user=kar_bon
[2011-12-08 00:04:34]
515*2^1048428-1 is not prime.  Res64: 7F8B98F57DE55F62  Time : 1248.0 sec.
user=kar_bon
[2011-12-08 00:25:19]
471*2^1048429-1 is not prime.  Res64: 1D6E3B0C0F87C542  Time : 1244.0 sec.
user=vaughan
[2011-12-08 00:40:53]
457*2^1048429-1 is not prime.  Res64: 5E96FCBA999CEDBF  Time : 2630.0 sec.
user=kar_bon
[2011-12-08 00:47:24]
477*2^1048429-1 is not prime.  Res64: AAABF5355F4F43C8  Time : 1325.0 sec.
user=kar_bon
[2011-12-08 01:08:56]
455*2^1048430-1 is not prime.  Res64: F277FEC0218ECCDD  Time : 1291.0 sec.
user=vaughan
[2011-12-08 01:25:54]
547*2^1048429-1 is not prime.  Res64: 5B99706EBC274332  Time : 2630.0 sec.
user=kar_bon
[2011-12-08 01:29:41]
503*2^1048430-1 is not prime.  Res64: 4001347401F0C47E  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 01:50:28]
593*2^1048430-1 is not prime.  Res64: 2B8FD76F611BD080  Time : 1247.0 sec.
user=vaughan
[2011-12-08 02:10:32]
591*2^1048430-1 is not prime.  Res64: E5B392C766AD1655  Time : 2617.0 sec.
user=kar_bon
[2011-12-08 02:11:29]
409*2^1048431-1 is not prime.  Res64: 0B2C076421D7235D  Time : 1262.0 sec.
user=kar_bon
[2011-12-08 02:32:13]
565*2^1048431-1 is not prime.  Res64: 7EF5F4BA587D038E  Time : 1243.0 sec.
user=kar_bon
[2011-12-08 02:53:01]
489*2^1048432-1 is not prime.  Res64: C316C4DB1EB4C71A  Time : 1247.0 sec.
user=vaughan
[2011-12-08 02:54:29]
513*2^1048431-1 is not prime.  Res64: 9CEFD9AB9C440219  Time : 2637.0 sec.
user=kar_bon
[2011-12-08 03:13:50]
569*2^1048432-1 is not prime.  Res64: A456B2ECD2DDB302  Time : 1248.0 sec.
user=kar_bon
[2011-12-08 03:34:36]
435*2^1048433-1 is not prime.  Res64: 1535392A402DF6FB  Time : 1245.0 sec.
user=vaughan
[2011-12-08 03:39:55]
593*2^1048432-1 is not prime.  Res64: 861953F66FF58DDC  Time : 2641.0 sec.
user=kar_bon
[2011-12-08 03:55:22]
477*2^1048433-1 is not prime.  Res64: C2D48438D40C520E  Time : 1246.0 sec.
user=kar_bon
[2011-12-08 04:16:09]
425*2^1048434-1 is not prime.  Res64: FC288A0D912077AA  Time : 1247.0 sec.
user=vaughan
[2011-12-08 04:23:44]
481*2^1048433-1 is not prime.  Res64: 23D28E11CA78C1E9  Time : 2629.0 sec.
user=kar_bon
[2011-12-08 04:36:57]
431*2^1048434-1 is not prime.  Res64: D1C63EE88D5C3B2A  Time : 1247.0 sec.
user=kar_bon
[2011-12-08 04:57:45]
507*2^1048434-1 is not prime.  Res64: AC9C94A3091AFC97  Time : 1247.0 sec.
user=vaughan
[2011-12-08 05:08:36]
437*2^1048434-1 is not prime.  Res64: 1FA5708E4D835A39  Time : 2622.0 sec.
user=kar_bon
[2011-12-08 05:18:36]
585*2^1048434-1 is not prime.  Res64: EB420E64C7D9AD4E  Time : 1250.0 sec.
user=kar_bon
[2011-12-08 05:39:21]
465*2^1048435-1 is not prime.  Res64: 9728097532D9E678  Time : 1245.0 sec.
user=vaughan
[2011-12-08 05:52:19]
593*2^1048434-1 is not prime.  Res64: E50B07686B7F413E  Time : 2624.0 sec.
user=kar_bon
[2011-12-08 06:00:07]
495*2^1048435-1 is not prime.  Res64: 0B1D6B8F4BAFC9B2  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 06:20:54]
511*2^1048435-1 is not prime.  Res64: 7EFB009EB82D7D8F  Time : 1247.0 sec.
user=vaughan
[2011-12-08 06:35:56]
499*2^1048435-1 is not prime.  Res64: 6690AC5F566B7DFC  Time : 2617.0 sec.
user=kar_bon
[2011-12-08 06:41:41]
459*2^1048436-1 is not prime.  Res64: A4C5AD4F6C797979  Time : 1247.0 sec.
user=kar_bon
[2011-12-08 07:02:28]
495*2^1048436-1 is not prime.  Res64: 6B42A3129E93C185  Time : 1248.0 sec.
user=vaughan
[2011-12-08 07:19:47]
479*2^1048436-1 is not prime.  Res64: D786E615E16B492C  Time : 2631.0 sec.
user=kar_bon
[2011-12-08 07:23:19]
539*2^1048436-1 is not prime.  Res64: 2D541DCED62EF935  Time : 1250.0 sec.
user=kar_bon
[2011-12-08 07:44:04]
537*2^1048437-1 is not prime.  Res64: 632A51AD069EC1AE  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 08:04:51]
549*2^1048437-1 is not prime.  Res64: FA254A1690A42308  Time : 1246.0 sec.
user=vaughan
[2011-12-08 08:05:36]
429*2^1048437-1 is not prime.  Res64: 058A89217E8F54E2  Time : 2625.0 sec.
user=kar_bon
[2011-12-08 08:25:38]
421*2^1048439-1 is not prime.  Res64: 92E44138472B587A  Time : 1247.0 sec.
user=kar_bon
[2011-12-08 08:46:22]
589*2^1048439-1 is not prime.  Res64: 9AE96699072947E0  Time : 1244.0 sec.
user=vaughan
[2011-12-08 08:49:17]
511*2^1048439-1 is not prime.  Res64: 44A011A72572C7AD  Time : 2621.0 sec.
user=kar_bon
[2011-12-08 09:07:08]
447*2^1048440-1 is not prime.  Res64: C2918DC6368EFCA6  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 09:27:56]
421*2^1048441-1 is not prime.  Res64: 09CF85E4E5E00BF0  Time : 1248.0 sec.
user=vaughan
[2011-12-08 09:33:03]
405*2^1048441-1 is not prime.  Res64: 3DB2B5E0FDEA9198  Time : 2626.0 sec.
user=kar_bon
[2011-12-08 09:48:42]
511*2^1048441-1 is not prime.  Res64: 09CAA3A58BBFDFD1  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 10:09:28]
525*2^1048441-1 is not prime.  Res64: FE4E1A414308BDBE  Time : 1246.0 sec.
user=vaughan
[2011-12-08 10:16:52]
517*2^1048441-1 is not prime.  Res64: E8BA4A8046411C68  Time : 2629.0 sec.
user=kar_bon
[2011-12-08 10:36:20]
531*2^1048441-1 is not prime.  Res64: 4214906E71043843  Time : 1611.0 sec.
user=vaughan
[2011-12-08 11:01:43]
565*2^1048441-1 is not prime.  Res64: 4A69E60858814159  Time : 2621.0 sec.
user=kar_bon
[2011-12-08 11:05:58]
407*2^1048442-1 is not prime.  Res64: B91B9BE3BE02C90A  Time : 1777.0 sec.
user=kar_bon
[2011-12-08 11:35:12]
537*2^1048442-1 is not prime.  Res64: 361C0626CA933472  Time : 1753.0 sec.
user=vaughan
[2011-12-08 11:45:28]
525*2^1048442-1 is not prime.  Res64: 33E2A0062F33FE1A  Time : 2625.0 sec.
user=kar_bon
[2011-12-08 12:04:03]
561*2^1048442-1 is not prime.  Res64: DE0EFFC8B35BD3C0  Time : 1730.0 sec.
user=vaughan
[2011-12-08 12:29:13]
573*2^1048442-1 is not prime.  Res64: 507AF1528409BE05  Time : 2625.0 sec.
user=kar_bon
[2011-12-08 12:32:06]
587*2^1048442-1 is not prime.  Res64: BCDDEAB9A1A62E06  Time : 1683.0 sec.
user=kar_bon
[2011-12-08 13:01:58]
541*2^1048443-1 is not prime.  Res64: B3EA0B03881CFB53  Time : 1792.0 sec.
user=vaughan
[2011-12-08 13:12:58]
501*2^1048443-1 is not prime.  Res64: 8485024022F5E108  Time : 2625.0 sec.
user=kar_bon
[2011-12-08 13:30:28]
423*2^1048444-1 is not prime.  Res64: EB4AAFA69C46AE50  Time : 1710.0 sec.
user=vaughan
[2011-12-08 13:56:55]
443*2^1048444-1 is not prime.  Res64: 386CC36EE2ECB385  Time : 2637.0 sec.
user=kar_bon
[2011-12-08 13:57:55]
465*2^1048444-1 is not prime.  Res64: 8C2A76288A758847  Time : 1646.0 sec.
user=kar_bon
[2011-12-08 14:25:34]
575*2^1048444-1 is not prime.  Res64: DD55AC6AA97A3913  Time : 1659.0 sec.
user=vaughan
[2011-12-08 14:42:15]
597*2^1048444-1 is not prime.  Res64: 23038E15A3B801E2  Time : 2616.0 sec.
user=kar_bon
[2011-12-08 14:54:27]
525*2^1048445-1 is not prime.  Res64: 7A506CC7B8BD163B  Time : 1732.0 sec.
user=vaughan
[2011-12-08 15:26:04]
411*2^1048446-1 is not prime.  Res64: C70AC6F3A994F35A  Time : 2629.0 sec.
user=kar_bon
[2011-12-08 15:28:53]
503*2^1048446-1 is not prime.  Res64: 242B52BDF1CD98AE  Time : 2065.0 sec.
user=kar_bon
[2011-12-08 15:58:12]
573*2^1048446-1 is not prime.  Res64: EC0AD5195A6ABBDA  Time : 1759.0 sec.
user=vaughan
[2011-12-08 16:10:53]
507*2^1048446-1 is not prime.  Res64: BFC1B49D7CA0BB17  Time : 2628.0 sec.
user=kar_bon
[2011-12-08 16:28:46]
429*2^1048447-1 is not prime.  Res64: 475A61D66452D7D4  Time : 1833.0 sec.
user=vaughan
[2011-12-08 16:55:44]
451*2^1048447-1 is not prime.  Res64: FEF7C213EE37D0D8  Time : 2620.0 sec.
user=kar_bon
[2011-12-08 16:59:34]
465*2^1048447-1 is not prime.  Res64: EA981E26FFDDA398  Time : 1847.0 sec.
user=kar_bon
[2011-12-08 17:27:33]
559*2^1048447-1 is not prime.  Res64: 5FFD89B21BBD9FD8  Time : 1678.0 sec.
user=vaughan
[2011-12-08 17:39:29]
531*2^1048447-1 is not prime.  Res64: BFCFB2324A3D43C2  Time : 2625.0 sec.
user=kar_bon
[2011-12-08 17:51:50]
405*2^1048448-1 is not prime.  Res64: 98A7B3A7B7821CA2  Time : 1456.0 sec.
user=kar_bon
[2011-12-08 18:14:49]
495*2^1048448-1 is not prime.  Res64: 9FE52FA819BBB322  Time : 1379.0 sec.
user=vaughan
[2011-12-08 18:23:23]
489*2^1048448-1 is not prime.  Res64: B5993C64D18832C5  Time : 2634.0 sec.
user=kar_bon
[2011-12-08 18:35:39]
503*2^1048448-1 is not prime.  Res64: 0E6FF9EDE85415CE  Time : 1249.0 sec.
user=kar_bon
[2011-12-08 18:56:26]
525*2^1048448-1 is not prime.  Res64: F28B62CAAC3E625E  Time : 1247.0 sec.
user=vaughan
[2011-12-08 19:08:12]
519*2^1048448-1 is not prime.  Res64: 5CA13C5F921A0D7C  Time : 2617.0 sec.
user=kar_bon
[2011-12-08 19:17:12]
573*2^1048448-1 is not prime.  Res64: 62FC26C9778CAF67  Time : 1246.0 sec.
user=kar_bon
[2011-12-08 19:38:00]
445*2^1048449-1 is not prime.  Res64: 4FBB173E8D565866  Time : 1248.0 sec.
user=vaughan
[2011-12-08 19:52:01]
599*2^1048448-1 is not prime.  Res64: 0463D247C2208D0F  Time : 2629.0 sec.
user=kar_bon
[2011-12-08 19:58:45]
499*2^1048449-1 is not prime.  Res64: 52629B7998178865  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 20:19:32]
413*2^1048450-1 is not prime.  Res64: 1417C6CD501F1B24  Time : 1247.0 sec.
user=vaughan
[2011-12-08 20:36:52]
507*2^1048449-1 is not prime.  Res64: 0FA8BC492A17AEF9  Time : 2620.0 sec.
user=kar_bon
[2011-12-08 20:40:21]
495*2^1048450-1 is not prime.  Res64: 300E1D6178992BA1  Time : 1249.0 sec.
user=kar_bon
[2011-12-08 21:01:07]
581*2^1048450-1 is not prime.  Res64: 6DC4D144CAA132A5  Time : 1245.0 sec.
user=vaughan
[2011-12-08 21:20:29]
575*2^1048450-1 is not prime.  Res64: 9AAB5FD13FCF8E59  Time : 2617.0 sec.
user=kar_bon
[2011-12-08 21:21:54]
409*2^1048451-1 is not prime.  Res64: 24690825CA046B8B  Time : 1247.0 sec.
user=kar_bon
[2011-12-08 21:42:42]
463*2^1048451-1 is not prime.  Res64: 9E80EFEC66B83EF6  Time : 1248.0 sec.
user=kar_bon
[2011-12-08 22:03:28]
465*2^1048451-1 is not prime.  Res64: 8B044222DF298866  Time : 1245.0 sec.
user=vaughan
[2011-12-08 22:04:19]
433*2^1048451-1 is not prime.  Res64: 7B36C5D525D0B3EE  Time : 2630.0 sec.
user=kar_bon
[2011-12-08 22:24:13]
489*2^1048451-1 is not prime.  Res64: 0077E4FB902655D8  Time : 1245.0 sec.
user=kar_bon
[2011-12-08 22:45:04]
485*2^1048452-1 is not prime.  Res64: 1EC98BD4F54CB084  Time : 1250.0 sec.
user=vaughan
[2011-12-08 22:49:18]
595*2^1048451-1 is not prime.  Res64: 4B06D5E36F8144C1  Time : 2629.0 sec.
user=kar_bon
[2011-12-08 23:05:51]
405*2^1048453-1 is not prime.  Res64: 5B703BD9796BCE27  Time : 1247.0 sec.
user=kar_bon
[2011-12-08 23:26:37]
541*2^1048453-1 is not prime.  Res64: BA206F464E227CEA  Time : 1246.0 sec.
user=vaughan
[2011-12-08 23:32:55]
495*2^1048453-1 is not prime.  Res64: A23D7FB212612B95  Time : 2617.0 sec.
user=kar_bon
[2011-12-08 23:47:29]
555*2^1048453-1 is not prime.  Res64: FC654903B1D8499F  Time : 1251.0 sec.