user=vaughan [2011-04-30 00:16:13] 825*2^937202-1 is not prime. Res64: 45318DF570D06C63 Time : 1227.0 sec. user=vaughan [2011-04-30 00:16:22] 827*2^937202-1 is not prime. Res64: 58E36C0C99C30219 Time : 1224.0 sec. user=vaughan [2011-04-30 00:16:31] 831*2^937202-1 is not prime. Res64: AF6F901A9963118E Time : 1226.0 sec. user=vaughan [2011-04-30 00:16:34] 911*2^937202-1 is not prime. Res64: B9B68A3579E33881 Time : 1228.0 sec. user=vaughan [2011-04-30 00:36:36] 921*2^937203-1 is not prime. Res64: 291919AACE3BC758 Time : 1223.0 sec. user=vaughan [2011-04-30 00:36:44] 813*2^937204-1 is not prime. Res64: 563BCE2B4633C0D0 Time : 1222.0 sec. user=vaughan [2011-04-30 00:36:55] 915*2^937204-1 is not prime. Res64: A363E6C10D12716D Time : 1225.0 sec. user=vaughan [2011-04-30 00:36:58] 939*2^937204-1 is not prime. Res64: 0664138788EAEA8F Time : 1225.0 sec. user=vaughan [2011-04-30 00:57:01] 981*2^937205-1 is not prime. Res64: 4A858A05507691F2 Time : 1226.0 sec. user=vaughan [2011-04-30 00:57:10] 991*2^937205-1 is not prime. Res64: 3F578D651DD9EDE5 Time : 1226.0 sec. user=vaughan [2011-04-30 00:57:21] 825*2^937206-1 is not prime. Res64: 66F36482A87EA3D2 Time : 1227.0 sec. user=vaughan [2011-04-30 00:57:25] 941*2^937206-1 is not prime. Res64: 8D69FE9C804F769C Time : 1227.0 sec. user=vaughan [2011-04-30 01:17:27] 983*2^937206-1 is not prime. Res64: 81E102FD280CCB8E Time : 1227.0 sec. user=vaughan [2011-04-30 01:17:36] 993*2^937206-1 is not prime. Res64: F8D54F3B3672118B Time : 1226.0 sec. user=vaughan [2011-04-30 01:17:48] 829*2^937207-1 is not prime. Res64: FCFC74E4E70D04B4 Time : 1227.0 sec. user=vaughan [2011-04-30 01:17:54] 901*2^937207-1 is not prime. Res64: E57559793E337CAD Time : 1229.0 sec. user=vaughan [2011-04-30 01:37:52] 919*2^937207-1 is not prime. Res64: D2DCFC328AB1793A Time : 1225.0 sec. user=vaughan [2011-04-30 01:38:03] 939*2^937207-1 is not prime. Res64: 2AD85F2CCD777CC2 Time : 1227.0 sec. user=vaughan [2011-04-30 01:38:15] 975*2^937207-1 is not prime. Res64: CB7303C8C699E24A Time : 1227.0 sec. user=vaughan [2011-04-30 01:38:22] 827*2^937208-1 is not prime. Res64: 722047C90C306166 Time : 1228.0 sec. user=vaughan [2011-04-30 01:58:18] 845*2^937208-1 is not prime. Res64: 043346F0B63D752F Time : 1226.0 sec. user=vaughan [2011-04-30 01:58:31] 935*2^937208-1 is not prime. Res64: 4BDEDE6642140DDD Time : 1228.0 sec. user=vaughan [2011-04-30 01:58:41] 995*2^937208-1 is not prime. Res64: 8BF1226A7C4BA781 Time : 1227.0 sec. user=vaughan [2011-04-30 01:58:48] 999*2^937208-1 is not prime. Res64: E17B526F37837063 Time : 1226.0 sec. user=vaughan [2011-04-30 02:18:46] 861*2^937209-1 is not prime. Res64: 5EE9D7BF5E28FEAC Time : 1228.0 sec. user=vaughan [2011-04-30 02:18:59] 921*2^937209-1 is not prime. Res64: 6FD53A3A415067F8 Time : 1228.0 sec. user=vaughan [2011-04-30 02:19:08] 999*2^937209-1 is not prime. Res64: 47CD33DE1F567013 Time : 1228.0 sec. user=vaughan [2011-04-30 02:19:16] 845*2^937210-1 is not prime. Res64: A4517C45230DDAAF Time : 1228.0 sec. user=vaughan [2011-04-30 02:39:13] 891*2^937210-1 is not prime. Res64: A5DA08866CB139FD Time : 1228.0 sec. user=vaughan [2011-04-30 02:39:26] 911*2^937210-1 is not prime. Res64: 5A97FE67BE5E2537 Time : 1227.0 sec. user=vaughan [2011-04-30 02:39:37] 1001*2^937210-1 is not prime. Res64: 3ECE56763DA278A4 Time : 1230.0 sec. user=vaughan [2011-04-30 02:39:42] 825*2^937211-1 is not prime. Res64: C5A36C1693AF6583 Time : 1226.0 sec. user=vaughan [2011-04-30 02:45:45] 885*2^937149-1 is not prime. Res64: 1181D177E15315C0 Time : 146998.0 sec. user=vaughan [2011-04-30 02:45:50] 951*2^937149-1 is not prime. Res64: 385F4E0234EFC323 Time : 146621.0 sec. user=vaughan [2011-04-30 02:45:55] 945*2^937149-1 is not prime. Res64: 3A4A82ACDBA30F34 Time : 146690.0 sec. user=vaughan [2011-04-30 02:45:59] 877*2^937149-1 is not prime. Res64: B4052F6BF24661F6 Time : 147089.0 sec. user=vaughan [2011-04-30 02:59:37] 993*2^937211-1 is not prime. Res64: 4DE79C874FF0E8DA Time : 1224.0 sec. user=vaughan [2011-04-30 02:59:53] 873*2^937212-1 is not prime. Res64: 6E63698AC62AB8B5 Time : 1227.0 sec. user=vaughan [2011-04-30 03:00:05] 959*2^937212-1 is not prime. Res64: A635A08DA0B1443A Time : 1229.0 sec. user=vaughan [2011-04-30 03:00:08] 819*2^937213-1 is not prime. Res64: F771F46102B1BD60 Time : 1226.0 sec. user=vaughan [2011-04-30 03:06:47] 859*2^937213-1 is not prime. Res64: 292ED5BEAA61A256 Time : 1262.0 sec. user=vaughan [2011-04-30 03:06:49] 877*2^937213-1 is not prime. Res64: D4EB7787F0F64E30 Time : 1260.0 sec. user=vaughan [2011-04-30 03:06:56] 895*2^937213-1 is not prime. Res64: FADD2E6C29EC815D Time : 1261.0 sec. user=vaughan [2011-04-30 03:07:00] 915*2^937213-1 is not prime. Res64: 68B9E6649DCFA6AB Time : 1262.0 sec. user=vaughan [2011-04-30 03:20:05] 937*2^937213-1 is not prime. Res64: 66D407267A2794EA Time : 1228.0 sec. user=vaughan [2011-04-30 03:20:20] 981*2^937213-1 is not prime. Res64: 24B79902BBBF908C Time : 1227.0 sec. user=vaughan [2011-04-30 03:20:31] 927*2^937214-1 is not prime. Res64: 72970AB4E70E892A Time : 1227.0 sec. user=vaughan [2011-04-30 03:20:34] 971*2^937214-1 is not prime. Res64: 6122B80339260E44 Time : 1226.0 sec. user=vaughan [2011-04-30 03:38:07] 897*2^937216-1 is not prime. Res64: 4CB22D60E24C468C Time : 1881.0 sec. user=vaughan [2011-04-30 03:38:09] 983*2^937216-1 is not prime. Res64: FC4C02D32E48FD7E Time : 1880.0 sec. user=vaughan [2011-04-30 03:38:17] 847*2^937217-1 is not prime. Res64: 8355A8F4E05163E1 Time : 1882.0 sec. user=vaughan [2011-04-30 03:38:27] 867*2^937217-1 is not prime. Res64: 7EC1554F5B8559BD Time : 1887.0 sec. user=vaughan [2011-04-30 03:40:33] 871*2^937217-1 is not prime. Res64: AB6D61AC62FFFD92 Time : 1228.0 sec. user=vaughan [2011-04-30 03:40:47] 893*2^937218-1 is not prime. Res64: 7BF95584FC7C566A Time : 1227.0 sec. user=vaughan [2011-04-30 03:40:59] 927*2^937218-1 is not prime. Res64: 16DB410FEC17A226 Time : 1229.0 sec. user=vaughan [2011-04-30 03:41:04] 993*2^937218-1 is not prime. Res64: D5621792612D33B2 Time : 1230.0 sec. user=vaughan [2011-04-30 03:59:06] 1001*2^937218-1 is not prime. Res64: F04B3740F82610B2 Time : 1260.0 sec. user=vaughan [2011-04-30 03:59:07] 853*2^937219-1 is not prime. Res64: E9682E4888B8A36D Time : 1259.0 sec. user=vaughan [2011-04-30 03:59:15] 825*2^937220-1 is not prime. Res64: C6EF96E5B630D182 Time : 1258.0 sec. user=vaughan [2011-04-30 03:59:27] 839*2^937220-1 is not prime. Res64: A8BC6FB0228D5762 Time : 1260.0 sec. user=vaughan [2011-04-30 04:00:59] 835*2^937221-1 is not prime. Res64: 9613A3F081C61856 Time : 1226.0 sec. user=vaughan [2011-04-30 04:01:14] 847*2^937221-1 is not prime. Res64: 0C00D821189541C6 Time : 1227.0 sec. user=vaughan [2011-04-30 04:01:24] 997*2^937221-1 is not prime. Res64: 1B5E2692D9BAFFD8 Time : 1225.0 sec. user=vaughan [2011-04-30 04:01:32] 867*2^937222-1 is not prime. Res64: 7912ABA27CD1CC42 Time : 1228.0 sec. user=vaughan [2011-04-30 04:20:05] 923*2^937222-1 is not prime. Res64: 01A478319822AFCD Time : 1260.0 sec. user=vaughan [2011-04-30 04:20:06] 981*2^937222-1 is not prime. Res64: 96870A734EFB6B21 Time : 1259.0 sec. user=vaughan [2011-04-30 04:20:13] 995*2^937222-1 is not prime. Res64: F3C47D0205EDEC46 Time : 1258.0 sec. user=vaughan [2011-04-30 04:20:25] 939*2^937223-1 is not prime. Res64: 149E147366C2CF07 Time : 1259.0 sec. user=vaughan [2011-04-30 04:21:25] 843*2^937224-1 is not prime. Res64: 5C77EFDD78A3B102 Time : 1227.0 sec. user=vaughan [2011-04-30 04:21:43] 905*2^937224-1 is not prime. Res64: 7E779DB371B1F6AF Time : 1229.0 sec. user=vaughan [2011-04-30 04:21:51] 927*2^937224-1 is not prime. Res64: D875C8EFAC92E181 Time : 1227.0 sec. user=vaughan [2011-04-30 04:22:00] 993*2^937224-1 is not prime. Res64: 861164C2E7B1FA00 Time : 1228.0 sec. user=vaughan [2011-04-30 04:41:03] 805*2^937225-1 is not prime. Res64: 88E155CE40B701F2 Time : 1259.0 sec. user=vaughan [2011-04-30 04:41:05] 817*2^937225-1 is not prime. Res64: C6FAD22CF0231840 Time : 1259.0 sec. user=vaughan [2011-04-30 04:41:12] 819*2^937225-1 is not prime. Res64: 976C28E95B51C718 Time : 1259.0 sec. user=vaughan [2011-04-30 04:41:24] 921*2^937226-1 is not prime. Res64: 4A2E9622311065A9 Time : 1259.0 sec. user=vaughan [2011-04-30 04:41:52] 957*2^937226-1 is not prime. Res64: F6C3002B920F83A9 Time : 1227.0 sec. user=vaughan [2011-04-30 04:42:09] 849*2^937227-1 is not prime. Res64: 4410DA80E2E4FAF5 Time : 1226.0 sec. user=vaughan [2011-04-30 04:42:19] 951*2^937227-1 is not prime. Res64: 441841545F811F84 Time : 1228.0 sec. user=vaughan [2011-04-30 04:42:25] 955*2^937227-1 is not prime. Res64: 6C96BD06EF8FF119 Time : 1225.0 sec. user=vaughan [2011-04-30 05:02:03] 845*2^937228-1 is not prime. Res64: FC0D0C2BD1CD18CE Time : 1260.0 sec. user=vaughan [2011-04-30 05:02:04] 887*2^937228-1 is not prime. Res64: 5AFD5DCBCACEBDC3 Time : 1260.0 sec. user=vaughan [2011-04-30 05:02:10] 909*2^937228-1 is not prime. Res64: 55EB9DC4FA3E0CDD Time : 1258.0 sec. user=vaughan [2011-04-30 05:02:18] 949*2^937229-1 is not prime. Res64: 02D55C79DD7CE416 Time : 1226.0 sec. user=vaughan [2011-04-30 05:02:23] 889*2^937229-1 is not prime. Res64: C11B9CE558A79B97 Time : 1259.0 sec. user=vaughan [2011-04-30 05:02:37] 967*2^937229-1 is not prime. Res64: F2BB3C3557ABB271 Time : 1228.0 sec. user=vaughan [2011-04-30 05:02:47] 887*2^937230-1 is not prime. Res64: 47197D51004C5EAE Time : 1228.0 sec. user=vaughan [2011-04-30 05:02:52] 933*2^937230-1 is not prime. Res64: B32CB4E2A3A57745 Time : 1227.0 sec. user=vaughan [2011-04-30 05:22:45] 917*2^937234-1 is not prime. Res64: 9A320AC03311B61A Time : 1228.0 sec. user=vaughan [2011-04-30 05:23:02] 963*2^937230-1 is not prime. Res64: ACC4889D9C146CA4 Time : 1259.0 sec. user=vaughan [2011-04-30 05:23:02] 983*2^937234-1 is not prime. Res64: 9138F226296D3ED6 Time : 1226.0 sec. user=vaughan [2011-04-30 05:23:03] 859*2^937231-1 is not prime. Res64: 01DCE577AA76AA88 Time : 1259.0 sec. user=vaughan [2011-04-30 05:23:09] 909*2^937231-1 is not prime. Res64: 4787982F9FAA6672 Time : 1259.0 sec. user=vaughan [2011-04-30 05:23:14] 829*2^937235-1 is not prime. Res64: 97B9063B655A013B Time : 1227.0 sec. user=vaughan [2011-04-30 05:23:19] 861*2^937235-1 is not prime. Res64: 13FD0B5D6A1CB7D0 Time : 1227.0 sec. user=vaughan [2011-04-30 05:23:21] 975*2^937234-1 is not prime. Res64: EAF0E47EC875DFEE Time : 1259.0 sec. user=vaughan [2011-04-30 05:43:12] 895*2^937235-1 is not prime. Res64: 0FEEEC1A2087E7C8 Time : 1227.0 sec. user=vaughan [2011-04-30 05:43:29] 947*2^937236-1 is not prime. Res64: E2F68CCA2B259597 Time : 1227.0 sec. user=vaughan [2011-04-30 05:43:41] 897*2^937237-1 is not prime. Res64: 3A3A6AF6D65BC8D3 Time : 1227.0 sec. user=vaughan [2011-04-30 05:43:47] 955*2^937237-1 is not prime. Res64: 7FFE798691717171 Time : 1228.0 sec. user=vaughan [2011-04-30 05:44:01] 973*2^937235-1 is not prime. Res64: 7D26736E7D807B6F Time : 1259.0 sec. user=vaughan [2011-04-30 05:44:02] 983*2^937236-1 is not prime. Res64: 8EFF9529AF2A03C9 Time : 1259.0 sec. user=vaughan [2011-04-30 05:44:07] 831*2^937237-1 is not prime. Res64: 25AB84DA271660C6 Time : 1258.0 sec. user=vaughan [2011-04-30 05:44:20] 975*2^937237-1 is not prime. Res64: 461E1649FBABE611 Time : 1259.0 sec. user=vaughan [2011-04-30 06:03:37] 801*2^937238-1 is not prime. Res64: B06311BA4E184EBA Time : 1225.0 sec. user=vaughan [2011-04-30 06:03:55] 813*2^937238-1 is not prime. Res64: 2ED0B90C04F26F11 Time : 1226.0 sec. user=vaughan [2011-04-30 06:04:11] 861*2^937238-1 is not prime. Res64: 0D1A9CD01F334A50 Time : 1230.0 sec. user=vaughan [2011-04-30 06:04:14] 885*2^937238-1 is not prime. Res64: 25114FD07CE8B2D5 Time : 1227.0 sec. user=vaughan [2011-04-30 06:05:00] 957*2^937238-1 is not prime. Res64: 62F934732221A7E0 Time : 1259.0 sec. user=vaughan [2011-04-30 06:05:00] 853*2^937239-1 is not prime. Res64: DD907B8346ADB605 Time : 1259.0 sec. user=vaughan [2011-04-30 06:05:06] 861*2^937239-1 is not prime. Res64: CDD4AD41CB21F213 Time : 1259.0 sec. user=vaughan [2011-04-30 06:05:18] 951*2^937239-1 is not prime. Res64: 9059407CBAB5B567 Time : 1258.0 sec. user=vaughan [2011-04-30 06:24:09] 969*2^937239-1 is not prime. Res64: AEEE16B4CF6F6574 Time : 1232.0 sec. user=vaughan [2011-04-30 06:24:24] 979*2^937239-1 is not prime. Res64: D4F040C2A4865455 Time : 1229.0 sec. user=vaughan [2011-04-30 06:24:39] 827*2^937240-1 is not prime. Res64: 607F78958C99C083 Time : 1229.0 sec. user=vaughan [2011-04-30 06:24:41] 875*2^937240-1 is not prime. Res64: 0A2008365F89CB89 Time : 1228.0 sec. user=vaughan [2011-04-30 06:25:59] 909*2^937240-1 is not prime. Res64: 22C67C7DF52CDF08 Time : 1259.0 sec. user=vaughan [2011-04-30 06:25:59] 983*2^937240-1 is not prime. Res64: A6EDEBE2F826168A Time : 1259.0 sec. user=vaughan [2011-04-30 06:26:05] 865*2^937241-1 is not prime. Res64: D8BDF8D855CD9952 Time : 1259.0 sec. user=vaughan [2011-04-30 06:26:20] 937*2^937241-1 is not prime. Res64: 7D40B0D5BF83984E Time : 1262.0 sec. user=vaughan [2011-04-30 06:44:34] 801*2^937242-1 is not prime. Res64: F8E7E7944F98535C Time : 1225.0 sec. user=vaughan [2011-04-30 06:44:54] 919*2^937243-1 is not prime. Res64: B4A08ED2D94E5BC7 Time : 1230.0 sec. user=vaughan [2011-04-30 06:45:06] 925*2^937243-1 is not prime. Res64: 15362E20CBD84CD8 Time : 1228.0 sec. user=vaughan [2011-04-30 06:45:09] 999*2^937243-1 is not prime. Res64: 45D3125E2AB46F61 Time : 1229.0 sec. user=vaughan [2011-04-30 06:47:09] 983*2^937244-1 is not prime. Res64: 542DDADCB009A8CA Time : 1270.0 sec. user=vaughan [2011-04-30 06:47:09] 969*2^937244-1 is not prime. Res64: E76FAEFFCC347345 Time : 1270.0 sec. user=vaughan [2011-04-30 06:47:11] 811*2^937245-1 is not prime. Res64: 3BB5B67D6739EE67 Time : 1267.0 sec. user=vaughan [2011-04-30 06:47:27] 819*2^937245-1 is not prime. Res64: 753703C3A0320E69 Time : 1267.0 sec. user=vaughan [2011-04-30 07:05:00] 915*2^937245-1 is not prime. Res64: A05138E27E85ACF3 Time : 1227.0 sec. user=vaughan [2011-04-30 07:05:21] 821*2^937246-1 is not prime. Res64: 584439721F459BCC Time : 1227.0 sec. user=vaughan [2011-04-30 07:05:32] 867*2^937246-1 is not prime. Res64: 0B50BECF8A55B8DF Time : 1227.0 sec. user=vaughan [2011-04-30 07:05:36] 891*2^937246-1 is not prime. Res64: 5FA27A469CF8FE6B Time : 1228.0 sec. user=vaughan [2011-04-30 07:08:08] 917*2^937246-1 is not prime. Res64: 7B34BAE8F73627C6 Time : 1259.0 sec. user=vaughan [2011-04-30 07:08:08] 923*2^937246-1 is not prime. Res64: 0796610DF6C1A652 Time : 1259.0 sec. user=vaughan [2011-04-30 07:08:10] 945*2^937246-1 is not prime. Res64: 5F7A8B0105696482 Time : 1259.0 sec. user=vaughan [2011-04-30 07:08:25] 945*2^937247-1 is not prime. Res64: A37E29ABC9444DF5 Time : 1259.0 sec. user=vaughan [2011-04-30 07:29:08] 979*2^937249-1 is not prime. Res64: 3807F0C7A2FA4ABB Time : 1260.0 sec. user=vaughan [2011-04-30 07:29:08] 893*2^937250-1 is not prime. Res64: 9EED9D67418353A1 Time : 1260.0 sec. user=vaughan [2011-04-30 07:29:08] 977*2^937250-1 is not prime. Res64: BBCB7BB164C7DE59 Time : 1259.0 sec. user=vaughan [2011-04-30 07:29:24] 849*2^937251-1 is not prime. Res64: 03F015D4ACD5073B Time : 1259.0 sec. user=vaughan [2011-04-30 07:32:06] 979*2^937247-1 is not prime. Res64: F7B468A525AC3F55 Time : 1626.0 sec. user=vaughan [2011-04-30 07:32:27] 875*2^937248-1 is not prime. Res64: DD7C6306CE1F7256 Time : 1626.0 sec. user=vaughan [2011-04-30 07:33:04] 955*2^937249-1 is not prime. Res64: FAA54E4A2449C37E Time : 1649.0 sec. user=vaughan [2011-04-30 07:33:21] 879*2^937248-1 is not prime. Res64: 39EFD503321E5C91 Time : 1669.0 sec. user=vaughan [2011-04-30 07:50:07] 903*2^937252-1 is not prime. Res64: C40B038E5D8C66A3 Time : 1259.0 sec. user=vaughan [2011-04-30 07:50:07] 885*2^937251-1 is not prime. Res64: CD96A900AD0D9537 Time : 1259.0 sec. user=vaughan [2011-04-30 07:50:08] 825*2^937252-1 is not prime. Res64: 565715BE70E851BF Time : 1260.0 sec. user=vaughan [2011-04-30 07:50:22] 915*2^937252-1 is not prime. Res64: C907A2B855D058B2 Time : 1258.0 sec. user=vaughan [2011-04-30 08:11:06] 991*2^937253-1 is not prime. Res64: 620BF9D95E593B6A Time : 1259.0 sec. user=vaughan [2011-04-30 08:11:06] 819*2^937255-1 is not prime. Res64: 8E1ECA05FE238944 Time : 1259.0 sec. user=vaughan [2011-04-30 08:11:07] 993*2^937254-1 is not prime. Res64: C77C0797365FF405 Time : 1260.0 sec. user=vaughan [2011-04-30 08:11:21] 885*2^937255-1 is not prime. Res64: A66E7800466A5935 Time : 1259.0 sec. user=vaughan [2011-04-30 08:21:08] 879*2^937253-1 is not prime. Res64: 973867ED2ED89D45 Time : 2921.0 sec. user=vaughan [2011-04-30 08:21:12] 957*2^937252-1 is not prime. Res64: 14EE57A2E53F4238 Time : 2946.0 sec. user=vaughan [2011-04-30 08:21:58] 981*2^937253-1 is not prime. Res64: 75B728E6FDBC8E2C Time : 2917.0 sec. user=vaughan [2011-04-30 08:22:04] 897*2^937253-1 is not prime. Res64: 1DD5D96B7B160135 Time : 2940.0 sec. user=vaughan [2011-04-30 08:32:05] 939*2^937255-1 is not prime. Res64: CBF9868472115CEF Time : 1260.0 sec. user=vaughan [2011-04-30 08:32:06] 917*2^937256-1 is not prime. Res64: A60369A487BE4856 Time : 1260.0 sec. user=vaughan [2011-04-30 08:32:07] 945*2^937256-1 is not prime. Res64: 2E4D3E85E58A3F78 Time : 1260.0 sec. user=vaughan [2011-04-30 08:32:20] 999*2^937256-1 is not prime. Res64: 86E3B3CFCD9BB47B Time : 1259.0 sec. user=vaughan [2011-04-30 08:53:02] 919*2^937257-1 is not prime. Res64: 10F8E5A391DDF950 Time : 1257.0 sec. user=vaughan [2011-04-30 08:53:03] 997*2^937257-1 is not prime. Res64: 8D451BB0599713CC Time : 1257.0 sec. user=vaughan [2011-04-30 08:53:03] 985*2^937257-1 is not prime. Res64: 7F9C1D7D0CC5931E Time : 1258.0 sec. user=vaughan [2011-04-30 08:53:17] 801*2^937258-1 is not prime. Res64: 75CA1DA03080EA33 Time : 1258.0 sec. user=vaughan [2011-04-30 09:00:21] 835*2^937257-1 is not prime. Res64: 2B93856AF3F4BA27 Time : 2353.0 sec. user=vaughan [2011-04-30 09:00:42] 861*2^937257-1 is not prime. Res64: FCD66973A644BC3E Time : 2371.0 sec. user=vaughan [2011-04-30 09:01:47] 865*2^937257-1 is not prime. Res64: 8123F4E96EC39B50 Time : 2389.0 sec. user=vaughan [2011-04-30 09:02:13] 885*2^937257-1 is not prime. Res64: C5ED54E5FEE37202 Time : 2409.0 sec. user=vaughan [2011-04-30 09:27:34] 867*2^937258-1 is not prime. Res64: 686F13697A774E4B Time : 2071.0 sec. user=vaughan [2011-04-30 09:27:46] 815*2^937258-1 is not prime. Res64: 8B179EEAFC2E260E Time : 2084.0 sec. user=vaughan [2011-04-30 09:28:06] 813*2^937259-1 is not prime. Res64: CE645E2B293A1C14 Time : 2089.0 sec. user=vaughan [2011-04-30 09:28:10] 987*2^937258-1 is not prime. Res64: 97F8ADE047AA87F3 Time : 2107.0 sec. user=vaughan [2011-04-30 09:43:00] 943*2^937259-1 is not prime. Res64: 8899DE471FF31F69 Time : 2538.0 sec. user=vaughan [2011-04-30 09:43:06] 939*2^937259-1 is not prime. Res64: 2BCDE04EDC8752BA Time : 2565.0 sec. user=vaughan [2011-04-30 09:44:15] 923*2^937260-1 is not prime. Res64: 78648BB5C4B0DD6A Time : 2548.0 sec. user=vaughan [2011-04-30 09:44:30] 959*2^937260-1 is not prime. Res64: D35B2B04BF8FDA86 Time : 2537.0 sec. user=vaughan [2011-04-30 09:48:32] 817*2^937261-1 is not prime. Res64: 03710175211C2F25 Time : 1258.0 sec. user=vaughan [2011-04-30 09:48:43] 957*2^937261-1 is not prime. Res64: 5D5D8AE11DB2E113 Time : 1258.0 sec. user=vaughan [2011-04-30 09:49:04] 815*2^937262-1 is not prime. Res64: A1E915E24F9D0D24 Time : 1258.0 sec. user=vaughan [2011-04-30 09:49:09] 875*2^937262-1 is not prime. Res64: ED7A92FF2CBBFD9B Time : 1259.0 sec. user=vaughan [2011-04-30 10:09:30] 933*2^937263-1 is not prime. Res64: AF748D6F13327210 Time : 1258.0 sec. user=vaughan [2011-04-30 10:09:41] 955*2^937263-1 is not prime. Res64: 3191AD2CF326C84D Time : 1258.0 sec. user=vaughan [2011-04-30 10:10:02] 831*2^937265-1 is not prime. Res64: E0F9D129D0DBF410 Time : 1258.0 sec. user=vaughan [2011-04-30 10:10:07] 871*2^937265-1 is not prime. Res64: CC2E2634DC1B2FF3 Time : 1259.0 sec. user=vaughan [2011-04-30 10:30:28] 925*2^937265-1 is not prime. Res64: BE6EF06C3CF1BC6C Time : 1259.0 sec. user=vaughan [2011-04-30 10:30:40] 957*2^937265-1 is not prime. Res64: C16B3358FB8F54CB Time : 1259.0 sec. user=vaughan [2011-04-30 10:31:00] 837*2^937266-1 is not prime. Res64: 8AAAEEF1F7D6127F Time : 1259.0 sec. user=vaughan [2011-04-30 10:31:06] 975*2^937266-1 is not prime. Res64: A0F5343B8DEFB7EF Time : 1259.0 sec. user=vaughan [2011-04-30 18:41:18] 935*2^937262-1 is not prime. Res64: 40A186919E2EEF9C Time : 32293.0 sec. user=vaughan [2011-04-30 18:41:55] 903*2^937262-1 is not prime. Res64: 2E5409CE28FC50D6 Time : 32336.0 sec. user=vaughan [2011-04-30 18:42:55] 919*2^937263-1 is not prime. Res64: 016CC8D9C7CD11F2 Time : 32305.0 sec. user=vaughan [2011-04-30 18:44:00] 901*2^937263-1 is not prime. Res64: EA0E13E28120960A Time : 32385.0 sec. user=vaughan [2011-04-30 19:14:47] 857*2^936776-1 is not prime. Res64: CEB5E4C9D444897E Time : 1912.0 sec. user=vaughan [2011-04-30 19:15:41] 861*2^936775-1 is not prime. Res64: 209126232C2F3807 Time : 2063.0 sec. user=vaughan [2011-04-30 19:40:59] 999*2^936775-1 is not prime. Res64: 97510E7CBEF8B302 Time : 3544.0 sec. user=vaughan [2011-04-30 19:43:30] 835*2^936777-1 is not prime. Res64: C0E9481175104986 Time : 3570.0 sec. user=vaughan [2011-04-30 19:45:32] 895*2^937175-1 is not prime. Res64: E2D2B1795A309F3B Time : 1791.0 sec. user=vaughan [2011-04-30 19:47:39] 993*2^937174-1 is not prime. Res64: 603E1F83602E1528 Time : 1973.0 sec. user=vaughan [2011-04-30 20:13:41] 923*2^937268-1 is not prime. Res64: 36E0E06F66753591 Time : 34961.0 sec. user=vaughan [2011-04-30 20:13:42] 811*2^937269-1 is not prime. Res64: C60958EA3E193393 Time : 34956.0 sec. user=vaughan [2011-04-30 20:14:20] 867*2^937268-1 is not prime. Res64: C5B1DB70C7B64A90 Time : 35021.0 sec. user=vaughan [2011-04-30 20:14:21] 993*2^937267-1 is not prime. Res64: 75C7656C3304A0EA Time : 35033.0 sec. user=vaughan [2011-04-30 20:19:04] 841*2^937177-1 is not prime. Res64: F197BAC84068038D Time : 2013.0 sec. user=vaughan [2011-04-30 20:19:47] 897*2^937177-1 is not prime. Res64: 34A1EBE8E335130D Time : 1928.0 sec. user=vaughan [2011-04-30 20:32:22] 999*2^937175-1 is not prime. Res64: A91F7AE8FF39616A Time : 3083.0 sec. user=vaughan [2011-04-30 20:35:19] 903*2^937176-1 is not prime. Res64: 5B0D2C077BE4BC6F Time : 3110.0 sec. user=vaughan [2011-04-30 20:43:15] 971*2^937190-1 is not prime. Res64: BB124BC5FC584803 Time : 1774.0 sec. user=vaughan [2011-04-30 20:43:21] 951*2^937185-1 is not prime. Res64: 877722BF969769D7 Time : 1780.0 sec. user=vaughan [2011-04-30 20:45:31] 885*2^937191-1 is not prime. Res64: 8499B73E47EB1ECB Time : 1872.0 sec. user=vaughan [2011-04-30 20:47:24] 901*2^937191-1 is not prime. Res64: 9706D0C3142BF519 Time : 1984.0 sec. user=vaughan [2011-04-30 20:51:03] 843*2^937192-1 is not prime. Res64: 096973DDD2820CF7 Time : 1877.0 sec. user=vaughan [2011-04-30 20:53:19] 807*2^937192-1 is not prime. Res64: BCCE0534154BDD91 Time : 2056.0 sec. user=vaughan [2011-04-30 21:12:59] 983*2^937192-1 is not prime. Res64: EC9647439B74EFC5 Time : 1785.0 sec. user=vaughan [2011-04-30 21:13:19] 999*2^937192-1 is not prime. Res64: D9AE200C298F1335 Time : 1799.0 sec. user=vaughan [2011-04-30 21:16:43] 925*2^937193-1 is not prime. Res64: 73764B180A1672BE Time : 1872.0 sec. user=vaughan [2011-04-30 21:20:35] 951*2^937193-1 is not prime. Res64: E6527B5ED9C81BC9 Time : 1991.0 sec. user=vaughan [2011-04-30 21:22:56] 893*2^937194-1 is not prime. Res64: FFC7DF8079F9B178 Time : 1913.0 sec. user=vaughan [2011-04-30 21:27:22] 941*2^937194-1 is not prime. Res64: 495AD5770A5249D7 Time : 2043.0 sec. user=vaughan [2011-04-30 21:34:59] 855*2^937192-1 is not prime. Res64: 6768F6E4FCDE1DD3 Time : 3758.0 sec. user=vaughan [2011-04-30 21:37:39] 903*2^937192-1 is not prime. Res64: 5578D6EDA01FDF50 Time : 3741.0 sec. user=vaughan [2011-04-30 21:42:41] 909*2^937195-1 is not prime. Res64: AEAFA3432967C542 Time : 1782.0 sec. user=vaughan [2011-04-30 21:43:16] 915*2^937195-1 is not prime. Res64: 64142D890E3AE43F Time : 1797.0 sec. user=vaughan [2011-04-30 21:49:13] 961*2^937195-1 is not prime. Res64: F52F471B57023413 Time : 1950.0 sec. user=vaughan [2011-04-30 21:54:49] 999*2^937196-1 is not prime. Res64: 7A610C079188325B Time : 1914.0 sec. user=vaughan [2011-04-30 21:54:58] 999*2^937195-1 is not prime. Res64: C13CFA09B0F2281B Time : 2064.0 sec. user=vaughan [2011-04-30 22:02:11] 945*2^937197-1 is not prime. Res64: FEE6E1C244813693 Time : 2090.0 sec. user=vaughan [2011-04-30 22:26:22] 861*2^937199-1 is not prime. Res64: EA9B4FBE28DB59D2 Time : 1893.0 sec. user=vaughan [2011-04-30 22:31:04] 991*2^937197-1 is not prime. Res64: A05CD33878452FF7 Time : 3366.0 sec. user=vaughan [2011-04-30 22:31:17] 915*2^937198-1 is not prime. Res64: 83AD4FB990443276 Time : 2917.0 sec. user=vaughan [2011-04-30 22:32:38] 933*2^937198-1 is not prime. Res64: 76084D1E5520BCFF Time : 2962.0 sec. user=vaughan [2011-04-30 22:33:22] 859*2^937199-1 is not prime. Res64: 7B0A71FE3A46B953 Time : 2650.0 sec. user=vaughan [2011-04-30 22:33:35] 813*2^937198-1 is not prime. Res64: 38930540F6DD056E Time : 3357.0 sec. user=vaughan [2011-04-30 22:38:54] 923*2^937200-1 is not prime. Res64: E156CC2051E3B5D7 Time : 2204.0 sec. user=vaughan [2011-04-30 22:45:36] 915*2^937200-1 is not prime. Res64: BE7FC856F5566EBE Time : 3038.0 sec. user=vaughan [2011-04-30 22:59:07] 975*2^937200-1 is not prime. Res64: B5518CA629B6810E Time : 1966.0 sec. user=vaughan [2011-04-30 23:13:26] 909*2^937272-1 is not prime. Res64: F25CC27A9D87B306 Time : 2072.0 sec. user=vaughan [2011-04-30 23:16:46] 875*2^937272-1 is not prime. Res64: FF0F27BC098F3743 Time : 2605.0 sec. user=vaughan [2011-04-30 23:22:55] 999*2^937269-1 is not prime. Res64: 2D831BEE0F3BFD65 Time : 3111.0 sec. user=vaughan [2011-04-30 23:24:48] 899*2^937272-1 is not prime. Res64: 0F0F916503C0CACF Time : 3074.0 sec. user=vaughan [2011-04-30 23:30:51] 945*2^937274-1 is not prime. Res64: E3BEB79301508D15 Time : 1904.0 sec. user=vaughan [2011-04-30 23:38:26] 813*2^937271-1 is not prime. Res64: C7A70C7B5253BE70 Time : 4029.0 sec. user=vaughan [2011-04-30 23:39:54] 979*2^937271-1 is not prime. Res64: 1A42FCCE3EF8C7A8 Time : 4036.0 sec. user=vaughan [2011-04-30 23:42:38] 987*2^937273-1 is not prime. Res64: FB063027E8A45EBE Time : 3422.0 sec. user=vaughan [2011-04-30 23:46:06] 833*2^937276-1 is not prime. Res64: C03C96DC67312FCC Time : 1961.0 sec. user=vaughan [2011-04-30 23:59:44] 925*2^937277-1 is not prime. Res64: 36660EDA28007F8F Time : 1734.0 sec.