user=vaughan
[2011-11-17 00:39:27]
507*2^1047944-1 is not prime.  Res64: 14B73F5068061360  Time : 2619.0 sec.
user=vaughan
[2011-11-17 01:23:20]
539*2^1047944-1 is not prime.  Res64: A0249BE9C8F2A486  Time : 2633.0 sec.
user=vaughan
[2011-11-17 02:08:18]
599*2^1047944-1 is not prime.  Res64: 16DDF25685F9F8FC  Time : 2637.0 sec.
user=vaughan
[2011-11-17 02:25:14]
531*2^1047930-1 is not prime.  Res64: D31737BBD0E04F5C  Time : 73126.0 sec.
user=vaughan
[2011-11-17 02:31:04]
449*2^1047932-1 is not prime.  Res64: C8295ACE7D333821  Time : 73070.0 sec.
user=vaughan
[2011-11-17 02:31:43]
507*2^1047933-1 is not prime.  Res64: 6B023332898D2F79  Time : 72912.0 sec.
user=vaughan
[2011-11-17 02:48:30]
477*2^1047934-1 is not prime.  Res64: 2D6E13CD2A3A78F3  Time : 72488.0 sec.
user=vaughan
[2011-11-17 02:50:33]
575*2^1047934-1 is not prime.  Res64: 9D1F2DE019173580  Time : 72478.0 sec.
user=vaughan
[2011-11-17 02:50:48]
461*2^1047934-1 is not prime.  Res64: 7AFA122FCFB17019  Time : 72921.0 sec.
user=vaughan
[2011-11-17 02:53:46]
535*2^1047945-1 is not prime.  Res64: 6BB3ECB2F23666FD  Time : 2629.0 sec.
user=vaughan
[2011-11-17 02:58:05]
425*2^1047946-1 is not prime.  Res64: FBB90325F0F5B1F5  Time : 1971.0 sec.
user=vaughan
[2011-11-17 03:02:54]
461*2^1047946-1 is not prime.  Res64: 6FEEA0DA5F775122  Time : 1911.0 sec.
user=vaughan
[2011-11-17 03:05:28]
477*2^1047946-1 is not prime.  Res64: 4514067E17C0A150  Time : 2026.0 sec.
user=vaughan
[2011-11-17 03:11:05]
483*2^1047946-1 is not prime.  Res64: E6AE752B52F9C856  Time : 1355.0 sec.
user=vaughan
[2011-11-17 03:13:11]
497*2^1047946-1 is not prime.  Res64: 10C001837C8E39D8  Time : 1359.0 sec.
user=vaughan
[2011-11-17 03:23:06]
503*2^1047946-1 is not prime.  Res64: 7EE47304244B233C  Time : 1938.0 sec.
user=vaughan
[2011-11-17 03:30:38]
505*2^1047947-1 is not prime.  Res64: 659D25736F4E2CC9  Time : 1953.0 sec.
user=vaughan
[2011-11-17 03:33:39]
549*2^1047949-1 is not prime.  Res64: E37BDCD67B6C3464  Time : 1355.0 sec.
user=vaughan
[2011-11-17 03:34:23]
539*2^1047948-1 is not prime.  Res64: F708007D3FBF0F25  Time : 1890.0 sec.
user=vaughan
[2011-11-17 03:35:57]
595*2^1047949-1 is not prime.  Res64: 4D0DE8D34506CCB3  Time : 1367.0 sec.
user=vaughan
[2011-11-17 03:38:57]
527*2^1047946-1 is not prime.  Res64: C868AE9DAC541B2A  Time : 2626.0 sec.
user=vaughan
[2011-11-17 03:39:00]
435*2^1047949-1 is not prime.  Res64: 868AFB6FA1C36CD2  Time : 2012.0 sec.
user=vaughan
[2011-11-17 03:55:24]
405*2^1047950-1 is not prime.  Res64: 9B75AC47BE8D0C27  Time : 1938.0 sec.
user=vaughan
[2011-11-17 03:56:10]
561*2^1047950-1 is not prime.  Res64: 5827B1C6A5DC1B41  Time : 1352.0 sec.
user=vaughan
[2011-11-17 03:58:43]
445*2^1047951-1 is not prime.  Res64: 1DF9D8B0A1E3CE9C  Time : 1367.0 sec.
user=vaughan
[2011-11-17 04:03:10]
501*2^1047950-1 is not prime.  Res64: D0E71F2BC5C8A59A  Time : 1953.0 sec.
user=vaughan
[2011-11-17 04:05:48]
593*2^1047950-1 is not prime.  Res64: 9F6C623DE5DC8BAD  Time : 1885.0 sec.
user=vaughan
[2011-11-17 04:12:23]
447*2^1047952-1 is not prime.  Res64: 14233E446CAE0EE9  Time : 2003.0 sec.
user=vaughan
[2011-11-17 04:18:43]
525*2^1047952-1 is not prime.  Res64: 89A7D40941100909  Time : 1354.0 sec.
user=vaughan
[2011-11-17 04:21:21]
537*2^1047952-1 is not prime.  Res64: AF1392647CCED00D  Time : 1358.0 sec.
user=vaughan
[2011-11-17 04:25:54]
413*2^1047952-1 is not prime.  Res64: 792BD01E0CE5615F  Time : 2818.0 sec.
user=vaughan
[2011-11-17 04:27:46]
455*2^1047952-1 is not prime.  Res64: 6DF09757736442C6  Time : 1943.0 sec.
user=vaughan
[2011-11-17 04:35:40]
477*2^1047953-1 is not prime.  Res64: 08769F8C106F41C5  Time : 1950.0 sec.
user=vaughan
[2011-11-17 04:37:19]
487*2^1047953-1 is not prime.  Res64: 6C45B993D9FAFADC  Time : 1891.0 sec.
user=vaughan
[2011-11-17 04:41:07]
517*2^1047953-1 is not prime.  Res64: ED9EC1D7328382E7  Time : 1344.0 sec.
user=vaughan
[2011-11-17 04:44:09]
521*2^1047954-1 is not prime.  Res64: 7661F1284EB1045B  Time : 1368.0 sec.
user=vaughan
[2011-11-17 04:45:45]
511*2^1047953-1 is not prime.  Res64: A9344C23256991C8  Time : 2002.0 sec.
user=vaughan
[2011-11-17 04:59:59]
429*2^1047955-1 is not prime.  Res64: CC5BACD6585F8C50  Time : 1933.0 sec.
user=vaughan
[2011-11-17 05:03:18]
589*2^1047955-1 is not prime.  Res64: DA625AF4CC61E569  Time : 1332.0 sec.
user=vaughan
[2011-11-17 05:07:26]
459*2^1047956-1 is not prime.  Res64: 223E4378B310AFFC  Time : 1397.0 sec.
user=vaughan
[2011-11-17 05:08:12]
471*2^1047955-1 is not prime.  Res64: D86CDE84E722566D  Time : 1953.0 sec.
user=vaughan
[2011-11-17 05:08:51]
493*2^1047955-1 is not prime.  Res64: 0EC5881AD54C5BDA  Time : 1892.0 sec.
user=vaughan
[2011-11-17 05:10:51]
551*2^1047954-1 is not prime.  Res64: D00EA7ED49CA6367  Time : 2627.0 sec.
user=vaughan
[2011-11-17 05:19:13]
519*2^1047956-1 is not prime.  Res64: CC71E6EBC0B484EA  Time : 2008.0 sec.
user=vaughan
[2011-11-17 05:25:31]
573*2^1047956-1 is not prime.  Res64: C8DE604F430FFE40  Time : 1333.0 sec.
user=vaughan
[2011-11-17 05:30:45]
469*2^1047957-1 is not prime.  Res64: 650F086F68874D28  Time : 1400.0 sec.
user=vaughan
[2011-11-17 05:32:14]
563*2^1047956-1 is not prime.  Res64: BBF0DFA0CAACBDE5  Time : 1935.0 sec.
user=vaughan
[2011-11-17 05:40:22]
507*2^1047957-1 is not prime.  Res64: 5CBA121D768F705A  Time : 1891.0 sec.
user=vaughan
[2011-11-17 05:40:40]
475*2^1047957-1 is not prime.  Res64: 32E956C86C7B7C66  Time : 1949.0 sec.
user=vaughan
[2011-11-17 05:47:43]
461*2^1047958-1 is not prime.  Res64: 6C7D66AF57205C64  Time : 1332.0 sec.
user=vaughan
[2011-11-17 05:52:41]
565*2^1047957-1 is not prime.  Res64: BDAC9DBBB98C88ED  Time : 2009.0 sec.
user=vaughan
[2011-11-17 05:53:53]
507*2^1047958-1 is not prime.  Res64: 2D8C62990949C715  Time : 1388.0 sec.
user=vaughan
[2011-11-17 05:54:50]
555*2^1047957-1 is not prime.  Res64: 36EA4D95AB9E2878  Time : 2639.0 sec.
user=vaughan
[2011-11-17 06:04:26]
513*2^1047958-1 is not prime.  Res64: 74D1D665F9C9A3C4  Time : 1933.0 sec.
user=vaughan
[2011-11-17 06:09:54]
445*2^1047959-1 is not prime.  Res64: 471655EE975B2693  Time : 1331.0 sec.
user=vaughan
[2011-11-17 06:11:52]
533*2^1047958-1 is not prime.  Res64: E66426E07DDDD329  Time : 1891.0 sec.
user=vaughan
[2011-11-17 06:13:02]
421*2^1047959-1 is not prime.  Res64: 3476CF3F86A57156  Time : 1942.0 sec.
user=vaughan
[2011-11-17 06:17:08]
425*2^1047960-1 is not prime.  Res64: 525F7BB38D3D2FA7  Time : 1395.0 sec.
user=vaughan
[2011-11-17 06:25:10]
595*2^1047959-1 is not prime.  Res64: 8D24178C57E22DEC  Time : 1949.0 sec.
user=vaughan
[2011-11-17 06:32:06]
549*2^1047960-1 is not prime.  Res64: 9A7150AEC697ED2A  Time : 1332.0 sec.
user=vaughan
[2011-11-17 06:37:03]
453*2^1047960-1 is not prime.  Res64: 03A92EF574E46F9A  Time : 1957.0 sec.
user=vaughan
[2011-11-17 06:40:18]
447*2^1047960-1 is not prime.  Res64: 72702C51350F05E4  Time : 2623.0 sec.
user=vaughan
[2011-11-17 06:40:20]
545*2^1047962-1 is not prime.  Res64: 0DF1947D47827EA7  Time : 1392.0 sec.
user=vaughan
[2011-11-17 06:43:00]
415*2^1047961-1 is not prime.  Res64: 9801F820C914DB19  Time : 1869.0 sec.
user=vaughan
[2011-11-17 06:46:02]
507*2^1047961-1 is not prime.  Res64: 53AF7E47DBE946F9  Time : 1980.0 sec.
user=vaughan
[2011-11-17 06:54:47]
441*2^1047963-1 is not prime.  Res64: F2CF0646696C384A  Time : 1362.0 sec.
user=vaughan
[2011-11-17 06:57:47]
581*2^1047962-1 is not prime.  Res64: F2F494635DF420AF  Time : 1958.0 sec.
user=vaughan
[2011-11-17 07:03:32]
555*2^1047963-1 is not prime.  Res64: E1946436EE3DB626  Time : 1393.0 sec.
user=vaughan
[2011-11-17 07:05:28]
471*2^1047925-1 is not prime.  Res64: 4444EB43852DE233  Time : 91569.0 sec.
user=vaughan
[2011-11-17 07:06:12]
545*2^1047926-1 is not prime.  Res64: 8F55A1A89B9EA220  Time : 91502.0 sec.
user=vaughan
[2011-11-17 07:06:33]
473*2^1047926-1 is not prime.  Res64: 7121CF38FE1D7C53  Time : 91527.0 sec.
user=vaughan
[2011-11-17 07:10:09]
489*2^1047963-1 is not prime.  Res64: 44C90165BA8C317D  Time : 1986.0 sec.
user=vaughan
[2011-11-17 07:14:24]
591*2^1047963-1 is not prime.  Res64: B06AAF9E2C79832E  Time : 1884.0 sec.
user=vaughan
[2011-11-17 07:16:26]
501*2^1047927-1 is not prime.  Res64: C4FF8B6F076C0012  Time : 91467.0 sec.
user=vaughan
[2011-11-17 07:16:52]
479*2^1047964-1 is not prime.  Res64: 89BCA6EDBEDD7F0A  Time : 1325.0 sec.
user=vaughan
[2011-11-17 07:19:06]
595*2^1047963-1 is not prime.  Res64: C1E382D82EE12A50  Time : 1984.0 sec.
user=vaughan
[2011-11-17 07:23:54]
553*2^1047963-1 is not prime.  Res64: 4E5D6285A0D1EA46  Time : 2616.0 sec.
user=vaughan
[2011-11-17 07:26:48]
475*2^1047965-1 is not prime.  Res64: 1756C1E1EC060BBA  Time : 1397.0 sec.
user=vaughan
[2011-11-17 07:30:20]
465*2^1047965-1 is not prime.  Res64: 0294EB64D6673BFA  Time : 1953.0 sec.
user=vaughan
[2011-11-17 07:37:17]
537*2^1047965-1 is not prime.  Res64: 456933A137E48E57  Time : 1909.0 sec.
user=vaughan
[2011-11-17 07:45:30]
579*2^1047965-1 is not prime.  Res64: DF779BD6A1B03607  Time : 2359.0 sec.
user=vaughan
[2011-11-17 07:49:13]
411*2^1047966-1 is not prime.  Res64: 6DEA7A9AE64C7EF2  Time : 2560.0 sec.
user=vaughan
[2011-11-17 07:51:45]
501*2^1047966-1 is not prime.  Res64: 765048F5D14AE8CF  Time : 2119.0 sec.
user=vaughan
[2011-11-17 08:08:59]
441*2^1047967-1 is not prime.  Res64: 0D29A194C4ECC1A1  Time : 2705.0 sec.
user=vaughan
[2011-11-17 08:11:11]
503*2^1047968-1 is not prime.  Res64: 9B92CE33BF233FFD  Time : 2035.0 sec.
user=vaughan
[2011-11-17 08:27:13]
401*2^1047970-1 is not prime.  Res64: 9BFD8EFB244FF635  Time : 2128.0 sec.
user=vaughan
[2011-11-17 08:29:47]
571*2^1047969-1 is not prime.  Res64: 399B093A28F9ED6E  Time : 2658.0 sec.
user=vaughan
[2011-11-17 08:52:38]
483*2^1047970-1 is not prime.  Res64: AC38C75F85927B83  Time : 2619.0 sec.
user=vaughan
[2011-11-17 09:36:17]
459*2^1047971-1 is not prime.  Res64: 9AE3BB1FC8E7145E  Time : 2619.0 sec.
user=vaughan
[2011-11-17 10:20:03]
447*2^1047972-1 is not prime.  Res64: BB1D56F01DC44718  Time : 2626.0 sec.
user=vaughan
[2011-11-17 11:03:46]
455*2^1047972-1 is not prime.  Res64: 43EB6654435C5E0B  Time : 2623.0 sec.
user=vaughan
[2011-11-17 11:48:11]
525*2^1047973-1 is not prime.  Res64: 719BDB139F22B3B8  Time : 2666.0 sec.
user=vaughan
[2011-11-17 12:32:02]
549*2^1047973-1 is not prime.  Res64: 7BDE07A988306D33  Time : 2632.0 sec.
user=vaughan
[2011-11-17 13:17:08]
425*2^1047974-1 is not prime.  Res64: B9047500B44B8D60  Time : 2624.0 sec.
user=vaughan
[2011-11-17 14:01:03]
507*2^1047974-1 is not prime.  Res64: 232637D735262262  Time : 2635.0 sec.
user=vaughan
[2011-11-17 14:45:52]
575*2^1047974-1 is not prime.  Res64: B333DF536786BF56  Time : 2628.0 sec.
user=vaughan
[2011-11-17 15:29:39]
587*2^1047974-1 is not prime.  Res64: A1D38F1D80E8EC20  Time : 2627.0 sec.
user=vaughan
[2011-11-17 16:13:19]
441*2^1047975-1 is not prime.  Res64: 5BAE4FED510A2D27  Time : 2620.0 sec.
user=vaughan
[2011-11-17 16:57:11]
451*2^1047975-1 is not prime.  Res64: B8E5979DA80CD94D  Time : 2633.0 sec.
user=vaughan
[2011-11-17 17:42:33]
535*2^1047975-1 is not prime.  Res64: B4D0E97D4E6742B1  Time : 2631.0 sec.
user=vaughan
[2011-11-17 18:27:25]
573*2^1047975-1 is not prime.  Res64: F0C4602F98963E9E  Time : 2622.0 sec.
user=vaughan
[2011-11-17 19:11:13]
429*2^1047976-1 is not prime.  Res64: BFD1B788549D3BFE  Time : 2628.0 sec.
user=vaughan
[2011-11-17 19:55:09]
495*2^1047976-1 is not prime.  Res64: BFABDDD845AE9005  Time : 2636.0 sec.
user=vaughan
[2011-11-17 20:40:08]
527*2^1047976-1 is not prime.  Res64: B7B0C551F6BDAD80  Time : 2629.0 sec.
user=vaughan
[2011-11-17 21:26:26]
539*2^1047976-1 is not prime.  Res64: 563EC8445EB5FDD8  Time : 2713.0 sec.
user=vaughan
[2011-11-17 22:11:15]
421*2^1047977-1 is not prime.  Res64: A6E4C44EABE4D47B  Time : 2620.0 sec.
user=vaughan
[2011-11-17 22:55:38]
561*2^1047977-1 is not prime.  Res64: E133C7C02A37D87D  Time : 2664.0 sec.
user=vaughan
[2011-11-17 23:39:20]
571*2^1047977-1 is not prime.  Res64: F0C65D6037AB31E9  Time : 2622.0 sec.