user=mdettweiler [2016-05-19 00:09:27] 721*2^1429625-1 is not prime. Res64: 16EBD0EE6167F6DE Time : 0.0 sec. user=mdettweiler [2016-05-19 00:09:27] 727*2^1429625-1 is not prime. Res64: A1A8E46D812F3956 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:09:28] 789*2^1429625-1 is not prime. Res64: FA0B369C9456AE9B Time : 0.0 sec. user=mdettweiler [2016-05-19 00:09:28] 861*2^1429625-1 is not prime. Res64: 7172FEF440222089 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:09:29] 871*2^1429625-1 is not prime. Res64: 306094D26F180001 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:21:24] 909*2^1429625-1 is not prime. Res64: C81A457A63A7764F Time : 0.0 sec. user=mdettweiler [2016-05-19 00:21:25] 985*2^1429625-1 is not prime. Res64: 0C8A1CB312F215F7 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:21:25] 987*2^1429625-1 is not prime. Res64: 5C3EC0CEB93FD2FF Time : 0.0 sec. user=mdettweiler [2016-05-19 00:21:25] 683*2^1429626-1 is not prime. Res64: 6D2DB9C98A18E4C6 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:21:26] 717*2^1429626-1 is not prime. Res64: F0BFD59A8C4EEE94 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:42:30] 723*2^1429626-1 is not prime. Res64: D6583691D40BA577 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:42:31] 755*2^1429626-1 is not prime. Res64: A7F85A4BD6FB1573 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:42:31] 825*2^1429626-1 is not prime. Res64: 6890B5D6660F9480 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:42:31] 873*2^1429626-1 is not prime. Res64: 732D01ED40CDDEF7 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:42:32] 601*2^1429627-1 is not prime. Res64: CA90DAA22A43613C Time : 0.0 sec. user=mdettweiler [2016-05-19 00:44:40] 619*2^1429627-1 is not prime. Res64: F86608540ABECA8A Time : 0.0 sec. user=mdettweiler [2016-05-19 00:44:40] 625*2^1429627-1 is not prime. Res64: C0335B9851FC58D2 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:44:40] 631*2^1429627-1 is not prime. Res64: 78E82F98B5537992 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:44:41] 663*2^1429627-1 is not prime. Res64: 68B7F37FD0D34651 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:44:41] 859*2^1429627-1 is not prime. Res64: 0E71FD4A965DB523 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:54:52] 961*2^1429627-1 is not prime. Res64: 9AF803B0227AD6E1 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:54:52] 755*2^1429628-1 is not prime. Res64: 11190E55E66DC393 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:54:53] 845*2^1429628-1 is not prime. Res64: 956C5B4AA7998C73 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:54:53] 869*2^1429628-1 is not prime. Res64: 32FE7C2F75D6A672 Time : 0.0 sec. user=mdettweiler [2016-05-19 00:54:54] 875*2^1429628-1 is not prime. Res64: 0F87E0699B6A447D Time : 0.0 sec. user=mdettweiler [2016-05-19 01:06:50] 915*2^1429628-1 is not prime. Res64: 91B6EB36C13B75BD Time : 0.0 sec. user=mdettweiler [2016-05-19 01:06:50] 923*2^1429628-1 is not prime. Res64: DF102FE7BE4269CA Time : 0.0 sec. user=mdettweiler [2016-05-19 01:06:51] 953*2^1429628-1 is not prime. Res64: EF84C7BC74B01B07 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:06:51] 993*2^1429628-1 is not prime. Res64: 2BA6EACB8617B374 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:06:52] 765*2^1429629-1 is not prime. Res64: E240CFE78B26CCB0 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:27:46] 835*2^1429629-1 is not prime. Res64: D6D151EF3173D623 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:27:48] 895*2^1429629-1 is not prime. Res64: 0FFF2B975ABCFF5E Time : 0.0 sec. user=mdettweiler [2016-05-19 01:27:49] 741*2^1429630-1 is not prime. Res64: A294970B70AE1017 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:27:49] 861*2^1429630-1 is not prime. Res64: 3F0402FB6D00F8DE Time : 0.0 sec. user=mdettweiler [2016-05-19 01:27:50] 867*2^1429630-1 is not prime. Res64: 80306B03D723D453 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:30:02] 917*2^1429630-1 is not prime. Res64: D5869C16257ABDA7 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:30:04] 1001*2^1429630-1 is not prime. Res64: 2853E820EBDCDB0F Time : 0.0 sec. user=mdettweiler [2016-05-19 01:30:04] 661*2^1429631-1 is not prime. Res64: 86252C17C2EAC183 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:30:05] 741*2^1429631-1 is not prime. Res64: 0ABCC062EE2BAFA6 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:30:06] 909*2^1429631-1 is not prime. Res64: 67E567493CAA9FB9 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:40:12] 931*2^1429631-1 is not prime. Res64: 2BD867105325AEBC Time : 0.0 sec. user=mdettweiler [2016-05-19 01:40:13] 981*2^1429631-1 is not prime. Res64: A6562582A486AC62 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:40:13] 993*2^1429631-1 is not prime. Res64: 67FCE82906531B81 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:40:13] 633*2^1429632-1 is not prime. Res64: BE17E47FBF001A52 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:40:14] 747*2^1429632-1 is not prime. Res64: FA14833891C02F15 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:52:05] 797*2^1429632-1 is not prime. Res64: 67C11293AB73CA87 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:52:05] 899*2^1429632-1 is not prime. Res64: 049F8694F2753E03 Time : 0.0 sec. user=mdettweiler [2016-05-19 01:52:05] 945*2^1429632-1 is not prime. Res64: D841A55B9DEC96FC Time : 0.0 sec. user=mdettweiler [2016-05-19 01:52:06] 959*2^1429632-1 is not prime. Res64: 2A14674C7902B5AD Time : 0.0 sec. user=mdettweiler [2016-05-19 01:52:06] 679*2^1429633-1 is not prime. Res64: 700998DFD4E2074E Time : 0.0 sec. user=mdettweiler [2016-05-19 02:13:56] 885*2^1429633-1 is not prime. Res64: 82B73955BD785661 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:13:56] 945*2^1429633-1 is not prime. Res64: E086E2187AF0088E Time : 0.0 sec. user=mdettweiler [2016-05-19 02:13:57] 951*2^1429633-1 is not prime. Res64: 537047D44B92D697 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:13:57] 605*2^1429634-1 is not prime. Res64: 16F56E7C350D24EA Time : 0.0 sec. user=mdettweiler [2016-05-19 02:13:58] 617*2^1429634-1 is not prime. Res64: 616F43010ABCBB9E Time : 0.0 sec. user=mdettweiler [2016-05-19 02:16:21] 623*2^1429634-1 is not prime. Res64: B50B57572F9DFBAF Time : 0.0 sec. user=mdettweiler [2016-05-19 02:16:21] 705*2^1429634-1 is not prime. Res64: 77A3FFCF4068BB32 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:16:22] 717*2^1429634-1 is not prime. Res64: B183EB5E5F46D55B Time : 0.0 sec. user=mdettweiler [2016-05-19 02:16:22] 885*2^1429634-1 is not prime. Res64: A33B1A4A4AD8638B Time : 0.0 sec. user=mdettweiler [2016-05-19 02:16:22] 609*2^1429635-1 is not prime. Res64: 2B7B73E04CB7ADAB Time : 0.0 sec. user=mdettweiler [2016-05-19 02:26:30] 619*2^1429635-1 is not prime. Res64: D2C2691B10FE84D3 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:26:30] 675*2^1429635-1 is not prime. Res64: EA72AF3CC66085A3 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:26:31] 685*2^1429635-1 is not prime. Res64: 3998F0EAC61D13FE Time : 0.0 sec. user=mdettweiler [2016-05-19 02:26:31] 705*2^1429635-1 is not prime. Res64: 3DFD05601F854F9D Time : 0.0 sec. user=mdettweiler [2016-05-19 02:26:32] 709*2^1429635-1 is not prime. Res64: 3546454ED9CDB182 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:38:47] 885*2^1429635-1 is not prime. Res64: 5ADF57502895324A Time : 0.0 sec. user=mdettweiler [2016-05-19 02:38:48] 909*2^1429635-1 is not prime. Res64: F16792F2F1D0E439 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:38:49] 705*2^1429636-1 is not prime. Res64: AB4BD9E2384C3E6A Time : 0.0 sec. user=mdettweiler [2016-05-19 02:38:50] 773*2^1429636-1 is not prime. Res64: 72A96DC4F1EEB2CE Time : 0.0 sec. user=mdettweiler [2016-05-19 02:38:51] 783*2^1429636-1 is not prime. Res64: 7330DC82008BE1BF Time : 0.0 sec. user=mdettweiler [2016-05-19 02:58:50] 845*2^1429636-1 is not prime. Res64: B60EAE92DBC704AA Time : 0.0 sec. user=mdettweiler [2016-05-19 02:58:51] 903*2^1429636-1 is not prime. Res64: 9B5312B0BC2F30C0 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:58:51] 759*2^1429637-1 is not prime. Res64: C9964A1DDDEFFE35 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:58:52] 867*2^1429637-1 is not prime. Res64: EA572F22F6C96A01 Time : 0.0 sec. user=mdettweiler [2016-05-19 02:58:52] 871*2^1429637-1 is not prime. Res64: BE89CA481055CB45 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:01:16] 931*2^1429637-1 is not prime. Res64: B76C50AA75E18012 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:01:17] 615*2^1429638-1 is not prime. Res64: 1A58B50EE15F4BFF Time : 0.0 sec. user=mdettweiler [2016-05-19 03:01:18] 635*2^1429638-1 is not prime. Res64: 28933320720F0AD1 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:01:19] 705*2^1429638-1 is not prime. Res64: ABF50BF10E83E292 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:01:20] 707*2^1429638-1 is not prime. Res64: AEFCB9FB5B382E30 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:11:19] 731*2^1429638-1 is not prime. Res64: B52D68B3665479BA Time : 0.0 sec. user=mdettweiler [2016-05-19 03:11:19] 881*2^1429638-1 is not prime. Res64: 25B8FD0A08C664D3 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:11:20] 971*2^1429638-1 is not prime. Res64: 96DE958416D2187C Time : 0.0 sec. user=mdettweiler [2016-05-19 03:11:21] 619*2^1429639-1 is not prime. Res64: 19D2EFA28E2988E1 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:11:22] 645*2^1429639-1 is not prime. Res64: 50741F94482593EF Time : 0.0 sec. user=mdettweiler [2016-05-19 03:23:48] 649*2^1429639-1 is not prime. Res64: 3D8E7906DA0AEDC1 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:23:48] 729*2^1429639-1 is not prime. Res64: 51CCF16F4DD9318A Time : 0.0 sec. user=mdettweiler [2016-05-19 03:23:49] 873*2^1429639-1 is not prime. Res64: 1CB57D8FEB75A6EE Time : 0.0 sec. user=mdettweiler [2016-05-19 03:23:49] 969*2^1429639-1 is not prime. Res64: 3FEA244411CB4284 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:23:50] 975*2^1429639-1 is not prime. Res64: C413ADE2322947D3 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:44:00] 713*2^1429640-1 is not prime. Res64: B74E0509E429F6C8 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:44:02] 917*2^1429640-1 is not prime. Res64: 49C2484ED49505D8 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:44:03] 963*2^1429640-1 is not prime. Res64: EC69257059A89B0A Time : 0.0 sec. user=mdettweiler [2016-05-19 03:44:04] 983*2^1429640-1 is not prime. Res64: 467F508BFD03F374 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:44:04] 615*2^1429641-1 is not prime. Res64: D4AA35928E1A384B Time : 0.0 sec. user=mdettweiler [2016-05-19 03:46:33] 639*2^1429641-1 is not prime. Res64: 3F198A71C0B194E1 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:46:34] 819*2^1429641-1 is not prime. Res64: 109D13BE836A4C32 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:46:34] 829*2^1429641-1 is not prime. Res64: A86C323B65C7DF6C Time : 0.0 sec. user=mdettweiler [2016-05-19 03:46:35] 955*2^1429641-1 is not prime. Res64: 10951B43F5EB10B0 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:46:36] 603*2^1429642-1 is not prime. Res64: 8840F929D26436D5 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:56:51] 675*2^1429642-1 is not prime. Res64: AACAFCCBD1F558E8 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:56:53] 695*2^1429642-1 is not prime. Res64: 7E4F3C485AFCF0D2 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:56:54] 741*2^1429642-1 is not prime. Res64: 2A99E5AF908BE443 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:56:55] 801*2^1429642-1 is not prime. Res64: 830C378121262FA4 Time : 0.0 sec. user=mdettweiler [2016-05-19 03:56:57] 815*2^1429642-1 is not prime. Res64: ECE4C8C2AED089DB Time : 0.0 sec. user=mdettweiler [2016-05-19 04:09:04] 881*2^1429642-1 is not prime. Res64: EA8D0ED9F944388A Time : 0.0 sec. user=mdettweiler [2016-05-19 04:09:05] 947*2^1429642-1 is not prime. Res64: 5E08FA5B489064CB Time : 0.0 sec. user=mdettweiler [2016-05-19 04:09:05] 703*2^1429643-1 is not prime. Res64: A3674DC66749ECE7 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:09:05] 775*2^1429643-1 is not prime. Res64: 2FF22765CBF367D1 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:09:06] 805*2^1429643-1 is not prime. Res64: F93BCFAE0432C830 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:29:24] 811*2^1429643-1 is not prime. Res64: 2DE6DF0623519EF4 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:29:25] 823*2^1429643-1 is not prime. Res64: E08A487E31AAEDB9 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:29:25] 825*2^1429643-1 is not prime. Res64: 85202A3B79AD1AFD Time : 0.0 sec. user=mdettweiler [2016-05-19 04:29:26] 955*2^1429643-1 is not prime. Res64: 0B674A9ABA1A5013 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:29:26] 969*2^1429643-1 is not prime. Res64: A0EA18B682FF91B2 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:32:00] 627*2^1429644-1 is not prime. Res64: 93BB5B94AB40813E Time : 0.0 sec. user=mdettweiler [2016-05-19 04:32:01] 675*2^1429644-1 is not prime. Res64: B652DD1495D8F25F Time : 0.0 sec. user=mdettweiler [2016-05-19 04:32:01] 717*2^1429644-1 is not prime. Res64: B620DDCB217F9148 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:32:02] 837*2^1429644-1 is not prime. Res64: 780CF32F4BAA396F Time : 0.0 sec. user=mdettweiler [2016-05-19 04:32:02] 909*2^1429644-1 is not prime. Res64: 07C814D41A1AAC90 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:42:36] 915*2^1429644-1 is not prime. Res64: EF66F8D805C1284E Time : 0.0 sec. user=mdettweiler [2016-05-19 04:42:36] 975*2^1429644-1 is not prime. Res64: 2D3C58D96542A029 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:42:37] 607*2^1429645-1 is not prime. Res64: 2D7482C6C4F9501D Time : 0.0 sec. user=mdettweiler [2016-05-19 04:42:37] 717*2^1429645-1 is not prime. Res64: 004D0F92BC98BA54 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:42:37] 775*2^1429645-1 is not prime. Res64: 997FB2845EC55497 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:54:33] 889*2^1429645-1 is not prime. Res64: 9ACB0AC79375BD90 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:54:33] 957*2^1429645-1 is not prime. Res64: 4427294A18CE017C Time : 0.0 sec. user=mdettweiler [2016-05-19 04:54:40] 985*2^1429645-1 is not prime. Res64: 5FA97549A2014B62 Time : 0.0 sec. user=mdettweiler [2016-05-19 04:54:41] 635*2^1429646-1 is not prime. Res64: 55294CC95871B48C Time : 0.0 sec. user=mdettweiler [2016-05-19 04:54:41] 641*2^1429646-1 is not prime. Res64: 1C6DF6E7D1ABDB08 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:14:44] 773*2^1429646-1 is not prime. Res64: 26679A9D6F25F25A Time : 0.0 sec. user=mdettweiler [2016-05-19 05:14:45] 923*2^1429646-1 is not prime. Res64: BCCC693CA33479AB Time : 0.0 sec. user=mdettweiler [2016-05-19 05:14:46] 935*2^1429646-1 is not prime. Res64: 9696F91FBF5CD4C3 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:14:46] 971*2^1429646-1 is not prime. Res64: 2A52DBD95B9091A4 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:14:47] 709*2^1429647-1 is not prime. Res64: DD626F27053B4812 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:17:08] 961*2^1429647-1 is not prime. Res64: 511F65DD7789B652 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:17:09] 657*2^1429648-1 is not prime. Res64: 82655B3A7CAD2B13 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:17:10] 687*2^1429648-1 is not prime. Res64: 56FC24CB9BE8F8F8 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:17:11] 827*2^1429648-1 is not prime. Res64: 46C95D98AA88E009 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:17:12] 923*2^1429648-1 is not prime. Res64: 8DAE2A8B6C6886EE Time : 0.0 sec. user=mdettweiler [2016-05-19 05:27:56] 927*2^1429648-1 is not prime. Res64: 00C97A4F6B1188C5 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:27:56] 601*2^1429649-1 is not prime. Res64: B68741A17FAB90BA Time : 0.0 sec. user=mdettweiler [2016-05-19 05:27:56] 649*2^1429649-1 is not prime. Res64: D2564E0F335E5C2F Time : 0.0 sec. user=mdettweiler [2016-05-19 05:27:57] 711*2^1429649-1 is not prime. Res64: 6CC374ECEF1DFC83 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:27:57] 721*2^1429649-1 is not prime. Res64: 87A51763416D8E1E Time : 0.0 sec. user=mdettweiler [2016-05-19 05:39:59] 795*2^1429649-1 is not prime. Res64: 6CFDB6409869C9BC Time : 0.0 sec. user=mdettweiler [2016-05-19 05:39:59] 837*2^1429649-1 is not prime. Res64: 0CF250301BC92D6D Time : 0.0 sec. user=mdettweiler [2016-05-19 05:40:00] 985*2^1429649-1 is not prime. Res64: 314FD6ECAB2A1552 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:40:00] 651*2^1429650-1 is not prime. Res64: 321CEFA5F918CF48 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:40:00] 783*2^1429650-1 is not prime. Res64: 4A07C8D7424051D5 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:59:57] 861*2^1429650-1 is not prime. Res64: 98C0797A78C8913B Time : 0.0 sec. user=mdettweiler [2016-05-19 05:59:57] 945*2^1429650-1 is not prime. Res64: 67E2DC585FFA8AA3 Time : 0.0 sec. user=mdettweiler [2016-05-19 05:59:57] 977*2^1429650-1 is not prime. Res64: 467B8EC60FCEC7BF Time : 0.0 sec. user=mdettweiler [2016-05-19 05:59:58] 625*2^1429651-1 is not prime. Res64: C852453B307CB86D Time : 0.0 sec. user=mdettweiler [2016-05-19 05:59:58] 709*2^1429651-1 is not prime. Res64: E35FAF2E0E288735 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:02:43] 723*2^1429651-1 is not prime. Res64: 96197506E0362903 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:02:43] 829*2^1429651-1 is not prime. Res64: 0F3FE606B65CBD69 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:02:44] 605*2^1429652-1 is not prime. Res64: 8055851E29A36E3B Time : 0.0 sec. user=mdettweiler [2016-05-19 06:02:44] 677*2^1429652-1 is not prime. Res64: 533F9B04761F8AF1 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:02:45] 995*2^1429652-1 is not prime. Res64: 2EEE23CF3A06B8C9 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:13:11] 621*2^1429653-1 is not prime. Res64: 1ABCCBAC0D1A5F64 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:13:12] 759*2^1429653-1 is not prime. Res64: D1ED4705B2BEF9A1 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:13:12] 765*2^1429653-1 is not prime. Res64: 0115B1993E2EED71 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:13:12] 811*2^1429653-1 is not prime. Res64: 295616F0A2FCDD35 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:13:13] 849*2^1429653-1 is not prime. Res64: E0F26AB1362834F9 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:25:06] 877*2^1429653-1 is not prime. Res64: F7C657BDDA5EC9D5 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:25:06] 889*2^1429653-1 is not prime. Res64: BF0E997623F009A4 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:25:07] 991*2^1429653-1 is not prime. Res64: 7BEEF064CB5420A7 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:25:07] 665*2^1429654-1 is not prime. Res64: B3C6A2F729633209 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:25:07] 677*2^1429654-1 is not prime. Res64: 50DA6172BC570E2C Time : 0.0 sec. user=mdettweiler [2016-05-19 06:45:08] 737*2^1429654-1 is not prime. Res64: B8733DBD7F0C3B56 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:45:08] 783*2^1429654-1 is not prime. Res64: 9DE136067E1669C5 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:45:09] 815*2^1429654-1 is not prime. Res64: 9E81BF0481AC4B12 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:45:09] 821*2^1429654-1 is not prime. Res64: EC0CA7D88E848F1F Time : 0.0 sec. user=mdettweiler [2016-05-19 06:45:10] 885*2^1429654-1 is not prime. Res64: 9F674D720E620C3D Time : 0.0 sec. user=mdettweiler [2016-05-19 06:48:07] 923*2^1429654-1 is not prime. Res64: 86D5FB71AB772401 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:48:07] 679*2^1429655-1 is not prime. Res64: 2867A27619806159 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:48:07] 705*2^1429655-1 is not prime. Res64: 4D75C212EB122F13 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:48:08] 781*2^1429655-1 is not prime. Res64: 40F4B431D361B577 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:48:08] 783*2^1429655-1 is not prime. Res64: F4AE4DB29EBD9ECA Time : 0.0 sec. user=mdettweiler [2016-05-19 06:58:29] 841*2^1429655-1 is not prime. Res64: 63111AFB926094A9 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:58:29] 859*2^1429655-1 is not prime. Res64: A40A5DB329247230 Time : 0.0 sec. user=mdettweiler [2016-05-19 06:58:29] 969*2^1429655-1 is not prime. Res64: B511EEB82228298F Time : 0.0 sec. user=mdettweiler [2016-05-19 06:58:30] 635*2^1429656-1 is not prime. Res64: DD8D684A8AB3CDCE Time : 0.0 sec. user=mdettweiler [2016-05-19 06:58:30] 815*2^1429656-1 is not prime. Res64: 9D67479D82EC335C Time : 0.0 sec. user=mdettweiler [2016-05-19 07:10:25] 887*2^1429656-1 is not prime. Res64: F4E3E2561A48B105 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:10:26] 909*2^1429656-1 is not prime. Res64: DEA4242D7B898A5D Time : 0.0 sec. user=mdettweiler [2016-05-19 07:10:27] 993*2^1429656-1 is not prime. Res64: 8B1D86965971894C Time : 0.0 sec. user=mdettweiler [2016-05-19 07:10:28] 747*2^1429657-1 is not prime. Res64: D1AE5EC4B1E0A1B9 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:10:29] 955*2^1429657-1 is not prime. Res64: 4AC1872AC8C39374 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:30:33] 979*2^1429657-1 is not prime. Res64: C12E6350033749FF Time : 0.0 sec. user=mdettweiler [2016-05-19 07:30:34] 603*2^1429658-1 is not prime. Res64: B78C4A01D3DC055D Time : 0.0 sec. user=mdettweiler [2016-05-19 07:30:34] 665*2^1429658-1 is not prime. Res64: 5982C1F70F56830A Time : 0.0 sec. user=mdettweiler [2016-05-19 07:30:35] 683*2^1429658-1 is not prime. Res64: BBC19AC6B1F43B36 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:30:35] 771*2^1429658-1 is not prime. Res64: E568D0FC8DD872FC Time : 0.0 sec. user=mdettweiler [2016-05-19 07:33:37] 887*2^1429658-1 is not prime. Res64: 8E259A67F601731F Time : 0.0 sec. user=mdettweiler [2016-05-19 07:33:37] 723*2^1429659-1 is not prime. Res64: F4732085D5621F0C Time : 0.0 sec. user=mdettweiler [2016-05-19 07:33:37] 789*2^1429659-1 is not prime. Res64: 21C812C69CF30B59 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:33:38] 823*2^1429659-1 is not prime. Res64: A1D2A358C73B4626 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:33:38] 879*2^1429659-1 is not prime. Res64: ECD2D6D607EA6EE1 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:43:43] 773*2^1429660-1 is not prime. Res64: 90EF26340B25D46B Time : 0.0 sec. user=mdettweiler [2016-05-19 07:43:44] 785*2^1429660-1 is not prime. Res64: 4F186C86459612B0 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:43:44] 813*2^1429660-1 is not prime. Res64: FD3EF532E724513D Time : 0.0 sec. user=mdettweiler [2016-05-19 07:43:45] 855*2^1429660-1 is not prime. Res64: A82F9F135F4E790D Time : 0.0 sec. user=mdettweiler [2016-05-19 07:43:45] 857*2^1429660-1 is not prime. Res64: D4214080199DB661 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:55:39] 987*2^1429660-1 is not prime. Res64: 88840F2CBD8A128A Time : 0.0 sec. user=mdettweiler [2016-05-19 07:55:39] 615*2^1429661-1 is not prime. Res64: E8D9D9C410E178F8 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:55:40] 631*2^1429661-1 is not prime. Res64: 98D2905C59311839 Time : 0.0 sec. user=mdettweiler [2016-05-19 07:55:40] 685*2^1429661-1 is not prime. Res64: 15B89E3996C914DE Time : 0.0 sec. user=mdettweiler [2016-05-19 07:55:41] 775*2^1429661-1 is not prime. Res64: ED0A7259FD270BEA Time : 0.0 sec. user=mdettweiler [2016-05-19 08:15:40] 781*2^1429661-1 is not prime. Res64: 74F2D9D1C25D6080 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:15:41] 789*2^1429661-1 is not prime. Res64: 52958AB65D67733E Time : 0.0 sec. user=mdettweiler [2016-05-19 08:15:41] 879*2^1429661-1 is not prime. Res64: 85AFE8935B44C3F1 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:15:42] 885*2^1429661-1 is not prime. Res64: DBE5A5A84A3412D6 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:15:42] 939*2^1429661-1 is not prime. Res64: 133D4F79C2456C68 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:18:34] 665*2^1429662-1 is not prime. Res64: ED0615F6DAEC2BE3 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:18:34] 681*2^1429662-1 is not prime. Res64: 6CEC469D8E749923 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:18:35] 885*2^1429662-1 is not prime. Res64: D6D9BEB0B90C16BB Time : 0.0 sec. user=mdettweiler [2016-05-19 08:18:35] 891*2^1429662-1 is not prime. Res64: 6E3214BF950B1367 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:18:36] 831*2^1429663-1 is not prime. Res64: 768343AF81A206CF Time : 0.0 sec. user=mdettweiler [2016-05-19 08:28:56] 871*2^1429663-1 is not prime. Res64: 494055E16A12E347 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:28:57] 895*2^1429663-1 is not prime. Res64: F20B622F454B8163 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:28:57] 973*2^1429663-1 is not prime. Res64: D2F4C33633391325 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:28:58] 999*2^1429663-1 is not prime. Res64: FB4E886713BE8510 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:28:58] 635*2^1429664-1 is not prime. Res64: B314339EEC0A141A Time : 0.0 sec. user=mdettweiler [2016-05-19 08:41:04] 767*2^1429664-1 is not prime. Res64: EA27DC7FB763791A Time : 0.0 sec. user=mdettweiler [2016-05-19 08:41:05] 873*2^1429664-1 is not prime. Res64: 5F549D493EC5315A Time : 0.0 sec. user=mdettweiler [2016-05-19 08:41:05] 601*2^1429665-1 is not prime. Res64: C78D47EAFEFBFDB5 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:41:05] 727*2^1429665-1 is not prime. Res64: 1E72FEF9AADA1A96 Time : 0.0 sec. user=mdettweiler [2016-05-19 08:41:06] 735*2^1429665-1 is not prime. Res64: C4BDBBD1DD53D200 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:00:56] 751*2^1429665-1 is not prime. Res64: 91A53371B532FDAA Time : 0.0 sec. user=mdettweiler [2016-05-19 09:00:57] 817*2^1429665-1 is not prime. Res64: F682ED1B151F9CA9 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:00:58] 871*2^1429665-1 is not prime. Res64: C187F061F3C6BABE Time : 0.0 sec. user=mdettweiler [2016-05-19 09:00:59] 675*2^1429666-1 is not prime. Res64: 3D162FC58AE69151 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:01:01] 741*2^1429666-1 is not prime. Res64: 7F2D8EB710E6E887 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:04:13] 917*2^1429666-1 is not prime. Res64: 7ADEA0DA862B3CFC Time : 0.0 sec. user=mdettweiler [2016-05-19 09:04:16] 615*2^1429667-1 is not prime. Res64: 024A21CA3AC2EEEB Time : 0.0 sec. user=mdettweiler [2016-05-19 09:04:18] 643*2^1429667-1 is not prime. Res64: EA12124A22B978E9 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:04:19] 871*2^1429667-1 is not prime. Res64: 137156A19050C18C Time : 0.0 sec. user=mdettweiler [2016-05-19 09:04:22] 885*2^1429667-1 is not prime. Res64: 206E36DFA3CEC977 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:14:12] 981*2^1429667-1 is not prime. Res64: FFC911D469D5D5DE Time : 0.0 sec. user=mdettweiler [2016-05-19 09:14:13] 615*2^1429668-1 is not prime. Res64: A695EA0DD3987E3C Time : 0.0 sec. user=mdettweiler [2016-05-19 09:14:13] 639*2^1429668-1 is not prime. Res64: B8FCE5587CFBBB6D Time : 0.0 sec. user=mdettweiler [2016-05-19 09:14:13] 657*2^1429668-1 is not prime. Res64: 230CFCDDB52539CD Time : 0.0 sec. user=mdettweiler [2016-05-19 09:14:14] 845*2^1429668-1 is not prime. Res64: D009FAC8AD3EC7A4 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:26:27] 893*2^1429668-1 is not prime. Res64: 132C6A0E3D49F4F8 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:26:27] 929*2^1429668-1 is not prime. Res64: 0B09F1B105EA9FA8 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:26:28] 933*2^1429668-1 is not prime. Res64: 406E53F60A925481 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:26:28] 601*2^1429669-1 is not prime. Res64: F350E882C5B9AD20 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:26:28] 615*2^1429669-1 is not prime. Res64: 36624B86F4813F43 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:46:17] 691*2^1429669-1 is not prime. Res64: 0BC6B47225FB6821 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:46:18] 877*2^1429669-1 is not prime. Res64: 18D131E785BC045E Time : 0.0 sec. user=mdettweiler [2016-05-19 09:46:19] 897*2^1429669-1 is not prime. Res64: BD3D3C855DDDE211 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:46:20] 931*2^1429669-1 is not prime. Res64: 3FA60EBEE4E2342A Time : 0.0 sec. user=mdettweiler [2016-05-19 09:46:20] 955*2^1429669-1 is not prime. Res64: F01E479949023DDA Time : 0.0 sec. user=mdettweiler [2016-05-19 09:49:46] 957*2^1429669-1 is not prime. Res64: A31A9E45747DCA1A Time : 0.0 sec. user=mdettweiler [2016-05-19 09:49:46] 985*2^1429669-1 is not prime. Res64: 2122B4C910F7A94F Time : 0.0 sec. user=mdettweiler [2016-05-19 09:49:47] 641*2^1429670-1 is not prime. Res64: 56DAA1521E077A5C Time : 0.0 sec. user=mdettweiler [2016-05-19 09:49:47] 791*2^1429670-1 is not prime. Res64: CE7A2A45EE472372 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:49:47] 795*2^1429670-1 is not prime. Res64: 11D4F4D8ADB0E55D Time : 0.0 sec. user=mdettweiler [2016-05-19 09:59:36] 833*2^1429670-1 is not prime. Res64: 7FBE712390423F47 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:59:36] 861*2^1429670-1 is not prime. Res64: 77CA5EE49776A7A0 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:59:37] 915*2^1429670-1 is not prime. Res64: 544A142F2548862F Time : 0.0 sec. user=mdettweiler [2016-05-19 09:59:37] 751*2^1429671-1 is not prime. Res64: B29DFEE1CACAB804 Time : 0.0 sec. user=mdettweiler [2016-05-19 09:59:37] 805*2^1429671-1 is not prime. Res64: 6B61869F8308614E Time : 0.0 sec. user=mdettweiler [2016-05-19 10:12:02] 859*2^1429671-1 is not prime. Res64: 9C6F3AFE628C1BC9 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:12:02] 873*2^1429671-1 is not prime. Res64: AC59FDC74A10F17A Time : 0.0 sec. user=mdettweiler [2016-05-19 10:12:03] 885*2^1429671-1 is not prime. Res64: 34C23F9D18881079 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:12:03] 891*2^1429671-1 is not prime. Res64: 86719C07ED441347 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:12:04] 895*2^1429671-1 is not prime. Res64: 7F22B73179EF41C9 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:34:03] 949*2^1429671-1 is not prime. Res64: 9BEBCFC910DBE5FB Time : 0.0 sec. user=mdettweiler [2016-05-19 10:34:04] 961*2^1429671-1 is not prime. Res64: 15F7570304B588E2 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:34:04] 999*2^1429671-1 is not prime. Res64: DAB89BC3E1A87DD2 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:34:04] 635*2^1429672-1 is not prime. Res64: FDB6BA2DB69B0A77 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:34:05] 825*2^1429672-1 is not prime. Res64: 6D136FE47A0B44E5 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:37:37] 863*2^1429672-1 is not prime. Res64: 2A35348D44ABFB13 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:37:37] 869*2^1429672-1 is not prime. Res64: 090D22370A64C755 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:37:37] 631*2^1429673-1 is not prime. Res64: A9991DCCBE9287A0 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:37:37] 697*2^1429673-1 is not prime. Res64: A922DED97294DF5E Time : 0.0 sec. user=mdettweiler [2016-05-19 10:37:38] 735*2^1429673-1 is not prime. Res64: 7C7E40F3E5D7FB8E Time : 0.0 sec. user=mdettweiler [2016-05-19 10:47:38] 741*2^1429673-1 is not prime. Res64: 0258E7C273CB9E14 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:47:38] 867*2^1429673-1 is not prime. Res64: 14642FEC24F79E62 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:47:38] 885*2^1429673-1 is not prime. Res64: C68B96BB10BCB3F7 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:47:39] 901*2^1429673-1 is not prime. Res64: BC5A55133E698BB3 Time : 0.0 sec. user=mdettweiler [2016-05-19 10:47:39] 967*2^1429673-1 is not prime. Res64: 6002263650B6F38F Time : 0.0 sec. user=mdettweiler [2016-05-19 11:00:04] 987*2^1429673-1 is not prime. Res64: 731A5E604A81489C Time : 0.0 sec. user=mdettweiler [2016-05-19 11:00:04] 633*2^1429674-1 is not prime. Res64: 04D8D87E8D9AB8DB Time : 0.0 sec. user=mdettweiler [2016-05-19 11:00:04] 651*2^1429674-1 is not prime. Res64: A5E0B6A8E20B5903 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:00:05] 791*2^1429674-1 is not prime. Res64: 5585885B971F4F93 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:00:05] 875*2^1429674-1 is not prime. Res64: 54DDFFCCB1108CF6 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:20:17] 917*2^1429674-1 is not prime. Res64: FD33011741F9847E Time : 0.0 sec. user=mdettweiler [2016-05-19 11:20:18] 709*2^1429675-1 is not prime. Res64: 36375AE920E22AE2 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:20:24] 733*2^1429675-1 is not prime. Res64: 74DDE0670EF5ECB0 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:20:24] 741*2^1429675-1 is not prime. Res64: 712082E92802AA7F Time : 0.0 sec. user=mdettweiler [2016-05-19 11:20:25] 789*2^1429675-1 is not prime. Res64: A0CE441023D298B8 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:23:35] 675*2^1429676-1 is not prime. Res64: D3BFE3C903D39625 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:23:35] 717*2^1429676-1 is not prime. Res64: D1A54C2C2550F02F Time : 0.0 sec. user=mdettweiler [2016-05-19 11:23:36] 749*2^1429676-1 is not prime. Res64: 60791D1888F3D65D Time : 0.0 sec. user=mdettweiler [2016-05-19 11:23:36] 755*2^1429676-1 is not prime. Res64: F5C047DE12BECC8F Time : 0.0 sec. user=mdettweiler [2016-05-19 11:23:37] 869*2^1429676-1 is not prime. Res64: 8103ED2CA5B76F5D Time : 0.0 sec. user=mdettweiler [2016-05-19 11:32:52] 897*2^1429676-1 is not prime. Res64: EE7D041D408E2670 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:32:52] 987*2^1429676-1 is not prime. Res64: 08F7F8DF528C6A70 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:32:53] 655*2^1429677-1 is not prime. Res64: 9490521B45A1EBBF Time : 0.0 sec. user=mdettweiler [2016-05-19 11:32:53] 727*2^1429677-1 is not prime. Res64: 5483161533EE9CC7 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:32:53] 847*2^1429677-1 is not prime. Res64: 8382C13B582FC28E Time : 0.0 sec. user=mdettweiler [2016-05-19 11:45:08] 859*2^1429677-1 is not prime. Res64: D8A296AAA51FA83D Time : 0.0 sec. user=mdettweiler [2016-05-19 11:45:09] 919*2^1429677-1 is not prime. Res64: 7C4E9C110CF5962C Time : 0.0 sec. user=mdettweiler [2016-05-19 11:45:09] 603*2^1429678-1 is not prime. Res64: BDD5FFB65EAEFFE1 Time : 0.0 sec. user=mdettweiler [2016-05-19 11:45:09] 611*2^1429678-1 is not prime. Res64: 169E7877D3567F4D Time : 0.0 sec. user=mdettweiler [2016-05-19 11:45:10] 647*2^1429678-1 is not prime. Res64: 874C43DD3CF72909 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:05:26] 713*2^1429678-1 is not prime. Res64: C56E67E10F839E14 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:05:27] 801*2^1429678-1 is not prime. Res64: B88CE6E87C0F05E4 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:05:28] 815*2^1429678-1 is not prime. Res64: BD737B77F37BAF78 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:05:29] 857*2^1429678-1 is not prime. Res64: F8539EE5ED26F431 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:05:30] 887*2^1429678-1 is not prime. Res64: 885790EA1A632294 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:08:39] 915*2^1429678-1 is not prime. Res64: D9810D2F937EC1A3 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:08:39] 975*2^1429678-1 is not prime. Res64: B2542C5EE930E7DB Time : 0.0 sec. user=mdettweiler [2016-05-19 12:08:39] 615*2^1429679-1 is not prime. Res64: 75603AE796679560 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:08:40] 645*2^1429679-1 is not prime. Res64: 1DB86574E91F8A9D Time : 0.0 sec. user=mdettweiler [2016-05-19 12:08:41] 775*2^1429679-1 is not prime. Res64: 3541390A8F20A003 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:18:04] 913*2^1429679-1 is not prime. Res64: 7259A64F5B471B94 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:18:04] 737*2^1429680-1 is not prime. Res64: 75EDBAF34B4DEDF3 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:18:05] 765*2^1429680-1 is not prime. Res64: 79164DE33D0A8287 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:18:05] 779*2^1429680-1 is not prime. Res64: CD6F317FEFA07599 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:18:06] 637*2^1429681-1 is not prime. Res64: A65DEA5986B5E808 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:30:03] 651*2^1429681-1 is not prime. Res64: 68363A359F711EF9 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:30:05] 681*2^1429681-1 is not prime. Res64: CDC07411B5949F3F Time : 0.0 sec. user=mdettweiler [2016-05-19 12:30:08] 847*2^1429681-1 is not prime. Res64: DDA71248D4CDF757 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:30:09] 855*2^1429681-1 is not prime. Res64: 0251FDD59BF124FF Time : 0.0 sec. user=mdettweiler [2016-05-19 12:30:11] 895*2^1429681-1 is not prime. Res64: DF290F6D357F1568 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:50:40] 901*2^1429681-1 is not prime. Res64: 083923C3A8708933 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:50:41] 675*2^1429682-1 is not prime. Res64: 1979DFF3A8201828 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:50:41] 797*2^1429682-1 is not prime. Res64: AA34F1A569C28DEF Time : 0.0 sec. user=mdettweiler [2016-05-19 12:50:42] 815*2^1429682-1 is not prime. Res64: 7390C58663A9B051 Time : 0.0 sec. user=mdettweiler [2016-05-19 12:50:42] 963*2^1429682-1 is not prime. Res64: 3560E55ACD6B0C71 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:03:09] 961*2^1429683-1 is not prime. Res64: 6656A7510A5C09AF Time : 0.0 sec. user=mdettweiler [2016-05-19 13:03:10] 639*2^1429684-1 is not prime. Res64: C67AD6014685DA5B Time : 0.0 sec. user=mdettweiler [2016-05-19 13:03:11] 863*2^1429684-1 is not prime. Res64: 8C656D867F4B079D Time : 0.0 sec. user=mdettweiler [2016-05-19 13:03:12] 601*2^1429685-1 is not prime. Res64: 38E619BD6C5D0668 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:03:13] 607*2^1429685-1 is not prime. Res64: C3E9FBDD3AF8A3D4 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:15:38] 699*2^1429685-1 is not prime. Res64: 7D0D29D751DCDBD0 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:15:39] 711*2^1429685-1 is not prime. Res64: 25D9ED701B4AA73E Time : 0.0 sec. user=mdettweiler [2016-05-19 13:15:39] 889*2^1429685-1 is not prime. Res64: 1BF888EF0E22F93D Time : 0.0 sec. user=mdettweiler [2016-05-19 13:15:39] 939*2^1429685-1 is not prime. Res64: 02125FA102207B32 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:15:40] 981*2^1429685-1 is not prime. Res64: 1139AE56DA64C302 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:17:51] 995*2^1429682-1 is not prime. Res64: 333F297160D006B0 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:17:52] 691*2^1429683-1 is not prime. Res64: 26EAC628FE64CDE1 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:17:52] 699*2^1429683-1 is not prime. Res64: 805CAFFA548BB196 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:17:52] 751*2^1429683-1 is not prime. Res64: 112FDAF08B2822D7 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:17:53] 885*2^1429683-1 is not prime. Res64: 7AFCCD4DA548EEEE Time : 0.0 sec. user=mdettweiler [2016-05-19 13:35:56] 677*2^1429686-1 is not prime. Res64: 345613BDFF56467D Time : 0.0 sec. user=mdettweiler [2016-05-19 13:35:57] 683*2^1429686-1 is not prime. Res64: 55E13E892DD9BD9E Time : 0.0 sec. user=mdettweiler [2016-05-19 13:35:57] 707*2^1429686-1 is not prime. Res64: 66DD9EEBFA0EFBD3 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:35:58] 717*2^1429686-1 is not prime. Res64: 9B642F2916E01D11 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:35:58] 851*2^1429686-1 is not prime. Res64: 33800DBC36FDACDD Time : 0.0 sec. user=mdettweiler [2016-05-19 13:48:47] 893*2^1429686-1 is not prime. Res64: E62D9D1BFBA70C6E Time : 0.0 sec. user=mdettweiler [2016-05-19 13:48:48] 619*2^1429687-1 is not prime. Res64: 8CC331B7F639E202 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:48:48] 693*2^1429687-1 is not prime. Res64: 707197D5D34E3E04 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:48:49] 843*2^1429687-1 is not prime. Res64: C9CC86550AFF1A66 Time : 0.0 sec. user=mdettweiler [2016-05-19 13:48:50] 873*2^1429687-1 is not prime. Res64: 9845903227C34C2F Time : 0.0 sec. user=mdettweiler [2016-05-19 14:00:51] 901*2^1429687-1 is not prime. Res64: E3D4E93CDA19EA23 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:00:52] 933*2^1429687-1 is not prime. Res64: C25F0B1A51941AB6 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:00:53] 663*2^1429688-1 is not prime. Res64: 804B81D067A2A505 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:00:54] 669*2^1429688-1 is not prime. Res64: 40E325FDB53F2366 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:00:55] 767*2^1429688-1 is not prime. Res64: A06A793FB3B06B24 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:03:05] 773*2^1429688-1 is not prime. Res64: BE19523D3EEC2A1E Time : 0.0 sec. user=mdettweiler [2016-05-19 14:03:06] 929*2^1429688-1 is not prime. Res64: 4ECDB725931556B2 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:03:06] 957*2^1429688-1 is not prime. Res64: 6A9157351427C27B Time : 0.0 sec. user=mdettweiler [2016-05-19 14:03:07] 963*2^1429688-1 is not prime. Res64: 57E650093EA72B9E Time : 0.0 sec. user=mdettweiler [2016-05-19 14:03:08] 977*2^1429688-1 is not prime. Res64: 9E02E736DB009F0C Time : 0.0 sec. user=mdettweiler [2016-05-19 14:21:28] 999*2^1429688-1 is not prime. Res64: 1C1DCCDAA824EFD5 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:21:29] 637*2^1429689-1 is not prime. Res64: 829278BD7ECE15B0 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:21:29] 685*2^1429689-1 is not prime. Res64: 3492059D9091A4CC Time : 0.0 sec. user=mdettweiler [2016-05-19 14:21:29] 711*2^1429689-1 is not prime. Res64: 04AD2A117B0F43A7 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:21:30] 727*2^1429689-1 is not prime. Res64: FB3BDB0A4B3DA66A Time : 0.0 sec. user=mdettweiler [2016-05-19 14:34:48] 747*2^1429689-1 is not prime. Res64: E9C26308E966E7D6 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:34:49] 811*2^1429689-1 is not prime. Res64: 5D9FAE5A3FCD6AC2 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:34:49] 847*2^1429689-1 is not prime. Res64: 7A20193C583F7595 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:34:49] 889*2^1429689-1 is not prime. Res64: 8ED42C2408E654C1 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:34:50] 979*2^1429689-1 is not prime. Res64: 3B5F6A835DA0D168 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:47:46] 603*2^1429690-1 is not prime. Res64: DF60FE0CD7F0F735 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:47:46] 695*2^1429690-1 is not prime. Res64: 984FD9A655B16B6D Time : 0.0 sec. user=mdettweiler [2016-05-19 14:47:47] 783*2^1429690-1 is not prime. Res64: E988ECDCB80D936C Time : 0.0 sec. user=mdettweiler [2016-05-19 14:47:47] 821*2^1429690-1 is not prime. Res64: F1E28791B2E17145 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:47:48] 831*2^1429690-1 is not prime. Res64: 84091D80C438DC5A Time : 0.0 sec. user=mdettweiler [2016-05-19 14:49:56] 945*2^1429690-1 is not prime. Res64: F7179BC646DB7644 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:49:56] 703*2^1429691-1 is not prime. Res64: 175E8D00621E3FD7 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:49:56] 753*2^1429691-1 is not prime. Res64: 97643F3183EBD845 Time : 0.0 sec. user=mdettweiler [2016-05-19 14:49:57] 979*2^1429691-1 is not prime. Res64: 12D19DADCC71F57C Time : 0.0 sec. user=mdettweiler [2016-05-19 14:49:57] 719*2^1429692-1 is not prime. Res64: 6CAE7E2D9280FE5E Time : 0.0 sec. user=mdettweiler [2016-05-19 15:08:51] 825*2^1429692-1 is not prime. Res64: 646E8F567FAD9F23 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:08:52] 867*2^1429692-1 is not prime. Res64: 357CC0F264B849BC Time : 0.0 sec. user=mdettweiler [2016-05-19 15:08:54] 879*2^1429692-1 is not prime. Res64: 66A95FB041BAF8FE Time : 0.0 sec. user=mdettweiler [2016-05-19 15:08:55] 899*2^1429692-1 is not prime. Res64: D8F74DF6666DFAB6 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:08:56] 909*2^1429692-1 is not prime. Res64: E372158E0271ADE3 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:21:27] 965*2^1429692-1 is not prime. Res64: BD9FA1B0A2E146D3 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:21:28] 685*2^1429693-1 is not prime. Res64: 1212201626900E44 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:21:28] 715*2^1429693-1 is not prime. Res64: 1EBF6B8C14ECF74D Time : 0.0 sec. user=mdettweiler [2016-05-19 15:21:29] 801*2^1429693-1 is not prime. Res64: 47FE5253FDFD0BD3 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:21:29] 861*2^1429693-1 is not prime. Res64: 05687465B506E8E0 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:34:02] 615*2^1429694-1 is not prime. Res64: 39C4A089B34CC353 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:34:02] 813*2^1429694-1 is not prime. Res64: D2FBDEC011F946B0 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:34:02] 827*2^1429694-1 is not prime. Res64: 012FF3F073CF4527 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:34:03] 851*2^1429694-1 is not prime. Res64: 5FA8C1E27D3CD24C Time : 0.0 sec. user=mdettweiler [2016-05-19 15:34:03] 917*2^1429694-1 is not prime. Res64: 983131BA818C8BF8 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:36:10] 993*2^1429694-1 is not prime. Res64: A1C849AA85FA553C Time : 0.0 sec. user=mdettweiler [2016-05-19 15:36:11] 711*2^1429695-1 is not prime. Res64: D70D17D03E96AF2D Time : 0.0 sec. user=mdettweiler [2016-05-19 15:36:11] 823*2^1429695-1 is not prime. Res64: C413F0CFC8973355 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:36:11] 825*2^1429695-1 is not prime. Res64: B849C76E147BAE40 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:36:12] 849*2^1429695-1 is not prime. Res64: A5310FB4BB0E9895 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:54:38] 951*2^1429695-1 is not prime. Res64: 1AE0A139ABF8F0C7 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:54:38] 955*2^1429695-1 is not prime. Res64: 252308C4E167F38E Time : 0.0 sec. user=mdettweiler [2016-05-19 15:54:39] 603*2^1429696-1 is not prime. Res64: 7F9246B586BC2781 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:54:39] 615*2^1429696-1 is not prime. Res64: 8C2B4BD3194C5FA0 Time : 0.0 sec. user=mdettweiler [2016-05-19 15:54:39] 719*2^1429696-1 is not prime. Res64: 7557DC7E38D5C472 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:06:55] 735*2^1429696-1 is not prime. Res64: 9D6702ADBF65933B Time : 0.0 sec. user=mdettweiler [2016-05-19 16:06:56] 843*2^1429696-1 is not prime. Res64: 1393B774967372A1 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:06:56] 873*2^1429696-1 is not prime. Res64: 27AB7F1801AC081E Time : 0.0 sec. user=mdettweiler [2016-05-19 16:06:56] 903*2^1429696-1 is not prime. Res64: 418B044613A23673 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:06:57] 615*2^1429697-1 is not prime. Res64: 10058B525BC8FD1F Time : 0.0 sec. user=mdettweiler [2016-05-19 16:19:28] 645*2^1429697-1 is not prime. Res64: F854C81F01A89BCD Time : 0.0 sec. user=mdettweiler [2016-05-19 16:19:28] 691*2^1429697-1 is not prime. Res64: 1A3BD4C53DDB7C42 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:19:28] 697*2^1429697-1 is not prime. Res64: 31DA451D72D8B7E1 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:19:29] 841*2^1429697-1 is not prime. Res64: 738A18FE6A8A1A98 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:19:29] 879*2^1429697-1 is not prime. Res64: D90EE72F2B711675 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:21:28] 925*2^1429697-1 is not prime. Res64: AAE66BCD8538D260 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:21:29] 633*2^1429698-1 is not prime. Res64: B88B5B260BE25F6D Time : 0.0 sec. user=mdettweiler [2016-05-19 16:21:29] 731*2^1429698-1 is not prime. Res64: 88F4D54582EC882F Time : 0.0 sec. user=mdettweiler [2016-05-19 16:21:30] 773*2^1429698-1 is not prime. Res64: CF7221BB4F5B1217 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:21:31] 801*2^1429698-1 is not prime. Res64: 3EB205D4D93416E8 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:39:46] 921*2^1429698-1 is not prime. Res64: C149EBC810929728 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:39:46] 601*2^1429699-1 is not prime. Res64: FC1531386E460838 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:39:46] 733*2^1429699-1 is not prime. Res64: 6208DD203F1901FA Time : 0.0 sec. user=mdettweiler [2016-05-19 16:39:47] 751*2^1429699-1 is not prime. Res64: 22A1C119BD3D11B2 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:39:47] 771*2^1429699-1 is not prime. Res64: A8D03B5811204ECA Time : 0.0 sec. user=mdettweiler [2016-05-19 16:52:13] 793*2^1429699-1 is not prime. Res64: D3C88133D407293A Time : 0.0 sec. user=mdettweiler [2016-05-19 16:52:14] 829*2^1429699-1 is not prime. Res64: 7C22C5D7CF2C2562 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:52:14] 615*2^1429700-1 is not prime. Res64: 4CB18213F6EA2230 Time : 0.0 sec. user=mdettweiler [2016-05-19 16:52:14] 789*2^1429700-1 is not prime. Res64: FC4023BE6BBAF61D Time : 0.0 sec. user=mdettweiler [2016-05-19 16:52:15] 875*2^1429700-1 is not prime. Res64: E24FCF33B8DE654B Time : 0.0 sec. user=mdettweiler [2016-05-19 17:04:42] 879*2^1429700-1 is not prime. Res64: B97956CD2864BB35 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:04:43] 929*2^1429700-1 is not prime. Res64: 997D912949F9DFA7 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:04:44] 681*2^1429701-1 is not prime. Res64: F73382D0CC2DCC0E Time : 0.0 sec. user=mdettweiler [2016-05-19 17:04:46] 819*2^1429701-1 is not prime. Res64: 5A0AC7C56F323173 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:04:48] 829*2^1429701-1 is not prime. Res64: B60E612D637F8D46 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:06:39] 955*2^1429701-1 is not prime. Res64: F2A7BA414ECF4926 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:06:41] 961*2^1429701-1 is not prime. Res64: D3FEA4356D3CA7A6 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:06:44] 647*2^1429702-1 is not prime. Res64: AF01C0FC6607996A Time : 0.0 sec. user=mdettweiler [2016-05-19 17:06:46] 657*2^1429702-1 is not prime. Res64: EB1AA0798F0F5DCC Time : 0.0 sec. user=mdettweiler [2016-05-19 17:06:48] 665*2^1429702-1 is not prime. Res64: E597F76778131739 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:25:00] 705*2^1429702-1 is not prime. Res64: 685C5628852E076C Time : 0.0 sec. user=mdettweiler [2016-05-19 17:25:01] 765*2^1429702-1 is not prime. Res64: 22454AA40DE3B50F Time : 0.0 sec. user=mdettweiler [2016-05-19 17:25:01] 815*2^1429702-1 is not prime. Res64: 1471B695E945E270 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:25:02] 825*2^1429702-1 is not prime. Res64: 26092F7575C288FD Time : 0.0 sec. user=mdettweiler [2016-05-19 17:25:02] 867*2^1429702-1 is not prime. Res64: 38B7A119BCB71391 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:37:35] 873*2^1429702-1 is not prime. Res64: B98DDE49AFF84F03 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:37:35] 891*2^1429702-1 is not prime. Res64: 11E589EEEE10157B Time : 0.0 sec. user=mdettweiler [2016-05-19 17:37:36] 609*2^1429703-1 is not prime. Res64: E92F9AA286174D57 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:37:36] 729*2^1429703-1 is not prime. Res64: D2E53F67D6FAB4F7 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:37:37] 945*2^1429703-1 is not prime. Res64: B8CAB2D0AA9E7E8C Time : 0.0 sec. user=mdettweiler [2016-05-19 17:50:50] 963*2^1429703-1 is not prime. Res64: C753ECF494597204 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:50:50] 629*2^1429704-1 is not prime. Res64: 72ADA66E20C435BF Time : 0.0 sec. user=mdettweiler [2016-05-19 17:50:51] 663*2^1429704-1 is not prime. Res64: D3DAE8DA87F63EE6 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:50:52] 843*2^1429704-1 is not prime. Res64: D07412CA2060D039 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:50:52] 609*2^1429705-1 is not prime. Res64: D8A4F9BD7ABD7CB9 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:52:37] 661*2^1429705-1 is not prime. Res64: 75E38B5D3DEBC0C8 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:52:37] 847*2^1429705-1 is not prime. Res64: 01BFADE17F1BB8C1 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:52:37] 867*2^1429705-1 is not prime. Res64: 5A6099D9C86ACA7E Time : 0.0 sec. user=mdettweiler [2016-05-19 17:52:37] 955*2^1429705-1 is not prime. Res64: 7D790E88A2673687 Time : 0.0 sec. user=mdettweiler [2016-05-19 17:52:38] 641*2^1429706-1 is not prime. Res64: 3F27A4E5474F5680 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:10:57] 713*2^1429706-1 is not prime. Res64: F4606931D0D1A14E Time : 0.0 sec. user=mdettweiler [2016-05-19 18:10:57] 767*2^1429706-1 is not prime. Res64: 37E22DA4FCBF70B0 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:10:58] 941*2^1429706-1 is not prime. Res64: E6169A8B523BE92A Time : 0.0 sec. user=mdettweiler [2016-05-19 18:10:58] 945*2^1429706-1 is not prime. Res64: E344478F218DD47F Time : 0.0 sec. user=mdettweiler [2016-05-19 18:10:58] 957*2^1429706-1 is not prime. Res64: 0884B768AE2BF2A6 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:23:28] 619*2^1429707-1 is not prime. Res64: C83FA85C1934D93D Time : 0.0 sec. user=mdettweiler [2016-05-19 18:23:28] 735*2^1429707-1 is not prime. Res64: 4F7743DD51D2CCF1 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:23:29] 769*2^1429707-1 is not prime. Res64: 568168581C46A578 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:23:29] 945*2^1429707-1 is not prime. Res64: 35AD5C219C8A8A99 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:23:30] 949*2^1429707-1 is not prime. Res64: CC6069549F75A9F7 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:36:38] 961*2^1429707-1 is not prime. Res64: 4D0FAB6EC41DD2B8 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:36:38] 699*2^1429708-1 is not prime. Res64: 39B11AED9F25BE5A Time : 0.0 sec. user=mdettweiler [2016-05-19 18:36:38] 845*2^1429708-1 is not prime. Res64: 527FE40F5EDFE2BE Time : 0.0 sec. user=mdettweiler [2016-05-19 18:36:39] 957*2^1429708-1 is not prime. Res64: 4D19705546A58DB7 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:36:39] 959*2^1429708-1 is not prime. Res64: BFECB505C057A74E Time : 0.0 sec. user=mdettweiler [2016-05-19 18:38:00] 989*2^1429708-1 is not prime. Res64: E752CECA4287B29A Time : 0.0 sec. user=mdettweiler [2016-05-19 18:38:00] 999*2^1429708-1 is not prime. Res64: ACB502961AFF7F7A Time : 0.0 sec. user=mdettweiler [2016-05-19 18:38:01] 631*2^1429709-1 is not prime. Res64: 4E46C4E8E1F7D364 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:38:01] 829*2^1429709-1 is not prime. Res64: 356D6714BF5A9EE5 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:38:01] 945*2^1429709-1 is not prime. Res64: 50B4589F086552CC Time : 0.0 sec. user=mdettweiler [2016-05-19 18:56:18] 949*2^1429709-1 is not prime. Res64: 66F6741B1F9F00C3 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:56:19] 955*2^1429709-1 is not prime. Res64: BC22DD66883D890E Time : 0.0 sec. user=mdettweiler [2016-05-19 18:56:19] 967*2^1429709-1 is not prime. Res64: 88D6D0BB92579AB8 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:56:19] 969*2^1429709-1 is not prime. Res64: 0AE36E5D84524889 Time : 0.0 sec. user=mdettweiler [2016-05-19 18:56:20] 611*2^1429710-1 is not prime. Res64: AC45CC348F4AF080 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:08:32] 653*2^1429710-1 is not prime. Res64: EB5FF6C5A0027067 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:08:33] 707*2^1429710-1 is not prime. Res64: AEF1816AC8802DCC Time : 0.0 sec. user=mdettweiler [2016-05-19 19:08:34] 711*2^1429710-1 is not prime. Res64: B6EE3EB3FF6F3E7C Time : 0.0 sec. user=mdettweiler [2016-05-19 19:08:35] 741*2^1429710-1 is not prime. Res64: BB7C6F60FD671391 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:08:37] 761*2^1429710-1 is not prime. Res64: C3B4FA863D046544 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:21:56] 783*2^1429710-1 is not prime. Res64: FB432FCDEC15FE9B Time : 0.0 sec. user=mdettweiler [2016-05-19 19:21:56] 601*2^1429711-1 is not prime. Res64: 745630132BC68CA7 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:21:57] 735*2^1429711-1 is not prime. Res64: 844640FE4B18908E Time : 0.0 sec. user=mdettweiler [2016-05-19 19:21:57] 771*2^1429711-1 is not prime. Res64: BD525DDB1AA25701 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:22:00] 805*2^1429711-1 is not prime. Res64: 99ED370DA4870DF4 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:23:05] 885*2^1429711-1 is not prime. Res64: 5A01D3EEF3F2556A Time : 0.0 sec. user=mdettweiler [2016-05-19 19:23:06] 909*2^1429711-1 is not prime. Res64: 63ACCC6178646BEB Time : 0.0 sec. user=mdettweiler [2016-05-19 19:23:06] 635*2^1429712-1 is not prime. Res64: F15F4712464DCAA7 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:23:07] 689*2^1429712-1 is not prime. Res64: 180739AE2EC1BB07 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:23:07] 743*2^1429712-1 is not prime. Res64: 2E69970598E3B733 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:41:29] 843*2^1429712-1 is not prime. Res64: 229F38DA1B72C3A3 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:41:29] 637*2^1429713-1 is not prime. Res64: 30EB1C4BCC776B43 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:41:30] 651*2^1429713-1 is not prime. Res64: F0455D688F919676 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:41:30] 699*2^1429713-1 is not prime. Res64: E12691CE381B5424 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:41:30] 751*2^1429713-1 is not prime. Res64: 955EE5152633BD39 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:53:48] 787*2^1429713-1 is not prime. Res64: 0377B6FC2D84E0EB Time : 0.0 sec. user=mdettweiler [2016-05-19 19:53:48] 847*2^1429713-1 is not prime. Res64: 1C0ABABD8BDAE887 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:53:49] 895*2^1429713-1 is not prime. Res64: 6D1BEF1762268F46 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:53:49] 611*2^1429714-1 is not prime. Res64: 5F8B846B2388FE90 Time : 0.0 sec. user=mdettweiler [2016-05-19 19:53:49] 681*2^1429714-1 is not prime. Res64: 7B639534001DC6E5 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:07:08] 705*2^1429714-1 is not prime. Res64: 0E9F203842E49389 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:07:09] 723*2^1429714-1 is not prime. Res64: 4EE6E3BC11311353 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:07:10] 755*2^1429714-1 is not prime. Res64: F22AAD4100F781E9 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:07:10] 825*2^1429714-1 is not prime. Res64: C41AC3A87434A954 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:07:11] 881*2^1429714-1 is not prime. Res64: 88DB3721D2541F6C Time : 0.0 sec. user=mdettweiler [2016-05-19 20:08:05] 957*2^1429714-1 is not prime. Res64: 3C20D4226063B9A8 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:08:06] 993*2^1429714-1 is not prime. Res64: 859070B589B6EB71 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:08:06] 645*2^1429715-1 is not prime. Res64: AD89B221A8240A78 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:08:07] 693*2^1429715-1 is not prime. Res64: 7AA1FD3AB2AAB809 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:08:07] 699*2^1429715-1 is not prime. Res64: F793476561808621 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:26:38] 705*2^1429715-1 is not prime. Res64: 5BB659E4787DBC9E Time : 0.0 sec. user=mdettweiler [2016-05-19 20:26:38] 825*2^1429715-1 is not prime. Res64: 9993C78B65D9CB30 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:26:39] 913*2^1429715-1 is not prime. Res64: D15D3AA0354C32FF Time : 0.0 sec. user=mdettweiler [2016-05-19 20:26:40] 939*2^1429715-1 is not prime. Res64: E21B3BA3F53E2DC7 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:26:40] 973*2^1429715-1 is not prime. Res64: 4C41AD6BE1D51573 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:39:15] 689*2^1429716-1 is not prime. Res64: B765520085E8FFE6 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:39:15] 905*2^1429716-1 is not prime. Res64: 45D327764F7986F4 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:39:16] 923*2^1429716-1 is not prime. Res64: 3BA6403C10207D2A Time : 0.0 sec. user=mdettweiler [2016-05-19 20:39:16] 927*2^1429716-1 is not prime. Res64: 5C222044510BB98E Time : 0.0 sec. user=mdettweiler [2016-05-19 20:39:16] 651*2^1429717-1 is not prime. Res64: 6BCD86DA9CAA1D22 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:52:33] 685*2^1429717-1 is not prime. Res64: C15E87DC44F3CD37 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:52:33] 861*2^1429717-1 is not prime. Res64: B641E62D6B668BC1 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:52:33] 931*2^1429717-1 is not prime. Res64: F37FFCC8513EC1BF Time : 0.0 sec. user=mdettweiler [2016-05-19 20:52:34] 683*2^1429718-1 is not prime. Res64: 9CF614260CCD5054 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:52:34] 753*2^1429718-1 is not prime. Res64: 4DB2B98B42F219CB Time : 0.0 sec. user=mdettweiler [2016-05-19 20:53:20] 797*2^1429718-1 is not prime. Res64: 8F0435FB71B2A95A Time : 0.0 sec. user=mdettweiler [2016-05-19 20:53:20] 845*2^1429718-1 is not prime. Res64: 62A0F725B569FFC2 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:53:21] 857*2^1429718-1 is not prime. Res64: 807BFDEF1059EFD0 Time : 0.0 sec. user=mdettweiler [2016-05-19 20:53:21] 885*2^1429718-1 is not prime. Res64: 5C9B5E01ED21B2FC Time : 0.0 sec. user=mdettweiler [2016-05-19 20:53:21] 893*2^1429718-1 is not prime. Res64: B4620114F4C42105 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:11:33] 745*2^1429719-1 is not prime. Res64: A5CF4594E3E4335B Time : 0.0 sec. user=mdettweiler [2016-05-19 21:11:34] 831*2^1429719-1 is not prime. Res64: FFFC8D3C18012156 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:11:34] 859*2^1429719-1 is not prime. Res64: 199CAB1E2835EB95 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:11:35] 873*2^1429719-1 is not prime. Res64: 16A00E89B31DED91 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:11:35] 919*2^1429719-1 is not prime. Res64: 1A5DEE9030865C6E Time : 0.0 sec. user=mdettweiler [2016-05-19 21:24:22] 955*2^1429719-1 is not prime. Res64: 0D2C48F56F0ECF5D Time : 0.0 sec. user=mdettweiler [2016-05-19 21:24:22] 979*2^1429719-1 is not prime. Res64: BBBEB2FA80A8F542 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:24:23] 695*2^1429720-1 is not prime. Res64: A3250C7E29AF6612 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:24:23] 777*2^1429720-1 is not prime. Res64: 3F763AAE2301AD66 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:24:24] 813*2^1429720-1 is not prime. Res64: 09C1A9D9BDF5EDB9 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:37:28] 827*2^1429720-1 is not prime. Res64: 4C629BF7DF2E6B7F Time : 0.0 sec. user=mdettweiler [2016-05-19 21:37:28] 619*2^1429721-1 is not prime. Res64: 0DA1E8CEB229B6A1 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:37:29] 657*2^1429721-1 is not prime. Res64: 51EDA993E74413F0 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:37:30] 675*2^1429721-1 is not prime. Res64: F82D2B2D313F6728 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:37:30] 711*2^1429721-1 is not prime. Res64: 972CC1000A9F0CB4 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:38:25] 717*2^1429721-1 is not prime. Res64: FCD5DEA9103DBA60 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:38:25] 611*2^1429722-1 is not prime. Res64: 0B0D950FD8B25EE1 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:38:26] 705*2^1429722-1 is not prime. Res64: 7399F0515ADC09A0 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:38:26] 711*2^1429722-1 is not prime. Res64: E664410595ACC9A8 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:38:27] 777*2^1429722-1 is not prime. Res64: F35716D311F322A1 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:56:34] 797*2^1429722-1 is not prime. Res64: FBF41E4CFBDA0F19 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:56:34] 803*2^1429722-1 is not prime. Res64: 9539E40B9F13D030 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:56:35] 867*2^1429722-1 is not prime. Res64: 16512FD754C62AE6 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:56:35] 921*2^1429722-1 is not prime. Res64: 8D873AF722E80B47 Time : 0.0 sec. user=mdettweiler [2016-05-19 21:56:35] 633*2^1429723-1 is not prime. Res64: 53F947D2822ADA08 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:09:27] 793*2^1429723-1 is not prime. Res64: 0999E9AC8B32AF19 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:09:27] 813*2^1429723-1 is not prime. Res64: 90E112DC3FE8D33D Time : 0.0 sec. user=mdettweiler [2016-05-19 22:09:28] 883*2^1429723-1 is not prime. Res64: 3504A1F99BC9810D Time : 0.0 sec. user=mdettweiler [2016-05-19 22:09:28] 795*2^1429724-1 is not prime. Res64: 80C0A67E71814812 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:09:29] 813*2^1429724-1 is not prime. Res64: 72FA0B95A4C331F3 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:22:31] 909*2^1429724-1 is not prime. Res64: 9C7CC97EDC66C211 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:22:31] 679*2^1429725-1 is not prime. Res64: 3E5BBA5206EA54D5 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:22:32] 777*2^1429725-1 is not prime. Res64: 56E8184074FFE853 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:22:32] 847*2^1429725-1 is not prime. Res64: 17C6DE45047958EA Time : 0.0 sec. user=mdettweiler [2016-05-19 22:22:33] 861*2^1429725-1 is not prime. Res64: C13C08EC533E69EF Time : 0.0 sec. user=mdettweiler [2016-05-19 22:23:17] 885*2^1429725-1 is not prime. Res64: 54EAF453D901AA05 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:23:17] 919*2^1429725-1 is not prime. Res64: 6B9CE82096EC7D32 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:23:18] 635*2^1429726-1 is not prime. Res64: 1645E96BC33376BA Time : 0.0 sec. user=mdettweiler [2016-05-19 22:23:18] 695*2^1429726-1 is not prime. Res64: 8E31CC8BC3AF0BBA Time : 0.0 sec. user=mdettweiler [2016-05-19 22:23:18] 713*2^1429726-1 is not prime. Res64: 704B0F936700D037 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:41:22] 741*2^1429726-1 is not prime. Res64: 9638E135A9CDED56 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:41:22] 743*2^1429726-1 is not prime. Res64: 144668F9A4856064 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:41:23] 773*2^1429726-1 is not prime. Res64: C467B41D904B17CF Time : 0.0 sec. user=mdettweiler [2016-05-19 22:41:23] 801*2^1429726-1 is not prime. Res64: D50E7CB0ACECAB8A Time : 0.0 sec. user=mdettweiler [2016-05-19 22:41:24] 933*2^1429726-1 is not prime. Res64: 0D0DFB39692989F2 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:54:31] 947*2^1429726-1 is not prime. Res64: 581AE35CC836152F Time : 0.0 sec. user=mdettweiler [2016-05-19 22:54:31] 663*2^1429727-1 is not prime. Res64: B13304D1AAB4F652 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:54:32] 685*2^1429727-1 is not prime. Res64: B4E398A54D3E82F7 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:54:32] 711*2^1429727-1 is not prime. Res64: 2B506F66010D4E33 Time : 0.0 sec. user=mdettweiler [2016-05-19 22:54:32] 741*2^1429727-1 is not prime. Res64: 6896C6E270F1F0D1 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:07:21] 861*2^1429727-1 is not prime. Res64: 7678007D6229B1D6 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:07:22] 973*2^1429727-1 is not prime. Res64: 3AE27DB02ABE9BFE Time : 0.0 sec. user=mdettweiler [2016-05-19 23:07:22] 979*2^1429727-1 is not prime. Res64: 7818CB6DF989FE0D Time : 0.0 sec. user=mdettweiler [2016-05-19 23:07:23] 605*2^1429728-1 is not prime. Res64: B03A10AC4B5BB11B Time : 0.0 sec. user=mdettweiler [2016-05-19 23:07:23] 663*2^1429728-1 is not prime. Res64: 24F20665F0A60504 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:08:15] 683*2^1429728-1 is not prime. Res64: 2486F4BB76B45042 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:08:15] 705*2^1429728-1 is not prime. Res64: 4C1E5AC90648ADB8 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:08:15] 735*2^1429728-1 is not prime. Res64: 64514023094856B2 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:08:16] 825*2^1429728-1 is not prime. Res64: AD5B33A4D2DB26BF Time : 0.0 sec. user=mdettweiler [2016-05-19 23:08:16] 837*2^1429728-1 is not prime. Res64: 5160BC8098525D67 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:26:11] 845*2^1429728-1 is not prime. Res64: 11865609FF3CD23A Time : 0.0 sec. user=mdettweiler [2016-05-19 23:26:11] 959*2^1429728-1 is not prime. Res64: 38108C880D5480A0 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:26:12] 667*2^1429729-1 is not prime. Res64: 144DC2FA5A02431A Time : 0.0 sec. user=mdettweiler [2016-05-19 23:26:12] 729*2^1429729-1 is not prime. Res64: 71C578F274C8CDC9 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:26:12] 831*2^1429729-1 is not prime. Res64: 3D36CA064BA17C39 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:39:16] 909*2^1429729-1 is not prime. Res64: C176E59C62889DBC Time : 0.0 sec. user=mdettweiler [2016-05-19 23:39:17] 605*2^1429730-1 is not prime. Res64: 8F0C43CA1D588AE4 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:39:17] 635*2^1429730-1 is not prime. Res64: 2CD9797F8C2FE24C Time : 0.0 sec. user=mdettweiler [2016-05-19 23:39:18] 743*2^1429730-1 is not prime. Res64: 6E642516712F4196 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:39:18] 783*2^1429730-1 is not prime. Res64: E99AAA7A7A2C0A1B Time : 0.0 sec. user=mdettweiler [2016-05-19 23:52:24] 785*2^1429730-1 is not prime. Res64: D9B7780957436365 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:52:24] 833*2^1429730-1 is not prime. Res64: D679E8A4217F08EA Time : 0.0 sec. user=mdettweiler [2016-05-19 23:52:24] 885*2^1429730-1 is not prime. Res64: 6F177DA6185A929F Time : 0.0 sec. user=mdettweiler [2016-05-19 23:52:25] 921*2^1429730-1 is not prime. Res64: CDE07ECFB06C7AF5 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:52:25] 923*2^1429730-1 is not prime. Res64: 3AA631646544EB10 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:53:03] 691*2^1429731-1 is not prime. Res64: 42F4E5AE0D684E26 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:53:04] 775*2^1429731-1 is not prime. Res64: 98C1AAC21DB46120 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:53:04] 783*2^1429731-1 is not prime. Res64: B3AC8900A2E681D4 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:53:05] 789*2^1429731-1 is not prime. Res64: FAD68494B548BC79 Time : 0.0 sec. user=mdettweiler [2016-05-19 23:53:05] 895*2^1429731-1 is not prime. Res64: EA640AA905733190 Time : 0.0 sec.