user=vaughan [2012-04-23 00:03:07] 449*2^1130920-1 is not prime. Res64: ADAC115C84DBE5D2 Time : 0.0 sec. user=vaughan [2012-04-23 00:03:08] 495*2^1130920-1 is not prime. Res64: 2ED4711062305EE8 Time : 0.0 sec. user=vaughan [2012-04-23 00:09:34] 587*2^1130920-1 is not prime. Res64: A30E05AEB392146C Time : 0.0 sec. user=vaughan [2012-04-23 00:09:35] 411*2^1130921-1 is not prime. Res64: D926DBA21BBC0890 Time : 0.0 sec. user=vaughan [2012-04-23 00:09:49] 519*2^1130920-1 is not prime. Res64: 12A3C3637BE349F6 Time : 0.0 sec. user=vaughan [2012-04-23 00:09:50] 527*2^1130920-1 is not prime. Res64: 5DF669A04199D96D Time : 0.0 sec. user=vaughan [2012-04-23 00:12:06] 487*2^1130921-1 is not prime. Res64: A10D8065E69E448E Time : 0.0 sec. user=vaughan [2012-04-23 00:12:09] 561*2^1130921-1 is not prime. Res64: 7F86DF4CF2B11E6B Time : 0.0 sec. user=vaughan [2012-04-23 00:23:43] 577*2^1130921-1 is not prime. Res64: 8AFB5BAE2BA7F282 Time : 0.0 sec. user=vaughan [2012-04-23 00:23:44] 405*2^1130922-1 is not prime. Res64: 998CA127E140266C Time : 0.0 sec. user=vaughan [2012-04-23 00:30:00] 513*2^1130922-1 is not prime. Res64: 1B5374DFBB2626A6 Time : 0.0 sec. user=vaughan [2012-04-23 00:30:00] 525*2^1130922-1 is not prime. Res64: 68DBA0926176415F Time : 0.0 sec. user=vaughan [2012-04-23 00:30:37] 481*2^1130923-1 is not prime. Res64: BD6CB01F901BE7E3 Time : 0.0 sec. user=vaughan [2012-04-23 00:30:38] 425*2^1130924-1 is not prime. Res64: 72D7295721686FAB Time : 0.0 sec. user=vaughan [2012-04-23 00:32:55] 477*2^1130924-1 is not prime. Res64: 0D17B72890194B3D Time : 0.0 sec. user=vaughan [2012-04-23 00:32:55] 567*2^1130924-1 is not prime. Res64: FCF4FB2890BE9D37 Time : 0.0 sec. user=vaughan [2012-04-23 00:44:03] 579*2^1130924-1 is not prime. Res64: 710980F2068CC7C6 Time : 0.0 sec. user=vaughan [2012-04-23 00:44:03] 441*2^1130925-1 is not prime. Res64: 22E2B9227D69AC4B Time : 0.0 sec. user=vaughan [2012-04-23 00:50:26] 537*2^1130925-1 is not prime. Res64: 7BA3621EC61FCEE4 Time : 0.0 sec. user=vaughan [2012-04-23 00:50:26] 435*2^1130927-1 is not prime. Res64: B39C9155142FAA97 Time : 0.0 sec. user=vaughan [2012-04-23 00:51:24] 543*2^1130927-1 is not prime. Res64: 7E911764EA76FE10 Time : 0.0 sec. user=vaughan [2012-04-23 00:51:24] 589*2^1130927-1 is not prime. Res64: 0081D7B309E6A966 Time : 0.0 sec. user=vaughan [2012-04-23 00:53:37] 503*2^1130928-1 is not prime. Res64: 321CC985E60F690C Time : 0.0 sec. user=vaughan [2012-04-23 00:53:38] 525*2^1130928-1 is not prime. Res64: 6FA3EF27A66C14C9 Time : 0.0 sec. user=vaughan [2012-04-23 01:04:26] 557*2^1130928-1 is not prime. Res64: D97F35705D9B8553 Time : 0.0 sec. user=vaughan [2012-04-23 01:04:27] 421*2^1130929-1 is not prime. Res64: 1E2742DE1C812A01 Time : 0.0 sec. user=vaughan [2012-04-23 01:10:41] 507*2^1130929-1 is not prime. Res64: F1227D01D37DF1C0 Time : 0.0 sec. user=vaughan [2012-04-23 01:10:43] 525*2^1130929-1 is not prime. Res64: 29E15ACBB84B5C7D Time : 0.0 sec. user=vaughan [2012-04-23 01:12:07] 559*2^1130929-1 is not prime. Res64: 7A9F321D6BD55535 Time : 0.0 sec. user=vaughan [2012-04-23 01:12:11] 561*2^1130929-1 is not prime. Res64: A66EF39AEAD7FFDB Time : 0.0 sec. user=vaughan [2012-04-23 01:14:20] 411*2^1130930-1 is not prime. Res64: EBB9976FA66383F0 Time : 0.0 sec. user=vaughan [2012-04-23 01:14:21] 545*2^1130930-1 is not prime. Res64: 08E36D18016F393E Time : 0.0 sec. user=vaughan [2012-04-23 01:24:50] 433*2^1130931-1 is not prime. Res64: 6E805E200E154B30 Time : 0.0 sec. user=vaughan [2012-04-23 01:24:51] 445*2^1130931-1 is not prime. Res64: 1869C6E156AF7819 Time : 0.0 sec. user=vaughan [2012-04-23 01:31:04] 489*2^1130931-1 is not prime. Res64: F8A8390E620EF725 Time : 0.0 sec. user=vaughan [2012-04-23 01:31:05] 513*2^1130931-1 is not prime. Res64: E17AA944BBEDFEAF Time : 0.0 sec. user=vaughan [2012-04-23 01:33:03] 595*2^1130931-1 is not prime. Res64: 8CAA32B83568C4E2 Time : 0.0 sec. user=vaughan [2012-04-23 01:33:04] 405*2^1130932-1 is not prime. Res64: 25D7F414FCBA9631 Time : 0.0 sec. user=vaughan [2012-04-23 01:35:06] 567*2^1130932-1 is not prime. Res64: 101A01E38A4DB025 Time : 0.0 sec. user=vaughan [2012-04-23 01:35:07] 525*2^1130933-1 is not prime. Res64: 03B3EDAE7EB0627E Time : 0.0 sec. user=vaughan [2012-04-23 01:45:09] 495*2^1130934-1 is not prime. Res64: 10D64377E1E0FDEF Time : 0.0 sec. user=vaughan [2012-04-23 01:45:10] 489*2^1130935-1 is not prime. Res64: 6FE334E146EB1A23 Time : 0.0 sec. user=vaughan [2012-04-23 01:51:26] 425*2^1130936-1 is not prime. Res64: F183E74A6BDD0423 Time : 0.0 sec. user=vaughan [2012-04-23 01:51:26] 437*2^1130936-1 is not prime. Res64: C56FE65BCF95FDF0 Time : 0.0 sec. user=vaughan [2012-04-23 01:53:48] 563*2^1130936-1 is not prime. Res64: E310FCD016D1C9A1 Time : 0.0 sec. user=vaughan [2012-04-23 01:53:49] 429*2^1130937-1 is not prime. Res64: EA225E51F8BE2DF6 Time : 0.0 sec. user=vaughan [2012-04-23 01:55:53] 441*2^1130937-1 is not prime. Res64: B2EFA29B4EC4107B Time : 0.0 sec. user=vaughan [2012-04-23 01:55:53] 475*2^1130937-1 is not prime. Res64: 3C8FBFC40F5B2F18 Time : 0.0 sec. user=vaughan [2012-04-23 02:05:29] 529*2^1130937-1 is not prime. Res64: AC189A96BEB4FB3B Time : 0.0 sec. user=vaughan [2012-04-23 02:05:32] 537*2^1130937-1 is not prime. Res64: 326F7069870063ED Time : 0.0 sec. user=vaughan [2012-04-23 02:11:43] 549*2^1130937-1 is not prime. Res64: 78F0367EF9332FC0 Time : 0.0 sec. user=vaughan [2012-04-23 02:11:46] 405*2^1130938-1 is not prime. Res64: A4A8AF8F20519B3E Time : 0.0 sec. user=vaughan [2012-04-23 02:14:33] 425*2^1130938-1 is not prime. Res64: 7778FF8308BE8C03 Time : 0.0 sec. user=vaughan [2012-04-23 02:14:34] 443*2^1130938-1 is not prime. Res64: 8472CE0FE1EF0954 Time : 0.0 sec. user=vaughan [2012-04-23 02:16:38] 527*2^1130938-1 is not prime. Res64: 7539B03E9892E43A Time : 0.0 sec. user=vaughan [2012-04-23 02:16:39] 493*2^1130939-1 is not prime. Res64: 9C59FDCD7469B8CA Time : 0.0 sec. user=vaughan [2012-04-23 02:25:54] 483*2^1130940-1 is not prime. Res64: 452CC98D748E1FEA Time : 0.0 sec. user=vaughan [2012-04-23 02:25:55] 545*2^1130940-1 is not prime. Res64: C3367459F1DB1DA8 Time : 0.0 sec. user=vaughan [2012-04-23 02:32:05] 549*2^1130940-1 is not prime. Res64: 54091F6FEBDA2234 Time : 0.0 sec. user=vaughan [2012-04-23 02:32:06] 555*2^1130940-1 is not prime. Res64: 855AA1AB596B0527 Time : 0.0 sec. user=vaughan [2012-04-23 02:35:23] 405*2^1130941-1 is not prime. Res64: 3C5D8C315D0A991D Time : 0.0 sec. user=vaughan [2012-04-23 02:35:24] 469*2^1130941-1 is not prime. Res64: AFE75FA72FBFC2AA Time : 0.0 sec. user=vaughan [2012-04-23 02:37:28] 577*2^1130941-1 is not prime. Res64: 2BCD63DF288BBCBF Time : 0.0 sec. user=vaughan [2012-04-23 02:37:30] 455*2^1130942-1 is not prime. Res64: B2B2632532501719 Time : 0.0 sec. user=vaughan [2012-04-23 02:46:13] 533*2^1130942-1 is not prime. Res64: 83ABDE6C2A12B90B Time : 0.0 sec. user=vaughan [2012-04-23 02:46:14] 581*2^1130942-1 is not prime. Res64: DC5F14A808599A31 Time : 0.0 sec. user=vaughan [2012-04-23 02:52:28] 587*2^1130942-1 is not prime. Res64: CA3DE375456E674C Time : 0.0 sec. user=vaughan [2012-04-23 02:52:29] 501*2^1130943-1 is not prime. Res64: 03E8A7CAE099483A Time : 0.0 sec. user=vaughan [2012-04-23 02:56:14] 593*2^1130944-1 is not prime. Res64: FA8B6BF655ACB462 Time : 0.0 sec. user=vaughan [2012-04-23 02:56:14] 405*2^1130945-1 is not prime. Res64: 0C0EA680DE2F93E1 Time : 0.0 sec. user=vaughan [2012-04-23 02:58:20] 409*2^1130945-1 is not prime. Res64: D3B0FD2E6D375F54 Time : 0.0 sec. user=vaughan [2012-04-23 02:58:21] 441*2^1130945-1 is not prime. Res64: D106095EBAF39718 Time : 0.0 sec. user=vaughan [2012-04-23 03:06:36] 495*2^1130946-1 is not prime. Res64: FFF990E56047565A Time : 0.0 sec. user=vaughan [2012-04-23 03:06:38] 501*2^1130946-1 is not prime. Res64: 3BAB70921C4E89A6 Time : 0.0 sec. user=vaughan [2012-04-23 03:12:03] 565*2^1130765-1 is not prime. Res64: A6A61D6AEB99C91B Time : 0.0 sec. user=vaughan [2012-04-23 03:12:10] 527*2^1130766-1 is not prime. Res64: 8ED21BF7CB2811D3 Time : 0.0 sec. user=vaughan [2012-04-23 03:12:17] 437*2^1130766-1 is not prime. Res64: 4BA163C57317E032 Time : 0.0 sec. user=vaughan [2012-04-23 03:12:17] 561*2^1130767-1 is not prime. Res64: 1378C6946461E129 Time : 0.0 sec. user=vaughan [2012-04-23 03:13:02] 525*2^1130946-1 is not prime. Res64: 49D1F0152C0201FC Time : 0.0 sec. user=vaughan [2012-04-23 03:13:06] 527*2^1130946-1 is not prime. Res64: 7D50621AD0F82E21 Time : 0.0 sec. user=vaughan [2012-04-23 03:17:10] 593*2^1130946-1 is not prime. Res64: 33AED6A1FD08706E Time : 0.0 sec. user=vaughan [2012-04-23 03:17:11] 541*2^1130947-1 is not prime. Res64: FA224580C781F21B Time : 0.0 sec. user=vaughan [2012-04-23 03:19:17] 583*2^1130947-1 is not prime. Res64: 88EB0B61064F8A07 Time : 0.0 sec. user=vaughan [2012-04-23 03:19:18] 589*2^1130947-1 is not prime. Res64: 4ACC789D5C7FFAAB Time : 0.0 sec. user=vaughan [2012-04-23 03:27:15] 423*2^1130948-1 is not prime. Res64: 8B098FEF9FB22401 Time : 0.0 sec. user=vaughan [2012-04-23 03:27:15] 459*2^1130948-1 is not prime. Res64: B0ECAEFB74BED47E Time : 0.0 sec. user=vaughan [2012-04-23 03:28:29] 539*2^1130948-1 is not prime. Res64: A776F49058EF0C5F Time : 0.0 sec. user=vaughan [2012-04-23 03:30:53] 559*2^1130949-1 is not prime. Res64: 489ED52E056B1F89 Time : 0.0 sec. user=vaughan [2012-04-23 03:31:26] 555*2^1130949-1 is not prime. Res64: AC7A79B5685EFE98 Time : 0.0 sec. user=vaughan [2012-04-23 03:31:32] 513*2^1130950-1 is not prime. Res64: 40C1FFF8143A6CD0 Time : 0.0 sec. user=vaughan [2012-04-23 03:31:35] 443*2^1130950-1 is not prime. Res64: 7006769C86E235EC Time : 0.0 sec. user=vaughan [2012-04-23 03:33:40] 421*2^1130951-1 is not prime. Res64: EF2A68CAC9A57571 Time : 0.0 sec. user=vaughan [2012-04-23 03:33:41] 519*2^1130951-1 is not prime. Res64: 93711469ED3C159B Time : 0.0 sec. user=vaughan [2012-04-23 03:34:17] 467*2^1130948-1 is not prime. Res64: 95E5ABCAEB4DF385 Time : 0.0 sec. user=vaughan [2012-04-23 03:34:19] 579*2^1130948-1 is not prime. Res64: D5B074DE90F9BAE6 Time : 0.0 sec. user=vaughan [2012-04-23 03:36:50] 555*2^1130950-1 is not prime. Res64: CB2ABB49AA571ED3 Time : 0.0 sec. user=vaughan [2012-04-23 03:38:03] 419*2^1130952-1 is not prime. Res64: BFB28FCF93F28FFB Time : 0.0 sec. user=vaughan [2012-04-23 03:38:04] 479*2^1130952-1 is not prime. Res64: 1B61228BD92D7E03 Time : 0.0 sec. user=vaughan [2012-04-23 03:40:15] 497*2^1130952-1 is not prime. Res64: 66E942115B16B531 Time : 0.0 sec. user=vaughan [2012-04-23 03:40:16] 515*2^1130952-1 is not prime. Res64: A9EA2CB6BEECFC0C Time : 0.0 sec. user=vaughan [2012-04-23 03:47:52] 567*2^1130952-1 is not prime. Res64: 2ECDEDEAC2236EF3 Time : 0.0 sec. user=vaughan [2012-04-23 03:47:53] 569*2^1130952-1 is not prime. Res64: 6843C921407125B6 Time : 0.0 sec. user=vaughan [2012-04-23 03:48:12] 411*2^1130953-1 is not prime. Res64: 2B36D98D94FBD2CB Time : 0.0 sec. user=vaughan [2012-04-23 03:48:40] 511*2^1130953-1 is not prime. Res64: 32ACB9BF679BCF43 Time : 0.0 sec. user=vaughan [2012-04-23 03:48:40] 481*2^1130953-1 is not prime. Res64: E0E09801A83D4498 Time : 0.0 sec. user=vaughan [2012-04-23 03:48:54] 435*2^1130954-1 is not prime. Res64: 8756F11161F440C8 Time : 0.0 sec. user=vaughan [2012-04-23 03:54:12] 477*2^1130954-1 is not prime. Res64: A3D5B8F7E407051F Time : 0.0 sec. user=vaughan [2012-04-23 03:54:13] 575*2^1130954-1 is not prime. Res64: F56D0D5D1274C714 Time : 0.0 sec. user=vaughan [2012-04-23 03:58:59] 433*2^1130955-1 is not prime. Res64: 2EC932ED5DB8FFE3 Time : 0.0 sec. user=vaughan [2012-04-23 03:58:59] 523*2^1130955-1 is not prime. Res64: DB8587A892371CBC Time : 0.0 sec. user=vaughan [2012-04-23 04:01:10] 591*2^1130955-1 is not prime. Res64: 113FBDF0277B0B4E Time : 0.0 sec. user=vaughan [2012-04-23 04:01:11] 437*2^1130956-1 is not prime. Res64: 79A6802F3D6E98C7 Time : 0.0 sec. user=vaughan [2012-04-23 04:03:44] 507*2^1130956-1 is not prime. Res64: 637C6109EA9D1CB9 Time : 0.0 sec. user=vaughan [2012-04-23 04:04:13] 425*2^1130958-1 is not prime. Res64: 26EFB2B7B089473F Time : 0.0 sec. user=vaughan [2012-04-23 04:04:17] 525*2^1130956-1 is not prime. Res64: E5E05183CC66CEF1 Time : 0.0 sec. user=vaughan [2012-04-23 04:04:30] 483*2^1130958-1 is not prime. Res64: 8729998F513F0C17 Time : 0.0 sec. user=vaughan [2012-04-23 04:08:26] 447*2^1130956-1 is not prime. Res64: CFF4EC73AB2F965C Time : 0.0 sec. user=vaughan [2012-04-23 04:08:27] 485*2^1130956-1 is not prime. Res64: A849B2ED3BDFE321 Time : 0.0 sec. user=vaughan [2012-04-23 04:14:42] 507*2^1130958-1 is not prime. Res64: 9F62B0355675FEE2 Time : 0.0 sec. user=vaughan [2012-04-23 04:14:43] 433*2^1130959-1 is not prime. Res64: AF0B52928578CCFF Time : 0.0 sec. user=vaughan [2012-04-23 04:19:20] 455*2^1130960-1 is not prime. Res64: 0761BE0BE95D1E15 Time : 0.0 sec. user=vaughan [2012-04-23 04:19:50] 519*2^1130960-1 is not prime. Res64: E3DCFDED61F3B6D6 Time : 0.0 sec. user=vaughan [2012-04-23 04:19:53] 465*2^1130961-1 is not prime. Res64: 3407A5A51AA68722 Time : 0.0 sec. user=vaughan [2012-04-23 04:19:57] 451*2^1130959-1 is not prime. Res64: 02B9FE90FB883040 Time : 0.0 sec. user=vaughan [2012-04-23 04:19:58] 505*2^1130959-1 is not prime. Res64: 81F5A0AA48936A8F Time : 0.0 sec. user=vaughan [2012-04-23 04:20:04] 461*2^1130962-1 is not prime. Res64: 967EF97F3D94307A Time : 0.0 sec. user=vaughan [2012-04-23 04:22:08] 531*2^1130959-1 is not prime. Res64: 96F4E9ADE98A7AC7 Time : 0.0 sec. user=vaughan [2012-04-23 04:22:09] 579*2^1130959-1 is not prime. Res64: 0ADC768F1DCAC356 Time : 0.0 sec. user=vaughan [2012-04-23 04:28:58] 555*2^1130962-1 is not prime. Res64: 8BD3C16B8E311DF9 Time : 0.0 sec. user=vaughan [2012-04-23 04:28:58] 493*2^1130963-1 is not prime. Res64: 4A371F795EEA0F90 Time : 0.0 sec. user=vaughan [2012-04-23 04:33:13] 571*2^1130963-1 is not prime. Res64: 0AE9F1D86409C2F8 Time : 0.0 sec. user=vaughan [2012-04-23 04:35:01] 497*2^1130964-1 is not prime. Res64: 0B34AE3101F6E568 Time : 0.0 sec. user=vaughan [2012-04-23 04:35:06] 589*2^1130963-1 is not prime. Res64: 2C538228B7C32EF0 Time : 0.0 sec. user=vaughan [2012-04-23 04:35:08] 591*2^1130963-1 is not prime. Res64: 6C76790B94DD0B92 Time : 0.0 sec. user=vaughan [2012-04-23 04:35:29] 405*2^1130965-1 is not prime. Res64: A09E8A43E5F5F341 Time : 0.0 sec. user=vaughan [2012-04-23 04:35:35] 411*2^1130965-1 is not prime. Res64: E5C494B93A87D0A4 Time : 0.0 sec. user=vaughan [2012-04-23 04:35:44] 477*2^1130965-1 is not prime. Res64: 63EB91F275A9C11A Time : 0.0 sec. user=vaughan [2012-04-23 04:40:55] 441*2^1130965-1 is not prime. Res64: EED8E93D19CE48F7 Time : 0.0 sec. user=vaughan [2012-04-23 04:40:55] 447*2^1130965-1 is not prime. Res64: E830E0AC6DEC3A99 Time : 0.0 sec. user=vaughan [2012-04-23 04:43:07] 499*2^1130965-1 is not prime. Res64: A6479E52CC2B478F Time : 0.0 sec. user=vaughan [2012-04-23 04:43:08] 537*2^1130965-1 is not prime. Res64: F045521B8915E1F4 Time : 0.0 sec. user=vaughan [2012-04-23 04:49:27] 565*2^1130965-1 is not prime. Res64: 6E081B67AA0CD6F6 Time : 0.0 sec. user=vaughan [2012-04-23 04:49:28] 567*2^1130965-1 is not prime. Res64: 9D7694EAFDE639A6 Time : 0.0 sec. user=vaughan [2012-04-23 04:50:43] 589*2^1130965-1 is not prime. Res64: D97AB953F1ACE468 Time : 0.0 sec. user=vaughan [2012-04-23 04:51:07] 429*2^1130967-1 is not prime. Res64: DBE760C5BE188174 Time : 0.0 sec. user=vaughan [2012-04-23 04:51:15] 511*2^1130967-1 is not prime. Res64: 0AC46903AB3ED620 Time : 0.0 sec. user=vaughan [2012-04-23 04:51:27] 543*2^1130967-1 is not prime. Res64: 74F8B1C2C987BBF9 Time : 0.0 sec. user=vaughan [2012-04-23 04:55:39] 597*2^1130965-1 is not prime. Res64: 034198FA1E045A6A Time : 0.0 sec. user=vaughan [2012-04-23 04:55:39] 525*2^1130966-1 is not prime. Res64: 3B978C533A4CC6FA Time : 0.0 sec. user=vaughan [2012-04-23 05:01:47] 533*2^1130968-1 is not prime. Res64: 2429B0540A25B027 Time : 0.0 sec. user=vaughan [2012-04-23 05:01:48] 597*2^1130968-1 is not prime. Res64: 09F3190B1529E914 Time : 0.0 sec. user=vaughan [2012-04-23 05:03:52] 453*2^1130970-1 is not prime. Res64: 985CC8F656DB7386 Time : 0.0 sec. user=vaughan [2012-04-23 05:03:54] 483*2^1130970-1 is not prime. Res64: 16208B71C09E0A07 Time : 0.0 sec. user=vaughan [2012-04-23 05:06:21] 483*2^1130972-1 is not prime. Res64: 07BCE6B8CDB4B3BA Time : 0.0 sec. user=vaughan [2012-04-23 05:06:45] 515*2^1130972-1 is not prime. Res64: 4C3B26B99F92ADF0 Time : 0.0 sec. user=vaughan [2012-04-23 05:06:54] 439*2^1130973-1 is not prime. Res64: 3B2D3A7B6C44385C Time : 0.0 sec. user=vaughan [2012-04-23 05:07:05] 459*2^1130973-1 is not prime. Res64: 2BF2A6BDB48FC6D7 Time : 0.0 sec. user=vaughan [2012-04-23 05:10:03] 493*2^1130971-1 is not prime. Res64: 2517CA07FA651DD8 Time : 0.0 sec. user=vaughan [2012-04-23 05:10:06] 573*2^1130971-1 is not prime. Res64: 9DFE41BA7DC28544 Time : 0.0 sec. user=vaughan [2012-04-23 05:16:10] 517*2^1130973-1 is not prime. Res64: AB48C49A83770854 Time : 0.0 sec. user=vaughan [2012-04-23 05:16:11] 525*2^1130973-1 is not prime. Res64: 9EBFE44F053A0AA7 Time : 0.0 sec. user=vaughan [2012-04-23 05:22:14] 421*2^1130975-1 is not prime. Res64: CB4794C0B7349682 Time : 0.0 sec. user=vaughan [2012-04-23 05:22:31] 489*2^1130975-1 is not prime. Res64: 8FE64618C9127054 Time : 0.0 sec. user=vaughan [2012-04-23 05:22:40] 565*2^1130973-1 is not prime. Res64: 8D29524845F7E5A8 Time : 0.0 sec. user=vaughan [2012-04-23 05:22:41] 425*2^1130974-1 is not prime. Res64: BA25D3100C19D7E6 Time : 0.0 sec. user=vaughan [2012-04-23 05:22:49] 441*2^1130977-1 is not prime. Res64: 27F8F3614F2C101D Time : 0.0 sec. user=vaughan [2012-04-23 05:22:49] 511*2^1130975-1 is not prime. Res64: 625AE48CC1F4E699 Time : 0.0 sec. user=vaughan [2012-04-23 05:24:48] 447*2^1130974-1 is not prime. Res64: B83AEE751DE0DD51 Time : 0.0 sec. user=vaughan [2012-04-23 05:24:48] 521*2^1130974-1 is not prime. Res64: 0B8A0195A26C4CC5 Time : 0.0 sec. user=gd_barnes [2012-04-23 05:29:16] 563*2^1130976-1 is not prime. Res64: 07250FDE4E74071C Time : 0.0 sec. user=vaughan [2012-04-23 05:30:35] 465*2^1130977-1 is not prime. Res64: B634CBBB6060A314 Time : 0.0 sec. user=vaughan [2012-04-23 05:30:36] 507*2^1130977-1 is not prime. Res64: 6D603CF36DB8764D Time : 0.0 sec. user=gd_barnes [2012-04-23 05:32:30] 445*2^1130975-1 is not prime. Res64: 58EB50A6ADD6C82A Time : 0.0 sec. user=gd_barnes [2012-04-23 05:33:04] 423*2^1130975-1 is not prime. Res64: 2B5CF7464F11D2FA Time : 0.0 sec. user=vaughan [2012-04-23 05:36:31] 511*2^1130977-1 is not prime. Res64: CD19E8F23846EAA4 Time : 0.0 sec. user=vaughan [2012-04-23 05:36:31] 447*2^1130978-1 is not prime. Res64: 966280CE1E03A290 Time : 0.0 sec. user=vaughan [2012-04-23 05:37:55] 561*2^1130978-1 is not prime. Res64: 887713D70BDFED0C Time : 0.0 sec. user=vaughan [2012-04-23 05:38:17] 563*2^1130978-1 is not prime. Res64: 87EFC2AF64CF561E Time : 0.0 sec. user=vaughan [2012-04-23 05:38:36] 451*2^1130979-1 is not prime. Res64: DBB92F9C82E6A25D Time : 0.0 sec. user=vaughan [2012-04-23 05:38:38] 573*2^1130979-1 is not prime. Res64: 6148C63B7A43FFED Time : 0.0 sec. user=vaughan [2012-04-23 05:43:44] 567*2^1130978-1 is not prime. Res64: 7E44958CB0B08D50 Time : 0.0 sec. user=vaughan [2012-04-23 05:43:45] 439*2^1130979-1 is not prime. Res64: A38EB8376A63604A Time : 0.0 sec. user=vaughan [2012-04-23 05:45:49] 489*2^1130980-1 is not prime. Res64: 03768B41385EF9DB Time : 0.0 sec. user=vaughan [2012-04-23 05:45:50] 533*2^1130980-1 is not prime. Res64: BA71342CF97BD55F Time : 0.0 sec. user=henryzz [2012-04-23 05:49:07] 455*2^1130880-1 is not prime. Res64: D221F5F060AD7A9D Time : 0.0 sec. user=vaughan [2012-04-23 05:51:03] 587*2^1130980-1 is not prime. Res64: FA12E7B7D2792633 Time : 0.0 sec. user=vaughan [2012-04-23 05:51:04] 597*2^1130980-1 is not prime. Res64: D0EEF3FB3C3F6376 Time : 0.0 sec. user=henryzz [2012-04-23 05:53:15] 537*2^1130880-1 is not prime. Res64: E56FE09B8B3A97DD Time : 0.0 sec. user=vaughan [2012-04-23 05:53:32] 511*2^1130981-1 is not prime. Res64: E1DA5C14E5C0D51E Time : 0.0 sec. user=vaughan [2012-04-23 05:53:49] 537*2^1130981-1 is not prime. Res64: 66A2D2E57A666DBE Time : 0.0 sec. user=vaughan [2012-04-23 05:54:12] 501*2^1130982-1 is not prime. Res64: 31BBFE601075B981 Time : 0.0 sec. user=vaughan [2012-04-23 05:54:12] 519*2^1130983-1 is not prime. Res64: FE40E52548A552B2 Time : 0.0 sec. user=henryzz [2012-04-23 05:56:06] 541*2^1130881-1 is not prime. Res64: 0F98D48546933C8C Time : 0.0 sec. user=vaughan [2012-04-23 05:56:50] 417*2^1130981-1 is not prime. Res64: B233E79EDAB3C49D Time : 0.0 sec. user=vaughan [2012-04-23 05:56:50] 447*2^1130981-1 is not prime. Res64: 448DE1E8EDC3B461 Time : 0.0 sec. user=henryzz [2012-04-23 05:56:56] 547*2^1130881-1 is not prime. Res64: C495CD6F88EF7382 Time : 0.0 sec. user=vaughan [2012-04-23 06:04:47] 479*2^1130984-1 is not prime. Res64: B53AFED5D12F77F7 Time : 0.0 sec. user=vaughan [2012-04-23 06:04:50] 509*2^1130984-1 is not prime. Res64: 84FE6A04AA0D561A Time : 0.0 sec. user=vaughan [2012-04-23 06:06:40] 427*2^1130985-1 is not prime. Res64: FE63117BF8FAB36D Time : 0.0 sec. user=vaughan [2012-04-23 06:06:44] 511*2^1130985-1 is not prime. Res64: 705EAB57B20FFFA1 Time : 0.0 sec. user=henryzz [2012-04-23 06:09:00] 555*2^1130985-1 is not prime. Res64: F6EAF12CE9F01074 Time : 0.0 sec. user=vaughan [2012-04-23 06:09:17] 465*2^1130987-1 is not prime. Res64: 6396D76D4BFFB064 Time : 0.0 sec. user=vaughan [2012-04-23 06:09:24] 469*2^1130987-1 is not prime. Res64: 51B3671A9828A338 Time : 0.0 sec. user=vaughan [2012-04-23 06:09:47] 571*2^1130987-1 is not prime. Res64: 7B919DD1ACC251B0 Time : 0.0 sec. user=vaughan [2012-04-23 06:09:59] 475*2^1130987-1 is not prime. Res64: 23BF27A46728BD30 Time : 0.0 sec. user=vaughan [2012-04-23 06:11:31] 411*2^1130986-1 is not prime. Res64: 93BB98359558A9A0 Time : 0.0 sec. user=vaughan [2012-04-23 06:11:32] 495*2^1130986-1 is not prime. Res64: AB526103815E584C Time : 0.0 sec. user=henryzz [2012-04-23 06:13:14] 409*2^1130987-1 is not prime. Res64: 36BC0CC8FA4C0E80 Time : 0.0 sec. user=henryzz [2012-04-23 06:16:21] 453*2^1130988-1 is not prime. Res64: CD3F7E8FCA0FDA28 Time : 0.0 sec. user=henryzz [2012-04-23 06:16:53] 415*2^1130989-1 is not prime. Res64: 922B0AC2B41F1927 Time : 0.0 sec. user=vaughan [2012-04-23 06:17:18] 473*2^1130988-1 is not prime. Res64: ACC8329304C071C5 Time : 0.0 sec. user=vaughan [2012-04-23 06:17:19] 515*2^1130988-1 is not prime. Res64: 3531C271504FB8DF Time : 0.0 sec. user=vaughan [2012-04-23 06:25:00] 483*2^1130990-1 is not prime. Res64: FC3954D4CF38143D Time : 0.0 sec. user=vaughan [2012-04-23 06:25:06] 537*2^1130990-1 is not prime. Res64: 2F1F8C933F986CA7 Time : 0.0 sec. user=vaughan [2012-04-23 06:25:29] 585*2^1130991-1 is not prime. Res64: 6EB9F552578C5F18 Time : 0.0 sec. user=vaughan [2012-04-23 06:25:45] 429*2^1130992-1 is not prime. Res64: 465B51B32B212604 Time : 0.0 sec. user=vaughan [2012-04-23 06:25:49] 421*2^1130989-1 is not prime. Res64: 2A1605669ABE19E2 Time : 0.0 sec. user=vaughan [2012-04-23 06:25:49] 477*2^1130989-1 is not prime. Res64: 116A647741069B3D Time : 0.0 sec. user=vaughan [2012-04-23 06:27:44] 559*2^1130989-1 is not prime. Res64: 5B00F5303ED732D7 Time : 0.0 sec. user=vaughan [2012-04-23 06:27:45] 411*2^1130990-1 is not prime. Res64: E15C570A70C58CE0 Time : 0.0 sec. user=henryzz [2012-04-23 06:29:10] 461*2^1130990-1 is not prime. Res64: 301CBDD08C1328E1 Time : 0.0 sec. user=vaughan [2012-04-23 06:32:18] 513*2^1130992-1 is not prime. Res64: ACAAF19B90C69C51 Time : 0.0 sec. user=vaughan [2012-04-23 06:32:19] 519*2^1130992-1 is not prime. Res64: 1FF166C639580247 Time : 0.0 sec. user=henryzz [2012-04-23 06:33:29] 537*2^1130993-1 is not prime. Res64: 98F9DD77CF60E8C1 Time : 0.0 sec. user=henryzz [2012-04-23 06:36:18] 549*2^1130993-1 is not prime. Res64: 3570EAD7EFE4AC22 Time : 0.0 sec. user=henryzz [2012-04-23 06:37:01] 595*2^1130993-1 is not prime. Res64: 4E3539CCA6EB0343 Time : 0.0 sec. user=vaughan [2012-04-23 06:37:41] 417*2^1130994-1 is not prime. Res64: DDCAC7A42BE145F1 Time : 0.0 sec. user=vaughan [2012-04-23 06:37:41] 503*2^1130994-1 is not prime. Res64: 834E7F68D2E0E395 Time : 0.0 sec. user=vaughan [2012-04-23 06:40:42] 451*2^1130995-1 is not prime. Res64: 64A626C0492F5522 Time : 0.0 sec. user=vaughan [2012-04-23 06:40:45] 415*2^1130995-1 is not prime. Res64: EC6F632E67647A7C Time : 0.0 sec. user=vaughan [2012-04-23 06:41:09] 471*2^1130995-1 is not prime. Res64: 1977300AF78A3B37 Time : 0.0 sec. user=vaughan [2012-04-23 06:41:21] 473*2^1130996-1 is not prime. Res64: DAB06B225FFF1E1F Time : 0.0 sec. user=vaughan [2012-04-23 06:46:44] 545*2^1130996-1 is not prime. Res64: 5D832E572808E778 Time : 0.0 sec. user=vaughan [2012-04-23 06:46:45] 563*2^1130996-1 is not prime. Res64: 13AFB65BB70818EC Time : 0.0 sec. user=vaughan [2012-04-23 06:48:40] 471*2^1130997-1 is not prime. Res64: D2961B2EFAD8E1B2 Time : 0.0 sec. user=vaughan [2012-04-23 06:48:41] 495*2^1130997-1 is not prime. Res64: 8BA6F1DE379075C1 Time : 0.0 sec. user=henryzz [2012-04-23 06:49:00] 579*2^1130997-1 is not prime. Res64: 67D6C68AEFF73337 Time : 0.0 sec. user=vaughan [2012-04-23 06:52:51] 585*2^1130997-1 is not prime. Res64: 791DDFBD84BF4A8E Time : 0.0 sec. user=vaughan [2012-04-23 06:52:51] 411*2^1130999-1 is not prime. Res64: 05D0BED4FF911B63 Time : 0.0 sec. user=henryzz [2012-04-23 06:53:27] 451*2^1130999-1 is not prime. Res64: B4776103FB32EEC5 Time : 0.0 sec. user=vaughan [2012-04-23 06:56:26] 505*2^1131001-1 is not prime. Res64: 5A87B66DDC0082E3 Time : 0.0 sec. user=vaughan [2012-04-23 06:56:35] 429*2^1131001-1 is not prime. Res64: D3B7CAF0F04DC666 Time : 0.0 sec. user=henryzz [2012-04-23 06:56:37] 465*2^1130999-1 is not prime. Res64: 07BCEF1039321F0E Time : 0.0 sec. user=vaughan [2012-04-23 06:56:59] 405*2^1131002-1 is not prime. Res64: C5B76246FD32B6EC Time : 0.0 sec. user=vaughan [2012-04-23 06:57:00] 417*2^1131002-1 is not prime. Res64: 6A97C9F13E077397 Time : 0.0 sec. user=henryzz [2012-04-23 06:57:28] 553*2^1130999-1 is not prime. Res64: 6AB1AACA07045775 Time : 0.0 sec. user=vaughan [2012-04-23 06:57:55] 555*2^1131000-1 is not prime. Res64: AE41D8AB20A91A5B Time : 0.0 sec. user=vaughan [2012-04-23 06:57:56] 421*2^1131001-1 is not prime. Res64: A672F207F3B659B7 Time : 0.0 sec. user=vaughan [2012-04-23 07:07:38] 503*2^1131002-1 is not prime. Res64: 64015AE92C8DE3FE Time : 0.0 sec. user=vaughan [2012-04-23 07:07:40] 545*2^1131002-1 is not prime. Res64: 662D2794A27984FE Time : 0.0 sec. user=vaughan [2012-04-23 07:09:36] 445*2^1131003-1 is not prime. Res64: AF896E6C6BA3FD92 Time : 0.0 sec. user=vaughan [2012-04-23 07:09:37] 453*2^1131003-1 is not prime. Res64: F0ADB252B8825323 Time : 0.0 sec. user=henryzz [2012-04-23 07:10:57] 471*2^1131003-1 is not prime. Res64: 133908C6AE7C7FE0 Time : 0.0 sec. user=vaughan [2012-04-23 07:12:06] 459*2^1131005-1 is not prime. Res64: 697FAC175EF8B265 Time : 0.0 sec. user=vaughan [2012-04-23 07:12:11] 511*2^1131005-1 is not prime. Res64: 76EA7FCDA305EE8B Time : 0.0 sec. user=vaughan [2012-04-23 07:12:35] 411*2^1131006-1 is not prime. Res64: C0A703FAD10BDEA2 Time : 0.0 sec. user=vaughan [2012-04-23 07:12:38] 405*2^1131006-1 is not prime. Res64: 1F62973A60551E90 Time : 0.0 sec. user=vaughan [2012-04-23 07:13:27] 555*2^1131003-1 is not prime. Res64: 2D9D66CBB8637C5C Time : 0.0 sec. user=vaughan [2012-04-23 07:13:28] 497*2^1131004-1 is not prime. Res64: 4A21EA431CCA009E Time : 0.0 sec. user=henryzz [2012-04-23 07:16:32] 567*2^1131004-1 is not prime. Res64: 310DA460B38EB703 Time : 0.0 sec. user=vaughan [2012-04-23 07:18:24] 443*2^1131006-1 is not prime. Res64: F2657F9C8A154D1F Time : 0.0 sec. user=vaughan [2012-04-23 07:18:24] 485*2^1131006-1 is not prime. Res64: F23EB7A79F29C5CC Time : 0.0 sec. user=henryzz [2012-04-23 07:19:59] 577*2^1131005-1 is not prime. Res64: 81D5E4128725BBEB Time : 0.0 sec. user=henryzz [2012-04-23 07:20:38] 437*2^1131006-1 is not prime. Res64: C236C94ECBF60D8A Time : 0.0 sec. user=vaughan [2012-04-23 07:27:45] 585*2^1131008-1 is not prime. Res64: 4B336291AB376480 Time : 0.0 sec. user=vaughan [2012-04-23 07:27:46] 425*2^1131010-1 is not prime. Res64: 6E45BCD9D171C786 Time : 0.0 sec. user=vaughan [2012-04-23 07:28:13] 513*2^1131010-1 is not prime. Res64: D46A77790DBB0FC4 Time : 0.0 sec. user=vaughan [2012-04-23 07:28:18] 521*2^1131010-1 is not prime. Res64: 1E739D4855870DE3 Time : 0.0 sec. user=vaughan [2012-04-23 07:28:39] 451*2^1131007-1 is not prime. Res64: 77F364A9EB7C316D Time : 0.0 sec. user=vaughan [2012-04-23 07:28:39] 483*2^1131007-1 is not prime. Res64: D3807EBD777C7570 Time : 0.0 sec. user=vaughan [2012-04-23 07:30:39] 489*2^1131007-1 is not prime. Res64: E02CF6C518C0F9C7 Time : 0.0 sec. user=vaughan [2012-04-23 07:30:40] 531*2^1131007-1 is not prime. Res64: 9EA66E121A0F6EC4 Time : 0.0 sec. user=vaughan [2012-04-23 07:34:00] 411*2^1131011-1 is not prime. Res64: E9C83BFA05088E3E Time : 0.0 sec. user=vaughan [2012-04-23 07:34:01] 421*2^1131011-1 is not prime. Res64: 61E94A3FFA0661BB Time : 0.0 sec. user=gd_barnes [2012-04-23 07:36:03] 489*2^1131008-1 is not prime. Res64: B66A56409E25127F Time : 0.0 sec. user=henryzz [2012-04-23 07:36:11] 495*2^1131008-1 is not prime. Res64: FA7427BA2D84F59C Time : 0.0 sec. user=vaughan [2012-04-23 07:38:56] 511*2^1131011-1 is not prime. Res64: AD224061A0882960 Time : 0.0 sec. user=vaughan [2012-04-23 07:38:56] 549*2^1131011-1 is not prime. Res64: 19BBB9E30E21B88F Time : 0.0 sec. user=henryzz [2012-04-23 07:41:03] 505*2^1131011-1 is not prime. Res64: 044987670BB0C457 Time : 0.0 sec. user=vaughan [2012-04-23 07:43:18] 471*2^1131013-1 is not prime. Res64: 8AE6847D2747A891 Time : 0.0 sec. user=vaughan [2012-04-23 07:43:18] 489*2^1131013-1 is not prime. Res64: E195F3B0D3FF07C2 Time : 0.0 sec. user=vaughan [2012-04-23 07:43:44] 499*2^1131013-1 is not prime. Res64: 5128846364C2187A Time : 0.0 sec. user=vaughan [2012-04-23 07:43:48] 507*2^1131013-1 is not prime. Res64: AACD62D6EEADED9D Time : 0.0 sec. user=henryzz [2012-04-23 07:45:14] 563*2^1131012-1 is not prime. Res64: 50CF1450E0A627EC Time : 0.0 sec. user=henryzz [2012-04-23 07:48:44] 447*2^1131012-1 is not prime. Res64: 835443AC2EE1B810 Time : 0.0 sec. user=vaughan [2012-04-23 07:49:30] 547*2^1131013-1 is not prime. Res64: AD8B13735A90D703 Time : 0.0 sec. user=vaughan [2012-04-23 07:49:30] 411*2^1131014-1 is not prime. Res64: 17F1AA5AB99E2597 Time : 0.0 sec. user=vaughan [2012-04-23 07:51:30] 447*2^1131014-1 is not prime. Res64: 831338B6CF5CE5B7 Time : 0.0 sec. user=vaughan [2012-04-23 07:51:31] 503*2^1131014-1 is not prime. Res64: F7944B87C2A29B0C Time : 0.0 sec. user=vaughan [2012-04-23 07:54:25] 507*2^1131014-1 is not prime. Res64: 7F98B9BFFA06B452 Time : 0.0 sec. user=vaughan [2012-04-23 07:54:26] 521*2^1131014-1 is not prime. Res64: 5014AAA02516EE6A Time : 0.0 sec. user=vaughan [2012-04-23 07:58:51] 483*2^1131016-1 is not prime. Res64: 2DAE27D08A923171 Time : 0.0 sec. user=vaughan [2012-04-23 07:58:54] 437*2^1131016-1 is not prime. Res64: FBF1DBA06212107B Time : 0.0 sec. user=vaughan [2012-04-23 07:59:17] 433*2^1131015-1 is not prime. Res64: CC89067D4CC64ADA Time : 0.0 sec. user=vaughan [2012-04-23 07:59:18] 501*2^1131015-1 is not prime. Res64: F3EA74E86A409CBB Time : 0.0 sec. user=vaughan [2012-04-23 07:59:21] 569*2^1131016-1 is not prime. Res64: A5CF0CD60E91066D Time : 0.0 sec. user=vaughan [2012-04-23 07:59:21] 495*2^1131016-1 is not prime. Res64: 62B489DF7ADEF820 Time : 0.0 sec. user=henryzz [2012-04-23 08:04:22] 573*2^1131014-1 is not prime. Res64: BFA7AC625BB741EA Time : 0.0 sec. user=henryzz [2012-04-23 08:06:32] 553*2^1131015-1 is not prime. Res64: 50D970AC5DE8BD10 Time : 0.0 sec. user=vaughan [2012-04-23 08:10:28] 423*2^1131018-1 is not prime. Res64: FFB35C04E7292274 Time : 0.0 sec. user=vaughan [2012-04-23 08:10:29] 453*2^1131018-1 is not prime. Res64: 90CFF04CD4B3117E Time : 0.0 sec. user=henryzz [2012-04-23 08:11:09] 573*2^1131016-1 is not prime. Res64: 5981C8839E242FFC Time : 0.0 sec. user=vaughan [2012-04-23 08:12:29] 485*2^1131018-1 is not prime. Res64: A3C04BB3AFE506FF Time : 0.0 sec. user=vaughan [2012-04-23 08:12:30] 501*2^1131018-1 is not prime. Res64: E0B184BBD3C599CA Time : 0.0 sec. user=vaughan [2012-04-23 08:14:28] 411*2^1131019-1 is not prime. Res64: C53F1460A12DB317 Time : 0.0 sec. user=vaughan [2012-04-23 08:14:31] 441*2^1131019-1 is not prime. Res64: 0D783C9F1E4FFCD5 Time : 0.0 sec. user=vaughan [2012-04-23 08:14:59] 459*2^1131020-1 is not prime. Res64: 10295EAF16D0665F Time : 0.0 sec. user=vaughan [2012-04-23 08:14:59] 447*2^1131020-1 is not prime. Res64: 662CFD41CFFD2456 Time : 0.0 sec. user=vaughan [2012-04-23 08:15:06] 503*2^1131018-1 is not prime. Res64: 8835FB9C34B90653 Time : 0.0 sec. user=vaughan [2012-04-23 08:15:07] 555*2^1131018-1 is not prime. Res64: 850F20F1FF85F432 Time : 0.0 sec. user=henryzz [2012-04-23 08:17:12] 465*2^1131017-1 is not prime. Res64: A1E1323BC11A55A2 Time : 0.0 sec. user=vaughan [2012-04-23 08:19:44] 553*2^1131019-1 is not prime. Res64: 6A87F407A39E8B0D Time : 0.0 sec. user=vaughan [2012-04-23 08:19:44] 555*2^1131019-1 is not prime. Res64: 0D7AACD8B5E50CB5 Time : 0.0 sec. user=vaughan [2012-04-23 08:30:06] 411*2^1131025-1 is not prime. Res64: 44A84BB91A5DCEBC Time : 0.0 sec. user=vaughan [2012-04-23 08:30:08] 567*2^1131024-1 is not prime. Res64: 9BCE959AE367789E Time : 0.0 sec. user=vaughan [2012-04-23 08:30:38] 425*2^1131026-1 is not prime. Res64: A61E4A893FBA1A88 Time : 0.0 sec. user=vaughan [2012-04-23 08:30:39] 481*2^1131025-1 is not prime. Res64: 3D45C1CFB21E31E1 Time : 0.0 sec. user=henryzz [2012-04-23 08:31:00] 579*2^1131020-1 is not prime. Res64: D4523B9E056A33CC Time : 0.0 sec. user=henryzz [2012-04-23 08:31:02] 525*2^1131020-1 is not prime. Res64: B95C2A2B2A838D77 Time : 0.0 sec. user=vaughan [2012-04-23 08:31:25] 585*2^1131020-1 is not prime. Res64: F97BE958F8222767 Time : 0.0 sec. user=vaughan [2012-04-23 08:31:26] 499*2^1131021-1 is not prime. Res64: 94C502025C207293 Time : 0.0 sec. user=vaughan [2012-04-23 08:33:33] 573*2^1131022-1 is not prime. Res64: 91B86DB86F9DAD68 Time : 0.0 sec. user=vaughan [2012-04-23 08:33:33] 413*2^1131024-1 is not prime. Res64: 852EB8237E09BB27 Time : 0.0 sec. user=vaughan [2012-04-23 08:33:54] 497*2^1131024-1 is not prime. Res64: 12E144F716C5F0AB Time : 0.0 sec. user=vaughan [2012-04-23 08:35:41] 497*2^1131026-1 is not prime. Res64: 6EDE8CB90E4B7626 Time : 0.0 sec. user=vaughan [2012-04-23 08:35:42] 563*2^1131026-1 is not prime. Res64: 02337E830610285D Time : 0.0 sec. user=henryzz [2012-04-23 08:36:42] 555*2^1131021-1 is not prime. Res64: 43278CA9B1D7D620 Time : 0.0 sec. user=vaughan [2012-04-23 08:40:02] 465*2^1131027-1 is not prime. Res64: E86DB268262DE7A1 Time : 0.0 sec. user=vaughan [2012-04-23 08:40:03] 531*2^1131027-1 is not prime. Res64: B1DE6C6556CCCA56 Time : 0.0 sec. user=henryzz [2012-04-23 08:42:25] 573*2^1131026-1 is not prime. Res64: 06FAC9E465E97038 Time : 0.0 sec. user=vaughan [2012-04-23 08:45:47] 419*2^1131028-1 is not prime. Res64: 71943196F0A64446 Time : 0.0 sec. user=vaughan [2012-04-23 08:45:48] 585*2^1131027-1 is not prime. Res64: 2B051F65E94CE3AD Time : 0.0 sec. user=vaughan [2012-04-23 08:46:15] 443*2^1131028-1 is not prime. Res64: E9A8BEE9E00CB183 Time : 0.0 sec. user=vaughan [2012-04-23 08:46:19] 533*2^1131028-1 is not prime. Res64: 43CE190FDED984DD Time : 0.0 sec. user=henryzz [2012-04-23 08:52:21] 445*2^1131029-1 is not prime. Res64: 448A29B6353306DC Time : 0.0 sec. user=vaughan [2012-04-23 08:52:21] 463*2^1131031-1 is not prime. Res64: E9B15CFC13F2E4C6 Time : 0.0 sec. user=vaughan [2012-04-23 08:52:22] 405*2^1131032-1 is not prime. Res64: 79F1E833A5169248 Time : 0.0 sec. user=henryzz [2012-04-23 08:54:17] 455*2^1131030-1 is not prime. Res64: FEBAAE99EC32E729 Time : 0.0 sec. user=vaughan [2012-04-23 08:54:28] 413*2^1131032-1 is not prime. Res64: D8D9EC798C0B54DF Time : 0.0 sec. user=vaughan [2012-04-23 08:54:29] 447*2^1131032-1 is not prime. Res64: C44D700183741287 Time : 0.0 sec. user=vaughan [2012-04-23 08:56:16] 455*2^1131032-1 is not prime. Res64: 21D777EC184DA1A1 Time : 0.0 sec. user=vaughan [2012-04-23 08:56:17] 467*2^1131032-1 is not prime. Res64: 8DB71A8BFAE90525 Time : 0.0 sec. user=henryzz [2012-04-23 08:57:23] 567*2^1131032-1 is not prime. Res64: 32216320886B5682 Time : 0.0 sec. user=vaughan [2012-04-23 09:00:30] 593*2^1131032-1 is not prime. Res64: AFDA42850FA6B864 Time : 0.0 sec. user=vaughan [2012-04-23 09:00:31] 427*2^1131033-1 is not prime. Res64: 6CA3DF67D90095B0 Time : 0.0 sec. user=vaughan [2012-04-23 09:01:25] 575*2^1131034-1 is not prime. Res64: E400FC7AA760E4CC Time : 0.0 sec. user=vaughan [2012-04-23 09:01:25] 511*2^1131033-1 is not prime. Res64: BEE69D24CE9D9ACC Time : 0.0 sec. user=vaughan [2012-04-23 09:01:50] 481*2^1131035-1 is not prime. Res64: C3D6DAE87E00287D Time : 0.0 sec. user=vaughan [2012-04-23 09:01:53] 595*2^1131035-1 is not prime. Res64: D47ABFE37DF143E2 Time : 0.0 sec. user=henryzz [2012-04-23 09:04:05] 457*2^1131033-1 is not prime. Res64: AF3951F04807D7B3 Time : 0.0 sec. user=vaughan [2012-04-23 09:13:15] 405*2^1131036-1 is not prime. Res64: E6C826D1F84C5C0F Time : 0.0 sec. user=vaughan [2012-04-23 09:13:16] 579*2^1131036-1 is not prime. Res64: D05E27F5240F790A Time : 0.0 sec. user=henryzz [2012-04-23 09:14:09] 587*2^1131036-1 is not prime. Res64: 7DBF64651845C025 Time : 0.0 sec. user=vaughan [2012-04-23 09:15:21] 415*2^1131039-1 is not prime. Res64: E3B8DB606DDF484A Time : 0.0 sec. user=vaughan [2012-04-23 09:15:22] 553*2^1131039-1 is not prime. Res64: DA5FDBA12B7BD2DB Time : 0.0 sec. user=henryzz [2012-04-23 09:15:52] 465*2^1131037-1 is not prime. Res64: 56804A2E80DE5099 Time : 0.0 sec. user=vaughan [2012-04-23 09:16:59] 565*2^1131039-1 is not prime. Res64: D336B961F75637AB Time : 0.0 sec. user=vaughan [2012-04-23 09:17:00] 573*2^1131039-1 is not prime. Res64: 0AE483EDAE213A6A Time : 0.0 sec. user=henryzz [2012-04-23 09:18:01] 437*2^1131040-1 is not prime. Res64: 62F0658CA243DC95 Time : 0.0 sec. user=vaughan [2012-04-23 09:21:08] 489*2^1131040-1 is not prime. Res64: 792C3CC400359DC0 Time : 0.0 sec. user=vaughan [2012-04-23 09:21:10] 475*2^1131041-1 is not prime. Res64: 18B356F10FCD37CB Time : 0.0 sec. user=henryzz [2012-04-23 09:25:09] 523*2^1131043-1 is not prime. Res64: D950BEEF581DFE1A Time : 0.0 sec. user=vaughan [2012-04-23 09:34:15] 425*2^1131044-1 is not prime. Res64: BE7A1F3F5192C4A1 Time : 0.0 sec. user=vaughan [2012-04-23 09:34:16] 585*2^1131044-1 is not prime. Res64: FF5AF92ACD399B36 Time : 0.0 sec. user=henryzz [2012-04-23 09:34:49] 529*2^1131045-1 is not prime. Res64: F0E647095ACEA493 Time : 0.0 sec. user=vaughan [2012-04-23 09:36:17] 531*2^1131045-1 is not prime. Res64: 1457BE1E5F9089F6 Time : 0.0 sec. user=vaughan [2012-04-23 09:36:17] 579*2^1131045-1 is not prime. Res64: C1BE607BF7117728 Time : 0.0 sec. user=henryzz [2012-04-23 09:36:19] 455*2^1131046-1 is not prime. Res64: EF847A6DE77D32CB Time : 0.0 sec. user=vaughan [2012-04-23 09:37:44] 471*2^1131046-1 is not prime. Res64: D6697ACF099AAB3F Time : 0.0 sec. user=vaughan [2012-04-23 09:37:45] 591*2^1131046-1 is not prime. Res64: 5182F69B850E07AB Time : 0.0 sec. user=henryzz [2012-04-23 09:39:38] 421*2^1131047-1 is not prime. Res64: 19DE657550B2AFF2 Time : 0.0 sec. user=vaughan [2012-04-23 09:41:47] 423*2^1131047-1 is not prime. Res64: 7AEA32034A14093E Time : 0.0 sec. user=vaughan [2012-04-23 09:41:47] 469*2^1131047-1 is not prime. Res64: 0D33DAEE29419DC8 Time : 0.0 sec. user=henryzz [2012-04-23 09:45:24] 475*2^1131047-1 is not prime. Res64: 8FD7BFD8804EFD5B Time : 0.0 sec. user=henryzz [2012-04-23 09:55:13] 473*2^1131048-1 is not prime. Res64: 996560077639FBCB Time : 0.0 sec. user=vaughan [2012-04-23 09:55:13] 589*2^1131047-1 is not prime. Res64: 1BE30E9E2DBD896B Time : 0.0 sec. user=vaughan [2012-04-23 09:55:14] 465*2^1131048-1 is not prime. Res64: 0C91F8AA3FA0B870 Time : 0.0 sec. user=henryzz [2012-04-23 09:55:44] 525*2^1131048-1 is not prime. Res64: 8A32A28D07DF2FB7 Time : 0.0 sec. user=vaughan [2012-04-23 09:57:13] 485*2^1131048-1 is not prime. Res64: B200EE7CF2BE2325 Time : 0.0 sec. user=vaughan [2012-04-23 09:57:14] 489*2^1131048-1 is not prime. Res64: FA116F9BD951DE2A Time : 0.0 sec. user=vaughan [2012-04-23 09:58:20] 567*2^1131048-1 is not prime. Res64: 49D21479B24F8E6A Time : 0.0 sec. user=vaughan [2012-04-23 09:58:21] 435*2^1131049-1 is not prime. Res64: 6941CA383AB78BDD Time : 0.0 sec. user=henryzz [2012-04-23 10:00:12] 405*2^1131050-1 is not prime. Res64: 92F91478215BAAD7 Time : 0.0 sec. user=vaughan [2012-04-23 10:02:12] 425*2^1131050-1 is not prime. Res64: 9B6367C9060AE8BF Time : 0.0 sec. user=vaughan [2012-04-23 10:02:14] 515*2^1131050-1 is not prime. Res64: C5B357313A8ED252 Time : 0.0 sec. user=henryzz [2012-04-23 10:05:10] 561*2^1131050-1 is not prime. Res64: 642741CDCA99FE7D Time : 0.0 sec. user=henryzz [2012-04-23 10:15:27] 493*2^1131051-1 is not prime. Res64: C766C1A218CE36B1 Time : 0.0 sec. user=henryzz [2012-04-23 10:16:01] 475*2^1131051-1 is not prime. Res64: E59B29AC0754EE68 Time : 0.0 sec. user=vaughan [2012-04-23 10:16:11] 593*2^1131050-1 is not prime. Res64: A64224A53FF131C7 Time : 0.0 sec. user=vaughan [2012-04-23 10:16:12] 439*2^1131051-1 is not prime. Res64: B742D0C5CE54D899 Time : 0.0 sec. user=vaughan [2012-04-23 10:18:14] 513*2^1131051-1 is not prime. Res64: CD0FB1764B7419A7 Time : 0.0 sec. user=vaughan [2012-04-23 10:18:15] 549*2^1131051-1 is not prime. Res64: A2F7BD6434D2A5DE Time : 0.0 sec. user=vaughan [2012-04-23 10:18:53] 437*2^1131052-1 is not prime. Res64: 09A5CF0A4A5E0783 Time : 0.0 sec. user=vaughan [2012-04-23 10:18:54] 483*2^1131052-1 is not prime. Res64: 084D0BD648FAD2BC Time : 0.0 sec. user=henryzz [2012-04-23 10:20:17] 513*2^1131052-1 is not prime. Res64: 0D6533E35D4038D8 Time : 0.0 sec. user=vaughan [2012-04-23 10:22:44] 573*2^1131052-1 is not prime. Res64: A9549BCA492E3119 Time : 0.0 sec. user=vaughan [2012-04-23 10:22:45] 441*2^1131053-1 is not prime. Res64: B12252B02C48EE61 Time : 0.0 sec. user=henryzz [2012-04-23 10:25:20] 477*2^1131053-1 is not prime. Res64: B5585E7BB136B522 Time : 0.0 sec. user=gd_barnes [2012-04-23 10:32:11] 561*2^1131053-1 is not prime. Res64: C63D41D512ECEAF6 Time : 0.0 sec. user=henryzz [2012-04-23 10:36:06] 431*2^1131054-1 is not prime. Res64: 2BB110CF44738B83 Time : 0.0 sec. user=henryzz [2012-04-23 10:36:53] 413*2^1131054-1 is not prime. Res64: 03C7CD17E72E33FA Time : 0.0 sec. user=vaughan [2012-04-23 10:37:13] 465*2^1131054-1 is not prime. Res64: 083F610F557EA4E4 Time : 0.0 sec. user=vaughan [2012-04-23 10:37:14] 415*2^1131055-1 is not prime. Res64: 7CB01FEB8819E6B2 Time : 0.0 sec. user=vaughan [2012-04-23 10:39:13] 451*2^1131055-1 is not prime. Res64: CF8A4C2C11C48F4B Time : 0.0 sec. user=vaughan [2012-04-23 10:39:14] 519*2^1131055-1 is not prime. Res64: 83C6FFA9140BAE4E Time : 0.0 sec. user=vaughan [2012-04-23 10:39:24] 585*2^1131056-1 is not prime. Res64: 606F893CBEB4DED6 Time : 0.0 sec. user=vaughan [2012-04-23 10:39:25] 409*2^1131057-1 is not prime. Res64: FC2219B6815D32F0 Time : 0.0 sec. user=henryzz [2012-04-23 10:41:26] 457*2^1131057-1 is not prime. Res64: 8DC3362214F5E9E3 Time : 0.0 sec. user=vaughan [2012-04-23 10:43:05] 511*2^1131057-1 is not prime. Res64: 86D730B48B3ECAD2 Time : 0.0 sec. user=vaughan [2012-04-23 10:43:05] 577*2^1131057-1 is not prime. Res64: 9140DABC121B2A0A Time : 0.0 sec. user=henryzz [2012-04-23 10:46:34] 423*2^1131058-1 is not prime. Res64: 957522A25AD8EEAF Time : 0.0 sec. user=henryzz [2012-04-23 10:57:09] 525*2^1131058-1 is not prime. Res64: E0ECAEFC77E2B2BE Time : 0.0 sec. user=henryzz [2012-04-23 10:57:15] 443*2^1131058-1 is not prime. Res64: C37FB847B6D1EDD6 Time : 0.0 sec. user=vaughan [2012-04-23 10:58:08] 581*2^1131058-1 is not prime. Res64: 68E80170F9B1F41B Time : 0.0 sec. user=vaughan [2012-04-23 10:58:09] 411*2^1131059-1 is not prime. Res64: 16280C29F2840A9D Time : 0.0 sec. user=vaughan [2012-04-23 11:00:00] 549*2^1131059-1 is not prime. Res64: 23DE03F6C56F15B6 Time : 0.0 sec. user=vaughan [2012-04-23 11:00:01] 573*2^1131059-1 is not prime. Res64: F9901D5334FC5D1B Time : 0.0 sec. user=vaughan [2012-04-23 11:00:09] 421*2^1131059-1 is not prime. Res64: 85A2BE30F48B1DE8 Time : 0.0 sec. user=vaughan [2012-04-23 11:00:11] 531*2^1131059-1 is not prime. Res64: 7C406157F55832BD Time : 0.0 sec. user=henryzz [2012-04-23 11:01:58] 459*2^1131060-1 is not prime. Res64: FBF180AAD9711DFC Time : 0.0 sec. user=vaughan [2012-04-23 11:03:38] 473*2^1131060-1 is not prime. Res64: 12136A739AA63023 Time : 0.0 sec. user=vaughan [2012-04-23 11:03:40] 503*2^1131060-1 is not prime. Res64: 26EF7085ED41FBF7 Time : 0.0 sec. user=henryzz [2012-04-23 11:07:15] 411*2^1131061-1 is not prime. Res64: AB33C08CFA82C15A Time : 0.0 sec. user=henryzz [2012-04-23 11:18:19] 511*2^1131061-1 is not prime. Res64: 0E140F957EF3653A Time : 0.0 sec. user=vaughan [2012-04-23 11:19:03] 531*2^1131061-1 is not prime. Res64: 9262849443CF3E5F Time : 0.0 sec. user=vaughan [2012-04-23 11:19:04] 547*2^1131061-1 is not prime. Res64: DA55915DB52DDB43 Time : 0.0 sec. user=vaughan [2012-04-23 11:20:31] 559*2^1131061-1 is not prime. Res64: 99D2EE4665787856 Time : 0.0 sec. user=vaughan [2012-04-23 11:20:31] 561*2^1131061-1 is not prime. Res64: E2BD7F9B7741A1D6 Time : 0.0 sec. user=vaughan [2012-04-23 11:21:08] 455*2^1131062-1 is not prime. Res64: 447C3F00634522FF Time : 0.0 sec. user=vaughan [2012-04-23 11:21:09] 545*2^1131062-1 is not prime. Res64: A4C0FE566ACE9ACB Time : 0.0 sec. user=henryzz [2012-04-23 11:23:49] 441*2^1131063-1 is not prime. Res64: 6734351823CB6E3F Time : 0.0 sec. user=vaughan [2012-04-23 11:24:11] 447*2^1131064-1 is not prime. Res64: 12CF26D57027A80E Time : 0.0 sec. user=vaughan [2012-04-23 11:24:12] 527*2^1131064-1 is not prime. Res64: 442C34534A82BD71 Time : 0.0 sec. user=henryzz [2012-04-23 11:27:40] 575*2^1131064-1 is not prime. Res64: 5E19AAD3CFAE3D08 Time : 0.0 sec. user=henryzz [2012-04-23 11:28:02] 477*2^1131061-1 is not prime. Res64: F14FBC4864227082 Time : 0.0 sec. user=henryzz [2012-04-23 11:39:03] 461*2^1131066-1 is not prime. Res64: 10B9745BF09520CE Time : 0.0 sec. user=vaughan [2012-04-23 11:39:56] 501*2^1131066-1 is not prime. Res64: DAD71665607D7793 Time : 0.0 sec. user=vaughan [2012-04-23 11:39:57] 513*2^1131066-1 is not prime. Res64: 18A94FB902B0B318 Time : 0.0 sec. user=vaughan [2012-04-23 11:41:05] 521*2^1131066-1 is not prime. Res64: 410C0C8736F6BB72 Time : 0.0 sec. user=vaughan [2012-04-23 11:41:06] 493*2^1131067-1 is not prime. Res64: DDF967690AD80FF9 Time : 0.0 sec. user=vaughan [2012-04-23 11:42:08] 531*2^1131067-1 is not prime. Res64: E0647B4986DEFDF6 Time : 0.0 sec. user=vaughan [2012-04-23 11:42:09] 541*2^1131067-1 is not prime. Res64: 4775B94E7C5F9C44 Time : 0.0 sec. user=vaughan [2012-04-23 11:44:37] 417*2^1131068-1 is not prime. Res64: A4B6EFA48ECD4857 Time : 0.0 sec. user=vaughan [2012-04-23 11:44:37] 465*2^1131068-1 is not prime. Res64: D697FEB58D0BFD8A Time : 0.0 sec. user=marco.bs [2012-04-23 11:45:16] 451*2^1131061-1 is not prime. Res64: E8D715DCA1502BEA Time : 0.0 sec. user=henryzz [2012-04-23 11:45:50] 405*2^1131068-1 is not prime. Res64: 6DAB2DD26372EBB3 Time : 0.0 sec. user=henryzz [2012-04-23 11:48:52] 515*2^1131068-1 is not prime. Res64: 44E409B3BFA8329F Time : 0.0 sec. user=henryzz [2012-04-23 11:50:43] 567*2^1131068-1 is not prime. Res64: 4B6F7588DF6421E1 Time : 0.0 sec. user=henryzz [2012-04-23 11:59:16] 599*2^1131068-1 is not prime. Res64: 0E9B79C965765A7E Time : 0.0 sec. user=vaughan [2012-04-23 12:00:54] 471*2^1131069-1 is not prime. Res64: 7B7539A55AA7812F Time : 0.0 sec. user=vaughan [2012-04-23 12:00:55] 467*2^1131070-1 is not prime. Res64: BC763476BD8726D1 Time : 0.0 sec. user=vaughan [2012-04-23 12:01:40] 591*2^1131070-1 is not prime. Res64: DA0A19363AED27EC Time : 0.0 sec. user=vaughan [2012-04-23 12:01:42] 597*2^1131070-1 is not prime. Res64: 64E759A8F0EF0782 Time : 0.0 sec. user=vaughan [2012-04-23 12:03:04] 445*2^1131071-1 is not prime. Res64: 08BDD18DBBA398EB Time : 0.0 sec. user=vaughan [2012-04-23 12:03:05] 489*2^1131071-1 is not prime. Res64: 2F0CDE98641B72EA Time : 0.0 sec. user=vaughan [2012-04-23 12:05:16] 511*2^1131071-1 is not prime. Res64: 4B60428E84231A8F Time : 0.0 sec. user=vaughan [2012-04-23 12:05:18] 525*2^1131071-1 is not prime. Res64: EBA3A86EDEDF4D65 Time : 0.0 sec. user=henryzz [2012-04-23 12:07:35] 419*2^1131072-1 is not prime. Res64: 4DAE5FA678AF6A0B Time : 0.0 sec. user=henryzz [2012-04-23 12:10:12] 411*2^1131073-1 is not prime. Res64: 1C8BAAF3D8BEADF3 Time : 0.0 sec. user=henryzz [2012-04-23 12:12:38] 481*2^1131073-1 is not prime. Res64: 6BD27CE0294CC2B5 Time : 0.0 sec. user=henryzz [2012-04-23 12:20:20] 499*2^1131073-1 is not prime. Res64: 13F0FD41459731EA Time : 0.0 sec. user=vaughan [2012-04-23 12:21:51] 495*2^1131074-1 is not prime. Res64: 29F8CC3AF3728EBA Time : 0.0 sec. user=vaughan [2012-04-23 12:21:52] 563*2^1131074-1 is not prime. Res64: 6B2484B9556BB3E5 Time : 0.0 sec. user=vaughan [2012-04-23 12:22:18] 441*2^1131075-1 is not prime. Res64: F86BBC15642FCAE7 Time : 0.0 sec. user=vaughan [2012-04-23 12:22:18] 453*2^1131075-1 is not prime. Res64: 83164B02B8E4D77B Time : 0.0 sec. user=vaughan [2012-04-23 12:23:56] 507*2^1131076-1 is not prime. Res64: 33F551D362A0F1CD Time : 0.0 sec. user=vaughan [2012-04-23 12:23:57] 545*2^1131076-1 is not prime. Res64: 428BAF44B0D0FF53 Time : 0.0 sec. user=vaughan [2012-04-23 12:25:51] 563*2^1131076-1 is not prime. Res64: 08091C722B8662C7 Time : 0.0 sec. user=vaughan [2012-04-23 12:25:51] 441*2^1131077-1 is not prime. Res64: 6F0691C52F43988C Time : 0.0 sec. user=henryzz [2012-04-23 12:28:16] 477*2^1131077-1 is not prime. Res64: D240284CAEF49ABD Time : 0.0 sec. user=henryzz [2012-04-23 12:30:06] 559*2^1131077-1 is not prime. Res64: 3EF813FB11C459DC Time : 0.0 sec. user=marco.bs [2012-04-23 12:32:19] 559*2^1131071-1 is not prime. Res64: 7023D44C4BD91C67 Time : 0.0 sec. user=henryzz [2012-04-23 12:33:47] 567*2^1131077-1 is not prime. Res64: E419D96E494407E7 Time : 0.0 sec. user=henryzz [2012-04-23 12:41:15] 585*2^1131077-1 is not prime. Res64: DB5CD311FFC1494B Time : 0.0 sec. user=vaughan [2012-04-23 12:42:42] 437*2^1131078-1 is not prime. Res64: 1746D8C6F6D30221 Time : 0.0 sec. user=vaughan [2012-04-23 12:42:43] 483*2^1131078-1 is not prime. Res64: 90E8678B429A14F0 Time : 0.0 sec. user=vaughan [2012-04-23 12:42:46] 525*2^1131078-1 is not prime. Res64: 3EA5084914E3AAD8 Time : 0.0 sec. user=vaughan [2012-04-23 12:42:47] 567*2^1131078-1 is not prime. Res64: 5D01F3C60B5A41F1 Time : 0.0 sec. user=vaughan [2012-04-23 12:44:55] 415*2^1131079-1 is not prime. Res64: 8E3FCA9738BB7C02 Time : 0.0 sec. user=vaughan [2012-04-23 12:44:57] 421*2^1131079-1 is not prime. Res64: CD9347C972E49768 Time : 0.0 sec. user=vaughan [2012-04-23 12:46:19] 531*2^1131079-1 is not prime. Res64: 41EE94CCE081707B Time : 0.0 sec. user=vaughan [2012-04-23 12:46:20] 579*2^1131079-1 is not prime. Res64: 6FE8160E27B4CB62 Time : 0.0 sec. user=henryzz [2012-04-23 12:48:25] 467*2^1131080-1 is not prime. Res64: 813633BC8A26251D Time : 0.0 sec. user=henryzz [2012-04-23 12:51:28] 489*2^1131080-1 is not prime. Res64: 01B15BA597545AD4 Time : 0.0 sec. user=henryzz [2012-04-23 12:55:12] 519*2^1131080-1 is not prime. Res64: BE131F03297BC48B Time : 0.0 sec. user=henryzz [2012-04-23 13:03:01] 587*2^1131080-1 is not prime. Res64: 850E3AE10A77D3D2 Time : 0.0 sec. user=vaughan [2012-04-23 13:03:12] 423*2^1131082-1 is not prime. Res64: 23F5B446F4A40BC7 Time : 0.0 sec. user=vaughan [2012-04-23 13:03:13] 447*2^1131082-1 is not prime. Res64: 8227F0BBEB37566F Time : 0.0 sec. user=vaughan [2012-04-23 13:03:43] 535*2^1131081-1 is not prime. Res64: D2850F6539E5F050 Time : 0.0 sec. user=vaughan [2012-04-23 13:03:44] 549*2^1131081-1 is not prime. Res64: BD5808996C20D3A3 Time : 0.0 sec. user=vaughan [2012-04-23 13:05:55] 495*2^1131082-1 is not prime. Res64: 5A80DEE736A5F2B1 Time : 0.0 sec. user=vaughan [2012-04-23 13:05:56] 527*2^1131082-1 is not prime. Res64: 9F43B4F27777817E Time : 0.0 sec. user=vaughan [2012-04-23 13:06:59] 561*2^1131082-1 is not prime. Res64: FEAADEB537CBF582 Time : 0.0 sec. user=vaughan [2012-04-23 13:07:00] 489*2^1131083-1 is not prime. Res64: D2968BA16DB311FE Time : 0.0 sec. user=henryzz [2012-04-23 13:09:11] 549*2^1131083-1 is not prime. Res64: 935FE62B238AF35A Time : 0.0 sec. user=henryzz [2012-04-23 13:13:34] 565*2^1131083-1 is not prime. Res64: 467A5864A32EE907 Time : 0.0 sec. user=henryzz [2012-04-23 13:15:40] 589*2^1131083-1 is not prime. Res64: 218CE2399791FE5B Time : 0.0 sec. user=marco.bs [2012-04-23 13:19:25] 515*2^1131080-1 is not prime. Res64: B338A81E8092B76C Time : 0.0 sec. user=henryzz [2012-04-23 13:23:42] 429*2^1131084-1 is not prime. Res64: 90D3C275FF46BB8B Time : 0.0 sec. user=vaughan [2012-04-23 13:23:51] 453*2^1131084-1 is not prime. Res64: 24516DF526E73A6D Time : 0.0 sec. user=vaughan [2012-04-23 13:23:52] 497*2^1131084-1 is not prime. Res64: 7DA27D21F7F3DC7B Time : 0.0 sec. user=vaughan [2012-04-23 13:24:40] 503*2^1131084-1 is not prime. Res64: 0B028B3E166242C1 Time : 0.0 sec. user=vaughan [2012-04-23 13:24:41] 513*2^1131084-1 is not prime. Res64: C53DC4D59DA162EC Time : 0.0 sec. user=vaughan [2012-04-23 13:26:58] 569*2^1131084-1 is not prime. Res64: EDC59C7ACC32E228 Time : 0.0 sec. user=vaughan [2012-04-23 13:26:58] 519*2^1131085-1 is not prime. Res64: 13A66D944D1417C4 Time : 0.0 sec. user=vaughan [2012-04-23 13:27:47] 541*2^1131085-1 is not prime. Res64: 6167FF4523B5C896 Time : 0.0 sec. user=vaughan [2012-04-23 13:27:47] 417*2^1131086-1 is not prime. Res64: 10138FF82D5E363A Time : 0.0 sec. user=henryzz [2012-04-23 13:30:39] 557*2^1131086-1 is not prime. Res64: 2337CBEE474B93FA Time : 0.0 sec. user=henryzz [2012-04-23 13:37:00] 435*2^1131088-1 is not prime. Res64: 2DD3934A8D130DCD Time : 0.0 sec. user=gd_barnes [2012-04-23 13:37:06] 419*2^1131088-1 is not prime. Res64: 9B89A3B4BB11E33B Time : 0.0 sec. user=henryzz [2012-04-23 13:40:36] 513*2^1131088-1 is not prime. Res64: 542C0189305C5258 Time : 0.0 sec. user=vaughan [2012-04-23 13:44:24] 481*2^1131089-1 is not prime. Res64: BF086CA149578DF4 Time : 0.0 sec. user=vaughan [2012-04-23 13:44:24] 507*2^1131089-1 is not prime. Res64: 42F329116A396E56 Time : 0.0 sec. user=vaughan [2012-04-23 13:45:36] 495*2^1131090-1 is not prime. Res64: F0FD5B092C5299C5 Time : 0.0 sec. user=vaughan [2012-04-23 13:45:37] 425*2^1131092-1 is not prime. Res64: 989D57E861B1A2F0 Time : 0.0 sec. user=vaughan [2012-04-23 13:47:54] 483*2^1131092-1 is not prime. Res64: 896D667EB9B7EEB7 Time : 0.0 sec. user=vaughan [2012-04-23 13:47:54] 489*2^1131092-1 is not prime. Res64: 052D882378E5903D Time : 0.0 sec. user=vaughan [2012-04-23 13:48:21] 495*2^1131092-1 is not prime. Res64: 36E6A64EECB3698A Time : 0.0 sec. user=vaughan [2012-04-23 13:48:21] 579*2^1131092-1 is not prime. Res64: E0E6DCA53CB85090 Time : 0.0 sec. user=henryzz [2012-04-23 13:48:48] 571*2^1131089-1 is not prime. Res64: 3A3CE43C560D873F Time : 0.0 sec. user=henryzz [2012-04-23 13:55:35] 599*2^1131092-1 is not prime. Res64: 8240FCC261F4C3F8 Time : 0.0 sec. user=vaughan [2012-04-23 14:04:52] 495*2^1131094-1 is not prime. Res64: EF063D00C57E1EEE Time : 0.0 sec. user=vaughan [2012-04-23 14:04:55] 533*2^1131094-1 is not prime. Res64: E778C661AB87BA43 Time : 0.0 sec. user=marco.bs [2012-04-23 14:06:28] 597*2^1131088-1 is not prime. Res64: 77E5794509DB24C1 Time : 0.0 sec. user=vaughan [2012-04-23 14:06:36] 561*2^1131094-1 is not prime. Res64: FD345CCE64C8EAF6 Time : 0.0 sec. user=vaughan [2012-04-23 14:06:39] 445*2^1131095-1 is not prime. Res64: ADADD1D8C33E7BCF Time : 0.0 sec. user=henryzz [2012-04-23 14:06:47] 571*2^1131093-1 is not prime. Res64: 490010D6716197C8 Time : 0.0 sec. user=henryzz [2012-04-23 14:06:58] 475*2^1131093-1 is not prime. Res64: A567E764E7D68D16 Time : 0.0 sec. user=vaughan [2012-04-23 14:08:45] 441*2^1131097-1 is not prime. Res64: 8B17B191D7489322 Time : 0.0 sec. user=vaughan [2012-04-23 14:08:47] 537*2^1131097-1 is not prime. Res64: 172CCE9C9C2F72FF Time : 0.0 sec. user=vaughan [2012-04-23 14:08:52] 453*2^1131096-1 is not prime. Res64: 7733C8904B4DEFD5 Time : 0.0 sec. user=vaughan [2012-04-23 14:08:54] 503*2^1131096-1 is not prime. Res64: F1421A1A09B647B3 Time : 0.0 sec. user=henryzz [2012-04-23 14:13:32] 417*2^1131098-1 is not prime. Res64: CF69DFE113E0DD26 Time : 0.0 sec. user=henryzz [2012-04-23 14:20:51] 573*2^1131098-1 is not prime. Res64: 2ACF19FDFAC94F39 Time : 0.0 sec. user=vaughan [2012-04-23 14:25:32] 451*2^1131099-1 is not prime. Res64: 31059E2D8E0AEEE2 Time : 0.0 sec. user=vaughan [2012-04-23 14:25:33] 465*2^1131099-1 is not prime. Res64: 938DA156AF1EA887 Time : 0.0 sec. user=vaughan [2012-04-23 14:27:35] 571*2^1131099-1 is not prime. Res64: EA13CBF299F75C3B Time : 0.0 sec. user=vaughan [2012-04-23 14:27:36] 423*2^1131100-1 is not prime. Res64: B8E20F0DCE8CD9D6 Time : 0.0 sec. user=vaughan [2012-04-23 14:29:30] 579*2^1131100-1 is not prime. Res64: 545200D15EBA5ABB Time : 0.0 sec. user=vaughan [2012-04-23 14:29:31] 411*2^1131101-1 is not prime. Res64: BA3CBE3E26C96397 Time : 0.0 sec. user=vaughan [2012-04-23 14:29:53] 421*2^1131101-1 is not prime. Res64: 275BFBE07BF2B1FF Time : 0.0 sec. user=vaughan [2012-04-23 14:29:54] 445*2^1131101-1 is not prime. Res64: 2579793453C0791E Time : 0.0 sec. user=henryzz [2012-04-23 14:34:30] 533*2^1131100-1 is not prime. Res64: 18DAF894566F4D2B Time : 0.0 sec. user=gd_barnes [2012-04-23 14:39:21] 471*2^1131102-1 is not prime. Res64: 5260B71BC96E424B Time : 0.0 sec. user=henryzz [2012-04-23 14:39:24] 485*2^1131102-1 is not prime. Res64: 0D0B8A239E4B5D62 Time : 0.0 sec. user=henryzz [2012-04-23 14:42:45] 447*2^1131100-1 is not prime. Res64: 46DA49F2EC3CFEAA Time : 0.0 sec. user=henryzz [2012-04-23 14:43:16] 537*2^1131102-1 is not prime. Res64: A830EA1D22E23CE7 Time : 0.0 sec. user=vaughan [2012-04-23 14:46:23] 557*2^1131102-1 is not prime. Res64: EDAF06784AC10575 Time : 0.0 sec. user=vaughan [2012-04-23 14:46:24] 563*2^1131102-1 is not prime. Res64: FB00F47902D4FDBD Time : 0.0 sec. user=vaughan [2012-04-23 14:48:35] 433*2^1131103-1 is not prime. Res64: BF8917843FAE3DFF Time : 0.0 sec. user=vaughan [2012-04-23 14:48:36] 439*2^1131103-1 is not prime. Res64: DDB0C4B7805F5AE1 Time : 0.0 sec. user=vaughan [2012-04-23 14:50:03] 519*2^1131104-1 is not prime. Res64: 7E529817AB4D3B16 Time : 0.0 sec. user=vaughan [2012-04-23 14:50:03] 525*2^1131104-1 is not prime. Res64: 5F91922B4B9FC755 Time : 0.0 sec. user=vaughan [2012-04-23 14:50:52] 441*2^1131105-1 is not prime. Res64: 698DBF0EC99E5240 Time : 0.0 sec. user=vaughan [2012-04-23 14:50:53] 447*2^1131105-1 is not prime. Res64: E5674FF88C654F3D Time : 0.0 sec. user=marco.bs [2012-04-23 14:53:37] 511*2^1131099-1 is not prime. Res64: BBF91A5E8EA3A261 Time : 0.0 sec. user=henryzz [2012-04-23 14:57:14] 475*2^1131105-1 is not prime. Res64: 02F74FDA360CCE1F Time : 0.0 sec. user=henryzz [2012-04-23 15:06:15] 507*2^1131105-1 is not prime. Res64: D3B19853B8E9472E Time : 0.0 sec. user=vaughan [2012-04-23 15:07:07] 441*2^1131107-1 is not prime. Res64: 7861A8A3439C7C59 Time : 0.0 sec. user=vaughan [2012-04-23 15:07:09] 543*2^1131107-1 is not prime. Res64: 296886FF6D8B670B Time : 0.0 sec. user=henryzz [2012-04-23 15:07:15] 453*2^1131106-1 is not prime. Res64: A8B3AB798EC00F5F Time : 0.0 sec. user=vaughan [2012-04-23 15:09:29] 549*2^1131107-1 is not prime. Res64: A1150D9E7BEC9D87 Time : 0.0 sec. user=vaughan [2012-04-23 15:09:30] 553*2^1131107-1 is not prime. Res64: 92C3A71F764203A5 Time : 0.0 sec. user=vaughan [2012-04-23 15:10:32] 423*2^1131108-1 is not prime. Res64: 14BB9B183C0F74D4 Time : 0.0 sec. user=vaughan [2012-04-23 15:10:33] 437*2^1131108-1 is not prime. Res64: 6E43C303856DEC00 Time : 0.0 sec. user=vaughan [2012-04-23 15:11:50] 465*2^1131109-1 is not prime. Res64: 15DA1B6AB58F2CF8 Time : 0.0 sec. user=vaughan [2012-04-23 15:11:52] 561*2^1131109-1 is not prime. Res64: 9DF30A13ED2095BB Time : 0.0 sec. user=henryzz [2012-04-23 15:15:39] 525*2^1131108-1 is not prime. Res64: 98DDD46401BB5E2D Time : 0.0 sec. user=henryzz [2012-04-23 15:21:10] 597*2^1131109-1 is not prime. Res64: 8E4FAED6C07D63A1 Time : 0.0 sec. user=vaughan [2012-04-23 15:27:33] 483*2^1131110-1 is not prime. Res64: 2254ED276C3609BA Time : 0.0 sec. user=vaughan [2012-04-23 15:27:34] 503*2^1131110-1 is not prime. Res64: 6F4DAC7E3FF0C424 Time : 0.0 sec. user=henryzz [2012-04-23 15:30:13] 467*2^1131110-1 is not prime. Res64: 15AAEF76E6BFC7F6 Time : 0.0 sec. user=vaughan [2012-04-23 15:30:30] 561*2^1131110-1 is not prime. Res64: 377F0AB803569DA4 Time : 0.0 sec. user=vaughan [2012-04-23 15:30:31] 405*2^1131112-1 is not prime. Res64: 6FED8AD153D3C8BE Time : 0.0 sec. user=vaughan [2012-04-23 15:31:13] 569*2^1131112-1 is not prime. Res64: D68F75E7D181F583 Time : 0.0 sec. user=vaughan [2012-04-23 15:31:14] 571*2^1131113-1 is not prime. Res64: ED4F447811B46B27 Time : 0.0 sec. user=gd_barnes [2012-04-23 15:32:25] 407*2^1131110-1 is not prime. Res64: EDABF87B6E5D0815 Time : 0.0 sec. user=henryzz [2012-04-23 15:32:31] 521*2^1131110-1 is not prime. Res64: 0F208F696A88AC90 Time : 0.0 sec. user=vaughan [2012-04-23 15:32:47] 447*2^1131114-1 is not prime. Res64: C55323B03556D06D Time : 0.0 sec. user=vaughan [2012-04-23 15:32:48] 473*2^1131114-1 is not prime. Res64: D824587C329D02C4 Time : 0.0 sec. user=henryzz [2012-04-23 15:39:17] 483*2^1131114-1 is not prime. Res64: 4CEFD6F42CB4AC07 Time : 0.0 sec. user=marco.bs [2012-04-23 15:40:45] 595*2^1131109-1 is not prime. Res64: 1C15E53E94B4AB72 Time : 0.0 sec. user=henryzz [2012-04-23 15:45:14] 573*2^1131114-1 is not prime. Res64: 53F6CBE38C5062C8 Time : 0.0 sec. user=vaughan [2012-04-23 15:48:13] 593*2^1131114-1 is not prime. Res64: AAFB4A28D4138DE9 Time : 0.0 sec. user=vaughan [2012-04-23 15:48:14] 429*2^1131115-1 is not prime. Res64: 9D0959BE0508E735 Time : 0.0 sec. user=vaughan [2012-04-23 15:51:27] 515*2^1131116-1 is not prime. Res64: 4B67507F4A94D6A3 Time : 0.0 sec. user=vaughan [2012-04-23 15:51:28] 573*2^1131116-1 is not prime. Res64: 7DE79E5334285005 Time : 0.0 sec. user=vaughan [2012-04-23 15:51:48] 585*2^1131116-1 is not prime. Res64: 72DE4E28C5CECCE3 Time : 0.0 sec. user=vaughan [2012-04-23 15:51:48] 511*2^1131117-1 is not prime. Res64: 6946FE546CA6CCB5 Time : 0.0 sec. user=henryzz [2012-04-23 15:52:08] 493*2^1131115-1 is not prime. Res64: 2463B9A7E16A1FFD Time : 0.0 sec. user=vaughan [2012-04-23 15:53:44] 577*2^1131117-1 is not prime. Res64: F330130ED17603BC Time : 0.0 sec. user=vaughan [2012-04-23 15:53:44] 461*2^1131118-1 is not prime. Res64: 7946A249C420BCC4 Time : 0.0 sec. user=henryzz [2012-04-23 16:01:22] 483*2^1131118-1 is not prime. Res64: FFEFE77DD5F0F8B6 Time : 0.0 sec. user=vaughan [2012-04-23 16:08:45] 433*2^1131119-1 is not prime. Res64: C582FF19359BF9C3 Time : 0.0 sec. user=vaughan [2012-04-23 16:08:47] 463*2^1131119-1 is not prime. Res64: 167FC75CC36FB238 Time : 0.0 sec. user=henryzz [2012-04-23 16:09:32] 545*2^1131118-1 is not prime. Res64: 150D35C2A0EF9A96 Time : 0.0 sec. user=vaughan [2012-04-23 16:12:05] 453*2^1131120-1 is not prime. Res64: A6D44404A2AD30C3 Time : 0.0 sec. user=vaughan [2012-04-23 16:12:09] 467*2^1131120-1 is not prime. Res64: 973E25A5F97F955A Time : 0.0 sec. user=vaughan [2012-04-23 16:12:27] 501*2^1131119-1 is not prime. Res64: 21F58085AF46CD83 Time : 0.0 sec. user=vaughan [2012-04-23 16:12:35] 525*2^1131119-1 is not prime. Res64: 91BF2C005344A1B9 Time : 0.0 sec. user=vaughan [2012-04-23 16:14:45] 421*2^1131121-1 is not prime. Res64: FA3A42D4A0A71408 Time : 0.0 sec. user=vaughan [2012-04-23 16:14:45] 471*2^1131121-1 is not prime. Res64: 7419CE502399F7B5 Time : 0.0 sec. user=henryzz [2012-04-23 16:16:28] 567*2^1131120-1 is not prime. Res64: 0703E8242235BCBF Time : 0.0 sec. user=henryzz [2012-04-23 16:22:41] 499*2^1131121-1 is not prime. Res64: CEDB4983A58154B2 Time : 0.0 sec. user=henryzz [2012-04-23 16:25:28] 549*2^1131121-1 is not prime. Res64: 65E5542FFB4BE65B Time : 0.0 sec. user=marco.bs [2012-04-23 16:27:50] 525*2^1131118-1 is not prime. Res64: E894FBD7D2253790 Time : 0.0 sec. user=vaughan [2012-04-23 16:29:31] 467*2^1131122-1 is not prime. Res64: 5C8F5CA77D7D1CBC Time : 0.0 sec. user=vaughan [2012-04-23 16:29:32] 507*2^1131122-1 is not prime. Res64: 8302868B508BB679 Time : 0.0 sec. user=vaughan [2012-04-23 16:32:39] 471*2^1131123-1 is not prime. Res64: E63CC7A1C878AF47 Time : 0.0 sec. user=vaughan [2012-04-23 16:32:40] 529*2^1131123-1 is not prime. Res64: 6AC4B53C5400DF52 Time : 0.0 sec. user=henryzz [2012-04-23 16:32:52] 433*2^1131123-1 is not prime. Res64: 49936850DCD4D01A Time : 0.0 sec. user=vaughan [2012-04-23 16:33:35] 423*2^1131124-1 is not prime. Res64: 5233C2AD1D6E4117 Time : 0.0 sec. user=vaughan [2012-04-23 16:33:35] 579*2^1131124-1 is not prime. Res64: 9785F1E4C062B1F6 Time : 0.0 sec. user=vaughan [2012-04-23 16:35:40] 481*2^1131125-1 is not prime. Res64: BDFB5137F5E3C6AB Time : 0.0 sec. user=vaughan [2012-04-23 16:35:41] 411*2^1131126-1 is not prime. Res64: 0ECB4CCD48B36201 Time : 0.0 sec. user=henryzz [2012-04-23 16:39:43] 495*2^1131126-1 is not prime. Res64: 92490152885A1D95 Time : 0.0 sec. user=henryzz [2012-04-23 16:45:09] 527*2^1131126-1 is not prime. Res64: F256CBAAF9F86FD8 Time : 0.0 sec. user=vaughan [2012-04-23 16:50:04] 475*2^1131127-1 is not prime. Res64: D4272A62C9A2228E Time : 0.0 sec. user=vaughan [2012-04-23 16:50:05] 595*2^1131127-1 is not prime. Res64: CF3142DC4F732C74 Time : 0.0 sec. user=vaughan [2012-04-23 16:53:00] 417*2^1131128-1 is not prime. Res64: 8CFE20C6D7A6DEF2 Time : 0.0 sec. user=vaughan [2012-04-23 16:53:01] 465*2^1131128-1 is not prime. Res64: 21D231EBB42A734E Time : 0.0 sec. user=vaughan [2012-04-23 16:54:30] 509*2^1131128-1 is not prime. Res64: 3B487379D369D27E Time : 0.0 sec. user=vaughan [2012-04-23 16:54:31] 515*2^1131128-1 is not prime. Res64: 16D0DA0C6F60A90A Time : 0.0 sec. user=vaughan [2012-04-23 16:56:37] 537*2^1131128-1 is not prime. Res64: F9CA056E4B88E8D3 Time : 0.0 sec. user=vaughan [2012-04-23 16:56:38] 415*2^1131129-1 is not prime. Res64: 9CCEC71B2C123CBE Time : 0.0 sec. user=henryzz [2012-04-23 16:59:16] 457*2^1131129-1 is not prime. Res64: 3F088EFB8D760CFF Time : 0.0 sec. user=henryzz [2012-04-23 17:02:31] 535*2^1131129-1 is not prime. Res64: 9D5870C303BBEC13 Time : 0.0 sec. user=henryzz [2012-04-23 17:06:17] 597*2^1131129-1 is not prime. Res64: 93FFF41AFC492200 Time : 0.0 sec. user=vaughan [2012-04-23 17:10:46] 401*2^1131130-1 is not prime. Res64: F5CFB15C22410F3D Time : 0.0 sec. user=vaughan [2012-04-23 17:10:48] 453*2^1131130-1 is not prime. Res64: 7F3FD34929C39161 Time : 0.0 sec. user=vaughan [2012-04-23 17:13:31] 531*2^1131131-1 is not prime. Res64: 4EAF1BD99E388515 Time : 0.0 sec. user=vaughan [2012-04-23 17:13:33] 571*2^1131131-1 is not prime. Res64: 51E7EF35817161A6 Time : 0.0 sec. user=marco.bs [2012-04-23 17:14:56] 587*2^1131126-1 is not prime. Res64: 1728749062C83E18 Time : 0.0 sec. user=vaughan [2012-04-23 17:15:24] 573*2^1131131-1 is not prime. Res64: 1C8B1BBCD2C57450 Time : 0.0 sec. user=vaughan [2012-04-23 17:15:25] 459*2^1131132-1 is not prime. Res64: 0A09A1C61C5C1B2E Time : 0.0 sec. user=vaughan [2012-04-23 17:17:36] 537*2^1131132-1 is not prime. Res64: 7530579144F5E826 Time : 0.0 sec. user=vaughan [2012-04-23 17:17:36] 545*2^1131132-1 is not prime. Res64: 05BAF2C09C73E31C Time : 0.0 sec. user=henryzz [2012-04-23 17:19:00] 513*2^1131132-1 is not prime. Res64: EE796C36B55DCFA7 Time : 0.0 sec. user=henryzz [2012-04-23 17:25:02] 563*2^1131132-1 is not prime. Res64: B94C0446DE11D205 Time : 0.0 sec. user=henryzz [2012-04-23 17:28:56] 525*2^1131133-1 is not prime. Res64: 1131324A932C2C37 Time : 0.0 sec. user=vaughan [2012-04-23 17:31:29] 477*2^1131134-1 is not prime. Res64: E20293AA644515FE Time : 0.0 sec. user=vaughan [2012-04-23 17:31:29] 501*2^1131134-1 is not prime. Res64: 91A28DCB9ACE15C9 Time : 0.0 sec. user=vaughan [2012-04-23 17:33:59] 563*2^1131134-1 is not prime. Res64: 759E1711A68DA25D Time : 0.0 sec. user=vaughan [2012-04-23 17:34:00] 585*2^1131134-1 is not prime. Res64: 886950322451924C Time : 0.0 sec. user=vaughan [2012-04-23 17:36:15] 405*2^1131136-1 is not prime. Res64: 8E73271660E9870A Time : 0.0 sec. user=vaughan [2012-04-23 17:36:16] 429*2^1131136-1 is not prime. Res64: 372845D830DEE836 Time : 0.0 sec. user=gd_barnes [2012-04-23 17:37:05] 437*2^1131134-1 is not prime. Res64: B777EED0030DBD61 Time : 0.0 sec. user=vaughan [2012-04-23 17:38:28] 495*2^1131136-1 is not prime. Res64: 37F890B59975FF88 Time : 0.0 sec. user=vaughan [2012-04-23 17:38:28] 435*2^1131137-1 is not prime. Res64: 740D65265997F8ED Time : 0.0 sec. user=gd_barnes [2012-04-23 17:39:02] 557*2^1131134-1 is not prime. Res64: 058A0D0E2412C13C Time : 0.0 sec. user=henryzz [2012-04-23 17:41:05] 559*2^1131137-1 is not prime. Res64: 650F60529388ECDC Time : 0.0 sec. user=henryzz [2012-04-23 17:51:03] 471*2^1131138-1 is not prime. Res64: 20E8514E90AC4179 Time : 0.0 sec. user=vaughan [2012-04-23 17:52:00] 513*2^1131138-1 is not prime. Res64: 0276B22E61827843 Time : 0.0 sec. user=vaughan [2012-04-23 17:52:01] 527*2^1131138-1 is not prime. Res64: F35AC912520C076A Time : 0.0 sec. user=henryzz [2012-04-23 17:54:15] 567*2^1131137-1 is not prime. Res64: 6512F9AA26D33915 Time : 0.0 sec. user=vaughan [2012-04-23 17:54:20] 567*2^1131138-1 is not prime. Res64: 583C635604CBAE28 Time : 0.0 sec. user=vaughan [2012-04-23 17:54:21] 573*2^1131138-1 is not prime. Res64: 67467BEAAB8A3E60 Time : 0.0 sec. user=vaughan [2012-04-23 17:57:15] 589*2^1131139-1 is not prime. Res64: 613978E56BF768CB Time : 0.0 sec. user=vaughan [2012-04-23 17:57:16] 437*2^1131140-1 is not prime. Res64: 57EACD94604721A0 Time : 0.0 sec. user=vaughan [2012-04-23 17:59:27] 459*2^1131140-1 is not prime. Res64: C94668A193A0AB46 Time : 0.0 sec. user=vaughan [2012-04-23 17:59:28] 503*2^1131140-1 is not prime. Res64: 671996EB17D86BEA Time : 0.0 sec. user=marco.bs [2012-04-23 18:02:07] 573*2^1131135-1 is not prime. Res64: EEF7484540C6A51F Time : 0.0 sec. user=henryzz [2012-04-23 18:03:09] 579*2^1131140-1 is not prime. Res64: D8C5A9EE5C896F91 Time : 0.0 sec. user=vaughan [2012-04-23 18:12:39] 469*2^1131141-1 is not prime. Res64: 617F6BFB73DA78F3 Time : 0.0 sec. user=vaughan [2012-04-23 18:12:41] 471*2^1131141-1 is not prime. Res64: 8320847C704AA11B Time : 0.0 sec. user=vaughan [2012-04-23 18:14:56] 495*2^1131141-1 is not prime. Res64: 94C25110C49DB3CF Time : 0.0 sec. user=vaughan [2012-04-23 18:14:57] 517*2^1131141-1 is not prime. Res64: D2AD317BBDED35DB Time : 0.0 sec. user=vaughan [2012-04-23 18:18:08] 549*2^1131141-1 is not prime. Res64: 8903B81503488FE8 Time : 0.0 sec. user=vaughan [2012-04-23 18:18:09] 571*2^1131141-1 is not prime. Res64: D4F492A6C06A9BED Time : 0.0 sec. user=vaughan [2012-04-23 18:20:22] 567*2^1131142-1 is not prime. Res64: 34B764CA31E9C664 Time : 0.0 sec. user=vaughan [2012-04-23 18:20:23] 581*2^1131142-1 is not prime. Res64: 271028B585EB08E9 Time : 0.0 sec. user=henryzz [2012-04-23 18:24:21] 405*2^1131141-1 is not prime. Res64: F021DFB467399CC8 Time : 0.0 sec. user=henryzz [2012-04-23 18:30:58] 587*2^1131140-1 is not prime. Res64: B5C60C040A5A79D2 Time : 0.0 sec. user=vaughan [2012-04-23 18:33:25] 435*2^1131143-1 is not prime. Res64: 42702FE72AED08EA Time : 0.0 sec. user=vaughan [2012-04-23 18:33:26] 441*2^1131143-1 is not prime. Res64: D6A43C8B232D3A13 Time : 0.0 sec. user=vaughan [2012-04-23 18:35:27] 463*2^1131143-1 is not prime. Res64: ADDC26E8BDB3E101 Time : 0.0 sec. user=vaughan [2012-04-23 18:35:28] 587*2^1131144-1 is not prime. Res64: 3EEC865ECFD598DA Time : 0.0 sec. user=henryzz [2012-04-23 18:36:25] 441*2^1131145-1 is not prime. Res64: 903F3EC071FE9AA4 Time : 0.0 sec. user=vaughan [2012-04-23 18:39:00] 469*2^1131145-1 is not prime. Res64: 1B1FCD619E15255E Time : 0.0 sec. user=vaughan [2012-04-23 18:39:01] 507*2^1131145-1 is not prime. Res64: 1F748B4B070CEB8B Time : 0.0 sec. user=vaughan [2012-04-23 18:41:17] 541*2^1131145-1 is not prime. Res64: F61E701B55EE7C66 Time : 0.0 sec. user=vaughan [2012-04-23 18:41:18] 577*2^1131145-1 is not prime. Res64: B48C9E6BF2022E81 Time : 0.0 sec. user=marco.bs [2012-04-23 18:49:07] 433*2^1131143-1 is not prime. Res64: 119BD7A94CC1F7AA Time : 0.0 sec. user=vaughan [2012-04-23 18:54:07] 453*2^1131147-1 is not prime. Res64: B16881EA3BF03428 Time : 0.0 sec. user=vaughan [2012-04-23 18:54:08] 571*2^1131147-1 is not prime. Res64: C90F76ADAB7BEF91 Time : 0.0 sec. user=vaughan [2012-04-23 18:55:54] 449*2^1131148-1 is not prime. Res64: 375F29D6727E25F9 Time : 0.0 sec. user=vaughan [2012-04-23 18:55:54] 489*2^1131148-1 is not prime. Res64: F5D589D7D1710974 Time : 0.0 sec. user=vaughan [2012-04-23 18:59:56] 519*2^1131148-1 is not prime. Res64: 9618D9B9162C4E87 Time : 0.0 sec. user=vaughan [2012-04-23 18:59:57] 567*2^1131148-1 is not prime. Res64: 90EDEAA87BDE9DCF Time : 0.0 sec. user=henryzz [2012-04-23 19:00:06] 497*2^1131148-1 is not prime. Res64: 3518E7CEF5B70946 Time : 0.0 sec. user=vaughan [2012-04-23 19:02:14] 517*2^1131149-1 is not prime. Res64: D5E345C242770D76 Time : 0.0 sec. user=vaughan [2012-04-23 19:02:16] 549*2^1131149-1 is not prime. Res64: 1BBFCF9D1CFF13A3 Time : 0.0 sec. user=henryzz [2012-04-23 19:06:52] 461*2^1131150-1 is not prime. Res64: 36EB0C3ABF37987F Time : 0.0 sec. user=vaughan [2012-04-23 19:14:45] 511*2^1131151-1 is not prime. Res64: AD65F6613E06A750 Time : 0.0 sec. user=vaughan [2012-04-23 19:14:47] 561*2^1131151-1 is not prime. Res64: 8861546E121E7A7C Time : 0.0 sec. user=vaughan [2012-04-23 19:16:14] 483*2^1131152-1 is not prime. Res64: 3BFF654E0F1D73D2 Time : 0.0 sec. user=vaughan [2012-04-23 19:16:15] 539*2^1131152-1 is not prime. Res64: C3EC1B712175FF79 Time : 0.0 sec. user=vaughan [2012-04-23 19:20:55] 457*2^1131153-1 is not prime. Res64: 2A6C6906974EACBF Time : 0.0 sec. user=vaughan [2012-04-23 19:20:55] 585*2^1131153-1 is not prime. Res64: 6F30F3A7B6D579D0 Time : 0.0 sec. user=vaughan [2012-04-23 19:23:17] 595*2^1131153-1 is not prime. Res64: 215AE8B457A590F2 Time : 0.0 sec. user=vaughan [2012-04-23 19:23:18] 437*2^1131154-1 is not prime. Res64: DA19676AD925C7CB Time : 0.0 sec. user=gd_barnes [2012-04-23 19:33:42] 497*2^1131154-1 is not prime. Res64: A3E58EEC5D7F6DF1 Time : 0.0 sec. user=vaughan [2012-04-23 19:35:10] 521*2^1131154-1 is not prime. Res64: B2538E9B6263B1E6 Time : 0.0 sec. user=vaughan [2012-04-23 19:35:11] 545*2^1131154-1 is not prime. Res64: 6D7BD59E53852972 Time : 0.0 sec. user=marco.bs [2012-04-23 19:36:22] 593*2^1131150-1 is not prime. Res64: E08AB0D88F2E70C6 Time : 0.0 sec. user=vaughan [2012-04-23 19:36:44] 411*2^1131155-1 is not prime. Res64: B5823B6BBF9ED36C Time : 0.0 sec. user=vaughan [2012-04-23 19:36:45] 459*2^1131155-1 is not prime. Res64: E43461E7F3897890 Time : 0.0 sec. user=gd_barnes [2012-04-23 19:36:53] 483*2^1131154-1 is not prime. Res64: 4266EDFA735F4E61 Time : 0.0 sec. user=vaughan [2012-04-23 19:41:53] 475*2^1131155-1 is not prime. Res64: 70918CCC46AB4192 Time : 0.0 sec. user=vaughan [2012-04-23 19:41:53] 501*2^1131155-1 is not prime. Res64: 4AEB5A021D870A08 Time : 0.0 sec. user=vaughan [2012-04-23 19:44:16] 519*2^1131155-1 is not prime. Res64: CA8230BF6FF64370 Time : 0.0 sec. user=vaughan [2012-04-23 19:44:17] 531*2^1131155-1 is not prime. Res64: E0C715F0751C1BD5 Time : 0.0 sec. user=vaughan [2012-04-23 19:55:33] 595*2^1131155-1 is not prime. Res64: BA820DF8A5D71121 Time : 0.0 sec. user=vaughan [2012-04-23 19:55:34] 465*2^1131156-1 is not prime. Res64: 263D23026F7ED4AD Time : 0.0 sec. user=vaughan [2012-04-23 19:57:07] 545*2^1131156-1 is not prime. Res64: CA6A369806338415 Time : 0.0 sec. user=vaughan [2012-04-23 19:57:08] 439*2^1131157-1 is not prime. Res64: 31D81034D5C370B0 Time : 0.0 sec. user=vaughan [2012-04-23 20:02:47] 465*2^1131157-1 is not prime. Res64: 4000F68CA23A59E8 Time : 0.0 sec. user=vaughan [2012-04-23 20:02:49] 565*2^1131157-1 is not prime. Res64: 92F86A66C8D8ED8E Time : 0.0 sec. user=vaughan [2012-04-23 20:05:22] 417*2^1131158-1 is not prime. Res64: D81D826777BDA37D Time : 0.0 sec. user=vaughan [2012-04-23 20:05:25] 533*2^1131158-1 is not prime. Res64: 00AA1CF7040DAA3B Time : 0.0 sec. user=vaughan [2012-04-23 20:15:58] 563*2^1131158-1 is not prime. Res64: 6A5E18AE0E5506EF Time : 0.0 sec. user=vaughan [2012-04-23 20:15:59] 423*2^1131159-1 is not prime. Res64: 5A86663A6E210A1C Time : 0.0 sec. user=vaughan [2012-04-23 20:17:32] 441*2^1131159-1 is not prime. Res64: 99DF01F0545D654E Time : 0.0 sec. user=vaughan [2012-04-23 20:17:33] 481*2^1131159-1 is not prime. Res64: EE7D6EEA3A29D480 Time : 0.0 sec. user=vaughan [2012-04-23 20:18:51] 579*2^1131041-1 is not prime. Res64: D1B57CA8C183E595 Time : 0.0 sec. user=vaughan [2012-04-23 20:18:57] 585*2^1131041-1 is not prime. Res64: FDE08E6B1EA3750A Time : 0.0 sec. user=vaughan [2012-04-23 20:19:18] 437*2^1131042-1 is not prime. Res64: B3879F7742448948 Time : 0.0 sec. user=vaughan [2012-04-23 20:19:26] 555*2^1131042-1 is not prime. Res64: 19B045C64702D34A Time : 0.0 sec. user=vaughan [2012-04-23 20:23:26] 483*2^1131159-1 is not prime. Res64: 9418AA3E0BFF5BEA Time : 0.0 sec. user=vaughan [2012-04-23 20:23:27] 489*2^1131159-1 is not prime. Res64: 6F987EB804E46969 Time : 0.0 sec. user=vaughan [2012-04-23 20:26:04] 523*2^1131159-1 is not prime. Res64: 8B3E1C6846316222 Time : 0.0 sec. user=vaughan [2012-04-23 20:26:04] 509*2^1131160-1 is not prime. Res64: ED499E449DA3B058 Time : 0.0 sec. user=mdettweiler [2012-04-23 20:28:14] 429*2^1131163-1 is not prime. Res64: 84AB76D534FE356B Time : 0.0 sec. user=vaughan [2012-04-23 20:34:41] 451*2^1131163-1 is not prime. Res64: 20F35DBE9A0E20C3 Time : 0.0 sec. user=vaughan [2012-04-23 20:34:42] 583*2^1131163-1 is not prime. Res64: DA84712247263191 Time : 0.0 sec. user=vaughan [2012-04-23 20:35:05] 589*2^1131163-1 is not prime. Res64: 8BE86529F7EF9DB8 Time : 0.0 sec. user=vaughan [2012-04-23 20:35:08] 525*2^1131164-1 is not prime. Res64: 2D3BC02CE62FF1A4 Time : 0.0 sec. user=vaughan [2012-04-23 20:36:10] 409*2^1131161-1 is not prime. Res64: 73DF88174E790F9F Time : 0.0 sec. user=vaughan [2012-04-23 20:36:11] 437*2^1131162-1 is not prime. Res64: AE1E9154DABC57FC Time : 0.0 sec. user=gd_barnes [2012-04-23 20:36:57] 549*2^1131160-1 is not prime. Res64: F82F76CE6496BEE4 Time : 0.0 sec. user=vaughan [2012-04-23 20:37:43] 411*2^1131163-1 is not prime. Res64: 7A5928CFA3C39C4E Time : 0.0 sec. user=vaughan [2012-04-23 20:37:44] 421*2^1131163-1 is not prime. Res64: 4D26B35321B6429E Time : 0.0 sec. user=vaughan [2012-04-23 20:43:38] 593*2^1131164-1 is not prime. Res64: B47C6B23CB37FF0C Time : 0.0 sec. user=vaughan [2012-04-23 20:43:40] 441*2^1131165-1 is not prime. Res64: ACB6F4CBFD103E64 Time : 0.0 sec. user=vaughan [2012-04-23 20:46:22] 525*2^1131165-1 is not prime. Res64: 2C1EFF4E15EAF5F9 Time : 0.0 sec. user=vaughan [2012-04-23 20:46:23] 513*2^1131166-1 is not prime. Res64: CECA906B0D720089 Time : 0.0 sec. user=vaughan [2012-04-23 20:50:28] 523*2^1131167-1 is not prime. Res64: 987584384185EBB4 Time : 0.0 sec. user=vaughan [2012-04-23 20:50:32] 589*2^1131167-1 is not prime. Res64: 6A4B3706C94E606C Time : 0.0 sec. user=vaughan [2012-04-23 20:50:48] 503*2^1131168-1 is not prime. Res64: 6FD095365D8D2E76 Time : 0.0 sec. user=vaughan [2012-04-23 20:50:53] 507*2^1131168-1 is not prime. Res64: B3663AA19CAE68CB Time : 0.0 sec. user=vaughan [2012-04-23 20:56:16] 537*2^1131168-1 is not prime. Res64: 4AD26AFC6D8474F2 Time : 0.0 sec. user=vaughan [2012-04-23 20:56:17] 555*2^1131168-1 is not prime. Res64: D549BA8E983DF487 Time : 0.0 sec. user=vaughan [2012-04-23 20:57:49] 505*2^1131169-1 is not prime. Res64: 60F8312F5F7B2799 Time : 0.0 sec. user=vaughan [2012-04-23 20:57:50] 595*2^1131169-1 is not prime. Res64: F3B04705A2C03F24 Time : 0.0 sec. user=vaughan [2012-04-23 21:03:49] 405*2^1131170-1 is not prime. Res64: B60C3FE03C437D27 Time : 0.0 sec. user=vaughan [2012-04-23 21:03:52] 431*2^1131170-1 is not prime. Res64: AE0F4B0B8C6B8A52 Time : 0.0 sec. user=vaughan [2012-04-23 21:06:02] 593*2^1131170-1 is not prime. Res64: 41E7132232385869 Time : 0.0 sec. user=vaughan [2012-04-23 21:06:06] 423*2^1131172-1 is not prime. Res64: A6D75DB8E6E91DD6 Time : 0.0 sec. user=vaughan [2012-04-23 21:06:22] 517*2^1131173-1 is not prime. Res64: 29B1DA47A798CE29 Time : 0.0 sec. user=vaughan [2012-04-23 21:06:26] 561*2^1131173-1 is not prime. Res64: 88F7CD7749CF022A Time : 0.0 sec. user=vaughan [2012-04-23 21:06:34] 447*2^1131170-1 is not prime. Res64: CB5D444440BC33B4 Time : 0.0 sec. user=vaughan [2012-04-23 21:06:35] 521*2^1131170-1 is not prime. Res64: BF288C7CF936E002 Time : 0.0 sec. user=vaughan [2012-04-23 21:16:28] 401*2^1131174-1 is not prime. Res64: 9AADE9D44382885D Time : 0.0 sec. user=vaughan [2012-04-23 21:16:28] 425*2^1131174-1 is not prime. Res64: 9EBE6F2ABEFD465D Time : 0.0 sec. user=vaughan [2012-04-23 21:17:56] 483*2^1131174-1 is not prime. Res64: 9C933409865BBEAD Time : 0.0 sec. user=vaughan [2012-04-23 21:17:56] 501*2^1131174-1 is not prime. Res64: 6C8231465CECA0C6 Time : 0.0 sec. user=vaughan [2012-04-23 21:21:44] 449*2^1131176-1 is not prime. Res64: 246DEA6347CCB948 Time : 0.0 sec. user=vaughan [2012-04-23 21:21:45] 585*2^1131176-1 is not prime. Res64: 66EE73F8943F7846 Time : 0.0 sec. user=vaughan [2012-04-23 21:22:03] 405*2^1131177-1 is not prime. Res64: D63A06462C874238 Time : 0.0 sec. user=vaughan [2012-04-23 21:22:08] 435*2^1131178-1 is not prime. Res64: BAEDF46EEFA6068C Time : 0.0 sec. user=vaughan [2012-04-23 21:24:07] 555*2^1131174-1 is not prime. Res64: B9622ACF54622ABE Time : 0.0 sec. user=vaughan [2012-04-23 21:24:08] 451*2^1131175-1 is not prime. Res64: 3900761EB033716E Time : 0.0 sec. user=vaughan [2012-04-23 21:26:47] 483*2^1131178-1 is not prime. Res64: BE67F093C7A55267 Time : 0.0 sec. user=vaughan [2012-04-23 21:26:48] 507*2^1131178-1 is not prime. Res64: 5A4F0269D17D823A Time : 0.0 sec. user=gd_barnes [2012-04-23 21:33:44] 435*2^1131179-1 is not prime. Res64: 4A5EECED3288CF3E Time : 0.0 sec. user=vaughan [2012-04-23 21:36:42] 531*2^1131179-1 is not prime. Res64: D60DCFB6D22661DF Time : 0.0 sec. user=vaughan [2012-04-23 21:36:43] 565*2^1131179-1 is not prime. Res64: AEB40A792A229D32 Time : 0.0 sec. user=vaughan [2012-04-23 21:37:25] 513*2^1131180-1 is not prime. Res64: 80D202DA9D62678B Time : 0.0 sec. user=vaughan [2012-04-23 21:37:31] 409*2^1131181-1 is not prime. Res64: B75BFFC23D7B67C8 Time : 0.0 sec. user=vaughan [2012-04-23 21:37:48] 525*2^1131181-1 is not prime. Res64: F88B22EA2C96C617 Time : 0.0 sec. user=vaughan [2012-04-23 21:37:51] 561*2^1131181-1 is not prime. Res64: AB98EA6953FA1D4A Time : 0.0 sec. user=vaughan [2012-04-23 21:38:07] 579*2^1131179-1 is not prime. Res64: 19D9EEEE4E2E102E Time : 0.0 sec. user=vaughan [2012-04-23 21:38:08] 503*2^1131180-1 is not prime. Res64: 7B09CCE7F7B1C971 Time : 0.0 sec. user=vaughan [2012-04-23 21:44:18] 467*2^1131182-1 is not prime. Res64: 2BBC10B84971C48A Time : 0.0 sec. user=vaughan [2012-04-23 21:44:19] 545*2^1131182-1 is not prime. Res64: CE368BD02D484902 Time : 0.0 sec. user=vaughan [2012-04-23 21:46:57] 561*2^1131182-1 is not prime. Res64: E8EB08DBCC66F0C8 Time : 0.0 sec. user=vaughan [2012-04-23 21:46:58] 523*2^1131183-1 is not prime. Res64: 5BF352615CE55135 Time : 0.0 sec. user=vaughan [2012-04-23 21:53:07] 513*2^1131184-1 is not prime. Res64: 3FF68389FB9E2968 Time : 0.0 sec. user=vaughan [2012-04-23 21:53:15] 519*2^1131184-1 is not prime. Res64: 28F7537981F69498 Time : 0.0 sec. user=vaughan [2012-04-23 21:53:31] 533*2^1131184-1 is not prime. Res64: E31B4597F19E2304 Time : 0.0 sec. user=vaughan [2012-04-23 21:53:35] 405*2^1131185-1 is not prime. Res64: 4B630BA1DD354F24 Time : 0.0 sec. user=vaughan [2012-04-23 21:56:53] 413*2^1131184-1 is not prime. Res64: 04354A6CFB72DDB3 Time : 0.0 sec. user=vaughan [2012-04-23 21:56:54] 435*2^1131184-1 is not prime. Res64: D8F6315A94861496 Time : 0.0 sec. user=vaughan [2012-04-23 21:58:22] 409*2^1131185-1 is not prime. Res64: F4303FE66EE4A598 Time : 0.0 sec. user=vaughan [2012-04-23 21:58:23] 487*2^1131185-1 is not prime. Res64: C10965F0AA6E66B7 Time : 0.0 sec. user=vaughan [2012-04-23 22:04:26] 517*2^1131185-1 is not prime. Res64: E00E17290B89B72D Time : 0.0 sec. user=vaughan [2012-04-23 22:04:27] 529*2^1131185-1 is not prime. Res64: 6DF13ED37E154583 Time : 0.0 sec. user=vaughan [2012-04-23 22:07:09] 567*2^1131185-1 is not prime. Res64: E08D45408A0F7BF6 Time : 0.0 sec. user=vaughan [2012-04-23 22:07:12] 595*2^1131185-1 is not prime. Res64: 27422795798C60E0 Time : 0.0 sec. user=vaughan [2012-04-23 22:08:43] 441*2^1131187-1 is not prime. Res64: 75688830F8C33170 Time : 0.0 sec. user=vaughan [2012-04-23 22:08:52] 475*2^1131187-1 is not prime. Res64: F2F68C9AC9500E2F Time : 0.0 sec. user=vaughan [2012-04-23 22:09:07] 511*2^1131187-1 is not prime. Res64: 114949F669667018 Time : 0.0 sec. user=vaughan [2012-04-23 22:09:09] 405*2^1131188-1 is not prime. Res64: ED1DDDE3B63152B0 Time : 0.0 sec. user=vaughan [2012-04-23 22:17:06] 437*2^1131188-1 is not prime. Res64: EB1566AFF1D7C6DD Time : 0.0 sec. user=vaughan [2012-04-23 22:17:08] 479*2^1131188-1 is not prime. Res64: 9F0C6EB397E15616 Time : 0.0 sec. user=vaughan [2012-04-23 22:18:32] 537*2^1131188-1 is not prime. Res64: 6DAF97C5A24B0E9F Time : 0.0 sec. user=vaughan [2012-04-23 22:18:33] 557*2^1131188-1 is not prime. Res64: 1CB6726BAECA9BFF Time : 0.0 sec. user=vaughan [2012-04-23 22:24:25] 597*2^1131190-1 is not prime. Res64: D7FB4A429D336507 Time : 0.0 sec. user=vaughan [2012-04-23 22:24:37] 433*2^1131191-1 is not prime. Res64: 81AB8EDCCF7B01FB Time : 0.0 sec. user=vaughan [2012-04-23 22:24:40] 563*2^1131188-1 is not prime. Res64: 50885FD413E70C00 Time : 0.0 sec. user=vaughan [2012-04-23 22:24:40] 487*2^1131189-1 is not prime. Res64: F7225CF4F679EAD3 Time : 0.0 sec. user=vaughan [2012-04-23 22:24:48] 465*2^1131191-1 is not prime. Res64: D94E3C0EEA4CE8C8 Time : 0.0 sec. user=vaughan [2012-04-23 22:24:49] 519*2^1131191-1 is not prime. Res64: 91D8203803DECB0F Time : 0.0 sec. user=vaughan [2012-04-23 22:27:14] 571*2^1131189-1 is not prime. Res64: 2CC2AF093D46E554 Time : 0.0 sec. user=vaughan [2012-04-23 22:27:15] 467*2^1131190-1 is not prime. Res64: 97427E45D4595A48 Time : 0.0 sec. user=vaughan [2012-04-23 22:37:22] 405*2^1131192-1 is not prime. Res64: B75090EC03EC5E7C Time : 0.0 sec. user=vaughan [2012-04-23 22:37:23] 497*2^1131192-1 is not prime. Res64: BC08FC28EDD5180E Time : 0.0 sec. user=vaughan [2012-04-23 22:38:41] 439*2^1131193-1 is not prime. Res64: 9E2475925ADC7A29 Time : 0.0 sec. user=vaughan [2012-04-23 22:38:42] 471*2^1131193-1 is not prime. Res64: C2DC3BBCA208A0A0 Time : 0.0 sec. user=vaughan [2012-04-23 22:40:07] 477*2^1131193-1 is not prime. Res64: E58B015FED77E4EC Time : 0.0 sec. user=vaughan [2012-04-23 22:40:21] 495*2^1131193-1 is not prime. Res64: 910651966E6DC542 Time : 0.0 sec. user=vaughan [2012-04-23 22:40:27] 447*2^1131194-1 is not prime. Res64: 38DB48A163852FA6 Time : 0.0 sec. user=vaughan [2012-04-23 22:40:31] 503*2^1131194-1 is not prime. Res64: 2AD688506993E932 Time : 0.0 sec. user=vaughan [2012-04-23 22:44:50] 525*2^1131193-1 is not prime. Res64: A4B590F6B3547C05 Time : 0.0 sec. user=vaughan [2012-04-23 22:44:51] 407*2^1131194-1 is not prime. Res64: 892EAABFACBEFDC1 Time : 0.0 sec. user=vaughan [2012-04-23 22:47:20] 525*2^1131194-1 is not prime. Res64: D6390EC9559BE633 Time : 0.0 sec. user=vaughan [2012-04-23 22:47:22] 403*2^1131195-1 is not prime. Res64: 207F19E9DF2D14C3 Time : 0.0 sec. user=vaughan [2012-04-23 22:55:48] 541*2^1131195-1 is not prime. Res64: D89A356D77952CD8 Time : 0.0 sec. user=vaughan [2012-04-23 22:56:03] 543*2^1131195-1 is not prime. Res64: 039BE9BC24E56328 Time : 0.0 sec. user=vaughan [2012-04-23 22:56:08] 573*2^1131195-1 is not prime. Res64: 7EE3BB8F7EFE052A Time : 0.0 sec. user=vaughan [2012-04-23 22:56:08] 429*2^1131196-1 is not prime. Res64: 19803D3C85C5716D Time : 0.0 sec. user=vaughan [2012-04-23 22:57:32] 415*2^1131195-1 is not prime. Res64: 56A65C37D098EE39 Time : 0.0 sec. user=vaughan [2012-04-23 22:57:33] 459*2^1131195-1 is not prime. Res64: 7C982A932E07404A Time : 0.0 sec. user=vaughan [2012-04-23 22:58:51] 471*2^1131195-1 is not prime. Res64: A1C4658E14AF633D Time : 0.0 sec. user=vaughan [2012-04-23 22:58:52] 535*2^1131195-1 is not prime. Res64: F7CC57576443AFC1 Time : 0.0 sec. user=vaughan [2012-04-23 23:04:54] 455*2^1131196-1 is not prime. Res64: 7D6A1B7C18749D2E Time : 0.0 sec. user=vaughan [2012-04-23 23:04:55] 519*2^1131197-1 is not prime. Res64: 26BF27E3A2BC6339 Time : 0.0 sec. user=vaughan [2012-04-23 23:07:35] 565*2^1131197-1 is not prime. Res64: 82C0869CDC243702 Time : 0.0 sec. user=vaughan [2012-04-23 23:07:36] 413*2^1131198-1 is not prime. Res64: 8BFADD23AD6CBA0F Time : 0.0 sec. user=vaughan [2012-04-23 23:11:24] 417*2^1131198-1 is not prime. Res64: B7CA4A30D36AEF48 Time : 0.0 sec. user=vaughan [2012-04-23 23:11:41] 465*2^1131198-1 is not prime. Res64: C8F4869154434AEA Time : 0.0 sec. user=vaughan [2012-04-23 23:11:45] 495*2^1131198-1 is not prime. Res64: 398F7AE5401A1823 Time : 0.0 sec. user=vaughan [2012-04-23 23:11:47] 525*2^1131198-1 is not prime. Res64: 1D74F27AAA77FCFF Time : 0.0 sec. user=vaughan [2012-04-23 23:17:40] 527*2^1131198-1 is not prime. Res64: B6F5192442D5C57B Time : 0.0 sec. user=vaughan [2012-04-23 23:17:41] 415*2^1131199-1 is not prime. Res64: 1F9DFA3C3E2F82FA Time : 0.0 sec. user=vaughan [2012-04-23 23:19:00] 589*2^1131199-1 is not prime. Res64: 6D16EC08AA4D1755 Time : 0.0 sec. user=vaughan [2012-04-23 23:19:00] 425*2^1131200-1 is not prime. Res64: C922D3A6F77D2ED6 Time : 0.0 sec. user=vaughan [2012-04-23 23:25:08] 447*2^1131200-1 is not prime. Res64: 56B00D77A3A05A14 Time : 0.0 sec. user=vaughan [2012-04-23 23:25:09] 475*2^1131201-1 is not prime. Res64: A2A64EC6966CEBF4 Time : 0.0 sec. user=vaughan [2012-04-23 23:27:09] 513*2^1131202-1 is not prime. Res64: B87D5AB554034B8B Time : 0.0 sec. user=vaughan [2012-04-23 23:27:30] 555*2^1131202-1 is not prime. Res64: EE237B2B8F48A44B Time : 0.0 sec. user=vaughan [2012-04-23 23:27:33] 465*2^1131203-1 is not prime. Res64: 83306DFB11FAF444 Time : 0.0 sec. user=vaughan [2012-04-23 23:27:39] 463*2^1131203-1 is not prime. Res64: DEDA6FAA92384175 Time : 0.0 sec. user=vaughan [2012-04-23 23:27:40] 529*2^1131201-1 is not prime. Res64: 0F9DEC2C9B24F106 Time : 0.0 sec. user=vaughan [2012-04-23 23:27:41] 535*2^1131201-1 is not prime. Res64: C26FBBC5D2195ED6 Time : 0.0 sec. user=vaughan [2012-04-23 23:34:51] 497*2^1131202-1 is not prime. Res64: FF28B0E330A86A05 Time : 0.0 sec. user=vaughan [2012-04-23 23:37:47] 481*2^1131203-1 is not prime. Res64: 439F55E83F1F5567 Time : 0.0 sec. user=vaughan [2012-04-23 23:37:48] 585*2^1131203-1 is not prime. Res64: 2CA625A1B0573809 Time : 0.0 sec. user=vaughan [2012-04-23 23:39:07] 419*2^1131204-1 is not prime. Res64: 35AE27D0EC7439B1 Time : 0.0 sec. user=vaughan [2012-04-23 23:39:07] 555*2^1131204-1 is not prime. Res64: 8F915DCCCCEF1E19 Time : 0.0 sec. user=vaughan [2012-04-23 23:42:50] 409*2^1131205-1 is not prime. Res64: AD19FB449AF94A4C Time : 0.0 sec. user=vaughan [2012-04-23 23:43:11] 519*2^1131205-1 is not prime. Res64: 8E45D241143E2536 Time : 0.0 sec. user=vaughan [2012-04-23 23:43:12] 411*2^1131205-1 is not prime. Res64: 1D789E093B2A1CE1 Time : 0.0 sec. user=vaughan [2012-04-23 23:43:21] 407*2^1131206-1 is not prime. Res64: D752D1C5A2C77EEB Time : 0.0 sec. user=vaughan [2012-04-23 23:45:15] 563*2^1131204-1 is not prime. Res64: 4555A16C67E545B0 Time : 0.0 sec. user=vaughan [2012-04-23 23:45:16] 569*2^1131204-1 is not prime. Res64: CB713DC167CBCAEF Time : 0.0 sec. user=vaughan [2012-04-23 23:47:46] 537*2^1131206-1 is not prime. Res64: 181ECFCE085AF978 Time : 0.0 sec. user=vaughan [2012-04-23 23:47:46] 551*2^1131206-1 is not prime. Res64: CDFCC61F7CCA67E8 Time : 0.0 sec. user=vaughan [2012-04-23 23:57:52] 593*2^1131206-1 is not prime. Res64: 48CF4ECA04BF8172 Time : 0.0 sec. user=vaughan [2012-04-23 23:57:52] 433*2^1131207-1 is not prime. Res64: B2A1AC997488775A Time : 0.0 sec. user=vaughan [2012-04-23 23:58:26] 453*2^1131208-1 is not prime. Res64: 658920E8EF3813CC Time : 0.0 sec. user=vaughan [2012-04-23 23:58:45] 467*2^1131208-1 is not prime. Res64: 71DCA8027527BA63 Time : 0.0 sec. user=vaughan [2012-04-23 23:58:48] 435*2^1131209-1 is not prime. Res64: 224ED97FB9DCAA43 Time : 0.0 sec. user=vaughan [2012-04-23 23:58:57] 447*2^1131209-1 is not prime. Res64: 0CCC8A83B1DDFB20 Time : 0.0 sec. user=vaughan [2012-04-23 23:59:17] 523*2^1131207-1 is not prime. Res64: B7F9AE5DFE71413B Time : 0.0 sec. user=vaughan [2012-04-23 23:59:18] 579*2^1131207-1 is not prime. Res64: C926905A8DC85297 Time : 0.0 sec.