user=vaughan
[2011-11-12 00:11:51]
427*2^1047493-1 is not prime.  Res64: 96C7487FDEDDDBBA  Time : 2632.0 sec.
user=vaughan
[2011-11-12 00:13:06]
507*2^1047493-1 is not prime.  Res64: E241F8FEED233647  Time : 1305.0 sec.
user=vaughan
[2011-11-12 00:17:26]
471*2^1047493-1 is not prime.  Res64: C7CB9B1B143B4E40  Time : 1901.0 sec.
user=vaughan
[2011-11-12 00:22:18]
559*2^1047493-1 is not prime.  Res64: 2C120DFB0C02E5F5  Time : 1819.0 sec.
user=vaughan
[2011-11-12 00:34:44]
411*2^1047494-1 is not prime.  Res64: 16712E538395CD27  Time : 1298.0 sec.
user=vaughan
[2011-11-12 00:49:08]
557*2^1047494-1 is not prime.  Res64: 6D0299A2DF750163  Time : 1903.0 sec.
user=vaughan
[2011-11-12 00:52:32]
587*2^1047494-1 is not prime.  Res64: 11123902F578E932  Time : 1814.0 sec.
user=vaughan
[2011-11-12 00:55:28]
407*2^1047494-1 is not prime.  Res64: 178F71B534EA806F  Time : 2617.0 sec.
user=vaughan
[2011-11-12 00:56:20]
469*2^1047495-1 is not prime.  Res64: 9D6D20219DA6456B  Time : 1296.0 sec.
user=vaughan
[2011-11-12 01:18:00]
407*2^1047496-1 is not prime.  Res64: 22239EA2379BCE79  Time : 1301.0 sec.
user=vaughan
[2011-11-12 01:20:32]
501*2^1047495-1 is not prime.  Res64: 52FB994DEFABF798  Time : 1884.0 sec.
user=vaughan
[2011-11-12 01:22:42]
523*2^1047495-1 is not prime.  Res64: C319F3B6097BDED7  Time : 1810.0 sec.
user=vaughan
[2011-11-12 01:39:02]
573*2^1047495-1 is not prime.  Res64: FB2DC7EF2A415849  Time : 2615.0 sec.
user=vaughan
[2011-11-12 01:39:43]
435*2^1047496-1 is not prime.  Res64: 00203C69479C48F0  Time : 1303.0 sec.
user=vaughan
[2011-11-12 01:52:00]
573*2^1047496-1 is not prime.  Res64: 0EA766D99CB97EAC  Time : 1888.0 sec.
user=vaughan
[2011-11-12 01:52:51]
575*2^1047496-1 is not prime.  Res64: 2BC9360AA6EE9271  Time : 1810.0 sec.
user=vaughan
[2011-11-12 02:01:23]
517*2^1047497-1 is not prime.  Res64: FE0C53856A7FF7FF  Time : 1300.0 sec.
user=vaughan
[2011-11-12 02:22:37]
439*2^1047497-1 is not prime.  Res64: A2ADF5D1B2318905  Time : 2616.0 sec.
user=vaughan
[2011-11-12 02:23:02]
431*2^1047498-1 is not prime.  Res64: E8BF0A4CA95AA91E  Time : 1299.0 sec.
user=vaughan
[2011-11-12 02:23:02]
561*2^1047497-1 is not prime.  Res64: 8F13BDAF22D542D8  Time : 1811.0 sec.
user=vaughan
[2011-11-12 02:23:25]
549*2^1047497-1 is not prime.  Res64: 78FD5B1423AFACA0  Time : 1885.0 sec.
user=vaughan
[2011-11-12 02:44:42]
415*2^1047499-1 is not prime.  Res64: 5780642C803DDF27  Time : 1301.0 sec.
user=vaughan
[2011-11-12 02:53:09]
439*2^1047499-1 is not prime.  Res64: 9FEC4052C3F9CB65  Time : 1807.0 sec.
user=vaughan
[2011-11-12 02:55:09]
495*2^1047499-1 is not prime.  Res64: 1B56B258BC9F01CD  Time : 1904.0 sec.
user=vaughan
[2011-11-12 03:06:11]
507*2^1047498-1 is not prime.  Res64: 6DE5FDDE5CD4799C  Time : 2614.0 sec.
user=vaughan
[2011-11-12 03:06:20]
413*2^1047500-1 is not prime.  Res64: 802475606EC14EED  Time : 1299.0 sec.
user=vaughan
[2011-11-12 03:23:22]
437*2^1047500-1 is not prime.  Res64: 87789E74E2DA9943  Time : 1814.0 sec.
user=vaughan
[2011-11-12 03:26:59]
537*2^1047500-1 is not prime.  Res64: 2A41865F83E12A4E  Time : 1910.0 sec.
user=vaughan
[2011-11-12 03:27:59]
555*2^1047501-1 is not prime.  Res64: 7ECBE491E8DBE439  Time : 1299.0 sec.
user=vaughan
[2011-11-12 03:49:40]
491*2^1047502-1 is not prime.  Res64: 5B9C47DB31040D24  Time : 1301.0 sec.
user=vaughan
[2011-11-12 03:49:44]
507*2^1047501-1 is not prime.  Res64: 9D6959C8F5AF12F4  Time : 2613.0 sec.
user=vaughan
[2011-11-12 03:53:43]
559*2^1047501-1 is not prime.  Res64: 8EEFE3A077B59E6C  Time : 1822.0 sec.
user=vaughan
[2011-11-12 03:58:38]
597*2^1047501-1 is not prime.  Res64: 8213DB16DA321B73  Time : 1900.0 sec.
user=vaughan
[2011-11-12 04:11:10]
533*2^1047502-1 is not prime.  Res64: 2A7FB27FCE671AE7  Time : 1291.0 sec.
user=vaughan
[2011-11-12 04:24:07]
439*2^1047503-1 is not prime.  Res64: 1149E36A64592B86  Time : 1824.0 sec.
user=vaughan
[2011-11-12 04:30:11]
445*2^1047503-1 is not prime.  Res64: AD2243A4DAFE13ED  Time : 1893.0 sec.
user=vaughan
[2011-11-12 04:32:47]
511*2^1047503-1 is not prime.  Res64: 33B1F876F6D2EE8B  Time : 1298.0 sec.
user=vaughan
[2011-11-12 04:33:18]
433*2^1047503-1 is not prime.  Res64: D8A0BFCB5C6EC74F  Time : 2614.0 sec.
user=vaughan
[2011-11-12 04:54:21]
465*2^1047504-1 is not prime.  Res64: 1616FD9D0C1E7612  Time : 1295.0 sec.
user=vaughan
[2011-11-12 04:54:27]
519*2^1047503-1 is not prime.  Res64: 3EE34C921794B256  Time : 1821.0 sec.
user=vaughan
[2011-11-12 05:01:44]
459*2^1047504-1 is not prime.  Res64: 620E8F6F9FAA2465  Time : 1894.0 sec.
user=vaughan
[2011-11-12 05:16:00]
411*2^1047505-1 is not prime.  Res64: 2480CD0BF56B29AA  Time : 1300.0 sec.
user=vaughan
[2011-11-12 05:16:52]
497*2^1047504-1 is not prime.  Res64: 24A7A5E455DCF2B8  Time : 2614.0 sec.
user=vaughan
[2011-11-12 05:24:52]
441*2^1047505-1 is not prime.  Res64: 8CEDAB78A495D395  Time : 1825.0 sec.
user=vaughan
[2011-11-12 05:33:06]
489*2^1047505-1 is not prime.  Res64: AFFC1AFC0C557FAA  Time : 1882.0 sec.
user=vaughan
[2011-11-12 05:37:35]
535*2^1047505-1 is not prime.  Res64: E01217E0E6F78046  Time : 1296.0 sec.
user=vaughan
[2011-11-12 05:55:09]
593*2^1047506-1 is not prime.  Res64: E001CD4FCE734366  Time : 1817.0 sec.
user=vaughan
[2011-11-12 05:59:13]
471*2^1047507-1 is not prime.  Res64: E1F099F7969770FF  Time : 1298.0 sec.
user=vaughan
[2011-11-12 06:00:26]
447*2^1047506-1 is not prime.  Res64: 85B698176B1B1536  Time : 2614.0 sec.
user=vaughan
[2011-11-12 06:04:18]
405*2^1047507-1 is not prime.  Res64: 2FA16824FEDBE1B2  Time : 1873.0 sec.
user=vaughan
[2011-11-12 06:20:58]
485*2^1047508-1 is not prime.  Res64: 9E4352A584692D2B  Time : 1306.0 sec.
user=vaughan
[2011-11-12 06:25:32]
435*2^1047508-1 is not prime.  Res64: 1C50AEEFF4D2FAC7  Time : 1823.0 sec.
user=vaughan
[2011-11-12 06:35:39]
435*2^1047509-1 is not prime.  Res64: 29DA3CD404AE8275  Time : 1881.0 sec.
user=vaughan
[2011-11-12 06:42:35]
469*2^1047509-1 is not prime.  Res64: A6513D6E34A7EBA8  Time : 1297.0 sec.
user=vaughan
[2011-11-12 06:44:01]
525*2^1047508-1 is not prime.  Res64: DFFEA1087C2ECFC5  Time : 2615.0 sec.
user=vaughan
[2011-11-12 06:55:05]
489*2^1047509-1 is not prime.  Res64: 7F782DA7C688655A  Time : 1773.0 sec.
user=vaughan
[2011-11-12 07:04:17]
559*2^1047509-1 is not prime.  Res64: E27648928E18C5CC  Time : 1302.0 sec.
user=vaughan
[2011-11-12 07:07:02]
507*2^1047509-1 is not prime.  Res64: 63E87B781E3EAE1F  Time : 1883.0 sec.
user=vaughan
[2011-11-12 07:24:39]
431*2^1047510-1 is not prime.  Res64: C54F385114483EA8  Time : 1775.0 sec.
user=vaughan
[2011-11-12 07:25:44]
543*2^1047510-1 is not prime.  Res64: 9DBD636793A31C64  Time : 1287.0 sec.
user=vaughan
[2011-11-12 07:27:35]
411*2^1047510-1 is not prime.  Res64: D81DF1E24D2451B3  Time : 2615.0 sec.
user=vaughan
[2011-11-12 07:37:43]
587*2^1047510-1 is not prime.  Res64: 38F22B2F6074AEB9  Time : 1842.0 sec.
user=vaughan
[2011-11-12 07:46:34]
483*2^1047511-1 is not prime.  Res64: 571A953DA4E7C6EA  Time : 1250.0 sec.
user=vaughan
[2011-11-12 07:54:12]
441*2^1047511-1 is not prime.  Res64: DFE181F40400D038  Time : 1773.0 sec.
user=vaughan
[2011-11-12 08:07:28]
559*2^1047511-1 is not prime.  Res64: E254145E8696C554  Time : 1785.0 sec.
user=vaughan
[2011-11-12 08:07:37]
413*2^1047512-1 is not prime.  Res64: CC4D9BBBED1FC192  Time : 1263.0 sec.
user=vaughan
[2011-11-12 08:11:08]
493*2^1047511-1 is not prime.  Res64: C0660465D45C7488  Time : 2613.0 sec.
user=vaughan
[2011-11-12 08:23:38]
425*2^1047512-1 is not prime.  Res64: 9D3B161F21223315  Time : 1766.0 sec.
user=vaughan
[2011-11-12 08:28:24]
515*2^1047512-1 is not prime.  Res64: 5AEE384C1C81D4D3  Time : 1247.0 sec.
user=vaughan
[2011-11-12 08:37:21]
507*2^1047512-1 is not prime.  Res64: B4F0A0B0847F4F45  Time : 1793.0 sec.
user=vaughan
[2011-11-12 08:49:15]
595*2^1047513-1 is not prime.  Res64: 959B9B08C7570E44  Time : 1251.0 sec.
user=vaughan
[2011-11-12 08:52:49]
495*2^1047513-1 is not prime.  Res64: 463E12742FDE0FF8  Time : 1752.0 sec.
user=vaughan
[2011-11-12 08:54:43]
563*2^1047512-1 is not prime.  Res64: 540D6FC3DBC80B6E  Time : 2615.0 sec.
user=vaughan
[2011-11-12 08:56:53]
551*2^1047486-1 is not prime.  Res64: CF48AB0014F8A10D  Time : 43578.0 sec.
user=vaughan
[2011-11-12 08:57:31]
447*2^1047486-1 is not prime.  Res64: D8B0FD16AEAFDAC3  Time : 44210.0 sec.
user=vaughan
[2011-11-12 09:01:42]
567*2^1047486-1 is not prime.  Res64: 77F1052D3F10BE87  Time : 43594.0 sec.
user=vaughan
[2011-11-12 09:08:20]
495*2^1047514-1 is not prime.  Res64: D26516A9A3934DD4  Time : 1860.0 sec.
user=vaughan
[2011-11-12 09:10:41]
475*2^1047515-1 is not prime.  Res64: 3C7DE07600C0F2BD  Time : 1286.0 sec.
user=vaughan
[2011-11-12 09:18:15]
553*2^1047487-1 is not prime.  Res64: 61C42C34F94A18DA  Time : 43571.0 sec.
user=vaughan
[2011-11-12 09:18:47]
513*2^1047516-1 is not prime.  Res64: 8448154CE3156028  Time : 1276.0 sec.
user=vaughan
[2011-11-12 09:21:43]
465*2^1047516-1 is not prime.  Res64: 36E416D61E580398  Time : 1734.0 sec.
user=vaughan
[2011-11-12 09:27:45]
497*2^1047516-1 is not prime.  Res64: B858FF60EBA62198  Time : 1852.0 sec.
user=vaughan
[2011-11-12 09:32:05]
439*2^1047517-1 is not prime.  Res64: 3A5D3DC2CAEFF802  Time : 1284.0 sec.
user=vaughan
[2011-11-12 09:33:03]
579*2^1047516-1 is not prime.  Res64: CF089D0D0BE188DA  Time : 1881.0 sec.
user=vaughan
[2011-11-12 09:38:17]
485*2^1047516-1 is not prime.  Res64: B4318AA821E0E5E7  Time : 2614.0 sec.
user=vaughan
[2011-11-12 09:39:42]
593*2^1047516-1 is not prime.  Res64: B64995172E2F4F4C  Time : 1882.0 sec.
user=vaughan
[2011-11-12 09:40:08]
489*2^1047517-1 is not prime.  Res64: E0143AFCC9676808  Time : 1281.0 sec.
user=vaughan
[2011-11-12 09:49:13]
451*2^1047517-1 is not prime.  Res64: F2D38396F010B3A6  Time : 1858.0 sec.
user=vaughan
[2011-11-12 09:50:36]
549*2^1047517-1 is not prime.  Res64: 856398979FFF39CE  Time : 1733.0 sec.
user=vaughan
[2011-11-12 09:53:34]
545*2^1047518-1 is not prime.  Res64: 0D943CE3938EC5CD  Time : 1289.0 sec.
user=vaughan
[2011-11-12 09:58:38]
595*2^1047517-1 is not prime.  Res64: 8CBF8C35E8E77846  Time : 1853.0 sec.
user=vaughan
[2011-11-12 10:01:29]
513*2^1047520-1 is not prime.  Res64: 740553C596A78544  Time : 1281.0 sec.
user=vaughan
[2011-11-12 10:04:28]
451*2^1047519-1 is not prime.  Res64: B5C800787A8FA396  Time : 1885.0 sec.
user=vaughan
[2011-11-12 10:11:09]
513*2^1047519-1 is not prime.  Res64: 876967727E990FEC  Time : 1887.0 sec.
user=vaughan
[2011-11-12 10:14:59]
441*2^1047521-1 is not prime.  Res64: F2CC150187C9EE6D  Time : 1285.0 sec.
user=vaughan
[2011-11-12 10:19:29]
405*2^1047521-1 is not prime.  Res64: 15C7888656F3B1FB  Time : 1733.0 sec.
user=vaughan
[2011-11-12 10:20:12]
593*2^1047520-1 is not prime.  Res64: C641D0B425D1802E  Time : 1860.0 sec.
user=vaughan
[2011-11-12 10:21:54]
489*2^1047519-1 is not prime.  Res64: 37E0185E9EB048E7  Time : 2618.0 sec.
user=vaughan
[2011-11-12 10:22:50]
529*2^1047521-1 is not prime.  Res64: F5B9A47ADC2A09C5  Time : 1281.0 sec.
user=vaughan
[2011-11-12 10:29:31]
459*2^1047521-1 is not prime.  Res64: 115B08A3BCE87A43  Time : 1853.0 sec.
user=vaughan
[2011-11-12 10:35:54]
507*2^1047522-1 is not prime.  Res64: 25588A2322AF85F6  Time : 1886.0 sec.
user=vaughan
[2011-11-12 10:36:24]
581*2^1047522-1 is not prime.  Res64: ABA8E6746D61788B  Time : 1286.0 sec.
user=vaughan
[2011-11-12 10:42:33]
567*2^1047522-1 is not prime.  Res64: 51AF75D962EC1375  Time : 1885.0 sec.
user=vaughan
[2011-11-12 10:44:09]
429*2^1047523-1 is not prime.  Res64: 34BAA51ACCE29EFF  Time : 1279.0 sec.
user=vaughan
[2011-11-12 10:48:21]
585*2^1047522-1 is not prime.  Res64: 8D37685BCDB29C60  Time : 1733.0 sec.
user=vaughan
[2011-11-12 10:51:14]
593*2^1047522-1 is not prime.  Res64: ED51D5F9D38C539D  Time : 1862.0 sec.
user=vaughan
[2011-11-12 10:57:49]
573*2^1047524-1 is not prime.  Res64: 1ABCFF42CDB1026F  Time : 1286.0 sec.
user=vaughan
[2011-11-12 11:00:22]
525*2^1047524-1 is not prime.  Res64: 76B180F4209DA620  Time : 1852.0 sec.
user=vaughan
[2011-11-12 11:05:29]
415*2^1047523-1 is not prime.  Res64: 09F166DE22DAF15D  Time : 2615.0 sec.
user=vaughan
[2011-11-12 11:05:30]
465*2^1047525-1 is not prime.  Res64: FBF8C90A87865EE9  Time : 1281.0 sec.
user=vaughan
[2011-11-12 11:07:20]
533*2^1047524-1 is not prime.  Res64: A326ACB07CFF2CCC  Time : 1886.0 sec.
user=vaughan
[2011-11-12 11:13:58]
585*2^1047524-1 is not prime.  Res64: DEC4CACC400F7703  Time : 1885.0 sec.
user=vaughan
[2011-11-12 11:17:13]
475*2^1047525-1 is not prime.  Res64: 18247ED259CA1349  Time : 1732.0 sec.
user=vaughan
[2011-11-12 11:19:15]
587*2^1047526-1 is not prime.  Res64: CD973B9D94B179E8  Time : 1286.0 sec.
user=vaughan
[2011-11-12 11:22:15]
531*2^1047525-1 is not prime.  Res64: 9494331A68729D03  Time : 1861.0 sec.
user=vaughan
[2011-11-12 11:26:53]
571*2^1047527-1 is not prime.  Res64: ACFDE193B145DD3E  Time : 1284.0 sec.
user=vaughan
[2011-11-12 11:31:18]
403*2^1047527-1 is not prime.  Res64: 7FBCF27E63D5F317  Time : 1856.0 sec.
user=vaughan
[2011-11-12 11:38:49]
595*2^1047527-1 is not prime.  Res64: 8A225F74EAA4EAB9  Time : 1889.0 sec.
user=vaughan
[2011-11-12 11:40:41]
555*2^1047528-1 is not prime.  Res64: C1597146062298B1  Time : 1287.0 sec.
user=vaughan
[2011-11-12 11:45:25]
425*2^1047528-1 is not prime.  Res64: 7FF3D4199B64A81F  Time : 1887.0 sec.
user=vaughan
[2011-11-12 11:46:05]
473*2^1047528-1 is not prime.  Res64: 0C1AA3D29637AC7E  Time : 1732.0 sec.
user=vaughan
[2011-11-12 11:48:10]
499*2^1047529-1 is not prime.  Res64: 01A3CF45CCAD3E21  Time : 1277.0 sec.
user=vaughan
[2011-11-12 11:49:02]
523*2^1047527-1 is not prime.  Res64: 7D22D05B66C22922  Time : 2614.0 sec.
user=vaughan
[2011-11-12 11:53:23]
567*2^1047528-1 is not prime.  Res64: 36FEBA0D30BB11F8  Time : 1869.0 sec.
user=vaughan
[2011-11-12 12:02:07]
483*2^1047530-1 is not prime.  Res64: 37BF25EFE3A30C89  Time : 1286.0 sec.
user=vaughan
[2011-11-12 12:02:19]
407*2^1047530-1 is not prime.  Res64: C8133A7C85096158  Time : 1861.0 sec.
user=vaughan
[2011-11-12 12:09:29]
419*2^1047532-1 is not prime.  Res64: 918CAE9025276138  Time : 1280.0 sec.
user=vaughan
[2011-11-12 12:10:15]
453*2^1047530-1 is not prime.  Res64: 19449B10DA4EDFE6  Time : 1886.0 sec.
user=vaughan
[2011-11-12 12:14:59]
549*2^1047531-1 is not prime.  Res64: A185BEE5D91D6A03  Time : 1734.0 sec.
user=vaughan
[2011-11-12 12:16:51]
561*2^1047530-1 is not prime.  Res64: 671A130DE86840C8  Time : 1887.0 sec.
user=vaughan
[2011-11-12 12:23:32]
519*2^1047533-1 is not prime.  Res64: 86115DD1DF3AE864  Time : 1286.0 sec.
user=vaughan
[2011-11-12 12:24:18]
489*2^1047533-1 is not prime.  Res64: 77BD1E4A209A23F1  Time : 1855.0 sec.
user=vaughan
[2011-11-12 12:30:49]
513*2^1047534-1 is not prime.  Res64: 659D271F86540570  Time : 1280.0 sec.
user=vaughan
[2011-11-12 12:32:36]
537*2^1047532-1 is not prime.  Res64: 565155DACE24C504  Time : 2614.0 sec.
user=vaughan
[2011-11-12 12:33:09]
483*2^1047534-1 is not prime.  Res64: EFDAAD654BE0F609  Time : 1850.0 sec.
user=vaughan
[2011-11-12 12:41:37]
415*2^1047535-1 is not prime.  Res64: F952D7C7C2409799  Time : 1882.0 sec.
user=vaughan
[2011-11-12 12:43:52]
523*2^1047535-1 is not prime.  Res64: 6226D403A14022D0  Time : 1734.0 sec.
user=vaughan
[2011-11-12 12:44:57]
557*2^1047536-1 is not prime.  Res64: 09B7C7B905839945  Time : 1285.0 sec.
user=vaughan
[2011-11-12 12:48:15]
525*2^1047536-1 is not prime.  Res64: 2D765D3030ADB14E  Time : 1884.0 sec.
user=vaughan
[2011-11-12 12:52:09]
441*2^1047537-1 is not prime.  Res64: 5A90A9F203766FA8  Time : 1281.0 sec.
user=vaughan
[2011-11-12 12:55:17]
405*2^1047537-1 is not prime.  Res64: 341ED45026C0E3D4  Time : 1859.0 sec.
user=vaughan
[2011-11-12 13:03:59]
555*2^1047537-1 is not prime.  Res64: 0B0474ED98A1EE49  Time : 1850.0 sec.
user=vaughan
[2011-11-12 13:06:23]
463*2^1047539-1 is not prime.  Res64: D2E24F7A110ACBCA  Time : 1287.0 sec.
user=vaughan
[2011-11-12 13:12:45]
421*2^1047539-1 is not prime.  Res64: D2D3F1AF5BA839EF  Time : 1733.0 sec.
user=vaughan
[2011-11-12 13:13:03]
403*2^1047539-1 is not prime.  Res64: 0FC3F86D76620FD3  Time : 1886.0 sec.
user=vaughan
[2011-11-12 13:13:28]
483*2^1047540-1 is not prime.  Res64: AA7F789CD5C8FA4C  Time : 1280.0 sec.
user=vaughan
[2011-11-12 13:16:10]
549*2^1047537-1 is not prime.  Res64: 68073990E4D1C15F  Time : 2614.0 sec.
user=vaughan
[2011-11-12 13:19:40]
531*2^1047539-1 is not prime.  Res64: 451F51180C28DFE6  Time : 1885.0 sec.
user=vaughan
[2011-11-12 13:26:12]
567*2^1047540-1 is not prime.  Res64: 674695F9EFFAA7D6  Time : 1856.0 sec.
user=vaughan
[2011-11-12 13:27:49]
517*2^1047541-1 is not prime.  Res64: E6B7C66C2594D2D0  Time : 1286.0 sec.
user=vaughan
[2011-11-12 13:34:49]
455*2^1047542-1 is not prime.  Res64: C36C6A1B4937F7F2  Time : 1281.0 sec.
user=vaughan
[2011-11-12 13:34:53]
411*2^1047541-1 is not prime.  Res64: FB3289798E09CC28  Time : 1854.0 sec.
user=vaughan
[2011-11-12 13:41:38]
577*2^1047541-1 is not prime.  Res64: 062B28973F3D41AD  Time : 1733.0 sec.
user=vaughan
[2011-11-12 13:44:27]
423*2^1047542-1 is not prime.  Res64: 68C2BC333BB59D64  Time : 1884.0 sec.
user=vaughan
[2011-11-12 13:49:14]
493*2^1047543-1 is not prime.  Res64: 688DA1EA5C8FA63C  Time : 1285.0 sec.
user=vaughan
[2011-11-12 13:51:02]
563*2^1047542-1 is not prime.  Res64: 131D6FA731099B33  Time : 1883.0 sec.
user=vaughan
[2011-11-12 13:56:05]
553*2^1047543-1 is not prime.  Res64: AA3AC31FC40DF583  Time : 1276.0 sec.
user=vaughan
[2011-11-12 13:57:06]
411*2^1047543-1 is not prime.  Res64: ABB5D38229C0B39B  Time : 1854.0 sec.
user=vaughan
[2011-11-12 13:59:45]
525*2^1047542-1 is not prime.  Res64: 2CB67377B50592F3  Time : 2616.0 sec.
user=vaughan
[2011-11-12 14:05:44]
571*2^1047543-1 is not prime.  Res64: 5C5092B1C3F22A07  Time : 1852.0 sec.
user=vaughan
[2011-11-12 14:10:31]
465*2^1047545-1 is not prime.  Res64: 31A467CF05D561C0  Time : 1734.0 sec.
user=vaughan
[2011-11-12 14:10:42]
485*2^1047546-1 is not prime.  Res64: 3D5E3C8D5A7030A3  Time : 1288.0 sec.
user=vaughan
[2011-11-12 14:15:48]
507*2^1047545-1 is not prime.  Res64: E12B783BCAF5F961  Time : 1881.0 sec.
user=vaughan
[2011-11-12 14:17:23]
587*2^1047546-1 is not prime.  Res64: CB06B3A930A2E47C  Time : 1279.0 sec.
user=vaughan
[2011-11-12 14:22:23]
531*2^1047546-1 is not prime.  Res64: BE33D95886562564  Time : 1881.0 sec.
user=vaughan
[2011-11-12 14:28:03]
489*2^1047547-1 is not prime.  Res64: B19FADD9AC836EB6  Time : 1857.0 sec.
user=vaughan
[2011-11-12 14:32:08]
507*2^1047549-1 is not prime.  Res64: DEBC8FABCD124695  Time : 1287.0 sec.
user=vaughan
[2011-11-12 14:36:35]
567*2^1047548-1 is not prime.  Res64: C2111CDEEBBDD654  Time : 1851.0 sec.
user=vaughan
[2011-11-12 14:38:41]
423*2^1047550-1 is not prime.  Res64: 4B4E23197FC9680A  Time : 1279.0 sec.
user=vaughan
[2011-11-12 14:39:24]
469*2^1047549-1 is not prime.  Res64: 55B7A6E410D69513  Time : 1733.0 sec.
user=vaughan
[2011-11-12 14:43:20]
541*2^1047547-1 is not prime.  Res64: CEF0EAFDD83941CF  Time : 2615.0 sec.
user=vaughan
[2011-11-12 14:47:13]
571*2^1047549-1 is not prime.  Res64: DC32E0164F531A58  Time : 1885.0 sec.
user=vaughan
[2011-11-12 14:53:34]
519*2^1047551-1 is not prime.  Res64: 6F317E90455EA49D  Time : 1287.0 sec.
user=vaughan
[2011-11-12 14:53:46]
447*2^1047550-1 is not prime.  Res64: 7DD4BF4157283884  Time : 1883.0 sec.
user=vaughan
[2011-11-12 14:58:58]
525*2^1047550-1 is not prime.  Res64: E085E5BC63086384  Time : 1856.0 sec.
user=vaughan
[2011-11-12 15:00:01]
559*2^1047551-1 is not prime.  Res64: 4E91D9A16F15AE72  Time : 1280.0 sec.
user=vaughan
[2011-11-12 15:07:26]
549*2^1047551-1 is not prime.  Res64: B76DE59AB1A72E92  Time : 1851.0 sec.
user=vaughan
[2011-11-12 15:08:17]
503*2^1047552-1 is not prime.  Res64: BC1908B136AED3BF  Time : 1733.0 sec.
user=vaughan
[2011-11-12 15:15:00]
537*2^1047553-1 is not prime.  Res64: 9C2730C63E538746  Time : 1286.0 sec.
user=vaughan
[2011-11-12 15:18:37]
525*2^1047553-1 is not prime.  Res64: 87348CA5B0897E02  Time : 1885.0 sec.
user=vaughan
[2011-11-12 15:21:17]
497*2^1047554-1 is not prime.  Res64: 07C82B229E2A7791  Time : 1277.0 sec.
user=vaughan
[2011-11-12 15:25:10]
555*2^1047553-1 is not prime.  Res64: 3C2E92F60B8F0242  Time : 1885.0 sec.
user=vaughan
[2011-11-12 15:26:53]
557*2^1047552-1 is not prime.  Res64: B4E81116A71D3149  Time : 2613.0 sec.
user=vaughan
[2011-11-12 15:29:56]
447*2^1047554-1 is not prime.  Res64: AF82BB1E377B532C  Time : 1858.0 sec.
user=vaughan
[2011-11-12 15:36:25]
595*2^1047555-1 is not prime.  Res64: F00EF4AEE57FCCE1  Time : 1286.0 sec.
user=vaughan
[2011-11-12 15:37:11]
507*2^1047554-1 is not prime.  Res64: 54B81F562E0E1C17  Time : 1734.0 sec.
user=vaughan
[2011-11-12 15:38:17]
501*2^1047554-1 is not prime.  Res64: E1E0EA78C913FCC4  Time : 1851.0 sec.
user=vaughan
[2011-11-12 15:42:38]
435*2^1047556-1 is not prime.  Res64: 0BD441EE2A579E33  Time : 1281.0 sec.
user=vaughan
[2011-11-12 15:49:58]
405*2^1047556-1 is not prime.  Res64: 2F2E66BCB8878E85  Time : 1881.0 sec.
user=vaughan
[2011-11-12 15:56:32]
495*2^1047556-1 is not prime.  Res64: 6F60D6B00149F4B6  Time : 1882.0 sec.
user=vaughan
[2011-11-12 15:57:49]
537*2^1047556-1 is not prime.  Res64: 953F2DD60820AC7A  Time : 1284.0 sec.
user=vaughan
[2011-11-12 16:00:53]
525*2^1047556-1 is not prime.  Res64: C24199ED910B1DB3  Time : 1857.0 sec.
user=vaughan
[2011-11-12 16:03:56]
517*2^1047557-1 is not prime.  Res64: 657D9FF1E7BDA140  Time : 1279.0 sec.
user=vaughan
[2011-11-12 16:06:04]
597*2^1047556-1 is not prime.  Res64: A3DDF9377C0CF7A5  Time : 1734.0 sec.
user=vaughan
[2011-11-12 16:09:10]
441*2^1047557-1 is not prime.  Res64: 411AFD0845FA930E  Time : 1853.0 sec.
user=vaughan
[2011-11-12 16:10:27]
497*2^1047556-1 is not prime.  Res64: 93C28ACCC2B0F02E  Time : 2614.0 sec.
user=vaughan
[2011-11-12 16:19:17]
437*2^1047558-1 is not prime.  Res64: BF085069F9F3467E  Time : 1288.0 sec.
user=vaughan
[2011-11-12 16:21:23]
571*2^1047557-1 is not prime.  Res64: C54C22633635A87A  Time : 1885.0 sec.
user=vaughan
[2011-11-12 16:25:17]
567*2^1047558-1 is not prime.  Res64: 11D5133D9007055F  Time : 1281.0 sec.
user=vaughan
[2011-11-12 16:27:56]
417*2^1047558-1 is not prime.  Res64: 87990E4B1A8742FF  Time : 1884.0 sec.
user=vaughan
[2011-11-12 16:31:52]
503*2^1047558-1 is not prime.  Res64: 3CDDA55BE14227CF  Time : 1860.0 sec.
user=vaughan
[2011-11-12 16:34:57]
581*2^1047558-1 is not prime.  Res64: B5AB026FFEEA0287  Time : 1733.0 sec.
user=vaughan
[2011-11-12 16:40:04]
423*2^1047559-1 is not prime.  Res64: 38DA4A5268D4D420  Time : 1854.0 sec.
user=vaughan
[2011-11-12 16:40:45]
471*2^1047559-1 is not prime.  Res64: DB9B13ED519331C3  Time : 1289.0 sec.
user=vaughan
[2011-11-12 16:46:33]
459*2^1047560-1 is not prime.  Res64: 53333DF6BFD90ECA  Time : 1276.0 sec.
user=vaughan
[2011-11-12 16:52:50]
425*2^1047560-1 is not prime.  Res64: 270F9946F574B1D6  Time : 1887.0 sec.
user=vaughan
[2011-11-12 16:54:05]
441*2^1047559-1 is not prime.  Res64: 4AD16D06D7624C52  Time : 2618.0 sec.
user=vaughan
[2011-11-12 16:59:21]
539*2^1047560-1 is not prime.  Res64: 40DCC070E44CDA2A  Time : 1885.0 sec.
user=vaughan
[2011-11-12 17:02:11]
511*2^1047561-1 is not prime.  Res64: 54733F93051D2FCE  Time : 1286.0 sec.
user=vaughan
[2011-11-12 17:02:50]
593*2^1047560-1 is not prime.  Res64: 82558C1D3B18F48F  Time : 1858.0 sec.
user=vaughan
[2011-11-12 17:03:50]
427*2^1047561-1 is not prime.  Res64: 90F9A9D4F7F24BA3  Time : 1733.0 sec.
user=vaughan
[2011-11-12 17:07:54]
531*2^1047561-1 is not prime.  Res64: 9682F392991870F9  Time : 1281.0 sec.
user=vaughan
[2011-11-12 17:10:56]
469*2^1047561-1 is not prime.  Res64: 217A2E72F4932E84  Time : 1853.0 sec.
user=vaughan
[2011-11-12 17:23:35]
489*2^1047563-1 is not prime.  Res64: 7DE8DED5E05A47AD  Time : 1285.0 sec.
user=vaughan
[2011-11-12 17:24:12]
423*2^1047562-1 is not prime.  Res64: 8E01986EF570B444  Time : 1882.0 sec.
user=vaughan
[2011-11-12 17:29:15]
585*2^1047563-1 is not prime.  Res64: 44689D1769F5697E  Time : 1283.0 sec.
user=vaughan
[2011-11-12 17:30:44]
445*2^1047563-1 is not prime.  Res64: 4AFE64FAED54E226  Time : 1884.0 sec.
user=vaughan
[2011-11-12 17:32:44]
549*2^1047563-1 is not prime.  Res64: 652F234609D41178  Time : 1734.0 sec.
user=vaughan
[2011-11-12 17:33:48]
523*2^1047563-1 is not prime.  Res64: A65644D05DF3CD92  Time : 1858.0 sec.
user=vaughan
[2011-11-12 17:37:39]
483*2^1047562-1 is not prime.  Res64: 636AD72BD781697F  Time : 2614.0 sec.
user=vaughan
[2011-11-12 17:41:47]
447*2^1047564-1 is not prime.  Res64: F25367A09E9C0585  Time : 1851.0 sec.
user=vaughan
[2011-11-12 17:45:01]
455*2^1047564-1 is not prime.  Res64: 0FB955A707053106  Time : 1286.0 sec.
user=vaughan
[2011-11-12 17:50:33]
569*2^1047564-1 is not prime.  Res64: D806A9351B7DCD1D  Time : 1278.0 sec.
user=vaughan
[2011-11-12 17:55:38]
545*2^1047564-1 is not prime.  Res64: F9F42722DA5C3ABB  Time : 1886.0 sec.
user=vaughan
[2011-11-12 18:01:37]
429*2^1047565-1 is not prime.  Res64: FC9C1B98AE83E4C5  Time : 1734.0 sec.
user=vaughan
[2011-11-12 18:02:09]
427*2^1047565-1 is not prime.  Res64: 051FD4DAC836A14C  Time : 1885.0 sec.
user=vaughan
[2011-11-12 18:04:46]
507*2^1047565-1 is not prime.  Res64: 8934A9C2B4416478  Time : 1859.0 sec.
user=vaughan
[2011-11-12 18:06:27]
453*2^1047567-1 is not prime.  Res64: FF97DC2F6E24617E  Time : 1286.0 sec.
user=vaughan
[2011-11-12 18:11:52]
489*2^1047567-1 is not prime.  Res64: B037A6B8CC4A06D5  Time : 1280.0 sec.
user=vaughan
[2011-11-12 18:12:41]
503*2^1047566-1 is not prime.  Res64: DB6FE11C94C0E625  Time : 1854.0 sec.
user=vaughan
[2011-11-12 18:21:43]
541*2^1047565-1 is not prime.  Res64: 05237745D65636F5  Time : 2645.0 sec.
user=vaughan
[2011-11-12 18:27:02]
419*2^1047568-1 is not prime.  Res64: EA76FA4A1EE47688  Time : 1884.0 sec.
user=vaughan
[2011-11-12 18:27:54]
411*2^1047569-1 is not prime.  Res64: 78118388136CE6ED  Time : 1287.0 sec.
user=vaughan
[2011-11-12 18:30:29]
495*2^1047568-1 is not prime.  Res64: 1923FD38CC7BFC38  Time : 1732.0 sec.
user=vaughan
[2011-11-12 18:33:07]
501*2^1047569-1 is not prime.  Res64: 51BA4EDC6398A5F6  Time : 1275.0 sec.
user=vaughan
[2011-11-12 18:33:33]
527*2^1047568-1 is not prime.  Res64: AC45EA8E592A95CB  Time : 1884.0 sec.
user=vaughan
[2011-11-12 18:35:44]
563*2^1047568-1 is not prime.  Res64: B877A36A0E99E709  Time : 1858.0 sec.
user=vaughan
[2011-11-12 18:43:35]
511*2^1047569-1 is not prime.  Res64: 872E16CAA9C00995  Time : 1854.0 sec.
user=vaughan
[2011-11-12 18:49:22]
465*2^1047570-1 is not prime.  Res64: 4AE1E2AEB5F60D1E  Time : 1288.0 sec.
user=vaughan
[2011-11-12 18:54:26]
415*2^1047571-1 is not prime.  Res64: 8888D31DFFD63693  Time : 1279.0 sec.
user=vaughan
[2011-11-12 18:58:27]
423*2^1047570-1 is not prime.  Res64: 2AF3EB6C3C1B1A71  Time : 1886.0 sec.
user=vaughan
[2011-11-12 18:59:23]
483*2^1047570-1 is not prime.  Res64: 52F2E24D5ABD6A7E  Time : 1734.0 sec.
user=vaughan
[2011-11-12 19:04:57]
439*2^1047571-1 is not prime.  Res64: 667B847E8B716384  Time : 1884.0 sec.
user=vaughan
[2011-11-12 19:05:44]
567*2^1047569-1 is not prime.  Res64: 24842308E84EC1FD  Time : 2641.0 sec.
user=vaughan
[2011-11-12 19:06:41]
555*2^1047571-1 is not prime.  Res64: F7D18182A372E44A  Time : 1857.0 sec.
user=vaughan
[2011-11-12 19:10:46]
413*2^1047572-1 is not prime.  Res64: 1091D959906F8D0D  Time : 1284.0 sec.
user=vaughan
[2011-11-12 19:14:26]
595*2^1047571-1 is not prime.  Res64: F33FFE51D7DE7EE9  Time : 1852.0 sec.
user=vaughan
[2011-11-12 19:15:48]
467*2^1047572-1 is not prime.  Res64: 2C3AD136A8F5695F  Time : 1282.0 sec.
user=vaughan
[2011-11-12 19:28:15]
525*2^1047573-1 is not prime.  Res64: 3DD012456EACDC2A  Time : 1733.0 sec.
user=vaughan
[2011-11-12 19:29:49]
477*2^1047572-1 is not prime.  Res64: 7D997BCFAB688358  Time : 1882.0 sec.
user=vaughan
[2011-11-12 19:32:14]
527*2^1047574-1 is not prime.  Res64: B7990E4A5DFC1023  Time : 1288.0 sec.
user=vaughan
[2011-11-12 19:36:20]
529*2^1047573-1 is not prime.  Res64: 964C1033463B1AE3  Time : 1883.0 sec.
user=vaughan
[2011-11-12 19:37:05]
555*2^1047574-1 is not prime.  Res64: D3F82C6BA3542FE6  Time : 1277.0 sec.
user=vaughan
[2011-11-12 19:37:36]
443*2^1047574-1 is not prime.  Res64: 2C18FBD441341C50  Time : 1856.0 sec.
user=vaughan
[2011-11-12 19:45:18]
533*2^1047574-1 is not prime.  Res64: 8201DD359F90FCA3  Time : 1852.0 sec.
user=vaughan
[2011-11-12 19:49:45]
555*2^1047573-1 is not prime.  Res64: B10938FA9DC94B22  Time : 2641.0 sec.
user=vaughan
[2011-11-12 19:53:41]
421*2^1047577-1 is not prime.  Res64: C38CB69A20449ABD  Time : 1287.0 sec.
user=vaughan
[2011-11-12 19:57:15]
433*2^1047575-1 is not prime.  Res64: E57BAC8B29608E07  Time : 1740.0 sec.
user=vaughan
[2011-11-12 19:58:30]
505*2^1047577-1 is not prime.  Res64: 34F44A207AFCA72F  Time : 1285.0 sec.
user=vaughan
[2011-11-12 20:01:19]
587*2^1047576-1 is not prime.  Res64: 0C89B0818C06AEC0  Time : 1890.0 sec.
user=vaughan
[2011-11-12 20:07:50]
477*2^1047577-1 is not prime.  Res64: 5D8FE769929FE762  Time : 1890.0 sec.
user=vaughan
[2011-11-12 20:08:40]
595*2^1047577-1 is not prime.  Res64: 782AEF29793A15EE  Time : 1864.0 sec.
user=vaughan
[2011-11-12 20:15:07]
563*2^1047578-1 is not prime.  Res64: CF82950183A7A14D  Time : 1287.0 sec.
user=vaughan
[2011-11-12 20:16:17]
503*2^1047578-1 is not prime.  Res64: 42F0EC30DEB3C3D6  Time : 1859.0 sec.
user=vaughan
[2011-11-12 20:19:51]
429*2^1047580-1 is not prime.  Res64: 9A45755D97B58958  Time : 1281.0 sec.
user=vaughan
[2011-11-12 20:27:40]
439*2^1047579-1 is not prime.  Res64: FBCBF5CA205AF068  Time : 1825.0 sec.
user=vaughan
[2011-11-12 20:32:42]
483*2^1047580-1 is not prime.  Res64: C111B0673F2B8E9A  Time : 1884.0 sec.
user=vaughan
[2011-11-12 20:34:07]
515*2^1047578-1 is not prime.  Res64: 1F677323B3E59609  Time : 2662.0 sec.
user=vaughan
[2011-11-12 20:36:30]
537*2^1047581-1 is not prime.  Res64: BBA65EC9762FC500  Time : 1283.0 sec.
user=vaughan
[2011-11-12 20:39:12]
539*2^1047580-1 is not prime.  Res64: 5EA21392294DD016  Time : 1883.0 sec.
user=vaughan
[2011-11-12 20:39:38]
411*2^1047581-1 is not prime.  Res64: D3871813562C02CC  Time : 1859.0 sec.
user=vaughan
[2011-11-12 20:41:07]
559*2^1047581-1 is not prime.  Res64: A7C0601976FB0304  Time : 1276.0 sec.
user=vaughan
[2011-11-12 20:47:08]
547*2^1047581-1 is not prime.  Res64: 84B46088B5B77CA6  Time : 1851.0 sec.
user=vaughan
[2011-11-12 20:57:48]
423*2^1047582-1 is not prime.  Res64: C318D72E240917F2  Time : 1808.0 sec.
user=vaughan
[2011-11-12 20:57:55]
553*2^1047583-1 is not prime.  Res64: 51275140AB849F04  Time : 1285.0 sec.
user=vaughan
[2011-11-12 21:02:25]
417*2^1047584-1 is not prime.  Res64: 2D5C6C636F3AC1F3  Time : 1278.0 sec.
user=vaughan
[2011-11-12 21:04:07]
483*2^1047582-1 is not prime.  Res64: 8DC6CDD6DEE1D8ED  Time : 1885.0 sec.
user=vaughan
[2011-11-12 21:10:36]
595*2^1047583-1 is not prime.  Res64: 3C872C92324FBED0  Time : 1884.0 sec.
user=vaughan
[2011-11-12 21:10:36]
407*2^1047584-1 is not prime.  Res64: C55C514DB105099D  Time : 1858.0 sec.
user=vaughan
[2011-11-12 21:17:56]
519*2^1047584-1 is not prime.  Res64: 1AF313307B96F59F  Time : 1848.0 sec.
user=vaughan
[2011-11-12 21:18:17]
507*2^1047582-1 is not prime.  Res64: F062371068E52AF4  Time : 2650.0 sec.
user=vaughan
[2011-11-12 21:19:21]
567*2^1047584-1 is not prime.  Res64: 66F71ECA434A9759  Time : 1286.0 sec.
user=vaughan
[2011-11-12 21:23:44]
457*2^1047585-1 is not prime.  Res64: D8056C3D933DD2EB  Time : 1280.0 sec.
user=vaughan
[2011-11-12 21:27:29]
539*2^1047584-1 is not prime.  Res64: BF8B8F1E2ABC28B8  Time : 1781.0 sec.
user=vaughan
[2011-11-12 21:35:30]
565*2^1047585-1 is not prime.  Res64: B26CDB50FE29F3F7  Time : 1884.0 sec.
user=vaughan
[2011-11-12 21:40:45]
525*2^1047586-1 is not prime.  Res64: 9A88E995462DCC25  Time : 1284.0 sec.
user=vaughan
[2011-11-12 21:41:34]
425*2^1047586-1 is not prime.  Res64: 08E1A88ED81444CC  Time : 1858.0 sec.
user=vaughan
[2011-11-12 21:41:58]
577*2^1047585-1 is not prime.  Res64: 7A664805445EE7DB  Time : 1882.0 sec.
user=vaughan
[2011-11-12 21:45:06]
575*2^1047586-1 is not prime.  Res64: 9B88ABBBBB9F96AF  Time : 1282.0 sec.
user=vaughan
[2011-11-12 21:48:47]
471*2^1047586-1 is not prime.  Res64: 0C05BF82747E569F  Time : 1851.0 sec.
user=vaughan
[2011-11-12 21:56:44]
441*2^1047587-1 is not prime.  Res64: AE73F0FEB04F9431  Time : 1755.0 sec.
user=vaughan
[2011-11-12 22:02:09]
495*2^1047587-1 is not prime.  Res64: B2E3CBA644EA887A  Time : 1284.0 sec.
user=vaughan
[2011-11-12 22:03:05]
491*2^1047586-1 is not prime.  Res64: 7A9C6B5C21226879  Time : 2688.0 sec.
user=vaughan
[2011-11-12 22:06:24]
485*2^1047588-1 is not prime.  Res64: 812137BE5472F065  Time : 1278.0 sec.
user=vaughan
[2011-11-12 22:06:51]
451*2^1047587-1 is not prime.  Res64: D75AE77AE9529AED  Time : 1881.0 sec.
user=vaughan
[2011-11-12 22:12:32]
549*2^1047587-1 is not prime.  Res64: 845BF2528443F3DF  Time : 1859.0 sec.
user=vaughan
[2011-11-12 22:13:19]
437*2^1047588-1 is not prime.  Res64: BD48D69026C24837  Time : 1882.0 sec.
user=vaughan
[2011-11-12 22:19:32]
545*2^1047588-1 is not prime.  Res64: D2C69EC0716780BB  Time : 1845.0 sec.
user=vaughan
[2011-11-12 22:23:34]
563*2^1047588-1 is not prime.  Res64: 636E9ADFC76374CC  Time : 1285.0 sec.
user=vaughan
[2011-11-12 22:25:57]
549*2^1047588-1 is not prime.  Res64: 96233388F23FA2C1  Time : 1753.0 sec.
user=vaughan
[2011-11-12 22:27:45]
597*2^1047589-1 is not prime.  Res64: 2BB54FF488AFEB86  Time : 1281.0 sec.
user=vaughan
[2011-11-12 22:38:13]
503*2^1047590-1 is not prime.  Res64: CD8EBE93400A081F  Time : 1882.0 sec.
user=vaughan
[2011-11-12 22:43:29]
459*2^1047591-1 is not prime.  Res64: 6E563CD19DB4A854  Time : 1857.0 sec.
user=vaughan
[2011-11-12 22:44:40]
483*2^1047591-1 is not prime.  Res64: B5DCF4DE38A8B58B  Time : 1881.0 sec.
user=vaughan
[2011-11-12 22:44:59]
541*2^1047591-1 is not prime.  Res64: 802013D181B2A57E  Time : 1285.0 sec.
user=vaughan
[2011-11-12 22:47:09]
585*2^1047588-1 is not prime.  Res64: 2C33E4355C771382  Time : 2644.0 sec.
user=vaughan
[2011-11-12 22:49:04]
465*2^1047593-1 is not prime.  Res64: 63607C125879350A  Time : 1279.0 sec.
user=vaughan
[2011-11-12 22:50:17]
513*2^1047591-1 is not prime.  Res64: 490D99F44203CD08  Time : 1845.0 sec.
user=vaughan
[2011-11-12 22:55:00]
439*2^1047593-1 is not prime.  Res64: 6B1A000551586158  Time : 1743.0 sec.
user=vaughan
[2011-11-12 23:06:28]
423*2^1047594-1 is not prime.  Res64: EB6E02B8ECDC6E3F  Time : 1290.0 sec.
user=vaughan
[2011-11-12 23:09:36]
487*2^1047593-1 is not prime.  Res64: 90630752B7CAB7AD  Time : 1884.0 sec.
user=vaughan
[2011-11-12 23:10:20]
437*2^1047594-1 is not prime.  Res64: 71C1F5FDD9BD47BE  Time : 1276.0 sec.
user=vaughan
[2011-11-12 23:14:28]
571*2^1047593-1 is not prime.  Res64: 74C7439239079EF3  Time : 1860.0 sec.
user=vaughan
[2011-11-12 23:16:01]
589*2^1047593-1 is not prime.  Res64: 4C5CDC8202B5A11D  Time : 1882.0 sec.
user=vaughan
[2011-11-12 23:21:07]
461*2^1047594-1 is not prime.  Res64: E9CE94BCDD59EF40  Time : 1851.0 sec.
user=vaughan
[2011-11-12 23:23:55]
405*2^1047595-1 is not prime.  Res64: C29F107F6A0FEE9E  Time : 1735.0 sec.
user=vaughan
[2011-11-12 23:27:59]
489*2^1047595-1 is not prime.  Res64: 9F2A1FC8D3C03093  Time : 1291.0 sec.
user=vaughan
[2011-11-12 23:31:02]
431*2^1047594-1 is not prime.  Res64: 2C21163663183F64  Time : 2633.0 sec.
user=vaughan
[2011-11-12 23:31:40]
499*2^1047595-1 is not prime.  Res64: D62EC37CF7514E3D  Time : 1281.0 sec.
user=vaughan
[2011-11-12 23:40:59]
495*2^1047595-1 is not prime.  Res64: 674A7349DF05C46C  Time : 1883.0 sec.
user=vaughan
[2011-11-12 23:45:26]
553*2^1047595-1 is not prime.  Res64: 0439C7A20D5B6076  Time : 1858.0 sec.
user=vaughan
[2011-11-12 23:47:22]
495*2^1047596-1 is not prime.  Res64: B4312DBC764D719F  Time : 1881.0 sec.
user=vaughan
[2011-11-12 23:49:23]
427*2^1047597-1 is not prime.  Res64: D845C29B3E4C2948  Time : 1285.0 sec.
user=vaughan
[2011-11-12 23:51:55]
519*2^1047596-1 is not prime.  Res64: 647043B8855E42EC  Time : 1848.0 sec.
user=vaughan
[2011-11-12 23:52:49]
537*2^1047596-1 is not prime.  Res64: FB37CB3CC6019435  Time : 1735.0 sec.
user=vaughan
[2011-11-12 23:53:00]
475*2^1047597-1 is not prime.  Res64: 9D80E5DD389671A5  Time : 1281.0 sec.