user=mdettweiler [2018-05-09 00:23:01] 875*2^1509268-1 is not prime. Res64: 2F70D67BE2CE1CE3 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:23:01] 885*2^1509268-1 is not prime. Res64: B82323F9E4895318 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:23:02] 923*2^1509268-1 is not prime. Res64: 531A9B7B69D1606A Time : 0.0 sec. user=mdettweiler [2018-05-09 00:23:02] 615*2^1509269-1 is not prime. Res64: 682D45E77BFF8FFB Time : 0.0 sec. user=mdettweiler [2018-05-09 00:23:03] 621*2^1509269-1 is not prime. Res64: 0FD626FCE7E0A320 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:27:42] 675*2^1509269-1 is not prime. Res64: C25ED66250399E74 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:27:42] 691*2^1509269-1 is not prime. Res64: 694BB975C1D6AA3A Time : 0.0 sec. user=mdettweiler [2018-05-09 00:27:43] 759*2^1509269-1 is not prime. Res64: E7640A94741B1210 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:27:43] 889*2^1509269-1 is not prime. Res64: 909555ADEB90F0BD Time : 0.0 sec. user=mdettweiler [2018-05-09 00:27:43] 907*2^1509269-1 is not prime. Res64: 29E072589E54BC76 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:33:35] 945*2^1509269-1 is not prime. Res64: A4F1E5424CB51C8E Time : 0.0 sec. user=mdettweiler [2018-05-09 00:33:35] 987*2^1509269-1 is not prime. Res64: 5B9CD166DBD6F93E Time : 0.0 sec. user=mdettweiler [2018-05-09 00:33:35] 653*2^1509270-1 is not prime. Res64: 13C77D7BA708F748 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:33:36] 723*2^1509270-1 is not prime. Res64: 234B40188840D564 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:33:36] 601*2^1509271-1 is not prime. Res64: E6BD72651F1326E6 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:37:30] 625*2^1509271-1 is not prime. Res64: 3ADC63EC3FBD1926 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:37:31] 741*2^1509271-1 is not prime. Res64: 863672C3684155A9 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:37:32] 885*2^1509271-1 is not prime. Res64: 25BA0C42A89F8D52 Time : 0.0 sec. user=mdettweiler [2018-05-09 00:37:33] 603*2^1509272-1 is not prime. Res64: 1D04318D3E147D4A Time : 0.0 sec. user=mdettweiler [2018-05-09 00:37:33] 617*2^1509272-1 is not prime. Res64: 0EE6E59BA4D8C015 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:17:37] 675*2^1509272-1 is not prime. Res64: 537CCE88D85B653E Time : 0.0 sec. user=mdettweiler [2018-05-09 01:17:38] 689*2^1509272-1 is not prime. Res64: A1881DBE85D04C01 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:17:38] 923*2^1509272-1 is not prime. Res64: 21AD211A4573EDBA Time : 0.0 sec. user=mdettweiler [2018-05-09 01:17:39] 983*2^1509272-1 is not prime. Res64: 1E27478417317C28 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:17:39] 751*2^1509273-1 is not prime. Res64: E31DA4BB1873442A Time : 0.0 sec. user=mdettweiler [2018-05-09 01:23:02] 781*2^1509273-1 is not prime. Res64: 8DD0140C72313E40 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:23:04] 837*2^1509273-1 is not prime. Res64: E089F2AE03101CBA Time : 0.0 sec. user=mdettweiler [2018-05-09 01:23:05] 871*2^1509273-1 is not prime. Res64: 5F7B540D30503396 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:23:05] 985*2^1509273-1 is not prime. Res64: 9EE30834E7FDA633 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:23:06] 671*2^1509274-1 is not prime. Res64: 21F44FEA8E232D9F Time : 0.0 sec. user=mdettweiler [2018-05-09 01:28:57] 861*2^1509274-1 is not prime. Res64: E3BD57F22D49D763 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:28:58] 619*2^1509275-1 is not prime. Res64: A8252D9ECF62199F Time : 0.0 sec. user=mdettweiler [2018-05-09 01:29:00] 663*2^1509275-1 is not prime. Res64: 38483E561F29912D Time : 0.0 sec. user=mdettweiler [2018-05-09 01:29:01] 753*2^1509275-1 is not prime. Res64: 9B4D43E04549D6C3 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:29:03] 759*2^1509275-1 is not prime. Res64: 7D94768780172EFC Time : 0.0 sec. user=mdettweiler [2018-05-09 01:31:17] 843*2^1509275-1 is not prime. Res64: 309BA477CEB1E874 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:31:18] 859*2^1509275-1 is not prime. Res64: 82C5D8CAD95868A8 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:31:19] 949*2^1509275-1 is not prime. Res64: B4EE987C93911D33 Time : 0.0 sec. user=mdettweiler [2018-05-09 01:31:19] 609*2^1509276-1 is not prime. Res64: 0A30C832B957566A Time : 0.0 sec. user=mdettweiler [2018-05-09 01:31:20] 635*2^1509276-1 is not prime. Res64: 860EC1F08C2896F4 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:11:56] 675*2^1509276-1 is not prime. Res64: 2C320692C36D5CF6 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:11:57] 707*2^1509276-1 is not prime. Res64: 0488B0CABD78DF1B Time : 0.0 sec. user=mdettweiler [2018-05-09 02:11:57] 839*2^1509276-1 is not prime. Res64: D636F80C427F3174 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:11:57] 607*2^1509277-1 is not prime. Res64: B55D2D54FA265C4E Time : 0.0 sec. user=mdettweiler [2018-05-09 02:11:58] 661*2^1509277-1 is not prime. Res64: AD71A6890C779102 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:19:26] 685*2^1509277-1 is not prime. Res64: 2EA9DC7CF65023DB Time : 0.0 sec. user=mdettweiler [2018-05-09 02:19:27] 717*2^1509277-1 is not prime. Res64: 19A39BA6A88C73D7 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:19:27] 751*2^1509277-1 is not prime. Res64: 082B3B4D7894D240 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:19:27] 825*2^1509277-1 is not prime. Res64: 93524AC478913D70 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:19:28] 871*2^1509277-1 is not prime. Res64: 9EC727169F205E8C Time : 0.0 sec. user=mdettweiler [2018-05-09 02:26:50] 901*2^1509277-1 is not prime. Res64: B67C0A713E5DCFAD Time : 0.0 sec. user=mdettweiler [2018-05-09 02:26:51] 931*2^1509277-1 is not prime. Res64: 07EB87711CBF17B4 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:26:51] 985*2^1509277-1 is not prime. Res64: 8A2CCCF4367D45ED Time : 0.0 sec. user=mdettweiler [2018-05-09 02:26:51] 651*2^1509278-1 is not prime. Res64: 8C817EB12E11CC37 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:26:52] 713*2^1509278-1 is not prime. Res64: 8247DA45CF696922 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:30:35] 797*2^1509278-1 is not prime. Res64: 7073C3CB5BE9F2A5 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:30:35] 867*2^1509278-1 is not prime. Res64: 0AA437C0AB678BBD Time : 0.0 sec. user=mdettweiler [2018-05-09 02:30:36] 615*2^1509279-1 is not prime. Res64: 7E0E09D47BF82BDD Time : 0.0 sec. user=mdettweiler [2018-05-09 02:30:36] 619*2^1509279-1 is not prime. Res64: 9FF252529293E5D5 Time : 0.0 sec. user=mdettweiler [2018-05-09 02:30:36] 679*2^1509279-1 is not prime. Res64: 208540C6A14B6A76 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:23:38] 909*2^1509280-1 is not prime. Res64: 65EC3F95DA4DE6B0 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:23:39] 651*2^1509281-1 is not prime. Res64: 9B963A11FB9C7BFB Time : 0.0 sec. user=mdettweiler [2018-05-09 03:23:40] 679*2^1509281-1 is not prime. Res64: 39A589773369B769 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:23:40] 735*2^1509281-1 is not prime. Res64: 442F16FDB3EE2CFD Time : 0.0 sec. user=mdettweiler [2018-05-09 03:23:43] 741*2^1509281-1 is not prime. Res64: 7553DE29D0AFC8EA Time : 0.0 sec. user=mdettweiler [2018-05-09 03:24:04] 913*2^1509279-1 is not prime. Res64: A0BDBCD94ABA6D3E Time : 0.0 sec. user=mdettweiler [2018-05-09 03:24:04] 985*2^1509279-1 is not prime. Res64: A0F3659E574F117C Time : 0.0 sec. user=mdettweiler [2018-05-09 03:24:05] 677*2^1509280-1 is not prime. Res64: 50DC8506F00C49B9 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:24:05] 719*2^1509280-1 is not prime. Res64: 393BBD4345C58801 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:24:08] 797*2^1509280-1 is not prime. Res64: F943008DD8CED6E5 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:32:35] 833*2^1509282-1 is not prime. Res64: EB17D5602D91043D Time : 0.0 sec. user=mdettweiler [2018-05-09 03:32:36] 1001*2^1509282-1 is not prime. Res64: BF5D49717DFF5DEE Time : 0.0 sec. user=mdettweiler [2018-05-09 03:32:38] 603*2^1509283-1 is not prime. Res64: A7DF84B31CAFE103 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:32:39] 619*2^1509283-1 is not prime. Res64: FBA6C307954E0EA5 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:32:40] 649*2^1509283-1 is not prime. Res64: 654118096047BF72 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:33:13] 837*2^1509281-1 is not prime. Res64: C17F471730C345BD Time : 0.0 sec. user=mdettweiler [2018-05-09 03:33:14] 967*2^1509281-1 is not prime. Res64: D6C06DF7E2B5E5F4 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:33:15] 633*2^1509282-1 is not prime. Res64: 4569388DB1471234 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:33:17] 635*2^1509282-1 is not prime. Res64: 58780305AA4DBF30 Time : 0.0 sec. user=mdettweiler [2018-05-09 03:33:18] 725*2^1509282-1 is not prime. Res64: CFABC23ED6263BE7 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:13:23] 679*2^1509283-1 is not prime. Res64: 761D9E0F56FC9542 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:13:27] 985*2^1509283-1 is not prime. Res64: D9915497256B0D62 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:13:31] 765*2^1509283-1 is not prime. Res64: 89D229A2ED49B5B1 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:13:37] 771*2^1509283-1 is not prime. Res64: 447478D5100AFE06 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:13:42] 945*2^1509283-1 is not prime. Res64: 601C6CE703267E1B Time : 0.0 sec. user=mdettweiler [2018-05-09 04:13:49] 951*2^1509283-1 is not prime. Res64: ED06F78130E5CC3C Time : 0.0 sec. user=mdettweiler [2018-05-09 04:22:52] 819*2^1509284-1 is not prime. Res64: 940EF36F494C083E Time : 0.0 sec. user=mdettweiler [2018-05-09 04:22:57] 833*2^1509284-1 is not prime. Res64: CFA07F9A73E1FE9B Time : 0.0 sec. user=mdettweiler [2018-05-09 04:22:59] 983*2^1509284-1 is not prime. Res64: A1BE404DBB73457A Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:02] 655*2^1509285-1 is not prime. Res64: A0A391A399533E7B Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:06] 789*2^1509285-1 is not prime. Res64: 2DD24074D4BC044F Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:37] 795*2^1509285-1 is not prime. Res64: AC060F29E15C6044 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:38] 871*2^1509285-1 is not prime. Res64: 90B8EF98FB31DC53 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:40] 919*2^1509285-1 is not prime. Res64: 0F72269EA26BD3DF Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:44] 969*2^1509285-1 is not prime. Res64: DC8C55CF3C387E03 Time : 0.0 sec. user=mdettweiler [2018-05-09 04:23:45] 991*2^1509285-1 is not prime. Res64: 87EE1BF8EDB8C091 Time : 0.0 sec. user=mdettweiler [2018-05-09 05:13:52] 603*2^1509286-1 is not prime. Res64: B4CBA09DB6399CD8 Time : 0.0 sec. user=mdettweiler [2018-05-09 05:13:52] 677*2^1509286-1 is not prime. Res64: BE37B95E2F33B57D Time : 0.0 sec. user=mdettweiler [2018-05-09 05:13:53] 705*2^1509286-1 is not prime. Res64: CDB35759BB500438 Time : 0.0 sec. user=mdettweiler [2018-05-09 05:13:54] 761*2^1509286-1 is not prime. Res64: C93538E049B23F0F Time : 0.0 sec. user=mdettweiler [2018-05-09 05:13:55] 777*2^1509286-1 is not prime. Res64: 2B940B2CD0646CBA Time : 0.0 sec. user=mdettweiler [2018-05-09 05:15:10] 783*2^1509286-1 is not prime. Res64: B461C44729A56459 Time : 0.0 sec. user=mdettweiler [2018-05-09 05:15:14] 857*2^1509286-1 is not prime. Res64: B8C13E4644605BB6 Time : 0.0 sec. user=mdettweiler [2018-05-09 05:15:15] 903*2^1509286-1 is not prime. Res64: 43880CD302B39D1B Time : 0.0 sec. user=mdettweiler [2018-05-09 05:15:16] 917*2^1509286-1 is not prime. Res64: ED002B6538552189 Time : 0.0 sec. user=mdettweiler [2018-05-09 05:15:16] 965*2^1509286-1 is not prime. Res64: 1D4B64F0EB856B1A Time : 0.0 sec. user=mdettweiler [2018-05-09 06:04:46] 615*2^1509287-1 is not prime. Res64: 9BF0D43871BB82EF Time : 0.0 sec. user=mdettweiler [2018-05-09 06:04:47] 645*2^1509287-1 is not prime. Res64: 508C451296256026 Time : 0.0 sec. user=mdettweiler [2018-05-09 06:04:51] 711*2^1509287-1 is not prime. Res64: 51A8F6E06655BE84 Time : 0.0 sec. user=mdettweiler [2018-05-09 06:04:53] 759*2^1509287-1 is not prime. Res64: 07BAAFBC72D3210A Time : 0.0 sec. user=mdettweiler [2018-05-09 06:05:01] 879*2^1509287-1 is not prime. Res64: F4727D66F86C5D0A Time : 0.0 sec. user=mdettweiler [2018-05-09 06:06:40] 909*2^1509287-1 is not prime. Res64: F7328B90ECD7CE1B Time : 0.0 sec. user=mdettweiler [2018-05-09 07:01:36] 915*2^1509288-1 is not prime. Res64: A6D6A853D105A39A Time : 0.0 sec. user=mdettweiler [2018-05-09 07:01:37] 751*2^1509289-1 is not prime. Res64: A07F2E03337D9529 Time : 0.0 sec. user=mdettweiler [2018-05-09 07:01:38] 861*2^1509289-1 is not prime. Res64: D5D781A48311181C Time : 0.0 sec. user=mdettweiler [2018-05-09 07:01:39] 919*2^1509289-1 is not prime. Res64: D4134AE0CD648A87 Time : 0.0 sec. user=mdettweiler [2018-05-09 07:01:40] 925*2^1509289-1 is not prime. Res64: D4D8BF8C6994382E Time : 0.0 sec. user=mdettweiler [2018-05-09 07:56:48] 603*2^1509290-1 is not prime. Res64: D6D909D9B85235AD Time : 0.0 sec. user=mdettweiler [2018-05-09 07:56:49] 633*2^1509290-1 is not prime. Res64: 373305835565A16C Time : 0.0 sec. user=mdettweiler [2018-05-09 07:56:50] 635*2^1509290-1 is not prime. Res64: A168366FEB3881DD Time : 0.0 sec. user=mdettweiler [2018-05-09 07:56:50] 645*2^1509290-1 is not prime. Res64: 4440922479E0BE97 Time : 0.0 sec. user=mdettweiler [2018-05-09 07:56:51] 651*2^1509290-1 is not prime. Res64: 8F5E883901F4E192 Time : 0.0 sec. user=mdettweiler [2018-05-09 08:52:21] 665*2^1509290-1 is not prime. Res64: 6A6464AB6541EC56 Time : 0.0 sec. user=mdettweiler [2018-05-09 08:52:22] 677*2^1509290-1 is not prime. Res64: 4C1D627ED8F3EE24 Time : 0.0 sec. user=mdettweiler [2018-05-09 08:52:23] 713*2^1509290-1 is not prime. Res64: 365A2C2E2BE6508D Time : 0.0 sec. user=mdettweiler [2018-05-09 08:52:23] 783*2^1509290-1 is not prime. Res64: BF6A32C375DB65C7 Time : 0.0 sec. user=mdettweiler [2018-05-09 08:52:24] 791*2^1509290-1 is not prime. Res64: 01A27B54ED3125BF Time : 0.0 sec. user=mdettweiler [2018-05-09 09:48:06] 953*2^1509290-1 is not prime. Res64: 65EF5193B7727A4D Time : 0.0 sec. user=mdettweiler [2018-05-09 09:48:07] 609*2^1509291-1 is not prime. Res64: 1B88374939035448 Time : 0.0 sec. user=mdettweiler [2018-05-09 09:48:08] 625*2^1509291-1 is not prime. Res64: F5AEFEEF500BD1D1 Time : 0.0 sec. user=mdettweiler [2018-05-09 09:48:08] 793*2^1509291-1 is not prime. Res64: CCACA74A7D68B5FB Time : 0.0 sec. user=mdettweiler [2018-05-09 09:48:09] 805*2^1509291-1 is not prime. Res64: CDFD66FB7B344743 Time : 0.0 sec. user=mdettweiler [2018-05-09 10:14:56] 605*2^1509284-1 is not prime. Res64: FEE0EF7B53D615CB Time : 0.0 sec. user=mdettweiler [2018-05-09 10:14:57] 617*2^1509284-1 is not prime. Res64: B14E90060984C377 Time : 0.0 sec. user=mdettweiler [2018-05-09 10:14:58] 665*2^1509284-1 is not prime. Res64: 863E406FAE55724A Time : 0.0 sec. user=mdettweiler [2018-05-09 10:14:59] 743*2^1509284-1 is not prime. Res64: 8C53495975245521 Time : 0.0 sec. user=mdettweiler [2018-05-09 10:42:07] 871*2^1509291-1 is not prime. Res64: 43D8C76137FA0CD1 Time : 0.0 sec. user=mdettweiler [2018-05-09 10:42:07] 975*2^1509291-1 is not prime. Res64: 90C87BECF0D53EAE Time : 0.0 sec. user=mdettweiler [2018-05-09 10:42:08] 705*2^1509292-1 is not prime. Res64: 1F75AFBC9432413A Time : 0.0 sec. user=mdettweiler [2018-05-09 10:42:08] 723*2^1509292-1 is not prime. Res64: D150F81BCD1B80F6 Time : 0.0 sec. user=mdettweiler [2018-05-09 10:42:09] 939*2^1509292-1 is not prime. Res64: F6318BCAC70FABD9 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:07:01] 987*2^1509292-1 is not prime. Res64: 79E669A2C912AC28 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:07:02] 775*2^1509293-1 is not prime. Res64: 1D2EF1201CD229AA Time : 0.0 sec. user=mdettweiler [2018-05-09 11:07:03] 871*2^1509293-1 is not prime. Res64: 56D68F4CAF35CE3A Time : 0.0 sec. user=mdettweiler [2018-05-09 11:07:04] 879*2^1509293-1 is not prime. Res64: EF35D00F324263B8 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:07:05] 663*2^1509294-1 is not prime. Res64: 0375B955E23D7751 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:33:24] 705*2^1509294-1 is not prime. Res64: 69ADCC513511F25E Time : 0.0 sec. user=mdettweiler [2018-05-09 11:33:24] 795*2^1509294-1 is not prime. Res64: D02D1C2B75A7B010 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:33:24] 903*2^1509294-1 is not prime. Res64: E223D00485F30276 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:33:25] 651*2^1509295-1 is not prime. Res64: 96FC18F04FA987BE Time : 0.0 sec. user=mdettweiler [2018-05-09 11:33:26] 675*2^1509295-1 is not prime. Res64: 0B968ECB7F29ED71 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:55:52] 693*2^1509295-1 is not prime. Res64: F3CF8D6B4812CD95 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:55:52] 751*2^1509295-1 is not prime. Res64: 9E1188DABB363767 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:55:52] 861*2^1509295-1 is not prime. Res64: 9AB2AB05A3C7097C Time : 0.0 sec. user=mdettweiler [2018-05-09 11:55:53] 889*2^1509295-1 is not prime. Res64: 84FE018ED7440CA6 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:55:53] 895*2^1509295-1 is not prime. Res64: B9BE3046FC8BB2C9 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:56:26] 689*2^1509288-1 is not prime. Res64: 33C4561BB49E02CC Time : 0.0 sec. user=mdettweiler [2018-05-09 11:56:26] 747*2^1509288-1 is not prime. Res64: DCE184DCF8C0D198 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:56:26] 789*2^1509288-1 is not prime. Res64: 58F0D36DEAE2ED2E Time : 0.0 sec. user=mdettweiler [2018-05-09 11:56:26] 819*2^1509288-1 is not prime. Res64: C85F8BCF36814B23 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:59:39] 915*2^1509295-1 is not prime. Res64: B8AD70D6C4AB8C31 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:59:39] 615*2^1509296-1 is not prime. Res64: 8AF4AA7FB9B07770 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:59:40] 935*2^1509296-1 is not prime. Res64: B01F97F26CC9822F Time : 0.0 sec. user=mdettweiler [2018-05-09 11:59:40] 667*2^1509297-1 is not prime. Res64: AD36F5F59B535AD6 Time : 0.0 sec. user=mdettweiler [2018-05-09 11:59:40] 691*2^1509297-1 is not prime. Res64: BCE3D24200694DBB Time : 0.0 sec. user=mdettweiler [2018-05-09 12:26:26] 727*2^1509297-1 is not prime. Res64: 05527B1FD8F29C8F Time : 0.0 sec. user=mdettweiler [2018-05-09 12:26:26] 741*2^1509297-1 is not prime. Res64: FE692177C7618029 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:26:27] 765*2^1509297-1 is not prime. Res64: 8A99F3ACCDE6693F Time : 0.0 sec. user=mdettweiler [2018-05-09 12:26:27] 835*2^1509297-1 is not prime. Res64: 772BC7A259DED985 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:26:28] 861*2^1509297-1 is not prime. Res64: 13E31B52E3AFF137 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:45:03] 999*2^1509297-1 is not prime. Res64: 3F891296FC108EB6 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:45:03] 611*2^1509298-1 is not prime. Res64: 24B07A66B03AF274 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:45:03] 621*2^1509298-1 is not prime. Res64: BFD3C2AD036928AB Time : 0.0 sec. user=mdettweiler [2018-05-09 12:45:06] 645*2^1509298-1 is not prime. Res64: CC2C7CC639A90C19 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:45:06] 735*2^1509298-1 is not prime. Res64: F41C1F5DA707497E Time : 0.0 sec. user=mdettweiler [2018-05-09 12:47:03] 743*2^1509298-1 is not prime. Res64: AB624D374920E845 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:47:05] 801*2^1509298-1 is not prime. Res64: FE1C97257467E559 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:47:06] 831*2^1509298-1 is not prime. Res64: 50ABAA0D7F1A2FFB Time : 0.0 sec. user=mdettweiler [2018-05-09 12:47:06] 957*2^1509298-1 is not prime. Res64: 326C24BC99BE1E97 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:47:06] 1001*2^1509298-1 is not prime. Res64: 2D940FBCDF112101 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:49:25] 741*2^1509299-1 is not prime. Res64: E20364D4604FEF6D Time : 0.0 sec. user=mdettweiler [2018-05-09 12:49:27] 825*2^1509299-1 is not prime. Res64: E0D8763105872079 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:49:27] 843*2^1509299-1 is not prime. Res64: 841B54C565ED3274 Time : 0.0 sec. user=mdettweiler [2018-05-09 12:49:28] 635*2^1509300-1 is not prime. Res64: 1CDC9387942EBBAB Time : 0.0 sec. user=mdettweiler [2018-05-09 12:49:28] 689*2^1509300-1 is not prime. Res64: BBCA412BA970590D Time : 0.0 sec. user=mdettweiler [2018-05-09 13:16:31] 773*2^1509300-1 is not prime. Res64: 596C1C3FD1C982E6 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:16:32] 803*2^1509300-1 is not prime. Res64: 0C8ABE310A4A81C6 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:16:32] 839*2^1509300-1 is not prime. Res64: 727540B33E8B4986 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:16:34] 607*2^1509301-1 is not prime. Res64: 6683C77506D56364 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:16:34] 741*2^1509301-1 is not prime. Res64: FD7679C30EABA126 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:35:15] 747*2^1509301-1 is not prime. Res64: 8136408BAEBD8E8A Time : 0.0 sec. user=mdettweiler [2018-05-09 13:35:16] 825*2^1509301-1 is not prime. Res64: 9DD053EBBA9D4479 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:35:16] 877*2^1509301-1 is not prime. Res64: 4ACB9626F8326428 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:35:17] 931*2^1509301-1 is not prime. Res64: 5B4CC7260543A768 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:35:17] 665*2^1509302-1 is not prime. Res64: 1E96A0291E88F2AD Time : 0.0 sec. user=mdettweiler [2018-05-09 13:37:17] 675*2^1509302-1 is not prime. Res64: BE9A7C62B9566923 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:37:17] 843*2^1509302-1 is not prime. Res64: B58CFAD6570B5FD1 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:37:17] 867*2^1509302-1 is not prime. Res64: F6F9B53AE26CAB7C Time : 0.0 sec. user=mdettweiler [2018-05-09 13:37:18] 875*2^1509302-1 is not prime. Res64: 21B3B8F8D8C22DE2 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:37:18] 987*2^1509302-1 is not prime. Res64: B868812BCFD3A84D Time : 0.0 sec. user=mdettweiler [2018-05-09 13:39:11] 615*2^1509303-1 is not prime. Res64: CB39CE224AE3B287 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:39:11] 661*2^1509303-1 is not prime. Res64: 9E3C0D2B816B607D Time : 0.0 sec. user=mdettweiler [2018-05-09 13:39:12] 735*2^1509303-1 is not prime. Res64: 9033EE368AD82DE5 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:39:12] 739*2^1509303-1 is not prime. Res64: 6F9124D4423DCE06 Time : 0.0 sec. user=mdettweiler [2018-05-09 13:39:13] 859*2^1509303-1 is not prime. Res64: F9714D05515BB642 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:06:51] 861*2^1509303-1 is not prime. Res64: 04BEE5983E0D095C Time : 0.0 sec. user=mdettweiler [2018-05-09 14:06:51] 743*2^1509304-1 is not prime. Res64: 70EDBC914777F67D Time : 0.0 sec. user=mdettweiler [2018-05-09 14:06:52] 773*2^1509304-1 is not prime. Res64: 1F9B6A84CCB3DD78 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:06:52] 857*2^1509304-1 is not prime. Res64: 612E1C66860199CF Time : 0.0 sec. user=mdettweiler [2018-05-09 14:06:53] 965*2^1509304-1 is not prime. Res64: E29A49D90E730216 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:25:10] 993*2^1509304-1 is not prime. Res64: 154CE6D104300E54 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:25:10] 705*2^1509305-1 is not prime. Res64: 3D0FBE1CDFA9039C Time : 0.0 sec. user=mdettweiler [2018-05-09 14:25:11] 729*2^1509305-1 is not prime. Res64: B633DB276B3AA0EA Time : 0.0 sec. user=mdettweiler [2018-05-09 14:25:11] 865*2^1509305-1 is not prime. Res64: 22AADE5CF4CC113D Time : 0.0 sec. user=mdettweiler [2018-05-09 14:25:12] 871*2^1509305-1 is not prime. Res64: D563BD15CB3E4C53 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:26:42] 885*2^1509305-1 is not prime. Res64: 53540DE6D7293EC0 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:26:42] 909*2^1509305-1 is not prime. Res64: E7C2917BAC2F2DC8 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:26:43] 939*2^1509305-1 is not prime. Res64: E43B17C54F646639 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:26:43] 611*2^1509306-1 is not prime. Res64: C75F893D8A5D5E9C Time : 0.0 sec. user=mdettweiler [2018-05-09 14:26:43] 671*2^1509306-1 is not prime. Res64: F674803EFF23906C Time : 0.0 sec. user=mdettweiler [2018-05-09 14:29:04] 755*2^1509306-1 is not prime. Res64: BDBECDC75DBFECDF Time : 0.0 sec. user=mdettweiler [2018-05-09 14:29:04] 843*2^1509306-1 is not prime. Res64: 4E2632B23EEA4021 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:29:04] 893*2^1509306-1 is not prime. Res64: 8659D9C72A480D70 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:29:05] 649*2^1509307-1 is not prime. Res64: F36861676B17DF0A Time : 0.0 sec. user=mdettweiler [2018-05-09 14:29:07] 861*2^1509307-1 is not prime. Res64: C8D0562886E736D8 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:55:52] 603*2^1509308-1 is not prime. Res64: 35DCC7630C629F1F Time : 0.0 sec. user=mdettweiler [2018-05-09 14:55:52] 635*2^1509308-1 is not prime. Res64: A972676759C55E16 Time : 0.0 sec. user=mdettweiler [2018-05-09 14:55:53] 699*2^1509308-1 is not prime. Res64: C3627665FDF9500F Time : 0.0 sec. user=mdettweiler [2018-05-09 14:55:53] 837*2^1509308-1 is not prime. Res64: DD9EC6111056A7AE Time : 0.0 sec. user=mdettweiler [2018-05-09 14:55:54] 843*2^1509308-1 is not prime. Res64: 6887C8C4236973B7 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:14:58] 953*2^1509308-1 is not prime. Res64: 7C1144F5350757C0 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:14:59] 957*2^1509308-1 is not prime. Res64: 9F1534858FF5CC02 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:14:59] 655*2^1509309-1 is not prime. Res64: 078131FCA56526B2 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:15:00] 691*2^1509309-1 is not prime. Res64: D1F54422E54D7EED Time : 0.0 sec. user=mdettweiler [2018-05-09 15:15:00] 745*2^1509309-1 is not prime. Res64: 26858C14AC070990 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:16:55] 781*2^1509309-1 is not prime. Res64: C17C64BC02920FB2 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:16:56] 861*2^1509309-1 is not prime. Res64: A446F1B7CF3F4577 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:16:56] 867*2^1509309-1 is not prime. Res64: BB41AD1192DA4D28 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:16:57] 895*2^1509309-1 is not prime. Res64: D95D4BCAD3E76F2C Time : 0.0 sec. user=mdettweiler [2018-05-09 15:16:57] 999*2^1509309-1 is not prime. Res64: B563C75D3FAA06F6 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:18:31] 605*2^1509310-1 is not prime. Res64: 8C7E64554E5F41BC Time : 0.0 sec. user=mdettweiler [2018-05-09 15:18:32] 653*2^1509310-1 is not prime. Res64: ECF2913EB15443B4 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:18:32] 675*2^1509310-1 is not prime. Res64: E937138613BBDBBA Time : 0.0 sec. user=mdettweiler [2018-05-09 15:18:32] 741*2^1509310-1 is not prime. Res64: 6A71C7705B491768 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:18:33] 867*2^1509310-1 is not prime. Res64: F986D6C15D3C3C3E Time : 0.0 sec. user=mdettweiler [2018-05-09 15:45:02] 897*2^1509310-1 is not prime. Res64: 1C5FDCB8063A9411 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:45:03] 995*2^1509310-1 is not prime. Res64: 1A5B5D5E9139A8D7 Time : 0.0 sec. user=mdettweiler [2018-05-09 15:45:03] 621*2^1509311-1 is not prime. Res64: 1111C8B14B123EEF Time : 0.0 sec. user=mdettweiler [2018-05-09 15:45:04] 661*2^1509311-1 is not prime. Res64: D0AD8D1B0DBCB4ED Time : 0.0 sec. user=mdettweiler [2018-05-09 15:45:04] 703*2^1509311-1 is not prime. Res64: E754C41B6D36E7A3 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:05:32] 741*2^1509311-1 is not prime. Res64: D0C4BE8FF2B44FED Time : 0.0 sec. user=mdettweiler [2018-05-09 16:05:33] 855*2^1509311-1 is not prime. Res64: 35177193486B962F Time : 0.0 sec. user=mdettweiler [2018-05-09 16:05:35] 879*2^1509311-1 is not prime. Res64: 294583EF9B774A1B Time : 0.0 sec. user=mdettweiler [2018-05-09 16:05:36] 747*2^1509312-1 is not prime. Res64: 39A4C7436E5D851D Time : 0.0 sec. user=mdettweiler [2018-05-09 16:05:37] 815*2^1509312-1 is not prime. Res64: 2A7F18EA95E1AB8E Time : 0.0 sec. user=mdettweiler [2018-05-09 16:07:06] 863*2^1509312-1 is not prime. Res64: 547280A5424451A8 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:07:07] 977*2^1509312-1 is not prime. Res64: 0FA03E0AEF28F796 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:07:08] 983*2^1509312-1 is not prime. Res64: 885428B358F4DDC2 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:07:09] 609*2^1509313-1 is not prime. Res64: 5CA0EEE81BE115AE Time : 0.0 sec. user=mdettweiler [2018-05-09 16:07:13] 801*2^1509313-1 is not prime. Res64: ED4977D62C955D34 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:08:56] 807*2^1509313-1 is not prime. Res64: E3D716A7D37ED7C9 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:08:58] 861*2^1509313-1 is not prime. Res64: 440C5B3F0A9ABF8B Time : 0.0 sec. user=mdettweiler [2018-05-09 16:08:59] 867*2^1509313-1 is not prime. Res64: 80BC6F7F3F8E57AC Time : 0.0 sec. user=mdettweiler [2018-05-09 16:09:00] 889*2^1509313-1 is not prime. Res64: C57DAB7DADF78C87 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:09:00] 919*2^1509313-1 is not prime. Res64: C2989CAFEFC335E4 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:34:40] 979*2^1509313-1 is not prime. Res64: FD780FAD7B53553C Time : 0.0 sec. user=mdettweiler [2018-05-09 16:34:40] 617*2^1509314-1 is not prime. Res64: F87952BDAAA64F55 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:34:41] 671*2^1509314-1 is not prime. Res64: E6120A4E4A3E378F Time : 0.0 sec. user=mdettweiler [2018-05-09 16:34:41] 675*2^1509314-1 is not prime. Res64: 15FB5F8AC08B78A7 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:34:42] 767*2^1509314-1 is not prime. Res64: 4157FFF26F6DD03D Time : 0.0 sec. user=mdettweiler [2018-05-09 16:56:12] 813*2^1509314-1 is not prime. Res64: 26E45425924A183B Time : 0.0 sec. user=mdettweiler [2018-05-09 16:56:14] 923*2^1509314-1 is not prime. Res64: 0935FB7CDE179B2B Time : 0.0 sec. user=mdettweiler [2018-05-09 16:56:14] 935*2^1509314-1 is not prime. Res64: 81E85A0AD06F8535 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:56:15] 953*2^1509314-1 is not prime. Res64: 388E1CED5F9800C2 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:56:15] 643*2^1509315-1 is not prime. Res64: A4D8462D02A404C4 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:57:32] 849*2^1509315-1 is not prime. Res64: 272CBFBCBBB00264 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:57:32] 853*2^1509315-1 is not prime. Res64: 1030DC61B3F7A8E8 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:57:32] 859*2^1509315-1 is not prime. Res64: 447E0667C5F51444 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:57:33] 871*2^1509315-1 is not prime. Res64: CBD5302FC33EBB7D Time : 0.0 sec. user=mdettweiler [2018-05-09 16:57:33] 891*2^1509315-1 is not prime. Res64: 310EADCAB8E38CA9 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:58:25] 903*2^1509315-1 is not prime. Res64: 0B29FE0F53B8C8EB Time : 0.0 sec. user=mdettweiler [2018-05-09 16:58:25] 609*2^1509316-1 is not prime. Res64: 988E35F68C9050B3 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:58:25] 617*2^1509316-1 is not prime. Res64: CCFED0DC2763B3FE Time : 0.0 sec. user=mdettweiler [2018-05-09 16:58:26] 689*2^1509316-1 is not prime. Res64: 9606288879032E78 Time : 0.0 sec. user=mdettweiler [2018-05-09 16:58:26] 785*2^1509316-1 is not prime. Res64: A4A4ED5127904332 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:24:07] 873*2^1509316-1 is not prime. Res64: 3477AF7BF0188328 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:24:08] 899*2^1509316-1 is not prime. Res64: 83490FEC108CFE30 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:24:08] 631*2^1509317-1 is not prime. Res64: A83F3F3CFE296545 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:24:09] 669*2^1509317-1 is not prime. Res64: C922F981D117B2F5 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:24:11] 697*2^1509317-1 is not prime. Res64: 261D29A1DBABC348 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:45:55] 757*2^1509317-1 is not prime. Res64: EE685F4FB8DF2258 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:45:56] 771*2^1509317-1 is not prime. Res64: 51156AF9D8F4860D Time : 0.0 sec. user=mdettweiler [2018-05-09 17:45:56] 945*2^1509317-1 is not prime. Res64: F53010F186AD4610 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:45:57] 663*2^1509318-1 is not prime. Res64: 6423456E9292D1CE Time : 0.0 sec. user=mdettweiler [2018-05-09 17:45:57] 711*2^1509318-1 is not prime. Res64: DBA922DEDCB15AA2 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:47:16] 765*2^1509318-1 is not prime. Res64: CF870BBD1BD963E9 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:47:16] 825*2^1509318-1 is not prime. Res64: 3436AFC540F3B07C Time : 0.0 sec. user=mdettweiler [2018-05-09 17:47:17] 867*2^1509318-1 is not prime. Res64: B042612580504807 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:47:17] 603*2^1509319-1 is not prime. Res64: 42AD65A93B54B247 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:47:18] 619*2^1509319-1 is not prime. Res64: 7DC3D363F8E0BF76 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:48:17] 685*2^1509319-1 is not prime. Res64: 003FB5D420E4E034 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:48:17] 843*2^1509319-1 is not prime. Res64: 036C71DDD400FDD9 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:48:17] 861*2^1509319-1 is not prime. Res64: 41D18394DF252999 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:48:18] 873*2^1509319-1 is not prime. Res64: 74392F9B3B0B5637 Time : 0.0 sec. user=mdettweiler [2018-05-09 17:48:18] 891*2^1509319-1 is not prime. Res64: BFEB6B72646F0A99 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:13:49] 663*2^1509320-1 is not prime. Res64: EDA777AB5E749972 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:13:50] 833*2^1509320-1 is not prime. Res64: 646BD8F88D31EA7B Time : 0.0 sec. user=mdettweiler [2018-05-09 18:13:50] 857*2^1509320-1 is not prime. Res64: D5CBACB3FB3DBD1F Time : 0.0 sec. user=mdettweiler [2018-05-09 18:13:51] 915*2^1509320-1 is not prime. Res64: 7C9B0E31D38A11B7 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:13:51] 609*2^1509321-1 is not prime. Res64: 343384C711C9BF57 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:36:45] 949*2^1509321-1 is not prime. Res64: 4806BCB39CE6808B Time : 0.0 sec. user=mdettweiler [2018-05-09 18:36:46] 617*2^1509322-1 is not prime. Res64: 1E7D2126BC934892 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:36:46] 635*2^1509322-1 is not prime. Res64: 03260CD92403ECBC Time : 0.0 sec. user=mdettweiler [2018-05-09 18:36:46] 647*2^1509322-1 is not prime. Res64: 11729E90566E756C Time : 0.0 sec. user=mdettweiler [2018-05-09 18:36:48] 665*2^1509322-1 is not prime. Res64: D2AF8C912DA81DBC Time : 0.0 sec. user=mdettweiler [2018-05-09 18:37:03] 735*2^1509321-1 is not prime. Res64: BE02779272876854 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:37:03] 781*2^1509321-1 is not prime. Res64: 57C2B4256B4F7E20 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:37:04] 811*2^1509321-1 is not prime. Res64: 5DA684963FB1E30E Time : 0.0 sec. user=mdettweiler [2018-05-09 18:37:04] 847*2^1509321-1 is not prime. Res64: 8CF2F642B3635665 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:37:04] 907*2^1509321-1 is not prime. Res64: 81689A1BA094F49D Time : 0.0 sec. user=mdettweiler [2018-05-09 18:38:19] 677*2^1509322-1 is not prime. Res64: BC2D5D5EA9F2C3C7 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:38:20] 705*2^1509322-1 is not prime. Res64: 94307304299F7958 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:38:20] 723*2^1509322-1 is not prime. Res64: 9CAFE042463B3957 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:38:21] 735*2^1509322-1 is not prime. Res64: 7338069D17675998 Time : 0.0 sec. user=mdettweiler [2018-05-09 18:38:21] 855*2^1509322-1 is not prime. Res64: 3BC5F1A5A596B341 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:04:16] 621*2^1509323-1 is not prime. Res64: 3EB0F0FCCD24658D Time : 0.0 sec. user=mdettweiler [2018-05-09 19:04:17] 669*2^1509323-1 is not prime. Res64: B046E037CBF3416A Time : 0.0 sec. user=mdettweiler [2018-05-09 19:04:18] 703*2^1509323-1 is not prime. Res64: F102A97FAD65BAFC Time : 0.0 sec. user=mdettweiler [2018-05-09 19:04:19] 771*2^1509323-1 is not prime. Res64: 8611E59F822EB779 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:04:22] 943*2^1509323-1 is not prime. Res64: 4763D9B96203C8B2 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:27:44] 905*2^1509324-1 is not prime. Res64: 32F8732E80AE1899 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:27:44] 987*2^1509324-1 is not prime. Res64: 33BEFA416C14992A Time : 0.0 sec. user=mdettweiler [2018-05-09 19:27:45] 625*2^1509325-1 is not prime. Res64: D890B8CEE4FC8043 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:27:45] 715*2^1509325-1 is not prime. Res64: E7ACC991EFA1891B Time : 0.0 sec. user=mdettweiler [2018-05-09 19:27:45] 729*2^1509325-1 is not prime. Res64: 0D3FDACA7E8677B9 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:06] 801*2^1509325-1 is not prime. Res64: 2B3BC7C2AEEE5088 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:07] 825*2^1509325-1 is not prime. Res64: 5070BA06E0441202 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:07] 861*2^1509325-1 is not prime. Res64: 0822318C8E8062BB Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:07] 877*2^1509325-1 is not prime. Res64: 325D32E0B2B9D834 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:08] 937*2^1509325-1 is not prime. Res64: A8AE82BC528F717C Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:58] 957*2^1509325-1 is not prime. Res64: 15BB10AB36FEE9EC Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:58] 981*2^1509325-1 is not prime. Res64: 445E088E99F77351 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:59] 615*2^1509326-1 is not prime. Res64: 6EE52C27DA79F090 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:59] 675*2^1509326-1 is not prime. Res64: D808B2DD35093BBC Time : 0.0 sec. user=mdettweiler [2018-05-09 19:28:59] 795*2^1509326-1 is not prime. Res64: BC1731959CA90767 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:55:40] 857*2^1509326-1 is not prime. Res64: EB28433A00B2531A Time : 0.0 sec. user=mdettweiler [2018-05-09 19:55:40] 867*2^1509326-1 is not prime. Res64: F2A6B48B3CE1E680 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:55:41] 911*2^1509326-1 is not prime. Res64: 79E3D935D327A73A Time : 0.0 sec. user=mdettweiler [2018-05-09 19:55:41] 923*2^1509326-1 is not prime. Res64: 39FBFA201BC6C6A8 Time : 0.0 sec. user=mdettweiler [2018-05-09 19:55:42] 1001*2^1509326-1 is not prime. Res64: 53EB6A18DC65D141 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:38] 859*2^1509327-1 is not prime. Res64: 84A36159307A3FC4 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:42] 625*2^1509327-1 is not prime. Res64: 01444E9CA9BB4893 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:42] 891*2^1509327-1 is not prime. Res64: B6CE2385FA3A91C3 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:44] 985*2^1509327-1 is not prime. Res64: 9F526E931CD0E940 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:45] 603*2^1509328-1 is not prime. Res64: F63AFF2DCEBD1072 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:46] 615*2^1509328-1 is not prime. Res64: 5E165B2E95FB1B3E Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:46] 769*2^1509327-1 is not prime. Res64: 1C23058F0995F7E6 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:49] 775*2^1509327-1 is not prime. Res64: 0D259384306F2AE5 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:50] 819*2^1509327-1 is not prime. Res64: 715D2CFA09BA1F4C Time : 0.0 sec. user=mdettweiler [2018-05-09 20:17:51] 831*2^1509327-1 is not prime. Res64: EF7DD972E7D90CD4 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:18:41] 695*2^1509328-1 is not prime. Res64: 0DA175C019D959A0 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:18:41] 803*2^1509328-1 is not prime. Res64: F67AA8125F90D543 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:18:42] 915*2^1509328-1 is not prime. Res64: 689205D18BD53F48 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:18:42] 637*2^1509329-1 is not prime. Res64: 362A953B64480790 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:18:45] 759*2^1509329-1 is not prime. Res64: 4736266F7B4EF553 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:45:16] 967*2^1509329-1 is not prime. Res64: F063C20E0968835E Time : 0.0 sec. user=mdettweiler [2018-05-09 20:45:17] 641*2^1509330-1 is not prime. Res64: 7A0EEA1A4BD334A8 Time : 0.0 sec. user=mdettweiler [2018-05-09 20:45:17] 681*2^1509330-1 is not prime. Res64: BB55D95F93980D9B Time : 0.0 sec. user=mdettweiler [2018-05-09 20:45:18] 725*2^1509330-1 is not prime. Res64: F47BDF6FDB04B94B Time : 0.0 sec. user=mdettweiler [2018-05-09 20:45:18] 741*2^1509330-1 is not prime. Res64: 19D438754C6B876F Time : 0.0 sec. user=mdettweiler [2018-05-09 21:07:28] 825*2^1509330-1 is not prime. Res64: 4B94631B2A88823B Time : 0.0 sec. user=mdettweiler [2018-05-09 21:07:29] 833*2^1509330-1 is not prime. Res64: 8D833A1A3E4C8678 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:07:29] 963*2^1509330-1 is not prime. Res64: 188854B84018FBFC Time : 0.0 sec. user=mdettweiler [2018-05-09 21:07:30] 645*2^1509331-1 is not prime. Res64: CA40111D1EF920A2 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:07:30] 673*2^1509331-1 is not prime. Res64: ABAB64CC15C02BE1 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:08:10] 723*2^1509331-1 is not prime. Res64: EAEBEC3F8DF080A4 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:08:10] 741*2^1509331-1 is not prime. Res64: 81DF18F1E05E0CFB Time : 0.0 sec. user=mdettweiler [2018-05-09 21:08:10] 829*2^1509331-1 is not prime. Res64: B8502D146B15314A Time : 0.0 sec. user=mdettweiler [2018-05-09 21:08:12] 913*2^1509331-1 is not prime. Res64: EA02E6F73EE3F7F3 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:08:13] 939*2^1509331-1 is not prime. Res64: 7E8641CEFADFE6DE Time : 0.0 sec. user=mdettweiler [2018-05-09 21:09:04] 993*2^1509331-1 is not prime. Res64: 3C50A243C2DA6D58 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:09:04] 743*2^1509332-1 is not prime. Res64: 54BE61329483A7DB Time : 0.0 sec. user=mdettweiler [2018-05-09 21:09:05] 797*2^1509332-1 is not prime. Res64: 8687F39EBC2556BA Time : 0.0 sec. user=mdettweiler [2018-05-09 21:09:05] 813*2^1509332-1 is not prime. Res64: FBC34540D73DDFE3 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:09:05] 929*2^1509332-1 is not prime. Res64: B0C9C69BA5F6C232 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:34:54] 957*2^1509332-1 is not prime. Res64: 740D48856E220B36 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:34:54] 983*2^1509332-1 is not prime. Res64: 4CDF8B5E25CE46FC Time : 0.0 sec. user=mdettweiler [2018-05-09 21:34:55] 657*2^1509333-1 is not prime. Res64: 4EF068D1CA7C1773 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:34:55] 699*2^1509333-1 is not prime. Res64: 1FF3ADD9C550EBFD Time : 0.0 sec. user=mdettweiler [2018-05-09 21:34:55] 741*2^1509333-1 is not prime. Res64: 2D7D64E9AE271C28 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:37] 781*2^1509333-1 is not prime. Res64: D6192EEB25D0B5BE Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:37] 657*2^1509334-1 is not prime. Res64: 1A60EAF190AEA55E Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:37] 891*2^1509333-1 is not prime. Res64: 6DE78FA5AE7967CE Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:37] 677*2^1509334-1 is not prime. Res64: 67681118C4C64AA9 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:38] 951*2^1509333-1 is not prime. Res64: A7AD3157B5EE8106 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:38] 681*2^1509334-1 is not prime. Res64: 66D393EAFB9C1AE3 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:38] 961*2^1509333-1 is not prime. Res64: FF4DB143FE3D17B7 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:38] 747*2^1509334-1 is not prime. Res64: 84DFBFC3DD43BD66 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:38] 621*2^1509334-1 is not prime. Res64: B391BCDDCD855DB9 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:57:39] 755*2^1509334-1 is not prime. Res64: 0F144E8A5E01BB48 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:59:41] 773*2^1509334-1 is not prime. Res64: CC42FE7EACE43EE0 Time : 0.0 sec. user=mdettweiler [2018-05-09 21:59:41] 815*2^1509334-1 is not prime. Res64: 5B433A76F52F376B Time : 0.0 sec. user=mdettweiler [2018-05-09 21:59:42] 863*2^1509334-1 is not prime. Res64: 7703507F6D86B1AF Time : 0.0 sec. user=mdettweiler [2018-05-09 21:59:42] 993*2^1509334-1 is not prime. Res64: 01D6352A747F4D6F Time : 0.0 sec. user=mdettweiler [2018-05-09 21:59:42] 1001*2^1509334-1 is not prime. Res64: 7035C5A6356F564F Time : 0.0 sec. user=mdettweiler [2018-05-09 22:27:52] 685*2^1509335-1 is not prime. Res64: 15AC953F006A4453 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:27:53] 789*2^1509335-1 is not prime. Res64: D9486BABBC90C5E0 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:27:53] 825*2^1509335-1 is not prime. Res64: 140B4FE4CEB468A9 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:27:54] 859*2^1509335-1 is not prime. Res64: 5BC8F41325292819 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:27:54] 909*2^1509335-1 is not prime. Res64: 518368EDBF828080 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:03] 963*2^1509335-1 is not prime. Res64: 0F2B650CA1E11620 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:03] 973*2^1509335-1 is not prime. Res64: 0A50A05E07D1E89E Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:03] 627*2^1509336-1 is not prime. Res64: 002B8712DF034A3D Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:04] 699*2^1509336-1 is not prime. Res64: 01CA45831C7B56F2 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:04] 779*2^1509336-1 is not prime. Res64: 9FB7D280856CC197 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:36] 607*2^1509337-1 is not prime. Res64: 7707C69E378AB70C Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:37] 801*2^1509337-1 is not prime. Res64: 06CDE3DD44FCDCE9 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:37] 831*2^1509337-1 is not prime. Res64: 9C00C4A617A98AD2 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:37] 847*2^1509337-1 is not prime. Res64: CF46D12C999DC0BF Time : 0.0 sec. user=mdettweiler [2018-05-09 22:49:38] 955*2^1509337-1 is not prime. Res64: A8476021D7AD57DA Time : 0.0 sec. user=mdettweiler [2018-05-09 22:51:01] 603*2^1509338-1 is not prime. Res64: 2848E241DF17ADCD Time : 0.0 sec. user=mdettweiler [2018-05-09 22:51:01] 635*2^1509338-1 is not prime. Res64: CB2CF207EF5DB730 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:51:02] 641*2^1509338-1 is not prime. Res64: 21A256FA295BD070 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:51:02] 683*2^1509338-1 is not prime. Res64: 6F1416D025F1A383 Time : 0.0 sec. user=mdettweiler [2018-05-09 22:51:02] 687*2^1509338-1 is not prime. Res64: E4BE20170F634C73 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:18:23] 885*2^1509338-1 is not prime. Res64: 02FC818BDCEC9BF8 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:18:23] 957*2^1509338-1 is not prime. Res64: 8C3B6E73EA8EF977 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:18:25] 995*2^1509338-1 is not prime. Res64: D8955818C1FEED25 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:18:26] 711*2^1509339-1 is not prime. Res64: 4158FB9587D3DD19 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:18:26] 735*2^1509339-1 is not prime. Res64: DDA0041C895CA2FC Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:26] 789*2^1509339-1 is not prime. Res64: 2A973E36EC3B347F Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:27] 961*2^1509339-1 is not prime. Res64: 21EE20C6EE56CB35 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:27] 887*2^1509340-1 is not prime. Res64: C651C2FD5EC2E7FA Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:28] 933*2^1509340-1 is not prime. Res64: 57465094F5D0468A Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:28] 957*2^1509340-1 is not prime. Res64: EEC9B4244BE8CD3B Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:43] 983*2^1509340-1 is not prime. Res64: 5D19C338B5B79A6D Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:44] 615*2^1509341-1 is not prime. Res64: 5BA3D3B31ACEA408 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:44] 859*2^1509341-1 is not prime. Res64: 471C394586B234E6 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:44] 981*2^1509341-1 is not prime. Res64: DCF6EBD2C067914A Time : 0.0 sec. user=mdettweiler [2018-05-09 23:39:45] 987*2^1509341-1 is not prime. Res64: 273C08A079D5E916 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:40:20] 615*2^1509342-1 is not prime. Res64: CAC8A4E275E41CBC Time : 0.0 sec. user=mdettweiler [2018-05-09 23:40:20] 621*2^1509342-1 is not prime. Res64: 0C8DA297095F93D8 Time : 0.0 sec. user=mdettweiler [2018-05-09 23:40:21] 635*2^1509342-1 is not prime. Res64: 7BB1B532B54DC03B Time : 0.0 sec. user=mdettweiler [2018-05-09 23:40:21] 717*2^1509342-1 is not prime. Res64: 6A03FADDFF9ADE4E Time : 0.0 sec. user=mdettweiler [2018-05-09 23:40:22] 737*2^1509342-1 is not prime. Res64: 171B51AC9F08BCE7 Time : 0.0 sec.