user=mdettweiler [2016-04-24 00:20:26] 827*2^1427174-1 is not prime. Res64: 06AC78E34DD8AA2C Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:26] 851*2^1427174-1 is not prime. Res64: EEA16729F7397BE3 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:27] 885*2^1427174-1 is not prime. Res64: 7E65CEBC2160CA72 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:27] 953*2^1427174-1 is not prime. Res64: 573529CD798B7047 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:27] 965*2^1427174-1 is not prime. Res64: 46A357E0B71B71B6 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:44] 981*2^1427174-1 is not prime. Res64: 117261FAA1136DCE Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:45] 613*2^1427175-1 is not prime. Res64: 37B1F9706D6DFB40 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:45] 735*2^1427175-1 is not prime. Res64: 769644D929D256B1 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:45] 741*2^1427175-1 is not prime. Res64: 93DBB2DC7C162DC4 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:20:46] 795*2^1427175-1 is not prime. Res64: 293C017728880B15 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:36:47] 859*2^1427175-1 is not prime. Res64: 09CBBA366B7E6439 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:36:48] 895*2^1427175-1 is not prime. Res64: 79150232AA51993E Time : 0.0 sec. user=mdettweiler [2016-04-24 00:36:48] 943*2^1427175-1 is not prime. Res64: 040090A365D95B8D Time : 0.0 sec. user=mdettweiler [2016-04-24 00:36:49] 629*2^1427176-1 is not prime. Res64: 32D018A70A7575A1 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:36:49] 803*2^1427176-1 is not prime. Res64: 5AC72D205F27AD81 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:38:57] 825*2^1427176-1 is not prime. Res64: 90DCBA9687B43EFD Time : 0.0 sec. user=mdettweiler [2016-04-24 00:38:58] 855*2^1427176-1 is not prime. Res64: D06E02D916B8C930 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:38:58] 905*2^1427176-1 is not prime. Res64: 6636DFDDC5F0B1B1 Time : 0.0 sec. user=mdettweiler [2016-04-24 00:38:58] 669*2^1427177-1 is not prime. Res64: 2D4FD626D021470C Time : 0.0 sec. user=mdettweiler [2016-04-24 00:38:59] 759*2^1427177-1 is not prime. Res64: E22E2108E9596BC8 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:05:53] 871*2^1427177-1 is not prime. Res64: 29A7AE27C58773A4 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:05:54] 879*2^1427177-1 is not prime. Res64: 320744518D05578E Time : 0.0 sec. user=mdettweiler [2016-04-24 01:05:56] 889*2^1427177-1 is not prime. Res64: 900EE119C18B6967 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:05:57] 939*2^1427177-1 is not prime. Res64: DF63BACA11EFD516 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:05:59] 949*2^1427177-1 is not prime. Res64: FEBC983259F0B2FB Time : 0.0 sec. user=mdettweiler [2016-04-24 01:06:12] 671*2^1427178-1 is not prime. Res64: 989B1E5EA4160DF7 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:06:13] 711*2^1427178-1 is not prime. Res64: 1A9C00ED87F1FC45 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:06:13] 791*2^1427178-1 is not prime. Res64: 575F4E71CAF18121 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:06:13] 803*2^1427178-1 is not prime. Res64: 7882E9CEAD7DF041 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:06:14] 893*2^1427178-1 is not prime. Res64: 2F8D264B188EE8E8 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:13:51] 743*2^1427180-1 is not prime. Res64: 9E01D8FA5A4F42CB Time : 0.0 sec. user=mdettweiler [2016-04-24 01:21:58] 927*2^1427178-1 is not prime. Res64: 019A2C2A1B350C81 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:21:58] 977*2^1427178-1 is not prime. Res64: D6B4A5C98FBC917A Time : 0.0 sec. user=mdettweiler [2016-04-24 01:21:58] 993*2^1427178-1 is not prime. Res64: 70483C84F75F43B4 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:21:59] 603*2^1427179-1 is not prime. Res64: 16D198295A8DC8B6 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:21:59] 681*2^1427179-1 is not prime. Res64: E852FC769014AA85 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:24:14] 709*2^1427179-1 is not prime. Res64: 914FC9D4D80D48A9 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:24:14] 843*2^1427179-1 is not prime. Res64: 4EF4F485B815321D Time : 0.0 sec. user=mdettweiler [2016-04-24 01:24:15] 891*2^1427179-1 is not prime. Res64: 91ABF760DB8BBD88 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:24:15] 939*2^1427179-1 is not prime. Res64: EE0E66DB202B9F8C Time : 0.0 sec. user=mdettweiler [2016-04-24 01:24:15] 943*2^1427179-1 is not prime. Res64: 35FE929DE2A474E8 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:08] 865*2^1427181-1 is not prime. Res64: D29AD69B42A2762A Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:09] 895*2^1427181-1 is not prime. Res64: 70DC54F8B55A1227 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:09] 647*2^1427182-1 is not prime. Res64: E98A1933771B9FDD Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:10] 755*2^1427180-1 is not prime. Res64: 7F881D2BB582625B Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:10] 651*2^1427182-1 is not prime. Res64: CD91BB2BCCAB0937 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:10] 767*2^1427180-1 is not prime. Res64: 0A3EF65B0E2AFACA Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:10] 665*2^1427182-1 is not prime. Res64: F0FE323653CE1829 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:10] 803*2^1427180-1 is not prime. Res64: 7115FDDB1EA37A5E Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:11] 927*2^1427180-1 is not prime. Res64: 5803712E53370B13 Time : 0.0 sec. user=mdettweiler [2016-04-24 01:51:11] 735*2^1427181-1 is not prime. Res64: CD2868B54056A1DB Time : 0.0 sec. user=mdettweiler [2016-04-24 02:07:05] 681*2^1427182-1 is not prime. Res64: 763CAA4F2B5970C9 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:07:06] 747*2^1427182-1 is not prime. Res64: A3CF565DDA160221 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:07:06] 801*2^1427182-1 is not prime. Res64: 290E4FE5784841D0 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:07:06] 863*2^1427182-1 is not prime. Res64: 509196E9E76A40A8 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:07:07] 911*2^1427182-1 is not prime. Res64: 71A15973D1C38646 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:09:21] 609*2^1427183-1 is not prime. Res64: C3A8DB02CB3956E8 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:09:21] 633*2^1427183-1 is not prime. Res64: 0025C49263B72C9C Time : 0.0 sec. user=mdettweiler [2016-04-24 02:09:22] 643*2^1427183-1 is not prime. Res64: 37D7339D8D2D240E Time : 0.0 sec. user=mdettweiler [2016-04-24 02:09:22] 663*2^1427183-1 is not prime. Res64: 0F6263851601F417 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:09:22] 703*2^1427183-1 is not prime. Res64: 6EEED209A59BD0D6 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:12] 721*2^1427183-1 is not prime. Res64: DC20E990D4570529 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:13] 829*2^1427183-1 is not prime. Res64: AA225934B1CC5A68 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:14] 879*2^1427183-1 is not prime. Res64: 6F78A376CCD721E8 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:14] 915*2^1427183-1 is not prime. Res64: E101C74186163503 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:14] 973*2^1427183-1 is not prime. Res64: CF100EC0D03BE320 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:21] 985*2^1427183-1 is not prime. Res64: 9A368D16FA5ABA03 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:22] 999*2^1427183-1 is not prime. Res64: 8692D8E925C9A9A9 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:22] 635*2^1427184-1 is not prime. Res64: 7DD8B148A90FA5B9 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:22] 725*2^1427184-1 is not prime. Res64: C6321E6F12A3318D Time : 0.0 sec. user=mdettweiler [2016-04-24 02:36:23] 601*2^1427185-1 is not prime. Res64: CA2B2D8587E5C239 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:52:16] 607*2^1427185-1 is not prime. Res64: B5ABA34F2E93DF0D Time : 0.0 sec. user=mdettweiler [2016-04-24 02:52:17] 625*2^1427185-1 is not prime. Res64: EAE1B3E4374EFB55 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:52:17] 661*2^1427185-1 is not prime. Res64: E5D88015337C5E3D Time : 0.0 sec. user=mdettweiler [2016-04-24 02:52:17] 721*2^1427185-1 is not prime. Res64: 5181C08AD06C9D08 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:52:18] 775*2^1427185-1 is not prime. Res64: 2345FFA07E5424A6 Time : 0.0 sec. user=mdettweiler [2016-04-24 02:54:30] 847*2^1427185-1 is not prime. Res64: B3D1FDA58878EC1A Time : 0.0 sec. user=mdettweiler [2016-04-24 02:54:31] 871*2^1427185-1 is not prime. Res64: 75214B8E2B0E90FD Time : 0.0 sec. user=mdettweiler [2016-04-24 02:54:31] 885*2^1427185-1 is not prime. Res64: 530A5E8E046FE36C Time : 0.0 sec. user=mdettweiler [2016-04-24 02:54:32] 919*2^1427185-1 is not prime. Res64: 7A8A8D76D66E48CC Time : 0.0 sec. user=mdettweiler [2016-04-24 02:54:33] 925*2^1427185-1 is not prime. Res64: 60CFC888BE0FDCF8 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:29] 683*2^1427186-1 is not prime. Res64: 8D066A0CE7AF11FD Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:29] 909*2^1427187-1 is not prime. Res64: 3709E6B339B78823 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:29] 701*2^1427186-1 is not prime. Res64: 27B105E45261902F Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:30] 931*2^1427187-1 is not prime. Res64: DD36F0CED1B9D973 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:30] 923*2^1427186-1 is not prime. Res64: F41797AB10227686 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:30] 707*2^1427188-1 is not prime. Res64: 4C0FDC856158765D Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:30] 945*2^1427186-1 is not prime. Res64: 3C9C478F0FA9C64F Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:30] 723*2^1427188-1 is not prime. Res64: D80552C9386B0208 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:31] 765*2^1427187-1 is not prime. Res64: 7C1BD73AA4B08B4C Time : 0.0 sec. user=mdettweiler [2016-04-24 03:21:31] 735*2^1427188-1 is not prime. Res64: 3794EAA348820F51 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:37:20] 777*2^1427188-1 is not prime. Res64: EBD28CE69D1091B9 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:37:21] 615*2^1427189-1 is not prime. Res64: 87EEA8785A8345CA Time : 0.0 sec. user=mdettweiler [2016-04-24 03:37:22] 631*2^1427189-1 is not prime. Res64: BF17E80B66DCCF1E Time : 0.0 sec. user=mdettweiler [2016-04-24 03:37:23] 745*2^1427189-1 is not prime. Res64: F5416B35620A2F58 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:37:23] 759*2^1427189-1 is not prime. Res64: A048889D60B02060 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:39:36] 867*2^1427189-1 is not prime. Res64: 8F5FC08A1C54FBA9 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:39:37] 939*2^1427189-1 is not prime. Res64: D24475D0421A2933 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:39:38] 635*2^1427190-1 is not prime. Res64: 4D3638FD5A299CE5 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:39:39] 783*2^1427190-1 is not prime. Res64: 032145F1F6475F05 Time : 0.0 sec. user=mdettweiler [2016-04-24 03:39:40] 873*2^1427190-1 is not prime. Res64: 2D8B289FECB9D5AF Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:01] 887*2^1427190-1 is not prime. Res64: 931010919F499E8E Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:01] 951*2^1427190-1 is not prime. Res64: 6C9EA1312151E897 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:01] 971*2^1427190-1 is not prime. Res64: 1D2BC8B40ECE34AD Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:02] 977*2^1427190-1 is not prime. Res64: C7A4169637755EDC Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:02] 673*2^1427191-1 is not prime. Res64: 616C0C81AE088D0C Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:05] 735*2^1427191-1 is not prime. Res64: BE4167381ACFC2B8 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:05] 771*2^1427191-1 is not prime. Res64: E1C536C7007E8467 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:06] 811*2^1427191-1 is not prime. Res64: CC111216A9DDDB24 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:07] 819*2^1427191-1 is not prime. Res64: 65D72E819B00089D Time : 0.0 sec. user=mdettweiler [2016-04-24 04:07:07] 829*2^1427191-1 is not prime. Res64: DE68D0CC630C55EB Time : 0.0 sec. user=mdettweiler [2016-04-24 04:23:30] 855*2^1427191-1 is not prime. Res64: 1C3F3CCFA8996880 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:23:31] 885*2^1427191-1 is not prime. Res64: 08754C9D966BD6FF Time : 0.0 sec. user=mdettweiler [2016-04-24 04:23:31] 635*2^1427192-1 is not prime. Res64: 730CBDD93F23599A Time : 0.0 sec. user=mdettweiler [2016-04-24 04:23:31] 645*2^1427192-1 is not prime. Res64: 0FBA75D5AFF13C4F Time : 0.0 sec. user=mdettweiler [2016-04-24 04:23:32] 665*2^1427192-1 is not prime. Res64: D97F98AC3419FC7F Time : 0.0 sec. user=mdettweiler [2016-04-24 04:26:20] 717*2^1427192-1 is not prime. Res64: EDEB4027C8EAA270 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:26:20] 903*2^1427192-1 is not prime. Res64: 4903AA73CAE45E12 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:26:20] 915*2^1427192-1 is not prime. Res64: 41D83C1464FDF28A Time : 0.0 sec. user=mdettweiler [2016-04-24 04:26:21] 917*2^1427192-1 is not prime. Res64: D236EC2525A6C7AB Time : 0.0 sec. user=mdettweiler [2016-04-24 04:26:21] 959*2^1427192-1 is not prime. Res64: 521DE36AD62A884E Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:30] 705*2^1427193-1 is not prime. Res64: 2BE21021E10BCE50 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:30] 837*2^1427193-1 is not prime. Res64: D0AE39721AF438D4 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:30] 919*2^1427193-1 is not prime. Res64: 80E2DB4082061D95 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:31] 951*2^1427193-1 is not prime. Res64: DC9065F1E121DAB8 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:31] 717*2^1427194-1 is not prime. Res64: 3D860525C5C5375D Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:51] 723*2^1427194-1 is not prime. Res64: 7C8B6B63E0254C1C Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:51] 881*2^1427194-1 is not prime. Res64: 0E96063836448292 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:51] 885*2^1427194-1 is not prime. Res64: C28736EB9669419D Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:52] 693*2^1427195-1 is not prime. Res64: 5ABD8A141329F895 Time : 0.0 sec. user=mdettweiler [2016-04-24 04:54:52] 735*2^1427195-1 is not prime. Res64: 89B281578628686D Time : 0.0 sec. user=mdettweiler [2016-04-24 05:09:30] 885*2^1427195-1 is not prime. Res64: E3226CD3FA6ED072 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:09:31] 915*2^1427195-1 is not prime. Res64: F6A7E6B3EB695234 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:09:31] 999*2^1427195-1 is not prime. Res64: 059FE4B09FB87FCB Time : 0.0 sec. user=mdettweiler [2016-04-24 05:09:32] 627*2^1427196-1 is not prime. Res64: 1E86862BFBC0822F Time : 0.0 sec. user=mdettweiler [2016-04-24 05:09:32] 689*2^1427196-1 is not prime. Res64: 396F18EB755ADE5E Time : 0.0 sec. user=mdettweiler [2016-04-24 05:12:18] 707*2^1427196-1 is not prime. Res64: C311DB515F9973A3 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:12:18] 735*2^1427196-1 is not prime. Res64: B9E7ABE2B7F6CC46 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:12:19] 789*2^1427196-1 is not prime. Res64: 28C371F5746A31A1 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:12:19] 873*2^1427196-1 is not prime. Res64: AD09A15C792BAE83 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:12:19] 927*2^1427196-1 is not prime. Res64: 1E503E0A8ACBBE04 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:37] 999*2^1427196-1 is not prime. Res64: 9F4D7E106D035DB3 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:37] 699*2^1427197-1 is not prime. Res64: 138827D84D85BA25 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:38] 769*2^1427197-1 is not prime. Res64: 742431382BC75BDA Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:38] 817*2^1427197-1 is not prime. Res64: 767A0DE6C20737AF Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:38] 825*2^1427197-1 is not prime. Res64: 9ED0EF11363BE8E5 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:52] 831*2^1427197-1 is not prime. Res64: 68C9321F897CFC03 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:52] 885*2^1427197-1 is not prime. Res64: 1BFB40FA699BB988 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:53] 889*2^1427197-1 is not prime. Res64: D4088BC65F11198B Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:53] 915*2^1427197-1 is not prime. Res64: BBDC679EF63B7278 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:39:54] 919*2^1427197-1 is not prime. Res64: 172D06E044904DE7 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:54:36] 939*2^1427197-1 is not prime. Res64: 7DC7D13D515940B6 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:54:37] 945*2^1427197-1 is not prime. Res64: AD0310FE848281ED Time : 0.0 sec. user=mdettweiler [2016-04-24 05:54:37] 997*2^1427197-1 is not prime. Res64: A0C9374977F27355 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:54:38] 603*2^1427198-1 is not prime. Res64: BE668F614C6E2AF3 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:54:38] 641*2^1427198-1 is not prime. Res64: F2C670FCD98D87C1 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:57:10] 797*2^1427198-1 is not prime. Res64: B7E23441B47B602D Time : 0.0 sec. user=mdettweiler [2016-04-24 05:57:11] 885*2^1427198-1 is not prime. Res64: B073213E5C78F1E5 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:57:11] 951*2^1427198-1 is not prime. Res64: 0CA6505B5952DCC9 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:57:11] 957*2^1427198-1 is not prime. Res64: 6528C24972C3A574 Time : 0.0 sec. user=mdettweiler [2016-04-24 05:57:12] 977*2^1427198-1 is not prime. Res64: FA356938FB7F050D Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:25] 663*2^1427199-1 is not prime. Res64: BEBB23EEF4D00D7E Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:26] 685*2^1427199-1 is not prime. Res64: 03B967303B5EA517 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:26] 693*2^1427199-1 is not prime. Res64: 18DF91FF4D725760 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:27] 735*2^1427199-1 is not prime. Res64: 89D7663A49036518 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:27] 861*2^1427199-1 is not prime. Res64: 038B3CFEF3E71162 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:52] 909*2^1427199-1 is not prime. Res64: CC37510C4EBDD3CF Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:52] 951*2^1427199-1 is not prime. Res64: B5A83413CD9B6756 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:53] 689*2^1427200-1 is not prime. Res64: 7E42AD24AF36900F Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:53] 797*2^1427200-1 is not prime. Res64: 24BB9217C737A5B2 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:24:53] 827*2^1427200-1 is not prime. Res64: DC7153718CE1CD63 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:39:23] 857*2^1427200-1 is not prime. Res64: DB3667DCD9383A5C Time : 0.0 sec. user=mdettweiler [2016-04-24 06:39:24] 887*2^1427200-1 is not prime. Res64: 0B59EAD409EB14AE Time : 0.0 sec. user=mdettweiler [2016-04-24 06:39:24] 615*2^1427201-1 is not prime. Res64: 96D48BB125A7FBB1 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:39:24] 619*2^1427201-1 is not prime. Res64: 5873AC3C00500BAE Time : 0.0 sec. user=mdettweiler [2016-04-24 06:39:25] 717*2^1427201-1 is not prime. Res64: CE4634807992A70A Time : 0.0 sec. user=mdettweiler [2016-04-24 06:41:59] 769*2^1427201-1 is not prime. Res64: 919877611B9364A5 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:41:59] 931*2^1427201-1 is not prime. Res64: 75BAB8F842073DC5 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:41:59] 681*2^1427202-1 is not prime. Res64: E3F1837F823B6532 Time : 0.0 sec. user=mdettweiler [2016-04-24 06:42:00] 713*2^1427202-1 is not prime. Res64: E385A41ECCEED7CF Time : 0.0 sec. user=mdettweiler [2016-04-24 06:42:00] 747*2^1427202-1 is not prime. Res64: F10E19E63A17B2B9 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:44] 797*2^1427202-1 is not prime. Res64: D665E94301DE0DE6 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:44] 825*2^1427202-1 is not prime. Res64: FBFEBBEC7F7A591D Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:44] 891*2^1427202-1 is not prime. Res64: 97E670D9DE519EB1 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:45] 893*2^1427202-1 is not prime. Res64: 6E822478F701DBBB Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:45] 923*2^1427202-1 is not prime. Res64: 49AB3DF99D971072 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:52] 957*2^1427202-1 is not prime. Res64: 2A495381BC18C79A Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:52] 963*2^1427202-1 is not prime. Res64: 4F735600EDCF6128 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:53] 977*2^1427202-1 is not prime. Res64: 42D712168EE5DCCF Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:53] 615*2^1427203-1 is not prime. Res64: C273795ADE884E1F Time : 0.0 sec. user=mdettweiler [2016-04-24 07:09:53] 639*2^1427203-1 is not prime. Res64: 08EBBD75A6B16873 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:24:50] 663*2^1427203-1 is not prime. Res64: FE913D2E121228BD Time : 0.0 sec. user=mdettweiler [2016-04-24 07:24:50] 679*2^1427203-1 is not prime. Res64: 9D54459A0BA1CD9A Time : 0.0 sec. user=mdettweiler [2016-04-24 07:24:51] 705*2^1427203-1 is not prime. Res64: CF1E1DCB4FA22800 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:24:51] 853*2^1427203-1 is not prime. Res64: D502DFAB64BF8819 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:24:52] 885*2^1427203-1 is not prime. Res64: 62A42A3C533CEEF5 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:27:13] 891*2^1427203-1 is not prime. Res64: D47F6343F3523404 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:27:13] 901*2^1427203-1 is not prime. Res64: EFC9E98044762A5D Time : 0.0 sec. user=mdettweiler [2016-04-24 07:27:13] 919*2^1427203-1 is not prime. Res64: 89E39038252B4647 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:27:14] 635*2^1427204-1 is not prime. Res64: A30DB73723E6485E Time : 0.0 sec. user=mdettweiler [2016-04-24 07:27:14] 677*2^1427204-1 is not prime. Res64: 955F3F8E15A20BCB Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:47] 833*2^1427204-1 is not prime. Res64: CD9810E722178D47 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:48] 607*2^1427205-1 is not prime. Res64: 823E0C95063D922D Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:48] 717*2^1427205-1 is not prime. Res64: EF16157D4F5B7249 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:48] 787*2^1427205-1 is not prime. Res64: 711C8E48DEE37C37 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:49] 847*2^1427205-1 is not prime. Res64: 3AB64825E6907470 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:58] 885*2^1427205-1 is not prime. Res64: 47AEC88615849865 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:58] 919*2^1427205-1 is not prime. Res64: BA4F8EDA293EE3B9 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:59] 927*2^1427205-1 is not prime. Res64: 859ED26230E7CD52 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:54:59] 955*2^1427205-1 is not prime. Res64: C51E086C885E8D11 Time : 0.0 sec. user=mdettweiler [2016-04-24 07:55:00] 603*2^1427206-1 is not prime. Res64: FB40E8CAE5710FD9 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:10:11] 617*2^1427206-1 is not prime. Res64: DEB70109B5808866 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:10:12] 815*2^1427206-1 is not prime. Res64: FE00E058C503E5D6 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:10:12] 825*2^1427206-1 is not prime. Res64: EBB0C27DEF71B395 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:10:13] 855*2^1427206-1 is not prime. Res64: DDE2E529B26526E1 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:10:13] 867*2^1427206-1 is not prime. Res64: 89B11E2B4188A97D Time : 0.0 sec. user=mdettweiler [2016-04-24 08:12:29] 957*2^1427206-1 is not prime. Res64: 88F54CA6433A2728 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:12:30] 601*2^1427207-1 is not prime. Res64: C42239A7BCD8ED7F Time : 0.0 sec. user=mdettweiler [2016-04-24 08:12:30] 603*2^1427207-1 is not prime. Res64: B53A64414C725BAE Time : 0.0 sec. user=mdettweiler [2016-04-24 08:12:30] 735*2^1427207-1 is not prime. Res64: 743F0B7F38440146 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:12:31] 799*2^1427207-1 is not prime. Res64: 4A17D2EE808516C7 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:39:51] 931*2^1427207-1 is not prime. Res64: 276579D6010095A6 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:39:51] 635*2^1427208-1 is not prime. Res64: 48FACAFAFACA0504 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:39:52] 639*2^1427208-1 is not prime. Res64: 4922446FF37E32E2 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:39:52] 663*2^1427208-1 is not prime. Res64: CD6F4EA80665BE3F Time : 0.0 sec. user=mdettweiler [2016-04-24 08:39:53] 669*2^1427208-1 is not prime. Res64: 094071D60F5B3605 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:40:03] 759*2^1427208-1 is not prime. Res64: 9B06DD869DDA6BD3 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:40:03] 767*2^1427208-1 is not prime. Res64: C6DE3DC03BE426B3 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:40:04] 773*2^1427208-1 is not prime. Res64: DA8E108C15DDFF2C Time : 0.0 sec. user=mdettweiler [2016-04-24 08:40:04] 915*2^1427208-1 is not prime. Res64: 880A96BA52E7FA8F Time : 0.0 sec. user=mdettweiler [2016-04-24 08:40:04] 929*2^1427208-1 is not prime. Res64: 81C4FFD02113C442 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:55:29] 945*2^1427208-1 is not prime. Res64: 8EA8C749F299A257 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:55:29] 975*2^1427208-1 is not prime. Res64: BF6C7A4076B175FD Time : 0.0 sec. user=mdettweiler [2016-04-24 08:55:30] 609*2^1427209-1 is not prime. Res64: 803E7E43FD3F9C99 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:55:30] 751*2^1427209-1 is not prime. Res64: A7AEE11F4448AE19 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:55:30] 769*2^1427209-1 is not prime. Res64: 55C299015DDA8BA5 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:57:37] 801*2^1427209-1 is not prime. Res64: 0118B4688B7124E0 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:57:37] 811*2^1427209-1 is not prime. Res64: B0FC873A6365330B Time : 0.0 sec. user=mdettweiler [2016-04-24 08:57:38] 895*2^1427209-1 is not prime. Res64: 6C48B609697E630B Time : 0.0 sec. user=mdettweiler [2016-04-24 08:57:38] 931*2^1427209-1 is not prime. Res64: 38511E3D13FEE9C9 Time : 0.0 sec. user=mdettweiler [2016-04-24 08:57:38] 957*2^1427209-1 is not prime. Res64: C61458426E985527 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:08] 677*2^1427210-1 is not prime. Res64: 7F7C53A42479DDC5 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:09] 711*2^1427210-1 is not prime. Res64: 75485685A58A8A1A Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:09] 867*2^1427210-1 is not prime. Res64: F1019F7AD2CFF122 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:09] 713*2^1427210-1 is not prime. Res64: B69AB27A771DB31F Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:09] 885*2^1427210-1 is not prime. Res64: 6D03004B66B7B822 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:09] 741*2^1427210-1 is not prime. Res64: F131F45AC9657806 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:10] 923*2^1427210-1 is not prime. Res64: 80D0193679E8568E Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:10] 845*2^1427210-1 is not prime. Res64: 5BA771799E912CDE Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:10] 927*2^1427210-1 is not prime. Res64: A844B27ADAA3A068 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:25:10] 613*2^1427211-1 is not prime. Res64: 3028422044C47D88 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:40:40] 625*2^1427211-1 is not prime. Res64: 11CB05C67D556F20 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:40:41] 705*2^1427211-1 is not prime. Res64: F0813E8DBD58C438 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:40:41] 741*2^1427211-1 is not prime. Res64: 1FE58CCC4BB99661 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:40:42] 895*2^1427211-1 is not prime. Res64: FCC2582239D9DDDE Time : 0.0 sec. user=mdettweiler [2016-04-24 09:40:42] 913*2^1427211-1 is not prime. Res64: 2808E958544CAE30 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:42:53] 615*2^1427212-1 is not prime. Res64: 6B0CDC936F9300AA Time : 0.0 sec. user=mdettweiler [2016-04-24 09:42:53] 665*2^1427212-1 is not prime. Res64: 1D395661BB1AFF2C Time : 0.0 sec. user=mdettweiler [2016-04-24 09:42:54] 675*2^1427212-1 is not prime. Res64: 4129DF1476DD098F Time : 0.0 sec. user=mdettweiler [2016-04-24 09:42:54] 689*2^1427212-1 is not prime. Res64: 5EFC0578262717A4 Time : 0.0 sec. user=mdettweiler [2016-04-24 09:42:54] 735*2^1427212-1 is not prime. Res64: 63BC4BE071A996C6 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:01] 727*2^1427213-1 is not prime. Res64: C8F68044B7ED9621 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:01] 745*2^1427213-1 is not prime. Res64: 561C49CE70570445 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:02] 819*2^1427213-1 is not prime. Res64: C0126E8827003B22 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:02] 837*2^1427213-1 is not prime. Res64: B7AABE36844DA183 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:02] 847*2^1427213-1 is not prime. Res64: 9B92051026A72E60 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:04] 869*2^1427212-1 is not prime. Res64: 6D9A91B9FD275D79 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:04] 909*2^1427212-1 is not prime. Res64: 453AA9E7B2CAE310 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:05] 615*2^1427213-1 is not prime. Res64: 5C8AED119482E714 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:05] 627*2^1427213-1 is not prime. Res64: 2095AF794D83A575 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:10:06] 699*2^1427213-1 is not prime. Res64: 0EDE46712735F81E Time : 0.0 sec. user=mdettweiler [2016-04-24 10:25:35] 871*2^1427213-1 is not prime. Res64: 5377192B7DEAE3AD Time : 0.0 sec. user=mdettweiler [2016-04-24 10:25:35] 889*2^1427213-1 is not prime. Res64: D8BF140E9149D0AD Time : 0.0 sec. user=mdettweiler [2016-04-24 10:25:36] 925*2^1427213-1 is not prime. Res64: D7F9B5965720D0C6 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:25:36] 981*2^1427213-1 is not prime. Res64: 21D23583CEF98AA9 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:25:36] 991*2^1427213-1 is not prime. Res64: 45327DA810F83278 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:27:47] 611*2^1427214-1 is not prime. Res64: 4D0DCB42CEB097BF Time : 0.0 sec. user=mdettweiler [2016-04-24 10:27:47] 627*2^1427214-1 is not prime. Res64: 67A7D6597537F5C5 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:27:48] 755*2^1427214-1 is not prime. Res64: 4535233F403ECFAC Time : 0.0 sec. user=mdettweiler [2016-04-24 10:27:48] 783*2^1427214-1 is not prime. Res64: 51A3E926A885F5A9 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:27:48] 815*2^1427214-1 is not prime. Res64: E51BF392599D1EF1 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:54:57] 891*2^1427214-1 is not prime. Res64: A28D2F9A92B83BA3 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:54:57] 927*2^1427214-1 is not prime. Res64: 3FFB7BC51DB3A44E Time : 0.0 sec. user=mdettweiler [2016-04-24 10:54:57] 971*2^1427214-1 is not prime. Res64: 6A6668410E2A54FA Time : 0.0 sec. user=mdettweiler [2016-04-24 10:54:58] 651*2^1427215-1 is not prime. Res64: 06F797331C581193 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:54:58] 685*2^1427215-1 is not prime. Res64: ED0B6DBF851E5AF8 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:55:03] 741*2^1427215-1 is not prime. Res64: 0831550719A1ED52 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:55:03] 659*2^1427216-1 is not prime. Res64: 990742DFB79686C8 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:55:03] 675*2^1427216-1 is not prime. Res64: 6B06AD91B27C6C39 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:55:04] 717*2^1427216-1 is not prime. Res64: B15A8E657C184E83 Time : 0.0 sec. user=mdettweiler [2016-04-24 10:55:04] 725*2^1427216-1 is not prime. Res64: 701EDBFB47ABDD11 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:11:11] 785*2^1427216-1 is not prime. Res64: 4F6993838015E2A8 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:11:11] 893*2^1427216-1 is not prime. Res64: 4A20D43A0C128956 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:11:12] 903*2^1427216-1 is not prime. Res64: 711DABC0B6328312 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:11:12] 917*2^1427216-1 is not prime. Res64: 9D213A0D0804F123 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:11:13] 609*2^1427217-1 is not prime. Res64: F10AF436D0064A37 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:13:09] 651*2^1427217-1 is not prime. Res64: 9BF63C94D45E76A0 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:13:09] 727*2^1427217-1 is not prime. Res64: 4F646030A35512EA Time : 0.0 sec. user=mdettweiler [2016-04-24 11:13:10] 747*2^1427217-1 is not prime. Res64: 2DE358BC902D5CCB Time : 0.0 sec. user=mdettweiler [2016-04-24 11:13:10] 847*2^1427217-1 is not prime. Res64: C4899735DFD95941 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:13:11] 985*2^1427217-1 is not prime. Res64: 892D6F97302676F4 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:10] 755*2^1427218-1 is not prime. Res64: 40BD39CC37CA3C56 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:10] 843*2^1427218-1 is not prime. Res64: D2886E73C4172D4D Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:10] 669*2^1427219-1 is not prime. Res64: A9FFCAEA6F324C3F Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:11] 605*2^1427218-1 is not prime. Res64: 3393636820DECB05 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:11] 685*2^1427219-1 is not prime. Res64: 37C1577E13188D0F Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:11] 611*2^1427218-1 is not prime. Res64: A98DE1B91A20FF44 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:11] 693*2^1427219-1 is not prime. Res64: 9AEA52E615E9642B Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:12] 651*2^1427218-1 is not prime. Res64: C5DA57308C4FEDC1 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:12] 695*2^1427218-1 is not prime. Res64: A5E9D682CE654943 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:40:13] 735*2^1427218-1 is not prime. Res64: 41515AC2387C245F Time : 0.0 sec. user=mdettweiler [2016-04-24 11:56:20] 883*2^1427219-1 is not prime. Res64: C5BBD7287F0D7714 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:56:20] 889*2^1427219-1 is not prime. Res64: CE4C71797F4D3FFD Time : 0.0 sec. user=mdettweiler [2016-04-24 11:56:21] 627*2^1427220-1 is not prime. Res64: C91FD43982E19890 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:56:21] 675*2^1427220-1 is not prime. Res64: EAC91D484B08FA1C Time : 0.0 sec. user=mdettweiler [2016-04-24 11:56:21] 707*2^1427220-1 is not prime. Res64: 1C0FF13C27A1CAB5 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:58:35] 819*2^1427220-1 is not prime. Res64: 285BD29DBB4768B7 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:58:36] 927*2^1427220-1 is not prime. Res64: 16B01CB2D8041B4A Time : 0.0 sec. user=mdettweiler [2016-04-24 11:58:36] 957*2^1427220-1 is not prime. Res64: C2CFE0010F173756 Time : 0.0 sec. user=mdettweiler [2016-04-24 11:58:37] 975*2^1427220-1 is not prime. Res64: BC8DE3355B63392A Time : 0.0 sec. user=mdettweiler [2016-04-24 11:58:37] 987*2^1427220-1 is not prime. Res64: 2869B44063B6C471 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:16] 669*2^1427223-1 is not prime. Res64: 382976FE2BD0E47A Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:17] 703*2^1427223-1 is not prime. Res64: 8DB994FD60D6E78B Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:17] 741*2^1427223-1 is not prime. Res64: CA1B7E0D3F2C7341 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:17] 825*2^1427223-1 is not prime. Res64: E3310AF8E12126A7 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:18] 831*2^1427223-1 is not prime. Res64: BFEE343C86A7CEF2 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:23] 679*2^1427221-1 is not prime. Res64: 41DA09CCEB0E82A2 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:23] 681*2^1427221-1 is not prime. Res64: 24393EDF97450025 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:23] 819*2^1427221-1 is not prime. Res64: A11E4946A6D78C49 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:24] 889*2^1427221-1 is not prime. Res64: 2DE019296DF04564 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:25:24] 885*2^1427222-1 is not prime. Res64: D9B0B29050F59150 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:41:37] 969*2^1427223-1 is not prime. Res64: D8D69D9C244D7FD6 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:41:38] 605*2^1427224-1 is not prime. Res64: BF5263B762D743A8 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:41:38] 617*2^1427224-1 is not prime. Res64: 898069455C3BCD97 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:41:39] 675*2^1427224-1 is not prime. Res64: 3E64D6F3FBEC1063 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:41:39] 677*2^1427224-1 is not prime. Res64: 47F1E7BF9F10B056 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:44:02] 717*2^1427224-1 is not prime. Res64: 262F3B49FA954205 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:44:03] 723*2^1427224-1 is not prime. Res64: A34FC021FB8FE6C4 Time : 0.0 sec. user=mdettweiler [2016-04-24 12:44:03] 743*2^1427224-1 is not prime. Res64: 1F257A313C65D0EA Time : 0.0 sec. user=mdettweiler [2016-04-24 12:44:03] 755*2^1427224-1 is not prime. Res64: F9A2A1C57BBA30BF Time : 0.0 sec. user=mdettweiler [2016-04-24 12:44:04] 759*2^1427224-1 is not prime. Res64: F16540E0E025263C Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:18] 619*2^1427225-1 is not prime. Res64: CE19DA29445A4E60 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:18] 847*2^1427225-1 is not prime. Res64: 1572A232548F27A6 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:19] 939*2^1427225-1 is not prime. Res64: 12B22F7C1AD6054A Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:19] 949*2^1427225-1 is not prime. Res64: B5B78D4E956EE993 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:20] 777*2^1427226-1 is not prime. Res64: B18858A0372C432C Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:23] 827*2^1427224-1 is not prime. Res64: 951DB3F17FE88A1F Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:24] 855*2^1427224-1 is not prime. Res64: 715F251966643FDE Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:24] 875*2^1427224-1 is not prime. Res64: 237CF851C066DE39 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:25] 905*2^1427224-1 is not prime. Res64: 569D1DD2BDD7927A Time : 0.0 sec. user=mdettweiler [2016-04-24 13:10:25] 917*2^1427224-1 is not prime. Res64: BA047FC714BA18EE Time : 0.0 sec. user=mdettweiler [2016-04-24 13:26:41] 945*2^1427226-1 is not prime. Res64: B8051709CBE73F36 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:26:41] 649*2^1427227-1 is not prime. Res64: 322D407C927ACCA5 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:26:42] 765*2^1427227-1 is not prime. Res64: 78418EBA1586C20D Time : 0.0 sec. user=mdettweiler [2016-04-24 13:26:42] 883*2^1427227-1 is not prime. Res64: 1813A5C46C8658FC Time : 0.0 sec. user=mdettweiler [2016-04-24 13:26:42] 885*2^1427227-1 is not prime. Res64: 28A647C3D15FAC0E Time : 0.0 sec. user=mdettweiler [2016-04-24 13:28:57] 909*2^1427227-1 is not prime. Res64: 32815FDE77431EBE Time : 0.0 sec. user=mdettweiler [2016-04-24 13:28:57] 961*2^1427227-1 is not prime. Res64: 2CA0D6A2667002C1 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:28:57] 603*2^1427228-1 is not prime. Res64: B2C2F65698DF7568 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:28:58] 753*2^1427228-1 is not prime. Res64: FFC2BC86B698013D Time : 0.0 sec. user=mdettweiler [2016-04-24 13:28:58] 867*2^1427228-1 is not prime. Res64: E18029699D979A88 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:19] 945*2^1427228-1 is not prime. Res64: 10630CC6F080A597 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:20] 977*2^1427228-1 is not prime. Res64: 1AB4772B15EDEC6D Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:20] 987*2^1427228-1 is not prime. Res64: 199FB8BC2D0438A8 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:21] 995*2^1427228-1 is not prime. Res64: 3E4B7860D13372D5 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:21] 621*2^1427229-1 is not prime. Res64: 6EE679CD0673983E Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:31] 685*2^1427229-1 is not prime. Res64: 080AB1E53B90A549 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:32] 831*2^1427229-1 is not prime. Res64: 12FA494C7BEB4712 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:32] 837*2^1427229-1 is not prime. Res64: 3B6CE173748D49B1 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:33] 865*2^1427229-1 is not prime. Res64: EAD7E589595E8011 Time : 0.0 sec. user=mdettweiler [2016-04-24 13:55:33] 951*2^1427229-1 is not prime. Res64: CE836FDD11546ED3 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:11:52] 975*2^1427229-1 is not prime. Res64: 741C1A01257CB852 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:11:53] 997*2^1427229-1 is not prime. Res64: 81F843D68AF60ED2 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:11:53] 657*2^1427230-1 is not prime. Res64: 1EE19C3ED479C7D2 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:11:54] 687*2^1427230-1 is not prime. Res64: AE83A1816D3A4B53 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:11:54] 717*2^1427230-1 is not prime. Res64: DAA74B570B740A62 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:14:06] 747*2^1427230-1 is not prime. Res64: 0E39A0F198C4EA1E Time : 0.0 sec. user=mdettweiler [2016-04-24 14:14:07] 761*2^1427230-1 is not prime. Res64: 2652635CB28351DA Time : 0.0 sec. user=mdettweiler [2016-04-24 14:14:07] 785*2^1427230-1 is not prime. Res64: 004C549275441BB3 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:14:08] 831*2^1427230-1 is not prime. Res64: FD6BAE65E1FD6138 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:14:08] 867*2^1427230-1 is not prime. Res64: 981EB6EFE1568283 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:19] 921*2^1427231-1 is not prime. Res64: F2F91B60594760E3 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:20] 939*2^1427231-1 is not prime. Res64: 586FED60387CB322 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:20] 979*2^1427231-1 is not prime. Res64: DBC5FF85093F74A5 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:20] 887*2^1427230-1 is not prime. Res64: 5AC74AAA1C8A264B Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:21] 605*2^1427232-1 is not prime. Res64: 50B32D64143E58D4 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:21] 917*2^1427230-1 is not prime. Res64: 276D0E6E3E2F0BA0 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:21] 635*2^1427232-1 is not prime. Res64: CB7FEACABED9A103 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:21] 933*2^1427230-1 is not prime. Res64: BAF610895A83F478 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:22] 663*2^1427231-1 is not prime. Res64: F738B0C9F3AC9985 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:40:22] 901*2^1427231-1 is not prime. Res64: D48DFA43334E85C4 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:57:08] 753*2^1427232-1 is not prime. Res64: E823C230AFFA1050 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:57:08] 809*2^1427232-1 is not prime. Res64: 9249E944916F4492 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:57:09] 873*2^1427232-1 is not prime. Res64: A6A52DAE86398B44 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:57:09] 899*2^1427232-1 is not prime. Res64: DA84AE59BFC36579 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:57:09] 625*2^1427233-1 is not prime. Res64: A6F08B88DCF5970C Time : 0.0 sec. user=mdettweiler [2016-04-24 14:59:11] 675*2^1427233-1 is not prime. Res64: DDEC590672E67244 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:59:12] 679*2^1427233-1 is not prime. Res64: 29F2EBADBC8AF278 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:59:12] 681*2^1427233-1 is not prime. Res64: 11EA5121D3B0414D Time : 0.0 sec. user=mdettweiler [2016-04-24 14:59:12] 807*2^1427233-1 is not prime. Res64: 427E3BA26A414586 Time : 0.0 sec. user=mdettweiler [2016-04-24 14:59:13] 627*2^1427234-1 is not prime. Res64: FEE0E4991D4C4B7A Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:24] 935*2^1427234-1 is not prime. Res64: 1A3A95E57E511B03 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:25] 987*2^1427234-1 is not prime. Res64: C0AF2BEBBD02EEE2 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:25] 993*2^1427234-1 is not prime. Res64: 79B6FAD2422B97D4 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:26] 679*2^1427235-1 is not prime. Res64: 6F26A5DB1BE1E8A9 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:26] 753*2^1427235-1 is not prime. Res64: E732F07E5C83CFB9 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:29] 785*2^1427234-1 is not prime. Res64: B1EF650C8B5BC9FC Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:29] 797*2^1427234-1 is not prime. Res64: 647373948C7D2002 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:30] 903*2^1427234-1 is not prime. Res64: 9173F38044FA399A Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:30] 915*2^1427234-1 is not prime. Res64: 388011BBF96D1D43 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:25:30] 921*2^1427234-1 is not prime. Res64: 795FBFDEABB54D28 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:43:04] 765*2^1427235-1 is not prime. Res64: 75F869A0CB51491D Time : 0.0 sec. user=mdettweiler [2016-04-24 15:43:04] 829*2^1427235-1 is not prime. Res64: 854AA7C03F873E4E Time : 0.0 sec. user=mdettweiler [2016-04-24 15:43:05] 873*2^1427235-1 is not prime. Res64: B4BCBD5D3DBBC7BB Time : 0.0 sec. user=mdettweiler [2016-04-24 15:43:05] 895*2^1427235-1 is not prime. Res64: 557122A03F7F8B02 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:43:05] 961*2^1427235-1 is not prime. Res64: 9074BB2D9BC47905 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:44:44] 963*2^1427235-1 is not prime. Res64: 548599E04C0D9FF2 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:44:45] 657*2^1427236-1 is not prime. Res64: A453690D7549215F Time : 0.0 sec. user=mdettweiler [2016-04-24 15:44:45] 689*2^1427236-1 is not prime. Res64: 59652EAEADB86CAF Time : 0.0 sec. user=mdettweiler [2016-04-24 15:44:45] 693*2^1427236-1 is not prime. Res64: 6DC4A95E0B1B9FA5 Time : 0.0 sec. user=mdettweiler [2016-04-24 15:44:46] 777*2^1427236-1 is not prime. Res64: FC45B1B0CCBAED6D Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:11] 825*2^1427236-1 is not prime. Res64: BECC518E6A63B78B Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:11] 993*2^1427236-1 is not prime. Res64: 47A3808972249769 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:12] 645*2^1427237-1 is not prime. Res64: C84E45AA2A2CD842 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:12] 685*2^1427237-1 is not prime. Res64: 053BDDD4C77E401E Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:12] 735*2^1427237-1 is not prime. Res64: 3D4B580EB32A11D3 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:13] 867*2^1427237-1 is not prime. Res64: C07FB7A337ECB08D Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:13] 931*2^1427237-1 is not prime. Res64: 20DDA81ECDBDDA09 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:14] 937*2^1427237-1 is not prime. Res64: 057E858CF23D8C99 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:14] 955*2^1427237-1 is not prime. Res64: A53DE933BDF86FDD Time : 0.0 sec. user=mdettweiler [2016-04-24 16:15:14] 621*2^1427238-1 is not prime. Res64: F391C3502BE4F06F Time : 0.0 sec. user=mdettweiler [2016-04-24 16:34:36] 711*2^1427238-1 is not prime. Res64: DF1566C3FCC1331F Time : 0.0 sec. user=mdettweiler [2016-04-24 16:34:37] 713*2^1427238-1 is not prime. Res64: BD75EF81716E38F4 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:34:37] 747*2^1427238-1 is not prime. Res64: 35D55E6F93CC4D60 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:34:37] 755*2^1427238-1 is not prime. Res64: 17BBFBF00A06C82D Time : 0.0 sec. user=mdettweiler [2016-04-24 16:34:38] 791*2^1427238-1 is not prime. Res64: E2728B37E9FF55D5 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:36:23] 923*2^1427238-1 is not prime. Res64: 39CB12540A7723C4 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:36:23] 609*2^1427239-1 is not prime. Res64: C8C8C243B4893CFA Time : 0.0 sec. user=mdettweiler [2016-04-24 16:36:23] 625*2^1427239-1 is not prime. Res64: 55AD3EFE0D9B0074 Time : 0.0 sec. user=mdettweiler [2016-04-24 16:36:23] 693*2^1427239-1 is not prime. Res64: 0468A60F66A704EE Time : 0.0 sec. user=mdettweiler [2016-04-24 16:36:24] 771*2^1427239-1 is not prime. Res64: F083BE3A38C217B0 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:20] 975*2^1427239-1 is not prime. Res64: 9FE1920A16752653 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:20] 603*2^1427240-1 is not prime. Res64: 4EE2DD78A154B3AE Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:20] 609*2^1427240-1 is not prime. Res64: E58EC4C87BBF9524 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:21] 663*2^1427240-1 is not prime. Res64: 8BCB50D195CD124A Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:21] 699*2^1427240-1 is not prime. Res64: 5654E74CEF8E7DB1 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:27] 841*2^1427239-1 is not prime. Res64: 432B6E5B58E4881F Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:27] 843*2^1427239-1 is not prime. Res64: BEDCA6619F93EC0A Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:28] 859*2^1427239-1 is not prime. Res64: 939CB5E1FF35DFE0 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:28] 939*2^1427239-1 is not prime. Res64: 54975CCC248CAE59 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:08:28] 969*2^1427239-1 is not prime. Res64: ABFE3CBECC1E9EA0 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:28:30] 713*2^1427240-1 is not prime. Res64: 69AD6C9D2C2E7F65 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:28:30] 735*2^1427240-1 is not prime. Res64: 276405AF712EE49A Time : 0.0 sec. user=mdettweiler [2016-04-24 17:28:30] 813*2^1427240-1 is not prime. Res64: EE2C36F53A11A237 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:28:30] 845*2^1427240-1 is not prime. Res64: 7DE1997D64C38546 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:28:31] 999*2^1427240-1 is not prime. Res64: 831F9703788B8A49 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:30:22] 657*2^1427241-1 is not prime. Res64: D3085CD0EFF598A9 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:30:22] 709*2^1427241-1 is not prime. Res64: E461C237D4CF8CD8 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:30:22] 747*2^1427241-1 is not prime. Res64: C7FFDC9DABE58A97 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:30:23] 999*2^1427241-1 is not prime. Res64: 35F5563FEF14CF41 Time : 0.0 sec. user=mdettweiler [2016-04-24 17:30:23] 695*2^1427242-1 is not prime. Res64: DD23CB2B82985FB1 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:01] 713*2^1427242-1 is not prime. Res64: 08E6E7E772DCC5A3 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:02] 827*2^1427242-1 is not prime. Res64: 2F248D425AEAE0E3 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:02] 833*2^1427242-1 is not prime. Res64: 226A22372D73065B Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:03] 947*2^1427242-1 is not prime. Res64: D2CD21F62EF98B34 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:03] 957*2^1427242-1 is not prime. Res64: A9A88477149CFF57 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:09] 715*2^1427243-1 is not prime. Res64: 2B7D6B5E1EB5D9DD Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:10] 693*2^1427244-1 is not prime. Res64: 3C049F53C14538AF Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:10] 723*2^1427244-1 is not prime. Res64: 3B93AA86866847C4 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:10] 749*2^1427244-1 is not prime. Res64: 7732E490F4FD1F52 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:00:10] 789*2^1427244-1 is not prime. Res64: C2B12A4A4D7DFEA0 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:19:23] 837*2^1427244-1 is not prime. Res64: EF720EEE0FE33166 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:19:24] 873*2^1427244-1 is not prime. Res64: F4812DCFA38EF134 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:19:24] 893*2^1427244-1 is not prime. Res64: ABEB4E705C0AC1D1 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:19:24] 903*2^1427244-1 is not prime. Res64: 58F645E7A4E2544D Time : 0.0 sec. user=mdettweiler [2016-04-24 18:19:25] 959*2^1427244-1 is not prime. Res64: 384BF6719C8CA097 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:20:50] 975*2^1427244-1 is not prime. Res64: C45518DFA53E7EBC Time : 0.0 sec. user=mdettweiler [2016-04-24 18:20:51] 609*2^1427245-1 is not prime. Res64: 62770FF349613A08 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:20:51] 729*2^1427245-1 is not prime. Res64: 929B3D832DB059C9 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:20:51] 757*2^1427245-1 is not prime. Res64: C85800B0E83D6E1E Time : 0.0 sec. user=mdettweiler [2016-04-24 18:20:51] 789*2^1427245-1 is not prime. Res64: 4AA0781D5D9C5F85 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:49:53] 855*2^1427245-1 is not prime. Res64: 3CD9E41B4E36D9C9 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:49:54] 957*2^1427245-1 is not prime. Res64: 7354A5042F8B34B8 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:49:54] 979*2^1427245-1 is not prime. Res64: F6568C530F0281D4 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:49:54] 651*2^1427246-1 is not prime. Res64: 6690757CD96A6302 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:49:55] 717*2^1427246-1 is not prime. Res64: E300B74D248472F0 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:50:16] 741*2^1427246-1 is not prime. Res64: 6A10797385FB4D15 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:50:17] 831*2^1427246-1 is not prime. Res64: CAE8AF4701C6438F Time : 0.0 sec. user=mdettweiler [2016-04-24 18:50:17] 923*2^1427246-1 is not prime. Res64: 7899A2ECB959DDC9 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:50:18] 971*2^1427246-1 is not prime. Res64: FD9DA9A3E8D2E575 Time : 0.0 sec. user=mdettweiler [2016-04-24 18:50:18] 619*2^1427247-1 is not prime. Res64: FC6A6F543D8DD012 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:07:04] 625*2^1427247-1 is not prime. Res64: 01F262DC39C8CC82 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:07:04] 819*2^1427247-1 is not prime. Res64: DAB8BAD2C8807D90 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:07:05] 831*2^1427247-1 is not prime. Res64: 26B332F841442DF3 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:07:05] 843*2^1427247-1 is not prime. Res64: 856FD5E2E682F121 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:07:06] 861*2^1427247-1 is not prime. Res64: 193090999E1DE28F Time : 0.0 sec. user=mdettweiler [2016-04-24 19:08:54] 931*2^1427247-1 is not prime. Res64: CDD8E96782013788 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:08:55] 975*2^1427247-1 is not prime. Res64: C6F888A26A760533 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:08:55] 603*2^1427248-1 is not prime. Res64: 4CAC6E49B18A467F Time : 0.0 sec. user=mdettweiler [2016-04-24 19:08:56] 677*2^1427248-1 is not prime. Res64: 5061FA76E0E7108B Time : 0.0 sec. user=mdettweiler [2016-04-24 19:08:56] 899*2^1427248-1 is not prime. Res64: C71173496BBC753F Time : 0.0 sec. user=mdettweiler [2016-04-24 19:34:52] 927*2^1427248-1 is not prime. Res64: 4DBFED0C4CBF72F0 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:34:52] 999*2^1427248-1 is not prime. Res64: 54E2A514BB5CF458 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:34:53] 615*2^1427249-1 is not prime. Res64: D6FCFD8079A4D5A0 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:34:53] 637*2^1427249-1 is not prime. Res64: 3196DA0C0A822122 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:34:54] 691*2^1427249-1 is not prime. Res64: 97916F928B8DCBA9 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:35:13] 699*2^1427249-1 is not prime. Res64: E0DBDDA56A33FD9E Time : 0.0 sec. user=mdettweiler [2016-04-24 19:35:13] 755*2^1427250-1 is not prime. Res64: D42D9B07DE71A1E6 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:35:14] 791*2^1427250-1 is not prime. Res64: B16393428B27BCFD Time : 0.0 sec. user=mdettweiler [2016-04-24 19:35:14] 803*2^1427250-1 is not prime. Res64: 49A8194DA0B3E154 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:35:14] 825*2^1427250-1 is not prime. Res64: 42922C7C574CC497 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:52:09] 941*2^1427250-1 is not prime. Res64: ADAF2FD7B270ACFF Time : 0.0 sec. user=mdettweiler [2016-04-24 19:52:09] 977*2^1427250-1 is not prime. Res64: C5053A642A65D54B Time : 0.0 sec. user=mdettweiler [2016-04-24 19:52:10] 1001*2^1427250-1 is not prime. Res64: DC3C3B9AA741A366 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:52:10] 625*2^1427251-1 is not prime. Res64: 1E66A4864349CD61 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:52:10] 651*2^1427251-1 is not prime. Res64: B095F6CB272E32F2 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:53:57] 993*2^1427251-1 is not prime. Res64: C82B1462FEB4C37F Time : 0.0 sec. user=mdettweiler [2016-04-24 19:53:57] 635*2^1427252-1 is not prime. Res64: 64A6FCE2E0CD829A Time : 0.0 sec. user=mdettweiler [2016-04-24 19:53:58] 803*2^1427252-1 is not prime. Res64: 38E9AFE5BC1732B6 Time : 0.0 sec. user=mdettweiler [2016-04-24 19:53:58] 837*2^1427252-1 is not prime. Res64: CD41A3B0B4835C0D Time : 0.0 sec. user=mdettweiler [2016-04-24 19:53:59] 929*2^1427252-1 is not prime. Res64: DCB06982EA62FCDD Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:02] 609*2^1427253-1 is not prime. Res64: F7C7E48B3C3CF32B Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:02] 627*2^1427253-1 is not prime. Res64: 1763AD48CA055C21 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:03] 721*2^1427253-1 is not prime. Res64: 9B46981A88F0CC1F Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:03] 829*2^1427253-1 is not prime. Res64: D963B4913BDDE95D Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:04] 991*2^1427253-1 is not prime. Res64: 7511598D2B4D973A Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:21] 605*2^1427254-1 is not prime. Res64: 1EF3B80221823CD6 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:22] 717*2^1427254-1 is not prime. Res64: 8EF2C6A3B23C8FEB Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:22] 723*2^1427254-1 is not prime. Res64: 07923CD4B2F38262 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:23] 731*2^1427254-1 is not prime. Res64: D81EAFF842EEDFF5 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:20:23] 741*2^1427254-1 is not prime. Res64: A253A1200C3274D9 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:37:10] 885*2^1427254-1 is not prime. Res64: 1BC184EF30A7F3FE Time : 0.0 sec. user=mdettweiler [2016-04-24 20:37:11] 981*2^1427254-1 is not prime. Res64: 492F097095685AF1 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:37:11] 603*2^1427255-1 is not prime. Res64: 57B9806D3009D831 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:37:12] 921*2^1427255-1 is not prime. Res64: 9D1E595D4919C972 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:37:12] 963*2^1427255-1 is not prime. Res64: 7B0E0F4B21242A9D Time : 0.0 sec. user=mdettweiler [2016-04-24 20:38:57] 689*2^1427256-1 is not prime. Res64: 20A3A2CC3E345520 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:38:57] 705*2^1427256-1 is not prime. Res64: 2C69507DC8160591 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:38:57] 899*2^1427256-1 is not prime. Res64: 4292EE84D5ED2CFB Time : 0.0 sec. user=mdettweiler [2016-04-24 20:38:58] 903*2^1427256-1 is not prime. Res64: 60B4FF822A9532D9 Time : 0.0 sec. user=mdettweiler [2016-04-24 20:38:58] 945*2^1427256-1 is not prime. Res64: 65E46910D4E04EEF Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:12] 615*2^1427257-1 is not prime. Res64: 46594E38A6614208 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:14] 741*2^1427257-1 is not prime. Res64: 58A59056C0346AEE Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:15] 747*2^1427257-1 is not prime. Res64: 4A9E67727E198DAA Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:16] 771*2^1427257-1 is not prime. Res64: 5C1F01A10572BFA2 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:17] 847*2^1427257-1 is not prime. Res64: 2039689586BFA75D Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:25] 957*2^1427257-1 is not prime. Res64: 6050B6BE65621B1D Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:27] 623*2^1427258-1 is not prime. Res64: AEA1454D4278CC2E Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:29] 641*2^1427258-1 is not prime. Res64: 6113477737BFAF42 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:30] 827*2^1427258-1 is not prime. Res64: 7F6EA4AE03875949 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:05:31] 867*2^1427258-1 is not prime. Res64: EA8886836D7CA14D Time : 0.0 sec. user=mdettweiler [2016-04-24 21:22:15] 875*2^1427258-1 is not prime. Res64: AC5306A2B9112E42 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:22:15] 911*2^1427258-1 is not prime. Res64: 22885398C8A74429 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:22:16] 935*2^1427258-1 is not prime. Res64: 8DB63175DD445D51 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:22:17] 945*2^1427258-1 is not prime. Res64: DA34A9C66776ACBC Time : 0.0 sec. user=mdettweiler [2016-04-24 21:22:17] 615*2^1427259-1 is not prime. Res64: F455C039534393A7 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:24:07] 843*2^1427259-1 is not prime. Res64: 9DC0C9A61D39FED3 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:24:08] 879*2^1427259-1 is not prime. Res64: 40D846BBC6BB4920 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:24:08] 985*2^1427259-1 is not prime. Res64: E55D59B2896C4935 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:24:09] 653*2^1427260-1 is not prime. Res64: 365FBB30C6817767 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:24:09] 695*2^1427260-1 is not prime. Res64: 3011F97C0041F03D Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:38] 619*2^1427261-1 is not prime. Res64: 62A0BE09C8B72FFE Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:38] 621*2^1427261-1 is not prime. Res64: 14EC76FCE76BDF6F Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:39] 907*2^1427261-1 is not prime. Res64: 71BB0ABD70F7EAA7 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:39] 987*2^1427261-1 is not prime. Res64: B87E2DF5C228B1A9 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:40] 741*2^1427262-1 is not prime. Res64: A2E44644BDE10D28 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:47] 873*2^1427262-1 is not prime. Res64: D8B0A3708FBAF0EA Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:47] 903*2^1427262-1 is not prime. Res64: 30EEAA8ED2395B5A Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:48] 703*2^1427263-1 is not prime. Res64: 85F6FE0C706A785E Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:48] 735*2^1427263-1 is not prime. Res64: 77FBA4C3388E90E0 Time : 0.0 sec. user=mdettweiler [2016-04-24 21:50:49] 789*2^1427263-1 is not prime. Res64: 57ABA5915E993D82 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:07:28] 873*2^1427263-1 is not prime. Res64: 0B8695B7AA67CE1F Time : 0.0 sec. user=mdettweiler [2016-04-24 22:07:29] 939*2^1427263-1 is not prime. Res64: 99946EE5347C8B4F Time : 0.0 sec. user=mdettweiler [2016-04-24 22:07:29] 605*2^1427264-1 is not prime. Res64: 4D3FC71E41716E26 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:07:30] 665*2^1427264-1 is not prime. Res64: DDDA0035B3E80DBF Time : 0.0 sec. user=mdettweiler [2016-04-24 22:07:30] 683*2^1427264-1 is not prime. Res64: 7726EF09807B7970 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:09:12] 687*2^1427264-1 is not prime. Res64: 2BB4DE1C70428411 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:09:14] 717*2^1427264-1 is not prime. Res64: 45DAC7C01D9D3EBA Time : 0.0 sec. user=mdettweiler [2016-04-24 22:09:15] 743*2^1427264-1 is not prime. Res64: 3139CD1B29E4C581 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:09:15] 795*2^1427264-1 is not prime. Res64: CF13258F2B32E753 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:09:16] 813*2^1427264-1 is not prime. Res64: FDE91E958DDA3D13 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:36] 787*2^1427265-1 is not prime. Res64: 792DD8EC6A4E07F5 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:37] 861*2^1427265-1 is not prime. Res64: 8F0C73ADB57CA8C2 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:37] 909*2^1427265-1 is not prime. Res64: 3E402B171D9070AD Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:38] 611*2^1427266-1 is not prime. Res64: 615C9EC83B708D29 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:38] 695*2^1427266-1 is not prime. Res64: EE8FE61433F98C01 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:40] 819*2^1427264-1 is not prime. Res64: 8A943CF01EDFA52E Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:40] 897*2^1427264-1 is not prime. Res64: 71A2B2AEF005CBB4 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:41] 917*2^1427264-1 is not prime. Res64: 89FB32B22BA41AC0 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:41] 685*2^1427265-1 is not prime. Res64: ED5938D10D0D915B Time : 0.0 sec. user=mdettweiler [2016-04-24 22:35:41] 717*2^1427265-1 is not prime. Res64: B433899B178B6AA0 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:52:31] 713*2^1427266-1 is not prime. Res64: 37365BAFF035074B Time : 0.0 sec. user=mdettweiler [2016-04-24 22:52:32] 803*2^1427266-1 is not prime. Res64: 30A7915BD45DE295 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:52:32] 833*2^1427266-1 is not prime. Res64: FC94C0E110CD3532 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:52:32] 867*2^1427266-1 is not prime. Res64: 9B4DCC2C0799FD31 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:52:33] 621*2^1427267-1 is not prime. Res64: 960ADA1EA31F10EB Time : 0.0 sec. user=mdettweiler [2016-04-24 22:54:07] 651*2^1427267-1 is not prime. Res64: DE75A97F83AF6D92 Time : 0.0 sec. user=mdettweiler [2016-04-24 22:54:08] 669*2^1427267-1 is not prime. Res64: A9763DF75CAD7D0D Time : 0.0 sec. user=mdettweiler [2016-04-24 22:54:08] 673*2^1427267-1 is not prime. Res64: 5C94F0651C45BC6A Time : 0.0 sec. user=mdettweiler [2016-04-24 22:54:09] 703*2^1427267-1 is not prime. Res64: 7E85810E5FCEE52A Time : 0.0 sec. user=mdettweiler [2016-04-24 22:54:09] 705*2^1427267-1 is not prime. Res64: C12506020F6EE2EB Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:29] 803*2^1427268-1 is not prime. Res64: 1E0FAEA2376F0EE2 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:30] 819*2^1427268-1 is not prime. Res64: C1525D2A46975F69 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:30] 845*2^1427268-1 is not prime. Res64: 7C97627D2B31DC1A Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:30] 879*2^1427268-1 is not prime. Res64: 7996D38A38D92F88 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:31] 929*2^1427268-1 is not prime. Res64: 4E19ECD7CB7E3508 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:32] 775*2^1427267-1 is not prime. Res64: 201D70450C9DB57E Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:33] 647*2^1427268-1 is not prime. Res64: F5C61481BCFE75F9 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:33] 657*2^1427268-1 is not prime. Res64: ADBEE16EDCA2181F Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:33] 663*2^1427268-1 is not prime. Res64: D8CFC38BE3D72F9C Time : 0.0 sec. user=mdettweiler [2016-04-24 23:20:34] 777*2^1427268-1 is not prime. Res64: AFF5F967ABC17894 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:37:25] 685*2^1427269-1 is not prime. Res64: B0A293C7B3C609CF Time : 0.0 sec. user=mdettweiler [2016-04-24 23:37:25] 729*2^1427269-1 is not prime. Res64: CA0228CA2FD624D0 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:37:26] 867*2^1427269-1 is not prime. Res64: 54EAE6E689DB0104 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:37:26] 955*2^1427269-1 is not prime. Res64: 257C0C9FE5CB8893 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:37:27] 813*2^1427270-1 is not prime. Res64: 55EDB4A070E93641 Time : 0.0 sec. user=mdettweiler [2016-04-24 23:39:15] 917*2^1427270-1 is not prime. Res64: 57B0BFF00EF6EB0C Time : 0.0 sec. user=mdettweiler [2016-04-24 23:39:15] 1001*2^1427270-1 is not prime. Res64: 59793733780627BC Time : 0.0 sec. user=mdettweiler [2016-04-24 23:39:16] 679*2^1427271-1 is not prime. Res64: 1E0B50478BD6D76B Time : 0.0 sec. user=mdettweiler [2016-04-24 23:39:16] 775*2^1427271-1 is not prime. Res64: E26B1EF7D449118B Time : 0.0 sec. user=mdettweiler [2016-04-24 23:39:16] 783*2^1427271-1 is not prime. Res64: 0D59282F1BD8D5D6 Time : 0.0 sec.