user=mdettweiler [2016-06-09 00:07:41] 847*2^1431833-1 is not prime. Res64: D1123A9FAC5FB256 Time : 0.0 sec. user=mdettweiler [2016-06-09 00:07:42] 861*2^1431833-1 is not prime. Res64: 1DA90B6A37AE807A Time : 0.0 sec. user=mdettweiler [2016-06-09 00:07:43] 939*2^1431833-1 is not prime. Res64: 685B7C2352A3F13E Time : 0.0 sec. user=mdettweiler [2016-06-09 00:07:44] 951*2^1431833-1 is not prime. Res64: B726A3EF34F81F3C Time : 0.0 sec. user=mdettweiler [2016-06-09 00:07:45] 967*2^1431833-1 is not prime. Res64: 435E5D5EB983F34A Time : 0.0 sec. user=mdettweiler [2016-06-09 00:17:48] 681*2^1431834-1 is not prime. Res64: 18A005DBDD54A7BB Time : 0.0 sec. user=mdettweiler [2016-06-09 00:17:49] 705*2^1431834-1 is not prime. Res64: A660BB87575992DE Time : 0.0 sec. user=mdettweiler [2016-06-09 00:17:49] 725*2^1431834-1 is not prime. Res64: D7CD99618C0AB2B8 Time : 0.0 sec. user=mdettweiler [2016-06-09 00:17:49] 797*2^1431834-1 is not prime. Res64: 0386D4691B96F303 Time : 0.0 sec. user=mdettweiler [2016-06-09 00:17:50] 881*2^1431834-1 is not prime. Res64: 98E7DFA65AB9F690 Time : 0.0 sec. user=mdettweiler [2016-06-09 00:41:18] 927*2^1431834-1 is not prime. Res64: 02DBC6B7A8B9ED3D Time : 0.0 sec. user=mdettweiler [2016-06-09 00:41:18] 685*2^1431835-1 is not prime. Res64: 163792A5EA67B17F Time : 0.0 sec. user=mdettweiler [2016-06-09 00:41:19] 741*2^1431835-1 is not prime. Res64: 5F8D6EF0F748B385 Time : 0.0 sec. user=mdettweiler [2016-06-09 00:41:19] 861*2^1431835-1 is not prime. Res64: FA2FD610A3CE73B0 Time : 0.0 sec. user=mdettweiler [2016-06-09 00:41:19] 951*2^1431835-1 is not prime. Res64: 6A1C73B02D8E3492 Time : 0.0 sec. user=mdettweiler [2016-06-09 01:13:53] 633*2^1431836-1 is not prime. Res64: 1F9C543BE3001C7A Time : 0.0 sec. user=mdettweiler [2016-06-09 01:13:54] 635*2^1431836-1 is not prime. Res64: 8E366B52CF94847B Time : 0.0 sec. user=mdettweiler [2016-06-09 01:13:55] 647*2^1431836-1 is not prime. Res64: 483899FCADF32AEE Time : 0.0 sec. user=mdettweiler [2016-06-09 01:13:56] 833*2^1431836-1 is not prime. Res64: 9B11EDD71838E6AC Time : 0.0 sec. user=mdettweiler [2016-06-09 01:13:56] 909*2^1431836-1 is not prime. Res64: 0F2D4496E43F359F Time : 0.0 sec. user=mdettweiler [2016-06-09 01:18:21] 923*2^1431836-1 is not prime. Res64: 77F8BD34FD59898D Time : 0.0 sec. user=mdettweiler [2016-06-09 01:18:21] 953*2^1431836-1 is not prime. Res64: 6440AF1063FDEEEB Time : 0.0 sec. user=mdettweiler [2016-06-09 01:18:22] 609*2^1431837-1 is not prime. Res64: 052394C3A9D1269A Time : 0.0 sec. user=mdettweiler [2016-06-09 01:18:22] 621*2^1431837-1 is not prime. Res64: BB780171624ECBFB Time : 0.0 sec. user=mdettweiler [2016-06-09 01:18:22] 765*2^1431837-1 is not prime. Res64: 9C146FE03BDB75B9 Time : 0.0 sec. user=mdettweiler [2016-06-09 01:51:19] 865*2^1431837-1 is not prime. Res64: 66EFBD4979629F94 Time : 0.0 sec. user=mdettweiler [2016-06-09 01:51:20] 867*2^1431837-1 is not prime. Res64: 7357C81E12E84159 Time : 0.0 sec. user=mdettweiler [2016-06-09 01:51:21] 665*2^1431838-1 is not prime. Res64: 3988B7455527FB08 Time : 0.0 sec. user=mdettweiler [2016-06-09 01:51:22] 687*2^1431838-1 is not prime. Res64: 280B668FCD3661BF Time : 0.0 sec. user=mdettweiler [2016-06-09 01:51:23] 755*2^1431838-1 is not prime. Res64: 4790091068E5B53E Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:47] 827*2^1431838-1 is not prime. Res64: 1E6AB3A7092FACDA Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:47] 887*2^1431838-1 is not prime. Res64: 1A54802239F0C14D Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:48] 923*2^1431838-1 is not prime. Res64: 75C6B0F1BF25394F Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:48] 941*2^1431838-1 is not prime. Res64: CAE8E435F6A6303C Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:48] 945*2^1431838-1 is not prime. Res64: F5B423B60797401E Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:55] 981*2^1431838-1 is not prime. Res64: BF43B02F78BBC7E4 Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:55] 797*2^1431840-1 is not prime. Res64: 5DD1D9B626C0B850 Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:55] 857*2^1431840-1 is not prime. Res64: 65F82C5D96ADBE05 Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:56] 899*2^1431840-1 is not prime. Res64: 2A6759CAD0A35093 Time : 0.0 sec. user=mdettweiler [2016-06-09 02:18:56] 975*2^1431840-1 is not prime. Res64: 3CACECBE8297CF9F Time : 0.0 sec. user=mdettweiler [2016-06-09 03:05:53] 625*2^1431841-1 is not prime. Res64: 9EB6567D04FA9A3D Time : 0.0 sec. user=mdettweiler [2016-06-09 03:05:55] 775*2^1431841-1 is not prime. Res64: 1159799A0C0F184C Time : 0.0 sec. user=mdettweiler [2016-06-09 03:05:57] 871*2^1431841-1 is not prime. Res64: B8E31A74A0786F4F Time : 0.0 sec. user=mdettweiler [2016-06-09 03:05:58] 945*2^1431841-1 is not prime. Res64: 4F68EA9CE3CCF403 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:05:59] 615*2^1431842-1 is not prime. Res64: 42CAFA99F1592B15 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:19:23] 977*2^1431842-1 is not prime. Res64: 148E11AC84218551 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:19:23] 609*2^1431843-1 is not prime. Res64: 69F2E8C811AE08D2 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:19:23] 723*2^1431843-1 is not prime. Res64: 856C99F293E73B66 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:19:23] 805*2^1431843-1 is not prime. Res64: 61CF4BECEB94D5AB Time : 0.0 sec. user=mdettweiler [2016-06-09 03:19:24] 879*2^1431843-1 is not prime. Res64: A85A3FF3AB5AA505 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:23:42] 817*2^1431829-1 is not prime. Res64: 85BF33FC756518F3 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:23:43] 855*2^1431829-1 is not prime. Res64: 35DD864DC5FCFE2C Time : 0.0 sec. user=mdettweiler [2016-06-09 03:23:43] 895*2^1431829-1 is not prime. Res64: 8BEB4529E074229B Time : 0.0 sec. user=mdettweiler [2016-06-09 03:23:43] 755*2^1431830-1 is not prime. Res64: 5E3C69A97C166C0F Time : 0.0 sec. user=mdettweiler [2016-06-09 03:23:43] 761*2^1431830-1 is not prime. Res64: 519A91FC9AC1DA78 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:27:29] 895*2^1431843-1 is not prime. Res64: 342D0068AC5DF76A Time : 0.0 sec. user=mdettweiler [2016-06-09 03:27:29] 921*2^1431843-1 is not prime. Res64: EC7DDD72EA821940 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:27:30] 951*2^1431843-1 is not prime. Res64: 426224850A31B276 Time : 0.0 sec. user=mdettweiler [2016-06-09 03:27:31] 961*2^1431843-1 is not prime. Res64: 230AB783A4216B3A Time : 0.0 sec. user=mdettweiler [2016-06-09 03:27:31] 635*2^1431844-1 is not prime. Res64: F48F6A9FD1A49DF5 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:05:58] 693*2^1431844-1 is not prime. Res64: A40FB29059C6C981 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:06:00] 723*2^1431844-1 is not prime. Res64: 45C554A2C1B48715 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:06:02] 827*2^1431844-1 is not prime. Res64: 35E9EF59C71A02E7 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:06:03] 869*2^1431844-1 is not prime. Res64: 56B1ED7B95A7495C Time : 0.0 sec. user=mdettweiler [2016-06-09 04:06:05] 969*2^1431844-1 is not prime. Res64: CE798EE6005361CA Time : 0.0 sec. user=mdettweiler [2016-06-09 04:19:32] 715*2^1431845-1 is not prime. Res64: 01D1FF59BBF37D8D Time : 0.0 sec. user=mdettweiler [2016-06-09 04:19:33] 717*2^1431845-1 is not prime. Res64: 6587CD503D841049 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:19:33] 777*2^1431845-1 is not prime. Res64: 3FAB0455AF91864E Time : 0.0 sec. user=mdettweiler [2016-06-09 04:19:33] 789*2^1431845-1 is not prime. Res64: C4468C63D5385F10 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:19:33] 885*2^1431845-1 is not prime. Res64: 067A6C403AF7700B Time : 0.0 sec. user=mdettweiler [2016-06-09 04:26:29] 607*2^1431845-1 is not prime. Res64: 13A02DC99CDDCF8C Time : 0.0 sec. user=mdettweiler [2016-06-09 04:26:29] 619*2^1431845-1 is not prime. Res64: 3326671BDDFF8593 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:26:29] 645*2^1431845-1 is not prime. Res64: 0A8E373B82E063BD Time : 0.0 sec. user=mdettweiler [2016-06-09 04:26:30] 655*2^1431845-1 is not prime. Res64: 8006A1540CF60932 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:26:30] 699*2^1431845-1 is not prime. Res64: 4F9581DAB518FD8D Time : 0.0 sec. user=mdettweiler [2016-06-09 04:29:37] 615*2^1431846-1 is not prime. Res64: C9B3F4A0FBB52AF7 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:29:37] 707*2^1431846-1 is not prime. Res64: FFBD970976FB3AFB Time : 0.0 sec. user=mdettweiler [2016-06-09 04:29:37] 851*2^1431846-1 is not prime. Res64: 39C3F18C17F44F1E Time : 0.0 sec. user=mdettweiler [2016-06-09 04:29:38] 881*2^1431846-1 is not prime. Res64: 668A9D0FBAE38643 Time : 0.0 sec. user=mdettweiler [2016-06-09 04:29:38] 645*2^1431847-1 is not prime. Res64: B15FD7B255E7189D Time : 0.0 sec. user=mdettweiler [2016-06-09 05:03:27] 663*2^1431847-1 is not prime. Res64: 1116C02617370DD7 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:03:29] 831*2^1431847-1 is not prime. Res64: 23F1C4B492F9E23D Time : 0.0 sec. user=mdettweiler [2016-06-09 05:03:30] 883*2^1431847-1 is not prime. Res64: 497294AB1400392B Time : 0.0 sec. user=mdettweiler [2016-06-09 05:03:30] 885*2^1431847-1 is not prime. Res64: 75BE3D711197DAAA Time : 0.0 sec. user=mdettweiler [2016-06-09 05:03:31] 993*2^1431847-1 is not prime. Res64: 1BC7BE5E1E2E431C Time : 0.0 sec. user=mdettweiler [2016-06-09 05:25:08] 665*2^1431848-1 is not prime. Res64: 2867E0E6862B753C Time : 0.0 sec. user=mdettweiler [2016-06-09 05:25:08] 687*2^1431848-1 is not prime. Res64: C254961BB6C7785D Time : 0.0 sec. user=mdettweiler [2016-06-09 05:25:08] 699*2^1431848-1 is not prime. Res64: 75440C5C25902AE3 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:25:09] 725*2^1431848-1 is not prime. Res64: 5EC9FEDFF81C9F33 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:25:09] 825*2^1431848-1 is not prime. Res64: B7C030CF94F499F7 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:27:29] 787*2^1431849-1 is not prime. Res64: CEA0B3AA7B40561F Time : 0.0 sec. user=mdettweiler [2016-06-09 05:27:30] 811*2^1431849-1 is not prime. Res64: D145ED7FE5B54566 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:27:30] 835*2^1431849-1 is not prime. Res64: 02555D49B3C61E64 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:27:30] 877*2^1431849-1 is not prime. Res64: EDEEC0B85EF1FAEF Time : 0.0 sec. user=mdettweiler [2016-06-09 05:27:31] 889*2^1431849-1 is not prime. Res64: A06CBE64E547F77D Time : 0.0 sec. user=mdettweiler [2016-06-09 05:30:04] 839*2^1431848-1 is not prime. Res64: E049D3C855AFF18B Time : 0.0 sec. user=mdettweiler [2016-06-09 05:30:04] 915*2^1431848-1 is not prime. Res64: 6432A1E80F6211E7 Time : 0.0 sec. user=mdettweiler [2016-06-09 05:30:04] 999*2^1431848-1 is not prime. Res64: 3B51E46939FAE3CC Time : 0.0 sec. user=mdettweiler [2016-06-09 05:30:05] 741*2^1431849-1 is not prime. Res64: AEFAB6C9B5AB5B7D Time : 0.0 sec. user=mdettweiler [2016-06-09 05:30:05] 765*2^1431849-1 is not prime. Res64: E5E9392F1A36552D Time : 0.0 sec. user=mdettweiler [2016-06-09 06:07:21] 895*2^1431849-1 is not prime. Res64: DD9B1129E6AF15A5 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:07:21] 651*2^1431850-1 is not prime. Res64: 003A0C9331177DC5 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:07:22] 731*2^1431850-1 is not prime. Res64: 2E4020B21F5559EB Time : 0.0 sec. user=mdettweiler [2016-06-09 06:07:22] 735*2^1431850-1 is not prime. Res64: A444480B2CC2B218 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:07:22] 777*2^1431850-1 is not prime. Res64: 3329ABA100DC15D3 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:26:40] 783*2^1431850-1 is not prime. Res64: A4A031D69E2CF0EA Time : 0.0 sec. user=mdettweiler [2016-06-09 06:26:40] 905*2^1431850-1 is not prime. Res64: DA3FBDD8AA22BD4F Time : 0.0 sec. user=mdettweiler [2016-06-09 06:26:41] 923*2^1431850-1 is not prime. Res64: 428B544A73486ED6 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:26:41] 951*2^1431850-1 is not prime. Res64: 313CA6418B75492F Time : 0.0 sec. user=mdettweiler [2016-06-09 06:26:41] 609*2^1431851-1 is not prime. Res64: 5F98BDCF2DD2FF75 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:28:08] 669*2^1431851-1 is not prime. Res64: 39B74A01272004DD Time : 0.0 sec. user=mdettweiler [2016-06-09 06:28:08] 679*2^1431851-1 is not prime. Res64: 85667EA7AA548478 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:28:08] 705*2^1431851-1 is not prime. Res64: AF28B3FBEBF2BEFB Time : 0.0 sec. user=mdettweiler [2016-06-09 06:28:08] 931*2^1431851-1 is not prime. Res64: 8C1041FFD9E55291 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:28:09] 999*2^1431851-1 is not prime. Res64: 880DCC2DD8C1D90C Time : 0.0 sec. user=mdettweiler [2016-06-09 06:31:11] 767*2^1431852-1 is not prime. Res64: 8349F5FAFF8C949D Time : 0.0 sec. user=mdettweiler [2016-06-09 06:31:12] 867*2^1431852-1 is not prime. Res64: 53FE41020837F315 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:31:12] 899*2^1431852-1 is not prime. Res64: B86EDD9280C42323 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:31:12] 947*2^1431852-1 is not prime. Res64: FAE431548C960144 Time : 0.0 sec. user=mdettweiler [2016-06-09 06:31:12] 681*2^1431853-1 is not prime. Res64: 00DD6806B7A8FE96 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:03:23] 831*2^1431853-1 is not prime. Res64: D37B50260952AA60 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:03:24] 897*2^1431853-1 is not prime. Res64: C0579ACB4CF15335 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:03:25] 945*2^1431853-1 is not prime. Res64: 1C6E0C05189002EB Time : 0.0 sec. user=mdettweiler [2016-06-09 07:03:25] 615*2^1431854-1 is not prime. Res64: 4DC14DDAF494C639 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:03:26] 641*2^1431854-1 is not prime. Res64: A501286B8E0B3E51 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:27:15] 693*2^1431854-1 is not prime. Res64: 486B13EE9101BD25 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:27:16] 743*2^1431854-1 is not prime. Res64: 5D7CDC3DE2B95111 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:27:16] 767*2^1431854-1 is not prime. Res64: 458D4734CEE815EF Time : 0.0 sec. user=mdettweiler [2016-06-09 07:27:16] 795*2^1431854-1 is not prime. Res64: 657976373FA85A8E Time : 0.0 sec. user=mdettweiler [2016-06-09 07:27:17] 857*2^1431854-1 is not prime. Res64: E30048CDF6C3CF3C Time : 0.0 sec. user=mdettweiler [2016-06-09 07:31:22] 685*2^1431855-1 is not prime. Res64: F74D28462EA70669 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:31:22] 741*2^1431855-1 is not prime. Res64: FE95AFD71F0E53D6 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:31:22] 895*2^1431855-1 is not prime. Res64: 315747015FFB2C83 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:31:23] 909*2^1431855-1 is not prime. Res64: FEA5A0DDC6014B76 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:31:23] 979*2^1431855-1 is not prime. Res64: CA1EEF776A01B47D Time : 0.0 sec. user=mdettweiler [2016-06-09 07:32:24] 917*2^1431854-1 is not prime. Res64: 901EC2A481FE1AAA Time : 0.0 sec. user=mdettweiler [2016-06-09 07:32:25] 935*2^1431854-1 is not prime. Res64: 6BDD208EC5B0DD59 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:32:25] 941*2^1431854-1 is not prime. Res64: EE78C02B03C396F2 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:32:25] 609*2^1431855-1 is not prime. Res64: 5B9A9B649737F3E6 Time : 0.0 sec. user=mdettweiler [2016-06-09 07:32:25] 679*2^1431855-1 is not prime. Res64: D155CA90A28AFB55 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:06:15] 615*2^1431856-1 is not prime. Res64: 45E6EAE491366225 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:06:17] 777*2^1431856-1 is not prime. Res64: 4BB3AD10F613E13F Time : 0.0 sec. user=mdettweiler [2016-06-09 08:06:18] 779*2^1431856-1 is not prime. Res64: 94F3A1F3276D2924 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:06:19] 825*2^1431856-1 is not prime. Res64: 64D2079E7BD844A8 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:06:20] 843*2^1431856-1 is not prime. Res64: 50630021BD3311EA Time : 0.0 sec. user=mdettweiler [2016-06-09 08:21:40] 873*2^1431856-1 is not prime. Res64: C21BC6E3E9336999 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:21:41] 939*2^1431856-1 is not prime. Res64: 935CA49DC1BCC739 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:21:41] 975*2^1431856-1 is not prime. Res64: 552584980763520D Time : 0.0 sec. user=mdettweiler [2016-06-09 08:21:41] 983*2^1431856-1 is not prime. Res64: 8B718A1E9B555EB8 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:21:42] 631*2^1431857-1 is not prime. Res64: 43BD2A4B3FB49F68 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:22:56] 847*2^1431857-1 is not prime. Res64: B1A2E0145129D912 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:22:56] 957*2^1431857-1 is not prime. Res64: 851A2234379C4777 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:22:57] 981*2^1431857-1 is not prime. Res64: 18DBF0B2C1783AD9 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:22:57] 997*2^1431857-1 is not prime. Res64: 7404D5B756C4326D Time : 0.0 sec. user=mdettweiler [2016-06-09 08:22:57] 641*2^1431858-1 is not prime. Res64: F8A1049F01C3792F Time : 0.0 sec. user=mdettweiler [2016-06-09 08:24:31] 675*2^1431857-1 is not prime. Res64: 663FB3C0701A9E1C Time : 0.0 sec. user=mdettweiler [2016-06-09 08:24:31] 697*2^1431857-1 is not prime. Res64: D4B6DB76788F897F Time : 0.0 sec. user=mdettweiler [2016-06-09 08:24:31] 727*2^1431857-1 is not prime. Res64: B3D860241A5FA15E Time : 0.0 sec. user=mdettweiler [2016-06-09 08:24:31] 799*2^1431857-1 is not prime. Res64: F11A1550EA0C1A42 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:24:32] 801*2^1431857-1 is not prime. Res64: B42740D37992F507 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:52:38] 663*2^1431858-1 is not prime. Res64: 68DC7DA0788C36D4 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:52:38] 665*2^1431858-1 is not prime. Res64: A35ED587BF3BACDE Time : 0.0 sec. user=mdettweiler [2016-06-09 08:52:38] 671*2^1431858-1 is not prime. Res64: F14F0A99B600871E Time : 0.0 sec. user=mdettweiler [2016-06-09 08:52:39] 695*2^1431858-1 is not prime. Res64: 541779ED1C9796B6 Time : 0.0 sec. user=mdettweiler [2016-06-09 08:52:39] 797*2^1431858-1 is not prime. Res64: EF2C563270F5B110 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:08:14] 801*2^1431858-1 is not prime. Res64: 7F5D3C006B6EC21A Time : 0.0 sec. user=mdettweiler [2016-06-09 09:08:15] 815*2^1431858-1 is not prime. Res64: 44017A57AAD17C7C Time : 0.0 sec. user=mdettweiler [2016-06-09 09:08:15] 893*2^1431858-1 is not prime. Res64: AD29EA723C1E97BF Time : 0.0 sec. user=mdettweiler [2016-06-09 09:08:15] 921*2^1431858-1 is not prime. Res64: 743A617F9A7F4D75 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:08:16] 933*2^1431858-1 is not prime. Res64: 9BB0E248748A70D0 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:09:24] 977*2^1431858-1 is not prime. Res64: 9891F85274BB2FA6 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:09:25] 609*2^1431859-1 is not prime. Res64: E068F4A830F5433A Time : 0.0 sec. user=mdettweiler [2016-06-09 09:09:26] 679*2^1431859-1 is not prime. Res64: 1ED63828949EBAF6 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:09:27] 759*2^1431859-1 is not prime. Res64: D63A0189138FA04C Time : 0.0 sec. user=mdettweiler [2016-06-09 09:09:28] 771*2^1431859-1 is not prime. Res64: 27683F42A5564A8D Time : 0.0 sec. user=mdettweiler [2016-06-09 09:10:59] 861*2^1431859-1 is not prime. Res64: 98DD5D7892A63FB1 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:11:00] 895*2^1431859-1 is not prime. Res64: FFBF7FF4A3A884DF Time : 0.0 sec. user=mdettweiler [2016-06-09 09:11:01] 665*2^1431860-1 is not prime. Res64: 26696CF20A1C787D Time : 0.0 sec. user=mdettweiler [2016-06-09 09:11:02] 669*2^1431860-1 is not prime. Res64: 1E7045DE5C824639 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:11:02] 729*2^1431860-1 is not prime. Res64: B36C61C779F7B5B5 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:38:58] 843*2^1431860-1 is not prime. Res64: 1EDBF8650DD6B988 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:38:58] 879*2^1431860-1 is not prime. Res64: C4763C87BEA38622 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:38:58] 899*2^1431860-1 is not prime. Res64: CB1D45C42FB1EFD6 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:38:59] 929*2^1431860-1 is not prime. Res64: 781D05545F0FBB8B Time : 0.0 sec. user=mdettweiler [2016-06-09 09:38:59] 649*2^1431861-1 is not prime. Res64: 5A1D6D457EC9C251 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:54:55] 805*2^1431861-1 is not prime. Res64: C208ADA3D1C725ED Time : 0.0 sec. user=mdettweiler [2016-06-09 09:54:55] 835*2^1431861-1 is not prime. Res64: DC302D09165250D5 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:54:55] 987*2^1431861-1 is not prime. Res64: 88CE5341FF4286C0 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:54:56] 621*2^1431862-1 is not prime. Res64: 506AC77135D564AD Time : 0.0 sec. user=mdettweiler [2016-06-09 09:54:56] 825*2^1431862-1 is not prime. Res64: 2B13BFD8771AB58E Time : 0.0 sec. user=mdettweiler [2016-06-09 09:56:07] 619*2^1431863-1 is not prime. Res64: 0CA461057FA35368 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:56:07] 649*2^1431863-1 is not prime. Res64: EABC204E627E37B5 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:56:08] 679*2^1431863-1 is not prime. Res64: 61D341761F50DF43 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:56:08] 685*2^1431863-1 is not prime. Res64: B52C289098515A75 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:56:08] 729*2^1431863-1 is not prime. Res64: BD8F9AA5C697DC30 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:57:31] 985*2^1431863-1 is not prime. Res64: 615798B509360EED Time : 0.0 sec. user=mdettweiler [2016-06-09 09:57:31] 765*2^1431864-1 is not prime. Res64: 1D1C9F7364EA507A Time : 0.0 sec. user=mdettweiler [2016-06-09 09:57:31] 863*2^1431864-1 is not prime. Res64: E5A97A5A73B23D20 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:57:32] 893*2^1431864-1 is not prime. Res64: 1CB84B67C2699369 Time : 0.0 sec. user=mdettweiler [2016-06-09 09:57:32] 909*2^1431864-1 is not prime. Res64: C7DEBDC461B8A839 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:25:48] 927*2^1431864-1 is not prime. Res64: 527A50A5957480AC Time : 0.0 sec. user=mdettweiler [2016-06-09 10:25:48] 959*2^1431864-1 is not prime. Res64: F77BF2815F9EC5FF Time : 0.0 sec. user=mdettweiler [2016-06-09 10:25:49] 601*2^1431865-1 is not prime. Res64: 00EF849C8F98D103 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:25:50] 661*2^1431865-1 is not prime. Res64: 3231FD0A5A6C761A Time : 0.0 sec. user=mdettweiler [2016-06-09 10:25:51] 705*2^1431865-1 is not prime. Res64: 13DF93FEDBBA8E4F Time : 0.0 sec. user=mdettweiler [2016-06-09 10:41:33] 717*2^1431865-1 is not prime. Res64: 815D0EEFFFB6EAFC Time : 0.0 sec. user=mdettweiler [2016-06-09 10:41:33] 849*2^1431865-1 is not prime. Res64: 4104B80C72E22886 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:41:34] 861*2^1431865-1 is not prime. Res64: 2416F14EDD9315A2 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:41:34] 897*2^1431865-1 is not prime. Res64: 8B59C0B95E78AF30 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:41:34] 937*2^1431865-1 is not prime. Res64: 4490DCFA353CD5ED Time : 0.0 sec. user=mdettweiler [2016-06-09 10:42:24] 955*2^1431865-1 is not prime. Res64: B9BB9F478D90C5F6 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:42:24] 999*2^1431865-1 is not prime. Res64: 29DC38D239E48207 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:42:24] 783*2^1431866-1 is not prime. Res64: A63DE98184A55246 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:42:24] 825*2^1431866-1 is not prime. Res64: 51B3E705FC1AD221 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:42:25] 935*2^1431866-1 is not prime. Res64: 17EC160A07A01398 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:43:35] 685*2^1431867-1 is not prime. Res64: 8A15F2D094D75BD3 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:43:35] 699*2^1431867-1 is not prime. Res64: BE3EE7E76054C82F Time : 0.0 sec. user=mdettweiler [2016-06-09 10:43:35] 709*2^1431867-1 is not prime. Res64: 723E571D161DF10C Time : 0.0 sec. user=mdettweiler [2016-06-09 10:43:36] 775*2^1431867-1 is not prime. Res64: AD7516C024A60068 Time : 0.0 sec. user=mdettweiler [2016-06-09 10:43:36] 795*2^1431867-1 is not prime. Res64: 87414AE6DFAF8263 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:12:15] 805*2^1431867-1 is not prime. Res64: 55E35A79D4A6E423 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:12:16] 825*2^1431867-1 is not prime. Res64: BA23ABBE703B3BFC Time : 0.0 sec. user=mdettweiler [2016-06-09 11:12:16] 835*2^1431867-1 is not prime. Res64: 92417CE3E7AD0BBB Time : 0.0 sec. user=mdettweiler [2016-06-09 11:12:17] 871*2^1431867-1 is not prime. Res64: BB373108F2426225 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:12:17] 931*2^1431867-1 is not prime. Res64: 6E1FAC39D217E62C Time : 0.0 sec. user=mdettweiler [2016-06-09 11:27:47] 979*2^1431867-1 is not prime. Res64: A22FA3972DED6E17 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:27:47] 985*2^1431867-1 is not prime. Res64: 2C4BDB4CE909B3A9 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:27:48] 677*2^1431868-1 is not prime. Res64: 77BFF29B81239723 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:27:48] 695*2^1431868-1 is not prime. Res64: 560FCBC65770CEDE Time : 0.0 sec. user=mdettweiler [2016-06-09 11:27:48] 735*2^1431868-1 is not prime. Res64: 636CD24974263263 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:29:08] 813*2^1431868-1 is not prime. Res64: CEE5A382F0685641 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:29:08] 825*2^1431868-1 is not prime. Res64: 4D156AD89BB1A0EA Time : 0.0 sec. user=mdettweiler [2016-06-09 11:29:09] 833*2^1431868-1 is not prime. Res64: 69A65B1850EAF5F0 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:29:09] 887*2^1431868-1 is not prime. Res64: 7AC9985F757F8ABE Time : 0.0 sec. user=mdettweiler [2016-06-09 11:29:09] 915*2^1431868-1 is not prime. Res64: 5723EAEDFB89A7A7 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:30:03] 957*2^1431868-1 is not prime. Res64: EA0B7DE06B326CFE Time : 0.0 sec. user=mdettweiler [2016-06-09 11:30:03] 745*2^1431869-1 is not prime. Res64: 981EC5FE1C89C324 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:30:03] 789*2^1431869-1 is not prime. Res64: 7737DDFE899BBEEA Time : 0.0 sec. user=mdettweiler [2016-06-09 11:30:04] 811*2^1431869-1 is not prime. Res64: 0627F3C63D8A3DC2 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:30:04] 879*2^1431869-1 is not prime. Res64: 135C68F50AFF33C8 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:59:22] 611*2^1431870-1 is not prime. Res64: B03D3F55E5957061 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:59:22] 647*2^1431870-1 is not prime. Res64: 6CA8959837CBC290 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:59:22] 707*2^1431870-1 is not prime. Res64: 3CC2109DA59F31D8 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:59:22] 801*2^1431870-1 is not prime. Res64: 85CE8CF0C61EA8E9 Time : 0.0 sec. user=mdettweiler [2016-06-09 11:59:22] 951*2^1431870-1 is not prime. Res64: E2BF7BE1DAFDC4D2 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:14:28] 703*2^1431871-1 is not prime. Res64: 677EB992B67F22BC Time : 0.0 sec. user=mdettweiler [2016-06-09 12:14:28] 709*2^1431871-1 is not prime. Res64: 6D609CD8889276DB Time : 0.0 sec. user=mdettweiler [2016-06-09 12:14:29] 735*2^1431871-1 is not prime. Res64: 7C4B5BCB35868BF6 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:14:29] 769*2^1431871-1 is not prime. Res64: 7D73C0B0733A925D Time : 0.0 sec. user=mdettweiler [2016-06-09 12:14:29] 811*2^1431871-1 is not prime. Res64: 49A94D6DE801C6FE Time : 0.0 sec. user=mdettweiler [2016-06-09 12:15:50] 841*2^1431871-1 is not prime. Res64: E25B694CB22E660D Time : 0.0 sec. user=mdettweiler [2016-06-09 12:15:51] 885*2^1431871-1 is not prime. Res64: 783824FC004382B9 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:15:51] 617*2^1431872-1 is not prime. Res64: 3163FAAF46AA9295 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:15:51] 645*2^1431872-1 is not prime. Res64: 050ACC7B419F0277 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:15:51] 665*2^1431872-1 is not prime. Res64: 8494CB774F544410 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:16:41] 725*2^1431872-1 is not prime. Res64: 1B402E61B01992D2 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:16:42] 909*2^1431872-1 is not prime. Res64: 0802068AEA20A9E9 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:16:42] 945*2^1431872-1 is not prime. Res64: 228051B7383CE9E2 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:16:42] 963*2^1431872-1 is not prime. Res64: F56AB5586420B1B7 Time : 0.0 sec. user=mdettweiler [2016-06-09 12:16:42] 669*2^1431873-1 is not prime. Res64: 70DF9893DEC97E58 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:01:24] 891*2^1431873-1 is not prime. Res64: 28C7886789EA7032 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:01:25] 919*2^1431873-1 is not prime. Res64: 0BDACCB16246423D Time : 0.0 sec. user=mdettweiler [2016-06-09 13:01:26] 773*2^1431874-1 is not prime. Res64: 0DA2855FA736A0C7 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:01:26] 917*2^1431874-1 is not prime. Res64: 914E7D8D73468BE9 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:01:27] 633*2^1431875-1 is not prime. Res64: 4E8FAA32CE4748C1 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:02:51] 693*2^1431875-1 is not prime. Res64: 14CBE53A54751627 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:02:52] 801*2^1431875-1 is not prime. Res64: 20ECBD62FE573C24 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:02:52] 855*2^1431875-1 is not prime. Res64: 49CCDE35C953AB43 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:02:53] 895*2^1431875-1 is not prime. Res64: C9C0D06C32128AC4 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:02:53] 913*2^1431875-1 is not prime. Res64: C2E4A4AE5978E358 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:03:32] 963*2^1431875-1 is not prime. Res64: 3AD0105F019A62D8 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:03:33] 981*2^1431875-1 is not prime. Res64: 229E8F522FEC78ED Time : 0.0 sec. user=mdettweiler [2016-06-09 13:03:34] 985*2^1431875-1 is not prime. Res64: D8F8BFD23B28DFF5 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:03:35] 675*2^1431876-1 is not prime. Res64: CC101A1661EAC997 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:03:36] 705*2^1431876-1 is not prime. Res64: 541F76C5193ACEB7 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:49:14] 707*2^1431876-1 is not prime. Res64: C4004047E4724DC0 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:49:14] 717*2^1431876-1 is not prime. Res64: 84F912ED04AC8781 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:49:14] 719*2^1431876-1 is not prime. Res64: 67B8AF48F0CD554F Time : 0.0 sec. user=mdettweiler [2016-06-09 13:49:14] 773*2^1431876-1 is not prime. Res64: C03D91FE40EC170F Time : 0.0 sec. user=mdettweiler [2016-06-09 13:49:15] 789*2^1431876-1 is not prime. Res64: DA68DFAE97F3265D Time : 0.0 sec. user=mdettweiler [2016-06-09 13:50:23] 905*2^1431876-1 is not prime. Res64: 234D1B0098EBAC04 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:50:23] 933*2^1431876-1 is not prime. Res64: 6344FB96AE8E6A8A Time : 0.0 sec. user=mdettweiler [2016-06-09 13:50:23] 615*2^1431877-1 is not prime. Res64: AFDD27CEC9B8C5B5 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:50:24] 765*2^1431877-1 is not prime. Res64: 941FF73A42F5BF54 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:50:24] 771*2^1431877-1 is not prime. Res64: A78963C8EC064D05 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:51:30] 831*2^1431877-1 is not prime. Res64: 752EB9FA1122C185 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:51:31] 859*2^1431877-1 is not prime. Res64: 5BC12E7A5A0F3F29 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:51:31] 871*2^1431877-1 is not prime. Res64: AF354457C1B35702 Time : 0.0 sec. user=mdettweiler [2016-06-09 13:51:31] 889*2^1431877-1 is not prime. Res64: 527ED316EA3BDB6F Time : 0.0 sec. user=mdettweiler [2016-06-09 13:51:31] 927*2^1431877-1 is not prime. Res64: 6CC49659643313A7 Time : 0.0 sec. user=mdettweiler [2016-06-09 14:37:07] 985*2^1431877-1 is not prime. Res64: E43D94B8671C819B Time : 0.0 sec. user=mdettweiler [2016-06-09 14:37:07] 999*2^1431877-1 is not prime. Res64: 2E000EEA44C59474 Time : 0.0 sec. user=mdettweiler [2016-06-09 14:37:07] 617*2^1431878-1 is not prime. Res64: 137A74DC6332958C Time : 0.0 sec. user=mdettweiler [2016-06-09 14:37:08] 773*2^1431878-1 is not prime. Res64: 7D2D073E564E740A Time : 0.0 sec. user=mdettweiler [2016-06-09 14:37:08] 857*2^1431878-1 is not prime. Res64: 112BA9C12CF335E7 Time : 0.0 sec. user=mdettweiler [2016-06-09 14:38:13] 887*2^1431878-1 is not prime. Res64: 1B6E9B6AD94D6599 Time : 0.0 sec. user=mdettweiler [2016-06-09 14:38:13] 935*2^1431878-1 is not prime. Res64: 171F8E54E14403A9 Time : 0.0 sec. user=mdettweiler [2016-06-09 14:38:13] 963*2^1431878-1 is not prime. Res64: AED6C78AA0A28DCA Time : 0.0 sec. user=mdettweiler [2016-06-09 14:38:14] 619*2^1431879-1 is not prime. Res64: 6B28489B3E856F4E Time : 0.0 sec. user=mdettweiler [2016-06-09 14:38:14] 663*2^1431879-1 is not prime. Res64: E71956EE898E5D7D Time : 0.0 sec. user=mdettweiler [2016-06-09 14:39:06] 693*2^1431879-1 is not prime. Res64: 052D13021ACE946E Time : 0.0 sec. user=mdettweiler [2016-06-09 14:39:06] 795*2^1431879-1 is not prime. Res64: 2BE134920A1FD938 Time : 0.0 sec. user=mdettweiler [2016-06-09 14:39:06] 829*2^1431879-1 is not prime. Res64: F104C2FCC025BBBD Time : 0.0 sec. user=mdettweiler [2016-06-09 14:39:06] 831*2^1431879-1 is not prime. Res64: 3C7771D909E9738F Time : 0.0 sec. user=mdettweiler [2016-06-09 14:39:07] 873*2^1431879-1 is not prime. Res64: AD0FB3BE7DD83351 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:24:59] 635*2^1431880-1 is not prime. Res64: 8F5BA9F8592F7DDC Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:00] 665*2^1431880-1 is not prime. Res64: 0BBAC47D3F3BDB69 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:00] 689*2^1431880-1 is not prime. Res64: FAA0AE6E9D3CBEC6 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:00] 755*2^1431880-1 is not prime. Res64: 1E289FA5DA4A5791 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:01] 839*2^1431880-1 is not prime. Res64: 3B7E5BE8F50EADDC Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:49] 939*2^1431880-1 is not prime. Res64: 3F1068E34A99F88C Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:49] 615*2^1431881-1 is not prime. Res64: 4C0562C21B3236D3 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:49] 777*2^1431881-1 is not prime. Res64: 242A1C3669FFAF88 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:50] 861*2^1431881-1 is not prime. Res64: 1BFAA7250096CC40 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:25:50] 865*2^1431881-1 is not prime. Res64: FAD6167EF82922BD Time : 0.0 sec. user=mdettweiler [2016-06-09 15:26:45] 909*2^1431881-1 is not prime. Res64: 8A41C95F08B55BC6 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:26:45] 925*2^1431881-1 is not prime. Res64: 7058096CE5FDB1C6 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:26:46] 657*2^1431882-1 is not prime. Res64: FBF5B337FFA0D086 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:26:46] 683*2^1431882-1 is not prime. Res64: D973B50B31E46EC8 Time : 0.0 sec. user=mdettweiler [2016-06-09 15:26:46] 791*2^1431882-1 is not prime. Res64: 65074F498CD0950B Time : 0.0 sec. user=mdettweiler [2016-06-09 16:12:37] 893*2^1431882-1 is not prime. Res64: 5AE63CAA27846C80 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:12:37] 983*2^1431882-1 is not prime. Res64: 915682C01319DAB3 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:12:38] 805*2^1431883-1 is not prime. Res64: 2304A98F23E07922 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:12:38] 819*2^1431883-1 is not prime. Res64: 6F87684558B1B340 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:12:38] 891*2^1431883-1 is not prime. Res64: E2B304DE57BD3611 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:13:55] 945*2^1431883-1 is not prime. Res64: 517A58BDA81104CC Time : 0.0 sec. user=mdettweiler [2016-06-09 16:13:56] 699*2^1431884-1 is not prime. Res64: CA58CF8D02507CB1 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:13:56] 719*2^1431884-1 is not prime. Res64: 468FDFC6059A1D1A Time : 0.0 sec. user=mdettweiler [2016-06-09 16:13:56] 725*2^1431884-1 is not prime. Res64: 56B85509DE444C2B Time : 0.0 sec. user=mdettweiler [2016-06-09 16:13:56] 759*2^1431884-1 is not prime. Res64: 5DF57FFA97AB9100 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:14:18] 813*2^1431884-1 is not prime. Res64: 23C6B83946B00354 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:14:18] 837*2^1431884-1 is not prime. Res64: FA4AF736D93DD4D4 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:14:18] 855*2^1431884-1 is not prime. Res64: E1D3B06F9194D0F3 Time : 0.0 sec. user=mdettweiler [2016-06-09 16:14:19] 893*2^1431884-1 is not prime. Res64: D40739E57C9D184B Time : 0.0 sec. user=mdettweiler [2016-06-09 16:14:19] 627*2^1431885-1 is not prime. Res64: 1E93F4D5C160A345 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:00:30] 819*2^1431885-1 is not prime. Res64: 37DE8A551AACEEE6 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:00:31] 849*2^1431885-1 is not prime. Res64: 94B45DC36DAA02AF Time : 0.0 sec. user=mdettweiler [2016-06-09 17:00:32] 991*2^1431885-1 is not prime. Res64: 6207F564EAB5772E Time : 0.0 sec. user=mdettweiler [2016-06-09 17:00:32] 611*2^1431886-1 is not prime. Res64: B8F15F51C94845FB Time : 0.0 sec. user=mdettweiler [2016-06-09 17:00:33] 645*2^1431886-1 is not prime. Res64: EFD5CD1D194BF46B Time : 0.0 sec. user=mdettweiler [2016-06-09 17:01:47] 657*2^1431886-1 is not prime. Res64: 2CE6E5F0CDE6F0B3 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:01:47] 713*2^1431886-1 is not prime. Res64: 0FD82DF3DC9D4A58 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:01:48] 737*2^1431886-1 is not prime. Res64: C925A00614B71416 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:01:48] 761*2^1431886-1 is not prime. Res64: 9934B3B5F9FD6332 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:01:49] 783*2^1431886-1 is not prime. Res64: 6D75657F7A1D41AD Time : 0.0 sec. user=mdettweiler [2016-06-09 17:02:26] 867*2^1431886-1 is not prime. Res64: 0B8CA4CE02C7237D Time : 0.0 sec. user=mdettweiler [2016-06-09 17:02:26] 887*2^1431886-1 is not prime. Res64: C35BDC4FBEEC0ED0 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:02:27] 891*2^1431886-1 is not prime. Res64: 56D910A9F56D3FF7 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:02:27] 923*2^1431886-1 is not prime. Res64: 563C1102AA34F170 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:02:28] 993*2^1431886-1 is not prime. Res64: CCBD9F2852DD80C2 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:07:25] 705*2^1431873-1 is not prime. Res64: 81BCC04A61672F73 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:07:26] 765*2^1431873-1 is not prime. Res64: D883660C7F3D86CE Time : 0.0 sec. user=mdettweiler [2016-06-09 17:07:26] 819*2^1431873-1 is not prime. Res64: E56E47D38F7D9BC7 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:07:27] 837*2^1431873-1 is not prime. Res64: 721EB1F98D76EA04 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:07:27] 889*2^1431873-1 is not prime. Res64: DD187ED752EDED46 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:47:15] 643*2^1431887-1 is not prime. Res64: 624C0B3FC8110D9A Time : 0.0 sec. user=mdettweiler [2016-06-09 17:47:15] 759*2^1431887-1 is not prime. Res64: 25B65FDC79279991 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:47:15] 813*2^1431887-1 is not prime. Res64: 4294CF1EFCCC2FE0 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:47:16] 735*2^1431888-1 is not prime. Res64: 973D565957E63766 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:47:16] 795*2^1431888-1 is not prime. Res64: 85D7A4C1A1B0BFB0 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:48:21] 887*2^1431888-1 is not prime. Res64: 3AAC2027ABFEB54A Time : 0.0 sec. user=mdettweiler [2016-06-09 17:48:22] 927*2^1431888-1 is not prime. Res64: 562FAE5F7AA68E1F Time : 0.0 sec. user=mdettweiler [2016-06-09 17:48:22] 977*2^1431888-1 is not prime. Res64: 3745764E387E84F2 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:48:22] 993*2^1431888-1 is not prime. Res64: 459461142ED24D4B Time : 0.0 sec. user=mdettweiler [2016-06-09 17:48:22] 615*2^1431889-1 is not prime. Res64: 1FEE5B7E34BA3B0D Time : 0.0 sec. user=mdettweiler [2016-06-09 17:49:36] 639*2^1431889-1 is not prime. Res64: 895388546A6988DB Time : 0.0 sec. user=mdettweiler [2016-06-09 17:49:37] 649*2^1431889-1 is not prime. Res64: 35FE0159C7DFBD95 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:49:37] 747*2^1431889-1 is not prime. Res64: A74F90EE66C46E6F Time : 0.0 sec. user=mdettweiler [2016-06-09 17:49:37] 811*2^1431889-1 is not prime. Res64: 9752055EF9356DAD Time : 0.0 sec. user=mdettweiler [2016-06-09 17:49:37] 939*2^1431889-1 is not prime. Res64: 15484B32DBB63281 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:54:10] 945*2^1431889-1 is not prime. Res64: 5DF37632BA9C7A39 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:54:10] 955*2^1431889-1 is not prime. Res64: D65521893D562A3F Time : 0.0 sec. user=mdettweiler [2016-06-09 17:54:11] 985*2^1431889-1 is not prime. Res64: E7C0F67E9D8612FE Time : 0.0 sec. user=mdettweiler [2016-06-09 17:54:11] 999*2^1431889-1 is not prime. Res64: D27685495C8F3E70 Time : 0.0 sec. user=mdettweiler [2016-06-09 17:54:11] 603*2^1431890-1 is not prime. Res64: 12C1CEF0843C53DE Time : 0.0 sec. user=mdettweiler [2016-06-09 18:33:25] 615*2^1431890-1 is not prime. Res64: DE01F02925BDDD36 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:33:25] 917*2^1431890-1 is not prime. Res64: 650E51A533E7646B Time : 0.0 sec. user=mdettweiler [2016-06-09 18:33:25] 957*2^1431890-1 is not prime. Res64: B0B27E1A64FE8E3F Time : 0.0 sec. user=mdettweiler [2016-06-09 18:33:26] 977*2^1431890-1 is not prime. Res64: DFA76287D282C294 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:33:26] 651*2^1431891-1 is not prime. Res64: CBD8735CE94A96A3 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:34:49] 745*2^1431891-1 is not prime. Res64: 0ECD9BD2F584E709 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:34:49] 769*2^1431891-1 is not prime. Res64: 995F2A3230FAA3DF Time : 0.0 sec. user=mdettweiler [2016-06-09 18:34:49] 789*2^1431891-1 is not prime. Res64: AF603D3BC09CFF0C Time : 0.0 sec. user=mdettweiler [2016-06-09 18:34:49] 829*2^1431891-1 is not prime. Res64: AB906AA3BF19E764 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:34:50] 657*2^1431892-1 is not prime. Res64: CF23BE46BC1571EE Time : 0.0 sec. user=mdettweiler [2016-06-09 18:36:19] 749*2^1431892-1 is not prime. Res64: 6204C31ADAF31453 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:36:19] 855*2^1431892-1 is not prime. Res64: FD48B09586FBAD4E Time : 0.0 sec. user=mdettweiler [2016-06-09 18:36:19] 869*2^1431892-1 is not prime. Res64: 8D0028422ABBC734 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:36:20] 741*2^1431893-1 is not prime. Res64: B1E504479FDA649A Time : 0.0 sec. user=mdettweiler [2016-06-09 18:36:20] 745*2^1431893-1 is not prime. Res64: 69E22F0815D2ACD6 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:40:26] 789*2^1431893-1 is not prime. Res64: DD9682405C2E12E2 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:40:26] 805*2^1431893-1 is not prime. Res64: C2361259259EA3E5 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:40:26] 829*2^1431893-1 is not prime. Res64: E0F5940C89203FF9 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:40:27] 985*2^1431893-1 is not prime. Res64: 3B8B5831A598B8D3 Time : 0.0 sec. user=mdettweiler [2016-06-09 18:40:27] 651*2^1431894-1 is not prime. Res64: 872552A6727171DD Time : 0.0 sec. user=mdettweiler [2016-06-09 19:19:34] 663*2^1431894-1 is not prime. Res64: 65023EB64B586B66 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:19:34] 677*2^1431894-1 is not prime. Res64: C31744E122141FA9 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:19:35] 773*2^1431894-1 is not prime. Res64: 988F48E8DCB7E540 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:19:35] 951*2^1431894-1 is not prime. Res64: A0AEA1825B3578EE Time : 0.0 sec. user=mdettweiler [2016-06-09 19:19:35] 971*2^1431894-1 is not prime. Res64: A3A99262A030B89E Time : 0.0 sec. user=mdettweiler [2016-06-09 19:21:09] 639*2^1431895-1 is not prime. Res64: 2227AE22F469508C Time : 0.0 sec. user=mdettweiler [2016-06-09 19:21:09] 771*2^1431895-1 is not prime. Res64: BCFE0509870F1632 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:21:09] 783*2^1431895-1 is not prime. Res64: 88983385A7A951FA Time : 0.0 sec. user=mdettweiler [2016-06-09 19:21:09] 805*2^1431895-1 is not prime. Res64: 8C6131CFDFCBF40E Time : 0.0 sec. user=mdettweiler [2016-06-09 19:21:10] 909*2^1431895-1 is not prime. Res64: AAEC6EAD18B649E6 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:22:26] 961*2^1431895-1 is not prime. Res64: 558507DD8CBBEDCE Time : 0.0 sec. user=mdettweiler [2016-06-09 19:22:26] 633*2^1431896-1 is not prime. Res64: 9CC800D92C681FBD Time : 0.0 sec. user=mdettweiler [2016-06-09 19:22:27] 755*2^1431896-1 is not prime. Res64: 86F37AF516A591E3 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:22:27] 789*2^1431896-1 is not prime. Res64: A1A9D650E5ADED1A Time : 0.0 sec. user=mdettweiler [2016-06-09 19:22:27] 879*2^1431896-1 is not prime. Res64: 60B9BA358D7336CE Time : 0.0 sec. user=mdettweiler [2016-06-09 19:26:19] 935*2^1431896-1 is not prime. Res64: 764A948CCB6FEADA Time : 0.0 sec. user=mdettweiler [2016-06-09 19:26:19] 649*2^1431897-1 is not prime. Res64: 687068300CCE93B0 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:26:19] 741*2^1431897-1 is not prime. Res64: 3FC3A60FB0F975E3 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:26:19] 975*2^1431897-1 is not prime. Res64: 8924E04A9C0C6053 Time : 0.0 sec. user=mdettweiler [2016-06-09 19:26:20] 617*2^1431898-1 is not prime. Res64: 46C0D01FEA32BA52 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:05:36] 657*2^1431898-1 is not prime. Res64: 3B1B16E86CD8A15A Time : 0.0 sec. user=mdettweiler [2016-06-09 20:05:38] 735*2^1431898-1 is not prime. Res64: 4BE5248E00672044 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:05:39] 867*2^1431898-1 is not prime. Res64: DAF6F829F2E1B149 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:05:40] 945*2^1431898-1 is not prime. Res64: BA469600620429EA Time : 0.0 sec. user=mdettweiler [2016-06-09 20:05:41] 649*2^1431899-1 is not prime. Res64: 757D304145231775 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:07:01] 679*2^1431899-1 is not prime. Res64: AD0986E8EB60B984 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:07:02] 685*2^1431899-1 is not prime. Res64: 31D91799D8309D04 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:07:02] 741*2^1431899-1 is not prime. Res64: 496305DA25441796 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:07:02] 843*2^1431899-1 is not prime. Res64: BE1A3139A7FB012A Time : 0.0 sec. user=mdettweiler [2016-06-09 20:07:03] 931*2^1431899-1 is not prime. Res64: 5AD3EBAF37AF1F30 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:08:43] 627*2^1431900-1 is not prime. Res64: 7F24CEE3C116BD09 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:08:43] 653*2^1431900-1 is not prime. Res64: 16235CD1937513C1 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:08:43] 669*2^1431900-1 is not prime. Res64: 9270FADDCD9AF944 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:08:44] 909*2^1431900-1 is not prime. Res64: 1BB5C3130CFD15A1 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:08:44] 923*2^1431900-1 is not prime. Res64: F4A00741D99A4CD7 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:12:12] 999*2^1431900-1 is not prime. Res64: DF9E711EE56DE9EA Time : 0.0 sec. user=mdettweiler [2016-06-09 20:12:12] 691*2^1431901-1 is not prime. Res64: E36C0E55B62A9877 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:12:13] 715*2^1431901-1 is not prime. Res64: EB58022469EDD95A Time : 0.0 sec. user=mdettweiler [2016-06-09 20:12:13] 811*2^1431901-1 is not prime. Res64: 7FCB52F8F0A3B523 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:12:14] 829*2^1431901-1 is not prime. Res64: 4D58E2F10772CD4E Time : 0.0 sec. user=mdettweiler [2016-06-09 20:52:37] 797*2^1431902-1 is not prime. Res64: D47C6F1A2F9FCC05 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:52:38] 801*2^1431902-1 is not prime. Res64: 6D6160079662A0E8 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:52:38] 813*2^1431902-1 is not prime. Res64: BB8456E953F61E06 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:52:39] 815*2^1431902-1 is not prime. Res64: E88FC9396511F901 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:52:39] 827*2^1431902-1 is not prime. Res64: B7E2126AD078454F Time : 0.0 sec. user=mdettweiler [2016-06-09 20:53:26] 893*2^1431902-1 is not prime. Res64: E036126384918205 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:53:27] 897*2^1431902-1 is not prime. Res64: 31952B1D62D2CF75 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:53:27] 705*2^1431903-1 is not prime. Res64: EFCD90E38456D37E Time : 0.0 sec. user=mdettweiler [2016-06-09 20:53:28] 709*2^1431903-1 is not prime. Res64: E069F7ECBF22905B Time : 0.0 sec. user=mdettweiler [2016-06-09 20:53:28] 723*2^1431903-1 is not prime. Res64: 3C29820AA090A1B5 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:55:06] 741*2^1431903-1 is not prime. Res64: 948A367A30347B6A Time : 0.0 sec. user=mdettweiler [2016-06-09 20:55:06] 805*2^1431903-1 is not prime. Res64: B5B0D8CFB72DB7EA Time : 0.0 sec. user=mdettweiler [2016-06-09 20:55:07] 879*2^1431903-1 is not prime. Res64: B64190F53E502E7F Time : 0.0 sec. user=mdettweiler [2016-06-09 20:55:07] 963*2^1431903-1 is not prime. Res64: 5522073BBA58B557 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:55:08] 985*2^1431903-1 is not prime. Res64: A9C3340DAD949892 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:59:14] 615*2^1431904-1 is not prime. Res64: 2F4C13B9DDBDDCB0 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:59:14] 707*2^1431904-1 is not prime. Res64: 7CD767DFF9C9D0CB Time : 0.0 sec. user=mdettweiler [2016-06-09 20:59:15] 759*2^1431904-1 is not prime. Res64: 99BD869D6725C4E6 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:59:15] 887*2^1431904-1 is not prime. Res64: 67476B9CEDBEE131 Time : 0.0 sec. user=mdettweiler [2016-06-09 20:59:15] 929*2^1431904-1 is not prime. Res64: 68E7D3BC1BED2793 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:05] 983*2^1431904-1 is not prime. Res64: 5F1808F9E678CCC8 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:06] 619*2^1431905-1 is not prime. Res64: ADA08F0ACFC2DEA9 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:06] 711*2^1431905-1 is not prime. Res64: 24603B6E12448C71 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:07] 715*2^1431905-1 is not prime. Res64: F9A3A5C4070319FE Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:07] 771*2^1431905-1 is not prime. Res64: 0E20AD13A88D3462 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:43] 805*2^1431905-1 is not prime. Res64: 628A937BEF10E46A Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:44] 937*2^1431905-1 is not prime. Res64: 0F6A0D4D7AE18A67 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:44] 951*2^1431905-1 is not prime. Res64: 56ED74F7D0D9124A Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:44] 981*2^1431905-1 is not prime. Res64: C97D273E48886A4D Time : 0.0 sec. user=mdettweiler [2016-06-09 21:40:45] 671*2^1431906-1 is not prime. Res64: 9B89833EB5743FFA Time : 0.0 sec. user=mdettweiler [2016-06-09 21:42:23] 711*2^1431906-1 is not prime. Res64: D4AEC1BB117F8C87 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:42:24] 741*2^1431906-1 is not prime. Res64: E8E6E85F3D9ED25A Time : 0.0 sec. user=mdettweiler [2016-06-09 21:42:24] 843*2^1431906-1 is not prime. Res64: 0A61B1A17831C737 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:42:24] 873*2^1431906-1 is not prime. Res64: D7D8E98DE7F98F03 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:42:25] 917*2^1431906-1 is not prime. Res64: 8B53155576B7155B Time : 0.0 sec. user=mdettweiler [2016-06-09 21:46:37] 933*2^1431906-1 is not prime. Res64: BDC94660F366BECF Time : 0.0 sec. user=mdettweiler [2016-06-09 21:46:37] 971*2^1431906-1 is not prime. Res64: BA543599EC2A45EB Time : 0.0 sec. user=mdettweiler [2016-06-09 21:46:38] 765*2^1431907-1 is not prime. Res64: 6035FA769C5D1663 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:46:38] 769*2^1431907-1 is not prime. Res64: 5DB74B2D03F618D0 Time : 0.0 sec. user=mdettweiler [2016-06-09 21:46:38] 805*2^1431907-1 is not prime. Res64: 437CD83E2C2171D3 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:14] 819*2^1431907-1 is not prime. Res64: 36EC6EE3F99DC901 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:15] 849*2^1431907-1 is not prime. Res64: BC321643A9BEF61A Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:15] 975*2^1431907-1 is not prime. Res64: 02F4E81F27C75E1A Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:15] 633*2^1431908-1 is not prime. Res64: 3B9922CDEC98ADBC Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:16] 683*2^1431908-1 is not prime. Res64: 32698CE6BA3A8840 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:53] 897*2^1431908-1 is not prime. Res64: 2718D5620A367103 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:53] 625*2^1431909-1 is not prime. Res64: 19D12B7A8BA96003 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:54] 681*2^1431909-1 is not prime. Res64: EDCCA0B1619E9922 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:54] 765*2^1431909-1 is not prime. Res64: 4F4EF9E15BBB0930 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:25:54] 811*2^1431909-1 is not prime. Res64: 4865D3168050E540 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:31:38] 713*2^1431910-1 is not prime. Res64: 6B7A867432D8A982 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:31:38] 843*2^1431910-1 is not prime. Res64: B44B52616F1C16AB Time : 0.0 sec. user=mdettweiler [2016-06-09 22:31:39] 857*2^1431910-1 is not prime. Res64: F83EF3E6B0677E12 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:31:39] 861*2^1431910-1 is not prime. Res64: 85555ACDB207F491 Time : 0.0 sec. user=mdettweiler [2016-06-09 22:31:39] 601*2^1431911-1 is not prime. Res64: 7D994881E046A55E Time : 0.0 sec. user=mdettweiler [2016-06-09 23:10:56] 609*2^1431911-1 is not prime. Res64: BED5A4CC11C5C89B Time : 0.0 sec. user=mdettweiler [2016-06-09 23:10:57] 663*2^1431911-1 is not prime. Res64: 2B642ECAF756A660 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:10:57] 789*2^1431911-1 is not prime. Res64: B29A99BDFE6F88DC Time : 0.0 sec. user=mdettweiler [2016-06-09 23:10:58] 841*2^1431911-1 is not prime. Res64: 0E87CFBA5C9CAB08 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:10:58] 865*2^1431911-1 is not prime. Res64: F7C54024CEDB4EDC Time : 0.0 sec. user=mdettweiler [2016-06-09 23:11:38] 921*2^1431911-1 is not prime. Res64: B8BFA90A4E790212 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:11:38] 969*2^1431911-1 is not prime. Res64: EE0BBC9976237DAB Time : 0.0 sec. user=mdettweiler [2016-06-09 23:11:38] 675*2^1431912-1 is not prime. Res64: 939BF8BD8CDBA6D5 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:11:39] 725*2^1431912-1 is not prime. Res64: 672BB17A1029B07E Time : 0.0 sec. user=mdettweiler [2016-06-09 23:11:39] 765*2^1431912-1 is not prime. Res64: 3D53F5507D084B1B Time : 0.0 sec. user=mdettweiler [2016-06-09 23:17:31] 873*2^1431912-1 is not prime. Res64: A5D8C4D7E5248EBA Time : 0.0 sec. user=mdettweiler [2016-06-09 23:17:32] 945*2^1431912-1 is not prime. Res64: 25177ACC5708DBD5 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:17:32] 999*2^1431912-1 is not prime. Res64: 3881DC4615FE80B1 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:17:32] 765*2^1431913-1 is not prime. Res64: E1979F3072966969 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:17:33] 915*2^1431913-1 is not prime. Res64: E80002087FA8AC79 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:09] 627*2^1431914-1 is not prime. Res64: F0BFB5049B14E814 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:09] 677*2^1431914-1 is not prime. Res64: 4C74CD47DC96F56D Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:10] 773*2^1431914-1 is not prime. Res64: 6BD367FE8BFDB38F Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:10] 825*2^1431914-1 is not prime. Res64: 2CF229F463E7269C Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:11] 861*2^1431914-1 is not prime. Res64: B610C68B5AFD7E9E Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:22] 903*2^1431914-1 is not prime. Res64: 47B01B8A8BC7462E Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:22] 663*2^1431915-1 is not prime. Res64: 79E1EEF56BB9ED37 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:23] 675*2^1431915-1 is not prime. Res64: E7BE9A24F0B8C103 Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:23] 705*2^1431915-1 is not prime. Res64: FAAB7EDA96B57EEF Time : 0.0 sec. user=mdettweiler [2016-06-09 23:57:23] 753*2^1431915-1 is not prime. Res64: F9B331F47A986785 Time : 0.0 sec.