user=vaughan [2010-07-10 00:02:43] 489*2^840704-1 is not prime. Res64: 13B15E221EA75B92 Time : 1028.0 sec. user=vaughan [2010-07-10 00:03:50] 517*2^840701-1 is not prime. Res64: 35D8D4DC3642F286 Time : 2893.0 sec. user=vaughan [2010-07-10 00:03:57] 543*2^840704-1 is not prime. Res64: E206118127A2B012 Time : 1023.0 sec. user=vaughan [2010-07-10 00:04:17] 507*2^840704-1 is not prime. Res64: CA1E66260B980629 Time : 1098.0 sec. user=vaughan [2010-07-10 00:04:19] 437*2^840704-1 is not prime. Res64: 28B3F653102286B3 Time : 1217.0 sec. user=vaughan [2010-07-10 00:09:47] 409*2^840705-1 is not prime. Res64: C6665D9B95C0016C Time : 1020.0 sec. user=vaughan [2010-07-10 00:11:36] 429*2^840705-1 is not prime. Res64: 5BCF84899AC399FB Time : 1070.0 sec. user=vaughan [2010-07-10 00:12:18] 447*2^840705-1 is not prime. Res64: 6D20F71FBFA9AD60 Time : 1055.0 sec. user=vaughan [2010-07-10 00:19:40] 481*2^840705-1 is not prime. Res64: 9545BCD8342B7346 Time : 1018.0 sec. user=vaughan [2010-07-10 00:20:57] 525*2^840705-1 is not prime. Res64: 5142B31E3A1A3E83 Time : 1021.0 sec. user=vaughan [2010-07-10 00:22:20] 529*2^840705-1 is not prime. Res64: 7EF982BDCA7CDFB2 Time : 1083.0 sec. user=vaughan [2010-07-10 00:24:22] 577*2^840705-1 is not prime. Res64: 9DFB0C6EE4458C61 Time : 1203.0 sec. user=vaughan [2010-07-10 00:26:42] 579*2^840705-1 is not prime. Res64: B32E368E68C4239A Time : 1015.0 sec. user=vaughan [2010-07-10 00:29:07] 443*2^840706-1 is not prime. Res64: D7C377CD68974D67 Time : 1051.0 sec. user=vaughan [2010-07-10 00:29:51] 465*2^840706-1 is not prime. Res64: 2F6FA351B70F3E5B Time : 1053.0 sec. user=vaughan [2010-07-10 00:31:39] 465*2^840705-1 is not prime. Res64: 101EDD2FBEC0D3F0 Time : 1862.0 sec. user=vaughan [2010-07-10 00:35:35] 557*2^840704-1 is not prime. Res64: 83FE26106816888D Time : 2869.0 sec. user=vaughan [2010-07-10 00:36:37] 545*2^840706-1 is not prime. Res64: 2650A44BFE76FD8C Time : 1017.0 sec. user=vaughan [2010-07-10 00:37:57] 511*2^840707-1 is not prime. Res64: 67A0CD28077C7209 Time : 1020.0 sec. user=vaughan [2010-07-10 00:40:25] 543*2^840707-1 is not prime. Res64: C086526C655AC9F2 Time : 1085.0 sec. user=vaughan [2010-07-10 00:43:39] 405*2^840708-1 is not prime. Res64: C8E1453442A7E251 Time : 1017.0 sec. user=vaughan [2010-07-10 00:44:33] 589*2^840707-1 is not prime. Res64: B39D7995016DAE10 Time : 1211.0 sec. user=vaughan [2010-07-10 00:46:38] 489*2^840708-1 is not prime. Res64: E684182460BE5472 Time : 1052.0 sec. user=vaughan [2010-07-10 00:47:23] 549*2^840708-1 is not prime. Res64: 8BB260491E8E8A8A Time : 1053.0 sec. user=vaughan [2010-07-10 00:51:45] 507*2^840705-1 is not prime. Res64: 6FEF6835F650FF9A Time : 2875.0 sec. user=vaughan [2010-07-10 00:53:35] 451*2^840709-1 is not prime. Res64: 467B8B943E29D57B Time : 1018.0 sec. user=vaughan [2010-07-10 00:54:57] 471*2^840709-1 is not prime. Res64: EC8978C315471075 Time : 1021.0 sec. user=vaughan [2010-07-10 00:58:30] 511*2^840709-1 is not prime. Res64: 5F3D3EF71ACBAAC8 Time : 1086.0 sec. user=vaughan [2010-07-10 01:00:35] 447*2^840710-1 is not prime. Res64: 8A6521AAE5D93FEC Time : 1017.0 sec. user=vaughan [2010-07-10 01:02:11] 597*2^840708-1 is not prime. Res64: 912CF7BEF4E1F780 Time : 1832.0 sec. user=vaughan [2010-07-10 01:04:09] 585*2^840710-1 is not prime. Res64: BE780AEE961E26C9 Time : 1051.0 sec. user=vaughan [2010-07-10 01:04:45] 561*2^840710-1 is not prime. Res64: 062CFE896B0F1DFD Time : 1212.0 sec. user=vaughan [2010-07-10 01:04:56] 587*2^840710-1 is not prime. Res64: 24C378BABC63EBD6 Time : 1053.0 sec. user=vaughan [2010-07-10 01:10:33] 571*2^840711-1 is not prime. Res64: 79610E8940374048 Time : 1018.0 sec. user=vaughan [2010-07-10 01:11:58] 413*2^840712-1 is not prime. Res64: AC60FD7854282BB9 Time : 1021.0 sec. user=vaughan [2010-07-10 01:16:35] 479*2^840712-1 is not prime. Res64: AE9388758AE91437 Time : 1085.0 sec. user=vaughan [2010-07-10 01:17:32] 537*2^840712-1 is not prime. Res64: CEA2FEA7503ADA8E Time : 1017.0 sec. user=vaughan [2010-07-10 01:21:40] 411*2^840713-1 is not prime. Res64: 38063B555A45F784 Time : 1052.0 sec. user=vaughan [2010-07-10 01:22:30] 483*2^840714-1 is not prime. Res64: 997CA4E97D91800E Time : 1054.0 sec. user=vaughan [2010-07-10 01:23:19] 421*2^840709-1 is not prime. Res64: 0CBE30D74126C70A Time : 2865.0 sec. user=vaughan [2010-07-10 01:25:31] 453*2^840714-1 is not prime. Res64: 364124373FAF417B Time : 1247.0 sec. user=vaughan [2010-07-10 01:27:30] 525*2^840714-1 is not prime. Res64: 9F73ECF71476514B Time : 1018.0 sec. user=vaughan [2010-07-10 01:28:58] 421*2^840715-1 is not prime. Res64: 73C3F56A042387F0 Time : 1021.0 sec. user=vaughan [2010-07-10 01:32:34] 539*2^840712-1 is not prime. Res64: D0D13D8D37757EF4 Time : 1824.0 sec. user=vaughan [2010-07-10 01:34:28] 531*2^840715-1 is not prime. Res64: E859CEAFEED340A7 Time : 1017.0 sec. user=vaughan [2010-07-10 01:34:39] 441*2^840715-1 is not prime. Res64: 4F8F5ABDF0178625 Time : 1085.0 sec. user=vaughan [2010-07-10 01:39:11] 495*2^840716-1 is not prime. Res64: 52BE9A3401890295 Time : 1051.0 sec. user=vaughan [2010-07-10 01:40:03] 507*2^840716-1 is not prime. Res64: 0CF7CE531C81070F Time : 1053.0 sec. user=vaughan [2010-07-10 01:40:40] 493*2^840711-1 is not prime. Res64: 0563EA7414AA1E98 Time : 2935.0 sec. user=vaughan [2010-07-10 01:44:27] 557*2^840716-1 is not prime. Res64: 9AF97B0DB8C217F1 Time : 1017.0 sec. user=vaughan [2010-07-10 01:45:59] 585*2^840716-1 is not prime. Res64: C3D86C4767C38347 Time : 1021.0 sec. user=vaughan [2010-07-10 01:46:12] 545*2^840716-1 is not prime. Res64: E9970FD29CDCE36C Time : 1242.0 sec. user=vaughan [2010-07-10 01:51:25] 499*2^840717-1 is not prime. Res64: 403F52F3982DEFF0 Time : 1017.0 sec. user=vaughan [2010-07-10 01:52:44] 577*2^840717-1 is not prime. Res64: 79F060B5DD69CF05 Time : 1085.0 sec. user=vaughan [2010-07-10 01:56:43] 495*2^840718-1 is not prime. Res64: E2E1A5DC1B891B86 Time : 1053.0 sec. user=vaughan [2010-07-10 01:57:36] 511*2^840719-1 is not prime. Res64: C7DE6CF2CBFB317B Time : 1053.0 sec. user=vaughan [2010-07-10 02:01:25] 589*2^840719-1 is not prime. Res64: BB47613B02FF5045 Time : 1019.0 sec. user=vaughan [2010-07-10 02:02:57] 595*2^840719-1 is not prime. Res64: 9CDFEB9709DB2B1A Time : 1019.0 sec. user=vaughan [2010-07-10 02:03:00] 429*2^840717-1 is not prime. Res64: F82469CE6DC34431 Time : 1826.0 sec. user=vaughan [2010-07-10 02:07:11] 465*2^840720-1 is not prime. Res64: 07DD703A2D4FDCE4 Time : 1260.0 sec. user=vaughan [2010-07-10 02:08:21] 549*2^840720-1 is not prime. Res64: 01E745BC60B5C3E7 Time : 1016.0 sec. user=vaughan [2010-07-10 02:10:48] 567*2^840720-1 is not prime. Res64: 817C94736ACB9310 Time : 1085.0 sec. user=vaughan [2010-07-10 02:12:32] 519*2^840716-1 is not prime. Res64: C21AB0C952A5C971 Time : 2953.0 sec. user=vaughan [2010-07-10 02:14:13] 411*2^840721-1 is not prime. Res64: E0B85B49A1E2DB2E Time : 1050.0 sec. user=vaughan [2010-07-10 02:15:11] 495*2^840721-1 is not prime. Res64: 37DD29A1530C11BE Time : 1055.0 sec. user=vaughan [2010-07-10 02:18:24] 525*2^840721-1 is not prime. Res64: 031F3CBB3E606E66 Time : 1020.0 sec. user=vaughan [2010-07-10 02:19:58] 435*2^840722-1 is not prime. Res64: 1EDC8C11BDAA9D80 Time : 1021.0 sec. user=vaughan [2010-07-10 02:25:18] 503*2^840722-1 is not prime. Res64: E6BBCFC639837EA2 Time : 1017.0 sec. user=vaughan [2010-07-10 02:27:48] 501*2^840722-1 is not prime. Res64: 55157B494C3325E6 Time : 1237.0 sec. user=vaughan [2010-07-10 02:28:22] 531*2^840719-1 is not prime. Res64: C1E295A4D8142685 Time : 2862.0 sec. user=vaughan [2010-07-10 02:28:54] 521*2^840722-1 is not prime. Res64: BFC212C890D756AD Time : 1086.0 sec. user=vaughan [2010-07-10 02:31:45] 433*2^840723-1 is not prime. Res64: 6E15D4EDB8BB9232 Time : 1052.0 sec. user=vaughan [2010-07-10 02:32:43] 451*2^840723-1 is not prime. Res64: ADCC9D87C11A40F1 Time : 1053.0 sec. user=vaughan [2010-07-10 02:33:29] 495*2^840722-1 is not prime. Res64: 0296E28C3DEBD16F Time : 1829.0 sec. user=vaughan [2010-07-10 02:35:23] 493*2^840723-1 is not prime. Res64: 199AC939E9AF8BE1 Time : 1020.0 sec. user=vaughan [2010-07-10 02:36:59] 523*2^840723-1 is not prime. Res64: A093E6422D98A228 Time : 1022.0 sec. user=vaughan [2010-07-10 02:42:17] 571*2^840723-1 is not prime. Res64: 582EC2533EA38814 Time : 1019.0 sec. user=vaughan [2010-07-10 02:47:02] 527*2^840724-1 is not prime. Res64: 5254AD7AEC98F65F Time : 1088.0 sec. user=vaughan [2010-07-10 02:48:18] 413*2^840724-1 is not prime. Res64: EF4957B1C19C019D Time : 1231.0 sec. user=vaughan [2010-07-10 02:49:16] 445*2^840725-1 is not prime. Res64: FDEB214EDC979591 Time : 1051.0 sec. user=vaughan [2010-07-10 02:50:17] 447*2^840725-1 is not prime. Res64: 6750552AC35B9C93 Time : 1054.0 sec. user=vaughan [2010-07-10 02:52:23] 577*2^840725-1 is not prime. Res64: 3F2A7B37DC6B7B9D Time : 1020.0 sec. user=vaughan [2010-07-10 02:54:02] 483*2^840726-1 is not prime. Res64: 4DE03C5CDAB4E68B Time : 1023.0 sec. user=vaughan [2010-07-10 02:59:12] 485*2^840726-1 is not prime. Res64: 80812A02E0496D1E Time : 1015.0 sec. user=vaughan [2010-07-10 03:01:28] 581*2^840722-1 is not prime. Res64: D04602ECEE19CC71 Time : 2937.0 sec. user=vaughan [2010-07-10 03:03:53] 517*2^840725-1 is not prime. Res64: 9C769D7A3AA94F4C Time : 1825.0 sec. user=vaughan [2010-07-10 03:05:06] 525*2^840726-1 is not prime. Res64: 934EB112DCE4C5EB Time : 1084.0 sec. user=vaughan [2010-07-10 03:06:47] 483*2^840727-1 is not prime. Res64: 418055659FF55892 Time : 1051.0 sec. user=vaughan [2010-07-10 03:07:49] 549*2^840727-1 is not prime. Res64: 892B179C88AFBCE4 Time : 1052.0 sec. user=vaughan [2010-07-10 03:08:26] 441*2^840727-1 is not prime. Res64: AD5E11883929D528 Time : 1208.0 sec. user=vaughan [2010-07-10 03:09:20] 555*2^840727-1 is not prime. Res64: BAD235A662171977 Time : 1018.0 sec. user=vaughan [2010-07-10 03:11:02] 425*2^840728-1 is not prime. Res64: 6113CBFCE86D5E6D Time : 1020.0 sec. user=vaughan [2010-07-10 03:15:58] 507*2^840724-1 is not prime. Res64: 3EF8C44A136DDE01 Time : 2856.0 sec. user=vaughan [2010-07-10 03:16:09] 503*2^840728-1 is not prime. Res64: BE5EE26A89F985CE Time : 1017.0 sec. user=vaughan [2010-07-10 03:23:11] 459*2^840729-1 is not prime. Res64: 7390043C7FA618BE Time : 1085.0 sec. user=vaughan [2010-07-10 03:24:17] 565*2^840729-1 is not prime. Res64: A71EE591793B112D Time : 1051.0 sec. user=vaughan [2010-07-10 03:25:23] 401*2^840730-1 is not prime. Res64: 01FC85649F15224A Time : 1054.0 sec. user=vaughan [2010-07-10 03:26:17] 467*2^840730-1 is not prime. Res64: 602E2A86A666258F Time : 1017.0 sec. user=vaughan [2010-07-10 03:28:02] 483*2^840730-1 is not prime. Res64: 92097F8A2E388AAB Time : 1020.0 sec. user=vaughan [2010-07-10 03:28:54] 411*2^840730-1 is not prime. Res64: 474950E094E7374E Time : 1229.0 sec. user=vaughan [2010-07-10 03:33:04] 525*2^840730-1 is not prime. Res64: E1A9D92B74B9560D Time : 1016.0 sec. user=vaughan [2010-07-10 03:34:37] 567*2^840728-1 is not prime. Res64: 3D1714E1E6BE2E7C Time : 1844.0 sec. user=vaughan [2010-07-10 03:41:22] 531*2^840730-1 is not prime. Res64: 7D6EF4AF61BF0206 Time : 1092.0 sec. user=vaughan [2010-07-10 03:41:48] 555*2^840730-1 is not prime. Res64: 1718CA7B11836F9D Time : 1051.0 sec. user=vaughan [2010-07-10 03:42:56] 567*2^840730-1 is not prime. Res64: CB467A98C2FB8F2B Time : 1054.0 sec. user=vaughan [2010-07-10 03:43:25] 593*2^840730-1 is not prime. Res64: 8112CC9AE7359814 Time : 1028.0 sec. user=vaughan [2010-07-10 03:45:06] 409*2^840731-1 is not prime. Res64: 9EE8818E837FC031 Time : 1024.0 sec. user=vaughan [2010-07-10 03:49:17] 519*2^840731-1 is not prime. Res64: 28B59C91B6AE82F7 Time : 1223.0 sec. user=vaughan [2010-07-10 03:50:16] 453*2^840732-1 is not prime. Res64: 05C3E0CF552F6A27 Time : 1032.0 sec. user=vaughan [2010-07-10 03:50:32] 525*2^840728-1 is not prime. Res64: 665B3C7D7E300475 Time : 2945.0 sec. user=vaughan [2010-07-10 03:59:18] 545*2^840732-1 is not prime. Res64: A37C1AB69A7AD2C3 Time : 1050.0 sec. user=vaughan [2010-07-10 03:59:48] 497*2^840732-1 is not prime. Res64: E9E81580578EE166 Time : 1106.0 sec. user=vaughan [2010-07-10 04:00:33] 549*2^840732-1 is not prime. Res64: CBA946BFF2AFDDB6 Time : 1057.0 sec. user=vaughan [2010-07-10 04:00:51] 555*2^840732-1 is not prime. Res64: 313C45BEFBC6D7C0 Time : 1047.0 sec. user=vaughan [2010-07-10 04:02:22] 579*2^840732-1 is not prime. Res64: 9459B65E30F20B78 Time : 1036.0 sec. user=vaughan [2010-07-10 04:06:12] 521*2^840730-1 is not prime. Res64: 2E0758B97C3804EA Time : 3014.0 sec. user=vaughan [2010-07-10 04:07:22] 411*2^840733-1 is not prime. Res64: 1CE6C5DC7C13CB4F Time : 1026.0 sec. user=vaughan [2010-07-10 04:10:05] 593*2^840732-1 is not prime. Res64: 408216EDE35E9139 Time : 1248.0 sec. user=vaughan [2010-07-10 04:12:05] 483*2^840732-1 is not prime. Res64: 63528E9A0D1A9D97 Time : 2248.0 sec. user=vaughan [2010-07-10 04:16:55] 441*2^840733-1 is not prime. Res64: A7B0A7D3BD5BEB29 Time : 1057.0 sec. user=vaughan [2010-07-10 04:17:57] 549*2^840733-1 is not prime. Res64: 5539C168897DCD85 Time : 1026.0 sec. user=vaughan [2010-07-10 04:18:06] 507*2^840733-1 is not prime. Res64: 8F30CF0E01DB7B9F Time : 1098.0 sec. user=vaughan [2010-07-10 04:18:10] 541*2^840733-1 is not prime. Res64: C3F21A7E68900EBA Time : 1058.0 sec. user=vaughan [2010-07-10 04:19:25] 567*2^840733-1 is not prime. Res64: 372532641B19E62D Time : 1023.0 sec. user=vaughan [2010-07-10 04:24:23] 453*2^840734-1 is not prime. Res64: 3B812D00093F860E Time : 1021.0 sec. user=vaughan [2010-07-10 04:30:50] 445*2^840735-1 is not prime. Res64: F96A29D5D7CF89C6 Time : 1245.0 sec. user=vaughan [2010-07-10 04:34:32] 591*2^840735-1 is not prime. Res64: 0002EB4D406454B0 Time : 1057.0 sec. user=vaughan [2010-07-10 04:34:54] 435*2^840736-1 is not prime. Res64: 312B7132594E696F Time : 1017.0 sec. user=vaughan [2010-07-10 04:35:49] 507*2^840736-1 is not prime. Res64: 188B2A420DEA7B5F Time : 1060.0 sec. user=vaughan [2010-07-10 04:36:11] 449*2^840736-1 is not prime. Res64: A303D2B5DEDD9F66 Time : 1086.0 sec. user=vaughan [2010-07-10 04:36:24] 519*2^840736-1 is not prime. Res64: 74FE25FBD980C0C1 Time : 1020.0 sec. user=vaughan [2010-07-10 04:39:32] 435*2^840733-1 is not prime. Res64: 8328BA10A7F48EC7 Time : 2941.0 sec. user=vaughan [2010-07-10 04:41:19] 539*2^840736-1 is not prime. Res64: B344C227D3D313D3 Time : 1017.0 sec. user=vaughan [2010-07-10 04:51:27] 421*2^840737-1 is not prime. Res64: 0891B46FC2E84481 Time : 1237.0 sec. user=vaughan [2010-07-10 04:51:53] 469*2^840737-1 is not prime. Res64: F1C4C4ED6CE6E8D3 Time : 1019.0 sec. user=vaughan [2010-07-10 04:52:10] 439*2^840737-1 is not prime. Res64: FE8FB63EF9A18B9A Time : 1058.0 sec. user=vaughan [2010-07-10 04:53:24] 401*2^840738-1 is not prime. Res64: 6A3BEAD2B0C1B812 Time : 1020.0 sec. user=vaughan [2010-07-10 04:53:32] 475*2^840737-1 is not prime. Res64: 752DF24DEC692819 Time : 1064.0 sec. user=vaughan [2010-07-10 04:54:15] 477*2^840737-1 is not prime. Res64: A67FA58A46D115CD Time : 1084.0 sec. user=vaughan [2010-07-10 04:54:44] 583*2^840735-1 is not prime. Res64: 16E0B2CCA787BEDA Time : 2559.0 sec. user=vaughan [2010-07-10 04:55:34] 407*2^840734-1 is not prime. Res64: 534CA3641BBCA1CE Time : 2962.0 sec. user=vaughan [2010-07-10 04:58:15] 423*2^840738-1 is not prime. Res64: 31D24AF06826D2F8 Time : 1016.0 sec. user=vaughan [2010-07-10 05:08:51] 551*2^840738-1 is not prime. Res64: C826921403464190 Time : 1018.0 sec. user=vaughan [2010-07-10 05:09:46] 567*2^840738-1 is not prime. Res64: 36113591218647AD Time : 1056.0 sec. user=vaughan [2010-07-10 05:10:23] 585*2^840738-1 is not prime. Res64: 3A1B68B4ACB47228 Time : 1020.0 sec. user=vaughan [2010-07-10 05:11:22] 421*2^840739-1 is not prime. Res64: 7BF0B8E61FE3C8C0 Time : 1070.0 sec. user=vaughan [2010-07-10 05:12:20] 473*2^840740-1 is not prime. Res64: 9B6A9E2D211D3FCA Time : 1085.0 sec. user=vaughan [2010-07-10 05:12:27] 437*2^840738-1 is not prime. Res64: C71F41066B6C64A7 Time : 1260.0 sec. user=vaughan [2010-07-10 05:15:10] 417*2^840741-1 is not prime. Res64: F4FA15587483CD2A Time : 1016.0 sec. user=vaughan [2010-07-10 05:24:12] 405*2^840738-1 is not prime. Res64: 9A17A8665946BD0A Time : 2680.0 sec. user=vaughan [2010-07-10 05:25:48] 427*2^840741-1 is not prime. Res64: 45DE7DB9DC7993B2 Time : 1018.0 sec. user=vaughan [2010-07-10 05:27:19] 487*2^840741-1 is not prime. Res64: 2BC40C31F34CA979 Time : 1053.0 sec. user=vaughan [2010-07-10 05:27:23] 499*2^840741-1 is not prime. Res64: 56552D3251F3E462 Time : 1020.0 sec. user=vaughan [2010-07-10 05:29:00] 525*2^840742-1 is not prime. Res64: C5020884A225E525 Time : 1058.0 sec. user=vaughan [2010-07-10 05:30:24] 533*2^840742-1 is not prime. Res64: 86B7572AEE214197 Time : 1085.0 sec. user=vaughan [2010-07-10 05:32:07] 463*2^840743-1 is not prime. Res64: 214D36687FCB00B5 Time : 1017.0 sec. user=vaughan [2010-07-10 05:33:13] 561*2^840742-1 is not prime. Res64: BF61B5BBA49AB32E Time : 1246.0 sec. user=vaughan [2010-07-10 05:38:22] 483*2^840740-1 is not prime. Res64: D2EF18DBF17D8E0E Time : 2618.0 sec. user=vaughan [2010-07-10 05:42:46] 455*2^840744-1 is not prime. Res64: DF11947540A787E2 Time : 1018.0 sec. user=vaughan [2010-07-10 05:44:22] 479*2^840744-1 is not prime. Res64: E563F7A8724E922C Time : 1020.0 sec. user=vaughan [2010-07-10 05:44:51] 473*2^840744-1 is not prime. Res64: AE9A7009D2FE4FCF Time : 1052.0 sec. user=vaughan [2010-07-10 05:46:36] 489*2^840744-1 is not prime. Res64: 0CBD7E6118F96A10 Time : 1057.0 sec. user=vaughan [2010-07-10 05:48:28] 525*2^840744-1 is not prime. Res64: DB994DD2A7BA69E6 Time : 1084.0 sec. user=vaughan [2010-07-10 05:49:03] 405*2^840745-1 is not prime. Res64: 49142488C71BD21B Time : 1017.0 sec. user=vaughan [2010-07-10 05:50:27] 539*2^840740-1 is not prime. Res64: 0EC2B614B2CD8018 Time : 3294.0 sec. user=vaughan [2010-07-10 05:53:59] 465*2^840745-1 is not prime. Res64: CF18ED1C08C9B76B Time : 1246.0 sec. user=vaughan [2010-07-10 05:59:44] 489*2^840745-1 is not prime. Res64: 11F7F8D4CB79FDE5 Time : 1018.0 sec. user=vaughan [2010-07-10 06:01:22] 589*2^840745-1 is not prime. Res64: D27EDBF13FE63F3B Time : 1020.0 sec. user=vaughan [2010-07-10 06:02:25] 477*2^840746-1 is not prime. Res64: 3A55B9AAE33ED7D9 Time : 1054.0 sec. user=vaughan [2010-07-10 06:04:13] 403*2^840747-1 is not prime. Res64: 77758D4397B8477F Time : 1057.0 sec. user=vaughan [2010-07-10 06:06:00] 433*2^840747-1 is not prime. Res64: 5CD7C5570F73EE9C Time : 1017.0 sec. user=vaughan [2010-07-10 06:06:33] 409*2^840747-1 is not prime. Res64: B4758DF1D5E47E73 Time : 1086.0 sec. user=vaughan [2010-07-10 06:11:15] 523*2^840743-1 is not prime. Res64: 6FDE61620345E9E2 Time : 2824.0 sec. user=vaughan [2010-07-10 06:14:28] 513*2^840747-1 is not prime. Res64: 2E24E4F7F3CF3512 Time : 1229.0 sec. user=vaughan [2010-07-10 06:16:41] 531*2^840747-1 is not prime. Res64: 9A34612470D8DEDA Time : 1018.0 sec. user=vaughan [2010-07-10 06:18:22] 553*2^840747-1 is not prime. Res64: A57BBF2112486914 Time : 1021.0 sec. user=vaughan [2010-07-10 06:18:45] 477*2^840745-1 is not prime. Res64: AC59C0AC0583579F Time : 2423.0 sec. user=vaughan [2010-07-10 06:19:57] 495*2^840748-1 is not prime. Res64: 94E28CB451DE29CE Time : 1052.0 sec. user=vaughan [2010-07-10 06:21:51] 507*2^840748-1 is not prime. Res64: E25AAE87796546D9 Time : 1058.0 sec. user=vaughan [2010-07-10 06:22:56] 513*2^840748-1 is not prime. Res64: C695A0579BF2DEE2 Time : 1017.0 sec. user=vaughan [2010-07-10 06:24:37] 527*2^840748-1 is not prime. Res64: 5610379729B0B06B Time : 1084.0 sec. user=vaughan [2010-07-10 06:33:39] 597*2^840748-1 is not prime. Res64: EB03207E2B50B707 Time : 1018.0 sec. user=vaughan [2010-07-10 06:35:11] 567*2^840748-1 is not prime. Res64: C232A271F9188103 Time : 1243.0 sec. user=vaughan [2010-07-10 06:35:22] 417*2^840749-1 is not prime. Res64: 6EB2B19E6B9EB8C6 Time : 1021.0 sec. user=vaughan [2010-07-10 06:37:29] 511*2^840749-1 is not prime. Res64: 6B40575F9CBF4E77 Time : 1053.0 sec. user=vaughan [2010-07-10 06:39:29] 549*2^840749-1 is not prime. Res64: 9D48E715971F8E9B Time : 1059.0 sec. user=vaughan [2010-07-10 06:39:51] 489*2^840747-1 is not prime. Res64: 545DE6F6CB959FF1 Time : 2964.0 sec. user=vaughan [2010-07-10 06:39:53] 589*2^840749-1 is not prime. Res64: 20C776877AA04553 Time : 1017.0 sec. user=vaughan [2010-07-10 06:42:42] 447*2^840750-1 is not prime. Res64: EB76BCEA20906A0F Time : 1085.0 sec. user=vaughan [2010-07-10 06:50:36] 415*2^840751-1 is not prime. Res64: 3D60956F994F6381 Time : 1018.0 sec. user=vaughan [2010-07-10 06:52:23] 483*2^840751-1 is not prime. Res64: A75C4174748C0120 Time : 1021.0 sec. user=vaughan [2010-07-10 06:55:00] 535*2^840751-1 is not prime. Res64: 01F0E761C7E41AAC Time : 1052.0 sec. user=vaughan [2010-07-10 06:55:39] 465*2^840751-1 is not prime. Res64: 9FE49788A0BF80D3 Time : 1228.0 sec. user=vaughan [2010-07-10 06:56:48] 417*2^840752-1 is not prime. Res64: 5C26D1C1D70570D1 Time : 1016.0 sec. user=vaughan [2010-07-10 06:57:08] 541*2^840751-1 is not prime. Res64: D74876815C3F2F62 Time : 1059.0 sec. user=vaughan [2010-07-10 06:57:18] 507*2^840749-1 is not prime. Res64: 634D6F1EB39251CC Time : 2313.0 sec. user=vaughan [2010-07-10 07:00:25] 539*2^840748-1 is not prime. Res64: 136007BBB6126CD7 Time : 2951.0 sec. user=vaughan [2010-07-10 07:00:47] 467*2^840752-1 is not prime. Res64: 32822A2F82E77358 Time : 1086.0 sec. user=vaughan [2010-07-10 07:07:32] 483*2^840752-1 is not prime. Res64: C3C6DF872EBD0E15 Time : 1016.0 sec. user=vaughan [2010-07-10 07:09:22] 585*2^840752-1 is not prime. Res64: 6B6780DF6D7F32CE Time : 1020.0 sec. user=vaughan [2010-07-10 07:12:47] 517*2^840753-1 is not prime. Res64: 13178E95E690E1E8 Time : 1067.0 sec. user=vaughan [2010-07-10 07:13:43] 527*2^840754-1 is not prime. Res64: C64A2E46F4000017 Time : 1015.0 sec. user=vaughan [2010-07-10 07:14:57] 441*2^840755-1 is not prime. Res64: 1F2A117C6D7CF927 Time : 1069.0 sec. user=vaughan [2010-07-10 07:15:47] 483*2^840754-1 is not prime. Res64: BE8CC3C7DCEEDCC8 Time : 1208.0 sec. user=vaughan [2010-07-10 07:18:52] 481*2^840755-1 is not prime. Res64: F6488D442F8A119F Time : 1085.0 sec. user=vaughan [2010-07-10 07:24:30] 511*2^840755-1 is not prime. Res64: 863D38AEB1715D3B Time : 1018.0 sec. user=vaughan [2010-07-10 07:26:22] 405*2^840756-1 is not prime. Res64: D978AD988F51AADF Time : 1020.0 sec. user=vaughan [2010-07-10 07:26:44] 459*2^840755-1 is not prime. Res64: C8B6801A11AAE41A Time : 1766.0 sec. user=vaughan [2010-07-10 07:29:13] 405*2^840752-1 is not prime. Res64: ABD2739371C2A46E Time : 2962.0 sec. user=vaughan [2010-07-10 07:30:28] 437*2^840756-1 is not prime. Res64: 9E8841B6D0ED3D4D Time : 1061.0 sec. user=vaughan [2010-07-10 07:30:39] 455*2^840756-1 is not prime. Res64: FEF4A6CBB6A54E4F Time : 1016.0 sec. user=vaughan [2010-07-10 07:32:37] 513*2^840756-1 is not prime. Res64: 6E69FAE84BA77EBB Time : 1060.0 sec. user=vaughan [2010-07-10 07:36:47] 545*2^840756-1 is not prime. Res64: DD3570CF919D4ED2 Time : 1260.0 sec. user=vaughan [2010-07-10 07:36:57] 405*2^840757-1 is not prime. Res64: D27EE507DC29399E Time : 1085.0 sec. user=vaughan [2010-07-10 07:41:28] 477*2^840757-1 is not prime. Res64: EEEA8D96E680C7D5 Time : 1018.0 sec. user=vaughan [2010-07-10 07:43:23] 505*2^840757-1 is not prime. Res64: E55697F451FB6314 Time : 1021.0 sec. user=vaughan [2010-07-10 07:46:39] 469*2^840755-1 is not prime. Res64: 4EACF3B352A29766 Time : 2774.0 sec. user=vaughan [2010-07-10 07:47:36] 441*2^840759-1 is not prime. Res64: F57FA8C08D4ACE31 Time : 1017.0 sec. user=vaughan [2010-07-10 07:51:00] 465*2^840759-1 is not prime. Res64: 761CFF7C7370FC94 Time : 1103.0 sec. user=vaughan [2010-07-10 07:53:02] 575*2^840758-1 is not prime. Res64: 33BB8B2ADE4E4751 Time : 1354.0 sec. user=vaughan [2010-07-10 07:53:42] 545*2^840758-1 is not prime. Res64: F50AF6381E5EF17F Time : 1618.0 sec. user=vaughan [2010-07-10 07:55:01] 525*2^840760-1 is not prime. Res64: 76EAF084501B5279 Time : 1085.0 sec. user=vaughan [2010-07-10 07:57:04] 407*2^840760-1 is not prime. Res64: 66288FE7416D888F Time : 1217.0 sec. user=vaughan [2010-07-10 07:58:27] 539*2^840760-1 is not prime. Res64: 9186D8AFBD05B0FE Time : 1019.0 sec. user=vaughan [2010-07-10 08:00:34] 421*2^840761-1 is not prime. Res64: 59BE94B523587302 Time : 1031.0 sec. user=vaughan [2010-07-10 08:04:43] 417*2^840762-1 is not prime. Res64: 13E689E9C8BFBD5F Time : 1027.0 sec. user=vaughan [2010-07-10 08:09:29] 563*2^840762-1 is not prime. Res64: 3A5DA9D655A7A054 Time : 1109.0 sec. user=vaughan [2010-07-10 08:13:27] 421*2^840763-1 is not prime. Res64: BD1C39042FF73211 Time : 1106.0 sec. user=vaughan [2010-07-10 08:15:58] 511*2^840763-1 is not prime. Res64: A412DA7D9C27AE08 Time : 1052.0 sec. user=vaughan [2010-07-10 08:16:34] 557*2^840758-1 is not prime. Res64: 1740F6F4623BC88C Time : 2842.0 sec. user=vaughan [2010-07-10 08:17:14] 495*2^840763-1 is not prime. Res64: 6E3023824B03C7C8 Time : 1211.0 sec. user=vaughan [2010-07-10 08:17:39] 583*2^840763-1 is not prime. Res64: 787A5C132B942ACF Time : 1026.0 sec. user=vaughan [2010-07-10 08:20:19] 411*2^840763-1 is not prime. Res64: D241AB6E71FAA10A Time : 1598.0 sec. user=vaughan [2010-07-10 08:21:51] 483*2^840764-1 is not prime. Res64: 6EC7808D8B83F564 Time : 1029.0 sec. user=vaughan [2010-07-10 08:23:52] 567*2^840762-1 is not prime. Res64: 0BEE4B14A145DCA3 Time : 1850.0 sec. user=vaughan [2010-07-10 08:28:06] 489*2^840764-1 is not prime. Res64: 9237D2880609BB50 Time : 1118.0 sec. user=vaughan [2010-07-10 08:31:53] 507*2^840764-1 is not prime. Res64: B52B9DF9A6742707 Time : 1107.0 sec. user=vaughan [2010-07-10 08:33:08] 517*2^840761-1 is not prime. Res64: E77A0193965B07FA Time : 2789.0 sec. user=vaughan [2010-07-10 08:33:13] 475*2^840765-1 is not prime. Res64: 6D678A752D5A0435 Time : 1036.0 sec. user=vaughan [2010-07-10 08:34:48] 597*2^840765-1 is not prime. Res64: 71F674C93B616BD9 Time : 1029.0 sec. user=vaughan [2010-07-10 08:37:35] 507*2^840765-1 is not prime. Res64: 38F05C8309B6EB73 Time : 1221.0 sec. user=vaughan [2010-07-10 08:39:08] 465*2^840766-1 is not prime. Res64: C363632A7942EB2A Time : 1037.0 sec. user=vaughan [2010-07-10 08:46:48] 545*2^840766-1 is not prime. Res64: 077A73E4BA2FF8D3 Time : 1122.0 sec. user=vaughan [2010-07-10 08:46:49] 425*2^840766-1 is not prime. Res64: 156A7B1BDC18CCC0 Time : 1590.0 sec. user=vaughan [2010-07-10 08:50:15] 523*2^840767-1 is not prime. Res64: 9756402089335DCD Time : 1102.0 sec. user=vaughan [2010-07-10 08:50:24] 585*2^840767-1 is not prime. Res64: EE96C59E37AD2D8D Time : 1032.0 sec. user=vaughan [2010-07-10 08:51:54] 459*2^840768-1 is not prime. Res64: 2FFFCD7A00DD7DAD Time : 1026.0 sec. user=vaughan [2010-07-10 08:53:55] 471*2^840766-1 is not prime. Res64: 6858DF3159C52EA8 Time : 1803.0 sec. user=vaughan [2010-07-10 08:56:11] 549*2^840768-1 is not prime. Res64: 80908FD49F8E5BF7 Time : 1023.0 sec. user=vaughan [2010-07-10 08:58:14] 513*2^840768-1 is not prime. Res64: 453EF85C03126C2A Time : 1239.0 sec. user=vaughan [2010-07-10 09:05:30] 597*2^840768-1 is not prime. Res64: 7ED298BA2EFBE9D8 Time : 1122.0 sec. user=vaughan [2010-07-10 09:07:23] 439*2^840769-1 is not prime. Res64: 702C29C728E28C70 Time : 1019.0 sec. user=vaughan [2010-07-10 09:08:20] 421*2^840769-1 is not prime. Res64: 64DC8F43E9871706 Time : 1086.0 sec. user=vaughan [2010-07-10 09:08:33] 495*2^840765-1 is not prime. Res64: 0EDEDB56DE7D3E70 Time : 3120.0 sec. user=vaughan [2010-07-10 09:08:54] 441*2^840769-1 is not prime. Res64: 1BB8C8615674DC62 Time : 1020.0 sec. user=vaughan [2010-07-10 09:13:08] 537*2^840769-1 is not prime. Res64: 191EDFC547FC67A8 Time : 1018.0 sec. user=vaughan [2010-07-10 09:13:39] 415*2^840769-1 is not prime. Res64: 3F61E16D17093EDD Time : 1610.0 sec. user=vaughan [2010-07-10 09:18:42] 533*2^840770-1 is not prime. Res64: 479E37C15547DE38 Time : 1228.0 sec. user=vaughan [2010-07-10 09:23:52] 567*2^840770-1 is not prime. Res64: 288A9CC9A08F332A Time : 1103.0 sec. user=vaughan [2010-07-10 09:24:22] 415*2^840771-1 is not prime. Res64: 4C3E8063C6901DB8 Time : 1019.0 sec. user=vaughan [2010-07-10 09:24:36] 447*2^840769-1 is not prime. Res64: 7E0AA7846F0262AC Time : 1841.0 sec. user=vaughan [2010-07-10 09:25:55] 559*2^840773-1 is not prime. Res64: 49165F13E958AC16 Time : 1021.0 sec. user=vaughan [2010-07-10 09:26:26] 435*2^840772-1 is not prime. Res64: 5DC83D1ED547D2C7 Time : 1086.0 sec. user=vaughan [2010-07-10 09:28:17] 553*2^840767-1 is not prime. Res64: 446B44C890312BE7 Time : 3309.0 sec. user=vaughan [2010-07-10 09:30:05] 591*2^840773-1 is not prime. Res64: AA7049E0F6869606 Time : 1017.0 sec. user=vaughan [2010-07-10 09:38:59] 437*2^840774-1 is not prime. Res64: BAB135D4CE17F51D Time : 1217.0 sec. user=vaughan [2010-07-10 09:41:05] 413*2^840774-1 is not prime. Res64: 2D6C2A79C23356FD Time : 1646.0 sec. user=vaughan [2010-07-10 09:41:20] 557*2^840774-1 is not prime. Res64: 2E91E411420BD45B Time : 1019.0 sec. user=vaughan [2010-07-10 09:42:07] 443*2^840774-1 is not prime. Res64: BB591960E496E2C3 Time : 1096.0 sec. user=vaughan [2010-07-10 09:42:54] 411*2^840775-1 is not prime. Res64: 860BAEF5C7582820 Time : 1019.0 sec. user=vaughan [2010-07-10 09:44:31] 589*2^840775-1 is not prime. Res64: 7EE03B3C9D0466C9 Time : 1085.0 sec. user=vaughan [2010-07-10 09:47:01] 573*2^840776-1 is not prime. Res64: 2E18F2F3245D84EC Time : 1016.0 sec. user=vaughan [2010-07-10 09:55:32] 567*2^840774-1 is not prime. Res64: 4C01920793BD6040 Time : 1857.0 sec. user=vaughan [2010-07-10 09:58:19] 571*2^840777-1 is not prime. Res64: D2987ED8EFA66979 Time : 1019.0 sec. user=vaughan [2010-07-10 09:59:23] 475*2^840777-1 is not prime. Res64: 5E93F36840DF8587 Time : 1225.0 sec. user=vaughan [2010-07-10 09:59:55] 437*2^840778-1 is not prime. Res64: 3984E44DEFCDC1F8 Time : 1021.0 sec. user=vaughan [2010-07-10 10:00:33] 585*2^840777-1 is not prime. Res64: 4A24B9D43A3B9A26 Time : 1106.0 sec. user=vaughan [2010-07-10 10:02:35] 483*2^840778-1 is not prime. Res64: F263612623E5AB7E Time : 1085.0 sec. user=vaughan [2010-07-10 10:03:59] 561*2^840778-1 is not prime. Res64: 9CBCF4D375A66237 Time : 1018.0 sec. user=vaughan [2010-07-10 10:05:52] 485*2^840772-1 is not prime. Res64: 5877E26B1F72FE85 Time : 3439.0 sec. user=vaughan [2010-07-10 10:08:18] 529*2^840777-1 is not prime. Res64: B4F12FA50E2A8ED9 Time : 1634.0 sec. user=vaughan [2010-07-10 10:15:19] 403*2^840779-1 is not prime. Res64: 3BE401E1EEB3FE2C Time : 1020.0 sec. user=vaughan [2010-07-10 10:16:54] 571*2^840779-1 is not prime. Res64: 0AE8BDFA4BEFE9A4 Time : 1020.0 sec. user=vaughan [2010-07-10 10:19:04] 573*2^840779-1 is not prime. Res64: 69A407F5D1C5B45E Time : 1111.0 sec. user=vaughan [2010-07-10 10:19:34] 433*2^840779-1 is not prime. Res64: E57769F5D0D7BFD6 Time : 1211.0 sec. user=vaughan [2010-07-10 10:20:39] 425*2^840780-1 is not prime. Res64: 4D6DCF0E7BE6105A Time : 1084.0 sec. user=vaughan [2010-07-10 10:20:56] 429*2^840780-1 is not prime. Res64: 0412673ACA8778E7 Time : 1017.0 sec. user=vaughan [2010-07-10 10:22:09] 425*2^840776-1 is not prime. Res64: 3DD4F5928C8C3160 Time : 3232.0 sec. user=vaughan [2010-07-10 10:25:41] 575*2^840778-1 is not prime. Res64: AE27EC725DA6ED08 Time : 1810.0 sec. user=vaughan [2010-07-10 10:32:17] 495*2^840781-1 is not prime. Res64: 1EE74D889A3379FD Time : 1019.0 sec. user=vaughan [2010-07-10 10:33:54] 507*2^840781-1 is not prime. Res64: 7E2B7BA2894CB2EA Time : 1020.0 sec. user=vaughan [2010-07-10 10:35:27] 421*2^840781-1 is not prime. Res64: CC267EBC9CC8CC75 Time : 1630.0 sec. user=vaughan [2010-07-10 10:37:29] 549*2^840781-1 is not prime. Res64: A3A61BA893B6A6FA Time : 1105.0 sec. user=vaughan [2010-07-10 10:37:52] 425*2^840782-1 is not prime. Res64: FFDD5936A2B6BFA4 Time : 1017.0 sec. user=vaughan [2010-07-10 10:38:44] 417*2^840782-1 is not prime. Res64: 9139425FC17269A1 Time : 1086.0 sec. user=vaughan [2010-07-10 10:39:50] 407*2^840782-1 is not prime. Res64: 512A2FE3C62C9688 Time : 1217.0 sec. user=vaughan [2010-07-10 10:49:17] 557*2^840782-1 is not prime. Res64: FF516ABDA2CB0644 Time : 1020.0 sec. user=vaughan [2010-07-10 10:50:53] 593*2^840782-1 is not prime. Res64: 1D3A42F41BB1A592 Time : 1020.0 sec. user=vaughan [2010-07-10 10:54:49] 471*2^840783-1 is not prime. Res64: 72D737F518DF7445 Time : 1017.0 sec. user=vaughan [2010-07-10 10:56:03] 525*2^840782-1 is not prime. Res64: 22186C4E341B6890 Time : 1823.0 sec. user=vaughan [2010-07-10 10:56:11] 459*2^840783-1 is not prime. Res64: B6698BE81418FDBE Time : 1123.0 sec. user=vaughan [2010-07-10 10:56:48] 501*2^840783-1 is not prime. Res64: 73719140EA9B4287 Time : 1084.0 sec. user=vaughan [2010-07-10 11:00:11] 583*2^840783-1 is not prime. Res64: 8635D24C49CB5F41 Time : 1221.0 sec. user=vaughan [2010-07-10 11:01:14] 483*2^840780-1 is not prime. Res64: 090896F04FC45A8F Time : 3322.0 sec. user=vaughan [2010-07-10 11:02:01] 423*2^840783-1 is not prime. Res64: EE42AE24ADD6E4E2 Time : 1594.0 sec. user=vaughan [2010-07-10 11:06:20] 585*2^840783-1 is not prime. Res64: 9501A4F22708FD05 Time : 1023.0 sec. user=vaughan [2010-07-10 11:07:52] 413*2^840784-1 is not prime. Res64: B08F16E2C0C8E197 Time : 1019.0 sec. user=vaughan [2010-07-10 11:11:45] 483*2^840784-1 is not prime. Res64: B92EA3B7C5B8116A Time : 1017.0 sec. user=vaughan [2010-07-10 11:13:38] 467*2^840782-1 is not prime. Res64: 81E3BA218CC7A213 Time : 3089.0 sec. user=vaughan [2010-07-10 11:14:54] 575*2^840784-1 is not prime. Res64: 81539984A269DC12 Time : 1086.0 sec. user=vaughan [2010-07-10 11:14:56] 495*2^840784-1 is not prime. Res64: 2057515E068251E6 Time : 1125.0 sec. user=vaughan [2010-07-10 11:22:45] 597*2^840784-1 is not prime. Res64: D118AEA9CC7ED7CE Time : 1354.0 sec. user=vaughan [2010-07-10 11:23:20] 511*2^840785-1 is not prime. Res64: A770BA57E442A21E Time : 1021.0 sec. user=vaughan [2010-07-10 11:24:53] 579*2^840785-1 is not prime. Res64: 10649B3D5DF44815 Time : 1021.0 sec. user=vaughan [2010-07-10 11:26:21] 489*2^840784-1 is not prime. Res64: 038185A9B97DC1A9 Time : 1818.0 sec. user=vaughan [2010-07-10 11:28:42] 589*2^840785-1 is not prime. Res64: A39A221798A2ECE0 Time : 1017.0 sec. user=vaughan [2010-07-10 11:28:43] 475*2^840785-1 is not prime. Res64: D62561A3310427BC Time : 1603.0 sec. user=vaughan [2010-07-10 11:32:59] 437*2^840786-1 is not prime. Res64: 2DA395EA876E8D8D Time : 1085.0 sec. user=vaughan [2010-07-10 11:33:32] 473*2^840786-1 is not prime. Res64: 39705DA9A4F0C67E Time : 1116.0 sec. user=vaughan [2010-07-10 11:39:27] 405*2^840785-1 is not prime. Res64: 80DD283EA815CE2E Time : 2294.0 sec. user=vaughan [2010-07-10 11:40:20] 555*2^840787-1 is not prime. Res64: C46D5FF38CA98FD6 Time : 1021.0 sec. user=vaughan [2010-07-10 11:41:53] 589*2^840787-1 is not prime. Res64: D7FDD062966FFAE9 Time : 1020.0 sec. user=vaughan [2010-07-10 11:45:38] 495*2^840788-1 is not prime. Res64: 9B14F53686B8F60D Time : 1016.0 sec. user=vaughan [2010-07-10 11:46:24] 585*2^840786-1 is not prime. Res64: 2405705E5F4A3DFE Time : 1419.0 sec. user=vaughan [2010-07-10 11:48:15] 411*2^840786-1 is not prime. Res64: 95A91D354676F01B Time : 2077.0 sec. user=vaughan [2010-07-10 11:51:03] 537*2^840788-1 is not prime. Res64: 70703CD97087ECA3 Time : 1084.0 sec. user=vaughan [2010-07-10 11:52:09] 441*2^840789-1 is not prime. Res64: 69D4E538074985CB Time : 1117.0 sec. user=vaughan [2010-07-10 11:54:55] 519*2^840788-1 is not prime. Res64: 1AFFFDF8A6556355 Time : 1572.0 sec. user=vaughan [2010-07-10 11:56:44] 453*2^840788-1 is not prime. Res64: 5E09C5710FB183F9 Time : 1824.0 sec. user=vaughan [2010-07-10 11:57:18] 549*2^840789-1 is not prime. Res64: 8452DF87368D9FC0 Time : 1018.0 sec. user=vaughan [2010-07-10 11:58:52] 595*2^840789-1 is not prime. Res64: 1ED76E4DC165EC2E Time : 1020.0 sec. user=vaughan [2010-07-10 12:00:57] 495*2^840789-1 is not prime. Res64: 57DC11411902DF31 Time : 1290.0 sec. user=vaughan [2010-07-10 12:02:36] 443*2^840790-1 is not prime. Res64: 6819955D982F8116 Time : 1018.0 sec. user=vaughan [2010-07-10 12:06:17] 477*2^840790-1 is not prime. Res64: 6C3183176873B95F Time : 1193.0 sec. user=vaughan [2010-07-10 12:07:17] 495*2^840790-1 is not prime. Res64: 95DC26E31EBF8EEC Time : 1143.0 sec. user=vaughan [2010-07-10 12:09:09] 567*2^840790-1 is not prime. Res64: CBE75C6035D52E42 Time : 1086.0 sec. user=vaughan [2010-07-10 12:10:55] 445*2^840791-1 is not prime. Res64: FB2E5D3E26585CFA Time : 1127.0 sec. user=vaughan [2010-07-10 12:14:26] 455*2^840792-1 is not prime. Res64: 6F016B732A0B7B53 Time : 1028.0 sec. user=vaughan [2010-07-10 12:16:06] 427*2^840793-1 is not prime. Res64: 38E8A7766A86042B Time : 1034.0 sec. user=vaughan [2010-07-10 12:19:44] 565*2^840793-1 is not prime. Res64: 9086CBA29B2CB8B4 Time : 1028.0 sec. user=vaughan [2010-07-10 12:20:05] 471*2^840793-1 is not prime. Res64: D91078BC7DB41ED6 Time : 1149.0 sec. user=vaughan [2010-07-10 12:20:10] 549*2^840791-1 is not prime. Res64: 4184950E05CE90FE Time : 1516.0 sec. user=vaughan [2010-07-10 12:25:59] 447*2^840794-1 is not prime. Res64: E445DC450613174F Time : 1182.0 sec. user=vaughan [2010-07-10 12:26:24] 525*2^840794-1 is not prime. Res64: D3552CBBF2C68E33 Time : 1147.0 sec. user=vaughan [2010-07-10 12:27:05] 559*2^840791-1 is not prime. Res64: C73D5B3174AECE2E Time : 1822.0 sec. user=vaughan [2010-07-10 12:27:30] 563*2^840794-1 is not prime. Res64: E57107286D792B2D Time : 1102.0 sec. user=vaughan [2010-07-10 12:29:43] 573*2^840794-1 is not prime. Res64: E93CF561CEF2E7C2 Time : 1128.0 sec. user=vaughan [2010-07-10 12:31:39] 587*2^840794-1 is not prime. Res64: DE7CB1F79B2DF554 Time : 1034.0 sec. user=vaughan [2010-07-10 12:33:10] 453*2^840795-1 is not prime. Res64: D5D5CF5027720E15 Time : 1024.0 sec. user=vaughan [2010-07-10 12:36:57] 469*2^840795-1 is not prime. Res64: 686BCA66342D6079 Time : 1033.0 sec. user=vaughan [2010-07-10 12:38:46] 489*2^840795-1 is not prime. Res64: 794CD5765023A04C Time : 1121.0 sec. user=vaughan [2010-07-10 12:41:13] 511*2^840795-1 is not prime. Res64: 0E835D5179AC933C Time : 1263.0 sec. user=vaughan [2010-07-10 12:44:56] 579*2^840795-1 is not prime. Res64: A1616F1D75AD39F1 Time : 1113.0 sec. user=vaughan [2010-07-10 12:45:03] 553*2^840795-1 is not prime. Res64: 69124A1F9FA7C78F Time : 1144.0 sec. user=vaughan [2010-07-10 12:45:43] 437*2^840796-1 is not prime. Res64: E3F2980C15389FA4 Time : 1094.0 sec. user=vaughan [2010-07-10 12:48:27] 449*2^840796-1 is not prime. Res64: 9314662F7ED537E0 Time : 1125.0 sec. user=vaughan [2010-07-10 12:48:59] 453*2^840796-1 is not prime. Res64: 038FE3B0A5BBE3BD Time : 1040.0 sec. user=vaughan [2010-07-10 12:50:15] 537*2^840796-1 is not prime. Res64: 9EFF4DC5904A9B5B Time : 1025.0 sec. user=vaughan [2010-07-10 12:54:06] 577*2^840797-1 is not prime. Res64: A72899412A34F1A7 Time : 1029.0 sec. user=vaughan [2010-07-10 12:57:11] 435*2^840796-1 is not prime. Res64: 7F01E5693A418C5E Time : 1807.0 sec. user=vaughan [2010-07-10 12:57:18] 473*2^840798-1 is not prime. Res64: AA7013B023F32C35 Time : 1112.0 sec. user=vaughan [2010-07-10 13:01:34] 485*2^840798-1 is not prime. Res64: B3D4BF9A38EDC39F Time : 1221.0 sec. user=vaughan [2010-07-10 13:03:30] 525*2^840798-1 is not prime. Res64: 3E1AE326DE70276D Time : 1115.0 sec. user=vaughan [2010-07-10 13:03:51] 421*2^840799-1 is not prime. Res64: FA2FBBBF8866BCFE Time : 1088.0 sec. user=vaughan [2010-07-10 13:04:05] 573*2^840798-1 is not prime. Res64: 908A439F18CC1A4F Time : 1143.0 sec. user=vaughan [2010-07-10 13:06:05] 465*2^840799-1 is not prime. Res64: 48336AABFCA96105 Time : 1026.0 sec. user=vaughan [2010-07-10 13:07:08] 429*2^840799-1 is not prime. Res64: 2D35889BEC1D1D06 Time : 1121.0 sec. user=vaughan [2010-07-10 13:07:19] 469*2^840799-1 is not prime. Res64: C9958EAABEF93C80 Time : 1024.0 sec. user=vaughan [2010-07-10 13:11:07] 489*2^840799-1 is not prime. Res64: 28942DFDFFA70626 Time : 1021.0 sec. user=vaughan [2010-07-10 13:15:51] 459*2^840800-1 is not prime. Res64: 21F0185077D4A854 Time : 1113.0 sec. user=vaughan [2010-07-10 13:21:54] 479*2^840800-1 is not prime. Res64: E5C2A19B50A06AE6 Time : 1221.0 sec. user=vaughan [2010-07-10 13:21:54] 415*2^840801-1 is not prime. Res64: 36D031CF8BDB8DBE Time : 1084.0 sec. user=vaughan [2010-07-10 13:22:01] 567*2^840800-1 is not prime. Res64: F6EB4614E08D5198 Time : 1112.0 sec. user=vaughan [2010-07-10 13:23:04] 549*2^840801-1 is not prime. Res64: B8437B8E95743D93 Time : 1020.0 sec. user=vaughan [2010-07-10 13:23:08] 427*2^840801-1 is not prime. Res64: 48CC71E9D5024467 Time : 1144.0 sec. user=vaughan [2010-07-10 13:24:20] 585*2^840801-1 is not prime. Res64: 12DF70D4BB7EC9B2 Time : 1022.0 sec. user=vaughan [2010-07-10 13:25:46] 577*2^840801-1 is not prime. Res64: B07EC0E2FFBFC95B Time : 1119.0 sec. user=vaughan [2010-07-10 13:27:29] 559*2^840799-1 is not prime. Res64: 0D73D7ABD4373BAA Time : 1819.0 sec. user=vaughan [2010-07-10 13:28:05] 413*2^840802-1 is not prime. Res64: F444561E4091EDC2 Time : 1018.0 sec. user=vaughan [2010-07-10 13:34:20] 461*2^840802-1 is not prime. Res64: 57B0CC42389A3537 Time : 1109.0 sec. user=vaughan [2010-07-10 13:39:59] 465*2^840803-1 is not prime. Res64: B3A9E4C6CC27B981 Time : 1085.0 sec. user=vaughan [2010-07-10 13:40:04] 565*2^840803-1 is not prime. Res64: A3461E1C8116C975 Time : 1020.0 sec. user=vaughan [2010-07-10 13:40:30] 481*2^840803-1 is not prime. Res64: CCCDDAB351B9AF09 Time : 1110.0 sec. user=vaughan [2010-07-10 13:41:20] 437*2^840804-1 is not prime. Res64: 623F1B39B18FC116 Time : 1021.0 sec. user=vaughan [2010-07-10 13:42:08] 571*2^840803-1 is not prime. Res64: 71A266073F4A3017 Time : 1140.0 sec. user=vaughan [2010-07-10 13:42:12] 491*2^840802-1 is not prime. Res64: A00CFA6FB24CB1B5 Time : 1218.0 sec. user=vaughan [2010-07-10 13:45:06] 549*2^840804-1 is not prime. Res64: 64B20E61466B6BA1 Time : 1021.0 sec. user=vaughan [2010-07-10 13:47:22] 465*2^840804-1 is not prime. Res64: 7271FB8D14F3E5E2 Time : 1296.0 sec. user=vaughan [2010-07-10 13:52:53] 587*2^840804-1 is not prime. Res64: 74E19EEA0126E234 Time : 1113.0 sec. user=vaughan [2010-07-10 13:57:04] 541*2^840805-1 is not prime. Res64: 38A5D80DCB76627C Time : 1020.0 sec. user=vaughan [2010-07-10 13:58:02] 409*2^840805-1 is not prime. Res64: 20E04A16C1DF4CDB Time : 1083.0 sec. user=vaughan [2010-07-10 13:58:21] 405*2^840806-1 is not prime. Res64: 5D8A641C9E1C18E7 Time : 1021.0 sec. user=vaughan [2010-07-10 13:59:01] 597*2^840805-1 is not prime. Res64: BCDA4DA8869D8CEC Time : 1111.0 sec. user=vaughan [2010-07-10 14:01:11] 521*2^840806-1 is not prime. Res64: C42A69550285255D Time : 1143.0 sec. user=vaughan [2010-07-10 14:02:04] 441*2^840807-1 is not prime. Res64: BD8AD29D5461B04D Time : 1019.0 sec. user=vaughan [2010-07-10 14:02:30] 551*2^840806-1 is not prime. Res64: FD93CA2B515655CF Time : 1218.0 sec. user=vaughan [2010-07-10 14:11:23] 501*2^840807-1 is not prime. Res64: B0EACCD4F251BFE2 Time : 1110.0 sec. user=vaughan [2010-07-10 14:14:03] 483*2^840808-1 is not prime. Res64: F43BCAA665C9EC9D Time : 1020.0 sec. user=vaughan [2010-07-10 14:14:29] 545*2^840804-1 is not prime. Res64: F79C70A3D0798262 Time : 2821.0 sec. user=vaughan [2010-07-10 14:15:21] 411*2^840809-1 is not prime. Res64: B9EC6B443D92F497 Time : 1020.0 sec. user=vaughan [2010-07-10 14:16:07] 539*2^840808-1 is not prime. Res64: 8BEC80AB11516258 Time : 1085.0 sec. user=vaughan [2010-07-10 14:17:32] 465*2^840809-1 is not prime. Res64: DFC978A0A3EE8F0C Time : 1111.0 sec. user=vaughan [2010-07-10 14:19:02] 595*2^840809-1 is not prime. Res64: 36779C85BC9F6220 Time : 1018.0 sec. user=vaughan [2010-07-10 14:19:54] 451*2^840807-1 is not prime. Res64: 9A6094842E930FA8 Time : 1952.0 sec. user=vaughan [2010-07-10 14:20:13] 579*2^840809-1 is not prime. Res64: 98B2725D079F47C4 Time : 1143.0 sec. user=vaughan [2010-07-10 14:22:46] 537*2^840810-1 is not prime. Res64: C0E8BFDCEA114D57 Time : 1216.0 sec. user=vaughan [2010-07-10 14:29:55] 453*2^840811-1 is not prime. Res64: 2C51ACD8C77B573E Time : 1113.0 sec. user=vaughan [2010-07-10 14:31:03] 531*2^840811-1 is not prime. Res64: 576D513EE44E08DC Time : 1020.0 sec. user=vaughan [2010-07-10 14:32:22] 537*2^840812-1 is not prime. Res64: 4862FFAE539B40DE Time : 1021.0 sec. user=vaughan [2010-07-10 14:34:13] 507*2^840813-1 is not prime. Res64: 5BDBFF795F87EE4B Time : 1086.0 sec. user=vaughan [2010-07-10 14:35:59] 465*2^840814-1 is not prime. Res64: 16C6940870E18B39 Time : 1018.0 sec. user=vaughan [2010-07-10 14:36:01] 443*2^840814-1 is not prime. Res64: B9CACC154158DFE5 Time : 1109.0 sec. user=vaughan [2010-07-10 14:38:50] 503*2^840814-1 is not prime. Res64: FDCF124A20C89C97 Time : 1137.0 sec. user=vaughan [2010-07-10 14:39:16] 433*2^840815-1 is not prime. Res64: A763623EC4076DBA Time : 1143.0 sec. user=vaughan [2010-07-10 14:43:08] 557*2^840816-1 is not prime. Res64: 2232AA6576590359 Time : 1223.0 sec. user=vaughan [2010-07-10 14:47:04] 435*2^840812-1 is not prime. Res64: DBA12A49F21E95AA Time : 1955.0 sec. user=vaughan [2010-07-10 14:48:11] 511*2^840817-1 is not prime. Res64: 9B2B994C7CA08813 Time : 1029.0 sec. user=vaughan [2010-07-10 14:48:29] 499*2^840817-1 is not prime. Res64: 419F03EBD69A6DC1 Time : 1114.0 sec. user=vaughan [2010-07-10 14:49:26] 517*2^840817-1 is not prime. Res64: D50C1B63457BD5BE Time : 1024.0 sec. user=vaughan [2010-07-10 14:52:20] 567*2^840817-1 is not prime. Res64: 5F36AEC32B711266 Time : 1087.0 sec. user=vaughan [2010-07-10 14:53:01] 589*2^840817-1 is not prime. Res64: 41295A4561F1DFEB Time : 1022.0 sec. user=vaughan [2010-07-10 14:54:33] 501*2^840818-1 is not prime. Res64: 4378156F8107D809 Time : 1112.0 sec. user=vaughan [2010-07-10 14:58:22] 545*2^840818-1 is not prime. Res64: 52446D9ADD9C462A Time : 1146.0 sec. user=vaughan [2010-07-10 15:03:23] 561*2^840818-1 is not prime. Res64: 4653850F7D5BF06A Time : 1215.0 sec. user=vaughan [2010-07-10 15:05:14] 415*2^840819-1 is not prime. Res64: 85A2399BAAD5ADF4 Time : 1024.0 sec. user=vaughan [2010-07-10 15:06:28] 455*2^840820-1 is not prime. Res64: 069110E28703935D Time : 1023.0 sec. user=vaughan [2010-07-10 15:06:59] 565*2^840819-1 is not prime. Res64: 24E2325F2E3B3768 Time : 1111.0 sec. user=vaughan [2010-07-10 15:10:00] 579*2^840820-1 is not prime. Res64: E24688212CF6E346 Time : 1019.0 sec. user=vaughan [2010-07-10 15:10:26] 465*2^840820-1 is not prime. Res64: E8655471D9ECC867 Time : 1087.0 sec. user=vaughan [2010-07-10 15:12:30] 525*2^840818-1 is not prime. Res64: 49AD076E3B785EBB Time : 2020.0 sec. user=vaughan [2010-07-10 15:13:04] 409*2^840821-1 is not prime. Res64: C95A6188B86171FA Time : 1112.0 sec. user=vaughan [2010-07-10 15:17:24] 411*2^840821-1 is not prime. Res64: 9E9C5DA16A436726 Time : 1143.0 sec. user=vaughan [2010-07-10 15:22:16] 451*2^840821-1 is not prime. Res64: E03B1A08A6F3F438 Time : 1023.0 sec. user=vaughan [2010-07-10 15:23:31] 495*2^840821-1 is not prime. Res64: 61BC0A8929866DB2 Time : 1023.0 sec. user=vaughan [2010-07-10 15:23:40] 441*2^840821-1 is not prime. Res64: E98A7344EB7E1082 Time : 1217.0 sec. user=vaughan [2010-07-10 15:25:30] 431*2^840822-1 is not prime. Res64: 948FF43DE9A4C351 Time : 1112.0 sec. user=vaughan [2010-07-10 15:25:56] 567*2^840818-1 is not prime. Res64: C1BC7E5D83AFAEA0 Time : 2332.0 sec. user=vaughan [2010-07-10 15:26:59] 437*2^840822-1 is not prime. Res64: 1DF8E9857BC704DC Time : 1019.0 sec. user=vaughan [2010-07-10 15:28:32] 503*2^840822-1 is not prime. Res64: 626942586322B7E5 Time : 1086.0 sec. user=vaughan [2010-07-10 15:31:35] 557*2^840822-1 is not prime. Res64: 2439EE5C6CB79F25 Time : 1111.0 sec. user=vaughan [2010-07-10 15:31:50] 507*2^840822-1 is not prime. Res64: 0A33C526A7A87171 Time : 1160.0 sec. user=vaughan [2010-07-10 15:36:28] 567*2^840822-1 is not prime. Res64: EFB99B09FFF6FF90 Time : 1145.0 sec. user=vaughan [2010-07-10 15:39:18] 585*2^840822-1 is not prime. Res64: 537C156D109AFAA0 Time : 1023.0 sec. user=vaughan [2010-07-10 15:40:32] 423*2^840823-1 is not prime. Res64: 0E24CC1EA07E4011 Time : 1022.0 sec. user=vaughan [2010-07-10 15:43:58] 559*2^840823-1 is not prime. Res64: 226AA8395D750107 Time : 1019.0 sec. user=vaughan [2010-07-10 15:44:01] 451*2^840823-1 is not prime. Res64: 91CD591136FF5BCF Time : 1112.0 sec. user=vaughan [2010-07-10 15:44:04] 441*2^840823-1 is not prime. Res64: D319F7E881060325 Time : 1225.0 sec. user=vaughan [2010-07-10 15:44:19] 523*2^840823-1 is not prime. Res64: 9CD9648D29C69CCD Time : 1103.0 sec. user=vaughan [2010-07-10 15:46:38] 561*2^840823-1 is not prime. Res64: 96DA474A685D2983 Time : 1086.0 sec. user=vaughan [2010-07-10 15:50:06] 425*2^840824-1 is not prime. Res64: 2283F68E3FC7E815 Time : 1111.0 sec. user=vaughan [2010-07-10 15:50:54] 447*2^840824-1 is not prime. Res64: 230C65C8A066F904 Time : 1144.0 sec. user=vaughan [2010-07-10 15:55:28] 459*2^840824-1 is not prime. Res64: 7AD601AA25C637B6 Time : 1140.0 sec. user=vaughan [2010-07-10 15:56:19] 533*2^840824-1 is not prime. Res64: F3AC901C4177C362 Time : 1021.0 sec. user=vaughan [2010-07-10 15:57:34] 585*2^840824-1 is not prime. Res64: A0E11BC1377C13CA Time : 1022.0 sec. user=vaughan [2010-07-10 16:00:55] 593*2^840824-1 is not prime. Res64: 28AE6A783EF47DA8 Time : 1018.0 sec. user=vaughan [2010-07-10 16:02:33] 511*2^840825-1 is not prime. Res64: 98897BBFF1A1992A Time : 1113.0 sec. user=vaughan [2010-07-10 16:02:56] 425*2^840826-1 is not prime. Res64: EF22C460BA15D0A1 Time : 1118.0 sec. user=vaughan [2010-07-10 16:04:19] 413*2^840826-1 is not prime. Res64: B4B7BEBB25ED4DAB Time : 1215.0 sec. user=vaughan [2010-07-10 16:04:43] 471*2^840826-1 is not prime. Res64: 8E657412245B088C Time : 1086.0 sec. user=vaughan [2010-07-10 16:08:32] 497*2^840826-1 is not prime. Res64: 2E42C222241D1653 Time : 1058.0 sec. user=vaughan [2010-07-10 16:08:39] 495*2^840826-1 is not prime. Res64: 09559913CABCA47A Time : 1113.0 sec. user=vaughan [2010-07-10 16:13:20] 567*2^840826-1 is not prime. Res64: 380239EB5A07D0D2 Time : 1022.0 sec. user=vaughan [2010-07-10 16:14:29] 531*2^840826-1 is not prime. Res64: 78FC635EE8E8E783 Time : 1141.0 sec. user=vaughan [2010-07-10 16:14:36] 597*2^840826-1 is not prime. Res64: 2895A39C4CCADAC0 Time : 1023.0 sec. user=vaughan [2010-07-10 16:17:56] 469*2^840827-1 is not prime. Res64: 883F568F9E3C014B Time : 1021.0 sec. user=vaughan [2010-07-10 16:20:59] 459*2^840828-1 is not prime. Res64: 37AB3E3596BCB9B1 Time : 1084.0 sec. user=vaughan [2010-07-10 16:21:19] 573*2^840827-1 is not prime. Res64: EA5D07BBC7902E7A Time : 1126.0 sec. user=vaughan [2010-07-10 16:22:52] 563*2^840828-1 is not prime. Res64: DE7BD16C4E3E6935 Time : 1089.0 sec. user=vaughan [2010-07-10 16:24:44] 537*2^840828-1 is not prime. Res64: FC6340DA74764E48 Time : 1225.0 sec. user=vaughan [2010-07-10 16:26:11] 597*2^840828-1 is not prime. Res64: 0D3B23376A392B45 Time : 1060.0 sec. user=vaughan [2010-07-10 16:27:24] 411*2^840829-1 is not prime. Res64: C9688DC6B5DADF6F Time : 1126.0 sec. user=vaughan [2010-07-10 16:30:22] 439*2^840829-1 is not prime. Res64: F9F4255CEEAB797B Time : 1023.0 sec. user=vaughan [2010-07-10 16:31:38] 499*2^840829-1 is not prime. Res64: 4B5232D8BCAB9FD1 Time : 1022.0 sec. user=vaughan [2010-07-10 16:33:36] 451*2^840829-1 is not prime. Res64: AA6757E66F499C1D Time : 1147.0 sec. user=vaughan [2010-07-10 16:34:56] 537*2^840829-1 is not prime. Res64: 121741ABFABAC106 Time : 1020.0 sec. user=vaughan [2010-07-10 16:38:34] 559*2^840829-1 is not prime. Res64: 1613F9523DCC39A7 Time : 1056.0 sec. user=vaughan [2010-07-10 16:39:55] 595*2^840829-1 is not prime. Res64: 749790CE25242B48 Time : 1116.0 sec. user=vaughan [2010-07-10 16:40:56] 483*2^840830-1 is not prime. Res64: CE4949197DD6F6D9 Time : 1085.0 sec. user=vaughan [2010-07-10 16:45:23] 521*2^840830-1 is not prime. Res64: 27C7C41D7F069797 Time : 1240.0 sec. user=vaughan [2010-07-10 16:46:01] 537*2^840830-1 is not prime. Res64: 37678E01C77D5B67 Time : 1118.0 sec. user=vaughan [2010-07-10 16:47:28] 545*2^840830-1 is not prime. Res64: 4B2D032CB92E4527 Time : 1026.0 sec. user=vaughan [2010-07-10 16:48:44] 581*2^840830-1 is not prime. Res64: 5BCB3F277EFD3AD8 Time : 1026.0 sec. user=vaughan [2010-07-10 16:48:55] 525*2^840830-1 is not prime. Res64: F1F25319723D34F7 Time : 1364.0 sec. user=vaughan [2010-07-10 16:51:58] 513*2^840831-1 is not prime. Res64: 8F0098B1C93913EA Time : 1023.0 sec. user=vaughan [2010-07-10 16:52:39] 493*2^840831-1 is not prime. Res64: 6998DBCDE39A295E Time : 1143.0 sec. user=vaughan [2010-07-10 16:58:32] 455*2^840832-1 is not prime. Res64: 7AAAE9F08B04300B Time : 1117.0 sec. user=vaughan [2010-07-10 16:58:57] 487*2^840833-1 is not prime. Res64: DADF1F32AD58C0E4 Time : 1081.0 sec. user=vaughan [2010-07-10 17:02:02] 437*2^840832-1 is not prime. Res64: D1C7FD92EEAC5627 Time : 1408.0 sec. user=vaughan [2010-07-10 17:04:35] 547*2^840833-1 is not prime. Res64: 928D25BC43CB36C2 Time : 1027.0 sec. user=vaughan [2010-07-10 17:04:40] 529*2^840833-1 is not prime. Res64: 3C0A0A6D65A2EFD0 Time : 1119.0 sec. user=vaughan [2010-07-10 17:05:38] 507*2^840833-1 is not prime. Res64: C1A5CFB8FF09911D Time : 1215.0 sec. user=vaughan [2010-07-10 17:05:51] 559*2^840833-1 is not prime. Res64: 5E296196AFA77C4C Time : 1027.0 sec. user=vaughan [2010-07-10 17:07:04] 473*2^840834-1 is not prime. Res64: 2996D252AE2A8238 Time : 1089.0 sec. user=vaughan [2010-07-10 17:08:59] 543*2^840834-1 is not prime. Res64: 5B8400910649635E Time : 1021.0 sec. user=vaughan [2010-07-10 17:11:42] 573*2^840834-1 is not prime. Res64: 0E156A4FFE150F93 Time : 1143.0 sec. user=vaughan [2010-07-10 17:16:57] 441*2^840835-1 is not prime. Res64: 9A89C94E9E30A277 Time : 1080.0 sec. user=vaughan [2010-07-10 17:17:09] 405*2^840835-1 is not prime. Res64: C89134C3D1E28174 Time : 1117.0 sec. user=vaughan [2010-07-10 17:19:32] 555*2^840835-1 is not prime. Res64: F61B73978A7DA927 Time : 1050.0 sec. user=vaughan [2010-07-10 17:21:43] 589*2^840835-1 is not prime. Res64: F344BA0A1B769B69 Time : 1029.0 sec. user=vaughan [2010-07-10 17:22:58] 475*2^840837-1 is not prime. Res64: 853F28E843165943 Time : 1027.0 sec. user=vaughan [2010-07-10 17:23:17] 465*2^840836-1 is not prime. Res64: 2F16012E69A8BEA1 Time : 1117.0 sec. user=vaughan [2010-07-10 17:24:37] 507*2^840837-1 is not prime. Res64: 4A08EB2FA9723A51 Time : 1053.0 sec. user=vaughan [2010-07-10 17:25:54] 525*2^840836-1 is not prime. Res64: ECFDB7A52EA1025B Time : 1216.0 sec. user=vaughan [2010-07-10 17:26:07] 571*2^840837-1 is not prime. Res64: E47D4DF4A830AE1C Time : 1029.0 sec. user=vaughan [2010-07-10 17:31:06] 423*2^840838-1 is not prime. Res64: 3EF24C65C407AD37 Time : 1165.0 sec. user=vaughan [2010-07-10 17:34:59] 447*2^840838-1 is not prime. Res64: 07CC2C046C3597F4 Time : 1082.0 sec. user=vaughan [2010-07-10 17:37:00] 433*2^840839-1 is not prime. Res64: 674046BB5FDBAA05 Time : 1191.0 sec. user=vaughan [2010-07-10 17:37:02] 579*2^840839-1 is not prime. Res64: 5B2200F3FFC6883A Time : 1051.0 sec. user=vaughan [2010-07-10 17:38:52] 473*2^840840-1 is not prime. Res64: 12B680EDF40BD400 Time : 1029.0 sec. user=vaughan [2010-07-10 17:40:06] 593*2^840840-1 is not prime. Res64: C007F58CF8C4D8C1 Time : 1028.0 sec. user=vaughan [2010-07-10 17:42:11] 411*2^840841-1 is not prime. Res64: A4E037BC80F84FDA Time : 1054.0 sec. user=vaughan [2010-07-10 17:43:12] 499*2^840841-1 is not prime. Res64: 4D8E43824B957EA7 Time : 1025.0 sec. user=vaughan [2010-07-10 17:43:47] 597*2^840840-1 is not prime. Res64: 38A0248BB2F81901 Time : 1230.0 sec. user=vaughan [2010-07-10 17:44:53] 465*2^840841-1 is not prime. Res64: AF2D9D066C18F20D Time : 1140.0 sec. user=vaughan [2010-07-10 17:51:12] 505*2^840841-1 is not prime. Res64: 7DB8DBEDCB73F794 Time : 1206.0 sec. user=vaughan [2010-07-10 17:53:00] 517*2^840841-1 is not prime. Res64: 755D0C2E2ECBD963 Time : 1082.0 sec. user=vaughan [2010-07-10 17:56:01] 521*2^840842-1 is not prime. Res64: F080E80A1AB3B9C1 Time : 1029.0 sec. user=vaughan [2010-07-10 17:57:14] 593*2^840842-1 is not prime. Res64: 726C6E773BEDD2DE Time : 1028.0 sec. user=vaughan [2010-07-10 17:57:35] 555*2^840841-1 is not prime. Res64: F69E248E35B30279 Time : 1235.0 sec. user=vaughan [2010-07-10 18:00:15] 433*2^840843-1 is not prime. Res64: 0DA7EE6FE43998CB Time : 1024.0 sec. user=vaughan [2010-07-10 18:03:44] 529*2^840843-1 is not prime. Res64: 16F4920F3A84D617 Time : 1131.0 sec. user=vaughan [2010-07-10 18:04:20] 481*2^840843-1 is not prime. Res64: 635708FF185F875C Time : 1234.0 sec. user=vaughan [2010-07-10 18:05:23] 577*2^840841-1 is not prime. Res64: 12B5761F80E2F88C Time : 1701.0 sec. user=vaughan [2010-07-10 18:09:45] 411*2^840843-1 is not prime. Res64: A5757C7F6173F4A0 Time : 1655.0 sec. user=vaughan [2010-07-10 18:11:07] 553*2^840843-1 is not prime. Res64: 40BFC0292EE089B1 Time : 1088.0 sec. user=vaughan [2010-07-10 18:11:15] 541*2^840843-1 is not prime. Res64: 77A41C27DEEE199B Time : 1203.0 sec. user=vaughan [2010-07-10 18:13:12] 413*2^840844-1 is not prime. Res64: 8EDFF51E0A00358F Time : 1032.0 sec. user=vaughan [2010-07-10 18:14:20] 419*2^840844-1 is not prime. Res64: 92C38A6097B1E72C Time : 1027.0 sec. user=vaughan [2010-07-10 18:17:27] 497*2^840844-1 is not prime. Res64: A93AE666840E073A Time : 1033.0 sec. user=vaughan [2010-07-10 18:18:06] 435*2^840844-1 is not prime. Res64: 0B3EF1BD8AE231C1 Time : 1232.0 sec. user=vaughan [2010-07-10 18:22:35] 525*2^840844-1 is not prime. Res64: D8BCBE02ED577B1C Time : 1131.0 sec. user=vaughan [2010-07-10 18:22:54] 411*2^840845-1 is not prime. Res64: B66923602C67BE83 Time : 1051.0 sec. user=vaughan [2010-07-10 18:24:53] 597*2^840844-1 is not prime. Res64: CC148B94AE824F47 Time : 1233.0 sec. user=vaughan [2010-07-10 18:27:19] 421*2^840845-1 is not prime. Res64: 902D9CEBC02BE091 Time : 1054.0 sec. user=vaughan [2010-07-10 18:29:18] 465*2^840845-1 is not prime. Res64: C0C7FBF3EF1D5F98 Time : 1091.0 sec. user=vaughan [2010-07-10 18:30:26] 413*2^840846-1 is not prime. Res64: 1808274E52871ECF Time : 1034.0 sec. user=vaughan [2010-07-10 18:31:17] 591*2^840845-1 is not prime. Res64: ECFDA72DA94D7A96 Time : 1202.0 sec. user=vaughan [2010-07-10 18:31:22] 437*2^840846-1 is not prime. Res64: 4CB09F2E8B57B382 Time : 1023.0 sec. user=vaughan [2010-07-10 18:34:35] 563*2^840846-1 is not prime. Res64: 5297D1A12DC80717 Time : 1029.0 sec. user=vaughan [2010-07-10 18:38:41] 505*2^840847-1 is not prime. Res64: 87D5658A99228B8C Time : 1235.0 sec. user=vaughan [2010-07-10 18:40:41] 541*2^840847-1 is not prime. Res64: FBC2E1B7C5FB9254 Time : 1067.0 sec. user=vaughan [2010-07-10 18:41:24] 523*2^840847-1 is not prime. Res64: DE033B66F299ED6D Time : 1130.0 sec. user=vaughan [2010-07-10 18:45:27] 473*2^840848-1 is not prime. Res64: 592AACAC1E31971C Time : 1235.0 sec. user=vaughan [2010-07-10 18:45:34] 427*2^840849-1 is not prime. Res64: 6CF0ECD5FB181E96 Time : 1095.0 sec. user=vaughan [2010-07-10 18:47:22] 459*2^840849-1 is not prime. Res64: 08C13A5E5166545B Time : 1085.0 sec. user=vaughan [2010-07-10 18:47:27] 499*2^840849-1 is not prime. Res64: 0579B414EACD8F80 Time : 1021.0 sec. user=vaughan [2010-07-10 18:48:25] 437*2^840850-1 is not prime. Res64: 8B0500372E1CDF74 Time : 1023.0 sec. user=vaughan [2010-07-10 18:51:20] 549*2^840849-1 is not prime. Res64: D7A352A20BA0A2FC Time : 1203.0 sec. user=vaughan [2010-07-10 18:51:33] 483*2^840850-1 is not prime. Res64: 219E4718BE8D783A Time : 1018.0 sec. user=vaughan [2010-07-10 18:59:16] 527*2^840850-1 is not prime. Res64: 25EBC43647D554E0 Time : 1235.0 sec. user=vaughan [2010-07-10 18:59:17] 533*2^840850-1 is not prime. Res64: 69A7E858D81D8CFA Time : 1116.0 sec. user=vaughan [2010-07-10 19:00:14] 567*2^840850-1 is not prime. Res64: 4173E810F440B08A Time : 1130.0 sec. user=vaughan [2010-07-10 19:04:05] 453*2^840852-1 is not prime. Res64: 214790C218308BB5 Time : 1111.0 sec. user=vaughan [2010-07-10 19:04:29] 513*2^840852-1 is not prime. Res64: ECA4256E524FEF73 Time : 1022.0 sec. user=vaughan [2010-07-10 19:05:27] 485*2^840852-1 is not prime. Res64: 80E7027E132274DF Time : 1085.0 sec. user=vaughan [2010-07-10 19:05:28] 515*2^840852-1 is not prime. Res64: 314E12D5A3CD9540 Time : 1024.0 sec. user=vaughan [2010-07-10 19:06:02] 587*2^840850-1 is not prime. Res64: 64C8F7523AB81759 Time : 1235.0 sec. user=vaughan [2010-07-10 19:08:30] 527*2^840852-1 is not prime. Res64: 47DB70058689D5C0 Time : 1017.0 sec. user=vaughan [2010-07-10 19:11:24] 525*2^840852-1 is not prime. Res64: 0D8565328787B71A Time : 1204.0 sec. user=vaughan [2010-07-10 19:16:46] 441*2^840853-1 is not prime. Res64: A026F243F8C9047A Time : 1049.0 sec. user=vaughan [2010-07-10 19:19:23] 477*2^840853-1 is not prime. Res64: 82E924FB3AEE27A0 Time : 1149.0 sec. user=vaughan [2010-07-10 19:19:53] 567*2^840852-1 is not prime. Res64: E250B8063CAC35C9 Time : 1237.0 sec. user=vaughan [2010-07-10 19:21:28] 525*2^840853-1 is not prime. Res64: CCA74CF5381C1380 Time : 1020.0 sec. user=vaughan [2010-07-10 19:21:39] 495*2^840853-1 is not prime. Res64: E0869EA1570E357B Time : 1054.0 sec. user=vaughan [2010-07-10 19:22:30] 595*2^840853-1 is not prime. Res64: D3C721EEAC5BD80D Time : 1022.0 sec. user=vaughan [2010-07-10 19:23:31] 555*2^840853-1 is not prime. Res64: 1C58B61C2DEA450B Time : 1085.0 sec. user=vaughan [2010-07-10 19:25:28] 447*2^840860-1 is not prime. Res64: 41D83E51C4F8DD26 Time : 1018.0 sec. user=vaughan [2010-07-10 19:26:41] 589*2^840859-1 is not prime. Res64: 4DA116805A9DEEB5 Time : 1239.0 sec. user=vaughan [2010-07-10 19:31:31] 503*2^840860-1 is not prime. Res64: 90B42BFBA5532DF6 Time : 1207.0 sec. user=vaughan [2010-07-10 19:34:18] 545*2^840860-1 is not prime. Res64: A171DA5C76C6FC77 Time : 1052.0 sec. user=vaughan [2010-07-10 19:38:26] 563*2^840860-1 is not prime. Res64: CA708520E8E176E3 Time : 1143.0 sec. user=vaughan [2010-07-10 19:38:28] 435*2^840862-1 is not prime. Res64: C0650893776FC863 Time : 1020.0 sec. user=vaughan [2010-07-10 19:39:13] 437*2^840862-1 is not prime. Res64: 5CCCED606339080B Time : 1055.0 sec. user=vaughan [2010-07-10 19:39:30] 477*2^840862-1 is not prime. Res64: E47C07F653617FCE Time : 1021.0 sec. user=vaughan [2010-07-10 19:40:30] 597*2^840861-1 is not prime. Res64: 41E458EE0F7223F5 Time : 1238.0 sec. user=vaughan [2010-07-10 19:41:37] 491*2^840862-1 is not prime. Res64: 59FA5A5CB1DA3D89 Time : 1086.0 sec. user=vaughan [2010-07-10 19:42:26] 527*2^840862-1 is not prime. Res64: 7E9B671A466F51B2 Time : 1018.0 sec. user=vaughan [2010-07-10 19:47:16] 555*2^840862-1 is not prime. Res64: 1DF3FD4DACECD178 Time : 1236.0 sec. user=vaughan [2010-07-10 19:51:34] 453*2^840863-1 is not prime. Res64: 25AEC4F90C2EA993 Time : 1204.0 sec. user=vaughan [2010-07-10 19:55:27] 405*2^840866-1 is not prime. Res64: 9032521705EBDCF4 Time : 1020.0 sec. user=vaughan [2010-07-10 19:56:32] 437*2^840866-1 is not prime. Res64: E04628E65034174B Time : 1022.0 sec. user=vaughan [2010-07-10 19:57:17] 591*2^840865-1 is not prime. Res64: 0C074BDE02B18CBE Time : 1131.0 sec. user=vaughan [2010-07-10 19:59:23] 429*2^840867-1 is not prime. Res64: D51250AAE2B2F9DD Time : 1017.0 sec. user=vaughan [2010-07-10 19:59:40] 503*2^840866-1 is not prime. Res64: 803B53FB060E232B Time : 1083.0 sec. user=vaughan [2010-07-10 19:59:45] 541*2^840865-1 is not prime. Res64: E8E9410DD6241DAC Time : 1527.0 sec. user=vaughan [2010-07-10 20:01:03] 483*2^840866-1 is not prime. Res64: 17B97D1990D3785D Time : 1233.0 sec. user=vaughan [2010-07-10 20:03:57] 431*2^840866-1 is not prime. Res64: 6D1AF0799E9A8BA4 Time : 1484.0 sec. user=vaughan [2010-07-10 20:07:50] 451*2^840867-1 is not prime. Res64: 745CA9CE54AB41B0 Time : 1234.0 sec. user=vaughan [2010-07-10 20:11:38] 465*2^840867-1 is not prime. Res64: C3DE03FE5FC87627 Time : 1205.0 sec. user=vaughan [2010-07-10 20:12:28] 489*2^840867-1 is not prime. Res64: 37B41A26A30461C9 Time : 1021.0 sec. user=vaughan [2010-07-10 20:13:35] 583*2^840867-1 is not prime. Res64: 510C6F7E8C0A1A70 Time : 1023.0 sec. user=vaughan [2010-07-10 20:16:11] 405*2^840868-1 is not prime. Res64: D34E951B761A0AE1 Time : 1134.0 sec. user=vaughan [2010-07-10 20:16:21] 419*2^840868-1 is not prime. Res64: 5C7652A9D1B6AE5E Time : 1018.0 sec. user=vaughan [2010-07-10 20:17:21] 489*2^840868-1 is not prime. Res64: F5B3E18C1ECE4955 Time : 1056.0 sec. user=vaughan [2010-07-10 20:17:46] 435*2^840868-1 is not prime. Res64: 24BE6F9F3C9008CA Time : 1086.0 sec. user=vaughan [2010-07-10 20:21:37] 549*2^840868-1 is not prime. Res64: C5AD8CE1350057F9 Time : 1060.0 sec. user=vaughan [2010-07-10 20:21:40] 497*2^840868-1 is not prime. Res64: CE7695E8DCCC70A2 Time : 1237.0 sec. user=vaughan [2010-07-10 20:28:30] 563*2^840868-1 is not prime. Res64: 8A6FDFF4DCCD2924 Time : 1240.0 sec. user=vaughan [2010-07-10 20:29:28] 557*2^840854-1 is not prime. Res64: 0318593A96A10F0A Time : 1020.0 sec. user=vaughan [2010-07-10 20:30:37] 405*2^840855-1 is not prime. Res64: D6E0F8043B915D6F Time : 1022.0 sec. user=vaughan [2010-07-10 20:31:42] 473*2^840854-1 is not prime. Res64: 9DF89129296B9722 Time : 1204.0 sec. user=vaughan [2010-07-10 20:33:19] 531*2^840855-1 is not prime. Res64: 8EEDE23E8939B77E Time : 1018.0 sec. user=vaughan [2010-07-10 20:34:56] 543*2^840855-1 is not prime. Res64: 08500971776F76AD Time : 1055.0 sec. user=vaughan [2010-07-10 20:35:15] 523*2^840855-1 is not prime. Res64: 0C98B5A3D9FDDFC5 Time : 1144.0 sec. user=vaughan [2010-07-10 20:35:49] 437*2^840856-1 is not prime. Res64: 1240257BD1ED1814 Time : 1084.0 sec. user=vaughan [2010-07-10 20:39:18] 483*2^840856-1 is not prime. Res64: 9FC94D1892CC897E Time : 1061.0 sec. user=vaughan [2010-07-10 20:42:30] 537*2^840857-1 is not prime. Res64: 5C9BCA94F300903E Time : 1251.0 sec. user=vaughan [2010-07-10 20:46:29] 417*2^840858-1 is not prime. Res64: E842C9B124592FE3 Time : 1021.0 sec. user=vaughan [2010-07-10 20:47:39] 425*2^840858-1 is not prime. Res64: A15BA0B42D6D4E97 Time : 1022.0 sec. user=vaughan [2010-07-10 20:49:22] 567*2^840857-1 is not prime. Res64: FB413A295C6714AD Time : 1252.0 sec. user=vaughan [2010-07-10 20:50:16] 515*2^840858-1 is not prime. Res64: FFFD5519DEDB19BB Time : 1018.0 sec. user=vaughan [2010-07-10 20:51:54] 513*2^840858-1 is not prime. Res64: BF722A8FEDE6D4DF Time : 1212.0 sec. user=vaughan [2010-07-10 20:53:53] 463*2^840859-1 is not prime. Res64: 8105F5B1C6F0614A Time : 1084.0 sec. user=vaughan [2010-07-10 20:54:14] 451*2^840859-1 is not prime. Res64: BE6D68AA68D8AD67 Time : 1139.0 sec. user=vaughan [2010-07-10 21:03:07] 417*2^840869-1 is not prime. Res64: 3F14D46E86909045 Time : 1237.0 sec. user=vaughan [2010-07-10 21:03:30] 447*2^840869-1 is not prime. Res64: 26EBC8DF2E3AB06F Time : 1021.0 sec. user=vaughan [2010-07-10 21:03:41] 415*2^840859-1 is not prime. Res64: 6830AAB2E5BE6F7D Time : 1725.0 sec. user=vaughan [2010-07-10 21:04:42] 481*2^840869-1 is not prime. Res64: A9E4CAB88EE4A6E9 Time : 1023.0 sec. user=vaughan [2010-07-10 21:07:14] 571*2^840869-1 is not prime. Res64: 76F0449FA9F6AE44 Time : 1018.0 sec. user=vaughan [2010-07-10 21:07:37] 523*2^840859-1 is not prime. Res64: CE545F26A456C782 Time : 1700.0 sec. user=vaughan [2010-07-10 21:09:57] 559*2^840869-1 is not prime. Res64: F21D215586385C24 Time : 1235.0 sec. user=vaughan [2010-07-10 21:11:57] 425*2^840870-1 is not prime. Res64: 3D415F8D31B215EA Time : 1084.0 sec. user=vaughan [2010-07-10 21:11:58] 423*2^840870-1 is not prime. Res64: 55C3A164EDD696FA Time : 1205.0 sec. user=vaughan [2010-07-10 21:13:09] 437*2^840870-1 is not prime. Res64: FCF28EF9C16096FC Time : 1135.0 sec. user=vaughan [2010-07-10 21:20:32] 473*2^840870-1 is not prime. Res64: DE5BE47E5C9DD738 Time : 1022.0 sec. user=vaughan [2010-07-10 21:21:44] 581*2^840870-1 is not prime. Res64: C95D43B933EE2279 Time : 1023.0 sec. user=vaughan [2010-07-10 21:23:43] 465*2^840870-1 is not prime. Res64: 53E0B4067A86BB5C Time : 1236.0 sec. user=vaughan [2010-07-10 21:24:12] 587*2^840870-1 is not prime. Res64: B911DA1DB8DF44DD Time : 1018.0 sec. user=vaughan [2010-07-10 21:30:01] 437*2^840872-1 is not prime. Res64: 14F027FDD13158EE Time : 1085.0 sec. user=vaughan [2010-07-10 21:30:33] 435*2^840872-1 is not prime. Res64: CF2610ED626DD5AE Time : 1236.0 sec. user=vaughan [2010-07-10 21:32:02] 479*2^840872-1 is not prime. Res64: 87C281D71B69812D Time : 1204.0 sec. user=vaughan [2010-07-10 21:32:05] 515*2^840872-1 is not prime. Res64: AD86924C06E3D152 Time : 1136.0 sec. user=vaughan [2010-07-10 21:32:05] 521*2^840870-1 is not prime. Res64: 8ADA86E3C9E8F1E4 Time : 1704.0 sec. user=vaughan [2010-07-10 21:35:18] 423*2^840871-1 is not prime. Res64: 80E6005C9A2B4E37 Time : 1661.0 sec. user=vaughan [2010-07-10 21:37:33] 525*2^840872-1 is not prime. Res64: C453A83A81691F32 Time : 1022.0 sec. user=vaughan [2010-07-10 21:38:47] 573*2^840872-1 is not prime. Res64: E154E4F96D9970B4 Time : 1023.0 sec. user=vaughan [2010-07-10 21:41:08] 427*2^840873-1 is not prime. Res64: DFB6F3259D021B13 Time : 1017.0 sec. user=vaughan [2010-07-10 21:44:20] 587*2^840872-1 is not prime. Res64: AAC75DBE049FFC7F Time : 1238.0 sec. user=vaughan [2010-07-10 21:48:06] 441*2^840873-1 is not prime. Res64: 7DEE8E48C3FEFBBE Time : 1085.0 sec. user=vaughan [2010-07-10 21:50:42] 585*2^840873-1 is not prime. Res64: DB81AEC0C135855D Time : 1118.0 sec. user=vaughan [2010-07-10 21:51:00] 565*2^840873-1 is not prime. Res64: 86FBC1FCABEB4BE7 Time : 1136.0 sec. user=vaughan [2010-07-10 21:51:07] 495*2^840873-1 is not prime. Res64: AD9059FB8B26C784 Time : 1234.0 sec. user=vaughan [2010-07-10 21:52:08] 499*2^840873-1 is not prime. Res64: 66FA4C8ED35293F2 Time : 1206.0 sec. user=vaughan [2010-07-10 21:53:28] 465*2^840874-1 is not prime. Res64: B048F9037CA86F9E Time : 1090.0 sec. user=vaughan [2010-07-10 21:54:34] 521*2^840874-1 is not prime. Res64: D7E95546B971DEDE Time : 1022.0 sec. user=vaughan [2010-07-10 21:55:49] 551*2^840874-1 is not prime. Res64: B45274B107C478B1 Time : 1023.0 sec. user=vaughan [2010-07-10 21:58:05] 555*2^840874-1 is not prime. Res64: 69C0FE56199CB7D6 Time : 1017.0 sec. user=vaughan [2010-07-10 22:04:56] 469*2^840875-1 is not prime. Res64: DF942C1FE5AD65DE Time : 1237.0 sec. user=vaughan [2010-07-10 22:06:11] 453*2^840876-1 is not prime. Res64: 1965C5C474140129 Time : 1086.0 sec. user=vaughan [2010-07-10 22:09:53] 567*2^840876-1 is not prime. Res64: 01DC111BBC0078F6 Time : 1133.0 sec. user=vaughan [2010-07-10 22:11:33] 477*2^840877-1 is not prime. Res64: 90EE09CF816CCC0C Time : 1020.0 sec. user=vaughan [2010-07-10 22:11:41] 585*2^840876-1 is not prime. Res64: 9433DD6BB16253D7 Time : 1235.0 sec. user=vaughan [2010-07-10 22:12:16] 587*2^840876-1 is not prime. Res64: 88678B8D9598F2A5 Time : 1208.0 sec. user=vaughan [2010-07-10 22:12:51] 537*2^840877-1 is not prime. Res64: BB66250A0BC6C775 Time : 1022.0 sec. user=vaughan [2010-07-10 22:15:05] 437*2^840878-1 is not prime. Res64: 8FCAF4A76FEA7800 Time : 1020.0 sec. user=vaughan [2010-07-10 22:16:59] 441*2^840877-1 is not prime. Res64: 75C757081B06DA67 Time : 1411.0 sec. user=vaughan [2010-07-10 22:24:04] 525*2^840878-1 is not prime. Res64: 8AF5973668C88B8B Time : 1073.0 sec. user=vaughan [2010-07-10 22:25:33] 447*2^840878-1 is not prime. Res64: FDF9FFC41F0BFD08 Time : 1237.0 sec. user=vaughan [2010-07-10 22:28:41] 563*2^840878-1 is not prime. Res64: 6E8D2E19DBC69F9E Time : 1028.0 sec. user=vaughan [2010-07-10 22:28:43] 497*2^840876-1 is not prime. Res64: C4B8B9D59CD696B3 Time : 2281.0 sec. user=vaughan [2010-07-10 22:28:48] 545*2^840878-1 is not prime. Res64: 0376F13616D24846 Time : 1135.0 sec. user=vaughan [2010-07-10 22:30:25] 513*2^840880-1 is not prime. Res64: 9889E07C9E4EAFCB Time : 1054.0 sec. user=vaughan [2010-07-10 22:32:13] 519*2^840880-1 is not prime. Res64: 9D526B4BBB14A0A4 Time : 1029.0 sec. user=vaughan [2010-07-10 22:32:14] 465*2^840879-1 is not prime. Res64: BC69AF52A172C358 Time : 1233.0 sec. user=vaughan [2010-07-10 22:32:23] 571*2^840879-1 is not prime. Res64: 432F1369BC36CAA4 Time : 1207.0 sec. user=vaughan [2010-07-10 22:37:02] 587*2^840880-1 is not prime. Res64: 9D0828A721F3D0F4 Time : 1203.0 sec. user=vaughan [2010-07-10 22:41:48] 579*2^840881-1 is not prime. Res64: D44951EE1D2EB81E Time : 1064.0 sec. user=vaughan [2010-07-10 22:45:43] 591*2^840881-1 is not prime. Res64: E1F6DDC352620447 Time : 1211.0 sec. user=vaughan [2010-07-10 22:45:50] 437*2^840882-1 is not prime. Res64: 64AB9A6D856C3966 Time : 1029.0 sec. user=vaughan [2010-07-10 22:47:52] 475*2^840883-1 is not prime. Res64: FDF41B89339CCA6C Time : 1047.0 sec. user=vaughan [2010-07-10 22:48:55] 433*2^840883-1 is not prime. Res64: CA7ADE0C4A4AF10D Time : 1207.0 sec. user=vaughan [2010-07-10 22:49:22] 483*2^840883-1 is not prime. Res64: D70108748EDDD0B8 Time : 1030.0 sec. user=vaughan [2010-07-10 22:51:53] 553*2^840883-1 is not prime. Res64: 4BC0E510B063F863 Time : 1179.0 sec. user=vaughan [2010-07-10 22:52:10] 483*2^840884-1 is not prime. Res64: D8040B489AC00F20 Time : 1187.0 sec. user=vaughan [2010-07-10 22:56:58] 539*2^840884-1 is not prime. Res64: E18B7F554B8B52C7 Time : 1196.0 sec. user=vaughan [2010-07-10 23:00:00] 579*2^840884-1 is not prime. Res64: 691E42511EC08272 Time : 1092.0 sec. user=vaughan [2010-07-10 23:03:01] 507*2^840885-1 is not prime. Res64: F9257E69349FD22A Time : 1032.0 sec. user=vaughan [2010-07-10 23:04:36] 459*2^840885-1 is not prime. Res64: 70B12900D3D35652 Time : 1133.0 sec. user=vaughan [2010-07-10 23:05:08] 525*2^840885-1 is not prime. Res64: D23954CF6FB7E779 Time : 1036.0 sec. user=vaughan [2010-07-10 23:06:31] 577*2^840885-1 is not prime. Res64: B406397BB4649EED Time : 1030.0 sec. user=vaughan [2010-07-10 23:10:46] 585*2^840885-1 is not prime. Res64: 0A6F32BC1BCC0457 Time : 1134.0 sec. user=vaughan [2010-07-10 23:10:52] 537*2^840885-1 is not prime. Res64: F0ABF1DCA850F3C4 Time : 1317.0 sec. user=vaughan [2010-07-10 23:11:34] 503*2^840882-1 is not prime. Res64: 0401D45D1FF4C1B0 Time : 2571.0 sec. user=vaughan [2010-07-10 23:11:40] 447*2^840886-1 is not prime. Res64: CD014CE822D40F9A Time : 1170.0 sec. user=vaughan [2010-07-10 23:18:10] 453*2^840886-1 is not prime. Res64: 34BCDBF8A45836AF Time : 1272.0 sec. user=vaughan [2010-07-10 23:18:10] 461*2^840886-1 is not prime. Res64: 2D6BB7B00E7B0326 Time : 1091.0 sec. user=vaughan [2010-07-10 23:20:08] 597*2^840886-1 is not prime. Res64: 9D6626436D80A4C6 Time : 1027.0 sec. user=vaughan [2010-07-10 23:22:19] 451*2^840887-1 is not prime. Res64: 219C3FECAD139847 Time : 1031.0 sec. user=vaughan [2010-07-10 23:23:31] 519*2^840887-1 is not prime. Res64: 79F9F847C2CC5370 Time : 1021.0 sec. user=vaughan [2010-07-10 23:23:33] 433*2^840887-1 is not prime. Res64: C452E693F500FD70 Time : 1137.0 sec. user=vaughan [2010-07-10 23:29:39] 531*2^840887-1 is not prime. Res64: EF9A639F1616DCF7 Time : 1133.0 sec. user=vaughan [2010-07-10 23:31:12] 515*2^840888-1 is not prime. Res64: 9C5E411BF3787A36 Time : 1172.0 sec. user=vaughan [2010-07-10 23:32:43] 571*2^840887-1 is not prime. Res64: 94D2F42FE77B0067 Time : 1312.0 sec. user=vaughan [2010-07-10 23:36:16] 427*2^840889-1 is not prime. Res64: 8B0E0EF17D503C2C Time : 1086.0 sec. user=vaughan [2010-07-10 23:37:09] 465*2^840889-1 is not prime. Res64: 278C4627132E5E11 Time : 1021.0 sec. user=vaughan [2010-07-10 23:39:21] 481*2^840889-1 is not prime. Res64: 7269988974778B07 Time : 1023.0 sec. user=vaughan [2010-07-10 23:40:28] 535*2^840889-1 is not prime. Res64: 389D8A7CE6AD13D1 Time : 1017.0 sec. user=vaughan [2010-07-10 23:42:28] 565*2^840889-1 is not prime. Res64: 49997C8D78C1D8D6 Time : 1135.0 sec. user=vaughan [2010-07-10 23:48:32] 431*2^840890-1 is not prime. Res64: C08426244129E4D3 Time : 1133.0 sec. user=vaughan [2010-07-10 23:50:44] 525*2^840890-1 is not prime. Res64: 4EDC10624C7BE774 Time : 1173.0 sec. user=vaughan [2010-07-10 23:54:09] 439*2^840891-1 is not prime. Res64: 9AB0C398277BE9A1 Time : 1020.0 sec. user=vaughan [2010-07-10 23:54:20] 415*2^840891-1 is not prime. Res64: 900A069118FE2EC9 Time : 1085.0 sec. user=vaughan [2010-07-10 23:54:46] 585*2^840890-1 is not prime. Res64: CAC7560485A3F4E4 Time : 1323.0 sec. user=vaughan [2010-07-10 23:56:22] 469*2^840891-1 is not prime. Res64: 9D37CD6D1199EFE2 Time : 1021.0 sec. user=vaughan [2010-07-10 23:57:26] 489*2^840891-1 is not prime. Res64: C1B6B29B5B6DB6FD Time : 1018.0 sec.