user=mdettweiler [2013-06-23 00:02:16] 819*2^1247173-1 is not prime. Res64: F107FB70F284D8D3 Time : 0.0 sec. user=mdettweiler [2013-06-23 00:20:54] 957*2^1247173-1 is not prime. Res64: 51EFCF507958FCAB Time : 0.0 sec. user=mdettweiler [2013-06-23 00:20:55] 987*2^1247173-1 is not prime. Res64: 0B34399C69D5272F Time : 0.0 sec. user=mdettweiler [2013-06-23 00:38:24] 615*2^1247174-1 is not prime. Res64: E50DFB056973318C Time : 0.0 sec. user=mdettweiler [2013-06-23 00:38:41] 657*2^1247174-1 is not prime. Res64: 4E341D916280CCF4 Time : 0.0 sec. user=mdettweiler [2013-06-23 00:40:28] 851*2^1247174-1 is not prime. Res64: EAEF3A063FE77AFE Time : 0.0 sec. user=mdettweiler [2013-06-23 00:40:28] 861*2^1247174-1 is not prime. Res64: 2C930B84D7B56495 Time : 0.0 sec. user=mdettweiler [2013-06-23 00:58:15] 921*2^1247174-1 is not prime. Res64: 8ADB69756FD4B5B8 Time : 0.0 sec. user=mdettweiler [2013-06-23 00:58:16] 953*2^1247174-1 is not prime. Res64: D0609102BDD46923 Time : 0.0 sec. user=mdettweiler [2013-06-23 01:16:12] 651*2^1247175-1 is not prime. Res64: 5568F26F359C378A Time : 0.0 sec. user=mdettweiler [2013-06-23 01:16:13] 709*2^1247175-1 is not prime. Res64: 45C36B5EEE4FD576 Time : 0.0 sec. user=vaughan [2013-06-23 01:21:14] 897*2^1247174-1 is not prime. Res64: A72A42628CEE9CBA Time : 0.0 sec. user=mdettweiler [2013-06-23 01:27:00] 741*2^1247175-1 is not prime. Res64: 1FA3D3F421AA70CC Time : 0.0 sec. user=mdettweiler [2013-06-23 01:27:01] 829*2^1247175-1 is not prime. Res64: 1B24AE2B3799C494 Time : 0.0 sec. user=mdettweiler [2013-06-23 01:33:40] 885*2^1247175-1 is not prime. Res64: AEB3812BAAB11AD1 Time : 0.0 sec. user=mdettweiler [2013-06-23 01:33:41] 895*2^1247175-1 is not prime. Res64: 0DBA09D006E6BE8B Time : 0.0 sec. user=mdettweiler [2013-06-23 01:44:54] 623*2^1247176-1 is not prime. Res64: F61679B2F627CC61 Time : 0.0 sec. user=mdettweiler [2013-06-23 01:44:54] 653*2^1247176-1 is not prime. Res64: 3F21CA26C0E7F6DD Time : 0.0 sec. user=mdettweiler [2013-06-23 01:51:25] 657*2^1247176-1 is not prime. Res64: DE67E2D85D3608A9 Time : 0.0 sec. user=mdettweiler [2013-06-23 01:51:26] 717*2^1247176-1 is not prime. Res64: D170CF8FB66F5945 Time : 0.0 sec. user=mdettweiler [2013-06-23 02:02:39] 825*2^1247176-1 is not prime. Res64: 2AD85FA1C718D695 Time : 0.0 sec. user=vaughan [2013-06-23 02:04:28] 955*2^1247175-1 is not prime. Res64: 91E721C5D9606678 Time : 0.0 sec. user=mdettweiler [2013-06-23 02:10:47] 969*2^1247176-1 is not prime. Res64: 686C879D9157273E Time : 0.0 sec. user=mdettweiler [2013-06-23 02:36:20] 983*2^1247176-1 is not prime. Res64: F7849349635A5B57 Time : 0.0 sec. user=mdettweiler [2013-06-23 02:41:46] 855*2^1247176-1 is not prime. Res64: 8859A1E805398D1B Time : 0.0 sec. user=mdettweiler [2013-06-23 02:59:35] 601*2^1247177-1 is not prime. Res64: 7D8A40D419D317B4 Time : 0.0 sec. user=mdettweiler [2013-06-23 02:59:35] 715*2^1247177-1 is not prime. Res64: 93C8A7CF9ABA6F19 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:17:04] 611*2^1247178-1 is not prime. Res64: 8E4439FB017050A7 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:17:05] 663*2^1247178-1 is not prime. Res64: 53FEED635A036323 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:24:09] 861*2^1247178-1 is not prime. Res64: 79D0BDD8F9D30714 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:24:09] 893*2^1247178-1 is not prime. Res64: F473185B384CC29D Time : 0.0 sec. user=vaughan [2013-06-23 03:25:50] 985*2^1247177-1 is not prime. Res64: 654E23AEDF8DD268 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:34:32] 905*2^1247178-1 is not prime. Res64: 702206D16FBB1507 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:34:34] 619*2^1247179-1 is not prime. Res64: 4FC047B4F106BE02 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:41:47] 631*2^1247179-1 is not prime. Res64: 5E1BBD9EB843BEBB Time : 0.0 sec. user=mdettweiler [2013-06-23 03:52:38] 843*2^1247179-1 is not prime. Res64: 48A90423708BBBA1 Time : 0.0 sec. user=mdettweiler [2013-06-23 03:52:39] 885*2^1247179-1 is not prime. Res64: 6F2E6E7B5567832B Time : 0.0 sec. user=vaughan [2013-06-23 04:03:57] 741*2^1247179-1 is not prime. Res64: BACFA8ECE39BABC5 Time : 0.0 sec. user=mdettweiler [2013-06-23 04:10:34] 609*2^1247180-1 is not prime. Res64: A2E98C2FFAC464D4 Time : 0.0 sec. user=mdettweiler [2013-06-23 04:10:36] 663*2^1247180-1 is not prime. Res64: A4741BDE48F52816 Time : 0.0 sec. user=mdettweiler [2013-06-23 04:19:50] 633*2^1247179-1 is not prime. Res64: 28766669E9480F92 Time : 0.0 sec. user=mdettweiler [2013-06-23 04:28:52] 785*2^1247180-1 is not prime. Res64: ED247B9C74E07DD7 Time : 0.0 sec. user=vaughan [2013-06-23 04:42:17] 717*2^1247180-1 is not prime. Res64: 1B499166BF4704A7 Time : 0.0 sec. user=vaughan [2013-06-23 05:25:46] 935*2^1247180-1 is not prime. Res64: B387D0F6E7EB7765 Time : 0.0 sec. user=vaughan [2013-06-23 06:42:20] 685*2^1247181-1 is not prime. Res64: 7774EAE0B9EF5573 Time : 0.0 sec. user=mdettweiler [2013-06-23 06:46:13] 845*2^1247180-1 is not prime. Res64: 6FA6EA4EBFCE2259 Time : 0.0 sec. user=vaughan [2013-06-23 07:20:52] 777*2^1247181-1 is not prime. Res64: 92794F92D0BD6A65 Time : 0.0 sec. user=mdettweiler [2013-06-23 07:30:03] 847*2^1247181-1 is not prime. Res64: 235D143F9F458777 Time : 0.0 sec. user=mdettweiler [2013-06-23 07:30:04] 969*2^1247181-1 is not prime. Res64: 5E871F1A01C53736 Time : 0.0 sec. user=mdettweiler [2013-06-23 07:48:44] 999*2^1247181-1 is not prime. Res64: 38B0024053361682 Time : 0.0 sec. user=mdettweiler [2013-06-23 07:48:45] 617*2^1247182-1 is not prime. Res64: 403882373A88E36E Time : 0.0 sec. user=mdettweiler [2013-06-23 08:06:32] 681*2^1247182-1 is not prime. Res64: CF326ED0D20515D1 Time : 0.0 sec. user=mdettweiler [2013-06-23 08:06:33] 813*2^1247182-1 is not prime. Res64: 4433446AEFB5583C Time : 0.0 sec. user=mdettweiler [2013-06-23 08:24:33] 951*2^1247182-1 is not prime. Res64: 7C81AA3D7D486B9F Time : 0.0 sec. user=mdettweiler [2013-06-23 08:24:34] 965*2^1247182-1 is not prime. Res64: 013DCE1D77B32A77 Time : 0.0 sec. user=vaughan [2013-06-23 08:37:32] 881*2^1247182-1 is not prime. Res64: 2273A3E61E4937E3 Time : 0.0 sec. user=mdettweiler [2013-06-23 08:41:57] 603*2^1247183-1 is not prime. Res64: D15A35B15C3E2CFD Time : 0.0 sec. user=mdettweiler [2013-06-23 08:41:58] 669*2^1247183-1 is not prime. Res64: 1AE3B62D0BBF23F5 Time : 0.0 sec. user=mdettweiler [2013-06-23 08:59:25] 685*2^1247183-1 is not prime. Res64: CBEF189EAA9DC8C1 Time : 0.0 sec. user=mdettweiler [2013-06-23 08:59:26] 715*2^1247183-1 is not prime. Res64: D45877FE608F4FB0 Time : 0.0 sec. user=mdettweiler [2013-06-23 09:16:59] 729*2^1247183-1 is not prime. Res64: 47DED939230E1A41 Time : 0.0 sec. user=mdettweiler [2013-06-23 09:43:21] 811*2^1247183-1 is not prime. Res64: CA70D9E953C8FA27 Time : 0.0 sec. user=vaughan [2013-06-23 09:58:56] 885*2^1247183-1 is not prime. Res64: 5D17D5478AEA2A49 Time : 0.0 sec. user=mdettweiler [2013-06-23 10:00:51] 913*2^1247183-1 is not prime. Res64: 161EC8B8E94654C7 Time : 0.0 sec. user=mdettweiler [2013-06-23 10:27:30] 939*2^1247183-1 is not prime. Res64: 6F77A0FCD416EB56 Time : 0.0 sec. user=vaughan [2013-06-23 10:37:31] 689*2^1247184-1 is not prime. Res64: 02DDF4E37D53C662 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:07:12] 645*2^1247185-1 is not prime. Res64: 3610692759467059 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:07:12] 671*2^1247186-1 is not prime. Res64: 2316A5FF6E5F8D4C Time : 0.0 sec. user=vaughan [2013-06-23 11:15:49] 607*2^1247185-1 is not prime. Res64: C73DCDF7F6C6C7B5 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:24:28] 701*2^1247186-1 is not prime. Res64: BCA3B031BE180E58 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:24:29] 705*2^1247186-1 is not prime. Res64: 2FA925590C94FBF7 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:41:52] 831*2^1247186-1 is not prime. Res64: 0F244B1F02BAE049 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:41:52] 903*2^1247186-1 is not prime. Res64: 4EAAA766349F6315 Time : 0.0 sec. user=vaughan [2013-06-23 11:53:58] 743*2^1247186-1 is not prime. Res64: EB20062AC50E351E Time : 0.0 sec. user=mdettweiler [2013-06-23 11:59:13] 615*2^1247187-1 is not prime. Res64: D908AA7CCE8E5AE8 Time : 0.0 sec. user=mdettweiler [2013-06-23 11:59:14] 699*2^1247187-1 is not prime. Res64: 0FAFDFF076AB895C Time : 0.0 sec. user=mdettweiler [2013-06-23 12:17:05] 751*2^1247187-1 is not prime. Res64: E315A896094540CB Time : 0.0 sec. user=mdettweiler [2013-06-23 12:17:06] 963*2^1247187-1 is not prime. Res64: D335E328F2B1C7E1 Time : 0.0 sec. user=vaughan [2013-06-23 12:32:15] 711*2^1247187-1 is not prime. Res64: B4613E115C48378B Time : 0.0 sec. user=mdettweiler [2013-06-23 12:34:23] 665*2^1247188-1 is not prime. Res64: 31E0259A595F921E Time : 0.0 sec. user=mdettweiler [2013-06-23 12:34:24] 699*2^1247188-1 is not prime. Res64: E585812E73FA4D1C Time : 0.0 sec. user=mdettweiler [2013-06-23 12:51:33] 897*2^1247188-1 is not prime. Res64: 548458A86C472F7C Time : 0.0 sec. user=vaughan [2013-06-23 13:11:05] 875*2^1247188-1 is not prime. Res64: 8B8899BA6A9960DE Time : 0.0 sec. user=mdettweiler [2013-06-23 13:28:39] 675*2^1247189-1 is not prime. Res64: 48F914C26C3BE853 Time : 0.0 sec. user=mdettweiler [2013-06-23 14:21:43] 741*2^1247189-1 is not prime. Res64: 17E36E4C036CE391 Time : 0.0 sec. user=vaughan [2013-06-23 14:27:13] 727*2^1247189-1 is not prime. Res64: 1C0F4E9DC75671A1 Time : 0.0 sec. user=mdettweiler [2013-06-23 14:53:33] 787*2^1247189-1 is not prime. Res64: E8C04AAF306F70CD Time : 0.0 sec. user=mdettweiler [2013-06-23 15:10:40] 949*2^1247189-1 is not prime. Res64: C8AE0B868F191936 Time : 0.0 sec. user=mdettweiler [2013-06-23 15:10:41] 957*2^1247189-1 is not prime. Res64: 25BE65C3DE83AB95 Time : 0.0 sec. user=mdettweiler [2013-06-23 15:27:57] 615*2^1247190-1 is not prime. Res64: E28CC2B8814E2BBD Time : 0.0 sec. user=mdettweiler [2013-06-23 15:27:58] 627*2^1247190-1 is not prime. Res64: 1536ED625EA20D67 Time : 0.0 sec. user=mdettweiler [2013-06-23 15:45:15] 671*2^1247190-1 is not prime. Res64: 986EAF379B9BA0FA Time : 0.0 sec. user=mdettweiler [2013-06-23 15:45:15] 801*2^1247190-1 is not prime. Res64: 540FF54EDA7B1B9D Time : 0.0 sec. user=vaughan [2013-06-23 15:48:45] 979*2^1247189-1 is not prime. Res64: 2EE12BED09003A08 Time : 0.0 sec. user=mdettweiler [2013-06-23 16:02:35] 951*2^1247190-1 is not prime. Res64: 003A842F96E3F69D Time : 0.0 sec. user=mdettweiler [2013-06-23 16:21:17] 603*2^1247191-1 is not prime. Res64: 1AF2B1241260FFF9 Time : 0.0 sec. user=vaughan [2013-06-23 16:26:53] 615*2^1247191-1 is not prime. Res64: EEB4C72284B25E39 Time : 0.0 sec. user=mdettweiler [2013-06-23 16:39:15] 709*2^1247191-1 is not prime. Res64: 364DFB36E5F87BEF Time : 0.0 sec. user=vaughan [2013-06-23 17:09:51] 883*2^1247191-1 is not prime. Res64: DECB38073B74CAD5 Time : 0.0 sec. user=mdettweiler [2013-06-23 17:16:37] 871*2^1247191-1 is not prime. Res64: E76F69EE091E7886 Time : 0.0 sec. user=mdettweiler [2013-06-23 17:35:20] 973*2^1247191-1 is not prime. Res64: 7765E160A4D943F5 Time : 0.0 sec. user=mdettweiler [2013-06-23 17:35:20] 975*2^1247191-1 is not prime. Res64: 85AE892DB1132747 Time : 0.0 sec. user=vaughan [2013-06-23 17:52:50] 939*2^1247191-1 is not prime. Res64: C6DF5B494F6766CD Time : 0.0 sec. user=mdettweiler [2013-06-23 17:52:50] 617*2^1247192-1 is not prime. Res64: E7C21B2E4BF6BC90 Time : 0.0 sec. user=mdettweiler [2013-06-23 18:27:59] 635*2^1247192-1 is not prime. Res64: A8D2FC37B315F30D Time : 0.0 sec. user=vaughan [2013-06-23 18:31:13] 827*2^1247192-1 is not prime. Res64: 58D53ACA6C0A2D5C Time : 0.0 sec. user=mdettweiler [2013-06-23 19:12:42] 959*2^1247192-1 is not prime. Res64: D4E01B2851E964C9 Time : 0.0 sec. user=mdettweiler [2013-06-23 19:12:43] 649*2^1247193-1 is not prime. Res64: 89F598656D5A4975 Time : 0.0 sec. user=mdettweiler [2013-06-23 19:30:12] 657*2^1247193-1 is not prime. Res64: 53208E677BF39E2D Time : 0.0 sec. user=vaughan [2013-06-23 19:48:12] 833*2^1247192-1 is not prime. Res64: 7B2D777E18502406 Time : 0.0 sec. user=mdettweiler [2013-06-23 19:53:07] 705*2^1247193-1 is not prime. Res64: D0A44DF0A99E2DF9 Time : 0.0 sec. user=vaughan [2013-06-23 20:26:29] 807*2^1247193-1 is not prime. Res64: DD683E7C812B134F Time : 0.0 sec. user=mdettweiler [2013-06-23 20:39:32] 817*2^1247193-1 is not prime. Res64: 1992BF9D27D37F02 Time : 0.0 sec. user=vaughan [2013-06-23 21:05:16] 623*2^1247194-1 is not prime. Res64: C0B864DB01BEAD3E Time : 0.0 sec. user=mdettweiler [2013-06-23 22:09:46] 829*2^1247193-1 is not prime. Res64: 79DA43D591496793 Time : 0.0 sec. user=vaughan [2013-06-23 22:21:19] 677*2^1247194-1 is not prime. Res64: 636AF655AAAB926A Time : 0.0 sec. user=mdettweiler [2013-06-23 22:27:15] 717*2^1247194-1 is not prime. Res64: E27FB884080E6D97 Time : 0.0 sec. user=mdettweiler [2013-06-23 22:27:15] 827*2^1247194-1 is not prime. Res64: F0BE4EF871859660 Time : 0.0 sec. user=mdettweiler [2013-06-23 22:44:34] 905*2^1247194-1 is not prime. Res64: D5A9E08F7CDF50D1 Time : 0.0 sec. user=mdettweiler [2013-06-23 22:44:34] 643*2^1247195-1 is not prime. Res64: 7838735D85A384FF Time : 0.0 sec. user=mdettweiler [2013-06-23 23:01:51] 673*2^1247195-1 is not prime. Res64: 21BE8F46BDAF4714 Time : 0.0 sec. user=mdettweiler [2013-06-23 23:02:09] 705*2^1247195-1 is not prime. Res64: 748F66EE4560A341 Time : 0.0 sec. user=vaughan [2013-06-23 23:04:19] 885*2^1247194-1 is not prime. Res64: 7FE4FCB19BD00357 Time : 0.0 sec. user=vaughan [2013-06-23 23:42:44] 741*2^1247195-1 is not prime. Res64: 5DEB325A2C6B931F Time : 0.0 sec. user=mdettweiler [2013-06-23 23:55:36] 759*2^1247195-1 is not prime. Res64: 1F583BAF783CD460 Time : 0.0 sec.