user=mdettweiler [2018-05-16 00:29:11] 787*2^1509845-1 is not prime. Res64: 64C3067625193CF5 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:29:11] 847*2^1509845-1 is not prime. Res64: 4BBC789FBE6D44AF Time : 0.0 sec. user=mdettweiler [2018-05-16 00:29:12] 653*2^1509846-1 is not prime. Res64: 5659C26F7A720BE6 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:29:12] 671*2^1509846-1 is not prime. Res64: 5F983BD44657B27F Time : 0.0 sec. user=mdettweiler [2018-05-16 00:29:13] 683*2^1509846-1 is not prime. Res64: 599020CBA70DF3EC Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:04] 983*2^1509846-1 is not prime. Res64: 3FCAAFE803D484E7 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:05] 673*2^1509847-1 is not prime. Res64: F63300C86AD2C250 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:05] 705*2^1509847-1 is not prime. Res64: B227770A4AFCC523 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:05] 729*2^1509847-1 is not prime. Res64: D9EA6ED50DAB6245 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:06] 735*2^1509847-1 is not prime. Res64: AFF0DCA25CC39B4D Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:15] 707*2^1509846-1 is not prime. Res64: 3497AA8F50EE297F Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:15] 755*2^1509846-1 is not prime. Res64: C311C4E5F81F7403 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:15] 783*2^1509846-1 is not prime. Res64: 3073C9276182E563 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:16] 807*2^1509846-1 is not prime. Res64: BD97C47D00436542 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:38:16] 881*2^1509846-1 is not prime. Res64: E220F5F40F8EA34D Time : 0.0 sec. user=mdettweiler [2018-05-16 00:41:05] 831*2^1509847-1 is not prime. Res64: 9416BC70F6953C8F Time : 0.0 sec. user=mdettweiler [2018-05-16 00:41:05] 883*2^1509847-1 is not prime. Res64: DEB9A7FA8836B32F Time : 0.0 sec. user=mdettweiler [2018-05-16 00:41:06] 885*2^1509847-1 is not prime. Res64: B2C8E31E36CC31D9 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:41:06] 725*2^1509848-1 is not prime. Res64: 789BC3211F9FB153 Time : 0.0 sec. user=mdettweiler [2018-05-16 00:41:07] 993*2^1509848-1 is not prime. Res64: 1FEECE3A36405945 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:22:27] 681*2^1509849-1 is not prime. Res64: 654706B108F17D21 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:22:28] 711*2^1509849-1 is not prime. Res64: 39846965F4EB276A Time : 0.0 sec. user=mdettweiler [2018-05-16 01:22:28] 795*2^1509849-1 is not prime. Res64: 65083E1EB662F3BE Time : 0.0 sec. user=mdettweiler [2018-05-16 01:22:28] 847*2^1509849-1 is not prime. Res64: 01DA06B17AC2D2B8 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:22:29] 687*2^1509850-1 is not prime. Res64: B8BF27349E21F15C Time : 0.0 sec. user=mdettweiler [2018-05-16 01:32:56] 695*2^1509850-1 is not prime. Res64: 25EB1080C514A7E3 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:32:57] 801*2^1509850-1 is not prime. Res64: AE83C1D4EAB440EE Time : 0.0 sec. user=mdettweiler [2018-05-16 01:32:59] 873*2^1509850-1 is not prime. Res64: F24FD1E97E91C833 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:00] 885*2^1509850-1 is not prime. Res64: 7C185EA40BF28765 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:01] 923*2^1509850-1 is not prime. Res64: DAF996B15C7C742D Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:17] 975*2^1509850-1 is not prime. Res64: 85D5AEB441160A2C Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:20] 995*2^1509850-1 is not prime. Res64: A52311E5BC08BA9E Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:22] 615*2^1509851-1 is not prime. Res64: 48307925909F83FA Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:25] 825*2^1509852-1 is not prime. Res64: D6DE6F1CD0EF04FF Time : 0.0 sec. user=mdettweiler [2018-05-16 01:33:27] 887*2^1509852-1 is not prime. Res64: F40C0F4F99227498 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:37:58] 977*2^1509852-1 is not prime. Res64: 24C007DC0CA090B4 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:37:58] 999*2^1509852-1 is not prime. Res64: C90B9A3B64DACE77 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:37:59] 607*2^1509853-1 is not prime. Res64: 45A83DBE5E19B5B2 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:37:59] 687*2^1509853-1 is not prime. Res64: D02B90B35985BC91 Time : 0.0 sec. user=mdettweiler [2018-05-16 01:38:00] 859*2^1509853-1 is not prime. Res64: 44037AFDE01E8C3F Time : 0.0 sec. user=mdettweiler [2018-05-16 02:13:42] 877*2^1509853-1 is not prime. Res64: 3ACC346D22916DF3 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:13:43] 927*2^1509853-1 is not prime. Res64: 329455294D9A0D55 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:13:43] 957*2^1509853-1 is not prime. Res64: AB8FFE71A5BD8214 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:13:44] 645*2^1509854-1 is not prime. Res64: F7EB53329C21AED6 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:13:44] 707*2^1509854-1 is not prime. Res64: FE9357B90233A5F0 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:24:51] 755*2^1509854-1 is not prime. Res64: 910A8BCBDB1F3249 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:24:52] 851*2^1509854-1 is not prime. Res64: 6DA84604B170BA01 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:24:52] 857*2^1509854-1 is not prime. Res64: 539D30A20A86D561 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:24:53] 691*2^1509855-1 is not prime. Res64: 9ED0445312080293 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:24:53] 693*2^1509855-1 is not prime. Res64: 8C0E6ABEDD3A985B Time : 0.0 sec. user=mdettweiler [2018-05-16 02:25:26] 793*2^1509855-1 is not prime. Res64: 69F809E9331151C5 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:25:27] 985*2^1509855-1 is not prime. Res64: E8A11041A6523473 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:25:27] 999*2^1509855-1 is not prime. Res64: 58603B410D80AC14 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:25:28] 653*2^1509856-1 is not prime. Res64: F8A292ABB5117853 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:25:28] 747*2^1509856-1 is not prime. Res64: 99B25C78F2B14423 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:30:14] 857*2^1509856-1 is not prime. Res64: A96258ED4DE6EF7A Time : 0.0 sec. user=mdettweiler [2018-05-16 02:30:15] 923*2^1509856-1 is not prime. Res64: 0CBDAE30A5CC1D06 Time : 0.0 sec. user=mdettweiler [2018-05-16 02:30:15] 983*2^1509856-1 is not prime. Res64: 49707FB598FC8C4E Time : 0.0 sec. user=mdettweiler [2018-05-16 02:30:16] 685*2^1509857-1 is not prime. Res64: B1B97F0DFB9E2BAB Time : 0.0 sec. user=mdettweiler [2018-05-16 02:30:17] 699*2^1509857-1 is not prime. Res64: DFF98F70A76A73F6 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:07:02] 717*2^1509857-1 is not prime. Res64: 41410D3919C0E9C5 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:07:03] 769*2^1509857-1 is not prime. Res64: 51566E1DD46CA57D Time : 0.0 sec. user=mdettweiler [2018-05-16 03:07:03] 799*2^1509857-1 is not prime. Res64: 921DBE3391339608 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:07:04] 871*2^1509857-1 is not prime. Res64: 61721405B03F9272 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:07:04] 931*2^1509857-1 is not prime. Res64: 73FA17611A565B66 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:16:21] 611*2^1509858-1 is not prime. Res64: 0FAE0CCB008E0E3D Time : 0.0 sec. user=mdettweiler [2018-05-16 03:16:22] 663*2^1509858-1 is not prime. Res64: 4A51F67C4FCD2C9E Time : 0.0 sec. user=mdettweiler [2018-05-16 03:16:22] 681*2^1509858-1 is not prime. Res64: 787C0D96E2B72421 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:16:23] 725*2^1509858-1 is not prime. Res64: D8AE3BF95EFA306C Time : 0.0 sec. user=mdettweiler [2018-05-16 03:16:23] 777*2^1509858-1 is not prime. Res64: 24CF417431491498 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:17:26] 821*2^1509858-1 is not prime. Res64: 586C6929A9F722B5 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:17:26] 825*2^1509858-1 is not prime. Res64: 85E1B0878B267132 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:17:27] 833*2^1509858-1 is not prime. Res64: BC9FB464096EDED7 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:17:27] 867*2^1509858-1 is not prime. Res64: 824BFC11091D766B Time : 0.0 sec. user=mdettweiler [2018-05-16 03:17:27] 1001*2^1509858-1 is not prime. Res64: 477BA9EEA4A93225 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:21:06] 609*2^1509859-1 is not prime. Res64: 90FC08154F1C8A56 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:21:06] 633*2^1509859-1 is not prime. Res64: 4830E33D6EB04F5A Time : 0.0 sec. user=mdettweiler [2018-05-16 03:21:07] 691*2^1509859-1 is not prime. Res64: 88367D29448D8349 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:21:07] 741*2^1509859-1 is not prime. Res64: 145A339AFBED724E Time : 0.0 sec. user=mdettweiler [2018-05-16 03:21:07] 909*2^1509859-1 is not prime. Res64: 4248C2E968524594 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:57:30] 975*2^1509859-1 is not prime. Res64: A3D25E8E7899862B Time : 0.0 sec. user=mdettweiler [2018-05-16 03:57:31] 735*2^1509860-1 is not prime. Res64: F36FA2CC6DA627A6 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:57:32] 759*2^1509860-1 is not prime. Res64: 250ECBF827DD8343 Time : 0.0 sec. user=mdettweiler [2018-05-16 03:57:33] 923*2^1509860-1 is not prime. Res64: B3229860FC3C47AD Time : 0.0 sec. user=mdettweiler [2018-05-16 03:57:35] 607*2^1509861-1 is not prime. Res64: BD6256DD57C48E0E Time : 0.0 sec. user=mdettweiler [2018-05-16 04:06:16] 649*2^1509861-1 is not prime. Res64: 80E3694E19260727 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:07:40] 901*2^1509861-1 is not prime. Res64: 13CECABDD2D6FC5D Time : 0.0 sec. user=mdettweiler [2018-05-16 04:07:43] 951*2^1509861-1 is not prime. Res64: A09CFF7B3F9E8B39 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:07:51] 635*2^1509862-1 is not prime. Res64: A6D542B22665E007 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:07:56] 681*2^1509862-1 is not prime. Res64: 7A0B505688AD811A Time : 0.0 sec. user=mdettweiler [2018-05-16 04:08:01] 717*2^1509862-1 is not prime. Res64: 6E0EDE829F00321E Time : 0.0 sec. user=mdettweiler [2018-05-16 04:12:01] 827*2^1509862-1 is not prime. Res64: 2B24A802F4A51B2A Time : 0.0 sec. user=mdettweiler [2018-05-16 04:12:04] 831*2^1509862-1 is not prime. Res64: 6B84A531CAF2B67B Time : 0.0 sec. user=mdettweiler [2018-05-16 04:12:07] 833*2^1509862-1 is not prime. Res64: C70637CC81AA5357 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:12:11] 843*2^1509862-1 is not prime. Res64: CB477544FBBAE3E0 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:12:13] 885*2^1509862-1 is not prime. Res64: 0F71DC3A087C1FF1 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:47:39] 917*2^1509862-1 is not prime. Res64: 4D6ED361794249DC Time : 0.0 sec. user=mdettweiler [2018-05-16 04:47:40] 609*2^1509863-1 is not prime. Res64: 7988D54A2A95E689 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:47:41] 619*2^1509863-1 is not prime. Res64: 9FC30AD3593A3D69 Time : 0.0 sec. user=mdettweiler [2018-05-16 04:47:41] 685*2^1509863-1 is not prime. Res64: 496245B4FCE904ED Time : 0.0 sec. user=mdettweiler [2018-05-16 04:47:42] 609*2^1509864-1 is not prime. Res64: BBD16B2D631867F2 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:00:49] 615*2^1509864-1 is not prime. Res64: 0422217BD3C8A035 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:00:51] 689*2^1509864-1 is not prime. Res64: 7B8DAF3E303B9C3C Time : 0.0 sec. user=mdettweiler [2018-05-16 05:00:52] 765*2^1509864-1 is not prime. Res64: FAF6A696762BB237 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:00:53] 767*2^1509864-1 is not prime. Res64: 6DBAB847281C30E1 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:00:54] 837*2^1509864-1 is not prime. Res64: D7D54458A31EFA5B Time : 0.0 sec. user=mdettweiler [2018-05-16 05:03:38] 651*2^1509865-1 is not prime. Res64: BD89B16CB02F3BB5 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:03:40] 691*2^1509865-1 is not prime. Res64: E8FA92A3047F427A Time : 0.0 sec. user=mdettweiler [2018-05-16 05:03:44] 771*2^1509865-1 is not prime. Res64: 90387B89D8A9B2EA Time : 0.0 sec. user=mdettweiler [2018-05-16 05:03:45] 801*2^1509865-1 is not prime. Res64: A53A28EE42C55668 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:03:47] 855*2^1509865-1 is not prime. Res64: 92BCEC2899F7283A Time : 0.0 sec. user=mdettweiler [2018-05-16 05:39:34] 867*2^1509865-1 is not prime. Res64: 1BF0E8237786CE3B Time : 0.0 sec. user=mdettweiler [2018-05-16 05:39:35] 877*2^1509865-1 is not prime. Res64: 62ABC6ED9871AA54 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:39:35] 885*2^1509865-1 is not prime. Res64: F85EEFABD2DBDC04 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:39:36] 895*2^1509865-1 is not prime. Res64: 2A6DCC1A710165E6 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:39:37] 937*2^1509865-1 is not prime. Res64: E07FFEB6EE77D6F0 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:51:12] 603*2^1509866-1 is not prime. Res64: B9C2BF26DE50C602 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:51:13] 633*2^1509866-1 is not prime. Res64: BA4E2FADB9D6B411 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:51:13] 641*2^1509866-1 is not prime. Res64: EA80F5DC5875761D Time : 0.0 sec. user=mdettweiler [2018-05-16 05:51:13] 657*2^1509866-1 is not prime. Res64: 2A39785CEA847197 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:51:14] 683*2^1509866-1 is not prime. Res64: 49E9A1026CAE6611 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:55:42] 767*2^1509866-1 is not prime. Res64: 2F510DB01EE1B736 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:55:42] 773*2^1509866-1 is not prime. Res64: 687693F66E2C8DB6 Time : 0.0 sec. user=mdettweiler [2018-05-16 05:55:43] 827*2^1509866-1 is not prime. Res64: 14E2B66F106CD9EB Time : 0.0 sec. user=mdettweiler [2018-05-16 05:55:43] 851*2^1509866-1 is not prime. Res64: 43962CB6C3AB723F Time : 0.0 sec. user=mdettweiler [2018-05-16 05:55:44] 893*2^1509866-1 is not prime. Res64: E2F8303D887CF787 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:30:59] 923*2^1509866-1 is not prime. Res64: 954F0082B9197AD4 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:31:00] 957*2^1509866-1 is not prime. Res64: C3F34E9AD43EBC33 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:31:00] 971*2^1509866-1 is not prime. Res64: E112529F825C749E Time : 0.0 sec. user=mdettweiler [2018-05-16 06:31:00] 625*2^1509867-1 is not prime. Res64: 5D1E565746D58258 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:31:01] 643*2^1509867-1 is not prime. Res64: EA4B1F1F5A49CB87 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:42:45] 705*2^1509867-1 is not prime. Res64: D020CECCCB357DAE Time : 0.0 sec. user=mdettweiler [2018-05-16 06:42:46] 741*2^1509867-1 is not prime. Res64: BBDBED19308E5BB0 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:42:46] 753*2^1509867-1 is not prime. Res64: 7916F864AFDCCEB0 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:42:46] 781*2^1509867-1 is not prime. Res64: FCCA4447531FB69B Time : 0.0 sec. user=mdettweiler [2018-05-16 06:42:48] 825*2^1509867-1 is not prime. Res64: 91B98F15F31B22CD Time : 0.0 sec. user=mdettweiler [2018-05-16 06:47:29] 895*2^1509867-1 is not prime. Res64: 7B1E9570FF763D55 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:47:30] 973*2^1509867-1 is not prime. Res64: 89BBBA4732A32010 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:47:31] 723*2^1509868-1 is not prime. Res64: 014C2895194AB6C9 Time : 0.0 sec. user=mdettweiler [2018-05-16 06:47:31] 765*2^1509868-1 is not prime. Res64: 88F8338FE1C5B40A Time : 0.0 sec. user=mdettweiler [2018-05-16 06:47:32] 909*2^1509868-1 is not prime. Res64: 1DF738AF960B5E20 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:21:35] 923*2^1509868-1 is not prime. Res64: 3C11EEADB45889AC Time : 0.0 sec. user=mdettweiler [2018-05-16 07:21:35] 601*2^1509869-1 is not prime. Res64: D1BD023699BD4B4A Time : 0.0 sec. user=mdettweiler [2018-05-16 07:21:36] 615*2^1509869-1 is not prime. Res64: 07904B841E157E51 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:21:36] 631*2^1509869-1 is not prime. Res64: 9EE18AD65EAC3887 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:21:37] 645*2^1509869-1 is not prime. Res64: 0CE6D4AC2ED638F4 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:34:20] 735*2^1509869-1 is not prime. Res64: 757513765F49A751 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:34:20] 781*2^1509869-1 is not prime. Res64: 8F33D16DFB5D5AE8 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:34:21] 955*2^1509869-1 is not prime. Res64: D606D63461EE24A0 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:34:21] 677*2^1509870-1 is not prime. Res64: B1C2839EADCFA940 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:34:22] 713*2^1509870-1 is not prime. Res64: 687EBEC1816AFCBE Time : 0.0 sec. user=mdettweiler [2018-05-16 07:38:58] 863*2^1509870-1 is not prime. Res64: 0D2C5DFB0410B5A8 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:38:58] 933*2^1509870-1 is not prime. Res64: 628E87730AD8FFFE Time : 0.0 sec. user=mdettweiler [2018-05-16 07:38:59] 685*2^1509871-1 is not prime. Res64: 8155244CB477775B Time : 0.0 sec. user=mdettweiler [2018-05-16 07:38:59] 705*2^1509871-1 is not prime. Res64: AF929FEE5EEB26AB Time : 0.0 sec. user=mdettweiler [2018-05-16 07:38:59] 709*2^1509871-1 is not prime. Res64: E38F51F9A6361E0F Time : 0.0 sec. user=mdettweiler [2018-05-16 07:56:36] 657*2^1509861-1 is not prime. Res64: 10C6D33F3D662AF0 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:56:36] 669*2^1509861-1 is not prime. Res64: C9DC4111FD4C512A Time : 0.0 sec. user=mdettweiler [2018-05-16 07:56:36] 877*2^1509861-1 is not prime. Res64: 458D135327DDFF60 Time : 0.0 sec. user=mdettweiler [2018-05-16 07:56:37] 895*2^1509861-1 is not prime. Res64: 1EF565350D2A4128 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:12:09] 859*2^1509871-1 is not prime. Res64: 473858FE1FAF89CD Time : 0.0 sec. user=mdettweiler [2018-05-16 08:12:10] 975*2^1509871-1 is not prime. Res64: 2D04D62A5EB78A03 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:12:10] 615*2^1509872-1 is not prime. Res64: 80FCD27DE9FC1DC8 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:12:11] 617*2^1509872-1 is not prime. Res64: 3290BD928290DA17 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:12:11] 677*2^1509872-1 is not prime. Res64: 066F322BAE21E181 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:25:29] 683*2^1509872-1 is not prime. Res64: 271DACF970AA3869 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:25:30] 735*2^1509872-1 is not prime. Res64: E1D0E667F7FB8AFB Time : 0.0 sec. user=mdettweiler [2018-05-16 08:25:30] 785*2^1509872-1 is not prime. Res64: 98A6271DB34040D2 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:25:31] 915*2^1509872-1 is not prime. Res64: DD4670857D1A523A Time : 0.0 sec. user=mdettweiler [2018-05-16 08:25:31] 959*2^1509872-1 is not prime. Res64: 44E8F9F53788AA90 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:29:51] 963*2^1509872-1 is not prime. Res64: 670B61D5D3D5FA33 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:29:52] 625*2^1509873-1 is prime! Time : 0.0 sec. user=mdettweiler [2018-05-16 08:29:57] 657*2^1509873-1 is not prime. Res64: EBE5E139F3A664AE Time : 0.0 sec. user=mdettweiler [2018-05-16 08:29:57] 669*2^1509873-1 is not prime. Res64: 1442D176A8209192 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:29:58] 691*2^1509873-1 is not prime. Res64: 59F689F1E2687476 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:47:31] 721*2^1509873-1 is not prime. Res64: 54A2D633E8743E50 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:47:32] 871*2^1509873-1 is not prime. Res64: B6A5189597EEE2DE Time : 0.0 sec. user=mdettweiler [2018-05-16 08:47:32] 915*2^1509873-1 is not prime. Res64: 19585230C64A6587 Time : 0.0 sec. user=mdettweiler [2018-05-16 08:47:32] 985*2^1509873-1 is not prime. Res64: BE946F04A25EA57A Time : 0.0 sec. user=mdettweiler [2018-05-16 08:47:33] 605*2^1509874-1 is not prime. Res64: 3D59BAE099DD687C Time : 0.0 sec. user=mdettweiler [2018-05-16 09:01:48] 695*2^1509874-1 is not prime. Res64: E078894D790E091E Time : 0.0 sec. user=mdettweiler [2018-05-16 09:01:49] 755*2^1509874-1 is not prime. Res64: 3A36BDC46C9DC729 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:01:50] 601*2^1509875-1 is not prime. Res64: E799FCCA0F0363CD Time : 0.0 sec. user=mdettweiler [2018-05-16 09:01:51] 655*2^1509875-1 is not prime. Res64: 81C70862EE84AB95 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:01:52] 673*2^1509875-1 is not prime. Res64: BF113F24C41B6444 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:16:24] 859*2^1509875-1 is not prime. Res64: BEEFAEB24C6BBBEC Time : 0.0 sec. user=mdettweiler [2018-05-16 09:16:25] 949*2^1509875-1 is not prime. Res64: 8A42588980B8537A Time : 0.0 sec. user=mdettweiler [2018-05-16 09:16:25] 991*2^1509875-1 is not prime. Res64: 78C0422EFD555160 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:16:26] 635*2^1509876-1 is not prime. Res64: 56CDB71D1B306656 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:16:27] 717*2^1509876-1 is not prime. Res64: E41134549F9A297C Time : 0.0 sec. user=mdettweiler [2018-05-16 09:21:06] 719*2^1509876-1 is not prime. Res64: 5D148B24FDEEB21D Time : 0.0 sec. user=mdettweiler [2018-05-16 09:21:07] 773*2^1509876-1 is not prime. Res64: 2FBAACB44BCD5652 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:21:07] 843*2^1509876-1 is not prime. Res64: 10AAAF3E5F15998B Time : 0.0 sec. user=mdettweiler [2018-05-16 09:21:08] 879*2^1509876-1 is not prime. Res64: 1133EEF61B2B760B Time : 0.0 sec. user=mdettweiler [2018-05-16 09:21:08] 987*2^1509876-1 is not prime. Res64: D5EDD931E262CEA8 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:37:49] 993*2^1509876-1 is not prime. Res64: 39337296A9DC988B Time : 0.0 sec. user=mdettweiler [2018-05-16 09:37:51] 615*2^1509877-1 is not prime. Res64: 30E9FC7EE62F272A Time : 0.0 sec. user=mdettweiler [2018-05-16 09:37:51] 625*2^1509877-1 is not prime. Res64: 8774E69CCE7E4CBD Time : 0.0 sec. user=mdettweiler [2018-05-16 09:37:51] 667*2^1509877-1 is not prime. Res64: E40FD06782D4F4A1 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:37:52] 817*2^1509877-1 is not prime. Res64: 945CDE780FE770F7 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:52:35] 901*2^1509877-1 is not prime. Res64: 175EB2F12A6CC5C2 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:52:36] 961*2^1509877-1 is not prime. Res64: 0E7E3C2A2C9AD3AC Time : 0.0 sec. user=mdettweiler [2018-05-16 09:52:36] 605*2^1509878-1 is not prime. Res64: 20E151EBA0135F67 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:52:36] 663*2^1509878-1 is not prime. Res64: C37FF3D9FF4DF649 Time : 0.0 sec. user=mdettweiler [2018-05-16 09:52:37] 687*2^1509878-1 is not prime. Res64: E67F97A7F65D698D Time : 0.0 sec. user=mdettweiler [2018-05-16 10:07:57] 773*2^1509878-1 is not prime. Res64: B37D52359CC90AA4 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:07:59] 795*2^1509878-1 is not prime. Res64: 432387EBC38B26B6 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:08:01] 813*2^1509878-1 is not prime. Res64: B66A4FD6A0D3A9C5 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:08:03] 963*2^1509878-1 is not prime. Res64: B47AB0818DA38B21 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:08:04] 977*2^1509878-1 is not prime. Res64: 8F390FC466D02E70 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:12:09] 679*2^1509879-1 is not prime. Res64: 26908D6D55B896C3 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:12:09] 741*2^1509879-1 is not prime. Res64: D04E6848620AE140 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:12:10] 843*2^1509879-1 is not prime. Res64: BEC09A6B936600B5 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:12:10] 895*2^1509879-1 is not prime. Res64: 53C1F710B1FA86CD Time : 0.0 sec. user=mdettweiler [2018-05-16 10:12:11] 969*2^1509879-1 is not prime. Res64: 85700EA536432FE3 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:28:09] 975*2^1509879-1 is not prime. Res64: DBFC34AABC1D70B5 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:28:10] 615*2^1509880-1 is not prime. Res64: F22FBBC67C07BB0F Time : 0.0 sec. user=mdettweiler [2018-05-16 10:28:10] 653*2^1509880-1 is not prime. Res64: 2DC32F364EFCAAD9 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:28:11] 693*2^1509880-1 is not prime. Res64: EB8DE85C7A82B3C3 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:28:11] 927*2^1509880-1 is not prime. Res64: 77CA25D03DCB6582 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:43:19] 999*2^1509880-1 is not prime. Res64: 575375D8F933ECEC Time : 0.0 sec. user=mdettweiler [2018-05-16 10:43:20] 601*2^1509881-1 is not prime. Res64: D6647D94BAEAB9DD Time : 0.0 sec. user=mdettweiler [2018-05-16 10:43:20] 631*2^1509881-1 is not prime. Res64: 0682131D316953D8 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:43:21] 645*2^1509881-1 is not prime. Res64: E835D28B53552756 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:43:21] 717*2^1509881-1 is not prime. Res64: ED80F4F2ECF152FB Time : 0.0 sec. user=mdettweiler [2018-05-16 10:59:54] 865*2^1509881-1 is not prime. Res64: 6E67F20E5DE6D511 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:59:55] 871*2^1509881-1 is not prime. Res64: A2EEA51FCC075CD3 Time : 0.0 sec. user=mdettweiler [2018-05-16 10:59:55] 889*2^1509881-1 is not prime. Res64: C3B85C8D2E3237BA Time : 0.0 sec. user=mdettweiler [2018-05-16 10:59:56] 931*2^1509881-1 is not prime. Res64: AF24C52740609EBC Time : 0.0 sec. user=mdettweiler [2018-05-16 10:59:56] 937*2^1509881-1 is not prime. Res64: 87AF4D9089AEF567 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:03:22] 979*2^1509881-1 is not prime. Res64: 73644A53A9344334 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:03:27] 681*2^1509882-1 is not prime. Res64: DB47ED1A7670EA66 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:03:29] 797*2^1509882-1 is not prime. Res64: 61822C5268FECD8D Time : 0.0 sec. user=mdettweiler [2018-05-16 11:03:33] 961*2^1509883-1 is not prime. Res64: 1152A4B5DE21561E Time : 0.0 sec. user=mdettweiler [2018-05-16 11:03:35] 609*2^1509884-1 is not prime. Res64: B99470ED9A8477F7 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:19:00] 623*2^1509884-1 is not prime. Res64: 2546B053B326CEBD Time : 0.0 sec. user=mdettweiler [2018-05-16 11:19:00] 677*2^1509884-1 is not prime. Res64: 0488E15B9A9B3186 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:19:01] 707*2^1509884-1 is not prime. Res64: 4682F4C6433F9A6D Time : 0.0 sec. user=mdettweiler [2018-05-16 11:19:01] 743*2^1509884-1 is not prime. Res64: E40BE1085802C6FE Time : 0.0 sec. user=mdettweiler [2018-05-16 11:19:02] 749*2^1509884-1 is not prime. Res64: CE6B28D087F9CAF4 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:34:58] 843*2^1509884-1 is not prime. Res64: F783E0003FA16B59 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:34:59] 927*2^1509884-1 is not prime. Res64: 6769727279273D1C Time : 0.0 sec. user=mdettweiler [2018-05-16 11:34:59] 959*2^1509884-1 is not prime. Res64: 900E51FA92891613 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:35:01] 657*2^1509885-1 is not prime. Res64: 7D8AD36202065B20 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:35:01] 669*2^1509885-1 is not prime. Res64: AAB49906496320C1 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:52:07] 691*2^1509885-1 is not prime. Res64: 13F5784AA1B01EAB Time : 0.0 sec. user=mdettweiler [2018-05-16 11:52:08] 727*2^1509885-1 is not prime. Res64: 470DF4A3F965B280 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:52:08] 787*2^1509885-1 is not prime. Res64: 690CCE0BB3C424B1 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:52:09] 817*2^1509885-1 is not prime. Res64: 149BB7B1BBAE2B15 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:52:09] 975*2^1509885-1 is not prime. Res64: 2119699D3590733E Time : 0.0 sec. user=mdettweiler [2018-05-16 11:55:45] 979*2^1509885-1 is not prime. Res64: AB0B96F732AA06E4 Time : 0.0 sec. user=mdettweiler [2018-05-16 11:55:45] 705*2^1509886-1 is not prime. Res64: B977D51A1E593B9D Time : 0.0 sec. user=mdettweiler [2018-05-16 11:55:45] 783*2^1509886-1 is not prime. Res64: 34BC8E8A981DF34A Time : 0.0 sec. user=mdettweiler [2018-05-16 11:55:46] 813*2^1509886-1 is not prime. Res64: E0766A1D9CFB82FF Time : 0.0 sec. user=mdettweiler [2018-05-16 11:55:46] 857*2^1509886-1 is not prime. Res64: 28040D1F0ABF1D4C Time : 0.0 sec. user=mdettweiler [2018-05-16 12:11:23] 897*2^1509886-1 is not prime. Res64: 4F01AFB3765D80F0 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:11:24] 601*2^1509887-1 is not prime. Res64: 116A585F88CCD285 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:11:24] 645*2^1509887-1 is not prime. Res64: D65D88BBB4CECA0F Time : 0.0 sec. user=mdettweiler [2018-05-16 12:11:25] 939*2^1509887-1 is not prime. Res64: 28299782B2DEB988 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:11:25] 657*2^1509888-1 is not prime. Res64: 48115107EC934507 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:30:22] 905*2^1509888-1 is not prime. Res64: B2873194533EF21E Time : 0.0 sec. user=mdettweiler [2018-05-16 12:30:22] 909*2^1509888-1 is not prime. Res64: 601C18E58357BA7C Time : 0.0 sec. user=mdettweiler [2018-05-16 12:30:22] 927*2^1509888-1 is not prime. Res64: 4E40E240EC6D474E Time : 0.0 sec. user=mdettweiler [2018-05-16 12:30:24] 691*2^1509889-1 is not prime. Res64: 8B7633C729195F15 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:30:24] 939*2^1509889-1 is not prime. Res64: 0B78DCB36AE21DB7 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:44:10] 985*2^1509889-1 is not prime. Res64: F8FFD71042859137 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:44:10] 665*2^1509890-1 is not prime. Res64: AE16F984F76A1EAD Time : 0.0 sec. user=mdettweiler [2018-05-16 12:44:11] 785*2^1509890-1 is not prime. Res64: F8D4F45255B8F1BD Time : 0.0 sec. user=mdettweiler [2018-05-16 12:44:11] 851*2^1509890-1 is not prime. Res64: C6EAB68C442E5AA3 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:44:12] 935*2^1509890-1 is not prime. Res64: EC6B0E3C20141002 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:49:07] 971*2^1509890-1 is not prime. Res64: D753C1E68F925B94 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:49:07] 685*2^1509891-1 is not prime. Res64: 7B05F8A26E29C091 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:49:08] 961*2^1509891-1 is not prime. Res64: 7B07E378466B2A10 Time : 0.0 sec. user=mdettweiler [2018-05-16 12:49:08] 687*2^1509892-1 is not prime. Res64: 11134F73C985C39B Time : 0.0 sec. user=mdettweiler [2018-05-16 12:49:08] 689*2^1509892-1 is not prime. Res64: 4A126D541AF1078B Time : 0.0 sec. user=mdettweiler [2018-05-16 13:03:00] 717*2^1509892-1 is not prime. Res64: 23DD6406FC49831F Time : 0.0 sec. user=mdettweiler [2018-05-16 13:03:02] 735*2^1509892-1 is not prime. Res64: 2B3151830913D394 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:03:03] 785*2^1509892-1 is not prime. Res64: 8E8ED89F4563A724 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:03:04] 885*2^1509892-1 is not prime. Res64: 53C60E1AEA8C1527 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:03:06] 959*2^1509892-1 is not prime. Res64: 9FDA5FAC3B56C69B Time : 0.0 sec. user=mdettweiler [2018-05-16 13:22:45] 983*2^1509892-1 is not prime. Res64: 39F3FDCC006C5141 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:22:46] 615*2^1509893-1 is not prime. Res64: 44429F363F3DCAF5 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:22:49] 651*2^1509893-1 is not prime. Res64: 33A271E1064A418B Time : 0.0 sec. user=mdettweiler [2018-05-16 13:22:50] 741*2^1509893-1 is not prime. Res64: 8FF1822B78A6A3C9 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:22:51] 847*2^1509893-1 is not prime. Res64: 4DC4F8DBDE519072 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:35:18] 885*2^1509893-1 is not prime. Res64: FBD767A2119481A2 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:35:18] 897*2^1509893-1 is not prime. Res64: 550E3B1FF4E37C0D Time : 0.0 sec. user=mdettweiler [2018-05-16 13:35:18] 925*2^1509893-1 is not prime. Res64: 709A164EC7C1B3B8 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:35:19] 985*2^1509893-1 is not prime. Res64: D218260D9D9B7B11 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:35:19] 621*2^1509894-1 is not prime. Res64: 9E31C07305C755B0 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:44:03] 737*2^1509894-1 is not prime. Res64: 8C6EEB7686C25551 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:44:04] 791*2^1509894-1 is not prime. Res64: 99C85CF640F3A3BD Time : 0.0 sec. user=mdettweiler [2018-05-16 13:44:04] 893*2^1509894-1 is not prime. Res64: 5871BAC662E38218 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:44:05] 993*2^1509894-1 is not prime. Res64: 49398F2F31A73ECB Time : 0.0 sec. user=mdettweiler [2018-05-16 13:44:05] 639*2^1509895-1 is not prime. Res64: 871F1EDD1E725E4D Time : 0.0 sec. user=mdettweiler [2018-05-16 13:57:05] 723*2^1509895-1 is not prime. Res64: 4998FBF078AB3867 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:57:05] 775*2^1509895-1 is not prime. Res64: 1E4FCE924823E38D Time : 0.0 sec. user=mdettweiler [2018-05-16 13:57:06] 859*2^1509895-1 is not prime. Res64: 8E16E1F266EE1E58 Time : 0.0 sec. user=mdettweiler [2018-05-16 13:57:06] 889*2^1509895-1 is not prime. Res64: C4A671603CAE3D2D Time : 0.0 sec. user=mdettweiler [2018-05-16 13:57:07] 615*2^1509896-1 is not prime. Res64: A0287678A20723DB Time : 0.0 sec. user=mdettweiler [2018-05-16 14:14:02] 659*2^1509896-1 is not prime. Res64: 721EF30D211C7821 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:14:03] 669*2^1509896-1 is not prime. Res64: D64C4D115D16A90F Time : 0.0 sec. user=mdettweiler [2018-05-16 14:14:03] 759*2^1509896-1 is not prime. Res64: 766C4AE42D4D2D29 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:14:04] 789*2^1509896-1 is not prime. Res64: BE71524602E743AD Time : 0.0 sec. user=mdettweiler [2018-05-16 14:14:04] 869*2^1509896-1 is not prime. Res64: F960C8C07E8BF155 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:26:35] 903*2^1509896-1 is not prime. Res64: FBA2BA89B54A19C3 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:26:35] 667*2^1509897-1 is not prime. Res64: FDDB6F11D60057D2 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:26:36] 765*2^1509897-1 is not prime. Res64: 3F7CD479C2077F58 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:26:36] 847*2^1509897-1 is not prime. Res64: ADF1BDB65DA4ADB5 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:26:37] 991*2^1509897-1 is not prime. Res64: 048326825285A744 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:35:24] 665*2^1509898-1 is not prime. Res64: 2372CDC6822EE9FA Time : 0.0 sec. user=mdettweiler [2018-05-16 14:35:25] 681*2^1509898-1 is not prime. Res64: 81B63168B13E5C96 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:35:25] 737*2^1509898-1 is not prime. Res64: 9177B949368CCD59 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:35:26] 743*2^1509898-1 is not prime. Res64: 47484CC2EE3DFC5B Time : 0.0 sec. user=mdettweiler [2018-05-16 14:35:26] 815*2^1509898-1 is not prime. Res64: 22AA397E808BB1A1 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:48:01] 843*2^1509898-1 is not prime. Res64: 9FF602FE7DEA45ED Time : 0.0 sec. user=mdettweiler [2018-05-16 14:48:01] 867*2^1509898-1 is not prime. Res64: 7E485E32B44AD73F Time : 0.0 sec. user=mdettweiler [2018-05-16 14:48:01] 887*2^1509898-1 is not prime. Res64: DD7D307D37E5C8E1 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:48:02] 891*2^1509898-1 is not prime. Res64: 7B44FC484A880AE5 Time : 0.0 sec. user=mdettweiler [2018-05-16 14:48:02] 621*2^1509899-1 is not prime. Res64: 43E7E2E61F2E7E1D Time : 0.0 sec. user=mdettweiler [2018-05-16 15:05:40] 685*2^1509899-1 is not prime. Res64: ABD9C82ADF282F65 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:05:42] 753*2^1509899-1 is not prime. Res64: 415BF3488216F354 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:05:45] 853*2^1509899-1 is not prime. Res64: B14F6F3F0CEBFE6A Time : 0.0 sec. user=mdettweiler [2018-05-16 15:05:47] 909*2^1509899-1 is not prime. Res64: FA07985F62C6A298 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:05:48] 949*2^1509899-1 is not prime. Res64: 51D7EE1D8C31F816 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:17:54] 993*2^1509899-1 is not prime. Res64: 32CF8B279E539B66 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:17:54] 647*2^1509900-1 is not prime. Res64: 61D6D2E52ECE2C6A Time : 0.0 sec. user=mdettweiler [2018-05-16 15:17:55] 669*2^1509900-1 is not prime. Res64: 57D9ED71D283DED5 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:17:55] 759*2^1509900-1 is not prime. Res64: 2B62F0A9138CDB40 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:17:55] 767*2^1509900-1 is not prime. Res64: B3510AD2F3F3E8EC Time : 0.0 sec. user=mdettweiler [2018-05-16 15:27:03] 783*2^1509900-1 is not prime. Res64: 079E467D8DD627B1 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:27:04] 899*2^1509900-1 is not prime. Res64: C3787801F5EB6A7B Time : 0.0 sec. user=mdettweiler [2018-05-16 15:27:04] 681*2^1509901-1 is not prime. Res64: 5E9BF69A70DD542F Time : 0.0 sec. user=mdettweiler [2018-05-16 15:27:05] 757*2^1509901-1 is not prime. Res64: 7AEE36CFCDAD5398 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:27:06] 771*2^1509901-1 is not prime. Res64: 6028C9C4F1833C86 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:40:14] 811*2^1509901-1 is not prime. Res64: 047CDA6C7140F360 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:40:15] 825*2^1509901-1 is not prime. Res64: 88AB4410A35CA7D7 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:40:15] 867*2^1509901-1 is not prime. Res64: 886CFFC84E831FD5 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:40:16] 895*2^1509901-1 is not prime. Res64: E9341BF2D646C5A4 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:40:16] 937*2^1509901-1 is not prime. Res64: 22C1FF4A5D2050E8 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:58:40] 999*2^1509901-1 is not prime. Res64: C7D2EAC9666CC1C5 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:58:40] 713*2^1509902-1 is not prime. Res64: 8BD21BFC79568691 Time : 0.0 sec. user=mdettweiler [2018-05-16 15:58:41] 771*2^1509902-1 is not prime. Res64: A81EC617E374AA6B Time : 0.0 sec. user=mdettweiler [2018-05-16 15:58:41] 827*2^1509902-1 is not prime. Res64: 39F5F82D3162299A Time : 0.0 sec. user=mdettweiler [2018-05-16 15:58:41] 831*2^1509902-1 is not prime. Res64: 9E61A1D6626568A1 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:09:01] 857*2^1509902-1 is not prime. Res64: 1D50685414A48A2A Time : 0.0 sec. user=mdettweiler [2018-05-16 16:09:02] 935*2^1509902-1 is not prime. Res64: D699730FBD9D3A29 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:09:02] 965*2^1509902-1 is not prime. Res64: E128F1923B7A7D87 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:09:02] 619*2^1509903-1 is not prime. Res64: 0034DA372A899759 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:09:03] 639*2^1509903-1 is not prime. Res64: A3081170542AD561 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:19:14] 643*2^1509903-1 is not prime. Res64: B5A748515CEC705E Time : 0.0 sec. user=mdettweiler [2018-05-16 16:19:15] 705*2^1509903-1 is not prime. Res64: B5982EAD7180EE6E Time : 0.0 sec. user=mdettweiler [2018-05-16 16:19:15] 723*2^1509903-1 is not prime. Res64: 99FA1614D9F78B4B Time : 0.0 sec. user=mdettweiler [2018-05-16 16:19:15] 741*2^1509903-1 is not prime. Res64: 8A77AF92E4D11E88 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:19:17] 751*2^1509903-1 is not prime. Res64: D49DC27131506EF7 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:31:28] 879*2^1509903-1 is not prime. Res64: 53D7E86BA6FD1474 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:31:29] 955*2^1509903-1 is not prime. Res64: FB83B75A883EDD46 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:31:29] 717*2^1509904-1 is not prime. Res64: A658751FC1843194 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:31:29] 899*2^1509904-1 is not prime. Res64: 0345F0A15DDAEB45 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:31:30] 645*2^1509905-1 is not prime. Res64: 9A6CBE0579E11E7E Time : 0.0 sec. user=mdettweiler [2018-05-16 16:49:28] 675*2^1509905-1 is not prime. Res64: C208D1D3D4B87247 Time : 0.0 sec. user=mdettweiler [2018-05-16 16:49:30] 691*2^1509905-1 is not prime. Res64: 8898A5A921D541CA Time : 0.0 sec. user=mdettweiler [2018-05-16 16:49:31] 795*2^1509905-1 is not prime. Res64: 52EA2D398F7B73CE Time : 0.0 sec. user=mdettweiler [2018-05-16 16:49:31] 811*2^1509905-1 is not prime. Res64: D750ED5B817228FE Time : 0.0 sec. user=mdettweiler [2018-05-16 16:49:32] 837*2^1509905-1 is not prime. Res64: 343B174F61B2A817 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:00:41] 861*2^1509905-1 is not prime. Res64: DC46B062E30C9D4A Time : 0.0 sec. user=mdettweiler [2018-05-16 17:00:42] 871*2^1509905-1 is not prime. Res64: 27BE60D31E678EF7 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:00:43] 991*2^1509905-1 is not prime. Res64: 7F38A71F680E9572 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:00:44] 725*2^1509906-1 is not prime. Res64: 9EC9C2551CD85B26 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:00:45] 747*2^1509906-1 is not prime. Res64: 9B6AB950ED79F913 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:10:31] 851*2^1509906-1 is not prime. Res64: E6B253B3B83DA44A Time : 0.0 sec. user=mdettweiler [2018-05-16 17:10:32] 887*2^1509906-1 is not prime. Res64: 2D99D59DDD0780D2 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:10:33] 893*2^1509906-1 is not prime. Res64: A6026B9C81D4F16B Time : 0.0 sec. user=mdettweiler [2018-05-16 17:10:33] 983*2^1509906-1 is not prime. Res64: B78337887C0A6559 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:10:34] 609*2^1509907-1 is not prime. Res64: F68206A1D4AF5637 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:21:26] 633*2^1509907-1 is not prime. Res64: 79CB0E5A7D792E7A Time : 0.0 sec. user=mdettweiler [2018-05-16 17:21:26] 691*2^1509907-1 is not prime. Res64: C3AB0F15FC10909F Time : 0.0 sec. user=mdettweiler [2018-05-16 17:21:26] 699*2^1509907-1 is not prime. Res64: 50AC9771BBDC10B0 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:21:27] 741*2^1509907-1 is not prime. Res64: 6C106F1BFB3B802E Time : 0.0 sec. user=mdettweiler [2018-05-16 17:21:29] 759*2^1509907-1 is not prime. Res64: 4DCFFB234EC1F794 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:40:25] 909*2^1509907-1 is not prime. Res64: 1EF5009A0054B17D Time : 0.0 sec. user=mdettweiler [2018-05-16 17:40:26] 913*2^1509907-1 is not prime. Res64: BA8217D2B3B4BDE2 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:40:26] 939*2^1509907-1 is not prime. Res64: DD341F3235AA5584 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:40:27] 617*2^1509908-1 is not prime. Res64: F4D214C9DF84B073 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:40:27] 669*2^1509908-1 is not prime. Res64: CF8B4316AFDECB57 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:53:34] 687*2^1509908-1 is not prime. Res64: 8E3AB77153015191 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:53:35] 735*2^1509908-1 is not prime. Res64: 9380DC082A0DE9CC Time : 0.0 sec. user=mdettweiler [2018-05-16 17:53:35] 753*2^1509908-1 is not prime. Res64: 7BB3EF3A25160BA2 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:53:36] 759*2^1509908-1 is not prime. Res64: B3FE7966FCF27B34 Time : 0.0 sec. user=mdettweiler [2018-05-16 17:53:36] 789*2^1509908-1 is not prime. Res64: F63FD6003F042A40 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:03:24] 897*2^1509908-1 is not prime. Res64: CB2AE4810D0C0ACA Time : 0.0 sec. user=mdettweiler [2018-05-16 18:03:25] 963*2^1509908-1 is not prime. Res64: 0546C68E8AA019C8 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:03:26] 627*2^1509909-1 is not prime. Res64: 0CDAE9AA0AB2DEA0 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:03:26] 679*2^1509909-1 is not prime. Res64: 4A98AA4E5C005797 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:03:27] 745*2^1509909-1 is not prime. Res64: 539B07FA51A21D9D Time : 0.0 sec. user=mdettweiler [2018-05-16 18:14:59] 747*2^1509909-1 is not prime. Res64: A209126DCBF5F44C Time : 0.0 sec. user=mdettweiler [2018-05-16 18:15:00] 847*2^1509909-1 is not prime. Res64: A35FA6FAD018DCD5 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:15:00] 877*2^1509909-1 is not prime. Res64: 6E71C4D373C02312 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:15:01] 895*2^1509909-1 is not prime. Res64: 75EBC09EA56A1587 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:15:01] 951*2^1509909-1 is not prime. Res64: A5C2CF025DF215B4 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:34:14] 969*2^1509909-1 is not prime. Res64: D48BA01E47727D77 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:34:15] 991*2^1509909-1 is not prime. Res64: D173C5444EACE28F Time : 0.0 sec. user=mdettweiler [2018-05-16 18:34:15] 645*2^1509910-1 is not prime. Res64: 47070FCE50BC537C Time : 0.0 sec. user=mdettweiler [2018-05-16 18:34:15] 845*2^1509910-1 is not prime. Res64: 23F011831C3FF5D9 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:34:16] 911*2^1509910-1 is not prime. Res64: A00B0F402D51C596 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:44:54] 923*2^1509910-1 is not prime. Res64: 2A279161C6DB5B4B Time : 0.0 sec. user=mdettweiler [2018-05-16 18:44:54] 703*2^1509911-1 is not prime. Res64: D84B71DB148D1E6D Time : 0.0 sec. user=mdettweiler [2018-05-16 18:44:56] 735*2^1509911-1 is not prime. Res64: 61B28EB16CDF4BF2 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:44:56] 859*2^1509911-1 is not prime. Res64: 6A6924FA5A7A2913 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:44:56] 955*2^1509911-1 is not prime. Res64: 4264053D0054C8B1 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:54:59] 635*2^1509912-1 is not prime. Res64: 8C024AB3EBFDBD09 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:55:00] 695*2^1509912-1 is not prime. Res64: 15A1A2AF46709787 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:55:00] 759*2^1509912-1 is not prime. Res64: A8E300155DC3B027 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:55:01] 887*2^1509912-1 is not prime. Res64: 5DF6938CED8836E0 Time : 0.0 sec. user=mdettweiler [2018-05-16 18:55:02] 615*2^1509913-1 is not prime. Res64: CF96ED59982A33D3 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:06:24] 687*2^1509913-1 is not prime. Res64: B183ED0E2C5C1C5C Time : 0.0 sec. user=mdettweiler [2018-05-16 19:06:27] 729*2^1509913-1 is not prime. Res64: 87E1FCB46F70E4F1 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:06:28] 747*2^1509913-1 is not prime. Res64: 84E6A806A024107E Time : 0.0 sec. user=mdettweiler [2018-05-16 19:06:30] 801*2^1509913-1 is not prime. Res64: 1376599AB40E0F13 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:06:32] 817*2^1509913-1 is not prime. Res64: E6C310D134CB0438 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:26:47] 987*2^1509913-1 is not prime. Res64: F91349D06519DD63 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:26:47] 999*2^1509913-1 is not prime. Res64: 556201EFDCEFD340 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:26:48] 605*2^1509914-1 is not prime. Res64: F2F17EFCB49A43AE Time : 0.0 sec. user=mdettweiler [2018-05-16 19:26:48] 615*2^1509914-1 is not prime. Res64: EB7FBFA2DC7C65A0 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:26:49] 617*2^1509914-1 is not prime. Res64: 14DBE5DF0AF00911 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:36:25] 683*2^1509914-1 is not prime. Res64: 26544E5B4B143066 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:36:25] 743*2^1509914-1 is not prime. Res64: 78D78B05909FB8ED Time : 0.0 sec. user=mdettweiler [2018-05-16 19:36:26] 837*2^1509914-1 is not prime. Res64: 7BD3CF1CF8AC7613 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:36:26] 983*2^1509914-1 is not prime. Res64: 622B34E7E2A5CF72 Time : 0.0 sec. user=mdettweiler [2018-05-16 19:36:27] 613*2^1509915-1 is not prime. Res64: 3E30E9400AF7CC8B Time : 0.0 sec. user=mdettweiler [2018-05-16 19:46:47] 919*2^1509915-1 is not prime. Res64: A0562F1F2988526A Time : 0.0 sec. user=mdettweiler [2018-05-16 19:46:48] 949*2^1509915-1 is not prime. Res64: 29032BA9C76FF23D Time : 0.0 sec. user=mdettweiler [2018-05-16 19:46:49] 615*2^1509916-1 is not prime. Res64: 6EDB6C7A7B186BFA Time : 0.0 sec. user=mdettweiler [2018-05-16 19:46:49] 693*2^1509916-1 is not prime. Res64: 1BE3BB3260D125BB Time : 0.0 sec. user=mdettweiler [2018-05-16 19:46:49] 695*2^1509916-1 is not prime. Res64: 13B538E8A48128AA Time : 0.0 sec. user=mdettweiler [2018-05-16 20:01:32] 707*2^1509916-1 is not prime. Res64: 43CB0820AD42C321 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:01:34] 807*2^1509916-1 is not prime. Res64: A7CB2B1D497A26E3 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:01:36] 869*2^1509916-1 is not prime. Res64: 17B32DC5EDC5096D Time : 0.0 sec. user=mdettweiler [2018-05-16 20:01:38] 875*2^1509916-1 is not prime. Res64: FD764ADE02C55D9F Time : 0.0 sec. user=mdettweiler [2018-05-16 20:01:39] 903*2^1509916-1 is not prime. Res64: 02084F11F5A8BD3C Time : 0.0 sec. user=mdettweiler [2018-05-16 20:19:54] 965*2^1509916-1 is not prime. Res64: 07AA96E0CB139EEC Time : 0.0 sec. user=mdettweiler [2018-05-16 20:19:55] 999*2^1509916-1 is not prime. Res64: 8848779B9E1FE42C Time : 0.0 sec. user=mdettweiler [2018-05-16 20:19:55] 619*2^1509917-1 is not prime. Res64: A2EFB1C04E9B6F89 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:19:56] 631*2^1509917-1 is not prime. Res64: D3E967B1E3E6EE06 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:19:56] 741*2^1509917-1 is not prime. Res64: 6E3E3912B8F06B37 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:30:04] 747*2^1509917-1 is not prime. Res64: 3F324CF4AAA48CE1 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:30:04] 759*2^1509917-1 is not prime. Res64: 698E5C67CBBD4493 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:30:05] 861*2^1509917-1 is not prime. Res64: AADFF4B1ED2F86B3 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:30:05] 925*2^1509917-1 is not prime. Res64: 66595193E9A33184 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:30:06] 979*2^1509917-1 is not prime. Res64: D337C13C4AB798C3 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:38:49] 611*2^1509918-1 is not prime. Res64: FE2A2783505C79D2 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:38:50] 651*2^1509918-1 is not prime. Res64: CAD73418CFF5AF8E Time : 0.0 sec. user=mdettweiler [2018-05-16 20:38:50] 671*2^1509918-1 is not prime. Res64: 1A24CA1671BDF190 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:38:51] 725*2^1509918-1 is not prime. Res64: D67555B0302CDA99 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:38:51] 765*2^1509918-1 is not prime. Res64: 968BF884EBD85F3D Time : 0.0 sec. user=mdettweiler [2018-05-16 20:54:09] 797*2^1509918-1 is not prime. Res64: 82F332C5B3FB7013 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:54:10] 875*2^1509918-1 is not prime. Res64: 01CD8AABC51BFF6E Time : 0.0 sec. user=mdettweiler [2018-05-16 20:54:10] 927*2^1509918-1 is not prime. Res64: 74073C123C6B1301 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:54:10] 951*2^1509918-1 is not prime. Res64: 8411AAC37CD13D77 Time : 0.0 sec. user=mdettweiler [2018-05-16 20:54:11] 675*2^1509919-1 is not prime. Res64: 0534D6B635A7E084 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:12:15] 693*2^1509919-1 is not prime. Res64: DD5020D371927A19 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:12:16] 789*2^1509919-1 is not prime. Res64: 150685FAD70C3201 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:12:16] 913*2^1509919-1 is not prime. Res64: 5E3A30F6AEFCBFD3 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:12:17] 925*2^1509919-1 is not prime. Res64: B994403A24791AD6 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:12:17] 973*2^1509919-1 is not prime. Res64: 67C0C9DAC93E2F19 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:21:35] 603*2^1509920-1 is not prime. Res64: DEFE9D9D4984DD9B Time : 0.0 sec. user=mdettweiler [2018-05-16 21:21:36] 629*2^1509920-1 is not prime. Res64: 367259D2D5096BEA Time : 0.0 sec. user=mdettweiler [2018-05-16 21:21:36] 669*2^1509920-1 is not prime. Res64: 3C7928CE18FB8D91 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:21:37] 713*2^1509920-1 is not prime. Res64: D745A7CED800FA6F Time : 0.0 sec. user=mdettweiler [2018-05-16 21:21:37] 725*2^1509920-1 is not prime. Res64: A7E083A0A5969556 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:31:04] 795*2^1509920-1 is not prime. Res64: F65EF10F02F5BD7A Time : 0.0 sec. user=mdettweiler [2018-05-16 21:31:04] 803*2^1509920-1 is not prime. Res64: 82F81360AF45EC10 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:31:05] 879*2^1509920-1 is not prime. Res64: 907EE59AA5AB32A2 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:31:05] 637*2^1509921-1 is not prime. Res64: 71584C9504BE4C0B Time : 0.0 sec. user=mdettweiler [2018-05-16 21:31:06] 727*2^1509921-1 is not prime. Res64: B627C869B4CEFE3D Time : 0.0 sec. user=mdettweiler [2018-05-16 21:45:15] 819*2^1509921-1 is not prime. Res64: 0A66820F00B04051 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:45:16] 861*2^1509921-1 is not prime. Res64: 8D6308948CC735A0 Time : 0.0 sec. user=mdettweiler [2018-05-16 21:45:16] 885*2^1509921-1 is not prime. Res64: CC30B8578BE6AB6A Time : 0.0 sec. user=mdettweiler [2018-05-16 21:45:17] 889*2^1509921-1 is not prime. Res64: AFFAFBC2E16A4A8B Time : 0.0 sec. user=mdettweiler [2018-05-16 21:45:17] 603*2^1509922-1 is not prime. Res64: 65B1CDCE9284EFAB Time : 0.0 sec. user=mdettweiler [2018-05-16 22:03:15] 647*2^1509922-1 is not prime. Res64: 3811ABBCE9F41053 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:03:18] 777*2^1509922-1 is not prime. Res64: A877CC6C57417615 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:03:20] 911*2^1509922-1 is not prime. Res64: DD00EB52AD4A4BD5 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:03:22] 975*2^1509922-1 is not prime. Res64: D1A22339B8C11BCD Time : 0.0 sec. user=mdettweiler [2018-05-16 22:03:24] 987*2^1509922-1 is not prime. Res64: AFB8EADD8FD52A5B Time : 0.0 sec. user=mdettweiler [2018-05-16 22:12:47] 685*2^1509923-1 is not prime. Res64: 5B9949EF1AF09ABF Time : 0.0 sec. user=mdettweiler [2018-05-16 22:12:47] 745*2^1509923-1 is not prime. Res64: 3D0D2D2CDC2F96F9 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:12:48] 781*2^1509923-1 is not prime. Res64: FACA1FE41044DB34 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:12:49] 783*2^1509923-1 is not prime. Res64: E832726B10A90B36 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:12:49] 943*2^1509923-1 is not prime. Res64: E8D110B9F40893EF Time : 0.0 sec. user=mdettweiler [2018-05-16 22:22:35] 863*2^1509924-1 is not prime. Res64: 4B3CD2D62CEA3B4A Time : 0.0 sec. user=mdettweiler [2018-05-16 22:22:35] 929*2^1509924-1 is not prime. Res64: DD2A2CC676694576 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:22:36] 945*2^1509924-1 is not prime. Res64: EB8E2544400EBF23 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:22:36] 619*2^1509925-1 is not prime. Res64: 30CA0C6432197AA3 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:22:37] 649*2^1509925-1 is not prime. Res64: 19F9D9161D79978E Time : 0.0 sec. user=mdettweiler [2018-05-16 22:36:18] 651*2^1509925-1 is not prime. Res64: 02600C60F9722F83 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:36:18] 717*2^1509925-1 is not prime. Res64: DBF6164D4F0E45CF Time : 0.0 sec. user=mdettweiler [2018-05-16 22:36:19] 757*2^1509925-1 is not prime. Res64: 46CED0FFF3590456 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:36:19] 775*2^1509925-1 is not prime. Res64: 282D56A1D22C7FCA Time : 0.0 sec. user=mdettweiler [2018-05-16 22:36:19] 979*2^1509925-1 is not prime. Res64: 3D1C28F89F7A0BD6 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:55:15] 785*2^1509926-1 is not prime. Res64: 8D57CEE1E941ABBB Time : 0.0 sec. user=mdettweiler [2018-05-16 22:55:15] 887*2^1509926-1 is not prime. Res64: E42B8BAD3D8EBDC4 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:55:16] 957*2^1509926-1 is not prime. Res64: 72EB1E00176DC4A6 Time : 0.0 sec. user=mdettweiler [2018-05-16 22:55:16] 651*2^1509927-1 is not prime. Res64: 45FA7D259D5BC32D Time : 0.0 sec. user=mdettweiler [2018-05-16 22:55:16] 765*2^1509927-1 is not prime. Res64: AC5839EE36FB6C12 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:04:22] 861*2^1509927-1 is not prime. Res64: 63906805FA75A660 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:04:23] 873*2^1509927-1 is not prime. Res64: 0B5376176BD52F46 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:04:24] 949*2^1509927-1 is not prime. Res64: 6045A3DD4DB9ECAB Time : 0.0 sec. user=mdettweiler [2018-05-16 23:04:25] 975*2^1509927-1 is not prime. Res64: 802C4ACA031450C8 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:04:27] 617*2^1509928-1 is not prime. Res64: FBADA836BDB00434 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:15:48] 679*2^1509929-1 is not prime. Res64: BF39A7ECF74999E4 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:15:48] 729*2^1509929-1 is not prime. Res64: 1EAC374CA1060691 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:15:48] 829*2^1509929-1 is not prime. Res64: 0D929FBFE832B002 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:15:49] 861*2^1509929-1 is not prime. Res64: A7F0C210608CCBF1 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:15:49] 867*2^1509929-1 is not prime. Res64: F07C8A5D1D5D06F0 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:28:11] 889*2^1509929-1 is not prime. Res64: 9691A1187941805B Time : 0.0 sec. user=mdettweiler [2018-05-16 23:28:11] 615*2^1509930-1 is not prime. Res64: EEA92C75EFE1401A Time : 0.0 sec. user=mdettweiler [2018-05-16 23:28:11] 695*2^1509930-1 is not prime. Res64: 7DA58E8B27073755 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:28:12] 821*2^1509930-1 is not prime. Res64: C0CD9BD31EB4532B Time : 0.0 sec. user=mdettweiler [2018-05-16 23:28:12] 891*2^1509930-1 is not prime. Res64: 601E129972AF8CB7 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:47:00] 893*2^1509930-1 is not prime. Res64: 8D752289F1AF6EA6 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:47:01] 631*2^1509931-1 is not prime. Res64: 95B6AF67E02751F6 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:47:01] 645*2^1509931-1 is not prime. Res64: 19F9B91D54DB9773 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:47:02] 703*2^1509931-1 is not prime. Res64: 0A61CBD7BBD8CB34 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:47:02] 735*2^1509931-1 is not prime. Res64: 80177E4B82A57135 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:56:13] 841*2^1509931-1 is not prime. Res64: E8ACA70F9F934750 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:56:13] 883*2^1509931-1 is not prime. Res64: 1B28BA5B7303D1E3 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:56:14] 975*2^1509931-1 is not prime. Res64: 51A11F00948C4788 Time : 0.0 sec. user=mdettweiler [2018-05-16 23:56:14] 617*2^1509932-1 is not prime. Res64: 718FBADB38108E8B Time : 0.0 sec. user=mdettweiler [2018-05-16 23:56:15] 669*2^1509932-1 is not prime. Res64: B02A7901AF1A0AAE Time : 0.0 sec.