user=vaughan [2009-07-12 00:02:45] 441*2^703081-1 is not prime. Res64: 68E47BF03FA32637 Time : 5849.0 sec. user=vaughan [2009-07-12 00:04:27] 499*2^703081-1 is not prime. Res64: 819196C5D4B3CB71 Time : 5668.0 sec. user=vaughan [2009-07-12 00:13:21] 405*2^703082-1 is not prime. Res64: 59475B3A465D9EBA Time : 5888.0 sec. user=vaughan [2009-07-12 00:14:02] 417*2^703082-1 is not prime. Res64: 24098AC61E09C1A9 Time : 5671.0 sec. user=vaughan [2009-07-12 00:22:51] 431*2^703082-1 is not prime. Res64: DCFEA8B8F8C73940 Time : 5899.0 sec. user=vaughan [2009-07-12 00:23:25] 567*2^703082-1 is not prime. Res64: BABBC5970858E42E Time : 5680.0 sec. user=vaughan [2009-07-12 00:31:53] 409*2^703083-1 is not prime. Res64: C91DAD4E56A07786 Time : 5837.0 sec. user=vaughan [2009-07-12 00:32:40] 451*2^703083-1 is not prime. Res64: A207158DDE4A53C0 Time : 5665.0 sec. user=vaughan [2009-07-12 00:41:22] 465*2^703083-1 is not prime. Res64: 37EB091339A761EE Time : 5801.0 sec. user=vaughan [2009-07-12 00:42:06] 471*2^703083-1 is not prime. Res64: 78FC2815D025AB49 Time : 5645.0 sec. user=vaughan [2009-07-12 00:50:39] 549*2^703083-1 is not prime. Res64: 66C3E1B2850ADB36 Time : 5774.0 sec. user=vaughan [2009-07-12 00:51:25] 579*2^703084-1 is not prime. Res64: 51C1A009DC394327 Time : 5649.0 sec. user=vaughan [2009-07-12 01:00:53] 597*2^703084-1 is not prime. Res64: C23296D18FF3C388 Time : 5828.0 sec. user=vaughan [2009-07-12 01:01:12] 529*2^703085-1 is not prime. Res64: DE5DACBD7B12C36F Time : 5691.0 sec. user=vaughan [2009-07-12 01:10:51] 537*2^703085-1 is not prime. Res64: 9A0394E212C548F6 Time : 5842.0 sec. user=vaughan [2009-07-12 01:11:11] 465*2^703086-1 is not prime. Res64: 4EC88E550892714B Time : 5718.0 sec. user=vaughan [2009-07-12 01:19:50] 521*2^703086-1 is not prime. Res64: 93B165DA1E959E09 Time : 5787.0 sec. user=vaughan [2009-07-12 01:20:23] 525*2^703086-1 is not prime. Res64: 04E34FD5A3FCDC82 Time : 5699.0 sec. user=vaughan [2009-07-12 01:29:05] 563*2^703086-1 is not prime. Res64: 009611ECA779318E Time : 5776.0 sec. user=vaughan [2009-07-12 01:30:05] 573*2^703086-1 is not prime. Res64: C516D6DAFC464733 Time : 5723.0 sec. user=vaughan [2009-07-12 01:38:43] 523*2^703087-1 is not prime. Res64: 5062AB2DE2E7E325 Time : 5758.0 sec. user=vaughan [2009-07-12 01:39:31] 531*2^703087-1 is not prime. Res64: 2A1AFB215374250D Time : 5704.0 sec. user=vaughan [2009-07-12 01:48:49] 555*2^703087-1 is not prime. Res64: DCE65F18A04CD7DE Time : 5728.0 sec. user=vaughan [2009-07-12 01:49:14] 561*2^703087-1 is not prime. Res64: 4AA0EC14F51C241F Time : 5713.0 sec. user=vaughan [2009-07-12 01:58:18] 405*2^703088-1 is not prime. Res64: 487AB728F348B510 Time : 5727.0 sec. user=vaughan [2009-07-12 01:58:38] 437*2^703088-1 is not prime. Res64: AE063D26A016E1CB Time : 5713.0 sec. user=vaughan [2009-07-12 02:08:11] 465*2^703088-1 is not prime. Res64: 17367E3AB78D2AC0 Time : 5778.0 sec. user=vaughan [2009-07-12 02:08:21] 479*2^703088-1 is not prime. Res64: 0772B32A3A5534B3 Time : 5741.0 sec. user=vaughan [2009-07-12 02:17:56] 441*2^703089-1 is not prime. Res64: D37D0FDC2418E06A Time : 5750.0 sec. user=vaughan [2009-07-12 02:18:15] 427*2^703089-1 is not prime. Res64: 1E2721FD915DD641 Time : 5813.0 sec. user=vaughan [2009-07-12 02:27:10] 465*2^703089-1 is not prime. Res64: 0502B0B1ADAF3E87 Time : 5746.0 sec. user=vaughan [2009-07-12 02:27:21] 457*2^703089-1 is not prime. Res64: A01B9A2E2C0C1832 Time : 5803.0 sec. user=vaughan [2009-07-12 02:36:48] 495*2^703089-1 is not prime. Res64: 9D4C9D7A48F8F65C Time : 5736.0 sec. user=vaughan [2009-07-12 02:37:15] 481*2^703089-1 is not prime. Res64: C07DDBE2E1762E18 Time : 5782.0 sec. user=vaughan [2009-07-12 02:46:37] 595*2^703089-1 is not prime. Res64: FBC6BD3C978C3DFB Time : 5726.0 sec. user=vaughan [2009-07-12 02:47:18] 525*2^703089-1 is not prime. Res64: CEA4956D848900A9 Time : 5787.0 sec. user=vaughan [2009-07-12 02:56:11] 413*2^703092-1 is not prime. Res64: 6341AC0550170617 Time : 5748.0 sec. user=vaughan [2009-07-12 02:56:54] 597*2^703089-1 is not prime. Res64: 95462ADF6FE09C96 Time : 5825.0 sec. user=vaughan [2009-07-12 03:06:06] 409*2^703093-1 is not prime. Res64: C04A797E031D11FE Time : 5761.0 sec. user=vaughan [2009-07-12 03:06:45] 423*2^703092-1 is not prime. Res64: 0876FC73F7F261DF Time : 5860.0 sec. user=vaughan [2009-07-12 03:14:53] 429*2^703093-1 is not prime. Res64: 36FA5EEE6D0EC617 Time : 5722.0 sec. user=vaughan [2009-07-12 03:15:36] 411*2^703093-1 is not prime. Res64: FC218C8D55FB6A0E Time : 5814.0 sec. user=vaughan [2009-07-12 03:22:30] 537*2^703093-1 is not prime. Res64: 2217F023257B0878 Time : 5596.0 sec. user=vaughan [2009-07-12 03:23:09] 439*2^703093-1 is not prime. Res64: 4506E4CCBC780029 Time : 5660.0 sec. user=vaughan [2009-07-12 03:30:08] 423*2^703095-1 is not prime. Res64: B11C217F7EA77367 Time : 5490.0 sec. user=vaughan [2009-07-12 03:30:42] 503*2^703094-1 is not prime. Res64: 1C9386645E09E33F Time : 5544.0 sec. user=vaughan [2009-07-12 03:37:45] 471*2^703095-1 is not prime. Res64: B66F35838447B680 Time : 5364.0 sec. user=vaughan [2009-07-12 03:38:16] 469*2^703095-1 is not prime. Res64: 4B0CF4966F595ED2 Time : 5405.0 sec. user=vaughan [2009-07-12 03:45:22] 511*2^703095-1 is not prime. Res64: 628A3886E028DFA8 Time : 5246.0 sec. user=vaughan [2009-07-12 03:45:49] 541*2^703095-1 is not prime. Res64: E68D84C5E7CDB7E3 Time : 5254.0 sec. user=vaughan [2009-07-12 03:53:00] 553*2^703095-1 is not prime. Res64: 300BEE946E9C625C Time : 5151.0 sec. user=vaughan [2009-07-12 03:53:23] 435*2^703096-1 is not prime. Res64: B6CA58130A702FB0 Time : 5162.0 sec. user=vaughan [2009-07-12 04:00:38] 437*2^703096-1 is not prime. Res64: 5D4FA94B6C11134E Time : 5031.0 sec. user=vaughan [2009-07-12 04:00:57] 507*2^703096-1 is not prime. Res64: C2F136FD5364E742 Time : 5022.0 sec. user=vaughan [2009-07-12 04:08:16] 525*2^703096-1 is not prime. Res64: 1773A67083436226 Time : 4899.0 sec. user=vaughan [2009-07-12 04:08:32] 441*2^703097-1 is not prime. Res64: 2F43FA7C176E02C4 Time : 4874.0 sec. user=vaughan [2009-07-12 04:15:56] 445*2^703097-1 is not prime. Res64: B36AA1AFB7714C95 Time : 4785.0 sec. user=vaughan [2009-07-12 04:16:05] 465*2^703097-1 is not prime. Res64: D778613461FFC62E Time : 4751.0 sec. user=vaughan [2009-07-12 04:23:33] 501*2^703097-1 is not prime. Res64: 4AFF93D482F52C39 Time : 4647.0 sec. user=vaughan [2009-07-12 04:23:39] 571*2^703097-1 is not prime. Res64: 52752935ADB8DC63 Time : 4614.0 sec. user=vaughan [2009-07-12 04:31:12] 589*2^703097-1 is not prime. Res64: 743E94D74EA98A77 Time : 4579.0 sec. user=vaughan [2009-07-12 04:31:14] 401*2^703098-1 is not prime. Res64: 7601E14368422505 Time : 4538.0 sec. user=vaughan [2009-07-12 04:38:48] 567*2^703098-1 is not prime. Res64: 90EA3419EE9D73DD Time : 4539.0 sec. user=vaughan [2009-07-12 04:38:49] 497*2^703098-1 is not prime. Res64: 911DCE892ABF307F Time : 4580.0 sec. user=vaughan [2009-07-12 04:46:21] 433*2^703099-1 is not prime. Res64: D4DAA3D2426E23B3 Time : 4539.0 sec. user=vaughan [2009-07-12 04:46:27] 411*2^703099-1 is not prime. Res64: 199632E9BAD79ADE Time : 4579.0 sec. user=vaughan [2009-07-12 04:53:55] 481*2^703099-1 is not prime. Res64: 6DFD1DB7C574D778 Time : 4539.0 sec. user=vaughan [2009-07-12 04:54:05] 439*2^703099-1 is not prime. Res64: 3F30918149176C47 Time : 4580.0 sec. user=vaughan [2009-07-12 05:01:30] 493*2^703099-1 is not prime. Res64: 3D913654004AAA0C Time : 4541.0 sec. user=vaughan [2009-07-12 05:01:43] 489*2^703099-1 is not prime. Res64: 10B8E86E5821A3DC Time : 4581.0 sec. user=vaughan [2009-07-12 05:09:04] 549*2^703099-1 is not prime. Res64: 7A4851E1F7DB87A9 Time : 4541.0 sec. user=vaughan [2009-07-12 05:09:20] 505*2^703099-1 is not prime. Res64: 74003D34E189A2BB Time : 4580.0 sec. user=vaughan [2009-07-12 05:16:38] 449*2^703100-1 is not prime. Res64: E5E10E5100D8F4F2 Time : 4541.0 sec. user=vaughan [2009-07-12 05:16:57] 425*2^703100-1 is not prime. Res64: 7AEFBC2B7952CF00 Time : 4579.0 sec. user=vaughan [2009-07-12 05:24:12] 473*2^703100-1 is not prime. Res64: C26C975951039C7B Time : 4541.0 sec. user=vaughan [2009-07-12 05:24:34] 467*2^703100-1 is not prime. Res64: D56181918EAFA57C Time : 4578.0 sec. user=vaughan [2009-07-12 05:31:45] 563*2^703100-1 is not prime. Res64: D30136AC4FB5C0BE Time : 4540.0 sec. user=vaughan [2009-07-12 05:32:12] 515*2^703100-1 is not prime. Res64: F06E643E503FA892 Time : 4576.0 sec. user=vaughan [2009-07-12 05:39:19] 405*2^703101-1 is not prime. Res64: 1991424066896523 Time : 4541.0 sec. user=vaughan [2009-07-12 05:39:50] 599*2^703100-1 is not prime. Res64: B4E349683F996794 Time : 4577.0 sec. user=vaughan [2009-07-12 05:47:08] 531*2^703101-1 is not prime. Res64: A1FEA690248C0D9F Time : 4555.0 sec. user=vaughan [2009-07-12 05:47:43] 529*2^703101-1 is not prime. Res64: 78D6CDC71A593188 Time : 4592.0 sec. user=vaughan [2009-07-12 05:54:43] 413*2^703102-1 is not prime. Res64: CDCA09347350564F Time : 4556.0 sec. user=vaughan [2009-07-12 05:55:21] 467*2^703102-1 is not prime. Res64: 0CD9D29D8CA4BEC4 Time : 4592.0 sec. user=vaughan [2009-07-12 06:02:17] 533*2^703102-1 is not prime. Res64: 48C94B6E52801174 Time : 4556.0 sec. user=vaughan [2009-07-12 06:02:58] 591*2^703102-1 is not prime. Res64: B0F7FBD5676D5C5E Time : 4592.0 sec. user=vaughan [2009-07-12 06:09:52] 523*2^703103-1 is not prime. Res64: A3934BA8C7BB0D36 Time : 4557.0 sec. user=vaughan [2009-07-12 06:10:33] 479*2^703104-1 is not prime. Res64: 140336AB9CEFA905 Time : 4589.0 sec. user=vaughan [2009-07-12 06:17:25] 527*2^703104-1 is not prime. Res64: 9A494693A8FE919C Time : 4556.0 sec. user=vaughan [2009-07-12 06:18:08] 539*2^703104-1 is not prime. Res64: 57E36C78A501168C Time : 4586.0 sec. user=vaughan [2009-07-12 06:24:58] 555*2^703104-1 is not prime. Res64: C554817CBCDECF40 Time : 4554.0 sec. user=vaughan [2009-07-12 06:25:44] 569*2^703104-1 is not prime. Res64: 9C70DE3781B5B554 Time : 4585.0 sec. user=vaughan [2009-07-12 06:32:32] 585*2^703104-1 is not prime. Res64: FEB329E025278041 Time : 4554.0 sec. user=vaughan [2009-07-12 06:33:19] 415*2^703105-1 is not prime. Res64: C7CED95D8A548E4B Time : 4582.0 sec. user=vaughan [2009-07-12 06:40:05] 469*2^703105-1 is not prime. Res64: BA0F71A204B09E41 Time : 4553.0 sec. user=vaughan [2009-07-12 06:40:56] 489*2^703105-1 is not prime. Res64: 4330D6AA91D96ABC Time : 4582.0 sec. user=vaughan [2009-07-12 06:47:39] 595*2^703105-1 is not prime. Res64: 1EB826BC3946060E Time : 4554.0 sec. user=vaughan [2009-07-12 06:48:32] 561*2^703106-1 is not prime. Res64: 444A0D931E133C70 Time : 4580.0 sec. user=vaughan [2009-07-12 06:55:12] 483*2^703107-1 is not prime. Res64: 859A7BB8CFB3F173 Time : 4553.0 sec. user=vaughan [2009-07-12 06:56:08] 489*2^703107-1 is not prime. Res64: D8274C77620AC094 Time : 4578.0 sec. user=vaughan [2009-07-12 07:02:46] 513*2^703107-1 is not prime. Res64: 1E17165A407A6CDD Time : 4538.0 sec. user=vaughan [2009-07-12 07:03:44] 523*2^703107-1 is not prime. Res64: 9FAE14EFC16F9F4D Time : 4561.0 sec. user=vaughan [2009-07-12 07:10:19] 583*2^703107-1 is not prime. Res64: 0B1AE135510DFDDC Time : 4536.0 sec. user=vaughan [2009-07-12 07:11:20] 495*2^703108-1 is not prime. Res64: CFDC252FF51FAC66 Time : 4559.0 sec. user=vaughan [2009-07-12 07:17:54] 497*2^703108-1 is not prime. Res64: 17941AFCC799AFAA Time : 4537.0 sec. user=vaughan [2009-07-12 07:18:55] 519*2^703108-1 is not prime. Res64: B1154520C74A90BF Time : 4558.0 sec. user=vaughan [2009-07-12 07:25:27] 417*2^703109-1 is not prime. Res64: BA8E65ADDD7A9F45 Time : 4536.0 sec. user=vaughan [2009-07-12 07:26:31] 435*2^703109-1 is not prime. Res64: 3D1CC9B69A48D713 Time : 4558.0 sec. user=vaughan [2009-07-12 07:33:02] 481*2^703109-1 is not prime. Res64: 0FD31DB94B267BB3 Time : 4538.0 sec. user=vaughan [2009-07-12 07:34:07] 511*2^703109-1 is not prime. Res64: B119E23E70FC9C52 Time : 4559.0 sec. user=vaughan [2009-07-12 07:40:34] 549*2^703109-1 is not prime. Res64: 642EC9658BEF070E Time : 4537.0 sec. user=vaughan [2009-07-12 07:41:42] 567*2^703109-1 is not prime. Res64: 66682F34649795E0 Time : 4558.0 sec. user=vaughan [2009-07-12 07:48:07] 571*2^703109-1 is not prime. Res64: 2161A38F547B0D1C Time : 4536.0 sec. user=vaughan [2009-07-12 07:49:19] 543*2^703110-1 is not prime. Res64: A5FB0B0D299AB08B Time : 4560.0 sec. user=vaughan [2009-07-12 07:55:40] 411*2^703111-1 is not prime. Res64: B4EF0973C245746F Time : 4535.0 sec. user=vaughan [2009-07-12 07:56:54] 429*2^703111-1 is not prime. Res64: 79F4CA6420FC9CAE Time : 4559.0 sec. user=vaughan [2009-07-12 08:03:13] 465*2^703111-1 is not prime. Res64: 01E6F9800D180126 Time : 4535.0 sec. user=vaughan [2009-07-12 08:04:29] 493*2^703111-1 is not prime. Res64: 8CC6527B667AA3ED Time : 4558.0 sec. user=vaughan [2009-07-12 08:10:46] 499*2^703111-1 is not prime. Res64: 318A184BA89A56EC Time : 4534.0 sec. user=vaughan [2009-07-12 08:12:04] 531*2^703111-1 is not prime. Res64: 424394A9C2BC3049 Time : 4556.0 sec. user=vaughan [2009-07-12 08:18:20] 459*2^703112-1 is not prime. Res64: C24C14015C91CEDE Time : 4534.0 sec. user=vaughan [2009-07-12 08:19:40] 599*2^703112-1 is not prime. Res64: 0C74B51CF58F6270 Time : 4556.0 sec. user=vaughan [2009-07-12 08:25:54] 507*2^703113-1 is not prime. Res64: EB73F603A98818D9 Time : 4535.0 sec. user=vaughan [2009-07-12 08:27:18] 595*2^703113-1 is not prime. Res64: 70BD5FE0BDCD3A7F Time : 4558.0 sec. user=vaughan [2009-07-12 08:33:28] 401*2^703114-1 is not prime. Res64: E0E31BCBA887A03F Time : 4534.0 sec. user=vaughan [2009-07-12 08:34:56] 435*2^703114-1 is not prime. Res64: 7C08AA6CAF717720 Time : 4562.0 sec. user=vaughan [2009-07-12 08:41:01] 465*2^703114-1 is not prime. Res64: 411450ADAE258DA7 Time : 4534.0 sec. user=vaughan [2009-07-12 08:42:35] 545*2^703114-1 is not prime. Res64: 7D3EE86B8BF3218D Time : 4565.0 sec. user=vaughan [2009-07-12 08:48:32] 573*2^703114-1 is not prime. Res64: AC08F3F54DEB95FB Time : 4530.0 sec. user=vaughan [2009-07-12 08:50:17] 433*2^703115-1 is not prime. Res64: 586B6449420BD340 Time : 4571.0 sec. user=vaughan [2009-07-12 08:56:03] 475*2^703115-1 is not prime. Res64: 37DD8DCBB5AD69C6 Time : 4529.0 sec. user=vaughan [2009-07-12 08:57:56] 501*2^703115-1 is not prime. Res64: 2DDF29CB6F6192B3 Time : 4574.0 sec. user=vaughan [2009-07-12 09:03:38] 511*2^703115-1 is not prime. Res64: 988E3A9E8F338B7E Time : 4531.0 sec. user=vaughan [2009-07-12 09:05:32] 573*2^703115-1 is not prime. Res64: 222D167FE24939D7 Time : 4573.0 sec. user=vaughan [2009-07-12 09:11:13] 405*2^703116-1 is not prime. Res64: 4BD0946A04CFB3BF Time : 4533.0 sec. user=vaughan [2009-07-12 09:13:10] 425*2^703116-1 is not prime. Res64: 0A03F84AEA307EDE Time : 4576.0 sec. user=vaughan [2009-07-12 09:18:46] 563*2^703116-1 is not prime. Res64: D9A892CE99491114 Time : 4533.0 sec. user=vaughan [2009-07-12 09:20:47] 567*2^703116-1 is not prime. Res64: 845D4BD08F811F16 Time : 4578.0 sec. user=vaughan [2009-07-12 09:26:21] 421*2^703117-1 is not prime. Res64: 7C8DD82E0AF26889 Time : 4535.0 sec. user=vaughan [2009-07-12 09:28:25] 427*2^703117-1 is not prime. Res64: BA0D664A34E19519 Time : 4581.0 sec. user=vaughan [2009-07-12 09:33:56] 465*2^703117-1 is not prime. Res64: F53B0E255F8FB32B Time : 4536.0 sec. user=vaughan [2009-07-12 09:36:02] 499*2^703117-1 is not prime. Res64: 80C9534D55602CCD Time : 4583.0 sec. user=vaughan [2009-07-12 09:41:31] 517*2^703117-1 is not prime. Res64: C87A81A4A05E6347 Time : 4538.0 sec. user=vaughan [2009-07-12 09:43:41] 501*2^703118-1 is not prime. Res64: 5F4C30DFCE9B28BC Time : 4584.0 sec. user=vaughan [2009-07-12 09:49:04] 561*2^703118-1 is not prime. Res64: 98981732B96D0B80 Time : 4537.0 sec. user=vaughan [2009-07-12 09:51:18] 445*2^703119-1 is not prime. Res64: 1D4FED9296515739 Time : 4582.0 sec. user=vaughan [2009-07-12 09:56:37] 493*2^703119-1 is not prime. Res64: FDAF269DFE30812C Time : 4537.0 sec. user=vaughan [2009-07-12 09:58:57] 511*2^703119-1 is not prime. Res64: B2853055171A704F Time : 4582.0 sec. user=vaughan [2009-07-12 10:04:11] 571*2^703119-1 is not prime. Res64: C0F958D8E7A3FED1 Time : 4540.0 sec. user=vaughan [2009-07-12 10:06:35] 509*2^703120-1 is not prime. Res64: 71030029732AE4AE Time : 4578.0 sec. user=vaughan [2009-07-12 10:11:45] 587*2^703120-1 is not prime. Res64: D7D2C9AC85A132E1 Time : 4542.0 sec. user=vaughan [2009-07-12 10:14:14] 593*2^703120-1 is not prime. Res64: A151050B603A5CCF Time : 4578.0 sec. user=vaughan [2009-07-12 10:19:20] 565*2^703121-1 is not prime. Res64: C587791326CA1115 Time : 4542.0 sec. user=vaughan [2009-07-12 10:21:52] 485*2^703122-1 is not prime. Res64: 3C5955B0E619FD08 Time : 4580.0 sec. user=vaughan [2009-07-12 10:26:53] 495*2^703122-1 is not prime. Res64: 2E152C5117DD41BE Time : 4541.0 sec. user=vaughan [2009-07-12 10:29:30] 415*2^703123-1 is not prime. Res64: 38E69BEDC5A9CE22 Time : 4581.0 sec. user=vaughan [2009-07-12 10:34:27] 489*2^703123-1 is not prime. Res64: 0942425F5885ADBF Time : 4541.0 sec. user=vaughan [2009-07-12 10:37:08] 499*2^703123-1 is not prime. Res64: F7873B90FC935DA7 Time : 4581.0 sec. user=vaughan [2009-07-12 10:42:01] 553*2^703123-1 is not prime. Res64: A60AB0733F403A26 Time : 4540.0 sec. user=vaughan [2009-07-12 10:44:46] 589*2^703123-1 is not prime. Res64: A322329E5AF4AAF7 Time : 4582.0 sec. user=vaughan [2009-07-12 10:49:36] 423*2^703124-1 is not prime. Res64: 44FCD929A3228EC4 Time : 4540.0 sec. user=vaughan [2009-07-12 10:52:23] 525*2^703124-1 is not prime. Res64: C0FFE99B4C93D753 Time : 4581.0 sec. user=vaughan [2009-07-12 10:57:10] 545*2^703124-1 is not prime. Res64: 378EC2C0FC0018D0 Time : 4539.0 sec. user=vaughan [2009-07-12 11:00:00] 557*2^703124-1 is not prime. Res64: 7204CF06EF978972 Time : 4580.0 sec. user=vaughan [2009-07-12 11:04:44] 585*2^703124-1 is not prime. Res64: 32CE40D480287AAD Time : 4540.0 sec. user=vaughan [2009-07-12 11:07:37] 441*2^703127-1 is not prime. Res64: 3CEA352668125440 Time : 4579.0 sec. user=vaughan [2009-07-12 11:12:19] 463*2^703127-1 is not prime. Res64: 6795E694D7FEE727 Time : 4542.0 sec. user=vaughan [2009-07-12 11:15:15] 413*2^703128-1 is not prime. Res64: A5281ADA5BAF208B Time : 4578.0 sec. user=vaughan [2009-07-12 11:19:53] 465*2^703128-1 is not prime. Res64: 73FBEEF209094337 Time : 4542.0 sec. user=vaughan [2009-07-12 11:22:53] 479*2^703128-1 is not prime. Res64: CE8333EB60A04C05 Time : 4578.0 sec. user=vaughan [2009-07-12 11:27:28] 509*2^703128-1 is not prime. Res64: 6BF5C1D967B56B27 Time : 4543.0 sec. user=vaughan [2009-07-12 11:30:30] 527*2^703128-1 is not prime. Res64: 498270D2D3BFCC32 Time : 4576.0 sec. user=vaughan [2009-07-12 11:35:03] 435*2^703129-1 is not prime. Res64: 0DA1D0F1719C2AEC Time : 4544.0 sec. user=vaughan [2009-07-12 11:38:08] 477*2^703129-1 is not prime. Res64: DFF79072F8E96B01 Time : 4576.0 sec. user=vaughan [2009-07-12 11:42:37] 495*2^703129-1 is not prime. Res64: C2FEDAF6C9E8B455 Time : 4544.0 sec. user=vaughan [2009-07-12 11:45:46] 499*2^703129-1 is not prime. Res64: F0150B7089CF5FB9 Time : 4576.0 sec. user=vaughan [2009-07-12 11:50:11] 537*2^703129-1 is not prime. Res64: EFEB825E54FA2AFC Time : 4544.0 sec. user=vaughan [2009-07-12 11:53:23] 547*2^703129-1 is not prime. Res64: BEF01382003BB472 Time : 4575.0 sec. user=vaughan [2009-07-12 11:57:45] 589*2^703129-1 is not prime. Res64: 0CC7B27105824243 Time : 4544.0 sec. user=vaughan [2009-07-12 12:01:01] 461*2^703130-1 is not prime. Res64: 4DAC715AD16EA4D2 Time : 4575.0 sec. user=vaughan [2009-07-12 12:05:19] 501*2^703130-1 is not prime. Res64: ECDB26763FC7FCD1 Time : 4543.0 sec. user=vaughan [2009-07-12 12:08:38] 521*2^703130-1 is not prime. Res64: 165E1F05AC06B87A Time : 4575.0 sec. user=vaughan [2009-07-12 12:12:53] 563*2^703130-1 is not prime. Res64: BD47830CB283E7EE Time : 4543.0 sec. user=vaughan [2009-07-12 12:16:16] 575*2^703130-1 is not prime. Res64: 58C3B01AA14CA21C Time : 4576.0 sec. user=vaughan [2009-07-12 12:20:27] 587*2^703130-1 is not prime. Res64: DC95733FDC5A7D09 Time : 4543.0 sec. user=vaughan [2009-07-12 12:23:53] 453*2^703131-1 is not prime. Res64: 10679F7202BEAD6F Time : 4576.0 sec. user=vaughan [2009-07-12 12:28:01] 459*2^703131-1 is not prime. Res64: 6304A4D8FF3A6763 Time : 4542.0 sec. user=vaughan [2009-07-12 12:31:30] 469*2^703131-1 is not prime. Res64: 31ACE4AA1714DA97 Time : 4575.0 sec. user=vaughan [2009-07-12 12:35:35] 511*2^703131-1 is not prime. Res64: 208AD6D0847F5889 Time : 4542.0 sec. user=vaughan [2009-07-12 12:39:08] 549*2^703131-1 is not prime. Res64: 6629F2CAF938472C Time : 4575.0 sec. user=vaughan [2009-07-12 12:43:09] 595*2^703131-1 is not prime. Res64: 7A6FF2F6225B257F Time : 4542.0 sec. user=vaughan [2009-07-12 12:46:45] 419*2^703132-1 is not prime. Res64: 0197476A6EFEC5EA Time : 4576.0 sec. user=vaughan [2009-07-12 12:50:43] 483*2^703132-1 is not prime. Res64: 3BA617FE2B508E63 Time : 4541.0 sec. user=vaughan [2009-07-12 12:54:22] 537*2^703132-1 is not prime. Res64: 105B0747433938E4 Time : 4574.0 sec. user=vaughan [2009-07-12 12:58:18] 417*2^703133-1 is not prime. Res64: DD0F612C6B945079 Time : 4542.0 sec. user=vaughan [2009-07-12 13:01:59] 451*2^703133-1 is not prime. Res64: 6F0D0CBC81B08A68 Time : 4573.0 sec. user=vaughan [2009-07-12 13:05:52] 561*2^703133-1 is not prime. Res64: 76C2E8BC474BC958 Time : 4541.0 sec. user=vaughan [2009-07-12 13:09:36] 411*2^703134-1 is not prime. Res64: B6B94A019AC91626 Time : 4573.0 sec. user=vaughan [2009-07-12 13:13:28] 425*2^703134-1 is not prime. Res64: A6847F55582F9D94 Time : 4543.0 sec. user=vaughan [2009-07-12 13:17:13] 455*2^703134-1 is not prime. Res64: C320B4B255D4627D Time : 4572.0 sec. user=vaughan [2009-07-12 13:21:02] 573*2^703134-1 is not prime. Res64: FA356C0A1AF40E98 Time : 4543.0 sec. user=vaughan [2009-07-12 13:24:53] 593*2^703134-1 is not prime. Res64: 8260043A56F325F0 Time : 4575.0 sec. user=vaughan [2009-07-12 13:28:35] 415*2^703135-1 is not prime. Res64: 503AE17023088283 Time : 4542.0 sec. user=vaughan [2009-07-12 13:32:29] 429*2^703135-1 is not prime. Res64: 22A7699CF733E82E Time : 4574.0 sec. user=vaughan [2009-07-12 13:36:09] 531*2^703135-1 is not prime. Res64: C8F9C180A0EDB4CF Time : 4542.0 sec. user=vaughan [2009-07-12 13:40:07] 479*2^703136-1 is not prime. Res64: 9418859FA1F33AC5 Time : 4575.0 sec. user=vaughan [2009-07-12 13:43:43] 539*2^703136-1 is not prime. Res64: 7753FD80D049F12F Time : 4542.0 sec. user=vaughan [2009-07-12 13:47:44] 405*2^703137-1 is not prime. Res64: 0BFBB926586DB8B4 Time : 4574.0 sec. user=vaughan [2009-07-12 13:51:17] 511*2^703137-1 is not prime. Res64: 9273B05995766B54 Time : 4542.0 sec. user=vaughan [2009-07-12 13:55:22] 549*2^703137-1 is not prime. Res64: 6CB2B1A80A291539 Time : 4574.0 sec. user=vaughan [2009-07-12 13:58:51] 565*2^703137-1 is not prime. Res64: EC9642A8FA3B3F28 Time : 4542.0 sec. user=vaughan [2009-07-12 14:03:00] 579*2^703137-1 is not prime. Res64: 25CB8149CF43D6AF Time : 4575.0 sec. user=vaughan [2009-07-12 14:06:26] 467*2^703138-1 is not prime. Res64: AFA24BAFFFCEA9AF Time : 4543.0 sec. user=vaughan [2009-07-12 14:10:39] 471*2^703138-1 is not prime. Res64: 37A2B7AA1EE45D8B Time : 4577.0 sec. user=vaughan [2009-07-12 14:14:01] 433*2^703139-1 is not prime. Res64: 7D0CA42A7575D471 Time : 4543.0 sec. user=vaughan [2009-07-12 14:18:15] 439*2^703139-1 is not prime. Res64: BB8F711AC5AD7421 Time : 4576.0 sec. user=vaughan [2009-07-12 14:21:35] 441*2^703139-1 is not prime. Res64: 633ED00A2C45A76D Time : 4543.0 sec. user=vaughan [2009-07-12 14:25:52] 451*2^703139-1 is not prime. Res64: 460D13B8665DD83F Time : 4576.0 sec. user=vaughan [2009-07-12 14:29:09] 481*2^703139-1 is not prime. Res64: CA68C2F7C8D4DB21 Time : 4541.0 sec. user=vaughan [2009-07-12 14:33:29] 489*2^703139-1 is not prime. Res64: 17C2EE66F5E5AE41 Time : 4576.0 sec. user=vaughan [2009-07-12 14:36:43] 495*2^703139-1 is not prime. Res64: ABF31BFA3CCF9572 Time : 4541.0 sec. user=vaughan [2009-07-12 14:41:09] 511*2^703139-1 is not prime. Res64: DBC0C2CE4412A36F Time : 4577.0 sec. user=vaughan [2009-07-12 14:44:14] 585*2^703140-1 is not prime. Res64: BDEA8BBB8D03E77D Time : 4539.0 sec. user=vaughan [2009-07-12 14:48:49] 411*2^703141-1 is not prime. Res64: 323B567BA51F5E31 Time : 4580.0 sec. user=vaughan [2009-07-12 14:51:46] 451*2^703141-1 is not prime. Res64: 9FA0CD5B4B7AE55B Time : 4537.0 sec. user=vaughan [2009-07-12 14:56:30] 517*2^703141-1 is not prime. Res64: 3EA1AB750E5EDDBF Time : 4583.0 sec. user=vaughan [2009-07-12 14:59:17] 525*2^703141-1 is not prime. Res64: 8417BE1316025C8D Time : 4534.0 sec. user=vaughan [2009-07-12 15:04:11] 597*2^703141-1 is not prime. Res64: E9F0B822166A4CFE Time : 4587.0 sec. user=vaughan [2009-07-12 15:06:48] 407*2^703142-1 is not prime. Res64: 189F975EF7961D7F Time : 4531.0 sec. user=vaughan [2009-07-12 15:11:51] 521*2^703142-1 is not prime. Res64: 84CF8367326E8A87 Time : 4589.0 sec. user=vaughan [2009-07-12 15:14:20] 411*2^703143-1 is not prime. Res64: 5D107BD8D2C2873E Time : 4529.0 sec. user=vaughan [2009-07-12 15:19:33] 489*2^703143-1 is not prime. Res64: 47B258F8AB816ADE Time : 4593.0 sec. user=vaughan [2009-07-12 15:21:51] 565*2^703143-1 is not prime. Res64: 522CFD5D7D82C270 Time : 4526.0 sec. user=vaughan [2009-07-12 15:27:13] 533*2^703144-1 is not prime. Res64: 5D49EC239DDAFA84 Time : 4595.0 sec. user=vaughan [2009-07-12 15:29:22] 445*2^703145-1 is not prime. Res64: AD38A5B0D19F2210 Time : 4522.0 sec. user=vaughan [2009-07-12 15:34:58] 567*2^703145-1 is not prime. Res64: C8E4702B78945504 Time : 4603.0 sec. user=vaughan [2009-07-12 15:36:54] 437*2^703146-1 is not prime. Res64: 90E6297546B61D11 Time : 4520.0 sec. user=vaughan [2009-07-12 15:42:45] 483*2^703146-1 is not prime. Res64: 2AB8E58E530B6054 Time : 4613.0 sec. user=vaughan [2009-07-12 15:44:27] 585*2^703146-1 is not prime. Res64: F65B97F0A1DA1CA2 Time : 4519.0 sec. user=vaughan [2009-07-12 15:50:27] 453*2^703147-1 is not prime. Res64: 7788F209AB791870 Time : 4618.0 sec. user=vaughan [2009-07-12 15:51:58] 471*2^703147-1 is not prime. Res64: 388CC2F4057A96DC Time : 4515.0 sec. user=vaughan [2009-07-12 15:58:07] 523*2^703147-1 is not prime. Res64: 4E8857740D43A044 Time : 4618.0 sec. user=vaughan [2009-07-12 15:59:29] 573*2^703147-1 is not prime. Res64: 7807968FE58A56AC Time : 4515.0 sec. user=vaughan [2009-07-12 16:05:47] 579*2^703147-1 is not prime. Res64: FE407F042B4AEBF8 Time : 4618.0 sec. user=vaughan [2009-07-12 16:07:00] 459*2^703148-1 is not prime. Res64: 721B1192903788FC Time : 4514.0 sec. user=vaughan [2009-07-12 16:13:28] 427*2^703149-1 is not prime. Res64: D042C22D7180C9D5 Time : 4618.0 sec. user=vaughan [2009-07-12 16:14:31] 447*2^703149-1 is not prime. Res64: EEFEEC98D1D20DF7 Time : 4514.0 sec. user=vaughan [2009-07-12 16:21:11] 413*2^703150-1 is not prime. Res64: 23639F46C6D2C909 Time : 4621.0 sec. user=vaughan [2009-07-12 16:22:03] 425*2^703150-1 is not prime. Res64: 83AB19C77010C54E Time : 4515.0 sec. user=vaughan [2009-07-12 16:28:51] 447*2^703150-1 is not prime. Res64: 45C8AE75026C36B3 Time : 4620.0 sec. user=vaughan [2009-07-12 16:29:34] 477*2^703150-1 is not prime. Res64: E0432AF5EDAEB329 Time : 4514.0 sec. user=vaughan [2009-07-12 16:36:33] 433*2^703151-1 is not prime. Res64: 9C66AC7E65C44353 Time : 4620.0 sec. user=vaughan [2009-07-12 16:37:05] 463*2^703151-1 is not prime. Res64: 374A0C18DA94BDB2 Time : 4514.0 sec. user=vaughan [2009-07-12 16:44:15] 489*2^703151-1 is not prime. Res64: E662400EFB6482AB Time : 4622.0 sec. user=vaughan [2009-07-12 16:44:41] 585*2^703151-1 is not prime. Res64: 7738E292EAAD867C Time : 4519.0 sec. user=vaughan [2009-07-12 16:51:55] 425*2^703152-1 is not prime. Res64: 62D860583393A5CA Time : 4617.0 sec. user=vaughan [2009-07-12 16:52:16] 507*2^703152-1 is not prime. Res64: 08F50993F42BCBD8 Time : 4522.0 sec. user=vaughan [2009-07-12 16:59:33] 513*2^703152-1 is not prime. Res64: F90187C414C48309 Time : 4609.0 sec. user=vaughan [2009-07-12 16:59:50] 555*2^703152-1 is not prime. Res64: EBDF806CCA202115 Time : 4524.0 sec. user=vaughan [2009-07-12 17:07:12] 477*2^703153-1 is not prime. Res64: B869360A9268975C Time : 4605.0 sec. user=vaughan [2009-07-12 17:07:23] 541*2^703153-1 is not prime. Res64: 5D4DBCE39D7D5F46 Time : 4526.0 sec. user=vaughan [2009-07-12 17:14:51] 565*2^703153-1 is not prime. Res64: F0E9226671C399B2 Time : 4604.0 sec. user=vaughan [2009-07-12 17:14:57] 597*2^703153-1 is not prime. Res64: 760C4AAC8875F894 Time : 4529.0 sec. user=vaughan [2009-07-12 17:22:29] 483*2^703154-1 is not prime. Res64: BA8316CEDA51120E Time : 4602.0 sec. user=vaughan [2009-07-12 17:22:31] 501*2^703154-1 is not prime. Res64: CB21AA0C38087084 Time : 4532.0 sec. user=vaughan [2009-07-12 17:30:05] 533*2^703154-1 is not prime. Res64: 3A9A057D62AC2544 Time : 4534.0 sec. user=vaughan [2009-07-12 17:30:06] 503*2^703154-1 is not prime. Res64: B58E09180AC990AA Time : 4598.0 sec. user=vaughan [2009-07-12 17:37:39] 459*2^703155-1 is not prime. Res64: 0C352B9E1497CC7E Time : 4536.0 sec. user=vaughan [2009-07-12 17:37:45] 441*2^703155-1 is not prime. Res64: 3C2609600D76399F Time : 4595.0 sec. user=vaughan [2009-07-12 17:45:13] 573*2^703155-1 is not prime. Res64: 02BB3D819700677B Time : 4539.0 sec. user=vaughan [2009-07-12 17:45:22] 531*2^703155-1 is not prime. Res64: 29D05BB793DA4B0A Time : 4591.0 sec. user=vaughan [2009-07-12 17:52:50] 429*2^703156-1 is not prime. Res64: B3D47E58B33313FA Time : 4545.0 sec. user=vaughan [2009-07-12 17:53:02] 591*2^703155-1 is not prime. Res64: 58A523FA421AAB65 Time : 4589.0 sec. user=vaughan [2009-07-12 18:00:23] 597*2^703156-1 is not prime. Res64: AE7537A55777766F Time : 4543.0 sec. user=vaughan [2009-07-12 18:00:39] 485*2^703156-1 is not prime. Res64: F1DA9B0790C073F4 Time : 4584.0 sec. user=vaughan [2009-07-12 18:07:57] 475*2^703157-1 is not prime. Res64: 61281A8DF3F63804 Time : 4542.0 sec. user=vaughan [2009-07-12 18:08:19] 405*2^703157-1 is not prime. Res64: 8B2F4390E78EA64A Time : 4584.0 sec. user=vaughan [2009-07-12 18:15:31] 423*2^703158-1 is not prime. Res64: E830937FBD9CE83B Time : 4542.0 sec. user=vaughan [2009-07-12 18:15:59] 549*2^703157-1 is not prime. Res64: 0E6E0CB48B631ED0 Time : 4586.0 sec. user=vaughan [2009-07-12 18:23:02] 471*2^703158-1 is not prime. Res64: 8D6F2708F7D0AF02 Time : 4539.0 sec. user=vaughan [2009-07-12 18:23:40] 437*2^703158-1 is not prime. Res64: 853B11E49387C530 Time : 4589.0 sec. user=vaughan [2009-07-12 18:30:35] 573*2^703158-1 is not prime. Res64: D6077122794FE71A Time : 4538.0 sec. user=vaughan [2009-07-12 18:31:22] 555*2^703158-1 is not prime. Res64: D0C89DE935FFABAE Time : 4591.0 sec. user=vaughan [2009-07-12 18:38:06] 489*2^703159-1 is not prime. Res64: F16FD1E18D534CFD Time : 4535.0 sec. user=vaughan [2009-07-12 18:39:04] 415*2^703159-1 is not prime. Res64: D52473B635DABDB3 Time : 4595.0 sec. user=vaughan [2009-07-12 18:45:37] 553*2^703159-1 is not prime. Res64: 50B1CB499E07FE7D Time : 4532.0 sec. user=vaughan [2009-07-12 18:46:44] 555*2^703159-1 is not prime. Res64: 15AA30CCF6C03A72 Time : 4598.0 sec. user=vaughan [2009-07-12 18:53:09] 459*2^703160-1 is not prime. Res64: 16424BC3B99D1898 Time : 4530.0 sec. user=vaughan [2009-07-12 18:54:25] 483*2^703160-1 is not prime. Res64: 62F3D51BAA5544B0 Time : 4600.0 sec. user=vaughan [2009-07-12 19:00:40] 519*2^703160-1 is not prime. Res64: 58AE1FEAFFD716AD Time : 4527.0 sec. user=vaughan [2009-07-12 19:02:07] 543*2^703160-1 is not prime. Res64: 2955BA1AFABC809F Time : 4605.0 sec. user=vaughan [2009-07-12 19:08:11] 563*2^703160-1 is not prime. Res64: A7A67CF0FDF6650C Time : 4523.0 sec. user=vaughan [2009-07-12 19:09:48] 415*2^703161-1 is not prime. Res64: 4E981834905B9DBE Time : 4606.0 sec. user=vaughan [2009-07-12 19:11:44] 559*2^703159-1 is not prime. Res64: C0ECB479C200C97F Time : 6031.0 sec. user=vaughan [2009-07-12 19:15:43] 435*2^703162-1 is not prime. Res64: 72D6912CD0838F4F Time : 4520.0 sec. user=vaughan [2009-07-12 19:17:27] 437*2^703162-1 is not prime. Res64: 8E576D9305122236 Time : 4608.0 sec. user=vaughan [2009-07-12 19:23:15] 545*2^703162-1 is not prime. Res64: A27E0AFB4C52C2DF Time : 4518.0 sec. user=vaughan [2009-07-12 19:25:11] 435*2^703163-1 is not prime. Res64: 95481C82ACD86024 Time : 4612.0 sec. user=vaughan [2009-07-12 19:30:46] 591*2^703163-1 is not prime. Res64: E2A70803D510E39D Time : 4515.0 sec. user=vaughan [2009-07-12 19:32:51] 423*2^703164-1 is not prime. Res64: AA559F5EA2E9FA95 Time : 4612.0 sec. user=vaughan [2009-07-12 19:36:50] 455*2^703160-1 is not prime. Res64: 3BF2BDC20A6B2707 Time : 7537.0 sec. user=vaughan [2009-07-12 19:38:19] 525*2^703164-1 is not prime. Res64: E789056BF4BBC81F Time : 4517.0 sec. user=vaughan [2009-07-12 19:40:33] 545*2^703164-1 is not prime. Res64: FB6BA91FAC995954 Time : 4613.0 sec. user=vaughan [2009-07-12 19:45:50] 405*2^703165-1 is not prime. Res64: 9870CE07832949A5 Time : 4516.0 sec. user=vaughan [2009-07-12 19:48:13] 415*2^703165-1 is not prime. Res64: 1993E000EA8C2669 Time : 4612.0 sec. user=vaughan [2009-07-12 19:53:21] 555*2^703165-1 is not prime. Res64: 6815F7B3C2FD9A01 Time : 4515.0 sec. user=vaughan [2009-07-12 19:55:54] 405*2^703166-1 is not prime. Res64: 7D02BF55695EE402 Time : 4610.0 sec. user=vaughan [2009-07-12 20:00:52] 495*2^703166-1 is not prime. Res64: 4F535920E46D1D86 Time : 4515.0 sec. user=vaughan [2009-07-12 20:02:42] 573*2^703159-1 is not prime. Res64: A50C0E22ABDCC932 Time : 9089.0 sec. user=vaughan [2009-07-12 20:03:35] 465*2^703167-1 is not prime. Res64: 86BA1E8472418524 Time : 4611.0 sec. user=vaughan [2009-07-12 20:03:49] 589*2^703159-1 is not prime. Res64: A8EE8C96084C9E74 Time : 9156.0 sec. user=vaughan [2009-07-12 20:08:28] 493*2^703167-1 is not prime. Res64: FFC986EBEF70527D Time : 4519.0 sec. user=vaughan [2009-07-12 20:11:13] 531*2^703167-1 is not prime. Res64: B98FF64F01A21F58 Time : 4608.0 sec. user=vaughan [2009-07-12 20:15:59] 573*2^703167-1 is not prime. Res64: 03955B7690673E14 Time : 4519.0 sec. user=vaughan [2009-07-12 20:18:51] 585*2^703167-1 is not prime. Res64: 3C17A5E5077EA861 Time : 4604.0 sec. user=vaughan [2009-07-12 20:23:32] 405*2^703168-1 is not prime. Res64: 098C2A37A38FA72D Time : 4521.0 sec. user=vaughan [2009-07-12 20:26:30] 429*2^703168-1 is not prime. Res64: 8F942101BBCD3C94 Time : 4603.0 sec. user=vaughan [2009-07-12 20:31:06] 495*2^703168-1 is not prime. Res64: C1863EE16761F051 Time : 4523.0 sec. user=vaughan [2009-07-12 20:34:08] 569*2^703168-1 is not prime. Res64: D1CCD989307292CB Time : 4601.0 sec. user=vaughan [2009-07-12 20:38:40] 459*2^703169-1 is not prime. Res64: 16A48F2CCCE688F1 Time : 4525.0 sec. user=vaughan [2009-07-12 20:41:45] 511*2^703169-1 is not prime. Res64: F2F873E22EBEE264 Time : 4596.0 sec. user=vaughan [2009-07-12 20:46:14] 565*2^703169-1 is not prime. Res64: 9A57396674A9EB6C Time : 4529.0 sec. user=vaughan [2009-07-12 20:49:22] 417*2^703170-1 is not prime. Res64: B3FC6EE9849FD179 Time : 4592.0 sec. user=vaughan [2009-07-12 20:53:48] 483*2^703170-1 is not prime. Res64: B6AF715F505B2A48 Time : 4530.0 sec. user=vaughan [2009-07-12 20:56:58] 411*2^703171-1 is not prime. Res64: C2C96FE0E09384F9 Time : 4586.0 sec. user=vaughan [2009-07-12 21:01:22] 555*2^703171-1 is not prime. Res64: DA6CF656594C1FA1 Time : 4533.0 sec. user=vaughan [2009-07-12 21:04:35] 583*2^703171-1 is not prime. Res64: 2D57CE2C9AD2173C Time : 4582.0 sec. user=vaughan [2009-07-12 21:08:56] 477*2^703172-1 is not prime. Res64: 1BB24A904249D42A Time : 4535.0 sec. user=vaughan [2009-07-12 21:12:12] 507*2^703172-1 is not prime. Res64: 546E0FD8764D9E25 Time : 4578.0 sec. user=vaughan [2009-07-12 21:16:29] 525*2^703172-1 is not prime. Res64: FA58234E12FA16E0 Time : 4537.0 sec. user=vaughan [2009-07-12 21:19:48] 563*2^703172-1 is not prime. Res64: 086AFF3AFA612572 Time : 4573.0 sec. user=vaughan [2009-07-12 21:24:04] 579*2^703172-1 is not prime. Res64: 53021F43430CB685 Time : 4536.0 sec. user=vaughan [2009-07-12 21:27:26] 599*2^703172-1 is not prime. Res64: D8E98036B1A252C0 Time : 4573.0 sec. user=vaughan [2009-07-12 21:31:39] 417*2^703173-1 is not prime. Res64: 7A5701424834E5D3 Time : 4540.0 sec. user=vaughan [2009-07-12 21:35:02] 439*2^703173-1 is not prime. Res64: 5AB812411E666242 Time : 4571.0 sec. user=vaughan [2009-07-12 21:39:13] 481*2^703173-1 is not prime. Res64: 1460B2A8F0EFF8CE Time : 4541.0 sec. user=vaughan [2009-07-12 21:42:38] 517*2^703173-1 is not prime. Res64: 581EB72ECA1D3CFC Time : 4568.0 sec. user=vaughan [2009-07-12 21:46:46] 549*2^703173-1 is not prime. Res64: DAF5BAA840174365 Time : 4540.0 sec. user=vaughan [2009-07-12 21:50:15] 413*2^703174-1 is not prime. Res64: A8F4DA8E58ACA70A Time : 4567.0 sec. user=vaughan [2009-07-12 21:54:20] 453*2^703174-1 is not prime. Res64: 2AC8EE0625E0CC22 Time : 4540.0 sec. user=vaughan [2009-07-12 21:57:52] 495*2^703174-1 is not prime. Res64: 14951C138FBE8B2B Time : 4567.0 sec. user=vaughan [2009-07-12 22:01:54] 527*2^703174-1 is not prime. Res64: 9F0C8DEF670FE1DA Time : 4540.0 sec. user=vaughan [2009-07-12 22:05:30] 561*2^703174-1 is not prime. Res64: A2DDBD9ED8B43033 Time : 4568.0 sec. user=vaughan [2009-07-12 22:09:28] 423*2^703175-1 is not prime. Res64: 6684C26F3D642D0B Time : 4540.0 sec. user=vaughan [2009-07-12 22:13:06] 433*2^703175-1 is not prime. Res64: 8DE166F97F4A0292 Time : 4568.0 sec. user=vaughan [2009-07-12 22:17:02] 441*2^703175-1 is not prime. Res64: 3116102254946C97 Time : 4540.0 sec. user=vaughan [2009-07-12 22:20:45] 463*2^703175-1 is not prime. Res64: 6AB1016261DB7870 Time : 4570.0 sec. user=vaughan [2009-07-12 22:24:36] 511*2^703175-1 is not prime. Res64: 035D48C9BFDA864A Time : 4540.0 sec. user=vaughan [2009-07-12 22:28:25] 519*2^703175-1 is not prime. Res64: 5BBE0292FDF48CD0 Time : 4573.0 sec. user=vaughan [2009-07-12 22:32:09] 579*2^703175-1 is not prime. Res64: EBB26D313C604A21 Time : 4540.0 sec. user=vaughan [2009-07-12 22:36:03] 425*2^703176-1 is not prime. Res64: 40B2EB6584D8BED9 Time : 4575.0 sec. user=vaughan [2009-07-12 22:39:43] 437*2^703176-1 is not prime. Res64: 05F408352B28431F Time : 4539.0 sec. user=vaughan [2009-07-12 22:43:42] 557*2^703176-1 is not prime. Res64: D8562E9B72F1C6B8 Time : 4576.0 sec. user=vaughan [2009-07-12 22:47:17] 585*2^703176-1 is not prime. Res64: 86FC42A5C0525517 Time : 4539.0 sec. user=vaughan [2009-07-12 22:51:21] 589*2^703177-1 is not prime. Res64: 2F623A018BCCB2A7 Time : 4579.0 sec. user=vaughan [2009-07-12 22:54:50] 437*2^703178-1 is not prime. Res64: C06DD23385332BA0 Time : 4537.0 sec. user=vaughan [2009-07-12 22:58:59] 447*2^703178-1 is not prime. Res64: F687DF648139D1CB Time : 4581.0 sec. user=vaughan [2009-07-12 23:02:25] 561*2^703178-1 is not prime. Res64: EAD3B06E3F0F2492 Time : 4539.0 sec. user=vaughan [2009-07-12 23:06:37] 563*2^703178-1 is not prime. Res64: B716EFB2FCC91AA3 Time : 4582.0 sec. user=vaughan [2009-07-12 23:09:58] 451*2^703179-1 is not prime. Res64: 7F9093CCBF70E4ED Time : 4538.0 sec. user=vaughan [2009-07-12 23:14:13] 465*2^703179-1 is not prime. Res64: 5E7D8F77AD4DC210 Time : 4582.0 sec. user=vaughan [2009-07-12 23:17:32] 437*2^703180-1 is not prime. Res64: 28A6134264C81749 Time : 4538.0 sec. user=vaughan [2009-07-12 23:21:51] 513*2^703180-1 is not prime. Res64: 72E3B74CCE760320 Time : 4581.0 sec. user=vaughan [2009-07-12 23:25:06] 519*2^703180-1 is not prime. Res64: 14650DB8C15CAFC6 Time : 4538.0 sec. user=vaughan [2009-07-12 23:29:29] 597*2^703180-1 is not prime. Res64: 5A478CF57A0648A7 Time : 4583.0 sec. user=vaughan [2009-07-12 23:32:41] 405*2^703181-1 is not prime. Res64: EA384E2A86AC63B3 Time : 4540.0 sec. user=vaughan [2009-07-12 23:37:08] 445*2^703181-1 is not prime. Res64: 62F1BA67FA5327AB Time : 4583.0 sec. user=vaughan [2009-07-12 23:40:13] 465*2^703181-1 is not prime. Res64: E8F05CEE905D6554 Time : 4537.0 sec. user=vaughan [2009-07-12 23:44:49] 475*2^703181-1 is not prime. Res64: 45CFA42BD4CF8FB0 Time : 4584.0 sec. user=vaughan [2009-07-12 23:47:44] 507*2^703181-1 is not prime. Res64: 7F222A22248ED86B Time : 4535.0 sec. user=vaughan [2009-07-12 23:52:30] 547*2^703181-1 is not prime. Res64: E760AE15723D82C2 Time : 4587.0 sec. user=vaughan [2009-07-12 23:55:17] 417*2^703182-1 is not prime. Res64: 11C2C05CEBE7AEA0 Time : 4534.0 sec.