user=vaughan [2012-02-16 00:03:16] 519*2^1124096-1 is not prime. Res64: D8D0B25F87B37609 Time : 0.0 sec. user=vaughan [2012-02-16 00:03:17] 429*2^1124097-1 is not prime. Res64: 6BA4CC4C682F495C Time : 0.0 sec. user=vaughan [2012-02-16 00:03:45] 439*2^1124097-1 is not prime. Res64: 3EBAB0375A662FC9 Time : 0.0 sec. user=vaughan [2012-02-16 00:03:46] 531*2^1124097-1 is not prime. Res64: 48AB0FE0BC480ACC Time : 0.0 sec. user=vaughan [2012-02-16 00:15:28] 533*2^1124102-1 is not prime. Res64: 5B79909ADB783E66 Time : 0.0 sec. user=vaughan [2012-02-16 00:15:34] 551*2^1124102-1 is not prime. Res64: EFC4DBDC836F71DE Time : 0.0 sec. user=vaughan [2012-02-16 00:15:52] 567*2^1124102-1 is not prime. Res64: ED252C624486980B Time : 0.0 sec. user=vaughan [2012-02-16 00:15:54] 585*2^1124102-1 is not prime. Res64: F1C415FE965CE79B Time : 0.0 sec. user=vaughan [2012-02-16 00:15:55] 549*2^1124103-1 is not prime. Res64: EE286DE033858910 Time : 0.0 sec. user=vaughan [2012-02-16 00:15:56] 553*2^1124103-1 is not prime. Res64: CAA7145FC8955110 Time : 0.0 sec. user=vaughan [2012-02-16 00:16:05] 429*2^1124104-1 is not prime. Res64: 4300D3D671042535 Time : 0.0 sec. user=vaughan [2012-02-16 00:16:06] 479*2^1124104-1 is not prime. Res64: DAA67A040C18741A Time : 0.0 sec. user=vaughan [2012-02-16 00:16:59] 559*2^1124101-1 is not prime. Res64: B130A026E3C8EC4F Time : 0.0 sec. user=vaughan [2012-02-16 00:17:00] 597*2^1124101-1 is not prime. Res64: 75B467B15AB1FBBC Time : 0.0 sec. user=vaughan [2012-02-16 00:17:22] 417*2^1124102-1 is not prime. Res64: 010B0FF8F308B7C7 Time : 0.0 sec. user=vaughan [2012-02-16 00:17:23] 425*2^1124102-1 is not prime. Res64: 0F4C4A7DA9F2E285 Time : 0.0 sec. user=vaughan [2012-02-16 00:18:34] 581*2^1124098-1 is not prime. Res64: 62D9C03D5AC809A9 Time : 0.0 sec. user=vaughan [2012-02-16 00:18:35] 433*2^1124099-1 is not prime. Res64: CE8A24BD9CD9A029 Time : 0.0 sec. user=vaughan [2012-02-16 00:25:52] 495*2^1124099-1 is not prime. Res64: 8F2E95827FEB4FE9 Time : 0.0 sec. user=vaughan [2012-02-16 00:25:53] 571*2^1124099-1 is not prime. Res64: DDDFC4AB32ADDC6E Time : 0.0 sec. user=vaughan [2012-02-16 00:25:56] 425*2^1124100-1 is not prime. Res64: F8CFE3FF15B60172 Time : 0.0 sec. user=vaughan [2012-02-16 00:25:57] 465*2^1124100-1 is not prime. Res64: 161C4E4D43485A54 Time : 0.0 sec. user=vaughan [2012-02-16 00:26:00] 473*2^1124100-1 is not prime. Res64: A3022E247D14E511 Time : 0.0 sec. user=vaughan [2012-02-16 00:26:00] 537*2^1124100-1 is not prime. Res64: 19472C8F26B91137 Time : 0.0 sec. user=vaughan [2012-02-16 00:26:03] 439*2^1124101-1 is not prime. Res64: EEE64B47D83A3069 Time : 0.0 sec. user=vaughan [2012-02-16 00:26:04] 489*2^1124101-1 is not prime. Res64: 357FB04537861332 Time : 0.0 sec. user=vaughan [2012-02-16 00:29:53] 487*2^1124105-1 is not prime. Res64: 2730357DC550AA6D Time : 0.0 sec. user=vaughan [2012-02-16 00:29:53] 561*2^1124105-1 is not prime. Res64: 286FDAAD60B708B5 Time : 0.0 sec. user=vaughan [2012-02-16 00:30:12] 567*2^1124105-1 is not prime. Res64: B54D68A80CE3BE87 Time : 0.0 sec. user=vaughan [2012-02-16 00:30:12] 585*2^1124105-1 is not prime. Res64: BC1462BA37255929 Time : 0.0 sec. user=vaughan [2012-02-16 00:36:52] 485*2^1124104-1 is not prime. Res64: 7E657C5064A93CCA Time : 0.0 sec. user=vaughan [2012-02-16 00:36:53] 533*2^1124104-1 is not prime. Res64: 3991F4EFC8734BBF Time : 0.0 sec. user=vaughan [2012-02-16 00:38:04] 471*2^1124106-1 is not prime. Res64: 02DD6B8911D77192 Time : 0.0 sec. user=vaughan [2012-02-16 00:38:04] 495*2^1124106-1 is not prime. Res64: C80D01977E9EA1F6 Time : 0.0 sec. user=vaughan [2012-02-16 00:38:16] 585*2^1124106-1 is not prime. Res64: 58EF2252B15723DD Time : 0.0 sec. user=vaughan [2012-02-16 00:38:16] 573*2^1124107-1 is not prime. Res64: 69C16A0D9747FE79 Time : 0.0 sec. user=vaughan [2012-02-16 00:38:18] 479*2^1124108-1 is not prime. Res64: C8989DB6A3A52821 Time : 0.0 sec. user=vaughan [2012-02-16 00:38:19] 507*2^1124108-1 is not prime. Res64: 11665E28E3D94753 Time : 0.0 sec. user=vaughan [2012-02-16 00:38:24] 533*2^1124108-1 is not prime. Res64: 8B458FD785149262 Time : 0.0 sec. user=vaughan [2012-02-16 00:38:25] 507*2^1124109-1 is not prime. Res64: 9B549D812D8AB68A Time : 0.0 sec. user=vaughan [2012-02-16 00:40:28] 581*2^1123986-1 is not prime. Res64: 6BCC519CB8D19A2E Time : 0.0 sec. user=vaughan [2012-02-16 00:40:32] 517*2^1123549-1 is not prime. Res64: A9B3DD2A5A1C733B Time : 0.0 sec. user=vaughan [2012-02-16 00:40:37] 511*2^1123987-1 is not prime. Res64: B3F34270C9E44933 Time : 0.0 sec. user=vaughan [2012-02-16 00:40:40] 475*2^1123987-1 is not prime. Res64: 42BB9E5A11672851 Time : 0.0 sec. user=vaughan [2012-02-16 00:43:22] 549*2^1124109-1 is not prime. Res64: F12B158DA31E76EA Time : 0.0 sec. user=vaughan [2012-02-16 00:43:23] 559*2^1124109-1 is not prime. Res64: B82A0C672AF4AA93 Time : 0.0 sec. user=vaughan [2012-02-16 00:43:27] 413*2^1123988-1 is not prime. Res64: B14E4950BC782906 Time : 0.0 sec. user=vaughan [2012-02-16 00:43:40] 579*2^1124109-1 is not prime. Res64: 7A70516740F05600 Time : 0.0 sec. user=vaughan [2012-02-16 00:43:41] 477*2^1124110-1 is not prime. Res64: 9F69071155ECED05 Time : 0.0 sec. user=vaughan [2012-02-16 00:51:20] 435*2^1124003-1 is not prime. Res64: 600B51B055EBEA66 Time : 0.0 sec. user=vaughan [2012-02-16 00:51:28] 483*2^1124002-1 is not prime. Res64: 272D164DFAD1E253 Time : 0.0 sec. user=vaughan [2012-02-16 00:51:42] 435*2^1124002-1 is not prime. Res64: 06CFEBAC6C9265D4 Time : 0.0 sec. user=vaughan [2012-02-16 00:55:17] 483*2^1124110-1 is not prime. Res64: FF92E756A8019C5C Time : 0.0 sec. user=vaughan [2012-02-16 00:55:18] 593*2^1124110-1 is not prime. Res64: 544C338BF5A4FE10 Time : 0.0 sec. user=vaughan [2012-02-16 00:56:40] 507*2^1124114-1 is not prime. Res64: DD8D044353A5151F Time : 0.0 sec. user=vaughan [2012-02-16 00:56:41] 575*2^1124114-1 is not prime. Res64: 55003D75C7C5800E Time : 0.0 sec. user=vaughan [2012-02-16 00:57:01] 433*2^1124115-1 is not prime. Res64: 77B8DD8307D62F63 Time : 0.0 sec. user=vaughan [2012-02-16 00:57:01] 451*2^1124115-1 is not prime. Res64: 8A1AF45A071C3B4A Time : 0.0 sec. user=vaughan [2012-02-16 00:58:49] 515*2^1123620-1 is not prime. Res64: 3E22F390CF0983C6 Time : 0.0 sec. user=vaughan [2012-02-16 00:58:50] 563*2^1123620-1 is not prime. Res64: 8981F5961A412A65 Time : 0.0 sec. user=vaughan [2012-02-16 01:00:46] 497*2^1124116-1 is not prime. Res64: 5402DA74C925C9AB Time : 0.0 sec. user=vaughan [2012-02-16 01:00:54] 527*2^1124116-1 is not prime. Res64: 9B6D5ACFBABB727B Time : 0.0 sec. user=vaughan [2012-02-16 01:01:01] 589*2^1124117-1 is not prime. Res64: 3E49C2967B8E541F Time : 0.0 sec. user=vaughan [2012-02-16 01:01:02] 447*2^1124118-1 is not prime. Res64: 12B12B84ED40CA31 Time : 0.0 sec. user=vaughan [2012-02-16 01:01:04] 405*2^1124118-1 is not prime. Res64: F3C1BFA28BCC6E51 Time : 0.0 sec. user=vaughan [2012-02-16 01:01:05] 561*2^1124117-1 is not prime. Res64: E6910024485C48F8 Time : 0.0 sec. user=vaughan [2012-02-16 01:01:07] 453*2^1124118-1 is not prime. Res64: 04DB00681DBF40C7 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:39] 403*2^1124111-1 is not prime. Res64: EE8C5578813A7052 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:39] 445*2^1124111-1 is not prime. Res64: 67B0310DA3608986 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:41] 571*2^1124111-1 is not prime. Res64: F474CFAABC633730 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:42] 569*2^1124112-1 is not prime. Res64: DB502645FB184784 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:43] 587*2^1124112-1 is not prime. Res64: D1EB7E24C2FB6BE7 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:44] 561*2^1124113-1 is not prime. Res64: D1E0342EB0B55CCA Time : 0.0 sec. user=vaughan [2012-02-16 01:02:48] 425*2^1124114-1 is not prime. Res64: 5E6A69072B812234 Time : 0.0 sec. user=vaughan [2012-02-16 01:02:49] 473*2^1124114-1 is not prime. Res64: 8711D804A426094F Time : 0.0 sec. user=vaughan [2012-02-16 01:04:26] 425*2^1123558-1 is not prime. Res64: 05EC156AB7884BB9 Time : 0.0 sec. user=vaughan [2012-02-16 01:04:28] 467*2^1123558-1 is not prime. Res64: 5C2BC259E1B06672 Time : 0.0 sec. user=vaughan [2012-02-16 01:04:35] 513*2^1123995-1 is not prime. Res64: 630EFD4741DCF603 Time : 0.0 sec. user=vaughan [2012-02-16 01:04:36] 579*2^1123995-1 is not prime. Res64: CF8B0DFC3A872AD6 Time : 0.0 sec. user=vaughan [2012-02-16 01:04:46] 413*2^1123996-1 is not prime. Res64: 09374D06A96BEC1B Time : 0.0 sec. user=vaughan [2012-02-16 01:04:48] 453*2^1123996-1 is not prime. Res64: 4DADC8C290EED7DD Time : 0.0 sec. user=vaughan [2012-02-16 01:10:01] 453*2^1124122-1 is not prime. Res64: C4659D26888B7519 Time : 0.0 sec. user=vaughan [2012-02-16 01:10:03] 483*2^1124122-1 is not prime. Res64: 610B5C4A0DAFB6B5 Time : 0.0 sec. user=vaughan [2012-02-16 01:10:41] 589*2^1124123-1 is not prime. Res64: 389A139428FDAB62 Time : 0.0 sec. user=vaughan [2012-02-16 01:10:42] 423*2^1124124-1 is not prime. Res64: BE7EEAE8550775BC Time : 0.0 sec. user=vaughan [2012-02-16 01:13:39] 489*2^1124115-1 is not prime. Res64: 0AE878518C0354E1 Time : 0.0 sec. user=vaughan [2012-02-16 01:13:39] 501*2^1124115-1 is not prime. Res64: C66EB459A2B4860B Time : 0.0 sec. user=vaughan [2012-02-16 01:14:42] 581*2^1124118-1 is not prime. Res64: EA09EFC79DB5A615 Time : 0.0 sec. user=vaughan [2012-02-16 01:14:43] 505*2^1124119-1 is not prime. Res64: CBD9C3C74C875388 Time : 0.0 sec. user=vaughan [2012-02-16 01:14:53] 427*2^1124121-1 is not prime. Res64: 825B0EA4F75F2B78 Time : 0.0 sec. user=vaughan [2012-02-16 01:14:54] 471*2^1124121-1 is not prime. Res64: 43BAD3A88F8BCFF7 Time : 0.0 sec. user=vaughan [2012-02-16 01:14:54] 543*2^1124120-1 is not prime. Res64: 6AC3F5A40107C00D Time : 0.0 sec. user=vaughan [2012-02-16 01:14:55] 415*2^1124121-1 is not prime. Res64: C44671C5DC71C663 Time : 0.0 sec. user=vaughan [2012-02-16 01:15:02] 495*2^1124121-1 is not prime. Res64: 214449FF978B8CF2 Time : 0.0 sec. user=vaughan [2012-02-16 01:15:04] 535*2^1124121-1 is not prime. Res64: 9B1F1B9995559C97 Time : 0.0 sec. user=vaughan [2012-02-16 01:23:25] 567*2^1124130-1 is not prime. Res64: 6C41AF442D6B9C6D Time : 0.0 sec. user=vaughan [2012-02-16 01:23:25] 539*2^1124132-1 is not prime. Res64: 5B268397D4819441 Time : 0.0 sec. user=vaughan [2012-02-16 01:23:31] 487*2^1124133-1 is not prime. Res64: D380E20890E20FAD Time : 0.0 sec. user=vaughan [2012-02-16 01:23:32] 549*2^1124133-1 is not prime. Res64: 517482C088EE313E Time : 0.0 sec. user=vaughan [2012-02-16 01:23:34] 459*2^1124133-1 is not prime. Res64: 0D1E08B8742C999A Time : 0.0 sec. user=vaughan [2012-02-16 01:23:35] 471*2^1124133-1 is not prime. Res64: FD3F376FE9B09DE7 Time : 0.0 sec. user=vaughan [2012-02-16 01:24:27] 461*2^1124126-1 is not prime. Res64: CC3D7E793BDE148C Time : 0.0 sec. user=vaughan [2012-02-16 01:24:28] 507*2^1124126-1 is not prime. Res64: E3D75B1D628F8AAD Time : 0.0 sec. user=vaughan [2012-02-16 01:24:57] 501*2^1124127-1 is not prime. Res64: 592999B9A2057643 Time : 0.0 sec. user=vaughan [2012-02-16 01:24:58] 579*2^1124127-1 is not prime. Res64: 4D7D37CFA781FA4D Time : 0.0 sec. user=vaughan [2012-02-16 01:25:14] 503*2^1124122-1 is not prime. Res64: B3EEEE5703C729A1 Time : 0.0 sec. user=vaughan [2012-02-16 01:25:14] 489*2^1124123-1 is not prime. Res64: E5C8086787D136F4 Time : 0.0 sec. user=vaughan [2012-02-16 01:30:37] 525*2^1124116-1 is not prime. Res64: 7158BCB34B2595EF Time : 0.0 sec. user=vaughan [2012-02-16 01:32:00] 469*2^1124125-1 is not prime. Res64: A954462226EB24FD Time : 0.0 sec. user=vaughan [2012-02-16 01:32:01] 507*2^1124125-1 is not prime. Res64: FDB1A6CFEDF25C09 Time : 0.0 sec. user=vaughan [2012-02-16 01:36:03] 437*2^1124124-1 is not prime. Res64: A9151B4E14136D01 Time : 0.0 sec. user=vaughan [2012-02-16 01:36:04] 453*2^1124124-1 is not prime. Res64: C6596D90147D6393 Time : 0.0 sec. user=vaughan [2012-02-16 01:36:09] 525*2^1124124-1 is not prime. Res64: 75ED98C2B99B1077 Time : 0.0 sec. user=vaughan [2012-02-16 01:36:10] 549*2^1124124-1 is not prime. Res64: B713048A367A88B9 Time : 0.0 sec. user=vaughan [2012-02-16 01:36:30] 585*2^1124124-1 is not prime. Res64: A18E64BE74123236 Time : 0.0 sec. user=vaughan [2012-02-16 01:36:31] 411*2^1124125-1 is not prime. Res64: 553A0291C1AEF69B Time : 0.0 sec. user=vaughan [2012-02-16 01:38:11] 417*2^1124138-1 is not prime. Res64: EA6378A8C70B6E09 Time : 0.0 sec. user=vaughan [2012-02-16 01:38:11] 453*2^1124138-1 is not prime. Res64: 2D8C3B8255AF8F76 Time : 0.0 sec. user=vaughan [2012-02-16 01:38:57] 467*2^1124138-1 is not prime. Res64: 609F4F268C9C1212 Time : 0.0 sec. user=vaughan [2012-02-16 01:38:58] 497*2^1124138-1 is not prime. Res64: BC0BC9359F48D354 Time : 0.0 sec. user=vaughan [2012-02-16 01:39:26] 555*2^1124133-1 is not prime. Res64: A43660F71AE6480F Time : 0.0 sec. user=vaughan [2012-02-16 01:39:27] 565*2^1124133-1 is not prime. Res64: CE8A16B97B7C08A6 Time : 0.0 sec. user=vaughan [2012-02-16 01:39:29] 425*2^1124134-1 is not prime. Res64: 2D405A9337378426 Time : 0.0 sec. user=vaughan [2012-02-16 01:39:30] 459*2^1124135-1 is not prime. Res64: 03A6B4C9395E924E Time : 0.0 sec. user=vaughan [2012-02-16 01:39:31] 475*2^1124135-1 is not prime. Res64: 5C936BE9E9249569 Time : 0.0 sec. user=vaughan [2012-02-16 01:39:34] 519*2^1124135-1 is not prime. Res64: 389F67D1CDD45127 Time : 0.0 sec. user=vaughan [2012-02-16 01:39:39] 523*2^1124135-1 is not prime. Res64: 7114B5BD906B8160 Time : 0.0 sec. user=vaughan [2012-02-16 01:39:40] 573*2^1124135-1 is not prime. Res64: 2157CE98374FB5A7 Time : 0.0 sec. user=vaughan [2012-02-16 01:40:06] 495*2^1124128-1 is not prime. Res64: 0904A2716B12B7BE Time : 0.0 sec. user=vaughan [2012-02-16 01:40:07] 573*2^1124128-1 is not prime. Res64: 90435B27983EF14F Time : 0.0 sec. user=vaughan [2012-02-16 01:45:55] 483*2^1124142-1 is not prime. Res64: 3DBB308F0E67F97B Time : 0.0 sec. user=vaughan [2012-02-16 01:45:56] 567*2^1124142-1 is not prime. Res64: 3E099FB5A8C13FA1 Time : 0.0 sec. user=vaughan [2012-02-16 01:46:01] 587*2^1124136-1 is not prime. Res64: E6946271E4D13F3C Time : 0.0 sec. user=vaughan [2012-02-16 01:46:02] 425*2^1124142-1 is not prime. Res64: 12A0C045AA742C76 Time : 0.0 sec. user=vaughan [2012-02-16 01:46:02] 457*2^1124137-1 is not prime. Res64: FB6E057961D311B2 Time : 0.0 sec. user=vaughan [2012-02-16 01:46:03] 447*2^1124142-1 is not prime. Res64: 63919DCE8994906E Time : 0.0 sec. user=vaughan [2012-02-16 01:46:10] 593*2^1124142-1 is not prime. Res64: 7F5D5C0992436745 Time : 0.0 sec. user=vaughan [2012-02-16 01:46:11] 429*2^1124143-1 is not prime. Res64: 7FFEE1B87A60618F Time : 0.0 sec. user=vaughan [2012-02-16 01:46:13] 477*2^1124137-1 is not prime. Res64: 4575F9EA1DEC4F41 Time : 0.0 sec. user=vaughan [2012-02-16 01:46:14] 589*2^1124137-1 is not prime. Res64: D9669B0D9F21E973 Time : 0.0 sec. user=vaughan [2012-02-16 01:48:41] 453*2^1124136-1 is not prime. Res64: 00575D267B939903 Time : 0.0 sec. user=vaughan [2012-02-16 01:48:42] 527*2^1124136-1 is not prime. Res64: 13ECFD27A2180687 Time : 0.0 sec. user=vaughan [2012-02-16 01:49:05] 563*2^1124138-1 is not prime. Res64: 97F9DEAA565A888B Time : 0.0 sec. user=vaughan [2012-02-16 01:49:06] 567*2^1124138-1 is not prime. Res64: 54DF69CB2812D3AE Time : 0.0 sec. user=vaughan [2012-02-16 01:49:10] 439*2^1124139-1 is not prime. Res64: E4155754C1B801F6 Time : 0.0 sec. user=vaughan [2012-02-16 01:49:11] 481*2^1124139-1 is not prime. Res64: F0C05680C789BD39 Time : 0.0 sec. user=vaughan [2012-02-16 01:49:17] 449*2^1124140-1 is not prime. Res64: 6C1A89C24182D63D Time : 0.0 sec. user=vaughan [2012-02-16 01:49:18] 513*2^1124140-1 is not prime. Res64: 785197A366A51931 Time : 0.0 sec. user=vaughan [2012-02-16 01:49:35] 475*2^1124141-1 is not prime. Res64: 1CCBE123F4FF0595 Time : 0.0 sec. user=vaughan [2012-02-16 01:49:37] 547*2^1124141-1 is not prime. Res64: 6697A626FE294E2D Time : 0.0 sec. user=vaughan [2012-02-16 01:50:22] 545*2^1124138-1 is not prime. Res64: 5360D26AA1B7E139 Time : 0.0 sec. user=vaughan [2012-02-16 01:50:23] 551*2^1124138-1 is not prime. Res64: 125FBC3880B71F04 Time : 0.0 sec. user=vaughan [2012-02-16 01:51:24] 453*2^1124143-1 is not prime. Res64: 82D1554FA5C37524 Time : 0.0 sec. user=vaughan [2012-02-16 01:51:25] 481*2^1124143-1 is not prime. Res64: 57DF36FB55390678 Time : 0.0 sec. user=vaughan [2012-02-16 01:51:41] 595*2^1124143-1 is not prime. Res64: 0F938EBE142415CB Time : 0.0 sec. user=vaughan [2012-02-16 01:51:42] 507*2^1124144-1 is not prime. Res64: 38DFD629D9F99DFA Time : 0.0 sec. user=vaughan [2012-02-16 01:53:26] 483*2^1124146-1 is not prime. Res64: 0C971B2D86E84EFD Time : 0.0 sec. user=vaughan [2012-02-16 01:53:27] 575*2^1124146-1 is not prime. Res64: A9BDBDCC7B5B7705 Time : 0.0 sec. user=vaughan [2012-02-16 02:04:51] 545*2^1124150-1 is not prime. Res64: 251CFC0D2F212813 Time : 0.0 sec. user=vaughan [2012-02-16 02:04:52] 403*2^1124151-1 is not prime. Res64: A534A239CD62B11E Time : 0.0 sec. user=vaughan [2012-02-16 02:05:34] 441*2^1124151-1 is not prime. Res64: EA05B8ABCBDA6ED2 Time : 0.0 sec. user=vaughan [2012-02-16 02:05:35] 453*2^1124151-1 is not prime. Res64: D8254047EFD450A5 Time : 0.0 sec. user=vaughan [2012-02-16 02:06:23] 441*2^1124145-1 is not prime. Res64: A43C1C004C5F3ADF Time : 0.0 sec. user=vaughan [2012-02-16 02:06:25] 517*2^1124145-1 is not prime. Res64: 68CA8ADADB5D2223 Time : 0.0 sec. user=vaughan [2012-02-16 02:08:36] 573*2^1124154-1 is not prime. Res64: 373A4685D0A60D7B Time : 0.0 sec. user=vaughan [2012-02-16 02:08:36] 421*2^1124155-1 is not prime. Res64: C42133760F032169 Time : 0.0 sec. user=vaughan [2012-02-16 02:08:37] 503*2^1124156-1 is not prime. Res64: 006D4F3595BFA09B Time : 0.0 sec. user=vaughan [2012-02-16 02:08:37] 539*2^1124156-1 is not prime. Res64: 32EDAABCE989AC70 Time : 0.0 sec. user=vaughan [2012-02-16 02:08:43] 439*2^1124147-1 is not prime. Res64: D106FD3F465BD332 Time : 0.0 sec. user=vaughan [2012-02-16 02:08:45] 405*2^1124148-1 is not prime. Res64: 08B271833548742E Time : 0.0 sec. user=vaughan [2012-02-16 02:08:51] 531*2^1124157-1 is not prime. Res64: 0873D4E2657D35DB Time : 0.0 sec. user=vaughan [2012-02-16 02:08:52] 571*2^1124157-1 is not prime. Res64: C60BF63876E0C2E1 Time : 0.0 sec. user=vaughan [2012-02-16 02:15:53] 571*2^1124163-1 is not prime. Res64: 152CD52D29F0D116 Time : 0.0 sec. user=vaughan [2012-02-16 02:15:53] 413*2^1124164-1 is not prime. Res64: 4659C4B79B869C1B Time : 0.0 sec. user=vaughan [2012-02-16 02:16:19] 465*2^1124151-1 is not prime. Res64: 41749BDD90584FFF Time : 0.0 sec. user=vaughan [2012-02-16 02:16:20] 455*2^1124152-1 is not prime. Res64: E036E61C30F26CD5 Time : 0.0 sec. user=vaughan [2012-02-16 02:16:20] 493*2^1124151-1 is not prime. Res64: C7A124D2715C746E Time : 0.0 sec. user=vaughan [2012-02-16 02:16:20] 595*2^1124151-1 is not prime. Res64: BB8FD72B2D868D25 Time : 0.0 sec. user=vaughan [2012-02-16 02:16:20] 489*2^1124152-1 is not prime. Res64: B434D1E89001191C Time : 0.0 sec. user=vaughan [2012-02-16 02:16:21] 435*2^1124152-1 is not prime. Res64: 77C4144EC16DD399 Time : 0.0 sec. user=vaughan [2012-02-16 02:16:28] 465*2^1124153-1 is not prime. Res64: 168E9865FE9A0B19 Time : 0.0 sec. user=vaughan [2012-02-16 02:16:29] 517*2^1124153-1 is not prime. Res64: ED90008E0CD6D16A Time : 0.0 sec. user=vaughan [2012-02-16 02:18:19] 545*2^1124162-1 is not prime. Res64: B72F257E99020A0F Time : 0.0 sec. user=vaughan [2012-02-16 02:18:20] 573*2^1124162-1 is not prime. Res64: 54BF9BA7A0EF8380 Time : 0.0 sec. user=vaughan [2012-02-16 02:18:36] 411*2^1124163-1 is not prime. Res64: 5E17B5ACE1775032 Time : 0.0 sec. user=vaughan [2012-02-16 02:18:36] 543*2^1124163-1 is not prime. Res64: 927DC01870D901B9 Time : 0.0 sec. user=vaughan [2012-02-16 02:20:15] 437*2^1124148-1 is not prime. Res64: D2D45D4335BBA764 Time : 0.0 sec. user=vaughan [2012-02-16 02:20:16] 545*2^1124148-1 is not prime. Res64: ECEBC20CA6F8CBD8 Time : 0.0 sec. user=vaughan [2012-02-16 02:20:23] 563*2^1124148-1 is not prime. Res64: 30483B93E6110E23 Time : 0.0 sec. user=vaughan [2012-02-16 02:20:24] 579*2^1124148-1 is not prime. Res64: 141038376BA005E3 Time : 0.0 sec. user=vaughan [2012-02-16 02:20:45] 435*2^1124149-1 is not prime. Res64: 7EFF359B2E7152BD Time : 0.0 sec. user=vaughan [2012-02-16 02:20:45] 437*2^1124150-1 is not prime. Res64: 464B04C44FD09DCF Time : 0.0 sec. user=vaughan [2012-02-16 02:21:31] 525*2^1124153-1 is not prime. Res64: FBB5B8AEFFA4FBF1 Time : 0.0 sec. user=vaughan [2012-02-16 02:21:32] 507*2^1124154-1 is not prime. Res64: 611E1EE91C8ED408 Time : 0.0 sec. user=vaughan [2012-02-16 02:22:38] 501*2^1124159-1 is not prime. Res64: 819D6EC09A26015D Time : 0.0 sec. user=vaughan [2012-02-16 02:22:39] 589*2^1124159-1 is not prime. Res64: DE611EE0AAE03783 Time : 0.0 sec. user=vaughan [2012-02-16 02:22:51] 437*2^1124160-1 is not prime. Res64: EE4AEE6A0A030C79 Time : 0.0 sec. user=vaughan [2012-02-16 02:22:51] 411*2^1124161-1 is not prime. Res64: 544A659098094B7E Time : 0.0 sec. user=vaughan [2012-02-16 02:23:00] 421*2^1124161-1 is not prime. Res64: ED74994C6182BD0F Time : 0.0 sec. user=vaughan [2012-02-16 02:23:00] 597*2^1124161-1 is not prime. Res64: 24EF3B330CE8DC0C Time : 0.0 sec. user=vaughan [2012-02-16 02:23:19] 447*2^1124162-1 is not prime. Res64: A637C1B0BC29C841 Time : 0.0 sec. user=vaughan [2012-02-16 02:23:20] 497*2^1124162-1 is not prime. Res64: 9B8ED28C984E1270 Time : 0.0 sec. user=vaughan [2012-02-16 02:27:11] 501*2^1124162-1 is not prime. Res64: 5B74500D7D3281B9 Time : 0.0 sec. user=vaughan [2012-02-16 02:27:12] 537*2^1124162-1 is not prime. Res64: CA912470139785FF Time : 0.0 sec. user=vaughan [2012-02-16 02:27:37] 433*2^1124155-1 is not prime. Res64: 77EE5B70B8ADCE78 Time : 0.0 sec. user=vaughan [2012-02-16 02:27:37] 495*2^1124155-1 is not prime. Res64: 386288C741F3E7E4 Time : 0.0 sec. user=vaughan [2012-02-16 02:27:38] 413*2^1124158-1 is not prime. Res64: BA7C4036201718B2 Time : 0.0 sec. user=vaughan [2012-02-16 02:27:39] 555*2^1124158-1 is not prime. Res64: F54482790C8B8E1E Time : 0.0 sec. user=vaughan [2012-02-16 02:30:57] 573*2^1124167-1 is not prime. Res64: 86CED926312D1547 Time : 0.0 sec. user=vaughan [2012-02-16 02:30:59] 579*2^1124167-1 is not prime. Res64: 71517494CB0D5656 Time : 0.0 sec. user=vaughan [2012-02-16 02:31:04] 453*2^1124167-1 is not prime. Res64: 46B783D66BFE3C08 Time : 0.0 sec. user=vaughan [2012-02-16 02:31:05] 471*2^1124167-1 is not prime. Res64: F962FB83ECE8D0FD Time : 0.0 sec. user=vaughan [2012-02-16 02:31:20] 565*2^1124169-1 is not prime. Res64: CF59F322379996E4 Time : 0.0 sec. user=vaughan [2012-02-16 02:31:21] 453*2^1124170-1 is not prime. Res64: C45E931E5E13EE36 Time : 0.0 sec. user=vaughan [2012-02-16 02:31:30] 421*2^1124165-1 is not prime. Res64: 24B43A3E336EA74B Time : 0.0 sec. user=vaughan [2012-02-16 02:31:31] 481*2^1124165-1 is not prime. Res64: B3184D0FE966602A Time : 0.0 sec. user=vaughan [2012-02-16 02:32:14] 495*2^1124165-1 is not prime. Res64: 0B7C1BA40A21F6F0 Time : 0.0 sec. user=vaughan [2012-02-16 02:32:15] 519*2^1124165-1 is not prime. Res64: D9AD1F0BCD01BBAE Time : 0.0 sec. user=vaughan [2012-02-16 02:32:53] 435*2^1124159-1 is not prime. Res64: E64ECCB833999C38 Time : 0.0 sec. user=vaughan [2012-02-16 02:32:54] 465*2^1124159-1 is not prime. Res64: C8961CAFD192FE75 Time : 0.0 sec. user=vaughan [2012-02-16 02:38:12] 465*2^1124170-1 is not prime. Res64: CF215075748D8D7C Time : 0.0 sec. user=vaughan [2012-02-16 02:38:13] 467*2^1124170-1 is not prime. Res64: B2D44D5A38A59D27 Time : 0.0 sec. user=vaughan [2012-02-16 02:44:32] 507*2^1124173-1 is not prime. Res64: D4DD5B2DEA65A609 Time : 0.0 sec. user=vaughan [2012-02-16 02:44:34] 547*2^1124173-1 is not prime. Res64: C04A4D582B95AA53 Time : 0.0 sec. user=vaughan [2012-02-16 02:44:52] 551*2^1124174-1 is not prime. Res64: 0D3619ED83617CD4 Time : 0.0 sec. user=vaughan [2012-02-16 02:44:53] 567*2^1124174-1 is not prime. Res64: 5E40EB197DC41C86 Time : 0.0 sec. user=vaughan [2012-02-16 02:45:28] 459*2^1124168-1 is not prime. Res64: C9A2383CE02B7CD0 Time : 0.0 sec. user=vaughan [2012-02-16 02:45:40] 479*2^1124168-1 is not prime. Res64: C12F657E37EC0227 Time : 0.0 sec. user=vaughan [2012-02-16 02:47:59] 537*2^1124165-1 is not prime. Res64: E7580E065E04002B Time : 0.0 sec. user=vaughan [2012-02-16 02:47:59] 547*2^1124165-1 is not prime. Res64: 66F7541F9060FB26 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:04] 533*2^1124170-1 is not prime. Res64: 76708F53B91DD011 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:04] 575*2^1124170-1 is not prime. Res64: C2430B8E16BA7660 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:05] 489*2^1124171-1 is not prime. Res64: B6ECC718E133B8F3 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:06] 423*2^1124172-1 is not prime. Res64: 58D1366B5AACC4BB Time : 0.0 sec. user=vaughan [2012-02-16 02:53:11] 525*2^1124172-1 is not prime. Res64: 79E4DAE1379789CC Time : 0.0 sec. user=vaughan [2012-02-16 02:53:11] 539*2^1124172-1 is not prime. Res64: 5B5E1BD489BD4571 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:15] 555*2^1124172-1 is not prime. Res64: 398205EED09363E9 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:15] 427*2^1124173-1 is not prime. Res64: 656FCC62DC36FC75 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:28] 491*2^1124182-1 is not prime. Res64: F397EC5CB8EAA802 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:29] 525*2^1124182-1 is not prime. Res64: 98B46C32289EF4AF Time : 0.0 sec. user=vaughan [2012-02-16 02:53:35] 591*2^1124182-1 is not prime. Res64: 79713CF0A89D51C7 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:36] 435*2^1124183-1 is not prime. Res64: DAD5C6BD642BACA9 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:47] 453*2^1124183-1 is not prime. Res64: 2BA6D9554FB5D889 Time : 0.0 sec. user=vaughan [2012-02-16 02:53:48] 525*2^1124183-1 is not prime. Res64: BF74402D926AB9F1 Time : 0.0 sec. user=vaughan [2012-02-16 02:56:28] 401*2^1124178-1 is not prime. Res64: 9AC0F32078354A84 Time : 0.0 sec. user=vaughan [2012-02-16 02:56:28] 473*2^1124178-1 is not prime. Res64: 09B6F5E3C543EC7A Time : 0.0 sec. user=vaughan [2012-02-16 02:56:32] 525*2^1124178-1 is not prime. Res64: D97C8BFB37D26E13 Time : 0.0 sec. user=vaughan [2012-02-16 02:56:32] 441*2^1124179-1 is not prime. Res64: ED8B48EB51E419D6 Time : 0.0 sec. user=vaughan [2012-02-16 02:56:49] 523*2^1124179-1 is not prime. Res64: 76A7B43F5B6FF125 Time : 0.0 sec. user=vaughan [2012-02-16 02:56:49] 589*2^1124179-1 is not prime. Res64: C1FB547B1BE7AA6E Time : 0.0 sec. user=vaughan [2012-02-16 02:57:10] 449*2^1124180-1 is not prime. Res64: 8A2D807655EBBE09 Time : 0.0 sec. user=vaughan [2012-02-16 02:57:10] 557*2^1124180-1 is not prime. Res64: 57284CFE138377B9 Time : 0.0 sec. user=vaughan [2012-02-16 02:57:44] 571*2^1124183-1 is not prime. Res64: 6F8D4D35CD70764C Time : 0.0 sec. user=vaughan [2012-02-16 02:57:44] 585*2^1124183-1 is not prime. Res64: DFE5ADEEE0B095E0 Time : 0.0 sec. user=vaughan [2012-02-16 02:58:18] 419*2^1124184-1 is not prime. Res64: 63AB3F78C43CAF8C Time : 0.0 sec. user=vaughan [2012-02-16 02:58:19] 473*2^1124184-1 is not prime. Res64: 0CB196D9DEE35421 Time : 0.0 sec. user=vaughan [2012-02-16 03:00:35] 587*2^1124184-1 is not prime. Res64: 5915F025C42CED7E Time : 0.0 sec. user=vaughan [2012-02-16 03:00:38] 429*2^1124185-1 is not prime. Res64: FBC4004EA7409C35 Time : 0.0 sec. user=vaughan [2012-02-16 03:03:01] 475*2^1124177-1 is not prime. Res64: 0E8E65B767962981 Time : 0.0 sec. user=vaughan [2012-02-16 03:03:02] 559*2^1124177-1 is not prime. Res64: 97285497761ABFC3 Time : 0.0 sec. user=vaughan [2012-02-16 03:03:58] 585*2^1124180-1 is not prime. Res64: BB20604A10501D38 Time : 0.0 sec. user=vaughan [2012-02-16 03:03:59] 409*2^1124181-1 is not prime. Res64: 6A2506041190D7BC Time : 0.0 sec. user=vaughan [2012-02-16 03:04:32] 513*2^1124175-1 is not prime. Res64: F4CAE6EAB0C66199 Time : 0.0 sec. user=vaughan [2012-02-16 03:04:33] 415*2^1124175-1 is not prime. Res64: 04498966ABB97BD2 Time : 0.0 sec. user=vaughan [2012-02-16 03:04:34] 579*2^1124175-1 is not prime. Res64: 6244FE52E5BE6215 Time : 0.0 sec. user=vaughan [2012-02-16 03:04:35] 511*2^1124175-1 is not prime. Res64: 3DF7020491E80612 Time : 0.0 sec. user=vaughan [2012-02-16 03:05:02] 587*2^1124176-1 is not prime. Res64: 05C9463FA659F0F7 Time : 0.0 sec. user=vaughan [2012-02-16 03:05:03] 465*2^1124177-1 is not prime. Res64: 3B43C169623BBB5E Time : 0.0 sec. user=vaughan [2012-02-16 03:08:48] 447*2^1124181-1 is not prime. Res64: BF1D8632BA386F0F Time : 0.0 sec. user=vaughan [2012-02-16 03:08:49] 475*2^1124181-1 is not prime. Res64: 6140EC664E3C1E50 Time : 0.0 sec. user=vaughan [2012-02-16 03:09:11] 597*2^1124181-1 is not prime. Res64: F1BFCE245DD328AC Time : 0.0 sec. user=vaughan [2012-02-16 03:09:13] 413*2^1124182-1 is not prime. Res64: BA3B4C49505DC0A0 Time : 0.0 sec. user=vaughan [2012-02-16 03:10:50] 457*2^1124185-1 is not prime. Res64: C2093E651231301A Time : 0.0 sec. user=vaughan [2012-02-16 03:10:52] 515*2^1124186-1 is not prime. Res64: AA50F01434211063 Time : 0.0 sec. user=vaughan [2012-02-16 03:11:10] 493*2^1124187-1 is not prime. Res64: C8B8AF6DF30943ED Time : 0.0 sec. user=vaughan [2012-02-16 03:11:12] 543*2^1124187-1 is not prime. Res64: 650D60A2BEA17C83 Time : 0.0 sec. user=vaughan [2012-02-16 03:15:56] 511*2^1124191-1 is not prime. Res64: 3C0C9EC111CE612C Time : 0.0 sec. user=vaughan [2012-02-16 03:15:57] 563*2^1124192-1 is not prime. Res64: C2578BDB85947596 Time : 0.0 sec. user=vaughan [2012-02-16 03:16:01] 599*2^1124192-1 is not prime. Res64: E6054B55E5A215B9 Time : 0.0 sec. user=vaughan [2012-02-16 03:16:01] 457*2^1124193-1 is not prime. Res64: DB31D086365C727C Time : 0.0 sec. user=vaughan [2012-02-16 03:16:12] 577*2^1124193-1 is not prime. Res64: CAF0FD89095A67A4 Time : 0.0 sec. user=vaughan [2012-02-16 03:16:13] 595*2^1124193-1 is not prime. Res64: D830C927A0118B5A Time : 0.0 sec. user=vaughan [2012-02-16 03:17:03] 503*2^1124184-1 is not prime. Res64: E6DEF5BBB046031C Time : 0.0 sec. user=vaughan [2012-02-16 03:17:04] 557*2^1124184-1 is not prime. Res64: 28938740610A4A81 Time : 0.0 sec. user=vaughan [2012-02-16 03:22:32] 549*2^1124187-1 is not prime. Res64: D9481C95487B85FA Time : 0.0 sec. user=vaughan [2012-02-16 03:22:32] 553*2^1124187-1 is not prime. Res64: 1C9170487DDECAD6 Time : 0.0 sec. user=vaughan [2012-02-16 03:23:11] 557*2^1124198-1 is not prime. Res64: A3F3687C4948D6B1 Time : 0.0 sec. user=vaughan [2012-02-16 03:23:12] 575*2^1124198-1 is not prime. Res64: 917ECEB61E73ED97 Time : 0.0 sec. user=vaughan [2012-02-16 03:24:02] 525*2^1124196-1 is not prime. Res64: 9C3B262DC49891D7 Time : 0.0 sec. user=vaughan [2012-02-16 03:24:03] 561*2^1124197-1 is not prime. Res64: 41E0694B1579842C Time : 0.0 sec. user=vaughan [2012-02-16 03:24:28] 453*2^1124198-1 is not prime. Res64: 271BEC2CDFCD2FE2 Time : 0.0 sec. user=vaughan [2012-02-16 03:24:29] 483*2^1124198-1 is not prime. Res64: 2386BF9DA11E37B9 Time : 0.0 sec. user=vaughan [2012-02-16 03:29:16] 583*2^1124187-1 is not prime. Res64: 8078EDD5D1D75C0A Time : 0.0 sec. user=vaughan [2012-02-16 03:29:17] 449*2^1124188-1 is not prime. Res64: 3AB45A8947F7A22A Time : 0.0 sec. user=vaughan [2012-02-16 03:29:47] 561*2^1124189-1 is not prime. Res64: F18477D4E9E62904 Time : 0.0 sec. user=vaughan [2012-02-16 03:29:48] 445*2^1124189-1 is not prime. Res64: DF1C4B34C3C989BD Time : 0.0 sec. user=vaughan [2012-02-16 03:29:48] 565*2^1124189-1 is not prime. Res64: AE463C21D70BCA48 Time : 0.0 sec. user=vaughan [2012-02-16 03:29:48] 459*2^1124189-1 is not prime. Res64: 18E7C2822826F0FE Time : 0.0 sec. user=vaughan [2012-02-16 03:29:54] 405*2^1124190-1 is not prime. Res64: 5C3F7ED922D79751 Time : 0.0 sec. user=vaughan [2012-02-16 03:29:54] 471*2^1124190-1 is not prime. Res64: 362BB6B4ADCD26D0 Time : 0.0 sec. user=vaughan [2012-02-16 03:29:59] 537*2^1124190-1 is not prime. Res64: F91C49335D99E81F Time : 0.0 sec. user=vaughan [2012-02-16 03:29:59] 567*2^1124190-1 is not prime. Res64: E804B2894291473D Time : 0.0 sec. user=vaughan [2012-02-16 03:30:54] 423*2^1124194-1 is not prime. Res64: 9F4410920DBA5682 Time : 0.0 sec. user=vaughan [2012-02-16 03:30:56] 533*2^1124194-1 is not prime. Res64: 03AC673645659EAB Time : 0.0 sec. user=vaughan [2012-02-16 03:30:58] 587*2^1124194-1 is not prime. Res64: 4BDFBCAA5115BADA Time : 0.0 sec. user=vaughan [2012-02-16 03:31:01] 489*2^1124195-1 is not prime. Res64: 18864EC7283DD6C1 Time : 0.0 sec. user=vaughan [2012-02-16 03:31:08] 595*2^1124195-1 is not prime. Res64: 3C87ADCFF1D6C4EE Time : 0.0 sec. user=vaughan [2012-02-16 03:31:09] 405*2^1124196-1 is not prime. Res64: 05A4B5D4B38F6B6B Time : 0.0 sec. user=vaughan [2012-02-16 03:31:35] 483*2^1124196-1 is not prime. Res64: B7BF497147C7CB95 Time : 0.0 sec. user=vaughan [2012-02-16 03:31:36] 515*2^1124196-1 is not prime. Res64: AEFC4B24302AFCC7 Time : 0.0 sec. user=vaughan [2012-02-16 03:37:29] 549*2^1124201-1 is not prime. Res64: 8B7DF3F12344F5B7 Time : 0.0 sec. user=vaughan [2012-02-16 03:37:29] 559*2^1124201-1 is not prime. Res64: B7643BB1CC9C3CC9 Time : 0.0 sec. user=vaughan [2012-02-16 03:37:45] 543*2^1124202-1 is not prime. Res64: D937BB81221CAA2D Time : 0.0 sec. user=vaughan [2012-02-16 03:37:45] 519*2^1124203-1 is not prime. Res64: 64DF547310857678 Time : 0.0 sec. user=vaughan [2012-02-16 03:38:22] 541*2^1124203-1 is not prime. Res64: F287F66E6C44268E Time : 0.0 sec. user=vaughan [2012-02-16 03:38:23] 553*2^1124203-1 is not prime. Res64: 27BFBCF0FB9FB447 Time : 0.0 sec. user=vaughan [2012-02-16 03:38:25] 589*2^1124203-1 is not prime. Res64: 6B86727B0F310232 Time : 0.0 sec. user=vaughan [2012-02-16 03:38:26] 495*2^1124204-1 is not prime. Res64: 58511BC4514BB12C Time : 0.0 sec. user=vaughan [2012-02-16 03:38:38] 557*2^1124204-1 is not prime. Res64: 161EAC871F47F82D Time : 0.0 sec. user=vaughan [2012-02-16 03:38:38] 579*2^1124204-1 is not prime. Res64: 86EAD72055C4791F Time : 0.0 sec. user=vaughan [2012-02-16 03:40:46] 573*2^1124199-1 is not prime. Res64: 09167E3D4F955F01 Time : 0.0 sec. user=vaughan [2012-02-16 03:40:47] 423*2^1124200-1 is not prime. Res64: 0FC4FAA4B84AD753 Time : 0.0 sec. user=vaughan [2012-02-16 03:44:31] 429*2^1124199-1 is not prime. Res64: DCBD7B112E820892 Time : 0.0 sec. user=vaughan [2012-02-16 03:44:31] 511*2^1124199-1 is not prime. Res64: E16943EE4D0E7881 Time : 0.0 sec. user=vaughan [2012-02-16 03:45:42] 491*2^1124206-1 is not prime. Res64: D67C29339D90A676 Time : 0.0 sec. user=vaughan [2012-02-16 03:45:43] 573*2^1124206-1 is not prime. Res64: 7F52BD031645A52A Time : 0.0 sec. user=vaughan [2012-02-16 03:48:46] 429*2^1124200-1 is not prime. Res64: 00065314B633A669 Time : 0.0 sec. user=vaughan [2012-02-16 03:48:46] 447*2^1124200-1 is not prime. Res64: E46857C06A6D6870 Time : 0.0 sec. user=vaughan [2012-02-16 03:48:50] 467*2^1124200-1 is not prime. Res64: FD82EEDBD12DF6BB Time : 0.0 sec. user=vaughan [2012-02-16 03:48:50] 495*2^1124200-1 is not prime. Res64: 70E349E3AB412686 Time : 0.0 sec. user=vaughan [2012-02-16 03:49:16] 549*2^1124200-1 is not prime. Res64: 0053F1BF7601AAEC Time : 0.0 sec. user=vaughan [2012-02-16 03:49:16] 593*2^1124200-1 is not prime. Res64: 4B3892F85BDE2A1E Time : 0.0 sec. user=vaughan [2012-02-16 03:50:25] 477*2^1124201-1 is not prime. Res64: 1246832FC22FF55A Time : 0.0 sec. user=vaughan [2012-02-16 03:50:25] 487*2^1124201-1 is not prime. Res64: 2B68476AFD77732D Time : 0.0 sec. user=vaughan [2012-02-16 03:50:35] 525*2^1124201-1 is not prime. Res64: 5C660AAC5373C0A4 Time : 0.0 sec. user=vaughan [2012-02-16 03:50:36] 547*2^1124201-1 is not prime. Res64: 7D336831815FCEB7 Time : 0.0 sec. user=vaughan [2012-02-16 03:50:40] 433*2^1124207-1 is not prime. Res64: 40791023A5D45483 Time : 0.0 sec. user=vaughan [2012-02-16 03:50:41] 549*2^1124207-1 is not prime. Res64: C409C85CA4B78B11 Time : 0.0 sec. user=vaughan [2012-02-16 03:50:54] 585*2^1124207-1 is not prime. Res64: 1328C28867A280EA Time : 0.0 sec. user=vaughan [2012-02-16 03:50:54] 513*2^1124208-1 is not prime. Res64: D3462F381A72ACAE Time : 0.0 sec. user=vaughan [2012-02-16 03:59:14] 443*2^1124206-1 is not prime. Res64: 53CA10B9C555DDA5 Time : 0.0 sec. user=vaughan [2012-02-16 03:59:15] 465*2^1124206-1 is not prime. Res64: F449C19B7071ADD6 Time : 0.0 sec. user=vaughan [2012-02-16 04:00:41] 413*2^1124218-1 is not prime. Res64: 9DB5B8589383A3AB Time : 0.0 sec. user=vaughan [2012-02-16 04:00:42] 409*2^1124217-1 is not prime. Res64: D48F035890FC0721 Time : 0.0 sec. user=vaughan [2012-02-16 04:00:42] 491*2^1124218-1 is not prime. Res64: 046C875B0E89B82F Time : 0.0 sec. user=vaughan [2012-02-16 04:00:43] 445*2^1124217-1 is not prime. Res64: 0C82ABFDA1B02E59 Time : 0.0 sec. user=vaughan [2012-02-16 04:00:59] 479*2^1124220-1 is not prime. Res64: FDD3EE50463D39A4 Time : 0.0 sec. user=vaughan [2012-02-16 04:01:00] 503*2^1124220-1 is not prime. Res64: 903E24E78E03BA13 Time : 0.0 sec. user=vaughan [2012-02-16 04:01:14] 447*2^1124205-1 is not prime. Res64: 99CC34FAACDDD7F6 Time : 0.0 sec. user=vaughan [2012-02-16 04:01:18] 595*2^1124205-1 is not prime. Res64: 7D269F54E0521DBC Time : 0.0 sec. user=vaughan [2012-02-16 04:04:03] 541*2^1124215-1 is not prime. Res64: D0790393B62E637E Time : 0.0 sec. user=vaughan [2012-02-16 04:04:04] 555*2^1124215-1 is not prime. Res64: 9EBAB75445E97D8D Time : 0.0 sec. user=vaughan [2012-02-16 04:04:07] 459*2^1124216-1 is not prime. Res64: 6F72928B4A55D394 Time : 0.0 sec. user=vaughan [2012-02-16 04:04:07] 465*2^1124216-1 is not prime. Res64: BC3D0575D094E18E Time : 0.0 sec. user=vaughan [2012-02-16 04:05:00] 511*2^1124213-1 is not prime. Res64: AB49BFA34994FA4B Time : 0.0 sec. user=vaughan [2012-02-16 04:05:02] 537*2^1124213-1 is not prime. Res64: 1973A40944D6EC09 Time : 0.0 sec. user=vaughan [2012-02-16 04:05:05] 441*2^1124213-1 is not prime. Res64: 9E2207EB6C501858 Time : 0.0 sec. user=vaughan [2012-02-16 04:05:06] 487*2^1124213-1 is not prime. Res64: 6E43D436A23DD9CE Time : 0.0 sec. user=vaughan [2012-02-16 04:05:16] 413*2^1124214-1 is not prime. Res64: 7CFA564347FED6ED Time : 0.0 sec. user=vaughan [2012-02-16 04:05:19] 495*2^1124214-1 is not prime. Res64: 40C1B5AE6F5A146E Time : 0.0 sec. user=vaughan [2012-02-16 04:05:37] 573*2^1124214-1 is not prime. Res64: 5515A5219457DB22 Time : 0.0 sec. user=vaughan [2012-02-16 04:05:38] 493*2^1124215-1 is not prime. Res64: 96C8D5E0F54C4EA4 Time : 0.0 sec. user=vaughan [2012-02-16 04:06:31] 511*2^1124209-1 is not prime. Res64: 955E8E65A16DF20B Time : 0.0 sec. user=vaughan [2012-02-16 04:06:32] 405*2^1124211-1 is not prime. Res64: 5CB2FEF71CDF9E2E Time : 0.0 sec. user=vaughan [2012-02-16 04:06:39] 459*2^1124211-1 is not prime. Res64: 92843F064AD05021 Time : 0.0 sec. user=vaughan [2012-02-16 04:06:40] 493*2^1124211-1 is not prime. Res64: 2CE3448A91DE35C7 Time : 0.0 sec. user=vaughan [2012-02-16 04:06:41] 531*2^1124211-1 is not prime. Res64: 434640D2CC43A72E Time : 0.0 sec. user=vaughan [2012-02-16 04:06:42] 565*2^1124211-1 is not prime. Res64: E3E55EFC1C9D92EC Time : 0.0 sec. user=vaughan [2012-02-16 04:06:49] 585*2^1124211-1 is not prime. Res64: 86035681292DD64F Time : 0.0 sec. user=vaughan [2012-02-16 04:06:51] 507*2^1124212-1 is not prime. Res64: 3DF1F43EC8272F71 Time : 0.0 sec. user=vaughan [2012-02-16 04:08:06] 541*2^1124221-1 is not prime. Res64: E32BF02989F30B69 Time : 0.0 sec. user=vaughan [2012-02-16 04:08:08] 405*2^1124222-1 is not prime. Res64: 72B1D2ED852F1FEC Time : 0.0 sec. user=vaughan [2012-02-16 04:10:24] 549*2^1124208-1 is not prime. Res64: CE3A6682C38CCABF Time : 0.0 sec. user=vaughan [2012-02-16 04:10:25] 457*2^1124209-1 is not prime. Res64: C8237C28381A392D Time : 0.0 sec. user=vaughan [2012-02-16 04:17:10] 419*2^1124224-1 is not prime. Res64: F0E437963F6A3B41 Time : 0.0 sec. user=vaughan [2012-02-16 04:17:11] 437*2^1124224-1 is not prime. Res64: 25F1C5A1626F1F69 Time : 0.0 sec. user=vaughan [2012-02-16 04:17:19] 533*2^1124224-1 is not prime. Res64: 8756B1D722649DFE Time : 0.0 sec. user=vaughan [2012-02-16 04:17:20] 441*2^1124225-1 is not prime. Res64: FFF1D01E7EDE044E Time : 0.0 sec. user=vaughan [2012-02-16 04:17:28] 513*2^1124220-1 is not prime. Res64: 10428320E6C1472D Time : 0.0 sec. user=vaughan [2012-02-16 04:17:29] 515*2^1124220-1 is not prime. Res64: B37836A4A9B2F374 Time : 0.0 sec. user=vaughan [2012-02-16 04:23:20] 517*2^1124225-1 is not prime. Res64: 3470F63C31C82388 Time : 0.0 sec. user=vaughan [2012-02-16 04:23:21] 589*2^1124225-1 is not prime. Res64: 216356B323D54789 Time : 0.0 sec. user=vaughan [2012-02-16 04:23:21] 411*2^1124226-1 is not prime. Res64: E55BC013471F4763 Time : 0.0 sec. user=vaughan [2012-02-16 04:23:22] 417*2^1124226-1 is not prime. Res64: 500BAF4C6076E97F Time : 0.0 sec. user=vaughan [2012-02-16 04:23:36] 447*2^1124226-1 is not prime. Res64: CE0180F9FEEF4DC5 Time : 0.0 sec. user=vaughan [2012-02-16 04:23:37] 525*2^1124226-1 is not prime. Res64: 27BC715C4B26422F Time : 0.0 sec. user=vaughan [2012-02-16 04:25:42] 567*2^1124220-1 is not prime. Res64: ECA487557434AA0B Time : 0.0 sec. user=vaughan [2012-02-16 04:25:43] 525*2^1124221-1 is not prime. Res64: A13CDCB75A4BF7C7 Time : 0.0 sec. user=vaughan [2012-02-16 04:30:42] 435*2^1124228-1 is not prime. Res64: D41B382E9CFDD306 Time : 0.0 sec. user=vaughan [2012-02-16 04:30:43] 533*2^1124228-1 is not prime. Res64: 2FA79B40DD4FE5A9 Time : 0.0 sec. user=vaughan [2012-02-16 04:30:48] 563*2^1124228-1 is not prime. Res64: 3F011D2C5D52C5C4 Time : 0.0 sec. user=vaughan [2012-02-16 04:30:49] 471*2^1124229-1 is not prime. Res64: 5D01FE529FC5C515 Time : 0.0 sec. user=vaughan [2012-02-16 04:30:52] 539*2^1124236-1 is not prime. Res64: D6AFFE7B28A76341 Time : 0.0 sec. user=vaughan [2012-02-16 04:30:55] 567*2^1124236-1 is not prime. Res64: 3090298886A5DAB3 Time : 0.0 sec. user=vaughan [2012-02-16 04:31:53] 453*2^1124223-1 is not prime. Res64: 01E1C4D7C60F7344 Time : 0.0 sec. user=vaughan [2012-02-16 04:31:54] 471*2^1124223-1 is not prime. Res64: 52AAA86171BE982C Time : 0.0 sec. user=vaughan [2012-02-16 04:32:10] 489*2^1124223-1 is not prime. Res64: 82AA68F7CA7B44DE Time : 0.0 sec. user=vaughan [2012-02-16 04:32:11] 565*2^1124223-1 is not prime. Res64: E354C92FDD3BD878 Time : 0.0 sec. user=vaughan [2012-02-16 04:32:57] 407*2^1124222-1 is not prime. Res64: 798D1F156395D4FC Time : 0.0 sec. user=vaughan [2012-02-16 04:32:58] 423*2^1124222-1 is not prime. Res64: FFE4BC93C29C135B Time : 0.0 sec. user=vaughan [2012-02-16 04:33:00] 503*2^1124222-1 is not prime. Res64: 23932933ABC5F7AA Time : 0.0 sec. user=vaughan [2012-02-16 04:33:02] 533*2^1124222-1 is not prime. Res64: 3F91E2FDF5ECC850 Time : 0.0 sec. user=vaughan [2012-02-16 04:33:28] 561*2^1124222-1 is not prime. Res64: 81C7F4F041C5A0DD Time : 0.0 sec. user=vaughan [2012-02-16 04:33:29] 585*2^1124222-1 is not prime. Res64: 8528E7B64834B003 Time : 0.0 sec. user=vaughan [2012-02-16 04:35:58] 445*2^1124225-1 is not prime. Res64: 84BEC387374C7F5B Time : 0.0 sec. user=vaughan [2012-02-16 04:35:59] 475*2^1124225-1 is not prime. Res64: 4CEE8D2DDFF45D99 Time : 0.0 sec. user=vaughan [2012-02-16 04:39:00] 559*2^1124229-1 is not prime. Res64: 359E25CED107EF3D Time : 0.0 sec. user=vaughan [2012-02-16 04:39:01] 423*2^1124230-1 is not prime. Res64: A0A7F66D089F3894 Time : 0.0 sec. user=vaughan [2012-02-16 04:39:04] 581*2^1124230-1 is not prime. Res64: C3C2DD0081F0AFC4 Time : 0.0 sec. user=vaughan [2012-02-16 04:39:05] 437*2^1124232-1 is not prime. Res64: B8AF12E8A9E6E694 Time : 0.0 sec. user=vaughan [2012-02-16 04:39:19] 591*2^1124233-1 is not prime. Res64: A3CBDB42750D55AE Time : 0.0 sec. user=vaughan [2012-02-16 04:39:20] 425*2^1124234-1 is not prime. Res64: 073A251AC957E453 Time : 0.0 sec. user=vaughan [2012-02-16 04:39:31] 561*2^1124234-1 is not prime. Res64: 2D5290A917A9DCE6 Time : 0.0 sec. user=vaughan [2012-02-16 04:39:32] 593*2^1124234-1 is not prime. Res64: 5A977EA86FF06437 Time : 0.0 sec. user=vaughan [2012-02-16 04:43:21] 441*2^1124235-1 is not prime. Res64: 340297869BC5627B Time : 0.0 sec. user=vaughan [2012-02-16 04:43:21] 469*2^1124235-1 is not prime. Res64: 390992B0144A4FCD Time : 0.0 sec. user=vaughan [2012-02-16 04:43:28] 591*2^1124235-1 is not prime. Res64: D89049FE23609D3E Time : 0.0 sec. user=vaughan [2012-02-16 04:43:28] 437*2^1124236-1 is not prime. Res64: 37BBB15B196BF6D5 Time : 0.0 sec. user=vaughan [2012-02-16 04:43:30] 513*2^1124235-1 is not prime. Res64: 1E8444B4E358C6E9 Time : 0.0 sec. user=vaughan [2012-02-16 04:43:31] 555*2^1124235-1 is not prime. Res64: 464D3E3CF5195982 Time : 0.0 sec. user=vaughan [2012-02-16 04:43:37] 447*2^1124236-1 is not prime. Res64: 7971F2B0AAB6F1E5 Time : 0.0 sec. user=juhehe [2012-02-16 04:43:37] 503*2^1123812-1 is not prime. Res64: 5721DCFFC491BFA6 Time : 0.0 sec. user=vaughan [2012-02-16 04:43:37] 525*2^1124236-1 is not prime. Res64: 9BA0D291D024D601 Time : 0.0 sec. user=juhehe [2012-02-16 04:43:54] 507*2^1123813-1 is not prime. Res64: 99C9752AAE6B4F8B Time : 0.0 sec. user=vaughan [2012-02-16 04:44:22] 447*2^1124238-1 is not prime. Res64: E5A60B7DAB67B7F0 Time : 0.0 sec. user=vaughan [2012-02-16 04:44:22] 495*2^1124238-1 is not prime. Res64: 23933BDF034F1368 Time : 0.0 sec. user=vaughan [2012-02-16 04:44:23] 439*2^1124237-1 is not prime. Res64: 0A73A9150AA7EE2E Time : 0.0 sec. user=vaughan [2012-02-16 04:44:24] 405*2^1124238-1 is not prime. Res64: 62B09D73FD5A7CD9 Time : 0.0 sec. user=vaughan [2012-02-16 04:45:34] 567*2^1124226-1 is not prime. Res64: 60D8A108D6F0E226 Time : 0.0 sec. user=vaughan [2012-02-16 04:45:35] 579*2^1124227-1 is not prime. Res64: 5C33768EA816A238 Time : 0.0 sec. user=vaughan [2012-02-16 04:45:57] 585*2^1124238-1 is not prime. Res64: FDCE95B927B6E567 Time : 0.0 sec. user=vaughan [2012-02-16 04:45:57] 483*2^1124239-1 is not prime. Res64: 5499DBAC1A38F605 Time : 0.0 sec. user=vaughan [2012-02-16 04:45:58] 499*2^1124239-1 is not prime. Res64: 72A187CC94EF636D Time : 0.0 sec. user=vaughan [2012-02-16 04:45:58] 549*2^1124239-1 is not prime. Res64: 5B1019F59B98C057 Time : 0.0 sec. user=vaughan [2012-02-16 04:46:10] 459*2^1124240-1 is not prime. Res64: 234BA2DBDA63C9B2 Time : 0.0 sec. user=vaughan [2012-02-16 04:46:10] 543*2^1124240-1 is not prime. Res64: 4562CBC143DEBE88 Time : 0.0 sec. user=vaughan [2012-02-16 04:51:47] 569*2^1124236-1 is not prime. Res64: 313CCD1D8B410649 Time : 0.0 sec. user=vaughan [2012-02-16 04:51:48] 587*2^1124236-1 is not prime. Res64: C2BF826DF6E4FE56 Time : 0.0 sec. user=vaughan [2012-02-16 04:53:19] 469*2^1124245-1 is not prime. Res64: 3D4093DD11A4C98F Time : 0.0 sec. user=vaughan [2012-02-16 04:53:20] 499*2^1124245-1 is not prime. Res64: 6E5FA6E607F0ED6C Time : 0.0 sec. user=vaughan [2012-02-16 04:54:12] 507*2^1124238-1 is not prime. Res64: 9C90B46DF58630DD Time : 0.0 sec. user=vaughan [2012-02-16 04:54:13] 515*2^1124238-1 is not prime. Res64: A488A37255D834AD Time : 0.0 sec. user=vaughan [2012-02-16 04:57:32] 425*2^1124242-1 is not prime. Res64: D3BE9222ECD6C922 Time : 0.0 sec. user=vaughan [2012-02-16 04:57:33] 511*2^1124243-1 is not prime. Res64: F1439E05B42DAAB0 Time : 0.0 sec. user=vaughan [2012-02-16 04:57:47] 549*2^1124243-1 is not prime. Res64: 263D99A224E4BED4 Time : 0.0 sec. user=vaughan [2012-02-16 04:57:48] 455*2^1124244-1 is not prime. Res64: C4D13AC1EF97ABDD Time : 0.0 sec. user=vaughan [2012-02-16 05:06:57] 469*2^1124241-1 is not prime. Res64: C1DDD3275EE5B67E Time : 0.0 sec. user=vaughan [2012-02-16 05:06:58] 565*2^1124241-1 is not prime. Res64: DBF484D5E375B22D Time : 0.0 sec. user=vaughan [2012-02-16 05:08:24] 595*2^1124259-1 is not prime. Res64: 9FFBDE4080ECC7FC Time : 0.0 sec. user=vaughan [2012-02-16 05:08:26] 453*2^1124260-1 is not prime. Res64: 679E09B9DB2F90B5 Time : 0.0 sec. user=vaughan [2012-02-16 05:08:27] 495*2^1124260-1 is not prime. Res64: C54B5721286DE2C9 Time : 0.0 sec. user=vaughan [2012-02-16 05:08:29] 537*2^1124260-1 is not prime. Res64: 8E4A704D15A27CD0 Time : 0.0 sec. user=vaughan [2012-02-16 05:08:47] 597*2^1124260-1 is not prime. Res64: F7D689C7F08B3A9D Time : 0.0 sec. user=vaughan [2012-02-16 05:08:49] 529*2^1124261-1 is not prime. Res64: 3A53D0012A3FF727 Time : 0.0 sec. user=vaughan [2012-02-16 05:10:38] 511*2^1124257-1 is not prime. Res64: 954F1B716DE18607 Time : 0.0 sec. user=vaughan [2012-02-16 05:10:39] 567*2^1124257-1 is not prime. Res64: 125C0E3F28F1E6B0 Time : 0.0 sec. user=vaughan [2012-02-16 05:10:45] 483*2^1124258-1 is not prime. Res64: A769935F8D00DE90 Time : 0.0 sec. user=vaughan [2012-02-16 05:10:46] 481*2^1124259-1 is not prime. Res64: 863C13193121D7D4 Time : 0.0 sec. user=vaughan [2012-02-16 05:12:44] 439*2^1124249-1 is not prime. Res64: 81668A600714BA38 Time : 0.0 sec. user=vaughan [2012-02-16 05:12:50] 495*2^1124249-1 is not prime. Res64: 196C729C245887A0 Time : 0.0 sec. user=vaughan [2012-02-16 05:13:20] 447*2^1124246-1 is not prime. Res64: 8B8E0E1F420A5F4F Time : 0.0 sec. user=vaughan [2012-02-16 05:13:22] 501*2^1124246-1 is not prime. Res64: 31653A706EFAAC03 Time : 0.0 sec. user=vaughan [2012-02-16 05:13:32] 501*2^1124250-1 is not prime. Res64: A9FF7EE2DA231424 Time : 0.0 sec. user=vaughan [2012-02-16 05:13:34] 439*2^1124251-1 is not prime. Res64: C8E15FE8183014BC Time : 0.0 sec. user=vaughan [2012-02-16 05:13:35] 567*2^1124250-1 is not prime. Res64: 7AD44E63B4DCC72B Time : 0.0 sec. user=vaughan [2012-02-16 05:13:35] 483*2^1124251-1 is not prime. Res64: BE1F770D097120AF Time : 0.0 sec. user=vaughan [2012-02-16 05:13:36] 525*2^1124246-1 is not prime. Res64: 1DE1E50912717EBD Time : 0.0 sec. user=vaughan [2012-02-16 05:13:37] 433*2^1124247-1 is not prime. Res64: B706FA806FF2DC02 Time : 0.0 sec. user=vaughan [2012-02-16 05:13:50] 535*2^1124251-1 is not prime. Res64: 9965EB0D0C66F92F Time : 0.0 sec. user=vaughan [2012-02-16 05:13:51] 599*2^1124252-1 is not prime. Res64: 6F3C1836770CE15A Time : 0.0 sec. user=vaughan [2012-02-16 05:14:02] 429*2^1124253-1 is not prime. Res64: C9103900B600419C Time : 0.0 sec. user=vaughan [2012-02-16 05:14:03] 471*2^1124253-1 is not prime. Res64: C8F147FB8361136D Time : 0.0 sec. user=juhehe [2012-02-16 05:15:36] 421*2^1124255-1 is not prime. Res64: 33558ACCC9FF17B2 Time : 0.0 sec. user=vaughan [2012-02-16 05:15:40] 417*2^1124262-1 is not prime. Res64: 1ABA43AAF1E88F1D Time : 0.0 sec. user=vaughan [2012-02-16 05:15:41] 437*2^1124262-1 is not prime. Res64: 21E22CF1E9A258F3 Time : 0.0 sec. user=juhehe [2012-02-16 05:16:01] 503*2^1124256-1 is not prime. Res64: 4FE3DF35FBAA0F4F Time : 0.0 sec. user=vaughan [2012-02-16 05:17:07] 451*2^1124247-1 is not prime. Res64: 71F2F9E8A25BB9F2 Time : 0.0 sec. user=vaughan [2012-02-16 05:17:08] 549*2^1124247-1 is not prime. Res64: 295D9EE6BEB740AD Time : 0.0 sec. user=vaughan [2012-02-16 05:17:13] 413*2^1124248-1 is not prime. Res64: 59EA26FE8E44122C Time : 0.0 sec. user=vaughan [2012-02-16 05:17:14] 419*2^1124248-1 is not prime. Res64: 730412A3CB54B463 Time : 0.0 sec. user=vaughan [2012-02-16 05:17:43] 435*2^1124248-1 is not prime. Res64: FE1C9A66CA3A8316 Time : 0.0 sec. user=vaughan [2012-02-16 05:17:44] 567*2^1124248-1 is not prime. Res64: 0B178CDD45F394DD Time : 0.0 sec. user=vaughan [2012-02-16 05:20:08] 511*2^1124253-1 is not prime. Res64: E986D8D752F60117 Time : 0.0 sec. user=vaughan [2012-02-16 05:20:09] 517*2^1124253-1 is not prime. Res64: 758A575ABCFFD850 Time : 0.0 sec. user=vaughan [2012-02-16 05:20:10] 537*2^1124253-1 is not prime. Res64: DBDE4A0F538CDD33 Time : 0.0 sec. user=vaughan [2012-02-16 05:20:10] 567*2^1124254-1 is not prime. Res64: 4871DDCBE647A5BB Time : 0.0 sec. user=vaughan [2012-02-16 05:20:11] 525*2^1124253-1 is not prime. Res64: 96C6DF2C71B47F3F Time : 0.0 sec. user=vaughan [2012-02-16 05:20:11] 529*2^1124253-1 is not prime. Res64: BB0C787B46F0C093 Time : 0.0 sec. user=vaughan [2012-02-16 05:20:25] 511*2^1124255-1 is not prime. Res64: A9E472B7A1FA4012 Time : 0.0 sec. user=vaughan [2012-02-16 05:20:26] 479*2^1124256-1 is not prime. Res64: CF21F28F54681029 Time : 0.0 sec. user=vaughan [2012-02-16 05:23:55] 573*2^1124262-1 is not prime. Res64: 37437D9D6597BF0F Time : 0.0 sec. user=vaughan [2012-02-16 05:23:56] 415*2^1124263-1 is not prime. Res64: 49DC4B5EA8670379 Time : 0.0 sec. user=vaughan [2012-02-16 05:24:10] 511*2^1124263-1 is not prime. Res64: A024F17AF695A72F Time : 0.0 sec. user=vaughan [2012-02-16 05:24:10] 555*2^1124263-1 is not prime. Res64: 00D363F9496255F5 Time : 0.0 sec. user=vaughan [2012-02-16 05:29:43] 489*2^1124259-1 is not prime. Res64: 737ECF4C6027D4D7 Time : 0.0 sec. user=vaughan [2012-02-16 05:29:43] 523*2^1124259-1 is not prime. Res64: 60AEEEE943555A7A Time : 0.0 sec. user=vaughan [2012-02-16 05:30:55] 485*2^1124262-1 is not prime. Res64: 342D76E6968893E5 Time : 0.0 sec. user=vaughan [2012-02-16 05:30:56] 555*2^1124262-1 is not prime. Res64: E3BE98ABAD471403 Time : 0.0 sec. user=vaughan [2012-02-16 05:30:59] 445*2^1124265-1 is not prime. Res64: F736F72CDDD880C7 Time : 0.0 sec. user=vaughan [2012-02-16 05:30:59] 453*2^1124266-1 is not prime. Res64: 9B89C04D55D1873F Time : 0.0 sec. user=vaughan [2012-02-16 05:31:09] 567*2^1124264-1 is not prime. Res64: 930D93E4576F1ED1 Time : 0.0 sec. user=vaughan [2012-02-16 05:31:10] 593*2^1124264-1 is not prime. Res64: 65A81EF376B0A6DC Time : 0.0 sec. user=vaughan [2012-02-16 05:31:25] 551*2^1124266-1 is not prime. Res64: A323434CDFD565A7 Time : 0.0 sec. user=vaughan [2012-02-16 05:31:26] 475*2^1124267-1 is not prime. Res64: 774F19CBD446E085 Time : 0.0 sec. user=vaughan [2012-02-16 05:33:41] 571*2^1124261-1 is not prime. Res64: B678D92E3803B3AD Time : 0.0 sec. user=vaughan [2012-02-16 05:33:41] 405*2^1124262-1 is not prime. Res64: 45243AFB3AE65A3A Time : 0.0 sec. user=vaughan [2012-02-16 05:36:59] 523*2^1124267-1 is not prime. Res64: 5866071ABE27B3EA Time : 0.0 sec. user=vaughan [2012-02-16 05:37:00] 405*2^1124268-1 is not prime. Res64: FBA2BA74765BAC3E Time : 0.0 sec. user=vaughan [2012-02-16 05:37:05] 465*2^1124268-1 is not prime. Res64: BA267B787A41DBC1 Time : 0.0 sec. user=vaughan [2012-02-16 05:37:06] 515*2^1124268-1 is not prime. Res64: 1C24B23B613E6AC6 Time : 0.0 sec. user=vaughan [2012-02-16 05:38:05] 429*2^1124275-1 is not prime. Res64: 4E98B3D4EA73B915 Time : 0.0 sec. user=vaughan [2012-02-16 05:38:06] 561*2^1124275-1 is not prime. Res64: 8188E96CB00BB531 Time : 0.0 sec. user=juhehe [2012-02-16 05:47:41] 421*2^1124275-1 is not prime. Res64: 916C8A661FD93091 Time : 0.0 sec. user=vaughan [2012-02-16 05:47:44] 429*2^1124272-1 is not prime. Res64: 01D5987AB6DE78FA Time : 0.0 sec. user=vaughan [2012-02-16 05:47:44] 585*2^1124270-1 is not prime. Res64: 8EB1E8220988CE05 Time : 0.0 sec. user=vaughan [2012-02-16 05:47:45] 405*2^1124272-1 is not prime. Res64: E4AFA15BE09DC22F Time : 0.0 sec. user=vaughan [2012-02-16 05:47:45] 539*2^1124272-1 is not prime. Res64: DC37E09740C1FFF1 Time : 0.0 sec. user=vaughan [2012-02-16 05:47:49] 441*2^1124273-1 is not prime. Res64: 4F282669746CB2C8 Time : 0.0 sec. user=vaughan [2012-02-16 05:47:50] 507*2^1124273-1 is not prime. Res64: 3BE5CC92DDBC95BC Time : 0.0 sec. user=juhehe [2012-02-16 05:48:09] 469*2^1124277-1 is not prime. Res64: 7538399C1B4E3A44 Time : 0.0 sec. user=vaughan [2012-02-16 05:48:14] 529*2^1124273-1 is not prime. Res64: B4148D8A912D7DDF Time : 0.0 sec. user=vaughan [2012-02-16 05:48:15] 585*2^1124274-1 is not prime. Res64: 7E0AA7E0063293E4 Time : 0.0 sec. user=vaughan [2012-02-16 05:48:17] 417*2^1124264-1 is not prime. Res64: E9E62FD48D8820C8 Time : 0.0 sec. user=vaughan [2012-02-16 05:48:18] 539*2^1124264-1 is not prime. Res64: 57EEAC986388FD80 Time : 0.0 sec. user=vaughan [2012-02-16 05:49:38] 545*2^1124268-1 is not prime. Res64: B093C23FE4BB6E93 Time : 0.0 sec. user=vaughan [2012-02-16 05:49:39] 549*2^1124268-1 is not prime. Res64: EAEEAD8DA02143AC Time : 0.0 sec. user=vaughan [2012-02-16 05:50:08] 579*2^1124284-1 is not prime. Res64: D4954275D447724D Time : 0.0 sec. user=vaughan [2012-02-16 05:50:09] 451*2^1124285-1 is not prime. Res64: BA4C1CFCAD7474CD Time : 0.0 sec. user=vaughan [2012-02-16 05:50:24] 405*2^1124286-1 is not prime. Res64: DBB453D8EEB37B27 Time : 0.0 sec. user=vaughan [2012-02-16 05:50:25] 425*2^1124286-1 is not prime. Res64: 237E7B328FE7DBF2 Time : 0.0 sec. user=vaughan [2012-02-16 05:53:39] 493*2^1124287-1 is not prime. Res64: 418283195CDEF508 Time : 0.0 sec. user=vaughan [2012-02-16 05:53:40] 583*2^1124287-1 is not prime. Res64: 8AD94268D3F3F136 Time : 0.0 sec. user=vaughan [2012-02-16 05:53:47] 495*2^1124288-1 is not prime. Res64: 16359F4D1E2F09FE Time : 0.0 sec. user=vaughan [2012-02-16 05:53:48] 557*2^1124288-1 is not prime. Res64: CE6C34879E9E8923 Time : 0.0 sec. user=vaughan [2012-02-16 05:54:09] 563*2^1124288-1 is not prime. Res64: 5458578B4F1FA7F7 Time : 0.0 sec. user=vaughan [2012-02-16 05:54:10] 457*2^1124289-1 is not prime. Res64: 68D9D83B8224093B Time : 0.0 sec. user=vaughan [2012-02-16 05:54:43] 451*2^1124269-1 is not prime. Res64: DA391D33688FCDD5 Time : 0.0 sec. user=vaughan [2012-02-16 05:54:44] 461*2^1124270-1 is not prime. Res64: 39DDF1E0B7B4688E Time : 0.0 sec. user=vaughan [2012-02-16 05:55:14] 563*2^1124272-1 is not prime. Res64: D33369D072EF4B5D Time : 0.0 sec. user=vaughan [2012-02-16 05:55:15] 409*2^1124273-1 is not prime. Res64: 08A5B52ED6330BBB Time : 0.0 sec. user=vaughan [2012-02-16 05:56:58] 415*2^1124281-1 is not prime. Res64: D8E85F28235EFC0D Time : 0.0 sec. user=vaughan [2012-02-16 05:56:59] 507*2^1124282-1 is not prime. Res64: 4D44B4EC68CD6385 Time : 0.0 sec. user=vaughan [2012-02-16 05:57:00] 489*2^1124283-1 is not prime. Res64: 86BD68ECAC898689 Time : 0.0 sec. user=vaughan [2012-02-16 05:57:00] 561*2^1124282-1 is not prime. Res64: E24C7ABB02A3ACE3 Time : 0.0 sec. user=vaughan [2012-02-16 05:57:01] 555*2^1124283-1 is not prime. Res64: 3957F0BBAEE4E797 Time : 0.0 sec. user=vaughan [2012-02-16 05:57:01] 445*2^1124283-1 is not prime. Res64: 3BBCA72372847233 Time : 0.0 sec. user=vaughan [2012-02-16 05:57:09] 423*2^1124284-1 is not prime. Res64: 7EA897DECC8D2A31 Time : 0.0 sec. user=vaughan [2012-02-16 05:57:10] 479*2^1124284-1 is not prime. Res64: E13B5AA896F2BB75 Time : 0.0 sec. user=vaughan [2012-02-16 06:00:48] 441*2^1124291-1 is not prime. Res64: 72B950B7BD006ECE Time : 0.0 sec. user=vaughan [2012-02-16 06:00:53] 579*2^1124291-1 is not prime. Res64: 19CB760D3546AD3C Time : 0.0 sec. user=vaughan [2012-02-16 06:01:19] 531*2^1124277-1 is not prime. Res64: A107C47BD46BFA04 Time : 0.0 sec. user=vaughan [2012-02-16 06:01:20] 507*2^1124278-1 is not prime. Res64: B9289251BA103BB8 Time : 0.0 sec. user=vaughan [2012-02-16 06:01:29] 567*2^1124278-1 is not prime. Res64: DB00BCAC0EB9CB33 Time : 0.0 sec. user=vaughan [2012-02-16 06:01:30] 501*2^1124279-1 is not prime. Res64: F59F36FF21717D13 Time : 0.0 sec. user=vaughan [2012-02-16 06:01:57] 565*2^1124279-1 is not prime. Res64: C734EEF0E1701D26 Time : 0.0 sec. user=vaughan [2012-02-16 06:03:14] 401*2^1124290-1 is not prime. Res64: B74D873B1E2FEFAD Time : 0.0 sec. user=vaughan [2012-02-16 06:03:15] 477*2^1124290-1 is not prime. Res64: DCE6E256FE4737ED Time : 0.0 sec. user=vaughan [2012-02-16 06:03:18] 531*2^1124290-1 is not prime. Res64: 5A2EEDC926A83D3F Time : 0.0 sec. user=vaughan [2012-02-16 06:03:19] 433*2^1124291-1 is not prime. Res64: FFC44088015EB333 Time : 0.0 sec. user=vaughan [2012-02-16 06:07:41] 483*2^1124287-1 is not prime. Res64: ACC2AA3298AEB578 Time : 0.0 sec. user=vaughan [2012-02-16 06:07:42] 489*2^1124287-1 is not prime. Res64: FC176551377FEC60 Time : 0.0 sec. user=vaughan [2012-02-16 06:13:57] 423*2^1124287-1 is not prime. Res64: C245AE4657A06C99 Time : 0.0 sec. user=vaughan [2012-02-16 06:13:58] 429*2^1124287-1 is not prime. Res64: CA0E984A856AA81D Time : 0.0 sec. user=vaughan [2012-02-16 06:14:51] 507*2^1124289-1 is not prime. Res64: 118B2B68C35BC441 Time : 0.0 sec. user=vaughan [2012-02-16 06:14:52] 511*2^1124289-1 is not prime. Res64: 503765171CBD1EDB Time : 0.0 sec. user=vaughan [2012-02-16 06:16:14] 525*2^1124296-1 is not prime. Res64: D852830287EEE6D2 Time : 0.0 sec. user=vaughan [2012-02-16 06:16:14] 489*2^1124297-1 is not prime. Res64: 5D9000B58E143C0F Time : 0.0 sec. user=vaughan [2012-02-16 06:16:15] 573*2^1124296-1 is not prime. Res64: F840750C19D7402B Time : 0.0 sec. user=vaughan [2012-02-16 06:16:15] 589*2^1124297-1 is not prime. Res64: F0C64CB04E3C63B1 Time : 0.0 sec. user=vaughan [2012-02-16 06:16:15] 469*2^1124295-1 is not prime. Res64: 8646314A27CA1270 Time : 0.0 sec. user=vaughan [2012-02-16 06:16:16] 489*2^1124295-1 is not prime. Res64: 2B36EFEFD91BE81D Time : 0.0 sec. user=vaughan [2012-02-16 06:16:42] 573*2^1124295-1 is not prime. Res64: FAE4B5AEF43EB64A Time : 0.0 sec. user=vaughan [2012-02-16 06:16:43] 509*2^1124296-1 is not prime. Res64: 9339C98314965F22 Time : 0.0 sec. user=vaughan [2012-02-16 06:16:51] 471*2^1124298-1 is not prime. Res64: 5D636A7DBA28A1CD Time : 0.0 sec. user=vaughan [2012-02-16 06:16:52] 551*2^1124298-1 is not prime. Res64: 820DC7784BE44E4C Time : 0.0 sec. user=juhehe [2012-02-16 06:19:42] 413*2^1124292-1 is not prime. Res64: 2177050433E776E1 Time : 0.0 sec. user=juhehe [2012-02-16 06:20:09] 425*2^1124294-1 is not prime. Res64: 9E5386D9DB36E55F Time : 0.0 sec. user=vaughan [2012-02-16 06:21:55] 465*2^1124293-1 is not prime. Res64: 543AAAFE144D5B8F Time : 0.0 sec. user=vaughan [2012-02-16 06:21:56] 477*2^1124293-1 is not prime. Res64: 674A6B9343DEE97F Time : 0.0 sec. user=vaughan [2012-02-16 06:22:03] 489*2^1124292-1 is not prime. Res64: 6B197B477EDC2F77 Time : 0.0 sec. user=vaughan [2012-02-16 06:22:04] 405*2^1124293-1 is not prime. Res64: DBBBB296176B9B1A Time : 0.0 sec. user=vaughan [2012-02-16 06:22:04] 559*2^1124293-1 is not prime. Res64: B1295FDDE31BFDB5 Time : 0.0 sec. user=vaughan [2012-02-16 06:22:05] 561*2^1124293-1 is not prime. Res64: E7605FED6187944B Time : 0.0 sec. user=vaughan [2012-02-16 06:22:33] 447*2^1124294-1 is not prime. Res64: 2F54712E976E851F Time : 0.0 sec. user=vaughan [2012-02-16 06:22:33] 585*2^1124294-1 is not prime. Res64: C407121B269A0204 Time : 0.0 sec. user=vaughan [2012-02-16 06:23:35] 423*2^1124302-1 is not prime. Res64: 75DED08EDDCE1F53 Time : 0.0 sec. user=vaughan [2012-02-16 06:23:36] 507*2^1124302-1 is not prime. Res64: 8E2B4574CC31B6CE Time : 0.0 sec. user=vaughan [2012-02-16 06:26:29] 423*2^1124295-1 is not prime. Res64: 07A4E0EAE63C1260 Time : 0.0 sec. user=vaughan [2012-02-16 06:26:29] 465*2^1124295-1 is not prime. Res64: E738125724A59209 Time : 0.0 sec. user=vaughan [2012-02-16 06:29:31] 559*2^1124303-1 is not prime. Res64: 8294FF532875889F Time : 0.0 sec. user=vaughan [2012-02-16 06:29:32] 419*2^1124304-1 is not prime. Res64: AA945F034388775B Time : 0.0 sec. user=vaughan [2012-02-16 06:29:43] 447*2^1124304-1 is not prime. Res64: B9A27827D66B232B Time : 0.0 sec. user=vaughan [2012-02-16 06:29:43] 503*2^1124304-1 is not prime. Res64: 70C7E86C7C51EE9A Time : 0.0 sec. user=vaughan [2012-02-16 06:29:56] 587*2^1124294-1 is not prime. Res64: C804C0495D45D0B1 Time : 0.0 sec. user=vaughan [2012-02-16 06:29:57] 411*2^1124295-1 is not prime. Res64: 806046DA93D10A38 Time : 0.0 sec. user=vaughan [2012-02-16 06:33:44] 599*2^1124300-1 is not prime. Res64: 90341FED16400E85 Time : 0.0 sec. user=vaughan [2012-02-16 06:33:45] 465*2^1124301-1 is not prime. Res64: 9B55FB337B8945E1 Time : 0.0 sec. user=vaughan [2012-02-16 06:33:46] 493*2^1124299-1 is not prime. Res64: 34F75C063D03B36B Time : 0.0 sec. user=vaughan [2012-02-16 06:33:47] 519*2^1124300-1 is not prime. Res64: 7BFDA7BB115E1C40 Time : 0.0 sec. user=vaughan [2012-02-16 06:33:48] 533*2^1124300-1 is not prime. Res64: AC53ED01B0FD952C Time : 0.0 sec. user=vaughan [2012-02-16 06:33:48] 545*2^1124300-1 is not prime. Res64: EBDD8C8543D6883E Time : 0.0 sec. user=vaughan [2012-02-16 06:33:56] 469*2^1124301-1 is not prime. Res64: 7999B008D020873B Time : 0.0 sec. user=vaughan [2012-02-16 06:33:57] 555*2^1124301-1 is not prime. Res64: 2D4C81A8F57F2E6A Time : 0.0 sec. user=vaughan [2012-02-16 06:35:03] 557*2^1124280-1 is not prime. Res64: BB2B01842ABB0441 Time : 0.0 sec. user=vaughan [2012-02-16 06:36:19] 573*2^1124298-1 is not prime. Res64: E29CF8D04549AC05 Time : 0.0 sec. user=vaughan [2012-02-16 06:36:19] 581*2^1124298-1 is not prime. Res64: 6B7EA7C1FCBB01B1 Time : 0.0 sec. user=vaughan [2012-02-16 06:36:39] 463*2^1124299-1 is not prime. Res64: 0404110D0D90053E Time : 0.0 sec. user=vaughan [2012-02-16 06:36:39] 481*2^1124299-1 is not prime. Res64: C9AF1EC948A00C8D Time : 0.0 sec. user=vaughan [2012-02-16 06:38:35] 501*2^1124306-1 is not prime. Res64: 392B3FBA150E9C61 Time : 0.0 sec. user=vaughan [2012-02-16 06:38:36] 561*2^1124306-1 is not prime. Res64: 71EE431FC6C2B091 Time : 0.0 sec. user=vaughan [2012-02-16 06:38:42] 525*2^1124305-1 is not prime. Res64: A358A58D8D4F3674 Time : 0.0 sec. user=vaughan [2012-02-16 06:38:43] 417*2^1124306-1 is not prime. Res64: 93F14F7788DF52E6 Time : 0.0 sec. user=vaughan [2012-02-16 06:39:12] 417*2^1124310-1 is not prime. Res64: E1C29E2368C0EF7B Time : 0.0 sec. user=vaughan [2012-02-16 06:39:12] 453*2^1124310-1 is not prime. Res64: 606541743F19B062 Time : 0.0 sec. user=vaughan [2012-02-16 06:42:29] 465*2^1124307-1 is not prime. Res64: E8688008C8756CA8 Time : 0.0 sec. user=vaughan [2012-02-16 06:42:30] 571*2^1124307-1 is not prime. Res64: 6524A0178EBE4F08 Time : 0.0 sec. user=vaughan [2012-02-16 06:42:50] 435*2^1124309-1 is not prime. Res64: 7448FA0A488F2392 Time : 0.0 sec. user=vaughan [2012-02-16 06:42:51] 459*2^1124309-1 is not prime. Res64: E93B9835F0177D0D Time : 0.0 sec. user=vaughan [2012-02-16 06:44:25] 513*2^1124304-1 is not prime. Res64: 3648836B98C0ED4B Time : 0.0 sec. user=vaughan [2012-02-16 06:44:25] 527*2^1124304-1 is not prime. Res64: FC28A7FFDEC58A84 Time : 0.0 sec. user=vaughan [2012-02-16 06:45:39] 435*2^1124303-1 is not prime. Res64: 0BD2ABFD48A3BABE Time : 0.0 sec. user=vaughan [2012-02-16 06:45:39] 441*2^1124303-1 is not prime. Res64: E55D4E3309EF9E1F Time : 0.0 sec. user=vaughan [2012-02-16 06:45:42] 493*2^1124303-1 is not prime. Res64: B01685DBAAAB08C0 Time : 0.0 sec. user=vaughan [2012-02-16 06:45:43] 525*2^1124303-1 is not prime. Res64: E3BAB3DD66F44D92 Time : 0.0 sec. user=vaughan [2012-02-16 06:46:05] 559*2^1124311-1 is not prime. Res64: 8AF6EBF313BD90BF Time : 0.0 sec. user=vaughan [2012-02-16 06:46:06] 425*2^1124312-1 is not prime. Res64: F9CDBF9AC30A575C Time : 0.0 sec. user=vaughan [2012-02-16 06:51:06] 511*2^1124311-1 is not prime. Res64: 495C2FEB8E771776 Time : 0.0 sec. user=vaughan [2012-02-16 06:51:07] 415*2^1124311-1 is not prime. Res64: 18D6B0FA70F2B9D8 Time : 0.0 sec. user=vaughan [2012-02-16 06:51:08] 499*2^1124311-1 is not prime. Res64: BCF78406E7F3788E Time : 0.0 sec. user=vaughan [2012-02-16 06:51:09] 585*2^1124310-1 is not prime. Res64: C2CE45B4E558F776 Time : 0.0 sec. user=vaughan [2012-02-16 06:51:30] 563*2^1124304-1 is not prime. Res64: CD012C8AD33BCE9B Time : 0.0 sec. user=juhehe [2012-02-16 06:52:27] 525*2^1124310-1 is not prime. Res64: 4945427DA088A0C1 Time : 0.0 sec. user=vaughan [2012-02-16 06:52:49] 465*2^1124320-1 is not prime. Res64: 80B9185CDBC098C5 Time : 0.0 sec. user=juhehe [2012-02-16 06:53:05] 527*2^1124310-1 is not prime. Res64: 73BF46E310FFFA8A Time : 0.0 sec. user=vaughan [2012-02-16 06:54:40] 591*2^1124318-1 is not prime. Res64: B23E456427484967 Time : 0.0 sec. user=vaughan [2012-02-16 06:54:46] 511*2^1124319-1 is not prime. Res64: 8AA6F0E30D7FC86F Time : 0.0 sec. user=vaughan [2012-02-16 06:55:42] 507*2^1124312-1 is not prime. Res64: A3493FE0AB5113D4 Time : 0.0 sec. user=vaughan [2012-02-16 06:55:43] 471*2^1124313-1 is not prime. Res64: 573AB19AE58B090E Time : 0.0 sec. user=vaughan [2012-02-16 06:56:00] 487*2^1124313-1 is not prime. Res64: 32BE8A42B59E8FCD Time : 0.0 sec. user=vaughan [2012-02-16 06:56:01] 525*2^1124313-1 is not prime. Res64: 106AE878F0C6D560 Time : 0.0 sec. user=vaughan [2012-02-16 06:56:25] 441*2^1124305-1 is not prime. Res64: 41DBC7584A9D953F Time : 0.0 sec. user=vaughan [2012-02-16 06:56:26] 465*2^1124305-1 is not prime. Res64: B459F7A7C808D32D Time : 0.0 sec. user=vaughan [2012-02-16 06:57:31] 489*2^1124321-1 is not prime. Res64: 83B2397C9EDBC8D9 Time : 0.0 sec. user=vaughan [2012-02-16 06:57:32] 559*2^1124321-1 is not prime. Res64: 8B9DF87D4395C1CC Time : 0.0 sec. user=vaughan [2012-02-16 06:59:39] 477*2^1124314-1 is not prime. Res64: E54A308123C193B7 Time : 0.0 sec. user=vaughan [2012-02-16 06:59:41] 567*2^1124318-1 is not prime. Res64: B501E2D30FD5D72D Time : 0.0 sec. user=vaughan [2012-02-16 06:59:44] 515*2^1124318-1 is not prime. Res64: 12F7F99701A50722 Time : 0.0 sec. user=vaughan [2012-02-16 07:03:12] 455*2^1124312-1 is not prime. Res64: CF42F5EA19334BD8 Time : 0.0 sec. user=vaughan [2012-02-16 07:03:14] 483*2^1124312-1 is not prime. Res64: 415E0125C3B425F5 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:32] 545*2^1124316-1 is not prime. Res64: 1B522D35B0F043D9 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:33] 497*2^1124314-1 is not prime. Res64: 74C470E42F9F7537 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:33] 405*2^1124316-1 is not prime. Res64: F87BA9B0E6EF5B72 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:34] 427*2^1124317-1 is not prime. Res64: 91B30697EE003F83 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:34] 481*2^1124315-1 is not prime. Res64: B60CE4972113D5C3 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:34] 539*2^1124316-1 is not prime. Res64: EC3E62863D84C856 Time : 0.0 sec. user=vaughan [2012-02-16 07:10:42] 507*2^1124317-1 is not prime. Res64: 311D4E9A545B4E2B Time : 0.0 sec. user=vaughan [2012-02-16 07:10:43] 567*2^1124317-1 is not prime. Res64: 51061B20E84D7150 Time : 0.0 sec. user=vaughan [2012-02-16 07:21:10] 431*2^1124322-1 is not prime. Res64: 7B4C0A7B8321B35E Time : 0.0 sec. user=vaughan [2012-02-16 07:21:10] 447*2^1124322-1 is not prime. Res64: 9A9D4355F49AC457 Time : 0.0 sec. user=vaughan [2012-02-16 07:22:01] 505*2^1124327-1 is not prime. Res64: 52F591EA3BFF205C Time : 0.0 sec. user=juhehe [2012-02-16 07:25:20] 423*2^1124324-1 is not prime. Res64: A97D03472B8C4982 Time : 0.0 sec. user=juhehe [2012-02-16 07:25:37] 483*2^1124324-1 is not prime. Res64: 3F783925B220E8CB Time : 0.0 sec. user=juhehe [2012-02-16 07:57:46] 593*2^1124330-1 is not prime. Res64: 7E8E1326DB2E62B7 Time : 0.0 sec. user=juhehe [2012-02-16 07:58:01] 591*2^1124331-1 is not prime. Res64: D0AE1603B2319049 Time : 0.0 sec. user=gd_barnes [2012-02-16 08:29:25] 455*2^1124332-1 is not prime. Res64: 7859C23F6BC9B464 Time : 0.0 sec. user=juhehe [2012-02-16 08:30:25] 423*2^1124332-1 is not prime. Res64: FBF83FE51E738748 Time : 0.0 sec. user=juhehe [2012-02-16 08:30:42] 453*2^1124332-1 is not prime. Res64: 2B3BE87595C8D301 Time : 0.0 sec. user=juhehe [2012-02-16 09:03:20] 497*2^1124332-1 is not prime. Res64: 2B3539ADB801608C Time : 0.0 sec. user=juhehe [2012-02-16 09:03:36] 519*2^1124332-1 is not prime. Res64: F434F60DE0024951 Time : 0.0 sec. user=juhehe [2012-02-16 09:36:36] 527*2^1124332-1 is not prime. Res64: 21F41703BF0DBF49 Time : 0.0 sec. user=juhehe [2012-02-16 09:36:36] 563*2^1124332-1 is not prime. Res64: 5637B96B622B1893 Time : 0.0 sec. user=juhehe [2012-02-16 10:08:59] 451*2^1124333-1 is not prime. Res64: CDEC78A7C702144D Time : 0.0 sec. user=juhehe [2012-02-16 10:09:38] 569*2^1124332-1 is not prime. Res64: D4E4C6CB0FFF19FA Time : 0.0 sec. user=juhehe [2012-02-16 10:41:31] 411*2^1124334-1 is not prime. Res64: E1011A56CD38740A Time : 0.0 sec. user=juhehe [2012-02-16 10:41:56] 437*2^1124334-1 is not prime. Res64: BF742045927D77B5 Time : 0.0 sec. user=juhehe [2012-02-16 11:13:51] 455*2^1124334-1 is not prime. Res64: 49BA611F1296E2F1 Time : 0.0 sec. user=juhehe [2012-02-16 11:14:15] 525*2^1124334-1 is not prime. Res64: 158D2D0389B83065 Time : 0.0 sec. user=juhehe [2012-02-16 11:46:18] 441*2^1124335-1 is not prime. Res64: 0ED4901CA3023438 Time : 0.0 sec. user=juhehe [2012-02-16 11:46:41] 469*2^1124335-1 is not prime. Res64: 16DD157EE1644431 Time : 0.0 sec. user=juhehe [2012-02-16 12:18:40] 535*2^1124335-1 is not prime. Res64: 9A725AD8F9542432 Time : 0.0 sec. user=juhehe [2012-02-16 12:19:04] 457*2^1124337-1 is not prime. Res64: 055567E2B07F7A64 Time : 0.0 sec. user=juhehe [2012-02-16 12:51:01] 549*2^1124337-1 is not prime. Res64: 95D17932C17AB7B1 Time : 0.0 sec. user=juhehe [2012-02-16 12:51:25] 579*2^1124337-1 is not prime. Res64: 98D52DB7CA777B7D Time : 0.0 sec. user=juhehe [2012-02-16 13:23:38] 507*2^1124338-1 is not prime. Res64: 05F0ED29199AEC7B Time : 0.0 sec. user=juhehe [2012-02-16 13:24:01] 525*2^1124338-1 is not prime. Res64: 7502F2CA0855632D Time : 0.0 sec. user=juhehe [2012-02-16 13:56:38] 527*2^1124338-1 is not prime. Res64: 0727928D7F68809D Time : 0.0 sec. user=juhehe [2012-02-16 13:56:55] 597*2^1124338-1 is not prime. Res64: 1474F3625A1B6AF9 Time : 0.0 sec. user=juhehe [2012-02-16 14:29:03] 439*2^1124339-1 is not prime. Res64: 198BA6D862838EC9 Time : 0.0 sec. user=juhehe [2012-02-16 14:29:19] 463*2^1124339-1 is not prime. Res64: D41E1C7BF38B9C5C Time : 0.0 sec. user=juhehe [2012-02-16 15:01:31] 549*2^1124339-1 is not prime. Res64: B310A1AB1A3B6A1C Time : 0.0 sec. user=juhehe [2012-02-16 15:01:38] 571*2^1124339-1 is not prime. Res64: FA12BE88C0DE1F11 Time : 0.0 sec. user=gd_barnes [2012-02-16 19:37:34] 567*2^1124340-1 is not prime. Res64: 8F412B9C4FBBEFC3 Time : 0.0 sec. user=henryzz [2012-02-16 22:39:08] 597*2^1124340-1 is not prime. Res64: 2CEC7C8D6F03B881 Time : 0.0 sec. user=henryzz [2012-02-16 22:41:34] 427*2^1124341-1 is not prime. Res64: E891B1CF7E9BCF0E Time : 0.0 sec. user=henryzz [2012-02-16 22:47:39] 429*2^1124341-1 is not prime. Res64: CF91FEF71FFD5612 Time : 0.0 sec. user=henryzz [2012-02-16 22:48:16] 499*2^1124341-1 is not prime. Res64: AFCDAFDF4AB18473 Time : 0.0 sec. user=henryzz [2012-02-16 23:03:14] 505*2^1124341-1 is not prime. Res64: 116A9B35EF6737EE Time : 0.0 sec. user=henryzz [2012-02-16 23:06:04] 517*2^1124341-1 is not prime. Res64: 1DE49819A30EB49A Time : 0.0 sec. user=henryzz [2012-02-16 23:12:01] 525*2^1124341-1 is not prime. Res64: 362E9D629DB17BA7 Time : 0.0 sec. user=henryzz [2012-02-16 23:12:07] 541*2^1124341-1 is not prime. Res64: B2CC9291C6C4651F Time : 0.0 sec. user=henryzz [2012-02-16 23:28:18] 559*2^1124341-1 is not prime. Res64: 0D119D895A4BCA55 Time : 0.0 sec. user=henryzz [2012-02-16 23:30:06] 597*2^1124341-1 is not prime. Res64: 68D61DC65981CDA6 Time : 0.0 sec. user=henryzz [2012-02-16 23:36:05] 423*2^1124342-1 is not prime. Res64: 01EED2F683C9733A Time : 0.0 sec. user=henryzz [2012-02-16 23:36:43] 417*2^1124342-1 is not prime. Res64: DC6DE0B7770C60A7 Time : 0.0 sec. user=henryzz [2012-02-16 23:53:05] 477*2^1124342-1 is not prime. Res64: E4F5F3D7D88ECEC9 Time : 0.0 sec. user=henryzz [2012-02-16 23:54:07] 501*2^1124342-1 is not prime. Res64: 0A2C926C958A1C7A Time : 0.0 sec. user=henryzz [2012-02-17 00:00:42] 561*2^1124342-1 is not prime. Res64: 609B928A570B52F0 Time : 0.0 sec. user=henryzz [2012-02-17 00:00:56] 503*2^1124342-1 is not prime. Res64: 3D97CD435ED3FAED Time : 0.0 sec.