user=mdettweiler
[2012-09-08 00:16:40]
619*2^1228327-1 is not prime.  Res64: 11E00CD1BB03AEA2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:16:41]
649*2^1228327-1 is not prime.  Res64: 8DC167FD92B340ED  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:16:43]
715*2^1228327-1 is not prime.  Res64: 5721BF6969AADD45  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:16:45]
617*2^1228328-1 is not prime.  Res64: 2F2D378A450371B7  Time : 0.0 sec.
user=vaughan
[2012-09-08 00:31:10]
993*2^1228326-1 is not prime.  Res64: 0D40110999DA5996  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:37:26]
657*2^1228328-1 is not prime.  Res64: 11B60B4BE496D3B2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:37:27]
969*2^1228328-1 is not prime.  Res64: C0F66E04E13D8AC3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:37:33]
727*2^1228329-1 is not prime.  Res64: E14A44D253C96187  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:37:36]
751*2^1228329-1 is not prime.  Res64: B0FB78E26D4A4C78  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:58:06]
847*2^1228329-1 is not prime.  Res64: 9F139003E15F61EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:58:07]
865*2^1228329-1 is not prime.  Res64: A70EAAE2FEB288C7  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:58:11]
889*2^1228329-1 is not prime.  Res64: 44A7482572B28309  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 00:58:12]
975*2^1228329-1 is not prime.  Res64: 67178C192AEA5FEC  Time : 0.0 sec.
user=vaughan
[2012-09-08 01:08:33]
781*2^1228329-1 is not prime.  Res64: 6926BE800D475319  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:18:44]
979*2^1228329-1 is not prime.  Res64: CDBF36B32CD69130  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:18:45]
623*2^1228330-1 is not prime.  Res64: 267419D1649F6694  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:18:51]
723*2^1228330-1 is not prime.  Res64: 8059B895D41D95D3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:18:52]
777*2^1228330-1 is not prime.  Res64: 8DC205E528F79105  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:39:26]
885*2^1228330-1 is not prime.  Res64: C863DD3BE37FE414  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:39:27]
945*2^1228330-1 is not prime.  Res64: 23163A3E59E5D444  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:39:31]
711*2^1228331-1 is not prime.  Res64: 6AA3EC8E3BD715A1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 01:39:32]
715*2^1228331-1 is not prime.  Res64: FDFE3094AD20330F  Time : 0.0 sec.
user=vaughan
[2012-09-08 01:46:04]
831*2^1228330-1 is not prime.  Res64: 8A16D748F7820FB0  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:00:09]
913*2^1228331-1 is not prime.  Res64: 871D4CBFE9297779  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:00:10]
889*2^1228331-1 is not prime.  Res64: 4EA55DF9A679C211  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:00:10]
973*2^1228331-1 is not prime.  Res64: 576E2763BB7E6093  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:00:11]
895*2^1228331-1 is not prime.  Res64: 3BDAF9D633E7B043  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:20:49]
629*2^1228332-1 is not prime.  Res64: BD67EB34BDD343B5  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:20:50]
633*2^1228332-1 is not prime.  Res64: 70F01108C4D201D6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:20:53]
647*2^1228332-1 is not prime.  Res64: D1C4A5251D517C52  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:20:55]
717*2^1228332-1 is not prime.  Res64: 4813434E7AADD01A  Time : 0.0 sec.
user=vaughan
[2012-09-08 02:23:21]
981*2^1228331-1 is not prime.  Res64: 891FFB5A6E46AFEE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:41:31]
737*2^1228332-1 is not prime.  Res64: 38198C074908887A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:41:34]
749*2^1228332-1 is not prime.  Res64: 1E285743595414A1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:41:34]
797*2^1228332-1 is not prime.  Res64: 9FB33A4B451E5FFA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 02:41:35]
803*2^1228332-1 is not prime.  Res64: 1F23992B84F2CF30  Time : 0.0 sec.
user=vaughan
[2012-09-08 03:00:39]
685*2^1228333-1 is not prime.  Res64: 587A652C10CB09E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:02:29]
687*2^1228333-1 is not prime.  Res64: 3D95240FADF8D1FF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:02:31]
999*2^1228333-1 is not prime.  Res64: 3BDC3470EABAF840  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:02:31]
801*2^1228333-1 is not prime.  Res64: E1F80D4E314A6820  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:02:33]
683*2^1228334-1 is not prime.  Res64: BDAF82066FA15EAA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:23:11]
691*2^1228335-1 is not prime.  Res64: 8CCBAB8B80549CAF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:23:12]
735*2^1228335-1 is not prime.  Res64: 6D71FFE723D34968  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:23:14]
793*2^1228335-1 is not prime.  Res64: 8652C6A41EBC1EFB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:23:15]
603*2^1228336-1 is not prime.  Res64: E02CBD808BFD33EB  Time : 0.0 sec.
user=vaughan
[2012-09-08 03:38:11]
981*2^1228334-1 is not prime.  Res64: E117A49A879AE87E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:43:53]
609*2^1228336-1 is not prime.  Res64: 2904D8B4FE1FAC45  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:43:54]
657*2^1228336-1 is not prime.  Res64: 44AD9D2076CEECEA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:43:54]
689*2^1228336-1 is not prime.  Res64: CC1F1080B3DB7AD8  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 03:43:56]
693*2^1228336-1 is not prime.  Res64: 76A4DC6DDAB76D56  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:04:36]
875*2^1228336-1 is not prime.  Res64: A481421086056C1A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:04:38]
939*2^1228336-1 is not prime.  Res64: 0A711CE36728D146  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:04:39]
933*2^1228336-1 is not prime.  Res64: F95B95536026D3EF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:04:41]
989*2^1228336-1 is not prime.  Res64: 18C8634CC80B4009  Time : 0.0 sec.
user=vaughan
[2012-09-08 04:15:40]
869*2^1228336-1 is not prime.  Res64: 105C1C5F996A0039  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:25:25]
669*2^1228337-1 is not prime.  Res64: 72951342E5144FE4  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:25:26]
795*2^1228337-1 is not prime.  Res64: B76632DC585B9A96  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:25:28]
871*2^1228337-1 is not prime.  Res64: 8111FDAF148BFF1E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:25:29]
955*2^1228337-1 is not prime.  Res64: 4593CB2CE0040DC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:46:03]
695*2^1228338-1 is not prime.  Res64: 0FCF4809DDC8BDC7  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:46:04]
735*2^1228338-1 is not prime.  Res64: 3836C8866FFBF21C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:46:05]
755*2^1228338-1 is not prime.  Res64: E8BE425771ADC1C7  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 04:46:06]
797*2^1228338-1 is not prime.  Res64: A32A67A8020458CE  Time : 0.0 sec.
user=vaughan
[2012-09-08 04:53:00]
605*2^1228338-1 is not prime.  Res64: BB6AA1DEF194A77B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:06:46]
915*2^1228338-1 is not prime.  Res64: 71D27520A07AA77A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:06:47]
957*2^1228338-1 is not prime.  Res64: 235DE374BAFA5F15  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:06:49]
927*2^1228338-1 is not prime.  Res64: 3D32D2C009878C16  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:06:50]
971*2^1228338-1 is not prime.  Res64: 3EA4BFAFD918BF86  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:27:32]
745*2^1228339-1 is not prime.  Res64: AB7E3FB8DA35DCEC  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:27:33]
769*2^1228339-1 is not prime.  Res64: 3974D0666E45E223  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:27:38]
853*2^1228339-1 is not prime.  Res64: D05C2B34E1405541  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:27:40]
861*2^1228339-1 is not prime.  Res64: FAF67DBB5D5A1251  Time : 0.0 sec.
user=vaughan
[2012-09-08 05:30:16]
639*2^1228339-1 is not prime.  Res64: 58D21EA92241DF35  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:48:17]
919*2^1228339-1 is not prime.  Res64: 6F21BD8B91CC163B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:48:19]
629*2^1228340-1 is not prime.  Res64: 7E3EC72097624D0A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:48:19]
615*2^1228340-1 is not prime.  Res64: 50F134269F09A678  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 05:48:20]
633*2^1228340-1 is not prime.  Res64: 30578DE5FC9DA8B0  Time : 0.0 sec.
user=vaughan
[2012-09-08 06:07:34]
819*2^1228340-1 is not prime.  Res64: 8F71C4B1205FD848  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:08:57]
827*2^1228340-1 is not prime.  Res64: 9751464F9C27AE16  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:08:58]
935*2^1228340-1 is not prime.  Res64: 1FDDC9DFFE0C3F97  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:08:59]
875*2^1228340-1 is not prime.  Res64: 0BC8627E1638A22F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:09:00]
959*2^1228340-1 is not prime.  Res64: AAE651E0FA3CBD86  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:29:42]
651*2^1228341-1 is not prime.  Res64: EEDEF6E31FE49D9B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:29:42]
735*2^1228341-1 is not prime.  Res64: CAAF8245950BF8A6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:29:44]
607*2^1228341-1 is not prime.  Res64: E047C2DB5C46A211  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:29:45]
741*2^1228341-1 is not prime.  Res64: CDD738CF23919798  Time : 0.0 sec.
user=vaughan
[2012-09-08 06:44:54]
983*2^1228340-1 is not prime.  Res64: CEC31F4BE9C22761  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:50:21]
745*2^1228341-1 is not prime.  Res64: A07C6F7E57CD017D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:50:22]
825*2^1228341-1 is not prime.  Res64: C49DBE4A584865E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:50:23]
847*2^1228341-1 is not prime.  Res64: AAF98ACB7E730721  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 06:50:24]
991*2^1228341-1 is not prime.  Res64: C29F1721E4438C3D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:11:02]
623*2^1228342-1 is not prime.  Res64: 25F8431816AA4E0D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:11:03]
657*2^1228342-1 is not prime.  Res64: 5E6271C4AB15A126  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:11:04]
635*2^1228342-1 is not prime.  Res64: 582BB689BB502212  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:11:05]
713*2^1228342-1 is not prime.  Res64: 83C9B5DF1BBDE91F  Time : 0.0 sec.
user=vaughan
[2012-09-08 07:22:13]
997*2^1228341-1 is not prime.  Res64: 399AFA9DEB14FEEC  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:31:57]
761*2^1228342-1 is not prime.  Res64: C84503F40E1D6C0E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:31:59]
885*2^1228342-1 is not prime.  Res64: 5220476CB575B737  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:32:02]
897*2^1228342-1 is not prime.  Res64: 54F786CD639E291E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:32:03]
911*2^1228342-1 is not prime.  Res64: A496D646D69B95AD  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:52:37]
619*2^1228343-1 is not prime.  Res64: 1C42DFED39C2EA93  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:52:38]
705*2^1228343-1 is not prime.  Res64: 4158800AFFBE6667  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:52:39]
771*2^1228343-1 is not prime.  Res64: 0880D99B28CAD6DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 07:52:40]
813*2^1228343-1 is not prime.  Res64: B45E465BC2990918  Time : 0.0 sec.
user=vaughan
[2012-09-08 07:59:34]
983*2^1228342-1 is not prime.  Res64: B1E90805FC8426E6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:13:16]
859*2^1228343-1 is not prime.  Res64: D9C1DF078A90209E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:13:18]
963*2^1228343-1 is not prime.  Res64: 262667B3FA623DEB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:13:19]
981*2^1228343-1 is not prime.  Res64: 89CFF7A0D59CC2D8  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:13:21]
985*2^1228343-1 is not prime.  Res64: 88713ED9CAFFE06A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:34:18]
705*2^1228344-1 is not prime.  Res64: 237E64CFAC877806  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:34:19]
725*2^1228344-1 is not prime.  Res64: FE0927AF8DDA2275  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:34:22]
789*2^1228344-1 is not prime.  Res64: B11FC46AE5AEBF72  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 08:34:24]
799*2^1228345-1 is not prime.  Res64: C8A03731B272EA98  Time : 0.0 sec.
user=vaughan
[2012-09-08 08:36:51]
993*2^1228343-1 is not prime.  Res64: A52931665B586922  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:04:50]
801*2^1228345-1 is not prime.  Res64: 20EBE3C1E306AFA0  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:04:52]
861*2^1228345-1 is not prime.  Res64: 131BC1C45D736855  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:05:00]
939*2^1228345-1 is not prime.  Res64: B84FCEDEDD5B14C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:05:03]
633*2^1228346-1 is not prime.  Res64: EC1ADB39EB4B4323  Time : 0.0 sec.
user=vaughan
[2012-09-08 09:14:15]
741*2^1228346-1 is not prime.  Res64: 7A971323CAED41D5  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:25:37]
747*2^1228346-1 is not prime.  Res64: F35E46ADE068706C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:25:38]
773*2^1228346-1 is not prime.  Res64: B1C026E34F78AEDC  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:25:41]
837*2^1228346-1 is not prime.  Res64: AC204BE4C35CF7E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:25:43]
873*2^1228346-1 is not prime.  Res64: 1C4F22DB5267ACAA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:46:16]
917*2^1228346-1 is not prime.  Res64: 69D4C5CBBC680D59  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:46:17]
953*2^1228346-1 is not prime.  Res64: 4647D39AA5B637E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:46:23]
735*2^1228347-1 is not prime.  Res64: B894EDEE20994290  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:46:24]
741*2^1228347-1 is not prime.  Res64: 7981A303490E1B41  Time : 0.0 sec.
user=vaughan
[2012-09-08 09:51:46]
911*2^1228346-1 is not prime.  Res64: 0089E514AC39E7C7  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:06:56]
769*2^1228347-1 is not prime.  Res64: 42B94738AFB00474  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:06:59]
823*2^1228347-1 is not prime.  Res64: 747869724D5F0CDA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:07:03]
891*2^1228347-1 is not prime.  Res64: CE1D72E5D59257FC  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:07:06]
973*2^1228347-1 is not prime.  Res64: 1D5FCFC07B6ADE1E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:27:55]
855*2^1228348-1 is not prime.  Res64: 4918F27B296304FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:27:57]
989*2^1228348-1 is not prime.  Res64: 0B0A5406DC366627  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:28:03]
735*2^1228349-1 is not prime.  Res64: BCCAA57E854A129F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:28:05]
799*2^1228349-1 is not prime.  Res64: 12476829A924EAEE  Time : 0.0 sec.
user=vaughan
[2012-09-08 10:29:14]
723*2^1228348-1 is not prime.  Res64: 6C0323F2FAE6EC3B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:48:44]
819*2^1228349-1 is not prime.  Res64: DE2EA11DDB33E06F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:48:45]
829*2^1228349-1 is not prime.  Res64: 0469515303087FAA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:48:46]
885*2^1228350-1 is not prime.  Res64: 2D23B566795E09EB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 10:48:47]
921*2^1228350-1 is not prime.  Res64: B112CEFBE281CD2C  Time : 0.0 sec.
user=vaughan
[2012-09-08 11:06:36]
933*2^1228350-1 is not prime.  Res64: CD0B4C2B75531FAD  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:09:22]
971*2^1228350-1 is not prime.  Res64: 7826A796589DAE31  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:09:24]
619*2^1228351-1 is not prime.  Res64: 2D8DE4E4D744CF78  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:09:26]
651*2^1228351-1 is not prime.  Res64: 760229F6DDF14B33  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:09:28]
723*2^1228351-1 is not prime.  Res64: 429B7D1AD5C83828  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:30:13]
909*2^1228351-1 is not prime.  Res64: 122C3D7DC2F7A89C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:30:14]
669*2^1228352-1 is not prime.  Res64: CC168046F0E6DFE0  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:30:16]
973*2^1228351-1 is not prime.  Res64: BF2BABFE970FD136  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:30:17]
857*2^1228352-1 is not prime.  Res64: A77FA8758608AF2F  Time : 0.0 sec.
user=vaughan
[2012-09-08 11:44:14]
829*2^1228351-1 is not prime.  Res64: C21FA7F4024D386D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:50:51]
917*2^1228352-1 is not prime.  Res64: 9F6494934FACD0EF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:50:52]
995*2^1228352-1 is not prime.  Res64: 4CB3EB2BD7B5D1CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:50:54]
999*2^1228352-1 is not prime.  Res64: F7889F1E62A37A16  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 11:50:55]
735*2^1228353-1 is not prime.  Res64: 3728AECBDD2EE520  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:11:42]
889*2^1228353-1 is not prime.  Res64: CFE63C9E6076138E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:11:43]
671*2^1228354-1 is not prime.  Res64: 06110EA6C00F3C79  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:11:47]
915*2^1228354-1 is not prime.  Res64: E83D7C6EA70E3A7F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:11:48]
923*2^1228354-1 is not prime.  Res64: 09B3BE36E443D338  Time : 0.0 sec.
user=vaughan
[2012-09-08 12:21:32]
885*2^1228353-1 is not prime.  Res64: F8535CBBFF85649D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:32:53]
649*2^1228355-1 is not prime.  Res64: F53ED68CA654AC7A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:32:53]
685*2^1228355-1 is not prime.  Res64: 4299247AFB46DA5A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:32:58]
783*2^1228355-1 is not prime.  Res64: AE3FE84022386FE7  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:32:58]
915*2^1228355-1 is not prime.  Res64: BAC10CF29CCCC2CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:54:05]
615*2^1228356-1 is not prime.  Res64: F667903B31BFCE2F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:54:05]
657*2^1228356-1 is not prime.  Res64: 7FCE3BBB65D08829  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:54:09]
717*2^1228356-1 is not prime.  Res64: 02757562F08454CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 12:54:09]
803*2^1228356-1 is not prime.  Res64: CA42549FB61CEB8D  Time : 0.0 sec.
user=vaughan
[2012-09-08 12:58:55]
973*2^1228355-1 is not prime.  Res64: 2FC91913D7AF26AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:14:52]
615*2^1228357-1 is not prime.  Res64: 276D48BA7E3BBBB3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:14:54]
667*2^1228357-1 is not prime.  Res64: 8287A6CB3E255758  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:15:01]
769*2^1228357-1 is not prime.  Res64: 6BE4368CCD30C48C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:15:03]
945*2^1228357-1 is not prime.  Res64: 58B6E9EF05B1EB4B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:35:42]
603*2^1228358-1 is not prime.  Res64: FD7777E738528FCA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:35:44]
641*2^1228358-1 is not prime.  Res64: 468B49F8C24DC91F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:35:45]
665*2^1228358-1 is not prime.  Res64: 9689FB7495956C63  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:35:45]
711*2^1228358-1 is not prime.  Res64: B3E8A75C00A158BC  Time : 0.0 sec.
user=vaughan
[2012-09-08 13:36:25]
957*2^1228357-1 is not prime.  Res64: D31D2EA6B07C50B1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:56:17]
753*2^1228358-1 is not prime.  Res64: 6006FFFCC7C54521  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:56:18]
773*2^1228358-1 is not prime.  Res64: 41F8A59A9BD1386F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:56:21]
813*2^1228358-1 is not prime.  Res64: 9B23999C079BBB6A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 13:56:22]
815*2^1228358-1 is not prime.  Res64: C311DE90133410D0  Time : 0.0 sec.
user=vaughan
[2012-09-08 14:13:48]
867*2^1228358-1 is not prime.  Res64: AAE47C9184C0B67D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:16:50]
935*2^1228358-1 is not prime.  Res64: BD6E4CBD5DCAE4F9  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:16:51]
971*2^1228358-1 is not prime.  Res64: 68171ED9221686C6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:16:54]
675*2^1228359-1 is not prime.  Res64: 5398CFAFCBA87310  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:16:55]
735*2^1228359-1 is not prime.  Res64: 6250DA5EA665EC4B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:37:25]
831*2^1228359-1 is not prime.  Res64: 2C3F7CF76605B72D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:37:25]
861*2^1228359-1 is not prime.  Res64: 5CF4D047FBCDF2AC  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:37:31]
909*2^1228359-1 is not prime.  Res64: 711AD87A049DD02B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:37:31]
933*2^1228359-1 is not prime.  Res64: 13DFCF30D151D809  Time : 0.0 sec.
user=vaughan
[2012-09-08 14:51:15]
775*2^1228359-1 is not prime.  Res64: 78D6DB101B485ED4  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:58:00]
955*2^1228359-1 is not prime.  Res64: 2D06D15966995510  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:58:00]
653*2^1228360-1 is not prime.  Res64: 7DB630E178A1EF8A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:58:02]
687*2^1228360-1 is not prime.  Res64: DF4D038D51318379  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 14:58:03]
693*2^1228360-1 is not prime.  Res64: 277D50DAF3EB929F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:18:34]
713*2^1228360-1 is not prime.  Res64: 700FD0D6A4718A59  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:18:35]
875*2^1228360-1 is not prime.  Res64: C555B8C379675580  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:18:36]
887*2^1228360-1 is not prime.  Res64: A0C83D4419F18990  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:18:36]
917*2^1228360-1 is not prime.  Res64: 2CDD70E28B64C5DC  Time : 0.0 sec.
user=vaughan
[2012-09-08 15:28:35]
699*2^1228360-1 is not prime.  Res64: 413173078EC7C868  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:39:12]
805*2^1228361-1 is not prime.  Res64: E4DAE899286CD28A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:39:12]
735*2^1228362-1 is not prime.  Res64: 900C2CEE2D4835D6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:39:13]
653*2^1228362-1 is not prime.  Res64: E1802856FED93AA2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:39:13]
765*2^1228362-1 is not prime.  Res64: D163489BDD524928  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:59:48]
893*2^1228362-1 is not prime.  Res64: BDA752B3A58695CB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:59:48]
835*2^1228363-1 is not prime.  Res64: B71F68FD34EA3FBC  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:59:49]
849*2^1228363-1 is not prime.  Res64: 72D2B2395282E3C9  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 15:59:49]
771*2^1228363-1 is not prime.  Res64: 069F232D0225726D  Time : 0.0 sec.
user=vaughan
[2012-09-08 16:06:04]
875*2^1228362-1 is not prime.  Res64: 0D047E51F4C6DA0C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:20:21]
853*2^1228363-1 is not prime.  Res64: 01FA7A3976B1EE21  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:20:22]
945*2^1228363-1 is not prime.  Res64: 45A9BB8B4E9F56E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:20:25]
665*2^1228364-1 is not prime.  Res64: 78C464CF1B08FEA9  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:20:25]
885*2^1228364-1 is not prime.  Res64: E7B830C643B2E847  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:41:19]
935*2^1228364-1 is not prime.  Res64: 491CD837D0E63E7B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:41:19]
953*2^1228364-1 is not prime.  Res64: AB86E2969AA973EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:41:21]
959*2^1228364-1 is not prime.  Res64: 09085ED3D3B8C7D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 16:41:22]
995*2^1228364-1 is not prime.  Res64: 3B9D8D29287BD401  Time : 0.0 sec.
user=vaughan
[2012-09-08 16:43:39]
893*2^1228364-1 is not prime.  Res64: A420A7B6CB460583  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:02:26]
601*2^1228365-1 is not prime.  Res64: C70E345A39990103  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:02:27]
627*2^1228365-1 is not prime.  Res64: 8C5768C59791EEFF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:02:27]
787*2^1228365-1 is not prime.  Res64: 75CA0C5F5A0D5B2B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:02:28]
889*2^1228365-1 is not prime.  Res64: 22076A6EE1F66013  Time : 0.0 sec.
user=vaughan
[2012-09-08 17:20:59]
647*2^1228366-1 is not prime.  Res64: B8121DA40296232C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:23:46]
705*2^1228366-1 is not prime.  Res64: BBCC8DF888A3C50D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:23:47]
843*2^1228366-1 is not prime.  Res64: 9A47755483716003  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:23:47]
855*2^1228366-1 is not prime.  Res64: 9DEDBE852277F1A2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:23:47]
917*2^1228366-1 is not prime.  Res64: 77DBE599260F4CDB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:44:52]
633*2^1228367-1 is not prime.  Res64: 2EC074E70F237E46  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:44:53]
735*2^1228367-1 is not prime.  Res64: CDAC45BE8C9151AA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:44:53]
759*2^1228367-1 is not prime.  Res64: 34B623EEB16FB820  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 17:44:53]
819*2^1228367-1 is not prime.  Res64: D148DC9E76E4D058  Time : 0.0 sec.
user=vaughan
[2012-09-08 17:58:23]
993*2^1228366-1 is not prime.  Res64: 3D1EE117178D63E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:06:00]
901*2^1228367-1 is not prime.  Res64: A63C3BA904502D16  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:06:00]
991*2^1228367-1 is not prime.  Res64: 2EFE003C0183DAA1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:06:01]
985*2^1228367-1 is not prime.  Res64: 8DF6FBA82CFA9BB6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:06:01]
635*2^1228368-1 is not prime.  Res64: 3A356128E0CEB9F0  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:27:21]
839*2^1228368-1 is not prime.  Res64: 769D3019C4ABF308  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:27:21]
879*2^1228368-1 is not prime.  Res64: 66899A619EAD6760  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:27:26]
915*2^1228368-1 is not prime.  Res64: B8D6D5414B8DEF8A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:27:27]
927*2^1228368-1 is not prime.  Res64: E304B2F2283D132E  Time : 0.0 sec.
user=vaughan
[2012-09-08 18:35:44]
707*2^1228368-1 is not prime.  Res64: C7CDB0DFD94BE928  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:48:32]
959*2^1228368-1 is not prime.  Res64: DEF68734419B0EAD  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:48:32]
717*2^1228370-1 is not prime.  Res64: 10D8DBC4496476BD  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:48:32]
785*2^1228370-1 is not prime.  Res64: 072C11532EF013E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 18:48:32]
951*2^1228369-1 is not prime.  Res64: 2B78BFF98F68F9DF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:09:38]
791*2^1228370-1 is not prime.  Res64: 26DD0C7FBB0639F4  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:09:38]
857*2^1228370-1 is not prime.  Res64: E058886354BD969A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:09:39]
797*2^1228370-1 is not prime.  Res64: 22ADA514E8B1F73D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:09:39]
861*2^1228370-1 is not prime.  Res64: 91E9E7B11CC442EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:30:47]
945*2^1228370-1 is not prime.  Res64: 4F9F9C4635E35406  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:30:48]
987*2^1228370-1 is not prime.  Res64: C3B6B80E290A9F1D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:30:48]
615*2^1228371-1 is not prime.  Res64: 931ACD4BC31CE63F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:30:49]
703*2^1228371-1 is not prime.  Res64: EB2535BB7F73435B  Time : 0.0 sec.
user=gd_barnes
[2012-09-08 19:32:35]
915*2^1228370-1 is not prime.  Res64: 38C81B17D39BC355  Time : 0.0 sec.
user=vaughan
[2012-09-08 19:50:30]
709*2^1228371-1 is not prime.  Res64: 02100A23490F3A30  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:51:55]
745*2^1228371-1 is not prime.  Res64: EA950D373C6BA94C  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:51:56]
751*2^1228371-1 is not prime.  Res64: D8491B320BA22B83  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:51:59]
793*2^1228371-1 is not prime.  Res64: D410415C1829D52F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 19:51:59]
615*2^1228372-1 is not prime.  Res64: D5E1BDBEE08B919D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:13:04]
933*2^1228372-1 is not prime.  Res64: D2B862D088E4190F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:13:05]
621*2^1228373-1 is not prime.  Res64: 2D18791815FB5DA2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:13:05]
631*2^1228373-1 is not prime.  Res64: 227E8465DE96E791  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:13:06]
939*2^1228373-1 is not prime.  Res64: 4C71ECEE68A5F0DA  Time : 0.0 sec.
user=vaughan
[2012-09-08 20:27:49]
689*2^1228372-1 is not prime.  Res64: 8D39F905DD41A0C1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:34:15]
815*2^1228374-1 is not prime.  Res64: E7D4227C56320680  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:34:16]
921*2^1228374-1 is not prime.  Res64: F5EABB5AC28902DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:34:16]
941*2^1228374-1 is not prime.  Res64: BE7390A67EB4D1A2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:34:16]
993*2^1228374-1 is not prime.  Res64: AF0E103F114D1BB9  Time : 0.0 sec.
user=gd_barnes
[2012-09-08 20:37:31]
681*2^1228374-1 is not prime.  Res64: 22043741A10CC685  Time : 0.0 sec.
user=gd_barnes
[2012-09-08 20:37:39]
683*2^1228374-1 is not prime.  Res64: FE254D4C6AF5C483  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:55:22]
705*2^1228375-1 is not prime.  Res64: 2A02BC35C176D121  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:55:22]
765*2^1228375-1 is not prime.  Res64: DF9D21DB36B3531E  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:55:22]
723*2^1228375-1 is not prime.  Res64: D1699BAB944EF0DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 20:55:22]
805*2^1228375-1 is not prime.  Res64: 1A97268586A25D2C  Time : 0.0 sec.
user=vaughan
[2012-09-08 21:05:13]
1001*2^1228374-1 is not prime.  Res64: 30616553CC5DE3DD  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:16:32]
859*2^1228375-1 is not prime.  Res64: C7B8D01EE4247367  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:16:33]
743*2^1228376-1 is not prime.  Res64: 19D119FC3552B522  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:16:33]
735*2^1228376-1 is not prime.  Res64: 1C22452C71A0E767  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:16:34]
855*2^1228376-1 is not prime.  Res64: A75366AF2AB267D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:38:14]
983*2^1228376-1 is not prime.  Res64: DBA60658B48D0E3D  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:38:15]
999*2^1228376-1 is not prime.  Res64: 8F46981550BA355A  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:38:16]
669*2^1228377-1 is not prime.  Res64: 4399E3F37ECDD903  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:38:16]
735*2^1228377-1 is not prime.  Res64: 9CABFF3B45A9B385  Time : 0.0 sec.
user=vaughan
[2012-09-08 21:42:55]
893*2^1228376-1 is not prime.  Res64: 1109D95F8816FAA5  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:59:32]
849*2^1228377-1 is not prime.  Res64: 4B2AE6B72D99B48B  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:59:32]
937*2^1228377-1 is not prime.  Res64: 1FA7D823333B6F8F  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:59:33]
769*2^1228377-1 is not prime.  Res64: 3AA8636F27ECD3D5  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 21:59:34]
781*2^1228377-1 is not prime.  Res64: 955B99E118456FC6  Time : 0.0 sec.
user=vaughan
[2012-09-08 22:20:16]
611*2^1228378-1 is not prime.  Res64: BB982088FFA39DAF  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:20:44]
621*2^1228378-1 is not prime.  Res64: 90FCCA4CC5D0F2C2  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:20:45]
635*2^1228378-1 is not prime.  Res64: 7721FEE33C3C1AD3  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:20:46]
651*2^1228378-1 is not prime.  Res64: 1C88E7D2DFC0C239  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:20:46]
677*2^1228378-1 is not prime.  Res64: E24034D95E01DCD9  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:41:58]
755*2^1228378-1 is not prime.  Res64: 474F4547B628CCA8  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:41:59]
815*2^1228378-1 is not prime.  Res64: AFA699D5223BD8D9  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:42:01]
825*2^1228378-1 is not prime.  Res64: 0445275E1786A8DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 22:42:02]
915*2^1228378-1 is not prime.  Res64: E5774E8F7636C8F8  Time : 0.0 sec.
user=vaughan
[2012-09-08 22:57:47]
731*2^1228378-1 is not prime.  Res64: E9BE8FA076B746A8  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:03:15]
941*2^1228378-1 is not prime.  Res64: 251FCD16065635BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:03:16]
603*2^1228379-1 is not prime.  Res64: EA54ECCB89CFE189  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:03:18]
633*2^1228379-1 is not prime.  Res64: CFDCC545C121E6ED  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:03:19]
663*2^1228379-1 is not prime.  Res64: 9C15A37DE524A769  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:24:26]
689*2^1228380-1 is not prime.  Res64: 98234EB9F04A1F39  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:24:26]
767*2^1228380-1 is not prime.  Res64: B415C68DA65044A1  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:24:29]
779*2^1228380-1 is not prime.  Res64: B11EFA4F8767DEBE  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:24:30]
797*2^1228380-1 is not prime.  Res64: 95FF6B39C909D979  Time : 0.0 sec.
user=vaughan
[2012-09-08 23:35:10]
913*2^1228379-1 is not prime.  Res64: FC436BB965D38BB6  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:45:39]
905*2^1228380-1 is not prime.  Res64: 99C7F4D284EB24CB  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:45:40]
847*2^1228381-1 is not prime.  Res64: 705353EB0ECD2234  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:45:40]
937*2^1228381-1 is not prime.  Res64: 5A8E9A0927DC7A36  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 23:45:41]
955*2^1228381-1 is not prime.  Res64: 6366FADB153A8225  Time : 0.0 sec.