user=vaughan [2009-08-01 00:00:04] 503*2^705276-1 is not prime. Res64: 0E25F75EF942E173 Time : 1975.0 sec. user=vaughan [2009-08-01 00:02:08] 465*2^705279-1 is not prime. Res64: 0F5DDB7B7AF8521A Time : 453.0 sec. user=vaughan [2009-08-01 00:02:58] 587*2^705276-1 is not prime. Res64: 8B56957E1C9351E5 Time : 1982.0 sec. user=vaughan [2009-08-01 00:04:06] 405*2^705277-1 is not prime. Res64: C92253398C9FE78B Time : 1946.0 sec. user=vaughan [2009-08-01 00:05:56] 471*2^705279-1 is not prime. Res64: 8E40C5DC2EDAA8A9 Time : 463.0 sec. user=vaughan [2009-08-01 00:09:42] 437*2^705280-1 is not prime. Res64: CC4AC29EFB9C7D7B Time : 454.0 sec. user=vaughan [2009-08-01 00:12:22] 567*2^705277-1 is not prime. Res64: D6670F9B06552EFD Time : 1889.0 sec. user=vaughan [2009-08-01 00:13:48] 513*2^705280-1 is not prime. Res64: 00D7597E3DD036E3 Time : 473.0 sec. user=vaughan [2009-08-01 00:17:17] 563*2^705280-1 is not prime. Res64: ACAD62FD652A0E63 Time : 455.0 sec. user=vaughan [2009-08-01 00:21:31] 447*2^705281-1 is not prime. Res64: C8BB596D84BEA55D Time : 464.0 sec. user=vaughan [2009-08-01 00:24:50] 475*2^705281-1 is not prime. Res64: 265F98F3B2F73AC0 Time : 453.0 sec. user=vaughan [2009-08-01 00:29:14] 585*2^705281-1 is not prime. Res64: 35B664822BB3686D Time : 464.0 sec. user=vaughan [2009-08-01 00:32:23] 405*2^705282-1 is not prime. Res64: 8426C7B96039B5C9 Time : 453.0 sec. user=vaughan [2009-08-01 00:36:57] 471*2^705282-1 is not prime. Res64: 2A679C65A957799D Time : 464.0 sec. user=vaughan [2009-08-01 00:39:56] 497*2^705282-1 is not prime. Res64: 14EEB220B0F98C29 Time : 453.0 sec. user=vaughan [2009-08-01 00:44:40] 537*2^705282-1 is not prime. Res64: 8CF75A808D6DC85E Time : 464.0 sec. user=vaughan [2009-08-01 00:45:51] 571*2^705279-1 is not prime. Res64: E33696F2C04E91C7 Time : 2748.0 sec. user=vaughan [2009-08-01 00:47:29] 415*2^705283-1 is not prime. Res64: 51965CEE9997617F Time : 453.0 sec. user=vaughan [2009-08-01 00:51:26] 465*2^705280-1 is not prime. Res64: C26D3C0F7BC28C63 Time : 2908.0 sec. user=vaughan [2009-08-01 00:51:52] 483*2^705280-1 is not prime. Res64: 0FD103D338C723F7 Time : 2867.0 sec. user=vaughan [2009-08-01 00:52:23] 475*2^705283-1 is not prime. Res64: 01F4CA722EAB68D4 Time : 464.0 sec. user=vaughan [2009-08-01 00:55:03] 409*2^705285-1 is not prime. Res64: 5B18E2FD504E6A13 Time : 454.0 sec. user=vaughan [2009-08-01 01:00:06] 565*2^705285-1 is not prime. Res64: EC4EA5FD747C00B1 Time : 464.0 sec. user=vaughan [2009-08-01 01:02:13] 405*2^705281-1 is not prime. Res64: 5E133A8785091522 Time : 2991.0 sec. user=vaughan [2009-08-01 01:02:36] 577*2^705285-1 is not prime. Res64: CA60FDF4E89A5475 Time : 453.0 sec. user=vaughan [2009-08-01 01:07:50] 591*2^705285-1 is not prime. Res64: 32B7BD4769AA0E62 Time : 465.0 sec. user=vaughan [2009-08-01 01:10:09] 483*2^705286-1 is not prime. Res64: B56F08AC5695004E Time : 453.0 sec. user=vaughan [2009-08-01 01:15:33] 525*2^705286-1 is not prime. Res64: F63CCEDBA8CBE4C7 Time : 464.0 sec. user=vaughan [2009-08-01 01:17:42] 575*2^705286-1 is not prime. Res64: FD1B8BAAB959CC6C Time : 453.0 sec. user=vaughan [2009-08-01 01:23:16] 581*2^705286-1 is not prime. Res64: 7B8EE11BC2DBD40C Time : 463.0 sec. user=vaughan [2009-08-01 01:25:15] 591*2^705286-1 is not prime. Res64: 592C46A462AC6035 Time : 453.0 sec. user=vaughan [2009-08-01 01:26:51] 477*2^705284-1 is not prime. Res64: C931340C01450631 Time : 2461.0 sec. user=vaughan [2009-08-01 01:30:59] 423*2^705287-1 is not prime. Res64: 2AC18A908B47C868 Time : 463.0 sec. user=vaughan [2009-08-01 01:31:06] 445*2^705285-1 is not prime. Res64: FE433DC73071FD3A Time : 2380.0 sec. user=vaughan [2009-08-01 01:31:44] 475*2^705285-1 is not prime. Res64: B8B817640578D443 Time : 2392.0 sec. user=vaughan [2009-08-01 01:32:50] 433*2^705287-1 is not prime. Res64: 6477045AEA090860 Time : 455.0 sec. user=vaughan [2009-08-01 01:38:39] 523*2^705287-1 is not prime. Res64: AED5890BF3ABB7F2 Time : 461.0 sec. user=vaughan [2009-08-01 01:40:26] 453*2^705288-1 is not prime. Res64: 85994A7CE8C7ADC9 Time : 456.0 sec. user=vaughan [2009-08-01 01:41:43] 437*2^705286-1 is not prime. Res64: D31F867FF075F635 Time : 2371.0 sec. user=vaughan [2009-08-01 01:46:20] 507*2^705288-1 is not prime. Res64: 6D94C588694CA5CB Time : 462.0 sec. user=vaughan [2009-08-01 01:48:02] 515*2^705288-1 is not prime. Res64: E947C8DA8F07AB48 Time : 456.0 sec. user=vaughan [2009-08-01 01:53:59] 457*2^705289-1 is not prime. Res64: 9A28A9E3FE2B79C6 Time : 460.0 sec. user=vaughan [2009-08-01 01:55:38] 477*2^705289-1 is not prime. Res64: 58C506B12C554C1E Time : 456.0 sec. user=vaughan [2009-08-01 02:01:39] 555*2^705289-1 is not prime. Res64: 6FCBDF22CC15D53B Time : 460.0 sec. user=vaughan [2009-08-01 02:03:14] 407*2^705290-1 is not prime. Res64: 0565582DC80BD9EC Time : 456.0 sec. user=vaughan [2009-08-01 02:06:14] 439*2^705287-1 is not prime. Res64: 60BD1BD0DDA11638 Time : 2363.0 sec. user=vaughan [2009-08-01 02:09:20] 411*2^705290-1 is not prime. Res64: EB23D943E0C115CD Time : 461.0 sec. user=vaughan [2009-08-01 02:10:50] 447*2^705290-1 is not prime. Res64: 3E36B57CC037E4A1 Time : 456.0 sec. user=vaughan [2009-08-01 02:15:44] 589*2^705287-1 is not prime. Res64: F37B1A43CB0A77F4 Time : 2678.0 sec. user=vaughan [2009-08-01 02:16:11] 595*2^705287-1 is not prime. Res64: 776BBFA8807FB3E0 Time : 2667.0 sec. user=vaughan [2009-08-01 02:16:58] 441*2^705291-1 is not prime. Res64: FE87F047D31DD2D9 Time : 458.0 sec. user=vaughan [2009-08-01 02:18:25] 469*2^705291-1 is not prime. Res64: 09575C8C83B4127C Time : 455.0 sec. user=vaughan [2009-08-01 02:24:38] 497*2^705292-1 is not prime. Res64: 9F8621379A32AD4B Time : 460.0 sec. user=vaughan [2009-08-01 02:26:01] 519*2^705292-1 is not prime. Res64: 2234E32AD36A3B0B Time : 456.0 sec. user=vaughan [2009-08-01 02:26:20] 411*2^705289-1 is not prime. Res64: 971C5C0F20749E7B Time : 2677.0 sec. user=vaughan [2009-08-01 02:32:21] 527*2^705292-1 is not prime. Res64: FAA2A3A3794C0677 Time : 463.0 sec. user=vaughan [2009-08-01 02:33:37] 537*2^705292-1 is not prime. Res64: C9C17D31E66431A3 Time : 456.0 sec. user=vaughan [2009-08-01 02:40:01] 569*2^705292-1 is not prime. Res64: EC970DAC4C7BEE2B Time : 460.0 sec. user=vaughan [2009-08-01 02:41:13] 487*2^705293-1 is not prime. Res64: BB0B3CCEBFE4B5BD Time : 456.0 sec. user=vaughan [2009-08-01 02:47:41] 519*2^705293-1 is not prime. Res64: 00CB086692D645F4 Time : 460.0 sec. user=vaughan [2009-08-01 02:48:49] 549*2^705293-1 is not prime. Res64: DB4AC82A2EE2684A Time : 456.0 sec. user=vaughan [2009-08-01 02:50:58] 521*2^705290-1 is not prime. Res64: 3EE3E3F1DF265681 Time : 2684.0 sec. user=vaughan [2009-08-01 02:55:22] 559*2^705293-1 is not prime. Res64: 72EA3B781D400E77 Time : 461.0 sec. user=vaughan [2009-08-01 02:55:24] 541*2^705291-1 is not prime. Res64: 3E801029A9A55DFF Time : 2381.0 sec. user=vaughan [2009-08-01 02:55:28] 483*2^705292-1 is not prime. Res64: DC1E95C99920EAE9 Time : 2357.0 sec. user=vaughan [2009-08-01 02:56:24] 411*2^705294-1 is not prime. Res64: C23620C453A322EE Time : 455.0 sec. user=vaughan [2009-08-01 03:03:02] 473*2^705294-1 is not prime. Res64: 3F1757557514540C Time : 460.0 sec. user=vaughan [2009-08-01 03:03:59] 563*2^705294-1 is not prime. Res64: 6CF7F5D1B7DF3633 Time : 455.0 sec. user=vaughan [2009-08-01 03:05:39] 549*2^705292-1 is not prime. Res64: 3822A72249647615 Time : 2359.0 sec. user=vaughan [2009-08-01 03:10:42] 421*2^705295-1 is not prime. Res64: 3E2D90F42B91EC42 Time : 460.0 sec. user=vaughan [2009-08-01 03:11:34] 493*2^705295-1 is not prime. Res64: A4CF09173344F5E3 Time : 455.0 sec. user=vaughan [2009-08-01 03:18:22] 479*2^705296-1 is not prime. Res64: 2B9EBE2F6CF33687 Time : 460.0 sec. user=vaughan [2009-08-01 03:19:09] 525*2^705296-1 is not prime. Res64: A66436C6DE826156 Time : 455.0 sec. user=vaughan [2009-08-01 03:26:02] 563*2^705296-1 is not prime. Res64: C9E09521DC233860 Time : 460.0 sec. user=vaughan [2009-08-01 03:26:44] 593*2^705296-1 is not prime. Res64: 0CAB5E40FDCB3240 Time : 455.0 sec. user=vaughan [2009-08-01 03:30:29] 417*2^705294-1 is not prime. Res64: 0AE6ED4D015CF785 Time : 2371.0 sec. user=vaughan [2009-08-01 03:33:43] 465*2^705297-1 is not prime. Res64: ACFF3E4D90F5E9BD Time : 461.0 sec. user=vaughan [2009-08-01 03:34:19] 495*2^705297-1 is not prime. Res64: 67CC791BB5F1FA13 Time : 455.0 sec. user=vaughan [2009-08-01 03:34:56] 513*2^705294-1 is not prime. Res64: F99EA1F913C8B302 Time : 2372.0 sec. user=vaughan [2009-08-01 03:34:58] 543*2^705294-1 is not prime. Res64: 3E863AE6AB10341C Time : 2371.0 sec. user=vaughan [2009-08-01 03:41:23] 549*2^705297-1 is not prime. Res64: A3959A97D81906A2 Time : 460.0 sec. user=vaughan [2009-08-01 03:41:54] 413*2^705298-1 is not prime. Res64: B28B60CA22F54D51 Time : 455.0 sec. user=vaughan [2009-08-01 03:45:02] 459*2^705296-1 is not prime. Res64: FF01D000A09ADBE4 Time : 2363.0 sec. user=vaughan [2009-08-01 03:49:04] 447*2^705298-1 is not prime. Res64: 9604CAAD62B5268D Time : 461.0 sec. user=vaughan [2009-08-01 03:49:29] 467*2^705298-1 is not prime. Res64: 997E821CD6F4CAB4 Time : 455.0 sec. user=vaughan [2009-08-01 03:56:44] 533*2^705298-1 is not prime. Res64: 0AC1B6B3AFA75581 Time : 460.0 sec. user=vaughan [2009-08-01 03:57:04] 581*2^705298-1 is not prime. Res64: 59A69B650BB62CD2 Time : 455.0 sec. user=vaughan [2009-08-01 04:04:24] 597*2^705298-1 is not prime. Res64: 78FFD4FEC32E66C9 Time : 460.0 sec. user=vaughan [2009-08-01 04:04:39] 411*2^705299-1 is not prime. Res64: 1DA08756126626BE Time : 455.0 sec. user=vaughan [2009-08-01 04:10:01] 507*2^705297-1 is not prime. Res64: 6A1025512FDA1EB6 Time : 2372.0 sec. user=vaughan [2009-08-01 04:12:07] 439*2^705299-1 is not prime. Res64: 15485778E3A468BE Time : 463.0 sec. user=vaughan [2009-08-01 04:12:12] 493*2^705299-1 is not prime. Res64: E1F08013E0DFD64E Time : 453.0 sec. user=vaughan [2009-08-01 04:14:19] 425*2^705298-1 is not prime. Res64: C3A181F19F8E07CD Time : 2363.0 sec. user=vaughan [2009-08-01 04:14:22] 435*2^705298-1 is not prime. Res64: 94A31440BFF3E5D5 Time : 2364.0 sec. user=vaughan [2009-08-01 04:19:45] 549*2^705299-1 is not prime. Res64: 3C5395BE698594F6 Time : 453.0 sec. user=vaughan [2009-08-01 04:19:50] 543*2^705299-1 is not prime. Res64: 0933C1E5ABB65CD2 Time : 463.0 sec. user=vaughan [2009-08-01 04:24:19] 483*2^705298-1 is not prime. Res64: 17A9444D161C721A Time : 2357.0 sec. user=vaughan [2009-08-01 04:27:18] 425*2^705300-1 is not prime. Res64: 1037EA43B131016E Time : 453.0 sec. user=vaughan [2009-08-01 04:27:33] 453*2^705300-1 is not prime. Res64: 35CA9F544A63547B Time : 463.0 sec. user=vaughan [2009-08-01 04:34:51] 479*2^705300-1 is not prime. Res64: 49BC916F5EF7BEC7 Time : 453.0 sec. user=vaughan [2009-08-01 04:35:18] 465*2^705301-1 is not prime. Res64: 1EA945496434C94B Time : 465.0 sec. user=vaughan [2009-08-01 04:42:24] 405*2^705302-1 is not prime. Res64: 2E3F967E8B48A189 Time : 453.0 sec. user=vaughan [2009-08-01 04:43:02] 537*2^705302-1 is not prime. Res64: 7D05535FC7519484 Time : 464.0 sec. user=vaughan [2009-08-01 04:49:21] 523*2^705299-1 is not prime. Res64: 3658B5F3E815C29A Time : 2360.0 sec. user=vaughan [2009-08-01 04:49:57] 423*2^705303-1 is not prime. Res64: 63C38481ADBA4F83 Time : 453.0 sec. user=vaughan [2009-08-01 04:50:45] 433*2^705303-1 is not prime. Res64: 12B184C663466D37 Time : 464.0 sec. user=vaughan [2009-08-01 04:53:49] 565*2^705299-1 is not prime. Res64: B81D0A0D7DDB936D Time : 2370.0 sec. user=vaughan [2009-08-01 04:53:51] 589*2^705299-1 is not prime. Res64: E1BCE225303FE05F Time : 2369.0 sec. user=vaughan [2009-08-01 04:57:30] 419*2^705304-1 is not prime. Res64: 374F3635DAC3851A Time : 453.0 sec. user=vaughan [2009-08-01 04:58:28] 485*2^705304-1 is not prime. Res64: 6E84F2028E4193B9 Time : 464.0 sec. user=vaughan [2009-08-01 05:03:46] 455*2^705300-1 is not prime. Res64: 91283F4E1EB812AC Time : 2367.0 sec. user=vaughan [2009-08-01 05:05:03] 487*2^705305-1 is not prime. Res64: AF513840CC59FFE7 Time : 453.0 sec. user=vaughan [2009-08-01 05:06:11] 443*2^705306-1 is not prime. Res64: 2DE69A000CA7D6CA Time : 464.0 sec. user=vaughan [2009-08-01 05:12:36] 495*2^705306-1 is not prime. Res64: C3E85A0DD3CB6136 Time : 453.0 sec. user=vaughan [2009-08-01 05:13:55] 527*2^705306-1 is not prime. Res64: 78EF365A9FE6B284 Time : 465.0 sec. user=vaughan [2009-08-01 05:20:09] 531*2^705306-1 is not prime. Res64: CE2147DE8C29C1AA Time : 453.0 sec. user=vaughan [2009-08-01 05:21:38] 421*2^705307-1 is not prime. Res64: D20D3BCADA552100 Time : 463.0 sec. user=vaughan [2009-08-01 05:27:42] 429*2^705307-1 is not prime. Res64: 12D5E46F001EE8C6 Time : 453.0 sec. user=vaughan [2009-08-01 05:28:48] 441*2^705303-1 is not prime. Res64: 36E2F38765238D2E Time : 2367.0 sec. user=vaughan [2009-08-01 05:29:20] 463*2^705307-1 is not prime. Res64: B1F2746DF6D9F529 Time : 462.0 sec. user=vaughan [2009-08-01 05:33:24] 411*2^705305-1 is not prime. Res64: 7B11E46727B8FF29 Time : 2373.0 sec. user=vaughan [2009-08-01 05:33:26] 409*2^705305-1 is not prime. Res64: 6EF9AAC3A7576EE7 Time : 2377.0 sec. user=vaughan [2009-08-01 05:35:17] 505*2^705307-1 is not prime. Res64: F88FD58CD2CE5E73 Time : 455.0 sec. user=vaughan [2009-08-01 05:37:03] 573*2^705307-1 is not prime. Res64: 99BB7DF2672ABD42 Time : 463.0 sec. user=vaughan [2009-08-01 05:42:52] 525*2^705308-1 is not prime. Res64: 60087B6AD42C41C1 Time : 455.0 sec. user=vaughan [2009-08-01 05:43:11] 465*2^705306-1 is not prime. Res64: 1A581E1FF48D0DB6 Time : 2365.0 sec. user=vaughan [2009-08-01 05:44:44] 585*2^705308-1 is not prime. Res64: 4B6D3E72B557E388 Time : 461.0 sec. user=vaughan [2009-08-01 05:50:27] 427*2^705309-1 is not prime. Res64: 04F25D501C52F7D5 Time : 455.0 sec. user=vaughan [2009-08-01 05:52:24] 413*2^705310-1 is not prime. Res64: 6797B3BC3956C79D Time : 461.0 sec. user=vaughan [2009-08-01 05:58:01] 447*2^705310-1 is not prime. Res64: 1B4EB3D1FAC959DE Time : 454.0 sec. user=vaughan [2009-08-01 06:00:07] 453*2^705310-1 is not prime. Res64: B218161AFA952B08 Time : 463.0 sec. user=vaughan [2009-08-01 06:05:36] 461*2^705310-1 is not prime. Res64: 55D5C9F322970A16 Time : 455.0 sec. user=vaughan [2009-08-01 06:07:48] 453*2^705311-1 is not prime. Res64: 8318098292FD36F6 Time : 461.0 sec. user=vaughan [2009-08-01 06:08:01] 523*2^705307-1 is not prime. Res64: 9DA90ACD21F6A4AD Time : 2353.0 sec. user=vaughan [2009-08-01 06:12:44] 473*2^705308-1 is not prime. Res64: 1629BAED5F229AF4 Time : 2361.0 sec. user=vaughan [2009-08-01 06:13:03] 503*2^705308-1 is not prime. Res64: 8E6701E14C7E71D2 Time : 2378.0 sec. user=vaughan [2009-08-01 06:13:12] 463*2^705311-1 is not prime. Res64: 18E6D80ABE30A498 Time : 456.0 sec. user=vaughan [2009-08-01 06:15:29] 525*2^705311-1 is not prime. Res64: 036E0C3945B2480A Time : 461.0 sec. user=vaughan [2009-08-01 06:20:47] 421*2^705313-1 is not prime. Res64: C618E7E572876FAF Time : 455.0 sec. user=vaughan [2009-08-01 06:22:31] 429*2^705309-1 is not prime. Res64: 1B624D7B0DCDDDDA Time : 2360.0 sec. user=vaughan [2009-08-01 06:23:09] 439*2^705313-1 is not prime. Res64: 48325E108512867C Time : 460.0 sec. user=vaughan [2009-08-01 06:28:23] 465*2^705313-1 is not prime. Res64: 18D9F1440433CC57 Time : 456.0 sec. user=vaughan [2009-08-01 06:30:49] 495*2^705313-1 is not prime. Res64: 50CCE8544700392F Time : 460.0 sec. user=vaughan [2009-08-01 06:35:58] 541*2^705313-1 is not prime. Res64: F495AEF48816AED2 Time : 455.0 sec. user=vaughan [2009-08-01 06:38:29] 555*2^705313-1 is not prime. Res64: 94744F64AB9ECA15 Time : 460.0 sec. user=vaughan [2009-08-01 06:43:33] 437*2^705314-1 is not prime. Res64: 2088224D22F07C08 Time : 455.0 sec. user=vaughan [2009-08-01 06:46:10] 477*2^705314-1 is not prime. Res64: 9A9C3BC2103F643D Time : 461.0 sec. user=vaughan [2009-08-01 06:47:26] 453*2^705312-1 is not prime. Res64: 3820952CDC169A00 Time : 2366.0 sec. user=vaughan [2009-08-01 06:51:08] 483*2^705314-1 is not prime. Res64: 787671321467AD29 Time : 455.0 sec. user=vaughan [2009-08-01 06:52:05] 503*2^705312-1 is not prime. Res64: 0829443AABF4E78D Time : 2361.0 sec. user=vaughan [2009-08-01 06:52:51] 549*2^705312-1 is not prime. Res64: 9BBE13EF4BA2D2E2 Time : 2388.0 sec. user=vaughan [2009-08-01 06:53:51] 495*2^705314-1 is not prime. Res64: AB86BE87334B34DF Time : 461.0 sec. user=vaughan [2009-08-01 06:58:43] 503*2^705314-1 is not prime. Res64: 026AD23ED7986EF9 Time : 455.0 sec. user=vaughan [2009-08-01 07:01:31] 403*2^705315-1 is not prime. Res64: 6C3D06D339F50824 Time : 460.0 sec. user=vaughan [2009-08-01 07:02:04] 477*2^705313-1 is not prime. Res64: FFF4855041024149 Time : 2373.0 sec. user=vaughan [2009-08-01 07:06:18] 415*2^705315-1 is not prime. Res64: 5C7F6F81365A5470 Time : 455.0 sec. user=vaughan [2009-08-01 07:09:11] 459*2^705315-1 is not prime. Res64: 38D0BF4A3CED25D8 Time : 460.0 sec. user=vaughan [2009-08-01 07:13:53] 481*2^705315-1 is not prime. Res64: CCF62FED93077EAC Time : 455.0 sec. user=vaughan [2009-08-01 07:16:55] 535*2^705315-1 is not prime. Res64: 3ADF9E32EE9B0425 Time : 464.0 sec. user=vaughan [2009-08-01 07:21:29] 465*2^705316-1 is not prime. Res64: 40505749473CD536 Time : 456.0 sec. user=vaughan [2009-08-01 07:24:35] 563*2^705316-1 is not prime. Res64: 4A9F5EE153DED388 Time : 461.0 sec. user=vaughan [2009-08-01 07:26:46] 497*2^705314-1 is not prime. Res64: 2202E5AAE5A56168 Time : 2361.0 sec. user=vaughan [2009-08-01 07:29:04] 587*2^705316-1 is not prime. Res64: 216A823E431473F8 Time : 455.0 sec. user=vaughan [2009-08-01 07:31:28] 573*2^705314-1 is not prime. Res64: 7F0D2B7E62BDD20C Time : 2363.0 sec. user=vaughan [2009-08-01 07:32:15] 417*2^705317-1 is not prime. Res64: FD82EEFCE46C5DA9 Time : 461.0 sec. user=vaughan [2009-08-01 07:32:27] 585*2^705314-1 is not prime. Res64: 45DCBE84407A839F Time : 2376.0 sec. user=vaughan [2009-08-01 07:36:39] 489*2^705317-1 is not prime. Res64: DB1BC617B5A2AEF6 Time : 455.0 sec. user=vaughan [2009-08-01 07:39:54] 529*2^705317-1 is not prime. Res64: E8E5BDE0EEB49527 Time : 460.0 sec. user=vaughan [2009-08-01 07:41:23] 471*2^705315-1 is not prime. Res64: 6A9887E761B063AB Time : 2359.0 sec. user=vaughan [2009-08-01 07:44:14] 431*2^705318-1 is not prime. Res64: 8E8B21C36B7BC856 Time : 455.0 sec. user=vaughan [2009-08-01 07:47:34] 485*2^705318-1 is not prime. Res64: 5D49462A933CD554 Time : 460.0 sec. user=vaughan [2009-08-01 07:51:49] 513*2^705318-1 is not prime. Res64: 217A8C6808F751B6 Time : 455.0 sec. user=vaughan [2009-08-01 07:55:15] 411*2^705319-1 is not prime. Res64: 03465618037F4EC3 Time : 461.0 sec. user=vaughan [2009-08-01 07:59:24] 429*2^705319-1 is not prime. Res64: 70A63DE78C225308 Time : 455.0 sec. user=vaughan [2009-08-01 08:02:55] 451*2^705319-1 is not prime. Res64: 7CEBBB3821D4395B Time : 460.0 sec. user=vaughan [2009-08-01 08:06:13] 465*2^705317-1 is not prime. Res64: FAB62E0EF613588E Time : 2367.0 sec. user=vaughan [2009-08-01 08:06:59] 463*2^705319-1 is not prime. Res64: 5F1C59065F2DDBFB Time : 455.0 sec. user=vaughan [2009-08-01 08:10:35] 465*2^705319-1 is not prime. Res64: 811C5B562721AD19 Time : 461.0 sec. user=vaughan [2009-08-01 08:10:47] 495*2^705317-1 is not prime. Res64: B60DD686DF9FDC3F Time : 2359.0 sec. user=vaughan [2009-08-01 08:12:04] 549*2^705317-1 is not prime. Res64: 4922486E54E7D4D0 Time : 2377.0 sec. user=vaughan [2009-08-01 08:14:34] 511*2^705319-1 is not prime. Res64: 8AE89BCDDFA1C65D Time : 455.0 sec. user=vaughan [2009-08-01 08:18:16] 523*2^705319-1 is not prime. Res64: 6F513ABBAC616070 Time : 462.0 sec. user=vaughan [2009-08-01 08:20:50] 503*2^705318-1 is not prime. Res64: 6A9FBF5060C3BE78 Time : 2368.0 sec. user=vaughan [2009-08-01 08:22:07] 507*2^705321-1 is not prime. Res64: F62BA91BF4B80F28 Time : 453.0 sec. user=vaughan [2009-08-01 08:25:59] 511*2^705321-1 is not prime. Res64: 363BE2E9D92DF150 Time : 464.0 sec. user=vaughan [2009-08-01 08:29:40] 559*2^705321-1 is not prime. Res64: 8BA9822A01AA3F0E Time : 453.0 sec. user=vaughan [2009-08-01 08:33:41] 591*2^705321-1 is not prime. Res64: 0D0A0F4723436FA2 Time : 463.0 sec. user=vaughan [2009-08-01 08:37:13] 483*2^705322-1 is not prime. Res64: E4F8D7A59C27AF92 Time : 453.0 sec. user=vaughan [2009-08-01 08:41:24] 497*2^705322-1 is not prime. Res64: 3449DDABEDF6E40D Time : 463.0 sec. user=vaughan [2009-08-01 08:44:46] 551*2^705322-1 is not prime. Res64: 1DF7F6B9F9FD3D7B Time : 453.0 sec. user=vaughan [2009-08-01 08:45:42] 489*2^705319-1 is not prime. Res64: 7515D95A793B3FE0 Time : 2369.0 sec. user=vaughan [2009-08-01 08:49:08] 593*2^705322-1 is not prime. Res64: 537F7312C4AD7AE6 Time : 464.0 sec. user=vaughan [2009-08-01 08:50:14] 447*2^705320-1 is not prime. Res64: E812B94CF62FE835 Time : 2367.0 sec. user=vaughan [2009-08-01 08:51:47] 495*2^705320-1 is not prime. Res64: 3A17C1AA82999A39 Time : 2384.0 sec. user=vaughan [2009-08-01 08:52:19] 445*2^705323-1 is not prime. Res64: 762235A211E67127 Time : 453.0 sec. user=vaughan [2009-08-01 08:56:51] 453*2^705324-1 is not prime. Res64: BC50517941FA38B8 Time : 464.0 sec. user=vaughan [2009-08-01 08:59:52] 527*2^705324-1 is not prime. Res64: 4C60710161E02DA9 Time : 453.0 sec. user=vaughan [2009-08-01 09:00:08] 535*2^705321-1 is not prime. Res64: EE424552E80A5927 Time : 2358.0 sec. user=vaughan [2009-08-01 09:04:34] 567*2^705324-1 is not prime. Res64: 34624D84CC19336E Time : 464.0 sec. user=vaughan [2009-08-01 09:07:24] 525*2^705325-1 is not prime. Res64: 97A382598403DC73 Time : 452.0 sec. user=vaughan [2009-08-01 09:12:16] 425*2^705326-1 is not prime. Res64: 6DA78D2A200A097B Time : 463.0 sec. user=vaughan [2009-08-01 09:14:57] 575*2^705326-1 is not prime. Res64: 9D28EB674EBAF813 Time : 453.0 sec. user=vaughan [2009-08-01 09:19:59] 593*2^705326-1 is not prime. Res64: 11A48C06404C7670 Time : 464.0 sec. user=vaughan [2009-08-01 09:22:14] 481*2^705323-1 is not prime. Res64: 4FC5ED1022AE2854 Time : 2192.0 sec. user=vaughan [2009-08-01 09:22:30] 471*2^705327-1 is not prime. Res64: B17F2044C3B6B665 Time : 453.0 sec. user=vaughan [2009-08-01 09:24:29] 497*2^705324-1 is not prime. Res64: 34EED629CB8C2854 Time : 2055.0 sec. user=vaughan [2009-08-01 09:25:15] 503*2^705324-1 is not prime. Res64: 85889833FCF7AB75 Time : 2008.0 sec. user=vaughan [2009-08-01 09:27:42] 475*2^705327-1 is not prime. Res64: F12D278C4C0ED0D2 Time : 463.0 sec. user=vaughan [2009-08-01 09:29:30] 567*2^705325-1 is not prime. Res64: 2798F0A8616C42E1 Time : 1762.0 sec. user=vaughan [2009-08-01 09:30:03] 483*2^705328-1 is not prime. Res64: 523662115CC3268D Time : 453.0 sec. user=vaughan [2009-08-01 09:35:22] 533*2^705328-1 is not prime. Res64: C2A1BDEDE2173EE1 Time : 460.0 sec. user=vaughan [2009-08-01 09:37:38] 575*2^705328-1 is not prime. Res64: 81197AE4FF8B293E Time : 455.0 sec. user=vaughan [2009-08-01 09:42:23] 531*2^705327-1 is not prime. Res64: 70594F92F69AB020 Time : 1209.0 sec. user=vaughan [2009-08-01 09:43:02] 469*2^705329-1 is not prime. Res64: E1DB383A6FD62BC2 Time : 460.0 sec. user=vaughan [2009-08-01 09:44:16] 495*2^705328-1 is not prime. Res64: 19232D3DA97EECC0 Time : 1188.0 sec. user=vaughan [2009-08-01 09:45:13] 495*2^705329-1 is not prime. Res64: 2E07773AFEB72026 Time : 455.0 sec. user=vaughan [2009-08-01 09:45:19] 509*2^705328-1 is not prime. Res64: D4C9B60A3AEEDECD Time : 1205.0 sec. user=vaughan [2009-08-01 09:49:26] 567*2^705328-1 is not prime. Res64: E426EC1C313F91A1 Time : 1196.0 sec. user=vaughan [2009-08-01 09:50:42] 559*2^705329-1 is not prime. Res64: 3DA896787823FFA8 Time : 460.0 sec. user=vaughan [2009-08-01 09:52:48] 461*2^705330-1 is not prime. Res64: 189BD622921A4169 Time : 455.0 sec. user=vaughan [2009-08-01 09:58:22] 521*2^705330-1 is not prime. Res64: 5FD12472FB20DDB8 Time : 460.0 sec. user=vaughan [2009-08-01 10:00:23] 563*2^705330-1 is not prime. Res64: 21244D3FC718DDE6 Time : 455.0 sec. user=vaughan [2009-08-01 10:02:30] 501*2^705329-1 is not prime. Res64: 3BBBE6245BCB7F88 Time : 1207.0 sec. user=vaughan [2009-08-01 10:04:12] 453*2^705330-1 is not prime. Res64: BE38B9F232CECF54 Time : 1197.0 sec. user=vaughan [2009-08-01 10:05:02] 501*2^705330-1 is not prime. Res64: 43E804B2A7DA5B9C Time : 1184.0 sec. user=vaughan [2009-08-01 10:06:02] 581*2^705330-1 is not prime. Res64: 7269C74F42907352 Time : 460.0 sec. user=vaughan [2009-08-01 10:07:58] 489*2^705331-1 is not prime. Res64: 7767F995FC5505F9 Time : 455.0 sec. user=vaughan [2009-08-01 10:09:24] 503*2^705330-1 is not prime. Res64: 8433B1C7B5CDDC6F Time : 1199.0 sec. user=vaughan [2009-08-01 10:13:43] 483*2^705332-1 is not prime. Res64: 8DB90B03DA13698C Time : 461.0 sec. user=vaughan [2009-08-01 10:15:33] 585*2^705332-1 is not prime. Res64: 896DE43251575DEE Time : 455.0 sec. user=vaughan [2009-08-01 10:21:23] 451*2^705333-1 is not prime. Res64: 946879358D4597E7 Time : 461.0 sec. user=vaughan [2009-08-01 10:22:30] 519*2^705331-1 is not prime. Res64: 7F9219A7DD2928AC Time : 1200.0 sec. user=vaughan [2009-08-01 10:23:08] 459*2^705333-1 is not prime. Res64: 46B1CD63BD7D6DCD Time : 455.0 sec. user=vaughan [2009-08-01 10:24:15] 437*2^705332-1 is not prime. Res64: 278455CB23EE311A Time : 1203.0 sec. user=vaughan [2009-08-01 10:24:58] 467*2^705332-1 is not prime. Res64: 4F58D7A1132CD5AC Time : 1197.0 sec. user=vaughan [2009-08-01 10:29:03] 555*2^705333-1 is not prime. Res64: 8D8523470908617C Time : 460.0 sec. user=vaughan [2009-08-01 10:29:14] 417*2^705333-1 is not prime. Res64: FFB5D31223EDA92E Time : 1191.0 sec. user=vaughan [2009-08-01 10:30:44] 413*2^705334-1 is not prime. Res64: 44A0D25C90BD1AD3 Time : 456.0 sec. user=vaughan [2009-08-01 10:36:42] 501*2^705335-1 is not prime. Res64: 47D93F80CC98256D Time : 459.0 sec. user=vaughan [2009-08-01 10:38:19] 405*2^705336-1 is not prime. Res64: 75012173179B0802 Time : 455.0 sec. user=vaughan [2009-08-01 10:42:07] 591*2^705333-1 is not prime. Res64: 3DA0BA4ADC6EDD64 Time : 1177.0 sec. user=vaughan [2009-08-01 10:42:56] 447*2^705334-1 is not prime. Res64: 96D32787D03B8BDF Time : 1121.0 sec. user=vaughan [2009-08-01 10:43:23] 575*2^705334-1 is not prime. Res64: 9763FB12539A7896 Time : 1105.0 sec. user=vaughan [2009-08-01 10:44:23] 525*2^705336-1 is not prime. Res64: 3EA054E1B26FD43A Time : 461.0 sec. user=vaughan [2009-08-01 10:45:26] 543*2^705335-1 is not prime. Res64: 8F24848EEF7A6CF6 Time : 972.0 sec. user=vaughan [2009-08-01 10:45:54] 557*2^705336-1 is not prime. Res64: B8560715A15EA021 Time : 455.0 sec. user=vaughan [2009-08-01 10:52:03] 499*2^705337-1 is not prime. Res64: C2BD1F216899063F Time : 461.0 sec. user=vaughan [2009-08-01 10:52:21] 427*2^705337-1 is not prime. Res64: 7B07A4A9A8E4E909 Time : 614.0 sec. user=vaughan [2009-08-01 10:53:09] 429*2^705337-1 is not prime. Res64: 6419D57184A3D8DC Time : 613.0 sec. user=vaughan [2009-08-01 10:53:30] 417*2^705338-1 is not prime. Res64: 9CBFB097E2EF4019 Time : 456.0 sec. user=vaughan [2009-08-01 10:53:37] 465*2^705337-1 is not prime. Res64: CA3D9816737D9409 Time : 614.0 sec. user=vaughan [2009-08-01 10:55:40] 505*2^705337-1 is not prime. Res64: 57DD17DCBEA3C4E6 Time : 614.0 sec. user=vaughan [2009-08-01 10:59:42] 501*2^705338-1 is not prime. Res64: 88E937E342E9365A Time : 460.0 sec. user=vaughan [2009-08-01 11:01:05] 471*2^705339-1 is not prime. Res64: AAF455A9B59A0F1F Time : 455.0 sec. user=vaughan [2009-08-01 11:02:33] 533*2^705338-1 is not prime. Res64: 2749077029113DB7 Time : 613.0 sec. user=vaughan [2009-08-01 11:03:23] 585*2^705338-1 is not prime. Res64: 13B98585F0EE4657 Time : 614.0 sec. user=vaughan [2009-08-01 11:03:51] 579*2^705339-1 is not prime. Res64: 3234A33359D1AEAC Time : 614.0 sec. user=vaughan [2009-08-01 11:05:53] 539*2^705340-1 is not prime. Res64: 9178BF2A431A410B Time : 613.0 sec. user=vaughan [2009-08-01 11:07:24] 569*2^705340-1 is not prime. Res64: A2B551AE77850DB7 Time : 462.0 sec. user=vaughan [2009-08-01 11:08:41] 405*2^705341-1 is not prime. Res64: F192E61CB276872C Time : 456.0 sec. user=vaughan [2009-08-01 11:12:47] 417*2^705341-1 is not prime. Res64: F7B6236AF13C5DCE Time : 614.0 sec. user=vaughan [2009-08-01 11:13:36] 441*2^705341-1 is not prime. Res64: 8C561F042BA80BF5 Time : 613.0 sec. user=vaughan [2009-08-01 11:14:04] 445*2^705341-1 is not prime. Res64: A3BEC5B39AD9E7FC Time : 613.0 sec. user=vaughan [2009-08-01 11:15:04] 413*2^705342-1 is not prime. Res64: D0D8EB8231A4CBEA Time : 461.0 sec. user=vaughan [2009-08-01 11:16:07] 559*2^705341-1 is not prime. Res64: BBB13C3428A820C2 Time : 615.0 sec. user=vaughan [2009-08-01 11:16:15] 503*2^705342-1 is not prime. Res64: ACB2B74B076CC94A Time : 455.0 sec. user=vaughan [2009-08-01 11:22:45] 585*2^705342-1 is not prime. Res64: F194A5DAB83DFE82 Time : 461.0 sec. user=vaughan [2009-08-01 11:23:00] 527*2^705342-1 is not prime. Res64: ED3E093361AE1187 Time : 613.0 sec. user=vaughan [2009-08-01 11:23:50] 567*2^705342-1 is not prime. Res64: 14EB98A1D4AA0DE7 Time : 615.0 sec. user=vaughan [2009-08-01 11:23:50] 451*2^705343-1 is not prime. Res64: 5EDD855D57681C1C Time : 455.0 sec. user=vaughan [2009-08-01 11:24:18] 573*2^705342-1 is not prime. Res64: B3657C34AB9B68FF Time : 614.0 sec. user=vaughan [2009-08-01 11:26:20] 433*2^705343-1 is not prime. Res64: 7360149119899D67 Time : 614.0 sec. user=vaughan [2009-08-01 11:30:27] 483*2^705343-1 is not prime. Res64: 8F818D65BD6CD506 Time : 462.0 sec. user=vaughan [2009-08-01 11:31:25] 519*2^705344-1 is not prime. Res64: A171BFD5451E6E96 Time : 455.0 sec. user=vaughan [2009-08-01 11:33:13] 465*2^705344-1 is not prime. Res64: D34A2D60131918BD Time : 613.0 sec. user=vaughan [2009-08-01 11:34:03] 503*2^705344-1 is not prime. Res64: 338774EC99639D11 Time : 614.0 sec. user=vaughan [2009-08-01 11:34:32] 563*2^705344-1 is not prime. Res64: D444378D565C4930 Time : 614.0 sec. user=vaughan [2009-08-01 11:36:33] 409*2^705345-1 is not prime. Res64: BAD7D063ADA0D3F2 Time : 613.0 sec. user=vaughan [2009-08-01 11:38:08] 465*2^705345-1 is not prime. Res64: 89DB6434A620C7E1 Time : 462.0 sec. user=vaughan [2009-08-01 11:39:00] 531*2^705345-1 is not prime. Res64: AE776D9285E4AC6F Time : 455.0 sec. user=vaughan [2009-08-01 11:43:28] 535*2^705345-1 is not prime. Res64: CCBBE32C4451671B Time : 615.0 sec. user=vaughan [2009-08-01 11:44:17] 413*2^705346-1 is not prime. Res64: A63C3A6B0CE0B36A Time : 615.0 sec. user=vaughan [2009-08-01 11:44:46] 453*2^705346-1 is not prime. Res64: C45A38990DA96FFF Time : 614.0 sec. user=vaughan [2009-08-01 11:45:54] 483*2^705346-1 is not prime. Res64: FF1077BF2C0BA758 Time : 467.0 sec. user=vaughan [2009-08-01 11:46:38] 531*2^705346-1 is not prime. Res64: D4208A842C7CD311 Time : 458.0 sec. user=vaughan [2009-08-01 11:46:46] 465*2^705346-1 is not prime. Res64: 96FDF15FEE79390F Time : 613.0 sec. user=vaughan [2009-08-01 11:53:37] 513*2^705348-1 is not prime. Res64: DE91404DEE737A8C Time : 463.0 sec. user=vaughan [2009-08-01 11:53:41] 489*2^705347-1 is not prime. Res64: 5906AA2F22E5E562 Time : 614.0 sec. user=vaughan [2009-08-01 11:54:11] 525*2^705348-1 is not prime. Res64: E45CA9FBD7DF4BB2 Time : 453.0 sec. user=vaughan [2009-08-01 11:54:31] 473*2^705348-1 is not prime. Res64: 68FE357649F0F674 Time : 615.0 sec. user=vaughan [2009-08-01 11:54:59] 489*2^705348-1 is not prime. Res64: F4CBE20866036E35 Time : 613.0 sec. user=vaughan [2009-08-01 11:56:59] 537*2^705348-1 is not prime. Res64: CE244E8F5D1A61AC Time : 613.0 sec. user=vaughan [2009-08-01 12:01:21] 555*2^705348-1 is not prime. Res64: 1328A7491EAA26B9 Time : 464.0 sec. user=vaughan [2009-08-01 12:01:44] 579*2^705348-1 is not prime. Res64: 64F1F856F580061C Time : 458.0 sec. user=vaughan [2009-08-01 12:03:54] 569*2^705348-1 is not prime. Res64: 4AB46F95D2B84F9B Time : 613.0 sec. user=vaughan [2009-08-01 12:04:45] 429*2^705349-1 is not prime. Res64: A6AA15632F9C96D1 Time : 615.0 sec. user=vaughan [2009-08-01 12:05:13] 435*2^705349-1 is not prime. Res64: 09BDF587FC576FBB Time : 614.0 sec. user=vaughan [2009-08-01 12:07:13] 457*2^705349-1 is not prime. Res64: D5730142C2DFC1F6 Time : 615.0 sec. user=vaughan [2009-08-01 12:09:04] 549*2^705349-1 is not prime. Res64: 3508AEBCEA0ECA45 Time : 463.0 sec. user=vaughan [2009-08-01 12:09:22] 407*2^705350-1 is not prime. Res64: 3DC16E0882D4DBD9 Time : 459.0 sec. user=vaughan [2009-08-01 12:14:07] 477*2^705350-1 is not prime. Res64: 183464DFCB9BF2D4 Time : 613.0 sec. user=vaughan [2009-08-01 12:14:58] 563*2^705350-1 is not prime. Res64: 028DBB4B6C159EA1 Time : 613.0 sec. user=vaughan [2009-08-01 12:15:26] 585*2^705350-1 is not prime. Res64: 11AD84B281F1B0C2 Time : 613.0 sec. user=vaughan [2009-08-01 12:16:47] 483*2^705351-1 is not prime. Res64: 4DA2418028F3C3C2 Time : 463.0 sec. user=vaughan [2009-08-01 12:16:54] 583*2^705351-1 is not prime. Res64: 226ECA9737B01E13 Time : 452.0 sec. user=vaughan [2009-08-01 12:17:26] 405*2^705351-1 is not prime. Res64: BB29F7F71D495CCD Time : 613.0 sec. user=vaughan [2009-08-01 12:24:21] 453*2^705352-1 is not prime. Res64: 323A86560D8FC33E Time : 614.0 sec. user=vaughan [2009-08-01 12:24:29] 539*2^705352-1 is not prime. Res64: 8C220567BC8499AA Time : 462.0 sec. user=vaughan [2009-08-01 12:24:29] 489*2^705353-1 is not prime. Res64: EEB33500540E8AB6 Time : 455.0 sec. user=vaughan [2009-08-01 12:25:12] 489*2^705352-1 is not prime. Res64: 2961ED4C78018BBB Time : 614.0 sec. user=vaughan [2009-08-01 12:25:40] 537*2^705352-1 is not prime. Res64: 1BBC19485F916A13 Time : 614.0 sec. user=vaughan [2009-08-01 12:27:40] 525*2^705353-1 is not prime. Res64: 889B8259BDA7DB28 Time : 614.0 sec. user=vaughan [2009-08-01 12:32:05] 485*2^705354-1 is not prime. Res64: 1356C366EB098915 Time : 456.0 sec. user=vaughan [2009-08-01 12:32:10] 437*2^705354-1 is not prime. Res64: 4B61EC53F2880A7A Time : 461.0 sec. user=vaughan [2009-08-01 12:34:36] 571*2^705353-1 is not prime. Res64: 9F3AAFA804E2EE1E Time : 615.0 sec. user=vaughan [2009-08-01 12:35:25] 493*2^705355-1 is not prime. Res64: EEC80AE42CDCC155 Time : 613.0 sec. user=vaughan [2009-08-01 12:35:54] 445*2^705357-1 is not prime. Res64: 2078CB69BCB57473 Time : 614.0 sec. user=vaughan [2009-08-01 12:37:54] 555*2^705357-1 is not prime. Res64: 6791CFA2B010BB14 Time : 615.0 sec. user=vaughan [2009-08-01 12:39:41] 495*2^705358-1 is not prime. Res64: EA2970B08BB06A94 Time : 456.0 sec. user=vaughan [2009-08-01 12:39:51] 525*2^705358-1 is not prime. Res64: 9EC4C55B74C03022 Time : 461.0 sec. user=vaughan [2009-08-01 12:44:50] 561*2^705358-1 is not prime. Res64: 4DCD66D6F302627F Time : 615.0 sec. user=vaughan [2009-08-01 12:45:38] 567*2^705358-1 is not prime. Res64: D4CE102E96825459 Time : 614.0 sec. user=vaughan [2009-08-01 12:46:07] 441*2^705359-1 is not prime. Res64: 5F9EA9C0AE37792D Time : 613.0 sec. user=vaughan [2009-08-01 12:47:16] 571*2^705359-1 is not prime. Res64: 3204409A194C5F40 Time : 455.0 sec. user=vaughan [2009-08-01 12:47:31] 447*2^705360-1 is not prime. Res64: FA2CC2853071D15B Time : 460.0 sec. user=vaughan [2009-08-01 12:48:07] 465*2^705359-1 is not prime. Res64: 15B66EFD7B304695 Time : 614.0 sec. user=vaughan [2009-08-01 12:54:51] 441*2^705361-1 is not prime. Res64: 812A818FFBFDA495 Time : 455.0 sec. user=vaughan [2009-08-01 12:55:04] 509*2^705360-1 is not prime. Res64: 4FA77C8C12CC44DC Time : 615.0 sec. user=vaughan [2009-08-01 12:55:12] 517*2^705361-1 is not prime. Res64: 808D8DF084CCAEBA Time : 461.0 sec. user=vaughan [2009-08-01 12:55:52] 567*2^705360-1 is not prime. Res64: 02C273C6C9633107 Time : 615.0 sec. user=vaughan [2009-08-01 12:56:21] 411*2^705361-1 is not prime. Res64: 17FF0A6EE4E7EB8C Time : 614.0 sec. user=vaughan [2009-08-01 12:58:21] 535*2^705361-1 is not prime. Res64: 5FEF8C15257046A0 Time : 615.0 sec. user=vaughan [2009-08-01 13:02:26] 577*2^705361-1 is not prime. Res64: 224744C1A6E2D829 Time : 455.0 sec. user=vaughan [2009-08-01 13:02:53] 437*2^705362-1 is not prime. Res64: 9C124D8C550839EE Time : 461.0 sec. user=vaughan [2009-08-01 13:05:17] 435*2^705362-1 is not prime. Res64: F1396F4968F4A2DD Time : 614.0 sec. user=vaughan [2009-08-01 13:06:05] 467*2^705362-1 is not prime. Res64: ED1872FACD1C96A7 Time : 614.0 sec. user=vaughan [2009-08-01 13:06:34] 501*2^705362-1 is not prime. Res64: 2C7BACC5CD56A4AC Time : 613.0 sec. user=vaughan [2009-08-01 13:08:35] 545*2^705362-1 is not prime. Res64: 27CCA8D5286ABB51 Time : 615.0 sec. user=vaughan [2009-08-01 13:10:03] 587*2^705362-1 is not prime. Res64: 07908673232ECC25 Time : 457.0 sec. user=vaughan [2009-08-01 13:10:33] 481*2^705363-1 is not prime. Res64: 864F4D22F95ACD42 Time : 460.0 sec. user=vaughan [2009-08-01 13:15:30] 489*2^705363-1 is not prime. Res64: 954AD4D63D47B438 Time : 613.0 sec. user=vaughan [2009-08-01 13:16:18] 493*2^705363-1 is not prime. Res64: A5608D3545F492F3 Time : 614.0 sec. user=vaughan [2009-08-01 13:16:47] 523*2^705363-1 is not prime. Res64: D75C36222778A221 Time : 613.0 sec. user=vaughan [2009-08-01 13:17:38] 423*2^705364-1 is not prime. Res64: 2BF0A25AA2D70419 Time : 456.0 sec. user=vaughan [2009-08-01 13:18:14] 435*2^705364-1 is not prime. Res64: CE02A1FD64D045EE Time : 461.0 sec. user=vaughan [2009-08-01 13:18:48] 419*2^705364-1 is not prime. Res64: B02D2B95B108ACC0 Time : 614.0 sec. user=vaughan [2009-08-01 13:25:14] 485*2^705364-1 is not prime. Res64: 82AAA98ACDD5D407 Time : 456.0 sec. user=vaughan [2009-08-01 13:25:44] 447*2^705364-1 is not prime. Res64: 7B0BA2D7B360A03B Time : 614.0 sec. user=vaughan [2009-08-01 13:25:55] 545*2^705364-1 is not prime. Res64: 8F9AE5A86D2B1B79 Time : 461.0 sec. user=vaughan [2009-08-01 13:26:32] 453*2^705364-1 is not prime. Res64: 918637116145ADED Time : 614.0 sec. user=vaughan [2009-08-01 13:27:01] 483*2^705364-1 is not prime. Res64: C88D898B0E87511A Time : 614.0 sec. user=vaughan [2009-08-01 13:29:01] 567*2^705364-1 is not prime. Res64: 8F9C19EEADB32B33 Time : 613.0 sec. user=vaughan [2009-08-01 13:32:50] 569*2^705364-1 is not prime. Res64: 427E2FC2D40DAD7E Time : 456.0 sec. user=vaughan [2009-08-01 13:33:36] 489*2^705365-1 is not prime. Res64: 7C5C1346B226B8AF Time : 461.0 sec. user=vaughan [2009-08-01 13:35:58] 475*2^705365-1 is not prime. Res64: 06EA986602E9A0D6 Time : 614.0 sec. user=vaughan [2009-08-01 13:36:46] 525*2^705365-1 is not prime. Res64: AE0646A676B42023 Time : 614.0 sec. user=vaughan [2009-08-01 13:37:15] 561*2^705365-1 is not prime. Res64: 1CD244B8D30FD00A Time : 614.0 sec. user=vaughan [2009-08-01 13:39:15] 471*2^705366-1 is not prime. Res64: 286AD2632C31597E Time : 614.0 sec. user=vaughan [2009-08-01 13:40:25] 503*2^705366-1 is not prime. Res64: 4E5E5BA5F58E15F5 Time : 455.0 sec. user=vaughan [2009-08-01 13:41:17] 567*2^705366-1 is not prime. Res64: 92ADBD696FCB4E37 Time : 461.0 sec. user=vaughan [2009-08-01 13:46:13] 549*2^705367-1 is not prime. Res64: A89318A706483C12 Time : 615.0 sec. user=vaughan [2009-08-01 13:47:00] 515*2^705368-1 is not prime. Res64: 2B4630672113E48E Time : 614.0 sec. user=vaughan [2009-08-01 13:47:29] 533*2^705368-1 is not prime. Res64: EE31C6EA3EBB68A8 Time : 614.0 sec. user=vaughan [2009-08-01 13:48:01] 469*2^705369-1 is not prime. Res64: 78412CD820BF10E0 Time : 456.0 sec. user=vaughan [2009-08-01 13:48:59] 537*2^705369-1 is not prime. Res64: F986478543C447CA Time : 462.0 sec. user=vaughan [2009-08-01 13:49:30] 465*2^705369-1 is not prime. Res64: 5EDF813FAAF16EF3 Time : 615.0 sec. user=vaughan [2009-08-01 13:55:39] 483*2^705370-1 is not prime. Res64: 087F8EA4DDE69120 Time : 458.0 sec. user=vaughan [2009-08-01 13:56:29] 555*2^705369-1 is not prime. Res64: EBD8E68CDEDBD49B Time : 616.0 sec. user=vaughan [2009-08-01 13:56:41] 495*2^705370-1 is not prime. Res64: 0099EDB79511539D Time : 463.0 sec. user=vaughan [2009-08-01 13:57:14] 559*2^705369-1 is not prime. Res64: 21D288DEF57099EF Time : 615.0 sec. user=vaughan [2009-08-01 13:57:42] 453*2^705370-1 is not prime. Res64: 4B398037784468DA Time : 614.0 sec. user=vaughan [2009-08-01 13:59:44] 587*2^705370-1 is not prime. Res64: 91119D0B4D760CC5 Time : 615.0 sec. user=vaughan [2009-08-01 14:03:14] 597*2^705370-1 is not prime. Res64: E4212FA27D6BA24D Time : 456.0 sec. user=vaughan [2009-08-01 14:04:22] 571*2^705371-1 is not prime. Res64: 03A678B6CD1B7F9D Time : 462.0 sec. user=vaughan [2009-08-01 14:06:42] 475*2^705371-1 is not prime. Res64: 77002682D9107C09 Time : 614.0 sec. user=vaughan [2009-08-01 14:07:27] 527*2^705372-1 is not prime. Res64: A41792EA604A99FE Time : 613.0 sec. user=vaughan [2009-08-01 14:07:56] 429*2^705373-1 is not prime. Res64: F43D37A2FCD1D4CE Time : 615.0 sec. user=vaughan [2009-08-01 14:09:58] 507*2^705373-1 is not prime. Res64: A3B51CC98B379905 Time : 615.0 sec. user=vaughan [2009-08-01 14:10:49] 561*2^705373-1 is not prime. Res64: EF4F4989E3F385B8 Time : 455.0 sec. user=vaughan [2009-08-01 14:12:03] 591*2^705373-1 is not prime. Res64: B5EA4B7A611EDFFE Time : 462.0 sec. user=vaughan [2009-08-01 14:16:56] 503*2^705374-1 is not prime. Res64: 2FED58AA401DA42A Time : 615.0 sec. user=vaughan [2009-08-01 14:17:41] 521*2^705374-1 is not prime. Res64: 6C87423A279543DD Time : 614.0 sec. user=vaughan [2009-08-01 14:18:09] 533*2^705374-1 is not prime. Res64: 5D993FCD537523CF Time : 614.0 sec. user=vaughan [2009-08-01 14:18:24] 433*2^705375-1 is not prime. Res64: DB1F5C77C6E2FEE8 Time : 455.0 sec. user=vaughan [2009-08-01 14:19:44] 445*2^705375-1 is not prime. Res64: 536332AA1375E668 Time : 462.0 sec. user=vaughan [2009-08-01 14:20:11] 557*2^705374-1 is not prime. Res64: 9A712B6341D61606 Time : 614.0 sec. user=vaughan [2009-08-01 14:26:00] 477*2^705377-1 is not prime. Res64: 97ED75FD52C3927F Time : 456.0 sec. user=vaughan [2009-08-01 14:27:10] 595*2^705375-1 is not prime. Res64: 6A254895998B61CC Time : 615.0 sec. user=vaughan [2009-08-01 14:27:25] 401*2^705378-1 is not prime. Res64: 3D341FC799B1F502 Time : 462.0 sec. user=vaughan [2009-08-01 14:27:55] 447*2^705376-1 is not prime. Res64: 74C49D4F5DB32089 Time : 614.0 sec. user=vaughan [2009-08-01 14:28:22] 469*2^705377-1 is not prime. Res64: E19219727193B569 Time : 614.0 sec. user=vaughan [2009-08-01 14:30:25] 581*2^705378-1 is not prime. Res64: 1608A26F8172B69B Time : 615.0 sec. user=vaughan [2009-08-01 14:33:35] 553*2^705379-1 is not prime. Res64: 792685CF8E57297D Time : 455.0 sec. user=vaughan [2009-08-01 14:35:06] 473*2^705380-1 is not prime. Res64: 52664EAC8CD206D5 Time : 461.0 sec. user=vaughan [2009-08-01 14:37:24] 579*2^705379-1 is not prime. Res64: 771B2BFDC9C239AF Time : 614.0 sec. user=vaughan [2009-08-01 14:38:09] 495*2^705380-1 is not prime. Res64: 24584763C5625AA9 Time : 614.0 sec. user=vaughan [2009-08-01 14:38:35] 519*2^705380-1 is not prime. Res64: 8FC62AD2A75277B5 Time : 614.0 sec. user=vaughan [2009-08-01 14:40:38] 539*2^705380-1 is not prime. Res64: A4C7FD0449666A65 Time : 614.0 sec. user=vaughan [2009-08-01 14:41:10] 545*2^705380-1 is not prime. Res64: ADCF5B8B6E8A3718 Time : 455.0 sec. user=vaughan [2009-08-01 14:42:46] 427*2^705381-1 is not prime. Res64: 831DAE4592AFA6E2 Time : 460.0 sec. user=vaughan [2009-08-01 14:47:38] 471*2^705381-1 is not prime. Res64: 2B93CDB6AA2979D2 Time : 614.0 sec. user=vaughan [2009-08-01 14:48:23] 537*2^705381-1 is not prime. Res64: 18322A6646CFD256 Time : 614.0 sec. user=vaughan [2009-08-01 14:48:46] 533*2^705382-1 is not prime. Res64: 405DC3B557EF85D9 Time : 456.0 sec. user=vaughan [2009-08-01 14:48:49] 549*2^705381-1 is not prime. Res64: 57E6461D2C8608C5 Time : 615.0 sec. user=vaughan [2009-08-01 14:50:28] 551*2^705382-1 is not prime. Res64: 61DD440B966C68B8 Time : 462.0 sec. user=vaughan [2009-08-01 14:50:53] 447*2^705382-1 is not prime. Res64: 63F9FDB952917325 Time : 615.0 sec. user=vaughan [2009-08-01 14:56:22] 441*2^705383-1 is not prime. Res64: 8148F7BDB6814BCC Time : 456.0 sec. user=vaughan [2009-08-01 14:57:52] 581*2^705382-1 is not prime. Res64: 0318C60731CB03C7 Time : 614.0 sec. user=vaughan [2009-08-01 14:58:08] 505*2^705383-1 is not prime. Res64: 69EBE925402A90EF Time : 461.0 sec. user=vaughan [2009-08-01 14:58:37] 411*2^705383-1 is not prime. Res64: 1B4BE6EFBB934B54 Time : 614.0 sec. user=vaughan [2009-08-01 14:59:02] 501*2^705383-1 is not prime. Res64: 73CE919844D497EE Time : 613.0 sec. user=vaughan [2009-08-01 15:01:07] 519*2^705383-1 is not prime. Res64: E561693858C95DEB Time : 615.0 sec. user=vaughan [2009-08-01 15:03:58] 573*2^705383-1 is not prime. Res64: FAA342E1233AA4BD Time : 456.0 sec. user=vaughan [2009-08-01 15:05:49] 503*2^705384-1 is not prime. Res64: A733B3B708ADDDC0 Time : 461.0 sec. user=vaughan [2009-08-01 15:08:05] 413*2^705384-1 is not prime. Res64: 607D4DBC7108D08E Time : 613.0 sec. user=vaughan [2009-08-01 15:08:51] 557*2^705384-1 is not prime. Res64: 6DFA8818F7D50CB9 Time : 614.0 sec. user=vaughan [2009-08-01 15:09:16] 569*2^705384-1 is not prime. Res64: 1C3E18EA081E2B6D Time : 615.0 sec. user=vaughan [2009-08-01 15:11:21] 469*2^705385-1 is not prime. Res64: 0B1D589B9E5F52A4 Time : 615.0 sec. user=vaughan [2009-08-01 15:11:34] 471*2^705385-1 is not prime. Res64: 9773CF16C42BCAAF Time : 456.0 sec. user=vaughan [2009-08-01 15:13:30] 477*2^705385-1 is not prime. Res64: 7992B210CDDC9BD1 Time : 462.0 sec. user=vaughan [2009-08-01 15:18:18] 541*2^705385-1 is not prime. Res64: 522D2F7A3D5CC2BB Time : 613.0 sec. user=vaughan [2009-08-01 15:19:05] 547*2^705385-1 is not prime. Res64: DFA60E7C834FD1B7 Time : 614.0 sec. user=vaughan [2009-08-01 15:19:10] 447*2^705386-1 is not prime. Res64: B21804913B792398 Time : 456.0 sec. user=vaughan [2009-08-01 15:19:29] 565*2^705385-1 is not prime. Res64: 6EBC97E4F93A1F81 Time : 614.0 sec. user=vaughan [2009-08-01 15:21:11] 483*2^705386-1 is not prime. Res64: D979355953C164D4 Time : 462.0 sec. user=vaughan [2009-08-01 15:21:35] 595*2^705385-1 is not prime. Res64: D49C1D436484E2E4 Time : 615.0 sec. user=vaughan [2009-08-01 15:26:45] 409*2^705387-1 is not prime. Res64: A502A20BBDB89D1D Time : 455.0 sec. user=vaughan [2009-08-01 15:28:31] 561*2^705386-1 is not prime. Res64: 7A630A29307F8678 Time : 613.0 sec. user=vaughan [2009-08-01 15:28:52] 531*2^705387-1 is not prime. Res64: 799D63A99A5CDA26 Time : 462.0 sec. user=vaughan [2009-08-01 15:29:19] 581*2^705386-1 is not prime. Res64: 121ABD890D6BBBDD Time : 614.0 sec. user=vaughan [2009-08-01 15:29:43] 483*2^705387-1 is not prime. Res64: 4C0C705E79D37DF4 Time : 615.0 sec. user=vaughan [2009-08-01 15:31:49] 583*2^705387-1 is not prime. Res64: 1973E1462300D2E5 Time : 615.0 sec. user=vaughan [2009-08-01 15:34:20] 419*2^705388-1 is not prime. Res64: FE09CAB2D7C99DE3 Time : 455.0 sec. user=vaughan [2009-08-01 15:36:34] 527*2^705388-1 is not prime. Res64: 6CD85A294E407539 Time : 463.0 sec. user=vaughan [2009-08-01 15:38:45] 497*2^705388-1 is not prime. Res64: C1FE10C71A9CC7DC Time : 614.0 sec. user=vaughan [2009-08-01 15:39:33] 567*2^705388-1 is not prime. Res64: 67DC3BA3D03FEA7A Time : 614.0 sec. user=vaughan [2009-08-01 15:39:57] 569*2^705388-1 is not prime. Res64: ACA6D5CB9FC7A754 Time : 615.0 sec. user=vaughan [2009-08-01 15:41:55] 565*2^705389-1 is not prime. Res64: 827893E2C74E6499 Time : 455.0 sec. user=vaughan [2009-08-01 15:42:03] 575*2^705388-1 is not prime. Res64: A51429870692CC54 Time : 615.0 sec. user=vaughan [2009-08-01 15:44:15] 571*2^705389-1 is not prime. Res64: 27A31005F125F8F7 Time : 462.0 sec. user=vaughan [2009-08-01 15:48:58] 579*2^705389-1 is not prime. Res64: 14F19F6C38BB15C1 Time : 613.0 sec. user=vaughan [2009-08-01 15:49:31] 447*2^705390-1 is not prime. Res64: 2D2F0F263966BE6D Time : 456.0 sec. user=vaughan [2009-08-01 15:49:47] 589*2^705389-1 is not prime. Res64: 646655A05E930441 Time : 614.0 sec. user=vaughan [2009-08-01 15:50:11] 443*2^705390-1 is not prime. Res64: 0591E59D69663CDA Time : 615.0 sec. user=vaughan [2009-08-01 15:51:57] 525*2^705390-1 is not prime. Res64: 6FE0543D5EDC1700 Time : 463.0 sec. user=vaughan [2009-08-01 15:52:16] 483*2^705390-1 is not prime. Res64: 234BF5A38E72E964 Time : 613.0 sec. user=vaughan [2009-08-01 15:57:07] 421*2^705391-1 is not prime. Res64: EEC43DC8BE4A6CFC Time : 456.0 sec. user=vaughan [2009-08-01 15:59:11] 587*2^705390-1 is not prime. Res64: 3E6EF0A5E0AD9B1A Time : 613.0 sec. user=vaughan [2009-08-01 15:59:40] 499*2^705391-1 is not prime. Res64: 84AAC347D59CD57C Time : 464.0 sec. user=vaughan [2009-08-01 16:00:01] 451*2^705391-1 is not prime. Res64: 9DE7ED9CC5E7C558 Time : 614.0 sec. user=vaughan [2009-08-01 16:00:25] 475*2^705391-1 is not prime. Res64: 81E26BA008435FC3 Time : 615.0 sec. user=vaughan [2009-08-01 16:02:30] 535*2^705391-1 is not prime. Res64: EB7EDEC85D98D51D Time : 614.0 sec. user=vaughan [2009-08-01 16:04:42] 561*2^705391-1 is not prime. Res64: B1B5A006BCF2D016 Time : 455.0 sec. user=vaughan [2009-08-01 16:07:21] 455*2^705392-1 is not prime. Res64: 6C7A859BB0901D3A Time : 462.0 sec. user=vaughan [2009-08-01 16:09:25] 583*2^705391-1 is not prime. Res64: 4F3E28FA554EEC6E Time : 614.0 sec. user=vaughan [2009-08-01 16:10:15] 489*2^705392-1 is not prime. Res64: 467B97BBD5DB58E9 Time : 614.0 sec. user=vaughan [2009-08-01 16:10:39] 533*2^705392-1 is not prime. Res64: A60BC5EC9E95A376 Time : 614.0 sec. user=vaughan [2009-08-01 16:12:18] 599*2^705392-1 is not prime. Res64: D5179DC86D00F79F Time : 456.0 sec. user=vaughan [2009-08-01 16:12:44] 557*2^705392-1 is not prime. Res64: 33875FB4C68107ED Time : 614.0 sec. user=vaughan [2009-08-01 16:15:02] 405*2^705393-1 is not prime. Res64: 6B94757FEC3958A9 Time : 461.0 sec. user=vaughan [2009-08-01 16:19:39] 545*2^705394-1 is not prime. Res64: B8C77DDA2FD3CDDF Time : 614.0 sec. user=vaughan [2009-08-01 16:19:54] 585*2^705395-1 is not prime. Res64: FD2F0AB54FA63085 Time : 456.0 sec. user=vaughan [2009-08-01 16:20:29] 575*2^705394-1 is not prime. Res64: 2047135C9A1BFDB9 Time : 614.0 sec. user=vaughan [2009-08-01 16:20:52] 543*2^705395-1 is not prime. Res64: E200C5290BF10449 Time : 613.0 sec. user=vaughan [2009-08-01 16:22:42] 587*2^705396-1 is not prime. Res64: 0C3D7B6CBB3C5B94 Time : 461.0 sec. user=vaughan [2009-08-01 16:22:57] 413*2^705396-1 is not prime. Res64: 731956C411311669 Time : 613.0 sec. user=vaughan [2009-08-01 16:27:30] 451*2^705397-1 is not prime. Res64: D34D29B2F8D2FB98 Time : 456.0 sec. user=vaughan [2009-08-01 16:29:52] 593*2^705396-1 is not prime. Res64: 486272A720B72912 Time : 613.0 sec. user=vaughan [2009-08-01 16:30:22] 595*2^705397-1 is not prime. Res64: 360D10B10B34E8CF Time : 461.0 sec. user=vaughan [2009-08-01 16:30:43] 519*2^705397-1 is not prime. Res64: 2CDA0F72C5E2A51C Time : 614.0 sec. user=vaughan [2009-08-01 16:31:06] 549*2^705397-1 is not prime. Res64: 6275DBB61E8D87C4 Time : 614.0 sec. user=vaughan [2009-08-01 16:33:11] 423*2^705398-1 is not prime. Res64: FCBB62A57119AD3A Time : 614.0 sec. user=vaughan [2009-08-01 16:35:06] 515*2^705398-1 is not prime. Res64: 30B49B8AB534524E Time : 456.0 sec. user=vaughan [2009-08-01 16:38:02] 451*2^705399-1 is not prime. Res64: 3E4E3B64479AAD5F Time : 461.0 sec. user=vaughan [2009-08-01 16:40:05] 525*2^705398-1 is not prime. Res64: EA527C1A7ADF939A Time : 613.0 sec. user=vaughan [2009-08-01 16:40:56] 553*2^705399-1 is not prime. Res64: 0664CEF8E5EA22AF Time : 613.0 sec. user=vaughan [2009-08-01 16:41:19] 595*2^705399-1 is not prime. Res64: 66EB8C3B856E3975 Time : 613.0 sec. user=vaughan [2009-08-01 16:42:42] 527*2^705400-1 is not prime. Res64: 11BF9964C9A7B4B3 Time : 456.0 sec. user=vaughan [2009-08-01 16:43:25] 525*2^705400-1 is not prime. Res64: 97876C1E0AD87469 Time : 614.0 sec. user=vaughan [2009-08-01 16:45:42] 597*2^705400-1 is not prime. Res64: 44D0DB1657136BD6 Time : 461.0 sec. user=vaughan [2009-08-01 16:50:18] 571*2^705401-1 is not prime. Res64: 6C7035CE19F48EF7 Time : 456.0 sec. user=vaughan [2009-08-01 16:50:18] 529*2^705401-1 is not prime. Res64: 89ACB294166CBAA5 Time : 613.0 sec. user=vaughan [2009-08-01 16:51:10] 537*2^705401-1 is not prime. Res64: 47349B7ECFA61585 Time : 614.0 sec. user=vaughan [2009-08-01 16:51:33] 547*2^705401-1 is not prime. Res64: 9CDC8D5AE7216645 Time : 614.0 sec. user=vaughan [2009-08-01 16:53:22] 485*2^705402-1 is not prime. Res64: 4C2907712BA140E7 Time : 461.0 sec. user=vaughan [2009-08-01 16:53:39] 585*2^705401-1 is not prime. Res64: EA2B85E145AA6642 Time : 614.0 sec. user=vaughan [2009-08-01 16:57:54] 513*2^705402-1 is not prime. Res64: 1C48E0493F640360 Time : 456.0 sec. user=vaughan [2009-08-01 17:00:32] 551*2^705402-1 is not prime. Res64: 4D7D77E12CA25701 Time : 614.0 sec. user=vaughan [2009-08-01 17:01:02] 489*2^705403-1 is not prime. Res64: 43DCFBB3C094DBC9 Time : 461.0 sec. user=vaughan [2009-08-01 17:01:24] 587*2^705402-1 is not prime. Res64: 5DDC91D57681A8D9 Time : 614.0 sec. user=vaughan [2009-08-01 17:01:46] 481*2^705403-1 is not prime. Res64: C2FF8FA8F265E877 Time : 613.0 sec. user=vaughan [2009-08-01 17:03:52] 511*2^705403-1 is not prime. Res64: D6A76832E4CB952C Time : 613.0 sec. user=vaughan [2009-08-01 17:05:30] 425*2^705404-1 is not prime. Res64: AF6AEAAF1F15E9F2 Time : 456.0 sec. user=vaughan [2009-08-01 17:08:46] 457*2^705405-1 is not prime. Res64: 236E085F108F3C92 Time : 465.0 sec. user=vaughan [2009-08-01 17:10:45] 495*2^705404-1 is not prime. Res64: F3680ABC980D435B Time : 614.0 sec. user=vaughan [2009-08-01 17:11:38] 459*2^705405-1 is not prime. Res64: 85CB1944301A2335 Time : 614.0 sec. user=vaughan [2009-08-01 17:12:00] 529*2^705405-1 is not prime. Res64: 20E775BD3BA56C29 Time : 614.0 sec. user=vaughan [2009-08-01 17:13:08] 567*2^705406-1 is not prime. Res64: 13820D72D2FFA3EC Time : 458.0 sec. user=vaughan [2009-08-01 17:14:06] 577*2^705405-1 is not prime. Res64: 2F79FFA57ACE579F Time : 614.0 sec. user=vaughan [2009-08-01 17:16:48] 553*2^705407-1 is not prime. Res64: D4C1B1F3D13DD336 Time : 483.0 sec. user=vaughan [2009-08-01 17:20:50] 555*2^705408-1 is not prime. Res64: 2CCD6F53EBAE4DBE Time : 462.0 sec. user=vaughan [2009-08-01 17:20:57] 565*2^705407-1 is not prime. Res64: E622505231F02D97 Time : 613.0 sec. user=vaughan [2009-08-01 17:21:51] 571*2^705407-1 is not prime. Res64: 323A44B76A3F5EE3 Time : 613.0 sec. user=vaughan [2009-08-01 17:22:13] 549*2^705408-1 is not prime. Res64: 06ECF32FFA6EE1F8 Time : 613.0 sec. user=vaughan [2009-08-01 17:24:19] 567*2^705408-1 is not prime. Res64: DC32C2B5ECA3509B Time : 613.0 sec. user=vaughan [2009-08-01 17:24:59] 597*2^705408-1 is not prime. Res64: FDEB2508B81DC162 Time : 492.0 sec. user=vaughan [2009-08-01 17:28:32] 435*2^705409-1 is not prime. Res64: 96763C770B0B75EF Time : 462.0 sec. user=vaughan [2009-08-01 17:31:10] 465*2^705409-1 is not prime. Res64: 44D9F82B9F500C83 Time : 613.0 sec. user=vaughan [2009-08-01 17:32:05] 549*2^705409-1 is not prime. Res64: 94DDDFE83027490F Time : 614.0 sec. user=vaughan [2009-08-01 17:32:26] 407*2^705410-1 is not prime. Res64: A0F8336BB932982A Time : 613.0 sec. user=vaughan [2009-08-01 17:33:43] 545*2^705410-1 is not prime. Res64: 6E88FC9BB8D2B967 Time : 525.0 sec. user=vaughan [2009-08-01 17:34:32] 533*2^705410-1 is not prime. Res64: 1B172A6080DC1D95 Time : 613.0 sec. user=vaughan [2009-08-01 17:36:17] 593*2^705410-1 is not prime. Res64: 25E5FA9101EEABAA Time : 465.0 sec. user=vaughan [2009-08-01 17:41:24] 483*2^705411-1 is not prime. Res64: 6C160D1A692218B4 Time : 614.0 sec. user=vaughan [2009-08-01 17:41:37] 419*2^705412-1 is not prime. Res64: F023BB86EC91CA0A Time : 475.0 sec. user=vaughan [2009-08-01 17:42:19] 529*2^705411-1 is not prime. Res64: 7A0B7700A1A54A75 Time : 614.0 sec. user=vaughan [2009-08-01 17:42:39] 535*2^705411-1 is not prime. Res64: DF0164BD7128C2CD Time : 613.0 sec. user=vaughan [2009-08-01 17:43:51] 569*2^705412-1 is not prime. Res64: FE7E30D6B94A4216 Time : 454.0 sec. user=vaughan [2009-08-01 17:44:45] 527*2^705412-1 is not prime. Res64: 88200782755517C9 Time : 613.0 sec. user=vaughan [2009-08-01 17:49:20] 477*2^705413-1 is not prime. Res64: 70C7706BE147A9DF Time : 463.0 sec. user=vaughan [2009-08-01 17:51:24] 571*2^705413-1 is not prime. Res64: FB815A21E3C72C07 Time : 453.0 sec. user=vaughan [2009-08-01 17:51:37] 441*2^705413-1 is not prime. Res64: 0311323C1F646E7C Time : 614.0 sec. user=vaughan [2009-08-01 17:52:33] 549*2^705413-1 is not prime. Res64: 7B342087932D3FA2 Time : 614.0 sec. user=vaughan [2009-08-01 17:52:53] 567*2^705413-1 is not prime. Res64: 0D5307218D8F43B8 Time : 614.0 sec. user=vaughan [2009-08-01 17:54:59] 401*2^705414-1 is not prime. Res64: 556FD684CA43E073 Time : 614.0 sec. user=vaughan [2009-08-01 17:57:07] 443*2^705414-1 is not prime. Res64: 971CCB62C5371FE1 Time : 467.0 sec. user=vaughan [2009-08-01 17:58:58] 447*2^705414-1 is not prime. Res64: FC619E290623510D Time : 454.0 sec. user=vaughan [2009-08-01 18:01:51] 495*2^705414-1 is not prime. Res64: BEB1E0293C1EE261 Time : 614.0 sec. user=vaughan [2009-08-01 18:02:46] 507*2^705414-1 is not prime. Res64: 79B59874552A04AA Time : 613.0 sec. user=vaughan [2009-08-01 18:03:06] 513*2^705414-1 is not prime. Res64: 2F1BC7687DA6C977 Time : 613.0 sec. user=vaughan [2009-08-01 18:04:51] 433*2^705415-1 is not prime. Res64: 06BD1E56C0968094 Time : 464.0 sec. user=vaughan [2009-08-01 18:05:12] 421*2^705415-1 is not prime. Res64: 6C00D96FD7822D42 Time : 613.0 sec. user=vaughan [2009-08-01 18:06:31] 471*2^705415-1 is not prime. Res64: 83D3BDFA3CCE300B Time : 453.0 sec. user=vaughan [2009-08-01 18:12:04] 475*2^705415-1 is not prime. Res64: 774522C21E65CB77 Time : 613.0 sec. user=vaughan [2009-08-01 18:12:34] 553*2^705415-1 is not prime. Res64: F1F0EF0ABE2E0603 Time : 463.0 sec. user=vaughan [2009-08-01 18:12:59] 525*2^705415-1 is not prime. Res64: 8F9779B414272204 Time : 613.0 sec. user=vaughan [2009-08-01 18:13:20] 531*2^705415-1 is not prime. Res64: 07BD97BEF9D6CE10 Time : 614.0 sec. user=vaughan [2009-08-01 18:14:04] 405*2^705416-1 is not prime. Res64: 53BA5AC3BEAB7163 Time : 453.0 sec. user=vaughan [2009-08-01 18:15:25] 579*2^705415-1 is not prime. Res64: 21290F72354D5C5F Time : 613.0 sec. user=vaughan [2009-08-01 18:20:18] 465*2^705416-1 is not prime. Res64: 6DC36834D1DA4324 Time : 464.0 sec. user=vaughan [2009-08-01 18:21:37] 565*2^705417-1 is not prime. Res64: 9C576F6468574213 Time : 453.0 sec. user=vaughan [2009-08-01 18:22:17] 425*2^705416-1 is not prime. Res64: 520BD40D6744164B Time : 614.0 sec. user=vaughan [2009-08-01 18:23:13] 473*2^705416-1 is not prime. Res64: 2702804BF61E4159 Time : 614.0 sec. user=vaughan [2009-08-01 18:23:33] 507*2^705416-1 is not prime. Res64: F2BFA1DCAD87468C Time : 613.0 sec. user=vaughan [2009-08-01 18:25:39] 453*2^705418-1 is not prime. Res64: ED5AE34F78808E0A Time : 614.0 sec. user=vaughan [2009-08-01 18:28:02] 491*2^705418-1 is not prime. Res64: B4D722E4C2A66F20 Time : 464.0 sec. user=vaughan [2009-08-01 18:29:10] 495*2^705418-1 is not prime. Res64: D67758AF98F34304 Time : 453.0 sec. user=vaughan [2009-08-01 18:32:31] 497*2^705418-1 is not prime. Res64: A8605D009981971B Time : 615.0 sec. user=vaughan [2009-08-01 18:33:26] 503*2^705418-1 is not prime. Res64: D8F38ACA7276B489 Time : 613.0 sec. user=vaughan [2009-08-01 18:33:46] 465*2^705419-1 is not prime. Res64: 251C491E78998026 Time : 613.0 sec. user=vaughan [2009-08-01 18:35:47] 511*2^705419-1 is not prime. Res64: B98E2D1A644852FA Time : 465.0 sec. user=vaughan [2009-08-01 18:35:53] 469*2^705419-1 is not prime. Res64: CAFC17B32160A036 Time : 614.0 sec. user=vaughan [2009-08-01 18:36:44] 523*2^705419-1 is not prime. Res64: B4AE870E6D594604 Time : 454.0 sec. user=vaughan [2009-08-01 18:42:45] 531*2^705419-1 is not prime. Res64: 4FCD4F69F37E5C63 Time : 615.0 sec. user=vaughan [2009-08-01 18:43:31] 567*2^705420-1 is not prime. Res64: 47C18934A68BF335 Time : 464.0 sec. user=vaughan [2009-08-01 18:43:40] 405*2^705420-1 is not prime. Res64: 77C5D1C18201D91F Time : 614.0 sec. user=vaughan [2009-08-01 18:43:59] 429*2^705420-1 is not prime. Res64: 5CCAB5BC7761953C Time : 613.0 sec. user=vaughan [2009-08-01 18:44:17] 495*2^705421-1 is not prime. Res64: EC83BE8875AF0913 Time : 453.0 sec. user=vaughan [2009-08-01 18:46:07] 411*2^705421-1 is not prime. Res64: DE323F1621FE64C0 Time : 614.0 sec. user=vaughan [2009-08-01 18:51:16] 525*2^705421-1 is not prime. Res64: A9E15E2007E4C49D Time : 465.0 sec. user=vaughan [2009-08-01 18:51:50] 587*2^705422-1 is not prime. Res64: 539D6B0FDF02F3B2 Time : 453.0 sec. user=vaughan [2009-08-01 18:52:58] 499*2^705421-1 is not prime. Res64: 6C7F45C1BFE65236 Time : 614.0 sec. user=vaughan [2009-08-01 18:53:54] 507*2^705422-1 is not prime. Res64: E60226F657CAD382 Time : 614.0 sec. user=vaughan [2009-08-01 18:54:12] 525*2^705422-1 is not prime. Res64: 2874D1579CA49D2C Time : 613.0 sec. user=vaughan [2009-08-01 18:56:20] 445*2^705423-1 is not prime. Res64: 7BE78B13A1F32764 Time : 613.0 sec. user=vaughan [2009-08-01 18:58:59] 453*2^705423-1 is not prime. Res64: FE818FDCB3080E92 Time : 463.0 sec. user=vaughan [2009-08-01 18:59:25] 475*2^705423-1 is not prime. Res64: B1AADD51068670A4 Time : 455.0 sec. user=vaughan [2009-08-01 19:03:11] 549*2^705423-1 is not prime. Res64: 991315510ECB06A4 Time : 613.0 sec. user=vaughan [2009-08-01 19:04:07] 571*2^705423-1 is not prime. Res64: A26BC5937614AE52 Time : 613.0 sec. user=vaughan [2009-08-01 19:04:25] 595*2^705423-1 is not prime. Res64: 22B426E5C7697415 Time : 613.0 sec. user=vaughan [2009-08-01 19:06:34] 435*2^705424-1 is not prime. Res64: 0259320CDA69AE15 Time : 614.0 sec. user=vaughan [2009-08-01 19:06:40] 513*2^705424-1 is not prime. Res64: 5151463B12CFCB66 Time : 461.0 sec. user=vaughan [2009-08-01 19:07:00] 549*2^705424-1 is not prime. Res64: 022697DE65C74D0F Time : 455.0 sec. user=vaughan [2009-08-01 19:13:25] 573*2^705424-1 is not prime. Res64: B1D0B8D45D91DED5 Time : 614.0 sec. user=vaughan [2009-08-01 19:14:21] 483*2^705426-1 is not prime. Res64: 9CE064A8D6FA8B03 Time : 461.0 sec. user=vaughan [2009-08-01 19:14:21] 405*2^705425-1 is not prime. Res64: EB98BE7030F1F8EC Time : 614.0 sec. user=vaughan [2009-08-01 19:14:36] 527*2^705426-1 is not prime. Res64: F6D7795DB82915EB Time : 456.0 sec. user=vaughan [2009-08-01 19:14:39] 591*2^705425-1 is not prime. Res64: 75003D26BB93A57F Time : 614.0 sec. user=vaughan [2009-08-01 19:16:48] 413*2^705426-1 is not prime. Res64: 1B6866D79752083B Time : 614.0 sec. user=vaughan [2009-08-01 19:22:02] 421*2^705427-1 is not prime. Res64: 8E7C5D6CB88E3DE7 Time : 461.0 sec. user=vaughan [2009-08-01 19:22:12] 423*2^705428-1 is not prime. Res64: 5231DA2588AE9305 Time : 456.0 sec. user=vaughan [2009-08-01 19:23:39] 585*2^705426-1 is not prime. Res64: 5D858D9A3C009106 Time : 614.0 sec. user=vaughan [2009-08-01 19:24:34] 463*2^705427-1 is not prime. Res64: 819AC9F506B4B6C2 Time : 613.0 sec. user=vaughan [2009-08-01 19:24:52] 479*2^705428-1 is not prime. Res64: CDE55D72971CBB40 Time : 613.0 sec. user=vaughan [2009-08-01 19:27:01] 525*2^705428-1 is not prime. Res64: E7B22CECACA97614 Time : 613.0 sec. user=vaughan [2009-08-01 19:29:44] 441*2^705429-1 is not prime. Res64: 5E6DAB8B16ACDA80 Time : 462.0 sec. user=vaughan [2009-08-01 19:29:48] 459*2^705429-1 is not prime. Res64: B31E1F5C3717AEFD Time : 456.0 sec. user=vaughan [2009-08-01 19:33:52] 597*2^705429-1 is not prime. Res64: 45B7145689CCFD51 Time : 613.0 sec. user=vaughan [2009-08-01 19:34:48] 567*2^705430-1 is not prime. Res64: BE7C7D9524559C04 Time : 614.0 sec. user=vaughan [2009-08-01 19:35:06] 593*2^705430-1 is not prime. Res64: 10B2B7307DDBD5DB Time : 614.0 sec. user=vaughan [2009-08-01 19:37:15] 597*2^705430-1 is not prime. Res64: 19044D44A8A90154 Time : 614.0 sec. user=vaughan [2009-08-01 19:37:23] 463*2^705431-1 is not prime. Res64: 91EAA2FD9D7C60A3 Time : 455.0 sec. user=vaughan [2009-08-01 19:37:24] 423*2^705431-1 is not prime. Res64: 59C575819C0D6757 Time : 460.0 sec. user=vaughan [2009-08-01 19:44:05] 465*2^705431-1 is not prime. Res64: 0793322CB0B251CE Time : 614.0 sec. user=vaughan [2009-08-01 19:44:59] 587*2^705432-1 is not prime. Res64: 73556BC0FA18D24C Time : 456.0 sec. user=vaughan [2009-08-01 19:45:01] 511*2^705431-1 is not prime. Res64: CF383A5BE4A37A97 Time : 613.0 sec. user=vaughan [2009-08-01 19:45:05] 593*2^705432-1 is not prime. Res64: F996DF8F478090EF Time : 461.0 sec. user=vaughan [2009-08-01 19:45:19] 525*2^705431-1 is not prime. Res64: 557B75FD3B1A8CC5 Time : 613.0 sec. user=vaughan [2009-08-01 19:47:28] 569*2^705432-1 is not prime. Res64: 134CA7AA52611DA5 Time : 613.0 sec. user=vaughan [2009-08-01 19:52:35] 517*2^705433-1 is not prime. Res64: 1F58BC5897953639 Time : 456.0 sec. user=vaughan [2009-08-01 19:52:46] 591*2^705433-1 is not prime. Res64: 8925767B05E6BBDD Time : 461.0 sec. user=vaughan [2009-08-01 19:54:19] 465*2^705433-1 is not prime. Res64: E27017477804E29E Time : 615.0 sec. user=vaughan [2009-08-01 19:55:15] 549*2^705433-1 is not prime. Res64: 6D6F6F3A71D07716 Time : 614.0 sec. user=vaughan [2009-08-01 19:55:33] 407*2^705434-1 is not prime. Res64: 2A3E6E18AF256C89 Time : 615.0 sec. user=vaughan [2009-08-01 19:57:42] 461*2^705434-1 is not prime. Res64: A273B6D3D23E3AAB Time : 614.0 sec. user=vaughan [2009-08-01 20:00:11] 495*2^705434-1 is not prime. Res64: 959350BB97661AFD Time : 456.0 sec. user=vaughan [2009-08-01 20:00:28] 563*2^705434-1 is not prime. Res64: 307BBAAA7CAC8310 Time : 462.0 sec. user=vaughan [2009-08-01 20:04:32] 575*2^705434-1 is not prime. Res64: 03583293B42428B0 Time : 614.0 sec. user=vaughan [2009-08-01 20:05:29] 593*2^705434-1 is not prime. Res64: 6A712BA221F373BB Time : 614.0 sec. user=vaughan [2009-08-01 20:05:46] 411*2^705435-1 is not prime. Res64: 2314702F5F36FCA7 Time : 614.0 sec. user=vaughan [2009-08-01 20:07:47] 489*2^705435-1 is not prime. Res64: 513CB2FC58E840F5 Time : 456.0 sec. user=vaughan [2009-08-01 20:07:55] 481*2^705435-1 is not prime. Res64: 687A924971D6DA4F Time : 613.0 sec. user=vaughan [2009-08-01 20:08:09] 513*2^705435-1 is not prime. Res64: 5294091DE1F262D8 Time : 461.0 sec. user=vaughan [2009-08-01 20:14:47] 553*2^705435-1 is not prime. Res64: 116C488F7790D033 Time : 616.0 sec. user=vaughan [2009-08-01 20:15:23] 447*2^705436-1 is not prime. Res64: 089F5469472ED15D Time : 456.0 sec. user=vaughan [2009-08-01 20:15:42] 555*2^705435-1 is not prime. Res64: 1F9F2BCF74651696 Time : 613.0 sec. user=vaughan [2009-08-01 20:15:49] 537*2^705436-1 is not prime. Res64: 463F4090533C7BDE Time : 460.0 sec. user=vaughan [2009-08-01 20:16:00] 435*2^705436-1 is not prime. Res64: 65CE55AA395ED327 Time : 614.0 sec. user=vaughan [2009-08-01 20:18:09] 449*2^705436-1 is not prime. Res64: 611F68F8E6D7DE22 Time : 614.0 sec. user=vaughan [2009-08-01 20:22:59] 511*2^705437-1 is not prime. Res64: 86364E619DD8F354 Time : 456.0 sec. user=vaughan [2009-08-01 20:23:30] 573*2^705438-1 is not prime. Res64: B1E4689E1AACCF96 Time : 461.0 sec. user=vaughan [2009-08-01 20:25:01] 567*2^705436-1 is not prime. Res64: A844661D1B9E4641 Time : 615.0 sec. user=vaughan [2009-08-01 20:25:55] 413*2^705438-1 is not prime. Res64: AB5168E27D49E136 Time : 613.0 sec. user=vaughan [2009-08-01 20:26:13] 469*2^705439-1 is not prime. Res64: 9F9748CC49122CB7 Time : 614.0 sec. user=vaughan [2009-08-01 20:28:22] 471*2^705439-1 is not prime. Res64: 76F1FF98DC425A5B Time : 613.0 sec. user=vaughan [2009-08-01 20:30:35] 483*2^705439-1 is not prime. Res64: E2624E40DCB7BC57 Time : 456.0 sec. user=vaughan [2009-08-01 20:31:10] 493*2^705439-1 is not prime. Res64: 36AAFE8ACD4B9B45 Time : 460.0 sec. user=vaughan [2009-08-01 20:35:14] 511*2^705439-1 is not prime. Res64: 44B92340FBD11C95 Time : 613.0 sec. user=vaughan [2009-08-01 20:36:09] 525*2^705439-1 is not prime. Res64: 28C130E722076B3F Time : 614.0 sec. user=vaughan [2009-08-01 20:36:27] 525*2^705440-1 is not prime. Res64: 0BECE1B96DD9AE57 Time : 615.0 sec. user=vaughan [2009-08-01 20:38:11] 531*2^705441-1 is not prime. Res64: 5FFCDDF72AB13D60 Time : 456.0 sec. user=vaughan [2009-08-01 20:38:36] 499*2^705441-1 is not prime. Res64: 1E292EA52342AB3C Time : 614.0 sec. user=vaughan [2009-08-01 20:38:50] 471*2^705442-1 is not prime. Res64: D1946861E11B2B0E Time : 460.0 sec. user=vaughan [2009-08-01 20:45:28] 483*2^705442-1 is not prime. Res64: 53BE2B61E7D29C4E Time : 614.0 sec. user=vaughan [2009-08-01 20:45:46] 413*2^705444-1 is not prime. Res64: 1F554D451436D520 Time : 455.0 sec. user=vaughan [2009-08-01 20:46:23] 527*2^705442-1 is not prime. Res64: 13CFD4E7DF9A87EF Time : 614.0 sec. user=vaughan [2009-08-01 20:46:31] 425*2^705444-1 is not prime. Res64: 074E5249B48A641D Time : 461.0 sec. user=vaughan [2009-08-01 20:46:41] 475*2^705443-1 is not prime. Res64: AF9134A03E14A603 Time : 615.0 sec. user=vaughan [2009-08-01 20:48:50] 423*2^705444-1 is not prime. Res64: 5228F6C222A858AE Time : 614.0 sec. user=vaughan [2009-08-01 20:53:22] 465*2^705444-1 is not prime. Res64: 2E9BDB449BD56DC3 Time : 456.0 sec. user=vaughan [2009-08-01 20:54:12] 525*2^705444-1 is not prime. Res64: 331F0F3CDAD0F2A8 Time : 461.0 sec. user=vaughan [2009-08-01 20:55:42] 455*2^705444-1 is not prime. Res64: A2DC0195625457BD Time : 614.0 sec. user=vaughan [2009-08-01 20:56:37] 479*2^705444-1 is not prime. Res64: DEB0A9947742C077 Time : 614.0 sec. user=vaughan [2009-08-01 20:56:54] 549*2^705444-1 is not prime. Res64: 9BFD567DAA8E73BD Time : 614.0 sec. user=vaughan [2009-08-01 20:59:04] 421*2^705445-1 is not prime. Res64: 930068B19C239BFA Time : 614.0 sec. user=vaughan [2009-08-01 21:00:57] 511*2^705445-1 is not prime. Res64: 2A47CBC5DCC5679B Time : 455.0 sec. user=vaughan [2009-08-01 21:01:53] 407*2^705446-1 is not prime. Res64: 095F81CB32053E27 Time : 461.0 sec. user=vaughan [2009-08-01 21:05:56] 453*2^705446-1 is not prime. Res64: 332F984F852628F3 Time : 614.0 sec. user=vaughan [2009-08-01 21:06:55] 495*2^705446-1 is not prime. Res64: 44F0C0273187544F Time : 619.0 sec. user=vaughan [2009-08-01 21:07:08] 503*2^705446-1 is not prime. Res64: B459A47B2FCC7EE6 Time : 615.0 sec. user=vaughan [2009-08-01 21:08:32] 573*2^705446-1 is not prime. Res64: ED17117C271793E1 Time : 455.0 sec. user=vaughan [2009-08-01 21:09:17] 563*2^705446-1 is not prime. Res64: 4927FF62967637F3 Time : 613.0 sec. user=vaughan [2009-08-01 21:09:34] 523*2^705447-1 is not prime. Res64: 73404C39C71D8906 Time : 461.0 sec. user=vaughan [2009-08-01 21:16:09] 469*2^705449-1 is not prime. Res64: C79313E3E55AD6E6 Time : 457.0 sec. user=vaughan [2009-08-01 21:16:11] 419*2^705448-1 is not prime. Res64: C6BA3D1326F38B3B Time : 615.0 sec. user=vaughan [2009-08-01 21:17:09] 569*2^705448-1 is not prime. Res64: CEA17E81DFFE687C Time : 615.0 sec. user=vaughan [2009-08-01 21:17:16] 567*2^705449-1 is not prime. Res64: 422381F15F85E37D Time : 462.0 sec. user=vaughan [2009-08-01 21:17:21] 459*2^705449-1 is not prime. Res64: CC93BDBC6BFD0EFC Time : 613.0 sec. user=vaughan [2009-08-01 21:19:31] 517*2^705449-1 is not prime. Res64: 548633427AE63F9C Time : 614.0 sec. user=vaughan [2009-08-01 21:23:45] 495*2^705451-1 is not prime. Res64: C4E7437E51A71838 Time : 457.0 sec. user=vaughan [2009-08-01 21:24:57] 405*2^705453-1 is not prime. Res64: 5514C56385A3590B Time : 462.0 sec. user=vaughan [2009-08-01 21:26:25] 525*2^705452-1 is not prime. Res64: E2E7614EFBA15CB3 Time : 615.0 sec. user=vaughan [2009-08-01 21:27:24] 539*2^705452-1 is not prime. Res64: 3F6CF85098DACC60 Time : 616.0 sec. user=vaughan [2009-08-01 21:27:35] 481*2^705453-1 is not prime. Res64: 7904757191F682D8 Time : 614.0 sec. user=vaughan [2009-08-01 21:29:45] 507*2^705453-1 is not prime. Res64: 6A0E80AD90A80FB7 Time : 614.0 sec. user=vaughan [2009-08-01 21:31:21] 511*2^705453-1 is not prime. Res64: 7984C0CF928628B7 Time : 456.0 sec. user=vaughan [2009-08-01 21:32:38] 565*2^705453-1 is not prime. Res64: 237F554E0ADDFDEF Time : 462.0 sec. user=vaughan [2009-08-01 21:36:39] 435*2^705454-1 is not prime. Res64: CFECFC3188AB1216 Time : 614.0 sec. user=vaughan [2009-08-01 21:37:38] 491*2^705454-1 is not prime. Res64: B1E44AB5F22E86E5 Time : 615.0 sec. user=vaughan [2009-08-01 21:37:48] 551*2^705454-1 is not prime. Res64: E8D69FF02651E8E0 Time : 613.0 sec. user=vaughan [2009-08-01 21:38:56] 433*2^705455-1 is not prime. Res64: 9224C6DB19FA4287 Time : 455.0 sec. user=vaughan [2009-08-01 21:39:58] 423*2^705455-1 is not prime. Res64: C9463FFD23D77BA2 Time : 613.0 sec. user=vaughan [2009-08-01 21:40:19] 441*2^705455-1 is not prime. Res64: 8C30933D47A3D10F Time : 461.0 sec. user=vaughan [2009-08-01 21:46:32] 537*2^705456-1 is not prime. Res64: 81491A1A09651B84 Time : 456.0 sec. user=vaughan [2009-08-01 21:46:53] 453*2^705455-1 is not prime. Res64: BF9CBF1617931772 Time : 614.0 sec. user=vaughan [2009-08-01 21:47:51] 405*2^705456-1 is not prime. Res64: 62386E07FF906ED6 Time : 613.0 sec. user=vaughan [2009-08-01 21:48:00] 429*2^705457-1 is not prime. Res64: F8A3A3F940BB310B Time : 461.0 sec. user=vaughan [2009-08-01 21:48:02] 455*2^705456-1 is not prime. Res64: 757D1DE915781F7F Time : 614.0 sec. user=vaughan [2009-08-01 21:50:12] 563*2^705456-1 is not prime. Res64: 49222E5854F35C1F Time : 614.0 sec. user=vaughan [2009-08-01 21:54:08] 435*2^705457-1 is not prime. Res64: 0B714065193BABD4 Time : 456.0 sec. user=vaughan [2009-08-01 21:55:42] 531*2^705457-1 is not prime. Res64: 1C420238A63F348C Time : 462.0 sec. user=vaughan [2009-08-01 21:57:07] 457*2^705457-1 is not prime. Res64: 933D656D0A02FBF2 Time : 614.0 sec. user=vaughan [2009-08-01 21:58:05] 495*2^705457-1 is not prime. Res64: 91AD6EDA3ADEEA27 Time : 614.0 sec. user=vaughan [2009-08-01 21:58:16] 577*2^705457-1 is not prime. Res64: 208A5D4409F31BF3 Time : 614.0 sec. user=vaughan [2009-08-01 22:00:27] 525*2^705458-1 is not prime. Res64: C1614EA6DBE80026 Time : 615.0 sec. user=vaughan [2009-08-01 22:01:44] 439*2^705459-1 is not prime. Res64: 804E02C60DCE80BD Time : 456.0 sec. user=vaughan [2009-08-01 22:03:24] 493*2^705459-1 is not prime. Res64: AF5B3AAD9898B681 Time : 462.0 sec. user=vaughan [2009-08-01 22:07:21] 501*2^705459-1 is not prime. Res64: 568AEF719D3C0355 Time : 614.0 sec. user=vaughan [2009-08-01 22:08:18] 511*2^705459-1 is not prime. Res64: FC95D89FAA40EDD4 Time : 613.0 sec. user=vaughan [2009-08-01 22:08:28] 531*2^705459-1 is not prime. Res64: BE44C936881E2954 Time : 612.0 sec. user=vaughan [2009-08-01 22:09:20] 565*2^705459-1 is not prime. Res64: F5B905C196DBE7A4 Time : 456.0 sec. user=vaughan [2009-08-01 22:10:41] 543*2^705459-1 is not prime. Res64: 4D4B9EFC56B457E3 Time : 615.0 sec. user=vaughan [2009-08-01 22:11:05] 579*2^705459-1 is not prime. Res64: 2D2FC6BC768428F1 Time : 461.0 sec. user=vaughan [2009-08-01 22:16:56] 529*2^705461-1 is not prime. Res64: 76B3D5D1F7578B8E Time : 457.0 sec. user=vaughan [2009-08-01 22:17:35] 583*2^705459-1 is not prime. Res64: E8ED3728333F1D94 Time : 614.0 sec. user=vaughan [2009-08-01 22:18:31] 517*2^705461-1 is not prime. Res64: 2044967AB0C14A1C Time : 613.0 sec. user=vaughan [2009-08-01 22:18:41] 525*2^705461-1 is not prime. Res64: 392596E7E816400B Time : 613.0 sec. user=vaughan [2009-08-01 22:18:45] 501*2^705462-1 is not prime. Res64: C74D417A7AAE4157 Time : 460.0 sec. user=vaughan [2009-08-01 22:20:55] 591*2^705461-1 is not prime. Res64: 8D00D44F8D89995F Time : 615.0 sec. user=vaughan [2009-08-01 22:24:32] 507*2^705462-1 is not prime. Res64: D019A55BE1CF9180 Time : 457.0 sec. user=vaughan [2009-08-01 22:26:26] 429*2^705463-1 is not prime. Res64: 9575CBBA2FF4EC4F Time : 461.0 sec. user=vaughan [2009-08-01 22:27:49] 525*2^705462-1 is not prime. Res64: 6A8084DDBB6C35C3 Time : 614.0 sec. user=vaughan [2009-08-01 22:28:44] 563*2^705462-1 is not prime. Res64: 8FE867E3E4E86D85 Time : 613.0 sec. user=vaughan [2009-08-01 22:28:54] 421*2^705463-1 is not prime. Res64: 80E3952D96FC43AA Time : 613.0 sec. user=vaughan [2009-08-01 22:31:09] 451*2^705463-1 is not prime. Res64: CEE8498CCA8FCD6B Time : 615.0 sec. user=vaughan [2009-08-01 22:32:08] 483*2^705463-1 is not prime. Res64: 8EF32DBE11F674A7 Time : 457.0 sec. user=vaughan [2009-08-01 22:34:07] 523*2^705463-1 is not prime. Res64: F193D6F7CCEFC3A6 Time : 461.0 sec. user=vaughan [2009-08-01 22:38:02] 573*2^705463-1 is not prime. Res64: 2080307AED6939E9 Time : 613.0 sec. user=vaughan [2009-08-01 22:38:58] 417*2^705464-1 is not prime. Res64: 7FD503F86F8596D6 Time : 614.0 sec. user=vaughan [2009-08-01 22:39:07] 459*2^705464-1 is not prime. Res64: 7FA174A43267A0B0 Time : 613.0 sec. user=vaughan [2009-08-01 22:39:44] 563*2^705464-1 is not prime. Res64: B71CAA6398851E71 Time : 457.0 sec. user=vaughan [2009-08-01 22:41:23] 543*2^705464-1 is not prime. Res64: 994F5B737C00AE07 Time : 615.0 sec. user=vaughan [2009-08-01 22:41:47] 593*2^705464-1 is not prime. Res64: F44A4FE3466494A9 Time : 460.0 sec. user=vaughan [2009-08-01 22:47:20] 495*2^705465-1 is not prime. Res64: 04CF6C91FFD6F300 Time : 456.0 sec. user=vaughan [2009-08-01 22:48:16] 427*2^705465-1 is not prime. Res64: E88B1CB55912DE6A Time : 614.0 sec. user=vaughan [2009-08-01 22:49:11] 447*2^705465-1 is not prime. Res64: B9337E7D93528B63 Time : 613.0 sec. user=vaughan [2009-08-01 22:49:20] 481*2^705465-1 is not prime. Res64: DEFEEB1750834745 Time : 613.0 sec. user=vaughan [2009-08-01 22:49:28] 421*2^705467-1 is not prime. Res64: 278A9B1E8B8F6F67 Time : 461.0 sec. user=vaughan [2009-08-01 22:51:37] 525*2^705466-1 is not prime. Res64: 564CD586CCBB20D3 Time : 614.0 sec. user=vaughan [2009-08-01 22:54:56] 435*2^705467-1 is not prime. Res64: 6B01A99E3F840722 Time : 456.0 sec. user=vaughan [2009-08-01 22:57:10] 437*2^705468-1 is not prime. Res64: BBDA0F6028CCF065 Time : 462.0 sec. user=vaughan [2009-08-01 22:58:30] 531*2^705467-1 is not prime. Res64: 0CC9E4AEFA8C1FAE Time : 614.0 sec. user=vaughan [2009-08-01 22:59:25] 405*2^705468-1 is not prime. Res64: AE9066CB4B81CF4A Time : 614.0 sec. user=vaughan [2009-08-01 22:59:34] 423*2^705468-1 is not prime. Res64: E1F6A3622B77E5DD Time : 614.0 sec. user=vaughan [2009-08-01 23:01:51] 483*2^705468-1 is not prime. Res64: 4C455BB266BF2D31 Time : 614.0 sec. user=vaughan [2009-08-01 23:02:32] 485*2^705468-1 is not prime. Res64: 31DE31EDC7288C67 Time : 456.0 sec. user=vaughan [2009-08-01 23:04:50] 515*2^705468-1 is not prime. Res64: 5B2F83F26C9AFA77 Time : 461.0 sec. user=vaughan [2009-08-01 23:08:43] 555*2^705468-1 is not prime. Res64: DBDF132D3E7CBD58 Time : 614.0 sec. user=vaughan [2009-08-01 23:09:38] 435*2^705469-1 is not prime. Res64: 9AFB56BD2F888D6D Time : 613.0 sec. user=vaughan [2009-08-01 23:09:47] 451*2^705469-1 is not prime. Res64: 300D715CEFBDE8C1 Time : 613.0 sec. user=vaughan [2009-08-01 23:10:08] 547*2^705469-1 is not prime. Res64: 9A8284209A53799B Time : 456.0 sec. user=vaughan [2009-08-01 23:12:05] 537*2^705469-1 is not prime. Res64: 0BFA06174A2B6A57 Time : 614.0 sec. user=vaughan [2009-08-01 23:12:34] 555*2^705469-1 is not prime. Res64: 35A3D24B10BF0C0A Time : 464.0 sec. user=vaughan [2009-08-01 23:17:46] 439*2^705471-1 is not prime. Res64: 9423CAA8664BDCFD Time : 458.0 sec. user=vaughan [2009-08-01 23:18:56] 423*2^705470-1 is not prime. Res64: 5DCFF13C8AC7D43C Time : 613.0 sec. user=vaughan [2009-08-01 23:19:52] 447*2^705470-1 is not prime. Res64: 3664BFAA1C1A0023 Time : 614.0 sec. user=vaughan [2009-08-01 23:20:00] 473*2^705470-1 is not prime. Res64: A1FC22AE5FCFA0BC Time : 613.0 sec. user=vaughan [2009-08-01 23:20:25] 489*2^705471-1 is not prime. Res64: 43E35CCD1ED4C8F5 Time : 471.0 sec. user=vaughan [2009-08-01 23:22:18] 469*2^705471-1 is not prime. Res64: AE1916BFF650106E Time : 613.0 sec. user=vaughan [2009-08-01 23:25:22] 591*2^705471-1 is not prime. Res64: 4015FDD8064280B0 Time : 456.0 sec. user=vaughan [2009-08-01 23:28:07] 527*2^705472-1 is not prime. Res64: 1FD1917C6DD08C55 Time : 462.0 sec. user=vaughan [2009-08-01 23:29:10] 405*2^705472-1 is not prime. Res64: 6F685C3717E826D7 Time : 614.0 sec. user=vaughan [2009-08-01 23:30:06] 453*2^705472-1 is not prime. Res64: 740B27CE3AF96740 Time : 614.0 sec. user=vaughan [2009-08-01 23:30:14] 513*2^705472-1 is not prime. Res64: FD8FB576F03534F5 Time : 614.0 sec. user=vaughan [2009-08-01 23:32:32] 507*2^705473-1 is not prime. Res64: C235E13B94E7A06C Time : 614.0 sec. user=vaughan [2009-08-01 23:32:58] 567*2^705473-1 is not prime. Res64: 13B7048DD66EB0D1 Time : 456.0 sec. user=vaughan [2009-08-01 23:35:49] 453*2^705474-1 is not prime. Res64: EF6114CA703F3C06 Time : 462.0 sec. user=vaughan [2009-08-01 23:39:24] 497*2^705474-1 is not prime. Res64: 1318D713097C2AAE Time : 614.0 sec. user=vaughan [2009-08-01 23:40:20] 503*2^705474-1 is not prime. Res64: 9F349A9458E8CF46 Time : 614.0 sec. user=vaughan [2009-08-01 23:40:27] 527*2^705474-1 is not prime. Res64: 0177874281D64589 Time : 613.0 sec. user=vaughan [2009-08-01 23:40:34] 573*2^705474-1 is not prime. Res64: 9803ECDA05A2C956 Time : 456.0 sec. user=vaughan [2009-08-01 23:42:46] 555*2^705474-1 is not prime. Res64: 86C011C3F1D111C6 Time : 614.0 sec. user=vaughan [2009-08-01 23:43:30] 411*2^705475-1 is not prime. Res64: 7381D9A70E586FB4 Time : 461.0 sec. user=vaughan [2009-08-01 23:48:09] 463*2^705475-1 is not prime. Res64: E97D85A6334E8C87 Time : 455.0 sec. user=vaughan [2009-08-01 23:49:38] 415*2^705475-1 is not prime. Res64: 3A79790FD67DA615 Time : 614.0 sec. user=vaughan [2009-08-01 23:50:33] 429*2^705475-1 is not prime. Res64: 41F75AF354873750 Time : 613.0 sec. user=vaughan [2009-08-01 23:50:40] 433*2^705475-1 is not prime. Res64: 113EDB3C9C7815E8 Time : 613.0 sec. user=vaughan [2009-08-01 23:51:11] 435*2^705476-1 is not prime. Res64: 1B573A99EAD3C2B4 Time : 461.0 sec. user=vaughan [2009-08-01 23:53:00] 531*2^705475-1 is not prime. Res64: 7E3BE212424F04BC Time : 614.0 sec. user=vaughan [2009-08-01 23:55:44] 447*2^705476-1 is not prime. Res64: 678F660D691B2F6E Time : 455.0 sec. user=vaughan [2009-08-01 23:58:55] 469*2^705477-1 is not prime. Res64: 28E3F301FC57BF02 Time : 464.0 sec. user=vaughan [2009-08-01 23:59:52] 449*2^705476-1 is not prime. Res64: 9DE9BB0174FA4F38 Time : 614.0 sec.