user=vaughan [2010-07-09 00:01:12] 535*2^840529-1 is not prime. Res64: D43FD99BFDCC9385 Time : 995.0 sec. user=vaughan [2010-07-09 00:06:09] 425*2^840530-1 is not prime. Res64: 4D402B7FF3A5E5B0 Time : 1033.0 sec. user=vaughan [2010-07-09 00:06:53] 467*2^840530-1 is not prime. Res64: 72EB6F655F25E3B4 Time : 1056.0 sec. user=vaughan [2010-07-09 00:07:49] 483*2^840530-1 is not prime. Res64: 5E527C3ED56CB0F8 Time : 1069.0 sec. user=vaughan [2010-07-09 00:10:56] 521*2^840530-1 is not prime. Res64: 1953D7FC0BE38372 Time : 1059.0 sec. user=vaughan [2010-07-09 00:12:19] 597*2^840529-1 is not prime. Res64: 2CA826385E7AA0D3 Time : 1626.0 sec. user=vaughan [2010-07-09 00:17:58] 415*2^840531-1 is not prime. Res64: 0A0C5D0C61A17ACA Time : 1006.0 sec. user=vaughan [2010-07-09 00:23:23] 441*2^840531-1 is not prime. Res64: DFED63E694C63A90 Time : 1034.0 sec. user=vaughan [2010-07-09 00:23:27] 531*2^840530-1 is not prime. Res64: 22991A4DE39430CF Time : 1603.0 sec. user=vaughan [2010-07-09 00:25:38] 493*2^840531-1 is not prime. Res64: E47353532F54F6AB Time : 1070.0 sec. user=vaughan [2010-07-09 00:28:31] 595*2^840531-1 is not prime. Res64: E867456D2FEA5F19 Time : 1056.0 sec. user=vaughan [2010-07-09 00:34:16] 483*2^840531-1 is not prime. Res64: 9BD3E997BEB58DC6 Time : 1644.0 sec. user=vaughan [2010-07-09 00:34:36] 435*2^840533-1 is not prime. Res64: 1A8A5AFB3E177D0E Time : 999.0 sec. user=vaughan [2010-07-09 00:34:47] 587*2^840530-1 is not prime. Res64: DCD25907C494A9C2 Time : 2257.0 sec. user=vaughan [2010-07-09 00:36:20] 555*2^840529-1 is not prime. Res64: 960D793A41FE190C Time : 3083.0 sec. user=vaughan [2010-07-09 00:38:34] 577*2^840529-1 is not prime. Res64: 086E2BE5B77BE90A Time : 3212.0 sec. user=vaughan [2010-07-09 00:39:32] 405*2^840533-1 is not prime. Res64: 3CA27510105CDE1C Time : 1633.0 sec. user=vaughan [2010-07-09 00:40:31] 547*2^840533-1 is not prime. Res64: 40BF207DD9863A5F Time : 1028.0 sec. user=vaughan [2010-07-09 00:41:32] 437*2^840534-1 is not prime. Res64: 85255A20F8F4219F Time : 1085.0 sec. user=vaughan [2010-07-09 00:43:25] 503*2^840534-1 is not prime. Res64: 43E3CFFF72F4B813 Time : 1067.0 sec. user=vaughan [2010-07-09 00:46:08] 507*2^840534-1 is not prime. Res64: 2B9232F880E8DAE3 Time : 1057.0 sec. user=vaughan [2010-07-09 00:51:15] 521*2^840534-1 is not prime. Res64: 3666E977FB501967 Time : 999.0 sec. user=vaughan [2010-07-09 00:51:51] 513*2^840534-1 is not prime. Res64: E1DA8E42666332C9 Time : 1056.0 sec. user=vaughan [2010-07-09 00:57:39] 489*2^840535-1 is not prime. Res64: AD7CCD4AAF8C528C Time : 1028.0 sec. user=vaughan [2010-07-09 00:59:03] 535*2^840535-1 is not prime. Res64: DBD03C9D00140393 Time : 1051.0 sec. user=vaughan [2010-07-09 01:01:14] 541*2^840535-1 is not prime. Res64: 8C894E859DAF3FBD Time : 1069.0 sec. user=vaughan [2010-07-09 01:03:42] 595*2^840535-1 is not prime. Res64: 46EC0C0E35DDB849 Time : 1054.0 sec. user=vaughan [2010-07-09 01:06:31] 429*2^840535-1 is not prime. Res64: A49ADDE7123DA69B Time : 1619.0 sec. user=vaughan [2010-07-09 01:07:53] 449*2^840536-1 is not prime. Res64: 8FEEE27EEFB4AAB2 Time : 998.0 sec. user=vaughan [2010-07-09 01:09:25] 515*2^840536-1 is not prime. Res64: B3DB9D37CBB3B6E8 Time : 1054.0 sec. user=vaughan [2010-07-09 01:09:37] 525*2^840534-1 is not prime. Res64: 58C7918DA6EAE395 Time : 2090.0 sec. user=vaughan [2010-07-09 01:14:48] 563*2^840536-1 is not prime. Res64: 63AD298C86D80017 Time : 1029.0 sec. user=vaughan [2010-07-09 01:16:36] 593*2^840536-1 is not prime. Res64: F68C61D2EABC7ED2 Time : 1053.0 sec. user=vaughan [2010-07-09 01:19:04] 429*2^840537-1 is not prime. Res64: A74BA4B9A8577FAF Time : 1070.0 sec. user=vaughan [2010-07-09 01:21:17] 475*2^840537-1 is not prime. Res64: DB9AA9EFCFB7B786 Time : 1055.0 sec. user=vaughan [2010-07-09 01:24:34] 537*2^840537-1 is not prime. Res64: 4682E07701D55D12 Time : 1001.0 sec. user=vaughan [2010-07-09 01:27:02] 571*2^840537-1 is not prime. Res64: B837C53C970EF6D7 Time : 1057.0 sec. user=vaughan [2010-07-09 01:29:17] 593*2^840534-1 is not prime. Res64: 48ECCDFC58880A6A Time : 3178.0 sec. user=vaughan [2010-07-09 01:30:01] 405*2^840535-1 is not prime. Res64: 8A41D86D4BFB9E5D Time : 3087.0 sec. user=vaughan [2010-07-09 01:31:56] 551*2^840538-1 is not prime. Res64: B17EEFD5887592DE Time : 1028.0 sec. user=vaughan [2010-07-09 01:33:16] 499*2^840537-1 is not prime. Res64: E4F97590DECFCB19 Time : 1605.0 sec. user=vaughan [2010-07-09 01:34:08] 439*2^840539-1 is not prime. Res64: 6034780AD2784C97 Time : 1052.0 sec. user=vaughan [2010-07-09 01:36:53] 445*2^840539-1 is not prime. Res64: F829E860B089C8BD Time : 1069.0 sec. user=vaughan [2010-07-09 01:38:52] 523*2^840539-1 is not prime. Res64: 1E2506C7D8446038 Time : 1055.0 sec. user=vaughan [2010-07-09 01:40:52] 483*2^840538-1 is not prime. Res64: F40AB1B83835CE6C Time : 1876.0 sec. user=vaughan [2010-07-09 01:41:11] 405*2^840540-1 is not prime. Res64: DA11E412986C6F09 Time : 998.0 sec. user=vaughan [2010-07-09 01:44:37] 479*2^840540-1 is not prime. Res64: 99FD2AEA046F6CA0 Time : 1056.0 sec. user=vaughan [2010-07-09 01:49:03] 499*2^840541-1 is not prime. Res64: 0CC339D357AAD3CD Time : 1027.0 sec. user=vaughan [2010-07-09 01:51:40] 525*2^840541-1 is not prime. Res64: 03376D764B40DDA4 Time : 1052.0 sec. user=vaughan [2010-07-09 01:53:37] 511*2^840541-1 is not prime. Res64: 74DF3C4CAB89A698 Time : 1221.0 sec. user=vaughan [2010-07-09 01:54:32] 547*2^840541-1 is not prime. Res64: C29CBF1CE653C514 Time : 1059.0 sec. user=vaughan [2010-07-09 01:56:12] 561*2^840541-1 is not prime. Res64: 49ABD84BC3AE9855 Time : 1040.0 sec. user=vaughan [2010-07-09 01:57:44] 451*2^840543-1 is not prime. Res64: 71F8447EF98BB387 Time : 993.0 sec. user=vaughan [2010-07-09 02:02:13] 465*2^840543-1 is not prime. Res64: BFC5E819D6CD91C8 Time : 1056.0 sec. user=vaughan [2010-07-09 02:06:09] 471*2^840543-1 is not prime. Res64: A80D0F4365D6CD5C Time : 1026.0 sec. user=vaughan [2010-07-09 02:09:11] 475*2^840543-1 is not prime. Res64: 4C9F848C9599B72D Time : 1052.0 sec. user=vaughan [2010-07-09 02:11:33] 503*2^840542-1 is not prime. Res64: 3BEDB26FCBC88F0E Time : 1842.0 sec. user=vaughan [2010-07-09 02:12:09] 585*2^840543-1 is not prime. Res64: 7DB7618BA89DBD61 Time : 1058.0 sec. user=vaughan [2010-07-09 02:13:31] 527*2^840544-1 is not prime. Res64: 18640552E5F00BE2 Time : 1039.0 sec. user=vaughan [2010-07-09 02:13:50] 571*2^840543-1 is not prime. Res64: C8993F550D5A4F9A Time : 1213.0 sec. user=vaughan [2010-07-09 02:14:16] 533*2^840544-1 is not prime. Res64: 85BAE83332E88B67 Time : 992.0 sec. user=vaughan [2010-07-09 02:20:08] 597*2^840544-1 is not prime. Res64: C39FC25B6AC1D7CE Time : 1076.0 sec. user=vaughan [2010-07-09 02:21:13] 421*2^840541-1 is not prime. Res64: FABE96EB14AD178A Time : 3072.0 sec. user=vaughan [2010-07-09 02:22:24] 483*2^840540-1 is not prime. Res64: D9BC92FBE465F87C Time : 3187.0 sec. user=vaughan [2010-07-09 02:23:16] 459*2^840545-1 is not prime. Res64: 388D2F8CC5ABEE1F Time : 1027.0 sec. user=vaughan [2010-07-09 02:26:54] 481*2^840545-1 is not prime. Res64: A9008E8331C3AFCC Time : 1064.0 sec. user=vaughan [2010-07-09 02:29:42] 579*2^840545-1 is not prime. Res64: D37CB03E53CFB6BC Time : 1053.0 sec. user=vaughan [2010-07-09 02:30:50] 433*2^840547-1 is not prime. Res64: 1E7C7FB685EE3E78 Time : 994.0 sec. user=vaughan [2010-07-09 02:30:52] 503*2^840546-1 is not prime. Res64: 1EB5D42AD2F56A50 Time : 1041.0 sec. user=vaughan [2010-07-09 02:33:59] 587*2^840546-1 is not prime. Res64: 728FF6C0CA087591 Time : 1209.0 sec. user=vaughan [2010-07-09 02:37:48] 439*2^840547-1 is not prime. Res64: DFDD1F6150BB2991 Time : 1060.0 sec. user=vaughan [2010-07-09 02:40:23] 479*2^840548-1 is not prime. Res64: 0939D6D909D92640 Time : 1027.0 sec. user=vaughan [2010-07-09 02:41:59] 507*2^840545-1 is not prime. Res64: FDE1C7D9DFFB4677 Time : 1826.0 sec. user=vaughan [2010-07-09 02:44:32] 515*2^840548-1 is not prime. Res64: 2B8E5C7C706882C5 Time : 1058.0 sec. user=vaughan [2010-07-09 02:47:16] 427*2^840549-1 is not prime. Res64: 92372023F7CBE259 Time : 1054.0 sec. user=vaughan [2010-07-09 02:47:24] 471*2^840549-1 is not prime. Res64: 6850C880BCE7BEE8 Time : 994.0 sec. user=vaughan [2010-07-09 02:48:12] 481*2^840549-1 is not prime. Res64: 25889A232FC9C28D Time : 1041.0 sec. user=vaughan [2010-07-09 02:54:12] 507*2^840549-1 is not prime. Res64: F3322FFAFC652A75 Time : 1213.0 sec. user=vaughan [2010-07-09 02:55:30] 571*2^840549-1 is not prime. Res64: 273946489FFA7E53 Time : 1062.0 sec. user=vaughan [2010-07-09 02:57:30] 521*2^840550-1 is not prime. Res64: F3849550ABB3D62D Time : 1027.0 sec. user=vaughan [2010-07-09 03:02:14] 587*2^840550-1 is not prime. Res64: 54175CDCDFFF8542 Time : 1062.0 sec. user=vaughan [2010-07-09 03:03:55] 409*2^840551-1 is not prime. Res64: 601AD768E17F95FA Time : 992.0 sec. user=vaughan [2010-07-09 03:04:50] 593*2^840550-1 is not prime. Res64: 8D2BE06DA6BDD611 Time : 1054.0 sec. user=vaughan [2010-07-09 03:05:32] 423*2^840551-1 is not prime. Res64: F52D8046C7C7314F Time : 1041.0 sec. user=vaughan [2010-07-09 03:12:27] 581*2^840550-1 is not prime. Res64: 1D8B10FB96E24587 Time : 1828.0 sec. user=vaughan [2010-07-09 03:12:30] 451*2^840547-1 is not prime. Res64: 05F6C87B238FEE1E Time : 3077.0 sec. user=vaughan [2010-07-09 03:13:14] 579*2^840551-1 is not prime. Res64: 2DD9C69DF0793EB5 Time : 1064.0 sec. user=vaughan [2010-07-09 03:14:17] 465*2^840551-1 is not prime. Res64: 4CEAD68E0B22262A Time : 1205.0 sec. user=vaughan [2010-07-09 03:14:38] 479*2^840552-1 is not prime. Res64: FBC3C7A57B2616B6 Time : 1028.0 sec. user=vaughan [2010-07-09 03:15:12] 511*2^840547-1 is not prime. Res64: 2FED4E0B5326313A Time : 3168.0 sec. user=vaughan [2010-07-09 03:20:10] 515*2^840552-1 is not prime. Res64: 6D563AFDBA945BB5 Time : 1076.0 sec. user=vaughan [2010-07-09 03:20:30] 569*2^840552-1 is not prime. Res64: D452DCB8A9E07CCD Time : 995.0 sec. user=vaughan [2010-07-09 03:22:25] 421*2^840553-1 is not prime. Res64: EFB0EB2FB720A08D Time : 1055.0 sec. user=vaughan [2010-07-09 03:22:55] 477*2^840553-1 is not prime. Res64: 93F188A3DA416EE8 Time : 1044.0 sec. user=vaughan [2010-07-09 03:30:53] 447*2^840554-1 is not prime. Res64: 44D0887C2E98E5C2 Time : 1059.0 sec. user=vaughan [2010-07-09 03:31:44] 415*2^840555-1 is not prime. Res64: CB802EEF91823DBF Time : 1027.0 sec. user=vaughan [2010-07-09 03:34:40] 503*2^840554-1 is not prime. Res64: E85F1C2215412E44 Time : 1223.0 sec. user=vaughan [2010-07-09 03:37:06] 543*2^840555-1 is not prime. Res64: 3E36152D5B634482 Time : 996.0 sec. user=vaughan [2010-07-09 03:37:45] 501*2^840555-1 is not prime. Res64: 849195823EE25EDC Time : 1055.0 sec. user=vaughan [2010-07-09 03:40:03] 483*2^840556-1 is not prime. Res64: 4E75012F81615452 Time : 1058.0 sec. user=vaughan [2010-07-09 03:40:20] 561*2^840557-1 is not prime. Res64: CDB7E7FCF0FED2CE Time : 1046.0 sec. user=vaughan [2010-07-09 03:47:37] 481*2^840553-1 is not prime. Res64: A3648E779451D06B Time : 2110.0 sec. user=vaughan [2010-07-09 03:48:32] 571*2^840557-1 is not prime. Res64: 913426D509EA646D Time : 1059.0 sec. user=vaughan [2010-07-09 03:48:54] 589*2^840557-1 is not prime. Res64: 35E33C3F883447ED Time : 1030.0 sec. user=vaughan [2010-07-09 03:53:40] 507*2^840558-1 is not prime. Res64: 8D4229F7C16F4B7E Time : 995.0 sec. user=vaughan [2010-07-09 03:55:20] 525*2^840558-1 is not prime. Res64: BB97A61108F6D400 Time : 1055.0 sec. user=vaughan [2010-07-09 03:55:22] 431*2^840558-1 is not prime. Res64: 8A57C0CAAA58BC3E Time : 1243.0 sec. user=vaughan [2010-07-09 03:57:36] 441*2^840559-1 is not prime. Res64: 21D378CFD28D1B7B Time : 1054.0 sec. user=vaughan [2010-07-09 03:57:41] 481*2^840559-1 is not prime. Res64: 37981B17DE31AEF3 Time : 1041.0 sec. user=vaughan [2010-07-09 04:06:01] 405*2^840560-1 is not prime. Res64: 6B117E593FD6FF71 Time : 1027.0 sec. user=vaughan [2010-07-09 04:06:02] 489*2^840553-1 is not prime. Res64: 119FE7E51F4FB893 Time : 3212.0 sec. user=vaughan [2010-07-09 04:06:11] 531*2^840559-1 is not prime. Res64: E3688BE9A856758B Time : 1060.0 sec. user=vaughan [2010-07-09 04:10:14] 447*2^840561-1 is not prime. Res64: 29EEDFCF111579AD Time : 994.0 sec. user=vaughan [2010-07-09 04:11:38] 471*2^840555-1 is not prime. Res64: 81094822BBA9EFB0 Time : 3387.0 sec. user=vaughan [2010-07-09 04:12:55] 585*2^840561-1 is not prime. Res64: 687C7910E28B997C Time : 1055.0 sec. user=vaughan [2010-07-09 04:15:03] 521*2^840562-1 is not prime. Res64: 3C1847664E6EA31B Time : 1042.0 sec. user=vaughan [2010-07-09 04:15:11] 507*2^840562-1 is not prime. Res64: CB28458F580D7488 Time : 1056.0 sec. user=vaughan [2010-07-09 04:16:00] 477*2^840562-1 is not prime. Res64: CD334BFF6F3C5F1A Time : 1238.0 sec. user=vaughan [2010-07-09 04:23:11] 451*2^840563-1 is not prime. Res64: 494CE39D5BAFD9B6 Time : 1030.0 sec. user=vaughan [2010-07-09 04:23:51] 489*2^840563-1 is not prime. Res64: 78F538DAB4EB9656 Time : 1060.0 sec. user=vaughan [2010-07-09 04:26:52] 511*2^840563-1 is not prime. Res64: 04B3360424C5E479 Time : 998.0 sec. user=vaughan [2010-07-09 04:30:13] 505*2^840559-1 is not prime. Res64: FFE5DF23D1DDE43C Time : 2556.0 sec. user=vaughan [2010-07-09 04:30:31] 483*2^840564-1 is not prime. Res64: 3B24E3B4B0B6095C Time : 1057.0 sec. user=vaughan [2010-07-09 04:32:26] 555*2^840564-1 is not prime. Res64: 6F1787B5BBE0358F Time : 1044.0 sec. user=vaughan [2010-07-09 04:32:49] 567*2^840564-1 is not prime. Res64: 8231148DBC8A986F Time : 1058.0 sec. user=vaughan [2010-07-09 04:36:43] 405*2^840565-1 is not prime. Res64: 02D85CCEDCA65D3A Time : 1243.0 sec. user=vaughan [2010-07-09 04:40:24] 429*2^840565-1 is not prime. Res64: DA13F03C7110A7E1 Time : 1033.0 sec. user=vaughan [2010-07-09 04:41:29] 451*2^840565-1 is not prime. Res64: 8F90FE070F17A2EC Time : 1059.0 sec. user=vaughan [2010-07-09 04:43:40] 457*2^840565-1 is not prime. Res64: 02FC90B19B5743EA Time : 1008.0 sec. user=vaughan [2010-07-09 04:48:07] 519*2^840565-1 is not prime. Res64: 8AA598422122A2D9 Time : 1057.0 sec. user=vaughan [2010-07-09 04:49:49] 531*2^840565-1 is not prime. Res64: 228E26C080CCA340 Time : 1044.0 sec. user=vaughan [2010-07-09 04:50:28] 567*2^840565-1 is not prime. Res64: 1DB93ADD249F22A8 Time : 1059.0 sec. user=vaughan [2010-07-09 04:57:31] 407*2^840566-1 is not prime. Res64: 8A8BD7CC13CBC9C7 Time : 1249.0 sec. user=vaughan [2010-07-09 04:57:37] 525*2^840566-1 is not prime. Res64: 59924AF33DE6BDDA Time : 1033.0 sec. user=vaughan [2010-07-09 04:59:07] 561*2^840566-1 is not prime. Res64: CCD86F62FE658338 Time : 1058.0 sec. user=vaughan [2010-07-09 05:00:27] 563*2^840566-1 is not prime. Res64: 35CB79CB3F8DAA4B Time : 1007.0 sec. user=vaughan [2010-07-09 05:03:31] 463*2^840563-1 is not prime. Res64: 1757A69FC7471F0B Time : 3450.0 sec. user=vaughan [2010-07-09 05:04:16] 549*2^840563-1 is not prime. Res64: B1C127BD353832B4 Time : 3158.0 sec. user=vaughan [2010-07-09 05:05:42] 593*2^840566-1 is not prime. Res64: 8850A7EA5A74C3C3 Time : 1055.0 sec. user=vaughan [2010-07-09 05:07:12] 441*2^840567-1 is not prime. Res64: C980CAA09118CB6E Time : 1044.0 sec. user=vaughan [2010-07-09 05:08:06] 493*2^840567-1 is not prime. Res64: D11790D39797DBDB Time : 1058.0 sec. user=vaughan [2010-07-09 05:12:43] 495*2^840565-1 is not prime. Res64: 74E8DBD3B2225ADB Time : 2551.0 sec. user=vaughan [2010-07-09 05:14:48] 553*2^840567-1 is not prime. Res64: C2E675ACABA2E7EC Time : 1032.0 sec. user=vaughan [2010-07-09 05:17:12] 483*2^840568-1 is not prime. Res64: 838C38985253F648 Time : 1005.0 sec. user=vaughan [2010-07-09 05:18:06] 501*2^840567-1 is not prime. Res64: 9BA2DDBD8074B6C9 Time : 1235.0 sec. user=vaughan [2010-07-09 05:24:51] 595*2^840569-1 is not prime. Res64: 0923CD509936B721 Time : 1059.0 sec. user=vaughan [2010-07-09 05:25:58] 431*2^840570-1 is not prime. Res64: 5985E0D883B6F17A Time : 1072.0 sec. user=vaughan [2010-07-09 05:31:58] 499*2^840571-1 is not prime. Res64: 91BE11F2AF879409 Time : 1031.0 sec. user=vaughan [2010-07-09 05:33:49] 417*2^840572-1 is not prime. Res64: AB298483260AF5ED Time : 998.0 sec. user=vaughan [2010-07-09 05:35:07] 413*2^840568-1 is not prime. Res64: 578AF88A124F96A5 Time : 2161.0 sec. user=vaughan [2010-07-09 05:38:46] 425*2^840572-1 is not prime. Res64: 10904AE804B99C13 Time : 1240.0 sec. user=vaughan [2010-07-09 05:40:57] 487*2^840569-1 is not prime. Res64: DACD9D2B407D00F1 Time : 2115.0 sec. user=vaughan [2010-07-09 05:42:29] 573*2^840572-1 is not prime. Res64: 70843F5F18C3F9A0 Time : 1058.0 sec. user=vaughan [2010-07-09 05:43:48] 577*2^840573-1 is not prime. Res64: 99074E1E2C6E4F4A Time : 1071.0 sec. user=vaughan [2010-07-09 05:49:13] 597*2^840573-1 is not prime. Res64: BE4EDF93D3DB0009 Time : 1036.0 sec. user=vaughan [2010-07-09 05:49:53] 475*2^840571-1 is not prime. Res64: B13DA1C8551C75C8 Time : 2230.0 sec. user=vaughan [2010-07-09 05:50:33] 477*2^840574-1 is not prime. Res64: D046156AAEAAB9A4 Time : 1004.0 sec. user=vaughan [2010-07-09 05:52:44] 527*2^840574-1 is not prime. Res64: 9F2865D9595B5C44 Time : 1058.0 sec. user=vaughan [2010-07-09 05:56:29] 567*2^840568-1 is not prime. Res64: 7304F4E942ABB017 Time : 3179.0 sec. user=vaughan [2010-07-09 05:58:34] 473*2^840576-1 is not prime. Res64: 9E1BF647B1937353 Time : 1057.0 sec. user=vaughan [2010-07-09 05:59:27] 463*2^840575-1 is not prime. Res64: CF90C581044F2D18 Time : 1241.0 sec. user=vaughan [2010-07-09 06:00:05] 585*2^840576-1 is not prime. Res64: 2DBB3A9B786EB75B Time : 1056.0 sec. user=vaughan [2010-07-09 06:01:32] 517*2^840577-1 is not prime. Res64: 7C19C49CF57E9AB2 Time : 1064.0 sec. user=vaughan [2010-07-09 06:01:58] 441*2^840569-1 is not prime. Res64: E958DE50985EF503 Time : 3463.0 sec. user=vaughan [2010-07-09 06:06:23] 595*2^840577-1 is not prime. Res64: 6397D5C305952B9C Time : 1030.0 sec. user=vaughan [2010-07-09 06:07:06] 447*2^840578-1 is not prime. Res64: 5ECF4C3C32638A0D Time : 993.0 sec. user=vaughan [2010-07-09 06:10:21] 495*2^840578-1 is not prime. Res64: FB32946250A214A9 Time : 1058.0 sec. user=vaughan [2010-07-09 06:16:13] 501*2^840579-1 is not prime. Res64: 360A6A411F7E9810 Time : 1059.0 sec. user=vaughan [2010-07-09 06:17:26] 531*2^840579-1 is not prime. Res64: 1958D8EE921E7157 Time : 1041.0 sec. user=vaughan [2010-07-09 06:19:06] 579*2^840579-1 is not prime. Res64: 8231B06CC5610611 Time : 1055.0 sec. user=vaughan [2010-07-09 06:20:05] 513*2^840579-1 is not prime. Res64: 565D16C1424807E0 Time : 1238.0 sec. user=vaughan [2010-07-09 06:23:30] 443*2^840580-1 is not prime. Res64: 36B5E4AAF1D7B7FD Time : 1027.0 sec. user=vaughan [2010-07-09 06:23:39] 495*2^840580-1 is not prime. Res64: C76453608CEE15B3 Time : 993.0 sec. user=vaughan [2010-07-09 06:28:02] 421*2^840581-1 is not prime. Res64: 4EB28A1298235B32 Time : 1061.0 sec. user=vaughan [2010-07-09 06:32:47] 435*2^840578-1 is not prime. Res64: 1858DAF5DC4E5CCC Time : 2575.0 sec. user=vaughan [2010-07-09 06:33:46] 495*2^840581-1 is not prime. Res64: 2D0B895FA637711E Time : 1053.0 sec. user=vaughan [2010-07-09 06:34:48] 507*2^840581-1 is not prime. Res64: F39093788C70267B Time : 1042.0 sec. user=vaughan [2010-07-09 06:36:40] 549*2^840581-1 is not prime. Res64: 5F28FF85BAB49589 Time : 1055.0 sec. user=vaughan [2010-07-09 06:40:11] 405*2^840582-1 is not prime. Res64: 00AA686332269EFB Time : 993.0 sec. user=vaughan [2010-07-09 06:40:37] 585*2^840581-1 is not prime. Res64: A27FF6D25463BB53 Time : 1028.0 sec. user=vaughan [2010-07-09 06:41:09] 577*2^840581-1 is not prime. Res64: D4EF094D95924E1C Time : 1264.0 sec. user=vaughan [2010-07-09 06:43:44] 533*2^840578-1 is not prime. Res64: F0DDC2979848DB01 Time : 2835.0 sec. user=vaughan [2010-07-09 06:45:44] 431*2^840582-1 is not prime. Res64: B4C829034B49DB29 Time : 1062.0 sec. user=vaughan [2010-07-09 06:51:19] 503*2^840582-1 is not prime. Res64: 976CCA4406759D6C Time : 1053.0 sec. user=vaughan [2010-07-09 06:52:08] 507*2^840582-1 is not prime. Res64: FC8B4405EDE4EE9A Time : 1040.0 sec. user=vaughan [2010-07-09 06:52:12] 595*2^840579-1 is not prime. Res64: 1051DA8032F8401F Time : 3015.0 sec. user=vaughan [2010-07-09 06:54:15] 463*2^840583-1 is not prime. Res64: 3D3959C238557B1B Time : 1055.0 sec. user=vaughan [2010-07-09 06:56:43] 465*2^840583-1 is not prime. Res64: 1404574DBD5BA48F Time : 992.0 sec. user=vaughan [2010-07-09 06:57:43] 549*2^840583-1 is not prime. Res64: 713AAFDBCA7C4998 Time : 1027.0 sec. user=vaughan [2010-07-09 07:00:54] 553*2^840583-1 is not prime. Res64: 7E865E049AE8FF16 Time : 1185.0 sec. user=vaughan [2010-07-09 07:01:28] 471*2^840582-1 is not prime. Res64: 90FEC9FDCF853E7C Time : 1721.0 sec. user=vaughan [2010-07-09 07:03:27] 599*2^840584-1 is not prime. Res64: 40D70107F4346C87 Time : 1063.0 sec. user=vaughan [2010-07-09 07:08:54] 415*2^840585-1 is not prime. Res64: E2980508C86FD7A7 Time : 1056.0 sec. user=vaughan [2010-07-09 07:09:30] 495*2^840585-1 is not prime. Res64: 1FC5FC6C5BE0E60C Time : 1042.0 sec. user=vaughan [2010-07-09 07:11:49] 555*2^840585-1 is not prime. Res64: B87192DB72ECB6EA Time : 1054.0 sec. user=vaughan [2010-07-09 07:13:14] 591*2^840585-1 is not prime. Res64: FD6DA222101B0E07 Time : 991.0 sec. user=vaughan [2010-07-09 07:14:50] 411*2^840586-1 is not prime. Res64: 1F43EEDD4DD2F820 Time : 1027.0 sec. user=vaughan [2010-07-09 07:20:40] 465*2^840586-1 is not prime. Res64: 0674E58E29992928 Time : 1186.0 sec. user=vaughan [2010-07-09 07:24:35] 473*2^840584-1 is not prime. Res64: E0C8A19B2D53F75A Time : 2451.0 sec. user=vaughan [2010-07-09 07:26:51] 595*2^840587-1 is not prime. Res64: 1EB23984C75FAE54 Time : 1041.0 sec. user=vaughan [2010-07-09 07:29:24] 423*2^840588-1 is not prime. Res64: A098973ED3A2F4CE Time : 1055.0 sec. user=vaughan [2010-07-09 07:29:47] 459*2^840588-1 is not prime. Res64: 649C46CEC8530887 Time : 993.0 sec. user=vaughan [2010-07-09 07:31:02] 471*2^840586-1 is not prime. Res64: FB42DC51E39E77D2 Time : 1774.0 sec. user=vaughan [2010-07-09 07:31:57] 489*2^840588-1 is not prime. Res64: 3B59E2D7B511C52C Time : 1027.0 sec. user=vaughan [2010-07-09 07:38:12] 537*2^840585-1 is not prime. Res64: 69CB2CDCC86B1642 Time : 2761.0 sec. user=vaughan [2010-07-09 07:39:49] 545*2^840588-1 is not prime. Res64: E300E6FE227D8969 Time : 1149.0 sec. user=vaughan [2010-07-09 07:44:13] 511*2^840589-1 is not prime. Res64: D39F53A5858B881D Time : 1042.0 sec. user=vaughan [2010-07-09 07:46:19] 467*2^840590-1 is not prime. Res64: 7707F9E73432D65F Time : 993.0 sec. user=vaughan [2010-07-09 07:46:59] 567*2^840589-1 is not prime. Res64: 5B921995C1ADFEED Time : 1055.0 sec. user=vaughan [2010-07-09 07:49:03] 483*2^840590-1 is not prime. Res64: 71824FCF4957D5A0 Time : 1027.0 sec. user=vaughan [2010-07-09 07:58:52] 525*2^840590-1 is not prime. Res64: F9A5DC6A647F3175 Time : 1144.0 sec. user=vaughan [2010-07-09 07:59:52] 477*2^840590-1 is not prime. Res64: 46B066D944761FFA Time : 1730.0 sec. user=vaughan [2010-07-09 08:01:35] 433*2^840591-1 is not prime. Res64: D996E1881E4DF1EC Time : 1042.0 sec. user=vaughan [2010-07-09 08:02:49] 465*2^840591-1 is not prime. Res64: E2CCD9757277725A Time : 990.0 sec. user=vaughan [2010-07-09 08:04:33] 541*2^840591-1 is not prime. Res64: A1657C1BB03F1289 Time : 1055.0 sec. user=vaughan [2010-07-09 08:05:39] 415*2^840589-1 is not prime. Res64: B13DE39A28234909 Time : 2464.0 sec. user=vaughan [2010-07-09 08:06:10] 579*2^840591-1 is not prime. Res64: 77BA3EA08D679A92 Time : 1027.0 sec. user=vaughan [2010-07-09 08:07:19] 561*2^840586-1 is not prime. Res64: 76E6DE8B69220FAA Time : 3832.0 sec. user=vaughan [2010-07-09 08:12:25] 565*2^840587-1 is not prime. Res64: 00E056A7374F6026 Time : 3811.0 sec. user=vaughan [2010-07-09 08:17:57] 467*2^840592-1 is not prime. Res64: 9A259ACFBE72641A Time : 1145.0 sec. user=vaughan [2010-07-09 08:18:57] 527*2^840592-1 is not prime. Res64: CC95267AA26AAB64 Time : 1042.0 sec. user=vaughan [2010-07-09 08:19:20] 549*2^840593-1 is not prime. Res64: 5320681FAA450D05 Time : 991.0 sec. user=vaughan [2010-07-09 08:22:08] 559*2^840593-1 is not prime. Res64: 6191C9EF21FA4ADF Time : 1055.0 sec. user=vaughan [2010-07-09 08:22:44] 519*2^840592-1 is not prime. Res64: ED73D1DDFE7F6CE1 Time : 1372.0 sec. user=vaughan [2010-07-09 08:22:51] 521*2^840590-1 is not prime. Res64: D33D6FCDC7AB437D Time : 2679.0 sec. user=vaughan [2010-07-09 08:23:17] 417*2^840594-1 is not prime. Res64: 11ECE84394B02CF5 Time : 1027.0 sec. user=vaughan [2010-07-09 08:35:52] 535*2^840595-1 is not prime. Res64: 7F4E72F78BBA92DA Time : 992.0 sec. user=vaughan [2010-07-09 08:36:18] 451*2^840595-1 is not prime. Res64: 88E2C2290495505D Time : 1041.0 sec. user=vaughan [2010-07-09 08:37:25] 555*2^840594-1 is not prime. Res64: 73FEE9B1FFA2A132 Time : 1169.0 sec. user=vaughan [2010-07-09 08:39:43] 589*2^840595-1 is not prime. Res64: C86018496918D7BE Time : 1055.0 sec. user=vaughan [2010-07-09 08:40:25] 525*2^840596-1 is not prime. Res64: 75758031A6329F44 Time : 1029.0 sec. user=vaughan [2010-07-09 08:48:47] 447*2^840594-1 is not prime. Res64: E022A16C01328E51 Time : 2488.0 sec. user=vaughan [2010-07-09 08:48:54] 595*2^840593-1 is not prime. Res64: 596414CA260644F2 Time : 2595.0 sec. user=vaughan [2010-07-09 08:52:26] 539*2^840596-1 is not prime. Res64: C117171B0529C09E Time : 994.0 sec. user=vaughan [2010-07-09 08:53:38] 563*2^840596-1 is not prime. Res64: BD9A84922C581648 Time : 1040.0 sec. user=vaughan [2010-07-09 08:53:46] 521*2^840594-1 is not prime. Res64: 7C3FB12B1A65EA86 Time : 2481.0 sec. user=vaughan [2010-07-09 08:57:18] 465*2^840597-1 is not prime. Res64: 1734B421D5FBFBE9 Time : 1055.0 sec. user=vaughan [2010-07-09 08:57:30] 459*2^840596-1 is not prime. Res64: CAC7A0E0725CA1D3 Time : 2086.0 sec. user=vaughan [2010-07-09 08:57:32] 469*2^840597-1 is not prime. Res64: 01E7BA8628DBF71B Time : 1028.0 sec. user=vaughan [2010-07-09 08:58:18] 417*2^840597-1 is not prime. Res64: 41F46F0C6D2721D3 Time : 1253.0 sec. user=vaughan [2010-07-09 09:02:09] 483*2^840596-1 is not prime. Res64: 5E5E35D1A370CE87 Time : 2359.0 sec. user=vaughan [2010-07-09 09:06:41] 517*2^840597-1 is not prime. Res64: BBF9A9F766ADEA29 Time : 1075.0 sec. user=vaughan [2010-07-09 09:08:57] 585*2^840597-1 is not prime. Res64: 22DDBAF720322F31 Time : 991.0 sec. user=vaughan [2010-07-09 09:11:00] 423*2^840598-1 is not prime. Res64: 507CFE5A35B407F5 Time : 1042.0 sec. user=vaughan [2010-07-09 09:11:29] 467*2^840598-1 is not prime. Res64: 483D3637B2FDAE34 Time : 1064.0 sec. user=vaughan [2010-07-09 09:14:38] 551*2^840598-1 is not prime. Res64: B921FFAE3BD713A5 Time : 1027.0 sec. user=vaughan [2010-07-09 09:14:53] 483*2^840598-1 is not prime. Res64: B4E5AB401C683772 Time : 1055.0 sec. user=vaughan [2010-07-09 09:18:58] 561*2^840598-1 is not prime. Res64: 05C14F854B639C9F Time : 1240.0 sec. user=vaughan [2010-07-09 09:25:30] 589*2^840599-1 is not prime. Res64: 0123D9BFAD7318CB Time : 993.0 sec. user=vaughan [2010-07-09 09:28:29] 447*2^840600-1 is not prime. Res64: CDB981221F926798 Time : 1049.0 sec. user=vaughan [2010-07-09 09:28:51] 579*2^840597-1 is not prime. Res64: FAD9E744E6F4AF83 Time : 2397.0 sec. user=vaughan [2010-07-09 09:32:04] 473*2^840600-1 is not prime. Res64: 787667AE720CF191 Time : 1046.0 sec. user=vaughan [2010-07-09 09:32:31] 415*2^840601-1 is not prime. Res64: E7C1587B39647BC5 Time : 1059.0 sec. user=vaughan [2010-07-09 09:35:49] 505*2^840599-1 is not prime. Res64: 5584DCC331FCA8FA Time : 1748.0 sec. user=vaughan [2010-07-09 09:38:37] 525*2^840598-1 is not prime. Res64: 86C896FFD88AE369 Time : 2467.0 sec. user=vaughan [2010-07-09 09:39:06] 489*2^840601-1 is not prime. Res64: 90E8D3F5B0412C1F Time : 1208.0 sec. user=vaughan [2010-07-09 09:39:32] 465*2^840600-1 is not prime. Res64: 04C871C36D965B92 Time : 1683.0 sec. user=vaughan [2010-07-09 09:42:07] 565*2^840601-1 is not prime. Res64: E23CE750FC9F9AE7 Time : 997.0 sec. user=vaughan [2010-07-09 09:43:19] 501*2^840599-1 is not prime. Res64: 2C3FDD8F52D49051 Time : 2471.0 sec. user=vaughan [2010-07-09 09:46:04] 591*2^840601-1 is not prime. Res64: F5E338693C5EBB9D Time : 1055.0 sec. user=vaughan [2010-07-09 09:49:25] 437*2^840602-1 is not prime. Res64: 84324FAB6FED5581 Time : 1042.0 sec. user=vaughan [2010-07-09 09:50:14] 453*2^840602-1 is not prime. Res64: 8C3698548EE6A1F5 Time : 1063.0 sec. user=vaughan [2010-07-09 09:53:29] 515*2^840602-1 is not prime. Res64: 7037F22873FF21A9 Time : 1061.0 sec. user=vaughan [2010-07-09 09:57:07] 481*2^840603-1 is not prime. Res64: E0878328C9F5EE66 Time : 1055.0 sec. user=vaughan [2010-07-09 09:58:44] 489*2^840603-1 is not prime. Res64: 3AFEA53E2AF2C702 Time : 998.0 sec. user=vaughan [2010-07-09 09:59:39] 471*2^840603-1 is not prime. Res64: 1382EE8875BACC79 Time : 1233.0 sec. user=vaughan [2010-07-09 10:03:35] 529*2^840603-1 is not prime. Res64: 6B4B8215436220F9 Time : 1051.0 sec. user=vaughan [2010-07-09 10:06:42] 555*2^840603-1 is not prime. Res64: 6838B270471A7CA6 Time : 1038.0 sec. user=vaughan [2010-07-09 10:07:47] 407*2^840602-1 is not prime. Res64: 6B70C9183B2E5E2D Time : 2336.0 sec. user=vaughan [2010-07-09 10:07:54] 585*2^840603-1 is not prime. Res64: FEE25A6DAC9C9F90 Time : 1060.0 sec. user=vaughan [2010-07-09 10:11:12] 483*2^840604-1 is not prime. Res64: A62B5E6EFF197FB6 Time : 1063.0 sec. user=vaughan [2010-07-09 10:14:41] 513*2^840604-1 is not prime. Res64: 236FCAC5E8F7E539 Time : 1055.0 sec. user=vaughan [2010-07-09 10:15:17] 539*2^840604-1 is not prime. Res64: 156BC07AE29574E8 Time : 993.0 sec. user=vaughan [2010-07-09 10:19:45] 415*2^840603-1 is not prime. Res64: FD2DBE25384BC02E Time : 2468.0 sec. user=vaughan [2010-07-09 10:20:35] 569*2^840604-1 is not prime. Res64: 75E41D9D7022434D Time : 1257.0 sec. user=vaughan [2010-07-09 10:20:57] 477*2^840605-1 is not prime. Res64: 35EF898BE10064F2 Time : 1042.0 sec. user=vaughan [2010-07-09 10:23:48] 489*2^840605-1 is not prime. Res64: DD0585329DB1748B Time : 1027.0 sec. user=vaughan [2010-07-09 10:24:15] 523*2^840603-1 is not prime. Res64: BB6F42301E47EB8F Time : 2456.0 sec. user=vaughan [2010-07-09 10:25:30] 561*2^840605-1 is not prime. Res64: D35320A93630B224 Time : 1056.0 sec. user=vaughan [2010-07-09 10:31:50] 437*2^840606-1 is not prime. Res64: 6165DD522ECF5FE1 Time : 993.0 sec. user=vaughan [2010-07-09 10:37:40] 417*2^840606-1 is not prime. Res64: 637B5A40ACA4DF9E Time : 1589.0 sec. user=vaughan [2010-07-09 10:38:18] 413*2^840608-1 is not prime. Res64: 5F71C62EEFE0D33B Time : 1041.0 sec. user=vaughan [2010-07-09 10:40:18] 431*2^840606-1 is not prime. Res64: 8BDEEF97DDCDAAD4 Time : 1537.0 sec. user=vaughan [2010-07-09 10:40:55] 489*2^840608-1 is not prime. Res64: D749300D07AEAE0E Time : 1027.0 sec. user=vaughan [2010-07-09 10:41:31] 507*2^840606-1 is not prime. Res64: BFD7B1002A4859F7 Time : 1256.0 sec. user=vaughan [2010-07-09 10:43:05] 539*2^840608-1 is not prime. Res64: CF7B3EB0F8940CE4 Time : 1056.0 sec. user=vaughan [2010-07-09 10:44:30] 495*2^840605-1 is not prime. Res64: 954CF99F0577825B Time : 2203.0 sec. user=vaughan [2010-07-09 10:48:24] 413*2^840610-1 is not prime. Res64: 4426B717A49DB95A Time : 994.0 sec. user=vaughan [2010-07-09 10:55:18] 531*2^840610-1 is not prime. Res64: 73DB2D15EF23E941 Time : 1058.0 sec. user=vaughan [2010-07-09 10:55:40] 581*2^840610-1 is not prime. Res64: 2D68AF17C8A1E9DD Time : 1042.0 sec. user=vaughan [2010-07-09 10:57:56] 403*2^840611-1 is not prime. Res64: DB5A9E2ED560F758 Time : 1058.0 sec. user=vaughan [2010-07-09 10:58:02] 459*2^840611-1 is not prime. Res64: 6410741493570D8E Time : 1027.0 sec. user=vaughan [2010-07-09 11:00:38] 573*2^840611-1 is not prime. Res64: 3EFD0DB6D4B5297C Time : 1054.0 sec. user=vaughan [2010-07-09 11:01:11] 503*2^840606-1 is not prime. Res64: A46D78BC9D3EB857 Time : 2486.0 sec. user=vaughan [2010-07-09 11:02:58] 465*2^840611-1 is not prime. Res64: 3371AF8C6619BCC0 Time : 1288.0 sec. user=vaughan [2010-07-09 11:04:04] 503*2^840608-1 is not prime. Res64: 1AC7D56F2FF2EF85 Time : 2389.0 sec. user=vaughan [2010-07-09 11:04:58] 405*2^840612-1 is not prime. Res64: CF3A64894D25890A Time : 994.0 sec. user=vaughan [2010-07-09 11:12:58] 413*2^840612-1 is not prime. Res64: 2AF368324860301E Time : 1061.0 sec. user=vaughan [2010-07-09 11:13:02] 455*2^840612-1 is not prime. Res64: 4EF18A96CD40EFB2 Time : 1042.0 sec. user=vaughan [2010-07-09 11:15:10] 503*2^840612-1 is not prime. Res64: 54E4D555A0660C11 Time : 1028.0 sec. user=vaughan [2010-07-09 11:15:36] 459*2^840612-1 is not prime. Res64: 12A1A2BFBFD2FE51 Time : 1060.0 sec. user=vaughan [2010-07-09 11:18:12] 557*2^840612-1 is not prime. Res64: A46197A54350A30B Time : 1054.0 sec. user=vaughan [2010-07-09 11:21:31] 433*2^840615-1 is not prime. Res64: 8BF65495EC79A73C Time : 994.0 sec. user=vaughan [2010-07-09 11:23:26] 585*2^840611-1 is not prime. Res64: 511A6F192D127439 Time : 2336.0 sec. user=vaughan [2010-07-09 11:29:26] 591*2^840613-1 is not prime. Res64: ECDA241FFDA12717 Time : 1588.0 sec. user=vaughan [2010-07-09 11:30:22] 459*2^840615-1 is not prime. Res64: 35B84F1FF9012E73 Time : 1040.0 sec. user=vaughan [2010-07-09 11:30:39] 451*2^840615-1 is not prime. Res64: 91262AC69C370E45 Time : 1061.0 sec. user=vaughan [2010-07-09 11:32:16] 471*2^840615-1 is not prime. Res64: 35124D0F75C48270 Time : 1027.0 sec. user=vaughan [2010-07-09 11:33:13] 481*2^840615-1 is not prime. Res64: 5A2714FE3A4A5DA7 Time : 1058.0 sec. user=vaughan [2010-07-09 11:35:48] 513*2^840615-1 is not prime. Res64: 27EAD62A11C9BB4E Time : 1056.0 sec. user=vaughan [2010-07-09 11:38:05] 523*2^840615-1 is not prime. Res64: A405AF8EEEE19935 Time : 995.0 sec. user=vaughan [2010-07-09 11:43:24] 585*2^840612-1 is not prime. Res64: A385BBC0CCB7E609 Time : 2533.0 sec. user=vaughan [2010-07-09 11:47:43] 455*2^840616-1 is not prime. Res64: 1E5FC8839A0482FF Time : 1041.0 sec. user=vaughan [2010-07-09 11:48:18] 575*2^840616-1 is not prime. Res64: C3E99B2BBBE333A0 Time : 1059.0 sec. user=vaughan [2010-07-09 11:49:24] 465*2^840617-1 is not prime. Res64: 3A4778D7A99D9AD6 Time : 1028.0 sec. user=vaughan [2010-07-09 11:50:48] 561*2^840617-1 is not prime. Res64: C8435FD6AEF006E1 Time : 1055.0 sec. user=vaughan [2010-07-09 11:53:25] 447*2^840618-1 is not prime. Res64: C2500298A47C6D04 Time : 1058.0 sec. user=vaughan [2010-07-09 11:54:38] 453*2^840618-1 is not prime. Res64: 6399DA3B3B7CE603 Time : 993.0 sec. user=vaughan [2010-07-09 11:56:38] 411*2^840615-1 is not prime. Res64: 5C5CD47EF2848977 Time : 3154.0 sec. user=vaughan [2010-07-09 12:01:10] 405*2^840616-1 is not prime. Res64: 6F7A4AD747BEDE97 Time : 1904.0 sec. user=vaughan [2010-07-09 12:05:05] 485*2^840618-1 is not prime. Res64: 93BB982CA358859C Time : 1042.0 sec. user=vaughan [2010-07-09 12:06:00] 497*2^840618-1 is not prime. Res64: 083CF6510885D132 Time : 1063.0 sec. user=vaughan [2010-07-09 12:06:30] 567*2^840618-1 is not prime. Res64: 0C48B11B25CD059C Time : 1026.0 sec. user=vaughan [2010-07-09 12:08:20] 581*2^840618-1 is not prime. Res64: DF8C0F79A69EDDDF Time : 1053.0 sec. user=vaughan [2010-07-09 12:10:58] 465*2^840619-1 is not prime. Res64: 668AB7C2E4BC1A19 Time : 1053.0 sec. user=vaughan [2010-07-09 12:11:12] 447*2^840620-1 is not prime. Res64: 88530701E9658184 Time : 994.0 sec. user=vaughan [2010-07-09 12:17:01] 471*2^840618-1 is not prime. Res64: 26DDD4DD0ECEC93C Time : 2017.0 sec. user=vaughan [2010-07-09 12:19:55] 573*2^840615-1 is not prime. Res64: 3820519F76469775 Time : 3390.0 sec. user=vaughan [2010-07-09 12:22:38] 477*2^840620-1 is not prime. Res64: D09080F8D180FF8C Time : 1053.0 sec. user=vaughan [2010-07-09 12:23:41] 557*2^840620-1 is not prime. Res64: 3A387F08BC191C89 Time : 1031.0 sec. user=vaughan [2010-07-09 12:23:42] 519*2^840620-1 is not prime. Res64: 0402D6F2C566BF17 Time : 1062.0 sec. user=vaughan [2010-07-09 12:25:54] 415*2^840621-1 is not prime. Res64: 6801D17CCA02C2C1 Time : 1054.0 sec. user=vaughan [2010-07-09 12:27:54] 447*2^840621-1 is not prime. Res64: 227B6FF81FA1D048 Time : 1003.0 sec. user=vaughan [2010-07-09 12:28:42] 427*2^840621-1 is not prime. Res64: FACE0527BA8B73FA Time : 1064.0 sec. user=vaughan [2010-07-09 12:32:36] 473*2^840620-1 is not prime. Res64: 53B5E0101A5C7F5C Time : 1887.0 sec. user=vaughan [2010-07-09 12:39:59] 525*2^840622-1 is not prime. Res64: 7CF854ECB3AECD32 Time : 1042.0 sec. user=vaughan [2010-07-09 12:40:49] 475*2^840623-1 is not prime. Res64: A62928114347DA88 Time : 1028.0 sec. user=vaughan [2010-07-09 12:41:19] 505*2^840623-1 is not prime. Res64: 52AC8D69534DE0EA Time : 1058.0 sec. user=vaughan [2010-07-09 12:43:32] 571*2^840623-1 is not prime. Res64: AF3EAAB9EDAE63DD Time : 1059.0 sec. user=vaughan [2010-07-09 12:44:28] 447*2^840624-1 is not prime. Res64: EA22A872E01923CF Time : 994.0 sec. user=vaughan [2010-07-09 12:46:18] 503*2^840624-1 is not prime. Res64: 931E70BA1F8DAD36 Time : 1056.0 sec. user=vaughan [2010-07-09 12:54:06] 449*2^840620-1 is not prime. Res64: 6649855F4F493F90 Time : 3448.0 sec. user=vaughan [2010-07-09 12:57:07] 537*2^840621-1 is not prime. Res64: C4614C067D472BE1 Time : 2406.0 sec. user=vaughan [2010-07-09 12:57:21] 563*2^840624-1 is not prime. Res64: FFC50A1A60A075E5 Time : 1042.0 sec. user=vaughan [2010-07-09 12:57:56] 587*2^840624-1 is not prime. Res64: 0820F3B0F40DB7C5 Time : 1027.0 sec. user=vaughan [2010-07-09 12:58:55] 593*2^840624-1 is not prime. Res64: AC25F07E22959554 Time : 1056.0 sec. user=vaughan [2010-07-09 13:01:02] 555*2^840625-1 is not prime. Res64: 0BA41A1F21E38904 Time : 995.0 sec. user=vaughan [2010-07-09 13:01:09] 541*2^840625-1 is not prime. Res64: 6241682D798E0496 Time : 1058.0 sec. user=vaughan [2010-07-09 13:03:45] 513*2^840624-1 is not prime. Res64: 377BA3DC3DD50C07 Time : 1869.0 sec. user=vaughan [2010-07-09 13:03:52] 561*2^840625-1 is not prime. Res64: 2ADB32DBBCFC6933 Time : 1055.0 sec. user=vaughan [2010-07-09 13:13:58] 507*2^840622-1 is not prime. Res64: 8B9861CE5B34CF2F Time : 3243.0 sec. user=vaughan [2010-07-09 13:14:42] 447*2^840626-1 is not prime. Res64: E6E5D39E2DD07823 Time : 1042.0 sec. user=vaughan [2010-07-09 13:15:02] 483*2^840626-1 is not prime. Res64: 77891C65AF57B261 Time : 1027.0 sec. user=vaughan [2010-07-09 13:16:33] 507*2^840626-1 is not prime. Res64: ABB4242714AA5099 Time : 1058.0 sec. user=vaughan [2010-07-09 13:17:34] 531*2^840626-1 is not prime. Res64: 496E8AA2996D4599 Time : 992.0 sec. user=vaughan [2010-07-09 13:18:49] 545*2^840626-1 is not prime. Res64: FC2A8FA97889F769 Time : 1060.0 sec. user=vaughan [2010-07-09 13:21:28] 495*2^840627-1 is not prime. Res64: 09BAA483D916DDD8 Time : 1056.0 sec. user=vaughan [2010-07-09 13:28:13] 417*2^840626-1 is not prime. Res64: 31B813E62377E093 Time : 1866.0 sec. user=vaughan [2010-07-09 13:32:02] 595*2^840627-1 is not prime. Res64: 8C160E03FDCAC75C Time : 1041.0 sec. user=vaughan [2010-07-09 13:32:07] 513*2^840628-1 is not prime. Res64: E5F73F9220B66307 Time : 1026.0 sec. user=vaughan [2010-07-09 13:34:07] 439*2^840629-1 is not prime. Res64: 69F1EAFBD4B42543 Time : 993.0 sec. user=vaughan [2010-07-09 13:34:12] 527*2^840628-1 is not prime. Res64: C3457E523F61F237 Time : 1059.0 sec. user=vaughan [2010-07-09 13:35:00] 465*2^840627-1 is not prime. Res64: F176D29AE795F6C9 Time : 1875.0 sec. user=vaughan [2010-07-09 13:36:29] 525*2^840629-1 is not prime. Res64: 9D353D84AD2B1371 Time : 1061.0 sec. user=vaughan [2010-07-09 13:39:02] 537*2^840629-1 is not prime. Res64: 7B1387C612723D95 Time : 1054.0 sec. user=vaughan [2010-07-09 13:47:37] 597*2^840625-1 is not prime. Res64: ED4A0FE99D88DAC6 Time : 3211.0 sec. user=vaughan [2010-07-09 13:49:26] 515*2^840630-1 is not prime. Res64: 9DB35CC478A3F9A2 Time : 1039.0 sec. user=vaughan [2010-07-09 13:49:42] 461*2^840630-1 is not prime. Res64: B41ECA20A6F0DB89 Time : 1060.0 sec. user=vaughan [2010-07-09 13:50:51] 567*2^840630-1 is not prime. Res64: 912AF1DA38FC11A6 Time : 1004.0 sec. user=vaughan [2010-07-09 13:51:54] 591*2^840630-1 is not prime. Res64: 6C7F4E2D7BB8BF86 Time : 1063.0 sec. user=vaughan [2010-07-09 13:54:06] 463*2^840631-1 is not prime. Res64: FC82D4E5677AD798 Time : 1057.0 sec. user=vaughan [2010-07-09 13:56:54] 465*2^840631-1 is not prime. Res64: C12659BC0E64E777 Time : 1073.0 sec. user=vaughan [2010-07-09 14:06:21] 423*2^840631-1 is not prime. Res64: 5683A21BCB98D773 Time : 1881.0 sec. user=vaughan [2010-07-09 14:06:32] 595*2^840631-1 is not prime. Res64: 74013C9973F57B09 Time : 1027.0 sec. user=vaughan [2010-07-09 14:06:33] 559*2^840629-1 is not prime. Res64: B9B507950AD26771 Time : 2300.0 sec. user=vaughan [2010-07-09 14:07:18] 459*2^840632-1 is not prime. Res64: AD948A56621B167B Time : 1057.0 sec. user=vaughan [2010-07-09 14:07:38] 467*2^840632-1 is not prime. Res64: AF931F2B9E98D168 Time : 1008.0 sec. user=vaughan [2010-07-09 14:09:31] 513*2^840627-1 is not prime. Res64: 28C6DE12CE50AD4D Time : 3333.0 sec. user=vaughan [2010-07-09 14:10:01] 563*2^840632-1 is not prime. Res64: 48358385ABFF53AE Time : 1087.0 sec. user=vaughan [2010-07-09 14:11:47] 599*2^840632-1 is not prime. Res64: 963E923C6F8E6E88 Time : 1062.0 sec. user=vaughan [2010-07-09 14:14:28] 409*2^840633-1 is not prime. Res64: 891356EDDB0020A7 Time : 1054.0 sec. user=vaughan [2010-07-09 14:23:37] 471*2^840633-1 is not prime. Res64: EFB32ACDA7C60596 Time : 1025.0 sec. user=vaughan [2010-07-09 14:24:25] 401*2^840634-1 is not prime. Res64: 6D0916040C5B5100 Time : 1027.0 sec. user=vaughan [2010-07-09 14:25:44] 435*2^840634-1 is not prime. Res64: 546EFEE30C8FC8A6 Time : 1086.0 sec. user=vaughan [2010-07-09 14:27:44] 587*2^840634-1 is not prime. Res64: 30C2FAD6156356A0 Time : 1064.0 sec. user=vaughan [2010-07-09 14:29:23] 433*2^840635-1 is not prime. Res64: 55F630AC37640BB2 Time : 1056.0 sec. user=vaughan [2010-07-09 14:31:29] 493*2^840635-1 is not prime. Res64: 75B96076CFA23E44 Time : 1021.0 sec. user=vaughan [2010-07-09 14:37:48] 441*2^840633-1 is not prime. Res64: F1D3AD5EC4CEE41E Time : 1887.0 sec. user=vaughan [2010-07-09 14:40:40] 543*2^840635-1 is not prime. Res64: 453E1AF12C98CA40 Time : 1023.0 sec. user=vaughan [2010-07-09 14:41:20] 429*2^840636-1 is not prime. Res64: 7B8879D86C9AAA36 Time : 1016.0 sec. user=vaughan [2010-07-09 14:43:45] 537*2^840636-1 is not prime. Res64: 9838E9AD33B2D48C Time : 1082.0 sec. user=vaughan [2010-07-09 14:45:28] 567*2^840636-1 is not prime. Res64: 2589435D4EBB645B Time : 1064.0 sec. user=vaughan [2010-07-09 14:46:55] 441*2^840637-1 is not prime. Res64: A6C9B11FD0B540B5 Time : 1053.0 sec. user=vaughan [2010-07-09 14:48:27] 489*2^840637-1 is not prime. Res64: 57D3C8C7E09CFC96 Time : 1019.0 sec. user=vaughan [2010-07-09 14:49:13] 555*2^840633-1 is not prime. Res64: 0575966F87073726 Time : 2560.0 sec. user=vaughan [2010-07-09 14:50:31] 493*2^840631-1 is not prime. Res64: 7974E87ED216A51B Time : 3774.0 sec. user=vaughan [2010-07-09 14:57:42] 589*2^840637-1 is not prime. Res64: 354CE80CDE60161D Time : 1022.0 sec. user=vaughan [2010-07-09 14:58:17] 437*2^840638-1 is not prime. Res64: 5CC6D592CB3E74C6 Time : 1017.0 sec. user=vaughan [2010-07-09 15:01:48] 467*2^840638-1 is not prime. Res64: 126547E323C1AF62 Time : 1083.0 sec. user=vaughan [2010-07-09 15:03:05] 515*2^840638-1 is not prime. Res64: A96A88741E63EC29 Time : 1058.0 sec. user=vaughan [2010-07-09 15:04:33] 567*2^840638-1 is not prime. Res64: A5226FB376867087 Time : 1058.0 sec. user=vaughan [2010-07-09 15:05:25] 511*2^840639-1 is not prime. Res64: 3860AF480C18DB0B Time : 1018.0 sec. user=vaughan [2010-07-09 15:08:20] 573*2^840634-1 is not prime. Res64: 6900CAA6B228B155 Time : 3530.0 sec. user=vaughan [2010-07-09 15:09:10] 517*2^840637-1 is not prime. Res64: B76EDEA36494C79C Time : 1883.0 sec. user=vaughan [2010-07-09 15:14:44] 563*2^840640-1 is not prime. Res64: 7C0868C1863D961A Time : 1022.0 sec. user=vaughan [2010-07-09 15:15:14] 569*2^840640-1 is not prime. Res64: 4E78466CA4CF7FBF Time : 1018.0 sec. user=vaughan [2010-07-09 15:19:50] 529*2^840641-1 is not prime. Res64: 631D39A8F9D2EA9D Time : 1083.0 sec. user=vaughan [2010-07-09 15:20:43] 547*2^840641-1 is not prime. Res64: 5DF763AEA3FC4D30 Time : 1058.0 sec. user=vaughan [2010-07-09 15:22:10] 423*2^840642-1 is not prime. Res64: 43834FEB793A9799 Time : 1058.0 sec. user=vaughan [2010-07-09 15:22:25] 503*2^840642-1 is not prime. Res64: 58E761B504F48E2F Time : 1020.0 sec. user=vaughan [2010-07-09 15:31:39] 565*2^840639-1 is not prime. Res64: E6DCB70B4A3FBF17 Time : 2546.0 sec. user=vaughan [2010-07-09 15:31:47] 415*2^840643-1 is not prime. Res64: 972D86F1A31DBC5E Time : 1024.0 sec. user=vaughan [2010-07-09 15:32:12] 421*2^840643-1 is not prime. Res64: 5EF0F7265D3680AE Time : 1018.0 sec. user=vaughan [2010-07-09 15:37:54] 439*2^840643-1 is not prime. Res64: 51AA9E1BD423FB9C Time : 1084.0 sec. user=vaughan [2010-07-09 15:38:21] 555*2^840643-1 is not prime. Res64: 7A18B118DCF16B5A Time : 1059.0 sec. user=vaughan [2010-07-09 15:39:25] 425*2^840644-1 is not prime. Res64: 04866562638B6BE8 Time : 1021.0 sec. user=vaughan [2010-07-09 15:39:46] 413*2^840644-1 is not prime. Res64: D9C7B0F64E453C86 Time : 1056.0 sec. user=vaughan [2010-07-09 15:40:28] 587*2^840642-1 is not prime. Res64: 792B4E9A12E245B2 Time : 1878.0 sec. user=vaughan [2010-07-09 15:48:51] 503*2^840644-1 is not prime. Res64: DB7C1DCB7FD22361 Time : 1025.0 sec. user=vaughan [2010-07-09 15:49:11] 507*2^840644-1 is not prime. Res64: 6127C555E6EB5553 Time : 1020.0 sec. user=vaughan [2010-07-09 15:50:59] 495*2^840640-1 is not prime. Res64: E07038459F33EC36 Time : 3628.0 sec. user=vaughan [2010-07-09 15:55:56] 525*2^840644-1 is not prime. Res64: C50077C82EA4F967 Time : 1083.0 sec. user=vaughan [2010-07-09 15:56:04] 545*2^840644-1 is not prime. Res64: 14C0525859A65C9A Time : 1063.0 sec. user=vaughan [2010-07-09 15:56:23] 563*2^840644-1 is not prime. Res64: D85B790AC3B50C1B Time : 1018.0 sec. user=vaughan [2010-07-09 15:57:20] 579*2^840644-1 is not prime. Res64: A5B3D5115F0C3014 Time : 1054.0 sec. user=vaughan [2010-07-09 16:03:22] 527*2^840642-1 is not prime. Res64: 60D722AC53921711 Time : 3303.0 sec. user=vaughan [2010-07-09 16:05:54] 517*2^840645-1 is not prime. Res64: 62625FE009F451C3 Time : 1023.0 sec. user=vaughan [2010-07-09 16:06:08] 525*2^840645-1 is not prime. Res64: EF19D3C97989F7AD Time : 1017.0 sec. user=vaughan [2010-07-09 16:08:55] 447*2^840644-1 is not prime. Res64: EF67A08AE4210830 Time : 2236.0 sec. user=vaughan [2010-07-09 16:11:01] 459*2^840645-1 is not prime. Res64: DA629A2F6ECD8CD7 Time : 1833.0 sec. user=vaughan [2010-07-09 16:13:22] 597*2^840646-1 is not prime. Res64: 2CBFFBE9071D136A Time : 1020.0 sec. user=vaughan [2010-07-09 16:13:46] 551*2^840646-1 is not prime. Res64: 651041893ADA5A0D Time : 1063.0 sec. user=vaughan [2010-07-09 16:13:59] 525*2^840646-1 is not prime. Res64: C93911016180DB07 Time : 1083.0 sec. user=vaughan [2010-07-09 16:14:53] 421*2^840647-1 is not prime. Res64: A555F4751B2A1CD5 Time : 1053.0 sec. user=vaughan [2010-07-09 16:22:57] 465*2^840647-1 is not prime. Res64: 3BE43F70D730C8F8 Time : 1023.0 sec. user=vaughan [2010-07-09 16:23:05] 505*2^840647-1 is not prime. Res64: A50F9EE26B5FE136 Time : 1017.0 sec. user=vaughan [2010-07-09 16:30:21] 509*2^840648-1 is not prime. Res64: 1F002DED3C737A42 Time : 1019.0 sec. user=vaughan [2010-07-09 16:31:30] 525*2^840648-1 is not prime. Res64: 3A8531DC744E103A Time : 1064.0 sec. user=vaughan [2010-07-09 16:32:01] 555*2^840648-1 is not prime. Res64: E09A9C2BA1AC4817 Time : 1083.0 sec. user=vaughan [2010-07-09 16:32:17] 485*2^840648-1 is not prime. Res64: 5F153DF18AA611BF Time : 1276.0 sec. user=vaughan [2010-07-09 16:32:33] 435*2^840649-1 is not prime. Res64: A44F681FE1290053 Time : 1060.0 sec. user=vaughan [2010-07-09 16:38:38] 579*2^840645-1 is not prime. Res64: 420EFA1D3C38BB1C Time : 2859.0 sec. user=vaughan [2010-07-09 16:39:57] 471*2^840649-1 is not prime. Res64: 1803100890C57115 Time : 1021.0 sec. user=vaughan [2010-07-09 16:40:01] 525*2^840649-1 is not prime. Res64: E84FE8E78CD9B91A Time : 1016.0 sec. user=vaughan [2010-07-09 16:47:18] 537*2^840649-1 is not prime. Res64: 4C93375FDC47075B Time : 1018.0 sec. user=vaughan [2010-07-09 16:49:08] 549*2^840649-1 is not prime. Res64: DCD29A56AF3359F6 Time : 1058.0 sec. user=vaughan [2010-07-09 16:50:04] 405*2^840650-1 is not prime. Res64: 481F134B470A8343 Time : 1083.0 sec. user=vaughan [2010-07-09 16:50:08] 431*2^840650-1 is not prime. Res64: A197991C574A909E Time : 1055.0 sec. user=vaughan [2010-07-09 16:50:52] 441*2^840647-1 is not prime. Res64: 1080029DE4678E10 Time : 2851.0 sec. user=vaughan [2010-07-09 16:51:11] 467*2^840648-1 is not prime. Res64: 51CCB807B0250CB6 Time : 2536.0 sec. user=vaughan [2010-07-09 16:53:22] 423*2^840650-1 is not prime. Res64: F8C211AFDA99C761 Time : 1265.0 sec. user=vaughan [2010-07-09 16:56:59] 501*2^840650-1 is not prime. Res64: 8519EC26D7D639DF Time : 1018.0 sec. user=vaughan [2010-07-09 16:56:59] 483*2^840650-1 is not prime. Res64: C36624A0D674F9EA Time : 1022.0 sec. user=vaughan [2010-07-09 17:04:16] 563*2^840650-1 is not prime. Res64: 3585001044A47E62 Time : 1018.0 sec. user=vaughan [2010-07-09 17:06:51] 587*2^840650-1 is not prime. Res64: A99ECB4AB8369235 Time : 1064.0 sec. user=vaughan [2010-07-09 17:07:41] 493*2^840651-1 is not prime. Res64: 23E3B0C510A9916E Time : 1053.0 sec. user=vaughan [2010-07-09 17:08:07] 489*2^840651-1 is not prime. Res64: A62C2195C89EF747 Time : 1083.0 sec. user=vaughan [2010-07-09 17:13:57] 455*2^840652-1 is not prime. Res64: 52A088831432FF7E Time : 1018.0 sec. user=vaughan [2010-07-09 17:14:01] 483*2^840652-1 is not prime. Res64: 59A0C0DCF46CACC1 Time : 1022.0 sec. user=vaughan [2010-07-09 17:14:34] 419*2^840652-1 is not prime. Res64: 14F249E4365E5ACD Time : 1272.0 sec. user=vaughan [2010-07-09 17:19:41] 477*2^840650-1 is not prime. Res64: 7050886B0E562584 Time : 2464.0 sec. user=vaughan [2010-07-09 17:21:16] 567*2^840652-1 is not prime. Res64: E367BF9B8BCAB8E0 Time : 1020.0 sec. user=vaughan [2010-07-09 17:26:11] 481*2^840653-1 is not prime. Res64: 631E1EB98E16DD5A Time : 1084.0 sec. user=vaughan [2010-07-09 17:26:20] 421*2^840653-1 is not prime. Res64: 9779E7F555EC4A55 Time : 1120.0 sec. user=vaughan [2010-07-09 17:26:47] 411*2^840653-1 is not prime. Res64: 3A385553FB61B4B8 Time : 1196.0 sec. user=vaughan [2010-07-09 17:30:54] 547*2^840653-1 is not prime. Res64: 7E01A40D868FBA53 Time : 1018.0 sec. user=vaughan [2010-07-09 17:31:04] 567*2^840653-1 is not prime. Res64: 703127DA2D37AD26 Time : 1023.0 sec. user=vaughan [2010-07-09 17:31:56] 535*2^840651-1 is not prime. Res64: E9356360F67F31BD Time : 2446.0 sec. user=vaughan [2010-07-09 17:35:52] 483*2^840654-1 is not prime. Res64: 5B43D49845E97E42 Time : 1278.0 sec. user=vaughan [2010-07-09 17:36:16] 511*2^840651-1 is not prime. Res64: 6183F6FD89453E05 Time : 2725.0 sec. user=vaughan [2010-07-09 17:38:15] 405*2^840655-1 is not prime. Res64: 060A09BC1F5C6560 Time : 1020.0 sec. user=vaughan [2010-07-09 17:43:55] 425*2^840656-1 is not prime. Res64: 9875B177511BC2E4 Time : 1055.0 sec. user=vaughan [2010-07-09 17:44:14] 531*2^840655-1 is not prime. Res64: C772BDAEB237603F Time : 1083.0 sec. user=vaughan [2010-07-09 17:44:28] 465*2^840656-1 is not prime. Res64: 6E11CE1012026315 Time : 1062.0 sec. user=vaughan [2010-07-09 17:47:51] 503*2^840656-1 is not prime. Res64: 645541260F17AD3E Time : 1017.0 sec. user=vaughan [2010-07-09 17:48:06] 539*2^840656-1 is not prime. Res64: 3F0B44BFAA978711 Time : 1022.0 sec. user=vaughan [2010-07-09 17:55:13] 499*2^840657-1 is not prime. Res64: 8D7353E4FEAC612B Time : 1019.0 sec. user=vaughan [2010-07-09 17:56:34] 593*2^840656-1 is not prime. Res64: E79FE74D2DA9C765 Time : 1242.0 sec. user=vaughan [2010-07-09 18:01:30] 465*2^840658-1 is not prime. Res64: BEEDB2D89820A7E6 Time : 1055.0 sec. user=vaughan [2010-07-09 18:02:12] 503*2^840658-1 is not prime. Res64: EB8F791DA91E1D73 Time : 1064.0 sec. user=vaughan [2010-07-09 18:02:16] 491*2^840658-1 is not prime. Res64: AB166E708706991F Time : 1083.0 sec. user=vaughan [2010-07-09 18:03:48] 543*2^840654-1 is not prime. Res64: 2B5750B86CC3B639 Time : 2647.0 sec. user=vaughan [2010-07-09 18:04:48] 525*2^840658-1 is not prime. Res64: 3CA0CFEAFA0EB406 Time : 1017.0 sec. user=vaughan [2010-07-09 18:05:09] 551*2^840658-1 is not prime. Res64: CBE467BFEF94D24D Time : 1023.0 sec. user=vaughan [2010-07-09 18:08:54] 557*2^840656-1 is not prime. Res64: 3B0224FDE18143A8 Time : 2218.0 sec. user=vaughan [2010-07-09 18:12:14] 575*2^840658-1 is not prime. Res64: 86A4A190743C83D3 Time : 1021.0 sec. user=vaughan [2010-07-09 18:17:37] 581*2^840658-1 is not prime. Res64: 6B04F4501B8F0B88 Time : 1264.0 sec. user=vaughan [2010-07-09 18:19:10] 403*2^840659-1 is not prime. Res64: 9A3AEB470B6476EA Time : 1060.0 sec. user=vaughan [2010-07-09 18:19:51] 411*2^840659-1 is not prime. Res64: 7CE273AC7D7F9E22 Time : 1060.0 sec. user=vaughan [2010-07-09 18:20:18] 433*2^840659-1 is not prime. Res64: 308D1D0D08864CEA Time : 1082.0 sec. user=vaughan [2010-07-09 18:21:50] 489*2^840659-1 is not prime. Res64: 250A2A8681B476E7 Time : 1022.0 sec. user=vaughan [2010-07-09 18:22:18] 505*2^840659-1 is not prime. Res64: DE13597500DD9597 Time : 1029.0 sec. user=vaughan [2010-07-09 18:22:44] 465*2^840657-1 is not prime. Res64: 4DB88782664E8E61 Time : 2788.0 sec. user=vaughan [2010-07-09 18:29:18] 543*2^840659-1 is not prime. Res64: 6D1F280BAC4DD66A Time : 1024.0 sec. user=vaughan [2010-07-09 18:37:14] 411*2^840661-1 is not prime. Res64: 4A26EC28565492D5 Time : 1084.0 sec. user=vaughan [2010-07-09 18:37:46] 439*2^840661-1 is not prime. Res64: 3E4FE95B9DF5D28B Time : 1075.0 sec. user=vaughan [2010-07-09 18:38:17] 465*2^840661-1 is not prime. Res64: B8D9B2792EE76625 Time : 1080.0 sec. user=vaughan [2010-07-09 18:38:45] 579*2^840659-1 is not prime. Res64: E2BC31AD3789DC85 Time : 1269.0 sec. user=vaughan [2010-07-09 18:38:51] 559*2^840661-1 is not prime. Res64: BABAF56F1C89510E Time : 1021.0 sec. user=vaughan [2010-07-09 18:39:15] 511*2^840659-1 is not prime. Res64: C0D71E004E6BD3E3 Time : 1821.0 sec. user=vaughan [2010-07-09 18:39:31] 537*2^840662-1 is not prime. Res64: 9371F87DC7FA421D Time : 1033.0 sec. user=vaughan [2010-07-09 18:46:22] 543*2^840663-1 is not prime. Res64: A78AED0B7AD494EF Time : 1025.0 sec. user=vaughan [2010-07-09 18:48:01] 439*2^840659-1 is not prime. Res64: 53EA81A4F3276D78 Time : 2653.0 sec. user=vaughan [2010-07-09 18:55:15] 565*2^840663-1 is not prime. Res64: 4A3B484F576C5382 Time : 1081.0 sec. user=vaughan [2010-07-09 18:55:26] 573*2^840663-1 is not prime. Res64: 05A75DDD835CCC64 Time : 1060.0 sec. user=vaughan [2010-07-09 18:55:52] 519*2^840664-1 is not prime. Res64: 22BEC57CB60993DD Time : 1021.0 sec. user=vaughan [2010-07-09 18:56:16] 453*2^840664-1 is not prime. Res64: D8EA489ABED1AC12 Time : 1079.0 sec. user=vaughan [2010-07-09 18:56:44] 549*2^840664-1 is not prime. Res64: 0DF65CBD01F99B18 Time : 1034.0 sec. user=vaughan [2010-07-09 18:59:13] 495*2^840664-1 is not prime. Res64: 6BD12950D27D650C Time : 1228.0 sec. user=vaughan [2010-07-09 19:03:26] 569*2^840664-1 is not prime. Res64: 86614D356758B19C Time : 1024.0 sec. user=vaughan [2010-07-09 19:07:07] 451*2^840663-1 is not prime. Res64: 796FA11620C8735C Time : 2664.0 sec. user=vaughan [2010-07-09 19:10:59] 539*2^840664-1 is not prime. Res64: 1BF8882446E3FF69 Time : 1904.0 sec. user=vaughan [2010-07-09 19:12:52] 409*2^840665-1 is not prime. Res64: 7327709AD4BA75DE Time : 1058.0 sec. user=vaughan [2010-07-09 19:12:55] 511*2^840665-1 is not prime. Res64: BA606F5D1BA90640 Time : 1024.0 sec. user=vaughan [2010-07-09 19:13:04] 469*2^840665-1 is not prime. Res64: 5CEFCC69F23341CB Time : 1058.0 sec. user=vaughan [2010-07-09 19:13:57] 453*2^840666-1 is not prime. Res64: EE4A92F0C2C3B28D Time : 1034.0 sec. user=vaughan [2010-07-09 19:14:16] 525*2^840665-1 is not prime. Res64: 1D705508C56F2663 Time : 1081.0 sec. user=vaughan [2010-07-09 19:19:27] 473*2^840666-1 is not prime. Res64: B7196A5A0AE1DAC1 Time : 1214.0 sec. user=vaughan [2010-07-09 19:20:35] 495*2^840666-1 is not prime. Res64: CBE4A28E30EA6201 Time : 1030.0 sec. user=vaughan [2010-07-09 19:30:07] 595*2^840667-1 is not prime. Res64: C0972C97C504C871 Time : 1033.0 sec. user=vaughan [2010-07-09 19:30:29] 519*2^840667-1 is not prime. Res64: 68A8A0DA8CEC4E86 Time : 1057.0 sec. user=vaughan [2010-07-09 19:30:46] 479*2^840668-1 is not prime. Res64: 6BDCD4D25791EF0B Time : 1062.0 sec. user=vaughan [2010-07-09 19:31:02] 545*2^840668-1 is not prime. Res64: C6767C13661F0440 Time : 1025.0 sec. user=vaughan [2010-07-09 19:32:26] 563*2^840668-1 is not prime. Res64: 990F7F6F1EA46EB8 Time : 1090.0 sec. user=vaughan [2010-07-09 19:35:49] 573*2^840664-1 is not prime. Res64: 7D6FAB3B3E98293B Time : 2868.0 sec. user=vaughan [2010-07-09 19:37:50] 469*2^840669-1 is not prime. Res64: 3FE1B21B078EB34A Time : 1036.0 sec. user=vaughan [2010-07-09 19:39:43] 465*2^840669-1 is not prime. Res64: 3698EC9A6C76CCB7 Time : 1216.0 sec. user=vaughan [2010-07-09 19:44:06] 527*2^840666-1 is not prime. Res64: 35C62DF0E96EB44B Time : 1987.0 sec. user=vaughan [2010-07-09 19:47:21] 525*2^840669-1 is not prime. Res64: A64090A04896CA6B Time : 1035.0 sec. user=vaughan [2010-07-09 19:48:03] 571*2^840669-1 is not prime. Res64: 1DCCA73BDED86804 Time : 1055.0 sec. user=vaughan [2010-07-09 19:48:06] 503*2^840666-1 is not prime. Res64: 8DE723C9FC55DAC5 Time : 2459.0 sec. user=vaughan [2010-07-09 19:48:07] 575*2^840670-1 is not prime. Res64: 2A295877CBA24426 Time : 1026.0 sec. user=vaughan [2010-07-09 19:48:28] 545*2^840670-1 is not prime. Res64: 3E8F107C98CB9053 Time : 1063.0 sec. user=vaughan [2010-07-09 19:50:36] 591*2^840670-1 is not prime. Res64: 7F936393FFB82DED Time : 1090.0 sec. user=vaughan [2010-07-09 19:55:05] 519*2^840671-1 is not prime. Res64: 145DBF4FC0DFF73A Time : 1036.0 sec. user=vaughan [2010-07-09 20:01:11] 585*2^840671-1 is not prime. Res64: E42E2C0EF8829DA3 Time : 1288.0 sec. user=vaughan [2010-07-09 20:04:24] 429*2^840672-1 is not prime. Res64: 50B13D7885A9C773 Time : 1024.0 sec. user=vaughan [2010-07-09 20:05:12] 563*2^840672-1 is not prime. Res64: 989A9C687A52EBA4 Time : 1025.0 sec. user=vaughan [2010-07-09 20:05:37] 467*2^840672-1 is not prime. Res64: 2BC2E24B8FCF06E1 Time : 1055.0 sec. user=vaughan [2010-07-09 20:06:10] 473*2^840674-1 is not prime. Res64: E1BCB543F5C6DC13 Time : 1062.0 sec. user=vaughan [2010-07-09 20:08:41] 477*2^840674-1 is not prime. Res64: 41E23572E22E5576 Time : 1086.0 sec. user=vaughan [2010-07-09 20:12:03] 483*2^840674-1 is not prime. Res64: 6A4B1E67AFA747F9 Time : 1018.0 sec. user=vaughan [2010-07-09 20:15:39] 465*2^840671-1 is not prime. Res64: 3249342004CA15D3 Time : 2390.0 sec. user=vaughan [2010-07-09 20:21:21] 545*2^840674-1 is not prime. Res64: 7D8CFB9E88E00A89 Time : 1017.0 sec. user=vaughan [2010-07-09 20:21:52] 503*2^840674-1 is not prime. Res64: 061A3C2FF5935680 Time : 1241.0 sec. user=vaughan [2010-07-09 20:22:14] 567*2^840674-1 is not prime. Res64: F244BF7EA14E66DC Time : 1022.0 sec. user=vaughan [2010-07-09 20:23:13] 451*2^840675-1 is not prime. Res64: 2A9422DB5459CECC Time : 1056.0 sec. user=vaughan [2010-07-09 20:23:49] 511*2^840675-1 is not prime. Res64: D02CC32B7FFCCF62 Time : 1059.0 sec. user=vaughan [2010-07-09 20:24:05] 595*2^840671-1 is not prime. Res64: CE6D6C8912115A2E Time : 2400.0 sec. user=vaughan [2010-07-09 20:26:44] 523*2^840675-1 is not prime. Res64: C806AA052CAAF47F Time : 1083.0 sec. user=vaughan [2010-07-09 20:29:00] 573*2^840676-1 is not prime. Res64: 31ADC0B609B91DB1 Time : 1017.0 sec. user=vaughan [2010-07-09 20:38:17] 585*2^840677-1 is not prime. Res64: A19547458091AB9C Time : 1016.0 sec. user=vaughan [2010-07-09 20:38:46] 527*2^840672-1 is not prime. Res64: 325180711ED027EC Time : 3040.0 sec. user=vaughan [2010-07-09 20:39:15] 461*2^840678-1 is not prime. Res64: 4E04F26CC38E32AA Time : 1021.0 sec. user=vaughan [2010-07-09 20:40:51] 589*2^840679-1 is not prime. Res64: C2CB8DE1E2C78D94 Time : 1059.0 sec. user=vaughan [2010-07-09 20:41:28] 595*2^840679-1 is not prime. Res64: F6B2250F0126C671 Time : 1059.0 sec. user=vaughan [2010-07-09 20:42:17] 425*2^840678-1 is not prime. Res64: F4B495D686F5DDEE Time : 1225.0 sec. user=vaughan [2010-07-09 20:44:44] 447*2^840680-1 is not prime. Res64: 20C0823B29AEFE58 Time : 1080.0 sec. user=vaughan [2010-07-09 20:45:59] 465*2^840680-1 is not prime. Res64: F8D77CEA2BA60CF4 Time : 1019.0 sec. user=vaughan [2010-07-09 20:54:11] 405*2^840680-1 is not prime. Res64: F311EA9DEC828D30 Time : 1806.0 sec. user=vaughan [2010-07-09 20:55:23] 467*2^840680-1 is not prime. Res64: E600C5267C006DFC Time : 1026.0 sec. user=vaughan [2010-07-09 20:56:26] 525*2^840680-1 is not prime. Res64: 9EF5B07DCEB793EB Time : 1031.0 sec. user=vaughan [2010-07-09 20:56:56] 597*2^840676-1 is not prime. Res64: F7B4A36EA55DCFEA Time : 2478.0 sec. user=vaughan [2010-07-09 20:58:23] 533*2^840680-1 is not prime. Res64: B636BEFD80A74B8C Time : 1052.0 sec. user=vaughan [2010-07-09 20:59:01] 563*2^840680-1 is not prime. Res64: 1E1D81F6F0216E3F Time : 1053.0 sec. user=vaughan [2010-07-09 21:02:43] 445*2^840681-1 is not prime. Res64: 1206CF1FB56AD203 Time : 1227.0 sec. user=vaughan [2010-07-09 21:02:53] 459*2^840681-1 is not prime. Res64: FFE7D4D30B5C5A24 Time : 1089.0 sec. user=vaughan [2010-07-09 21:03:06] 465*2^840681-1 is not prime. Res64: 2497F3017862BCA8 Time : 1027.0 sec. user=vaughan [2010-07-09 21:12:22] 437*2^840682-1 is not prime. Res64: EC87EC6FF5C69EF0 Time : 1019.0 sec. user=vaughan [2010-07-09 21:13:28] 495*2^840682-1 is not prime. Res64: EA1968FD88168E8D Time : 1023.0 sec. user=vaughan [2010-07-09 21:15:55] 555*2^840682-1 is not prime. Res64: 2E044796C393D9F4 Time : 1052.0 sec. user=vaughan [2010-07-09 21:16:34] 435*2^840683-1 is not prime. Res64: 669B14FDB332BD96 Time : 1053.0 sec. user=vaughan [2010-07-09 21:20:02] 571*2^840683-1 is not prime. Res64: 5E2F99EFAE07AE7C Time : 1016.0 sec. user=vaughan [2010-07-09 21:20:57] 529*2^840683-1 is not prime. Res64: 18308CD4A8581434 Time : 1084.0 sec. user=vaughan [2010-07-09 21:22:49] 505*2^840683-1 is not prime. Res64: 7E0DA8EA0BB790BB Time : 1206.0 sec. user=vaughan [2010-07-09 21:23:14] 559*2^840681-1 is not prime. Res64: A6CAF77B67AFD0A3 Time : 1744.0 sec. user=vaughan [2010-07-09 21:27:20] 479*2^840680-1 is not prime. Res64: 5F38AF5870502E9B Time : 2914.0 sec. user=vaughan [2010-07-09 21:29:23] 573*2^840683-1 is not prime. Res64: 3389D018EF9BBC6F Time : 1021.0 sec. user=vaughan [2010-07-09 21:30:29] 455*2^840684-1 is not prime. Res64: 75607AEFF75024DC Time : 1021.0 sec. user=vaughan [2010-07-09 21:33:25] 503*2^840684-1 is not prime. Res64: 71E8EE321B1B9AFA Time : 1050.0 sec. user=vaughan [2010-07-09 21:34:06] 471*2^840685-1 is not prime. Res64: 5F0FAD66D9698169 Time : 1053.0 sec. user=vaughan [2010-07-09 21:36:57] 565*2^840685-1 is not prime. Res64: 40DD8519D4ED4653 Time : 1015.0 sec. user=vaughan [2010-07-09 21:39:03] 589*2^840685-1 is not prime. Res64: 52CF81C24A3AA7F1 Time : 1086.0 sec. user=vaughan [2010-07-09 21:41:09] 513*2^840682-1 is not prime. Res64: 7E7BF7A6E45C4218 Time : 2653.0 sec. user=vaughan [2010-07-09 21:43:24] 595*2^840685-1 is not prime. Res64: D02474E9A52EA859 Time : 1235.0 sec. user=vaughan [2010-07-09 21:46:19] 471*2^840687-1 is not prime. Res64: 6119E74470FEA3E7 Time : 1017.0 sec. user=vaughan [2010-07-09 21:47:29] 511*2^840687-1 is not prime. Res64: 445F1A8E0DD0DEF2 Time : 1021.0 sec. user=vaughan [2010-07-09 21:50:56] 571*2^840687-1 is not prime. Res64: CFC277E796BBDA14 Time : 1051.0 sec. user=vaughan [2010-07-09 21:51:39] 583*2^840687-1 is not prime. Res64: 5D2F598426C885C1 Time : 1053.0 sec. user=vaughan [2010-07-09 21:53:52] 585*2^840687-1 is not prime. Res64: 3180D45DA91CAE7E Time : 1015.0 sec. user=vaughan [2010-07-09 21:54:49] 407*2^840686-1 is not prime. Res64: DD7EA1B6772A0AA4 Time : 1896.0 sec. user=vaughan [2010-07-09 21:57:07] 435*2^840688-1 is not prime. Res64: 59CFCF21AF0608A3 Time : 1084.0 sec. user=vaughan [2010-07-09 22:03:17] 467*2^840688-1 is not prime. Res64: 0D6151A59E61BB06 Time : 1018.0 sec. user=vaughan [2010-07-09 22:03:28] 465*2^840688-1 is not prime. Res64: E39E1D1198D90B0A Time : 1205.0 sec. user=vaughan [2010-07-09 22:04:31] 519*2^840688-1 is not prime. Res64: 66AB2B3F2126E9E3 Time : 1022.0 sec. user=vaughan [2010-07-09 22:08:27] 411*2^840689-1 is not prime. Res64: 7107FC37DA2593FC Time : 1051.0 sec. user=vaughan [2010-07-09 22:09:11] 559*2^840689-1 is not prime. Res64: FA57D21C4B200E7A Time : 1053.0 sec. user=vaughan [2010-07-09 22:10:46] 431*2^840690-1 is not prime. Res64: 5FC49BD6003579D7 Time : 1015.0 sec. user=vaughan [2010-07-09 22:15:05] 483*2^840686-1 is not prime. Res64: FF0C4B2C62D5AB29 Time : 2865.0 sec. user=vaughan [2010-07-09 22:15:11] 421*2^840691-1 is not prime. Res64: 390321D7E52F6C13 Time : 1084.0 sec. user=vaughan [2010-07-09 22:20:14] 451*2^840691-1 is not prime. Res64: 9F8DE116B5BADF16 Time : 1017.0 sec. user=vaughan [2010-07-09 22:21:32] 545*2^840692-1 is not prime. Res64: AA3EFA8A96E0BCEE Time : 1021.0 sec. user=vaughan [2010-07-09 22:23:33] 483*2^840692-1 is not prime. Res64: 4F15FD77D918DFD9 Time : 1205.0 sec. user=vaughan [2010-07-09 22:25:17] 537*2^840690-1 is not prime. Res64: 72F1085D69A52CC6 Time : 1828.0 sec. user=vaughan [2010-07-09 22:25:58] 529*2^840693-1 is not prime. Res64: 348CD4AD3EFA130A Time : 1052.0 sec. user=vaughan [2010-07-09 22:26:44] 585*2^840693-1 is not prime. Res64: 2072E757C139F1E9 Time : 1053.0 sec. user=vaughan [2010-07-09 22:27:41] 423*2^840694-1 is not prime. Res64: 573FA441E50613B2 Time : 1015.0 sec. user=vaughan [2010-07-09 22:28:14] 449*2^840688-1 is not prime. Res64: FF073BFC383E2EC6 Time : 2825.0 sec. user=vaughan [2010-07-09 22:33:16] 461*2^840694-1 is not prime. Res64: B27D5A897D986F22 Time : 1086.0 sec. user=vaughan [2010-07-09 22:37:11] 513*2^840694-1 is not prime. Res64: 42210B0A7C957A7E Time : 1018.0 sec. user=vaughan [2010-07-09 22:38:33] 567*2^840694-1 is not prime. Res64: 73EF2991710B80A0 Time : 1022.0 sec. user=vaughan [2010-07-09 22:43:29] 403*2^840695-1 is not prime. Res64: 2DE8C6EEB8495DBB Time : 1051.0 sec. user=vaughan [2010-07-09 22:43:41] 573*2^840694-1 is not prime. Res64: 25051A2B1F32407C Time : 1208.0 sec. user=vaughan [2010-07-09 22:44:18] 469*2^840695-1 is not prime. Res64: 51E186056AE5C139 Time : 1054.0 sec. user=vaughan [2010-07-09 22:44:37] 489*2^840695-1 is not prime. Res64: 6CD661B100EE77BB Time : 1016.0 sec. user=vaughan [2010-07-09 22:51:20] 405*2^840696-1 is not prime. Res64: B6C371E1E61AF1A8 Time : 1084.0 sec. user=vaughan [2010-07-09 22:54:08] 455*2^840696-1 is not prime. Res64: 4B06E372C81BE782 Time : 1017.0 sec. user=vaughan [2010-07-09 22:55:34] 479*2^840696-1 is not prime. Res64: 9532725771DAE71F Time : 1021.0 sec. user=vaughan [2010-07-09 22:55:58] 587*2^840694-1 is not prime. Res64: 8D555D3CA7F76FED Time : 1841.0 sec. user=vaughan [2010-07-09 23:01:02] 525*2^840696-1 is not prime. Res64: 0EDCBC49054A6181 Time : 1053.0 sec. user=vaughan [2010-07-09 23:01:33] 585*2^840696-1 is not prime. Res64: 5211B10B1B817B4E Time : 1016.0 sec. user=vaughan [2010-07-09 23:01:39] 435*2^840694-1 is not prime. Res64: 6C4526ADEA112DE8 Time : 2795.0 sec. user=vaughan [2010-07-09 23:01:52] 539*2^840696-1 is not prime. Res64: 7F455E5F5B6F136F Time : 1054.0 sec. user=vaughan [2010-07-09 23:03:47] 537*2^840696-1 is not prime. Res64: 17CC2E432014CF9E Time : 1206.0 sec. user=vaughan [2010-07-09 23:09:24] 439*2^840697-1 is not prime. Res64: CA7748A7A74BFF95 Time : 1084.0 sec. user=vaughan [2010-07-09 23:11:06] 477*2^840697-1 is not prime. Res64: A5A8188E96C407DF Time : 1018.0 sec. user=vaughan [2010-07-09 23:12:36] 489*2^840697-1 is not prime. Res64: 87589804163C433F Time : 1022.0 sec. user=vaughan [2010-07-09 23:15:37] 585*2^840695-1 is not prime. Res64: 6E7F12D9A959A45B Time : 2843.0 sec. user=vaughan [2010-07-09 23:18:28] 561*2^840697-1 is not prime. Res64: 58BD10A51EBEA4DE Time : 1016.0 sec. user=vaughan [2010-07-09 23:18:39] 555*2^840697-1 is not prime. Res64: 8609954471CC0AC7 Time : 1057.0 sec. user=vaughan [2010-07-09 23:19:31] 481*2^840699-1 is not prime. Res64: 7E21D897563C7036 Time : 1059.0 sec. user=vaughan [2010-07-09 23:23:52] 513*2^840699-1 is not prime. Res64: BA3B7AFF04BE39CB Time : 1205.0 sec. user=vaughan [2010-07-09 23:26:56] 549*2^840697-1 is not prime. Res64: 8A033434927FB485 Time : 1859.0 sec. user=vaughan [2010-07-09 23:27:39] 543*2^840699-1 is not prime. Res64: 72133F865833102C Time : 1096.0 sec. user=vaughan [2010-07-09 23:28:25] 483*2^840700-1 is not prime. Res64: 55B53AAB2E5585D2 Time : 1039.0 sec. user=vaughan [2010-07-09 23:29:51] 525*2^840700-1 is not prime. Res64: 59A4A650220E48B8 Time : 1035.0 sec. user=vaughan [2010-07-09 23:35:38] 577*2^840701-1 is not prime. Res64: 1218952B77E1CA71 Time : 1030.0 sec. user=vaughan [2010-07-09 23:36:13] 591*2^840701-1 is not prime. Res64: 4925223739627312 Time : 1055.0 sec. user=vaughan [2010-07-09 23:37:07] 431*2^840702-1 is not prime. Res64: A06332D61FD89B55 Time : 1057.0 sec. user=vaughan [2010-07-09 23:44:03] 495*2^840702-1 is not prime. Res64: 02C2279A70DAEF87 Time : 1211.0 sec. user=vaughan [2010-07-09 23:45:35] 587*2^840702-1 is not prime. Res64: 1235441A683AC2BE Time : 1031.0 sec. user=vaughan [2010-07-09 23:45:59] 543*2^840702-1 is not prime. Res64: 2BE5C9221896B4BE Time : 1100.0 sec. user=vaughan [2010-07-09 23:46:54] 453*2^840703-1 is not prime. Res64: 2A20D0D47E0E370D Time : 1024.0 sec. user=vaughan [2010-07-09 23:47:46] 575*2^840698-1 is not prime. Res64: C0C547DC47C46139 Time : 2767.0 sec. user=vaughan [2010-07-09 23:52:47] 493*2^840703-1 is not prime. Res64: 43A5007D93C6992C Time : 1029.0 sec. user=vaughan [2010-07-09 23:53:47] 559*2^840703-1 is not prime. Res64: 192E4404181BC124 Time : 1054.0 sec. user=vaughan [2010-07-09 23:54:44] 573*2^840703-1 is not prime. Res64: A3FB21C16DE8A6E5 Time : 1057.0 sec. user=vaughan [2010-07-10 00:00:38] 507*2^840702-1 is not prime. Res64: E377F02AF802C3A7 Time : 2022.0 sec.