user=mdettweiler [2012-12-09 00:05:06] 975*2^1237065-1 is not prime. Res64: 8B315B9F7512DC6D Time : 0.0 sec. user=mdettweiler [2012-12-09 00:05:09] 999*2^1237065-1 is not prime. Res64: 0F7AABD124293229 Time : 0.0 sec. user=vaughan [2012-12-09 00:12:07] 817*2^1237065-1 is not prime. Res64: 5467302066A7A6EF Time : 0.0 sec. user=mdettweiler [2012-12-09 00:12:38] 617*2^1237066-1 is not prime. Res64: A9F4894287B47C29 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:12:40] 675*2^1237066-1 is not prime. Res64: 698C001AF7910E90 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:22:39] 701*2^1237066-1 is not prime. Res64: E04ABC3320954FE1 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:22:40] 713*2^1237066-1 is not prime. Res64: 06E232B76616E6E7 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:29:59] 933*2^1237066-1 is not prime. Res64: 60871C045C2FC4AF Time : 0.0 sec. user=mdettweiler [2012-12-09 00:30:00] 957*2^1237066-1 is not prime. Res64: 3227609093DA9DCE Time : 0.0 sec. user=mdettweiler [2012-12-09 00:39:59] 645*2^1237067-1 is not prime. Res64: E3E497F764C58F94 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:40:00] 663*2^1237067-1 is not prime. Res64: F5164E339B8A6F85 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:47:19] 759*2^1237067-1 is not prime. Res64: 404826334331A4E5 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:47:19] 823*2^1237067-1 is not prime. Res64: BE9DB201C76851F6 Time : 0.0 sec. user=vaughan [2012-12-09 00:49:58] 723*2^1237066-1 is not prime. Res64: 605E8C5E17084EC2 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:57:17] 889*2^1237067-1 is not prime. Res64: BC6DC6794AC17FE5 Time : 0.0 sec. user=mdettweiler [2012-12-09 00:57:18] 985*2^1237067-1 is not prime. Res64: 72C3D6D47C316BED Time : 0.0 sec. user=mdettweiler [2012-12-09 01:04:37] 635*2^1237068-1 is not prime. Res64: 5D2CD48B541379AD Time : 0.0 sec. user=mdettweiler [2012-12-09 01:04:38] 797*2^1237068-1 is not prime. Res64: 76A419D0F7413135 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:14:35] 839*2^1237068-1 is not prime. Res64: 80DACFB5C3FE6002 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:14:36] 845*2^1237068-1 is not prime. Res64: A1D3D703C7375D5F Time : 0.0 sec. user=mdettweiler [2012-12-09 01:22:01] 879*2^1237068-1 is not prime. Res64: 62BF89054973DC1D Time : 0.0 sec. user=mdettweiler [2012-12-09 01:22:02] 999*2^1237068-1 is not prime. Res64: CC2E20722698BC05 Time : 0.0 sec. user=vaughan [2012-12-09 01:27:50] 819*2^1237068-1 is not prime. Res64: 7B4FC15B984E8A54 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:31:56] 609*2^1237069-1 is not prime. Res64: 3869ADD9049B9699 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:31:56] 615*2^1237069-1 is not prime. Res64: F3C5A761726CEC2C Time : 0.0 sec. user=mdettweiler [2012-12-09 01:39:19] 687*2^1237069-1 is not prime. Res64: A77B751C17DB9B7A Time : 0.0 sec. user=mdettweiler [2012-12-09 01:39:20] 721*2^1237069-1 is not prime. Res64: DBC54B2AC326A8FD Time : 0.0 sec. user=mdettweiler [2012-12-09 01:49:14] 975*2^1237069-1 is not prime. Res64: 000559F1D52EF292 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:49:14] 831*2^1237070-1 is not prime. Res64: 36B08CA4A1DDD270 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:56:38] 875*2^1237070-1 is not prime. Res64: F176FBA4EB582D26 Time : 0.0 sec. user=mdettweiler [2012-12-09 01:56:38] 951*2^1237070-1 is not prime. Res64: 0FAFE252CEF7E66F Time : 0.0 sec. user=vaughan [2012-12-09 02:05:40] 919*2^1237069-1 is not prime. Res64: 9E2B4E61357F9209 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:06:32] 685*2^1237071-1 is not prime. Res64: B218D32C19EFE483 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:06:34] 711*2^1237071-1 is not prime. Res64: 3596C8BFDD43173F Time : 0.0 sec. user=mdettweiler [2012-12-09 02:13:56] 769*2^1237071-1 is not prime. Res64: 84D18E7F86959D7E Time : 0.0 sec. user=mdettweiler [2012-12-09 02:13:57] 871*2^1237071-1 is not prime. Res64: 9768900FE87F5FC1 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:23:54] 605*2^1237072-1 is not prime. Res64: 84FED5D724735000 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:23:54] 719*2^1237072-1 is not prime. Res64: F840EE2566715065 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:31:17] 779*2^1237072-1 is not prime. Res64: B5FF862BFAE4D640 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:31:19] 807*2^1237072-1 is not prime. Res64: D65E406CCAA0C2FB Time : 0.0 sec. user=mdettweiler [2012-12-09 02:41:14] 929*2^1237072-1 is not prime. Res64: 3911BE2B0B6519E7 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:41:16] 669*2^1237073-1 is not prime. Res64: 7A046718BF793CB0 Time : 0.0 sec. user=vaughan [2012-12-09 02:43:32] 949*2^1237071-1 is not prime. Res64: E7FB7A78DADBD8D8 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:48:38] 781*2^1237073-1 is not prime. Res64: 7BB932D78177D5BE Time : 0.0 sec. user=mdettweiler [2012-12-09 02:48:40] 871*2^1237073-1 is not prime. Res64: 03AD44F8AD4109E5 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:58:50] 937*2^1237073-1 is not prime. Res64: C6B9C61AA9407920 Time : 0.0 sec. user=mdettweiler [2012-12-09 02:58:51] 945*2^1237073-1 is not prime. Res64: 9D4A5E9B4BB762BF Time : 0.0 sec. user=mdettweiler [2012-12-09 03:06:11] 979*2^1237073-1 is not prime. Res64: D0FEAFAB5F072DDC Time : 0.0 sec. user=mdettweiler [2012-12-09 03:06:12] 987*2^1237073-1 is not prime. Res64: 00FB4A9C97452312 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:16:15] 611*2^1237074-1 is not prime. Res64: 988EAC10FF678C9C Time : 0.0 sec. user=mdettweiler [2012-12-09 03:16:17] 765*2^1237074-1 is not prime. Res64: 163436044BA081DE Time : 0.0 sec. user=vaughan [2012-12-09 03:21:30] 955*2^1237073-1 is not prime. Res64: 00538AC5F20F5421 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:23:33] 915*2^1237074-1 is not prime. Res64: 6AAFE752C0DBA041 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:23:34] 941*2^1237074-1 is not prime. Res64: DDE7F7401B6713DF Time : 0.0 sec. user=mdettweiler [2012-12-09 03:33:38] 793*2^1237075-1 is not prime. Res64: 1E0C7B1BDAD51D13 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:33:39] 985*2^1237075-1 is not prime. Res64: 8C982650AEC92786 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:40:52] 767*2^1237076-1 is not prime. Res64: FB740743A923AF58 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:40:58] 785*2^1237076-1 is not prime. Res64: E003B3201EF31FD8 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:51:06] 879*2^1237076-1 is not prime. Res64: CADD4CE6CE6D8B32 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:51:06] 909*2^1237076-1 is not prime. Res64: ECC9F11F01B47BB2 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:58:47] 969*2^1237076-1 is not prime. Res64: A1266B0F77F11FE9 Time : 0.0 sec. user=mdettweiler [2012-12-09 03:58:48] 999*2^1237076-1 is not prime. Res64: 655EB5B06D8C3AAB Time : 0.0 sec. user=vaughan [2012-12-09 03:59:18] 677*2^1237076-1 is not prime. Res64: 15636856CB2A11AA Time : 0.0 sec. user=mdettweiler [2012-12-09 04:01:39] 603*2^1237075-1 is not prime. Res64: C998F2B61241C911 Time : 0.0 sec. user=mdettweiler [2012-12-09 04:08:23] 825*2^1237077-1 is not prime. Res64: 93509532FC08A4FB Time : 0.0 sec. user=mdettweiler [2012-12-09 04:08:25] 871*2^1237077-1 is not prime. Res64: 7008FC3AD57F86BC Time : 0.0 sec. user=mdettweiler [2012-12-09 04:16:04] 891*2^1237077-1 is not prime. Res64: F78237F0E34A159E Time : 0.0 sec. user=mdettweiler [2012-12-09 04:16:05] 605*2^1237078-1 is not prime. Res64: C62A6A983411BE5A Time : 0.0 sec. user=mdettweiler [2012-12-09 04:25:58] 827*2^1237078-1 is not prime. Res64: 18BDB7A0260A8926 Time : 0.0 sec. user=mdettweiler [2012-12-09 04:25:58] 843*2^1237078-1 is not prime. Res64: A5B584BF3DD23F14 Time : 0.0 sec. user=mdettweiler [2012-12-09 04:33:28] 951*2^1237078-1 is not prime. Res64: BB4C055A5885CB2B Time : 0.0 sec. user=mdettweiler [2012-12-09 04:33:30] 619*2^1237079-1 is not prime. Res64: E3417616CC83C3C7 Time : 0.0 sec. user=vaughan [2012-12-09 04:37:08] 623*2^1237078-1 is not prime. Res64: 5A3B307E689EB17B Time : 0.0 sec. user=mdettweiler [2012-12-09 04:43:16] 621*2^1237079-1 is not prime. Res64: 9D1D76408BBDFD90 Time : 0.0 sec. user=mdettweiler [2012-12-09 04:43:17] 763*2^1237079-1 is not prime. Res64: 2B74E9EF1C06C2A2 Time : 0.0 sec. user=mdettweiler [2012-12-09 04:51:10] 789*2^1237079-1 is not prime. Res64: AB7900B0E42273F0 Time : 0.0 sec. user=mdettweiler [2012-12-09 04:51:10] 955*2^1237079-1 is not prime. Res64: EAC934AEED6B235A Time : 0.0 sec. user=mdettweiler [2012-12-09 05:00:41] 773*2^1237080-1 is not prime. Res64: C684A8879EF50E9A Time : 0.0 sec. user=mdettweiler [2012-12-09 05:00:43] 777*2^1237080-1 is not prime. Res64: D299AA01A520FA29 Time : 0.0 sec. user=mdettweiler [2012-12-09 05:08:30] 789*2^1237080-1 is not prime. Res64: 0AEDC280BF0651EB Time : 0.0 sec. user=mdettweiler [2012-12-09 05:08:31] 803*2^1237080-1 is not prime. Res64: 850EEA1FE7D4AEC5 Time : 0.0 sec. user=vaughan [2012-12-09 05:15:05] 973*2^1237079-1 is not prime. Res64: A9877F3ED2C187BC Time : 0.0 sec. user=mdettweiler [2012-12-09 05:18:03] 875*2^1237080-1 is not prime. Res64: FFC5E94F7CAB9459 Time : 0.0 sec. user=mdettweiler [2012-12-09 05:18:03] 645*2^1237081-1 is not prime. Res64: FC84F71741B97C8B Time : 0.0 sec. user=mdettweiler [2012-12-09 05:26:02] 679*2^1237081-1 is not prime. Res64: 72CBEA71C6EBF5F6 Time : 0.0 sec. user=mdettweiler [2012-12-09 05:26:02] 687*2^1237081-1 is not prime. Res64: 124B7E11BD60F5FE Time : 0.0 sec. user=mdettweiler [2012-12-09 05:35:21] 877*2^1237081-1 is not prime. Res64: 5DC703BEBB6922AA Time : 0.0 sec. user=mdettweiler [2012-12-09 05:35:21] 895*2^1237081-1 is not prime. Res64: 4A0CBB4B351930D2 Time : 0.0 sec. user=mdettweiler [2012-12-09 05:43:20] 615*2^1237082-1 is not prime. Res64: F6156CEBC6792544 Time : 0.0 sec. user=mdettweiler [2012-12-09 05:43:21] 633*2^1237082-1 is not prime. Res64: 3FE8E3276A22D0F8 Time : 0.0 sec. user=mdettweiler [2012-12-09 05:52:39] 675*2^1237082-1 is not prime. Res64: 8B68845BB2F4B94B Time : 0.0 sec. user=mdettweiler [2012-12-09 05:52:40] 801*2^1237082-1 is not prime. Res64: E78744A559DBAAF6 Time : 0.0 sec. user=vaughan [2012-12-09 05:53:04] 775*2^1237081-1 is not prime. Res64: 47C658D0F7B25FA1 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:00:39] 873*2^1237082-1 is not prime. Res64: 6D11D26E26D30D57 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:00:40] 885*2^1237082-1 is not prime. Res64: B227EA28EC72DF4E Time : 0.0 sec. user=mdettweiler [2012-12-09 06:09:58] 887*2^1237082-1 is not prime. Res64: 5355B0D07AB89DEF Time : 0.0 sec. user=mdettweiler [2012-12-09 06:10:03] 953*2^1237082-1 is not prime. Res64: 1CBC8BD4219009E1 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:17:58] 643*2^1237083-1 is not prime. Res64: C934CE88A42FE1C5 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:18:00] 723*2^1237083-1 is not prime. Res64: A2B06963262E1804 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:27:54] 783*2^1237083-1 is not prime. Res64: D3269B6354FBDDB7 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:27:55] 793*2^1237083-1 is not prime. Res64: A9FED045C478CB63 Time : 0.0 sec. user=vaughan [2012-12-09 06:30:49] 1001*2^1237082-1 is not prime. Res64: 1E1C063A8F55112F Time : 0.0 sec. user=mdettweiler [2012-12-09 06:35:25] 835*2^1237083-1 is not prime. Res64: 646FA607C3B362EB Time : 0.0 sec. user=mdettweiler [2012-12-09 06:35:25] 873*2^1237083-1 is not prime. Res64: 0BD19D2B5E8067D0 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:45:12] 985*2^1237083-1 is not prime. Res64: 70401BF0F58FC87B Time : 0.0 sec. user=mdettweiler [2012-12-09 06:45:13] 743*2^1237084-1 is not prime. Res64: 5B0F7F260142676B Time : 0.0 sec. user=mdettweiler [2012-12-09 06:52:44] 887*2^1237084-1 is not prime. Res64: 2457C911FD171F31 Time : 0.0 sec. user=mdettweiler [2012-12-09 06:52:44] 983*2^1237084-1 is not prime. Res64: 575B50D46026B270 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:02:30] 649*2^1237085-1 is not prime. Res64: 41DBF36E20B751A9 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:02:31] 675*2^1237085-1 is not prime. Res64: 2E01D7E9E6119E9B Time : 0.0 sec. user=vaughan [2012-12-09 07:08:41] 869*2^1237084-1 is not prime. Res64: E2A94CC7895B62F5 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:10:01] 825*2^1237085-1 is not prime. Res64: AB772BECDFB2A644 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:10:02] 847*2^1237085-1 is not prime. Res64: 651573619C842428 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:19:52] 861*2^1237085-1 is not prime. Res64: 483BA0030992F306 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:19:53] 991*2^1237085-1 is not prime. Res64: 735DFD13F5E7060D Time : 0.0 sec. user=mdettweiler [2012-12-09 07:27:22] 677*2^1237086-1 is not prime. Res64: F9DA00F2C2F2B5BE Time : 0.0 sec. user=mdettweiler [2012-12-09 07:27:22] 717*2^1237086-1 is not prime. Res64: 8134DD5381E3F09A Time : 0.0 sec. user=mdettweiler [2012-12-09 07:37:16] 741*2^1237086-1 is not prime. Res64: 992ACFB5748A02D2 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:37:16] 765*2^1237086-1 is not prime. Res64: 3A1F12CFE7174E73 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:44:41] 891*2^1237086-1 is not prime. Res64: 0AAAD228E29BA6D4 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:44:42] 893*2^1237086-1 is not prime. Res64: 30F0412DC626E6CF Time : 0.0 sec. user=vaughan [2012-12-09 07:46:34] 627*2^1237086-1 is not prime. Res64: F2E48A618A71C1E2 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:54:33] 945*2^1237086-1 is not prime. Res64: 3D66F8BCB8679739 Time : 0.0 sec. user=mdettweiler [2012-12-09 07:54:34] 947*2^1237086-1 is not prime. Res64: 6BB3FB4C81A16B14 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:01:59] 615*2^1237087-1 is not prime. Res64: 4D38961461681590 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:02:00] 775*2^1237087-1 is not prime. Res64: 76B411A1F572DEB7 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:11:51] 883*2^1237087-1 is not prime. Res64: BC20AB473E2E21E4 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:11:52] 885*2^1237087-1 is not prime. Res64: BF2B6384B533C45F Time : 0.0 sec. user=mdettweiler [2012-12-09 08:19:24] 973*2^1237087-1 is not prime. Res64: 4BC2114655047CAD Time : 0.0 sec. user=mdettweiler [2012-12-09 08:19:24] 669*2^1237088-1 is not prime. Res64: 284AF337AE25E964 Time : 0.0 sec. user=vaughan [2012-12-09 08:24:24] 841*2^1237087-1 is not prime. Res64: 9FF36AA953FB6D45 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:29:10] 687*2^1237088-1 is not prime. Res64: 633DB2FB06E9A890 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:29:11] 819*2^1237088-1 is not prime. Res64: E356CF09A3BA43EF Time : 0.0 sec. user=mdettweiler [2012-12-09 08:36:44] 869*2^1237088-1 is not prime. Res64: A6AFD8A443BD6D97 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:36:45] 625*2^1237089-1 is not prime. Res64: DCDDF0B4557DF5D4 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:46:29] 709*2^1237089-1 is not prime. Res64: EB9B1952D74DFFF8 Time : 0.0 sec. user=mdettweiler [2012-12-09 08:46:29] 865*2^1237089-1 is not prime. Res64: FF1EEE7452CB8D4D Time : 0.0 sec. user=mdettweiler [2012-12-09 08:54:02] 885*2^1237089-1 is not prime. Res64: 0252B65F6961292B Time : 0.0 sec. user=mdettweiler [2012-12-09 08:54:03] 949*2^1237089-1 is not prime. Res64: 3FAD288F7168D87A Time : 0.0 sec. user=vaughan [2012-12-09 09:02:15] 681*2^1237089-1 is not prime. Res64: EF386DA4DC7797F3 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:03:46] 987*2^1237089-1 is not prime. Res64: 326F7B2C1B89526C Time : 0.0 sec. user=mdettweiler [2012-12-09 09:03:47] 755*2^1237090-1 is not prime. Res64: 1EF11B77DBED7A27 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:11:20] 803*2^1237090-1 is not prime. Res64: 91ED5D1ED0B13021 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:11:22] 885*2^1237090-1 is not prime. Res64: 1265ED2DFFE01A06 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:21:06] 603*2^1237091-1 is not prime. Res64: 128EBFA15A79A87C Time : 0.0 sec. user=mdettweiler [2012-12-09 09:21:07] 631*2^1237091-1 is not prime. Res64: 62B027390E76CE49 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:28:47] 703*2^1237091-1 is not prime. Res64: E54B01A6AD142714 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:28:48] 715*2^1237091-1 is not prime. Res64: 3FB8FF81DE5C3DC5 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:38:32] 735*2^1237091-1 is not prime. Res64: 9674736FEECC03F7 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:38:32] 841*2^1237091-1 is not prime. Res64: EC6418BAEF3BCB7B Time : 0.0 sec. user=vaughan [2012-12-09 09:40:05] 933*2^1237090-1 is not prime. Res64: 37B19DD5359D3DA4 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:46:07] 749*2^1237092-1 is not prime. Res64: 92F6B52163088513 Time : 0.0 sec. user=mdettweiler [2012-12-09 09:46:07] 765*2^1237092-1 is not prime. Res64: 22231101899D520D Time : 0.0 sec. user=mdettweiler [2012-12-09 09:55:49] 767*2^1237092-1 is not prime. Res64: 84F6786CD5B8B9EE Time : 0.0 sec. user=mdettweiler [2012-12-09 09:55:50] 843*2^1237092-1 is not prime. Res64: CEC299D205B93345 Time : 0.0 sec. user=mdettweiler [2012-12-09 10:03:24] 903*2^1237092-1 is not prime. Res64: F13F3563790512FD Time : 0.0 sec. user=mdettweiler [2012-12-09 10:03:25] 651*2^1237093-1 is not prime. Res64: 8546E79D547056A7 Time : 0.0 sec. user=mdettweiler [2012-12-09 10:13:06] 715*2^1237093-1 is not prime. Res64: 6EFAF8D893E9819B Time : 0.0 sec. user=mdettweiler [2012-12-09 10:13:07] 751*2^1237093-1 is not prime. Res64: A318B6E3ABDEA676 Time : 0.0 sec. user=vaughan [2012-12-09 10:17:57] 893*2^1237092-1 is not prime. Res64: E52EE95A43525B17 Time : 0.0 sec. user=mdettweiler [2012-12-09 10:20:52] 855*2^1237093-1 is not prime. Res64: 518C0A0B17CA2F9A Time : 0.0 sec. user=mdettweiler [2012-12-09 10:20:53] 919*2^1237093-1 is not prime. Res64: E7F3E5B2511ED83F Time : 0.0 sec. user=mdettweiler [2012-12-09 10:30:34] 955*2^1237093-1 is not prime. Res64: F5DA3858CDBF3E7E Time : 0.0 sec. user=mdettweiler [2012-12-09 10:30:35] 987*2^1237093-1 is not prime. Res64: FB90E8160B195BC5 Time : 0.0 sec. user=mdettweiler [2012-12-09 10:38:10] 731*2^1237094-1 is not prime. Res64: A6CCEB4502172AA2 Time : 0.0 sec. user=mdettweiler [2012-12-09 10:38:11] 773*2^1237094-1 is not prime. Res64: 0FBD375B659A4106 Time : 0.0 sec. user=mdettweiler [2012-12-09 10:47:52] 861*2^1237094-1 is not prime. Res64: CD9B7D932730B3AD Time : 0.0 sec. user=mdettweiler [2012-12-09 10:47:52] 887*2^1237094-1 is not prime. Res64: 418D90F6A390838F Time : 0.0 sec. user=mdettweiler [2012-12-09 10:55:28] 945*2^1237094-1 is not prime. Res64: 071ACEC34534D8FA Time : 0.0 sec. user=mdettweiler [2012-12-09 10:55:29] 663*2^1237095-1 is not prime. Res64: 38B739B3EB1D0652 Time : 0.0 sec. user=vaughan [2012-12-09 10:55:49] 605*2^1237094-1 is not prime. Res64: D6DDCE762EA3DEB6 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:05:11] 685*2^1237095-1 is not prime. Res64: CFCCC59576CB0CD1 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:05:13] 693*2^1237095-1 is not prime. Res64: 6BF8F4C85C9D25BB Time : 0.0 sec. user=mdettweiler [2012-12-09 11:12:46] 781*2^1237095-1 is not prime. Res64: 29E06FC19268BB45 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:12:47] 783*2^1237095-1 is not prime. Res64: 1E458CD2B7186EC5 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:22:53] 963*2^1237095-1 is not prime. Res64: 0112BB8CEB8F8806 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:22:54] 623*2^1237096-1 is not prime. Res64: D396167A928DE7B3 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:30:22] 629*2^1237096-1 is not prime. Res64: AE892C7E461B44C8 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:30:23] 677*2^1237096-1 is not prime. Res64: 7254A5D93097B9AE Time : 0.0 sec. user=vaughan [2012-12-09 11:33:42] 849*2^1237095-1 is not prime. Res64: 4B4996C5D0DCA696 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:40:17] 735*2^1237096-1 is not prime. Res64: 18C33600D2E14909 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:40:17] 773*2^1237096-1 is not prime. Res64: C5EF0C3BC1341159 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:47:43] 779*2^1237096-1 is not prime. Res64: A44C13E340A37BC0 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:47:43] 843*2^1237096-1 is not prime. Res64: CE543029887D5BF2 Time : 0.0 sec. user=mdettweiler [2012-12-09 11:57:37] 909*2^1237096-1 is not prime. Res64: F2FC777264D83AFB Time : 0.0 sec. user=mdettweiler [2012-12-09 11:57:38] 975*2^1237096-1 is not prime. Res64: 680B3CB980C81A20 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:05:07] 685*2^1237097-1 is not prime. Res64: 95722575E8464105 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:05:09] 991*2^1237097-1 is not prime. Res64: B1609EAB01BE4273 Time : 0.0 sec. user=vaughan [2012-12-09 12:11:35] 887*2^1237096-1 is not prime. Res64: 696717723E2E5725 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:15:00] 671*2^1237098-1 is not prime. Res64: 21585ABB5D1CE4BA Time : 0.0 sec. user=mdettweiler [2012-12-09 12:15:02] 735*2^1237098-1 is not prime. Res64: 6DC76B1211D235C4 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:22:41] 797*2^1237098-1 is not prime. Res64: 2DCA72613BB47BDC Time : 0.0 sec. user=mdettweiler [2012-12-09 12:22:42] 803*2^1237098-1 is not prime. Res64: 0524570833494725 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:32:46] 923*2^1237098-1 is not prime. Res64: 38A66D35D9E6D107 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:32:47] 703*2^1237099-1 is not prime. Res64: 6365F56B47B1D4FB Time : 0.0 sec. user=mdettweiler [2012-12-09 12:40:02] 751*2^1237099-1 is not prime. Res64: 0B92D4DE3E2677F4 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:40:03] 861*2^1237099-1 is not prime. Res64: 90325E2D41BA41F1 Time : 0.0 sec. user=vaughan [2012-12-09 12:49:26] 861*2^1237098-1 is not prime. Res64: 093F5F7EA3606338 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:50:05] 873*2^1237099-1 is not prime. Res64: 0F7301CC16572A83 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:50:05] 855*2^1237100-1 is not prime. Res64: A6421E5384C2C2FC Time : 0.0 sec. user=mdettweiler [2012-12-09 12:57:22] 875*2^1237100-1 is not prime. Res64: 9E3BF6CE8DB3D7F9 Time : 0.0 sec. user=mdettweiler [2012-12-09 12:57:23] 929*2^1237100-1 is not prime. Res64: 00527C1BFA44F7E0 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:07:24] 983*2^1237100-1 is not prime. Res64: 219C1B005D542DC4 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:07:27] 987*2^1237100-1 is not prime. Res64: F17CA153E8EC9E04 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:14:41] 625*2^1237101-1 is not prime. Res64: 35720C18BD8479E0 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:14:42] 649*2^1237101-1 is not prime. Res64: D9693BBA59034725 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:25:09] 669*2^1237101-1 is not prime. Res64: B5BCD03EB49D4F56 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:25:10] 795*2^1237101-1 is not prime. Res64: D5903F0038ECE4CE Time : 0.0 sec. user=vaughan [2012-12-09 13:27:16] 963*2^1237100-1 is not prime. Res64: 5E6AD643DA952236 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:32:05] 895*2^1237101-1 is not prime. Res64: 3AADA4C28AF24CB3 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:32:06] 921*2^1237101-1 is not prime. Res64: EBFF690EB3614DA9 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:42:28] 927*2^1237101-1 is not prime. Res64: 3CC832288817C876 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:42:28] 937*2^1237101-1 is not prime. Res64: 49A4346BDB686022 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:49:26] 813*2^1237102-1 is not prime. Res64: 6BADD8ACDF71BBCC Time : 0.0 sec. user=mdettweiler [2012-12-09 13:49:27] 863*2^1237102-1 is not prime. Res64: 03AD1BD1A027A2C0 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:59:47] 911*2^1237102-1 is not prime. Res64: A36DD32A916E95F5 Time : 0.0 sec. user=mdettweiler [2012-12-09 13:59:48] 923*2^1237102-1 is not prime. Res64: 982C07C49BBECA14 Time : 0.0 sec. user=vaughan [2012-12-09 14:05:05] 955*2^1237101-1 is not prime. Res64: 7B0D7A85D849BAEB Time : 0.0 sec. user=mdettweiler [2012-12-09 14:06:47] 619*2^1237103-1 is not prime. Res64: 0F0611EEB0D193F1 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:06:49] 789*2^1237103-1 is not prime. Res64: E3010ECF0A9EBF76 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:17:08] 871*2^1237103-1 is not prime. Res64: DDCADFFFD3EAFA64 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:17:09] 885*2^1237103-1 is not prime. Res64: 1D0EF83CBA849A31 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:24:12] 921*2^1237103-1 is not prime. Res64: 382D87719C0EAB07 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:24:12] 973*2^1237103-1 is not prime. Res64: F9120903086300EA Time : 0.0 sec. user=mdettweiler [2012-12-09 14:34:32] 915*2^1237104-1 is not prime. Res64: 62E861C8F1F92AC0 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:34:33] 917*2^1237104-1 is not prime. Res64: 42ADB999FF0CF58F Time : 0.0 sec. user=mdettweiler [2012-12-09 14:41:31] 625*2^1237105-1 is not prime. Res64: 21214C07EE4371CF Time : 0.0 sec. user=mdettweiler [2012-12-09 14:41:32] 691*2^1237105-1 is not prime. Res64: E2F87EF27CF078A9 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:51:53] 801*2^1237105-1 is not prime. Res64: 3857E0E4AB0E2DA9 Time : 0.0 sec. user=mdettweiler [2012-12-09 14:51:53] 895*2^1237105-1 is not prime. Res64: 883F6462ADCC2EEC Time : 0.0 sec. user=mdettweiler [2012-12-09 14:58:54] 919*2^1237105-1 is not prime. Res64: 3FB3600AFD88FBFC Time : 0.0 sec. user=mdettweiler [2012-12-09 14:58:54] 937*2^1237105-1 is not prime. Res64: E610CB0E135B149E Time : 0.0 sec. user=mdettweiler [2012-12-09 15:09:17] 975*2^1237105-1 is not prime. Res64: CED1E01135B4FC12 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:09:18] 633*2^1237106-1 is not prime. Res64: 539B70A89F15AE15 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:16:24] 755*2^1237106-1 is not prime. Res64: 8BF74C559CAE7796 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:16:24] 773*2^1237106-1 is not prime. Res64: ACDD3F50B224F511 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:27:02] 843*2^1237106-1 is not prime. Res64: B761FDD81DC371B0 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:27:02] 893*2^1237106-1 is not prime. Res64: FCACB31AB480C993 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:34:02] 911*2^1237106-1 is not prime. Res64: 9A291B368D0245BF Time : 0.0 sec. user=mdettweiler [2012-12-09 15:34:02] 945*2^1237106-1 is not prime. Res64: 4689086F82ACA088 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:44:20] 625*2^1237107-1 is not prime. Res64: A3819C0083989F75 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:44:20] 649*2^1237107-1 is not prime. Res64: 1CBD639F02EA7494 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:51:19] 795*2^1237107-1 is not prime. Res64: 301DA0047C26CF32 Time : 0.0 sec. user=mdettweiler [2012-12-09 15:51:20] 885*2^1237107-1 is not prime. Res64: 55D33C4ED261401D Time : 0.0 sec. user=mdettweiler [2012-12-09 16:01:37] 955*2^1237107-1 is not prime. Res64: C230225E622C9FB1 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:01:38] 665*2^1237108-1 is not prime. Res64: DE74F257B5026316 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:08:38] 813*2^1237108-1 is not prime. Res64: 9C6E3D94BD8A45FB Time : 0.0 sec. user=mdettweiler [2012-12-09 16:08:38] 833*2^1237108-1 is not prime. Res64: 2519F5E5B2F56025 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:19:04] 885*2^1237108-1 is not prime. Res64: 4495225998322733 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:19:05] 987*2^1237108-1 is not prime. Res64: CE8DA10383BFC7CB Time : 0.0 sec. user=mdettweiler [2012-12-09 16:25:58] 989*2^1237108-1 is not prime. Res64: 076DC11256132771 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:25:59] 601*2^1237109-1 is not prime. Res64: 62717DAAA13747BE Time : 0.0 sec. user=mdettweiler [2012-12-09 16:36:25] 657*2^1237109-1 is not prime. Res64: 2780F6D6595730A7 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:36:25] 675*2^1237109-1 is not prime. Res64: 179FD16F9F4427AB Time : 0.0 sec. user=mdettweiler [2012-12-09 16:43:16] 679*2^1237109-1 is not prime. Res64: 104240CD3D775E03 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:43:17] 691*2^1237109-1 is not prime. Res64: 37207FABFCF978D8 Time : 0.0 sec. user=mdettweiler [2012-12-09 16:53:43] 727*2^1237109-1 is not prime. Res64: 5CEB73F60F1EA05E Time : 0.0 sec. user=mdettweiler [2012-12-09 16:53:44] 795*2^1237109-1 is not prime. Res64: 8EAD9D300B5C3EF6 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:00:35] 969*2^1237109-1 is not prime. Res64: 821EA1D699D39AD6 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:00:36] 713*2^1237110-1 is not prime. Res64: 54EDF0B428CF9F7A Time : 0.0 sec. user=mdettweiler [2012-12-09 17:11:00] 725*2^1237110-1 is not prime. Res64: 83C56C25160B57D5 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:11:01] 777*2^1237110-1 is not prime. Res64: C8767A4755179C1A Time : 0.0 sec. user=mdettweiler [2012-12-09 17:18:10] 821*2^1237110-1 is not prime. Res64: 4EE8239BECB4B3EB Time : 0.0 sec. user=mdettweiler [2012-12-09 17:18:10] 603*2^1237111-1 is not prime. Res64: 7B7AE02D1A6709D6 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:28:40] 793*2^1237111-1 is not prime. Res64: A26A478AFCF41466 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:28:40] 805*2^1237111-1 is not prime. Res64: 04A2D06F648B1B0C Time : 0.0 sec. user=mdettweiler [2012-12-09 17:35:56] 829*2^1237111-1 is not prime. Res64: 8F6B2BDC535BF639 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:35:57] 841*2^1237111-1 is not prime. Res64: 2546D1E160FB391D Time : 0.0 sec. user=juhehe [2012-12-09 17:44:05] 789*2^1237111-1 is not prime. Res64: 01358AE6B283BFB5 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:46:42] 901*2^1237111-1 is not prime. Res64: F9DEC2DBA69C6D53 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:46:43] 615*2^1237112-1 is not prime. Res64: 0421661615BE84C1 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:53:59] 617*2^1237112-1 is not prime. Res64: A4639D3CD27BCA23 Time : 0.0 sec. user=mdettweiler [2012-12-09 17:53:59] 669*2^1237112-1 is not prime. Res64: D39A4ED4B571812A Time : 0.0 sec. user=mdettweiler [2012-12-09 18:04:34] 717*2^1237112-1 is not prime. Res64: E139626583337D75 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:04:37] 725*2^1237112-1 is not prime. Res64: 58580E7800E941FD Time : 0.0 sec. user=mdettweiler [2012-12-09 18:11:41] 825*2^1237112-1 is not prime. Res64: 213E0A1F9B734CF8 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:11:42] 867*2^1237112-1 is not prime. Res64: 983BE506476C9FD0 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:22:14] 893*2^1237112-1 is not prime. Res64: B19F30204BF12996 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:22:14] 917*2^1237112-1 is not prime. Res64: 3FD7051479C29C37 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:29:12] 649*2^1237113-1 is not prime. Res64: D8039E2CEAD2A10B Time : 0.0 sec. user=mdettweiler [2012-12-09 18:29:12] 675*2^1237113-1 is not prime. Res64: B626E589DEFD11E9 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:39:40] 705*2^1237113-1 is not prime. Res64: EC4CBE16667689EA Time : 0.0 sec. user=mdettweiler [2012-12-09 18:39:41] 741*2^1237113-1 is not prime. Res64: 15A1E7E30C8612A0 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:46:37] 745*2^1237113-1 is not prime. Res64: A429463DEC91E384 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:46:37] 751*2^1237113-1 is not prime. Res64: 2DF1DD1AD26DF881 Time : 0.0 sec. user=mdettweiler [2012-12-09 18:57:02] 819*2^1237113-1 is not prime. Res64: 1424F876779A2BCD Time : 0.0 sec. user=mdettweiler [2012-12-09 18:57:03] 847*2^1237113-1 is not prime. Res64: 20BAA2123894C60A Time : 0.0 sec. user=juhehe [2012-12-09 18:57:31] 699*2^1237113-1 is not prime. Res64: CE10D6A1B8FB04E1 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:03:59] 633*2^1237114-1 is not prime. Res64: 03EF89C73F08DED7 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:03:59] 635*2^1237114-1 is not prime. Res64: A335FD544B60D257 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:14:25] 645*2^1237114-1 is not prime. Res64: A3203A57FE25E928 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:14:26] 687*2^1237114-1 is not prime. Res64: 97D23A73F458E48C Time : 0.0 sec. user=mdettweiler [2012-12-09 19:21:26] 815*2^1237114-1 is not prime. Res64: 535C74D7DE755365 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:21:26] 923*2^1237114-1 is not prime. Res64: 8E19315147020584 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:31:56] 951*2^1237114-1 is not prime. Res64: 84F32F7BEC8506E1 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:31:57] 685*2^1237115-1 is not prime. Res64: 09FF53248627548C Time : 0.0 sec. user=mdettweiler [2012-12-09 19:38:52] 759*2^1237115-1 is not prime. Res64: BA4A0E03322BA4C4 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:38:53] 819*2^1237115-1 is not prime. Res64: 990E858E49AF3FF4 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:49:22] 861*2^1237115-1 is not prime. Res64: 39A4B713C538D7D3 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:49:23] 623*2^1237116-1 is not prime. Res64: 4B41AAB3C0A8A4AB Time : 0.0 sec. user=mdettweiler [2012-12-09 19:56:16] 705*2^1237116-1 is not prime. Res64: 0D7073A1581B2BB2 Time : 0.0 sec. user=mdettweiler [2012-12-09 19:56:16] 735*2^1237116-1 is not prime. Res64: 26FF7840CA81DA3B Time : 0.0 sec. user=mdettweiler [2012-12-09 20:06:43] 737*2^1237116-1 is not prime. Res64: 42F8C89455B4A4F6 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:06:44] 759*2^1237116-1 is not prime. Res64: 2E07223D4991656C Time : 0.0 sec. user=juhehe [2012-12-09 20:06:44] 693*2^1237116-1 is not prime. Res64: C35224B4C3C0DEF3 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:13:41] 783*2^1237116-1 is not prime. Res64: 2C76F5F18C66A42B Time : 0.0 sec. user=mdettweiler [2012-12-09 20:13:43] 825*2^1237116-1 is not prime. Res64: D4D4ECAFB446F5ED Time : 0.0 sec. user=mdettweiler [2012-12-09 20:24:22] 893*2^1237116-1 is not prime. Res64: 77736A392C0408E7 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:24:22] 615*2^1237117-1 is not prime. Res64: A4200E73CF6E77A4 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:31:24] 667*2^1237117-1 is not prime. Res64: A9583DBB9F14D27F Time : 0.0 sec. user=mdettweiler [2012-12-09 20:31:25] 729*2^1237117-1 is not prime. Res64: 4EE811A88C6FB051 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:42:02] 747*2^1237117-1 is not prime. Res64: 762A9FC77C5DA1E0 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:42:03] 771*2^1237117-1 is not prime. Res64: F4DE6FA1DA02A29D Time : 0.0 sec. user=mdettweiler [2012-12-09 20:48:52] 825*2^1237117-1 is not prime. Res64: 85FC72E1CC009EFD Time : 0.0 sec. user=mdettweiler [2012-12-09 20:48:53] 889*2^1237117-1 is not prime. Res64: 9CAA09FE57DB0AF3 Time : 0.0 sec. user=mdettweiler [2012-12-09 20:59:23] 651*2^1237118-1 is not prime. Res64: A3DBF01583BC063F Time : 0.0 sec. user=mdettweiler [2012-12-09 20:59:24] 665*2^1237118-1 is not prime. Res64: 686B1CF3B2D24D9A Time : 0.0 sec. user=mdettweiler [2012-12-09 21:06:14] 767*2^1237118-1 is not prime. Res64: 0CDE16D69021E3E8 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:06:15] 773*2^1237118-1 is not prime. Res64: 33B319E52BA7275D Time : 0.0 sec. user=mdettweiler [2012-12-09 21:16:45] 857*2^1237118-1 is not prime. Res64: 90B45FBC297CA023 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:16:46] 875*2^1237118-1 is not prime. Res64: D713898B8D158557 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:23:40] 993*2^1237118-1 is not prime. Res64: C701B90DDA823CF6 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:23:41] 615*2^1237119-1 is not prime. Res64: 888C9B5D79B9D6C5 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:34:10] 619*2^1237119-1 is not prime. Res64: 72AE873BA61C4BB7 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:34:10] 639*2^1237119-1 is not prime. Res64: 889CF8047EC8C533 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:41:03] 661*2^1237119-1 is not prime. Res64: DE0D343908C9F52B Time : 0.0 sec. user=mdettweiler [2012-12-09 21:41:03] 675*2^1237119-1 is not prime. Res64: 7E1AE0DDCF8710B1 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:51:31] 735*2^1237119-1 is not prime. Res64: D566F5980F5FABA6 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:51:31] 793*2^1237119-1 is not prime. Res64: A707B08440C5A83C Time : 0.0 sec. user=mdettweiler [2012-12-09 21:58:23] 603*2^1237120-1 is not prime. Res64: 3FAD848E7C266E01 Time : 0.0 sec. user=mdettweiler [2012-12-09 21:58:24] 689*2^1237120-1 is not prime. Res64: AB69AF3D36B8AA42 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:08:52] 929*2^1237120-1 is not prime. Res64: 4EEC7E62F7650FCB Time : 0.0 sec. user=mdettweiler [2012-12-09 22:08:53] 965*2^1237120-1 is not prime. Res64: 59879BD9630011F0 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:15:44] 983*2^1237120-1 is not prime. Res64: 00093265E4506E32 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:15:45] 657*2^1237121-1 is not prime. Res64: 760AD8A605FEB667 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:26:27] 885*2^1237121-1 is not prime. Res64: CE2122A59326A253 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:26:28] 909*2^1237121-1 is not prime. Res64: D09C8BD0352B080F Time : 0.0 sec. user=mdettweiler [2012-12-09 22:33:12] 955*2^1237121-1 is not prime. Res64: 7842D07BA40F58C7 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:33:13] 815*2^1237122-1 is not prime. Res64: 90570BA655EEF008 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:43:57] 825*2^1237122-1 is not prime. Res64: 299B1D5A9B9AF362 Time : 0.0 sec. user=mdettweiler [2012-12-09 22:43:58] 885*2^1237122-1 is not prime. Res64: 74C03FFA935DD5BB Time : 0.0 sec. user=mdettweiler [2012-12-09 22:50:46] 891*2^1237122-1 is not prime. Res64: 99CF300545A2211B Time : 0.0 sec. user=mdettweiler [2012-12-09 22:50:46] 945*2^1237122-1 is not prime. Res64: 923A8C52380811D8 Time : 0.0 sec. user=mdettweiler [2012-12-09 23:01:32] 663*2^1237123-1 is not prime. Res64: D635A1A9F4AD4C43 Time : 0.0 sec. user=mdettweiler [2012-12-09 23:01:33] 889*2^1237123-1 is not prime. Res64: D8F48EA3400D95FE Time : 0.0 sec. user=mdettweiler [2012-12-09 23:08:11] 919*2^1237123-1 is not prime. Res64: 47B0B9D3A1CC1E6A Time : 0.0 sec. user=mdettweiler [2012-12-09 23:08:12] 999*2^1237123-1 is not prime. Res64: 5E157652FC916F44 Time : 0.0 sec. user=mdettweiler [2012-12-09 23:19:02] 629*2^1237124-1 is not prime. Res64: ADB50DB34C5855CC Time : 0.0 sec. user=mdettweiler [2012-12-09 23:19:03] 683*2^1237124-1 is not prime. Res64: C52C162F54CDC6F5 Time : 0.0 sec. user=mdettweiler [2012-12-09 23:25:37] 819*2^1237124-1 is not prime. Res64: 1F5306A269B2BE7D Time : 0.0 sec. user=mdettweiler [2012-12-09 23:25:38] 833*2^1237124-1 is not prime. Res64: D6EA14BC0D40CD27 Time : 0.0 sec. user=mdettweiler [2012-12-09 23:36:31] 915*2^1237124-1 is not prime. Res64: 83336E7A89937CE8 Time : 0.0 sec. user=mdettweiler [2012-12-09 23:36:31] 923*2^1237124-1 is not prime. Res64: 7CC3AA2BC2D0C1BD Time : 0.0 sec. user=mdettweiler [2012-12-09 23:43:01] 657*2^1237125-1 is not prime. Res64: 5FE2186F06253CAB Time : 0.0 sec. user=mdettweiler [2012-12-09 23:43:01] 777*2^1237125-1 is not prime. Res64: 40A3CF733ED15C7A Time : 0.0 sec. user=mdettweiler [2012-12-09 23:53:48] 859*2^1237125-1 is not prime. Res64: 41C8D5C77250F3EC Time : 0.0 sec. user=mdettweiler [2012-12-09 23:53:50] 889*2^1237125-1 is not prime. Res64: FBC3E34BE7228950 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:00:18] 677*2^1237126-1 is not prime. Res64: 8145E9D337EDD8E1 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:00:19] 705*2^1237126-1 is not prime. Res64: B9AC313EAF09CA47 Time : 0.0 sec.