user=mdettweiler [2016-03-12 00:10:38] 909*2^1422780-1 is not prime. Res64: B60D11855C5FBF86 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:10:38] 855*2^1422781-1 is not prime. Res64: EAF0DF136D4C9677 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:10:38] 975*2^1422780-1 is not prime. Res64: B83C46E30BE9FECF Time : 0.0 sec. user=mdettweiler [2016-03-12 00:10:38] 871*2^1422781-1 is not prime. Res64: 877868DC1CDF102E Time : 0.0 sec. user=mdettweiler [2016-03-12 00:10:38] 757*2^1422781-1 is not prime. Res64: C7D4DB3CCB00FECA Time : 0.0 sec. user=mdettweiler [2016-03-12 00:10:39] 789*2^1422781-1 is not prime. Res64: 3A11628D8233934B Time : 0.0 sec. user=mdettweiler [2016-03-12 00:28:13] 741*2^1422783-1 is not prime. Res64: AF0E2D5AC0FDEA69 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:28:13] 945*2^1422782-1 is not prime. Res64: 99AD1A8A0FC227CC Time : 0.0 sec. user=mdettweiler [2016-03-12 00:28:13] 819*2^1422783-1 is not prime. Res64: C93D7955F7D9697B Time : 0.0 sec. user=mdettweiler [2016-03-12 00:28:13] 705*2^1422783-1 is not prime. Res64: 93804D52EA802BC6 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:28:13] 713*2^1422782-1 is not prime. Res64: E708FEBDFBD483F8 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:28:14] 941*2^1422782-1 is not prime. Res64: 60601D0BA6C82F23 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:45:46] 859*2^1422783-1 is not prime. Res64: 8B79F5FADB258B41 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:45:47] 605*2^1422784-1 is not prime. Res64: FB9B9AF39C9A4EAF Time : 0.0 sec. user=mdettweiler [2016-03-12 00:45:47] 743*2^1422784-1 is not prime. Res64: B57E7FBE8D7523E5 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:45:48] 843*2^1422784-1 is not prime. Res64: EB63E5543221721D Time : 0.0 sec. user=mdettweiler [2016-03-12 00:45:50] 903*2^1422784-1 is not prime. Res64: EB53B67F67CCCD33 Time : 0.0 sec. user=mdettweiler [2016-03-12 00:45:50] 983*2^1422784-1 is not prime. Res64: A35D9AF347CDCC6E Time : 0.0 sec. user=mdettweiler [2016-03-12 01:03:23] 675*2^1422785-1 is not prime. Res64: 33B96DBC9C8791F5 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:03:25] 735*2^1422785-1 is not prime. Res64: FE19208038932A90 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:03:26] 811*2^1422785-1 is not prime. Res64: AF2F0BBE9E45A8A4 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:03:27] 683*2^1422786-1 is not prime. Res64: 27A1D34901DAFBAF Time : 0.0 sec. user=mdettweiler [2016-03-12 01:03:28] 981*2^1422785-1 is not prime. Res64: CBE1C126CE157521 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:03:28] 705*2^1422786-1 is not prime. Res64: B8BDAD2926223C30 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:21:05] 723*2^1422786-1 is not prime. Res64: 9B16084E23903721 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:21:05] 815*2^1422786-1 is not prime. Res64: FC94EBDD42A978D5 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:21:06] 875*2^1422786-1 is not prime. Res64: 99F22FD4D392CB4A Time : 0.0 sec. user=mdettweiler [2016-03-12 01:21:07] 893*2^1422786-1 is not prime. Res64: ED70730D82DF6357 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:21:07] 923*2^1422786-1 is not prime. Res64: F3316C4041AE1962 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:21:07] 603*2^1422787-1 is not prime. Res64: CD16E5274CD161E3 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:38:36] 675*2^1422787-1 is not prime. Res64: 352B40D3A075400E Time : 0.0 sec. user=mdettweiler [2016-03-12 01:38:36] 685*2^1422787-1 is not prime. Res64: CE0B9F4151639443 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:38:38] 861*2^1422787-1 is not prime. Res64: EC6E9E43574E0A08 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:38:38] 703*2^1422787-1 is not prime. Res64: EE5579DA092EC21B Time : 0.0 sec. user=mdettweiler [2016-03-12 01:38:39] 889*2^1422787-1 is not prime. Res64: BEBC4A3898887F0B Time : 0.0 sec. user=mdettweiler [2016-03-12 01:38:39] 775*2^1422787-1 is not prime. Res64: 22D5CED2CE42F143 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:56:10] 985*2^1422787-1 is not prime. Res64: 2AA2AA7A327DEF5D Time : 0.0 sec. user=mdettweiler [2016-03-12 01:56:11] 633*2^1422788-1 is not prime. Res64: F752C56AEBBD7283 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:56:12] 753*2^1422788-1 is not prime. Res64: CFDCC4804CA7CB9B Time : 0.0 sec. user=mdettweiler [2016-03-12 01:56:12] 837*2^1422788-1 is not prime. Res64: 15AC42DC002CCF9F Time : 0.0 sec. user=mdettweiler [2016-03-12 01:56:14] 839*2^1422788-1 is not prime. Res64: C23992893B3E9325 Time : 0.0 sec. user=mdettweiler [2016-03-12 01:56:15] 843*2^1422788-1 is not prime. Res64: 21C185C44D067F0E Time : 0.0 sec. user=mdettweiler [2016-03-12 02:13:47] 927*2^1422788-1 is not prime. Res64: BC5DBEE8DB763B4B Time : 0.0 sec. user=mdettweiler [2016-03-12 02:13:47] 999*2^1422788-1 is not prime. Res64: D1497F42104D686E Time : 0.0 sec. user=mdettweiler [2016-03-12 02:13:48] 953*2^1422788-1 is not prime. Res64: B9D2DBD3F603E019 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:13:48] 625*2^1422789-1 is not prime. Res64: 84F8FCE3EF8B7A1D Time : 0.0 sec. user=mdettweiler [2016-03-12 02:13:49] 655*2^1422789-1 is not prime. Res64: 2E77044E7A4B7DFA Time : 0.0 sec. user=mdettweiler [2016-03-12 02:13:50] 657*2^1422789-1 is not prime. Res64: 8F57EABD6542D17D Time : 0.0 sec. user=mdettweiler [2016-03-12 02:31:29] 667*2^1422789-1 is not prime. Res64: E63FDE556C737188 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:31:29] 741*2^1422789-1 is not prime. Res64: F59AE1DA9EB09BF8 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:31:31] 709*2^1422789-1 is not prime. Res64: 56511D1351C0874E Time : 0.0 sec. user=mdettweiler [2016-03-12 02:31:31] 747*2^1422789-1 is not prime. Res64: 9EE8FBC59C916016 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:31:35] 837*2^1422789-1 is not prime. Res64: 949C56B6625F5C83 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:31:36] 867*2^1422789-1 is not prime. Res64: 86818107CBB62612 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:49:39] 987*2^1422789-1 is not prime. Res64: B4ED88030775E757 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:49:40] 717*2^1422790-1 is not prime. Res64: FAB6AD389CF684E6 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:49:42] 915*2^1422790-1 is not prime. Res64: 80B41237ACB962E8 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:49:42] 747*2^1422790-1 is not prime. Res64: 4CEAFF1EBB64170C Time : 0.0 sec. user=mdettweiler [2016-03-12 02:49:43] 941*2^1422790-1 is not prime. Res64: 932FDD7346D5B9D3 Time : 0.0 sec. user=mdettweiler [2016-03-12 02:49:43] 891*2^1422790-1 is not prime. Res64: A05B5A754D396DAC Time : 0.0 sec. user=mdettweiler [2016-03-12 03:07:28] 921*2^1422791-1 is not prime. Res64: 1816550EDC421A42 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:07:29] 703*2^1422791-1 is not prime. Res64: 80D9D14B26A25A6B Time : 0.0 sec. user=mdettweiler [2016-03-12 03:07:29] 945*2^1422791-1 is not prime. Res64: F9EB2728BD971767 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:07:29] 859*2^1422791-1 is not prime. Res64: D9EF2D8CD8543ACE Time : 0.0 sec. user=mdettweiler [2016-03-12 03:07:37] 957*2^1422790-1 is not prime. Res64: B9B0A804D4E4AC22 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:07:38] 693*2^1422791-1 is not prime. Res64: 7557D926B614136C Time : 0.0 sec. user=mdettweiler [2016-03-12 03:25:12] 653*2^1422792-1 is not prime. Res64: 40FA593142A3BA69 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:25:15] 973*2^1422791-1 is not prime. Res64: 4F388E4AB2345450 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:25:19] 999*2^1422791-1 is not prime. Res64: 6719C240AA470E83 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:25:21] 693*2^1422792-1 is not prime. Res64: D57C5425C1365E93 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:25:23] 765*2^1422792-1 is not prime. Res64: FAA961C1956019C9 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:25:26] 825*2^1422792-1 is not prime. Res64: 1013ABECE80B33F5 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:43:10] 917*2^1422792-1 is not prime. Res64: 5383E08885F8FBAB Time : 0.0 sec. user=mdettweiler [2016-03-12 03:43:11] 687*2^1422793-1 is not prime. Res64: E6CC96A7F3D65926 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:43:12] 957*2^1422792-1 is not prime. Res64: 113DE72733EA2792 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:43:13] 745*2^1422793-1 is not prime. Res64: 5628FDA28B36A2B0 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:43:13] 741*2^1422793-1 is not prime. Res64: 44A8867531952568 Time : 0.0 sec. user=mdettweiler [2016-03-12 03:43:14] 775*2^1422793-1 is not prime. Res64: BBB60B55894A351F Time : 0.0 sec. user=mdettweiler [2016-03-12 04:01:16] 687*2^1422794-1 is not prime. Res64: 71CF0B8336C28297 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:01:16] 617*2^1422794-1 is not prime. Res64: A56C06C53388C054 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:01:17] 711*2^1422794-1 is not prime. Res64: 0697D6E3B36F1E6C Time : 0.0 sec. user=mdettweiler [2016-03-12 04:01:18] 707*2^1422794-1 is not prime. Res64: E2D47621F03D02FD Time : 0.0 sec. user=mdettweiler [2016-03-12 04:01:19] 683*2^1422794-1 is not prime. Res64: D51A3921CAD46001 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:01:19] 837*2^1422794-1 is not prime. Res64: B0C11FEB5E916F21 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:19:16] 983*2^1422794-1 is not prime. Res64: 8B6B8307F1B939CB Time : 0.0 sec. user=mdettweiler [2016-03-12 04:19:17] 735*2^1422795-1 is not prime. Res64: 92CBFB4053FB3B8E Time : 0.0 sec. user=mdettweiler [2016-03-12 04:19:17] 781*2^1422795-1 is not prime. Res64: 6DD4A0C23CAD11D6 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:19:18] 751*2^1422795-1 is not prime. Res64: AD4670E14D200128 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:19:19] 843*2^1422796-1 is not prime. Res64: DFEBD9B391557BF3 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:19:21] 869*2^1422796-1 is not prime. Res64: B23372ABE793EA93 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:37:10] 905*2^1422796-1 is not prime. Res64: 5A5B86F13C395AEE Time : 0.0 sec. user=mdettweiler [2016-03-12 04:37:10] 983*2^1422796-1 is not prime. Res64: 4AD9C536B728A8C3 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:37:10] 923*2^1422796-1 is not prime. Res64: 5E309500695C0006 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:37:11] 987*2^1422796-1 is not prime. Res64: BCE304D53B68D075 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:37:14] 939*2^1422796-1 is not prime. Res64: B77B6F0E6EE8842B Time : 0.0 sec. user=mdettweiler [2016-03-12 04:37:15] 965*2^1422796-1 is not prime. Res64: 6FE6493AE413C088 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:54:52] 717*2^1422797-1 is not prime. Res64: 196826682CB5BEF5 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:54:53] 741*2^1422797-1 is not prime. Res64: D84AEEE991B59D91 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:54:56] 879*2^1422797-1 is not prime. Res64: D194A3ADB9F57BBB Time : 0.0 sec. user=mdettweiler [2016-03-12 04:54:57] 955*2^1422797-1 is not prime. Res64: A87AB6821CAAB6AC Time : 0.0 sec. user=mdettweiler [2016-03-12 04:54:58] 641*2^1422798-1 is not prime. Res64: 6C136D41855D5712 Time : 0.0 sec. user=mdettweiler [2016-03-12 04:54:59] 707*2^1422798-1 is not prime. Res64: EFB9DF277012E89F Time : 0.0 sec. user=mdettweiler [2016-03-12 05:12:35] 921*2^1422798-1 is not prime. Res64: 0BA4EA0716A417A0 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:12:36] 927*2^1422798-1 is not prime. Res64: E4A7A0C18DDAC5CD Time : 0.0 sec. user=mdettweiler [2016-03-12 05:12:36] 625*2^1422799-1 is not prime. Res64: 114E2BF85678FEF5 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:12:37] 723*2^1422799-1 is not prime. Res64: BB5D0923F66803CB Time : 0.0 sec. user=mdettweiler [2016-03-12 05:12:41] 951*2^1422798-1 is not prime. Res64: 0DE809386D3B5381 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:12:43] 971*2^1422798-1 is not prime. Res64: 7E6C1A11B9EF477F Time : 0.0 sec. user=mdettweiler [2016-03-12 05:30:17] 843*2^1422799-1 is not prime. Res64: AAC10B4411A86944 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:30:19] 925*2^1422799-1 is not prime. Res64: D0FBD55C7F737C81 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:30:20] 759*2^1422799-1 is not prime. Res64: C8C7D13AC07A8152 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:30:21] 769*2^1422799-1 is not prime. Res64: ABBE2E0A9ACC3B22 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:30:25] 635*2^1422800-1 is not prime. Res64: C6E9087D1CF5C0A9 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:30:26] 665*2^1422800-1 is not prime. Res64: 36A2F368959E4B85 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:48:01] 743*2^1422800-1 is not prime. Res64: E22B680EAF9174C4 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:48:02] 839*2^1422800-1 is not prime. Res64: 808908799ECCF2D4 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:48:02] 669*2^1422800-1 is not prime. Res64: FC325F504F0035A4 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:48:03] 677*2^1422800-1 is not prime. Res64: A7D84F143AF673F0 Time : 0.0 sec. user=mdettweiler [2016-03-12 05:48:08] 935*2^1422800-1 is not prime. Res64: CF87EBA66CCC363B Time : 0.0 sec. user=mdettweiler [2016-03-12 05:48:08] 983*2^1422800-1 is not prime. Res64: 669961E91F660AFF Time : 0.0 sec. user=mdettweiler [2016-03-12 06:05:47] 625*2^1422801-1 is not prime. Res64: C2E9EA5CC81FFEE3 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:05:48] 741*2^1422801-1 is not prime. Res64: CE844C3287E9CD7B Time : 0.0 sec. user=mdettweiler [2016-03-12 06:05:49] 637*2^1422801-1 is not prime. Res64: D64FF32FEB967DC0 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:05:50] 795*2^1422801-1 is not prime. Res64: 5F2B601F659663AD Time : 0.0 sec. user=mdettweiler [2016-03-12 06:05:52] 681*2^1422801-1 is not prime. Res64: 56CF9D04DE73D338 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:05:56] 685*2^1422801-1 is not prime. Res64: D70C1BC60A86E601 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:23:56] 713*2^1422802-1 is not prime. Res64: DE7DD1E28D05DC68 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:23:57] 735*2^1422802-1 is not prime. Res64: E85ACA3C1BDD7759 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:23:58] 895*2^1422801-1 is not prime. Res64: D642D421A44FE02B Time : 0.0 sec. user=mdettweiler [2016-03-12 06:23:58] 937*2^1422801-1 is not prime. Res64: 9D7CFDE7E30D8227 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:23:59] 909*2^1422801-1 is not prime. Res64: C9BAD75552B0D239 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:23:59] 999*2^1422801-1 is not prime. Res64: A1A9975BADDBEBC5 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:41:38] 777*2^1422802-1 is not prime. Res64: 65C8B60BBD189E67 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:41:39] 843*2^1422802-1 is not prime. Res64: 25E71F0E6DF04733 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:41:40] 805*2^1422803-1 is not prime. Res64: 7C0F20DF81870765 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:41:41] 829*2^1422803-1 is not prime. Res64: 8C41A302F0F29F96 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:41:41] 885*2^1422802-1 is not prime. Res64: 93AF0531168EF10D Time : 0.0 sec. user=mdettweiler [2016-03-12 06:41:42] 987*2^1422802-1 is not prime. Res64: 8E1BBFAEAC7F86C3 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:59:22] 885*2^1422803-1 is not prime. Res64: 47A364646FF6AB4B Time : 0.0 sec. user=mdettweiler [2016-03-12 06:59:22] 693*2^1422804-1 is not prime. Res64: 84D628A27D6D3FAB Time : 0.0 sec. user=mdettweiler [2016-03-12 06:59:23] 903*2^1422804-1 is not prime. Res64: E187C1C8A75CB795 Time : 0.0 sec. user=mdettweiler [2016-03-12 06:59:23] 875*2^1422804-1 is not prime. Res64: F4620E36EB7A27EB Time : 0.0 sec. user=mdettweiler [2016-03-12 06:59:23] 921*2^1422803-1 is not prime. Res64: 954FDD4F06CC191E Time : 0.0 sec. user=mdettweiler [2016-03-12 06:59:24] 661*2^1422805-1 is not prime. Res64: B37800F642DFE4E6 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:17:04] 741*2^1422806-1 is not prime. Res64: 50B71F0575F1EB3B Time : 0.0 sec. user=mdettweiler [2016-03-12 07:17:05] 755*2^1422806-1 is not prime. Res64: 111560D3F3C83317 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:17:07] 885*2^1422805-1 is not prime. Res64: 119B9A618FC4C1B5 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:17:08] 775*2^1422805-1 is not prime. Res64: CEBF7F2AE9710D67 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:17:09] 975*2^1422805-1 is not prime. Res64: 903D7B43D4D29F15 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:17:09] 859*2^1422805-1 is not prime. Res64: 8F2297921E372426 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:35:06] 917*2^1422806-1 is not prime. Res64: 2DAF23F59FCB97C6 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:35:07] 941*2^1422806-1 is not prime. Res64: 06727FF71CA8E374 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:35:12] 643*2^1422807-1 is not prime. Res64: F71CB78F8422BE78 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:35:13] 649*2^1422807-1 is not prime. Res64: 938C4688E86BF237 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:36:15] 827*2^1422806-1 is not prime. Res64: CE9ABB25074FE3B1 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:36:16] 873*2^1422806-1 is not prime. Res64: 6EC3D4CCB7496E60 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:52:53] 703*2^1422807-1 is not prime. Res64: 4A832277C56D9942 Time : 0.0 sec. user=mdettweiler [2016-03-12 07:52:54] 751*2^1422807-1 is not prime. Res64: BFF566E16C7A548A Time : 0.0 sec. user=mdettweiler [2016-03-12 07:52:54] 871*2^1422807-1 is not prime. Res64: 8F2FB583B257257A Time : 0.0 sec. user=mdettweiler [2016-03-12 07:52:55] 895*2^1422807-1 is not prime. Res64: C9636CCF667509AF Time : 0.0 sec. user=mdettweiler [2016-03-12 07:53:59] 985*2^1422807-1 is not prime. Res64: 7CD1FC38E8860D0F Time : 0.0 sec. user=mdettweiler [2016-03-12 07:54:00] 605*2^1422808-1 is not prime. Res64: 9F1E16A3BAFDF1D4 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:10:37] 663*2^1422808-1 is not prime. Res64: 50D332A14E8F25D2 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:10:37] 687*2^1422808-1 is not prime. Res64: 0FDC864E3DD7B3BF Time : 0.0 sec. user=mdettweiler [2016-03-12 08:10:42] 797*2^1422808-1 is not prime. Res64: 2157B85175F49467 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:10:43] 827*2^1422808-1 is not prime. Res64: 315C233D9018C139 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:11:43] 863*2^1422808-1 is not prime. Res64: 6EF8BFB95AB96836 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:11:44] 869*2^1422808-1 is not prime. Res64: 67C13713DB420169 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:28:30] 875*2^1422808-1 is not prime. Res64: A6ED0E78895F2334 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:28:31] 905*2^1422808-1 is not prime. Res64: 66CCFA30509762DB Time : 0.0 sec. user=mdettweiler [2016-03-12 08:28:38] 959*2^1422808-1 is not prime. Res64: F0D37976E4189982 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:28:39] 619*2^1422809-1 is not prime. Res64: 2051EF594E0396C4 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:29:30] 675*2^1422809-1 is not prime. Res64: 0868E408C3E1C52F Time : 0.0 sec. user=mdettweiler [2016-03-12 08:29:32] 691*2^1422809-1 is not prime. Res64: 7514C1E15B51C4E3 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:46:17] 745*2^1422809-1 is not prime. Res64: 84B8F745D22FBD75 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:46:19] 769*2^1422809-1 is not prime. Res64: 1B7BE8B02DA54C60 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:46:32] 789*2^1422809-1 is not prime. Res64: E5018022B754E014 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:46:33] 799*2^1422809-1 is not prime. Res64: 83002DEB13606AE1 Time : 0.0 sec. user=mdettweiler [2016-03-12 08:47:14] 847*2^1422809-1 is not prime. Res64: 86F191C7C98FD2CB Time : 0.0 sec. user=mdettweiler [2016-03-12 08:47:15] 861*2^1422809-1 is not prime. Res64: C757EDC9C62242BA Time : 0.0 sec. user=mdettweiler [2016-03-12 09:04:03] 865*2^1422809-1 is not prime. Res64: 50030796A6E273BF Time : 0.0 sec. user=mdettweiler [2016-03-12 09:04:05] 939*2^1422809-1 is not prime. Res64: 68757D4DD37C4101 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:04:13] 949*2^1422809-1 is not prime. Res64: D2A8B8FBE0B471E3 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:04:15] 985*2^1422809-1 is not prime. Res64: 44B41BE35FA21DB4 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:04:54] 677*2^1422810-1 is not prime. Res64: B8E4512383BAFB6F Time : 0.0 sec. user=mdettweiler [2016-03-12 09:04:56] 867*2^1422810-1 is not prime. Res64: 8DDCF1E3CD0E760B Time : 0.0 sec. user=mdettweiler [2016-03-12 09:21:56] 601*2^1422811-1 is not prime. Res64: EAD004698C826C7C Time : 0.0 sec. user=mdettweiler [2016-03-12 09:21:57] 679*2^1422811-1 is not prime. Res64: 396D1E54A47B80DA Time : 0.0 sec. user=mdettweiler [2016-03-12 09:22:01] 709*2^1422811-1 is not prime. Res64: E3701F80583AD380 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:22:02] 805*2^1422811-1 is not prime. Res64: 8068EB8A3239A202 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:22:39] 819*2^1422811-1 is not prime. Res64: CCD293CF58D12722 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:22:40] 849*2^1422811-1 is not prime. Res64: D8F5710F57D877E0 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:39:42] 861*2^1422811-1 is not prime. Res64: C681B04C26A4F4E5 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:39:43] 885*2^1422811-1 is not prime. Res64: 427BF64E4F8BA40B Time : 0.0 sec. user=mdettweiler [2016-03-12 09:39:45] 895*2^1422811-1 is not prime. Res64: 80D5A59CCC10140A Time : 0.0 sec. user=mdettweiler [2016-03-12 09:39:46] 909*2^1422811-1 is not prime. Res64: FC8F137A1714871A Time : 0.0 sec. user=mdettweiler [2016-03-12 09:40:19] 951*2^1422811-1 is not prime. Res64: DAA08C4274171703 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:40:19] 647*2^1422812-1 is not prime. Res64: 21AF89FD45C29252 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:57:27] 669*2^1422812-1 is not prime. Res64: B74DD7163D506A5F Time : 0.0 sec. user=mdettweiler [2016-03-12 09:57:28] 843*2^1422812-1 is not prime. Res64: 754DDE2A908A2287 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:57:32] 977*2^1422812-1 is not prime. Res64: 5730C829EE4D058E Time : 0.0 sec. user=mdettweiler [2016-03-12 09:57:33] 627*2^1422813-1 is not prime. Res64: 4CCD7EC8904F9EE4 Time : 0.0 sec. user=mdettweiler [2016-03-12 09:57:57] 657*2^1422813-1 is not prime. Res64: DEDB62F336E95C1C Time : 0.0 sec. user=mdettweiler [2016-03-12 09:57:58] 735*2^1422813-1 is not prime. Res64: A074D464ACDDAABF Time : 0.0 sec. user=mdettweiler [2016-03-12 10:15:09] 787*2^1422813-1 is not prime. Res64: 0514F3FF7223FEF6 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:15:10] 889*2^1422813-1 is not prime. Res64: E0BB9578C786085C Time : 0.0 sec. user=mdettweiler [2016-03-12 10:15:10] 741*2^1422813-1 is not prime. Res64: D107A578933DF428 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:15:11] 751*2^1422813-1 is not prime. Res64: 0F2460ABFFD691D1 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:15:36] 681*2^1422814-1 is not prime. Res64: F042F014B3CA739D Time : 0.0 sec. user=mdettweiler [2016-03-12 10:15:37] 687*2^1422814-1 is not prime. Res64: B36C38793665138C Time : 0.0 sec. user=mdettweiler [2016-03-12 10:32:46] 609*2^1422815-1 is not prime. Res64: D324E1D9A03ADFD1 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:32:47] 651*2^1422815-1 is not prime. Res64: 047AEB9536F76B38 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:32:58] 827*2^1422814-1 is not prime. Res64: A79DFD0DAF6F7C0E Time : 0.0 sec. user=mdettweiler [2016-03-12 10:32:58] 603*2^1422815-1 is not prime. Res64: 290AFA8C63E1E2E4 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:33:09] 705*2^1422815-1 is not prime. Res64: A43FA12552E2BA70 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:33:10] 775*2^1422815-1 is not prime. Res64: 09467875C2F8DB07 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:50:20] 831*2^1422815-1 is not prime. Res64: 57F252897EF985A7 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:50:20] 859*2^1422815-1 is not prime. Res64: CA79ED082141BBC8 Time : 0.0 sec. user=mdettweiler [2016-03-12 10:50:31] 609*2^1422816-1 is not prime. Res64: 286C2C4E65F4B87B Time : 0.0 sec. user=mdettweiler [2016-03-12 10:50:31] 693*2^1422816-1 is not prime. Res64: 711334EF22FDC51F Time : 0.0 sec. user=mdettweiler [2016-03-12 10:50:48] 707*2^1422816-1 is not prime. Res64: B72040F8C4EB951E Time : 0.0 sec. user=mdettweiler [2016-03-12 10:50:48] 719*2^1422816-1 is not prime. Res64: 126E7CBAF2A901DB Time : 0.0 sec. user=mdettweiler [2016-03-12 11:07:53] 825*2^1422816-1 is not prime. Res64: 4682329042D1E6F7 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:07:54] 873*2^1422816-1 is not prime. Res64: 6ECD4AE59834A43D Time : 0.0 sec. user=mdettweiler [2016-03-12 11:08:11] 917*2^1422816-1 is not prime. Res64: 32CB7040B1D298BE Time : 0.0 sec. user=mdettweiler [2016-03-12 11:08:11] 615*2^1422817-1 is not prime. Res64: C4C12E35ED8F236B Time : 0.0 sec. user=mdettweiler [2016-03-12 11:08:20] 651*2^1422817-1 is not prime. Res64: 9DBA54F215C2CF19 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:08:21] 945*2^1422817-1 is not prime. Res64: 87316C481A418008 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:25:31] 731*2^1422818-1 is not prime. Res64: 83DE2E46C3C72C3C Time : 0.0 sec. user=mdettweiler [2016-03-12 11:25:31] 747*2^1422818-1 is not prime. Res64: 81AF3596F188A6F7 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:25:48] 875*2^1422818-1 is not prime. Res64: 56FF3D03B4883213 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:25:49] 945*2^1422818-1 is not prime. Res64: D017CE91109FF4FD Time : 0.0 sec. user=mdettweiler [2016-03-12 11:26:02] 613*2^1422819-1 is not prime. Res64: 692CBAC5AEF7DEAE Time : 0.0 sec. user=mdettweiler [2016-03-12 11:26:02] 625*2^1422819-1 is not prime. Res64: F5DA3FAC78DA112B Time : 0.0 sec. user=mdettweiler [2016-03-12 11:43:13] 691*2^1422819-1 is not prime. Res64: 75C998008DD2589E Time : 0.0 sec. user=mdettweiler [2016-03-12 11:43:13] 741*2^1422819-1 is not prime. Res64: 252B6539706BDC02 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:43:31] 745*2^1422819-1 is not prime. Res64: A143CE99238CCA67 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:43:31] 795*2^1422819-1 is not prime. Res64: 4713D4E6E9F80E62 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:43:42] 801*2^1422819-1 is not prime. Res64: 17294E10F77F94C8 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:43:42] 975*2^1422819-1 is not prime. Res64: D3D140B2AE427E9D Time : 0.0 sec. user=mdettweiler [2016-03-12 11:53:33] 695*2^1422820-1 is not prime. Res64: 9ABA66F6589C61D8 Time : 0.0 sec. user=mdettweiler [2016-03-12 11:53:34] 699*2^1422820-1 is not prime. Res64: 8DDA33F260B497D5 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:01:21] 759*2^1422820-1 is not prime. Res64: 37DC9CB9768371AF Time : 0.0 sec. user=mdettweiler [2016-03-12 12:01:21] 843*2^1422820-1 is not prime. Res64: 2187CBEB8C62241F Time : 0.0 sec. user=mdettweiler [2016-03-12 12:01:32] 897*2^1422820-1 is not prime. Res64: DA3713F94002FDCC Time : 0.0 sec. user=mdettweiler [2016-03-12 12:01:33] 909*2^1422820-1 is not prime. Res64: 196A7F388BEFE016 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:01:47] 619*2^1422821-1 is not prime. Res64: DF63BD266DA533E0 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:01:47] 631*2^1422821-1 is not prime. Res64: CC1E0E0F2C187201 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:11:30] 645*2^1422821-1 is not prime. Res64: 8C43B1426C4DEC84 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:11:30] 805*2^1422821-1 is not prime. Res64: 96C8AF3D56A14580 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:19:23] 889*2^1422821-1 is not prime. Res64: C752F8C649D94EA4 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:19:24] 987*2^1422821-1 is not prime. Res64: 372A060557547DCC Time : 0.0 sec. user=mdettweiler [2016-03-12 12:19:33] 873*2^1422822-1 is not prime. Res64: 25BD8802CE679498 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:19:33] 681*2^1422823-1 is not prime. Res64: 6AF413CDB8F9FCC0 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:19:40] 693*2^1422823-1 is not prime. Res64: A8A6F5507C55C7E0 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:19:41] 741*2^1422823-1 is not prime. Res64: 83C8A2EE0E972CE8 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:29:32] 805*2^1422823-1 is not prime. Res64: 6AE395262B1BF175 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:29:33] 885*2^1422823-1 is not prime. Res64: 11B43E0F74872D23 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:37:19] 943*2^1422823-1 is not prime. Res64: F1A326202F86A80D Time : 0.0 sec. user=mdettweiler [2016-03-12 12:37:19] 993*2^1422823-1 is not prime. Res64: 81F525FAFCF4B7D3 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:37:21] 999*2^1422823-1 is not prime. Res64: 8B475321F94D82AC Time : 0.0 sec. user=mdettweiler [2016-03-12 12:37:22] 609*2^1422824-1 is not prime. Res64: 811BC8C374495EB0 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:37:36] 657*2^1422824-1 is not prime. Res64: 86DC7B3C2ECED4AE Time : 0.0 sec. user=mdettweiler [2016-03-12 12:37:36] 689*2^1422824-1 is not prime. Res64: 3D4DB81985A67EA7 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:47:36] 747*2^1422824-1 is not prime. Res64: 5B8918B1A6CA8FBF Time : 0.0 sec. user=mdettweiler [2016-03-12 12:47:36] 755*2^1422824-1 is not prime. Res64: 63EADC798E811FFF Time : 0.0 sec. user=mdettweiler [2016-03-12 12:55:24] 923*2^1422824-1 is not prime. Res64: 86B7EFDD1036452E Time : 0.0 sec. user=mdettweiler [2016-03-12 12:55:24] 935*2^1422824-1 is not prime. Res64: E0E937DAF93D93AE Time : 0.0 sec. user=mdettweiler [2016-03-12 12:55:26] 957*2^1422824-1 is not prime. Res64: 3F806471D9AD9BBB Time : 0.0 sec. user=mdettweiler [2016-03-12 12:55:26] 625*2^1422825-1 is not prime. Res64: 347E5E861252F29B Time : 0.0 sec. user=mdettweiler [2016-03-12 12:55:28] 705*2^1422825-1 is not prime. Res64: 99E2945E328781E7 Time : 0.0 sec. user=mdettweiler [2016-03-12 12:55:28] 709*2^1422825-1 is not prime. Res64: F1B6FB7C4006DDE1 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:05:42] 765*2^1422825-1 is not prime. Res64: 48E6346C991D6E17 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:05:44] 795*2^1422825-1 is not prime. Res64: A7A59D5545F3CF06 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:13:28] 955*2^1422825-1 is not prime. Res64: A746EAA0157B85F3 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:13:29] 969*2^1422825-1 is not prime. Res64: E91B7C8F380D2B2F Time : 0.0 sec. user=mdettweiler [2016-03-12 13:13:29] 611*2^1422826-1 is not prime. Res64: 23813BBF8F7CD437 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:13:30] 723*2^1422826-1 is not prime. Res64: BB8E9B5C6FCAA148 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:13:31] 831*2^1422825-1 is not prime. Res64: D95068E367B8996A Time : 0.0 sec. user=mdettweiler [2016-03-12 13:13:32] 867*2^1422825-1 is not prime. Res64: A6874DF63377676A Time : 0.0 sec. user=mdettweiler [2016-03-12 13:23:46] 747*2^1422826-1 is not prime. Res64: 680D0C8CA2F49578 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:23:46] 755*2^1422826-1 is not prime. Res64: AB916BD29902ECB6 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:31:39] 813*2^1422826-1 is not prime. Res64: A93A8CC511C9DBB0 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:31:39] 615*2^1422827-1 is not prime. Res64: A2DCC61EDAECD0FA Time : 0.0 sec. user=mdettweiler [2016-03-12 13:31:40] 873*2^1422826-1 is not prime. Res64: F49B26C6872FD2FB Time : 0.0 sec. user=mdettweiler [2016-03-12 13:31:40] 619*2^1422827-1 is not prime. Res64: 7114700B4CDFD375 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:31:44] 649*2^1422827-1 is not prime. Res64: D805AFAD939A5807 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:31:44] 879*2^1422827-1 is not prime. Res64: 5604E57A5FB3C0F0 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:41:59] 605*2^1422828-1 is not prime. Res64: A6A5AF61C172CDD5 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:42:00] 683*2^1422828-1 is not prime. Res64: 4F6AB75BA1D3C007 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:49:36] 773*2^1422828-1 is not prime. Res64: 170C297D7CE86BC3 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:49:36] 803*2^1422828-1 is not prime. Res64: 68C48E52EE622DF6 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:49:39] 843*2^1422828-1 is not prime. Res64: 7162E2F1EDE1469D Time : 0.0 sec. user=mdettweiler [2016-03-12 13:49:40] 909*2^1422828-1 is not prime. Res64: 4C10CC58637E880C Time : 0.0 sec. user=mdettweiler [2016-03-12 13:49:45] 977*2^1422828-1 is not prime. Res64: DC6BB1F5ACB3BC19 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:49:45] 993*2^1422828-1 is not prime. Res64: A21B68F791CE6157 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:59:52] 639*2^1422829-1 is not prime. Res64: AE00BC0AFEC6CBF9 Time : 0.0 sec. user=mdettweiler [2016-03-12 13:59:53] 687*2^1422829-1 is not prime. Res64: 4687D87217BB5BF3 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:07:40] 819*2^1422829-1 is not prime. Res64: 552F2E59012E44A0 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:07:41] 855*2^1422829-1 is not prime. Res64: 23470F24DA5EC1ED Time : 0.0 sec. user=mdettweiler [2016-03-12 14:07:42] 691*2^1422829-1 is not prime. Res64: C4553745E21DDB6D Time : 0.0 sec. user=mdettweiler [2016-03-12 14:07:43] 801*2^1422829-1 is not prime. Res64: 3E618E3668C09B46 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:07:45] 877*2^1422829-1 is not prime. Res64: 88D8BE7CC24BB536 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:07:46] 885*2^1422829-1 is not prime. Res64: 83F50DCEA5304FA3 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:17:47] 919*2^1422829-1 is not prime. Res64: 8599702F341F0E40 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:17:48] 975*2^1422829-1 is not prime. Res64: 729D0B4ED48240A0 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:25:48] 635*2^1422830-1 is not prime. Res64: 54B7DF0EF6FF6DDE Time : 0.0 sec. user=mdettweiler [2016-03-12 14:25:49] 663*2^1422830-1 is not prime. Res64: F9A8A447E28D9C52 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:25:56] 675*2^1422830-1 is not prime. Res64: 951D9AB7B1C9C1F1 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:25:56] 987*2^1422829-1 is not prime. Res64: ADBCA9E6AC921637 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:25:57] 741*2^1422830-1 is not prime. Res64: 2B8466C5E97DD22B Time : 0.0 sec. user=mdettweiler [2016-03-12 14:25:57] 623*2^1422830-1 is not prime. Res64: 0C05C1E6412E034A Time : 0.0 sec. user=mdettweiler [2016-03-12 14:35:50] 743*2^1422830-1 is not prime. Res64: FBC308F1314C91E8 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:35:50] 761*2^1422830-1 is not prime. Res64: A7A2819640C1BE6E Time : 0.0 sec. user=mdettweiler [2016-03-12 14:43:51] 773*2^1422830-1 is not prime. Res64: 79E27CE8A89A3DEC Time : 0.0 sec. user=mdettweiler [2016-03-12 14:43:51] 893*2^1422830-1 is not prime. Res64: 8D528E38F3DA647B Time : 0.0 sec. user=mdettweiler [2016-03-12 14:44:01] 691*2^1422831-1 is not prime. Res64: 441015218A80413D Time : 0.0 sec. user=mdettweiler [2016-03-12 14:44:01] 741*2^1422831-1 is not prime. Res64: 46CBB6E73DE7A5A2 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:44:05] 927*2^1422830-1 is not prime. Res64: 89439EA57020218D Time : 0.0 sec. user=mdettweiler [2016-03-12 14:44:05] 649*2^1422831-1 is not prime. Res64: 55573996C19F69B7 Time : 0.0 sec. user=mdettweiler [2016-03-12 14:53:55] 763*2^1422831-1 is not prime. Res64: A043487875FC4B2D Time : 0.0 sec. user=mdettweiler [2016-03-12 14:53:55] 781*2^1422831-1 is not prime. Res64: B3C5B3C855D1E864 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:01:49] 885*2^1422831-1 is not prime. Res64: 1DA528E7808A3141 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:01:50] 623*2^1422832-1 is not prime. Res64: DE4F051F1C40307B Time : 0.0 sec. user=mdettweiler [2016-03-12 15:02:00] 635*2^1422832-1 is not prime. Res64: A0B47354F0253CCB Time : 0.0 sec. user=mdettweiler [2016-03-12 15:02:00] 699*2^1422832-1 is not prime. Res64: 357E3F496587962C Time : 0.0 sec. user=mdettweiler [2016-03-12 15:02:09] 705*2^1422832-1 is not prime. Res64: 216FF2FA2814CEA8 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:02:10] 797*2^1422832-1 is not prime. Res64: 3AE5B1D734F221DB Time : 0.0 sec. user=mdettweiler [2016-03-12 15:12:03] 873*2^1422832-1 is not prime. Res64: DECD1BF3F86B7186 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:12:03] 875*2^1422832-1 is not prime. Res64: 79F437A7618AFD37 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:19:51] 909*2^1422832-1 is not prime. Res64: 62B1B54FB27A0772 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:19:51] 923*2^1422832-1 is not prime. Res64: 8BF9B2C7968F8E86 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:20:07] 615*2^1422833-1 is not prime. Res64: 3E9E8208F1419BAD Time : 0.0 sec. user=mdettweiler [2016-03-12 15:20:07] 679*2^1422833-1 is not prime. Res64: 6E672B29B0D4E6C3 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:20:07] 669*2^1422833-1 is not prime. Res64: E2BAA98644095451 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:20:08] 829*2^1422833-1 is not prime. Res64: 01022A21875748E5 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:30:13] 861*2^1422833-1 is not prime. Res64: CF277D765A18CB2B Time : 0.0 sec. user=mdettweiler [2016-03-12 15:30:13] 925*2^1422833-1 is not prime. Res64: 231A78883308B0DD Time : 0.0 sec. user=mdettweiler [2016-03-12 15:38:04] 957*2^1422833-1 is not prime. Res64: E59D480F37D6C91B Time : 0.0 sec. user=mdettweiler [2016-03-12 15:38:04] 641*2^1422834-1 is not prime. Res64: 54899FA9242C3463 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:38:19] 905*2^1422834-1 is not prime. Res64: E8D2D52C085D4329 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:38:20] 993*2^1422834-1 is not prime. Res64: F954C8843F648A4A Time : 0.0 sec. user=mdettweiler [2016-03-12 15:38:31] 797*2^1422834-1 is not prime. Res64: DEBA936AD96FA994 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:38:31] 887*2^1422834-1 is not prime. Res64: AADC520545520F41 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:48:26] 603*2^1422835-1 is not prime. Res64: 38DEA96F41D6A78F Time : 0.0 sec. user=mdettweiler [2016-03-12 15:48:27] 709*2^1422835-1 is not prime. Res64: AEB6D218B7ADF1A4 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:56:00] 759*2^1422835-1 is not prime. Res64: AD8A0341FEF8FF30 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:56:01] 765*2^1422835-1 is not prime. Res64: 14AD858ED8B7E05D Time : 0.0 sec. user=mdettweiler [2016-03-12 15:56:14] 819*2^1422835-1 is not prime. Res64: 094B525402B32702 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:56:15] 939*2^1422835-1 is not prime. Res64: 5A470639E0724BD1 Time : 0.0 sec. user=mdettweiler [2016-03-12 15:56:37] 961*2^1422835-1 is not prime. Res64: CE53F9AEDEC0E26E Time : 0.0 sec. user=mdettweiler [2016-03-12 15:56:37] 985*2^1422835-1 is not prime. Res64: CEE7C1E7BED99D91 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:06:26] 623*2^1422836-1 is not prime. Res64: 7F88A412EDACCA41 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:06:27] 633*2^1422836-1 is not prime. Res64: 42A18473E9938625 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:13:53] 837*2^1422836-1 is not prime. Res64: F413631FAF9D1CE0 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:13:53] 873*2^1422836-1 is not prime. Res64: 7D8BBCA998B8887B Time : 0.0 sec. user=mdettweiler [2016-03-12 16:14:15] 909*2^1422836-1 is not prime. Res64: 50D615F22E4AF252 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:14:15] 945*2^1422836-1 is not prime. Res64: 1040D37B54C27CC6 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:14:45] 969*2^1422836-1 is not prime. Res64: 8D8DFD8F9CC8275E Time : 0.0 sec. user=mdettweiler [2016-03-12 16:14:45] 999*2^1422836-1 is not prime. Res64: A50D5CC8E1F431E8 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:24:40] 829*2^1422837-1 is not prime. Res64: 405E1159A716D744 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:24:40] 889*2^1422837-1 is not prime. Res64: AA94B62C34A5FE0E Time : 0.0 sec. user=mdettweiler [2016-03-12 16:31:54] 895*2^1422837-1 is not prime. Res64: 05D6DA78F63ED040 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:31:54] 635*2^1422838-1 is not prime. Res64: 9E5A32569CB5A49A Time : 0.0 sec. user=mdettweiler [2016-03-12 16:32:13] 677*2^1422838-1 is not prime. Res64: FB6CF03CADDC7701 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:32:13] 765*2^1422838-1 is not prime. Res64: 90B1AE162576217A Time : 0.0 sec. user=mdettweiler [2016-03-12 16:32:41] 815*2^1422838-1 is not prime. Res64: 8DBCAAB4A4D8AA35 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:32:41] 827*2^1422838-1 is not prime. Res64: 6288BACF13F71819 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:42:31] 1001*2^1422838-1 is not prime. Res64: 0355933235F42BA4 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:42:32] 615*2^1422839-1 is not prime. Res64: 359ECE00FF8C1E50 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:50:03] 661*2^1422839-1 is not prime. Res64: 792974089F82207F Time : 0.0 sec. user=mdettweiler [2016-03-12 16:50:04] 693*2^1422839-1 is not prime. Res64: 5350E017EF203520 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:50:09] 823*2^1422839-1 is not prime. Res64: C4CAE4FC5B090F73 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:50:09] 841*2^1422839-1 is not prime. Res64: 4038B45A5F39F71B Time : 0.0 sec. user=mdettweiler [2016-03-12 16:50:37] 909*2^1422839-1 is not prime. Res64: BC7291AFD1680998 Time : 0.0 sec. user=mdettweiler [2016-03-12 16:50:37] 939*2^1422839-1 is not prime. Res64: 77A306E932208BAB Time : 0.0 sec. user=mdettweiler [2016-03-12 17:00:44] 993*2^1422839-1 is not prime. Res64: F0694A97133181DD Time : 0.0 sec. user=mdettweiler [2016-03-12 17:00:45] 759*2^1422840-1 is not prime. Res64: E786FFF002E5EDC8 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:09:35] 797*2^1422840-1 is not prime. Res64: 8F13E83BF1347FF7 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:09:36] 857*2^1422840-1 is not prime. Res64: EE303ED6E5E5CC63 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:09:36] 975*2^1422841-1 is not prime. Res64: EC8E221E41AB03C3 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:09:36] 999*2^1422841-1 is not prime. Res64: 63FCBE51749582F8 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:10:37] 677*2^1422842-1 is not prime. Res64: 78EF2F94A37C0B64 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:10:37] 683*2^1422842-1 is not prime. Res64: 21670270359CE29D Time : 0.0 sec. user=mdettweiler [2016-03-12 17:20:47] 801*2^1422842-1 is not prime. Res64: 11EF537BA6B1C481 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:20:48] 813*2^1422842-1 is not prime. Res64: 15CE9E4FC71C1D7B Time : 0.0 sec. user=mdettweiler [2016-03-12 17:29:19] 977*2^1422842-1 is not prime. Res64: C1BAC096712EB6C7 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:29:20] 1001*2^1422842-1 is not prime. Res64: CA4961C0DB9E25A9 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:29:42] 885*2^1422842-1 is not prime. Res64: 64CDC240556D777F Time : 0.0 sec. user=mdettweiler [2016-03-12 17:29:42] 649*2^1422843-1 is not prime. Res64: 29EBB487BBEACCFF Time : 0.0 sec. user=mdettweiler [2016-03-12 17:31:09] 705*2^1422843-1 is not prime. Res64: 4C87188859B6E7B7 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:31:09] 775*2^1422843-1 is not prime. Res64: D034BBA0DFE5B073 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:40:41] 819*2^1422843-1 is not prime. Res64: 80DF2403D56B83AB Time : 0.0 sec. user=mdettweiler [2016-03-12 17:40:41] 895*2^1422843-1 is not prime. Res64: 6FAC4797790F8F47 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:49:00] 963*2^1422843-1 is not prime. Res64: B18DC5E3319271B0 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:49:00] 827*2^1422844-1 is not prime. Res64: 172EA1CBED835825 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:49:04] 919*2^1422843-1 is not prime. Res64: 44FC479B25A1629B Time : 0.0 sec. user=mdettweiler [2016-03-12 17:49:04] 949*2^1422843-1 is not prime. Res64: EC97FACCE0611A1A Time : 0.0 sec. user=mdettweiler [2016-03-12 17:50:25] 885*2^1422844-1 is not prime. Res64: 1B62D7CC48264417 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:50:25] 923*2^1422844-1 is not prime. Res64: 1A66CB0F837CFE8F Time : 0.0 sec. user=mdettweiler [2016-03-12 17:59:47] 927*2^1422844-1 is not prime. Res64: 14607812FC7B40E7 Time : 0.0 sec. user=mdettweiler [2016-03-12 17:59:47] 929*2^1422844-1 is not prime. Res64: E10C320D931CC572 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:07:38] 601*2^1422845-1 is not prime. Res64: D6E8773B25C4D9D6 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:07:38] 757*2^1422845-1 is not prime. Res64: A06A96D24D378896 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:08:10] 795*2^1422845-1 is not prime. Res64: 047D6B26EF9B2564 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:08:10] 831*2^1422845-1 is not prime. Res64: FE156A8413EBD192 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:09:47] 915*2^1422845-1 is not prime. Res64: 44A60634AD20A0A1 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:09:47] 955*2^1422845-1 is not prime. Res64: E17AF321A820111A Time : 0.0 sec. user=mdettweiler [2016-03-12 18:18:38] 969*2^1422845-1 is not prime. Res64: 7E3E963C0A04D8D9 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:18:38] 627*2^1422846-1 is not prime. Res64: A8D2F94C9EB5F64D Time : 0.0 sec. user=mdettweiler [2016-03-12 18:27:07] 767*2^1422846-1 is not prime. Res64: B084E4D6BC6B8F30 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:27:08] 971*2^1422846-1 is not prime. Res64: A2E348EF1220FA81 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:27:15] 695*2^1422846-1 is not prime. Res64: B266CED0B42F8B15 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:27:15] 717*2^1422846-1 is not prime. Res64: 068F42AAC28DACEF Time : 0.0 sec. user=mdettweiler [2016-03-12 18:28:50] 625*2^1422847-1 is not prime. Res64: A9076AEF587A244E Time : 0.0 sec. user=mdettweiler [2016-03-12 18:28:51] 645*2^1422847-1 is not prime. Res64: 8F4B80B9545F8F21 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:37:19] 649*2^1422847-1 is not prime. Res64: FA66D3D14479C8C2 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:37:19] 685*2^1422847-1 is not prime. Res64: 1FD446F6328C4C08 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:45:14] 759*2^1422847-1 is not prime. Res64: A73BC0FE4C1F676F Time : 0.0 sec. user=mdettweiler [2016-03-12 18:45:15] 765*2^1422847-1 is not prime. Res64: 41541B50591F220D Time : 0.0 sec. user=mdettweiler [2016-03-12 18:45:30] 883*2^1422847-1 is not prime. Res64: D32CF153821543A1 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:45:30] 885*2^1422847-1 is not prime. Res64: 183153CC6F671B4A Time : 0.0 sec. user=mdettweiler [2016-03-12 18:46:54] 975*2^1422847-1 is not prime. Res64: EFEB4DEF540BE6C3 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:46:55] 617*2^1422848-1 is not prime. Res64: 51FDA315D8EB8FDA Time : 0.0 sec. user=mdettweiler [2016-03-12 18:55:12] 735*2^1422848-1 is not prime. Res64: 7A87AAE1F10CDF15 Time : 0.0 sec. user=mdettweiler [2016-03-12 18:55:12] 795*2^1422848-1 is not prime. Res64: DE8B973C73FBDB23 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:03:13] 815*2^1422848-1 is not prime. Res64: 717DEA2E99CC52A6 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:03:15] 819*2^1422848-1 is not prime. Res64: 3ADD429C6C118D0A Time : 0.0 sec. user=mdettweiler [2016-03-12 19:03:29] 935*2^1422848-1 is not prime. Res64: 18C67CA9C91E0BFC Time : 0.0 sec. user=mdettweiler [2016-03-12 19:03:30] 959*2^1422848-1 is not prime. Res64: B8965576EEAEE633 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:04:51] 995*2^1422848-1 is not prime. Res64: 8D84449C7CD0A0A4 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:04:52] 681*2^1422849-1 is not prime. Res64: ACCC7A205350F4CB Time : 0.0 sec. user=mdettweiler [2016-03-12 19:13:07] 759*2^1422849-1 is not prime. Res64: 96F939A12A82CEB7 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:13:08] 781*2^1422849-1 is not prime. Res64: B05C8397DD6CF4FA Time : 0.0 sec. user=mdettweiler [2016-03-12 19:21:34] 811*2^1422849-1 is not prime. Res64: 180E11D479A76311 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:21:35] 949*2^1422849-1 is not prime. Res64: 155192FB6E628849 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:21:49] 955*2^1422849-1 is not prime. Res64: D0D482B7B163967A Time : 0.0 sec. user=mdettweiler [2016-03-12 19:21:49] 657*2^1422850-1 is not prime. Res64: 987BA70E87E292B8 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:23:18] 677*2^1422850-1 is not prime. Res64: 13D560F4E715FE3B Time : 0.0 sec. user=mdettweiler [2016-03-12 19:23:19] 701*2^1422850-1 is not prime. Res64: E336773AF8A8B65B Time : 0.0 sec. user=mdettweiler [2016-03-12 19:31:20] 717*2^1422850-1 is not prime. Res64: BA7D7244BC03E0CF Time : 0.0 sec. user=mdettweiler [2016-03-12 19:31:20] 821*2^1422850-1 is not prime. Res64: 49BE1623F3A34295 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:39:32] 915*2^1422850-1 is not prime. Res64: 627292E05CCA340C Time : 0.0 sec. user=mdettweiler [2016-03-12 19:39:32] 995*2^1422850-1 is not prime. Res64: 232C68E0DC66A6BD Time : 0.0 sec. user=mdettweiler [2016-03-12 19:39:42] 603*2^1422851-1 is not prime. Res64: FEC79EF7E24E81E4 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:39:43] 945*2^1422851-1 is not prime. Res64: A0DCBC851118081D Time : 0.0 sec. user=mdettweiler [2016-03-12 19:41:22] 993*2^1422851-1 is not prime. Res64: 0F14B0EAC9261603 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:41:22] 843*2^1422852-1 is not prime. Res64: F7BA0759E5B30062 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:49:21] 873*2^1422852-1 is not prime. Res64: 1ED16F664E6A2529 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:49:21] 947*2^1422852-1 is not prime. Res64: 97086D1E8836DF8A Time : 0.0 sec. user=mdettweiler [2016-03-12 19:57:44] 959*2^1422852-1 is not prime. Res64: 3EA297154512F27F Time : 0.0 sec. user=mdettweiler [2016-03-12 19:57:44] 607*2^1422853-1 is not prime. Res64: 374A404E3DE6872B Time : 0.0 sec. user=mdettweiler [2016-03-12 19:57:51] 691*2^1422853-1 is not prime. Res64: E6CC064DB3401F40 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:57:52] 741*2^1422853-1 is not prime. Res64: BFFE724ED6EB7F23 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:59:28] 751*2^1422853-1 is not prime. Res64: 31B66C0469F66A03 Time : 0.0 sec. user=mdettweiler [2016-03-12 19:59:29] 765*2^1422853-1 is not prime. Res64: 5B2564B061A4CFCF Time : 0.0 sec. user=mdettweiler [2016-03-12 20:07:17] 835*2^1422853-1 is not prime. Res64: 0CA7907F42B5F8E0 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:07:18] 861*2^1422853-1 is not prime. Res64: 4B4C0B37A8B40929 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:15:44] 615*2^1422854-1 is not prime. Res64: 7A707D6AF1926D47 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:15:45] 627*2^1422854-1 is not prime. Res64: 63FF695FB1416D7C Time : 0.0 sec. user=mdettweiler [2016-03-12 20:15:55] 705*2^1422854-1 is not prime. Res64: 3DA57F400EFE84E7 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:15:55] 711*2^1422854-1 is not prime. Res64: 84CE80C3E39C45FB Time : 0.0 sec. user=mdettweiler [2016-03-12 20:17:28] 731*2^1422854-1 is not prime. Res64: C4750B3FC6806739 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:17:29] 885*2^1422854-1 is not prime. Res64: 715DB427AB813717 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:25:17] 923*2^1422854-1 is not prime. Res64: AE3B1EFEB7216CD4 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:25:17] 945*2^1422854-1 is not prime. Res64: 36E3BA10F4E0A582 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:33:38] 913*2^1422855-1 is not prime. Res64: 02BC55F2830310F9 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:33:38] 951*2^1422855-1 is not prime. Res64: 75DB8FD2F1FE5C1B Time : 0.0 sec. user=mdettweiler [2016-03-12 20:33:48] 999*2^1422855-1 is not prime. Res64: 31A4C167F1821634 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:33:49] 695*2^1422856-1 is not prime. Res64: FF37CF126282637A Time : 0.0 sec. user=mdettweiler [2016-03-12 20:35:19] 849*2^1422856-1 is not prime. Res64: BC65EBA5BDF48F42 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:35:19] 855*2^1422856-1 is not prime. Res64: 5AA375E2E954CDEC Time : 0.0 sec. user=mdettweiler [2016-03-12 20:43:27] 615*2^1422857-1 is not prime. Res64: CF6E9433310E3111 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:43:27] 651*2^1422857-1 is not prime. Res64: BED65C01038C1732 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:51:33] 669*2^1422857-1 is not prime. Res64: E613ED1354D645CF Time : 0.0 sec. user=mdettweiler [2016-03-12 20:51:33] 699*2^1422857-1 is not prime. Res64: 5B692DC63039138F Time : 0.0 sec. user=mdettweiler [2016-03-12 20:51:50] 727*2^1422857-1 is not prime. Res64: 771E2C1D52C7B5B2 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:51:51] 819*2^1422857-1 is not prime. Res64: 0642498C16711452 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:53:15] 967*2^1422857-1 is not prime. Res64: B3B819D597648A50 Time : 0.0 sec. user=mdettweiler [2016-03-12 20:53:16] 657*2^1422858-1 is not prime. Res64: 28C423DC05B48DB7 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:01:39] 663*2^1422858-1 is not prime. Res64: 0E428EED5FD18721 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:01:39] 665*2^1422858-1 is not prime. Res64: 64B6C7713A9CA4A4 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:09:30] 683*2^1422858-1 is not prime. Res64: FFC7BED645492954 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:09:30] 725*2^1422858-1 is not prime. Res64: 10E5A1B555FB427C Time : 0.0 sec. user=mdettweiler [2016-03-12 21:09:45] 815*2^1422858-1 is not prime. Res64: BD36905285B6C866 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:09:45] 875*2^1422858-1 is not prime. Res64: 0D33886246368B86 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:11:09] 971*2^1422858-1 is not prime. Res64: 55ED48E2BC827037 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:11:09] 663*2^1422859-1 is not prime. Res64: 505759FE330EAFF9 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:19:40] 741*2^1422859-1 is not prime. Res64: 5BB8E9149429017C Time : 0.0 sec. user=mdettweiler [2016-03-12 21:19:40] 889*2^1422859-1 is not prime. Res64: AC8CD527C5604A70 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:27:24] 939*2^1422859-1 is not prime. Res64: 8B0B22468EBEC2E2 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:27:24] 973*2^1422859-1 is not prime. Res64: 29DDB20BCF80A2DA Time : 0.0 sec. user=mdettweiler [2016-03-12 21:27:38] 753*2^1422860-1 is not prime. Res64: 6AF8D1F2275DA815 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:27:38] 825*2^1422860-1 is not prime. Res64: F271E3327B2D2C92 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:29:06] 845*2^1422860-1 is not prime. Res64: 031CF505B31BF675 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:29:06] 875*2^1422860-1 is not prime. Res64: 228D550B851ABC2A Time : 0.0 sec. user=mdettweiler [2016-03-12 21:37:49] 959*2^1422860-1 is not prime. Res64: 277FA8586DFACE37 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:37:49] 627*2^1422861-1 is not prime. Res64: 7FFE7031E620E7FF Time : 0.0 sec. user=mdettweiler [2016-03-12 21:45:39] 651*2^1422861-1 is not prime. Res64: 938EDC65C7D10E72 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:45:39] 805*2^1422861-1 is not prime. Res64: 445BED087D4B8EA0 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:45:58] 861*2^1422861-1 is not prime. Res64: CE2847222FE6A034 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:45:59] 871*2^1422861-1 is not prime. Res64: FE42EC1051CEA2FD Time : 0.0 sec. user=mdettweiler [2016-03-12 21:47:19] 895*2^1422861-1 is not prime. Res64: A95485C44FBD60E1 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:47:19] 997*2^1422861-1 is not prime. Res64: CF677BD0E1D09DF6 Time : 0.0 sec. user=mdettweiler [2016-03-12 21:55:52] 645*2^1422862-1 is not prime. Res64: 8BB6CBA7BF5F8F5B Time : 0.0 sec. user=mdettweiler [2016-03-12 21:55:52] 651*2^1422862-1 is not prime. Res64: F90E3AD48348C6BA Time : 0.0 sec. user=mdettweiler [2016-03-12 22:04:14] 681*2^1422862-1 is not prime. Res64: 4AC014C2DB085F2E Time : 0.0 sec. user=mdettweiler [2016-03-12 22:04:15] 717*2^1422862-1 is not prime. Res64: 34B71B0607434E13 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:04:44] 723*2^1422862-1 is not prime. Res64: 3A8AFFB28FF53D6E Time : 0.0 sec. user=mdettweiler [2016-03-12 22:04:45] 791*2^1422862-1 is not prime. Res64: 2CB3EC15BBAD69B5 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:05:48] 815*2^1422862-1 is not prime. Res64: 106D666C4FC4ABB9 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:05:49] 827*2^1422862-1 is not prime. Res64: E10661CF9C38E7C2 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:14:53] 911*2^1422862-1 is not prime. Res64: C9504571FEF08EE7 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:14:54] 915*2^1422862-1 is not prime. Res64: 4379A620F291DAA6 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:22:57] 945*2^1422862-1 is not prime. Res64: 31980C5917666649 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:22:58] 975*2^1422862-1 is not prime. Res64: 237B7FC28ABCBAF1 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:23:21] 619*2^1422863-1 is not prime. Res64: 182DAD01BA4FDC01 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:23:21] 633*2^1422863-1 is not prime. Res64: 900F071C9DA60FD0 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:24:24] 829*2^1422863-1 is not prime. Res64: 309B98826980455D Time : 0.0 sec. user=mdettweiler [2016-03-12 22:24:24] 861*2^1422863-1 is not prime. Res64: 67BEF87589C5DEDC Time : 0.0 sec. user=mdettweiler [2016-03-12 22:33:27] 871*2^1422863-1 is not prime. Res64: 358FA0221FF798D6 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:33:28] 879*2^1422863-1 is not prime. Res64: 5930706FC7438ECF Time : 0.0 sec. user=mdettweiler [2016-03-12 22:44:50] 999*2^1422863-1 is not prime. Res64: 8224D51DFC13645B Time : 0.0 sec. user=mdettweiler [2016-03-12 22:44:50] 627*2^1422864-1 is not prime. Res64: 3EF8E6A9CFC61EA2 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:44:56] 635*2^1422864-1 is not prime. Res64: 89B9B1B4DAA2B889 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:44:56] 719*2^1422864-1 is not prime. Res64: C5ACC89CD1B473C8 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:46:12] 887*2^1422864-1 is not prime. Res64: 20226BA6C5CF9EA6 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:46:12] 601*2^1422865-1 is not prime. Res64: 9AC491120A23346E Time : 0.0 sec. user=mdettweiler [2016-03-12 22:56:29] 741*2^1422865-1 is not prime. Res64: CA00EB7AA143AAB7 Time : 0.0 sec. user=mdettweiler [2016-03-12 22:56:30] 765*2^1422865-1 is not prime. Res64: D02B5850404887CB Time : 0.0 sec. user=mdettweiler [2016-03-12 23:05:09] 777*2^1422865-1 is not prime. Res64: B4273212882CEDA3 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:05:11] 817*2^1422865-1 is not prime. Res64: 2C13374A1D1DFF00 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:05:53] 819*2^1422865-1 is not prime. Res64: E002974C3AD3F083 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:05:57] 831*2^1422865-1 is not prime. Res64: CFD019A5DFB901D5 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:06:34] 855*2^1422865-1 is not prime. Res64: CBA4F9975F7D11EE Time : 0.0 sec. user=mdettweiler [2016-03-12 23:06:36] 877*2^1422865-1 is not prime. Res64: DFA903149BCF96A0 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:16:41] 915*2^1422865-1 is not prime. Res64: 7B91624BA9F6619F Time : 0.0 sec. user=mdettweiler [2016-03-12 23:16:42] 815*2^1422866-1 is not prime. Res64: 57E5686FAAA02C46 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:24:58] 831*2^1422866-1 is not prime. Res64: 17082C7F0CB524ED Time : 0.0 sec. user=mdettweiler [2016-03-12 23:24:59] 649*2^1422867-1 is not prime. Res64: 4E7D69AEE143683B Time : 0.0 sec. user=mdettweiler [2016-03-12 23:25:17] 879*2^1422867-1 is not prime. Res64: A5A8333BEA7FAE35 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:25:17] 885*2^1422867-1 is not prime. Res64: B68AE2F30B4ED991 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:25:44] 903*2^1422867-1 is not prime. Res64: ABC7D10DB9365673 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:25:44] 991*2^1422867-1 is not prime. Res64: D6C6CE981BBE6FFE Time : 0.0 sec. user=mdettweiler [2016-03-12 23:35:46] 605*2^1422868-1 is not prime. Res64: 43D605525FC7CED7 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:35:46] 647*2^1422868-1 is not prime. Res64: B3DDAD389515B91C Time : 0.0 sec. user=mdettweiler [2016-03-12 23:43:31] 863*2^1422868-1 is not prime. Res64: CE88930FCB31DC3B Time : 0.0 sec. user=mdettweiler [2016-03-12 23:43:32] 885*2^1422868-1 is not prime. Res64: C1E0D979FAA5EE3E Time : 0.0 sec. user=mdettweiler [2016-03-12 23:43:55] 655*2^1422869-1 is not prime. Res64: 6E7154B4E46BF6CC Time : 0.0 sec. user=mdettweiler [2016-03-12 23:43:56] 727*2^1422869-1 is not prime. Res64: 3078849D888BFB19 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:44:13] 771*2^1422869-1 is not prime. Res64: 963E41EDAFA07C2F Time : 0.0 sec. user=mdettweiler [2016-03-12 23:44:14] 879*2^1422869-1 is not prime. Res64: 37C3A052DB58DAD8 Time : 0.0 sec. user=mdettweiler [2016-03-12 23:53:56] 897*2^1422869-1 is not prime. Res64: 6DA479BC77E83F2F Time : 0.0 sec. user=mdettweiler [2016-03-12 23:53:57] 651*2^1422870-1 is not prime. Res64: A5A7FEF8CD200439 Time : 0.0 sec.