user=Sloth
[2010-06-26 05:22:17]
513*2^825154-1 is not prime.  Res64: E8C98A6AC93043E8  Time : 0.0 sec.
user=Sloth
[2010-06-26 05:45:03]
459*2^825155-1 is not prime.  Res64: B0A10CA13F1873C2  Time : 0.0 sec.
user=Sloth
[2010-06-26 06:07:44]
447*2^825124-1 is not prime.  Res64: CF99A0498ED4C1B9  Time : 0.0 sec.
user=Sloth
[2010-06-26 06:12:10]
401*2^825154-1 is not prime.  Res64: 4B80F18FB7EE3DEE  Time : 0.0 sec.
user=Sloth
[2010-06-26 06:12:11]
447*2^825154-1 is not prime.  Res64: DD4B121F72D68851  Time : 0.0 sec.
user=Sloth
[2010-06-26 06:12:11]
477*2^825154-1 is not prime.  Res64: 214B4692B074A23E  Time : 0.0 sec.
user=Sloth
[2010-06-26 06:30:26]
453*2^825124-1 is not prime.  Res64: 69F4CF877E8D9939  Time : 0.0 sec.
user=Sloth
[2010-06-26 06:53:09]
469*2^825125-1 is not prime.  Res64: 1A9CDCCC3C3EC412  Time : 0.0 sec.
user=Sloth
[2010-06-26 07:15:52]
487*2^825125-1 is not prime.  Res64: 900566E39B785CA1  Time : 0.0 sec.
user=Sloth
[2010-06-26 07:29:41]
549*2^825124-1 is not prime.  Res64: 3C50F508F1684984  Time : 0.0 sec.
user=Sloth
[2010-06-26 07:29:42]
569*2^825124-1 is not prime.  Res64: 471068B1065AD2AC  Time : 0.0 sec.
user=Sloth
[2010-06-26 07:29:42]
597*2^825124-1 is not prime.  Res64: A5455DB9BB255573  Time : 0.0 sec.
user=Sloth
[2010-06-26 07:38:38]
567*2^825125-1 is not prime.  Res64: 3128FDD432A5835C  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:01:22]
507*2^825126-1 is not prime.  Res64: FCABF3307979DCC4  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:18:14]
587*2^825126-1 is not prime.  Res64: EF97BBA87C2DCDF8  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:24:05]
421*2^825127-1 is not prime.  Res64: FA0DB9A3C37579C7  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:37:07]
499*2^825127-1 is not prime.  Res64: F7BEB778908F4885  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:46:48]
425*2^825128-1 is not prime.  Res64: 965DB32CD0BFBF47  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:47:52]
443*2^825126-1 is not prime.  Res64: AB1BD058F3BA3040  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:47:52]
465*2^825126-1 is not prime.  Res64: 682E7FFE28BC68F6  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:47:53]
473*2^825126-1 is not prime.  Res64: F4BDACFEE59F773D  Time : 0.0 sec.
user=Sloth
[2010-06-26 08:55:39]
599*2^825128-1 is not prime.  Res64: 418D3F892DC9E692  Time : 0.0 sec.
user=Sloth
[2010-06-26 09:09:30]
415*2^825129-1 is not prime.  Res64: 3291560C42DF0672  Time : 0.0 sec.
user=Sloth
[2010-06-26 09:14:12]
405*2^825156-1 is not prime.  Res64: 387E6F700AF58410  Time : 0.0 sec.
user=henryzz
[2010-06-26 09:19:47]
593*2^825146-1 is not prime.  Res64: 23458D96F3CF51CE  Time : 0.0 sec.
user=henryzz
[2010-06-26 09:21:25]
469*2^825147-1 is not prime.  Res64: 7FE53180E4876EB4  Time : 0.0 sec.
user=Sloth
[2010-06-26 09:32:16]
425*2^825156-1 is not prime.  Res64: 93880B3F99B94242  Time : 0.0 sec.
user=Sloth
[2010-06-26 09:32:42]
483*2^825156-1 is not prime.  Res64: 4F35C7B2B3DB526A  Time : 0.0 sec.
user=Sloth
[2010-06-26 09:51:33]
579*2^825156-1 is not prime.  Res64: 318888A81CE092DB  Time : 0.0 sec.
user=Sloth
[2010-06-26 09:54:58]
537*2^825156-1 is not prime.  Res64: A30571C5E7035D41  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:05:26]
465*2^825155-1 is not prime.  Res64: 3D71D2C77AC13549  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:05:26]
511*2^825155-1 is not prime.  Res64: 126A6EBA1F8826C8  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:05:27]
585*2^825155-1 is not prime.  Res64: 02264246870E6951  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:10:28]
597*2^825156-1 is not prime.  Res64: 717DAC9746BEF68E  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:17:44]
421*2^825157-1 is not prime.  Res64: 4B4EB162315168B1  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:17:47]
471*2^825157-1 is not prime.  Res64: 08F59F3FBB92FFF4  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:19:11]
507*2^825157-1 is not prime.  Res64: F145BD64C108FB55  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:20:25]
405*2^825158-1 is not prime.  Res64: 83664FA9F78430FF  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:21:11]
417*2^825158-1 is not prime.  Res64: 8C6DB18A112C066C  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:29:18]
429*2^825160-1 is not prime.  Res64: 4566023894783081  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:36:25]
539*2^825160-1 is not prime.  Res64: 7EDF397A4400DF6C  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:37:34]
597*2^825160-1 is not prime.  Res64: 0DF2E2BA06AA2A1C  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:38:38]
525*2^825161-1 is not prime.  Res64: 396F8CB46058E1DC  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:39:23]
547*2^825161-1 is not prime.  Res64: C18E6B46DB258879  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:40:30]
447*2^825160-1 is not prime.  Res64: 5FBA680729458C83  Time : 0.0 sec.
user=Sloth
[2010-06-26 10:48:05]
571*2^825161-1 is not prime.  Res64: B965C0473EAAC44B  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:54:17]
401*2^825162-1 is not prime.  Res64: C0BA45D600F49DA9  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:56:41]
437*2^825162-1 is not prime.  Res64: E3A237F1F4BB869D  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:57:04]
551*2^825162-1 is not prime.  Res64: AF7AA4F5EFF2030D  Time : 0.0 sec.
user=henryzz
[2010-06-26 10:57:59]
587*2^825162-1 is not prime.  Res64: F1BFC5BAC4C90726  Time : 0.0 sec.
user=Sloth
[2010-06-26 11:03:16]
415*2^825163-1 is not prime.  Res64: 2D35C65D94F7E161  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:13:13]
429*2^825163-1 is not prime.  Res64: DF2EE294592E7D3C  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:15:52]
463*2^825163-1 is not prime.  Res64: 50635EB02F0C8E0E  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:16:11]
561*2^825163-1 is not prime.  Res64: F92787552DA8AA1C  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:17:27]
573*2^825163-1 is not prime.  Res64: 2554B6A82AE9C1ED  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:34:22]
595*2^825163-1 is not prime.  Res64: 0C83AE8FE2E3841E  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:36:01]
539*2^825164-1 is not prime.  Res64: 1AEAE5E424F0D39F  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:36:59]
423*2^825164-1 is not prime.  Res64: 65F628FC8AE8CC22  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:37:09]
425*2^825164-1 is not prime.  Res64: DEBED259B6E1237C  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:53:33]
465*2^825165-1 is not prime.  Res64: DF56042838138BC6  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:56:15]
425*2^825166-1 is not prime.  Res64: 1ECD58058AD4A6B1  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:56:28]
577*2^825165-1 is not prime.  Res64: 4CC47BAC4E57346F  Time : 0.0 sec.
user=henryzz
[2010-06-26 11:57:32]
477*2^825166-1 is not prime.  Res64: 998E1EAF9BF1399D  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:13:58]
561*2^825166-1 is not prime.  Res64: 270622409E9D8389  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:15:07]
463*2^825167-1 is not prime.  Res64: 2B8CCE8CACE02863  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:15:33]
453*2^825167-1 is not prime.  Res64: 5E34F8A1F5F3CEA2  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:16:12]
523*2^825167-1 is not prime.  Res64: 7A834AE9048D4824  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:35:20]
559*2^825167-1 is not prime.  Res64: FABEC62B740C7F77  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:35:38]
549*2^825167-1 is not prime.  Res64: 3AD5999DC765358D  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:36:53]
465*2^825168-1 is not prime.  Res64: D194D1358D0DF9B0  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:36:56]
549*2^825168-1 is not prime.  Res64: 97870A0F7AFEAEF8  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:55:17]
447*2^825169-1 is not prime.  Res64: BEED21D94D8051B6  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:56:56]
567*2^825168-1 is not prime.  Res64: 83F9F6EEC3520EE4  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:57:16]
545*2^825170-1 is not prime.  Res64: 4CBA8BD37A0D93E5  Time : 0.0 sec.
user=henryzz
[2010-06-26 12:57:42]
511*2^825169-1 is not prime.  Res64: 6B8FDCCAC525B10A  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:18:35]
587*2^825170-1 is not prime.  Res64: C9E5063E608A0760  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:19:44]
423*2^825172-1 is not prime.  Res64: 546B34167B747CAE  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:21:41]
529*2^825171-1 is not prime.  Res64: 72EFFA3374713F35  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:21:59]
411*2^825171-1 is not prime.  Res64: 297F5649964D3772  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:40:42]
507*2^825173-1 is not prime.  Res64: C7425EE242012395  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:41:45]
437*2^825172-1 is not prime.  Res64: 81A75F0F83E32BA8  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:43:30]
517*2^825173-1 is not prime.  Res64: A6F9B7F607CB85B3  Time : 0.0 sec.
user=henryzz
[2010-06-26 13:44:06]
567*2^825173-1 is not prime.  Res64: 5124FF83C15188DE  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:00:33]
577*2^825173-1 is not prime.  Res64: B2BE962FE8DD1A04  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:00:49]
417*2^825174-1 is not prime.  Res64: 8243B0ECFBFF0109  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:04:14]
485*2^825174-1 is not prime.  Res64: 9083A735E2649D6D  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:04:46]
453*2^825174-1 is not prime.  Res64: E1CB1B2294928D01  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:22:41]
453*2^825175-1 is not prime.  Res64: 7AD36BB20B442516  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:22:58]
555*2^825174-1 is not prime.  Res64: 9D651BEE8F06C341  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:24:35]
511*2^825175-1 is not prime.  Res64: 981802127B81239C  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:26:29]
481*2^825175-1 is not prime.  Res64: C52E800CA327C0F0  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:42:48]
535*2^825175-1 is not prime.  Res64: 9C4B549A9B78296B  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:43:07]
525*2^825175-1 is not prime.  Res64: D013930A6EBCC668  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:44:55]
447*2^825176-1 is not prime.  Res64: DB23F8DBC0F3838B  Time : 0.0 sec.
user=henryzz
[2010-06-26 14:46:22]
449*2^825176-1 is not prime.  Res64: 17482FF5B73356E8  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:03:54]
503*2^825176-1 is not prime.  Res64: FBD1EAD0F7EE97A0  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:05:46]
539*2^825176-1 is not prime.  Res64: A8269E9D2F7438CE  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:06:11]
509*2^825176-1 is not prime.  Res64: EEC6B39CD0AB4695  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:08:39]
585*2^825176-1 is not prime.  Res64: B2FAE4AAFF2AA9A1  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:25:19]
565*2^825177-1 is not prime.  Res64: F32E17FC3B2131D1  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:25:22]
427*2^825177-1 is not prime.  Res64: 225D131CEF7C98C1  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:26:25]
441*2^825177-1 is not prime.  Res64: 14356530E94BDDFF  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:30:00]
401*2^825178-1 is not prime.  Res64: 2DB3229753C21F46  Time : 0.0 sec.
user=Vato
[2010-06-26 15:35:54]
461*2^825178-1 is not prime.  Res64: 14063EE4763B081B  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:45:19]
497*2^825178-1 is not prime.  Res64: 39F2398B8BC53F12  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:45:35]
403*2^825179-1 is not prime.  Res64: 0396ED707432421A  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:46:14]
501*2^825179-1 is not prime.  Res64: DD767716CA26DE7A  Time : 0.0 sec.
user=henryzz
[2010-06-26 15:47:41]
405*2^825180-1 is not prime.  Res64: DD652CD1E8B3890C  Time : 0.0 sec.
user=Vato
[2010-06-26 15:55:38]
503*2^825180-1 is not prime.  Res64: AB222C832B2C8BDD  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:04:17]
515*2^825180-1 is not prime.  Res64: 4FF9D7D0AD3BA3CD  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:07:02]
539*2^825180-1 is not prime.  Res64: EE63C178CCC9200E  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:07:15]
525*2^825180-1 is not prime.  Res64: 73D54C81399FA305  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:10:29]
593*2^825180-1 is not prime.  Res64: BCCDD2FDFB318300  Time : 0.0 sec.
user=Vato
[2010-06-26 16:15:37]
427*2^825181-1 is not prime.  Res64: F2D76E2CDDC5D985  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:24:12]
441*2^825181-1 is not prime.  Res64: 04E9FEF3C049C433  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:27:34]
541*2^825181-1 is not prime.  Res64: E779E59FB2957E4B  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:29:22]
469*2^825181-1 is not prime.  Res64: A7970948F82AA805  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:31:51]
555*2^825181-1 is not prime.  Res64: DCAE6BB881031404  Time : 0.0 sec.
user=Vato
[2010-06-26 16:35:24]
417*2^825182-1 is not prime.  Res64: 7227B46DF4115112  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:43:39]
447*2^825182-1 is not prime.  Res64: 1059F9C38A2F62F2  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:46:34]
495*2^825182-1 is not prime.  Res64: 783D80941B03B168  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:51:04]
507*2^825182-1 is not prime.  Res64: CF3E0C2C1C185DD9  Time : 0.0 sec.
user=henryzz
[2010-06-26 16:52:01]
501*2^825182-1 is not prime.  Res64: 5787A0B296C35F16  Time : 0.0 sec.
user=Vato
[2010-06-26 16:55:17]
573*2^825182-1 is not prime.  Res64: 2187AA9F804D0937  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:04:43]
501*2^825183-1 is not prime.  Res64: 5E3B87B2D858C2C7  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:06:49]
559*2^825183-1 is not prime.  Res64: 03026B08BCAAC4F4  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:09:31]
419*2^825184-1 is not prime.  Res64: 7FF8F530A65C859A  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:12:27]
437*2^825184-1 is not prime.  Res64: 8DA6EDB252B3AB5D  Time : 0.0 sec.
user=Vato
[2010-06-26 17:14:58]
479*2^825184-1 is not prime.  Res64: 4033DC295C8ADFE7  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:23:30]
533*2^825184-1 is not prime.  Res64: 174E3180F7EFF28A  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:25:43]
569*2^825184-1 is not prime.  Res64: B2E652E2C174BF2E  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:28:49]
459*2^825185-1 is not prime.  Res64: A5E412C31CE358EC  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:31:16]
469*2^825185-1 is not prime.  Res64: 040EAAC6601383EC  Time : 0.0 sec.
user=Vato
[2010-06-26 17:35:04]
517*2^825185-1 is not prime.  Res64: C756A60E4B752EBC  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:44:03]
529*2^825185-1 is not prime.  Res64: B7CF118311EEBAFA  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:45:53]
537*2^825185-1 is not prime.  Res64: 09B4F84AA8CFEDBA  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:49:32]
417*2^825186-1 is not prime.  Res64: E1D11086410B0CA4  Time : 0.0 sec.
user=henryzz
[2010-06-26 17:52:31]
437*2^825186-1 is not prime.  Res64: 468F0AFA793356A4  Time : 0.0 sec.
user=Vato
[2010-06-26 17:55:03]
473*2^825186-1 is not prime.  Res64: 5EE3C9DA7F89771B  Time : 0.0 sec.
user=Sloth
[2010-06-26 17:58:48]
431*2^825158-1 is not prime.  Res64: 6DC78FCCF375F2A2  Time : 0.0 sec.
user=Sloth
[2010-06-26 17:58:48]
515*2^825158-1 is not prime.  Res64: 07640B7EB38CFFD4  Time : 0.0 sec.
user=Sloth
[2010-06-26 17:58:49]
445*2^825159-1 is not prime.  Res64: A6071A0E7DC68C8D  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 17:59:23]
593*2^825186-1 is not prime.  Res64: A6BD230D7F2E3E93  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:02:20]
521*2^825186-1 is not prime.  Res64: F9F2668371A48EE1  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:04:49]
573*2^825186-1 is not prime.  Res64: 353E4613CFCCCE03  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:09:41]
405*2^825187-1 is not prime.  Res64: 8AB721AA72FDCDE6  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 18:12:16]
459*2^825189-1 is not prime.  Res64: C78CCAEC21EBCF83  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:13:20]
493*2^825187-1 is not prime.  Res64: 933C71C5D50EBDBD  Time : 0.0 sec.
user=Vato
[2010-06-26 18:15:00]
541*2^825187-1 is not prime.  Res64: 04B8ACBD3A6BA2F5  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:20:52]
499*2^825189-1 is not prime.  Res64: 42636E5A56AC3C1D  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:24:10]
507*2^825189-1 is not prime.  Res64: D4A77C6CBC8789F9  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 18:25:15]
525*2^825189-1 is not prime.  Res64: 52178E9B2743E185  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:28:44]
511*2^825189-1 is not prime.  Res64: BCEE1C9CD93FBFC3  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:31:48]
401*2^825190-1 is not prime.  Res64: 9E3DAB49798EC402  Time : 0.0 sec.
user=Vato
[2010-06-26 18:34:51]
405*2^825190-1 is not prime.  Res64: F811F5F2AD6208FA  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 18:38:07]
561*2^825190-1 is not prime.  Res64: B99355D9D2BB28F0  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:40:14]
453*2^825190-1 is not prime.  Res64: 18E327872C857896  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:41:44]
477*2^825190-1 is not prime.  Res64: 8C3BE9ED908C2FC9  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 18:45:49]
489*2^825191-1 is not prime.  Res64: 7B4376796009634E  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:47:41]
575*2^825190-1 is not prime.  Res64: 2989B99CBC7941C0  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 18:50:59]
425*2^825192-1 is not prime.  Res64: AEE42C25794971C2  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:51:09]
445*2^825191-1 is not prime.  Res64: 051E78612B707B67  Time : 0.0 sec.
user=Vato
[2010-06-26 18:54:35]
505*2^825191-1 is not prime.  Res64: 92C4A688BB9C57E1  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 18:58:42]
559*2^825193-1 is not prime.  Res64: C8986F496F84ADB8  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:59:19]
569*2^825192-1 is not prime.  Res64: B57C7B2F51626561  Time : 0.0 sec.
user=henryzz
[2010-06-26 18:59:37]
507*2^825193-1 is not prime.  Res64: 6BAA41FD821E2810  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:03:51]
507*2^825194-1 is not prime.  Res64: 2FA8F9A273A67446  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:05:40]
447*2^825194-1 is not prime.  Res64: 0B64635A6D3568FD  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:09:51]
409*2^825195-1 is not prime.  Res64: 875DEA19F51C0FDD  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:11:35]
531*2^825195-1 is not prime.  Res64: 386DA27EE5B3FF5A  Time : 0.0 sec.
user=Vato
[2010-06-26 19:13:39]
511*2^825195-1 is not prime.  Res64: 74F4654D6A58412A  Time : 0.0 sec.
user=Sloth
[2010-06-26 19:16:15]
405*2^825188-1 is not prime.  Res64: 4B4A1CE53868D3F2  Time : 0.0 sec.
user=Sloth
[2010-06-26 19:16:15]
437*2^825188-1 is not prime.  Res64: EA0523F4155F0622  Time : 0.0 sec.
user=Sloth
[2010-06-26 19:16:16]
515*2^825188-1 is not prime.  Res64: 76FB1AE92757AF4E  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:16:45]
495*2^825197-1 is not prime.  Res64: AAF180CF37F5A8A8  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:17:30]
567*2^825196-1 is not prime.  Res64: 06BC3126DB341A36  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:18:04]
417*2^825197-1 is not prime.  Res64: 3670F6E62F3EE8B2  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:19:23]
585*2^825198-1 is not prime.  Res64: FD2003A34D653A49  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:24:30]
441*2^825199-1 is not prime.  Res64: 0551E42D244A0741  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:25:27]
563*2^825198-1 is not prime.  Res64: D85BCE071B2110B7  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:29:38]
519*2^825200-1 is not prime.  Res64: 190E5DAE5DC3FB84  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:32:17]
429*2^825201-1 is not prime.  Res64: C8331FFB03CE4534  Time : 0.0 sec.
user=Vato
[2010-06-26 19:33:09]
525*2^825199-1 is not prime.  Res64: DA82AAF284941676  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:37:23]
559*2^825201-1 is not prime.  Res64: 0029A4B154B18B73  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:39:32]
423*2^825199-1 is not prime.  Res64: 73DEA4EAC1D6D717  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:42:23]
599*2^825200-1 is not prime.  Res64: 5102219C7E1DE7A4  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:42:34]
437*2^825202-1 is not prime.  Res64: 35823C42A89D8AF9  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:43:10]
525*2^825200-1 is not prime.  Res64: CFFDC2B48DD1B136  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:45:25]
453*2^825202-1 is not prime.  Res64: 9342C9DA60FC87BA  Time : 0.0 sec.
user=henryzz
[2010-06-26 19:50:02]
401*2^825202-1 is not prime.  Res64: 32A5FC2FCF571D62  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:50:37]
433*2^825203-1 is not prime.  Res64: E4AF8BBB867D2940  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:51:41]
439*2^825203-1 is not prime.  Res64: E953AC604FD3D5D0  Time : 0.0 sec.
user=Vato
[2010-06-26 19:52:16]
411*2^825203-1 is not prime.  Res64: E6D2A9599D35C086  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:55:56]
497*2^825204-1 is not prime.  Res64: EB99F10B0005175D  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 19:58:23]
557*2^825204-1 is not prime.  Res64: B1B6B5481AF41C09  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:00:28]
465*2^825203-1 is not prime.  Res64: 8878FB382AE9852E  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:03:45]
537*2^825205-1 is not prime.  Res64: 4958E311A0FD70DD  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:04:53]
407*2^825206-1 is not prime.  Res64: CCD5D7F8C80EFF96  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:06:19]
503*2^825204-1 is not prime.  Res64: DFFBBD61D7C48505  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:09:00]
573*2^825206-1 is not prime.  Res64: 339D247A1B97B3EE  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:10:02]
523*2^825203-1 is not prime.  Res64: F1895E9ACE16F5B2  Time : 0.0 sec.
user=Vato
[2010-06-26 20:11:20]
545*2^825206-1 is not prime.  Res64: 42DFA08CEE96281D  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:11:23]
403*2^825207-1 is not prime.  Res64: 1C041A28326545BE  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:14:53]
519*2^825205-1 is not prime.  Res64: 265667FA11C56B9B  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:16:43]
423*2^825207-1 is not prime.  Res64: BD9098D0F40C5307  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:18:00]
429*2^825207-1 is not prime.  Res64: 9A8D6611EC00BD93  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:22:19]
451*2^825207-1 is not prime.  Res64: E63AB6B13A26D12C  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:24:31]
549*2^825207-1 is not prime.  Res64: 33F924BBDE926B7C  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:29:53]
419*2^825208-1 is not prime.  Res64: A2F15224DCC80949  Time : 0.0 sec.
user=Vato
[2010-06-26 20:30:23]
531*2^825207-1 is not prime.  Res64: 021DC9AE7B6E1861  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:31:04]
429*2^825208-1 is not prime.  Res64: 96AB99F4B61BC780  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:32:26]
405*2^825207-1 is not prime.  Res64: 892A6AD694B80751  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:33:26]
439*2^825207-1 is not prime.  Res64: 3639BBBB360A8078  Time : 0.0 sec.
user=Sloth
[2010-06-26 20:33:47]
531*2^825199-1 is not prime.  Res64: F56A3FE4829011FC  Time : 0.0 sec.
user=Sloth
[2010-06-26 20:33:47]
573*2^825199-1 is not prime.  Res64: D673904A01803D8D  Time : 0.0 sec.
user=Sloth
[2010-06-26 20:33:48]
455*2^825200-1 is not prime.  Res64: 210189AE6EC4F05B  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:34:54]
453*2^825207-1 is not prime.  Res64: 548589D830EFA1D7  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:35:27]
435*2^825208-1 is not prime.  Res64: 6377DD8F5C082E7C  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:37:32]
467*2^825208-1 is not prime.  Res64: C787A4CD6AFB3D7C  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:40:35]
565*2^825207-1 is not prime.  Res64: AC98B0442FB37F30  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:43:05]
537*2^825208-1 is not prime.  Res64: 8E668E61D5467E85  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:44:10]
411*2^825209-1 is not prime.  Res64: 4BE137243BBDF613  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:48:31]
501*2^825210-1 is not prime.  Res64: 97A63D1C2C9C4C93  Time : 0.0 sec.
user=Vato
[2010-06-26 20:49:36]
549*2^825208-1 is not prime.  Res64: 1DD4D4E34D98309A  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:50:58]
411*2^825211-1 is not prime.  Res64: 8F18CAC2B5BAA9E7  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:52:07]
561*2^825209-1 is not prime.  Res64: 99336D248ECE792B  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:52:29]
435*2^825209-1 is not prime.  Res64: FAA9CB0E546A51B5  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:53:19]
465*2^825210-1 is not prime.  Res64: 64D799C48AC2C084  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:56:57]
453*2^825211-1 is not prime.  Res64: 1860832FE838AA86  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 20:58:09]
405*2^825212-1 is not prime.  Res64: 32B8C7A4C41FFA76  Time : 0.0 sec.
user=henryzz
[2010-06-26 20:58:47]
441*2^825211-1 is not prime.  Res64: B75DE40671A79E16  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:02:36]
435*2^825212-1 is not prime.  Res64: 9E4BC205ECFB35C9  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:06:29]
483*2^825212-1 is not prime.  Res64: 4DC3B262A2FD2F4B  Time : 0.0 sec.
user=Vato
[2010-06-26 21:08:43]
459*2^825212-1 is not prime.  Res64: 4E2F4CFF0F7FFB7E  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:10:51]
471*2^825213-1 is not prime.  Res64: 48EE18FC380F4482  Time : 0.0 sec.
user=henryzz
[2010-06-26 21:11:37]
545*2^825212-1 is not prime.  Res64: F765AC54ED374FB7  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:11:48]
555*2^825213-1 is not prime.  Res64: 4D7A07106772279D  Time : 0.0 sec.
user=henryzz
[2010-06-26 21:12:10]
495*2^825212-1 is not prime.  Res64: 402500CD95F0E56A  Time : 0.0 sec.
user=henryzz
[2010-06-26 21:13:16]
519*2^825212-1 is not prime.  Res64: 092A1D10E53769BB  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:16:08]
595*2^825213-1 is not prime.  Res64: 062E83FD04A03FF3  Time : 0.0 sec.
user=henryzz
[2010-06-26 21:16:55]
577*2^825213-1 is not prime.  Res64: 6D783410BA78997F  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:19:49]
413*2^825214-1 is not prime.  Res64: 9CF22762A4A29EFC  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:23:57]
435*2^825214-1 is not prime.  Res64: 662853CC819F93C1  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:24:57]
501*2^825215-1 is not prime.  Res64: 418321F46630C343  Time : 0.0 sec.
user=Vato
[2010-06-26 21:27:50]
425*2^825214-1 is not prime.  Res64: CF0A8BB198AAC115  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:29:17]
513*2^825216-1 is not prime.  Res64: 55950D868E3FC1F0  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:32:57]
557*2^825216-1 is not prime.  Res64: D6404A2F26E12DC2  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:37:23]
587*2^825216-1 is not prime.  Res64: 2E1970DD925B1467  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:38:04]
489*2^825217-1 is not prime.  Res64: 2700CF25872A7902  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:42:24]
483*2^825218-1 is not prime.  Res64: B179A8722DF3F56E  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:46:14]
545*2^825218-1 is not prime.  Res64: 4915E8D338C550FC  Time : 0.0 sec.
user=Vato
[2010-06-26 21:47:12]
499*2^825217-1 is not prime.  Res64: C3E952CA463B0DCA  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:50:31]
429*2^825219-1 is not prime.  Res64: FB5A4BE5264193FC  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:51:00]
459*2^825219-1 is not prime.  Res64: 840085856E05FA7E  Time : 0.0 sec.
user=Sloth
[2010-06-26 21:51:38]
579*2^825209-1 is not prime.  Res64: C62DDC3EF43FB282  Time : 0.0 sec.
user=Sloth
[2010-06-26 21:51:38]
423*2^825210-1 is not prime.  Res64: 19275FC20FF4C04F  Time : 0.0 sec.
user=Sloth
[2010-06-26 21:51:39]
437*2^825210-1 is not prime.  Res64: 77AD5FD902E89867  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:55:18]
469*2^825219-1 is not prime.  Res64: 1BC441949387BB32  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 21:59:09]
495*2^825219-1 is not prime.  Res64: 00FF29176CA00C07  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:03:25]
537*2^825220-1 is not prime.  Res64: CEAD940F1D8F02E5  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:03:53]
549*2^825220-1 is not prime.  Res64: 5787EFEC90C5128D  Time : 0.0 sec.
user=Vato
[2010-06-26 22:06:36]
443*2^825220-1 is not prime.  Res64: 6EF35F05ECA36F14  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:08:13]
507*2^825222-1 is not prime.  Res64: 0E613E007EF2089E  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:12:05]
525*2^825222-1 is not prime.  Res64: 96E35FC7A38BBA63  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:16:19]
567*2^825222-1 is not prime.  Res64: 6F82A900DEA75F89  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:16:48]
493*2^825223-1 is not prime.  Res64: 42231ACDD11608BD  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:21:13]
447*2^825224-1 is not prime.  Res64: DD00858C6650C667  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:25:03]
525*2^825224-1 is not prime.  Res64: C3440D441253D12B  Time : 0.0 sec.
user=Vato
[2010-06-26 22:26:00]
595*2^825223-1 is not prime.  Res64: E732664E5CB1CA3B  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:29:16]
533*2^825224-1 is not prime.  Res64: 809A8FCE436A69F6  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:29:50]
543*2^825224-1 is not prime.  Res64: F78DF9A7F6FDF78B  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:34:19]
557*2^825224-1 is not prime.  Res64: BEACFAE3311D6DDB  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:38:02]
427*2^825225-1 is not prime.  Res64: 5106CCCEC00DAE82  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:42:14]
487*2^825225-1 is not prime.  Res64: D744A48F5805E42B  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:42:50]
565*2^825225-1 is not prime.  Res64: 7B2418137061AF33  Time : 0.0 sec.
user=Vato
[2010-06-26 22:45:04]
429*2^825225-1 is not prime.  Res64: 987EB7037D2B7D3F  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:47:20]
521*2^825226-1 is not prime.  Res64: 8CEC8BFB1FAEA9B3  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:50:59]
525*2^825226-1 is not prime.  Res64: 66362205B0E261AC  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:55:07]
531*2^825226-1 is not prime.  Res64: 48A1D6B08CCAFFE8  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 22:55:47]
587*2^825226-1 is not prime.  Res64: EDF5176AA55E0116  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:00:14]
519*2^825227-1 is not prime.  Res64: 87899D762A5FDD75  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:03:54]
549*2^825227-1 is not prime.  Res64: C7575A7E4713D607  Time : 0.0 sec.
user=Vato
[2010-06-26 23:04:01]
501*2^825227-1 is not prime.  Res64: BB27B5E545A28457  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:08:03]
595*2^825227-1 is not prime.  Res64: A31ADA9DCB5EF3A2  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:08:42]
539*2^825228-1 is not prime.  Res64: C6E46E1E0B59517A  Time : 0.0 sec.
user=Sloth
[2010-06-26 23:09:32]
507*2^825221-1 is not prime.  Res64: F90DD0050A57CDDD  Time : 0.0 sec.
user=Sloth
[2010-06-26 23:09:32]
559*2^825221-1 is not prime.  Res64: 8870C57CBDD44228  Time : 0.0 sec.
user=Sloth
[2010-06-26 23:09:33]
503*2^825222-1 is not prime.  Res64: 20472CC1F9666981  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:13:09]
427*2^825229-1 is not prime.  Res64: A116B2021CF50E0D  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:16:58]
469*2^825229-1 is not prime.  Res64: 1E102137517272E7  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:21:02]
577*2^825229-1 is not prime.  Res64: 1C56A6769EFE37C2  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:21:39]
597*2^825229-1 is not prime.  Res64: 8F7992CF993777C3  Time : 0.0 sec.
user=Vato
[2010-06-26 23:23:03]
489*2^825229-1 is not prime.  Res64: D4CBD1699DE08C80  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:26:12]
561*2^825230-1 is not prime.  Res64: E1CDF5B8BACD4515  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:30:34]
587*2^825230-1 is not prime.  Res64: 9D92FDE7984DAD61  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:34:16]
403*2^825231-1 is not prime.  Res64: A55C5515A8CF2EFE  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:35:06]
549*2^825231-1 is not prime.  Res64: 8D24268DA0DBE113  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:39:19]
429*2^825232-1 is not prime.  Res64: D7200AD155EF969D  Time : 0.0 sec.
user=Vato
[2010-06-26 23:42:39]
419*2^825232-1 is not prime.  Res64: 406EC5F2156082B2  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:43:45]
437*2^825232-1 is not prime.  Res64: 5036391E0DF194E2  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:47:21]
447*2^825232-1 is not prime.  Res64: 397F5F523B7E6004  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:48:57]
455*2^825232-1 is not prime.  Res64: FF8C88F4697C7551  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:52:42]
507*2^825232-1 is not prime.  Res64: A3970CBFCB98FD6F  Time : 0.0 sec.
user=mdettweiler
[2010-06-26 23:56:58]
537*2^825232-1 is not prime.  Res64: 297C4CAB9399AC4C  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:00:46]
465*2^825233-1 is not prime.  Res64: 3993305268142DD9  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:02:19]
475*2^825233-1 is not prime.  Res64: E0282AD853245019  Time : 0.0 sec.
user=Vato
[2010-06-27 00:02:20]
513*2^825232-1 is not prime.  Res64: 39A8A7343A87AEB9  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:05:56]
495*2^825233-1 is not prime.  Res64: EC1037653090D100  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:11:00]
517*2^825233-1 is not prime.  Res64: EDB61CC2578AE554  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:14:05]
559*2^825233-1 is not prime.  Res64: 1E14838F9EFEF849  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:15:31]
401*2^825234-1 is not prime.  Res64: BB7784B866D3841F  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:19:10]
423*2^825234-1 is not prime.  Res64: AC1627FB50441B44  Time : 0.0 sec.
user=Vato
[2010-06-27 00:22:18]
595*2^825233-1 is not prime.  Res64: 32374235E21ABD32  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:24:20]
431*2^825234-1 is not prime.  Res64: 26A6EA4F4B7B1C00  Time : 0.0 sec.
user=Sloth
[2010-06-27 00:27:02]
453*2^825230-1 is not prime.  Res64: E2456DCE6535286C  Time : 0.0 sec.
user=Sloth
[2010-06-27 00:27:02]
515*2^825230-1 is not prime.  Res64: 9E732D35EED9F879  Time : 0.0 sec.
user=Sloth
[2010-06-27 00:27:03]
545*2^825230-1 is not prime.  Res64: 85395FD63CE5705E  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:27:28]
447*2^825234-1 is not prime.  Res64: 31B1FB5DD508177D  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:28:57]
567*2^825234-1 is not prime.  Res64: D4EF04E034CF982E  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:32:30]
573*2^825234-1 is not prime.  Res64: 3EB069D3C4229C1B  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:38:22]
411*2^825235-1 is not prime.  Res64: F32D71C4C9C44F76  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:40:55]
563*2^825236-1 is not prime.  Res64: A7C00FAFBE09E066  Time : 0.0 sec.
user=Vato
[2010-06-27 00:41:27]
587*2^825234-1 is not prime.  Res64: C057A2330985DA26  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:42:09]
445*2^825237-1 is not prime.  Res64: 6E4A2207C2BB27DA  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:45:50]
475*2^825237-1 is not prime.  Res64: E7F476DBE264D8F0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:51:32]
495*2^825237-1 is not prime.  Res64: C3415E7445B92B71  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:54:13]
511*2^825237-1 is not prime.  Res64: 8F6D4EB1D952F6FD  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:55:23]
513*2^825238-1 is not prime.  Res64: E82A29AE5DCD5936  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 00:59:37]
533*2^825238-1 is not prime.  Res64: FA3E8203EB5D9D97  Time : 0.0 sec.
user=Vato
[2010-06-27 01:00:38]
549*2^825237-1 is not prime.  Res64: 8E25BFB5C03B89C8  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:05:01]
555*2^825238-1 is not prime.  Res64: F1BCE28C1A6358A0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:07:29]
411*2^825239-1 is not prime.  Res64: 3F5C57761BD38CEE  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:08:31]
421*2^825239-1 is not prime.  Res64: AD8875F2BDEAD5E1  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:13:32]
439*2^825239-1 is not prime.  Res64: 50A48BAF00A85D60  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:18:19]
579*2^825239-1 is not prime.  Res64: 8F953A2E74DE5546  Time : 0.0 sec.
user=Vato
[2010-06-27 01:19:50]
571*2^825239-1 is not prime.  Res64: F21622924B420183  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:19:13]
589*2^825239-1 is not prime.  Res64: F3DFB0C985354E89  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:19:41]
447*2^825240-1 is not prime.  Res64: 0AED1C3CBA834E70  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:24:40]
405*2^825241-1 is not prime.  Res64: 7F3E478C76DBDD39  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:30:04]
517*2^825241-1 is not prime.  Res64: 20A91CA8D79C4691  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:32:26]
549*2^825241-1 is not prime.  Res64: 7A5E768E057009B1  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:32:53]
405*2^825242-1 is not prime.  Res64: 90DC50659D0056A6  Time : 0.0 sec.
user=Vato
[2010-06-27 01:36:17]
537*2^825241-1 is not prime.  Res64: 3C416BD61879D403  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:37:43]
431*2^825242-1 is not prime.  Res64: F971B16E5A75CFCC  Time : 0.0 sec.
user=Sloth
[2010-06-27 01:42:08]
511*2^825235-1 is not prime.  Res64: 1C88E509AA49F907  Time : 0.0 sec.
user=Sloth
[2010-06-27 01:42:09]
535*2^825235-1 is not prime.  Res64: CBB0BE233E0DBD39  Time : 0.0 sec.
user=Sloth
[2010-06-27 01:42:09]
561*2^825235-1 is not prime.  Res64: 63D87F6B8218D406  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:43:23]
467*2^825242-1 is not prime.  Res64: A92BF305E1938F24  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:45:46]
503*2^825242-1 is not prime.  Res64: 944E54169C282327  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:46:13]
515*2^825242-1 is not prime.  Res64: 2661D5875BCC2B02  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:51:06]
521*2^825242-1 is not prime.  Res64: A6CE962C1E52000B  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:56:35]
481*2^825243-1 is not prime.  Res64: E5DC103FE8080488  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:59:12]
489*2^825243-1 is not prime.  Res64: 5DDBE25DF7D2C5AF  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 01:59:40]
493*2^825243-1 is not prime.  Res64: 0B7B7C267FF68256  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:04:20]
529*2^825243-1 is not prime.  Res64: 78B151B79B04EE95  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:10:01]
585*2^825243-1 is not prime.  Res64: 1558495FB0794584  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:12:55]
437*2^825244-1 is not prime.  Res64: F36557DEAD25F4DC  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:13:21]
429*2^825244-1 is not prime.  Res64: CF551BDFA43AAAEE  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:18:31]
507*2^825244-1 is not prime.  Res64: 166D659A9DFE1CC7  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:23:08]
563*2^825244-1 is not prime.  Res64: 4B93575AD862D0B0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:26:00]
573*2^825244-1 is not prime.  Res64: 0B341F450198B027  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:26:19]
411*2^825245-1 is not prime.  Res64: 39F0D2096483A2D2  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:31:26]
469*2^825245-1 is not prime.  Res64: 6BBBB394975DE635  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:36:02]
475*2^825245-1 is not prime.  Res64: 2C5EE63B624E8C64  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:38:55]
437*2^825246-1 is not prime.  Res64: A9FB603D8FD364E0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:39:11]
461*2^825246-1 is not prime.  Res64: 23078A19FED309E1  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:44:21]
471*2^825246-1 is not prime.  Res64: 25C7B976B5031613  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:48:54]
485*2^825246-1 is not prime.  Res64: BE62082F40C0AD8C  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:51:50]
551*2^825246-1 is not prime.  Res64: 29F2914433A7BE23  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:52:03]
421*2^825247-1 is not prime.  Res64: D6F7FCF339ACA245  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 02:57:17]
429*2^825247-1 is not prime.  Res64: 923424A94C299ECA  Time : 0.0 sec.
user=Sloth
[2010-06-27 02:59:28]
533*2^825242-1 is not prime.  Res64: 58C6D9EFB37C1073  Time : 0.0 sec.
user=Sloth
[2010-06-27 02:59:29]
537*2^825242-1 is not prime.  Res64: 870778064CC46D61  Time : 0.0 sec.
user=Sloth
[2010-06-27 02:59:29]
471*2^825243-1 is not prime.  Res64: 1D1CD1493B0CA3AB  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:01:48]
453*2^825247-1 is not prime.  Res64: 22D52021B748E997  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:04:43]
435*2^825248-1 is not prime.  Res64: 549437404313C8BF  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:04:58]
585*2^825248-1 is not prime.  Res64: BC1B106BEDB7BE0C  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:10:11]
535*2^825249-1 is not prime.  Res64: 8E1C8B4263DB13F9  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:14:44]
567*2^825250-1 is not prime.  Res64: D65C01D915B0F4D1  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:17:36]
587*2^825250-1 is not prime.  Res64: 1418B7EF71635071  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:17:55]
411*2^825251-1 is not prime.  Res64: F48BB6F448DE8695  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:23:08]
445*2^825251-1 is not prime.  Res64: 718F4915D1158ADC  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:27:38]
425*2^825252-1 is not prime.  Res64: 0F8C108E1703F5DA  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:30:30]
455*2^825252-1 is not prime.  Res64: 60B8223608AAA8F0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:30:50]
593*2^825252-1 is not prime.  Res64: 825C3872BC5AB54E  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:36:01]
405*2^825253-1 is not prime.  Res64: 73A2D890C660A2C0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:40:32]
561*2^825253-1 is not prime.  Res64: BA93858ED847A37A  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:43:28]
407*2^825254-1 is not prime.  Res64: 7AB13219A59A51BE  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:43:48]
425*2^825254-1 is not prime.  Res64: E6DC04BA686F2B2A  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:49:05]
533*2^825254-1 is not prime.  Res64: 0C50DEBE08314F53  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:53:43]
573*2^825254-1 is not prime.  Res64: FDCD3ED0DC9672B0  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:56:35]
441*2^825255-1 is not prime.  Res64: E08D6B3E73807A4C  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 03:56:54]
459*2^825255-1 is not prime.  Res64: 152071064D0AC369  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:02:16]
469*2^825255-1 is not prime.  Res64: 3C7409871B467CB1  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:06:42]
501*2^825255-1 is not prime.  Res64: 629A36551934C178  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:09:29]
513*2^825255-1 is not prime.  Res64: F7495E2CA16D42E5  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:09:54]
573*2^825255-1 is not prime.  Res64: 8ACFD799E23CD9AF  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:15:15]
413*2^825256-1 is not prime.  Res64: 830CFC247B816075  Time : 0.0 sec.
user=Sloth
[2010-06-27 04:16:38]
549*2^825249-1 is not prime.  Res64: A552487E49932FD3  Time : 0.0 sec.
user=Sloth
[2010-06-27 04:16:38]
565*2^825249-1 is not prime.  Res64: 78D8DB6619169F35  Time : 0.0 sec.
user=Sloth
[2010-06-27 04:16:39]
595*2^825249-1 is not prime.  Res64: 020D76E086F9D5FD  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:19:36]
447*2^825256-1 is not prime.  Res64: 28CD986F0D79A40E  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:22:23]
483*2^825256-1 is not prime.  Res64: 854EB200FEC12602  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:22:49]
495*2^825256-1 is not prime.  Res64: 2A3B853BD7EDCB95  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:28:08]
507*2^825256-1 is not prime.  Res64: B0C74F2780FF6A75  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:32:32]
437*2^825258-1 is not prime.  Res64: 402B4D55AF4FB572  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:35:19]
465*2^825258-1 is not prime.  Res64: 144167119FDD1972  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:35:41]
563*2^825258-1 is not prime.  Res64: 8694D9B02284EB1D  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:41:01]
581*2^825258-1 is not prime.  Res64: D5EF8979CC4FDA62  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:45:27]
415*2^825259-1 is not prime.  Res64: 8565235C21AAD764  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:48:14]
555*2^825259-1 is not prime.  Res64: CFBDF73CC3E38E38  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:48:34]
573*2^825259-1 is not prime.  Res64: BB41F772D07D8378  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:53:54]
437*2^825260-1 is not prime.  Res64: AAFB6DA2DDA0E72D  Time : 0.0 sec.
user=mdettweiler
[2010-06-27 04:58:21]
459*2^825260-1 is not prime.  Res64: DCCF982254DC579B  Time : 0.0 sec.