user=mdettweiler [2013-07-27 00:23:35] 725*2^1248066-1 is not prime. Res64: 7E190323AA449889 Time : 0.0 sec. user=mdettweiler [2013-07-27 00:23:36] 741*2^1248066-1 is not prime. Res64: 4CEFCE89128A3B92 Time : 0.0 sec. user=juhehe [2013-07-27 01:54:34] 951*2^1248067-1 is not prime. Res64: 9B43D909286707A8 Time : 0.0 sec. user=juhehe [2013-07-27 05:38:23] 603*2^1248068-1 is not prime. Res64: 6E40E4D93CFB46DA Time : 0.0 sec. user=mdettweiler [2013-07-27 12:07:36] 915*2^1248067-1 is not prime. Res64: 867378D2DAB5F83F Time : 0.0 sec. user=mdettweiler [2013-07-27 12:07:37] 945*2^1248067-1 is not prime. Res64: B33A84A8D991DE19 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:07:43] 633*2^1248067-1 is not prime. Res64: D3BB63AC95D8D487 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:07:44] 895*2^1248067-1 is not prime. Res64: 89B349802F8C86E7 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:07:44] 765*2^1248066-1 is not prime. Res64: 2793B4AE53F8CBE6 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:07:45] 873*2^1248066-1 is not prime. Res64: 8612563EA55B068D Time : 0.0 sec. user=mdettweiler [2013-07-27 12:08:31] 971*2^1248066-1 is not prime. Res64: 30AAC7F1903ADD86 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:08:32] 601*2^1248067-1 is not prime. Res64: F1CFB23C17507DEC Time : 0.0 sec. user=mdettweiler [2013-07-27 12:26:37] 743*2^1248068-1 is not prime. Res64: 4EF590B97450916A Time : 0.0 sec. user=mdettweiler [2013-07-27 12:26:38] 837*2^1248068-1 is not prime. Res64: 9BA3C2C5F9EF017D Time : 0.0 sec. user=mdettweiler [2013-07-27 12:27:35] 885*2^1248068-1 is not prime. Res64: FEBA02AC3C1003C0 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:27:36] 995*2^1248068-1 is not prime. Res64: 21E537647D49D797 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:27:36] 959*2^1248068-1 is not prime. Res64: CC6A3D8EB08172DB Time : 0.0 sec. user=mdettweiler [2013-07-27 12:27:36] 835*2^1248069-1 is not prime. Res64: BE96CDBF166A409B Time : 0.0 sec. user=mdettweiler [2013-07-27 12:28:21] 979*2^1248069-1 is not prime. Res64: D6B27A67E6A12646 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:28:21] 647*2^1248070-1 is not prime. Res64: E7C4C25187DB252F Time : 0.0 sec. user=mdettweiler [2013-07-27 12:45:39] 657*2^1248070-1 is not prime. Res64: 33676DF5B053F366 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:45:40] 695*2^1248070-1 is not prime. Res64: 634B611B1DE38AEE Time : 0.0 sec. user=mdettweiler [2013-07-27 12:46:38] 693*2^1248071-1 is not prime. Res64: C0834E744A44F851 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:46:38] 741*2^1248071-1 is not prime. Res64: 0C3E9243929228FD Time : 0.0 sec. user=mdettweiler [2013-07-27 12:46:39] 915*2^1248070-1 is not prime. Res64: 38CBCB26CCF23DFC Time : 0.0 sec. user=mdettweiler [2013-07-27 12:46:40] 603*2^1248071-1 is not prime. Res64: 4EB9A5DD826AC027 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:47:25] 789*2^1248071-1 is not prime. Res64: 57ECF1611FD06188 Time : 0.0 sec. user=mdettweiler [2013-07-27 12:47:26] 825*2^1248071-1 is not prime. Res64: C21A195C0AF79F10 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:04:47] 883*2^1248071-1 is not prime. Res64: 4D397B90691C6C7D Time : 0.0 sec. user=mdettweiler [2013-07-27 13:04:48] 623*2^1248072-1 is not prime. Res64: 3824718BA3292179 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:05:44] 653*2^1248072-1 is not prime. Res64: 48546EB9B968B702 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:05:45] 867*2^1248072-1 is not prime. Res64: D47E29FFC9CC47CA Time : 0.0 sec. user=mdettweiler [2013-07-27 13:05:45] 843*2^1248072-1 is not prime. Res64: 407D7BB70EE9F2F9 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:05:46] 887*2^1248072-1 is not prime. Res64: 76B2D2C9D572D905 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:06:36] 945*2^1248072-1 is not prime. Res64: E450775AF499F51E Time : 0.0 sec. user=mdettweiler [2013-07-27 13:06:37] 615*2^1248073-1 is not prime. Res64: 7A078E8274C80188 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:23:57] 625*2^1248073-1 is not prime. Res64: 5AB1BFE783EC8D5C Time : 0.0 sec. user=mdettweiler [2013-07-27 13:23:58] 649*2^1248073-1 is not prime. Res64: CB9BB21563733625 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:24:52] 741*2^1248073-1 is not prime. Res64: 80B81D6580C91F71 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:24:53] 751*2^1248073-1 is not prime. Res64: 9FE59F25EA311CA3 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:25:43] 645*2^1248074-1 is not prime. Res64: 1923015D49FC4D68 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:25:44] 675*2^1248074-1 is not prime. Res64: E99BA46D5E46DA2A Time : 0.0 sec. user=mdettweiler [2013-07-27 13:25:47] 801*2^1248073-1 is not prime. Res64: E61A525BF3EA7F40 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:25:47] 987*2^1248073-1 is not prime. Res64: A9B784A5BFBE7882 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:43:07] 677*2^1248074-1 is not prime. Res64: 3FFA8FA4C2BA8AAF Time : 0.0 sec. user=mdettweiler [2013-07-27 13:43:08] 753*2^1248074-1 is not prime. Res64: 09E80DFC9A5A8966 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:44:00] 767*2^1248074-1 is not prime. Res64: 34519B0FAED6F712 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:44:00] 773*2^1248074-1 is not prime. Res64: 2CCC5A132883B407 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:44:54] 827*2^1248074-1 is not prime. Res64: BD7C2A76965E0AF0 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:44:54] 945*2^1248074-1 is not prime. Res64: FB6E1EB9C1CA8E15 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:44:57] 739*2^1248075-1 is not prime. Res64: D2EFCA20558C24E4 Time : 0.0 sec. user=mdettweiler [2013-07-27 13:44:57] 781*2^1248075-1 is not prime. Res64: 81482D79CA0A5E99 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:02:23] 783*2^1248075-1 is not prime. Res64: 302940699616B7B2 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:02:24] 789*2^1248075-1 is not prime. Res64: 1CEBEDE2D67FF480 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:04:03] 603*2^1248076-1 is not prime. Res64: 2BEF55D4CF7CFD2B Time : 0.0 sec. user=mdettweiler [2013-07-27 14:04:03] 749*2^1248076-1 is not prime. Res64: A776D7CC6D328078 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:04:09] 859*2^1248075-1 is not prime. Res64: A71C528FFE7740AF Time : 0.0 sec. user=mdettweiler [2013-07-27 14:04:09] 991*2^1248075-1 is not prime. Res64: 1942D0AF84C99AA3 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:04:11] 783*2^1248076-1 is not prime. Res64: 5252857C41426A11 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:04:11] 875*2^1248076-1 is not prime. Res64: 07B1E6512E3E36DD Time : 0.0 sec. user=mdettweiler [2013-07-27 14:21:53] 649*2^1248077-1 is not prime. Res64: DDC92531BD3F1DBD Time : 0.0 sec. user=mdettweiler [2013-07-27 14:21:54] 675*2^1248077-1 is not prime. Res64: 97BA39A0350145DA Time : 0.0 sec. user=mdettweiler [2013-07-27 14:23:16] 799*2^1248077-1 is not prime. Res64: 471C1D43696564BF Time : 0.0 sec. user=mdettweiler [2013-07-27 14:23:16] 825*2^1248077-1 is not prime. Res64: EA44A4D20EC91734 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:23:20] 885*2^1248077-1 is not prime. Res64: 4D5A3645C79C9AA3 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:23:20] 925*2^1248077-1 is not prime. Res64: D93AA116591AD25C Time : 0.0 sec. user=mdettweiler [2013-07-27 14:23:24] 621*2^1248078-1 is not prime. Res64: 0AF01C1A2CF86E3A Time : 0.0 sec. user=mdettweiler [2013-07-27 14:23:25] 651*2^1248078-1 is not prime. Res64: 825625F6023EE934 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:41:24] 695*2^1248078-1 is not prime. Res64: B929D58431FA1E69 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:41:25] 795*2^1248078-1 is not prime. Res64: 2BC709C22B1E98D0 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:42:48] 633*2^1248079-1 is not prime. Res64: 798464DECAD3746A Time : 0.0 sec. user=mdettweiler [2013-07-27 14:42:49] 943*2^1248079-1 is not prime. Res64: 7AB15AEA5C6AADDD Time : 0.0 sec. user=mdettweiler [2013-07-27 14:43:36] 1001*2^1248078-1 is not prime. Res64: CE88363ED695F24F Time : 0.0 sec. user=mdettweiler [2013-07-27 14:43:36] 615*2^1248079-1 is not prime. Res64: 1C4645BEE843341A Time : 0.0 sec. user=mdettweiler [2013-07-27 14:43:48] 961*2^1248079-1 is not prime. Res64: 96DBA982F6768285 Time : 0.0 sec. user=mdettweiler [2013-07-27 14:43:49] 659*2^1248080-1 is not prime. Res64: 68179E9F72E1643C Time : 0.0 sec. user=mdettweiler [2013-07-27 15:00:43] 767*2^1248080-1 is not prime. Res64: A11B472B6E26804A Time : 0.0 sec. user=mdettweiler [2013-07-27 15:00:44] 839*2^1248080-1 is not prime. Res64: 6637C5CB115D6CD6 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:02:05] 845*2^1248080-1 is not prime. Res64: E874F8F192E353C4 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:02:06] 899*2^1248080-1 is not prime. Res64: EE28B001EDD95A4C Time : 0.0 sec. user=mdettweiler [2013-07-27 15:03:03] 709*2^1248081-1 is not prime. Res64: 4AFFDEE049945499 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:03:04] 777*2^1248081-1 is not prime. Res64: 46F66FCE3DE4AD9B Time : 0.0 sec. user=mdettweiler [2013-07-27 15:03:49] 959*2^1248080-1 is not prime. Res64: 61C6952278CC493F Time : 0.0 sec. user=mdettweiler [2013-07-27 15:03:50] 681*2^1248081-1 is not prime. Res64: 8EC729455CE55F11 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:20:16] 695*2^1248082-1 is not prime. Res64: 9DD12B7298D3BD74 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:20:16] 717*2^1248082-1 is not prime. Res64: FFCDB8EAB3DA95E6 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:21:31] 741*2^1248082-1 is not prime. Res64: 30C22FB337CFFCCF Time : 0.0 sec. user=mdettweiler [2013-07-27 15:21:31] 743*2^1248082-1 is not prime. Res64: 5D87FEFE1539C065 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:22:25] 827*2^1248082-1 is not prime. Res64: AB6B1483380EABB8 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:22:26] 873*2^1248082-1 is not prime. Res64: 812A31AEB0ED1E43 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:23:04] 881*2^1248082-1 is not prime. Res64: D33F915AB2E21B2C Time : 0.0 sec. user=mdettweiler [2013-07-27 15:23:04] 945*2^1248082-1 is not prime. Res64: 5CF41F53BD526A24 Time : 0.0 sec. user=juhehe [2013-07-27 15:24:11] 781*2^1248081-1 is not prime. Res64: EF8A03CEEE2BE7A3 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:40:24] 947*2^1248082-1 is not prime. Res64: 3233245D6C7F8604 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:40:25] 619*2^1248083-1 is not prime. Res64: 284B006CF387FE79 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:40:45] 675*2^1248083-1 is not prime. Res64: 6FAC3878C3FF4B2C Time : 0.0 sec. user=mdettweiler [2013-07-27 15:40:45] 813*2^1248083-1 is not prime. Res64: 9BEA9E5D81E98081 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:41:39] 913*2^1248083-1 is not prime. Res64: D30077BEA5C5A30D Time : 0.0 sec. user=mdettweiler [2013-07-27 15:41:40] 915*2^1248083-1 is not prime. Res64: 20A5053563CB3668 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:43:19] 981*2^1248083-1 is not prime. Res64: 13023D38A99379E3 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:43:20] 753*2^1248084-1 is not prime. Res64: A7920CA672F23BC6 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:59:40] 825*2^1248084-1 is not prime. Res64: 086F4D6A9ECE0CF7 Time : 0.0 sec. user=mdettweiler [2013-07-27 15:59:41] 843*2^1248084-1 is not prime. Res64: 8FA2F94C2D884356 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:00:05] 619*2^1248085-1 is not prime. Res64: 316D92F6682A4D8C Time : 0.0 sec. user=mdettweiler [2013-07-27 16:00:06] 687*2^1248085-1 is not prime. Res64: 76C4A876B8B6E264 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:01:04] 771*2^1248085-1 is not prime. Res64: 0C56AEAF4A217851 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:01:05] 671*2^1248086-1 is not prime. Res64: FA51E599C5B036DF Time : 0.0 sec. user=mdettweiler [2013-07-27 16:02:39] 711*2^1248086-1 is not prime. Res64: CC79C414BC42B2A4 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:02:40] 741*2^1248086-1 is not prime. Res64: 7AB45C0D2DBFD51C Time : 0.0 sec. user=mdettweiler [2013-07-27 16:18:57] 761*2^1248086-1 is not prime. Res64: E75A49607894FAE9 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:18:58] 851*2^1248086-1 is not prime. Res64: 7A4CDAF4BA81009E Time : 0.0 sec. user=mdettweiler [2013-07-27 16:19:25] 873*2^1248086-1 is not prime. Res64: 6893BB9ABD47DCAD Time : 0.0 sec. user=mdettweiler [2013-07-27 16:19:26] 897*2^1248086-1 is not prime. Res64: B57BFD34E5ABA9BE Time : 0.0 sec. user=mdettweiler [2013-07-27 16:22:03] 615*2^1248087-1 is not prime. Res64: 1C693F6B48D0784E Time : 0.0 sec. user=mdettweiler [2013-07-27 16:22:04] 649*2^1248087-1 is not prime. Res64: FBF4CD3D4595191E Time : 0.0 sec. user=mdettweiler [2013-07-27 16:22:09] 963*2^1248086-1 is not prime. Res64: B8907D9F9C52F4EB Time : 0.0 sec. user=mdettweiler [2013-07-27 16:22:09] 1001*2^1248086-1 is not prime. Res64: 6BA1727CEA3D81F3 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:38:15] 651*2^1248087-1 is not prime. Res64: 56EA8DFEA81C9859 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:38:16] 709*2^1248087-1 is not prime. Res64: A3CB89BFB5A7D939 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:39:37] 909*2^1248087-1 is not prime. Res64: E1536E2C4E710B41 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:39:38] 963*2^1248087-1 is not prime. Res64: C00AC0AAB4047CC2 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:41:30] 827*2^1248088-1 is not prime. Res64: 69768138FE3F995A Time : 0.0 sec. user=mdettweiler [2013-07-27 16:41:30] 741*2^1248089-1 is not prime. Res64: DD6AF411058FAFC0 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:42:15] 991*2^1248087-1 is not prime. Res64: 789F40881DDF4D49 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:42:16] 713*2^1248088-1 is not prime. Res64: 5C40CA203CF45BAA Time : 0.0 sec. user=mdettweiler [2013-07-27 16:57:34] 787*2^1248089-1 is not prime. Res64: 3DD9943D81149C92 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:57:34] 829*2^1248089-1 is not prime. Res64: 050BC67498127599 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:58:51] 831*2^1248089-1 is not prime. Res64: 12118D205BB196E6 Time : 0.0 sec. user=mdettweiler [2013-07-27 16:58:51] 861*2^1248089-1 is not prime. Res64: 3DD32DD30BEE9B63 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:01:32] 653*2^1248090-1 is not prime. Res64: A8888DC38D18198E Time : 0.0 sec. user=mdettweiler [2013-07-27 17:01:33] 797*2^1248090-1 is not prime. Res64: 9AD8AD2C87097C5F Time : 0.0 sec. user=mdettweiler [2013-07-27 17:01:47] 865*2^1248089-1 is not prime. Res64: 1488968DE809C7D3 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:01:48] 949*2^1248089-1 is not prime. Res64: 21CC515BAAD26D4C Time : 0.0 sec. user=juhehe [2013-07-27 17:11:53] 781*2^1248089-1 is not prime. Res64: 69DA743B3142E5C4 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:16:51] 867*2^1248090-1 is not prime. Res64: AE09088254E40DD9 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:16:51] 875*2^1248090-1 is not prime. Res64: 79AC8FF5EF350027 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:18:04] 921*2^1248090-1 is not prime. Res64: 6937524929BFA70A Time : 0.0 sec. user=mdettweiler [2013-07-27 17:18:05] 927*2^1248090-1 is not prime. Res64: CB4D87DCC7F7BABB Time : 0.0 sec. user=mdettweiler [2013-07-27 17:20:49] 945*2^1248090-1 is not prime. Res64: 9D430FDE956D1EA2 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:20:49] 645*2^1248091-1 is not prime. Res64: F1FC5F18341032E3 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:21:03] 651*2^1248091-1 is not prime. Res64: 631A9E03F71855DB Time : 0.0 sec. user=mdettweiler [2013-07-27 17:21:03] 663*2^1248091-1 is not prime. Res64: 5934918A77810C3C Time : 0.0 sec. user=mdettweiler [2013-07-27 17:36:03] 751*2^1248091-1 is not prime. Res64: 0A4B22367163BA25 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:36:04] 771*2^1248091-1 is not prime. Res64: 66D6B9814F0A8860 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:37:20] 843*2^1248091-1 is not prime. Res64: 549A0F67C185480C Time : 0.0 sec. user=mdettweiler [2013-07-27 17:37:21] 849*2^1248091-1 is not prime. Res64: 9A5D594C7D9C71A7 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:40:25] 833*2^1248092-1 is not prime. Res64: DC6D4F1E749C3309 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:40:25] 855*2^1248092-1 is not prime. Res64: B2CE8736C76B37BC Time : 0.0 sec. user=mdettweiler [2013-07-27 17:41:03] 859*2^1248091-1 is not prime. Res64: 4F2C21081A80B370 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:41:03] 979*2^1248091-1 is not prime. Res64: E6AA5A7650CE9577 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:55:46] 867*2^1248092-1 is not prime. Res64: 72003FDB0D8EB682 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:55:47] 915*2^1248092-1 is not prime. Res64: 5B76287ED5D13399 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:57:21] 627*2^1248093-1 is not prime. Res64: 08A8AA62D97B4EA1 Time : 0.0 sec. user=mdettweiler [2013-07-27 17:57:21] 639*2^1248093-1 is not prime. Res64: F48974AE86F5FD6A Time : 0.0 sec. user=mdettweiler [2013-07-27 18:00:15] 727*2^1248093-1 is not prime. Res64: D9C08EE258821B35 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:00:15] 741*2^1248093-1 is not prime. Res64: 98A55E42C907C0AC Time : 0.0 sec. user=mdettweiler [2013-07-27 18:00:48] 781*2^1248093-1 is not prime. Res64: 693AEC62976BC2C1 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:00:49] 635*2^1248094-1 is not prime. Res64: BFFC475E981C6E49 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:15:31] 737*2^1248094-1 is not prime. Res64: F9187184BEAB6F6C Time : 0.0 sec. user=mdettweiler [2013-07-27 18:15:31] 773*2^1248094-1 is not prime. Res64: 6AD7526260A17139 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:17:01] 785*2^1248094-1 is not prime. Res64: 0E4686C82CF2EF99 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:17:01] 715*2^1248095-1 is not prime. Res64: D2FC1A1D8B789AF8 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:20:24] 721*2^1248095-1 is not prime. Res64: 04B4B2FCC668744C Time : 0.0 sec. user=mdettweiler [2013-07-27 18:20:24] 939*2^1248095-1 is not prime. Res64: 4305E6A3B921F959 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:21:32] 985*2^1248095-1 is not prime. Res64: 891FD4809AE2533C Time : 0.0 sec. user=mdettweiler [2013-07-27 18:21:32] 633*2^1248096-1 is not prime. Res64: E527E4AFAFACE8E8 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:35:14] 825*2^1248096-1 is not prime. Res64: D4F474ED4DC47246 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:35:14] 875*2^1248096-1 is not prime. Res64: 6FD2EA3271257A2D Time : 0.0 sec. user=mdettweiler [2013-07-27 18:36:40] 625*2^1248097-1 is not prime. Res64: C59C74E519BA5BB5 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:36:40] 667*2^1248097-1 is not prime. Res64: 0AB5D4C8ADF30D93 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:40:07] 691*2^1248097-1 is not prime. Res64: 4FFD999BB4F8D579 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:40:07] 775*2^1248097-1 is not prime. Res64: 49070642D0B60A31 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:41:07] 831*2^1248097-1 is not prime. Res64: 3FD269E8BAEC777F Time : 0.0 sec. user=mdettweiler [2013-07-27 18:41:07] 861*2^1248097-1 is not prime. Res64: 02951A2CC71FFE8E Time : 0.0 sec. user=mdettweiler [2013-07-27 18:54:52] 867*2^1248097-1 is not prime. Res64: 5B1EDE5A83BEEDA1 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:54:53] 937*2^1248097-1 is not prime. Res64: C16AB00F822685D0 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:56:20] 623*2^1248098-1 is not prime. Res64: FD27A30E72B6C313 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:56:20] 657*2^1248098-1 is not prime. Res64: 0D88C79E9E54975D Time : 0.0 sec. user=mdettweiler [2013-07-27 18:59:56] 743*2^1248098-1 is not prime. Res64: 673D1B15511A3E91 Time : 0.0 sec. user=mdettweiler [2013-07-27 18:59:56] 797*2^1248098-1 is not prime. Res64: 1CB5272A87F25141 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:00:44] 837*2^1248098-1 is not prime. Res64: C6FF23E3466DC411 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:00:45] 857*2^1248098-1 is not prime. Res64: 5617A9BF404E0A82 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:14:25] 911*2^1248098-1 is not prime. Res64: BE9D0EEE0129A590 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:14:25] 609*2^1248099-1 is not prime. Res64: 51C53C310E0384C3 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:16:00] 639*2^1248099-1 is not prime. Res64: BCB03656E6929993 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:16:00] 663*2^1248099-1 is not prime. Res64: 7C04ECE57FA75CF4 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:19:33] 801*2^1248099-1 is not prime. Res64: F50E28699D15AABA Time : 0.0 sec. user=mdettweiler [2013-07-27 19:19:33] 895*2^1248099-1 is not prime. Res64: 101CDF21818AE762 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:20:23] 615*2^1248100-1 is not prime. Res64: 501878AAF7F0FD03 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:20:23] 723*2^1248100-1 is not prime. Res64: 4F8375CE2E0A1426 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:33:56] 797*2^1248100-1 is not prime. Res64: B3B977A4F024EED7 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:33:56] 839*2^1248100-1 is not prime. Res64: B294501A48BF049A Time : 0.0 sec. user=mdettweiler [2013-07-27 19:35:36] 857*2^1248100-1 is not prime. Res64: 70E527F4AB703B46 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:35:36] 885*2^1248100-1 is not prime. Res64: 30136E67B940CD42 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:39:14] 923*2^1248100-1 is not prime. Res64: E959889FB83C5906 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:39:14] 727*2^1248101-1 is not prime. Res64: 328112385D5A29F4 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:40:03] 747*2^1248101-1 is not prime. Res64: 058C4736F68CEAB8 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:40:03] 757*2^1248101-1 is not prime. Res64: 346DA5D9FD6B3129 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:53:37] 825*2^1248101-1 is not prime. Res64: 2FFAA0647DF25166 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:53:37] 711*2^1248102-1 is not prime. Res64: FC5CEADFE847684B Time : 0.0 sec. user=mdettweiler [2013-07-27 19:55:20] 713*2^1248102-1 is not prime. Res64: E77E428D30A1DA54 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:55:20] 737*2^1248102-1 is not prime. Res64: D484DED7CE042469 Time : 0.0 sec. user=mdettweiler [2013-07-27 19:58:56] 741*2^1248102-1 is not prime. Res64: DAFB86606663EC2A Time : 0.0 sec. user=mdettweiler [2013-07-27 19:58:56] 797*2^1248102-1 is not prime. Res64: A45ACD4216D8112B Time : 0.0 sec. user=mdettweiler [2013-07-27 20:00:41] 893*2^1248102-1 is not prime. Res64: E4928A5E505E0425 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:00:42] 975*2^1248102-1 is not prime. Res64: E78AA39A6346BBCF Time : 0.0 sec. user=mdettweiler [2013-07-27 20:14:58] 709*2^1248103-1 is not prime. Res64: EB1B41AA307032CD Time : 0.0 sec. user=mdettweiler [2013-07-27 20:15:00] 741*2^1248103-1 is not prime. Res64: 978125A97B9374E4 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:15:03] 977*2^1248102-1 is not prime. Res64: 9C4F82918BB36927 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:15:04] 1001*2^1248102-1 is not prime. Res64: DDA33CBF029B3615 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:18:15] 775*2^1248103-1 is not prime. Res64: 85EF28805086FA77 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:18:15] 805*2^1248103-1 is not prime. Res64: 5F3F21B9EACBE141 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:20:09] 813*2^1248103-1 is not prime. Res64: 7B80E5DF21AB26FD Time : 0.0 sec. user=mdettweiler [2013-07-27 20:20:09] 885*2^1248103-1 is not prime. Res64: 65370F169FA02A8C Time : 0.0 sec. user=mdettweiler [2013-07-27 20:34:24] 615*2^1248104-1 is not prime. Res64: 125A769D0DFEDE56 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:34:24] 665*2^1248104-1 is not prime. Res64: A6532D3C2FDAD969 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:35:18] 895*2^1248103-1 is not prime. Res64: 3B0A3394C94BCFD6 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:35:18] 999*2^1248103-1 is not prime. Res64: E0A0F92E3AF301E9 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:37:32] 747*2^1248104-1 is not prime. Res64: 96A8E0DA7839AF58 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:37:32] 767*2^1248104-1 is not prime. Res64: 52A6509D4DDD870D Time : 0.0 sec. user=mdettweiler [2013-07-27 20:40:24] 995*2^1248104-1 is not prime. Res64: B5979C3C8D4A80AE Time : 0.0 sec. user=mdettweiler [2013-07-27 20:40:24] 685*2^1248105-1 is not prime. Res64: A289E2986EE4A2EB Time : 0.0 sec. user=mdettweiler [2013-07-27 20:53:48] 739*2^1248105-1 is not prime. Res64: 9F7DE29BF42A10AB Time : 0.0 sec. user=mdettweiler [2013-07-27 20:53:48] 751*2^1248105-1 is not prime. Res64: 66686FDD37781D07 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:54:41] 795*2^1248105-1 is not prime. Res64: 7C90B31C42B019CA Time : 0.0 sec. user=mdettweiler [2013-07-27 20:54:41] 611*2^1248106-1 is not prime. Res64: F43DB5DCA472E3BE Time : 0.0 sec. user=mdettweiler [2013-07-27 20:56:51] 657*2^1248106-1 is not prime. Res64: BAF0ED0F8D6D6F7D Time : 0.0 sec. user=mdettweiler [2013-07-27 20:56:52] 677*2^1248106-1 is not prime. Res64: C49D2A5403FFC9EF Time : 0.0 sec. user=mdettweiler [2013-07-27 20:59:43] 717*2^1248106-1 is not prime. Res64: 2AC6B4A854A65A59 Time : 0.0 sec. user=mdettweiler [2013-07-27 20:59:44] 803*2^1248106-1 is not prime. Res64: AF4BE8017A08C9B0 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:13:04] 887*2^1248106-1 is not prime. Res64: 85CA85847D77CD0D Time : 0.0 sec. user=mdettweiler [2013-07-27 21:13:04] 631*2^1248107-1 is not prime. Res64: ADD1C2BD1AFECF17 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:14:04] 675*2^1248107-1 is not prime. Res64: F225FDC1F1A32510 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:14:05] 711*2^1248107-1 is not prime. Res64: CADCAEDB256F7EA2 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:16:13] 825*2^1248107-1 is not prime. Res64: D3817F327B25611A Time : 0.0 sec. user=mdettweiler [2013-07-27 21:16:14] 635*2^1248108-1 is not prime. Res64: 749AE3CB7F5FC942 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:19:05] 647*2^1248108-1 is not prime. Res64: 630444653BA8616B Time : 0.0 sec. user=mdettweiler [2013-07-27 21:19:05] 663*2^1248108-1 is not prime. Res64: 838553762A51BADE Time : 0.0 sec. user=mdettweiler [2013-07-27 21:32:26] 759*2^1248108-1 is not prime. Res64: 543446A1DC2463B9 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:32:26] 767*2^1248108-1 is not prime. Res64: 186F9978D9147662 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:33:30] 649*2^1248109-1 is not prime. Res64: CBF568835A0A6B8F Time : 0.0 sec. user=mdettweiler [2013-07-27 21:33:30] 811*2^1248109-1 is not prime. Res64: F115A74E74673255 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:35:30] 817*2^1248109-1 is not prime. Res64: 26197B4BF73BD90D Time : 0.0 sec. user=mdettweiler [2013-07-27 21:35:31] 939*2^1248109-1 is not prime. Res64: 51F6444E6620BDC3 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:39:25] 999*2^1248109-1 is not prime. Res64: E2740FBD7A2CA2B0 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:39:25] 641*2^1248110-1 is not prime. Res64: 4B6EC424B0C69348 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:51:47] 675*2^1248110-1 is not prime. Res64: 29886A783C5238CB Time : 0.0 sec. user=mdettweiler [2013-07-27 21:51:47] 761*2^1248110-1 is not prime. Res64: B8B80F3EA6D69C91 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:52:53] 893*2^1248110-1 is not prime. Res64: 5567C105091F1D0B Time : 0.0 sec. user=mdettweiler [2013-07-27 21:52:53] 921*2^1248110-1 is not prime. Res64: FFF6170CD14DF2CD Time : 0.0 sec. user=mdettweiler [2013-07-27 21:55:46] 923*2^1248110-1 is not prime. Res64: 018E2508E0353D74 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:55:46] 957*2^1248110-1 is not prime. Res64: BCF741C092E5254F Time : 0.0 sec. user=mdettweiler [2013-07-27 21:58:46] 709*2^1248111-1 is not prime. Res64: FDC1769764EBA5F1 Time : 0.0 sec. user=mdettweiler [2013-07-27 21:58:47] 735*2^1248111-1 is not prime. Res64: AE4A439170685669 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:11:09] 763*2^1248111-1 is not prime. Res64: B1CC6FD0C82E7686 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:11:09] 677*2^1248112-1 is not prime. Res64: CDEF475BD5626B2A Time : 0.0 sec. user=mdettweiler [2013-07-27 22:12:12] 759*2^1248112-1 is not prime. Res64: 3F08BF9988C9F5AC Time : 0.0 sec. user=mdettweiler [2013-07-27 22:12:12] 825*2^1248112-1 is not prime. Res64: FA31CD0C796FC179 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:15:06] 843*2^1248112-1 is not prime. Res64: 00A25FBA611FFCBC Time : 0.0 sec. user=mdettweiler [2013-07-27 22:15:07] 873*2^1248112-1 is not prime. Res64: D4DEB5230D508FC1 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:18:04] 909*2^1248112-1 is not prime. Res64: D6B671386610AC20 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:18:04] 615*2^1248113-1 is not prime. Res64: 976E90066C14DEDA Time : 0.0 sec. user=mdettweiler [2013-07-27 22:30:31] 735*2^1248113-1 is not prime. Res64: D973440E1A086374 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:30:32] 787*2^1248113-1 is not prime. Res64: 9C16E2A64712CEF7 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:32:25] 915*2^1248113-1 is not prime. Res64: 3852F16BC92BA9D8 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:32:25] 987*2^1248113-1 is not prime. Res64: 30F684306023B676 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:34:31] 621*2^1248114-1 is not prime. Res64: F258979956935E85 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:34:32] 747*2^1248114-1 is not prime. Res64: 0F7AB1A8BCE916C6 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:37:26] 773*2^1248114-1 is not prime. Res64: 9A47781913232820 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:37:26] 833*2^1248114-1 is not prime. Res64: B57A4A6F2E7D43BD Time : 0.0 sec. user=mdettweiler [2013-07-27 22:50:47] 891*2^1248114-1 is not prime. Res64: ACCEDE30BB907977 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:50:47] 983*2^1248114-1 is not prime. Res64: 92C4C4F6397F9D9F Time : 0.0 sec. user=mdettweiler [2013-07-27 22:52:36] 1001*2^1248114-1 is not prime. Res64: 36D9A000AF55BB6C Time : 0.0 sec. user=mdettweiler [2013-07-27 22:52:36] 601*2^1248115-1 is not prime. Res64: 0E1AA94672B5C356 Time : 0.0 sec. user=mdettweiler [2013-07-27 22:53:48] 639*2^1248115-1 is not prime. Res64: CB643E9E7E88E1BD Time : 0.0 sec. user=mdettweiler [2013-07-27 22:53:49] 723*2^1248115-1 is not prime. Res64: FB0E89E323D9D14B Time : 0.0 sec. user=mdettweiler [2013-07-27 22:56:48] 793*2^1248115-1 is not prime. Res64: 6A454DF84B07C65D Time : 0.0 sec. user=mdettweiler [2013-07-27 22:56:48] 805*2^1248115-1 is not prime. Res64: F4A514C78E936F91 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:10:04] 853*2^1248115-1 is not prime. Res64: 882A05D47A1F7FA9 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:10:05] 939*2^1248115-1 is not prime. Res64: A5FFD820D14EA4B6 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:13:09] 603*2^1248116-1 is not prime. Res64: F8C4B2EF45648427 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:13:09] 617*2^1248116-1 is not prime. Res64: 3538AFAB430E1AF9 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:13:46] 951*2^1248115-1 is not prime. Res64: 052D85FACF932E0D Time : 0.0 sec. user=mdettweiler [2013-07-27 23:13:46] 985*2^1248115-1 is not prime. Res64: DEA033F9C6CBEC5B Time : 0.0 sec. user=mdettweiler [2013-07-27 23:16:11] 623*2^1248116-1 is not prime. Res64: CE432281771FF5EC Time : 0.0 sec. user=mdettweiler [2013-07-27 23:16:11] 635*2^1248116-1 is not prime. Res64: A7B72669CDD236ED Time : 0.0 sec. user=mdettweiler [2013-07-27 23:29:37] 677*2^1248116-1 is not prime. Res64: 91F271495CEDE519 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:29:38] 873*2^1248116-1 is not prime. Res64: 8560E0FD1B4A11EF Time : 0.0 sec. user=mdettweiler [2013-07-27 23:32:37] 879*2^1248116-1 is not prime. Res64: E3AEA65A5F5697A2 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:32:37] 899*2^1248116-1 is not prime. Res64: CE453D797E551C1D Time : 0.0 sec. user=mdettweiler [2013-07-27 23:34:14] 983*2^1248116-1 is not prime. Res64: 4FE930D4BCA555B3 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:34:14] 609*2^1248117-1 is not prime. Res64: AAF175EA35FF6B48 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:35:44] 655*2^1248117-1 is not prime. Res64: CAAEDF70DCDE47FE Time : 0.0 sec. user=mdettweiler [2013-07-27 23:35:44] 691*2^1248117-1 is not prime. Res64: 3278D2F467D33E2D Time : 0.0 sec. user=mdettweiler [2013-07-27 23:49:34] 717*2^1248117-1 is not prime. Res64: A3C8AD269660F87E Time : 0.0 sec. user=mdettweiler [2013-07-27 23:49:34] 777*2^1248117-1 is not prime. Res64: 500242B1682854C4 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:52:50] 835*2^1248117-1 is not prime. Res64: 029EED5EEE015842 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:52:51] 915*2^1248117-1 is not prime. Res64: 0F83722E0FAA9226 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:54:05] 927*2^1248117-1 is not prime. Res64: 7AD53C0914D23F30 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:54:05] 937*2^1248117-1 is not prime. Res64: DA53849A97AD1F55 Time : 0.0 sec. user=mdettweiler [2013-07-27 23:56:27] 997*2^1248117-1 is not prime. Res64: DCF3C72206EF897C Time : 0.0 sec. user=mdettweiler [2013-07-27 23:56:28] 765*2^1248118-1 is not prime. Res64: 7F8BD9F4C51F38DB Time : 0.0 sec.