user=mdettweiler
[2012-11-07 00:09:20]
777*2^1233761-1 is not prime.  Res64: DC188802C0ED3A19  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:09:21]
837*2^1233761-1 is not prime.  Res64: 594B9ECEE9419AA3  Time : 0.0 sec.
user=vaughan
[2012-11-07 00:11:40]
717*2^1233761-1 is not prime.  Res64: 3C2EA7C8A618FC54  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:14:58]
931*2^1233761-1 is not prime.  Res64: F2F989F303044664  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:14:59]
633*2^1233762-1 is not prime.  Res64: DCDDF1623C9330B9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:30:39]
683*2^1233762-1 is not prime.  Res64: 029564CFEC64757F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:30:40]
807*2^1233762-1 is not prime.  Res64: 9660CCCBEEF9BA0F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:36:13]
977*2^1233762-1 is not prime.  Res64: 6CAAD79A56D7A032  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:36:14]
603*2^1233763-1 is not prime.  Res64: EBD2E00DEBD5C30D  Time : 0.0 sec.
user=vaughan
[2012-11-07 00:49:22]
891*2^1233762-1 is not prime.  Res64: 05ED6EA0616F02A7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:51:59]
639*2^1233763-1 is not prime.  Res64: 59FB348AF317B88B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:52:00]
663*2^1233763-1 is not prime.  Res64: A251C1F8FC4504D9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:57:30]
735*2^1233763-1 is not prime.  Res64: 60ECFA2CD9BA8E66  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 00:57:31]
783*2^1233763-1 is not prime.  Res64: B25D6383DF659DD7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:12:49]
829*2^1233763-1 is not prime.  Res64: 0EDBF407B24594DF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:12:50]
849*2^1233763-1 is not prime.  Res64: CA342F398C25E29F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:18:24]
871*2^1233763-1 is not prime.  Res64: 5F486EF6E8B1728D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:18:25]
885*2^1233763-1 is not prime.  Res64: 9EE23BD487EB6903  Time : 0.0 sec.
user=vaughan
[2012-11-07 01:27:04]
789*2^1233763-1 is not prime.  Res64: C9BD15BFFF05E8E9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:34:00]
951*2^1233763-1 is not prime.  Res64: ACB556E0C36062BF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:34:01]
759*2^1233764-1 is not prime.  Res64: A70AACBA812D3132  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:39:51]
893*2^1233764-1 is not prime.  Res64: 2FB7E0422DF10973  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:39:52]
899*2^1233764-1 is not prime.  Res64: 40BBE2FEA368C490  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:55:11]
627*2^1233765-1 is not prime.  Res64: 207100E92EE2A429  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 01:55:12]
679*2^1233765-1 is not prime.  Res64: 4072BECE25E9A949  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:00:51]
867*2^1233765-1 is not prime.  Res64: 7B6746B5524A8C45  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:00:53]
999*2^1233765-1 is not prime.  Res64: E47989B30A659BAB  Time : 0.0 sec.
user=vaughan
[2012-11-07 02:04:50]
953*2^1233764-1 is not prime.  Res64: A9FFB34285141B77  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:16:06]
603*2^1233766-1 is not prime.  Res64: C926989A8D9D2410  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:16:08]
635*2^1233766-1 is not prime.  Res64: 1521E622351CB8CA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:22:02]
723*2^1233766-1 is not prime.  Res64: 4552594F7D57ED03  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:22:02]
783*2^1233766-1 is not prime.  Res64: 630C9AD4A3FA291E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:37:21]
933*2^1233766-1 is not prime.  Res64: 291D4A9A56EC143B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:37:24]
981*2^1233766-1 is not prime.  Res64: 3DEE539064A529B0  Time : 0.0 sec.
user=vaughan
[2012-11-07 02:42:36]
857*2^1233766-1 is not prime.  Res64: 27EC2919014F1505  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:42:56]
609*2^1233767-1 is not prime.  Res64: C9A074556BF32EE9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:43:05]
661*2^1233767-1 is not prime.  Res64: 788B8E2FA881E076  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:58:22]
663*2^1233767-1 is not prime.  Res64: F082974693DF4D99  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 02:58:24]
685*2^1233767-1 is not prime.  Res64: E33F43BD125A1F30  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:04:05]
949*2^1233767-1 is not prime.  Res64: DCEE2DBA9D6C4F66  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:04:06]
985*2^1233767-1 is not prime.  Res64: 0CE3156B99D74CC0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:19:20]
689*2^1233768-1 is not prime.  Res64: 65B3F650BFBB809D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:19:22]
735*2^1233768-1 is not prime.  Res64: 0601683B6AC173C4  Time : 0.0 sec.
user=vaughan
[2012-11-07 03:20:44]
739*2^1233767-1 is not prime.  Res64: C687B360078C931C  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:24:59]
737*2^1233768-1 is not prime.  Res64: 3136EC4FE25B81F7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:25:01]
759*2^1233768-1 is not prime.  Res64: FE43079DADD412A3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:40:16]
849*2^1233768-1 is not prime.  Res64: C78065838DC55550  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:40:17]
927*2^1233768-1 is not prime.  Res64: 696EF6A4FF43480F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:45:54]
769*2^1233769-1 is not prime.  Res64: 790E637ACE40BCCE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 03:45:55]
829*2^1233769-1 is not prime.  Res64: CE6D077FDBEC6628  Time : 0.0 sec.
user=vaughan
[2012-11-07 03:58:30]
747*2^1233769-1 is not prime.  Res64: 985BDCF7AD65B59E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:01:14]
841*2^1233769-1 is not prime.  Res64: 5AA14217042E516E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:01:16]
979*2^1233769-1 is not prime.  Res64: B3AE821E74D91A75  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:06:49]
657*2^1233770-1 is not prime.  Res64: 318212B112FB7E01  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:06:52]
741*2^1233770-1 is not prime.  Res64: 8D86547D7DDF13BA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:22:12]
797*2^1233770-1 is not prime.  Res64: 88EA4451FF5BFA11  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:22:13]
845*2^1233770-1 is not prime.  Res64: 9F42DD3527BE4AF7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:27:53]
885*2^1233770-1 is not prime.  Res64: 35DCB5C475B30E9B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:27:54]
921*2^1233770-1 is not prime.  Res64: 3034F6DDC57F8C1B  Time : 0.0 sec.
user=vaughan
[2012-11-07 04:36:17]
743*2^1233770-1 is not prime.  Res64: EA39870E2ACD68BC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:43:08]
971*2^1233770-1 is not prime.  Res64: 6872792EB0D0EA7B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:43:10]
625*2^1233771-1 is not prime.  Res64: F815105B2EEEF85D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:48:47]
643*2^1233771-1 is not prime.  Res64: D4A374F1247EBE32  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 04:48:48]
651*2^1233771-1 is not prime.  Res64: DB0AB45502DF0457  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:04:19]
753*2^1233771-1 is not prime.  Res64: 4415390775B99F3E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:04:24]
975*2^1233771-1 is not prime.  Res64: F5DFBF922F74A89B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:09:46]
605*2^1233772-1 is not prime.  Res64: 34096F1F4A4481B7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:09:50]
657*2^1233772-1 is not prime.  Res64: 54246DCFF84C58E9  Time : 0.0 sec.
user=vaughan
[2012-11-07 05:14:26]
723*2^1233771-1 is not prime.  Res64: AB77D8C343B81C7F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:25:48]
687*2^1233772-1 is not prime.  Res64: D675AE34D928DDCD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:25:49]
749*2^1233772-1 is not prime.  Res64: BB2E1C0DD3E153A2  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:31:11]
803*2^1233772-1 is not prime.  Res64: AC214AF855A429D4  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:31:13]
827*2^1233772-1 is not prime.  Res64: 4B873B4E528494FF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:46:41]
885*2^1233772-1 is not prime.  Res64: DFFA2FDCF0BFB003  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:46:42]
965*2^1233772-1 is not prime.  Res64: 8DC376F25BC96306  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:52:08]
685*2^1233773-1 is not prime.  Res64: F0FC3C08BCDAEFB1  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 05:52:09]
829*2^1233773-1 is not prime.  Res64: DB9E4E12CBAE6F5B  Time : 0.0 sec.
user=vaughan
[2012-11-07 05:52:11]
833*2^1233772-1 is not prime.  Res64: 4D34322EAFA585ED  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:07:38]
847*2^1233773-1 is not prime.  Res64: 7786F547FCD5ACB8  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:07:40]
987*2^1233773-1 is not prime.  Res64: A2F1E3B823DF47E9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:13:03]
681*2^1233774-1 is not prime.  Res64: AC6C77D2D1822C94  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:13:06]
717*2^1233774-1 is not prime.  Res64: 9DA36521B4B302F6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:28:41]
773*2^1233774-1 is not prime.  Res64: 04BDEF2F1279E87C  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:28:42]
873*2^1233774-1 is not prime.  Res64: EFB4E8BDB56F5C66  Time : 0.0 sec.
user=vaughan
[2012-11-07 06:30:02]
671*2^1233774-1 is not prime.  Res64: 98008E7B388ED8C6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:34:04]
881*2^1233774-1 is not prime.  Res64: 5998BB8B15430E70  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:34:06]
915*2^1233774-1 is not prime.  Res64: 77D459F0E3034E90  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:49:33]
645*2^1233775-1 is not prime.  Res64: B5A954F51DC20B51  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:49:34]
705*2^1233775-1 is not prime.  Res64: F3C843442CA146F7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:55:00]
915*2^1233775-1 is not prime.  Res64: 31146912C836F471  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 06:55:01]
603*2^1233776-1 is not prime.  Res64: 16483E9551017173  Time : 0.0 sec.
user=vaughan
[2012-11-07 07:07:52]
735*2^1233775-1 is not prime.  Res64: 40C799E2E10D151B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:10:30]
609*2^1233776-1 is not prime.  Res64: D37B7938FE33CD62  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:10:32]
623*2^1233776-1 is not prime.  Res64: C4026D5CFDC77A75  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:15:54]
855*2^1233776-1 is not prime.  Res64: 88579C33215A91FE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:15:58]
909*2^1233776-1 is not prime.  Res64: 5B4CECA129D031BA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:31:26]
969*2^1233776-1 is not prime.  Res64: 5DF4A1032E065FD6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:31:26]
983*2^1233776-1 is not prime.  Res64: C9C4917835C83C08  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:37:06]
649*2^1233777-1 is not prime.  Res64: C6190006BA5E52CA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:37:07]
685*2^1233777-1 is not prime.  Res64: 0A455C3733022767  Time : 0.0 sec.
user=vaughan
[2012-11-07 07:45:43]
927*2^1233776-1 is not prime.  Res64: 83CACB53E7A0F5C3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:52:16]
709*2^1233777-1 is not prime.  Res64: 654E8A569B9A235D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:52:17]
937*2^1233777-1 is not prime.  Res64: 89120295ECBB2BEB  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:58:01]
949*2^1233777-1 is not prime.  Res64: 75D3EE532BB67F72  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 07:58:03]
611*2^1233778-1 is not prime.  Res64: 483C88BB1C170C15  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:13:07]
651*2^1233778-1 is not prime.  Res64: 0C4505D976138ECD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:13:11]
765*2^1233778-1 is not prime.  Res64: 8EB71278932A2524  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:18:57]
773*2^1233778-1 is not prime.  Res64: CCB2929A3805CE31  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:18:58]
833*2^1233778-1 is not prime.  Res64: 829051F5A2C8B5BC  Time : 0.0 sec.
user=vaughan
[2012-11-07 08:23:30]
617*2^1233778-1 is not prime.  Res64: 528B954E93A16380  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:34:15]
855*2^1233778-1 is not prime.  Res64: 29D196F56C8388F3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:34:17]
891*2^1233778-1 is not prime.  Res64: 9A5AA581CF6351F2  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:39:53]
945*2^1233778-1 is not prime.  Res64: 0A837D82E183E670  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:39:53]
619*2^1233779-1 is not prime.  Res64: D20F03E777C9FF84  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:55:10]
669*2^1233779-1 is not prime.  Res64: 2ED96776F217F716  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 08:55:11]
679*2^1233779-1 is not prime.  Res64: B0CC8BD69CE2D91A  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:00:43]
735*2^1233779-1 is not prime.  Res64: C3C43A0D545A3C10  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:00:44]
861*2^1233779-1 is not prime.  Res64: 4681E32D5351AF6F  Time : 0.0 sec.
user=vaughan
[2012-11-07 09:01:25]
655*2^1233779-1 is not prime.  Res64: 605B31A459D817DC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:16:02]
895*2^1233779-1 is not prime.  Res64: 737432396FEEE816  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:16:05]
979*2^1233779-1 is not prime.  Res64: 84025AA6441AD7FF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:21:36]
615*2^1233780-1 is not prime.  Res64: 29B7D918B6634D86  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:21:38]
693*2^1233780-1 is not prime.  Res64: 77140977B7FC59AE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:37:17]
773*2^1233780-1 is not prime.  Res64: D5F7FC7A6560F919  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:37:18]
839*2^1233780-1 is not prime.  Res64: 5D9AAC8F96CCF261  Time : 0.0 sec.
user=vaughan
[2012-11-07 09:39:15]
767*2^1233780-1 is not prime.  Res64: 91D49FC431610C0D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:42:27]
875*2^1233780-1 is not prime.  Res64: 504715F528879ABD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:42:28]
879*2^1233780-1 is not prime.  Res64: 3D9313FE74362898  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:58:12]
905*2^1233780-1 is not prime.  Res64: 662A2C536D23B853  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 09:58:13]
915*2^1233780-1 is not prime.  Res64: A491B62FEF214CA5  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:03:20]
645*2^1233781-1 is not prime.  Res64: D57AED0FCF60279F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:03:21]
741*2^1233781-1 is not prime.  Res64: E4DA14A66C098065  Time : 0.0 sec.
user=vaughan
[2012-11-07 10:17:10]
987*2^1233780-1 is not prime.  Res64: 2458891FB2D848CC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:19:15]
931*2^1233781-1 is not prime.  Res64: 9EBEED8242B77C6A  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:19:18]
937*2^1233781-1 is not prime.  Res64: AEF3605EC5C73A38  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:24:24]
997*2^1233781-1 is not prime.  Res64: CDCE7F44F21631A6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:24:25]
731*2^1233782-1 is not prime.  Res64: 2E0D4DB636147099  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:40:52]
801*2^1233782-1 is not prime.  Res64: 70317D770CCE1C52  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:40:52]
813*2^1233782-1 is not prime.  Res64: 3A515E532B624599  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:45:57]
923*2^1233782-1 is not prime.  Res64: A9532F4B327797C0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 10:45:58]
935*2^1233782-1 is not prime.  Res64: 2111E7DCD1115F12  Time : 0.0 sec.
user=vaughan
[2012-11-07 10:55:26]
741*2^1233782-1 is not prime.  Res64: CA869BB8550C13D7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:02:07]
613*2^1233783-1 is not prime.  Res64: 8894DA8932D00DD0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:02:08]
619*2^1233783-1 is not prime.  Res64: A4208485371CD004  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:07:22]
661*2^1233783-1 is not prime.  Res64: A5D4F6708A4A7A56  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:07:22]
691*2^1233783-1 is not prime.  Res64: 70E7391D32D613DE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:24:21]
805*2^1233783-1 is not prime.  Res64: CC0F9A41AF78F9A1  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:24:21]
901*2^1233783-1 is not prime.  Res64: 771C9074D2E326A5  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:28:59]
623*2^1233784-1 is not prime.  Res64: 31C22F80F2EB2039  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:29:00]
639*2^1233784-1 is not prime.  Res64: A4D48BCC93E71EC8  Time : 0.0 sec.
user=vaughan
[2012-11-07 11:33:11]
775*2^1233783-1 is not prime.  Res64: 2BC9DA968F8E69B5  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:45:41]
699*2^1233784-1 is not prime.  Res64: A5994F726517E9D1  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:45:41]
825*2^1233784-1 is not prime.  Res64: 7AEB92F17CBAC54D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:50:18]
939*2^1233784-1 is not prime.  Res64: D2314720655DA888  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 11:50:18]
771*2^1233785-1 is not prime.  Res64: 7A0DDDA23C1EA8A3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:06:59]
837*2^1233785-1 is not prime.  Res64: 6167D43E78D55319  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:07:01]
815*2^1233786-1 is not prime.  Res64: AEF14AFACB0DC13A  Time : 0.0 sec.
user=vaughan
[2012-11-07 12:11:01]
819*2^1233785-1 is not prime.  Res64: FB779488E668ABAE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:11:37]
861*2^1233786-1 is not prime.  Res64: 577AFC5604CE5E36  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:11:38]
921*2^1233786-1 is not prime.  Res64: FA758D783C22B8AC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:28:34]
923*2^1233786-1 is not prime.  Res64: 411AB39E61C934E6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:28:35]
971*2^1233786-1 is not prime.  Res64: FA04623247BE8D5A  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:33:03]
631*2^1233787-1 is not prime.  Res64: ABB91E63C85213C0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:33:04]
793*2^1233787-1 is not prime.  Res64: 53A3651525F24CA5  Time : 0.0 sec.
user=vaughan
[2012-11-07 12:48:51]
601*2^1233787-1 is not prime.  Res64: DC99E41D156C402B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:49:59]
909*2^1233787-1 is not prime.  Res64: FF197D049A8551AC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:50:00]
979*2^1233787-1 is not prime.  Res64: B724FB8B3618578B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:54:31]
617*2^1233788-1 is not prime.  Res64: 4E5DA03301485EC7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 12:54:32]
633*2^1233788-1 is not prime.  Res64: 4E301670A07D28DF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:11:30]
753*2^1233788-1 is not prime.  Res64: 24124830C5590099  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:11:32]
767*2^1233788-1 is not prime.  Res64: B982C6F738CED8DB  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:15:59]
803*2^1233788-1 is not prime.  Res64: 7DFF387C5D3A4C91  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:16:00]
843*2^1233788-1 is not prime.  Res64: CC90BED612FEB765  Time : 0.0 sec.
user=vaughan
[2012-11-07 13:26:39]
687*2^1233788-1 is not prime.  Res64: 5A1BD77CDFEDEB51  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:33:24]
879*2^1233788-1 is not prime.  Res64: DA3A9F0FB74719AD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:33:25]
885*2^1233788-1 is not prime.  Res64: 2378402A36416229  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:37:57]
893*2^1233788-1 is not prime.  Res64: 793D45605C977C4F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:37:57]
927*2^1233788-1 is not prime.  Res64: C231DF9F55B943D9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:54:49]
987*2^1233788-1 is not prime.  Res64: C77533074F241FCD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:54:50]
999*2^1233788-1 is not prime.  Res64: 69AEE8DD4B7F5C65  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:59:10]
831*2^1233789-1 is not prime.  Res64: 6317D900A84E7809  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 13:59:11]
835*2^1233789-1 is not prime.  Res64: A7BACEC52BE894CA  Time : 0.0 sec.
user=vaughan
[2012-11-07 14:04:30]
953*2^1233788-1 is not prime.  Res64: 9D24C1453DE33101  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:15:41]
877*2^1233789-1 is not prime.  Res64: A8C0E8C593548D1F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:15:44]
951*2^1233789-1 is not prime.  Res64: 74675143E2A85855  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:20:05]
999*2^1233789-1 is not prime.  Res64: 8DF3665D50189BE8  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:20:10]
695*2^1233790-1 is not prime.  Res64: 403504487D015337  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:36:49]
747*2^1233790-1 is not prime.  Res64: E0D16A4B95F1CA50  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:36:50]
827*2^1233790-1 is not prime.  Res64: EB2EFC4120E752C4  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:41:19]
945*2^1233790-1 is not prime.  Res64: 60EDEC78B065CA01  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:41:20]
601*2^1233791-1 is not prime.  Res64: A05BEC29EE6FF9AF  Time : 0.0 sec.
user=vaughan
[2012-11-07 14:42:22]
743*2^1233790-1 is not prime.  Res64: 810027E11CBEE2B6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:57:44]
661*2^1233791-1 is not prime.  Res64: 00BB3F0FB6516270  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 14:57:44]
685*2^1233791-1 is not prime.  Res64: 6AF619676FA3DCB9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:02:16]
735*2^1233791-1 is not prime.  Res64: 6C17712A48298F51  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:02:18]
885*2^1233791-1 is not prime.  Res64: 172375E9FC3AB914  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:18:39]
979*2^1233791-1 is not prime.  Res64: 7A95118B35A1BC47  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:18:42]
633*2^1233792-1 is not prime.  Res64: FE2887D457FB07DC  Time : 0.0 sec.
user=vaughan
[2012-11-07 15:20:10]
909*2^1233791-1 is not prime.  Res64: 47B080E2D7CAE584  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:23:20]
683*2^1233792-1 is not prime.  Res64: 75B5A47CCA9EB2FE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:23:22]
935*2^1233792-1 is not prime.  Res64: C922CD3C1A96EB44  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:39:57]
681*2^1233793-1 is not prime.  Res64: A9A6C65D3737F735  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:39:57]
687*2^1233793-1 is not prime.  Res64: A3AAFC0676941777  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:44:20]
747*2^1233793-1 is not prime.  Res64: 6D44089E00E3E9E5  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 15:44:21]
765*2^1233793-1 is not prime.  Res64: F67390DAEAA2F378  Time : 0.0 sec.
user=vaughan
[2012-11-07 15:58:00]
741*2^1233793-1 is not prime.  Res64: BC23A4FCF8CFDADE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:00:56]
817*2^1233793-1 is not prime.  Res64: 2A3C982C918794A3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:00:59]
847*2^1233793-1 is not prime.  Res64: E9F2A54455B5ADE2  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:05:15]
717*2^1233794-1 is not prime.  Res64: 81C1D6505F0139EB  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:05:17]
797*2^1233794-1 is not prime.  Res64: AAAC40ED5BBC9E3F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:22:13]
857*2^1233794-1 is not prime.  Res64: 7B0CF2D11296C1BF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:22:16]
887*2^1233794-1 is not prime.  Res64: 4569CE9752C67F77  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:26:20]
903*2^1233794-1 is not prime.  Res64: CA77B12D5381D087  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:26:21]
951*2^1233794-1 is not prime.  Res64: F4ACA0E850167F1D  Time : 0.0 sec.
user=vaughan
[2012-11-07 16:35:48]
833*2^1233794-1 is not prime.  Res64: 8A75521D1629DAF7  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:43:23]
995*2^1233794-1 is not prime.  Res64: 70799ED2BB95ED3A  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:43:24]
885*2^1233795-1 is not prime.  Res64: 34DE59BA0D995757  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:47:22]
891*2^1233795-1 is not prime.  Res64: 128B183FCBF684DC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 16:47:22]
921*2^1233795-1 is not prime.  Res64: 1147B60DC38E5C0F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:04:31]
875*2^1233796-1 is not prime.  Res64: CFC3494BF3E43A6C  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:04:33]
601*2^1233797-1 is not prime.  Res64: E64FFFAB66EA3BF1  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:08:21]
645*2^1233797-1 is not prime.  Res64: 3D31B44951A4A634  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:08:23]
901*2^1233797-1 is not prime.  Res64: BABD62D72D72721C  Time : 0.0 sec.
user=vaughan
[2012-11-07 17:13:37]
615*2^1233796-1 is not prime.  Res64: BCF397F9AEB0CF91  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:25:48]
621*2^1233798-1 is not prime.  Res64: CF5FA46AC94F8481  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:25:49]
713*2^1233798-1 is not prime.  Res64: 3BCFF745B77B21B5  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:29:22]
725*2^1233798-1 is not prime.  Res64: 13049E845D2B8511  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:29:24]
773*2^1233798-1 is not prime.  Res64: 8BDF524264F759CA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:46:43]
863*2^1233798-1 is not prime.  Res64: 906D263AD4969DCA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:46:43]
705*2^1233799-1 is not prime.  Res64: A87CD7F1EBE6A02F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:50:25]
741*2^1233799-1 is not prime.  Res64: B58D5E389867BE2D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 17:50:27]
793*2^1233799-1 is not prime.  Res64: C0E3D6F97CE12EBB  Time : 0.0 sec.
user=vaughan
[2012-11-07 17:51:28]
843*2^1233798-1 is not prime.  Res64: 908A33FC84C6264A  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:07:58]
841*2^1233799-1 is not prime.  Res64: 46E146C4AE08572E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:07:59]
919*2^1233799-1 is not prime.  Res64: C1D8D3F45D6D5739  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:11:58]
629*2^1233800-1 is not prime.  Res64: BCCBABE19514591E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:12:03]
669*2^1233800-1 is not prime.  Res64: F3F76AC7E6D20CCF  Time : 0.0 sec.
user=vaughan
[2012-11-07 18:29:18]
839*2^1233800-1 is not prime.  Res64: BF854E1C86723DAA  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:29:33]
935*2^1233800-1 is not prime.  Res64: B2D45CD2CC411970  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:29:33]
627*2^1233801-1 is not prime.  Res64: 47E9FB4B02B54A8B  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:33:19]
637*2^1233801-1 is not prime.  Res64: BF6B7A82A86A64A9  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:33:19]
705*2^1233801-1 is not prime.  Res64: F59CF93F8E364253  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:50:31]
847*2^1233801-1 is not prime.  Res64: CC6068A7BCA1C5AE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:50:31]
861*2^1233801-1 is not prime.  Res64: 5B7EA4BB0CF0C757  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:54:22]
653*2^1233802-1 is not prime.  Res64: 1EEBF3A0BAEFE186  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 18:54:23]
677*2^1233802-1 is not prime.  Res64: F149263BBDC44C90  Time : 0.0 sec.
user=vaughan
[2012-11-07 19:07:08]
777*2^1233801-1 is not prime.  Res64: 40CC6081C9052021  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:11:31]
723*2^1233802-1 is not prime.  Res64: E91A50493084393A  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:11:31]
737*2^1233802-1 is not prime.  Res64: B179B01675233FD0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:15:24]
821*2^1233802-1 is not prime.  Res64: 0F890D800352F2E8  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:15:25]
827*2^1233802-1 is not prime.  Res64: 42A9BCE820784787  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:32:41]
663*2^1233803-1 is not prime.  Res64: C300087E830D37FB  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:32:41]
859*2^1233803-1 is not prime.  Res64: EF36DE6593DB0438  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:36:31]
707*2^1233804-1 is not prime.  Res64: 4099F0DEBA29B109  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:36:32]
719*2^1233804-1 is not prime.  Res64: DB359DDF979FDEEC  Time : 0.0 sec.
user=vaughan
[2012-11-07 19:44:57]
981*2^1233802-1 is not prime.  Res64: BF5195D8534833D0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:53:46]
809*2^1233804-1 is not prime.  Res64: 38E0E162C168AEE3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:53:46]
863*2^1233804-1 is not prime.  Res64: 7A9ACB6786AF7CFF  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:57:36]
909*2^1233804-1 is not prime.  Res64: DC82CB63352AEF8F  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 19:57:36]
927*2^1233804-1 is not prime.  Res64: 03905033B44A65B3  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:14:42]
965*2^1233804-1 is not prime.  Res64: 416BB89D3168C212  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:14:43]
975*2^1233804-1 is not prime.  Res64: ED871C71B5EA72E0  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:18:36]
649*2^1233805-1 is not prime.  Res64: 61489FF42DD0AF70  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:18:39]
721*2^1233805-1 is not prime.  Res64: AC6616F420E660A2  Time : 0.0 sec.
user=vaughan
[2012-11-07 20:22:47]
959*2^1233804-1 is not prime.  Res64: 52E97B166A216BCD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:35:43]
727*2^1233805-1 is not prime.  Res64: 957535C03BCF277D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:35:43]
741*2^1233805-1 is not prime.  Res64: 28247F06C690C4E5  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:39:34]
777*2^1233805-1 is not prime.  Res64: 0862E39293A717A2  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:39:34]
871*2^1233805-1 is not prime.  Res64: 8574F6BF66D6AD97  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:56:31]
999*2^1233805-1 is not prime.  Res64: 9BD5160D88F4B3E8  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 20:56:32]
615*2^1233806-1 is not prime.  Res64: CC9934465C890E78  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:00:23]
617*2^1233806-1 is not prime.  Res64: FFD19E02FA6D55EC  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:00:25]
635*2^1233806-1 is not prime.  Res64: CDDD31255553A506  Time : 0.0 sec.
user=vaughan
[2012-11-07 21:00:39]
961*2^1233805-1 is not prime.  Res64: 698DC9498CFD2A18  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:17:24]
641*2^1233806-1 is not prime.  Res64: 2D74184C909F98BD  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:18:32]
657*2^1233806-1 is not prime.  Res64: 2EEBE7ACA116F60D  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:21:21]
711*2^1233806-1 is not prime.  Res64: 92BD48B68DBFFAA4  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:21:23]
923*2^1233806-1 is not prime.  Res64: 74BBBE13F82517B6  Time : 0.0 sec.
user=vaughan
[2012-11-07 21:38:27]
953*2^1233806-1 is not prime.  Res64: 75B24134434B2425  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:42:33]
971*2^1233806-1 is not prime.  Res64: 95927C030F3E06C8  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 21:42:34]
609*2^1233807-1 is not prime.  Res64: 5B3CD67A82B21741  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:03:27]
691*2^1233807-1 is not prime.  Res64: 761CDD5D23BE3813  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:03:29]
805*2^1233807-1 is not prime.  Res64: 2AA1236504D53985  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:13:55]
819*2^1233807-1 is not prime.  Res64: B082D44211C200A6  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:13:57]
859*2^1233807-1 is not prime.  Res64: F97FADFA5458283D  Time : 0.0 sec.
user=vaughan
[2012-11-07 22:17:37]
685*2^1233807-1 is not prime.  Res64: E55ED73EFF52AE79  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:24:30]
919*2^1233807-1 is not prime.  Res64: F825A02AF9B02C91  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:24:31]
933*2^1233807-1 is not prime.  Res64: 5941BC62C6253A3E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:34:50]
945*2^1233807-1 is not prime.  Res64: 5A78ED8BC65FEF25  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:34:51]
949*2^1233807-1 is not prime.  Res64: 49DADB0BABD311A2  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:45:27]
975*2^1233807-1 is not prime.  Res64: 5CAB44F90E25534C  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:45:29]
985*2^1233807-1 is not prime.  Res64: 820C709B8D0A1DD4  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:55:43]
723*2^1233808-1 is not prime.  Res64: 175D09985ADC3D1E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 22:55:44]
777*2^1233808-1 is not prime.  Res64: 6EF8C79D31EEC505  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:06:23]
905*2^1233808-1 is not prime.  Res64: 7A9B56FFEB316247  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:06:26]
989*2^1233808-1 is not prime.  Res64: 7F98FB2CA4934C64  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:17:22]
771*2^1233809-1 is not prime.  Res64: 496886B9DF8564FE  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:27:32]
795*2^1233809-1 is not prime.  Res64: 6C204A4FB61EF172  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:27:32]
861*2^1233809-1 is not prime.  Res64: 18E05D02980D6504  Time : 0.0 sec.
user=vaughan
[2012-11-07 23:30:04]
729*2^1233809-1 is not prime.  Res64: 86D87AB586BBBE63  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:44:16]
789*2^1233809-1 is not prime.  Res64: D8B1456E5B64C9D4  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:48:30]
879*2^1233809-1 is not prime.  Res64: CB56F52209917E5E  Time : 0.0 sec.
user=mdettweiler
[2012-11-07 23:48:31]
967*2^1233809-1 is not prime.  Res64: 9A95D7E34BEC3308  Time : 0.0 sec.