user=mdettweiler [2016-07-02 00:13:15] 875*2^1434080-1 is not prime. Res64: 200DDFC33667432F Time : 0.0 sec. user=mdettweiler [2016-07-02 00:13:16] 893*2^1434080-1 is not prime. Res64: B65E98E0A9D42E1A Time : 0.0 sec. user=mdettweiler [2016-07-02 00:13:16] 909*2^1434080-1 is not prime. Res64: 26F1A953BB0FE5F2 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:13:17] 915*2^1434080-1 is not prime. Res64: D8221969927F1261 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:13:17] 935*2^1434080-1 is not prime. Res64: 41F9FAB349C0852A Time : 0.0 sec. user=mdettweiler [2016-07-02 00:15:51] 649*2^1434081-1 is not prime. Res64: 1CBB8A5997D65665 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:15:52] 745*2^1434081-1 is not prime. Res64: 94CDA764CD2BA810 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:15:52] 889*2^1434081-1 is not prime. Res64: C32513E5EDC50ABE Time : 0.0 sec. user=mdettweiler [2016-07-02 00:15:53] 901*2^1434081-1 is not prime. Res64: B9BF176D984F5B54 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:15:53] 951*2^1434081-1 is not prime. Res64: A2378B11F0BB29C4 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:18:44] 955*2^1434081-1 is not prime. Res64: FED7915283F73489 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:18:44] 695*2^1434082-1 is not prime. Res64: 2888827406EA7375 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:18:45] 717*2^1434082-1 is not prime. Res64: 3FC6BEB9082CD670 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:18:45] 731*2^1434082-1 is not prime. Res64: 90ABF4E03785EA6E Time : 0.0 sec. user=mdettweiler [2016-07-02 00:18:46] 765*2^1434082-1 is not prime. Res64: 3D26CEFDDD577C38 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:28:36] 867*2^1434082-1 is not prime. Res64: E050813512388CB0 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:28:40] 995*2^1434082-1 is not prime. Res64: A301B9D039380BE9 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:28:44] 615*2^1434083-1 is not prime. Res64: D8596EC426075B35 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:28:48] 621*2^1434083-1 is not prime. Res64: 7D68760767616E2F Time : 0.0 sec. user=mdettweiler [2016-07-02 00:28:52] 631*2^1434083-1 is not prime. Res64: 0D66DFEF2A59CC51 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:58:17] 753*2^1434083-1 is not prime. Res64: 00F463976CA48AFA Time : 0.0 sec. user=mdettweiler [2016-07-02 00:58:17] 759*2^1434083-1 is not prime. Res64: 7FA7542A2F3E1DEB Time : 0.0 sec. user=mdettweiler [2016-07-02 00:58:17] 805*2^1434083-1 is not prime. Res64: A7FC98C307F526CA Time : 0.0 sec. user=mdettweiler [2016-07-02 00:58:18] 895*2^1434083-1 is not prime. Res64: 7106D6F5CB134948 Time : 0.0 sec. user=mdettweiler [2016-07-02 00:58:18] 943*2^1434083-1 is not prime. Res64: A55F335A51CBA830 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:00:39] 837*2^1434084-1 is not prime. Res64: 614A996D7212C2E8 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:00:39] 857*2^1434084-1 is not prime. Res64: DAFF32537F1D9E45 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:00:40] 927*2^1434084-1 is not prime. Res64: 2498A46B82F714E4 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:00:41] 717*2^1434085-1 is not prime. Res64: 709E857B5A57A321 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:00:42] 729*2^1434085-1 is not prime. Res64: 4D0D65985B8ECD93 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:03:37] 771*2^1434085-1 is not prime. Res64: 5076212A2419A0F8 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:03:39] 819*2^1434085-1 is not prime. Res64: 2941FC564C7AEFAF Time : 0.0 sec. user=mdettweiler [2016-07-02 01:03:40] 861*2^1434085-1 is not prime. Res64: F6B728DE5DB3F46C Time : 0.0 sec. user=mdettweiler [2016-07-02 01:03:42] 871*2^1434085-1 is not prime. Res64: 995EED7501533C80 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:03:43] 895*2^1434085-1 is not prime. Res64: 0AA67F98817442E8 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:13:52] 937*2^1434085-1 is not prime. Res64: C82634B9A0A14566 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:13:56] 741*2^1434086-1 is not prime. Res64: BEA28834D4C76502 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:14:00] 755*2^1434086-1 is not prime. Res64: D969F497CE4B6A51 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:14:04] 857*2^1434086-1 is not prime. Res64: 5309E8CFCE436345 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:14:04] 917*2^1434086-1 is not prime. Res64: 92CA1147DD98C150 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:43:22] 921*2^1434086-1 is not prime. Res64: 90152472B0BD29EA Time : 0.0 sec. user=mdettweiler [2016-07-02 01:43:22] 751*2^1434087-1 is not prime. Res64: BE89D908A44B3A93 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:43:22] 805*2^1434087-1 is not prime. Res64: 38F1A1991AFADA11 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:43:23] 831*2^1434087-1 is not prime. Res64: F87E03F2BD7AFBB9 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:43:23] 871*2^1434087-1 is not prime. Res64: 9D141301957A8A2C Time : 0.0 sec. user=mdettweiler [2016-07-02 01:45:45] 879*2^1434087-1 is not prime. Res64: 58DD7FD8A8A9BBBD Time : 0.0 sec. user=mdettweiler [2016-07-02 01:45:49] 885*2^1434087-1 is not prime. Res64: 66DFA9B05B8EB57A Time : 0.0 sec. user=mdettweiler [2016-07-02 01:45:53] 895*2^1434087-1 is not prime. Res64: C844895E86553439 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:45:57] 901*2^1434087-1 is not prime. Res64: 75E274744126A595 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:46:01] 951*2^1434087-1 is not prime. Res64: A79EB8E29F47755D Time : 0.0 sec. user=mdettweiler [2016-07-02 01:49:05] 963*2^1434087-1 is not prime. Res64: 3067A10577D84DBE Time : 0.0 sec. user=mdettweiler [2016-07-02 01:49:09] 979*2^1434087-1 is not prime. Res64: 69F60FA31DFF3795 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:49:13] 999*2^1434087-1 is not prime. Res64: 7D5560F05E7AB4C8 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:49:17] 687*2^1434088-1 is not prime. Res64: C87D93B40276473F Time : 0.0 sec. user=mdettweiler [2016-07-02 01:49:21] 947*2^1434088-1 is not prime. Res64: 002AB26C7C47B4C0 Time : 0.0 sec. user=mdettweiler [2016-07-02 01:59:12] 627*2^1434089-1 is not prime. Res64: 46368B9F8F9A48ED Time : 0.0 sec. user=mdettweiler [2016-07-02 01:59:18] 699*2^1434089-1 is not prime. Res64: 8D1DD5A1E0EB342C Time : 0.0 sec. user=mdettweiler [2016-07-02 01:59:24] 795*2^1434089-1 is not prime. Res64: 5DB1C165165E126D Time : 0.0 sec. user=mdettweiler [2016-07-02 01:59:30] 811*2^1434089-1 is not prime. Res64: E7182D5CF31067EA Time : 0.0 sec. user=mdettweiler [2016-07-02 01:59:36] 855*2^1434089-1 is not prime. Res64: BCBFB1C8D2275D3C Time : 0.0 sec. user=mdettweiler [2016-07-02 02:28:28] 825*2^1434090-1 is not prime. Res64: 95B3994EA0F6A1F3 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:28:35] 933*2^1434090-1 is not prime. Res64: D2A3971A7F764C39 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:28:43] 601*2^1434091-1 is not prime. Res64: 2519591C3A8C106B Time : 0.0 sec. user=mdettweiler [2016-07-02 02:28:50] 651*2^1434091-1 is not prime. Res64: 7DF60F5B8EFA1CF7 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:28:57] 673*2^1434091-1 is not prime. Res64: E08A2863F0182FBB Time : 0.0 sec. user=mdettweiler [2016-07-02 02:31:07] 751*2^1434091-1 is not prime. Res64: 58D9D2B7557E7EE3 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:31:13] 813*2^1434091-1 is not prime. Res64: 08FE5EDFDD4378CE Time : 0.0 sec. user=mdettweiler [2016-07-02 02:31:18] 871*2^1434091-1 is not prime. Res64: 853D4DFD66C84BC6 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:31:22] 891*2^1434091-1 is not prime. Res64: 8EEAC44F81F88E2C Time : 0.0 sec. user=mdettweiler [2016-07-02 02:31:27] 979*2^1434091-1 is not prime. Res64: 2FAC4C31957E19F9 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:34:25] 615*2^1434092-1 is not prime. Res64: 5E619E04C6AE5A8A Time : 0.0 sec. user=mdettweiler [2016-07-02 02:34:30] 743*2^1434092-1 is not prime. Res64: 5A0738345DCD090F Time : 0.0 sec. user=mdettweiler [2016-07-02 02:34:35] 843*2^1434092-1 is not prime. Res64: E0E9CA02437AB141 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:34:40] 855*2^1434092-1 is not prime. Res64: 7108F4799EB77C5E Time : 0.0 sec. user=mdettweiler [2016-07-02 02:34:40] 879*2^1434092-1 is not prime. Res64: CCEAF24AF0BC276F Time : 0.0 sec. user=mdettweiler [2016-07-02 02:44:33] 735*2^1434093-1 is not prime. Res64: F4274AC58BF50B83 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:44:33] 741*2^1434093-1 is not prime. Res64: 23D2B289970EDAF5 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:44:34] 829*2^1434093-1 is not prime. Res64: F451870DFFD13EB2 Time : 0.0 sec. user=mdettweiler [2016-07-02 02:44:34] 785*2^1434094-1 is not prime. Res64: C9E4B9B2978310CA Time : 0.0 sec. user=mdettweiler [2016-07-02 02:44:35] 831*2^1434094-1 is not prime. Res64: 8042B74F79706B23 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:14:01] 881*2^1434094-1 is not prime. Res64: B8717AEAC3A22F55 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:14:08] 887*2^1434094-1 is not prime. Res64: 15C223F1E31CB97D Time : 0.0 sec. user=mdettweiler [2016-07-02 03:14:14] 603*2^1434095-1 is not prime. Res64: 99D1DD689DC83AD0 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:14:21] 609*2^1434095-1 is not prime. Res64: 802B8D6F3D3C28E0 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:14:27] 651*2^1434095-1 is not prime. Res64: BDF326742BC92DD7 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:16:37] 775*2^1434095-1 is not prime. Res64: 3CBFDA95A0978FAA Time : 0.0 sec. user=mdettweiler [2016-07-02 03:16:37] 799*2^1434095-1 is not prime. Res64: C273B15970B2F128 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:16:38] 855*2^1434095-1 is not prime. Res64: 993A64FFD11D3587 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:16:38] 859*2^1434095-1 is not prime. Res64: 9AC73D7F244EBCEA Time : 0.0 sec. user=mdettweiler [2016-07-02 03:16:38] 913*2^1434095-1 is not prime. Res64: ABFDEE6D6BAC7488 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:19:41] 999*2^1434095-1 is not prime. Res64: 89A6032650EE62DA Time : 0.0 sec. user=mdettweiler [2016-07-02 03:19:42] 635*2^1434096-1 is not prime. Res64: E36F575F71E66DC8 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:19:42] 725*2^1434096-1 is not prime. Res64: B7A20A6B95790A02 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:19:43] 779*2^1434096-1 is not prime. Res64: 8481819B811AC0AC Time : 0.0 sec. user=mdettweiler [2016-07-02 03:19:43] 899*2^1434096-1 is not prime. Res64: 879A2AF1949D9394 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:29:44] 945*2^1434096-1 is not prime. Res64: 05A783651A2C32BB Time : 0.0 sec. user=mdettweiler [2016-07-02 03:29:45] 625*2^1434097-1 is not prime. Res64: 5EDF34C32FADC66D Time : 0.0 sec. user=mdettweiler [2016-07-02 03:29:46] 699*2^1434097-1 is not prime. Res64: 2A2D60952D879C1E Time : 0.0 sec. user=mdettweiler [2016-07-02 03:29:47] 747*2^1434097-1 is not prime. Res64: 3C39011F3DCDD504 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:29:48] 771*2^1434097-1 is not prime. Res64: 7CFD6420F849838A Time : 0.0 sec. user=mdettweiler [2016-07-02 03:59:24] 807*2^1434097-1 is not prime. Res64: F65FAAA14EB98CA6 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:59:24] 817*2^1434097-1 is not prime. Res64: B7F9B9BBAD80C3B4 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:59:25] 847*2^1434097-1 is not prime. Res64: DA9A71AA886E5816 Time : 0.0 sec. user=mdettweiler [2016-07-02 03:59:25] 997*2^1434097-1 is not prime. Res64: 99CB981C3E91DCFB Time : 0.0 sec. user=mdettweiler [2016-07-02 03:59:26] 603*2^1434098-1 is not prime. Res64: A55DDEB71C6724DE Time : 0.0 sec. user=mdettweiler [2016-07-02 04:01:28] 635*2^1434098-1 is not prime. Res64: A259932319978FD4 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:01:29] 951*2^1434098-1 is not prime. Res64: D8554C5F30108F48 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:01:30] 977*2^1434098-1 is not prime. Res64: 733F8553DAB0FE6A Time : 0.0 sec. user=mdettweiler [2016-07-02 04:01:31] 615*2^1434099-1 is not prime. Res64: 06D6A748209A02E7 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:01:32] 619*2^1434099-1 is not prime. Res64: 9A77A2C29591F010 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:04:43] 621*2^1434099-1 is not prime. Res64: 156C560CA6D94409 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:04:44] 633*2^1434099-1 is not prime. Res64: 0E2375C2722B0779 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:04:45] 835*2^1434099-1 is not prime. Res64: C13AA2C4D9A889F9 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:04:46] 891*2^1434099-1 is not prime. Res64: A604CC37F8C7E416 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:04:47] 979*2^1434099-1 is not prime. Res64: 7C860C59A6E8800A Time : 0.0 sec. user=mdettweiler [2016-07-02 04:14:54] 609*2^1434100-1 is not prime. Res64: E4950FDDB2FD45D1 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:14:59] 615*2^1434100-1 is not prime. Res64: 455B24C7EAF1F9C2 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:15:04] 759*2^1434100-1 is not prime. Res64: 8DDF3B2C2D50C8BF Time : 0.0 sec. user=mdettweiler [2016-07-02 04:15:11] 777*2^1434100-1 is not prime. Res64: CCF1BD6901F32FCF Time : 0.0 sec. user=mdettweiler [2016-07-02 04:15:18] 927*2^1434100-1 is not prime. Res64: 7C363A6818110F89 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:44:44] 965*2^1434100-1 is not prime. Res64: CEF68948F6902AA1 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:44:45] 691*2^1434101-1 is not prime. Res64: 76F338AF00A263F8 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:44:45] 741*2^1434101-1 is not prime. Res64: E4711566A0B5508D Time : 0.0 sec. user=mdettweiler [2016-07-02 04:44:45] 789*2^1434101-1 is not prime. Res64: F90C2DD289611D25 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:44:46] 925*2^1434101-1 is not prime. Res64: 70D279588BAF3899 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:47:18] 937*2^1434101-1 is not prime. Res64: 33BF8E98E790D5FE Time : 0.0 sec. user=mdettweiler [2016-07-02 04:47:24] 723*2^1434102-1 is not prime. Res64: 4E974F4321A9EB26 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:47:25] 777*2^1434102-1 is not prime. Res64: 2D55CE43A3F7EAF7 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:47:25] 791*2^1434102-1 is not prime. Res64: 8E7E3781A9E628FC Time : 0.0 sec. user=mdettweiler [2016-07-02 04:47:31] 815*2^1434102-1 is not prime. Res64: 21082CE9E3B3F7D5 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:50:26] 867*2^1434102-1 is not prime. Res64: 91589507AAC30A15 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:50:32] 915*2^1434102-1 is not prime. Res64: EB0FA927CC4FDF02 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:50:38] 951*2^1434102-1 is not prime. Res64: F63E1B69B24721A2 Time : 0.0 sec. user=mdettweiler [2016-07-02 04:50:45] 621*2^1434103-1 is not prime. Res64: 8B3FE689CB76FA4A Time : 0.0 sec. user=mdettweiler [2016-07-02 04:50:51] 625*2^1434103-1 is not prime. Res64: F5337FAC7E193586 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:01:12] 675*2^1434103-1 is not prime. Res64: 2297F1E1BA9C13C2 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:01:16] 703*2^1434103-1 is not prime. Res64: 942DFF75FFFBB44E Time : 0.0 sec. user=mdettweiler [2016-07-02 05:01:20] 729*2^1434103-1 is not prime. Res64: 6D5172108C6031D4 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:01:25] 741*2^1434103-1 is not prime. Res64: 23D43F1DF83135A0 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:01:29] 763*2^1434103-1 is not prime. Res64: 8309D1F040544AA0 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:30:36] 859*2^1434103-1 is not prime. Res64: 57B22A21617E19F0 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:30:42] 885*2^1434103-1 is not prime. Res64: 6AC1A51280A50458 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:30:49] 609*2^1434104-1 is not prime. Res64: F73F55200463E758 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:30:56] 699*2^1434104-1 is not prime. Res64: 7BA8F81CE29B9F5B Time : 0.0 sec. user=mdettweiler [2016-07-02 05:31:02] 773*2^1434104-1 is not prime. Res64: 0FA3290D9D9C236B Time : 0.0 sec. user=mdettweiler [2016-07-02 05:32:41] 727*2^1434105-1 is not prime. Res64: ED6EC5E7F90E9EA4 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:32:42] 919*2^1434105-1 is not prime. Res64: D7C846B947A682A9 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:32:46] 997*2^1434105-1 is not prime. Res64: 70A1868D28012AD5 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:32:52] 651*2^1434106-1 is not prime. Res64: D42280FBEC87482D Time : 0.0 sec. user=mdettweiler [2016-07-02 05:32:58] 765*2^1434106-1 is not prime. Res64: EF58088F39C5F93B Time : 0.0 sec. user=mdettweiler [2016-07-02 05:36:01] 773*2^1434106-1 is not prime. Res64: F217BA21F3A44F9B Time : 0.0 sec. user=mdettweiler [2016-07-02 05:36:07] 833*2^1434106-1 is not prime. Res64: 20A69FA21AC2C6CA Time : 0.0 sec. user=mdettweiler [2016-07-02 05:36:07] 857*2^1434106-1 is not prime. Res64: D8C66B1CE4A44054 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:36:14] 881*2^1434106-1 is not prime. Res64: ED55D25A3021BB0B Time : 0.0 sec. user=mdettweiler [2016-07-02 05:36:20] 945*2^1434106-1 is not prime. Res64: 3B6045340D223559 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:46:56] 981*2^1434106-1 is not prime. Res64: 7C5B767319FC0147 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:46:56] 601*2^1434107-1 is not prime. Res64: 66AC6054F1FA27B7 Time : 0.0 sec. user=mdettweiler [2016-07-02 05:46:56] 609*2^1434107-1 is not prime. Res64: 7DF7420EFDCE1E3C Time : 0.0 sec. user=mdettweiler [2016-07-02 05:46:57] 663*2^1434107-1 is not prime. Res64: A2254E8EE0C895FC Time : 0.0 sec. user=mdettweiler [2016-07-02 05:46:57] 669*2^1434107-1 is not prime. Res64: FACC0C841A29ECFA Time : 0.0 sec. user=mdettweiler [2016-07-02 06:16:15] 685*2^1434107-1 is not prime. Res64: E8B395A948E83B0E Time : 0.0 sec. user=mdettweiler [2016-07-02 06:16:15] 693*2^1434107-1 is not prime. Res64: 4AD94BC08DBBC4B8 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:16:16] 819*2^1434107-1 is not prime. Res64: 1094B43A5B63675B Time : 0.0 sec. user=mdettweiler [2016-07-02 06:16:16] 901*2^1434107-1 is not prime. Res64: E1E2AC29109DC8B6 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:16:17] 991*2^1434107-1 is not prime. Res64: 76B6C196089B6D94 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:17:50] 683*2^1434108-1 is not prime. Res64: 3349D6128F376F76 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:17:51] 689*2^1434108-1 is not prime. Res64: F1C88B01D3101AF7 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:17:51] 707*2^1434108-1 is not prime. Res64: 5E62FD636891F8DF Time : 0.0 sec. user=mdettweiler [2016-07-02 06:17:52] 783*2^1434108-1 is not prime. Res64: AAB6FDC8B9EB8B7C Time : 0.0 sec. user=mdettweiler [2016-07-02 06:17:52] 789*2^1434108-1 is not prime. Res64: 70474678C8353FAD Time : 0.0 sec. user=mdettweiler [2016-07-02 06:21:28] 825*2^1434108-1 is not prime. Res64: E78E61C9FE4671CF Time : 0.0 sec. user=mdettweiler [2016-07-02 06:21:28] 837*2^1434108-1 is not prime. Res64: C85E1E09B07647AD Time : 0.0 sec. user=mdettweiler [2016-07-02 06:21:29] 875*2^1434108-1 is not prime. Res64: 74F5DCA99A3A9AE6 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:21:29] 959*2^1434108-1 is not prime. Res64: BC017641BD62E172 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:21:30] 615*2^1434109-1 is not prime. Res64: 09E679AFE1C5ECB2 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:32:15] 681*2^1434109-1 is not prime. Res64: 76372173D4C4B88D Time : 0.0 sec. user=mdettweiler [2016-07-02 06:32:16] 729*2^1434109-1 is not prime. Res64: C8A21B9737E5A55C Time : 0.0 sec. user=mdettweiler [2016-07-02 06:32:16] 741*2^1434109-1 is not prime. Res64: 545BAA09E1F6A077 Time : 0.0 sec. user=mdettweiler [2016-07-02 06:32:16] 825*2^1434109-1 is not prime. Res64: 85F14D7B01F9028C Time : 0.0 sec. user=mdettweiler [2016-07-02 06:32:17] 861*2^1434109-1 is not prime. Res64: 5774211EBF40144B Time : 0.0 sec. user=mdettweiler [2016-07-02 07:01:30] 867*2^1434109-1 is not prime. Res64: 9553AA3891660EE5 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:01:31] 961*2^1434109-1 is not prime. Res64: 69C2704728F590C6 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:01:32] 999*2^1434109-1 is not prime. Res64: 4C1FDAADC59B5FE8 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:01:34] 663*2^1434110-1 is not prime. Res64: 9438D9447A88B7BC Time : 0.0 sec. user=mdettweiler [2016-07-02 07:01:34] 741*2^1434110-1 is not prime. Res64: 2FA11B0C9F92B8B6 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:03:06] 797*2^1434110-1 is not prime. Res64: 13C37061BBB37EDE Time : 0.0 sec. user=mdettweiler [2016-07-02 07:03:07] 825*2^1434110-1 is not prime. Res64: B88AFA896BBB6169 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:03:08] 951*2^1434110-1 is not prime. Res64: ECA961D42971A5A7 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:03:09] 625*2^1434111-1 is not prime. Res64: AF0D27A8867EFE15 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:03:10] 739*2^1434111-1 is not prime. Res64: 308AC6BD36D24A28 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:06:27] 949*2^1434111-1 is not prime. Res64: 9B158C99F2AE9975 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:06:28] 975*2^1434111-1 is not prime. Res64: A5BCE8A3DAC44885 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:06:28] 979*2^1434111-1 is not prime. Res64: 723D93C002BD4DDE Time : 0.0 sec. user=mdettweiler [2016-07-02 07:06:28] 999*2^1434111-1 is not prime. Res64: 202871D5B186E246 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:06:29] 615*2^1434112-1 is not prime. Res64: 627F53756D525BE9 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:17:17] 635*2^1434112-1 is not prime. Res64: 7789191F1C6B0FE4 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:17:21] 689*2^1434112-1 is not prime. Res64: 9E06A24FE753A4EC Time : 0.0 sec. user=mdettweiler [2016-07-02 07:17:25] 705*2^1434112-1 is not prime. Res64: 1CD623B62A69132F Time : 0.0 sec. user=mdettweiler [2016-07-02 07:17:29] 747*2^1434112-1 is not prime. Res64: C4311E42DC1DA0DB Time : 0.0 sec. user=mdettweiler [2016-07-02 07:17:35] 779*2^1434112-1 is not prime. Res64: A5FEC5A9B519F75E Time : 0.0 sec. user=mdettweiler [2016-07-02 07:46:33] 785*2^1434112-1 is not prime. Res64: 0D6D17B7881E29E0 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:46:41] 813*2^1434112-1 is not prime. Res64: 1186710E881C23A9 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:46:48] 909*2^1434112-1 is not prime. Res64: FD0F47ABBDAE7044 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:46:55] 915*2^1434112-1 is not prime. Res64: 5B454C197196957F Time : 0.0 sec. user=mdettweiler [2016-07-02 07:47:02] 637*2^1434113-1 is not prime. Res64: C12AAF62C5F1BD15 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:48:11] 649*2^1434113-1 is not prime. Res64: 90F01F497B8E3E13 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:48:11] 729*2^1434113-1 is not prime. Res64: 3A678D5A76D4011C Time : 0.0 sec. user=mdettweiler [2016-07-02 07:48:18] 847*2^1434113-1 is not prime. Res64: 6CA582FF629B0000 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:48:25] 937*2^1434113-1 is not prime. Res64: C150EFB89F176B42 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:48:32] 621*2^1434114-1 is not prime. Res64: 3363B51D0DDBD44A Time : 0.0 sec. user=mdettweiler [2016-07-02 07:51:35] 705*2^1434114-1 is not prime. Res64: 7A3B46F6DF1DDED1 Time : 0.0 sec. user=mdettweiler [2016-07-02 07:51:41] 741*2^1434114-1 is not prime. Res64: 26FF9A7268EDBA9D Time : 0.0 sec. user=mdettweiler [2016-07-02 07:51:47] 893*2^1434114-1 is not prime. Res64: 9C326F5F600C14AA Time : 0.0 sec. user=mdettweiler [2016-07-02 07:51:48] 915*2^1434114-1 is not prime. Res64: 4173CE55999F4F9B Time : 0.0 sec. user=mdettweiler [2016-07-02 07:51:53] 945*2^1434114-1 is not prime. Res64: AFC2F341C86584A6 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:02:35] 699*2^1434115-1 is not prime. Res64: 436A172589902446 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:02:35] 735*2^1434115-1 is not prime. Res64: 602E9332B5446CA5 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:02:36] 871*2^1434115-1 is not prime. Res64: 016582CC278CCCA8 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:02:37] 895*2^1434115-1 is not prime. Res64: EE94E81B793FDAE0 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:02:37] 973*2^1434115-1 is not prime. Res64: F5EB68761B90D150 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:34:29] 669*2^1434116-1 is not prime. Res64: F59DA5035BB0576B Time : 0.0 sec. user=mdettweiler [2016-07-02 08:34:33] 927*2^1434116-1 is not prime. Res64: 67A1E278C1B897AF Time : 0.0 sec. user=mdettweiler [2016-07-02 08:34:33] 983*2^1434116-1 is not prime. Res64: C9F35ECF1E607C0B Time : 0.0 sec. user=mdettweiler [2016-07-02 08:34:37] 987*2^1434116-1 is not prime. Res64: DCB1540F1D9A0767 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:34:41] 661*2^1434117-1 is not prime. Res64: 68E3AB1A150F5EF5 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:36:00] 667*2^1434117-1 is not prime. Res64: ADF33DADC779189A Time : 0.0 sec. user=mdettweiler [2016-07-02 08:36:00] 681*2^1434117-1 is not prime. Res64: EE55B07FAEF77347 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:36:00] 747*2^1434117-1 is not prime. Res64: 01B7FFB424956B44 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:36:01] 871*2^1434117-1 is not prime. Res64: 8DFB1575632D043E Time : 0.0 sec. user=mdettweiler [2016-07-02 08:36:01] 997*2^1434117-1 is not prime. Res64: 05AFDCF003B94B77 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:39:50] 623*2^1434118-1 is not prime. Res64: FD74F895E42F832B Time : 0.0 sec. user=mdettweiler [2016-07-02 08:39:50] 681*2^1434118-1 is not prime. Res64: 1E9D378B29784543 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:39:50] 843*2^1434118-1 is not prime. Res64: CE2969DD74AAE0C5 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:39:51] 857*2^1434118-1 is not prime. Res64: 7B389B4ADBBDF343 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:39:51] 897*2^1434118-1 is not prime. Res64: F306A9DB9AC72C5B Time : 0.0 sec. user=mdettweiler [2016-07-02 08:52:30] 911*2^1434118-1 is not prime. Res64: 8C7A96A31B09CDCA Time : 0.0 sec. user=mdettweiler [2016-07-02 08:52:30] 601*2^1434119-1 is not prime. Res64: E2DC14251D6BF8FD Time : 0.0 sec. user=mdettweiler [2016-07-02 08:52:30] 633*2^1434119-1 is not prime. Res64: 5FF10DA8A4C0391C Time : 0.0 sec. user=mdettweiler [2016-07-02 08:52:30] 705*2^1434119-1 is not prime. Res64: EA524C3F8E13BF75 Time : 0.0 sec. user=mdettweiler [2016-07-02 08:52:30] 735*2^1434119-1 is not prime. Res64: F18BCB6AB0A7EE84 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:22:50] 789*2^1434119-1 is not prime. Res64: 647D62F82B405BB0 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:22:51] 811*2^1434119-1 is not prime. Res64: 49DCB5F5AF7BF201 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:22:51] 859*2^1434119-1 is not prime. Res64: 147463EC184C81C3 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:22:52] 883*2^1434119-1 is not prime. Res64: F2C7817E9373694B Time : 0.0 sec. user=mdettweiler [2016-07-02 09:22:52] 939*2^1434119-1 is not prime. Res64: 209F0534AF1B9CC0 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:24:20] 845*2^1434120-1 is not prime. Res64: CD09114138281F80 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:24:21] 927*2^1434120-1 is not prime. Res64: 232EEC6887327DB8 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:24:21] 945*2^1434120-1 is not prime. Res64: 68BA54138B76CDDB Time : 0.0 sec. user=mdettweiler [2016-07-02 09:24:22] 705*2^1434121-1 is not prime. Res64: 59A49E6FDF211947 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:24:22] 847*2^1434121-1 is not prime. Res64: D31E0DF3222BFB76 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:27:29] 955*2^1434121-1 is not prime. Res64: 50C074FEC66026FA Time : 0.0 sec. user=mdettweiler [2016-07-02 09:27:30] 967*2^1434121-1 is not prime. Res64: EBB754C1F375F23A Time : 0.0 sec. user=mdettweiler [2016-07-02 09:27:30] 677*2^1434122-1 is not prime. Res64: 00EC9117266BDF81 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:27:31] 713*2^1434122-1 is not prime. Res64: E4990CD3DDC21B6A Time : 0.0 sec. user=mdettweiler [2016-07-02 09:27:31] 785*2^1434122-1 is not prime. Res64: 70BE68E090ECE444 Time : 0.0 sec. user=mdettweiler [2016-07-02 09:38:31] 885*2^1434122-1 is not prime. Res64: 6AD6D73726B3F7DF Time : 0.0 sec. user=mdettweiler [2016-07-02 09:38:37] 923*2^1434122-1 is not prime. Res64: 600A2FEDBF0C89CE Time : 0.0 sec. user=mdettweiler [2016-07-02 09:38:37] 945*2^1434122-1 is not prime. Res64: CDFD9AB8CB9F5FEC Time : 0.0 sec. user=mdettweiler [2016-07-02 09:38:44] 963*2^1434122-1 is not prime. Res64: 3C6EA968D4BAA24B Time : 0.0 sec. user=mdettweiler [2016-07-02 09:38:51] 699*2^1434123-1 is not prime. Res64: 3977FC306E8C354A Time : 0.0 sec. user=mdettweiler [2016-07-02 10:07:54] 703*2^1434123-1 is not prime. Res64: 6A847E5BC04508BC Time : 0.0 sec. user=mdettweiler [2016-07-02 10:07:54] 739*2^1434123-1 is not prime. Res64: 18255F9A8FDDB3EF Time : 0.0 sec. user=mdettweiler [2016-07-02 10:07:55] 789*2^1434123-1 is not prime. Res64: 2DECF5D8D34AA1F0 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:07:56] 861*2^1434123-1 is not prime. Res64: BB6DCCCD6062DF2D Time : 0.0 sec. user=mdettweiler [2016-07-02 10:07:56] 871*2^1434123-1 is not prime. Res64: 0A1CB3F28F599549 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:09:26] 955*2^1434123-1 is not prime. Res64: 251AF7DB50908D1F Time : 0.0 sec. user=mdettweiler [2016-07-02 10:09:30] 963*2^1434123-1 is not prime. Res64: BA4FB36B19BBDE3F Time : 0.0 sec. user=mdettweiler [2016-07-02 10:09:34] 629*2^1434124-1 is not prime. Res64: 72DED94F4681B588 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:09:38] 719*2^1434124-1 is not prime. Res64: 02EABDACFF44DE8B Time : 0.0 sec. user=mdettweiler [2016-07-02 10:09:42] 875*2^1434124-1 is not prime. Res64: A9A60FA20594D4F0 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:12:25] 607*2^1434125-1 is not prime. Res64: 2748B1BB360D7A2B Time : 0.0 sec. user=mdettweiler [2016-07-02 10:12:29] 627*2^1434125-1 is not prime. Res64: 12CF596985DF4FD5 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:12:33] 771*2^1434125-1 is not prime. Res64: BDBCBE34D75ED364 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:12:37] 825*2^1434125-1 is not prime. Res64: 17FF5C6FCBE4E909 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:12:41] 981*2^1434125-1 is not prime. Res64: 8A7DBB5A9304AD3A Time : 0.0 sec. user=mdettweiler [2016-07-02 10:23:50] 647*2^1434126-1 is not prime. Res64: CA509A7A97E5E1E0 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:23:51] 683*2^1434126-1 is not prime. Res64: 5963FCCBD7481041 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:23:52] 707*2^1434126-1 is not prime. Res64: B309137B7317D0EE Time : 0.0 sec. user=mdettweiler [2016-07-02 10:23:52] 765*2^1434126-1 is not prime. Res64: EC83AF11CC613B43 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:23:52] 777*2^1434126-1 is not prime. Res64: 326E6973D3E825FD Time : 0.0 sec. user=mdettweiler [2016-07-02 10:52:46] 975*2^1434126-1 is not prime. Res64: 3B1D02B09BE0BEE4 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:52:52] 619*2^1434127-1 is not prime. Res64: B4FF7AF32E670A5F Time : 0.0 sec. user=mdettweiler [2016-07-02 10:52:58] 633*2^1434127-1 is not prime. Res64: BE8CF3F3841C6C4D Time : 0.0 sec. user=mdettweiler [2016-07-02 10:53:04] 639*2^1434127-1 is not prime. Res64: 752DEAF9F3D963D5 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:53:10] 663*2^1434127-1 is not prime. Res64: 3173CAF0CCA6E655 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:54:36] 615*2^1434128-1 is not prime. Res64: 8B106D3EA08CC08E Time : 0.0 sec. user=mdettweiler [2016-07-02 10:54:42] 689*2^1434128-1 is not prime. Res64: 7F8ABA29F8C6E698 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:54:48] 743*2^1434128-1 is not prime. Res64: E412AF8FEAD18864 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:54:55] 839*2^1434128-1 is not prime. Res64: 0D655F2A39F29867 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:55:01] 897*2^1434128-1 is not prime. Res64: C0975D910BC0DCB8 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:57:31] 945*2^1434128-1 is not prime. Res64: 25D0F7D02BA4C592 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:57:38] 601*2^1434129-1 is not prime. Res64: 2D5EC580B7621202 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:57:44] 649*2^1434129-1 is not prime. Res64: 2E05A13EEF645D34 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:57:49] 847*2^1434129-1 is not prime. Res64: 9F2B0D43A3EEC4F9 Time : 0.0 sec. user=mdettweiler [2016-07-02 10:57:53] 861*2^1434129-1 is not prime. Res64: 6A277A42D81A9C87 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:08:39] 889*2^1434129-1 is not prime. Res64: E98E1070290C50F3 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:08:39] 909*2^1434129-1 is not prime. Res64: 87E5B817FD17AA1D Time : 0.0 sec. user=mdettweiler [2016-07-02 11:08:40] 605*2^1434130-1 is not prime. Res64: 0550509AB4341B9C Time : 0.0 sec. user=mdettweiler [2016-07-02 11:08:40] 813*2^1434130-1 is not prime. Res64: 09100ECBA4E2BEE6 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:08:41] 831*2^1434130-1 is not prime. Res64: 1640575AC615C863 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:38:16] 833*2^1434130-1 is not prime. Res64: 614C17C0371528D0 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:38:16] 945*2^1434130-1 is not prime. Res64: CFD164FEA9AF97BC Time : 0.0 sec. user=mdettweiler [2016-07-02 11:38:17] 957*2^1434130-1 is not prime. Res64: B1EFFC8A7FEF9BFC Time : 0.0 sec. user=mdettweiler [2016-07-02 11:38:17] 987*2^1434130-1 is not prime. Res64: 2339439C23A3FEE0 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:38:18] 601*2^1434131-1 is not prime. Res64: 5062A271D4A32132 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:40:04] 693*2^1434131-1 is not prime. Res64: BA336FDA99BA9EED Time : 0.0 sec. user=mdettweiler [2016-07-02 11:40:04] 841*2^1434131-1 is not prime. Res64: 3B332D6388D0E1D2 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:40:04] 859*2^1434131-1 is not prime. Res64: 274D22B9383F7F94 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:40:05] 623*2^1434132-1 is not prime. Res64: F675DCC03035903E Time : 0.0 sec. user=mdettweiler [2016-07-02 11:40:05] 803*2^1434132-1 is not prime. Res64: D0E6A8DEB082AD43 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:42:58] 727*2^1434133-1 is not prime. Res64: EF3025E97C2CB234 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:42:59] 745*2^1434133-1 is not prime. Res64: 937722E834BD63E0 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:42:59] 847*2^1434133-1 is not prime. Res64: B381A6736D797DDE Time : 0.0 sec. user=mdettweiler [2016-07-02 11:42:59] 901*2^1434133-1 is not prime. Res64: C52489ADA919EA56 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:43:00] 915*2^1434133-1 is not prime. Res64: 5DE236240156B8B7 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:53:53] 967*2^1434133-1 is not prime. Res64: 588DAAFEC7DBBEAB Time : 0.0 sec. user=mdettweiler [2016-07-02 11:53:54] 999*2^1434133-1 is not prime. Res64: 56A9152A3F1B7EA8 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:53:54] 663*2^1434134-1 is not prime. Res64: 9A9F3E0B02F557E0 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:53:54] 753*2^1434134-1 is not prime. Res64: 068D78B149F38440 Time : 0.0 sec. user=mdettweiler [2016-07-02 11:53:55] 813*2^1434134-1 is not prime. Res64: CBF9AEA1EC434302 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:23:02] 825*2^1434134-1 is not prime. Res64: 5A7215C9FC4EAC69 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:23:03] 857*2^1434134-1 is not prime. Res64: AF7AF1AE8A0EE09E Time : 0.0 sec. user=mdettweiler [2016-07-02 12:23:03] 679*2^1434135-1 is not prime. Res64: FE47902503AA716C Time : 0.0 sec. user=mdettweiler [2016-07-02 12:23:04] 775*2^1434135-1 is not prime. Res64: E751881E0DA34E80 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:23:04] 871*2^1434135-1 is not prime. Res64: AA76217682303276 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:24:49] 979*2^1434135-1 is not prime. Res64: 373F0353A1776AA6 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:24:49] 663*2^1434136-1 is not prime. Res64: C3D28F8D39CB75D2 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:24:50] 807*2^1434136-1 is not prime. Res64: 78C9AAC014048427 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:24:50] 849*2^1434136-1 is not prime. Res64: A538A231037C329D Time : 0.0 sec. user=mdettweiler [2016-07-02 12:24:50] 965*2^1434136-1 is not prime. Res64: A6516C16BCA3ECC4 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:27:56] 993*2^1434136-1 is not prime. Res64: 2CA3128508BFD1F4 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:39:08] 889*2^1434137-1 is not prime. Res64: 2EEF5DBA989DCEC9 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:39:15] 937*2^1434137-1 is not prime. Res64: A11137A5B66598F4 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:39:22] 949*2^1434137-1 is not prime. Res64: 1C39BB4437B0D415 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:39:29] 755*2^1434138-1 is not prime. Res64: 4CA5EBBC9AD72B36 Time : 0.0 sec. user=mdettweiler [2016-07-02 12:39:36] 767*2^1434138-1 is not prime. Res64: 2C9086107A90879F Time : 0.0 sec. user=mdettweiler [2016-07-02 13:10:37] 853*2^1434139-1 is not prime. Res64: EC18071CC2DD628D Time : 0.0 sec. user=mdettweiler [2016-07-02 13:10:43] 885*2^1434139-1 is not prime. Res64: DE9F12180EFE79E6 Time : 0.0 sec. user=mdettweiler [2016-07-02 13:10:48] 891*2^1434139-1 is not prime. Res64: 49348917C139007C Time : 0.0 sec. user=mdettweiler [2016-07-02 13:10:53] 985*2^1434139-1 is not prime. Res64: C40E895DF7D95868 Time : 0.0 sec. user=mdettweiler [2016-07-02 13:10:58] 999*2^1434139-1 is not prime. Res64: D337351623A1B7EE Time : 0.0 sec. user=mdettweiler [2016-07-02 13:26:47] 635*2^1434140-1 is not prime. Res64: FAA8063CB92A9B18 Time : 0.0 sec. user=mdettweiler [2016-07-02 13:26:51] 767*2^1434140-1 is not prime. Res64: 3CE7735A3B5FDB38 Time : 0.0 sec. user=mdettweiler [2016-07-02 13:26:55] 785*2^1434140-1 is not prime. Res64: 826E466470D4BDEF Time : 0.0 sec. user=mdettweiler [2016-07-02 13:27:00] 825*2^1434140-1 is not prime. Res64: B8F600851AA9808B Time : 0.0 sec. user=mdettweiler [2016-07-02 13:27:04] 909*2^1434140-1 is not prime. Res64: 8ACEF8C2AC19E1B9 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:01:57] 627*2^1434141-1 is not prime. Res64: 29338AD7277CA694 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:02:03] 781*2^1434141-1 is not prime. Res64: 593C67EAA56F92F7 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:02:07] 811*2^1434141-1 is not prime. Res64: 60259ED5DB9D62D3 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:02:12] 623*2^1434142-1 is not prime. Res64: E808A1F90F743AB6 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:02:17] 647*2^1434142-1 is not prime. Res64: EB338C6685AB0954 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:19:49] 815*2^1434142-1 is not prime. Res64: 85432CEA1F078228 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:19:50] 863*2^1434142-1 is not prime. Res64: BF0A1C8882BF40BF Time : 0.0 sec. user=mdettweiler [2016-07-02 14:19:50] 873*2^1434142-1 is not prime. Res64: C59CC3C6D8CA51AC Time : 0.0 sec. user=mdettweiler [2016-07-02 14:19:50] 951*2^1434142-1 is not prime. Res64: 51EAA8CE2A88191C Time : 0.0 sec. user=mdettweiler [2016-07-02 14:19:51] 661*2^1434143-1 is not prime. Res64: 60671C7298E845BA Time : 0.0 sec. user=mdettweiler [2016-07-02 14:56:59] 861*2^1434143-1 is not prime. Res64: 2ADBEF687EFA5D07 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:56:59] 963*2^1434143-1 is not prime. Res64: 3DE45CD8A0586B46 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:57:06] 759*2^1434144-1 is not prime. Res64: F9EFDD18D083DB44 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:57:12] 815*2^1434144-1 is not prime. Res64: 6CC9A52239F5D429 Time : 0.0 sec. user=mdettweiler [2016-07-02 14:57:12] 875*2^1434144-1 is not prime. Res64: 16BE75095C3468C2 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:15:35] 915*2^1434144-1 is not prime. Res64: 679337131E211DC8 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:15:35] 947*2^1434144-1 is not prime. Res64: C89C3C3AFD037814 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:15:36] 645*2^1434145-1 is not prime. Res64: A3B656AC5AFC35C0 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:15:36] 691*2^1434145-1 is not prime. Res64: 239DFEBF47512EE0 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:15:36] 771*2^1434145-1 is not prime. Res64: F9881385D2C51568 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:55:51] 895*2^1434145-1 is not prime. Res64: AD1A58374CC211DE Time : 0.0 sec. user=mdettweiler [2016-07-02 15:55:51] 919*2^1434145-1 is not prime. Res64: 6E342E0AF6582CB0 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:55:51] 975*2^1434145-1 is not prime. Res64: 4F8F5FF45B2422CF Time : 0.0 sec. user=mdettweiler [2016-07-02 15:55:51] 979*2^1434145-1 is not prime. Res64: 0EFEBA351B43FC40 Time : 0.0 sec. user=mdettweiler [2016-07-02 15:55:52] 999*2^1434145-1 is not prime. Res64: AAED3ACE88F15CB8 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:07:13] 999*2^1434136-1 is not prime. Res64: 8292E324D00F5EBD Time : 0.0 sec. user=mdettweiler [2016-07-02 16:07:17] 697*2^1434137-1 is not prime. Res64: 21CDA34945C3E4DC Time : 0.0 sec. user=mdettweiler [2016-07-02 16:07:21] 747*2^1434137-1 is not prime. Res64: 37A013B211D19526 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:07:25] 865*2^1434137-1 is not prime. Res64: EA1B43832FF0393F Time : 0.0 sec. user=mdettweiler [2016-07-02 16:16:43] 657*2^1434146-1 is not prime. Res64: 04A8823ED4AA9932 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:16:49] 675*2^1434146-1 is not prime. Res64: B2E6ED4BA354125E Time : 0.0 sec. user=mdettweiler [2016-07-02 16:16:54] 743*2^1434146-1 is not prime. Res64: A276D0FDC3C9C621 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:16:54] 923*2^1434146-1 is not prime. Res64: 124EBFB84AB201DF Time : 0.0 sec. user=mdettweiler [2016-07-02 16:17:00] 953*2^1434146-1 is not prime. Res64: 63B8C30EC12DA333 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:52:08] 615*2^1434147-1 is not prime. Res64: 54C410B75DDC3EA5 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:52:12] 709*2^1434147-1 is not prime. Res64: 4F7939E5BABD1E2C Time : 0.0 sec. user=mdettweiler [2016-07-02 16:52:16] 741*2^1434147-1 is not prime. Res64: C23FEFDD37E23AF3 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:52:20] 751*2^1434147-1 is not prime. Res64: 3BE83A363DE6749F Time : 0.0 sec. user=mdettweiler [2016-07-02 16:52:24] 909*2^1434147-1 is not prime. Res64: 3B5BA995390EF087 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:57:23] 887*2^1434138-1 is not prime. Res64: 873B91A8BE1E8E8F Time : 0.0 sec. user=mdettweiler [2016-07-02 16:57:27] 905*2^1434138-1 is not prime. Res64: 68142C1C20B1B1A9 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:57:31] 915*2^1434138-1 is not prime. Res64: 62C3FD3EBA285381 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:57:35] 963*2^1434138-1 is not prime. Res64: 92FE311DE2B48C8C Time : 0.0 sec. user=mdettweiler [2016-07-02 16:57:39] 675*2^1434139-1 is not prime. Res64: C55685D7A6801743 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:59:34] 955*2^1434147-1 is not prime. Res64: 3FFAF473169723B1 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:59:34] 975*2^1434147-1 is not prime. Res64: 9113C2FFA5E317CA Time : 0.0 sec. user=mdettweiler [2016-07-02 16:59:40] 777*2^1434148-1 is not prime. Res64: F00B81D1D91C137F Time : 0.0 sec. user=mdettweiler [2016-07-02 16:59:40] 827*2^1434148-1 is not prime. Res64: 962160BC1F5FBE49 Time : 0.0 sec. user=mdettweiler [2016-07-02 16:59:46] 845*2^1434148-1 is not prime. Res64: 0932D013BC090D31 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:08:25] 855*2^1434148-1 is not prime. Res64: 8F3ED1C12A1C2CFF Time : 0.0 sec. user=mdettweiler [2016-07-02 17:08:26] 631*2^1434149-1 is not prime. Res64: 72C9002C0303B45F Time : 0.0 sec. user=mdettweiler [2016-07-02 17:08:26] 721*2^1434149-1 is not prime. Res64: F45F562DD2621BE5 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:08:27] 729*2^1434149-1 is not prime. Res64: 6C6FD5D747C837E8 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:08:27] 745*2^1434149-1 is not prime. Res64: 5BF98311ADC77079 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:41:26] 759*2^1434149-1 is not prime. Res64: 883CE3A69E6DC883 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:41:26] 847*2^1434149-1 is not prime. Res64: B085789C6F2C7CDF Time : 0.0 sec. user=mdettweiler [2016-07-02 17:41:27] 855*2^1434149-1 is not prime. Res64: 124EB72BEC631D25 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:41:27] 885*2^1434149-1 is not prime. Res64: 3D174D004CA71173 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:41:27] 677*2^1434150-1 is not prime. Res64: 41A971A9C55E7DAC Time : 0.0 sec. user=mdettweiler [2016-07-02 17:45:53] 747*2^1434150-1 is not prime. Res64: 465CA25707A28362 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:45:53] 755*2^1434150-1 is not prime. Res64: F7E13D63A426D398 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:45:53] 765*2^1434150-1 is not prime. Res64: 5F52A6A3CBD86B11 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:45:54] 851*2^1434150-1 is not prime. Res64: FC759258459AAA9D Time : 0.0 sec. user=mdettweiler [2016-07-02 17:45:54] 921*2^1434150-1 is not prime. Res64: E913A604A061DFB2 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:48:09] 685*2^1434151-1 is not prime. Res64: E3F4C25F38CC1863 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:48:10] 709*2^1434151-1 is not prime. Res64: 1C3F749C155D65D9 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:48:10] 735*2^1434151-1 is not prime. Res64: 98C228242EA69190 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:48:10] 759*2^1434151-1 is not prime. Res64: E11D48F3B94A4EB8 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:48:10] 931*2^1434151-1 is not prime. Res64: AE837EC242EAF22F Time : 0.0 sec. user=mdettweiler [2016-07-02 17:56:26] 629*2^1434152-1 is not prime. Res64: 69ADC15DC195F753 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:56:35] 645*2^1434152-1 is not prime. Res64: D402763232F67546 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:56:42] 797*2^1434152-1 is not prime. Res64: DED44AA839F1F318 Time : 0.0 sec. user=mdettweiler [2016-07-02 17:56:42] 857*2^1434152-1 is not prime. Res64: AE13EFCC55DDC74A Time : 0.0 sec. user=mdettweiler [2016-07-02 17:56:49] 929*2^1434152-1 is not prime. Res64: C5F00F60EF09226C Time : 0.0 sec. user=mdettweiler [2016-07-02 18:27:39] 995*2^1434152-1 is not prime. Res64: 8745B83258E97B25 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:27:40] 999*2^1434152-1 is not prime. Res64: 70EFA4DB2AF432E1 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:27:40] 681*2^1434153-1 is not prime. Res64: E2C5AEA7C4836DE1 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:27:41] 691*2^1434153-1 is not prime. Res64: B9257DC6F67CF2B7 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:27:41] 739*2^1434153-1 is not prime. Res64: 9FD54797DCB0C639 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:32:06] 807*2^1434153-1 is not prime. Res64: 6BFD725C98724A9F Time : 0.0 sec. user=mdettweiler [2016-07-02 18:32:10] 979*2^1434153-1 is not prime. Res64: 4E48C65787D7B4FA Time : 0.0 sec. user=mdettweiler [2016-07-02 18:32:14] 611*2^1434154-1 is not prime. Res64: F20F492374FD66D6 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:32:18] 645*2^1434154-1 is not prime. Res64: BDD85C4D5C18D90E Time : 0.0 sec. user=mdettweiler [2016-07-02 18:32:22] 705*2^1434154-1 is not prime. Res64: 643D8BE4D15A354F Time : 0.0 sec. user=mdettweiler [2016-07-02 18:33:43] 707*2^1434154-1 is not prime. Res64: 994F85E0DC7C0F76 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:33:47] 885*2^1434154-1 is not prime. Res64: 4D684A4CC57934FA Time : 0.0 sec. user=mdettweiler [2016-07-02 18:33:51] 923*2^1434154-1 is not prime. Res64: 13BDDC278B34AD57 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:33:55] 951*2^1434154-1 is not prime. Res64: B9EEA94465DCC5B2 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:33:55] 655*2^1434155-1 is not prime. Res64: D090E34C45423DD6 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:42:06] 669*2^1434155-1 is not prime. Res64: 58C6928F03398BA7 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:42:13] 715*2^1434155-1 is not prime. Res64: A7AB202F6EAEDF16 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:42:20] 775*2^1434155-1 is not prime. Res64: 25449B6D660CDCB1 Time : 0.0 sec. user=mdettweiler [2016-07-02 18:42:27] 781*2^1434155-1 is not prime. Res64: 966D743B2542FB4D Time : 0.0 sec. user=mdettweiler [2016-07-02 18:42:28] 999*2^1434155-1 is not prime. Res64: 8ACDE711177DCD80 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:12:36] 749*2^1434156-1 is not prime. Res64: 2DD826158AAE0A87 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:12:42] 765*2^1434156-1 is not prime. Res64: 1577FFAFEC36A138 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:12:48] 779*2^1434156-1 is not prime. Res64: 2D2FA430167060B5 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:12:54] 825*2^1434156-1 is not prime. Res64: F28D59A300D2DC70 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:13:00] 887*2^1434156-1 is not prime. Res64: B860434C33DBAE1C Time : 0.0 sec. user=mdettweiler [2016-07-02 19:17:18] 975*2^1434156-1 is not prime. Res64: 0822818A7A440FCD Time : 0.0 sec. user=mdettweiler [2016-07-02 19:17:25] 645*2^1434157-1 is not prime. Res64: E08CF4D721F77C59 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:17:32] 727*2^1434157-1 is not prime. Res64: F99CF9A01EDBC5F5 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:17:38] 777*2^1434157-1 is not prime. Res64: 0906E437FA994B24 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:17:39] 801*2^1434157-1 is not prime. Res64: A732FD6D4CEC169E Time : 0.0 sec. user=mdettweiler [2016-07-02 19:18:50] 805*2^1434157-1 is not prime. Res64: 264EC920FC07D352 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:18:56] 829*2^1434157-1 is not prime. Res64: EAB9800D57839E26 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:19:01] 859*2^1434157-1 is not prime. Res64: 7C14FE5FA0DC8178 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:19:07] 967*2^1434157-1 is not prime. Res64: 55795459B41A72B4 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:19:13] 603*2^1434158-1 is not prime. Res64: A354D43E9CDE0F67 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:27:25] 605*2^1434158-1 is not prime. Res64: B0C6C0A7471B88A8 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:27:26] 747*2^1434158-1 is not prime. Res64: 49ED799F0B8C13C3 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:27:26] 771*2^1434158-1 is not prime. Res64: D76B3F34B311DEE3 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:27:27] 791*2^1434158-1 is not prime. Res64: 55112D7F934ED879 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:27:27] 843*2^1434158-1 is not prime. Res64: 1A967C72FB646589 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:58:03] 857*2^1434158-1 is not prime. Res64: F99121EE3EEB3DB5 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:58:07] 887*2^1434158-1 is not prime. Res64: E6D5A0A0FA2FBDE7 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:58:10] 953*2^1434158-1 is not prime. Res64: 3498FF99C43E25AB Time : 0.0 sec. user=mdettweiler [2016-07-02 19:58:15] 963*2^1434158-1 is not prime. Res64: 4E6D0968A0B73CA8 Time : 0.0 sec. user=mdettweiler [2016-07-02 19:58:18] 971*2^1434158-1 is not prime. Res64: 19186DFC56F6241B Time : 0.0 sec. user=mdettweiler [2016-07-02 20:02:35] 615*2^1434159-1 is not prime. Res64: 971E11FEC10BA1DE Time : 0.0 sec. user=mdettweiler [2016-07-02 20:02:36] 619*2^1434159-1 is not prime. Res64: 09DA9EACC59CB8BC Time : 0.0 sec. user=mdettweiler [2016-07-02 20:02:37] 709*2^1434159-1 is not prime. Res64: 9D89D330734F2AC0 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:02:37] 723*2^1434159-1 is not prime. Res64: 586013D594225A0B Time : 0.0 sec. user=mdettweiler [2016-07-02 20:02:38] 825*2^1434159-1 is not prime. Res64: 925F015578DC81B4 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:04:10] 921*2^1434159-1 is not prime. Res64: CE5DA72789630306 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:04:11] 985*2^1434159-1 is not prime. Res64: 0C9B92FD6A3B8CB6 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:04:13] 605*2^1434160-1 is not prime. Res64: A66B7D4B54D9E0AF Time : 0.0 sec. user=mdettweiler [2016-07-02 20:04:14] 699*2^1434160-1 is not prime. Res64: 026E55FF315147C4 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:04:14] 723*2^1434160-1 is not prime. Res64: 23F61652BB450934 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:12:29] 747*2^1434160-1 is not prime. Res64: 103B7C03E32109CF Time : 0.0 sec. user=mdettweiler [2016-07-02 20:12:29] 839*2^1434160-1 is not prime. Res64: 288CBCE97877B2AC Time : 0.0 sec. user=mdettweiler [2016-07-02 20:12:30] 855*2^1434160-1 is not prime. Res64: 6F3980B235D5A9CF Time : 0.0 sec. user=mdettweiler [2016-07-02 20:12:31] 863*2^1434160-1 is not prime. Res64: FA3A7C6AE7594A9C Time : 0.0 sec. user=mdettweiler [2016-07-02 20:12:31] 875*2^1434160-1 is not prime. Res64: FF3A8F2D612B2B36 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:43:25] 923*2^1434160-1 is not prime. Res64: F472B5C0D04AF4A8 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:43:25] 989*2^1434160-1 is not prime. Res64: F94B0DEE6FA382D4 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:43:26] 999*2^1434160-1 is not prime. Res64: D377C7B086240E25 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:43:26] 607*2^1434161-1 is not prime. Res64: 81E1B0ADA2DF08DF Time : 0.0 sec. user=mdettweiler [2016-07-02 20:43:26] 637*2^1434161-1 is not prime. Res64: A61396FBD23C34AE Time : 0.0 sec. user=mdettweiler [2016-07-02 20:47:50] 649*2^1434161-1 is not prime. Res64: 81BF7DC6BC6971A3 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:47:50] 855*2^1434161-1 is not prime. Res64: 054413BFC6BAEA47 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:47:50] 871*2^1434161-1 is not prime. Res64: 78C5E5EE28E8C679 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:47:51] 949*2^1434161-1 is not prime. Res64: 826B52DBAB07E05C Time : 0.0 sec. user=mdettweiler [2016-07-02 20:47:51] 987*2^1434161-1 is not prime. Res64: 0BAD2B65C9C4770F Time : 0.0 sec. user=mdettweiler [2016-07-02 20:49:17] 791*2^1434162-1 is not prime. Res64: 7F4FACD3F55FC33E Time : 0.0 sec. user=mdettweiler [2016-07-02 20:49:17] 801*2^1434162-1 is not prime. Res64: D3D36E1976CF82B8 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:49:17] 837*2^1434162-1 is not prime. Res64: 29D7BF9E3B701805 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:49:18] 945*2^1434162-1 is not prime. Res64: 108D6D427ECC8538 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:49:18] 947*2^1434162-1 is not prime. Res64: EC6F75D133B3F1EF Time : 0.0 sec. user=mdettweiler [2016-07-02 20:57:39] 751*2^1434163-1 is not prime. Res64: 82576D88789E2D04 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:57:39] 873*2^1434163-1 is not prime. Res64: 4C98D57C63B3397E Time : 0.0 sec. user=mdettweiler [2016-07-02 20:57:46] 889*2^1434163-1 is not prime. Res64: 584E66331BABA37F Time : 0.0 sec. user=mdettweiler [2016-07-02 20:57:53] 951*2^1434163-1 is not prime. Res64: DD27A0F363303F39 Time : 0.0 sec. user=mdettweiler [2016-07-02 20:58:00] 743*2^1434164-1 is not prime. Res64: A8C3F5DDEFDA0B7A Time : 0.0 sec. user=mdettweiler [2016-07-02 21:28:46] 767*2^1434164-1 is not prime. Res64: 648708C369CA3E75 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:33:05] 789*2^1434165-1 is not prime. Res64: D5AA310FC894004A Time : 0.0 sec. user=mdettweiler [2016-07-02 21:33:11] 871*2^1434165-1 is not prime. Res64: DD4A979E8B5AE670 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:33:17] 975*2^1434165-1 is not prime. Res64: 2BEAED7DE76E1CCD Time : 0.0 sec. user=mdettweiler [2016-07-02 21:33:23] 999*2^1434165-1 is not prime. Res64: 7D8C1320B11348C3 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:33:29] 671*2^1434166-1 is not prime. Res64: A4B0C422C4C96FBD Time : 0.0 sec. user=mdettweiler [2016-07-02 21:34:28] 677*2^1434166-1 is not prime. Res64: CC28CB37F9AB9257 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:34:33] 705*2^1434166-1 is not prime. Res64: BA3871A5D1A58FA7 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:34:37] 755*2^1434166-1 is not prime. Res64: 906BCFCE0208623C Time : 0.0 sec. user=mdettweiler [2016-07-02 21:34:41] 867*2^1434166-1 is not prime. Res64: DA429608634B9782 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:34:45] 947*2^1434166-1 is not prime. Res64: 107FEF0DC054728A Time : 0.0 sec. user=mdettweiler [2016-07-02 21:43:28] 965*2^1434166-1 is not prime. Res64: C665F532209373F0 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:43:35] 615*2^1434167-1 is not prime. Res64: CE97F2468535173F Time : 0.0 sec. user=mdettweiler [2016-07-02 21:43:41] 645*2^1434167-1 is not prime. Res64: 08B4446A1EAB7A2D Time : 0.0 sec. user=mdettweiler [2016-07-02 21:43:48] 661*2^1434167-1 is not prime. Res64: A8A0C673463EF149 Time : 0.0 sec. user=mdettweiler [2016-07-02 21:43:54] 775*2^1434167-1 is not prime. Res64: C902D8DFB8AEA32F Time : 0.0 sec. user=mdettweiler [2016-07-02 22:19:41] 831*2^1434167-1 is not prime. Res64: EBDFC3E24A57E98F Time : 0.0 sec. user=mdettweiler [2016-07-02 22:19:41] 841*2^1434167-1 is not prime. Res64: 243CFA1833F0B15B Time : 0.0 sec. user=mdettweiler [2016-07-02 22:19:47] 949*2^1434167-1 is not prime. Res64: 5586BC59655A0C4B Time : 0.0 sec. user=mdettweiler [2016-07-02 22:19:53] 615*2^1434168-1 is not prime. Res64: 85F95223FC77BBE5 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:19:59] 737*2^1434168-1 is not prime. Res64: A13BD8FC435CAA18 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:20:33] 705*2^1434169-1 is not prime. Res64: 772BE684488547E9 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:20:39] 831*2^1434169-1 is not prime. Res64: D73A0DB520FB7D26 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:20:44] 861*2^1434169-1 is not prime. Res64: 81E4DAF2C4E42414 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:20:48] 641*2^1434170-1 is not prime. Res64: F61037D41C2B6B77 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:20:53] 645*2^1434170-1 is not prime. Res64: 1C65B8A208C76CEA Time : 0.0 sec. user=mdettweiler [2016-07-02 22:30:00] 773*2^1434170-1 is not prime. Res64: 51EC4A2D996CEE33 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:30:00] 783*2^1434170-1 is not prime. Res64: EF0F20162378699B Time : 0.0 sec. user=mdettweiler [2016-07-02 22:30:01] 861*2^1434170-1 is not prime. Res64: 2BFF1E1ECAE19DE6 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:30:01] 927*2^1434170-1 is not prime. Res64: A85B80E253534223 Time : 0.0 sec. user=mdettweiler [2016-07-02 22:30:01] 793*2^1434171-1 is not prime. Res64: B9F87B5FECC02C23 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:07] 945*2^1434171-1 is not prime. Res64: 4E9B93FC587E34A6 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:07] 969*2^1434171-1 is not prime. Res64: FAE0AB4AE141D251 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:07] 973*2^1434171-1 is not prime. Res64: 92CE04C70ED0961D Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:08] 999*2^1434171-1 is not prime. Res64: 31033098DE479210 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:08] 615*2^1434172-1 is not prime. Res64: F98D3BC14343C204 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:44] 665*2^1434172-1 is not prime. Res64: 44E15379FA07091E Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:44] 699*2^1434172-1 is not prime. Res64: C239E5B3EC8B1663 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:45] 705*2^1434172-1 is not prime. Res64: 83155AD59CA23CAC Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:45] 869*2^1434172-1 is not prime. Res64: B7B14D4E196EE8E2 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:06:46] 875*2^1434172-1 is not prime. Res64: D2DBA64FB5DE33CB Time : 0.0 sec. user=mdettweiler [2016-07-02 23:15:53] 887*2^1434172-1 is not prime. Res64: 7EEEAB2A3B36E346 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:15:53] 903*2^1434172-1 is not prime. Res64: 7DF63A78F2ABAD19 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:15:54] 929*2^1434172-1 is not prime. Res64: 0FA466BBA2943F05 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:15:54] 669*2^1434173-1 is not prime. Res64: BA890B892BA5F382 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:15:55] 699*2^1434173-1 is not prime. Res64: E8F3C4464B7DB98B Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:24] 741*2^1434173-1 is not prime. Res64: 7E86DEDCA6BD04C7 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:24] 937*2^1434173-1 is not prime. Res64: E9FD93C7A1700514 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:28] 771*2^1434173-1 is not prime. Res64: 3D2EE121C1A1FFDF Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:28] 939*2^1434173-1 is not prime. Res64: 49FA7288778D342E Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:32] 787*2^1434173-1 is not prime. Res64: 38BFBF8ACCCE6C1D Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:33] 969*2^1434173-1 is not prime. Res64: F8FEB0E0D5512658 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:37] 829*2^1434173-1 is not prime. Res64: 31B2CB20AC974F0E Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:37] 641*2^1434174-1 is not prime. Res64: 3E1BE2EF83E6F1C8 Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:41] 837*2^1434173-1 is not prime. Res64: AE52F52D6647BB9F Time : 0.0 sec. user=mdettweiler [2016-07-02 23:52:41] 671*2^1434174-1 is not prime. Res64: 1E7ACFABBA42DF51 Time : 0.0 sec.