user=mdettweiler [2014-06-17 00:01:34] 825*2^1320039-1 is not prime. Res64: 4FEAD05259BB7BD3 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:01:34] 843*2^1320039-1 is not prime. Res64: C96418E583F69A2C Time : 0.0 sec. user=juhehe [2014-06-17 00:04:05] 693*2^1320039-1 is not prime. Res64: 820AAC1721CC2A12 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:12:36] 853*2^1320039-1 is not prime. Res64: C252FFB9D3B011E5 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:12:36] 955*2^1320039-1 is not prime. Res64: F500BBFA37887F5B Time : 0.0 sec. user=mdettweiler [2014-06-17 00:17:31] 765*2^1320040-1 is not prime. Res64: 72DBC4E351812E47 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:17:31] 785*2^1320040-1 is not prime. Res64: B475D851CADEDA80 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:20:33] 803*2^1320040-1 is not prime. Res64: A901CFEB6FAC879D Time : 0.0 sec. user=mdettweiler [2014-06-17 00:20:34] 819*2^1320040-1 is not prime. Res64: 70081B1CCFEB11CD Time : 0.0 sec. user=mdettweiler [2014-06-17 00:27:18] 839*2^1320040-1 is not prime. Res64: 0B78F6B732C5634B Time : 0.0 sec. user=mdettweiler [2014-06-17 00:27:18] 873*2^1320040-1 is not prime. Res64: B63C8F1958DCB738 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:38:43] 905*2^1320040-1 is not prime. Res64: 9C83CA5A060C9113 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:38:43] 965*2^1320040-1 is not prime. Res64: 3981142A704DA770 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:41:17] 619*2^1320041-1 is not prime. Res64: 1026CFDDCEF38BD2 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:41:17] 669*2^1320041-1 is not prime. Res64: 9C56629CA0505A59 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:45:57] 861*2^1320041-1 is not prime. Res64: 840D94F9F30E4DEA Time : 0.0 sec. user=mdettweiler [2014-06-17 00:45:57] 657*2^1320042-1 is not prime. Res64: 3FD86053831EE32E Time : 0.0 sec. user=mdettweiler [2014-06-17 00:52:10] 723*2^1320042-1 is not prime. Res64: 751CD8F354C76074 Time : 0.0 sec. user=mdettweiler [2014-06-17 00:52:10] 777*2^1320042-1 is not prime. Res64: A9B7F9D2D32DDF91 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:04:42] 807*2^1320042-1 is not prime. Res64: CDFB4A264DAEFF48 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:04:44] 821*2^1320042-1 is not prime. Res64: 004948328355137D Time : 0.0 sec. user=mdettweiler [2014-06-17 01:07:05] 837*2^1320042-1 is not prime. Res64: 8A739EE8321A4383 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:07:05] 893*2^1320042-1 is not prime. Res64: F247349F2D61ACC5 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:10:35] 917*2^1320042-1 is not prime. Res64: 191EB27D41A18A61 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:10:36] 675*2^1320043-1 is not prime. Res64: B8D997DA732E404F Time : 0.0 sec. user=juhehe [2014-06-17 01:11:41] 791*2^1320042-1 is not prime. Res64: E5FC2FD29249D6A4 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:16:08] 679*2^1320043-1 is not prime. Res64: C41C17DD4DAA1B8F Time : 0.0 sec. user=mdettweiler [2014-06-17 01:16:09] 691*2^1320043-1 is not prime. Res64: 80DDF3C8DDE3043A Time : 0.0 sec. user=mdettweiler [2014-06-17 01:32:06] 709*2^1320043-1 is not prime. Res64: 0752F6F45BC141BE Time : 0.0 sec. user=mdettweiler [2014-06-17 01:32:06] 765*2^1320043-1 is not prime. Res64: D76791F82C84CC03 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:35:51] 805*2^1320043-1 is not prime. Res64: 751C494AF3171AD5 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:35:51] 861*2^1320043-1 is not prime. Res64: 149C49CB2B1AB4D4 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:39:28] 873*2^1320043-1 is not prime. Res64: 86CB8FC9920C5D0B Time : 0.0 sec. user=mdettweiler [2014-06-17 01:39:28] 913*2^1320043-1 is not prime. Res64: E4FBFBAD20501B3F Time : 0.0 sec. user=mdettweiler [2014-06-17 01:43:40] 915*2^1320043-1 is not prime. Res64: 4D5F4ED6E005A332 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:43:40] 939*2^1320043-1 is not prime. Res64: 7443D4C6EFF41CB5 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:56:52] 993*2^1320043-1 is not prime. Res64: 65C02502A3F30231 Time : 0.0 sec. user=mdettweiler [2014-06-17 01:56:53] 687*2^1320044-1 is not prime. Res64: DCB59E0B90CC5FA8 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:01:46] 753*2^1320044-1 is not prime. Res64: ADB4FB01C1CEAB32 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:01:47] 767*2^1320044-1 is not prime. Res64: C8B9E8CBDCCEBC48 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:04:06] 785*2^1320044-1 is not prime. Res64: F507ED8FEE6B4BF4 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:04:07] 721*2^1320045-1 is not prime. Res64: 7EEC22513A6F7747 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:09:22] 805*2^1320045-1 is not prime. Res64: 407B4BEC18DAF291 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:09:24] 949*2^1320045-1 is not prime. Res64: 62D4606A5D79ECA9 Time : 0.0 sec. user=juhehe [2014-06-17 02:18:56] 951*2^1320045-1 is not prime. Res64: 5A17E507A26C7518 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:20:35] 611*2^1320046-1 is not prime. Res64: A594528E4996A8DC Time : 0.0 sec. user=mdettweiler [2014-06-17 02:20:35] 663*2^1320046-1 is not prime. Res64: 0221B32DBB2AE010 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:25:29] 671*2^1320046-1 is not prime. Res64: 73A7A155009CE72E Time : 0.0 sec. user=mdettweiler [2014-06-17 02:25:29] 705*2^1320046-1 is not prime. Res64: A9320285EB31EEA4 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:30:18] 867*2^1320046-1 is not prime. Res64: 337386C238C922C8 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:30:19] 873*2^1320046-1 is not prime. Res64: 9FF80DA10675A098 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:36:07] 917*2^1320046-1 is not prime. Res64: 6A5A65640F688652 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:36:07] 923*2^1320046-1 is not prime. Res64: FA2D946D3A401A6C Time : 0.0 sec. user=mdettweiler [2014-06-17 02:44:37] 669*2^1320047-1 is not prime. Res64: 6EBB5EF2C3A21376 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:44:39] 685*2^1320047-1 is not prime. Res64: 8BDC5B901E2446E2 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:51:40] 939*2^1320047-1 is not prime. Res64: 252F607EBBB6683A Time : 0.0 sec. user=mdettweiler [2014-06-17 02:51:41] 979*2^1320047-1 is not prime. Res64: 2423BC231219857E Time : 0.0 sec. user=mdettweiler [2014-06-17 02:55:13] 993*2^1320047-1 is not prime. Res64: 347A3C17DB65A8F2 Time : 0.0 sec. user=mdettweiler [2014-06-17 02:55:14] 663*2^1320048-1 is not prime. Res64: 3FDC62FE596D5878 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:00:47] 689*2^1320048-1 is not prime. Res64: E2FF242B2ED9B140 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:00:50] 753*2^1320048-1 is not prime. Res64: 9FD51BB22B78C6AC Time : 0.0 sec. user=mdettweiler [2014-06-17 03:10:20] 773*2^1320048-1 is not prime. Res64: 3CC81B749840E351 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:10:20] 765*2^1320049-1 is not prime. Res64: BBEBBEF86D94E7BA Time : 0.0 sec. user=mdettweiler [2014-06-17 03:17:32] 771*2^1320049-1 is not prime. Res64: 58C5887325A3F267 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:17:32] 799*2^1320049-1 is not prime. Res64: 73C26734CC52C376 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:20:57] 855*2^1320049-1 is not prime. Res64: 0C175E600C2BF8E8 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:20:57] 955*2^1320049-1 is not prime. Res64: 6FC976846F2E3D4C Time : 0.0 sec. user=mdettweiler [2014-06-17 03:25:36] 675*2^1320050-1 is not prime. Res64: A0F2FB1502FA5542 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:25:36] 851*2^1320050-1 is not prime. Res64: 719D6A7923173B95 Time : 0.0 sec. user=juhehe [2014-06-17 03:27:46] 817*2^1320049-1 is not prime. Res64: 371F7067404F6C98 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:36:09] 867*2^1320050-1 is not prime. Res64: D3EFB38957710EDA Time : 0.0 sec. user=mdettweiler [2014-06-17 03:36:10] 893*2^1320050-1 is not prime. Res64: CEF43E35BBCDB199 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:42:02] 651*2^1320051-1 is not prime. Res64: 564863FA0E6AC8B9 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:42:02] 931*2^1320051-1 is not prime. Res64: DACFCB2A2B325BB2 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:46:43] 945*2^1320051-1 is not prime. Res64: 411CE2DD6484A85E Time : 0.0 sec. user=mdettweiler [2014-06-17 03:46:43] 961*2^1320051-1 is not prime. Res64: CEF0455C346AB2AC Time : 0.0 sec. user=mdettweiler [2014-06-17 03:49:00] 699*2^1320052-1 is not prime. Res64: 4CFD80BBB58E7792 Time : 0.0 sec. user=mdettweiler [2014-06-17 03:49:00] 717*2^1320052-1 is not prime. Res64: 380D5FAF50DFC48D Time : 0.0 sec. user=mdettweiler [2014-06-17 04:02:18] 765*2^1320052-1 is not prime. Res64: C96AC1D44FBB5FED Time : 0.0 sec. user=mdettweiler [2014-06-17 04:02:19] 857*2^1320052-1 is not prime. Res64: 6EEA4E503667A9DB Time : 0.0 sec. user=mdettweiler [2014-06-17 04:07:45] 909*2^1320052-1 is not prime. Res64: ED50C0DA90F17313 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:07:46] 983*2^1320052-1 is not prime. Res64: C3E9E526FA9B2437 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:12:28] 699*2^1320053-1 is not prime. Res64: A7092451641BF888 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:12:29] 715*2^1320053-1 is not prime. Res64: 3C99DB4F2E1B95AF Time : 0.0 sec. user=mdettweiler [2014-06-17 04:12:30] 995*2^1320052-1 is not prime. Res64: 6DC6CE4129479B12 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:12:30] 999*2^1320052-1 is not prime. Res64: 38FDA1958400C672 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:27:03] 741*2^1320053-1 is not prime. Res64: 46D0BC4D5A040CA3 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:27:04] 789*2^1320053-1 is not prime. Res64: 15D9E761D510E63E Time : 0.0 sec. user=mdettweiler [2014-06-17 04:31:23] 635*2^1320054-1 is not prime. Res64: 4AA7FC1568DEBC87 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:31:24] 747*2^1320054-1 is not prime. Res64: 1243B8BE8128C0A2 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:37:05] 975*2^1320054-1 is not prime. Res64: 4B9FCA80BC9B49A8 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:37:06] 685*2^1320055-1 is not prime. Res64: CB7B91CEE7BE5909 Time : 0.0 sec. user=juhehe [2014-06-17 04:37:27] 955*2^1320053-1 is not prime. Res64: 288F6878404BAB0A Time : 0.0 sec. user=mdettweiler [2014-06-17 04:38:03] 797*2^1320054-1 is not prime. Res64: 15497A21A2BD7168 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:38:03] 887*2^1320054-1 is not prime. Res64: E0EB44D5808D60CD Time : 0.0 sec. user=mdettweiler [2014-06-17 04:50:32] 693*2^1320055-1 is not prime. Res64: 9BD8FD1D443FA866 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:50:33] 715*2^1320055-1 is not prime. Res64: 1A2971FA939D7573 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:57:02] 759*2^1320055-1 is not prime. Res64: 2E89CF4C7B4EF095 Time : 0.0 sec. user=mdettweiler [2014-06-17 04:57:03] 933*2^1320055-1 is not prime. Res64: D76AA9273A67FE0D Time : 0.0 sec. user=mdettweiler [2014-06-17 05:01:38] 691*2^1320057-1 is not prime. Res64: 53BDA684CDD24E12 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:01:38] 727*2^1320057-1 is not prime. Res64: E924B55280FC0D4D Time : 0.0 sec. user=mdettweiler [2014-06-17 05:01:41] 969*2^1320055-1 is not prime. Res64: 3AC6ABCEE9FEFAE6 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:01:43] 617*2^1320056-1 is not prime. Res64: B2E444B7D1C63A5B Time : 0.0 sec. user=juhehe [2014-06-17 05:11:44] 693*2^1320056-1 is not prime. Res64: C00158871C667ECB Time : 0.0 sec. user=mdettweiler [2014-06-17 05:15:04] 751*2^1320057-1 is not prime. Res64: 87971E2CFED675C3 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:15:04] 885*2^1320057-1 is not prime. Res64: 58A793F2D9F9C70F Time : 0.0 sec. user=mdettweiler [2014-06-17 05:21:45] 985*2^1320057-1 is not prime. Res64: 45FBC4EA38BFFE2E Time : 0.0 sec. user=mdettweiler [2014-06-17 05:21:45] 645*2^1320058-1 is not prime. Res64: AEA2EF585E0D2A81 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:26:44] 713*2^1320058-1 is not prime. Res64: B951FD156CB7AEA5 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:26:44] 801*2^1320058-1 is not prime. Res64: AA72610320806DE8 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:27:40] 881*2^1320058-1 is not prime. Res64: E9B4E9CD4B0852D7 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:27:40] 911*2^1320058-1 is not prime. Res64: 13606B1F0D8C7AC6 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:41:19] 915*2^1320058-1 is not prime. Res64: 8484053EF5BE9A95 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:41:19] 951*2^1320058-1 is not prime. Res64: 88AB74BB3E3C646A Time : 0.0 sec. user=mdettweiler [2014-06-17 05:47:45] 981*2^1320058-1 is not prime. Res64: C00EB13689F9F0F7 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:47:45] 987*2^1320058-1 is not prime. Res64: 23A456091852374C Time : 0.0 sec. user=mdettweiler [2014-06-17 05:51:31] 643*2^1320059-1 is not prime. Res64: 725B931D32708DCA Time : 0.0 sec. user=mdettweiler [2014-06-17 05:51:31] 889*2^1320059-1 is not prime. Res64: E832BBE613964482 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:52:31] 913*2^1320059-1 is not prime. Res64: A3ADD967AA66B138 Time : 0.0 sec. user=mdettweiler [2014-06-17 05:52:32] 623*2^1320060-1 is not prime. Res64: 6E79B7E13BC81018 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:04:48] 619*2^1320061-1 is not prime. Res64: 58735390EAB7ED4C Time : 0.0 sec. user=mdettweiler [2014-06-17 06:04:49] 651*2^1320061-1 is not prime. Res64: E7F058C449156742 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:13:28] 937*2^1320061-1 is not prime. Res64: B0F746F68A0614AF Time : 0.0 sec. user=mdettweiler [2014-06-17 06:13:28] 957*2^1320061-1 is not prime. Res64: 36F594879E2CEE05 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:16:04] 979*2^1320061-1 is not prime. Res64: C3D63CB2AD6EB260 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:16:04] 635*2^1320062-1 is not prime. Res64: B033DFC5CCA5197B Time : 0.0 sec. user=mdettweiler [2014-06-17 06:18:04] 825*2^1320062-1 is not prime. Res64: A29365B93F3BFEA2 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:18:05] 885*2^1320062-1 is not prime. Res64: 5F38DCEB07F0B8B4 Time : 0.0 sec. user=juhehe [2014-06-17 06:21:34] 847*2^1320061-1 is not prime. Res64: 420FD453FE1EE184 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:30:38] 903*2^1320062-1 is not prime. Res64: F0C9B9A04C666408 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:30:38] 963*2^1320062-1 is not prime. Res64: 302F97280A4FD3E6 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:38:07] 613*2^1320063-1 is not prime. Res64: 70ECB909190BFA5F Time : 0.0 sec. user=mdettweiler [2014-06-17 06:38:08] 775*2^1320063-1 is not prime. Res64: DC0DBEC106B1BF9E Time : 0.0 sec. user=mdettweiler [2014-06-17 06:41:51] 789*2^1320063-1 is not prime. Res64: 21CD0494E2467017 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:41:51] 829*2^1320063-1 is not prime. Res64: 79BA6523211AF7B4 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:43:48] 831*2^1320063-1 is not prime. Res64: DCCE45ECB072F934 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:43:48] 853*2^1320063-1 is not prime. Res64: EC06E60CD1F31EE4 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:56:18] 891*2^1320063-1 is not prime. Res64: 9FA185C599946766 Time : 0.0 sec. user=mdettweiler [2014-06-17 06:56:18] 945*2^1320063-1 is not prime. Res64: DA0D2AE9E76AE8D5 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:01:39] 605*2^1320064-1 is not prime. Res64: 8271E25D07259FA9 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:01:40] 639*2^1320064-1 is not prime. Res64: B248706539A35CA7 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:06:14] 747*2^1320064-1 is not prime. Res64: 627C35A8ECCB0C90 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:06:16] 857*2^1320064-1 is not prime. Res64: F126792091C28B7B Time : 0.0 sec. user=mdettweiler [2014-06-17 07:09:24] 887*2^1320064-1 is not prime. Res64: ECD850BDB2E42CA0 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:09:24] 899*2^1320064-1 is not prime. Res64: C69A0535FCDE8678 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:21:58] 909*2^1320064-1 is not prime. Res64: F81200CB38A0AB31 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:21:59] 917*2^1320064-1 is not prime. Res64: 80FBEAC895F6241F Time : 0.0 sec. user=mdettweiler [2014-06-17 07:26:11] 975*2^1320064-1 is not prime. Res64: 93C4E197B7B940AB Time : 0.0 sec. user=mdettweiler [2014-06-17 07:26:12] 651*2^1320065-1 is not prime. Res64: 74FFD635798E2687 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:31:55] 759*2^1320065-1 is not prime. Res64: 4F2CBFDFFD54CA23 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:31:56] 867*2^1320065-1 is not prime. Res64: D3CDFFF64A8DE0C6 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:35:08] 897*2^1320065-1 is not prime. Res64: BA6B34C367D02937 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:35:08] 955*2^1320065-1 is not prime. Res64: 3390A904F05B4F52 Time : 0.0 sec. user=juhehe [2014-06-17 07:36:35] 939*2^1320064-1 is not prime. Res64: 963FC8B7355186D8 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:45:25] 633*2^1320066-1 is not prime. Res64: 5E9AE45EFD05507D Time : 0.0 sec. user=mdettweiler [2014-06-17 07:45:25] 635*2^1320066-1 is not prime. Res64: 117D6EFFA97EE173 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:49:30] 677*2^1320066-1 is not prime. Res64: FD78C871AC205665 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:49:30] 711*2^1320066-1 is not prime. Res64: FED984053583AB04 Time : 0.0 sec. user=juhehe [2014-06-17 07:50:09] 987*2^1320065-1 is not prime. Res64: 06DCBE2E290D8952 Time : 0.0 sec. user=mdettweiler [2014-06-17 07:55:18] 735*2^1320066-1 is not prime. Res64: 782206C17A357DEF Time : 0.0 sec. user=mdettweiler [2014-06-17 07:55:19] 741*2^1320066-1 is not prime. Res64: 130CE6FE4054D91B Time : 0.0 sec. user=mdettweiler [2014-06-17 08:00:46] 893*2^1320066-1 is not prime. Res64: 6A2C68C8D7827FE4 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:00:48] 923*2^1320066-1 is not prime. Res64: 6A9A4FE7719AF13E Time : 0.0 sec. user=mdettweiler [2014-06-17 08:09:53] 975*2^1320066-1 is not prime. Res64: B4AB2E694F076B8F Time : 0.0 sec. user=mdettweiler [2014-06-17 08:09:54] 625*2^1320067-1 is not prime. Res64: AF0672C88FC8BA75 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:13:01] 645*2^1320067-1 is not prime. Res64: C7C743BCEFCCAABA Time : 0.0 sec. user=mdettweiler [2014-06-17 08:13:02] 673*2^1320067-1 is not prime. Res64: 885552241D134279 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:18:44] 617*2^1320068-1 is not prime. Res64: C57F4BB9A36AE84C Time : 0.0 sec. user=mdettweiler [2014-06-17 08:18:44] 633*2^1320068-1 is not prime. Res64: 0767BB43EB9AE6F6 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:25:22] 833*2^1320068-1 is not prime. Res64: 1F542CE4778EEA73 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:25:23] 685*2^1320069-1 is not prime. Res64: 5FAC6B753BCDC80D Time : 0.0 sec. user=mdettweiler [2014-06-17 08:34:32] 727*2^1320069-1 is not prime. Res64: 78B9D4414BBD1FDC Time : 0.0 sec. user=mdettweiler [2014-06-17 08:34:32] 781*2^1320069-1 is not prime. Res64: F89B8AC391BEEF44 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:38:39] 885*2^1320069-1 is not prime. Res64: A82325892D7DB406 Time : 0.0 sec. user=mdettweiler [2014-06-17 08:38:40] 891*2^1320069-1 is not prime. Res64: 14511AB1BA64B32B Time : 0.0 sec. user=mdettweiler [2014-06-17 08:42:10] 635*2^1320070-1 is not prime. Res64: 4FAF227FE5A85D9B Time : 0.0 sec. user=mdettweiler [2014-06-17 08:42:11] 695*2^1320070-1 is not prime. Res64: 18859FD25A5E8678 Time : 0.0 sec. user=juhehe [2014-06-17 08:47:30] 861*2^1320069-1 is not prime. Res64: 2F63171C8CB90F5E Time : 0.0 sec. user=mdettweiler [2014-06-17 08:51:13] 845*2^1320070-1 is not prime. Res64: FCB82764D0E4754E Time : 0.0 sec. user=mdettweiler [2014-06-17 08:51:13] 863*2^1320070-1 is not prime. Res64: 86B5CE065C0A3C54 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:00:14] 885*2^1320070-1 is not prime. Res64: 8714F046CFCF00E9 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:00:15] 957*2^1320070-1 is not prime. Res64: 41FC8BB15E2E9BB6 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:03:13] 971*2^1320070-1 is not prime. Res64: B834EC03055229F3 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:03:14] 645*2^1320071-1 is not prime. Res64: D50116BC5A793E24 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:05:33] 651*2^1320071-1 is not prime. Res64: 63B4EA05AEE4907A Time : 0.0 sec. user=mdettweiler [2014-06-17 09:05:34] 663*2^1320071-1 is not prime. Res64: 96BD1B74FFBC42F3 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:14:34] 675*2^1320071-1 is not prime. Res64: C52C641162F1D93F Time : 0.0 sec. user=mdettweiler [2014-06-17 09:14:35] 693*2^1320071-1 is not prime. Res64: 1CEFD0FF69BBA3B4 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:23:41] 703*2^1320071-1 is not prime. Res64: C540D919496DF74A Time : 0.0 sec. user=mdettweiler [2014-06-17 09:23:41] 711*2^1320071-1 is not prime. Res64: 822CC65632F12885 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:29:11] 753*2^1320071-1 is not prime. Res64: 856BD88AFDF2ECA3 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:29:11] 759*2^1320071-1 is not prime. Res64: 48238B03D844C715 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:30:18] 993*2^1320071-1 is not prime. Res64: 067E5E61377D530F Time : 0.0 sec. user=mdettweiler [2014-06-17 09:30:18] 635*2^1320072-1 is not prime. Res64: DC731705D9F4BC90 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:39:10] 693*2^1320072-1 is not prime. Res64: DBFA2F6BE67F4315 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:39:11] 777*2^1320072-1 is not prime. Res64: C7140DA5E946FDB4 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:49:24] 863*2^1320072-1 is not prime. Res64: 22037A59025E5D74 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:49:24] 867*2^1320072-1 is not prime. Res64: 65655FC9750A7F68 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:53:40] 977*2^1320072-1 is not prime. Res64: EC0ECAA107417064 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:53:41] 651*2^1320073-1 is not prime. Res64: AFD711139E9A7181 Time : 0.0 sec. user=mdettweiler [2014-06-17 09:54:55] 705*2^1320073-1 is not prime. Res64: 6107D7E08CD1629A Time : 0.0 sec. user=mdettweiler [2014-06-17 09:54:55] 765*2^1320073-1 is not prime. Res64: DE50FEFD14548E77 Time : 0.0 sec. user=juhehe [2014-06-17 09:58:10] 819*2^1320072-1 is not prime. Res64: 89E753DD2DA856A0 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:04:52] 847*2^1320073-1 is not prime. Res64: 6B8E471D1789E410 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:04:52] 877*2^1320073-1 is not prime. Res64: 880320896819276E Time : 0.0 sec. user=mdettweiler [2014-06-17 10:15:04] 937*2^1320073-1 is not prime. Res64: 2E167AA4AA72CEAC Time : 0.0 sec. user=mdettweiler [2014-06-17 10:15:05] 939*2^1320073-1 is not prime. Res64: 40059CBE55E897E7 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:18:18] 635*2^1320074-1 is not prime. Res64: F6B7B64CC7CBB393 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:18:19] 665*2^1320074-1 is not prime. Res64: D3052853BCCEBE3F Time : 0.0 sec. user=mdettweiler [2014-06-17 10:19:13] 945*2^1320073-1 is not prime. Res64: 47AB5AA9A5A89204 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:19:14] 951*2^1320073-1 is not prime. Res64: 86B995883944E4BB Time : 0.0 sec. user=mdettweiler [2014-06-17 10:29:28] 747*2^1320074-1 is not prime. Res64: 1FB04CBEF1811317 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:29:28] 791*2^1320074-1 is not prime. Res64: 6B892E91458211D3 Time : 0.0 sec. user=juhehe [2014-06-17 10:32:31] 743*2^1320074-1 is not prime. Res64: 04888CA4C7C8B143 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:40:44] 981*2^1320074-1 is not prime. Res64: 2185BDE0DB9BF9EE Time : 0.0 sec. user=mdettweiler [2014-06-17 10:40:44] 995*2^1320074-1 is not prime. Res64: 4D6208D09F14C2AB Time : 0.0 sec. user=mdettweiler [2014-06-17 10:41:43] 711*2^1320075-1 is not prime. Res64: 33D1C5FBD164FE1C Time : 0.0 sec. user=mdettweiler [2014-06-17 10:41:43] 741*2^1320075-1 is not prime. Res64: 79F38FEEFE3FA354 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:45:01] 765*2^1320075-1 is not prime. Res64: CA2D80055CD2F3F3 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:45:02] 823*2^1320075-1 is not prime. Res64: 43ECB156F588DF1D Time : 0.0 sec. user=mdettweiler [2014-06-17 10:55:04] 859*2^1320075-1 is not prime. Res64: 2DB78C9133D8E116 Time : 0.0 sec. user=mdettweiler [2014-06-17 10:55:04] 973*2^1320075-1 is not prime. Res64: 7CC17EC5107E6464 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:05:17] 999*2^1320075-1 is not prime. Res64: 1BB813BA0F37F498 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:05:19] 657*2^1320076-1 is not prime. Res64: BBBA037A07BADBDB Time : 0.0 sec. user=mdettweiler [2014-06-17 11:06:13] 735*2^1320076-1 is not prime. Res64: 37B1993C385AA72A Time : 0.0 sec. user=mdettweiler [2014-06-17 11:06:14] 855*2^1320076-1 is not prime. Res64: 84B7638E93E27B3C Time : 0.0 sec. user=mdettweiler [2014-06-17 11:10:41] 897*2^1320076-1 is not prime. Res64: FBA203B9AA7616CD Time : 0.0 sec. user=mdettweiler [2014-06-17 11:10:42] 933*2^1320076-1 is not prime. Res64: 6DCDB249A8CC840F Time : 0.0 sec. user=mdettweiler [2014-06-17 11:19:34] 989*2^1320076-1 is not prime. Res64: 1853C19B6BCEDCC1 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:19:35] 601*2^1320077-1 is not prime. Res64: 873E568E532AD124 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:28:50] 619*2^1320077-1 is not prime. Res64: 7974F5B5B3751DB0 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:28:50] 621*2^1320077-1 is not prime. Res64: 5EF7CB293B9080BF Time : 0.0 sec. user=mdettweiler [2014-06-17 11:29:31] 649*2^1320077-1 is not prime. Res64: A95C2565443E2CB0 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:29:31] 711*2^1320077-1 is not prime. Res64: F66ECECC3472C49C Time : 0.0 sec. user=mdettweiler [2014-06-17 11:36:24] 837*2^1320077-1 is not prime. Res64: 8B1FDC8B73C660DF Time : 0.0 sec. user=mdettweiler [2014-06-17 11:36:24] 879*2^1320077-1 is not prime. Res64: 3E63CE1A4BED766A Time : 0.0 sec. user=juhehe [2014-06-17 11:41:57] 777*2^1320077-1 is not prime. Res64: 4A9E17206412C7AE Time : 0.0 sec. user=mdettweiler [2014-06-17 11:45:12] 955*2^1320077-1 is not prime. Res64: 872661CD65B82949 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:45:12] 957*2^1320077-1 is not prime. Res64: 40DE62234F7CCEE7 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:53:28] 997*2^1320077-1 is not prime. Res64: 8F85C01E9F0D340C Time : 0.0 sec. user=mdettweiler [2014-06-17 11:53:29] 635*2^1320078-1 is not prime. Res64: 2A612BF6CF0DD442 Time : 0.0 sec. user=mdettweiler [2014-06-17 11:54:01] 681*2^1320078-1 is not prime. Res64: 799DE9978083E06F Time : 0.0 sec. user=mdettweiler [2014-06-17 11:54:01] 801*2^1320078-1 is not prime. Res64: ECF2B73E3998E39D Time : 0.0 sec. user=mdettweiler [2014-06-17 12:02:03] 875*2^1320078-1 is not prime. Res64: F2805E97841B8D73 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:02:04] 887*2^1320078-1 is not prime. Res64: FBC4FA348ACCF6B2 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:10:58] 941*2^1320078-1 is not prime. Res64: 14AC8D7F679B3727 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:10:59] 945*2^1320078-1 is not prime. Res64: 8DD25026B78327D6 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:17:51] 963*2^1320078-1 is not prime. Res64: 149DFF84260C9158 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:17:52] 649*2^1320079-1 is not prime. Res64: 455023616A1D4427 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:18:37] 709*2^1320079-1 is not prime. Res64: FE2F3E9666676864 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:18:37] 829*2^1320079-1 is not prime. Res64: 676B407ACBD8EB80 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:28:06] 859*2^1320079-1 is not prime. Res64: BCC6A9C161F891CF Time : 0.0 sec. user=mdettweiler [2014-06-17 12:28:06] 993*2^1320079-1 is not prime. Res64: 79F3630159580B53 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:34:16] 669*2^1320080-1 is not prime. Res64: 07883C74DEB20206 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:34:16] 689*2^1320080-1 is not prime. Res64: C08FA93ECD1A1463 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:42:43] 717*2^1320080-1 is not prime. Res64: 4C80E69A6791F434 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:42:44] 773*2^1320080-1 is not prime. Res64: BEE21AB4455147CC Time : 0.0 sec. user=mdettweiler [2014-06-17 12:45:15] 813*2^1320080-1 is not prime. Res64: 8CA5F7C96D839A9D Time : 0.0 sec. user=mdettweiler [2014-06-17 12:45:15] 839*2^1320080-1 is not prime. Res64: 455259201B640AFF Time : 0.0 sec. user=juhehe [2014-06-17 12:48:44] 713*2^1320080-1 is not prime. Res64: 03EDA9B3D9C1234A Time : 0.0 sec. user=mdettweiler [2014-06-17 12:58:47] 927*2^1320080-1 is not prime. Res64: DD04791F5336A679 Time : 0.0 sec. user=mdettweiler [2014-06-17 12:58:48] 995*2^1320080-1 is not prime. Res64: 6721AB8B870EE88A Time : 0.0 sec. user=mdettweiler [2014-06-17 13:03:01] 727*2^1320081-1 is not prime. Res64: C61AA8BD60207562 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:03:02] 747*2^1320081-1 is not prime. Res64: 0D7E3720B86FE93B Time : 0.0 sec. user=mdettweiler [2014-06-17 13:14:12] 837*2^1320081-1 is not prime. Res64: 43D2397F74CFBEB0 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:14:12] 867*2^1320081-1 is not prime. Res64: 4634658A49421874 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:15:42] 871*2^1320081-1 is not prime. Res64: 16B9D5EBFFEDFA2D Time : 0.0 sec. user=mdettweiler [2014-06-17 13:15:42] 975*2^1320081-1 is not prime. Res64: 0247427A869330A6 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:24:32] 677*2^1320082-1 is not prime. Res64: CDCBE459D39E9CF9 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:24:32] 791*2^1320082-1 is not prime. Res64: 8CFFE14080D4C88F Time : 0.0 sec. user=mdettweiler [2014-06-17 13:27:59] 825*2^1320082-1 is not prime. Res64: AF6A30A83040367E Time : 0.0 sec. user=mdettweiler [2014-06-17 13:27:59] 609*2^1320083-1 is not prime. Res64: 7189BD91F656CF33 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:38:47] 741*2^1320083-1 is not prime. Res64: 1342B80D058AF131 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:38:48] 855*2^1320083-1 is not prime. Res64: F1634A747C37F667 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:41:18] 939*2^1320083-1 is not prime. Res64: 97130D6AD91A60AD Time : 0.0 sec. user=mdettweiler [2014-06-17 13:41:18] 943*2^1320083-1 is not prime. Res64: BEA6AC43472FEB13 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:50:16] 999*2^1320083-1 is not prime. Res64: 94858A5ABE46A85D Time : 0.0 sec. user=mdettweiler [2014-06-17 13:50:16] 765*2^1320084-1 is not prime. Res64: 75E5E1113D28F496 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:53:30] 789*2^1320084-1 is not prime. Res64: 6434240D185F77C9 Time : 0.0 sec. user=mdettweiler [2014-06-17 13:53:31] 957*2^1320084-1 is not prime. Res64: 8E34875815577327 Time : 0.0 sec. user=juhehe [2014-06-17 13:56:23] 973*2^1320083-1 is not prime. Res64: 8A01438B9449C2F2 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:02:08] 607*2^1320085-1 is not prime. Res64: 14BA623A3EC0DDA8 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:02:09] 619*2^1320085-1 is not prime. Res64: B2362964BE6E57E7 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:04:40] 717*2^1320085-1 is not prime. Res64: 9449A46DD2DC5FF4 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:04:41] 729*2^1320085-1 is not prime. Res64: 65EFF0074F0223A9 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:15:46] 775*2^1320085-1 is not prime. Res64: EF9644F3300A433D Time : 0.0 sec. user=mdettweiler [2014-06-17 14:15:46] 831*2^1320085-1 is not prime. Res64: 87AE6F05EF8BEFBC Time : 0.0 sec. user=mdettweiler [2014-06-17 14:19:04] 861*2^1320085-1 is not prime. Res64: A1532AE39D1715A3 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:19:04] 889*2^1320085-1 is not prime. Res64: 73A31AB09F6C2FC3 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:26:44] 713*2^1320086-1 is not prime. Res64: 255A1FCEA08AE5F3 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:26:45] 857*2^1320086-1 is not prime. Res64: AEC48C246357446C Time : 0.0 sec. user=mdettweiler [2014-06-17 14:30:24] 963*2^1320086-1 is not prime. Res64: 693BAB1CF2912DFE Time : 0.0 sec. user=mdettweiler [2014-06-17 14:30:24] 1001*2^1320086-1 is not prime. Res64: 2CAD71C7B424C28C Time : 0.0 sec. user=mdettweiler [2014-06-17 14:39:11] 649*2^1320087-1 is not prime. Res64: AE521F1132ACEF04 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:39:11] 703*2^1320087-1 is not prime. Res64: 729869A4FB261544 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:43:34] 711*2^1320087-1 is not prime. Res64: A08FC04542602AE9 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:43:34] 849*2^1320087-1 is not prime. Res64: EE46A4058CF09488 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:52:28] 919*2^1320087-1 is not prime. Res64: CB92C803AFF51AD4 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:52:29] 955*2^1320087-1 is not prime. Res64: B7AD90C536AF497C Time : 0.0 sec. user=mdettweiler [2014-06-17 14:53:42] 623*2^1320088-1 is not prime. Res64: 854C9213C46B0778 Time : 0.0 sec. user=mdettweiler [2014-06-17 14:53:43] 677*2^1320088-1 is not prime. Res64: 3D0C24311AC0DC01 Time : 0.0 sec. user=juhehe [2014-06-17 15:04:13] 687*2^1320088-1 is not prime. Res64: DDC037206F01DACB Time : 0.0 sec. user=mdettweiler [2014-06-17 15:04:43] 869*2^1320088-1 is not prime. Res64: 3D524B0BCD0E80BD Time : 0.0 sec. user=mdettweiler [2014-06-17 15:04:44] 887*2^1320088-1 is not prime. Res64: A985D12F2C1BF083 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:07:56] 957*2^1320088-1 is not prime. Res64: 090A67FD717B47F4 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:07:57] 619*2^1320089-1 is not prime. Res64: 7305F926625095A3 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:16:54] 657*2^1320089-1 is not prime. Res64: AE63492AE4B36CD5 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:16:54] 781*2^1320089-1 is not prime. Res64: 3AE8A7EB09BD2FC3 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:18:06] 997*2^1320089-1 is not prime. Res64: 5601B164A1971A9C Time : 0.0 sec. user=mdettweiler [2014-06-17 15:18:06] 615*2^1320090-1 is not prime. Res64: 9A31AABA46E423B9 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:28:13] 681*2^1320090-1 is not prime. Res64: ED629E6D7606A896 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:28:14] 711*2^1320090-1 is not prime. Res64: 5D7EF327E161872D Time : 0.0 sec. user=mdettweiler [2014-06-17 15:32:26] 905*2^1320090-1 is not prime. Res64: FE951A33A4C65600 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:32:26] 709*2^1320091-1 is not prime. Res64: BA42CF0C7146A1C7 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:41:48] 745*2^1320091-1 is not prime. Res64: C88CBEC0E63E9CF4 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:41:48] 789*2^1320091-1 is not prime. Res64: 6CBF85F32ED224DB Time : 0.0 sec. user=mdettweiler [2014-06-17 15:44:12] 849*2^1320091-1 is not prime. Res64: 4F8DD545169BF9B7 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:44:12] 913*2^1320091-1 is not prime. Res64: 2423A511E1B8530D Time : 0.0 sec. user=mdettweiler [2014-06-17 15:56:41] 719*2^1320092-1 is not prime. Res64: 73CDCB9AD00A35D6 Time : 0.0 sec. user=mdettweiler [2014-06-17 15:56:41] 819*2^1320092-1 is not prime. Res64: A2E4F8E789DFFE96 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:03:49] 879*2^1320092-1 is not prime. Res64: C7A10EECC23D87F9 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:03:49] 903*2^1320092-1 is not prime. Res64: AB31448370F26ACE Time : 0.0 sec. user=mdettweiler [2014-06-17 16:10:27] 649*2^1320093-1 is not prime. Res64: 7B69848DE4839FBA Time : 0.0 sec. user=mdettweiler [2014-06-17 16:10:27] 651*2^1320093-1 is not prime. Res64: 7071E6912ADCA50A Time : 0.0 sec. user=juhehe [2014-06-17 16:12:16] 983*2^1320092-1 is not prime. Res64: 4197C3E63288CD6B Time : 0.0 sec. user=mdettweiler [2014-06-17 16:12:36] 679*2^1320093-1 is not prime. Res64: BF71E475500C37A9 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:12:37] 747*2^1320093-1 is not prime. Res64: F918B5A6FF3EA0AD Time : 0.0 sec. user=mdettweiler [2014-06-17 16:24:30] 819*2^1320093-1 is not prime. Res64: A21F070C915638A4 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:24:31] 889*2^1320093-1 is not prime. Res64: 8E1B1B8D3FB274F1 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:29:14] 999*2^1320093-1 is not prime. Res64: 8F76F2C00E676776 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:29:14] 611*2^1320094-1 is not prime. Res64: AFFE8A86169D3496 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:34:35] 671*2^1320094-1 is not prime. Res64: 74ECAE4FB104BFB1 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:34:36] 681*2^1320094-1 is not prime. Res64: EBB75CD29A31E8AB Time : 0.0 sec. user=mdettweiler [2014-06-17 16:38:57] 881*2^1320094-1 is not prime. Res64: 50FD5EBB8A7DDC70 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:38:57] 915*2^1320094-1 is not prime. Res64: 9876DA4A160244CE Time : 0.0 sec. user=juhehe [2014-06-17 16:45:37] 717*2^1320094-1 is not prime. Res64: 654966119D1AD183 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:50:46] 923*2^1320094-1 is not prime. Res64: 3D8C680CE2EA492B Time : 0.0 sec. user=mdettweiler [2014-06-17 16:50:46] 1001*2^1320094-1 is not prime. Res64: 4E5C7AA9772284D4 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:53:09] 609*2^1320095-1 is not prime. Res64: 33BAD6A3E5542C04 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:53:10] 693*2^1320095-1 is not prime. Res64: C4C7B49D7C961237 Time : 0.0 sec. user=mdettweiler [2014-06-17 16:59:38] 741*2^1320095-1 is not prime. Res64: EA30398DF70AE90E Time : 0.0 sec. user=mdettweiler [2014-06-17 16:59:38] 789*2^1320095-1 is not prime. Res64: 02A7ADD2553677F4 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:04:02] 963*2^1320095-1 is not prime. Res64: 2CAFF5070A432219 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:04:04] 735*2^1320096-1 is not prime. Res64: 53C1E91F4B3FF897 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:17:00] 779*2^1320096-1 is not prime. Res64: DBA5918C69CB81EE Time : 0.0 sec. user=mdettweiler [2014-06-17 17:17:01] 923*2^1320096-1 is not prime. Res64: C4F095228E7F5DA8 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:17:14] 607*2^1320097-1 is not prime. Res64: D51118AF58029FA3 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:17:14] 639*2^1320097-1 is not prime. Res64: C435253D37D64908 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:25:55] 841*2^1320097-1 is not prime. Res64: 11F59DB11646534C Time : 0.0 sec. user=mdettweiler [2014-06-17 17:25:55] 889*2^1320097-1 is not prime. Res64: 38C592379DE8E232 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:30:24] 897*2^1320097-1 is not prime. Res64: E004EC9684C4E2CC Time : 0.0 sec. user=mdettweiler [2014-06-17 17:30:24] 937*2^1320097-1 is not prime. Res64: A1FC0849F9393EF3 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:42:16] 603*2^1320098-1 is not prime. Res64: 0542CB9858E95BBC Time : 0.0 sec. user=mdettweiler [2014-06-17 17:42:16] 813*2^1320098-1 is not prime. Res64: ECD9CCE2E0114A85 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:43:46] 887*2^1320098-1 is not prime. Res64: 96E25842E186492F Time : 0.0 sec. user=mdettweiler [2014-06-17 17:43:46] 951*2^1320098-1 is not prime. Res64: 07CE75B3DFBC9A65 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:49:59] 615*2^1320099-1 is not prime. Res64: 98107CC3382DAC30 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:49:59] 745*2^1320099-1 is not prime. Res64: 4BC6C5D4F33D6D77 Time : 0.0 sec. user=juhehe [2014-06-17 17:56:07] 995*2^1320098-1 is not prime. Res64: 005AE0F5FD93E959 Time : 0.0 sec. user=mdettweiler [2014-06-17 17:56:51] 753*2^1320099-1 is not prime. Res64: B759DB107B13933A Time : 0.0 sec. user=mdettweiler [2014-06-17 17:56:51] 835*2^1320099-1 is not prime. Res64: E6B7F80201A78344 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:08:37] 853*2^1320099-1 is not prime. Res64: 6CBDD8B15AAFC606 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:08:38] 859*2^1320099-1 is not prime. Res64: 3E69F81967EF13F2 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:10:02] 879*2^1320099-1 is not prime. Res64: 135148CA2BC10A27 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:10:02] 899*2^1320100-1 is not prime. Res64: 181A8B9BEFC2E149 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:16:14] 905*2^1320100-1 is not prime. Res64: EDB793D725B04B59 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:16:15] 939*2^1320100-1 is not prime. Res64: 31347582CD9AA3F8 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:22:05] 989*2^1320100-1 is not prime. Res64: 932FA0893BB3AB3F Time : 0.0 sec. user=mdettweiler [2014-06-17 18:22:05] 715*2^1320101-1 is not prime. Res64: 2D2B3F60B8D055A8 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:32:40] 727*2^1320101-1 is not prime. Res64: 02035EEE4EF8B249 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:32:40] 741*2^1320101-1 is not prime. Res64: 99648B921AE1672B Time : 0.0 sec. user=mdettweiler [2014-06-17 18:36:25] 777*2^1320101-1 is not prime. Res64: A223C7F91DA9C10F Time : 0.0 sec. user=mdettweiler [2014-06-17 18:36:25] 837*2^1320101-1 is not prime. Res64: 7F719088D253ECF8 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:42:42] 871*2^1320101-1 is not prime. Res64: 891E3B99BAA9921E Time : 0.0 sec. user=mdettweiler [2014-06-17 18:42:43] 925*2^1320101-1 is not prime. Res64: 827C5ED764F2AE6F Time : 0.0 sec. user=mdettweiler [2014-06-17 18:47:26] 931*2^1320101-1 is not prime. Res64: 465B86031392D6B1 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:47:26] 681*2^1320102-1 is not prime. Res64: 35BD948D94DC79F5 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:57:52] 975*2^1320102-1 is not prime. Res64: 44CA6971E03732F9 Time : 0.0 sec. user=mdettweiler [2014-06-17 18:57:52] 661*2^1320103-1 is not prime. Res64: 99ACE8970E34E5B1 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:00:30] 705*2^1320103-1 is not prime. Res64: 72C410A8A732E432 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:00:31] 735*2^1320103-1 is not prime. Res64: 9729441DDE14225D Time : 0.0 sec. user=juhehe [2014-06-17 19:06:32] 917*2^1320102-1 is not prime. Res64: 6151E8ED5AE901AF Time : 0.0 sec. user=mdettweiler [2014-06-17 19:07:48] 741*2^1320103-1 is not prime. Res64: 02E717422D6F2BF1 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:07:50] 793*2^1320103-1 is not prime. Res64: D8514A4A3CF64D97 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:13:37] 895*2^1320103-1 is not prime. Res64: 2D752017EB3C267F Time : 0.0 sec. user=mdettweiler [2014-06-17 19:13:37] 993*2^1320103-1 is not prime. Res64: B8B2C0D83AFDEAB9 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:22:46] 767*2^1320104-1 is not prime. Res64: D53F7F0D795B9550 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:22:46] 649*2^1320105-1 is not prime. Res64: B5D90445D51AA45D Time : 0.0 sec. user=mdettweiler [2014-06-17 19:25:27] 657*2^1320105-1 is not prime. Res64: BAC668C8AA3FC204 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:25:27] 787*2^1320105-1 is not prime. Res64: F712630B90A44082 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:34:01] 795*2^1320105-1 is not prime. Res64: 60A0F5C3166E7A85 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:34:02] 811*2^1320105-1 is not prime. Res64: E77AE52718F85DC9 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:39:39] 861*2^1320105-1 is not prime. Res64: 6C4B8C2E5AF3AF2A Time : 0.0 sec. user=mdettweiler [2014-06-17 19:39:39] 889*2^1320105-1 is not prime. Res64: DFA0DF5A69012291 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:48:45] 915*2^1320105-1 is not prime. Res64: 4676361B7CBE2A7A Time : 0.0 sec. user=mdettweiler [2014-06-17 19:48:45] 919*2^1320105-1 is not prime. Res64: BB90F2E662B85890 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:49:07] 701*2^1320106-1 is not prime. Res64: 5578A524F3F3025D Time : 0.0 sec. user=mdettweiler [2014-06-17 19:49:07] 713*2^1320106-1 is not prime. Res64: 273C137169065E13 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:58:57] 735*2^1320106-1 is not prime. Res64: AAA2958EECD0E402 Time : 0.0 sec. user=mdettweiler [2014-06-17 19:58:57] 923*2^1320106-1 is not prime. Res64: 51BB4B192B6DD1DD Time : 0.0 sec. user=juhehe [2014-06-17 20:00:20] 949*2^1320105-1 is not prime. Res64: 931C03C2266C745F Time : 0.0 sec. user=mdettweiler [2014-06-17 20:04:25] 941*2^1320106-1 is not prime. Res64: 1D0D50EF99723AAE Time : 0.0 sec. user=mdettweiler [2014-06-17 20:04:26] 601*2^1320107-1 is not prime. Res64: F785522BECB8BE14 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:12:46] 605*2^1320108-1 is not prime. Res64: BCCB63A68F117C85 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:12:47] 707*2^1320108-1 is not prime. Res64: B58717FA08E47602 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:13:28] 669*2^1320107-1 is not prime. Res64: A81027B17A806557 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:13:28] 883*2^1320107-1 is not prime. Res64: A0F0D4FEAF8DEB94 Time : 0.0 sec. user=juhehe [2014-06-17 20:21:21] 633*2^1320107-1 is not prime. Res64: 1735F5F4ABF3C54D Time : 0.0 sec. user=mdettweiler [2014-06-17 20:24:52] 773*2^1320108-1 is not prime. Res64: A3F739DDF424A464 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:24:53] 777*2^1320108-1 is not prime. Res64: DAAB67ED2BF129C2 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:30:35] 867*2^1320108-1 is not prime. Res64: 39AFC538DCCBA5D2 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:30:36] 927*2^1320108-1 is not prime. Res64: EA67729C6F1CE6B9 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:37:35] 741*2^1320109-1 is not prime. Res64: 5290247785DB0DB8 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:37:35] 967*2^1320109-1 is not prime. Res64: 8498438A5248599C Time : 0.0 sec. user=mdettweiler [2014-06-17 20:38:17] 987*2^1320109-1 is not prime. Res64: 5BD0E152027721F8 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:38:18] 603*2^1320110-1 is not prime. Res64: AB07B6BFBF1BB4D7 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:50:43] 813*2^1320110-1 is not prime. Res64: 9D466A5FD02EAA4B Time : 0.0 sec. user=mdettweiler [2014-06-17 20:50:44] 897*2^1320110-1 is not prime. Res64: 4F07369887D7CEF0 Time : 0.0 sec. user=juhehe [2014-06-17 20:54:43] 675*2^1320110-1 is not prime. Res64: 7A67E589A5CD622D Time : 0.0 sec. user=mdettweiler [2014-06-17 20:55:19] 917*2^1320110-1 is not prime. Res64: ED7DD14F64ACABF3 Time : 0.0 sec. user=mdettweiler [2014-06-17 20:55:19] 625*2^1320111-1 is not prime. Res64: 5419F649FD4947EA Time : 0.0 sec. user=mdettweiler [2014-06-17 21:01:14] 651*2^1320111-1 is not prime. Res64: E84C07C5FFC93A7C Time : 0.0 sec. user=mdettweiler [2014-06-17 21:01:14] 669*2^1320111-1 is not prime. Res64: 9C3778B7B2824134 Time : 0.0 sec. user=mdettweiler [2014-06-17 21:01:50] 675*2^1320111-1 is not prime. Res64: 43AF7E610F0203C7 Time : 0.0 sec. user=mdettweiler [2014-06-17 21:01:51] 691*2^1320111-1 is not prime. Res64: 83269D4C3C345395 Time : 0.0 sec. user=mdettweiler [2014-06-17 21:15:36] 739*2^1320111-1 is not prime. Res64: 3A1FB8E4BFA99DAE Time : 0.0 sec. user=mdettweiler [2014-06-17 21:15:36] 775*2^1320111-1 is not prime. Res64: 331F7B9AAB3A7A20 Time : 0.0 sec. user=mdettweiler [2014-06-17 21:21:22] 795*2^1320111-1 is not prime. Res64: C0FFCE2443AF4925 Time : 0.0 sec. user=mdettweiler [2014-06-17 21:21:22] 829*2^1320111-1 is not prime. Res64: B7FA44B6DFC2EE4F Time : 0.0 sec. user=juhehe [2014-06-17 22:02:11] 741*2^1320113-1 is not prime. Res64: C5E61BA60BB11E27 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:04:20] 913*2^1320111-1 is not prime. Res64: 8BF8699C12256C53 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:04:22] 605*2^1320112-1 is not prime. Res64: F248CE14E32EFABC Time : 0.0 sec. user=mdettweiler [2014-06-17 22:06:24] 859*2^1320111-1 is not prime. Res64: 416BA9BAB89C28CD Time : 0.0 sec. user=mdettweiler [2014-06-17 22:06:24] 901*2^1320111-1 is not prime. Res64: 364167BA054660E4 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:16:55] 619*2^1320113-1 is not prime. Res64: 1EE284F3D786D902 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:16:55] 631*2^1320113-1 is not prime. Res64: 698C4E4A870D138D Time : 0.0 sec. user=mdettweiler [2014-06-17 22:21:36] 819*2^1320112-1 is not prime. Res64: 7FC90FE3B7E54191 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:21:36] 989*2^1320112-1 is not prime. Res64: 4B42E36DE0E6850A Time : 0.0 sec. user=mdettweiler [2014-06-17 22:37:55] 915*2^1320113-1 is not prime. Res64: F69B76A145247F1C Time : 0.0 sec. user=mdettweiler [2014-06-17 22:37:55] 925*2^1320113-1 is not prime. Res64: 167CBC11C34ED82D Time : 0.0 sec. user=mdettweiler [2014-06-17 22:38:29] 811*2^1320113-1 is not prime. Res64: C06E2FA14DEEA042 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:38:29] 819*2^1320113-1 is not prime. Res64: DCE309D8A1FF6855 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:45:30] 957*2^1320113-1 is not prime. Res64: DD89045E0BDF44CD Time : 0.0 sec. user=mdettweiler [2014-06-17 22:45:30] 651*2^1320114-1 is not prime. Res64: 50007E7A5C7FCB81 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:48:34] 683*2^1320114-1 is not prime. Res64: 4146CF82FBCE3196 Time : 0.0 sec. user=mdettweiler [2014-06-17 22:48:35] 747*2^1320114-1 is not prime. Res64: EC3BDC715762640C Time : 0.0 sec. user=mdettweiler [2014-06-17 23:02:46] 803*2^1320114-1 is not prime. Res64: 16842450CBAFD1CD Time : 0.0 sec. user=mdettweiler [2014-06-17 23:02:48] 601*2^1320115-1 is not prime. Res64: EF6DA47E46D6CA78 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:03:11] 693*2^1320115-1 is not prime. Res64: A8C97C44257B8371 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:03:12] 801*2^1320115-1 is not prime. Res64: DBDA9955B03B9D33 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:10:05] 939*2^1320115-1 is not prime. Res64: 8004D4804C67516A Time : 0.0 sec. user=mdettweiler [2014-06-17 23:10:06] 623*2^1320116-1 is not prime. Res64: 0AB41470313078CF Time : 0.0 sec. user=juhehe [2014-06-17 23:10:57] 783*2^1320114-1 is not prime. Res64: 1F8B9440DAC478C9 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:12:09] 669*2^1320116-1 is not prime. Res64: 51189DE3173BAB98 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:12:10] 735*2^1320116-1 is not prime. Res64: F4D331AA43C01BFD Time : 0.0 sec. user=mdettweiler [2014-06-17 23:27:53] 935*2^1320116-1 is not prime. Res64: 4C3CBDBE970717D7 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:27:54] 601*2^1320117-1 is not prime. Res64: 94B00A2D72CFAEED Time : 0.0 sec. user=mdettweiler [2014-06-17 23:28:46] 845*2^1320116-1 is not prime. Res64: A13C2E15B33180DC Time : 0.0 sec. user=mdettweiler [2014-06-17 23:28:47] 899*2^1320116-1 is not prime. Res64: D918477BFF29B0EF Time : 0.0 sec. user=mdettweiler [2014-06-17 23:35:53] 777*2^1320117-1 is not prime. Res64: 206D433D80A94731 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:35:54] 795*2^1320117-1 is not prime. Res64: 313DA5557D6C6B1A Time : 0.0 sec. user=mdettweiler [2014-06-17 23:37:54] 927*2^1320117-1 is not prime. Res64: 719BD15C2F2FCF59 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:37:55] 937*2^1320117-1 is not prime. Res64: F7A3B67885CE9C67 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:52:16] 611*2^1320118-1 is not prime. Res64: EF22B2215E4BF987 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:52:16] 671*2^1320118-1 is not prime. Res64: C33125FA7CC6D9E3 Time : 0.0 sec. user=mdettweiler [2014-06-17 23:53:37] 991*2^1320117-1 is not prime. Res64: E04383B9CBBA30FA Time : 0.0 sec. user=mdettweiler [2014-06-17 23:53:37] 997*2^1320117-1 is not prime. Res64: 21C447D291B79370 Time : 0.0 sec. user=mdettweiler [2014-06-18 00:00:26] 713*2^1320118-1 is not prime. Res64: F4B8F9EFCAD8DFF2 Time : 0.0 sec. user=mdettweiler [2014-06-18 00:00:26] 801*2^1320118-1 is not prime. Res64: 21A5FD2273B58C2E Time : 0.0 sec.