user=mdettweiler [2013-09-08 00:02:15] 711*2^1252641-1 is not prime. Res64: 4D53A9C4CAB7AB49 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:02:16] 745*2^1252641-1 is not prime. Res64: F7DEC0D180FB6D45 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:10:17] 789*2^1252641-1 is not prime. Res64: D5A67D46F393AFAF Time : 0.0 sec. user=mdettweiler [2013-09-08 00:10:18] 795*2^1252641-1 is not prime. Res64: 5B1C37C33EA96677 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:19:00] 987*2^1252641-1 is not prime. Res64: 60498F8246FFE48B Time : 0.0 sec. user=mdettweiler [2013-09-08 00:19:01] 603*2^1252642-1 is not prime. Res64: 357A8CBD79553976 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:19:04] 907*2^1252641-1 is not prime. Res64: BC5F9EBCEA31C5A6 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:19:05] 937*2^1252641-1 is not prime. Res64: 3029E033867545E0 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:22:11] 647*2^1252642-1 is not prime. Res64: 6C20AAE9A575E950 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:22:11] 713*2^1252642-1 is not prime. Res64: D07167CCAF458852 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:30:18] 741*2^1252642-1 is not prime. Res64: 316C185B39C0EAD2 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:30:18] 755*2^1252642-1 is not prime. Res64: 3E5CB9E97CAD0BA8 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:38:58] 831*2^1252642-1 is not prime. Res64: AB43BFB9FDCFEF95 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:38:59] 619*2^1252643-1 is not prime. Res64: 3C9D695C6E427CD0 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:38:59] 643*2^1252643-1 is not prime. Res64: 7AB6BD2C109F2395 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:39:00] 741*2^1252643-1 is not prime. Res64: 14CDFCEF2874A0F3 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:42:03] 753*2^1252643-1 is not prime. Res64: 19ECC845B3548ADF Time : 0.0 sec. user=mdettweiler [2013-09-08 00:42:04] 823*2^1252643-1 is not prime. Res64: E100D4001DF2EA8F Time : 0.0 sec. user=mdettweiler [2013-09-08 00:51:07] 825*2^1252643-1 is not prime. Res64: 88179AA529BA3F12 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:51:08] 969*2^1252643-1 is not prime. Res64: 0C692BF0BA44F36B Time : 0.0 sec. user=mdettweiler [2013-09-08 00:58:46] 707*2^1252644-1 is not prime. Res64: 5E56D532B848EA81 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:58:47] 773*2^1252644-1 is not prime. Res64: 6A1E69E8FB18E80A Time : 0.0 sec. user=mdettweiler [2013-09-08 00:58:49] 789*2^1252644-1 is not prime. Res64: C52449D2CC8C0A46 Time : 0.0 sec. user=mdettweiler [2013-09-08 00:58:49] 645*2^1252645-1 is not prime. Res64: 1B6FB8615439ED12 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:01:55] 757*2^1252645-1 is not prime. Res64: 480DBE9DB75BBCBB Time : 0.0 sec. user=mdettweiler [2013-09-08 01:01:56] 871*2^1252645-1 is not prime. Res64: 3DD71FEA42B32148 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:12:53] 895*2^1252645-1 is not prime. Res64: CF53ABA115D7E060 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:12:54] 937*2^1252645-1 is not prime. Res64: 623A7481317049C1 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:18:45] 693*2^1252646-1 is not prime. Res64: 56A495181CD0D35F Time : 0.0 sec. user=mdettweiler [2013-09-08 01:18:45] 813*2^1252646-1 is not prime. Res64: 86A3309562C4BAD6 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:19:43] 997*2^1252645-1 is not prime. Res64: 1A9DC9DF0191C9D6 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:19:44] 683*2^1252646-1 is not prime. Res64: 74A8E4BD6F51B1FC Time : 0.0 sec. user=mdettweiler [2013-09-08 01:22:49] 875*2^1252646-1 is not prime. Res64: 1FA02098E3312D2F Time : 0.0 sec. user=mdettweiler [2013-09-08 01:22:50] 965*2^1252646-1 is not prime. Res64: 8441E07316984395 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:32:55] 619*2^1252647-1 is not prime. Res64: DBF993FD500FA6BB Time : 0.0 sec. user=mdettweiler [2013-09-08 01:32:56] 649*2^1252647-1 is not prime. Res64: 6676C1E899C33D0E Time : 0.0 sec. user=mdettweiler [2013-09-08 01:38:42] 795*2^1252647-1 is not prime. Res64: 9DF7AA43E40A3631 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:38:43] 805*2^1252647-1 is not prime. Res64: FCDBC6A105E0AB84 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:40:36] 823*2^1252647-1 is not prime. Res64: 599B917437E710DB Time : 0.0 sec. user=mdettweiler [2013-09-08 01:40:37] 951*2^1252647-1 is not prime. Res64: 00B46539F7783E4C Time : 0.0 sec. user=mdettweiler [2013-09-08 01:42:44] 695*2^1252648-1 is not prime. Res64: 9458145CF6C3679A Time : 0.0 sec. user=mdettweiler [2013-09-08 01:42:44] 819*2^1252648-1 is not prime. Res64: 6A6B50828E8D6ED8 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:52:51] 825*2^1252648-1 is not prime. Res64: 76D75B32230A6514 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:52:51] 869*2^1252648-1 is not prime. Res64: 7193EE413FAE1B58 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:59:30] 995*2^1252648-1 is not prime. Res64: 90D0284C00BAF451 Time : 0.0 sec. user=mdettweiler [2013-09-08 01:59:30] 691*2^1252649-1 is not prime. Res64: 734926CCDF285825 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:00:30] 721*2^1252649-1 is not prime. Res64: 29259592A09FBA95 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:00:31] 665*2^1252650-1 is not prime. Res64: A712C4CAD2F5A924 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:02:37] 723*2^1252650-1 is not prime. Res64: 51BBAE2A26ECF29D Time : 0.0 sec. user=mdettweiler [2013-09-08 02:02:38] 747*2^1252650-1 is not prime. Res64: 755FE0D24A7332F1 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:13:40] 873*2^1252650-1 is not prime. Res64: 13BBC514D150641D Time : 0.0 sec. user=mdettweiler [2013-09-08 02:13:40] 951*2^1252650-1 is not prime. Res64: C0A9C8D655171DD8 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:19:28] 693*2^1252651-1 is not prime. Res64: E43C7E7B2F00E28B Time : 0.0 sec. user=mdettweiler [2013-09-08 02:19:28] 873*2^1252651-1 is not prime. Res64: 10CD99B6552CDBA2 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:22:20] 961*2^1252651-1 is not prime. Res64: 24A0BF185499F477 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:22:21] 969*2^1252651-1 is not prime. Res64: A59DE5538F2AD7C3 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:22:30] 615*2^1252652-1 is not prime. Res64: 733A19882C8E811E Time : 0.0 sec. user=mdettweiler [2013-09-08 02:22:31] 633*2^1252652-1 is not prime. Res64: 7B374E5FF79FF341 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:33:45] 669*2^1252652-1 is not prime. Res64: 53232D452E908A77 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:33:47] 677*2^1252652-1 is not prime. Res64: C9104A2F450686E8 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:39:20] 725*2^1252652-1 is not prime. Res64: 53A35D0B9D2E7CAA Time : 0.0 sec. user=mdettweiler [2013-09-08 02:39:21] 825*2^1252652-1 is not prime. Res64: 78ACF1D02CE67773 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:43:23] 963*2^1252652-1 is not prime. Res64: 49EE1903A2D87175 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:43:24] 741*2^1252653-1 is not prime. Res64: 4A9D640BC557551F Time : 0.0 sec. user=mdettweiler [2013-09-08 02:44:03] 879*2^1252652-1 is not prime. Res64: A0C832243477AB85 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:44:03] 945*2^1252652-1 is not prime. Res64: 857AE25106EC9B90 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:54:52] 817*2^1252653-1 is not prime. Res64: 8602349437C97F00 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:54:53] 979*2^1252653-1 is not prime. Res64: 0FA2402D88F74A03 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:59:16] 755*2^1252654-1 is not prime. Res64: 06658A1E7086C584 Time : 0.0 sec. user=mdettweiler [2013-09-08 02:59:17] 815*2^1252654-1 is not prime. Res64: 925BD68C39590D2A Time : 0.0 sec. user=mdettweiler [2013-09-08 03:03:21] 863*2^1252654-1 is not prime. Res64: 77053D15706AB4CF Time : 0.0 sec. user=mdettweiler [2013-09-08 03:03:22] 645*2^1252655-1 is not prime. Res64: 80989FA354B766E3 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:04:57] 663*2^1252655-1 is not prime. Res64: F1FAF25529EE6102 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:04:57] 913*2^1252655-1 is not prime. Res64: 0A38E40ACF9180A9 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:15:46] 981*2^1252655-1 is not prime. Res64: 4DD19F32F8131A67 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:15:47] 657*2^1252656-1 is not prime. Res64: F34F0DB45031E33E Time : 0.0 sec. user=mdettweiler [2013-09-08 03:19:19] 767*2^1252656-1 is not prime. Res64: 529A9F93C4812F55 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:19:20] 825*2^1252656-1 is not prime. Res64: 79F1B0EDB408750A Time : 0.0 sec. user=mdettweiler [2013-09-08 03:23:25] 849*2^1252656-1 is not prime. Res64: 206455C4A80C65ED Time : 0.0 sec. user=mdettweiler [2013-09-08 03:23:26] 651*2^1252657-1 is not prime. Res64: 4BF101A216EDA50C Time : 0.0 sec. user=mdettweiler [2013-09-08 03:25:03] 819*2^1252657-1 is not prime. Res64: BBE4B1F19B2A43E4 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:25:04] 847*2^1252657-1 is not prime. Res64: B3D0F8F6155AF2A3 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:36:57] 849*2^1252657-1 is not prime. Res64: 6192EB3057A95E00 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:36:58] 985*2^1252657-1 is not prime. Res64: 85EA6DB72D64AE22 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:39:13] 743*2^1252658-1 is not prime. Res64: C6928E7A2A69D582 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:39:14] 791*2^1252658-1 is not prime. Res64: 1659A7181136B8CB Time : 0.0 sec. user=mdettweiler [2013-09-08 03:43:18] 797*2^1252658-1 is not prime. Res64: ACA723D532B1BA15 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:43:19] 831*2^1252658-1 is not prime. Res64: 0F6C317CB9AAA35E Time : 0.0 sec. user=mdettweiler [2013-09-08 03:45:00] 857*2^1252658-1 is not prime. Res64: 98B7BD449FF91DD5 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:45:00] 867*2^1252658-1 is not prime. Res64: A8C3F06554915DFC Time : 0.0 sec. user=mdettweiler [2013-09-08 03:58:42] 893*2^1252658-1 is not prime. Res64: 4C0A80F6FB3769C7 Time : 0.0 sec. user=mdettweiler [2013-09-08 03:58:42] 923*2^1252658-1 is not prime. Res64: 924959B07FF39E5E Time : 0.0 sec. user=mdettweiler [2013-09-08 04:01:08] 945*2^1252658-1 is not prime. Res64: E3CE8DB2D4C27F27 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:01:08] 987*2^1252658-1 is not prime. Res64: A87F870FC21AD17A Time : 0.0 sec. user=mdettweiler [2013-09-08 04:03:17] 613*2^1252659-1 is not prime. Res64: 9BB5CC2A86F1E12D Time : 0.0 sec. user=mdettweiler [2013-09-08 04:03:18] 619*2^1252659-1 is not prime. Res64: 4B8BB84F43FA4675 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:06:11] 649*2^1252659-1 is not prime. Res64: 7E5EB4884859E0A3 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:06:12] 885*2^1252659-1 is not prime. Res64: 218B5FEA9EA4EB31 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:21:16] 895*2^1252659-1 is not prime. Res64: 692DAA53801B85C8 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:21:17] 969*2^1252659-1 is not prime. Res64: CB1755EA67BE34DC Time : 0.0 sec. user=mdettweiler [2013-09-08 04:22:53] 999*2^1252659-1 is not prime. Res64: 350797F65FC519DD Time : 0.0 sec. user=mdettweiler [2013-09-08 04:22:54] 647*2^1252660-1 is not prime. Res64: 80F8FCC502A9945F Time : 0.0 sec. user=mdettweiler [2013-09-08 04:25:01] 987*2^1252660-1 is not prime. Res64: 65FEAF421447DEBA Time : 0.0 sec. user=mdettweiler [2013-09-08 04:25:01] 717*2^1252661-1 is not prime. Res64: CAF7ADD5430F95F5 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:26:47] 769*2^1252661-1 is not prime. Res64: E1FABD84DF5DF61D Time : 0.0 sec. user=mdettweiler [2013-09-08 04:26:48] 805*2^1252661-1 is not prime. Res64: D7EBE915370FEF00 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:42:11] 867*2^1252661-1 is not prime. Res64: 81E31A4363478305 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:42:11] 925*2^1252661-1 is not prime. Res64: 72C426F4EFF96702 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:43:43] 987*2^1252661-1 is not prime. Res64: 616D921CFC3EDC1A Time : 0.0 sec. user=mdettweiler [2013-09-08 04:43:44] 627*2^1252662-1 is not prime. Res64: 08F16765E0D68F49 Time : 0.0 sec. user=mdettweiler [2013-09-08 04:44:53] 755*2^1252662-1 is not prime. Res64: 818C9FA01F72B4DE Time : 0.0 sec. user=mdettweiler [2013-09-08 04:44:53] 833*2^1252662-1 is not prime. Res64: 6929DE9CA7F2658D Time : 0.0 sec. user=mdettweiler [2013-09-08 04:46:36] 873*2^1252662-1 is not prime. Res64: DF7BC516508358DB Time : 0.0 sec. user=mdettweiler [2013-09-08 04:46:36] 765*2^1252663-1 is not prime. Res64: 1C1EA1C287BAFCED Time : 0.0 sec. user=mdettweiler [2013-09-08 05:03:04] 943*2^1252663-1 is not prime. Res64: 4D939A1CA1EEA14E Time : 0.0 sec. user=mdettweiler [2013-09-08 05:03:06] 759*2^1252664-1 is not prime. Res64: 0E98BC83A24ECFB6 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:04:32] 819*2^1252664-1 is not prime. Res64: 96870484B4034713 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:04:33] 927*2^1252664-1 is not prime. Res64: FA87B07B08080375 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:04:49] 601*2^1252665-1 is not prime. Res64: 874753330E3ACBEC Time : 0.0 sec. user=mdettweiler [2013-09-08 05:04:49] 625*2^1252665-1 is not prime. Res64: 59606E015FC92C5D Time : 0.0 sec. user=mdettweiler [2013-09-08 05:06:26] 669*2^1252665-1 is not prime. Res64: F85C4559243DF653 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:06:27] 685*2^1252665-1 is not prime. Res64: 555CDD41E7CD1FD9 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:23:20] 727*2^1252665-1 is not prime. Res64: B96273451EFB7D73 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:23:21] 787*2^1252665-1 is not prime. Res64: 5E910EBA355B8B42 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:25:21] 811*2^1252665-1 is not prime. Res64: 67C039127B743291 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:25:22] 889*2^1252665-1 is not prime. Res64: 26C3BD98726B91F2 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:26:42] 919*2^1252665-1 is not prime. Res64: AA1D881603990B3B Time : 0.0 sec. user=mdettweiler [2013-09-08 05:26:43] 937*2^1252665-1 is not prime. Res64: B93F5C66311DF791 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:27:22] 999*2^1252665-1 is not prime. Res64: 6F2CD1B3F4D67128 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:27:23] 611*2^1252666-1 is not prime. Res64: 92C342DEA005F4AD Time : 0.0 sec. user=mdettweiler [2013-09-08 05:43:13] 633*2^1252666-1 is not prime. Res64: BA4F76829934F6D5 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:43:13] 645*2^1252666-1 is not prime. Res64: 32393F7E1E13ADF6 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:45:15] 647*2^1252666-1 is not prime. Res64: 8ED4FB88CA1977BF Time : 0.0 sec. user=mdettweiler [2013-09-08 05:45:15] 701*2^1252666-1 is not prime. Res64: A39CCAEAC0200929 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:46:41] 713*2^1252666-1 is not prime. Res64: 287D4E8FCC39B551 Time : 0.0 sec. user=mdettweiler [2013-09-08 05:46:42] 737*2^1252666-1 is not prime. Res64: D563DE1D4D31B64A Time : 0.0 sec. user=mdettweiler [2013-09-08 05:47:22] 803*2^1252666-1 is not prime. Res64: C83317B074DFC60E Time : 0.0 sec. user=mdettweiler [2013-09-08 05:47:23] 815*2^1252666-1 is not prime. Res64: 3CD90C7A9F77B7DD Time : 0.0 sec. user=mdettweiler [2013-09-08 06:04:05] 843*2^1252666-1 is not prime. Res64: D0E8352B2488BBDD Time : 0.0 sec. user=mdettweiler [2013-09-08 06:04:05] 887*2^1252666-1 is not prime. Res64: 10E2330A97F44B93 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:05:08] 601*2^1252667-1 is not prime. Res64: 534582D43BBE8DA7 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:05:09] 675*2^1252667-1 is not prime. Res64: 9262C72537CB8C65 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:08:16] 979*2^1252667-1 is not prime. Res64: 1DFC958C741734DB Time : 0.0 sec. user=mdettweiler [2013-09-08 06:08:18] 633*2^1252668-1 is not prime. Res64: 8CE188959E819075 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:08:31] 885*2^1252667-1 is not prime. Res64: 24043B8AD616F638 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:08:32] 909*2^1252667-1 is not prime. Res64: 0DB75591F73507E0 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:24:04] 707*2^1252668-1 is not prime. Res64: C2C2FC27A36FA495 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:24:05] 725*2^1252668-1 is not prime. Res64: 1DF192E6C7D998BD Time : 0.0 sec. user=mdettweiler [2013-09-08 06:25:04] 735*2^1252668-1 is not prime. Res64: 385776779B76F44B Time : 0.0 sec. user=mdettweiler [2013-09-08 06:25:05] 759*2^1252668-1 is not prime. Res64: AC9443F2B8BF8E16 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:28:14] 783*2^1252668-1 is not prime. Res64: AFA5481182140A82 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:28:16] 789*2^1252668-1 is not prime. Res64: D0CA8E1E4A80E916 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:30:25] 893*2^1252668-1 is not prime. Res64: 7B655B18473D0DB6 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:30:27] 915*2^1252668-1 is not prime. Res64: 5D5D9722658E0568 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:44:57] 933*2^1252668-1 is not prime. Res64: 0C74F7B4B167624D Time : 0.0 sec. user=mdettweiler [2013-09-08 06:44:59] 769*2^1252669-1 is not prime. Res64: D0BF137574D93E82 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:46:04] 867*2^1252669-1 is not prime. Res64: C38B11ED304FBDD3 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:46:06] 885*2^1252669-1 is not prime. Res64: 80993ABB272959C9 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:50:14] 895*2^1252669-1 is not prime. Res64: 7F7536900FC15EB2 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:50:15] 919*2^1252669-1 is not prime. Res64: D171D07EC5EC5AF7 Time : 0.0 sec. user=mdettweiler [2013-09-08 06:52:18] 951*2^1252669-1 is not prime. Res64: 3B47DE6FB2374ACB Time : 0.0 sec. user=mdettweiler [2013-09-08 06:52:19] 979*2^1252669-1 is not prime. Res64: 9EA5D7A88D4C1D11 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:04:59] 675*2^1252670-1 is not prime. Res64: 4D25B10BE4FA111E Time : 0.0 sec. user=mdettweiler [2013-09-08 07:05:01] 845*2^1252670-1 is not prime. Res64: E8D13135CEAE8920 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:07:02] 953*2^1252670-1 is not prime. Res64: 2242971ED3758EB4 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:07:04] 639*2^1252671-1 is not prime. Res64: 304AC5F49CE8331C Time : 0.0 sec. user=mdettweiler [2013-09-08 07:10:11] 651*2^1252671-1 is not prime. Res64: 646F259F75645717 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:10:13] 823*2^1252671-1 is not prime. Res64: 9DDB1E40B378664D Time : 0.0 sec. user=mdettweiler [2013-09-08 07:12:15] 871*2^1252671-1 is not prime. Res64: 729EBCEB23B1189E Time : 0.0 sec. user=mdettweiler [2013-09-08 07:12:17] 873*2^1252671-1 is not prime. Res64: 0AF5269F14C12EF1 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:26:54] 975*2^1252671-1 is not prime. Res64: F853DF542EB0E79D Time : 0.0 sec. user=mdettweiler [2013-09-08 07:26:55] 999*2^1252671-1 is not prime. Res64: AD0331B3EE586636 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:26:59] 639*2^1252672-1 is not prime. Res64: BBA2F3B895FBA0B5 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:27:00] 665*2^1252672-1 is not prime. Res64: 77C84A7B962DEE84 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:30:12] 675*2^1252672-1 is not prime. Res64: 0E40F213185FDD81 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:30:13] 713*2^1252672-1 is not prime. Res64: 4077B788F6460E08 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:32:12] 797*2^1252672-1 is not prime. Res64: A2460F1030B8AC74 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:32:13] 875*2^1252672-1 is not prime. Res64: 30A469F60D464BA0 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:46:58] 637*2^1252673-1 is not prime. Res64: A75855379F084E1C Time : 0.0 sec. user=mdettweiler [2013-09-08 07:46:59] 715*2^1252673-1 is not prime. Res64: 1727F5EBB3D48D7F Time : 0.0 sec. user=mdettweiler [2013-09-08 07:47:49] 903*2^1252672-1 is not prime. Res64: 7FB9A0C7F3527AF9 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:47:50] 631*2^1252673-1 is not prime. Res64: B6E2648F3CB387C4 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:51:08] 771*2^1252673-1 is not prime. Res64: C894C1EF592E7CB3 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:51:09] 955*2^1252673-1 is not prime. Res64: 819C1C6BF6AF3089 Time : 0.0 sec. user=mdettweiler [2013-09-08 07:52:07] 605*2^1252674-1 is not prime. Res64: 69D84038EC2FD30E Time : 0.0 sec. user=mdettweiler [2013-09-08 07:52:08] 641*2^1252674-1 is not prime. Res64: 80A96069A84A25C3 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:06:44] 695*2^1252674-1 is not prime. Res64: 0C86FD74D5594470 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:06:45] 755*2^1252674-1 is not prime. Res64: 47263F513EE0CD23 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:07:40] 803*2^1252674-1 is not prime. Res64: 9C41E69F4824AE2D Time : 0.0 sec. user=mdettweiler [2013-09-08 08:07:41] 807*2^1252674-1 is not prime. Res64: 9C341129F55B1292 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:10:59] 861*2^1252674-1 is not prime. Res64: E9EB3927EE98D4CA Time : 0.0 sec. user=mdettweiler [2013-09-08 08:10:59] 603*2^1252675-1 is not prime. Res64: F476CDF067F04525 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:11:56] 685*2^1252675-1 is not prime. Res64: 1A5218EB5875EBBC Time : 0.0 sec. user=mdettweiler [2013-09-08 08:11:56] 691*2^1252675-1 is not prime. Res64: 792B28B17A9B24A0 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:27:33] 707*2^1252676-1 is not prime. Res64: B1B5A410FA0FE798 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:27:34] 777*2^1252676-1 is not prime. Res64: CCD4BDACB861B9ED Time : 0.0 sec. user=mdettweiler [2013-09-08 08:27:36] 723*2^1252675-1 is not prime. Res64: F8561324CEAF8DEF Time : 0.0 sec. user=mdettweiler [2013-09-08 08:27:37] 889*2^1252675-1 is not prime. Res64: 1119655112B35A88 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:30:54] 833*2^1252676-1 is not prime. Res64: 549FBC8147685C75 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:30:56] 869*2^1252676-1 is not prime. Res64: CAC2E26364B61BC6 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:32:52] 873*2^1252676-1 is not prime. Res64: C094902A79DD0D1D Time : 0.0 sec. user=mdettweiler [2013-09-08 08:32:54] 903*2^1252676-1 is not prime. Res64: 09B508736C5EBBB2 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:47:31] 609*2^1252677-1 is not prime. Res64: 3BBA021B7F36A6EE Time : 0.0 sec. user=mdettweiler [2013-09-08 08:47:32] 727*2^1252677-1 is not prime. Res64: C9E9173FF0E78C33 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:49:19] 927*2^1252676-1 is not prime. Res64: 6F54C5DE4E7342DF Time : 0.0 sec. user=mdettweiler [2013-09-08 08:49:20] 963*2^1252676-1 is not prime. Res64: A89ECA5364E5AEF5 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:50:47] 735*2^1252677-1 is not prime. Res64: E00FF2B4EA1D10E1 Time : 0.0 sec. user=mdettweiler [2013-09-08 08:50:48] 747*2^1252677-1 is not prime. Res64: 715A572DDA2812BF Time : 0.0 sec. user=mdettweiler [2013-09-08 08:53:43] 999*2^1252677-1 is not prime. Res64: CE0BC216231D6F4B Time : 0.0 sec. user=mdettweiler [2013-09-08 08:53:45] 657*2^1252678-1 is not prime. Res64: 8E35751AB216608A Time : 0.0 sec. user=mdettweiler [2013-09-08 09:07:24] 723*2^1252678-1 is not prime. Res64: 8838EB0EBA1C8CBB Time : 0.0 sec. user=mdettweiler [2013-09-08 09:07:27] 761*2^1252678-1 is not prime. Res64: 9FDCFC5AA95915F3 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:10:12] 923*2^1252678-1 is not prime. Res64: 39BF9FA6A22F56BD Time : 0.0 sec. user=mdettweiler [2013-09-08 09:10:14] 741*2^1252679-1 is not prime. Res64: FFE2E03C346E3354 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:11:41] 813*2^1252679-1 is not prime. Res64: 815D7DF9FB58EE5E Time : 0.0 sec. user=mdettweiler [2013-09-08 09:11:42] 885*2^1252679-1 is not prime. Res64: 5BE6AAA16C0F7FAB Time : 0.0 sec. user=mdettweiler [2013-09-08 09:15:34] 895*2^1252679-1 is not prime. Res64: D4836F92EB8091E0 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:15:35] 931*2^1252679-1 is not prime. Res64: 4C72B6944BB4DDD5 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:29:20] 949*2^1252679-1 is not prime. Res64: 255ABC6CC7962A58 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:29:21] 979*2^1252679-1 is not prime. Res64: 607B98EFD88EEBE2 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:30:09] 653*2^1252680-1 is not prime. Res64: F6F7A20EE5A4D98C Time : 0.0 sec. user=mdettweiler [2013-09-08 09:30:10] 797*2^1252680-1 is not prime. Res64: 37802D8677C10C5A Time : 0.0 sec. user=mdettweiler [2013-09-08 09:32:33] 839*2^1252680-1 is not prime. Res64: 50E8BE76E71C78DC Time : 0.0 sec. user=mdettweiler [2013-09-08 09:32:34] 899*2^1252680-1 is not prime. Res64: F7A1E3E08CCFED30 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:37:25] 927*2^1252680-1 is not prime. Res64: CFED0F58CCEACEFA Time : 0.0 sec. user=mdettweiler [2013-09-08 09:37:26] 983*2^1252680-1 is not prime. Res64: 3AC6534A272CEAE5 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:49:13] 645*2^1252681-1 is not prime. Res64: 3341486B833E1281 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:49:14] 649*2^1252681-1 is not prime. Res64: F5E9A4D548971716 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:50:00] 747*2^1252681-1 is not prime. Res64: 87E572D6699CBC57 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:50:02] 777*2^1252681-1 is not prime. Res64: AA52DC6F91D46842 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:54:20] 931*2^1252681-1 is not prime. Res64: BF52DADB2C51D877 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:54:21] 951*2^1252681-1 is not prime. Res64: 61F2B3017B82F540 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:59:12] 997*2^1252681-1 is not prime. Res64: D1DF2A53EC25B3A5 Time : 0.0 sec. user=mdettweiler [2013-09-08 09:59:12] 999*2^1252681-1 is not prime. Res64: C8ADAE7A1114E14C Time : 0.0 sec. user=mdettweiler [2013-09-08 10:09:03] 735*2^1252682-1 is not prime. Res64: 49DAAC62103372B2 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:09:05] 831*2^1252682-1 is not prime. Res64: FB69D3F5FF44B6D9 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:11:48] 917*2^1252682-1 is not prime. Res64: 5DAEC3FB1D94A2C0 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:11:50] 945*2^1252682-1 is not prime. Res64: EC755BE20439F346 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:15:10] 977*2^1252682-1 is not prime. Res64: FD24AE9F96532DBB Time : 0.0 sec. user=mdettweiler [2013-09-08 10:15:11] 745*2^1252683-1 is not prime. Res64: 081823062521E401 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:19:02] 783*2^1252683-1 is not prime. Res64: C9A4B085A4FC9789 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:19:04] 795*2^1252683-1 is not prime. Res64: 8F37A7239C9B0A89 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:28:55] 825*2^1252683-1 is not prime. Res64: FFF4D49A3A2A93FA Time : 0.0 sec. user=mdettweiler [2013-09-08 10:28:56] 639*2^1252684-1 is not prime. Res64: 8837B23116DB6739 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:31:47] 719*2^1252684-1 is not prime. Res64: 07AD38AA9313CE41 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:31:48] 755*2^1252684-1 is not prime. Res64: B1E88A505D2683E2 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:37:02] 897*2^1252684-1 is not prime. Res64: 8E8CD193F81E01A0 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:37:03] 899*2^1252684-1 is not prime. Res64: 2CC43ACC1A870D83 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:40:48] 903*2^1252684-1 is not prime. Res64: 9C4363878D955213 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:40:50] 983*2^1252684-1 is not prime. Res64: 30416572095AF868 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:49:47] 995*2^1252684-1 is not prime. Res64: 1CEF1CD14DAA924E Time : 0.0 sec. user=mdettweiler [2013-09-08 10:49:48] 649*2^1252685-1 is not prime. Res64: A44248AE8FB9D9C9 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:51:35] 727*2^1252685-1 is not prime. Res64: 2810B51DE4DAAA41 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:51:37] 735*2^1252685-1 is not prime. Res64: 023C0901592D3ABD Time : 0.0 sec. user=mdettweiler [2013-09-08 10:57:56] 801*2^1252685-1 is not prime. Res64: 347B4D57EC57EDA4 Time : 0.0 sec. user=mdettweiler [2013-09-08 10:57:57] 889*2^1252685-1 is not prime. Res64: B2F4A4694BF23A47 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:02:37] 927*2^1252685-1 is not prime. Res64: 2D292B60D23BE169 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:02:40] 951*2^1252685-1 is not prime. Res64: 01B99396933569B3 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:10:37] 987*2^1252685-1 is not prime. Res64: 7A48B0019F4A8001 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:10:39] 635*2^1252686-1 is not prime. Res64: E35B6932B470CB5C Time : 0.0 sec. user=mdettweiler [2013-09-08 11:11:33] 657*2^1252686-1 is not prime. Res64: A5D47C8FADE4045E Time : 0.0 sec. user=mdettweiler [2013-09-08 11:11:35] 761*2^1252686-1 is not prime. Res64: 7DEAA5DB507978DD Time : 0.0 sec. user=mdettweiler [2013-09-08 11:19:47] 875*2^1252686-1 is not prime. Res64: D220E6582AEA1010 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:19:48] 933*2^1252686-1 is not prime. Res64: FBADC028527F1700 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:24:38] 971*2^1252686-1 is not prime. Res64: 59E15E7F99B75463 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:24:39] 993*2^1252686-1 is not prime. Res64: B5A38C5E5DBDF8E1 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:31:03] 609*2^1252687-1 is not prime. Res64: 570DA3BBF878883F Time : 0.0 sec. user=mdettweiler [2013-09-08 11:31:05] 633*2^1252687-1 is not prime. Res64: CAFD5082D2655287 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:31:56] 651*2^1252687-1 is not prime. Res64: 10F14AD6D2D084E3 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:31:57] 673*2^1252687-1 is not prime. Res64: 6749537CC05B2D65 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:41:28] 793*2^1252687-1 is not prime. Res64: 3E51C1B3894D9683 Time : 0.0 sec. user=mdettweiler [2013-09-08 11:41:29] 829*2^1252687-1 is not prime. Res64: 1D50D13DECFC632D Time : 0.0 sec. user=mdettweiler [2013-09-08 12:02:25] 875*2^1252688-1 is not prime. Res64: 2A5831EA481F1290 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:02:27] 923*2^1252688-1 is not prime. Res64: FB7593D66B1383DA Time : 0.0 sec. user=mdettweiler [2013-09-08 12:11:14] 901*2^1252687-1 is not prime. Res64: DB63C4067C66298D Time : 0.0 sec. user=mdettweiler [2013-09-08 12:11:16] 603*2^1252688-1 is not prime. Res64: FDAD08E114523165 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:23:12] 969*2^1252688-1 is not prime. Res64: 75F54782491777DD Time : 0.0 sec. user=mdettweiler [2013-09-08 12:23:13] 601*2^1252689-1 is not prime. Res64: AACC7A6FC1AEDE79 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:31:04] 681*2^1252689-1 is not prime. Res64: B7BF50F1A0218812 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:31:06] 751*2^1252689-1 is not prime. Res64: DD23B4318C54D62E Time : 0.0 sec. user=mdettweiler [2013-09-08 12:40:39] 843*2^1252687-1 is not prime. Res64: A861523401C246A6 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:40:40] 861*2^1252687-1 is not prime. Res64: 7570A9A0C227C263 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:44:50] 949*2^1252689-1 is not prime. Res64: 8E33426C93F99ED1 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:44:52] 955*2^1252689-1 is not prime. Res64: 1C41D71DA3FF38FD Time : 0.0 sec. user=mdettweiler [2013-09-08 12:51:27] 603*2^1252690-1 is not prime. Res64: 332076E4A69B0D80 Time : 0.0 sec. user=mdettweiler [2013-09-08 12:51:28] 605*2^1252690-1 is not prime. Res64: D134493573AF34A1 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:01:30] 635*2^1252690-1 is not prime. Res64: 0CDD983390B6B511 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:01:32] 755*2^1252690-1 is not prime. Res64: A22806E60C171294 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:05:30] 765*2^1252690-1 is not prime. Res64: 9F5D7694D95C2575 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:05:32] 791*2^1252690-1 is not prime. Res64: 6AC481AF669ECAD3 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:13:15] 813*2^1252690-1 is not prime. Res64: 64441019C6205B67 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:13:17] 975*2^1252690-1 is not prime. Res64: ED3FD7992F2422A8 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:22:29] 741*2^1252691-1 is not prime. Res64: EC54408947629CBF Time : 0.0 sec. user=mdettweiler [2013-09-08 13:22:30] 753*2^1252691-1 is not prime. Res64: 6BB348E4E929B77A Time : 0.0 sec. user=mdettweiler [2013-09-08 13:27:20] 811*2^1252691-1 is not prime. Res64: 507FB730C80DB003 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:27:20] 889*2^1252691-1 is not prime. Res64: 7B45688841D8D700 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:36:17] 949*2^1252691-1 is not prime. Res64: 77AD9BB2EACA595E Time : 0.0 sec. user=mdettweiler [2013-09-08 13:36:17] 955*2^1252691-1 is not prime. Res64: DD82958A5FAA44E9 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:43:16] 635*2^1252692-1 is not prime. Res64: 5AFB805929C006D3 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:43:16] 699*2^1252692-1 is not prime. Res64: 83505D0D75495A6A Time : 0.0 sec. user=mdettweiler [2013-09-08 13:49:02] 803*2^1252692-1 is not prime. Res64: 2287E2E12766CCB7 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:49:03] 893*2^1252692-1 is not prime. Res64: 2E7E75C05D0F7959 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:58:54] 923*2^1252692-1 is not prime. Res64: 233CE914BBDFA167 Time : 0.0 sec. user=mdettweiler [2013-09-08 13:58:55] 945*2^1252692-1 is not prime. Res64: DD3A4B4ABC4F5D0D Time : 0.0 sec. user=mdettweiler [2013-09-08 14:04:04] 829*2^1252693-1 is not prime. Res64: 7B2E15E1E3DE18FF Time : 0.0 sec. user=mdettweiler [2013-09-08 14:04:05] 847*2^1252693-1 is not prime. Res64: D430DE03924DCFDB Time : 0.0 sec. user=mdettweiler [2013-09-08 14:10:45] 855*2^1252693-1 is not prime. Res64: B5A9A8CA63B6DDBD Time : 0.0 sec. user=mdettweiler [2013-09-08 14:10:46] 901*2^1252693-1 is not prime. Res64: DD46225E9A966DFF Time : 0.0 sec. user=mdettweiler [2013-09-08 14:19:50] 623*2^1252694-1 is not prime. Res64: 497A0E7D1204945D Time : 0.0 sec. user=mdettweiler [2013-09-08 14:19:51] 663*2^1252694-1 is not prime. Res64: 9B1644CE8B52496B Time : 0.0 sec. user=mdettweiler [2013-09-08 14:25:01] 687*2^1252694-1 is not prime. Res64: 19F93FA888FFFE62 Time : 0.0 sec. user=mdettweiler [2013-09-08 14:25:02] 815*2^1252694-1 is not prime. Res64: 6AF3199D23FE6202 Time : 0.0 sec. user=mdettweiler [2013-09-08 14:33:38] 885*2^1252694-1 is not prime. Res64: 768E8AC1DCFDB3F7 Time : 0.0 sec. user=mdettweiler [2013-09-08 14:33:39] 965*2^1252694-1 is not prime. Res64: 2AA7FDB222DD9E2E Time : 0.0 sec. user=mdettweiler [2013-09-08 14:41:43] 987*2^1252694-1 is not prime. Res64: F3D63C7B6ABF62EB Time : 0.0 sec. user=mdettweiler [2013-09-08 14:41:44] 691*2^1252695-1 is not prime. Res64: F965E07B33E66F0E Time : 0.0 sec. user=mdettweiler [2013-09-08 14:45:41] 775*2^1252695-1 is not prime. Res64: CCE8E960BADF0AEE Time : 0.0 sec. user=mdettweiler [2013-09-08 14:45:42] 861*2^1252695-1 is not prime. Res64: C964423CAEBBA521 Time : 0.0 sec. user=mdettweiler [2013-09-08 14:55:20] 873*2^1252695-1 is not prime. Res64: 8C51AD41C851DB81 Time : 0.0 sec. user=mdettweiler [2013-09-08 14:55:21] 921*2^1252695-1 is not prime. Res64: 739B170272453C59 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:02:32] 663*2^1252696-1 is not prime. Res64: AF675167CD0A0FFB Time : 0.0 sec. user=mdettweiler [2013-09-08 15:02:33] 705*2^1252696-1 is not prime. Res64: 239A8B30DAB8391F Time : 0.0 sec. user=mdettweiler [2013-09-08 15:07:23] 843*2^1252696-1 is not prime. Res64: 2EF446619DF3C900 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:07:24] 905*2^1252696-1 is not prime. Res64: 0733090A2819987A Time : 0.0 sec. user=mdettweiler [2013-09-08 15:17:56] 909*2^1252696-1 is not prime. Res64: 8C897C58691C61AE Time : 0.0 sec. user=mdettweiler [2013-09-08 15:17:56] 927*2^1252696-1 is not prime. Res64: 8F2F34965633A7C9 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:24:23] 989*2^1252696-1 is not prime. Res64: 60D222DA976182D3 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:24:23] 675*2^1252697-1 is not prime. Res64: 1BF9E8141E883D14 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:28:04] 685*2^1252697-1 is not prime. Res64: AD1B87F8661F603C Time : 0.0 sec. user=mdettweiler [2013-09-08 15:28:05] 711*2^1252697-1 is not prime. Res64: 7D8E74F7EC2A417F Time : 0.0 sec. user=mdettweiler [2013-09-08 15:39:31] 781*2^1252697-1 is not prime. Res64: 80D8FD3678ABA4B5 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:39:32] 925*2^1252697-1 is not prime. Res64: FD6E2338E4D3D47A Time : 0.0 sec. user=mdettweiler [2013-09-08 15:45:05] 611*2^1252698-1 is not prime. Res64: 04DCAA5CC8092248 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:45:06] 615*2^1252698-1 is not prime. Res64: D3E8DA03EB2C2BA6 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:48:44] 635*2^1252698-1 is not prime. Res64: 7BDD6E6DB2658FF1 Time : 0.0 sec. user=mdettweiler [2013-09-08 15:48:45] 731*2^1252698-1 is not prime. Res64: D9D06C132CE358CC Time : 0.0 sec. user=mdettweiler [2013-09-08 16:01:27] 797*2^1252698-1 is not prime. Res64: E35BF1C0BB3B0054 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:01:29] 905*2^1252698-1 is not prime. Res64: 6597AE6D730FB701 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:07:57] 951*2^1252698-1 is not prime. Res64: 7099F52523FAFA4A Time : 0.0 sec. user=mdettweiler [2013-09-08 16:07:59] 1001*2^1252698-1 is not prime. Res64: FB0CF400564DBD28 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:09:24] 615*2^1252699-1 is not prime. Res64: C38F8FDA8264D368 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:09:25] 621*2^1252699-1 is not prime. Res64: 57015962A785DB0B Time : 0.0 sec. user=mdettweiler [2013-09-08 16:22:20] 633*2^1252699-1 is not prime. Res64: 22FB6C469BF7A957 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:22:21] 645*2^1252699-1 is not prime. Res64: B9388314A6AFEC74 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:28:47] 685*2^1252699-1 is not prime. Res64: 80B08319BDBA6DE2 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:28:47] 765*2^1252699-1 is not prime. Res64: 9C30DBA8F5E3B4B8 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:30:09] 811*2^1252699-1 is not prime. Res64: 08831BC3806E00DC Time : 0.0 sec. user=mdettweiler [2013-09-08 16:30:09] 843*2^1252699-1 is not prime. Res64: AF0555BBAE5C4E7C Time : 0.0 sec. user=mdettweiler [2013-09-08 16:43:59] 615*2^1252700-1 is not prime. Res64: D7087932C9087210 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:44:00] 897*2^1252700-1 is not prime. Res64: 5C0F94BA59FD343F Time : 0.0 sec. user=mdettweiler [2013-09-08 16:49:31] 627*2^1252701-1 is not prime. Res64: 41F2067648D1467E Time : 0.0 sec. user=mdettweiler [2013-09-08 16:49:32] 679*2^1252701-1 is not prime. Res64: 704A5C0DF13AC496 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:50:48] 847*2^1252701-1 is not prime. Res64: F4CA42E3EF32D8C5 Time : 0.0 sec. user=mdettweiler [2013-09-08 16:50:49] 865*2^1252701-1 is not prime. Res64: F63788F6674A0891 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:05:41] 927*2^1252701-1 is not prime. Res64: A96AF7B4B518BE6D Time : 0.0 sec. user=mdettweiler [2013-09-08 17:05:43] 647*2^1252702-1 is not prime. Res64: 429F310A9696C958 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:10:17] 653*2^1252702-1 is not prime. Res64: 8C8E3CD2FC1F761C Time : 0.0 sec. user=mdettweiler [2013-09-08 17:10:18] 665*2^1252702-1 is not prime. Res64: 1D03B539D6B94D0A Time : 0.0 sec. user=mdettweiler [2013-09-08 17:11:39] 671*2^1252702-1 is not prime. Res64: 1ED380A873171714 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:11:40] 717*2^1252702-1 is not prime. Res64: DB40CC0F0841043C Time : 0.0 sec. user=mdettweiler [2013-09-08 17:13:02] 617*2^1252688-1 is not prime. Res64: 3CECAAF5C84B43E1 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:13:02] 623*2^1252688-1 is not prime. Res64: 8CCC0F786397A922 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:26:01] 827*2^1252702-1 is not prime. Res64: C481C96298EE555B Time : 0.0 sec. user=mdettweiler [2013-09-08 17:26:01] 811*2^1252703-1 is not prime. Res64: 54D5B539B3056EB3 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:31:31] 915*2^1252703-1 is not prime. Res64: 6015F26A11FEF6CC Time : 0.0 sec. user=mdettweiler [2013-09-08 17:31:32] 675*2^1252704-1 is not prime. Res64: BFC781C33372DC38 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:31:52] 689*2^1252704-1 is not prime. Res64: 83E6B8E7AE352FCB Time : 0.0 sec. user=mdettweiler [2013-09-08 17:31:52] 747*2^1252704-1 is not prime. Res64: E0BED174EF8DB4C8 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:34:00] 873*2^1252704-1 is not prime. Res64: F948261FDBD5AD19 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:34:00] 905*2^1252704-1 is not prime. Res64: F9EDC43E20DE38B8 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:46:52] 817*2^1252705-1 is not prime. Res64: 9AB30F0953D94C9E Time : 0.0 sec. user=mdettweiler [2013-09-08 17:46:52] 915*2^1252705-1 is not prime. Res64: 6FCBB9A23B3F47BE Time : 0.0 sec. user=mdettweiler [2013-09-08 17:52:21] 645*2^1252706-1 is not prime. Res64: FC950A41205D21D8 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:52:22] 963*2^1252706-1 is not prime. Res64: BB5BE1B5D9AA2738 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:52:44] 1001*2^1252706-1 is not prime. Res64: D43FB3BC717BF2C9 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:52:45] 649*2^1252707-1 is not prime. Res64: 58035ECF5303CFA1 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:53:59] 793*2^1252707-1 is not prime. Res64: F579062D13B44166 Time : 0.0 sec. user=mdettweiler [2013-09-08 17:53:59] 819*2^1252707-1 is not prime. Res64: D1347A04485DD6F9 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:08:46] 909*2^1252707-1 is not prime. Res64: A05A87C1BEF22C46 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:08:47] 919*2^1252707-1 is not prime. Res64: 3ED387DF56200277 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:12:45] 639*2^1252708-1 is not prime. Res64: A5996021B8BBA9D8 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:12:45] 677*2^1252708-1 is not prime. Res64: FE5465CE7643FF18 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:13:19] 975*2^1252707-1 is not prime. Res64: 3A1E0F0E86DB5A0F Time : 0.0 sec. user=mdettweiler [2013-09-08 18:13:19] 629*2^1252708-1 is not prime. Res64: E8058B6EFA61B480 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:13:56] 687*2^1252708-1 is not prime. Res64: C7527357E3FC4A5F Time : 0.0 sec. user=mdettweiler [2013-09-08 18:13:57] 729*2^1252708-1 is not prime. Res64: D44193498C7A743F Time : 0.0 sec. user=mdettweiler [2013-09-08 18:29:42] 743*2^1252708-1 is not prime. Res64: 7066A59A25EC2665 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:29:43] 989*2^1252708-1 is not prime. Res64: D8CC6A3AFD063863 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:32:38] 619*2^1252709-1 is not prime. Res64: 37F9155AA554761E Time : 0.0 sec. user=mdettweiler [2013-09-08 18:32:39] 649*2^1252709-1 is not prime. Res64: A248F1F677FDD0F2 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:33:10] 679*2^1252709-1 is not prime. Res64: AB8AEF3B1AB0DB96 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:33:11] 691*2^1252709-1 is not prime. Res64: FF32A85E9984CA88 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:34:48] 795*2^1252709-1 is not prime. Res64: 906CBDB59CE93D8F Time : 0.0 sec. user=mdettweiler [2013-09-08 18:34:49] 925*2^1252709-1 is not prime. Res64: 11E9C0ABAA0C41AD Time : 0.0 sec. user=mdettweiler [2013-09-08 18:49:44] 611*2^1252710-1 is not prime. Res64: 16D9E6C5BD2B0429 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:49:45] 755*2^1252710-1 is not prime. Res64: 9396A6607BB675D5 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:53:09] 661*2^1252711-1 is not prime. Res64: 22671A053EE88D32 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:53:10] 673*2^1252711-1 is not prime. Res64: 8B19C999FBFBDD7A Time : 0.0 sec. user=mdettweiler [2013-09-08 18:54:35] 885*2^1252710-1 is not prime. Res64: 8B1BB5700F48A048 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:54:36] 921*2^1252710-1 is not prime. Res64: 41A5604C3558F989 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:54:49] 685*2^1252711-1 is not prime. Res64: E9A2277985B1FDC8 Time : 0.0 sec. user=mdettweiler [2013-09-08 18:54:49] 735*2^1252711-1 is not prime. Res64: 756113251C81653C Time : 0.0 sec. user=mdettweiler [2013-09-08 19:09:41] 771*2^1252711-1 is not prime. Res64: B13E882D1F8F996A Time : 0.0 sec. user=mdettweiler [2013-09-08 19:09:42] 819*2^1252711-1 is not prime. Res64: 54E5859CB91E9061 Time : 0.0 sec. user=mdettweiler [2013-09-08 19:14:06] 841*2^1252711-1 is not prime. Res64: 135A88148D5CC32B Time : 0.0 sec. user=mdettweiler [2013-09-08 19:14:06] 933*2^1252711-1 is not prime. Res64: B7EB49DAE26C44A4 Time : 0.0 sec. user=mdettweiler [2013-09-08 19:14:33] 605*2^1252712-1 is not prime. Res64: E4391BD8A2913F31 Time : 0.0 sec. user=mdettweiler [2013-09-08 19:14:33] 609*2^1252712-1 is not prime. Res64: FFF8307B38600D62 Time : 0.0 sec. user=mdettweiler [2013-09-08 19:14:45] 617*2^1252712-1 is not prime. Res64: BB544BF7251D4FD8 Time : 0.0 sec. user=mdettweiler [2013-09-08 19:14:45] 665*2^1252712-1 is not prime. Res64: 98A986AFE0394B5D Time : 0.0 sec. user=mdettweiler [2013-09-08 21:46:55] 983*2^1252712-1 is not prime. Res64: 9364AC2FAAF5392C Time : 0.0 sec. user=mdettweiler [2013-09-08 21:46:56] 681*2^1252713-1 is not prime. Res64: E76FCDFBF4BBBB0F Time : 0.0 sec. user=juhehe [2013-09-08 21:50:33] 759*2^1252713-1 is not prime. Res64: 3CF26509CE15B1BC Time : 0.0 sec. user=mdettweiler [2013-09-08 22:11:46] 811*2^1252713-1 is not prime. Res64: 5625FD293CEFB418 Time : 0.0 sec. user=mdettweiler [2013-09-08 22:11:48] 819*2^1252713-1 is not prime. Res64: 5C77D7A1E3753BD1 Time : 0.0 sec. user=mdettweiler [2013-09-08 22:36:45] 889*2^1252713-1 is not prime. Res64: 9BF5B71CCE94F54C Time : 0.0 sec. user=mdettweiler [2013-09-08 22:36:45] 895*2^1252713-1 is not prime. Res64: EA9DB3B474100AB8 Time : 0.0 sec. user=mdettweiler [2013-09-08 22:59:48] 991*2^1252713-1 is not prime. Res64: A388A8B4871E48DE Time : 0.0 sec. user=mdettweiler [2013-09-08 22:59:49] 675*2^1252714-1 is not prime. Res64: 83D7B6F69A50D484 Time : 0.0 sec. user=mdettweiler [2013-09-08 23:26:34] 677*2^1252714-1 is not prime. Res64: AEFD63BE79CDE288 Time : 0.0 sec. user=mdettweiler [2013-09-08 23:26:34] 783*2^1252714-1 is not prime. Res64: 3A9A6F970004C47B Time : 0.0 sec. user=mdettweiler [2013-09-08 23:52:25] 947*2^1252714-1 is not prime. Res64: 63DBB95842F6E3DA Time : 0.0 sec. user=mdettweiler [2013-09-08 23:52:26] 633*2^1252715-1 is not prime. Res64: 08F58A0A4A2513B4 Time : 0.0 sec.