user=mdettweiler
[2012-02-11 00:04:24]
709*2^1005117-1 is not prime.  Res64: C8108A51D5D756B0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:04:25]
747*2^1005117-1 is not prime.  Res64: CD74A91352A3D7AD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:04:45]
665*2^1005118-1 is not prime.  Res64: 85D1EB860412BCD0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:05:53]
681*2^1005118-1 is not prime.  Res64: 3DAD6778D2D7172D  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:07:14]
691*2^1005113-1 is not prime.  Res64: 734C154C6A1B0919  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:07:15]
741*2^1005113-1 is not prime.  Res64: 06247972F6B6435A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:07:41]
849*2^1005117-1 is not prime.  Res64: 45572E6D367C660A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:07:42]
871*2^1005117-1 is not prime.  Res64: 2C94B91E06E48259  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:09:55]
995*2^1005112-1 is not prime.  Res64: EFE9847547535C41  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:09:56]
619*2^1005113-1 is not prime.  Res64: E3E2E20E62521122  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:11:05]
633*2^1005114-1 is not prime.  Res64: D550F3DD9A9649A2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:11:06]
677*2^1005114-1 is not prime.  Res64: 411BF630134E1D71  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:12:19]
867*2^1005118-1 is not prime.  Res64: 36AAB15C7B2B4956  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:12:42]
985*2^1005117-1 is not prime.  Res64: 6E828E74E29915D9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:12:44]
621*2^1005118-1 is not prime.  Res64: F61CB95683CF9AB6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:14:17]
895*2^1005117-1 is not prime.  Res64: DF9A280818F4B19A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:14:19]
927*2^1005117-1 is not prime.  Res64: 1315A23F8132F929  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:15:09]
881*2^1005118-1 is not prime.  Res64: FC8CCE5E8BB4BE2C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:18:27]
743*2^1005118-1 is not prime.  Res64: 27EF8EFB7311C8AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:18:27]
857*2^1005118-1 is not prime.  Res64: 7C7E775CFDD5F06F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:20:57]
937*2^1005105-1 is not prime.  Res64: 604458539A4874B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:20:57]
999*2^1005105-1 is not prime.  Res64: 35DE26120ABDD8C3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:21:05]
685*2^1005109-1 is not prime.  Res64: 4D108DBC644E9172  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:21:05]
747*2^1005109-1 is not prime.  Res64: F988AC78295173A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:21:42]
889*2^1005119-1 is not prime.  Res64: BA2B78D42BA6459E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:22:49]
767*2^1005120-1 is not prime.  Res64: AA70F4DE039449FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:23:10]
1001*2^1005118-1 is not prime.  Res64: 898DE6DA96B95A26  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:23:10]
603*2^1005119-1 is not prime.  Res64: 2C2E0E5206DB5FE1  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:24:40]
939*2^1005113-1 is not prime.  Res64: EBAA63A688CB13FA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:24:41]
949*2^1005113-1 is not prime.  Res64: F2475972DF551D99  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:17]
623*2^1005122-1 is not prime.  Res64: 77FBF73E7A3B0251  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:37]
909*2^1005108-1 is not prime.  Res64: 2B0D5B44DA66BB2D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:37]
615*2^1005109-1 is not prime.  Res64: 5C751123E73E8390  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:39]
985*2^1005119-1 is not prime.  Res64: ECC6DFDA8ABA0695  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:39]
719*2^1005120-1 is not prime.  Res64: A7C4EA5D875C7E84  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:44]
955*2^1005119-1 is not prime.  Res64: 6EA9CCA17EC1291B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:29:45]
979*2^1005119-1 is not prime.  Res64: 6B53D9D2AAFFDBAF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:30:24]
857*2^1005122-1 is not prime.  Res64: 45FD109A034FCDC3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:33:35]
779*2^1005120-1 is not prime.  Res64: 853194AFD0447FD9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:33:35]
923*2^1005120-1 is not prime.  Res64: 47798D66FB7E23E7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:36:46]
827*2^1005122-1 is not prime.  Res64: D35CAD95A67EDD97  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:36:47]
837*2^1005122-1 is not prime.  Res64: 213DC7C39413D2FF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:36:51]
765*2^1005123-1 is not prime.  Res64: FA4E2DF98B9EDE85  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:39:42]
961*2^1005123-1 is not prime.  Res64: C1214CB290AE228C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:43:15]
793*2^1005123-1 is not prime.  Res64: FEEE6940FBAAF9EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:43:15]
853*2^1005123-1 is not prime.  Res64: AC848EFB63DF016C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:44:26]
627*2^1005125-1 is not prime.  Res64: 6290431F1211F748  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:46:27]
879*2^1005123-1 is not prime.  Res64: DF857F41A6667A1A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:46:27]
949*2^1005123-1 is not prime.  Res64: FB37D7F9D6A86B48  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:47:11]
615*2^1005124-1 is not prime.  Res64: 21BF79A14AEEC710  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:47:12]
665*2^1005124-1 is not prime.  Res64: CE057B4060978177  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:47:17]
787*2^1005125-1 is not prime.  Res64: 8B539FD22D9D17A8  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:49:58]
621*2^1005119-1 is not prime.  Res64: 40607ABBF4BC1BF6  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:49:58]
775*2^1005119-1 is not prime.  Res64: 9AA60F4919F0739C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:51:32]
799*2^1005119-1 is not prime.  Res64: 270C5A3E64FA45AE  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 00:51:32]
831*2^1005119-1 is not prime.  Res64: 14418EDF9B32DAA9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:52:15]
801*2^1005126-1 is not prime.  Res64: 234DBD2BE8F701D5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:53:30]
875*2^1005124-1 is not prime.  Res64: 77326E4F10A8C01C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:53:30]
965*2^1005124-1 is not prime.  Res64: 605899435ED4F664  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:55:41]
675*2^1005127-1 is not prime.  Res64: 8B7FC8BA988FF8B3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:58:25]
981*2^1005125-1 is not prime.  Res64: 113CC82F1436B6FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 00:58:26]
765*2^1005126-1 is not prime.  Res64: 2074D753AC1A518F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:00:45]
619*2^1005127-1 is not prime.  Res64: 777843E8398CEECB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:00:46]
639*2^1005127-1 is not prime.  Res64: E6796957E62AB59A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:01:35]
983*2^1005126-1 is not prime.  Res64: 2572AAA04FC4912D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:01:37]
603*2^1005127-1 is not prime.  Res64: 1489BCEA103455A2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:02:13]
975*2^1005118-1 is not prime.  Res64: 63E70EF1A521AC55  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:02:14]
981*2^1005118-1 is not prime.  Res64: DE2F6BF1A7FB3F79  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:02:19]
961*2^1005127-1 is not prime.  Res64: F95FEEB6CC7DE5E8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:05:21]
999*2^1005128-1 is not prime.  Res64: B2AB71C0C32B97CF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:09:59]
735*2^1005130-1 is not prime.  Res64: 6978F7B8E09D29DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:10:17]
975*2^1005127-1 is not prime.  Res64: 7517C5D92FE528E4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:10:17]
915*2^1005128-1 is not prime.  Res64: BB404FEE506515BD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:12:02]
625*2^1005129-1 is not prime.  Res64: 1ED87A5956234E54  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:12:02]
627*2^1005129-1 is not prime.  Res64: 078B9133A125FA8C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:12:57]
773*2^1005130-1 is not prime.  Res64: E55FC69D084FFDF7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:14:17]
685*2^1005129-1 is not prime.  Res64: 2DA6AB91AE1EEFEF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:14:18]
735*2^1005129-1 is not prime.  Res64: BDCE946CD3D780C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:16:44]
769*2^1005129-1 is not prime.  Res64: 01EC9E855208157C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:16:44]
919*2^1005129-1 is not prime.  Res64: F61C613E3AAFAE65  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:17:35]
645*2^1005131-1 is not prime.  Res64: 4B1FD3440CDF50F2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:19:57]
885*2^1005122-1 is not prime.  Res64: CCD064EE8665208C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:19:57]
945*2^1005122-1 is not prime.  Res64: 22FA39CA7F2F0944  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:20:33]
705*2^1005131-1 is not prime.  Res64: 050877458B5C11DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:23:48]
867*2^1005130-1 is not prime.  Res64: 19E8366CEDA08B8B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:23:48]
601*2^1005131-1 is not prime.  Res64: 53C7628A393F212F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:25:38]
651*2^1005131-1 is not prime.  Res64: 9BD4C0B0682572CB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:25:38]
673*2^1005131-1 is not prime.  Res64: E0FF5C4BB75444D6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:26:52]
955*2^1005131-1 is not prime.  Res64: D1BF9B2055DF0910  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:27:47]
805*2^1005131-1 is not prime.  Res64: AB2ED9898FB65B07  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:27:48]
859*2^1005131-1 is not prime.  Res64: C073AA16942EC8E7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:28:05]
609*2^1005132-1 is not prime.  Res64: B066CEBC3CBA68B8  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:30:24]
715*2^1005127-1 is not prime.  Res64: 384F08C262E575D0  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:30:24]
763*2^1005127-1 is not prime.  Res64: 40431C6BC2EE365F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:33:29]
889*2^1005131-1 is not prime.  Res64: 76CF1B998DAB3A0D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:33:30]
921*2^1005131-1 is not prime.  Res64: E8ACBBDF0E76A6BA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:34:26]
809*2^1005132-1 is not prime.  Res64: 441B807EB755EAF0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:35:41]
863*2^1005132-1 is not prime.  Res64: 1FA6C383F81C5EF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:37:20]
627*2^1005132-1 is not prime.  Res64: 743669F6709F87DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:37:20]
695*2^1005132-1 is not prime.  Res64: F5C3039F1E7EBA10  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:38:56]
687*2^1005121-1 is not prime.  Res64: A27C73760410936B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:38:56]
617*2^1005122-1 is not prime.  Res64: 38AF6A6DA483BB84  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:39:11]
753*2^1005132-1 is not prime.  Res64: 494F6404C5B7A9E8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:39:11]
779*2^1005132-1 is not prime.  Res64: E52A8D74AD113B1E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:39:30]
829*2^1005127-1 is not prime.  Res64: 8E591BF653005D47  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:39:31]
901*2^1005127-1 is not prime.  Res64: 63154DDB5FE6476F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:41:21]
825*2^1005132-1 is not prime.  Res64: C6D2E01ADE5ACE89  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:41:21]
857*2^1005132-1 is not prime.  Res64: 5785C1A8C38B4DA3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:42:00]
817*2^1005133-1 is not prime.  Res64: 0180611E1C852BFA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:42:29]
633*2^1005130-1 is not prime.  Res64: 505202B3E5A6886B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 01:42:29]
657*2^1005130-1 is not prime.  Res64: 3BEF222A53D793FD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:43:14]
847*2^1005133-1 is not prime.  Res64: B8A24B7BA4AE13EA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:47:01]
679*2^1005133-1 is not prime.  Res64: A4859D9C02D00FDF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:47:01]
681*2^1005133-1 is not prime.  Res64: E7015A2C6B8286F1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:47:17]
927*2^1005120-1 is not prime.  Res64: 5E7205F38B932DA7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:47:17]
607*2^1005121-1 is not prime.  Res64: 031F68AED803F9F6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:49:55]
633*2^1005135-1 is not prime.  Res64: 17C844996AF3F28A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:51:12]
793*2^1005135-1 is not prime.  Res64: 2EFEE8CD981D78DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:51:17]
995*2^1005122-1 is not prime.  Res64: 6521346D44F81883  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:52:31]
855*2^1005133-1 is not prime.  Res64: 7B7442EEA2B33379  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:52:32]
889*2^1005133-1 is not prime.  Res64: B5180C9254B75DCD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:52:43]
791*2^1005134-1 is not prime.  Res64: E66D890AB9CC2B34  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:52:44]
825*2^1005134-1 is not prime.  Res64: 0CAF6A1A461CC934  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:56:32]
935*2^1005134-1 is not prime.  Res64: 8D70D93BC7E7FA15  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:56:32]
601*2^1005135-1 is not prime.  Res64: 1248141339E82370  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 01:57:49]
685*2^1005123-1 is not prime.  Res64: D8A83A642B66FD5E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:02:08]
819*2^1005135-1 is not prime.  Res64: 5E88A4E934B90FA8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:02:09]
871*2^1005135-1 is not prime.  Res64: D309D05211B603D2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:06:15]
717*2^1005136-1 is not prime.  Res64: DA54CA1059845362  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:06:16]
845*2^1005136-1 is not prime.  Res64: C1CA6FB92A545486  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:07:42]
979*2^1005135-1 is not prime.  Res64: 8010B3736B0CABF6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:07:43]
693*2^1005136-1 is not prime.  Res64: 810C5FC93A2A0453  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:11:43]
849*2^1005136-1 is not prime.  Res64: D4B64BB331808308  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:11:45]
917*2^1005136-1 is not prime.  Res64: 5D86D2A93DED15ED  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:15:32]
979*2^1005131-1 is not prime.  Res64: 0A4A2DCCA5441CC2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:15:32]
991*2^1005131-1 is not prime.  Res64: 8DA5DAE6826A57C9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:15:42]
631*2^1005137-1 is not prime.  Res64: 6F790B5C41FBBC05  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:15:42]
637*2^1005137-1 is not prime.  Res64: 9AB5D2406F6B555B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:19:50]
717*2^1005137-1 is not prime.  Res64: EF9423E55E9825C3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:19:50]
727*2^1005137-1 is not prime.  Res64: 352637AE4C332E13  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:23:05]
651*2^1005135-1 is not prime.  Res64: CD4B3DAF06920B3E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:23:05]
675*2^1005135-1 is not prime.  Res64: 9F3ABE95DC63E59E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:24:30]
889*2^1005137-1 is not prime.  Res64: F0F7B54083B95D5D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:24:31]
915*2^1005137-1 is not prime.  Res64: E0CC394C4AC14886  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:26:04]
887*2^1005132-1 is not prime.  Res64: 944CC2A85A4B378E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:26:04]
987*2^1005132-1 is not prime.  Res64: E0B94FB2547DB67E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:27:16]
857*2^1005134-1 is not prime.  Res64: 8557379E13385571  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 02:27:16]
873*2^1005134-1 is not prime.  Res64: 0F79BD716240859F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:28:34]
925*2^1005137-1 is not prime.  Res64: AD6AB04FDDC847C6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:28:35]
957*2^1005137-1 is not prime.  Res64: 6A7E87AE1C23DB88  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:29:19]
605*2^1005138-1 is not prime.  Res64: 37C86DE5EB5D778C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:29:19]
633*2^1005138-1 is not prime.  Res64: 5C2BA9AE7F661114  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:34:57]
683*2^1005138-1 is not prime.  Res64: 6221FD632518FA4A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:34:58]
885*2^1005138-1 is not prime.  Res64: 32DD82DC0F4CA61E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:38:04]
605*2^1005140-1 is not prime.  Res64: 3C8530D5FA0796BE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:38:04]
633*2^1005140-1 is not prime.  Res64: 6B0F8CDC1A6B0CFA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:44:28]
999*2^1005141-1 is not prime.  Res64: 5B1DFFA470C5F678  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:44:29]
621*2^1005142-1 is not prime.  Res64: CE5478CD28D1DCF1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:45:21]
921*2^1005141-1 is not prime.  Res64: 0A31F06CF5995195  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:45:21]
969*2^1005141-1 is not prime.  Res64: 2D5E697AB9CBF956  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:48:31]
737*2^1005142-1 is not prime.  Res64: 37308359881DE647  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:48:31]
825*2^1005142-1 is not prime.  Res64: BBE69F100F3DB0FB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:53:16]
843*2^1005142-1 is not prime.  Res64: B4BA6B04FC63FC89  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:53:16]
891*2^1005142-1 is not prime.  Res64: 02D51D6A4B8DF3AF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:54:53]
693*2^1005134-1 is not prime.  Res64: 1B83DCA33F98F631  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:54:53]
767*2^1005134-1 is not prime.  Res64: 316BDB74F5ECDEC5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:58:55]
675*2^1005143-1 is not prime.  Res64: 92D220F746169FD4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:58:55]
715*2^1005143-1 is not prime.  Res64: 9EEB60FB9EA067A2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:59:36]
897*2^1005142-1 is not prime.  Res64: E14CB3B96CBF0C14  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 02:59:37]
661*2^1005143-1 is not prime.  Res64: 561DEB1B51285F80  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:02:05]
771*2^1005143-1 is not prime.  Res64: 591E48FA4A43CC33  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:02:07]
783*2^1005143-1 is not prime.  Res64: C32431303D6A264C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:07:26]
711*2^1005141-1 is not prime.  Res64: 928A326FB5C4EEDD  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:07:28]
717*2^1005141-1 is not prime.  Res64: 6D75DD41D4C4D24F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:08:28]
789*2^1005143-1 is not prime.  Res64: 65E004880BFD2CBD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:08:28]
993*2^1005143-1 is not prime.  Res64: F3A2FCFBB285A448  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:11:25]
967*2^1005137-1 is not prime.  Res64: E6ECDDA1106171D0  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:11:26]
991*2^1005137-1 is not prime.  Res64: 20E09104ED21EBD4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:13:07]
607*2^1005145-1 is not prime.  Res64: 72501842658A776C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:13:08]
777*2^1005145-1 is not prime.  Res64: 25DE327B99053A93  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:13:51]
995*2^1005140-1 is not prime.  Res64: 82DFB7297C8B4855  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:13:52]
691*2^1005141-1 is not prime.  Res64: 157D96151FEE934D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:15:40]
799*2^1005145-1 is not prime.  Res64: C076B2CC29AC26C1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:15:40]
841*2^1005145-1 is not prime.  Res64: 0AAF76AF219A0D7E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:15:41]
909*2^1005144-1 is not prime.  Res64: 86DC49B9FABC9BDE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:15:41]
983*2^1005144-1 is not prime.  Res64: 95172B48925C860F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:17:27]
989*2^1005136-1 is not prime.  Res64: 6CF60655214ED076  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:17:27]
607*2^1005137-1 is not prime.  Res64: E28644808DD65E77  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:18:36]
941*2^1005138-1 is not prime.  Res64: 475A06345890A37D  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:18:37]
1001*2^1005138-1 is not prime.  Res64: F65D18F2C6A1701F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:22:04]
615*2^1005146-1 is not prime.  Res64: C123319DE54EB7AF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:22:04]
633*2^1005146-1 is not prime.  Res64: 9FEE4E25B76C60DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:28:17]
851*2^1005146-1 is not prime.  Res64: 7A926BBAD19EDF0F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:28:17]
963*2^1005146-1 is not prime.  Res64: 303308A28C4AAD21  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:29:11]
709*2^1005147-1 is not prime.  Res64: F5C012DAF405141F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:29:11]
805*2^1005147-1 is not prime.  Res64: BEDBEF53A1690B0C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:32:30]
913*2^1005147-1 is not prime.  Res64: ED35EB6609506455  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:32:31]
963*2^1005147-1 is not prime.  Res64: 7DB1BBF7F417F7EB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:35:39]
749*2^1005148-1 is not prime.  Res64: CD422E8DA4654839  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:35:40]
685*2^1005149-1 is not prime.  Res64: 71FF91F84B94827D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:41:50]
721*2^1005149-1 is not prime.  Res64: 180F6539B16A9011  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:41:51]
759*2^1005149-1 is not prime.  Res64: B86204C3CE33779B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:44:22]
951*2^1005149-1 is not prime.  Res64: EC416D5DFF193D2B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:44:22]
611*2^1005150-1 is not prime.  Res64: 1F8B3F9148CACB9D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:46:04]
707*2^1005150-1 is not prime.  Res64: D18B0440A63E3AEB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:46:05]
783*2^1005150-1 is not prime.  Res64: 1007C5BCB77DD4D2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:49:14]
791*2^1005150-1 is not prime.  Res64: FB897492DA88F780  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:49:15]
797*2^1005150-1 is not prime.  Res64: 2834AA8829FD88AF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:51:54]
705*2^1005146-1 is not prime.  Res64: 1F069FA58CEAE889  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:51:54]
707*2^1005146-1 is not prime.  Res64: F80F5DEB16AA1404  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:54:12]
675*2^1005147-1 is not prime.  Res64: 46FB38A1F5E93347  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:54:12]
705*2^1005147-1 is not prime.  Res64: 3BF033DC20835AF2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:55:28]
861*2^1005145-1 is not prime.  Res64: 176B249E3024D485  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:55:28]
957*2^1005145-1 is not prime.  Res64: 0AAA39034134270E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:55:30]
801*2^1005150-1 is not prime.  Res64: CDB4355596C53619  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:55:30]
851*2^1005150-1 is not prime.  Res64: 6B65E5BD3BA570BE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:57:56]
673*2^1005151-1 is not prime.  Res64: 94791600492EBACB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:57:56]
705*2^1005151-1 is not prime.  Res64: 3B8EC2153F114B82  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:58:55]
695*2^1005148-1 is not prime.  Res64: BF0E728393B26BE7  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 03:58:55]
743*2^1005148-1 is not prime.  Res64: 7A8A720E280E25E4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:59:38]
759*2^1005151-1 is not prime.  Res64: 799DFEF4B7E0AABF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 03:59:38]
843*2^1005151-1 is not prime.  Res64: 1E373BD8C675DE34  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:06:02]
891*2^1005151-1 is not prime.  Res64: 3D13BEEF68EBEA05  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:06:03]
931*2^1005151-1 is not prime.  Res64: 11E0A6230ABCD743  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:10:41]
959*2^1005152-1 is not prime.  Res64: 354904057E429A55  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:10:42]
651*2^1005153-1 is not prime.  Res64: E73AC0262CC3AFFA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:11:26]
781*2^1005153-1 is not prime.  Res64: 5FA316B13CA5D6F7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:11:27]
847*2^1005153-1 is not prime.  Res64: 71586CABD618CDD7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:11:50]
999*2^1005143-1 is not prime.  Res64: 2F508D08BD32ECA8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:11:50]
635*2^1005144-1 is not prime.  Res64: 58B9592D46BF7169  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:13:12]
663*2^1005154-1 is not prime.  Res64: 8F205115C8FE189E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:13:13]
665*2^1005154-1 is not prime.  Res64: EF3B54F7BEC3A9B6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:19:39]
773*2^1005154-1 is not prime.  Res64: 8EBA10CFF9359E80  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:19:39]
785*2^1005154-1 is not prime.  Res64: 2AFD0FE40BEF9F9B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:25:11]
673*2^1005155-1 is not prime.  Res64: 4884981C2A17237C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:25:11]
735*2^1005155-1 is not prime.  Res64: 8CE9C4634F3C1FA1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:26:11]
947*2^1005154-1 is not prime.  Res64: BFF328DD9418F37B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:26:11]
645*2^1005155-1 is not prime.  Res64: 531D2F1E8D4EEDCA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:30:06]
985*2^1005155-1 is not prime.  Res64: EF3D1894196E8B2B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:30:07]
991*2^1005155-1 is not prime.  Res64: E9F7C6E40E2068BF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:34:12]
767*2^1005152-1 is not prime.  Res64: D17D45FDB6E213C1  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:34:14]
785*2^1005152-1 is not prime.  Res64: 60C6906C4327DDD1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:34:22]
999*2^1005147-1 is not prime.  Res64: ED56D1CCBA45933F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:34:23]
665*2^1005148-1 is not prime.  Res64: 66BAA3E02E44362E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:34:55]
737*2^1005156-1 is not prime.  Res64: 37680B284B8F9F10  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:34:55]
957*2^1005156-1 is not prime.  Res64: 882FE76E230CDEB6  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:40:03]
939*2^1005151-1 is not prime.  Res64: 19C9B28C581EFECE  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:40:03]
665*2^1005152-1 is not prime.  Res64: F1A4FF0D4227423A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:40:20]
771*2^1005157-1 is not prime.  Res64: 04629AAEF465A2A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:40:21]
901*2^1005157-1 is not prime.  Res64: FEA7601AEA141592  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:42:55]
939*2^1005157-1 is not prime.  Res64: 2C0592BF7A959010  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:42:55]
961*2^1005157-1 is not prime.  Res64: 909CBED7741833F4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:43:13]
815*2^1005152-1 is not prime.  Res64: ADB41EDD629D503E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:43:13]
899*2^1005152-1 is not prime.  Res64: 270193C17496EE78  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:43:40]
623*2^1005158-1 is not prime.  Res64: 4214C5CD047B6338  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:43:40]
665*2^1005158-1 is not prime.  Res64: 156A478993597C44  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:47:06]
951*2^1005153-1 is not prime.  Res64: 5C496FFA382D4287  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 04:47:06]
605*2^1005154-1 is not prime.  Res64: 969FBCA26843D112  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:50:07]
951*2^1005158-1 is not prime.  Res64: E4A2AE3BE6C494EA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:50:08]
649*2^1005159-1 is not prime.  Res64: A64DDC05ED76FB89  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:57:06]
891*2^1005159-1 is not prime.  Res64: 883C7B83B768638D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:57:06]
895*2^1005159-1 is not prime.  Res64: 56C51691CEE127CF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:57:11]
635*2^1005160-1 is not prime.  Res64: EC4AC30E37B105A7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:57:11]
677*2^1005160-1 is not prime.  Res64: C80175FD513BF1F2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:59:40]
949*2^1005159-1 is not prime.  Res64: 09B7FAB1C2ADFECB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 04:59:41]
973*2^1005159-1 is not prime.  Res64: E8A6020EB1FE585C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:03:42]
825*2^1005160-1 is not prime.  Res64: 54E425BE2F202D90  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:03:43]
843*2^1005160-1 is not prime.  Res64: 254375E726B625FC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:12:17]
855*2^1005160-1 is not prime.  Res64: 41332313C65264D9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:12:22]
917*2^1005160-1 is not prime.  Res64: A5BA24EEC1A2D707  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:13:11]
669*2^1005161-1 is not prime.  Res64: 086B1C9788D6EB93  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:13:12]
705*2^1005161-1 is not prime.  Res64: 30DABCFA63EDD425  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:13:57]
927*2^1005160-1 is not prime.  Res64: 4CC98A1EFE3EBA87  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:13:58]
965*2^1005160-1 is not prime.  Res64: C02C0971575E03CB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:14:28]
671*2^1005158-1 is not prime.  Res64: FFD257DC9EE47105  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:14:28]
743*2^1005158-1 is not prime.  Res64: 5F88BCC2BBF5B8FD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:17:18]
727*2^1005161-1 is not prime.  Res64: EF8DB353E8F42292  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:17:19]
789*2^1005161-1 is not prime.  Res64: CDCBA8BB5D635D85  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:20:29]
763*2^1005159-1 is not prime.  Res64: 719C80B5A851268F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:20:30]
775*2^1005159-1 is not prime.  Res64: 4EDA261F47C53218  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:25:55]
829*2^1005161-1 is not prime.  Res64: 0553CC9C5D708176  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:25:55]
861*2^1005161-1 is not prime.  Res64: B9351FDA6C0E0308  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:27:41]
723*2^1005160-1 is not prime.  Res64: 9B2BAE79BFB2357A  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:27:41]
759*2^1005160-1 is not prime.  Res64: FE7DBDA0CFCB2604  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:29:58]
907*2^1005161-1 is not prime.  Res64: C8C9EA6B29CB55D3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:29:58]
931*2^1005161-1 is not prime.  Res64: C8F8DB59481FCFB8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:30:45]
979*2^1005161-1 is not prime.  Res64: 46D1013649269032  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:30:45]
987*2^1005161-1 is not prime.  Res64: 7F2C9C434E36AC07  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:30:50]
975*2^1005159-1 is not prime.  Res64: 874544F68B03C4DC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 05:30:52]
623*2^1005160-1 is not prime.  Res64: B611DAE7DFDF7B51  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:34:03]
915*2^1005162-1 is not prime.  Res64: 8B977CF488D10AF7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:34:04]
921*2^1005162-1 is not prime.  Res64: 295B67C53824C963  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:35:21]
939*2^1005155-1 is not prime.  Res64: 989EF623168326F5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:35:21]
979*2^1005155-1 is not prime.  Res64: FC8D21A31FCA0514  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:42:42]
919*2^1005163-1 is not prime.  Res64: CFA232709D5BBF53  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:42:42]
943*2^1005163-1 is not prime.  Res64: 3B84A4BA3A608885  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:42:56]
801*2^1005158-1 is not prime.  Res64: ECFF9305E673A013  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:42:57]
825*2^1005158-1 is not prime.  Res64: 5E9DC0E1FE788D22  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:43:30]
725*2^1005164-1 is not prime.  Res64: 6022A60D268AD07E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:43:30]
755*2^1005164-1 is not prime.  Res64: 0CAA9EA1EEE65614  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:44:20]
773*2^1005164-1 is not prime.  Res64: 0C9EF5C0E7D923B3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:44:20]
803*2^1005164-1 is not prime.  Res64: 49338DDAD536CBB9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:47:36]
699*2^1005165-1 is not prime.  Res64: A1A418CB3574BD3F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:47:37]
727*2^1005165-1 is not prime.  Res64: 42388ACECC9F8EFF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:56:16]
741*2^1005166-1 is not prime.  Res64: 87F23C2F5F43FC56  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 05:56:16]
785*2^1005166-1 is not prime.  Res64: 35D7B1B49014F9B8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:00:17]
897*2^1005166-1 is not prime.  Res64: 0C195F6ACD5693AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:00:18]
911*2^1005166-1 is not prime.  Res64: 4187043E2A5E948D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:01:07]
945*2^1005166-1 is not prime.  Res64: 082BA72DDDFDE1D7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:01:07]
971*2^1005166-1 is not prime.  Res64: 31C56D85C0B82978  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:01:09]
729*2^1005167-1 is not prime.  Res64: DFD44311D4E61656  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:01:10]
813*2^1005167-1 is not prime.  Res64: 0B7AE15B63818382  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:02:36]
997*2^1005161-1 is not prime.  Res64: 30C94EE9313B0BEF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:02:38]
671*2^1005162-1 is not prime.  Res64: 3D55CD53AE528A99  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:07:46]
605*2^1005164-1 is not prime.  Res64: B5AA29B765174FE7  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:07:46]
623*2^1005164-1 is not prime.  Res64: 3301AD868E298786  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:09:53]
825*2^1005167-1 is not prime.  Res64: CCF2334366E792DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:09:55]
865*2^1005167-1 is not prime.  Res64: 4E2DD7B5AEA2C904  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:13:51]
657*2^1005168-1 is not prime.  Res64: 49BA46A39114A247  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:13:52]
695*2^1005168-1 is not prime.  Res64: E5C46CB20B015475  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:14:37]
735*2^1005168-1 is not prime.  Res64: 2C7C2D9BA140BEB0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:14:37]
845*2^1005168-1 is not prime.  Res64: FAB35C1DCDC80160  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:16:07]
945*2^1005162-1 is not prime.  Res64: 6336913947147D18  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:16:07]
951*2^1005162-1 is not prime.  Res64: 5EEC06E8154C2078  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:16:22]
861*2^1005169-1 is not prime.  Res64: C9256415C04BF7EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:16:23]
877*2^1005169-1 is not prime.  Res64: 6FCE6668059DF49F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:18:58]
855*2^1005164-1 is not prime.  Res64: AF178A7DD3194035  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:18:58]
969*2^1005164-1 is not prime.  Res64: 92D06880BF862275  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:23:32]
791*2^1005170-1 is not prime.  Res64: 1EE9BE6C74DB757D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:23:32]
827*2^1005170-1 is not prime.  Res64: AAC36F92508FC4F4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:27:23]
831*2^1005170-1 is not prime.  Res64: B956E67DA7A35722  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:27:24]
857*2^1005170-1 is not prime.  Res64: E85F90D1BE395279  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:29:43]
945*2^1005170-1 is not prime.  Res64: 3FB559FAC7FE05BB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:29:43]
619*2^1005171-1 is not prime.  Res64: DE1AB5E33CA197A0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:31:32]
745*2^1005171-1 is not prime.  Res64: B45EC2B71DA737E7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:31:32]
885*2^1005171-1 is not prime.  Res64: C39381B9A52D39FE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:37:02]
665*2^1005172-1 is not prime.  Res64: F023A48BB3F7CF4A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:37:02]
819*2^1005172-1 is not prime.  Res64: B8E18CAB6D9F7A8A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:43:15]
621*2^1005173-1 is not prime.  Res64: 9F5104C0BDB7A04B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:43:15]
669*2^1005173-1 is not prime.  Res64: 8EE031FC3338942A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:44:11]
873*2^1005172-1 is not prime.  Res64: A64C36BD2FC9FEC4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:44:11]
965*2^1005172-1 is not prime.  Res64: FD24B0B00A01B890  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:45:05]
679*2^1005173-1 is not prime.  Res64: A1AB5F4117930DE8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:45:06]
727*2^1005173-1 is not prime.  Res64: 6F96F53AE8322CC4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:48:00]
645*2^1005170-1 is not prime.  Res64: 9414D4057C722EF8  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:48:00]
651*2^1005170-1 is not prime.  Res64: 59E0D95FC5BDFCF9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:50:37]
729*2^1005173-1 is not prime.  Res64: 412A7F94D74BAF33  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:50:38]
759*2^1005173-1 is not prime.  Res64: 5344A2B34DECB0A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:51:14]
801*2^1005166-1 is not prime.  Res64: C2C2B178996E3476  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:51:14]
861*2^1005166-1 is not prime.  Res64: C7D43E6071BD2F28  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:51:18]
849*2^1005165-1 is not prime.  Res64: 578DDC030B32241A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:51:18]
871*2^1005165-1 is not prime.  Res64: 961EB447B9713DE4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:56:33]
651*2^1005171-1 is not prime.  Res64: 0497ECD2FC4FCEC2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:56:33]
735*2^1005171-1 is not prime.  Res64: 265F725829602812  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:56:46]
831*2^1005173-1 is not prime.  Res64: 2AF07CBD15D84113  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:56:47]
641*2^1005174-1 is not prime.  Res64: BA67D30980FB023C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:57:44]
707*2^1005174-1 is not prime.  Res64: 71CED3DE17A2FB32  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 06:57:44]
741*2^1005174-1 is not prime.  Res64: 133CFFD97BF62FAC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:58:07]
939*2^1005169-1 is not prime.  Res64: D3B5F86829178E56  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 06:58:07]
979*2^1005169-1 is not prime.  Res64: CE0A446B4FB04D00  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:01:55]
893*2^1005174-1 is not prime.  Res64: 39894AF02FC632D4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:01:57]
917*2^1005174-1 is not prime.  Res64: DBC3D269F0361024  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:04:04]
663*2^1005175-1 is not prime.  Res64: 72A1F7AF2EA12268  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:04:06]
819*2^1005175-1 is not prime.  Res64: 24780B07C6727A95  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:06:55]
975*2^1005171-1 is not prime.  Res64: 9E44027E24B727C4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:06:55]
635*2^1005172-1 is not prime.  Res64: A791D58C0CDE220E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:12:53]
957*2^1005176-1 is not prime.  Res64: 1C30E7F6653A7532  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:12:55]
751*2^1005177-1 is not prime.  Res64: 58D5DFA8E2C63E96  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:13:30]
923*2^1005176-1 is not prime.  Res64: 6A31FC956ACA4E10  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:13:31]
927*2^1005176-1 is not prime.  Res64: 032E4D1DE1D72D28  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:15:30]
817*2^1005177-1 is not prime.  Res64: 3D0902131C3C5CC7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:15:31]
865*2^1005177-1 is not prime.  Res64: 6AAF6A2DF7AE59AA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:19:18]
955*2^1005177-1 is not prime.  Res64: 3B405EC62CF0D6A8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:19:19]
605*2^1005178-1 is not prime.  Res64: B237D39FAF530D33  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:26:27]
713*2^1005178-1 is not prime.  Res64: 1D966AC5D8DE6325  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:26:27]
735*2^1005178-1 is not prime.  Res64: 850242DA3E43665F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:27:04]
615*2^1005179-1 is not prime.  Res64: 27D616FB2BEBA14E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:27:05]
619*2^1005179-1 is not prime.  Res64: 347DCE66E922439A  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:28:48]
601*2^1005175-1 is not prime.  Res64: 54C7AD54072E7C86  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:28:48]
661*2^1005175-1 is not prime.  Res64: BB4E8659706C0219  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:29:01]
693*2^1005179-1 is not prime.  Res64: 78472E22397F2AAA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:29:01]
733*2^1005179-1 is not prime.  Res64: 8E078A9FBAD3BD14  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:34:30]
913*2^1005179-1 is not prime.  Res64: 5544E67D2F65B692  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:34:30]
725*2^1005180-1 is not prime.  Res64: 1264F520605D1EF6  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:38:15]
765*2^1005177-1 is not prime.  Res64: 4F5944031ACFE490  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:38:15]
807*2^1005177-1 is not prime.  Res64: 329CDE8690924FDB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:40:01]
753*2^1005180-1 is not prime.  Res64: 1CFF7FF532DD8F48  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:40:01]
779*2^1005180-1 is not prime.  Res64: 697C974ED98A8B1B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:40:39]
825*2^1005180-1 is not prime.  Res64: 650C03F3D4614A1D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:40:39]
857*2^1005180-1 is not prime.  Res64: C3AB3E4D92B019FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:45:49]
871*2^1005181-1 is not prime.  Res64: 543426F0BE96C3F2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:45:50]
957*2^1005181-1 is not prime.  Res64: 825F09B3D20B770C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:48:45]
611*2^1005178-1 is not prime.  Res64: 6A305BA7B380A928  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:48:45]
663*2^1005178-1 is not prime.  Res64: 2D1E2A004D4F477B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:49:42]
979*2^1005181-1 is not prime.  Res64: A46CFEDEA9A5AB72  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:49:42]
657*2^1005182-1 is not prime.  Res64: B8BE996FE0A61CFA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:51:39]
873*2^1005176-1 is not prime.  Res64: EED9186811D62D6E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 07:51:39]
875*2^1005176-1 is not prime.  Res64: B7EF1663004B3A87  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:55:09]
831*2^1005182-1 is not prime.  Res64: 6A7626F5AEE4A565  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:55:10]
867*2^1005182-1 is not prime.  Res64: 339AFE6F75F09C97  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:55:48]
897*2^1005182-1 is not prime.  Res64: 8E6D4B9341E5B78D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 07:55:48]
709*2^1005183-1 is not prime.  Res64: B083A710FB400DF5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:00:50]
755*2^1005176-1 is not prime.  Res64: 7A5737C3D9DD1D86  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:00:56]
825*2^1005176-1 is not prime.  Res64: D640C5ECEC927A11  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:02:38]
955*2^1005183-1 is not prime.  Res64: EA77A63CB2BA0EA4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:02:40]
961*2^1005183-1 is not prime.  Res64: B0432787CAC57968  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:03:15]
675*2^1005184-1 is not prime.  Res64: 31EF93EF987262F3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:03:16]
729*2^1005184-1 is not prime.  Res64: FB21A62CF67E0F3E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:08:41]
697*2^1005185-1 is not prime.  Res64: 91137438BE3F0925  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:08:42]
729*2^1005185-1 is not prime.  Res64: 9C9431FCD4B05F16  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:09:07]
727*2^1005181-1 is not prime.  Res64: DF31E7C07C80F954  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:09:09]
747*2^1005181-1 is not prime.  Res64: F4055A100A979FFA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:09:17]
847*2^1005185-1 is not prime.  Res64: 1A924806ED7A64B7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:09:17]
861*2^1005185-1 is not prime.  Res64: CD6B40A473E3F5F6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:16:10]
891*2^1005175-1 is not prime.  Res64: 6066B59F243AD2AB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:16:10]
909*2^1005175-1 is not prime.  Res64: 038BFB04AEECB086  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:16:15]
765*2^1005186-1 is not prime.  Res64: 47B17FA08DE0D074  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:16:16]
801*2^1005186-1 is not prime.  Res64: D2375BA2EEBE147B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:18:37]
731*2^1005182-1 is not prime.  Res64: E8BD34F4ACD19042  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:18:37]
741*2^1005182-1 is not prime.  Res64: 97E43D22C7F16F50  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:20:08]
905*2^1005186-1 is not prime.  Res64: BCBC3FA92EBAA429  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:20:09]
933*2^1005186-1 is not prime.  Res64: A9D24D7AD0C0DD2A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:23:53]
963*2^1005186-1 is not prime.  Res64: A06976AEFA0E2A02  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:23:54]
615*2^1005187-1 is not prime.  Res64: 9597939340C6C81A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:26:05]
973*2^1005187-1 is not prime.  Res64: 9E3E5F2E30FAE1D6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:26:05]
985*2^1005187-1 is not prime.  Res64: 7DC1C86B47FE2C2D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:31:29]
839*2^1005188-1 is not prime.  Res64: 3C5B2F15EE80081C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:31:29]
885*2^1005188-1 is not prime.  Res64: 3A59EF224CFD7CD8  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:36:37]
991*2^1005183-1 is not prime.  Res64: 343083680EBE98ED  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:36:38]
645*2^1005184-1 is not prime.  Res64: BABDCE6E229496A0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:36:57]
945*2^1005189-1 is not prime.  Res64: 2E57AA781D811E92  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:36:57]
955*2^1005189-1 is not prime.  Res64: 48E94FF13587056E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:39:03]
917*2^1005190-1 is not prime.  Res64: EAA54482BB7E80D9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:39:03]
615*2^1005191-1 is not prime.  Res64: 7A5AA50B6F6D3064  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:39:37]
619*2^1005191-1 is not prime.  Res64: 7ECD42F2B6EA5C04  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:39:38]
649*2^1005191-1 is not prime.  Res64: 0BCCE990B074D037  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:39:41]
755*2^1005184-1 is not prime.  Res64: AFB0761E6B8C8A8F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:39:41]
969*2^1005184-1 is not prime.  Res64: F3D27D25D3739CDD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:45:06]
811*2^1005191-1 is not prime.  Res64: E3EFA88DA8B924C1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:45:07]
841*2^1005191-1 is not prime.  Res64: CC83D60C18C6A7EB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:49:33]
649*2^1005187-1 is not prime.  Res64: 464DB224D7353E7C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 08:49:33]
759*2^1005187-1 is not prime.  Res64: 9CABCC8A10D33A2C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:50:35]
635*2^1005192-1 is not prime.  Res64: E84C31F6278470CC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:50:35]
639*2^1005192-1 is not prime.  Res64: 70BCFC591D443920  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:52:32]
777*2^1005192-1 is not prime.  Res64: 511AE4DF46E58BB2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:52:32]
825*2^1005192-1 is not prime.  Res64: 53EC4CA288348965  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:53:08]
615*2^1005193-1 is not prime.  Res64: D49E688DE6C936F2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 08:53:09]
715*2^1005193-1 is not prime.  Res64: 3C1F91F04B137A27  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:00:17]
819*2^1005193-1 is not prime.  Res64: 4526DAE99189DFFC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:00:19]
901*2^1005193-1 is not prime.  Res64: 62E2DE2A336EC87D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:05:48]
903*2^1005194-1 is not prime.  Res64: 92A3B96A0CB7F004  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:05:51]
609*2^1005195-1 is not prime.  Res64: DA12A47E67982B76  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:06:02]
669*2^1005195-1 is not prime.  Res64: 1352F473AF0BC3C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:06:03]
675*2^1005195-1 is not prime.  Res64: A290FB2129EECF93  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:06:20]
897*2^1005188-1 is not prime.  Res64: 1ABEC164BDE472D4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:06:22]
759*2^1005189-1 is not prime.  Res64: F3DD6725251FC1CE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:06:41]
709*2^1005195-1 is not prime.  Res64: 791847078FAAB931  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:06:42]
741*2^1005195-1 is not prime.  Res64: 6A4D1E78A11E7816  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:14:04]
819*2^1005195-1 is not prime.  Res64: 93EB5E2CF47F5B0D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:14:04]
853*2^1005195-1 is not prime.  Res64: 991EF41856531C3D  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:16:50]
859*2^1005191-1 is not prime.  Res64: 8B62F48BEA031119  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:16:50]
605*2^1005192-1 is not prime.  Res64: 5090787F561DB639  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:18:06]
951*2^1005185-1 is not prime.  Res64: 4CD94A06216D0624  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:18:06]
705*2^1005186-1 is not prime.  Res64: F72EF767DD62176C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:19:37]
747*2^1005193-1 is not prime.  Res64: B7EDF5E4367CD1AB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:19:37]
805*2^1005193-1 is not prime.  Res64: DE4BA59B81EE13D3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:21:11]
969*2^1005195-1 is not prime.  Res64: 66B7854913122859  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:21:11]
647*2^1005196-1 is not prime.  Res64: 97FBFFBC2BBC4F6C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:21:52]
765*2^1005196-1 is not prime.  Res64: E994ABFF095861F3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:21:52]
983*2^1005196-1 is not prime.  Res64: 583A1CC627A080D1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:22:39]
895*2^1005195-1 is not prime.  Res64: 273B9ED7A4567823  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:22:39]
949*2^1005195-1 is not prime.  Res64: 6F2DC3C0E439A492  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:27:35]
697*2^1005197-1 is not prime.  Res64: 9CD7178921F436D5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:27:36]
717*2^1005197-1 is not prime.  Res64: FBBBEF74F58ADDEE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:32:41]
993*2^1005187-1 is not prime.  Res64: E1A63C65BD73A84E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:32:41]
707*2^1005188-1 is not prime.  Res64: 4706326C759229C3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:34:43]
713*2^1005198-1 is not prime.  Res64: FD5ADDE70BE0776C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:34:43]
737*2^1005198-1 is not prime.  Res64: F881DFBEFEC88FB2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:35:23]
761*2^1005198-1 is not prime.  Res64: 71E87F11A94221DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:35:24]
833*2^1005198-1 is not prime.  Res64: BAF6CF6C20A5AB07  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:36:55]
645*2^1005199-1 is not prime.  Res64: 2E72581A0C30947F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:37:00]
915*2^1005193-1 is not prime.  Res64: D330C367E1E30739  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:37:00]
741*2^1005194-1 is not prime.  Res64: 981DF403632AA364  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:37:47]
963*2^1005198-1 is not prime.  Res64: 9B20BF8D0B412D60  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:37:47]
615*2^1005199-1 is not prime.  Res64: 6200A98B26BA1226  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:39:03]
771*2^1005199-1 is not prime.  Res64: 32959F98B245AEE6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:41:09]
619*2^1005199-1 is not prime.  Res64: 8555097B7F3F6CC7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:41:09]
639*2^1005199-1 is not prime.  Res64: 22C9BEF5F4BC132B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:46:49]
657*2^1005196-1 is not prime.  Res64: CA0EEAC1CDA13FDA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:46:49]
759*2^1005196-1 is not prime.  Res64: 9F334534FF5FA7A2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:48:53]
629*2^1005200-1 is not prime.  Res64: C962A454292A32C0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:48:53]
675*2^1005200-1 is not prime.  Res64: 78DB298C860325B0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:51:20]
649*2^1005201-1 is not prime.  Res64: 904B95A14ACCB8C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:51:20]
727*2^1005201-1 is not prime.  Res64: F07AC0F79DBA5FC9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:51:26]
943*2^1005199-1 is not prime.  Res64: 65340798EC54322D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:51:27]
999*2^1005199-1 is not prime.  Res64: 6256E1FB25C74084  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:56:19]
847*2^1005201-1 is not prime.  Res64: 0143A84DE67E9E28  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 09:56:20]
969*2^1005201-1 is not prime.  Res64: FD3F748EA889F202  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:57:02]
741*2^1005197-1 is not prime.  Res64: 071622AE69536AE9  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 09:57:02]
759*2^1005197-1 is not prime.  Res64: D25A3EEC3C406BF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:02:25]
701*2^1005202-1 is not prime.  Res64: 399752B32973FA3E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:02:28]
755*2^1005202-1 is not prime.  Res64: B67A387AAEA9474E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:04:58]
735*2^1005203-1 is not prime.  Res64: 78877120D27B740E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:04:59]
753*2^1005203-1 is not prime.  Res64: 81D03A50A97A4D43  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:07:16]
955*2^1005197-1 is not prime.  Res64: 5E2FEFC82CCC568E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:07:18]
663*2^1005198-1 is not prime.  Res64: E2D1C75F55B9E16D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:08:04]
987*2^1005202-1 is not prime.  Res64: 05FDADC5EBBFBB54  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:08:05]
995*2^1005202-1 is not prime.  Res64: 001CF15F692B58B8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:11:28]
855*2^1005203-1 is not prime.  Res64: BB9CFF3BBA679826  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:11:30]
949*2^1005203-1 is not prime.  Res64: 38FCFDCDA2781756  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:16:05]
665*2^1005204-1 is not prime.  Res64: 3C147F37F231B353  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:16:05]
683*2^1005204-1 is not prime.  Res64: B01105EE9B2B95B0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:18:35]
707*2^1005204-1 is not prime.  Res64: D1AD2C68EA5E41DB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:18:35]
749*2^1005204-1 is not prime.  Res64: FA578D8E34777C13  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:21:39]
715*2^1005205-1 is not prime.  Res64: 0B8411AA47B6D6DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:21:40]
721*2^1005205-1 is not prime.  Res64: 84EA43F3A0FFC0B8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:25:10]
729*2^1005205-1 is not prime.  Res64: B7B1BC9AEF7430E2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:25:11]
741*2^1005205-1 is not prime.  Res64: 5F034A00BF5DF6D8  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:26:28]
611*2^1005202-1 is not prime.  Res64: 08F1AFDE78FA6833  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:26:28]
681*2^1005202-1 is not prime.  Res64: 8767B28C4C772B11  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:29:41]
759*2^1005205-1 is not prime.  Res64: 15D3172789947E0D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:29:42]
765*2^1005205-1 is not prime.  Res64: CA41ADF5E72D9C5C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:32:03]
875*2^1005200-1 is not prime.  Res64: 997BF51C911BAC37  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:32:03]
957*2^1005200-1 is not prime.  Res64: A485F0B6DE6FEF86  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:32:06]
617*2^1005206-1 is not prime.  Res64: DDB9793C1B5DD515  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:32:06]
635*2^1005206-1 is not prime.  Res64: 41A58D08AB3B33F4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:34:31]
795*2^1005197-1 is not prime.  Res64: 969250AB822F3032  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:34:31]
927*2^1005197-1 is not prime.  Res64: 5CD5067DFE88103F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:35:12]
675*2^1005206-1 is not prime.  Res64: 56FA5D60F35BECEE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:35:13]
677*2^1005206-1 is not prime.  Res64: F5F1628CAE064859  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:38:43]
785*2^1005206-1 is not prime.  Res64: 2F82FBE782A3C848  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:38:44]
843*2^1005206-1 is not prime.  Res64: 85465CF1925B29B8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:46:26]
917*2^1005206-1 is not prime.  Res64: 4DAD9AA1D3669323  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:46:26]
953*2^1005206-1 is not prime.  Res64: 3F1DBF126351121F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:47:11]
783*2^1005204-1 is not prime.  Res64: BCF8F8AC3B9A3E94  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:47:11]
661*2^1005205-1 is not prime.  Res64: 848940D58CE5EB99  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:48:41]
711*2^1005209-1 is not prime.  Res64: 7F865BAC8BAFC38D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:48:42]
745*2^1005209-1 is not prime.  Res64: BCB87D6E3A95B196  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:48:49]
869*2^1005208-1 is not prime.  Res64: 570F997DECEB7B57  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:48:49]
899*2^1005208-1 is not prime.  Res64: 2D9AC19751AB9032  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:49:26]
841*2^1005199-1 is not prime.  Res64: 0112D7427C702FCA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:49:26]
939*2^1005199-1 is not prime.  Res64: 16DB4325A6EEAFAC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:52:13]
963*2^1005203-1 is not prime.  Res64: C8559865561FAFBA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 10:52:13]
993*2^1005203-1 is not prime.  Res64: 3577A73DAF9CB377  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:52:16]
787*2^1005209-1 is not prime.  Res64: 0B6712BD3E3E550A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 10:52:17]
847*2^1005209-1 is not prime.  Res64: F3837CCEA023E12F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:02:13]
777*2^1005210-1 is not prime.  Res64: 2EE683CFF529E3B3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:02:14]
783*2^1005210-1 is not prime.  Res64: 131AE6A03A941376  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:03:10]
949*2^1005209-1 is not prime.  Res64: 991E3968F4D48B8B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:03:12]
969*2^1005209-1 is not prime.  Res64: AD18B9E8A81026FB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:05:36]
971*2^1005210-1 is not prime.  Res64: 458956A82C7E94F4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:05:38]
977*2^1005210-1 is not prime.  Res64: 7A3EA87152C44706  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:07:25]
871*2^1005211-1 is not prime.  Res64: 2BA73B7B014DBBDD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:07:26]
665*2^1005212-1 is not prime.  Res64: E67D5C4F661137DC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:14:21]
857*2^1005206-1 is not prime.  Res64: C506523ECFBF48DA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:14:21]
893*2^1005206-1 is not prime.  Res64: FBC3C936587290EE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:15:55]
759*2^1005212-1 is not prime.  Res64: 309A75D138E8E721  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:15:55]
819*2^1005212-1 is not prime.  Res64: B42BE5C877B564F1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:18:26]
855*2^1005212-1 is not prime.  Res64: 8AA1AC8C91E976EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:18:26]
873*2^1005212-1 is not prime.  Res64: 2A6FCB59642AEDA2  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:20:02]
1001*2^1005206-1 is not prime.  Res64: 352BBCF25E3843EB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:20:02]
751*2^1005207-1 is not prime.  Res64: B4C52447D8C71164  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:22:30]
875*2^1005212-1 is not prime.  Res64: A40C3663D2673231  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:22:30]
963*2^1005212-1 is not prime.  Res64: 08A2C8667660DEA2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:24:21]
977*2^1005212-1 is not prime.  Res64: B53103E0D791C827  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:24:21]
983*2^1005212-1 is not prime.  Res64: FA181413E2A0CA16  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:27:32]
627*2^1005210-1 is not prime.  Res64: 7267C3FD8025A8AC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:27:32]
641*2^1005210-1 is not prime.  Res64: DECFC55781ED4F4C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:32:48]
945*2^1005213-1 is not prime.  Res64: B082915C90A82549  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:32:49]
951*2^1005213-1 is not prime.  Res64: FC648899F0BD5D76  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:32:50]
829*2^1005211-1 is not prime.  Res64: 5AD91A07E7950CCA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 11:32:50]
841*2^1005211-1 is not prime.  Res64: 833B4184DB1A1475  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:33:48]
969*2^1005213-1 is not prime.  Res64: 308377FFED74AADC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:33:48]
663*2^1005214-1 is not prime.  Res64: FD19BAA5E8C3B31B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:36:12]
783*2^1005214-1 is not prime.  Res64: 11B2BAF3D3E622A6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:36:12]
821*2^1005214-1 is not prime.  Res64: B97811F32611CA75  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:39:48]
833*2^1005214-1 is not prime.  Res64: 9520E15F75D77FBA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:39:48]
957*2^1005214-1 is not prime.  Res64: C36D46EC0A4F2B70  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:46:45]
789*2^1005216-1 is not prime.  Res64: 484C6E1FE1E9FF46  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:46:46]
837*2^1005216-1 is not prime.  Res64: 4C003FC1500B463F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:49:33]
845*2^1005216-1 is not prime.  Res64: 0F8CCFED682A0342  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:49:34]
867*2^1005216-1 is not prime.  Res64: 80D55B79EC5212F2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:50:20]
957*2^1005208-1 is not prime.  Res64: BE9B4989A626D183  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:50:20]
691*2^1005209-1 is not prime.  Res64: E6E47B0846921768  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:52:04]
875*2^1005216-1 is not prime.  Res64: 78723648774F0946  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:52:04]
625*2^1005217-1 is not prime.  Res64: 80FB28D5DEE439C0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:53:42]
691*2^1005217-1 is not prime.  Res64: B4916EB9A1AFA4A7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:53:42]
729*2^1005217-1 is not prime.  Res64: 9630E68A0951F3ED  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:57:36]
651*2^1005211-1 is not prime.  Res64: 16DF8F2D350B83B1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 11:57:36]
819*2^1005211-1 is not prime.  Res64: 889C1355156BFEBE  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:00:41]
687*2^1005214-1 is not prime.  Res64: 684C47C073DEA040  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:00:43]
755*2^1005214-1 is not prime.  Res64: 87F6354619C979FB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:02:27]
811*2^1005213-1 is not prime.  Res64: B873DB78ADF8012F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:02:28]
885*2^1005213-1 is not prime.  Res64: 1CE953CBCCB21B8A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:02:36]
831*2^1005217-1 is not prime.  Res64: DD03A938729F4C1D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:02:37]
895*2^1005217-1 is not prime.  Res64: A62D487C1A78B177  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:06:56]
915*2^1005217-1 is not prime.  Res64: 6E13065919BE6C5E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:06:58]
931*2^1005217-1 is not prime.  Res64: 4350C31F708CF7C5  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:07:45]
771*2^1005215-1 is not prime.  Res64: 6EA8349F3EB776DD  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:07:45]
843*2^1005215-1 is not prime.  Res64: 0191E90308145F1E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:07:54]
1001*2^1005218-1 is not prime.  Res64: 94F2324112A559C9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:07:55]
649*2^1005219-1 is not prime.  Res64: 4A117AA63541F52A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:09:37]
843*2^1005219-1 is not prime.  Res64: CBAA1AC7733DF7CE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:09:38]
891*2^1005219-1 is not prime.  Res64: 3F1B1A6E728EACE9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:17:50]
999*2^1005220-1 is not prime.  Res64: 77DE7F2C4FF4DE6E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:17:50]
607*2^1005221-1 is not prime.  Res64: C29016500E35F018  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:20:32]
685*2^1005221-1 is not prime.  Res64: 35DE928CCD850AD2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:20:33]
747*2^1005221-1 is not prime.  Res64: 9A19FFF869B8971E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:20:44]
981*2^1005215-1 is not prime.  Res64: 5D746A7D3905CA34  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:20:44]
675*2^1005216-1 is not prime.  Res64: B551170F7BE29BF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:23:05]
711*2^1005222-1 is not prime.  Res64: A8FEF7F9CF45075D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:23:05]
893*2^1005222-1 is not prime.  Res64: A832B9D9CE346954  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:26:26]
921*2^1005222-1 is not prime.  Res64: A95885AAD3979F92  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:26:27]
965*2^1005222-1 is not prime.  Res64: B4D22F6F3EC50652  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:31:22]
703*2^1005223-1 is not prime.  Res64: 06CF1EB05DF2E8D9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:31:22]
745*2^1005223-1 is not prime.  Res64: 9876D54C0F8395DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:34:04]
783*2^1005223-1 is not prime.  Res64: 5D4C8C0273030526  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:34:04]
789*2^1005223-1 is not prime.  Res64: FE2A637A89C258A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:38:13]
985*2^1005223-1 is not prime.  Res64: 59362E24DB885DF1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:38:13]
813*2^1005224-1 is not prime.  Res64: 7C9900451134EB58  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:40:57]
783*2^1005220-1 is not prime.  Res64: B47D7D570F82F862  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:40:57]
843*2^1005220-1 is not prime.  Res64: B0E348A25CC97FCE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:43:13]
873*2^1005224-1 is not prime.  Res64: DEFD3569F2B1E718  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:43:13]
945*2^1005224-1 is not prime.  Res64: A48A3D90C1CF3C72  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:44:53]
667*2^1005225-1 is not prime.  Res64: 22781154D3E0F2DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:44:53]
705*2^1005225-1 is not prime.  Res64: C3F7F4A3272127EE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:47:35]
709*2^1005225-1 is not prime.  Res64: 773E8679EA64C50B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:47:36]
781*2^1005225-1 is not prime.  Res64: 2C245A26F9732E83  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:54:58]
915*2^1005225-1 is not prime.  Res64: 35301CCD65F50A71  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:54:59]
979*2^1005225-1 is not prime.  Res64: 3E460B284D3442FF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:55:41]
811*2^1005221-1 is not prime.  Res64: 527AB89DA53FEA21  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:55:41]
949*2^1005221-1 is not prime.  Res64: 02B03D7F78B401D1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:56:52]
815*2^1005226-1 is not prime.  Res64: 61F7BDBC507DBF7D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 12:56:52]
825*2^1005226-1 is not prime.  Res64: AF82D617DB6AF9BC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:57:19]
909*2^1005220-1 is not prime.  Res64: D1F6D48D4C2E4B86  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 12:57:19]
989*2^1005220-1 is not prime.  Res64: 7057F0BE6A7BC426  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:01:57]
887*2^1005226-1 is not prime.  Res64: 4265303B0527C588  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:01:58]
891*2^1005226-1 is not prime.  Res64: C2701CBE36214AC3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:02:59]
905*2^1005226-1 is not prime.  Res64: 27AFC5312112C302  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:03:00]
603*2^1005227-1 is not prime.  Res64: 1B68B179968BFA7B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:08:25]
861*2^1005223-1 is not prime.  Res64: 9EEFAF7447684300  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:08:26]
895*2^1005223-1 is not prime.  Res64: 0F3994A1E5CDDBB4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:08:49]
649*2^1005227-1 is not prime.  Res64: AC3F1A90D6BB921D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:08:49]
699*2^1005227-1 is not prime.  Res64: 7ED0A88C86C632E3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:10:44]
683*2^1005228-1 is not prime.  Res64: 7B06FEE7625698F3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:10:46]
753*2^1005228-1 is not prime.  Res64: F89327AD98683E52  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:16:58]
661*2^1005229-1 is not prime.  Res64: 83A0CB992291502C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:16:58]
771*2^1005229-1 is not prime.  Res64: 5DB88C3C01535EE4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:17:29]
969*2^1005228-1 is not prime.  Res64: 5EEC0202D5B1B7C7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:17:29]
625*2^1005229-1 is not prime.  Res64: DACE9AD1700AC760  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:20:56]
677*2^1005226-1 is not prime.  Res64: FE6C7DB90256EE1B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:20:56]
717*2^1005226-1 is not prime.  Res64: 685C99CBA1942B2B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:24:25]
851*2^1005230-1 is not prime.  Res64: 4DF67CAD71E3A9D3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:24:25]
923*2^1005230-1 is not prime.  Res64: 3D70D9A4BD3BD17A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:28:07]
935*2^1005230-1 is not prime.  Res64: D900E15BDF1DB815  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:28:08]
945*2^1005230-1 is not prime.  Res64: 9D3C7B3412E3936E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:31:35]
741*2^1005231-1 is not prime.  Res64: 164996CB11AC0A37  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:31:36]
745*2^1005231-1 is not prime.  Res64: 9FA11FE894E2BEB7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:32:35]
981*2^1005230-1 is not prime.  Res64: 9E7087B67EB8A36D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:32:36]
693*2^1005231-1 is not prime.  Res64: 00E696CED340F27F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:41:25]
873*2^1005231-1 is not prime.  Res64: 0EEF0206ED986D6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:41:25]
895*2^1005231-1 is not prime.  Res64: ED724A7B248F9848  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:41:47]
695*2^1005232-1 is not prime.  Res64: 55A30B5001DE0D27  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:41:47]
735*2^1005232-1 is not prime.  Res64: DA157625DF73B330  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:43:17]
841*2^1005227-1 is not prime.  Res64: 5BFD69F452FB7474  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:43:17]
885*2^1005227-1 is not prime.  Res64: CCC6C4A242240DA7  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:45:06]
783*2^1005228-1 is not prime.  Res64: F9BC6CD2BB9DBE4E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:45:07]
957*2^1005228-1 is not prime.  Res64: 8A25B54F8206584A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:46:04]
607*2^1005233-1 is not prime.  Res64: 13864B39BC033DA9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:46:04]
691*2^1005233-1 is not prime.  Res64: FE9A7B09297A92B0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:46:43]
755*2^1005232-1 is not prime.  Res64: 7996E178313F93DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:46:43]
965*2^1005232-1 is not prime.  Res64: EE348CB7D27F907E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:48:38]
635*2^1005230-1 is not prime.  Res64: 043DB16D3AE0ABB0  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 13:48:38]
687*2^1005230-1 is not prime.  Res64: 519C4E9EEF6538C7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:55:16]
633*2^1005234-1 is not prime.  Res64: 618FC9257B3E4150  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:55:17]
705*2^1005234-1 is not prime.  Res64: 42E6FFEEC17D81AD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:56:33]
861*2^1005233-1 is not prime.  Res64: F9A99B5C880EAA1E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:56:33]
955*2^1005233-1 is not prime.  Res64: 142AB63986BC34DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:59:34]
735*2^1005235-1 is not prime.  Res64: 4ECC5BCD8A19C34D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 13:59:35]
751*2^1005235-1 is not prime.  Res64: 803F418F7F5E28A4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:00:14]
849*2^1005235-1 is not prime.  Res64: CFF052CBA03BB085  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:00:16]
861*2^1005235-1 is not prime.  Res64: AC5D9F801C2C04B9  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:00:52]
795*2^1005231-1 is not prime.  Res64: 83DC90F2469F4D25  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:00:52]
861*2^1005231-1 is not prime.  Res64: 316EEC6A329FE0FC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:08:48]
609*2^1005236-1 is not prime.  Res64: 065A4D409CC67432  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:08:50]
683*2^1005236-1 is not prime.  Res64: F6ED50CB3CCAB2F7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:10:05]
707*2^1005236-1 is not prime.  Res64: ECB3417E9B913753  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:10:06]
839*2^1005236-1 is not prime.  Res64: FA0D3A2132B8AA69  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:15:29]
999*2^1005236-1 is not prime.  Res64: A3437B8C40DFEAF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:15:29]
615*2^1005237-1 is not prime.  Res64: AE906B8C502BBB95  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:16:19]
903*2^1005236-1 is not prime.  Res64: 8ED7E517B284DD3F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:16:19]
993*2^1005236-1 is not prime.  Res64: 1D27F836188FBD85  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:23:42]
773*2^1005234-1 is not prime.  Res64: FEE970D5844D39DB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:23:42]
851*2^1005234-1 is not prime.  Res64: A4D0C7BA426BCA5A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:25:15]
961*2^1005237-1 is not prime.  Res64: 117B603E9BF6B028  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:25:16]
671*2^1005238-1 is not prime.  Res64: 4BD1E9D208D73EF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:25:38]
945*2^1005237-1 is not prime.  Res64: F8A205AAE8D26003  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:25:39]
955*2^1005237-1 is not prime.  Res64: 76313ECE0B7475B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:29:00]
677*2^1005238-1 is not prime.  Res64: DFD82C246FCAD7D8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:29:00]
755*2^1005238-1 is not prime.  Res64: 271FE42DF460297D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:29:49]
791*2^1005238-1 is not prime.  Res64: 7288862A7F1785FC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:29:49]
821*2^1005238-1 is not prime.  Res64: 8F03F367B0580F55  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:33:11]
917*2^1005234-1 is not prime.  Res64: 7FB48C83C4BCA563  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:33:11]
651*2^1005235-1 is not prime.  Res64: 153E55C24EE26D16  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:38:48]
735*2^1005239-1 is not prime.  Res64: 38E63714CF17ED99  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:38:48]
763*2^1005239-1 is not prime.  Res64: 2E09A0B803221A08  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:39:11]
799*2^1005239-1 is not prime.  Res64: 7D2AF5A25055A67F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:39:11]
669*2^1005240-1 is not prime.  Res64: A7E24E3F7623028E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:41:10]
747*2^1005237-1 is not prime.  Res64: 6FBE64EB46A9AFBF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:41:10]
837*2^1005237-1 is not prime.  Res64: 71DDE4CAC3EB8A3B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:42:33]
707*2^1005240-1 is not prime.  Res64: C23623AB420C2C0C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:42:33]
719*2^1005240-1 is not prime.  Res64: 7785963028E26324  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:43:21]
753*2^1005240-1 is not prime.  Res64: A4DFBEAC2CD65EA7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:43:22]
789*2^1005240-1 is not prime.  Res64: 52E334E4D65D4302  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:44:15]
925*2^1005235-1 is not prime.  Res64: 8E984B525C5FEF85  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 14:44:15]
961*2^1005235-1 is not prime.  Res64: 37D2AA1CDA7C7A5F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:48:11]
641*2^1005218-1 is not prime.  Res64: C591F0E2B49049E0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:48:12]
875*2^1005218-1 is not prime.  Res64: C9A2A1EA0B5243E7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:48:20]
895*2^1005135-1 is not prime.  Res64: D5B556D9778B50CA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:48:20]
909*2^1005135-1 is not prime.  Res64: 2FBFEC633D0BDEB4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:48:28]
903*2^1005219-1 is not prime.  Res64: 25ED06E84878DFA5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:48:28]
909*2^1005219-1 is not prime.  Res64: 4DC8B89DD19B5730  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:52:42]
651*2^1005241-1 is not prime.  Res64: A543C234A04093D2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:52:43]
777*2^1005241-1 is not prime.  Res64: 63828C40E9804678  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:55:33]
959*2^1005240-1 is not prime.  Res64: A81A1BA9BFE0392C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:55:33]
983*2^1005240-1 is not prime.  Res64: 2435781EEAFC8DF4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:56:53]
615*2^1005242-1 is not prime.  Res64: B51574B922A9743E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:56:53]
651*2^1005242-1 is not prime.  Res64: BFDA5ACBF6F6D92A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:59:16]
945*2^1005241-1 is not prime.  Res64: BC1549E5DD71B252  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 14:59:17]
997*2^1005241-1 is not prime.  Res64: E235EAB07DF6FFD5  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:03:52]
857*2^1005238-1 is not prime.  Res64: 1B204B2035544BA5  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:03:53]
693*2^1005239-1 is not prime.  Res64: 99038CE964C6B79D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:06:15]
649*2^1005243-1 is not prime.  Res64: AF929D2A626CDC2B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:06:16]
685*2^1005243-1 is not prime.  Res64: 1B259BEBFB2B9836  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:09:07]
703*2^1005243-1 is not prime.  Res64: 388E1FA5B084DAB5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:09:09]
723*2^1005243-1 is not prime.  Res64: 2A623E5E8D28CB60  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:10:23]
735*2^1005243-1 is not prime.  Res64: 59F01EBA46657825  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:10:25]
835*2^1005243-1 is not prime.  Res64: 7BF2E3196FD94A5A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:16:00]
891*2^1005243-1 is not prime.  Res64: E256C4C3F485B60B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:16:00]
895*2^1005243-1 is not prime.  Res64: 7D3B152C2E6637D9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:19:51]
719*2^1005244-1 is not prime.  Res64: DFB9C73737C11E04  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:19:51]
755*2^1005244-1 is not prime.  Res64: 1ECEDCE6B5A04E26  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:21:05]
845*2^1005240-1 is not prime.  Res64: 44E70EEC51F10D6B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:21:05]
927*2^1005240-1 is not prime.  Res64: 62DABA31EE58652F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:24:06]
721*2^1005245-1 is not prime.  Res64: 00865F18C7E4062B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:24:07]
729*2^1005245-1 is not prime.  Res64: DA0F0E1CB258E25F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:24:22]
905*2^1005244-1 is not prime.  Res64: D1EA3EB19210DE48  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:24:22]
607*2^1005245-1 is not prime.  Res64: 7555EA9AFEAAD7CB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:24:43]
731*2^1005242-1 is not prime.  Res64: 884188AC208AE1EA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:24:43]
735*2^1005242-1 is not prime.  Res64: 577BFF7ACF0EA3BC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:31:33]
735*2^1005245-1 is not prime.  Res64: 4B0A9CD39259661E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:31:34]
889*2^1005245-1 is not prime.  Res64: 7FFF4AAE4A9B93FE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:33:59]
677*2^1005246-1 is not prime.  Res64: 8D3FF52D51FB11F7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:34:00]
795*2^1005246-1 is not prime.  Res64: 6C83CD37F667B91C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:36:23]
895*2^1005241-1 is not prime.  Res64: 6B64751576E5EEB0  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:36:23]
901*2^1005241-1 is not prime.  Res64: 6B3C25B6CB5F0882  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:41:38]
867*2^1005246-1 is not prime.  Res64: F9E29672648754FD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:41:38]
903*2^1005246-1 is not prime.  Res64: 4CBA3A978D6148BB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:41:49]
963*2^1005246-1 is not prime.  Res64: A6BF991CA7AA2C32  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:41:49]
1001*2^1005246-1 is not prime.  Res64: 3209AF1B86B4B942  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:45:53]
729*2^1005247-1 is not prime.  Res64: AB33E81BE8D72074  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:45:53]
769*2^1005247-1 is not prime.  Res64: 1867B5B2BC1FF892  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:49:51]
859*2^1005247-1 is not prime.  Res64: AE927D7DA4FB1034  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:49:51]
975*2^1005247-1 is not prime.  Res64: D08DEAE305167582  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:55:35]
699*2^1005248-1 is not prime.  Res64: FD15D2BCD012F890  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:55:35]
713*2^1005248-1 is not prime.  Res64: 96372C2DA4FCFAAD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:55:58]
845*2^1005248-1 is not prime.  Res64: 0FEE8E69131DE8E6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 15:55:58]
855*2^1005248-1 is not prime.  Res64: 68E8BEDFF5317125  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:59:27]
919*2^1005243-1 is not prime.  Res64: AFDE730449E36730  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 15:59:27]
985*2^1005243-1 is not prime.  Res64: 92A2B14D36F96DDF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:01:38]
987*2^1005249-1 is not prime.  Res64: 2645C59DF13B5132  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:01:45]
681*2^1005250-1 is not prime.  Res64: D01D7FE677259B98  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:01:49]
843*2^1005246-1 is not prime.  Res64: 89511B0F02F009A6  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:01:49]
861*2^1005246-1 is not prime.  Res64: B290B75D1251219D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:04:24]
735*2^1005250-1 is not prime.  Res64: 9DC297C15F9528C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:04:25]
777*2^1005250-1 is not prime.  Res64: 8054A9645F242FCB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:05:18]
651*2^1005247-1 is not prime.  Res64: 2E3AB49FA29AFF48  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:05:18]
663*2^1005247-1 is not prime.  Res64: 663EE23E90B81EFC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:05:41]
741*2^1005242-1 is not prime.  Res64: F2FBAC19E913E173  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:05:42]
743*2^1005242-1 is not prime.  Res64: 9346F3212FAF1696  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:10:08]
705*2^1005251-1 is not prime.  Res64: E900BAEDFA4D4DAB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:10:08]
735*2^1005251-1 is not prime.  Res64: 12F157F4A2DFB416  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:11:27]
857*2^1005250-1 is not prime.  Res64: 46A122705F795ADC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:11:29]
923*2^1005250-1 is not prime.  Res64: E5C0434AE1DBC68E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:16:32]
657*2^1005248-1 is not prime.  Res64: 4A5DB3368BA70FB9  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:16:32]
683*2^1005248-1 is not prime.  Res64: D1AAF66CE3E5E27D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:18:32]
693*2^1005252-1 is not prime.  Res64: 2E87E2284EC7DCDE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:18:33]
737*2^1005252-1 is not prime.  Res64: 451C46D020F0D421  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:19:17]
955*2^1005251-1 is not prime.  Res64: 2BD0646CDA495EC2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:19:17]
973*2^1005251-1 is not prime.  Res64: 64E927399AB77501  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:23:32]
885*2^1005242-1 is not prime.  Res64: B5E147B3C74CF15F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:23:32]
935*2^1005242-1 is not prime.  Res64: DA50EB3C10B15E8D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:23:36]
977*2^1005242-1 is not prime.  Res64: 354ACE4961773B24  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:23:36]
1001*2^1005242-1 is not prime.  Res64: 316EDA5E0244B6A9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:24:08]
685*2^1005253-1 is not prime.  Res64: 012A18AE952BFB21  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:24:09]
721*2^1005253-1 is not prime.  Res64: 1D255314AA928F85  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:25:44]
751*2^1005253-1 is not prime.  Res64: 543CC78BF301D442  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:25:44]
861*2^1005253-1 is not prime.  Res64: 2E95A9EAD71980A2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:32:47]
657*2^1005254-1 is not prime.  Res64: 34589A946F0D0558  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:32:47]
687*2^1005254-1 is not prime.  Res64: 8545F51B68845C94  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:33:30]
731*2^1005254-1 is not prime.  Res64: 55CB0D68FD52100F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:33:30]
741*2^1005254-1 is not prime.  Res64: A23BCB68F9D87F17  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:41:20]
789*2^1005255-1 is not prime.  Res64: 64E865427EDECEA7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:41:20]
885*2^1005255-1 is not prime.  Res64: 9CE99B56C78877AF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:41:38]
897*2^1005254-1 is not prime.  Res64: D29C5AF9EBC8D99E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:41:39]
965*2^1005254-1 is not prime.  Res64: 55C08F516EED7713  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:42:14]
605*2^1005252-1 is not prime.  Res64: D287D2276E7F70A4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:42:14]
675*2^1005252-1 is not prime.  Res64: F1DDDD8BF4B04878  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:48:35]
961*2^1005255-1 is not prime.  Res64: A2F3F55B7DFDB76D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:48:35]
777*2^1005256-1 is not prime.  Res64: FDB4194B1E3B2EEC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:51:00]
875*2^1005256-1 is not prime.  Res64: B2F19B29990EE1F8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:51:00]
887*2^1005256-1 is not prime.  Res64: D13E816E5DFFF7D0  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:53:09]
777*2^1005252-1 is not prime.  Res64: 87293DC66DC99BCB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:53:09]
879*2^1005252-1 is not prime.  Res64: 7B050677B9EA3021  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:54:43]
871*2^1005251-1 is not prime.  Res64: B9DA8F06AE6A84FD  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 16:54:43]
895*2^1005251-1 is not prime.  Res64: 87AA6800D0A27D00  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:55:54]
685*2^1005257-1 is not prime.  Res64: EDACC64973115732  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:55:55]
759*2^1005257-1 is not prime.  Res64: 551106BDF4A018CC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:57:05]
989*2^1005256-1 is not prime.  Res64: 1CD703AD2FB9C0E9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 16:57:05]
615*2^1005257-1 is not prime.  Res64: 3CE2B18C4B64D6FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:02:37]
841*2^1005257-1 is not prime.  Res64: 6949131D29A7FFB9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:02:38]
847*2^1005257-1 is not prime.  Res64: 9C1A431D5167CB06  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:08:41]
937*2^1005257-1 is not prime.  Res64: 3FA78ABFC7A032ED  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:08:42]
949*2^1005257-1 is not prime.  Res64: 6F89425642698385  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:11:07]
769*2^1005259-1 is not prime.  Res64: 22F2F408EAA54ACB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:11:09]
771*2^1005259-1 is not prime.  Res64: 892C03D6FD7A9041  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:11:29]
955*2^1005253-1 is not prime.  Res64: 63F681BEE28033A7  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:11:30]
979*2^1005253-1 is not prime.  Res64: 5030FF71BD9C5716  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:11:39]
695*2^1005258-1 is not prime.  Res64: ED93FAFF9530AEAC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:11:41]
977*2^1005258-1 is not prime.  Res64: DA0E0B9D37D769AD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:16:31]
829*2^1005259-1 is not prime.  Res64: EF6031A516DF4F12  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:16:32]
861*2^1005259-1 is not prime.  Res64: 8C745F69514A1B97  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:22:46]
805*2^1005257-1 is not prime.  Res64: 4A4BA73E41A2B1C0  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:22:46]
819*2^1005257-1 is not prime.  Res64: 6CAD3779628C1649  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:23:53]
891*2^1005259-1 is not prime.  Res64: F6F4234DFEC65F77  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:23:53]
603*2^1005260-1 is not prime.  Res64: FF34E6A455F2616F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:24:42]
699*2^1005260-1 is not prime.  Res64: 699784C34F6F51B2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:24:42]
735*2^1005260-1 is not prime.  Res64: F951C87E15353319  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:25:14]
827*2^1005260-1 is not prime.  Res64: 366D21C0600F9014  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:25:14]
839*2^1005260-1 is not prime.  Res64: 2417699E3043B41C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:33:14]
963*2^1005260-1 is not prime.  Res64: 18AB36D7723FAC0D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:33:15]
995*2^1005260-1 is not prime.  Res64: B732B426848B5065  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:33:58]
611*2^1005258-1 is not prime.  Res64: F4B67D2F16B38CEF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:33:58]
657*2^1005258-1 is not prime.  Res64: DBA20D70CF72BBDA  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:35:07]
671*2^1005258-1 is not prime.  Res64: 24C554959B13253C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:35:07]
683*2^1005258-1 is not prime.  Res64: 9053E9D9D8C99D22  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:38:44]
617*2^1005262-1 is not prime.  Res64: 5855D2C77655A7E1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:38:45]
671*2^1005262-1 is not prime.  Res64: E3DC138F15264A2C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:38:58]
819*2^1005261-1 is not prime.  Res64: D60A077A9DC8E937  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:38:58]
889*2^1005261-1 is not prime.  Res64: F4F2FA5670F7FABF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:41:19]
975*2^1005261-1 is not prime.  Res64: AA978125D1E2310B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:41:20]
991*2^1005261-1 is not prime.  Res64: 0C8F4AE210392096  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:43:04]
965*2^1005252-1 is not prime.  Res64: 97A93898FC15E8E6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:43:04]
977*2^1005252-1 is not prime.  Res64: 6D78CD2C6A85849E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:43:23]
743*2^1005254-1 is not prime.  Res64: 4C9D2D8A5B9BF895  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:43:23]
773*2^1005254-1 is not prime.  Res64: 29B617334ECC8D97  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:46:46]
675*2^1005262-1 is not prime.  Res64: 06525DF312BA375C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:46:47]
681*2^1005262-1 is not prime.  Res64: 7A74C09F108E4D34  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:52:03]
767*2^1005260-1 is not prime.  Res64: 9C3911D7E667611B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 17:52:03]
789*2^1005260-1 is not prime.  Res64: 4AB7A4ACD1C06D22  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:52:21]
857*2^1005254-1 is not prime.  Res64: D9995A01B88996DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:52:21]
885*2^1005254-1 is not prime.  Res64: 2737BAECE4700422  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:52:30]
619*2^1005263-1 is not prime.  Res64: FE67B7649545FF2E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:52:30]
693*2^1005263-1 is not prime.  Res64: AA6C38CC2169709A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:54:55]
789*2^1005263-1 is not prime.  Res64: 43B2AC12EAAEA32F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:54:55]
825*2^1005263-1 is not prime.  Res64: F82A9F020BEB0BBA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:55:26]
887*2^1005262-1 is not prime.  Res64: E579B87065189A55  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 17:55:26]
965*2^1005262-1 is not prime.  Res64: B8F9D75CD9247498  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:00:21]
725*2^1005264-1 is not prime.  Res64: 660826023DD24D91  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:00:23]
767*2^1005264-1 is not prime.  Res64: E948475E6EE56173  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:03:16]
601*2^1005261-1 is not prime.  Res64: 6D8742A6EEBCCD4F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:03:17]
675*2^1005261-1 is not prime.  Res64: ADB8AA9F0F127B9E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:07:38]
915*2^1005265-1 is not prime.  Res64: 347675BFF21A3CC5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:07:38]
827*2^1005266-1 is not prime.  Res64: 00F69EFDFF6A258F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:08:28]
857*2^1005266-1 is not prime.  Res64: E93D7B9151397246  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:08:29]
609*2^1005267-1 is not prime.  Res64: 5349A934E70C8B3E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:08:58]
751*2^1005267-1 is not prime.  Res64: 96C1954D7CC8E5BC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:09:00]
617*2^1005268-1 is not prime.  Res64: 8E827D59BB5E5988  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:14:14]
713*2^1005262-1 is not prime.  Res64: 7D4B1B0F46543DF7  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:14:14]
825*2^1005262-1 is not prime.  Res64: B5271594A7EFE950  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:14:20]
657*2^1005268-1 is not prime.  Res64: 0962A53DB49E8FE6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:14:21]
677*2^1005268-1 is not prime.  Res64: B0706AD9B8B8C925  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:15:33]
831*2^1005262-1 is not prime.  Res64: F432C4C6CC7840E4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:15:33]
833*2^1005262-1 is not prime.  Res64: 274C3C2083CC8497  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:23:23]
777*2^1005268-1 is not prime.  Res64: E9C86B0F6B9E6B5F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:23:23]
869*2^1005268-1 is not prime.  Res64: 56501BDBDB6345ED  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:26:35]
905*2^1005268-1 is not prime.  Res64: A8019E72514CBF1D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:26:35]
915*2^1005268-1 is not prime.  Res64: 4CFFF81A0CFAF3B1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:26:42]
933*2^1005268-1 is not prime.  Res64: F4F50C93D7A9E2C3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:26:42]
957*2^1005268-1 is not prime.  Res64: 7F4533178ABBE485  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:28:59]
727*2^1005269-1 is not prime.  Res64: 63FB1B948892EBB9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:29:00]
775*2^1005269-1 is not prime.  Res64: C6D8C1D9F1A865DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:37:45]
681*2^1005270-1 is not prime.  Res64: 91055E9E2CFBFF29  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:37:45]
791*2^1005270-1 is not prime.  Res64: 6935099E867C73B5  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:39:47]
945*2^1005264-1 is not prime.  Res64: 8FCD217C753A497C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:39:47]
799*2^1005265-1 is not prime.  Res64: 7719A0CC5BD357EE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:40:35]
801*2^1005270-1 is not prime.  Res64: C88578C5F9E23A2A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:40:35]
833*2^1005270-1 is not prime.  Res64: 9181A109591462BF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:42:36]
645*2^1005271-1 is not prime.  Res64: 2AB689750D6C4B50  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:42:37]
649*2^1005271-1 is not prime.  Res64: 672E4C90817A9F7A  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:43:32]
695*2^1005268-1 is not prime.  Res64: 16DAE368742C1D2C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 18:43:32]
707*2^1005268-1 is not prime.  Res64: A64172CC77FAD636  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:43:39]
917*2^1005270-1 is not prime.  Res64: 6ACFC808997E9625  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:43:40]
945*2^1005270-1 is not prime.  Res64: 67750173CFAAF2FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:51:19]
673*2^1005271-1 is not prime.  Res64: 54EBAF220E40625B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:51:19]
685*2^1005271-1 is not prime.  Res64: 6D3AEB81A9D28457  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:55:43]
793*2^1005271-1 is not prime.  Res64: B0CDEC4EAB02020E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:55:44]
891*2^1005271-1 is not prime.  Res64: 6227BDFB21231566  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:57:17]
797*2^1005272-1 is not prime.  Res64: 74779667AFBB1C39  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:57:17]
813*2^1005272-1 is not prime.  Res64: 329FDD5C735FCE0E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:57:41]
939*2^1005271-1 is not prime.  Res64: 3DA2ED3A36802B3C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 18:57:41]
605*2^1005272-1 is not prime.  Res64: CC5FA2B26D91B03A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:01:38]
605*2^1005264-1 is not prime.  Res64: 7409992C4164A033  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:01:40]
689*2^1005264-1 is not prime.  Res64: B48951103A3F86CD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:01:58]
707*2^1005264-1 is not prime.  Res64: 606F68A2BBB506BE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:01:59]
717*2^1005264-1 is not prime.  Res64: CD62115BC4CF7A4F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:02:22]
987*2^1005268-1 is not prime.  Res64: 5B7E8F05CCF753BC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:02:23]
631*2^1005269-1 is not prime.  Res64: 51ED468BD8CDF3DC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:07:55]
879*2^1005272-1 is not prime.  Res64: D972259A406131D7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:07:57]
983*2^1005272-1 is not prime.  Res64: 7CA9485B18CBA772  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:09:20]
691*2^1005273-1 is not prime.  Res64: B842850EACC4868E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:09:23]
745*2^1005273-1 is not prime.  Res64: 37707DC7F9E5AEEF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:10:47]
769*2^1005273-1 is not prime.  Res64: 0302E492B565538B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:10:48]
789*2^1005273-1 is not prime.  Res64: 43ADADBA69440BAB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:10:56]
969*2^1005269-1 is not prime.  Res64: C50CA72276B30D84  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:10:57]
985*2^1005269-1 is not prime.  Res64: B08206B06EF26075  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:11:14]
795*2^1005273-1 is not prime.  Res64: FEB5D54D49BC0FDA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:11:15]
819*2^1005273-1 is not prime.  Res64: C1E63634E43B61B1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:19:13]
841*2^1005265-1 is not prime.  Res64: CBC224051195E524  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:19:13]
877*2^1005265-1 is not prime.  Res64: 1B6C61A2FBCC344A  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:20:15]
735*2^1005271-1 is not prime.  Res64: 59D2C36FD5264474  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:20:15]
745*2^1005271-1 is not prime.  Res64: 5B8513C11D698A36  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:21:32]
663*2^1005274-1 is not prime.  Res64: BA90FA75BCE09FC2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:21:33]
677*2^1005274-1 is not prime.  Res64: 7C6F4CDE97E8E6DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:22:57]
687*2^1005274-1 is not prime.  Res64: A36B0B084B174E13  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:22:58]
825*2^1005274-1 is not prime.  Res64: CBB495B5122ECFF8  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:23:58]
725*2^1005272-1 is not prime.  Res64: C24C430FBDB01B2C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:23:58]
767*2^1005272-1 is not prime.  Res64: 6A9E29D81DE0FEF7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:25:53]
857*2^1005274-1 is not prime.  Res64: 1B0A1C226BA19B33  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:25:54]
887*2^1005274-1 is not prime.  Res64: B226E3E6C7A53DA4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:27:46]
885*2^1005275-1 is not prime.  Res64: F6AC78AA10F8A36C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:27:47]
921*2^1005275-1 is not prime.  Res64: EE1E4F94F9A83513  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:35:06]
695*2^1005276-1 is not prime.  Res64: C1C59373ADF2C4A8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:35:06]
707*2^1005276-1 is not prime.  Res64: 80A56BEC775B0BAB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:36:30]
719*2^1005276-1 is not prime.  Res64: 99C99A00249117DB  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:36:31]
725*2^1005276-1 is not prime.  Res64: 2BC81AF3F3A6C69D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:40:59]
875*2^1005276-1 is not prime.  Res64: 21E27743F86044EE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:40:59]
729*2^1005277-1 is not prime.  Res64: B405F1F98FE37EFD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:41:23]
769*2^1005277-1 is not prime.  Res64: B58116DABCF8B5C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:41:23]
829*2^1005277-1 is not prime.  Res64: C50D7C9E85796A18  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:42:50]
611*2^1005274-1 is not prime.  Res64: 974723AA11801A66  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:42:51]
623*2^1005274-1 is not prime.  Res64: 8536B11D4FD56041  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:50:03]
657*2^1005278-1 is not prime.  Res64: D524170E6622A024  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:50:04]
665*2^1005278-1 is not prime.  Res64: E7579EDEF3920A85  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:51:41]
889*2^1005277-1 is not prime.  Res64: B6A71C02718D85DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:51:42]
937*2^1005277-1 is not prime.  Res64: CADAD4918820B281  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:54:29]
671*2^1005278-1 is not prime.  Res64: 7A0854EE1A70C972  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:54:30]
791*2^1005278-1 is not prime.  Res64: BC6BD6274E2BFEB0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:54:56]
801*2^1005278-1 is not prime.  Res64: 42E742C5E190D5A6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 19:54:56]
843*2^1005278-1 is not prime.  Res64: E606376699268EF9  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:58:38]
983*2^1005274-1 is not prime.  Res64: 27308324FDC5426D  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 19:58:38]
861*2^1005275-1 is not prime.  Res64: 067177EF08CB0278  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:00:47]
689*2^1005276-1 is not prime.  Res64: 205FDDAEB3BFB650  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:00:48]
693*2^1005276-1 is not prime.  Res64: 17A28BB7BB608BE4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:03:35]
853*2^1005279-1 is not prime.  Res64: EAD167B2F342CEBE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:03:37]
861*2^1005279-1 is not prime.  Res64: D64685741EB6ED99  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:04:19]
779*2^1005276-1 is not prime.  Res64: 2F031AD59B871ACC  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:04:20]
825*2^1005276-1 is not prime.  Res64: 748CACD53033757A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:05:15]
629*2^1005280-1 is not prime.  Res64: D4CEB272D7490C23  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:05:16]
635*2^1005280-1 is not prime.  Res64: 4B8F47F7D9C8BDDA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:08:00]
675*2^1005280-1 is not prime.  Res64: 9CD4A3060919D73B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:08:01]
743*2^1005280-1 is not prime.  Res64: 2149DFDD42563949  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:08:27]
765*2^1005280-1 is not prime.  Res64: B5DE635806750AE3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:08:28]
785*2^1005280-1 is not prime.  Res64: 78D7F52356FA2B9C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:17:13]
795*2^1005281-1 is not prime.  Res64: A5D5A5034BAFBB01  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:17:14]
801*2^1005281-1 is not prime.  Res64: D8430FBC8F867C4E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:18:50]
741*2^1005282-1 is not prime.  Res64: CC16196F5B29D320  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:18:51]
777*2^1005282-1 is not prime.  Res64: 4851513E6B94AC04  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:21:36]
791*2^1005282-1 is not prime.  Res64: 59CAFD7BDC56AA98  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:21:37]
797*2^1005282-1 is not prime.  Res64: F914CFF5949FF509  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:22:00]
807*2^1005282-1 is not prime.  Res64: A96966FF2955BA2D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:22:00]
815*2^1005282-1 is not prime.  Res64: FB21F5FF54F7322C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:28:39]
837*2^1005273-1 is not prime.  Res64: 02CF16CCF5BBCB43  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:28:39]
901*2^1005273-1 is not prime.  Res64: 4388A9DEC858D1FF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:33:48]
873*2^1005282-1 is not prime.  Res64: E5ECCA3996373726  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:33:49]
921*2^1005282-1 is not prime.  Res64: 5CE4D4E17EB62934  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:33:56]
983*2^1005282-1 is not prime.  Res64: B1988BB594B23C87  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:33:57]
663*2^1005283-1 is not prime.  Res64: A357E5BCF2770AB5  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:35:10]
735*2^1005283-1 is not prime.  Res64: 5BF370858C695E3B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:35:10]
741*2^1005283-1 is not prime.  Res64: AAFE728545A82D16  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:37:05]
925*2^1005283-1 is not prime.  Res64: 2C24D7AEF7D86CD1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:37:05]
617*2^1005284-1 is not prime.  Res64: 684770C8E440AFBE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:37:46]
945*2^1005273-1 is not prime.  Res64: 449E21890F74CF89  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:37:47]
955*2^1005273-1 is not prime.  Res64: 757FC6DC571D0A37  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:38:15]
897*2^1005278-1 is not prime.  Res64: 0BF289D5285B261C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:38:15]
927*2^1005278-1 is not prime.  Res64: ED59ED07C5860743  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:44:17]
633*2^1005282-1 is not prime.  Res64: A5737CBF321A18BB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:44:17]
717*2^1005282-1 is not prime.  Res64: 0D79CDE6D2134D6F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:46:32]
825*2^1005280-1 is not prime.  Res64: 8E130537506FBD88  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:46:32]
873*2^1005280-1 is not prime.  Res64: 89D3A1FCDA0D13B1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:47:23]
729*2^1005284-1 is not prime.  Res64: 6E084C1F263B614A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:47:23]
843*2^1005284-1 is not prime.  Res64: 4EEDFE51F9B2FB24  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:48:30]
983*2^1005280-1 is not prime.  Res64: D28CC117763A5EC9  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 20:48:30]
777*2^1005281-1 is not prime.  Res64: 07075B2272052040  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:48:43]
651*2^1005285-1 is not prime.  Res64: 174D649073E8E281  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:48:44]
709*2^1005285-1 is not prime.  Res64: D5A90423CA9A2342  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:49:01]
903*2^1005284-1 is not prime.  Res64: 4A67E56C31E7D302  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:49:02]
627*2^1005285-1 is not prime.  Res64: 4DC2BC1D7D07A8F6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:50:37]
741*2^1005285-1 is not prime.  Res64: DD05617A14C9CA3B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:50:38]
759*2^1005285-1 is not prime.  Res64: 6FC8B8D64720DA0E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:55:11]
963*2^1005275-1 is not prime.  Res64: C2581F13E4BBE3EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 20:55:11]
979*2^1005275-1 is not prime.  Res64: DD811B6C45FA7E70  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:00:58]
621*2^1005287-1 is not prime.  Res64: 6685F9856CF65A31  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:01:00]
661*2^1005287-1 is not prime.  Res64: A3F6426AC4B76EA9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:02:22]
795*2^1005288-1 is not prime.  Res64: F866B84E45B390B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:02:23]
837*2^1005288-1 is not prime.  Res64: 85D70BFB8A5519DC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:02:33]
845*2^1005288-1 is not prime.  Res64: 2756094B61B76309  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:02:35]
721*2^1005289-1 is not prime.  Res64: 79A2C0D488B1FD08  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:04:13]
745*2^1005289-1 is not prime.  Res64: FBE2074347D58265  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:04:14]
841*2^1005289-1 is not prime.  Res64: 43406DB4935EFA27  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:14:33]
641*2^1005290-1 is not prime.  Res64: 97B9B47281A1B6E6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:14:34]
677*2^1005290-1 is not prime.  Res64: E3C386EF97339F01  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:15:56]
831*2^1005290-1 is not prime.  Res64: 508B23D447488133  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:18:20]
971*2^1005290-1 is not prime.  Res64: BFE8DB5979724826  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:20:52]
913*2^1005291-1 is not prime.  Res64: C38454574E0799C6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:20:52]
961*2^1005291-1 is not prime.  Res64: 1AC457A65012884C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:24:28]
603*2^1005286-1 is not prime.  Res64: 668D30F2EB5E7710  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:24:28]
611*2^1005286-1 is not prime.  Res64: E1F46F1FF81946E0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:28:40]
609*2^1005292-1 is not prime.  Res64: 256ED905040C18F8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:28:41]
653*2^1005292-1 is not prime.  Res64: 445E32F1C12C0BDF  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:33:34]
991*2^1005285-1 is not prime.  Res64: 3B92CD1BF78D525F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:33:34]
999*2^1005285-1 is not prime.  Res64: 229E9D0AB5E578B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:35:18]
803*2^1005292-1 is not prime.  Res64: 152413258A8F4E4A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:35:19]
833*2^1005292-1 is not prime.  Res64: F041C82E4BBBD69F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:36:12]
885*2^1005287-1 is not prime.  Res64: DBBC07D559C116D4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:36:12]
737*2^1005288-1 is not prime.  Res64: C337B4A4B86BD6BB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:41:19]
923*2^1005286-1 is not prime.  Res64: 6CD354432E22A1A6  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 21:41:19]
1001*2^1005286-1 is not prime.  Res64: 2E29F027298C6D6E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:43:01]
651*2^1005293-1 is not prime.  Res64: 4D4F415D6DEC50AE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:43:02]
721*2^1005293-1 is not prime.  Res64: 08FF22893FF1A0FC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:48:04]
665*2^1005284-1 is not prime.  Res64: 10431C0628665CD2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:48:04]
683*2^1005284-1 is not prime.  Res64: 61B56EF87567CE26  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:51:01]
939*2^1005293-1 is not prime.  Res64: 85F36C4E8C2AC259  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:51:01]
641*2^1005294-1 is not prime.  Res64: FD8C35AA6FB760B7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:56:24]
851*2^1005290-1 is not prime.  Res64: 2E8A468E67316354  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:57:03]
765*2^1005285-1 is not prime.  Res64: 1B8E0E3DE7DA8E8A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:57:04]
789*2^1005285-1 is not prime.  Res64: C1BC5671F06AB7DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:57:14]
763*2^1005295-1 is not prime.  Res64: E1B30086ADEF85AD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:57:14]
855*2^1005295-1 is not prime.  Res64: E00E4D3165526430  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 21:57:29]
735*2^1005291-1 is not prime.  Res64: D51BADB0AFD3220C  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:06:17]
957*2^1005296-1 is not prime.  Res64: 411EBF9D64E395BA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:06:17]
727*2^1005297-1 is not prime.  Res64: FFB14DEF2B7B4E37  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:09:56]
759*2^1005297-1 is not prime.  Res64: 508C2CEF5CDF0293  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:09:57]
795*2^1005297-1 is not prime.  Res64: F6A2FD17E408C1B3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:10:58]
663*2^1005299-1 is not prime.  Res64: 34A7B7AC7AE323AF  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:10:58]
669*2^1005299-1 is not prime.  Res64: B439EDE427D523C7  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:12:10]
915*2^1005298-1 is not prime.  Res64: B8B963B0EFE37845  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:12:10]
609*2^1005299-1 is not prime.  Res64: E08B9D8EE146CE42  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:13:58]
747*2^1005293-1 is not prime.  Res64: B5292B837758AF48  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:13:59]
855*2^1005293-1 is not prime.  Res64: DD8D5E08053212C1  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:16:43]
705*2^1005294-1 is not prime.  Res64: 6A8598C7F6B65C2B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:16:43]
723*2^1005294-1 is not prime.  Res64: AAE9880E6531DD3B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:19:42]
929*2^1005292-1 is not prime.  Res64: 192D03EAD764331C  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:19:42]
983*2^1005292-1 is not prime.  Res64: C69F095BC7CF2E37  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:19:49]
675*2^1005299-1 is not prime.  Res64: 0028FB56853EAF4D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:19:50]
711*2^1005299-1 is not prime.  Res64: 06214EFFB12CEC3F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:21:33]
731*2^1005294-1 is not prime.  Res64: 7E4A6B5B6D17D409  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:21:33]
783*2^1005294-1 is not prime.  Res64: F36C9872B6F2E5D8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:23:28]
629*2^1005300-1 is not prime.  Res64: 357F2698509E97FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:23:29]
777*2^1005300-1 is not prime.  Res64: 5E5D23C6FD82A5CE  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:23:33]
987*2^1005289-1 is not prime.  Res64: 2ACD4DC2AE8F25CD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:23:33]
615*2^1005290-1 is not prime.  Res64: A25EE341E9D945B8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:25:40]
635*2^1005302-1 is not prime.  Res64: A0A935B78D7AC549  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:25:40]
693*2^1005302-1 is not prime.  Res64: 2BB7FF626F403208  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:25:56]
825*2^1005300-1 is not prime.  Res64: AE8CB97FC484F302  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:25:56]
965*2^1005300-1 is not prime.  Res64: 2DA4B9F5AB0AF85A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:33:17]
775*2^1005303-1 is not prime.  Res64: 72D30B1D62D167A3  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:33:18]
789*2^1005303-1 is not prime.  Res64: AAD03E6A1A2BBE84  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:36:55]
635*2^1005304-1 is not prime.  Res64: C78B00E1179D7947  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:36:56]
675*2^1005304-1 is not prime.  Res64: 01C884B63B90FBE0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:39:08]
819*2^1005304-1 is not prime.  Res64: 2AC2E295D901922F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:39:08]
855*2^1005304-1 is not prime.  Res64: 5D8927BC41286FD4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:39:24]
645*2^1005305-1 is not prime.  Res64: 2CE262313393D4EA  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:39:24]
721*2^1005305-1 is not prime.  Res64: 37BE3BFCA6DB428B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:46:47]
647*2^1005306-1 is not prime.  Res64: D40B504B4863EDF1  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:46:47]
807*2^1005306-1 is not prime.  Res64: 3FF3DD252B6643C6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:51:52]
851*2^1005306-1 is not prime.  Res64: 27149B41E669F98B  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:51:53]
941*2^1005306-1 is not prime.  Res64: 6E20BEB87D66A8C4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:52:36]
633*2^1005307-1 is not prime.  Res64: 5A619D3F04D722E6  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:52:37]
703*2^1005307-1 is not prime.  Res64: FD98CDF3AA4F3585  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:52:57]
751*2^1005307-1 is not prime.  Res64: D8C2EC75769A85AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 22:52:58]
829*2^1005307-1 is not prime.  Res64: FEA12D08FAA02B4E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:59:46]
675*2^1005303-1 is not prime.  Res64: 12CF5F03CFB470A5  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 22:59:46]
739*2^1005303-1 is not prime.  Res64: 88616487846266F9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:01:50]
835*2^1005307-1 is not prime.  Res64: 8956DD87D5CEF981  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:02:11]
827*2^1005302-1 is not prime.  Res64: 50E0879E526FDE69  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:02:12]
873*2^1005302-1 is not prime.  Res64: ADFC97EE32E54F20  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:04:50]
837*2^1005297-1 is not prime.  Res64: 8D5D227EF0D657AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:04:51]
765*2^1005304-1 is not prime.  Res64: 408D6DE63BDFBC53  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:04:51]
785*2^1005296-1 is not prime.  Res64: 12C48FD7738F5E40  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:06:29]
603*2^1005308-1 is not prime.  Res64: 3A4E1985AD37B71A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:06:31]
617*2^1005308-1 is not prime.  Res64: D01F8ABF6F21C689  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:08:25]
909*2^1005307-1 is not prime.  Res64: E46E0A4536B5EE6E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:08:26]
945*2^1005307-1 is not prime.  Res64: CED0586F94801FBD  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:09:10]
979*2^1005307-1 is not prime.  Res64: 28825AE6C5E3A0E9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:09:11]
993*2^1005307-1 is not prime.  Res64: 7A5974D0B1742F4F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:11:54]
915*2^1005302-1 is not prime.  Res64: EBFAB0BF1128DF7E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:11:55]
977*2^1005302-1 is not prime.  Res64: D523AC26FFD98F8A  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:16:46]
963*2^1005303-1 is not prime.  Res64: 52055550CF91680E  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:16:47]
969*2^1005303-1 is not prime.  Res64: 682B48E5BA36D665  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:20:17]
767*2^1005308-1 is not prime.  Res64: 2F81CEB649019DB4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:20:17]
825*2^1005308-1 is not prime.  Res64: 213391DB521A0F0A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:22:54]
627*2^1005309-1 is not prime.  Res64: 374FAEF889AC665F  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:22:55]
667*2^1005309-1 is not prime.  Res64: 80AFBB9158ECB62D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:25:14]
977*2^1005308-1 is not prime.  Res64: C643BA3C0BD125C4  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:25:14]
993*2^1005308-1 is not prime.  Res64: 05115184CD8B12B0  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:34:15]
747*2^1005310-1 is not prime.  Res64: EF8C7B7F2D133C33  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:34:15]
765*2^1005310-1 is not prime.  Res64: 7D70788602F6DD4D  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:36:48]
825*2^1005310-1 is not prime.  Res64: 1A195D8660611EF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:36:48]
833*2^1005310-1 is not prime.  Res64: 54B9025AED64B7AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:39:08]
711*2^1005311-1 is not prime.  Res64: B1EBD385F098949A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:39:09]
763*2^1005311-1 is not prime.  Res64: 9DC78766EA426A7A  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:39:45]
647*2^1005308-1 is not prime.  Res64: 862B0C74F38BDBE4  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:39:45]
725*2^1005308-1 is not prime.  Res64: 39BAAB597EF4BDAC  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:39:52]
871*2^1005307-1 is not prime.  Res64: 5F12634DD0006BEB  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:42:11]
749*2^1005308-1 is not prime.  Res64: 422B785A11F3186F  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:42:12]
755*2^1005308-1 is not prime.  Res64: A9E12F26175AF249  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:47:51]
855*2^1005311-1 is not prime.  Res64: 2F6C6331DEF1ABF9  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:47:52]
859*2^1005311-1 is not prime.  Res64: D8648A8A7F769700  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:51:50]
909*2^1005311-1 is not prime.  Res64: 37D797916F195F03  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:51:50]
629*2^1005312-1 is not prime.  Res64: A083EF0F47EA872B  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:52:14]
727*2^1005309-1 is not prime.  Res64: DCD98172CD7EE8F7  Time : 0.0 sec.
user=gd_barnes
[2012-02-11 23:52:14]
847*2^1005309-1 is not prime.  Res64: 3241C8397254099A  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:52:37]
633*2^1005312-1 is not prime.  Res64: BF5A7A89C1F79270  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:52:37]
669*2^1005312-1 is not prime.  Res64: B2736FD792E0AC14  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:53:21]
803*2^1005312-1 is not prime.  Res64: 73EAD0277367A9D8  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:53:22]
815*2^1005312-1 is not prime.  Res64: 7A403D285791740E  Time : 0.0 sec.
user=mdettweiler
[2012-02-11 23:54:17]
917*2^1005296-1 is not prime.  Res64: 0C2AEABD87E14AD3  Time : 0.0 sec.