user=mdettweiler [2015-07-22 00:11:57] 807*2^1403824-1 is not prime. Res64: 68010293C52FFCBC Time : 0.0 sec. user=mdettweiler [2015-07-22 00:11:57] 855*2^1403824-1 is not prime. Res64: 78C50550205591FE Time : 0.0 sec. user=mdettweiler [2015-07-22 00:12:28] 927*2^1403824-1 is not prime. Res64: 25A057329A3BE45E Time : 0.0 sec. user=mdettweiler [2015-07-22 00:12:28] 995*2^1403824-1 is not prime. Res64: 61A022AEECC99847 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:13:31] 601*2^1403825-1 is not prime. Res64: 538A28E0433C5C50 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:13:32] 729*2^1403825-1 is not prime. Res64: 5F3D626C16C2918A Time : 0.0 sec. user=mdettweiler [2015-07-22 00:14:24] 811*2^1403825-1 is not prime. Res64: D783D2D5C58B64C2 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:14:24] 641*2^1403826-1 is not prime. Res64: 2D1731F66EDB4FF4 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:30:26] 747*2^1403826-1 is not prime. Res64: D8EF024469C9A5C6 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:30:26] 843*2^1403826-1 is not prime. Res64: EEFCD0393A61616E Time : 0.0 sec. user=mdettweiler [2015-07-22 00:30:46] 887*2^1403826-1 is not prime. Res64: 5E8577302D16AFC0 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:30:47] 941*2^1403826-1 is not prime. Res64: 63BC4B98CE396520 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:32:03] 963*2^1403826-1 is not prime. Res64: EE328C2FF590B244 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:32:03] 971*2^1403826-1 is not prime. Res64: BDD941A52A8110CF Time : 0.0 sec. user=mdettweiler [2015-07-22 00:32:45] 601*2^1403827-1 is not prime. Res64: 2376B097EB3759CF Time : 0.0 sec. user=mdettweiler [2015-07-22 00:32:45] 703*2^1403827-1 is not prime. Res64: C3A70064C11B85D0 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:49:03] 733*2^1403827-1 is not prime. Res64: 6797578023E189BD Time : 0.0 sec. user=mdettweiler [2015-07-22 00:49:03] 759*2^1403827-1 is not prime. Res64: 454A71AA62E71BAA Time : 0.0 sec. user=mdettweiler [2015-07-22 00:49:24] 835*2^1403827-1 is not prime. Res64: F3360211FA5334AE Time : 0.0 sec. user=mdettweiler [2015-07-22 00:49:25] 683*2^1403828-1 is not prime. Res64: A77BEE24F11A7EED Time : 0.0 sec. user=mdettweiler [2015-07-22 00:50:26] 759*2^1403828-1 is not prime. Res64: 8D0D77CDC9291308 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:50:26] 869*2^1403828-1 is not prime. Res64: 8153BE5EC6FC6FDF Time : 0.0 sec. user=mdettweiler [2015-07-22 00:51:18] 995*2^1403828-1 is not prime. Res64: F7D196C0F39BC8E7 Time : 0.0 sec. user=mdettweiler [2015-07-22 00:51:18] 661*2^1403829-1 is not prime. Res64: BB895C003C99F96E Time : 0.0 sec. user=mdettweiler [2015-07-22 01:09:09] 667*2^1403829-1 is not prime. Res64: A777217728566D53 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:09:09] 669*2^1403829-1 is not prime. Res64: D611010BAA9FCE2F Time : 0.0 sec. user=mdettweiler [2015-07-22 01:09:19] 741*2^1403829-1 is not prime. Res64: 334702B793DFB79E Time : 0.0 sec. user=mdettweiler [2015-07-22 01:09:19] 747*2^1403829-1 is not prime. Res64: 3597B290103F8806 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:10:22] 789*2^1403829-1 is not prime. Res64: DC0CF9CF93918165 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:10:22] 889*2^1403829-1 is not prime. Res64: 6179EBBEEFC4E4B1 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:10:52] 605*2^1403830-1 is not prime. Res64: A2AAD2111B51627F Time : 0.0 sec. user=mdettweiler [2015-07-22 01:10:52] 645*2^1403830-1 is not prime. Res64: 1545A3A10B0A36BC Time : 0.0 sec. user=mdettweiler [2015-07-22 01:28:07] 777*2^1403830-1 is not prime. Res64: 118EA241CA3A0B23 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:28:09] 801*2^1403830-1 is not prime. Res64: 1BB57ACDB51AC50C Time : 0.0 sec. user=mdettweiler [2015-07-22 01:28:09] 791*2^1403830-1 is not prime. Res64: D2F00083F5BC3A58 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:28:09] 813*2^1403830-1 is not prime. Res64: 823ACFDF52246F0B Time : 0.0 sec. user=mdettweiler [2015-07-22 01:29:02] 825*2^1403830-1 is not prime. Res64: EE36564607239330 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:29:03] 857*2^1403830-1 is not prime. Res64: B21FD1762B14E366 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:29:25] 923*2^1403830-1 is not prime. Res64: 3366240E432999BD Time : 0.0 sec. user=mdettweiler [2015-07-22 01:29:26] 601*2^1403831-1 is not prime. Res64: B4636CB698300A20 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:46:39] 913*2^1403831-1 is not prime. Res64: 108F69C028ABD12A Time : 0.0 sec. user=mdettweiler [2015-07-22 01:46:40] 955*2^1403831-1 is not prime. Res64: 6AA3773BCB14E66B Time : 0.0 sec. user=mdettweiler [2015-07-22 01:46:44] 621*2^1403831-1 is not prime. Res64: 8648CC51EA0DB3FD Time : 0.0 sec. user=mdettweiler [2015-07-22 01:46:44] 781*2^1403831-1 is not prime. Res64: 0082A9481B41C522 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:47:16] 609*2^1403832-1 is not prime. Res64: 5134E7E2456E91CB Time : 0.0 sec. user=mdettweiler [2015-07-22 01:47:16] 629*2^1403832-1 is not prime. Res64: AF7F9F2733902986 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:47:43] 695*2^1403832-1 is not prime. Res64: 31A06F099E65E299 Time : 0.0 sec. user=mdettweiler [2015-07-22 01:47:43] 779*2^1403832-1 is not prime. Res64: 583EC61367CD7893 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:05:53] 825*2^1403832-1 is not prime. Res64: 2B0B1D0E8BDA9447 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:05:53] 639*2^1403833-1 is not prime. Res64: 5FA822D3044379E1 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:06:08] 681*2^1403833-1 is not prime. Res64: 18D6DD1E711AD7C7 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:06:08] 775*2^1403833-1 is not prime. Res64: 8EDAB86EA76F5618 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:06:31] 801*2^1403833-1 is not prime. Res64: F1299FC8439E51A3 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:06:31] 861*2^1403833-1 is not prime. Res64: 7D529EB301F99311 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:07:02] 919*2^1403833-1 is not prime. Res64: 83105F2B61B870E1 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:07:02] 939*2^1403833-1 is not prime. Res64: 256CDBAD94A0EC8A Time : 0.0 sec. user=mdettweiler [2015-07-22 02:25:07] 951*2^1403833-1 is not prime. Res64: 4B7FBFDA1624DD5A Time : 0.0 sec. user=mdettweiler [2015-07-22 02:25:07] 617*2^1403834-1 is not prime. Res64: 6F055E3D05086F1A Time : 0.0 sec. user=mdettweiler [2015-07-22 02:25:18] 731*2^1403834-1 is not prime. Res64: 5E4CC34A07E1EF64 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:25:18] 875*2^1403834-1 is not prime. Res64: EE3F8FC293DC4DA7 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:25:49] 609*2^1403835-1 is not prime. Res64: 312CF4C5F51C435B Time : 0.0 sec. user=mdettweiler [2015-07-22 02:25:49] 619*2^1403835-1 is not prime. Res64: CA1ACF1AF031DF4A Time : 0.0 sec. user=mdettweiler [2015-07-22 02:26:03] 709*2^1403835-1 is not prime. Res64: 6F6C91B3E778A892 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:26:04] 789*2^1403835-1 is not prime. Res64: FBFAEC8642CA8EC8 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:44:11] 895*2^1403835-1 is not prime. Res64: AB423BE969B1A11B Time : 0.0 sec. user=mdettweiler [2015-07-22 02:44:12] 663*2^1403836-1 is not prime. Res64: 5A5D6EF9CCC5C005 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:44:35] 909*2^1403836-1 is not prime. Res64: D5904A8DD5FAF2EC Time : 0.0 sec. user=mdettweiler [2015-07-22 02:44:35] 685*2^1403837-1 is not prime. Res64: A69BCA958844050C Time : 0.0 sec. user=mdettweiler [2015-07-22 02:44:57] 717*2^1403837-1 is not prime. Res64: 1AC5799202ED8BC3 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:44:57] 795*2^1403837-1 is not prime. Res64: EDEC3AA03FCB891B Time : 0.0 sec. user=mdettweiler [2015-07-22 02:45:18] 801*2^1403837-1 is not prime. Res64: 1E6B2DABA0EF88F2 Time : 0.0 sec. user=mdettweiler [2015-07-22 02:45:19] 831*2^1403837-1 is not prime. Res64: 21768CDE8290E2AD Time : 0.0 sec. user=mdettweiler [2015-07-22 03:02:58] 705*2^1403838-1 is not prime. Res64: B262E687CA174D94 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:02:59] 765*2^1403838-1 is not prime. Res64: 2DC7370FCEC49609 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:02:59] 955*2^1403837-1 is not prime. Res64: 72ADDF1E5053FCC6 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:03:00] 657*2^1403838-1 is not prime. Res64: 16FE547675332689 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:03:39] 767*2^1403838-1 is not prime. Res64: 4EB68F7136CC5F75 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:03:40] 777*2^1403838-1 is not prime. Res64: 33F8521B49B70536 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:03:54] 797*2^1403838-1 is not prime. Res64: 3DD625FB087D4DE7 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:03:56] 815*2^1403838-1 is not prime. Res64: EAA5A883D23DC38F Time : 0.0 sec. user=mdettweiler [2015-07-22 03:22:52] 661*2^1403839-1 is not prime. Res64: 5DAC294F726B412A Time : 0.0 sec. user=mdettweiler [2015-07-22 03:22:52] 729*2^1403839-1 is not prime. Res64: 6942BC80965824AC Time : 0.0 sec. user=mdettweiler [2015-07-22 03:23:00] 771*2^1403839-1 is not prime. Res64: 207C85C91BDAE7F1 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:23:00] 883*2^1403839-1 is not prime. Res64: 9F7CE2D6B96BD1D9 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:23:02] 971*2^1403838-1 is not prime. Res64: 7827CC8C5B1649E7 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:23:02] 639*2^1403839-1 is not prime. Res64: 2393115E88452552 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:23:12] 747*2^1403840-1 is not prime. Res64: C648BDC5B7915723 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:23:12] 759*2^1403840-1 is not prime. Res64: 3BB5D628ED74173D Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:37] 789*2^1403840-1 is not prime. Res64: 95F5D30093579916 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:39] 825*2^1403840-1 is not prime. Res64: 34EA62ADA96BB187 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:39] 797*2^1403840-1 is not prime. Res64: 4C092D89ECA74B12 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:39] 857*2^1403840-1 is not prime. Res64: 83526DA7AF9DE9E6 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:47] 995*2^1403840-1 is not prime. Res64: 7C8F64157D40D27F Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:49] 875*2^1403840-1 is not prime. Res64: 9F3A54152AE4DD9C Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:51] 999*2^1403840-1 is not prime. Res64: 99796D63C2C94419 Time : 0.0 sec. user=mdettweiler [2015-07-22 03:40:52] 915*2^1403840-1 is not prime. Res64: 3485C3BB7A159D46 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:07] 937*2^1403841-1 is not prime. Res64: 77ADC11279443098 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:08] 735*2^1403842-1 is not prime. Res64: 44894F783AED20B2 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:11] 681*2^1403841-1 is not prime. Res64: BD2B6F6332A657C7 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:12] 921*2^1403841-1 is not prime. Res64: C13A9534AAB06A76 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:15] 885*2^1403841-1 is not prime. Res64: F421C68F8E625383 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:16] 907*2^1403841-1 is not prime. Res64: F0B765A3255A445F Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:19] 861*2^1403841-1 is not prime. Res64: 7C407E67E3E2D259 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:00:20] 865*2^1403841-1 is not prime. Res64: 07AEACD0CB7832CD Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:38] 913*2^1403843-1 is not prime. Res64: AFE8EB19E849230E Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:39] 949*2^1403843-1 is not prime. Res64: 5939F011248E8C97 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:44] 983*2^1403842-1 is not prime. Res64: 0612AEF04D4FA281 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:44] 703*2^1403843-1 is not prime. Res64: 188A91BBCADB24BE Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:48] 741*2^1403843-1 is not prime. Res64: 470C06E131BDD8CA Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:48] 753*2^1403843-1 is not prime. Res64: E092FA17C143E494 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:49] 803*2^1403842-1 is not prime. Res64: 852B94F19936FC75 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:18:49] 923*2^1403842-1 is not prime. Res64: 28A4BEB6811BA3FC Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:28] 887*2^1403844-1 is not prime. Res64: 9DC7CA2501229BCD Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:29] 649*2^1403845-1 is not prime. Res64: EF346E514E791DB3 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:29] 863*2^1403844-1 is not prime. Res64: E4C6520510494D46 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:29] 875*2^1403844-1 is not prime. Res64: 37FAADDEA8B1A607 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:34] 609*2^1403844-1 is not prime. Res64: 6E59BF3A84B61204 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:34] 685*2^1403845-1 is not prime. Res64: 01414959FAD1CAFA Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:34] 639*2^1403844-1 is not prime. Res64: 5086F569E6AFF0BE Time : 0.0 sec. user=mdettweiler [2015-07-22 04:36:34] 687*2^1403845-1 is not prime. Res64: 257DDE019BF26851 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:04] 715*2^1403845-1 is not prime. Res64: 9914E9FD27DA3A14 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:04] 729*2^1403845-1 is not prime. Res64: A7AF7EB3C979BBDE Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:08] 801*2^1403845-1 is not prime. Res64: CECEE995EF9FA8B9 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:09] 859*2^1403845-1 is not prime. Res64: A9E34263E7C06418 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:12] 895*2^1403845-1 is not prime. Res64: 2A56CD18ADC10639 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:13] 915*2^1403845-1 is not prime. Res64: AA10F264EFBBCF62 Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:13] 937*2^1403845-1 is not prime. Res64: ADEAB252182EBFDB Time : 0.0 sec. user=mdettweiler [2015-07-22 04:54:14] 987*2^1403845-1 is not prime. Res64: 13DFA6CC7E2BB53F Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:43] 705*2^1403846-1 is not prime. Res64: 45B6149972061AAE Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:43] 717*2^1403846-1 is not prime. Res64: C24D51A2B73E84F7 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:53] 843*2^1403846-1 is not prime. Res64: 57F613C0546BA559 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:53] 867*2^1403846-1 is not prime. Res64: 3045ACC84CA0CE2A Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:54] 801*2^1403846-1 is not prime. Res64: 3C82A4DD77CC708C Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:54] 813*2^1403846-1 is not prime. Res64: E93B20BFECE8CB48 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:57] 999*2^1403845-1 is not prime. Res64: A78DAC8321803942 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:11:57] 641*2^1403846-1 is not prime. Res64: A20ABF18C6BEA8B1 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:28] 993*2^1403846-1 is not prime. Res64: F1404DDFC3A5C867 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:28] 651*2^1403847-1 is not prime. Res64: 173D9E48E2D3392F Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:40] 603*2^1403848-1 is not prime. Res64: 20E7CD6F41BC7840 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:41] 623*2^1403848-1 is not prime. Res64: 65715400B125A20E Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:41] 843*2^1403847-1 is not prime. Res64: 5815E6871A9E3155 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:41] 973*2^1403847-1 is not prime. Res64: BEE93979595F3513 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:54] 703*2^1403847-1 is not prime. Res64: 9002D805C1FE4B55 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:29:54] 795*2^1403847-1 is not prime. Res64: 0DE8B93D319B1E6A Time : 0.0 sec. user=mdettweiler [2015-07-22 05:46:59] 629*2^1403848-1 is not prime. Res64: 71453143C28EFB6D Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:00] 645*2^1403848-1 is not prime. Res64: B77214681171E4B2 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:15] 755*2^1403848-1 is not prime. Res64: 60F28A22CAEF196B Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:15] 827*2^1403848-1 is not prime. Res64: D90BDBC7152F3B73 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:20] 687*2^1403848-1 is not prime. Res64: 28D05D337BFBC7CB Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:20] 723*2^1403848-1 is not prime. Res64: 26523269E60A1C31 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:28] 843*2^1403848-1 is not prime. Res64: 88BC22AB718484B8 Time : 0.0 sec. user=mdettweiler [2015-07-22 05:47:29] 869*2^1403848-1 is not prime. Res64: 11FCA9732C8EF684 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:04:36] 875*2^1403848-1 is not prime. Res64: 0B0E891477B36E6B Time : 0.0 sec. user=mdettweiler [2015-07-22 06:04:37] 887*2^1403848-1 is not prime. Res64: 982AC7DB21BFE2C7 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:04:49] 627*2^1403849-1 is not prime. Res64: 512B18BB77A363FF Time : 0.0 sec. user=mdettweiler [2015-07-22 06:04:50] 727*2^1403849-1 is not prime. Res64: 840B54EA818A8FC8 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:04:52] 769*2^1403849-1 is not prime. Res64: 0C3F783ADCB42C44 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:04:53] 771*2^1403849-1 is not prime. Res64: 52CC8E7020B24668 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:05:04] 967*2^1403849-1 is not prime. Res64: 397A8203B43EEEAA Time : 0.0 sec. user=mdettweiler [2015-07-22 06:05:05] 735*2^1403850-1 is not prime. Res64: F2BFE93A742FD5F3 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:31] 693*2^1403851-1 is not prime. Res64: 3CA4DD994EB3FF5F Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:31] 961*2^1403851-1 is not prime. Res64: 131FE0FC5202DEA8 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:32] 769*2^1403851-1 is not prime. Res64: FF35AC828F84FC1A Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:32] 693*2^1403852-1 is not prime. Res64: 15EA535E4EE5983D Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:35] 777*2^1403850-1 is not prime. Res64: 1D6E6F34E8C71047 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:35] 871*2^1403851-1 is not prime. Res64: 9F913FCDE244D547 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:40] 767*2^1403852-1 is not prime. Res64: BE888E8B944DDCAD Time : 0.0 sec. user=mdettweiler [2015-07-22 06:22:40] 777*2^1403852-1 is not prime. Res64: 603DDB68B3C88D83 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:13] 817*2^1403853-1 is not prime. Res64: 4D60005B962EF928 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:13] 849*2^1403853-1 is not prime. Res64: 6D8765FD1C13CBD1 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:16] 923*2^1403852-1 is not prime. Res64: FCDD5A6D0AD7C2DE Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:17] 675*2^1403853-1 is not prime. Res64: E2DDF4B0C427902E Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:25] 721*2^1403853-1 is not prime. Res64: E42353712A6D0DCE Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:25] 769*2^1403853-1 is not prime. Res64: 9B6E1D9411250595 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:31] 867*2^1403853-1 is not prime. Res64: C7E810D997A14E49 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:40:32] 991*2^1403853-1 is not prime. Res64: 4EAA5CD878749788 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:57:51] 813*2^1403854-1 is not prime. Res64: EB5E6AEBD378E9EC Time : 0.0 sec. user=mdettweiler [2015-07-22 06:57:52] 945*2^1403854-1 is not prime. Res64: A80CD6E12CD12F27 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:57:55] 645*2^1403854-1 is not prime. Res64: 25B18A346757AF53 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:57:56] 785*2^1403854-1 is not prime. Res64: 71EE07138A195420 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:58:05] 947*2^1403854-1 is not prime. Res64: 4A1CD38D726C52EE Time : 0.0 sec. user=mdettweiler [2015-07-22 06:58:05] 987*2^1403854-1 is not prime. Res64: 6FD5D9FCDB3E8CE1 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:58:17] 649*2^1403855-1 is not prime. Res64: 108C7F076F5105C5 Time : 0.0 sec. user=mdettweiler [2015-07-22 06:58:17] 721*2^1403855-1 is not prime. Res64: 0FDC42BD362A5BC2 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:27] 871*2^1403855-1 is not prime. Res64: 693F80E3D64A9D34 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:27] 979*2^1403855-1 is not prime. Res64: 823D5D0CFB296DC7 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:31] 675*2^1403856-1 is not prime. Res64: 00AD72812B6B044C Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:31] 699*2^1403856-1 is not prime. Res64: E5530E581404DB70 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:39] 765*2^1403856-1 is not prime. Res64: FBCCECA82200D87F Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:39] 779*2^1403856-1 is not prime. Res64: AC1B3BD972BBC81E Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:57] 615*2^1403857-1 is not prime. Res64: 40F943D167EE8D8B Time : 0.0 sec. user=mdettweiler [2015-07-22 07:15:57] 625*2^1403857-1 is not prime. Res64: C69C2712A4ACECD5 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:06] 645*2^1403857-1 is not prime. Res64: F21823AA35BCB953 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:06] 801*2^1403857-1 is not prime. Res64: 4BEEAE5A9CF87530 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:19] 885*2^1403857-1 is not prime. Res64: C089D2F2F87C99E8 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:19] 915*2^1403857-1 is not prime. Res64: FD164D3B8CFA0C19 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:30] 805*2^1403857-1 is not prime. Res64: A84DBEFEE799FD6D Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:30] 861*2^1403857-1 is not prime. Res64: 2A8C3D14A0411D8C Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:41] 975*2^1403857-1 is not prime. Res64: 0C898B55B3E3477F Time : 0.0 sec. user=mdettweiler [2015-07-22 07:33:42] 603*2^1403858-1 is not prime. Res64: 6D3C4F7492B14EBE Time : 0.0 sec. user=mdettweiler [2015-07-22 07:50:43] 635*2^1403858-1 is not prime. Res64: 65BDA12C499D2B5D Time : 0.0 sec. user=mdettweiler [2015-07-22 07:50:44] 711*2^1403858-1 is not prime. Res64: 5F57D9A5AE724AC4 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:51:01] 831*2^1403858-1 is not prime. Res64: 7892EDD0E7815B6B Time : 0.0 sec. user=mdettweiler [2015-07-22 07:51:01] 887*2^1403858-1 is not prime. Res64: F5C38EAB57AE936D Time : 0.0 sec. user=mdettweiler [2015-07-22 07:51:13] 927*2^1403858-1 is not prime. Res64: DA69F6E3090DC0D7 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:51:13] 615*2^1403859-1 is not prime. Res64: DC7D23DCF4C9EF4D Time : 0.0 sec. user=mdettweiler [2015-07-22 07:51:14] 685*2^1403859-1 is not prime. Res64: A61A6B10C866B046 Time : 0.0 sec. user=mdettweiler [2015-07-22 07:51:15] 711*2^1403859-1 is not prime. Res64: 026A87A459E62D75 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:25] 741*2^1403859-1 is not prime. Res64: 0BB9F82F80EB6FE7 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:25] 835*2^1403859-1 is not prime. Res64: A671FF9DA9933590 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:40] 885*2^1403859-1 is not prime. Res64: 553021A7E125A279 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:40] 919*2^1403859-1 is not prime. Res64: EC1BA40FD009920B Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:50] 985*2^1403859-1 is not prime. Res64: DB7B44C95034B6C4 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:51] 653*2^1403860-1 is not prime. Res64: 1BB82B6920779471 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:54] 675*2^1403860-1 is not prime. Res64: 5B57E12745CF452E Time : 0.0 sec. user=mdettweiler [2015-07-22 08:08:55] 687*2^1403860-1 is not prime. Res64: CE54C909CE0DA095 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:09] 723*2^1403860-1 is not prime. Res64: 1D6535BCE9A92BF1 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:09] 813*2^1403860-1 is not prime. Res64: 75A7C7502EA25E52 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:33] 843*2^1403860-1 is not prime. Res64: 8FB03D0C6F790D7D Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:33] 863*2^1403860-1 is not prime. Res64: 1FCAD7900E5AD9D8 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:45] 607*2^1403861-1 is not prime. Res64: 91E1A6CD8A69C6D2 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:45] 669*2^1403861-1 is not prime. Res64: 068DDC2477E7979E Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:47] 769*2^1403861-1 is not prime. Res64: 2D156CD3D630D8BA Time : 0.0 sec. user=mdettweiler [2015-07-22 08:26:47] 879*2^1403861-1 is not prime. Res64: 7A2B8786F0861A95 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:43:41] 681*2^1403862-1 is not prime. Res64: 0B8BAB73E351B81E Time : 0.0 sec. user=mdettweiler [2015-07-22 08:43:42] 649*2^1403863-1 is not prime. Res64: 7F61ABA2B532F523 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:44:25] 855*2^1403863-1 is not prime. Res64: 31221AE4E6EDE5F6 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:44:25] 885*2^1403863-1 is not prime. Res64: FCF7432C053B5152 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:44:27] 763*2^1403863-1 is not prime. Res64: FD032554C8A37C56 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:44:27] 849*2^1403863-1 is not prime. Res64: F2D78C9FAD83A1B3 Time : 0.0 sec. user=mdettweiler [2015-07-22 08:44:35] 943*2^1403863-1 is not prime. Res64: 435617156360ECBE Time : 0.0 sec. user=mdettweiler [2015-07-22 08:44:36] 605*2^1403864-1 is not prime. Res64: 151ED539B88A9D74 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:01:27] 665*2^1403864-1 is not prime. Res64: A576DA12EE4722F2 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:01:28] 675*2^1403864-1 is not prime. Res64: AE110443D0F4038F Time : 0.0 sec. user=mdettweiler [2015-07-22 09:02:04] 843*2^1403864-1 is not prime. Res64: B4762D01F14B3BC1 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:02:05] 899*2^1403864-1 is not prime. Res64: AC32B07DA727BB9A Time : 0.0 sec. user=mdettweiler [2015-07-22 09:02:09] 683*2^1403864-1 is not prime. Res64: 618BA090BAA44A7E Time : 0.0 sec. user=mdettweiler [2015-07-22 09:02:11] 717*2^1403864-1 is not prime. Res64: 7EAAC632F2AAAF40 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:02:16] 917*2^1403864-1 is not prime. Res64: 170B19FB0CB9DD86 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:02:18] 627*2^1403865-1 is not prime. Res64: 711DAC3D7EF854AD Time : 0.0 sec. user=mdettweiler [2015-07-22 09:19:06] 649*2^1403865-1 is not prime. Res64: 1DB6C4D36393904A Time : 0.0 sec. user=mdettweiler [2015-07-22 09:19:06] 675*2^1403865-1 is not prime. Res64: 47F26D06B3F714F6 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:19:43] 717*2^1403865-1 is not prime. Res64: 72432EA73049C977 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:19:44] 951*2^1403865-1 is not prime. Res64: 783AE4BCF98A8BF7 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:19:52] 645*2^1403866-1 is not prime. Res64: CDF101548D85C7BD Time : 0.0 sec. user=mdettweiler [2015-07-22 09:19:53] 705*2^1403866-1 is not prime. Res64: 13746A6A04A33404 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:20:01] 803*2^1403866-1 is not prime. Res64: E513915C697EDE9E Time : 0.0 sec. user=mdettweiler [2015-07-22 09:20:01] 833*2^1403866-1 is not prime. Res64: 3591D67D287AE3BB Time : 0.0 sec. user=mdettweiler [2015-07-22 09:36:47] 843*2^1403866-1 is not prime. Res64: CA8721477C852CB0 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:36:47] 873*2^1403866-1 is not prime. Res64: 91C3309BA78AC84B Time : 0.0 sec. user=mdettweiler [2015-07-22 09:37:11] 859*2^1403867-1 is not prime. Res64: 30FCF1CF74C3716F Time : 0.0 sec. user=mdettweiler [2015-07-22 09:37:12] 913*2^1403867-1 is not prime. Res64: 718A7F3BF7E6E480 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:37:25] 633*2^1403868-1 is not prime. Res64: 23650C8B6E08A12C Time : 0.0 sec. user=mdettweiler [2015-07-22 09:37:26] 635*2^1403868-1 is not prime. Res64: 8736986E5FBBA7F5 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:37:35] 669*2^1403868-1 is not prime. Res64: 01C2B2D839A96CB9 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:37:36] 797*2^1403868-1 is not prime. Res64: A4ED40A71FAA29E8 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:54:37] 915*2^1403868-1 is not prime. Res64: 1B3F49C905135964 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:54:37] 923*2^1403868-1 is not prime. Res64: 7317BD2E43F3EA7D Time : 0.0 sec. user=mdettweiler [2015-07-22 09:55:01] 945*2^1403868-1 is not prime. Res64: 87E177789242C27B Time : 0.0 sec. user=mdettweiler [2015-07-22 09:55:01] 609*2^1403869-1 is not prime. Res64: 0FA898AA486EDDAE Time : 0.0 sec. user=mdettweiler [2015-07-22 09:55:11] 747*2^1403869-1 is not prime. Res64: B1D46C56869845F6 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:55:11] 847*2^1403869-1 is not prime. Res64: 0789D4722D65C27F Time : 0.0 sec. user=mdettweiler [2015-07-22 09:55:14] 951*2^1403869-1 is not prime. Res64: 7F9BFBB331AE7635 Time : 0.0 sec. user=mdettweiler [2015-07-22 09:55:15] 975*2^1403869-1 is not prime. Res64: 2C0267BD3223EAF8 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:16] 641*2^1403870-1 is not prime. Res64: 996F679D7C9B39A3 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:16] 707*2^1403870-1 is not prime. Res64: B7F879AD7EB100FA Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:40] 753*2^1403870-1 is not prime. Res64: B38A81DE526BB9CD Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:41] 935*2^1403870-1 is not prime. Res64: C3ECC300C7EA606C Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:46] 751*2^1403871-1 is not prime. Res64: D3EE01802951EDBE Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:47] 891*2^1403871-1 is not prime. Res64: 5F3333397712E4A4 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:52] 669*2^1403871-1 is not prime. Res64: C437F0FE3EDC4216 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:12:52] 739*2^1403871-1 is not prime. Res64: 0E2ABCA074AE2AE4 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:29:57] 605*2^1403872-1 is not prime. Res64: 98C556353BEB6B4E Time : 0.0 sec. user=mdettweiler [2015-07-22 10:29:57] 657*2^1403872-1 is not prime. Res64: 7B2D19298EEA116E Time : 0.0 sec. user=mdettweiler [2015-07-22 10:30:12] 665*2^1403872-1 is not prime. Res64: 180CEAF6767BF876 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:30:12] 689*2^1403872-1 is not prime. Res64: 1782ED7579E64F0C Time : 0.0 sec. user=mdettweiler [2015-07-22 10:30:19] 717*2^1403872-1 is not prime. Res64: 8ED77B17C0175293 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:30:19] 723*2^1403872-1 is not prime. Res64: 9CF9D726601A65F2 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:30:26] 765*2^1403872-1 is not prime. Res64: C8C1473704572F6B Time : 0.0 sec. user=mdettweiler [2015-07-22 10:30:27] 857*2^1403872-1 is not prime. Res64: FCB91CB2B3A22A78 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:47:38] 965*2^1403872-1 is not prime. Res64: B87C8AD24EDFDB33 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:47:38] 983*2^1403872-1 is not prime. Res64: 476E675A6C79BAE4 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:47:45] 615*2^1403873-1 is not prime. Res64: 8639617218DADC3E Time : 0.0 sec. user=mdettweiler [2015-07-22 10:47:45] 651*2^1403873-1 is not prime. Res64: 5005EB0CAABCD320 Time : 0.0 sec. user=mdettweiler [2015-07-22 10:47:58] 685*2^1403873-1 is not prime. Res64: 19048B5C9BE9E8FA Time : 0.0 sec. user=mdettweiler [2015-07-22 10:47:58] 699*2^1403873-1 is not prime. Res64: 83FE72A5C25EF1DF Time : 0.0 sec. user=mdettweiler [2015-07-22 10:48:08] 897*2^1403873-1 is not prime. Res64: 2C14B28C284EEB9C Time : 0.0 sec. user=mdettweiler [2015-07-22 10:48:08] 969*2^1403873-1 is not prime. Res64: 529AE07E5E4311F0 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:24] 621*2^1403874-1 is not prime. Res64: 24D97538DE188165 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:25] 641*2^1403874-1 is not prime. Res64: 5B4601B9B7E632E7 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:32] 737*2^1403874-1 is not prime. Res64: 6B7BEB43B03EF34A Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:33] 765*2^1403874-1 is not prime. Res64: 8EAE15CC53F124E3 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:44] 815*2^1403874-1 is not prime. Res64: 5ED43A021FE34195 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:45] 851*2^1403874-1 is not prime. Res64: 3175EB699E457264 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:50] 881*2^1403874-1 is not prime. Res64: AC4DBF8F2D43D207 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:05:51] 915*2^1403874-1 is not prime. Res64: A8B81F1A3B8D63FD Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:38] 685*2^1403875-1 is not prime. Res64: B8BF2FF71588D993 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:39] 771*2^1403875-1 is not prime. Res64: 39D877E151E6B175 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:40] 923*2^1403874-1 is not prime. Res64: 51684E7AF6D8A599 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:40] 625*2^1403875-1 is not prime. Res64: 4C3F7B86F64EF7CB Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:41] 793*2^1403875-1 is not prime. Res64: 69545324C33AFC65 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:42] 917*2^1403874-1 is not prime. Res64: 8970F19F2CE84811 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:42] 819*2^1403875-1 is not prime. Res64: B0745A3D149F33F4 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:23:42] 957*2^1403874-1 is not prime. Res64: B52EE49A3D212652 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:16] 843*2^1403876-1 is not prime. Res64: C72AE9DB612A8840 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:17] 903*2^1403876-1 is not prime. Res64: A30BC94C4A83C2D0 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:17] 923*2^1403876-1 is not prime. Res64: 756FA409663DFC1D Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:17] 625*2^1403877-1 is not prime. Res64: 87788F9E6167F762 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:17] 901*2^1403877-1 is not prime. Res64: C97E84EF6874F36C Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:18] 927*2^1403877-1 is not prime. Res64: B0EA536C7C7B0989 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:31] 629*2^1403876-1 is not prime. Res64: 6F0387705A098C00 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:41:32] 833*2^1403876-1 is not prime. Res64: 4795A16C2474ABF2 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:58:48] 937*2^1403877-1 is not prime. Res64: 77307D49F2C4AEA2 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:58:48] 617*2^1403878-1 is not prime. Res64: AFF0FDD602DE2861 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:58:56] 663*2^1403878-1 is not prime. Res64: 6CA31C7B7404C9D7 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:58:57] 705*2^1403878-1 is not prime. Res64: 8ED124D3F28CDFC8 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:58:58] 791*2^1403878-1 is not prime. Res64: 553F400C7CFB8920 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:58:58] 815*2^1403878-1 is not prime. Res64: 71B868D6FB23DDC9 Time : 0.0 sec. user=mdettweiler [2015-07-22 11:59:09] 857*2^1403878-1 is not prime. Res64: 8118E4A24B1210FA Time : 0.0 sec. user=mdettweiler [2015-07-22 11:59:10] 867*2^1403878-1 is not prime. Res64: 114E70ADBD1B9A30 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:24] 971*2^1403878-1 is not prime. Res64: 13330D3CC88AB391 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:25] 663*2^1403879-1 is not prime. Res64: 4DDD1C25917F7B88 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:29] 669*2^1403879-1 is not prime. Res64: C3521C46522F3607 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:29] 705*2^1403879-1 is not prime. Res64: 8F032313CA35E729 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:34] 729*2^1403879-1 is not prime. Res64: 9407E76284F2E2A8 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:34] 895*2^1403879-1 is not prime. Res64: DACB65A42D5BEB5D Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:42] 627*2^1403880-1 is not prime. Res64: B42FF8F229984455 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:16:42] 759*2^1403880-1 is not prime. Res64: 17F135FDA3D99327 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:07] 765*2^1403880-1 is not prime. Res64: 40FF71F80F99DBE8 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:07] 893*2^1403880-1 is not prime. Res64: 853F6796529075D3 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:07] 797*2^1403880-1 is not prime. Res64: D91ACDB376E0EAB7 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:07] 917*2^1403880-1 is not prime. Res64: F8D2733EA4A36678 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:18] 637*2^1403881-1 is not prime. Res64: 5F031632E539FA96 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:18] 877*2^1403881-1 is not prime. Res64: D9C29C23C1658234 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:25] 895*2^1403881-1 is not prime. Res64: CF28DF2A97DFFF42 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:34:26] 909*2^1403881-1 is not prime. Res64: DAEBF9A53A6771AD Time : 0.0 sec. user=mdettweiler [2015-07-22 12:51:56] 931*2^1403881-1 is not prime. Res64: C4B48F5390183E95 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:51:57] 955*2^1403881-1 is not prime. Res64: 21ABED37165B5437 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:52:03] 981*2^1403881-1 is not prime. Res64: E022311893003D2D Time : 0.0 sec. user=mdettweiler [2015-07-22 12:52:04] 711*2^1403882-1 is not prime. Res64: 5DB498917633C280 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:52:06] 921*2^1403882-1 is not prime. Res64: 6D0DCAF25AA75125 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:52:06] 827*2^1403882-1 is not prime. Res64: 2DAA8E0C56E6A8EF Time : 0.0 sec. user=mdettweiler [2015-07-22 12:52:06] 923*2^1403882-1 is not prime. Res64: 1B155E0FF239EED7 Time : 0.0 sec. user=mdettweiler [2015-07-22 12:52:06] 893*2^1403882-1 is not prime. Res64: E67BB28D6A4F4728 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:37] 977*2^1403882-1 is not prime. Res64: FD186CBA54157989 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:37] 709*2^1403883-1 is not prime. Res64: 095C8DAB8C0F5F6B Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:39] 853*2^1403883-1 is not prime. Res64: 51A8A2C6139B3FE1 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:39] 913*2^1403883-1 is not prime. Res64: FB18DCB258D16260 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:41] 753*2^1403883-1 is not prime. Res64: 32CF6153B1118A7A Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:42] 793*2^1403883-1 is not prime. Res64: 14E8BA423418C0B3 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:45] 795*2^1403883-1 is not prime. Res64: 836F7E7B4169FC18 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:09:46] 819*2^1403883-1 is not prime. Res64: EBCE39B2C54697F5 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:38] 639*2^1403884-1 is not prime. Res64: 037D76D479975AE6 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:38] 657*2^1403884-1 is not prime. Res64: 8CFA013ABE5FD15E Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:40] 955*2^1403883-1 is not prime. Res64: 101153D3863513AD Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:40] 963*2^1403883-1 is not prime. Res64: 9B812061FA76879D Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:43] 705*2^1403884-1 is not prime. Res64: 9B8859381459B2DC Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:43] 803*2^1403884-1 is not prime. Res64: 325292895371E1C8 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:52] 897*2^1403884-1 is not prime. Res64: 41BD2568E496EDA7 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:27:52] 649*2^1403885-1 is not prime. Res64: ECE0CBCF1E878F5D Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:36] 651*2^1403885-1 is not prime. Res64: BAA93E35D0427E0D Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:36] 675*2^1403885-1 is not prime. Res64: 0BCE5B19394F410F Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:41] 741*2^1403885-1 is not prime. Res64: B5DAA2151B39B9A3 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:41] 787*2^1403885-1 is not prime. Res64: C21F318396D3030A Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:47] 805*2^1403885-1 is not prime. Res64: 615CFA828736D6E0 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:48] 955*2^1403885-1 is not prime. Res64: 278C4D1872E1FCC2 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:48] 641*2^1403886-1 is not prime. Res64: 108404CF08F7FBD6 Time : 0.0 sec. user=mdettweiler [2015-07-22 13:45:49] 647*2^1403886-1 is not prime. Res64: 82B50D3BDF015016 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:06] 683*2^1403886-1 is not prime. Res64: 2EB5F96EFA749D13 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:07] 761*2^1403886-1 is not prime. Res64: 68F3C11C31FF23D7 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:27] 663*2^1403887-1 is not prime. Res64: 5CC179CCBB9EE1DD Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:29] 741*2^1403887-1 is not prime. Res64: A77495F7DD2DB82C Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:29] 603*2^1403887-1 is not prime. Res64: D782675CDB67EE9F Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:30] 639*2^1403887-1 is not prime. Res64: FEA0526BFB5B5E5B Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:47] 889*2^1403887-1 is not prime. Res64: 3EB4EB777A6E4657 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:04:48] 617*2^1403888-1 is not prime. Res64: 4EDC87D903072DF2 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:23] 843*2^1403888-1 is not prime. Res64: EBB5CC86F2433452 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:23] 627*2^1403889-1 is not prime. Res64: 9BA1B7D29B3FA3A1 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:24] 663*2^1403888-1 is not prime. Res64: 31EA0A0CA45CCF70 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:24] 699*2^1403888-1 is not prime. Res64: A22AAA1337741A99 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:31] 713*2^1403888-1 is not prime. Res64: CAC7231C922513D6 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:31] 767*2^1403888-1 is not prime. Res64: 9F45954B3135F558 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:43] 639*2^1403889-1 is not prime. Res64: 45FB850BF5104C50 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:22:44] 657*2^1403889-1 is not prime. Res64: 4AB6BB1A63624227 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:14] 667*2^1403889-1 is not prime. Res64: C21785F5E86CD185 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:14] 669*2^1403889-1 is not prime. Res64: C6E5CCBB726F95AD Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:21] 681*2^1403889-1 is not prime. Res64: A5B63D198C48837A Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:22] 691*2^1403889-1 is not prime. Res64: 6E34C62C101B54FC Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:23] 745*2^1403889-1 is not prime. Res64: CFDD635ED0578B77 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:23] 835*2^1403889-1 is not prime. Res64: 833EBDDF8427F938 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:31] 865*2^1403889-1 is not prime. Res64: A57419103AA89973 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:40:31] 949*2^1403889-1 is not prime. Res64: 0364B60A64A5C690 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:28] 955*2^1403889-1 is not prime. Res64: EDA95C38542DC8FF Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:28] 665*2^1403890-1 is not prime. Res64: 54185264780CFA1C Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:30] 777*2^1403890-1 is not prime. Res64: C6D5C05DFF146CB2 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:30] 861*2^1403890-1 is not prime. Res64: 0739E46DC49C3235 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:44] 975*2^1403890-1 is not prime. Res64: 56F0AB0B68BC5BD4 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:44] 651*2^1403891-1 is not prime. Res64: A4B8BC6E1891969B Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:45] 687*2^1403890-1 is not prime. Res64: 3A36E59A19F2F299 Time : 0.0 sec. user=mdettweiler [2015-07-22 14:58:45] 747*2^1403890-1 is not prime. Res64: CBBA7C753434B6F7 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:27] 889*2^1403891-1 is not prime. Res64: 22D4452E334A6E99 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:27] 913*2^1403891-1 is not prime. Res64: 48E1CFA036FFCC2B Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:37] 801*2^1403891-1 is not prime. Res64: FD04071662B38936 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:37] 879*2^1403891-1 is not prime. Res64: 83F623177148472E Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:48] 695*2^1403892-1 is not prime. Res64: 2A0A5EB95C1EEDB3 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:49] 753*2^1403892-1 is not prime. Res64: 925FE41C077D3CD9 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:54] 969*2^1403891-1 is not prime. Res64: 25186F73B7E83DBA Time : 0.0 sec. user=mdettweiler [2015-07-22 15:16:54] 629*2^1403892-1 is not prime. Res64: 271AB9CD9507013C Time : 0.0 sec. user=mdettweiler [2015-07-22 15:34:36] 903*2^1403892-1 is not prime. Res64: 140778E80C3B64E9 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:34:37] 923*2^1403892-1 is not prime. Res64: D45A993AE1F8F6C4 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:34:37] 867*2^1403892-1 is not prime. Res64: F20D3B0CA4FD6B1D Time : 0.0 sec. user=mdettweiler [2015-07-22 15:34:37] 879*2^1403892-1 is not prime. Res64: 3130C2E22D6452A1 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:35:05] 935*2^1403892-1 is not prime. Res64: 279C9789E00E8590 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:35:05] 945*2^1403892-1 is not prime. Res64: FDEF8A4821CA22E0 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:35:09] 957*2^1403892-1 is not prime. Res64: 44FDBF5B9BB8C535 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:35:09] 651*2^1403893-1 is not prime. Res64: 1C453847505EF137 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:52:30] 747*2^1403893-1 is not prime. Res64: 3B19717FFE04653F Time : 0.0 sec. user=mdettweiler [2015-07-22 15:52:30] 847*2^1403893-1 is not prime. Res64: 139C8C59C8DA823F Time : 0.0 sec. user=mdettweiler [2015-07-22 15:52:34] 915*2^1403893-1 is not prime. Res64: 4E4921B5F48D33BD Time : 0.0 sec. user=mdettweiler [2015-07-22 15:52:34] 687*2^1403894-1 is not prime. Res64: EC59ED86DD5F7810 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:53:03] 795*2^1403894-1 is not prime. Res64: F8C98AF588F20850 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:53:03] 833*2^1403894-1 is not prime. Res64: 3A7E2B6A0DE3B00B Time : 0.0 sec. user=mdettweiler [2015-07-22 15:53:10] 711*2^1403895-1 is not prime. Res64: E75893745ECFA389 Time : 0.0 sec. user=mdettweiler [2015-07-22 15:53:10] 775*2^1403895-1 is not prime. Res64: B23B4519EC154136 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:15] 781*2^1403895-1 is not prime. Res64: 5B3A6A5BF7EB3D6E Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:16] 789*2^1403895-1 is not prime. Res64: D69FCEA1D68AAE04 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:27] 831*2^1403895-1 is not prime. Res64: B986D306985D5BC2 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:27] 853*2^1403895-1 is not prime. Res64: 7B0F267A702B2E31 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:48] 885*2^1403895-1 is not prime. Res64: 662036B1F98A13D5 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:49] 921*2^1403895-1 is not prime. Res64: 81FFE4B97BF81402 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:50] 949*2^1403895-1 is not prime. Res64: DE0DD4DAFC1C5D43 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:10:50] 979*2^1403895-1 is not prime. Res64: 987F14153D3156EF Time : 0.0 sec. user=mdettweiler [2015-07-22 16:27:57] 695*2^1403896-1 is not prime. Res64: 20EB9E9EE84DEA02 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:27:57] 773*2^1403896-1 is not prime. Res64: F9582303B62D102D Time : 0.0 sec. user=mdettweiler [2015-07-22 16:28:05] 833*2^1403896-1 is not prime. Res64: 53ACB23C05A25EFD Time : 0.0 sec. user=mdettweiler [2015-07-22 16:28:06] 855*2^1403896-1 is not prime. Res64: 80AE632AD8275BA3 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:28:25] 747*2^1403897-1 is not prime. Res64: E0E5BDF80CEC2602 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:28:25] 781*2^1403897-1 is not prime. Res64: E93A50D9A5656504 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:28:31] 869*2^1403896-1 is not prime. Res64: 4BA33C8189D1C3EC Time : 0.0 sec. user=mdettweiler [2015-07-22 16:28:31] 669*2^1403897-1 is not prime. Res64: 36A2E6DB22D0FE53 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:45:32] 865*2^1403897-1 is not prime. Res64: ABC92A0FD11004B0 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:45:33] 735*2^1403898-1 is not prime. Res64: 6B44B3CD82FED0F3 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:45:44] 773*2^1403898-1 is not prime. Res64: 73F96B27A27CE714 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:45:45] 837*2^1403898-1 is not prime. Res64: 3192BF0CEADC9EBB Time : 0.0 sec. user=mdettweiler [2015-07-22 16:45:58] 881*2^1403898-1 is not prime. Res64: F39C05C7EA5917F7 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:45:58] 905*2^1403898-1 is not prime. Res64: 8F2913CDCE2700BF Time : 0.0 sec. user=mdettweiler [2015-07-22 16:46:11] 649*2^1403899-1 is not prime. Res64: DB83E4B8825754F8 Time : 0.0 sec. user=mdettweiler [2015-07-22 16:46:11] 853*2^1403899-1 is not prime. Res64: 42ACD112349F09F9 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:03:13] 919*2^1403899-1 is not prime. Res64: 5F3C67B5497C79FB Time : 0.0 sec. user=mdettweiler [2015-07-22 17:03:15] 951*2^1403899-1 is not prime. Res64: E455A5B600D4F71B Time : 0.0 sec. user=mdettweiler [2015-07-22 17:03:23] 707*2^1403900-1 is not prime. Res64: 5CEDD5B883CE0144 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:03:24] 725*2^1403900-1 is not prime. Res64: B21C93A66F127F81 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:03:36] 813*2^1403900-1 is not prime. Res64: 739A050259BBB92D Time : 0.0 sec. user=mdettweiler [2015-07-22 17:03:38] 843*2^1403900-1 is not prime. Res64: 73220F784FCA184F Time : 0.0 sec. user=mdettweiler [2015-07-22 17:04:01] 897*2^1403900-1 is not prime. Res64: 52B805E86FECED8C Time : 0.0 sec. user=mdettweiler [2015-07-22 17:04:02] 945*2^1403900-1 is not prime. Res64: 53691B98D588EAD5 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:00] 977*2^1403900-1 is not prime. Res64: 44A37D03046EA574 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:01] 615*2^1403901-1 is not prime. Res64: 9CA1E786982A2477 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:09] 639*2^1403901-1 is not prime. Res64: 874CE172CF8282FE Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:10] 669*2^1403901-1 is not prime. Res64: 525960EB88978D92 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:24] 741*2^1403901-1 is not prime. Res64: C9570B702C6AA7A7 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:24] 825*2^1403901-1 is not prime. Res64: 7E0DAA0A1796D3A2 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:54] 837*2^1403901-1 is not prime. Res64: A70A5CBEA4C9D3FE Time : 0.0 sec. user=mdettweiler [2015-07-22 17:21:54] 889*2^1403901-1 is not prime. Res64: 152B057DBE9EF09F Time : 0.0 sec. user=mdettweiler [2015-07-22 17:38:42] 991*2^1403901-1 is not prime. Res64: 427D071949878D0C Time : 0.0 sec. user=mdettweiler [2015-07-22 17:38:42] 653*2^1403902-1 is not prime. Res64: 12993CB22EE7B6B4 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:38:49] 657*2^1403902-1 is not prime. Res64: D131514F898D19C0 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:38:49] 681*2^1403902-1 is not prime. Res64: 98E8C2456EED1D7A Time : 0.0 sec. user=mdettweiler [2015-07-22 17:39:04] 815*2^1403902-1 is not prime. Res64: 09E6F95DD01AB268 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:39:04] 843*2^1403902-1 is not prime. Res64: 20117BAA4F0EE03E Time : 0.0 sec. user=mdettweiler [2015-07-22 17:39:26] 873*2^1403902-1 is not prime. Res64: 874A3345A5ED992A Time : 0.0 sec. user=mdettweiler [2015-07-22 17:39:27] 917*2^1403902-1 is not prime. Res64: ED9C976FEA3F3634 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:56:47] 951*2^1403902-1 is not prime. Res64: CDD8F3F62A891C06 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:56:48] 661*2^1403903-1 is not prime. Res64: 0E466345F47F6ADE Time : 0.0 sec. user=mdettweiler [2015-07-22 17:57:15] 705*2^1403903-1 is not prime. Res64: 4805333E66C9E334 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:57:16] 789*2^1403903-1 is not prime. Res64: C71E17B9F5B30369 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:57:25] 811*2^1403903-1 is not prime. Res64: 2CA967CF89CA0EF5 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:57:25] 855*2^1403903-1 is not prime. Res64: 6CA8D7FA7BE735BF Time : 0.0 sec. user=mdettweiler [2015-07-22 17:58:00] 693*2^1403903-1 is not prime. Res64: 9C305A318C0680A2 Time : 0.0 sec. user=mdettweiler [2015-07-22 17:58:00] 703*2^1403903-1 is not prime. Res64: E1FA47F721637425 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:14:40] 939*2^1403903-1 is not prime. Res64: 6553DE60817E4D0C Time : 0.0 sec. user=mdettweiler [2015-07-22 18:14:41] 705*2^1403904-1 is not prime. Res64: 817D01C0B212A684 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:15:01] 707*2^1403904-1 is not prime. Res64: BF259E4389EF9472 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:15:01] 759*2^1403904-1 is not prime. Res64: 3AE75D9C6661384B Time : 0.0 sec. user=mdettweiler [2015-07-22 18:15:19] 875*2^1403904-1 is not prime. Res64: CD657A45B7CB1CFA Time : 0.0 sec. user=mdettweiler [2015-07-22 18:15:19] 975*2^1403904-1 is not prime. Res64: 46AA5253677B2E41 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:15:50] 619*2^1403905-1 is not prime. Res64: 6AAD47D011CCF646 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:15:50] 649*2^1403905-1 is not prime. Res64: 7DDC30DBB6A58BDF Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:03] 699*2^1403905-1 is not prime. Res64: 8DCC14B566AD7EA8 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:03] 705*2^1403905-1 is not prime. Res64: D58D70772042917D Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:33] 765*2^1403905-1 is not prime. Res64: E104979792320FD7 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:34] 841*2^1403905-1 is not prime. Res64: BED04CB00BEE1926 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:41] 915*2^1403905-1 is not prime. Res64: 05A3D933AE4E0389 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:41] 999*2^1403905-1 is not prime. Res64: B07D9FF9FC71D957 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:42] 715*2^1403905-1 is not prime. Res64: 5C99C61E1FF4F46D Time : 0.0 sec. user=mdettweiler [2015-07-22 18:34:42] 741*2^1403905-1 is not prime. Res64: 724C604D2C965B84 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:06] 617*2^1403906-1 is not prime. Res64: A9CF36FFB944CE00 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:06] 701*2^1403906-1 is not prime. Res64: 83493564BB85ED9A Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:37] 783*2^1403906-1 is not prime. Res64: EF4FCABB1F62C2F0 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:37] 843*2^1403906-1 is not prime. Res64: 7B4F1562E11ACBE4 Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:45] 891*2^1403907-1 is not prime. Res64: CFA28CF39B85BA6D Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:46] 903*2^1403907-1 is not prime. Res64: E1D12262C16B44BC Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:52] 867*2^1403906-1 is not prime. Res64: 55FED967C0DF87EB Time : 0.0 sec. user=mdettweiler [2015-07-22 18:52:52] 887*2^1403906-1 is not prime. Res64: E2942CEC41488B3A Time : 0.0 sec. user=mdettweiler [2015-07-22 19:10:20] 689*2^1403908-1 is not prime. Res64: 292EC0EDD22F82D9 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:10:20] 813*2^1403908-1 is not prime. Res64: 7D729CE5508C2B5F Time : 0.0 sec. user=mdettweiler [2015-07-22 19:10:57] 899*2^1403908-1 is not prime. Res64: 222BCDDA1994D8C1 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:10:58] 645*2^1403909-1 is not prime. Res64: 847E6625D724EADB Time : 0.0 sec. user=mdettweiler [2015-07-22 19:11:13] 655*2^1403909-1 is not prime. Res64: B99C003136EE9144 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:11:13] 727*2^1403909-1 is not prime. Res64: 42E9B2D6F6183499 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:11:16] 831*2^1403909-1 is not prime. Res64: 2C058E28A88BD1B1 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:11:17] 865*2^1403909-1 is not prime. Res64: 013FEF6879734C21 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:07] 925*2^1403909-1 is not prime. Res64: 20FE2DC76C8CD59E Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:07] 921*2^1403910-1 is not prime. Res64: 32011376C99014E9 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:38] 651*2^1403911-1 is not prime. Res64: AEBB6E4B4D6FFEB1 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:39] 901*2^1403911-1 is not prime. Res64: C7EE1FDA3484B501 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:55] 677*2^1403912-1 is not prime. Res64: C1002038F3B0061E Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:55] 713*2^1403912-1 is not prime. Res64: 3EFE7D1F55261D4A Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:59] 909*2^1403911-1 is not prime. Res64: 981A673DE401089F Time : 0.0 sec. user=mdettweiler [2015-07-22 19:28:59] 925*2^1403911-1 is not prime. Res64: 6DD15D10AF461DE7 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:45:41] 719*2^1403912-1 is not prime. Res64: EFCC98CE948C43C1 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:45:41] 777*2^1403912-1 is not prime. Res64: FD8071BE1C051437 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:46:14] 797*2^1403912-1 is not prime. Res64: ED01CFA5C7B36983 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:46:15] 903*2^1403912-1 is not prime. Res64: 76E634E9BA265930 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:46:33] 691*2^1403913-1 is not prime. Res64: 9DDF78C8479264C2 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:46:33] 705*2^1403913-1 is not prime. Res64: 5337B8F7805D1973 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:46:34] 995*2^1403912-1 is not prime. Res64: CB93692EFE6EF950 Time : 0.0 sec. user=mdettweiler [2015-07-22 19:46:34] 627*2^1403913-1 is not prime. Res64: 589CFAF625842125 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:03:29] 727*2^1403913-1 is not prime. Res64: C8B5EAEF70B5355A Time : 0.0 sec. user=mdettweiler [2015-07-22 20:03:30] 747*2^1403913-1 is not prime. Res64: F6148B06A6B1162D Time : 0.0 sec. user=mdettweiler [2015-07-22 20:03:47] 769*2^1403913-1 is not prime. Res64: 46291A5FCF827D35 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:03:49] 787*2^1403913-1 is not prime. Res64: 77755090F1690C0B Time : 0.0 sec. user=mdettweiler [2015-07-22 20:04:11] 849*2^1403913-1 is not prime. Res64: BAC4ABDF94970573 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:04:13] 877*2^1403913-1 is not prime. Res64: 89A754F3356A3A9E Time : 0.0 sec. user=mdettweiler [2015-07-22 20:04:16] 991*2^1403913-1 is not prime. Res64: 120282DE3A843ABB Time : 0.0 sec. user=mdettweiler [2015-07-22 20:04:19] 707*2^1403914-1 is not prime. Res64: 0DF7379012E4C3D9 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:21:25] 765*2^1403914-1 is not prime. Res64: F6767EC3F48AD836 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:21:26] 821*2^1403914-1 is not prime. Res64: 79959318CEEB6579 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:21:38] 891*2^1403914-1 is not prime. Res64: 8CB4DE5CC74052F1 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:21:38] 601*2^1403915-1 is not prime. Res64: ACEE1DAD6B938737 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:22:01] 655*2^1403915-1 is not prime. Res64: CE0E2CDBDCB88921 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:22:01] 771*2^1403915-1 is not prime. Res64: 369DA1213DEC3245 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:22:07] 843*2^1403915-1 is not prime. Res64: 76CCB38B52C66B37 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:22:07] 999*2^1403915-1 is not prime. Res64: 9EF755DAE86B1961 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:03] 609*2^1403916-1 is not prime. Res64: AF4B00AF96F1359A Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:03] 647*2^1403916-1 is not prime. Res64: 1A2AEFA7A0241340 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:15] 653*2^1403916-1 is not prime. Res64: 611FDB38DF179F64 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:15] 699*2^1403916-1 is not prime. Res64: 1229E10EAF6CADD6 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:42] 723*2^1403916-1 is not prime. Res64: 20B5770F97B1D6D5 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:42] 887*2^1403916-1 is not prime. Res64: 3772784FF626BFE0 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:48] 983*2^1403916-1 is not prime. Res64: 48EFAB86EEF9A9CC Time : 0.0 sec. user=mdettweiler [2015-07-22 20:39:49] 639*2^1403917-1 is not prime. Res64: A0C7F14C5E57EB82 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:56:50] 667*2^1403917-1 is not prime. Res64: AA9340476188497F Time : 0.0 sec. user=mdettweiler [2015-07-22 20:56:50] 957*2^1403917-1 is not prime. Res64: 0D2F38FD216757F9 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:56:58] 635*2^1403918-1 is not prime. Res64: 105EDBB5B1C63185 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:56:59] 665*2^1403918-1 is not prime. Res64: 60B926579F165D6E Time : 0.0 sec. user=mdettweiler [2015-07-22 20:57:25] 731*2^1403918-1 is not prime. Res64: 1FE6CA71D3438F4D Time : 0.0 sec. user=mdettweiler [2015-07-22 20:57:25] 813*2^1403918-1 is not prime. Res64: 2A085251889DDA4B Time : 0.0 sec. user=mdettweiler [2015-07-22 20:57:36] 825*2^1403918-1 is not prime. Res64: 9F912C60639762D6 Time : 0.0 sec. user=mdettweiler [2015-07-22 20:57:36] 827*2^1403918-1 is not prime. Res64: F19F2A2FAA9D44CF Time : 0.0 sec. user=mdettweiler [2015-07-22 21:15:40] 601*2^1403919-1 is not prime. Res64: 72EBEFB9C85FDFFD Time : 0.0 sec. user=mdettweiler [2015-07-22 21:15:40] 769*2^1403919-1 is not prime. Res64: 1E0045F0717C8A95 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:15:44] 831*2^1403918-1 is not prime. Res64: 622FD487FC420AE8 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:15:45] 941*2^1403918-1 is not prime. Res64: 362B0B994677B118 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:16:07] 913*2^1403919-1 is not prime. Res64: 50CBF0BBEF6ECA25 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:16:08] 951*2^1403919-1 is not prime. Res64: C9A2D0A2FEF9C057 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:16:21] 861*2^1403919-1 is not prime. Res64: 48037F98BBAAD09E Time : 0.0 sec. user=mdettweiler [2015-07-22 21:16:22] 865*2^1403919-1 is not prime. Res64: 3832A7875EC57C94 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:34:51] 747*2^1403920-1 is not prime. Res64: 979CB12167048273 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:34:51] 825*2^1403920-1 is not prime. Res64: D6937EB96401A79E Time : 0.0 sec. user=mdettweiler [2015-07-22 21:35:04] 975*2^1403919-1 is not prime. Res64: E063B5B9494DB061 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:35:04] 719*2^1403920-1 is not prime. Res64: 6305663302D2B1EA Time : 0.0 sec. user=mdettweiler [2015-07-22 21:35:36] 983*2^1403920-1 is not prime. Res64: 23BFEDDC16A07865 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:35:36] 989*2^1403920-1 is not prime. Res64: CC9A01D5A4372DF1 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:35:46] 839*2^1403920-1 is not prime. Res64: 0A226FDC226294E0 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:35:46] 887*2^1403920-1 is not prime. Res64: 5DA8A976DADA7E93 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:53:30] 637*2^1403921-1 is not prime. Res64: 4A05AE2F5A459C14 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:53:30] 691*2^1403921-1 is not prime. Res64: B6E4722C396246DB Time : 0.0 sec. user=mdettweiler [2015-07-22 21:53:32] 715*2^1403921-1 is not prime. Res64: 599063B809091E58 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:53:32] 795*2^1403921-1 is not prime. Res64: 3DED769AB66B630A Time : 0.0 sec. user=mdettweiler [2015-07-22 21:53:54] 801*2^1403921-1 is not prime. Res64: 7C550E654B2F021C Time : 0.0 sec. user=mdettweiler [2015-07-22 21:53:54] 837*2^1403921-1 is not prime. Res64: 424E9E182430345F Time : 0.0 sec. user=mdettweiler [2015-07-22 21:54:12] 909*2^1403921-1 is not prime. Res64: 3F7577536F7D52E2 Time : 0.0 sec. user=mdettweiler [2015-07-22 21:54:13] 997*2^1403921-1 is not prime. Res64: 20C5B8165E9BEFA4 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:12:41] 731*2^1403922-1 is not prime. Res64: 04D0194F7DEA8B74 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:12:42] 765*2^1403922-1 is not prime. Res64: 3BC7D83B6F9D2468 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:12:43] 651*2^1403922-1 is not prime. Res64: C06E5A4EE67C9E62 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:12:44] 681*2^1403922-1 is not prime. Res64: 2B606211F1E3756A Time : 0.0 sec. user=mdettweiler [2015-07-22 22:13:24] 659*2^1403924-1 is not prime. Res64: 5F2CA0AD22BACBDA Time : 0.0 sec. user=mdettweiler [2015-07-22 22:13:24] 707*2^1403924-1 is not prime. Res64: 9009B674C131E0B8 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:13:25] 945*2^1403922-1 is not prime. Res64: 76EABC6ADB754CB1 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:13:25] 915*2^1403923-1 is not prime. Res64: E4F3BF0274ABC6F5 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:31:30] 899*2^1403924-1 is not prime. Res64: AF7C4B0B92E58C4B Time : 0.0 sec. user=mdettweiler [2015-07-22 22:31:30] 987*2^1403924-1 is not prime. Res64: 406946C6F2E615DC Time : 0.0 sec. user=mdettweiler [2015-07-22 22:31:36] 753*2^1403924-1 is not prime. Res64: AA3B741B7B0D4264 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:31:36] 843*2^1403924-1 is not prime. Res64: 323EB1005CFCFFD3 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:32:07] 657*2^1403926-1 is not prime. Res64: BA49B3EB72E79913 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:32:08] 723*2^1403926-1 is not prime. Res64: CA91D460F2A29474 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:32:08] 921*2^1403925-1 is not prime. Res64: 118A9FC067408B62 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:32:08] 955*2^1403925-1 is not prime. Res64: 715AB50B6215FE93 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:50:47] 833*2^1403926-1 is not prime. Res64: 4892D652EBD9AFB7 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:50:48] 857*2^1403926-1 is not prime. Res64: 331B41D78B6374A7 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:50:50] 747*2^1403926-1 is not prime. Res64: B80BEEC33A67B95B Time : 0.0 sec. user=mdettweiler [2015-07-22 22:50:51] 825*2^1403926-1 is not prime. Res64: 66A10776DC7C558E Time : 0.0 sec. user=mdettweiler [2015-07-22 22:51:34] 887*2^1403926-1 is not prime. Res64: D948774946D918B8 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:51:34] 965*2^1403926-1 is not prime. Res64: 325AA77958A40222 Time : 0.0 sec. user=mdettweiler [2015-07-22 22:51:40] 975*2^1403926-1 is not prime. Res64: 9A8D3DAD6B996BFE Time : 0.0 sec. user=mdettweiler [2015-07-22 22:51:40] 609*2^1403927-1 is not prime. Res64: FCA4CFA3856A859B Time : 0.0 sec. user=mdettweiler [2015-07-22 23:09:33] 799*2^1403927-1 is not prime. Res64: C0C22CF2430E4FBB Time : 0.0 sec. user=mdettweiler [2015-07-22 23:09:34] 825*2^1403927-1 is not prime. Res64: 62942C42330DB7CB Time : 0.0 sec. user=mdettweiler [2015-07-22 23:10:03] 633*2^1403927-1 is not prime. Res64: BBE0FE93FA899CF4 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:10:04] 739*2^1403927-1 is not prime. Res64: FEE95DB13B5EF5FE Time : 0.0 sec. user=mdettweiler [2015-07-22 23:10:31] 979*2^1403927-1 is not prime. Res64: C8DD2FD508CD972B Time : 0.0 sec. user=mdettweiler [2015-07-22 23:10:32] 665*2^1403928-1 is not prime. Res64: F963BD9CA5846C30 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:10:35] 931*2^1403927-1 is not prime. Res64: 93B11591C388F021 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:10:36] 973*2^1403927-1 is not prime. Res64: 64584F52D078DCF0 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:28:17] 753*2^1403928-1 is not prime. Res64: 52D72D52A04267C7 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:28:17] 887*2^1403928-1 is not prime. Res64: 015FCCD2E7416482 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:28:44] 927*2^1403928-1 is not prime. Res64: 3E5C870F3BEBD7DA Time : 0.0 sec. user=mdettweiler [2015-07-22 23:28:44] 929*2^1403928-1 is not prime. Res64: F5EC7A8EFD729C17 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:29:05] 601*2^1403929-1 is not prime. Res64: 3F4A7AA43384E40F Time : 0.0 sec. user=mdettweiler [2015-07-22 23:29:06] 609*2^1403929-1 is not prime. Res64: A28693AE5F9C899D Time : 0.0 sec. user=mdettweiler [2015-07-22 23:29:19] 661*2^1403929-1 is not prime. Res64: 84A1D892F371566D Time : 0.0 sec. user=mdettweiler [2015-07-22 23:29:20] 705*2^1403929-1 is not prime. Res64: 494AD4699E7F95C5 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:47:01] 747*2^1403929-1 is not prime. Res64: 58DE274C47C2A033 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:47:02] 765*2^1403929-1 is not prime. Res64: E2B06476CAAAB860 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:47:32] 847*2^1403929-1 is not prime. Res64: C155A9DD4269EE94 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:47:33] 895*2^1403929-1 is not prime. Res64: E8BB2B01E07D29ED Time : 0.0 sec. user=mdettweiler [2015-07-22 23:47:53] 897*2^1403929-1 is not prime. Res64: 14C377515FE518C0 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:47:53] 957*2^1403929-1 is not prime. Res64: E37363EEA0C283CA Time : 0.0 sec. user=mdettweiler [2015-07-22 23:48:10] 641*2^1403930-1 is not prime. Res64: 3CD92C2DD2BE2307 Time : 0.0 sec. user=mdettweiler [2015-07-22 23:48:10] 711*2^1403930-1 is not prime. Res64: AF53C3CE131E7009 Time : 0.0 sec.