user=mdettweiler [2016-12-06 00:23:23] 963*2^1447856-1 is not prime. Res64: 4E8ADC5BE4D73C50 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:23:23] 993*2^1447856-1 is not prime. Res64: BE4BE20CEE2A69C1 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:23:24] 615*2^1447857-1 is not prime. Res64: F936EB635CBED5B8 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:23:24] 691*2^1447857-1 is not prime. Res64: 1D1953AF29466DE2 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:23:24] 699*2^1447857-1 is not prime. Res64: 9D8678178C289597 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:29:07] 711*2^1447857-1 is not prime. Res64: C195560E8F3E5CDF Time : 0.0 sec. user=mdettweiler [2016-12-06 00:29:07] 765*2^1447857-1 is not prime. Res64: BFE0E0F424A04440 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:29:07] 777*2^1447857-1 is not prime. Res64: 8FA346381010B744 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:29:07] 871*2^1447857-1 is not prime. Res64: 209269BCC514E887 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:29:08] 885*2^1447857-1 is not prime. Res64: 2FEAC7CE41EAC55A Time : 0.0 sec. user=mdettweiler [2016-12-06 00:35:27] 895*2^1447857-1 is not prime. Res64: D77493D4236B500D Time : 0.0 sec. user=mdettweiler [2016-12-06 00:35:27] 915*2^1447857-1 is not prime. Res64: 9C6F197750D3A009 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:35:28] 919*2^1447857-1 is not prime. Res64: 11EA894E8E12895D Time : 0.0 sec. user=mdettweiler [2016-12-06 00:35:28] 937*2^1447857-1 is not prime. Res64: 51D7CCABD96BCEF0 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:35:28] 611*2^1447858-1 is not prime. Res64: D65FE20B16FFB7C7 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:39:21] 635*2^1447858-1 is not prime. Res64: 0EBE9F0069FDE775 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:39:22] 657*2^1447858-1 is not prime. Res64: 3755F91B4189D53D Time : 0.0 sec. user=mdettweiler [2016-12-06 00:39:22] 663*2^1447858-1 is not prime. Res64: DC7732A7E0BCB8B6 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:39:22] 671*2^1447858-1 is not prime. Res64: 448390DFAF886555 Time : 0.0 sec. user=mdettweiler [2016-12-06 00:39:22] 695*2^1447858-1 is not prime. Res64: F314DB2781738729 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:14:20] 825*2^1447858-1 is not prime. Res64: F46277D1E918E459 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:14:20] 827*2^1447858-1 is not prime. Res64: 5DDF6E3BC8F50415 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:14:20] 867*2^1447858-1 is not prime. Res64: 03A349C00CF3A7CD Time : 0.0 sec. user=mdettweiler [2016-12-06 01:14:21] 975*2^1447858-1 is not prime. Res64: D02EF134F5E3A938 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:14:21] 995*2^1447858-1 is not prime. Res64: C6D8B87D6F8A50B2 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:19:31] 621*2^1447859-1 is not prime. Res64: B209E9C459529E10 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:19:32] 631*2^1447859-1 is not prime. Res64: AE134255EA446E1A Time : 0.0 sec. user=mdettweiler [2016-12-06 01:19:32] 643*2^1447859-1 is not prime. Res64: 9A06903227C36913 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:19:32] 775*2^1447859-1 is not prime. Res64: E365141A8EC80437 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:19:33] 635*2^1447860-1 is not prime. Res64: F8E5C5CCFE46493D Time : 0.0 sec. user=mdettweiler [2016-12-06 01:25:48] 675*2^1447860-1 is not prime. Res64: FD087A0A36BE9762 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:25:49] 695*2^1447860-1 is not prime. Res64: E43F5A7CF13B224C Time : 0.0 sec. user=mdettweiler [2016-12-06 01:25:51] 717*2^1447860-1 is not prime. Res64: F43FEC62B0E8C335 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:25:52] 753*2^1447860-1 is not prime. Res64: 62CAD56F413E92E3 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:25:53] 759*2^1447860-1 is not prime. Res64: B4C3B8F2FC09D2AB Time : 0.0 sec. user=mdettweiler [2016-12-06 01:28:48] 797*2^1447860-1 is not prime. Res64: 55C5241883963B5C Time : 0.0 sec. user=mdettweiler [2016-12-06 01:28:51] 875*2^1447860-1 is not prime. Res64: A59B1E9D136A6E9D Time : 0.0 sec. user=mdettweiler [2016-12-06 01:28:53] 905*2^1447860-1 is not prime. Res64: 444B27ACDA4D830C Time : 0.0 sec. user=mdettweiler [2016-12-06 01:28:54] 615*2^1447861-1 is not prime. Res64: 642F539175F09856 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:28:55] 789*2^1447861-1 is not prime. Res64: 58174730B236C9D4 Time : 0.0 sec. user=mdettweiler [2016-12-06 01:59:24] 877*2^1447861-1 is not prime. Res64: C1DE4C35390A82BE Time : 0.0 sec. user=mdettweiler [2016-12-06 01:59:25] 945*2^1447861-1 is not prime. Res64: A6E95F1F2CBF42BD Time : 0.0 sec. user=mdettweiler [2016-12-06 01:59:25] 645*2^1447862-1 is not prime. Res64: 99167A430A1CD3CE Time : 0.0 sec. user=mdettweiler [2016-12-06 01:59:26] 731*2^1447862-1 is not prime. Res64: 582315175F51E2CC Time : 0.0 sec. user=mdettweiler [2016-12-06 01:59:26] 755*2^1447862-1 is not prime. Res64: 7E344C28CC93E3EC Time : 0.0 sec. user=mdettweiler [2016-12-06 02:04:41] 801*2^1447862-1 is not prime. Res64: 597C3A7DA60D08C5 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:04:42] 857*2^1447862-1 is not prime. Res64: 49B69654C6302F37 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:04:43] 897*2^1447862-1 is not prime. Res64: 9A11B27472027E72 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:04:45] 995*2^1447862-1 is not prime. Res64: C1269888B9282A76 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:04:45] 663*2^1447863-1 is not prime. Res64: 80830122CE098500 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:11:01] 675*2^1447863-1 is not prime. Res64: 4C95D018661FF2F9 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:11:01] 763*2^1447863-1 is not prime. Res64: C68278F7813EA12B Time : 0.0 sec. user=mdettweiler [2016-12-06 02:11:02] 819*2^1447863-1 is not prime. Res64: 78C04028B1372AAB Time : 0.0 sec. user=mdettweiler [2016-12-06 02:11:02] 859*2^1447863-1 is not prime. Res64: AF8CF127C1224FC1 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:11:02] 919*2^1447863-1 is not prime. Res64: 213D3882DC44DDDA Time : 0.0 sec. user=mdettweiler [2016-12-06 02:14:08] 951*2^1447863-1 is not prime. Res64: 1F28BFC57C53886A Time : 0.0 sec. user=mdettweiler [2016-12-06 02:14:08] 657*2^1447864-1 is not prime. Res64: 73348861B0C0E06A Time : 0.0 sec. user=mdettweiler [2016-12-06 02:14:08] 665*2^1447864-1 is not prime. Res64: CE7340997D79FD49 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:14:09] 687*2^1447864-1 is not prime. Res64: 55F877C94982AF0C Time : 0.0 sec. user=mdettweiler [2016-12-06 02:14:09] 695*2^1447864-1 is not prime. Res64: 7C75D65CDBF3AFF1 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:45:27] 975*2^1447864-1 is not prime. Res64: 719F00F7522F091A Time : 0.0 sec. user=mdettweiler [2016-12-06 02:45:28] 697*2^1447865-1 is not prime. Res64: 739138B7786EC6D8 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:45:28] 699*2^1447865-1 is not prime. Res64: 7AB9DA4C42120FB3 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:45:28] 885*2^1447865-1 is not prime. Res64: 45A467CE48B66EE9 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:45:29] 949*2^1447865-1 is not prime. Res64: C6C95FA443481D75 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:50:43] 985*2^1447865-1 is not prime. Res64: 2345CE87B6A36677 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:50:43] 611*2^1447866-1 is not prime. Res64: 270900D1C684F202 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:50:44] 635*2^1447866-1 is not prime. Res64: 9F509FD051336F77 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:50:44] 815*2^1447866-1 is not prime. Res64: AE8A71AA78CDEF4F Time : 0.0 sec. user=mdettweiler [2016-12-06 02:50:44] 843*2^1447866-1 is not prime. Res64: F3C4DAC5624BF5D8 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:57:17] 867*2^1447866-1 is not prime. Res64: 4E98FE385960452C Time : 0.0 sec. user=mdettweiler [2016-12-06 02:57:19] 893*2^1447866-1 is not prime. Res64: E426FE64BD6F50E4 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:57:21] 923*2^1447866-1 is not prime. Res64: 76930935B55E5E4C Time : 0.0 sec. user=mdettweiler [2016-12-06 02:57:23] 685*2^1447867-1 is not prime. Res64: CD21764E80727426 Time : 0.0 sec. user=mdettweiler [2016-12-06 02:57:26] 819*2^1447867-1 is not prime. Res64: 250C53B8CA61C6B4 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:00:04] 871*2^1447867-1 is not prime. Res64: EBC493DD021B2415 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:00:05] 975*2^1447867-1 is not prime. Res64: 7CE5CCF232E865F7 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:00:05] 623*2^1447868-1 is not prime. Res64: FAAF043766FB7FF5 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:00:06] 707*2^1447868-1 is not prime. Res64: 41DF8F20D96F568C Time : 0.0 sec. user=mdettweiler [2016-12-06 03:00:07] 767*2^1447868-1 is not prime. Res64: F88AD36EEA049D47 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:30:48] 843*2^1447868-1 is not prime. Res64: 062FAB3E90853BAD Time : 0.0 sec. user=mdettweiler [2016-12-06 03:30:52] 855*2^1447868-1 is not prime. Res64: FF9C14097E53B722 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:30:58] 953*2^1447868-1 is not prime. Res64: F7ED80CF6C253ABE Time : 0.0 sec. user=mdettweiler [2016-12-06 03:31:00] 675*2^1447869-1 is not prime. Res64: 53A33DDEE1F273EE Time : 0.0 sec. user=mdettweiler [2016-12-06 03:31:03] 787*2^1447869-1 is not prime. Res64: 01E9A288DB42147F Time : 0.0 sec. user=mdettweiler [2016-12-06 03:35:57] 789*2^1447869-1 is not prime. Res64: EDB78D3EA4AC4124 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:36:00] 895*2^1447869-1 is not prime. Res64: 307F44C67F0F17FF Time : 0.0 sec. user=mdettweiler [2016-12-06 03:36:03] 919*2^1447869-1 is not prime. Res64: 964A9EFDF7598791 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:36:06] 955*2^1447869-1 is not prime. Res64: A9AE4267B3E9A3B5 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:36:09] 605*2^1447870-1 is not prime. Res64: 926CB65C325227AB Time : 0.0 sec. user=mdettweiler [2016-12-06 03:43:04] 635*2^1447870-1 is not prime. Res64: 77250F5B706E5241 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:43:05] 731*2^1447870-1 is not prime. Res64: 7467FC6B73FE49E1 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:43:06] 777*2^1447870-1 is not prime. Res64: A7D4775820EA1044 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:43:08] 831*2^1447870-1 is not prime. Res64: 653D17BB2B390325 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:43:09] 941*2^1447870-1 is not prime. Res64: 0D034FF202B58707 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:45:40] 619*2^1447871-1 is not prime. Res64: AC474BC1C87DDC69 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:45:40] 645*2^1447871-1 is not prime. Res64: AE3718281454EC0C Time : 0.0 sec. user=mdettweiler [2016-12-06 03:45:41] 669*2^1447871-1 is not prime. Res64: 073CB08C970B819F Time : 0.0 sec. user=mdettweiler [2016-12-06 03:45:42] 865*2^1447871-1 is not prime. Res64: 295D45FACDC220A9 Time : 0.0 sec. user=mdettweiler [2016-12-06 03:45:43] 939*2^1447871-1 is not prime. Res64: FCEBDBB9161E9C7F Time : 0.0 sec. user=mdettweiler [2016-12-06 04:16:53] 949*2^1447871-1 is not prime. Res64: 361E6600550B42B7 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:16:59] 969*2^1447871-1 is not prime. Res64: 517872176210059B Time : 0.0 sec. user=mdettweiler [2016-12-06 04:17:04] 797*2^1447872-1 is not prime. Res64: BF59922B17B179B1 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:17:07] 875*2^1447872-1 is not prime. Res64: 6091835F56CAE373 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:17:14] 899*2^1447872-1 is not prime. Res64: F4A1F27908FD344A Time : 0.0 sec. user=mdettweiler [2016-12-06 04:21:59] 947*2^1447872-1 is not prime. Res64: BEA8FF7C2D3EE714 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:21:59] 975*2^1447872-1 is not prime. Res64: 9C8FF54290A1D30A Time : 0.0 sec. user=mdettweiler [2016-12-06 04:21:59] 691*2^1447873-1 is not prime. Res64: 1B508563446FC479 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:22:00] 729*2^1447873-1 is not prime. Res64: EBDED135070BC89B Time : 0.0 sec. user=mdettweiler [2016-12-06 04:22:00] 769*2^1447873-1 is not prime. Res64: B2FB868EC037D48D Time : 0.0 sec. user=mdettweiler [2016-12-06 04:28:11] 925*2^1447873-1 is not prime. Res64: 2A0B4E78A8AC7D8B Time : 0.0 sec. user=mdettweiler [2016-12-06 04:28:11] 985*2^1447873-1 is not prime. Res64: 1CE5188FF851D1D8 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:28:12] 705*2^1447874-1 is not prime. Res64: CDD2B31A04ADA79B Time : 0.0 sec. user=mdettweiler [2016-12-06 04:28:12] 711*2^1447874-1 is not prime. Res64: 52DBE46267BBA38A Time : 0.0 sec. user=mdettweiler [2016-12-06 04:28:12] 755*2^1447874-1 is not prime. Res64: 7C214240106D2817 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:30:40] 785*2^1447874-1 is not prime. Res64: 2C82704AA2AEC1D2 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:30:40] 791*2^1447874-1 is not prime. Res64: 612694D8102299A7 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:30:40] 797*2^1447874-1 is not prime. Res64: ACE5DFFE97248FC4 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:30:41] 903*2^1447874-1 is not prime. Res64: F77A88108BECA7D3 Time : 0.0 sec. user=mdettweiler [2016-12-06 04:30:41] 1001*2^1447874-1 is not prime. Res64: BFBD53923F965877 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:02:43] 625*2^1447875-1 is not prime. Res64: BFA471BDD3C0E609 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:02:44] 675*2^1447875-1 is not prime. Res64: 85438D8E8CB53C35 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:02:45] 709*2^1447875-1 is not prime. Res64: 8B999DD1AEEB4CAB Time : 0.0 sec. user=mdettweiler [2016-12-06 05:02:45] 871*2^1447875-1 is not prime. Res64: F86DEF5E6BC38A4E Time : 0.0 sec. user=mdettweiler [2016-12-06 05:02:46] 963*2^1447875-1 is not prime. Res64: 4021A4F9FCAE3354 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:07:07] 615*2^1447876-1 is not prime. Res64: 48417B04B8A45FC4 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:07:08] 623*2^1447876-1 is not prime. Res64: FD74AE9E350F0234 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:07:09] 759*2^1447876-1 is not prime. Res64: 4EE5F6C033CCE6E8 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:07:09] 765*2^1447876-1 is not prime. Res64: 1EEC6B2C426A3085 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:07:10] 803*2^1447876-1 is not prime. Res64: 2F62B0E969F7A52A Time : 0.0 sec. user=mdettweiler [2016-12-06 05:13:23] 983*2^1447876-1 is not prime. Res64: C5B16F73A67E468E Time : 0.0 sec. user=mdettweiler [2016-12-06 05:13:23] 999*2^1447876-1 is not prime. Res64: DA27933C6426F6F4 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:13:23] 727*2^1447877-1 is not prime. Res64: 7B9BA142BB4589CB Time : 0.0 sec. user=mdettweiler [2016-12-06 05:13:23] 759*2^1447877-1 is not prime. Res64: 284C1F903A3C55E8 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:13:24] 805*2^1447877-1 is not prime. Res64: 34517E75BFBD1B81 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:15:50] 885*2^1447877-1 is not prime. Res64: 5DEA4CFE7D96CDE3 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:15:50] 915*2^1447877-1 is not prime. Res64: 389D17807F3C17BC Time : 0.0 sec. user=mdettweiler [2016-12-06 05:15:50] 927*2^1447877-1 is not prime. Res64: 7D610D3EE69524C8 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:15:51] 705*2^1447878-1 is not prime. Res64: 08E26AED0B8E6D83 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:15:51] 755*2^1447878-1 is not prime. Res64: E2A52FD864167069 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:47:51] 861*2^1447878-1 is not prime. Res64: F5E5ABE704A23B74 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:47:51] 875*2^1447878-1 is not prime. Res64: 2BEDC4D8E9AC8334 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:47:52] 945*2^1447878-1 is not prime. Res64: 7776671A00C9531B Time : 0.0 sec. user=mdettweiler [2016-12-06 05:47:52] 705*2^1447879-1 is not prime. Res64: F494850F9E3885A1 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:47:52] 789*2^1447879-1 is not prime. Res64: ED9E85C197043AF9 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:52:15] 831*2^1447879-1 is not prime. Res64: 1C63D6F59694FE06 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:52:15] 873*2^1447879-1 is not prime. Res64: 74991B3927C86124 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:52:15] 889*2^1447879-1 is not prime. Res64: 6B6F70BB684ECB64 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:52:15] 969*2^1447879-1 is not prime. Res64: F66F70C25A94ABC4 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:52:16] 973*2^1447879-1 is not prime. Res64: 6B477EE668C87CCE Time : 0.0 sec. user=mdettweiler [2016-12-06 05:58:23] 725*2^1447880-1 is not prime. Res64: 6C7422FC2EA93D62 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:58:23] 735*2^1447880-1 is not prime. Res64: F1CFE2494F7BBB8C Time : 0.0 sec. user=mdettweiler [2016-12-06 05:58:24] 789*2^1447880-1 is not prime. Res64: F351478CBDB3CE7C Time : 0.0 sec. user=mdettweiler [2016-12-06 05:58:24] 857*2^1447880-1 is not prime. Res64: 47B150C7BAF31A06 Time : 0.0 sec. user=mdettweiler [2016-12-06 05:58:24] 627*2^1447881-1 is not prime. Res64: F85D02B0F145127B Time : 0.0 sec. user=mdettweiler [2016-12-06 06:00:47] 657*2^1447881-1 is not prime. Res64: 44676CF67B872CDC Time : 0.0 sec. user=mdettweiler [2016-12-06 06:00:47] 705*2^1447881-1 is not prime. Res64: 98EA9B8557E3FF4D Time : 0.0 sec. user=mdettweiler [2016-12-06 06:00:48] 889*2^1447881-1 is not prime. Res64: 66DC09E6F8E2CFEE Time : 0.0 sec. user=mdettweiler [2016-12-06 06:00:48] 951*2^1447881-1 is not prime. Res64: 0EDCB20751F3F181 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:00:49] 955*2^1447881-1 is not prime. Res64: 94E5A395DD825F4C Time : 0.0 sec. user=mdettweiler [2016-12-06 06:33:02] 979*2^1447881-1 is not prime. Res64: 1ECABDE880895D86 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:33:02] 621*2^1447882-1 is not prime. Res64: F58AF59918A579E2 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:33:02] 623*2^1447882-1 is not prime. Res64: E308E7CD8F6E62FE Time : 0.0 sec. user=mdettweiler [2016-12-06 06:33:03] 777*2^1447882-1 is not prime. Res64: ECE9CBCA7AAAC7BA Time : 0.0 sec. user=mdettweiler [2016-12-06 06:33:03] 881*2^1447882-1 is not prime. Res64: B5C2DAF83C1C7F78 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:37:34] 885*2^1447882-1 is not prime. Res64: 5F0C79BE248997BE Time : 0.0 sec. user=mdettweiler [2016-12-06 06:37:34] 891*2^1447882-1 is not prime. Res64: 1B3A377D81BFC2F1 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:37:34] 981*2^1447882-1 is not prime. Res64: 5EE7E92F741EB7F3 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:37:35] 679*2^1447883-1 is not prime. Res64: 9FBED633C66C1EBF Time : 0.0 sec. user=mdettweiler [2016-12-06 06:37:35] 699*2^1447883-1 is not prime. Res64: 35B9E1BBF721D77C Time : 0.0 sec. user=mdettweiler [2016-12-06 06:43:28] 703*2^1447883-1 is not prime. Res64: 5684C1B4D3644C0C Time : 0.0 sec. user=mdettweiler [2016-12-06 06:43:29] 771*2^1447883-1 is not prime. Res64: 027A3B5BA7E638B8 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:43:29] 945*2^1447883-1 is not prime. Res64: 3193867017DA0CFD Time : 0.0 sec. user=mdettweiler [2016-12-06 06:43:29] 963*2^1447883-1 is not prime. Res64: F389EFE34353775D Time : 0.0 sec. user=mdettweiler [2016-12-06 06:43:29] 993*2^1447883-1 is not prime. Res64: E05C9301E780C94F Time : 0.0 sec. user=mdettweiler [2016-12-06 06:46:08] 623*2^1447884-1 is not prime. Res64: DB1737A18A399810 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:46:08] 639*2^1447884-1 is not prime. Res64: 9B9077C17A5FC6B4 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:46:08] 707*2^1447884-1 is not prime. Res64: 507F72CEF7EB85E5 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:46:09] 725*2^1447884-1 is not prime. Res64: B1494CDD0293DD88 Time : 0.0 sec. user=mdettweiler [2016-12-06 06:46:09] 749*2^1447884-1 is not prime. Res64: 19746D39600F1333 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:18:10] 753*2^1447884-1 is not prime. Res64: 8B5242AD15EA6D7D Time : 0.0 sec. user=mdettweiler [2016-12-06 07:18:10] 843*2^1447884-1 is not prime. Res64: 68577948E6F575DF Time : 0.0 sec. user=mdettweiler [2016-12-06 07:18:10] 887*2^1447884-1 is not prime. Res64: F777EF1C49A3F11E Time : 0.0 sec. user=mdettweiler [2016-12-06 07:18:11] 935*2^1447884-1 is not prime. Res64: 79B16D286FA37C54 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:18:11] 717*2^1447885-1 is not prime. Res64: 7AB1F0AFD27291B3 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:22:39] 877*2^1447885-1 is not prime. Res64: B8ADE8F9EA8FD529 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:22:40] 617*2^1447886-1 is not prime. Res64: DD923670C2AC619C Time : 0.0 sec. user=mdettweiler [2016-12-06 07:22:40] 717*2^1447886-1 is not prime. Res64: E4BC1B348488B98A Time : 0.0 sec. user=mdettweiler [2016-12-06 07:22:40] 861*2^1447886-1 is not prime. Res64: 635E6D3F3EAC9D5F Time : 0.0 sec. user=mdettweiler [2016-12-06 07:22:40] 615*2^1447887-1 is not prime. Res64: 157C80C7A0D53468 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:28:36] 621*2^1447887-1 is not prime. Res64: 0B13228393ACCED4 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:28:37] 649*2^1447887-1 is not prime. Res64: C41A7E3021E7E4AC Time : 0.0 sec. user=mdettweiler [2016-12-06 07:28:37] 861*2^1447887-1 is not prime. Res64: DCC96534876C9BBE Time : 0.0 sec. user=mdettweiler [2016-12-06 07:28:37] 931*2^1447887-1 is not prime. Res64: 7976A0D30D4F673E Time : 0.0 sec. user=mdettweiler [2016-12-06 07:28:37] 985*2^1447887-1 is not prime. Res64: A6ECC59EB4974AB4 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:31:19] 615*2^1447888-1 is not prime. Res64: C12DA301ACC1A3F0 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:31:19] 665*2^1447888-1 is not prime. Res64: 01120F117488D656 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:31:20] 755*2^1447888-1 is not prime. Res64: ED1E96396F321B56 Time : 0.0 sec. user=mdettweiler [2016-12-06 07:31:20] 631*2^1447889-1 is not prime. Res64: F5CF86B53B185E4D Time : 0.0 sec. user=mdettweiler [2016-12-06 07:31:20] 721*2^1447889-1 is not prime. Res64: CEC2D35F928B1C5F Time : 0.0 sec. user=mdettweiler [2016-12-06 08:02:59] 727*2^1447889-1 is not prime. Res64: 16A5FC0D0D31E69B Time : 0.0 sec. user=mdettweiler [2016-12-06 08:03:00] 847*2^1447889-1 is not prime. Res64: 3043DE4593692992 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:03:01] 931*2^1447889-1 is not prime. Res64: B8B570A9147328FA Time : 0.0 sec. user=mdettweiler [2016-12-06 08:03:01] 671*2^1447890-1 is not prime. Res64: D78E6F0C28B87701 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:03:02] 783*2^1447890-1 is not prime. Res64: 72B10999DB280EBC Time : 0.0 sec. user=mdettweiler [2016-12-06 08:07:30] 861*2^1447890-1 is not prime. Res64: A4642E9E3D8AEDB7 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:07:31] 867*2^1447890-1 is not prime. Res64: A165B42FA8AB6444 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:07:33] 951*2^1447890-1 is not prime. Res64: 371D54A37311AAF6 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:07:34] 609*2^1447891-1 is not prime. Res64: B9C3A37D614D66D8 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:07:34] 645*2^1447891-1 is not prime. Res64: 7EF854AAED5B81C8 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:13:32] 703*2^1447891-1 is not prime. Res64: 4FD6E7D4EDFF781D Time : 0.0 sec. user=mdettweiler [2016-12-06 08:13:32] 723*2^1447891-1 is not prime. Res64: 242097462CEA048A Time : 0.0 sec. user=mdettweiler [2016-12-06 08:13:33] 745*2^1447891-1 is not prime. Res64: 8C21820620336EA3 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:13:33] 859*2^1447891-1 is not prime. Res64: 329E7AA373340DD5 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:13:33] 931*2^1447891-1 is not prime. Res64: EDF261EFD44D8E21 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:16:21] 943*2^1447891-1 is not prime. Res64: 9D1FB8EEB9CDAC94 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:16:22] 975*2^1447891-1 is not prime. Res64: DA7B493F0B682ACD Time : 0.0 sec. user=mdettweiler [2016-12-06 08:16:22] 633*2^1447892-1 is not prime. Res64: 60A542C28816FD20 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:16:22] 759*2^1447892-1 is not prime. Res64: 2599F10095A033AC Time : 0.0 sec. user=mdettweiler [2016-12-06 08:16:23] 813*2^1447892-1 is not prime. Res64: FC9DC8C2628930A9 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:48:01] 935*2^1447892-1 is not prime. Res64: 8D7950150C9812A1 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:48:02] 957*2^1447892-1 is not prime. Res64: 84627DF9794B614D Time : 0.0 sec. user=mdettweiler [2016-12-06 08:48:02] 959*2^1447892-1 is not prime. Res64: 1FC39F262227E9A3 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:48:02] 977*2^1447892-1 is not prime. Res64: 530868B2FEFDC3AA Time : 0.0 sec. user=mdettweiler [2016-12-06 08:48:02] 751*2^1447893-1 is not prime. Res64: 6F4965D0E605519D Time : 0.0 sec. user=mdettweiler [2016-12-06 08:52:38] 769*2^1447893-1 is not prime. Res64: ACAF88D50D91AB5C Time : 0.0 sec. user=mdettweiler [2016-12-06 08:52:38] 889*2^1447893-1 is not prime. Res64: 9A5ABB60F3FFA692 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:52:39] 895*2^1447893-1 is not prime. Res64: 95EE59F9D9BE0969 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:52:39] 919*2^1447893-1 is not prime. Res64: 7496F9C63F09ED6E Time : 0.0 sec. user=mdettweiler [2016-12-06 08:52:39] 961*2^1447893-1 is not prime. Res64: CC1B775A58EE7298 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:58:37] 651*2^1447894-1 is not prime. Res64: 78DD9083362C3E62 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:58:37] 855*2^1447894-1 is not prime. Res64: 7BCA6748A1EF455D Time : 0.0 sec. user=mdettweiler [2016-12-06 08:58:38] 881*2^1447894-1 is not prime. Res64: B2D34EB6F43907E0 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:58:38] 643*2^1447895-1 is not prime. Res64: 62FFC053732EB773 Time : 0.0 sec. user=mdettweiler [2016-12-06 08:58:38] 715*2^1447895-1 is not prime. Res64: 9EC4481F4EA76103 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:01:26] 819*2^1447895-1 is not prime. Res64: A161F5AD320AEFCB Time : 0.0 sec. user=mdettweiler [2016-12-06 09:01:27] 861*2^1447895-1 is not prime. Res64: 53E34578A107B8EC Time : 0.0 sec. user=mdettweiler [2016-12-06 09:01:27] 885*2^1447895-1 is not prime. Res64: B34811479425BB4D Time : 0.0 sec. user=mdettweiler [2016-12-06 09:01:28] 973*2^1447895-1 is not prime. Res64: A4B2369240FF4194 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:01:28] 991*2^1447895-1 is not prime. Res64: C4BDD6F37008B813 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:32:59] 999*2^1447895-1 is not prime. Res64: 185A0CCDFE38A8D0 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:33:00] 657*2^1447896-1 is not prime. Res64: D0FB412213450E5F Time : 0.0 sec. user=mdettweiler [2016-12-06 09:33:00] 707*2^1447896-1 is not prime. Res64: 0EC4D28601308343 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:33:00] 759*2^1447896-1 is not prime. Res64: 79C58853D43C6F65 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:33:00] 815*2^1447896-1 is not prime. Res64: 22F2C48551130DB3 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:37:35] 923*2^1447896-1 is not prime. Res64: 69A0707E8A7BBFFC Time : 0.0 sec. user=mdettweiler [2016-12-06 09:37:35] 607*2^1447897-1 is not prime. Res64: AF9D9D98E1B454A6 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:37:35] 661*2^1447897-1 is not prime. Res64: 95E6C7ECB08CB1B4 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:37:36] 747*2^1447897-1 is not prime. Res64: 1C9FE1A4DA40F665 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:37:36] 807*2^1447897-1 is not prime. Res64: 4AE62A815BC8E26E Time : 0.0 sec. user=mdettweiler [2016-12-06 09:43:32] 931*2^1447897-1 is not prime. Res64: 4E7B508DD5CAE2A1 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:43:33] 939*2^1447897-1 is not prime. Res64: E27709C02ADD79BB Time : 0.0 sec. user=mdettweiler [2016-12-06 09:43:33] 743*2^1447898-1 is not prime. Res64: 83B0C14B47856C58 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:43:33] 923*2^1447898-1 is not prime. Res64: 9C1ECC40E0EFF952 Time : 0.0 sec. user=mdettweiler [2016-12-06 09:43:33] 745*2^1447899-1 is not prime. Res64: 71F30B6D577E6BCC Time : 0.0 sec. user=mdettweiler [2016-12-06 09:46:24] 829*2^1447899-1 is not prime. Res64: 644F271F8C53357E Time : 0.0 sec. user=mdettweiler [2016-12-06 09:46:24] 861*2^1447899-1 is not prime. Res64: C4EB907D34B69A4B Time : 0.0 sec. user=mdettweiler [2016-12-06 09:46:24] 687*2^1447900-1 is not prime. Res64: 5D9FEFF64908355A Time : 0.0 sec. user=mdettweiler [2016-12-06 09:46:24] 819*2^1447900-1 is not prime. Res64: 0917DB9D7E1748AB Time : 0.0 sec. user=mdettweiler [2016-12-06 09:46:25] 825*2^1447900-1 is not prime. Res64: 134BD527FF4AA1C1 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:17:58] 839*2^1447900-1 is not prime. Res64: 4275F8C44D39EA9A Time : 0.0 sec. user=mdettweiler [2016-12-06 10:17:58] 915*2^1447900-1 is not prime. Res64: 05AC607420229C11 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:17:58] 649*2^1447901-1 is not prime. Res64: C1DE6B058ED71A58 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:17:59] 829*2^1447901-1 is not prime. Res64: 9425DB1F2B540C1D Time : 0.0 sec. user=mdettweiler [2016-12-06 10:17:59] 861*2^1447901-1 is not prime. Res64: 9283228155C4FF8F Time : 0.0 sec. user=mdettweiler [2016-12-06 10:22:28] 937*2^1447901-1 is not prime. Res64: DA0E40E6D638E9CA Time : 0.0 sec. user=mdettweiler [2016-12-06 10:22:28] 957*2^1447901-1 is not prime. Res64: FD9EFE9DA99BD5DD Time : 0.0 sec. user=mdettweiler [2016-12-06 10:22:28] 695*2^1447902-1 is not prime. Res64: 7E71709B991CB852 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:22:29] 705*2^1447902-1 is not prime. Res64: B3830FFDB2577704 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:22:29] 885*2^1447902-1 is not prime. Res64: 430493668E7BF16C Time : 0.0 sec. user=mdettweiler [2016-12-06 10:28:29] 615*2^1447903-1 is not prime. Res64: 11CAEDEB04DEDB3A Time : 0.0 sec. user=mdettweiler [2016-12-06 10:28:30] 685*2^1447903-1 is not prime. Res64: ACE6832AE2C76A73 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:28:30] 741*2^1447903-1 is not prime. Res64: FCDC075C3DB3997D Time : 0.0 sec. user=mdettweiler [2016-12-06 10:28:30] 765*2^1447903-1 is not prime. Res64: F1A160B658D33C2F Time : 0.0 sec. user=mdettweiler [2016-12-06 10:28:30] 783*2^1447903-1 is not prime. Res64: 0DB4DD4214446429 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:31:23] 811*2^1447903-1 is not prime. Res64: 3A1796F19471FBB5 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:31:23] 665*2^1447904-1 is not prime. Res64: 627D8C17C98FB209 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:31:23] 789*2^1447904-1 is not prime. Res64: 71E45620BC3E7F5B Time : 0.0 sec. user=mdettweiler [2016-12-06 10:31:23] 795*2^1447904-1 is not prime. Res64: 0A618CBCE06E0B10 Time : 0.0 sec. user=mdettweiler [2016-12-06 10:31:24] 843*2^1447904-1 is not prime. Res64: 9BB095A7DF609B33 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:02:57] 607*2^1447905-1 is not prime. Res64: A61705B9D97841CE Time : 0.0 sec. user=mdettweiler [2016-12-06 11:02:58] 627*2^1447905-1 is not prime. Res64: C8C003660624AE65 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:02:59] 685*2^1447905-1 is not prime. Res64: 0ACEC98833AF8BCB Time : 0.0 sec. user=mdettweiler [2016-12-06 11:03:00] 711*2^1447905-1 is not prime. Res64: F1AC5A90252CEC19 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:03:02] 717*2^1447905-1 is not prime. Res64: 4418EB4D43929420 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:07:27] 787*2^1447905-1 is not prime. Res64: 8D706E0783D47A0C Time : 0.0 sec. user=mdettweiler [2016-12-06 11:07:28] 847*2^1447905-1 is not prime. Res64: 67AE1E1154B0E16A Time : 0.0 sec. user=mdettweiler [2016-12-06 11:07:28] 877*2^1447905-1 is not prime. Res64: 50ACD931253AEE41 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:07:30] 999*2^1447905-1 is not prime. Res64: 329D5B6D2750CBD4 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:07:31] 657*2^1447906-1 is not prime. Res64: BE881B883AE2E51B Time : 0.0 sec. user=mdettweiler [2016-12-06 11:13:19] 743*2^1447906-1 is not prime. Res64: D86924D1C4258B76 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:13:20] 773*2^1447906-1 is not prime. Res64: C7ADE14D4D902509 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:13:21] 783*2^1447906-1 is not prime. Res64: 45308552874C4D2B Time : 0.0 sec. user=mdettweiler [2016-12-06 11:13:21] 887*2^1447906-1 is not prime. Res64: AD68881CC89D750A Time : 0.0 sec. user=mdettweiler [2016-12-06 11:13:22] 945*2^1447906-1 is not prime. Res64: A3208BDAF7C3D959 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:16:18] 655*2^1447907-1 is not prime. Res64: CD44C2DE8D2102C4 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:16:19] 675*2^1447907-1 is not prime. Res64: 1BF5D86DCB9FB147 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:16:19] 711*2^1447907-1 is not prime. Res64: 87B2861280FD3881 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:16:20] 781*2^1447907-1 is not prime. Res64: F358AF7271E48A33 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:16:20] 805*2^1447907-1 is not prime. Res64: 90F15D855AE43A73 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:48:13] 955*2^1447907-1 is not prime. Res64: C55D0281293C4B6F Time : 0.0 sec. user=mdettweiler [2016-12-06 11:48:13] 647*2^1447908-1 is not prime. Res64: 1E37F4A803EE2B83 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:48:13] 789*2^1447908-1 is not prime. Res64: AE1D796221C89ADC Time : 0.0 sec. user=mdettweiler [2016-12-06 11:48:13] 899*2^1447908-1 is not prime. Res64: C07DB20134705579 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:48:14] 969*2^1447908-1 is not prime. Res64: 9900F7C24746DD9D Time : 0.0 sec. user=mdettweiler [2016-12-06 11:52:34] 687*2^1447909-1 is not prime. Res64: 5FFDFC0DEEC6A74F Time : 0.0 sec. user=mdettweiler [2016-12-06 11:52:34] 877*2^1447909-1 is not prime. Res64: 520C110D812B4501 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:52:35] 945*2^1447909-1 is not prime. Res64: BA47B227D64A8379 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:52:35] 707*2^1447910-1 is not prime. Res64: 421047042B969DDD Time : 0.0 sec. user=mdettweiler [2016-12-06 11:52:35] 731*2^1447910-1 is not prime. Res64: F71377A6C4B7C2DA Time : 0.0 sec. user=mdettweiler [2016-12-06 11:58:25] 773*2^1447910-1 is not prime. Res64: B117AE161776AFD4 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:58:25] 945*2^1447910-1 is not prime. Res64: D7345EC5EAC04D41 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:58:26] 953*2^1447910-1 is not prime. Res64: 7DAF4E7F95BC3BC9 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:58:26] 965*2^1447910-1 is not prime. Res64: D5A54C613C04B272 Time : 0.0 sec. user=mdettweiler [2016-12-06 11:58:26] 613*2^1447911-1 is not prime. Res64: 8A220EFCE89D55D3 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:01:36] 619*2^1447911-1 is not prime. Res64: 9FB846100DF144A2 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:01:37] 625*2^1447911-1 is not prime. Res64: 6C52041E12B7961E Time : 0.0 sec. user=mdettweiler [2016-12-06 12:01:37] 675*2^1447911-1 is not prime. Res64: 93BF5CDF05E816BA Time : 0.0 sec. user=mdettweiler [2016-12-06 12:01:38] 705*2^1447911-1 is not prime. Res64: 0BB7BDDC361090CD Time : 0.0 sec. user=mdettweiler [2016-12-06 12:01:38] 723*2^1447911-1 is not prime. Res64: 97C44948E6EBB2A5 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:33:05] 783*2^1447911-1 is not prime. Res64: F15CA06BFEBB8D18 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:33:05] 793*2^1447911-1 is not prime. Res64: 37044256F6EBB5AB Time : 0.0 sec. user=mdettweiler [2016-12-06 12:33:05] 795*2^1447911-1 is not prime. Res64: 5B8E888FE89B1C0B Time : 0.0 sec. user=mdettweiler [2016-12-06 12:33:05] 829*2^1447911-1 is not prime. Res64: BF103A62C2E20EF0 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:33:05] 901*2^1447911-1 is not prime. Res64: 5A9F14BD0909196B Time : 0.0 sec. user=mdettweiler [2016-12-06 12:37:23] 921*2^1447911-1 is not prime. Res64: B0C2023C06831720 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:37:23] 933*2^1447911-1 is not prime. Res64: 85CB543309A7B3A9 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:37:23] 955*2^1447911-1 is not prime. Res64: E6A741D20DA9B816 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:37:23] 991*2^1447911-1 is not prime. Res64: 80C93CBD23695582 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:37:24] 677*2^1447912-1 is not prime. Res64: 01F7823A2EF4F85F Time : 0.0 sec. user=mdettweiler [2016-12-06 12:43:19] 705*2^1447912-1 is not prime. Res64: 8EB0671E7BA72128 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:43:19] 875*2^1447912-1 is not prime. Res64: 2057E65106606A4B Time : 0.0 sec. user=mdettweiler [2016-12-06 12:43:20] 947*2^1447912-1 is not prime. Res64: F9E4664900C10289 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:43:20] 965*2^1447912-1 is not prime. Res64: 0D849D9A3127EEA8 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:43:20] 975*2^1447912-1 is not prime. Res64: 6FCD31B2ED4E6B1C Time : 0.0 sec. user=mdettweiler [2016-12-06 12:46:33] 607*2^1447913-1 is not prime. Res64: 5D529B1F37369FC7 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:46:33] 669*2^1447913-1 is not prime. Res64: 8F29F78C07A3BF1B Time : 0.0 sec. user=mdettweiler [2016-12-06 12:46:33] 691*2^1447913-1 is not prime. Res64: EEF427A8078D10AE Time : 0.0 sec. user=mdettweiler [2016-12-06 12:46:34] 715*2^1447913-1 is not prime. Res64: 3BC74D99591AB702 Time : 0.0 sec. user=mdettweiler [2016-12-06 12:46:34] 741*2^1447913-1 is not prime. Res64: EBD43F00269FA977 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:17:57] 805*2^1447913-1 is not prime. Res64: C91A7950D92E2BCF Time : 0.0 sec. user=mdettweiler [2016-12-06 13:17:57] 981*2^1447913-1 is not prime. Res64: 868FB6D473CDDADC Time : 0.0 sec. user=mdettweiler [2016-12-06 13:17:57] 707*2^1447914-1 is not prime. Res64: DD7AFC4358A09605 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:17:58] 717*2^1447914-1 is not prime. Res64: 6F22246065362298 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:17:58] 905*2^1447914-1 is not prime. Res64: 5C5D9867F0890B82 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:22:10] 923*2^1447914-1 is not prime. Res64: 89ECE9153F4C3D73 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:22:11] 971*2^1447914-1 is not prime. Res64: 7B098C304564CB69 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:22:11] 1001*2^1447914-1 is not prime. Res64: BE96498FFCB08308 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:22:11] 855*2^1447915-1 is not prime. Res64: 4E1030C3252E6DF1 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:22:12] 871*2^1447915-1 is not prime. Res64: FE79590B002EB703 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:28:11] 999*2^1447915-1 is not prime. Res64: 0C11C1453CE47CB4 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:28:11] 609*2^1447916-1 is not prime. Res64: 531747E5CA7579B4 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:28:11] 657*2^1447916-1 is not prime. Res64: F5E5685D6BCC7E2A Time : 0.0 sec. user=mdettweiler [2016-12-06 13:28:11] 707*2^1447916-1 is not prime. Res64: DBE2335A66CF7D47 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:28:12] 717*2^1447916-1 is not prime. Res64: 6279DFC726F0C29D Time : 0.0 sec. user=mdettweiler [2016-12-06 13:31:31] 735*2^1447916-1 is not prime. Res64: EC612BB54C75629B Time : 0.0 sec. user=mdettweiler [2016-12-06 13:31:31] 749*2^1447916-1 is not prime. Res64: 9D84AA481DE60E21 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:31:31] 827*2^1447916-1 is not prime. Res64: 18D159CD10411639 Time : 0.0 sec. user=mdettweiler [2016-12-06 13:31:31] 861*2^1447917-1 is not prime. Res64: 245CF3ABB8B7CDDB Time : 0.0 sec. user=mdettweiler [2016-12-06 13:31:32] 895*2^1447917-1 is not prime. Res64: 215F523734E6D163 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:02:58] 955*2^1447917-1 is not prime. Res64: 6C97598A40815E14 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:03:00] 961*2^1447917-1 is not prime. Res64: D1F030A52C17A88D Time : 0.0 sec. user=mdettweiler [2016-12-06 14:03:01] 671*2^1447918-1 is not prime. Res64: 7C4DC1DDAE5514EB Time : 0.0 sec. user=mdettweiler [2016-12-06 14:03:02] 731*2^1447918-1 is not prime. Res64: 0436C71AEB6668CF Time : 0.0 sec. user=mdettweiler [2016-12-06 14:03:04] 773*2^1447918-1 is not prime. Res64: 30CB8E1D949493B9 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:07:06] 815*2^1447918-1 is not prime. Res64: D82C42D2C572FC30 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:07:08] 957*2^1447918-1 is not prime. Res64: 79FBB7F6FAE9C38F Time : 0.0 sec. user=mdettweiler [2016-12-06 14:07:10] 995*2^1447918-1 is not prime. Res64: BF8A675E240446AE Time : 0.0 sec. user=mdettweiler [2016-12-06 14:07:13] 603*2^1447919-1 is not prime. Res64: 95EC813F5238692F Time : 0.0 sec. user=mdettweiler [2016-12-06 14:07:15] 621*2^1447919-1 is not prime. Res64: 85E55F4CD38B54B5 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:13:07] 685*2^1447919-1 is not prime. Res64: 2538EA80F932868E Time : 0.0 sec. user=mdettweiler [2016-12-06 14:13:07] 703*2^1447919-1 is not prime. Res64: 189EA4BF6039045A Time : 0.0 sec. user=mdettweiler [2016-12-06 14:13:08] 711*2^1447919-1 is not prime. Res64: 99D007C06EA9E494 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:13:08] 771*2^1447919-1 is not prime. Res64: 745DF2DC2974EFE2 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:13:08] 883*2^1447919-1 is not prime. Res64: 5F62B216F20E9FE4 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:16:24] 909*2^1447919-1 is not prime. Res64: 6EAACC143A362C65 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:16:25] 913*2^1447919-1 is not prime. Res64: 9582B695833C2C78 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:16:26] 973*2^1447919-1 is not prime. Res64: D5F52F98D0BAFEB0 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:16:26] 993*2^1447919-1 is not prime. Res64: BCF51666DB6ED566 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:16:27] 759*2^1447920-1 is not prime. Res64: 27E9AA7CEFD9C842 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:47:54] 789*2^1447920-1 is not prime. Res64: BE02D23E4520D24D Time : 0.0 sec. user=mdettweiler [2016-12-06 14:47:54] 933*2^1447920-1 is not prime. Res64: 2F4FFD20951E45A8 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:47:54] 945*2^1447920-1 is not prime. Res64: 2B6C99D21C919999 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:47:54] 639*2^1447921-1 is not prime. Res64: 9B9119CBFA38A3DC Time : 0.0 sec. user=mdettweiler [2016-12-06 14:47:55] 645*2^1447921-1 is not prime. Res64: 344DD0EF9C053B3A Time : 0.0 sec. user=mdettweiler [2016-12-06 14:52:22] 691*2^1447921-1 is not prime. Res64: F44B896A7D01664B Time : 0.0 sec. user=mdettweiler [2016-12-06 14:52:22] 715*2^1447921-1 is not prime. Res64: A528FC87DF828778 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:52:23] 817*2^1447921-1 is not prime. Res64: 04B1B10E7FA8C36C Time : 0.0 sec. user=mdettweiler [2016-12-06 14:52:23] 867*2^1447921-1 is not prime. Res64: AD3B1066747EF06F Time : 0.0 sec. user=mdettweiler [2016-12-06 14:52:23] 939*2^1447921-1 is not prime. Res64: 68ABE60206BCDBC9 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:57:58] 671*2^1447922-1 is not prime. Res64: A9E6C84401A65F69 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:57:58] 743*2^1447922-1 is not prime. Res64: D337A6A60650E465 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:57:59] 797*2^1447922-1 is not prime. Res64: 2D1FCC837E50731B Time : 0.0 sec. user=mdettweiler [2016-12-06 14:57:59] 825*2^1447922-1 is not prime. Res64: 61089FD1D6B8D111 Time : 0.0 sec. user=mdettweiler [2016-12-06 14:57:59] 833*2^1447922-1 is not prime. Res64: B694FD435124E15D Time : 0.0 sec. user=mdettweiler [2016-12-06 15:01:20] 1001*2^1447922-1 is not prime. Res64: 8BE9E579A1F25AA0 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:01:21] 789*2^1447923-1 is not prime. Res64: EE10388FB39FD339 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:01:21] 879*2^1447923-1 is not prime. Res64: 72D474D26EA623B7 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:01:21] 949*2^1447923-1 is not prime. Res64: C0723979F321EDAE Time : 0.0 sec. user=mdettweiler [2016-12-06 15:01:22] 693*2^1447924-1 is not prime. Res64: DE77841084F6B2A9 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:32:55] 749*2^1447924-1 is not prime. Res64: C517A0E8B6CB4A13 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:32:55] 843*2^1447924-1 is not prime. Res64: 75D49D6F3143D098 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:32:55] 855*2^1447924-1 is not prime. Res64: DA96C000937F8F1C Time : 0.0 sec. user=mdettweiler [2016-12-06 15:32:55] 657*2^1447925-1 is not prime. Res64: 41DC6FAC1A2AFECD Time : 0.0 sec. user=mdettweiler [2016-12-06 15:32:56] 787*2^1447925-1 is not prime. Res64: 51162BD64C1A38B6 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:37:11] 811*2^1447925-1 is not prime. Res64: 044247674800B8A7 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:37:11] 847*2^1447925-1 is not prime. Res64: 550A0DB1A7CD27B0 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:37:11] 871*2^1447925-1 is not prime. Res64: 98EBEA561C7A09CA Time : 0.0 sec. user=mdettweiler [2016-12-06 15:37:11] 925*2^1447925-1 is not prime. Res64: C3E25FDAE15BBB38 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:37:12] 949*2^1447925-1 is not prime. Res64: 16FC89565D147C40 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:42:50] 979*2^1447925-1 is not prime. Res64: 5DD1F4CFBC284491 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:42:50] 693*2^1447926-1 is not prime. Res64: AC45860EFA20CA65 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:42:50] 717*2^1447926-1 is not prime. Res64: 171514F0A3F8CDCF Time : 0.0 sec. user=mdettweiler [2016-12-06 15:42:51] 741*2^1447926-1 is not prime. Res64: F68A26C307B0CAF7 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:42:51] 815*2^1447926-1 is not prime. Res64: D6B070A7D335B7EE Time : 0.0 sec. user=mdettweiler [2016-12-06 15:46:13] 843*2^1447926-1 is not prime. Res64: 4748F18C4AB726A4 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:46:14] 851*2^1447926-1 is not prime. Res64: 4F9D81754AA7915B Time : 0.0 sec. user=mdettweiler [2016-12-06 15:46:14] 891*2^1447926-1 is not prime. Res64: A926428353B50263 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:46:14] 971*2^1447926-1 is not prime. Res64: E1B0F75C42947DA5 Time : 0.0 sec. user=mdettweiler [2016-12-06 15:46:14] 1001*2^1447926-1 is not prime. Res64: 5AD0D737B9714313 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:18:00] 729*2^1447927-1 is not prime. Res64: 3EDBE63A969187FA Time : 0.0 sec. user=mdettweiler [2016-12-06 16:18:00] 735*2^1447927-1 is not prime. Res64: 60AB1364A62B7BAD Time : 0.0 sec. user=mdettweiler [2016-12-06 16:18:01] 871*2^1447927-1 is not prime. Res64: 06058D737D7FA32A Time : 0.0 sec. user=mdettweiler [2016-12-06 16:18:01] 913*2^1447927-1 is not prime. Res64: 17D039BF078530A4 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:18:01] 975*2^1447927-1 is not prime. Res64: 3279BFDF9C9A5CAD Time : 0.0 sec. user=mdettweiler [2016-12-06 16:22:05] 617*2^1447928-1 is not prime. Res64: E212D164EB3C69FE Time : 0.0 sec. user=mdettweiler [2016-12-06 16:22:05] 725*2^1447928-1 is not prime. Res64: 4DC4F3CEB697D0D1 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:22:05] 869*2^1447928-1 is not prime. Res64: 7CB7794B441DAD8E Time : 0.0 sec. user=mdettweiler [2016-12-06 16:22:05] 927*2^1447928-1 is not prime. Res64: 1818877702337875 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:22:06] 957*2^1447928-1 is not prime. Res64: 74811F969E7A87F5 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:27:50] 649*2^1447929-1 is not prime. Res64: 20DF111C9B8E1B02 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:27:50] 657*2^1447929-1 is not prime. Res64: 677FA2C6B569B4F3 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:27:51] 741*2^1447929-1 is not prime. Res64: 17DD4ADDBED1A1D0 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:27:51] 747*2^1447929-1 is not prime. Res64: 6092E2F06F90ED43 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:27:51] 831*2^1447929-1 is not prime. Res64: 186E243A100D105E Time : 0.0 sec. user=mdettweiler [2016-12-06 16:31:19] 837*2^1447929-1 is not prime. Res64: 3AD000079CF2B6B3 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:31:19] 885*2^1447929-1 is not prime. Res64: 259924C8DDE64A34 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:31:19] 677*2^1447930-1 is not prime. Res64: A937A7078BEFC964 Time : 0.0 sec. user=mdettweiler [2016-12-06 16:31:20] 695*2^1447930-1 is not prime. Res64: 7CCAF58BF981C55B Time : 0.0 sec. user=mdettweiler [2016-12-06 16:31:20] 861*2^1447930-1 is not prime. Res64: CD047C48E715941B Time : 0.0 sec. user=mdettweiler [2016-12-06 17:02:57] 887*2^1447930-1 is not prime. Res64: 14B0FE28E5800D04 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:02:58] 645*2^1447931-1 is not prime. Res64: AB2CA701CAB2BA9D Time : 0.0 sec. user=mdettweiler [2016-12-06 17:02:59] 711*2^1447931-1 is not prime. Res64: 43D02CF34184C18B Time : 0.0 sec. user=mdettweiler [2016-12-06 17:03:00] 759*2^1447931-1 is not prime. Res64: 220385EBEBD038AF Time : 0.0 sec. user=mdettweiler [2016-12-06 17:03:00] 885*2^1447931-1 is not prime. Res64: CAE1DC5C8CDC0727 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:07:06] 973*2^1447931-1 is not prime. Res64: 0FCDBB50CC64DDA6 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:07:07] 993*2^1447931-1 is not prime. Res64: 04862F4359A6D542 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:07:09] 605*2^1447932-1 is not prime. Res64: 1948D3C481E1CC59 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:07:10] 863*2^1447932-1 is not prime. Res64: 94DF0C24F5C30D6E Time : 0.0 sec. user=mdettweiler [2016-12-06 17:07:11] 879*2^1447932-1 is not prime. Res64: 35CDC679198AE83C Time : 0.0 sec. user=mdettweiler [2016-12-06 17:12:54] 909*2^1447932-1 is not prime. Res64: 3F757BFB116C8F16 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:12:55] 933*2^1447932-1 is not prime. Res64: ABFF22EE73FC9A60 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:12:55] 651*2^1447933-1 is not prime. Res64: 15F43B35F689C643 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:12:55] 685*2^1447933-1 is not prime. Res64: AC283AE44FDCEE4F Time : 0.0 sec. user=mdettweiler [2016-12-06 17:12:55] 691*2^1447933-1 is not prime. Res64: 3C7C94E1965965D4 Time : 0.0 sec. user=mdettweiler [2016-12-06 17:16:24] 729*2^1447933-1 is not prime. Res64: E0DDB4ED5B9104AC Time : 0.0 sec. user=mdettweiler [2016-12-06 17:16:25] 847*2^1447933-1 is not prime. Res64: C15E9B076ABF95ED Time : 0.0 sec. user=mdettweiler [2016-12-06 17:16:25] 985*2^1447933-1 is not prime. Res64: FEC05928303751FB Time : 0.0 sec. user=mdettweiler [2016-12-06 17:16:26] 641*2^1447934-1 is not prime. Res64: 7371914CEB8D77AA Time : 0.0 sec. user=mdettweiler [2016-12-06 17:16:26] 675*2^1447934-1 is not prime. Res64: 42CADE5D7A7B5560 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:38] 873*2^1447935-1 is not prime. Res64: 8A789994AA518A5F Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:39] 895*2^1447935-1 is not prime. Res64: 3CCDF4F697CD6A8C Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:39] 985*2^1447935-1 is not prime. Res64: 9186658017277BCF Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:40] 999*2^1447935-1 is not prime. Res64: 50B451E71BFE6CD5 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:41] 615*2^1447936-1 is not prime. Res64: AA6FC851EFB463E0 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:48] 941*2^1447934-1 is not prime. Res64: B5407B70D168715F Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:49] 945*2^1447934-1 is not prime. Res64: 83F48F8DFE6841EF Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:50] 765*2^1447935-1 is not prime. Res64: 1D75FCFBD6988415 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:50] 775*2^1447935-1 is not prime. Res64: 5CA9072F28025C8F Time : 0.0 sec. user=mdettweiler [2016-12-06 18:02:51] 805*2^1447935-1 is not prime. Res64: 4381BFC9C3A91FB4 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:12:00] 719*2^1447936-1 is not prime. Res64: EB833E1127B719DB Time : 0.0 sec. user=mdettweiler [2016-12-06 18:12:01] 777*2^1447936-1 is not prime. Res64: 35D87256ED841C42 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:12:01] 993*2^1447936-1 is not prime. Res64: 4E55A3128F614917 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:12:02] 607*2^1447937-1 is not prime. Res64: 85819D69C480C550 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:12:02] 615*2^1447937-1 is not prime. Res64: 614941FA77522298 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:21] 795*2^1447937-1 is not prime. Res64: A5943DBB0C39FC3D Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:22] 915*2^1447937-1 is not prime. Res64: D1A353B4ABD792F6 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:22] 605*2^1447938-1 is not prime. Res64: CE4A78347E4AE579 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:23] 681*2^1447938-1 is not prime. Res64: 2621C79902219BAF Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:23] 683*2^1447938-1 is not prime. Res64: 9DB5D8BA224B46DA Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:26] 825*2^1447938-1 is not prime. Res64: 0B2BA5E0FF3F57A6 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:26] 861*2^1447938-1 is not prime. Res64: 334EDCB289AC5A12 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:27] 923*2^1447938-1 is not prime. Res64: 450BF337C359F3AB Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:27] 927*2^1447938-1 is not prime. Res64: 274B62BA23EF421D Time : 0.0 sec. user=mdettweiler [2016-12-06 18:48:27] 945*2^1447938-1 is not prime. Res64: 42F1B5355F18A0F6 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:57:14] 975*2^1447938-1 is not prime. Res64: 888DA05F3A173839 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:57:15] 977*2^1447938-1 is not prime. Res64: 914D411F5A0F1F77 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:57:15] 741*2^1447939-1 is not prime. Res64: DDC4286457A60A61 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:57:16] 745*2^1447939-1 is not prime. Res64: FF3CFE8B5B8B67D8 Time : 0.0 sec. user=mdettweiler [2016-12-06 18:57:16] 861*2^1447939-1 is not prime. Res64: BD1FC643FC6913EC Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:04] 661*2^1447941-1 is not prime. Res64: 685210F6E1FC0A17 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:04] 635*2^1447940-1 is not prime. Res64: 5D6CAED5DF65FD18 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:04] 711*2^1447941-1 is not prime. Res64: F61B1672471EB775 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:04] 659*2^1447940-1 is not prime. Res64: 339E96FB20D90FB8 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:05] 843*2^1447940-1 is not prime. Res64: 45EB8AB810A1EE19 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:05] 657*2^1447942-1 is not prime. Res64: 778F9B8F0DBC8078 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:05] 875*2^1447940-1 is not prime. Res64: 7F6F5E8DAC5CE267 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:05] 681*2^1447942-1 is not prime. Res64: 5D87E318F95716D9 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:05] 999*2^1447940-1 is not prime. Res64: 3C47904E1DB94C53 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:34:05] 731*2^1447942-1 is not prime. Res64: C0D6F553A05E428C Time : 0.0 sec. user=mdettweiler [2016-12-06 19:42:49] 867*2^1447942-1 is not prime. Res64: 60900784C4B7C5E5 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:42:50] 887*2^1447942-1 is not prime. Res64: 60029CDD25D16B60 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:42:50] 947*2^1447942-1 is not prime. Res64: 4701368EEE3A17DD Time : 0.0 sec. user=mdettweiler [2016-12-06 19:42:51] 951*2^1447942-1 is not prime. Res64: 6ACFE6B5E5296E35 Time : 0.0 sec. user=mdettweiler [2016-12-06 19:42:51] 679*2^1447943-1 is not prime. Res64: 6BF86453EE111BF9 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:12] 685*2^1447943-1 is not prime. Res64: B51BB288BEEE460E Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:12] 703*2^1447943-1 is not prime. Res64: 627C00F96314FA9F Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:13] 745*2^1447943-1 is not prime. Res64: 48B442BF960F7645 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:13] 789*2^1447943-1 is not prime. Res64: 5DD9EA71CE5B5542 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:14] 813*2^1447943-1 is not prime. Res64: D53778804878ABD6 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:16] 825*2^1447943-1 is not prime. Res64: 2322EDC6D1BA35AA Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:16] 895*2^1447943-1 is not prime. Res64: 394620E277A5D3BF Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:17] 973*2^1447943-1 is not prime. Res64: C6DC19B53E189D00 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:17] 629*2^1447944-1 is not prime. Res64: 556469C281DCF3A0 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:19:17] 635*2^1447944-1 is not prime. Res64: 7377F9E9A406FB91 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:28:00] 689*2^1447944-1 is not prime. Res64: 408C3D52343EDEB7 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:28:00] 723*2^1447944-1 is not prime. Res64: 93BDF81E5349DE97 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:28:01] 765*2^1447944-1 is not prime. Res64: 92F36908C26821DE Time : 0.0 sec. user=mdettweiler [2016-12-06 20:28:01] 767*2^1447944-1 is not prime. Res64: 29FD88941C393CF8 Time : 0.0 sec. user=mdettweiler [2016-12-06 20:28:02] 825*2^1447944-1 is not prime. Res64: 9746A5D7E81865E0 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:20] 909*2^1447944-1 is not prime. Res64: 4DBA98C5DC40E191 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:20] 947*2^1447944-1 is not prime. Res64: FCF33A505209EAF9 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:22] 993*2^1447944-1 is not prime. Res64: 79693AD605F7DBB0 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:23] 997*2^1447945-1 is not prime. Res64: 645583B5DA72486D Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:23] 765*2^1447945-1 is not prime. Res64: FB19B1991993F46C Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:24] 615*2^1447946-1 is not prime. Res64: E7F551490DFF528D Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:24] 789*2^1447945-1 is not prime. Res64: 468132472FB16D45 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:25] 627*2^1447946-1 is not prime. Res64: BBB25D1950701DEE Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:26] 633*2^1447946-1 is not prime. Res64: CE548C2F4A805563 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:04:27] 675*2^1447946-1 is not prime. Res64: 363AC2AF1A255A20 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:13:08] 711*2^1447946-1 is not prime. Res64: 50B91BDF5600F50E Time : 0.0 sec. user=mdettweiler [2016-12-06 21:13:08] 783*2^1447946-1 is not prime. Res64: 5C346DF35A1C9634 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:13:09] 785*2^1447946-1 is not prime. Res64: 84C418B511642854 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:13:09] 911*2^1447946-1 is not prime. Res64: F28D7DEE03F19A40 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:13:10] 923*2^1447946-1 is not prime. Res64: 9E7F69595FFBCE80 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:43] 935*2^1447946-1 is not prime. Res64: 2C75C2C0AABA4E67 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:43] 913*2^1447947-1 is not prime. Res64: 45329C5ABB65F891 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:43] 615*2^1447947-1 is not prime. Res64: 6F8FF7447ED4A719 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:43] 955*2^1447947-1 is not prime. Res64: ECA1E4C978E274F8 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:43] 649*2^1447947-1 is not prime. Res64: 6ECD1022124260CA Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:44] 973*2^1447947-1 is not prime. Res64: 731733196CBE8216 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:44] 735*2^1447947-1 is not prime. Res64: EB5FD1A07BEA5652 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:44] 629*2^1447948-1 is not prime. Res64: 7CF6C0F81B20AC3C Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:44] 879*2^1447947-1 is not prime. Res64: 33563BD2B1B0F2A7 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:49:44] 707*2^1447948-1 is not prime. Res64: B2A027E41351F4DF Time : 0.0 sec. user=mdettweiler [2016-12-06 21:58:21] 723*2^1447948-1 is not prime. Res64: CC8F89784525D12A Time : 0.0 sec. user=mdettweiler [2016-12-06 21:58:21] 869*2^1447948-1 is not prime. Res64: 3027163EE59197CC Time : 0.0 sec. user=mdettweiler [2016-12-06 21:58:21] 969*2^1447948-1 is not prime. Res64: DB02D8ECDA6C4AFD Time : 0.0 sec. user=mdettweiler [2016-12-06 21:58:21] 621*2^1447949-1 is not prime. Res64: 344802C2A3AF9939 Time : 0.0 sec. user=mdettweiler [2016-12-06 21:58:22] 729*2^1447949-1 is not prime. Res64: 4614014D57ECCBE5 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:06] 801*2^1447949-1 is not prime. Res64: 65267525E9EB248D Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:07] 825*2^1447949-1 is not prime. Res64: CD278605ABC6ED3F Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:07] 765*2^1447950-1 is not prime. Res64: 4E82C649A0E7EFC2 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:07] 855*2^1447949-1 is not prime. Res64: D1AD67F28B4011DB Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:07] 777*2^1447950-1 is not prime. Res64: 627E03D95762093B Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:07] 713*2^1447950-1 is not prime. Res64: 4ACAAE9B7C201F75 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:08] 783*2^1447950-1 is not prime. Res64: B435C83D27C3F4BA Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:08] 723*2^1447950-1 is not prime. Res64: A2B84C1C53C31100 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:08] 797*2^1447950-1 is not prime. Res64: E4DB1F30207F32A4 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:36:08] 891*2^1447950-1 is not prime. Res64: F467B786A49A3C5F Time : 0.0 sec. user=mdettweiler [2016-12-06 22:44:42] 933*2^1447950-1 is not prime. Res64: EA5F1DF76C377840 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:44:43] 941*2^1447950-1 is not prime. Res64: 77D57AD21B4F70E3 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:44:43] 615*2^1447951-1 is not prime. Res64: 74C42E387856CA0E Time : 0.0 sec. user=mdettweiler [2016-12-06 22:44:43] 693*2^1447951-1 is not prime. Res64: FE9CD90AAFA901A6 Time : 0.0 sec. user=mdettweiler [2016-12-06 22:44:44] 871*2^1447951-1 is not prime. Res64: 0E7CA413EE67B492 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:14] 943*2^1447951-1 is not prime. Res64: C9BD7D5020C94EAA Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:14] 951*2^1447951-1 is not prime. Res64: D12FCBFCB8080049 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:14] 961*2^1447951-1 is not prime. Res64: 79F7AC2C41802410 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:15] 617*2^1447952-1 is not prime. Res64: 490F9AB6E5DAB6B0 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:15] 635*2^1447952-1 is not prime. Res64: 140CD5C5578FB381 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:22] 665*2^1447952-1 is not prime. Res64: DE3D954A8997AA2C Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:23] 677*2^1447952-1 is not prime. Res64: CD82B3A73D47544C Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:23] 803*2^1447952-1 is not prime. Res64: 4F3AB0CA28EAC766 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:23] 827*2^1447952-1 is not prime. Res64: 76AC2FDC9EC5E160 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:21:23] 963*2^1447952-1 is not prime. Res64: 50602E706A1B8D3F Time : 0.0 sec. user=mdettweiler [2016-12-06 23:29:59] 983*2^1447952-1 is not prime. Res64: C3AC75DF7157867D Time : 0.0 sec. user=mdettweiler [2016-12-06 23:30:00] 607*2^1447953-1 is not prime. Res64: 60BEE109C5D4455C Time : 0.0 sec. user=mdettweiler [2016-12-06 23:30:00] 681*2^1447953-1 is not prime. Res64: 43D4EB72F7540C89 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:30:00] 721*2^1447953-1 is not prime. Res64: 53B9C09F74E031E4 Time : 0.0 sec. user=mdettweiler [2016-12-06 23:30:00] 727*2^1447953-1 is not prime. Res64: 1D044917607EBD6D Time : 0.0 sec.