user=mdettweiler [2016-08-09 00:04:24] 871*2^1437021-1 is not prime. Res64: 03B8E98AA91FB5A4 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:04:25] 895*2^1437021-1 is not prime. Res64: 794B33A88F3354A2 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:04:26] 961*2^1437021-1 is not prime. Res64: 1F9DC9F6283572B7 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:04:26] 603*2^1437022-1 is not prime. Res64: 233D198D4ABB0C9C Time : 0.0 sec. user=mdettweiler [2016-08-09 00:04:29] 675*2^1437022-1 is not prime. Res64: 125F33DD9457694F Time : 0.0 sec. user=mdettweiler [2016-08-09 00:07:16] 723*2^1437022-1 is not prime. Res64: 3BF4978A8A5652FD Time : 0.0 sec. user=mdettweiler [2016-08-09 00:07:18] 791*2^1437022-1 is not prime. Res64: 1F63B22C2C3ABE97 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:07:20] 827*2^1437022-1 is not prime. Res64: C014AE8B461F418A Time : 0.0 sec. user=mdettweiler [2016-08-09 00:07:22] 881*2^1437022-1 is not prime. Res64: CA0C1D00B31FC8CC Time : 0.0 sec. user=mdettweiler [2016-08-09 00:07:23] 897*2^1437022-1 is not prime. Res64: 5C853196BD8965E2 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:30:25] 911*2^1437022-1 is not prime. Res64: A48ADB4BC0AA018A Time : 0.0 sec. user=mdettweiler [2016-08-09 00:30:26] 945*2^1437022-1 is not prime. Res64: 2BEBAEA4C4F608F6 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:30:26] 633*2^1437023-1 is not prime. Res64: FEA7157E7161907D Time : 0.0 sec. user=mdettweiler [2016-08-09 00:30:26] 661*2^1437023-1 is not prime. Res64: 92539F7BFBC3D8B9 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:30:26] 739*2^1437023-1 is not prime. Res64: 257D6466C3811FFB Time : 0.0 sec. user=mdettweiler [2016-08-09 00:48:39] 775*2^1437023-1 is not prime. Res64: BFE7E4EB488D7FF5 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:48:40] 789*2^1437023-1 is not prime. Res64: C8D426F4D20A7DA0 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:48:40] 949*2^1437023-1 is not prime. Res64: 3DC859A61C75966B Time : 0.0 sec. user=mdettweiler [2016-08-09 00:48:40] 955*2^1437023-1 is not prime. Res64: 199FB37EC27BA3CF Time : 0.0 sec. user=mdettweiler [2016-08-09 00:48:40] 635*2^1437024-1 is not prime. Res64: 16DDED4C6084AEB8 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:51:33] 683*2^1437024-1 is not prime. Res64: BE2E162E8FB88610 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:51:34] 689*2^1437024-1 is not prime. Res64: 1E060BB9231F501C Time : 0.0 sec. user=mdettweiler [2016-08-09 00:51:34] 873*2^1437024-1 is not prime. Res64: 51B5B5CA34ED15C9 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:51:34] 927*2^1437024-1 is not prime. Res64: 95298B2D2DCF7825 Time : 0.0 sec. user=mdettweiler [2016-08-09 00:51:34] 959*2^1437024-1 is not prime. Res64: 64D70D0BB6B7AF2B Time : 0.0 sec. user=mdettweiler [2016-08-09 01:14:31] 679*2^1437025-1 is not prime. Res64: F971F4C3E4548503 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:14:32] 721*2^1437025-1 is not prime. Res64: AFE05D2D45D4AFC4 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:14:34] 765*2^1437025-1 is not prime. Res64: E3D1A0380F2F59B7 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:14:34] 783*2^1437026-1 is not prime. Res64: 1EA235A8D67EA148 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:14:34] 831*2^1437026-1 is not prime. Res64: 1DDAAD9D61078EC1 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:32:44] 971*2^1437026-1 is not prime. Res64: FF522ECD4C0BDA91 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:32:44] 615*2^1437027-1 is not prime. Res64: 8379AB0C4D0452B6 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:32:44] 669*2^1437027-1 is not prime. Res64: AC41C17EDC849108 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:32:45] 685*2^1437027-1 is not prime. Res64: CA87ACA53686ADBD Time : 0.0 sec. user=mdettweiler [2016-08-09 01:32:45] 703*2^1437027-1 is not prime. Res64: 58CFBAEF7A28BB98 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:35:36] 903*2^1437027-1 is not prime. Res64: 4DFEBC26C1A5F849 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:35:36] 985*2^1437027-1 is not prime. Res64: 42FAA1B3035B1C7F Time : 0.0 sec. user=mdettweiler [2016-08-09 01:35:36] 723*2^1437028-1 is not prime. Res64: 79F4994137227A82 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:35:37] 765*2^1437028-1 is not prime. Res64: 0491DD6482C7C3D5 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:35:37] 825*2^1437028-1 is not prime. Res64: 1F261E9E5AE056F5 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:58:44] 843*2^1437028-1 is not prime. Res64: 50A842FE1A1362C3 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:58:44] 887*2^1437028-1 is not prime. Res64: 62C23A376087253A Time : 0.0 sec. user=mdettweiler [2016-08-09 01:58:44] 915*2^1437028-1 is not prime. Res64: 1430B0AC06043F90 Time : 0.0 sec. user=mdettweiler [2016-08-09 01:58:44] 795*2^1437029-1 is not prime. Res64: FB703C3E6047AD8F Time : 0.0 sec. user=mdettweiler [2016-08-09 01:58:45] 939*2^1437029-1 is not prime. Res64: C669BE6D0028AB04 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:17:01] 611*2^1437030-1 is not prime. Res64: 9CD3E7CCBDF5137D Time : 0.0 sec. user=mdettweiler [2016-08-09 02:17:02] 801*2^1437030-1 is not prime. Res64: BC261FB6F4650622 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:17:02] 921*2^1437030-1 is not prime. Res64: A38B076FDEF6A79C Time : 0.0 sec. user=mdettweiler [2016-08-09 02:17:02] 957*2^1437030-1 is not prime. Res64: F30A7B54E5F0DE55 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:17:03] 619*2^1437031-1 is not prime. Res64: 920625835FD70B13 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:19:59] 625*2^1437031-1 is not prime. Res64: FE961516D3488A75 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:19:59] 649*2^1437031-1 is not prime. Res64: 7BF61964C11916D1 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:20:00] 709*2^1437031-1 is not prime. Res64: C7DCB0CB93568777 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:20:01] 745*2^1437031-1 is not prime. Res64: 2E999B93E2A91A79 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:20:03] 775*2^1437031-1 is not prime. Res64: 7F933A39F7D9F660 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:43:01] 819*2^1437031-1 is not prime. Res64: 91287B6C84ECDC45 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:43:01] 861*2^1437031-1 is not prime. Res64: 965BD25062E7BB5E Time : 0.0 sec. user=mdettweiler [2016-08-09 02:43:02] 901*2^1437031-1 is not prime. Res64: B4BA8FA8B9D0E932 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:43:02] 969*2^1437031-1 is not prime. Res64: 3A2C5ADA8D6B1FA0 Time : 0.0 sec. user=mdettweiler [2016-08-09 02:43:02] 975*2^1437031-1 is not prime. Res64: 095A448955EDBCEA Time : 0.0 sec. user=mdettweiler [2016-08-09 03:01:21] 615*2^1437032-1 is not prime. Res64: 4C636BF3047A937B Time : 0.0 sec. user=mdettweiler [2016-08-09 03:01:24] 687*2^1437032-1 is not prime. Res64: 974BD4722E1E5360 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:01:25] 719*2^1437032-1 is not prime. Res64: D294D4A28F33E8D5 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:01:26] 743*2^1437032-1 is not prime. Res64: CDC0688A6A19C36C Time : 0.0 sec. user=mdettweiler [2016-08-09 03:01:27] 855*2^1437032-1 is not prime. Res64: 5AEBD4E998D5CDCA Time : 0.0 sec. user=mdettweiler [2016-08-09 03:04:14] 963*2^1437032-1 is not prime. Res64: 7F5CB62B999EDE87 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:04:16] 745*2^1437033-1 is not prime. Res64: 1872085F463EB515 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:04:17] 999*2^1437033-1 is not prime. Res64: 358962147E5DAD5E Time : 0.0 sec. user=mdettweiler [2016-08-09 03:04:19] 645*2^1437034-1 is not prime. Res64: 2A149408CBA3BDAF Time : 0.0 sec. user=mdettweiler [2016-08-09 03:04:21] 815*2^1437034-1 is not prime. Res64: 5CB192817E059A68 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:27:09] 905*2^1437034-1 is not prime. Res64: DE6C8D7A82E81E3A Time : 0.0 sec. user=mdettweiler [2016-08-09 03:27:10] 941*2^1437034-1 is not prime. Res64: DB3F4493872632AE Time : 0.0 sec. user=mdettweiler [2016-08-09 03:27:12] 669*2^1437035-1 is not prime. Res64: 81EC6D7F48CF78D3 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:27:13] 675*2^1437035-1 is not prime. Res64: 1F9201813D5E016B Time : 0.0 sec. user=mdettweiler [2016-08-09 03:27:14] 799*2^1437035-1 is not prime. Res64: A8AE39F2EBD1D283 Time : 0.0 sec. user=juhehe [2016-08-09 03:32:12] 825*2^1437035-1 is not prime. Res64: 58ABC652502026DA Time : 0.0 sec. user=mdettweiler [2016-08-09 03:45:45] 855*2^1437035-1 is not prime. Res64: 1C731AEF9EE2C986 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:45:47] 629*2^1437036-1 is not prime. Res64: FBB166E6DF68FDC0 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:45:50] 705*2^1437036-1 is not prime. Res64: B21EFA4DD0C9174B Time : 0.0 sec. user=mdettweiler [2016-08-09 03:45:53] 777*2^1437036-1 is not prime. Res64: AA8B96B2AAA31C7B Time : 0.0 sec. user=mdettweiler [2016-08-09 03:45:56] 893*2^1437036-1 is not prime. Res64: E1E66FC605289EE6 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:48:30] 899*2^1437036-1 is not prime. Res64: 3DF6153B1E9B4EEA Time : 0.0 sec. user=mdettweiler [2016-08-09 03:48:34] 667*2^1437037-1 is not prime. Res64: A822B0B87A392B61 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:48:37] 777*2^1437037-1 is not prime. Res64: 78FB161CC9C9DD9B Time : 0.0 sec. user=mdettweiler [2016-08-09 03:48:42] 799*2^1437037-1 is not prime. Res64: BC848418FE2CCEC7 Time : 0.0 sec. user=mdettweiler [2016-08-09 03:48:43] 985*2^1437037-1 is not prime. Res64: 5B7693CAD3BEB711 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:11:37] 705*2^1437038-1 is not prime. Res64: 5D535BA4183E11B3 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:11:38] 713*2^1437038-1 is not prime. Res64: 86A17E25BD227CAE Time : 0.0 sec. user=mdettweiler [2016-08-09 04:11:39] 761*2^1437038-1 is not prime. Res64: EB2525AC5D9B96BC Time : 0.0 sec. user=mdettweiler [2016-08-09 04:11:40] 791*2^1437038-1 is not prime. Res64: 76E44AA94A6A41F9 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:11:41] 845*2^1437038-1 is not prime. Res64: 9CC13FC9906EE6E3 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:30:12] 875*2^1437038-1 is not prime. Res64: ABC534A341CDA960 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:30:12] 945*2^1437038-1 is not prime. Res64: 9ED18AE0C0534204 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:30:12] 977*2^1437038-1 is not prime. Res64: 80A33A6EBD09B933 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:30:13] 675*2^1437039-1 is not prime. Res64: F3180A1F8BAF3C38 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:30:13] 745*2^1437039-1 is not prime. Res64: 577118E3A28B4586 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:33:00] 831*2^1437039-1 is not prime. Res64: 04C70E20274766E4 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:33:00] 955*2^1437039-1 is not prime. Res64: D97BDE2C1BA0940E Time : 0.0 sec. user=mdettweiler [2016-08-09 04:33:01] 635*2^1437040-1 is not prime. Res64: A958EB73D29F820D Time : 0.0 sec. user=mdettweiler [2016-08-09 04:33:01] 665*2^1437040-1 is not prime. Res64: 1A39533CA6F6036E Time : 0.0 sec. user=mdettweiler [2016-08-09 04:33:01] 723*2^1437040-1 is not prime. Res64: C458E4129A0EA1A8 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:55:56] 819*2^1437040-1 is not prime. Res64: F0B2DDF038294895 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:55:56] 863*2^1437040-1 is not prime. Res64: 44D4372157C2A01A Time : 0.0 sec. user=mdettweiler [2016-08-09 04:55:56] 873*2^1437040-1 is not prime. Res64: 52C4BF0A7733EAEA Time : 0.0 sec. user=mdettweiler [2016-08-09 04:55:57] 637*2^1437041-1 is not prime. Res64: B89BACABD311E8B6 Time : 0.0 sec. user=mdettweiler [2016-08-09 04:55:57] 705*2^1437041-1 is not prime. Res64: B205BF9BAD340626 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:14:19] 735*2^1437041-1 is not prime. Res64: 034489E9B23EB4F9 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:14:20] 901*2^1437041-1 is not prime. Res64: 2BF25E1156B38868 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:14:21] 611*2^1437042-1 is not prime. Res64: 3CB85D9B73529C6D Time : 0.0 sec. user=mdettweiler [2016-08-09 05:14:21] 621*2^1437042-1 is not prime. Res64: 8D2626395776476D Time : 0.0 sec. user=mdettweiler [2016-08-09 05:14:22] 723*2^1437042-1 is not prime. Res64: 11432F442BCDD3F4 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:40:20] 783*2^1437043-1 is not prime. Res64: 69FCCD1B0BE31B88 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:40:20] 861*2^1437043-1 is not prime. Res64: E96EB61EB978714B Time : 0.0 sec. user=mdettweiler [2016-08-09 05:40:21] 871*2^1437043-1 is not prime. Res64: 918A741721E93FD4 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:40:21] 913*2^1437043-1 is not prime. Res64: BDB49B522027AE51 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:40:21] 919*2^1437043-1 is not prime. Res64: 4E7B1C70B0EC9727 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:59:00] 837*2^1437044-1 is not prime. Res64: EA0F326B208318AA Time : 0.0 sec. user=mdettweiler [2016-08-09 05:59:01] 959*2^1437044-1 is not prime. Res64: C0E0307D48CD7BB3 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:59:01] 627*2^1437045-1 is not prime. Res64: 5CE3A25CBE2AF678 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:59:01] 649*2^1437045-1 is not prime. Res64: D9C48D0A12D08F05 Time : 0.0 sec. user=mdettweiler [2016-08-09 05:59:01] 781*2^1437045-1 is not prime. Res64: 42DEF1E876C6A44D Time : 0.0 sec. user=mdettweiler [2016-08-09 06:24:52] 831*2^1437045-1 is not prime. Res64: 9A13F0DAC2053947 Time : 0.0 sec. user=mdettweiler [2016-08-09 06:24:52] 937*2^1437045-1 is not prime. Res64: 00C93B55F7EBD59A Time : 0.0 sec. user=mdettweiler [2016-08-09 06:24:53] 949*2^1437045-1 is not prime. Res64: 2692BE4496DDB7AD Time : 0.0 sec. user=mdettweiler [2016-08-09 06:24:53] 951*2^1437045-1 is not prime. Res64: 7C81F8181C3F2058 Time : 0.0 sec. user=mdettweiler [2016-08-09 06:24:53] 657*2^1437046-1 is not prime. Res64: 09BA522C844FE4EC Time : 0.0 sec. user=mdettweiler [2016-08-09 06:43:37] 717*2^1437046-1 is not prime. Res64: F1DD82A9F329A2F8 Time : 0.0 sec. user=mdettweiler [2016-08-09 06:43:37] 873*2^1437046-1 is not prime. Res64: CEE344FE78CBC2FC Time : 0.0 sec. user=mdettweiler [2016-08-09 06:43:39] 643*2^1437047-1 is not prime. Res64: 2A658338E7FB5110 Time : 0.0 sec. user=mdettweiler [2016-08-09 06:43:39] 861*2^1437047-1 is not prime. Res64: C7B67D21B31B3A46 Time : 0.0 sec. user=mdettweiler [2016-08-09 06:43:41] 991*2^1437047-1 is not prime. Res64: 3382587306B379B6 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:09:26] 657*2^1437048-1 is not prime. Res64: 60DBDBCE31F2A12A Time : 0.0 sec. user=mdettweiler [2016-08-09 07:09:28] 695*2^1437048-1 is not prime. Res64: 4D633D902D99A14F Time : 0.0 sec. user=mdettweiler [2016-08-09 07:09:29] 777*2^1437048-1 is not prime. Res64: F4B762926BA5D400 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:09:30] 789*2^1437048-1 is not prime. Res64: C34E3E5C8D4B7606 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:09:30] 819*2^1437048-1 is not prime. Res64: C4CB91AD137F5D48 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:28:17] 849*2^1437048-1 is not prime. Res64: 71FD6214AD32B775 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:28:17] 729*2^1437049-1 is not prime. Res64: 08C2AA6F93C88042 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:28:17] 817*2^1437049-1 is not prime. Res64: A7C381185EE9FEE3 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:28:17] 841*2^1437049-1 is not prime. Res64: 2F08277553FA5738 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:28:18] 885*2^1437049-1 is not prime. Res64: 02A82F056ECD2BFB Time : 0.0 sec. user=mdettweiler [2016-08-09 07:54:12] 951*2^1437049-1 is not prime. Res64: 80A6B730335A221E Time : 0.0 sec. user=mdettweiler [2016-08-09 07:54:13] 675*2^1437050-1 is not prime. Res64: D19D1FA256AD3E74 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:54:13] 713*2^1437050-1 is not prime. Res64: 9853EC343CD70325 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:54:13] 753*2^1437050-1 is not prime. Res64: 54AF8AA0CA4EF5C9 Time : 0.0 sec. user=mdettweiler [2016-08-09 07:54:13] 861*2^1437050-1 is not prime. Res64: AA5513E0A4623503 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:00:34] 777*2^1437042-1 is not prime. Res64: 40D8B4E791186021 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:00:35] 791*2^1437042-1 is not prime. Res64: CCDF84F6A0D51B01 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:00:37] 815*2^1437042-1 is not prime. Res64: C6A6A80E6279EAD0 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:00:39] 639*2^1437043-1 is not prime. Res64: 3EF8E209AAD515B6 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:00:39] 685*2^1437043-1 is not prime. Res64: 68A4EADF5624D743 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:12:48] 893*2^1437050-1 is not prime. Res64: 2998A8B7ADF59A0A Time : 0.0 sec. user=mdettweiler [2016-08-09 08:12:49] 951*2^1437050-1 is not prime. Res64: 8140214036B026E1 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:12:49] 609*2^1437051-1 is not prime. Res64: C23ADCC1BFE96D15 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:12:50] 739*2^1437051-1 is not prime. Res64: 8650AED40A0031A9 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:12:51] 741*2^1437051-1 is not prime. Res64: 69FCC1A9E0384DF0 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:38:26] 807*2^1437052-1 is not prime. Res64: 36BE583929D1D959 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:38:26] 959*2^1437052-1 is not prime. Res64: DDC1AF8D8925CB2B Time : 0.0 sec. user=mdettweiler [2016-08-09 08:38:26] 987*2^1437052-1 is not prime. Res64: 95720A8C05B05B5B Time : 0.0 sec. user=mdettweiler [2016-08-09 08:38:27] 685*2^1437053-1 is not prime. Res64: 74F4B12B8D9AFFB9 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:38:27] 691*2^1437053-1 is not prime. Res64: AC714A94E977D258 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:44:55] 697*2^1437053-1 is not prime. Res64: 4BA024A7C0375505 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:44:58] 721*2^1437053-1 is not prime. Res64: A92FE5C5ACDFB188 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:45:01] 735*2^1437053-1 is not prime. Res64: B00F3105287225A0 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:45:04] 837*2^1437053-1 is not prime. Res64: DB290C2B4AEBEEDE Time : 0.0 sec. user=mdettweiler [2016-08-09 08:45:07] 897*2^1437053-1 is not prime. Res64: 051AA45326B79A09 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:57:04] 937*2^1437053-1 is not prime. Res64: 8B9F20A426180F4B Time : 0.0 sec. user=mdettweiler [2016-08-09 08:57:04] 611*2^1437054-1 is not prime. Res64: A8C034BB3FE0B1FA Time : 0.0 sec. user=mdettweiler [2016-08-09 08:57:04] 641*2^1437054-1 is not prime. Res64: 2EEDD1280AA2A534 Time : 0.0 sec. user=mdettweiler [2016-08-09 08:57:04] 663*2^1437054-1 is not prime. Res64: 268F0B1A8F9835ED Time : 0.0 sec. user=mdettweiler [2016-08-09 08:57:05] 791*2^1437054-1 is not prime. Res64: 87A14AAF53E0CBF1 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:22:32] 873*2^1437054-1 is not prime. Res64: 2E267D91D29A9F50 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:22:34] 875*2^1437054-1 is not prime. Res64: 22F9B154D936E854 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:22:35] 759*2^1437055-1 is not prime. Res64: 6B0C38F289759C73 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:22:38] 763*2^1437055-1 is not prime. Res64: D2371620CDE39605 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:22:38] 789*2^1437055-1 is not prime. Res64: ED7D19B405F9101E Time : 0.0 sec. user=mdettweiler [2016-08-09 09:29:13] 871*2^1437055-1 is not prime. Res64: 1B84986D9F729888 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:29:13] 873*2^1437055-1 is not prime. Res64: A1485791045D87C7 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:29:13] 885*2^1437055-1 is not prime. Res64: 5AC931DAEF3AD698 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:29:13] 939*2^1437055-1 is not prime. Res64: 01E5D066A52D9E16 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:29:14] 843*2^1437056-1 is not prime. Res64: 1B77AA9F793F41EF Time : 0.0 sec. user=mdettweiler [2016-08-09 09:41:09] 903*2^1437056-1 is not prime. Res64: 04B3196D679913C9 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:41:09] 999*2^1437056-1 is not prime. Res64: B3220788FB931845 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:41:09] 667*2^1437057-1 is not prime. Res64: D844E663E043A5DF Time : 0.0 sec. user=mdettweiler [2016-08-09 09:41:09] 751*2^1437057-1 is not prime. Res64: A7A69F4EA1D82E02 Time : 0.0 sec. user=mdettweiler [2016-08-09 09:41:09] 865*2^1437057-1 is not prime. Res64: 16FE0CE9A087552F Time : 0.0 sec. user=mdettweiler [2016-08-09 10:12:43] 919*2^1437057-1 is not prime. Res64: EE725A8F4C32065F Time : 0.0 sec. user=mdettweiler [2016-08-09 10:12:46] 651*2^1437058-1 is not prime. Res64: BAACCBDE362E49D0 Time : 0.0 sec. user=mdettweiler [2016-08-09 10:12:46] 747*2^1437058-1 is not prime. Res64: DC89546D7D4BCD3D Time : 0.0 sec. user=mdettweiler [2016-08-09 10:12:46] 803*2^1437058-1 is not prime. Res64: 1D0E24C1609D3C8C Time : 0.0 sec. user=mdettweiler [2016-08-09 10:12:49] 857*2^1437058-1 is not prime. Res64: 55028A9C25F8A46B Time : 0.0 sec. user=mdettweiler [2016-08-09 10:21:37] 887*2^1437058-1 is not prime. Res64: CE6BE4207491AAD3 Time : 0.0 sec. user=mdettweiler [2016-08-09 10:21:40] 669*2^1437059-1 is not prime. Res64: 5C575212920050F8 Time : 0.0 sec. user=mdettweiler [2016-08-09 10:21:43] 741*2^1437059-1 is not prime. Res64: EBA99D89F7178D8F Time : 0.0 sec. user=mdettweiler [2016-08-09 10:21:44] 745*2^1437059-1 is not prime. Res64: 4EEE124C9BBEB2DC Time : 0.0 sec. user=mdettweiler [2016-08-09 10:21:44] 823*2^1437059-1 is not prime. Res64: 28A17CBD538490BE Time : 0.0 sec. user=mdettweiler [2016-08-09 10:34:14] 921*2^1437059-1 is not prime. Res64: 460F5F40453C518D Time : 0.0 sec. user=mdettweiler [2016-08-09 10:34:14] 633*2^1437060-1 is not prime. Res64: CEF90694CAACE1F8 Time : 0.0 sec. user=mdettweiler [2016-08-09 10:34:15] 737*2^1437060-1 is not prime. Res64: 76FC36F0B4137710 Time : 0.0 sec. user=mdettweiler [2016-08-09 10:34:15] 789*2^1437060-1 is not prime. Res64: 8AF5122A8AB58F9C Time : 0.0 sec. user=mdettweiler [2016-08-09 10:34:15] 873*2^1437060-1 is not prime. Res64: 6F44FE1BD1C28DA2 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:00:28] 675*2^1437061-1 is not prime. Res64: 9D39EC0D220797D7 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:00:28] 751*2^1437061-1 is not prime. Res64: EBB389F27F5C56FC Time : 0.0 sec. user=mdettweiler [2016-08-09 11:00:29] 895*2^1437061-1 is not prime. Res64: A93BAB6C971D8A92 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:00:29] 951*2^1437061-1 is not prime. Res64: 21C7AB3DA9D9A361 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:00:30] 987*2^1437061-1 is not prime. Res64: A4CF6383A16499A1 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:07:13] 683*2^1437062-1 is not prime. Res64: 59D2CD529F465C4F Time : 0.0 sec. user=mdettweiler [2016-08-09 11:07:15] 731*2^1437062-1 is not prime. Res64: E21AA21A83E37DE8 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:07:17] 825*2^1437062-1 is not prime. Res64: 059BF8313F65C2FD Time : 0.0 sec. user=mdettweiler [2016-08-09 11:07:18] 941*2^1437062-1 is not prime. Res64: 8F13063925D04237 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:07:20] 663*2^1437063-1 is not prime. Res64: 33A3DFDB3BBFC0DD Time : 0.0 sec. user=mdettweiler [2016-08-09 11:18:52] 691*2^1437063-1 is not prime. Res64: 5B76D9971C9CE540 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:18:54] 763*2^1437063-1 is not prime. Res64: 7A8D17EA3F59BC02 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:18:56] 873*2^1437063-1 is not prime. Res64: 8749FC013C8A7E54 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:18:57] 951*2^1437063-1 is not prime. Res64: 6D3A72D58FCF1628 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:18:59] 963*2^1437063-1 is not prime. Res64: 274359AE07A0D9C7 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:44:46] 969*2^1437063-1 is not prime. Res64: 085BD0F2D9FBEE10 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:44:49] 747*2^1437064-1 is not prime. Res64: 5F5EA5C051185883 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:44:49] 855*2^1437064-1 is not prime. Res64: EA217AB7087DE057 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:44:51] 993*2^1437064-1 is not prime. Res64: EAFE9195B02946B1 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:44:53] 691*2^1437065-1 is not prime. Res64: 3B68FFDF518F4F66 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:51:45] 841*2^1437065-1 is not prime. Res64: 22AD770F4FCDD843 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:51:45] 867*2^1437065-1 is not prime. Res64: CFF256BE97FE4457 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:51:45] 937*2^1437065-1 is not prime. Res64: C5C33FCAE704BE78 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:51:46] 633*2^1437066-1 is not prime. Res64: EA1125C9CA883867 Time : 0.0 sec. user=mdettweiler [2016-08-09 11:51:46] 635*2^1437066-1 is not prime. Res64: 7D8E599CC2E90609 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:03:08] 683*2^1437066-1 is not prime. Res64: 443294ED4C310F3E Time : 0.0 sec. user=mdettweiler [2016-08-09 12:03:10] 695*2^1437066-1 is not prime. Res64: ECA84AD81EBC9E90 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:03:11] 705*2^1437066-1 is not prime. Res64: 8482CA07F2ED56FF Time : 0.0 sec. user=mdettweiler [2016-08-09 12:03:12] 707*2^1437066-1 is not prime. Res64: 48F7C8592C175262 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:03:15] 717*2^1437066-1 is not prime. Res64: 1DC0EE63E0C000DF Time : 0.0 sec. user=mdettweiler [2016-08-09 12:28:35] 755*2^1437066-1 is not prime. Res64: B47B8F7D2BB58FB3 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:28:36] 947*2^1437066-1 is not prime. Res64: 8E15704FE873E4A8 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:28:36] 631*2^1437067-1 is not prime. Res64: 471B90902DB27023 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:28:36] 765*2^1437067-1 is not prime. Res64: 27E32AB86009E1DB Time : 0.0 sec. user=mdettweiler [2016-08-09 12:28:36] 775*2^1437067-1 is not prime. Res64: F91F49B10EFEAC9D Time : 0.0 sec. user=mdettweiler [2016-08-09 12:35:28] 793*2^1437067-1 is not prime. Res64: 4085F4A6CABC2E4D Time : 0.0 sec. user=mdettweiler [2016-08-09 12:35:28] 889*2^1437067-1 is not prime. Res64: 2C6D3077103DBD58 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:35:28] 633*2^1437068-1 is not prime. Res64: D3993937C2F662BD Time : 0.0 sec. user=mdettweiler [2016-08-09 12:35:29] 635*2^1437068-1 is not prime. Res64: 0BB0A1A101D1D743 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:35:29] 663*2^1437068-1 is not prime. Res64: 9BE97C9E8B83C071 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:47:14] 677*2^1437068-1 is not prime. Res64: E8DA832B007F03D2 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:47:16] 813*2^1437068-1 is not prime. Res64: E6A4834EA8ABE9BB Time : 0.0 sec. user=mdettweiler [2016-08-09 12:47:18] 869*2^1437068-1 is not prime. Res64: BA4DF6CF209944A2 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:47:21] 609*2^1437069-1 is not prime. Res64: AA93B9E9960C33C9 Time : 0.0 sec. user=mdettweiler [2016-08-09 12:47:23] 649*2^1437069-1 is not prime. Res64: 7B35C4903494E95A Time : 0.0 sec. user=mdettweiler [2016-08-09 13:12:43] 655*2^1437069-1 is not prime. Res64: D8F07DA0F8EFE1B7 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:12:44] 685*2^1437069-1 is not prime. Res64: 523F68E875E012BF Time : 0.0 sec. user=mdettweiler [2016-08-09 13:12:45] 709*2^1437069-1 is not prime. Res64: 2CB3AECD14D21714 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:12:46] 769*2^1437069-1 is not prime. Res64: B90A238FB897E54F Time : 0.0 sec. user=mdettweiler [2016-08-09 13:12:47] 961*2^1437069-1 is not prime. Res64: DBCCEBC6042797A0 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:19:37] 635*2^1437070-1 is not prime. Res64: 0884325DD6049A6D Time : 0.0 sec. user=mdettweiler [2016-08-09 13:19:39] 731*2^1437070-1 is not prime. Res64: B7CA13F6DC1F9E81 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:19:39] 765*2^1437070-1 is not prime. Res64: 45D51A301D1715E6 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:19:42] 783*2^1437070-1 is not prime. Res64: DFFA100518E9F95D Time : 0.0 sec. user=mdettweiler [2016-08-09 13:19:44] 833*2^1437070-1 is not prime. Res64: 82D022178075E832 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:31:33] 885*2^1437070-1 is not prime. Res64: 81D51B3981ED37A9 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:31:33] 941*2^1437070-1 is not prime. Res64: F75205E929DD835E Time : 0.0 sec. user=mdettweiler [2016-08-09 13:31:33] 995*2^1437070-1 is not prime. Res64: B756214FE72113C0 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:31:33] 603*2^1437071-1 is not prime. Res64: 3ED89380135C4130 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:31:34] 609*2^1437071-1 is not prime. Res64: FC2F9FCE54727C83 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:57:05] 619*2^1437071-1 is not prime. Res64: DA9D7E0EC1E6896A Time : 0.0 sec. user=mdettweiler [2016-08-09 13:57:06] 715*2^1437071-1 is not prime. Res64: 972FFF33CDFBD31B Time : 0.0 sec. user=mdettweiler [2016-08-09 13:57:06] 811*2^1437071-1 is not prime. Res64: D41F42CF792E9C23 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:57:06] 813*2^1437071-1 is not prime. Res64: 203A9575A0916FA2 Time : 0.0 sec. user=mdettweiler [2016-08-09 13:57:06] 615*2^1437072-1 is not prime. Res64: CC03E21D3F3BE8C4 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:03:58] 683*2^1437072-1 is not prime. Res64: 166A87660467F6AC Time : 0.0 sec. user=mdettweiler [2016-08-09 14:04:00] 863*2^1437072-1 is not prime. Res64: F82F78DEB12BFF45 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:04:01] 903*2^1437072-1 is not prime. Res64: 99378DD2B1D3DCE7 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:04:02] 909*2^1437072-1 is not prime. Res64: AD9A92AD07F2F553 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:04:03] 609*2^1437073-1 is not prime. Res64: DF2BFBEA2340E145 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:16:28] 639*2^1437073-1 is not prime. Res64: 3D7FD5AF57434FB4 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:41:30] 615*2^1437074-1 is not prime. Res64: F64B0ECD175E7801 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:41:30] 651*2^1437074-1 is not prime. Res64: E384CB510DAA25B9 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:41:31] 753*2^1437074-1 is not prime. Res64: EBFCF756D49884A9 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:41:31] 885*2^1437074-1 is not prime. Res64: 8068A5594414925F Time : 0.0 sec. user=mdettweiler [2016-08-09 14:41:32] 983*2^1437074-1 is not prime. Res64: 2FD9160BA8A6BD7B Time : 0.0 sec. user=mdettweiler [2016-08-09 14:48:31] 619*2^1437075-1 is not prime. Res64: 2532B8BFDE53525C Time : 0.0 sec. user=mdettweiler [2016-08-09 14:48:34] 699*2^1437075-1 is not prime. Res64: 5EBAA32AAA57C141 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:48:37] 793*2^1437075-1 is not prime. Res64: 17EB776021806CA5 Time : 0.0 sec. user=mdettweiler [2016-08-09 14:48:37] 891*2^1437075-1 is not prime. Res64: 5FE0792173363C5C Time : 0.0 sec. user=mdettweiler [2016-08-09 14:48:41] 603*2^1437076-1 is not prime. Res64: 73D21AEFE7B3B0FD Time : 0.0 sec. user=mdettweiler [2016-08-09 15:26:15] 765*2^1437076-1 is not prime. Res64: 95A996297E4EE315 Time : 0.0 sec. user=mdettweiler [2016-08-09 15:26:18] 987*2^1437076-1 is not prime. Res64: 2D8D394DEDEA65F3 Time : 0.0 sec. user=mdettweiler [2016-08-09 15:26:21] 741*2^1437077-1 is not prime. Res64: B941F35513D0D3A5 Time : 0.0 sec. user=mdettweiler [2016-08-09 15:26:21] 781*2^1437077-1 is not prime. Res64: DB1ECB59F2D75ACE Time : 0.0 sec. user=mdettweiler [2016-08-09 15:26:24] 799*2^1437077-1 is not prime. Res64: FF0C0E92CAE1E737 Time : 0.0 sec. user=mdettweiler [2016-08-09 15:33:15] 801*2^1437077-1 is not prime. Res64: D515F35F4A353DDC Time : 0.0 sec. user=mdettweiler [2016-08-09 15:33:15] 847*2^1437077-1 is not prime. Res64: BA199E3227DD3A58 Time : 0.0 sec. user=mdettweiler [2016-08-09 15:33:15] 859*2^1437077-1 is not prime. Res64: 6C4D26AA558D1C59 Time : 0.0 sec. user=mdettweiler [2016-08-09 15:33:16] 915*2^1437077-1 is not prime. Res64: 56BA5AE41FCA2E3C Time : 0.0 sec. user=mdettweiler [2016-08-09 15:33:16] 927*2^1437077-1 is not prime. Res64: 0D5C0648FAF4C1D0 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:10:56] 627*2^1437078-1 is not prime. Res64: 9336FD151FC09CAB Time : 0.0 sec. user=mdettweiler [2016-08-09 16:10:56] 647*2^1437078-1 is not prime. Res64: EB5B026C93B238C1 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:10:57] 657*2^1437078-1 is not prime. Res64: 4CBEE64DC9AA2E65 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:10:57] 713*2^1437078-1 is not prime. Res64: 56D44A218EF43C8B Time : 0.0 sec. user=mdettweiler [2016-08-09 16:10:58] 797*2^1437078-1 is not prime. Res64: F20E0BCF59A5DF88 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:17:45] 963*2^1437078-1 is not prime. Res64: BF3B7BBDA0F12BAF Time : 0.0 sec. user=mdettweiler [2016-08-09 16:17:46] 975*2^1437078-1 is not prime. Res64: D2B7FD3B7673EC7A Time : 0.0 sec. user=mdettweiler [2016-08-09 16:17:46] 615*2^1437079-1 is not prime. Res64: D215B031A602E5A9 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:17:47] 741*2^1437079-1 is not prime. Res64: 4A0811D973FDEBED Time : 0.0 sec. user=mdettweiler [2016-08-09 16:17:48] 913*2^1437079-1 is not prime. Res64: 03EB71069CFF696E Time : 0.0 sec. user=juhehe [2016-08-09 16:18:04] 961*2^1437079-1 is not prime. Res64: 13EB1C892443D08D Time : 0.0 sec. user=mdettweiler [2016-08-09 16:49:41] 685*2^1437073-1 is not prime. Res64: 65108C4ACABC2367 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:49:41] 765*2^1437073-1 is not prime. Res64: 5D5FBA387F538468 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:49:44] 955*2^1437073-1 is not prime. Res64: 72920580F26A240D Time : 0.0 sec. user=mdettweiler [2016-08-09 16:49:44] 979*2^1437073-1 is not prime. Res64: B1149160FF7B0496 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:56:32] 969*2^1437079-1 is not prime. Res64: 74FF1399C7B1D9A5 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:56:34] 633*2^1437080-1 is not prime. Res64: 7DAFC5755B4B25FE Time : 0.0 sec. user=mdettweiler [2016-08-09 16:56:37] 665*2^1437080-1 is not prime. Res64: 98C5BBEAA5E4D3E6 Time : 0.0 sec. user=mdettweiler [2016-08-09 16:56:37] 725*2^1437080-1 is not prime. Res64: E8124DF498119D5D Time : 0.0 sec. user=mdettweiler [2016-08-09 16:56:39] 773*2^1437080-1 is not prime. Res64: 025FE4D6F067DCE3 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:03:43] 843*2^1437080-1 is not prime. Res64: B405FEFC9BF115EC Time : 0.0 sec. user=mdettweiler [2016-08-09 17:03:43] 875*2^1437080-1 is not prime. Res64: 56D46B15D330CD9E Time : 0.0 sec. user=mdettweiler [2016-08-09 17:03:44] 897*2^1437080-1 is not prime. Res64: 2EF21C6F9DBA0F65 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:03:45] 899*2^1437080-1 is not prime. Res64: 3095726F936B2451 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:03:46] 915*2^1437080-1 is not prime. Res64: F481E7AAF5AEE6C2 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:35:53] 999*2^1437080-1 is not prime. Res64: 158DF06F49929F15 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:35:53] 627*2^1437081-1 is not prime. Res64: 665E58E44B62D85A Time : 0.0 sec. user=mdettweiler [2016-08-09 17:35:53] 649*2^1437081-1 is not prime. Res64: 126CBBA1F5C873BA Time : 0.0 sec. user=mdettweiler [2016-08-09 17:35:54] 661*2^1437081-1 is not prime. Res64: 950A8E6B372BB798 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:35:54] 735*2^1437081-1 is not prime. Res64: CCD351484CFE01C8 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:42:32] 877*2^1437081-1 is not prime. Res64: CD01D81FA1DE2C17 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:42:32] 907*2^1437081-1 is not prime. Res64: D479FC14A4B35630 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:42:32] 975*2^1437081-1 is not prime. Res64: 8A458F39B9AFEF46 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:42:32] 991*2^1437081-1 is not prime. Res64: 27FBA885F83EDC01 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:42:32] 603*2^1437082-1 is not prime. Res64: 130BD063E49571C8 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:49:40] 675*2^1437082-1 is not prime. Res64: 8FF10DF44119614A Time : 0.0 sec. user=mdettweiler [2016-08-09 17:49:42] 713*2^1437082-1 is not prime. Res64: 1DAAA839F9AD7EFB Time : 0.0 sec. user=mdettweiler [2016-08-09 17:49:45] 777*2^1437082-1 is not prime. Res64: 56E61C3F220643D7 Time : 0.0 sec. user=mdettweiler [2016-08-09 17:49:45] 827*2^1437082-1 is not prime. Res64: C1B206FE7B6CF46F Time : 0.0 sec. user=mdettweiler [2016-08-09 17:49:47] 945*2^1437082-1 is not prime. Res64: 5D943CCADF5960BA Time : 0.0 sec. user=mdettweiler [2016-08-09 18:22:22] 679*2^1437083-1 is not prime. Res64: 54567443CCEC184F Time : 0.0 sec. user=mdettweiler [2016-08-09 18:22:24] 789*2^1437083-1 is not prime. Res64: D4CA96E05CA516FB Time : 0.0 sec. user=mdettweiler [2016-08-09 18:22:25] 921*2^1437083-1 is not prime. Res64: 778D168D019C33C4 Time : 0.0 sec. user=mdettweiler [2016-08-09 18:22:27] 973*2^1437083-1 is not prime. Res64: 5E5282EB2CBA7E91 Time : 0.0 sec. user=mdettweiler [2016-08-09 18:22:29] 665*2^1437084-1 is not prime. Res64: BC0F66384F7F38ED Time : 0.0 sec. user=mdettweiler [2016-08-09 18:28:50] 765*2^1437084-1 is not prime. Res64: FB2BB8F3D92AE58D Time : 0.0 sec. user=mdettweiler [2016-08-09 18:28:50] 789*2^1437084-1 is not prime. Res64: 315258236140670B Time : 0.0 sec. user=mdettweiler [2016-08-09 18:28:50] 809*2^1437084-1 is not prime. Res64: A43A59399A1F6A13 Time : 0.0 sec. user=mdettweiler [2016-08-09 18:28:50] 863*2^1437084-1 is not prime. Res64: 6B0E38EB6423A02E Time : 0.0 sec. user=mdettweiler [2016-08-09 18:28:51] 905*2^1437084-1 is not prime. Res64: 26FE90AD85D3FDE7 Time : 0.0 sec. user=mdettweiler [2016-08-09 18:35:52] 959*2^1437084-1 is not prime. Res64: A37CC60A0E870A07 Time : 0.0 sec. user=mdettweiler [2016-08-09 18:35:53] 625*2^1437085-1 is not prime. Res64: D38540C44D3A50FB Time : 0.0 sec. user=mdettweiler [2016-08-09 18:35:53] 721*2^1437085-1 is not prime. Res64: 6E3804A5F36F6680 Time : 0.0 sec. user=mdettweiler [2016-08-09 18:35:53] 859*2^1437085-1 is not prime. Res64: 0567CD3F1994FF0D Time : 0.0 sec. user=mdettweiler [2016-08-09 18:35:53] 861*2^1437085-1 is not prime. Res64: B703FB7A406B0D00 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:07:53] 939*2^1437085-1 is not prime. Res64: 9659F5310D433869 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:07:54] 617*2^1437086-1 is not prime. Res64: B60CA6101A093113 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:07:54] 671*2^1437086-1 is not prime. Res64: A75EA3E88D19B3DC Time : 0.0 sec. user=mdettweiler [2016-08-09 19:07:55] 761*2^1437086-1 is not prime. Res64: EC823452CB3C3A48 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:07:55] 795*2^1437086-1 is not prime. Res64: 3238B2B693400077 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:14:12] 801*2^1437086-1 is not prime. Res64: 6EB943F0C2D08DC5 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:14:13] 867*2^1437086-1 is not prime. Res64: 8DC61C837FD9E152 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:14:14] 935*2^1437086-1 is not prime. Res64: 1BA4CA115BD9BA4B Time : 0.0 sec. user=mdettweiler [2016-08-09 19:14:14] 945*2^1437086-1 is not prime. Res64: 6BFABA8104913A2F Time : 0.0 sec. user=mdettweiler [2016-08-09 19:14:15] 987*2^1437086-1 is not prime. Res64: 7033D4D7C2D7DD50 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:21:16] 711*2^1437087-1 is not prime. Res64: B22D73ED4AC419AD Time : 0.0 sec. user=mdettweiler [2016-08-09 19:21:20] 735*2^1437087-1 is not prime. Res64: 57BD3F03845FBD5F Time : 0.0 sec. user=mdettweiler [2016-08-09 19:21:23] 765*2^1437087-1 is not prime. Res64: BAC0DEC06A0105BC Time : 0.0 sec. user=mdettweiler [2016-08-09 19:21:26] 775*2^1437087-1 is not prime. Res64: F326F991C0E8B851 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:21:26] 781*2^1437087-1 is not prime. Res64: 0E54B5553F99B7E2 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:52:18] 871*2^1437087-1 is not prime. Res64: D3AABE080FC5640F Time : 0.0 sec. user=mdettweiler [2016-08-09 19:52:18] 895*2^1437087-1 is not prime. Res64: ED000DA4DCA691AE Time : 0.0 sec. user=mdettweiler [2016-08-09 19:52:22] 909*2^1437087-1 is not prime. Res64: 9E1BF8EA39ABA5C1 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:52:22] 951*2^1437087-1 is not prime. Res64: DB600EB399BBC13D Time : 0.0 sec. user=mdettweiler [2016-08-09 19:52:25] 991*2^1437087-1 is not prime. Res64: 878E6C7382C3B4A8 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:58:36] 605*2^1437088-1 is not prime. Res64: CCC46E179E31BA56 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:58:37] 665*2^1437088-1 is not prime. Res64: 0EF9C27A2E0C2261 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:58:37] 705*2^1437088-1 is not prime. Res64: 7D70319280D31C00 Time : 0.0 sec. user=mdettweiler [2016-08-09 19:58:37] 707*2^1437088-1 is not prime. Res64: 0E23D618B9B6067B Time : 0.0 sec. user=mdettweiler [2016-08-09 19:58:37] 849*2^1437088-1 is not prime. Res64: 61F10240DA135D7D Time : 0.0 sec. user=mdettweiler [2016-08-09 20:05:48] 855*2^1437088-1 is not prime. Res64: 761B42F1AC773E78 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:05:50] 631*2^1437089-1 is not prime. Res64: 9E0B92BCFFA1BF81 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:05:51] 721*2^1437089-1 is not prime. Res64: 861EB3AF1D1F2A98 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:05:52] 729*2^1437089-1 is not prime. Res64: 03440F2620297C32 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:05:52] 861*2^1437089-1 is not prime. Res64: B7A2E8F069CDE444 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:36:45] 889*2^1437089-1 is not prime. Res64: 267B158514F58316 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:36:45] 931*2^1437089-1 is not prime. Res64: 3CF6EC6CFC3F608E Time : 0.0 sec. user=mdettweiler [2016-08-09 20:36:45] 611*2^1437090-1 is not prime. Res64: 7CCCC159B1816877 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:36:45] 713*2^1437090-1 is not prime. Res64: 63F68BCEFC68E193 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:36:46] 725*2^1437090-1 is not prime. Res64: 40D81418281BDB64 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:43:00] 803*2^1437090-1 is not prime. Res64: A796348268461A6E Time : 0.0 sec. user=mdettweiler [2016-08-09 20:43:00] 873*2^1437090-1 is not prime. Res64: 219312FD10771333 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:43:00] 905*2^1437090-1 is not prime. Res64: 61D81AA8F2E8D6BC Time : 0.0 sec. user=mdettweiler [2016-08-09 20:43:00] 915*2^1437090-1 is not prime. Res64: F51DE69C4BD661A4 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:43:00] 927*2^1437090-1 is not prime. Res64: 95C3A3DB4ADD445C Time : 0.0 sec. user=mdettweiler [2016-08-09 20:50:26] 933*2^1437090-1 is not prime. Res64: E5287B2E36B22AFA Time : 0.0 sec. user=mdettweiler [2016-08-09 20:50:26] 649*2^1437091-1 is not prime. Res64: 1FE83CF05DD23C05 Time : 0.0 sec. user=mdettweiler [2016-08-09 20:50:26] 679*2^1437091-1 is not prime. Res64: 3BF08934BFB0445B Time : 0.0 sec. user=mdettweiler [2016-08-09 20:50:27] 709*2^1437091-1 is not prime. Res64: C7AF6E1FC9C3CBAC Time : 0.0 sec. user=mdettweiler [2016-08-09 20:50:27] 741*2^1437091-1 is not prime. Res64: 20D44347BFC31739 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:21:24] 849*2^1437091-1 is not prime. Res64: 2B6E07DF2A688B9E Time : 0.0 sec. user=mdettweiler [2016-08-09 21:21:26] 901*2^1437091-1 is not prime. Res64: 8B7BC34AB01137A3 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:21:27] 925*2^1437091-1 is not prime. Res64: FCF22CEC5B68D22D Time : 0.0 sec. user=mdettweiler [2016-08-09 21:21:28] 943*2^1437091-1 is not prime. Res64: C3FE291735E285BD Time : 0.0 sec. user=mdettweiler [2016-08-09 21:21:29] 961*2^1437091-1 is not prime. Res64: 3B26406F41081BEB Time : 0.0 sec. user=mdettweiler [2016-08-09 21:27:49] 969*2^1437091-1 is not prime. Res64: C855A23735FBCC22 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:27:51] 605*2^1437092-1 is not prime. Res64: D3443897D4FEB865 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:27:51] 693*2^1437092-1 is not prime. Res64: 05F10B3B6B834865 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:27:54] 825*2^1437092-1 is not prime. Res64: CF97404EC0B90A83 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:27:56] 893*2^1437092-1 is not prime. Res64: B6DDC4F9CAD4C2A1 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:35:24] 899*2^1437092-1 is not prime. Res64: 28BC7D9BA13BAAD4 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:35:24] 915*2^1437092-1 is not prime. Res64: 63F66FAB6B47C56C Time : 0.0 sec. user=mdettweiler [2016-08-09 21:35:24] 983*2^1437092-1 is not prime. Res64: 407C5797FB4C7EB0 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:35:24] 847*2^1437093-1 is not prime. Res64: 355D768CAC436E30 Time : 0.0 sec. user=mdettweiler [2016-08-09 21:35:25] 849*2^1437093-1 is not prime. Res64: B9022774023949BA Time : 0.0 sec. user=mdettweiler [2016-08-09 22:06:38] 915*2^1437093-1 is not prime. Res64: 8AC029E83E60FFB2 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:06:40] 951*2^1437093-1 is not prime. Res64: 4F3A163DC86D7273 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:06:41] 635*2^1437094-1 is not prime. Res64: C28E69728466D51D Time : 0.0 sec. user=mdettweiler [2016-08-09 22:06:42] 645*2^1437094-1 is not prime. Res64: 5B1997047469213C Time : 0.0 sec. user=mdettweiler [2016-08-09 22:06:42] 657*2^1437094-1 is not prime. Res64: A3530A209EC0CDA0 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:13:02] 825*2^1437094-1 is not prime. Res64: EF3B61F1F342058C Time : 0.0 sec. user=mdettweiler [2016-08-09 22:13:02] 857*2^1437094-1 is not prime. Res64: B213C7049E1E8A46 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:13:02] 993*2^1437094-1 is not prime. Res64: 08839F97793C2ECD Time : 0.0 sec. user=mdettweiler [2016-08-09 22:13:03] 685*2^1437095-1 is not prime. Res64: A69975992CF7F760 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:13:03] 693*2^1437095-1 is not prime. Res64: 115D312F85A5937F Time : 0.0 sec. user=mdettweiler [2016-08-09 22:20:35] 861*2^1437095-1 is not prime. Res64: CE0F31661DDA754E Time : 0.0 sec. user=mdettweiler [2016-08-09 22:20:38] 885*2^1437095-1 is not prime. Res64: 28DBD2369907DCB8 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:20:40] 915*2^1437095-1 is not prime. Res64: 52F4FEB3DDFA6469 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:20:41] 635*2^1437096-1 is not prime. Res64: 06EF26BDE8D1C21B Time : 0.0 sec. user=mdettweiler [2016-08-09 22:20:43] 669*2^1437096-1 is not prime. Res64: 18E7C8C3EE0EEB41 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:51:51] 689*2^1437096-1 is not prime. Res64: 8740095E9DC1E72D Time : 0.0 sec. user=mdettweiler [2016-08-09 22:51:53] 825*2^1437096-1 is not prime. Res64: 5D9D2C115003E089 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:51:55] 845*2^1437096-1 is not prime. Res64: 879959C45EC88216 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:51:57] 899*2^1437096-1 is not prime. Res64: BD614A1E63A3EB0B Time : 0.0 sec. user=mdettweiler [2016-08-09 22:52:00] 903*2^1437096-1 is not prime. Res64: 71E3113C0F8ACD94 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:57:52] 945*2^1437096-1 is not prime. Res64: A622CB611246F81F Time : 0.0 sec. user=mdettweiler [2016-08-09 22:57:53] 993*2^1437096-1 is not prime. Res64: 2DD5CE40C91B6767 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:57:53] 999*2^1437096-1 is not prime. Res64: D5F37542CFE7628A Time : 0.0 sec. user=mdettweiler [2016-08-09 22:57:53] 607*2^1437097-1 is not prime. Res64: 981A9F6C0D5D09E6 Time : 0.0 sec. user=mdettweiler [2016-08-09 22:57:53] 645*2^1437097-1 is not prime. Res64: 0EEFA21731CC7730 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:05:37] 807*2^1437097-1 is not prime. Res64: 84A5C2D4ABF53513 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:05:39] 831*2^1437097-1 is not prime. Res64: 5DC78FEFA4157D43 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:05:40] 841*2^1437097-1 is not prime. Res64: 043BCCAD6CDAE506 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:05:41] 871*2^1437097-1 is not prime. Res64: 192A012247632FB1 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:05:42] 939*2^1437097-1 is not prime. Res64: F5015B61962B23AD Time : 0.0 sec. user=mdettweiler [2016-08-09 23:36:21] 683*2^1437098-1 is not prime. Res64: 3E50B585B69D1A76 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:36:21] 857*2^1437098-1 is not prime. Res64: 624834333D22896E Time : 0.0 sec. user=mdettweiler [2016-08-09 23:36:22] 875*2^1437098-1 is not prime. Res64: 40EF8144D20D014E Time : 0.0 sec. user=mdettweiler [2016-08-09 23:36:22] 915*2^1437098-1 is not prime. Res64: DA2B3C3DAEE30A50 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:36:23] 977*2^1437098-1 is not prime. Res64: 4189266BE5EFE6D2 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:42:12] 1001*2^1437098-1 is not prime. Res64: 62B43B06B17BA81B Time : 0.0 sec. user=mdettweiler [2016-08-09 23:42:12] 745*2^1437099-1 is not prime. Res64: 42748F2B54AC2801 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:42:13] 921*2^1437099-1 is not prime. Res64: 97C06B5F4D85CBC8 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:42:13] 951*2^1437099-1 is not prime. Res64: 5E8961C1730FD3E2 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:42:13] 785*2^1437100-1 is not prime. Res64: 6917850A686352E6 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:50:22] 833*2^1437100-1 is not prime. Res64: FD0CAB14D44C8340 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:50:22] 873*2^1437100-1 is not prime. Res64: C04061A30FDE71A6 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:50:26] 887*2^1437100-1 is not prime. Res64: 1950E58C992AF3B6 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:50:26] 923*2^1437100-1 is not prime. Res64: DB58FE1EBDCC7DF6 Time : 0.0 sec. user=mdettweiler [2016-08-09 23:50:30] 957*2^1437100-1 is not prime. Res64: 2CC2A8369BD8CBD0 Time : 0.0 sec.