user=mdettweiler [2012-09-30 00:08:56] 711*2^1229742-1 is not prime. Res64: 35F48CE5FBA51669 Time : 0.0 sec. user=mdettweiler [2012-09-30 00:08:58] 891*2^1229742-1 is not prime. Res64: 2A53C184500B0D61 Time : 0.0 sec. user=mdettweiler [2012-09-30 00:09:00] 807*2^1229742-1 is not prime. Res64: F40A6E4875A66CA8 Time : 0.0 sec. user=mdettweiler [2012-09-30 00:09:05] 945*2^1229742-1 is not prime. Res64: 062991346D0909C9 Time : 0.0 sec. user=vaughan [2012-09-30 00:14:33] 683*2^1229742-1 is not prime. Res64: 23E7DFAF8FB3C865 Time : 0.0 sec. user=mdettweiler [2012-09-30 00:30:12] 983*2^1229742-1 is not prime. Res64: 922E99C5AA4BCA3D Time : 0.0 sec. user=mdettweiler [2012-09-30 00:30:23] 693*2^1229743-1 is not prime. Res64: 55A4D619BB0E6156 Time : 0.0 sec. user=mdettweiler [2012-09-30 00:30:31] 859*2^1229743-1 is not prime. Res64: 08C4FFCCDCDBE05C Time : 0.0 sec. user=vaughan [2012-09-30 00:52:09] 861*2^1229743-1 is not prime. Res64: E5088D2F65E0960F Time : 0.0 sec. user=gd_barnes [2012-09-30 00:54:38] 925*2^1229743-1 is not prime. Res64: F44B2C819AE4E363 Time : 0.0 sec. user=gd_barnes [2012-09-30 00:54:40] 915*2^1229743-1 is not prime. Res64: 365A7EB8F8B975AA Time : 0.0 sec. user=mdettweiler [2012-09-30 00:56:56] 603*2^1229743-1 is not prime. Res64: 0F67CF8C73B22825 Time : 0.0 sec. user=mdettweiler [2012-09-30 01:17:30] 685*2^1229745-1 is not prime. Res64: 235405552AD860F4 Time : 0.0 sec. user=mdettweiler [2012-09-30 01:17:31] 699*2^1229745-1 is not prime. Res64: 8A42C249F9E5B928 Time : 0.0 sec. user=vaughan [2012-09-30 01:29:45] 927*2^1229744-1 is not prime. Res64: 0564084158A0A1D0 Time : 0.0 sec. user=mdettweiler [2012-09-30 01:30:03] 705*2^1229745-1 is not prime. Res64: 1443AA0DF7C5A907 Time : 0.0 sec. user=mdettweiler [2012-09-30 01:30:06] 711*2^1229745-1 is not prime. Res64: 93A778D7A495DE9E Time : 0.0 sec. user=mdettweiler [2012-09-30 01:38:05] 727*2^1229745-1 is not prime. Res64: 9BFE25E030A2346F Time : 0.0 sec. user=mdettweiler [2012-09-30 01:38:06] 739*2^1229745-1 is not prime. Res64: 343FBB91C5594E7F Time : 0.0 sec. user=mdettweiler [2012-09-30 01:50:45] 817*2^1229745-1 is not prime. Res64: B95EB8029727ED4B Time : 0.0 sec. user=mdettweiler [2012-09-30 01:50:46] 801*2^1229746-1 is not prime. Res64: 750A488A3B3E1D26 Time : 0.0 sec. user=mdettweiler [2012-09-30 01:58:39] 825*2^1229746-1 is not prime. Res64: A0BD181040BC26DE Time : 0.0 sec. user=mdettweiler [2012-09-30 01:58:40] 857*2^1229746-1 is not prime. Res64: 75F67DD7C0A80589 Time : 0.0 sec. user=vaughan [2012-09-30 02:07:19] 759*2^1229745-1 is not prime. Res64: 3E265B578BE59758 Time : 0.0 sec. user=mdettweiler [2012-09-30 02:11:20] 891*2^1229746-1 is not prime. Res64: 2674BE675EA90FAB Time : 0.0 sec. user=mdettweiler [2012-09-30 02:11:24] 917*2^1229746-1 is not prime. Res64: 7C7360B8EB6A8B3E Time : 0.0 sec. user=mdettweiler [2012-09-30 02:19:16] 615*2^1229747-1 is not prime. Res64: 4A2D937316ED87DF Time : 0.0 sec. user=mdettweiler [2012-09-30 02:19:16] 619*2^1229747-1 is not prime. Res64: 6951655A358CAC89 Time : 0.0 sec. user=mdettweiler [2012-09-30 02:31:59] 781*2^1229747-1 is not prime. Res64: 5C338B5C8711E6CA Time : 0.0 sec. user=mdettweiler [2012-09-30 02:32:01] 813*2^1229747-1 is not prime. Res64: 39F28F76A29CA227 Time : 0.0 sec. user=mdettweiler [2012-09-30 02:39:51] 823*2^1229747-1 is not prime. Res64: 0410E01B4C2EA6AF Time : 0.0 sec. user=mdettweiler [2012-09-30 02:39:52] 825*2^1229747-1 is not prime. Res64: AD981CEFBDE677C9 Time : 0.0 sec. user=vaughan [2012-09-30 02:45:00] 655*2^1229747-1 is not prime. Res64: 857A508E79DAD511 Time : 0.0 sec. user=mdettweiler [2012-09-30 02:52:41] 895*2^1229747-1 is not prime. Res64: A634AC03A49FBB74 Time : 0.0 sec. user=mdettweiler [2012-09-30 02:52:43] 945*2^1229747-1 is not prime. Res64: 12A8CBC7785A3166 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:00:35] 963*2^1229747-1 is not prime. Res64: F5EC4295761F4B21 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:00:41] 999*2^1229747-1 is not prime. Res64: D761192572AB194F Time : 0.0 sec. user=mdettweiler [2012-09-30 03:13:30] 705*2^1229748-1 is not prime. Res64: 5A1390E1DAE41A5E Time : 0.0 sec. user=mdettweiler [2012-09-30 03:13:31] 707*2^1229748-1 is not prime. Res64: 1C14E8AE2C652F6A Time : 0.0 sec. user=mdettweiler [2012-09-30 03:21:28] 767*2^1229748-1 is not prime. Res64: 9BD1C1874088E8AD Time : 0.0 sec. user=mdettweiler [2012-09-30 03:21:29] 837*2^1229748-1 is not prime. Res64: 5746D111BB93B81F Time : 0.0 sec. user=vaughan [2012-09-30 03:22:34] 663*2^1229748-1 is not prime. Res64: 33B759AA07C83C31 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:34:10] 915*2^1229748-1 is not prime. Res64: 3131424332121745 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:34:11] 933*2^1229748-1 is not prime. Res64: 82371F487248A951 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:42:04] 987*2^1229748-1 is not prime. Res64: 98CB50B29EC7106F Time : 0.0 sec. user=mdettweiler [2012-09-30 03:42:05] 615*2^1229749-1 is not prime. Res64: 00068279F2519499 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:54:57] 759*2^1229749-1 is not prime. Res64: 2FFF34EA28BF7EF3 Time : 0.0 sec. user=mdettweiler [2012-09-30 03:54:57] 957*2^1229749-1 is not prime. Res64: 7295CD2A4B3F5E52 Time : 0.0 sec. user=vaughan [2012-09-30 04:00:06] 757*2^1229749-1 is not prime. Res64: 7A9AF4B746CE8E0B Time : 0.0 sec. user=mdettweiler [2012-09-30 04:02:49] 961*2^1229749-1 is not prime. Res64: AB7C63C0EE5BD366 Time : 0.0 sec. user=mdettweiler [2012-09-30 04:02:50] 615*2^1229750-1 is not prime. Res64: 0E3FD46D0851E37F Time : 0.0 sec. user=mdettweiler [2012-09-30 04:15:29] 741*2^1229750-1 is not prime. Res64: 810C3203522AE881 Time : 0.0 sec. user=mdettweiler [2012-09-30 04:15:31] 761*2^1229750-1 is not prime. Res64: FD7E093E326CF7C7 Time : 0.0 sec. user=mdettweiler [2012-09-30 04:23:20] 615*2^1229751-1 is not prime. Res64: D404057EECDA116D Time : 0.0 sec. user=mdettweiler [2012-09-30 04:23:21] 643*2^1229751-1 is not prime. Res64: 89EC1C5614046257 Time : 0.0 sec. user=vaughan [2012-09-30 04:37:39] 851*2^1229750-1 is not prime. Res64: 83BF30F5D0B8911B Time : 0.0 sec. user=mdettweiler [2012-09-30 04:37:44] 651*2^1229751-1 is not prime. Res64: A1FC8288D3BBD7AE Time : 0.0 sec. user=mdettweiler [2012-09-30 04:37:46] 669*2^1229751-1 is not prime. Res64: A2CC66B5C7C8806F Time : 0.0 sec. user=mdettweiler [2012-09-30 04:43:53] 805*2^1229751-1 is not prime. Res64: 3CBE2ED070CAFBF4 Time : 0.0 sec. user=mdettweiler [2012-09-30 04:43:53] 829*2^1229751-1 is not prime. Res64: 5C0DD153E1888B58 Time : 0.0 sec. user=mdettweiler [2012-09-30 04:58:29] 859*2^1229751-1 is not prime. Res64: 28F150C8216C12CF Time : 0.0 sec. user=mdettweiler [2012-09-30 04:58:29] 861*2^1229751-1 is not prime. Res64: 132D057B6FE2130A Time : 0.0 sec. user=mdettweiler [2012-09-30 05:04:29] 603*2^1229752-1 is not prime. Res64: EE2B92F8A7B58DD4 Time : 0.0 sec. user=mdettweiler [2012-09-30 05:04:31] 615*2^1229752-1 is not prime. Res64: E4B8187A683D713C Time : 0.0 sec. user=vaughan [2012-09-30 05:15:29] 973*2^1229751-1 is not prime. Res64: FB896F1943CEADA9 Time : 0.0 sec. user=mdettweiler [2012-09-30 05:19:03] 695*2^1229752-1 is not prime. Res64: FDEF263AD3EE5154 Time : 0.0 sec. user=mdettweiler [2012-09-30 05:19:04] 755*2^1229752-1 is not prime. Res64: 9CC47AA21159A98D Time : 0.0 sec. user=mdettweiler [2012-09-30 05:25:11] 797*2^1229752-1 is not prime. Res64: 2A7AEDE6C2E62A96 Time : 0.0 sec. user=mdettweiler [2012-09-30 05:25:12] 813*2^1229752-1 is not prime. Res64: 0FD9478B99EE6223 Time : 0.0 sec. user=mdettweiler [2012-09-30 05:39:37] 869*2^1229752-1 is not prime. Res64: EB7737DAFF7F85AB Time : 0.0 sec. user=mdettweiler [2012-09-30 05:39:38] 615*2^1229753-1 is not prime. Res64: F79BA3A4C45B2DEC Time : 0.0 sec. user=mdettweiler [2012-09-30 05:45:48] 649*2^1229753-1 is not prime. Res64: EE8ED41DFD454584 Time : 0.0 sec. user=mdettweiler [2012-09-30 05:45:48] 771*2^1229753-1 is not prime. Res64: 37A4D230A5A2B03C Time : 0.0 sec. user=vaughan [2012-09-30 05:53:16] 855*2^1229752-1 is not prime. Res64: 57D981F10DC17A21 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:00:13] 775*2^1229753-1 is not prime. Res64: 510F11057D8F17F6 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:00:15] 819*2^1229753-1 is not prime. Res64: B8A40AFC1CC16D11 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:06:23] 937*2^1229753-1 is not prime. Res64: 200C46AF485DD3F1 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:06:24] 949*2^1229753-1 is not prime. Res64: EE184EF411E3A5ED Time : 0.0 sec. user=odicin [2012-09-30 06:08:43] 981*2^1229753-1 is not prime. Res64: 16AD9A1DDDC726E4 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:20:51] 985*2^1229753-1 is not prime. Res64: FE7DEC9C5A741623 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:20:52] 991*2^1229753-1 is not prime. Res64: 34189684E39A09BA Time : 0.0 sec. user=odicin [2012-09-30 06:21:10] 663*2^1229754-1 is not prime. Res64: F0D6B696FD0736FD Time : 0.0 sec. user=mdettweiler [2012-09-30 06:27:05] 635*2^1229754-1 is not prime. Res64: 2CC04160BCCAFDCF Time : 0.0 sec. user=mdettweiler [2012-09-30 06:27:06] 651*2^1229754-1 is not prime. Res64: F224CBEC128103B1 Time : 0.0 sec. user=vaughan [2012-09-30 06:30:53] 957*2^1229753-1 is not prime. Res64: BBADC47E73A0AE98 Time : 0.0 sec. user=odicin [2012-09-30 06:33:29] 903*2^1229754-1 is not prime. Res64: 018CE63A0B590C05 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:41:29] 711*2^1229754-1 is not prime. Res64: F72BDC7DC42C80E6 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:41:29] 893*2^1229754-1 is not prime. Res64: 5184E4B0278970EA Time : 0.0 sec. user=odicin [2012-09-30 06:45:57] 645*2^1229755-1 is not prime. Res64: 3E7173558BCD1F76 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:47:40] 923*2^1229754-1 is not prime. Res64: 6820048AEAAB60C7 Time : 0.0 sec. user=mdettweiler [2012-09-30 06:47:41] 619*2^1229755-1 is not prime. Res64: B4A215ABEA7870C0 Time : 0.0 sec. user=odicin [2012-09-30 06:58:15] 829*2^1229755-1 is not prime. Res64: 974BAD38F54BBFCF Time : 0.0 sec. user=mdettweiler [2012-09-30 07:02:03] 651*2^1229755-1 is not prime. Res64: 8852D5BC13A1E26C Time : 0.0 sec. user=mdettweiler [2012-09-30 07:02:04] 805*2^1229755-1 is not prime. Res64: 0ABEC6B85E3C6F08 Time : 0.0 sec. user=mdettweiler [2012-09-30 07:08:14] 859*2^1229755-1 is not prime. Res64: E909F5CA8DC115E7 Time : 0.0 sec. user=mdettweiler [2012-09-30 07:08:15] 861*2^1229755-1 is not prime. Res64: 8B81412B41ED3EC6 Time : 0.0 sec. user=vaughan [2012-09-30 07:08:27] 631*2^1229755-1 is not prime. Res64: 7789DFB6E45547D8 Time : 0.0 sec. user=odicin [2012-09-30 07:10:40] 891*2^1229755-1 is not prime. Res64: 6005A74E3984C42A Time : 0.0 sec. user=mdettweiler [2012-09-30 07:22:50] 617*2^1229756-1 is not prime. Res64: B1D1BA8E16FED737 Time : 0.0 sec. user=mdettweiler [2012-09-30 07:22:51] 629*2^1229756-1 is not prime. Res64: 331BD2E0B9136F67 Time : 0.0 sec. user=odicin [2012-09-30 07:23:07] 699*2^1229757-1 is not prime. Res64: 8130A95D8F1B4299 Time : 0.0 sec. user=mdettweiler [2012-09-30 07:28:53] 717*2^1229756-1 is not prime. Res64: 132096142604D216 Time : 0.0 sec. user=mdettweiler [2012-09-30 07:28:54] 813*2^1229756-1 is not prime. Res64: 952081FC65FCAD4E Time : 0.0 sec. user=odicin [2012-09-30 07:35:28] 829*2^1229757-1 is not prime. Res64: 5B4F38CF89B7DF4C Time : 0.0 sec. user=mdettweiler [2012-09-30 07:43:27] 727*2^1229757-1 is not prime. Res64: B03D1D4624493E19 Time : 0.0 sec. user=mdettweiler [2012-09-30 07:43:27] 759*2^1229757-1 is not prime. Res64: C061A30F302A0011 Time : 0.0 sec. user=vaughan [2012-09-30 07:45:59] 969*2^1229756-1 is not prime. Res64: F758EDD965F643E8 Time : 0.0 sec. user=odicin [2012-09-30 07:47:54] 915*2^1229757-1 is not prime. Res64: DFD9D9606034DE4F Time : 0.0 sec. user=mdettweiler [2012-09-30 07:49:28] 831*2^1229757-1 is not prime. Res64: DC836B0188D1E92E Time : 0.0 sec. user=mdettweiler [2012-09-30 07:49:28] 889*2^1229757-1 is not prime. Res64: C17A60CB3C7FAAFD Time : 0.0 sec. user=odicin [2012-09-30 08:00:16] 723*2^1229758-1 is not prime. Res64: 596E2F670BF9B75E Time : 0.0 sec. user=mdettweiler [2012-09-30 08:04:01] 961*2^1229757-1 is not prime. Res64: 29875301D950A1FC Time : 0.0 sec. user=mdettweiler [2012-09-30 08:04:02] 611*2^1229758-1 is not prime. Res64: A538719DCA318213 Time : 0.0 sec. user=mdettweiler [2012-09-30 08:10:02] 801*2^1229758-1 is not prime. Res64: 7AC0E9C9414AE97C Time : 0.0 sec. user=mdettweiler [2012-09-30 08:10:04] 615*2^1229759-1 is not prime. Res64: A2AE915B41EB4994 Time : 0.0 sec. user=odicin [2012-09-30 08:12:36] 661*2^1229759-1 is not prime. Res64: C2046764072300C2 Time : 0.0 sec. user=vaughan [2012-09-30 08:23:33] 713*2^1229758-1 is not prime. Res64: 6FBC87B52FFAEB2A Time : 0.0 sec. user=mdettweiler [2012-09-30 08:24:35] 745*2^1229759-1 is not prime. Res64: 3FECF9487442965E Time : 0.0 sec. user=mdettweiler [2012-09-30 08:24:35] 813*2^1229759-1 is not prime. Res64: 5AA01B7BC8476031 Time : 0.0 sec. user=odicin [2012-09-30 08:24:58] 699*2^1229760-1 is not prime. Res64: 781E373EF731CACD Time : 0.0 sec. user=mdettweiler [2012-09-30 08:30:47] 909*2^1229759-1 is not prime. Res64: F826DE870A6386C4 Time : 0.0 sec. user=mdettweiler [2012-09-30 08:30:47] 985*2^1229759-1 is not prime. Res64: 478C3888E2B6D5D6 Time : 0.0 sec. user=odicin [2012-09-30 08:37:17] 863*2^1229760-1 is not prime. Res64: 3C96593924492C6F Time : 0.0 sec. user=mdettweiler [2012-09-30 08:45:08] 737*2^1229760-1 is not prime. Res64: F67DEC9336C3C8A1 Time : 0.0 sec. user=mdettweiler [2012-09-30 08:45:08] 819*2^1229760-1 is not prime. Res64: 9E7C5F007C37276E Time : 0.0 sec. user=odicin [2012-09-30 08:49:36] 645*2^1229761-1 is not prime. Res64: E0FBDD8331F5061E Time : 0.0 sec. user=mdettweiler [2012-09-30 08:51:24] 917*2^1229760-1 is not prime. Res64: 7D52FA09D09133C0 Time : 0.0 sec. user=mdettweiler [2012-09-30 08:51:24] 601*2^1229761-1 is not prime. Res64: 28B41F5CD4BCC0AD Time : 0.0 sec. user=vaughan [2012-09-30 09:01:04] 707*2^1229760-1 is not prime. Res64: A91D0350F7EC5FD0 Time : 0.0 sec. user=odicin [2012-09-30 09:01:54] 951*2^1229761-1 is not prime. Res64: E58680961C3D136E Time : 0.0 sec. user=mdettweiler [2012-09-30 09:05:42] 801*2^1229761-1 is not prime. Res64: 7D790D2BBD0BD36D Time : 0.0 sec. user=mdettweiler [2012-09-30 09:05:43] 819*2^1229761-1 is not prime. Res64: 70D0F132EF609C2F Time : 0.0 sec. user=mdettweiler [2012-09-30 09:11:56] 955*2^1229761-1 is not prime. Res64: 1D622410341351D5 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:11:58] 957*2^1229761-1 is not prime. Res64: 080F2A7DC12930B1 Time : 0.0 sec. user=odicin [2012-09-30 09:14:13] 665*2^1229762-1 is not prime. Res64: C1C2D7A8F9E56EF9 Time : 0.0 sec. user=odicin [2012-09-30 09:26:33] 945*2^1229762-1 is not prime. Res64: 0455A9CED8A5C1D8 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:26:35] 671*2^1229762-1 is not prime. Res64: 45F9F55035554136 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:26:36] 713*2^1229762-1 is not prime. Res64: 517CEDA3A543BE47 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:32:36] 735*2^1229762-1 is not prime. Res64: 3599DCC0C43C21F5 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:32:37] 911*2^1229762-1 is not prime. Res64: 6FFC7A4B16851BCA Time : 0.0 sec. user=odicin [2012-09-30 09:38:55] 977*2^1229762-1 is not prime. Res64: 707B86E27A83CC49 Time : 0.0 sec. user=vaughan [2012-09-30 09:38:56] 623*2^1229762-1 is not prime. Res64: ECE85203F5970F64 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:47:10] 995*2^1229762-1 is not prime. Res64: DB80725EA46EFEC9 Time : 0.0 sec. user=mdettweiler [2012-09-30 09:47:11] 615*2^1229763-1 is not prime. Res64: A079F1C354CB20A4 Time : 0.0 sec. user=odicin [2012-09-30 09:51:21] 805*2^1229763-1 is not prime. Res64: 8D0F4891DF1E7D7A Time : 0.0 sec. user=mdettweiler [2012-09-30 09:53:10] 663*2^1229763-1 is not prime. Res64: 9070FFA40534793D Time : 0.0 sec. user=mdettweiler [2012-09-30 09:53:11] 709*2^1229763-1 is not prime. Res64: D917B7C87C058919 Time : 0.0 sec. user=odicin [2012-09-30 10:03:40] 705*2^1229764-1 is not prime. Res64: 3A2C3F7D1D77354D Time : 0.0 sec. user=mdettweiler [2012-09-30 10:07:44] 949*2^1229763-1 is not prime. Res64: 97B6F2C289D0188B Time : 0.0 sec. user=mdettweiler [2012-09-30 10:07:45] 615*2^1229764-1 is not prime. Res64: DBE7246B57FC7EC3 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:13:43] 707*2^1229764-1 is not prime. Res64: 250EC0FE03CB93CE Time : 0.0 sec. user=mdettweiler [2012-09-30 10:13:44] 719*2^1229764-1 is not prime. Res64: 192AF78F3C12B9C4 Time : 0.0 sec. user=odicin [2012-09-30 10:16:02] 749*2^1229764-1 is not prime. Res64: 337F387B2C836157 Time : 0.0 sec. user=vaughan [2012-09-30 10:17:02] 859*2^1229763-1 is not prime. Res64: 0F03E558DBECF729 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:28:17] 825*2^1229764-1 is not prime. Res64: 46E002CCFC61E18D Time : 0.0 sec. user=mdettweiler [2012-09-30 10:28:18] 843*2^1229764-1 is not prime. Res64: AA25B7835C64AB96 Time : 0.0 sec. user=odicin [2012-09-30 10:29:17] 875*2^1229764-1 is not prime. Res64: 6005E5600A8BE639 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:34:20] 855*2^1229764-1 is not prime. Res64: 45E5F37A363404D3 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:34:20] 863*2^1229764-1 is not prime. Res64: 6E7BFBF56F9DF404 Time : 0.0 sec. user=odicin [2012-09-30 10:41:34] 691*2^1229765-1 is not prime. Res64: 469B9B597BB2B7DA Time : 0.0 sec. user=mdettweiler [2012-09-30 10:48:55] 887*2^1229764-1 is not prime. Res64: AA33B678BA5B0721 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:48:56] 923*2^1229764-1 is not prime. Res64: 0A0087294893AFAD Time : 0.0 sec. user=odicin [2012-09-30 10:53:54] 795*2^1229765-1 is not prime. Res64: F633A2FD6E190586 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:54:58] 711*2^1229765-1 is not prime. Res64: 144586E0272132D1 Time : 0.0 sec. user=mdettweiler [2012-09-30 10:54:59] 759*2^1229765-1 is not prime. Res64: 0DAFFD287A628137 Time : 0.0 sec. user=odicin [2012-09-30 11:06:20] 821*2^1229766-1 is not prime. Res64: 0FEFC1D6F9659FB5 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:09:29] 865*2^1229765-1 is not prime. Res64: 50128E70D4D8BBD8 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:09:30] 871*2^1229765-1 is not prime. Res64: D77B2082C8754950 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:15:30] 833*2^1229766-1 is not prime. Res64: 872C166A66646D45 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:15:31] 975*2^1229766-1 is not prime. Res64: 6F24B454B5570234 Time : 0.0 sec. user=odicin [2012-09-30 11:19:10] 993*2^1229766-1 is not prime. Res64: 934D45FD3296EFF0 Time : 0.0 sec. user=vaughan [2012-09-30 11:28:13] 885*2^1229765-1 is not prime. Res64: 9DF52F51623AA429 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:30:09] 619*2^1229767-1 is not prime. Res64: A078F90044784F40 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:30:09] 633*2^1229767-1 is not prime. Res64: F9C7BF904413B075 Time : 0.0 sec. user=odicin [2012-09-30 11:31:30] 741*2^1229767-1 is not prime. Res64: C97CAE9B65242712 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:36:07] 649*2^1229767-1 is not prime. Res64: E51B45D197555814 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:36:07] 703*2^1229767-1 is not prime. Res64: 920974402D6B9CCE Time : 0.0 sec. user=odicin [2012-09-30 11:43:45] 629*2^1229768-1 is not prime. Res64: E99D3805AD55B085 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:50:42] 979*2^1229767-1 is not prime. Res64: A7BF234CB51C78E6 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:50:43] 617*2^1229768-1 is not prime. Res64: 8F29308CCDC3C928 Time : 0.0 sec. user=odicin [2012-09-30 11:56:04] 813*2^1229768-1 is not prime. Res64: 4B76032173932A90 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:56:39] 657*2^1229768-1 is not prime. Res64: 353FF5F1AFA6E296 Time : 0.0 sec. user=mdettweiler [2012-09-30 11:56:40] 803*2^1229768-1 is not prime. Res64: 98D2CD9EEDD591B0 Time : 0.0 sec. user=vaughan [2012-09-30 12:05:58] 885*2^1229767-1 is not prime. Res64: 544ACD4FBC31BBD0 Time : 0.0 sec. user=odicin [2012-09-30 12:08:22] 615*2^1229769-1 is not prime. Res64: 0865DF531027454A Time : 0.0 sec. user=mdettweiler [2012-09-30 12:11:15] 843*2^1229768-1 is not prime. Res64: 10B650B7030FC1D5 Time : 0.0 sec. user=mdettweiler [2012-09-30 12:11:16] 897*2^1229768-1 is not prime. Res64: 157DFBCFF249856B Time : 0.0 sec. user=mdettweiler [2012-09-30 12:17:12] 675*2^1229769-1 is not prime. Res64: 0002C4C177928FBD Time : 0.0 sec. user=mdettweiler [2012-09-30 12:17:13] 685*2^1229769-1 is not prime. Res64: F6A8498769B82C86 Time : 0.0 sec. user=odicin [2012-09-30 12:20:40] 817*2^1229769-1 is not prime. Res64: 57002C0BCE9B554C Time : 0.0 sec. user=mdettweiler [2012-09-30 12:31:49] 861*2^1229769-1 is not prime. Res64: 2AFC3428E12119F9 Time : 0.0 sec. user=mdettweiler [2012-09-30 12:31:50] 895*2^1229769-1 is not prime. Res64: 5BE1F8DCC2957691 Time : 0.0 sec. user=odicin [2012-09-30 12:33:17] 813*2^1229770-1 is not prime. Res64: 0756ABFD93A30608 Time : 0.0 sec. user=mdettweiler [2012-09-30 12:37:48] 955*2^1229769-1 is not prime. Res64: 14B5F744A98952FD Time : 0.0 sec. user=mdettweiler [2012-09-30 12:37:48] 687*2^1229770-1 is not prime. Res64: A70066183BCB6F02 Time : 0.0 sec. user=vaughan [2012-09-30 12:43:52] 745*2^1229769-1 is not prime. Res64: 485472E3AB59F99F Time : 0.0 sec. user=odicin [2012-09-30 12:45:39] 911*2^1229770-1 is not prime. Res64: 0CD2F90B4017C606 Time : 0.0 sec. user=mdettweiler [2012-09-30 12:52:23] 821*2^1229770-1 is not prime. Res64: 1D9132ECC93EC53D Time : 0.0 sec. user=mdettweiler [2012-09-30 12:52:24] 855*2^1229770-1 is not prime. Res64: FD9F1E4AC8397ACB Time : 0.0 sec. user=odicin [2012-09-30 12:57:59] 669*2^1229771-1 is not prime. Res64: C3EEF8D8C547C0CA Time : 0.0 sec. user=mdettweiler [2012-09-30 12:58:27] 951*2^1229770-1 is not prime. Res64: 8F23A8811C30D004 Time : 0.0 sec. user=mdettweiler [2012-09-30 12:58:27] 621*2^1229771-1 is not prime. Res64: B9E0DF92BB8760C7 Time : 0.0 sec. user=odicin [2012-09-30 13:10:21] 741*2^1229771-1 is not prime. Res64: 398D4B806AAC762A Time : 0.0 sec. user=mdettweiler [2012-09-30 13:13:15] 673*2^1229771-1 is not prime. Res64: 7CFCC2D6DA817C30 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:13:17] 733*2^1229771-1 is not prime. Res64: 0C86E67EBF8BC394 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:19:18] 943*2^1229771-1 is not prime. Res64: EA4E29142D10B3A9 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:19:18] 759*2^1229772-1 is not prime. Res64: A5D09F949E99B907 Time : 0.0 sec. user=vaughan [2012-09-30 13:21:25] 663*2^1229771-1 is not prime. Res64: 4F6A4A7DA1CAF7BF Time : 0.0 sec. user=odicin [2012-09-30 13:22:48] 803*2^1229772-1 is not prime. Res64: 227B03D68FFE8C38 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:34:14] 909*2^1229772-1 is not prime. Res64: 06DAD06EFA8C83BA Time : 0.0 sec. user=mdettweiler [2012-09-30 13:34:14] 959*2^1229772-1 is not prime. Res64: 39E24A4B5E162D6A Time : 0.0 sec. user=odicin [2012-09-30 13:35:03] 895*2^1229773-1 is not prime. Res64: EABD9014A2269BB8 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:40:15] 977*2^1229772-1 is not prime. Res64: DC91E99914F13F5F Time : 0.0 sec. user=mdettweiler [2012-09-30 13:40:15] 983*2^1229772-1 is not prime. Res64: 2DAE58B2E8EE5851 Time : 0.0 sec. user=odicin [2012-09-30 13:47:25] 707*2^1229774-1 is not prime. Res64: AE358BD673693DF3 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:55:10] 645*2^1229774-1 is not prime. Res64: 0C1DD1DECDB511B7 Time : 0.0 sec. user=mdettweiler [2012-09-30 13:55:10] 657*2^1229774-1 is not prime. Res64: 504310F5E4E4A0BC Time : 0.0 sec. user=vaughan [2012-09-30 13:59:03] 729*2^1229773-1 is not prime. Res64: 257E91E280B751CA Time : 0.0 sec. user=odicin [2012-09-30 13:59:49] 917*2^1229774-1 is not prime. Res64: 4C0D42A27EECDE2D Time : 0.0 sec. user=mdettweiler [2012-09-30 14:01:15] 831*2^1229774-1 is not prime. Res64: D2CE6212FA021FE8 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:01:16] 851*2^1229774-1 is not prime. Res64: B7787886C3062A6C Time : 0.0 sec. user=odicin [2012-09-30 14:12:19] 891*2^1229775-1 is not prime. Res64: CAAFBCDA696A2D26 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:16:28] 633*2^1229775-1 is not prime. Res64: A1D98CFA3C588F05 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:16:29] 705*2^1229775-1 is not prime. Res64: 143974544DC515B0 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:22:30] 961*2^1229775-1 is not prime. Res64: CEB7D2658EB15D77 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:22:31] 963*2^1229775-1 is not prime. Res64: A02F1C948B0795B7 Time : 0.0 sec. user=odicin [2012-09-30 14:24:52] 979*2^1229775-1 is not prime. Res64: 4CDAF11866D172C2 Time : 0.0 sec. user=vaughan [2012-09-30 14:36:37] 763*2^1229775-1 is not prime. Res64: DAE3E94F86E3F576 Time : 0.0 sec. user=odicin [2012-09-30 14:37:12] 903*2^1229776-1 is not prime. Res64: 8F92E03D19DF6D83 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:37:28] 629*2^1229776-1 is not prime. Res64: 5833907D35FC0C96 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:37:30] 693*2^1229776-1 is not prime. Res64: F08F88B0B2E9CC5A Time : 0.0 sec. user=mdettweiler [2012-09-30 14:43:46] 719*2^1229776-1 is not prime. Res64: 832CA65FC6ACAB37 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:43:46] 735*2^1229776-1 is not prime. Res64: 3C9B643016B82FF4 Time : 0.0 sec. user=odicin [2012-09-30 14:49:33] 615*2^1229777-1 is not prime. Res64: FDE827D980165024 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:58:27] 631*2^1229777-1 is not prime. Res64: 9C3C9A18020F91D8 Time : 0.0 sec. user=mdettweiler [2012-09-30 14:58:27] 645*2^1229777-1 is not prime. Res64: AE717560FEAEEA3F Time : 0.0 sec. user=odicin [2012-09-30 15:02:07] 879*2^1229777-1 is not prime. Res64: 890483D9372851D2 Time : 0.0 sec. user=mdettweiler [2012-09-30 15:04:41] 729*2^1229777-1 is not prime. Res64: E824429CFAD214D9 Time : 0.0 sec. user=mdettweiler [2012-09-30 15:04:42] 829*2^1229777-1 is not prime. Res64: 7FC7F7600BC4524E Time : 0.0 sec. user=vaughan [2012-09-30 15:14:12] 989*2^1229776-1 is not prime. Res64: C70ED1C966DD1E83 Time : 0.0 sec. user=odicin [2012-09-30 15:14:30] 937*2^1229777-1 is not prime. Res64: EDC39FE3C34ECEDA Time : 0.0 sec. user=mdettweiler [2012-09-30 15:19:20] 885*2^1229777-1 is not prime. Res64: 37E86F3B5329AC83 Time : 0.0 sec. user=mdettweiler [2012-09-30 15:19:20] 889*2^1229777-1 is not prime. Res64: 72A7EA8F088B330E Time : 0.0 sec. user=mdettweiler [2012-09-30 15:25:45] 957*2^1229777-1 is not prime. Res64: BE8AFBEFD6498E05 Time : 0.0 sec. user=mdettweiler [2012-09-30 15:25:45] 635*2^1229778-1 is not prime. Res64: F93B4BD40C101E39 Time : 0.0 sec. user=odicin [2012-09-30 15:26:55] 711*2^1229778-1 is not prime. Res64: 93C0D11A8328A518 Time : 0.0 sec. user=odicin [2012-09-30 15:39:29] 645*2^1229779-1 is not prime. Res64: 7017C696E346BEE7 Time : 0.0 sec. user=mdettweiler [2012-09-30 15:40:24] 755*2^1229778-1 is not prime. Res64: E025119106C7E6BA Time : 0.0 sec. user=mdettweiler [2012-09-30 15:40:25] 867*2^1229778-1 is not prime. Res64: D6A6DD6647E53601 Time : 0.0 sec. user=mdettweiler [2012-09-30 15:46:41] 941*2^1229778-1 is not prime. Res64: E789FBAEA02DA13D Time : 0.0 sec. user=mdettweiler [2012-09-30 15:46:42] 971*2^1229778-1 is not prime. Res64: 8A769114C6A5C404 Time : 0.0 sec. user=vaughan [2012-09-30 15:52:08] 657*2^1229778-1 is not prime. Res64: 9A3266932AE52047 Time : 0.0 sec. user=odicin [2012-09-30 15:52:12] 735*2^1229779-1 is not prime. Res64: C0FF438E511C234E Time : 0.0 sec. user=mdettweiler [2012-09-30 16:01:25] 793*2^1229779-1 is not prime. Res64: 0F50E7ED73E23CE8 Time : 0.0 sec. user=mdettweiler [2012-09-30 16:01:27] 853*2^1229779-1 is not prime. Res64: D04DEFC408D26ADA Time : 0.0 sec. user=odicin [2012-09-30 16:04:36] 669*2^1229780-1 is not prime. Res64: 11740476EA22AF5E Time : 0.0 sec. user=mdettweiler [2012-09-30 16:07:41] 873*2^1229779-1 is not prime. Res64: DC2435F969647FD5 Time : 0.0 sec. user=mdettweiler [2012-09-30 16:07:43] 973*2^1229779-1 is not prime. Res64: C4FD73B7735B81DB Time : 0.0 sec. user=odicin [2012-09-30 16:17:19] 909*2^1229780-1 is not prime. Res64: 52BDEFAAEBAFC0EE Time : 0.0 sec. user=mdettweiler [2012-09-30 16:22:29] 813*2^1229780-1 is not prime. Res64: B7DFA82C5222B3D8 Time : 0.0 sec. user=mdettweiler [2012-09-30 16:22:30] 855*2^1229780-1 is not prime. Res64: 98BBC00B429FD27B Time : 0.0 sec. user=mdettweiler [2012-09-30 16:28:58] 651*2^1229781-1 is not prime. Res64: CBEE905D5BE1DBA2 Time : 0.0 sec. user=mdettweiler [2012-09-30 16:28:58] 781*2^1229781-1 is not prime. Res64: 00636106992449B3 Time : 0.0 sec. user=vaughan [2012-09-30 16:29:43] 975*2^1229779-1 is not prime. Res64: 1C75C40F930D8852 Time : 0.0 sec. user=odicin [2012-09-30 16:29:44] 849*2^1229781-1 is not prime. Res64: 9168C68CBB5B186B Time : 0.0 sec. user=odicin [2012-09-30 16:42:22] 957*2^1229782-1 is not prime. Res64: A94E9F2052473DAA Time : 0.0 sec. user=mdettweiler [2012-09-30 16:43:36] 987*2^1229781-1 is not prime. Res64: 3140807A0D4C5E4F Time : 0.0 sec. user=mdettweiler [2012-09-30 16:43:37] 827*2^1229782-1 is not prime. Res64: 6BDDD99334710346 Time : 0.0 sec. user=mdettweiler [2012-09-30 16:50:02] 731*2^1229622-1 is not prime. Res64: F20807893B1AC9DE Time : 0.0 sec. user=mdettweiler [2012-09-30 16:50:03] 867*2^1229782-1 is not prime. Res64: 6CEBB9358032AE0D Time : 0.0 sec. user=odicin [2012-09-30 16:54:48] 965*2^1229782-1 is not prime. Res64: 49D99A55A91DA61D Time : 0.0 sec. user=mdettweiler [2012-09-30 17:04:23] 789*2^1229783-1 is not prime. Res64: D708758B1C44412B Time : 0.0 sec. user=mdettweiler [2012-09-30 17:04:25] 811*2^1229783-1 is not prime. Res64: 1D034A61C6D75434 Time : 0.0 sec. user=odicin [2012-09-30 17:07:10] 861*2^1229783-1 is not prime. Res64: A70920FC3B5EB9C0 Time : 0.0 sec. user=vaughan [2012-09-30 17:07:19] 897*2^1229782-1 is not prime. Res64: 624C744C2C98C35C Time : 0.0 sec. user=mdettweiler [2012-09-30 17:10:42] 813*2^1229783-1 is not prime. Res64: 6BDBF3BC26CF9EF8 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:10:45] 855*2^1229783-1 is not prime. Res64: 1D94D76E371493E9 Time : 0.0 sec. user=odicin [2012-09-30 17:19:27] 945*2^1229783-1 is not prime. Res64: E7A1144B17DAFADC Time : 0.0 sec. user=mdettweiler [2012-09-30 17:25:08] 879*2^1229783-1 is not prime. Res64: A93D0244616A7AC5 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:25:09] 895*2^1229783-1 is not prime. Res64: 06DEDCBA94ABE505 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:31:30] 993*2^1229783-1 is not prime. Res64: F9989F82D78E52B3 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:31:31] 863*2^1229784-1 is not prime. Res64: 5C589FE948659605 Time : 0.0 sec. user=odicin [2012-09-30 17:31:51] 887*2^1229784-1 is not prime. Res64: 0C6CF4CFA824F573 Time : 0.0 sec. user=odicin [2012-09-30 17:44:10] 957*2^1229785-1 is not prime. Res64: B0219484A994BB3B Time : 0.0 sec. user=vaughan [2012-09-30 17:44:57] 973*2^1229783-1 is not prime. Res64: 8EFE163A2F245E32 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:45:48] 705*2^1229785-1 is not prime. Res64: 1ABBEAA652CAB3E4 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:45:49] 717*2^1229785-1 is not prime. Res64: F230DE489FEB82C9 Time : 0.0 sec. user=mdettweiler [2012-09-30 17:52:12] 765*2^1229785-1 is not prime. Res64: 7122AADC6D72085C Time : 0.0 sec. user=mdettweiler [2012-09-30 17:52:14] 925*2^1229785-1 is not prime. Res64: E3281A64ADB6C189 Time : 0.0 sec. user=odicin [2012-09-30 17:56:33] 627*2^1229786-1 is not prime. Res64: 86022F3B962AF221 Time : 0.0 sec. user=mdettweiler [2012-09-30 18:06:28] 935*2^1229786-1 is not prime. Res64: 3B8539A33A20EA62 Time : 0.0 sec. user=mdettweiler [2012-09-30 18:06:29] 945*2^1229786-1 is not prime. Res64: 4805F08CA7E3DB7A Time : 0.0 sec. user=odicin [2012-09-30 18:09:04] 651*2^1229787-1 is not prime. Res64: BB5EF86BC1524889 Time : 0.0 sec. user=mdettweiler [2012-09-30 18:12:52] 953*2^1229786-1 is not prime. Res64: 912E661F614623AF Time : 0.0 sec. user=mdettweiler [2012-09-30 18:12:54] 963*2^1229786-1 is not prime. Res64: 3E85D3A873ADEAAD Time : 0.0 sec. user=odicin [2012-09-30 18:21:33] 741*2^1229787-1 is not prime. Res64: 975C249348C227D3 Time : 0.0 sec. user=vaughan [2012-09-30 18:22:34] 657*2^1229786-1 is not prime. Res64: 2381A9577FB16BCE Time : 0.0 sec. user=mdettweiler [2012-09-30 18:27:11] 703*2^1229787-1 is not prime. Res64: 5A2238879DC9EADE Time : 0.0 sec. user=mdettweiler [2012-09-30 18:27:12] 735*2^1229787-1 is not prime. Res64: D82216A5A8B5A67B Time : 0.0 sec. user=mdettweiler [2012-09-30 18:33:33] 963*2^1229787-1 is not prime. Res64: 48E8CDD2EAD19EEC Time : 0.0 sec. user=mdettweiler [2012-09-30 18:33:34] 979*2^1229787-1 is not prime. Res64: 407B6430656D8E16 Time : 0.0 sec. user=odicin [2012-09-30 18:34:01] 677*2^1229788-1 is not prime. Res64: F6203A5B1411A126 Time : 0.0 sec. user=odicin [2012-09-30 18:46:23] 619*2^1229789-1 is not prime. Res64: D9734407208943C7 Time : 0.0 sec. user=mdettweiler [2012-09-30 18:47:52] 827*2^1229788-1 is not prime. Res64: BD327830C780FD1D Time : 0.0 sec. user=mdettweiler [2012-09-30 18:47:53] 843*2^1229788-1 is not prime. Res64: C2CDF6246BB06F2F Time : 0.0 sec. user=mdettweiler [2012-09-30 18:54:13] 915*2^1229788-1 is not prime. Res64: A0311D4B0CA2574D Time : 0.0 sec. user=mdettweiler [2012-09-30 18:54:14] 923*2^1229788-1 is not prime. Res64: FBB2ADA8C569AE9C Time : 0.0 sec. user=odicin [2012-09-30 18:58:42] 621*2^1229789-1 is not prime. Res64: F4FC2B8B000ED9F4 Time : 0.0 sec. user=vaughan [2012-09-30 19:00:08] 735*2^1229788-1 is not prime. Res64: 0ADCE342ED5A120E Time : 0.0 sec. user=mdettweiler [2012-09-30 19:08:26] 697*2^1229789-1 is not prime. Res64: 827F92942039C385 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:08:27] 727*2^1229789-1 is not prime. Res64: B6F339FDC8DF6262 Time : 0.0 sec. user=odicin [2012-09-30 19:11:04] 969*2^1229789-1 is not prime. Res64: 5FB5F30EE6F6AE3A Time : 0.0 sec. user=mdettweiler [2012-09-30 19:14:56] 729*2^1229789-1 is not prime. Res64: 430141DD338DF188 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:14:57] 819*2^1229789-1 is not prime. Res64: 4A11078AA6F5D57B Time : 0.0 sec. user=odicin [2012-09-30 19:23:20] 755*2^1229790-1 is not prime. Res64: AE609E56D9793F76 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:29:07] 657*2^1229790-1 is not prime. Res64: ECF599F43E74D47D Time : 0.0 sec. user=mdettweiler [2012-09-30 19:29:08] 707*2^1229790-1 is not prime. Res64: 6380F8E9A2E021F2 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:35:35] 761*2^1229790-1 is not prime. Res64: 97510A28883B8AF1 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:35:36] 795*2^1229790-1 is not prime. Res64: 0DE3A2AAD1BDD672 Time : 0.0 sec. user=odicin [2012-09-30 19:35:47] 873*2^1229790-1 is not prime. Res64: F8B3BF144D428499 Time : 0.0 sec. user=vaughan [2012-09-30 19:37:43] 647*2^1229790-1 is not prime. Res64: FE5A9F58E38F6DB7 Time : 0.0 sec. user=odicin [2012-09-30 19:48:08] 723*2^1229791-1 is not prime. Res64: A4AEE7E3A6A46CAC Time : 0.0 sec. user=mdettweiler [2012-09-30 19:49:46] 887*2^1229790-1 is not prime. Res64: 1AF865E50BC73E46 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:49:47] 963*2^1229790-1 is not prime. Res64: 229AC8E4EBCF13A4 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:56:12] 965*2^1229790-1 is not prime. Res64: 55D985A6DAC81A80 Time : 0.0 sec. user=mdettweiler [2012-09-30 19:56:13] 693*2^1229791-1 is not prime. Res64: 62EF9CE0FAB67AE2 Time : 0.0 sec. user=odicin [2012-09-30 20:00:33] 813*2^1229791-1 is not prime. Res64: 35EEDD4CDA8A29C3 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:10:22] 885*2^1229791-1 is not prime. Res64: E5E7017CC6E480E4 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:10:23] 993*2^1229791-1 is not prime. Res64: 3D77DA31E42B2174 Time : 0.0 sec. user=odicin [2012-09-30 20:13:01] 699*2^1229792-1 is not prime. Res64: CBEF691E62D15154 Time : 0.0 sec. user=vaughan [2012-09-30 20:15:19] 769*2^1229791-1 is not prime. Res64: F1DCE43051BCC2DA Time : 0.0 sec. user=mdettweiler [2012-09-30 20:16:50] 675*2^1229792-1 is not prime. Res64: 0684FB5185B8917E Time : 0.0 sec. user=mdettweiler [2012-09-30 20:16:51] 689*2^1229792-1 is not prime. Res64: DBDE0D437474237F Time : 0.0 sec. user=odicin [2012-09-30 20:25:26] 797*2^1229792-1 is not prime. Res64: C8D85C22D28DADF2 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:32:03] 755*2^1229792-1 is not prime. Res64: AACAAB9F1EF1276E Time : 0.0 sec. user=mdettweiler [2012-09-30 20:32:04] 767*2^1229792-1 is not prime. Res64: 56171BCBDAA6AC2B Time : 0.0 sec. user=odicin [2012-09-30 20:37:46] 745*2^1229793-1 is not prime. Res64: 0EBFEDC38FFE72F5 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:38:32] 875*2^1229792-1 is not prime. Res64: BDD5409F727E5B34 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:38:33] 983*2^1229792-1 is not prime. Res64: D9F41C69C03B5BA4 Time : 0.0 sec. user=odicin [2012-09-30 20:50:07] 895*2^1229793-1 is not prime. Res64: E2F25FE13B959538 Time : 0.0 sec. user=vaughan [2012-09-30 20:52:58] 873*2^1229792-1 is not prime. Res64: C9E3A412EF1F15F5 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:54:05] 819*2^1229793-1 is not prime. Res64: 2811C97DA37A9368 Time : 0.0 sec. user=mdettweiler [2012-09-30 20:54:05] 889*2^1229793-1 is not prime. Res64: 6014C60D282A8284 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:00:24] 915*2^1229793-1 is not prime. Res64: EF51CE5BF2F342E4 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:00:26] 611*2^1229794-1 is not prime. Res64: 7AB5B17185915912 Time : 0.0 sec. user=odicin [2012-09-30 21:02:30] 695*2^1229794-1 is not prime. Res64: 8AAC79C5560F2FE6 Time : 0.0 sec. user=odicin [2012-09-30 21:14:55] 1001*2^1229794-1 is not prime. Res64: 783CE53498AB822C Time : 0.0 sec. user=mdettweiler [2012-09-30 21:14:59] 791*2^1229794-1 is not prime. Res64: 048469F054F8490C Time : 0.0 sec. user=mdettweiler [2012-09-30 21:15:00] 903*2^1229794-1 is not prime. Res64: 2FA1132C0A0D3355 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:21:12] 947*2^1229794-1 is not prime. Res64: 3F35186AF2B0B7B6 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:21:13] 975*2^1229794-1 is not prime. Res64: 25101937830ED9E5 Time : 0.0 sec. user=odicin [2012-09-30 21:27:16] 603*2^1229795-1 is not prime. Res64: 000944BA4CE8709C Time : 0.0 sec. user=vaughan [2012-09-30 21:30:38] 765*2^1229794-1 is not prime. Res64: FBA534633F626C9C Time : 0.0 sec. user=mdettweiler [2012-09-30 21:35:36] 609*2^1229795-1 is not prime. Res64: BCFC62C2269B05CB Time : 0.0 sec. user=mdettweiler [2012-09-30 21:35:37] 619*2^1229795-1 is not prime. Res64: BB79DC18AE0D3873 Time : 0.0 sec. user=odicin [2012-09-30 21:39:35] 943*2^1229795-1 is not prime. Res64: BCB03419178445ED Time : 0.0 sec. user=mdettweiler [2012-09-30 21:41:47] 799*2^1229795-1 is not prime. Res64: 6A9DF9A3AF16B7C7 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:41:48] 825*2^1229795-1 is not prime. Res64: 5BA2D4F85C68FD50 Time : 0.0 sec. user=odicin [2012-09-30 21:51:54] 905*2^1229796-1 is not prime. Res64: 847E524D7705A743 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:56:14] 765*2^1229796-1 is not prime. Res64: F242E07AF60B6944 Time : 0.0 sec. user=mdettweiler [2012-09-30 21:56:14] 767*2^1229796-1 is not prime. Res64: 050870AD67B2A53D Time : 0.0 sec. user=mdettweiler [2012-09-30 22:02:28] 945*2^1229796-1 is not prime. Res64: F77A6AA9EBB944FA Time : 0.0 sec. user=mdettweiler [2012-09-30 22:02:29] 947*2^1229796-1 is not prime. Res64: A4124AA0B153FEF8 Time : 0.0 sec. user=odicin [2012-09-30 22:04:12] 999*2^1229796-1 is not prime. Res64: 2BB6535969EE6BDC Time : 0.0 sec. user=vaughan [2012-09-30 22:08:16] 749*2^1229796-1 is not prime. Res64: CDFAEA19CF97FDAF Time : 0.0 sec. user=odicin [2012-09-30 22:16:35] 771*2^1229797-1 is not prime. Res64: 4A2689996048FE52 Time : 0.0 sec. user=mdettweiler [2012-09-30 22:16:56] 619*2^1229797-1 is not prime. Res64: 3864345FC2476024 Time : 0.0 sec. user=mdettweiler [2012-09-30 22:16:57] 639*2^1229797-1 is not prime. Res64: 74279FF3139C64A3 Time : 0.0 sec. user=mdettweiler [2012-09-30 22:23:25] 747*2^1229797-1 is not prime. Res64: 4869DDC80D69FBE8 Time : 0.0 sec. user=mdettweiler [2012-09-30 22:23:26] 769*2^1229797-1 is not prime. Res64: A3480907E2874C4F Time : 0.0 sec. user=odicin [2012-09-30 22:28:57] 817*2^1229797-1 is not prime. Res64: 709D51C910D8CEEC Time : 0.0 sec. user=mdettweiler [2012-09-30 22:37:38] 915*2^1229797-1 is not prime. Res64: A9475ED2A9CD0F7D Time : 0.0 sec. user=mdettweiler [2012-09-30 22:37:39] 957*2^1229797-1 is not prime. Res64: 9931E8244662BD84 Time : 0.0 sec. user=odicin [2012-09-30 22:41:13] 857*2^1229798-1 is not prime. Res64: 76FC7F023C2D7076 Time : 0.0 sec. user=mdettweiler [2012-09-30 22:44:08] 967*2^1229797-1 is not prime. Res64: DC8336DB72B0BEFC Time : 0.0 sec. user=mdettweiler [2012-09-30 22:44:08] 753*2^1229798-1 is not prime. Res64: 8AE7C42A8D8892EB Time : 0.0 sec. user=vaughan [2012-09-30 22:45:55] 801*2^1229797-1 is not prime. Res64: 91F44C2C5887781B Time : 0.0 sec. user=odicin [2012-09-30 22:53:34] 621*2^1229799-1 is not prime. Res64: CB0129B76782514E Time : 0.0 sec. user=mdettweiler [2012-09-30 22:58:20] 945*2^1229798-1 is not prime. Res64: 2990E3439785ECD6 Time : 0.0 sec. user=mdettweiler [2012-09-30 22:58:21] 613*2^1229799-1 is not prime. Res64: A94ED9BC67A1149A Time : 0.0 sec. user=mdettweiler [2012-09-30 23:04:47] 703*2^1229799-1 is not prime. Res64: 5E633AF207494D91 Time : 0.0 sec. user=mdettweiler [2012-09-30 23:04:48] 723*2^1229799-1 is not prime. Res64: 7AED7C19109052EE Time : 0.0 sec. user=odicin [2012-09-30 23:05:55] 951*2^1229799-1 is not prime. Res64: 03E37C9134AC8532 Time : 0.0 sec. user=odicin [2012-09-30 23:18:17] 819*2^1229800-1 is not prime. Res64: 58213868EB7D326B Time : 0.0 sec. user=mdettweiler [2012-09-30 23:19:03] 961*2^1229799-1 is not prime. Res64: 46951094FEE47D58 Time : 0.0 sec. user=mdettweiler [2012-09-30 23:19:04] 723*2^1229800-1 is not prime. Res64: F1AFFA6CC3486E3F Time : 0.0 sec. user=vaughan [2012-09-30 23:23:33] 793*2^1229799-1 is not prime. Res64: D177EA56E89F76CE Time : 0.0 sec. user=mdettweiler [2012-09-30 23:25:36] 773*2^1229800-1 is not prime. Res64: 475C5E06777702A3 Time : 0.0 sec. user=mdettweiler [2012-09-30 23:25:37] 777*2^1229800-1 is not prime. Res64: C8700345ECD89F75 Time : 0.0 sec. user=odicin [2012-09-30 23:30:40] 843*2^1229800-1 is not prime. Res64: 8B7E69CC907467A1 Time : 0.0 sec. user=mdettweiler [2012-09-30 23:39:47] 959*2^1229800-1 is not prime. Res64: 76348AAAB49F3678 Time : 0.0 sec. user=mdettweiler [2012-09-30 23:39:48] 619*2^1229801-1 is not prime. Res64: 362BFE97C35507AC Time : 0.0 sec. user=odicin [2012-09-30 23:42:59] 747*2^1229802-1 is not prime. Res64: 2D0EEC5882995444 Time : 0.0 sec. user=mdettweiler [2012-09-30 23:46:19] 931*2^1229801-1 is not prime. Res64: 92D99ADE29BC8B2B Time : 0.0 sec. user=mdettweiler [2012-09-30 23:46:20] 635*2^1229802-1 is not prime. Res64: E2F1EB402E744785 Time : 0.0 sec. user=odicin [2012-09-30 23:55:17] 875*2^1229802-1 is not prime. Res64: 38A09DF6849B69D0 Time : 0.0 sec. user=mdettweiler [2012-10-01 00:00:29] 803*2^1229802-1 is not prime. Res64: F9366B4730E300CD Time : 0.0 sec. user=mdettweiler [2012-10-01 00:00:31] 843*2^1229802-1 is not prime. Res64: A4E2B44AA4397E91 Time : 0.0 sec.