user=Death
[11/03/08 06:58:57]
769*2^544143-1 is not prime.  Res64: 8446DB9CFE5863AF  Time : 3933.0 sec.
user=Death
[11/03/08 07:19:27]
793*2^544143-1 is not prime.  Res64: 30BD62A02ADC488B  Time : 3880.0 sec.
user=Death
[11/03/08 07:38:05]
795*2^544143-1 is not prime.  Res64: 888905B34EA01639  Time : 3939.0 sec.
user=Death
[11/03/08 07:57:28]
871*2^544143-1 is not prime.  Res64: 6A7B1FAC9CFA0742  Time : 3512.0 sec.
user=Death
[11/03/08 08:47:48]
891*2^544143-1 is not prime.  Res64: 5BB1D3F2FBA00BEF  Time : 5301.0 sec.
user=Death
[11/03/08 09:06:52]
945*2^544143-1 is not prime.  Res64: 1FBFE5A82746AC0F  Time : 5327.0 sec.
user=Death
[11/03/08 09:22:17]
429*2^544144-1 is not prime.  Res64: F1AA519C361ABC5D  Time : 5089.0 sec.
user=Death
[11/03/08 09:37:47]
455*2^544144-1 is not prime.  Res64: A7B964FF37321D8C  Time : 2999.0 sec.
user=Death
[11/03/08 09:53:19]
465*2^544144-1 is not prime.  Res64: 34715577E6DFC7BF  Time : 2787.0 sec.
user=Death
[11/03/08 10:08:54]
495*2^544144-1 is not prime.  Res64: D36C86FC8CFD6005  Time : 2797.0 sec.
user=Death
[11/03/08 10:24:17]
563*2^544144-1 is not prime.  Res64: E726EF0A5A35F38C  Time : 2791.0 sec.
user=Death
[11/03/08 10:39:40]
609*2^544144-1 is not prime.  Res64: 7A83867A9646190E  Time : 2781.0 sec.
user=Death
[11/03/08 10:55:01]
635*2^544144-1 is not prime.  Res64: 8B717C71AB8A207F  Time : 2768.0 sec.
user=Death
[11/03/08 11:10:24]
675*2^544144-1 is not prime.  Res64: 513C92686ADBB6E7  Time : 2767.0 sec.
user=Death
[11/03/08 11:25:48]
717*2^544144-1 is not prime.  Res64: 0B225B6DA1A21E17  Time : 2768.0 sec.
user=Death
[11/03/08 11:41:12]
743*2^544144-1 is not prime.  Res64: EC426247EE1E6BF9  Time : 2771.0 sec.
user=Death
[11/03/08 11:56:34]
765*2^544144-1 is not prime.  Res64: 84AD8E6D45F8B453  Time : 2770.0 sec.
user=Death
[11/03/08 12:11:58]
803*2^544144-1 is not prime.  Res64: CBF21CDA71D90156  Time : 2770.0 sec.
user=Death
[11/03/08 12:27:29]
843*2^544144-1 is not prime.  Res64: F07FE618FEF35F34  Time : 2778.0 sec.
user=Death
[11/03/08 12:42:55]
875*2^544144-1 is not prime.  Res64: 7EFF9C741BF50784  Time : 2781.0 sec.
user=Death
[11/03/08 12:58:23]
903*2^544144-1 is not prime.  Res64: F14DB14BCDABFEE9  Time : 2785.0 sec.
user=Death
[11/03/08 13:13:51]
905*2^544144-1 is not prime.  Res64: 4EAF7771084ADB66  Time : 2783.0 sec.
user=Death
[11/03/08 13:29:32]
481*2^544145-1 is not prime.  Res64: AD27B16000B3E392  Time : 2797.0 sec.
user=Death
[11/03/08 13:45:02]
565*2^544145-1 is not prime.  Res64: 0FB7C8BE782010B9  Time : 2800.0 sec.
user=Death
[11/03/08 14:00:42]
579*2^544145-1 is not prime.  Res64: A55B313C984A23D9  Time : 2812.0 sec.
user=Death
[11/03/08 14:16:37]
627*2^544145-1 is not prime.  Res64: 91FD7724E768710E  Time : 2825.0 sec.
user=Death
[11/03/08 14:32:25]
727*2^544145-1 is not prime.  Res64: 2AFB723DBE1890F8  Time : 2843.0 sec.
user=Death
[11/03/08 14:48:27]
735*2^544145-1 is not prime.  Res64: 56FAFEB502BADF82  Time : 2865.0 sec.
user=Death
[11/03/08 15:04:24]
865*2^544145-1 is not prime.  Res64: 07186F20677B6D3E  Time : 2868.0 sec.
user=Death
[11/03/08 15:20:31]
405*2^544146-1 is not prime.  Res64: 19D0681DBC51AF1A  Time : 2887.0 sec.
user=Death
[11/03/08 15:36:45]
431*2^544146-1 is not prime.  Res64: 986673A0D895A091  Time : 2898.0 sec.
user=Death
[11/03/08 15:52:59]
471*2^544146-1 is not prime.  Res64: E6C644B718693204  Time : 2915.0 sec.
user=Death
[11/03/08 16:09:10]
527*2^544146-1 is not prime.  Res64: B1F0C654C933826A  Time : 2919.0 sec.
user=Death
[11/03/08 16:25:21]
573*2^544146-1 is not prime.  Res64: B83CF74ECF8371D5  Time : 2917.0 sec.
user=Death
[11/03/08 16:41:35]
585*2^544146-1 is not prime.  Res64: F9C84F270D850A96  Time : 2916.0 sec.
user=Death
[11/03/08 16:57:46]
653*2^544146-1 is not prime.  Res64: 39652E794D0C1D53  Time : 2916.0 sec.
user=Death
[11/03/08 17:13:52]
705*2^544146-1 is not prime.  Res64: B84DFB1AF2E064D7  Time : 2911.0 sec.
user=Death
[11/03/08 17:29:56]
711*2^544146-1 is not prime.  Res64: 55A68CB440457B3B  Time : 2902.0 sec.
user=Death
[11/03/08 17:46:00]
713*2^544146-1 is not prime.  Res64: 6C4B2453FB4C5B8B  Time : 2894.0 sec.
user=Death
[11/03/08 18:02:07]
723*2^544146-1 is not prime.  Res64: 9A98EA9A5D6F61AA  Time : 2895.0 sec.
user=Death
[11/03/08 18:18:10]
755*2^544146-1 is not prime.  Res64: DE1DEA928DC56DF9  Time : 2894.0 sec.
user=Death
[11/03/08 18:34:20]
807*2^544146-1 is not prime.  Res64: 659F0D9F323DD9EE  Time : 2901.0 sec.
user=Death
[11/03/08 18:50:29]
971*2^544146-1 is not prime.  Res64: 47377935112CA509  Time : 2902.0 sec.
user=Death
[11/03/08 19:06:41]
975*2^544146-1 is not prime.  Res64: D2CEB17FB696C721  Time : 2911.0 sec.
user=Death
[11/03/08 19:22:58]
421*2^544147-1 is not prime.  Res64: 2CAD316B92CFA54B  Time : 2918.0 sec.
user=Death
[11/03/08 19:39:04]
429*2^544147-1 is not prime.  Res64: 35CE6472A999E985  Time : 2916.0 sec.
user=Death
[11/03/08 19:55:20]
451*2^544147-1 is not prime.  Res64: FE06663C65027A0A  Time : 2919.0 sec.
user=Death
[11/03/08 20:11:32]
499*2^544147-1 is not prime.  Res64: 77241938FEFBB072  Time : 2914.0 sec.
user=Death
[11/03/08 20:27:40]
523*2^544147-1 is not prime.  Res64: 1421A0276769E03C  Time : 2916.0 sec.
user=Death
[11/03/08 20:43:53]
553*2^544147-1 is not prime.  Res64: 51213BD865922366  Time : 2914.0 sec.
user=Death
[11/03/08 21:00:11]
589*2^544147-1 is not prime.  Res64: 27803BE0BB503D49  Time : 2919.0 sec.
user=Death
[11/03/08 21:16:23]
603*2^544147-1 is not prime.  Res64: DFFA36549FE500C4  Time : 2923.0 sec.
user=Death
[11/03/08 21:32:43]
759*2^544147-1 is not prime.  Res64: 76ADE80CD579CA19  Time : 2930.0 sec.
user=Death
[11/03/08 21:48:59]
843*2^544147-1 is not prime.  Res64: 2019B5DA346350E2  Time : 2929.0 sec.
user=Death
[11/03/08 22:05:22]
973*2^544147-1 is not prime.  Res64: A0549D39C35C8F65  Time : 2940.0 sec.
user=Death
[11/03/08 22:21:33]
993*2^544147-1 is not prime.  Res64: 602A9B87A7A11297  Time : 2930.0 sec.
user=Death
[11/03/08 22:37:46]
423*2^544148-1 is not prime.  Res64: 7D4B9159ADF8E708  Time : 2927.0 sec.
user=Death
[11/03/08 22:54:00]
459*2^544148-1 is not prime.  Res64: 142225B8FEED9289  Time : 2919.0 sec.
user=Death
[11/03/08 23:10:20]
525*2^544148-1 is not prime.  Res64: FF28C41F646CDAB2  Time : 2927.0 sec.
user=Death
[11/03/08 23:26:31]
665*2^544148-1 is not prime.  Res64: C06836F7B6C6F64B  Time : 2925.0 sec.
user=Death
[11/03/08 23:42:43]
677*2^544148-1 is not prime.  Res64: 602BFE0A7B8BF42E  Time : 2923.0 sec.
user=Death
[11/03/08 23:58:55]
759*2^544148-1 is not prime.  Res64: EC2A62DC452DF108  Time : 2916.0 sec.
user=Death
[11/04/08 12:15:06]
893*2^544148-1 is not prime.  Res64: FF20621E11287C15  Time : 2915.0 sec.
user=Death
[11/04/08 12:31:11]
945*2^544148-1 is not prime.  Res64: 12843EF06A272D96  Time : 2908.0 sec.
user=Death
[11/04/08 12:47:02]
465*2^544149-1 is not prime.  Res64: 0F8273444045263F  Time : 2888.0 sec.
user=Death
[11/04/08 01:02:56]
471*2^544149-1 is not prime.  Res64: 3C5075FAF598C473  Time : 2871.0 sec.
user=Death
[11/04/08 01:33:50]
595*2^544149-1 is not prime.  Res64: C65977706A4ED626  Time : 3759.0 sec.
user=Death
[11/04/08 02:10:26]
627*2^544149-1 is not prime.  Res64: DC88D54D749BF7C7  Time : 5004.0 sec.
user=Death
[11/04/08 02:41:33]
735*2^544149-1 is not prime.  Res64: 1E0F474A4F2C5AF0  Time : 5918.0 sec.
user=Death
[11/04/08 03:15:47]
769*2^544149-1 is not prime.  Res64: D158D78004A23366  Time : 6118.0 sec.
user=Death
[11/04/08 03:47:45]
795*2^544149-1 is not prime.  Res64: A2AD51880F9E199D  Time : 5840.0 sec.
user=Death
[11/04/08 04:15:16]
969*2^544149-1 is not prime.  Res64: 81B06C235137D96C  Time : 5624.0 sec.
user=Death
[11/04/08 04:45:04]
471*2^544150-1 is not prime.  Res64: 8539F86116385783  Time : 5357.0 sec.