user=mdettweiler [2012-10-22 00:06:13] 963*2^1232963-1 is not prime. Res64: BA400713D01C075C Time : 0.0 sec. user=mdettweiler [2012-10-22 00:08:20] 767*2^1232964-1 is not prime. Res64: 7E505C8A3AB42A4C Time : 0.0 sec. user=vaughan [2012-10-22 00:31:04] 909*2^1232964-1 is not prime. Res64: C4FF9A9E30E55D92 Time : 0.0 sec. user=mdettweiler [2012-10-22 00:32:53] 857*2^1232964-1 is not prime. Res64: E17EFAB56B136D51 Time : 0.0 sec. user=mdettweiler [2012-10-22 00:53:47] 877*2^1232965-1 is not prime. Res64: 74A11E8778C8C89A Time : 0.0 sec. user=mdettweiler [2012-10-22 00:53:47] 919*2^1232965-1 is not prime. Res64: 204453780A974528 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:08:41] 939*2^1232965-1 is not prime. Res64: 89D0D3DED3CE54AD Time : 0.0 sec. user=vaughan [2012-10-22 01:08:47] 625*2^1232965-1 is not prime. Res64: 375A4FF496CE4A03 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:14:37] 675*2^1232966-1 is not prime. Res64: 088705D977D17DBE Time : 0.0 sec. user=mdettweiler [2012-10-22 01:14:40] 833*2^1232966-1 is not prime. Res64: 96CD1E86B30B4B33 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:35:48] 957*2^1232966-1 is not prime. Res64: 272B12C055F76C17 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:35:49] 1001*2^1232966-1 is not prime. Res64: D4CB1FF3879CD346 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:39:06] 985*2^1232965-1 is not prime. Res64: 50A4C097B3A73B38 Time : 0.0 sec. user=vaughan [2012-10-22 01:46:51] 867*2^1232966-1 is not prime. Res64: 62844B1A59762CD8 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:56:34] 709*2^1232967-1 is not prime. Res64: 129E2B66F1EF805B Time : 0.0 sec. user=mdettweiler [2012-10-22 01:56:34] 711*2^1232967-1 is not prime. Res64: B6E98F24CDBAAD4C Time : 0.0 sec. user=mdettweiler [2012-10-22 01:59:51] 825*2^1232967-1 is not prime. Res64: 8DB12AD86673EA28 Time : 0.0 sec. user=mdettweiler [2012-10-22 01:59:52] 901*2^1232967-1 is not prime. Res64: 2E17C20AC4D73888 Time : 0.0 sec. user=mdettweiler [2012-10-22 02:17:19] 657*2^1232968-1 is not prime. Res64: 0B889D3E5AC6ED72 Time : 0.0 sec. user=mdettweiler [2012-10-22 02:17:22] 687*2^1232968-1 is not prime. Res64: E02AF356D5D9CE9C Time : 0.0 sec. user=mdettweiler [2012-10-22 02:20:38] 773*2^1232968-1 is not prime. Res64: E637D2D106A96DB8 Time : 0.0 sec. user=mdettweiler [2012-10-22 02:20:39] 675*2^1232969-1 is not prime. Res64: EA7FFE1C4248CFD1 Time : 0.0 sec. user=vaughan [2012-10-22 02:24:40] 949*2^1232967-1 is not prime. Res64: 9C1254670DC3FA83 Time : 0.0 sec. user=mdettweiler [2012-10-22 02:38:40] 735*2^1232969-1 is not prime. Res64: F215C0C1AF5ACA67 Time : 0.0 sec. user=mdettweiler [2012-10-22 02:41:26] 831*2^1232969-1 is not prime. Res64: 6572BB2ADC7C8D54 Time : 0.0 sec. user=mdettweiler [2012-10-22 02:41:46] 987*2^1232969-1 is not prime. Res64: 13F696191819BA6C Time : 0.0 sec. user=vaughan [2012-10-22 03:02:24] 611*2^1232970-1 is not prime. Res64: E04692E6B0D050BB Time : 0.0 sec. user=mdettweiler [2012-10-22 03:11:21] 775*2^1232969-1 is not prime. Res64: 482603ECF3D85F91 Time : 0.0 sec. user=mdettweiler [2012-10-22 03:32:28] 803*2^1232970-1 is not prime. Res64: 021A108C8AE6900C Time : 0.0 sec. user=mdettweiler [2012-10-22 03:32:36] 843*2^1232970-1 is not prime. Res64: D0EFD790DD0F3C45 Time : 0.0 sec. user=mdettweiler [2012-10-22 03:35:14] 851*2^1232970-1 is not prime. Res64: 9762731FCDB2A9B4 Time : 0.0 sec. user=mdettweiler [2012-10-22 03:35:16] 891*2^1232970-1 is not prime. Res64: A969EA7D41CE41D8 Time : 0.0 sec. user=vaughan [2012-10-22 03:40:29] 747*2^1232970-1 is not prime. Res64: 98E75A5C63F9435C Time : 0.0 sec. user=mdettweiler [2012-10-22 03:54:06] 915*2^1232970-1 is not prime. Res64: 2A424BC144F034D0 Time : 0.0 sec. user=mdettweiler [2012-10-22 03:56:12] 941*2^1232970-1 is not prime. Res64: 549437CC0AB55028 Time : 0.0 sec. user=vaughan [2012-10-22 04:18:22] 631*2^1232971-1 is not prime. Res64: 4FA55455830C782E Time : 0.0 sec. user=mdettweiler [2012-10-22 04:22:21] 927*2^1232970-1 is not prime. Res64: DEA1011927081898 Time : 0.0 sec. user=mdettweiler [2012-10-22 04:43:14] 645*2^1232971-1 is not prime. Res64: EFA5F51AC539E4F3 Time : 0.0 sec. user=mdettweiler [2012-10-22 04:43:15] 673*2^1232971-1 is not prime. Res64: A6604603B8B291C8 Time : 0.0 sec. user=mdettweiler [2012-10-22 04:48:53] 945*2^1232970-1 is not prime. Res64: ABB99DE3F5EC7470 Time : 0.0 sec. user=mdettweiler [2012-10-22 05:04:05] 709*2^1232971-1 is not prime. Res64: 5FEE1C7382AB227F Time : 0.0 sec. user=mdettweiler [2012-10-22 05:04:07] 735*2^1232971-1 is not prime. Res64: 91D44338AC290840 Time : 0.0 sec. user=mdettweiler [2012-10-22 05:09:53] 769*2^1232971-1 is not prime. Res64: E3028C2A74987DE5 Time : 0.0 sec. user=mdettweiler [2012-10-22 05:09:54] 805*2^1232971-1 is not prime. Res64: 59026451F851FB70 Time : 0.0 sec. user=mdettweiler [2012-10-22 05:24:53] 859*2^1232971-1 is not prime. Res64: AA818759E36EA121 Time : 0.0 sec. user=mdettweiler [2012-10-22 05:24:54] 873*2^1232971-1 is not prime. Res64: B812ECD7328A9EF0 Time : 0.0 sec. user=vaughan [2012-10-22 05:30:31] 843*2^1232971-1 is not prime. Res64: 9085CF69ADA4D45F Time : 0.0 sec. user=mdettweiler [2012-10-22 05:30:52] 901*2^1232971-1 is not prime. Res64: 3A6BACA73C43D9B5 Time : 0.0 sec. user=mdettweiler [2012-10-22 05:45:54] 837*2^1232972-1 is not prime. Res64: D7FE44A8694043BF Time : 0.0 sec. user=mdettweiler [2012-10-22 05:45:55] 885*2^1232972-1 is not prime. Res64: CBA5CB109D4BA51D Time : 0.0 sec. user=mdettweiler [2012-10-22 05:59:29] 717*2^1232972-1 is not prime. Res64: 800973AE71A8A5B6 Time : 0.0 sec. user=mdettweiler [2012-10-22 06:07:03] 945*2^1232972-1 is not prime. Res64: 5EDAC66E0EFA8EE5 Time : 0.0 sec. user=mdettweiler [2012-10-22 06:20:14] 609*2^1232973-1 is not prime. Res64: 4584F91AD74555AC Time : 0.0 sec. user=mdettweiler [2012-10-22 06:20:15] 649*2^1232973-1 is not prime. Res64: 82BE7C32CCE8A5FB Time : 0.0 sec. user=mdettweiler [2012-10-22 06:41:24] 787*2^1232973-1 is not prime. Res64: FFFEB4CA155D5699 Time : 0.0 sec. user=mdettweiler [2012-10-22 06:41:25] 955*2^1232973-1 is not prime. Res64: CCD76A93EEDC2C04 Time : 0.0 sec. user=vaughan [2012-10-22 06:43:42] 745*2^1232973-1 is not prime. Res64: 98F363BF88BB7503 Time : 0.0 sec. user=mdettweiler [2012-10-22 06:45:32] 963*2^1232972-1 is not prime. Res64: BA0EC1C7B67456B3 Time : 0.0 sec. user=mdettweiler [2012-10-22 07:02:13] 741*2^1232974-1 is not prime. Res64: CDF1F12CFF66008C Time : 0.0 sec. user=mdettweiler [2012-10-22 07:02:14] 821*2^1232974-1 is not prime. Res64: D33278E313966120 Time : 0.0 sec. user=mdettweiler [2012-10-22 07:06:26] 885*2^1232974-1 is not prime. Res64: 3BC4D1500E480875 Time : 0.0 sec. user=vaughan [2012-10-22 07:21:38] 857*2^1232974-1 is not prime. Res64: 4D75A8AC33EC8E8B Time : 0.0 sec. user=mdettweiler [2012-10-22 07:23:21] 633*2^1232975-1 is not prime. Res64: 699EB229BD57307E Time : 0.0 sec. user=mdettweiler [2012-10-22 07:23:21] 645*2^1232975-1 is not prime. Res64: F22402306E6B6F9A Time : 0.0 sec. user=mdettweiler [2012-10-22 07:44:26] 663*2^1232975-1 is not prime. Res64: 3A1928DB07CF8D9C Time : 0.0 sec. user=mdettweiler [2012-10-22 07:44:27] 669*2^1232975-1 is not prime. Res64: E4BED8A536CBEB51 Time : 0.0 sec. user=mdettweiler [2012-10-22 07:57:34] 601*2^1232975-1 is not prime. Res64: D32BEAAC2BE5E96C Time : 0.0 sec. user=mdettweiler [2012-10-22 08:05:23] 693*2^1232975-1 is not prime. Res64: 9CFA77609901578D Time : 0.0 sec. user=mdettweiler [2012-10-22 08:18:19] 979*2^1232975-1 is not prime. Res64: 368458197D5AC8C0 Time : 0.0 sec. user=mdettweiler [2012-10-22 08:18:20] 633*2^1232976-1 is not prime. Res64: B61966A74D5889A5 Time : 0.0 sec. user=mdettweiler [2012-10-22 08:25:08] 909*2^1232975-1 is not prime. Res64: 1314FC2AACC7E83E Time : 0.0 sec. user=vaughan [2012-10-22 08:33:21] 973*2^1232975-1 is not prime. Res64: A729E3B76EAE51F8 Time : 0.0 sec. user=mdettweiler [2012-10-22 08:39:20] 735*2^1232976-1 is not prime. Res64: 60343FF0D38E0929 Time : 0.0 sec. user=mdettweiler [2012-10-22 08:39:21] 759*2^1232976-1 is not prime. Res64: C041F60E2E16BFD1 Time : 0.0 sec. user=mdettweiler [2012-10-22 08:45:53] 789*2^1232976-1 is not prime. Res64: 885CDA2A5B4D5DF3 Time : 0.0 sec. user=mdettweiler [2012-10-22 08:45:54] 849*2^1232976-1 is not prime. Res64: 166C087B536EBE6B Time : 0.0 sec. user=mdettweiler [2012-10-22 09:00:09] 875*2^1232976-1 is not prime. Res64: 0DB9D4B641E8F247 Time : 0.0 sec. user=mdettweiler [2012-10-22 09:00:11] 983*2^1232976-1 is not prime. Res64: 603B315BB16C9833 Time : 0.0 sec. user=mdettweiler [2012-10-22 09:06:40] 801*2^1232977-1 is not prime. Res64: 8B15BAA2AE8E7860 Time : 0.0 sec. user=mdettweiler [2012-10-22 09:06:41] 895*2^1232977-1 is not prime. Res64: 0A9CDE4242C9C4D7 Time : 0.0 sec. user=vaughan [2012-10-22 09:11:05] 873*2^1232976-1 is not prime. Res64: 14662331E6B4CB86 Time : 0.0 sec. user=mdettweiler [2012-10-22 09:21:24] 937*2^1232977-1 is not prime. Res64: 46B3C3FF29E996AB Time : 0.0 sec. user=mdettweiler [2012-10-22 09:21:25] 603*2^1232978-1 is not prime. Res64: BAF22E5DFA1CA7EC Time : 0.0 sec. user=mdettweiler [2012-10-22 09:27:41] 617*2^1232978-1 is not prime. Res64: 08D20CD099C42C2C Time : 0.0 sec. user=mdettweiler [2012-10-22 09:27:58] 813*2^1232978-1 is not prime. Res64: 1215A1312B82E791 Time : 0.0 sec. user=mdettweiler [2012-10-22 09:42:14] 971*2^1232978-1 is not prime. Res64: F4CC7B35F81319E0 Time : 0.0 sec. user=mdettweiler [2012-10-22 09:42:15] 801*2^1232979-1 is not prime. Res64: BF0FB4AF65055842 Time : 0.0 sec. user=vaughan [2012-10-22 09:48:48] 935*2^1232978-1 is not prime. Res64: D5FC7CB61CB0B0C4 Time : 0.0 sec. user=mdettweiler [2012-10-22 10:02:59] 919*2^1232979-1 is not prime. Res64: 467E33A19F91BAEF Time : 0.0 sec. user=mdettweiler [2012-10-22 10:21:49] 635*2^1232980-1 is not prime. Res64: 6F38CCD7BE2179FB Time : 0.0 sec. user=mdettweiler [2012-10-22 10:21:50] 675*2^1232980-1 is not prime. Res64: 34652D97ABCB698A Time : 0.0 sec. user=vaughan [2012-10-22 10:26:30] 985*2^1232979-1 is not prime. Res64: 1024A6CEB9C2DEDE Time : 0.0 sec. user=mdettweiler [2012-10-22 10:43:07] 735*2^1232980-1 is not prime. Res64: F077E54E8BC0B5A5 Time : 0.0 sec. user=mdettweiler [2012-10-22 10:56:01] 955*2^1232979-1 is not prime. Res64: AA394B5C721D9DC3 Time : 0.0 sec. user=vaughan [2012-10-22 11:04:33] 899*2^1232980-1 is not prime. Res64: 07B5F7FEBFC152AA Time : 0.0 sec. user=mdettweiler [2012-10-22 11:11:42] 845*2^1232980-1 is not prime. Res64: 2B2D2343DF90092F Time : 0.0 sec. user=mdettweiler [2012-10-22 11:17:06] 933*2^1232980-1 is not prime. Res64: 8595D17A5CF0A096 Time : 0.0 sec. user=mdettweiler [2012-10-22 11:46:04] 965*2^1232980-1 is not prime. Res64: 00F81C2E8B4BB45A Time : 0.0 sec. user=mdettweiler [2012-10-22 12:11:48] 855*2^1232981-1 is not prime. Res64: 747617D462AE00E6 Time : 0.0 sec. user=mdettweiler [2012-10-22 12:11:50] 889*2^1232981-1 is not prime. Res64: F21E30F315821B75 Time : 0.0 sec. user=vaughan [2012-10-22 12:18:29] 975*2^1232980-1 is not prime. Res64: EEFA9ED335FD918D Time : 0.0 sec. user=mdettweiler [2012-10-22 12:33:24] 981*2^1232981-1 is not prime. Res64: DE42A9303A785B2B Time : 0.0 sec. user=mdettweiler [2012-10-22 12:33:25] 683*2^1232982-1 is not prime. Res64: C723242FF4D448F0 Time : 0.0 sec. user=mdettweiler [2012-10-22 12:41:18] 1001*2^1232982-1 is not prime. Res64: 76CA6DCC386695AF Time : 0.0 sec. user=mdettweiler [2012-10-22 12:41:18] 661*2^1232983-1 is not prime. Res64: EA13F3BC32F7CF50 Time : 0.0 sec. user=mdettweiler [2012-10-22 12:54:45] 775*2^1232983-1 is not prime. Res64: 33E7BB716C5209CF Time : 0.0 sec. user=mdettweiler [2012-10-22 12:54:45] 813*2^1232983-1 is not prime. Res64: E0EF64F2851FC1E5 Time : 0.0 sec. user=mdettweiler [2012-10-22 13:02:33] 849*2^1232983-1 is not prime. Res64: 12F5E95EDF0F2569 Time : 0.0 sec. user=mdettweiler [2012-10-22 13:02:34] 871*2^1232983-1 is not prime. Res64: 389B6D79D66A5118 Time : 0.0 sec. user=mdettweiler [2012-10-22 13:16:19] 719*2^1232984-1 is not prime. Res64: 6C96F90C1B89640E Time : 0.0 sec. user=mdettweiler [2012-10-22 13:24:09] 739*2^1232985-1 is not prime. Res64: 927A3D60E25AA867 Time : 0.0 sec. user=mdettweiler [2012-10-22 13:24:10] 741*2^1232985-1 is not prime. Res64: 0AD04F96ADF4A065 Time : 0.0 sec. user=vaughan [2012-10-22 13:30:01] 901*2^1232983-1 is not prime. Res64: 305B3AD03B6B00C5 Time : 0.0 sec. user=mdettweiler [2012-10-22 13:45:40] 669*2^1232985-1 is not prime. Res64: 00E0EA0F4B9F7340 Time : 0.0 sec. user=mdettweiler [2012-10-22 13:45:41] 777*2^1232985-1 is not prime. Res64: 5FAF2E7DE7BD768C Time : 0.0 sec. user=vaughan [2012-10-22 14:07:44] 705*2^1232986-1 is not prime. Res64: 1DF2BFCBC8501CDB Time : 0.0 sec. user=mdettweiler [2012-10-22 14:25:04] 921*2^1232985-1 is not prime. Res64: BD6FEBEA2665CE5B Time : 0.0 sec. user=mdettweiler [2012-10-22 14:45:25] 855*2^1232986-1 is not prime. Res64: 4E565BBCD11DA217 Time : 0.0 sec. user=mdettweiler [2012-10-22 14:45:26] 645*2^1232987-1 is not prime. Res64: 38BBB727786041D3 Time : 0.0 sec. user=vaughan [2012-10-22 14:45:47] 777*2^1232986-1 is not prime. Res64: BC144C521E660BCA Time : 0.0 sec. user=mdettweiler [2012-10-22 14:46:26] 699*2^1232987-1 is not prime. Res64: 7728CA9602E99473 Time : 0.0 sec. user=mdettweiler [2012-10-22 14:46:27] 885*2^1232987-1 is not prime. Res64: 6D901AEBD12D4EBE Time : 0.0 sec. user=mdettweiler [2012-10-22 15:06:54] 895*2^1232987-1 is not prime. Res64: 87DE5E2B5D1458E9 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:06:55] 955*2^1232987-1 is not prime. Res64: F49273E3C61D5E57 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:07:50] 753*2^1232988-1 is not prime. Res64: 3B1E042944FD8240 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:07:51] 759*2^1232988-1 is not prime. Res64: 31D553EF5A5DAD36 Time : 0.0 sec. user=vaughan [2012-10-22 15:23:29] 633*2^1232988-1 is not prime. Res64: AB147C3D34ED0828 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:28:20] 969*2^1232891-1 is not prime. Res64: 1FAE12193ED7A438 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:28:21] 767*2^1232988-1 is not prime. Res64: 81F636838558D992 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:29:31] 783*2^1232988-1 is not prime. Res64: A548B7BA0E0F8CF9 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:49:22] 909*2^1232988-1 is not prime. Res64: 6A4515D2E2B2EBD8 Time : 0.0 sec. user=mdettweiler [2012-10-22 15:49:23] 615*2^1232989-1 is not prime. Res64: EBD2731351B31216 Time : 0.0 sec. user=vaughan [2012-10-22 16:01:22] 875*2^1232988-1 is not prime. Res64: 542F8B4FBF094261 Time : 0.0 sec. user=mdettweiler [2012-10-22 16:09:12] 867*2^1232988-1 is not prime. Res64: 18B170307AB15098 Time : 0.0 sec. user=mdettweiler [2012-10-22 16:10:46] 619*2^1232989-1 is not prime. Res64: F0A0313AAD305D80 Time : 0.0 sec. user=mdettweiler [2012-10-22 16:10:48] 639*2^1232989-1 is not prime. Res64: 7ECCBCED43B875D7 Time : 0.0 sec. user=mdettweiler [2012-10-22 16:30:35] 747*2^1232989-1 is not prime. Res64: 0D5AF981D71E0930 Time : 0.0 sec. user=mdettweiler [2012-10-22 16:30:35] 789*2^1232989-1 is not prime. Res64: 9784A9EA670EF517 Time : 0.0 sec. user=mdettweiler [2012-10-22 16:32:25] 799*2^1232989-1 is not prime. Res64: 2235A6EBDBEF6B9C Time : 0.0 sec. user=mdettweiler [2012-10-22 16:52:28] 979*2^1232989-1 is not prime. Res64: 0F6A6AE0400E4571 Time : 0.0 sec. user=vaughan [2012-10-22 17:15:00] 615*2^1232990-1 is not prime. Res64: 47184EEECA135D75 Time : 0.0 sec. user=mdettweiler [2012-10-22 17:24:14] 603*2^1232990-1 is not prime. Res64: 41B8447B592A48FD Time : 0.0 sec. user=mdettweiler [2012-10-22 17:27:35] 931*2^1232989-1 is not prime. Res64: C72433A30D78DCF3 Time : 0.0 sec. user=mdettweiler [2012-10-22 17:49:00] 665*2^1232990-1 is not prime. Res64: ED49775CBF320AFF Time : 0.0 sec. user=mdettweiler [2012-10-22 17:49:00] 743*2^1232990-1 is not prime. Res64: 3CB3F49C92B86053 Time : 0.0 sec. user=mdettweiler [2012-10-22 18:10:23] 761*2^1232990-1 is not prime. Res64: 86621C3784A399EE Time : 0.0 sec. user=vaughan [2012-10-22 18:28:04] 965*2^1232990-1 is not prime. Res64: B311722BA3F80B7B Time : 0.0 sec. user=mdettweiler [2012-10-22 18:28:26] 619*2^1232991-1 is not prime. Res64: FCE654C4109EFCE4 Time : 0.0 sec. user=mdettweiler [2012-10-22 18:28:27] 625*2^1232991-1 is not prime. Res64: 41A367BDA1ADAD84 Time : 0.0 sec. user=mdettweiler [2012-10-22 18:45:08] 885*2^1232990-1 is not prime. Res64: B568102E9589467F Time : 0.0 sec. user=mdettweiler [2012-10-22 18:49:48] 819*2^1232991-1 is not prime. Res64: C7B6FD0C89B7B411 Time : 0.0 sec. user=vaughan [2012-10-22 19:06:20] 745*2^1232991-1 is not prime. Res64: D10106F7446BE961 Time : 0.0 sec. user=mdettweiler [2012-10-22 19:06:20] 979*2^1232991-1 is not prime. Res64: F733A973BB641F9B Time : 0.0 sec. user=mdettweiler [2012-10-22 19:18:51] 933*2^1232991-1 is not prime. Res64: 14175D29C075E5C8 Time : 0.0 sec. user=mdettweiler [2012-10-22 20:00:03] 623*2^1232992-1 is not prime. Res64: 87B435F0B86DEE70 Time : 0.0 sec. user=mdettweiler [2012-10-22 20:18:54] 917*2^1232992-1 is not prime. Res64: 31EC59C22030B825 Time : 0.0 sec. user=mdettweiler [2012-10-22 20:19:15] 989*2^1232992-1 is not prime. Res64: 83B6D1FDFE1A13E3 Time : 0.0 sec. user=vaughan [2012-10-22 20:20:05] 677*2^1232992-1 is not prime. Res64: 8190A595CFC644BC Time : 0.0 sec. user=mdettweiler [2012-10-22 20:54:22] 631*2^1232993-1 is not prime. Res64: A6AF7D39431A7ADF Time : 0.0 sec. user=mdettweiler [2012-10-22 20:54:23] 649*2^1232993-1 is not prime. Res64: 27F2BD2E46792AAD Time : 0.0 sec. user=vaughan [2012-10-22 20:58:02] 627*2^1232993-1 is not prime. Res64: C662E3D75A74F691 Time : 0.0 sec. user=mdettweiler [2012-10-22 21:15:13] 675*2^1232993-1 is not prime. Res64: 7230AB93696EC02C Time : 0.0 sec. user=mdettweiler [2012-10-22 21:15:41] 699*2^1232993-1 is not prime. Res64: B9167F35B8BCA069 Time : 0.0 sec. user=mdettweiler [2012-10-22 21:15:41] 705*2^1232993-1 is not prime. Res64: 0D47602E931F1EB3 Time : 0.0 sec. user=vaughan [2012-10-22 21:35:46] 949*2^1232993-1 is not prime. Res64: 4EBE7EE57912C529 Time : 0.0 sec. user=mdettweiler [2012-10-22 21:43:01] 861*2^1232993-1 is not prime. Res64: 5ABFDFE113A5338C Time : 0.0 sec. user=mdettweiler [2012-10-22 22:04:09] 741*2^1232994-1 is not prime. Res64: ABCA1C89B4052565 Time : 0.0 sec. user=mdettweiler [2012-10-22 22:04:10] 755*2^1232994-1 is not prime. Res64: C1B9ED4971AE1B19 Time : 0.0 sec. user=vaughan [2012-10-22 22:13:45] 683*2^1232994-1 is not prime. Res64: C5E261AC9B2B5D26 Time : 0.0 sec. user=mdettweiler [2012-10-22 22:19:06] 893*2^1232994-1 is not prime. Res64: AB1915E450F01698 Time : 0.0 sec. user=mdettweiler [2012-10-22 22:19:07] 951*2^1232994-1 is not prime. Res64: A7D90915B1989E63 Time : 0.0 sec. user=mdettweiler [2012-10-22 22:25:25] 691*2^1232995-1 is not prime. Res64: D986920024ACE3E5 Time : 0.0 sec. user=mdettweiler [2012-10-22 22:40:19] 801*2^1232995-1 is not prime. Res64: 46D23D645FE7286B Time : 0.0 sec. user=mdettweiler [2012-10-22 22:40:19] 609*2^1232996-1 is not prime. Res64: 272BEAF3B71CBA22 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:01:29] 707*2^1232996-1 is not prime. Res64: 0BA2C7087C258153 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:01:31] 725*2^1232996-1 is not prime. Res64: 42E49A7906233AF8 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:07:05] 771*2^1232995-1 is not prime. Res64: 8F3E71ABEA231F12 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:22:43] 869*2^1232996-1 is not prime. Res64: 76DB3DCFBEFFC944 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:22:44] 875*2^1232996-1 is not prime. Res64: 55BF8E4090E27758 Time : 0.0 sec. user=vaughan [2012-10-22 23:27:16] 743*2^1232996-1 is not prime. Res64: 3CE16B7603921D84 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:43:42] 899*2^1232996-1 is not prime. Res64: B582939DFA6D5FB7 Time : 0.0 sec. user=mdettweiler [2012-10-22 23:43:43] 999*2^1232996-1 is not prime. Res64: 40A4481FFD32B360 Time : 0.0 sec.