user=mdettweiler [2013-06-11 00:11:16] 923*2^1246752-1 is not prime. Res64: 94E0D68F8002EA86 Time : 0.0 sec. user=mdettweiler [2013-06-11 00:11:17] 933*2^1246752-1 is not prime. Res64: 6783912A7C53162D Time : 0.0 sec. user=mdettweiler [2013-06-11 00:15:35] 957*2^1246752-1 is not prime. Res64: F2A6701B5B7581A0 Time : 0.0 sec. user=mdettweiler [2013-06-11 00:15:36] 983*2^1246752-1 is not prime. Res64: 680C86724107971E Time : 0.0 sec. user=vaughan [2013-06-11 00:26:13] 899*2^1246752-1 is not prime. Res64: 34EA99674F787518 Time : 0.0 sec. user=mdettweiler [2013-06-11 00:30:04] 999*2^1246752-1 is not prime. Res64: 7E7562A7992104BC Time : 0.0 sec. user=mdettweiler [2013-06-11 00:33:21] 745*2^1246753-1 is not prime. Res64: 94FA30DEE377A41D Time : 0.0 sec. user=mdettweiler [2013-06-11 00:33:22] 939*2^1246753-1 is not prime. Res64: 0EEC7A1C0F534267 Time : 0.0 sec. user=mdettweiler [2013-06-11 00:51:53] 985*2^1246753-1 is not prime. Res64: 15BAD2650C8C1105 Time : 0.0 sec. user=mdettweiler [2013-06-11 00:51:54] 605*2^1246754-1 is not prime. Res64: 00462C36C24260DA Time : 0.0 sec. user=mdettweiler [2013-06-11 00:52:12] 741*2^1246753-1 is not prime. Res64: 9D659E61E03A534C Time : 0.0 sec. user=mdettweiler [2013-06-11 01:10:24] 837*2^1246754-1 is not prime. Res64: EC16C825BD0A9D57 Time : 0.0 sec. user=mdettweiler [2013-06-11 01:10:25] 635*2^1246754-1 is not prime. Res64: 32E8DD22C1884135 Time : 0.0 sec. user=mdettweiler [2013-06-11 01:39:47] 873*2^1246754-1 is not prime. Res64: 12FF8D819A8EA161 Time : 0.0 sec. user=mdettweiler [2013-06-11 01:43:57] 711*2^1246754-1 is not prime. Res64: 31A7A419E758FC49 Time : 0.0 sec. user=vaughan [2013-06-11 01:47:50] 955*2^1246753-1 is not prime. Res64: 2B90FDE9F3CD3D85 Time : 0.0 sec. user=mdettweiler [2013-06-11 01:57:30] 875*2^1246754-1 is not prime. Res64: 561C016DC0FA668F Time : 0.0 sec. user=mdettweiler [2013-06-11 02:01:34] 825*2^1246755-1 is not prime. Res64: 6E2D7E2F863C04CF Time : 0.0 sec. user=mdettweiler [2013-06-11 02:01:36] 807*2^1246756-1 is not prime. Res64: 4149C3BEB7A938F5 Time : 0.0 sec. user=mdettweiler [2013-06-11 02:21:11] 993*2^1246756-1 is not prime. Res64: 8A6B1054FDFC51F2 Time : 0.0 sec. user=mdettweiler [2013-06-11 02:22:14] 613*2^1246755-1 is not prime. Res64: D0C591C2C36FFC6F Time : 0.0 sec. user=mdettweiler [2013-06-11 02:59:01] 999*2^1246756-1 is not prime. Res64: FEAD7081969B74A3 Time : 0.0 sec. user=vaughan [2013-06-11 03:03:48] 631*2^1246757-1 is not prime. Res64: 545A44F8E0B8EB10 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:08:06] 685*2^1246757-1 is not prime. Res64: 9A5FDB15DCABFF62 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:08:07] 741*2^1246757-1 is not prime. Res64: 791847E4898082B6 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:16:29] 867*2^1246757-1 is not prime. Res64: 0CB8E0D8E0E73B0E Time : 0.0 sec. user=mdettweiler [2013-06-11 03:16:29] 889*2^1246757-1 is not prime. Res64: 2798F9D088AFBD20 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:25:43] 939*2^1246757-1 is not prime. Res64: D36B39696662FDF2 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:34:23] 647*2^1246758-1 is not prime. Res64: 379EAB21E86309AC Time : 0.0 sec. user=mdettweiler [2013-06-11 03:34:24] 731*2^1246758-1 is not prime. Res64: 04EE9E9D0035CF8B Time : 0.0 sec. user=mdettweiler [2013-06-11 03:44:56] 955*2^1246757-1 is not prime. Res64: 26741426B7ED0E6B Time : 0.0 sec. user=vaughan [2013-06-11 03:47:08] 931*2^1246757-1 is not prime. Res64: 382CD2012AEB9F70 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:52:10] 773*2^1246758-1 is not prime. Res64: 9D66BE53F62FB379 Time : 0.0 sec. user=mdettweiler [2013-06-11 03:52:11] 891*2^1246758-1 is not prime. Res64: 5378754F0EE1403C Time : 0.0 sec. user=mdettweiler [2013-06-11 04:09:57] 909*2^1246759-1 is not prime. Res64: 4A5CD7280520AAE7 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:09:58] 943*2^1246759-1 is not prime. Res64: 7EED8F9DF942BCF5 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:27:45] 759*2^1246760-1 is not prime. Res64: D09288CF6C4C07F7 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:27:46] 797*2^1246760-1 is not prime. Res64: 2F0CB497BBC981C8 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:36:38] 927*2^1246758-1 is not prime. Res64: 48C40AD6B1A55978 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:36:39] 811*2^1246759-1 is not prime. Res64: 565059345741E094 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:45:36] 845*2^1246760-1 is not prime. Res64: F5C17E19FCAB2F54 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:45:36] 857*2^1246760-1 is not prime. Res64: 0534C72279467C37 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:54:56] 999*2^1246760-1 is not prime. Res64: 972284D915AC3BD9 Time : 0.0 sec. user=mdettweiler [2013-06-11 04:54:56] 609*2^1246761-1 is not prime. Res64: 5C43A719CFC78C65 Time : 0.0 sec. user=mdettweiler [2013-06-11 05:33:10] 649*2^1246761-1 is not prime. Res64: EA3FC7D9F9B1010A Time : 0.0 sec. user=vaughan [2013-06-11 05:41:18] 827*2^1246760-1 is not prime. Res64: A68A681851818D99 Time : 0.0 sec. user=mdettweiler [2013-06-11 05:54:30] 747*2^1246761-1 is not prime. Res64: D7E1AEE634603579 Time : 0.0 sec. user=mdettweiler [2013-06-11 05:54:30] 837*2^1246761-1 is not prime. Res64: BADD5B0182D1075E Time : 0.0 sec. user=mdettweiler [2013-06-11 05:55:34] 741*2^1246761-1 is not prime. Res64: 6A6B2422C5CCE9BB Time : 0.0 sec. user=mdettweiler [2013-06-11 06:13:04] 885*2^1246761-1 is not prime. Res64: 761F5489760EE6DA Time : 0.0 sec. user=mdettweiler [2013-06-11 06:13:04] 999*2^1246761-1 is not prime. Res64: 76A48B9C4F1C7881 Time : 0.0 sec. user=mdettweiler [2013-06-11 06:30:39] 633*2^1246762-1 is not prime. Res64: 8FCD9FD9AF191E84 Time : 0.0 sec. user=mdettweiler [2013-06-11 06:30:39] 651*2^1246762-1 is not prime. Res64: 1A7FE19199DC26C3 Time : 0.0 sec. user=mdettweiler [2013-06-11 06:31:29] 675*2^1246762-1 is not prime. Res64: FBCC99F01188EA32 Time : 0.0 sec. user=mdettweiler [2013-06-11 06:31:30] 695*2^1246762-1 is not prime. Res64: 062A3C7B6DA9EEB4 Time : 0.0 sec. user=mdettweiler [2013-06-11 06:48:30] 705*2^1246762-1 is not prime. Res64: 343A903A0231320D Time : 0.0 sec. user=mdettweiler [2013-06-11 06:48:30] 741*2^1246762-1 is not prime. Res64: 0B0E538878ECAE68 Time : 0.0 sec. user=mdettweiler [2013-06-11 06:49:12] 755*2^1246762-1 is not prime. Res64: 3F978D834C0E7BED Time : 0.0 sec. user=mdettweiler [2013-06-11 06:49:12] 621*2^1246763-1 is not prime. Res64: 01E405B1F42443B9 Time : 0.0 sec. user=mdettweiler [2013-06-11 07:06:23] 789*2^1246763-1 is not prime. Res64: E0B7A122662A73D9 Time : 0.0 sec. user=mdettweiler [2013-06-11 07:07:05] 825*2^1246763-1 is not prime. Res64: 9025997757CB73D0 Time : 0.0 sec. user=mdettweiler [2013-06-11 07:26:46] 885*2^1246763-1 is not prime. Res64: C66D4DD02B476B11 Time : 0.0 sec. user=vaughan [2013-06-11 07:30:21] 783*2^1246763-1 is not prime. Res64: 62E77FF628E05469 Time : 0.0 sec. user=mdettweiler [2013-06-11 07:42:53] 813*2^1246763-1 is not prime. Res64: 89D4BCAD740EFB73 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:00:22] 675*2^1246764-1 is not prime. Res64: F2063F48FB3C0E20 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:00:23] 753*2^1246764-1 is not prime. Res64: 0A8B79D65E0D2981 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:09:37] 809*2^1246764-1 is not prime. Res64: 9331B4CD07FFEF07 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:18:07] 607*2^1246765-1 is not prime. Res64: 0775038118E6C6F8 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:18:08] 609*2^1246765-1 is not prime. Res64: 044D3F8A9D09FAC0 Time : 0.0 sec. user=vaughan [2013-06-11 08:33:08] 921*2^1246763-1 is not prime. Res64: 526CEE8A849F7ECF Time : 0.0 sec. user=mdettweiler [2013-06-11 08:35:55] 687*2^1246765-1 is not prime. Res64: 73941ED3AE03E0EC Time : 0.0 sec. user=mdettweiler [2013-06-11 08:35:56] 717*2^1246765-1 is not prime. Res64: 919C70959EC2EAE0 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:40:41] 863*2^1246764-1 is not prime. Res64: E329F60499ACB913 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:53:41] 727*2^1246765-1 is not prime. Res64: F5E0C13472916FC4 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:53:42] 799*2^1246765-1 is not prime. Res64: 20AAB2ED37B608E7 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:58:30] 801*2^1246765-1 is not prime. Res64: C2E4C3387626E957 Time : 0.0 sec. user=mdettweiler [2013-06-11 08:58:31] 861*2^1246765-1 is not prime. Res64: FD30488BECE5D3A2 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:12:17] 957*2^1246765-1 is not prime. Res64: 8EC02AC52F9563A3 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:12:17] 987*2^1246765-1 is not prime. Res64: A62618BDF467313F Time : 0.0 sec. user=mdettweiler [2013-06-11 09:16:17] 663*2^1246766-1 is not prime. Res64: 3D0029230B69AA50 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:16:18] 671*2^1246766-1 is not prime. Res64: 8C3A0FD69CE69182 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:29:54] 705*2^1246766-1 is not prime. Res64: 9E5038C2881D5C5C Time : 0.0 sec. user=mdettweiler [2013-06-11 09:29:55] 707*2^1246766-1 is not prime. Res64: 16D5364DB3DE2B22 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:33:48] 711*2^1246766-1 is not prime. Res64: 064673AD901BD125 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:33:49] 755*2^1246766-1 is not prime. Res64: 9ED3CAABF5879C73 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:47:48] 843*2^1246766-1 is not prime. Res64: 5F84A1C76FF10AE9 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:47:49] 935*2^1246766-1 is not prime. Res64: 2CD6A76715D9E1C3 Time : 0.0 sec. user=mdettweiler [2013-06-11 09:52:32] 971*2^1246766-1 is not prime. Res64: 5DD57DEFF3662C64 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:05:49] 751*2^1246767-1 is not prime. Res64: 643FF5EF9CDE5203 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:05:50] 795*2^1246767-1 is not prime. Res64: DEF476CC241E66A2 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:20:47] 691*2^1246767-1 is not prime. Res64: 22F8830B29261937 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:24:38] 873*2^1246767-1 is not prime. Res64: 5C859EDCB984490C Time : 0.0 sec. user=mdettweiler [2013-06-11 10:24:38] 919*2^1246767-1 is not prime. Res64: C12FFD94E374CD81 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:39:36] 645*2^1246768-1 is not prime. Res64: 9F797A81C7122BBA Time : 0.0 sec. user=mdettweiler [2013-06-11 10:39:37] 687*2^1246768-1 is not prime. Res64: A06CD08571304A3D Time : 0.0 sec. user=mdettweiler [2013-06-11 10:43:10] 959*2^1246768-1 is not prime. Res64: 46AFDF9437092E32 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:43:11] 619*2^1246769-1 is not prime. Res64: BE67B370B183975A Time : 0.0 sec. user=vaughan [2013-06-11 10:44:36] 785*2^1246766-1 is not prime. Res64: 09A66F1462030EF6 Time : 0.0 sec. user=mdettweiler [2013-06-11 10:58:21] 649*2^1246769-1 is not prime. Res64: CC50C7D35BA0A338 Time : 0.0 sec. user=mdettweiler [2013-06-11 11:01:46] 909*2^1246769-1 is not prime. Res64: 1EEF62236623F4A4 Time : 0.0 sec. user=mdettweiler [2013-06-11 11:01:47] 931*2^1246769-1 is not prime. Res64: FDC765D114221253 Time : 0.0 sec. user=mdettweiler [2013-06-11 11:20:03] 783*2^1246770-1 is not prime. Res64: D8B5CDFE35893244 Time : 0.0 sec. user=mdettweiler [2013-06-11 11:37:52] 799*2^1246769-1 is not prime. Res64: 03B7C98E7179D8C2 Time : 0.0 sec. user=mdettweiler [2013-06-11 11:43:49] 917*2^1246770-1 is not prime. Res64: F5A443B9F8EF5DBF Time : 0.0 sec. user=mdettweiler [2013-06-11 11:56:47] 957*2^1246770-1 is not prime. Res64: 347D302AC7A5CC93 Time : 0.0 sec. user=mdettweiler [2013-06-11 11:56:48] 1001*2^1246770-1 is not prime. Res64: 9543171F9EF9452A Time : 0.0 sec. user=mdettweiler [2013-06-11 12:14:49] 619*2^1246771-1 is not prime. Res64: D4BBA97F776495E0 Time : 0.0 sec. user=mdettweiler [2013-06-11 12:14:49] 685*2^1246771-1 is not prime. Res64: 864BAEFB63C0AD84 Time : 0.0 sec. user=mdettweiler [2013-06-11 12:28:30] 715*2^1246771-1 is not prime. Res64: F64C7E2AECFC3D4B Time : 0.0 sec. user=mdettweiler [2013-06-11 12:28:30] 769*2^1246771-1 is not prime. Res64: 11BA5D5038D3A563 Time : 0.0 sec. user=mdettweiler [2013-06-11 12:32:32] 873*2^1246771-1 is not prime. Res64: AD776E649537E61B Time : 0.0 sec. user=mdettweiler [2013-06-11 12:32:33] 633*2^1246772-1 is not prime. Res64: 17D27B842DB21A6B Time : 0.0 sec. user=mdettweiler [2013-06-11 12:46:49] 647*2^1246772-1 is not prime. Res64: 4757A02CF972A5B7 Time : 0.0 sec. user=mdettweiler [2013-06-11 12:46:50] 827*2^1246772-1 is not prime. Res64: B04B073AA4EEAA8A Time : 0.0 sec. user=mdettweiler [2013-06-11 12:52:49] 977*2^1246772-1 is not prime. Res64: 4FB14B64E0FF8E14 Time : 0.0 sec. user=mdettweiler [2013-06-11 12:52:49] 999*2^1246772-1 is not prime. Res64: 35B015A09B93066A Time : 0.0 sec. user=mdettweiler [2013-06-11 13:05:20] 609*2^1246773-1 is not prime. Res64: CAAA8E12FE606A94 Time : 0.0 sec. user=mdettweiler [2013-06-11 13:11:02] 781*2^1246773-1 is not prime. Res64: 33DAA4FD257C98F5 Time : 0.0 sec. user=mdettweiler [2013-06-11 13:11:04] 789*2^1246773-1 is not prime. Res64: 9BAC8502DC5F76D7 Time : 0.0 sec. user=mdettweiler [2013-06-11 13:28:53] 675*2^1246773-1 is not prime. Res64: 9641250B5971704D Time : 0.0 sec. user=mdettweiler [2013-06-11 13:29:14] 811*2^1246773-1 is not prime. Res64: BF8475382D89CD8D Time : 0.0 sec. user=mdettweiler [2013-06-11 13:29:14] 915*2^1246773-1 is not prime. Res64: BD1B2933159D9E69 Time : 0.0 sec. user=mdettweiler [2013-06-11 13:47:39] 955*2^1246773-1 is not prime. Res64: 69D7F1CB8621F6B7 Time : 0.0 sec. user=mdettweiler [2013-06-11 13:47:40] 961*2^1246773-1 is not prime. Res64: 38F607A0893FE742 Time : 0.0 sec. user=mdettweiler [2013-06-11 14:05:18] 611*2^1246774-1 is not prime. Res64: 4E7CEC13DAAA0ED0 Time : 0.0 sec. user=mdettweiler [2013-06-11 14:05:19] 635*2^1246774-1 is not prime. Res64: 27C9195B7C9CBA67 Time : 0.0 sec. user=mdettweiler [2013-06-11 14:23:26] 731*2^1246774-1 is not prime. Res64: CC2A3FCB5950E585 Time : 0.0 sec. user=mdettweiler [2013-06-11 14:23:27] 737*2^1246774-1 is not prime. Res64: 271A5A77C1DE83F7 Time : 0.0 sec. user=mdettweiler [2013-06-11 14:27:20] 773*2^1246774-1 is not prime. Res64: C31D4520402E00A6 Time : 0.0 sec. user=mdettweiler [2013-06-11 14:41:14] 833*2^1246774-1 is not prime. Res64: AE2C43EB2C4CD83A Time : 0.0 sec. user=mdettweiler [2013-06-11 14:41:14] 855*2^1246774-1 is not prime. Res64: 0A930402D125777D Time : 0.0 sec. user=mdettweiler [2013-06-11 14:49:28] 791*2^1246774-1 is not prime. Res64: 13ED373B5C571F03 Time : 0.0 sec. user=mdettweiler [2013-06-11 15:00:47] 987*2^1246774-1 is not prime. Res64: 4CD2080ED0A91033 Time : 0.0 sec. user=mdettweiler [2013-06-11 15:07:30] 693*2^1246775-1 is not prime. Res64: EC0A017F66D40F2A Time : 0.0 sec. user=mdettweiler [2013-06-11 15:19:18] 993*2^1246774-1 is not prime. Res64: 8E713D1ADAFCE74D Time : 0.0 sec. user=mdettweiler [2013-06-11 15:36:52] 823*2^1246775-1 is not prime. Res64: CA46EE2701A3408A Time : 0.0 sec. user=mdettweiler [2013-06-11 15:36:53] 843*2^1246775-1 is not prime. Res64: E7365761CF593CD6 Time : 0.0 sec. user=mdettweiler [2013-06-11 15:37:14] 771*2^1246775-1 is not prime. Res64: A237CC2F7681AB35 Time : 0.0 sec. user=mdettweiler [2013-06-11 15:54:40] 939*2^1246775-1 is not prime. Res64: F8C624BD95F1BCB3 Time : 0.0 sec. user=mdettweiler [2013-06-11 15:54:41] 623*2^1246776-1 is not prime. Res64: C352943262A371BC Time : 0.0 sec. user=mdettweiler [2013-06-11 16:12:49] 639*2^1246776-1 is not prime. Res64: C04B214ED5DAB3D4 Time : 0.0 sec. user=mdettweiler [2013-06-11 16:21:52] 849*2^1246776-1 is not prime. Res64: CC5B4B7E3D7059DC Time : 0.0 sec. user=mdettweiler [2013-06-11 16:21:53] 875*2^1246776-1 is not prime. Res64: 961E87D34BFA6EC5 Time : 0.0 sec. user=mdettweiler [2013-06-11 16:39:57] 927*2^1246776-1 is not prime. Res64: 665F74D779CA4863 Time : 0.0 sec. user=mdettweiler [2013-06-11 16:43:10] 845*2^1246776-1 is not prime. Res64: 5A9F6F7940084421 Time : 0.0 sec. user=mdettweiler [2013-06-11 17:13:29] 619*2^1246777-1 is not prime. Res64: B32010554C7D4B33 Time : 0.0 sec. user=mdettweiler [2013-06-11 17:42:52] 625*2^1246777-1 is not prime. Res64: 9CDE100F0B88CC75 Time : 0.0 sec. user=mdettweiler [2013-06-11 17:51:40] 717*2^1246777-1 is not prime. Res64: 9D5E24CA73564B22 Time : 0.0 sec. user=mdettweiler [2013-06-11 17:51:40] 729*2^1246777-1 is not prime. Res64: 07C5098511D2973B Time : 0.0 sec. user=vaughan [2013-06-11 17:54:53] 651*2^1246770-1 is not prime. Res64: 0D72FBC42C9AB86C Time : 0.0 sec. user=mdettweiler [2013-06-11 18:02:23] 691*2^1246777-1 is not prime. Res64: F63E80F4EE23B229 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:09:58] 847*2^1246777-1 is not prime. Res64: E5A895788B14B69E Time : 0.0 sec. user=mdettweiler [2013-06-11 18:10:00] 895*2^1246777-1 is not prime. Res64: 6529078192B38679 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:20:43] 645*2^1246778-1 is not prime. Res64: 9649B47F8B7B3B73 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:20:43] 735*2^1246778-1 is not prime. Res64: 36A720F63303DB77 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:28:15] 813*2^1246778-1 is not prime. Res64: CD3BFB1853E00D93 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:28:16] 825*2^1246778-1 is not prime. Res64: 19E14592B8C5730A Time : 0.0 sec. user=mdettweiler [2013-06-11 18:38:49] 831*2^1246778-1 is not prime. Res64: 1EB66C89DDBB68CA Time : 0.0 sec. user=mdettweiler [2013-06-11 18:38:50] 843*2^1246778-1 is not prime. Res64: 84995D90A6311AFE Time : 0.0 sec. user=mdettweiler [2013-06-11 18:46:19] 669*2^1246779-1 is not prime. Res64: 56465B9646082D75 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:46:20] 685*2^1246779-1 is not prime. Res64: 9ECD5F18008EB899 Time : 0.0 sec. user=mdettweiler [2013-06-11 18:57:16] 895*2^1246779-1 is not prime. Res64: 9D9F39AB1485B90E Time : 0.0 sec. user=vaughan [2013-06-11 18:58:41] 767*2^1246778-1 is not prime. Res64: EAB83B49C1D65D4B Time : 0.0 sec. user=mdettweiler [2013-06-11 19:05:20] 603*2^1246780-1 is not prime. Res64: C618C474601B41FD Time : 0.0 sec. user=mdettweiler [2013-06-11 19:35:50] 909*2^1246779-1 is not prime. Res64: 25D7FA1C8D276E7E Time : 0.0 sec. user=mdettweiler [2013-06-11 19:44:26] 623*2^1246780-1 is not prime. Res64: 1AD3C7F93C3DFB5E Time : 0.0 sec. user=mdettweiler [2013-06-11 20:16:32] 783*2^1246780-1 is not prime. Res64: A1DEE148D6D1B85F Time : 0.0 sec. user=mdettweiler [2013-06-11 20:21:29] 621*2^1246781-1 is not prime. Res64: 1126B8D07CA6688C Time : 0.0 sec. user=mdettweiler [2013-06-11 20:42:13] 855*2^1246780-1 is not prime. Res64: 173F14EC5D7017E6 Time : 0.0 sec. user=mdettweiler [2013-06-11 20:45:02] 937*2^1246781-1 is not prime. Res64: D2E2AEEA6C0AC678 Time : 0.0 sec. user=vaughan [2013-06-11 20:49:24] 629*2^1246780-1 is not prime. Res64: B85E4C51D2DB6543 Time : 0.0 sec. user=mdettweiler [2013-06-11 21:00:25] 683*2^1246782-1 is not prime. Res64: 3CF7A51407AF6F04 Time : 0.0 sec. user=mdettweiler [2013-06-11 21:36:57] 875*2^1246782-1 is not prime. Res64: 2029D167AD05F460 Time : 0.0 sec. user=mdettweiler [2013-06-11 21:38:50] 945*2^1246782-1 is not prime. Res64: A9E7B6542AEFFFD6 Time : 0.0 sec. user=mdettweiler [2013-06-11 21:38:50] 977*2^1246782-1 is not prime. Res64: D68054551F44A850 Time : 0.0 sec. user=mdettweiler [2013-06-11 22:05:23] 709*2^1246783-1 is not prime. Res64: E341A60BCA6681C0 Time : 0.0 sec. user=mdettweiler [2013-06-11 22:05:23] 871*2^1246783-1 is not prime. Res64: FD4A87ECAB54DA1E Time : 0.0 sec. user=mdettweiler [2013-06-11 22:05:25] 859*2^1246783-1 is not prime. Res64: AE8C624B2AD375CB Time : 0.0 sec. user=mdettweiler [2013-06-11 22:23:15] 951*2^1246783-1 is not prime. Res64: B7604DD0FBD35B55 Time : 0.0 sec. user=mdettweiler [2013-06-11 22:23:16] 615*2^1246784-1 is not prime. Res64: B61CF4A5BE19E000 Time : 0.0 sec. user=mdettweiler [2013-06-11 22:41:11] 675*2^1246784-1 is not prime. Res64: 8DE4449D20166ED5 Time : 0.0 sec. user=mdettweiler [2013-06-11 22:44:00] 889*2^1246783-1 is not prime. Res64: DDD1DB3897E8A772 Time : 0.0 sec. user=vaughan [2013-06-11 22:47:55] 919*2^1246783-1 is not prime. Res64: 3AFE7E326144B14E Time : 0.0 sec. user=mdettweiler [2013-06-11 23:10:14] 789*2^1246784-1 is not prime. Res64: 44391FCCD5EFDA99 Time : 0.0 sec. user=mdettweiler [2013-06-11 23:28:01] 855*2^1246784-1 is not prime. Res64: 4CE2D90D0D7EB214 Time : 0.0 sec. user=mdettweiler [2013-06-11 23:38:45] 993*2^1246784-1 is not prime. Res64: FB3C44AE0C45B52F Time : 0.0 sec. user=mdettweiler [2013-06-11 23:38:46] 649*2^1246785-1 is not prime. Res64: 31822A04AC811502 Time : 0.0 sec. user=vaughan [2013-06-11 23:43:38] 825*2^1246784-1 is not prime. Res64: 60CFE7EA4787377F Time : 0.0 sec. user=mdettweiler [2013-06-11 23:57:29] 651*2^1246785-1 is not prime. Res64: D7328452CDD26B13 Time : 0.0 sec.