user=juhehe [2016-08-20 12:18:58] 785*2^1437926-1 is not prime. Res64: CDF13B493EEC25AB Time : 0.0 sec. user=mdettweiler [2016-08-20 19:07:11] 675*2^1437924-1 is not prime. Res64: ABA425DB9C2A7C03 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:17:00] 783*2^1437924-1 is not prime. Res64: FCF99BC513BF5342 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:17:01] 803*2^1437924-1 is not prime. Res64: 120FA5DB5A222118 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:17:02] 903*2^1437924-1 is not prime. Res64: 04983537CB27DAC8 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:17:03] 983*2^1437924-1 is not prime. Res64: 4AB0722EE79B0A3F Time : 0.0 sec. user=mdettweiler [2016-08-20 19:17:04] 609*2^1437925-1 is not prime. Res64: 4FA4A48A501C1072 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:10] 651*2^1437925-1 is not prime. Res64: 2BFDBBEDE4D1D532 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:12] 667*2^1437925-1 is not prime. Res64: 57B9CD6E0F105CD9 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:14] 675*2^1437925-1 is not prime. Res64: 2E4BEE12C6C3213A Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:15] 715*2^1437925-1 is not prime. Res64: A8644212C97C03E0 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:18] 801*2^1437925-1 is not prime. Res64: F7E18B5E9F0DB289 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:20] 885*2^1437925-1 is not prime. Res64: 5EA3D450739EAD54 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:21] 717*2^1437925-1 is not prime. Res64: BFB9C324E15B985E Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:21] 919*2^1437925-1 is not prime. Res64: FDBE3E77462B5933 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:22] 937*2^1437925-1 is not prime. Res64: E46DBF62C6582F60 Time : 0.0 sec. user=mdettweiler [2016-08-20 19:47:23] 985*2^1437925-1 is not prime. Res64: 6BC0C1F8336B1606 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:05:56] 801*2^1437926-1 is not prime. Res64: 5811E658DED143E7 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:05:57] 843*2^1437926-1 is not prime. Res64: 678C6315F5ACBBE5 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:05:58] 893*2^1437926-1 is not prime. Res64: 2E4568A67F6C11B0 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:06:00] 921*2^1437926-1 is not prime. Res64: 57C85B28641EADFB Time : 0.0 sec. user=mdettweiler [2016-08-20 20:06:01] 935*2^1437926-1 is not prime. Res64: B43BB4DF29A33CCB Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:51] 633*2^1437927-1 is not prime. Res64: 87E560EA57D5BD51 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:51] 713*2^1437928-1 is not prime. Res64: A88A042EEBE14009 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:52] 651*2^1437927-1 is not prime. Res64: B2322FB09E6A524C Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:52] 797*2^1437928-1 is not prime. Res64: 59C93D8FB0EE8B9D Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:52] 831*2^1437927-1 is not prime. Res64: EF5FBF08743E789C Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:52] 845*2^1437928-1 is not prime. Res64: 23E8DF994E31915F Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:52] 919*2^1437927-1 is not prime. Res64: D6CE1C9F6623F174 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:53] 887*2^1437928-1 is not prime. Res64: 7379B39E348C16C7 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:53] 985*2^1437927-1 is not prime. Res64: 9AF2772188039A5E Time : 0.0 sec. user=mdettweiler [2016-08-20 20:32:53] 927*2^1437928-1 is not prime. Res64: 1AA85089FD322BCE Time : 0.0 sec. user=mdettweiler [2016-08-20 20:51:56] 975*2^1437928-1 is not prime. Res64: 4429DE23BD5195E7 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:51:57] 721*2^1437929-1 is not prime. Res64: 371F47DEAEED5B75 Time : 0.0 sec. user=mdettweiler [2016-08-20 20:51:57] 787*2^1437929-1 is not prime. Res64: 3DB92DCB76C83FEB Time : 0.0 sec. user=mdettweiler [2016-08-20 20:51:57] 991*2^1437929-1 is not prime. Res64: 6F7986045949DF4E Time : 0.0 sec. user=mdettweiler [2016-08-20 20:51:58] 615*2^1437930-1 is not prime. Res64: E45CB152A20162D6 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:44] 963*2^1437930-1 is not prime. Res64: EE65FBFB922A44B5 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:45] 601*2^1437931-1 is not prime. Res64: C42EB3F79DAB5085 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:46] 723*2^1437931-1 is not prime. Res64: 934218A4F6769C3B Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:46] 733*2^1437931-1 is not prime. Res64: FBB0EA0F8D8EBEBB Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:47] 843*2^1437931-1 is not prime. Res64: 0390E08D3579D571 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:49] 755*2^1437930-1 is not prime. Res64: 800DEAA61F61F7C0 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:50] 773*2^1437930-1 is not prime. Res64: CF8DDBDB3A5419CA Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:51] 893*2^1437930-1 is not prime. Res64: DDA4AB8BCB72EFBC Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:52] 923*2^1437930-1 is not prime. Res64: 6E8C6651C2551222 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:18:53] 957*2^1437930-1 is not prime. Res64: A86EB5A25104E330 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:37:03] 855*2^1437931-1 is not prime. Res64: 48E0EEBE75539607 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:37:03] 871*2^1437931-1 is not prime. Res64: D81092BB7E0AC151 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:37:04] 873*2^1437931-1 is not prime. Res64: 91F51BED648EDD48 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:37:04] 931*2^1437931-1 is not prime. Res64: CD3D73D4E2DAAF57 Time : 0.0 sec. user=mdettweiler [2016-08-20 21:37:04] 969*2^1437931-1 is not prime. Res64: E53341FDC45BAB76 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:47] 797*2^1437932-1 is not prime. Res64: 56987F816DAF690C Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:48] 873*2^1437932-1 is not prime. Res64: E4D1FA775BF0DF14 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:49] 885*2^1437932-1 is not prime. Res64: 18B881400B371415 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:50] 959*2^1437932-1 is not prime. Res64: FF0D3BAB9337DB06 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:51] 977*2^1437932-1 is not prime. Res64: 8ABEF824C623D2A0 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:55] 975*2^1437931-1 is not prime. Res64: 535016C0FE14BDCC Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:56] 605*2^1437932-1 is not prime. Res64: 82340D0DAF0C9819 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:03:59] 629*2^1437932-1 is not prime. Res64: 3D4DD8039161FE8C Time : 0.0 sec. user=mdettweiler [2016-08-20 22:04:01] 717*2^1437932-1 is not prime. Res64: 33E7873F50FD849F Time : 0.0 sec. user=mdettweiler [2016-08-20 22:04:03] 735*2^1437932-1 is not prime. Res64: 4E96DA6FA0B9F53A Time : 0.0 sec. user=mdettweiler [2016-08-20 22:04:10] 705*2^1437924-1 is not prime. Res64: 4E3878FA1EC22802 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:04:13] 717*2^1437924-1 is not prime. Res64: 901503B076C6E8F3 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:04:15] 737*2^1437924-1 is not prime. Res64: 2EB3D594C1F10072 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:04:16] 773*2^1437924-1 is not prime. Res64: 31D782009FC649B1 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:21:51] 995*2^1437932-1 is not prime. Res64: F8A2A3735839948C Time : 0.0 sec. user=mdettweiler [2016-08-20 22:21:52] 745*2^1437933-1 is not prime. Res64: 99AAC34B91AB002E Time : 0.0 sec. user=mdettweiler [2016-08-20 22:21:52] 759*2^1437933-1 is not prime. Res64: 67CBDAB660830B69 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:21:52] 787*2^1437933-1 is not prime. Res64: 424F51C9BE70B672 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:21:53] 871*2^1437933-1 is not prime. Res64: 23BA927A296DA3A9 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:43] 889*2^1437933-1 is not prime. Res64: 694BC77CB29382D1 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:44] 955*2^1437933-1 is not prime. Res64: 37F00FC7E72B529A Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:45] 663*2^1437934-1 is not prime. Res64: F81E6BE925A1EE47 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:46] 695*2^1437934-1 is not prime. Res64: 16C3326AAA0F1A55 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:46] 863*2^1437934-1 is not prime. Res64: 0BB33F6B6BA0A3FF Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:47] 945*2^1437934-1 is not prime. Res64: C131DA5A8EDFA090 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:48] 971*2^1437934-1 is not prime. Res64: C73EB8931C640439 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:49] 633*2^1437935-1 is not prime. Res64: 4E54BAC13F6887DD Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:49] 655*2^1437935-1 is not prime. Res64: 48E7F156F8AC567F Time : 0.0 sec. user=mdettweiler [2016-08-20 22:48:50] 721*2^1437935-1 is not prime. Res64: F72BCD13045B85F7 Time : 0.0 sec. user=mdettweiler [2016-08-20 22:49:01] 861*2^1437935-1 is not prime. Res64: 10BB31BD70D24ABD Time : 0.0 sec. user=mdettweiler [2016-08-20 22:49:01] 871*2^1437935-1 is not prime. Res64: DB9577AADF0554CA Time : 0.0 sec. user=mdettweiler [2016-08-20 22:49:02] 895*2^1437935-1 is not prime. Res64: 790F427CA7CE833F Time : 0.0 sec. user=mdettweiler [2016-08-20 22:49:02] 969*2^1437935-1 is not prime. Res64: 9F153A83E64762CA Time : 0.0 sec. user=mdettweiler [2016-08-20 22:49:03] 981*2^1437935-1 is not prime. Res64: A76E8E1BC1263A3C Time : 0.0 sec. user=mdettweiler [2016-08-20 23:06:31] 623*2^1437936-1 is not prime. Res64: 2B31EEDC42A0B690 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:06:34] 627*2^1437936-1 is not prime. Res64: 9DA2E294F7788986 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:06:36] 675*2^1437936-1 is not prime. Res64: CC24777A1BF6C2D5 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:06:37] 705*2^1437936-1 is not prime. Res64: B2227188749C0C8C Time : 0.0 sec. user=mdettweiler [2016-08-20 23:06:38] 773*2^1437936-1 is not prime. Res64: DEF11C8DA0B57FEC Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:28] 625*2^1437937-1 is not prime. Res64: AEC52805D694C705 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:28] 667*2^1437937-1 is not prime. Res64: 449543A103C8369A Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:29] 727*2^1437937-1 is not prime. Res64: 8CDD0D743BAF4E04 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:29] 751*2^1437937-1 is not prime. Res64: 632F39F848AC76FE Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:29] 759*2^1437937-1 is not prime. Res64: CE63D50207DD59B6 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:34] 789*2^1437936-1 is not prime. Res64: 9721C7FF71D1B2EE Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:34] 843*2^1437936-1 is not prime. Res64: 65F1B0F7E70A60EB Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:35] 849*2^1437936-1 is not prime. Res64: 572F6BD692F576C6 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:35] 909*2^1437936-1 is not prime. Res64: E6D4619553BCB580 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:36] 601*2^1437937-1 is not prime. Res64: 7A85C2EBC6767999 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:41] 805*2^1437937-1 is not prime. Res64: D7A3EE323FDBF830 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:42] 937*2^1437937-1 is not prime. Res64: DD6541FF3FEBEECC Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:42] 967*2^1437937-1 is not prime. Res64: AEE28AE798C36919 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:43] 711*2^1437938-1 is not prime. Res64: 6EF951B5C2CAF920 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:33:43] 827*2^1437938-1 is not prime. Res64: A2998CA05740464F Time : 0.0 sec. user=mdettweiler [2016-08-20 23:51:29] 831*2^1437938-1 is not prime. Res64: CB36EEAA9826125A Time : 0.0 sec. user=mdettweiler [2016-08-20 23:51:30] 843*2^1437938-1 is not prime. Res64: E96AB0A4D37D7D0B Time : 0.0 sec. user=mdettweiler [2016-08-20 23:51:30] 857*2^1437938-1 is not prime. Res64: CB7C8AAF95BACBEC Time : 0.0 sec. user=mdettweiler [2016-08-20 23:51:31] 923*2^1437938-1 is not prime. Res64: 0197F1AA6B380FC1 Time : 0.0 sec. user=mdettweiler [2016-08-20 23:51:31] 945*2^1437938-1 is not prime. Res64: A544EB6120391D5E Time : 0.0 sec.