user=mdettweiler [2015-08-16 00:09:01] 893*2^1406490-1 is not prime. Res64: 31DD674DD331DD2E Time : 0.0 sec. user=mdettweiler [2015-08-16 00:09:02] 619*2^1406491-1 is not prime. Res64: BD3719A97EA2E703 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:10:09] 639*2^1406491-1 is not prime. Res64: D55CA4F474EAE3D8 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:10:09] 735*2^1406491-1 is not prime. Res64: 1570C300DB001447 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:13:58] 885*2^1406491-1 is not prime. Res64: 1F08E074AB26F8C1 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:13:58] 909*2^1406491-1 is not prime. Res64: 9EFEFCFE4EA42999 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:16:27] 961*2^1406491-1 is not prime. Res64: 9F63DF4CDBAA312A Time : 0.0 sec. user=mdettweiler [2015-08-16 00:16:28] 973*2^1406491-1 is not prime. Res64: 698FDA29C671F38F Time : 0.0 sec. user=mdettweiler [2015-08-16 00:26:40] 979*2^1406491-1 is not prime. Res64: E6C8180C901293EE Time : 0.0 sec. user=mdettweiler [2015-08-16 00:26:41] 605*2^1406492-1 is not prime. Res64: 38523A3325988789 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:27:51] 687*2^1406492-1 is not prime. Res64: 1C6E15F24EE187B1 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:27:52] 693*2^1406492-1 is not prime. Res64: ABBF0724D7238A6A Time : 0.0 sec. user=mdettweiler [2015-08-16 00:31:30] 741*2^1406493-1 is not prime. Res64: 242B81E70B02F2A1 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:31:30] 819*2^1406493-1 is not prime. Res64: 7D5CC564F5B19BAF Time : 0.0 sec. user=mdettweiler [2015-08-16 00:34:12] 867*2^1406493-1 is not prime. Res64: 8739050D9F37DBE1 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:34:13] 651*2^1406494-1 is not prime. Res64: 3147B597EB1C3831 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:44:06] 773*2^1406494-1 is not prime. Res64: A7E0F7B5FCA78CEA Time : 0.0 sec. user=mdettweiler [2015-08-16 00:44:07] 881*2^1406494-1 is not prime. Res64: B19ABBA210DB9FC5 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:45:23] 983*2^1406494-1 is not prime. Res64: B73D8A36EE3A6F51 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:45:23] 609*2^1406495-1 is not prime. Res64: 9C4514A32D84DFE5 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:48:55] 715*2^1406495-1 is not prime. Res64: D96456A565E90B7B Time : 0.0 sec. user=mdettweiler [2015-08-16 00:48:55] 741*2^1406495-1 is not prime. Res64: 842DFB309F30A689 Time : 0.0 sec. user=mdettweiler [2015-08-16 00:51:37] 747*2^1406496-1 is not prime. Res64: DB5A6E9B9DCD642F Time : 0.0 sec. user=mdettweiler [2015-08-16 00:51:38] 815*2^1406496-1 is not prime. Res64: 04D2DC016FB94E5D Time : 0.0 sec. user=mdettweiler [2015-08-16 01:01:31] 927*2^1406496-1 is not prime. Res64: 41ED3F10B0A6593C Time : 0.0 sec. user=mdettweiler [2015-08-16 01:01:32] 945*2^1406496-1 is not prime. Res64: 5C5830391CDD8667 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:02:51] 993*2^1406496-1 is not prime. Res64: D978055FC7E320C3 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:02:52] 651*2^1406497-1 is not prime. Res64: 9AFE7C9196C5080F Time : 0.0 sec. user=mdettweiler [2015-08-16 01:06:22] 685*2^1406497-1 is not prime. Res64: 77B77412E1DACD7D Time : 0.0 sec. user=mdettweiler [2015-08-16 01:06:23] 895*2^1406497-1 is not prime. Res64: 7A32FA4FE2C7B54F Time : 0.0 sec. user=mdettweiler [2015-08-16 01:09:08] 915*2^1406497-1 is not prime. Res64: EA29EA3B599F98E9 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:09:08] 931*2^1406497-1 is not prime. Res64: 17BD83689C1E9150 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:19:13] 767*2^1406498-1 is not prime. Res64: 1C4AA7F386F602C5 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:19:13] 797*2^1406498-1 is not prime. Res64: 1906C79F84CBCAFE Time : 0.0 sec. user=mdettweiler [2015-08-16 01:20:31] 935*2^1406498-1 is not prime. Res64: 904F745726F839E7 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:20:31] 971*2^1406498-1 is not prime. Res64: FBEE0CE8BF33CFB8 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:23:54] 977*2^1406498-1 is not prime. Res64: 5D15B58EB13DE7F4 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:23:55] 609*2^1406499-1 is not prime. Res64: 429AC9B5AA953233 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:26:55] 679*2^1406499-1 is not prime. Res64: EE303B9BDAC09EEB Time : 0.0 sec. user=mdettweiler [2015-08-16 01:26:57] 873*2^1406499-1 is not prime. Res64: CAE7A9BAA205DE93 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:36:49] 961*2^1406499-1 is not prime. Res64: 006848FB406F9844 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:36:49] 609*2^1406500-1 is not prime. Res64: 2308CBE27794246C Time : 0.0 sec. user=mdettweiler [2015-08-16 01:38:08] 647*2^1406500-1 is not prime. Res64: 0CA6182BA655128C Time : 0.0 sec. user=mdettweiler [2015-08-16 01:38:08] 693*2^1406500-1 is not prime. Res64: 201EB105B08B862E Time : 0.0 sec. user=mdettweiler [2015-08-16 01:41:29] 717*2^1406500-1 is not prime. Res64: 34908A3C66580D14 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:41:30] 735*2^1406500-1 is not prime. Res64: 7F170ADA9B152866 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:45:40] 813*2^1406500-1 is not prime. Res64: 37BC8740AF388960 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:45:40] 845*2^1406500-1 is not prime. Res64: 294BC0CA22052102 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:54:32] 855*2^1406500-1 is not prime. Res64: BBC2B91882A6C920 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:54:32] 923*2^1406500-1 is not prime. Res64: 30D002B6EEFA18FE Time : 0.0 sec. user=mdettweiler [2015-08-16 01:55:43] 939*2^1406500-1 is not prime. Res64: 03AF6E2EA367CA1F Time : 0.0 sec. user=mdettweiler [2015-08-16 01:55:44] 615*2^1406501-1 is not prime. Res64: 06F37B0BA04DE3CE Time : 0.0 sec. user=mdettweiler [2015-08-16 01:58:59] 757*2^1406501-1 is not prime. Res64: 3B9DFAFCC320DE48 Time : 0.0 sec. user=mdettweiler [2015-08-16 01:59:00] 939*2^1406501-1 is not prime. Res64: 34CD9133271F3EA2 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:03:07] 945*2^1406501-1 is not prime. Res64: 997AED3CF65A4E6F Time : 0.0 sec. user=mdettweiler [2015-08-16 02:03:08] 991*2^1406501-1 is not prime. Res64: 8A860D7C07996433 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:12:01] 621*2^1406502-1 is not prime. Res64: D75DCF6C7139ED94 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:12:02] 777*2^1406502-1 is not prime. Res64: A0FF70C11C6E235E Time : 0.0 sec. user=mdettweiler [2015-08-16 02:13:17] 791*2^1406502-1 is not prime. Res64: F0A745BEFEAA8A03 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:13:18] 807*2^1406502-1 is not prime. Res64: E945289494928560 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:16:31] 821*2^1406502-1 is not prime. Res64: 487F00ADD72C03DA Time : 0.0 sec. user=mdettweiler [2015-08-16 02:16:31] 873*2^1406502-1 is not prime. Res64: 2FF4D93A8E2EE553 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:20:34] 915*2^1406502-1 is not prime. Res64: C88B5A2BD281CFAC Time : 0.0 sec. user=mdettweiler [2015-08-16 02:20:35] 975*2^1406502-1 is not prime. Res64: E7843960315284D9 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:29:26] 615*2^1406503-1 is not prime. Res64: CF942BEFA10A905C Time : 0.0 sec. user=mdettweiler [2015-08-16 02:29:28] 661*2^1406503-1 is not prime. Res64: 3585E13E9F20AFA9 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:30:45] 775*2^1406503-1 is not prime. Res64: C3092FD627901A02 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:30:46] 855*2^1406503-1 is not prime. Res64: 21F4CCCA25AE3E9D Time : 0.0 sec. user=mdettweiler [2015-08-16 02:34:01] 883*2^1406503-1 is not prime. Res64: B2322B048081A2A1 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:34:04] 617*2^1406504-1 is not prime. Res64: 551D214F002E324E Time : 0.0 sec. user=mdettweiler [2015-08-16 02:38:11] 629*2^1406504-1 is not prime. Res64: 25902200013C1427 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:38:12] 729*2^1406504-1 is not prime. Res64: EDC57EB26C0272A0 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:47:02] 747*2^1406504-1 is not prime. Res64: FAE35736E2F2EBA3 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:47:02] 753*2^1406504-1 is not prime. Res64: 4BBB792A990001B0 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:48:11] 945*2^1406504-1 is not prime. Res64: 7FA42377FCCE6374 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:48:12] 959*2^1406504-1 is not prime. Res64: F9113E0FB73292D4 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:53:17] 995*2^1406504-1 is not prime. Res64: 8397E08BC15EEB3F Time : 0.0 sec. user=mdettweiler [2015-08-16 02:53:17] 607*2^1406505-1 is not prime. Res64: 834A147DA3002D5B Time : 0.0 sec. user=mdettweiler [2015-08-16 02:55:40] 675*2^1406505-1 is not prime. Res64: 4E393EA3B3F63DB0 Time : 0.0 sec. user=mdettweiler [2015-08-16 02:55:40] 685*2^1406505-1 is not prime. Res64: 7ADB5886285E55E2 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:04:29] 717*2^1406505-1 is not prime. Res64: 64F2B2BF38F71CCB Time : 0.0 sec. user=mdettweiler [2015-08-16 03:04:30] 915*2^1406505-1 is not prime. Res64: 7253D3748A1445F7 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:05:37] 949*2^1406505-1 is not prime. Res64: E5C0D1046EB40915 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:05:38] 979*2^1406505-1 is not prime. Res64: 291F52312B6137E0 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:10:45] 713*2^1406506-1 is not prime. Res64: F5194F65E6707B5D Time : 0.0 sec. user=mdettweiler [2015-08-16 03:10:46] 773*2^1406506-1 is not prime. Res64: ADB44D9CE7BF3E9F Time : 0.0 sec. user=mdettweiler [2015-08-16 03:13:10] 783*2^1406506-1 is not prime. Res64: 10303FC881B37184 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:13:10] 887*2^1406506-1 is not prime. Res64: F81504EFB506BF57 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:22:04] 983*2^1406506-1 is not prime. Res64: B8701FD3933D2E1B Time : 0.0 sec. user=mdettweiler [2015-08-16 03:22:05] 633*2^1406507-1 is not prime. Res64: 39A31A09E8D462F3 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:23:12] 669*2^1406507-1 is not prime. Res64: D5F592DF3991568C Time : 0.0 sec. user=mdettweiler [2015-08-16 03:23:13] 861*2^1406507-1 is not prime. Res64: 250EA600472C9270 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:28:29] 871*2^1406507-1 is not prime. Res64: 964170CFCCF353C4 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:28:32] 669*2^1406508-1 is not prime. Res64: B5E4CA1EE811D87F Time : 0.0 sec. user=mdettweiler [2015-08-16 03:30:44] 759*2^1406508-1 is not prime. Res64: FDCA09C284348269 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:30:45] 789*2^1406508-1 is not prime. Res64: EB88F4B210F0BB16 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:39:38] 843*2^1406508-1 is not prime. Res64: 8FC4FB508594DFEC Time : 0.0 sec. user=mdettweiler [2015-08-16 03:39:39] 875*2^1406508-1 is not prime. Res64: 14ACF7DC344D7935 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:40:45] 675*2^1406509-1 is not prime. Res64: 6EFBA7C6B7226968 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:40:47] 691*2^1406509-1 is not prime. Res64: 1A3268DEF2C469DF Time : 0.0 sec. user=mdettweiler [2015-08-16 03:46:26] 745*2^1406509-1 is not prime. Res64: 4B756263F33995C5 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:46:28] 801*2^1406509-1 is not prime. Res64: 814EB0D5537B9205 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:48:26] 885*2^1406509-1 is not prime. Res64: 4CD9B5CE8614240B Time : 0.0 sec. user=mdettweiler [2015-08-16 03:48:27] 987*2^1406509-1 is not prime. Res64: 7941987C10E78763 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:57:20] 645*2^1406510-1 is not prime. Res64: 77D44931B9E56315 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:57:21] 801*2^1406510-1 is not prime. Res64: C3975221525C7E51 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:58:24] 827*2^1406510-1 is not prime. Res64: 94688C44F8A46B96 Time : 0.0 sec. user=mdettweiler [2015-08-16 03:58:25] 911*2^1406510-1 is not prime. Res64: A25A4ED9E6B1C006 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:04:27] 923*2^1406510-1 is not prime. Res64: 48E23A1E4B033259 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:04:29] 965*2^1406510-1 is not prime. Res64: EE28A5E9967CDF2C Time : 0.0 sec. user=mdettweiler [2015-08-16 04:06:02] 651*2^1406511-1 is not prime. Res64: 824336C5E0E3728D Time : 0.0 sec. user=mdettweiler [2015-08-16 04:06:03] 705*2^1406511-1 is not prime. Res64: F333317286EA64DA Time : 0.0 sec. user=mdettweiler [2015-08-16 04:15:16] 709*2^1406511-1 is not prime. Res64: 2E106A2DF753C62E Time : 0.0 sec. user=mdettweiler [2015-08-16 04:15:16] 713*2^1406512-1 is not prime. Res64: A24B52ACEC564D47 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:16:38] 719*2^1406512-1 is not prime. Res64: 42BE04ACB5828F9C Time : 0.0 sec. user=mdettweiler [2015-08-16 04:16:38] 797*2^1406512-1 is not prime. Res64: 4CD3FECFEDACAEBF Time : 0.0 sec. user=mdettweiler [2015-08-16 04:22:36] 939*2^1406512-1 is not prime. Res64: C837845C55E349D2 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:22:36] 995*2^1406512-1 is not prime. Res64: 447E00406E9FB29D Time : 0.0 sec. user=mdettweiler [2015-08-16 04:24:36] 619*2^1406513-1 is not prime. Res64: C0751704D66F1E5F Time : 0.0 sec. user=mdettweiler [2015-08-16 04:24:37] 631*2^1406513-1 is not prime. Res64: 51B83A92BC757FD4 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:34:08] 649*2^1406513-1 is not prime. Res64: F9A4D39F04AA45FE Time : 0.0 sec. user=mdettweiler [2015-08-16 04:34:09] 741*2^1406513-1 is not prime. Res64: 1F8B0E9223259017 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:34:52] 771*2^1406513-1 is not prime. Res64: 4DD053E9D4EB2752 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:34:52] 837*2^1406513-1 is not prime. Res64: 5C442D27086FCA43 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:41:27] 847*2^1406513-1 is not prime. Res64: C1CEC372E10C8D65 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:41:28] 871*2^1406513-1 is not prime. Res64: 9C5E727B98132A2A Time : 0.0 sec. user=mdettweiler [2015-08-16 04:42:54] 897*2^1406513-1 is not prime. Res64: A43200FA3BDDE4FB Time : 0.0 sec. user=mdettweiler [2015-08-16 04:42:55] 949*2^1406513-1 is not prime. Res64: EF61BB983A28F7AD Time : 0.0 sec. user=mdettweiler [2015-08-16 04:51:48] 951*2^1406513-1 is not prime. Res64: D1605F6670AE4F41 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:51:49] 967*2^1406513-1 is not prime. Res64: ADED627A77B438D7 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:52:27] 985*2^1406513-1 is not prime. Res64: 7BD8E5C74A16ED8C Time : 0.0 sec. user=mdettweiler [2015-08-16 04:52:28] 987*2^1406513-1 is not prime. Res64: 597A9787EDC0957F Time : 0.0 sec. user=mdettweiler [2015-08-16 04:59:00] 627*2^1406514-1 is not prime. Res64: 6FCB9C28B11516B8 Time : 0.0 sec. user=mdettweiler [2015-08-16 04:59:00] 633*2^1406514-1 is not prime. Res64: C94A8AA3418C9C71 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:00:36] 683*2^1406514-1 is not prime. Res64: C131ADCB7BADBD38 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:00:37] 755*2^1406514-1 is not prime. Res64: 67E790705146BFE4 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:09:39] 791*2^1406514-1 is not prime. Res64: CCC7B7ACDF4E790F Time : 0.0 sec. user=mdettweiler [2015-08-16 05:09:40] 917*2^1406514-1 is not prime. Res64: 5DB6FC1B11FACC3F Time : 0.0 sec. user=mdettweiler [2015-08-16 05:10:35] 679*2^1406515-1 is not prime. Res64: C43CBFE38F341646 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:10:35] 699*2^1406515-1 is not prime. Res64: 68F3870ED2136741 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:17:19] 853*2^1406515-1 is not prime. Res64: A457E32D13AD7E76 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:17:19] 939*2^1406515-1 is not prime. Res64: C2082F9EAFD2AED8 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:18:17] 961*2^1406515-1 is not prime. Res64: 4D9514E815C13D54 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:18:17] 617*2^1406516-1 is not prime. Res64: A7CCA643565F66C1 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:27:08] 693*2^1406516-1 is not prime. Res64: E672747411403119 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:27:09] 845*2^1406516-1 is not prime. Res64: AD448BD1707C0E91 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:28:00] 869*2^1406516-1 is not prime. Res64: 1941D998CB9D6648 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:28:01] 893*2^1406516-1 is not prime. Res64: D9B0089A34F6DD10 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:34:52] 899*2^1406516-1 is not prime. Res64: AA2E8A79B6765882 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:34:52] 945*2^1406516-1 is not prime. Res64: 2ECCDAC4FB2D507D Time : 0.0 sec. user=mdettweiler [2015-08-16 05:35:41] 999*2^1406516-1 is not prime. Res64: 0ED212B75C731AF9 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:35:42] 759*2^1406517-1 is not prime. Res64: 28851AE82AB3BAC0 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:44:38] 769*2^1406517-1 is not prime. Res64: 2CA55B7B1F5407F9 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:44:39] 829*2^1406517-1 is not prime. Res64: 996E700FBB9F689C Time : 0.0 sec. user=mdettweiler [2015-08-16 05:45:31] 895*2^1406517-1 is not prime. Res64: AC435663E83935E5 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:45:31] 961*2^1406517-1 is not prime. Res64: 8731F5A22E9AC874 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:52:21] 603*2^1406518-1 is not prime. Res64: 9C2184DC96F0660E Time : 0.0 sec. user=mdettweiler [2015-08-16 05:52:22] 645*2^1406518-1 is not prime. Res64: 3CB7775F9E76D6AE Time : 0.0 sec. user=mdettweiler [2015-08-16 05:53:02] 695*2^1406518-1 is not prime. Res64: D9FD48AC8E693940 Time : 0.0 sec. user=mdettweiler [2015-08-16 05:53:02] 755*2^1406518-1 is not prime. Res64: 8FCD419626AB976F Time : 0.0 sec. user=mdettweiler [2015-08-16 06:02:13] 765*2^1406518-1 is not prime. Res64: D5106750F3444403 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:02:14] 825*2^1406518-1 is not prime. Res64: 831B716E7350F488 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:02:53] 911*2^1406518-1 is not prime. Res64: 8117FF4E639CD40A Time : 0.0 sec. user=mdettweiler [2015-08-16 06:02:53] 933*2^1406518-1 is not prime. Res64: A99F0E7E4865271A Time : 0.0 sec. user=mdettweiler [2015-08-16 06:09:45] 987*2^1406518-1 is not prime. Res64: E8544B882FAA7970 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:09:46] 995*2^1406518-1 is not prime. Res64: 91586711006A3562 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:10:26] 649*2^1406519-1 is not prime. Res64: 23A9AD5408947A7A Time : 0.0 sec. user=mdettweiler [2015-08-16 06:10:27] 693*2^1406519-1 is not prime. Res64: 4456D144B9D07806 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:19:50] 759*2^1406519-1 is not prime. Res64: D6A94EA069E9B9BC Time : 0.0 sec. user=mdettweiler [2015-08-16 06:19:50] 829*2^1406519-1 is not prime. Res64: 3D8B0A2BA0D8ED22 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:20:18] 843*2^1406519-1 is not prime. Res64: 9AE542BC37C794E6 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:20:18] 859*2^1406519-1 is not prime. Res64: 1C6C9EE262545DC0 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:27:08] 627*2^1406520-1 is not prime. Res64: B9EBDC0DCC1EF47A Time : 0.0 sec. user=mdettweiler [2015-08-16 06:27:08] 713*2^1406520-1 is not prime. Res64: 9468FE93A1C1359A Time : 0.0 sec. user=mdettweiler [2015-08-16 06:27:54] 737*2^1406520-1 is not prime. Res64: 59F77CCACD52B759 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:27:55] 759*2^1406520-1 is not prime. Res64: D56B8C9F07528C0E Time : 0.0 sec. user=mdettweiler [2015-08-16 06:37:18] 789*2^1406520-1 is not prime. Res64: 63D1FFC37339DD9B Time : 0.0 sec. user=mdettweiler [2015-08-16 06:37:18] 803*2^1406520-1 is not prime. Res64: 9126F47B6F2C5288 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:37:49] 849*2^1406520-1 is not prime. Res64: 429584DB3481DB37 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:37:50] 863*2^1406520-1 is not prime. Res64: 07F067089155F171 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:44:34] 645*2^1406521-1 is not prime. Res64: FCEAD1286D21C2E3 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:44:34] 835*2^1406521-1 is not prime. Res64: 87FF5AEECC501F57 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:45:22] 871*2^1406521-1 is not prime. Res64: 307B7DF4C5F14657 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:45:22] 925*2^1406521-1 is not prime. Res64: 073F23B833502DC4 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:54:46] 677*2^1406522-1 is not prime. Res64: AD264EB4B3F38833 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:54:47] 791*2^1406522-1 is not prime. Res64: DB207EAA7FE8D0E1 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:55:16] 915*2^1406522-1 is not prime. Res64: 1D5C1459AE17A403 Time : 0.0 sec. user=mdettweiler [2015-08-16 06:55:16] 957*2^1406522-1 is not prime. Res64: 32454FFEABC4B662 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:01:59] 825*2^1406523-1 is not prime. Res64: C7D4742238D23EB9 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:02:00] 853*2^1406523-1 is not prime. Res64: 50147B5C436AC2B0 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:02:48] 945*2^1406523-1 is not prime. Res64: 8CDC7478489ABED1 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:02:49] 961*2^1406523-1 is not prime. Res64: CC1AC3477A9713BF Time : 0.0 sec. user=mdettweiler [2015-08-16 07:12:16] 605*2^1406524-1 is not prime. Res64: 9BE4619E17BFD41E Time : 0.0 sec. user=mdettweiler [2015-08-16 07:12:17] 615*2^1406524-1 is not prime. Res64: 7ED82B1DCB684E0E Time : 0.0 sec. user=mdettweiler [2015-08-16 07:12:41] 665*2^1406524-1 is not prime. Res64: 8B88CD53CF21035D Time : 0.0 sec. user=mdettweiler [2015-08-16 07:12:42] 675*2^1406524-1 is not prime. Res64: B18904022C3D77CE Time : 0.0 sec. user=mdettweiler [2015-08-16 07:19:24] 677*2^1406524-1 is not prime. Res64: 86898F9CDFC5E692 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:19:24] 695*2^1406524-1 is not prime. Res64: 362C988638A25EB2 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:20:15] 699*2^1406524-1 is not prime. Res64: 3D0D421659F5011C Time : 0.0 sec. user=mdettweiler [2015-08-16 07:20:15] 707*2^1406524-1 is not prime. Res64: 2AE14B1C3C7C65B0 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:29:42] 803*2^1406524-1 is not prime. Res64: 379859305C032303 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:29:42] 825*2^1406524-1 is not prime. Res64: 5B90F5E8C3DB3F3F Time : 0.0 sec. user=mdettweiler [2015-08-16 07:30:11] 897*2^1406524-1 is not prime. Res64: 59B97E95DD933A18 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:30:11] 953*2^1406524-1 is not prime. Res64: 39BE902F71134234 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:36:54] 607*2^1406525-1 is not prime. Res64: F17AB4D868CBA4D2 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:36:54] 657*2^1406525-1 is not prime. Res64: E6CF6854A0BBB189 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:37:41] 717*2^1406525-1 is not prime. Res64: 19D1328A1A6AADD3 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:37:42] 721*2^1406525-1 is not prime. Res64: B6BD6C660EC1529E Time : 0.0 sec. user=mdettweiler [2015-08-16 07:47:09] 811*2^1406525-1 is not prime. Res64: 55B17DDCAC6CBCE8 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:47:10] 825*2^1406525-1 is not prime. Res64: 6F4BA79EC0CF6FC4 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:47:32] 867*2^1406525-1 is not prime. Res64: C9578BCDDC00D358 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:47:33] 939*2^1406525-1 is not prime. Res64: D1EED9382A6BFC41 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:54:17] 957*2^1406525-1 is not prime. Res64: EB63C7C2F254E178 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:54:17] 611*2^1406526-1 is not prime. Res64: DE18BD46BBFA8D7B Time : 0.0 sec. user=mdettweiler [2015-08-16 07:55:03] 717*2^1406526-1 is not prime. Res64: ACAA1419E37D7400 Time : 0.0 sec. user=mdettweiler [2015-08-16 07:55:04] 755*2^1406526-1 is not prime. Res64: 18EE347B619DCC28 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:04:33] 767*2^1406526-1 is not prime. Res64: 8FBFD8E2A602A765 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:04:35] 941*2^1406526-1 is not prime. Res64: E345954424E4C20C Time : 0.0 sec. user=mdettweiler [2015-08-16 08:05:07] 1001*2^1406526-1 is not prime. Res64: AD88327FADBA969C Time : 0.0 sec. user=mdettweiler [2015-08-16 08:05:08] 673*2^1406527-1 is not prime. Res64: 0668452D2A15C394 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:11:39] 759*2^1406527-1 is not prime. Res64: BCAEE814749764C0 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:11:39] 805*2^1406527-1 is not prime. Res64: C72C763E717B9D9F Time : 0.0 sec. user=mdettweiler [2015-08-16 08:12:24] 885*2^1406527-1 is not prime. Res64: 9958ED497D959010 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:12:24] 925*2^1406527-1 is not prime. Res64: 4A5DFEF442804099 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:22:17] 951*2^1406527-1 is not prime. Res64: E901FB4907EB2463 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:22:18] 755*2^1406528-1 is not prime. Res64: 3441303D1D45CAFC Time : 0.0 sec. user=mdettweiler [2015-08-16 08:22:33] 833*2^1406528-1 is not prime. Res64: 644BE4026EF11CE2 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:22:34] 927*2^1406528-1 is not prime. Res64: 8966ECBAA0904888 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:29:00] 963*2^1406528-1 is not prime. Res64: 4429B145E3CEF34E Time : 0.0 sec. user=mdettweiler [2015-08-16 08:29:00] 705*2^1406529-1 is not prime. Res64: D17FF3FCB48396BE Time : 0.0 sec. user=mdettweiler [2015-08-16 08:29:45] 711*2^1406529-1 is not prime. Res64: 4E28655EEE2C17EF Time : 0.0 sec. user=mdettweiler [2015-08-16 08:29:46] 745*2^1406529-1 is not prime. Res64: 2F6A3F2722B8BC59 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:39:41] 837*2^1406529-1 is not prime. Res64: 03CCF4475431B38B Time : 0.0 sec. user=mdettweiler [2015-08-16 08:39:42] 955*2^1406529-1 is not prime. Res64: 507345F9464388C4 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:39:55] 991*2^1406529-1 is not prime. Res64: 1562D11B6FD6588E Time : 0.0 sec. user=mdettweiler [2015-08-16 08:39:56] 603*2^1406530-1 is not prime. Res64: FC72DE0808D15012 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:46:22] 675*2^1406530-1 is not prime. Res64: FDF22F47F839AA80 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:46:23] 735*2^1406530-1 is not prime. Res64: 2739E523F3480749 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:47:10] 831*2^1406530-1 is not prime. Res64: 7ABF9C10AD25D1C4 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:47:11] 861*2^1406530-1 is not prime. Res64: 930B34819145FED5 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:57:04] 945*2^1406530-1 is not prime. Res64: 443893A45EB109A0 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:57:05] 643*2^1406531-1 is not prime. Res64: 62E9BC07471CC391 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:57:39] 669*2^1406531-1 is not prime. Res64: 04153D8E9F48B611 Time : 0.0 sec. user=mdettweiler [2015-08-16 08:57:40] 711*2^1406531-1 is not prime. Res64: F7F3A84DF270D453 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:03:52] 783*2^1406531-1 is not prime. Res64: 34E7CF0114B6AD02 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:03:53] 819*2^1406531-1 is not prime. Res64: FFB0EAC62C52F2EB Time : 0.0 sec. user=mdettweiler [2015-08-16 09:04:33] 981*2^1406531-1 is not prime. Res64: EDB2BEF818E7FC6F Time : 0.0 sec. user=mdettweiler [2015-08-16 09:04:34] 627*2^1406532-1 is not prime. Res64: F6FDF241B31F3FCA Time : 0.0 sec. user=mdettweiler [2015-08-16 09:14:30] 629*2^1406532-1 is not prime. Res64: DAE25A922AD74848 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:14:31] 675*2^1406532-1 is not prime. Res64: 8155F4C79FDFE2AE Time : 0.0 sec. user=mdettweiler [2015-08-16 09:15:02] 683*2^1406532-1 is not prime. Res64: FF3A6598089A87C5 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:15:03] 797*2^1406532-1 is not prime. Res64: 93B68A42FBD6B7EF Time : 0.0 sec. user=mdettweiler [2015-08-16 09:21:33] 857*2^1406532-1 is not prime. Res64: 78DCB5EA1BA11AB6 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:21:33] 923*2^1406532-1 is not prime. Res64: EE8C2C617F2FFF58 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:22:01] 983*2^1406532-1 is not prime. Res64: E13D5B1ED32D5A4E Time : 0.0 sec. user=mdettweiler [2015-08-16 09:22:01] 649*2^1406533-1 is not prime. Res64: 4793C603959C4F70 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:31:58] 741*2^1406533-1 is not prime. Res64: 06586F597BE3094E Time : 0.0 sec. user=mdettweiler [2015-08-16 09:31:58] 831*2^1406533-1 is not prime. Res64: 53B3413C5B8D7205 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:32:28] 979*2^1406533-1 is not prime. Res64: 7891E597FD16E97F Time : 0.0 sec. user=mdettweiler [2015-08-16 09:32:29] 615*2^1406534-1 is not prime. Res64: 1139233B1317F5BE Time : 0.0 sec. user=mdettweiler [2015-08-16 09:39:03] 623*2^1406534-1 is not prime. Res64: 7D4E700AD8DA28D6 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:39:04] 635*2^1406534-1 is not prime. Res64: AB9474C02D59736C Time : 0.0 sec. user=mdettweiler [2015-08-16 09:39:23] 705*2^1406534-1 is not prime. Res64: E89597A733B985FA Time : 0.0 sec. user=mdettweiler [2015-08-16 09:39:24] 731*2^1406534-1 is not prime. Res64: 60FE051DEB3DB022 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:49:23] 797*2^1406534-1 is not prime. Res64: 37214AB3906D8A54 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:49:24] 827*2^1406534-1 is not prime. Res64: DDA2161E88265E7D Time : 0.0 sec. user=mdettweiler [2015-08-16 09:49:50] 917*2^1406534-1 is not prime. Res64: 85B56F66F9030732 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:49:51] 945*2^1406534-1 is not prime. Res64: 3BC2E816CA17227C Time : 0.0 sec. user=mdettweiler [2015-08-16 09:56:29] 953*2^1406534-1 is not prime. Res64: 11CAF6E7AD7C3D39 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:56:29] 709*2^1406535-1 is not prime. Res64: C318CA5AF3851242 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:56:46] 819*2^1406535-1 is not prime. Res64: 0FA8011CD09085E6 Time : 0.0 sec. user=mdettweiler [2015-08-16 09:56:46] 955*2^1406535-1 is not prime. Res64: 9976D035696E338E Time : 0.0 sec. user=mdettweiler [2015-08-16 10:06:54] 743*2^1406536-1 is not prime. Res64: C809E7A628F77170 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:06:54] 833*2^1406536-1 is not prime. Res64: 7A2705649E21D75D Time : 0.0 sec. user=mdettweiler [2015-08-16 10:07:18] 839*2^1406536-1 is not prime. Res64: 2048ED69357599FC Time : 0.0 sec. user=mdettweiler [2015-08-16 10:07:19] 923*2^1406536-1 is not prime. Res64: 71F683E2C3B8C37A Time : 0.0 sec. user=mdettweiler [2015-08-16 10:13:59] 947*2^1406536-1 is not prime. Res64: F7785454F082E8CA Time : 0.0 sec. user=mdettweiler [2015-08-16 10:14:00] 619*2^1406537-1 is not prime. Res64: 2D7CB6B077A06096 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:14:14] 651*2^1406537-1 is not prime. Res64: 868AD24487E59048 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:14:15] 685*2^1406537-1 is not prime. Res64: 7702A72979C7F845 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:24:31] 711*2^1406537-1 is not prime. Res64: 43D24C8E40C70C64 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:24:32] 727*2^1406537-1 is not prime. Res64: 3E71F6DDE6B28B46 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:24:42] 747*2^1406537-1 is not prime. Res64: 20BA40A06EF2FAE7 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:24:42] 861*2^1406537-1 is not prime. Res64: CE48DD4432C8FB4F Time : 0.0 sec. user=mdettweiler [2015-08-16 10:31:21] 871*2^1406537-1 is not prime. Res64: 3EB21140F0459F79 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:31:21] 657*2^1406538-1 is not prime. Res64: D853E94DB5AE70FE Time : 0.0 sec. user=mdettweiler [2015-08-16 10:31:42] 663*2^1406538-1 is not prime. Res64: FA1769FE625C0A52 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:31:43] 705*2^1406538-1 is not prime. Res64: 2AF596123671450A Time : 0.0 sec. user=mdettweiler [2015-08-16 10:41:53] 711*2^1406538-1 is not prime. Res64: E32EFBAA8368C5FD Time : 0.0 sec. user=mdettweiler [2015-08-16 10:41:53] 747*2^1406538-1 is not prime. Res64: 706EA8ABF27029DA Time : 0.0 sec. user=mdettweiler [2015-08-16 10:42:08] 777*2^1406538-1 is not prime. Res64: DAB5DA2B64088C57 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:42:09] 791*2^1406538-1 is not prime. Res64: 8C29DB69F4EA59CA Time : 0.0 sec. user=mdettweiler [2015-08-16 10:48:51] 891*2^1406538-1 is not prime. Res64: B22C5548996B0312 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:48:52] 915*2^1406538-1 is not prime. Res64: 00753C781869F702 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:49:17] 625*2^1406539-1 is not prime. Res64: D0E49B0CC9C18857 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:49:18] 693*2^1406539-1 is not prime. Res64: 49E651B85518B4B9 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:59:20] 733*2^1406539-1 is not prime. Res64: 726F9B93A5BE7769 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:59:21] 861*2^1406539-1 is not prime. Res64: 6F78FEA3FD92BC37 Time : 0.0 sec. user=mdettweiler [2015-08-16 10:59:39] 919*2^1406539-1 is not prime. Res64: C1BBF48977636B0A Time : 0.0 sec. user=mdettweiler [2015-08-16 10:59:39] 975*2^1406539-1 is not prime. Res64: D4569B898EF6803C Time : 0.0 sec. user=mdettweiler [2015-08-16 11:06:17] 665*2^1406540-1 is not prime. Res64: 46F57872135E5363 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:06:17] 687*2^1406540-1 is not prime. Res64: E0A2D66DA06733BE Time : 0.0 sec. user=mdettweiler [2015-08-16 11:06:42] 717*2^1406540-1 is not prime. Res64: D2F7E7C33A0FAC41 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:06:42] 719*2^1406540-1 is not prime. Res64: 6B8FA79C4BDF598D Time : 0.0 sec. user=mdettweiler [2015-08-16 11:16:49] 767*2^1406540-1 is not prime. Res64: AFBAC3A3C054108B Time : 0.0 sec. user=mdettweiler [2015-08-16 11:16:50] 959*2^1406540-1 is not prime. Res64: 7A3D4A4184C16549 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:17:07] 621*2^1406541-1 is not prime. Res64: BC9CE5F6A45C17A4 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:17:08] 835*2^1406541-1 is not prime. Res64: 4C93C0B5B6E6A49F Time : 0.0 sec. user=mdettweiler [2015-08-16 11:23:52] 847*2^1406541-1 is not prime. Res64: D158C76D4879BC40 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:23:52] 861*2^1406541-1 is not prime. Res64: 279F7DA54171CBE0 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:24:14] 949*2^1406541-1 is not prime. Res64: A87E9E4188D166A4 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:24:14] 999*2^1406541-1 is not prime. Res64: EA7E0686976B9B9F Time : 0.0 sec. user=mdettweiler [2015-08-16 11:34:27] 651*2^1406542-1 is not prime. Res64: BAC24766D7E4262E Time : 0.0 sec. user=mdettweiler [2015-08-16 11:34:28] 665*2^1406542-1 is not prime. Res64: 73D170E278D35BC5 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:34:29] 713*2^1406542-1 is not prime. Res64: 580293939EDCF7BE Time : 0.0 sec. user=mdettweiler [2015-08-16 11:34:30] 765*2^1406542-1 is not prime. Res64: B72DF68F76D46511 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:41:14] 669*2^1406543-1 is not prime. Res64: 3D41B6D92D511BC0 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:41:14] 741*2^1406543-1 is not prime. Res64: 8C4BA9073A9D23FD Time : 0.0 sec. user=mdettweiler [2015-08-16 11:41:41] 759*2^1406543-1 is not prime. Res64: D103CB53904CDB4F Time : 0.0 sec. user=mdettweiler [2015-08-16 11:41:42] 913*2^1406543-1 is not prime. Res64: E9871751F25D0195 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:51:53] 795*2^1406544-1 is not prime. Res64: 60D13DFD76272CB5 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:51:53] 909*2^1406544-1 is not prime. Res64: 69D04C3981CCDFCB Time : 0.0 sec. user=mdettweiler [2015-08-16 11:51:54] 609*2^1406544-1 is not prime. Res64: 2C508AFDB1342040 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:51:55] 747*2^1406544-1 is not prime. Res64: AAC31E859C9278E9 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:58:52] 915*2^1406544-1 is not prime. Res64: E85BB6166260E0AA Time : 0.0 sec. user=mdettweiler [2015-08-16 11:58:52] 945*2^1406544-1 is not prime. Res64: 77EBCBB7B320415B Time : 0.0 sec. user=mdettweiler [2015-08-16 11:59:04] 645*2^1406545-1 is not prime. Res64: E47421AC369E4927 Time : 0.0 sec. user=mdettweiler [2015-08-16 11:59:05] 705*2^1406545-1 is not prime. Res64: F4F48EBEF15B7229 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:09:18] 765*2^1406545-1 is not prime. Res64: BE650D57555FB65A Time : 0.0 sec. user=mdettweiler [2015-08-16 12:09:19] 777*2^1406545-1 is not prime. Res64: CAB4D56F1DA29BC8 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:09:20] 789*2^1406545-1 is not prime. Res64: B8429B07CBEF5576 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:09:20] 819*2^1406545-1 is not prime. Res64: 59C35FC31CD44463 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:16:12] 831*2^1406545-1 is not prime. Res64: 586F32C7047C20B0 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:16:13] 855*2^1406545-1 is not prime. Res64: A8049960D363C435 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:16:32] 633*2^1406546-1 is not prime. Res64: D91282F9A4388EB1 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:16:33] 641*2^1406546-1 is not prime. Res64: F11CF759B50D1B59 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:26:43] 615*2^1406547-1 is not prime. Res64: 7AE364AA3E096161 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:26:43] 619*2^1406547-1 is not prime. Res64: 0274D80CBE7BC489 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:26:50] 683*2^1406546-1 is not prime. Res64: 72B05D5AB9699ADE Time : 0.0 sec. user=mdettweiler [2015-08-16 12:26:51] 813*2^1406546-1 is not prime. Res64: 79F13B259D110DA2 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:33:53] 709*2^1406547-1 is not prime. Res64: C3C4CA72A4CDBE19 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:33:54] 829*2^1406547-1 is not prime. Res64: E19773996D79EB90 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:34:08] 885*2^1406547-1 is not prime. Res64: E9B905E66F583F00 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:34:08] 973*2^1406547-1 is not prime. Res64: 714B13373C57DCF9 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:44:20] 687*2^1406548-1 is not prime. Res64: 2CF3633AB2E38A56 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:44:21] 707*2^1406548-1 is not prime. Res64: 4009C1ED90296156 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:44:22] 603*2^1406548-1 is not prime. Res64: CC792973F3872639 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:44:22] 639*2^1406548-1 is not prime. Res64: F828674E03123A0E Time : 0.0 sec. user=mdettweiler [2015-08-16 12:51:25] 735*2^1406548-1 is not prime. Res64: 88B23703532B96FD Time : 0.0 sec. user=mdettweiler [2015-08-16 12:51:25] 869*2^1406548-1 is not prime. Res64: DF7049629BAB07A8 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:51:35] 947*2^1406548-1 is not prime. Res64: F75A53F7169099F1 Time : 0.0 sec. user=mdettweiler [2015-08-16 12:51:35] 953*2^1406548-1 is not prime. Res64: 8068356FE901082C Time : 0.0 sec. user=mdettweiler [2015-08-16 13:01:42] 601*2^1406549-1 is not prime. Res64: A4228BEFE628A216 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:01:43] 615*2^1406549-1 is not prime. Res64: E82140209CAC7E10 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:01:50] 735*2^1406549-1 is not prime. Res64: 8CC66B5C128C4509 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:01:51] 775*2^1406549-1 is not prime. Res64: 46DA698E0DF90306 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:08:52] 795*2^1406549-1 is not prime. Res64: E96C3E5CA4996919 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:08:53] 865*2^1406549-1 is not prime. Res64: 8F59E075D862B95C Time : 0.0 sec. user=mdettweiler [2015-08-16 13:09:07] 879*2^1406549-1 is not prime. Res64: D0B311DF7F743F1E Time : 0.0 sec. user=mdettweiler [2015-08-16 13:09:07] 885*2^1406549-1 is not prime. Res64: D6188A951486D4EB Time : 0.0 sec. user=mdettweiler [2015-08-16 13:19:11] 851*2^1406550-1 is not prime. Res64: 590163F8A84C3B43 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:19:11] 873*2^1406550-1 is not prime. Res64: 77E8362261C6ED47 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:19:15] 885*2^1406550-1 is not prime. Res64: B232D44F900F6B17 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:19:16] 673*2^1406551-1 is not prime. Res64: 34D4AD99D0F6CC60 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:26:18] 745*2^1406551-1 is not prime. Res64: 9B2CD0C170C83C06 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:26:18] 789*2^1406551-1 is not prime. Res64: 60B20CAA8EF64712 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:26:32] 931*2^1406551-1 is not prime. Res64: EDDE19D0E513AF72 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:26:33] 951*2^1406551-1 is not prime. Res64: F4E1FA2807F04C71 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:36:35] 999*2^1406551-1 is not prime. Res64: B7CECC84371B6905 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:36:35] 717*2^1406552-1 is not prime. Res64: 6D7A6548CF769831 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:36:37] 725*2^1406552-1 is not prime. Res64: 351561B44F9DD1D8 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:36:37] 651*2^1406553-1 is not prime. Res64: 6B1C53AB1ED575B4 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:43:46] 679*2^1406553-1 is not prime. Res64: 9C412CB7E4366121 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:43:47] 739*2^1406553-1 is not prime. Res64: A9E3D15FA4B89651 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:43:56] 765*2^1406553-1 is not prime. Res64: 8CA081FE68C2ACD3 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:43:57] 837*2^1406553-1 is not prime. Res64: 9B2EE21742C7572F Time : 0.0 sec. user=mdettweiler [2015-08-16 13:54:04] 949*2^1406553-1 is not prime. Res64: B1027FD1CEB8C0A3 Time : 0.0 sec. user=mdettweiler [2015-08-16 13:54:05] 985*2^1406553-1 is not prime. Res64: A684868AAE559F3F Time : 0.0 sec. user=mdettweiler [2015-08-16 13:54:07] 877*2^1406553-1 is not prime. Res64: 3E4A381C3A764CBA Time : 0.0 sec. user=mdettweiler [2015-08-16 13:54:07] 919*2^1406553-1 is not prime. Res64: BE5DC33491188A44 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:01:14] 663*2^1406554-1 is not prime. Res64: C0B173AACF2C8901 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:01:14] 701*2^1406554-1 is not prime. Res64: 03156C2B4D31480F Time : 0.0 sec. user=mdettweiler [2015-08-16 14:01:22] 773*2^1406554-1 is not prime. Res64: F9ABEF076E3B3F16 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:01:23] 861*2^1406554-1 is not prime. Res64: 3D8481DFEC36E425 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:11:30] 619*2^1406555-1 is not prime. Res64: DB05137B2F643A66 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:11:31] 643*2^1406555-1 is not prime. Res64: 6869543FECDC1E6F Time : 0.0 sec. user=mdettweiler [2015-08-16 14:11:31] 891*2^1406554-1 is not prime. Res64: 4F8397E25B98C475 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:11:32] 987*2^1406554-1 is not prime. Res64: 94836C5A765A1D73 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:18:47] 685*2^1406555-1 is not prime. Res64: 4ADA143F6ABE6770 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:18:47] 693*2^1406555-1 is not prime. Res64: 6F03D6B1DD97AC51 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:18:54] 735*2^1406555-1 is not prime. Res64: D754974A9A08B962 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:18:54] 943*2^1406555-1 is not prime. Res64: 324DD1C53BAA7994 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:29:02] 737*2^1406556-1 is not prime. Res64: 2AD466D0B7FCB392 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:29:02] 867*2^1406556-1 is not prime. Res64: BB0004C57AFC9EF2 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:29:13] 969*2^1406555-1 is not prime. Res64: 067A9C916F3AB323 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:29:13] 725*2^1406556-1 is not prime. Res64: 55C91BE58D44F832 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:36:20] 687*2^1406557-1 is not prime. Res64: E71AB257FBEBE527 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:36:21] 819*2^1406557-1 is not prime. Res64: 1FB8595B3E007147 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:36:22] 903*2^1406556-1 is not prime. Res64: E83EDC8E5987D717 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:36:22] 661*2^1406557-1 is not prime. Res64: 36C51A3DA38EBB1D Time : 0.0 sec. user=mdettweiler [2015-08-16 14:46:37] 931*2^1406557-1 is not prime. Res64: DAAD8355064BA14A Time : 0.0 sec. user=mdettweiler [2015-08-16 14:46:38] 955*2^1406557-1 is not prime. Res64: AB87323287FBEE26 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:46:41] 641*2^1406558-1 is not prime. Res64: 5E686CF91FFD619D Time : 0.0 sec. user=mdettweiler [2015-08-16 14:46:42] 747*2^1406558-1 is not prime. Res64: A0A046A9C4CB19C4 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:53:46] 825*2^1406558-1 is not prime. Res64: BBD0975679ACA762 Time : 0.0 sec. user=mdettweiler [2015-08-16 14:53:47] 887*2^1406558-1 is not prime. Res64: 172B75BA052F94DA Time : 0.0 sec. user=mdettweiler [2015-08-16 14:53:55] 753*2^1406558-1 is not prime. Res64: 45A8FAD4D5C0918E Time : 0.0 sec. user=mdettweiler [2015-08-16 14:53:56] 795*2^1406558-1 is not prime. Res64: F2D892FA48FA1D43 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:04:06] 971*2^1406558-1 is not prime. Res64: 56CA2F79861D1397 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:04:08] 1001*2^1406558-1 is not prime. Res64: E8A1F3F570B89BBB Time : 0.0 sec. user=mdettweiler [2015-08-16 15:04:17] 613*2^1406559-1 is not prime. Res64: E4D19F6C81CADC71 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:04:18] 619*2^1406559-1 is not prime. Res64: 6D7104D26E727953 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:11:08] 703*2^1406559-1 is not prime. Res64: 2214E40D2E1210B0 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:11:08] 825*2^1406559-1 is not prime. Res64: 057C4B2B61B050F2 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:11:27] 885*2^1406559-1 is not prime. Res64: 71EEE8F6D0F8C29A Time : 0.0 sec. user=mdettweiler [2015-08-16 15:11:28] 933*2^1406559-1 is not prime. Res64: B9A30DCCEA2969AF Time : 0.0 sec. user=mdettweiler [2015-08-16 15:21:32] 949*2^1406559-1 is not prime. Res64: F3F6C4AE02018B04 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:21:33] 631*2^1406561-1 is not prime. Res64: C92EBA525D392A9F Time : 0.0 sec. user=mdettweiler [2015-08-16 15:21:42] 741*2^1406561-1 is not prime. Res64: 5E8D4B05480CDA63 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:21:43] 769*2^1406561-1 is not prime. Res64: F8B6A6FEE82A11F2 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:28:40] 955*2^1406561-1 is not prime. Res64: ECBA5742582EC757 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:28:40] 711*2^1406562-1 is not prime. Res64: 8F2FEA6B678A2D1A Time : 0.0 sec. user=mdettweiler [2015-08-16 15:29:04] 723*2^1406562-1 is not prime. Res64: E77708E67A8EC241 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:29:04] 741*2^1406562-1 is not prime. Res64: 290B98260F7560AE Time : 0.0 sec. user=mdettweiler [2015-08-16 15:39:13] 977*2^1406562-1 is not prime. Res64: 78AEFD056227979B Time : 0.0 sec. user=mdettweiler [2015-08-16 15:39:13] 843*2^1406562-1 is not prime. Res64: 4693671EFD7C9390 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:39:14] 983*2^1406562-1 is not prime. Res64: 5D393D7A1B8C441D Time : 0.0 sec. user=mdettweiler [2015-08-16 15:39:14] 903*2^1406562-1 is not prime. Res64: 9909F988EB8E70FF Time : 0.0 sec. user=mdettweiler [2015-08-16 15:46:07] 829*2^1406563-1 is not prime. Res64: 68BB6BF335D3CCE1 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:46:08] 849*2^1406563-1 is not prime. Res64: A12E7012271472F4 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:46:30] 859*2^1406563-1 is not prime. Res64: F1F7183186054326 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:46:31] 861*2^1406563-1 is not prime. Res64: 38F8940D14EB46AD Time : 0.0 sec. user=mdettweiler [2015-08-16 15:56:41] 795*2^1406564-1 is not prime. Res64: FD29F94CB775595C Time : 0.0 sec. user=mdettweiler [2015-08-16 15:56:42] 909*2^1406564-1 is not prime. Res64: 48AE922EDE1F68A3 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:56:48] 639*2^1406565-1 is not prime. Res64: 30A4338AF6A8A760 Time : 0.0 sec. user=mdettweiler [2015-08-16 15:56:48] 685*2^1406565-1 is not prime. Res64: A11A50E4404225E8 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:03:33] 751*2^1406565-1 is not prime. Res64: BD4D0CB1E720E291 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:03:34] 861*2^1406565-1 is not prime. Res64: A5CFA2692FE6D0B3 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:04:05] 895*2^1406565-1 is not prime. Res64: 4962C2C7FD29FD91 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:04:06] 927*2^1406565-1 is not prime. Res64: 0E24E6D5808C1990 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:14:12] 951*2^1406565-1 is not prime. Res64: 839596EE00C1C52E Time : 0.0 sec. user=mdettweiler [2015-08-16 16:14:13] 979*2^1406565-1 is not prime. Res64: 72E222EAA59DACC2 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:14:26] 737*2^1406566-1 is not prime. Res64: 45767F587E6C968C Time : 0.0 sec. user=mdettweiler [2015-08-16 16:14:28] 785*2^1406566-1 is not prime. Res64: 28DA9ADBEE8E4009 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:21:16] 813*2^1406566-1 is not prime. Res64: 4F4A495B9D851F59 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:21:16] 987*2^1406566-1 is not prime. Res64: 6CE0EDAB6D3232AB Time : 0.0 sec. user=mdettweiler [2015-08-16 16:21:33] 729*2^1406567-1 is not prime. Res64: CF79C8AAD018F5F6 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:21:33] 735*2^1406567-1 is not prime. Res64: FB1EA27BD71FA25D Time : 0.0 sec. user=mdettweiler [2015-08-16 16:31:50] 825*2^1406567-1 is not prime. Res64: D459F3073E1A9DED Time : 0.0 sec. user=mdettweiler [2015-08-16 16:31:50] 885*2^1406567-1 is not prime. Res64: FC5D49746471DACA Time : 0.0 sec. user=mdettweiler [2015-08-16 16:31:54] 991*2^1406567-1 is not prime. Res64: 919E2FF884A9B21B Time : 0.0 sec. user=mdettweiler [2015-08-16 16:31:55] 605*2^1406568-1 is not prime. Res64: 01A33355E9D530B6 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:38:38] 629*2^1406568-1 is not prime. Res64: FE07058D88451FD9 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:38:38] 665*2^1406568-1 is not prime. Res64: 2B5F7F07083369A6 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:38:57] 689*2^1406568-1 is not prime. Res64: C782C3F1B01A18E1 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:38:57] 773*2^1406568-1 is not prime. Res64: 3DB3CA23822EFA81 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:49:13] 777*2^1406568-1 is not prime. Res64: 354A994F3CB5404A Time : 0.0 sec. user=mdettweiler [2015-08-16 16:49:14] 803*2^1406568-1 is not prime. Res64: D6BA4C03D4CA8D19 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:49:19] 815*2^1406568-1 is not prime. Res64: 06C69F74DBA635EF Time : 0.0 sec. user=mdettweiler [2015-08-16 16:49:20] 845*2^1406568-1 is not prime. Res64: 55259249C26F983F Time : 0.0 sec. user=mdettweiler [2015-08-16 16:55:56] 975*2^1406568-1 is not prime. Res64: 66F91BB9C0CA4249 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:55:57] 609*2^1406569-1 is not prime. Res64: EC6DEEC7492C3541 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:56:19] 667*2^1406569-1 is not prime. Res64: 4048437419FCC356 Time : 0.0 sec. user=mdettweiler [2015-08-16 16:56:20] 769*2^1406569-1 is not prime. Res64: 566A098C5EA6346D Time : 0.0 sec. user=mdettweiler [2015-08-16 17:06:44] 895*2^1406569-1 is not prime. Res64: B338541FDE8090F5 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:06:44] 897*2^1406569-1 is not prime. Res64: 7BC84F555D91392D Time : 0.0 sec. user=mdettweiler [2015-08-16 17:06:48] 771*2^1406569-1 is not prime. Res64: A95420FF5D8AE0CF Time : 0.0 sec. user=mdettweiler [2015-08-16 17:06:49] 861*2^1406569-1 is not prime. Res64: 90B220BEEBEC8F76 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:13:23] 919*2^1406569-1 is not prime. Res64: C9094E6D4977189B Time : 0.0 sec. user=mdettweiler [2015-08-16 17:13:24] 997*2^1406569-1 is not prime. Res64: 99F61D32344BCF21 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:13:50] 635*2^1406570-1 is not prime. Res64: 6ACC8D48C00FB512 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:13:51] 665*2^1406570-1 is not prime. Res64: 59026FE36D0330DA Time : 0.0 sec. user=S_K_ [2015-08-16 17:16:32] 887*2^1406568-1 is not prime. Res64: 54B407A72003A40E Time : 0.0 sec. user=mdettweiler [2015-08-16 17:24:13] 767*2^1406570-1 is not prime. Res64: BF05996317E419C5 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:24:13] 867*2^1406570-1 is not prime. Res64: 05877324EC26D06F Time : 0.0 sec. user=mdettweiler [2015-08-16 17:24:15] 935*2^1406570-1 is not prime. Res64: A7A3AA3D15C33041 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:24:15] 703*2^1406571-1 is not prime. Res64: 12EC6D1BADDD7778 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:30:49] 913*2^1406571-1 is not prime. Res64: 5C06251EC561E7B7 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:30:49] 943*2^1406571-1 is not prime. Res64: 92DE98843BCC2323 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:31:16] 949*2^1406571-1 is not prime. Res64: 8F51CCC9E339A89D Time : 0.0 sec. user=mdettweiler [2015-08-16 17:31:17] 961*2^1406571-1 is not prime. Res64: 441A335F09EB95DB Time : 0.0 sec. user=mdettweiler [2015-08-16 17:41:37] 623*2^1406572-1 is not prime. Res64: FD346CDE27E1F20E Time : 0.0 sec. user=mdettweiler [2015-08-16 17:41:37] 869*2^1406572-1 is not prime. Res64: 9D39424C304DA64D Time : 0.0 sec. user=mdettweiler [2015-08-16 17:41:37] 797*2^1406572-1 is not prime. Res64: 8211DFD406BFD293 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:41:37] 875*2^1406572-1 is not prime. Res64: DBE618C9C3A69E01 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:48:18] 675*2^1406573-1 is not prime. Res64: F988F7C69BFF085C Time : 0.0 sec. user=mdettweiler [2015-08-16 17:48:19] 697*2^1406573-1 is not prime. Res64: 3CC1B0B696ACB867 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:48:37] 759*2^1406573-1 is not prime. Res64: F26AA9CBC33BAC80 Time : 0.0 sec. user=mdettweiler [2015-08-16 17:48:37] 837*2^1406573-1 is not prime. Res64: A6B7BBBEA7B39AFE Time : 0.0 sec. user=mdettweiler [2015-08-16 17:58:57] 955*2^1406573-1 is not prime. Res64: 39E3CBEFDCF96BFF Time : 0.0 sec. user=mdettweiler [2015-08-16 17:58:58] 991*2^1406573-1 is not prime. Res64: 2CD089524EE574DC Time : 0.0 sec. user=mdettweiler [2015-08-16 17:59:00] 885*2^1406573-1 is not prime. Res64: 4BFE966F210C98CB Time : 0.0 sec. user=mdettweiler [2015-08-16 17:59:01] 925*2^1406573-1 is not prime. Res64: 0BAAAF8ACD07DE99 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:05:52] 681*2^1406574-1 is not prime. Res64: 6EE66CE8CBD26B72 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:05:53] 693*2^1406574-1 is not prime. Res64: 9DAC27902E783A85 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:06:05] 695*2^1406574-1 is not prime. Res64: D9C19856B2FBA645 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:06:05] 707*2^1406574-1 is not prime. Res64: A8DF82F7E2F20EEF Time : 0.0 sec. user=S_K_ [2015-08-16 18:14:30] 975*2^1406571-1 is not prime. Res64: 1FE9CB8B3F9F2DF2 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:16:21] 711*2^1406574-1 is not prime. Res64: C3DCCF2F2C21C2A0 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:16:22] 747*2^1406574-1 is not prime. Res64: B7E79D208B45EDA8 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:16:28] 917*2^1406574-1 is not prime. Res64: 58B5D2F4734CCC7D Time : 0.0 sec. user=mdettweiler [2015-08-16 18:16:29] 957*2^1406574-1 is not prime. Res64: 34C2A077C9A8EBB6 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:23:22] 741*2^1406575-1 is not prime. Res64: C8C6AB71E1BA879C Time : 0.0 sec. user=mdettweiler [2015-08-16 18:23:22] 659*2^1406576-1 is not prime. Res64: FA8AEACBF44FE76D Time : 0.0 sec. user=mdettweiler [2015-08-16 18:23:33] 663*2^1406576-1 is not prime. Res64: 2D2FD42FE676C2F9 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:23:33] 717*2^1406576-1 is not prime. Res64: 8E3A9D57F6AE35EC Time : 0.0 sec. user=mdettweiler [2015-08-16 18:33:54] 709*2^1406577-1 is not prime. Res64: 58216C14FAE1C591 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:33:55] 781*2^1406577-1 is not prime. Res64: D6DD3A576606B52D Time : 0.0 sec. user=mdettweiler [2015-08-16 18:33:56] 903*2^1406576-1 is not prime. Res64: F22A84E04D4689E4 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:33:57] 651*2^1406577-1 is not prime. Res64: 3159EDE68FC713CD Time : 0.0 sec. user=mdettweiler [2015-08-16 18:40:42] 835*2^1406577-1 is not prime. Res64: 0D786EA49F8D4FFC Time : 0.0 sec. user=mdettweiler [2015-08-16 18:40:42] 945*2^1406577-1 is not prime. Res64: 35D799D5ED64E409 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:40:53] 991*2^1406577-1 is not prime. Res64: 7517CA5BD19AEE25 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:40:54] 623*2^1406578-1 is not prime. Res64: 2570AE1F25953865 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:51:23] 651*2^1406578-1 is not prime. Res64: C54D69AC4CDB5EB9 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:51:24] 755*2^1406578-1 is not prime. Res64: BC03221D85BB97FE Time : 0.0 sec. user=mdettweiler [2015-08-16 18:51:24] 831*2^1406578-1 is not prime. Res64: 9FFFF0531E8EB3DC Time : 0.0 sec. user=mdettweiler [2015-08-16 18:51:24] 843*2^1406578-1 is not prime. Res64: 19E99267A7F01369 Time : 0.0 sec. user=mdettweiler [2015-08-16 18:58:20] 675*2^1406579-1 is not prime. Res64: 88EC6EBAC56B729C Time : 0.0 sec. user=mdettweiler [2015-08-16 18:58:20] 703*2^1406579-1 is not prime. Res64: FC45814220A1AD5E Time : 0.0 sec. user=mdettweiler [2015-08-16 18:58:33] 941*2^1406578-1 is not prime. Res64: 539684D85387FFBF Time : 0.0 sec. user=mdettweiler [2015-08-16 18:58:34] 609*2^1406579-1 is not prime. Res64: 888E21DA911F70FE Time : 0.0 sec. user=mdettweiler [2015-08-16 19:08:45] 825*2^1406579-1 is not prime. Res64: 7D03B93101C0A937 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:08:46] 861*2^1406579-1 is not prime. Res64: EDD56B3DCD717AAD Time : 0.0 sec. user=mdettweiler [2015-08-16 19:08:52] 931*2^1406579-1 is not prime. Res64: 47B438269DCB4268 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:08:52] 863*2^1406580-1 is not prime. Res64: C7F781540431624F Time : 0.0 sec. user=mdettweiler [2015-08-16 19:15:51] 777*2^1406581-1 is not prime. Res64: 803A6CB6F6C51417 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:15:52] 871*2^1406581-1 is not prime. Res64: 7EA0E4AC26FC9E5E Time : 0.0 sec. user=mdettweiler [2015-08-16 19:15:57] 945*2^1406581-1 is not prime. Res64: 08AF41D6E4685137 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:15:58] 951*2^1406581-1 is not prime. Res64: 92EE2058DA68F3B8 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:26:13] 955*2^1406581-1 is not prime. Res64: 0B2E8A2B3756EE0C Time : 0.0 sec. user=mdettweiler [2015-08-16 19:26:14] 873*2^1406582-1 is not prime. Res64: D0833E7D38837548 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:26:18] 887*2^1406582-1 is not prime. Res64: E663CC8C6DAF4064 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:26:18] 945*2^1406582-1 is not prime. Res64: E40D9D173D68EE92 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:33:27] 965*2^1406582-1 is not prime. Res64: 0714264C43FFA726 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:33:27] 983*2^1406582-1 is not prime. Res64: 7B66DFF6011D5C49 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:33:30] 741*2^1406583-1 is not prime. Res64: 84DB61495E516B21 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:33:30] 781*2^1406583-1 is not prime. Res64: 158177872818AD4E Time : 0.0 sec. user=mdettweiler [2015-08-16 19:43:37] 819*2^1406583-1 is not prime. Res64: 428E55A63E16B1EE Time : 0.0 sec. user=mdettweiler [2015-08-16 19:43:37] 859*2^1406583-1 is not prime. Res64: 77062E8F0D3CBEB0 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:43:42] 943*2^1406583-1 is not prime. Res64: 44281E03E3AD0206 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:43:43] 951*2^1406583-1 is not prime. Res64: F394496C53FD2049 Time : 0.0 sec. user=mdettweiler [2015-08-16 19:50:54] 705*2^1406584-1 is not prime. Res64: 3DF3CDB0C0FFE3CF Time : 0.0 sec. user=mdettweiler [2015-08-16 19:50:55] 719*2^1406584-1 is not prime. Res64: F583F0713FFB1B4B Time : 0.0 sec. user=mdettweiler [2015-08-16 19:51:02] 773*2^1406584-1 is not prime. Res64: 5A3327035B20596A Time : 0.0 sec. user=mdettweiler [2015-08-16 19:51:02] 819*2^1406584-1 is not prime. Res64: F540CEBE473C7904 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:00:59] 855*2^1406584-1 is not prime. Res64: 70545659944D937B Time : 0.0 sec. user=mdettweiler [2015-08-16 20:01:00] 917*2^1406584-1 is not prime. Res64: A4EB56C82DDFE713 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:01:05] 601*2^1406585-1 is not prime. Res64: 737820592DB0626D Time : 0.0 sec. user=mdettweiler [2015-08-16 20:01:07] 711*2^1406585-1 is not prime. Res64: 3E69DAD2323A4577 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:08:20] 777*2^1406585-1 is not prime. Res64: 2C6FFC7EC21B2021 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:08:20] 855*2^1406585-1 is not prime. Res64: D36C3BB4186BAB1C Time : 0.0 sec. user=mdettweiler [2015-08-16 20:08:32] 885*2^1406585-1 is not prime. Res64: 597364878B25250D Time : 0.0 sec. user=mdettweiler [2015-08-16 20:08:32] 937*2^1406585-1 is not prime. Res64: B07F4B94A4ED1D57 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:18:28] 955*2^1406585-1 is not prime. Res64: 80F207681DC35551 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:18:28] 635*2^1406586-1 is not prime. Res64: 88CEE2DC891FF0E4 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:18:34] 893*2^1406586-1 is not prime. Res64: 866EB4C98672A4EE Time : 0.0 sec. user=mdettweiler [2015-08-16 20:18:35] 921*2^1406586-1 is not prime. Res64: 4E1BBD452370C78E Time : 0.0 sec. user=mdettweiler [2015-08-16 20:25:51] 631*2^1406587-1 is not prime. Res64: CB354AD5A6D90876 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:25:51] 685*2^1406587-1 is not prime. Res64: BC2A186B7EDB8D6A Time : 0.0 sec. user=mdettweiler [2015-08-16 20:25:59] 741*2^1406587-1 is not prime. Res64: 035C77B9753CAA49 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:26:00] 765*2^1406587-1 is not prime. Res64: 647B1B8B6F4CF732 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:36:04] 871*2^1406587-1 is not prime. Res64: A439C8AB31655063 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:36:05] 891*2^1406587-1 is not prime. Res64: 2EDC40BE5DDEA3C7 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:36:06] 915*2^1406587-1 is not prime. Res64: F10F846611C17022 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:36:06] 939*2^1406587-1 is not prime. Res64: D5D2B83BB0275D37 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:43:22] 687*2^1406588-1 is not prime. Res64: 27897C5567B73D0C Time : 0.0 sec. user=mdettweiler [2015-08-16 20:43:22] 725*2^1406588-1 is not prime. Res64: BD59529023756BCF Time : 0.0 sec. user=mdettweiler [2015-08-16 20:43:33] 759*2^1406588-1 is not prime. Res64: 185AECB20BCA3553 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:43:34] 869*2^1406588-1 is not prime. Res64: 5ED7BD3EDB17B511 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:53:34] 897*2^1406588-1 is not prime. Res64: 8948327C5B91EF50 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:53:34] 977*2^1406588-1 is not prime. Res64: B1C67EEA51853921 Time : 0.0 sec. user=mdettweiler [2015-08-16 20:53:34] 875*2^1406588-1 is not prime. Res64: 85EEDC5E1AE22C3B Time : 0.0 sec. user=mdettweiler [2015-08-16 20:53:35] 879*2^1406588-1 is not prime. Res64: 7DF6161A5AC3FFAB Time : 0.0 sec. user=mdettweiler [2015-08-16 21:00:45] 661*2^1406589-1 is not prime. Res64: 998D8FB0F2FADF74 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:00:46] 685*2^1406589-1 is not prime. Res64: A4583B50B26E181C Time : 0.0 sec. user=mdettweiler [2015-08-16 21:00:59] 709*2^1406589-1 is not prime. Res64: 29D7FE21F8C6389A Time : 0.0 sec. user=mdettweiler [2015-08-16 21:01:00] 781*2^1406589-1 is not prime. Res64: 9648751021555B86 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:10:57] 945*2^1406589-1 is not prime. Res64: D261443F04C1CB05 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:10:58] 979*2^1406589-1 is not prime. Res64: 2C9B6A64A9F846B4 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:10:58] 877*2^1406589-1 is not prime. Res64: 17AF7E7CA7ADA0EA Time : 0.0 sec. user=mdettweiler [2015-08-16 21:10:58] 889*2^1406589-1 is not prime. Res64: 64C5BCF493528B3F Time : 0.0 sec. user=mdettweiler [2015-08-16 21:18:08] 611*2^1406590-1 is not prime. Res64: C7A31690B44DE2F6 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:18:09] 713*2^1406590-1 is not prime. Res64: A22EAF7CDA90F6B6 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:18:31] 603*2^1406591-1 is not prime. Res64: D7A337F496F337C1 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:18:32] 661*2^1406591-1 is not prime. Res64: C862E86242C296D8 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:28:25] 741*2^1406591-1 is not prime. Res64: 0DA9831CFB939446 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:28:26] 759*2^1406591-1 is not prime. Res64: 6733DF2B12EF63EC Time : 0.0 sec. user=mdettweiler [2015-08-16 21:28:26] 939*2^1406591-1 is not prime. Res64: 613850056503EA7E Time : 0.0 sec. user=mdettweiler [2015-08-16 21:28:27] 943*2^1406591-1 is not prime. Res64: 236DC2C18FF0EF88 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:35:56] 973*2^1406591-1 is not prime. Res64: B1366856064CCD91 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:35:56] 699*2^1406592-1 is not prime. Res64: 7641CA818BCECFF5 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:35:56] 695*2^1406592-1 is not prime. Res64: 4920981CDBECFD26 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:35:56] 753*2^1406592-1 is not prime. Res64: F62C5DB455809CD1 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:45:50] 915*2^1406592-1 is not prime. Res64: 253E3388EBBEC68A Time : 0.0 sec. user=mdettweiler [2015-08-16 21:45:50] 899*2^1406592-1 is not prime. Res64: 9E59B4FAB8F2A393 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:45:51] 917*2^1406592-1 is not prime. Res64: FBFE1C0797BF94E4 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:45:51] 903*2^1406592-1 is not prime. Res64: F4A2BE06160CFC22 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:53:26] 933*2^1406592-1 is not prime. Res64: 35EE0364E0C09C7E Time : 0.0 sec. user=mdettweiler [2015-08-16 21:53:26] 615*2^1406593-1 is not prime. Res64: 948CC4E702823EF3 Time : 0.0 sec. user=mdettweiler [2015-08-16 21:53:27] 625*2^1406593-1 is not prime. Res64: F61316954C0CF11F Time : 0.0 sec. user=mdettweiler [2015-08-16 21:53:27] 691*2^1406593-1 is not prime. Res64: 07354DB5A9E85BB1 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:03:19] 919*2^1406593-1 is not prime. Res64: D09278E8C037F5C1 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:03:20] 987*2^1406593-1 is not prime. Res64: BB9E425DDC287FEE Time : 0.0 sec. user=mdettweiler [2015-08-16 22:03:22] 847*2^1406593-1 is not prime. Res64: B3334E803329CF3D Time : 0.0 sec. user=mdettweiler [2015-08-16 22:03:23] 861*2^1406593-1 is not prime. Res64: 49F032C62E405B5E Time : 0.0 sec. user=mdettweiler [2015-08-16 22:10:48] 813*2^1406594-1 is not prime. Res64: 36A9988B35DB191D Time : 0.0 sec. user=mdettweiler [2015-08-16 22:10:49] 873*2^1406594-1 is not prime. Res64: 7B3B08FB7A9B72BC Time : 0.0 sec. user=mdettweiler [2015-08-16 22:10:50] 921*2^1406594-1 is not prime. Res64: 822298BFA14B843F Time : 0.0 sec. user=mdettweiler [2015-08-16 22:10:51] 923*2^1406594-1 is not prime. Res64: D393125032EC3394 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:20:47] 941*2^1406594-1 is not prime. Res64: AA3DCCD83B7CEE2A Time : 0.0 sec. user=mdettweiler [2015-08-16 22:20:47] 1001*2^1406594-1 is not prime. Res64: A9C7CEE4ADB7A879 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:20:51] 609*2^1406595-1 is not prime. Res64: BB7ED38AD05FCDBF Time : 0.0 sec. user=mdettweiler [2015-08-16 22:20:51] 619*2^1406595-1 is not prime. Res64: A2D98E1315E4714E Time : 0.0 sec. user=mdettweiler [2015-08-16 22:28:18] 885*2^1406595-1 is not prime. Res64: A0EC91DC388E8A0F Time : 0.0 sec. user=mdettweiler [2015-08-16 22:28:18] 909*2^1406595-1 is not prime. Res64: D3B9A31D9A4F8F16 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:28:21] 783*2^1406595-1 is not prime. Res64: FC9B72DF063393DA Time : 0.0 sec. user=mdettweiler [2015-08-16 22:28:21] 805*2^1406595-1 is not prime. Res64: AFD91889B7E06A8A Time : 0.0 sec. user=mdettweiler [2015-08-16 22:38:11] 999*2^1406595-1 is not prime. Res64: 320CC7C8D9C2642B Time : 0.0 sec. user=mdettweiler [2015-08-16 22:38:11] 615*2^1406596-1 is not prime. Res64: CCB234C8647C4050 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:38:13] 973*2^1406595-1 is not prime. Res64: CFCE944D0F3C6A10 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:38:14] 985*2^1406595-1 is not prime. Res64: 2E56C279E578E039 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:45:44] 623*2^1406596-1 is not prime. Res64: 25D64C82DD0AA0E4 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:45:45] 717*2^1406596-1 is not prime. Res64: 65151B8F8D657AA5 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:45:59] 777*2^1406596-1 is not prime. Res64: B695E2C94701C5A8 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:46:00] 857*2^1406596-1 is not prime. Res64: DC109946C124B3F8 Time : 0.0 sec. user=mdettweiler [2015-08-16 22:55:34] 923*2^1406596-1 is not prime. Res64: A4F8B6124A6D6FFF Time : 0.0 sec. user=mdettweiler [2015-08-16 22:55:35] 927*2^1406596-1 is not prime. Res64: F44F87936B7B0FAB Time : 0.0 sec. user=mdettweiler [2015-08-16 22:55:40] 939*2^1406596-1 is not prime. Res64: 582E30F856A60F5D Time : 0.0 sec. user=mdettweiler [2015-08-16 22:55:40] 615*2^1406597-1 is not prime. Res64: 4B11E859AF2E7A3D Time : 0.0 sec. user=mdettweiler [2015-08-16 23:03:08] 655*2^1406597-1 is not prime. Res64: 7B6ED94FA7D870AC Time : 0.0 sec. user=mdettweiler [2015-08-16 23:03:09] 669*2^1406597-1 is not prime. Res64: B0A8851A63AE28DB Time : 0.0 sec. user=mdettweiler [2015-08-16 23:03:32] 711*2^1406597-1 is not prime. Res64: F59CD37C9B91E99D Time : 0.0 sec. user=mdettweiler [2015-08-16 23:03:34] 741*2^1406597-1 is not prime. Res64: E0FB609255C25EC1 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:13:06] 879*2^1406597-1 is not prime. Res64: 47B19F1A97C0EF08 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:13:07] 885*2^1406597-1 is not prime. Res64: BFAFA9C1094FA203 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:13:07] 955*2^1406597-1 is not prime. Res64: 98EFFB8033C54EA3 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:13:08] 681*2^1406598-1 is not prime. Res64: 9F96AD61530BB221 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:21:01] 861*2^1406598-1 is not prime. Res64: 1A34656FE8BB0FCA Time : 0.0 sec. user=mdettweiler [2015-08-16 23:21:01] 963*2^1406598-1 is not prime. Res64: 64DFA6A72CC7D295 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:21:11] 971*2^1406598-1 is not prime. Res64: 9DFE73D37EA279DB Time : 0.0 sec. user=mdettweiler [2015-08-16 23:21:11] 633*2^1406599-1 is not prime. Res64: CCDB1AB946FB127D Time : 0.0 sec. user=mdettweiler [2015-08-16 23:30:35] 693*2^1406599-1 is not prime. Res64: 658B8EDB49E723BB Time : 0.0 sec. user=mdettweiler [2015-08-16 23:30:35] 771*2^1406599-1 is not prime. Res64: 75AD780254726901 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:30:35] 705*2^1406599-1 is not prime. Res64: 53F1EB166110B3C2 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:30:36] 883*2^1406599-1 is not prime. Res64: 7555566C7D35C902 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:38:41] 897*2^1406600-1 is not prime. Res64: EBB722821F312451 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:38:42] 681*2^1406601-1 is not prime. Res64: B191D975C9DAE075 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:38:42] 909*2^1406599-1 is not prime. Res64: D6C46DA7D0DB2071 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:38:42] 689*2^1406600-1 is not prime. Res64: 69DA8366952617CC Time : 0.0 sec. user=mdettweiler [2015-08-16 23:48:00] 885*2^1406601-1 is not prime. Res64: F19F06C49C6D985B Time : 0.0 sec. user=mdettweiler [2015-08-16 23:48:01] 889*2^1406601-1 is not prime. Res64: 2C6D76DC2E6FEBD1 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:48:02] 921*2^1406601-1 is not prime. Res64: F82A208DCE40891F Time : 0.0 sec. user=mdettweiler [2015-08-16 23:48:02] 603*2^1406602-1 is not prime. Res64: 7D01974E0B89CA68 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:56:10] 657*2^1406602-1 is not prime. Res64: B92FAD59258241C1 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:56:10] 741*2^1406602-1 is not prime. Res64: 85A0678BDF87BF80 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:56:13] 621*2^1406603-1 is not prime. Res64: 7BA4EA240AAB50A6 Time : 0.0 sec. user=mdettweiler [2015-08-16 23:56:13] 673*2^1406603-1 is not prime. Res64: A2827FF97018E5A2 Time : 0.0 sec.