user=vaughan [2011-02-02 00:03:16] 2303*2^255320-1 is not prime. Res64: 7F8F4346342B9A6E Time : 1005.0 sec. user=vaughan [2011-02-02 00:20:02] 2303*2^255330-1 is not prime. Res64: FED1495F4212FD94 Time : 1005.0 sec. user=mdettweiler [2011-02-02 00:25:31] 2303*2^255326-1 is not prime. Res64: 0DE763B38AA5E3CA Time : 1530.0 sec. user=vaughan [2011-02-02 00:36:48] 2303*2^255340-1 is not prime. Res64: 6483EBA27911D1B5 Time : 1005.0 sec. user=mdettweiler [2011-02-02 00:50:45] 2303*2^255344-1 is not prime. Res64: 53760F66D12C90FF Time : 1514.0 sec. user=vaughan [2011-02-02 00:53:34] 2303*2^255426-1 is not prime. Res64: 857DF2F8907DB44F Time : 1006.0 sec. user=vaughan [2011-02-02 01:10:18] 2303*2^255444-1 is not prime. Res64: CCB8FE6361AF7A6E Time : 1003.0 sec. user=mdettweiler [2011-02-02 01:15:53] 2303*2^255442-1 is not prime. Res64: 436BA1D8D7961398 Time : 1508.0 sec. user=vaughan [2011-02-02 01:27:04] 2303*2^255464-1 is not prime. Res64: 939718C379EB34F2 Time : 1005.0 sec. user=vaughan [2011-02-02 01:43:51] 2303*2^255484-1 is not prime. Res64: C95F3F150306FFD5 Time : 1007.0 sec. user=vaughan [2011-02-02 02:00:36] 2303*2^255496-1 is not prime. Res64: 067C80DF8DC7BF05 Time : 1005.0 sec. user=vaughan [2011-02-02 02:17:21] 2303*2^255506-1 is not prime. Res64: 180E2ACA8CE59A33 Time : 1004.0 sec. user=mdettweiler [2011-02-02 02:28:14] 2303*2^255474-1 is not prime. Res64: 2E7D34CAF9F8F5C9 Time : 4340.0 sec. user=vaughan [2011-02-02 02:34:10] 2303*2^255606-1 is not prime. Res64: BDB97E53BF61288E Time : 1008.0 sec. user=vaughan [2011-02-02 02:50:57] 2303*2^255674-1 is not prime. Res64: 61D6D642AE105F09 Time : 1006.0 sec. user=mdettweiler [2011-02-02 02:54:03] 2303*2^255644-1 is not prime. Res64: C7F4C3212A6C2E8E Time : 1549.0 sec. user=vaughan [2011-02-02 03:07:44] 2303*2^255694-1 is not prime. Res64: CEDF126E5A458BD9 Time : 1006.0 sec. user=mdettweiler [2011-02-02 03:19:17] 2303*2^255744-1 is not prime. Res64: 639AC85BA911B9E0 Time : 1513.0 sec. user=vaughan [2011-02-02 03:24:32] 2303*2^255754-1 is not prime. Res64: DDCD1043F635D26E Time : 1008.0 sec. user=vaughan [2011-02-02 03:41:20] 2303*2^255894-1 is not prime. Res64: 0A5572B8C95A897D Time : 1008.0 sec. user=mdettweiler [2011-02-02 03:44:33] 2303*2^255884-1 is not prime. Res64: CED57073507A827A Time : 1516.0 sec. user=vaughan [2011-02-02 03:58:07] 2303*2^255900-1 is not prime. Res64: CE9EA0E9964563ED Time : 1006.0 sec. user=mdettweiler [2011-02-02 04:09:51] 2303*2^255916-1 is not prime. Res64: DB8579AD5B024A05 Time : 1518.0 sec. user=vaughan [2011-02-02 04:14:54] 2303*2^255936-1 is not prime. Res64: 36F30E1A1310F039 Time : 1007.0 sec. user=vaughan [2011-02-02 04:31:45] 2303*2^255964-1 is not prime. Res64: 50F6C00ADB59208F Time : 1011.0 sec. user=mdettweiler [2011-02-02 04:35:31] 2303*2^255950-1 is not prime. Res64: 83717500827FB717 Time : 1540.0 sec. user=vaughan [2011-02-02 04:48:33] 2303*2^256000-1 is not prime. Res64: 523931386342E1A1 Time : 1007.0 sec. user=mdettweiler [2011-02-02 05:00:45] 2303*2^256002-1 is not prime. Res64: 5706331B16270FE5 Time : 1514.0 sec. user=vaughan [2011-02-02 05:05:30] 2303*2^256014-1 is not prime. Res64: 46C5D8CC15A27DFA Time : 1017.0 sec. user=vaughan [2011-02-02 05:22:18] 2303*2^256046-1 is not prime. Res64: B2458B277CCFCB39 Time : 1007.0 sec. user=mdettweiler [2011-02-02 05:27:17] 2303*2^256040-1 is not prime. Res64: 49A5ACFDBFD945B3 Time : 1592.0 sec. user=vaughan [2011-02-02 05:39:13] 2303*2^256070-1 is not prime. Res64: EC73B9ACB6297227 Time : 1014.0 sec. user=mdettweiler [2011-02-02 05:52:34] 2303*2^256086-1 is not prime. Res64: 89E5FE4CFF783C01 Time : 1517.0 sec. user=vaughan [2011-02-02 05:56:01] 2303*2^256096-1 is not prime. Res64: 4645554B88F2AAD1 Time : 1008.0 sec. user=vaughan [2011-02-02 06:12:50] 2303*2^256214-1 is not prime. Res64: 78BE56FD4B2169C9 Time : 1008.0 sec. user=mdettweiler [2011-02-02 06:17:55] 2303*2^256166-1 is not prime. Res64: 917805D6AF2B3FDA Time : 1521.0 sec. user=vaughan [2011-02-02 06:29:40] 2303*2^256260-1 is not prime. Res64: 2239D7001C98AB24 Time : 1010.0 sec. user=mdettweiler [2011-02-02 06:43:13] 2303*2^256274-1 is not prime. Res64: E9C65FC6749C0501 Time : 1518.0 sec. user=vaughan [2011-02-02 06:46:29] 2303*2^256276-1 is not prime. Res64: 7D6475271259BA7C Time : 1009.0 sec. user=vaughan [2011-02-02 07:03:17] 2303*2^256284-1 is not prime. Res64: 015EAA8CCF04B4CA Time : 1008.0 sec. user=mdettweiler [2011-02-02 07:08:31] 2303*2^256280-1 is not prime. Res64: 2AA97DB620A7CF23 Time : 1517.0 sec. user=vaughan [2011-02-02 07:20:19] 2303*2^256290-1 is not prime. Res64: D84EF1897513DA44 Time : 1021.0 sec. user=mdettweiler [2011-02-02 07:33:50] 2303*2^256316-1 is not prime. Res64: 600BA5F9FF795575 Time : 1518.0 sec. user=vaughan [2011-02-02 07:38:39] 2303*2^256332-1 is not prime. Res64: 2059C1A87317979A Time : 1100.0 sec. user=vaughan [2011-02-02 07:56:35] 2303*2^256346-1 is not prime. Res64: 51EFF8F7236D7F2E Time : 1076.0 sec. user=mdettweiler [2011-02-02 07:59:09] 2303*2^256342-1 is not prime. Res64: 82DA132589466FCB Time : 1519.0 sec. user=vaughan [2011-02-02 08:13:27] 2303*2^256350-1 is not prime. Res64: 69546F1DE7115628 Time : 1012.0 sec. user=mdettweiler [2011-02-02 08:24:54] 2303*2^256356-1 is not prime. Res64: A8F167F3F696C435 Time : 1544.0 sec. user=vaughan [2011-02-02 08:30:27] 2303*2^256416-1 is not prime. Res64: F7090417E727F580 Time : 1020.0 sec. user=vaughan [2011-02-02 08:47:25] 2303*2^256510-1 is not prime. Res64: 2055EA371663E1F7 Time : 1018.0 sec. user=mdettweiler [2011-02-02 08:50:14] 2303*2^256454-1 is not prime. Res64: 2AC0DB330FB72AE6 Time : 1520.0 sec. user=vaughan [2011-02-02 09:04:16] 2303*2^256554-1 is not prime. Res64: 231FDB760C83A208 Time : 1010.0 sec. user=mdettweiler [2011-02-02 09:15:37] 2303*2^256574-1 is not prime. Res64: B205745C4B27E007 Time : 1522.0 sec. user=vaughan [2011-02-02 09:22:07] 2303*2^256576-1 is not prime. Res64: 63FFBA564203C8B8 Time : 1071.0 sec. user=vaughan [2011-02-02 09:40:03] 2303*2^256626-1 is not prime. Res64: 5BBEF4496DFD8F38 Time : 1075.0 sec. user=mdettweiler [2011-02-02 09:40:53] 2303*2^256594-1 is not prime. Res64: 92929DDD7354F9C3 Time : 1515.0 sec. user=vaughan [2011-02-02 09:56:53] 2303*2^256640-1 is not prime. Res64: 15352310984F1CD0 Time : 1009.0 sec. user=mdettweiler [2011-02-02 10:06:08] 2303*2^256650-1 is not prime. Res64: 6311F74DEA78B7A7 Time : 1515.0 sec. user=vaughan [2011-02-02 10:13:43] 2303*2^256656-1 is not prime. Res64: A6762B68CEBE4080 Time : 1009.0 sec. user=vaughan [2011-02-02 10:30:36] 2303*2^256766-1 is not prime. Res64: E92CC27E91883B72 Time : 1012.0 sec. user=mdettweiler [2011-02-02 10:31:25] 2303*2^256684-1 is not prime. Res64: FFE25B08AD08A0A2 Time : 1517.0 sec. user=vaughan [2011-02-02 10:47:29] 2303*2^256770-1 is not prime. Res64: 0262843A73A509F2 Time : 1012.0 sec. user=mdettweiler [2011-02-02 10:56:43] 2303*2^256806-1 is not prime. Res64: 0F1EF998DFD5C6ED Time : 1518.0 sec. user=vaughan [2011-02-02 11:04:19] 2303*2^256812-1 is not prime. Res64: DB4539507433779F Time : 1009.0 sec. user=vaughan [2011-02-02 11:21:10] 2303*2^256872-1 is not prime. Res64: 27D9DFEC6FFA0109 Time : 1010.0 sec. user=mdettweiler [2011-02-02 11:22:01] 2303*2^256814-1 is not prime. Res64: 07E4939C749A3C5B Time : 1517.0 sec. user=vaughan [2011-02-02 11:38:02] 2303*2^256890-1 is not prime. Res64: 215B6EBF6DEDE862 Time : 1011.0 sec. user=mdettweiler [2011-02-02 11:47:21] 2303*2^256926-1 is not prime. Res64: F6D2DB0ADF25D5C9 Time : 1520.0 sec. user=vaughan [2011-02-02 11:54:56] 2303*2^256962-1 is not prime. Res64: A985288E01CB7F4F Time : 1013.0 sec. user=vaughan [2011-02-02 12:11:48] 2303*2^256986-1 is not prime. Res64: 577476544FD19120 Time : 1012.0 sec. user=mdettweiler [2011-02-02 12:12:41] 2303*2^256980-1 is not prime. Res64: 54F63F92FE7181BA Time : 1520.0 sec. user=vaughan [2011-02-02 12:28:41] 2303*2^257122-1 is not prime. Res64: 07B71E669D92807F Time : 1012.0 sec. user=mdettweiler [2011-02-02 12:38:28] 2303*2^257130-1 is not prime. Res64: 325AF34EAC8748A9 Time : 1546.0 sec. user=vaughan [2011-02-02 12:45:47] 2303*2^257136-1 is not prime. Res64: C5D31A0578ED6A8D Time : 1026.0 sec. user=vaughan [2011-02-02 13:02:40] 2303*2^257174-1 is not prime. Res64: BCBADBF389DC6878 Time : 1013.0 sec. user=mdettweiler [2011-02-02 13:03:48] 2303*2^257154-1 is not prime. Res64: 890A4E961D3CC6BB Time : 1519.0 sec. user=vaughan [2011-02-02 13:19:35] 2303*2^257202-1 is not prime. Res64: FF578CAA1B67BE77 Time : 1014.0 sec. user=mdettweiler [2011-02-02 13:29:11] 2303*2^257214-1 is not prime. Res64: B0597D6D2B88E3B6 Time : 1523.0 sec. user=vaughan [2011-02-02 13:36:34] 2303*2^257266-1 is not prime. Res64: C2847911E73490AE Time : 1019.0 sec. user=vaughan [2011-02-02 13:53:27] 2303*2^257294-1 is not prime. Res64: E3F8F397E5FAFE00 Time : 1012.0 sec. user=mdettweiler [2011-02-02 13:54:33] 2303*2^257270-1 is not prime. Res64: 5420CC750E3DDD5F Time : 1522.0 sec. user=vaughan [2011-02-02 14:10:20] 2303*2^257296-1 is not prime. Res64: 54EE60104F402514 Time : 1013.0 sec. user=mdettweiler [2011-02-02 14:19:52] 2303*2^257306-1 is not prime. Res64: 58591C4A16499101 Time : 1519.0 sec. user=vaughan [2011-02-02 14:27:12] 2303*2^257314-1 is not prime. Res64: C472F22DB01D1561 Time : 1012.0 sec. user=vaughan [2011-02-02 14:44:08] 2303*2^257386-1 is not prime. Res64: 560D16C33D5D526D Time : 1015.0 sec. user=mdettweiler [2011-02-02 14:45:14] 2303*2^257346-1 is not prime. Res64: C5B16447DFD4FF0B Time : 1521.0 sec. user=vaughan [2011-02-02 15:01:02] 2303*2^257390-1 is not prime. Res64: EFE2494EA48FA338 Time : 1013.0 sec. user=mdettweiler [2011-02-02 15:10:38] 2303*2^257430-1 is not prime. Res64: 881DE863B5725C06 Time : 1523.0 sec. user=vaughan [2011-02-02 15:17:56] 2303*2^257450-1 is not prime. Res64: 97C7450A1F33537C Time : 1014.0 sec. user=vaughan [2011-02-02 15:35:03] 2303*2^257526-1 is not prime. Res64: 3B925CB804518568 Time : 1027.0 sec. user=mdettweiler [2011-02-02 15:36:19] 2303*2^257454-1 is not prime. Res64: EB6C67E705DF2ADC Time : 1541.0 sec. user=vaughan [2011-02-02 15:51:56] 2303*2^257530-1 is not prime. Res64: 40FB048D0BB19EF3 Time : 1013.0 sec. user=mdettweiler [2011-02-02 16:01:50] 2303*2^257540-1 is not prime. Res64: 9E80D6406CD11907 Time : 1531.0 sec. user=vaughan [2011-02-02 16:08:52] 2303*2^257606-1 is not prime. Res64: 9522778669DE1AAB Time : 1015.0 sec. user=vaughan [2011-02-02 16:25:48] 2303*2^257622-1 is not prime. Res64: 6F3D1524B097C911 Time : 1016.0 sec. user=mdettweiler [2011-02-02 16:28:48] 2303*2^257616-1 is not prime. Res64: F970B98A5F3E4F08 Time : 1617.0 sec. user=vaughan [2011-02-02 16:42:51] 2303*2^257626-1 is not prime. Res64: E2F356DD690EB8B1 Time : 1023.0 sec. user=mdettweiler [2011-02-02 16:54:18] 2303*2^257644-1 is not prime. Res64: 8D45F7FFE2A96991 Time : 1529.0 sec. user=vaughan [2011-02-02 16:59:47] 2303*2^257646-1 is not prime. Res64: 20B3BF42AF055DB6 Time : 1016.0 sec. user=vaughan [2011-02-02 17:16:44] 2303*2^257710-1 is not prime. Res64: E7C9AFCB8A6C431B Time : 1017.0 sec. user=mdettweiler [2011-02-02 17:20:15] 2303*2^257674-1 is not prime. Res64: 79288D72768F921D Time : 1557.0 sec. user=vaughan [2011-02-02 17:33:40] 2303*2^257720-1 is not prime. Res64: B1B7BDAAFEE29FD9 Time : 1016.0 sec. user=mdettweiler [2011-02-02 17:45:46] 2303*2^257752-1 is not prime. Res64: ADFF6644FB7C32CA Time : 1530.0 sec. user=vaughan [2011-02-02 17:50:35] 2303*2^257754-1 is not prime. Res64: E8ECDA224FE65663 Time : 1014.0 sec. user=vaughan [2011-02-02 18:07:34] 2303*2^257802-1 is not prime. Res64: 62338BF212F1F9C9 Time : 1018.0 sec. user=mdettweiler [2011-02-02 18:11:15] 2303*2^257782-1 is not prime. Res64: C7CC16C8BCDD91AB Time : 1528.0 sec. user=vaughan [2011-02-02 18:24:30] 2303*2^257814-1 is not prime. Res64: 2A71AC14335DE409 Time : 1016.0 sec. user=mdettweiler [2011-02-02 18:36:43] 2303*2^257834-1 is not prime. Res64: 8FC28D24C6B4CA2F Time : 1528.0 sec. user=vaughan [2011-02-02 18:41:27] 2303*2^257846-1 is not prime. Res64: 722AF1704FE58270 Time : 1017.0 sec. user=vaughan [2011-02-02 18:58:25] 2303*2^257916-1 is not prime. Res64: 0D813C8D0E8F89CE Time : 1017.0 sec. user=mdettweiler [2011-02-02 19:02:10] 2303*2^257864-1 is not prime. Res64: B9941E900AFCB90D Time : 1528.0 sec. user=vaughan [2011-02-02 19:15:23] 2303*2^257936-1 is not prime. Res64: 9C7AF93F1D3A9B51 Time : 1017.0 sec. user=mdettweiler [2011-02-02 19:27:45] 2303*2^257962-1 is not prime. Res64: 4419A0DB24AA96DA Time : 1534.0 sec. user=vaughan [2011-02-02 19:32:23] 2303*2^258012-1 is not prime. Res64: 075F190E1BC93DA5 Time : 1019.0 sec. user=vaughan [2011-02-02 19:49:20] 2303*2^258044-1 is not prime. Res64: 7A2B82ECDBF07BF8 Time : 1016.0 sec. user=mdettweiler [2011-02-02 19:53:16] 2303*2^258036-1 is not prime. Res64: E0A6E5640D6884BE Time : 1530.0 sec. user=vaughan [2011-02-02 20:06:18] 2303*2^258060-1 is not prime. Res64: 94F42F530C58A301 Time : 1018.0 sec. user=mdettweiler [2011-02-02 20:18:48] 2303*2^258076-1 is not prime. Res64: 7420ECC701F1120A Time : 1531.0 sec. user=vaughan [2011-02-02 20:23:16] 2303*2^258086-1 is not prime. Res64: 83D2CEB9847382B3 Time : 1018.0 sec. user=vaughan [2011-02-02 20:40:16] 2303*2^258102-1 is not prime. Res64: 5CC0ECDCC02ABA30 Time : 1019.0 sec. user=mdettweiler [2011-02-02 20:44:41] 2303*2^258094-1 is not prime. Res64: 41FF3D03821C4C4F Time : 1552.0 sec. user=vaughan [2011-02-02 20:57:20] 2303*2^258112-1 is not prime. Res64: 684E5CACB6FB3195 Time : 1023.0 sec. user=mdettweiler [2011-02-02 21:10:14] 2303*2^258202-1 is not prime. Res64: E75938D3D98CF802 Time : 1532.0 sec. user=vaughan [2011-02-02 21:14:18] 2303*2^258254-1 is not prime. Res64: AFC8B23C325B65AA Time : 1017.0 sec. user=vaughan [2011-02-02 21:31:26] 2303*2^258384-1 is not prime. Res64: 41F2373979C76280 Time : 1027.0 sec. user=mdettweiler [2011-02-02 21:35:46] 2303*2^258326-1 is not prime. Res64: 77C07417E85A54DE Time : 1531.0 sec. user=vaughan [2011-02-02 21:48:24] 2303*2^258390-1 is not prime. Res64: AB804B215F581681 Time : 1017.0 sec. user=mdettweiler [2011-02-02 22:01:19] 2303*2^258396-1 is not prime. Res64: 33974B8152B4FA8B Time : 1533.0 sec. user=vaughan [2011-02-02 22:05:21] 2303*2^258466-1 is not prime. Res64: 6FB6254862106546 Time : 1016.0 sec. user=vaughan [2011-02-02 22:22:18] 2303*2^258582-1 is not prime. Res64: E6ED75C48987CF45 Time : 1017.0 sec. user=mdettweiler [2011-02-02 22:26:49] 2303*2^258474-1 is not prime. Res64: D88CD366035ECE6D Time : 1530.0 sec. user=vaughan [2011-02-02 22:39:20] 2303*2^258620-1 is not prime. Res64: FDCEFD582822CEFB Time : 1022.0 sec. user=mdettweiler [2011-02-02 22:52:23] 2303*2^258630-1 is not prime. Res64: 3517C4229C9C04C8 Time : 1533.0 sec. user=vaughan [2011-02-02 22:56:19] 2303*2^258642-1 is not prime. Res64: 100EB03719C5AD5C Time : 1018.0 sec. user=vaughan [2011-02-02 23:13:15] 2303*2^258660-1 is not prime. Res64: 15C1164B8A0B413D Time : 1015.0 sec. user=mdettweiler [2011-02-02 23:17:59] 2303*2^258654-1 is not prime. Res64: 48EF821AA7BF7EC1 Time : 1536.0 sec. user=vaughan [2011-02-02 23:30:28] 2303*2^258706-1 is not prime. Res64: 088D85847AADF698 Time : 1032.0 sec. user=mdettweiler [2011-02-02 23:43:37] 2303*2^258742-1 is not prime. Res64: CA438DC54C6EFB6E Time : 1537.0 sec. user=vaughan [2011-02-02 23:47:25] 2303*2^258744-1 is not prime. Res64: 52150A19957C4DA8 Time : 1016.0 sec.