user=mdettweiler [2018-04-15 00:28:10] 725*2^1507128-1 is not prime. Res64: A12493B479EFD9AA Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:11] 765*2^1507128-1 is not prime. Res64: 5A693F087C9D0FB7 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:11] 893*2^1507128-1 is not prime. Res64: DAD91C6654838FB4 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:12] 945*2^1507128-1 is not prime. Res64: CFB1586D9D5D984E Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:12] 687*2^1507129-1 is not prime. Res64: 5598B48B5F09F9FB Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:53] 729*2^1507129-1 is not prime. Res64: 27402872AE7ECE19 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:53] 741*2^1507129-1 is not prime. Res64: 9AE258FDE59CD9BB Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:54] 799*2^1507129-1 is not prime. Res64: 8F2A8404E08669D0 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:54] 811*2^1507129-1 is not prime. Res64: 97E7A5EA1975CEF5 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:28:54] 945*2^1507129-1 is not prime. Res64: 07D4853EDC0D348E Time : 0.0 sec. user=mdettweiler [2018-04-15 00:33:40] 955*2^1507129-1 is not prime. Res64: 70D079DAC11F00BE Time : 0.0 sec. user=mdettweiler [2018-04-15 00:33:40] 999*2^1507129-1 is not prime. Res64: 996115335CF8F8E0 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:33:41] 645*2^1507130-1 is not prime. Res64: 635989FE1DD12A42 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:33:41] 741*2^1507130-1 is not prime. Res64: 5FB17BDCBEDA69BD Time : 0.0 sec. user=mdettweiler [2018-04-15 00:33:41] 755*2^1507130-1 is not prime. Res64: 42AF26219CF54685 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:41:50] 783*2^1507130-1 is not prime. Res64: 4E1812452D9BCC30 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:41:51] 923*2^1507130-1 is not prime. Res64: 7D5B3E3B2CDEF792 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:41:51] 941*2^1507130-1 is not prime. Res64: E650FC1D4DE13ABF Time : 0.0 sec. user=mdettweiler [2018-04-15 00:41:52] 639*2^1507131-1 is not prime. Res64: BB2984EA704787C4 Time : 0.0 sec. user=mdettweiler [2018-04-15 00:41:53] 943*2^1507131-1 is not prime. Res64: B7B0D5BC76DE085E Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:21] 955*2^1507131-1 is not prime. Res64: 08CB54FCDB733074 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:21] 961*2^1507131-1 is not prime. Res64: 2B33270CCE4F6562 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:21] 615*2^1507132-1 is not prime. Res64: 6BEE375CEE1763FF Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:22] 857*2^1507132-1 is not prime. Res64: 72648FA7ED879AB6 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:22] 899*2^1507132-1 is not prime. Res64: 5B43BFE6D5DC67D0 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:49] 915*2^1507132-1 is not prime. Res64: 628242F8E8AA4A43 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:49] 615*2^1507133-1 is not prime. Res64: BA92A32662F99AF9 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:50] 715*2^1507133-1 is not prime. Res64: C1AD44ECC122359F Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:50] 781*2^1507133-1 is not prime. Res64: 8888BDD260ACD931 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:19:50] 787*2^1507133-1 is not prime. Res64: C89B8DF12A0DF2EA Time : 0.0 sec. user=mdettweiler [2018-04-15 01:24:58] 789*2^1507133-1 is not prime. Res64: 9832E1FCD00AF096 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:24:58] 795*2^1507133-1 is not prime. Res64: 1E0786ACB5CF150E Time : 0.0 sec. user=mdettweiler [2018-04-15 01:24:59] 889*2^1507133-1 is not prime. Res64: A56E1BA6187F143D Time : 0.0 sec. user=mdettweiler [2018-04-15 01:24:59] 915*2^1507133-1 is not prime. Res64: AB4F55172AF4AA08 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:24:59] 741*2^1507134-1 is not prime. Res64: 83873EC5E4B926D5 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:35:16] 755*2^1507134-1 is not prime. Res64: 38358785398A28D4 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:35:17] 807*2^1507134-1 is not prime. Res64: 6F88FBC7D02C4085 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:35:17] 863*2^1507134-1 is not prime. Res64: 9483944440C5FC12 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:35:18] 873*2^1507134-1 is not prime. Res64: 3D65C1D405E07F12 Time : 0.0 sec. user=mdettweiler [2018-04-15 01:35:19] 917*2^1507134-1 is not prime. Res64: 285FDFDE499E4F7F Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:11] 913*2^1507135-1 is not prime. Res64: D3F7AB25E2110F28 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:11] 973*2^1507135-1 is not prime. Res64: 4ABC2F934A446ED7 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:11] 677*2^1507136-1 is not prime. Res64: D65ADEDB3E91604E Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:12] 683*2^1507136-1 is not prime. Res64: BA368EFC647DC8AA Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:12] 689*2^1507136-1 is not prime. Res64: 81D9B40260C8AE09 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:47] 971*2^1507134-1 is not prime. Res64: 7BE206A67A27775E Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:48] 975*2^1507134-1 is not prime. Res64: 265ADCA48D380C50 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:48] 639*2^1507135-1 is not prime. Res64: 7AECE2638441BB20 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:48] 723*2^1507135-1 is not prime. Res64: BA4D0EEC4AA1E88B Time : 0.0 sec. user=mdettweiler [2018-04-15 02:11:48] 855*2^1507135-1 is not prime. Res64: 4B63A1CD7E4CA50B Time : 0.0 sec. user=mdettweiler [2018-04-15 02:16:17] 813*2^1507136-1 is not prime. Res64: 0706F868EC35B612 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:16:17] 903*2^1507136-1 is not prime. Res64: 8135BB3ED2DC1E2D Time : 0.0 sec. user=mdettweiler [2018-04-15 02:16:17] 917*2^1507136-1 is not prime. Res64: 276D31F718238DA0 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:16:18] 615*2^1507137-1 is not prime. Res64: 3599C5D1E0B0CFB1 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:16:18] 691*2^1507137-1 is not prime. Res64: C73D67DFF9324725 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:26:17] 835*2^1507137-1 is not prime. Res64: 059D47707D93816F Time : 0.0 sec. user=mdettweiler [2018-04-15 02:26:17] 837*2^1507137-1 is not prime. Res64: D3FFF641B1366205 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:26:17] 909*2^1507137-1 is not prime. Res64: 3DD73386C8BFA078 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:26:18] 949*2^1507137-1 is not prime. Res64: E76A554D31CF9A85 Time : 0.0 sec. user=mdettweiler [2018-04-15 02:26:18] 991*2^1507137-1 is not prime. Res64: 582CB0E7B73CCC4D Time : 0.0 sec. user=mdettweiler [2018-04-15 03:02:19] 611*2^1507138-1 is not prime. Res64: 382D3D42B8AD7969 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:02:20] 617*2^1507138-1 is not prime. Res64: 9FD05036E2CE4398 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:02:21] 621*2^1507138-1 is not prime. Res64: B3BD29DB03BD73D9 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:02:22] 671*2^1507138-1 is not prime. Res64: 6FC606D6956BEA2A Time : 0.0 sec. user=mdettweiler [2018-04-15 03:02:23] 677*2^1507138-1 is not prime. Res64: C3493838757EF521 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:04:12] 827*2^1507138-1 is not prime. Res64: A0755E77BDD2B833 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:04:14] 867*2^1507138-1 is not prime. Res64: 3300F743B8AD6375 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:04:14] 933*2^1507138-1 is not prime. Res64: 3E0E19FCF0BBA925 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:04:15] 951*2^1507138-1 is not prime. Res64: E2F76C0822146AD9 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:04:16] 971*2^1507138-1 is not prime. Res64: 7EFD195957022E3F Time : 0.0 sec. user=mdettweiler [2018-04-15 03:08:04] 995*2^1507138-1 is not prime. Res64: 9BF9C3DF530179E0 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:08:05] 603*2^1507139-1 is not prime. Res64: 80459C8479E9E335 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:08:05] 735*2^1507139-1 is not prime. Res64: 6653189C43B8DB45 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:08:05] 903*2^1507139-1 is not prime. Res64: ED211B8998EFC01E Time : 0.0 sec. user=mdettweiler [2018-04-15 03:08:05] 943*2^1507139-1 is not prime. Res64: 88837FE9EADB57F3 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:18:53] 689*2^1507140-1 is not prime. Res64: F7896801212EF8A0 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:18:53] 759*2^1507140-1 is not prime. Res64: 81D6631DFA57CC80 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:18:53] 825*2^1507140-1 is not prime. Res64: 3656703D4B21402C Time : 0.0 sec. user=mdettweiler [2018-04-15 03:18:54] 927*2^1507140-1 is not prime. Res64: B39AA7BE00799FFB Time : 0.0 sec. user=mdettweiler [2018-04-15 03:18:54] 757*2^1507141-1 is not prime. Res64: 68431C47AE39B237 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:53:12] 861*2^1507141-1 is not prime. Res64: 53219FEC07965327 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:53:13] 945*2^1507141-1 is not prime. Res64: BD919FDA5448DAA8 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:53:14] 617*2^1507142-1 is not prime. Res64: 490E40642C7A0F1E Time : 0.0 sec. user=mdettweiler [2018-04-15 03:53:14] 743*2^1507142-1 is not prime. Res64: 3BC3BFDB9E6D305E Time : 0.0 sec. user=mdettweiler [2018-04-15 03:53:15] 747*2^1507142-1 is not prime. Res64: 2737D9D2B8120F61 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:55:26] 755*2^1507142-1 is not prime. Res64: 93261BF74CB1DD73 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:55:27] 827*2^1507142-1 is not prime. Res64: 3CE36A7B70D7C35D Time : 0.0 sec. user=mdettweiler [2018-04-15 03:55:28] 831*2^1507142-1 is not prime. Res64: B9586D79A5D78C83 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:55:29] 833*2^1507142-1 is not prime. Res64: 4E2C9B3BAB00A6B0 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:55:30] 951*2^1507142-1 is not prime. Res64: 24C3A0566855C301 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:59:07] 957*2^1507142-1 is not prime. Res64: 598DC2A8C6B9F6E3 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:59:07] 965*2^1507142-1 is not prime. Res64: 450E1C02371D2CA9 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:59:08] 723*2^1507143-1 is not prime. Res64: 1E268328D751893E Time : 0.0 sec. user=mdettweiler [2018-04-15 03:59:08] 885*2^1507143-1 is not prime. Res64: B35C4F3C603C29D7 Time : 0.0 sec. user=mdettweiler [2018-04-15 03:59:09] 991*2^1507143-1 is not prime. Res64: 552131CD30644F65 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:08:56] 635*2^1507144-1 is not prime. Res64: D9873F84855624AA Time : 0.0 sec. user=mdettweiler [2018-04-15 04:49:24] 743*2^1507144-1 is not prime. Res64: A47F2D4CF2CF9CE0 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:49:24] 855*2^1507144-1 is not prime. Res64: 37819BAF55FFB7E2 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:49:25] 905*2^1507144-1 is not prime. Res64: 6B61E1ECECE71D91 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:49:25] 927*2^1507144-1 is not prime. Res64: C5B9660498B24BB4 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:49:25] 771*2^1507145-1 is not prime. Res64: 440C2CDF289012A1 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:50:37] 789*2^1507145-1 is not prime. Res64: 9BD04944DB73D376 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:50:37] 907*2^1507145-1 is not prime. Res64: 70351DDD1A56C150 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:50:38] 909*2^1507145-1 is not prime. Res64: C5054D4ACDF97792 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:50:38] 955*2^1507145-1 is not prime. Res64: ACC7D6D8A27F54FE Time : 0.0 sec. user=mdettweiler [2018-04-15 04:50:38] 671*2^1507146-1 is not prime. Res64: 8FBFD914E4A1DAAB Time : 0.0 sec. user=mdettweiler [2018-04-15 04:53:59] 711*2^1507146-1 is not prime. Res64: 50F5B7368FB06A25 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:53:59] 713*2^1507146-1 is not prime. Res64: EB6BFC21599E5D4B Time : 0.0 sec. user=mdettweiler [2018-04-15 04:54:00] 807*2^1507146-1 is not prime. Res64: E25B8B543194CE85 Time : 0.0 sec. user=mdettweiler [2018-04-15 04:54:00] 837*2^1507146-1 is not prime. Res64: 4009C0882DF65C7A Time : 0.0 sec. user=mdettweiler [2018-04-15 04:54:00] 1001*2^1507146-1 is not prime. Res64: 876694D6F8B43A15 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:40:52] 931*2^1507147-1 is not prime. Res64: 8190AA7B7ADBB4AD Time : 0.0 sec. user=mdettweiler [2018-04-15 05:40:53] 999*2^1507147-1 is not prime. Res64: 56B84D96DC9BE4AF Time : 0.0 sec. user=mdettweiler [2018-04-15 05:40:53] 677*2^1507148-1 is not prime. Res64: 250F41A14B47E15F Time : 0.0 sec. user=mdettweiler [2018-04-15 05:40:53] 707*2^1507148-1 is not prime. Res64: 75988010CD6CAA52 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:40:54] 753*2^1507148-1 is not prime. Res64: 1F3EE063F4D27283 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:42:37] 795*2^1507148-1 is not prime. Res64: 6F52EA120A5C15C1 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:42:37] 813*2^1507148-1 is not prime. Res64: D8B225C5F4646A2D Time : 0.0 sec. user=mdettweiler [2018-04-15 05:42:38] 867*2^1507148-1 is not prime. Res64: 1E7C09C91B3233E7 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:42:38] 935*2^1507148-1 is not prime. Res64: CECC90BBAFE5C316 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:42:38] 957*2^1507148-1 is not prime. Res64: ABB4A4D8D70CA8D6 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:45:22] 639*2^1507149-1 is not prime. Res64: 631F3EAD7A2F8487 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:45:22] 781*2^1507149-1 is not prime. Res64: 135F8A519A32AFCB Time : 0.0 sec. user=mdettweiler [2018-04-15 05:45:22] 895*2^1507149-1 is not prime. Res64: 65710FB882638AD3 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:45:23] 927*2^1507149-1 is not prime. Res64: FE57C7DA775E6D51 Time : 0.0 sec. user=mdettweiler [2018-04-15 05:45:23] 653*2^1507150-1 is not prime. Res64: 026DED0E9AD3F181 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:32:34] 657*2^1507150-1 is not prime. Res64: 398882FC18B0B811 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:32:34] 681*2^1507150-1 is not prime. Res64: D72172AC2DEA0362 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:32:34] 791*2^1507150-1 is not prime. Res64: 430C09A54F80E051 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:32:34] 833*2^1507150-1 is not prime. Res64: DBDD129ED08B44D6 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:32:35] 981*2^1507150-1 is not prime. Res64: 442C311F002D5543 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:33:37] 601*2^1507151-1 is not prime. Res64: 6E521E33B65D8C17 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:33:37] 703*2^1507151-1 is not prime. Res64: 7E14FEC5C1B723C8 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:33:37] 715*2^1507151-1 is not prime. Res64: C02AA9BBAF496189 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:33:37] 741*2^1507151-1 is not prime. Res64: BE208BF39552DF97 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:33:38] 775*2^1507151-1 is not prime. Res64: FA09E732BC744FB8 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:37:44] 781*2^1507151-1 is not prime. Res64: 76CC4DE5A07077CE Time : 0.0 sec. user=mdettweiler [2018-04-15 06:37:44] 783*2^1507151-1 is not prime. Res64: 3D513035EE041609 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:37:44] 811*2^1507151-1 is not prime. Res64: 5BA52F3CC9C8F8B9 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:37:44] 825*2^1507151-1 is not prime. Res64: CEB56066C3601C49 Time : 0.0 sec. user=mdettweiler [2018-04-15 06:37:45] 939*2^1507151-1 is not prime. Res64: 31336281BE4F8E7C Time : 0.0 sec. user=mdettweiler [2018-04-15 07:24:10] 979*2^1507151-1 is not prime. Res64: B0CA01D8FFBE4C9B Time : 0.0 sec. user=mdettweiler [2018-04-15 07:24:10] 669*2^1507152-1 is not prime. Res64: 6B563E24E7CE0489 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:24:11] 675*2^1507152-1 is not prime. Res64: E0632208189949DA Time : 0.0 sec. user=mdettweiler [2018-04-15 07:24:11] 723*2^1507152-1 is not prime. Res64: ECD7C3DF260EDB15 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:24:11] 753*2^1507152-1 is not prime. Res64: F0A77426CE33A169 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:25:07] 863*2^1507152-1 is not prime. Res64: 009D90A0A7685E1F Time : 0.0 sec. user=mdettweiler [2018-04-15 07:25:07] 609*2^1507153-1 is not prime. Res64: 896C1E893155BA8E Time : 0.0 sec. user=mdettweiler [2018-04-15 07:25:08] 751*2^1507153-1 is not prime. Res64: 98BAB557F340642E Time : 0.0 sec. user=mdettweiler [2018-04-15 07:25:08] 801*2^1507153-1 is not prime. Res64: F34124E672616AD8 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:25:08] 817*2^1507153-1 is not prime. Res64: 0BDA0786533C4FD6 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:29:43] 705*2^1507154-1 is not prime. Res64: 2E57522B23A77CC3 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:29:43] 827*2^1507154-1 is not prime. Res64: 46982BAC3A426D6A Time : 0.0 sec. user=mdettweiler [2018-04-15 07:29:44] 951*2^1507154-1 is not prime. Res64: 7C33DE0D24EC64CF Time : 0.0 sec. user=mdettweiler [2018-04-15 07:29:44] 981*2^1507154-1 is not prime. Res64: 656B6E3C47DB4CAC Time : 0.0 sec. user=mdettweiler [2018-04-15 07:29:44] 643*2^1507155-1 is not prime. Res64: 4E133FC71D58B775 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:41:31] 693*2^1507144-1 is not prime. Res64: D21D89A09FE44F86 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:41:31] 695*2^1507144-1 is not prime. Res64: AED2E5AF14815CA7 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:41:31] 707*2^1507144-1 is not prime. Res64: 22069E0999D8D662 Time : 0.0 sec. user=mdettweiler [2018-04-15 07:41:31] 717*2^1507144-1 is not prime. Res64: C686ABBCFB91CBF1 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:06] 691*2^1507155-1 is not prime. Res64: 7914B4EA47987176 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:07] 913*2^1507155-1 is not prime. Res64: 719BA2EDD877DF28 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:07] 943*2^1507155-1 is not prime. Res64: EBE610EC48C5EEFA Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:07] 657*2^1507156-1 is not prime. Res64: 9F2E95195B2AA4E2 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:08] 705*2^1507156-1 is not prime. Res64: D9A4E5520CB5BFCA Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:21] 749*2^1507156-1 is not prime. Res64: 73603EB21E5A1467 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:21] 777*2^1507156-1 is not prime. Res64: 77D751B34693293B Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:22] 803*2^1507156-1 is not prime. Res64: 58813D8CED51C5EB Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:22] 825*2^1507156-1 is not prime. Res64: A329C79413D9A010 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:17:23] 993*2^1507156-1 is not prime. Res64: 3D198E749712E45D Time : 0.0 sec. user=mdettweiler [2018-04-15 08:22:16] 837*2^1507157-1 is not prime. Res64: 933ED08CD33C2EB8 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:22:16] 901*2^1507157-1 is not prime. Res64: 2EB4525D2B7A2F58 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:22:16] 927*2^1507157-1 is not prime. Res64: 00CEF1E70BB646A9 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:22:17] 931*2^1507157-1 is not prime. Res64: 8140D2E8EB7DE87B Time : 0.0 sec. user=mdettweiler [2018-04-15 08:22:17] 981*2^1507157-1 is not prime. Res64: ACEF2C6A86CF899D Time : 0.0 sec. user=mdettweiler [2018-04-15 08:32:09] 991*2^1507157-1 is not prime. Res64: B8BABB42921BCC79 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:32:09] 627*2^1507158-1 is not prime. Res64: 720FE7EC9EBE8427 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:32:09] 671*2^1507158-1 is not prime. Res64: 7E545A088498857E Time : 0.0 sec. user=mdettweiler [2018-04-15 08:32:10] 683*2^1507158-1 is not prime. Res64: E0BE7AB4826C6BA3 Time : 0.0 sec. user=mdettweiler [2018-04-15 08:32:10] 881*2^1507158-1 is not prime. Res64: 42F8049A6F1F3F12 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:07:42] 941*2^1507158-1 is not prime. Res64: 9C198C58D6F3F9FE Time : 0.0 sec. user=mdettweiler [2018-04-15 09:07:44] 963*2^1507158-1 is not prime. Res64: E5470DB930F4A0E6 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:07:46] 601*2^1507159-1 is not prime. Res64: E3A9B1841C46FDCC Time : 0.0 sec. user=mdettweiler [2018-04-15 09:07:48] 693*2^1507159-1 is not prime. Res64: 03CD9AC43521D7EF Time : 0.0 sec. user=mdettweiler [2018-04-15 09:07:50] 793*2^1507159-1 is not prime. Res64: 817B28456F554ACD Time : 0.0 sec. user=mdettweiler [2018-04-15 09:08:45] 861*2^1507159-1 is not prime. Res64: 8610D6214FE766D2 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:08:45] 873*2^1507159-1 is not prime. Res64: CA4A785B3B1574DD Time : 0.0 sec. user=mdettweiler [2018-04-15 09:08:46] 909*2^1507159-1 is not prime. Res64: 75D15D0B8189F51A Time : 0.0 sec. user=mdettweiler [2018-04-15 09:08:46] 985*2^1507159-1 is not prime. Res64: 9BD6EA02DB182A98 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:08:46] 843*2^1507160-1 is not prime. Res64: CF10FB11876D0E32 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:12:33] 627*2^1507161-1 is not prime. Res64: 73C38B25DDEDFE39 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:12:33] 679*2^1507161-1 is not prime. Res64: 04FAADA87E84E99E Time : 0.0 sec. user=mdettweiler [2018-04-15 09:12:33] 745*2^1507161-1 is not prime. Res64: E66073F543663C07 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:12:34] 865*2^1507161-1 is not prime. Res64: BDADE1B586D11935 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:12:34] 889*2^1507161-1 is not prime. Res64: 63F3C595CCB49465 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:23:57] 741*2^1507162-1 is not prime. Res64: 58A0AF945FD587FE Time : 0.0 sec. user=mdettweiler [2018-04-15 09:23:58] 833*2^1507162-1 is not prime. Res64: A5952E433068D260 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:23:58] 843*2^1507162-1 is not prime. Res64: 9B9E7584D501DCAD Time : 0.0 sec. user=mdettweiler [2018-04-15 09:23:58] 855*2^1507162-1 is not prime. Res64: 9890CC5819872541 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:23:58] 873*2^1507162-1 is not prime. Res64: 34E767CE368864B3 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:58:20] 885*2^1507162-1 is not prime. Res64: 2E610142DFCF7415 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:58:20] 945*2^1507162-1 is not prime. Res64: E90AF3C2D979021C Time : 0.0 sec. user=mdettweiler [2018-04-15 09:58:20] 603*2^1507163-1 is not prime. Res64: CD17E2EBB5DF0C69 Time : 0.0 sec. user=mdettweiler [2018-04-15 09:58:21] 685*2^1507163-1 is not prime. Res64: 722D6408E4184D6D Time : 0.0 sec. user=mdettweiler [2018-04-15 09:58:21] 745*2^1507163-1 is not prime. Res64: 7F68CEC3F68EF6A6 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:00:02] 759*2^1507163-1 is not prime. Res64: 059CD871D4B44BE0 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:00:03] 635*2^1507164-1 is not prime. Res64: 15CF50ECBBCA2A75 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:00:03] 837*2^1507164-1 is not prime. Res64: E06DB1BFC2D490CF Time : 0.0 sec. user=mdettweiler [2018-04-15 10:00:03] 875*2^1507164-1 is not prime. Res64: E5B2A77B56AF91A8 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:00:03] 929*2^1507164-1 is not prime. Res64: 765431B840C3AE07 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:02:42] 959*2^1507164-1 is not prime. Res64: B587B63AD622FEB3 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:02:43] 969*2^1507164-1 is not prime. Res64: FE2887EFA29D6342 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:02:43] 601*2^1507165-1 is not prime. Res64: ACCC67AE3BEC0920 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:02:44] 649*2^1507165-1 is not prime. Res64: CA23B9BDBAA01FC2 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:02:44] 717*2^1507165-1 is not prime. Res64: E7EBD80644EFE375 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:15:44] 777*2^1507165-1 is not prime. Res64: 341C38B9387F9FAF Time : 0.0 sec. user=mdettweiler [2018-04-15 10:15:44] 861*2^1507165-1 is not prime. Res64: 3161DF75CD26C475 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:15:44] 919*2^1507165-1 is not prime. Res64: 0EFCB1BD38EAE062 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:15:45] 937*2^1507165-1 is not prime. Res64: 807FFE874C1EFA6E Time : 0.0 sec. user=mdettweiler [2018-04-15 10:15:45] 957*2^1507165-1 is not prime. Res64: 279E1E3FAD9E2A75 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:48:43] 981*2^1507165-1 is not prime. Res64: 6479AB08EC77F848 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:48:43] 997*2^1507165-1 is not prime. Res64: A9B0E5F89C613B17 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:48:43] 615*2^1507166-1 is not prime. Res64: 661C9BB1F0B6EBCD Time : 0.0 sec. user=mdettweiler [2018-04-15 10:48:44] 641*2^1507166-1 is not prime. Res64: 8F57D3EAD053E4F8 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:48:44] 657*2^1507166-1 is not prime. Res64: FA822BB9B56329D2 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:50:46] 713*2^1507166-1 is not prime. Res64: 7D502AAA5EFF650B Time : 0.0 sec. user=mdettweiler [2018-04-15 10:50:46] 893*2^1507166-1 is not prime. Res64: 2DAEBD1EFD67964A Time : 0.0 sec. user=mdettweiler [2018-04-15 10:50:47] 923*2^1507166-1 is not prime. Res64: CC24972F61FD5E0D Time : 0.0 sec. user=mdettweiler [2018-04-15 10:50:47] 993*2^1507166-1 is not prime. Res64: 9A0B1089EFE7072E Time : 0.0 sec. user=mdettweiler [2018-04-15 10:50:47] 609*2^1507167-1 is not prime. Res64: 0648A09379B1F722 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:52:45] 615*2^1507167-1 is not prime. Res64: 21724BECF450A005 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:52:46] 633*2^1507167-1 is not prime. Res64: B92B361B3B291F99 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:52:46] 693*2^1507167-1 is not prime. Res64: B4AB7F7CDD196FA1 Time : 0.0 sec. user=mdettweiler [2018-04-15 10:52:46] 703*2^1507167-1 is not prime. Res64: 171166ACB710BB8A Time : 0.0 sec. user=mdettweiler [2018-04-15 10:52:46] 769*2^1507167-1 is not prime. Res64: 572780CCC23CC380 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:06:53] 793*2^1507167-1 is not prime. Res64: 9E819723AB3E7CB0 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:06:56] 955*2^1507167-1 is not prime. Res64: B52672C714F008BF Time : 0.0 sec. user=mdettweiler [2018-04-15 11:06:57] 973*2^1507167-1 is not prime. Res64: 0957B4A63F256909 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:06:59] 623*2^1507168-1 is not prime. Res64: B3C621A885F3B15D Time : 0.0 sec. user=mdettweiler [2018-04-15 11:07:01] 657*2^1507168-1 is not prime. Res64: 634DFE45C757AA6B Time : 0.0 sec. user=mdettweiler [2018-04-15 11:39:40] 665*2^1507168-1 is not prime. Res64: 09FAB70AE041A03B Time : 0.0 sec. user=mdettweiler [2018-04-15 11:39:41] 707*2^1507168-1 is not prime. Res64: 92D0FD63144E43F4 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:39:41] 773*2^1507168-1 is not prime. Res64: 211C322C5D259E0D Time : 0.0 sec. user=mdettweiler [2018-04-15 11:39:41] 777*2^1507168-1 is not prime. Res64: 2347E79035561903 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:39:41] 905*2^1507168-1 is not prime. Res64: B1B5A79214D7FE15 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:41:44] 999*2^1507168-1 is not prime. Res64: E36143D5102059CD Time : 0.0 sec. user=mdettweiler [2018-04-15 11:41:45] 675*2^1507169-1 is not prime. Res64: D5E33F784F15205A Time : 0.0 sec. user=mdettweiler [2018-04-15 11:41:45] 699*2^1507169-1 is not prime. Res64: F74AA90A6E4EDE02 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:41:45] 735*2^1507169-1 is not prime. Res64: A74E1CA67B23546D Time : 0.0 sec. user=mdettweiler [2018-04-15 11:41:45] 787*2^1507169-1 is not prime. Res64: 7F7DB9952A3BEB15 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:43:21] 985*2^1507169-1 is not prime. Res64: FB4AD3EA281E3702 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:43:21] 987*2^1507169-1 is not prime. Res64: 3E511BA12FFA37F4 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:43:21] 611*2^1507170-1 is not prime. Res64: 3103980DB614CC70 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:43:21] 725*2^1507170-1 is not prime. Res64: B0BFEBB14ABF7925 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:43:22] 741*2^1507170-1 is not prime. Res64: DEE0FFB9F7221528 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:59:55] 765*2^1507170-1 is not prime. Res64: CBC1978023330FD7 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:59:55] 803*2^1507170-1 is not prime. Res64: 0894F88F1AA61CAD Time : 0.0 sec. user=mdettweiler [2018-04-15 11:59:55] 873*2^1507170-1 is not prime. Res64: 84ECD9830BC4321A Time : 0.0 sec. user=mdettweiler [2018-04-15 11:59:56] 875*2^1507170-1 is not prime. Res64: E6CF7547EE1DC3B2 Time : 0.0 sec. user=mdettweiler [2018-04-15 11:59:56] 885*2^1507170-1 is not prime. Res64: 0E02304D08A2476B Time : 0.0 sec. user=mdettweiler [2018-04-15 12:30:14] 921*2^1507170-1 is not prime. Res64: 6EF3662A5E73E50D Time : 0.0 sec. user=mdettweiler [2018-04-15 12:30:15] 963*2^1507170-1 is not prime. Res64: 9F57DA13ECAC8665 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:30:15] 619*2^1507171-1 is not prime. Res64: 70AFED2558304F47 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:30:15] 679*2^1507171-1 is not prime. Res64: ED3878A2DAB4B502 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:30:16] 685*2^1507171-1 is not prime. Res64: 30D6D798B164BBB7 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:33:16] 691*2^1507171-1 is not prime. Res64: C0193C2D0167A8F4 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:33:16] 793*2^1507171-1 is not prime. Res64: A5FBACF50E70EF96 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:33:16] 819*2^1507171-1 is not prime. Res64: ACCE51F53B054622 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:33:16] 885*2^1507171-1 is not prime. Res64: 286A60F3555BCBCD Time : 0.0 sec. user=mdettweiler [2018-04-15 12:33:17] 973*2^1507171-1 is not prime. Res64: F4FF4B0DE9E64E80 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:34:12] 635*2^1507172-1 is not prime. Res64: FC1BE1361245AF71 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:34:12] 647*2^1507172-1 is not prime. Res64: 377F4128C7C1CF4E Time : 0.0 sec. user=mdettweiler [2018-04-15 12:34:12] 873*2^1507172-1 is not prime. Res64: 78096215BD7223D2 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:34:12] 899*2^1507172-1 is not prime. Res64: 33D700199F4011C7 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:34:13] 903*2^1507172-1 is not prime. Res64: 40FFE9C1EF385057 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:52:29] 657*2^1507173-1 is not prime. Res64: 852773155878907D Time : 0.0 sec. user=mdettweiler [2018-04-15 12:52:29] 819*2^1507173-1 is not prime. Res64: 1EB3971B47E9E0CC Time : 0.0 sec. user=mdettweiler [2018-04-15 12:52:29] 867*2^1507173-1 is not prime. Res64: CBD7FBF2EC1D29A4 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:52:30] 919*2^1507173-1 is not prime. Res64: 7CCB1E1E1F8B6CC7 Time : 0.0 sec. user=mdettweiler [2018-04-15 12:52:30] 961*2^1507173-1 is not prime. Res64: ECEA5CB31ECA6696 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:19:50] 611*2^1507174-1 is not prime. Res64: 23242754FFA958FE Time : 0.0 sec. user=mdettweiler [2018-04-15 13:19:50] 657*2^1507174-1 is not prime. Res64: 1C90D93F664C7355 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:19:50] 677*2^1507174-1 is not prime. Res64: 5A2DF0EB5D5FCD1F Time : 0.0 sec. user=mdettweiler [2018-04-15 13:19:51] 831*2^1507174-1 is not prime. Res64: 8E1EB92ACDB6C476 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:19:51] 861*2^1507174-1 is not prime. Res64: CED22A4126182DD8 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:23:51] 885*2^1507174-1 is not prime. Res64: 9C9EDA7892921234 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:23:51] 915*2^1507174-1 is not prime. Res64: 6C132C935A861DE8 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:23:51] 1001*2^1507174-1 is not prime. Res64: EB9F9482DB5D80A3 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:23:51] 619*2^1507175-1 is not prime. Res64: 6C1386806371D1E1 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:23:52] 763*2^1507175-1 is not prime. Res64: 598FE49A552DE4A1 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:24:36] 909*2^1507175-1 is not prime. Res64: 2AF13E6E9CD6C7C4 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:24:36] 735*2^1507176-1 is not prime. Res64: 9A9880F35BDB0581 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:24:37] 899*2^1507176-1 is not prime. Res64: 2E4C000AF69D8DA4 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:24:37] 957*2^1507176-1 is not prime. Res64: 8B670736EA654F28 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:24:37] 667*2^1507177-1 is not prime. Res64: 68AAE4C8AF558BDD Time : 0.0 sec. user=mdettweiler [2018-04-15 13:43:26] 729*2^1507177-1 is not prime. Res64: 63847BBDCE5A3E4C Time : 0.0 sec. user=mdettweiler [2018-04-15 13:43:26] 741*2^1507177-1 is not prime. Res64: 99D965CC820D8673 Time : 0.0 sec. user=mdettweiler [2018-04-15 13:43:26] 841*2^1507177-1 is not prime. Res64: FA5156099BFC97FB Time : 0.0 sec. user=mdettweiler [2018-04-15 13:43:26] 957*2^1507177-1 is not prime. Res64: 416DB76C8C744E6B Time : 0.0 sec. user=mdettweiler [2018-04-15 13:43:27] 967*2^1507177-1 is not prime. Res64: 9C23F490BEBE1AE6 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:09:38] 603*2^1507178-1 is not prime. Res64: 0F97326B0A898E5B Time : 0.0 sec. user=mdettweiler [2018-04-15 14:09:39] 671*2^1507178-1 is not prime. Res64: 09422F6A150529AC Time : 0.0 sec. user=mdettweiler [2018-04-15 14:09:39] 921*2^1507178-1 is not prime. Res64: D76547831D2F6C15 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:09:40] 625*2^1507179-1 is not prime. Res64: 9A2C024990455DD6 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:09:40] 735*2^1507179-1 is not prime. Res64: DFA5F59917C53ADB Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:45] 769*2^1507179-1 is not prime. Res64: C43B721A25F2AEED Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:46] 903*2^1507179-1 is not prime. Res64: C01CD64B030F37DA Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:46] 951*2^1507179-1 is not prime. Res64: DBB4321A1C0529B7 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:46] 723*2^1507180-1 is not prime. Res64: 5803E61E66D4AD7F Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:47] 827*2^1507180-1 is not prime. Res64: C609682B6E3DB90F Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:59] 965*2^1507180-1 is not prime. Res64: 46D26A702162FBEE Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:59] 735*2^1507181-1 is not prime. Res64: 47C1B945F5B49E7B Time : 0.0 sec. user=mdettweiler [2018-04-15 14:14:59] 829*2^1507181-1 is not prime. Res64: DA7648813D9EB339 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:15:00] 931*2^1507181-1 is not prime. Res64: B1582B5161021FE9 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:15:00] 615*2^1507182-1 is not prime. Res64: 2969B992D8EF7537 Time : 0.0 sec. user=mdettweiler [2018-04-15 14:33:30] 627*2^1507182-1 is not prime. Res64: 88DDA549AEC0A79B Time : 0.0 sec. user=mdettweiler [2018-04-15 14:33:31] 681*2^1507182-1 is not prime. Res64: 774BF8BBC7AE9D6D Time : 0.0 sec. user=mdettweiler [2018-04-15 14:33:31] 711*2^1507182-1 is not prime. Res64: A0E5E214519348BA Time : 0.0 sec. user=mdettweiler [2018-04-15 14:33:31] 725*2^1507182-1 is not prime. Res64: 6FBB9AEE115347BB Time : 0.0 sec. user=mdettweiler [2018-04-15 14:33:31] 801*2^1507182-1 is not prime. Res64: 76D02AF322B58C08 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:01:40] 875*2^1507182-1 is not prime. Res64: 5AA54D951565F43B Time : 0.0 sec. user=mdettweiler [2018-04-15 15:01:41] 963*2^1507182-1 is not prime. Res64: 26883DCFFC2921F8 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:01:42] 965*2^1507182-1 is not prime. Res64: 2B91FBC5A3D524BA Time : 0.0 sec. user=mdettweiler [2018-04-15 15:01:42] 609*2^1507183-1 is not prime. Res64: 0AE77E3E4C70BB2B Time : 0.0 sec. user=mdettweiler [2018-04-15 15:01:43] 919*2^1507183-1 is not prime. Res64: 1230F214BC22BE91 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:42] 917*2^1507184-1 is not prime. Res64: 8BFFC83F8CB345DC Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:42] 995*2^1507184-1 is not prime. Res64: E2120CD79D316EDC Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:43] 691*2^1507185-1 is not prime. Res64: 7DBE48EC94C847B0 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:45] 837*2^1507185-1 is not prime. Res64: 7885DBCF29D6D8F8 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:46] 889*2^1507185-1 is not prime. Res64: 03F0AF1A263EA9BC Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:49] 999*2^1507183-1 is not prime. Res64: C114855350B3523A Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:49] 683*2^1507184-1 is not prime. Res64: 830924E91F5DC8BD Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:49] 759*2^1507184-1 is not prime. Res64: EDEE2E510A0151EE Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:50] 785*2^1507184-1 is not prime. Res64: 97906C6416935762 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:06:50] 819*2^1507184-1 is not prime. Res64: 27BFC63653521DE8 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:23:11] 603*2^1507186-1 is not prime. Res64: 17A567EA5A2FA0B4 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:23:11] 611*2^1507186-1 is not prime. Res64: 643D2DF3AD24DBD0 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:23:11] 675*2^1507186-1 is not prime. Res64: 2F50E1BC29921A5B Time : 0.0 sec. user=mdettweiler [2018-04-15 15:23:11] 609*2^1507187-1 is not prime. Res64: B3D7CAC3D5F105D7 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:23:12] 813*2^1507187-1 is not prime. Res64: 507B92AA04336316 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:53:21] 861*2^1507187-1 is not prime. Res64: 9CE2FEEFD5D631D5 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:53:21] 885*2^1507187-1 is not prime. Res64: DEC976E1C32FB3AF Time : 0.0 sec. user=mdettweiler [2018-04-15 15:53:21] 909*2^1507187-1 is not prime. Res64: 78CFCE78D28B3611 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:53:21] 605*2^1507188-1 is not prime. Res64: 953FB89A0AB7E3F7 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:53:22] 627*2^1507188-1 is not prime. Res64: 8CE5F1F49CA4C0B5 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:09] 927*2^1507188-1 is not prime. Res64: 4A1EE2BD6F31A041 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:10] 969*2^1507188-1 is not prime. Res64: E8A95D92EEDD55EB Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:10] 667*2^1507189-1 is not prime. Res64: E76AF295EE4E276D Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:10] 675*2^1507189-1 is not prime. Res64: 2DD20C072C7EC86B Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:10] 741*2^1507189-1 is not prime. Res64: 190A5DE3CA8461A3 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:56] 707*2^1507188-1 is not prime. Res64: 68F533933F32D6AC Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:57] 777*2^1507188-1 is not prime. Res64: 54E3701ABFDC6C30 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:57] 789*2^1507188-1 is not prime. Res64: 6B28A6E131317011 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:57] 845*2^1507188-1 is not prime. Res64: 485680515F608E72 Time : 0.0 sec. user=mdettweiler [2018-04-15 15:58:58] 923*2^1507188-1 is not prime. Res64: 83B4B94A4F1DA077 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:21:13] 759*2^1507189-1 is not prime. Res64: 45E59B382B3F3F7A Time : 0.0 sec. user=mdettweiler [2018-04-15 16:21:13] 771*2^1507189-1 is not prime. Res64: 53CA0A65FDC2D5F4 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:21:13] 931*2^1507189-1 is not prime. Res64: 83EB63F207D04720 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:21:13] 951*2^1507189-1 is not prime. Res64: 898033BE18FD1337 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:21:14] 987*2^1507189-1 is not prime. Res64: 2A0CA9ED9133F258 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:47:54] 627*2^1507190-1 is not prime. Res64: 0311C9E96D151698 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:47:54] 651*2^1507190-1 is not prime. Res64: 11A6906C40AD34DF Time : 0.0 sec. user=mdettweiler [2018-04-15 16:47:54] 663*2^1507190-1 is not prime. Res64: 3F647F7F1FC73611 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:47:55] 677*2^1507190-1 is not prime. Res64: 244D25E6872046CD Time : 0.0 sec. user=mdettweiler [2018-04-15 16:47:55] 755*2^1507190-1 is not prime. Res64: 8C22D1D6AF038CCB Time : 0.0 sec. user=mdettweiler [2018-04-15 16:53:00] 615*2^1507191-1 is not prime. Res64: DDB70A04E8892EFB Time : 0.0 sec. user=mdettweiler [2018-04-15 16:53:00] 643*2^1507191-1 is not prime. Res64: FCF837FF0527AF67 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:53:00] 805*2^1507191-1 is not prime. Res64: 26C7145413C4ABFE Time : 0.0 sec. user=mdettweiler [2018-04-15 16:53:01] 609*2^1507192-1 is not prime. Res64: 796C6ACACEE61B1E Time : 0.0 sec. user=mdettweiler [2018-04-15 16:53:01] 785*2^1507192-1 is not prime. Res64: D44DEE6CB7EB2651 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:54:35] 825*2^1507190-1 is not prime. Res64: 7AD2347409D1D550 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:54:35] 843*2^1507190-1 is not prime. Res64: DCA3E0D9FFFFCA07 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:54:35] 851*2^1507190-1 is not prime. Res64: 1019002F59545A8F Time : 0.0 sec. user=mdettweiler [2018-04-15 16:54:36] 887*2^1507190-1 is not prime. Res64: E5823550F13F0B13 Time : 0.0 sec. user=mdettweiler [2018-04-15 16:54:36] 1001*2^1507190-1 is not prime. Res64: ADEF85A9DBE07952 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:11:46] 903*2^1507192-1 is not prime. Res64: AFFE7D7E355471C4 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:11:47] 939*2^1507192-1 is not prime. Res64: 0EE6D6C8D1B2CB4C Time : 0.0 sec. user=mdettweiler [2018-04-15 17:11:47] 615*2^1507193-1 is not prime. Res64: DCEC3DE572619B6A Time : 0.0 sec. user=mdettweiler [2018-04-15 17:11:47] 619*2^1507193-1 is not prime. Res64: 81A3E7C23DA2448E Time : 0.0 sec. user=mdettweiler [2018-04-15 17:11:48] 651*2^1507193-1 is not prime. Res64: 620341C9FE21B318 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:38:48] 679*2^1507193-1 is not prime. Res64: 7F3F288853710982 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:38:48] 855*2^1507193-1 is not prime. Res64: 93D52C911DB0DA52 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:38:48] 885*2^1507193-1 is not prime. Res64: 7231C5FD5E424686 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:38:49] 969*2^1507193-1 is not prime. Res64: F242CB32AB10D943 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:38:49] 621*2^1507194-1 is not prime. Res64: 910E612955DC8E86 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:44:24] 707*2^1507194-1 is not prime. Res64: 3C8C71F3193E23FB Time : 0.0 sec. user=mdettweiler [2018-04-15 17:44:24] 783*2^1507194-1 is not prime. Res64: 58C35E16DFA28F3C Time : 0.0 sec. user=mdettweiler [2018-04-15 17:44:25] 733*2^1507195-1 is not prime. Res64: 9F9810B1C153A7B1 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:44:25] 741*2^1507195-1 is not prime. Res64: 834A4E132571055D Time : 0.0 sec. user=mdettweiler [2018-04-15 17:44:26] 843*2^1507195-1 is not prime. Res64: 510280928FFDF800 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:46:21] 883*2^1507195-1 is not prime. Res64: AD72B61C6016FEFB Time : 0.0 sec. user=mdettweiler [2018-04-15 17:46:21] 939*2^1507195-1 is not prime. Res64: F6C0073FD11CE18B Time : 0.0 sec. user=mdettweiler [2018-04-15 17:46:22] 609*2^1507196-1 is not prime. Res64: 6B19BAA286C279A6 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:46:22] 659*2^1507196-1 is not prime. Res64: 75BBEA74D2956A10 Time : 0.0 sec. user=mdettweiler [2018-04-15 17:46:22] 767*2^1507196-1 is not prime. Res64: 027F01B4BBB81A99 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:04:16] 833*2^1507196-1 is not prime. Res64: 2C06FF13410E60ED Time : 0.0 sec. user=mdettweiler [2018-04-15 18:04:18] 869*2^1507196-1 is not prime. Res64: C1AC837195A39EF7 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:04:19] 667*2^1507197-1 is not prime. Res64: 29D0106F442402A5 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:04:20] 751*2^1507197-1 is not prime. Res64: A3817AA3571F74E1 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:04:21] 769*2^1507197-1 is not prime. Res64: 47FA9BC2F6102817 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:30:27] 805*2^1507197-1 is not prime. Res64: 9ACE33FD4BB5656F Time : 0.0 sec. user=mdettweiler [2018-04-15 18:30:28] 835*2^1507197-1 is not prime. Res64: BD55CD0B50AFC572 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:30:28] 861*2^1507197-1 is not prime. Res64: FCA93F6799841461 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:30:28] 651*2^1507198-1 is not prime. Res64: 080044547806F697 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:30:29] 705*2^1507198-1 is not prime. Res64: 4C5DA51AC5C30FE6 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:35:36] 707*2^1507198-1 is not prime. Res64: 4E3EC0CCDEC388AC Time : 0.0 sec. user=mdettweiler [2018-04-15 18:35:37] 723*2^1507198-1 is not prime. Res64: 457F7BBF4E221D0A Time : 0.0 sec. user=mdettweiler [2018-04-15 18:35:37] 825*2^1507198-1 is not prime. Res64: A8FA173AB0C9751B Time : 0.0 sec. user=mdettweiler [2018-04-15 18:35:37] 911*2^1507198-1 is not prime. Res64: 1C7A5DEAEB3F8348 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:35:38] 933*2^1507198-1 is not prime. Res64: 9C98C5C768A5DD35 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:37:12] 669*2^1507199-1 is not prime. Res64: ED88092DAB2F6DD1 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:37:13] 811*2^1507199-1 is not prime. Res64: 93C1A40AFD574A8A Time : 0.0 sec. user=mdettweiler [2018-04-15 18:37:13] 853*2^1507199-1 is not prime. Res64: 889AABFA059DE3E9 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:37:13] 623*2^1507200-1 is not prime. Res64: F4C6C10216E7C744 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:37:14] 633*2^1507200-1 is not prime. Res64: 767D16CA18792B2E Time : 0.0 sec. user=mdettweiler [2018-04-15 18:55:21] 693*2^1507200-1 is not prime. Res64: A71AE077D7349E39 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:55:21] 723*2^1507200-1 is not prime. Res64: F15F65C60FD615F0 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:55:22] 843*2^1507200-1 is not prime. Res64: AAE816B113424AA0 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:55:22] 849*2^1507200-1 is not prime. Res64: 876DC61A00556B39 Time : 0.0 sec. user=mdettweiler [2018-04-15 18:55:23] 867*2^1507200-1 is not prime. Res64: 1517910AD8FF75C1 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:21:04] 905*2^1507200-1 is not prime. Res64: A13560DE6CB475F2 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:21:04] 789*2^1507201-1 is not prime. Res64: B347149D7E5FFC91 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:21:05] 951*2^1507201-1 is not prime. Res64: 656B20D6CFB346CF Time : 0.0 sec. user=mdettweiler [2018-04-15 19:21:05] 997*2^1507201-1 is not prime. Res64: B7EBFCA65BB60CAA Time : 0.0 sec. user=mdettweiler [2018-04-15 19:21:06] 603*2^1507202-1 is not prime. Res64: 501599932B753B31 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:26:10] 645*2^1507202-1 is not prime. Res64: 0C4B32F053EA4EAD Time : 0.0 sec. user=mdettweiler [2018-04-15 19:26:10] 651*2^1507202-1 is not prime. Res64: 788CCD0F849ACAC6 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:26:11] 755*2^1507202-1 is not prime. Res64: 4003B5FEBCF294B1 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:26:11] 813*2^1507202-1 is not prime. Res64: 8637D41DEF82F733 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:26:12] 827*2^1507202-1 is not prime. Res64: 3D561367447991C6 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:27:40] 957*2^1507202-1 is not prime. Res64: DEBD5A8ADFA21F7E Time : 0.0 sec. user=mdettweiler [2018-04-15 19:27:41] 983*2^1507202-1 is not prime. Res64: E8EF6EC8C18482BE Time : 0.0 sec. user=mdettweiler [2018-04-15 19:27:41] 709*2^1507203-1 is not prime. Res64: 8460528C41FF91E4 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:27:42] 723*2^1507203-1 is not prime. Res64: 212B4D56A5357C68 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:27:42] 753*2^1507203-1 is not prime. Res64: 58253E51822C828F Time : 0.0 sec. user=mdettweiler [2018-04-15 19:46:25] 765*2^1507203-1 is not prime. Res64: D8682B025130FDBA Time : 0.0 sec. user=mdettweiler [2018-04-15 19:46:25] 769*2^1507203-1 is not prime. Res64: C09917337AED1072 Time : 0.0 sec. user=mdettweiler [2018-04-15 19:46:26] 783*2^1507203-1 is not prime. Res64: 661E63B93057C14B Time : 0.0 sec. user=mdettweiler [2018-04-15 19:46:26] 805*2^1507203-1 is not prime. Res64: B038DF4FDDE5F5DE Time : 0.0 sec. user=mdettweiler [2018-04-15 19:46:27] 853*2^1507203-1 is not prime. Res64: E2796B924DD16A49 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:11:21] 891*2^1507203-1 is not prime. Res64: 556C2DE6F8C438F4 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:11:22] 973*2^1507203-1 is not prime. Res64: E7BD67ABE4D424DF Time : 0.0 sec. user=mdettweiler [2018-04-15 20:11:22] 609*2^1507204-1 is not prime. Res64: 510571021188D9A7 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:11:23] 635*2^1507204-1 is not prime. Res64: C000F2B21E207CCE Time : 0.0 sec. user=mdettweiler [2018-04-15 20:11:23] 927*2^1507204-1 is not prime. Res64: 155EFC953C2A19FC Time : 0.0 sec. user=mdettweiler [2018-04-15 20:16:45] 947*2^1507204-1 is not prime. Res64: 107758D8180B658D Time : 0.0 sec. user=mdettweiler [2018-04-15 20:16:45] 983*2^1507204-1 is not prime. Res64: 1097808F127EFB11 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:16:46] 811*2^1507205-1 is not prime. Res64: EB1604CB9571D67F Time : 0.0 sec. user=mdettweiler [2018-04-15 20:16:46] 885*2^1507205-1 is not prime. Res64: 2DFA347727BC067C Time : 0.0 sec. user=mdettweiler [2018-04-15 20:16:46] 705*2^1507206-1 is not prime. Res64: 57C680618742A604 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:18:08] 713*2^1507206-1 is not prime. Res64: 92B77DE73899D160 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:18:09] 747*2^1507206-1 is not prime. Res64: B33C9FEF775C9BC2 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:18:09] 783*2^1507206-1 is not prime. Res64: BCE5F8A86F3E94E1 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:18:10] 821*2^1507206-1 is not prime. Res64: 9552B78A02841207 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:18:10] 825*2^1507206-1 is not prime. Res64: 14A68581A94C6A62 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:36:25] 861*2^1507206-1 is not prime. Res64: 074E0411DCCAE2D4 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:36:25] 875*2^1507206-1 is not prime. Res64: 4094611416CCB007 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:36:26] 917*2^1507206-1 is not prime. Res64: B4E414D1D0AB6E64 Time : 0.0 sec. user=mdettweiler [2018-04-15 20:36:26] 609*2^1507207-1 is not prime. Res64: CD9C55E4974B361A Time : 0.0 sec. user=mdettweiler [2018-04-15 20:36:27] 645*2^1507207-1 is not prime. Res64: 5430DD91F4E7EA52 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:03:57] 703*2^1507207-1 is not prime. Res64: C64C951FAFE1CBB5 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:03:58] 829*2^1507207-1 is not prime. Res64: 69DD64BCCF28AD60 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:03:59] 885*2^1507207-1 is not prime. Res64: 32381554D4209568 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:04:00] 939*2^1507207-1 is not prime. Res64: 6E2D289EDFDC9D64 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:04:00] 979*2^1507207-1 is not prime. Res64: 689C2C7401D50B39 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:07:43] 629*2^1507208-1 is not prime. Res64: C72AAC38264D5934 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:07:44] 815*2^1507208-1 is not prime. Res64: C2B457ACDF17FC6D Time : 0.0 sec. user=mdettweiler [2018-04-15 21:07:44] 839*2^1507208-1 is not prime. Res64: 91B41CFBBF596B45 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:07:44] 843*2^1507208-1 is not prime. Res64: 361B694E3EA8F016 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:07:45] 923*2^1507208-1 is not prime. Res64: B89A5A8D0077040B Time : 0.0 sec. user=mdettweiler [2018-04-15 21:08:43] 639*2^1507209-1 is not prime. Res64: F00B937E8C4B38C2 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:08:43] 709*2^1507209-1 is not prime. Res64: BB6AFE4381A9C823 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:08:44] 835*2^1507209-1 is not prime. Res64: 1850AD71499F03D5 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:08:44] 861*2^1507209-1 is not prime. Res64: E2AADEB513C07EE1 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:08:45] 889*2^1507209-1 is not prime. Res64: 9EB4BE18EC363EC9 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:27:30] 895*2^1507209-1 is not prime. Res64: D6208334C425CCC0 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:27:31] 945*2^1507209-1 is not prime. Res64: 9AA611EF41510BC5 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:27:31] 985*2^1507209-1 is not prime. Res64: 0E5BF9C1F5A42582 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:27:31] 991*2^1507209-1 is not prime. Res64: 1EE39EF27E3D9022 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:27:32] 999*2^1507209-1 is not prime. Res64: 19ABC5C8BB8DE470 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:54:05] 645*2^1507210-1 is not prime. Res64: 8D42721774AF2F7B Time : 0.0 sec. user=mdettweiler [2018-04-15 21:54:06] 717*2^1507210-1 is not prime. Res64: 9D374417DDB8AD0A Time : 0.0 sec. user=mdettweiler [2018-04-15 21:54:06] 723*2^1507210-1 is not prime. Res64: 94F546907A348CC6 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:54:07] 813*2^1507210-1 is not prime. Res64: FEA98E8CFB39B0A5 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:54:07] 825*2^1507210-1 is not prime. Res64: E26046D3536C36AD Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:41] 933*2^1507210-1 is not prime. Res64: FE10B21B2D5E31F6 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:41] 951*2^1507210-1 is not prime. Res64: 60778843D16BDA70 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:41] 957*2^1507210-1 is not prime. Res64: 478864AB1D4D3A15 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:42] 981*2^1507210-1 is not prime. Res64: C944A3E423C6356C Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:42] 693*2^1507211-1 is not prime. Res64: 160950051E5C775E Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:42] 987*2^1507210-1 is not prime. Res64: CE0A1E17356D9454 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:42] 889*2^1507211-1 is not prime. Res64: 7338E287E15E1FF6 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:43] 945*2^1507211-1 is not prime. Res64: BE250FC56FB2857B Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:43] 979*2^1507211-1 is not prime. Res64: D3421B010720D240 Time : 0.0 sec. user=mdettweiler [2018-04-15 21:58:44] 981*2^1507211-1 is not prime. Res64: 3B3575755C9111A3 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:16:46] 665*2^1507212-1 is not prime. Res64: EABC37726DC9696C Time : 0.0 sec. user=mdettweiler [2018-04-15 22:16:46] 683*2^1507212-1 is not prime. Res64: 0C6EDD0F1176FB4D Time : 0.0 sec. user=mdettweiler [2018-04-15 22:16:47] 719*2^1507212-1 is not prime. Res64: E19D0616D82E7AB0 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:16:47] 725*2^1507212-1 is not prime. Res64: BC707684D63E86BD Time : 0.0 sec. user=mdettweiler [2018-04-15 22:16:48] 765*2^1507212-1 is not prime. Res64: 499B80CA41A2E7EE Time : 0.0 sec. user=mdettweiler [2018-04-15 22:45:06] 767*2^1507212-1 is not prime. Res64: 24D4619BB63CE48C Time : 0.0 sec. user=mdettweiler [2018-04-15 22:45:06] 797*2^1507212-1 is not prime. Res64: 831A24EE831715F5 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:45:06] 867*2^1507212-1 is not prime. Res64: 1BACCF4F482B9A48 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:45:07] 959*2^1507212-1 is not prime. Res64: 092ECDE1E9E4ADF0 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:45:07] 977*2^1507212-1 is not prime. Res64: A3D7A9DC9ABE1383 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:48:20] 609*2^1507213-1 is not prime. Res64: 6FE45096E4FA8A12 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:48:20] 727*2^1507213-1 is not prime. Res64: 9653D2F856BCCF0B Time : 0.0 sec. user=mdettweiler [2018-04-15 22:48:20] 745*2^1507213-1 is not prime. Res64: 5D293914A0B7478E Time : 0.0 sec. user=mdettweiler [2018-04-15 22:48:21] 801*2^1507213-1 is not prime. Res64: 26AD549ACDB545AD Time : 0.0 sec. user=mdettweiler [2018-04-15 22:48:21] 805*2^1507213-1 is not prime. Res64: 9824D3329184E922 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:49:08] 829*2^1507213-1 is not prime. Res64: 9FA5F2D020C03CED Time : 0.0 sec. user=mdettweiler [2018-04-15 22:49:08] 895*2^1507213-1 is not prime. Res64: DAE7E21CC7ABA494 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:49:09] 901*2^1507213-1 is not prime. Res64: D82C218831D41544 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:49:09] 915*2^1507213-1 is not prime. Res64: 01E1D22D0F6E6146 Time : 0.0 sec. user=mdettweiler [2018-04-15 22:49:10] 665*2^1507214-1 is not prime. Res64: 44DBA4519A8ADBF6 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:07:09] 717*2^1507214-1 is not prime. Res64: FE2E8EA4D94BCCAB Time : 0.0 sec. user=mdettweiler [2018-04-15 23:07:10] 773*2^1507214-1 is not prime. Res64: 126064B89F8DE22C Time : 0.0 sec. user=mdettweiler [2018-04-15 23:07:10] 795*2^1507214-1 is not prime. Res64: 48BA125BB33CCAD8 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:07:11] 935*2^1507214-1 is not prime. Res64: BE69E8DF4B4CF407 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:07:11] 971*2^1507214-1 is not prime. Res64: C6E3C16E4129E2C6 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:35:15] 709*2^1507215-1 is not prime. Res64: 3B08F17041F9B5CF Time : 0.0 sec. user=mdettweiler [2018-04-15 23:35:15] 831*2^1507215-1 is not prime. Res64: 3BD4C25B1707CC7F Time : 0.0 sec. user=mdettweiler [2018-04-15 23:35:15] 909*2^1507215-1 is not prime. Res64: 4A8CE300C4D95080 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:35:16] 919*2^1507215-1 is not prime. Res64: 9574D76B6E2A8A34 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:35:16] 663*2^1507216-1 is not prime. Res64: 0021EF9D86269714 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:37:59] 695*2^1507216-1 is not prime. Res64: 68C27DD7F48704E2 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:38:00] 719*2^1507216-1 is not prime. Res64: 8F652FA6167FC614 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:38:00] 825*2^1507216-1 is not prime. Res64: 794A7BEB86A0DC9F Time : 0.0 sec. user=mdettweiler [2018-04-15 23:38:01] 905*2^1507216-1 is not prime. Res64: CC3F68E7D4BD23C0 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:38:01] 711*2^1507217-1 is not prime. Res64: 8D2BAD4331B990E5 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:39:42] 837*2^1507217-1 is not prime. Res64: C9C84125838DC64B Time : 0.0 sec. user=mdettweiler [2018-04-15 23:39:43] 885*2^1507217-1 is not prime. Res64: A812414AFD3A13E2 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:39:43] 945*2^1507217-1 is not prime. Res64: 164743595DEEBACE Time : 0.0 sec. user=mdettweiler [2018-04-15 23:39:44] 949*2^1507217-1 is not prime. Res64: E8F3EBD4C4A7A14A Time : 0.0 sec. user=mdettweiler [2018-04-15 23:39:44] 755*2^1507218-1 is not prime. Res64: CE965D0696C4B340 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:56:55] 837*2^1507218-1 is not prime. Res64: EC90D2D49DEE33AB Time : 0.0 sec. user=mdettweiler [2018-04-15 23:56:55] 975*2^1507218-1 is not prime. Res64: 0D905CB8AD9C8116 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:56:56] 619*2^1507219-1 is not prime. Res64: D84EE9301F90FD73 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:56:56] 645*2^1507219-1 is not prime. Res64: 614E3B5F56506085 Time : 0.0 sec. user=mdettweiler [2018-04-15 23:56:57] 675*2^1507219-1 is not prime. Res64: 5C34A9FAF338AECB Time : 0.0 sec.