user=mdettweiler [2018-05-08 00:08:48] 771*2^1509181-1 is not prime. Res64: B59559D9ED296A59 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:08:50] 871*2^1509181-1 is not prime. Res64: FD1864CB896E9405 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:08:53] 931*2^1509181-1 is not prime. Res64: E05998FCB08F68AB Time : 0.0 sec. user=mdettweiler [2018-05-08 00:08:55] 967*2^1509181-1 is not prime. Res64: 90C172376AF25E7D Time : 0.0 sec. user=mdettweiler [2018-05-08 00:08:56] 999*2^1509181-1 is not prime. Res64: CD49C76AD6999148 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:11:30] 603*2^1509182-1 is not prime. Res64: C9AA195437C214C7 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:11:30] 785*2^1509182-1 is not prime. Res64: 30BD17D4CBAAD3BF Time : 0.0 sec. user=mdettweiler [2018-05-08 00:11:31] 843*2^1509182-1 is not prime. Res64: 34A35CCD7A348CC8 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:11:31] 953*2^1509182-1 is not prime. Res64: FB7326E97247CCDF Time : 0.0 sec. user=mdettweiler [2018-05-08 00:11:32] 957*2^1509182-1 is not prime. Res64: 19E518917DB344A0 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:12:13] 693*2^1509183-1 is not prime. Res64: 658DC64DFDBCF241 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:12:13] 745*2^1509183-1 is not prime. Res64: 879DD66AAF581CBE Time : 0.0 sec. user=mdettweiler [2018-05-08 00:12:14] 769*2^1509183-1 is not prime. Res64: 34CD65E56C57A84B Time : 0.0 sec. user=mdettweiler [2018-05-08 00:12:14] 805*2^1509183-1 is not prime. Res64: CE8B709633861981 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:12:15] 901*2^1509183-1 is not prime. Res64: 8A796339F0C3FB50 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:38:39] 933*2^1509183-1 is not prime. Res64: 0A09E52F2501963F Time : 0.0 sec. user=mdettweiler [2018-05-08 00:38:39] 657*2^1509184-1 is not prime. Res64: 1E09995FB63B4335 Time : 0.0 sec. user=mdettweiler [2018-05-08 00:38:39] 707*2^1509184-1 is not prime. Res64: C4BC11DD16B25C2E Time : 0.0 sec. user=mdettweiler [2018-05-08 00:38:40] 843*2^1509184-1 is not prime. Res64: BC53BE81CC569C6F Time : 0.0 sec. user=mdettweiler [2018-05-08 00:38:40] 857*2^1509184-1 is not prime. Res64: 01E1A5099ED53357 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:02:07] 875*2^1509184-1 is not prime. Res64: DA275A9202D74C1A Time : 0.0 sec. user=mdettweiler [2018-05-08 01:02:08] 983*2^1509184-1 is not prime. Res64: BB962692B02CB5D3 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:02:09] 601*2^1509185-1 is not prime. Res64: 1E3D3576616B9BBF Time : 0.0 sec. user=mdettweiler [2018-05-08 01:02:09] 627*2^1509185-1 is not prime. Res64: 1D3470D8C2B8459E Time : 0.0 sec. user=mdettweiler [2018-05-08 01:02:10] 787*2^1509185-1 is not prime. Res64: 272B1887D98973F1 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:05] 851*2^1509186-1 is not prime. Res64: E2E7A2CC9D18E8C0 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:06] 1001*2^1509186-1 is not prime. Res64: 2099B70D1BED7CD0 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:07] 633*2^1509187-1 is not prime. Res64: CA28255788031EA9 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:08] 801*2^1509187-1 is not prime. Res64: FBFC687182F2E9C3 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:09] 871*2^1509187-1 is not prime. Res64: F425DC91C223141B Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:21] 847*2^1509185-1 is not prime. Res64: 7C1A7F3F15521A4F Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:23] 765*2^1509186-1 is not prime. Res64: 4546ECCF4EAF868C Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:24] 783*2^1509186-1 is not prime. Res64: 51851727A0456A6A Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:25] 807*2^1509186-1 is not prime. Res64: 347A894FA733C08E Time : 0.0 sec. user=mdettweiler [2018-05-08 01:04:26] 815*2^1509186-1 is not prime. Res64: 44CC59D6F3FD7C82 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:31:52] 919*2^1509187-1 is not prime. Res64: CF0FF2A47433F24C Time : 0.0 sec. user=mdettweiler [2018-05-08 01:31:54] 975*2^1509187-1 is not prime. Res64: ECFE7BEBAC07D97E Time : 0.0 sec. user=mdettweiler [2018-05-08 01:31:55] 707*2^1509188-1 is not prime. Res64: C779589E238BA829 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:31:56] 789*2^1509188-1 is not prime. Res64: 9AE7B1DCDFEB9F9C Time : 0.0 sec. user=mdettweiler [2018-05-08 01:31:57] 825*2^1509188-1 is not prime. Res64: 485C538AB85680EB Time : 0.0 sec. user=mdettweiler [2018-05-08 01:54:34] 893*2^1509188-1 is not prime. Res64: 113E06ABA1752D3B Time : 0.0 sec. user=mdettweiler [2018-05-08 01:54:35] 923*2^1509188-1 is not prime. Res64: 423FEA1E0EDCC6A5 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:54:35] 963*2^1509188-1 is not prime. Res64: D92D7B4EFA531C87 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:54:36] 987*2^1509188-1 is not prime. Res64: 56565611B34549F6 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:54:36] 657*2^1509189-1 is not prime. Res64: E2C0895EDC969B93 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:55:31] 919*2^1509189-1 is not prime. Res64: 99A2585C5E60CD7D Time : 0.0 sec. user=mdettweiler [2018-05-08 01:55:32] 945*2^1509189-1 is not prime. Res64: 17131AB3C25BE0A8 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:55:33] 645*2^1509190-1 is not prime. Res64: 1370A881A7A5AA4F Time : 0.0 sec. user=mdettweiler [2018-05-08 01:55:34] 791*2^1509190-1 is not prime. Res64: 640CC817E9DE89C5 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:55:34] 831*2^1509190-1 is not prime. Res64: F7CC347EF6AB45E3 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:55:59] 727*2^1509189-1 is not prime. Res64: 7FF8F4A3122F9198 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:56:00] 747*2^1509189-1 is not prime. Res64: 8179C0DCF03467AA Time : 0.0 sec. user=mdettweiler [2018-05-08 01:56:00] 769*2^1509189-1 is not prime. Res64: 0C499A6D1413A9C5 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:56:02] 885*2^1509189-1 is not prime. Res64: 9E0FB2E8EC9D1622 Time : 0.0 sec. user=mdettweiler [2018-05-08 01:56:05] 889*2^1509189-1 is not prime. Res64: 8B56A8640BB0A69B Time : 0.0 sec. user=mdettweiler [2018-05-08 02:30:21] 857*2^1509190-1 is not prime. Res64: 9DE66AB855D5CD8D Time : 0.0 sec. user=mdettweiler [2018-05-08 02:30:24] 945*2^1509190-1 is not prime. Res64: 1BF9DC73B8AF417D Time : 0.0 sec. user=mdettweiler [2018-05-08 02:50:09] 855*2^1509191-1 is not prime. Res64: E67CE47E426C7F3E Time : 0.0 sec. user=mdettweiler [2018-05-08 02:50:11] 859*2^1509191-1 is not prime. Res64: A11DFF701B3BC3E9 Time : 0.0 sec. user=mdettweiler [2018-05-08 02:50:13] 879*2^1509191-1 is not prime. Res64: A5EE4746574943B7 Time : 0.0 sec. user=mdettweiler [2018-05-08 02:50:14] 885*2^1509191-1 is not prime. Res64: 0ADE444E2639E63E Time : 0.0 sec. user=mdettweiler [2018-05-08 02:50:14] 943*2^1509191-1 is not prime. Res64: 4CD3622C3A2E6090 Time : 0.0 sec. user=mdettweiler [2018-05-08 02:54:14] 979*2^1509191-1 is not prime. Res64: B2F6E88FF33428FD Time : 0.0 sec. user=mdettweiler [2018-05-08 02:54:15] 713*2^1509192-1 is not prime. Res64: D379C65B051F6B3D Time : 0.0 sec. user=mdettweiler [2018-05-08 02:54:16] 737*2^1509192-1 is not prime. Res64: DEFBE1BE66572CCD Time : 0.0 sec. user=mdettweiler [2018-05-08 02:54:16] 779*2^1509192-1 is not prime. Res64: 80D7959D97A6E3B4 Time : 0.0 sec. user=mdettweiler [2018-05-08 02:54:17] 863*2^1509192-1 is not prime. Res64: D81E855F6F3754F7 Time : 0.0 sec. user=mdettweiler [2018-05-08 03:00:53] 945*2^1509192-1 is not prime. Res64: A1D9456C9B7E153A Time : 0.0 sec. user=mdettweiler [2018-05-08 03:00:54] 609*2^1509193-1 is not prime. Res64: 428CE6D552D61B8C Time : 0.0 sec. user=mdettweiler [2018-05-08 03:00:55] 775*2^1509193-1 is not prime. Res64: 762BA0D2EAECAE20 Time : 0.0 sec. user=mdettweiler [2018-05-08 03:00:55] 855*2^1509193-1 is not prime. Res64: 0ECD7DE30DFF33B6 Time : 0.0 sec. user=mdettweiler [2018-05-08 03:00:56] 867*2^1509193-1 is not prime. Res64: CA6C688D92E76784 Time : 0.0 sec. user=mdettweiler [2018-05-08 03:59:04] 901*2^1509193-1 is not prime. Res64: 92AFD61FAC1EB932 Time : 0.0 sec. user=mdettweiler [2018-05-08 03:59:06] 915*2^1509193-1 is not prime. Res64: E51018323F42522E Time : 0.0 sec. user=mdettweiler [2018-05-08 03:59:07] 939*2^1509193-1 is not prime. Res64: D8198D4EF3A4671C Time : 0.0 sec. user=mdettweiler [2018-05-08 03:59:07] 633*2^1509194-1 is not prime. Res64: C27344C38943D8C2 Time : 0.0 sec. user=mdettweiler [2018-05-08 03:59:08] 755*2^1509194-1 is not prime. Res64: FC42AEF68A402B4D Time : 0.0 sec. user=mdettweiler [2018-05-08 04:05:40] 679*2^1509195-1 is not prime. Res64: 14D653AA3476CC94 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:05:42] 711*2^1509195-1 is not prime. Res64: 26725530214E9BBA Time : 0.0 sec. user=mdettweiler [2018-05-08 04:05:44] 783*2^1509195-1 is not prime. Res64: 0D2CB0B703122C26 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:05:45] 825*2^1509195-1 is not prime. Res64: EF12806A65D3ABC1 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:05:47] 853*2^1509195-1 is not prime. Res64: 83931C98A5761584 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:13:33] 833*2^1509194-1 is not prime. Res64: 23686165C52AA533 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:13:40] 837*2^1509194-1 is not prime. Res64: A1193EB06CDB4778 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:13:42] 857*2^1509194-1 is not prime. Res64: 7086725A9FE1B5F9 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:13:46] 921*2^1509194-1 is not prime. Res64: 06D33D25CC4D3421 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:13:49] 971*2^1509194-1 is not prime. Res64: 6D757C95C99EC2DB Time : 0.0 sec. user=mdettweiler [2018-05-08 04:51:34] 891*2^1509195-1 is not prime. Res64: 8432C444BED2CD45 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:51:35] 895*2^1509195-1 is not prime. Res64: 3FB64DB50C8E6EB9 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:51:35] 653*2^1509196-1 is not prime. Res64: 124EEFA2EBA706C4 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:51:36] 693*2^1509196-1 is not prime. Res64: BAEEF5EE5C315E16 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:51:36] 843*2^1509196-1 is not prime. Res64: 05961E55FD164B94 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:58:45] 999*2^1509196-1 is not prime. Res64: F501FE2FF73900DA Time : 0.0 sec. user=mdettweiler [2018-05-08 04:58:46] 621*2^1509197-1 is not prime. Res64: 86645EBB14651A89 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:58:46] 655*2^1509197-1 is not prime. Res64: 0B145E8B706F787F Time : 0.0 sec. user=mdettweiler [2018-05-08 04:58:47] 865*2^1509197-1 is not prime. Res64: 4B0F015A64C3D017 Time : 0.0 sec. user=mdettweiler [2018-05-08 04:58:47] 937*2^1509197-1 is not prime. Res64: 9890BD12A8CF6F6A Time : 0.0 sec. user=mdettweiler [2018-05-08 05:08:51] 985*2^1509197-1 is not prime. Res64: 00FB6B21F754CBDC Time : 0.0 sec. user=mdettweiler [2018-05-08 05:08:53] 737*2^1509198-1 is not prime. Res64: C8C09428F8BF5AC3 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:08:55] 761*2^1509198-1 is not prime. Res64: 80D2AB5F8BB93940 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:08:56] 801*2^1509198-1 is not prime. Res64: 54E4171CCA8C092A Time : 0.0 sec. user=mdettweiler [2018-05-08 05:08:58] 861*2^1509198-1 is not prime. Res64: 13821D87046D9F86 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:45:27] 867*2^1509198-1 is not prime. Res64: 0E71EB7E87BB9779 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:45:28] 881*2^1509198-1 is not prime. Res64: 373E1E990A1F2921 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:45:28] 915*2^1509198-1 is not prime. Res64: 2FB9AAF2CA93AB1A Time : 0.0 sec. user=mdettweiler [2018-05-08 05:45:29] 921*2^1509198-1 is not prime. Res64: 285C523395B9D5E0 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:45:29] 963*2^1509198-1 is not prime. Res64: 399B0A330A4C1A09 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:52:34] 675*2^1509199-1 is not prime. Res64: B4B77DB6F4541D89 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:52:35] 679*2^1509199-1 is not prime. Res64: 85828D3211AAEAC0 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:52:35] 745*2^1509199-1 is not prime. Res64: ADEECF53254A73E0 Time : 0.0 sec. user=mdettweiler [2018-05-08 05:52:36] 789*2^1509199-1 is not prime. Res64: 9B91ECE69E06D07A Time : 0.0 sec. user=mdettweiler [2018-05-08 05:52:36] 861*2^1509199-1 is not prime. Res64: 0A0BA5FA28F65A43 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:03:20] 885*2^1509199-1 is not prime. Res64: C678050DA80EE820 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:03:23] 961*2^1509199-1 is not prime. Res64: 837BA0D442490286 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:03:24] 975*2^1509199-1 is not prime. Res64: 707C392028C7FEF4 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:03:25] 985*2^1509199-1 is not prime. Res64: 2AA1FD0CDD5C8296 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:03:27] 759*2^1509200-1 is not prime. Res64: BD1D13E80F72DEA9 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:38:16] 651*2^1509191-1 is not prime. Res64: D7E6B50140577EA1 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:38:17] 789*2^1509191-1 is not prime. Res64: A58C4F91B76BDCE4 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:38:17] 841*2^1509191-1 is not prime. Res64: E64885A9D779C5FE Time : 0.0 sec. user=mdettweiler [2018-05-08 06:39:15] 785*2^1509200-1 is not prime. Res64: B32967B094CB94CD Time : 0.0 sec. user=mdettweiler [2018-05-08 06:39:15] 845*2^1509200-1 is not prime. Res64: 686C7F4E0552B539 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:39:16] 915*2^1509200-1 is not prime. Res64: 6F9179032B425E03 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:39:16] 935*2^1509200-1 is not prime. Res64: 360EA45820857345 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:39:17] 963*2^1509200-1 is not prime. Res64: D7BF39766FBC7C37 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:44:38] 609*2^1509201-1 is not prime. Res64: 49AAEDC1420E2C42 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:44:38] 649*2^1509201-1 is not prime. Res64: F0A9E8D01910A706 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:44:38] 685*2^1509201-1 is not prime. Res64: 9A230C2CE3C9180E Time : 0.0 sec. user=mdettweiler [2018-05-08 06:44:39] 727*2^1509201-1 is not prime. Res64: 28CD9B5593E425F9 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:44:39] 805*2^1509201-1 is not prime. Res64: C680337D37442F38 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:56:04] 811*2^1509201-1 is not prime. Res64: 3A87BB146738F048 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:56:04] 867*2^1509201-1 is not prime. Res64: 6A0A5EEF275388B6 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:56:05] 951*2^1509201-1 is not prime. Res64: 89946DDB9BD143A7 Time : 0.0 sec. user=mdettweiler [2018-05-08 06:56:05] 603*2^1509202-1 is not prime. Res64: 7CAB680D982BC7FB Time : 0.0 sec. user=mdettweiler [2018-05-08 06:56:06] 651*2^1509202-1 is not prime. Res64: 3CA787E72338433F Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:36] 791*2^1509202-1 is not prime. Res64: 4ED0746C1C3C0308 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:36] 855*2^1509202-1 is not prime. Res64: BB3FF47AB481FA8D Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:37] 873*2^1509202-1 is not prime. Res64: C04F7FC7290C46BF Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:37] 885*2^1509202-1 is not prime. Res64: 9B6F2EEC35E76C98 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:38] 981*2^1509202-1 is not prime. Res64: 7F520B212B62941E Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:45] 987*2^1509202-1 is not prime. Res64: 391CCD99EAC74444 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:46] 1001*2^1509202-1 is not prime. Res64: 1811B944D20578DF Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:46] 735*2^1509203-1 is not prime. Res64: F66B24BBED165E4E Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:47] 813*2^1509203-1 is not prime. Res64: 452F57E2F6D3C059 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:30:47] 855*2^1509203-1 is not prime. Res64: F569629E3FC2EDF8 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:36:17] 859*2^1509203-1 is not prime. Res64: CEDF1523CB0FA711 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:36:18] 885*2^1509203-1 is not prime. Res64: B73BAC824F1D188D Time : 0.0 sec. user=mdettweiler [2018-05-08 07:36:18] 921*2^1509203-1 is not prime. Res64: BF0913AE40CA1634 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:36:19] 783*2^1509204-1 is not prime. Res64: 8F30AF10AC6C11A3 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:36:19] 875*2^1509204-1 is not prime. Res64: 74E1E1A5A894308F Time : 0.0 sec. user=mdettweiler [2018-05-08 07:47:32] 903*2^1509204-1 is not prime. Res64: 8062B0C554A97834 Time : 0.0 sec. user=mdettweiler [2018-05-08 07:47:32] 923*2^1509204-1 is not prime. Res64: 1D9A36138C33425F Time : 0.0 sec. user=mdettweiler [2018-05-08 07:47:33] 927*2^1509204-1 is not prime. Res64: 4EF0F77E1F1D635E Time : 0.0 sec. user=mdettweiler [2018-05-08 07:47:33] 993*2^1509204-1 is not prime. Res64: 55376DCA70739A0B Time : 0.0 sec. user=mdettweiler [2018-05-08 07:47:33] 667*2^1509205-1 is not prime. Res64: DF659AB371BDC189 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:10] 717*2^1509205-1 is not prime. Res64: 2A03C5FCE60A1CD7 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:10] 859*2^1509205-1 is not prime. Res64: 2C00E9629B062501 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:10] 889*2^1509205-1 is not prime. Res64: ECC17063A9B712BF Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:11] 603*2^1509206-1 is not prime. Res64: 26A3BF2A0B81A594 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:11] 641*2^1509206-1 is not prime. Res64: 6569B651A0778771 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:43] 813*2^1509206-1 is not prime. Res64: 041CF46686998150 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:43] 893*2^1509206-1 is not prime. Res64: 8BD439DE76D59591 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:44] 935*2^1509206-1 is not prime. Res64: 4CD0A281C6BE9338 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:44] 957*2^1509206-1 is not prime. Res64: D0D44DDD2525E28D Time : 0.0 sec. user=mdettweiler [2018-05-08 08:22:44] 1001*2^1509206-1 is not prime. Res64: 5DEB891970A5DCE3 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:27:24] 861*2^1509207-1 is not prime. Res64: 6ECB13B987DFC793 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:27:25] 891*2^1509207-1 is not prime. Res64: C7C48477A47A2D5E Time : 0.0 sec. user=mdettweiler [2018-05-08 08:27:25] 605*2^1509208-1 is not prime. Res64: 0EE173D6F96791FF Time : 0.0 sec. user=mdettweiler [2018-05-08 08:27:25] 617*2^1509208-1 is not prime. Res64: A934BD77E27A7C3A Time : 0.0 sec. user=mdettweiler [2018-05-08 08:27:26] 695*2^1509208-1 is not prime. Res64: 5E0544BF2E6C3D7E Time : 0.0 sec. user=mdettweiler [2018-05-08 08:38:46] 705*2^1509208-1 is not prime. Res64: D499DA2F1DB4F09F Time : 0.0 sec. user=mdettweiler [2018-05-08 08:38:46] 723*2^1509208-1 is not prime. Res64: DF21242CE1AE6B49 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:38:47] 797*2^1509208-1 is not prime. Res64: 88B9F61C08179DE7 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:38:47] 825*2^1509208-1 is not prime. Res64: F4C64188E17336F8 Time : 0.0 sec. user=mdettweiler [2018-05-08 08:38:47] 833*2^1509208-1 is not prime. Res64: 3D58EBC41B0C9984 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:13:44] 875*2^1509208-1 is not prime. Res64: 7CBDE156C2DBD8D4 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:13:45] 923*2^1509208-1 is not prime. Res64: DE29F76E30F0E984 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:13:45] 927*2^1509208-1 is not prime. Res64: 61649284190E01CA Time : 0.0 sec. user=mdettweiler [2018-05-08 09:13:46] 999*2^1509208-1 is not prime. Res64: 4B0E4DAEDE88037C Time : 0.0 sec. user=mdettweiler [2018-05-08 09:13:46] 637*2^1509209-1 is not prime. Res64: E726C9A34678E065 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:14:26] 645*2^1509209-1 is not prime. Res64: F7179623AC85F0B9 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:14:27] 711*2^1509209-1 is not prime. Res64: 0872648DBD8A74D2 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:14:27] 771*2^1509209-1 is not prime. Res64: 5CC7B80C6E1316F4 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:14:27] 945*2^1509209-1 is not prime. Res64: D384EF488BB457F6 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:14:28] 949*2^1509209-1 is not prime. Res64: 11EE77C3C10491E5 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:20:21] 713*2^1509210-1 is not prime. Res64: 7DE2F9012E26FBBF Time : 0.0 sec. user=mdettweiler [2018-05-08 09:20:21] 735*2^1509210-1 is not prime. Res64: EC80E342FDBB35F3 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:20:22] 797*2^1509210-1 is not prime. Res64: 3BBDDEAB6C02F2AD Time : 0.0 sec. user=mdettweiler [2018-05-08 09:20:22] 963*2^1509210-1 is not prime. Res64: 3E50150F1EDC3D96 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:20:23] 977*2^1509210-1 is not prime. Res64: 94B3120E05D4B353 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:30:35] 625*2^1509211-1 is not prime. Res64: 402E0E24F1273CAC Time : 0.0 sec. user=mdettweiler [2018-05-08 09:30:35] 631*2^1509211-1 is not prime. Res64: 113BBC2A6314CAA8 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:30:36] 793*2^1509211-1 is not prime. Res64: D1B000ACBE976ACD Time : 0.0 sec. user=mdettweiler [2018-05-08 09:30:36] 855*2^1509211-1 is not prime. Res64: 4EF0B70CE5CC09A7 Time : 0.0 sec. user=mdettweiler [2018-05-08 09:30:37] 873*2^1509211-1 is not prime. Res64: 40511A05480E7614 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:06:57] 931*2^1509211-1 is not prime. Res64: 44047DCC200DBEDE Time : 0.0 sec. user=mdettweiler [2018-05-08 10:06:58] 603*2^1509212-1 is not prime. Res64: BE459FE6B82B6566 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:06:59] 635*2^1509212-1 is not prime. Res64: FFD7284702B4A14E Time : 0.0 sec. user=mdettweiler [2018-05-08 10:07:00] 699*2^1509212-1 is not prime. Res64: 31B657C969471726 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:07:01] 755*2^1509212-1 is not prime. Res64: E10AEC161A935200 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:09:41] 767*2^1509212-1 is not prime. Res64: 661B27B77ECEC288 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:09:41] 819*2^1509212-1 is not prime. Res64: 26B4434E869806F2 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:09:41] 825*2^1509212-1 is not prime. Res64: F4009C3BFF4DD923 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:09:42] 833*2^1509212-1 is not prime. Res64: CCF5E6FAF2D2566B Time : 0.0 sec. user=mdettweiler [2018-05-08 10:09:42] 843*2^1509212-1 is not prime. Res64: 09F337C9D7157781 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:14:38] 857*2^1509212-1 is not prime. Res64: 933A24F21CB5FA45 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:14:39] 867*2^1509212-1 is not prime. Res64: 4A571BAC9CF63A96 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:14:39] 963*2^1509212-1 is not prime. Res64: 0255335DAA81D787 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:14:40] 621*2^1509213-1 is not prime. Res64: 826B03B2CC26281A Time : 0.0 sec. user=mdettweiler [2018-05-08 10:14:40] 751*2^1509213-1 is not prime. Res64: 078AAC25C75537A3 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:23:06] 759*2^1509213-1 is not prime. Res64: 04A6363CDDD140FB Time : 0.0 sec. user=mdettweiler [2018-05-08 10:23:07] 817*2^1509213-1 is not prime. Res64: 508C191E0CF2C40F Time : 0.0 sec. user=mdettweiler [2018-05-08 10:23:07] 871*2^1509213-1 is not prime. Res64: 29D121619DB44639 Time : 0.0 sec. user=mdettweiler [2018-05-08 10:23:07] 951*2^1509213-1 is not prime. Res64: 2379230225F9C87E Time : 0.0 sec. user=mdettweiler [2018-05-08 10:23:08] 621*2^1509214-1 is not prime. Res64: 5C52F90B60AB421F Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:08] 731*2^1509214-1 is not prime. Res64: 572B64A2CD181A42 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:10] 791*2^1509214-1 is not prime. Res64: B829655F50A5B531 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:11] 651*2^1509215-1 is not prime. Res64: CC288F6508D458CD Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:12] 705*2^1509215-1 is not prime. Res64: EE08C502E2AE2D11 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:13] 805*2^1509215-1 is not prime. Res64: D4CDE3AC69F814B5 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:30] 921*2^1509215-1 is not prime. Res64: B94F35813940A4A4 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:31] 725*2^1509216-1 is not prime. Res64: 36C9926A0FCD9DD4 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:32] 765*2^1509216-1 is not prime. Res64: BE0EFFD7440C5E38 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:33] 927*2^1509216-1 is not prime. Res64: F6F12B6A61F31AF8 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:04:34] 645*2^1509217-1 is not prime. Res64: EDA45B6F4BEEF0A6 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:07:34] 861*2^1509217-1 is not prime. Res64: 399DBF70448B75EF Time : 0.0 sec. user=mdettweiler [2018-05-08 11:07:35] 915*2^1509217-1 is not prime. Res64: D04970A6D82E1546 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:07:36] 605*2^1509218-1 is not prime. Res64: AC5C8247E61FCAAE Time : 0.0 sec. user=mdettweiler [2018-05-08 11:07:36] 713*2^1509218-1 is not prime. Res64: E56814C871327509 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:07:37] 791*2^1509218-1 is not prime. Res64: A2C1598FF5ACCB03 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:20:23] 953*2^1509218-1 is not prime. Res64: 1B0C73C827EED10C Time : 0.0 sec. user=mdettweiler [2018-05-08 11:20:24] 613*2^1509219-1 is not prime. Res64: 277095370CABFF46 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:20:24] 633*2^1509219-1 is not prime. Res64: 8128B058B811BD2C Time : 0.0 sec. user=mdettweiler [2018-05-08 11:20:25] 649*2^1509219-1 is not prime. Res64: E6063EDBB95DFF53 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:20:25] 793*2^1509219-1 is not prime. Res64: 0419A0D1E9E76A3B Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:45] 801*2^1509219-1 is not prime. Res64: AADF2DF45D4DF695 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:46] 891*2^1509219-1 is not prime. Res64: 9A027020C01ACF46 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:46] 895*2^1509219-1 is not prime. Res64: 605C2133E4094D9B Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:46] 903*2^1509219-1 is not prime. Res64: 12BC6AEF98E6C1B3 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:47] 603*2^1509220-1 is not prime. Res64: 854236F0BC51761D Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:54] 629*2^1509220-1 is not prime. Res64: 8D2762533C455D17 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:54] 635*2^1509220-1 is not prime. Res64: E5E1B6F111D66D7E Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:55] 759*2^1509220-1 is not prime. Res64: DCA266A17AC3D94D Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:55] 777*2^1509220-1 is not prime. Res64: E00D60F55A64616B Time : 0.0 sec. user=mdettweiler [2018-05-08 11:57:55] 747*2^1509221-1 is not prime. Res64: 6383DD2ACAFA37E7 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:59:29] 949*2^1509221-1 is not prime. Res64: E8A6E4C859E5C5D2 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:59:30] 955*2^1509221-1 is not prime. Res64: BCBFC03192F65453 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:59:30] 987*2^1509221-1 is not prime. Res64: BB775C8B5A243E99 Time : 0.0 sec. user=mdettweiler [2018-05-08 11:59:30] 657*2^1509222-1 is not prime. Res64: 997F64DD9D02254F Time : 0.0 sec. user=mdettweiler [2018-05-08 11:59:31] 705*2^1509222-1 is not prime. Res64: D293C4A96DE5A8D4 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:12:11] 755*2^1509222-1 is not prime. Res64: EDD4AC7E7D3ED7D2 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:12:11] 765*2^1509222-1 is not prime. Res64: 385FB4B6497B9370 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:12:12] 825*2^1509222-1 is not prime. Res64: BE6F8BB4F897F2FA Time : 0.0 sec. user=mdettweiler [2018-05-08 12:12:12] 903*2^1509222-1 is not prime. Res64: A07E1B307179C968 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:12:13] 615*2^1509223-1 is not prime. Res64: 0A187B0B8FBDD93B Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:24] 889*2^1509223-1 is not prime. Res64: 5BD3068149FF0A9C Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:24] 891*2^1509223-1 is not prime. Res64: 2D6D63C1D89F50D0 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:25] 985*2^1509223-1 is not prime. Res64: 0AC6B430419F8785 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:25] 623*2^1509224-1 is not prime. Res64: FAB1A4018B5D3DEE Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:25] 663*2^1509224-1 is not prime. Res64: 8E113FDAA0680451 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:47] 743*2^1509224-1 is not prime. Res64: EE053761042DFE2F Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:47] 705*2^1509225-1 is not prime. Res64: 7FF31A3B7F5A88B8 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:48] 895*2^1509225-1 is not prime. Res64: 671B89DF168FB16B Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:48] 653*2^1509226-1 is not prime. Res64: 3449F6B342A6CD8C Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:49] 663*2^1509226-1 is not prime. Res64: 7EAA39E147BD2677 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:49] 625*2^1509223-1 is not prime. Res64: 8463C1EF6F3A8A2E Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:50] 723*2^1509223-1 is not prime. Res64: 319823671F69DA6E Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:50] 805*2^1509223-1 is not prime. Res64: 5904705622C93C79 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:50] 819*2^1509223-1 is not prime. Res64: 32B84C5408EB4D07 Time : 0.0 sec. user=mdettweiler [2018-05-08 12:50:51] 885*2^1509223-1 is not prime. Res64: DF73CD4D9C3DB1A6 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:04:53] 705*2^1509226-1 is not prime. Res64: 30D6B0CBEC71EBB1 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:04:55] 755*2^1509226-1 is not prime. Res64: FF8FC3D4FFA476A9 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:04:57] 857*2^1509226-1 is not prime. Res64: BB0947EAC61C6373 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:04:58] 905*2^1509226-1 is not prime. Res64: 6682C3B0461F8FE7 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:04:58] 917*2^1509226-1 is not prime. Res64: 458B5475604EC6E9 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:02] 923*2^1509226-1 is not prime. Res64: 40896A404B1FFAC3 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:02] 971*2^1509226-1 is not prime. Res64: 6E39B235C5C02366 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:03] 603*2^1509227-1 is not prime. Res64: 2E9571D46383583C Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:03] 801*2^1509227-1 is not prime. Res64: EC4C53978AFECB1B Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:04] 861*2^1509227-1 is not prime. Res64: 2957ED096FD9A90C Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:08] 795*2^1509228-1 is not prime. Res64: 5A1B61FA999EB518 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:08] 839*2^1509228-1 is not prime. Res64: 708E482893CF3539 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:09] 843*2^1509228-1 is not prime. Res64: 63278B0E8047F3C1 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:09] 879*2^1509228-1 is not prime. Res64: 1B7DFC04AB086710 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:10] 999*2^1509228-1 is not prime. Res64: 56B476FD654BB24A Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:13] 871*2^1509227-1 is not prime. Res64: E2A8F5DA2BB3F1AA Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:13] 903*2^1509227-1 is not prime. Res64: D83995DA1AF4AA73 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:14] 939*2^1509227-1 is not prime. Res64: BBCD0EEE0F81C00C Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:14] 725*2^1509228-1 is not prime. Res64: 5CC3BC0B43A9BD69 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:42:14] 777*2^1509228-1 is not prime. Res64: EA6A307CDB12EF82 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:56:50] 661*2^1509229-1 is not prime. Res64: 866129A99D03D4C6 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:56:51] 829*2^1509229-1 is not prime. Res64: 43C6522095B45EAE Time : 0.0 sec. user=mdettweiler [2018-05-08 13:56:51] 939*2^1509229-1 is not prime. Res64: 065295245F426CE1 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:56:52] 955*2^1509229-1 is not prime. Res64: 56024009B978B413 Time : 0.0 sec. user=mdettweiler [2018-05-08 13:56:52] 707*2^1509230-1 is not prime. Res64: 38013B8D3E41F274 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:08] 609*2^1509232-1 is not prime. Res64: 499A04791644AB33 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:08] 615*2^1509232-1 is not prime. Res64: 23E5C1CD0B34C568 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:08] 639*2^1509232-1 is not prime. Res64: AFCD7EBAB7D13194 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:09] 677*2^1509232-1 is not prime. Res64: A7DC4B9F86B5971A Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:09] 765*2^1509232-1 is not prime. Res64: 44D113B982693E2F Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:18] 755*2^1509230-1 is not prime. Res64: C0A1FCA13D486166 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:18] 981*2^1509230-1 is not prime. Res64: 8DB34F683F1F9CB5 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:19] 661*2^1509231-1 is not prime. Res64: 3DE4B09862AC8A8F Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:19] 711*2^1509231-1 is not prime. Res64: 02B9B99A9D50FD02 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:19] 739*2^1509231-1 is not prime. Res64: 6CD32AE4CB55DC06 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:36] 795*2^1509231-1 is not prime. Res64: 30377B6B23E52C53 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:36] 873*2^1509231-1 is not prime. Res64: DFB1E5746C04E623 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:36] 933*2^1509231-1 is not prime. Res64: 0CF483D422A0E696 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:37] 979*2^1509231-1 is not prime. Res64: 7A0D5BE4DEC5695F Time : 0.0 sec. user=mdettweiler [2018-05-08 14:33:37] 603*2^1509232-1 is not prime. Res64: 7599453EFD6BC907 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:47:54] 777*2^1509232-1 is not prime. Res64: 8E18AD5A3DECB8A5 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:47:55] 873*2^1509232-1 is not prime. Res64: D550A463ED285CC8 Time : 0.0 sec. user=mdettweiler [2018-05-08 14:47:55] 917*2^1509232-1 is not prime. Res64: 793AD233BA456ABE Time : 0.0 sec. user=mdettweiler [2018-05-08 14:47:55] 995*2^1509232-1 is not prime. Res64: 430153C8ED68FF4F Time : 0.0 sec. user=mdettweiler [2018-05-08 14:47:56] 615*2^1509233-1 is not prime. Res64: 5C02152C72F335A1 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:38] 943*2^1509235-1 is not prime. Res64: 76DCA20CD1776DC2 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:39] 999*2^1509235-1 is not prime. Res64: 87F94E21763F7FDB Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:39] 845*2^1509236-1 is not prime. Res64: 7FB9047F42F2AB9F Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:40] 855*2^1509236-1 is not prime. Res64: 51DDED9693EBD499 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:40] 903*2^1509236-1 is not prime. Res64: D47E649DC007F378 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:52] 625*2^1509235-1 is not prime. Res64: 533BFA3BE8FEA0C4 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:52] 715*2^1509235-1 is not prime. Res64: 0F6C50300A801F97 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:53] 741*2^1509235-1 is not prime. Res64: C571466BB2C81AC2 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:53] 861*2^1509235-1 is not prime. Res64: 2DA0C276917FD566 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:25:53] 883*2^1509235-1 is not prime. Res64: FA0E949D5E85BDAD Time : 0.0 sec. user=mdettweiler [2018-05-08 15:27:56] 787*2^1509233-1 is not prime. Res64: A47183E0ED606B51 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:27:56] 789*2^1509233-1 is not prime. Res64: 01BF098500D9AA9D Time : 0.0 sec. user=mdettweiler [2018-05-08 15:27:56] 885*2^1509233-1 is not prime. Res64: 5146DB89ACFA3418 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:27:57] 955*2^1509233-1 is not prime. Res64: 51066C799ADE5AA8 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:27:57] 861*2^1509234-1 is not prime. Res64: 868497A20F1CDC0A Time : 0.0 sec. user=mdettweiler [2018-05-08 15:39:26] 627*2^1509237-1 is not prime. Res64: 02C78A06A337AA86 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:39:27] 639*2^1509237-1 is not prime. Res64: CD539D203774D260 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:39:27] 655*2^1509237-1 is not prime. Res64: 99D69D482347F69B Time : 0.0 sec. user=mdettweiler [2018-05-08 15:39:28] 747*2^1509237-1 is not prime. Res64: 485C7F8CE0573CF5 Time : 0.0 sec. user=mdettweiler [2018-05-08 15:39:28] 895*2^1509237-1 is not prime. Res64: DA25B11F51B6D5F1 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:17:46] 911*2^1509238-1 is not prime. Res64: 2F09B04FC2D24C54 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:17:47] 933*2^1509238-1 is not prime. Res64: DDAF31B4165F1612 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:17:47] 987*2^1509238-1 is not prime. Res64: 9182D28B4D8E03BF Time : 0.0 sec. user=mdettweiler [2018-05-08 16:17:48] 661*2^1509239-1 is not prime. Res64: DA2BFF63E009E950 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:17:48] 763*2^1509239-1 is not prime. Res64: 4B99092D22C7FA97 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:18:32] 961*2^1509237-1 is not prime. Res64: 187AD5527BCD437F Time : 0.0 sec. user=mdettweiler [2018-05-08 16:18:33] 671*2^1509238-1 is not prime. Res64: CD465CB502FCF1F5 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:18:33] 813*2^1509238-1 is not prime. Res64: EF2F5DEF14411209 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:18:34] 815*2^1509238-1 is not prime. Res64: 438049CD5776B0E8 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:18:34] 897*2^1509238-1 is not prime. Res64: 69CAC14A2C8134B9 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:19:12] 841*2^1509239-1 is not prime. Res64: 5F71B9E3345B1175 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:19:13] 991*2^1509239-1 is not prime. Res64: AE6D7527AA7DF712 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:19:13] 993*2^1509239-1 is not prime. Res64: D729F2652771D563 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:19:14] 609*2^1509240-1 is not prime. Res64: AE7F4F7C4F9DAB5C Time : 0.0 sec. user=mdettweiler [2018-05-08 16:19:14] 695*2^1509240-1 is not prime. Res64: D71CAC2EFF890446 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:30:09] 909*2^1509240-1 is not prime. Res64: 11D6C93283B9BF3D Time : 0.0 sec. user=mdettweiler [2018-05-08 16:30:10] 619*2^1509241-1 is not prime. Res64: 21B597AA64DEAA85 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:30:10] 679*2^1509241-1 is not prime. Res64: B61B280B4C385ABE Time : 0.0 sec. user=mdettweiler [2018-05-08 16:30:10] 901*2^1509241-1 is not prime. Res64: 49FE2397CC372D46 Time : 0.0 sec. user=mdettweiler [2018-05-08 16:30:11] 975*2^1509241-1 is not prime. Res64: AAE996FC9D85915B Time : 0.0 sec. user=mdettweiler [2018-05-08 17:12:20] 745*2^1509243-1 is not prime. Res64: EA784608FB8E22E9 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:12:20] 805*2^1509243-1 is not prime. Res64: F403F1BD325177E5 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:12:21] 949*2^1509243-1 is not prime. Res64: 81B7DFEA617FCE32 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:12:21] 617*2^1509244-1 is not prime. Res64: D51D51348A485EAE Time : 0.0 sec. user=mdettweiler [2018-05-08 17:12:22] 687*2^1509244-1 is not prime. Res64: 7CBBAB67DED20D4A Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:05] 701*2^1509242-1 is not prime. Res64: 1AE0619FBF171741 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:06] 797*2^1509242-1 is not prime. Res64: 26B8F842289EF93A Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:06] 801*2^1509242-1 is not prime. Res64: F66437BA496E0CEE Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:06] 875*2^1509242-1 is not prime. Res64: CAD4F18B060FC6B2 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:07] 977*2^1509242-1 is not prime. Res64: 083F4ADEC2965B96 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:08] 749*2^1509244-1 is not prime. Res64: A22703B850D19F6E Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:09] 803*2^1509244-1 is not prime. Res64: 51053950371E6753 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:09] 873*2^1509244-1 is not prime. Res64: 602DE78F0B640D2D Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:10] 885*2^1509244-1 is not prime. Res64: DA36E68F1EA513ED Time : 0.0 sec. user=mdettweiler [2018-05-08 17:13:10] 905*2^1509244-1 is not prime. Res64: D857013FB61864B0 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:25:29] 939*2^1509244-1 is not prime. Res64: 7C44B2AED27DC86B Time : 0.0 sec. user=mdettweiler [2018-05-08 17:25:29] 669*2^1509245-1 is not prime. Res64: 79D7F597826BF160 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:25:30] 729*2^1509245-1 is not prime. Res64: 15E8B805472A61D4 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:25:30] 831*2^1509245-1 is not prime. Res64: 5D26934E9213B6F6 Time : 0.0 sec. user=mdettweiler [2018-05-08 17:25:31] 867*2^1509245-1 is not prime. Res64: 6063A3F0055BD197 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:01] 947*2^1509246-1 is not prime. Res64: D47C15751BAC799F Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:04] 971*2^1509246-1 is not prime. Res64: D2924E914C05B952 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:08] 983*2^1509246-1 is not prime. Res64: 50CF60D1A5229952 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:11] 619*2^1509247-1 is not prime. Res64: D9AB470E7C82E640 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:12] 705*2^1509247-1 is not prime. Res64: 89D72C6E9A73EEF5 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:25] 829*2^1509247-1 is not prime. Res64: F3018EA46CBFE3C6 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:27] 871*2^1509247-1 is not prime. Res64: D787DC097BAE867E Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:30] 617*2^1509248-1 is not prime. Res64: CD308A86DD406750 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:32] 755*2^1509248-1 is not prime. Res64: F107A5A427C81EFB Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:35] 773*2^1509248-1 is not prime. Res64: 362837256FC437A7 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:42] 889*2^1509245-1 is not prime. Res64: DC1533C485C04DE4 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:44] 907*2^1509245-1 is not prime. Res64: 4123EC12AFFA991B Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:48] 987*2^1509245-1 is not prime. Res64: 077626357FC2AD17 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:50] 611*2^1509246-1 is not prime. Res64: 86270F58BD23C8A5 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:04:52] 777*2^1509246-1 is not prime. Res64: FECF45A438FBEDB3 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:16:11] 789*2^1509248-1 is not prime. Res64: 862194190214BFC3 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:16:12] 833*2^1509248-1 is not prime. Res64: 85D83A5DA8C36ECE Time : 0.0 sec. user=mdettweiler [2018-05-08 18:16:13] 909*2^1509248-1 is not prime. Res64: 74330E3F8D1217F8 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:16:14] 627*2^1509249-1 is not prime. Res64: E437DDABDD24E21C Time : 0.0 sec. user=mdettweiler [2018-05-08 18:16:15] 751*2^1509249-1 is not prime. Res64: 193B9E537DBB5747 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:55:58] 759*2^1509249-1 is not prime. Res64: EDE4E8B944B776E5 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:55:58] 891*2^1509249-1 is not prime. Res64: 88354C26AD67ECFF Time : 0.0 sec. user=mdettweiler [2018-05-08 18:55:59] 619*2^1509251-1 is not prime. Res64: 4E9140EF5E23DEC7 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:55:59] 621*2^1509251-1 is not prime. Res64: F46603BE3FC40106 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:55:59] 645*2^1509251-1 is not prime. Res64: A813FB1C186D4604 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:56:54] 765*2^1509249-1 is not prime. Res64: 8940C05DEBD6937A Time : 0.0 sec. user=mdettweiler [2018-05-08 18:56:56] 951*2^1509249-1 is not prime. Res64: BBFDF1C3DE703DE1 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:56:57] 813*2^1509250-1 is not prime. Res64: 0927D589B94C3C11 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:56:57] 821*2^1509250-1 is not prime. Res64: 2FD29D3BB1B70709 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:56:58] 951*2^1509250-1 is not prime. Res64: 203E35CBDD5CA23A Time : 0.0 sec. user=mdettweiler [2018-05-08 18:58:00] 675*2^1509251-1 is not prime. Res64: 5E02E4A72F57C358 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:58:00] 679*2^1509251-1 is not prime. Res64: A909BB071C6082B3 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:58:00] 745*2^1509251-1 is not prime. Res64: 9F9113A149BFD8D7 Time : 0.0 sec. user=mdettweiler [2018-05-08 18:58:01] 653*2^1509252-1 is not prime. Res64: 70364D279D78A9CC Time : 0.0 sec. user=mdettweiler [2018-05-08 18:58:01] 779*2^1509252-1 is not prime. Res64: 80A0ECBFBC17B67A Time : 0.0 sec. user=mdettweiler [2018-05-08 19:08:47] 965*2^1509252-1 is not prime. Res64: 76849E6F4D1F7E45 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:08:47] 721*2^1509253-1 is not prime. Res64: CA50B9B1D7E70782 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:08:48] 745*2^1509253-1 is not prime. Res64: 47500C96F83B1640 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:08:48] 957*2^1509253-1 is not prime. Res64: 56C9F5F088F78A1E Time : 0.0 sec. user=mdettweiler [2018-05-08 19:08:49] 651*2^1509254-1 is not prime. Res64: D65B47A43EB96C11 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:47:58] 935*2^1509254-1 is not prime. Res64: DF68E2AE5082A27D Time : 0.0 sec. user=mdettweiler [2018-05-08 19:47:59] 619*2^1509255-1 is not prime. Res64: 71E77CDA4DD7F1ED Time : 0.0 sec. user=mdettweiler [2018-05-08 19:47:59] 649*2^1509255-1 is not prime. Res64: 76807E34B956C4E8 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:47:59] 765*2^1509255-1 is not prime. Res64: 0A18F62408B0A5D6 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:48:00] 895*2^1509255-1 is not prime. Res64: 5447AE2769557A1C Time : 0.0 sec. user=mdettweiler [2018-05-08 19:49:51] 951*2^1509255-1 is not prime. Res64: 28A5D212FD3D5893 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:49:52] 999*2^1509255-1 is not prime. Res64: 1DD9F6524EDF1FF7 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:49:52] 609*2^1509256-1 is not prime. Res64: BB84EEEB67BC6BE6 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:49:52] 645*2^1509256-1 is not prime. Res64: 75F9718B4C8607FD Time : 0.0 sec. user=mdettweiler [2018-05-08 19:49:53] 657*2^1509256-1 is not prime. Res64: B8DB7291EBC02FDD Time : 0.0 sec. user=mdettweiler [2018-05-08 19:51:22] 707*2^1509254-1 is not prime. Res64: B8A741728B3A7125 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:51:22] 753*2^1509254-1 is not prime. Res64: 71F63B10925372C5 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:51:23] 827*2^1509254-1 is not prime. Res64: 65804FBBA38DBE13 Time : 0.0 sec. user=mdettweiler [2018-05-08 19:51:23] 887*2^1509254-1 is not prime. Res64: 7DE005671E86EB2E Time : 0.0 sec. user=mdettweiler [2018-05-08 19:51:23] 923*2^1509254-1 is not prime. Res64: 8B5B19920EFDCCB1 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:01:09] 717*2^1509256-1 is not prime. Res64: B605AD49D4603405 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:01:10] 747*2^1509256-1 is not prime. Res64: 347C10C3D6EAB951 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:01:12] 785*2^1509256-1 is not prime. Res64: 46D9B21BD68E56D4 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:01:13] 825*2^1509256-1 is not prime. Res64: 48C66FA7AAC8A634 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:01:15] 923*2^1509256-1 is not prime. Res64: 1355612FBCAEFDE5 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:40:34] 939*2^1509256-1 is not prime. Res64: 241E5AC9FB647F04 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:40:34] 637*2^1509257-1 is not prime. Res64: 5DB79B52DC774373 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:40:35] 685*2^1509257-1 is not prime. Res64: 013F743F4495498F Time : 0.0 sec. user=mdettweiler [2018-05-08 20:40:35] 715*2^1509257-1 is not prime. Res64: 0EE5EDAADF227B7D Time : 0.0 sec. user=mdettweiler [2018-05-08 20:40:36] 741*2^1509257-1 is not prime. Res64: CE4815FAE384C06D Time : 0.0 sec. user=mdettweiler [2018-05-08 20:42:39] 759*2^1509257-1 is not prime. Res64: 373E66A45293718C Time : 0.0 sec. user=mdettweiler [2018-05-08 20:42:39] 799*2^1509257-1 is not prime. Res64: AA7AEEB41920DF28 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:42:40] 847*2^1509257-1 is not prime. Res64: 777AAF2362982BAD Time : 0.0 sec. user=mdettweiler [2018-05-08 20:42:40] 915*2^1509257-1 is not prime. Res64: E0720F2A8427DE3F Time : 0.0 sec. user=mdettweiler [2018-05-08 20:42:41] 633*2^1509258-1 is not prime. Res64: 2F94995BA3979911 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:43:58] 651*2^1509258-1 is not prime. Res64: EBFA2D3F6FD30E8E Time : 0.0 sec. user=mdettweiler [2018-05-08 20:43:58] 791*2^1509258-1 is not prime. Res64: 5E69BDC6AD39248D Time : 0.0 sec. user=mdettweiler [2018-05-08 20:44:01] 885*2^1509258-1 is not prime. Res64: B924B49614222988 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:44:01] 945*2^1509258-1 is not prime. Res64: 166B812E5B3A8D94 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:44:02] 1001*2^1509258-1 is not prime. Res64: 39AD6AF2292EB84B Time : 0.0 sec. user=mdettweiler [2018-05-08 20:55:41] 603*2^1509259-1 is not prime. Res64: B15B5ECFB0EEB372 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:55:41] 733*2^1509259-1 is not prime. Res64: 615FF79146E2E570 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:55:42] 769*2^1509259-1 is not prime. Res64: 8A26C1E1F83CE2D9 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:55:42] 793*2^1509259-1 is not prime. Res64: 6070D7C38C247537 Time : 0.0 sec. user=mdettweiler [2018-05-08 20:55:43] 853*2^1509259-1 is not prime. Res64: BCFAC5FC0226E554 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:38:07] 943*2^1509259-1 is not prime. Res64: F16D1DEC12D1EF47 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:38:07] 969*2^1509259-1 is not prime. Res64: 8C1D43BCEAB2BB94 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:38:08] 677*2^1509260-1 is not prime. Res64: 9E5C1728F57AFD63 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:38:08] 725*2^1509260-1 is not prime. Res64: 0286FD6969518DC2 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:38:08] 759*2^1509260-1 is not prime. Res64: E0DC73C9FEB33929 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:41:46] 747*2^1509261-1 is not prime. Res64: 8B4211933989D2E3 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:41:47] 819*2^1509261-1 is not prime. Res64: 9B739E953BFF2D07 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:41:47] 907*2^1509261-1 is not prime. Res64: B56008CB8D97817B Time : 0.0 sec. user=mdettweiler [2018-05-08 21:41:48] 951*2^1509261-1 is not prime. Res64: 518B49CBAE3C05FB Time : 0.0 sec. user=mdettweiler [2018-05-08 21:41:50] 969*2^1509261-1 is not prime. Res64: 25A1F96F795F23F5 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:47:10] 785*2^1509260-1 is not prime. Res64: CAA77D78105B4D38 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:47:10] 879*2^1509260-1 is not prime. Res64: 6931DFADD7ED7577 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:47:11] 893*2^1509260-1 is not prime. Res64: 5DA30BF41C968CB5 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:47:11] 957*2^1509260-1 is not prime. Res64: 8895F6123853AA3A Time : 0.0 sec. user=mdettweiler [2018-05-08 21:47:12] 657*2^1509261-1 is not prime. Res64: CC19F0C78941830D Time : 0.0 sec. user=mdettweiler [2018-05-08 21:54:01] 617*2^1509262-1 is not prime. Res64: 2539C54C829BD032 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:54:07] 635*2^1509262-1 is not prime. Res64: 52DD048A888CF145 Time : 0.0 sec. user=mdettweiler [2018-05-08 21:54:07] 665*2^1509262-1 is not prime. Res64: 521205D84D4C86ED Time : 0.0 sec. user=mdettweiler [2018-05-08 21:54:08] 675*2^1509262-1 is not prime. Res64: A38A0DF543DEE5FE Time : 0.0 sec. user=mdettweiler [2018-05-08 21:54:08] 741*2^1509262-1 is not prime. Res64: C16A9B146B04D5DF Time : 0.0 sec. user=mdettweiler [2018-05-08 22:33:50] 791*2^1509262-1 is not prime. Res64: FB9B6CF6D570EEE6 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:33:50] 825*2^1509262-1 is not prime. Res64: F602D2756BB03150 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:33:51] 831*2^1509262-1 is not prime. Res64: 3BEBAA935EF97C7A Time : 0.0 sec. user=mdettweiler [2018-05-08 22:33:52] 881*2^1509262-1 is not prime. Res64: F76428675BA295E4 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:33:52] 885*2^1509262-1 is not prime. Res64: 62FE24DE5CAF6CFA Time : 0.0 sec. user=mdettweiler [2018-05-08 22:38:55] 615*2^1509263-1 is not prime. Res64: A19CB9B49ACBE452 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:38:56] 619*2^1509263-1 is not prime. Res64: 4E5BD024471D2A61 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:38:56] 741*2^1509263-1 is not prime. Res64: 309D37B046EFDDA4 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:38:57] 861*2^1509263-1 is not prime. Res64: 6D2469853CE05852 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:38:57] 955*2^1509263-1 is not prime. Res64: B92E71FE4C4086C5 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:45:00] 657*2^1509264-1 is not prime. Res64: 87A870C8024066FF Time : 0.0 sec. user=mdettweiler [2018-05-08 22:45:01] 695*2^1509264-1 is not prime. Res64: D5871155982D7BFA Time : 0.0 sec. user=mdettweiler [2018-05-08 22:45:01] 747*2^1509264-1 is not prime. Res64: D5B9C60133658E05 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:45:02] 909*2^1509264-1 is not prime. Res64: B812D0E30CD7C0AA Time : 0.0 sec. user=mdettweiler [2018-05-08 22:45:03] 959*2^1509264-1 is not prime. Res64: 7D48D05CB71A834B Time : 0.0 sec. user=mdettweiler [2018-05-08 22:49:42] 705*2^1509265-1 is not prime. Res64: F10CB7A3C559414C Time : 0.0 sec. user=mdettweiler [2018-05-08 22:49:43] 741*2^1509265-1 is not prime. Res64: E49AAF95203EF7C1 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:49:44] 801*2^1509265-1 is not prime. Res64: 858C4F407229F0ED Time : 0.0 sec. user=mdettweiler [2018-05-08 22:49:45] 915*2^1509265-1 is not prime. Res64: 46A99D572EB95391 Time : 0.0 sec. user=mdettweiler [2018-05-08 22:49:45] 951*2^1509265-1 is not prime. Res64: 71D0526D20DB90D7 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:29:04] 999*2^1509265-1 is not prime. Res64: C590559A51AE466A Time : 0.0 sec. user=mdettweiler [2018-05-08 23:29:04] 623*2^1509266-1 is not prime. Res64: 83A85D8E507BF5AA Time : 0.0 sec. user=mdettweiler [2018-05-08 23:29:05] 641*2^1509266-1 is not prime. Res64: E2871AD36E1F469A Time : 0.0 sec. user=mdettweiler [2018-05-08 23:29:07] 677*2^1509266-1 is not prime. Res64: 077AC9093C610D3E Time : 0.0 sec. user=mdettweiler [2018-05-08 23:29:07] 815*2^1509266-1 is not prime. Res64: 929294B20B180842 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:33:51] 831*2^1509266-1 is not prime. Res64: 610402D0E9130E86 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:33:51] 851*2^1509266-1 is not prime. Res64: 027530739ADB95AD Time : 0.0 sec. user=mdettweiler [2018-05-08 23:33:52] 893*2^1509266-1 is not prime. Res64: 1FB141F4DDBBA7C4 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:33:52] 651*2^1509267-1 is not prime. Res64: B74B15E430893B73 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:33:53] 675*2^1509267-1 is not prime. Res64: 1B6F654A71E0A14E Time : 0.0 sec. user=mdettweiler [2018-05-08 23:40:22] 741*2^1509267-1 is not prime. Res64: 26622A6D4DDC0510 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:40:22] 795*2^1509267-1 is not prime. Res64: 86F9BB4562F257E2 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:40:23] 819*2^1509267-1 is not prime. Res64: 92F14E0D838C2BF2 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:40:23] 885*2^1509267-1 is not prime. Res64: 7CE32B324D5AE169 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:40:24] 919*2^1509267-1 is not prime. Res64: FD44B2B10FC3C7DC Time : 0.0 sec. user=mdettweiler [2018-05-08 23:45:11] 963*2^1509267-1 is not prime. Res64: 9B42897B0973E39D Time : 0.0 sec. user=mdettweiler [2018-05-08 23:45:12] 973*2^1509267-1 is not prime. Res64: DD0B705A60252D36 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:45:12] 687*2^1509268-1 is not prime. Res64: 94B8803ABC3BAB5A Time : 0.0 sec. user=mdettweiler [2018-05-08 23:45:12] 773*2^1509268-1 is not prime. Res64: EBC3BA3087ECAFE6 Time : 0.0 sec. user=mdettweiler [2018-05-08 23:45:13] 833*2^1509268-1 is not prime. Res64: 898E27AECBA7509C Time : 0.0 sec.