user=mdettweiler [2017-04-07 00:29:57] 919*2^1450797-1 is not prime. Res64: 2D6F64C2FEC97C4E Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:58] 975*2^1450797-1 is not prime. Res64: D6DF00CA0ED7DD82 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:58] 603*2^1450798-1 is not prime. Res64: 74EA6C26B0D2D957 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:58] 645*2^1450798-1 is not prime. Res64: 3656046C663268EF Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:58] 681*2^1450798-1 is not prime. Res64: 00589E828161CAD5 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:59] 663*2^1450798-1 is not prime. Res64: DFD98341495AC996 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:59] 705*2^1450798-1 is not prime. Res64: AB362933C8FEAC55 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:29:59] 737*2^1450798-1 is not prime. Res64: 2A759655781ACDC0 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:30:00] 743*2^1450798-1 is not prime. Res64: F268016824ECAD69 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:30:00] 827*2^1450798-1 is not prime. Res64: BEA49DBC8A503694 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:39:30] 993*2^1450798-1 is not prime. Res64: 567C811F2FC0FB78 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:39:30] 693*2^1450799-1 is not prime. Res64: FAA3D5FDBB03793C Time : 0.0 sec. user=mdettweiler [2017-04-07 00:39:30] 741*2^1450799-1 is not prime. Res64: 458937B6B3681346 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:39:31] 813*2^1450799-1 is not prime. Res64: 8C2F3A60FB0CB534 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:39:31] 861*2^1450799-1 is not prime. Res64: D5EABB87B64A177F Time : 0.0 sec. user=mdettweiler [2017-04-07 00:40:54] 695*2^1450800-1 is not prime. Res64: 8BB530DBF9B0DCD4 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:40:55] 717*2^1450800-1 is not prime. Res64: 3A5495B125243830 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:40:55] 839*2^1450800-1 is not prime. Res64: E5A7520332BB5CC6 Time : 0.0 sec. user=mdettweiler [2017-04-07 00:40:55] 843*2^1450800-1 is not prime. Res64: 1A1A9AC2047C84BA Time : 0.0 sec. user=mdettweiler [2017-04-07 00:40:56] 879*2^1450800-1 is not prime. Res64: 646D7100DE77D65C Time : 0.0 sec. user=mdettweiler [2017-04-07 01:14:52] 715*2^1450801-1 is not prime. Res64: 926C34A17790009F Time : 0.0 sec. user=mdettweiler [2017-04-07 01:14:52] 747*2^1450801-1 is not prime. Res64: BD9030F4DB354002 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:14:53] 855*2^1450801-1 is not prime. Res64: 6871F5E23AD9D095 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:14:53] 951*2^1450801-1 is not prime. Res64: EC1D212A5CB23BF3 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:14:54] 705*2^1450802-1 is not prime. Res64: 4C7C7E3B03D5D146 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:15:03] 909*2^1450800-1 is not prime. Res64: A422DED3A9C40BBE Time : 0.0 sec. user=mdettweiler [2017-04-07 01:15:03] 983*2^1450800-1 is not prime. Res64: 3A5BD9F34F3812A3 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:15:04] 999*2^1450800-1 is not prime. Res64: D5BD533AD5FE4FCC Time : 0.0 sec. user=mdettweiler [2017-04-07 01:15:05] 607*2^1450801-1 is not prime. Res64: D8A86DB86AD401F7 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:15:05] 639*2^1450801-1 is not prime. Res64: 7A24BDBB90BED70E Time : 0.0 sec. user=mdettweiler [2017-04-07 01:24:35] 743*2^1450802-1 is not prime. Res64: FA4CE7D374729F34 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:24:35] 753*2^1450802-1 is not prime. Res64: 83DCAAB84188D3FF Time : 0.0 sec. user=mdettweiler [2017-04-07 01:24:36] 837*2^1450802-1 is not prime. Res64: 24D15E1253CE3958 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:24:36] 923*2^1450802-1 is not prime. Res64: 25DC7FCE1F9E739E Time : 0.0 sec. user=mdettweiler [2017-04-07 01:24:37] 609*2^1450803-1 is not prime. Res64: ABA9EC2C6F5B470E Time : 0.0 sec. user=mdettweiler [2017-04-07 01:26:10] 663*2^1450803-1 is not prime. Res64: 98E72F1076ECFAA1 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:26:12] 723*2^1450803-1 is not prime. Res64: DD4135A48690E17E Time : 0.0 sec. user=mdettweiler [2017-04-07 01:26:13] 741*2^1450803-1 is not prime. Res64: D86469C2109C89F6 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:26:13] 823*2^1450803-1 is not prime. Res64: 6E7961323B723BBE Time : 0.0 sec. user=mdettweiler [2017-04-07 01:26:14] 871*2^1450803-1 is not prime. Res64: D2E5A7BBD6052960 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:50] 961*2^1450803-1 is not prime. Res64: DFF937B9B474BE3D Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:51] 985*2^1450803-1 is not prime. Res64: A0A52FFF45811E3C Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:51] 991*2^1450803-1 is not prime. Res64: 267BF5290D2D36BD Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:51] 609*2^1450804-1 is not prime. Res64: 84203F0DC1C74932 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:52] 887*2^1450804-1 is not prime. Res64: 4CDAAF1323B49069 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:56] 929*2^1450804-1 is not prime. Res64: C941F72DC23D880F Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:56] 675*2^1450805-1 is not prime. Res64: 4043A1290D8DDC0C Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:57] 805*2^1450805-1 is not prime. Res64: 789F6A29FAD0CA06 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:57] 861*2^1450805-1 is not prime. Res64: C8974E0172959738 Time : 0.0 sec. user=mdettweiler [2017-04-07 01:59:58] 871*2^1450805-1 is not prime. Res64: 4C90C3637EBAD339 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:09:33] 885*2^1450805-1 is not prime. Res64: ECF43E0B3154525F Time : 0.0 sec. user=mdettweiler [2017-04-07 02:09:34] 939*2^1450805-1 is not prime. Res64: 57EF94880D68ED53 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:09:34] 949*2^1450805-1 is not prime. Res64: B5AC1E4111FA7717 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:09:34] 627*2^1450806-1 is not prime. Res64: 81E99BE2EB06717F Time : 0.0 sec. user=mdettweiler [2017-04-07 02:09:35] 707*2^1450806-1 is not prime. Res64: 3FBE01F8547839F1 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:11:06] 723*2^1450806-1 is not prime. Res64: 8CB3E65FB545EF4A Time : 0.0 sec. user=mdettweiler [2017-04-07 02:11:07] 765*2^1450806-1 is not prime. Res64: 4270C7EF27267D73 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:11:07] 783*2^1450806-1 is not prime. Res64: EC2109E54C9E9E3C Time : 0.0 sec. user=mdettweiler [2017-04-07 02:11:08] 821*2^1450806-1 is not prime. Res64: 2F6D6578F43F4B64 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:11:08] 971*2^1450806-1 is not prime. Res64: F8D4E6167410D66C Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:46] 689*2^1450808-1 is not prime. Res64: 24410D35ACAAEB21 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:46] 713*2^1450808-1 is not prime. Res64: DAB23F91E5A63537 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:47] 735*2^1450808-1 is not prime. Res64: 480066167EE9E1C3 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:47] 767*2^1450808-1 is not prime. Res64: A6863DC2BD480032 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:48] 795*2^1450808-1 is not prime. Res64: 789811FE1FAB1C88 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:51] 625*2^1450807-1 is not prime. Res64: 42C2B191856A6E32 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:52] 693*2^1450807-1 is not prime. Res64: 57C2E0D1282240B3 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:52] 735*2^1450807-1 is not prime. Res64: F1123FC998D547AA Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:53] 939*2^1450807-1 is not prime. Res64: 6112C5B77D8E8EAE Time : 0.0 sec. user=mdettweiler [2017-04-07 02:44:53] 603*2^1450808-1 is not prime. Res64: 5C0D6C20146E76F1 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:54:32] 893*2^1450808-1 is not prime. Res64: 59F95DD83AF1DC5B Time : 0.0 sec. user=mdettweiler [2017-04-07 02:54:33] 915*2^1450808-1 is not prime. Res64: 2E4DC29B424D8127 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:54:33] 963*2^1450808-1 is not prime. Res64: 698E867282D3E271 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:54:34] 765*2^1450809-1 is not prime. Res64: E1CA94CF3C395377 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:54:34] 999*2^1450809-1 is not prime. Res64: 7C7288EEA339120A Time : 0.0 sec. user=mdettweiler [2017-04-07 02:56:01] 657*2^1450810-1 is not prime. Res64: A29A9258CC1833DC Time : 0.0 sec. user=mdettweiler [2017-04-07 02:56:01] 677*2^1450810-1 is not prime. Res64: 472D33F2E5BC10DA Time : 0.0 sec. user=mdettweiler [2017-04-07 02:56:01] 695*2^1450810-1 is not prime. Res64: 26346DEE1DFDF90E Time : 0.0 sec. user=mdettweiler [2017-04-07 02:56:02] 747*2^1450810-1 is not prime. Res64: 4904C9E3A632C162 Time : 0.0 sec. user=mdettweiler [2017-04-07 02:56:02] 783*2^1450810-1 is not prime. Res64: 13585E5B972A887F Time : 0.0 sec. user=mdettweiler [2017-04-07 03:29:53] 791*2^1450810-1 is not prime. Res64: 8F7B7AB71CD958F4 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:29:54] 803*2^1450810-1 is not prime. Res64: 113F7CD21C2127B4 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:29:55] 975*2^1450810-1 is not prime. Res64: CAF649C2D0C4D696 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:29:56] 703*2^1450811-1 is not prime. Res64: AE9874CBF76D54B2 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:29:57] 735*2^1450811-1 is not prime. Res64: 7617A68722FCEE7E Time : 0.0 sec. user=mdettweiler [2017-04-07 03:30:06] 741*2^1450811-1 is not prime. Res64: 223485C4827C8B59 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:30:07] 909*2^1450811-1 is not prime. Res64: 47A00F741414F3F0 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:30:10] 955*2^1450811-1 is not prime. Res64: 90FEA03FEEDD1296 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:30:12] 973*2^1450811-1 is not prime. Res64: 81E512DA2B8E5E3F Time : 0.0 sec. user=mdettweiler [2017-04-07 03:30:13] 635*2^1450812-1 is not prime. Res64: 5E4192E026DFC3B5 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:39:44] 837*2^1450812-1 is not prime. Res64: 071B0AFA87AAC693 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:39:45] 857*2^1450812-1 is not prime. Res64: 078AD1823D1833CE Time : 0.0 sec. user=mdettweiler [2017-04-07 03:39:46] 873*2^1450812-1 is not prime. Res64: C3CAFB57EB1C4ECC Time : 0.0 sec. user=mdettweiler [2017-04-07 03:39:47] 893*2^1450812-1 is not prime. Res64: 78255B6755674346 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:39:47] 965*2^1450812-1 is not prime. Res64: 1838977C6B7DCD7F Time : 0.0 sec. user=mdettweiler [2017-04-07 03:41:04] 983*2^1450812-1 is not prime. Res64: 9215976370F5E208 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:41:04] 651*2^1450813-1 is not prime. Res64: 2871E56DF830378D Time : 0.0 sec. user=mdettweiler [2017-04-07 03:41:05] 675*2^1450813-1 is not prime. Res64: 6A4DB79C5C04DC93 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:41:06] 715*2^1450813-1 is not prime. Res64: 1F00B3BE3DE05744 Time : 0.0 sec. user=mdettweiler [2017-04-07 03:41:07] 741*2^1450813-1 is not prime. Res64: 0858086A9620C2BB Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:15] 747*2^1450813-1 is not prime. Res64: 56B67A3EBFA5CDBD Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:15] 861*2^1450813-1 is not prime. Res64: 31758B5F9A5C6B62 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:16] 867*2^1450813-1 is not prime. Res64: 92870B12A5E01E65 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:16] 937*2^1450813-1 is not prime. Res64: 3971E5BDDC50BA49 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:17] 617*2^1450814-1 is not prime. Res64: 30F99F2F480EF708 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:22] 663*2^1450814-1 is not prime. Res64: C1E1C0F777D6263B Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:23] 711*2^1450814-1 is not prime. Res64: 3D6A43BE70ADBFBD Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:23] 773*2^1450814-1 is not prime. Res64: 6FD6CC4C9B59C123 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:23] 927*2^1450814-1 is not prime. Res64: 22E2AA6E1CBF3033 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:15:24] 945*2^1450814-1 is not prime. Res64: 74DFDDDE3F26B54C Time : 0.0 sec. user=mdettweiler [2017-04-07 04:24:43] 951*2^1450814-1 is not prime. Res64: F764BEE218949C00 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:24:43] 609*2^1450815-1 is not prime. Res64: 9FE93CEC2FD056C5 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:24:44] 685*2^1450815-1 is not prime. Res64: 735D03CF0454CC95 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:24:44] 705*2^1450815-1 is not prime. Res64: EBC53750C69834B8 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:24:44] 741*2^1450815-1 is not prime. Res64: AA322B3158672855 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:26:03] 789*2^1450815-1 is not prime. Res64: F5CB3287E87B0A61 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:26:03] 919*2^1450815-1 is not prime. Res64: 1ECF6C58E083CD40 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:26:04] 639*2^1450816-1 is not prime. Res64: 4400FA0A5906AD2B Time : 0.0 sec. user=mdettweiler [2017-04-07 04:26:04] 663*2^1450816-1 is not prime. Res64: DEC7C2E0D7B39C46 Time : 0.0 sec. user=mdettweiler [2017-04-07 04:26:05] 689*2^1450816-1 is not prime. Res64: B79EA3F1FD892FE1 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:30] 705*2^1450816-1 is not prime. Res64: 0A5520AA4552DE67 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:31] 651*2^1450817-1 is not prime. Res64: FEAF10597A1DF2D1 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:32] 777*2^1450816-1 is not prime. Res64: BFB7288683E2D0B8 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:33] 669*2^1450817-1 is not prime. Res64: A1761630AE999AA7 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:33] 927*2^1450816-1 is not prime. Res64: 33EB4A5D233A62D9 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:34] 607*2^1450817-1 is not prime. Res64: 0A84B5B15D734F10 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:34] 715*2^1450817-1 is not prime. Res64: CF09960D13BC7D41 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:36] 795*2^1450817-1 is not prime. Res64: C46BB245BB7B498A Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:36] 645*2^1450817-1 is not prime. Res64: 69BBE3A30A7341FD Time : 0.0 sec. user=mdettweiler [2017-04-07 05:00:38] 831*2^1450817-1 is not prime. Res64: BDC883E2CD7D746D Time : 0.0 sec. user=mdettweiler [2017-04-07 05:09:46] 981*2^1450817-1 is not prime. Res64: B84452EBE9F4FE12 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:09:46] 657*2^1450818-1 is not prime. Res64: FA97975D40580E25 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:09:46] 681*2^1450818-1 is not prime. Res64: 88B6D615E7D33464 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:09:47] 683*2^1450818-1 is not prime. Res64: 351C1D5220FC15DB Time : 0.0 sec. user=mdettweiler [2017-04-07 05:09:47] 825*2^1450818-1 is not prime. Res64: AE57A416F2B4764A Time : 0.0 sec. user=mdettweiler [2017-04-07 05:11:00] 645*2^1450819-1 is not prime. Res64: 08628679C329F220 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:11:01] 649*2^1450819-1 is not prime. Res64: 5B1E5462986DEE2C Time : 0.0 sec. user=mdettweiler [2017-04-07 05:11:01] 705*2^1450819-1 is not prime. Res64: C76DB079C992EC39 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:11:02] 741*2^1450819-1 is not prime. Res64: F3812B6076ADF29E Time : 0.0 sec. user=mdettweiler [2017-04-07 05:11:02] 745*2^1450819-1 is not prime. Res64: FA97BB4CB9342528 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:40] 885*2^1450820-1 is not prime. Res64: BD58665D53D53E5A Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:41] 909*2^1450820-1 is not prime. Res64: 8C451D2DEAE6FEE5 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:41] 945*2^1450820-1 is not prime. Res64: 52ECC431676B5072 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:42] 811*2^1450821-1 is not prime. Res64: DF0B0DD1BCA22F7C Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:42] 611*2^1450822-1 is not prime. Res64: 46DC6D9A4B7F9A53 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:45] 835*2^1450819-1 is not prime. Res64: A5436986BA5C1075 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:46] 855*2^1450819-1 is not prime. Res64: A74B91974217B70B Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:46] 889*2^1450819-1 is not prime. Res64: 7787C871501DDA55 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:46] 669*2^1450820-1 is not prime. Res64: E20A81213754F684 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:45:47] 759*2^1450820-1 is not prime. Res64: 98FA93714515FFF2 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:54:50] 713*2^1450822-1 is not prime. Res64: FEE1F758551194B6 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:54:51] 717*2^1450822-1 is not prime. Res64: A48AFE7BD5F9E1A1 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:54:51] 827*2^1450822-1 is not prime. Res64: EF11497F29FD0F5B Time : 0.0 sec. user=mdettweiler [2017-04-07 05:54:52] 867*2^1450822-1 is not prime. Res64: 2A01614EE001F63C Time : 0.0 sec. user=mdettweiler [2017-04-07 05:54:52] 873*2^1450822-1 is not prime. Res64: CDFEFC57C3365C21 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:56:11] 615*2^1450823-1 is not prime. Res64: 546CA5B259AF36BA Time : 0.0 sec. user=mdettweiler [2017-04-07 05:56:12] 693*2^1450823-1 is not prime. Res64: 551A4171B93BDFD8 Time : 0.0 sec. user=mdettweiler [2017-04-07 05:56:12] 705*2^1450823-1 is not prime. Res64: 6D9D6A314F8690CB Time : 0.0 sec. user=mdettweiler [2017-04-07 05:56:12] 831*2^1450823-1 is not prime. Res64: F0B0AD3BFCBCD20A Time : 0.0 sec. user=mdettweiler [2017-04-07 05:56:13] 885*2^1450823-1 is not prime. Res64: 27A28F900C95467C Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:51] 893*2^1450824-1 is not prime. Res64: 05A732B49BC0784A Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:51] 899*2^1450824-1 is not prime. Res64: 351290D8E216A445 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:52] 903*2^1450824-1 is not prime. Res64: 74D626E1D38D24E7 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:52] 915*2^1450824-1 is not prime. Res64: FE0B11B3AD2FB374 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:52] 975*2^1450824-1 is not prime. Res64: B0DC66B81F32315F Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:57] 913*2^1450823-1 is not prime. Res64: 8948C51294ABA4E3 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:57] 623*2^1450824-1 is not prime. Res64: B52BF06AB2B6283D Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:58] 635*2^1450824-1 is not prime. Res64: 135FF096A2AA485E Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:58] 765*2^1450824-1 is not prime. Res64: 3D6D57C52A2B014D Time : 0.0 sec. user=mdettweiler [2017-04-07 06:30:59] 789*2^1450824-1 is not prime. Res64: DD8CE51AEBC5B2B4 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:40:11] 705*2^1450825-1 is not prime. Res64: 0FBD08E8C9C7FE60 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:40:11] 751*2^1450825-1 is not prime. Res64: 02A00F6FFE02B7DD Time : 0.0 sec. user=mdettweiler [2017-04-07 06:40:12] 819*2^1450825-1 is not prime. Res64: FE63D8DE7972BEF6 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:40:12] 925*2^1450825-1 is not prime. Res64: 4E903C848166C777 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:40:12] 951*2^1450825-1 is not prime. Res64: 5C52AD91EBFC41FD Time : 0.0 sec. user=mdettweiler [2017-04-07 06:41:19] 711*2^1450826-1 is not prime. Res64: BECFAABA99B9CBC4 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:41:19] 735*2^1450826-1 is not prime. Res64: AC90B13B75B030E0 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:41:20] 743*2^1450826-1 is not prime. Res64: 2C3AA2B0B78567E9 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:41:20] 783*2^1450826-1 is not prime. Res64: E33ABA2720B03D42 Time : 0.0 sec. user=mdettweiler [2017-04-07 06:41:20] 903*2^1450826-1 is not prime. Res64: F07EF8967110B3A7 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:49] 711*2^1450827-1 is not prime. Res64: 2215C08AC1EA1D5F Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:50] 741*2^1450827-1 is not prime. Res64: 7E0FE904F1CFEE72 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:50] 901*2^1450827-1 is not prime. Res64: CBAF899C4FFA8E33 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:50] 819*2^1450827-1 is not prime. Res64: 3BD87AA53C53F5D7 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:51] 605*2^1450828-1 is not prime. Res64: 60F942A12D9D13F4 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:51] 823*2^1450827-1 is not prime. Res64: F56460EAC5BCE6F6 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:51] 615*2^1450828-1 is not prime. Res64: FAD50F81FE672DE7 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:51] 879*2^1450827-1 is not prime. Res64: 6751C0718F0FC355 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:52] 735*2^1450828-1 is not prime. Res64: A1424EE4813302CD Time : 0.0 sec. user=mdettweiler [2017-04-07 07:15:52] 743*2^1450828-1 is not prime. Res64: 630B154AA6AA38DB Time : 0.0 sec. user=mdettweiler [2017-04-07 07:25:18] 803*2^1450828-1 is not prime. Res64: 53F972E4A1878C8F Time : 0.0 sec. user=mdettweiler [2017-04-07 07:25:18] 855*2^1450828-1 is not prime. Res64: B402B54B083DEFF4 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:25:19] 887*2^1450828-1 is not prime. Res64: D349DA02219F1264 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:25:19] 927*2^1450828-1 is not prime. Res64: EFDC42475025BA7A Time : 0.0 sec. user=mdettweiler [2017-04-07 07:25:20] 987*2^1450828-1 is not prime. Res64: A7B5B0FC8D4909B6 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:26:25] 993*2^1450828-1 is not prime. Res64: 91AC7F9973066634 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:26:26] 657*2^1450829-1 is not prime. Res64: A26320D0D11AB834 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:26:26] 741*2^1450829-1 is not prime. Res64: 617056D9FB599057 Time : 0.0 sec. user=mdettweiler [2017-04-07 07:26:26] 781*2^1450829-1 is not prime. Res64: 4D4CFDD50D56224D Time : 0.0 sec. user=mdettweiler [2017-04-07 07:26:27] 789*2^1450829-1 is not prime. Res64: D396E1693D4E6308 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:43] 955*2^1450829-1 is not prime. Res64: ADAFE71D15A70C5C Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:44] 657*2^1450830-1 is not prime. Res64: 7BA3CEBCDC8AA4FB Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:45] 797*2^1450830-1 is not prime. Res64: B2916F83B10EB1DD Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:46] 619*2^1450831-1 is not prime. Res64: 99DEE15E0FF2DE5C Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:47] 707*2^1450830-1 is not prime. Res64: 3CE4314734862CCD Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:47] 685*2^1450831-1 is not prime. Res64: A41AC36573E0B848 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:48] 717*2^1450830-1 is not prime. Res64: F9F3189E1B07F9E5 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:48] 693*2^1450831-1 is not prime. Res64: E30F8F9440336AE3 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:50] 759*2^1450831-1 is not prime. Res64: 9A1DA659DAF614F7 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:00:50] 741*2^1450830-1 is not prime. Res64: 4FFB591F49435800 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:10:09] 771*2^1450831-1 is not prime. Res64: 9AE92E0E778A27B0 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:10:10] 861*2^1450831-1 is not prime. Res64: 5721089EF8F433A8 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:10:10] 871*2^1450831-1 is not prime. Res64: A1367BD7130705B1 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:10:11] 993*2^1450831-1 is not prime. Res64: 7B21D380EF1692D9 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:10:11] 999*2^1450831-1 is not prime. Res64: 88F127E6FBA33CAD Time : 0.0 sec. user=mdettweiler [2017-04-07 08:11:21] 615*2^1450832-1 is not prime. Res64: A06F45C986529193 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:11:21] 785*2^1450832-1 is not prime. Res64: 4F5B53BA9564EA8D Time : 0.0 sec. user=mdettweiler [2017-04-07 08:11:22] 995*2^1450832-1 is not prime. Res64: 84A57B680A9A0638 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:11:22] 765*2^1450833-1 is not prime. Res64: E2AEB37C0DB8EEDC Time : 0.0 sec. user=mdettweiler [2017-04-07 08:11:22] 921*2^1450833-1 is not prime. Res64: 357A984567FE3CE0 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:45:59] 999*2^1450833-1 is not prime. Res64: 8407C88C13ADF47A Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:00] 815*2^1450834-1 is not prime. Res64: DBB47B7936C4DE5D Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:00] 971*2^1450834-1 is not prime. Res64: 55B98CE616491B09 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:01] 693*2^1450835-1 is not prime. Res64: 214787D518781579 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:01] 715*2^1450835-1 is not prime. Res64: 7C4A25D0525096CA Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:08] 921*2^1450835-1 is not prime. Res64: 1733F6B56C958AD6 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:09] 963*2^1450835-1 is not prime. Res64: 08F8A6923424AB55 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:10] 615*2^1450836-1 is not prime. Res64: 923A07E0786F5AA9 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:10] 633*2^1450836-1 is not prime. Res64: 870125374464877D Time : 0.0 sec. user=mdettweiler [2017-04-07 08:46:11] 635*2^1450836-1 is not prime. Res64: 26614A8349FEBD6B Time : 0.0 sec. user=mdettweiler [2017-04-07 08:55:25] 639*2^1450836-1 is not prime. Res64: 1E08FABB21B0565C Time : 0.0 sec. user=mdettweiler [2017-04-07 08:55:26] 693*2^1450836-1 is not prime. Res64: 4F8404F6B1E3BEA0 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:55:26] 759*2^1450836-1 is not prime. Res64: 7D67D9726BBB8853 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:55:27] 927*2^1450836-1 is not prime. Res64: EBDF4048FF9A259E Time : 0.0 sec. user=mdettweiler [2017-04-07 08:55:27] 625*2^1450837-1 is not prime. Res64: 3D30EEF98C02F076 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:56:22] 765*2^1450837-1 is not prime. Res64: 8B49B1F06A9C4EB1 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:56:22] 817*2^1450837-1 is not prime. Res64: 40964491CDAB84FD Time : 0.0 sec. user=mdettweiler [2017-04-07 08:56:22] 849*2^1450837-1 is not prime. Res64: DC566D82416E38D5 Time : 0.0 sec. user=mdettweiler [2017-04-07 08:56:23] 931*2^1450837-1 is not prime. Res64: 9B6E6D58579E189C Time : 0.0 sec. user=mdettweiler [2017-04-07 08:56:23] 937*2^1450837-1 is not prime. Res64: 15245A53398FC322 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:00] 961*2^1450837-1 is not prime. Res64: E76777BBB1E81850 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:01] 773*2^1450838-1 is not prime. Res64: DEF45A6B0AC48BBA Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:01] 827*2^1450838-1 is not prime. Res64: F30D424800172117 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:02] 923*2^1450838-1 is not prime. Res64: EB4C3D54E6D6C910 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:02] 971*2^1450838-1 is not prime. Res64: D92466DA16B7FE41 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:04] 711*2^1450839-1 is not prime. Res64: 55EAE5B2D2295166 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:05] 775*2^1450839-1 is not prime. Res64: CE517A3765EE7B83 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:05] 873*2^1450839-1 is not prime. Res64: F58F1A434EDA6454 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:06] 955*2^1450839-1 is not prime. Res64: 971E8C379BEEF2D3 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:31:06] 973*2^1450839-1 is not prime. Res64: 1639D3F564E4D876 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:40:19] 975*2^1450839-1 is not prime. Res64: A377BB37300EDBA6 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:40:19] 695*2^1450840-1 is not prime. Res64: FCA05DF51E8F0038 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:40:19] 777*2^1450840-1 is not prime. Res64: 8E16A4A187DE2738 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:40:20] 691*2^1450841-1 is not prime. Res64: 4FEABFE13AADF7C9 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:40:20] 741*2^1450841-1 is not prime. Res64: 08CB66AB8D833D57 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:41:13] 745*2^1450841-1 is not prime. Res64: 5F3A32BC21486198 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:41:14] 925*2^1450841-1 is not prime. Res64: 8C13F12892DA02EE Time : 0.0 sec. user=mdettweiler [2017-04-07 09:41:14] 981*2^1450841-1 is not prime. Res64: FA1D247A31491E54 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:41:15] 987*2^1450841-1 is not prime. Res64: AD7340DB33E340B3 Time : 0.0 sec. user=mdettweiler [2017-04-07 09:41:15] 635*2^1450842-1 is not prime. Res64: 1A1CE873B4A2AAC1 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:57] 747*2^1450842-1 is not prime. Res64: 5C986CB1C338BCFD Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:58] 765*2^1450842-1 is not prime. Res64: BA3EC50F8D29577C Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:58] 873*2^1450842-1 is not prime. Res64: 4924D51CCBEECF89 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:59] 875*2^1450842-1 is not prime. Res64: B65919740B9DA83A Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:59] 647*2^1450842-1 is not prime. Res64: 7A7E97F43D863D90 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:59] 887*2^1450842-1 is not prime. Res64: D5617D15EDCE772F Time : 0.0 sec. user=mdettweiler [2017-04-07 10:15:59] 651*2^1450842-1 is not prime. Res64: 6FD4AB4BEE0B5A7B Time : 0.0 sec. user=mdettweiler [2017-04-07 10:16:00] 681*2^1450842-1 is not prime. Res64: 58E2514E3575FD95 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:16:00] 683*2^1450842-1 is not prime. Res64: 66C541CA54FEC6DE Time : 0.0 sec. user=mdettweiler [2017-04-07 10:16:00] 735*2^1450842-1 is not prime. Res64: 9DA08E0082CA7F4E Time : 0.0 sec. user=mdettweiler [2017-04-07 10:25:26] 921*2^1450842-1 is not prime. Res64: 3B7EFA723CDA42AB Time : 0.0 sec. user=mdettweiler [2017-04-07 10:25:26] 603*2^1450843-1 is not prime. Res64: 5C9E5FEEAC7A7DD5 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:25:26] 621*2^1450843-1 is not prime. Res64: 5607426B1087AE3E Time : 0.0 sec. user=mdettweiler [2017-04-07 10:25:27] 783*2^1450843-1 is not prime. Res64: F8C32F019F58C04B Time : 0.0 sec. user=mdettweiler [2017-04-07 10:25:27] 835*2^1450843-1 is not prime. Res64: C7AE225CAF1C34ED Time : 0.0 sec. user=mdettweiler [2017-04-07 10:26:10] 891*2^1450843-1 is not prime. Res64: A6426133C6C672C5 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:26:11] 913*2^1450843-1 is not prime. Res64: 52E2B11FE3780F5B Time : 0.0 sec. user=mdettweiler [2017-04-07 10:26:11] 951*2^1450843-1 is not prime. Res64: 2C2DC959D7F3F1C4 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:26:12] 961*2^1450843-1 is not prime. Res64: 844EB617B4270318 Time : 0.0 sec. user=mdettweiler [2017-04-07 10:26:12] 717*2^1450844-1 is not prime. Res64: 0E31D2BDC3C847B9 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:51] 951*2^1450845-1 is not prime. Res64: BFA9978FC42C6089 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:51] 957*2^1450844-1 is not prime. Res64: 65F161E932C6FDFD Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:52] 717*2^1450846-1 is not prime. Res64: 7DBD313C049AB7F9 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:53] 723*2^1450846-1 is not prime. Res64: 1FCAF55DF100D406 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:53] 987*2^1450844-1 is not prime. Res64: 1BF015EEB29D897B Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:54] 737*2^1450846-1 is not prime. Res64: 129C855E5B9E5D26 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:55] 765*2^1450846-1 is not prime. Res64: 642C4ED3F328ADA7 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:55] 679*2^1450845-1 is not prime. Res64: 3538F59FC34BD7CD Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:57] 819*2^1450845-1 is not prime. Res64: 1E5528EA4594F2B1 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:00:59] 919*2^1450845-1 is not prime. Res64: 0BEC960653E0F583 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:10:24] 785*2^1450846-1 is not prime. Res64: A2A07CB2AFA1F590 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:10:24] 897*2^1450846-1 is not prime. Res64: 7AF1063ADB341606 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:10:25] 911*2^1450846-1 is not prime. Res64: 47700CAE7F654083 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:10:25] 975*2^1450846-1 is not prime. Res64: F684D4CD94283AB6 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:10:26] 651*2^1450847-1 is not prime. Res64: F153F79C356D825E Time : 0.0 sec. user=mdettweiler [2017-04-07 11:11:05] 663*2^1450847-1 is not prime. Res64: 57C2EC2D4A1BC713 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:11:05] 703*2^1450847-1 is not prime. Res64: EE5D817DD0A9F885 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:11:06] 711*2^1450847-1 is not prime. Res64: DC2CACC2682E3803 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:11:06] 741*2^1450847-1 is not prime. Res64: F2F1985CB71AEE6C Time : 0.0 sec. user=mdettweiler [2017-04-07 11:11:06] 763*2^1450847-1 is not prime. Res64: 309D86945129DC8A Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:13] 993*2^1450848-1 is not prime. Res64: FF8DE5440EECF3E2 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:13] 609*2^1450849-1 is not prime. Res64: E83A3CD71B79248C Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:14] 729*2^1450849-1 is not prime. Res64: 410DF3A01C7C1F7A Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:14] 789*2^1450849-1 is not prime. Res64: 9E290C32C9D55ACB Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:14] 801*2^1450849-1 is not prime. Res64: F57F4F345C6D84CA Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:27] 883*2^1450847-1 is not prime. Res64: C4DA208D71A112FA Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:27] 981*2^1450847-1 is not prime. Res64: 2B419701E5BE78F4 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:27] 985*2^1450847-1 is not prime. Res64: 0944002E5AE51223 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:28] 849*2^1450848-1 is not prime. Res64: 75EF5A46A34736BF Time : 0.0 sec. user=mdettweiler [2017-04-07 11:46:28] 959*2^1450848-1 is not prime. Res64: BDCDACE7F57EF2CC Time : 0.0 sec. user=mdettweiler [2017-04-07 11:55:22] 861*2^1450849-1 is not prime. Res64: CD36BB0890595884 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:55:22] 975*2^1450849-1 is not prime. Res64: 6E55765945DE7EF2 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:55:22] 985*2^1450849-1 is not prime. Res64: 7CA264606EE308E8 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:55:23] 701*2^1450850-1 is not prime. Res64: 21424EBC1211DB72 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:55:23] 713*2^1450850-1 is not prime. Res64: 6611306C08771571 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:56:16] 755*2^1450850-1 is not prime. Res64: 31B48166A11DC3A0 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:56:16] 773*2^1450850-1 is not prime. Res64: BE697FD081846FAB Time : 0.0 sec. user=mdettweiler [2017-04-07 11:56:16] 797*2^1450850-1 is not prime. Res64: A2BC9228F69A4ADC Time : 0.0 sec. user=mdettweiler [2017-04-07 11:56:17] 861*2^1450850-1 is not prime. Res64: E3082105B9123F30 Time : 0.0 sec. user=mdettweiler [2017-04-07 11:56:17] 893*2^1450850-1 is not prime. Res64: 907B855ACF3B59B8 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:12] 935*2^1450850-1 is not prime. Res64: 3A746CF459F901A5 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:13] 945*2^1450850-1 is not prime. Res64: C02C885E3D482D61 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:13] 619*2^1450851-1 is not prime. Res64: E30EA5060367917D Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:13] 669*2^1450851-1 is not prime. Res64: 59BA54E8433EC5AD Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:14] 703*2^1450851-1 is not prime. Res64: 4A461DDE03C2C064 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:18] 723*2^1450851-1 is not prime. Res64: ECFFFD38CB28BD78 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:19] 735*2^1450851-1 is not prime. Res64: B347A76A47991850 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:19] 783*2^1450851-1 is not prime. Res64: 442AE662D880D11A Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:20] 789*2^1450851-1 is not prime. Res64: F78AD6ADA1DA2858 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:31:20] 793*2^1450851-1 is not prime. Res64: 490C83F39651C3D9 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:40:16] 909*2^1450851-1 is not prime. Res64: 15613741D257CF94 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:40:17] 913*2^1450851-1 is not prime. Res64: F5F54714426C0FB6 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:40:17] 921*2^1450851-1 is not prime. Res64: 5E364754719FAB3A Time : 0.0 sec. user=mdettweiler [2017-04-07 12:40:17] 951*2^1450851-1 is not prime. Res64: 24525B91F0F4BE77 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:40:18] 979*2^1450851-1 is not prime. Res64: 1CC78289434B11F4 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:41:21] 657*2^1450852-1 is not prime. Res64: B7AA8543F64777AD Time : 0.0 sec. user=mdettweiler [2017-04-07 12:41:21] 677*2^1450852-1 is not prime. Res64: 150237ADD2A9E7CD Time : 0.0 sec. user=mdettweiler [2017-04-07 12:41:21] 909*2^1450852-1 is not prime. Res64: C77E958922145164 Time : 0.0 sec. user=mdettweiler [2017-04-07 12:41:22] 915*2^1450852-1 is not prime. Res64: 7790208C9FEBFF2D Time : 0.0 sec. user=mdettweiler [2017-04-07 12:41:22] 929*2^1450852-1 is not prime. Res64: EEB0217F17FD4B3A Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:05] 811*2^1450853-1 is not prime. Res64: EC8FB369CF6484C0 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:06] 615*2^1450854-1 is not prime. Res64: 638CF7A2031C49CB Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:06] 725*2^1450854-1 is not prime. Res64: 7A6E7ABC7DDA079D Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:06] 765*2^1450854-1 is not prime. Res64: 3A0FBFA4CB0964C1 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:07] 795*2^1450854-1 is not prime. Res64: C293BEE982796164 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:17] 917*2^1450854-1 is not prime. Res64: 7CCBAC64EDCEBF4C Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:17] 645*2^1450855-1 is not prime. Res64: 3453CEA858E9F7D9 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:18] 661*2^1450855-1 is not prime. Res64: F0337D4435F332ED Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:18] 735*2^1450855-1 is not prime. Res64: 50581C65D15C8358 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:16:18] 765*2^1450855-1 is not prime. Res64: 1318A4D7AB38FD48 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:25:55] 861*2^1450855-1 is not prime. Res64: 0A739D5CBFE306E8 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:25:55] 915*2^1450855-1 is not prime. Res64: A742C41D713BA8A5 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:25:55] 609*2^1450856-1 is not prime. Res64: DE05618DA8141CBB Time : 0.0 sec. user=mdettweiler [2017-04-07 13:25:56] 635*2^1450856-1 is not prime. Res64: 765F22957720233B Time : 0.0 sec. user=mdettweiler [2017-04-07 13:25:56] 663*2^1450856-1 is not prime. Res64: 645A40C89CFEAC8D Time : 0.0 sec. user=mdettweiler [2017-04-07 13:27:09] 827*2^1450856-1 is not prime. Res64: 06AD409E1F241387 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:27:09] 855*2^1450856-1 is not prime. Res64: A6915F6E363B943C Time : 0.0 sec. user=mdettweiler [2017-04-07 13:27:10] 935*2^1450856-1 is not prime. Res64: 29158FFAEA918939 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:27:10] 711*2^1450857-1 is not prime. Res64: 14A2D3E2192CD160 Time : 0.0 sec. user=mdettweiler [2017-04-07 13:27:11] 777*2^1450857-1 is not prime. Res64: 52B7917DE571E25A Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:44] 805*2^1450857-1 is not prime. Res64: 62C5FB9A179C1D4C Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:44] 807*2^1450857-1 is not prime. Res64: B70A2C45FA75542E Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:45] 835*2^1450857-1 is not prime. Res64: C4F1E276F4F6BAF9 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:46] 889*2^1450857-1 is not prime. Res64: E95773C2F90D64F4 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:46] 623*2^1450858-1 is not prime. Res64: 749CD46C364B10BF Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:51] 687*2^1450858-1 is not prime. Res64: 8F708CFD00703FB2 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:52] 705*2^1450858-1 is not prime. Res64: CFF4B5F83F886A3A Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:52] 713*2^1450858-1 is not prime. Res64: E7BF26A72FE0D7BF Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:53] 801*2^1450858-1 is not prime. Res64: E294F543DCF3EA26 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:01:54] 887*2^1450858-1 is not prime. Res64: 832EAD50F202B546 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:10:50] 891*2^1450858-1 is not prime. Res64: C12F2B9B21EBF9AC Time : 0.0 sec. user=mdettweiler [2017-04-07 14:10:51] 993*2^1450858-1 is not prime. Res64: B4E0B79142D51E7A Time : 0.0 sec. user=mdettweiler [2017-04-07 14:10:51] 645*2^1450859-1 is not prime. Res64: 47FAA626A1B89EB0 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:10:52] 705*2^1450859-1 is not prime. Res64: A40196B4BCFBE611 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:10:52] 711*2^1450859-1 is not prime. Res64: B6009F788179EBF2 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:12:19] 741*2^1450859-1 is not prime. Res64: 6BB94380E9FB2DD0 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:12:19] 753*2^1450859-1 is not prime. Res64: 1C26A90CD9E34492 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:12:20] 855*2^1450859-1 is not prime. Res64: FD43E6D96915A56D Time : 0.0 sec. user=mdettweiler [2017-04-07 14:12:20] 993*2^1450859-1 is not prime. Res64: 0E42FEA16C250FD4 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:12:20] 999*2^1450859-1 is not prime. Res64: 2CB5DD8AC3800DF3 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:46:51] 873*2^1450860-1 is not prime. Res64: 6A9F9F48CE7E3B24 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:46:52] 905*2^1450860-1 is not prime. Res64: 8624517C9F2A08B6 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:46:52] 909*2^1450860-1 is not prime. Res64: F342D1AB8BF4F2DD Time : 0.0 sec. user=mdettweiler [2017-04-07 14:46:52] 621*2^1450861-1 is not prime. Res64: 26BF0E74210DE350 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:46:53] 747*2^1450861-1 is not prime. Res64: D32E56EC73EF4C12 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:47:08] 629*2^1450860-1 is not prime. Res64: 782BAC63C661D645 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:47:08] 633*2^1450860-1 is not prime. Res64: CC38D4937F855AD6 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:47:08] 647*2^1450860-1 is not prime. Res64: 1596A2C72527AFE7 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:47:09] 693*2^1450860-1 is not prime. Res64: F6D2F590FAA90B40 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:47:09] 753*2^1450860-1 is not prime. Res64: 5B8AD8E050BAAB46 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:55:48] 867*2^1450861-1 is not prime. Res64: 264EC59752DB11E2 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:55:49] 871*2^1450861-1 is not prime. Res64: F8F9192A23BD75CE Time : 0.0 sec. user=mdettweiler [2017-04-07 14:55:49] 997*2^1450861-1 is not prime. Res64: 3A751B631E3B6E22 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:55:49] 999*2^1450861-1 is not prime. Res64: 5DE84E3655D4D5DC Time : 0.0 sec. user=mdettweiler [2017-04-07 14:55:50] 635*2^1450862-1 is not prime. Res64: C4C33B5F0ACD75B4 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:57:20] 671*2^1450862-1 is not prime. Res64: D997F5632147FA31 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:57:20] 713*2^1450862-1 is not prime. Res64: 0BCBC0565769FDC0 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:57:20] 825*2^1450862-1 is not prime. Res64: C88DF1C4E958BC49 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:57:21] 827*2^1450862-1 is not prime. Res64: E466F0BD7C264645 Time : 0.0 sec. user=mdettweiler [2017-04-07 14:57:21] 831*2^1450862-1 is not prime. Res64: F6711906CD643CF0 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:31:37] 885*2^1450862-1 is not prime. Res64: 421CC44DFD7B4006 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:31:37] 945*2^1450862-1 is not prime. Res64: 77DD46172684A5A4 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:31:38] 953*2^1450862-1 is not prime. Res64: 27818E2A8BAF5ADD Time : 0.0 sec. user=mdettweiler [2017-04-07 15:31:38] 963*2^1450862-1 is not prime. Res64: A959E08F48FD467C Time : 0.0 sec. user=mdettweiler [2017-04-07 15:31:38] 685*2^1450863-1 is not prime. Res64: 8BB3F13F2E538DD0 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:32:07] 789*2^1450863-1 is not prime. Res64: F04BA0AEE1E8DE1C Time : 0.0 sec. user=mdettweiler [2017-04-07 15:32:08] 795*2^1450863-1 is not prime. Res64: 9FECA16AD75A7CD3 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:32:08] 829*2^1450863-1 is not prime. Res64: B77FCC670B9DE4B2 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:32:09] 879*2^1450863-1 is not prime. Res64: 88A2415E586521AD Time : 0.0 sec. user=mdettweiler [2017-04-07 15:32:09] 973*2^1450863-1 is not prime. Res64: 6E516843A8B7DBB2 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:40:36] 605*2^1450864-1 is not prime. Res64: 04ED5A606A7C1B2A Time : 0.0 sec. user=mdettweiler [2017-04-07 15:40:37] 609*2^1450864-1 is not prime. Res64: 3289A9B71FD12E45 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:40:37] 677*2^1450864-1 is not prime. Res64: 96C2B345F08B5BB6 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:40:38] 707*2^1450864-1 is not prime. Res64: D2319CFC38025D25 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:40:38] 765*2^1450864-1 is not prime. Res64: 606FC90FABB34A27 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:42:13] 803*2^1450864-1 is not prime. Res64: 69ADA1AC6D1BAEC7 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:42:14] 869*2^1450864-1 is not prime. Res64: 80045C7CD5F355B5 Time : 0.0 sec. user=mdettweiler [2017-04-07 15:42:14] 887*2^1450864-1 is not prime. Res64: 3837B6E63370E9FF Time : 0.0 sec. user=mdettweiler [2017-04-07 15:42:14] 899*2^1450864-1 is not prime. Res64: 8401DC732261AFBF Time : 0.0 sec. user=mdettweiler [2017-04-07 15:42:15] 929*2^1450864-1 is not prime. Res64: 237FF3D36D844117 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:16:47] 969*2^1450864-1 is not prime. Res64: 2AF00CCEBFD7BE20 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:16:48] 983*2^1450864-1 is not prime. Res64: 88070DD9C836CEAB Time : 0.0 sec. user=mdettweiler [2017-04-07 16:16:48] 669*2^1450865-1 is not prime. Res64: A933AFE1BD79C873 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:16:49] 705*2^1450865-1 is not prime. Res64: 0DC893C309C9913F Time : 0.0 sec. user=mdettweiler [2017-04-07 16:16:49] 759*2^1450865-1 is not prime. Res64: 7E4B608D7A78B6CD Time : 0.0 sec. user=mdettweiler [2017-04-07 16:17:01] 781*2^1450865-1 is not prime. Res64: F83D3EE758B25DC0 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:17:01] 837*2^1450865-1 is not prime. Res64: 86D71F587DB1DAC8 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:17:02] 925*2^1450865-1 is not prime. Res64: 39FDDFFBA69BCEB5 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:17:02] 981*2^1450865-1 is not prime. Res64: B07FE1D61C36C79F Time : 0.0 sec. user=mdettweiler [2017-04-07 16:17:02] 991*2^1450865-1 is not prime. Res64: 65F18436E23980B1 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:25:37] 735*2^1450866-1 is not prime. Res64: CCCE1B5B2518A9E0 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:25:38] 737*2^1450866-1 is not prime. Res64: A5092EC87BCD2518 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:25:38] 825*2^1450866-1 is not prime. Res64: B3664DE6D780D6EE Time : 0.0 sec. user=mdettweiler [2017-04-07 16:25:39] 861*2^1450866-1 is not prime. Res64: 1E64136132DD0A0F Time : 0.0 sec. user=mdettweiler [2017-04-07 16:25:39] 891*2^1450866-1 is not prime. Res64: 97A1ADF9B52BB5DA Time : 0.0 sec. user=mdettweiler [2017-04-07 16:27:26] 917*2^1450866-1 is not prime. Res64: 679E61D31E6C7A82 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:27:26] 971*2^1450866-1 is not prime. Res64: 8A2C9DDF44E414A4 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:27:27] 1001*2^1450866-1 is not prime. Res64: CAB7EC5A26419A8F Time : 0.0 sec. user=mdettweiler [2017-04-07 16:27:27] 603*2^1450867-1 is not prime. Res64: CC413A986995DEB6 Time : 0.0 sec. user=mdettweiler [2017-04-07 16:27:27] 633*2^1450867-1 is not prime. Res64: 7C56D22CF61E1FE5 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:01:47] 651*2^1450867-1 is not prime. Res64: 70CD13961BC82089 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:01:48] 801*2^1450867-1 is not prime. Res64: 3C4E5064472AFFC8 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:01:49] 805*2^1450867-1 is not prime. Res64: 7991D42EE007046F Time : 0.0 sec. user=mdettweiler [2017-04-07 17:01:49] 875*2^1450868-1 is not prime. Res64: 4DEC6A2C7EE3D430 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:01:50] 915*2^1450868-1 is not prime. Res64: C6F2212F20303223 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:02:09] 639*2^1450869-1 is not prime. Res64: 9FF416209FBFFF96 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:02:10] 649*2^1450869-1 is not prime. Res64: D7EDDF25B21A6B7B Time : 0.0 sec. user=mdettweiler [2017-04-07 17:02:11] 657*2^1450869-1 is not prime. Res64: F6679B845C4EF2C7 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:02:12] 681*2^1450869-1 is not prime. Res64: F1CF807FA7D5D733 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:02:12] 759*2^1450869-1 is not prime. Res64: A5B4C3A363EEA5AC Time : 0.0 sec. user=mdettweiler [2017-04-07 17:10:29] 961*2^1450869-1 is not prime. Res64: BFD5DE5081D7F52A Time : 0.0 sec. user=mdettweiler [2017-04-07 17:10:30] 985*2^1450869-1 is not prime. Res64: 96D3C3DFC34E21D3 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:10:30] 653*2^1450870-1 is not prime. Res64: 2A4F546B1F10F88A Time : 0.0 sec. user=mdettweiler [2017-04-07 17:10:31] 663*2^1450870-1 is not prime. Res64: D2050DECEB01EEDB Time : 0.0 sec. user=mdettweiler [2017-04-07 17:10:31] 747*2^1450870-1 is not prime. Res64: BD2C5EA6317B247B Time : 0.0 sec. user=mdettweiler [2017-04-07 17:12:25] 791*2^1450870-1 is not prime. Res64: 31163497945F652F Time : 0.0 sec. user=mdettweiler [2017-04-07 17:12:26] 863*2^1450870-1 is not prime. Res64: BA1B26A59D86AC5D Time : 0.0 sec. user=mdettweiler [2017-04-07 17:12:26] 941*2^1450870-1 is not prime. Res64: 3B5F6B2AC8A8F38C Time : 0.0 sec. user=mdettweiler [2017-04-07 17:12:26] 1001*2^1450870-1 is not prime. Res64: 20C026A55777B526 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:12:27] 735*2^1450871-1 is not prime. Res64: 3FC5BE5BFDEF7E82 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:48:41] 901*2^1450871-1 is not prime. Res64: 2279777681BE4F45 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:48:42] 969*2^1450871-1 is not prime. Res64: AF663CEE1717E191 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:48:42] 627*2^1450872-1 is not prime. Res64: 1AE3AE2E65161B3F Time : 0.0 sec. user=mdettweiler [2017-04-07 17:48:43] 695*2^1450872-1 is not prime. Res64: 4DCC4133D4EC8981 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:48:43] 767*2^1450872-1 is not prime. Res64: 6C96F18D6C31331A Time : 0.0 sec. user=mdettweiler [2017-04-07 17:49:06] 803*2^1450872-1 is not prime. Res64: A413828F7AA5130B Time : 0.0 sec. user=mdettweiler [2017-04-07 17:49:06] 893*2^1450872-1 is not prime. Res64: FDFCC00648D625E9 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:49:07] 909*2^1450872-1 is not prime. Res64: 3D837FFF09A097B4 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:49:07] 917*2^1450872-1 is not prime. Res64: 191F3B08EA5D23B0 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:49:08] 999*2^1450872-1 is not prime. Res64: 294A4BB34032F738 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:57:21] 615*2^1450873-1 is not prime. Res64: FD71C7A626A7F490 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:57:22] 619*2^1450873-1 is not prime. Res64: 09F11B8E6E434981 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:57:22] 681*2^1450873-1 is not prime. Res64: 94B8030C5E419077 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:57:22] 705*2^1450873-1 is not prime. Res64: 7EAE2BA5AFC10923 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:57:23] 811*2^1450873-1 is not prime. Res64: 6C7E32B895B0F617 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:59:42] 835*2^1450873-1 is not prime. Res64: 2403F9C1B2389128 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:59:43] 855*2^1450873-1 is not prime. Res64: 82D1A65A8C40103A Time : 0.0 sec. user=mdettweiler [2017-04-07 17:59:43] 889*2^1450873-1 is not prime. Res64: 16BB656E20E386A1 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:59:44] 919*2^1450873-1 is not prime. Res64: 1BBC21CE98067559 Time : 0.0 sec. user=mdettweiler [2017-04-07 17:59:44] 633*2^1450874-1 is not prime. Res64: BA733F56B6D11F2E Time : 0.0 sec. user=mdettweiler [2017-04-07 18:33:27] 677*2^1450874-1 is not prime. Res64: A3E0D29F50DB4FFC Time : 0.0 sec. user=mdettweiler [2017-04-07 18:33:28] 707*2^1450874-1 is not prime. Res64: C7E90FFB6637DED4 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:33:28] 717*2^1450874-1 is not prime. Res64: C2F112AEE2A94EC6 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:33:29] 813*2^1450874-1 is not prime. Res64: F9FF29261EA9B34B Time : 0.0 sec. user=mdettweiler [2017-04-07 18:33:29] 827*2^1450874-1 is not prime. Res64: C7E113E684F67403 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:34:00] 861*2^1450874-1 is not prime. Res64: C89C02F88745AE5C Time : 0.0 sec. user=mdettweiler [2017-04-07 18:34:00] 873*2^1450874-1 is not prime. Res64: A081A888BDD7991C Time : 0.0 sec. user=mdettweiler [2017-04-07 18:34:00] 915*2^1450874-1 is not prime. Res64: ABACC662F3ED5E5C Time : 0.0 sec. user=mdettweiler [2017-04-07 18:34:01] 927*2^1450874-1 is not prime. Res64: 7C4C83F2952C9B72 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:34:01] 1001*2^1450874-1 is not prime. Res64: 49DBEB30975A3915 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:42:23] 625*2^1450875-1 is not prime. Res64: 04741EA13468055C Time : 0.0 sec. user=mdettweiler [2017-04-07 18:42:24] 723*2^1450875-1 is not prime. Res64: DC446FC8BAEBCA5B Time : 0.0 sec. user=mdettweiler [2017-04-07 18:42:24] 895*2^1450875-1 is not prime. Res64: CF32A896F403CE83 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:42:24] 969*2^1450875-1 is not prime. Res64: 32A8E9DEC174D367 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:42:25] 705*2^1450876-1 is not prime. Res64: 4652276E7B6136A9 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:44:47] 723*2^1450876-1 is not prime. Res64: 3BF771B3BA8575EF Time : 0.0 sec. user=mdettweiler [2017-04-07 18:44:47] 735*2^1450876-1 is not prime. Res64: 7AE91A404AA2BDD7 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:44:48] 857*2^1450876-1 is not prime. Res64: D87FDFB9C02699D3 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:44:48] 869*2^1450876-1 is not prime. Res64: 2F77020C71597E47 Time : 0.0 sec. user=mdettweiler [2017-04-07 18:44:48] 927*2^1450876-1 is not prime. Res64: 25560A6745F17D29 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:33] 989*2^1450876-1 is not prime. Res64: 521249AF7B04593D Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:33] 601*2^1450877-1 is not prime. Res64: 318172C499950A78 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:34] 727*2^1450877-1 is not prime. Res64: 858B9594EEA9448B Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:34] 847*2^1450877-1 is not prime. Res64: FA7A81ECF26C3A89 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:34] 889*2^1450877-1 is not prime. Res64: 656CFFE9ACF3686E Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:53] 705*2^1450878-1 is not prime. Res64: 5C1311FF93497E93 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:53] 881*2^1450878-1 is not prime. Res64: B213874100A59A1F Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:54] 893*2^1450878-1 is not prime. Res64: A3C72821E34B826C Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:54] 927*2^1450878-1 is not prime. Res64: DA3C4E6C1700DD28 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:18:55] 977*2^1450878-1 is not prime. Res64: 864050EE6093077A Time : 0.0 sec. user=mdettweiler [2017-04-07 19:27:22] 615*2^1450879-1 is not prime. Res64: 3BC029C0B59F003E Time : 0.0 sec. user=mdettweiler [2017-04-07 19:27:23] 639*2^1450879-1 is not prime. Res64: 0EDAB699646D6E9F Time : 0.0 sec. user=mdettweiler [2017-04-07 19:27:23] 693*2^1450879-1 is not prime. Res64: A678F7CD061BBE28 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:27:24] 709*2^1450879-1 is not prime. Res64: 04E3A3840614D0AD Time : 0.0 sec. user=mdettweiler [2017-04-07 19:27:24] 741*2^1450879-1 is not prime. Res64: 7F6BE5F02BABD32F Time : 0.0 sec. user=mdettweiler [2017-04-07 19:29:50] 759*2^1450879-1 is not prime. Res64: 31FF750AC50CE501 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:29:50] 789*2^1450879-1 is not prime. Res64: 4B5361D1D53DBABC Time : 0.0 sec. user=mdettweiler [2017-04-07 19:29:51] 843*2^1450879-1 is not prime. Res64: 3F1723FDD236CC0F Time : 0.0 sec. user=mdettweiler [2017-04-07 19:29:51] 853*2^1450879-1 is not prime. Res64: 24FBD5E4857898F4 Time : 0.0 sec. user=mdettweiler [2017-04-07 19:29:51] 919*2^1450879-1 is not prime. Res64: 13B33DDB751E62F9 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:29] 633*2^1450880-1 is not prime. Res64: 7C4C01FC617FE833 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:30] 689*2^1450880-1 is not prime. Res64: C1079AA4901F41EF Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:31] 699*2^1450880-1 is not prime. Res64: 33DD338518EAB3D6 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:33] 839*2^1450880-1 is not prime. Res64: DEE84FA415D10445 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:34] 637*2^1450881-1 is not prime. Res64: F120FEA91B3C57A3 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:52] 777*2^1450881-1 is not prime. Res64: 1C46A35916623EF6 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:54] 865*2^1450881-1 is not prime. Res64: CEB85F5CD08962D0 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:57] 889*2^1450881-1 is not prime. Res64: EE42F9952824F5FC Time : 0.0 sec. user=mdettweiler [2017-04-07 20:03:59] 921*2^1450881-1 is not prime. Res64: 6B24CC41CD97487D Time : 0.0 sec. user=mdettweiler [2017-04-07 20:04:00] 647*2^1450882-1 is not prime. Res64: C97C9975B4DB844D Time : 0.0 sec. user=mdettweiler [2017-04-07 20:12:16] 671*2^1450882-1 is not prime. Res64: 11B149B3874F8D08 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:12:17] 681*2^1450882-1 is not prime. Res64: 683B8F68EFD96A01 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:12:17] 755*2^1450882-1 is not prime. Res64: 6DEC25C0EE7A5A54 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:12:18] 831*2^1450882-1 is not prime. Res64: 994664CF0E2F4256 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:12:18] 945*2^1450882-1 is not prime. Res64: 8CB08AC50381699A Time : 0.0 sec. user=mdettweiler [2017-04-07 20:14:41] 669*2^1450883-1 is not prime. Res64: A373E82D663521A1 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:14:41] 673*2^1450883-1 is not prime. Res64: 6F728C66961C37C1 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:14:42] 675*2^1450883-1 is not prime. Res64: C39A1A8D48AA45D2 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:14:42] 693*2^1450883-1 is not prime. Res64: F3FB1A4CCB570580 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:14:43] 735*2^1450883-1 is not prime. Res64: 5DFB903CE2C0F07A Time : 0.0 sec. user=juhehe [2017-04-07 20:38:54] 973*2^1450883-1 is not prime. Res64: A277D853A1D2FBBD Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:52] 857*2^1450884-1 is not prime. Res64: 6E3201688A417AA3 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:52] 875*2^1450884-1 is not prime. Res64: 471B5A7244769DA7 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:52] 685*2^1450885-1 is not prime. Res64: 22BC75FBD7CFFDE9 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:53] 721*2^1450885-1 is not prime. Res64: 9C73E35D93704D9F Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:53] 799*2^1450885-1 is not prime. Res64: 9B47637D667EB9EA Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:57] 985*2^1450883-1 is not prime. Res64: C870971FA3A24658 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:57] 689*2^1450884-1 is not prime. Res64: 8EE78C25B8DC1742 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:58] 717*2^1450884-1 is not prime. Res64: D77C4F8B5E78803C Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:58] 725*2^1450884-1 is not prime. Res64: E365100590BB9C47 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:48:59] 809*2^1450884-1 is not prime. Res64: 841BF03C23F6D997 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:57:09] 859*2^1450885-1 is not prime. Res64: 8ED134E2737E1BCE Time : 0.0 sec. user=mdettweiler [2017-04-07 20:57:09] 861*2^1450885-1 is not prime. Res64: AD2CD4B0C52D859A Time : 0.0 sec. user=mdettweiler [2017-04-07 20:57:09] 979*2^1450885-1 is not prime. Res64: 5774F3FC389657F1 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:57:10] 997*2^1450885-1 is not prime. Res64: 02CB9D06B38086C4 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:57:10] 677*2^1450886-1 is not prime. Res64: AF0C9626CE0F3533 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:59:52] 683*2^1450886-1 is not prime. Res64: 813516CC7E3E2303 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:59:52] 743*2^1450886-1 is not prime. Res64: 3A1BE076681ED60C Time : 0.0 sec. user=mdettweiler [2017-04-07 20:59:53] 785*2^1450886-1 is not prime. Res64: A918F9C5C3B6F142 Time : 0.0 sec. user=mdettweiler [2017-04-07 20:59:53] 831*2^1450886-1 is not prime. Res64: B41861DA874E4D4F Time : 0.0 sec. user=mdettweiler [2017-04-07 20:59:53] 875*2^1450886-1 is not prime. Res64: E4FDE8426AF1326E Time : 0.0 sec. user=mdettweiler [2017-04-07 21:33:43] 651*2^1450887-1 is not prime. Res64: 10272684A5C565A7 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:33:43] 661*2^1450887-1 is not prime. Res64: B22EEA45B687A6F0 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:33:44] 675*2^1450887-1 is not prime. Res64: A8DB1FF961684321 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:33:44] 693*2^1450887-1 is not prime. Res64: 24C6EAFAC9EF9CA4 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:33:44] 751*2^1450887-1 is not prime. Res64: FAEEC57A66A63A53 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:34:07] 765*2^1450887-1 is not prime. Res64: BD942C65385E0B7D Time : 0.0 sec. user=mdettweiler [2017-04-07 21:34:07] 795*2^1450887-1 is not prime. Res64: 1CD8DA7B0D84263A Time : 0.0 sec. user=mdettweiler [2017-04-07 21:34:08] 861*2^1450887-1 is not prime. Res64: 982D591542D1948D Time : 0.0 sec. user=mdettweiler [2017-04-07 21:34:08] 895*2^1450887-1 is not prime. Res64: 0708186B148A6E8A Time : 0.0 sec. user=mdettweiler [2017-04-07 21:34:09] 909*2^1450887-1 is not prime. Res64: B128DE37859E21C9 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:42:11] 945*2^1450887-1 is not prime. Res64: D863E75CD298F2A2 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:42:11] 723*2^1450888-1 is not prime. Res64: FA353B968BB3CC6C Time : 0.0 sec. user=mdettweiler [2017-04-07 21:42:12] 743*2^1450888-1 is not prime. Res64: 6A68413AE774AECD Time : 0.0 sec. user=mdettweiler [2017-04-07 21:42:12] 845*2^1450888-1 is not prime. Res64: E7A809538C8CFF93 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:42:13] 863*2^1450888-1 is not prime. Res64: D7951F548E1F8E72 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:44:51] 909*2^1450888-1 is not prime. Res64: FB95D4B2FCC004EA Time : 0.0 sec. user=mdettweiler [2017-04-07 21:44:51] 947*2^1450888-1 is not prime. Res64: FF72084DDBA8F2E9 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:44:51] 615*2^1450889-1 is not prime. Res64: BE8C596D8F2EBE08 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:44:52] 631*2^1450889-1 is not prime. Res64: 64B46139715B8784 Time : 0.0 sec. user=mdettweiler [2017-04-07 21:44:52] 675*2^1450889-1 is not prime. Res64: A951AD8AB681ACFE Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:28] 707*2^1450890-1 is not prime. Res64: 9EBE36EF34CA65CF Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:29] 735*2^1450890-1 is not prime. Res64: 8EDB2C77E357B6AA Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:29] 851*2^1450890-1 is not prime. Res64: 3BD61B53ED902C51 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:30] 885*2^1450890-1 is not prime. Res64: 15A13FA549D54A11 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:30] 905*2^1450890-1 is not prime. Res64: E3778DED8203FAE3 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:38] 977*2^1450890-1 is not prime. Res64: F11EDDA9E62B64FA Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:39] 625*2^1450891-1 is not prime. Res64: CC2982CEB5144B6F Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:39] 715*2^1450891-1 is not prime. Res64: 03EB6939CD8FB2B8 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:40] 733*2^1450891-1 is not prime. Res64: 5C065D5D98D2EBD8 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:19:40] 741*2^1450891-1 is not prime. Res64: 279FEB06B45F61C0 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:27:51] 759*2^1450891-1 is not prime. Res64: 94E7B717C8361CEA Time : 0.0 sec. user=mdettweiler [2017-04-07 22:27:51] 793*2^1450891-1 is not prime. Res64: 43CD1124A985F479 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:27:52] 861*2^1450891-1 is not prime. Res64: 1A7BD617AED80EEE Time : 0.0 sec. user=mdettweiler [2017-04-07 22:27:52] 883*2^1450891-1 is not prime. Res64: 5B8D62C9278F73CF Time : 0.0 sec. user=mdettweiler [2017-04-07 22:27:53] 901*2^1450891-1 is not prime. Res64: 623BC054FDAB20BA Time : 0.0 sec. user=mdettweiler [2017-04-07 22:30:34] 975*2^1450891-1 is not prime. Res64: 02708D29BEC3F55F Time : 0.0 sec. user=mdettweiler [2017-04-07 22:30:35] 603*2^1450892-1 is not prime. Res64: D1545D39FAD5F127 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:30:35] 617*2^1450892-1 is not prime. Res64: 23D7DF89B23465D7 Time : 0.0 sec. user=mdettweiler [2017-04-07 22:30:36] 687*2^1450892-1 is not prime. Res64: 21C101BD725A97BB Time : 0.0 sec. user=mdettweiler [2017-04-07 22:30:36] 725*2^1450892-1 is not prime. Res64: 9FAFB3E610FADC60 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:37] 843*2^1450892-1 is not prime. Res64: 23AA89D1AB45F6B7 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:38] 977*2^1450892-1 is not prime. Res64: 9B938E2E8521FD9F Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:39] 741*2^1450893-1 is not prime. Res64: AF71CB56CA7E6E8E Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:40] 759*2^1450893-1 is not prime. Res64: DC0581E1E725991A Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:40] 847*2^1450893-1 is not prime. Res64: 3A07900FE429C42B Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:45] 915*2^1450893-1 is not prime. Res64: 64045AB5CFFAF9E2 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:46] 937*2^1450893-1 is not prime. Res64: 5ED29D420724621D Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:47] 923*2^1450894-1 is not prime. Res64: 1B761E761ED3EEE5 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:48] 947*2^1450894-1 is not prime. Res64: 6E2FD885EA1C8D76 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:04:50] 601*2^1450895-1 is not prime. Res64: 0C4FA11153BE4752 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:13:15] 685*2^1450895-1 is not prime. Res64: 86FCE3ABF6767EDB Time : 0.0 sec. user=mdettweiler [2017-04-07 23:13:15] 735*2^1450895-1 is not prime. Res64: A55B7C5B8844C5DC Time : 0.0 sec. user=mdettweiler [2017-04-07 23:13:16] 841*2^1450895-1 is not prime. Res64: 7522737E694EFDFF Time : 0.0 sec. user=mdettweiler [2017-04-07 23:13:16] 939*2^1450895-1 is not prime. Res64: 4BBF997E3BC20C1C Time : 0.0 sec. user=mdettweiler [2017-04-07 23:13:17] 949*2^1450895-1 is not prime. Res64: 8F6473D18CA20409 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:16:49] 607*2^1450897-1 is not prime. Res64: EC8449899A582B08 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:16:50] 829*2^1450897-1 is not prime. Res64: 6B9D20D7B47C78C5 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:16:50] 871*2^1450897-1 is not prime. Res64: F6D81022323A65F9 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:16:51] 967*2^1450897-1 is not prime. Res64: C662397F07FAA9D7 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:16:51] 635*2^1450898-1 is not prime. Res64: F9CAE579509EDD0D Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:39] 651*2^1450898-1 is not prime. Res64: C45BE9B4F6CE4899 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:39] 825*2^1450898-1 is not prime. Res64: 93765EF516CF4292 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:39] 843*2^1450898-1 is not prime. Res64: 6F7D73AD7A1A4DC1 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:40] 649*2^1450899-1 is not prime. Res64: F65A629005C929B0 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:40] 703*2^1450899-1 is not prime. Res64: 1FC92F67050E3271 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:47] 745*2^1450899-1 is not prime. Res64: 07A4582427B0D8D2 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:48] 829*2^1450899-1 is not prime. Res64: 703FB9BC1E25C1B9 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:48] 903*2^1450899-1 is not prime. Res64: 8E863779EE52FE1E Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:49] 615*2^1450900-1 is not prime. Res64: 1E540080A0EDF568 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:49:49] 707*2^1450900-1 is not prime. Res64: A9F7E34C4FE8AF89 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:58:02] 785*2^1450900-1 is not prime. Res64: 95F9E8920587D4C3 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:58:03] 827*2^1450900-1 is not prime. Res64: 23DE2114B47245FB Time : 0.0 sec. user=mdettweiler [2017-04-07 23:58:03] 953*2^1450900-1 is not prime. Res64: DE13AD23275365E0 Time : 0.0 sec. user=mdettweiler [2017-04-07 23:58:04] 957*2^1450900-1 is not prime. Res64: EBA3DC24A0FBE3EF Time : 0.0 sec. user=mdettweiler [2017-04-07 23:58:04] 965*2^1450900-1 is not prime. Res64: E044B15DDE0C0C3E Time : 0.0 sec.