user=mdettweiler [2012-01-17 00:03:48] 649*2^1001575-1 is not prime. Res64: 94E890073FB050ED Time : 0.0 sec. user=mdettweiler [2012-01-17 00:03:50] 661*2^1001575-1 is not prime. Res64: EC477E96677BD79D Time : 0.0 sec. user=mdettweiler [2012-01-17 00:07:12] 723*2^1001575-1 is not prime. Res64: 7D1A63D454094D1C Time : 0.0 sec. user=mdettweiler [2012-01-17 00:07:13] 773*2^1001576-1 is not prime. Res64: C0FD05088F7F9573 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:07:15] 765*2^1001575-1 is not prime. Res64: 2F74C7C2388CC87A Time : 0.0 sec. user=mdettweiler [2012-01-17 00:07:58] 871*2^1001575-1 is not prime. Res64: E4A381560921A000 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:07:59] 873*2^1001575-1 is not prime. Res64: BD7FBE53B891711E Time : 0.0 sec. user=mdettweiler [2012-01-17 00:08:55] 815*2^1001576-1 is not prime. Res64: D5C61E2A1A8885A2 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:11:34] 891*2^1001575-1 is not prime. Res64: EC641FA769F6B319 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:11:36] 999*2^1001575-1 is not prime. Res64: 00E2B6FCDB7AB63E Time : 0.0 sec. user=mdettweiler [2012-01-17 00:14:50] 875*2^1001576-1 is not prime. Res64: 3F831A77404C1645 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:16:27] 885*2^1001577-1 is not prime. Res64: 3EE26C2D0059F815 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:23:36] 839*2^1001576-1 is not prime. Res64: 63C4C4AFDA5C1544 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:23:36] 843*2^1001576-1 is not prime. Res64: EE54AFE1FAE41462 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:23:57] 657*2^1001578-1 is not prime. Res64: ACDD6A79FE6E60FF Time : 0.0 sec. user=mdettweiler [2012-01-17 00:24:05] 949*2^1001577-1 is not prime. Res64: 4F0BEB71E81DD013 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:27:50] 739*2^1001577-1 is not prime. Res64: 123578C368D56997 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:27:51] 741*2^1001577-1 is not prime. Res64: F866CE2D8B887F0E Time : 0.0 sec. user=mdettweiler [2012-01-17 00:29:17] 963*2^1001576-1 is not prime. Res64: 8715569D65ACEDF9 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:29:18] 625*2^1001577-1 is not prime. Res64: 36B7692198A37A0F Time : 0.0 sec. user=mdettweiler [2012-01-17 00:31:27] 755*2^1001578-1 is not prime. Res64: D339FE2DA62DE654 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:31:36] 601*2^1001579-1 is not prime. Res64: 9A847717B98FBE15 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:33:33] 919*2^1001577-1 is not prime. Res64: 622B683FDDAB3F5F Time : 0.0 sec. user=mdettweiler [2012-01-17 00:33:34] 945*2^1001577-1 is not prime. Res64: EDAED8212E6EFB4B Time : 0.0 sec. user=mdettweiler [2012-01-17 00:40:40] 979*2^1001579-1 is not prime. Res64: 0FA48DC9875D591D Time : 0.0 sec. user=mdettweiler [2012-01-17 00:40:49] 993*2^1001579-1 is not prime. Res64: EE7288EF7BD86D9C Time : 0.0 sec. user=mdettweiler [2012-01-17 00:43:15] 681*2^1001578-1 is not prime. Res64: 54A396D1BF9364B8 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:43:16] 735*2^1001578-1 is not prime. Res64: 7F5331E523DC12B8 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:47:34] 655*2^1001579-1 is not prime. Res64: 96475902925C3091 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:47:35] 745*2^1001579-1 is not prime. Res64: ABB051BE742E0200 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:48:09] 693*2^1001580-1 is not prime. Res64: AEC3C545FDA263A6 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:48:18] 777*2^1001580-1 is not prime. Res64: 765A3720C8890882 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:51:15] 861*2^1001579-1 is not prime. Res64: 7081998886A528A0 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:51:16] 949*2^1001579-1 is not prime. Res64: 9BD3FF0895984BCB Time : 0.0 sec. user=mdettweiler [2012-01-17 00:51:59] 921*2^1001574-1 is not prime. Res64: 14DEBDE4DA3D9A85 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:51:59] 923*2^1001574-1 is not prime. Res64: 536D39DC7A2F1795 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:53:20] 627*2^1001580-1 is not prime. Res64: BA87706D18E06E07 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:53:20] 689*2^1001580-1 is not prime. Res64: 39DDF3C106C03018 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:55:42] 715*2^1001581-1 is not prime. Res64: BAB08D47ED5209CD Time : 0.0 sec. user=mdettweiler [2012-01-17 00:55:51] 799*2^1001581-1 is not prime. Res64: 2564644D16D0910A Time : 0.0 sec. user=mdettweiler [2012-01-17 01:02:59] 779*2^1001580-1 is not prime. Res64: D8D01A38FCECB063 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:03:01] 797*2^1001580-1 is not prime. Res64: 8C0A2BCB5521D08E Time : 0.0 sec. user=mdettweiler [2012-01-17 01:04:17] 885*2^1001582-1 is not prime. Res64: 2FEBE694DD64243C Time : 0.0 sec. user=mdettweiler [2012-01-17 01:04:25] 911*2^1001582-1 is not prime. Res64: 73C750D47C41E90D Time : 0.0 sec. user=mdettweiler [2012-01-17 01:07:19] 845*2^1001580-1 is not prime. Res64: 83282CE4CF4EB6B0 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:07:22] 857*2^1001580-1 is not prime. Res64: 2DBB560CF57FEC1D Time : 0.0 sec. user=mdettweiler [2012-01-17 01:10:56] 825*2^1001581-1 is not prime. Res64: 22AE53DE3CA356B8 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:10:58] 871*2^1001581-1 is not prime. Res64: 1C5B05DA974CBC51 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:11:51] 709*2^1001583-1 is not prime. Res64: 50DEEAABB195238C Time : 0.0 sec. user=mdettweiler [2012-01-17 01:11:57] 735*2^1001583-1 is not prime. Res64: 59BF7BF1B46DD993 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:13:02] 675*2^1001582-1 is not prime. Res64: 413D9F0399B33FFC Time : 0.0 sec. user=mdettweiler [2012-01-17 01:19:29] 785*2^1001584-1 is not prime. Res64: 779A831D22E0B4E8 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:19:36] 819*2^1001584-1 is not prime. Res64: 978924811F7D1C32 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:22:47] 613*2^1001583-1 is not prime. Res64: E5391A372FB8419A Time : 0.0 sec. user=mdettweiler [2012-01-17 01:22:47] 639*2^1001583-1 is not prime. Res64: 00445873E2BF87A7 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:27:00] 843*2^1001584-1 is not prime. Res64: 0B8DADFB3094808D Time : 0.0 sec. user=mdettweiler [2012-01-17 01:27:07] 855*2^1001584-1 is not prime. Res64: 09DBB99F5CED21B3 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:27:13] 739*2^1001583-1 is not prime. Res64: C748ED3307F52715 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:27:13] 745*2^1001583-1 is not prime. Res64: CE0D5D26452FCEB3 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:30:48] 789*2^1001583-1 is not prime. Res64: 540B803A88C762D2 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:30:49] 639*2^1001584-1 is not prime. Res64: F0CB385F70375982 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:34:39] 645*2^1001585-1 is not prime. Res64: 63124B28E52351A5 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:36:18] 969*2^1001584-1 is not prime. Res64: B4CEE1153D8E3517 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:39:47] 693*2^1001582-1 is not prime. Res64: 9C64374AD1DDFB2B Time : 0.0 sec. user=mdettweiler [2012-01-17 01:42:15] 789*2^1001585-1 is not prime. Res64: 7850A3140C2B69F7 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:42:36] 875*2^1001584-1 is not prime. Res64: 544703C22EE10AAB Time : 0.0 sec. user=mdettweiler [2012-01-17 01:42:37] 929*2^1001584-1 is not prime. Res64: 2B8D2284F247E4B5 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:43:53] 795*2^1001585-1 is not prime. Res64: ACF30EBAF16F45FD Time : 0.0 sec. user=mdettweiler [2012-01-17 01:47:03] 649*2^1001585-1 is not prime. Res64: D5D25A2555148F54 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:47:03] 711*2^1001585-1 is not prime. Res64: 2F99AB7253F92E13 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:49:40] 603*2^1001582-1 is not prime. Res64: 528858C9443FFAC7 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:49:40] 651*2^1001582-1 is not prime. Res64: C76676CC7B3FD07B Time : 0.0 sec. user=mdettweiler [2012-01-17 01:49:47] 641*2^1001586-1 is not prime. Res64: 7C0A600A59A29A20 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:50:27] 721*2^1001585-1 is not prime. Res64: 90A2285684494003 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:50:28] 759*2^1001585-1 is not prime. Res64: 20B307A85F4BE427 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:51:25] 837*2^1001586-1 is not prime. Res64: 8427CEBAB08A4753 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:57:19] 805*2^1001587-1 is not prime. Res64: 40D6FEE05350421E Time : 0.0 sec. user=mdettweiler [2012-01-17 01:58:56] 743*2^1001588-1 is not prime. Res64: 4ABA410A62E5C9F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:59:29] 837*2^1001585-1 is not prime. Res64: 600C62EE49473FF1 Time : 0.0 sec. user=mdettweiler [2012-01-17 01:59:30] 855*2^1001585-1 is not prime. Res64: E83C34B284B99A47 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:02:16] 705*2^1001586-1 is not prime. Res64: 8D9F3DEC638C9C03 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:02:17] 737*2^1001586-1 is not prime. Res64: F372AEF4F1487735 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:04:50] 789*2^1001588-1 is not prime. Res64: EE2002454E292A6A Time : 0.0 sec. user=mdettweiler [2012-01-17 02:06:44] 917*2^1001586-1 is not prime. Res64: 4C82BFAA5F67452C Time : 0.0 sec. user=mdettweiler [2012-01-17 02:06:46] 639*2^1001587-1 is not prime. Res64: EBD2505793DF6344 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:08:15] 953*2^1001588-1 is not prime. Res64: 4A2D398FAABAB0B1 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:10:10] 659*2^1001588-1 is not prime. Res64: A79EADCFEFCDE2A8 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:10:12] 707*2^1001588-1 is not prime. Res64: 96AA214418272F5A Time : 0.0 sec. user=mdettweiler [2012-01-17 02:12:23] 721*2^1001589-1 is not prime. Res64: ED685B24356A0A7B Time : 0.0 sec. user=mdettweiler [2012-01-17 02:15:48] 847*2^1001589-1 is not prime. Res64: 43E08052BE7D9E3C Time : 0.0 sec. user=mdettweiler [2012-01-17 02:19:53] 657*2^1001590-1 is not prime. Res64: F68C652F4FB7794D Time : 0.0 sec. user=mdettweiler [2012-01-17 02:22:01] 621*2^1001589-1 is not prime. Res64: EDF38C5F18790D07 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:22:01] 681*2^1001589-1 is not prime. Res64: B579ED5606C86DBB Time : 0.0 sec. user=mdettweiler [2012-01-17 02:23:17] 717*2^1001590-1 is not prime. Res64: 40458AAFE231871C Time : 0.0 sec. user=mdettweiler [2012-01-17 02:23:41] 977*2^1001588-1 is not prime. Res64: 3E23563C8F5207FB Time : 0.0 sec. user=mdettweiler [2012-01-17 02:23:42] 999*2^1001588-1 is not prime. Res64: EEE41231C1E7E69D Time : 0.0 sec. user=mdettweiler [2012-01-17 02:26:34] 741*2^1001589-1 is not prime. Res64: BC3CF204E240D17A Time : 0.0 sec. user=mdettweiler [2012-01-17 02:26:34] 789*2^1001589-1 is not prime. Res64: FAD4DA152B8A9703 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:27:22] 761*2^1001590-1 is not prime. Res64: C61DDBBEC897282C Time : 0.0 sec. user=mdettweiler [2012-01-17 02:32:33] 975*2^1001590-1 is not prime. Res64: ADA80F060A5BADC1 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:34:33] 955*2^1001589-1 is not prime. Res64: 7739B4A73EA9BC48 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:34:34] 999*2^1001589-1 is not prime. Res64: 61938D90691B1396 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:34:51] 843*2^1001591-1 is not prime. Res64: 53B0C971501B2EAE Time : 0.0 sec. user=mdettweiler [2012-01-17 02:40:08] 865*2^1001591-1 is not prime. Res64: 45DFEF1835547FA8 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:41:44] 791*2^1001590-1 is not prime. Res64: C385B23E60FBC880 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:41:45] 845*2^1001590-1 is not prime. Res64: C14F30C3D56C2631 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:42:20] 825*2^1001592-1 is not prime. Res64: E81CEA6DFC327C77 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:43:27] 661*2^1001591-1 is not prime. Res64: 6D62AF418F65D205 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:43:28] 679*2^1001591-1 is not prime. Res64: 24C9B19F5BF34DE4 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:46:15] 789*2^1001591-1 is not prime. Res64: A50FD190F4318680 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:46:16] 829*2^1001591-1 is not prime. Res64: 575AC689A31520CB Time : 0.0 sec. user=mdettweiler [2012-01-17 02:47:15] 681*2^1001587-1 is not prime. Res64: 7EE50C6B009608CD Time : 0.0 sec. user=mdettweiler [2012-01-17 02:47:15] 699*2^1001587-1 is not prime. Res64: C8E891C0880880B9 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:47:39] 929*2^1001592-1 is not prime. Res64: B36F53B772C2BA3B Time : 0.0 sec. user=mdettweiler [2012-01-17 02:49:52] 755*2^1001594-1 is not prime. Res64: E7AF3AFE786577EF Time : 0.0 sec. user=mdettweiler [2012-01-17 02:54:19] 639*2^1001592-1 is not prime. Res64: 1C0BE947A39804E4 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:54:20] 675*2^1001592-1 is not prime. Res64: 31BFC05F58E38BEF Time : 0.0 sec. user=mdettweiler [2012-01-17 02:55:12] 873*2^1001595-1 is not prime. Res64: 8E79251D0DC760A5 Time : 0.0 sec. user=mdettweiler [2012-01-17 02:57:24] 903*2^1001595-1 is not prime. Res64: 3C3B3342CE06945A Time : 0.0 sec. user=mdettweiler [2012-01-17 03:01:31] 775*2^1001593-1 is not prime. Res64: 7E9DC26FC65950A7 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:01:33] 743*2^1001594-1 is not prime. Res64: 590C40F893C723E3 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:02:45] 923*2^1001596-1 is not prime. Res64: 99959225848D578C Time : 0.0 sec. user=mdettweiler [2012-01-17 03:04:56] 927*2^1001596-1 is not prime. Res64: 2E9200FD410DAAC6 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:05:33] 861*2^1001594-1 is not prime. Res64: F2C57D375096020A Time : 0.0 sec. user=mdettweiler [2012-01-17 03:05:34] 941*2^1001594-1 is not prime. Res64: EC84C593B2E43538 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:08:16] 1001*2^1001594-1 is not prime. Res64: 8D37DAB7716FA7C5 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:08:17] 613*2^1001595-1 is not prime. Res64: 9EA9CE404CD5FA2F Time : 0.0 sec. user=mdettweiler [2012-01-17 03:10:16] 627*2^1001597-1 is not prime. Res64: F53259428F028BC0 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:12:26] 697*2^1001597-1 is not prime. Res64: 3C08E1731B558CAD Time : 0.0 sec. user=mdettweiler [2012-01-17 03:13:59] 615*2^1001596-1 is not prime. Res64: 79193FAA1E21B3C4 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:14:00] 735*2^1001596-1 is not prime. Res64: E947D6244F2B45A3 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:17:46] 663*2^1001598-1 is not prime. Res64: B0D58EB385D68CAF Time : 0.0 sec. user=mdettweiler [2012-01-17 03:19:55] 681*2^1001598-1 is not prime. Res64: E00BAF73C93B7943 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:25:22] 825*2^1001597-1 is not prime. Res64: D54B42EFFF2703B6 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:25:23] 885*2^1001597-1 is not prime. Res64: 687E7FECFE65EC67 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:25:47] 993*2^1001596-1 is not prime. Res64: 2CF74DB3D53D836C Time : 0.0 sec. user=mdettweiler [2012-01-17 03:25:47] 999*2^1001596-1 is not prime. Res64: BD27F8EA648B4930 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:27:02] 951*2^1001598-1 is not prime. Res64: E190ED1730B979E1 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:27:25] 741*2^1001599-1 is not prime. Res64: 026749262C1C3639 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:30:16] 955*2^1001597-1 is not prime. Res64: 75801CD3D1B43023 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:30:17] 621*2^1001598-1 is not prime. Res64: 270F25300B912C56 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:33:43] 893*2^1001598-1 is not prime. Res64: C76F78FFBFA4F1A3 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:33:45] 927*2^1001598-1 is not prime. Res64: 6735DEA8612F31F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:34:31] 923*2^1001600-1 is not prime. Res64: 927EC79002823ED1 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:36:46] 945*2^1001600-1 is not prime. Res64: E4FDCFF69196E7C8 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:43:51] 999*2^1001601-1 is not prime. Res64: 1EEA4B9DF574EB19 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:44:16] 635*2^1001602-1 is not prime. Res64: B4DF1B0974B5D057 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:45:08] 765*2^1001599-1 is not prime. Res64: 4DF912F6C788E1D3 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:45:09] 873*2^1001599-1 is not prime. Res64: 89644796B6366EB3 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:45:12] 805*2^1001595-1 is not prime. Res64: A4F287F38315F478 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:45:12] 819*2^1001595-1 is not prime. Res64: 05961B79BF83D69D Time : 0.0 sec. user=mdettweiler [2012-01-17 03:45:28] 919*2^1001599-1 is not prime. Res64: 1EA7FD756DF55FE1 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:45:29] 665*2^1001600-1 is not prime. Res64: 21AC7472EAABACE4 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:49:57] 685*2^1001601-1 is not prime. Res64: F77B5AE5CA0E2268 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:49:58] 727*2^1001601-1 is not prime. Res64: 67219EC40BFDF284 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:51:22] 701*2^1001602-1 is not prime. Res64: A5113D25805A7320 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:51:47] 825*2^1001602-1 is not prime. Res64: 7B378DB383C360AF Time : 0.0 sec. user=mdettweiler [2012-01-17 03:58:26] 951*2^1001601-1 is not prime. Res64: 6E20DF75EC87879C Time : 0.0 sec. user=mdettweiler [2012-01-17 03:58:27] 975*2^1001601-1 is not prime. Res64: 69718413FAE66E10 Time : 0.0 sec. user=mdettweiler [2012-01-17 03:59:17] 663*2^1001604-1 is not prime. Res64: 845AFB778E490049 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:00:35] 999*2^1001603-1 is not prime. Res64: 25C805F0215BB00E Time : 0.0 sec. user=mdettweiler [2012-01-17 04:05:06] 833*2^1001602-1 is not prime. Res64: B30F7B9EE907364D Time : 0.0 sec. user=mdettweiler [2012-01-17 04:05:07] 843*2^1001602-1 is not prime. Res64: 91FE6624BBE73651 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:05:15] 609*2^1001603-1 is not prime. Res64: A443390286110B88 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:05:17] 715*2^1001603-1 is not prime. Res64: DA7D3F98584385BE Time : 0.0 sec. user=mdettweiler [2012-01-17 04:06:46] 857*2^1001604-1 is not prime. Res64: 46A51863568E14E2 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:08:08] 863*2^1001604-1 is not prime. Res64: 34C6BFD7A3BBFF87 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:10:03] 825*2^1001603-1 is not prime. Res64: F7EDDEF3C9D7EC60 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:10:05] 829*2^1001603-1 is not prime. Res64: 88D0E93FBA47365E Time : 0.0 sec. user=mdettweiler [2012-01-17 04:14:16] 679*2^1001605-1 is not prime. Res64: B9A78AADF30D2887 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:15:39] 771*2^1001605-1 is not prime. Res64: D1E036B99FA87A84 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:18:06] 749*2^1001604-1 is not prime. Res64: 1F7CBE8E5F533703 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:18:07] 773*2^1001604-1 is not prime. Res64: F6DB8C25B4A64FA6 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:21:47] 645*2^1001606-1 is not prime. Res64: 454A152278628FF0 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:23:10] 813*2^1001606-1 is not prime. Res64: FA939DAD6A0B3724 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:25:13] 625*2^1001605-1 is not prime. Res64: 430DB75E5F463FBF Time : 0.0 sec. user=mdettweiler [2012-01-17 04:25:13] 649*2^1001605-1 is not prime. Res64: C93AE434F3FEF1D6 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:29:16] 751*2^1001607-1 is not prime. Res64: 7A891311648CEC68 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:29:28] 965*2^1001604-1 is not prime. Res64: 79D5C4C5313067C7 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:29:28] 975*2^1001604-1 is not prime. Res64: 2BBFA3CD6785A6F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:30:41] 793*2^1001607-1 is not prime. Res64: E7C4BDD1026FB352 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:32:07] 915*2^1001605-1 is not prime. Res64: 319ADE482393FEA9 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:32:08] 997*2^1001605-1 is not prime. Res64: FFD5E4C5C5387E05 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:36:46] 813*2^1001608-1 is not prime. Res64: 4C1493EF455F0CC2 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:38:09] 933*2^1001608-1 is not prime. Res64: 67E6EF5136197852 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:40:06] 945*2^1001606-1 is not prime. Res64: CAA1919E3870EE12 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:40:07] 669*2^1001607-1 is not prime. Res64: 7448B3FD8F22BD3B Time : 0.0 sec. user=mdettweiler [2012-01-17 04:44:56] 933*2^1001607-1 is not prime. Res64: AA7A152318D63DD5 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:44:56] 747*2^1001608-1 is not prime. Res64: AEC82A38D21D8418 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:45:40] 633*2^1001610-1 is not prime. Res64: 3F370C783262D4C6 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:46:01] 957*2^1001609-1 is not prime. Res64: 4CA6DEC59D94FCD4 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:47:59] 885*2^1001602-1 is not prime. Res64: 5907D6C0FBAC638A Time : 0.0 sec. user=mdettweiler [2012-01-17 04:47:59] 983*2^1001602-1 is not prime. Res64: 8224F3519B60CE47 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:49:08] 869*2^1001608-1 is not prime. Res64: 827D13FADD0B6F46 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:49:09] 875*2^1001608-1 is not prime. Res64: AAD3E0E506E2A87D Time : 0.0 sec. user=mdettweiler [2012-01-17 04:51:50] 675*2^1001609-1 is not prime. Res64: 62A3807DBD52206F Time : 0.0 sec. user=mdettweiler [2012-01-17 04:51:51] 855*2^1001609-1 is not prime. Res64: 26C3BE5EBA5D5DBB Time : 0.0 sec. user=mdettweiler [2012-01-17 04:53:30] 601*2^1001611-1 is not prime. Res64: 8DA8CE6ACCA7E1F8 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:54:53] 977*2^1001610-1 is not prime. Res64: 1282F17363A45FF8 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:59:51] 641*2^1001610-1 is not prime. Res64: 26A480767DF70046 Time : 0.0 sec. user=mdettweiler [2012-01-17 04:59:52] 717*2^1001610-1 is not prime. Res64: F24864126557E047 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:01:02] 617*2^1001612-1 is not prime. Res64: DE7D55F53C0CBEEC Time : 0.0 sec. user=mdettweiler [2012-01-17 05:02:24] 629*2^1001612-1 is not prime. Res64: 766ADED41A187CA7 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:06:57] 921*2^1001610-1 is not prime. Res64: EEA1F5294529D1CC Time : 0.0 sec. user=mdettweiler [2012-01-17 05:06:58] 957*2^1001610-1 is not prime. Res64: 1FE57E188EAE994C Time : 0.0 sec. user=mdettweiler [2012-01-17 05:08:54] 855*2^1001611-1 is not prime. Res64: 79696189D0F83C1C Time : 0.0 sec. user=mdettweiler [2012-01-17 05:08:56] 885*2^1001611-1 is not prime. Res64: 77AC44CA50D63AB1 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:09:54] 621*2^1001613-1 is not prime. Res64: 192AD9AF8434A7A0 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:10:16] 957*2^1001612-1 is not prime. Res64: 99E03B214334FA31 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:11:36] 603*2^1001612-1 is not prime. Res64: C2E72C4B4E9E89E8 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:11:36] 609*2^1001612-1 is not prime. Res64: 129530B37B2E0F95 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:17:25] 645*2^1001614-1 is not prime. Res64: 0F69C37D4BFB38BE Time : 0.0 sec. user=mdettweiler [2012-01-17 05:17:48] 663*2^1001614-1 is not prime. Res64: 4CF5CD4289DA1961 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:19:30] 717*2^1001612-1 is not prime. Res64: 927D45220907A7F6 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:19:30] 759*2^1001612-1 is not prime. Res64: A303A94B4777B186 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:24:57] 891*2^1001614-1 is not prime. Res64: 8B53BC8A4F83F2F2 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:25:20] 897*2^1001614-1 is not prime. Res64: 16A0D5157B34DDCB Time : 0.0 sec. user=mdettweiler [2012-01-17 05:26:45] 657*2^1001613-1 is not prime. Res64: AB93F45B9C2D3D01 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:26:45] 747*2^1001613-1 is not prime. Res64: D498BE19C5AB5F79 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:30:59] 751*2^1001613-1 is not prime. Res64: 7A8323D6DD050E04 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:30:59] 991*2^1001613-1 is not prime. Res64: 786FFCE494D61CA7 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:31:19] 737*2^1001614-1 is not prime. Res64: 2AB99954BECD5169 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:31:20] 815*2^1001614-1 is not prime. Res64: 68D9C7B9AF472005 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:32:26] 823*2^1001615-1 is not prime. Res64: F321B92CD5C4DFF0 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:32:50] 861*2^1001615-1 is not prime. Res64: 6E35CE903E2BB920 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:40:20] 683*2^1001618-1 is not prime. Res64: 74C385203EE8799C Time : 0.0 sec. user=mdettweiler [2012-01-17 05:41:30] 957*2^1001614-1 is not prime. Res64: 976C1A6AA56BFF91 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:41:30] 799*2^1001615-1 is not prime. Res64: C818D10826D2F1A4 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:41:44] 939*2^1001617-1 is not prime. Res64: 063B4E041874800E Time : 0.0 sec. user=mdettweiler [2012-01-17 05:45:25] 703*2^1001611-1 is not prime. Res64: D104176DBB0EF017 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:45:25] 759*2^1001611-1 is not prime. Res64: E7B1BFB392761C91 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:47:49] 713*2^1001618-1 is not prime. Res64: 47ED42EB3E11FB3F Time : 0.0 sec. user=mdettweiler [2012-01-17 05:48:41] 949*2^1001615-1 is not prime. Res64: 5E95D28E61EE88A4 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:48:42] 699*2^1001616-1 is not prime. Res64: ACA436DEFE3F721A Time : 0.0 sec. user=mdettweiler [2012-01-17 05:49:13] 885*2^1001618-1 is not prime. Res64: 4F4CBB9D0100245D Time : 0.0 sec. user=mdettweiler [2012-01-17 05:51:05] 615*2^1001617-1 is not prime. Res64: DBD8F5FC4C91F814 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:51:05] 897*2^1001617-1 is not prime. Res64: 780B3231987420C1 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:52:59] 849*2^1001616-1 is not prime. Res64: 32C63A378B2DC597 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:52:59] 975*2^1001616-1 is not prime. Res64: 55D9C71274A8D3D1 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:55:20] 909*2^1001619-1 is not prime. Res64: 3BDFB55BBFA1CBE9 Time : 0.0 sec. user=mdettweiler [2012-01-17 05:56:44] 677*2^1001620-1 is not prime. Res64: AE63E7F5433A2C9F Time : 0.0 sec. user=mdettweiler [2012-01-17 06:01:11] 743*2^1001618-1 is not prime. Res64: F839839F49178AFB Time : 0.0 sec. user=mdettweiler [2012-01-17 06:01:15] 771*2^1001618-1 is not prime. Res64: 6F2163D1F699DE04 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:04:15] 669*2^1001621-1 is not prime. Res64: A33CF3B6BF70A2C9 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:04:35] 983*2^1001620-1 is not prime. Res64: CDE3B50F5649AAB9 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:08:26] 931*2^1001619-1 is not prime. Res64: C4C5D20603B258E2 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:08:26] 635*2^1001620-1 is not prime. Res64: 5F2455C0065EF28B Time : 0.0 sec. user=mdettweiler [2012-01-17 06:10:47] 689*2^1001620-1 is not prime. Res64: 6CC54C8DBD7631FA Time : 0.0 sec. user=mdettweiler [2012-01-17 06:10:49] 735*2^1001620-1 is not prime. Res64: 2CBE74BACECC774D Time : 0.0 sec. user=mdettweiler [2012-01-17 06:11:45] 825*2^1001621-1 is not prime. Res64: 88BBDE5262CD15C5 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:12:07] 837*2^1001621-1 is not prime. Res64: BC98BA1A387DEED0 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:12:47] 855*2^1001620-1 is not prime. Res64: 0A8F77203A0E240C Time : 0.0 sec. user=mdettweiler [2012-01-17 06:12:48] 899*2^1001620-1 is not prime. Res64: 873FF283AE9474A7 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:19:16] 647*2^1001622-1 is not prime. Res64: A33D0DD6B93BE943 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:19:39] 821*2^1001622-1 is not prime. Res64: 840988817BC0FF68 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:21:09] 691*2^1001621-1 is not prime. Res64: 516CF4B4CC757D01 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:21:09] 775*2^1001621-1 is not prime. Res64: 27A417D19B8A5D74 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:26:45] 649*2^1001623-1 is not prime. Res64: 41F8760BD2C3848D Time : 0.0 sec. user=mdettweiler [2012-01-17 06:27:08] 765*2^1001623-1 is not prime. Res64: B731979AD66F96BB Time : 0.0 sec. user=mdettweiler [2012-01-17 06:28:12] 859*2^1001621-1 is not prime. Res64: 63ABDF66C69A1776 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:28:12] 889*2^1001621-1 is not prime. Res64: C4D4F84608C0F612 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:32:50] 955*2^1001621-1 is not prime. Res64: 89769E7B88A20858 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:32:51] 621*2^1001622-1 is not prime. Res64: 796909C6235144C5 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:34:16] 617*2^1001624-1 is not prime. Res64: EE45A2E75B1754F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:34:38] 657*2^1001624-1 is not prime. Res64: 5C2BBED944EB107F Time : 0.0 sec. user=mdettweiler [2012-01-17 06:34:53] 903*2^1001622-1 is not prime. Res64: 7B828D3C874073AA Time : 0.0 sec. user=mdettweiler [2012-01-17 06:34:54] 947*2^1001622-1 is not prime. Res64: 6BF5003458AE13FA Time : 0.0 sec. user=mdettweiler [2012-01-17 06:41:45] 765*2^1001625-1 is not prime. Res64: 12A18A937FD5B2E8 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:42:07] 817*2^1001625-1 is not prime. Res64: A12CEFA5E22E1FC9 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:42:52] 619*2^1001619-1 is not prime. Res64: 820C8F7FE80E24A1 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:42:52] 741*2^1001619-1 is not prime. Res64: 8F891C9E02A38990 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:45:30] 939*2^1001623-1 is not prime. Res64: 38E604E6D69E7828 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:45:30] 961*2^1001623-1 is not prime. Res64: 68991F50AEA392CE Time : 0.0 sec. user=mdettweiler [2012-01-17 06:48:04] 683*2^1001624-1 is not prime. Res64: A6BFEA3AB8167076 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:48:04] 899*2^1001624-1 is not prime. Res64: 5BFBF0BB4C0AFDF3 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:49:15] 909*2^1001625-1 is not prime. Res64: EFDBC1EC94CC421B Time : 0.0 sec. user=mdettweiler [2012-01-17 06:49:37] 611*2^1001626-1 is not prime. Res64: 564AAB3F6EED8ECC Time : 0.0 sec. user=mdettweiler [2012-01-17 06:52:36] 915*2^1001624-1 is not prime. Res64: 207E89B986F3D78B Time : 0.0 sec. user=mdettweiler [2012-01-17 06:52:37] 929*2^1001624-1 is not prime. Res64: 70C8CF47F6FEEE93 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:54:34] 831*2^1001625-1 is not prime. Res64: AAD0559AEE4A1106 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:54:35] 889*2^1001625-1 is not prime. Res64: 62CE5F80B4C19ABA Time : 0.0 sec. user=mdettweiler [2012-01-17 06:58:28] 957*2^1001626-1 is not prime. Res64: EDB943D0B2F8FF15 Time : 0.0 sec. user=mdettweiler [2012-01-17 06:58:51] 993*2^1001626-1 is not prime. Res64: DF653824C3B5AA17 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:05:13] 713*2^1001626-1 is not prime. Res64: DEA72366B039C45A Time : 0.0 sec. user=mdettweiler [2012-01-17 07:05:14] 741*2^1001626-1 is not prime. Res64: 65ADA6AC0A6F9806 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:05:59] 871*2^1001627-1 is not prime. Res64: DB1D35F4762C8187 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:06:21] 883*2^1001627-1 is not prime. Res64: 24A20CB252275F0D Time : 0.0 sec. user=mdettweiler [2012-01-17 07:07:45] 743*2^1001626-1 is not prime. Res64: 8FDC934D64206D77 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:07:46] 773*2^1001626-1 is not prime. Res64: 0790A10B825AE55E Time : 0.0 sec. user=mdettweiler [2012-01-17 07:12:21] 669*2^1001627-1 is not prime. Res64: 85CAABCA6013452D Time : 0.0 sec. user=mdettweiler [2012-01-17 07:12:22] 675*2^1001627-1 is not prime. Res64: 85800E3FBBDF7415 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:14:16] 711*2^1001627-1 is not prime. Res64: 461D2EB69E85E9FB Time : 0.0 sec. user=mdettweiler [2012-01-17 07:14:17] 843*2^1001627-1 is not prime. Res64: A3936809098C522F Time : 0.0 sec. user=mdettweiler [2012-01-17 07:15:13] 981*2^1001627-1 is not prime. Res64: 643535A2E29AAD34 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:15:35] 985*2^1001627-1 is not prime. Res64: EFD3B0BAA5019EFE Time : 0.0 sec. user=mdettweiler [2012-01-17 07:22:45] 691*2^1001629-1 is not prime. Res64: 7BFFD6B94FB1F3C7 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:23:06] 769*2^1001629-1 is not prime. Res64: EF3A3383440F9DB5 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:27:31] 629*2^1001628-1 is not prime. Res64: 94D3250C4FF20EF0 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:27:32] 689*2^1001628-1 is not prime. Res64: BCEFD1D1BD2D25BB Time : 0.0 sec. user=mdettweiler [2012-01-17 07:29:33] 963*2^1001627-1 is not prime. Res64: 401C03318CE5B85D Time : 0.0 sec. user=mdettweiler [2012-01-17 07:29:33] 973*2^1001627-1 is not prime. Res64: 59BAF5F386D69F31 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:30:18] 817*2^1001629-1 is not prime. Res64: 45369A8306A44640 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:30:39] 825*2^1001629-1 is not prime. Res64: 5474499ED297598A Time : 0.0 sec. user=mdettweiler [2012-01-17 07:32:05] 765*2^1001628-1 is not prime. Res64: 474611DEEDA7336E Time : 0.0 sec. user=mdettweiler [2012-01-17 07:32:05] 795*2^1001628-1 is not prime. Res64: 034711720949C6AD Time : 0.0 sec. user=mdettweiler [2012-01-17 07:34:01] 839*2^1001628-1 is not prime. Res64: 1852D8C967E78DA6 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:34:02] 625*2^1001629-1 is not prime. Res64: A21025FEBEB4ADCA Time : 0.0 sec. user=mdettweiler [2012-01-17 07:37:49] 893*2^1001630-1 is not prime. Res64: C2FEED250E9A709A Time : 0.0 sec. user=mdettweiler [2012-01-17 07:38:09] 897*2^1001630-1 is not prime. Res64: 64DFAEAB8294DDB0 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:40:15] 675*2^1001626-1 is not prime. Res64: A5024E36A7391237 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:40:15] 677*2^1001626-1 is not prime. Res64: 9D6F228BC84DAF9D Time : 0.0 sec. user=mdettweiler [2012-01-17 07:45:19] 909*2^1001631-1 is not prime. Res64: 6792F334AFF93AE5 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:47:15] 867*2^1001629-1 is not prime. Res64: 44D8EAB14E9BFC86 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:47:15] 743*2^1001630-1 is not prime. Res64: 0EF3FB1AB0488CF6 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:47:25] 973*2^1001631-1 is not prime. Res64: 348D103EB0D2232C Time : 0.0 sec. user=mdettweiler [2012-01-17 07:49:12] 827*2^1001630-1 is not prime. Res64: 3F45C6D15C25E928 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:49:13] 843*2^1001630-1 is not prime. Res64: DA1B5118C990F8B5 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:52:50] 807*2^1001632-1 is not prime. Res64: 7729C009D3AF26D2 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:53:46] 859*2^1001631-1 is not prime. Res64: B6C302AB229705A8 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:53:46] 891*2^1001631-1 is not prime. Res64: 04E1F0348349A796 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:54:05] 951*2^1001630-1 is not prime. Res64: 5BAF98AAF930EEB2 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:54:05] 669*2^1001631-1 is not prime. Res64: 1373658C2008FA28 Time : 0.0 sec. user=mdettweiler [2012-01-17 07:54:58] 897*2^1001632-1 is not prime. Res64: FF7D9A361447B2D0 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:02:10] 939*2^1001632-1 is not prime. Res64: 19FF92A545DBD195 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:02:24] 769*2^1001633-1 is not prime. Res64: 526C1931AC9DE331 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:07:00] 827*2^1001632-1 is not prime. Res64: 8E07E4B8D4AAB05A Time : 0.0 sec. user=mdettweiler [2012-01-17 08:07:00] 843*2^1001632-1 is not prime. Res64: C25E0C183D4FAFF1 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:08:55] 903*2^1001632-1 is not prime. Res64: D5ED75B2A810585D Time : 0.0 sec. user=mdettweiler [2012-01-17 08:08:56] 929*2^1001632-1 is not prime. Res64: 842D730BFF2D1E53 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:09:52] 925*2^1001633-1 is not prime. Res64: E1AF485355A489DE Time : 0.0 sec. user=mdettweiler [2012-01-17 08:11:42] 957*2^1001633-1 is not prime. Res64: A5F29A9AF282D96F Time : 0.0 sec. user=mdettweiler [2012-01-17 08:13:49] 705*2^1001633-1 is not prime. Res64: 3F26E2A05E5A792A Time : 0.0 sec. user=mdettweiler [2012-01-17 08:13:50] 721*2^1001633-1 is not prime. Res64: 2598C707B7F665A8 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:15:46] 995*2^1001632-1 is not prime. Res64: 91673A72A575FC4D Time : 0.0 sec. user=mdettweiler [2012-01-17 08:15:47] 619*2^1001633-1 is not prime. Res64: 3527CCB772E42AB2 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:17:23] 741*2^1001634-1 is not prime. Res64: FCE8BC940C159C21 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:19:16] 791*2^1001634-1 is not prime. Res64: 60BD7F220C5710D7 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:24:55] 759*2^1001635-1 is not prime. Res64: DBC8B21A074CF2EB Time : 0.0 sec. user=mdettweiler [2012-01-17 08:26:43] 605*2^1001634-1 is not prime. Res64: 2660D394315C9D0B Time : 0.0 sec. user=mdettweiler [2012-01-17 08:26:44] 627*2^1001634-1 is not prime. Res64: 78E22348F0B7FF8C Time : 0.0 sec. user=mdettweiler [2012-01-17 08:26:48] 783*2^1001635-1 is not prime. Res64: F5D36052B89C2DFB Time : 0.0 sec. user=mdettweiler [2012-01-17 08:28:35] 651*2^1001634-1 is not prime. Res64: E8A0A6AA2AC29D45 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:28:35] 681*2^1001634-1 is not prime. Res64: E11996A9067C73A1 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:32:25] 919*2^1001635-1 is not prime. Res64: 1DD213644462B597 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:33:39] 807*2^1001634-1 is not prime. Res64: E99F9E4C8DAB6C9E Time : 0.0 sec. user=mdettweiler [2012-01-17 08:33:39] 927*2^1001634-1 is not prime. Res64: 9426D4CCFF3965DD Time : 0.0 sec. user=mdettweiler [2012-01-17 08:36:06] 979*2^1001635-1 is not prime. Res64: 805FCE6F8E9C57ED Time : 0.0 sec. user=mdettweiler [2012-01-17 08:37:48] 983*2^1001634-1 is not prime. Res64: B6CD20903CE51F21 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:37:48] 693*2^1001635-1 is not prime. Res64: 43EAAFB46A36E47A Time : 0.0 sec. user=mdettweiler [2012-01-17 08:39:57] 825*2^1001636-1 is not prime. Res64: E38C76138864FB10 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:44:15] 999*2^1001631-1 is not prime. Res64: 60273ADB6A7AD00D Time : 0.0 sec. user=mdettweiler [2012-01-17 08:44:15] 695*2^1001632-1 is not prime. Res64: B3E661A504CDBEB8 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:45:24] 945*2^1001636-1 is not prime. Res64: 8C8BD464FF80FAF1 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:47:27] 699*2^1001637-1 is not prime. Res64: EE75B43AB05D1A65 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:48:47] 925*2^1001635-1 is not prime. Res64: B6A3A028DDD5863F Time : 0.0 sec. user=mdettweiler [2012-01-17 08:48:48] 939*2^1001635-1 is not prime. Res64: 5D6B837ACB5A3867 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:50:33] 999*2^1001635-1 is not prime. Res64: 63C28BB81A2B3E5A Time : 0.0 sec. user=mdettweiler [2012-01-17 08:50:33] 803*2^1001636-1 is not prime. Res64: A866C1ED6B2FE016 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:52:55] 861*2^1001637-1 is not prime. Res64: 9C0A661A45C931A4 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:53:23] 833*2^1001636-1 is not prime. Res64: 6B9D3E6A34FB84FE Time : 0.0 sec. user=mdettweiler [2012-01-17 08:53:24] 839*2^1001636-1 is not prime. Res64: F780B326D21EACF7 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:54:59] 867*2^1001637-1 is not prime. Res64: 00631503D3A0D081 Time : 0.0 sec. user=mdettweiler [2012-01-17 08:57:30] 649*2^1001637-1 is not prime. Res64: 6B95A7FD3982C2FA Time : 0.0 sec. user=mdettweiler [2012-01-17 08:57:31] 667*2^1001637-1 is not prime. Res64: 2664F7A026888CF3 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:00:28] 711*2^1001639-1 is not prime. Res64: 3779803AE93A1ABD Time : 0.0 sec. user=mdettweiler [2012-01-17 09:02:26] 813*2^1001639-1 is not prime. Res64: 990C699ABFCFC932 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:08:30] 687*2^1001638-1 is not prime. Res64: F27801CFD7CBA041 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:08:31] 861*2^1001638-1 is not prime. Res64: 196C0BC6A04B4158 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:08:45] 665*2^1001640-1 is not prime. Res64: F469F0344492D7E2 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:10:27] 735*2^1001640-1 is not prime. Res64: 7993A0911488C7EA Time : 0.0 sec. user=mdettweiler [2012-01-17 09:12:31] 933*2^1001638-1 is not prime. Res64: F1C855DF769F092B Time : 0.0 sec. user=mdettweiler [2012-01-17 09:12:39] 981*2^1001638-1 is not prime. Res64: 0FDE27F4E9D0C8EC Time : 0.0 sec. user=mdettweiler [2012-01-17 09:13:09] 721*2^1001639-1 is not prime. Res64: 0028DAC2E93386AC Time : 0.0 sec. user=mdettweiler [2012-01-17 09:13:11] 811*2^1001639-1 is not prime. Res64: 47B2003AD47654E5 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:16:21] 849*2^1001640-1 is not prime. Res64: 1DA320FDECBE2DD6 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:18:01] 929*2^1001640-1 is not prime. Res64: F0AE9F99D57E2118 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:19:31] 825*2^1001639-1 is not prime. Res64: C3EEE28B17C359FF Time : 0.0 sec. user=mdettweiler [2012-01-17 09:19:31] 949*2^1001639-1 is not prime. Res64: E81A4E7100DCD4B2 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:23:53] 635*2^1001642-1 is not prime. Res64: E06BE79987231BB6 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:25:32] 791*2^1001642-1 is not prime. Res64: 76034F7BAF2B49D4 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:28:15] 753*2^1001640-1 is not prime. Res64: 6BC2A67C1DBB8416 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:28:16] 797*2^1001640-1 is not prime. Res64: 1919E25B7D42CD5A Time : 0.0 sec. user=mdettweiler [2012-01-17 09:31:24] 837*2^1001642-1 is not prime. Res64: DD5600EA82492B70 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:32:56] 705*2^1001641-1 is not prime. Res64: 5A76F57A8CE17B53 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:32:57] 603*2^1001642-1 is not prime. Res64: 562E4000C505150B Time : 0.0 sec. user=mdettweiler [2012-01-17 09:34:42] 983*2^1001640-1 is not prime. Res64: B9E62737E4D32B19 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:34:43] 625*2^1001641-1 is not prime. Res64: CB36D4EBDD563C4A Time : 0.0 sec. user=mdettweiler [2012-01-17 09:34:49] 935*2^1001642-1 is not prime. Res64: 2A86A958F850C940 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:38:55] 735*2^1001643-1 is not prime. Res64: 68DFE501C929E89D Time : 0.0 sec. user=mdettweiler [2012-01-17 09:39:16] 801*2^1001642-1 is not prime. Res64: B55AE256B4863F65 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:39:17] 825*2^1001642-1 is not prime. Res64: 4A0EED5BE0E24978 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:41:41] 747*2^1001637-1 is not prime. Res64: 44C92727C46F1BAC Time : 0.0 sec. user=mdettweiler [2012-01-17 09:41:41] 847*2^1001637-1 is not prime. Res64: E69BA93D4ADF8180 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:42:19] 827*2^1001644-1 is not prime. Res64: 0C7E3831873D8E9C Time : 0.0 sec. user=mdettweiler [2012-01-17 09:48:10] 983*2^1001644-1 is not prime. Res64: 6C839E6D878A0EB0 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:49:49] 677*2^1001646-1 is not prime. Res64: B52D0462D59C2411 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:50:12] 945*2^1001642-1 is not prime. Res64: ADDA7F510C977BCB Time : 0.0 sec. user=mdettweiler [2012-01-17 09:50:13] 643*2^1001643-1 is not prime. Res64: C072D475307DE934 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:52:37] 849*2^1001643-1 is not prime. Res64: 85218A7A6E4E162A Time : 0.0 sec. user=mdettweiler [2012-01-17 09:52:37] 605*2^1001644-1 is not prime. Res64: FAD194884730076F Time : 0.0 sec. user=mdettweiler [2012-01-17 09:54:23] 629*2^1001644-1 is not prime. Res64: 6DBBB00FC04C437E Time : 0.0 sec. user=mdettweiler [2012-01-17 09:54:23] 803*2^1001644-1 is not prime. Res64: F6DBDC51BA0B1B2A Time : 0.0 sec. user=mdettweiler [2012-01-17 09:55:42] 705*2^1001646-1 is not prime. Res64: 6E8553A7FA890F94 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:57:21] 795*2^1001646-1 is not prime. Res64: 279BFEDD4C4B0E62 Time : 0.0 sec. user=mdettweiler [2012-01-17 09:58:59] 795*2^1001645-1 is not prime. Res64: D89B363A21C1C1DB Time : 0.0 sec. user=mdettweiler [2012-01-17 09:59:00] 915*2^1001645-1 is not prime. Res64: 1F7BA97592C8836C Time : 0.0 sec. user=mdettweiler [2012-01-17 09:59:23] 635*2^1001560-1 is not prime. Res64: 4C605D744607153E Time : 0.0 sec. user=mdettweiler [2012-01-17 10:03:16] 645*2^1001647-1 is not prime. Res64: F72B352FE2959337 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:04:57] 861*2^1001647-1 is not prime. Res64: 28E91F9DBC03C652 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:09:51] 821*2^1001646-1 is not prime. Res64: C4DB28FBFF8B15F3 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:09:52] 825*2^1001646-1 is not prime. Res64: F7CCB574073138DD Time : 0.0 sec. user=mdettweiler [2012-01-17 10:10:52] 797*2^1001648-1 is not prime. Res64: CA1D6AC538F2A519 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:12:22] 843*2^1001646-1 is not prime. Res64: 4EFA55800629F6F1 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:12:23] 903*2^1001646-1 is not prime. Res64: 4787D7260377B9BE Time : 0.0 sec. user=mdettweiler [2012-01-17 10:12:33] 813*2^1001648-1 is not prime. Res64: 807BF7F5C2F4E1E6 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:16:26] 971*2^1001646-1 is not prime. Res64: 03EB17A1BE560937 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:16:26] 615*2^1001647-1 is not prime. Res64: BC802DCBE69A58AA Time : 0.0 sec. user=mdettweiler [2012-01-17 10:18:24] 839*2^1001648-1 is not prime. Res64: 147A8B4D9668B7D8 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:18:41] 889*2^1001647-1 is not prime. Res64: 0E44CAB924C5A8AC Time : 0.0 sec. user=mdettweiler [2012-01-17 10:18:42] 633*2^1001648-1 is not prime. Res64: 45715F8EDC2728FF Time : 0.0 sec. user=mdettweiler [2012-01-17 10:21:50] 999*2^1001648-1 is not prime. Res64: BAD293547964E7A0 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:25:55] 807*2^1001649-1 is not prime. Res64: F34039B78D25E86C Time : 0.0 sec. user=mdettweiler [2012-01-17 10:29:38] 819*2^1001648-1 is not prime. Res64: 8B807E0028D1AC98 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:29:38] 825*2^1001648-1 is not prime. Res64: 06D34502A2B99DAA Time : 0.0 sec. user=mdettweiler [2012-01-17 10:31:07] 975*2^1001649-1 is not prime. Res64: 8A2870234AA16B4B Time : 0.0 sec. user=mdettweiler [2012-01-17 10:32:09] 845*2^1001648-1 is not prime. Res64: DCEE5935C7DF14FF Time : 0.0 sec. user=mdettweiler [2012-01-17 10:32:09] 915*2^1001648-1 is not prime. Res64: FABD71D36D219400 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:33:28] 603*2^1001650-1 is not prime. Res64: 72CCA738704B6214 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:36:13] 675*2^1001649-1 is not prime. Res64: 0913068865E5FA0E Time : 0.0 sec. user=mdettweiler [2012-01-17 10:36:14] 711*2^1001649-1 is not prime. Res64: 479CD4C890E63243 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:38:21] 657*2^1001573-1 is not prime. Res64: 99A0411A6314B056 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:38:22] 671*2^1001574-1 is not prime. Res64: CBF9EF5F199C068F Time : 0.0 sec. user=mdettweiler [2012-01-17 10:38:39] 723*2^1001650-1 is not prime. Res64: 1C25588D823852FE Time : 0.0 sec. user=mdettweiler [2012-01-17 10:41:03] 825*2^1001650-1 is not prime. Res64: 8B21C4B4C537CCB6 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:42:55] 949*2^1001649-1 is not prime. Res64: CA4D6C63ECE99C46 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:42:55] 969*2^1001649-1 is not prime. Res64: 39946EA70BC9F995 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:46:12] 923*2^1001650-1 is not prime. Res64: 21B5E4F944EA5AC9 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:48:35] 703*2^1001651-1 is not prime. Res64: CC18B62EC88827FA Time : 0.0 sec. user=mdettweiler [2012-01-17 10:49:22] 665*2^1001650-1 is not prime. Res64: E4276965ACE26BCA Time : 0.0 sec. user=mdettweiler [2012-01-17 10:49:22] 695*2^1001650-1 is not prime. Res64: 9A67BDDE73CE438E Time : 0.0 sec. user=mdettweiler [2012-01-17 10:51:54] 755*2^1001650-1 is not prime. Res64: A103AF9CDA7C2A9A Time : 0.0 sec. user=mdettweiler [2012-01-17 10:51:55] 765*2^1001650-1 is not prime. Res64: B1FCFE4AAF46217D Time : 0.0 sec. user=mdettweiler [2012-01-17 10:53:45] 633*2^1001652-1 is not prime. Res64: 5C915E3DCEF15D37 Time : 0.0 sec. user=mdettweiler [2012-01-17 10:55:53] 827*2^1001650-1 is not prime. Res64: F6EC15D7EFA6422E Time : 0.0 sec. user=mdettweiler [2012-01-17 10:55:53] 911*2^1001650-1 is not prime. Res64: B9B65D7D5AC20FDC Time : 0.0 sec. user=mdettweiler [2012-01-17 10:56:08] 689*2^1001652-1 is not prime. Res64: 4680DFCC49232EDF Time : 0.0 sec. user=mdettweiler [2012-01-17 11:02:58] 937*2^1001645-1 is not prime. Res64: 3A556AB89F60B260 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:02:58] 641*2^1001646-1 is not prime. Res64: 09338E53E0983B1D Time : 0.0 sec. user=mdettweiler [2012-01-17 11:03:02] 945*2^1001652-1 is not prime. Res64: A22A78BE59E539B3 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:03:40] 915*2^1001653-1 is not prime. Res64: 22C8ADEF8EA42562 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:04:53] 895*2^1001651-1 is not prime. Res64: BF7C2EFE66BD3A68 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:04:55] 955*2^1001651-1 is not prime. Res64: 46978B9A50BA5068 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:09:04] 779*2^1001652-1 is not prime. Res64: DC3E7A523685AD62 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:09:04] 825*2^1001652-1 is not prime. Res64: 6BCEF5793B6514C5 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:10:34] 885*2^1001654-1 is not prime. Res64: ED16DCC287E89D8B Time : 0.0 sec. user=mdettweiler [2012-01-17 11:11:12] 921*2^1001654-1 is not prime. Res64: 3295675C0C0A8AFD Time : 0.0 sec. user=mdettweiler [2012-01-17 11:11:37] 903*2^1001652-1 is not prime. Res64: 5A7B44A94E2E2257 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:11:39] 933*2^1001652-1 is not prime. Res64: 2F8A207F68DE4D29 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:15:34] 685*2^1001653-1 is not prime. Res64: 3E6420BD244B4949 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:15:34] 819*2^1001653-1 is not prime. Res64: 4D38A8E90C3F3A64 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:18:05] 691*2^1001655-1 is not prime. Res64: FC556ACC92B6F7C5 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:18:46] 751*2^1001655-1 is not prime. Res64: 0CC349A2E33BB7FD Time : 0.0 sec. user=mdettweiler [2012-01-17 11:25:36] 865*2^1001655-1 is not prime. Res64: 1F0DDC5B26250873 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:28:02] 955*2^1001655-1 is not prime. Res64: CE5AB82C887D5EE7 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:28:50] 625*2^1001655-1 is not prime. Res64: DF641C37CB7ECC2F Time : 0.0 sec. user=mdettweiler [2012-01-17 11:28:50] 685*2^1001655-1 is not prime. Res64: B43FA35E283D91CB Time : 0.0 sec. user=mdettweiler [2012-01-17 11:29:15] 953*2^1001654-1 is not prime. Res64: 68D0284F77F7041D Time : 0.0 sec. user=mdettweiler [2012-01-17 11:29:15] 965*2^1001654-1 is not prime. Res64: F0A02680A66A55FF Time : 0.0 sec. user=mdettweiler [2012-01-17 11:31:30] 789*2^1001655-1 is not prime. Res64: 0D14C2E536DEFA14 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:31:30] 793*2^1001655-1 is not prime. Res64: BF55A7012939788E Time : 0.0 sec. user=mdettweiler [2012-01-17 11:34:50] 961*2^1001655-1 is not prime. Res64: 7630FF3491B16BD1 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:35:17] 831*2^1001655-1 is not prime. Res64: EC75D5174D27BF91 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:35:17] 853*2^1001655-1 is not prime. Res64: 4CBF30AC4BEC8388 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:37:16] 999*2^1001655-1 is not prime. Res64: AB13ACE18E69228D Time : 0.0 sec. user=mdettweiler [2012-01-17 11:42:21] 735*2^1001657-1 is not prime. Res64: 612DD84C8E7B116A Time : 0.0 sec. user=mdettweiler [2012-01-17 11:44:47] 611*2^1001658-1 is not prime. Res64: 761D13AA98F54818 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:48:32] 623*2^1001656-1 is not prime. Res64: 30CCF47CCEFBDD85 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:48:33] 653*2^1001656-1 is not prime. Res64: EFEBA7E2E9BD3A65 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:48:58] 657*2^1001656-1 is not prime. Res64: 1832101EAFFF0DE1 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:48:59] 723*2^1001656-1 is not prime. Res64: C8C8CD1BBCAF77DA Time : 0.0 sec. user=mdettweiler [2012-01-17 11:49:53] 651*2^1001658-1 is not prime. Res64: 88268D96B7B3A51A Time : 0.0 sec. user=mdettweiler [2012-01-17 11:51:10] 857*2^1001656-1 is not prime. Res64: 58F4F3EE8D99B92D Time : 0.0 sec. user=mdettweiler [2012-01-17 11:51:10] 869*2^1001656-1 is not prime. Res64: 4489A93CCCB98603 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:52:18] 777*2^1001658-1 is not prime. Res64: 939C7469B76C4E91 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:54:59] 841*2^1001657-1 is not prime. Res64: C150176F8E0E807E Time : 0.0 sec. user=mdettweiler [2012-01-17 11:55:00] 605*2^1001658-1 is not prime. Res64: 776AFDC092BF3053 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:57:27] 675*2^1001659-1 is not prime. Res64: 661CD20D4C8CE1B5 Time : 0.0 sec. user=mdettweiler [2012-01-17 11:59:52] 771*2^1001659-1 is not prime. Res64: F9FE9C9988E3E0CD Time : 0.0 sec. user=mdettweiler [2012-01-17 12:00:20] 851*2^1001654-1 is not prime. Res64: A6BBB9A6AA4374FE Time : 0.0 sec. user=mdettweiler [2012-01-17 12:00:21] 857*2^1001654-1 is not prime. Res64: E0E92F2D7F503E3E Time : 0.0 sec. user=mdettweiler [2012-01-17 12:06:44] 973*2^1001659-1 is not prime. Res64: 5389210676631FF0 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:07:23] 647*2^1001660-1 is not prime. Res64: A01ACE15917B6453 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:08:43] 603*2^1001659-1 is not prime. Res64: 230B225CB9E60F19 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:08:44] 619*2^1001659-1 is not prime. Res64: CC0F838BCD3A17EA Time : 0.0 sec. user=mdettweiler [2012-01-17 12:10:27] 905*2^1001658-1 is not prime. Res64: 554D84EA46362342 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:10:29] 941*2^1001658-1 is not prime. Res64: 649E868D9EA9F86C Time : 0.0 sec. user=mdettweiler [2012-01-17 12:10:55] 691*2^1001659-1 is not prime. Res64: E9E438CF7A21B248 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:10:56] 765*2^1001659-1 is not prime. Res64: E251FD48CDB434EB Time : 0.0 sec. user=mdettweiler [2012-01-17 12:14:17] 845*2^1001660-1 is not prime. Res64: 1AE0918E0234BA12 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:14:56] 855*2^1001660-1 is not prime. Res64: CCD378EDB9625201 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:16:59] 793*2^1001659-1 is not prime. Res64: AA15D0C9B931A20B Time : 0.0 sec. user=mdettweiler [2012-01-17 12:17:00] 961*2^1001659-1 is not prime. Res64: D152AB8D0BB750DF Time : 0.0 sec. user=mdettweiler [2012-01-17 12:21:48] 717*2^1001662-1 is not prime. Res64: B9C024F2BED4895C Time : 0.0 sec. user=mdettweiler [2012-01-17 12:22:27] 815*2^1001662-1 is not prime. Res64: B81544111976B630 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:29:21] 609*2^1001663-1 is not prime. Res64: 4F1E6A8C785496DA Time : 0.0 sec. user=mdettweiler [2012-01-17 12:30:00] 649*2^1001663-1 is not prime. Res64: ED0DC7BA827B1A13 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:30:16] 847*2^1001661-1 is not prime. Res64: 9152F1F06E5646E4 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:30:16] 861*2^1001661-1 is not prime. Res64: 9B0AB03F0ED21EA9 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:30:42] 963*2^1001660-1 is not prime. Res64: 0827F970B20C86C1 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:30:43] 657*2^1001661-1 is not prime. Res64: C6F36403C468924E Time : 0.0 sec. user=mdettweiler [2012-01-17 12:33:02] 949*2^1001661-1 is not prime. Res64: C0D006EEA5D75278 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:33:02] 681*2^1001662-1 is not prime. Res64: 7928E90F4A3B8E17 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:36:55] 627*2^1001664-1 is not prime. Res64: 4273D39063F85EA7 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:37:34] 693*2^1001664-1 is not prime. Res64: 78ADAA1A57EC5A78 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:39:08] 867*2^1001662-1 is not prime. Res64: 0ACBD5A3952D11C8 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:39:08] 947*2^1001662-1 is not prime. Res64: 61341BE58E642CC0 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:44:27] 861*2^1001665-1 is not prime. Res64: 4D76324B53D2F905 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:45:08] 895*2^1001665-1 is not prime. Res64: 24929E3C428B9496 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:51:59] 813*2^1001666-1 is not prime. Res64: F39FF0D2ABA02A98 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:20] 767*2^1001664-1 is not prime. Res64: 4B322B59198FE50F Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:20] 947*2^1001664-1 is not prime. Res64: A62307981CEB2DF5 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:39] 831*2^1001666-1 is not prime. Res64: F07A19F2ECF39FD5 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:42] 957*2^1001664-1 is not prime. Res64: DC409E85D38BDE9C Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:43] 625*2^1001665-1 is not prime. Res64: 9A487C062120F089 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:45] 729*2^1001665-1 is not prime. Res64: EFA499F2E66EDE72 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:52:46] 765*2^1001665-1 is not prime. Res64: E2C5FEAA46202852 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:57:37] 687*2^1001660-1 is not prime. Res64: CE6D2F478B23E331 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:57:38] 767*2^1001660-1 is not prime. Res64: A91C9390A9DC6E48 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:58:52] 897*2^1001665-1 is not prime. Res64: BED3D524C57F31F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 12:58:52] 755*2^1001666-1 is not prime. Res64: 207E578E0A6304E8 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:00:11] 835*2^1001667-1 is not prime. Res64: 8A464C21EF9729DE Time : 0.0 sec. user=mdettweiler [2012-01-17 13:01:16] 981*2^1001666-1 is not prime. Res64: 1DD8313F6BC63908 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:07:44] 691*2^1001669-1 is not prime. Res64: 1E198963BE6488EC Time : 0.0 sec. user=mdettweiler [2012-01-17 13:08:48] 745*2^1001669-1 is not prime. Res64: 80DA3B2A0F91370B Time : 0.0 sec. user=mdettweiler [2012-01-17 13:12:03] 685*2^1001667-1 is not prime. Res64: 3B6A28AE55C1F538 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:12:04] 819*2^1001667-1 is not prime. Res64: D4C3C738995D01E0 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:14:41] 895*2^1001667-1 is not prime. Res64: FD2549EC2A9759F7 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:14:41] 951*2^1001667-1 is not prime. Res64: C3B846BC95CFAD95 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:14:45] 985*2^1001667-1 is not prime. Res64: E30A275DACBEE43B Time : 0.0 sec. user=mdettweiler [2012-01-17 13:14:45] 603*2^1001668-1 is not prime. Res64: A6C0B5E281657BF2 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:17:00] 955*2^1001669-1 is not prime. Res64: AF23CFD0A3416887 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:18:03] 985*2^1001669-1 is not prime. Res64: 7FF3D9519EBACAC5 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:18:35] 735*2^1001668-1 is not prime. Res64: CEA39FE76973900A Time : 0.0 sec. user=mdettweiler [2012-01-17 13:18:35] 929*2^1001668-1 is not prime. Res64: 89DD50827E9411BF Time : 0.0 sec. user=mdettweiler [2012-01-17 13:18:38] 715*2^1001573-1 is not prime. Res64: E286ACF7F596AB33 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:20:37] 693*2^1001574-1 is not prime. Res64: D805785AACBC2143 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:24:31] 805*2^1001671-1 is not prime. Res64: 0B9E25415860C606 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:27:20] 939*2^1001671-1 is not prime. Res64: 42B59B9A6AF77197 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:31:50] 723*2^1001670-1 is not prime. Res64: 4D250DB784B9FB9D Time : 0.0 sec. user=mdettweiler [2012-01-17 13:31:51] 867*2^1001670-1 is not prime. Res64: D22CA9634F6C1106 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:32:02] 837*2^1001672-1 is not prime. Res64: 1B51BFD38B5D396B Time : 0.0 sec. user=mdettweiler [2012-01-17 13:34:23] 875*2^1001670-1 is not prime. Res64: A9C9322944F15F18 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:34:23] 921*2^1001670-1 is not prime. Res64: 9C3254AB0378EB5B Time : 0.0 sec. user=mdettweiler [2012-01-17 13:34:52] 893*2^1001672-1 is not prime. Res64: 0B569BD15EF1CCA2 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:36:49] 941*2^1001670-1 is not prime. Res64: 0E5DE767073C1A8D Time : 0.0 sec. user=mdettweiler [2012-01-17 13:36:49] 673*2^1001671-1 is not prime. Res64: EC68EE45F9368A12 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:41:19] 963*2^1001672-1 is not prime. Res64: 7DAA69CD253591FE Time : 0.0 sec. user=mdettweiler [2012-01-17 13:42:23] 649*2^1001673-1 is not prime. Res64: 4DDDE15B687A2E9E Time : 0.0 sec. user=mdettweiler [2012-01-17 13:42:51] 943*2^1001671-1 is not prime. Res64: CE823DCF3192406E Time : 0.0 sec. user=mdettweiler [2012-01-17 13:42:51] 993*2^1001671-1 is not prime. Res64: 77722189AE321760 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:48:53] 837*2^1001673-1 is not prime. Res64: 049AE1470D06E96A Time : 0.0 sec. user=mdettweiler [2012-01-17 13:49:57] 861*2^1001673-1 is not prime. Res64: 960D4E26DE0AA6AD Time : 0.0 sec. user=mdettweiler [2012-01-17 13:51:36] 897*2^1001672-1 is not prime. Res64: 17209668E9F72E11 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:51:37] 903*2^1001672-1 is not prime. Res64: 70F387311CFE3083 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:54:06] 637*2^1001673-1 is not prime. Res64: A80751A35213EA2C Time : 0.0 sec. user=mdettweiler [2012-01-17 13:54:07] 639*2^1001673-1 is not prime. Res64: 0B8C35FB49A523BD Time : 0.0 sec. user=mdettweiler [2012-01-17 13:56:18] 699*2^1001648-1 is not prime. Res64: D4F71E33E5AE2B60 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:56:18] 713*2^1001648-1 is not prime. Res64: 01CFF1108C1F82FE Time : 0.0 sec. user=mdettweiler [2012-01-17 13:56:27] 645*2^1001674-1 is not prime. Res64: 4E1F77FACE62A4CF Time : 0.0 sec. user=mdettweiler [2012-01-17 13:56:33] 669*2^1001673-1 is not prime. Res64: AF91009CFA5AD46A Time : 0.0 sec. user=mdettweiler [2012-01-17 13:56:33] 681*2^1001673-1 is not prime. Res64: 19BA8BAC335BC706 Time : 0.0 sec. user=mdettweiler [2012-01-17 13:57:31] 675*2^1001674-1 is not prime. Res64: C79F6CBAB376F906 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:04:00] 909*2^1001675-1 is not prime. Res64: 4667ECA487A5B7D6 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:04:49] 901*2^1001673-1 is not prime. Res64: 50F83593DF9B122B Time : 0.0 sec. user=mdettweiler [2012-01-17 14:04:50] 969*2^1001673-1 is not prime. Res64: 05AA1D23709529F8 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:05:03] 683*2^1001676-1 is not prime. Res64: 243269E1E03D2268 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:11:21] 677*2^1001674-1 is not prime. Res64: 4B368088F98E4184 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:11:22] 681*2^1001674-1 is not prime. Res64: C86BCFF453E68C28 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:11:33] 933*2^1001676-1 is not prime. Res64: 6977E6326BF87408 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:12:36] 867*2^1001677-1 is not prime. Res64: 235A4C499DE0DD56 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:13:53] 791*2^1001674-1 is not prime. Res64: 81B00E2A3C8FABCD Time : 0.0 sec. user=mdettweiler [2012-01-17 14:13:54] 655*2^1001675-1 is not prime. Res64: D7C64817423CD604 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:18:35] 915*2^1001675-1 is not prime. Res64: 2B6E924A8A75CC7D Time : 0.0 sec. user=mdettweiler [2012-01-17 14:18:36] 969*2^1001675-1 is not prime. Res64: 64484936379704AD Time : 0.0 sec. user=mdettweiler [2012-01-17 14:19:03] 663*2^1001678-1 is not prime. Res64: A3F5074A961125F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:20:08] 797*2^1001678-1 is not prime. Res64: EE28235FFB758D57 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:21:55] 617*2^1001668-1 is not prime. Res64: 4F1CE551A89F8AB2 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:21:55] 647*2^1001668-1 is not prime. Res64: 9114DB22DB78C109 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:26:53] 999*2^1001676-1 is not prime. Res64: 4ECB53756A5BBAED Time : 0.0 sec. user=mdettweiler [2012-01-17 14:26:53] 729*2^1001677-1 is not prime. Res64: D949745D5CE1B6A9 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:28:18] 953*2^1001678-1 is not prime. Res64: BEB411C35338DDE8 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:29:23] 957*2^1001678-1 is not prime. Res64: B1FC7D7C0892FDB2 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:33:22] 927*2^1001677-1 is not prime. Res64: 773E3BC065C6490B Time : 0.0 sec. user=mdettweiler [2012-01-17 14:33:23] 955*2^1001677-1 is not prime. Res64: E554378D013B53B5 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:33:40] 813*2^1001678-1 is not prime. Res64: D4A659B18CB54EBF Time : 0.0 sec. user=mdettweiler [2012-01-17 14:33:41] 827*2^1001678-1 is not prime. Res64: 1D5D1615562997C8 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:35:50] 895*2^1001679-1 is not prime. Res64: 938E1C5116F8B074 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:36:54] 933*2^1001679-1 is not prime. Res64: F43F0B4A4E7499F2 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:38:20] 845*2^1001678-1 is not prime. Res64: 5FEF452A7D88A27B Time : 0.0 sec. user=mdettweiler [2012-01-17 14:38:21] 927*2^1001678-1 is not prime. Res64: CEC753BB61212208 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:43:21] 923*2^1001680-1 is not prime. Res64: 121530DA30B3AD44 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:46:12] 957*2^1001680-1 is not prime. Res64: E51D891A648BF054 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:46:38] 649*2^1001679-1 is not prime. Res64: 82CE89CF59F99C29 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:46:38] 685*2^1001679-1 is not prime. Res64: 2F58FC10C4DEC9D7 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:49:36] 617*2^1001672-1 is not prime. Res64: E151E4E9B7A6BCF2 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:49:37] 629*2^1001672-1 is not prime. Res64: 937C5E628A8396E9 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:50:55] 743*2^1001672-1 is not prime. Res64: 2BD825D8A1595124 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:50:55] 819*2^1001672-1 is not prime. Res64: 60101BF03730450D Time : 0.0 sec. user=mdettweiler [2012-01-17 14:53:06] 605*2^1001680-1 is not prime. Res64: 11A1F3C36A34B826 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:53:06] 825*2^1001680-1 is not prime. Res64: 70938F525F5BAC3C Time : 0.0 sec. user=mdettweiler [2012-01-17 14:53:25] 833*2^1001680-1 is not prime. Res64: 138EC63D9BBCE7B3 Time : 0.0 sec. user=mdettweiler [2012-01-17 14:53:26] 863*2^1001680-1 is not prime. Res64: B0B799A0C9C29AFC Time : 0.0 sec. user=mdettweiler [2012-01-17 15:00:15] 989*2^1001680-1 is not prime. Res64: C9CBB38C4ED9E5D8 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:00:16] 795*2^1001681-1 is not prime. Res64: E55326D625B8993F Time : 0.0 sec. user=mdettweiler [2012-01-17 15:08:37] 937*2^1001681-1 is not prime. Res64: 92694A6FB35EE199 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:08:38] 627*2^1001682-1 is not prime. Res64: EA357C13F3D89C13 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:13:31] 635*2^1001684-1 is not prime. Res64: 5BF6C31E896F288C Time : 0.0 sec. user=mdettweiler [2012-01-17 15:13:32] 677*2^1001684-1 is not prime. Res64: 58D1F03B353789B4 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:15:26] 835*2^1001683-1 is not prime. Res64: 401B693805EA9DD9 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:15:26] 945*2^1001683-1 is not prime. Res64: 458CB0BBFEDC4EAE Time : 0.0 sec. user=mdettweiler [2012-01-17 15:20:38] 843*2^1001684-1 is not prime. Res64: 597830A03E636C34 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:20:38] 609*2^1001685-1 is not prime. Res64: 8023344A9F6B7218 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:22:29] 907*2^1001681-1 is not prime. Res64: 5FAA90770DEF4D3F Time : 0.0 sec. user=mdettweiler [2012-01-17 15:25:22] 931*2^1001681-1 is not prime. Res64: 0CCEDA98D4B399D6 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:29:49] 709*2^1001685-1 is not prime. Res64: 0AB833527CBCA556 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:29:49] 861*2^1001685-1 is not prime. Res64: 1F305F52FB3D5882 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:31:47] 987*2^1001686-1 is not prime. Res64: A8AF7DD93F6823F8 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:32:54] 655*2^1001687-1 is not prime. Res64: 6EF9205E776289AB Time : 0.0 sec. user=mdettweiler [2012-01-17 15:33:35] 673*2^1001675-1 is not prime. Res64: 56EDA48365AF81B9 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:33:35] 685*2^1001675-1 is not prime. Res64: C32A1F982236E341 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:36:13] 705*2^1001686-1 is not prime. Res64: B2588F9AB43772C8 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:36:13] 897*2^1001686-1 is not prime. Res64: 70C57EACCEB9EBF6 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:36:35] 885*2^1001685-1 is not prime. Res64: 26E522315E708672 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:36:36] 975*2^1001685-1 is not prime. Res64: 82AD2FA93EA1C1C2 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:39:19] 883*2^1001687-1 is not prime. Res64: EE44B1DA31B79F76 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:40:27] 683*2^1001688-1 is not prime. Res64: 39549B4F320BAB53 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:43:35] 911*2^1001686-1 is not prime. Res64: 6521FEBF549770F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:43:36] 941*2^1001686-1 is not prime. Res64: 4E4F73FBEFA33AA8 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:46:50] 919*2^1001689-1 is not prime. Res64: 09FF3E061BD30975 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:49:43] 985*2^1001689-1 is not prime. Res64: 9E52A27C35068515 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:50:46] 799*2^1001687-1 is not prime. Res64: CD9FA09FFA476BE4 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:50:46] 859*2^1001687-1 is not prime. Res64: FBF11F87B4C79111 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:54:19] 827*2^1001690-1 is not prime. Res64: BC3693BC763B9333 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:56:26] 691*2^1001689-1 is not prime. Res64: 1753F39536B08696 Time : 0.0 sec. user=mdettweiler [2012-01-17 15:56:26] 721*2^1001689-1 is not prime. Res64: 528CB9FE4FBA2DDA Time : 0.0 sec. user=mdettweiler [2012-01-17 15:57:11] 769*2^1001689-1 is not prime. Res64: EC4DABC9B57396EF Time : 0.0 sec. user=mdettweiler [2012-01-17 15:57:11] 895*2^1001689-1 is not prime. Res64: 6CE6085CD2F0F50D Time : 0.0 sec. user=mdettweiler [2012-01-17 15:57:15] 831*2^1001690-1 is not prime. Res64: E79BF8F767505BFE Time : 0.0 sec. user=mdettweiler [2012-01-17 16:03:39] 945*2^1001691-1 is not prime. Res64: 4FDC5ACCE4F6F66A Time : 0.0 sec. user=mdettweiler [2012-01-17 16:03:47] 651*2^1001690-1 is not prime. Res64: 3B43D2B638B327D3 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:03:48] 783*2^1001690-1 is not prime. Res64: 4C35FE12AFAE7A44 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:04:47] 719*2^1001692-1 is not prime. Res64: 4B309FC4211BEA95 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:10:48] 751*2^1001691-1 is not prime. Res64: F35324F9ACF8F6A9 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:10:49] 921*2^1001691-1 is not prime. Res64: 6E09FBF0E5639E8C Time : 0.0 sec. user=mdettweiler [2012-01-17 16:11:09] 785*2^1001692-1 is not prime. Res64: A55EA62C889E714E Time : 0.0 sec. user=mdettweiler [2012-01-17 16:14:04] 995*2^1001692-1 is not prime. Res64: 2BDDA9F0E2F584C5 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:17:17] 609*2^1001692-1 is not prime. Res64: FCD75F9B6CB25E33 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:17:18] 657*2^1001692-1 is not prime. Res64: AABD4055E6282597 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:18:42] 769*2^1001693-1 is not prime. Res64: A34E3D3719DAEAAB Time : 0.0 sec. user=mdettweiler [2012-01-17 16:18:50] 961*2^1001691-1 is not prime. Res64: 305DA158FBCA1220 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:18:50] 605*2^1001692-1 is not prime. Res64: DC874BC035CF28D5 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:21:37] 775*2^1001693-1 is not prime. Res64: A1FBD7ADAEED5EDE Time : 0.0 sec. user=mdettweiler [2012-01-17 16:22:46] 963*2^1001678-1 is not prime. Res64: EB28365748EF9E14 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:22:46] 977*2^1001678-1 is not prime. Res64: 1D04D436E091AF81 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:23:56] 819*2^1001692-1 is not prime. Res64: F6DDEB25CDBE4747 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:23:56] 873*2^1001692-1 is not prime. Res64: 7718A9BD3160DC58 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:28:02] 957*2^1001693-1 is not prime. Res64: 6F5624E978E6ADC1 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:29:08] 619*2^1001695-1 is not prime. Res64: C26F35876DB6E7CE Time : 0.0 sec. user=mdettweiler [2012-01-17 16:30:04] 681*2^1001682-1 is not prime. Res64: 4E4C4DC42924C2EF Time : 0.0 sec. user=mdettweiler [2012-01-17 16:30:04] 725*2^1001682-1 is not prime. Res64: 68999D1986BDC5DA Time : 0.0 sec. user=mdettweiler [2012-01-17 16:31:06] 615*2^1001693-1 is not prime. Res64: E8C1C2B357DF7E3C Time : 0.0 sec. user=mdettweiler [2012-01-17 16:31:07] 649*2^1001693-1 is not prime. Res64: 2EAD6992CB589D43 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:32:54] 801*2^1001682-1 is not prime. Res64: 6D26CB85575FAAEF Time : 0.0 sec. user=mdettweiler [2012-01-17 16:32:54] 917*2^1001682-1 is not prime. Res64: F843E08F38B83725 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:35:35] 819*2^1001695-1 is not prime. Res64: 156BB6232C432971 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:36:42] 831*2^1001695-1 is not prime. Res64: CB72F44531F5203E Time : 0.0 sec. user=mdettweiler [2012-01-17 16:38:35] 753*2^1001688-1 is not prime. Res64: 97506F3DBEC83A63 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:42:06] 819*2^1001693-1 is not prime. Res64: 37A1A686EB5CB9AA Time : 0.0 sec. user=mdettweiler [2012-01-17 16:42:06] 949*2^1001693-1 is not prime. Res64: 975E862C7A013748 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:43:09] 649*2^1001697-1 is not prime. Res64: C8C01FF22D77DF5C Time : 0.0 sec. user=mdettweiler [2012-01-17 16:44:16] 667*2^1001697-1 is not prime. Res64: C92CB72791084B1F Time : 0.0 sec. user=mdettweiler [2012-01-17 16:44:43] 991*2^1001693-1 is not prime. Res64: C222492078CBD42A Time : 0.0 sec. user=mdettweiler [2012-01-17 16:44:44] 747*2^1001694-1 is not prime. Res64: E28CA546C500D1CD Time : 0.0 sec. user=mdettweiler [2012-01-17 16:48:53] 783*2^1001695-1 is not prime. Res64: 67365874F4397784 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:48:53] 805*2^1001695-1 is not prime. Res64: 2B33C9176DC490D1 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:50:41] 885*2^1001697-1 is not prime. Res64: 9FFC5E9134AEA450 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:53:37] 999*2^1001697-1 is not prime. Res64: 895562E0D099821B Time : 0.0 sec. user=mdettweiler [2012-01-17 16:56:53] 677*2^1001696-1 is not prime. Res64: 17E28C142A8D21FD Time : 0.0 sec. user=mdettweiler [2012-01-17 16:56:54] 789*2^1001696-1 is not prime. Res64: CD72DEFCC9231987 Time : 0.0 sec. user=mdettweiler [2012-01-17 16:58:11] 891*2^1001698-1 is not prime. Res64: AD27CDA177AB7A77 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:01:10] 615*2^1001699-1 is not prime. Res64: 99A5A166BDF4E493 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:05:44] 889*2^1001699-1 is not prime. Res64: B75A462C74154869 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:07:25] 741*2^1001697-1 is not prime. Res64: 62B6C2DFC126580C Time : 0.0 sec. user=mdettweiler [2012-01-17 17:07:27] 865*2^1001697-1 is not prime. Res64: BDD58FD74FF40776 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:08:42] 707*2^1001700-1 is not prime. Res64: 36585FD15B98EBB6 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:11:04] 645*2^1001698-1 is not prime. Res64: 68B4A7C266CB69A5 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:11:06] 713*2^1001698-1 is not prime. Res64: BE2F5C72F8ACFEBB Time : 0.0 sec. user=mdettweiler [2012-01-17 17:13:15] 717*2^1001700-1 is not prime. Res64: 9EFDD63291A063E4 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:13:35] 813*2^1001698-1 is not prime. Res64: 55B83D3CECEA46A9 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:13:36] 831*2^1001698-1 is not prime. Res64: 68C49D852FBCFDC1 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:18:01] 935*2^1001700-1 is not prime. Res64: 72BB7BD0369FB084 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:20:01] 643*2^1001699-1 is not prime. Res64: ADB58935F4B1A573 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:20:02] 823*2^1001699-1 is not prime. Res64: 800CB4556B4BEBB9 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:20:48] 727*2^1001701-1 is not prime. Res64: A0F19A8B16363F70 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:25:32] 805*2^1001701-1 is not prime. Res64: 77CC202A68D9DB75 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:28:18] 615*2^1001702-1 is not prime. Res64: 2E23AF74BE74CE01 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:28:24] 767*2^1001700-1 is not prime. Res64: D545733264AB4708 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:28:24] 795*2^1001700-1 is not prime. Res64: C1A4C67FCDA0E608 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:33:04] 683*2^1001702-1 is not prime. Res64: F08DB3EF83305A96 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:34:05] 775*2^1001701-1 is not prime. Res64: 0467E778CE431B2E Time : 0.0 sec. user=mdettweiler [2012-01-17 17:34:05] 801*2^1001701-1 is not prime. Res64: D654A84FF266096B Time : 0.0 sec. user=mdettweiler [2012-01-17 17:34:17] 959*2^1001688-1 is not prime. Res64: 7917C27BDA960D70 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:35:51] 761*2^1001702-1 is not prime. Res64: 0CE8EFDF10B7B65D Time : 0.0 sec. user=mdettweiler [2012-01-17 17:35:56] 983*2^1001700-1 is not prime. Res64: C991932F2D590A16 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:35:56] 999*2^1001700-1 is not prime. Res64: 91B2CCF4B8445D5D Time : 0.0 sec. user=mdettweiler [2012-01-17 17:40:35] 873*2^1001702-1 is not prime. Res64: 45EA8882F5412D92 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:42:40] 895*2^1001701-1 is not prime. Res64: 9DB06178BB6F47B8 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:42:43] 945*2^1001701-1 is not prime. Res64: 82DE93C08C3E5EB7 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:43:22] 775*2^1001703-1 is not prime. Res64: 0042D4ACD48942A7 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:48:07] 819*2^1001703-1 is not prime. Res64: 79B0E819C267A414 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:49:11] 815*2^1001702-1 is not prime. Res64: BB990A3B882ABC2B Time : 0.0 sec. user=mdettweiler [2012-01-17 17:49:11] 867*2^1001702-1 is not prime. Res64: 0403414D93D13304 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:50:53] 921*2^1001703-1 is not prime. Res64: 0A7DF12E1889F310 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:56:54] 923*2^1001702-1 is not prime. Res64: 8CA4A1D2583A41CF Time : 0.0 sec. user=mdettweiler [2012-01-17 17:56:54] 981*2^1001702-1 is not prime. Res64: 4597AF80BFB6F90E Time : 0.0 sec. user=mdettweiler [2012-01-17 17:56:58] 783*2^1001703-1 is not prime. Res64: E525D63A83149AE5 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:56:58] 789*2^1001703-1 is not prime. Res64: AE5AFE24E1158F51 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:57:25] 951*2^1001703-1 is not prime. Res64: D4EB8CF0BCD50C30 Time : 0.0 sec. user=mdettweiler [2012-01-17 17:58:22] 819*2^1001704-1 is not prime. Res64: 8E2AE119D759DA2B Time : 0.0 sec. user=mdettweiler [2012-01-17 18:03:08] 879*2^1001703-1 is not prime. Res64: 98E756B4E5C6265F Time : 0.0 sec. user=mdettweiler [2012-01-17 18:03:09] 891*2^1001703-1 is not prime. Res64: 5BDCB839145639BA Time : 0.0 sec. user=mdettweiler [2012-01-17 18:04:58] 729*2^1001705-1 is not prime. Res64: 5C148D774B1599D1 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:05:48] 625*2^1001695-1 is not prime. Res64: 4ED6B1EAEACB0FC8 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:05:49] 645*2^1001695-1 is not prime. Res64: 4AB540822FF10103 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:05:53] 861*2^1001705-1 is not prime. Res64: 8E6BDEDC4D7898C2 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:09:59] 609*2^1001704-1 is not prime. Res64: 33CE33E45FB3DD2E Time : 0.0 sec. user=mdettweiler [2012-01-17 18:10:00] 617*2^1001704-1 is not prime. Res64: 087755720903255A Time : 0.0 sec. user=mdettweiler [2012-01-17 18:12:29] 807*2^1001706-1 is not prime. Res64: 7B0C5CDDFDD8D8B2 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:13:27] 769*2^1001707-1 is not prime. Res64: 6100659B08E962F7 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:17:18] 711*2^1001705-1 is not prime. Res64: 1984EA98E20047FB Time : 0.0 sec. user=mdettweiler [2012-01-17 18:17:18] 721*2^1001705-1 is not prime. Res64: 7BEE8F6886117138 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:17:25] 657*2^1001705-1 is not prime. Res64: 5DBEB33EEBE5417D Time : 0.0 sec. user=mdettweiler [2012-01-17 18:17:26] 691*2^1001705-1 is not prime. Res64: 5F2267FD5C4ABC23 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:20:01] 915*2^1001707-1 is not prime. Res64: 18CC1E54C408BDD3 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:20:58] 919*2^1001707-1 is not prime. Res64: 8B41B53C802F64BD Time : 0.0 sec. user=mdettweiler [2012-01-17 18:23:04] 855*2^1001696-1 is not prime. Res64: 541FDC7BE489A1A0 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:23:04] 957*2^1001696-1 is not prime. Res64: D0866CC312F4B107 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:27:32] 627*2^1001709-1 is not prime. Res64: 75CB198AFB14767D Time : 0.0 sec. user=mdettweiler [2012-01-17 18:28:05] 939*2^1001705-1 is not prime. Res64: 52A58370BD236C73 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:28:05] 949*2^1001705-1 is not prime. Res64: D446F31944A2CFA4 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:28:31] 661*2^1001709-1 is not prime. Res64: 251E910D398EF449 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:30:35] 841*2^1001707-1 is not prime. Res64: 10B8AAD599E109C2 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:30:35] 861*2^1001707-1 is not prime. Res64: 7EEE4540AFB846D2 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:31:27] 951*2^1001695-1 is not prime. Res64: 7560C38CEF390704 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:31:27] 961*2^1001695-1 is not prime. Res64: AA915044809EF6A0 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:35:01] 657*2^1001710-1 is not prime. Res64: 104DC5857944695F Time : 0.0 sec. user=mdettweiler [2012-01-17 18:36:03] 685*2^1001711-1 is not prime. Res64: A907635FE3184513 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:38:20] 867*2^1001708-1 is not prime. Res64: 4E04DE52986AE064 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:38:20] 885*2^1001708-1 is not prime. Res64: CBC6D19EA2A3CCC3 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:42:28] 969*2^1001708-1 is not prime. Res64: 7EC80BC071F1C4C0 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:42:29] 987*2^1001708-1 is not prime. Res64: 4D7104ECF290C10F Time : 0.0 sec. user=mdettweiler [2012-01-17 18:42:30] 759*2^1001712-1 is not prime. Res64: 5266B13825EB011D Time : 0.0 sec. user=mdettweiler [2012-01-17 18:43:32] 887*2^1001712-1 is not prime. Res64: 9637D14A406F219C Time : 0.0 sec. user=mdettweiler [2012-01-17 18:48:37] 723*2^1001710-1 is not prime. Res64: 0DEAC2EA8415AC06 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:48:37] 773*2^1001710-1 is not prime. Res64: 0B823910CA5639F2 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:50:01] 771*2^1001713-1 is not prime. Res64: B3D05A30B350F1EB Time : 0.0 sec. user=mdettweiler [2012-01-17 18:51:03] 919*2^1001713-1 is not prime. Res64: 280EAEC6A487C85D Time : 0.0 sec. user=mdettweiler [2012-01-17 18:51:05] 789*2^1001711-1 is not prime. Res64: 8FD9732D0A395C62 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:51:05] 657*2^1001712-1 is not prime. Res64: C5D5275D1AE4E654 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:57:29] 825*2^1001714-1 is not prime. Res64: E0E7AF65A55741BF Time : 0.0 sec. user=mdettweiler [2012-01-17 18:59:19] 899*2^1001712-1 is not prime. Res64: 1E6A1AB141503269 Time : 0.0 sec. user=mdettweiler [2012-01-17 18:59:19] 699*2^1001713-1 is not prime. Res64: 7CB6EFCCF0B81E6A Time : 0.0 sec. user=mdettweiler [2012-01-17 19:00:21] 935*2^1001714-1 is not prime. Res64: 8CB36D4C0C1BE54C Time : 0.0 sec. user=mdettweiler [2012-01-17 19:03:23] 705*2^1001713-1 is not prime. Res64: 0C3A1BEF297ED8CC Time : 0.0 sec. user=mdettweiler [2012-01-17 19:03:24] 765*2^1001713-1 is not prime. Res64: 05016887A63DADD3 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:03:29] 679*2^1001703-1 is not prime. Res64: 2375ED1AF05903DD Time : 0.0 sec. user=mdettweiler [2012-01-17 19:03:29] 739*2^1001703-1 is not prime. Res64: 9BF8CCAF577B2B80 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:04:56] 675*2^1001715-1 is not prime. Res64: E383928C22A4288A Time : 0.0 sec. user=mdettweiler [2012-01-17 19:07:50] 793*2^1001715-1 is not prime. Res64: 58F4366E040992F9 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:08:59] 615*2^1001714-1 is not prime. Res64: CA6738FA347033B3 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:09:00] 743*2^1001714-1 is not prime. Res64: 3184C4414A5DF8D5 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:14:13] 969*2^1001715-1 is not prime. Res64: 79B93FC528430AC1 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:15:22] 639*2^1001716-1 is not prime. Res64: 788697A1E3E0217F Time : 0.0 sec. user=mdettweiler [2012-01-17 19:16:05] 941*2^1001714-1 is not prime. Res64: 669AFB107E7E151C Time : 0.0 sec. user=mdettweiler [2012-01-17 19:16:05] 971*2^1001714-1 is not prime. Res64: 254EDFFF9BBB339F Time : 0.0 sec. user=mdettweiler [2012-01-17 19:19:29] 735*2^1001715-1 is not prime. Res64: 34BD5BE3999F1B95 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:19:30] 781*2^1001715-1 is not prime. Res64: 6797DA6464917278 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:21:41] 735*2^1001716-1 is not prime. Res64: 95433D37A856AF8B Time : 0.0 sec. user=mdettweiler [2012-01-17 19:22:50] 869*2^1001716-1 is not prime. Res64: D703659F7A01274D Time : 0.0 sec. user=mdettweiler [2012-01-17 19:23:13] 805*2^1001715-1 is not prime. Res64: 56F279E17241CA99 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:23:14] 849*2^1001715-1 is not prime. Res64: 1181002DD89D5690 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:28:50] 657*2^1001716-1 is not prime. Res64: 3BB52C6F8D9F11C9 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:28:50] 695*2^1001716-1 is not prime. Res64: 0EB1CFECE3C48476 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:29:10] 621*2^1001718-1 is not prime. Res64: 8F03CC98A847573D Time : 0.0 sec. user=mdettweiler [2012-01-17 19:30:18] 765*2^1001718-1 is not prime. Res64: B5C247A214B08B3B Time : 0.0 sec. user=mdettweiler [2012-01-17 19:37:44] 603*2^1001720-1 is not prime. Res64: 0A0A7F0AD1C722E9 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:38:06] 989*2^1001716-1 is not prime. Res64: 49F9B65FD5E7C765 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:38:06] 717*2^1001717-1 is not prime. Res64: D15DE931B6036AF6 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:38:25] 993*2^1001719-1 is not prime. Res64: 875DCD7EDCC215A1 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:39:12] 759*2^1001717-1 is not prime. Res64: 96B4D3EF9986E7A7 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:39:12] 831*2^1001717-1 is not prime. Res64: 230C36D76BB4FC67 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:42:56] 773*2^1001718-1 is not prime. Res64: 5B5FA43B20C0FBC1 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:42:56] 619*2^1001719-1 is not prime. Res64: C371585D6F78E081 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:43:32] 983*2^1001706-1 is not prime. Res64: C733EE65646766E0 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:43:32] 685*2^1001707-1 is not prime. Res64: 737544DE4CAF6B4E Time : 0.0 sec. user=mdettweiler [2012-01-17 19:45:13] 843*2^1001720-1 is not prime. Res64: A4EEC4F2CF6E8EBE Time : 0.0 sec. user=mdettweiler [2012-01-17 19:45:55] 669*2^1001721-1 is not prime. Res64: 7F5589A0E9010B01 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:48:37] 829*2^1001719-1 is not prime. Res64: 2ECFD44180B9F174 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:48:37] 909*2^1001719-1 is not prime. Res64: 32D72EE8EFBF360F Time : 0.0 sec. user=mdettweiler [2012-01-17 19:52:42] 777*2^1001722-1 is not prime. Res64: F904FA2F3565FB6C Time : 0.0 sec. user=mdettweiler [2012-01-17 19:53:24] 803*2^1001722-1 is not prime. Res64: DF9D404263617827 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:57:47] 637*2^1001721-1 is not prime. Res64: 2C161FAD0C7785C0 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:57:48] 661*2^1001721-1 is not prime. Res64: 9B9DA4D7790ED059 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:58:15] 723*2^1001712-1 is not prime. Res64: 9FB543EBD708293C Time : 0.0 sec. user=mdettweiler [2012-01-17 19:58:16] 753*2^1001712-1 is not prime. Res64: C7C9D08880770022 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:58:54] 739*2^1001721-1 is not prime. Res64: 86341E79CFB1EF00 Time : 0.0 sec. user=mdettweiler [2012-01-17 19:58:54] 781*2^1001721-1 is not prime. Res64: DC10A2759F9C0CBB Time : 0.0 sec. user=mdettweiler [2012-01-17 20:01:00] 951*2^1001709-1 is not prime. Res64: CACC798A6E6E63D8 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:01:01] 611*2^1001710-1 is not prime. Res64: 12EF82F7F44CF456 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:02:05] 951*2^1001722-1 is not prime. Res64: E668BF51B2BFD779 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:02:39] 865*2^1001721-1 is not prime. Res64: BF64208F506A349F Time : 0.0 sec. user=mdettweiler [2012-01-17 20:02:40] 889*2^1001721-1 is not prime. Res64: 84C870E51EB54506 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:02:47] 987*2^1001722-1 is not prime. Res64: E6DD45AC770A36D0 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:09:40] 629*2^1001724-1 is not prime. Res64: 45B2E8C01070CD23 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:10:23] 767*2^1001724-1 is not prime. Res64: 581A3B2712FE6998 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:10:38] 813*2^1001722-1 is not prime. Res64: 63A3623D52E8501D Time : 0.0 sec. user=mdettweiler [2012-01-17 20:10:40] 941*2^1001722-1 is not prime. Res64: FD28943C73B1F031 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:17:17] 837*2^1001724-1 is not prime. Res64: A18CEF74A714AB27 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:17:33] 663*2^1001723-1 is not prime. Res64: C25D415CE3046E3E Time : 0.0 sec. user=mdettweiler [2012-01-17 20:17:34] 669*2^1001723-1 is not prime. Res64: 3890390CECA1C705 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:17:59] 929*2^1001724-1 is not prime. Res64: D29243CD6D1105F3 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:18:38] 775*2^1001723-1 is not prime. Res64: A5E6AAC0FAB61D01 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:18:39] 805*2^1001723-1 is not prime. Res64: 05AC7E2C03153053 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:22:24] 635*2^1001724-1 is not prime. Res64: 8F60CE8F79B6BEC0 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:22:25] 749*2^1001724-1 is not prime. Res64: FFF6280CDF6206A6 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:24:52] 651*2^1001725-1 is not prime. Res64: 0C6BACBC3A5A4FA4 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:25:34] 915*2^1001725-1 is not prime. Res64: 6A200FD46C7DF4F0 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:30:26] 619*2^1001725-1 is not prime. Res64: D769710344A3807D Time : 0.0 sec. user=mdettweiler [2012-01-17 20:30:27] 645*2^1001725-1 is not prime. Res64: DE8D70043447D409 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:31:27] 895*2^1001715-1 is not prime. Res64: A664BE8382101E4A Time : 0.0 sec. user=mdettweiler [2012-01-17 20:31:27] 903*2^1001715-1 is not prime. Res64: 0C7835CAF5226EB8 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:32:27] 785*2^1001726-1 is not prime. Res64: 8D53184C9ACCD77D Time : 0.0 sec. user=mdettweiler [2012-01-17 20:35:00] 965*2^1001726-1 is not prime. Res64: 5B8B0EACAE695903 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:37:23] 759*2^1001725-1 is not prime. Res64: 075265FD1871631D Time : 0.0 sec. user=mdettweiler [2012-01-17 20:37:23] 877*2^1001725-1 is not prime. Res64: 1D4A9B907138F90C Time : 0.0 sec. user=mdettweiler [2012-01-17 20:40:02] 825*2^1001727-1 is not prime. Res64: 8867D9E2C6F17FB9 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:40:44] 985*2^1001725-1 is not prime. Res64: F0EE73EA5AB5CDB4 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:40:45] 651*2^1001726-1 is not prime. Res64: 255BEC8F9263177F Time : 0.0 sec. user=mdettweiler [2012-01-17 20:42:11] 705*2^1001726-1 is not prime. Res64: F4FDB1F34E1573A6 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:42:12] 755*2^1001726-1 is not prime. Res64: 3FE6B537976D6733 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:42:36] 831*2^1001727-1 is not prime. Res64: 29F3569E469BA9A0 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:47:39] 927*2^1001728-1 is not prime. Res64: F4ACC2FCE62DCA50 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:50:13] 717*2^1001730-1 is not prime. Res64: 187322862BC67680 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:52:30] 983*2^1001726-1 is not prime. Res64: 0EE3A93415FC8D05 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:52:31] 625*2^1001727-1 is not prime. Res64: 3241FD75F0021227 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:55:14] 797*2^1001730-1 is not prime. Res64: 6F023F53538E7BA2 Time : 0.0 sec. user=mdettweiler [2012-01-17 20:57:09] 623*2^1001728-1 is not prime. Res64: 4F55732207A3CCAA Time : 0.0 sec. user=mdettweiler [2012-01-17 20:57:09] 825*2^1001728-1 is not prime. Res64: 9241CF75E013A52F Time : 0.0 sec. user=mdettweiler [2012-01-17 20:57:48] 873*2^1001730-1 is not prime. Res64: C56CB68CA2C150C7 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:00:27] 631*2^1001729-1 is not prime. Res64: 87075F20FF526E4B Time : 0.0 sec. user=mdettweiler [2012-01-17 21:00:28] 867*2^1001729-1 is not prime. Res64: 49397AEA0FCE6730 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:01:59] 897*2^1001729-1 is not prime. Res64: A19BDD8B97DF1549 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:02:00] 677*2^1001730-1 is not prime. Res64: 7ECFA652335D8B27 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:04:39] 977*2^1001730-1 is not prime. Res64: 1E091A4344F017F1 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:05:33] 871*2^1001731-1 is not prime. Res64: AEE4FA1FFAD2C8BD Time : 0.0 sec. user=mdettweiler [2012-01-17 21:09:18] 635*2^1001722-1 is not prime. Res64: CC7CD26F3B66FCE1 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:09:19] 765*2^1001722-1 is not prime. Res64: 42681B0C8B3CD910 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:12:47] 665*2^1001732-1 is not prime. Res64: 7665D2D72CA0A902 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:13:33] 725*2^1001732-1 is not prime. Res64: 7409874B9E82C6F2 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:14:34] 891*2^1001730-1 is not prime. Res64: 19821120E83D4810 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:14:34] 945*2^1001730-1 is not prime. Res64: 0FC60F3D518DF382 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:16:57] 675*2^1001731-1 is not prime. Res64: 174373A1CD75D4CA Time : 0.0 sec. user=mdettweiler [2012-01-17 21:16:58] 751*2^1001731-1 is not prime. Res64: 375BF14627A1B6CA Time : 0.0 sec. user=mdettweiler [2012-01-17 21:20:24] 879*2^1001732-1 is not prime. Res64: EE2B3DAB97114772 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:21:12] 765*2^1001733-1 is not prime. Res64: 6163ADA08B5192D2 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:22:37] 901*2^1001731-1 is not prime. Res64: 366E856AE5FAEF5E Time : 0.0 sec. user=mdettweiler [2012-01-17 21:22:37] 951*2^1001731-1 is not prime. Res64: A8F296DEC96CAB71 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:24:02] 975*2^1001731-1 is not prime. Res64: 3FE036E6868918B0 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:24:03] 609*2^1001732-1 is not prime. Res64: 1BA3A101356593AF Time : 0.0 sec. user=mdettweiler [2012-01-17 21:26:04] 705*2^1001723-1 is not prime. Res64: F9EF6759C96EBC89 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:26:04] 745*2^1001723-1 is not prime. Res64: 5CFB0AA1C6CFFFAA Time : 0.0 sec. user=mdettweiler [2012-01-17 21:28:00] 915*2^1001733-1 is not prime. Res64: 34906ACCBC4DA82F Time : 0.0 sec. user=mdettweiler [2012-01-17 21:30:39] 961*2^1001733-1 is not prime. Res64: CF1AE539EBEAAD45 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:34:17] 829*2^1001733-1 is not prime. Res64: CECB7FE40001CC05 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:34:18] 861*2^1001733-1 is not prime. Res64: E65E101F28F0753A Time : 0.0 sec. user=mdettweiler [2012-01-17 21:35:37] 881*2^1001734-1 is not prime. Res64: 412687837B5AB0BF Time : 0.0 sec. user=mdettweiler [2012-01-17 21:36:42] 885*2^1001733-1 is not prime. Res64: A26248492E293C21 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:36:42] 895*2^1001733-1 is not prime. Res64: 866646B2AC4E2D79 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:38:15] 917*2^1001734-1 is not prime. Res64: 75B4EDD53581F3D3 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:39:08] 895*2^1001723-1 is not prime. Res64: 191F93624617501B Time : 0.0 sec. user=mdettweiler [2012-01-17 21:39:08] 999*2^1001723-1 is not prime. Res64: 4D58463936FB1429 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:43:14] 741*2^1001735-1 is not prime. Res64: C016C02FA817EC69 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:43:50] 651*2^1001734-1 is not prime. Res64: 0E8715C7CB4CAAB3 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:43:50] 705*2^1001734-1 is not prime. Res64: 502A8953303BE6B6 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:45:50] 707*2^1001736-1 is not prime. Res64: 7897CEF21F867C49 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:46:56] 969*2^1001733-1 is not prime. Res64: 07C7A2D00B70DED1 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:46:56] 999*2^1001733-1 is not prime. Res64: 9E94FB145DA5907F Time : 0.0 sec. user=mdettweiler [2012-01-17 21:50:50] 903*2^1001736-1 is not prime. Res64: 61C005F4CBFEB89F Time : 0.0 sec. user=mdettweiler [2012-01-17 21:53:26] 601*2^1001737-1 is not prime. Res64: 025128A0DA2FE16A Time : 0.0 sec. user=mdettweiler [2012-01-17 21:54:03] 661*2^1001735-1 is not prime. Res64: F15B273A14B458EA Time : 0.0 sec. user=mdettweiler [2012-01-17 21:54:03] 675*2^1001735-1 is not prime. Res64: 329F88E85EEE13EC Time : 0.0 sec. user=mdettweiler [2012-01-17 21:58:26] 835*2^1001737-1 is not prime. Res64: 108D4D56FB340E03 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:58:49] 999*2^1001735-1 is not prime. Res64: 7FD8369B8A457CB8 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:58:49] 633*2^1001736-1 is not prime. Res64: 8D9AF88F547C232D Time : 0.0 sec. user=mdettweiler [2012-01-17 21:59:23] 639*2^1001727-1 is not prime. Res64: 33B3BA9E960FC8C7 Time : 0.0 sec. user=mdettweiler [2012-01-17 21:59:23] 685*2^1001727-1 is not prime. Res64: 3B286FA4DC548979 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:01:05] 861*2^1001737-1 is not prime. Res64: 698F18E16EA200D0 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:05:48] 905*2^1001736-1 is not prime. Res64: 2C3226F5BA283087 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:05:51] 933*2^1001736-1 is not prime. Res64: 5A72E1EB0D903953 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:06:01] 605*2^1001738-1 is not prime. Res64: CA4176E7B78BE54D Time : 0.0 sec. user=mdettweiler [2012-01-17 22:06:50] 625*2^1001737-1 is not prime. Res64: 5DF590D438C70D33 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:06:51] 639*2^1001737-1 is not prime. Res64: FEE89C3C61F60DDD Time : 0.0 sec. user=mdettweiler [2012-01-17 22:08:47] 873*2^1001739-1 is not prime. Res64: 9B0E163C6434C945 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:13:39] 687*2^1001740-1 is not prime. Res64: 5B211AA544E62485 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:16:02] 957*2^1001737-1 is not prime. Res64: E251546193BD01F4 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:16:02] 603*2^1001738-1 is not prime. Res64: E435CF7360720731 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:16:19] 929*2^1001740-1 is not prime. Res64: C65994B0C45C923C Time : 0.0 sec. user=mdettweiler [2012-01-17 22:18:40] 707*2^1001738-1 is not prime. Res64: 9548D34A4F48F719 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:18:40] 753*2^1001738-1 is not prime. Res64: 5F77D85EBBF82C51 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:23:46] 715*2^1001741-1 is not prime. Res64: DCA3F5AE45419D7A Time : 0.0 sec. user=mdettweiler [2012-01-17 22:25:31] 665*2^1001740-1 is not prime. Res64: C6064A5E7754FFD6 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:25:31] 677*2^1001740-1 is not prime. Res64: 15743565B2DD2474 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:26:29] 783*2^1001740-1 is not prime. Res64: 696608FF38A38990 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:26:30] 845*2^1001740-1 is not prime. Res64: EA841A0EBB75949E Time : 0.0 sec. user=mdettweiler [2012-01-17 22:31:13] 651*2^1001742-1 is not prime. Res64: 16446800F1952C2E Time : 0.0 sec. user=mdettweiler [2012-01-17 22:35:41] 685*2^1001741-1 is not prime. Res64: F9DA72CF1E2D3D89 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:35:42] 711*2^1001741-1 is not prime. Res64: AA5ACB0FE81C13B3 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:37:12] 743*2^1001732-1 is not prime. Res64: 64E77EA85A909D60 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:37:12] 777*2^1001732-1 is not prime. Res64: DCE4BE6D707B13F1 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:38:22] 727*2^1001741-1 is not prime. Res64: 68A0CF4A4887A5B6 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:38:22] 889*2^1001741-1 is not prime. Res64: 5CB1A1B3D71B161C Time : 0.0 sec. user=mdettweiler [2012-01-17 22:38:40] 673*2^1001743-1 is not prime. Res64: FC423E681CB64DA8 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:45:10] 843*2^1001742-1 is not prime. Res64: A980D3FCA87E4DA0 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:45:10] 887*2^1001742-1 is not prime. Res64: 4BE82DBD539D8E08 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:46:07] 609*2^1001744-1 is not prime. Res64: D26AAF7BB59BC737 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:46:13] 893*2^1001742-1 is not prime. Res64: B6CDC782FECAB1DD Time : 0.0 sec. user=mdettweiler [2012-01-17 22:46:14] 615*2^1001743-1 is not prime. Res64: CCE7422F6A8A0CC6 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:53:34] 689*2^1001744-1 is not prime. Res64: DD41A77CBA5403B1 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:54:19] 723*2^1001734-1 is not prime. Res64: A6E2696FD4D4BDBF Time : 0.0 sec. user=mdettweiler [2012-01-17 22:54:19] 857*2^1001734-1 is not prime. Res64: AE7E4B7BB3794860 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:55:23] 685*2^1001743-1 is not prime. Res64: AA86C8457E968F46 Time : 0.0 sec. user=mdettweiler [2012-01-17 22:55:24] 703*2^1001743-1 is not prime. Res64: 50D751C71DBBE8EA Time : 0.0 sec. user=mdettweiler [2012-01-17 22:58:04] 829*2^1001743-1 is not prime. Res64: 1FEB23E7FA37D17D Time : 0.0 sec. user=mdettweiler [2012-01-17 22:58:04] 849*2^1001743-1 is not prime. Res64: D9E2F5936B25BBFD Time : 0.0 sec. user=mdettweiler [2012-01-17 23:01:10] 909*2^1001744-1 is not prime. Res64: 9351DA333903819D Time : 0.0 sec. user=mdettweiler [2012-01-17 23:03:45] 765*2^1001745-1 is not prime. Res64: 2E96B9F5395CD515 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:04:53] 617*2^1001744-1 is not prime. Res64: 17B12426B7AFBA10 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:04:55] 675*2^1001744-1 is not prime. Res64: C4DBA80E04F6C99C Time : 0.0 sec. user=mdettweiler [2012-01-17 23:06:02] 825*2^1001744-1 is not prime. Res64: A788ECD2960169A7 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:06:03] 843*2^1001744-1 is not prime. Res64: 63383B8932BB9807 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:08:51] 657*2^1001746-1 is not prime. Res64: 2499DDAE9B7636DD Time : 0.0 sec. user=mdettweiler [2012-01-17 23:09:13] 845*2^1001736-1 is not prime. Res64: B4B06CAC44FAC602 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:09:14] 879*2^1001736-1 is not prime. Res64: 0ED7F671B585D02B Time : 0.0 sec. user=mdettweiler [2012-01-17 23:11:23] 713*2^1001746-1 is not prime. Res64: 97E2F4F425D67537 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:15:07] 717*2^1001745-1 is not prime. Res64: 9C397521CD73F4D9 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:15:08] 751*2^1001745-1 is not prime. Res64: 94FB8C9074C3C188 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:17:44] 847*2^1001745-1 is not prime. Res64: 1706A0D7A7D1D98F Time : 0.0 sec. user=mdettweiler [2012-01-17 23:17:45] 915*2^1001745-1 is not prime. Res64: D9F5E18E2BF0AE17 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:18:18] 933*2^1001746-1 is not prime. Res64: CADF5CE718674444 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:19:01] 703*2^1001747-1 is not prime. Res64: 6688AF0E820EA484 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:24:36] 737*2^1001746-1 is not prime. Res64: 0745F71C1420A1E4 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:24:37] 801*2^1001746-1 is not prime. Res64: BDDE739B0A85E415 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:25:46] 803*2^1001746-1 is not prime. Res64: 5DD1847EDAFCB8F1 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:25:46] 825*2^1001746-1 is not prime. Res64: 7EC4C8C337957B05 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:25:56] 777*2^1001748-1 is not prime. Res64: 8A6BDA943C8E9E78 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:26:38] 893*2^1001748-1 is not prime. Res64: CAF065A9DB84E2CA Time : 0.0 sec. user=mdettweiler [2012-01-17 23:27:23] 609*2^1001739-1 is not prime. Res64: 6095DD75AA05AAA5 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:27:23] 859*2^1001739-1 is not prime. Res64: 344E62D39C42539A Time : 0.0 sec. user=mdettweiler [2012-01-17 23:34:24] 789*2^1001749-1 is not prime. Res64: A892BD6DA047B2EB Time : 0.0 sec. user=mdettweiler [2012-01-17 23:35:05] 847*2^1001749-1 is not prime. Res64: F163B99736D51D5D Time : 0.0 sec. user=mdettweiler [2012-01-17 23:35:09] 915*2^1001747-1 is not prime. Res64: 0C78024BF8D10BBE Time : 0.0 sec. user=mdettweiler [2012-01-17 23:35:10] 665*2^1001748-1 is not prime. Res64: A513FDC5414A89BC Time : 0.0 sec. user=mdettweiler [2012-01-17 23:37:37] 669*2^1001748-1 is not prime. Res64: 42B282940DA65ADC Time : 0.0 sec. user=mdettweiler [2012-01-17 23:37:37] 683*2^1001748-1 is not prime. Res64: 03CF4049AEA97980 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:42:02] 791*2^1001750-1 is not prime. Res64: F937AB32E09FACDC Time : 0.0 sec. user=mdettweiler [2012-01-17 23:42:43] 797*2^1001750-1 is not prime. Res64: D915469D764917C7 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:44:22] 927*2^1001748-1 is not prime. Res64: 60FB730D5BCAD93B Time : 0.0 sec. user=mdettweiler [2012-01-17 23:44:22] 619*2^1001749-1 is not prime. Res64: 284AC0A607588D33 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:45:35] 729*2^1001749-1 is not prime. Res64: 082029A297382257 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:45:36] 741*2^1001749-1 is not prime. Res64: 3F9455FA6DDD59DA Time : 0.0 sec. user=mdettweiler [2012-01-17 23:49:39] 893*2^1001750-1 is not prime. Res64: 5D493620AE393C7A Time : 0.0 sec. user=mdettweiler [2012-01-17 23:50:20] 915*2^1001750-1 is not prime. Res64: B462FAA4E825C805 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:54:57] 813*2^1001750-1 is not prime. Res64: 1164256EEF4672DB Time : 0.0 sec. user=mdettweiler [2012-01-17 23:54:57] 843*2^1001750-1 is not prime. Res64: 09CB5CAB3FAD4E72 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:57:16] 679*2^1001751-1 is not prime. Res64: 17E5962547B4256D Time : 0.0 sec. user=mdettweiler [2012-01-17 23:57:24] 867*2^1001750-1 is not prime. Res64: 7EF055D15777D378 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:57:25] 887*2^1001750-1 is not prime. Res64: 058305F7B350DB55 Time : 0.0 sec. user=mdettweiler [2012-01-17 23:57:58] 691*2^1001751-1 is not prime. Res64: 0C533D7577D69399 Time : 0.0 sec.