user=mdettweiler
[2012-11-04 00:01:16]
663*2^1233607-1 is not prime.  Res64: 5A8345F011548FD0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:01:17]
831*2^1233607-1 is not prime.  Res64: 94658B7A1456448C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:02:32]
843*2^1233607-1 is not prime.  Res64: B4A95DBE59F07863  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:02:33]
885*2^1233607-1 is not prime.  Res64: AFC248D157D52BBD  Time : 0.0 sec.
user=vaughan
[2012-11-04 00:15:10]
983*2^1233606-1 is not prime.  Res64: A415333B86DAEF1A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:22:05]
961*2^1233607-1 is not prime.  Res64: E3420CC9AF701EFC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:22:06]
677*2^1233608-1 is not prime.  Res64: 4DACE7EA4B45D192  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:23:20]
797*2^1233608-1 is not prime.  Res64: DD8AD8DB0B861353  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:23:23]
813*2^1233608-1 is not prime.  Res64: 0857CCF50E44B715  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:43:23]
741*2^1233609-1 is not prime.  Res64: 2E51409AD8CD7FEF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:43:28]
769*2^1233609-1 is not prime.  Res64: F1B2634D6F96DCA9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:44:14]
861*2^1233609-1 is not prime.  Res64: B328D944AE320FCD  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 00:44:16]
909*2^1233609-1 is not prime.  Res64: 9674D203DCD15699  Time : 0.0 sec.
user=vaughan
[2012-11-04 00:53:19]
639*2^1233609-1 is not prime.  Res64: A38E2509D4ECAF3A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:04:32]
605*2^1233610-1 is not prime.  Res64: A80930290054E54E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:04:33]
827*2^1233610-1 is not prime.  Res64: C56B80DF6C8875EC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:05:07]
941*2^1233610-1 is not prime.  Res64: 7CA31B6560C5D04C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:05:08]
945*2^1233610-1 is not prime.  Res64: 6880E7A1A8D4F431  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:25:24]
601*2^1233611-1 is not prime.  Res64: 789051F465EF800A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:25:25]
649*2^1233611-1 is not prime.  Res64: 0B6EDB36579F071E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:25:59]
909*2^1233611-1 is not prime.  Res64: 3B9F99E1F5D20E86  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:26:00]
969*2^1233611-1 is not prime.  Res64: E0B9B91EF2DD4183  Time : 0.0 sec.
user=vaughan
[2012-11-04 01:31:01]
971*2^1233610-1 is not prime.  Res64: 1044BB489284640C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:46:12]
991*2^1233611-1 is not prime.  Res64: 6BD29480E69167F7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:46:13]
639*2^1233612-1 is not prime.  Res64: D58C478EBFB8AD7E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:46:51]
803*2^1233612-1 is not prime.  Res64: F169411580F4EFA1  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:46:51]
923*2^1233612-1 is not prime.  Res64: D7740563F1ECCE9B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:07:00]
757*2^1233613-1 is not prime.  Res64: 254D770102E7EFC8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:07:02]
829*2^1233613-1 is not prime.  Res64: 46021A9FEE787B08  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:07:37]
961*2^1233613-1 is not prime.  Res64: 2F2F4ECE312C298F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:07:38]
999*2^1233613-1 is not prime.  Res64: 495079A174A55EA7  Time : 0.0 sec.
user=vaughan
[2012-11-04 01:08:43]
607*2^1233613-1 is not prime.  Res64: 6275D8E0747B7EC3  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:28:05]
663*2^1233614-1 is not prime.  Res64: 04D8C477416B6BCB  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:28:06]
717*2^1233614-1 is not prime.  Res64: 3B9423379C13E419  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:28:29]
741*2^1233614-1 is not prime.  Res64: 6856FF3268006412  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:28:30]
755*2^1233614-1 is not prime.  Res64: 875DECAAFA6A26BB  Time : 0.0 sec.
user=vaughan
[2012-11-04 01:46:27]
833*2^1233614-1 is not prime.  Res64: B7864F843EF3DBB4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:49:00]
923*2^1233614-1 is not prime.  Res64: 85262278546A1600  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:49:00]
927*2^1233614-1 is not prime.  Res64: D8C9DF86DE336923  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:49:18]
965*2^1233614-1 is not prime.  Res64: E979008AB108C471  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 01:49:18]
1001*2^1233614-1 is not prime.  Res64: D8C9AC7B208F06BF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:09:47]
651*2^1233615-1 is not prime.  Res64: 024851E62AECA06B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:09:49]
795*2^1233615-1 is not prime.  Res64: AB0F5B7EEABE11A8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:10:05]
699*2^1233616-1 is not prime.  Res64: 9AF2F70FCF3ABF8B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:10:09]
707*2^1233616-1 is not prime.  Res64: 2DDE11B00B16E81A  Time : 0.0 sec.
user=vaughan
[2012-11-04 02:24:10]
609*2^1233615-1 is not prime.  Res64: FBBB981C2B3AE2D6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:30:59]
719*2^1233616-1 is not prime.  Res64: 8EE47F2E9D51A147  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:31:02]
849*2^1233616-1 is not prime.  Res64: 98559FE13FE22C7B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:31:05]
875*2^1233616-1 is not prime.  Res64: C6FAC29226F1BF2C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:31:08]
909*2^1233616-1 is not prime.  Res64: 7BF31EA51EBE8514  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:52:02]
727*2^1233617-1 is not prime.  Res64: BBF6181F02F5782B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:52:08]
771*2^1233617-1 is not prime.  Res64: DAC4F87DE81208F2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:52:09]
837*2^1233617-1 is not prime.  Res64: 394FCE52DD97E04A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 02:52:09]
955*2^1233617-1 is not prime.  Res64: 726E59A1943DE613  Time : 0.0 sec.
user=vaughan
[2012-11-04 03:01:51]
619*2^1233617-1 is not prime.  Res64: 13869C68C2266F6F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:13:00]
985*2^1233617-1 is not prime.  Res64: 7716FEE9AF39E0E8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:13:02]
647*2^1233618-1 is not prime.  Res64: FE7CC0BC8B031C93  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:13:04]
777*2^1233618-1 is not prime.  Res64: 748FB9CC3EC1771D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:13:06]
801*2^1233618-1 is not prime.  Res64: 7F676B2375290BDA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:34:00]
837*2^1233618-1 is not prime.  Res64: DD15682B1BA246F0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:34:01]
861*2^1233618-1 is not prime.  Res64: 5429A13044620DE8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:34:03]
933*2^1233618-1 is not prime.  Res64: 09836A9FBFEAA66B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:34:04]
639*2^1233619-1 is not prime.  Res64: CFAA52423F3B346E  Time : 0.0 sec.
user=vaughan
[2012-11-04 03:39:51]
821*2^1233618-1 is not prime.  Res64: 62471C62E717621D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:55:03]
709*2^1233619-1 is not prime.  Res64: 2DE8508C2DD7547D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:55:04]
723*2^1233619-1 is not prime.  Res64: 2695B25B8D220A73  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:55:06]
769*2^1233619-1 is not prime.  Res64: B0CB91BD8C1607BD  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 03:55:07]
891*2^1233619-1 is not prime.  Res64: 0683C7B27DDCA250  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:15:52]
729*2^1233620-1 is not prime.  Res64: BC2A3896C568CDBB  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:15:53]
735*2^1233620-1 is not prime.  Res64: F8C210CBD72638D7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:15:54]
845*2^1233620-1 is not prime.  Res64: C8459479555C9EAC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:15:55]
927*2^1233620-1 is not prime.  Res64: 6560DC38B18D1F0D  Time : 0.0 sec.
user=vaughan
[2012-11-04 04:17:34]
677*2^1233620-1 is not prime.  Res64: 2A4A3E9991D8B3B5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:36:49]
717*2^1233621-1 is not prime.  Res64: 8FF8CBC58DEAC8F2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:36:50]
819*2^1233621-1 is not prime.  Res64: 6A3CB2676033E21F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:36:51]
747*2^1233621-1 is not prime.  Res64: ACFA4047F8BBA8ED  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:36:51]
847*2^1233621-1 is not prime.  Res64: C766B7842C561AC3  Time : 0.0 sec.
user=vaughan
[2012-11-04 04:55:15]
681*2^1233622-1 is not prime.  Res64: 5D8D4DFF6869F18C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:57:47]
695*2^1233622-1 is not prime.  Res64: 90C66163700F7A0E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:57:48]
737*2^1233622-1 is not prime.  Res64: F42ED9072E6BF47D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:57:49]
791*2^1233622-1 is not prime.  Res64: 56FBC757DB01E9EA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 04:57:50]
947*2^1233622-1 is not prime.  Res64: E05CC0A7B98DFE21  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:18:34]
987*2^1233622-1 is not prime.  Res64: 205495115C85764E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:18:35]
825*2^1233623-1 is not prime.  Res64: BFA9C4AAD422A84C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:18:36]
879*2^1233623-1 is not prime.  Res64: C3ADB9D163AC4343  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:18:36]
921*2^1233623-1 is not prime.  Res64: 7BF4A5E6CA76B31F  Time : 0.0 sec.
user=vaughan
[2012-11-04 05:32:57]
975*2^1233622-1 is not prime.  Res64: 7920A760AE36E0D5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:39:23]
985*2^1233623-1 is not prime.  Res64: 0A927932E3E6E175  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:39:24]
773*2^1233624-1 is not prime.  Res64: 1923034F93A939A4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:39:26]
825*2^1233624-1 is not prime.  Res64: 5F8B0875612D64D5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 05:39:26]
983*2^1233624-1 is not prime.  Res64: DF598ACE54B76C29  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:00:10]
661*2^1233625-1 is not prime.  Res64: C86FCE0948C20A40  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:00:11]
729*2^1233625-1 is not prime.  Res64: C09625CDC037E708  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:00:11]
805*2^1233625-1 is not prime.  Res64: BF41EE73074358B0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:00:12]
877*2^1233625-1 is not prime.  Res64: 841701735F243555  Time : 0.0 sec.
user=vaughan
[2012-11-04 06:10:39]
601*2^1233625-1 is not prime.  Res64: 8580DFCEA5AA149F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:20:57]
975*2^1233625-1 is not prime.  Res64: BE17254E15653822  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:20:57]
979*2^1233625-1 is not prime.  Res64: 36225F5268106BBC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:20:59]
635*2^1233626-1 is not prime.  Res64: 266EE85E97FE8AF2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:21:00]
641*2^1233626-1 is not prime.  Res64: E9F7327A522600C9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:41:45]
683*2^1233626-1 is not prime.  Res64: 359F711B288D0E68  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:41:46]
815*2^1233626-1 is not prime.  Res64: C3396BF9AF1496CE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:41:46]
825*2^1233626-1 is not prime.  Res64: 340D98C150F83ACC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 06:41:47]
857*2^1233626-1 is not prime.  Res64: C6C8E7FB63960CF4  Time : 0.0 sec.
user=vaughan
[2012-11-04 06:48:35]
645*2^1233626-1 is not prime.  Res64: AA82AFE74A2232F1  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:02:33]
893*2^1233626-1 is not prime.  Res64: 9205B83C4A169AC5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:02:33]
981*2^1233626-1 is not prime.  Res64: BE543484AA13EB4A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:02:34]
917*2^1233626-1 is not prime.  Res64: 582A9B55A60F3533  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:02:34]
601*2^1233627-1 is not prime.  Res64: C7E5DF3D87FC6C95  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:23:25]
859*2^1233627-1 is not prime.  Res64: 3462D902803B24C6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:23:25]
827*2^1233628-1 is not prime.  Res64: 4AE7813693F8F9E7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:23:25]
743*2^1233628-1 is not prime.  Res64: 68039810F3EFCF44  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:23:26]
863*2^1233628-1 is not prime.  Res64: 5794ADC67F837190  Time : 0.0 sec.
user=vaughan
[2012-11-04 07:26:18]
829*2^1233627-1 is not prime.  Res64: 7C24CCD20D2EB599  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:44:13]
923*2^1233628-1 is not prime.  Res64: 12524A3D4570275A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:44:13]
947*2^1233628-1 is not prime.  Res64: 37316ECB3E32502E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:44:13]
615*2^1233629-1 is not prime.  Res64: CA1331B5870A7341  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 07:44:14]
675*2^1233629-1 is not prime.  Res64: AC5B68F67080168E  Time : 0.0 sec.
user=vaughan
[2012-11-04 08:04:01]
811*2^1233629-1 is not prime.  Res64: 35CED939E9AA8982  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:04:59]
889*2^1233629-1 is not prime.  Res64: 75728B10806A8EEB  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:05:01]
833*2^1233630-1 is not prime.  Res64: 73ECD984E55002E9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:05:04]
795*2^1233630-1 is not prime.  Res64: 063470B8B61CD45C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:05:06]
843*2^1233630-1 is not prime.  Res64: F641FD3C8336185B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:25:53]
963*2^1233630-1 is not prime.  Res64: 4BC363D60E7DB207  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:25:54]
965*2^1233630-1 is not prime.  Res64: 51838C0395F20E89  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:25:54]
619*2^1233631-1 is not prime.  Res64: C62BEE6F1A5C773B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:25:55]
625*2^1233631-1 is not prime.  Res64: 6DD9A2E52E0878DC  Time : 0.0 sec.
user=vaughan
[2012-11-04 08:41:47]
941*2^1233630-1 is not prime.  Res64: 3FB2B0E03959EDC0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:46:42]
931*2^1233631-1 is not prime.  Res64: AA1569084A1BA1EA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:46:42]
741*2^1233631-1 is not prime.  Res64: 7CDC15E54115776D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:46:43]
961*2^1233631-1 is not prime.  Res64: E87A864279FEA25A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 08:46:43]
783*2^1233631-1 is not prime.  Res64: 926DACF1FE00570C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:07:27]
975*2^1233631-1 is not prime.  Res64: 581788947ED38AA2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:07:28]
669*2^1233632-1 is not prime.  Res64: 17EDD5EF28370E9D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:07:29]
819*2^1233632-1 is not prime.  Res64: 7B876F4256E835CA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:07:31]
825*2^1233632-1 is not prime.  Res64: 5C7B5989BCF06BBE  Time : 0.0 sec.
user=vaughan
[2012-11-04 09:19:30]
973*2^1233631-1 is not prime.  Res64: 795689DC1E37A650  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:28:29]
843*2^1233632-1 is not prime.  Res64: 6DBABF853F6C8888  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:28:30]
867*2^1233632-1 is not prime.  Res64: 5E167A3B0FF91A8D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:28:31]
875*2^1233632-1 is not prime.  Res64: 50408998CE793F99  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:28:31]
903*2^1233632-1 is not prime.  Res64: 0652C17E87B5E90A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:49:16]
649*2^1233633-1 is not prime.  Res64: 880AA6E4AB714A42  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:49:16]
657*2^1233633-1 is not prime.  Res64: A3307A889E5EF035  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:49:17]
741*2^1233633-1 is not prime.  Res64: 88CAE91E29346B7F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 09:49:18]
937*2^1233633-1 is not prime.  Res64: 6F00FBF80B31B49B  Time : 0.0 sec.
user=vaughan
[2012-11-04 09:57:12]
637*2^1233633-1 is not prime.  Res64: E6D0BE06B63F3970  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:10:02]
945*2^1233633-1 is not prime.  Res64: 98DD9DB9EFC83A1B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:10:06]
657*2^1233634-1 is not prime.  Res64: 9872EACDD78B3620  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:10:07]
611*2^1233634-1 is not prime.  Res64: D0C6123D0D709B32  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:10:08]
723*2^1233634-1 is not prime.  Res64: 25F8436C5E37722C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:31:04]
645*2^1233479-1 is not prime.  Res64: B50EDE38CB0256B2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:31:04]
663*2^1233479-1 is not prime.  Res64: 18FFC0ABABBCCB7F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:31:07]
675*2^1233479-1 is not prime.  Res64: E60526E5EC578BC3  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:31:08]
735*2^1233479-1 is not prime.  Res64: 33DF461C48C633B4  Time : 0.0 sec.
user=vaughan
[2012-11-04 10:34:57]
765*2^1233634-1 is not prime.  Res64: F98AEA049A4B20DA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:51:52]
775*2^1233479-1 is not prime.  Res64: 2791A74D93CCA0B6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:51:52]
885*2^1233479-1 is not prime.  Res64: 69761321009818CD  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:51:54]
629*2^1233480-1 is not prime.  Res64: 0EA6F852A8267A1F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 10:51:55]
725*2^1233480-1 is not prime.  Res64: 8EF570A241B3A27D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:12:39]
945*2^1233634-1 is not prime.  Res64: 4012520C4D321C80  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:12:39]
645*2^1233635-1 is not prime.  Res64: E215284C6B2510B5  Time : 0.0 sec.
user=vaughan
[2012-11-04 11:12:40]
813*2^1233634-1 is not prime.  Res64: EBBEFE75611BC931  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:12:41]
741*2^1233635-1 is not prime.  Res64: 6C3BDA083B957EFC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:12:44]
753*2^1233635-1 is not prime.  Res64: C93851AA1BD52528  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:33:46]
823*2^1233635-1 is not prime.  Res64: 1A2C0FD02D7AD8CB  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:33:46]
841*2^1233635-1 is not prime.  Res64: 1EA228670A71DBAE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:33:52]
781*2^1233635-1 is not prime.  Res64: 7E43EEB1B8421CF6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:33:53]
973*2^1233635-1 is not prime.  Res64: 97475351789C4E24  Time : 0.0 sec.
user=vaughan
[2012-11-04 11:50:30]
979*2^1233481-1 is not prime.  Res64: AE410E981FDC9C61  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:54:57]
683*2^1233636-1 is not prime.  Res64: 13FBCC8FCFD6D473  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:54:57]
707*2^1233636-1 is not prime.  Res64: BEDCF39B493069AB  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:55:02]
737*2^1233636-1 is not prime.  Res64: F8BA55C9BBA49C08  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 11:55:02]
825*2^1233636-1 is not prime.  Res64: EA609D0CC59C5EA3  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:15:59]
899*2^1233636-1 is not prime.  Res64: CC8129810FC33095  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:16:00]
685*2^1233637-1 is not prime.  Res64: B8FB9D277AF37BDC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:16:03]
747*2^1233637-1 is not prime.  Res64: BB1E10B6F64004A9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:16:05]
757*2^1233637-1 is not prime.  Res64: 5A20859272FA67AE  Time : 0.0 sec.
user=vaughan
[2012-11-04 12:28:12]
879*2^1233636-1 is not prime.  Res64: 6AB508675FC751B5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:36:54]
861*2^1233637-1 is not prime.  Res64: 207D9C43DE03EAA6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:36:55]
961*2^1233637-1 is not prime.  Res64: D84EFCA46656C239  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:36:56]
771*2^1233638-1 is not prime.  Res64: D0E7006D0145A507  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:36:56]
963*2^1233638-1 is not prime.  Res64: B05A8C940025EE53  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:57:44]
633*2^1233639-1 is not prime.  Res64: 2B9686F2B5D40BC9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:57:45]
961*2^1233639-1 is not prime.  Res64: A991EB01B0933D0D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:57:45]
615*2^1233640-1 is not prime.  Res64: 8C4BA50245009E7E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 12:57:46]
623*2^1233640-1 is not prime.  Res64: CDA95055D7B9878A  Time : 0.0 sec.
user=vaughan
[2012-11-04 13:05:53]
625*2^1233639-1 is not prime.  Res64: 39C78F51A2855B12  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:18:34]
635*2^1233640-1 is not prime.  Res64: 6275BFC6B9401A04  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:18:35]
743*2^1233640-1 is not prime.  Res64: 2CE679A4E62AF635  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:18:35]
719*2^1233640-1 is not prime.  Res64: E80B7DEF5249C4F8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:18:36]
747*2^1233640-1 is not prime.  Res64: CA0EEDE99B3DA75A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:39:29]
887*2^1233640-1 is not prime.  Res64: FF2530228432737D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:39:29]
905*2^1233640-1 is not prime.  Res64: 832FACD74C9811AD  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:39:29]
927*2^1233640-1 is not prime.  Res64: 30736D0E8433D65B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 13:39:30]
989*2^1233640-1 is not prime.  Res64: 1477083DE56155D0  Time : 0.0 sec.
user=vaughan
[2012-11-04 13:43:37]
825*2^1233640-1 is not prime.  Res64: 065BE3C83621C923  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:00:24]
607*2^1233641-1 is not prime.  Res64: 118B8D31EF9FCFBD  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:00:25]
631*2^1233641-1 is not prime.  Res64: 36C1E1470DC93212  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:00:25]
675*2^1233641-1 is not prime.  Res64: A7B3C5D9B0C201C4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:00:26]
691*2^1233641-1 is not prime.  Res64: 258C435DE95E8C34  Time : 0.0 sec.
user=vaughan
[2012-11-04 14:21:23]
909*2^1233641-1 is not prime.  Res64: 1414D233F3AA7FA2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:21:29]
951*2^1233641-1 is not prime.  Res64: 14311ABA7266CA31  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:21:30]
981*2^1233641-1 is not prime.  Res64: FFC898E3B74008DE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:21:34]
657*2^1233642-1 is not prime.  Res64: EDCF1F889F1A57F2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:21:34]
677*2^1233642-1 is not prime.  Res64: 8FDEE13690DBA345  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:42:42]
893*2^1233642-1 is not prime.  Res64: 5752A85F78D0DFE2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:42:42]
983*2^1233642-1 is not prime.  Res64: 842E60D36F921BC9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:42:48]
673*2^1233643-1 is not prime.  Res64: CCDF2AB3FC5C5821  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 14:42:48]
675*2^1233643-1 is not prime.  Res64: 147F5E1516689E15  Time : 0.0 sec.
user=vaughan
[2012-11-04 14:59:04]
887*2^1233642-1 is not prime.  Res64: 4E25B7080E3B04BB  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:03:42]
829*2^1233643-1 is not prime.  Res64: 0B1E748D44830C9F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:03:44]
873*2^1233643-1 is not prime.  Res64: B5486953BCEB9CA1  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:03:46]
973*2^1233643-1 is not prime.  Res64: 5E0E79B9A1EEF6E5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:03:47]
657*2^1233644-1 is not prime.  Res64: 74D9CF4AB9434FD3  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:24:38]
969*2^1233644-1 is not prime.  Res64: 4F7F8D007D69A604  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:24:38]
639*2^1233645-1 is not prime.  Res64: DC7854C19C70927E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:24:43]
717*2^1233645-1 is not prime.  Res64: 6DE2FA8A6A80AC05  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:24:44]
805*2^1233645-1 is not prime.  Res64: BB58FF6E7FDB7060  Time : 0.0 sec.
user=vaughan
[2012-11-04 15:36:44]
773*2^1233644-1 is not prime.  Res64: FFF997467CF6ADA6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:45:34]
861*2^1233645-1 is not prime.  Res64: 9285ECA372DA7B68  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:45:34]
867*2^1233645-1 is not prime.  Res64: 0C660B9999FAF105  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:45:34]
985*2^1233645-1 is not prime.  Res64: 8C6E5530598A34C7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 15:45:36]
635*2^1233646-1 is not prime.  Res64: 7AA4FFBD5CC34B89  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:06:26]
705*2^1233646-1 is not prime.  Res64: 037B73D626AA2D77  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:06:27]
743*2^1233646-1 is not prime.  Res64: 1A3170E00BB28B89  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:06:35]
755*2^1233646-1 is not prime.  Res64: FE7C8D735B0B3625  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:06:36]
785*2^1233646-1 is not prime.  Res64: C4AFBDBF08C3A88C  Time : 0.0 sec.
user=vaughan
[2012-11-04 16:14:32]
645*2^1233646-1 is not prime.  Res64: 085B8B2445B08967  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:28:06]
861*2^1233646-1 is not prime.  Res64: A6BEB4C49751A98A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:28:07]
947*2^1233646-1 is not prime.  Res64: 698B155652EC43A7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:28:19]
965*2^1233646-1 is not prime.  Res64: 2D2BAA774BDE0CE0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:28:19]
601*2^1233647-1 is not prime.  Res64: 50E0FD58618B1F5C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:49:43]
739*2^1233647-1 is not prime.  Res64: 769EBD52C14969B2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:49:44]
775*2^1233647-1 is not prime.  Res64: 135DB403E7B6B6D3  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:49:54]
825*2^1233647-1 is not prime.  Res64: 3E82CE28073AC4EA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 16:49:54]
829*2^1233647-1 is not prime.  Res64: 45FB161D34368927  Time : 0.0 sec.
user=vaughan
[2012-11-04 16:52:18]
603*2^1233647-1 is not prime.  Res64: 6A300DE4953B23E8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:11:26]
973*2^1233647-1 is not prime.  Res64: FBF7046AD265AECE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:11:28]
979*2^1233647-1 is not prime.  Res64: 18E4773E2037831A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:11:35]
689*2^1233648-1 is not prime.  Res64: 02B0EB48957FAB28  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:11:37]
699*2^1233648-1 is not prime.  Res64: B443FF3C83AC50C4  Time : 0.0 sec.
user=vaughan
[2012-11-04 17:30:01]
707*2^1233648-1 is not prime.  Res64: 72EC87AD48233D53  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:32:33]
759*2^1233648-1 is not prime.  Res64: 5485F596220D8371  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:32:33]
959*2^1233648-1 is not prime.  Res64: 7DFBC3312683B929  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:32:39]
999*2^1233648-1 is not prime.  Res64: 2C3591E561451E12  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:32:40]
687*2^1233649-1 is not prime.  Res64: 391EDA7DB1AB7814  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:53:22]
747*2^1233649-1 is not prime.  Res64: 294C1658DF2D1CE0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:53:23]
817*2^1233649-1 is not prime.  Res64: 6A97D9E406718EEA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:53:28]
957*2^1233649-1 is not prime.  Res64: C499E90F1B613C83  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 17:53:28]
985*2^1233649-1 is not prime.  Res64: 597D830FEE032D0A  Time : 0.0 sec.
user=vaughan
[2012-11-04 18:07:56]
741*2^1233649-1 is not prime.  Res64: 5B455E660E9D5D14  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:14:12]
615*2^1233650-1 is not prime.  Res64: 2BC7210D08A5BC44  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:14:14]
687*2^1233650-1 is not prime.  Res64: 8D0FDEAB840F23A4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:14:17]
711*2^1233650-1 is not prime.  Res64: 0E19995BAA65DDC4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:14:19]
741*2^1233650-1 is not prime.  Res64: 147D3733A17D12D9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:35:07]
915*2^1233650-1 is not prime.  Res64: 4F67A45C5D114DA8  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:35:08]
609*2^1233651-1 is not prime.  Res64: DC1BEA03B265152D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:35:15]
651*2^1233651-1 is not prime.  Res64: 125CC663D2F393F5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:35:16]
691*2^1233651-1 is not prime.  Res64: 56B215FBA62B6AEE  Time : 0.0 sec.
user=vaughan
[2012-11-04 18:45:44]
867*2^1233650-1 is not prime.  Res64: 40C8A8A8DA5160FF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:55:57]
741*2^1233651-1 is not prime.  Res64: 4368C6C7514E34CF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:55:57]
775*2^1233651-1 is not prime.  Res64: 86FD79C565CD53A7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:56:04]
795*2^1233651-1 is not prime.  Res64: 814370322AE05A62  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 18:56:05]
801*2^1233651-1 is not prime.  Res64: 18F5D4333ABC11E5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:17:02]
873*2^1233651-1 is not prime.  Res64: 36A6F8A8568CF77D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:17:02]
617*2^1233652-1 is not prime.  Res64: 993321AB3AAAB38D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:17:05]
653*2^1233652-1 is not prime.  Res64: D57F3FD2A132DB12  Time : 0.0 sec.
user=vaughan
[2012-11-04 19:23:30]
871*2^1233651-1 is not prime.  Res64: 69458578BA76264B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:38:18]
875*2^1233652-1 is not prime.  Res64: ACBA8179F24EF9E7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:38:19]
959*2^1233652-1 is not prime.  Res64: A0CDC7534DE121D4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:50:15]
945*2^1233651-1 is not prime.  Res64: 76494730A88B3F02  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:59:29]
837*2^1233653-1 is not prime.  Res64: A97174DD6170D5BA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 19:59:31]
949*2^1233653-1 is not prime.  Res64: F25A816CB8AA87C8  Time : 0.0 sec.
user=vaughan
[2012-11-04 20:01:13]
759*2^1233653-1 is not prime.  Res64: 780D9DBC6AAEE78F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:11:41]
957*2^1233653-1 is not prime.  Res64: C5B8170525568DE7  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:11:42]
663*2^1233654-1 is not prime.  Res64: 176579AF100677CC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:21:08]
693*2^1233654-1 is not prime.  Res64: 11C816996193D7FC  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:21:08]
731*2^1233654-1 is not prime.  Res64: EC94E5A09E8F56DE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:33:15]
941*2^1233654-1 is not prime.  Res64: 4141243C9BCA79E4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:33:16]
971*2^1233654-1 is not prime.  Res64: EEE07E0BEF68EF6D  Time : 0.0 sec.
user=vaughan
[2012-11-04 20:38:55]
861*2^1233654-1 is not prime.  Res64: 97D0008E2A69A545  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:42:31]
771*2^1233655-1 is not prime.  Res64: AF1DD28888E522B6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:42:31]
859*2^1233655-1 is not prime.  Res64: 065EA5C365C744EF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:54:20]
909*2^1233655-1 is not prime.  Res64: 313BA6E72B008C4C  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 20:54:20]
693*2^1233656-1 is not prime.  Res64: 195A047A42C53879  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:03:34]
873*2^1233656-1 is not prime.  Res64: 69181ADF342A5F52  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:03:36]
899*2^1233656-1 is not prime.  Res64: D53FC8433494492A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:15:28]
957*2^1233656-1 is not prime.  Res64: 6DA045F3910FA85B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:15:33]
691*2^1233657-1 is not prime.  Res64: C03CABEB55C538C8  Time : 0.0 sec.
user=vaughan
[2012-11-04 21:16:43]
759*2^1233656-1 is not prime.  Res64: BDB90C65918D16C9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:24:56]
699*2^1233657-1 is not prime.  Res64: C3D9692C5A269183  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:24:57]
781*2^1233657-1 is not prime.  Res64: 614A1FBD6DCD4709  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:37:07]
605*2^1233658-1 is not prime.  Res64: 14E7BF3AF7AEFAEE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:37:08]
633*2^1233658-1 is not prime.  Res64: 5D0F149501B91BFA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:46:09]
695*2^1233658-1 is not prime.  Res64: A307D3E1552FB5F2  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:46:10]
747*2^1233658-1 is not prime.  Res64: 77A20735FEA357A6  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:58:17]
881*2^1233658-1 is not prime.  Res64: DBA6794D416D8392  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 21:58:17]
945*2^1233658-1 is not prime.  Res64: 2A1402768FD98D65  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:07:21]
975*2^1233658-1 is not prime.  Res64: 7EBD9E6B272CF44B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:07:22]
1001*2^1233658-1 is not prime.  Res64: 57112697EBF3A893  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:19:27]
619*2^1233659-1 is not prime.  Res64: 71B283A81C9F1405  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:19:31]
705*2^1233659-1 is not prime.  Res64: 733093A68EB8DB91  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:28:33]
733*2^1233659-1 is not prime.  Res64: 4844896636275ED0  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:28:33]
741*2^1233659-1 is not prime.  Res64: C89C965C6184D4E4  Time : 0.0 sec.
user=vaughan
[2012-11-04 22:30:33]
609*2^1233659-1 is not prime.  Res64: 7EFDBEAE687948EA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:40:51]
813*2^1233659-1 is not prime.  Res64: 7E73874007725927  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:40:51]
825*2^1233659-1 is not prime.  Res64: 5773F3EDFEE26B03  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:49:50]
843*2^1233659-1 is not prime.  Res64: 4EC2AB24AD288D1E  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 22:49:50]
943*2^1233659-1 is not prime.  Res64: 86978782153320C4  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:02:02]
991*2^1233659-1 is not prime.  Res64: 773A57A365D0D54B  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:02:03]
723*2^1233660-1 is not prime.  Res64: 63BEC3AC42FFF54F  Time : 0.0 sec.
user=vaughan
[2012-11-04 23:08:16]
985*2^1233659-1 is not prime.  Res64: FFF9DE6DAFFFB93A  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:10:49]
759*2^1233660-1 is not prime.  Res64: 32E7D22EA1A021DE  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:10:51]
873*2^1233660-1 is not prime.  Res64: B4D7F6870FD52CBA  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:23:00]
619*2^1233661-1 is not prime.  Res64: 9301CCE46D83575F  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:23:01]
789*2^1233661-1 is not prime.  Res64: 94CFDF23917F61A5  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:31:38]
877*2^1233661-1 is not prime.  Res64: A63CED3882531646  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:31:39]
901*2^1233661-1 is not prime.  Res64: D4C87D45D58A509D  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:43:50]
975*2^1233661-1 is not prime.  Res64: 998C5C77C320D6CF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:43:51]
979*2^1233661-1 is not prime.  Res64: 1A15315155672D20  Time : 0.0 sec.
user=vaughan
[2012-11-04 23:46:00]
801*2^1233661-1 is not prime.  Res64: 4350BAF5D97C95C9  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:52:28]
677*2^1233662-1 is not prime.  Res64: 779BBE0B0DBA3DCF  Time : 0.0 sec.
user=mdettweiler
[2012-11-04 23:52:29]
705*2^1233662-1 is not prime.  Res64: B408988FCE32DD95  Time : 0.0 sec.