user=mdettweiler [2016-07-03 00:02:06] 773*2^1434174-1 is not prime. Res64: C4583434CDAF920A Time : 0.0 sec. user=mdettweiler [2016-07-03 00:02:12] 791*2^1434174-1 is not prime. Res64: 62D4665328461A39 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:02:19] 951*2^1434174-1 is not prime. Res64: 934769B76DDD8AC2 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:02:26] 993*2^1434174-1 is not prime. Res64: 11F20DDD717EEBD4 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:02:33] 609*2^1434175-1 is not prime. Res64: F53D92DA30964388 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:22:56] 945*2^1434164-1 is not prime. Res64: 92E255455508F508 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:22:56] 627*2^1434165-1 is not prime. Res64: CADAD53FA958DA37 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:22:56] 679*2^1434165-1 is not prime. Res64: F35F21C35D33CBCA Time : 0.0 sec. user=mdettweiler [2016-07-03 00:22:57] 717*2^1434165-1 is not prime. Res64: F1EC68A681D697A0 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:38:08] 663*2^1434175-1 is not prime. Res64: 86FC67381B6DAD58 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:38:14] 763*2^1434175-1 is not prime. Res64: 386DC72B00D0AE67 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:38:20] 765*2^1434175-1 is not prime. Res64: 144503E82F1B83A5 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:38:27] 805*2^1434175-1 is not prime. Res64: F9D1B49565887DCB Time : 0.0 sec. user=mdettweiler [2016-07-03 00:38:32] 961*2^1434175-1 is not prime. Res64: 6340521AF32E2431 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:39:06] 633*2^1434176-1 is not prime. Res64: AA5CF34B4FB744D0 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:39:13] 767*2^1434176-1 is not prime. Res64: 8A40B1F0FA58BF29 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:39:19] 773*2^1434176-1 is not prime. Res64: 416C0FA4DC0192B0 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:39:25] 827*2^1434176-1 is not prime. Res64: 41712F97B7BDD82D Time : 0.0 sec. user=mdettweiler [2016-07-03 00:39:32] 845*2^1434176-1 is not prime. Res64: 4EFE8E39CCE8F7BB Time : 0.0 sec. user=mdettweiler [2016-07-03 00:48:22] 625*2^1434177-1 is not prime. Res64: 577470CB92907F39 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:48:23] 711*2^1434177-1 is not prime. Res64: 9A29610E8E8499B1 Time : 0.0 sec. user=mdettweiler [2016-07-03 00:48:23] 717*2^1434177-1 is not prime. Res64: 66F361CC650BF2AC Time : 0.0 sec. user=mdettweiler [2016-07-03 00:48:24] 741*2^1434177-1 is not prime. Res64: 495654283D62957D Time : 0.0 sec. user=mdettweiler [2016-07-03 00:48:24] 817*2^1434177-1 is not prime. Res64: 471DBE3CCB2EB0BF Time : 0.0 sec. user=mdettweiler [2016-07-03 01:07:54] 847*2^1434177-1 is not prime. Res64: C2CD2BC3E8014FED Time : 0.0 sec. user=mdettweiler [2016-07-03 01:07:55] 867*2^1434177-1 is not prime. Res64: 876C0A7F79097A89 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:07:55] 677*2^1434178-1 is not prime. Res64: FC9C73DBF1383BD6 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:07:56] 791*2^1434178-1 is not prime. Res64: AC89DF0D49037B99 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:07:56] 813*2^1434178-1 is not prime. Res64: ADD6A2738CF57FB9 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:23:49] 971*2^1434178-1 is not prime. Res64: 1FC069ADE5156D72 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:23:50] 601*2^1434179-1 is not prime. Res64: 3CF68C9208B3A510 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:23:50] 619*2^1434179-1 is not prime. Res64: F1C138E0532BFAA3 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:23:51] 655*2^1434179-1 is not prime. Res64: CADCAC6DF727728E Time : 0.0 sec. user=mdettweiler [2016-07-03 01:23:51] 703*2^1434179-1 is not prime. Res64: 13093220FFCC692B Time : 0.0 sec. user=mdettweiler [2016-07-03 01:24:46] 753*2^1434179-1 is not prime. Res64: 66C92DF07C1B17FF Time : 0.0 sec. user=mdettweiler [2016-07-03 01:24:46] 629*2^1434180-1 is not prime. Res64: D6C138334A7352D2 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:24:47] 797*2^1434180-1 is not prime. Res64: 02C498EF7C0E06F1 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:24:47] 809*2^1434180-1 is not prime. Res64: 21A39378CB100AB0 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:24:47] 615*2^1434181-1 is not prime. Res64: 47BF79B8E7884E70 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:33:24] 625*2^1434181-1 is not prime. Res64: 21D4E9781F2252D8 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:33:25] 777*2^1434181-1 is not prime. Res64: 65189A66FBFFA21A Time : 0.0 sec. user=mdettweiler [2016-07-03 01:33:26] 801*2^1434181-1 is not prime. Res64: 77A29E1346AD8A17 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:33:26] 861*2^1434181-1 is not prime. Res64: C6FE8569ED540AD8 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:33:27] 657*2^1434182-1 is not prime. Res64: E965CD817B97786D Time : 0.0 sec. user=mdettweiler [2016-07-03 01:53:26] 711*2^1434182-1 is not prime. Res64: CE0C806F03691E5D Time : 0.0 sec. user=mdettweiler [2016-07-03 01:53:32] 741*2^1434182-1 is not prime. Res64: 414305D19790E228 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:53:40] 755*2^1434182-1 is not prime. Res64: AB20B2A9C1DC696B Time : 0.0 sec. user=mdettweiler [2016-07-03 01:53:47] 771*2^1434182-1 is not prime. Res64: 48B67774FC9962F8 Time : 0.0 sec. user=mdettweiler [2016-07-03 01:53:53] 915*2^1434182-1 is not prime. Res64: 7D96BD2BB17C4C55 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:08:39] 615*2^1434183-1 is not prime. Res64: 2FBA17995424592B Time : 0.0 sec. user=mdettweiler [2016-07-03 02:08:39] 649*2^1434183-1 is not prime. Res64: 920232A71F441251 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:08:40] 661*2^1434183-1 is not prime. Res64: E7FF3133FE481404 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:08:40] 691*2^1434183-1 is not prime. Res64: 1AEF49C8359DA60A Time : 0.0 sec. user=mdettweiler [2016-07-03 02:08:41] 781*2^1434183-1 is not prime. Res64: CAE1E05E487FEDD0 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:09:45] 895*2^1434183-1 is not prime. Res64: B016D292A05EB514 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:09:46] 949*2^1434183-1 is not prime. Res64: CC9DFD5285834394 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:09:46] 605*2^1434184-1 is not prime. Res64: C1E367225C3A0553 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:09:46] 609*2^1434184-1 is not prime. Res64: B0792F8167917312 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:09:47] 663*2^1434184-1 is not prime. Res64: 3DEA4F9D4BBE0C4F Time : 0.0 sec. user=mdettweiler [2016-07-03 02:39:27] 649*2^1434185-1 is not prime. Res64: 328BC45F16FC65A9 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:39:27] 651*2^1434185-1 is not prime. Res64: 723F79C2A15F41DF Time : 0.0 sec. user=mdettweiler [2016-07-03 02:39:28] 697*2^1434185-1 is not prime. Res64: 80871C679B939D91 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:39:28] 727*2^1434185-1 is not prime. Res64: AA7EC974C81E8C25 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:39:28] 729*2^1434185-1 is not prime. Res64: 72BACA94A3B52F58 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:54:17] 867*2^1434185-1 is not prime. Res64: 35E65F1B10040132 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:54:17] 985*2^1434185-1 is not prime. Res64: 36838A6C07E86E10 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:54:17] 987*2^1434185-1 is not prime. Res64: 2249DB54B066CE32 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:54:18] 707*2^1434186-1 is not prime. Res64: FA676AB5D1F8805B Time : 0.0 sec. user=mdettweiler [2016-07-03 02:54:18] 777*2^1434186-1 is not prime. Res64: 7992AB30F86033D4 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:55:35] 807*2^1434186-1 is not prime. Res64: 3E2B49188756C9B9 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:55:42] 933*2^1434186-1 is not prime. Res64: 0AD0A69A93C5F723 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:55:48] 601*2^1434187-1 is not prime. Res64: E8AE6ADB924089B2 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:55:55] 619*2^1434187-1 is not prime. Res64: 8832802583EA3FB5 Time : 0.0 sec. user=mdettweiler [2016-07-03 02:56:02] 625*2^1434187-1 is not prime. Res64: 4902367D255946E4 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:25:16] 631*2^1434187-1 is not prime. Res64: 08CC370561CB746C Time : 0.0 sec. user=mdettweiler [2016-07-03 03:25:18] 649*2^1434187-1 is not prime. Res64: EA1FB7681EE5CC4A Time : 0.0 sec. user=mdettweiler [2016-07-03 03:25:19] 829*2^1434187-1 is not prime. Res64: 0BE78780F190D68B Time : 0.0 sec. user=mdettweiler [2016-07-03 03:25:19] 849*2^1434187-1 is not prime. Res64: AF44D594C21ECED7 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:25:20] 873*2^1434187-1 is not prime. Res64: D8AE183CDCD473FA Time : 0.0 sec. user=mdettweiler [2016-07-03 03:39:58] 973*2^1434187-1 is not prime. Res64: A5B61B56E040A1BF Time : 0.0 sec. user=mdettweiler [2016-07-03 03:40:05] 617*2^1434188-1 is not prime. Res64: B32EC3F7724D8927 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:40:13] 623*2^1434188-1 is not prime. Res64: 422E74F9102EE74E Time : 0.0 sec. user=mdettweiler [2016-07-03 03:40:20] 633*2^1434188-1 is not prime. Res64: 0F10D05D682D14E2 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:40:28] 657*2^1434188-1 is not prime. Res64: 8DE6389094A26614 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:41:48] 735*2^1434188-1 is not prime. Res64: F15B34FD1FF1CE36 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:41:56] 743*2^1434188-1 is not prime. Res64: AA9B7CBEBDF81AE3 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:42:03] 777*2^1434188-1 is not prime. Res64: 1334429DC5D4E105 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:42:09] 795*2^1434188-1 is not prime. Res64: B833DB8A42BBFB41 Time : 0.0 sec. user=mdettweiler [2016-07-03 03:42:18] 649*2^1434189-1 is not prime. Res64: CDB13677944C692B Time : 0.0 sec. user=mdettweiler [2016-07-03 04:12:07] 747*2^1434189-1 is not prime. Res64: 1D2BAB7A1EDDC82D Time : 0.0 sec. user=mdettweiler [2016-07-03 04:12:08] 765*2^1434189-1 is not prime. Res64: 2F51CB18C4F115C5 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:12:08] 789*2^1434189-1 is not prime. Res64: 8D3DB6A551DD8E5A Time : 0.0 sec. user=mdettweiler [2016-07-03 04:12:09] 825*2^1434189-1 is not prime. Res64: BAF643A963C4739C Time : 0.0 sec. user=mdettweiler [2016-07-03 04:12:10] 889*2^1434189-1 is not prime. Res64: 1BFB5AEEB814EC72 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:28:09] 647*2^1434190-1 is not prime. Res64: 2B7DC8DB917BE3FA Time : 0.0 sec. user=mdettweiler [2016-07-03 04:28:16] 707*2^1434190-1 is not prime. Res64: 6151F7D58BF544EB Time : 0.0 sec. user=mdettweiler [2016-07-03 04:28:22] 755*2^1434190-1 is not prime. Res64: 77050E4995657207 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:28:23] 825*2^1434190-1 is not prime. Res64: 880532C13F3BF5D4 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:28:23] 827*2^1434190-1 is not prime. Res64: 61BD70714D00C230 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:31:07] 857*2^1434190-1 is not prime. Res64: 89EC3760E0F86EF0 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:31:08] 867*2^1434190-1 is not prime. Res64: 00B64698CC588C47 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:31:08] 951*2^1434190-1 is not prime. Res64: EB34953F4ADACAC4 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:31:09] 619*2^1434191-1 is not prime. Res64: EFF3108602885AF5 Time : 0.0 sec. user=mdettweiler [2016-07-03 04:31:09] 669*2^1434191-1 is not prime. Res64: D595D42189CCF809 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:03:18] 811*2^1434191-1 is not prime. Res64: A79DD607E5FC46FF Time : 0.0 sec. user=mdettweiler [2016-07-03 05:03:25] 859*2^1434191-1 is not prime. Res64: E1456A332346EF73 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:03:31] 981*2^1434191-1 is not prime. Res64: ECA1F47BEC868C96 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:03:38] 693*2^1434192-1 is not prime. Res64: 2D6CD5198B707E22 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:03:46] 767*2^1434192-1 is not prime. Res64: D003487747DD95AD Time : 0.0 sec. user=mdettweiler [2016-07-03 05:17:32] 675*2^1434184-1 is not prime. Res64: 2C6C59EEA8D85663 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:17:32] 717*2^1434184-1 is not prime. Res64: 173F1E6791EBC49E Time : 0.0 sec. user=mdettweiler [2016-07-03 05:17:33] 813*2^1434184-1 is not prime. Res64: FB8CFB7219B52D11 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:17:33] 827*2^1434184-1 is not prime. Res64: E75AC2E5B0BB1CD5 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:17:34] 923*2^1434184-1 is not prime. Res64: 14C49569C8D94881 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:18:29] 879*2^1434192-1 is not prime. Res64: ECC05D65D90BCB6C Time : 0.0 sec. user=mdettweiler [2016-07-03 05:18:30] 903*2^1434192-1 is not prime. Res64: AB59C25E916F41BE Time : 0.0 sec. user=mdettweiler [2016-07-03 05:18:30] 831*2^1434193-1 is not prime. Res64: D656CA45E3C3BEF9 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:18:30] 861*2^1434193-1 is not prime. Res64: F59FBF95103D7C61 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:18:31] 885*2^1434193-1 is not prime. Res64: D05E42E18BE3813E Time : 0.0 sec. user=mdettweiler [2016-07-03 05:20:10] 671*2^1434194-1 is not prime. Res64: D1FA24F143A144FC Time : 0.0 sec. user=mdettweiler [2016-07-03 05:20:10] 731*2^1434194-1 is not prime. Res64: F048E4A9FED80C78 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:20:11] 921*2^1434194-1 is not prime. Res64: 4EEA73960ADC8A96 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:20:11] 953*2^1434194-1 is not prime. Res64: 8496023FC783DF2A Time : 0.0 sec. user=mdettweiler [2016-07-03 05:20:11] 651*2^1434195-1 is not prime. Res64: C48797D8BD1B4E85 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:50:51] 669*2^1434195-1 is not prime. Res64: C19F1D62AD6C65BA Time : 0.0 sec. user=mdettweiler [2016-07-03 05:50:51] 709*2^1434195-1 is not prime. Res64: D43945D544EED92F Time : 0.0 sec. user=mdettweiler [2016-07-03 05:50:52] 765*2^1434195-1 is not prime. Res64: 858B853FBACEDB86 Time : 0.0 sec. user=mdettweiler [2016-07-03 05:50:52] 885*2^1434195-1 is not prime. Res64: 08CF65622138D96E Time : 0.0 sec. user=mdettweiler [2016-07-03 05:50:52] 973*2^1434195-1 is not prime. Res64: 5AB365E648D8229E Time : 0.0 sec. user=mdettweiler [2016-07-03 06:03:46] 615*2^1434196-1 is not prime. Res64: DC5BB8BD2E8C9D93 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:03:52] 749*2^1434196-1 is not prime. Res64: 37329501B18218BD Time : 0.0 sec. user=mdettweiler [2016-07-03 06:03:56] 899*2^1434196-1 is not prime. Res64: 6E26873670C2F832 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:04:00] 905*2^1434196-1 is not prime. Res64: 9AA3A476AB3A7027 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:04:05] 987*2^1434196-1 is not prime. Res64: 799C2D02C08AC388 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:19] 621*2^1434197-1 is not prime. Res64: F00418F580F3D1F3 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:23] 631*2^1434197-1 is not prime. Res64: 026FDD943AAF868B Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:27] 669*2^1434197-1 is not prime. Res64: D80D07342FED5FCC Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:32] 825*2^1434197-1 is not prime. Res64: 63D388B26228677D Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:35] 865*2^1434197-1 is not prime. Res64: 3BDD378455530A4F Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:48] 901*2^1434197-1 is not prime. Res64: 7D59B4585A362915 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:05:55] 657*2^1434198-1 is not prime. Res64: 1DE8F9FB477C1726 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:06:00] 663*2^1434198-1 is not prime. Res64: 95A95636F2DC9806 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:06:05] 863*2^1434198-1 is not prime. Res64: 8F0CD8F05323C7AC Time : 0.0 sec. user=mdettweiler [2016-07-03 06:06:09] 951*2^1434198-1 is not prime. Res64: FBFCDF0E80584EBF Time : 0.0 sec. user=mdettweiler [2016-07-03 06:35:47] 609*2^1434199-1 is not prime. Res64: 6128267FDCDF071E Time : 0.0 sec. user=mdettweiler [2016-07-03 06:35:51] 741*2^1434199-1 is not prime. Res64: 3FD951BC1DE61E91 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:35:55] 635*2^1434200-1 is not prime. Res64: C0810D2853E5D8EC Time : 0.0 sec. user=mdettweiler [2016-07-03 06:35:59] 665*2^1434200-1 is not prime. Res64: 38C3546FC9D7028F Time : 0.0 sec. user=mdettweiler [2016-07-03 06:36:03] 689*2^1434200-1 is not prime. Res64: 1F2869B316A3B3A3 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:49:01] 699*2^1434200-1 is not prime. Res64: B20D39A36C501C1D Time : 0.0 sec. user=mdettweiler [2016-07-03 06:49:08] 713*2^1434200-1 is not prime. Res64: 499D6E4006E45206 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:49:14] 797*2^1434200-1 is not prime. Res64: D89596E8BE80C3F9 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:49:21] 923*2^1434200-1 is not prime. Res64: 47FE1A5E7300A543 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:49:28] 651*2^1434201-1 is not prime. Res64: 31EB524034300372 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:50:50] 675*2^1434201-1 is not prime. Res64: 8355D75EC298C1F8 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:50:56] 709*2^1434201-1 is not prime. Res64: 99E2BFB2F4FA0220 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:03] 727*2^1434201-1 is not prime. Res64: 1E627C7E0FA3BA17 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:03] 909*2^1434201-1 is not prime. Res64: F00887BA90D98C88 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:09] 921*2^1434201-1 is not prime. Res64: 209DC4268C74114E Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:09] 747*2^1434201-1 is not prime. Res64: 38C7A7AC92B5E448 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:09] 951*2^1434201-1 is not prime. Res64: 6CBD561085E2A33C Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:09] 861*2^1434201-1 is not prime. Res64: A3F80C9A984E7212 Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:10] 969*2^1434201-1 is not prime. Res64: F17D99647B441F1D Time : 0.0 sec. user=mdettweiler [2016-07-03 06:51:10] 621*2^1434202-1 is not prime. Res64: 2F92907129D18255 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:20:48] 657*2^1434202-1 is not prime. Res64: 20D153C2A4BA8720 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:20:52] 717*2^1434202-1 is not prime. Res64: F4AD5162B501472C Time : 0.0 sec. user=mdettweiler [2016-07-03 07:20:56] 731*2^1434202-1 is not prime. Res64: D5A1AC4C50CE7AA6 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:21:00] 843*2^1434202-1 is not prime. Res64: 45D06EEBEFDAFC01 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:21:04] 885*2^1434202-1 is not prime. Res64: 52DE847855D90C3F Time : 0.0 sec. user=mdettweiler [2016-07-03 07:34:17] 957*2^1434202-1 is not prime. Res64: 3F2AEA623733A560 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:34:17] 981*2^1434203-1 is not prime. Res64: EA5AC8D454075F8A Time : 0.0 sec. user=mdettweiler [2016-07-03 07:34:17] 999*2^1434203-1 is not prime. Res64: 275630772BFF9045 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:34:18] 635*2^1434204-1 is not prime. Res64: DF260A75A55E5DEE Time : 0.0 sec. user=mdettweiler [2016-07-03 07:34:18] 663*2^1434204-1 is not prime. Res64: 974F4A2A2D45A145 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:35:44] 729*2^1434205-1 is not prime. Res64: FB50F7A2948E2E6B Time : 0.0 sec. user=mdettweiler [2016-07-03 07:35:44] 741*2^1434205-1 is not prime. Res64: 4361FD0D78F98A24 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:35:45] 811*2^1434205-1 is not prime. Res64: 8AA42E85B6DABF00 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:35:45] 819*2^1434205-1 is not prime. Res64: 5829D7CE1D5B29CF Time : 0.0 sec. user=mdettweiler [2016-07-03 07:35:46] 825*2^1434205-1 is not prime. Res64: D7F9EB0B28470580 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:36:00] 809*2^1434204-1 is not prime. Res64: 399754F782E71508 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:36:01] 607*2^1434205-1 is not prime. Res64: 8EF6E57E50AC2EA9 Time : 0.0 sec. user=mdettweiler [2016-07-03 07:36:01] 609*2^1434205-1 is not prime. Res64: ED0FFD0480F6C4CD Time : 0.0 sec. user=mdettweiler [2016-07-03 07:36:01] 661*2^1434205-1 is not prime. Res64: C5057572D24D1D6D Time : 0.0 sec. user=mdettweiler [2016-07-03 07:36:02] 717*2^1434205-1 is not prime. Res64: 3E52C7154EC77723 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:05:49] 849*2^1434205-1 is not prime. Res64: 580BF8BBE19F41CF Time : 0.0 sec. user=mdettweiler [2016-07-03 08:05:50] 861*2^1434205-1 is not prime. Res64: 1ABF21EEC85AF0AE Time : 0.0 sec. user=mdettweiler [2016-07-03 08:05:52] 871*2^1434205-1 is not prime. Res64: 4FD806B1A52BEC72 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:05:53] 885*2^1434205-1 is not prime. Res64: EEBAFE450E43008F Time : 0.0 sec. user=mdettweiler [2016-07-03 08:05:55] 925*2^1434205-1 is not prime. Res64: 568AFEB4BD52317B Time : 0.0 sec. user=mdettweiler [2016-07-03 08:19:04] 985*2^1434205-1 is not prime. Res64: 8756CBF55EB00AC4 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:19:09] 663*2^1434206-1 is not prime. Res64: B95F0E079FB05B1D Time : 0.0 sec. user=mdettweiler [2016-07-03 08:19:16] 691*2^1434207-1 is not prime. Res64: F154E05819D3BDF6 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:19:22] 765*2^1434207-1 is not prime. Res64: 2C38B8B35D311D16 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:19:27] 805*2^1434207-1 is not prime. Res64: 82866E95D4A08AE5 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:37] 843*2^1434207-1 is not prime. Res64: 7DDFC518104CA27E Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:41] 843*2^1434208-1 is not prime. Res64: F0145DD5289C7D14 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:41] 901*2^1434207-1 is not prime. Res64: D3C680746920C1C9 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:45] 991*2^1434207-1 is not prime. Res64: 71F555FF1417C393 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:45] 869*2^1434208-1 is not prime. Res64: 628518EC6351A182 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:49] 989*2^1434208-1 is not prime. Res64: 51CBBF84A622A01E Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:49] 677*2^1434208-1 is not prime. Res64: DA6006CFC059E0AA Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:53] 723*2^1434208-1 is not prime. Res64: 87547B2797194AEF Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:53] 657*2^1434209-1 is not prime. Res64: 2021FFE20C99CC6E Time : 0.0 sec. user=mdettweiler [2016-07-03 08:20:58] 685*2^1434209-1 is not prime. Res64: A976EE4001DEE9CC Time : 0.0 sec. user=mdettweiler [2016-07-03 08:50:47] 711*2^1434209-1 is not prime. Res64: 445419E2946CE6A3 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:50:48] 747*2^1434209-1 is not prime. Res64: F7FD7906989562C1 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:50:48] 829*2^1434209-1 is not prime. Res64: 2061D102EB8531D5 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:50:48] 831*2^1434209-1 is not prime. Res64: 6724CEC033DC4BB1 Time : 0.0 sec. user=mdettweiler [2016-07-03 08:50:49] 907*2^1434209-1 is not prime. Res64: 8C6216026237F588 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:04:25] 925*2^1434209-1 is not prime. Res64: 1FA82BE4285E61E6 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:04:29] 985*2^1434209-1 is not prime. Res64: 9E6329A4565379DA Time : 0.0 sec. user=mdettweiler [2016-07-03 09:04:34] 633*2^1434210-1 is not prime. Res64: 2415822D54165B98 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:04:35] 797*2^1434210-1 is not prime. Res64: 448F3B478AFCF3FC Time : 0.0 sec. user=mdettweiler [2016-07-03 09:04:40] 875*2^1434210-1 is not prime. Res64: F727321A9D80A85C Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:42] 723*2^1434211-1 is not prime. Res64: 8ECB004A7350D7CF Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:43] 933*2^1434210-1 is not prime. Res64: 3962DB69E6F93B85 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:48] 1001*2^1434210-1 is not prime. Res64: DCB737B2B7BF9EBC Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:48] 771*2^1434211-1 is not prime. Res64: 63AFCFF1DA5FBED2 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:49] 615*2^1434211-1 is not prime. Res64: 4EBD6E8F54EB227E Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:54] 619*2^1434211-1 is not prime. Res64: 9B6069C3CDE183F6 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:05:54] 861*2^1434211-1 is not prime. Res64: B1C5FE792ED1A05D Time : 0.0 sec. user=mdettweiler [2016-07-03 09:06:00] 693*2^1434211-1 is not prime. Res64: 4BF20B0920D8232F Time : 0.0 sec. user=mdettweiler [2016-07-03 09:06:01] 883*2^1434211-1 is not prime. Res64: AB5F93EC7C8C8475 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:06:08] 913*2^1434211-1 is not prime. Res64: A4AD40F1D8597DC7 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:35:40] 759*2^1434212-1 is not prime. Res64: 19DD4C392FAC30F0 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:35:41] 819*2^1434212-1 is not prime. Res64: 46024B80AA71296B Time : 0.0 sec. user=mdettweiler [2016-07-03 09:35:45] 837*2^1434212-1 is not prime. Res64: 6CC8B44A29C33A2F Time : 0.0 sec. user=mdettweiler [2016-07-03 09:35:49] 867*2^1434212-1 is not prime. Res64: A3BD3B3C96BE6391 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:35:53] 893*2^1434212-1 is not prime. Res64: 9251B41886FADDFE Time : 0.0 sec. user=mdettweiler [2016-07-03 09:49:53] 995*2^1434212-1 is not prime. Res64: 8A22E90379910401 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:49:53] 999*2^1434212-1 is not prime. Res64: 032E361DAB4AFAB3 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:49:54] 609*2^1434213-1 is not prime. Res64: 257A7F3AB75FCBE6 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:49:54] 621*2^1434213-1 is not prime. Res64: 1797CC60FE36A7E2 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:49:54] 747*2^1434213-1 is not prime. Res64: 2884B6A93F89AE72 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:51:43] 781*2^1434213-1 is not prime. Res64: BF8395F8AF2F8123 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:51:43] 645*2^1434214-1 is not prime. Res64: 5D0D6939079BCA25 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:51:44] 681*2^1434214-1 is not prime. Res64: 63ECE1DB93B927E2 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:51:44] 741*2^1434214-1 is not prime. Res64: CF97A40596BD708E Time : 0.0 sec. user=mdettweiler [2016-07-03 09:51:44] 813*2^1434214-1 is not prime. Res64: 49223084FC8A2758 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:52:44] 815*2^1434214-1 is not prime. Res64: 00830DB282E055CF Time : 0.0 sec. user=mdettweiler [2016-07-03 09:52:44] 857*2^1434214-1 is not prime. Res64: 29B76DAC4C87A5A0 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:52:45] 915*2^1434214-1 is not prime. Res64: 1C49F85CAD8E04B8 Time : 0.0 sec. user=mdettweiler [2016-07-03 09:52:45] 651*2^1434215-1 is not prime. Res64: 9A6366A1543798FA Time : 0.0 sec. user=mdettweiler [2016-07-03 09:52:45] 715*2^1434215-1 is not prime. Res64: 1BE1219E6D30AA54 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:21:02] 859*2^1434215-1 is not prime. Res64: 2859EA092BF4ED42 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:21:08] 883*2^1434215-1 is not prime. Res64: 61B74F8E7387F033 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:21:13] 913*2^1434215-1 is not prime. Res64: B3D3DE9A2914CE92 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:21:19] 725*2^1434216-1 is not prime. Res64: F1CB6F259EAEFADE Time : 0.0 sec. user=mdettweiler [2016-07-03 10:21:25] 747*2^1434216-1 is not prime. Res64: 8332F48F88301EF3 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:34:41] 909*2^1434216-1 is not prime. Res64: 3DBCD76D14CB5991 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:34:42] 933*2^1434216-1 is not prime. Res64: 8E05C9522F54930C Time : 0.0 sec. user=mdettweiler [2016-07-03 10:34:42] 945*2^1434216-1 is not prime. Res64: 49101912D6BC447C Time : 0.0 sec. user=mdettweiler [2016-07-03 10:34:42] 999*2^1434216-1 is not prime. Res64: AB56ADB64BC74554 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:34:43] 799*2^1434217-1 is not prime. Res64: 99A12FDB1003499F Time : 0.0 sec. user=mdettweiler [2016-07-03 10:36:36] 861*2^1434217-1 is not prime. Res64: F4830380D05ED381 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:36:37] 889*2^1434217-1 is not prime. Res64: BB55BB00EC783485 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:36:37] 937*2^1434217-1 is not prime. Res64: 954928047392962C Time : 0.0 sec. user=mdettweiler [2016-07-03 10:36:37] 945*2^1434217-1 is not prime. Res64: 69FFDFC3CBD0C114 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:36:38] 957*2^1434217-1 is not prime. Res64: 2B54EF0B35B4FCC2 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:37:33] 633*2^1434218-1 is not prime. Res64: 8DDCAA7C23C45984 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:37:34] 705*2^1434218-1 is not prime. Res64: 9674AD679BC24943 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:37:34] 707*2^1434218-1 is not prime. Res64: 0AB49DD223872A0E Time : 0.0 sec. user=mdettweiler [2016-07-03 10:37:35] 791*2^1434218-1 is not prime. Res64: C7BE5E532B09BB12 Time : 0.0 sec. user=mdettweiler [2016-07-03 10:37:35] 825*2^1434218-1 is not prime. Res64: 10651D118A4EE4B2 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:06:12] 875*2^1434218-1 is not prime. Res64: 9B2E5C3C337B439D Time : 0.0 sec. user=mdettweiler [2016-07-03 11:06:13] 941*2^1434218-1 is not prime. Res64: 8362386D6BDE8E28 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:06:13] 995*2^1434218-1 is not prime. Res64: E12A01FCDA7F526F Time : 0.0 sec. user=mdettweiler [2016-07-03 11:06:14] 705*2^1434219-1 is not prime. Res64: BEDC396BD268854D Time : 0.0 sec. user=mdettweiler [2016-07-03 11:06:14] 903*2^1434219-1 is not prime. Res64: DB4C18496A58ED20 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:19:29] 663*2^1434220-1 is not prime. Res64: 9D8547F7D0FD5E24 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:19:33] 675*2^1434220-1 is not prime. Res64: 0E3C5A709C7F7E9D Time : 0.0 sec. user=mdettweiler [2016-07-03 11:19:37] 719*2^1434220-1 is not prime. Res64: 2741EB4F6BD88AC7 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:19:41] 845*2^1434220-1 is not prime. Res64: 62305F0843EF3710 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:19:45] 929*2^1434220-1 is not prime. Res64: EE2B23304282E62A Time : 0.0 sec. user=mdettweiler [2016-07-03 11:21:48] 999*2^1434220-1 is not prime. Res64: 80499BE414A24B35 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:21:52] 669*2^1434221-1 is not prime. Res64: DE50E09F0F674248 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:21:56] 741*2^1434221-1 is not prime. Res64: 78735B5944D46E04 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:00] 747*2^1434221-1 is not prime. Res64: AE5C9B858C0F812F Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:05] 757*2^1434221-1 is not prime. Res64: BF2AC7928D32267C Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:27] 777*2^1434221-1 is not prime. Res64: 19DDB506310A7452 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:28] 865*2^1434221-1 is not prime. Res64: CCDB7172CB263E6E Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:34] 889*2^1434221-1 is not prime. Res64: C4C865E966FF081E Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:41] 945*2^1434221-1 is not prime. Res64: 228403CB6F7CB75E Time : 0.0 sec. user=mdettweiler [2016-07-03 11:22:47] 635*2^1434222-1 is not prime. Res64: D86536C65FEE4409 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:51:29] 695*2^1434222-1 is not prime. Res64: 6885D5EBA8F21213 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:51:33] 711*2^1434222-1 is not prime. Res64: CCD8226537CA98C4 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:51:33] 737*2^1434222-1 is not prime. Res64: 2B3108B431CEC6E8 Time : 0.0 sec. user=mdettweiler [2016-07-03 11:51:37] 807*2^1434222-1 is not prime. Res64: B655DBCFC13CD36F Time : 0.0 sec. user=mdettweiler [2016-07-03 11:51:41] 843*2^1434222-1 is not prime. Res64: 1552DC4193211598 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:06:26] 893*2^1434222-1 is not prime. Res64: 9D7E3FB351E56DC3 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:06:31] 915*2^1434222-1 is not prime. Res64: A86BB81F2AD9246D Time : 0.0 sec. user=mdettweiler [2016-07-03 12:06:36] 661*2^1434223-1 is not prime. Res64: 457BEE0DF16ADCEB Time : 0.0 sec. user=mdettweiler [2016-07-03 12:06:37] 765*2^1434223-1 is not prime. Res64: 83FE0FE9A6A9B79E Time : 0.0 sec. user=mdettweiler [2016-07-03 12:06:42] 775*2^1434223-1 is not prime. Res64: 3FD9E36F5E5A719E Time : 0.0 sec. user=mdettweiler [2016-07-03 12:08:55] 819*2^1434223-1 is not prime. Res64: 48C7E0AE7F9CA53F Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:02] 849*2^1434223-1 is not prime. Res64: A840957860512632 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:09] 609*2^1434224-1 is not prime. Res64: 43DB0159FBB7054A Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:09] 813*2^1434224-1 is not prime. Res64: 36530688D5332D9F Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:09] 957*2^1434224-1 is not prime. Res64: 2949276D482DEBA5 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:27] 959*2^1434224-1 is not prime. Res64: 5E134E9ABC760339 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:27] 699*2^1434225-1 is not prime. Res64: 747D6574304A8C20 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:28] 705*2^1434225-1 is not prime. Res64: 9C36F70700108D44 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:28] 709*2^1434225-1 is not prime. Res64: 954C1BF55AAA5D45 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:09:28] 711*2^1434225-1 is not prime. Res64: 54AC7BA7AC34486D Time : 0.0 sec. user=mdettweiler [2016-07-03 12:38:39] 717*2^1434225-1 is not prime. Res64: 23A9B08DB46D9753 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:38:43] 739*2^1434225-1 is not prime. Res64: 6417C7D075B3B2EC Time : 0.0 sec. user=mdettweiler [2016-07-03 12:38:47] 787*2^1434225-1 is not prime. Res64: 0322414F30278506 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:38:51] 951*2^1434225-1 is not prime. Res64: 01397F0843A5C9FB Time : 0.0 sec. user=mdettweiler [2016-07-03 12:38:56] 617*2^1434226-1 is not prime. Res64: 3B33EBA8E20BB15D Time : 0.0 sec. user=mdettweiler [2016-07-03 12:53:35] 623*2^1434226-1 is not prime. Res64: 71657333B1E097A8 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:53:35] 713*2^1434226-1 is not prime. Res64: C312B36098A40F9C Time : 0.0 sec. user=mdettweiler [2016-07-03 12:53:35] 735*2^1434226-1 is not prime. Res64: 06AFD660CABA9EAB Time : 0.0 sec. user=mdettweiler [2016-07-03 12:53:35] 737*2^1434226-1 is not prime. Res64: 18108227D75B90EE Time : 0.0 sec. user=mdettweiler [2016-07-03 12:53:36] 755*2^1434226-1 is not prime. Res64: DCD6CB977CE57385 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:06] 887*2^1434226-1 is not prime. Res64: 8D82ECD8A2ACC99F Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:06] 911*2^1434226-1 is not prime. Res64: BB136860431D5F8F Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:06] 987*2^1434226-1 is not prime. Res64: EE98BD55F41EC830 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:06] 651*2^1434227-1 is not prime. Res64: 682683FBD8F95F66 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:07] 675*2^1434227-1 is not prime. Res64: 754523C2F9D0EFF9 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:32] 733*2^1434227-1 is not prime. Res64: F326168D07A12BE8 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:32] 735*2^1434227-1 is not prime. Res64: 3AE72049DB6FF825 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:32] 861*2^1434227-1 is not prime. Res64: 0118F75B41C06729 Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:33] 883*2^1434227-1 is not prime. Res64: F2C60E56D76A0B2B Time : 0.0 sec. user=mdettweiler [2016-07-03 12:56:33] 615*2^1434228-1 is not prime. Res64: BFF01A45C7F94113 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:26:05] 633*2^1434228-1 is not prime. Res64: A02AFCEE3E023B80 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:26:06] 699*2^1434228-1 is not prime. Res64: 757CF9F5C4C5C3D5 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:26:06] 737*2^1434228-1 is not prime. Res64: 5A0BAF6F34C0194B Time : 0.0 sec. user=mdettweiler [2016-07-03 13:26:06] 765*2^1434228-1 is not prime. Res64: F9776DDBFA8533BB Time : 0.0 sec. user=mdettweiler [2016-07-03 13:26:06] 899*2^1434228-1 is not prime. Res64: 968BA139EFE505E6 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:40:33] 975*2^1434228-1 is not prime. Res64: F5AD87F3FC8F2FE6 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:40:33] 625*2^1434229-1 is not prime. Res64: 1D4C100E11E81B7A Time : 0.0 sec. user=mdettweiler [2016-07-03 13:40:34] 667*2^1434229-1 is not prime. Res64: 48D031AA3E3D3C2F Time : 0.0 sec. user=mdettweiler [2016-07-03 13:40:34] 675*2^1434229-1 is not prime. Res64: 20E1F927249AB555 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:40:34] 759*2^1434229-1 is not prime. Res64: BCBA22CDD067FFE8 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:43:34] 635*2^1434230-1 is not prime. Res64: 16665994242A8B10 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:43:38] 773*2^1434230-1 is not prime. Res64: 93AFE86EDCA7A0DE Time : 0.0 sec. user=mdettweiler [2016-07-03 13:43:42] 797*2^1434230-1 is not prime. Res64: D402805D1CE8BC24 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:43:46] 851*2^1434230-1 is not prime. Res64: 3AD6BB5F686187F2 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:43:50] 885*2^1434230-1 is not prime. Res64: D10122A71B002B58 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:44:10] 769*2^1434229-1 is not prime. Res64: 134759CE2ADFD331 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:44:14] 801*2^1434229-1 is not prime. Res64: 12E8B47F1BCB5E0E Time : 0.0 sec. user=mdettweiler [2016-07-03 13:44:18] 817*2^1434229-1 is not prime. Res64: 4E9309F4B3E4AF6E Time : 0.0 sec. user=mdettweiler [2016-07-03 13:44:22] 861*2^1434229-1 is not prime. Res64: 2B452DFAA040DFB3 Time : 0.0 sec. user=mdettweiler [2016-07-03 13:44:26] 931*2^1434229-1 is not prime. Res64: 7D32D0EF42B90DC0 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:13:15] 935*2^1434230-1 is not prime. Res64: DC544C18E9CEFBD9 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:13:16] 601*2^1434231-1 is not prime. Res64: 085D49281D6E931C Time : 0.0 sec. user=mdettweiler [2016-07-03 14:13:16] 711*2^1434231-1 is not prime. Res64: 5CFDB2FD9EAD5DF8 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:13:17] 973*2^1434231-1 is not prime. Res64: FEA0EBB6E183EA55 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:13:17] 605*2^1434232-1 is not prime. Res64: 6973A96E3EDDB1FF Time : 0.0 sec. user=mdettweiler [2016-07-03 14:27:00] 695*2^1434232-1 is not prime. Res64: F45C0EF562C85CE5 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:27:04] 779*2^1434232-1 is not prime. Res64: 28FE77524CB93ECA Time : 0.0 sec. user=mdettweiler [2016-07-03 14:27:08] 903*2^1434232-1 is not prime. Res64: 203D1B8CC34ECB6A Time : 0.0 sec. user=mdettweiler [2016-07-03 14:27:13] 909*2^1434232-1 is not prime. Res64: 08A219C74E711F99 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:27:16] 983*2^1434232-1 is not prime. Res64: 4D5993FE74080AD0 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:05] 989*2^1434232-1 is not prime. Res64: 2BBA82F5528055F2 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:09] 607*2^1434233-1 is not prime. Res64: 7735A3BBE1B99E41 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:14] 745*2^1434233-1 is not prime. Res64: E2E2C94CE69991CC Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:18] 937*2^1434233-1 is not prime. Res64: 99EBEBEAD49BF37A Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:24] 985*2^1434233-1 is not prime. Res64: 5C6D9E960A2C7D5A Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:37] 621*2^1434234-1 is not prime. Res64: 75AA8718C716D44B Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:43] 627*2^1434234-1 is not prime. Res64: F218B6884F6833EB Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:49] 651*2^1434234-1 is not prime. Res64: 1F7A963C4C4F96CA Time : 0.0 sec. user=mdettweiler [2016-07-03 14:30:55] 765*2^1434234-1 is not prime. Res64: EEFAB5B0416AFC3C Time : 0.0 sec. user=mdettweiler [2016-07-03 14:31:00] 903*2^1434234-1 is not prime. Res64: C17569E2F1945CD8 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:59:05] 983*2^1434234-1 is not prime. Res64: 3795067F3F36AFF9 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:59:11] 619*2^1434235-1 is not prime. Res64: 01A4C1289979B0D2 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:59:18] 699*2^1434235-1 is not prime. Res64: ED9B5833D9661ADB Time : 0.0 sec. user=mdettweiler [2016-07-03 14:59:18] 961*2^1434235-1 is not prime. Res64: 6E03FD2C44EC2CB5 Time : 0.0 sec. user=mdettweiler [2016-07-03 14:59:25] 629*2^1434236-1 is not prime. Res64: FA46FEFAE5A0409F Time : 0.0 sec. user=mdettweiler [2016-07-03 15:12:47] 635*2^1434236-1 is not prime. Res64: 64539E852E279E80 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:12:47] 669*2^1434236-1 is not prime. Res64: A305096758DD4739 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:12:48] 693*2^1434236-1 is not prime. Res64: 266E535ADE18AD15 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:12:48] 707*2^1434236-1 is not prime. Res64: A816C4BC7EAC4D61 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:12:49] 759*2^1434236-1 is not prime. Res64: C46778547AB4F555 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:15:56] 813*2^1434236-1 is not prime. Res64: 7BF23B3BDA9BCAA4 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:15:56] 709*2^1434237-1 is not prime. Res64: D46CD7F92118531D Time : 0.0 sec. user=mdettweiler [2016-07-03 15:15:56] 831*2^1434237-1 is not prime. Res64: 9EB519B522AB4AA7 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:15:57] 861*2^1434237-1 is not prime. Res64: 00DDE61674907A09 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:15:57] 885*2^1434237-1 is not prime. Res64: CF4287D4BAF7DDA0 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:16:10] 889*2^1434237-1 is not prime. Res64: BEDBD6176B85D0A9 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:16:10] 937*2^1434237-1 is not prime. Res64: C9351BA5603B2F07 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:16:11] 991*2^1434237-1 is not prime. Res64: F27AE803FE6CD36A Time : 0.0 sec. user=mdettweiler [2016-07-03 15:16:11] 657*2^1434238-1 is not prime. Res64: C80DE8531A7345C0 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:16:12] 743*2^1434238-1 is not prime. Res64: DB4AA65C29824FBA Time : 0.0 sec. user=mdettweiler [2016-07-03 15:44:18] 845*2^1434238-1 is not prime. Res64: FC8A76135B939431 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:44:25] 857*2^1434238-1 is not prime. Res64: 4A6C97FBA265400E Time : 0.0 sec. user=mdettweiler [2016-07-03 15:44:31] 649*2^1434239-1 is not prime. Res64: 9193FF31C79D3CE4 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:44:37] 661*2^1434239-1 is not prime. Res64: 16076F3A3453D7A1 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:44:44] 669*2^1434239-1 is not prime. Res64: DA86B41A5B32A233 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:57:34] 721*2^1434239-1 is not prime. Res64: 80668300665866F5 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:57:34] 741*2^1434239-1 is not prime. Res64: 919F660D8D4C299B Time : 0.0 sec. user=mdettweiler [2016-07-03 15:57:34] 789*2^1434239-1 is not prime. Res64: 5FCCAC63C4BEA7D7 Time : 0.0 sec. user=mdettweiler [2016-07-03 15:57:35] 909*2^1434239-1 is not prime. Res64: B4B20748FFB2AB1D Time : 0.0 sec. user=mdettweiler [2016-07-03 15:57:35] 949*2^1434239-1 is not prime. Res64: 4EC77439CDBB1D7C Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:48] 737*2^1434240-1 is not prime. Res64: FE790C348A589941 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:49] 759*2^1434240-1 is not prime. Res64: 7328B778E83C9F14 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:50] 809*2^1434240-1 is not prime. Res64: 1919A0AC27A11388 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:50] 899*2^1434240-1 is not prime. Res64: 59C8399FC5829C4D Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:51] 639*2^1434241-1 is not prime. Res64: 7FEB0B8AEF867A8C Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:52] 717*2^1434241-1 is not prime. Res64: E2D5D09CC5427EEF Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:53] 747*2^1434241-1 is not prime. Res64: 6F69496478E51034 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:55] 855*2^1434241-1 is not prime. Res64: E4FE155B0CBBD0A8 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:57] 877*2^1434241-1 is not prime. Res64: 07B1D65434D6BBB7 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:00:58] 955*2^1434241-1 is not prime. Res64: 737EB6D285DF928B Time : 0.0 sec. user=mdettweiler [2016-07-03 16:29:45] 603*2^1434242-1 is not prime. Res64: 60086E0A83CC87E8 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:29:45] 617*2^1434242-1 is not prime. Res64: F0158ADB7610F1C2 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:29:46] 935*2^1434242-1 is not prime. Res64: 21B1224A7F2F84D3 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:29:46] 709*2^1434243-1 is not prime. Res64: B4512A34DDE828D0 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:29:47] 723*2^1434243-1 is not prime. Res64: 8925241EB9885AA9 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:42:31] 775*2^1434243-1 is not prime. Res64: 75CFC86ECB8A0626 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:42:36] 853*2^1434243-1 is not prime. Res64: 55E8B187E1C5192E Time : 0.0 sec. user=mdettweiler [2016-07-03 16:42:40] 885*2^1434243-1 is not prime. Res64: 9E146A4738C40BFB Time : 0.0 sec. user=mdettweiler [2016-07-03 16:42:44] 675*2^1434244-1 is not prime. Res64: 30098F4CF90FB4BF Time : 0.0 sec. user=mdettweiler [2016-07-03 16:42:48] 693*2^1434244-1 is not prime. Res64: 79B84BCF487A9AE6 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:45:53] 707*2^1434244-1 is not prime. Res64: 4AD4876D45611168 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:45:57] 765*2^1434244-1 is not prime. Res64: 40B821EC3CA2CC0C Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:01] 803*2^1434244-1 is not prime. Res64: 6E8458E6F2D375C2 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:01] 989*2^1434244-1 is not prime. Res64: C5F03B60657F5056 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:05] 657*2^1434245-1 is not prime. Res64: F58051368EC5E789 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:05] 843*2^1434244-1 is not prime. Res64: 55FD3051678734E8 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:09] 721*2^1434245-1 is not prime. Res64: A460DE9ED5645821 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:09] 923*2^1434244-1 is not prime. Res64: 2210A7B029A77829 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:13] 729*2^1434245-1 is not prime. Res64: 61C633C4E13EAD11 Time : 0.0 sec. user=mdettweiler [2016-07-03 16:46:17] 757*2^1434245-1 is not prime. Res64: 6663A8DCFB9676E3 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:14:35] 805*2^1434245-1 is not prime. Res64: A0DCB99A1B2E59C8 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:14:36] 847*2^1434245-1 is not prime. Res64: 90C247FE22A93AAB Time : 0.0 sec. user=mdettweiler [2016-07-03 17:14:36] 979*2^1434245-1 is not prime. Res64: 40C3CB962938B3D1 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:14:36] 987*2^1434245-1 is not prime. Res64: 97B9A3A45CEDD91B Time : 0.0 sec. user=mdettweiler [2016-07-03 17:14:37] 653*2^1434246-1 is not prime. Res64: 04748FCB7A660F4D Time : 0.0 sec. user=mdettweiler [2016-07-03 17:27:52] 725*2^1434246-1 is not prime. Res64: F00301BBF4B28710 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:27:59] 755*2^1434246-1 is not prime. Res64: 524755C43945706D Time : 0.0 sec. user=mdettweiler [2016-07-03 17:28:06] 795*2^1434246-1 is not prime. Res64: F51DCF89C80849E7 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:28:13] 933*2^1434246-1 is not prime. Res64: F605259465268757 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:28:14] 945*2^1434246-1 is not prime. Res64: F64B15558E009022 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:30:59] 963*2^1434246-1 is not prime. Res64: 8343A133D6F5C9A2 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:30:59] 1001*2^1434246-1 is not prime. Res64: D22E63350A651368 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:03] 663*2^1434247-1 is not prime. Res64: 4EE8CD979596EE02 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:07] 961*2^1434247-1 is not prime. Res64: FC3F96BDCC3F99CE Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:07] 681*2^1434247-1 is not prime. Res64: 29379D86A10B7FD8 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:11] 713*2^1434248-1 is not prime. Res64: 2782F28285258C49 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:11] 925*2^1434247-1 is not prime. Res64: BC90B796515DF61D Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:15] 837*2^1434248-1 is not prime. Res64: B2C333605813E2DC Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:19] 845*2^1434248-1 is not prime. Res64: 359B2AC98AEDA122 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:31:23] 867*2^1434248-1 is not prime. Res64: FEFFFDC14884BD11 Time : 0.0 sec. user=mdettweiler [2016-07-03 17:59:29] 923*2^1434248-1 is not prime. Res64: CB309D6C125BCBCF Time : 0.0 sec. user=mdettweiler [2016-07-03 17:59:36] 999*2^1434248-1 is not prime. Res64: C3E6F0CAB2BB480B Time : 0.0 sec. user=mdettweiler [2016-07-03 17:59:42] 657*2^1434249-1 is not prime. Res64: 7477D6ECAAFD88FF Time : 0.0 sec. user=mdettweiler [2016-07-03 17:59:48] 661*2^1434249-1 is not prime. Res64: 33E7E815E9722D8E Time : 0.0 sec. user=mdettweiler [2016-07-03 17:59:55] 817*2^1434249-1 is not prime. Res64: 918D6B0633425541 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:13:05] 847*2^1434249-1 is not prime. Res64: 089BCD02DD22D879 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:13:05] 945*2^1434249-1 is not prime. Res64: 75B1F1D4588DBD4E Time : 0.0 sec. user=mdettweiler [2016-07-03 18:13:06] 975*2^1434249-1 is not prime. Res64: E97661091C5304B9 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:13:06] 991*2^1434249-1 is not prime. Res64: A2BDEA38E92F4CFB Time : 0.0 sec. user=mdettweiler [2016-07-03 18:13:06] 713*2^1434250-1 is not prime. Res64: 31B90E4A158E47E1 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:15:55] 723*2^1434250-1 is not prime. Res64: 4546C2CBF3F786DF Time : 0.0 sec. user=mdettweiler [2016-07-03 18:15:55] 777*2^1434250-1 is not prime. Res64: 9B227D05AFBF567F Time : 0.0 sec. user=mdettweiler [2016-07-03 18:15:56] 783*2^1434250-1 is not prime. Res64: E8941006DC4EBBFB Time : 0.0 sec. user=mdettweiler [2016-07-03 18:15:56] 843*2^1434250-1 is not prime. Res64: 876F202D5B07F837 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:15:56] 857*2^1434250-1 is not prime. Res64: 99E998F244007794 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:16:07] 867*2^1434250-1 is not prime. Res64: 39BDC325D43646BA Time : 0.0 sec. user=mdettweiler [2016-07-03 18:16:08] 941*2^1434250-1 is not prime. Res64: 4289CEEE7203E546 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:16:08] 981*2^1434250-1 is not prime. Res64: 9A71DEC7BEF09822 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:16:08] 631*2^1434251-1 is not prime. Res64: 6FA45AEE57A885FE Time : 0.0 sec. user=mdettweiler [2016-07-03 18:16:09] 775*2^1434251-1 is not prime. Res64: 61D73CC86D89A798 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:45:06] 885*2^1434251-1 is not prime. Res64: 698419EB7DA2BF4F Time : 0.0 sec. user=mdettweiler [2016-07-03 18:45:13] 943*2^1434251-1 is not prime. Res64: 340B70F02F79D0A7 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:45:20] 979*2^1434251-1 is not prime. Res64: 7C5B3B721FBB1A84 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:45:28] 665*2^1434252-1 is not prime. Res64: A6E63B63764A99E6 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:45:35] 695*2^1434252-1 is not prime. Res64: 8BEC7C86636816C0 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:58:02] 753*2^1434252-1 is not prime. Res64: 14B44C778ADE34F0 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:58:03] 819*2^1434252-1 is not prime. Res64: 2357B3E4B92E7936 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:58:03] 887*2^1434252-1 is not prime. Res64: 940CC224BB277613 Time : 0.0 sec. user=mdettweiler [2016-07-03 18:58:04] 923*2^1434252-1 is not prime. Res64: 91D2E3B96E0BA16C Time : 0.0 sec. user=mdettweiler [2016-07-03 18:58:04] 983*2^1434252-1 is not prime. Res64: 355458A1368DEB31 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:00:55] 675*2^1434253-1 is not prime. Res64: C156733B43773F31 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:00:56] 687*2^1434253-1 is not prime. Res64: 25C4AC2EC5639E9A Time : 0.0 sec. user=mdettweiler [2016-07-03 19:00:57] 715*2^1434253-1 is not prime. Res64: 329820F3C7225AD1 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:00:58] 727*2^1434253-1 is not prime. Res64: 5870C352A24F5A5B Time : 0.0 sec. user=mdettweiler [2016-07-03 19:00:59] 741*2^1434253-1 is not prime. Res64: 657E073322BFC4DC Time : 0.0 sec. user=mdettweiler [2016-07-03 19:01:18] 747*2^1434253-1 is not prime. Res64: 127EED724F18EEE5 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:01:19] 847*2^1434253-1 is not prime. Res64: F7C1323554409F4B Time : 0.0 sec. user=mdettweiler [2016-07-03 19:01:20] 987*2^1434253-1 is not prime. Res64: 1D3453697C360354 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:01:21] 617*2^1434254-1 is not prime. Res64: C431F3E6001BCB2F Time : 0.0 sec. user=mdettweiler [2016-07-03 19:01:22] 645*2^1434254-1 is not prime. Res64: 998F3A557BAB56F6 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:30:35] 731*2^1434254-1 is not prime. Res64: 4A710C74EDCBDCCD Time : 0.0 sec. user=mdettweiler [2016-07-03 19:30:35] 875*2^1434254-1 is not prime. Res64: E9F01F011B1AB5CD Time : 0.0 sec. user=mdettweiler [2016-07-03 19:30:35] 897*2^1434254-1 is not prime. Res64: 99E979B1735457B9 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:30:36] 923*2^1434254-1 is not prime. Res64: CA90B0EE3F379B0D Time : 0.0 sec. user=mdettweiler [2016-07-03 19:30:36] 935*2^1434254-1 is not prime. Res64: 744B164D052E5618 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:42:57] 609*2^1434255-1 is not prime. Res64: 47B7D12B08F61898 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:43:00] 859*2^1434255-1 is not prime. Res64: C94A058547CD8819 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:43:05] 653*2^1434256-1 is not prime. Res64: E3BFA3C6D52C334D Time : 0.0 sec. user=mdettweiler [2016-07-03 19:43:09] 719*2^1434256-1 is not prime. Res64: A3FB1240448BAB11 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:43:12] 855*2^1434256-1 is not prime. Res64: DDF7DAF6DF7FED05 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:45:48] 873*2^1434256-1 is not prime. Res64: CC83A9ACECA8CD3A Time : 0.0 sec. user=mdettweiler [2016-07-03 19:45:52] 939*2^1434256-1 is not prime. Res64: AD4805EE9E7E54CB Time : 0.0 sec. user=mdettweiler [2016-07-03 19:45:56] 631*2^1434257-1 is not prime. Res64: F0BB7F7F15276A4F Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:00] 649*2^1434257-1 is not prime. Res64: 1FECFB989B311051 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:04] 685*2^1434257-1 is not prime. Res64: 92B98956A61C8D18 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:28] 915*2^1434257-1 is not prime. Res64: C6059861A9895453 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:32] 981*2^1434257-1 is not prime. Res64: 793E8FD10A13260F Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:36] 621*2^1434258-1 is not prime. Res64: 938A158A81CEAEB8 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:40] 705*2^1434258-1 is not prime. Res64: FACDBDABB13A63E6 Time : 0.0 sec. user=mdettweiler [2016-07-03 19:46:44] 737*2^1434258-1 is not prime. Res64: 870B4AB34B533BB5 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:15:25] 803*2^1434258-1 is not prime. Res64: 1EBF5DE6AEC2A730 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:15:26] 825*2^1434258-1 is not prime. Res64: 0D85E5FD314FF4CF Time : 0.0 sec. user=mdettweiler [2016-07-03 20:15:26] 833*2^1434258-1 is not prime. Res64: F48A5DD4DA970D6F Time : 0.0 sec. user=mdettweiler [2016-07-03 20:15:27] 905*2^1434258-1 is not prime. Res64: C2DE8B0CE4EF03F7 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:15:27] 993*2^1434258-1 is not prime. Res64: 4469E87CC6776B5F Time : 0.0 sec. user=mdettweiler [2016-07-03 20:28:10] 679*2^1434259-1 is not prime. Res64: 76BF3753AA9318F4 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:28:15] 775*2^1434259-1 is not prime. Res64: 39F62456681B02F6 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:28:21] 793*2^1434259-1 is not prime. Res64: 7BC226833D1411FA Time : 0.0 sec. user=mdettweiler [2016-07-03 20:28:22] 853*2^1434259-1 is not prime. Res64: FB8CF1F7C02A0A91 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:28:28] 891*2^1434259-1 is not prime. Res64: 7E530457ADC664D3 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:14] 895*2^1434259-1 is not prime. Res64: 628682CD1B844763 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:20] 969*2^1434259-1 is not prime. Res64: 5C2E5AFFC9D1E229 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:26] 767*2^1434260-1 is not prime. Res64: 02ABE77794070074 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:31] 839*2^1434260-1 is not prime. Res64: 8CA76628B8F56FA7 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:36] 625*2^1434261-1 is not prime. Res64: 0C6A91E52B7E804F Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:42] 691*2^1434261-1 is not prime. Res64: 4F3260BAF7510387 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:49] 781*2^1434261-1 is not prime. Res64: D17F6A74FB1313FD Time : 0.0 sec. user=mdettweiler [2016-07-03 20:31:56] 921*2^1434261-1 is not prime. Res64: 421845E849B0D2E2 Time : 0.0 sec. user=mdettweiler [2016-07-03 20:32:03] 951*2^1434261-1 is not prime. Res64: 3A389F151AC5A01A Time : 0.0 sec. user=mdettweiler [2016-07-03 20:32:10] 961*2^1434261-1 is not prime. Res64: 8D69C61482A00F41 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:00:37] 815*2^1434262-1 is not prime. Res64: 9B4780CD9D605F98 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:00:44] 827*2^1434262-1 is not prime. Res64: 48EE69F4F3BE52EF Time : 0.0 sec. user=mdettweiler [2016-07-03 21:00:50] 945*2^1434262-1 is not prime. Res64: 76FD00F3049DD134 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:00:57] 951*2^1434262-1 is not prime. Res64: 620E242184D7C43D Time : 0.0 sec. user=mdettweiler [2016-07-03 21:01:04] 783*2^1434263-1 is not prime. Res64: 6C6D7AAFB6BA0A4B Time : 0.0 sec. user=mdettweiler [2016-07-03 21:13:31] 805*2^1434263-1 is not prime. Res64: 99384D104BBCAEF7 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:13:31] 635*2^1434264-1 is not prime. Res64: CFD7EC8D9C77397B Time : 0.0 sec. user=mdettweiler [2016-07-03 21:13:32] 675*2^1434264-1 is not prime. Res64: 9AACA0EF582B7F0E Time : 0.0 sec. user=mdettweiler [2016-07-03 21:13:32] 825*2^1434264-1 is not prime. Res64: A43C67EA500E57D8 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:13:33] 837*2^1434264-1 is not prime. Res64: 88D2C477757ED5EC Time : 0.0 sec. user=mdettweiler [2016-07-03 21:16:44] 607*2^1434265-1 is not prime. Res64: F4A4AAA3813F4DA4 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:16:44] 651*2^1434265-1 is not prime. Res64: 47AC44C94E65D85C Time : 0.0 sec. user=mdettweiler [2016-07-03 21:16:44] 765*2^1434265-1 is not prime. Res64: 45396B904E9D96D7 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:16:45] 789*2^1434265-1 is not prime. Res64: EC28345E6AF12F4A Time : 0.0 sec. user=mdettweiler [2016-07-03 21:16:45] 885*2^1434265-1 is not prime. Res64: 043F0B19B85C2CF7 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:17:18] 895*2^1434265-1 is not prime. Res64: DEE46444F31806CB Time : 0.0 sec. user=mdettweiler [2016-07-03 21:17:18] 897*2^1434265-1 is not prime. Res64: 6A9766F683824AF3 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:17:19] 979*2^1434265-1 is not prime. Res64: DC430F76075F8ABC Time : 0.0 sec. user=mdettweiler [2016-07-03 21:17:19] 603*2^1434266-1 is not prime. Res64: 6AD1B35ACED60ED8 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:17:20] 651*2^1434266-1 is not prime. Res64: 9798D1C33EF6FD2B Time : 0.0 sec. user=mdettweiler [2016-07-03 21:46:46] 713*2^1434266-1 is not prime. Res64: DCCDB5A66FD71DD9 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:46:47] 741*2^1434266-1 is not prime. Res64: 0E07069CB9B171CE Time : 0.0 sec. user=mdettweiler [2016-07-03 21:46:47] 747*2^1434266-1 is not prime. Res64: C50DE12C8D4F4C65 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:46:47] 785*2^1434266-1 is not prime. Res64: FD65E220E744D1AE Time : 0.0 sec. user=mdettweiler [2016-07-03 21:46:48] 833*2^1434266-1 is not prime. Res64: A6C8218005938154 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:58:59] 843*2^1434266-1 is not prime. Res64: 6523DF4C8A5E6CFC Time : 0.0 sec. user=mdettweiler [2016-07-03 21:58:59] 867*2^1434266-1 is not prime. Res64: 4BC271176AA7C080 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:58:59] 875*2^1434266-1 is not prime. Res64: F96EC9C2BCD3B118 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:59:00] 945*2^1434266-1 is not prime. Res64: 0067AA3DB8B265D5 Time : 0.0 sec. user=mdettweiler [2016-07-03 21:59:00] 973*2^1434267-1 is not prime. Res64: 9244F483329E34CD Time : 0.0 sec. user=mdettweiler [2016-07-03 22:01:56] 635*2^1434268-1 is not prime. Res64: 32A1750D3FCA857F Time : 0.0 sec. user=mdettweiler [2016-07-03 22:01:57] 647*2^1434268-1 is not prime. Res64: 073B2908A2EB0944 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:01:58] 695*2^1434268-1 is not prime. Res64: 593A214F8D6D636F Time : 0.0 sec. user=mdettweiler [2016-07-03 22:01:59] 721*2^1434269-1 is not prime. Res64: 043FEF731394009F Time : 0.0 sec. user=mdettweiler [2016-07-03 22:02:00] 811*2^1434269-1 is not prime. Res64: E445BDC4EBE3E0B9 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:02:22] 837*2^1434269-1 is not prime. Res64: DA9050DBB00F4136 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:02:23] 867*2^1434269-1 is not prime. Res64: E25B309524C266E8 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:02:24] 925*2^1434269-1 is not prime. Res64: B4F635E6B30E554B Time : 0.0 sec. user=mdettweiler [2016-07-03 22:02:25] 951*2^1434269-1 is not prime. Res64: 3D9FD2D18FFB98C2 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:02:26] 657*2^1434270-1 is not prime. Res64: 7115904B535B51D4 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:31:58] 921*2^1434270-1 is not prime. Res64: 1BD494B43A93A83E Time : 0.0 sec. user=mdettweiler [2016-07-03 22:31:58] 933*2^1434270-1 is not prime. Res64: 317049D70FAFD1E5 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:31:59] 945*2^1434270-1 is not prime. Res64: 0ED74106C2C7D67D Time : 0.0 sec. user=mdettweiler [2016-07-03 22:31:59] 951*2^1434270-1 is not prime. Res64: 521BB48334AF04BF Time : 0.0 sec. user=mdettweiler [2016-07-03 22:31:59] 715*2^1434271-1 is not prime. Res64: E78E54C968A2E213 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:44:04] 751*2^1434271-1 is not prime. Res64: 3D025EA25EFA47C1 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:44:04] 813*2^1434271-1 is not prime. Res64: 0711B699D3293E7D Time : 0.0 sec. user=mdettweiler [2016-07-03 22:44:05] 873*2^1434271-1 is not prime. Res64: BDF4F2C52BC9B91F Time : 0.0 sec. user=mdettweiler [2016-07-03 22:44:05] 961*2^1434271-1 is not prime. Res64: 24BCD296ABD07ABA Time : 0.0 sec. user=mdettweiler [2016-07-03 22:44:06] 665*2^1434272-1 is not prime. Res64: 8BCA5035DC98D3D0 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:10] 753*2^1434272-1 is not prime. Res64: 5BE9523FE6EB87B3 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:14] 797*2^1434272-1 is not prime. Res64: 87FDA3EDC29D92EC Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:18] 803*2^1434272-1 is not prime. Res64: E3C69CB4A2AC8622 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:22] 829*2^1434273-1 is not prime. Res64: 3BA24A844073A049 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:22] 959*2^1434272-1 is not prime. Res64: 90EE0EF0FE77DEB9 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:27] 781*2^1434273-1 is not prime. Res64: 4F3FCBAE7101ED0F Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:27] 891*2^1434273-1 is not prime. Res64: FE0531193FDBE2CF Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:31] 937*2^1434273-1 is not prime. Res64: 09F823FFF5D72F20 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:35] 621*2^1434274-1 is not prime. Res64: 62C1D560CACCA238 Time : 0.0 sec. user=mdettweiler [2016-07-03 22:47:39] 645*2^1434274-1 is not prime. Res64: BD8779885A67EDE2 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:16:53] 663*2^1434274-1 is not prime. Res64: 8D5900586D4742C6 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:16:53] 665*2^1434274-1 is not prime. Res64: 2EF5D201FE76CACA Time : 0.0 sec. user=mdettweiler [2016-07-03 23:16:54] 677*2^1434274-1 is not prime. Res64: A5C718B9DFD79C6B Time : 0.0 sec. user=mdettweiler [2016-07-03 23:16:54] 701*2^1434274-1 is not prime. Res64: 33C1431F6358D635 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:16:55] 741*2^1434274-1 is not prime. Res64: 8570DDA111C83F09 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:29:05] 891*2^1434274-1 is not prime. Res64: 5D5E976D42DDA249 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:29:11] 945*2^1434274-1 is not prime. Res64: 1E8A0EB3D40E77E5 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:29:17] 609*2^1434275-1 is not prime. Res64: 2FEB010BC770DAE1 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:29:23] 633*2^1434275-1 is not prime. Res64: 93989C4FCD790707 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:29:29] 655*2^1434275-1 is not prime. Res64: 4DA52A89EC9397B8 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:27] 685*2^1434275-1 is not prime. Res64: 6ED652F9982ACB5D Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:33] 735*2^1434275-1 is not prime. Res64: FBABD5DEF34D73E3 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:39] 845*2^1434276-1 is not prime. Res64: 93411FCB91D412C7 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:39] 957*2^1434276-1 is not prime. Res64: 44CCD84ACE02E8A7 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:45] 969*2^1434276-1 is not prime. Res64: DF60E590F3049374 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:45] 829*2^1434277-1 is not prime. Res64: 351FB55D0EA06367 Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:51] 937*2^1434277-1 is not prime. Res64: 26DC5AAC9B0A2B0B Time : 0.0 sec. user=mdettweiler [2016-07-03 23:32:58] 955*2^1434277-1 is not prime. Res64: 214AFA0D9187215C Time : 0.0 sec. user=mdettweiler [2016-07-03 23:33:03] 603*2^1434278-1 is not prime. Res64: E3A318259D7681CC Time : 0.0 sec. user=mdettweiler [2016-07-03 23:33:10] 605*2^1434278-1 is not prime. Res64: A4053E9CC0A0A1C8 Time : 0.0 sec.