user=vaughan [2009-07-29 00:05:52] 585*2^704883-1 is not prime. Res64: 395EA3968A7E6906 Time : 454.0 sec. user=vaughan [2009-07-29 00:06:55] 595*2^704883-1 is not prime. Res64: 5FFB922470C2811E Time : 464.0 sec. user=vaughan [2009-07-29 00:13:25] 435*2^704884-1 is not prime. Res64: 0847FA6E3846FF6E Time : 453.0 sec. user=vaughan [2009-07-29 00:14:38] 465*2^704884-1 is not prime. Res64: 778B51C7A1613FD4 Time : 464.0 sec. user=vaughan [2009-07-29 00:20:58] 533*2^704884-1 is not prime. Res64: ABEBD1E6DB9EF7C6 Time : 453.0 sec. user=vaughan [2009-07-29 00:22:21] 545*2^704884-1 is not prime. Res64: 2E6333F621085D90 Time : 464.0 sec. user=vaughan [2009-07-29 00:28:31] 597*2^704884-1 is not prime. Res64: 019F981D756BE994 Time : 453.0 sec. user=vaughan [2009-07-29 00:30:03] 495*2^704885-1 is not prime. Res64: 49789897E5DC8697 Time : 463.0 sec. user=vaughan [2009-07-29 00:36:03] 507*2^704885-1 is not prime. Res64: E2F18AF9737DBBDE Time : 452.0 sec. user=vaughan [2009-07-29 00:37:46] 589*2^704885-1 is not prime. Res64: 06BEF6841B0B9A01 Time : 463.0 sec. user=vaughan [2009-07-29 00:43:36] 591*2^704885-1 is not prime. Res64: CF9E7D85B003807E Time : 453.0 sec. user=vaughan [2009-07-29 00:45:30] 437*2^704886-1 is not prime. Res64: 59B5D16F4C3CD708 Time : 464.0 sec. user=vaughan [2009-07-29 00:51:10] 453*2^704886-1 is not prime. Res64: C3E0475214A6E7FB Time : 454.0 sec. user=vaughan [2009-07-29 00:53:17] 471*2^704886-1 is not prime. Res64: 27EE36B45A3974CF Time : 467.0 sec. user=vaughan [2009-07-29 00:58:43] 503*2^704886-1 is not prime. Res64: 965C54C6267D6DF9 Time : 453.0 sec. user=vaughan [2009-07-29 01:01:01] 587*2^704886-1 is not prime. Res64: DD33C04360140650 Time : 464.0 sec. user=vaughan [2009-07-29 01:34:08] 429*2^704887-1 is not prime. Res64: AA376ED4FA47DB69 Time : 2125.0 sec. user=vaughan [2009-07-29 01:34:09] 439*2^704887-1 is not prime. Res64: 71D6EA4B39F999F5 Time : 1988.0 sec. user=vaughan [2009-07-29 01:41:40] 451*2^704887-1 is not prime. Res64: 42ACA7BB5D0CFDF6 Time : 452.0 sec. user=vaughan [2009-07-29 01:44:15] 559*2^704887-1 is not prime. Res64: 71E4D4FF94CC9044 Time : 461.0 sec. user=vaughan [2009-07-29 01:49:15] 573*2^704887-1 is not prime. Res64: C2DDFC72FA4AAB1B Time : 455.0 sec. user=vaughan [2009-07-29 01:51:56] 423*2^704888-1 is not prime. Res64: 35379D147D52EBD4 Time : 461.0 sec. user=vaughan [2009-07-29 01:56:51] 533*2^704888-1 is not prime. Res64: CFF4FF438BB87916 Time : 456.0 sec. user=vaughan [2009-07-29 01:59:37] 585*2^704888-1 is not prime. Res64: 34D29C4651722167 Time : 461.0 sec. user=vaughan [2009-07-29 02:04:27] 427*2^704889-1 is not prime. Res64: 208596BC57104368 Time : 456.0 sec. user=vaughan [2009-07-29 02:05:17] 489*2^704881-1 is not prime. Res64: 7844249A7668944E Time : 10094.0 sec. user=vaughan [2009-07-29 02:07:18] 461*2^704890-1 is not prime. Res64: 9A1926340FDCC36F Time : 461.0 sec. user=vaughan [2009-07-29 02:12:03] 575*2^704890-1 is not prime. Res64: 07630F407BA76797 Time : 456.0 sec. user=vaughan [2009-07-29 02:14:59] 405*2^704892-1 is not prime. Res64: 67CB5E8BABC29503 Time : 461.0 sec. user=vaughan [2009-07-29 02:19:38] 413*2^704892-1 is not prime. Res64: BDDF8D30A2052465 Time : 455.0 sec. user=vaughan [2009-07-29 02:22:41] 549*2^704892-1 is not prime. Res64: D63954A4C3090717 Time : 462.0 sec. user=vaughan [2009-07-29 02:27:13] 563*2^704892-1 is not prime. Res64: 2BE489D916271F2E Time : 455.0 sec. user=vaughan [2009-07-29 02:40:51] 567*2^704892-1 is not prime. Res64: 5B1C63D99D38F90B Time : 1090.0 sec. user=vaughan [2009-07-29 02:40:53] 465*2^704891-1 is not prime. Res64: 223FE34CE80B9624 Time : 2136.0 sec. user=vaughan [2009-07-29 02:40:59] 569*2^704892-1 is not prime. Res64: 50DCC8EADE155353 Time : 826.0 sec. user=vaughan [2009-07-29 02:48:30] 427*2^704893-1 is not prime. Res64: 88A3E8312817120F Time : 459.0 sec. user=vaughan [2009-07-29 02:49:35] 471*2^704893-1 is not prime. Res64: 9E21312DE1C3B694 Time : 455.0 sec. user=vaughan [2009-07-29 02:56:11] 499*2^704893-1 is not prime. Res64: 06357DC4FE011DF2 Time : 461.0 sec. user=vaughan [2009-07-29 02:57:10] 541*2^704893-1 is not prime. Res64: C5314512217610A4 Time : 456.0 sec. user=vaughan [2009-07-29 03:03:52] 555*2^704893-1 is not prime. Res64: 24ADF1AE49B8E6F2 Time : 461.0 sec. user=vaughan [2009-07-29 03:04:45] 565*2^704893-1 is not prime. Res64: 4FAEEC4867F13440 Time : 456.0 sec. user=vaughan [2009-07-29 03:06:13] 465*2^704893-1 is not prime. Res64: 50098E9F06D2BC82 Time : 1520.0 sec. user=vaughan [2009-07-29 03:11:33] 477*2^704894-1 is not prime. Res64: D0E9EA468CC2DE51 Time : 461.0 sec. user=vaughan [2009-07-29 03:12:21] 501*2^704894-1 is not prime. Res64: 340916BE08CEC43B Time : 457.0 sec. user=vaughan [2009-07-29 03:19:14] 403*2^704895-1 is not prime. Res64: C2708EDFBC302F88 Time : 461.0 sec. user=vaughan [2009-07-29 03:19:56] 433*2^704895-1 is not prime. Res64: 105278B387A853C7 Time : 456.0 sec. user=vaughan [2009-07-29 03:26:59] 453*2^704895-1 is not prime. Res64: C02A5AA496E06F9A Time : 465.0 sec. user=vaughan [2009-07-29 03:27:31] 469*2^704895-1 is not prime. Res64: 649364F880CC8070 Time : 455.0 sec. user=vaughan [2009-07-29 03:33:02] 573*2^704894-1 is not prime. Res64: B03AA6F798AC0F71 Time : 1609.0 sec. user=vaughan [2009-07-29 03:34:44] 535*2^704895-1 is not prime. Res64: 35B0E46E79739656 Time : 465.0 sec. user=vaughan [2009-07-29 03:35:04] 405*2^704896-1 is not prime. Res64: 37417F098021F397 Time : 453.0 sec. user=vaughan [2009-07-29 03:42:25] 437*2^704896-1 is not prime. Res64: 93B5C1C5E6A96F6E Time : 461.0 sec. user=vaughan [2009-07-29 03:42:40] 539*2^704896-1 is not prime. Res64: 3B83EC8652DD115A Time : 456.0 sec. user=vaughan [2009-07-29 03:50:06] 573*2^704896-1 is not prime. Res64: 7B2C6DC767D70C9B Time : 461.0 sec. user=vaughan [2009-07-29 03:50:16] 597*2^704896-1 is not prime. Res64: B71960B4BC7D0266 Time : 456.0 sec. user=vaughan [2009-07-29 03:57:49] 421*2^704897-1 is not prime. Res64: A74A41CADBBC2E0B Time : 463.0 sec. user=vaughan [2009-07-29 03:57:51] 441*2^704897-1 is not prime. Res64: 8371B920F9F054F3 Time : 455.0 sec. user=vaughan [2009-07-29 03:59:48] 435*2^704896-1 is not prime. Res64: 5629F81984C9DEC3 Time : 1606.0 sec. user=vaughan [2009-07-29 04:05:26] 529*2^704897-1 is not prime. Res64: D2CDC2CADC294AF1 Time : 455.0 sec. user=vaughan [2009-07-29 04:05:28] 445*2^704897-1 is not prime. Res64: D7FE3FB01D088500 Time : 459.0 sec. user=vaughan [2009-07-29 04:13:02] 465*2^704898-1 is not prime. Res64: 5D7B18E33C6608ED Time : 456.0 sec. user=vaughan [2009-07-29 04:13:09] 471*2^704898-1 is not prime. Res64: A2D48519E5001010 Time : 461.0 sec. user=vaughan [2009-07-29 04:20:39] 503*2^704898-1 is not prime. Res64: B226818070626846 Time : 457.0 sec. user=vaughan [2009-07-29 04:20:49] 415*2^704899-1 is not prime. Res64: 8E1AC85A63D075A4 Time : 460.0 sec. user=vaughan [2009-07-29 04:26:33] 423*2^704898-1 is not prime. Res64: 43F6F143E8FB1E19 Time : 1605.0 sec. user=vaughan [2009-07-29 04:28:14] 463*2^704899-1 is not prime. Res64: 4FDB7A27A888A594 Time : 456.0 sec. user=vaughan [2009-07-29 04:28:31] 483*2^704899-1 is not prime. Res64: D32684BE54747F01 Time : 462.0 sec. user=vaughan [2009-07-29 04:35:47] 531*2^704899-1 is not prime. Res64: 2968785F523EF74F Time : 454.0 sec. user=vaughan [2009-07-29 04:36:15] 459*2^704901-1 is not prime. Res64: 383DCE3B2A21FD93 Time : 464.0 sec. user=vaughan [2009-07-29 04:43:21] 465*2^704901-1 is not prime. Res64: 2472842431487C35 Time : 454.0 sec. user=vaughan [2009-07-29 04:43:59] 565*2^704901-1 is not prime. Res64: 566EC28B0793A716 Time : 464.0 sec. user=vaughan [2009-07-29 04:50:57] 571*2^704901-1 is not prime. Res64: C50CD6B2E6927EE2 Time : 457.0 sec. user=vaughan [2009-07-29 04:51:46] 447*2^704902-1 is not prime. Res64: CF811CBC54B2BF52 Time : 467.0 sec. user=vaughan [2009-07-29 04:53:28] 489*2^704899-1 is not prime. Res64: 1D1D2CA38786B595 Time : 1615.0 sec. user=vaughan [2009-07-29 04:58:34] 483*2^704902-1 is not prime. Res64: 362127E4B0529023 Time : 458.0 sec. user=vaughan [2009-07-29 04:59:32] 495*2^704902-1 is not prime. Res64: A0EC9649EFD036AC Time : 467.0 sec. user=vaughan [2009-07-29 05:06:08] 511*2^704903-1 is not prime. Res64: D4AD62A91942F9C6 Time : 455.0 sec. user=vaughan [2009-07-29 05:07:17] 523*2^704903-1 is not prime. Res64: 150A7601BA310CC9 Time : 466.0 sec. user=vaughan [2009-07-29 05:13:43] 549*2^704903-1 is not prime. Res64: 51A6805605CC5A2D Time : 456.0 sec. user=vaughan [2009-07-29 05:15:05] 447*2^704904-1 is not prime. Res64: 9C4F7AAD64AF10D2 Time : 468.0 sec. user=vaughan [2009-07-29 05:21:19] 459*2^704904-1 is not prime. Res64: 1AE06BA4B6042D55 Time : 456.0 sec. user=vaughan [2009-07-29 05:22:52] 503*2^704904-1 is not prime. Res64: C7676EA94AF74658 Time : 468.0 sec. user=vaughan [2009-07-29 05:28:55] 525*2^704904-1 is not prime. Res64: A0A8109ED8CA3068 Time : 457.0 sec. user=vaughan [2009-07-29 05:30:38] 527*2^704904-1 is not prime. Res64: 41E8F3943D4DE963 Time : 467.0 sec. user=vaughan [2009-07-29 05:36:28] 539*2^704904-1 is not prime. Res64: 536364BA6DFBA6D5 Time : 454.0 sec. user=vaughan [2009-07-29 05:38:23] 405*2^704905-1 is not prime. Res64: BA886E78532A5F44 Time : 465.0 sec. user=vaughan [2009-07-29 05:44:01] 421*2^704905-1 is not prime. Res64: 47AB2B4E52E77CCF Time : 453.0 sec. user=vaughan [2009-07-29 05:46:06] 495*2^704905-1 is not prime. Res64: 20C44C8349A46566 Time : 463.0 sec. user=vaughan [2009-07-29 05:51:34] 537*2^704905-1 is not prime. Res64: 9831819AFC098B1E Time : 453.0 sec. user=vaughan [2009-07-29 05:53:50] 577*2^704905-1 is not prime. Res64: 630D5F7AA67CC087 Time : 464.0 sec. user=vaughan [2009-07-29 05:59:07] 589*2^704905-1 is not prime. Res64: EC7626147A400F75 Time : 453.0 sec. user=vaughan [2009-07-29 06:01:34] 405*2^704906-1 is not prime. Res64: 58B05FE6638E4C59 Time : 464.0 sec. user=vaughan [2009-07-29 06:06:39] 431*2^704906-1 is not prime. Res64: 4A80F0EF9849EF17 Time : 452.0 sec. user=vaughan [2009-07-29 06:09:17] 477*2^704906-1 is not prime. Res64: E8B4FAFF08B6BC79 Time : 463.0 sec. user=vaughan [2009-07-29 06:10:25] 463*2^704903-1 is not prime. Res64: 94D1D8E5E776D73B Time : 4617.0 sec. user=vaughan [2009-07-29 06:14:12] 483*2^704906-1 is not prime. Res64: 74290D871D981239 Time : 453.0 sec. user=vaughan [2009-07-29 06:17:00] 501*2^704906-1 is not prime. Res64: B44B04DDA19CA88B Time : 463.0 sec. user=vaughan [2009-07-29 06:21:45] 593*2^704906-1 is not prime. Res64: AB632E6898B1B5E3 Time : 453.0 sec. user=vaughan [2009-07-29 06:24:43] 489*2^704907-1 is not prime. Res64: 81930559D71E3EF0 Time : 463.0 sec. user=vaughan [2009-07-29 06:29:20] 543*2^704907-1 is not prime. Res64: 0D16102419A37462 Time : 455.0 sec. user=vaughan [2009-07-29 06:32:26] 553*2^704907-1 is not prime. Res64: 1FAAB0BDCC35A663 Time : 463.0 sec. user=vaughan [2009-07-29 06:36:56] 555*2^704907-1 is not prime. Res64: 021566BE364375F4 Time : 457.0 sec. user=vaughan [2009-07-29 06:40:07] 413*2^704908-1 is not prime. Res64: 7F6371BD13D68F29 Time : 462.0 sec. user=vaughan [2009-07-29 06:41:57] 551*2^704906-1 is not prime. Res64: A8DCE97E9FF9472A Time : 1892.0 sec. user=vaughan [2009-07-29 06:44:31] 449*2^704908-1 is not prime. Res64: 8EF5F0430A2EFA66 Time : 456.0 sec. user=vaughan [2009-07-29 06:47:48] 483*2^704908-1 is not prime. Res64: EC02CC64CBC37BB5 Time : 462.0 sec. user=vaughan [2009-07-29 06:52:07] 549*2^704909-1 is not prime. Res64: DAC218C1926484F2 Time : 457.0 sec. user=vaughan [2009-07-29 06:55:29] 411*2^704910-1 is not prime. Res64: 1F31CE0EA228D0BE Time : 462.0 sec. user=vaughan [2009-07-29 06:59:43] 443*2^704910-1 is not prime. Res64: 46C7F4C0F119420D Time : 456.0 sec. user=vaughan [2009-07-29 07:03:09] 473*2^704910-1 is not prime. Res64: 07536D04AF78900B Time : 461.0 sec. user=vaughan [2009-07-29 07:07:20] 515*2^704910-1 is not prime. Res64: 70273D2ABFB7D72B Time : 457.0 sec. user=vaughan [2009-07-29 07:10:50] 527*2^704910-1 is not prime. Res64: 588CE483875FF4C8 Time : 462.0 sec. user=vaughan [2009-07-29 07:14:14] 597*2^704908-1 is not prime. Res64: E46481FD9BCF04D0 Time : 1937.0 sec. user=vaughan [2009-07-29 07:14:57] 421*2^704911-1 is not prime. Res64: 5D0C2968DD0BEC5F Time : 457.0 sec. user=vaughan [2009-07-29 07:18:31] 435*2^704912-1 is not prime. Res64: 921D3A93680F3238 Time : 461.0 sec. user=vaughan [2009-07-29 07:22:33] 471*2^704913-1 is not prime. Res64: AA4C0F797C185263 Time : 457.0 sec. user=vaughan [2009-07-29 07:26:13] 511*2^704913-1 is not prime. Res64: DAF3577D5E467DF4 Time : 462.0 sec. user=vaughan [2009-07-29 07:30:09] 577*2^704913-1 is not prime. Res64: D08A98D95F5972DD Time : 457.0 sec. user=vaughan [2009-07-29 07:33:53] 591*2^704913-1 is not prime. Res64: BDF724430DBF8AEF Time : 461.0 sec. user=vaughan [2009-07-29 07:37:45] 443*2^704914-1 is not prime. Res64: 62597AA2215BFBD8 Time : 457.0 sec. user=vaughan [2009-07-29 07:41:35] 465*2^704914-1 is not prime. Res64: FAF3A02DD1572582 Time : 462.0 sec. user=vaughan [2009-07-29 07:45:20] 483*2^704914-1 is not prime. Res64: 96B4564E413F1722 Time : 456.0 sec. user=vaughan [2009-07-29 07:47:00] 459*2^704912-1 is not prime. Res64: 60F7E83B464BA986 Time : 1966.0 sec. user=vaughan [2009-07-29 07:49:16] 491*2^704914-1 is not prime. Res64: 6DACA43C33C195AC Time : 461.0 sec. user=vaughan [2009-07-29 07:52:55] 575*2^704914-1 is not prime. Res64: 6D1958F8A11AFC34 Time : 455.0 sec. user=vaughan [2009-07-29 07:56:57] 475*2^704915-1 is not prime. Res64: DEC2078679C716AE Time : 461.0 sec. user=vaughan [2009-07-29 08:00:31] 501*2^704915-1 is not prime. Res64: 98024669B2F1A192 Time : 456.0 sec. user=vaughan [2009-07-29 08:04:37] 573*2^704915-1 is not prime. Res64: 4E5C621C959CF94B Time : 460.0 sec. user=vaughan [2009-07-29 08:08:06] 525*2^704916-1 is not prime. Res64: 08DA64B8819DB6AD Time : 455.0 sec. user=vaughan [2009-07-29 08:12:17] 537*2^704916-1 is not prime. Res64: 17225CE52F147721 Time : 460.0 sec. user=vaughan [2009-07-29 08:15:41] 557*2^704916-1 is not prime. Res64: 8BA4407D4470AE9E Time : 455.0 sec. user=vaughan [2009-07-29 08:19:59] 595*2^704917-1 is not prime. Res64: 3A273C4465A77FB5 Time : 462.0 sec. user=vaughan [2009-07-29 08:23:16] 545*2^704918-1 is not prime. Res64: DE8A4A89E733BBB4 Time : 455.0 sec. user=vaughan [2009-07-29 08:27:39] 573*2^704918-1 is not prime. Res64: 8672B515E02B83E7 Time : 461.0 sec. user=vaughan [2009-07-29 08:30:51] 513*2^704919-1 is not prime. Res64: 36368FC530A58E9C Time : 456.0 sec. user=vaughan [2009-07-29 08:35:21] 573*2^704919-1 is not prime. Res64: DA716842FD97E7F1 Time : 462.0 sec. user=vaughan [2009-07-29 08:38:26] 447*2^704920-1 is not prime. Res64: CAE7377BE5AE30EA Time : 456.0 sec. user=vaughan [2009-07-29 08:43:02] 467*2^704920-1 is not prime. Res64: 88EDB40CDB9B8D5F Time : 461.0 sec. user=vaughan [2009-07-29 08:46:07] 479*2^704920-1 is not prime. Res64: ACE79046D5032746 Time : 461.0 sec. user=vaughan [2009-07-29 08:50:44] 567*2^704920-1 is not prime. Res64: 756C6C35A04603E1 Time : 463.0 sec. user=vaughan [2009-07-29 08:51:55] 453*2^704915-1 is not prime. Res64: 0F90B760E1D191FC Time : 3896.0 sec. user=vaughan [2009-07-29 08:53:42] 587*2^704920-1 is not prime. Res64: D1E341806D57BE54 Time : 456.0 sec. user=vaughan [2009-07-29 08:58:25] 507*2^704921-1 is not prime. Res64: 8C6BA07CB105CF16 Time : 462.0 sec. user=vaughan [2009-07-29 09:01:17] 503*2^704922-1 is not prime. Res64: 60D1DE6D398664AF Time : 455.0 sec. user=vaughan [2009-07-29 09:06:04] 585*2^704922-1 is not prime. Res64: BC3BF0CE6D92A3BA Time : 459.0 sec. user=vaughan [2009-07-29 09:08:52] 411*2^704923-1 is not prime. Res64: B8CB059CE5277F66 Time : 455.0 sec. user=vaughan [2009-07-29 09:13:43] 451*2^704923-1 is not prime. Res64: DFD7B9D364290DDF Time : 459.0 sec. user=vaughan [2009-07-29 09:16:27] 489*2^704923-1 is not prime. Res64: 33C12486337A19BE Time : 456.0 sec. user=vaughan [2009-07-29 09:21:21] 553*2^704923-1 is not prime. Res64: 184D19E8E60718F0 Time : 459.0 sec. user=vaughan [2009-07-29 09:24:02] 561*2^704923-1 is not prime. Res64: 9804F34D73F63694 Time : 456.0 sec. user=vaughan [2009-07-29 09:25:10] 471*2^704922-1 is not prime. Res64: 2B5F8198651F418B Time : 1995.0 sec. user=vaughan [2009-07-29 09:29:02] 413*2^704924-1 is not prime. Res64: ADBBEE8F0BB62D27 Time : 462.0 sec. user=vaughan [2009-07-29 09:31:37] 503*2^704924-1 is not prime. Res64: 916F1BA8F829DE1A Time : 456.0 sec. user=vaughan [2009-07-29 09:36:43] 593*2^704924-1 is not prime. Res64: 138ECFF676DFEFC2 Time : 462.0 sec. user=vaughan [2009-07-29 09:39:12] 415*2^704925-1 is not prime. Res64: A2A8A0C67C0696DE Time : 455.0 sec. user=vaughan [2009-07-29 09:44:25] 445*2^704925-1 is not prime. Res64: BEE7A8173117D1C2 Time : 463.0 sec. user=vaughan [2009-07-29 09:46:47] 507*2^704925-1 is not prime. Res64: CB664256E15EE6AB Time : 455.0 sec. user=vaughan [2009-07-29 09:52:06] 511*2^704925-1 is not prime. Res64: 0DE083A768AAC3CC Time : 462.0 sec. user=vaughan [2009-07-29 09:54:22] 597*2^704925-1 is not prime. Res64: 448B7619AD0C6AD9 Time : 455.0 sec. user=vaughan [2009-07-29 09:58:43] 533*2^704924-1 is not prime. Res64: 0C0D7D2AAF9F265B Time : 2013.0 sec. user=vaughan [2009-07-29 09:59:47] 437*2^704926-1 is not prime. Res64: 574B936A2608FE5A Time : 462.0 sec. user=vaughan [2009-07-29 10:01:57] 461*2^704926-1 is not prime. Res64: 43EB0751A6178767 Time : 455.0 sec. user=vaughan [2009-07-29 10:07:28] 543*2^704927-1 is not prime. Res64: 73AC56DE56E749B3 Time : 462.0 sec. user=vaughan [2009-07-29 10:09:32] 589*2^704927-1 is not prime. Res64: BF8DF5D744BE1554 Time : 455.0 sec. user=vaughan [2009-07-29 10:15:09] 413*2^704928-1 is not prime. Res64: B4E97838DBCF8D1F Time : 462.0 sec. user=vaughan [2009-07-29 10:17:07] 419*2^704928-1 is not prime. Res64: DE6BCA0EEAEDE83C Time : 455.0 sec. user=vaughan [2009-07-29 10:22:49] 485*2^704928-1 is not prime. Res64: EF197296434B4E0B Time : 461.0 sec. user=vaughan [2009-07-29 10:24:42] 527*2^704928-1 is not prime. Res64: 471A69E2DE434B1B Time : 455.0 sec. user=vaughan [2009-07-29 10:30:30] 427*2^704929-1 is not prime. Res64: 4214F4BC56BE0A84 Time : 461.0 sec. user=vaughan [2009-07-29 10:30:58] 409*2^704927-1 is not prime. Res64: FB0FFBF59999378E Time : 1936.0 sec. user=vaughan [2009-07-29 10:32:17] 589*2^704929-1 is not prime. Res64: 3034060B034D4351 Time : 455.0 sec. user=vaughan [2009-07-29 10:38:11] 425*2^704930-1 is not prime. Res64: CD5E1138B6268629 Time : 461.0 sec. user=vaughan [2009-07-29 10:39:52] 501*2^704930-1 is not prime. Res64: 4BBD858B414C1C63 Time : 455.0 sec. user=vaughan [2009-07-29 10:45:52] 533*2^704930-1 is not prime. Res64: 5D68CB5B83C3361F Time : 461.0 sec. user=vaughan [2009-07-29 10:47:27] 429*2^704931-1 is not prime. Res64: E88AE2319B1DA2EE Time : 455.0 sec. user=vaughan [2009-07-29 10:53:33] 489*2^704931-1 is not prime. Res64: CE87C38AF8FDC9F6 Time : 461.0 sec. user=vaughan [2009-07-29 10:55:02] 579*2^704931-1 is not prime. Res64: 3DF24B5234575E75 Time : 455.0 sec. user=vaughan [2009-07-29 11:01:14] 423*2^704932-1 is not prime. Res64: 60B836017AD22550 Time : 461.0 sec. user=vaughan [2009-07-29 11:01:21] 495*2^704930-1 is not prime. Res64: C3FDD774C1700E3A Time : 1823.0 sec. user=vaughan [2009-07-29 11:02:37] 435*2^704932-1 is not prime. Res64: C0648AB5C7DC6A66 Time : 455.0 sec. user=vaughan [2009-07-29 11:08:55] 527*2^704932-1 is not prime. Res64: D672A8BB143009E5 Time : 461.0 sec. user=vaughan [2009-07-29 11:10:13] 517*2^704933-1 is not prime. Res64: 4D48ABBEAD0E0ECD Time : 456.0 sec. user=vaughan [2009-07-29 11:16:36] 529*2^704933-1 is not prime. Res64: 435B91E101CB24EF Time : 461.0 sec. user=vaughan [2009-07-29 11:17:49] 585*2^704933-1 is not prime. Res64: CADF8F675899E050 Time : 456.0 sec. user=vaughan [2009-07-29 11:24:17] 413*2^704934-1 is not prime. Res64: B12790D981E14881 Time : 461.0 sec. user=vaughan [2009-07-29 11:25:25] 425*2^704934-1 is not prime. Res64: FC1C00B1F764CAF2 Time : 456.0 sec. user=vaughan [2009-07-29 11:31:22] 507*2^704933-1 is not prime. Res64: 8ECA297B44DCC71E Time : 1801.0 sec. user=vaughan [2009-07-29 11:31:59] 483*2^704934-1 is not prime. Res64: 525EEC3929527288 Time : 462.0 sec. user=vaughan [2009-07-29 11:33:03] 521*2^704934-1 is not prime. Res64: 1839DB714DC3E600 Time : 458.0 sec. user=vaughan [2009-07-29 11:39:44] 587*2^704934-1 is not prime. Res64: 752B66CF70724CCB Time : 465.0 sec. user=vaughan [2009-07-29 11:40:38] 593*2^704934-1 is not prime. Res64: 99834A48B4B797F4 Time : 455.0 sec. user=vaughan [2009-07-29 11:47:27] 433*2^704935-1 is not prime. Res64: 8AD94380ED17A5CC Time : 463.0 sec. user=vaughan [2009-07-29 11:48:11] 493*2^704935-1 is not prime. Res64: 01AA2B172E0C4BE8 Time : 453.0 sec. user=vaughan [2009-07-29 11:55:11] 589*2^704935-1 is not prime. Res64: 2DCC8AA5C80FE0D3 Time : 464.0 sec. user=vaughan [2009-07-29 11:55:44] 405*2^704936-1 is not prime. Res64: F715B78B3EEF3988 Time : 453.0 sec. user=vaughan [2009-07-29 12:01:43] 563*2^704934-1 is not prime. Res64: 37B913BE5DA100EA Time : 1821.0 sec. user=vaughan [2009-07-29 12:02:54] 435*2^704936-1 is not prime. Res64: D5E7568B4EA761C3 Time : 463.0 sec. user=vaughan [2009-07-29 12:03:17] 509*2^704936-1 is not prime. Res64: 7CEA4E5796C2E5BB Time : 453.0 sec. user=vaughan [2009-07-29 12:10:38] 519*2^704936-1 is not prime. Res64: 33B70E315066BA4B Time : 464.0 sec. user=vaughan [2009-07-29 12:10:50] 573*2^704936-1 is not prime. Res64: EF64DB3A38A02C2C Time : 453.0 sec. user=vaughan [2009-07-29 12:18:21] 427*2^704937-1 is not prime. Res64: EC3DDC5ACE9719AE Time : 463.0 sec. user=vaughan [2009-07-29 12:18:23] 439*2^704937-1 is not prime. Res64: 076C955A14C08D98 Time : 453.0 sec. user=vaughan [2009-07-29 12:25:56] 465*2^704937-1 is not prime. Res64: 89C959BAB32C0328 Time : 453.0 sec. user=vaughan [2009-07-29 12:26:05] 447*2^704937-1 is not prime. Res64: 85D27C5C22D5B574 Time : 464.0 sec. user=vaughan [2009-07-29 12:32:54] 515*2^704936-1 is not prime. Res64: 83D2CBF61E72F26E Time : 1871.0 sec. user=vaughan [2009-07-29 12:33:30] 471*2^704937-1 is not prime. Res64: 1530D208486D733B Time : 454.0 sec. user=vaughan [2009-07-29 12:33:47] 585*2^704937-1 is not prime. Res64: BD82B753CEFCDB86 Time : 462.0 sec. user=vaughan [2009-07-29 12:41:03] 525*2^704938-1 is not prime. Res64: 8D6F30374C959640 Time : 453.0 sec. user=vaughan [2009-07-29 12:41:30] 465*2^704939-1 is not prime. Res64: B3181FC2AECF8D2A Time : 463.0 sec. user=vaughan [2009-07-29 12:48:36] 489*2^704939-1 is not prime. Res64: EF3BD5AA4F2F305B Time : 453.0 sec. user=vaughan [2009-07-29 12:49:13] 523*2^704939-1 is not prime. Res64: A4F69BF96AFB93C9 Time : 463.0 sec. user=vaughan [2009-07-29 12:56:09] 589*2^704939-1 is not prime. Res64: 081674AB47C254C4 Time : 453.0 sec. user=vaughan [2009-07-29 12:56:56] 465*2^704940-1 is not prime. Res64: 9942B645EB665E7A Time : 463.0 sec. user=vaughan [2009-07-29 13:03:42] 479*2^704940-1 is not prime. Res64: 9680BC0A9903A233 Time : 453.0 sec. user=vaughan [2009-07-29 13:03:48] 513*2^704938-1 is not prime. Res64: F6E1C5195CB6FCB4 Time : 1854.0 sec. user=vaughan [2009-07-29 13:04:39] 585*2^704940-1 is not prime. Res64: 3E4A0B3F0B252EED Time : 463.0 sec. user=vaughan [2009-07-29 13:11:15] 597*2^704940-1 is not prime. Res64: 86A3DBF2EE5F7566 Time : 453.0 sec. user=vaughan [2009-07-29 13:12:22] 409*2^704941-1 is not prime. Res64: 2DAE11CA5D14A533 Time : 463.0 sec. user=vaughan [2009-07-29 13:18:48] 441*2^704941-1 is not prime. Res64: 68031FA7B933427B Time : 453.0 sec. user=vaughan [2009-07-29 13:20:06] 451*2^704941-1 is not prime. Res64: A3A95C62C03496EB Time : 464.0 sec. user=vaughan [2009-07-29 13:26:21] 597*2^704941-1 is not prime. Res64: AA978658EAC1FA5D Time : 453.0 sec. user=vaughan [2009-07-29 13:27:50] 447*2^704942-1 is not prime. Res64: A2B5FBAB9DD016B0 Time : 464.0 sec. user=vaughan [2009-07-29 13:33:55] 503*2^704942-1 is not prime. Res64: C208E12F173495E0 Time : 454.0 sec. user=vaughan [2009-07-29 13:34:53] 405*2^704941-1 is not prime. Res64: 0E6722ED742114FB Time : 1865.0 sec. user=vaughan [2009-07-29 13:35:34] 537*2^704942-1 is not prime. Res64: 489DF796C308E7B2 Time : 465.0 sec. user=vaughan [2009-07-29 13:41:27] 453*2^704944-1 is not prime. Res64: 252F029DDA6E912E Time : 453.0 sec. user=vaughan [2009-07-29 13:43:17] 481*2^704945-1 is not prime. Res64: 6C07E926A452144A Time : 464.0 sec. user=vaughan [2009-07-29 13:49:00] 537*2^704945-1 is not prime. Res64: 1FF84B034569411A Time : 454.0 sec. user=vaughan [2009-07-29 13:51:00] 591*2^704945-1 is not prime. Res64: F43524B072A17F3A Time : 464.0 sec. user=vaughan [2009-07-29 13:56:33] 411*2^704946-1 is not prime. Res64: 62FE92D8AAC947FF Time : 453.0 sec. user=vaughan [2009-07-29 13:58:44] 437*2^704946-1 is not prime. Res64: 11B81805BA180B26 Time : 465.0 sec. user=vaughan [2009-07-29 14:04:07] 495*2^704946-1 is not prime. Res64: 782F9F42BBDB07D7 Time : 454.0 sec. user=vaughan [2009-07-29 14:06:07] 573*2^704944-1 is not prime. Res64: 2017E62D967C3D76 Time : 1874.0 sec. user=vaughan [2009-07-29 14:06:28] 527*2^704946-1 is not prime. Res64: 0E8D57FC1CB75887 Time : 465.0 sec. user=vaughan [2009-07-29 14:11:40] 587*2^704946-1 is not prime. Res64: 5716393FE373DD73 Time : 453.0 sec. user=vaughan [2009-07-29 14:14:10] 433*2^704947-1 is not prime. Res64: 95EAC5CD624D5B3D Time : 463.0 sec. user=vaughan [2009-07-29 14:19:16] 441*2^704947-1 is not prime. Res64: FDDDFD78DAACD1E3 Time : 457.0 sec. user=vaughan [2009-07-29 14:22:01] 451*2^704947-1 is not prime. Res64: 2EBE75406E8DA2C8 Time : 471.0 sec. user=vaughan [2009-07-29 14:26:49] 489*2^704947-1 is not prime. Res64: 889A910BB8A7ADD3 Time : 454.0 sec. user=vaughan [2009-07-29 14:29:45] 533*2^704948-1 is not prime. Res64: 26A953E7AC2B42BD Time : 465.0 sec. user=vaughan [2009-07-29 14:34:23] 499*2^704949-1 is not prime. Res64: 2A03FF5A1836F579 Time : 455.0 sec. user=vaughan [2009-07-29 14:34:43] 421*2^704947-1 is not prime. Res64: 1B689444A7F4C02D Time : 1716.0 sec. user=vaughan [2009-07-29 14:37:30] 413*2^704950-1 is not prime. Res64: 9DE8483045C2D7C8 Time : 465.0 sec. user=vaughan [2009-07-29 14:41:56] 455*2^704950-1 is not prime. Res64: 15A58EBBCB75B48C Time : 454.0 sec. user=vaughan [2009-07-29 14:45:14] 467*2^704950-1 is not prime. Res64: 1683C8DD9BD4922D Time : 464.0 sec. user=vaughan [2009-07-29 14:49:28] 495*2^704950-1 is not prime. Res64: EABE33D6BB01CE8B Time : 453.0 sec. user=vaughan [2009-07-29 14:52:59] 525*2^704950-1 is not prime. Res64: A22CC4EB929F7036 Time : 465.0 sec. user=vaughan [2009-07-29 14:57:01] 591*2^704950-1 is not prime. Res64: A9C83EEB1831AF69 Time : 453.0 sec. user=vaughan [2009-07-29 15:00:45] 441*2^704951-1 is not prime. Res64: 3522969EC8D4D16A Time : 467.0 sec. user=vaughan [2009-07-29 15:01:21] 461*2^704950-1 is not prime. Res64: 51D731D989B8E444 Time : 1599.0 sec. user=vaughan [2009-07-29 15:04:34] 493*2^704951-1 is not prime. Res64: FC325D5F86AB7F9C Time : 453.0 sec. user=vaughan [2009-07-29 15:08:29] 519*2^704951-1 is not prime. Res64: 46377B59567449F1 Time : 464.0 sec. user=vaughan [2009-07-29 15:12:08] 595*2^704951-1 is not prime. Res64: 66082A01490834F5 Time : 454.0 sec. user=vaughan [2009-07-29 15:16:13] 413*2^704952-1 is not prime. Res64: DB48A9BF1A377043 Time : 464.0 sec. user=vaughan [2009-07-29 15:19:41] 471*2^704953-1 is not prime. Res64: 0AEBA52656119093 Time : 453.0 sec. user=vaughan [2009-07-29 15:23:57] 589*2^704953-1 is not prime. Res64: 95A3E7F4BFD30D20 Time : 464.0 sec. user=vaughan [2009-07-29 15:27:14] 507*2^704954-1 is not prime. Res64: 386986E573CF1645 Time : 453.0 sec. user=vaughan [2009-07-29 15:27:55] 549*2^704951-1 is not prime. Res64: 9D0107D3392E2B39 Time : 1595.0 sec. user=vaughan [2009-07-29 15:31:41] 545*2^704954-1 is not prime. Res64: 247C3620F38872CA Time : 464.0 sec. user=vaughan [2009-07-29 15:34:47] 573*2^704954-1 is not prime. Res64: D3C6806E5D01CE36 Time : 453.0 sec. user=vaughan [2009-07-29 15:39:23] 451*2^704955-1 is not prime. Res64: 8DF26DAC76AAF5AE Time : 462.0 sec. user=vaughan [2009-07-29 15:42:22] 465*2^704955-1 is not prime. Res64: 4BB3DC01E7CE9F90 Time : 455.0 sec. user=vaughan [2009-07-29 15:47:04] 469*2^704955-1 is not prime. Res64: 415501C1B43CD3FB Time : 461.0 sec. user=vaughan [2009-07-29 15:49:57] 511*2^704955-1 is not prime. Res64: A1063DC5CB673220 Time : 455.0 sec. user=vaughan [2009-07-29 15:54:23] 403*2^704955-1 is not prime. Res64: 1EF3A489FD003A6F Time : 1588.0 sec. user=vaughan [2009-07-29 15:54:46] 429*2^704956-1 is not prime. Res64: 040835DF9B1D6C72 Time : 462.0 sec. user=vaughan [2009-07-29 15:57:32] 435*2^704956-1 is not prime. Res64: 5E1EFAE740A6AB4E Time : 455.0 sec. user=vaughan [2009-07-29 16:02:28] 597*2^704956-1 is not prime. Res64: ABBDB8B469D96BE4 Time : 462.0 sec. user=vaughan [2009-07-29 16:05:07] 435*2^704957-1 is not prime. Res64: 7C730C0360708E7C Time : 455.0 sec. user=vaughan [2009-07-29 16:10:09] 475*2^704957-1 is not prime. Res64: 040947519CB2874F Time : 461.0 sec. user=vaughan [2009-07-29 16:12:43] 487*2^704957-1 is not prime. Res64: CFF42CE322FCAFC9 Time : 456.0 sec. user=vaughan [2009-07-29 16:17:56] 517*2^704957-1 is not prime. Res64: 94EC0BCBD385ECFE Time : 467.0 sec. user=vaughan [2009-07-29 16:20:19] 461*2^704958-1 is not prime. Res64: 4145F551802BFDE2 Time : 456.0 sec. user=vaughan [2009-07-29 16:20:55] 437*2^704956-1 is not prime. Res64: A882C4A9AC7DA06C Time : 1592.0 sec. user=vaughan [2009-07-29 16:25:37] 471*2^704958-1 is not prime. Res64: 421F269C0005E430 Time : 461.0 sec. user=vaughan [2009-07-29 16:27:54] 585*2^704958-1 is not prime. Res64: 8CFD96935E2D5E0F Time : 455.0 sec. user=vaughan [2009-07-29 16:33:19] 439*2^704959-1 is not prime. Res64: 4E2A00E684250D4F Time : 462.0 sec. user=vaughan [2009-07-29 16:35:29] 499*2^704959-1 is not prime. Res64: B4B2A52A0C7693D1 Time : 455.0 sec. user=vaughan [2009-07-29 16:41:00] 523*2^704959-1 is not prime. Res64: 5EDFCF92994E845C Time : 461.0 sec. user=vaughan [2009-07-29 16:43:04] 553*2^704959-1 is not prime. Res64: CF72C597A5CE7B63 Time : 455.0 sec. user=vaughan [2009-07-29 16:47:17] 421*2^704959-1 is not prime. Res64: 7AC6A1F3E5E9AA4E Time : 1582.0 sec. user=vaughan [2009-07-29 16:48:42] 555*2^704959-1 is not prime. Res64: 03CFDEA6302F9B9E Time : 462.0 sec. user=vaughan [2009-07-29 16:50:39] 559*2^704959-1 is not prime. Res64: C6769D0808A24E4E Time : 455.0 sec. user=vaughan [2009-07-29 16:56:23] 413*2^704960-1 is not prime. Res64: 7F0A498725699E6F Time : 461.0 sec. user=vaughan [2009-07-29 16:58:14] 459*2^704960-1 is not prime. Res64: 3199E7EA956EAAE7 Time : 455.0 sec. user=vaughan [2009-07-29 17:04:04] 533*2^704960-1 is not prime. Res64: 884C8D42E9AE86E9 Time : 461.0 sec. user=vaughan [2009-07-29 17:05:49] 539*2^704960-1 is not prime. Res64: 2EE0D99EBCCC5FEF Time : 455.0 sec. user=vaughan [2009-07-29 17:11:48] 543*2^704960-1 is not prime. Res64: 169D98B828CED724 Time : 464.0 sec. user=vaughan [2009-07-29 17:13:24] 557*2^704960-1 is not prime. Res64: 88DF0106D527D338 Time : 455.0 sec. user=vaughan [2009-07-29 17:13:34] 595*2^704959-1 is not prime. Res64: 08CF8ADD57BCE5CE Time : 1578.0 sec. user=vaughan [2009-07-29 17:19:29] 593*2^704960-1 is not prime. Res64: B4D9FB467CCF822E Time : 462.0 sec. user=vaughan [2009-07-29 17:21:00] 507*2^704961-1 is not prime. Res64: C9727779AB5E9734 Time : 456.0 sec. user=vaughan [2009-07-29 17:27:10] 555*2^704962-1 is not prime. Res64: 8B38241174A8B2D3 Time : 462.0 sec. user=vaughan [2009-07-29 17:28:34] 561*2^704962-1 is not prime. Res64: 46F726B1AE809EE2 Time : 455.0 sec. user=vaughan [2009-07-29 17:34:52] 581*2^704962-1 is not prime. Res64: C0E9CA236FFDD500 Time : 462.0 sec. user=vaughan [2009-07-29 17:36:07] 411*2^704963-1 is not prime. Res64: B655737562B45AF7 Time : 453.0 sec. user=vaughan [2009-07-29 17:40:44] 401*2^704962-1 is not prime. Res64: 18D337DFEAF3907B Time : 1630.0 sec. user=vaughan [2009-07-29 17:42:35] 441*2^704963-1 is not prime. Res64: 73AD5653652FD7AB Time : 463.0 sec. user=vaughan [2009-07-29 17:43:39] 591*2^704963-1 is not prime. Res64: 5D95994A5AF28D2D Time : 452.0 sec. user=vaughan [2009-07-29 17:50:17] 497*2^704964-1 is not prime. Res64: F61340EA43F8D45B Time : 462.0 sec. user=vaughan [2009-07-29 17:51:12] 503*2^704964-1 is not prime. Res64: 94FD9E018D1D6D7B Time : 453.0 sec. user=vaughan [2009-07-29 17:58:00] 593*2^704964-1 is not prime. Res64: EABF631823D69C6A Time : 463.0 sec. user=vaughan [2009-07-29 17:58:44] 597*2^704964-1 is not prime. Res64: 734C1BFF9276FB70 Time : 452.0 sec. user=vaughan [2009-07-29 18:05:42] 409*2^704965-1 is not prime. Res64: D7FC130A823F9509 Time : 462.0 sec. user=vaughan [2009-07-29 18:06:16] 441*2^704965-1 is not prime. Res64: FF7EE500CF3CD017 Time : 452.0 sec. user=vaughan [2009-07-29 18:07:51] 489*2^704964-1 is not prime. Res64: BE223FB3C225B08A Time : 1627.0 sec. user=vaughan [2009-07-29 18:13:25] 477*2^704965-1 is not prime. Res64: 8C6A32D04D1F9372 Time : 463.0 sec. user=vaughan [2009-07-29 18:13:48] 481*2^704965-1 is not prime. Res64: 016D4709EB44DAB7 Time : 452.0 sec. user=vaughan [2009-07-29 18:21:08] 595*2^704965-1 is not prime. Res64: 2A7CC2980DC6CDCA Time : 463.0 sec. user=vaughan [2009-07-29 18:21:21] 417*2^704966-1 is not prime. Res64: A4246D78F1A75671 Time : 453.0 sec. user=vaughan [2009-07-29 18:28:51] 549*2^704967-1 is not prime. Res64: 3D9B03F21555581F Time : 463.0 sec. user=vaughan [2009-07-29 18:28:53] 583*2^704967-1 is not prime. Res64: 62B88EFE04818A5F Time : 452.0 sec. user=vaughan [2009-07-29 18:28:54] 581*2^704966-1 is not prime. Res64: 3EDE36A7CFCAD7C1 Time : 852.0 sec. user=vaughan [2009-07-29 18:34:48] 493*2^704967-1 is not prime. Res64: 95A34F3BE337029C Time : 1046.0 sec. user=vaughan [2009-07-29 18:35:12] 433*2^704967-1 is not prime. Res64: 4537AE63351F633C Time : 1230.0 sec. user=vaughan [2009-07-29 18:36:26] 483*2^704966-1 is not prime. Res64: A30793FD03919248 Time : 1304.0 sec. user=vaughan [2009-07-29 18:36:26] 575*2^704968-1 is not prime. Res64: 44346B8DC91E7E65 Time : 453.0 sec. user=vaughan [2009-07-29 18:36:35] 437*2^704968-1 is not prime. Res64: 94DAD259F96F2ADC Time : 464.0 sec. user=vaughan [2009-07-29 18:39:01] 587*2^704966-1 is not prime. Res64: 7FBFEB07EE510885 Time : 1459.0 sec. user=vaughan [2009-07-29 18:44:00] 447*2^704969-1 is not prime. Res64: 7F72966B2BBD25C2 Time : 454.0 sec. user=vaughan [2009-07-29 18:44:20] 571*2^704969-1 is not prime. Res64: 8DC4720757D80D46 Time : 465.0 sec. user=vaughan [2009-07-29 18:51:33] 437*2^704970-1 is not prime. Res64: 4E2DE8FCE3FF6222 Time : 454.0 sec. user=vaughan [2009-07-29 18:52:04] 461*2^704970-1 is not prime. Res64: 47C27E5D7D8DE7AA Time : 465.0 sec. user=vaughan [2009-07-29 18:53:19] 421*2^704969-1 is not prime. Res64: 57FADF733EA7FA84 Time : 1111.0 sec. user=vaughan [2009-07-29 18:59:06] 465*2^704970-1 is not prime. Res64: E4645F8A21F686ED Time : 453.0 sec. user=vaughan [2009-07-29 18:59:48] 471*2^704970-1 is not prime. Res64: FE9108840D4BB613 Time : 465.0 sec. user=vaughan [2009-07-29 19:06:39] 527*2^704970-1 is not prime. Res64: 5FE9419CD3DC397A Time : 454.0 sec. user=vaughan [2009-07-29 19:07:31] 469*2^704971-1 is not prime. Res64: D195B8D7DB3E6229 Time : 464.0 sec. user=vaughan [2009-07-29 19:10:37] 503*2^704970-1 is not prime. Res64: 109068CF42EABAE0 Time : 1038.0 sec. user=vaughan [2009-07-29 19:14:12] 505*2^704971-1 is not prime. Res64: E3CAC19829843319 Time : 454.0 sec. user=vaughan [2009-07-29 19:15:10] 561*2^704965-1 is not prime. Res64: 9C5442CEC846D135 Time : 4039.0 sec. user=vaughan [2009-07-29 19:15:14] 511*2^704971-1 is not prime. Res64: F8FE17F915B663E4 Time : 463.0 sec. user=vaughan [2009-07-29 19:21:45] 583*2^704971-1 is not prime. Res64: 7537D4D9B82EFE1B Time : 453.0 sec. user=vaughan [2009-07-29 19:22:58] 449*2^704972-1 is not prime. Res64: C17DD5EFF9D392B2 Time : 464.0 sec. user=vaughan [2009-07-29 19:27:54] 535*2^704971-1 is not prime. Res64: 024A3A4D1346EF3E Time : 1038.0 sec. user=vaughan [2009-07-29 19:29:20] 483*2^704972-1 is not prime. Res64: 4100FCC0C7FD00CF Time : 455.0 sec. user=vaughan [2009-07-29 19:30:41] 557*2^704972-1 is not prime. Res64: EA9EED8589E7C421 Time : 463.0 sec. user=vaughan [2009-07-29 19:36:55] 417*2^704973-1 is not prime. Res64: CA8A08576440320D Time : 455.0 sec. user=vaughan [2009-07-29 19:38:22] 439*2^704973-1 is not prime. Res64: C3F2715FFAA2898F Time : 461.0 sec. user=vaughan [2009-07-29 19:43:02] 417*2^704972-1 is not prime. Res64: ACF1534A7B62D3BE Time : 1672.0 sec. user=vaughan [2009-07-29 19:44:30] 445*2^704973-1 is not prime. Res64: 5E0C62378D5D54A6 Time : 455.0 sec. user=vaughan [2009-07-29 19:45:11] 567*2^704972-1 is not prime. Res64: D7C4EE2D42A92ACF Time : 1037.0 sec. user=vaughan [2009-07-29 19:46:04] 549*2^704973-1 is not prime. Res64: 028D466BCCE923D4 Time : 462.0 sec. user=vaughan [2009-07-29 19:52:05] 483*2^704974-1 is not prime. Res64: 1924A109C2E2B2A8 Time : 455.0 sec. user=vaughan [2009-07-29 19:53:45] 573*2^704974-1 is not prime. Res64: 0F047B7020765BDB Time : 461.0 sec. user=vaughan [2009-07-29 19:59:41] 593*2^704974-1 is not prime. Res64: 2C8F1ABEDE2FD30D Time : 456.0 sec. user=vaughan [2009-07-29 20:01:26] 451*2^704975-1 is not prime. Res64: 1B7ADFF38CABAB14 Time : 461.0 sec. user=vaughan [2009-07-29 20:02:30] 521*2^704974-1 is not prime. Res64: 9CC92880154AC9DA Time : 1039.0 sec. user=vaughan [2009-07-29 20:07:16] 511*2^704975-1 is not prime. Res64: 6D24799CC71ABA08 Time : 455.0 sec. user=vaughan [2009-07-29 20:09:07] 519*2^704975-1 is not prime. Res64: C44DD56A6D46BEF6 Time : 461.0 sec. user=vaughan [2009-07-29 20:11:54] 425*2^704974-1 is not prime. Res64: 88975A585E4A1867 Time : 1732.0 sec. user=vaughan [2009-07-29 20:14:51] 473*2^704976-1 is not prime. Res64: 5DBD7AF71E3D27F0 Time : 455.0 sec. user=vaughan [2009-07-29 20:16:49] 485*2^704976-1 is not prime. Res64: 1B3AFF66B27ADD20 Time : 462.0 sec. user=vaughan [2009-07-29 20:19:47] 413*2^704976-1 is not prime. Res64: FF9925779EEB1606 Time : 1037.0 sec. user=vaughan [2009-07-29 20:22:26] 563*2^704976-1 is not prime. Res64: E4BC6EEB78080BAE Time : 455.0 sec. user=vaughan [2009-07-29 20:24:31] 587*2^704976-1 is not prime. Res64: 9A66760BC9CDE283 Time : 462.0 sec. user=vaughan [2009-07-29 20:30:01] 435*2^704977-1 is not prime. Res64: C9E956DD2089EA4C Time : 455.0 sec. user=vaughan [2009-07-29 20:32:13] 495*2^704977-1 is not prime. Res64: 3564844AF00C811C Time : 462.0 sec. user=vaughan [2009-07-29 20:37:05] 427*2^704977-1 is not prime. Res64: A5D3AEA8D6A1E6DF Time : 1038.0 sec. user=vaughan [2009-07-29 20:37:36] 561*2^704977-1 is not prime. Res64: 3362C7FF929D7FDD Time : 455.0 sec. user=vaughan [2009-07-29 20:39:58] 589*2^704977-1 is not prime. Res64: 6BD80973805F46E7 Time : 465.0 sec. user=vaughan [2009-07-29 20:40:19] 525*2^704976-1 is not prime. Res64: B8E098B69986CF7D Time : 1705.0 sec. user=vaughan [2009-07-29 20:45:12] 507*2^704978-1 is not prime. Res64: 937132F7B2B96C21 Time : 456.0 sec. user=vaughan [2009-07-29 20:47:39] 561*2^704978-1 is not prime. Res64: 2168B63A04B49C2B Time : 461.0 sec. user=vaughan [2009-07-29 20:52:47] 483*2^704979-1 is not prime. Res64: 9605272B13FE4A52 Time : 455.0 sec. user=vaughan [2009-07-29 20:54:24] 417*2^704978-1 is not prime. Res64: DD92D47D8B082CEA Time : 1039.0 sec. user=vaughan [2009-07-29 20:55:20] 489*2^704979-1 is not prime. Res64: 913A386A73D1E725 Time : 461.0 sec. user=vaughan [2009-07-29 21:00:22] 565*2^704979-1 is not prime. Res64: 8A680EE1A30F75BA Time : 455.0 sec. user=vaughan [2009-07-29 21:03:02] 519*2^704980-1 is not prime. Res64: CFB448F2801473D5 Time : 462.0 sec. user=vaughan [2009-07-29 21:07:57] 527*2^704980-1 is not prime. Res64: 8FA42067B903F15F Time : 455.0 sec. user=vaughan [2009-07-29 21:09:47] 481*2^704979-1 is not prime. Res64: D52EC0067E2235E5 Time : 1768.0 sec. user=vaughan [2009-07-29 21:10:44] 533*2^704980-1 is not prime. Res64: 531D1BE5591190C9 Time : 462.0 sec. user=vaughan [2009-07-29 21:11:44] 423*2^704980-1 is not prime. Res64: F38320BF325CA275 Time : 1040.0 sec. user=vaughan [2009-07-29 21:15:33] 411*2^704981-1 is not prime. Res64: 97305B1E328B9FA8 Time : 456.0 sec. user=vaughan [2009-07-29 21:18:25] 421*2^704981-1 is not prime. Res64: 8B41A7626B90A3E7 Time : 461.0 sec. user=vaughan [2009-07-29 21:23:08] 591*2^704981-1 is not prime. Res64: B4D4AED268574913 Time : 456.0 sec. user=vaughan [2009-07-29 21:26:06] 447*2^704982-1 is not prime. Res64: ACE0DDE814D8CECD Time : 461.0 sec. user=vaughan [2009-07-29 21:29:04] 529*2^704981-1 is not prime. Res64: 0CD81940DF076BE4 Time : 1040.0 sec. user=vaughan [2009-07-29 21:30:42] 581*2^704982-1 is not prime. Res64: 645A897B421CBA7B Time : 455.0 sec. user=vaughan [2009-07-29 21:33:49] 591*2^704982-1 is not prime. Res64: 1F7892FE5CB01338 Time : 463.0 sec. user=vaughan [2009-07-29 21:38:15] 555*2^704983-1 is not prime. Res64: 7586A91588F22DF7 Time : 454.0 sec. user=vaughan [2009-07-29 21:39:04] 417*2^704981-1 is not prime. Res64: 7FBA24FE86320BC5 Time : 1757.0 sec. user=vaughan [2009-07-29 21:41:33] 447*2^704984-1 is not prime. Res64: 671C7B44F7706484 Time : 464.0 sec. user=vaughan [2009-07-29 21:45:49] 459*2^704984-1 is not prime. Res64: B264A44A20672F66 Time : 455.0 sec. user=vaughan [2009-07-29 21:46:23] 421*2^704983-1 is not prime. Res64: F04FA3C9B0004A81 Time : 1039.0 sec. user=vaughan [2009-07-29 21:49:17] 531*2^704985-1 is not prime. Res64: 638FBD88000322CE Time : 464.0 sec. user=vaughan [2009-07-29 21:53:22] 497*2^704986-1 is not prime. Res64: A6E1C5B1DFD6DE28 Time : 454.0 sec. user=vaughan [2009-07-29 21:57:01] 581*2^704986-1 is not prime. Res64: 2F50D637A3AE1B51 Time : 464.0 sec. user=vaughan [2009-07-29 22:00:55] 425*2^704988-1 is not prime. Res64: D8A8F24AB033A1BC Time : 454.0 sec. user=vaughan [2009-07-29 22:04:45] 539*2^704988-1 is not prime. Res64: 249B710F265BFBC4 Time : 464.0 sec. user=vaughan [2009-07-29 22:04:54] 551*2^704986-1 is not prime. Res64: B305D494A6B3433B Time : 1112.0 sec. user=vaughan [2009-07-29 22:08:28] 451*2^704989-1 is not prime. Res64: 98FCE8F8A15EE2DA Time : 454.0 sec. user=vaughan [2009-07-29 22:08:28] 471*2^704985-1 is not prime. Res64: FB8A38FE5476BC59 Time : 1764.0 sec. user=vaughan [2009-07-29 22:12:29] 447*2^704990-1 is not prime. Res64: 1F4955DCD33B59F9 Time : 464.0 sec. user=vaughan [2009-07-29 22:16:01] 545*2^704990-1 is not prime. Res64: BA68F942BDDEF135 Time : 454.0 sec. user=vaughan [2009-07-29 22:20:12] 591*2^704991-1 is not prime. Res64: B9F08FD089E8A183 Time : 463.0 sec. user=vaughan [2009-07-29 22:23:25] 483*2^704990-1 is not prime. Res64: 8C1613A78811ACF3 Time : 1111.0 sec. user=vaughan [2009-07-29 22:23:36] 483*2^704992-1 is not prime. Res64: AD4E50D8B8CCC3E9 Time : 455.0 sec. user=vaughan [2009-07-29 22:27:54] 405*2^704993-1 is not prime. Res64: 61E70D8C770D9DC2 Time : 462.0 sec. user=vaughan [2009-07-29 22:31:11] 571*2^704993-1 is not prime. Res64: 8B8611724F77AB97 Time : 455.0 sec. user=vaughan [2009-07-29 22:35:37] 417*2^704994-1 is not prime. Res64: 29D1596301099329 Time : 463.0 sec. user=vaughan [2009-07-29 22:38:46] 453*2^704994-1 is not prime. Res64: 759D4FD610D67C6A Time : 455.0 sec. user=vaughan [2009-07-29 22:40:43] 489*2^704993-1 is not prime. Res64: ACA7C5F8738AD504 Time : 1038.0 sec. user=vaughan [2009-07-29 22:43:18] 497*2^704994-1 is not prime. Res64: 4F1077C73927CAF6 Time : 461.0 sec. user=vaughan [2009-07-29 22:46:21] 501*2^704994-1 is not prime. Res64: 0E6080C96F44BD42 Time : 455.0 sec. user=vaughan [2009-07-29 22:50:59] 585*2^704994-1 is not prime. Res64: 88E5C4448F1D6C9A Time : 461.0 sec. user=vaughan [2009-07-29 22:53:56] 441*2^704995-1 is not prime. Res64: BCECFF66B884A229 Time : 455.0 sec. user=vaughan [2009-07-29 22:58:01] 527*2^704994-1 is not prime. Res64: 2FDC7B0A63FB0E2F Time : 1038.0 sec. user=vaughan [2009-07-29 22:58:44] 531*2^704995-1 is not prime. Res64: 6C9C2D3BF9842658 Time : 465.0 sec. user=vaughan [2009-07-29 23:01:31] 595*2^704995-1 is not prime. Res64: ECCF2A058A043C6F Time : 455.0 sec. user=vaughan [2009-07-29 23:06:24] 413*2^704996-1 is not prime. Res64: 1D11BE1ADC9AE2B6 Time : 461.0 sec. user=vaughan [2009-07-29 23:09:06] 455*2^704996-1 is not prime. Res64: 8E51B005871E0BD7 Time : 455.0 sec. user=vaughan [2009-07-29 23:14:04] 483*2^704996-1 is not prime. Res64: ACE55146CB8FB814 Time : 460.0 sec. user=vaughan [2009-07-29 23:15:20] 405*2^704996-1 is not prime. Res64: F3F2900AD33C27F4 Time : 1040.0 sec. user=vaughan [2009-07-29 23:16:41] 503*2^704996-1 is not prime. Res64: 73D9D60C13C1C64B Time : 455.0 sec. user=vaughan [2009-07-29 23:21:44] 525*2^704996-1 is not prime. Res64: 0D3D6D4A5D346432 Time : 461.0 sec. user=vaughan [2009-07-29 23:24:16] 401*2^704998-1 is not prime. Res64: AA6857C8B122E1AA Time : 455.0 sec. user=vaughan [2009-07-29 23:29:24] 437*2^704998-1 is not prime. Res64: 78A9C24D14AC7582 Time : 461.0 sec. user=vaughan [2009-07-29 23:31:52] 423*2^704999-1 is not prime. Res64: 6793B3AF658D1851 Time : 456.0 sec. user=vaughan [2009-07-29 23:32:39] 517*2^704997-1 is not prime. Res64: 85438230B1496103 Time : 1039.0 sec. user=vaughan [2009-07-29 23:37:05] 515*2^705000-1 is not prime. Res64: C679AD38C17A1B04 Time : 462.0 sec. user=vaughan [2009-07-29 23:39:27] 537*2^705000-1 is not prime. Res64: 379F087C4833FAC6 Time : 456.0 sec. user=vaughan [2009-07-29 23:46:30] 525*2^705001-1 is not prime. Res64: 7388DF31222E8775 Time : 566.0 sec. user=vaughan [2009-07-29 23:46:59] 537*2^705001-1 is not prime. Res64: 039392D93987791D Time : 452.0 sec. user=vaughan [2009-07-29 23:51:21] 557*2^705000-1 is not prime. Res64: A92310F30A7EB19A Time : 1122.0 sec. user=vaughan [2009-07-29 23:54:33] 541*2^705001-1 is not prime. Res64: 6C82924A6D5ECADA Time : 455.0 sec. user=vaughan [2009-07-29 23:55:12] 461*2^705002-1 is not prime. Res64: C8DECDD109C41552 Time : 461.0 sec.