user=vaughan [2012-04-25 00:01:03] 563*2^1131546-1 is not prime. Res64: 1A4DE45C8D1610D1 Time : 0.0 sec. user=vaughan [2012-04-25 00:01:04] 453*2^1131547-1 is not prime. Res64: 410EF4F0C8AE504A Time : 0.0 sec. user=vaughan [2012-04-25 00:05:38] 471*2^1131547-1 is not prime. Res64: 60C6F8C0654DAA20 Time : 0.0 sec. user=vaughan [2012-04-25 00:05:40] 495*2^1131547-1 is not prime. Res64: 612F23260F27F977 Time : 0.0 sec. user=vaughan [2012-04-25 00:08:38] 467*2^1131548-1 is not prime. Res64: 5337212EFACACA08 Time : 0.0 sec. user=vaughan [2012-04-25 00:09:21] 557*2^1131548-1 is not prime. Res64: 94A5FAB3261D544D Time : 0.0 sec. user=vaughan [2012-04-25 00:09:28] 585*2^1131548-1 is not prime. Res64: CF2CA4961B65ED9D Time : 0.0 sec. user=vaughan [2012-04-25 00:10:01] 451*2^1131549-1 is not prime. Res64: A89C9C0BA5A9DEAB Time : 0.0 sec. user=vaughan [2012-04-25 00:11:54] 499*2^1131547-1 is not prime. Res64: 46BB8267C9D80FD4 Time : 0.0 sec. user=vaughan [2012-04-25 00:11:57] 519*2^1131547-1 is not prime. Res64: D07DF34A7A4CF8D0 Time : 0.0 sec. user=vaughan [2012-04-25 00:12:18] 595*2^1131547-1 is not prime. Res64: 9B0AA472C91DA856 Time : 0.0 sec. user=vaughan [2012-04-25 00:12:21] 413*2^1131548-1 is not prime. Res64: 3590A5E1BC2F46BE Time : 0.0 sec. user=vaughan [2012-04-25 00:21:10] 481*2^1131549-1 is not prime. Res64: 34D65DA2AECF82B8 Time : 0.0 sec. user=vaughan [2012-04-25 00:21:11] 507*2^1131549-1 is not prime. Res64: AE4702E89C93C924 Time : 0.0 sec. user=vaughan [2012-04-25 00:24:21] 471*2^1131550-1 is not prime. Res64: 6004CCA7BC2119CD Time : 0.0 sec. user=vaughan [2012-04-25 00:24:59] 477*2^1131550-1 is not prime. Res64: ACAA0BE99759C343 Time : 0.0 sec. user=vaughan [2012-04-25 00:25:07] 525*2^1131550-1 is not prime. Res64: E3E83BE15F344B71 Time : 0.0 sec. user=vaughan [2012-04-25 00:25:39] 587*2^1131550-1 is not prime. Res64: C1FE3DFE03971599 Time : 0.0 sec. user=vaughan [2012-04-25 00:25:46] 425*2^1131550-1 is not prime. Res64: 3832BE7F4FAF119B Time : 0.0 sec. user=vaughan [2012-04-25 00:25:47] 465*2^1131550-1 is not prime. Res64: 2BCA6382A83FBBFD Time : 0.0 sec. user=vaughan [2012-04-25 00:32:01] 591*2^1131550-1 is not prime. Res64: A0A44139203C8B56 Time : 0.0 sec. user=vaughan [2012-04-25 00:32:01] 597*2^1131550-1 is not prime. Res64: B6E571B759999293 Time : 0.0 sec. user=vaughan [2012-04-25 00:32:30] 465*2^1131551-1 is not prime. Res64: C4E9D292B518A154 Time : 0.0 sec. user=vaughan [2012-04-25 00:32:31] 493*2^1131551-1 is not prime. Res64: DEF448F26BE5BFBB Time : 0.0 sec. user=vaughan [2012-04-25 00:40:08] 537*2^1131552-1 is not prime. Res64: 606AE6260DBF01E5 Time : 0.0 sec. user=vaughan [2012-04-25 00:40:49] 441*2^1131553-1 is not prime. Res64: 746B990B0C7894EE Time : 0.0 sec. user=vaughan [2012-04-25 00:40:50] 557*2^1131552-1 is not prime. Res64: B84F98EBC715E1E4 Time : 0.0 sec. user=vaughan [2012-04-25 00:41:12] 425*2^1131552-1 is not prime. Res64: F54E3D6C03595C37 Time : 0.0 sec. user=vaughan [2012-04-25 00:41:13] 497*2^1131552-1 is not prime. Res64: 885D0F780269F96F Time : 0.0 sec. user=vaughan [2012-04-25 00:41:34] 477*2^1131553-1 is not prime. Res64: 4407710E0F7FD231 Time : 0.0 sec. user=vaughan [2012-04-25 00:45:47] 525*2^1131553-1 is not prime. Res64: BE58EA98C7F3D6A6 Time : 0.0 sec. user=vaughan [2012-04-25 00:45:48] 451*2^1131555-1 is not prime. Res64: 12C8FB3AC28DC3E6 Time : 0.0 sec. user=vaughan [2012-04-25 00:52:04] 471*2^1131555-1 is not prime. Res64: E06FA88BAE7FFD8F Time : 0.0 sec. user=vaughan [2012-04-25 00:52:05] 523*2^1131555-1 is not prime. Res64: D5CD4B31038CEECA Time : 0.0 sec. user=vaughan [2012-04-25 00:52:28] 531*2^1131555-1 is not prime. Res64: B65F32515B1DF165 Time : 0.0 sec. user=vaughan [2012-04-25 00:52:28] 527*2^1131556-1 is not prime. Res64: 12F2FB9AD35157B8 Time : 0.0 sec. user=vaughan [2012-04-25 00:55:41] 539*2^1131556-1 is not prime. Res64: 3A00280916042BCB Time : 0.0 sec. user=vaughan [2012-04-25 00:56:20] 589*2^1131557-1 is not prime. Res64: A682A269C1448E67 Time : 0.0 sec. user=vaughan [2012-04-25 00:56:26] 437*2^1131558-1 is not prime. Res64: F770FC859006C1FB Time : 0.0 sec. user=vaughan [2012-04-25 00:57:07] 483*2^1131559-1 is not prime. Res64: 28444FA554D214A6 Time : 0.0 sec. user=vaughan [2012-04-25 01:01:13] 483*2^1131558-1 is not prime. Res64: B9DBA41D8B87338D Time : 0.0 sec. user=vaughan [2012-04-25 01:01:15] 513*2^1131558-1 is not prime. Res64: 03FBA41927C3B9D9 Time : 0.0 sec. user=vaughan [2012-04-25 01:05:50] 523*2^1131559-1 is not prime. Res64: 681FFF58ABB1BB96 Time : 0.0 sec. user=vaughan [2012-04-25 01:05:52] 437*2^1131560-1 is not prime. Res64: 1879D49E30A8CF36 Time : 0.0 sec. user=vaughan [2012-04-25 01:11:23] 549*2^1131561-1 is not prime. Res64: 1788AF90E9FEABF1 Time : 0.0 sec. user=vaughan [2012-04-25 01:11:55] 571*2^1131561-1 is not prime. Res64: EFA56B9EEE18D06D Time : 0.0 sec. user=vaughan [2012-04-25 01:12:08] 453*2^1131560-1 is not prime. Res64: AB42E1937423F10D Time : 0.0 sec. user=vaughan [2012-04-25 01:12:10] 577*2^1131561-1 is not prime. Res64: 3620918B15FDE01F Time : 0.0 sec. user=vaughan [2012-04-25 01:12:13] 519*2^1131560-1 is not prime. Res64: 5B2A1C82C9C99E7A Time : 0.0 sec. user=vaughan [2012-04-25 01:12:25] 507*2^1131561-1 is not prime. Res64: D56BA665F7113669 Time : 0.0 sec. user=vaughan [2012-04-25 01:12:26] 517*2^1131561-1 is not prime. Res64: B885BCA100ABF825 Time : 0.0 sec. user=vaughan [2012-04-25 01:12:43] 533*2^1131562-1 is not prime. Res64: 09E0AEEB372ED880 Time : 0.0 sec. user=vaughan [2012-04-25 01:21:22] 551*2^1131562-1 is not prime. Res64: 856E93067CF34223 Time : 0.0 sec. user=vaughan [2012-04-25 01:21:22] 465*2^1131563-1 is not prime. Res64: B60A8A4B6CE96385 Time : 0.0 sec. user=vaughan [2012-04-25 01:25:50] 497*2^1131564-1 is not prime. Res64: AF3B4CFDB4989F3E Time : 0.0 sec. user=vaughan [2012-04-25 01:25:51] 525*2^1131564-1 is not prime. Res64: 8084E3BBDF3C5C1B Time : 0.0 sec. user=vaughan [2012-04-25 01:27:00] 545*2^1131564-1 is not prime. Res64: B6EC45DFC907C049 Time : 0.0 sec. user=vaughan [2012-04-25 01:27:42] 441*2^1131565-1 is not prime. Res64: 1014A4EEE7B159FE Time : 0.0 sec. user=vaughan [2012-04-25 01:27:55] 481*2^1131565-1 is not prime. Res64: 67335CCB85458F43 Time : 0.0 sec. user=vaughan [2012-04-25 01:28:20] 451*2^1131567-1 is not prime. Res64: EBE92A659DEDE8E7 Time : 0.0 sec. user=vaughan [2012-04-25 01:32:23] 577*2^1131565-1 is not prime. Res64: B696413B5FCA86AD Time : 0.0 sec. user=vaughan [2012-04-25 01:32:24] 417*2^1131566-1 is not prime. Res64: 86336B56F83C78FA Time : 0.0 sec. user=vaughan [2012-04-25 01:32:34] 563*2^1131566-1 is not prime. Res64: 2786CDDDEDE3521C Time : 0.0 sec. user=vaughan [2012-04-25 01:32:35] 441*2^1131567-1 is not prime. Res64: 61B8C812EC6F73F8 Time : 0.0 sec. user=vaughan [2012-04-25 01:41:22] 419*2^1131568-1 is not prime. Res64: C279535D5FBE45E4 Time : 0.0 sec. user=vaughan [2012-04-25 01:41:23] 483*2^1131568-1 is not prime. Res64: B474F9BD25A536D6 Time : 0.0 sec. user=vaughan [2012-04-25 01:42:34] 489*2^1131569-1 is not prime. Res64: 332F7094E33790F3 Time : 0.0 sec. user=vaughan [2012-04-25 01:43:17] 501*2^1131569-1 is not prime. Res64: E5C7572F0AA6AD0D Time : 0.0 sec. user=vaughan [2012-04-25 01:43:32] 559*2^1131569-1 is not prime. Res64: 7C5C95EC4FBFFFBE Time : 0.0 sec. user=vaughan [2012-04-25 01:43:55] 589*2^1131569-1 is not prime. Res64: 21DA04DC4CA698C0 Time : 0.0 sec. user=vaughan [2012-04-25 01:45:52] 525*2^1131568-1 is not prime. Res64: 9C0BCDFD6CDE11A7 Time : 0.0 sec. user=vaughan [2012-04-25 01:45:53] 465*2^1131569-1 is not prime. Res64: 070719C9F979C2DE Time : 0.0 sec. user=vaughan [2012-04-25 01:52:25] 595*2^1131569-1 is not prime. Res64: E29495FC82CA2FE1 Time : 0.0 sec. user=vaughan [2012-04-25 01:52:25] 431*2^1131570-1 is not prime. Res64: 6E70E4EC951BE9E2 Time : 0.0 sec. user=vaughan [2012-04-25 01:52:30] 515*2^1131570-1 is not prime. Res64: 26B4B32CEA719C14 Time : 0.0 sec. user=vaughan [2012-04-25 01:52:30] 563*2^1131570-1 is not prime. Res64: 9D284CB9B0585C31 Time : 0.0 sec. user=vaughan [2012-04-25 01:58:19] 465*2^1131571-1 is not prime. Res64: 6CF896F60518AA85 Time : 0.0 sec. user=vaughan [2012-04-25 01:58:57] 493*2^1131571-1 is not prime. Res64: A60F702188D8BA92 Time : 0.0 sec. user=vaughan [2012-04-25 01:59:12] 531*2^1131571-1 is not prime. Res64: 097D73B589C48B6C Time : 0.0 sec. user=vaughan [2012-04-25 01:59:32] 555*2^1131571-1 is not prime. Res64: 083828ADFFBE4687 Time : 0.0 sec. user=vaughan [2012-04-25 02:01:23] 593*2^1131570-1 is not prime. Res64: 15171A696AD21108 Time : 0.0 sec. user=vaughan [2012-04-25 02:01:24] 415*2^1131571-1 is not prime. Res64: 217B69BD04C56886 Time : 0.0 sec. user=vaughan [2012-04-25 02:05:54] 495*2^1131572-1 is not prime. Res64: 26FD10AED25DE0C0 Time : 0.0 sec. user=vaughan [2012-04-25 02:05:56] 459*2^1131573-1 is not prime. Res64: 791B3E9C6DD37317 Time : 0.0 sec. user=vaughan [2012-04-25 02:12:24] 537*2^1131573-1 is not prime. Res64: B02B5654F3A526EB Time : 0.0 sec. user=vaughan [2012-04-25 02:12:26] 413*2^1131574-1 is not prime. Res64: 6675110760EE0DF5 Time : 0.0 sec. user=vaughan [2012-04-25 02:12:28] 461*2^1131574-1 is not prime. Res64: 36BE2B5EEA7FE850 Time : 0.0 sec. user=vaughan [2012-04-25 02:12:30] 491*2^1131574-1 is not prime. Res64: 1051F52A84095750 Time : 0.0 sec. user=vaughan [2012-04-25 02:13:55] 551*2^1131574-1 is not prime. Res64: 5F3DE8EEAADE6153 Time : 0.0 sec. user=vaughan [2012-04-25 02:14:38] 561*2^1131574-1 is not prime. Res64: 8081787E4F7CAD24 Time : 0.0 sec. user=vaughan [2012-04-25 02:14:50] 567*2^1131574-1 is not prime. Res64: 167B6D35D38ABC49 Time : 0.0 sec. user=vaughan [2012-04-25 02:15:10] 403*2^1131575-1 is not prime. Res64: DC389100DD593117 Time : 0.0 sec. user=vaughan [2012-04-25 02:21:25] 411*2^1131575-1 is not prime. Res64: 9BC02AF5C8297624 Time : 0.0 sec. user=vaughan [2012-04-25 02:21:26] 441*2^1131575-1 is not prime. Res64: 640545DEF3F50833 Time : 0.0 sec. user=vaughan [2012-04-25 02:25:59] 489*2^1131575-1 is not prime. Res64: 94692E190A2AEF34 Time : 0.0 sec. user=vaughan [2012-04-25 02:26:00] 437*2^1131576-1 is not prime. Res64: 94420D5818CBBD04 Time : 0.0 sec. user=vaughan [2012-04-25 02:29:35] 435*2^1131577-1 is not prime. Res64: E5A4AFCF33AAB3DF Time : 0.0 sec. user=vaughan [2012-04-25 02:30:19] 425*2^1131578-1 is not prime. Res64: 8AFA405E41AFCA2C Time : 0.0 sec. user=vaughan [2012-04-25 02:30:29] 497*2^1131578-1 is not prime. Res64: 39CB40A458926BEF Time : 0.0 sec. user=vaughan [2012-04-25 02:30:55] 595*2^1131579-1 is not prime. Res64: 3039E667437F11A3 Time : 0.0 sec. user=vaughan [2012-04-25 02:32:45] 497*2^1131576-1 is not prime. Res64: 5B5E8C6ADF6D9334 Time : 0.0 sec. user=vaughan [2012-04-25 02:32:45] 503*2^1131576-1 is not prime. Res64: CA331672618027B7 Time : 0.0 sec. user=vaughan [2012-04-25 02:32:46] 465*2^1131576-1 is not prime. Res64: 09EF45EF175318D3 Time : 0.0 sec. user=vaughan [2012-04-25 02:32:47] 479*2^1131576-1 is not prime. Res64: 4B0F87B6467E9E1D Time : 0.0 sec. user=vaughan [2012-04-25 02:41:26] 405*2^1131580-1 is not prime. Res64: 1D748878E3974AC4 Time : 0.0 sec. user=vaughan [2012-04-25 02:41:27] 437*2^1131580-1 is not prime. Res64: 509C56A2BB3478FB Time : 0.0 sec. user=vaughan [2012-04-25 02:45:16] 567*2^1131580-1 is not prime. Res64: FE52AEAB0C5CB715 Time : 0.0 sec. user=vaughan [2012-04-25 02:45:56] 439*2^1131581-1 is not prime. Res64: 511FC34885A18FDE Time : 0.0 sec. user=vaughan [2012-04-25 02:46:04] 533*2^1131580-1 is not prime. Res64: 10483DC3BFBE3276 Time : 0.0 sec. user=vaughan [2012-04-25 02:46:05] 537*2^1131580-1 is not prime. Res64: B30F171F1157A226 Time : 0.0 sec. user=vaughan [2012-04-25 02:46:12] 525*2^1131581-1 is not prime. Res64: 3A937B7A86733B51 Time : 0.0 sec. user=vaughan [2012-04-25 02:46:32] 529*2^1131581-1 is not prime. Res64: FD9281762A639C36 Time : 0.0 sec. user=vaughan [2012-04-25 02:52:46] 431*2^1131582-1 is not prime. Res64: EFB7598007AB1BF7 Time : 0.0 sec. user=vaughan [2012-04-25 02:52:46] 591*2^1131581-1 is not prime. Res64: 010EA0E5ED0D3A07 Time : 0.0 sec. user=vaughan [2012-04-25 02:52:47] 437*2^1131582-1 is not prime. Res64: E0B590CAA2533B63 Time : 0.0 sec. user=vaughan [2012-04-25 02:52:47] 405*2^1131582-1 is not prime. Res64: AFB21E8A1DAFC6B6 Time : 0.0 sec. user=vaughan [2012-04-25 03:00:56] 507*2^1131582-1 is not prime. Res64: 7295B033608BEF27 Time : 0.0 sec. user=vaughan [2012-04-25 03:01:25] 483*2^1131582-1 is not prime. Res64: A8E253A1D227AE93 Time : 0.0 sec. user=vaughan [2012-04-25 03:01:26] 503*2^1131582-1 is not prime. Res64: FBD7D15B97B6EC15 Time : 0.0 sec. user=vaughan [2012-04-25 03:01:42] 527*2^1131582-1 is not prime. Res64: 89401CF55998BE7F Time : 0.0 sec. user=vaughan [2012-04-25 03:01:51] 429*2^1131583-1 is not prime. Res64: DAFFB1A8F3EF8987 Time : 0.0 sec. user=vaughan [2012-04-25 03:02:15] 475*2^1131583-1 is not prime. Res64: 0CAAD0244BAD0696 Time : 0.0 sec. user=vaughan [2012-04-25 03:06:03] 537*2^1131582-1 is not prime. Res64: 85FACA7EA2A7716D Time : 0.0 sec. user=vaughan [2012-04-25 03:06:04] 573*2^1131582-1 is not prime. Res64: 715A8B247DA1D658 Time : 0.0 sec. user=vaughan [2012-04-25 03:12:42] 595*2^1131583-1 is not prime. Res64: F02A42925527615F Time : 0.0 sec. user=vaughan [2012-04-25 03:12:46] 413*2^1131584-1 is not prime. Res64: E2A0728B5DE619D6 Time : 0.0 sec. user=vaughan [2012-04-25 03:12:49] 523*2^1131583-1 is not prime. Res64: 5BB0C734363383E6 Time : 0.0 sec. user=vaughan [2012-04-25 03:12:49] 561*2^1131583-1 is not prime. Res64: E1B981C6C51ECB77 Time : 0.0 sec. user=vaughan [2012-04-25 03:16:36] 487*2^1131585-1 is not prime. Res64: 50E5C9AECE138B9C Time : 0.0 sec. user=vaughan [2012-04-25 03:17:24] 465*2^1131587-1 is not prime. Res64: D433938E8F16F53F Time : 0.0 sec. user=vaughan [2012-04-25 03:17:30] 423*2^1131588-1 is not prime. Res64: 10B5121D06F2184F Time : 0.0 sec. user=vaughan [2012-04-25 03:17:55] 451*2^1131589-1 is not prime. Res64: 2EA122E7D419F443 Time : 0.0 sec. user=vaughan [2012-04-25 03:21:26] 453*2^1131586-1 is not prime. Res64: 26D52C9750B535D1 Time : 0.0 sec. user=vaughan [2012-04-25 03:21:26] 471*2^1131586-1 is not prime. Res64: FCE1A16A1305CA3C Time : 0.0 sec. user=vaughan [2012-04-25 03:25:58] 469*2^1131589-1 is not prime. Res64: 7D94DA53F81ABEE9 Time : 0.0 sec. user=vaughan [2012-04-25 03:25:59] 511*2^1131589-1 is not prime. Res64: 9D4230BCABB61141 Time : 0.0 sec. user=vaughan [2012-04-25 03:32:10] 535*2^1131591-1 is not prime. Res64: D89AEDC3440D7B07 Time : 0.0 sec. user=vaughan [2012-04-25 03:32:49] 455*2^1131590-1 is not prime. Res64: 8B9AE8430C52329D Time : 0.0 sec. user=vaughan [2012-04-25 03:32:52] 483*2^1131590-1 is not prime. Res64: 7281063239CBCFDB Time : 0.0 sec. user=vaughan [2012-04-25 03:32:56] 557*2^1131590-1 is not prime. Res64: CE01E82E7520DCA3 Time : 0.0 sec. user=vaughan [2012-04-25 03:32:57] 469*2^1131591-1 is not prime. Res64: 92C2012C8A1A8AF5 Time : 0.0 sec. user=vaughan [2012-04-25 03:33:03] 429*2^1131592-1 is not prime. Res64: 10F04EFBB9BDDC51 Time : 0.0 sec. user=vaughan [2012-04-25 03:33:05] 527*2^1131592-1 is not prime. Res64: 6F5308A0095F83E3 Time : 0.0 sec. user=gd_barnes [2012-04-25 03:33:32] 595*2^1131589-1 is not prime. Res64: 09F51A95D07D2480 Time : 0.0 sec. user=vaughan [2012-04-25 03:33:35] 539*2^1131592-1 is not prime. Res64: 1CBA04878993EE30 Time : 0.0 sec. user=vaughan [2012-04-25 03:41:33] 567*2^1131593-1 is not prime. Res64: 920015FB8D238504 Time : 0.0 sec. user=vaughan [2012-04-25 03:41:33] 411*2^1131594-1 is not prime. Res64: 0D85A764C21DFA7F Time : 0.0 sec. user=vaughan [2012-04-25 03:46:03] 473*2^1131594-1 is not prime. Res64: 26DCD047A4EDF293 Time : 0.0 sec. user=vaughan [2012-04-25 03:46:04] 485*2^1131594-1 is not prime. Res64: 7D70DA07B561AF07 Time : 0.0 sec. user=vaughan [2012-04-25 03:47:49] 501*2^1131594-1 is not prime. Res64: C6ED37E037E256CD Time : 0.0 sec. user=vaughan [2012-04-25 03:48:40] 583*2^1131595-1 is not prime. Res64: 6A68B3B4CD7CC6E2 Time : 0.0 sec. user=vaughan [2012-04-25 03:48:43] 593*2^1131596-1 is not prime. Res64: D690CBE9BC1B635E Time : 0.0 sec. user=vaughan [2012-04-25 03:49:10] 451*2^1131597-1 is not prime. Res64: 4C5EB0DC52AF16AC Time : 0.0 sec. user=vaughan [2012-04-25 03:52:50] 521*2^1131594-1 is not prime. Res64: 12588BB8E515C2DE Time : 0.0 sec. user=vaughan [2012-04-25 03:52:50] 531*2^1131594-1 is not prime. Res64: 1203072ED995A5A7 Time : 0.0 sec. user=vaughan [2012-04-25 03:53:07] 415*2^1131595-1 is not prime. Res64: 9F8E86EE2C409934 Time : 0.0 sec. user=vaughan [2012-04-25 03:53:08] 489*2^1131595-1 is not prime. Res64: FD00D5CE581EA31B Time : 0.0 sec. user=vaughan [2012-04-25 04:01:34] 435*2^1131598-1 is not prime. Res64: CE3100A99B455D1F Time : 0.0 sec. user=vaughan [2012-04-25 04:01:35] 483*2^1131598-1 is not prime. Res64: EE1F98E572838A5A Time : 0.0 sec. user=vaughan [2012-04-25 04:03:29] 559*2^1131599-1 is not prime. Res64: DA464D6CA1149B4B Time : 0.0 sec. user=vaughan [2012-04-25 04:04:17] 571*2^1131599-1 is not prime. Res64: 6ED2C590B56BF2B2 Time : 0.0 sec. user=vaughan [2012-04-25 04:04:24] 573*2^1131599-1 is not prime. Res64: 01E2BCFAFEFDDCBA Time : 0.0 sec. user=vaughan [2012-04-25 04:04:48] 455*2^1131600-1 is not prime. Res64: 63DE6D030C295CAC Time : 0.0 sec. user=vaughan [2012-04-25 04:06:06] 551*2^1131598-1 is not prime. Res64: 92B6A6A608A59673 Time : 0.0 sec. user=vaughan [2012-04-25 04:06:08] 531*2^1131599-1 is not prime. Res64: 87BB1B7C2120A897 Time : 0.0 sec. user=vaughan [2012-04-25 04:12:46] 467*2^1131600-1 is not prime. Res64: 4FCA1DBBBDBC89F3 Time : 0.0 sec. user=vaughan [2012-04-25 04:12:47] 549*2^1131600-1 is not prime. Res64: FCFC6CE8A031A678 Time : 0.0 sec. user=vaughan [2012-04-25 04:13:06] 569*2^1131600-1 is not prime. Res64: 988892C14BFDE538 Time : 0.0 sec. user=vaughan [2012-04-25 04:13:07] 495*2^1131601-1 is not prime. Res64: 6B58579A0D41F184 Time : 0.0 sec. user=vaughan [2012-04-25 04:19:17] 423*2^1131602-1 is not prime. Res64: 13219247BAA3FA7B Time : 0.0 sec. user=vaughan [2012-04-25 04:20:04] 537*2^1131602-1 is not prime. Res64: 7E67E4E85E79B267 Time : 0.0 sec. user=vaughan [2012-04-25 04:20:13] 507*2^1131602-1 is not prime. Res64: 1E6EF917DF9FD55D Time : 0.0 sec. user=vaughan [2012-04-25 04:20:47] 587*2^1131602-1 is not prime. Res64: 9999B25F0234B280 Time : 0.0 sec. user=vaughan [2012-04-25 04:21:38] 549*2^1131601-1 is not prime. Res64: 7D201E91CB41ABC8 Time : 0.0 sec. user=vaughan [2012-04-25 04:21:39] 405*2^1131602-1 is not prime. Res64: 44432234A35D33F8 Time : 0.0 sec. user=vaughan [2012-04-25 04:26:08] 439*2^1131603-1 is not prime. Res64: EBB05AE0B96F8BC6 Time : 0.0 sec. user=vaughan [2012-04-25 04:26:09] 441*2^1131603-1 is not prime. Res64: AFC6E1A013F18809 Time : 0.0 sec. user=vaughan [2012-04-25 04:32:59] 453*2^1131603-1 is not prime. Res64: 76E180BE68B2C46A Time : 0.0 sec. user=vaughan [2012-04-25 04:33:01] 471*2^1131603-1 is not prime. Res64: 2B09291AB64BFF16 Time : 0.0 sec. user=vaughan [2012-04-25 04:33:12] 501*2^1131603-1 is not prime. Res64: 00F57C4352E5093F Time : 0.0 sec. user=vaughan [2012-04-25 04:33:15] 453*2^1131604-1 is not prime. Res64: B3CDF10DF23C1A0E Time : 0.0 sec. user=vaughan [2012-04-25 04:34:54] 527*2^1131604-1 is not prime. Res64: F98EEA2E4DF105DE Time : 0.0 sec. user=vaughan [2012-04-25 04:35:43] 573*2^1131604-1 is not prime. Res64: 5C3DB09FEC7E8CFA Time : 0.0 sec. user=vaughan [2012-04-25 04:35:53] 597*2^1131604-1 is not prime. Res64: 7189DE0100588E85 Time : 0.0 sec. user=vaughan [2012-04-25 04:36:26] 447*2^1131605-1 is not prime. Res64: 59D3B0F0AD1811FF Time : 0.0 sec. user=vaughan [2012-04-25 04:41:36] 451*2^1131605-1 is not prime. Res64: AE3EE157021066E9 Time : 0.0 sec. user=vaughan [2012-04-25 04:41:37] 481*2^1131605-1 is not prime. Res64: 0881BA911AA55A0F Time : 0.0 sec. user=vaughan [2012-04-25 04:46:08] 437*2^1131606-1 is not prime. Res64: 1A94C8BB5302A2EB Time : 0.0 sec. user=vaughan [2012-04-25 04:46:09] 473*2^1131606-1 is not prime. Res64: AFE8EFA76EB86577 Time : 0.0 sec. user=vaughan [2012-04-25 04:50:39] 559*2^1131607-1 is not prime. Res64: 22409F38654B3C00 Time : 0.0 sec. user=vaughan [2012-04-25 04:51:27] 583*2^1131607-1 is not prime. Res64: E9F5DC46FC885B5A Time : 0.0 sec. user=vaughan [2012-04-25 04:51:33] 449*2^1131608-1 is not prime. Res64: C6B208E779DEFD1E Time : 0.0 sec. user=vaughan [2012-04-25 04:52:11] 459*2^1131608-1 is not prime. Res64: 74C10B4BC7CD4B7D Time : 0.0 sec. user=vaughan [2012-04-25 04:53:11] 507*2^1131606-1 is not prime. Res64: C1FA552CC54A13FF Time : 0.0 sec. user=vaughan [2012-04-25 04:53:12] 537*2^1131606-1 is not prime. Res64: 0A2E30A0D10AD664 Time : 0.0 sec. user=vaughan [2012-04-25 04:53:18] 557*2^1131606-1 is not prime. Res64: 3D6CCF3248B8774E Time : 0.0 sec. user=vaughan [2012-04-25 04:53:18] 433*2^1131607-1 is not prime. Res64: 36331144542D542A Time : 0.0 sec. user=vaughan [2012-04-25 05:01:38] 557*2^1131608-1 is not prime. Res64: A20CD68BFB93D33E Time : 0.0 sec. user=vaughan [2012-04-25 05:01:39] 459*2^1131609-1 is not prime. Res64: 75649F6C4777767D Time : 0.0 sec. user=vaughan [2012-04-25 05:06:10] 501*2^1131609-1 is not prime. Res64: 18F01150CD55DFBA Time : 0.0 sec. user=vaughan [2012-04-25 05:06:11] 549*2^1131609-1 is not prime. Res64: 382ECC0785AB5E47 Time : 0.0 sec. user=vaughan [2012-04-25 05:06:18] 555*2^1131609-1 is not prime. Res64: 9C81545800AA2568 Time : 0.0 sec. user=vaughan [2012-04-25 05:07:05] 423*2^1131610-1 is not prime. Res64: 88DC8D6E2C796872 Time : 0.0 sec. user=vaughan [2012-04-25 05:07:13] 513*2^1131610-1 is not prime. Res64: 290D41789474FB92 Time : 0.0 sec. user=vaughan [2012-04-25 05:07:46] 567*2^1131610-1 is not prime. Res64: BD989B38960AA4DF Time : 0.0 sec. user=vaughan [2012-04-25 05:13:25] 593*2^1131610-1 is not prime. Res64: ADFCF1553186943A Time : 0.0 sec. user=vaughan [2012-04-25 05:13:28] 505*2^1131611-1 is not prime. Res64: B83CE667D094F0D7 Time : 0.0 sec. user=vaughan [2012-04-25 05:13:30] 405*2^1131612-1 is not prime. Res64: FED7FD749498806B Time : 0.0 sec. user=vaughan [2012-04-25 05:19:59] 455*2^1131612-1 is not prime. Res64: 39697BCDCFC9E9F8 Time : 0.0 sec. user=vaughan [2012-04-25 05:20:31] 567*2^1131613-1 is not prime. Res64: 0C5BFAF09FFDE47B Time : 0.0 sec. user=vaughan [2012-04-25 05:21:45] 413*2^1131612-1 is not prime. Res64: D24C61DFC0D07F59 Time : 0.0 sec. user=vaughan [2012-04-25 05:21:46] 423*2^1131612-1 is not prime. Res64: 50E4899D770C3F69 Time : 0.0 sec. user=vaughan [2012-04-25 05:22:07] 481*2^1131613-1 is not prime. Res64: 6E0768EBCDF53D15 Time : 0.0 sec. user=vaughan [2012-04-25 05:22:37] 425*2^1131612-1 is not prime. Res64: 7E545B21CDC55E80 Time : 0.0 sec. user=vaughan [2012-04-25 05:22:55] 425*2^1131614-1 is not prime. Res64: DD2FD506A8AB4CDA Time : 0.0 sec. user=vaughan [2012-04-25 05:22:59] 447*2^1131614-1 is not prime. Res64: 0621F943110043BB Time : 0.0 sec. user=vaughan [2012-04-25 05:23:29] 567*2^1131614-1 is not prime. Res64: 8689C41FCB8872A9 Time : 0.0 sec. user=vaughan [2012-04-25 05:26:13] 569*2^1131612-1 is not prime. Res64: 4F95AE09FD0A454D Time : 0.0 sec. user=vaughan [2012-04-25 05:26:13] 465*2^1131613-1 is not prime. Res64: A107FC0605E599D2 Time : 0.0 sec. user=gd_barnes [2012-04-25 05:28:46] 447*2^1131612-1 is not prime. Res64: 69B2CEA031E60CA6 Time : 0.0 sec. user=gd_barnes [2012-04-25 05:32:54] 595*2^1131613-1 is not prime. Res64: 99567BF2D3E05111 Time : 0.0 sec. user=vaughan [2012-04-25 05:33:38] 451*2^1131615-1 is not prime. Res64: 451AB316C2A1C7BC Time : 0.0 sec. user=vaughan [2012-04-25 05:33:38] 415*2^1131615-1 is not prime. Res64: 5DBF57A3CED8E12D Time : 0.0 sec. user=vaughan [2012-04-25 05:33:39] 445*2^1131615-1 is not prime. Res64: 240101E14BF17CA2 Time : 0.0 sec. user=vaughan [2012-04-25 05:34:18] 465*2^1131611-1 is not prime. Res64: 99EF31B108C509DF Time : 0.0 sec. user=gd_barnes [2012-04-25 05:37:21] 511*2^1131615-1 is not prime. Res64: 3A0C66F44FA83BED Time : 0.0 sec. user=vaughan [2012-04-25 05:37:42] 405*2^1131617-1 is not prime. Res64: D574D2DEC0166938 Time : 0.0 sec. user=vaughan [2012-04-25 05:38:33] 421*2^1131617-1 is not prime. Res64: 77BB704FD955EF49 Time : 0.0 sec. user=vaughan [2012-04-25 05:38:38] 465*2^1131617-1 is not prime. Res64: C012CC49D3CE7F2B Time : 0.0 sec. user=vaughan [2012-04-25 05:39:08] 517*2^1131617-1 is not prime. Res64: DB45ABA1B4A058D5 Time : 0.0 sec. user=vaughan [2012-04-25 05:41:51] 455*2^1131616-1 is not prime. Res64: E35DA7BF757F768C Time : 0.0 sec. user=vaughan [2012-04-25 05:41:51] 573*2^1131616-1 is not prime. Res64: 24EF41ECB2093F38 Time : 0.0 sec. user=henryzz [2012-04-25 06:02:11] 495*2^1131473-1 is not prime. Res64: A3BE0E2E4BF54F2C Time : 0.0 sec. user=henryzz [2012-04-25 06:03:00] 483*2^1131474-1 is not prime. Res64: 6A0C91F02DFD29A3 Time : 0.0 sec. user=henryzz [2012-04-25 06:05:34] 415*2^1131475-1 is not prime. Res64: BC2EDC2C7F74CA32 Time : 0.0 sec. user=henryzz [2012-04-25 06:06:14] 429*2^1131475-1 is not prime. Res64: 4BFA179B98E2ABB6 Time : 0.0 sec. user=henryzz [2012-04-25 06:27:52] 507*2^1131621-1 is not prime. Res64: 53588E4E04830A76 Time : 0.0 sec. user=henryzz [2012-04-25 06:27:55] 571*2^1131621-1 is not prime. Res64: D411D1271CFA24CD Time : 0.0 sec. user=henryzz [2012-04-25 06:31:49] 585*2^1131621-1 is not prime. Res64: C2E202763C2D3F6A Time : 0.0 sec. user=henryzz [2012-04-25 06:32:19] 401*2^1131622-1 is not prime. Res64: 02DC8DF63470B96D Time : 0.0 sec. user=gd_barnes [2012-04-25 06:35:27] 447*2^1131622-1 is not prime. Res64: 745D7C8B6843C603 Time : 0.0 sec. user=henryzz [2012-04-25 06:49:01] 511*2^1131623-1 is not prime. Res64: 898852D7A047B821 Time : 0.0 sec. user=henryzz [2012-04-25 06:49:39] 495*2^1131622-1 is not prime. Res64: D0FD90D35D4EE858 Time : 0.0 sec. user=henryzz [2012-04-25 06:52:42] 523*2^1131623-1 is not prime. Res64: D1F1E608B88D4CB1 Time : 0.0 sec. user=henryzz [2012-04-25 06:52:56] 525*2^1131623-1 is not prime. Res64: 05A1BC621C440694 Time : 0.0 sec. user=henryzz [2012-04-25 07:09:22] 595*2^1131623-1 is not prime. Res64: 778CB4D806B05763 Time : 0.0 sec. user=henryzz [2012-04-25 07:09:32] 507*2^1131624-1 is not prime. Res64: 381BAE852D06569D Time : 0.0 sec. user=henryzz [2012-04-25 07:12:28] 429*2^1131625-1 is not prime. Res64: F20E06D0180F715E Time : 0.0 sec. user=vaughan [2012-04-25 07:12:50] 519*2^1131620-1 is not prime. Res64: C7FBCA1C41DBFCC7 Time : 0.0 sec. user=henryzz [2012-04-25 07:13:57] 569*2^1131624-1 is not prime. Res64: DB6F5C4DE83153BA Time : 0.0 sec. user=vaughan [2012-04-25 07:14:50] 557*2^1131620-1 is not prime. Res64: 7769DCA07E22C051 Time : 0.0 sec. user=vaughan [2012-04-25 07:14:50] 465*2^1131621-1 is not prime. Res64: D3AD2638FCDE7733 Time : 0.0 sec. user=vaughan [2012-04-25 07:14:54] 589*2^1131617-1 is not prime. Res64: 19A4465F0577721A Time : 0.0 sec. user=vaughan [2012-04-25 07:14:55] 405*2^1131618-1 is not prime. Res64: 8EECB28175767698 Time : 0.0 sec. user=vaughan [2012-04-25 07:15:00] 425*2^1131620-1 is not prime. Res64: 033B095AB8F76837 Time : 0.0 sec. user=vaughan [2012-04-25 07:15:30] 595*2^1131619-1 is not prime. Res64: 55A8F899CE7076A8 Time : 0.0 sec. user=vaughan [2012-04-25 07:15:37] 581*2^1131618-1 is not prime. Res64: B48AB4F7AF4AA2B2 Time : 0.0 sec. user=vaughan [2012-04-25 07:15:37] 505*2^1131619-1 is not prime. Res64: 503071FE5A0774FE Time : 0.0 sec. user=vaughan [2012-04-25 07:15:43] 529*2^1131617-1 is not prime. Res64: A16E3B8DD6C3F3CE Time : 0.0 sec. user=vaughan [2012-04-25 07:15:43] 585*2^1131617-1 is not prime. Res64: 449ED7686A807ABB Time : 0.0 sec. user=vaughan [2012-04-25 07:26:12] 453*2^1131627-1 is not prime. Res64: 8D7180A72B44F816 Time : 0.0 sec. user=vaughan [2012-04-25 07:26:17] 567*2^1131626-1 is not prime. Res64: BC39A489D06B39AD Time : 0.0 sec. user=vaughan [2012-04-25 07:30:19] 523*2^1131627-1 is not prime. Res64: 376D01C9679DF444 Time : 0.0 sec. user=vaughan [2012-04-25 07:32:26] 453*2^1131628-1 is not prime. Res64: 3131E9FB3BC6C888 Time : 0.0 sec. user=vaughan [2012-04-25 07:32:52] 485*2^1131628-1 is not prime. Res64: 9709A4783DCF1102 Time : 0.0 sec. user=henryzz [2012-04-25 07:33:18] 531*2^1131625-1 is not prime. Res64: 48B7CC36931341AC Time : 0.0 sec. user=henryzz [2012-04-25 07:33:19] 457*2^1131625-1 is not prime. Res64: 35C04C08D27606D3 Time : 0.0 sec. user=vaughan [2012-04-25 07:35:11] 549*2^1131627-1 is not prime. Res64: 84EBB51D80008A28 Time : 0.0 sec. user=vaughan [2012-04-25 07:35:12] 595*2^1131627-1 is not prime. Res64: 2A557E882FC86040 Time : 0.0 sec. user=vaughan [2012-04-25 07:35:13] 413*2^1131628-1 is not prime. Res64: 8E1CA869B0404E75 Time : 0.0 sec. user=vaughan [2012-04-25 07:35:14] 437*2^1131628-1 is not prime. Res64: 2BF10CE8D0175DEA Time : 0.0 sec. user=vaughan [2012-04-25 07:35:58] 569*2^1131628-1 is not prime. Res64: 836227029C39D72F Time : 0.0 sec. user=vaughan [2012-04-25 07:35:59] 441*2^1131629-1 is not prime. Res64: A0709A84FFE9A171 Time : 0.0 sec. user=vaughan [2012-04-25 07:36:07] 507*2^1131629-1 is not prime. Res64: 2718D86940686D1E Time : 0.0 sec. user=vaughan [2012-04-25 07:36:07] 567*2^1131629-1 is not prime. Res64: AF8BAFFA43EF3A03 Time : 0.0 sec. user=henryzz [2012-04-25 07:36:15] 521*2^1131626-1 is not prime. Res64: 0C124A0C248C87EC Time : 0.0 sec. user=henryzz [2012-04-25 07:38:56] 531*2^1131627-1 is not prime. Res64: 63C776F7065E6AC3 Time : 0.0 sec. user=vaughan [2012-04-25 07:45:56] 405*2^1131630-1 is not prime. Res64: E7249915125EEDCF Time : 0.0 sec. user=vaughan [2012-04-25 07:48:05] 423*2^1131630-1 is not prime. Res64: B50AF66C6461CA16 Time : 0.0 sec. user=vaughan [2012-04-25 07:48:30] 465*2^1131630-1 is not prime. Res64: 22766FFD8301D5D9 Time : 0.0 sec. user=vaughan [2012-04-25 07:48:51] 459*2^1131620-1 is not prime. Res64: 84AF7E315276F62D Time : 0.0 sec. user=henryzz [2012-04-25 07:55:45] 521*2^1131630-1 is not prime. Res64: 698DA1982C269470 Time : 0.0 sec. user=vaughan [2012-04-25 07:55:54] 525*2^1131631-1 is not prime. Res64: BDC3829C1BB177C6 Time : 0.0 sec. user=vaughan [2012-04-25 07:55:55] 507*2^1131632-1 is not prime. Res64: E1FF1DF3DA350EE9 Time : 0.0 sec. user=vaughan [2012-04-25 07:56:05] 405*2^1131631-1 is not prime. Res64: A97CCD9F04FB7227 Time : 0.0 sec. user=vaughan [2012-04-25 07:56:05] 489*2^1131631-1 is not prime. Res64: C7E5F55D5F748B1D Time : 0.0 sec. user=henryzz [2012-04-25 07:56:35] 503*2^1131630-1 is not prime. Res64: 1FFCB69292EE91F1 Time : 0.0 sec. user=vaughan [2012-04-25 07:56:42] 495*2^1131633-1 is not prime. Res64: F3BAFFE8FD310685 Time : 0.0 sec. user=vaughan [2012-04-25 07:56:42] 511*2^1131633-1 is not prime. Res64: FF4F8E81CA397481 Time : 0.0 sec. user=vaughan [2012-04-25 07:56:48] 585*2^1131632-1 is not prime. Res64: 8251AF96BCC65641 Time : 0.0 sec. user=vaughan [2012-04-25 07:56:49] 441*2^1131633-1 is not prime. Res64: 8B1CA9AF7EB1630B Time : 0.0 sec. user=henryzz [2012-04-25 07:59:07] 559*2^1131633-1 is not prime. Res64: 546125F311249310 Time : 0.0 sec. user=henryzz [2012-04-25 08:00:01] 435*2^1131634-1 is not prime. Res64: 619E7BBA95B73D7D Time : 0.0 sec. user=vaughan [2012-04-25 08:01:43] 443*2^1131634-1 is not prime. Res64: 123EB7E9D5042B4B Time : 0.0 sec. user=vaughan [2012-04-25 08:03:58] 495*2^1131634-1 is not prime. Res64: 1C391BDD34338A4C Time : 0.0 sec. user=vaughan [2012-04-25 08:04:15] 531*2^1131634-1 is not prime. Res64: EC9DA46255E525B5 Time : 0.0 sec. user=vaughan [2012-04-25 08:04:38] 481*2^1131635-1 is not prime. Res64: 07CD84A229A6AE59 Time : 0.0 sec. user=vaughan [2012-04-25 08:16:51] 479*2^1131636-1 is not prime. Res64: 47499A91E9E30C0C Time : 0.0 sec. user=vaughan [2012-04-25 08:16:51] 525*2^1131636-1 is not prime. Res64: D245E8BDBBFDC57D Time : 0.0 sec. user=vaughan [2012-04-25 08:16:53] 405*2^1131636-1 is not prime. Res64: E37EBC92FB353743 Time : 0.0 sec. user=vaughan [2012-04-25 08:16:54] 453*2^1131636-1 is not prime. Res64: F077BBA214DC9A50 Time : 0.0 sec. user=vaughan [2012-04-25 08:17:26] 471*2^1131637-1 is not prime. Res64: 0932E4677451067F Time : 0.0 sec. user=vaughan [2012-04-25 08:17:26] 483*2^1131638-1 is not prime. Res64: E96B17D3F5DC4A5D Time : 0.0 sec. user=vaughan [2012-04-25 08:17:26] 549*2^1131637-1 is not prime. Res64: EC93A561B723BE0A Time : 0.0 sec. user=henryzz [2012-04-25 08:17:34] 465*2^1131636-1 is not prime. Res64: E07EC4C8A41E6DF8 Time : 0.0 sec. user=vaughan [2012-04-25 08:17:35] 579*2^1131636-1 is not prime. Res64: EBFFF1F7BC697576 Time : 0.0 sec. user=vaughan [2012-04-25 08:17:35] 597*2^1131636-1 is not prime. Res64: 8BD9B9D7F19541F3 Time : 0.0 sec. user=henryzz [2012-04-25 08:18:36] 567*2^1131636-1 is not prime. Res64: C7B3560D2A8770C4 Time : 0.0 sec. user=vaughan [2012-04-25 08:19:42] 501*2^1131638-1 is not prime. Res64: 0DE18889B2CB01FC Time : 0.0 sec. user=vaughan [2012-04-25 08:19:57] 557*2^1131638-1 is not prime. Res64: 196EF6DC1492D96D Time : 0.0 sec. user=henryzz [2012-04-25 08:20:11] 435*2^1131638-1 is not prime. Res64: 5C754C906CF9E047 Time : 0.0 sec. user=vaughan [2012-04-25 08:20:20] 561*2^1131638-1 is not prime. Res64: 6CE9A2811183F117 Time : 0.0 sec. user=henryzz [2012-04-25 08:20:33] 405*2^1131638-1 is not prime. Res64: F699A53B5F089E59 Time : 0.0 sec. user=vaughan [2012-04-25 08:27:32] 553*2^1131639-1 is not prime. Res64: 547B1E580449AF64 Time : 0.0 sec. user=vaughan [2012-04-25 08:27:36] 429*2^1131640-1 is not prime. Res64: 82C322CA5BE0761F Time : 0.0 sec. user=vaughan [2012-04-25 08:28:59] 489*2^1131640-1 is not prime. Res64: 6E2F0B8F0CA9C1C8 Time : 0.0 sec. user=vaughan [2012-04-25 08:29:54] 543*2^1131639-1 is not prime. Res64: 7CD0F7688033E55C Time : 0.0 sec. user=vaughan [2012-04-25 08:29:57] 573*2^1131639-1 is not prime. Res64: F664BCB7C71B616C Time : 0.0 sec. user=gd_barnes [2012-04-25 08:32:11] 411*2^1131641-1 is not prime. Res64: 96FC0FBA164CEC03 Time : 0.0 sec. user=vaughan [2012-04-25 08:33:09] 433*2^1131643-1 is not prime. Res64: 739529C7900223AE Time : 0.0 sec. user=vaughan [2012-04-25 08:35:23] 447*2^1131644-1 is not prime. Res64: DBC0F89A4AB43457 Time : 0.0 sec. user=vaughan [2012-04-25 08:35:34] 459*2^1131644-1 is not prime. Res64: 573B88EDFACB79A7 Time : 0.0 sec. user=vaughan [2012-04-25 08:36:09] 529*2^1131645-1 is not prime. Res64: F1671E9ADFE7A37C Time : 0.0 sec. user=vaughan [2012-04-25 08:37:32] 571*2^1131641-1 is not prime. Res64: 144AFFF7524D428E Time : 0.0 sec. user=vaughan [2012-04-25 08:37:33] 485*2^1131642-1 is not prime. Res64: C7CB350934800180 Time : 0.0 sec. user=vaughan [2012-04-25 08:37:43] 543*2^1131642-1 is not prime. Res64: F8F2FFECBF619545 Time : 0.0 sec. user=vaughan [2012-04-25 08:37:44] 593*2^1131642-1 is not prime. Res64: 90A30F0645991D09 Time : 0.0 sec. user=gd_barnes [2012-04-25 08:37:56] 525*2^1131641-1 is not prime. Res64: CB6EC676AC2B8AE0 Time : 0.0 sec. user=vaughan [2012-04-25 08:38:12] 441*2^1131643-1 is not prime. Res64: 1103761AE4D2E74D Time : 0.0 sec. user=vaughan [2012-04-25 08:38:13] 451*2^1131643-1 is not prime. Res64: EB107027D06338C3 Time : 0.0 sec. user=vaughan [2012-04-25 08:38:29] 541*2^1131643-1 is not prime. Res64: 42449D4C7FD42A8C Time : 0.0 sec. user=vaughan [2012-04-25 08:38:29] 553*2^1131643-1 is not prime. Res64: 5BD3AFD76E5EEB1B Time : 0.0 sec. user=henryzz [2012-04-25 08:38:34] 435*2^1131644-1 is not prime. Res64: A87EC7EE7E2004B6 Time : 0.0 sec. user=henryzz [2012-04-25 08:39:28] 437*2^1131644-1 is not prime. Res64: 6714825839F28406 Time : 0.0 sec. user=henryzz [2012-04-25 08:40:53] 539*2^1131644-1 is not prime. Res64: C309C86B03C89DAE Time : 0.0 sec. user=henryzz [2012-04-25 08:41:56] 595*2^1131645-1 is not prime. Res64: FD36312D6E7F06E8 Time : 0.0 sec. user=vaughan [2012-04-25 08:48:45] 587*2^1131646-1 is not prime. Res64: 5ED8C1C45BCAB61B Time : 0.0 sec. user=vaughan [2012-04-25 08:50:55] 493*2^1131647-1 is not prime. Res64: 481B3E29CF9FFC2C Time : 0.0 sec. user=vaughan [2012-04-25 08:51:08] 511*2^1131647-1 is not prime. Res64: 18EFA24D1E786F19 Time : 0.0 sec. user=vaughan [2012-04-25 08:51:46] 549*2^1131647-1 is not prime. Res64: 0A91E734A9CC0062 Time : 0.0 sec. user=vaughan [2012-04-25 08:58:24] 437*2^1131648-1 is not prime. Res64: 473D41BAC780FC9A Time : 0.0 sec. user=vaughan [2012-04-25 08:58:24] 459*2^1131648-1 is not prime. Res64: 4B60575CBAFB5787 Time : 0.0 sec. user=vaughan [2012-04-25 08:58:26] 559*2^1131647-1 is not prime. Res64: D6A5EAD034476E1B Time : 0.0 sec. user=vaughan [2012-04-25 08:58:26] 565*2^1131647-1 is not prime. Res64: 64B2DE87759C4190 Time : 0.0 sec. user=vaughan [2012-04-25 08:59:00] 563*2^1131648-1 is not prime. Res64: 0B33F7B63F42E48E Time : 0.0 sec. user=vaughan [2012-04-25 08:59:01] 569*2^1131648-1 is not prime. Res64: 85FA6D597642CDF8 Time : 0.0 sec. user=vaughan [2012-04-25 08:59:15] 411*2^1131649-1 is not prime. Res64: FBC800EEAA214830 Time : 0.0 sec. user=vaughan [2012-04-25 08:59:16] 565*2^1131649-1 is not prime. Res64: 80B8BCF4D44CC480 Time : 0.0 sec. user=henryzz [2012-04-25 08:59:28] 407*2^1131650-1 is not prime. Res64: 4A1952D4EC417DC1 Time : 0.0 sec. user=henryzz [2012-04-25 08:59:58] 563*2^1131650-1 is not prime. Res64: E5F914AA7F704459 Time : 0.0 sec. user=henryzz [2012-04-25 09:01:23] 445*2^1131651-1 is not prime. Res64: B414ACFC56E2F3A6 Time : 0.0 sec. user=henryzz [2012-04-25 09:02:58] 519*2^1131652-1 is not prime. Res64: 8C070B0F5D06184C Time : 0.0 sec. user=vaughan [2012-04-25 09:04:25] 545*2^1131652-1 is not prime. Res64: 3727D4C117CCE35D Time : 0.0 sec. user=vaughan [2012-04-25 09:06:40] 573*2^1131652-1 is not prime. Res64: 17C65CD4E9DF7FA1 Time : 0.0 sec. user=vaughan [2012-04-25 09:06:45] 525*2^1131653-1 is not prime. Res64: 27CFE07C46AB1715 Time : 0.0 sec. user=vaughan [2012-04-25 09:07:30] 567*2^1131653-1 is not prime. Res64: BFBB87EDC079D0E3 Time : 0.0 sec. user=vaughan [2012-04-25 09:10:28] 563*2^1131656-1 is not prime. Res64: 9EACB5C1613FE411 Time : 0.0 sec. user=vaughan [2012-04-25 09:10:32] 465*2^1131654-1 is not prime. Res64: 404A1DC901CB3A14 Time : 0.0 sec. user=vaughan [2012-04-25 09:10:34] 435*2^1131656-1 is not prime. Res64: E9BD07559EF694C5 Time : 0.0 sec. user=vaughan [2012-04-25 09:10:37] 589*2^1131653-1 is not prime. Res64: 3288AF7521A48FF9 Time : 0.0 sec. user=henryzz [2012-04-25 09:19:31] 405*2^1131657-1 is not prime. Res64: 7E172A41FA46EFB9 Time : 0.0 sec. user=henryzz [2012-04-25 09:20:06] 409*2^1131657-1 is not prime. Res64: 33E356CD887D1140 Time : 0.0 sec. user=henryzz [2012-04-25 09:22:09] 427*2^1131657-1 is not prime. Res64: D7B5C8ABDF26014C Time : 0.0 sec. user=henryzz [2012-04-25 09:23:38] 475*2^1131657-1 is not prime. Res64: 31423B0869819241 Time : 0.0 sec. user=henryzz [2012-04-25 09:40:25] 405*2^1131660-1 is not prime. Res64: EEBF828BBEF0F56D Time : 0.0 sec. user=henryzz [2012-04-25 09:41:17] 459*2^1131660-1 is not prime. Res64: DDE2A4A770A35E57 Time : 0.0 sec. user=henryzz [2012-04-25 09:43:12] 503*2^1131660-1 is not prime. Res64: 08D4DBE3F98DC1D6 Time : 0.0 sec. user=henryzz [2012-04-25 09:44:28] 539*2^1131660-1 is not prime. Res64: 037607174EC526E3 Time : 0.0 sec. user=henryzz [2012-04-25 10:01:23] 557*2^1131660-1 is not prime. Res64: 81CFB439B4649A1E Time : 0.0 sec. user=henryzz [2012-04-25 10:02:25] 505*2^1131661-1 is not prime. Res64: 615126961FA358B5 Time : 0.0 sec. user=henryzz [2012-04-25 10:04:25] 559*2^1131661-1 is not prime. Res64: C7B0DFA6936B2219 Time : 0.0 sec. user=henryzz [2012-04-25 10:06:08] 417*2^1131662-1 is not prime. Res64: 3DA0A2DFB01E1416 Time : 0.0 sec. user=henryzz [2012-04-25 10:22:13] 501*2^1131662-1 is not prime. Res64: D3E9E88AB0911A56 Time : 0.0 sec. user=henryzz [2012-04-25 10:22:38] 503*2^1131662-1 is not prime. Res64: 4F1C6EC0574E179C Time : 0.0 sec. user=henryzz [2012-04-25 10:24:50] 525*2^1131662-1 is not prime. Res64: 6511D00675E7C63D Time : 0.0 sec. user=henryzz [2012-04-25 10:26:44] 471*2^1131663-1 is not prime. Res64: D5A3AD31B54677BC Time : 0.0 sec. user=gd_barnes [2012-04-25 10:28:56] 489*2^1131663-1 is not prime. Res64: 30B639657E3B4D43 Time : 0.0 sec. user=henryzz [2012-04-25 10:42:10] 543*2^1131663-1 is not prime. Res64: 4F0FFBDF8DB3715C Time : 0.0 sec. user=henryzz [2012-04-25 10:42:16] 549*2^1131663-1 is not prime. Res64: 9173A44DD0FC157D Time : 0.0 sec. user=henryzz [2012-04-25 10:44:34] 583*2^1131663-1 is not prime. Res64: C4CCDAF5B8EBA4A8 Time : 0.0 sec. user=henryzz [2012-04-25 10:46:18] 513*2^1131664-1 is not prime. Res64: 8866F27CBF714453 Time : 0.0 sec. user=marco.bs [2012-04-25 11:00:07] 485*2^1131528-1 is not prime. Res64: CFB06764BA7EE09B Time : 0.0 sec. user=henryzz [2012-04-25 11:01:50] 529*2^1131665-1 is not prime. Res64: CDD2748A8659B807 Time : 0.0 sec. user=henryzz [2012-04-25 11:02:01] 585*2^1131665-1 is not prime. Res64: EE7F04C3CEA89970 Time : 0.0 sec. user=henryzz [2012-04-25 11:04:06] 589*2^1131665-1 is not prime. Res64: CE3F2C9A076D34CA Time : 0.0 sec. user=henryzz [2012-04-25 11:06:00] 425*2^1131666-1 is not prime. Res64: 69DEEF90861E4CF8 Time : 0.0 sec. user=henryzz [2012-04-25 11:21:39] 405*2^1131667-1 is not prime. Res64: 11415D8A2AE8837B Time : 0.0 sec. user=henryzz [2012-04-25 11:21:50] 527*2^1131666-1 is not prime. Res64: D247DFFFD7179FF9 Time : 0.0 sec. user=henryzz [2012-04-25 11:23:53] 495*2^1131667-1 is not prime. Res64: 006165BED6130D2F Time : 0.0 sec. user=henryzz [2012-04-25 11:25:41] 595*2^1131667-1 is not prime. Res64: FF9561D3309C7AA3 Time : 0.0 sec. user=henryzz [2012-04-25 11:42:44] 545*2^1131668-1 is not prime. Res64: 5CA531728C52B391 Time : 0.0 sec. user=henryzz [2012-04-25 11:43:04] 533*2^1131668-1 is not prime. Res64: BB74B36456D0BC4B Time : 0.0 sec. user=henryzz [2012-04-25 11:45:08] 441*2^1131669-1 is not prime. Res64: D35609291CE15F54 Time : 0.0 sec. user=henryzz [2012-04-25 11:46:29] 597*2^1131669-1 is not prime. Res64: D578C529BCD5A13A Time : 0.0 sec. user=marco.bs [2012-04-25 11:47:52] 497*2^1131666-1 is not prime. Res64: F0E971A9A4ECC3CC Time : 0.0 sec. user=vaughan [2012-04-25 11:57:11] 507*2^1131668-1 is not prime. Res64: B67AD62E36A0AF92 Time : 0.0 sec. user=henryzz [2012-04-25 12:03:15] 443*2^1131670-1 is not prime. Res64: B10B17D0135407FC Time : 0.0 sec. user=henryzz [2012-04-25 12:04:11] 453*2^1131670-1 is not prime. Res64: 061644A2977B11A9 Time : 0.0 sec. user=henryzz [2012-04-25 12:06:08] 533*2^1131670-1 is not prime. Res64: 17B89B4223E7875F Time : 0.0 sec. user=henryzz [2012-04-25 12:07:12] 575*2^1131670-1 is not prime. Res64: 8BA54263299EA864 Time : 0.0 sec. user=henryzz [2012-04-25 12:23:37] 459*2^1131672-1 is not prime. Res64: E8EBADC74EAA5B88 Time : 0.0 sec. user=henryzz [2012-04-25 12:24:30] 511*2^1131673-1 is not prime. Res64: 0F71D6B24A8A049A Time : 0.0 sec. user=henryzz [2012-04-25 12:26:28] 537*2^1131673-1 is not prime. Res64: 4A4536CAACC8A452 Time : 0.0 sec. user=henryzz [2012-04-25 12:27:35] 555*2^1131673-1 is not prime. Res64: 3A5C045C38E900C7 Time : 0.0 sec. user=marco.bs [2012-04-25 12:35:19] 455*2^1131672-1 is not prime. Res64: 4A957DC6BFBCAB81 Time : 0.0 sec. user=henryzz [2012-04-25 12:46:54] 503*2^1131674-1 is not prime. Res64: D2F2B2BBBC3E0411 Time : 0.0 sec. user=henryzz [2012-04-25 12:47:50] 521*2^1131674-1 is not prime. Res64: C325437BB4C2F719 Time : 0.0 sec. user=henryzz [2012-04-25 12:50:44] 555*2^1131675-1 is not prime. Res64: BD4E48D516F6B043 Time : 0.0 sec. user=henryzz [2012-04-25 12:50:51] 573*2^1131675-1 is not prime. Res64: AFAE0638224914E0 Time : 0.0 sec. user=henryzz [2012-04-25 13:15:26] 519*2^1131677-1 is not prime. Res64: 884162951C6D3277 Time : 0.0 sec. user=henryzz [2012-04-25 13:17:22] 461*2^1131678-1 is not prime. Res64: 6C50E3EF2CAA2D19 Time : 0.0 sec. user=henryzz [2012-04-25 13:17:43] 559*2^1131677-1 is not prime. Res64: 1B1A4FE031F0E261 Time : 0.0 sec. user=henryzz [2012-04-25 13:20:13] 571*2^1131677-1 is not prime. Res64: 8D7B42CDDCD66827 Time : 0.0 sec. user=marco.bs [2012-04-25 13:22:45] 405*2^1131676-1 is not prime. Res64: D7701931CED01C1F Time : 0.0 sec. user=henryzz [2012-04-25 13:43:55] 473*2^1131678-1 is not prime. Res64: 6BE591D2BD1EFDE2 Time : 0.0 sec. user=henryzz [2012-04-25 13:45:54] 581*2^1131678-1 is not prime. Res64: 5E3B08407F71A16B Time : 0.0 sec. user=henryzz [2012-04-25 13:46:34] 421*2^1131679-1 is not prime. Res64: B46147339A9AC288 Time : 0.0 sec. user=henryzz [2012-04-25 13:48:18] 429*2^1131679-1 is not prime. Res64: CE1B20A37FD64276 Time : 0.0 sec. user=marco.bs [2012-04-25 14:10:16] 451*2^1131679-1 is not prime. Res64: E0929D957C890AA7 Time : 0.0 sec. user=henryzz [2012-04-25 14:12:56] 407*2^1131680-1 is not prime. Res64: 35F29CA68B95123A Time : 0.0 sec. user=henryzz [2012-04-25 14:14:11] 483*2^1131679-1 is not prime. Res64: 89025A16B99CA0C0 Time : 0.0 sec. user=henryzz [2012-04-25 14:16:08] 417*2^1131680-1 is not prime. Res64: 3622839E5EA2EEA4 Time : 0.0 sec. user=henryzz [2012-04-25 14:16:50] 469*2^1131679-1 is not prime. Res64: C712C7D45E2DDE26 Time : 0.0 sec. user=henryzz [2012-04-25 14:42:13] 563*2^1131680-1 is not prime. Res64: 60A85DA503FF8C03 Time : 0.0 sec. user=henryzz [2012-04-25 14:42:29] 503*2^1131680-1 is not prime. Res64: 0BD95F446C903362 Time : 0.0 sec. user=henryzz [2012-04-25 14:44:40] 427*2^1131681-1 is not prime. Res64: EFCEB99D12231950 Time : 0.0 sec. user=henryzz [2012-04-25 14:52:34] 471*2^1131681-1 is not prime. Res64: 136D3FCE59FC5BE3 Time : 0.0 sec. user=marco.bs [2012-04-25 14:58:11] 489*2^1131680-1 is not prime. Res64: 98A9745E4BDB787E Time : 0.0 sec. user=henryzz [2012-04-25 15:09:42] 559*2^1131681-1 is not prime. Res64: D426678F5BC2406A Time : 0.0 sec. user=henryzz [2012-04-25 15:11:44] 503*2^1131682-1 is not prime. Res64: 2BB64C83ABE2D4D1 Time : 0.0 sec. user=henryzz [2012-04-25 15:17:40] 549*2^1131681-1 is not prime. Res64: 793B73EB776E5604 Time : 0.0 sec. user=henryzz [2012-04-25 15:20:23] 561*2^1131682-1 is not prime. Res64: 12650FB2654B4299 Time : 0.0 sec. user=henryzz [2012-04-25 15:37:51] 475*2^1131683-1 is not prime. Res64: E1AD9E34FCCB4C05 Time : 0.0 sec. user=henryzz [2012-04-25 15:43:52] 489*2^1131683-1 is not prime. Res64: A361138F978DFE0D Time : 0.0 sec. user=marco.bs [2012-04-25 15:45:41] 411*2^1131683-1 is not prime. Res64: C34EC3181F989E7E Time : 0.0 sec. user=henryzz [2012-04-25 15:47:17] 453*2^1131684-1 is not prime. Res64: 5A1452F5831D7E1A Time : 0.0 sec. user=henryzz [2012-04-25 15:48:40] 591*2^1131683-1 is not prime. Res64: 179EC550F9375C6A Time : 0.0 sec. user=henryzz [2012-04-25 16:05:14] 503*2^1131684-1 is not prime. Res64: B0447AA1627D6287 Time : 0.0 sec. user=henryzz [2012-04-25 16:13:29] 539*2^1131684-1 is not prime. Res64: 61C303C43622B99F Time : 0.0 sec. user=henryzz [2012-04-25 16:15:30] 495*2^1131685-1 is not prime. Res64: FBE83352E8A47370 Time : 0.0 sec. user=henryzz [2012-04-25 16:15:34] 411*2^1131685-1 is not prime. Res64: 55E3A69E116CC477 Time : 0.0 sec. user=henryzz [2012-04-25 16:28:27] 453*2^1131686-1 is not prime. Res64: 0DDDD96FD7A37151 Time : 0.0 sec. user=marco.bs [2012-04-25 16:33:11] 569*2^1131684-1 is not prime. Res64: 4B12404A7E264A80 Time : 0.0 sec. user=henryzz [2012-04-25 16:35:06] 483*2^1131686-1 is not prime. Res64: F7B5B689F10781D0 Time : 0.0 sec. user=henryzz [2012-04-25 16:37:03] 545*2^1131686-1 is not prime. Res64: D8C254E3B2470A38 Time : 0.0 sec. user=henryzz [2012-04-25 16:38:02] 495*2^1131686-1 is not prime. Res64: 59651837938204B3 Time : 0.0 sec. user=vaughan [2012-04-25 16:49:09] 467*2^1131658-1 is not prime. Res64: D05EBDBDA2F7ED67 Time : 0.0 sec. user=vaughan [2012-04-25 16:49:12] 579*2^1131657-1 is not prime. Res64: 3D0309D9BBA03C43 Time : 0.0 sec. user=vaughan [2012-04-25 16:49:15] 465*2^1131659-1 is not prime. Res64: 5ED48521C23A9282 Time : 0.0 sec. user=vaughan [2012-04-25 16:49:16] 537*2^1131657-1 is not prime. Res64: E3C5D0886356727A Time : 0.0 sec. user=henryzz [2012-04-25 16:49:19] 567*2^1131686-1 is not prime. Res64: 42FDDBAEADCAF8D9 Time : 0.0 sec. user=henryzz [2012-04-25 16:56:10] 469*2^1131687-1 is not prime. Res64: C5C1762528D4C9F5 Time : 0.0 sec. user=henryzz [2012-04-25 16:58:32] 483*2^1131687-1 is not prime. Res64: 47D120DF83925903 Time : 0.0 sec. user=henryzz [2012-04-25 16:59:23] 573*2^1131687-1 is not prime. Res64: 2B93C0CAF10ADC4D Time : 0.0 sec. user=vaughan [2012-04-25 17:04:52] 419*2^1131688-1 is not prime. Res64: C4BC43C0E378CC7D Time : 0.0 sec. user=vaughan [2012-04-25 17:04:52] 495*2^1131688-1 is not prime. Res64: 5A3B045F8628E5E5 Time : 0.0 sec. user=vaughan [2012-04-25 17:04:56] 421*2^1131689-1 is not prime. Res64: 8F2816FA946664C4 Time : 0.0 sec. user=vaughan [2012-04-25 17:04:58] 525*2^1131688-1 is not prime. Res64: 56A1B16D8CCB0D99 Time : 0.0 sec. user=henryzz [2012-04-25 17:11:15] 445*2^1131689-1 is not prime. Res64: E9207F06CD5CCB01 Time : 0.0 sec. user=henryzz [2012-04-25 17:17:13] 465*2^1131689-1 is not prime. Res64: 30083052F741574C Time : 0.0 sec. user=henryzz [2012-04-25 17:19:34] 469*2^1131689-1 is not prime. Res64: D0A6F74BAA11193C Time : 0.0 sec. user=henryzz [2012-04-25 17:20:25] 577*2^1131689-1 is not prime. Res64: 27700B254C846942 Time : 0.0 sec. user=vaughan [2012-04-25 17:20:31] 443*2^1131690-1 is not prime. Res64: 6E81AF6ED470EF5E Time : 0.0 sec. user=vaughan [2012-04-25 17:20:36] 417*2^1131690-1 is not prime. Res64: EE9EC0D5F654E989 Time : 0.0 sec. user=vaughan [2012-04-25 17:20:38] 527*2^1131690-1 is not prime. Res64: FBA46AAE535071E1 Time : 0.0 sec. user=marco.bs [2012-04-25 17:20:39] 405*2^1131687-1 is not prime. Res64: A48C7BC1C2B1FC67 Time : 0.0 sec. user=vaughan [2012-04-25 17:20:43] 567*2^1131690-1 is not prime. Res64: 4FE582221AA8922F Time : 0.0 sec. user=henryzz [2012-04-25 17:32:53] 429*2^1131691-1 is not prime. Res64: 2AB5D4F5B3A4EADA Time : 0.0 sec. user=vaughan [2012-04-25 17:36:12] 417*2^1131692-1 is not prime. Res64: 6A7FA038D4F3C686 Time : 0.0 sec. user=vaughan [2012-04-25 17:36:13] 467*2^1131692-1 is not prime. Res64: E572872DBF4E8C0C Time : 0.0 sec. user=vaughan [2012-04-25 17:36:18] 401*2^1131694-1 is not prime. Res64: EB9094096FC6DE35 Time : 0.0 sec. user=vaughan [2012-04-25 17:36:20] 413*2^1131694-1 is not prime. Res64: EA3D74BCF6BA22F9 Time : 0.0 sec. user=henryzz [2012-04-25 17:39:07] 433*2^1131691-1 is not prime. Res64: 023B45EE1E734736 Time : 0.0 sec. user=henryzz [2012-04-25 17:40:58] 505*2^1131691-1 is not prime. Res64: 61C156F0CFD5BF42 Time : 0.0 sec. user=henryzz [2012-04-25 17:42:35] 511*2^1131691-1 is not prime. Res64: E85202E505885BC1 Time : 0.0 sec. user=vaughan [2012-04-25 17:50:51] 401*2^1131654-1 is not prime. Res64: ABE6D0A1F5290855 Time : 0.0 sec. user=vaughan [2012-04-25 17:51:03] 405*2^1131655-1 is not prime. Res64: F068C1B904BABDE6 Time : 0.0 sec. user=vaughan [2012-04-25 17:51:27] 447*2^1131656-1 is not prime. Res64: 0F15BE6CE2C62F59 Time : 0.0 sec. user=vaughan [2012-04-25 17:51:48] 567*2^1131694-1 is not prime. Res64: EEE6758AE11838F9 Time : 0.0 sec. user=vaughan [2012-04-25 17:51:54] 411*2^1131695-1 is not prime. Res64: 846790F51D132792 Time : 0.0 sec. user=vaughan [2012-04-25 17:51:56] 433*2^1131695-1 is not prime. Res64: DE066882374942CC Time : 0.0 sec. user=vaughan [2012-04-25 17:51:58] 459*2^1131695-1 is not prime. Res64: 7812741FB83887E6 Time : 0.0 sec. user=vaughan [2012-04-25 17:52:11] 573*2^1131656-1 is not prime. Res64: 6348ABA6207E9D47 Time : 0.0 sec. user=vaughan [2012-04-25 17:53:54] 405*2^1131691-1 is not prime. Res64: F8EA549592E20B72 Time : 0.0 sec. user=henryzz [2012-04-25 17:55:20] 477*2^1131694-1 is not prime. Res64: 02A060FBAB847534 Time : 0.0 sec. user=henryzz [2012-04-25 18:01:10] 465*2^1131695-1 is not prime. Res64: 855F5E8C67056713 Time : 0.0 sec. user=henryzz [2012-04-25 18:03:07] 501*2^1131695-1 is not prime. Res64: 419C07EE9D37C9BF Time : 0.0 sec. user=henryzz [2012-04-25 18:04:52] 485*2^1131696-1 is not prime. Res64: 8E303C24CA155E23 Time : 0.0 sec. user=vaughan [2012-04-25 18:07:33] 525*2^1131698-1 is not prime. Res64: B585FFD9E7C9083F Time : 0.0 sec. user=vaughan [2012-04-25 18:07:39] 561*2^1131698-1 is not prime. Res64: 1DD7D5A2248ADC7D Time : 0.0 sec. user=vaughan [2012-04-25 18:07:44] 571*2^1131699-1 is not prime. Res64: AE9975D902F764FC Time : 0.0 sec. user=vaughan [2012-04-25 18:07:46] 489*2^1131699-1 is not prime. Res64: BC91CA27B43B2AA5 Time : 0.0 sec. user=marco.bs [2012-04-25 18:08:14] 489*2^1131692-1 is not prime. Res64: 7A9C65EC81A56AFB Time : 0.0 sec. user=vaughan [2012-04-25 18:11:55] 537*2^1131696-1 is not prime. Res64: 89201F7EFF846E4F Time : 0.0 sec. user=vaughan [2012-04-25 18:11:56] 405*2^1131697-1 is not prime. Res64: 7FC24BC565693D7D Time : 0.0 sec. user=vaughan [2012-04-25 18:12:37] 595*2^1131697-1 is not prime. Res64: B1CC15D950BE687C Time : 0.0 sec. user=vaughan [2012-04-25 18:12:38] 483*2^1131698-1 is not prime. Res64: 8E0C6DEEC52DDEDF Time : 0.0 sec. user=vaughan [2012-04-25 18:12:50] 435*2^1131697-1 is not prime. Res64: E3B42A927B2DE13B Time : 0.0 sec. user=vaughan [2012-04-25 18:12:52] 517*2^1131697-1 is not prime. Res64: C6DA58938DA1C8B9 Time : 0.0 sec. user=vaughan [2012-04-25 18:13:53] 465*2^1131700-1 is not prime. Res64: C48BDD84F507E553 Time : 0.0 sec. user=vaughan [2012-04-25 18:13:54] 527*2^1131700-1 is not prime. Res64: 28F3FE200EB364A9 Time : 0.0 sec. user=henryzz [2012-04-25 18:19:22] 569*2^1131700-1 is not prime. Res64: 782200C0BC1EEB42 Time : 0.0 sec. user=vaughan [2012-04-25 18:23:19] 477*2^1131701-1 is not prime. Res64: BAA33DF2D5F3A433 Time : 0.0 sec. user=vaughan [2012-04-25 18:23:30] 471*2^1131702-1 is not prime. Res64: E7F5FE299CA65F48 Time : 0.0 sec. user=vaughan [2012-04-25 18:23:33] 567*2^1131702-1 is not prime. Res64: D8323FB6FDF6B03C Time : 0.0 sec. user=vaughan [2012-04-25 18:23:35] 573*2^1131702-1 is not prime. Res64: 61FE9E6D7EDDD400 Time : 0.0 sec. user=henryzz [2012-04-25 18:24:13] 597*2^1131700-1 is not prime. Res64: 6DAF4178DECDB143 Time : 0.0 sec. user=henryzz [2012-04-25 18:25:56] 405*2^1131701-1 is not prime. Res64: D7BC33973FB43176 Time : 0.0 sec. user=henryzz [2012-04-25 18:27:30] 409*2^1131701-1 is not prime. Res64: 9E12719856B9D2E5 Time : 0.0 sec. user=vaughan [2012-04-25 18:33:09] 453*2^1131703-1 is not prime. Res64: D58FC97515CF203E Time : 0.0 sec. user=vaughan [2012-04-25 18:33:10] 559*2^1131703-1 is not prime. Res64: BB09A5BD8DD84EF6 Time : 0.0 sec. user=vaughan [2012-04-25 18:34:05] 495*2^1131704-1 is not prime. Res64: 42453098ACC29C8A Time : 0.0 sec. user=vaughan [2012-04-25 18:34:06] 447*2^1131705-1 is not prime. Res64: 11F40B0F682327AF Time : 0.0 sec. user=vaughan [2012-04-25 18:34:13] 479*2^1131704-1 is not prime. Res64: 620D80BFEFA6EF76 Time : 0.0 sec. user=vaughan [2012-04-25 18:34:13] 483*2^1131704-1 is not prime. Res64: 53534963A118738A Time : 0.0 sec. user=vaughan [2012-04-25 18:35:27] 481*2^1131705-1 is not prime. Res64: 59506BB74FAEA98E Time : 0.0 sec. user=vaughan [2012-04-25 18:35:28] 443*2^1131706-1 is not prime. Res64: AB1A842E4B741F55 Time : 0.0 sec. user=vaughan [2012-04-25 18:38:57] 491*2^1131706-1 is not prime. Res64: 05B43A93965FFA4B Time : 0.0 sec. user=vaughan [2012-04-25 18:39:12] 593*2^1131706-1 is not prime. Res64: 63CF1F15FCAEAAED Time : 0.0 sec. user=vaughan [2012-04-25 18:39:12] 531*2^1131706-1 is not prime. Res64: E5EA915C8CD192DA Time : 0.0 sec. user=vaughan [2012-04-25 18:39:16] 403*2^1131707-1 is not prime. Res64: CB82125B4A3D2352 Time : 0.0 sec. user=henryzz [2012-04-25 18:41:35] 453*2^1131706-1 is not prime. Res64: ACBCF66957B5A0C6 Time : 0.0 sec. user=henryzz [2012-04-25 18:47:04] 573*2^1131707-1 is not prime. Res64: C4E1DBA29B9469E7 Time : 0.0 sec. user=henryzz [2012-04-25 18:48:39] 479*2^1131708-1 is not prime. Res64: E3FC83ACB3B49C52 Time : 0.0 sec. user=henryzz [2012-04-25 18:50:22] 555*2^1131708-1 is not prime. Res64: 2A678E70A019221F Time : 0.0 sec. user=vaughan [2012-04-25 18:54:16] 585*2^1131708-1 is not prime. Res64: 7A77F1B8E7AC1FD5 Time : 0.0 sec. user=vaughan [2012-04-25 18:54:16] 495*2^1131709-1 is not prime. Res64: 859DE48DEFC202E5 Time : 0.0 sec. user=vaughan [2012-04-25 18:54:36] 411*2^1131711-1 is not prime. Res64: 0B9A11566504B186 Time : 0.0 sec. user=vaughan [2012-04-25 18:54:56] 419*2^1131712-1 is not prime. Res64: 8FCF269AF374445F Time : 0.0 sec. user=vaughan [2012-04-25 18:54:57] 533*2^1131712-1 is not prime. Res64: 87E7DDD5D29689A7 Time : 0.0 sec. user=vaughan [2012-04-25 18:55:06] 539*2^1131712-1 is not prime. Res64: 15A8BD0431B538B8 Time : 0.0 sec. user=vaughan [2012-04-25 18:55:14] 565*2^1131709-1 is not prime. Res64: 7F0A59928B8EFDD2 Time : 0.0 sec. user=vaughan [2012-04-25 18:55:14] 407*2^1131710-1 is not prime. Res64: 970294F883B1BFC2 Time : 0.0 sec. user=vaughan [2012-04-25 18:56:11] 461*2^1131710-1 is not prime. Res64: 4B79240279842C8B Time : 0.0 sec. user=vaughan [2012-04-25 18:56:12] 563*2^1131710-1 is not prime. Res64: 573261BCE168D43E Time : 0.0 sec. user=vaughan [2012-04-25 18:56:48] 587*2^1131710-1 is not prime. Res64: F308E0FA2D99DD94 Time : 0.0 sec. user=vaughan [2012-04-25 18:56:48] 591*2^1131710-1 is not prime. Res64: 980860EB3001D6AD Time : 0.0 sec. user=henryzz [2012-04-25 19:04:30] 445*2^1131713-1 is not prime. Res64: 2DE78F48F0A7C488 Time : 0.0 sec. user=henryzz [2012-04-25 19:09:40] 481*2^1131713-1 is not prime. Res64: 33CF2613B1FECDBC Time : 0.0 sec. user=vaughan [2012-04-25 19:10:30] 473*2^1131714-1 is not prime. Res64: 518F4D7D1CE9C27B Time : 0.0 sec. user=vaughan [2012-04-25 19:10:40] 513*2^1131714-1 is not prime. Res64: 9368B9518121636E Time : 0.0 sec. user=vaughan [2012-04-25 19:10:50] 425*2^1131716-1 is not prime. Res64: 43642FECD15C5DEF Time : 0.0 sec. user=vaughan [2012-04-25 19:10:52] 463*2^1131715-1 is not prime. Res64: B2B6ED15C8D8A79C Time : 0.0 sec. user=henryzz [2012-04-25 19:11:58] 529*2^1131713-1 is not prime. Res64: 588BFD74E04E6CA9 Time : 0.0 sec. user=henryzz [2012-04-25 19:13:48] 537*2^1131713-1 is not prime. Res64: ACD101F60B8362C4 Time : 0.0 sec. user=vaughan [2012-04-25 19:15:41] 559*2^1131713-1 is not prime. Res64: 7BCB17A24D602A78 Time : 0.0 sec. user=vaughan [2012-04-25 19:15:42] 567*2^1131713-1 is not prime. Res64: 97896E0ECCB81B6B Time : 0.0 sec. user=vaughan [2012-04-25 19:16:44] 449*2^1131716-1 is not prime. Res64: A3548881CECB0E5C Time : 0.0 sec. user=vaughan [2012-04-25 19:16:45] 573*2^1131716-1 is not prime. Res64: 47473F02D2558388 Time : 0.0 sec. user=vaughan [2012-04-25 19:17:30] 441*2^1131717-1 is not prime. Res64: B0860489D772D672 Time : 0.0 sec. user=vaughan [2012-04-25 19:17:31] 471*2^1131717-1 is not prime. Res64: FE6CDC03CE3AE4A2 Time : 0.0 sec. user=vaughan [2012-04-25 19:18:22] 499*2^1131717-1 is not prime. Res64: D99E2E4A0241F9D8 Time : 0.0 sec. user=vaughan [2012-04-25 19:18:23] 537*2^1131717-1 is not prime. Res64: 7D164FD257662C50 Time : 0.0 sec. user=vaughan [2012-04-25 19:26:20] 527*2^1131718-1 is not prime. Res64: B564DFA28630A5B0 Time : 0.0 sec. user=vaughan [2012-04-25 19:26:28] 567*2^1131718-1 is not prime. Res64: 9D92908F68A063AD Time : 0.0 sec. user=vaughan [2012-04-25 19:26:41] 575*2^1131718-1 is not prime. Res64: 2BC3AA7B427C9E05 Time : 0.0 sec. user=vaughan [2012-04-25 19:26:42] 465*2^1131719-1 is not prime. Res64: 23DFADF5BD09F9FD Time : 0.0 sec. user=henryzz [2012-04-25 19:27:04] 595*2^1131717-1 is not prime. Res64: 3FC1E822B4E5D85A Time : 0.0 sec. user=henryzz [2012-04-25 19:32:32] 453*2^1131718-1 is not prime. Res64: 6DF01CBE97F5D69C Time : 0.0 sec. user=henryzz [2012-04-25 19:34:34] 501*2^1131719-1 is not prime. Res64: EC891FE15255063C Time : 0.0 sec. user=henryzz [2012-04-25 19:36:29] 509*2^1131720-1 is not prime. Res64: 413A5D99158FB4BF Time : 0.0 sec. user=vaughan [2012-04-25 19:36:43] 465*2^1131721-1 is not prime. Res64: F1A6159CE0B00B0B Time : 0.0 sec. user=vaughan [2012-04-25 19:36:43] 507*2^1131721-1 is not prime. Res64: 44EC3421AB6BCFF6 Time : 0.0 sec. user=vaughan [2012-04-25 19:38:04] 517*2^1131721-1 is not prime. Res64: 37E2D80C3E4E91DE Time : 0.0 sec. user=vaughan [2012-04-25 19:38:04] 417*2^1131722-1 is not prime. Res64: 921A79588C11FBED Time : 0.0 sec. user=vaughan [2012-04-25 19:38:52] 423*2^1131722-1 is not prime. Res64: EAE6519AF4368E84 Time : 0.0 sec. user=vaughan [2012-04-25 19:38:53] 453*2^1131722-1 is not prime. Res64: C7FBFA291FB610B1 Time : 0.0 sec. user=vaughan [2012-04-25 19:40:13] 461*2^1131722-1 is not prime. Res64: 8ED2141437D5911B Time : 0.0 sec. user=vaughan [2012-04-25 19:40:13] 467*2^1131722-1 is not prime. Res64: AB9E02C2D0C2EFB3 Time : 0.0 sec. user=vaughan [2012-04-25 19:42:06] 545*2^1131722-1 is not prime. Res64: 61EFDE059D2A0B47 Time : 0.0 sec. user=vaughan [2012-04-25 19:42:07] 497*2^1131722-1 is not prime. Res64: 763480303CE35986 Time : 0.0 sec. user=vaughan [2012-04-25 19:42:26] 593*2^1131722-1 is not prime. Res64: D99BD1CE87E522CB Time : 0.0 sec. user=vaughan [2012-04-25 19:42:27] 433*2^1131723-1 is not prime. Res64: 7A6B356A841FCDF4 Time : 0.0 sec. user=henryzz [2012-04-25 19:49:24] 489*2^1131723-1 is not prime. Res64: 9DA93C96B4DDEA25 Time : 0.0 sec. user=henryzz [2012-04-25 19:55:28] 553*2^1131723-1 is not prime. Res64: 575E790767555008 Time : 0.0 sec. user=henryzz [2012-04-25 19:57:16] 413*2^1131724-1 is not prime. Res64: 4963ED547C4BC91F Time : 0.0 sec. user=vaughan [2012-04-25 19:57:25] 597*2^1131724-1 is not prime. Res64: F8C28D820EAE086C Time : 0.0 sec. user=vaughan [2012-04-25 19:57:25] 411*2^1131725-1 is not prime. Res64: BA6C394189F3BC45 Time : 0.0 sec. user=vaughan [2012-04-25 19:57:51] 585*2^1131726-1 is not prime. Res64: D8077C8935B019C7 Time : 0.0 sec. user=vaughan [2012-04-25 19:57:53] 465*2^1131727-1 is not prime. Res64: 6593D87B022CAC75 Time : 0.0 sec. user=vaughan [2012-04-25 19:58:08] 493*2^1131727-1 is not prime. Res64: EAF14C213048E559 Time : 0.0 sec. user=vaughan [2012-04-25 19:58:09] 579*2^1131727-1 is not prime. Res64: 4E0ABF684B91A85A Time : 0.0 sec. user=vaughan [2012-04-25 19:58:51] 421*2^1131725-1 is not prime. Res64: 3ECBE154ACC0C150 Time : 0.0 sec. user=vaughan [2012-04-25 19:58:51] 445*2^1131725-1 is not prime. Res64: DD33E8F4857BE1F7 Time : 0.0 sec. user=henryzz [2012-04-25 19:59:19] 455*2^1131724-1 is not prime. Res64: 70BA1B06A69A1832 Time : 0.0 sec. user=vaughan [2012-04-25 19:59:33] 475*2^1131725-1 is not prime. Res64: 60D080C80E963340 Time : 0.0 sec. user=vaughan [2012-04-25 19:59:33] 567*2^1131725-1 is not prime. Res64: 3624325E6CB945AA Time : 0.0 sec. user=vaughan [2012-04-25 20:00:59] 437*2^1131726-1 is not prime. Res64: A78402A04DC661B6 Time : 0.0 sec. user=vaughan [2012-04-25 20:01:00] 567*2^1131726-1 is not prime. Res64: 4F63E4AB3AD8A0B3 Time : 0.0 sec. user=henryzz [2012-04-25 20:12:55] 405*2^1131728-1 is not prime. Res64: F6A56351355FD4A9 Time : 0.0 sec. user=vaughan [2012-04-25 20:13:37] 499*2^1131729-1 is not prime. Res64: 912F976654A3D70C Time : 0.0 sec. user=vaughan [2012-04-25 20:13:39] 563*2^1131728-1 is not prime. Res64: 9EBCC6A037B63C8C Time : 0.0 sec. user=vaughan [2012-04-25 20:13:45] 413*2^1131730-1 is not prime. Res64: B3931DF92D223571 Time : 0.0 sec. user=vaughan [2012-04-25 20:13:56] 571*2^1131729-1 is not prime. Res64: 8314C5164E145F35 Time : 0.0 sec. user=vaughan [2012-04-25 20:18:01] 537*2^1131728-1 is not prime. Res64: 5013C94D338F47DE Time : 0.0 sec. user=vaughan [2012-04-25 20:18:02] 539*2^1131728-1 is not prime. Res64: 5F2D2A048B35974C Time : 0.0 sec. user=vaughan [2012-04-25 20:19:27] 467*2^1131730-1 is not prime. Res64: DD993346E3ABC421 Time : 0.0 sec. user=vaughan [2012-04-25 20:19:28] 545*2^1131730-1 is not prime. Res64: 59A9427BE811573A Time : 0.0 sec. user=henryzz [2012-04-25 20:19:37] 459*2^1131728-1 is not prime. Res64: 23A51C7C26C74ECC Time : 0.0 sec. user=vaughan [2012-04-25 20:20:15] 411*2^1131731-1 is not prime. Res64: 3CB106B1259A0376 Time : 0.0 sec. user=vaughan [2012-04-25 20:20:16] 489*2^1131731-1 is not prime. Res64: BDF41BD51AD39DCE Time : 0.0 sec. user=henryzz [2012-04-25 20:21:16] 465*2^1131728-1 is not prime. Res64: 6C232789A63CF7CD Time : 0.0 sec. user=vaughan [2012-04-25 20:21:49] 595*2^1131731-1 is not prime. Res64: 8E9EA875DD6F6F20 Time : 0.0 sec. user=vaughan [2012-04-25 20:21:50] 447*2^1131732-1 is not prime. Res64: 0410B713CACDFD62 Time : 0.0 sec. user=henryzz [2012-04-25 20:24:57] 597*2^1131730-1 is not prime. Res64: E6F13C5865E50CB4 Time : 0.0 sec. user=vaughan [2012-04-25 20:29:21] 471*2^1131733-1 is not prime. Res64: 15E3C385F9CC0BAB Time : 0.0 sec. user=vaughan [2012-04-25 20:29:24] 485*2^1131732-1 is not prime. Res64: C79E6E48ACE03F9D Time : 0.0 sec. user=vaughan [2012-04-25 20:29:28] 495*2^1131734-1 is not prime. Res64: 8931E65A6D6D71B4 Time : 0.0 sec. user=vaughan [2012-04-25 20:29:41] 557*2^1131734-1 is not prime. Res64: 995E04A4F7557F97 Time : 0.0 sec. user=henryzz [2012-04-25 20:38:26] 483*2^1131732-1 is not prime. Res64: C563B8208F3E2406 Time : 0.0 sec. user=vaughan [2012-04-25 20:38:48] 511*2^1131735-1 is not prime. Res64: 961936853FA91433 Time : 0.0 sec. user=vaughan [2012-04-25 20:38:50] 585*2^1131735-1 is not prime. Res64: 4DBF6DE64F77FECE Time : 0.0 sec. user=vaughan [2012-04-25 20:40:01] 509*2^1131736-1 is not prime. Res64: D61B2C955C586E5B Time : 0.0 sec. user=vaughan [2012-04-25 20:40:02] 573*2^1131736-1 is not prime. Res64: 1F4F196C55D697DA Time : 0.0 sec. user=vaughan [2012-04-25 20:40:54] 405*2^1131737-1 is not prime. Res64: BBA4891EA474DF6A Time : 0.0 sec. user=vaughan [2012-04-25 20:40:54] 435*2^1131737-1 is not prime. Res64: E3394C1D090983B7 Time : 0.0 sec. user=vaughan [2012-04-25 20:42:37] 517*2^1131737-1 is not prime. Res64: E8DE3A9F6819D974 Time : 0.0 sec. user=vaughan [2012-04-25 20:42:37] 585*2^1131737-1 is not prime. Res64: 4DE620D437E86661 Time : 0.0 sec. user=vaughan [2012-04-25 20:44:57] 465*2^1131738-1 is not prime. Res64: 7167D0355C5F916B Time : 0.0 sec. user=vaughan [2012-04-25 20:45:06] 525*2^1131738-1 is not prime. Res64: F4BA0B70D9914238 Time : 0.0 sec. user=vaughan [2012-04-25 20:45:07] 441*2^1131739-1 is not prime. Res64: 871368918224EC16 Time : 0.0 sec. user=vaughan [2012-04-25 20:45:23] 447*2^1131740-1 is not prime. Res64: 887C5724B25362E4 Time : 0.0 sec. user=vaughan [2012-04-25 20:59:17] 479*2^1131740-1 is not prime. Res64: 9D7B634F38974CFC Time : 0.0 sec. user=vaughan [2012-04-25 20:59:18] 515*2^1131740-1 is not prime. Res64: 130A1736A123A687 Time : 0.0 sec. user=vaughan [2012-04-25 21:00:33] 413*2^1131744-1 is not prime. Res64: F2421994A2FAAEFD Time : 0.0 sec. user=vaughan [2012-04-25 21:00:42] 569*2^1131744-1 is not prime. Res64: E38B727ED6CE6508 Time : 0.0 sec. user=vaughan [2012-04-25 21:00:46] 587*2^1131744-1 is not prime. Res64: D727BA75728042CA Time : 0.0 sec. user=vaughan [2012-04-25 21:00:51] 597*2^1131741-1 is not prime. Res64: 7124F9AED47FED46 Time : 0.0 sec. user=vaughan [2012-04-25 21:00:52] 437*2^1131742-1 is not prime. Res64: 07FDF4A0017CAE4E Time : 0.0 sec. user=vaughan [2012-04-25 21:00:59] 405*2^1131745-1 is not prime. Res64: BD2BB803E5BF17CD Time : 0.0 sec. user=vaughan [2012-04-25 21:01:23] 555*2^1131742-1 is not prime. Res64: E3F95481ADD0B0AF Time : 0.0 sec. user=vaughan [2012-04-25 21:01:24] 433*2^1131743-1 is not prime. Res64: 4B8644ADC0E8D655 Time : 0.0 sec. user=vaughan [2012-04-25 21:03:16] 505*2^1131743-1 is not prime. Res64: 7F2986B0221F3A4F Time : 0.0 sec. user=vaughan [2012-04-25 21:03:17] 519*2^1131743-1 is not prime. Res64: F43A4BAB228ED5D5 Time : 0.0 sec. user=vaughan [2012-04-25 21:16:26] 497*2^1131746-1 is not prime. Res64: D488586853F8A116 Time : 0.0 sec. user=vaughan [2012-04-25 21:16:26] 515*2^1131746-1 is not prime. Res64: AD346BF88810D995 Time : 0.0 sec. user=vaughan [2012-04-25 21:16:33] 561*2^1131746-1 is not prime. Res64: DE996B43689A09AA Time : 0.0 sec. user=vaughan [2012-04-25 21:16:42] 511*2^1131747-1 is not prime. Res64: 6D608C08D0091D0C Time : 0.0 sec. user=vaughan [2012-04-25 21:19:58] 537*2^1131745-1 is not prime. Res64: E2ABB0762E6E7298 Time : 0.0 sec. user=vaughan [2012-04-25 21:19:58] 477*2^1131746-1 is not prime. Res64: DDC088D17BAB4A28 Time : 0.0 sec. user=vaughan [2012-04-25 21:21:25] 441*2^1131747-1 is not prime. Res64: DB2FC7EBFF7BA545 Time : 0.0 sec. user=vaughan [2012-04-25 21:21:26] 493*2^1131747-1 is not prime. Res64: 751ED75AFA13AB20 Time : 0.0 sec. user=vaughan [2012-04-25 21:22:06] 429*2^1131748-1 is not prime. Res64: 41AED0BD5C19BEB9 Time : 0.0 sec. user=vaughan [2012-04-25 21:22:06] 453*2^1131748-1 is not prime. Res64: A73C3EFA59DE3F45 Time : 0.0 sec. user=vaughan [2012-04-25 21:23:56] 485*2^1131748-1 is not prime. Res64: 094634C860049253 Time : 0.0 sec. user=vaughan [2012-04-25 21:23:57] 573*2^1131748-1 is not prime. Res64: 880E84C7047CC61A Time : 0.0 sec. user=vaughan [2012-04-25 21:32:01] 579*2^1131748-1 is not prime. Res64: E83889043EA4AB15 Time : 0.0 sec. user=vaughan [2012-04-25 21:32:02] 507*2^1131749-1 is not prime. Res64: E5D6FE710B94FC38 Time : 0.0 sec. user=vaughan [2012-04-25 21:32:11] 565*2^1131749-1 is not prime. Res64: 20AAF387F1098BAD Time : 0.0 sec. user=vaughan [2012-04-25 21:32:18] 405*2^1131750-1 is not prime. Res64: 0E11A4945B6A1AD0 Time : 0.0 sec. user=vaughan [2012-04-25 21:40:29] 413*2^1131750-1 is not prime. Res64: 0CC9CEB86EDB4FB4 Time : 0.0 sec. user=vaughan [2012-04-25 21:40:30] 471*2^1131750-1 is not prime. Res64: 8266A039224A0B3F Time : 0.0 sec. user=vaughan [2012-04-25 21:42:09] 525*2^1131750-1 is not prime. Res64: B93B17853E014373 Time : 0.0 sec. user=vaughan [2012-04-25 21:42:09] 537*2^1131750-1 is not prime. Res64: 2D10E1599FB9F543 Time : 0.0 sec. user=vaughan [2012-04-25 21:42:38] 423*2^1131751-1 is not prime. Res64: 241F825AB594B7B2 Time : 0.0 sec. user=vaughan [2012-04-25 21:42:38] 451*2^1131751-1 is not prime. Res64: 32F03C737EDE73D0 Time : 0.0 sec. user=vaughan [2012-04-25 21:44:37] 453*2^1131751-1 is not prime. Res64: EC99EF360E7191D6 Time : 0.0 sec. user=vaughan [2012-04-25 21:44:38] 505*2^1131751-1 is not prime. Res64: 6AFF613762D77F8C Time : 0.0 sec. user=vaughan [2012-04-25 21:47:35] 519*2^1131751-1 is not prime. Res64: 31B61D65BACA54B6 Time : 0.0 sec. user=vaughan [2012-04-25 21:47:39] 531*2^1131751-1 is not prime. Res64: C5C055CD18AC0B0A Time : 0.0 sec. user=vaughan [2012-04-25 21:47:45] 535*2^1131751-1 is not prime. Res64: 03E606152FC03604 Time : 0.0 sec. user=vaughan [2012-04-25 21:47:53] 413*2^1131752-1 is not prime. Res64: 0F526356B0D89C57 Time : 0.0 sec. user=vaughan [2012-04-25 22:01:12] 531*2^1131754-1 is not prime. Res64: EAE975C156B3924F Time : 0.0 sec. user=vaughan [2012-04-25 22:01:13] 545*2^1131754-1 is not prime. Res64: DFACE3805203A6ED Time : 0.0 sec. user=vaughan [2012-04-25 22:02:40] 451*2^1131755-1 is not prime. Res64: B4DFE3CE72BC4A1E Time : 0.0 sec. user=vaughan [2012-04-25 22:02:41] 523*2^1131755-1 is not prime. Res64: 9AE5343F6DD8B898 Time : 0.0 sec. user=vaughan [2012-04-25 22:03:16] 465*2^1131757-1 is not prime. Res64: 272FFF60463049EF Time : 0.0 sec. user=vaughan [2012-04-25 22:03:17] 499*2^1131757-1 is not prime. Res64: 5DB1EB5852C25A37 Time : 0.0 sec. user=vaughan [2012-04-25 22:03:25] 537*2^1131757-1 is not prime. Res64: 9F1E7735DBBACB84 Time : 0.0 sec. user=vaughan [2012-04-25 22:03:27] 543*2^1131755-1 is not prime. Res64: 8AE7C782C4B39044 Time : 0.0 sec. user=vaughan [2012-04-25 22:03:29] 413*2^1131756-1 is not prime. Res64: 14F7F1254ADDB122 Time : 0.0 sec. user=vaughan [2012-04-25 22:03:34] 423*2^1131758-1 is not prime. Res64: 3EDBD26E9FA5AF7D Time : 0.0 sec. user=vaughan [2012-04-25 22:05:05] 479*2^1131756-1 is not prime. Res64: AFA905C68F7E8EF9 Time : 0.0 sec. user=vaughan [2012-04-25 22:05:06] 447*2^1131757-1 is not prime. Res64: B153BA86F16CDDCA Time : 0.0 sec. user=vaughan [2012-04-25 22:18:55] 587*2^1131760-1 is not prime. Res64: 14AB928646BCA891 Time : 0.0 sec. user=vaughan [2012-04-25 22:18:59] 513*2^1131760-1 is not prime. Res64: 1C0F9AED44E8D476 Time : 0.0 sec. user=vaughan [2012-04-25 22:19:08] 405*2^1131761-1 is not prime. Res64: 5297BEE4D550A9FA Time : 0.0 sec. user=vaughan [2012-04-25 22:19:14] 465*2^1131761-1 is not prime. Res64: 36B8627246F39A73 Time : 0.0 sec. user=vaughan [2012-04-25 22:22:06] 515*2^1131758-1 is not prime. Res64: DD8B291398D4C5AD Time : 0.0 sec. user=vaughan [2012-04-25 22:22:07] 511*2^1131759-1 is not prime. Res64: A58EAE7994174ADE Time : 0.0 sec. user=vaughan [2012-04-25 22:23:14] 429*2^1131760-1 is not prime. Res64: E4DEAC77CCF261CE Time : 0.0 sec. user=vaughan [2012-04-25 22:23:15] 479*2^1131760-1 is not prime. Res64: 66DCC10AE3000C29 Time : 0.0 sec. user=vaughan [2012-04-25 22:24:10] 411*2^1131761-1 is not prime. Res64: 2F6AB78181BB8CA5 Time : 0.0 sec. user=vaughan [2012-04-25 22:24:10] 459*2^1131761-1 is not prime. Res64: 2E09D2EE73545D21 Time : 0.0 sec. user=vaughan [2012-04-25 22:25:56] 487*2^1131761-1 is not prime. Res64: 9C20E3C480854A36 Time : 0.0 sec. user=vaughan [2012-04-25 22:25:57] 517*2^1131761-1 is not prime. Res64: BC20E19F1C4D0ED1 Time : 0.0 sec. user=vaughan [2012-04-25 22:34:35] 503*2^1131762-1 is not prime. Res64: F8B1E4FD1ABE62FF Time : 0.0 sec. user=vaughan [2012-04-25 22:34:40] 423*2^1131762-1 is not prime. Res64: 53A8E83F41F05793 Time : 0.0 sec. user=vaughan [2012-04-25 22:34:53] 555*2^1131762-1 is not prime. Res64: D2701C49B429AC9A Time : 0.0 sec. user=vaughan [2012-04-25 22:34:58] 563*2^1131762-1 is not prime. Res64: BCBC3C2997535861 Time : 0.0 sec. user=vaughan [2012-04-25 22:42:38] 493*2^1131763-1 is not prime. Res64: A49C00AE6559B28E Time : 0.0 sec. user=vaughan [2012-04-25 22:42:39] 495*2^1131763-1 is not prime. Res64: 04A20E950F2F4E37 Time : 0.0 sec. user=vaughan [2012-04-25 22:44:02] 447*2^1131764-1 is not prime. Res64: AC7EA28C892C5267 Time : 0.0 sec. user=vaughan [2012-04-25 22:44:03] 479*2^1131764-1 is not prime. Res64: 67FBAD3B4AA5921E Time : 0.0 sec. user=vaughan [2012-04-25 22:44:38] 525*2^1131764-1 is not prime. Res64: BC3027F52C2B1CB8 Time : 0.0 sec. user=vaughan [2012-04-25 22:44:38] 475*2^1131765-1 is not prime. Res64: 956A74C362B7A083 Time : 0.0 sec. user=vaughan [2012-04-25 22:46:33] 507*2^1131765-1 is not prime. Res64: DF83EBFEE461EE33 Time : 0.0 sec. user=vaughan [2012-04-25 22:46:34] 525*2^1131765-1 is not prime. Res64: 5FF265EC4B44898E Time : 0.0 sec. user=vaughan [2012-04-25 22:50:12] 579*2^1131765-1 is not prime. Res64: FF2EFD232D846F74 Time : 0.0 sec. user=vaughan [2012-04-25 22:50:19] 453*2^1131766-1 is not prime. Res64: 11FBFF9E312CA178 Time : 0.0 sec. user=vaughan [2012-04-25 22:50:27] 551*2^1131766-1 is not prime. Res64: E7B1D1D0F35FB6A2 Time : 0.0 sec. user=vaughan [2012-04-25 22:50:34] 561*2^1131766-1 is not prime. Res64: FC6DEF0A2F4CB6DE Time : 0.0 sec. user=vaughan [2012-04-25 23:03:20] 441*2^1131767-1 is not prime. Res64: F41BB27D5D222381 Time : 0.0 sec. user=vaughan [2012-04-25 23:03:21] 559*2^1131767-1 is not prime. Res64: 2178D059BB111372 Time : 0.0 sec. user=vaughan [2012-04-25 23:04:45] 571*2^1131767-1 is not prime. Res64: 0C732AA18401AD59 Time : 0.0 sec. user=vaughan [2012-04-25 23:04:48] 413*2^1131768-1 is not prime. Res64: 5C383F362DB477E2 Time : 0.0 sec. user=vaughan [2012-04-25 23:05:18] 425*2^1131768-1 is not prime. Res64: BE074C0C07A0BDB9 Time : 0.0 sec. user=vaughan [2012-04-25 23:05:20] 479*2^1131768-1 is not prime. Res64: 0B693AB0C8D23729 Time : 0.0 sec. user=vaughan [2012-04-25 23:05:50] 535*2^1131769-1 is not prime. Res64: D1FF5072B27AF3D3 Time : 0.0 sec. user=vaughan [2012-04-25 23:05:55] 437*2^1131770-1 is not prime. Res64: 384F28BC30C94F19 Time : 0.0 sec. user=vaughan [2012-04-25 23:06:07] 447*2^1131770-1 is not prime. Res64: 9E5719C5119F13CF Time : 0.0 sec. user=vaughan [2012-04-25 23:06:10] 515*2^1131770-1 is not prime. Res64: 75F7125A72EA819C Time : 0.0 sec. user=vaughan [2012-04-25 23:07:02] 539*2^1131768-1 is not prime. Res64: 8659665885B39D41 Time : 0.0 sec. user=vaughan [2012-04-25 23:07:06] 597*2^1131768-1 is not prime. Res64: EF4FA38CE6B10F82 Time : 0.0 sec. user=vaughan [2012-04-25 23:21:28] 507*2^1131772-1 is not prime. Res64: 16608D4B47963608 Time : 0.0 sec. user=vaughan [2012-04-25 23:21:35] 411*2^1131773-1 is not prime. Res64: 93DCA2E7ECC41ECE Time : 0.0 sec. user=vaughan [2012-04-25 23:21:44] 435*2^1131773-1 is not prime. Res64: E8A1C09A0F95AC28 Time : 0.0 sec. user=vaughan [2012-04-25 23:21:48] 445*2^1131773-1 is not prime. Res64: 8FF246AC2F3581DE Time : 0.0 sec. user=vaughan [2012-04-25 23:24:10] 561*2^1131770-1 is not prime. Res64: E405296C050283C4 Time : 0.0 sec. user=vaughan [2012-04-25 23:24:11] 585*2^1131770-1 is not prime. Res64: CAF47F43B41C1643 Time : 0.0 sec. user=vaughan [2012-04-25 23:25:34] 403*2^1131771-1 is not prime. Res64: 3FA72B89B9C4490E Time : 0.0 sec. user=vaughan [2012-04-25 23:25:35] 571*2^1131771-1 is not prime. Res64: 95EC7C4D6849117E Time : 0.0 sec. user=vaughan [2012-04-25 23:26:00] 449*2^1131772-1 is not prime. Res64: 1FBB2BD93ED5A608 Time : 0.0 sec. user=vaughan [2012-04-25 23:26:00] 453*2^1131772-1 is not prime. Res64: 46C8BD9FEEB51159 Time : 0.0 sec. user=vaughan [2012-04-25 23:27:45] 465*2^1131773-1 is not prime. Res64: E627B9C2B553E065 Time : 0.0 sec. user=vaughan [2012-04-25 23:27:46] 411*2^1131774-1 is not prime. Res64: 572978F3D12A254A Time : 0.0 sec. user=vaughan [2012-04-25 23:37:12] 443*2^1131774-1 is not prime. Res64: B68BDFE60FCA86EC Time : 0.0 sec. user=vaughan [2012-04-25 23:37:16] 437*2^1131774-1 is not prime. Res64: E2C8C0819F19D5D1 Time : 0.0 sec. user=vaughan [2012-04-25 23:37:27] 483*2^1131774-1 is not prime. Res64: 2835A5BC945DA0E0 Time : 0.0 sec. user=vaughan [2012-04-25 23:37:31] 465*2^1131774-1 is not prime. Res64: 6D13D8AF9C85117F Time : 0.0 sec. user=vaughan [2012-04-25 23:44:36] 455*2^1131776-1 is not prime. Res64: 0AA9B08631545CCB Time : 0.0 sec. user=vaughan [2012-04-25 23:44:37] 519*2^1131776-1 is not prime. Res64: 4ED9495F845FE712 Time : 0.0 sec. user=vaughan [2012-04-25 23:46:12] 525*2^1131776-1 is not prime. Res64: B548A5AB51B509EB Time : 0.0 sec. user=vaughan [2012-04-25 23:46:13] 409*2^1131777-1 is not prime. Res64: 069109EBD1C25A52 Time : 0.0 sec. user=vaughan [2012-04-25 23:46:33] 423*2^1131778-1 is not prime. Res64: BFFE1D94131DB7FE Time : 0.0 sec. user=vaughan [2012-04-25 23:46:34] 461*2^1131778-1 is not prime. Res64: A37B87426EC502BB Time : 0.0 sec. user=vaughan [2012-04-25 23:48:33] 483*2^1131778-1 is not prime. Res64: F9ED711D160C17FA Time : 0.0 sec. user=vaughan [2012-04-25 23:48:34] 435*2^1131779-1 is not prime. Res64: 95B1F33C3289927F Time : 0.0 sec. user=vaughan [2012-04-25 23:52:55] 589*2^1131779-1 is not prime. Res64: 79E589B36B8B73EE Time : 0.0 sec. user=vaughan [2012-04-25 23:52:59] 595*2^1131779-1 is not prime. Res64: EB3F6D4319EC2FC3 Time : 0.0 sec. user=vaughan [2012-04-25 23:53:16] 513*2^1131780-1 is not prime. Res64: 91FF745DA7EDEAD8 Time : 0.0 sec. user=vaughan [2012-04-25 23:53:20] 527*2^1131780-1 is not prime. Res64: 068B2E0768683A99 Time : 0.0 sec. user=vaughan [2012-04-25 23:55:42] 425*2^1131774-1 is not prime. Res64: FAD7EAF5FDFED816 Time : 0.0 sec.