user=mdettweiler
[2012-08-06 00:02:21]
753*2^1225811-1 is not prime.  Res64: 62423A063FCFD6CE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:02:22]
783*2^1225811-1 is not prime.  Res64: A470D80B7A6EF1A7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:11:14]
685*2^1225811-1 is not prime.  Res64: 56DB59BEDE5FB571  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:15:37]
969*2^1225811-1 is not prime.  Res64: E37278AFA66B29A9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:15:39]
605*2^1225812-1 is not prime.  Res64: 6EC274145BF40303  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:18:36]
855*2^1225811-1 is not prime.  Res64: 299DE24F2DE7D603  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:23:04]
609*2^1225812-1 is not prime.  Res64: 3C35876AA7D5328E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:23:05]
647*2^1225812-1 is not prime.  Res64: E7E358FCE4E5E5B2  Time : 0.0 sec.
user=vaughan
[2012-08-06 00:25:16]
955*2^1225811-1 is not prime.  Res64: 6FC2620106FEC388  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 00:31:12]
695*2^1225812-1 is not prime.  Res64: 0D7099D4679CEB9B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:36:16]
651*2^1225813-1 is not prime.  Res64: 070B4EB3D9585EBA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:36:16]
687*2^1225813-1 is not prime.  Res64: 004A6832E6517E63  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 00:37:58]
749*2^1225812-1 is not prime.  Res64: 8E1FCE03BC48B930  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:42:30]
809*2^1225812-1 is not prime.  Res64: 59C277DE453E667E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:43:38]
751*2^1225813-1 is not prime.  Res64: 87BB1A561A0D4FF2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:43:38]
775*2^1225813-1 is not prime.  Res64: 9C8009A1F980B3DD  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:49:07]
729*2^1225813-1 is not prime.  Res64: 33B0AEEBA11535B4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:56:51]
817*2^1225813-1 is not prime.  Res64: EB4672B5A7C9019B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 00:56:52]
829*2^1225813-1 is not prime.  Res64: 418884BB8AEDEA28  Time : 0.0 sec.
user=vaughan
[2012-08-06 01:02:41]
789*2^1225813-1 is not prime.  Res64: 398560AF38B69FDA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:04:11]
671*2^1225814-1 is not prime.  Res64: 7210356C2349226C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:04:13]
885*2^1225814-1 is not prime.  Res64: 4411ACA720123185  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:13:02]
937*2^1225813-1 is not prime.  Res64: D7E5AEF5C947DD4E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:17:25]
951*2^1225814-1 is not prime.  Res64: A63189CDF195A705  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:17:25]
953*2^1225814-1 is not prime.  Res64: FC69C75B28F413E3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:19:35]
903*2^1225814-1 is not prime.  Res64: C3D47C33EE7F2071  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:24:46]
949*2^1225815-1 is not prime.  Res64: A166BD9DFF66BE98  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:24:46]
955*2^1225815-1 is not prime.  Res64: 2646EE12ED0F7CC9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:37:58]
705*2^1225816-1 is not prime.  Res64: B550EF5BB93B4037  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:37:59]
825*2^1225816-1 is not prime.  Res64: 3308A25BFA0BC478  Time : 0.0 sec.
user=vaughan
[2012-08-06 01:40:05]
943*2^1225815-1 is not prime.  Res64: 5FD9FEFD5BB0F11A  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 01:43:07]
961*2^1225815-1 is not prime.  Res64: D15CAC9EE27237DF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:44:01]
617*2^1225816-1 is not prime.  Res64: 87A0BB0EFDCDFD16  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:45:24]
909*2^1225816-1 is not prime.  Res64: 1B09F6C0A218FCBC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:45:25]
637*2^1225817-1 is not prime.  Res64: AA40EA524708689D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:50:34]
833*2^1225816-1 is not prime.  Res64: 758AEFCB28456110  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 01:58:03]
697*2^1225817-1 is not prime.  Res64: 127AF0A258CCA284  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:58:32]
717*2^1225817-1 is not prime.  Res64: 85A964759977092B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 01:58:33]
861*2^1225817-1 is not prime.  Res64: 561E8C25B2BB49F9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:05:59]
633*2^1225818-1 is not prime.  Res64: D95904512D96561B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:06:01]
707*2^1225818-1 is not prime.  Res64: 5D2FFD5666487997  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:14:31]
955*2^1225817-1 is not prime.  Res64: AAA7A842C323036A  Time : 0.0 sec.
user=vaughan
[2012-08-06 02:17:29]
889*2^1225817-1 is not prime.  Res64: 102A4C07813E6043  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:19:06]
747*2^1225818-1 is not prime.  Res64: 10D65B39183BB390  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:19:06]
755*2^1225818-1 is not prime.  Res64: BC96BFC2D251A149  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:21:06]
735*2^1225818-1 is not prime.  Res64: 10415D0635929060  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:26:42]
777*2^1225818-1 is not prime.  Res64: 5D6E403656E9CAD3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:26:42]
825*2^1225818-1 is not prime.  Res64: 21ABF90C6281B5BB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:39:40]
793*2^1225819-1 is not prime.  Res64: 2D2027A7E3E8033C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:39:41]
811*2^1225819-1 is not prime.  Res64: 1777531AF8492E94  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:45:13]
843*2^1225818-1 is not prime.  Res64: FE34A101B7A78ED8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:47:17]
789*2^1225820-1 is not prime.  Res64: D697D532C6EAC466  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:47:18]
797*2^1225820-1 is not prime.  Res64: FCFF4F17A1287CCA  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 02:47:24]
733*2^1225819-1 is not prime.  Res64: CBD8295B08915C22  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 02:48:06]
951*2^1225819-1 is not prime.  Res64: EACBE643E1B7BFEC  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 02:50:34]
635*2^1225820-1 is not prime.  Res64: C05C58FC3C3888C8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 02:51:35]
891*2^1225819-1 is not prime.  Res64: 189A7B9D8AD413C7  Time : 0.0 sec.
user=vaughan
[2012-08-06 02:54:52]
741*2^1225819-1 is not prime.  Res64: 22E00132DEBAB959  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 02:56:37]
669*2^1225820-1 is not prime.  Res64: F17AA571EB2A975F  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 02:57:36]
665*2^1225820-1 is not prime.  Res64: 1D49800F77B72864  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:00:18]
625*2^1225821-1 is not prime.  Res64: DA29E3FEECE643F7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:00:18]
657*2^1225821-1 is not prime.  Res64: 60A2DBDA335BBAFD  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:01:43]
875*2^1225820-1 is not prime.  Res64: 7B6FCC5CC44863A5  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:06:20]
977*2^1225820-1 is not prime.  Res64: 8B2BD7DC03E5EB44  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:07:52]
871*2^1225821-1 is not prime.  Res64: BA97479F9A4FAF6A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:07:52]
907*2^1225821-1 is not prime.  Res64: 8BC3B333D51DC260  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:15:50]
691*2^1225821-1 is not prime.  Res64: A67B30295A746C39  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:20:52]
987*2^1225821-1 is not prime.  Res64: 6AF57C863FA06488  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:20:53]
621*2^1225822-1 is not prime.  Res64: 2C36C7FB28B6B0F3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:21:55]
927*2^1225821-1 is not prime.  Res64: 9639407AC63AEAAF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:28:27]
645*2^1225822-1 is not prime.  Res64: 5962FDFBC9F08316  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:28:27]
765*2^1225822-1 is not prime.  Res64: 2B472BBEF8CF0644  Time : 0.0 sec.
user=vaughan
[2012-08-06 03:32:30]
961*2^1225821-1 is not prime.  Res64: 68CFF2606347EBA1  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:40:17]
827*2^1225822-1 is not prime.  Res64: 869CA89EEDC3A6FA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:41:28]
603*2^1225823-1 is not prime.  Res64: 602CE6256251BF69  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:41:29]
615*2^1225823-1 is not prime.  Res64: 0019252CA58E5748  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:41:32]
873*2^1225822-1 is not prime.  Res64: 70B6CA24B9A1DD47  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:46:34]
885*2^1225822-1 is not prime.  Res64: A80DCBF31BBF8380  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:46:50]
917*2^1225822-1 is not prime.  Res64: 83ECD36356AFB9A9  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 03:46:58]
965*2^1225822-1 is not prime.  Res64: 20B8FB3BACF86098  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:49:01]
721*2^1225823-1 is not prime.  Res64: C13EB846F967DEE6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 03:49:02]
753*2^1225823-1 is not prime.  Res64: B0AF9CCD0B1FEE55  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:02:05]
871*2^1225823-1 is not prime.  Res64: D554616C3D466CF2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:02:06]
981*2^1225823-1 is not prime.  Res64: 5A67D8B263601078  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:09:35]
737*2^1225824-1 is not prime.  Res64: 5E551DFC81AB1F01  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:09:36]
765*2^1225824-1 is not prime.  Res64: 4929155258CC0C22  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:09:47]
705*2^1225823-1 is not prime.  Res64: 72B68BB743D82B91  Time : 0.0 sec.
user=vaughan
[2012-08-06 04:09:54]
831*2^1225823-1 is not prime.  Res64: 97F111D39C6268E9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:22:52]
947*2^1225824-1 is not prime.  Res64: A73602433A16F1B7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:22:53]
969*2^1225824-1 is not prime.  Res64: ACDE1A5D97356A41  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:26:06]
789*2^1225824-1 is not prime.  Res64: 5E992AD0F1B29ECB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:30:11]
751*2^1225825-1 is not prime.  Res64: 095C765C483A3373  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:30:12]
805*2^1225825-1 is not prime.  Res64: A51BE00F56C73BF8  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 04:34:12]
691*2^1225825-1 is not prime.  Res64: 2A6545B18FFA9A39  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 04:37:35]
717*2^1225825-1 is not prime.  Res64: 3C9693FCEE0F7BE4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:40:28]
861*2^1225825-1 is not prime.  Res64: 0BF56116BC66B742  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:43:30]
997*2^1225825-1 is not prime.  Res64: 98A71FB4C77D7762  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:43:30]
711*2^1225826-1 is not prime.  Res64: 199E93B2C10983CD  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 04:46:52]
939*2^1225825-1 is not prime.  Res64: B953B39968ED42A8  Time : 0.0 sec.
user=vaughan
[2012-08-06 04:47:19]
925*2^1225825-1 is not prime.  Res64: B5D08CCD597D847C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:50:47]
945*2^1225826-1 is not prime.  Res64: 6979333C9C66375C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:50:48]
981*2^1225826-1 is not prime.  Res64: A93E616C60CA4D4C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 04:56:49]
755*2^1225826-1 is not prime.  Res64: 561A4CF2A47E107C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:04:04]
709*2^1225827-1 is not prime.  Res64: BCB4D55FCAE2EF8A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:04:05]
711*2^1225827-1 is not prime.  Res64: 1281C6ABB9D96A88  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:11:07]
609*2^1225827-1 is not prime.  Res64: 81FE5DEACBCBBEFF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:11:21]
741*2^1225827-1 is not prime.  Res64: 1BE399512F225F61  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:11:23]
765*2^1225827-1 is not prime.  Res64: A5987370863BD500  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:24:41]
801*2^1225827-1 is not prime.  Res64: 6A28D50293880A5E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:24:42]
849*2^1225827-1 is not prime.  Res64: 0469B2D31FE245BC  Time : 0.0 sec.
user=vaughan
[2012-08-06 05:24:43]
735*2^1225827-1 is not prime.  Res64: DF68AE29634A75D0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:27:22]
793*2^1225827-1 is not prime.  Res64: 6F048B3C6DE20955  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:32:00]
979*2^1225827-1 is not prime.  Res64: 44935F46C8EF4B3E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:32:05]
603*2^1225828-1 is not prime.  Res64: FFF0E8FB243FEFEE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:41:41]
975*2^1225827-1 is not prime.  Res64: B4086501DB3FE960  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:45:16]
723*2^1225828-1 is not prime.  Res64: 21367F253493ECB5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:45:18]
735*2^1225828-1 is not prime.  Res64: 586F66827BB3EF1F  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 05:46:04]
635*2^1225828-1 is not prime.  Res64: 68793AA733307AF8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:52:50]
729*2^1225829-1 is not prime.  Res64: 5AA3125CAAB1D284  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:52:52]
825*2^1225829-1 is not prime.  Res64: 8A7D7671D6A64117  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 05:58:01]
619*2^1225829-1 is not prime.  Res64: 350E7543CF903225  Time : 0.0 sec.
user=vaughan
[2012-08-06 06:02:07]
863*2^1225828-1 is not prime.  Res64: 2614C84AB4F3D909  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 06:02:18]
987*2^1225829-1 is not prime.  Res64: D282BEA4F75EE065  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:05:52]
797*2^1225830-1 is not prime.  Res64: 34FEFE6AA3473730  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:05:53]
825*2^1225830-1 is not prime.  Res64: 794398788E0CF5A7  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 06:07:33]
939*2^1225829-1 is not prime.  Res64: ECF766F8BF229A63  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 06:08:18]
755*2^1225830-1 is not prime.  Res64: FE48E6CF21443C2C  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 06:09:30]
741*2^1225830-1 is not prime.  Res64: 28EEB2205CE66336  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:12:22]
761*2^1225830-1 is not prime.  Res64: 7219ECF0CC4B82FC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:13:51]
833*2^1225830-1 is not prime.  Res64: 97018EAED9232976  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:13:53]
651*2^1225831-1 is not prime.  Res64: DFBEDCDF6A7A2C94  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:26:28]
859*2^1225831-1 is not prime.  Res64: BA8793030304C378  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:26:29]
871*2^1225831-1 is not prime.  Res64: 53F39E60F69E47F8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:28:35]
805*2^1225831-1 is not prime.  Res64: 261B5682C4392802  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:34:29]
699*2^1225832-1 is not prime.  Res64: 9107F47C7ECC30BC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:34:29]
713*2^1225832-1 is not prime.  Res64: 62423B340087FA86  Time : 0.0 sec.
user=vaughan
[2012-08-06 06:39:33]
855*2^1225831-1 is not prime.  Res64: FC9AA6BB57800D2D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:43:19]
623*2^1225832-1 is not prime.  Res64: A52C89E745E66049  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:47:05]
855*2^1225832-1 is not prime.  Res64: 0F646F2AB349907E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:47:06]
875*2^1225832-1 is not prime.  Res64: D728ADDEAC191561  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:55:02]
747*2^1225833-1 is not prime.  Res64: ED506EB743A2354E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:55:03]
807*2^1225833-1 is not prime.  Res64: DA3F16B4EC86DC96  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 06:59:09]
899*2^1225832-1 is not prime.  Res64: A3134A27290C31FF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:07:41]
675*2^1225834-1 is not prime.  Res64: A11BD49DF8D3D249  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:07:43]
791*2^1225834-1 is not prime.  Res64: 68FDCBF0219D3CA0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:13:53]
955*2^1225833-1 is not prime.  Res64: 758D6F51A0873617  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:15:35]
831*2^1225834-1 is not prime.  Res64: 1693A037AFD262CC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:15:36]
947*2^1225834-1 is not prime.  Res64: E6289DB013E45504  Time : 0.0 sec.
user=vaughan
[2012-08-06 07:16:56]
849*2^1225833-1 is not prime.  Res64: D0A45D9D5BA653E5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:28:26]
651*2^1225835-1 is not prime.  Res64: F501E5D2A4CE3278  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:28:27]
669*2^1225835-1 is not prime.  Res64: 1AECEF94EE6C2978  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:29:42]
619*2^1225835-1 is not prime.  Res64: CEFF1E8864BE3120  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:36:09]
771*2^1225835-1 is not prime.  Res64: 4C8A9A9452AD0B49  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:36:09]
719*2^1225836-1 is not prime.  Res64: 7827C7F530F694B9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:44:32]
759*2^1225835-1 is not prime.  Res64: 98105915088791A1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:49:02]
735*2^1225836-1 is not prime.  Res64: 0EDD597B86986739  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:49:03]
773*2^1225836-1 is not prime.  Res64: 55B37349CE954AD3  Time : 0.0 sec.
user=vaughan
[2012-08-06 07:54:18]
725*2^1225836-1 is not prime.  Res64: B240CFD86FBBB065  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:56:43]
645*2^1225837-1 is not prime.  Res64: D007BB2EAA37D1C5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 07:56:44]
651*2^1225837-1 is not prime.  Res64: 1B8FDA91D6036C42  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:00:24]
899*2^1225836-1 is not prime.  Res64: 87EA2126887E2A15  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:09:39]
717*2^1225837-1 is not prime.  Res64: 0CCB1EC3C1865E56  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:09:41]
939*2^1225837-1 is not prime.  Res64: 7F53398E8B822364  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:15:02]
667*2^1225837-1 is not prime.  Res64: 8E196C88F2B9D5CA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:17:26]
975*2^1225837-1 is not prime.  Res64: B5253F5611D05017  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:17:28]
603*2^1225838-1 is not prime.  Res64: 0881DB880BF1052F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:30:28]
743*2^1225838-1 is not prime.  Res64: 9412BB44DC0F4563  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:30:29]
815*2^1225838-1 is not prime.  Res64: D7C9FA320B311A3B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:31:04]
693*2^1225838-1 is not prime.  Res64: 91779746683A4233  Time : 0.0 sec.
user=vaughan
[2012-08-06 08:31:43]
967*2^1225837-1 is not prime.  Res64: AC868CB0A911A3B8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:38:29]
843*2^1225838-1 is not prime.  Res64: B8C0ECB468FBBFC1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:38:29]
857*2^1225838-1 is not prime.  Res64: E7FDE6CCFAC3BB60  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:45:39]
831*2^1225838-1 is not prime.  Res64: 7AFD7E8873B611D3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:51:20]
609*2^1225839-1 is not prime.  Res64: 0AB50E055536DD64  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:51:20]
649*2^1225839-1 is not prime.  Res64: 0E7BCCFCC24D5797  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:59:20]
723*2^1225839-1 is not prime.  Res64: CB99B9C8CA2BB1EA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 08:59:20]
909*2^1225839-1 is not prime.  Res64: D0E5C2C373489020  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:01:50]
663*2^1225839-1 is not prime.  Res64: F87A218BB7BB8F5C  Time : 0.0 sec.
user=vaughan
[2012-08-06 09:09:08]
693*2^1225839-1 is not prime.  Res64: C8E604E6548CA8D8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:12:11]
955*2^1225839-1 is not prime.  Res64: E897B532E3BDF07C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:12:13]
653*2^1225840-1 is not prime.  Res64: CEE99427A0B4E2F7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:16:24]
919*2^1225839-1 is not prime.  Res64: 84D16C4F65D1F286  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:20:15]
719*2^1225840-1 is not prime.  Res64: D7BC17F5C11CAD0A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:20:15]
759*2^1225840-1 is not prime.  Res64: 8E1D962F150D809E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:32:29]
803*2^1225840-1 is not prime.  Res64: D9C78044ED7C5052  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:33:29]
933*2^1225840-1 is not prime.  Res64: F9777891DCDB6317  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:33:30]
747*2^1225841-1 is not prime.  Res64: FEB8E282D1ABF946  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:41:16]
901*2^1225841-1 is not prime.  Res64: EEAF62D890EF0BDF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:41:17]
967*2^1225841-1 is not prime.  Res64: 0A6A05D61AF29A59  Time : 0.0 sec.
user=vaughan
[2012-08-06 09:46:49]
825*2^1225840-1 is not prime.  Res64: 7B6495F98458FBEE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:47:04]
775*2^1225841-1 is not prime.  Res64: 62C732F3D66325AC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:54:32]
671*2^1225842-1 is not prime.  Res64: D3596C0579021C66  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 09:54:32]
803*2^1225842-1 is not prime.  Res64: 3C083D5D216DCFD8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:02:15]
893*2^1225842-1 is not prime.  Res64: 1DE2CB92FA4685B1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:02:16]
963*2^1225842-1 is not prime.  Res64: 001ED85392A9937F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:03:15]
987*2^1225841-1 is not prime.  Res64: 5A1FA3897B073366  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:15:21]
681*2^1225843-1 is not prime.  Res64: 772D2C4F42FC99E3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:15:24]
745*2^1225843-1 is not prime.  Res64: CE77638C4C9F86CF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:18:02]
673*2^1225843-1 is not prime.  Res64: 2A20E368C8E6A395  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:23:15]
805*2^1225843-1 is not prime.  Res64: D2168D90E477FEFC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:23:15]
811*2^1225843-1 is not prime.  Res64: BF2911A4EB2947FB  Time : 0.0 sec.
user=vaughan
[2012-08-06 10:24:16]
975*2^1225842-1 is not prime.  Res64: 461B061C935BAE87  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:34:07]
829*2^1225843-1 is not prime.  Res64: D85F6308CBBB28B6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:36:36]
835*2^1225843-1 is not prime.  Res64: 04639D582B6902AB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:36:38]
615*2^1225844-1 is not prime.  Res64: EFA665E264A6877F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:44:04]
837*2^1225844-1 is not prime.  Res64: 7072911FC8CAE84A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:44:05]
903*2^1225844-1 is not prime.  Res64: 161B38903BF2616B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:48:32]
759*2^1225844-1 is not prime.  Res64: B64861DBD507DE8D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:57:33]
831*2^1225845-1 is not prime.  Res64: 445BF1C3D4C8ADBE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 10:57:33]
895*2^1225845-1 is not prime.  Res64: 19ED850E585E382D  Time : 0.0 sec.
user=vaughan
[2012-08-06 11:01:46]
691*2^1225845-1 is not prime.  Res64: 7AC3D487C41F8E6F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:04:51]
751*2^1225845-1 is not prime.  Res64: 18F1E7058FFC26A5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:05:10]
999*2^1225845-1 is not prime.  Res64: 6D54B2350B708A27  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:05:12]
611*2^1225846-1 is not prime.  Res64: BFCDCC2515659EA5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:18:30]
801*2^1225846-1 is not prime.  Res64: 914641BBDCCECFD2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:18:31]
881*2^1225846-1 is not prime.  Res64: 954DA9A8AA1E332F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:19:12]
737*2^1225846-1 is not prime.  Res64: 7CC001C37BDD34A9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:26:15]
619*2^1225847-1 is not prime.  Res64: 8F7EAB48FA32AF5E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:26:16]
841*2^1225847-1 is not prime.  Res64: 6798D6F13FC6002F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:35:33]
945*2^1225846-1 is not prime.  Res64: A1171B7872746D17  Time : 0.0 sec.
user=vaughan
[2012-08-06 11:39:16]
911*2^1225846-1 is not prime.  Res64: 7AC2F4A46BA42BE2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:39:31]
865*2^1225847-1 is not prime.  Res64: C23BF801EF5E4646  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:39:32]
883*2^1225847-1 is not prime.  Res64: A8BBF1FA951A9553  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:47:11]
665*2^1225848-1 is not prime.  Res64: AF24D00794609379  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:47:12]
683*2^1225848-1 is not prime.  Res64: 69FB7BACD8F1128B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 11:49:50]
895*2^1225847-1 is not prime.  Res64: 2AF61DB27AF5AB89  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:00:29]
615*2^1225849-1 is not prime.  Res64: D77935C64C34DFED  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:00:30]
637*2^1225849-1 is not prime.  Res64: 8A23E289490A40A0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:06:08]
753*2^1225848-1 is not prime.  Res64: 1E53A7628ECF81E1  Time : 0.0 sec.
user=vaughan
[2012-08-06 12:16:51]
875*2^1225848-1 is not prime.  Res64: A8CBE7A2B0D7DF45  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:18:37]
775*2^1225849-1 is not prime.  Res64: E61BA40D2B88597D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:18:38]
743*2^1225850-1 is not prime.  Res64: EEC16A4A2E2AE8C4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:20:45]
681*2^1225849-1 is not prime.  Res64: 666A37D7BF6E47BA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:21:20]
773*2^1225850-1 is not prime.  Res64: DB76A0E68E95CE6C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:21:22]
783*2^1225850-1 is not prime.  Res64: C277F92F0AF317DE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:37:54]
867*2^1225850-1 is not prime.  Res64: 48505D2D9403AA7A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:39:23]
685*2^1225851-1 is not prime.  Res64: 61879D8AD3FB124B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:39:24]
723*2^1225851-1 is not prime.  Res64: 4B89173C7B7B045B  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 12:40:13]
953*2^1225850-1 is not prime.  Res64: 47FBA5E2405AB134  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:42:05]
859*2^1225851-1 is not prime.  Res64: C2AF4DC7DE712492  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:42:06]
895*2^1225851-1 is not prime.  Res64: 369097359A7ECC5C  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 12:43:32]
923*2^1225850-1 is not prime.  Res64: 46B1024597CF951F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 12:51:37]
781*2^1225851-1 is not prime.  Res64: BCA4197F2FBCC2A3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:00:02]
961*2^1225851-1 is not prime.  Res64: FA25955AAA0B46DB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:00:04]
705*2^1225852-1 is not prime.  Res64: 2F89A5FF810023D2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:02:43]
873*2^1225852-1 is not prime.  Res64: C699375A2D401F6C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:02:44]
887*2^1225852-1 is not prime.  Res64: CCE835329ED50282  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:08:47]
913*2^1225851-1 is not prime.  Res64: D77B760CF14108C5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:39:42]
901*2^1225853-1 is not prime.  Res64: F03DDD892B7DF695  Time : 0.0 sec.
user=vaughan
[2012-08-06 13:39:52]
965*2^1225852-1 is not prime.  Res64: 75C0984A2D1FCC17  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:40:17]
685*2^1225853-1 is not prime.  Res64: 03F0E57ADC88E302  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:40:17]
715*2^1225853-1 is not prime.  Res64: 55E823DC344CFCD1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:55:01]
987*2^1225852-1 is not prime.  Res64: 7C42B97FB6B206B0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:55:01]
619*2^1225853-1 is not prime.  Res64: 22AFF4F2D17C3028  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 13:55:23]
947*2^1225852-1 is not prime.  Res64: 1FC4C00EC4D532E8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:00:54]
795*2^1225854-1 is not prime.  Res64: 9DFE33E3F771029E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:00:57]
851*2^1225854-1 is not prime.  Res64: 4053458430AEFF68  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:11:16]
937*2^1225853-1 is not prime.  Res64: 7BC3CC7EFBCD4115  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:15:36]
885*2^1225854-1 is not prime.  Res64: B1AC31AB17A6F318  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:15:38]
891*2^1225854-1 is not prime.  Res64: 561F2C5FBDE95085  Time : 0.0 sec.
user=vaughan
[2012-08-06 14:17:20]
725*2^1225854-1 is not prime.  Res64: E2757F33CE69C70D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:21:45]
673*2^1225855-1 is not prime.  Res64: 2DCA889F1583874C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:21:45]
763*2^1225855-1 is not prime.  Res64: D3E4CCA87CD05D30  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:27:59]
639*2^1225855-1 is not prime.  Res64: 7B6F90BE7E623241  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:36:15]
833*2^1225856-1 is not prime.  Res64: 9C181BBF7AE721E4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:36:16]
945*2^1225856-1 is not prime.  Res64: 5352346B846E785F  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 14:37:30]
831*2^1225855-1 is not prime.  Res64: 90F3694BED641A4C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:42:23]
609*2^1225857-1 is not prime.  Res64: 3120BB29759E7EC9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:42:24]
625*2^1225857-1 is not prime.  Res64: 7E488FE03112D1A9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:44:17]
909*2^1225855-1 is not prime.  Res64: 1A1506C4031F6BF6  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 14:45:02]
617*2^1225856-1 is not prime.  Res64: 2C5F68B15464A7D1  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 14:45:16]
669*2^1225856-1 is not prime.  Res64: D5DEF7EC1C33A590  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 14:45:58]
725*2^1225856-1 is not prime.  Res64: 9064B041675E6CE4  Time : 0.0 sec.
user=vaughan
[2012-08-06 14:54:44]
969*2^1225856-1 is not prime.  Res64: 00FD813F8529FAEB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:56:51]
765*2^1225857-1 is not prime.  Res64: 0850C9EC9CC4062F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 14:56:51]
895*2^1225857-1 is not prime.  Res64: 1C0F1371DAA89ABE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:00:09]
747*2^1225857-1 is not prime.  Res64: EEA3E1E3369A17D2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:02:57]
901*2^1225857-1 is not prime.  Res64: 9151CA610EBF1E92  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:02:58]
919*2^1225857-1 is not prime.  Res64: 5686BFE61F71648F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:15:24]
949*2^1225857-1 is not prime.  Res64: 78828CCFFE215495  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:17:26]
777*2^1225858-1 is not prime.  Res64: 72CB619E55E66F09  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:17:27]
815*2^1225858-1 is not prime.  Res64: F7883A1BCBBA389C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:23:40]
845*2^1225858-1 is not prime.  Res64: 7BCB101E2AFD8905  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:23:41]
857*2^1225858-1 is not prime.  Res64: 6E9E79E26B4226BD  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:31:11]
825*2^1225858-1 is not prime.  Res64: 15D2F5D354993763  Time : 0.0 sec.
user=vaughan
[2012-08-06 15:32:09]
611*2^1225858-1 is not prime.  Res64: DE459028C9B54019  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:38:10]
999*2^1225859-1 is not prime.  Res64: 31180F725F40570F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:38:10]
623*2^1225860-1 is not prime.  Res64: F4E72EDD269B6AB2  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 15:43:46]
655*2^1225859-1 is not prime.  Res64: F2D78CE3C28D331C  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 15:43:53]
915*2^1225858-1 is not prime.  Res64: 5C800A32F682EBA1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:44:21]
635*2^1225860-1 is not prime.  Res64: 5CED75BA7C5C5D90  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:44:22]
669*2^1225860-1 is not prime.  Res64: 785EB25BCDBFA3F7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:46:29]
753*2^1225859-1 is not prime.  Res64: EF50AF3DD026AAF3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:58:50]
899*2^1225860-1 is not prime.  Res64: DD8E772094FF044F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 15:58:51]
927*2^1225860-1 is not prime.  Res64: C429A413357FDE51  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:01:58]
725*2^1225860-1 is not prime.  Res64: FBC25CA4510BF446  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:05:03]
959*2^1225860-1 is not prime.  Res64: D8CAAEFA92ED86E7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:05:07]
777*2^1225861-1 is not prime.  Res64: A0A6359157BD06B6  Time : 0.0 sec.
user=vaughan
[2012-08-06 16:09:37]
863*2^1225860-1 is not prime.  Res64: C2F0539370E54B8F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:17:21]
829*2^1225861-1 is not prime.  Res64: 85332FD1D39C38FB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:19:35]
877*2^1225861-1 is not prime.  Res64: B5E4584282DEC0E6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:19:36]
925*2^1225861-1 is not prime.  Res64: C6BC628D2DADB4DA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:25:54]
987*2^1225861-1 is not prime.  Res64: 02BBC54637993715  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:25:55]
635*2^1225862-1 is not prime.  Res64: 67257B0D59C1311D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:32:42]
967*2^1225861-1 is not prime.  Res64: 593A4F2BA377DCE0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:40:18]
785*2^1225862-1 is not prime.  Res64: 6B2DB1DA176FC0AF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:40:18]
791*2^1225862-1 is not prime.  Res64: C27605C987C3E0FD  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:46:36]
885*2^1225862-1 is not prime.  Res64: E2BAAAE4BEEC9E3F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:46:37]
945*2^1225862-1 is not prime.  Res64: 5F0BFA034BDB6B61  Time : 0.0 sec.
user=vaughan
[2012-08-06 16:47:05]
657*2^1225862-1 is not prime.  Res64: D89E9520FC94665A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 16:48:12]
693*2^1225862-1 is not prime.  Res64: C0A4540449C65B09  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:01:06]
709*2^1225863-1 is not prime.  Res64: E410AB9A880478DB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:01:07]
765*2^1225863-1 is not prime.  Res64: 8E8CD72FAF07525B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:03:29]
675*2^1225863-1 is not prime.  Res64: 06DE1556643F198D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:07:30]
895*2^1225863-1 is not prime.  Res64: 45E4A0F253A87AE0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:07:31]
609*2^1225864-1 is not prime.  Res64: B19F00CCA8A0EBDE  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:18:49]
863*2^1225864-1 is not prime.  Res64: EE986EAA33A00511  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:22:27]
869*2^1225864-1 is not prime.  Res64: EBCD17CB4D5A0731  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:22:27]
607*2^1225865-1 is not prime.  Res64: 868CCF63DC9E743F  Time : 0.0 sec.
user=vaughan
[2012-08-06 17:24:29]
657*2^1225864-1 is not prime.  Res64: DEBAB053BCD4AF2E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:28:35]
787*2^1225865-1 is not prime.  Res64: 138A2D5E094D9CFF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:28:36]
889*2^1225865-1 is not prime.  Res64: F516714A2567632B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:34:11]
711*2^1225865-1 is not prime.  Res64: 0310B6D4D4CD6527  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:43:31]
713*2^1225866-1 is not prime.  Res64: 8F05752B54966F9B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:43:31]
801*2^1225866-1 is not prime.  Res64: EFAEF988BED5316A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:49:40]
945*2^1225866-1 is not prime.  Res64: C8A29C35CE772CF9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:49:40]
691*2^1225867-1 is not prime.  Res64: 3ACEF061DCED9C92  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 17:49:40]
677*2^1225866-1 is not prime.  Res64: 0516CBFA56691475  Time : 0.0 sec.
user=vaughan
[2012-08-06 18:01:54]
905*2^1225866-1 is not prime.  Res64: 3F6C351567A95924  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:04:32]
769*2^1225867-1 is not prime.  Res64: B0EF308284776062  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:04:33]
775*2^1225867-1 is not prime.  Res64: A50C50C5E36CF2C0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:04:53]
759*2^1225867-1 is not prime.  Res64: 61136E3D14F332B7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:10:39]
993*2^1225867-1 is not prime.  Res64: 82FD8655581AA011  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:10:41]
635*2^1225868-1 is not prime.  Res64: E9EC18A4439C05C3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:20:15]
813*2^1225867-1 is not prime.  Res64: C52F125297D9176F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:25:38]
753*2^1225868-1 is not prime.  Res64: AC8168296E4609AA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:25:38]
957*2^1225868-1 is not prime.  Res64: B41CBA4FC5406273  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:31:55]
721*2^1225869-1 is not prime.  Res64: 65D216B1743A1CA4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:31:55]
835*2^1225869-1 is not prime.  Res64: E879355E5B3497D4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:35:38]
995*2^1225868-1 is not prime.  Res64: D1343F162CE715B9  Time : 0.0 sec.
user=vaughan
[2012-08-06 18:39:32]
657*2^1225868-1 is not prime.  Res64: C9F0B46765A5E900  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:46:42]
919*2^1225869-1 is not prime.  Res64: BD5C2FA8300CEEA6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:46:43]
921*2^1225869-1 is not prime.  Res64: E91685147235D620  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:50:52]
877*2^1225869-1 is not prime.  Res64: 59424C01420BFEA7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:52:55]
857*2^1225870-1 is not prime.  Res64: D300C5FD48721E9B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 18:52:55]
975*2^1225870-1 is not prime.  Res64: 1E71866D261660D5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:06:22]
615*2^1225871-1 is not prime.  Res64: 2F3DE5E79708B32A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:07:53]
685*2^1225871-1 is not prime.  Res64: 17C4780EDB6594E9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:07:55]
759*2^1225871-1 is not prime.  Res64: AE04F68BDC798062  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:14:07]
981*2^1225871-1 is not prime.  Res64: 495AF00E13393376  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:14:09]
693*2^1225872-1 is not prime.  Res64: B095719769B2E5A4  Time : 0.0 sec.
user=vaughan
[2012-08-06 19:16:57]
661*2^1225871-1 is not prime.  Res64: 767B4B0A2401A673  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:21:41]
775*2^1225871-1 is not prime.  Res64: 8D9CE55C40E58C1F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:29:01]
717*2^1225872-1 is not prime.  Res64: F80F9615A17BB6CD  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:29:02]
863*2^1225872-1 is not prime.  Res64: 701E6B8DC5E1BF86  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:35:16]
983*2^1225872-1 is not prime.  Res64: 0C982C192A750D89  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:35:16]
801*2^1225873-1 is not prime.  Res64: C52D87923CAD2779  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:37:28]
699*2^1225872-1 is not prime.  Res64: 9A047A2F2311C4A7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:50:15]
999*2^1225873-1 is not prime.  Res64: 5D4BC78109C1D59A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:50:15]
605*2^1225874-1 is not prime.  Res64: 636C676EFAD6018A  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:52:28]
937*2^1225873-1 is not prime.  Res64: 17621F5EEB0C79F1  Time : 0.0 sec.
user=vaughan
[2012-08-06 19:54:23]
807*2^1225873-1 is not prime.  Res64: 510668C917671B55  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:56:30]
615*2^1225874-1 is not prime.  Res64: 8E8BD73D6130E016  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 19:56:30]
677*2^1225874-1 is not prime.  Res64: ADB4CFA6EAE031F8  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:08:25]
813*2^1225874-1 is not prime.  Res64: 67F52F3C9E3127C4  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:11:21]
857*2^1225874-1 is not prime.  Res64: 43E9213B6F99E0B6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:11:22]
873*2^1225874-1 is not prime.  Res64: 71F420BF6F5EC7D9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:17:35]
951*2^1225874-1 is not prime.  Res64: EBBA96B5691626D6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:17:36]
983*2^1225874-1 is not prime.  Res64: 764A249F41F70D35  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:23:20]
887*2^1225874-1 is not prime.  Res64: FF1D8DB7D7861BED  Time : 0.0 sec.
user=vaughan
[2012-08-06 20:31:47]
945*2^1225874-1 is not prime.  Res64: 2AF2E3E727BCA46C  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:32:22]
633*2^1225875-1 is not prime.  Res64: 886587483EFB4B05  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:32:22]
751*2^1225875-1 is not prime.  Res64: C6378DF9BFBDEA36  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:38:39]
999*2^1225875-1 is not prime.  Res64: DBDCC4278B5D9A94  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:38:39]
617*2^1225876-1 is not prime.  Res64: 1AE98FF478CC25B0  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:39:22]
619*2^1225875-1 is not prime.  Res64: C6CB543FFFFBBE63  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:53:18]
783*2^1225876-1 is not prime.  Res64: 4C9901D9CC544FBF  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:53:19]
903*2^1225876-1 is not prime.  Res64: CA7A396921E66856  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:54:04]
663*2^1225876-1 is not prime.  Res64: 4B80287E1C94DA02  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:59:31]
685*2^1225877-1 is not prime.  Res64: 0E455D18FE8B18E2  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 20:59:31]
937*2^1225877-1 is not prime.  Res64: ABE1238CCF3375B6  Time : 0.0 sec.
user=vaughan
[2012-08-06 21:09:12]
779*2^1225876-1 is not prime.  Res64: C321F345D8ACD18E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:10:15]
957*2^1225877-1 is not prime.  Res64: 2ADC69C9D50CF2CA  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:14:11]
981*2^1225877-1 is not prime.  Res64: 2B2753FA51D21CF6  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:14:12]
641*2^1225878-1 is not prime.  Res64: 9CBFCF6C04EA4299  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:20:24]
681*2^1225878-1 is not prime.  Res64: 12132C9C14C47641  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:20:25]
693*2^1225878-1 is not prime.  Res64: 65951741CB39AD6D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:24:58]
671*2^1225878-1 is not prime.  Res64: D407DF390B51E374  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 21:32:19]
761*2^1225878-1 is not prime.  Res64: 1ECF5234B6067DA0  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 21:32:35]
773*2^1225878-1 is not prime.  Res64: 11D7C6D9153C00CC  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:35:08]
933*2^1225879-1 is not prime.  Res64: 30A5DE247DBC5841  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:35:08]
951*2^1225879-1 is not prime.  Res64: 083177D956C7B2F7  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 21:36:27]
713*2^1225878-1 is not prime.  Res64: FFFEB42DC2EF7039  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 21:38:12]
945*2^1225878-1 is not prime.  Res64: 368C8E3C9766EE6F  Time : 0.0 sec.
user=gd_barnes
[2012-08-06 21:38:17]
977*2^1225878-1 is not prime.  Res64: 53ADBAD90B302C1D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:41:17]
615*2^1225880-1 is not prime.  Res64: EACBB34E6F1AA414  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:41:17]
841*2^1225879-1 is not prime.  Res64: 753816367A615732  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:41:18]
675*2^1225880-1 is not prime.  Res64: 407A5E32C39743DF  Time : 0.0 sec.
user=vaughan
[2012-08-06 21:46:37]
621*2^1225879-1 is not prime.  Res64: 7C0217DF5E16C1B5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:55:37]
797*2^1225880-1 is not prime.  Res64: 1BF25E34270693EB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:56:13]
879*2^1225880-1 is not prime.  Res64: 16B8B3FEFFEC0FC9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 21:56:14]
999*2^1225880-1 is not prime.  Res64: 018B795165397ADB  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:02:25]
625*2^1225881-1 is not prime.  Res64: 2D5F0DC7B6E09AA3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:02:26]
651*2^1225881-1 is not prime.  Res64: 774A5C8FC07E1FB1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:11:59]
685*2^1225881-1 is not prime.  Res64: F79E890119BE8F4B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:17:11]
871*2^1225881-1 is not prime.  Res64: 3BD1169F13507BB9  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:17:11]
921*2^1225881-1 is not prime.  Res64: D1F598461545E7A3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:23:20]
979*2^1225881-1 is not prime.  Res64: 9DEAA951F6929C28  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:23:21]
657*2^1225882-1 is not prime.  Res64: 142B1BEDEA0A44C5  Time : 0.0 sec.
user=vaughan
[2012-08-06 22:24:02]
747*2^1225881-1 is not prime.  Res64: 1C4D0F290592DB34  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:26:15]
829*2^1225881-1 is not prime.  Res64: EEAF8AC5C8987D5E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:38:07]
843*2^1225882-1 is not prime.  Res64: 5FED8832549FF510  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:38:07]
917*2^1225882-1 is not prime.  Res64: 5508100AB6D95565  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:42:52]
821*2^1225882-1 is not prime.  Res64: 4F6C5465D345DB16  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:44:15]
951*2^1225882-1 is not prime.  Res64: 5CEFC5CAB8608775  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:44:15]
981*2^1225882-1 is not prime.  Res64: 277E5BFC5D7DBB0E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:56:56]
775*2^1225883-1 is not prime.  Res64: 696C2DD62CEAC551  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:59:01]
889*2^1225883-1 is not prime.  Res64: 3A215BADA9E86D2B  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 22:59:01]
955*2^1225883-1 is not prime.  Res64: 4EDDC510DF426A5B  Time : 0.0 sec.
user=vaughan
[2012-08-06 23:01:28]
619*2^1225883-1 is not prime.  Res64: 09075F17545A6536  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:05:09]
927*2^1225884-1 is not prime.  Res64: 6CCB32F5AD41114D  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:05:12]
609*2^1225885-1 is not prime.  Res64: 549570E283C72C0F  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:13:37]
985*2^1225883-1 is not prime.  Res64: 4F463A7E65F31A8E  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:19:54]
721*2^1225885-1 is not prime.  Res64: DBB48CE5D455B013  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:19:55]
777*2^1225885-1 is not prime.  Res64: 84FB04B3BFAA98E1  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:26:10]
877*2^1225885-1 is not prime.  Res64: 43F1DF9F5EFFE2E7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:26:10]
885*2^1225885-1 is not prime.  Res64: 0DAC306F280264A5  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:27:38]
691*2^1225885-1 is not prime.  Res64: DE6C3E51FCCB9783  Time : 0.0 sec.
user=vaughan
[2012-08-06 23:38:52]
825*2^1225885-1 is not prime.  Res64: AD0A8E06857788B7  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:40:50]
957*2^1225885-1 is not prime.  Res64: 600882B842D3F480  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:40:50]
615*2^1225886-1 is not prime.  Res64: 492143931B0B2FA3  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:44:29]
895*2^1225885-1 is not prime.  Res64: EF96D92AF0820696  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:47:04]
651*2^1225886-1 is not prime.  Res64: BE253B0069390511  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:47:04]
711*2^1225886-1 is not prime.  Res64: C4D6F34B4033E175  Time : 0.0 sec.
user=mdettweiler
[2012-08-06 23:58:13]
851*2^1225886-1 is not prime.  Res64: 65EAC507DB8F6BDD  Time : 0.0 sec.