user=odicin
[2011-12-04 00:03:59]
421*2^1071289-1 is not prime.  Res64: 3C5D58B136324B30  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:05:11]
429*2^1071289-1 is not prime.  Res64: 1EA56F939BDC3D77  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:05:51]
457*2^1071289-1 is not prime.  Res64: 3A5692D2856920CE  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:11:55]
535*2^1071289-1 is not prime.  Res64: DF36A31EAAAB009B  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:11:57]
587*2^1071290-1 is not prime.  Res64: 3F63DF9CABF21B78  Time : 0.0 sec.
user=odicin
[2011-12-04 00:18:06]
525*2^1071289-1 is not prime.  Res64: ADEEC61B97A5798F  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:23:23]
415*2^1071291-1 is not prime.  Res64: B4D9E3811D488280  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:24:04]
445*2^1071291-1 is not prime.  Res64: 6FD3B97C97F29D46  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:30:07]
459*2^1071291-1 is not prime.  Res64: 8F527457A2DF1795  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:30:12]
483*2^1071291-1 is not prime.  Res64: 7F690049BE64D09F  Time : 0.0 sec.
user=odicin
[2011-12-04 00:30:28]
409*2^1071291-1 is not prime.  Res64: 083756A6301963D6  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:41:34]
447*2^1071292-1 is not prime.  Res64: 6ADAB11EDB062DD7  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:42:20]
549*2^1071292-1 is not prime.  Res64: 1F6F5A803CBB3242  Time : 0.0 sec.
user=odicin
[2011-12-04 00:44:24]
429*2^1071292-1 is not prime.  Res64: 978BBCDDC70949B0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:48:17]
569*2^1071292-1 is not prime.  Res64: 6E171C2559009340  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:48:23]
579*2^1071292-1 is not prime.  Res64: 602841D10377389D  Time : 0.0 sec.
user=odicin
[2011-12-04 00:56:48]
411*2^1071293-1 is not prime.  Res64: 056F7E7388F107A0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 00:59:44]
487*2^1071293-1 is not prime.  Res64: D6486FAAF631CD7C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:00:34]
529*2^1071293-1 is not prime.  Res64: 1014FFD0CE41187F  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:06:40]
401*2^1071294-1 is not prime.  Res64: 2962CC134CD2943B  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:06:44]
571*2^1071293-1 is not prime.  Res64: 776D028F90CA1F47  Time : 0.0 sec.
user=odicin
[2011-12-04 01:10:42]
565*2^1071293-1 is not prime.  Res64: 23075055F943E4D7  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:18:16]
503*2^1071294-1 is not prime.  Res64: B19E114F40E21C95  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:18:49]
527*2^1071294-1 is not prime.  Res64: 4F3F473317BDD797  Time : 0.0 sec.
user=odicin
[2011-12-04 01:23:06]
413*2^1071294-1 is not prime.  Res64: E8FB33333F326BC8  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:24:52]
411*2^1071295-1 is not prime.  Res64: 527C9D06CDADFBCC  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:24:56]
463*2^1071295-1 is not prime.  Res64: B918C6DDD1D12D7F  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:36:30]
453*2^1071296-1 is not prime.  Res64: F1D8B80149B24027  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:37:00]
465*2^1071296-1 is not prime.  Res64: 4876FCF285FA8CA3  Time : 0.0 sec.
user=odicin
[2011-12-04 01:37:01]
561*2^1071295-1 is not prime.  Res64: 678DA88E094F08EC  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:43:05]
427*2^1071297-1 is not prime.  Res64: 2D54FF9A4F9D62CB  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:43:05]
573*2^1071296-1 is not prime.  Res64: 219C4D6D399889AF  Time : 0.0 sec.
user=odicin
[2011-12-04 01:49:23]
539*2^1071296-1 is not prime.  Res64: CA677A0FA6882AFA  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:54:39]
471*2^1071297-1 is not prime.  Res64: E76A51F269E28A20  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 01:55:12]
501*2^1071297-1 is not prime.  Res64: 75837B1B569FF107  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:01:16]
537*2^1071297-1 is not prime.  Res64: 2FF0EEB9D43DB6D8  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:01:21]
425*2^1071298-1 is not prime.  Res64: ABB86C59AF0CB2CC  Time : 0.0 sec.
user=odicin
[2011-12-04 02:03:22]
475*2^1071297-1 is not prime.  Res64: 14E648D311DB9623  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:12:50]
513*2^1071298-1 is not prime.  Res64: C9218FDDBEA39F7C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:13:23]
525*2^1071298-1 is not prime.  Res64: A93E929CD0298DED  Time : 0.0 sec.
user=odicin
[2011-12-04 02:15:47]
497*2^1071298-1 is not prime.  Res64: 63A6394FA74F56C0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:19:31]
581*2^1071298-1 is not prime.  Res64: DB5918BEF9A72D26  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:19:33]
545*2^1071298-1 is not prime.  Res64: 5282DF37B4C0385C  Time : 0.0 sec.
user=odicin
[2011-12-04 02:29:45]
421*2^1071299-1 is not prime.  Res64: 6A96FFC4789C8018  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:31:06]
549*2^1071299-1 is not prime.  Res64: 5B0ACF4A5055995E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:31:38]
553*2^1071299-1 is not prime.  Res64: 050C8049618747E4  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:37:42]
483*2^1071300-1 is not prime.  Res64: 58A5446549FE9FBF  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:37:44]
537*2^1071300-1 is not prime.  Res64: D517BDF75EDE8DFE  Time : 0.0 sec.
user=odicin
[2011-12-04 02:42:07]
465*2^1071300-1 is not prime.  Res64: F382284B976C3485  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:49:18]
439*2^1071301-1 is not prime.  Res64: AEEBD0A1D25FBD60  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:49:51]
465*2^1071301-1 is not prime.  Res64: F6ABBA90CACBC58F  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:55:54]
477*2^1071301-1 is not prime.  Res64: 46465E8616E78F75  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 02:55:56]
511*2^1071301-1 is not prime.  Res64: 1CAF295CBB685808  Time : 0.0 sec.
user=odicin
[2011-12-04 02:56:09]
585*2^1071300-1 is not prime.  Res64: 6DD4BF7F822B574E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:07:30]
461*2^1071302-1 is not prime.  Res64: 4D581C74DD165C11  Time : 0.0 sec.
user=gd_barnes
[2011-12-04 03:07:34]
437*2^1071302-1 is not prime.  Res64: 5D484CDA0A95D110  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:08:02]
561*2^1071302-1 is not prime.  Res64: 58487C8A12AC4917  Time : 0.0 sec.
user=odicin
[2011-12-04 03:08:34]
423*2^1071302-1 is not prime.  Res64: 118D27868928F777  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:14:04]
459*2^1071303-1 is not prime.  Res64: B5BC675F4E1529DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:14:11]
541*2^1071303-1 is not prime.  Res64: 8A2CC3AA5212021F  Time : 0.0 sec.
user=odicin
[2011-12-04 03:22:23]
485*2^1071304-1 is not prime.  Res64: 384A82CEAF94C694  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:25:45]
421*2^1071305-1 is not prime.  Res64: 587A45115509220D  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:26:17]
445*2^1071305-1 is not prime.  Res64: 42A40E931E7F281E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:32:19]
561*2^1071305-1 is not prime.  Res64: 870D0C66463BEFF0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:32:27]
525*2^1071306-1 is not prime.  Res64: 28EC22728BD27D39  Time : 0.0 sec.
user=odicin
[2011-12-04 03:34:56]
469*2^1071305-1 is not prime.  Res64: C9C24B6A870D5F6B  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:43:55]
581*2^1071306-1 is not prime.  Res64: 20A3952EB0516AF0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:44:29]
421*2^1071307-1 is not prime.  Res64: 202F4ED1324D3CE3  Time : 0.0 sec.
user=odicin
[2011-12-04 03:48:40]
531*2^1071306-1 is not prime.  Res64: A1202183A1DA3452  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:50:32]
439*2^1071307-1 is not prime.  Res64: 09083CB2A613E497  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 03:50:39]
453*2^1071307-1 is not prime.  Res64: 27B9D4AF3D9F5112  Time : 0.0 sec.
user=odicin
[2011-12-04 04:01:16]
549*2^1071307-1 is not prime.  Res64: E99FB601D46D1DC0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:02:05]
583*2^1071307-1 is not prime.  Res64: 9861B3EF8FE31D4E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:02:44]
557*2^1071308-1 is not prime.  Res64: 708C2887568B44F6  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:08:43]
417*2^1071309-1 is not prime.  Res64: 4BF200F01C03A1D3  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:08:50]
457*2^1071309-1 is not prime.  Res64: 4A8A17FA8C786D6F  Time : 0.0 sec.
user=odicin
[2011-12-04 04:14:59]
573*2^1071308-1 is not prime.  Res64: A6D82DA60494DE63  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:20:14]
559*2^1071309-1 is not prime.  Res64: 872C42047FF5F10E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:20:57]
597*2^1071309-1 is not prime.  Res64: 7FC7C68A8941AD1B  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:26:58]
423*2^1071310-1 is not prime.  Res64: 0730C68D77A475A5  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:27:06]
425*2^1071310-1 is not prime.  Res64: 26288F6DC4F9603A  Time : 0.0 sec.
user=odicin
[2011-12-04 04:27:52]
459*2^1071309-1 is not prime.  Res64: 70A4146AE6CAFEF5  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:12]
425*2^1071276-1 is not prime.  Res64: 2DBECD702262A557  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:13]
465*2^1071276-1 is not prime.  Res64: 465983BB8B22C9C0  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:14]
485*2^1071276-1 is not prime.  Res64: 25D8E6F412F80D5F  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:15]
545*2^1071276-1 is not prime.  Res64: 855E5381F31F5BA5  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:16]
557*2^1071276-1 is not prime.  Res64: 609542DB070F62D7  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:17]
587*2^1071276-1 is not prime.  Res64: 9B0D34E5E81FF31E  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:18]
405*2^1071277-1 is not prime.  Res64: F90612B884BBF757  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:18]
595*2^1071277-1 is not prime.  Res64: 255190202987A742  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:19]
453*2^1071278-1 is not prime.  Res64: DF6B142180F78C71  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:20]
445*2^1071279-1 is not prime.  Res64: 99620791C9B1C9C8  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:20]
465*2^1071279-1 is not prime.  Res64: 619D3E16CE819E08  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:21]
481*2^1071279-1 is not prime.  Res64: CAF216972924F433  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:22]
489*2^1071279-1 is not prime.  Res64: 2B566221EE9544F7  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:23]
513*2^1071279-1 is not prime.  Res64: CD8FAB098E0BB747  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:24]
579*2^1071279-1 is not prime.  Res64: 2B56B960A9C140E9  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:25]
583*2^1071279-1 is not prime.  Res64: A48AD1C3EE0B364E  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:25]
405*2^1071280-1 is not prime.  Res64: A8B64D3C52BCB54C  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:26]
529*2^1071281-1 is not prime.  Res64: 8757713F56932C2B  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:28]
431*2^1071282-1 is not prime.  Res64: 73DB0833345B7698  Time : 0.0 sec.
user=juhehe
[2011-12-04 04:33:29]
543*2^1071282-1 is not prime.  Res64: 6F34DD8517E682D2  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:38:26]
587*2^1071310-1 is not prime.  Res64: 0FAF8C8BA7A97A04  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:39:11]
597*2^1071310-1 is not prime.  Res64: 7C48D336758A9B49  Time : 0.0 sec.
user=odicin
[2011-12-04 04:41:27]
465*2^1071310-1 is not prime.  Res64: 169F66C351303306  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:45:07]
525*2^1071311-1 is not prime.  Res64: 4F1E73D21A19CDE2  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:45:19]
579*2^1071311-1 is not prime.  Res64: 89EF14B3AC3BBE39  Time : 0.0 sec.
user=odicin
[2011-12-04 04:54:15]
585*2^1071311-1 is not prime.  Res64: 93A0CEC8BF6D06D0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:56:54]
435*2^1071323-1 is not prime.  Res64: F8AF221B9F04F5E4  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 04:57:26]
481*2^1071323-1 is not prime.  Res64: D054AB8DF4413E6C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:03:20]
545*2^1071324-1 is not prime.  Res64: F188B6371DE2DC35  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:03:39]
549*2^1071324-1 is not prime.  Res64: CFA83E64D6202CFE  Time : 0.0 sec.
user=odicin
[2011-12-04 05:07:52]
505*2^1071323-1 is not prime.  Res64: 9559BE2D98F0CFAA  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:15:10]
597*2^1071324-1 is not prime.  Res64: 87D4FE238381E382  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:15:46]
405*2^1071325-1 is not prime.  Res64: C5F0B7951A8F1BC4  Time : 0.0 sec.
user=odicin
[2011-12-04 05:20:43]
569*2^1071324-1 is not prime.  Res64: 5F13945E427976BF  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:21:38]
469*2^1071325-1 is not prime.  Res64: 046DA46FC68A0FAD  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:22:00]
519*2^1071325-1 is not prime.  Res64: CF79F5054A482162  Time : 0.0 sec.
user=gd_barnes
[2011-12-04 05:25:52]
411*2^1071325-1 is not prime.  Res64: 957A40662CF9EA8A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:33:54]
541*2^1071325-1 is not prime.  Res64: 18550960FD5A79AF  Time : 0.0 sec.
user=odicin
[2011-12-04 05:34:19]
531*2^1071325-1 is not prime.  Res64: 85CE59415969ADC0  Time : 0.0 sec.
user=gd_barnes
[2011-12-04 05:37:44]
589*2^1071325-1 is not prime.  Res64: 1C2D64F31BC82A09  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:40:03]
441*2^1071327-1 is not prime.  Res64: 6F8E16BBBA41CC62  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:40:06]
433*2^1071327-1 is not prime.  Res64: 32057FA2CF29F455  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:40:15]
437*2^1071328-1 is not prime.  Res64: 589FB110B1E7627A  Time : 0.0 sec.
user=gd_barnes
[2011-12-04 05:44:26]
527*2^1071328-1 is not prime.  Res64: BDBB5BBB7D8DEEC2  Time : 0.0 sec.
user=odicin
[2011-12-04 05:47:11]
407*2^1071326-1 is not prime.  Res64: 2865AA447AFAA5F5  Time : 0.0 sec.
user=gd_barnes
[2011-12-04 05:48:55]
533*2^1071328-1 is not prime.  Res64: FFDDF4C7F8F94D64  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:52:10]
563*2^1071328-1 is not prime.  Res64: AD85D7A645405C4C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:58:17]
597*2^1071328-1 is not prime.  Res64: 39E7512C46FEE146  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:58:17]
501*2^1071329-1 is not prime.  Res64: D3FF34C7E00A45F3  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 05:58:27]
525*2^1071329-1 is not prime.  Res64: 5A7BF83AAC4C4D40  Time : 0.0 sec.
user=odicin
[2011-12-04 06:00:39]
569*2^1071328-1 is not prime.  Res64: 7112DDBF59891641  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:10:20]
571*2^1071329-1 is not prime.  Res64: 9F89BCA8C224AD3E  Time : 0.0 sec.
user=odicin
[2011-12-04 06:13:34]
559*2^1071329-1 is not prime.  Res64: A797BD52F6FCE49D  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:16:31]
579*2^1071329-1 is not prime.  Res64: EA4D01D10407E009  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:16:32]
417*2^1071330-1 is not prime.  Res64: CBB448C55AE48E7A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:16:39]
527*2^1071330-1 is not prime.  Res64: 71C4265E60E3133F  Time : 0.0 sec.
user=odicin
[2011-12-04 06:27:00]
585*2^1071330-1 is not prime.  Res64: 42E123B651C49E8C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:28:35]
411*2^1071331-1 is not prime.  Res64: 30BD62FB7F4BF8F2  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:34:42]
483*2^1071332-1 is not prime.  Res64: 595AE7EA1AEE6A2C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:34:42]
573*2^1071331-1 is not prime.  Res64: B4B6EEC638C5029A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:34:49]
451*2^1071333-1 is not prime.  Res64: 0F2C6B73CCEBA3D1  Time : 0.0 sec.
user=odicin
[2011-12-04 06:39:51]
441*2^1071331-1 is not prime.  Res64: 16AF43CA60DB2EF6  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:46:49]
591*2^1071333-1 is not prime.  Res64: FDFCAA460F3CBDF2  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:52:52]
443*2^1071334-1 is not prime.  Res64: 1D8C5C01D060C3E7  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:52:57]
423*2^1071334-1 is not prime.  Res64: 7F8D247E67F2C163  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 06:53:04]
455*2^1071334-1 is not prime.  Res64: DBB21EFAE715134F  Time : 0.0 sec.
user=odicin
[2011-12-04 06:53:18]
471*2^1071333-1 is not prime.  Res64: 4E61C5EF7F32E237  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:05:01]
533*2^1071334-1 is not prime.  Res64: 160DD0615C32E812  Time : 0.0 sec.
user=odicin
[2011-12-04 07:06:14]
495*2^1071334-1 is not prime.  Res64: E59146CB6D004B15  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:11:03]
561*2^1071334-1 is not prime.  Res64: 9577E3020015A9E0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:11:07]
575*2^1071334-1 is not prime.  Res64: 53D830D3438ACFEF  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:11:15]
543*2^1071335-1 is not prime.  Res64: 8765C918E8936784  Time : 0.0 sec.
user=odicin
[2011-12-04 07:19:41]
479*2^1071336-1 is not prime.  Res64: 1982DB623B361E56  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:23:23]
405*2^1071337-1 is not prime.  Res64: B367A666095EC608  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:29:25]
441*2^1071337-1 is not prime.  Res64: 184B5764A019EC93  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:29:30]
511*2^1071337-1 is not prime.  Res64: 84AE064533997723  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:29:33]
447*2^1071337-1 is not prime.  Res64: 31D167CA367D96D5  Time : 0.0 sec.
user=odicin
[2011-12-04 07:32:39]
429*2^1071337-1 is not prime.  Res64: E77CF243FE3A12E6  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:41:34]
423*2^1071338-1 is not prime.  Res64: FF0AD6D256F8B996  Time : 0.0 sec.
user=odicin
[2011-12-04 07:46:08]
589*2^1071337-1 is not prime.  Res64: B06876F7C605E0EC  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:47:40]
545*2^1071338-1 is not prime.  Res64: EC7D79D669659208  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:47:43]
447*2^1071338-1 is not prime.  Res64: 5F52558C5D6F2807  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:47:47]
563*2^1071338-1 is not prime.  Res64: DE906FAB9DC88DA8  Time : 0.0 sec.
user=odicin
[2011-12-04 07:58:55]
469*2^1071339-1 is not prime.  Res64: F119AEC3B68BCD81  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 07:59:42]
471*2^1071339-1 is not prime.  Res64: 1B02739F2B2F2B6C  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:05:50]
529*2^1071341-1 is not prime.  Res64: 219C4E7DB8F7928A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:05:56]
547*2^1071341-1 is not prime.  Res64: F78797F5AA8B17F1  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:05:59]
559*2^1071341-1 is not prime.  Res64: 133A0F95AF11793A  Time : 0.0 sec.
user=odicin
[2011-12-04 08:12:24]
553*2^1071339-1 is not prime.  Res64: 54CDBE1AAB4A2311  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:17:57]
421*2^1071343-1 is not prime.  Res64: F0B10A156849B243  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:24:07]
559*2^1071343-1 is not prime.  Res64: A276EDABD7FEB90F  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:24:08]
439*2^1071343-1 is not prime.  Res64: 96F381EAE07FDA73  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:24:14]
595*2^1071343-1 is not prime.  Res64: ED0AA6AA89D74B98  Time : 0.0 sec.
user=odicin
[2011-12-04 08:25:14]
521*2^1071342-1 is not prime.  Res64: F9AD947326BE9E69  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:36:07]
469*2^1071345-1 is not prime.  Res64: 91B09CE0B1F7157B  Time : 0.0 sec.
user=odicin
[2011-12-04 08:38:45]
519*2^1071344-1 is not prime.  Res64: 58560300B61E32FB  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:42:21]
595*2^1071345-1 is not prime.  Res64: B2DC36E9D93A0A72  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:42:22]
565*2^1071345-1 is not prime.  Res64: 265C302591722D9A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:42:27]
465*2^1071346-1 is not prime.  Res64: 9C670471ECBE602F  Time : 0.0 sec.
user=odicin
[2011-12-04 08:51:31]
497*2^1071346-1 is not prime.  Res64: 7AD9F64BAC6B46F0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 08:54:19]
521*2^1071346-1 is not prime.  Res64: 71175AF09167F7D0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:00:30]
463*2^1071347-1 is not prime.  Res64: B244FC95E009EE16  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:00:34]
501*2^1071347-1 is not prime.  Res64: AFBA74A580753396  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:00:38]
549*2^1071347-1 is not prime.  Res64: 0A1C113649E3BFD3  Time : 0.0 sec.
user=odicin
[2011-12-04 09:05:08]
581*2^1071346-1 is not prime.  Res64: B31764F4CF56ADC8  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:12:32]
595*2^1071347-1 is not prime.  Res64: 684075F092963F72  Time : 0.0 sec.
user=odicin
[2011-12-04 09:17:54]
553*2^1071347-1 is not prime.  Res64: E78154AC17B76414  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:18:46]
405*2^1071348-1 is not prime.  Res64: E2F515FA62965280  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:18:47]
585*2^1071348-1 is not prime.  Res64: A7A7C0CC2DD4D932  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:19:04]
505*2^1071349-1 is not prime.  Res64: 90EC27DB48629F8B  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:30:44]
561*2^1071350-1 is not prime.  Res64: 41159314A055E33D  Time : 0.0 sec.
user=odicin
[2011-12-04 09:31:29]
533*2^1071350-1 is not prime.  Res64: EC75D3DD1A03B54F  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:36:57]
419*2^1071352-1 is not prime.  Res64: 3ABCCAAF53E30588  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:36:58]
489*2^1071352-1 is not prime.  Res64: 52E9DDC6B768D99E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:37:15]
533*2^1071352-1 is not prime.  Res64: 7BC0222DA4165D45  Time : 0.0 sec.
user=odicin
[2011-12-04 09:44:11]
405*2^1071351-1 is not prime.  Res64: 7F9C9C2DAC89EA95  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:48:54]
569*2^1071352-1 is not prime.  Res64: CE07679ED1D2E5A3  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:55:09]
475*2^1071353-1 is not prime.  Res64: 1EAB1D72BF4F6A63  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:55:11]
589*2^1071353-1 is not prime.  Res64: 1253A48F1926A2A5  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 09:55:29]
513*2^1071354-1 is not prime.  Res64: 021BDD3C03446603  Time : 0.0 sec.
user=odicin
[2011-12-04 09:57:50]
573*2^1071352-1 is not prime.  Res64: 9B43B8035CBDD7DA  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:07:07]
595*2^1071355-1 is not prime.  Res64: 18F196221A8BEC4C  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:17]
427*2^1071313-1 is not prime.  Res64: 34D36B4C9C3491AA  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:19]
497*2^1071314-1 is not prime.  Res64: 2BDD607378565D24  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:21]
409*2^1071315-1 is not prime.  Res64: 05EBE02287677D8F  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:22]
415*2^1071315-1 is not prime.  Res64: E4D8B9321CB91F52  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:23]
471*2^1071315-1 is not prime.  Res64: 70BF621BD4ED99C1  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:23]
495*2^1071315-1 is not prime.  Res64: 7514E427F6BBAA33  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:23]
513*2^1071315-1 is not prime.  Res64: BE6C8069B25A22F5  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:24]
413*2^1071316-1 is not prime.  Res64: AE1D9DF751C14F66  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:24]
437*2^1071316-1 is not prime.  Res64: F9B7F635A3437B8F  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:24]
485*2^1071316-1 is not prime.  Res64: 1868178A0D894910  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:25]
495*2^1071316-1 is not prime.  Res64: E521835B456E8576  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:25]
569*2^1071316-1 is not prime.  Res64: 2A3E963A6F3EC39A  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:25]
417*2^1071318-1 is not prime.  Res64: 89E916DB99361A71  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:26]
483*2^1071318-1 is not prime.  Res64: 56873FDFEA4A6A1D  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:28]
513*2^1071318-1 is not prime.  Res64: D5759527A940F5F5  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:28]
533*2^1071320-1 is not prime.  Res64: 4820215D7DC7095D  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:28]
557*2^1071320-1 is not prime.  Res64: B2BF7C0E9190580D  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:29]
409*2^1071321-1 is not prime.  Res64: 8B0B388DF7E7EC69  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:29]
555*2^1071321-1 is not prime.  Res64: 76738EE8BD614D19  Time : 0.0 sec.
user=juhehe
[2011-12-04 10:07:29]
453*2^1071322-1 is not prime.  Res64: C0FFB1C8AF2AA3A0  Time : 0.0 sec.
user=odicin
[2011-12-04 10:10:48]
499*2^1071355-1 is not prime.  Res64: B69F8B868451B8BE  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:13:20]
417*2^1071356-1 is not prime.  Res64: 556F18617477D657  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:13:23]
437*2^1071356-1 is not prime.  Res64: D8581940EE00B6C0  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:13:40]
455*2^1071356-1 is not prime.  Res64: F0725CFDD1771C5D  Time : 0.0 sec.
user=odicin
[2011-12-04 10:24:07]
483*2^1071356-1 is not prime.  Res64: 6CB6903B7E5180DB  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:25:20]
439*2^1071357-1 is not prime.  Res64: 077F4C543911E43A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:31:34]
445*2^1071363-1 is not prime.  Res64: 55F2C1BC33F9EA90  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:31:37]
451*2^1071363-1 is not prime.  Res64: 67A983092ADBEE66  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:31:55]
573*2^1071363-1 is not prime.  Res64: CEF1C2FF00353FAA  Time : 0.0 sec.
user=odicin
[2011-12-04 10:37:12]
439*2^1071363-1 is not prime.  Res64: 5E4C1C09317C26A4  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:43:30]
495*2^1071364-1 is not prime.  Res64: 71E50B68FDA0F562  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:49:48]
569*2^1071364-1 is not prime.  Res64: 08B04A6B8AC7021A  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:49:48]
579*2^1071364-1 is not prime.  Res64: 610AAE520AD0C630  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 10:50:09]
481*2^1071365-1 is not prime.  Res64: B8A51411F35CA0E8  Time : 0.0 sec.
user=odicin
[2011-12-04 10:50:30]
437*2^1071364-1 is not prime.  Res64: 00090256D6E27AFD  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:01:43]
561*2^1071365-1 is not prime.  Res64: 798E374B05AA374C  Time : 0.0 sec.
user=odicin
[2011-12-04 11:03:34]
525*2^1071365-1 is not prime.  Res64: B5150A3E4A71769D  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:08:05]
589*2^1071365-1 is not prime.  Res64: 367EBC946574C40E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:08:06]
557*2^1071366-1 is not prime.  Res64: D003C38208C04CE1  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:08:24]
421*2^1071367-1 is not prime.  Res64: F44C33BE68E336C8  Time : 0.0 sec.
user=odicin
[2011-12-04 11:16:49]
561*2^1071367-1 is not prime.  Res64: 56A076F36F167AA4  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:20:06]
589*2^1071367-1 is not prime.  Res64: D5D0D5CA36B4E0AC  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:26:23]
423*2^1071368-1 is not prime.  Res64: F78F150DC5F3A047  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:26:28]
519*2^1071368-1 is not prime.  Res64: 12FB0DFDF22B2E06  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:26:42]
557*2^1071368-1 is not prime.  Res64: 6128AA4EB4BC7F2D  Time : 0.0 sec.
user=odicin
[2011-12-04 11:29:55]
413*2^1071368-1 is not prime.  Res64: 7FF5AE8C51CBE9DE  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:38:26]
537*2^1071369-1 is not prime.  Res64: 0C5DEBFD663772C2  Time : 0.0 sec.
user=odicin
[2011-12-04 11:43:12]
415*2^1071369-1 is not prime.  Res64: FA84BE5DCE93E4A6  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:44:42]
401*2^1071370-1 is not prime.  Res64: DF9E519DC578D950  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:44:50]
425*2^1071370-1 is not prime.  Res64: 0F90164688D055A5  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:44:59]
483*2^1071370-1 is not prime.  Res64: 2A26D6227C4D0771  Time : 0.0 sec.
user=odicin
[2011-12-04 11:56:15]
525*2^1071370-1 is not prime.  Res64: D18D0E7B4786D620  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 11:56:46]
533*2^1071370-1 is not prime.  Res64: E9C01FDC0FEA0311  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:02:59]
585*2^1071371-1 is not prime.  Res64: 89D81ED0BBC68B66  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:03:09]
483*2^1071372-1 is not prime.  Res64: 79DBDF455D77C9A5  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:03:18]
503*2^1071372-1 is not prime.  Res64: 6B95E61C82E95F0C  Time : 0.0 sec.
user=odicin
[2011-12-04 12:09:31]
567*2^1071370-1 is not prime.  Res64: 3863156A47A9CDCF  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:15:01]
585*2^1071374-1 is not prime.  Res64: D9736B46C32DAAE1  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:21:22]
405*2^1071375-1 is not prime.  Res64: 130577EE0A761BA6  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:21:30]
535*2^1071375-1 is not prime.  Res64: A9F3749BE609E6B5  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:21:39]
595*2^1071375-1 is not prime.  Res64: EEBAC9B2543B161D  Time : 0.0 sec.
user=odicin
[2011-12-04 12:22:38]
495*2^1071374-1 is not prime.  Res64: C67F254A6E672C46  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:33:25]
589*2^1071377-1 is not prime.  Res64: 0562CF8FC0D6611E  Time : 0.0 sec.
user=odicin
[2011-12-04 12:35:54]
429*2^1071376-1 is not prime.  Res64: 0C5037ED5A3DEC11  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:39:39]
471*2^1071378-1 is not prime.  Res64: 75188858F0F435E8  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:39:49]
473*2^1071378-1 is not prime.  Res64: A592F41C44C65E47  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:39:55]
563*2^1071378-1 is not prime.  Res64: 65C3F9508E68F0D7  Time : 0.0 sec.
user=odicin
[2011-12-04 12:49:05]
481*2^1071379-1 is not prime.  Res64: 7731ABED6522AB1D  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:51:43]
503*2^1071380-1 is not prime.  Res64: 0B35A44C0CA093B5  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:57:57]
531*2^1071381-1 is not prime.  Res64: 94431A9B27237DAC  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:58:08]
435*2^1071382-1 is not prime.  Res64: 0C614BB3967FC206  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 12:58:15]
477*2^1071382-1 is not prime.  Res64: F45C6176D9C02EA0  Time : 0.0 sec.
user=odicin
[2011-12-04 13:02:22]
585*2^1071380-1 is not prime.  Res64: 7DEB31C7A2F90B79  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:10:04]
513*2^1071382-1 is not prime.  Res64: 42ABF88B8DEEAAF9  Time : 0.0 sec.
user=odicin
[2011-12-04 13:15:28]
491*2^1071382-1 is not prime.  Res64: BF404084D203DEBD  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:16:16]
545*2^1071382-1 is not prime.  Res64: 1C3D85469C81F3E8  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:16:25]
451*2^1071383-1 is not prime.  Res64: 038F3AD804B1065E  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:16:32]
511*2^1071383-1 is not prime.  Res64: 61EDE99AF72BDA03  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:28:26]
555*2^1071384-1 is not prime.  Res64: C2CE1C9274C2D522  Time : 0.0 sec.
user=odicin
[2011-12-04 13:28:42]
523*2^1071383-1 is not prime.  Res64: 1ED9A2ECF2B1E2D4  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:34:35]
405*2^1071385-1 is not prime.  Res64: B330A46D8C487A43  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:34:43]
421*2^1071385-1 is not prime.  Res64: 1DA8207472C6F6A1  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:34:54]
441*2^1071385-1 is not prime.  Res64: 6159943ECE819F8C  Time : 0.0 sec.
user=odicin
[2011-12-04 13:41:54]
569*2^1071384-1 is not prime.  Res64: BC0F36C8791A6E39  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:46:48]
489*2^1071385-1 is not prime.  Res64: 93B6EF919D0FAE37  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:52:52]
565*2^1071385-1 is not prime.  Res64: 67CDEE999F23D443  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:52:59]
595*2^1071385-1 is not prime.  Res64: D26F50183D25D854  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 13:53:15]
521*2^1071386-1 is not prime.  Res64: 3CBD5BCF3801EB8B  Time : 0.0 sec.
user=odicin
[2011-12-04 13:55:03]
541*2^1071385-1 is not prime.  Res64: 091ADEAE5C227623  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 14:05:07]
567*2^1071386-1 is not prime.  Res64: 9548AF9528F87ACB  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:38]
531*2^1071357-1 is not prime.  Res64: 9E947030DD68A873  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:39]
555*2^1071357-1 is not prime.  Res64: 13CD069A01C247DE  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:39]
405*2^1071358-1 is not prime.  Res64: 1AFD6DDF24F2CF5C  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:40]
421*2^1071359-1 is not prime.  Res64: 7B0C596E6B3F17A4  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:40]
441*2^1071359-1 is not prime.  Res64: CA5B20DEB73B1C57  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:41]
465*2^1071359-1 is not prime.  Res64: D1C32FADC6E836C3  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:41]
501*2^1071359-1 is not prime.  Res64: 12D02B9D46DCAE1B  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:42]
565*2^1071359-1 is not prime.  Res64: 754DFCE0FC8BC1A7  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:42]
595*2^1071359-1 is not prime.  Res64: 9D092FF8D096EB10  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:42]
405*2^1071360-1 is not prime.  Res64: 722D3DEB7E9221DB  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:43]
413*2^1071360-1 is not prime.  Res64: 97AD43B732672EDE  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:43]
447*2^1071360-1 is not prime.  Res64: 1C3184AC60746BF5  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:44]
479*2^1071360-1 is not prime.  Res64: E3082DFEBE03D64A  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:44]
563*2^1071360-1 is not prime.  Res64: A36E559E49BBBFD3  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:45]
465*2^1071361-1 is not prime.  Res64: BE09B18C826785C9  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:45]
505*2^1071361-1 is not prime.  Res64: EE6DB797FE1C1035  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:45]
531*2^1071361-1 is not prime.  Res64: FDFB3B826E8C865E  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:46]
597*2^1071361-1 is not prime.  Res64: F1C8DEFA0588F43A  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:46]
447*2^1071362-1 is not prime.  Res64: 2F64C2B3727F4537  Time : 0.0 sec.
user=juhehe
[2011-12-04 23:27:47]
545*2^1071362-1 is not prime.  Res64: B4905E2469A281AD  Time : 0.0 sec.
user=odicin
[2011-12-04 23:28:49]
561*2^1071386-1 is not prime.  Res64: BC4278CBC6BA48E9  Time : 0.0 sec.
user=gd_barnes
[2011-12-04 23:34:34]
533*2^1071388-1 is not prime.  Res64: 035DEB76557DC4DC  Time : 0.0 sec.
user=odicin
[2011-12-04 23:40:59]
449*2^1071388-1 is not prime.  Res64: C1E56FFC54108F39  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 23:41:42]
445*2^1071387-1 is not prime.  Res64: 87097130BBEEBD0D  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 23:48:35]
437*2^1071388-1 is not prime.  Res64: 83F5E36F455E8EEF  Time : 0.0 sec.
user=odicin
[2011-12-04 23:54:27]
425*2^1071394-1 is not prime.  Res64: 19DF472FFBAAD450  Time : 0.0 sec.
user=mdettweiler
[2011-12-04 23:55:18]
495*2^1071388-1 is not prime.  Res64: 8F903A55A56398AB  Time : 0.0 sec.
user=mdettweiler
[2011-12-05 00:00:25]
491*2^1071394-1 is not prime.  Res64: D1C1C1E5D4999EE0  Time : 0.0 sec.