user=S_K_ [2015-08-30 00:06:36] 847*2^1407773-1 is not prime. Res64: 6D5587017B81ED97 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:15:20] 873*2^1407774-1 is not prime. Res64: 959D16C40249E352 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:15:21] 921*2^1407774-1 is not prime. Res64: 47186AEEA81F5F48 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:16:09] 927*2^1407774-1 is not prime. Res64: ADF9724441CE6A91 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:16:10] 965*2^1407774-1 is not prime. Res64: CDC246165A5B890C Time : 0.0 sec. user=mdettweiler [2015-08-30 00:16:13] 975*2^1407774-1 is not prime. Res64: CFC78274D9A4FCBC Time : 0.0 sec. user=mdettweiler [2015-08-30 00:16:14] 633*2^1407775-1 is not prime. Res64: 0576715C5C1B7EF0 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:17:03] 861*2^1407775-1 is not prime. Res64: B26AC2488C50C7A8 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:17:04] 895*2^1407775-1 is not prime. Res64: AD00400DE0DD83D8 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:33:45] 689*2^1407776-1 is not prime. Res64: BA72A8A4DFD103A9 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:33:45] 717*2^1407776-1 is not prime. Res64: AAAB93C71D155046 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:34:40] 747*2^1407776-1 is not prime. Res64: 949D686BAF071114 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:34:41] 855*2^1407776-1 is not prime. Res64: 165CFAF36CD93033 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:34:44] 857*2^1407776-1 is not prime. Res64: A79D1F864AEE5518 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:34:44] 627*2^1407777-1 is not prime. Res64: EA90A6A14D9BE266 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:35:46] 649*2^1407777-1 is not prime. Res64: C80DA23DDB8416CB Time : 0.0 sec. user=mdettweiler [2015-08-30 00:35:46] 667*2^1407777-1 is not prime. Res64: FFEC3B07365DC4E9 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:52:18] 837*2^1407777-1 is not prime. Res64: 64524D8A755CAEA4 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:52:19] 867*2^1407777-1 is not prime. Res64: B6955668D54933D1 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:53:02] 663*2^1407778-1 is not prime. Res64: 4C27E8054817DFB8 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:53:02] 737*2^1407778-1 is not prime. Res64: 566B096786531710 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:53:05] 773*2^1407778-1 is not prime. Res64: CCDA073C30C3FF39 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:53:06] 777*2^1407778-1 is not prime. Res64: 6EFE3822004F7512 Time : 0.0 sec. user=mdettweiler [2015-08-30 00:54:14] 911*2^1407778-1 is not prime. Res64: C9726606E6A1AA2D Time : 0.0 sec. user=mdettweiler [2015-08-30 00:54:14] 923*2^1407778-1 is not prime. Res64: A8AF41E62BF16EE4 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:10:04] 975*2^1407778-1 is not prime. Res64: 5DF1399A680BFE15 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:10:05] 711*2^1407779-1 is not prime. Res64: F24AE2EA23C61159 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:10:59] 861*2^1407779-1 is not prime. Res64: BB13F1D0D2BB3680 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:11:00] 909*2^1407779-1 is not prime. Res64: AEA4EC67EE882556 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:11:03] 753*2^1407779-1 is not prime. Res64: 6E3BAB85C0E6176D Time : 0.0 sec. user=mdettweiler [2015-08-30 01:11:03] 811*2^1407779-1 is not prime. Res64: B665618E0658F3F4 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:12:10] 939*2^1407779-1 is not prime. Res64: 34D843B2BDF18910 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:12:10] 675*2^1407780-1 is not prime. Res64: 106A957D5FC7E060 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:27:58] 765*2^1407780-1 is not prime. Res64: 2B252EB01E181E23 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:27:59] 843*2^1407780-1 is not prime. Res64: 668079AB84F778D8 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:28:47] 965*2^1407780-1 is not prime. Res64: E71F6996C1C7E40E Time : 0.0 sec. user=mdettweiler [2015-08-30 01:28:49] 615*2^1407781-1 is not prime. Res64: D17199B81D201D9D Time : 0.0 sec. user=mdettweiler [2015-08-30 01:28:54] 625*2^1407781-1 is not prime. Res64: E2D2210BEC781CA1 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:28:54] 687*2^1407781-1 is not prime. Res64: 1DEE04CEA7173325 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:29:54] 835*2^1407781-1 is not prime. Res64: 74E6A622C1828594 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:29:55] 877*2^1407781-1 is not prime. Res64: 9EFF6BF6D1E2B9E7 Time : 0.0 sec. user=S_K_ [2015-08-30 01:45:04] 951*2^1407775-1 is not prime. Res64: 718B24086F2A0345 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:46:02] 939*2^1407781-1 is not prime. Res64: 25C38EBF038DFCCC Time : 0.0 sec. user=mdettweiler [2015-08-30 01:46:03] 945*2^1407781-1 is not prime. Res64: 271702A1579B4A7C Time : 0.0 sec. user=mdettweiler [2015-08-30 01:46:38] 961*2^1407781-1 is not prime. Res64: AEA22F0184DD0240 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:46:38] 683*2^1407782-1 is not prime. Res64: E6BF6442A24A6EB8 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:46:50] 753*2^1407782-1 is not prime. Res64: C777BF6BE89DCFA0 Time : 0.0 sec. user=mdettweiler [2015-08-30 01:46:50] 755*2^1407782-1 is not prime. Res64: 83B9CCB1370CBF1C Time : 0.0 sec. user=mdettweiler [2015-08-30 01:47:47] 797*2^1407782-1 is not prime. Res64: 1B8BC9CDFFAEB69D Time : 0.0 sec. user=mdettweiler [2015-08-30 01:47:48] 867*2^1407782-1 is not prime. Res64: 99C1D2D310489634 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:03:56] 875*2^1407782-1 is not prime. Res64: 75901D9CC69C2F47 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:03:57] 887*2^1407782-1 is not prime. Res64: D30F82816A90F6CE Time : 0.0 sec. user=mdettweiler [2015-08-30 02:04:27] 915*2^1407782-1 is not prime. Res64: CB22BECD49ADD7B2 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:04:28] 923*2^1407782-1 is not prime. Res64: E55BE17EE40FFD17 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:04:51] 977*2^1407782-1 is not prime. Res64: 47C522AA6452033B Time : 0.0 sec. user=mdettweiler [2015-08-30 02:04:52] 685*2^1407783-1 is not prime. Res64: 22CDEAB179972350 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:05:40] 703*2^1407783-1 is not prime. Res64: 024C45FCD803A6A4 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:05:41] 677*2^1407784-1 is not prime. Res64: 7BEDE5249F50F73C Time : 0.0 sec. user=mdettweiler [2015-08-30 02:22:01] 699*2^1407784-1 is not prime. Res64: FC73063D812AC032 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:22:01] 717*2^1407784-1 is not prime. Res64: F6C97601A2190503 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:22:18] 843*2^1407784-1 is not prime. Res64: 21C07B2C5AE7F1E3 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:22:18] 849*2^1407784-1 is not prime. Res64: 7D7AE30D3C41D31C Time : 0.0 sec. user=mdettweiler [2015-08-30 02:22:44] 857*2^1407784-1 is not prime. Res64: DCE1AC3253FB3EF2 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:22:45] 869*2^1407784-1 is not prime. Res64: 7AC0B2BAB98CF2B7 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:23:50] 601*2^1407785-1 is not prime. Res64: D75CEDBB9EA55735 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:23:50] 627*2^1407785-1 is not prime. Res64: 13D8141095AF06D2 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:39:58] 721*2^1407785-1 is not prime. Res64: 6C302A460A75CE76 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:39:58] 861*2^1407785-1 is not prime. Res64: 8D8923C3C4F459C2 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:40:06] 633*2^1407786-1 is not prime. Res64: CF82CED8CF5EAA7F Time : 0.0 sec. user=mdettweiler [2015-08-30 02:40:07] 683*2^1407786-1 is not prime. Res64: E5CE4396E3B01127 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:40:40] 707*2^1407786-1 is not prime. Res64: DED892F4F84535A7 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:40:40] 807*2^1407786-1 is not prime. Res64: C0DAF5D2533FA874 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:41:45] 821*2^1407786-1 is not prime. Res64: 564DF3ED92233FC1 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:41:45] 843*2^1407786-1 is not prime. Res64: 14177C79AA063DD4 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:57:50] 861*2^1407786-1 is not prime. Res64: E1E8A332D2BCC76C Time : 0.0 sec. user=mdettweiler [2015-08-30 02:57:50] 983*2^1407786-1 is not prime. Res64: 859F0EF3A98BBEBD Time : 0.0 sec. user=mdettweiler [2015-08-30 02:58:03] 1001*2^1407786-1 is not prime. Res64: 60A6EE4EEB965EDE Time : 0.0 sec. user=mdettweiler [2015-08-30 02:58:04] 615*2^1407787-1 is not prime. Res64: D3B76D8E918A105A Time : 0.0 sec. user=mdettweiler [2015-08-30 02:58:36] 621*2^1407787-1 is not prime. Res64: B9B3168D69334614 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:58:36] 625*2^1407787-1 is not prime. Res64: 65862FDCE28B9BE1 Time : 0.0 sec. user=S_K_ [2015-08-30 02:59:21] 955*2^1407785-1 is not prime. Res64: 1E159234EEA66EB6 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:59:46] 691*2^1407787-1 is not prime. Res64: B291F9E7AA657698 Time : 0.0 sec. user=mdettweiler [2015-08-30 02:59:46] 829*2^1407787-1 is not prime. Res64: 5A61603C22E5521C Time : 0.0 sec. user=mdettweiler [2015-08-30 03:15:37] 945*2^1407787-1 is not prime. Res64: 003AE6663B9506E1 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:15:38] 647*2^1407788-1 is not prime. Res64: 1B12C4DF5A9A5531 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:15:58] 677*2^1407788-1 is not prime. Res64: 2C5F7E5E330F1733 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:15:59] 683*2^1407788-1 is not prime. Res64: 82673BB8ECB52519 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:16:20] 875*2^1407788-1 is not prime. Res64: FDDEE9D47903D072 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:16:21] 923*2^1407788-1 is not prime. Res64: 6CA2BA1DB0738AC4 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:17:36] 999*2^1407788-1 is not prime. Res64: 27BDC637FB841B4E Time : 0.0 sec. user=mdettweiler [2015-08-30 03:17:37] 657*2^1407789-1 is not prime. Res64: 98058217E7B0AC39 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:33:22] 741*2^1407789-1 is not prime. Res64: B662FF3AB8C8A94B Time : 0.0 sec. user=mdettweiler [2015-08-30 03:33:23] 747*2^1407789-1 is not prime. Res64: AB6EDA090A9C8EC0 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:33:55] 789*2^1407789-1 is not prime. Res64: E32E35B6C1848F58 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:33:56] 865*2^1407789-1 is not prime. Res64: 7031409D5DF56D45 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:34:10] 907*2^1407789-1 is not prime. Res64: 9C4237D4401B0623 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:34:11] 999*2^1407789-1 is not prime. Res64: E1308E6FDCDBB130 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:35:21] 675*2^1407790-1 is not prime. Res64: 48731087E157B618 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:35:22] 713*2^1407790-1 is not prime. Res64: EFB775A765671671 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:51:26] 717*2^1407790-1 is not prime. Res64: 5CF4D84CC443AA90 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:51:28] 791*2^1407790-1 is not prime. Res64: 2B83B0050DB149F8 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:51:47] 885*2^1407790-1 is not prime. Res64: AF902A6565798D7D Time : 0.0 sec. user=mdettweiler [2015-08-30 03:51:48] 651*2^1407791-1 is not prime. Res64: 3FB0AC5E62D19748 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:51:55] 865*2^1407791-1 is not prime. Res64: 0A4D9C854EEC9F49 Time : 0.0 sec. user=mdettweiler [2015-08-30 03:51:55] 991*2^1407791-1 is not prime. Res64: C957A4DF4A111B7B Time : 0.0 sec. user=mdettweiler [2015-08-30 03:53:02] 993*2^1407791-1 is not prime. Res64: FE9DA5BF13D86B2C Time : 0.0 sec. user=mdettweiler [2015-08-30 03:53:03] 635*2^1407792-1 is not prime. Res64: 7F71FE753057F854 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:09:41] 689*2^1407792-1 is not prime. Res64: 21C9A89570CEB24C Time : 0.0 sec. user=mdettweiler [2015-08-30 04:09:42] 809*2^1407792-1 is not prime. Res64: A2137FE33B0FD48A Time : 0.0 sec. user=mdettweiler [2015-08-30 04:09:45] 959*2^1407792-1 is not prime. Res64: E1DAA9CB12EFF05C Time : 0.0 sec. user=mdettweiler [2015-08-30 04:09:46] 615*2^1407793-1 is not prime. Res64: 0A7DB10F159578A7 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:09:57] 651*2^1407793-1 is not prime. Res64: 8312753663B804F4 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:09:58] 769*2^1407793-1 is not prime. Res64: D7076723A7FCFD34 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:11:34] 805*2^1407793-1 is not prime. Res64: 636EE1F7E2B35171 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:11:34] 897*2^1407793-1 is not prime. Res64: BD30DAB9F8A88284 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:28:11] 743*2^1407794-1 is not prime. Res64: 0948773B731B1216 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:28:12] 861*2^1407794-1 is not prime. Res64: 5CFBA84399F5FD2A Time : 0.0 sec. user=mdettweiler [2015-08-30 04:28:14] 939*2^1407793-1 is not prime. Res64: E4A3935A6F87BB6F Time : 0.0 sec. user=mdettweiler [2015-08-30 04:28:14] 705*2^1407794-1 is not prime. Res64: 6E66560459E86027 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:28:24] 903*2^1407794-1 is not prime. Res64: A01061B2C30DEE99 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:28:25] 915*2^1407794-1 is not prime. Res64: C220907C24A1E308 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:29:54] 995*2^1407794-1 is not prime. Res64: 37C56E6E867CF584 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:29:54] 613*2^1407795-1 is not prime. Res64: D6DD3E8914417270 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:46:22] 663*2^1407795-1 is not prime. Res64: D806A1C6EAF2EB8B Time : 0.0 sec. user=mdettweiler [2015-08-30 04:46:22] 961*2^1407795-1 is not prime. Res64: CB881EADE8E69F6E Time : 0.0 sec. user=mdettweiler [2015-08-30 04:46:22] 685*2^1407795-1 is not prime. Res64: 853D90A3A797FB5E Time : 0.0 sec. user=mdettweiler [2015-08-30 04:46:22] 647*2^1407796-1 is not prime. Res64: 9C7ADB1412F0154E Time : 0.0 sec. user=mdettweiler [2015-08-30 04:46:32] 699*2^1407795-1 is not prime. Res64: E69183D2F3E40945 Time : 0.0 sec. user=mdettweiler [2015-08-30 04:46:32] 829*2^1407795-1 is not prime. Res64: D41A86C33A69895F Time : 0.0 sec. user=mdettweiler [2015-08-30 04:47:53] 855*2^1407796-1 is not prime. Res64: A06CF9A84DBA8CFC Time : 0.0 sec. user=mdettweiler [2015-08-30 04:47:53] 857*2^1407796-1 is not prime. Res64: 1630B8FF352924CE Time : 0.0 sec. user=mdettweiler [2015-08-30 05:04:15] 947*2^1407796-1 is not prime. Res64: 97DC554BC0178188 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:04:16] 619*2^1407797-1 is not prime. Res64: C8D7EB2F7FDA8E0C Time : 0.0 sec. user=mdettweiler [2015-08-30 05:04:21] 927*2^1407796-1 is not prime. Res64: A4F65A89FAC58F2F Time : 0.0 sec. user=mdettweiler [2015-08-30 05:04:22] 939*2^1407796-1 is not prime. Res64: B7042C0CAAFFD7C4 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:04:30] 735*2^1407797-1 is not prime. Res64: D33B5578A8637F34 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:04:31] 801*2^1407797-1 is not prime. Res64: 7D700B6C487B0FB3 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:05:54] 901*2^1407797-1 is not prime. Res64: E187F18F56BFBAC2 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:05:55] 925*2^1407797-1 is not prime. Res64: 40B7301DD72930C6 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:21:54] 737*2^1407798-1 is not prime. Res64: FE94CE7923EA6430 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:21:54] 915*2^1407798-1 is not prime. Res64: 7D470DE0BB29B2DE Time : 0.0 sec. user=mdettweiler [2015-08-30 05:22:02] 945*2^1407798-1 is not prime. Res64: 550DA42EF783855C Time : 0.0 sec. user=mdettweiler [2015-08-30 05:22:03] 705*2^1407799-1 is not prime. Res64: 7A6F4FC685E8C778 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:22:15] 741*2^1407799-1 is not prime. Res64: CCD9B74503363CC8 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:22:16] 745*2^1407799-1 is not prime. Res64: 80E8BD2EE67C8D35 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:23:45] 765*2^1407799-1 is not prime. Res64: 05CFCD6A87D778B5 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:23:45] 771*2^1407799-1 is not prime. Res64: 5D455966F113C350 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:39:33] 853*2^1407799-1 is not prime. Res64: 39181E3DD768DE3F Time : 0.0 sec. user=mdettweiler [2015-08-30 05:39:34] 861*2^1407799-1 is not prime. Res64: 44054CE287894CF6 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:39:35] 885*2^1407799-1 is not prime. Res64: 944B3767EB17E50D Time : 0.0 sec. user=mdettweiler [2015-08-30 05:39:35] 931*2^1407799-1 is not prime. Res64: DCA0B01405BA70EC Time : 0.0 sec. user=mdettweiler [2015-08-30 05:39:48] 975*2^1407799-1 is not prime. Res64: 9EA7B401F521E764 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:39:48] 669*2^1407800-1 is not prime. Res64: DA7BA0EF829CF32B Time : 0.0 sec. user=mdettweiler [2015-08-30 05:41:17] 743*2^1407800-1 is not prime. Res64: 26456AEEC1260492 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:41:17] 753*2^1407800-1 is not prime. Res64: 725E3C5DE0A5AD2A Time : 0.0 sec. user=mdettweiler [2015-08-30 05:57:05] 705*2^1407801-1 is not prime. Res64: 55C092C98467292E Time : 0.0 sec. user=mdettweiler [2015-08-30 05:57:05] 727*2^1407801-1 is not prime. Res64: D9A49F0DA562B3A0 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:57:14] 915*2^1407800-1 is not prime. Res64: 4CC028608E581E3B Time : 0.0 sec. user=mdettweiler [2015-08-30 05:57:15] 609*2^1407801-1 is not prime. Res64: 8887553250281D61 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:57:31] 741*2^1407801-1 is not prime. Res64: F5019C112572D0F2 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:57:32] 777*2^1407801-1 is not prime. Res64: 9E1C5054236D6BA2 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:58:52] 811*2^1407801-1 is not prime. Res64: E24FA1AEF0EF1E36 Time : 0.0 sec. user=mdettweiler [2015-08-30 05:58:53] 849*2^1407801-1 is not prime. Res64: 528FD3FCAFEE2F22 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:14:44] 999*2^1407801-1 is not prime. Res64: 26C04ADF02421808 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:14:45] 777*2^1407802-1 is not prime. Res64: 8302E6E2757A8797 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:14:54] 699*2^1407803-1 is not prime. Res64: 4C8D0E1B132EEC2B Time : 0.0 sec. user=mdettweiler [2015-08-30 06:14:54] 735*2^1407803-1 is not prime. Res64: BCEEEC5982BC69DB Time : 0.0 sec. user=mdettweiler [2015-08-30 06:15:13] 789*2^1407803-1 is not prime. Res64: C811561D11685BDF Time : 0.0 sec. user=mdettweiler [2015-08-30 06:15:14] 879*2^1407803-1 is not prime. Res64: E90F4F29454221A9 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:16:29] 943*2^1407803-1 is not prime. Res64: AB7D541943335C3E Time : 0.0 sec. user=mdettweiler [2015-08-30 06:16:30] 705*2^1407804-1 is not prime. Res64: 8CEEAF4214A88AA2 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:32:29] 773*2^1407804-1 is not prime. Res64: 2FBE43C452043729 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:32:29] 843*2^1407804-1 is not prime. Res64: 3921490E5B9843DB Time : 0.0 sec. user=mdettweiler [2015-08-30 06:32:34] 899*2^1407804-1 is not prime. Res64: D8805D54F92C9C14 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:32:34] 915*2^1407804-1 is not prime. Res64: A4DB98BF5C022C5E Time : 0.0 sec. user=mdettweiler [2015-08-30 06:32:47] 983*2^1407804-1 is not prime. Res64: 315FC7FEBC088C0C Time : 0.0 sec. user=mdettweiler [2015-08-30 06:32:47] 667*2^1407805-1 is not prime. Res64: 437CBAD36E6ADE1C Time : 0.0 sec. user=mdettweiler [2015-08-30 06:34:10] 715*2^1407805-1 is not prime. Res64: 81026F5F42995412 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:34:10] 759*2^1407805-1 is not prime. Res64: 0026C1494370EC18 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:50:07] 871*2^1407805-1 is not prime. Res64: 6192C996C67F1D00 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:50:07] 939*2^1407805-1 is not prime. Res64: BE1015D1E23B658C Time : 0.0 sec. user=mdettweiler [2015-08-30 06:50:12] 981*2^1407805-1 is not prime. Res64: 40B23DC8D991959D Time : 0.0 sec. user=mdettweiler [2015-08-30 06:50:12] 999*2^1407805-1 is not prime. Res64: 3723439FE5151DE9 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:50:38] 711*2^1407806-1 is not prime. Res64: 6E899B23122E1F9B Time : 0.0 sec. user=mdettweiler [2015-08-30 06:50:39] 761*2^1407806-1 is not prime. Res64: AFE9DFF99CAC69A6 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:51:45] 773*2^1407806-1 is not prime. Res64: 8A79F8EF45579768 Time : 0.0 sec. user=mdettweiler [2015-08-30 06:51:45] 843*2^1407806-1 is not prime. Res64: 9BDFDFD3317E3C1B Time : 0.0 sec. user=mdettweiler [2015-08-30 07:07:51] 897*2^1407806-1 is not prime. Res64: 3195A712710D44B5 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:07:52] 911*2^1407806-1 is not prime. Res64: 35B9D94B9EA24935 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:07:59] 917*2^1407806-1 is not prime. Res64: AAFA2F4B691D6EBB Time : 0.0 sec. user=mdettweiler [2015-08-30 07:08:00] 981*2^1407806-1 is not prime. Res64: 4F4959D02084B36B Time : 0.0 sec. user=mdettweiler [2015-08-30 07:08:25] 609*2^1407807-1 is not prime. Res64: 189CE897838E9A0E Time : 0.0 sec. user=mdettweiler [2015-08-30 07:08:26] 625*2^1407807-1 is not prime. Res64: E66B1659B1702F47 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:09:27] 649*2^1407807-1 is not prime. Res64: A772C5FABE86BF90 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:09:27] 661*2^1407807-1 is not prime. Res64: 5BCDA8F1D4092C12 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:25:32] 669*2^1407807-1 is not prime. Res64: A01508199281D6CE Time : 0.0 sec. user=mdettweiler [2015-08-30 07:25:32] 775*2^1407807-1 is not prime. Res64: 90D877E6294EE03D Time : 0.0 sec. user=mdettweiler [2015-08-30 07:25:41] 825*2^1407807-1 is not prime. Res64: 97E422549221D7D3 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:25:41] 743*2^1407808-1 is not prime. Res64: 4C925A04A08D2D4A Time : 0.0 sec. user=mdettweiler [2015-08-30 07:26:05] 813*2^1407808-1 is not prime. Res64: E408292C12934ABF Time : 0.0 sec. user=mdettweiler [2015-08-30 07:26:05] 649*2^1407809-1 is not prime. Res64: DE04FD3FB5E4D948 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:26:57] 727*2^1407809-1 is not prime. Res64: 82BD439F9E5E69DD Time : 0.0 sec. user=mdettweiler [2015-08-30 07:26:57] 759*2^1407809-1 is not prime. Res64: FF89D8FAA778CA82 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:43:10] 769*2^1407809-1 is not prime. Res64: 90365B71B44195CF Time : 0.0 sec. user=mdettweiler [2015-08-30 07:43:10] 879*2^1407809-1 is not prime. Res64: 3FC21E9E76ED835D Time : 0.0 sec. user=mdettweiler [2015-08-30 07:43:16] 909*2^1407809-1 is not prime. Res64: 611E5776A4AC3CB1 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:43:16] 957*2^1407809-1 is not prime. Res64: 65B0D3D7746C081F Time : 0.0 sec. user=mdettweiler [2015-08-30 07:43:37] 611*2^1407810-1 is not prime. Res64: 43C1F722D7F4710A Time : 0.0 sec. user=mdettweiler [2015-08-30 07:43:38] 633*2^1407810-1 is not prime. Res64: 5431CF2257592037 Time : 0.0 sec. user=mdettweiler [2015-08-30 07:44:32] 651*2^1407810-1 is not prime. Res64: E428B81C7E9F4ABC Time : 0.0 sec. user=mdettweiler [2015-08-30 07:44:32] 681*2^1407810-1 is not prime. Res64: 71D2A96AA5164CAB Time : 0.0 sec. user=mdettweiler [2015-08-30 08:00:55] 713*2^1407810-1 is not prime. Res64: BB55CAF5F634FFCB Time : 0.0 sec. user=mdettweiler [2015-08-30 08:00:55] 755*2^1407810-1 is not prime. Res64: 26A21C296B79AB1A Time : 0.0 sec. user=mdettweiler [2015-08-30 08:01:02] 631*2^1407811-1 is not prime. Res64: DFF0D3699891E816 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:01:03] 789*2^1407811-1 is not prime. Res64: 9BF346EC68EAD4D4 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:01:19] 801*2^1407811-1 is not prime. Res64: 0C0B6778BF4786D8 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:01:20] 885*2^1407811-1 is not prime. Res64: 77EF65BBA77AD7AA Time : 0.0 sec. user=mdettweiler [2015-08-30 08:02:13] 889*2^1407811-1 is not prime. Res64: BA2DDD27598EF5A7 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:02:14] 909*2^1407811-1 is not prime. Res64: 28A498393BDA84F9 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:18:42] 635*2^1407812-1 is not prime. Res64: B755D83BE8CF2CA5 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:18:43] 939*2^1407811-1 is not prime. Res64: 8A645B7B1BFFE3E2 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:18:43] 677*2^1407812-1 is not prime. Res64: B325742E7C7BDAEF Time : 0.0 sec. user=mdettweiler [2015-08-30 08:18:44] 615*2^1407812-1 is not prime. Res64: BF0D6162D294C325 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:19:14] 743*2^1407812-1 is not prime. Res64: FAB6B53F34024FB0 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:19:15] 875*2^1407812-1 is not prime. Res64: B276D94F4437B0F1 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:19:54] 915*2^1407812-1 is not prime. Res64: E75DB22EBEF2D18B Time : 0.0 sec. user=mdettweiler [2015-08-30 08:19:55] 923*2^1407812-1 is not prime. Res64: 3D0ADC5ABFECAFB7 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:36:22] 765*2^1407813-1 is not prime. Res64: 1A5A73640E1C0F10 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:36:22] 867*2^1407813-1 is not prime. Res64: BE93CDAA4ACC3796 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:36:31] 935*2^1407812-1 is not prime. Res64: E1EBAB51F3AF73DE Time : 0.0 sec. user=mdettweiler [2015-08-30 08:36:31] 681*2^1407813-1 is not prime. Res64: CB7FE9415B8D4398 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:36:51] 871*2^1407813-1 is not prime. Res64: E4B2ABE855422CE9 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:36:52] 949*2^1407813-1 is not prime. Res64: ECD3C2C52DF8FE65 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:37:33] 979*2^1407813-1 is not prime. Res64: D97F50F6A0E2EB91 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:37:33] 621*2^1407814-1 is not prime. Res64: 1E31923AB3A1BBE0 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:54:03] 791*2^1407814-1 is not prime. Res64: 8D1F072BC7E65023 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:54:03] 815*2^1407814-1 is not prime. Res64: 3552C6ECB1F1342D Time : 0.0 sec. user=mdettweiler [2015-08-30 08:54:12] 981*2^1407814-1 is not prime. Res64: 6E406CB644F89DF1 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:54:12] 643*2^1407815-1 is not prime. Res64: EC2F820A8B69B192 Time : 0.0 sec. user=mdettweiler [2015-08-30 08:54:34] 675*2^1407815-1 is not prime. Res64: E717BE2481134CFA Time : 0.0 sec. user=mdettweiler [2015-08-30 08:54:34] 693*2^1407815-1 is not prime. Res64: 0AAFB072177A4DDC Time : 0.0 sec. user=mdettweiler [2015-08-30 08:55:17] 739*2^1407815-1 is not prime. Res64: 779651AFEB37A37E Time : 0.0 sec. user=mdettweiler [2015-08-30 08:55:17] 759*2^1407815-1 is not prime. Res64: 40E36ABCAEF28AFD Time : 0.0 sec. user=mdettweiler [2015-08-30 09:11:43] 775*2^1407815-1 is not prime. Res64: 7F1312567074A3A3 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:11:43] 825*2^1407815-1 is not prime. Res64: 90FD6DE19735A90D Time : 0.0 sec. user=mdettweiler [2015-08-30 09:11:50] 829*2^1407815-1 is not prime. Res64: 7C179F6D9AE4E9C1 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:11:50] 777*2^1407816-1 is not prime. Res64: F8E7FC7F15E7AE07 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:12:11] 849*2^1407816-1 is not prime. Res64: 0103EEA4A4FA53D6 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:12:12] 893*2^1407816-1 is not prime. Res64: 7A039FF4D4C39C7D Time : 0.0 sec. user=mdettweiler [2015-08-30 09:12:56] 899*2^1407816-1 is not prime. Res64: AAF8558FB20415C6 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:12:56] 917*2^1407816-1 is not prime. Res64: 0D58614078054003 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:29:26] 691*2^1407817-1 is not prime. Res64: 227F278A879EE113 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:29:26] 715*2^1407817-1 is not prime. Res64: D0E74A945AE41D8B Time : 0.0 sec. user=mdettweiler [2015-08-30 09:29:28] 993*2^1407816-1 is not prime. Res64: E820282FF52D2CBB Time : 0.0 sec. user=mdettweiler [2015-08-30 09:29:28] 645*2^1407817-1 is not prime. Res64: 85997108C34EB3A0 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:29:48] 765*2^1407817-1 is not prime. Res64: D770B07523717885 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:29:48] 775*2^1407817-1 is not prime. Res64: ED0E3394886655BA Time : 0.0 sec. user=mdettweiler [2015-08-30 09:30:39] 885*2^1407817-1 is not prime. Res64: 3810549F0CA2A403 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:30:39] 919*2^1407817-1 is not prime. Res64: 26B19E091D8A9099 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:47:10] 937*2^1407817-1 is not prime. Res64: 438EFFE15C9D480A Time : 0.0 sec. user=mdettweiler [2015-08-30 09:47:10] 617*2^1407818-1 is not prime. Res64: AF41599F89FBE9C3 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:47:13] 635*2^1407818-1 is not prime. Res64: 3E865DBE175E47AE Time : 0.0 sec. user=mdettweiler [2015-08-30 09:47:14] 771*2^1407818-1 is not prime. Res64: 6DBFD30682A639B0 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:47:40] 935*2^1407818-1 is not prime. Res64: 62C5A7CE67E369D5 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:47:40] 609*2^1407819-1 is not prime. Res64: 47EB0D30F3A7AEEC Time : 0.0 sec. user=mdettweiler [2015-08-30 09:48:17] 621*2^1407819-1 is not prime. Res64: 56300C96EF0957E7 Time : 0.0 sec. user=mdettweiler [2015-08-30 09:48:18] 709*2^1407819-1 is not prime. Res64: CC1A7729FB861CDA Time : 0.0 sec. user=mdettweiler [2015-08-30 10:04:53] 985*2^1407819-1 is not prime. Res64: F4E5C63842B82DD1 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:04:55] 629*2^1407820-1 is not prime. Res64: 095878882FF33575 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:05:09] 723*2^1407819-1 is not prime. Res64: C78A78F628E6AEB5 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:05:09] 895*2^1407819-1 is not prime. Res64: C3AFC6D19F078E8B Time : 0.0 sec. user=mdettweiler [2015-08-30 10:05:25] 647*2^1407820-1 is not prime. Res64: 0A99EDFA7ABA16FE Time : 0.0 sec. user=mdettweiler [2015-08-30 10:05:26] 743*2^1407820-1 is not prime. Res64: 187CC44D758D0955 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:06:03] 765*2^1407820-1 is not prime. Res64: 906C997C79CD4968 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:06:04] 819*2^1407820-1 is not prime. Res64: EF519FF5C1CA3267 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:22:40] 855*2^1407820-1 is not prime. Res64: 141AB8BC26339E00 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:22:41] 909*2^1407820-1 is not prime. Res64: 8DCFFAB5BCF42AB2 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:22:53] 939*2^1407820-1 is not prime. Res64: 29A70D4E576FA5C3 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:22:54] 983*2^1407820-1 is not prime. Res64: 58EE48F028EB1B37 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:23:10] 627*2^1407821-1 is not prime. Res64: 77EE6B931AAE5D9B Time : 0.0 sec. user=mdettweiler [2015-08-30 10:23:11] 711*2^1407821-1 is not prime. Res64: 56DB278F3792AD57 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:23:42] 735*2^1407821-1 is not prime. Res64: 0E0FB3FDDD153033 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:23:42] 745*2^1407821-1 is not prime. Res64: 7AA984710A8C90B9 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:40:25] 769*2^1407821-1 is not prime. Res64: 51D095B8C31274C3 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:40:25] 889*2^1407821-1 is not prime. Res64: 5D27C06D288C041C Time : 0.0 sec. user=mdettweiler [2015-08-30 10:40:37] 955*2^1407821-1 is not prime. Res64: 2CC1F54DCF74EE65 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:40:38] 693*2^1407822-1 is not prime. Res64: BEE77BDFB07A78E6 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:40:51] 723*2^1407822-1 is not prime. Res64: E8A46ADEE496D017 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:40:51] 725*2^1407822-1 is not prime. Res64: 63BE025BB6FBA919 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:41:19] 755*2^1407822-1 is not prime. Res64: 9C7035BB88DF1D04 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:41:19] 765*2^1407822-1 is not prime. Res64: AE302E39D9509819 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:14] 815*2^1407822-1 is not prime. Res64: 469843F263998F1B Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:14] 843*2^1407822-1 is not prime. Res64: A546F3C823483B26 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:18] 873*2^1407822-1 is not prime. Res64: 3675F4988E4963C8 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:18] 891*2^1407822-1 is not prime. Res64: 49AECC03866E3EFE Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:33] 621*2^1407823-1 is not prime. Res64: AD1795780BF63763 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:33] 709*2^1407823-1 is not prime. Res64: 31E7B3BDBA940529 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:56] 771*2^1407823-1 is not prime. Res64: 01456F9BA9AD7C12 Time : 0.0 sec. user=mdettweiler [2015-08-30 10:58:56] 849*2^1407823-1 is not prime. Res64: A75C9CD60393C77F Time : 0.0 sec. user=mdettweiler [2015-08-30 11:15:58] 973*2^1407823-1 is not prime. Res64: 7E9DC9DA79EE2730 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:15:59] 803*2^1407824-1 is not prime. Res64: E5BD595C17BE2883 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:16:00] 855*2^1407823-1 is not prime. Res64: 97368E42764BBBA5 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:16:00] 943*2^1407823-1 is not prime. Res64: D16486402BE3542D Time : 0.0 sec. user=mdettweiler [2015-08-30 11:16:11] 833*2^1407824-1 is not prime. Res64: 12FEFD875220F503 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:16:11] 945*2^1407824-1 is not prime. Res64: CCDF88C18E2CB754 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:16:38] 601*2^1407825-1 is not prime. Res64: 326780665D2E5751 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:16:38] 751*2^1407825-1 is not prime. Res64: DDF69ECB132DB1A8 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:33:45] 915*2^1407825-1 is not prime. Res64: E61056768DDF60BA Time : 0.0 sec. user=mdettweiler [2015-08-30 11:33:45] 671*2^1407826-1 is not prime. Res64: 7E2CCBE709431C58 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:33:50] 847*2^1407825-1 is not prime. Res64: B4670677054C401C Time : 0.0 sec. user=mdettweiler [2015-08-30 11:33:51] 871*2^1407825-1 is not prime. Res64: FB03005E313ECEFD Time : 0.0 sec. user=mdettweiler [2015-08-30 11:33:55] 705*2^1407826-1 is not prime. Res64: 7545A94027F331EE Time : 0.0 sec. user=mdettweiler [2015-08-30 11:33:55] 737*2^1407826-1 is not prime. Res64: 527A47C904DD7FB6 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:34:29] 843*2^1407826-1 is not prime. Res64: 62ACF3FA37572417 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:34:29] 941*2^1407826-1 is not prime. Res64: 288A8939ED60A7F0 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:51:40] 643*2^1407827-1 is not prime. Res64: AA88AB571899DBEA Time : 0.0 sec. user=mdettweiler [2015-08-30 11:51:40] 715*2^1407827-1 is not prime. Res64: 37AA88DE86E5349A Time : 0.0 sec. user=mdettweiler [2015-08-30 11:51:42] 801*2^1407827-1 is not prime. Res64: C51473698F286937 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:51:42] 973*2^1407827-1 is not prime. Res64: A95CA6C1C8F464D5 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:52:21] 893*2^1407828-1 is not prime. Res64: 40656B903742AF83 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:52:21] 923*2^1407828-1 is not prime. Res64: 268038284AEECB74 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:52:36] 629*2^1407828-1 is not prime. Res64: 8627B03A2FA4BC17 Time : 0.0 sec. user=mdettweiler [2015-08-30 11:52:37] 665*2^1407828-1 is not prime. Res64: 79D5C3B49248EDF9 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:09:20] 747*2^1407829-1 is not prime. Res64: 9B4E25BADAFE815D Time : 0.0 sec. user=mdettweiler [2015-08-30 12:09:21] 931*2^1407829-1 is not prime. Res64: 2422245F9959A094 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:09:30] 951*2^1407829-1 is not prime. Res64: C5786B7037982221 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:09:31] 635*2^1407830-1 is not prime. Res64: D9BB059B5E68E95E Time : 0.0 sec. user=mdettweiler [2015-08-30 12:10:04] 945*2^1407830-1 is not prime. Res64: 4155993CB156D412 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:10:04] 987*2^1407830-1 is not prime. Res64: 908458E736273133 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:10:18] 789*2^1407831-1 is not prime. Res64: 28122C59E6C7CFEE Time : 0.0 sec. user=mdettweiler [2015-08-30 12:10:18] 891*2^1407831-1 is not prime. Res64: 6DD2F00DD535B7FC Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:18] 951*2^1407831-1 is not prime. Res64: 97147238FEA08F19 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:18] 609*2^1407832-1 is not prime. Res64: 42539FA815CC57E5 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:18] 665*2^1407832-1 is not prime. Res64: 5A76E5638C77CB4F Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:19] 855*2^1407832-1 is not prime. Res64: 60905A039CABAB3D Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:46] 869*2^1407832-1 is not prime. Res64: 4C21546EE0F0549E Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:46] 875*2^1407832-1 is not prime. Res64: BA971B1DE1053428 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:55] 983*2^1407832-1 is not prime. Res64: 3F8F4E29ACB299F3 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:27:55] 619*2^1407833-1 is not prime. Res64: 72B592EE05A4B8DD Time : 0.0 sec. user=S_K_ [2015-08-30 12:28:58] 621*2^1407798-1 is not prime. Res64: 87C26677CB7B83DE Time : 0.0 sec. user=mdettweiler [2015-08-30 12:44:57] 987*2^1407833-1 is not prime. Res64: A00F562C38326451 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:44:58] 621*2^1407834-1 is not prime. Res64: FC8326DFE5AE063D Time : 0.0 sec. user=mdettweiler [2015-08-30 12:45:02] 669*2^1407833-1 is not prime. Res64: 29115AE8929929B5 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:45:03] 759*2^1407833-1 is not prime. Res64: 649E21D060720AB8 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:45:25] 657*2^1407834-1 is not prime. Res64: EEDFDC4A4304BF0D Time : 0.0 sec. user=mdettweiler [2015-08-30 12:45:25] 707*2^1407834-1 is not prime. Res64: 1C058A27EA70ED02 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:45:29] 833*2^1407834-1 is not prime. Res64: 3D78F3F52DCD23E2 Time : 0.0 sec. user=mdettweiler [2015-08-30 12:45:30] 975*2^1407834-1 is not prime. Res64: 21F797A3EECBFF6E Time : 0.0 sec. user=mdettweiler [2015-08-30 13:02:37] 983*2^1407834-1 is not prime. Res64: 157705449A9F9732 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:02:37] 673*2^1407835-1 is not prime. Res64: 65C5825F2288E779 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:02:40] 741*2^1407835-1 is not prime. Res64: 7FC8917A629E648F Time : 0.0 sec. user=mdettweiler [2015-08-30 13:02:41] 841*2^1407835-1 is not prime. Res64: 3FD159E920474485 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:03:09] 623*2^1407836-1 is not prime. Res64: 0EE6DABCFB8585FB Time : 0.0 sec. user=mdettweiler [2015-08-30 13:03:10] 767*2^1407836-1 is not prime. Res64: CF6A0A74D08BC3C7 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:03:13] 961*2^1407835-1 is not prime. Res64: 1DA3AD9BEC1590E3 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:03:14] 973*2^1407835-1 is not prime. Res64: FAB899B56B4EB016 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:20:43] 843*2^1407836-1 is not prime. Res64: 7707E920554DEF8D Time : 0.0 sec. user=mdettweiler [2015-08-30 13:20:43] 893*2^1407836-1 is not prime. Res64: 760A3A6381B53B18 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:20:44] 923*2^1407836-1 is not prime. Res64: ED89EAC0A6DFFDFB Time : 0.0 sec. user=mdettweiler [2015-08-30 13:20:45] 983*2^1407836-1 is not prime. Res64: 4869E7AC71B98B69 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:20:53] 607*2^1407837-1 is not prime. Res64: 02EFCE04651A1A15 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:20:53] 649*2^1407837-1 is not prime. Res64: 5ADDD72180F8FF33 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:21:07] 711*2^1407837-1 is not prime. Res64: 6A5FB52FE307D15A Time : 0.0 sec. user=mdettweiler [2015-08-30 13:21:07] 741*2^1407837-1 is not prime. Res64: 56E07943A6BB5387 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:24] 795*2^1407837-1 is not prime. Res64: 05FA7E08A65594AA Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:24] 751*2^1407837-1 is not prime. Res64: 0DAAE682FBD3829E Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:24] 865*2^1407837-1 is not prime. Res64: 0233E4FD8A4505D6 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:25] 781*2^1407837-1 is not prime. Res64: CB86B8DEDFA00521 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:31] 891*2^1407837-1 is not prime. Res64: FAE8C7F4ED7F6BF5 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:31] 919*2^1407837-1 is not prime. Res64: 56FF3CA2999CB837 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:41] 623*2^1407838-1 is not prime. Res64: B473C011C862AF0A Time : 0.0 sec. user=mdettweiler [2015-08-30 13:38:42] 663*2^1407838-1 is not prime. Res64: 273C981FD4E4AF5D Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:05] 665*2^1407838-1 is not prime. Res64: 6DA5D2715B359856 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:06] 773*2^1407838-1 is not prime. Res64: B959FBE16F6F98F0 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:09] 813*2^1407838-1 is not prime. Res64: 342DBFBD006BA929 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:09] 825*2^1407838-1 is not prime. Res64: 4F476B804CF50EC6 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:16] 885*2^1407838-1 is not prime. Res64: D4BCCDF35B2BE6CB Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:16] 945*2^1407838-1 is not prime. Res64: FE42C89FEF87E291 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:28] 957*2^1407838-1 is not prime. Res64: CFF27FED5E437F96 Time : 0.0 sec. user=mdettweiler [2015-08-30 13:56:28] 987*2^1407838-1 is not prime. Res64: 9EB87B1217DEB54F Time : 0.0 sec. user=mdettweiler [2015-08-30 14:13:49] 609*2^1407839-1 is not prime. Res64: 55F0028DBFB84B96 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:13:49] 643*2^1407839-1 is not prime. Res64: E2E9A879E72F4859 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:14:04] 693*2^1407839-1 is not prime. Res64: 31381CB19255548E Time : 0.0 sec. user=mdettweiler [2015-08-30 14:14:04] 735*2^1407839-1 is not prime. Res64: 8FAB04BF3B8D6046 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:14:13] 759*2^1407839-1 is not prime. Res64: 5933249F04F1E145 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:14:13] 771*2^1407839-1 is not prime. Res64: 7EB077777E17113F Time : 0.0 sec. user=mdettweiler [2015-08-30 14:14:13] 775*2^1407839-1 is not prime. Res64: 7058426B4916ECC8 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:14:14] 789*2^1407839-1 is not prime. Res64: D3255EFA69A8ED46 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:31:46] 859*2^1407839-1 is not prime. Res64: 8DCF8767D7F71E8B Time : 0.0 sec. user=mdettweiler [2015-08-30 14:31:46] 939*2^1407839-1 is not prime. Res64: EB48933A3677A3B4 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:31:56] 653*2^1407840-1 is not prime. Res64: 564300980F67E9BF Time : 0.0 sec. user=mdettweiler [2015-08-30 14:31:56] 707*2^1407840-1 is not prime. Res64: 30D1791631726AA4 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:32:02] 725*2^1407840-1 is not prime. Res64: F95C2C7D0FB7444D Time : 0.0 sec. user=mdettweiler [2015-08-30 14:32:02] 893*2^1407840-1 is not prime. Res64: 09B7E2FF69EF4421 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:32:09] 975*2^1407840-1 is not prime. Res64: C12A52E3513673FC Time : 0.0 sec. user=mdettweiler [2015-08-30 14:32:09] 645*2^1407841-1 is not prime. Res64: FA05D023E6E566E2 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:24] 649*2^1407841-1 is not prime. Res64: 5D824B24FBCA31EE Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:24] 691*2^1407841-1 is not prime. Res64: C4E601A4D3B26393 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:35] 819*2^1407841-1 is not prime. Res64: 43B4C3723FBBFE90 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:36] 861*2^1407841-1 is not prime. Res64: 8768C7570D1DA415 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:44] 743*2^1407842-1 is not prime. Res64: 0478D0D762D02CE5 Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:45] 825*2^1407842-1 is not prime. Res64: 05132F8BF0485EBE Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:52] 997*2^1407841-1 is not prime. Res64: A6FA26DC851506DE Time : 0.0 sec. user=mdettweiler [2015-08-30 14:49:52] 705*2^1407842-1 is not prime. Res64: 6A4C09BD2AAE604D Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:04] 1001*2^1407842-1 is not prime. Res64: D3730E13DEB4E4FE Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:05] 609*2^1407843-1 is not prime. Res64: 255B93EB975B9B45 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:11] 613*2^1407843-1 is not prime. Res64: 8F880B8199F10BC8 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:11] 705*2^1407843-1 is not prime. Res64: 77DD079B420EC525 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:18] 741*2^1407843-1 is not prime. Res64: AC303EBEB20CEA8A Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:18] 783*2^1407843-1 is not prime. Res64: FD27A900215CE640 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:26] 615*2^1407844-1 is not prime. Res64: E43DB99AB7E46386 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:07:26] 675*2^1407844-1 is not prime. Res64: 13CA0CF5C9FDE14E Time : 0.0 sec. user=mdettweiler [2015-08-30 15:24:56] 887*2^1407844-1 is not prime. Res64: 136C6B055B7F36BA Time : 0.0 sec. user=mdettweiler [2015-08-30 15:24:57] 899*2^1407844-1 is not prime. Res64: 6C60D62FA56FAA03 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:24:58] 825*2^1407844-1 is not prime. Res64: DE10BB41A739DAA4 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:24:58] 857*2^1407844-1 is not prime. Res64: FCF14BCE722A6150 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:25:16] 939*2^1407844-1 is not prime. Res64: 660170724AB1678A Time : 0.0 sec. user=mdettweiler [2015-08-30 15:25:16] 627*2^1407845-1 is not prime. Res64: B39E685097322984 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:25:17] 771*2^1407845-1 is not prime. Res64: ED2DB3778CEC92C0 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:25:18] 847*2^1407845-1 is not prime. Res64: 25A3C314F65BB93A Time : 0.0 sec. user=mdettweiler [2015-08-30 15:42:52] 897*2^1407845-1 is not prime. Res64: F32876E71187545C Time : 0.0 sec. user=mdettweiler [2015-08-30 15:42:52] 657*2^1407846-1 is not prime. Res64: 6BBA481F3B0F4214 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:42:53] 917*2^1407846-1 is not prime. Res64: 0D78DB7D6EB9D3AE Time : 0.0 sec. user=mdettweiler [2015-08-30 15:42:53] 945*2^1407846-1 is not prime. Res64: 494C3EA3C616BBB9 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:43:08] 673*2^1407847-1 is not prime. Res64: F6766BF998727D6E Time : 0.0 sec. user=mdettweiler [2015-08-30 15:43:09] 775*2^1407847-1 is not prime. Res64: C0696D68957289C5 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:43:12] 1001*2^1407846-1 is not prime. Res64: 216B9FA730DC9825 Time : 0.0 sec. user=mdettweiler [2015-08-30 15:43:12] 619*2^1407847-1 is not prime. Res64: 4EFD6C9CB9240E21 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:14] 873*2^1407847-1 is not prime. Res64: 3FAD95A7F3B9F07A Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:15] 669*2^1407848-1 is not prime. Res64: 795240FED4D669C8 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:15] 951*2^1407847-1 is not prime. Res64: 7893CE8A38BBDE6A Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:16] 767*2^1407848-1 is not prime. Res64: 1F92E20BE789F9E1 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:24] 815*2^1407848-1 is not prime. Res64: D6735D04798A69BA Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:25] 899*2^1407848-1 is not prime. Res64: 8322EC51DDB8F9D2 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:29] 609*2^1407849-1 is not prime. Res64: 2B9EAEA143F031FE Time : 0.0 sec. user=mdettweiler [2015-08-30 16:01:29] 615*2^1407849-1 is not prime. Res64: 8088A380ADE938F1 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:18:51] 625*2^1407849-1 is not prime. Res64: 3713048CEFBE9A4C Time : 0.0 sec. user=mdettweiler [2015-08-30 16:18:51] 661*2^1407849-1 is not prime. Res64: A42D8BF6B7208FB6 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:18:54] 735*2^1407849-1 is not prime. Res64: B746C6C1CC32A74D Time : 0.0 sec. user=mdettweiler [2015-08-30 16:18:55] 817*2^1407849-1 is not prime. Res64: A1168931734EF096 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:18:57] 835*2^1407849-1 is not prime. Res64: B69B4EC1C588EE2F Time : 0.0 sec. user=mdettweiler [2015-08-30 16:18:58] 837*2^1407849-1 is not prime. Res64: 580DF97B27F076B0 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:19:09] 889*2^1407849-1 is not prime. Res64: BD9AC0A346164DB1 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:19:09] 777*2^1407850-1 is not prime. Res64: BC4FA4EFA6656365 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:34] 669*2^1407851-1 is not prime. Res64: A3A85195C4F6299A Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:35] 673*2^1407851-1 is not prime. Res64: 453EA78A2514078B Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:45] 827*2^1407850-1 is not prime. Res64: CFDDF949F0030DDC Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:45] 957*2^1407850-1 is not prime. Res64: CB10710F0B15FE05 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:48] 745*2^1407851-1 is not prime. Res64: A997224B68CF059B Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:49] 913*2^1407851-1 is not prime. Res64: 50E551CF43FB0C3C Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:51] 635*2^1407852-1 is not prime. Res64: 8DF0EE44247A5F05 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:36:52] 737*2^1407852-1 is not prime. Res64: F846367D4272536F Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:21] 879*2^1407852-1 is not prime. Res64: BBC3F5950BB5C95F Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:21] 903*2^1407852-1 is not prime. Res64: 0E44082EA07A9BC0 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:25] 863*2^1407852-1 is not prime. Res64: 572ECCD342BD44B3 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:25] 867*2^1407852-1 is not prime. Res64: DDBD59CC42916FF3 Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:28] 965*2^1407852-1 is not prime. Res64: 9C9E736C054BE63A Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:28] 999*2^1407852-1 is not prime. Res64: D4C918FC4BB0E08E Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:32] 625*2^1407853-1 is not prime. Res64: EDF097E7BBE7C6AD Time : 0.0 sec. user=mdettweiler [2015-08-30 16:54:32] 835*2^1407853-1 is not prime. Res64: E0C437FD92D3600B Time : 0.0 sec. user=mdettweiler [2015-08-30 17:12:45] 663*2^1407854-1 is not prime. Res64: 280E58FE68B48C90 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:12:45] 707*2^1407854-1 is not prime. Res64: 970F4DEF97CAAF2D Time : 0.0 sec. user=mdettweiler [2015-08-30 17:12:52] 895*2^1407853-1 is not prime. Res64: CBACF35C2829E087 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:12:53] 939*2^1407853-1 is not prime. Res64: 41EB0DEF92400956 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:12:59] 999*2^1407853-1 is not prime. Res64: 3202E5D2F92BE093 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:13:00] 623*2^1407854-1 is not prime. Res64: 3BEB22736D7A2933 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:13:04] 773*2^1407854-1 is not prime. Res64: 765EB4D63697848C Time : 0.0 sec. user=mdettweiler [2015-08-30 17:13:04] 827*2^1407854-1 is not prime. Res64: 6FB0F9BB2451CC6C Time : 0.0 sec. user=mdettweiler [2015-08-30 17:31:29] 851*2^1407854-1 is not prime. Res64: 38AAE6A8FE7CA02E Time : 0.0 sec. user=mdettweiler [2015-08-30 17:31:29] 921*2^1407854-1 is not prime. Res64: 580176FFFDDE58C3 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:31:30] 945*2^1407854-1 is not prime. Res64: D45F3CDD7FC88914 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:31:30] 965*2^1407854-1 is not prime. Res64: A9E3BDE4C089BE54 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:31:35] 735*2^1407855-1 is not prime. Res64: F05A2839C41E5F6B Time : 0.0 sec. user=mdettweiler [2015-08-30 17:31:35] 885*2^1407855-1 is not prime. Res64: 1EA982DBA0B34DEB Time : 0.0 sec. user=mdettweiler [2015-08-30 17:32:00] 891*2^1407855-1 is not prime. Res64: A5A380781C0E4669 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:32:00] 969*2^1407855-1 is not prime. Res64: E76EA59B5B388F0C Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:05] 697*2^1407857-1 is not prime. Res64: 3524A8138D3A65A8 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:06] 957*2^1407857-1 is not prime. Res64: ABDDEE55F7BE7C1B Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:10] 723*2^1407856-1 is not prime. Res64: 1F5FB6EF6851CD1B Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:10] 909*2^1407856-1 is not prime. Res64: CEC0F9BA9D62D2BA Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:12] 635*2^1407858-1 is not prime. Res64: D4CA51669937EF53 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:13] 641*2^1407858-1 is not prime. Res64: E93C7C02B912E23F Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:38] 663*2^1407858-1 is not prime. Res64: 2BEE5176738CEBA4 Time : 0.0 sec. user=mdettweiler [2015-08-30 17:49:38] 713*2^1407858-1 is not prime. Res64: 63737C6D4DDA8F38 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:06:56] 797*2^1407858-1 is not prime. Res64: 05E2C704F709BD57 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:06:56] 833*2^1407858-1 is not prime. Res64: 81EBC0455E4C83F1 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:07:01] 893*2^1407858-1 is not prime. Res64: 47812B22F30792DF Time : 0.0 sec. user=mdettweiler [2015-08-30 18:07:01] 621*2^1407859-1 is not prime. Res64: 4B3B37A977B220F0 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:07:03] 793*2^1407859-1 is not prime. Res64: 6BE6AF1184C21DA5 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:07:04] 913*2^1407859-1 is not prime. Res64: 6EDD4D87C0F90067 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:07:27] 939*2^1407859-1 is not prime. Res64: 071D9513C12446F2 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:07:28] 961*2^1407859-1 is not prime. Res64: 101EB17C92C91445 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:24:38] 689*2^1407860-1 is not prime. Res64: 519C68F113A4E1AD Time : 0.0 sec. user=mdettweiler [2015-08-30 18:24:39] 819*2^1407860-1 is not prime. Res64: 5862000F186BACC1 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:24:43] 973*2^1407859-1 is not prime. Res64: A66EB02F6AB4532A Time : 0.0 sec. user=mdettweiler [2015-08-30 18:24:43] 669*2^1407860-1 is not prime. Res64: FC0A8F0176F35F90 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:24:49] 983*2^1407860-1 is not prime. Res64: 979E6EEA31299F0E Time : 0.0 sec. user=mdettweiler [2015-08-30 18:24:50] 625*2^1407861-1 is not prime. Res64: E6CAA09CBBB45460 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:25:10] 727*2^1407861-1 is not prime. Res64: 34A33A0803B4BCFF Time : 0.0 sec. user=mdettweiler [2015-08-30 18:25:11] 901*2^1407861-1 is not prime. Res64: B38AF93E16E85AD4 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:22] 997*2^1407861-1 is not prime. Res64: 30C9BCCC7E7602A9 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:22] 611*2^1407862-1 is not prime. Res64: E51026CE10E0D0EE Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:23] 665*2^1407862-1 is not prime. Res64: 97635AD425A7DEE8 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:23] 723*2^1407862-1 is not prime. Res64: E34B086024133FD4 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:37] 831*2^1407862-1 is not prime. Res64: C0FD2B6A4DA73FF7 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:38] 917*2^1407862-1 is not prime. Res64: 31A8AEB2B90D5C98 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:53] 987*2^1407862-1 is not prime. Res64: B356FB6C4D49BA52 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:42:53] 633*2^1407863-1 is not prime. Res64: 746AB4D0C56E5AB6 Time : 0.0 sec. user=mdettweiler [2015-08-30 18:59:56] 705*2^1407863-1 is not prime. Res64: 30AA7455F09309EC Time : 0.0 sec. user=mdettweiler [2015-08-30 18:59:57] 753*2^1407863-1 is not prime. Res64: 40EFEC77DF066D99 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:00:09] 805*2^1407863-1 is not prime. Res64: 44A78E4D20102EAF Time : 0.0 sec. user=mdettweiler [2015-08-30 19:00:10] 811*2^1407863-1 is not prime. Res64: D6D76C20FBF498F6 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:00:15] 879*2^1407863-1 is not prime. Res64: 06A257FD9BFF57D1 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:00:15] 949*2^1407863-1 is not prime. Res64: 5901B5577FEBDC47 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:00:39] 893*2^1407864-1 is not prime. Res64: 3B82703F878E9FB5 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:00:39] 607*2^1407865-1 is not prime. Res64: 15FA35C1B975A7DF Time : 0.0 sec. user=mdettweiler [2015-08-30 19:18:25] 867*2^1407865-1 is not prime. Res64: CB3703F984F1E5C0 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:18:25] 889*2^1407865-1 is not prime. Res64: 6B5F3ACC7D74A845 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:18:42] 979*2^1407865-1 is not prime. Res64: 6273BDE9D2FCE5B8 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:18:43] 657*2^1407866-1 is not prime. Res64: 608201A45BD97156 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:18:44] 683*2^1407866-1 is not prime. Res64: 581FE382BE7061F4 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:18:44] 707*2^1407866-1 is not prime. Res64: 125E585C5FDCD0A6 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:19:16] 921*2^1407866-1 is not prime. Res64: BA2D70F69CC236E1 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:19:16] 971*2^1407866-1 is not prime. Res64: 85A7CE45FA3ECAE6 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:09] 703*2^1407867-1 is not prime. Res64: D3F1D08620178DCA Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:10] 775*2^1407867-1 is not prime. Res64: 4370EE38C76F1439 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:25] 605*2^1407868-1 is not prime. Res64: 909DAB8F448C35DB Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:25] 623*2^1407868-1 is not prime. Res64: 3DCAF0E99BD85AA2 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:26] 805*2^1407867-1 is not prime. Res64: 7C9D679DAEFF73E1 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:26] 849*2^1407867-1 is not prime. Res64: 5A5D337395C3847A Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:54] 723*2^1407868-1 is not prime. Res64: DEBE3C26EED2DA78 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:37:54] 749*2^1407868-1 is not prime. Res64: 3C64D9998F16A38E Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:01] 845*2^1407868-1 is not prime. Res64: 8A8B4BB0C9BBB4EC Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:02] 885*2^1407868-1 is not prime. Res64: EBDBB3274DE28DC8 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:20] 675*2^1407869-1 is not prime. Res64: E8BD42CE5097414B Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:20] 799*2^1407869-1 is not prime. Res64: 33C0D705753D0287 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:49] 959*2^1407868-1 is not prime. Res64: 20EBC7A6AFD1328E Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:49] 621*2^1407869-1 is not prime. Res64: 1756BF45C7428DE7 Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:58] 879*2^1407869-1 is not prime. Res64: 3E7DDD1A1E550F6C Time : 0.0 sec. user=mdettweiler [2015-08-30 19:56:58] 635*2^1407870-1 is not prime. Res64: 24C50C6D467872DA Time : 0.0 sec. user=mdettweiler [2015-08-30 20:14:27] 651*2^1407870-1 is not prime. Res64: ED48867052A390DE Time : 0.0 sec. user=mdettweiler [2015-08-30 20:14:27] 821*2^1407870-1 is not prime. Res64: 48343B2425D2B544 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:15:12] 673*2^1407871-1 is not prime. Res64: BFD19122192A04B8 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:15:12] 849*2^1407871-1 is not prime. Res64: 446D979691D6973C Time : 0.0 sec. user=mdettweiler [2015-08-30 20:15:27] 843*2^1407870-1 is not prime. Res64: 4AF9856A7B8583D9 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:15:28] 873*2^1407870-1 is not prime. Res64: F84B5D6CF9C63D6E Time : 0.0 sec. user=mdettweiler [2015-08-30 20:15:58] 855*2^1407871-1 is not prime. Res64: 6BB1B2CEEC461D35 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:15:58] 861*2^1407871-1 is not prime. Res64: E5CA326F3781F7C8 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:33:20] 615*2^1407872-1 is not prime. Res64: E562E26749778CB4 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:33:20] 617*2^1407872-1 is not prime. Res64: 7EB30FA42218B83D Time : 0.0 sec. user=mdettweiler [2015-08-30 20:34:09] 623*2^1407872-1 is not prime. Res64: 709FAFE8C5182610 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:34:09] 633*2^1407872-1 is not prime. Res64: 1096562E5801BC08 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:34:15] 833*2^1407872-1 is not prime. Res64: 69F9BA44A2353EDD Time : 0.0 sec. user=mdettweiler [2015-08-30 20:34:15] 855*2^1407872-1 is not prime. Res64: 191123D4980A0B31 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:34:59] 945*2^1407872-1 is not prime. Res64: EF4A51D6E4055B82 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:34:59] 637*2^1407873-1 is not prime. Res64: E9290EAB9A9269E3 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:51:36] 745*2^1407873-1 is not prime. Res64: C1D9C5505D2428CA Time : 0.0 sec. user=mdettweiler [2015-08-30 20:51:37] 751*2^1407873-1 is not prime. Res64: DE69BAA6866FC84D Time : 0.0 sec. user=mdettweiler [2015-08-30 20:52:33] 835*2^1407873-1 is not prime. Res64: BA36DCF31E497B20 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:52:33] 871*2^1407873-1 is not prime. Res64: C2FD95BC60FA72B8 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:52:37] 787*2^1407873-1 is not prime. Res64: 410CC87AB8CC6556 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:52:37] 819*2^1407873-1 is not prime. Res64: AE1026BE1E3F7B14 Time : 0.0 sec. user=mdettweiler [2015-08-30 20:53:21] 889*2^1407873-1 is not prime. Res64: 8DADA90A1A48551E Time : 0.0 sec. user=mdettweiler [2015-08-30 20:53:22] 921*2^1407873-1 is not prime. Res64: 22157F1FFCCED66F Time : 0.0 sec. user=mdettweiler [2015-08-30 21:11:11] 987*2^1407873-1 is not prime. Res64: F3734BE2C8A7EF68 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:11:12] 621*2^1407874-1 is not prime. Res64: F83413C48C980B22 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:11:45] 855*2^1407874-1 is not prime. Res64: EFE762C6E3715780 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:11:45] 915*2^1407874-1 is not prime. Res64: 6F1465409EF3B3FD Time : 0.0 sec. user=mdettweiler [2015-08-30 21:12:00] 623*2^1407874-1 is not prime. Res64: DDEE78A4E0852AD7 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:12:01] 821*2^1407874-1 is not prime. Res64: B145B7A17D3FAEF5 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:12:28] 983*2^1407874-1 is not prime. Res64: DDBD97DC0CE5BA91 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:12:29] 1001*2^1407874-1 is not prime. Res64: E37B9651C853C64F Time : 0.0 sec. user=mdettweiler [2015-08-30 21:30:09] 699*2^1407875-1 is not prime. Res64: 28A48A038CBEA3BA Time : 0.0 sec. user=mdettweiler [2015-08-30 21:30:09] 799*2^1407875-1 is not prime. Res64: 28D1AC9C0B749814 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:30:40] 843*2^1407875-1 is not prime. Res64: A6B2F60CC796448E Time : 0.0 sec. user=mdettweiler [2015-08-30 21:30:40] 909*2^1407875-1 is not prime. Res64: F1A4479DD730F6F6 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:30:43] 963*2^1407875-1 is not prime. Res64: EECCD98B407D6E1A Time : 0.0 sec. user=mdettweiler [2015-08-30 21:30:43] 615*2^1407876-1 is not prime. Res64: 9F9FF38D9041D893 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:31:20] 639*2^1407876-1 is not prime. Res64: D0DF21F3FDD15099 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:31:21] 689*2^1407876-1 is not prime. Res64: 7DDE469E8BA93C12 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:49:06] 723*2^1407876-1 is not prime. Res64: F8A9DF40ED7FFA38 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:49:06] 759*2^1407876-1 is not prime. Res64: 85EEECFD47DBDC57 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:49:38] 765*2^1407876-1 is not prime. Res64: F3EA0E8BDEA535B2 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:49:38] 843*2^1407876-1 is not prime. Res64: 08DF9CF9723EE5DD Time : 0.0 sec. user=mdettweiler [2015-08-30 21:49:54] 947*2^1407876-1 is not prime. Res64: A1B42CCA09A4620F Time : 0.0 sec. user=mdettweiler [2015-08-30 21:49:54] 675*2^1407877-1 is not prime. Res64: 4AB999C5996B1D69 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:50:20] 915*2^1407877-1 is not prime. Res64: C6B53A3C3A059170 Time : 0.0 sec. user=mdettweiler [2015-08-30 21:50:20] 919*2^1407877-1 is not prime. Res64: 4953308BF33A4B6B Time : 0.0 sec. user=mdettweiler [2015-08-30 22:08:38] 605*2^1407878-1 is not prime. Res64: E09CBB81C44EC09F Time : 0.0 sec. user=mdettweiler [2015-08-30 22:08:39] 731*2^1407878-1 is not prime. Res64: CABAD46D10793D8D Time : 0.0 sec. user=mdettweiler [2015-08-30 22:09:06] 743*2^1407878-1 is not prime. Res64: 624D92A98FAFE05A Time : 0.0 sec. user=mdettweiler [2015-08-30 22:09:06] 755*2^1407878-1 is not prime. Res64: 0624F30599AF13EA Time : 0.0 sec. user=mdettweiler [2015-08-30 22:09:15] 795*2^1407878-1 is not prime. Res64: 597CC78E7C2244B1 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:09:15] 887*2^1407878-1 is not prime. Res64: 1F6250D6104889AD Time : 0.0 sec. user=mdettweiler [2015-08-30 22:09:48] 921*2^1407878-1 is not prime. Res64: B506AE5A48E9748F Time : 0.0 sec. user=mdettweiler [2015-08-30 22:09:48] 957*2^1407878-1 is not prime. Res64: 47B3CB68F371CBDD Time : 0.0 sec. user=mdettweiler [2015-08-30 22:28:18] 625*2^1407879-1 is not prime. Res64: 901EE88DF0E2F5A4 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:28:19] 663*2^1407879-1 is not prime. Res64: 57C5887A3D7CB3BD Time : 0.0 sec. user=mdettweiler [2015-08-30 22:28:44] 693*2^1407879-1 is not prime. Res64: EB4267F1DB29B93F Time : 0.0 sec. user=mdettweiler [2015-08-30 22:28:44] 763*2^1407879-1 is not prime. Res64: E8895C0589106D9F Time : 0.0 sec. user=mdettweiler [2015-08-30 22:28:46] 865*2^1407879-1 is not prime. Res64: 957C77715D73454A Time : 0.0 sec. user=mdettweiler [2015-08-30 22:28:47] 879*2^1407879-1 is not prime. Res64: 8B5F0F9446004421 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:29:35] 629*2^1407880-1 is not prime. Res64: A476AF576FEA7C00 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:29:36] 653*2^1407880-1 is not prime. Res64: 5DEE7FD22941D4CC Time : 0.0 sec. user=mdettweiler [2015-08-30 22:46:46] 699*2^1407880-1 is not prime. Res64: BDC946080D7DACE7 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:46:46] 743*2^1407880-1 is not prime. Res64: D56917152D53D674 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:46:59] 619*2^1407881-1 is not prime. Res64: 108A8E199E902B94 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:46:59] 631*2^1407881-1 is not prime. Res64: A9F316A6F0FF0F7A Time : 0.0 sec. user=mdettweiler [2015-08-30 22:47:04] 875*2^1407880-1 is not prime. Res64: A20ED8D4B7E0603F Time : 0.0 sec. user=mdettweiler [2015-08-30 22:47:05] 899*2^1407880-1 is not prime. Res64: DB25F62B0A51EB3D Time : 0.0 sec. user=mdettweiler [2015-08-30 22:47:55] 675*2^1407881-1 is not prime. Res64: 812EE4C228C80670 Time : 0.0 sec. user=mdettweiler [2015-08-30 22:47:55] 727*2^1407881-1 is not prime. Res64: 94C1D76AF8FC90C1 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:05:03] 747*2^1407881-1 is not prime. Res64: 1481BC31BF70E64F Time : 0.0 sec. user=mdettweiler [2015-08-30 23:05:04] 987*2^1407881-1 is not prime. Res64: E48B49FAB05B580A Time : 0.0 sec. user=mdettweiler [2015-08-30 23:05:19] 683*2^1407882-1 is not prime. Res64: 1676E71A287892E4 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:05:20] 765*2^1407882-1 is not prime. Res64: 3B08D87A147D8DF8 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:05:50] 777*2^1407882-1 is not prime. Res64: 976D2DFA118AF0DB Time : 0.0 sec. user=mdettweiler [2015-08-30 23:05:51] 833*2^1407882-1 is not prime. Res64: 747CA3725501F849 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:06:23] 941*2^1407882-1 is not prime. Res64: CE0596A200627F9D Time : 0.0 sec. user=mdettweiler [2015-08-30 23:06:24] 945*2^1407882-1 is not prime. Res64: 5FF81A1E8FFA0B21 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:23:33] 977*2^1407882-1 is not prime. Res64: ED1D9750219A49ED Time : 0.0 sec. user=mdettweiler [2015-08-30 23:23:33] 769*2^1407883-1 is not prime. Res64: D2085B68B72DB45E Time : 0.0 sec. user=mdettweiler [2015-08-30 23:24:06] 775*2^1407883-1 is not prime. Res64: 460B080ED386301F Time : 0.0 sec. user=mdettweiler [2015-08-30 23:24:07] 805*2^1407883-1 is not prime. Res64: B0561A3CAD01E2B6 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:24:41] 951*2^1407883-1 is not prime. Res64: 434260AB11747647 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:24:42] 999*2^1407883-1 is not prime. Res64: 6C97AEA244B4FC60 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:25:20] 617*2^1407884-1 is not prime. Res64: EA75AAFBE82DC847 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:25:21] 665*2^1407884-1 is not prime. Res64: B1D2DB399BE2AF44 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:41:46] 675*2^1407884-1 is not prime. Res64: C60796CFE50DB038 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:41:46] 897*2^1407884-1 is not prime. Res64: 9138D05CCEB6C3AF Time : 0.0 sec. user=mdettweiler [2015-08-30 23:42:14] 899*2^1407884-1 is not prime. Res64: FD93983470E6DB8D Time : 0.0 sec. user=mdettweiler [2015-08-30 23:42:15] 995*2^1407884-1 is not prime. Res64: A2E7D6418AFADEB4 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:42:45] 717*2^1407885-1 is not prime. Res64: DEFD7AC4CFA9D681 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:42:46] 727*2^1407885-1 is not prime. Res64: 1B29316A58745FDA Time : 0.0 sec. user=mdettweiler [2015-08-30 23:43:24] 735*2^1407885-1 is not prime. Res64: 11E89BFBE17E4AD1 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:43:24] 789*2^1407885-1 is not prime. Res64: 5AF6030DFDF09F3F Time : 0.0 sec. user=mdettweiler [2015-08-30 23:59:37] 927*2^1407885-1 is not prime. Res64: A86EED0798E38DA8 Time : 0.0 sec. user=mdettweiler [2015-08-30 23:59:37] 695*2^1407886-1 is not prime. Res64: BD9F62A9E2C108EC Time : 0.0 sec. user=mdettweiler [2015-08-31 00:00:11] 741*2^1407886-1 is not prime. Res64: 58B2F8BB856CE781 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:00:12] 777*2^1407886-1 is not prime. Res64: AE369AA2AFAFCB50 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:00:38] 881*2^1407886-1 is not prime. Res64: 05066336FFE6A328 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:00:38] 887*2^1407886-1 is not prime. Res64: 7192ECF197986799 Time : 0.0 sec.