user=mdettweiler [2018-08-07 00:25:02] 917*2^1520602-1 is not prime. Res64: 458873558297ED63 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:25:04] 981*2^1520602-1 is not prime. Res64: 0212E425C2FCC6C3 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:25:06] 715*2^1520603-1 is not prime. Res64: CE7A7CCAC5E7D8F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:25:06] 823*2^1520603-1 is not prime. Res64: C0E0D3803E72A7F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:25:07] 871*2^1520603-1 is not prime. Res64: CCD98CBDFD97E54A Time : 0.0 sec. user=mdettweiler [2018-08-07 00:31:00] 901*2^1520603-1 is not prime. Res64: 72968B098CFBEEED Time : 0.0 sec. user=mdettweiler [2018-08-07 00:31:00] 999*2^1520603-1 is not prime. Res64: B353A9C1FF31DC47 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:31:01] 635*2^1520604-1 is not prime. Res64: 7F5F4D45841BF161 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:31:01] 695*2^1520604-1 is not prime. Res64: DE10D39FA4E1BE76 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:31:01] 765*2^1520604-1 is not prime. Res64: 683CF87A3702D169 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:40:26] 803*2^1520604-1 is not prime. Res64: A957C1D0925BCFFA Time : 0.0 sec. user=mdettweiler [2018-08-07 00:40:26] 825*2^1520604-1 is not prime. Res64: 2EB7B175D75EBE12 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:40:27] 915*2^1520604-1 is not prime. Res64: 71ED93ABB529843B Time : 0.0 sec. user=mdettweiler [2018-08-07 00:40:27] 645*2^1520605-1 is not prime. Res64: D29A74B6F218F942 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:40:27] 771*2^1520605-1 is not prime. Res64: E630833DE0F2FE35 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:41:59] 831*2^1520605-1 is not prime. Res64: 46E882887184BD87 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:41:59] 999*2^1520605-1 is not prime. Res64: 393ED897FE717A7D Time : 0.0 sec. user=mdettweiler [2018-08-07 00:42:00] 641*2^1520606-1 is not prime. Res64: 451A670CE63BD658 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:42:00] 971*2^1520606-1 is not prime. Res64: D8D20032035990E9 Time : 0.0 sec. user=mdettweiler [2018-08-07 00:42:00] 633*2^1520607-1 is not prime. Res64: FA55F396E12E55DC Time : 0.0 sec. user=mdettweiler [2018-08-07 01:16:39] 871*2^1520607-1 is not prime. Res64: 9CB2E17BA9889E6B Time : 0.0 sec. user=mdettweiler [2018-08-07 01:16:40] 603*2^1520608-1 is not prime. Res64: E9F5E8D483C9CD0C Time : 0.0 sec. user=mdettweiler [2018-08-07 01:16:41] 623*2^1520608-1 is not prime. Res64: ABE34606C20783FD Time : 0.0 sec. user=mdettweiler [2018-08-07 01:16:42] 695*2^1520608-1 is not prime. Res64: 38B57FBF26D84CF2 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:16:43] 707*2^1520608-1 is not prime. Res64: 5653A71A5B784A2D Time : 0.0 sec. user=mdettweiler [2018-08-07 01:23:20] 713*2^1520608-1 is not prime. Res64: A7393BF022FA16A7 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:23:20] 839*2^1520608-1 is not prime. Res64: 74392D55D583C100 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:23:21] 699*2^1520609-1 is not prime. Res64: F268529583F183F2 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:23:21] 705*2^1520609-1 is not prime. Res64: 64DB3D605A208456 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:23:22] 771*2^1520609-1 is not prime. Res64: E071B4166DC25848 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:33:20] 831*2^1520609-1 is not prime. Res64: 7E30730E807536CE Time : 0.0 sec. user=mdettweiler [2018-08-07 01:33:20] 969*2^1520609-1 is not prime. Res64: 75AA7A10F3553F47 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:33:21] 611*2^1520610-1 is not prime. Res64: 9C2B4408AF2B5A0D Time : 0.0 sec. user=mdettweiler [2018-08-07 01:33:21] 765*2^1520610-1 is not prime. Res64: 47A12115EA885FBD Time : 0.0 sec. user=mdettweiler [2018-08-07 01:33:22] 891*2^1520610-1 is not prime. Res64: 64AF14BE1C54B308 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:35:20] 619*2^1520611-1 is not prime. Res64: C9E3E0FAF98D77A3 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:35:21] 829*2^1520611-1 is not prime. Res64: 39EEF3BB12BCFCE8 Time : 0.0 sec. user=mdettweiler [2018-08-07 01:35:21] 849*2^1520611-1 is not prime. Res64: 2435EF2AE6D4665A Time : 0.0 sec. user=mdettweiler [2018-08-07 01:35:21] 871*2^1520611-1 is not prime. Res64: 39962BE6D0B1CE6A Time : 0.0 sec. user=mdettweiler [2018-08-07 01:35:22] 901*2^1520611-1 is not prime. Res64: A9D2B51075054319 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:07:40] 931*2^1520611-1 is not prime. Res64: B5C9E2F7B37E8DD4 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:07:43] 993*2^1520611-1 is not prime. Res64: 18D9730BFE84106E Time : 0.0 sec. user=mdettweiler [2018-08-07 02:07:45] 603*2^1520612-1 is not prime. Res64: 01D3F799D5D6D077 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:07:47] 605*2^1520612-1 is not prime. Res64: 99D48659D3D09977 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:07:48] 647*2^1520612-1 is not prime. Res64: 0EFE474E83E25985 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:14:36] 675*2^1520612-1 is not prime. Res64: 4A4DEAA7C4A18140 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:14:36] 677*2^1520612-1 is not prime. Res64: 49404D2236E99879 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:14:36] 735*2^1520612-1 is not prime. Res64: D979EE5D5B79557B Time : 0.0 sec. user=mdettweiler [2018-08-07 02:14:37] 767*2^1520612-1 is not prime. Res64: B3D2F432CA1C9283 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:14:37] 803*2^1520612-1 is not prime. Res64: 18BBB2E46FA9AE9E Time : 0.0 sec. user=mdettweiler [2018-08-07 02:25:05] 825*2^1520612-1 is not prime. Res64: 79B9C3152D88CBF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:25:06] 893*2^1520612-1 is not prime. Res64: DF2E0F8ED226ADCE Time : 0.0 sec. user=mdettweiler [2018-08-07 02:25:06] 945*2^1520612-1 is not prime. Res64: FEBFA160BF0C2B5C Time : 0.0 sec. user=mdettweiler [2018-08-07 02:25:07] 963*2^1520612-1 is not prime. Res64: 1119629AE4F93EC0 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:25:07] 657*2^1520613-1 is not prime. Res64: B6F7CC5E655AE81E Time : 0.0 sec. user=mdettweiler [2018-08-07 02:26:46] 727*2^1520613-1 is not prime. Res64: 7E7789548F0BD2CC Time : 0.0 sec. user=mdettweiler [2018-08-07 02:26:47] 847*2^1520613-1 is not prime. Res64: 0BAD46B11AF8C25E Time : 0.0 sec. user=mdettweiler [2018-08-07 02:26:47] 611*2^1520614-1 is not prime. Res64: 24729A549929D6A3 Time : 0.0 sec. user=mdettweiler [2018-08-07 02:26:48] 695*2^1520614-1 is not prime. Res64: 756C82694608911E Time : 0.0 sec. user=mdettweiler [2018-08-07 02:26:48] 741*2^1520614-1 is not prime. Res64: 1A71A54D18413862 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:00:36] 833*2^1520614-1 is not prime. Res64: EFCEAF666FAC7CED Time : 0.0 sec. user=mdettweiler [2018-08-07 03:00:37] 855*2^1520614-1 is not prime. Res64: BB8CC034F8E0545E Time : 0.0 sec. user=mdettweiler [2018-08-07 03:00:38] 917*2^1520614-1 is not prime. Res64: E000B47E4A0B8F13 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:00:39] 983*2^1520614-1 is not prime. Res64: C3DFC20983D33B34 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:00:40] 993*2^1520614-1 is not prime. Res64: ED2A22DF6518D470 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:07:11] 661*2^1520615-1 is not prime. Res64: C0F45B977959B548 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:07:12] 781*2^1520615-1 is not prime. Res64: FBF0C82C9B31FFD6 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:07:12] 773*2^1520616-1 is not prime. Res64: 59997E69F2997D83 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:07:13] 803*2^1520616-1 is not prime. Res64: 0DDD0A397252860A Time : 0.0 sec. user=mdettweiler [2018-08-07 03:07:13] 927*2^1520616-1 is not prime. Res64: C7E11515B7E4909B Time : 0.0 sec. user=mdettweiler [2018-08-07 03:17:57] 975*2^1520616-1 is not prime. Res64: D0CC7ED401E786C2 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:17:58] 999*2^1520616-1 is not prime. Res64: A11323DE64CB2C91 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:17:58] 637*2^1520617-1 is not prime. Res64: 0C0DD947588D1FF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:17:59] 639*2^1520617-1 is not prime. Res64: 37B517C478F6FC88 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:17:59] 651*2^1520617-1 is not prime. Res64: 4D05503514A1FF86 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:19:20] 661*2^1520617-1 is not prime. Res64: 51C428D2CC21F40B Time : 0.0 sec. user=mdettweiler [2018-08-07 03:19:20] 675*2^1520617-1 is not prime. Res64: BD348B0D18A38142 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:19:21] 817*2^1520617-1 is not prime. Res64: 95346FAEAE136212 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:19:21] 735*2^1520618-1 is not prime. Res64: 45338C548663163C Time : 0.0 sec. user=mdettweiler [2018-08-07 03:19:21] 767*2^1520618-1 is not prime. Res64: BED7C559E6E22E7F Time : 0.0 sec. user=mdettweiler [2018-08-07 03:52:50] 827*2^1520618-1 is not prime. Res64: 2B75D51807EE95D9 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:52:51] 845*2^1520618-1 is not prime. Res64: 21E9462B6E9D4843 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:52:52] 893*2^1520618-1 is not prime. Res64: 41960734999605A6 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:52:54] 951*2^1520618-1 is not prime. Res64: 9BF174D96F70B65A Time : 0.0 sec. user=mdettweiler [2018-08-07 03:52:54] 1001*2^1520618-1 is not prime. Res64: DCABFCF8A8D8D139 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:59:09] 609*2^1520619-1 is not prime. Res64: 5A7BC8F595343DBB Time : 0.0 sec. user=mdettweiler [2018-08-07 03:59:11] 669*2^1520619-1 is not prime. Res64: B12455583C2B9166 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:59:12] 709*2^1520619-1 is not prime. Res64: A4BCA1719AF0A932 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:59:12] 891*2^1520619-1 is not prime. Res64: F24D61FD5C838915 Time : 0.0 sec. user=mdettweiler [2018-08-07 03:59:13] 949*2^1520619-1 is not prime. Res64: A0C0F7E80599F8F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:09:17] 951*2^1520619-1 is not prime. Res64: DD5C769197B9BBC8 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:09:18] 975*2^1520619-1 is not prime. Res64: 20BAF7CEFA150989 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:09:21] 635*2^1520620-1 is not prime. Res64: 47A566D66F9FED2F Time : 0.0 sec. user=mdettweiler [2018-08-07 04:09:22] 647*2^1520620-1 is not prime. Res64: 89CF1FB30AE1B4BC Time : 0.0 sec. user=mdettweiler [2018-08-07 04:09:23] 813*2^1520620-1 is not prime. Res64: AF179478A58A657D Time : 0.0 sec. user=mdettweiler [2018-08-07 04:11:10] 863*2^1520620-1 is not prime. Res64: 1197F301F8E2D8FE Time : 0.0 sec. user=mdettweiler [2018-08-07 04:11:11] 909*2^1520620-1 is not prime. Res64: 1B751542157C8EB1 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:11:12] 939*2^1520620-1 is not prime. Res64: 7127F913387FC5E5 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:11:13] 657*2^1520621-1 is not prime. Res64: 42C196743AD09C0E Time : 0.0 sec. user=mdettweiler [2018-08-07 04:11:15] 727*2^1520621-1 is not prime. Res64: 4F2A7291A8CE4403 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:44:59] 747*2^1520621-1 is not prime. Res64: 197B96F4025971CC Time : 0.0 sec. user=mdettweiler [2018-08-07 04:45:00] 769*2^1520621-1 is not prime. Res64: 831BB66808E61B48 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:45:00] 777*2^1520621-1 is not prime. Res64: ED3368B9F961FD80 Time : 0.0 sec. user=mdettweiler [2018-08-07 04:45:01] 795*2^1520621-1 is not prime. Res64: 4E0935F9B5B2B8FC Time : 0.0 sec. user=mdettweiler [2018-08-07 04:45:02] 927*2^1520621-1 is not prime. Res64: 4310913A348CB45F Time : 0.0 sec. user=mdettweiler [2018-08-07 04:51:32] 957*2^1520621-1 is not prime. Res64: C8416A5DFA42595B Time : 0.0 sec. user=mdettweiler [2018-08-07 04:51:32] 651*2^1520622-1 is not prime. Res64: AD3B605122354F3D Time : 0.0 sec. user=mdettweiler [2018-08-07 04:51:33] 683*2^1520622-1 is not prime. Res64: 6188D57EE98E4A7D Time : 0.0 sec. user=mdettweiler [2018-08-07 04:51:33] 693*2^1520622-1 is not prime. Res64: DF157C7F1B88228D Time : 0.0 sec. user=mdettweiler [2018-08-07 04:51:33] 711*2^1520622-1 is not prime. Res64: 09325F02AA6C28D0 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:01:49] 741*2^1520622-1 is not prime. Res64: 66449E2BF13CFF87 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:01:50] 765*2^1520622-1 is not prime. Res64: B91002BEC15D65A6 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:01:51] 791*2^1520622-1 is not prime. Res64: B14BFE6B35D9FD90 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:01:52] 843*2^1520622-1 is not prime. Res64: BC2F54348F553E3C Time : 0.0 sec. user=mdettweiler [2018-08-07 05:01:53] 891*2^1520622-1 is not prime. Res64: 064C896DE7B19664 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:02:17] 947*2^1520622-1 is not prime. Res64: E28546E3A66858C0 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:02:18] 649*2^1520623-1 is not prime. Res64: BEE6F8C6701A7E87 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:02:19] 829*2^1520623-1 is not prime. Res64: 72CE4454C81DC23B Time : 0.0 sec. user=mdettweiler [2018-08-07 05:02:20] 605*2^1520624-1 is not prime. Res64: 44334D9C0E111D19 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:02:20] 615*2^1520624-1 is not prime. Res64: 63C7976A8C697693 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:36:15] 617*2^1520624-1 is not prime. Res64: 7C34F747CEE58190 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:36:15] 857*2^1520624-1 is not prime. Res64: D2EC509A025C8D21 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:36:16] 875*2^1520624-1 is not prime. Res64: 84E84F306D30B295 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:36:17] 625*2^1520625-1 is not prime. Res64: 10D7D19EC21E0958 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:36:17] 649*2^1520625-1 is not prime. Res64: 482CD0707A8496AE Time : 0.0 sec. user=mdettweiler [2018-08-07 05:45:26] 759*2^1520625-1 is not prime. Res64: 64CC67A7AECB6EA0 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:45:26] 765*2^1520625-1 is not prime. Res64: 6E982A54A35B41F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:45:27] 777*2^1520625-1 is not prime. Res64: 12ECA38363F9AF61 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:45:27] 871*2^1520625-1 is not prime. Res64: D101985C59D5819E Time : 0.0 sec. user=mdettweiler [2018-08-07 05:45:28] 889*2^1520625-1 is not prime. Res64: B0864EB7CB3CD758 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:54:16] 887*2^1520626-1 is not prime. Res64: 5DE51013B080636E Time : 0.0 sec. user=mdettweiler [2018-08-07 05:54:17] 917*2^1520626-1 is not prime. Res64: 2F25F48023820BFA Time : 0.0 sec. user=mdettweiler [2018-08-07 05:54:17] 945*2^1520626-1 is not prime. Res64: 619564A0A31F6E2B Time : 0.0 sec. user=mdettweiler [2018-08-07 05:54:18] 1001*2^1520626-1 is not prime. Res64: DF82E4B451E312F1 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:54:18] 603*2^1520627-1 is not prime. Res64: 5187F44D671B9EAB Time : 0.0 sec. user=mdettweiler [2018-08-07 05:55:12] 915*2^1520625-1 is not prime. Res64: 56BB095B74914D2E Time : 0.0 sec. user=mdettweiler [2018-08-07 05:55:12] 991*2^1520625-1 is not prime. Res64: 5069FD4616CEEB00 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:55:12] 623*2^1520626-1 is not prime. Res64: 8BD106609D67EF7D Time : 0.0 sec. user=mdettweiler [2018-08-07 05:55:13] 657*2^1520626-1 is not prime. Res64: 446DAAFB2666A1B1 Time : 0.0 sec. user=mdettweiler [2018-08-07 05:55:13] 843*2^1520626-1 is not prime. Res64: 32EB1BDDC7FA06DB Time : 0.0 sec. user=mdettweiler [2018-08-07 06:30:33] 631*2^1520627-1 is not prime. Res64: 80B59EC0E2007C64 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:30:33] 703*2^1520627-1 is not prime. Res64: 8EBA5A8DF6EE1E8F Time : 0.0 sec. user=mdettweiler [2018-08-07 06:30:33] 885*2^1520627-1 is not prime. Res64: 086C1FEB824D10EF Time : 0.0 sec. user=mdettweiler [2018-08-07 06:30:34] 895*2^1520627-1 is not prime. Res64: 778285BE86E6D2BB Time : 0.0 sec. user=mdettweiler [2018-08-07 06:30:34] 955*2^1520627-1 is not prime. Res64: A386A81013B8141C Time : 0.0 sec. user=mdettweiler [2018-08-07 06:37:14] 963*2^1520627-1 is not prime. Res64: E5EBCC41DEA7F3D1 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:37:14] 663*2^1520628-1 is not prime. Res64: CA5FD91DE3C74CA9 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:37:15] 767*2^1520628-1 is not prime. Res64: 1C29B915DA03EDE4 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:37:15] 837*2^1520628-1 is not prime. Res64: F332D0F0B8EBABED Time : 0.0 sec. user=mdettweiler [2018-08-07 06:37:15] 609*2^1520629-1 is not prime. Res64: B898B9A856365E7A Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:18] 721*2^1520629-1 is not prime. Res64: 317A1EB1E80EF2D2 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:18] 741*2^1520629-1 is not prime. Res64: 89B0DC2DEF262BF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:18] 765*2^1520629-1 is not prime. Res64: A65C767D38353DDF Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:19] 897*2^1520629-1 is not prime. Res64: C99B5F4D7D4BE319 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:19] 919*2^1520629-1 is not prime. Res64: F3BF348625FCD9D9 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:31] 939*2^1520629-1 is not prime. Res64: 4DB3DE06613BEA67 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:31] 665*2^1520630-1 is not prime. Res64: CCF06E2001F55639 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:32] 827*2^1520630-1 is not prime. Res64: 5A3D95C6595BF21B Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:32] 845*2^1520630-1 is not prime. Res64: F743CC90F9DD07D4 Time : 0.0 sec. user=mdettweiler [2018-08-07 06:46:32] 851*2^1520630-1 is not prime. Res64: C43C6435F84321A9 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:22:50] 861*2^1520630-1 is not prime. Res64: 1279BE4AD854A28C Time : 0.0 sec. user=mdettweiler [2018-08-07 07:22:50] 885*2^1520630-1 is not prime. Res64: 644CA455FFB064A0 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:22:51] 995*2^1520630-1 is not prime. Res64: 7D91ECE5EF860431 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:22:51] 619*2^1520631-1 is not prime. Res64: D1D9299B91FBEBF8 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:22:51] 625*2^1520631-1 is not prime. Res64: 2A38504227B11460 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:28:39] 669*2^1520631-1 is not prime. Res64: F25849A50ED308EC Time : 0.0 sec. user=mdettweiler [2018-08-07 07:28:39] 679*2^1520631-1 is not prime. Res64: 19D60ABC838EAA6A Time : 0.0 sec. user=mdettweiler [2018-08-07 07:28:39] 735*2^1520631-1 is not prime. Res64: E946D25FFA8170CA Time : 0.0 sec. user=mdettweiler [2018-08-07 07:28:40] 775*2^1520631-1 is not prime. Res64: 33FAE4B5D1E5F189 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:28:40] 795*2^1520631-1 is not prime. Res64: 35DC63905E2E2254 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:30] 819*2^1520631-1 is not prime. Res64: 030600822C987C58 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:31] 861*2^1520631-1 is not prime. Res64: 319EF6F43222C150 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:31] 879*2^1520631-1 is not prime. Res64: 15F890773E750725 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:31] 913*2^1520631-1 is not prime. Res64: 551CD2AB27117FCB Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:32] 943*2^1520631-1 is not prime. Res64: 2A56B22D36A177A4 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:44] 955*2^1520631-1 is not prime. Res64: 3A050CF1136F5CA7 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:44] 961*2^1520631-1 is not prime. Res64: F7890D4FE8DB14BE Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:44] 849*2^1520632-1 is not prime. Res64: FD8A66DEBBFBE447 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:45] 873*2^1520632-1 is not prime. Res64: 7A4257D28175BFA5 Time : 0.0 sec. user=mdettweiler [2018-08-07 07:38:45] 995*2^1520632-1 is not prime. Res64: 79D9281C7BC98A10 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:14:44] 715*2^1520633-1 is not prime. Res64: A7A8EC58014A740D Time : 0.0 sec. user=mdettweiler [2018-08-07 08:14:45] 787*2^1520633-1 is not prime. Res64: EA0CCC6B0B00D2D3 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:14:45] 847*2^1520633-1 is not prime. Res64: EA971F7EAA5BEBC6 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:14:46] 855*2^1520633-1 is not prime. Res64: 52AF55D17C681835 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:14:46] 967*2^1520633-1 is not prime. Res64: 4982DFCC515D44DD Time : 0.0 sec. user=mdettweiler [2018-08-07 08:20:29] 657*2^1520634-1 is not prime. Res64: 7B84649CA01A3448 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:20:30] 665*2^1520634-1 is not prime. Res64: 513C4BE1171431CE Time : 0.0 sec. user=mdettweiler [2018-08-07 08:20:30] 837*2^1520634-1 is not prime. Res64: 6C13378E77C01ED7 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:20:30] 851*2^1520634-1 is not prime. Res64: 533D15D7314A2D78 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:20:31] 903*2^1520634-1 is not prime. Res64: D3546C208C697EFF Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:08] 649*2^1520635-1 is not prime. Res64: DDFE5B8C4C8C3CE4 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:08] 679*2^1520635-1 is not prime. Res64: 9FBA2F2D2C555AA2 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:09] 723*2^1520635-1 is not prime. Res64: 8B01B70E6CDF5395 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:09] 771*2^1520635-1 is not prime. Res64: 64E1BCA61F5DD316 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:09] 855*2^1520635-1 is not prime. Res64: 797FF475A5C05D84 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:14] 895*2^1520635-1 is not prime. Res64: F3AD16B652415579 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:15] 919*2^1520635-1 is not prime. Res64: F9FD04DB81AAB988 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:15] 973*2^1520635-1 is not prime. Res64: 107C3D4F22419EDA Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:15] 615*2^1520636-1 is not prime. Res64: 5406F2522EBDA7D2 Time : 0.0 sec. user=mdettweiler [2018-08-07 08:30:16] 707*2^1520636-1 is not prime. Res64: 38740EC066ED4DA0 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:07:09] 789*2^1520636-1 is not prime. Res64: 9EF79CA2E921D7D2 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:07:10] 803*2^1520636-1 is not prime. Res64: 358D4E75D7803743 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:07:11] 873*2^1520636-1 is not prime. Res64: C8737657ABA8621A Time : 0.0 sec. user=mdettweiler [2018-08-07 09:07:12] 923*2^1520636-1 is not prime. Res64: 3B10EC7EF54CF1FB Time : 0.0 sec. user=mdettweiler [2018-08-07 09:07:13] 717*2^1520637-1 is not prime. Res64: BEE1DE57CABC7F06 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:12:30] 817*2^1520637-1 is not prime. Res64: F94219C0284D91CE Time : 0.0 sec. user=mdettweiler [2018-08-07 09:12:31] 831*2^1520637-1 is not prime. Res64: F933E52718557D52 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:12:31] 835*2^1520637-1 is not prime. Res64: AE6EE7DADC4A0A89 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:12:31] 919*2^1520637-1 is not prime. Res64: 6AA31CC6BBA2DE2D Time : 0.0 sec. user=mdettweiler [2018-08-07 09:12:32] 985*2^1520637-1 is not prime. Res64: 66E266A56AE6EBE8 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:22:52] 611*2^1520638-1 is not prime. Res64: 32090A2BC8265106 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:22:53] 791*2^1520638-1 is not prime. Res64: A3D70557267D8088 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:22:53] 801*2^1520638-1 is not prime. Res64: 2220DAC6A62B26C1 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:22:54] 911*2^1520638-1 is not prime. Res64: B9874E3D27C2C3F9 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:22:54] 971*2^1520638-1 is not prime. Res64: 1F50562D12645F4B Time : 0.0 sec. user=mdettweiler [2018-08-07 09:27:13] 661*2^1520639-1 is not prime. Res64: E4A254E9B707EDF7 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:27:13] 889*2^1520639-1 is not prime. Res64: 0BFD550A0321A993 Time : 0.0 sec. user=mdettweiler [2018-08-07 09:27:14] 949*2^1520639-1 is not prime. Res64: BF683CE2FE5B357B Time : 0.0 sec. user=mdettweiler [2018-08-07 09:27:14] 627*2^1520640-1 is not prime. Res64: C7AE065AB9B86EEA Time : 0.0 sec. user=mdettweiler [2018-08-07 09:27:15] 629*2^1520640-1 is not prime. Res64: B548010B873C94AA Time : 0.0 sec. user=mdettweiler [2018-08-07 10:01:41] 633*2^1520640-1 is not prime. Res64: 9F4D79D0B924E830 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:01:42] 689*2^1520640-1 is not prime. Res64: 0CA09DFFA150A3DC Time : 0.0 sec. user=mdettweiler [2018-08-07 10:01:43] 789*2^1520640-1 is not prime. Res64: 06BFC92C50175729 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:01:43] 857*2^1520640-1 is not prime. Res64: FBD7844F641C250D Time : 0.0 sec. user=mdettweiler [2018-08-07 10:01:44] 927*2^1520640-1 is not prime. Res64: 1AAA9FDF5A9D4180 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:08:47] 717*2^1520641-1 is not prime. Res64: 8BA56FBBEE530552 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:08:48] 777*2^1520641-1 is not prime. Res64: A211399416D7435D Time : 0.0 sec. user=mdettweiler [2018-08-07 10:08:48] 811*2^1520641-1 is not prime. Res64: 8AB9FEAA37A57DE9 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:08:49] 861*2^1520641-1 is not prime. Res64: 218E346B34C1B28D Time : 0.0 sec. user=mdettweiler [2018-08-07 10:08:49] 615*2^1520642-1 is not prime. Res64: 656AA5D69A89B8AB Time : 0.0 sec. user=mdettweiler [2018-08-07 10:15:17] 701*2^1520642-1 is not prime. Res64: 3EB3970EF69E43CF Time : 0.0 sec. user=mdettweiler [2018-08-07 10:15:17] 813*2^1520642-1 is not prime. Res64: 8A762BAD340B72A3 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:15:17] 915*2^1520642-1 is not prime. Res64: 467CEB102C639E69 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:15:18] 789*2^1520643-1 is not prime. Res64: D0A9478651DF6631 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:15:18] 615*2^1520644-1 is not prime. Res64: 40572B2EEC35EF9D Time : 0.0 sec. user=mdettweiler [2018-08-07 10:19:16] 617*2^1520644-1 is not prime. Res64: D37229B021C28F83 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:19:16] 629*2^1520644-1 is not prime. Res64: 616FB82D2DD8EE19 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:19:17] 635*2^1520644-1 is not prime. Res64: E6AEA5E0078AE787 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:19:17] 675*2^1520644-1 is not prime. Res64: CDD4BB6E76187C74 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:19:18] 833*2^1520644-1 is not prime. Res64: 4A2F15F285F2FA77 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:57:01] 857*2^1520644-1 is not prime. Res64: D2985FFEE958E1FC Time : 0.0 sec. user=mdettweiler [2018-08-07 10:57:02] 875*2^1520644-1 is not prime. Res64: 5B319A66A4409703 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:57:02] 915*2^1520644-1 is not prime. Res64: C60BF798CF139A63 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:57:02] 995*2^1520644-1 is not prime. Res64: 81064DF7399622D5 Time : 0.0 sec. user=mdettweiler [2018-08-07 10:57:03] 645*2^1520645-1 is not prime. Res64: 18711CA4EADFDC3E Time : 0.0 sec. user=mdettweiler [2018-08-07 11:06:46] 717*2^1520645-1 is not prime. Res64: 8C0BFA5DB0ED8FD8 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:06:47] 757*2^1520645-1 is not prime. Res64: EC2C849D8D192649 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:06:49] 825*2^1520645-1 is not prime. Res64: 5A63724CE48A9C53 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:06:50] 871*2^1520645-1 is not prime. Res64: 84F3AEAA4ED68730 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:06:50] 937*2^1520645-1 is not prime. Res64: 9F06E4324CAEEFC8 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:09:23] 737*2^1520646-1 is not prime. Res64: 547B015C802794B5 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:09:24] 747*2^1520646-1 is not prime. Res64: 87045FE927488822 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:09:24] 761*2^1520646-1 is not prime. Res64: C8E254817375B00C Time : 0.0 sec. user=mdettweiler [2018-08-07 11:09:25] 777*2^1520646-1 is not prime. Res64: BD4804AF202F0475 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:09:25] 851*2^1520646-1 is not prime. Res64: 44CE539880533699 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:14:50] 933*2^1520646-1 is not prime. Res64: 4D9B0DAF70382D03 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:14:50] 619*2^1520647-1 is not prime. Res64: 59FA80DD74026A00 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:14:51] 651*2^1520647-1 is not prime. Res64: FA731352E2161052 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:14:51] 741*2^1520647-1 is not prime. Res64: C41F6DE038071EB8 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:14:51] 759*2^1520647-1 is not prime. Res64: 273979986FCF50F6 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:52:22] 843*2^1520647-1 is not prime. Res64: 75DBFDF605F5E09C Time : 0.0 sec. user=mdettweiler [2018-08-07 11:52:23] 883*2^1520647-1 is not prime. Res64: C7A155739A53E5F1 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:52:23] 891*2^1520647-1 is not prime. Res64: A6DB348372B204E3 Time : 0.0 sec. user=mdettweiler [2018-08-07 11:52:23] 979*2^1520647-1 is not prime. Res64: 080EE9435554F85D Time : 0.0 sec. user=mdettweiler [2018-08-07 11:52:24] 623*2^1520648-1 is not prime. Res64: 8BB141FC72E3FA3A Time : 0.0 sec. user=mdettweiler [2018-08-07 12:00:24] 633*2^1520648-1 is not prime. Res64: 4F654E6098374E6C Time : 0.0 sec. user=mdettweiler [2018-08-07 12:00:25] 657*2^1520648-1 is not prime. Res64: BA8A6F46A868EFEB Time : 0.0 sec. user=mdettweiler [2018-08-07 12:00:26] 689*2^1520648-1 is not prime. Res64: 1A30C5D0BBA882B5 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:00:26] 725*2^1520648-1 is not prime. Res64: 2BCB3631026E9D38 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:00:27] 797*2^1520648-1 is not prime. Res64: 0988F54645A27087 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:03:06] 869*2^1520648-1 is not prime. Res64: F25FA4D56F2BA6BE Time : 0.0 sec. user=mdettweiler [2018-08-07 12:03:07] 935*2^1520648-1 is not prime. Res64: AFF92ED0D1870650 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:03:08] 963*2^1520648-1 is not prime. Res64: BA7EBEF5E9A24C8B Time : 0.0 sec. user=mdettweiler [2018-08-07 12:03:09] 667*2^1520649-1 is not prime. Res64: 17EECD092AFF75CB Time : 0.0 sec. user=mdettweiler [2018-08-07 12:03:10] 669*2^1520649-1 is not prime. Res64: 3462B9B221BE911C Time : 0.0 sec. user=mdettweiler [2018-08-07 12:15:43] 795*2^1520649-1 is not prime. Res64: 55558625DC997EE9 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:15:43] 979*2^1520649-1 is not prime. Res64: 9A0D7409FC633042 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:15:43] 635*2^1520650-1 is not prime. Res64: 65B19803B42875EA Time : 0.0 sec. user=mdettweiler [2018-08-07 12:15:44] 657*2^1520650-1 is not prime. Res64: C504A9334E42D3B3 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:15:44] 791*2^1520650-1 is not prime. Res64: D87EE9AC9AAF359E Time : 0.0 sec. user=mdettweiler [2018-08-07 12:47:26] 843*2^1520650-1 is not prime. Res64: F69E645AC53B8C97 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:47:26] 905*2^1520650-1 is not prime. Res64: 338DF1F6DB5DB24C Time : 0.0 sec. user=mdettweiler [2018-08-07 12:47:26] 951*2^1520650-1 is not prime. Res64: 19489F81BEF61892 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:47:27] 619*2^1520651-1 is not prime. Res64: D80C7E5E8E6F5416 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:47:27] 735*2^1520651-1 is not prime. Res64: A7994E6A3FA2F897 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:14] 789*2^1520651-1 is not prime. Res64: F730198DADA1D63A Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:14] 813*2^1520651-1 is not prime. Res64: 0D5B9F89385DCE6C Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:14] 895*2^1520651-1 is not prime. Res64: B1F94C9D93FF6B4D Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:15] 999*2^1520651-1 is not prime. Res64: AB794FCA23619C27 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:15] 609*2^1520652-1 is not prime. Res64: 993FC621CC6BD8A1 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:51] 779*2^1520652-1 is not prime. Res64: 1A1EF5D406308444 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:51] 809*2^1520652-1 is not prime. Res64: FAE3EEB80717EFF4 Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:51] 615*2^1520653-1 is not prime. Res64: 0D61FB94A5F169AE Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:52] 681*2^1520653-1 is not prime. Res64: 344933ADCF4B5E3B Time : 0.0 sec. user=mdettweiler [2018-08-07 12:57:52] 751*2^1520653-1 is not prime. Res64: 37CD35F40467D782 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:09:00] 877*2^1520653-1 is not prime. Res64: CB2D868F91FBA90B Time : 0.0 sec. user=mdettweiler [2018-08-07 13:09:01] 615*2^1520654-1 is not prime. Res64: 63AE2A07D764A50A Time : 0.0 sec. user=mdettweiler [2018-08-07 13:09:01] 627*2^1520654-1 is not prime. Res64: 4016C4565FCAD7B5 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:09:02] 675*2^1520654-1 is not prime. Res64: 4A29CC38525DD060 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:09:02] 741*2^1520654-1 is not prime. Res64: EFFDF2C22B12E496 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:38:53] 797*2^1520654-1 is not prime. Res64: 59319CA792A75DE4 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:38:54] 885*2^1520654-1 is not prime. Res64: AD908C170E0B2F3B Time : 0.0 sec. user=mdettweiler [2018-08-07 13:38:54] 915*2^1520654-1 is not prime. Res64: 429598F6E10D774C Time : 0.0 sec. user=mdettweiler [2018-08-07 13:38:54] 971*2^1520654-1 is not prime. Res64: 9C7E243D0C635B22 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:38:55] 619*2^1520655-1 is not prime. Res64: 0DBC8D279ED26BB4 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:28] 669*2^1520655-1 is not prime. Res64: 7C93C7EBF04DDDE7 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:29] 781*2^1520655-1 is not prime. Res64: 5F004C8A98C561D6 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:29] 859*2^1520655-1 is not prime. Res64: F5D01A680C8BE80C Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:29] 885*2^1520655-1 is not prime. Res64: 343A079F5E38BCF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:30] 909*2^1520655-1 is not prime. Res64: B80095635FE6FCDD Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:38] 913*2^1520655-1 is not prime. Res64: C9B06205D490EB9C Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:39] 963*2^1520655-1 is not prime. Res64: 68A33247AB51295D Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:39] 833*2^1520656-1 is not prime. Res64: 4C5BA5DEAF186C6B Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:39] 957*2^1520656-1 is not prime. Res64: E0DA125E1F954662 Time : 0.0 sec. user=mdettweiler [2018-08-07 13:49:40] 741*2^1520657-1 is not prime. Res64: 496E1CCA57C8844F Time : 0.0 sec. user=mdettweiler [2018-08-07 14:00:27] 931*2^1520657-1 is not prime. Res64: D0F8FE87A5CD6E0D Time : 0.0 sec. user=mdettweiler [2018-08-07 14:00:28] 663*2^1520658-1 is not prime. Res64: 5ACA495FFAB64C48 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:00:29] 791*2^1520658-1 is not prime. Res64: E8F182A0F394C1C1 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:00:29] 881*2^1520658-1 is not prime. Res64: 4CE7DB4024E067A0 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:00:30] 615*2^1520659-1 is not prime. Res64: 34F2E092DECB6128 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:30:10] 765*2^1520659-1 is not prime. Res64: B8A64808ECFF909F Time : 0.0 sec. user=mdettweiler [2018-08-07 14:30:11] 769*2^1520659-1 is not prime. Res64: EFEDB1BF4FF80C7B Time : 0.0 sec. user=mdettweiler [2018-08-07 14:30:11] 811*2^1520659-1 is not prime. Res64: C40AC63EE24DD313 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:30:12] 861*2^1520659-1 is not prime. Res64: 163A2C430FDC27B0 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:30:12] 909*2^1520659-1 is not prime. Res64: 084322DD8C4B9231 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:40:43] 629*2^1520660-1 is not prime. Res64: 7AD61E2628675BF8 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:40:43] 725*2^1520660-1 is not prime. Res64: 1608D9A69B2ACFDB Time : 0.0 sec. user=mdettweiler [2018-08-07 14:40:44] 759*2^1520660-1 is not prime. Res64: F8F5B91A017F3451 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:40:44] 767*2^1520660-1 is not prime. Res64: 610A77AD7D4E8A06 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:40:45] 797*2^1520660-1 is not prime. Res64: E3ED19227AD90405 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:41:00] 839*2^1520660-1 is not prime. Res64: CFAD76629C494C73 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:41:00] 957*2^1520660-1 is not prime. Res64: 252C558FBFA7057E Time : 0.0 sec. user=mdettweiler [2018-08-07 14:41:00] 711*2^1520661-1 is not prime. Res64: 6163C5F731959766 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:41:01] 735*2^1520661-1 is not prime. Res64: 3D51FC6B6611D044 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:41:01] 745*2^1520661-1 is not prime. Res64: DA4DB94463E5EA1F Time : 0.0 sec. user=mdettweiler [2018-08-07 14:52:03] 817*2^1520661-1 is not prime. Res64: 00CDBFFEC4630F7C Time : 0.0 sec. user=mdettweiler [2018-08-07 14:52:04] 877*2^1520661-1 is not prime. Res64: 9168872AB706014F Time : 0.0 sec. user=mdettweiler [2018-08-07 14:52:04] 681*2^1520662-1 is not prime. Res64: B520825F317191A5 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:52:05] 705*2^1520662-1 is not prime. Res64: 90DD2DF200278536 Time : 0.0 sec. user=mdettweiler [2018-08-07 14:52:05] 815*2^1520662-1 is not prime. Res64: F319E16E9200B7DA Time : 0.0 sec. user=mdettweiler [2018-08-07 15:22:36] 885*2^1520662-1 is not prime. Res64: A4979404D94168A0 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:22:36] 987*2^1520662-1 is not prime. Res64: 6A2E0DF2D2842FFB Time : 0.0 sec. user=mdettweiler [2018-08-07 15:22:37] 789*2^1520663-1 is not prime. Res64: C665F8A1210BF5DD Time : 0.0 sec. user=mdettweiler [2018-08-07 15:22:37] 853*2^1520663-1 is not prime. Res64: 43245B0C44F32C46 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:22:38] 615*2^1520664-1 is not prime. Res64: 02420050D8BBD2B9 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:04] 699*2^1520664-1 is not prime. Res64: A40F296651793873 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:04] 705*2^1520664-1 is not prime. Res64: EC601020A5A95F40 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:05] 725*2^1520664-1 is not prime. Res64: D1BDFC6AA3974C4B Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:05] 747*2^1520664-1 is not prime. Res64: 3F93EDAD4453320A Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:05] 843*2^1520664-1 is not prime. Res64: D880480F2B5BBAC1 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:22] 899*2^1520664-1 is not prime. Res64: 4C460CE25A97E5F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:23] 905*2^1520664-1 is not prime. Res64: BDF4FAC7893AD433 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:23] 715*2^1520665-1 is not prime. Res64: CB5EAF5D0F84E2B4 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:24] 799*2^1520665-1 is not prime. Res64: 0846D59B6619A6F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:32:24] 805*2^1520665-1 is not prime. Res64: D2FFE264EA7ECF4E Time : 0.0 sec. user=mdettweiler [2018-08-07 15:43:31] 861*2^1520665-1 is not prime. Res64: 10DCA492AEAB8A84 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:43:32] 885*2^1520665-1 is not prime. Res64: 8F4FAC0C6BA36103 Time : 0.0 sec. user=mdettweiler [2018-08-07 15:43:32] 925*2^1520665-1 is not prime. Res64: 06E8C520B112F0AA Time : 0.0 sec. user=mdettweiler [2018-08-07 15:43:32] 981*2^1520665-1 is not prime. Res64: 58637B8787640ACB Time : 0.0 sec. user=mdettweiler [2018-08-07 15:43:33] 627*2^1520666-1 is not prime. Res64: 4110E1BFC7F3EEB6 Time : 0.0 sec. user=mdettweiler [2018-08-07 16:13:47] 635*2^1520666-1 is not prime. Res64: 89BBD377B5960E8C Time : 0.0 sec. user=mdettweiler [2018-08-07 16:13:47] 825*2^1520666-1 is not prime. Res64: BD366AC29143A8BF Time : 0.0 sec. user=mdettweiler [2018-08-07 16:13:48] 833*2^1520666-1 is not prime. Res64: A15CBA7ED2A8DEC6 Time : 0.0 sec. user=mdettweiler [2018-08-07 16:13:48] 851*2^1520666-1 is not prime. Res64: 3FC6A2D03CC20E4D Time : 0.0 sec. user=mdettweiler [2018-08-07 16:13:48] 867*2^1520666-1 is not prime. Res64: A307190DD06C879F Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:26] 625*2^1520667-1 is not prime. Res64: D28863322B750B9D Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:26] 649*2^1520667-1 is not prime. Res64: E1E119138F8689AF Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:27] 769*2^1520667-1 is not prime. Res64: ED1FED0AFC8CB24B Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:27] 795*2^1520667-1 is not prime. Res64: E8F2A82D3C3A311D Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:27] 819*2^1520667-1 is not prime. Res64: C8AC03E766F5B5F4 Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:44] 861*2^1520667-1 is not prime. Res64: A08E8D3A2FDCE86D Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:45] 891*2^1520667-1 is not prime. Res64: 438AD81FF8BBB6C6 Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:45] 901*2^1520667-1 is not prime. Res64: 900BB048E68F1E72 Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:46] 903*2^1520667-1 is not prime. Res64: 8079AAF44BE1B808 Time : 0.0 sec. user=mdettweiler [2018-08-07 16:23:46] 973*2^1520667-1 is not prime. Res64: 7433D4509A450C6F Time : 0.0 sec. user=mdettweiler [2018-08-07 16:34:07] 975*2^1520667-1 is not prime. Res64: 20B48C516CB6A49F Time : 0.0 sec. user=mdettweiler [2018-08-07 16:34:07] 979*2^1520667-1 is not prime. Res64: 4B68BBFAC4F6019D Time : 0.0 sec. user=mdettweiler [2018-08-07 16:34:08] 603*2^1520668-1 is not prime. Res64: 4166B2A97D47030B Time : 0.0 sec. user=mdettweiler [2018-08-07 16:34:08] 605*2^1520668-1 is not prime. Res64: C0777B6282866DDA Time : 0.0 sec. user=mdettweiler [2018-08-07 16:34:08] 615*2^1520668-1 is not prime. Res64: D9DFD0CDD59EF2D6 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:05:05] 635*2^1520668-1 is not prime. Res64: AD92CB5AB43806EA Time : 0.0 sec. user=mdettweiler [2018-08-07 17:05:06] 897*2^1520668-1 is not prime. Res64: DEC54AB6E87AF877 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:05:07] 909*2^1520668-1 is not prime. Res64: DC2CC42111045633 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:05:07] 947*2^1520668-1 is not prime. Res64: E07E432CA5969C34 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:05:08] 995*2^1520668-1 is not prime. Res64: 8EA0067AA686FFCE Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:19] 879*2^1520669-1 is not prime. Res64: 6867EA8A50FD9A1D Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:20] 927*2^1520669-1 is not prime. Res64: 36468C5A9D76B4C9 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:20] 671*2^1520670-1 is not prime. Res64: C0348758EAF76666 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:20] 755*2^1520670-1 is not prime. Res64: 513E14DF46321E7B Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:21] 777*2^1520670-1 is not prime. Res64: 12E921CAE781345D Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:41] 621*2^1520669-1 is not prime. Res64: B428F4E91B0A3AF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:41] 645*2^1520669-1 is not prime. Res64: D51F0F4EB7AB7323 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:42] 657*2^1520669-1 is not prime. Res64: FD57ECBA192411AD Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:42] 759*2^1520669-1 is not prime. Res64: 2A7165ABEBEA75DB Time : 0.0 sec. user=mdettweiler [2018-08-07 17:15:43] 771*2^1520669-1 is not prime. Res64: 2DE1D3BA85E6D32C Time : 0.0 sec. user=mdettweiler [2018-08-07 17:26:34] 791*2^1520670-1 is not prime. Res64: B0B9E528C55FF8E9 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:26:34] 833*2^1520670-1 is not prime. Res64: 12B74BF0D033C246 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:26:35] 845*2^1520670-1 is not prime. Res64: 72F41F3DCA3A3AF7 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:26:35] 927*2^1520670-1 is not prime. Res64: E23C4EB0461D2890 Time : 0.0 sec. user=mdettweiler [2018-08-07 17:26:35] 933*2^1520670-1 is not prime. Res64: 3F59C2B7DBD4BE26 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:00:04] 963*2^1520670-1 is not prime. Res64: C18E5151A5280E9A Time : 0.0 sec. user=mdettweiler [2018-08-07 18:00:05] 1001*2^1520670-1 is not prime. Res64: 338D7447E7F8E472 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:00:05] 619*2^1520671-1 is not prime. Res64: BA31B20183414CB3 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:00:06] 675*2^1520671-1 is not prime. Res64: 24FA90EC8248E5C9 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:00:06] 709*2^1520671-1 is not prime. Res64: 3840DB23014CFAE5 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:07:15] 751*2^1520671-1 is not prime. Res64: 9480CF595E17F96A Time : 0.0 sec. user=mdettweiler [2018-08-07 18:07:15] 769*2^1520671-1 is not prime. Res64: D961A5CD9393FC3E Time : 0.0 sec. user=mdettweiler [2018-08-07 18:07:16] 841*2^1520671-1 is not prime. Res64: 0F8856769B1D5B70 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:07:16] 913*2^1520671-1 is not prime. Res64: D4537E8C0EABAB68 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:07:16] 603*2^1520672-1 is not prime. Res64: 0A457D2B6FBFB60A Time : 0.0 sec. user=mdettweiler [2018-08-07 18:08:26] 657*2^1520672-1 is not prime. Res64: 99CB744C33538016 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:08:26] 675*2^1520672-1 is not prime. Res64: 0748C35010E31E90 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:08:27] 699*2^1520672-1 is not prime. Res64: 477B3C35CBC6D76C Time : 0.0 sec. user=mdettweiler [2018-08-07 18:08:27] 813*2^1520672-1 is not prime. Res64: 4E6DA329C5D0839F Time : 0.0 sec. user=mdettweiler [2018-08-07 18:08:27] 959*2^1520672-1 is not prime. Res64: CCEFCF79D97CEDA0 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:18:31] 977*2^1520672-1 is not prime. Res64: 480B55665E0968A6 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:18:32] 983*2^1520672-1 is not prime. Res64: 84D20B9C0F3DC3A6 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:18:32] 609*2^1520673-1 is not prime. Res64: DE6754F78FE866DA Time : 0.0 sec. user=mdettweiler [2018-08-07 18:18:33] 685*2^1520673-1 is not prime. Res64: 5A714C8D9E2E6DBF Time : 0.0 sec. user=mdettweiler [2018-08-07 18:18:33] 745*2^1520673-1 is not prime. Res64: C5FBC6F8179786ED Time : 0.0 sec. user=mdettweiler [2018-08-07 18:52:05] 781*2^1520673-1 is not prime. Res64: 28309B50B5DF607A Time : 0.0 sec. user=mdettweiler [2018-08-07 18:52:05] 817*2^1520673-1 is not prime. Res64: E9E4F62504D98479 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:52:06] 861*2^1520673-1 is not prime. Res64: 6DE3176F07117D56 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:52:06] 889*2^1520673-1 is not prime. Res64: F010C93DB34E4AF9 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:52:07] 991*2^1520673-1 is not prime. Res64: 94479CE31569D118 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:59:47] 999*2^1520673-1 is not prime. Res64: D3E3A0FCEA943FBC Time : 0.0 sec. user=mdettweiler [2018-08-07 18:59:48] 677*2^1520674-1 is not prime. Res64: DDB266FE008D0C40 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:59:48] 723*2^1520674-1 is not prime. Res64: B481DA5C41476DCA Time : 0.0 sec. user=mdettweiler [2018-08-07 18:59:48] 747*2^1520674-1 is not prime. Res64: 8DBF6495951093D9 Time : 0.0 sec. user=mdettweiler [2018-08-07 18:59:49] 755*2^1520674-1 is not prime. Res64: B55BBB36FF0BF6FA Time : 0.0 sec. user=mdettweiler [2018-08-07 19:00:13] 885*2^1520674-1 is not prime. Res64: FBB4424B72C1463C Time : 0.0 sec. user=mdettweiler [2018-08-07 19:00:14] 947*2^1520674-1 is not prime. Res64: 775D0117523F7B04 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:00:15] 633*2^1520675-1 is not prime. Res64: E4129A3561949218 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:00:16] 651*2^1520675-1 is not prime. Res64: 7C39D16F7A55C245 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:00:17] 783*2^1520675-1 is not prime. Res64: 022C013068C271B7 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:10:36] 939*2^1520675-1 is not prime. Res64: 6767ED07A1A1261B Time : 0.0 sec. user=mdettweiler [2018-08-07 19:10:36] 981*2^1520675-1 is not prime. Res64: 01A2058E6E0E006F Time : 0.0 sec. user=mdettweiler [2018-08-07 19:10:37] 639*2^1520676-1 is not prime. Res64: 3C803DA4EBD12202 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:10:37] 705*2^1520676-1 is not prime. Res64: 4A534EF5461DE466 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:10:38] 717*2^1520676-1 is not prime. Res64: 6293EEA9ADA6B536 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:45:31] 867*2^1520676-1 is not prime. Res64: 5A873ED0B2A717D2 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:45:31] 615*2^1520677-1 is not prime. Res64: 30B2F7F9B9C99A10 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:45:31] 619*2^1520677-1 is not prime. Res64: A650DCFA10FE593F Time : 0.0 sec. user=mdettweiler [2018-08-07 19:45:32] 625*2^1520677-1 is not prime. Res64: 50D3985206808FFC Time : 0.0 sec. user=mdettweiler [2018-08-07 19:45:32] 667*2^1520677-1 is not prime. Res64: 59B6644338AF46C2 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:52:16] 663*2^1520678-1 is not prime. Res64: 9708FCD8C45193F6 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:52:16] 705*2^1520678-1 is not prime. Res64: 64199BB6C904BB18 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:52:16] 761*2^1520678-1 is not prime. Res64: 2DAB03F72733F429 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:52:17] 791*2^1520678-1 is not prime. Res64: 840232813F5BF9CC Time : 0.0 sec. user=mdettweiler [2018-08-07 19:52:17] 801*2^1520678-1 is not prime. Res64: C5C6B447F34CDC29 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:54:00] 765*2^1520677-1 is not prime. Res64: 8D69FEE7AFCAFE0C Time : 0.0 sec. user=mdettweiler [2018-08-07 19:54:01] 831*2^1520677-1 is not prime. Res64: C218E9F2AF00C5EB Time : 0.0 sec. user=mdettweiler [2018-08-07 19:54:02] 895*2^1520677-1 is not prime. Res64: 7021E4E4DE53D4D1 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:54:04] 617*2^1520678-1 is not prime. Res64: C7A61DF01FC5EDE9 Time : 0.0 sec. user=mdettweiler [2018-08-07 19:54:05] 645*2^1520678-1 is not prime. Res64: C59867A49FD7E65D Time : 0.0 sec. user=mdettweiler [2018-08-07 20:02:41] 935*2^1520678-1 is not prime. Res64: 21755B707F66598F Time : 0.0 sec. user=mdettweiler [2018-08-07 20:02:42] 941*2^1520678-1 is not prime. Res64: 3B17CE7CD7B7207D Time : 0.0 sec. user=mdettweiler [2018-08-07 20:02:42] 621*2^1520679-1 is not prime. Res64: 61E2ED3F5FB9FFC0 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:02:43] 919*2^1520679-1 is not prime. Res64: 5F0A7B352858E21C Time : 0.0 sec. user=mdettweiler [2018-08-07 20:02:43] 951*2^1520679-1 is not prime. Res64: ABE0DEDC67B8D616 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:36:36] 955*2^1520679-1 is not prime. Res64: A337773865284C11 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:36:37] 961*2^1520679-1 is not prime. Res64: 164C8E6887299C0A Time : 0.0 sec. user=mdettweiler [2018-08-07 20:36:37] 615*2^1520680-1 is not prime. Res64: CC29783B70792A79 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:36:38] 713*2^1520680-1 is not prime. Res64: 5CC7192CE9E6E8B1 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:36:38] 759*2^1520680-1 is not prime. Res64: C732AFDF29DD5730 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:43:19] 857*2^1520680-1 is not prime. Res64: 7597E1647E20880E Time : 0.0 sec. user=mdettweiler [2018-08-07 20:43:20] 781*2^1520681-1 is not prime. Res64: 4E2F6503990BCDA7 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:43:21] 861*2^1520681-1 is not prime. Res64: 5E5A5B06953D14BA Time : 0.0 sec. user=mdettweiler [2018-08-07 20:43:21] 867*2^1520681-1 is not prime. Res64: 23C32E786B4E3329 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:43:22] 937*2^1520681-1 is not prime. Res64: 45C97437334D7198 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:45:09] 615*2^1520682-1 is not prime. Res64: 382C68D5382C7B57 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:45:10] 755*2^1520682-1 is not prime. Res64: A53E5368B6E9E7F4 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:45:10] 815*2^1520682-1 is not prime. Res64: EDBF6056C41FBC4E Time : 0.0 sec. user=mdettweiler [2018-08-07 20:45:11] 867*2^1520682-1 is not prime. Res64: 2FC59DF6D3A29E4B Time : 0.0 sec. user=mdettweiler [2018-08-07 20:45:11] 887*2^1520682-1 is not prime. Res64: 22323C363B21BEF6 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:53:41] 603*2^1520683-1 is not prime. Res64: 8082203458F47BDC Time : 0.0 sec. user=mdettweiler [2018-08-07 20:53:41] 631*2^1520683-1 is not prime. Res64: 66220BDC06CF7B71 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:53:42] 673*2^1520683-1 is not prime. Res64: 99D2205AAF2552E5 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:53:42] 751*2^1520683-1 is not prime. Res64: 17EA744D37ED2739 Time : 0.0 sec. user=mdettweiler [2018-08-07 20:53:43] 771*2^1520683-1 is not prime. Res64: 97A38B0882FAE135 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:27:53] 871*2^1520683-1 is not prime. Res64: 74221B2C6971F212 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:27:54] 873*2^1520683-1 is not prime. Res64: AC371B1158535987 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:27:54] 943*2^1520683-1 is not prime. Res64: 770A412CA4FF706E Time : 0.0 sec. user=mdettweiler [2018-08-07 21:27:54] 617*2^1520684-1 is not prime. Res64: 05D597D3E80652D7 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:27:55] 623*2^1520684-1 is not prime. Res64: 429524D8DF2E510C Time : 0.0 sec. user=mdettweiler [2018-08-07 21:34:50] 699*2^1520684-1 is not prime. Res64: 304F2DCAAF5E7DC2 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:34:51] 753*2^1520684-1 is not prime. Res64: B56CC24C1BA16C05 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:34:51] 759*2^1520684-1 is not prime. Res64: 81E33EE461B0243E Time : 0.0 sec. user=mdettweiler [2018-08-07 21:34:51] 785*2^1520684-1 is not prime. Res64: ACE082A4DD209DF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:34:52] 869*2^1520684-1 is not prime. Res64: 0B9204ED60FFE107 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:36:38] 909*2^1520684-1 is not prime. Res64: D178C7C5DE015BF1 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:36:38] 969*2^1520684-1 is not prime. Res64: AAA01232FFF3E4F3 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:36:39] 649*2^1520685-1 is not prime. Res64: D133CB46FE884F24 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:36:39] 651*2^1520685-1 is not prime. Res64: C101A59EE941F46E Time : 0.0 sec. user=mdettweiler [2018-08-07 21:36:40] 867*2^1520685-1 is not prime. Res64: 6914AEC8B6D990A6 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:45:26] 975*2^1520685-1 is not prime. Res64: E7D6FFEBE39BE11F Time : 0.0 sec. user=mdettweiler [2018-08-07 21:45:27] 611*2^1520686-1 is not prime. Res64: 7A17592AA7145AE0 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:45:27] 647*2^1520686-1 is not prime. Res64: 8F97F4DC0E1E7D88 Time : 0.0 sec. user=mdettweiler [2018-08-07 21:45:28] 671*2^1520686-1 is not prime. Res64: 388199882FE0163B Time : 0.0 sec. user=mdettweiler [2018-08-07 21:45:28] 801*2^1520686-1 is not prime. Res64: 632FF966582ED15F Time : 0.0 sec. user=mdettweiler [2018-08-07 22:19:31] 821*2^1520686-1 is not prime. Res64: 37D66144AA2A0963 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:19:32] 881*2^1520686-1 is not prime. Res64: 96D15C8BD838BC89 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:19:32] 1001*2^1520686-1 is not prime. Res64: EDD17466D7C523E4 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:19:33] 619*2^1520687-1 is not prime. Res64: D7A038F20725FD2B Time : 0.0 sec. user=mdettweiler [2018-08-07 22:19:33] 861*2^1520687-1 is not prime. Res64: EA5CD03E339C8B25 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:27:16] 979*2^1520687-1 is not prime. Res64: 30B9C5F2FAC15AA5 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:27:16] 985*2^1520687-1 is not prime. Res64: 42C584BF9249FAE9 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:27:17] 663*2^1520688-1 is not prime. Res64: C061020275756A29 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:27:17] 695*2^1520688-1 is not prime. Res64: 2F6283641818D84E Time : 0.0 sec. user=mdettweiler [2018-08-07 22:27:18] 737*2^1520688-1 is not prime. Res64: 10C27A00C8CBEE99 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:28:33] 759*2^1520688-1 is not prime. Res64: 661552A315AB7FD5 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:28:33] 845*2^1520688-1 is not prime. Res64: D47F6072D801557F Time : 0.0 sec. user=mdettweiler [2018-08-07 22:28:34] 875*2^1520688-1 is not prime. Res64: 4D82B33AEAB3890D Time : 0.0 sec. user=mdettweiler [2018-08-07 22:28:34] 923*2^1520688-1 is not prime. Res64: 9E837779A4BD772A Time : 0.0 sec. user=mdettweiler [2018-08-07 22:28:34] 945*2^1520688-1 is not prime. Res64: E4462300DB2AC299 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:39:24] 993*2^1520688-1 is not prime. Res64: 5314574C32347D2B Time : 0.0 sec. user=mdettweiler [2018-08-07 22:39:25] 661*2^1520689-1 is not prime. Res64: 573DB4EFB4742085 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:39:25] 775*2^1520689-1 is not prime. Res64: C1ED3CD06103A779 Time : 0.0 sec. user=mdettweiler [2018-08-07 22:39:25] 861*2^1520689-1 is not prime. Res64: 398F22E44E317F0C Time : 0.0 sec. user=mdettweiler [2018-08-07 22:39:26] 979*2^1520689-1 is not prime. Res64: 9434710767286615 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:11:23] 641*2^1520690-1 is not prime. Res64: 4CBF51B066A67FB8 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:11:24] 657*2^1520690-1 is not prime. Res64: A76F5B8856676210 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:11:24] 671*2^1520690-1 is not prime. Res64: 25A8B7A9CB53E2D6 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:11:24] 701*2^1520690-1 is not prime. Res64: 5131A05FE3568E99 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:11:25] 753*2^1520690-1 is not prime. Res64: ABE8FB3550F5FC88 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:19:50] 945*2^1520690-1 is not prime. Res64: B3423113AFED2928 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:19:50] 619*2^1520691-1 is not prime. Res64: BE4B7D30B58E6D6E Time : 0.0 sec. user=mdettweiler [2018-08-07 23:19:50] 649*2^1520691-1 is not prime. Res64: 6C23BDF65E660379 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:19:51] 679*2^1520691-1 is not prime. Res64: 314317812E3F05B8 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:19:51] 781*2^1520691-1 is not prime. Res64: EF10C9DF109D1E79 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:20:10] 783*2^1520690-1 is not prime. Res64: FA280DB040F10B36 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:20:11] 843*2^1520690-1 is not prime. Res64: 8032745DA5F9F6D0 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:20:11] 885*2^1520690-1 is not prime. Res64: 3572B0AF0D7DF63F Time : 0.0 sec. user=mdettweiler [2018-08-07 23:20:12] 893*2^1520690-1 is not prime. Res64: CD56EC740B0E6B54 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:20:12] 911*2^1520690-1 is not prime. Res64: D5053DD19EF576E9 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:30:51] 859*2^1520691-1 is not prime. Res64: 06089085D3AA2C90 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:30:52] 903*2^1520691-1 is not prime. Res64: 537DA0C0A7C58E3A Time : 0.0 sec. user=mdettweiler [2018-08-07 23:30:52] 657*2^1520692-1 is not prime. Res64: 0DA93DC69B2614D3 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:30:53] 777*2^1520692-1 is not prime. Res64: E9799E32D409B8F5 Time : 0.0 sec. user=mdettweiler [2018-08-07 23:30:53] 855*2^1520692-1 is not prime. Res64: ABF542176BA985D8 Time : 0.0 sec.