user=vaughan [2012-04-24 00:05:21] 481*2^1131209-1 is not prime. Res64: F68CC881F39619AF Time : 0.0 sec. user=vaughan [2012-04-24 00:05:22] 495*2^1131209-1 is not prime. Res64: C1C9EC393D65265A Time : 0.0 sec. user=vaughan [2012-04-24 00:07:54] 511*2^1131209-1 is not prime. Res64: 50A31AB61112FCE9 Time : 0.0 sec. user=vaughan [2012-04-24 00:07:56] 567*2^1131209-1 is not prime. Res64: 5DA6B7F48E317B56 Time : 0.0 sec. user=vaughan [2012-04-24 00:14:08] 405*2^1131211-1 is not prime. Res64: B45BE4C1D3DA51BE Time : 0.0 sec. user=vaughan [2012-04-24 00:14:26] 483*2^1131211-1 is not prime. Res64: 2DC6F655F1624995 Time : 0.0 sec. user=vaughan [2012-04-24 00:14:27] 489*2^1131211-1 is not prime. Res64: 73C0A273CBF30950 Time : 0.0 sec. user=vaughan [2012-04-24 00:14:33] 573*2^1131212-1 is not prime. Res64: B7F9274394A5672B Time : 0.0 sec. user=vaughan [2012-04-24 00:17:57] 483*2^1131210-1 is not prime. Res64: 49CF448797FE16CD Time : 0.0 sec. user=vaughan [2012-04-24 00:17:58] 503*2^1131210-1 is not prime. Res64: 67B602A0DE429501 Time : 0.0 sec. user=vaughan [2012-04-24 00:19:24] 445*2^1131213-1 is not prime. Res64: 28FABEB4BE9661A4 Time : 0.0 sec. user=vaughan [2012-04-24 00:19:25] 457*2^1131213-1 is not prime. Res64: 2E8EFA30B9C47901 Time : 0.0 sec. user=vaughan [2012-04-24 00:25:30] 507*2^1131213-1 is not prime. Res64: 20CE2C49715F28B0 Time : 0.0 sec. user=vaughan [2012-04-24 00:25:30] 447*2^1131214-1 is not prime. Res64: 014E18B0117D399A Time : 0.0 sec. user=vaughan [2012-04-24 00:28:11] 573*2^1131214-1 is not prime. Res64: EB4238886434791B Time : 0.0 sec. user=vaughan [2012-04-24 00:28:12] 585*2^1131215-1 is not prime. Res64: E4CF6E350DE6E6B1 Time : 0.0 sec. user=vaughan [2012-04-24 00:29:52] 503*2^1131216-1 is not prime. Res64: 0E76ECDF3FB05D17 Time : 0.0 sec. user=vaughan [2012-04-24 00:30:08] 429*2^1131217-1 is not prime. Res64: 58CFC8BEC68C3237 Time : 0.0 sec. user=vaughan [2012-04-24 00:30:13] 441*2^1131217-1 is not prime. Res64: 9AEDC6C3D6A032F4 Time : 0.0 sec. user=vaughan [2012-04-24 00:30:17] 499*2^1131217-1 is not prime. Res64: B8EBEEFE194AF0FF Time : 0.0 sec. user=vaughan [2012-04-24 00:31:14] 595*2^1131215-1 is not prime. Res64: 9BE006308E6BB207 Time : 0.0 sec. user=marco.bs [2012-04-24 00:36:15] 503*2^1131156-1 is not prime. Res64: E57EE704A9393247 Time : 0.0 sec. user=vaughan [2012-04-24 00:38:09] 415*2^1131219-1 is not prime. Res64: B7B2FAD405771360 Time : 0.0 sec. user=vaughan [2012-04-24 00:38:10] 451*2^1131219-1 is not prime. Res64: 0C1473B2698D693D Time : 0.0 sec. user=vaughan [2012-04-24 00:39:34] 405*2^1131220-1 is not prime. Res64: 94F5A7F769835E4A Time : 0.0 sec. user=vaughan [2012-04-24 00:39:35] 455*2^1131220-1 is not prime. Res64: 6165C823D6AD2EE2 Time : 0.0 sec. user=vaughan [2012-04-24 00:45:29] 421*2^1131221-1 is not prime. Res64: 8CF3CF5C5576F2DC Time : 0.0 sec. user=vaughan [2012-04-24 00:45:40] 483*2^1131220-1 is not prime. Res64: EF86575B33B3C748 Time : 0.0 sec. user=vaughan [2012-04-24 00:45:41] 513*2^1131220-1 is not prime. Res64: 08409E37D9EBE4A2 Time : 0.0 sec. user=vaughan [2012-04-24 00:45:47] 459*2^1131221-1 is not prime. Res64: A592C64A6FA3883B Time : 0.0 sec. user=vaughan [2012-04-24 00:45:51] 517*2^1131221-1 is not prime. Res64: EC2642A6B6109926 Time : 0.0 sec. user=vaughan [2012-04-24 00:45:55] 561*2^1131221-1 is not prime. Res64: A3484A0E09968EAF Time : 0.0 sec. user=vaughan [2012-04-24 00:48:25] 545*2^1131220-1 is not prime. Res64: FA46067FB9684643 Time : 0.0 sec. user=vaughan [2012-04-24 00:48:26] 411*2^1131221-1 is not prime. Res64: 5A2B8663E3839DE1 Time : 0.0 sec. user=vaughan [2012-04-24 00:58:16] 447*2^1131222-1 is not prime. Res64: 1AF4DBB260EA7FF1 Time : 0.0 sec. user=vaughan [2012-04-24 00:58:17] 495*2^1131222-1 is not prime. Res64: 3D41BD932F1611B0 Time : 0.0 sec. user=vaughan [2012-04-24 00:59:41] 563*2^1131222-1 is not prime. Res64: 5C1C5D895255EC9D Time : 0.0 sec. user=vaughan [2012-04-24 00:59:41] 581*2^1131222-1 is not prime. Res64: 0327B072D04C4A1B Time : 0.0 sec. user=vaughan [2012-04-24 01:01:09] 411*2^1131223-1 is not prime. Res64: 3D2AEEC9E33B7FF4 Time : 0.0 sec. user=vaughan [2012-04-24 01:01:27] 561*2^1131223-1 is not prime. Res64: 0BDD1223A18F2A36 Time : 0.0 sec. user=vaughan [2012-04-24 01:01:29] 425*2^1131224-1 is not prime. Res64: 56BA93F460DEE5C3 Time : 0.0 sec. user=vaughan [2012-04-24 01:01:34] 483*2^1131224-1 is not prime. Res64: C0B1D865DEFDAE10 Time : 0.0 sec. user=vaughan [2012-04-24 01:05:55] 451*2^1131223-1 is not prime. Res64: 610528D1D38B142C Time : 0.0 sec. user=vaughan [2012-04-24 01:05:58] 463*2^1131223-1 is not prime. Res64: 18BD2FF6BEDA959E Time : 0.0 sec. user=vaughan [2012-04-24 01:08:38] 507*2^1131224-1 is not prime. Res64: DA17021B9907B657 Time : 0.0 sec. user=vaughan [2012-04-24 01:08:40] 429*2^1131225-1 is not prime. Res64: C8D319B4935BF485 Time : 0.0 sec. user=vaughan [2012-04-24 01:16:49] 453*2^1131227-1 is not prime. Res64: FA3DAC4F6BB5ED16 Time : 0.0 sec. user=vaughan [2012-04-24 01:17:07] 511*2^1131227-1 is not prime. Res64: A67B6552880B2EAC Time : 0.0 sec. user=vaughan [2012-04-24 01:17:09] 465*2^1131227-1 is not prime. Res64: 7488EA97340FC1E9 Time : 0.0 sec. user=vaughan [2012-04-24 01:17:14] 571*2^1131227-1 is not prime. Res64: 69C167BFB9F568ED Time : 0.0 sec. user=vaughan [2012-04-24 01:18:23] 443*2^1131226-1 is not prime. Res64: F4CC5FDC7BEE70B2 Time : 0.0 sec. user=vaughan [2012-04-24 01:18:24] 471*2^1131226-1 is not prime. Res64: C5B3093C6A0C4B68 Time : 0.0 sec. user=vaughan [2012-04-24 01:19:48] 513*2^1131226-1 is not prime. Res64: 224C8AA7B09C78CF Time : 0.0 sec. user=vaughan [2012-04-24 01:19:49] 573*2^1131226-1 is not prime. Res64: 2810CB73BD2AD073 Time : 0.0 sec. user=vaughan [2012-04-24 01:24:35] 525*2^1131230-1 is not prime. Res64: B364BDAE32406BD4 Time : 0.0 sec. user=vaughan [2012-04-24 01:26:14] 573*2^1131227-1 is not prime. Res64: A2AB082712A9E54E Time : 0.0 sec. user=vaughan [2012-04-24 01:26:15] 503*2^1131228-1 is not prime. Res64: 890186952324B770 Time : 0.0 sec. user=vaughan [2012-04-24 01:28:51] 525*2^1131228-1 is not prime. Res64: 64CE82662134B156 Time : 0.0 sec. user=vaughan [2012-04-24 01:28:52] 563*2^1131228-1 is not prime. Res64: 75CC75E367CAFE75 Time : 0.0 sec. user=vaughan [2012-04-24 01:32:29] 557*2^1131230-1 is not prime. Res64: F320F63DCA9BA283 Time : 0.0 sec. user=vaughan [2012-04-24 01:32:39] 499*2^1131229-1 is not prime. Res64: 3B69816A955653BE Time : 0.0 sec. user=vaughan [2012-04-24 01:32:46] 593*2^1131230-1 is not prime. Res64: B4AE2FC89E60E693 Time : 0.0 sec. user=vaughan [2012-04-24 01:32:52] 405*2^1131231-1 is not prime. Res64: 188A697AAA74EA82 Time : 0.0 sec. user=vaughan [2012-04-24 01:32:54] 439*2^1131231-1 is not prime. Res64: 9FE0B1DD679A9980 Time : 0.0 sec. user=vaughan [2012-04-24 01:35:49] 435*2^1131229-1 is not prime. Res64: 5414615648482AB7 Time : 0.0 sec. user=vaughan [2012-04-24 01:35:56] 481*2^1131229-1 is not prime. Res64: 621ACF43ACABD2B1 Time : 0.0 sec. user=vaughan [2012-04-24 01:38:32] 483*2^1131231-1 is not prime. Res64: 4AE11F78EF178A5B Time : 0.0 sec. user=vaughan [2012-04-24 01:38:33] 549*2^1131231-1 is not prime. Res64: 144A712E48D2FB2F Time : 0.0 sec. user=vaughan [2012-04-24 01:39:57] 559*2^1131231-1 is not prime. Res64: 913F443FEF9FD4E3 Time : 0.0 sec. user=vaughan [2012-04-24 01:39:58] 595*2^1131231-1 is not prime. Res64: 2D578FAFA13CA14E Time : 0.0 sec. user=vaughan [2012-04-24 01:46:24] 435*2^1131232-1 is not prime. Res64: 4C9EDD5C7043D12E Time : 0.0 sec. user=vaughan [2012-04-24 01:46:25] 447*2^1131232-1 is not prime. Res64: F0BC2E15476768C4 Time : 0.0 sec. user=vaughan [2012-04-24 01:48:13] 547*2^1131233-1 is not prime. Res64: E1B3A6962768A447 Time : 0.0 sec. user=vaughan [2012-04-24 01:48:30] 567*2^1131233-1 is not prime. Res64: AE3A520EE7C27181 Time : 0.0 sec. user=vaughan [2012-04-24 01:48:31] 595*2^1131233-1 is not prime. Res64: AE0FCA42993B0783 Time : 0.0 sec. user=vaughan [2012-04-24 01:48:37] 443*2^1131234-1 is not prime. Res64: 25C1B17BC7E2E816 Time : 0.0 sec. user=vaughan [2012-04-24 01:48:53] 487*2^1131233-1 is not prime. Res64: 7A1759B805816F9B Time : 0.0 sec. user=vaughan [2012-04-24 01:48:54] 489*2^1131233-1 is not prime. Res64: B8E8E9740D2DAFFD Time : 0.0 sec. user=juhehe [2012-04-24 01:55:24] 407*2^1131230-1 is not prime. Res64: EACD983C6D3D7201 Time : 0.0 sec. user=vaughan [2012-04-24 01:58:39] 453*2^1131234-1 is not prime. Res64: 0788BFD63413E885 Time : 0.0 sec. user=vaughan [2012-04-24 01:58:40] 495*2^1131234-1 is not prime. Res64: 38BA56F5367E6701 Time : 0.0 sec. user=vaughan [2012-04-24 02:00:04] 563*2^1131234-1 is not prime. Res64: 42AE180EFC56627B Time : 0.0 sec. user=vaughan [2012-04-24 02:00:05] 587*2^1131234-1 is not prime. Res64: 9FA045F32AF219F8 Time : 0.0 sec. user=vaughan [2012-04-24 02:03:54] 493*2^1131235-1 is not prime. Res64: 3FE01EC7F384C2AD Time : 0.0 sec. user=vaughan [2012-04-24 02:04:08] 519*2^1131235-1 is not prime. Res64: 918ECD096B2FF700 Time : 0.0 sec. user=vaughan [2012-04-24 02:04:10] 499*2^1131235-1 is not prime. Res64: D18B6448875397CA Time : 0.0 sec. user=vaughan [2012-04-24 02:04:13] 465*2^1131236-1 is not prime. Res64: 3292E437A92065B4 Time : 0.0 sec. user=vaughan [2012-04-24 02:06:31] 421*2^1131235-1 is not prime. Res64: 713B8A747A47616A Time : 0.0 sec. user=vaughan [2012-04-24 02:06:33] 465*2^1131235-1 is not prime. Res64: 5EA8EDEA06D7345F Time : 0.0 sec. user=vaughan [2012-04-24 02:08:59] 539*2^1131236-1 is not prime. Res64: EE523143BDBDDC1B Time : 0.0 sec. user=vaughan [2012-04-24 02:09:02] 409*2^1131237-1 is not prime. Res64: FA8E61BEE5DE43E4 Time : 0.0 sec. user=vaughan [2012-04-24 02:18:40] 429*2^1131237-1 is not prime. Res64: 170731A4C96BA491 Time : 0.0 sec. user=vaughan [2012-04-24 02:18:41] 471*2^1131237-1 is not prime. Res64: 7C07F874DDC02359 Time : 0.0 sec. user=vaughan [2012-04-24 02:19:34] 483*2^1131238-1 is not prime. Res64: 9B1C772CF477777D Time : 0.0 sec. user=vaughan [2012-04-24 02:19:50] 513*2^1131238-1 is not prime. Res64: 47B6772EFB012699 Time : 0.0 sec. user=vaughan [2012-04-24 02:19:54] 435*2^1131239-1 is not prime. Res64: B4015D5DF3F372D5 Time : 0.0 sec. user=vaughan [2012-04-24 02:19:55] 465*2^1131239-1 is not prime. Res64: 4354542EB2CDD285 Time : 0.0 sec. user=vaughan [2012-04-24 02:20:09] 549*2^1131237-1 is not prime. Res64: 53540710D82CA947 Time : 0.0 sec. user=vaughan [2012-04-24 02:20:10] 453*2^1131238-1 is not prime. Res64: 47E4978CA3FE4C34 Time : 0.0 sec. user=vaughan [2012-04-24 02:26:52] 579*2^1131239-1 is not prime. Res64: EBE7EEF4FD9BC51A Time : 0.0 sec. user=vaughan [2012-04-24 02:26:52] 455*2^1131240-1 is not prime. Res64: BE2C2391A000529E Time : 0.0 sec. user=vaughan [2012-04-24 02:28:59] 543*2^1131240-1 is not prime. Res64: 0C98B435B56A397C Time : 0.0 sec. user=vaughan [2012-04-24 02:29:20] 459*2^1131240-1 is not prime. Res64: C8620075C2FC46A4 Time : 0.0 sec. user=vaughan [2012-04-24 02:29:21] 515*2^1131240-1 is not prime. Res64: 37082AD05A304681 Time : 0.0 sec. user=vaughan [2012-04-24 02:29:50] 569*2^1131240-1 is not prime. Res64: 61ECD2C3539AB839 Time : 0.0 sec. user=vaughan [2012-04-24 02:35:17] 477*2^1131241-1 is not prime. Res64: CF3FB081F6D8E688 Time : 0.0 sec. user=vaughan [2012-04-24 02:35:31] 517*2^1131241-1 is not prime. Res64: 2615C601758CDF56 Time : 0.0 sec. user=vaughan [2012-04-24 02:35:31] 531*2^1131241-1 is not prime. Res64: 64A64E3B0E1338A0 Time : 0.0 sec. user=vaughan [2012-04-24 02:35:35] 525*2^1131241-1 is not prime. Res64: 0DD5E2A73292EA52 Time : 0.0 sec. user=vaughan [2012-04-24 02:38:39] 421*2^1131241-1 is not prime. Res64: 81271D9131EBA594 Time : 0.0 sec. user=vaughan [2012-04-24 02:38:41] 447*2^1131241-1 is not prime. Res64: 885ACDFD676BD8F7 Time : 0.0 sec. user=vaughan [2012-04-24 02:40:14] 535*2^1131241-1 is not prime. Res64: 05D716A7B5B5E03A Time : 0.0 sec. user=vaughan [2012-04-24 02:40:16] 407*2^1131242-1 is not prime. Res64: 5B09F9BFC66115DD Time : 0.0 sec. user=vaughan [2012-04-24 02:47:03] 461*2^1131242-1 is not prime. Res64: F5B1079987B44734 Time : 0.0 sec. user=vaughan [2012-04-24 02:47:04] 467*2^1131242-1 is not prime. Res64: CC6930AB8D30A53B Time : 0.0 sec. user=vaughan [2012-04-24 02:49:32] 477*2^1131242-1 is not prime. Res64: 7276F73101FA93C8 Time : 0.0 sec. user=vaughan [2012-04-24 02:49:33] 459*2^1131243-1 is not prime. Res64: 0A2DB2E2E768DCDD Time : 0.0 sec. user=vaughan [2012-04-24 02:50:56] 419*2^1131244-1 is not prime. Res64: 23B0AB9D78CB17B3 Time : 0.0 sec. user=vaughan [2012-04-24 02:51:10] 447*2^1131244-1 is not prime. Res64: C998EC700E2406AB Time : 0.0 sec. user=vaughan [2012-04-24 02:51:11] 489*2^1131244-1 is not prime. Res64: B1975EBFB112E330 Time : 0.0 sec. user=vaughan [2012-04-24 02:51:12] 545*2^1131244-1 is not prime. Res64: 362149B437E23347 Time : 0.0 sec. user=vaughan [2012-04-24 02:58:43] 445*2^1131245-1 is not prime. Res64: 6DAFD4260FA7CECD Time : 0.0 sec. user=vaughan [2012-04-24 02:58:43] 517*2^1131245-1 is not prime. Res64: D8420D5D0D13C442 Time : 0.0 sec. user=vaughan [2012-04-24 03:00:25] 525*2^1131245-1 is not prime. Res64: 675E6618DD2CAF5B Time : 0.0 sec. user=vaughan [2012-04-24 03:00:26] 425*2^1131246-1 is not prime. Res64: 9280409C0C16C0A4 Time : 0.0 sec. user=vaughan [2012-04-24 03:06:37] 429*2^1131247-1 is not prime. Res64: 3FA33C5AF64CE5DA Time : 0.0 sec. user=vaughan [2012-04-24 03:06:46] 465*2^1131247-1 is not prime. Res64: 7A62CC33343A8AA9 Time : 0.0 sec. user=vaughan [2012-04-24 03:06:48] 433*2^1131247-1 is not prime. Res64: C48064996EEEBE4C Time : 0.0 sec. user=vaughan [2012-04-24 03:06:50] 579*2^1131247-1 is not prime. Res64: 7C447196F4967FB1 Time : 0.0 sec. user=vaughan [2012-04-24 03:07:06] 503*2^1131246-1 is not prime. Res64: 70640BC7C1E058B0 Time : 0.0 sec. user=vaughan [2012-04-24 03:07:09] 507*2^1131246-1 is not prime. Res64: 2D2CB4A548EEFE5F Time : 0.0 sec. user=vaughan [2012-04-24 03:09:47] 513*2^1131246-1 is not prime. Res64: A98511B7F6C38BCF Time : 0.0 sec. user=vaughan [2012-04-24 03:09:52] 573*2^1131246-1 is not prime. Res64: 04EA5E39A2D2E34F Time : 0.0 sec. user=vaughan [2012-04-24 03:18:56] 473*2^1131248-1 is not prime. Res64: 9CF21B3DF1068B5B Time : 0.0 sec. user=vaughan [2012-04-24 03:18:57] 479*2^1131248-1 is not prime. Res64: 91817AF08639E820 Time : 0.0 sec. user=vaughan [2012-04-24 03:20:43] 439*2^1131249-1 is not prime. Res64: 7E5F4D1299B7935D Time : 0.0 sec. user=vaughan [2012-04-24 03:20:44] 471*2^1131249-1 is not prime. Res64: F7D23208A56A0AD2 Time : 0.0 sec. user=vaughan [2012-04-24 03:22:18] 413*2^1131250-1 is not prime. Res64: 8F4E79172F0015A3 Time : 0.0 sec. user=vaughan [2012-04-24 03:22:36] 423*2^1131250-1 is not prime. Res64: 6497F12C52D5357A Time : 0.0 sec. user=vaughan [2012-04-24 03:22:38] 453*2^1131250-1 is not prime. Res64: 040349931C1428E9 Time : 0.0 sec. user=vaughan [2012-04-24 03:22:38] 425*2^1131250-1 is not prime. Res64: D2F1171FEC99C386 Time : 0.0 sec. user=vaughan [2012-04-24 03:27:23] 461*2^1131250-1 is not prime. Res64: EB919EAAC0654982 Time : 0.0 sec. user=vaughan [2012-04-24 03:27:24] 513*2^1131250-1 is not prime. Res64: DB46AEBFA271DE9F Time : 0.0 sec. user=vaughan [2012-04-24 03:30:00] 441*2^1131251-1 is not prime. Res64: A735A3C364E45788 Time : 0.0 sec. user=vaughan [2012-04-24 03:30:00] 463*2^1131251-1 is not prime. Res64: 0CA04C395CFB3618 Time : 0.0 sec. user=vaughan [2012-04-24 03:30:17] 479*2^1131252-1 is not prime. Res64: 731CB64CB71F3A91 Time : 0.0 sec. user=gd_barnes [2012-04-24 03:36:03] 597*2^1131250-1 is not prime. Res64: 21295AC7433D5084 Time : 0.0 sec. user=vaughan [2012-04-24 03:37:58] 501*2^1131254-1 is not prime. Res64: 204DA1B0AAFB3120 Time : 0.0 sec. user=vaughan [2012-04-24 03:38:16] 503*2^1131254-1 is not prime. Res64: 000CC318D10835DC Time : 0.0 sec. user=vaughan [2012-04-24 03:38:19] 573*2^1131254-1 is not prime. Res64: 409305D78520C506 Time : 0.0 sec. user=vaughan [2012-04-24 03:38:19] 567*2^1131254-1 is not prime. Res64: 8015B48D6212638C Time : 0.0 sec. user=vaughan [2012-04-24 03:39:09] 497*2^1131252-1 is not prime. Res64: 17367F2D8B5C1094 Time : 0.0 sec. user=vaughan [2012-04-24 03:39:10] 513*2^1131252-1 is not prime. Res64: CE0834A47B1CF5A6 Time : 0.0 sec. user=vaughan [2012-04-24 03:40:55] 549*2^1131252-1 is not prime. Res64: E0846D5132F9A118 Time : 0.0 sec. user=vaughan [2012-04-24 03:40:56] 435*2^1131253-1 is not prime. Res64: B1C7003BEAFF2178 Time : 0.0 sec. user=vaughan [2012-04-24 03:47:32] 405*2^1131255-1 is not prime. Res64: 293D50045560974F Time : 0.0 sec. user=vaughan [2012-04-24 03:47:33] 465*2^1131255-1 is not prime. Res64: ED71C76893C9D4A9 Time : 0.0 sec. user=vaughan [2012-04-24 03:50:15] 429*2^1131256-1 is not prime. Res64: 1C8C1C03C54F8E73 Time : 0.0 sec. user=vaughan [2012-04-24 03:50:15] 435*2^1131256-1 is not prime. Res64: 9B3A25BA14EFE5A6 Time : 0.0 sec. user=vaughan [2012-04-24 03:53:38] 507*2^1131256-1 is not prime. Res64: BC48B68396FF95A7 Time : 0.0 sec. user=vaughan [2012-04-24 03:54:01] 567*2^1131256-1 is not prime. Res64: C708D962E9A69304 Time : 0.0 sec. user=vaughan [2012-04-24 03:54:02] 563*2^1131256-1 is not prime. Res64: 3C50B76D0916EF78 Time : 0.0 sec. user=vaughan [2012-04-24 03:54:08] 517*2^1131257-1 is not prime. Res64: 7DBD5AC0CC7A3DA1 Time : 0.0 sec. user=vaughan [2012-04-24 03:59:19] 431*2^1131258-1 is not prime. Res64: B3A896B981310115 Time : 0.0 sec. user=vaughan [2012-04-24 03:59:20] 567*2^1131258-1 is not prime. Res64: 610C86DE47AF7BDF Time : 0.0 sec. user=vaughan [2012-04-24 04:01:06] 411*2^1131259-1 is not prime. Res64: D4E56659641027EB Time : 0.0 sec. user=vaughan [2012-04-24 04:01:07] 429*2^1131259-1 is not prime. Res64: DC3045888ABEF4E6 Time : 0.0 sec. user=vaughan [2012-04-24 04:07:42] 537*2^1131260-1 is not prime. Res64: 725E646003B437DA Time : 0.0 sec. user=vaughan [2012-04-24 04:07:44] 539*2^1131260-1 is not prime. Res64: 7F0BCED7CC1B6D55 Time : 0.0 sec. user=vaughan [2012-04-24 04:09:27] 477*2^1131262-1 is not prime. Res64: BB52E12FA556A0AD Time : 0.0 sec. user=vaughan [2012-04-24 04:09:43] 433*2^1131263-1 is not prime. Res64: 9FED7D19D9E1CFA0 Time : 0.0 sec. user=vaughan [2012-04-24 04:09:49] 511*2^1131263-1 is not prime. Res64: 515322F9E80DDBD6 Time : 0.0 sec. user=vaughan [2012-04-24 04:09:54] 493*2^1131263-1 is not prime. Res64: 57537942A4CAFB7A Time : 0.0 sec. user=vaughan [2012-04-24 04:10:22] 487*2^1131261-1 is not prime. Res64: 0DA4A37F7C566558 Time : 0.0 sec. user=vaughan [2012-04-24 04:10:24] 495*2^1131261-1 is not prime. Res64: 47528AD6E0080AE0 Time : 0.0 sec. user=vaughan [2012-04-24 04:19:27] 525*2^1131263-1 is not prime. Res64: 75D518679A3C13CB Time : 0.0 sec. user=vaughan [2012-04-24 04:19:28] 565*2^1131263-1 is not prime. Res64: 3C9C1846BA6AB67C Time : 0.0 sec. user=vaughan [2012-04-24 04:21:17] 585*2^1131263-1 is not prime. Res64: B6416B6255B93364 Time : 0.0 sec. user=vaughan [2012-04-24 04:21:18] 459*2^1131264-1 is not prime. Res64: ADA910EF9A731109 Time : 0.0 sec. user=vaughan [2012-04-24 04:25:09] 503*2^1131266-1 is not prime. Res64: 482008EF83DD8D4A Time : 0.0 sec. user=vaughan [2012-04-24 04:25:28] 551*2^1131266-1 is not prime. Res64: 5359A935BD449E83 Time : 0.0 sec. user=vaughan [2012-04-24 04:25:31] 585*2^1131266-1 is not prime. Res64: 8FB8BA00F35A0242 Time : 0.0 sec. user=vaughan [2012-04-24 04:25:36] 451*2^1131267-1 is not prime. Res64: 130324E73F1FFAF7 Time : 0.0 sec. user=vaughan [2012-04-24 04:27:50] 555*2^1131264-1 is not prime. Res64: 82B3954861204A79 Time : 0.0 sec. user=vaughan [2012-04-24 04:27:51] 565*2^1131265-1 is not prime. Res64: 1843907AA61C5CC9 Time : 0.0 sec. user=vaughan [2012-04-24 04:30:42] 471*2^1131267-1 is not prime. Res64: 41FFA2DE6CEAE281 Time : 0.0 sec. user=vaughan [2012-04-24 04:30:43] 483*2^1131267-1 is not prime. Res64: 210885D98B3CAE6D Time : 0.0 sec. user=vaughan [2012-04-24 04:39:36] 489*2^1131267-1 is not prime. Res64: 7B63406CC591AD12 Time : 0.0 sec. user=vaughan [2012-04-24 04:39:37] 579*2^1131267-1 is not prime. Res64: 4F4A5C1756529B0B Time : 0.0 sec. user=vaughan [2012-04-24 04:40:54] 575*2^1131268-1 is not prime. Res64: 8F87261FD76198F8 Time : 0.0 sec. user=vaughan [2012-04-24 04:41:11] 579*2^1131268-1 is not prime. Res64: CE5A5E1D2A66FA42 Time : 0.0 sec. user=vaughan [2012-04-24 04:41:14] 447*2^1131269-1 is not prime. Res64: 1FECAC7B76D5E6B7 Time : 0.0 sec. user=vaughan [2012-04-24 04:41:15] 465*2^1131270-1 is not prime. Res64: 3B02E283D7650619 Time : 0.0 sec. user=vaughan [2012-04-24 04:41:27] 435*2^1131268-1 is not prime. Res64: 8E69753788B98B8A Time : 0.0 sec. user=vaughan [2012-04-24 04:41:28] 533*2^1131268-1 is not prime. Res64: 6DE670B427FC2757 Time : 0.0 sec. user=henryzz [2012-04-24 04:45:27] 443*2^1131148-1 is not prime. Res64: 234694A58DCCD9EA Time : 0.0 sec. user=vaughan [2012-04-24 04:48:04] 495*2^1131270-1 is not prime. Res64: 7AFABBE190941610 Time : 0.0 sec. user=vaughan [2012-04-24 04:48:05] 503*2^1131270-1 is not prime. Res64: 9330177E07D1F1E6 Time : 0.0 sec. user=vaughan [2012-04-24 04:50:54] 421*2^1131271-1 is not prime. Res64: 91FC497E9B06245A Time : 0.0 sec. user=vaughan [2012-04-24 04:50:55] 469*2^1131271-1 is not prime. Res64: C2CA27D27CF8E7B8 Time : 0.0 sec. user=henryzz [2012-04-24 04:54:12] 581*2^1131150-1 is not prime. Res64: E45D287F4BEF0A04 Time : 0.0 sec. user=vaughan [2012-04-24 04:56:34] 557*2^1131272-1 is not prime. Res64: 696CD5A1CB527D7A Time : 0.0 sec. user=vaughan [2012-04-24 04:56:51] 517*2^1131273-1 is not prime. Res64: 7CB3EC018B90793D Time : 0.0 sec. user=vaughan [2012-04-24 04:56:55] 481*2^1131275-1 is not prime. Res64: 0C3935D814400B2C Time : 0.0 sec. user=vaughan [2012-04-24 04:56:57] 575*2^1131274-1 is not prime. Res64: F6D6EBA117A67230 Time : 0.0 sec. user=vaughan [2012-04-24 04:59:41] 531*2^1131271-1 is not prime. Res64: 0316360C55D182A5 Time : 0.0 sec. user=vaughan [2012-04-24 04:59:41] 561*2^1131271-1 is not prime. Res64: 9965970E38DC8C65 Time : 0.0 sec. user=vaughan [2012-04-24 05:01:32] 511*2^1131275-1 is not prime. Res64: 526BD8F1911FEEF2 Time : 0.0 sec. user=vaughan [2012-04-24 05:01:34] 529*2^1131275-1 is not prime. Res64: 224F687F34314D43 Time : 0.0 sec. user=vaughan [2012-04-24 05:08:19] 579*2^1131275-1 is not prime. Res64: 69AE30AFBFEC1E5E Time : 0.0 sec. user=vaughan [2012-04-24 05:08:20] 437*2^1131276-1 is not prime. Res64: 0941126373D4EC4F Time : 0.0 sec. user=marco.bs [2012-04-24 05:10:08] 577*2^1131221-1 is not prime. Res64: BDC25C966BCAED2D Time : 0.0 sec. user=henryzz [2012-04-24 05:10:43] 531*2^1131275-1 is not prime. Res64: DEC2470CDC2AFEAD Time : 0.0 sec. user=vaughan [2012-04-24 05:11:08] 503*2^1131276-1 is not prime. Res64: 53C72B54FF6AF051 Time : 0.0 sec. user=vaughan [2012-04-24 05:11:09] 587*2^1131276-1 is not prime. Res64: 1B81D3082F50450C Time : 0.0 sec. user=vaughan [2012-04-24 05:12:11] 465*2^1131277-1 is not prime. Res64: 923A1157AD3D726B Time : 0.0 sec. user=vaughan [2012-04-24 05:12:28] 531*2^1131277-1 is not prime. Res64: 06C05204F7F18692 Time : 0.0 sec. user=vaughan [2012-04-24 05:12:35] 549*2^1131277-1 is not prime. Res64: 201AEFF4FE39D579 Time : 0.0 sec. user=vaughan [2012-04-24 05:12:38] 537*2^1131277-1 is not prime. Res64: 720A246E679C9505 Time : 0.0 sec. user=henryzz [2012-04-24 05:17:14] 473*2^1131276-1 is not prime. Res64: 0DEAB3853F2C3A7E Time : 0.0 sec. user=henryzz [2012-04-24 05:18:07] 597*2^1131276-1 is not prime. Res64: 121D34FA9DC6113D Time : 0.0 sec. user=vaughan [2012-04-24 05:19:46] 507*2^1131278-1 is not prime. Res64: 6D8C3E0BB83AFF61 Time : 0.0 sec. user=vaughan [2012-04-24 05:19:46] 525*2^1131278-1 is not prime. Res64: 04BF4A5F12961556 Time : 0.0 sec. user=vaughan [2012-04-24 05:21:39] 585*2^1131278-1 is not prime. Res64: 1339857624329E8D Time : 0.0 sec. user=vaughan [2012-04-24 05:21:39] 565*2^1131279-1 is not prime. Res64: 584543C633233017 Time : 0.0 sec. user=henryzz [2012-04-24 05:23:08] 441*2^1131277-1 is not prime. Res64: 8DEE7354E263D544 Time : 0.0 sec. user=vaughan [2012-04-24 05:27:56] 577*2^1131281-1 is not prime. Res64: 9336383866DBA1AB Time : 0.0 sec. user=vaughan [2012-04-24 05:28:14] 555*2^1131283-1 is not prime. Res64: 03215445C83A3DB1 Time : 0.0 sec. user=vaughan [2012-04-24 05:28:24] 425*2^1131284-1 is not prime. Res64: DA998EE95397687A Time : 0.0 sec. user=vaughan [2012-04-24 05:28:24] 465*2^1131280-1 is not prime. Res64: FC0E85C41B5D6AF9 Time : 0.0 sec. user=vaughan [2012-04-24 05:28:25] 483*2^1131280-1 is not prime. Res64: 80548CFDE7E36B81 Time : 0.0 sec. user=vaughan [2012-04-24 05:28:26] 583*2^1131283-1 is not prime. Res64: EAE30C1D82CE1576 Time : 0.0 sec. user=vaughan [2012-04-24 05:31:21] 441*2^1131281-1 is not prime. Res64: 972EB8AEECC1E206 Time : 0.0 sec. user=vaughan [2012-04-24 05:31:22] 475*2^1131281-1 is not prime. Res64: 8ABEE8545D78C701 Time : 0.0 sec. user=gd_barnes [2012-04-24 05:35:42] 435*2^1131284-1 is not prime. Res64: 7CDC4E14A3EA367D Time : 0.0 sec. user=henryzz [2012-04-24 05:39:45] 563*2^1131280-1 is not prime. Res64: 480F9F582451B151 Time : 0.0 sec. user=vaughan [2012-04-24 05:39:55] 587*2^1131284-1 is not prime. Res64: DDAB052C109F1F4F Time : 0.0 sec. user=vaughan [2012-04-24 05:39:56] 447*2^1131285-1 is not prime. Res64: B192D84EC863B487 Time : 0.0 sec. user=vaughan [2012-04-24 05:41:49] 471*2^1131285-1 is not prime. Res64: C55B62F2235BF6E9 Time : 0.0 sec. user=vaughan [2012-04-24 05:41:50] 507*2^1131285-1 is not prime. Res64: 937031D8F253577F Time : 0.0 sec. user=henryzz [2012-04-24 05:43:15] 503*2^1131284-1 is not prime. Res64: 2E93560CD59B7F74 Time : 0.0 sec. user=vaughan [2012-04-24 05:43:49] 411*2^1131286-1 is not prime. Res64: D20BB5937F2FE240 Time : 0.0 sec. user=vaughan [2012-04-24 05:44:02] 447*2^1131286-1 is not prime. Res64: 6C6D65F345B9D82F Time : 0.0 sec. user=vaughan [2012-04-24 05:44:13] 489*2^1131287-1 is not prime. Res64: 1060C8D070A5F205 Time : 0.0 sec. user=vaughan [2012-04-24 05:44:16] 477*2^1131286-1 is not prime. Res64: 6CBDAD48CCA5A09D Time : 0.0 sec. user=henryzz [2012-04-24 05:45:00] 585*2^1131284-1 is not prime. Res64: C97AF05F0FB6F72D Time : 0.0 sec. user=vaughan [2012-04-24 05:48:37] 507*2^1131286-1 is not prime. Res64: 33EB69C27172B68F Time : 0.0 sec. user=vaughan [2012-04-24 05:48:37] 403*2^1131287-1 is not prime. Res64: 10FD8BB95559908F Time : 0.0 sec. user=henryzz [2012-04-24 05:50:33] 591*2^1131285-1 is not prime. Res64: CC680CF6D98D5180 Time : 0.0 sec. user=vaughan [2012-04-24 05:51:36] 493*2^1131287-1 is not prime. Res64: 282C986B04E63D1E Time : 0.0 sec. user=vaughan [2012-04-24 05:51:37] 501*2^1131287-1 is not prime. Res64: 9B9783EC1B2085C1 Time : 0.0 sec. user=marco.bs [2012-04-24 05:57:24] 513*2^1131280-1 is not prime. Res64: 5FF26234CFF93774 Time : 0.0 sec. user=vaughan [2012-04-24 05:59:24] 407*2^1131290-1 is not prime. Res64: E6C5608B28AE3F05 Time : 0.0 sec. user=vaughan [2012-04-24 05:59:38] 521*2^1131290-1 is not prime. Res64: BD7F3CC3B6D6DDFE Time : 0.0 sec. user=vaughan [2012-04-24 05:59:48] 525*2^1131290-1 is not prime. Res64: 5E38B3D64675332F Time : 0.0 sec. user=vaughan [2012-04-24 05:59:52] 405*2^1131291-1 is not prime. Res64: 5AB65ECCED793BC4 Time : 0.0 sec. user=vaughan [2012-04-24 06:00:07] 423*2^1131288-1 is not prime. Res64: F3101753E07E21DA Time : 0.0 sec. user=vaughan [2012-04-24 06:00:10] 453*2^1131288-1 is not prime. Res64: 462F4725B208DD80 Time : 0.0 sec. user=vaughan [2012-04-24 06:01:58] 525*2^1131288-1 is not prime. Res64: 03F8DB576081ABF2 Time : 0.0 sec. user=vaughan [2012-04-24 06:01:59] 465*2^1131289-1 is not prime. Res64: B44C83D30763FC65 Time : 0.0 sec. user=henryzz [2012-04-24 06:04:36] 553*2^1131287-1 is not prime. Res64: 28E9CF7229C611BF Time : 0.0 sec. user=henryzz [2012-04-24 06:07:58] 595*2^1131289-1 is not prime. Res64: 9E3E3D9440D623F5 Time : 0.0 sec. user=vaughan [2012-04-24 06:08:47] 469*2^1131291-1 is not prime. Res64: 5256DA00210C5B20 Time : 0.0 sec. user=vaughan [2012-04-24 06:08:50] 539*2^1131292-1 is not prime. Res64: 72C3F2C8108CAAAE Time : 0.0 sec. user=henryzz [2012-04-24 06:09:21] 415*2^1131291-1 is not prime. Res64: F14A5297E912CB42 Time : 0.0 sec. user=vaughan [2012-04-24 06:11:48] 411*2^1131293-1 is not prime. Res64: A5FDFFDD70E650BD Time : 0.0 sec. user=vaughan [2012-04-24 06:11:50] 525*2^1131293-1 is not prime. Res64: 4CAAD87DB71F917D Time : 0.0 sec. user=vaughan [2012-04-24 06:15:10] 495*2^1131294-1 is not prime. Res64: 1097F2CEDBED6A56 Time : 0.0 sec. user=vaughan [2012-04-24 06:15:15] 433*2^1131295-1 is not prime. Res64: 038440A2EFA8A44D Time : 0.0 sec. user=vaughan [2012-04-24 06:15:29] 471*2^1131295-1 is not prime. Res64: DC27A31A6F09BAAC Time : 0.0 sec. user=vaughan [2012-04-24 06:15:33] 453*2^1131295-1 is not prime. Res64: 874C16FB1D7130A6 Time : 0.0 sec. user=vaughan [2012-04-24 06:19:45] 447*2^1131297-1 is not prime. Res64: D3292DE805FA00AD Time : 0.0 sec. user=vaughan [2012-04-24 06:20:22] 493*2^1131295-1 is not prime. Res64: B2BE06FBE3409190 Time : 0.0 sec. user=vaughan [2012-04-24 06:20:23] 523*2^1131295-1 is not prime. Res64: 03BEF2CD0C77F41C Time : 0.0 sec. user=vaughan [2012-04-24 06:22:08] 405*2^1131296-1 is not prime. Res64: 1FD9BAE7101CBBCC Time : 0.0 sec. user=vaughan [2012-04-24 06:22:09] 509*2^1131296-1 is not prime. Res64: A64C8B0CEF322FF9 Time : 0.0 sec. user=henryzz [2012-04-24 06:28:13] 441*2^1131297-1 is not prime. Res64: 947E862859F74A4D Time : 0.0 sec. user=vaughan [2012-04-24 06:29:04] 571*2^1131297-1 is not prime. Res64: 2B44446FA122A6C2 Time : 0.0 sec. user=vaughan [2012-04-24 06:29:04] 489*2^1131299-1 is not prime. Res64: 1D0F60E3DA96FD18 Time : 0.0 sec. user=vaughan [2012-04-24 06:30:55] 549*2^1131300-1 is not prime. Res64: 1B9E7309C6C022EF Time : 0.0 sec. user=vaughan [2012-04-24 06:30:56] 579*2^1131300-1 is not prime. Res64: 8EF6805973971F33 Time : 0.0 sec. user=vaughan [2012-04-24 06:31:13] 415*2^1131301-1 is not prime. Res64: 64D7C20B9687BF7F Time : 0.0 sec. user=vaughan [2012-04-24 06:31:13] 517*2^1131301-1 is not prime. Res64: 320EEB6DCE8EBE5B Time : 0.0 sec. user=vaughan [2012-04-24 06:32:02] 523*2^1131299-1 is not prime. Res64: 5D1D2630335D4232 Time : 0.0 sec. user=vaughan [2012-04-24 06:32:03] 453*2^1131300-1 is not prime. Res64: 51DFB9C18F9C96F7 Time : 0.0 sec. user=henryzz [2012-04-24 06:32:50] 505*2^1131299-1 is not prime. Res64: 1D8028F4F16F1628 Time : 0.0 sec. user=vaughan [2012-04-24 06:40:29] 549*2^1131301-1 is not prime. Res64: 73612A05EC8AD75F Time : 0.0 sec. user=vaughan [2012-04-24 06:40:30] 405*2^1131302-1 is not prime. Res64: 25AF214B2A47BBE3 Time : 0.0 sec. user=vaughan [2012-04-24 06:42:15] 503*2^1131302-1 is not prime. Res64: C58805CC79802719 Time : 0.0 sec. user=vaughan [2012-04-24 06:42:15] 563*2^1131302-1 is not prime. Res64: 68F0A06D92A56CC3 Time : 0.0 sec. user=marco.bs [2012-04-24 06:44:38] 567*2^1131293-1 is not prime. Res64: 61D113B226A520EA Time : 0.0 sec. user=vaughan [2012-04-24 06:44:53] 513*2^1131300-1 is not prime. Res64: 0C7B8D4AB4E2A23D Time : 0.0 sec. user=henryzz [2012-04-24 06:46:32] 489*2^1131303-1 is not prime. Res64: 47E05EFDD539C4D0 Time : 0.0 sec. user=vaughan [2012-04-24 06:46:34] 469*2^1131305-1 is not prime. Res64: FC9BF557B7B19A44 Time : 0.0 sec. user=vaughan [2012-04-24 06:46:38] 587*2^1131304-1 is not prime. Res64: 8797E1101D20599E Time : 0.0 sec. user=vaughan [2012-04-24 06:46:52] 487*2^1131305-1 is not prime. Res64: 82118DF6451DCF70 Time : 0.0 sec. user=vaughan [2012-04-24 06:46:55] 417*2^1131306-1 is not prime. Res64: C2BEAA1844119D66 Time : 0.0 sec. user=vaughan [2012-04-24 06:49:14] 573*2^1131303-1 is not prime. Res64: 52B278F6CE3081FD Time : 0.0 sec. user=vaughan [2012-04-24 06:49:16] 507*2^1131304-1 is not prime. Res64: C09239E89BDAEAD8 Time : 0.0 sec. user=vaughan [2012-04-24 06:52:09] 485*2^1131306-1 is not prime. Res64: D91C054281CDE8F9 Time : 0.0 sec. user=vaughan [2012-04-24 06:52:10] 585*2^1131306-1 is not prime. Res64: 9F0F0F20B5C4B2E0 Time : 0.0 sec. user=vaughan [2012-04-24 07:00:43] 453*2^1131307-1 is not prime. Res64: D4F0D38DBB22C239 Time : 0.0 sec. user=vaughan [2012-04-24 07:00:45] 489*2^1131307-1 is not prime. Res64: E6B4C3AAE8A4E04C Time : 0.0 sec. user=vaughan [2012-04-24 07:02:18] 589*2^1131307-1 is not prime. Res64: D0E65C142A86E7C9 Time : 0.0 sec. user=vaughan [2012-04-24 07:02:20] 425*2^1131308-1 is not prime. Res64: FBB2AB8FD39FDB12 Time : 0.0 sec. user=vaughan [2012-04-24 07:02:21] 493*2^1131307-1 is not prime. Res64: 39941CB1540CDEBD Time : 0.0 sec. user=vaughan [2012-04-24 07:02:22] 523*2^1131307-1 is not prime. Res64: 9B20F1D1C8B5B62F Time : 0.0 sec. user=vaughan [2012-04-24 07:02:37] 515*2^1131308-1 is not prime. Res64: 3FAD33FF361A6570 Time : 0.0 sec. user=vaughan [2012-04-24 07:02:41] 533*2^1131308-1 is not prime. Res64: EBF2CC3338D77968 Time : 0.0 sec. user=vaughan [2012-04-24 07:09:26] 573*2^1131308-1 is not prime. Res64: 27D48C13F1CC8131 Time : 0.0 sec. user=vaughan [2012-04-24 07:09:27] 549*2^1131309-1 is not prime. Res64: B3E560FF0A9C664E Time : 0.0 sec. user=vaughan [2012-04-24 07:12:20] 401*2^1131310-1 is not prime. Res64: E28BA88F54FF47C8 Time : 0.0 sec. user=vaughan [2012-04-24 07:12:23] 471*2^1131310-1 is not prime. Res64: 8050390A89701ED5 Time : 0.0 sec. user=henryzz [2012-04-24 07:13:24] 549*2^1131303-1 is not prime. Res64: F8DA5ACB9B7DBB59 Time : 0.0 sec. user=vaughan [2012-04-24 07:18:02] 593*2^1131310-1 is not prime. Res64: 31A81EA538D9AE21 Time : 0.0 sec. user=vaughan [2012-04-24 07:18:05] 591*2^1131310-1 is not prime. Res64: 6CE039E45DE71E61 Time : 0.0 sec. user=vaughan [2012-04-24 07:18:18] 437*2^1131312-1 is not prime. Res64: FF2F39540A252552 Time : 0.0 sec. user=vaughan [2012-04-24 07:18:22] 489*2^1131312-1 is not prime. Res64: 942DAC861264C0F7 Time : 0.0 sec. user=henryzz [2012-04-24 07:19:49] 527*2^1131310-1 is not prime. Res64: 116D8E8363B1F936 Time : 0.0 sec. user=vaughan [2012-04-24 07:20:54] 533*2^1131310-1 is not prime. Res64: 2FF9523D8E80E154 Time : 0.0 sec. user=vaughan [2012-04-24 07:20:54] 567*2^1131310-1 is not prime. Res64: A35C546B187C8860 Time : 0.0 sec. user=vaughan [2012-04-24 07:22:30] 403*2^1131311-1 is not prime. Res64: A628E16896978B90 Time : 0.0 sec. user=vaughan [2012-04-24 07:22:31] 505*2^1131311-1 is not prime. Res64: B110EF51CA4CCFBB Time : 0.0 sec. user=vaughan [2012-04-24 07:25:09] 427*2^1131313-1 is not prime. Res64: 162C5F8ABC3CF36A Time : 0.0 sec. user=vaughan [2012-04-24 07:29:44] 555*2^1131312-1 is not prime. Res64: 9E6079913228BDA4 Time : 0.0 sec. user=vaughan [2012-04-24 07:29:45] 411*2^1131313-1 is not prime. Res64: A844596E745DFF3B Time : 0.0 sec. user=marco.bs [2012-04-24 07:32:18] 549*2^1131307-1 is not prime. Res64: F1E562AF3A78DEC2 Time : 0.0 sec. user=vaughan [2012-04-24 07:32:33] 549*2^1131313-1 is not prime. Res64: 9052A8492EB61AC8 Time : 0.0 sec. user=vaughan [2012-04-24 07:32:34] 407*2^1131314-1 is not prime. Res64: 3260EB8D4E0B6234 Time : 0.0 sec. user=vaughan [2012-04-24 07:33:44] 425*2^1131314-1 is not prime. Res64: 81E27DDC1BB979CF Time : 0.0 sec. user=vaughan [2012-04-24 07:33:45] 585*2^1131314-1 is not prime. Res64: A5ABA45A04F8E4F7 Time : 0.0 sec. user=vaughan [2012-04-24 07:34:00] 409*2^1131315-1 is not prime. Res64: 10022A75C7D22B20 Time : 0.0 sec. user=vaughan [2012-04-24 07:34:00] 429*2^1131315-1 is not prime. Res64: A17186AB2F03A646 Time : 0.0 sec. user=vaughan [2012-04-24 07:41:03] 529*2^1131315-1 is not prime. Res64: DA1EC6C207DC3979 Time : 0.0 sec. user=vaughan [2012-04-24 07:41:04] 449*2^1131316-1 is not prime. Res64: 6313BEB7AE2DDEE0 Time : 0.0 sec. user=vaughan [2012-04-24 07:42:43] 495*2^1131316-1 is not prime. Res64: B33A5685E9B98240 Time : 0.0 sec. user=vaughan [2012-04-24 07:42:43] 525*2^1131316-1 is not prime. Res64: 0D75DA169F7A47F8 Time : 0.0 sec. user=vaughan [2012-04-24 07:49:22] 449*2^1131320-1 is not prime. Res64: 28DE7DA32E5DC8C8 Time : 0.0 sec. user=vaughan [2012-04-24 07:49:27] 455*2^1131320-1 is not prime. Res64: 43F9643D56968D6D Time : 0.0 sec. user=vaughan [2012-04-24 07:49:36] 465*2^1131320-1 is not prime. Res64: 02FC8AB8A2F81C9A Time : 0.0 sec. user=vaughan [2012-04-24 07:49:44] 599*2^1131320-1 is not prime. Res64: 972D2844F4E953CA Time : 0.0 sec. user=henryzz [2012-04-24 07:49:50] 433*2^1131315-1 is not prime. Res64: CA1ACFA3F75854F2 Time : 0.0 sec. user=vaughan [2012-04-24 07:49:51] 569*2^1131316-1 is not prime. Res64: 887918CF58B67022 Time : 0.0 sec. user=vaughan [2012-04-24 07:49:51] 529*2^1131317-1 is not prime. Res64: D5670920FCF99375 Time : 0.0 sec. user=henryzz [2012-04-24 07:49:52] 423*2^1131314-1 is not prime. Res64: B40661CFB6890DF6 Time : 0.0 sec. user=henryzz [2012-04-24 07:49:54] 545*2^1131316-1 is not prime. Res64: 9DE448073B361007 Time : 0.0 sec. user=vaughan [2012-04-24 07:52:41] 439*2^1131319-1 is not prime. Res64: 37E140EF63E1290E Time : 0.0 sec. user=vaughan [2012-04-24 07:52:42] 579*2^1131319-1 is not prime. Res64: C7A02CC42DCE4E59 Time : 0.0 sec. user=vaughan [2012-04-24 08:01:16] 409*2^1131321-1 is not prime. Res64: 85091443C29068C8 Time : 0.0 sec. user=vaughan [2012-04-24 08:01:18] 465*2^1131321-1 is not prime. Res64: 9AAC20B7CFD2453A Time : 0.0 sec. user=vaughan [2012-04-24 08:02:56] 469*2^1131321-1 is not prime. Res64: 1B2E3E632E09242B Time : 0.0 sec. user=vaughan [2012-04-24 08:02:57] 517*2^1131321-1 is not prime. Res64: 3ECADBF45A834CA4 Time : 0.0 sec. user=vaughan [2012-04-24 08:05:02] 535*2^1131321-1 is not prime. Res64: AD8235FBC8890FEB Time : 0.0 sec. user=vaughan [2012-04-24 08:05:11] 597*2^1131321-1 is not prime. Res64: D0EC61FC8152A189 Time : 0.0 sec. user=vaughan [2012-04-24 08:05:14] 467*2^1131322-1 is not prime. Res64: 379A63C52B5A4550 Time : 0.0 sec. user=vaughan [2012-04-24 08:05:27] 507*2^1131322-1 is not prime. Res64: E852A081E89647D7 Time : 0.0 sec. user=vaughan [2012-04-24 08:09:58] 581*2^1131322-1 is not prime. Res64: A4103052333F1D47 Time : 0.0 sec. user=vaughan [2012-04-24 08:10:00] 571*2^1131323-1 is not prime. Res64: 64FBC267F1C42531 Time : 0.0 sec. user=henryzz [2012-04-24 08:12:05] 497*2^1131324-1 is not prime. Res64: E1DCDBAE0EF943F0 Time : 0.0 sec. user=vaughan [2012-04-24 08:12:46] 569*2^1131324-1 is not prime. Res64: 464CFC9D62F26F11 Time : 0.0 sec. user=vaughan [2012-04-24 08:12:48] 597*2^1131324-1 is not prime. Res64: 70D093B41D84C968 Time : 0.0 sec. user=marco.bs [2012-04-24 08:19:09] 461*2^1131318-1 is not prime. Res64: 933E3A44115C3A01 Time : 0.0 sec. user=vaughan [2012-04-24 08:20:49] 549*2^1131328-1 is not prime. Res64: C4C289732147C2A2 Time : 0.0 sec. user=vaughan [2012-04-24 08:21:00] 525*2^1131329-1 is not prime. Res64: 8DF09503B522C16B Time : 0.0 sec. user=vaughan [2012-04-24 08:21:01] 559*2^1131329-1 is not prime. Res64: 52E86781C7D1B839 Time : 0.0 sec. user=vaughan [2012-04-24 08:21:20] 567*2^1131329-1 is not prime. Res64: DEB54CFBC8FE8C04 Time : 0.0 sec. user=vaughan [2012-04-24 08:21:33] 489*2^1131325-1 is not prime. Res64: DF15D8439C28764C Time : 0.0 sec. user=vaughan [2012-04-24 08:21:34] 405*2^1131327-1 is not prime. Res64: 9AC2F638A48B38DD Time : 0.0 sec. user=vaughan [2012-04-24 08:23:13] 429*2^1131328-1 is not prime. Res64: 5EF3AF72F0D53FCC Time : 0.0 sec. user=vaughan [2012-04-24 08:23:13] 479*2^1131328-1 is not prime. Res64: 09534C138EEC333B Time : 0.0 sec. user=vaughan [2012-04-24 08:30:07] 417*2^1131330-1 is not prime. Res64: 3E8A0DB74B4F86EA Time : 0.0 sec. user=vaughan [2012-04-24 08:30:07] 503*2^1131330-1 is not prime. Res64: D28C2C5B3B2BBBFA Time : 0.0 sec. user=henryzz [2012-04-24 08:32:25] 421*2^1131325-1 is not prime. Res64: 04957C8D8057DB2C Time : 0.0 sec. user=vaughan [2012-04-24 08:32:58] 507*2^1131332-1 is not prime. Res64: 66C6DB5BC86CD540 Time : 0.0 sec. user=vaughan [2012-04-24 08:32:59] 533*2^1131332-1 is not prime. Res64: 0471C9210862080E Time : 0.0 sec. user=vaughan [2012-04-24 08:36:38] 507*2^1131333-1 is not prime. Res64: D6C307E7795AFF30 Time : 0.0 sec. user=vaughan [2012-04-24 08:36:41] 525*2^1131333-1 is not prime. Res64: FCEB0864BAC80AB8 Time : 0.0 sec. user=vaughan [2012-04-24 08:36:46] 555*2^1131333-1 is not prime. Res64: 5E6FF1B690A608F6 Time : 0.0 sec. user=vaughan [2012-04-24 08:37:01] 571*2^1131333-1 is not prime. Res64: 529648915361BC1F Time : 0.0 sec. user=vaughan [2012-04-24 08:41:49] 495*2^1131334-1 is not prime. Res64: 9833C1A80C84251A Time : 0.0 sec. user=vaughan [2012-04-24 08:41:50] 411*2^1131335-1 is not prime. Res64: 38A4F401DB46725F Time : 0.0 sec. user=vaughan [2012-04-24 08:43:25] 493*2^1131335-1 is not prime. Res64: 61D6C61362D0CDF4 Time : 0.0 sec. user=vaughan [2012-04-24 08:43:26] 501*2^1131335-1 is not prime. Res64: 4E26098F221AB01B Time : 0.0 sec. user=henryzz [2012-04-24 08:43:56] 441*2^1131335-1 is not prime. Res64: 447BB270675700EF Time : 0.0 sec. user=vaughan [2012-04-24 08:50:15] 579*2^1131335-1 is not prime. Res64: 289068E92E7F302B Time : 0.0 sec. user=vaughan [2012-04-24 08:50:16] 585*2^1131335-1 is not prime. Res64: 1C4BFFADA0169E3B Time : 0.0 sec. user=vaughan [2012-04-24 08:52:23] 531*2^1131337-1 is not prime. Res64: 5833FA1230986829 Time : 0.0 sec. user=vaughan [2012-04-24 08:52:24] 483*2^1131338-1 is not prime. Res64: E6FB59A9653E5711 Time : 0.0 sec. user=vaughan [2012-04-24 08:52:27] 507*2^1131338-1 is not prime. Res64: 3A591A76A3F36B9F Time : 0.0 sec. user=henryzz [2012-04-24 08:52:42] 419*2^1131324-1 is not prime. Res64: B5C5D8AFE438001F Time : 0.0 sec. user=vaughan [2012-04-24 08:52:42] 567*2^1131338-1 is not prime. Res64: 1F1E3849183E794B Time : 0.0 sec. user=vaughan [2012-04-24 08:53:06] 507*2^1131336-1 is not prime. Res64: BAAEA6B2A40B7911 Time : 0.0 sec. user=vaughan [2012-04-24 08:53:07] 563*2^1131336-1 is not prime. Res64: 289E5E1A703BCA06 Time : 0.0 sec. user=vaughan [2012-04-24 09:01:59] 403*2^1131339-1 is not prime. Res64: 6023D11B015E2018 Time : 0.0 sec. user=vaughan [2012-04-24 09:01:59] 493*2^1131339-1 is not prime. Res64: 2F4A40EC910E7096 Time : 0.0 sec. user=vaughan [2012-04-24 09:03:33] 531*2^1131339-1 is not prime. Res64: B5FB879A62E1622D Time : 0.0 sec. user=vaughan [2012-04-24 09:03:34] 579*2^1131339-1 is not prime. Res64: 1ECE5675F2EB619F Time : 0.0 sec. user=marco.bs [2012-04-24 09:06:10] 487*2^1131333-1 is not prime. Res64: 085FE34217E357ED Time : 0.0 sec. user=vaughan [2012-04-24 09:08:02] 405*2^1131341-1 is not prime. Res64: 62BD7BE529D9640F Time : 0.0 sec. user=vaughan [2012-04-24 09:08:05] 417*2^1131341-1 is not prime. Res64: 5C0C685DB633562E Time : 0.0 sec. user=vaughan [2012-04-24 09:08:07] 439*2^1131341-1 is not prime. Res64: 64B45D739E438215 Time : 0.0 sec. user=vaughan [2012-04-24 09:08:21] 571*2^1131341-1 is not prime. Res64: C11F99AA69C60854 Time : 0.0 sec. user=vaughan [2012-04-24 09:10:20] 429*2^1131340-1 is not prime. Res64: C2D000E64CAD5652 Time : 0.0 sec. user=vaughan [2012-04-24 09:10:24] 513*2^1131340-1 is not prime. Res64: EBF75E506F0BF82E Time : 0.0 sec. user=vaughan [2012-04-24 09:13:13] 483*2^1131342-1 is not prime. Res64: 8A564F25A84A1C35 Time : 0.0 sec. user=vaughan [2012-04-24 09:13:14] 495*2^1131342-1 is not prime. Res64: 3AD0B540F9D7131C Time : 0.0 sec. user=henryzz [2012-04-24 09:16:21] 517*2^1131337-1 is not prime. Res64: CFEBE4AFFFD06994 Time : 0.0 sec. user=henryzz [2012-04-24 09:17:02] 465*2^1131336-1 is not prime. Res64: 8C64416595409ABD Time : 0.0 sec. user=henryzz [2012-04-24 09:17:19] 437*2^1131342-1 is not prime. Res64: BF663016CE315275 Time : 0.0 sec. user=henryzz [2012-04-24 09:18:26] 591*2^1131341-1 is not prime. Res64: 0E400DE7AF8305FB Time : 0.0 sec. user=vaughan [2012-04-24 09:22:11] 585*2^1131342-1 is not prime. Res64: 4041FD96C95841DF Time : 0.0 sec. user=vaughan [2012-04-24 09:22:12] 593*2^1131342-1 is not prime. Res64: D9887DBDAC0655A6 Time : 0.0 sec. user=vaughan [2012-04-24 09:23:41] 595*2^1131343-1 is not prime. Res64: CB10F89119DFC82D Time : 0.0 sec. user=vaughan [2012-04-24 09:23:42] 415*2^1131343-1 is not prime. Res64: CE0D7BFE7A06BA1A Time : 0.0 sec. user=vaughan [2012-04-24 09:23:42] 511*2^1131343-1 is not prime. Res64: 262212DF7169BEEA Time : 0.0 sec. user=vaughan [2012-04-24 09:23:42] 447*2^1131344-1 is not prime. Res64: 12C942DABE2096AE Time : 0.0 sec. user=vaughan [2012-04-24 09:23:42] 451*2^1131343-1 is not prime. Res64: 8FF903DF75544780 Time : 0.0 sec. user=vaughan [2012-04-24 09:24:02] 441*2^1131345-1 is not prime. Res64: 7BC73767F7A90788 Time : 0.0 sec. user=vaughan [2012-04-24 09:30:39] 457*2^1131345-1 is not prime. Res64: 159063592D7D375E Time : 0.0 sec. user=vaughan [2012-04-24 09:30:40] 535*2^1131345-1 is not prime. Res64: F7A32082C104D451 Time : 0.0 sec. user=vaughan [2012-04-24 09:33:25] 597*2^1131346-1 is not prime. Res64: 01C833A200E41718 Time : 0.0 sec. user=vaughan [2012-04-24 09:33:26] 433*2^1131347-1 is not prime. Res64: CF2CA3F99294827A Time : 0.0 sec. user=vaughan [2012-04-24 09:39:26] 547*2^1131349-1 is not prime. Res64: A56C1EF9464FF200 Time : 0.0 sec. user=vaughan [2012-04-24 09:39:26] 451*2^1131349-1 is not prime. Res64: 1344FA5ABDF8D2A0 Time : 0.0 sec. user=vaughan [2012-04-24 09:39:27] 549*2^1131348-1 is not prime. Res64: CF2E77D168B0DEEF Time : 0.0 sec. user=vaughan [2012-04-24 09:39:43] 473*2^1131350-1 is not prime. Res64: 2C0A55F521A9D596 Time : 0.0 sec. user=vaughan [2012-04-24 09:42:22] 465*2^1131348-1 is not prime. Res64: 28B4A34934CD7241 Time : 0.0 sec. user=vaughan [2012-04-24 09:42:24] 513*2^1131348-1 is not prime. Res64: E4B14D06958DE7ED Time : 0.0 sec. user=henryzz [2012-04-24 09:43:18] 585*2^1131347-1 is not prime. Res64: 130F4F976E414B6E Time : 0.0 sec. user=henryzz [2012-04-24 09:43:37] 571*2^1131347-1 is not prime. Res64: D4E3025158CD183C Time : 0.0 sec. user=henryzz [2012-04-24 09:43:43] 519*2^1131347-1 is not prime. Res64: 337E2D7D503B2414 Time : 0.0 sec. user=vaughan [2012-04-24 09:43:46] 555*2^1131349-1 is not prime. Res64: 7970C93F28615539 Time : 0.0 sec. user=vaughan [2012-04-24 09:43:46] 407*2^1131350-1 is not prime. Res64: 78C4892FD5FDE9C3 Time : 0.0 sec. user=henryzz [2012-04-24 09:43:49] 413*2^1131348-1 is not prime. Res64: 7DEBD0B2151E8612 Time : 0.0 sec. user=vaughan [2012-04-24 09:50:53] 515*2^1131350-1 is not prime. Res64: 70C42097497A5791 Time : 0.0 sec. user=vaughan [2012-04-24 09:50:53] 405*2^1131351-1 is not prime. Res64: EFE4FA5A08A1D5C3 Time : 0.0 sec. user=marco.bs [2012-04-24 09:53:19] 489*2^1131343-1 is not prime. Res64: 5671F702DC358B6B Time : 0.0 sec. user=vaughan [2012-04-24 09:53:29] 437*2^1131352-1 is not prime. Res64: 2A08775E592DAD1E Time : 0.0 sec. user=vaughan [2012-04-24 09:53:29] 519*2^1131352-1 is not prime. Res64: 52F2DD9A173E8627 Time : 0.0 sec. user=vaughan [2012-04-24 09:55:05] 549*2^1131352-1 is not prime. Res64: CC5E8BE84B0E70A1 Time : 0.0 sec. user=vaughan [2012-04-24 09:55:05] 573*2^1131352-1 is not prime. Res64: F365A9141AAF02E3 Time : 0.0 sec. user=vaughan [2012-04-24 09:55:05] 529*2^1131353-1 is not prime. Res64: 2D197237D06E3337 Time : 0.0 sec. user=vaughan [2012-04-24 09:55:24] 485*2^1131354-1 is not prime. Res64: 2E5B7664DD89C366 Time : 0.0 sec. user=vaughan [2012-04-24 10:02:35] 567*2^1131354-1 is not prime. Res64: 98774ACADD10A4BB Time : 0.0 sec. user=vaughan [2012-04-24 10:02:36] 429*2^1131355-1 is not prime. Res64: 839169F88D3F3FC6 Time : 0.0 sec. user=vaughan [2012-04-24 10:03:55] 579*2^1131355-1 is not prime. Res64: 663777518E618F7A Time : 0.0 sec. user=vaughan [2012-04-24 10:03:57] 595*2^1131355-1 is not prime. Res64: 98F68C38D0BFE538 Time : 0.0 sec. user=henryzz [2012-04-24 10:07:47] 531*2^1131355-1 is not prime. Res64: AD041413037F1000 Time : 0.0 sec. user=henryzz [2012-04-24 10:08:08] 471*2^1131357-1 is not prime. Res64: D789A4364BAA92EB Time : 0.0 sec. user=henryzz [2012-04-24 10:09:00] 519*2^1131355-1 is not prime. Res64: 19470689CE0E68FE Time : 0.0 sec. user=henryzz [2012-04-24 10:09:44] 417*2^1131357-1 is not prime. Res64: BD950E73B80A92A6 Time : 0.0 sec. user=vaughan [2012-04-24 10:10:46] 549*2^1131360-1 is not prime. Res64: AD43AD60AFD914C4 Time : 0.0 sec. user=vaughan [2012-04-24 10:10:49] 513*2^1131360-1 is not prime. Res64: 98FD4A7519CB45CC Time : 0.0 sec. user=vaughan [2012-04-24 10:10:49] 477*2^1131361-1 is not prime. Res64: E50EEB5DE7E29C5C Time : 0.0 sec. user=vaughan [2012-04-24 10:11:06] 541*2^1131361-1 is not prime. Res64: E4EE77A60BC17AE7 Time : 0.0 sec. user=vaughan [2012-04-24 10:11:09] 517*2^1131357-1 is not prime. Res64: D4C68F3C3F1FB5B7 Time : 0.0 sec. user=vaughan [2012-04-24 10:11:12] 565*2^1131357-1 is not prime. Res64: 79AA218316045033 Time : 0.0 sec. user=vaughan [2012-04-24 10:13:51] 411*2^1131359-1 is not prime. Res64: EC2EBE7668A48B98 Time : 0.0 sec. user=vaughan [2012-04-24 10:13:53] 465*2^1131360-1 is not prime. Res64: 964E394519FFDE46 Time : 0.0 sec. user=vaughan [2012-04-24 10:22:54] 497*2^1131362-1 is not prime. Res64: 5833A9AC886CAF2B Time : 0.0 sec. user=vaughan [2012-04-24 10:22:55] 521*2^1131362-1 is not prime. Res64: 23B173627475E2A3 Time : 0.0 sec. user=vaughan [2012-04-24 10:24:20] 525*2^1131362-1 is not prime. Res64: 27A2ED44119B728F Time : 0.0 sec. user=vaughan [2012-04-24 10:24:21] 581*2^1131362-1 is not prime. Res64: 08A4D99D9E68BD6A Time : 0.0 sec. user=vaughan [2012-04-24 10:24:29] 485*2^1131366-1 is not prime. Res64: 91D0A0494D21212A Time : 0.0 sec. user=vaughan [2012-04-24 10:26:25] 459*2^1131365-1 is not prime. Res64: E5FF05CAF13F3BC3 Time : 0.0 sec. user=vaughan [2012-04-24 10:26:26] 475*2^1131365-1 is not prime. Res64: 353AF8787F2C9726 Time : 0.0 sec. user=vaughan [2012-04-24 10:26:27] 465*2^1131365-1 is not prime. Res64: E46D402E5C5B86B6 Time : 0.0 sec. user=vaughan [2012-04-24 10:26:52] 465*2^1131366-1 is not prime. Res64: 246BC355D41C23EE Time : 0.0 sec. user=henryzz [2012-04-24 10:30:10] 411*2^1131363-1 is not prime. Res64: 8BFA81A970F9CA38 Time : 0.0 sec. user=henryzz [2012-04-24 10:30:53] 429*2^1131363-1 is not prime. Res64: 00C4A273AC92EAD5 Time : 0.0 sec. user=vaughan [2012-04-24 10:31:20] 507*2^1131366-1 is not prime. Res64: C9E95970D9147841 Time : 0.0 sec. user=vaughan [2012-04-24 10:31:21] 551*2^1131366-1 is not prime. Res64: 954BFFF893DD87A7 Time : 0.0 sec. user=henryzz [2012-04-24 10:32:17] 501*2^1131363-1 is not prime. Res64: A165C2E1A8F9C0B4 Time : 0.0 sec. user=henryzz [2012-04-24 10:32:49] 445*2^1131365-1 is not prime. Res64: A6D76671072CC1FA Time : 0.0 sec. user=vaughan [2012-04-24 10:34:11] 505*2^1131367-1 is not prime. Res64: CFD9173DFCFBFC15 Time : 0.0 sec. user=vaughan [2012-04-24 10:34:12] 499*2^1131369-1 is not prime. Res64: 517C84CEC2268C83 Time : 0.0 sec. user=marco.bs [2012-04-24 10:40:30] 585*2^1131357-1 is not prime. Res64: FA7E5683B06D4DAB Time : 0.0 sec. user=vaughan [2012-04-24 10:42:01] 405*2^1131372-1 is not prime. Res64: B78DED7FA28E6742 Time : 0.0 sec. user=vaughan [2012-04-24 10:42:01] 467*2^1131372-1 is not prime. Res64: A9BC8952A9F17EB6 Time : 0.0 sec. user=vaughan [2012-04-24 10:42:03] 447*2^1131372-1 is not prime. Res64: BC967CA61ED846C9 Time : 0.0 sec. user=vaughan [2012-04-24 10:42:28] 563*2^1131372-1 is not prime. Res64: 42122421507A8054 Time : 0.0 sec. user=vaughan [2012-04-24 10:43:03] 549*2^1131369-1 is not prime. Res64: 7D322B92A03614A0 Time : 0.0 sec. user=vaughan [2012-04-24 10:43:03] 519*2^1131371-1 is not prime. Res64: 131E2B0E08BB47EB Time : 0.0 sec. user=vaughan [2012-04-24 10:44:28] 549*2^1131371-1 is not prime. Res64: 1C54E83F396519B6 Time : 0.0 sec. user=vaughan [2012-04-24 10:44:28] 565*2^1131371-1 is not prime. Res64: 5E72EA9130858852 Time : 0.0 sec. user=vaughan [2012-04-24 10:51:30] 519*2^1131373-1 is not prime. Res64: E8D3F4324A806092 Time : 0.0 sec. user=vaughan [2012-04-24 10:51:30] 525*2^1131373-1 is not prime. Res64: 1BFB15F4FF5E5D95 Time : 0.0 sec. user=vaughan [2012-04-24 10:54:30] 417*2^1131374-1 is not prime. Res64: AB007AB5DBE5DB28 Time : 0.0 sec. user=vaughan [2012-04-24 10:54:31] 483*2^1131374-1 is not prime. Res64: 4C91E5523C07DA0C Time : 0.0 sec. user=henryzz [2012-04-24 10:56:44] 411*2^1131373-1 is not prime. Res64: 9AF9337BD3713C92 Time : 0.0 sec. user=henryzz [2012-04-24 10:58:58] 499*2^1131373-1 is not prime. Res64: E80FE527D52B81BA Time : 0.0 sec. user=henryzz [2012-04-24 11:02:24] 407*2^1131374-1 is not prime. Res64: 4FBF5E4DDA39119A Time : 0.0 sec. user=henryzz [2012-04-24 11:02:27] 577*2^1131373-1 is not prime. Res64: 3CE60123B7E26241 Time : 0.0 sec. user=vaughan [2012-04-24 11:03:04] 507*2^1131376-1 is not prime. Res64: 3BEC8B68C2A7F7C7 Time : 0.0 sec. user=vaughan [2012-04-24 11:03:05] 475*2^1131377-1 is not prime. Res64: A8BF32546080351E Time : 0.0 sec. user=vaughan [2012-04-24 11:04:36] 477*2^1131377-1 is not prime. Res64: A24BBCC611C1D8D0 Time : 0.0 sec. user=vaughan [2012-04-24 11:04:39] 487*2^1131377-1 is not prime. Res64: CCA74C01C1D36C1D Time : 0.0 sec. user=vaughan [2012-04-24 11:11:42] 413*2^1131378-1 is not prime. Res64: 0C90B1DE37AE4A3D Time : 0.0 sec. user=vaughan [2012-04-24 11:11:44] 443*2^1131378-1 is not prime. Res64: 2C0EA8A0A59DF81C Time : 0.0 sec. user=vaughan [2012-04-24 11:14:43] 471*2^1131378-1 is not prime. Res64: C4E89B9F270F0296 Time : 0.0 sec. user=vaughan [2012-04-24 11:14:44] 497*2^1131378-1 is not prime. Res64: 1F2BC75CF038155B Time : 0.0 sec. user=vaughan [2012-04-24 11:23:08] 465*2^1131380-1 is not prime. Res64: 3A664448F61DC558 Time : 0.0 sec. user=vaughan [2012-04-24 11:23:09] 593*2^1131380-1 is not prime. Res64: D3764A45C43A4665 Time : 0.0 sec. user=vaughan [2012-04-24 11:24:43] 529*2^1131381-1 is not prime. Res64: 3724BF9A4DFD084A Time : 0.0 sec. user=vaughan [2012-04-24 11:24:45] 401*2^1131382-1 is not prime. Res64: CFFDFBF1F5AFF3B4 Time : 0.0 sec. user=henryzz [2012-04-24 11:25:12] 507*2^1131378-1 is not prime. Res64: 62B0E4B60CD59306 Time : 0.0 sec. user=henryzz [2012-04-24 11:27:30] 513*2^1131378-1 is not prime. Res64: CEB7204CD42AE84A Time : 0.0 sec. user=marco.bs [2012-04-24 11:27:46] 545*2^1131374-1 is not prime. Res64: 573A5C06068D830F Time : 0.0 sec. user=henryzz [2012-04-24 11:30:46] 459*2^1131380-1 is not prime. Res64: 44F616C8C7D20D47 Time : 0.0 sec. user=vaughan [2012-04-24 11:31:53] 425*2^1131382-1 is not prime. Res64: E8EC9C6DC8891912 Time : 0.0 sec. user=vaughan [2012-04-24 11:31:54] 491*2^1131382-1 is not prime. Res64: 90CD10FAA86134C3 Time : 0.0 sec. user=henryzz [2012-04-24 11:32:07] 589*2^1131379-1 is not prime. Res64: 01AEE6C677BD1084 Time : 0.0 sec. user=vaughan [2012-04-24 11:35:02] 495*2^1131382-1 is not prime. Res64: CCF0DAA966CC038A Time : 0.0 sec. user=vaughan [2012-04-24 11:35:03] 533*2^1131382-1 is not prime. Res64: F38FF60E3C6AFAEF Time : 0.0 sec. user=vaughan [2012-04-24 11:43:19] 433*2^1131383-1 is not prime. Res64: F58394557008851D Time : 0.0 sec. user=vaughan [2012-04-24 11:43:19] 595*2^1131383-1 is not prime. Res64: 4594274A68A5B34E Time : 0.0 sec. user=vaughan [2012-04-24 11:44:49] 423*2^1131384-1 is not prime. Res64: FA038E29B5FFF38F Time : 0.0 sec. user=vaughan [2012-04-24 11:44:50] 453*2^1131384-1 is not prime. Res64: 4DE084CB688D61EB Time : 0.0 sec. user=henryzz [2012-04-24 11:51:53] 509*2^1131384-1 is not prime. Res64: 06E306B438D9ABE0 Time : 0.0 sec. user=vaughan [2012-04-24 11:52:08] 537*2^1131385-1 is not prime. Res64: 31725425B0DCDFA8 Time : 0.0 sec. user=vaughan [2012-04-24 11:52:08] 425*2^1131386-1 is not prime. Res64: C50327912E5B163E Time : 0.0 sec. user=henryzz [2012-04-24 11:54:39] 597*2^1131384-1 is not prime. Res64: 061B6C32D0ED9DBC Time : 0.0 sec. user=vaughan [2012-04-24 11:55:19] 515*2^1131386-1 is not prime. Res64: 337C48F734DB2A2B Time : 0.0 sec. user=vaughan [2012-04-24 11:55:19] 593*2^1131386-1 is not prime. Res64: 02D198E615E1C524 Time : 0.0 sec. user=henryzz [2012-04-24 11:56:36] 495*2^1131385-1 is not prime. Res64: B4E8814A5D78D073 Time : 0.0 sec. user=henryzz [2012-04-24 11:58:43] 483*2^1131386-1 is not prime. Res64: C9B6B604881D0A75 Time : 0.0 sec. user=vaughan [2012-04-24 12:03:28] 453*2^1131387-1 is not prime. Res64: 7464285B6F5FBF5D Time : 0.0 sec. user=vaughan [2012-04-24 12:03:29] 571*2^1131387-1 is not prime. Res64: 2CC2C4E870402C9F Time : 0.0 sec. user=vaughan [2012-04-24 12:05:01] 585*2^1131387-1 is not prime. Res64: 342F03C4DF98C451 Time : 0.0 sec. user=vaughan [2012-04-24 12:05:03] 563*2^1131388-1 is not prime. Res64: A29AF01D9287FD12 Time : 0.0 sec. user=vaughan [2012-04-24 12:12:12] 411*2^1131390-1 is not prime. Res64: 499E38BE09806E27 Time : 0.0 sec. user=vaughan [2012-04-24 12:12:15] 447*2^1131390-1 is not prime. Res64: FD227B2AE43143C0 Time : 0.0 sec. user=marco.bs [2012-04-24 12:14:47] 411*2^1131385-1 is not prime. Res64: E568E16DCA55F319 Time : 0.0 sec. user=vaughan [2012-04-24 12:15:26] 593*2^1131390-1 is not prime. Res64: 4884C1CFFF9151C6 Time : 0.0 sec. user=vaughan [2012-04-24 12:15:27] 415*2^1131391-1 is not prime. Res64: B445CA3686C0726E Time : 0.0 sec. user=henryzz [2012-04-24 12:15:38] 567*2^1131388-1 is not prime. Res64: 194D78F28E532296 Time : 0.0 sec. user=henryzz [2012-04-24 12:18:17] 455*2^1131390-1 is not prime. Res64: 2BD7A51C8E58B74A Time : 0.0 sec. user=henryzz [2012-04-24 12:22:19] 421*2^1131391-1 is not prime. Res64: FAA758AA9AB30479 Time : 0.0 sec. user=vaughan [2012-04-24 12:23:37] 451*2^1131391-1 is not prime. Res64: C2A164C8881D48F6 Time : 0.0 sec. user=vaughan [2012-04-24 12:23:37] 463*2^1131391-1 is not prime. Res64: 5D6DEB5575DD0503 Time : 0.0 sec. user=vaughan [2012-04-24 12:25:18] 559*2^1131391-1 is not prime. Res64: F5F864E2C43120C7 Time : 0.0 sec. user=vaughan [2012-04-24 12:25:18] 405*2^1131392-1 is not prime. Res64: 3EECC527E1CA0C5D Time : 0.0 sec. user=henryzz [2012-04-24 12:31:49] 413*2^1131392-1 is not prime. Res64: F9F654105CD4FB59 Time : 0.0 sec. user=vaughan [2012-04-24 12:32:25] 447*2^1131392-1 is not prime. Res64: 6E9A56DCA6669DD0 Time : 0.0 sec. user=vaughan [2012-04-24 12:32:25] 467*2^1131392-1 is not prime. Res64: 9E911E528EC10F96 Time : 0.0 sec. user=vaughan [2012-04-24 12:35:30] 409*2^1131393-1 is not prime. Res64: B8927919F91A5116 Time : 0.0 sec. user=vaughan [2012-04-24 12:35:30] 511*2^1131393-1 is not prime. Res64: A5EBA46794942350 Time : 0.0 sec. user=henryzz [2012-04-24 12:40:17] 401*2^1131394-1 is not prime. Res64: 88DD9D2F460BE690 Time : 0.0 sec. user=henryzz [2012-04-24 12:42:40] 491*2^1131394-1 is not prime. Res64: 8CF6F8E7EF2D3BBD Time : 0.0 sec. user=vaughan [2012-04-24 12:43:39] 513*2^1131394-1 is not prime. Res64: F8998668B1679D37 Time : 0.0 sec. user=vaughan [2012-04-24 12:43:40] 527*2^1131394-1 is not prime. Res64: 47616EC39D0DCD3F Time : 0.0 sec. user=vaughan [2012-04-24 12:45:27] 561*2^1131394-1 is not prime. Res64: 0AF65BDF5ECD46FC Time : 0.0 sec. user=vaughan [2012-04-24 12:45:28] 445*2^1131395-1 is not prime. Res64: 97895016FA1F7316 Time : 0.0 sec. user=henryzz [2012-04-24 12:47:06] 503*2^1131394-1 is not prime. Res64: 2CB37DCC6D786F90 Time : 0.0 sec. user=vaughan [2012-04-24 12:52:36] 469*2^1131395-1 is not prime. Res64: 36F1A54ABF9B6950 Time : 0.0 sec. user=vaughan [2012-04-24 12:52:37] 405*2^1131396-1 is not prime. Res64: 56888C67D76431EA Time : 0.0 sec. user=henryzz [2012-04-24 12:55:05] 465*2^1131395-1 is not prime. Res64: B672B7E5A7FDE434 Time : 0.0 sec. user=vaughan [2012-04-24 12:55:34] 413*2^1131396-1 is not prime. Res64: F90F626F881E47EE Time : 0.0 sec. user=vaughan [2012-04-24 12:55:34] 479*2^1131396-1 is not prime. Res64: 57146C5094D2207C Time : 0.0 sec. user=marco.bs [2012-04-24 13:01:57] 599*2^1131392-1 is not prime. Res64: 29000E6977C88CCA Time : 0.0 sec. user=henryzz [2012-04-24 13:03:37] 593*2^1131396-1 is not prime. Res64: 3C196D369806A927 Time : 0.0 sec. user=vaughan [2012-04-24 13:03:46] 519*2^1131397-1 is not prime. Res64: CA45C5425D23CA6E Time : 0.0 sec. user=vaughan [2012-04-24 13:03:49] 501*2^1131398-1 is not prime. Res64: 1A597B77F419ECA7 Time : 0.0 sec. user=henryzz [2012-04-24 13:05:18] 441*2^1131397-1 is not prime. Res64: 8C3618A8282F9B09 Time : 0.0 sec. user=vaughan [2012-04-24 13:05:42] 433*2^1131399-1 is not prime. Res64: 417962AAD19F3273 Time : 0.0 sec. user=vaughan [2012-04-24 13:05:43] 583*2^1131399-1 is not prime. Res64: 7C00B5968D13FB40 Time : 0.0 sec. user=henryzz [2012-04-24 13:09:15] 479*2^1131400-1 is not prime. Res64: FF40AF19BCD4E6EC Time : 0.0 sec. user=vaughan [2012-04-24 13:12:43] 495*2^1131400-1 is not prime. Res64: E5D96568ADD1DA45 Time : 0.0 sec. user=vaughan [2012-04-24 13:12:46] 593*2^1131400-1 is not prime. Res64: 1B31A49AFB5629E3 Time : 0.0 sec. user=vaughan [2012-04-24 13:15:46] 475*2^1131401-1 is not prime. Res64: 8E87BF23990DE690 Time : 0.0 sec. user=vaughan [2012-04-24 13:15:46] 525*2^1131401-1 is not prime. Res64: A8AA5EF66CAEA5B3 Time : 0.0 sec. user=henryzz [2012-04-24 13:17:12] 405*2^1131401-1 is not prime. Res64: 49B6BAC939DF81CA Time : 0.0 sec. user=vaughan [2012-04-24 13:24:01] 447*2^1131402-1 is not prime. Res64: 6F6678063580F619 Time : 0.0 sec. user=vaughan [2012-04-24 13:24:01] 563*2^1131402-1 is not prime. Res64: C3A9CA6A540CBC6B Time : 0.0 sec. user=henryzz [2012-04-24 13:25:46] 579*2^1131401-1 is not prime. Res64: 13B2799F4C4B990C Time : 0.0 sec. user=vaughan [2012-04-24 13:25:52] 415*2^1131403-1 is not prime. Res64: 08B0B479CB50168B Time : 0.0 sec. user=vaughan [2012-04-24 13:25:53] 453*2^1131403-1 is not prime. Res64: 30DF0FE18D715F24 Time : 0.0 sec. user=henryzz [2012-04-24 13:28:49] 587*2^1131402-1 is not prime. Res64: FE894A3DF10C9CCA Time : 0.0 sec. user=henryzz [2012-04-24 13:31:31] 489*2^1131403-1 is not prime. Res64: 9EF347138F49AA8E Time : 0.0 sec. user=vaughan [2012-04-24 13:32:58] 493*2^1131403-1 is not prime. Res64: 12E6C8566560A260 Time : 0.0 sec. user=vaughan [2012-04-24 13:32:59] 505*2^1131403-1 is not prime. Res64: 661784E964552224 Time : 0.0 sec. user=vaughan [2012-04-24 13:35:52] 541*2^1131403-1 is not prime. Res64: 261686B134267730 Time : 0.0 sec. user=vaughan [2012-04-24 13:35:53] 595*2^1131403-1 is not prime. Res64: 6D6D45ED9E9C8FC0 Time : 0.0 sec. user=henryzz [2012-04-24 13:39:24] 459*2^1131404-1 is not prime. Res64: 7DFD015E4B9FCBC3 Time : 0.0 sec. user=vaughan [2012-04-24 13:44:07] 519*2^1131404-1 is not prime. Res64: C5FB97015F0120F4 Time : 0.0 sec. user=vaughan [2012-04-24 13:44:08] 409*2^1131405-1 is not prime. Res64: 4D38CE8DAF2A8049 Time : 0.0 sec. user=vaughan [2012-04-24 13:46:00] 579*2^1131405-1 is not prime. Res64: 5928AB811ECA161D Time : 0.0 sec. user=vaughan [2012-04-24 13:46:00] 551*2^1131406-1 is not prime. Res64: 630AB006956BC82C Time : 0.0 sec. user=henryzz [2012-04-24 13:47:42] 471*2^1131405-1 is not prime. Res64: 189F897B79470B31 Time : 0.0 sec. user=marco.bs [2012-04-24 13:49:20] 537*2^1131401-1 is not prime. Res64: 9BB3B66C35190D97 Time : 0.0 sec. user=henryzz [2012-04-24 13:51:41] 421*2^1131407-1 is not prime. Res64: 959CC27CDC921867 Time : 0.0 sec. user=vaughan [2012-04-24 13:53:12] 475*2^1131407-1 is not prime. Res64: B7A0EC38BA4918CA Time : 0.0 sec. user=vaughan [2012-04-24 13:53:12] 493*2^1131407-1 is not prime. Res64: 3534DB09746F4FB4 Time : 0.0 sec. user=henryzz [2012-04-24 13:53:46] 433*2^1131407-1 is not prime. Res64: A8DCED7102B4C576 Time : 0.0 sec. user=vaughan [2012-04-24 13:56:17] 465*2^1131408-1 is not prime. Res64: C76CC7A04F4366C9 Time : 0.0 sec. user=vaughan [2012-04-24 13:56:18] 537*2^1131408-1 is not prime. Res64: B9123DAE6BDAD2BB Time : 0.0 sec. user=henryzz [2012-04-24 14:02:03] 549*2^1131408-1 is not prime. Res64: B0916D439964D964 Time : 0.0 sec. user=vaughan [2012-04-24 14:04:21] 507*2^1131409-1 is not prime. Res64: 521688B6773AD11F Time : 0.0 sec. user=vaughan [2012-04-24 14:04:24] 467*2^1131410-1 is not prime. Res64: EF9606112FAF5A2B Time : 0.0 sec. user=vaughan [2012-04-24 14:06:11] 405*2^1131411-1 is not prime. Res64: 214DF226D556F187 Time : 0.0 sec. user=vaughan [2012-04-24 14:06:14] 475*2^1131411-1 is not prime. Res64: 90B458B67F701624 Time : 0.0 sec. user=henryzz [2012-04-24 14:11:16] 489*2^1131411-1 is not prime. Res64: 70C14EA9087FC460 Time : 0.0 sec. user=vaughan [2012-04-24 14:13:25] 579*2^1131411-1 is not prime. Res64: 813B61B5BA728392 Time : 0.0 sec. user=vaughan [2012-04-24 14:13:26] 583*2^1131411-1 is not prime. Res64: 75043CFF98D5A066 Time : 0.0 sec. user=henryzz [2012-04-24 14:14:19] 529*2^1131411-1 is not prime. Res64: C58165A8DCA4679D Time : 0.0 sec. user=vaughan [2012-04-24 14:16:25] 595*2^1131411-1 is not prime. Res64: 792F0A6F67F962C5 Time : 0.0 sec. user=vaughan [2012-04-24 14:16:25] 423*2^1131412-1 is not prime. Res64: 297CFFC798947C3E Time : 0.0 sec. user=vaughan [2012-04-24 14:24:35] 579*2^1131412-1 is not prime. Res64: 321BB401871195F2 Time : 0.0 sec. user=vaughan [2012-04-24 14:24:35] 441*2^1131413-1 is not prime. Res64: B360C52AC3E1FAD6 Time : 0.0 sec. user=henryzz [2012-04-24 14:25:13] 567*2^1131412-1 is not prime. Res64: 43DB2D9EBE76765B Time : 0.0 sec. user=vaughan [2012-04-24 14:26:29] 453*2^1131414-1 is not prime. Res64: C3B93DB5964B67CC Time : 0.0 sec. user=vaughan [2012-04-24 14:26:29] 441*2^1131415-1 is not prime. Res64: 1F4656FA806962BE Time : 0.0 sec. user=henryzz [2012-04-24 14:28:00] 567*2^1131413-1 is not prime. Res64: 715630E5B22B42ED Time : 0.0 sec. user=gd_barnes [2012-04-24 14:29:42] 565*2^1131413-1 is not prime. Res64: A96EFB09CB0F8FB3 Time : 0.0 sec. user=vaughan [2012-04-24 14:33:38] 525*2^1131416-1 is not prime. Res64: 822A932DE2634958 Time : 0.0 sec. user=vaughan [2012-04-24 14:33:39] 593*2^1131416-1 is not prime. Res64: 5F7489CBC6FE657B Time : 0.0 sec. user=henryzz [2012-04-24 14:33:53] 405*2^1131416-1 is not prime. Res64: 691D1C0F30EEAFA3 Time : 0.0 sec. user=vaughan [2012-04-24 14:36:33] 491*2^1131418-1 is not prime. Res64: 8E6E76C2BC17B232 Time : 0.0 sec. user=vaughan [2012-04-24 14:36:36] 573*2^1131418-1 is not prime. Res64: F6AD1B788397A298 Time : 0.0 sec. user=marco.bs [2012-04-24 14:36:36] 511*2^1131411-1 is not prime. Res64: 91F5A4EFD741146A Time : 0.0 sec. user=henryzz [2012-04-24 14:36:56] 427*2^1131417-1 is not prime. Res64: 00F8AAC1443836F7 Time : 0.0 sec. user=vaughan [2012-04-24 14:44:33] 503*2^1131420-1 is not prime. Res64: DB9CD74A79FA3EF3 Time : 0.0 sec. user=vaughan [2012-04-24 14:44:33] 427*2^1131421-1 is not prime. Res64: F6D60601B5E4C691 Time : 0.0 sec. user=vaughan [2012-04-24 14:46:36] 537*2^1131422-1 is not prime. Res64: C01F99BDD8E9983D Time : 0.0 sec. user=vaughan [2012-04-24 14:46:37] 545*2^1131422-1 is not prime. Res64: D2E652666C238C6C Time : 0.0 sec. user=henryzz [2012-04-24 14:47:45] 483*2^1131422-1 is not prime. Res64: 7BFEFF93CE0F18DE Time : 0.0 sec. user=henryzz [2012-04-24 14:52:09] 583*2^1131423-1 is not prime. Res64: 650B583AFA9417C2 Time : 0.0 sec. user=vaughan [2012-04-24 14:53:47] 413*2^1131424-1 is not prime. Res64: 7513E2C2B592EFDB Time : 0.0 sec. user=vaughan [2012-04-24 14:53:47] 435*2^1131424-1 is not prime. Res64: 46E9ABF0FDE1AF61 Time : 0.0 sec. user=vaughan [2012-04-24 14:56:41] 535*2^1131425-1 is not prime. Res64: 3FE2F5865A62F0C5 Time : 0.0 sec. user=vaughan [2012-04-24 14:56:41] 577*2^1131425-1 is not prime. Res64: D38411DD6838EF71 Time : 0.0 sec. user=henryzz [2012-04-24 14:57:33] 563*2^1131424-1 is not prime. Res64: 86766EB12CF9E70F Time : 0.0 sec. user=henryzz [2012-04-24 15:00:00] 589*2^1131425-1 is not prime. Res64: F477829143294D94 Time : 0.0 sec. user=vaughan [2012-04-24 15:04:41] 497*2^1131426-1 is not prime. Res64: 6E35A56475FBAF3C Time : 0.0 sec. user=vaughan [2012-04-24 15:04:46] 501*2^1131426-1 is not prime. Res64: 54095FD3AA81B42F Time : 0.0 sec. user=vaughan [2012-04-24 15:06:38] 471*2^1131427-1 is not prime. Res64: BED12A374DFCB26C Time : 0.0 sec. user=vaughan [2012-04-24 15:06:41] 549*2^1131427-1 is not prime. Res64: 01F437B573F4551D Time : 0.0 sec. user=vaughan [2012-04-24 15:13:53] 441*2^1131429-1 is not prime. Res64: DA3BE4BF02115348 Time : 0.0 sec. user=vaughan [2012-04-24 15:13:54] 481*2^1131429-1 is not prime. Res64: C6C1EFD62F50EA42 Time : 0.0 sec. user=henryzz [2012-04-24 15:14:10] 489*2^1131428-1 is not prime. Res64: 6880FFEC1D467BF1 Time : 0.0 sec. user=henryzz [2012-04-24 15:16:14] 573*2^1131428-1 is not prime. Res64: 9A3EAA8D0A5B8CB3 Time : 0.0 sec. user=vaughan [2012-04-24 15:16:52] 575*2^1131430-1 is not prime. Res64: 9FFEB2714263C8D9 Time : 0.0 sec. user=vaughan [2012-04-24 15:16:52] 445*2^1131431-1 is not prime. Res64: 9999555C695B0F3D Time : 0.0 sec. user=henryzz [2012-04-24 15:21:24] 493*2^1131431-1 is not prime. Res64: 4EE6A85B8B73FC75 Time : 0.0 sec. user=marco.bs [2012-04-24 15:23:44] 447*2^1131425-1 is not prime. Res64: B874C2BBCFA08BE8 Time : 0.0 sec. user=henryzz [2012-04-24 15:24:23] 423*2^1131432-1 is not prime. Res64: F85E84D2095B9D21 Time : 0.0 sec. user=vaughan [2012-04-24 15:24:49] 447*2^1131432-1 is not prime. Res64: DC4CD5225BE1CB20 Time : 0.0 sec. user=vaughan [2012-04-24 15:24:50] 485*2^1131432-1 is not prime. Res64: C46C5899A03A05D5 Time : 0.0 sec. user=vaughan [2012-04-24 15:26:49] 489*2^1131432-1 is not prime. Res64: 7C65FA32F1DFBD83 Time : 0.0 sec. user=vaughan [2012-04-24 15:26:49] 405*2^1131433-1 is not prime. Res64: 0F0A68A6ACA34C24 Time : 0.0 sec. user=vaughan [2012-04-24 15:33:58] 517*2^1131433-1 is not prime. Res64: 728DCE6F4849A54E Time : 0.0 sec. user=vaughan [2012-04-24 15:33:58] 565*2^1131433-1 is not prime. Res64: 4ED0B1E101C160F1 Time : 0.0 sec. user=vaughan [2012-04-24 15:37:01] 495*2^1131434-1 is not prime. Res64: E6B9837E73E88481 Time : 0.0 sec. user=vaughan [2012-04-24 15:37:02] 531*2^1131434-1 is not prime. Res64: 42BA974FA122857B Time : 0.0 sec. user=henryzz [2012-04-24 15:39:18] 597*2^1131433-1 is not prime. Res64: B21067CED9CBDC46 Time : 0.0 sec. user=henryzz [2012-04-24 15:40:11] 431*2^1131434-1 is not prime. Res64: 50FA33F76C07905B Time : 0.0 sec. user=vaughan [2012-04-24 15:45:02] 595*2^1131435-1 is not prime. Res64: D8AEDB1FBF1813EF Time : 0.0 sec. user=vaughan [2012-04-24 15:45:03] 479*2^1131436-1 is not prime. Res64: C0F7B29E2557D0DC Time : 0.0 sec. user=henryzz [2012-04-24 15:45:30] 411*2^1131435-1 is not prime. Res64: A893AC888291637F Time : 0.0 sec. user=vaughan [2012-04-24 15:46:54] 527*2^1131436-1 is not prime. Res64: EE3F787C99D72341 Time : 0.0 sec. user=vaughan [2012-04-24 15:46:55] 529*2^1131437-1 is not prime. Res64: CA9AA33EDD6E268C Time : 0.0 sec. user=henryzz [2012-04-24 15:48:17] 573*2^1131435-1 is not prime. Res64: 26E3DA9460331C03 Time : 0.0 sec. user=vaughan [2012-04-24 15:53:58] 423*2^1131438-1 is not prime. Res64: 404E707B10985F83 Time : 0.0 sec. user=vaughan [2012-04-24 15:53:58] 527*2^1131438-1 is not prime. Res64: 18FD72D0BE5F0BBE Time : 0.0 sec. user=vaughan [2012-04-24 15:57:16] 551*2^1131438-1 is not prime. Res64: EBB3B3FA2DF4269D Time : 0.0 sec. user=vaughan [2012-04-24 15:57:17] 423*2^1131439-1 is not prime. Res64: 84B95283369A6A32 Time : 0.0 sec. user=henryzz [2012-04-24 16:02:58] 489*2^1131439-1 is not prime. Res64: 0DA72AECF25DAC4E Time : 0.0 sec. user=henryzz [2012-04-24 16:03:50] 407*2^1131440-1 is not prime. Res64: 3130B9B1DB1DA320 Time : 0.0 sec. user=vaughan [2012-04-24 16:05:15] 459*2^1131440-1 is not prime. Res64: B7FCE94981B49A01 Time : 0.0 sec. user=vaughan [2012-04-24 16:05:18] 533*2^1131440-1 is not prime. Res64: 3EC959921AF1927E Time : 0.0 sec. user=vaughan [2012-04-24 16:06:54] 539*2^1131440-1 is not prime. Res64: 9AE181E4B618F8C9 Time : 0.0 sec. user=vaughan [2012-04-24 16:06:56] 465*2^1131441-1 is not prime. Res64: 8AB635EE5CE90F17 Time : 0.0 sec. user=henryzz [2012-04-24 16:08:31] 537*2^1131440-1 is not prime. Res64: 172D78CD6892EDBF Time : 0.0 sec. user=henryzz [2012-04-24 16:10:44] 401*2^1131442-1 is not prime. Res64: 2B5683B86AE72530 Time : 0.0 sec. user=marco.bs [2012-04-24 16:10:50] 513*2^1131435-1 is not prime. Res64: F87EE250EEF9813E Time : 0.0 sec. user=vaughan [2012-04-24 16:13:59] 477*2^1131442-1 is not prime. Res64: AA3C0EA1B173361D Time : 0.0 sec. user=vaughan [2012-04-24 16:14:00] 527*2^1131442-1 is not prime. Res64: 33DE71F9726F34D5 Time : 0.0 sec. user=vaughan [2012-04-24 16:17:26] 545*2^1131442-1 is not prime. Res64: 086203FB058F68E3 Time : 0.0 sec. user=vaughan [2012-04-24 16:17:27] 561*2^1131442-1 is not prime. Res64: 42A0C1E656786DF1 Time : 0.0 sec. user=henryzz [2012-04-24 16:24:36] 411*2^1131443-1 is not prime. Res64: D69F1C2B72DEAB8E Time : 0.0 sec. user=henryzz [2012-04-24 16:25:24] 451*2^1131443-1 is not prime. Res64: FF30694CC7BA82C8 Time : 0.0 sec. user=vaughan [2012-04-24 16:25:30] 463*2^1131443-1 is not prime. Res64: 6468BFA3B9C5E448 Time : 0.0 sec. user=vaughan [2012-04-24 16:25:30] 465*2^1131443-1 is not prime. Res64: C6D7ADE65ECD7699 Time : 0.0 sec. user=vaughan [2012-04-24 16:26:59] 453*2^1131444-1 is not prime. Res64: C2E76A7D62433882 Time : 0.0 sec. user=vaughan [2012-04-24 16:27:00] 405*2^1131445-1 is not prime. Res64: 21C1C0E5AF6B7EA8 Time : 0.0 sec. user=henryzz [2012-04-24 16:30:26] 415*2^1131445-1 is not prime. Res64: BB56DFB463576BA2 Time : 0.0 sec. user=henryzz [2012-04-24 16:32:20] 555*2^1131445-1 is not prime. Res64: 3B9398D395AA2580 Time : 0.0 sec. user=vaughan [2012-04-24 16:34:09] 507*2^1131446-1 is not prime. Res64: 1FBEF997B48FBEB5 Time : 0.0 sec. user=vaughan [2012-04-24 16:34:10] 581*2^1131446-1 is not prime. Res64: B21411D0770979FD Time : 0.0 sec. user=vaughan [2012-04-24 16:37:38] 423*2^1131447-1 is not prime. Res64: 1D703A18719AC631 Time : 0.0 sec. user=vaughan [2012-04-24 16:37:39] 475*2^1131447-1 is not prime. Res64: 5C7C3C368F42C860 Time : 0.0 sec. user=vaughan [2012-04-24 16:45:40] 565*2^1131447-1 is not prime. Res64: 186A104C648CA9F2 Time : 0.0 sec. user=vaughan [2012-04-24 16:45:41] 585*2^1131447-1 is not prime. Res64: 11C6EAA3948CCB06 Time : 0.0 sec. user=henryzz [2012-04-24 16:46:01] 493*2^1131447-1 is not prime. Res64: 105E7DA35F22D815 Time : 0.0 sec. user=henryzz [2012-04-24 16:46:52] 467*2^1131448-1 is not prime. Res64: F991369998981F33 Time : 0.0 sec. user=vaughan [2012-04-24 16:47:05] 465*2^1131449-1 is not prime. Res64: 5DC17F5A3240C689 Time : 0.0 sec. user=vaughan [2012-04-24 16:47:06] 469*2^1131449-1 is not prime. Res64: A15E243D449978AD Time : 0.0 sec. user=henryzz [2012-04-24 16:52:52] 517*2^1131449-1 is not prime. Res64: A83310DA045F0571 Time : 0.0 sec. user=vaughan [2012-04-24 16:54:17] 437*2^1131452-1 is not prime. Res64: FEE51553E1FFD167 Time : 0.0 sec. user=vaughan [2012-04-24 16:54:17] 449*2^1131452-1 is not prime. Res64: 00C048AE713B10F6 Time : 0.0 sec. user=henryzz [2012-04-24 16:54:38] 499*2^1131451-1 is not prime. Res64: 150E72DE50FBAFB9 Time : 0.0 sec. user=vaughan [2012-04-24 16:57:49] 459*2^1131452-1 is not prime. Res64: 6EC7B149B03AE65A Time : 0.0 sec. user=vaughan [2012-04-24 16:57:50] 557*2^1131452-1 is not prime. Res64: 3859F8BBE55D3379 Time : 0.0 sec. user=marco.bs [2012-04-24 16:58:14] 465*2^1131445-1 is not prime. Res64: 80FA5A4A1B82CFC5 Time : 0.0 sec. user=vaughan [2012-04-24 17:05:43] 481*2^1131453-1 is not prime. Res64: 339A10BE40E556C7 Time : 0.0 sec. user=vaughan [2012-04-24 17:05:45] 517*2^1131453-1 is not prime. Res64: 5F7862E5DDDBA794 Time : 0.0 sec. user=vaughan [2012-04-24 17:07:14] 551*2^1131454-1 is not prime. Res64: 36807837734D3D3F Time : 0.0 sec. user=vaughan [2012-04-24 17:07:16] 555*2^1131454-1 is not prime. Res64: F02B2A38B3715B9C Time : 0.0 sec. user=henryzz [2012-04-24 17:09:44] 591*2^1131453-1 is not prime. Res64: 0689A46FF56B41C2 Time : 0.0 sec. user=henryzz [2012-04-24 17:10:33] 495*2^1131454-1 is not prime. Res64: 1A846A1FBCBA38B9 Time : 0.0 sec. user=vaughan [2012-04-24 17:14:22] 511*2^1131455-1 is not prime. Res64: B498DA4B5B67FAD5 Time : 0.0 sec. user=vaughan [2012-04-24 17:14:22] 553*2^1131455-1 is not prime. Res64: 211665AD7765D5CF Time : 0.0 sec. user=henryzz [2012-04-24 17:16:15] 421*2^1131455-1 is not prime. Res64: 66F95C4A2958584A Time : 0.0 sec. user=vaughan [2012-04-24 17:17:59] 473*2^1131456-1 is not prime. Res64: B255EE06437112C6 Time : 0.0 sec. user=vaughan [2012-04-24 17:18:00] 497*2^1131456-1 is not prime. Res64: 9FD2C879B1FC63AE Time : 0.0 sec. user=henryzz [2012-04-24 17:18:11] 595*2^1131455-1 is not prime. Res64: AB25764F60BCA0A0 Time : 0.0 sec. user=vaughan [2012-04-24 17:25:58] 563*2^1131456-1 is not prime. Res64: 20478A2779E56856 Time : 0.0 sec. user=vaughan [2012-04-24 17:25:59] 567*2^1131456-1 is not prime. Res64: 15C72B721BAE6453 Time : 0.0 sec. user=vaughan [2012-04-24 17:27:22] 589*2^1131457-1 is not prime. Res64: D218135ACAD925A9 Time : 0.0 sec. user=vaughan [2012-04-24 17:27:23] 595*2^1131457-1 is not prime. Res64: 3F2B7032F01A723F Time : 0.0 sec. user=henryzz [2012-04-24 17:33:17] 551*2^1131458-1 is not prime. Res64: E8212DE144DB3BD9 Time : 0.0 sec. user=vaughan [2012-04-24 17:34:36] 493*2^1131459-1 is not prime. Res64: 3EB59A20C30B57DE Time : 0.0 sec. user=vaughan [2012-04-24 17:34:37] 511*2^1131459-1 is not prime. Res64: 621131E044985183 Time : 0.0 sec. user=henryzz [2012-04-24 17:34:59] 441*2^1131459-1 is not prime. Res64: 582B2808660F56DF Time : 0.0 sec. user=vaughan [2012-04-24 17:38:12] 489*2^1131460-1 is not prime. Res64: 166FC1D0E06230BA Time : 0.0 sec. user=vaughan [2012-04-24 17:38:12] 525*2^1131460-1 is not prime. Res64: BF386BE3484EF85E Time : 0.0 sec. user=henryzz [2012-04-24 17:40:21] 437*2^1131460-1 is not prime. Res64: 50D5E5BE6966E718 Time : 0.0 sec. user=henryzz [2012-04-24 17:42:27] 451*2^1131461-1 is not prime. Res64: 23CC1F3F814AAF65 Time : 0.0 sec. user=marco.bs [2012-04-24 17:45:32] 509*2^1131456-1 is not prime. Res64: 51F2DC8CBEFF1BA3 Time : 0.0 sec. user=vaughan [2012-04-24 17:46:10] 465*2^1131461-1 is not prime. Res64: 9E6327FEB5ACD682 Time : 0.0 sec. user=vaughan [2012-04-24 17:46:11] 475*2^1131461-1 is not prime. Res64: B87E71B957AA0567 Time : 0.0 sec. user=vaughan [2012-04-24 17:47:23] 547*2^1131461-1 is not prime. Res64: 023D276A40A9885E Time : 0.0 sec. user=vaughan [2012-04-24 17:47:23] 565*2^1131461-1 is not prime. Res64: 401BB3BAD25EB229 Time : 0.0 sec. user=vaughan [2012-04-24 17:53:34] 433*2^1131375-1 is not prime. Res64: 213982B0837A3505 Time : 0.0 sec. user=vaughan [2012-04-24 17:53:39] 573*2^1131374-1 is not prime. Res64: B2754A901D353F13 Time : 0.0 sec. user=vaughan [2012-04-24 17:53:43] 493*2^1131375-1 is not prime. Res64: 1191BE6975F11CE3 Time : 0.0 sec. user=vaughan [2012-04-24 17:54:06] 407*2^1131376-1 is not prime. Res64: 91FE47CF2696B043 Time : 0.0 sec. user=vaughan [2012-04-24 17:54:46] 425*2^1131462-1 is not prime. Res64: 0132573B70D83F9E Time : 0.0 sec. user=vaughan [2012-04-24 17:54:47] 513*2^1131462-1 is not prime. Res64: 242C2E3FD201261F Time : 0.0 sec. user=vaughan [2012-04-24 17:58:29] 525*2^1131462-1 is not prime. Res64: 4F0CCC65EB6AA399 Time : 0.0 sec. user=vaughan [2012-04-24 17:58:29] 551*2^1131462-1 is not prime. Res64: A82CBC254C853849 Time : 0.0 sec. user=henryzz [2012-04-24 18:02:48] 411*2^1131463-1 is not prime. Res64: 12693125EC4CE2CB Time : 0.0 sec. user=henryzz [2012-04-24 18:05:02] 439*2^1131463-1 is not prime. Res64: A87C0369E45C901F Time : 0.0 sec. user=vaughan [2012-04-24 18:06:28] 511*2^1131463-1 is not prime. Res64: 28C38F6D4594ECB6 Time : 0.0 sec. user=vaughan [2012-04-24 18:06:29] 559*2^1131463-1 is not prime. Res64: C76A773837FD7B21 Time : 0.0 sec. user=vaughan [2012-04-24 18:07:27] 437*2^1131464-1 is not prime. Res64: CFFB111C7570C71D Time : 0.0 sec. user=vaughan [2012-04-24 18:07:28] 465*2^1131464-1 is not prime. Res64: C3264D0873099401 Time : 0.0 sec. user=henryzz [2012-04-24 18:08:27] 401*2^1131462-1 is not prime. Res64: 8D0FADC716F0B0FB Time : 0.0 sec. user=henryzz [2012-04-24 18:08:29] 521*2^1131462-1 is not prime. Res64: 0573DE965F8F6559 Time : 0.0 sec. user=vaughan [2012-04-24 18:09:06] 567*2^1131464-1 is not prime. Res64: 4185F06DD0DC24C7 Time : 0.0 sec. user=vaughan [2012-04-24 18:09:13] 465*2^1131465-1 is not prime. Res64: B3DA11C7A4C6521C Time : 0.0 sec. user=vaughan [2012-04-24 18:09:14] 511*2^1131465-1 is not prime. Res64: 6DC5D62E2F7EAAEA Time : 0.0 sec. user=vaughan [2012-04-24 18:09:41] 517*2^1131465-1 is not prime. Res64: 345C5C9B8AC488C6 Time : 0.0 sec. user=vaughan [2012-04-24 18:14:56] 579*2^1131465-1 is not prime. Res64: CBB8B451316A348B Time : 0.0 sec. user=vaughan [2012-04-24 18:14:57] 413*2^1131466-1 is not prime. Res64: 79DFD479092B8065 Time : 0.0 sec. user=vaughan [2012-04-24 18:18:52] 461*2^1131466-1 is not prime. Res64: CB253F9DACE4C6EA Time : 0.0 sec. user=vaughan [2012-04-24 18:18:52] 465*2^1131466-1 is not prime. Res64: 2BA8255DC546DAB5 Time : 0.0 sec. user=vaughan [2012-04-24 18:24:42] 437*2^1131470-1 is not prime. Res64: 04F88C499628A876 Time : 0.0 sec. user=vaughan [2012-04-24 18:24:53] 483*2^1131470-1 is not prime. Res64: 27B3D468236FE2DD Time : 0.0 sec. user=vaughan [2012-04-24 18:24:55] 503*2^1131470-1 is not prime. Res64: F50BD8F0F6CC4749 Time : 0.0 sec. user=vaughan [2012-04-24 18:25:23] 515*2^1131470-1 is not prime. Res64: 8A66001CFF01D546 Time : 0.0 sec. user=henryzz [2012-04-24 18:26:34] 483*2^1131466-1 is not prime. Res64: F2194D062D1D7BB9 Time : 0.0 sec. user=vaughan [2012-04-24 18:26:46] 529*2^1131467-1 is not prime. Res64: 322DA2019CE82143 Time : 0.0 sec. user=vaughan [2012-04-24 18:26:47] 549*2^1131467-1 is not prime. Res64: F9E7868500827FE0 Time : 0.0 sec. user=vaughan [2012-04-24 18:27:36] 563*2^1131468-1 is not prime. Res64: ADB2D2E0E5BA7D43 Time : 0.0 sec. user=vaughan [2012-04-24 18:27:37] 597*2^1131468-1 is not prime. Res64: 3741CFC1E9437DF9 Time : 0.0 sec. user=henryzz [2012-04-24 18:28:49] 573*2^1131466-1 is not prime. Res64: C3D24787D1AA67D6 Time : 0.0 sec. user=henryzz [2012-04-24 18:31:10] 421*2^1131469-1 is not prime. Res64: 68375890D27A5E0C Time : 0.0 sec. user=gd_barnes [2012-04-24 18:31:58] 451*2^1131467-1 is not prime. Res64: 201D55971E66FD27 Time : 0.0 sec. user=henryzz [2012-04-24 18:32:06] 561*2^1131469-1 is not prime. Res64: CB8C1B6427D66B6F Time : 0.0 sec. user=marco.bs [2012-04-24 18:32:45] 493*2^1131463-1 is not prime. Res64: 11F5DDFD0FE646D8 Time : 0.0 sec. user=vaughan [2012-04-24 18:34:57] 423*2^1131471-1 is not prime. Res64: 84A80483E42A9D14 Time : 0.0 sec. user=vaughan [2012-04-24 18:34:58] 465*2^1131471-1 is not prime. Res64: 8C4BD1DEE453C733 Time : 0.0 sec. user=vaughan [2012-04-24 18:39:08] 489*2^1131471-1 is not prime. Res64: 4EA71F86147B9652 Time : 0.0 sec. user=vaughan [2012-04-24 18:39:08] 489*2^1131472-1 is not prime. Res64: 4EF88494F45685DC Time : 0.0 sec. user=vaughan [2012-04-24 18:40:15] 563*2^1131472-1 is not prime. Res64: 0FD28AB955D3C916 Time : 0.0 sec. user=vaughan [2012-04-24 18:40:29] 445*2^1131473-1 is not prime. Res64: 99C4AD5E1B3F3C6D Time : 0.0 sec. user=vaughan [2012-04-24 18:40:29] 441*2^1131473-1 is not prime. Res64: B01AC384F51853CB Time : 0.0 sec. user=vaughan [2012-04-24 18:40:58] 487*2^1131473-1 is not prime. Res64: CC69F2D8AD435C27 Time : 0.0 sec. user=vaughan [2012-04-24 18:47:01] 501*2^1131473-1 is not prime. Res64: 745CCD1551BB439D Time : 0.0 sec. user=vaughan [2012-04-24 18:47:02] 591*2^1131473-1 is not prime. Res64: 3AA6D3CFD89AA17E Time : 0.0 sec. user=vaughan [2012-04-24 18:47:40] 411*2^1131474-1 is not prime. Res64: 01422B3A7DDA6D3B Time : 0.0 sec. user=vaughan [2012-04-24 18:47:41] 465*2^1131474-1 is not prime. Res64: A0CDA1351CF5D357 Time : 0.0 sec. user=vaughan [2012-04-24 18:54:39] 465*2^1131468-1 is not prime. Res64: 47C6430D3F5C605D Time : 0.0 sec. user=vaughan [2012-04-24 18:54:59] 499*2^1131475-1 is not prime. Res64: 580979FA724F1BBE Time : 0.0 sec. user=vaughan [2012-04-24 18:55:00] 595*2^1131475-1 is not prime. Res64: 6F74455341D3FC6E Time : 0.0 sec. user=vaughan [2012-04-24 18:56:00] 495*2^1131476-1 is not prime. Res64: DCE216C63942802A Time : 0.0 sec. user=vaughan [2012-04-24 18:56:13] 519*2^1131476-1 is not prime. Res64: 3C6452B21C251E7C Time : 0.0 sec. user=vaughan [2012-04-24 18:56:21] 495*2^1131477-1 is not prime. Res64: BD2910459BCBA850 Time : 0.0 sec. user=vaughan [2012-04-24 18:56:40] 499*2^1131477-1 is not prime. Res64: 30CF5274629C4B05 Time : 0.0 sec. user=vaughan [2012-04-24 18:59:16] 417*2^1131476-1 is not prime. Res64: 9500A19D32084324 Time : 0.0 sec. user=vaughan [2012-04-24 18:59:17] 479*2^1131476-1 is not prime. Res64: 54A5C3230ED08D27 Time : 0.0 sec. user=vaughan [2012-04-24 19:07:15] 507*2^1131477-1 is not prime. Res64: 2879F83B0087A464 Time : 0.0 sec. user=vaughan [2012-04-24 19:07:18] 471*2^1131478-1 is not prime. Res64: 62ED7F54371D1E0F Time : 0.0 sec. user=vaughan [2012-04-24 19:07:53] 483*2^1131478-1 is not prime. Res64: 1173234062B9AD77 Time : 0.0 sec. user=vaughan [2012-04-24 19:07:55] 433*2^1131479-1 is not prime. Res64: 73D36C892DBAABFC Time : 0.0 sec. user=vaughan [2012-04-24 19:11:42] 511*2^1131481-1 is not prime. Res64: 03E7F913EEC7C1D4 Time : 0.0 sec. user=vaughan [2012-04-24 19:11:53] 591*2^1131481-1 is not prime. Res64: 304F99DC685BB348 Time : 0.0 sec. user=vaughan [2012-04-24 19:12:04] 407*2^1131482-1 is not prime. Res64: A61082A47147006E Time : 0.0 sec. user=vaughan [2012-04-24 19:12:21] 503*2^1131482-1 is not prime. Res64: 4B63AC0D502AD828 Time : 0.0 sec. user=vaughan [2012-04-24 19:15:07] 573*2^1131479-1 is not prime. Res64: 6E3E0935785BC101 Time : 0.0 sec. user=vaughan [2012-04-24 19:15:08] 525*2^1131480-1 is not prime. Res64: 55AD13A22EC36D45 Time : 0.0 sec. user=vaughan [2012-04-24 19:19:29] 429*2^1131484-1 is not prime. Res64: BD33DA3F52127168 Time : 0.0 sec. user=vaughan [2012-04-24 19:19:30] 437*2^1131484-1 is not prime. Res64: D674076CCA4A83A4 Time : 0.0 sec. user=vaughan [2012-04-24 19:27:18] 587*2^1131484-1 is not prime. Res64: 19CF6992337EA050 Time : 0.0 sec. user=vaughan [2012-04-24 19:27:28] 453*2^1131484-1 is not prime. Res64: 5BC1AA269743F7FE Time : 0.0 sec. user=vaughan [2012-04-24 19:27:29] 479*2^1131484-1 is not prime. Res64: 6222A9A1BE050A3C Time : 0.0 sec. user=vaughan [2012-04-24 19:27:31] 451*2^1131485-1 is not prime. Res64: C9A96A5C24CA511A Time : 0.0 sec. user=vaughan [2012-04-24 19:27:45] 477*2^1131485-1 is not prime. Res64: 1B684BA56750B9BE Time : 0.0 sec. user=vaughan [2012-04-24 19:27:59] 525*2^1131485-1 is not prime. Res64: 4DAE1C45564C610A Time : 0.0 sec. user=vaughan [2012-04-24 19:28:07] 539*2^1131484-1 is not prime. Res64: E999024631D585AF Time : 0.0 sec. user=vaughan [2012-04-24 19:28:08] 569*2^1131484-1 is not prime. Res64: 69E11372CCF6B10B Time : 0.0 sec. user=vaughan [2012-04-24 19:35:22] 495*2^1131486-1 is not prime. Res64: B48CA4A0C08CEFA7 Time : 0.0 sec. user=vaughan [2012-04-24 19:35:22] 525*2^1131486-1 is not prime. Res64: 1B7FC8D9253134FB Time : 0.0 sec. user=vaughan [2012-04-24 19:39:35] 475*2^1131487-1 is not prime. Res64: CEF09E85C5F887B1 Time : 0.0 sec. user=vaughan [2012-04-24 19:39:35] 493*2^1131487-1 is not prime. Res64: CBC38244833A5A64 Time : 0.0 sec. user=vaughan [2012-04-24 19:42:57] 523*2^1131487-1 is not prime. Res64: B14056FC0CD98261 Time : 0.0 sec. user=vaughan [2012-04-24 19:43:13] 503*2^1131488-1 is not prime. Res64: E12B2A829FEA8254 Time : 0.0 sec. user=vaughan [2012-04-24 19:43:27] 509*2^1131488-1 is not prime. Res64: F17F0053F7EA0325 Time : 0.0 sec. user=vaughan [2012-04-24 19:43:38] 573*2^1131488-1 is not prime. Res64: 2C9C8D7C326474FA Time : 0.0 sec. user=vaughan [2012-04-24 19:47:37] 541*2^1131487-1 is not prime. Res64: 68AA0B8BB17E5348 Time : 0.0 sec. user=vaughan [2012-04-24 19:47:38] 495*2^1131488-1 is not prime. Res64: 6C9302551EED190E Time : 0.0 sec. user=vaughan [2012-04-24 19:48:20] 585*2^1131488-1 is not prime. Res64: E006ECF68C7797D5 Time : 0.0 sec. user=vaughan [2012-04-24 19:48:21] 427*2^1131489-1 is not prime. Res64: 223F37E93783B0A3 Time : 0.0 sec. user=vaughan [2012-04-24 19:55:37] 457*2^1131489-1 is not prime. Res64: 397815D5A1A7D734 Time : 0.0 sec. user=vaughan [2012-04-24 19:55:38] 507*2^1131489-1 is not prime. Res64: EA7B68B8A94E76C2 Time : 0.0 sec. user=vaughan [2012-04-24 19:58:41] 595*2^1131489-1 is not prime. Res64: 6D6234BDD3C5052F Time : 0.0 sec. user=vaughan [2012-04-24 19:58:54] 467*2^1131490-1 is not prime. Res64: DC823A6C8AEA56B9 Time : 0.0 sec. user=vaughan [2012-04-24 19:59:10] 525*2^1131490-1 is not prime. Res64: A83E24E25CA13CB8 Time : 0.0 sec. user=vaughan [2012-04-24 19:59:19] 527*2^1131490-1 is not prime. Res64: 9B7382767C7FAF98 Time : 0.0 sec. user=vaughan [2012-04-24 19:59:41] 549*2^1131489-1 is not prime. Res64: 447CD8F73ACB034F Time : 0.0 sec. user=vaughan [2012-04-24 19:59:41] 555*2^1131489-1 is not prime. Res64: 16E1CB941D80D1BC Time : 0.0 sec. user=vaughan [2012-04-24 20:07:44] 531*2^1131490-1 is not prime. Res64: B0DD64C44D61F783 Time : 0.0 sec. user=vaughan [2012-04-24 20:07:46] 405*2^1131492-1 is not prime. Res64: E70D80A25189A21E Time : 0.0 sec. user=vaughan [2012-04-24 20:08:25] 437*2^1131492-1 is not prime. Res64: 11DBE5D767D8DC56 Time : 0.0 sec. user=vaughan [2012-04-24 20:08:28] 483*2^1131492-1 is not prime. Res64: 33CCF3D544B15D82 Time : 0.0 sec. user=vaughan [2012-04-24 20:14:18] 511*2^1131495-1 is not prime. Res64: 6C66104A118B54D8 Time : 0.0 sec. user=vaughan [2012-04-24 20:14:39] 465*2^1131496-1 is not prime. Res64: B68C3FD3E14F803E Time : 0.0 sec. user=vaughan [2012-04-24 20:14:47] 569*2^1131496-1 is not prime. Res64: 6FC665159BECE12F Time : 0.0 sec. user=vaughan [2012-04-24 20:15:02] 441*2^1131497-1 is not prime. Res64: A8E1C59FF52C452F Time : 0.0 sec. user=vaughan [2012-04-24 20:15:43] 565*2^1131493-1 is not prime. Res64: 99D25D33D09F4B0D Time : 0.0 sec. user=vaughan [2012-04-24 20:15:44] 407*2^1131494-1 is not prime. Res64: D3C139824BF1E926 Time : 0.0 sec. user=vaughan [2012-04-24 20:19:54] 517*2^1131497-1 is not prime. Res64: 731CE1797EDB3DC4 Time : 0.0 sec. user=vaughan [2012-04-24 20:19:55] 567*2^1131497-1 is not prime. Res64: 22397DCF937CE4BB Time : 0.0 sec. user=vaughan [2012-04-24 20:27:54] 585*2^1131497-1 is not prime. Res64: 7A1EDD8EA8E1A001 Time : 0.0 sec. user=vaughan [2012-04-24 20:27:55] 453*2^1131498-1 is not prime. Res64: DAE40FEB892D987A Time : 0.0 sec. user=vaughan [2012-04-24 20:28:35] 513*2^1131498-1 is not prime. Res64: 11CF40046862725B Time : 0.0 sec. user=vaughan [2012-04-24 20:28:36] 489*2^1131499-1 is not prime. Res64: 20A99B1FE3D89406 Time : 0.0 sec. user=vaughan [2012-04-24 20:29:54] 531*2^1131499-1 is not prime. Res64: 17E3718913A68526 Time : 0.0 sec. user=vaughan [2012-04-24 20:30:22] 449*2^1131500-1 is not prime. Res64: B31D8617CC8CBB89 Time : 0.0 sec. user=vaughan [2012-04-24 20:30:28] 589*2^1131499-1 is not prime. Res64: 0C6353357ECAEE27 Time : 0.0 sec. user=vaughan [2012-04-24 20:30:51] 455*2^1131500-1 is not prime. Res64: FDE452B9A9FAB158 Time : 0.0 sec. user=vaughan [2012-04-24 20:35:54] 467*2^1131500-1 is not prime. Res64: 7F010C46067AF837 Time : 0.0 sec. user=vaughan [2012-04-24 20:35:55] 473*2^1131500-1 is not prime. Res64: 4ABFF89666FCDCB8 Time : 0.0 sec. user=vaughan [2012-04-24 20:39:56] 483*2^1131500-1 is not prime. Res64: BC1ADA94D0E0858A Time : 0.0 sec. user=vaughan [2012-04-24 20:39:57] 427*2^1131501-1 is not prime. Res64: 54E4AE1964334985 Time : 0.0 sec. user=vaughan [2012-04-24 20:45:35] 573*2^1131502-1 is not prime. Res64: 9CC37EB3BC2B0B4F Time : 0.0 sec. user=vaughan [2012-04-24 20:46:10] 423*2^1131503-1 is not prime. Res64: EDF5494D22F8CD07 Time : 0.0 sec. user=vaughan [2012-04-24 20:46:11] 519*2^1131503-1 is not prime. Res64: 5331AA56140CE54C Time : 0.0 sec. user=vaughan [2012-04-24 20:46:39] 447*2^1131504-1 is not prime. Res64: 24D38DFB1AC1285E Time : 0.0 sec. user=vaughan [2012-04-24 20:47:59] 529*2^1131501-1 is not prime. Res64: 7886C28AB6105AFB Time : 0.0 sec. user=vaughan [2012-04-24 20:48:00] 577*2^1131501-1 is not prime. Res64: C2F6B6A5BC03BE7B Time : 0.0 sec. user=vaughan [2012-04-24 20:48:48] 413*2^1131502-1 is not prime. Res64: A0B5E0463A81DC9E Time : 0.0 sec. user=vaughan [2012-04-24 20:48:48] 495*2^1131502-1 is not prime. Res64: F78FD2336F8244E0 Time : 0.0 sec. user=vaughan [2012-04-24 20:56:01] 593*2^1131504-1 is not prime. Res64: 282E138DC2227EF4 Time : 0.0 sec. user=vaughan [2012-04-24 20:56:02] 441*2^1131505-1 is not prime. Res64: 47EF45F873FA067B Time : 0.0 sec. user=vaughan [2012-04-24 21:00:05] 405*2^1131506-1 is not prime. Res64: 1DE0EB8CE9B5DFDB Time : 0.0 sec. user=vaughan [2012-04-24 21:00:08] 417*2^1131506-1 is not prime. Res64: 1E537B851FEAB8DB Time : 0.0 sec. user=vaughan [2012-04-24 21:01:19] 437*2^1131506-1 is not prime. Res64: E9097A2A85D9DC16 Time : 0.0 sec. user=vaughan [2012-04-24 21:01:54] 503*2^1131506-1 is not prime. Res64: 0C126D9FD7206676 Time : 0.0 sec. user=vaughan [2012-04-24 21:02:00] 531*2^1131506-1 is not prime. Res64: F86FEE613E1C3B73 Time : 0.0 sec. user=vaughan [2012-04-24 21:02:23] 545*2^1131506-1 is not prime. Res64: 4ACCDDAB5B6F4A8F Time : 0.0 sec. user=vaughan [2012-04-24 21:08:04] 575*2^1131506-1 is not prime. Res64: C59650939596C825 Time : 0.0 sec. user=vaughan [2012-04-24 21:08:05] 405*2^1131507-1 is not prime. Res64: 53FC99C37F4A7B92 Time : 0.0 sec. user=vaughan [2012-04-24 21:09:01] 409*2^1131507-1 is not prime. Res64: 18974EEC590ED027 Time : 0.0 sec. user=vaughan [2012-04-24 21:09:05] 445*2^1131507-1 is not prime. Res64: 8D33134BC04E5466 Time : 0.0 sec. user=vaughan [2012-04-24 21:16:15] 453*2^1131507-1 is not prime. Res64: CA129AE0E6AFFBD9 Time : 0.0 sec. user=vaughan [2012-04-24 21:16:16] 513*2^1131507-1 is not prime. Res64: 982344A6550F1151 Time : 0.0 sec. user=vaughan [2012-04-24 21:17:01] 571*2^1131509-1 is not prime. Res64: 2DC5182681B8F8D5 Time : 0.0 sec. user=vaughan [2012-04-24 21:17:43] 525*2^1131511-1 is not prime. Res64: D890AB05ABF65B57 Time : 0.0 sec. user=vaughan [2012-04-24 21:17:43] 593*2^1131510-1 is not prime. Res64: 26188FB49DC3A3F4 Time : 0.0 sec. user=vaughan [2012-04-24 21:18:12] 515*2^1131512-1 is not prime. Res64: 5665BBA0089EDE7E Time : 0.0 sec. user=vaughan [2012-04-24 21:20:22] 533*2^1131508-1 is not prime. Res64: 57D79ECF7445444C Time : 0.0 sec. user=vaughan [2012-04-24 21:20:23] 569*2^1131508-1 is not prime. Res64: C78B5BE9EDC51B77 Time : 0.0 sec. user=vaughan [2012-04-24 21:28:18] 599*2^1131512-1 is not prime. Res64: D6DF819515270E49 Time : 0.0 sec. user=vaughan [2012-04-24 21:28:19] 409*2^1131513-1 is not prime. Res64: 6A427CF72A7D9BBF Time : 0.0 sec. user=vaughan [2012-04-24 21:29:14] 429*2^1131513-1 is not prime. Res64: 224DAE0F6CA47002 Time : 0.0 sec. user=vaughan [2012-04-24 21:29:15] 439*2^1131513-1 is not prime. Res64: BE7BEF98E3AAC70B Time : 0.0 sec. user=vaughan [2012-04-24 21:32:33] 591*2^1131513-1 is not prime. Res64: 212FB1F459950568 Time : 0.0 sec. user=vaughan [2012-04-24 21:33:16] 491*2^1131514-1 is not prime. Res64: E093CAF778F4718F Time : 0.0 sec. user=vaughan [2012-04-24 21:33:16] 443*2^1131514-1 is not prime. Res64: AB5535F0FFA159F1 Time : 0.0 sec. user=vaughan [2012-04-24 21:33:44] 575*2^1131514-1 is not prime. Res64: 569E4979E537C0F7 Time : 0.0 sec. user=vaughan [2012-04-24 21:36:18] 517*2^1131513-1 is not prime. Res64: C0E1990DA10EDD20 Time : 0.0 sec. user=vaughan [2012-04-24 21:36:18] 585*2^1131513-1 is not prime. Res64: A12D7B179FA26059 Time : 0.0 sec. user=vaughan [2012-04-24 21:40:38] 493*2^1131515-1 is not prime. Res64: 7B3C3216E8441486 Time : 0.0 sec. user=vaughan [2012-04-24 21:40:38] 473*2^1131516-1 is not prime. Res64: 1A263303BD2F9A86 Time : 0.0 sec. user=vaughan [2012-04-24 21:48:04] 549*2^1131517-1 is not prime. Res64: 1CBD8203F69AD27E Time : 0.0 sec. user=vaughan [2012-04-24 21:48:30] 483*2^1131516-1 is not prime. Res64: A5B54174C5E29DA9 Time : 0.0 sec. user=vaughan [2012-04-24 21:48:31] 485*2^1131516-1 is not prime. Res64: 37A1C99241C26061 Time : 0.0 sec. user=vaughan [2012-04-24 21:48:47] 453*2^1131518-1 is not prime. Res64: 65B9D549A5C4BD55 Time : 0.0 sec. user=vaughan [2012-04-24 21:48:49] 555*2^1131517-1 is not prime. Res64: 72777B145E493128 Time : 0.0 sec. user=vaughan [2012-04-24 21:49:16] 567*2^1131518-1 is not prime. Res64: DD7B2F3DB107919F Time : 0.0 sec. user=vaughan [2012-04-24 21:49:21] 513*2^1131516-1 is not prime. Res64: A7F6DDCE93C6CD01 Time : 0.0 sec. user=vaughan [2012-04-24 21:49:22] 517*2^1131517-1 is not prime. Res64: CCB8383E77DD167A Time : 0.0 sec. user=vaughan [2012-04-24 21:56:33] 585*2^1131518-1 is not prime. Res64: 3208F383464792DA Time : 0.0 sec. user=vaughan [2012-04-24 21:56:34] 403*2^1131519-1 is not prime. Res64: D003EA0AEBA3B25A Time : 0.0 sec. user=vaughan [2012-04-24 22:00:50] 489*2^1131519-1 is not prime. Res64: 1676C484F79D9544 Time : 0.0 sec. user=vaughan [2012-04-24 22:00:51] 549*2^1131519-1 is not prime. Res64: 5836C2E44A99FB0A Time : 0.0 sec. user=vaughan [2012-04-24 22:03:34] 553*2^1131519-1 is not prime. Res64: 7BDE100CF6886AF8 Time : 0.0 sec. user=vaughan [2012-04-24 22:04:18] 405*2^1131521-1 is not prime. Res64: F20ED3E4044DB59C Time : 0.0 sec. user=vaughan [2012-04-24 22:04:19] 441*2^1131521-1 is not prime. Res64: ED47FCE5479DDFC5 Time : 0.0 sec. user=vaughan [2012-04-24 22:04:48] 529*2^1131521-1 is not prime. Res64: 521F887076017525 Time : 0.0 sec. user=vaughan [2012-04-24 22:08:43] 479*2^1131520-1 is not prime. Res64: BF698126F4F79171 Time : 0.0 sec. user=vaughan [2012-04-24 22:08:44] 539*2^1131520-1 is not prime. Res64: 6EAFDD86ED2E3C24 Time : 0.0 sec. user=vaughan [2012-04-24 22:09:28] 559*2^1131521-1 is not prime. Res64: 64C63308297C90EA Time : 0.0 sec. user=vaughan [2012-04-24 22:09:30] 437*2^1131522-1 is not prime. Res64: 1077AE85C229D3B8 Time : 0.0 sec. user=vaughan [2012-04-24 22:16:47] 497*2^1131522-1 is not prime. Res64: A7CC1878D85D2ACC Time : 0.0 sec. user=vaughan [2012-04-24 22:16:48] 503*2^1131522-1 is not prime. Res64: 2BA50BC58F8AF266 Time : 0.0 sec. user=marco.bs [2012-04-24 22:18:49] 471*2^1131475-1 is not prime. Res64: 52004C4514C0C271 Time : 0.0 sec. user=vaughan [2012-04-24 22:19:07] 555*2^1131522-1 is not prime. Res64: CE84903F32DAE130 Time : 0.0 sec. user=vaughan [2012-04-24 22:19:51] 593*2^1131522-1 is not prime. Res64: C61710EA7DC3FFEB Time : 0.0 sec. user=vaughan [2012-04-24 22:19:53] 459*2^1131524-1 is not prime. Res64: 10F0AC09DAFD645D Time : 0.0 sec. user=vaughan [2012-04-24 22:20:22] 465*2^1131525-1 is not prime. Res64: 0183038CB2AD7E9E Time : 0.0 sec. user=vaughan [2012-04-24 22:21:05] 513*2^1131522-1 is not prime. Res64: 215D0B37880561DA Time : 0.0 sec. user=vaughan [2012-04-24 22:21:06] 537*2^1131522-1 is not prime. Res64: EA804892ABA17F57 Time : 0.0 sec. user=vaughan [2012-04-24 22:29:06] 507*2^1131525-1 is not prime. Res64: E956BC6D334D9E91 Time : 0.0 sec. user=vaughan [2012-04-24 22:29:06] 537*2^1131525-1 is not prime. Res64: C2706ECF911E5A0E Time : 0.0 sec. user=vaughan [2012-04-24 22:29:46] 405*2^1131526-1 is not prime. Res64: 794AD95BD2812A35 Time : 0.0 sec. user=vaughan [2012-04-24 22:29:47] 443*2^1131526-1 is not prime. Res64: C7BE807B07BC9F99 Time : 0.0 sec. user=vaughan [2012-04-24 22:34:46] 503*2^1131528-1 is not prime. Res64: 47492B07583B068E Time : 0.0 sec. user=vaughan [2012-04-24 22:35:25] 585*2^1131528-1 is not prime. Res64: A6F6D0A2C8CD3BE7 Time : 0.0 sec. user=vaughan [2012-04-24 22:35:31] 489*2^1131529-1 is not prime. Res64: 7891BF34E1E3CA19 Time : 0.0 sec. user=vaughan [2012-04-24 22:35:57] 499*2^1131529-1 is not prime. Res64: 846A5934B12E52E5 Time : 0.0 sec. user=vaughan [2012-04-24 22:37:29] 561*2^1131526-1 is not prime. Res64: 14D5752324A80E56 Time : 0.0 sec. user=vaughan [2012-04-24 22:37:30] 585*2^1131527-1 is not prime. Res64: 7825955AD94BC4C7 Time : 0.0 sec. user=vaughan [2012-04-24 22:41:56] 511*2^1131529-1 is not prime. Res64: 7611FFA5FBA9A3BE Time : 0.0 sec. user=vaughan [2012-04-24 22:41:57] 595*2^1131529-1 is not prime. Res64: 99FD660D04C23F4B Time : 0.0 sec. user=vaughan [2012-04-24 22:49:35] 415*2^1131531-1 is not prime. Res64: 9BEC8CFD78BD6BF2 Time : 0.0 sec. user=vaughan [2012-04-24 22:49:36] 563*2^1131532-1 is not prime. Res64: 0784C61E70D585E1 Time : 0.0 sec. user=vaughan [2012-04-24 22:50:13] 475*2^1131533-1 is not prime. Res64: BA24AAE77F43998D Time : 0.0 sec. user=vaughan [2012-04-24 22:50:14] 487*2^1131533-1 is not prime. Res64: 8D066A942B8128ED Time : 0.0 sec. user=vaughan [2012-04-24 22:50:25] 517*2^1131533-1 is not prime. Res64: 9DABC182E1D838AF Time : 0.0 sec. user=vaughan [2012-04-24 22:51:02] 525*2^1131533-1 is not prime. Res64: 0301F15B9AB8F527 Time : 0.0 sec. user=vaughan [2012-04-24 22:51:09] 473*2^1131534-1 is not prime. Res64: BBD096A911D8DCCA Time : 0.0 sec. user=vaughan [2012-04-24 22:51:36] 501*2^1131534-1 is not prime. Res64: A211C501A38F17E8 Time : 0.0 sec. user=vaughan [2012-04-24 22:58:22] 521*2^1131534-1 is not prime. Res64: 578BCB7C519FEEE3 Time : 0.0 sec. user=vaughan [2012-04-24 22:58:23] 421*2^1131535-1 is not prime. Res64: BB68537DE8C0612C Time : 0.0 sec. user=vaughan [2012-04-24 23:02:54] 525*2^1131535-1 is not prime. Res64: 425CD917F394745D Time : 0.0 sec. user=vaughan [2012-04-24 23:02:55] 425*2^1131536-1 is not prime. Res64: EA0B6B1DC83A5CD3 Time : 0.0 sec. user=vaughan [2012-04-24 23:06:03] 577*2^1131537-1 is not prime. Res64: 53DA62A1F8021902 Time : 0.0 sec. user=vaughan [2012-04-24 23:06:40] 425*2^1131538-1 is not prime. Res64: 4CB9E4402A57F299 Time : 0.0 sec. user=vaughan [2012-04-24 23:06:52] 461*2^1131538-1 is not prime. Res64: B73BE96E190DE72F Time : 0.0 sec. user=vaughan [2012-04-24 23:07:14] 581*2^1131538-1 is not prime. Res64: 2E194482508FFC8C Time : 0.0 sec. user=vaughan [2012-04-24 23:10:16] 455*2^1131536-1 is not prime. Res64: BDD4ED33D7B4E7C7 Time : 0.0 sec. user=vaughan [2012-04-24 23:10:18] 457*2^1131537-1 is not prime. Res64: A214A9ECCBE272DE Time : 0.0 sec. user=vaughan [2012-04-24 23:10:32] 511*2^1131537-1 is not prime. Res64: 6C792A378956A1BB Time : 0.0 sec. user=vaughan [2012-04-24 23:10:34] 565*2^1131537-1 is not prime. Res64: CB47037E7756E688 Time : 0.0 sec. user=vaughan [2012-04-24 23:19:18] 403*2^1131539-1 is not prime. Res64: 89E176A0A65A0E78 Time : 0.0 sec. user=vaughan [2012-04-24 23:19:18] 441*2^1131539-1 is not prime. Res64: 811AF6B4F975E08E Time : 0.0 sec. user=vaughan [2012-04-24 23:21:41] 405*2^1131540-1 is not prime. Res64: 8A30418A8DB7674E Time : 0.0 sec. user=vaughan [2012-04-24 23:22:15] 437*2^1131540-1 is not prime. Res64: 0F02300E7EE9116C Time : 0.0 sec. user=vaughan [2012-04-24 23:22:34] 453*2^1131540-1 is not prime. Res64: CFE87C4CF888DB42 Time : 0.0 sec. user=vaughan [2012-04-24 23:22:54] 473*2^1131540-1 is not prime. Res64: C6C7A18C8F688451 Time : 0.0 sec. user=vaughan [2012-04-24 23:24:00] 469*2^1131539-1 is not prime. Res64: F5CAFAC92A5335F0 Time : 0.0 sec. user=vaughan [2012-04-24 23:24:00] 549*2^1131539-1 is not prime. Res64: 5755F8F5815FD37E Time : 0.0 sec. user=vaughan [2012-04-24 23:30:57] 479*2^1131540-1 is not prime. Res64: 939A20EBD69F1419 Time : 0.0 sec. user=vaughan [2012-04-24 23:30:58] 483*2^1131540-1 is not prime. Res64: A66361A7C4D3DF3F Time : 0.0 sec. user=vaughan [2012-04-24 23:31:16] 515*2^1131540-1 is not prime. Res64: D84342416BF2AE59 Time : 0.0 sec. user=vaughan [2012-04-24 23:31:17] 537*2^1131540-1 is not prime. Res64: 62C148566BBBFA37 Time : 0.0 sec. user=vaughan [2012-04-24 23:37:21] 423*2^1131542-1 is not prime. Res64: C91C8B1AA64FF886 Time : 0.0 sec. user=vaughan [2012-04-24 23:37:56] 431*2^1131542-1 is not prime. Res64: F79FB54A044D4DAC Time : 0.0 sec. user=vaughan [2012-04-24 23:38:11] 521*2^1131542-1 is not prime. Res64: 11EEFF2DB9657FD4 Time : 0.0 sec. user=vaughan [2012-04-24 23:38:37] 533*2^1131542-1 is not prime. Res64: F74D5122DA75AD29 Time : 0.0 sec. user=vaughan [2012-04-24 23:40:12] 569*2^1131540-1 is not prime. Res64: 89245B11DBD5B62E Time : 0.0 sec. user=vaughan [2012-04-24 23:40:13] 465*2^1131541-1 is not prime. Res64: 06109E1D08092648 Time : 0.0 sec. user=vaughan [2012-04-24 23:44:51] 441*2^1131543-1 is not prime. Res64: 87D3E885C7F85498 Time : 0.0 sec. user=vaughan [2012-04-24 23:44:51] 471*2^1131543-1 is not prime. Res64: B6E4975B23184B2A Time : 0.0 sec. user=vaughan [2012-04-24 23:51:36] 565*2^1131543-1 is not prime. Res64: EB4A12A32CECBA98 Time : 0.0 sec. user=vaughan [2012-04-24 23:51:37] 409*2^1131545-1 is not prime. Res64: 82E3F7DB5F238EB9 Time : 0.0 sec. user=vaughan [2012-04-24 23:52:00] 481*2^1131545-1 is not prime. Res64: 2E52A4A549F85EA7 Time : 0.0 sec. user=vaughan [2012-04-24 23:52:00] 487*2^1131545-1 is not prime. Res64: 3E3BABA7568605F7 Time : 0.0 sec. user=vaughan [2012-04-24 23:53:00] 511*2^1131545-1 is not prime. Res64: 8D3D2E95EB7C185C Time : 0.0 sec. user=vaughan [2012-04-24 23:53:36] 547*2^1131545-1 is not prime. Res64: 4059B54712CCD3AF Time : 0.0 sec. user=vaughan [2012-04-24 23:53:48] 413*2^1131546-1 is not prime. Res64: 24DDD7110FC7C305 Time : 0.0 sec. user=vaughan [2012-04-24 23:54:17] 447*2^1131546-1 is not prime. Res64: B916350FED4579EC Time : 0.0 sec.