user=mdettweiler [2013-08-23 00:10:29] 705*2^1251546-1 is not prime. Res64: 7FAC7F6136933865 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:10:29] 861*2^1251546-1 is not prime. Res64: 15A252FB0B36529E Time : 0.0 sec. user=mdettweiler [2013-08-23 00:20:31] 887*2^1251546-1 is not prime. Res64: 6BC7119DB54669E1 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:20:31] 903*2^1251546-1 is not prime. Res64: 943B7E5400574484 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:21:17] 905*2^1251546-1 is not prime. Res64: F0AA14F4AB17808A Time : 0.0 sec. user=mdettweiler [2013-08-23 00:21:17] 819*2^1251547-1 is not prime. Res64: AC7A299C6AE036AA Time : 0.0 sec. user=mdettweiler [2013-08-23 00:21:18] 871*2^1251547-1 is not prime. Res64: 3391B0D2FD478414 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:21:19] 883*2^1251547-1 is not prime. Res64: 6D68E8F7CE6A030C Time : 0.0 sec. user=mdettweiler [2013-08-23 00:32:43] 915*2^1251547-1 is not prime. Res64: 5A357094185FA438 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:32:43] 945*2^1251547-1 is not prime. Res64: 44C20D4665453D99 Time : 0.0 sec. user=juhehe [2013-08-23 00:39:29] 957*2^1251545-1 is not prime. Res64: D20929F03387CEE0 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:40:57] 623*2^1251548-1 is not prime. Res64: F9D0E29E318E3F88 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:40:58] 665*2^1251548-1 is not prime. Res64: 2C91D70178E93C43 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:41:36] 669*2^1251548-1 is not prime. Res64: 1253B21376EA4550 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:41:36] 843*2^1251548-1 is not prime. Res64: 5B0A706774249B62 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:43:28] 915*2^1251548-1 is not prime. Res64: 10FCB3227EB90094 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:43:29] 963*2^1251548-1 is not prime. Res64: CC5F803D528FF399 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:55:00] 969*2^1251548-1 is not prime. Res64: 96F41E947E2D0559 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:55:01] 987*2^1251548-1 is not prime. Res64: C302A2A023F189A2 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:01:49] 621*2^1251549-1 is not prime. Res64: 14A0C051DAA036D4 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:01:50] 649*2^1251549-1 is not prime. Res64: C1587C2EE0E73295 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:02:07] 999*2^1251548-1 is not prime. Res64: 588E822ADB68654C Time : 0.0 sec. user=mdettweiler [2013-08-23 01:02:08] 609*2^1251549-1 is not prime. Res64: E7F013E327AA8501 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:03:42] 741*2^1251549-1 is not prime. Res64: 8EB240354535AF99 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:03:43] 769*2^1251549-1 is not prime. Res64: 75761C7D93A7E474 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:15:10] 781*2^1251549-1 is not prime. Res64: 0CCAA76B09D63CDC Time : 0.0 sec. user=mdettweiler [2013-08-23 01:15:10] 829*2^1251549-1 is not prime. Res64: C5D15C29E090D819 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:23:18] 951*2^1251549-1 is not prime. Res64: E4E968D3F81DBE68 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:23:19] 653*2^1251550-1 is not prime. Res64: 89C5EA603366BCDC Time : 0.0 sec. user=mdettweiler [2013-08-23 01:24:02] 695*2^1251550-1 is not prime. Res64: 1628B366E52F2D0A Time : 0.0 sec. user=mdettweiler [2013-08-23 01:24:02] 801*2^1251550-1 is not prime. Res64: 092352FE3818DF17 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:24:15] 919*2^1251549-1 is not prime. Res64: 911BF1619065B1D3 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:24:16] 927*2^1251549-1 is not prime. Res64: 66B746DCCDBC7829 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:35:32] 867*2^1251550-1 is not prime. Res64: D384082A33D0470B Time : 0.0 sec. user=mdettweiler [2013-08-23 01:35:32] 887*2^1251550-1 is not prime. Res64: 6CFC524302A3E985 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:45:29] 759*2^1251551-1 is not prime. Res64: F112FA94668030C3 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:45:30] 943*2^1251551-1 is not prime. Res64: BE387B605CD9E3F0 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:45:31] 897*2^1251550-1 is not prime. Res64: D6D9BAC853C6A73D Time : 0.0 sec. user=mdettweiler [2013-08-23 01:45:31] 971*2^1251550-1 is not prime. Res64: F4625C77A592F7E2 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:46:08] 975*2^1251550-1 is not prime. Res64: A6BEAB5296D03A0C Time : 0.0 sec. user=mdettweiler [2013-08-23 01:46:09] 1001*2^1251550-1 is not prime. Res64: B7C190EB46AA31E4 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:55:41] 665*2^1251552-1 is not prime. Res64: DCBBCD802631D3F3 Time : 0.0 sec. user=mdettweiler [2013-08-23 01:55:41] 689*2^1251552-1 is not prime. Res64: 836D2E7BD18F807F Time : 0.0 sec. user=mdettweiler [2013-08-23 02:05:38] 797*2^1251552-1 is not prime. Res64: 9B5C2D6A5045D518 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:05:39] 803*2^1251552-1 is not prime. Res64: E4F248BC3C801866 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:05:39] 809*2^1251552-1 is not prime. Res64: 92BF3B3AB29667AC Time : 0.0 sec. user=mdettweiler [2013-08-23 02:05:40] 837*2^1251552-1 is not prime. Res64: 34A24B034052670A Time : 0.0 sec. user=mdettweiler [2013-08-23 02:06:16] 875*2^1251552-1 is not prime. Res64: 9EF9BA28D7A38DBB Time : 0.0 sec. user=mdettweiler [2013-08-23 02:06:17] 887*2^1251552-1 is not prime. Res64: 7B9356DCDEF9282D Time : 0.0 sec. user=juhehe [2013-08-23 02:14:42] 633*2^1251552-1 is not prime. Res64: ED697B49A0B8BED4 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:15:45] 651*2^1251553-1 is not prime. Res64: 9FDA59D62F84AD0E Time : 0.0 sec. user=mdettweiler [2013-08-23 02:15:46] 675*2^1251553-1 is not prime. Res64: 5CA1CAA9ADA74552 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:26:08] 789*2^1251553-1 is not prime. Res64: 24FA2268DF81E217 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:26:08] 847*2^1251553-1 is not prime. Res64: 143D31578ADC7616 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:26:40] 615*2^1251554-1 is not prime. Res64: 0A6173517CA8773D Time : 0.0 sec. user=mdettweiler [2013-08-23 02:26:41] 627*2^1251554-1 is not prime. Res64: AFC8DD2D470335B9 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:27:07] 885*2^1251553-1 is not prime. Res64: 609ED7998BDAE77D Time : 0.0 sec. user=mdettweiler [2013-08-23 02:27:08] 999*2^1251553-1 is not prime. Res64: 202687C176829E67 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:35:57] 671*2^1251554-1 is not prime. Res64: 8D99D9CE11FE4D5C Time : 0.0 sec. user=mdettweiler [2013-08-23 02:35:59] 743*2^1251554-1 is not prime. Res64: 25339A06F7F5C9CB Time : 0.0 sec. user=mdettweiler [2013-08-23 02:46:17] 755*2^1251554-1 is not prime. Res64: 116DB69D410437C0 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:46:19] 861*2^1251554-1 is not prime. Res64: 2EA63B7696E15D5D Time : 0.0 sec. user=mdettweiler [2013-08-23 02:46:47] 873*2^1251554-1 is not prime. Res64: 43F194882E7C1C88 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:46:49] 875*2^1251554-1 is not prime. Res64: 0A32537F75359409 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:48:14] 951*2^1251554-1 is not prime. Res64: B8F0697F01B6BFF3 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:48:15] 651*2^1251555-1 is not prime. Res64: FB9016D6FFF4B8C4 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:57:19] 753*2^1251555-1 is not prime. Res64: 82179A8078510263 Time : 0.0 sec. user=mdettweiler [2013-08-23 02:57:20] 895*2^1251555-1 is not prime. Res64: 07744FD0B2DBB066 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:07:13] 653*2^1251556-1 is not prime. Res64: 9BDD91A84A885C46 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:07:13] 657*2^1251556-1 is not prime. Res64: 94061829FE7B3C29 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:08:27] 749*2^1251556-1 is not prime. Res64: 78E36E2A67E22829 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:08:29] 803*2^1251556-1 is not prime. Res64: 528605EB1D50F65F Time : 0.0 sec. user=mdettweiler [2013-08-23 03:08:34] 909*2^1251555-1 is not prime. Res64: 95D0AD059B3E008C Time : 0.0 sec. user=mdettweiler [2013-08-23 03:08:35] 961*2^1251555-1 is not prime. Res64: 52CA27ECA637113E Time : 0.0 sec. user=mdettweiler [2013-08-23 03:19:33] 933*2^1251556-1 is not prime. Res64: BCBB7D739DF456B4 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:19:33] 965*2^1251556-1 is not prime. Res64: 25CE5F3CC2A37444 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:27:22] 727*2^1251557-1 is not prime. Res64: 30F9366076F9DE39 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:27:22] 747*2^1251557-1 is not prime. Res64: B00B5760A44B70C5 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:28:37] 825*2^1251557-1 is not prime. Res64: 81A2EFB8EA9C0C63 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:28:37] 889*2^1251557-1 is not prime. Res64: 653C2A3547BB19FE Time : 0.0 sec. user=mdettweiler [2013-08-23 03:30:45] 915*2^1251557-1 is not prime. Res64: 5C400C4E9DBEC4AF Time : 0.0 sec. user=mdettweiler [2013-08-23 03:30:46] 931*2^1251557-1 is not prime. Res64: 0893EE41D51D4363 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:39:41] 705*2^1251558-1 is not prime. Res64: 043CE4A21A0549EF Time : 0.0 sec. user=mdettweiler [2013-08-23 03:39:41] 707*2^1251558-1 is not prime. Res64: F8EC139B931903C5 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:47:29] 815*2^1251558-1 is not prime. Res64: 0C382505F5B06450 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:47:30] 833*2^1251558-1 is not prime. Res64: CA5A7B58B9CFBD34 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:50:46] 915*2^1251558-1 is not prime. Res64: 6BC1D68B62A0CCBC Time : 0.0 sec. user=mdettweiler [2013-08-23 03:50:46] 923*2^1251558-1 is not prime. Res64: EFFF86F7D1B58E13 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:52:53] 963*2^1251558-1 is not prime. Res64: 872DFF300A7CA455 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:52:54] 993*2^1251558-1 is not prime. Res64: 6CEDDFD25B6897D3 Time : 0.0 sec. user=juhehe [2013-08-23 03:58:15] 969*2^1251556-1 is not prime. Res64: 6B2E2543550CA551 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:59:54] 661*2^1251559-1 is not prime. Res64: C34F30BF720D7647 Time : 0.0 sec. user=mdettweiler [2013-08-23 03:59:54] 831*2^1251559-1 is not prime. Res64: 347DA1169EACD407 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:08:39] 853*2^1251559-1 is not prime. Res64: 0AB1E350BE41F04B Time : 0.0 sec. user=mdettweiler [2013-08-23 04:08:40] 933*2^1251559-1 is not prime. Res64: EB25359D04C5CFD9 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:11:59] 993*2^1251559-1 is not prime. Res64: C1061CD12E8722DF Time : 0.0 sec. user=mdettweiler [2013-08-23 04:12:00] 609*2^1251560-1 is not prime. Res64: F2B93920DB98FEB8 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:13:10] 747*2^1251560-1 is not prime. Res64: FEBE4FCBBC28F591 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:13:10] 777*2^1251560-1 is not prime. Res64: 5427369E9E061D06 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:20:03] 797*2^1251560-1 is not prime. Res64: E2500307EF1E9AF4 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:20:04] 833*2^1251560-1 is not prime. Res64: 3D8B512F9DFC2572 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:28:57] 609*2^1251561-1 is not prime. Res64: E0BD5F9DBAE6AF53 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:28:57] 675*2^1251561-1 is not prime. Res64: F78EB5CD31C4A855 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:32:18] 745*2^1251561-1 is not prime. Res64: A338FC202FD0AAE3 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:32:19] 865*2^1251561-1 is not prime. Res64: 5B55004448FBABAB Time : 0.0 sec. user=mdettweiler [2013-08-23 04:35:17] 895*2^1251561-1 is not prime. Res64: 1A03D07F6C33CE85 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:35:18] 901*2^1251561-1 is not prime. Res64: E58914875F8B1722 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:42:13] 949*2^1251561-1 is not prime. Res64: 7A88BA503F4F9D79 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:42:13] 955*2^1251561-1 is not prime. Res64: 7395F3C211EBD282 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:49:03] 623*2^1251562-1 is not prime. Res64: D4D504841A48228E Time : 0.0 sec. user=mdettweiler [2013-08-23 04:49:04] 645*2^1251562-1 is not prime. Res64: DFB2C97EA6C8C55C Time : 0.0 sec. user=mdettweiler [2013-08-23 04:52:27] 713*2^1251562-1 is not prime. Res64: A533F13B2697C2E7 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:52:28] 765*2^1251562-1 is not prime. Res64: 6FD5B980252C7159 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:55:37] 885*2^1251562-1 is not prime. Res64: 85846F3A249E5C70 Time : 0.0 sec. user=mdettweiler [2013-08-23 04:55:38] 891*2^1251562-1 is not prime. Res64: 6C0AC99DCE625530 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:03:43] 951*2^1251562-1 is not prime. Res64: 65FF4EA0C7EDF29A Time : 0.0 sec. user=mdettweiler [2013-08-23 05:03:44] 699*2^1251563-1 is not prime. Res64: 0199E07ED474ABD0 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:09:43] 703*2^1251563-1 is not prime. Res64: DCD79893D9DF39A4 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:09:44] 771*2^1251563-1 is not prime. Res64: 248BBCBBE203A9F4 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:13:06] 853*2^1251563-1 is not prime. Res64: 06B1CCE7B4D5DDC4 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:13:07] 885*2^1251563-1 is not prime. Res64: A94F871461310C9E Time : 0.0 sec. user=mdettweiler [2013-08-23 05:18:04] 973*2^1251563-1 is not prime. Res64: 11646F5AF70D9BC1 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:18:05] 981*2^1251563-1 is not prime. Res64: 39960AF6E0C90187 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:23:54] 609*2^1251564-1 is not prime. Res64: 015A330ECFC15AD2 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:23:54] 629*2^1251564-1 is not prime. Res64: ED1AD01542B91FDE Time : 0.0 sec. user=mdettweiler [2013-08-23 05:29:55] 693*2^1251564-1 is not prime. Res64: 478E888D2381E515 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:29:56] 737*2^1251564-1 is not prime. Res64: 43152C026D5B1A3F Time : 0.0 sec. user=mdettweiler [2013-08-23 05:33:16] 767*2^1251564-1 is not prime. Res64: 09429D01DD184CEC Time : 0.0 sec. user=mdettweiler [2013-08-23 05:33:16] 887*2^1251564-1 is not prime. Res64: 07F55092EBF12A66 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:38:09] 685*2^1251565-1 is not prime. Res64: 8315818F55B5848E Time : 0.0 sec. user=mdettweiler [2013-08-23 05:38:09] 691*2^1251565-1 is not prime. Res64: FDC49105608D2C22 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:44:01] 717*2^1251565-1 is not prime. Res64: 1445F60374DAA459 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:44:02] 777*2^1251565-1 is not prime. Res64: 4025BF5A029B48A9 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:51:05] 861*2^1251565-1 is not prime. Res64: C601628B0494C59A Time : 0.0 sec. user=mdettweiler [2013-08-23 05:51:05] 897*2^1251565-1 is not prime. Res64: ACE10A0A17345EF4 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:55:20] 939*2^1251565-1 is not prime. Res64: 78ADCF5FFDF8EB87 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:55:21] 951*2^1251565-1 is not prime. Res64: D5A0EB65E486FD8C Time : 0.0 sec. user=mdettweiler [2013-08-23 05:58:13] 741*2^1251566-1 is not prime. Res64: A41F876346DFF110 Time : 0.0 sec. user=mdettweiler [2013-08-23 05:58:13] 825*2^1251566-1 is not prime. Res64: 9104A04E0CDD5F99 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:06:12] 921*2^1251566-1 is not prime. Res64: 9A663CAB566EFB3F Time : 0.0 sec. user=mdettweiler [2013-08-23 06:06:13] 957*2^1251566-1 is not prime. Res64: 25EEB453544DF37C Time : 0.0 sec. user=mdettweiler [2013-08-23 06:13:01] 965*2^1251566-1 is not prime. Res64: 52C738AE00DF2E08 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:13:02] 971*2^1251566-1 is not prime. Res64: E5E8FEBCB15E5315 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:16:21] 981*2^1251566-1 is not prime. Res64: B72E3476C9588D0C Time : 0.0 sec. user=mdettweiler [2013-08-23 06:16:22] 609*2^1251567-1 is not prime. Res64: 44203305F98D29D0 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:18:15] 615*2^1251567-1 is not prime. Res64: CBE7132B38C2AAEF Time : 0.0 sec. user=mdettweiler [2013-08-23 06:18:15] 765*2^1251567-1 is not prime. Res64: 34DC12D7B32F6251 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:26:13] 775*2^1251567-1 is not prime. Res64: D23CB716ACA6F4EB Time : 0.0 sec. user=mdettweiler [2013-08-23 06:26:14] 861*2^1251567-1 is not prime. Res64: DF1ECD6EF47788D9 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:33:05] 871*2^1251567-1 is not prime. Res64: 531308D5687155B6 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:33:05] 879*2^1251567-1 is not prime. Res64: F92705C8E80217A2 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:38:26] 605*2^1251568-1 is not prime. Res64: 1C48C586455EC8AF Time : 0.0 sec. user=mdettweiler [2013-08-23 06:38:26] 629*2^1251568-1 is not prime. Res64: 3F854CD91D697E3C Time : 0.0 sec. user=mdettweiler [2013-08-23 06:38:33] 973*2^1251567-1 is not prime. Res64: 003712E5C9FF847F Time : 0.0 sec. user=mdettweiler [2013-08-23 06:38:33] 975*2^1251567-1 is not prime. Res64: 952CDB4BF349AA3A Time : 0.0 sec. user=mdettweiler [2013-08-23 06:46:16] 645*2^1251568-1 is not prime. Res64: 54368ADAA6517EC5 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:46:17] 695*2^1251568-1 is not prime. Res64: D60C7BDD2A2B18D7 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:53:11] 699*2^1251568-1 is not prime. Res64: A21C4EFEF040A623 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:53:12] 813*2^1251568-1 is not prime. Res64: 51943BB1EB245678 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:58:45] 619*2^1251569-1 is not prime. Res64: 52E0BB7028868BAF Time : 0.0 sec. user=mdettweiler [2013-08-23 06:58:46] 631*2^1251569-1 is not prime. Res64: C874FA665E35A075 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:59:30] 839*2^1251568-1 is not prime. Res64: EAAA1AC52CF29471 Time : 0.0 sec. user=mdettweiler [2013-08-23 06:59:30] 897*2^1251568-1 is not prime. Res64: BB0D051DAC2B9D8A Time : 0.0 sec. user=mdettweiler [2013-08-23 07:06:23] 657*2^1251569-1 is not prime. Res64: 9683E9253EC23086 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:06:24] 735*2^1251569-1 is not prime. Res64: 5EB1F44E3262A351 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:13:25] 801*2^1251569-1 is not prime. Res64: 7D769C1E831B6198 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:13:25] 837*2^1251569-1 is not prime. Res64: 62BEA7EE7465D801 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:19:52] 885*2^1251569-1 is not prime. Res64: 507C18F8FAB37C99 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:19:52] 951*2^1251569-1 is not prime. Res64: D0A53DDC30665ED1 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:20:41] 955*2^1251569-1 is not prime. Res64: E96F27B70658270B Time : 0.0 sec. user=mdettweiler [2013-08-23 07:20:41] 651*2^1251570-1 is not prime. Res64: 3E3BE5D6548A3544 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:27:36] 681*2^1251570-1 is not prime. Res64: FA25E3EED51BB950 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:27:36] 927*2^1251570-1 is not prime. Res64: 854F0ACB800C0F5D Time : 0.0 sec. user=mdettweiler [2013-08-23 07:34:39] 941*2^1251570-1 is not prime. Res64: C198514C803B54D6 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:34:40] 615*2^1251571-1 is not prime. Res64: 1DA0938C13AE81A3 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:40:05] 625*2^1251571-1 is not prime. Res64: C1EAD6D143F1EDF7 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:40:05] 751*2^1251571-1 is not prime. Res64: 085E3E034EF432CF Time : 0.0 sec. user=mdettweiler [2013-08-23 07:40:56] 775*2^1251571-1 is not prime. Res64: 3B117B7C74BA92C2 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:40:56] 783*2^1251571-1 is not prime. Res64: EEDD1E5923DC592D Time : 0.0 sec. user=mdettweiler [2013-08-23 07:47:49] 829*2^1251571-1 is not prime. Res64: 5C8819A08FD51B10 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:47:49] 615*2^1251572-1 is not prime. Res64: 8FD8A1E531E1E9C8 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:54:45] 675*2^1251572-1 is not prime. Res64: 7772EDB1CC966B70 Time : 0.0 sec. user=mdettweiler [2013-08-23 07:54:45] 749*2^1251572-1 is not prime. Res64: 97B7B386D45300C8 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:00:08] 649*2^1251573-1 is not prime. Res64: 07A16E0E6AE052E2 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:00:09] 685*2^1251573-1 is not prime. Res64: 9C24B9C801D4AA60 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:00:57] 727*2^1251573-1 is not prime. Res64: C8507E4BC6C5EF9A Time : 0.0 sec. user=mdettweiler [2013-08-23 08:00:58] 741*2^1251573-1 is not prime. Res64: E76A01829B388587 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:07:55] 759*2^1251573-1 is not prime. Res64: 5418CF2110683455 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:07:56] 781*2^1251573-1 is not prime. Res64: 96A3D6E328277508 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:14:54] 817*2^1251573-1 is not prime. Res64: 3BBE6883B9A0604E Time : 0.0 sec. user=mdettweiler [2013-08-23 08:14:55] 877*2^1251573-1 is not prime. Res64: B9708EA6B35937AA Time : 0.0 sec. user=mdettweiler [2013-08-23 08:21:11] 635*2^1251574-1 is not prime. Res64: EA4F502BAF4D0957 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:21:12] 705*2^1251574-1 is not prime. Res64: C47E34D8E837B8C2 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:22:15] 895*2^1251573-1 is not prime. Res64: 43B098EAE0671626 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:22:17] 991*2^1251573-1 is not prime. Res64: CD02E7039F3BA325 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:28:09] 723*2^1251574-1 is not prime. Res64: 512F39A72AA47E29 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:28:11] 773*2^1251574-1 is not prime. Res64: FCA86F59ACC9E026 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:35:02] 813*2^1251574-1 is not prime. Res64: 1A4C0029D9A274C5 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:35:03] 833*2^1251574-1 is not prime. Res64: 5AC98EBEAB028D5B Time : 0.0 sec. user=mdettweiler [2013-08-23 08:42:19] 861*2^1251574-1 is not prime. Res64: 055351EE17073E57 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:42:19] 965*2^1251574-1 is not prime. Res64: 44CB1724BC0E9B6B Time : 0.0 sec. user=mdettweiler [2013-08-23 08:42:30] 643*2^1251575-1 is not prime. Res64: CC5DF96ECB929C92 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:42:30] 679*2^1251575-1 is not prime. Res64: 83A4FD4715795894 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:49:33] 859*2^1251575-1 is not prime. Res64: 1560B4B377200E09 Time : 0.0 sec. user=mdettweiler [2013-08-23 08:49:34] 915*2^1251575-1 is not prime. Res64: 426733A6232D659C Time : 0.0 sec. user=mdettweiler [2013-08-23 08:57:08] 943*2^1251575-1 is not prime. Res64: 5E457CB19425A79F Time : 0.0 sec. user=mdettweiler [2013-08-23 08:57:09] 979*2^1251575-1 is not prime. Res64: 4DD385248C3C415F Time : 0.0 sec. user=mdettweiler [2013-08-23 09:02:36] 747*2^1251577-1 is not prime. Res64: 6F627403CCD403BC Time : 0.0 sec. user=mdettweiler [2013-08-23 09:02:38] 841*2^1251577-1 is not prime. Res64: D505DAF98B82D506 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:04:18] 923*2^1251576-1 is not prime. Res64: 1CD5F28FDCEA4263 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:04:20] 945*2^1251576-1 is not prime. Res64: FD2F5D2EB81722BE Time : 0.0 sec. user=mdettweiler [2013-08-23 09:09:40] 847*2^1251577-1 is not prime. Res64: F6BB719EB078BC3D Time : 0.0 sec. user=mdettweiler [2013-08-23 09:09:42] 849*2^1251577-1 is not prime. Res64: 703D6F7AD8F17047 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:17:19] 743*2^1251578-1 is not prime. Res64: 574BC92D469A8AB9 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:17:21] 747*2^1251578-1 is not prime. Res64: ECBB654A1BAFA619 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:22:46] 767*2^1251578-1 is not prime. Res64: AA871F30D53DAD6D Time : 0.0 sec. user=mdettweiler [2013-08-23 09:22:47] 801*2^1251578-1 is not prime. Res64: 25A71022E86610F2 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:25:26] 861*2^1251578-1 is not prime. Res64: C06425A827117B34 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:25:27] 923*2^1251578-1 is not prime. Res64: 23F66937CFC10C7D Time : 0.0 sec. user=mdettweiler [2013-08-23 09:30:05] 709*2^1251579-1 is not prime. Res64: FC62429BD92CA1F5 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:30:06] 789*2^1251579-1 is not prime. Res64: 6892F2E4812C0E55 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:37:34] 793*2^1251579-1 is not prime. Res64: 427C4CFF7E272233 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:37:35] 801*2^1251579-1 is not prime. Res64: 15358663CAE3C66F Time : 0.0 sec. user=mdettweiler [2013-08-23 09:43:57] 861*2^1251579-1 is not prime. Res64: C62B6B59F9BD721E Time : 0.0 sec. user=mdettweiler [2013-08-23 09:43:59] 973*2^1251579-1 is not prime. Res64: B7BB877D9D1E17D6 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:46:42] 985*2^1251579-1 is not prime. Res64: 9CCF13A8AB6BD38E Time : 0.0 sec. user=mdettweiler [2013-08-23 09:46:43] 647*2^1251580-1 is not prime. Res64: DD610FA21D5BF6E2 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:50:21] 675*2^1251580-1 is not prime. Res64: BE93FE29BAE90340 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:50:22] 813*2^1251580-1 is not prime. Res64: 81CA64E40273BA16 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:57:44] 819*2^1251580-1 is not prime. Res64: 4AF377E4E3747F87 Time : 0.0 sec. user=mdettweiler [2013-08-23 09:57:45] 863*2^1251580-1 is not prime. Res64: E25DA2B229DB2CC9 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:06:01] 983*2^1251580-1 is not prime. Res64: F7826C68E8C99A8C Time : 0.0 sec. user=mdettweiler [2013-08-23 10:06:03] 995*2^1251580-1 is not prime. Res64: F6612CD3F7D8D045 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:06:50] 675*2^1251581-1 is not prime. Res64: C457DC2ECAE1C0DA Time : 0.0 sec. user=mdettweiler [2013-08-23 10:06:52] 781*2^1251581-1 is not prime. Res64: 94B16937D7CD5DD3 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:11:30] 871*2^1251581-1 is not prime. Res64: 193C2DD4E72AD1DD Time : 0.0 sec. user=mdettweiler [2013-08-23 10:11:33] 945*2^1251581-1 is not prime. Res64: 255870B9ADC24054 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:18:56] 987*2^1251581-1 is not prime. Res64: A78B3471F819C71B Time : 0.0 sec. user=mdettweiler [2013-08-23 10:18:57] 731*2^1251582-1 is not prime. Res64: 2B9401DA34497B70 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:26:17] 807*2^1251582-1 is not prime. Res64: 358ECFC0F1D1F772 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:26:19] 815*2^1251582-1 is not prime. Res64: 4FC4D20C58832E54 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:27:06] 843*2^1251582-1 is not prime. Res64: 49AD4B5C1BB5F283 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:27:07] 887*2^1251582-1 is not prime. Res64: 6BF2DF0419374824 Time : 0.0 sec. user=juhehe [2013-08-23 10:28:26] 631*2^1251581-1 is not prime. Res64: D85E3261BAD3057F Time : 0.0 sec. user=mdettweiler [2013-08-23 10:33:34] 963*2^1251582-1 is not prime. Res64: F7F9DE996AFDFDA1 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:33:35] 983*2^1251582-1 is not prime. Res64: 66184F2A4804DDE3 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:39:08] 621*2^1251583-1 is not prime. Res64: 8431EDB24C8AFE34 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:39:09] 639*2^1251583-1 is not prime. Res64: 4AC59CE65B7BB343 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:46:27] 675*2^1251583-1 is not prime. Res64: 0F6CA27BBA3434A4 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:46:33] 741*2^1251583-1 is not prime. Res64: 7E9F8CF356B6C718 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:53:43] 789*2^1251583-1 is not prime. Res64: D3F67BCDC1EE35E3 Time : 0.0 sec. user=mdettweiler [2013-08-23 10:53:45] 859*2^1251583-1 is not prime. Res64: 993EB2E79820E9CE Time : 0.0 sec. user=mdettweiler [2013-08-23 10:59:30] 925*2^1251583-1 is not prime. Res64: AD893D0D469798EB Time : 0.0 sec. user=mdettweiler [2013-08-23 10:59:31] 945*2^1251583-1 is not prime. Res64: BA984D23D311FB30 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:01:16] 973*2^1251583-1 is not prime. Res64: A59212389C1E349A Time : 0.0 sec. user=mdettweiler [2013-08-23 11:01:18] 993*2^1251583-1 is not prime. Res64: 2117B3202D5FE699 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:06:37] 665*2^1251584-1 is not prime. Res64: AC6772C459F78408 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:06:40] 725*2^1251584-1 is not prime. Res64: 4D3CD578E3A4491D Time : 0.0 sec. user=juhehe [2013-08-23 11:10:30] 769*2^1251583-1 is not prime. Res64: 13C1298A7B305858 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:15:05] 753*2^1251584-1 is not prime. Res64: A917CC84FE9B0849 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:15:07] 915*2^1251584-1 is not prime. Res64: 3A7DA585F2E26660 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:20:46] 983*2^1251584-1 is not prime. Res64: 5D31E9EFB7D17E56 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:20:48] 657*2^1251585-1 is not prime. Res64: 4F89FF2CCC535089 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:21:30] 679*2^1251585-1 is not prime. Res64: 449A71DDC8E2A813 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:21:32] 699*2^1251585-1 is not prime. Res64: 4CDAD6CC3B0C545B Time : 0.0 sec. user=mdettweiler [2013-08-23 11:26:54] 727*2^1251585-1 is not prime. Res64: E1166F980E56C502 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:26:55] 739*2^1251585-1 is not prime. Res64: C305D95ADDA5B4F1 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:36:17] 985*2^1251585-1 is not prime. Res64: 79AFE5951CCA769C Time : 0.0 sec. user=mdettweiler [2013-08-23 11:36:19] 611*2^1251586-1 is not prime. Res64: 163260CBE6C9E676 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:41:07] 785*2^1251586-1 is not prime. Res64: 999FE56E8A06F3D9 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:41:08] 855*2^1251586-1 is not prime. Res64: 206A5605ECEC5485 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:43:47] 917*2^1251586-1 is not prime. Res64: DD4B0BDF5E1FC535 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:43:48] 971*2^1251586-1 is not prime. Res64: 2F62436FD765328B Time : 0.0 sec. user=mdettweiler [2013-08-23 11:47:10] 609*2^1251587-1 is not prime. Res64: 1C09B32207834B09 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:47:12] 643*2^1251587-1 is not prime. Res64: FFA818F9A2D4F67D Time : 0.0 sec. user=mdettweiler [2013-08-23 11:56:33] 693*2^1251587-1 is not prime. Res64: 629855914D9690F4 Time : 0.0 sec. user=mdettweiler [2013-08-23 11:56:34] 843*2^1251587-1 is not prime. Res64: 8C3457473DC6B61F Time : 0.0 sec. user=juhehe [2013-08-23 11:57:18] 847*2^1251585-1 is not prime. Res64: 5028BFBA659295B1 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:02:25] 861*2^1251587-1 is not prime. Res64: 25662555CA305C25 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:02:27] 985*2^1251587-1 is not prime. Res64: FF86A488D1F0F106 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:04:04] 605*2^1251588-1 is not prime. Res64: 11BD6F61D7265073 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:04:05] 657*2^1251588-1 is not prime. Res64: 435202B5AA3F2BD2 Time : 0.0 sec. user=juhehe [2013-08-23 12:06:18] 675*2^1251587-1 is not prime. Res64: 405C82109F037016 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:07:24] 683*2^1251588-1 is not prime. Res64: 5458447E7371FF4F Time : 0.0 sec. user=mdettweiler [2013-08-23 12:07:26] 689*2^1251588-1 is not prime. Res64: 915A2F50CF04C985 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:16:44] 705*2^1251588-1 is not prime. Res64: C4B75A2C152AF1D7 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:16:45] 753*2^1251588-1 is not prime. Res64: 6DC4A516BB27324B Time : 0.0 sec. user=mdettweiler [2013-08-23 12:22:51] 803*2^1251588-1 is not prime. Res64: 7588960E3B2D7442 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:22:53] 875*2^1251588-1 is not prime. Res64: 2416FA5C22A971FA Time : 0.0 sec. user=mdettweiler [2013-08-23 12:24:21] 879*2^1251588-1 is not prime. Res64: 68F16C307C0482DF Time : 0.0 sec. user=mdettweiler [2013-08-23 12:24:22] 609*2^1251589-1 is not prime. Res64: 46ABC686AAC87CF8 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:27:36] 667*2^1251589-1 is not prime. Res64: E0D702F105192932 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:27:37] 759*2^1251589-1 is not prime. Res64: C6E1D61B1D8D9DAF Time : 0.0 sec. user=juhehe [2013-08-23 12:32:55] 797*2^1251588-1 is not prime. Res64: F46138991D401666 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:38:55] 919*2^1251589-1 is not prime. Res64: 8B13214B3F3B5C10 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:38:55] 927*2^1251589-1 is not prime. Res64: 3B35BEC29AC75FFB Time : 0.0 sec. user=juhehe [2013-08-23 12:42:17] 649*2^1251589-1 is not prime. Res64: F50DFCAE6EFBD97B Time : 0.0 sec. user=mdettweiler [2013-08-23 12:43:10] 615*2^1251590-1 is not prime. Res64: E9C208FE17827D69 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:43:11] 635*2^1251590-1 is not prime. Res64: 0C9C7CFF34BA3577 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:44:40] 657*2^1251590-1 is not prime. Res64: CBDA27EC6F20B359 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:44:41] 677*2^1251590-1 is not prime. Res64: 92CFAC70211FE7F2 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:47:54] 753*2^1251590-1 is not prime. Res64: 9B4652700403B7B4 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:47:56] 791*2^1251590-1 is not prime. Res64: 27E6116103FC6D81 Time : 0.0 sec. user=mdettweiler [2013-08-23 12:59:07] 845*2^1251590-1 is not prime. Res64: 7A44B7E4CA922A8D Time : 0.0 sec. user=mdettweiler [2013-08-23 12:59:09] 857*2^1251590-1 is not prime. Res64: 8DAE5872340A6628 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:04:26] 935*2^1251590-1 is not prime. Res64: 8CC5BF93287DF403 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:04:27] 643*2^1251591-1 is not prime. Res64: D82B9ECA1B5EB733 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:04:54] 679*2^1251591-1 is not prime. Res64: 792CB9C73989E356 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:04:56] 693*2^1251591-1 is not prime. Res64: B03964AAD9D30FA9 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:09:07] 735*2^1251591-1 is not prime. Res64: 33E38575F0D1BDE2 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:09:09] 955*2^1251591-1 is not prime. Res64: 4A6999EA19E9B45B Time : 0.0 sec. user=juhehe [2013-08-23 13:18:31] 825*2^1251590-1 is not prime. Res64: F9C90908E810E09A Time : 0.0 sec. user=mdettweiler [2013-08-23 13:19:22] 743*2^1251592-1 is not prime. Res64: D1DCB5C0B05D7AD6 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:19:23] 755*2^1251592-1 is not prime. Res64: 2D00E47E59FFAE70 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:24:42] 765*2^1251592-1 is not prime. Res64: 222206FFB4AB6031 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:24:43] 825*2^1251592-1 is not prime. Res64: F263A8FB0679EBAA Time : 0.0 sec. user=mdettweiler [2013-08-23 13:25:11] 855*2^1251592-1 is not prime. Res64: 03935330ED3BB09B Time : 0.0 sec. user=mdettweiler [2013-08-23 13:25:13] 869*2^1251592-1 is not prime. Res64: 5A61D4D2F2E52FA1 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:30:22] 873*2^1251592-1 is not prime. Res64: 4D12BE3CF133574E Time : 0.0 sec. user=mdettweiler [2013-08-23 13:30:23] 965*2^1251592-1 is not prime. Res64: C9F1D107557E1E73 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:39:43] 651*2^1251593-1 is not prime. Res64: 95F12AC0014F071E Time : 0.0 sec. user=mdettweiler [2013-08-23 13:39:44] 685*2^1251593-1 is not prime. Res64: D9A24899108A459F Time : 0.0 sec. user=mdettweiler [2013-08-23 13:45:00] 721*2^1251593-1 is not prime. Res64: BD7B188979444FDD Time : 0.0 sec. user=mdettweiler [2013-08-23 13:45:01] 861*2^1251593-1 is not prime. Res64: 5C477E17D95340EB Time : 0.0 sec. user=mdettweiler [2013-08-23 13:46:21] 897*2^1251593-1 is not prime. Res64: 507F7C6B09240361 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:46:23] 641*2^1251594-1 is not prime. Res64: 1179249EBD1A1558 Time : 0.0 sec. user=mdettweiler [2013-08-23 13:50:34] 663*2^1251594-1 is not prime. Res64: 42EF5B1BC3FE4C6C Time : 0.0 sec. user=mdettweiler [2013-08-23 13:50:36] 681*2^1251594-1 is not prime. Res64: 358368CE703107A1 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:00:03] 707*2^1251594-1 is not prime. Res64: FB95D039F5E45BBF Time : 0.0 sec. user=mdettweiler [2013-08-23 14:00:04] 807*2^1251594-1 is not prime. Res64: 5A90AD7B182C3391 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:06:16] 833*2^1251594-1 is not prime. Res64: 24251E02F4AABE69 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:06:17] 915*2^1251594-1 is not prime. Res64: B36EE8064EDD60AF Time : 0.0 sec. user=mdettweiler [2013-08-23 14:07:43] 1001*2^1251594-1 is not prime. Res64: E39B1A448B16E4FE Time : 0.0 sec. user=mdettweiler [2013-08-23 14:07:45] 679*2^1251595-1 is not prime. Res64: 7D9E77C0A41FD9B8 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:11:07] 759*2^1251595-1 is not prime. Res64: 5B2DCD1841596A08 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:11:09] 843*2^1251595-1 is not prime. Res64: 8092FA5F09F41008 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:21:40] 853*2^1251595-1 is not prime. Res64: 9793C60B1769CC6D Time : 0.0 sec. user=mdettweiler [2013-08-23 14:21:42] 925*2^1251595-1 is not prime. Res64: AACA0B30A4F8D737 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:26:50] 635*2^1251596-1 is not prime. Res64: AF01B3FE9B86DE69 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:26:51] 813*2^1251596-1 is not prime. Res64: 4BB7399F74E8CA18 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:29:00] 843*2^1251596-1 is not prime. Res64: 0763DD9BDEFCA197 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:29:02] 935*2^1251596-1 is not prime. Res64: 3DBCEE97D5C21039 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:31:24] 627*2^1251597-1 is not prime. Res64: 6FC06EECB39B8D1B Time : 0.0 sec. user=mdettweiler [2013-08-23 14:31:26] 669*2^1251597-1 is not prime. Res64: 693D6FF86BCCA777 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:42:00] 735*2^1251597-1 is not prime. Res64: D0804D1D022A61CC Time : 0.0 sec. user=mdettweiler [2013-08-23 14:42:01] 759*2^1251597-1 is not prime. Res64: FD481193D51D6B7C Time : 0.0 sec. user=mdettweiler [2013-08-23 14:47:02] 769*2^1251597-1 is not prime. Res64: 52DFE53DA4995F1F Time : 0.0 sec. user=mdettweiler [2013-08-23 14:47:02] 847*2^1251597-1 is not prime. Res64: 14DEBBE7D6AE588B Time : 0.0 sec. user=mdettweiler [2013-08-23 14:50:15] 861*2^1251597-1 is not prime. Res64: 718AEDE0A3C40B70 Time : 0.0 sec. user=mdettweiler [2013-08-23 14:50:16] 937*2^1251597-1 is not prime. Res64: E1DADD50F7BEC22C Time : 0.0 sec. user=mdettweiler [2013-08-23 14:51:39] 603*2^1251598-1 is not prime. Res64: 516CFC352784324E Time : 0.0 sec. user=mdettweiler [2013-08-23 14:51:40] 623*2^1251598-1 is not prime. Res64: F5911C3726FCEBBD Time : 0.0 sec. user=mdettweiler [2013-08-23 15:02:16] 635*2^1251598-1 is not prime. Res64: 334E914A3301A2F4 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:02:17] 663*2^1251598-1 is not prime. Res64: 3C75C1EF0BE3708E Time : 0.0 sec. user=mdettweiler [2013-08-23 15:07:12] 743*2^1251598-1 is not prime. Res64: E1503D0A3D792194 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:07:13] 755*2^1251598-1 is not prime. Res64: 718738D39C308149 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:10:23] 791*2^1251598-1 is not prime. Res64: 9CE2A2AA58C59E7E Time : 0.0 sec. user=mdettweiler [2013-08-23 15:10:24] 891*2^1251598-1 is not prime. Res64: 08A09AB912CF5164 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:12:42] 915*2^1251598-1 is not prime. Res64: 59BDD3C122983512 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:12:43] 615*2^1251599-1 is not prime. Res64: E68BB3B502DA9F9F Time : 0.0 sec. user=mdettweiler [2013-08-23 15:22:41] 643*2^1251599-1 is not prime. Res64: 7012AEA0460E4BA5 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:22:41] 655*2^1251599-1 is not prime. Res64: 4148258E5F0EE4F1 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:27:24] 663*2^1251599-1 is not prime. Res64: 3966E261B00AB4F8 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:27:25] 741*2^1251599-1 is not prime. Res64: D03BE8D79C0881D0 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:31:34] 825*2^1251599-1 is not prime. Res64: 9C00DCBD8B9E41CD Time : 0.0 sec. user=mdettweiler [2013-08-23 15:31:34] 943*2^1251599-1 is not prime. Res64: 8CBF800A3CF4FC91 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:33:52] 979*2^1251599-1 is not prime. Res64: CA5B0AED76FAC067 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:33:52] 719*2^1251600-1 is not prime. Res64: 4F90D7C49C1A278C Time : 0.0 sec. user=mdettweiler [2013-08-23 15:42:57] 773*2^1251600-1 is not prime. Res64: 2B9EB9E1B328FEDA Time : 0.0 sec. user=mdettweiler [2013-08-23 15:42:58] 795*2^1251600-1 is not prime. Res64: 52242078B4ED6FA5 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:47:42] 819*2^1251600-1 is not prime. Res64: AB954C8D7E2DEF8A Time : 0.0 sec. user=mdettweiler [2013-08-23 15:47:43] 839*2^1251600-1 is not prime. Res64: 0E33AB842B428C2F Time : 0.0 sec. user=mdettweiler [2013-08-23 15:51:52] 741*2^1251601-1 is not prime. Res64: D22F586A09E48426 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:51:53] 777*2^1251601-1 is not prime. Res64: 944ED842F4BEE606 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:56:10] 937*2^1251601-1 is not prime. Res64: 2EAAEECFB6E7D317 Time : 0.0 sec. user=mdettweiler [2013-08-23 15:56:10] 955*2^1251601-1 is not prime. Res64: ECAF560C2BDAB458 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:04:09] 987*2^1251601-1 is not prime. Res64: 5504E9364A8BDE8A Time : 0.0 sec. user=mdettweiler [2013-08-23 16:04:11] 623*2^1251602-1 is not prime. Res64: 7891D747232909E6 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:07:53] 731*2^1251602-1 is not prime. Res64: B746E3DB2B1DC4ED Time : 0.0 sec. user=mdettweiler [2013-08-23 16:07:54] 801*2^1251602-1 is not prime. Res64: 4E864EA37C9CB1B2 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:12:02] 825*2^1251602-1 is not prime. Res64: 25D573C2AD7C14D3 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:12:02] 827*2^1251602-1 is not prime. Res64: 654B080813B6C0A0 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:18:11] 911*2^1251602-1 is not prime. Res64: 7ABB984A17BB4003 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:18:12] 917*2^1251602-1 is not prime. Res64: 26663A35738F7E1F Time : 0.0 sec. user=mdettweiler [2013-08-23 16:24:35] 613*2^1251603-1 is not prime. Res64: 67F05A81D14BD6FC Time : 0.0 sec. user=mdettweiler [2013-08-23 16:24:36] 643*2^1251603-1 is not prime. Res64: B37006D9614001AC Time : 0.0 sec. user=mdettweiler [2013-08-23 16:28:11] 703*2^1251603-1 is not prime. Res64: 97F4B9EF01768467 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:28:11] 769*2^1251603-1 is not prime. Res64: 1A50DC61F0D62AB7 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:32:20] 781*2^1251603-1 is not prime. Res64: 84BE8DD6A5B8C015 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:32:20] 853*2^1251603-1 is not prime. Res64: 7D596E8F9A956FE9 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:39:25] 859*2^1251603-1 is not prime. Res64: 2C99462C001274A7 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:39:26] 951*2^1251603-1 is not prime. Res64: B8F5288369C02DBE Time : 0.0 sec. user=mdettweiler [2013-08-23 16:45:58] 961*2^1251603-1 is not prime. Res64: FE66ED6D98460B84 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:45:58] 705*2^1251604-1 is not prime. Res64: E9101C93C79F220B Time : 0.0 sec. user=mdettweiler [2013-08-23 16:48:34] 743*2^1251604-1 is not prime. Res64: 01464B8D223A3972 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:48:34] 833*2^1251604-1 is not prime. Res64: 3025AA537C16E1A7 Time : 0.0 sec. user=mdettweiler [2013-08-23 16:54:31] 929*2^1251604-1 is not prime. Res64: CC999C32A5019CCA Time : 0.0 sec. user=mdettweiler [2013-08-23 16:54:31] 939*2^1251604-1 is not prime. Res64: 95306FBDA12A20D8 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:00:36] 987*2^1251604-1 is not prime. Res64: 2ABBA7681EF6D2C8 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:00:38] 607*2^1251605-1 is not prime. Res64: A3C10265CEB4B96F Time : 0.0 sec. user=mdettweiler [2013-08-23 17:06:07] 655*2^1251605-1 is not prime. Res64: DA01CE5964F233EA Time : 0.0 sec. user=mdettweiler [2013-08-23 17:06:09] 721*2^1251605-1 is not prime. Res64: 98B307474A693A1C Time : 0.0 sec. user=mdettweiler [2013-08-23 17:08:42] 771*2^1251605-1 is not prime. Res64: A92E24DCABA2C0B6 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:08:44] 775*2^1251605-1 is not prime. Res64: 81E3D5466891FF73 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:14:42] 837*2^1251605-1 is not prime. Res64: 4204BCA667F92B8D Time : 0.0 sec. user=mdettweiler [2013-08-23 17:14:42] 859*2^1251605-1 is not prime. Res64: 512CFB58A6B59701 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:21:03] 885*2^1251605-1 is not prime. Res64: FE6CD078D9298A1E Time : 0.0 sec. user=mdettweiler [2013-08-23 17:21:03] 635*2^1251606-1 is not prime. Res64: F880C363181EBF3A Time : 0.0 sec. user=mdettweiler [2013-08-23 17:27:21] 713*2^1251606-1 is not prime. Res64: D90170A3E866A11C Time : 0.0 sec. user=mdettweiler [2013-08-23 17:27:22] 921*2^1251606-1 is not prime. Res64: 8F950FDE2B113C68 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:28:58] 649*2^1251607-1 is not prime. Res64: 299896D71C86694B Time : 0.0 sec. user=mdettweiler [2013-08-23 17:28:58] 675*2^1251607-1 is not prime. Res64: F80E4135EBB588B1 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:34:55] 793*2^1251607-1 is not prime. Res64: ECAA2E6707256E1E Time : 0.0 sec. user=mdettweiler [2013-08-23 17:34:56] 819*2^1251607-1 is not prime. Res64: E3573C0E9FE5D8F0 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:41:22] 841*2^1251607-1 is not prime. Res64: 59BA53D6AA8DE15A Time : 0.0 sec. user=mdettweiler [2013-08-23 17:41:23] 873*2^1251607-1 is not prime. Res64: 57F7F92FD8D57F71 Time : 0.0 sec. user=juhehe [2013-08-23 17:44:14] 615*2^1251607-1 is not prime. Res64: C7EF3A887CB19C1C Time : 0.0 sec. user=mdettweiler [2013-08-23 17:47:36] 689*2^1251608-1 is not prime. Res64: 298A653C6A07D407 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:47:37] 713*2^1251608-1 is not prime. Res64: 08B107F73709BD98 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:49:15] 753*2^1251608-1 is not prime. Res64: C9169AE238E41549 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:49:16] 789*2^1251608-1 is not prime. Res64: 68228E7FB936BAED Time : 0.0 sec. user=mdettweiler [2013-08-23 17:55:12] 815*2^1251608-1 is not prime. Res64: B56189D5DF182F23 Time : 0.0 sec. user=mdettweiler [2013-08-23 17:55:12] 827*2^1251608-1 is not prime. Res64: 0C6C86DFC129AEE9 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:02:38] 879*2^1251608-1 is not prime. Res64: AD6CB594DA2B9C50 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:02:39] 963*2^1251608-1 is not prime. Res64: F2BF266F7D304202 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:07:51] 649*2^1251609-1 is not prime. Res64: 5AC6673A5F1606B3 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:07:52] 685*2^1251609-1 is not prime. Res64: 1216E7B96B6F02D6 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:09:29] 705*2^1251609-1 is not prime. Res64: 28FCA12D4CD1591A Time : 0.0 sec. user=mdettweiler [2013-08-23 18:09:30] 747*2^1251609-1 is not prime. Res64: 42C3BB34A071B081 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:15:21] 781*2^1251609-1 is not prime. Res64: C5733155FF8AA78B Time : 0.0 sec. user=mdettweiler [2013-08-23 18:15:21] 611*2^1251610-1 is not prime. Res64: D9180045D3A95FA5 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:23:06] 635*2^1251610-1 is not prime. Res64: 289E6F08422B34D3 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:23:06] 713*2^1251610-1 is not prime. Res64: EA8A748FB9F14529 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:28:07] 777*2^1251610-1 is not prime. Res64: 75C7483C81041AF3 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:28:08] 891*2^1251610-1 is not prime. Res64: A16B7AC0C1C509B7 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:30:45] 971*2^1251610-1 is not prime. Res64: D2981329C915B991 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:30:45] 693*2^1251611-1 is not prime. Res64: 50B1797F64831161 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:35:33] 735*2^1251611-1 is not prime. Res64: A3692E660CD193B9 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:35:33] 871*2^1251611-1 is not prime. Res64: 76CC9363E89773B5 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:44:19] 879*2^1251611-1 is not prime. Res64: C0B42AA943F17ECE Time : 0.0 sec. user=mdettweiler [2013-08-23 18:44:19] 945*2^1251611-1 is not prime. Res64: D869146954AF2699 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:48:31] 675*2^1251612-1 is not prime. Res64: 7E0642AB51FADF84 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:48:31] 689*2^1251612-1 is not prime. Res64: 51D869CDEB2A018C Time : 0.0 sec. user=mdettweiler [2013-08-23 18:51:08] 699*2^1251612-1 is not prime. Res64: DDDC4D6DA537FCB8 Time : 0.0 sec. user=mdettweiler [2013-08-23 18:51:09] 719*2^1251612-1 is not prime. Res64: 4117EA21DBC5F23D Time : 0.0 sec. user=mdettweiler [2013-08-23 18:55:57] 809*2^1251612-1 is not prime. Res64: DA638D5D9AB08CBF Time : 0.0 sec. user=mdettweiler [2013-08-23 18:55:57] 879*2^1251612-1 is not prime. Res64: E8AB58312E5435F5 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:06:46] 929*2^1251612-1 is not prime. Res64: 0D79CC1073CA00ED Time : 0.0 sec. user=mdettweiler [2013-08-23 19:06:48] 977*2^1251612-1 is not prime. Res64: C6674EF77D99AC3D Time : 0.0 sec. user=mdettweiler [2013-08-23 19:08:56] 727*2^1251613-1 is not prime. Res64: 6FE2DB3C310F48FF Time : 0.0 sec. user=mdettweiler [2013-08-23 19:08:57] 729*2^1251613-1 is not prime. Res64: C0533E75678C4681 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:12:26] 855*2^1251613-1 is not prime. Res64: F899314F88A47E99 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:12:28] 925*2^1251613-1 is not prime. Res64: 7C53B2B56A7ACEC4 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:18:06] 961*2^1251613-1 is not prime. Res64: F305139E401410A5 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:18:07] 987*2^1251613-1 is not prime. Res64: 1A7C31D7145979EC Time : 0.0 sec. user=mdettweiler [2013-08-23 19:27:25] 623*2^1251614-1 is not prime. Res64: 1BED7AEFC80B7D93 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:27:25] 645*2^1251614-1 is not prime. Res64: 9662D9EF9669A4E0 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:29:12] 683*2^1251614-1 is not prime. Res64: B7014420E7B3C974 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:29:12] 707*2^1251614-1 is not prime. Res64: 66F2547B553192E5 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:32:39] 717*2^1251614-1 is not prime. Res64: 9F0D209A47E3F482 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:32:40] 755*2^1251614-1 is not prime. Res64: 0D2D59E244F56281 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:38:27] 875*2^1251614-1 is not prime. Res64: B138937972F6171D Time : 0.0 sec. user=mdettweiler [2013-08-23 19:38:28] 885*2^1251614-1 is not prime. Res64: 7C011BDF17950765 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:49:25] 679*2^1251615-1 is not prime. Res64: 6A9A6E73F487B375 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:49:25] 691*2^1251615-1 is not prime. Res64: 1C10788D6A3D4B49 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:49:29] 945*2^1251614-1 is not prime. Res64: 8798940981008744 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:49:29] 965*2^1251614-1 is not prime. Res64: 32A9B9B2BE48FC30 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:52:50] 709*2^1251615-1 is not prime. Res64: 8F55C2B7B87C70E7 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:52:51] 751*2^1251615-1 is not prime. Res64: 73753F0688173FD7 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:59:37] 859*2^1251615-1 is not prime. Res64: 12D1F2339E1FF523 Time : 0.0 sec. user=mdettweiler [2013-08-23 19:59:38] 951*2^1251615-1 is not prime. Res64: A4A1E8AC44086D59 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:09:48] 707*2^1251616-1 is not prime. Res64: A8FF1222BA9D1C7C Time : 0.0 sec. user=mdettweiler [2013-08-23 20:09:50] 807*2^1251616-1 is not prime. Res64: 62F0154C23A92065 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:10:40] 963*2^1251615-1 is not prime. Res64: 2E0F8E3AD8B8C84D Time : 0.0 sec. user=mdettweiler [2013-08-23 20:10:41] 657*2^1251616-1 is not prime. Res64: A030EBCDC321A455 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:14:06] 917*2^1251616-1 is not prime. Res64: 99576CF0D506C523 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:14:07] 735*2^1251617-1 is not prime. Res64: B85992623A74EEED Time : 0.0 sec. user=mdettweiler [2013-08-23 20:20:45] 771*2^1251617-1 is not prime. Res64: DA46004B3B1A256E Time : 0.0 sec. user=mdettweiler [2013-08-23 20:20:45] 925*2^1251617-1 is not prime. Res64: C7885D38090BB520 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:30:59] 773*2^1251618-1 is not prime. Res64: 0469A0FE446B3805 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:31:00] 833*2^1251618-1 is not prime. Res64: E2D0BB2EA05EFE93 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:31:07] 967*2^1251617-1 is not prime. Res64: F33106DD642DED52 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:31:07] 737*2^1251618-1 is not prime. Res64: 6FECA3670DD7E873 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:35:17] 875*2^1251618-1 is not prime. Res64: 19CD22D1A5A3D589 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:35:18] 893*2^1251618-1 is not prime. Res64: C39874E18DC23D09 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:42:51] 933*2^1251618-1 is not prime. Res64: B7C410F447F0C87C Time : 0.0 sec. user=mdettweiler [2013-08-23 20:42:52] 977*2^1251618-1 is not prime. Res64: E3335369782A5287 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:51:11] 691*2^1251619-1 is not prime. Res64: 6F8A2361AB04FB10 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:51:12] 703*2^1251619-1 is not prime. Res64: 3457144F2A635760 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:51:16] 709*2^1251619-1 is not prime. Res64: 1FA9F77C4F4A676A Time : 0.0 sec. user=mdettweiler [2013-08-23 20:51:16] 885*2^1251619-1 is not prime. Res64: 5F20973D820A6977 Time : 0.0 sec. user=mdettweiler [2013-08-23 20:57:25] 919*2^1251619-1 is not prime. Res64: A6D7B8BC1572C2CF Time : 0.0 sec. user=mdettweiler [2013-08-23 20:57:26] 979*2^1251619-1 is not prime. Res64: 42E351D8C6CB0E35 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:03:04] 629*2^1251620-1 is not prime. Res64: 899FCF07DD9FEC64 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:03:05] 665*2^1251620-1 is not prime. Res64: 77F352DAB1B9D8DD Time : 0.0 sec. user=mdettweiler [2013-08-23 21:11:28] 625*2^1251621-1 is not prime. Res64: D85FEA50BABC16DC Time : 0.0 sec. user=mdettweiler [2013-08-23 21:11:29] 639*2^1251621-1 is not prime. Res64: 3CA9C79F6C421FD0 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:12:17] 843*2^1251620-1 is not prime. Res64: 0AB90FA9C6AC2D49 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:12:18] 897*2^1251620-1 is not prime. Res64: AAB1457EAFA43163 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:17:40] 685*2^1251621-1 is not prime. Res64: ACA1B650A6E3DDA5 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:17:40] 717*2^1251621-1 is not prime. Res64: 94155AA1A3903EFA Time : 0.0 sec. user=mdettweiler [2013-08-23 21:23:12] 849*2^1251621-1 is not prime. Res64: A1D17BBAC01D0EC0 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:23:12] 885*2^1251621-1 is not prime. Res64: 8E184D49E570A681 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:33:33] 975*2^1251621-1 is not prime. Res64: 5B341B247A6A3FAA Time : 0.0 sec. user=mdettweiler [2013-08-23 21:33:33] 681*2^1251622-1 is not prime. Res64: 81AC1DA3E5BA198F Time : 0.0 sec. user=mdettweiler [2013-08-23 21:33:42] 895*2^1251621-1 is not prime. Res64: 1B9F0790743851EF Time : 0.0 sec. user=mdettweiler [2013-08-23 21:33:43] 927*2^1251621-1 is not prime. Res64: 3286F8A3FE6F0306 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:38:01] 813*2^1251622-1 is not prime. Res64: 76481D7D7922DFE1 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:38:02] 863*2^1251622-1 is not prime. Res64: D10B22026F33D18E Time : 0.0 sec. user=mdettweiler [2013-08-23 21:44:33] 995*2^1251622-1 is not prime. Res64: FF32ADEB8A1D572A Time : 0.0 sec. user=mdettweiler [2013-08-23 21:44:33] 619*2^1251623-1 is not prime. Res64: 13DA312A5603761C Time : 0.0 sec. user=mdettweiler [2013-08-23 21:53:55] 703*2^1251623-1 is not prime. Res64: A8E009BAADD1BC28 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:53:56] 705*2^1251623-1 is not prime. Res64: BB107CDF2FFAD79B Time : 0.0 sec. user=mdettweiler [2013-08-23 21:54:07] 789*2^1251623-1 is not prime. Res64: 3E4B3B15AC8761E9 Time : 0.0 sec. user=mdettweiler [2013-08-23 21:54:08] 811*2^1251623-1 is not prime. Res64: DA29A22B61329474 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:00:22] 915*2^1251623-1 is not prime. Res64: 5045A829D0FDC57A Time : 0.0 sec. user=mdettweiler [2013-08-23 22:00:23] 943*2^1251623-1 is not prime. Res64: BB50744E445D0DBF Time : 0.0 sec. user=mdettweiler [2013-08-23 22:05:58] 963*2^1251623-1 is not prime. Res64: FA4CF76268D4C9C0 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:05:59] 629*2^1251624-1 is not prime. Res64: A17A8AD8DD6161B7 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:14:21] 665*2^1251624-1 is not prime. Res64: 97EAC03DBBDC633A Time : 0.0 sec. user=mdettweiler [2013-08-23 22:14:22] 725*2^1251624-1 is not prime. Res64: 6F1467607A563950 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:14:26] 803*2^1251624-1 is not prime. Res64: 3AA52FDB6752222D Time : 0.0 sec. user=mdettweiler [2013-08-23 22:14:27] 809*2^1251624-1 is not prime. Res64: 871801E21DA9A2DC Time : 0.0 sec. user=mdettweiler [2013-08-23 22:21:43] 899*2^1251624-1 is not prime. Res64: CE7462B30C5AEFB0 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:21:44] 619*2^1251625-1 is not prime. Res64: 5A291F208E8EE736 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:26:17] 645*2^1251625-1 is not prime. Res64: C7522D742BC73B7B Time : 0.0 sec. user=mdettweiler [2013-08-23 22:26:17] 667*2^1251625-1 is not prime. Res64: 8CFD6DF746CC3CE6 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:34:38] 751*2^1251625-1 is not prime. Res64: 3B43181C64E91D87 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:34:39] 775*2^1251625-1 is not prime. Res64: 7CD55C04352C94D8 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:34:44] 805*2^1251625-1 is not prime. Res64: CC42F1595172F107 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:34:45] 885*2^1251625-1 is not prime. Res64: BD327BD43D0D3F35 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:43:02] 889*2^1251625-1 is not prime. Res64: 68AC8F565FFEFB10 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:43:03] 939*2^1251625-1 is not prime. Res64: 1D917850F43C37FF Time : 0.0 sec. user=mdettweiler [2013-08-23 22:47:33] 999*2^1251625-1 is not prime. Res64: A0940DBD3141B2EC Time : 0.0 sec. user=mdettweiler [2013-08-23 22:47:34] 617*2^1251626-1 is not prime. Res64: 0CAF239736EB1E5F Time : 0.0 sec. user=mdettweiler [2013-08-23 22:54:59] 623*2^1251626-1 is not prime. Res64: 2BAA9BEEA12511ED Time : 0.0 sec. user=mdettweiler [2013-08-23 22:55:00] 677*2^1251626-1 is not prime. Res64: 730346E0B3E9F73F Time : 0.0 sec. user=mdettweiler [2013-08-23 22:55:08] 701*2^1251626-1 is not prime. Res64: 5AF2F75FF9D46547 Time : 0.0 sec. user=mdettweiler [2013-08-23 22:55:08] 783*2^1251626-1 is not prime. Res64: FFB52C04BD465F7C Time : 0.0 sec. user=mdettweiler [2013-08-23 23:04:23] 825*2^1251626-1 is not prime. Res64: 7CFC8B65D8FFF422 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:04:24] 923*2^1251626-1 is not prime. Res64: 3FC573EEC531FC5B Time : 0.0 sec. user=mdettweiler [2013-08-23 23:08:48] 981*2^1251626-1 is not prime. Res64: 9ECC3FB3C1A42879 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:08:48] 619*2^1251627-1 is not prime. Res64: 966A9CE89FAE93A0 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:15:17] 685*2^1251627-1 is not prime. Res64: 717EBCFDE5A69652 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:15:18] 741*2^1251627-1 is not prime. Res64: AAB975A405589CE7 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:15:26] 781*2^1251627-1 is not prime. Res64: 3D4E843FFA8482DC Time : 0.0 sec. user=mdettweiler [2013-08-23 23:15:27] 795*2^1251627-1 is not prime. Res64: 334D4DFEBFB35FCB Time : 0.0 sec. user=mdettweiler [2013-08-23 23:25:40] 963*2^1251627-1 is not prime. Res64: 6312AD2B909DFEBA Time : 0.0 sec. user=mdettweiler [2013-08-23 23:25:41] 617*2^1251628-1 is not prime. Res64: 5124F56960DF1D2F Time : 0.0 sec. user=mdettweiler [2013-08-23 23:29:11] 663*2^1251628-1 is not prime. Res64: F641E933892C61AF Time : 0.0 sec. user=mdettweiler [2013-08-23 23:29:11] 665*2^1251628-1 is not prime. Res64: 20E800C3483BF7B2 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:35:44] 743*2^1251628-1 is not prime. Res64: 20854C831A8BE711 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:35:44] 843*2^1251628-1 is not prime. Res64: C3301593B2611134 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:35:59] 747*2^1251629-1 is not prime. Res64: 798EF963792011C6 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:36:00] 771*2^1251629-1 is not prime. Res64: 3FD9082200DAE4DF Time : 0.0 sec. user=mdettweiler [2013-08-23 23:48:01] 955*2^1251629-1 is not prime. Res64: 3140C335ED6CC06C Time : 0.0 sec. user=mdettweiler [2013-08-23 23:48:01] 957*2^1251629-1 is not prime. Res64: 8AFC629817ED2F14 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:49:40] 717*2^1251630-1 is not prime. Res64: 66E40DCAF3669D50 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:49:41] 773*2^1251630-1 is not prime. Res64: F75ED6FD2D812FC9 Time : 0.0 sec. user=mdettweiler [2013-08-23 23:56:00] 825*2^1251630-1 is not prime. Res64: 10D1BC8F0D0A2C8E Time : 0.0 sec. user=mdettweiler [2013-08-23 23:56:01] 873*2^1251630-1 is not prime. Res64: 88D3A0EB3604198E Time : 0.0 sec. user=mdettweiler [2013-08-23 23:56:17] 771*2^1251631-1 is not prime. Res64: 32095BEEADDA3A3B Time : 0.0 sec. user=mdettweiler [2013-08-23 23:56:18] 843*2^1251631-1 is not prime. Res64: 816AEED02731F90E Time : 0.0 sec.