user=vaughan [2012-02-10 00:03:03] 597*2^1121904-1 is not prime. Res64: 7673C0AC1AE08873 Time : 0.0 sec. user=vaughan [2012-02-10 00:03:04] 469*2^1121905-1 is not prime. Res64: F8F7092FB7D52245 Time : 0.0 sec. user=vaughan [2012-02-10 00:05:42] 489*2^1121905-1 is not prime. Res64: C1B68C59E7AE0960 Time : 0.0 sec. user=vaughan [2012-02-10 00:05:43] 499*2^1121905-1 is not prime. Res64: 256736C2A806F8C2 Time : 0.0 sec. user=vaughan [2012-02-10 00:06:10] 549*2^1121913-1 is not prime. Res64: DAC94290CB04E23C Time : 0.0 sec. user=vaughan [2012-02-10 00:06:11] 565*2^1121913-1 is not prime. Res64: D0200FEFB8A061F3 Time : 0.0 sec. user=vaughan [2012-02-10 00:06:22] 453*2^1121914-1 is not prime. Res64: 16D99D030A78C878 Time : 0.0 sec. user=vaughan [2012-02-10 00:06:23] 527*2^1121914-1 is not prime. Res64: 97C47C1D0B38DF3C Time : 0.0 sec. user=vaughan [2012-02-10 00:08:01] 453*2^1121907-1 is not prime. Res64: 67AAEECFCFBF23C3 Time : 0.0 sec. user=vaughan [2012-02-10 00:08:02] 595*2^1121907-1 is not prime. Res64: DF5950DE406C6716 Time : 0.0 sec. user=vaughan [2012-02-10 00:08:03] 495*2^1121908-1 is not prime. Res64: B9F7C1C892334726 Time : 0.0 sec. user=vaughan [2012-02-10 00:08:05] 507*2^1121908-1 is not prime. Res64: 482D98E2FAB68D48 Time : 0.0 sec. user=vaughan [2012-02-10 00:08:11] 433*2^1121907-1 is not prime. Res64: 41DDD3A144B11320 Time : 0.0 sec. user=vaughan [2012-02-10 00:08:12] 439*2^1121907-1 is not prime. Res64: C9664978E377B012 Time : 0.0 sec. user=vaughan [2012-02-10 00:11:45] 507*2^1121814-1 is not prime. Res64: 8EC92DC157368F60 Time : 0.0 sec. user=vaughan [2012-02-10 00:12:06] 569*2^1121908-1 is not prime. Res64: 68DBADBF0E7A2F73 Time : 0.0 sec. user=vaughan [2012-02-10 00:12:06] 579*2^1121908-1 is not prime. Res64: 23A1A6E2B3C31B5A Time : 0.0 sec. user=vaughan [2012-02-10 00:13:30] 441*2^1121909-1 is not prime. Res64: FF56978ED49256D6 Time : 0.0 sec. user=vaughan [2012-02-10 00:13:32] 425*2^1121910-1 is not prime. Res64: 54643A470D40F9B4 Time : 0.0 sec. user=vaughan [2012-02-10 00:13:57] 495*2^1121915-1 is not prime. Res64: 7EA962CE292CE457 Time : 0.0 sec. user=vaughan [2012-02-10 00:13:58] 519*2^1121915-1 is not prime. Res64: 6C03879F0F77A214 Time : 0.0 sec. user=vaughan [2012-02-10 00:13:59] 527*2^1121916-1 is not prime. Res64: EC6D5A8B0B976839 Time : 0.0 sec. user=vaughan [2012-02-10 00:14:00] 557*2^1121916-1 is not prime. Res64: B8B9AD3BD9A917CA Time : 0.0 sec. user=vaughan [2012-02-10 00:14:01] 421*2^1121915-1 is not prime. Res64: 80F2289A8AA8D9D9 Time : 0.0 sec. user=vaughan [2012-02-10 00:14:01] 413*2^1121916-1 is not prime. Res64: CCAEA663A0E5C8B5 Time : 0.0 sec. user=vaughan [2012-02-10 00:14:01] 445*2^1121915-1 is not prime. Res64: CAE3ABC8F7AC178B Time : 0.0 sec. user=vaughan [2012-02-10 00:14:02] 455*2^1121916-1 is not prime. Res64: F6CF861D58C4E835 Time : 0.0 sec. user=vaughan [2012-02-10 00:16:37] 483*2^1121926-1 is not prime. Res64: 648881444878FA96 Time : 0.0 sec. user=vaughan [2012-02-10 00:16:38] 441*2^1121927-1 is not prime. Res64: 6D5819B498FD7379 Time : 0.0 sec. user=vaughan [2012-02-10 00:16:40] 489*2^1121927-1 is not prime. Res64: 86D462F125764BBC Time : 0.0 sec. user=vaughan [2012-02-10 00:16:41] 523*2^1121927-1 is not prime. Res64: 75909133736A7C70 Time : 0.0 sec. user=vaughan [2012-02-10 00:18:48] 443*2^1121910-1 is not prime. Res64: A387F6E6037E0CD8 Time : 0.0 sec. user=vaughan [2012-02-10 00:18:49] 587*2^1121910-1 is not prime. Res64: AE0764746E7E3289 Time : 0.0 sec. user=vaughan [2012-02-10 00:20:04] 427*2^1121821-1 is not prime. Res64: 3B36D7636DCABAD4 Time : 0.0 sec. user=vaughan [2012-02-10 00:20:08] 459*2^1121823-1 is not prime. Res64: 491CFAF20FDC84F2 Time : 0.0 sec. user=vaughan [2012-02-10 00:20:16] 461*2^1121822-1 is not prime. Res64: 859388042000A34A Time : 0.0 sec. user=vaughan [2012-02-10 00:20:57] 417*2^1121894-1 is not prime. Res64: DC47966BA14F5CF9 Time : 0.0 sec. user=vaughan [2012-02-10 00:20:58] 425*2^1121894-1 is not prime. Res64: 01FAD8FA19B20BBE Time : 0.0 sec. user=vaughan [2012-02-10 00:20:59] 453*2^1121894-1 is not prime. Res64: 5508E24B4BB8D3B0 Time : 0.0 sec. user=vaughan [2012-02-10 00:21:01] 495*2^1121894-1 is not prime. Res64: 620D9AE55863D743 Time : 0.0 sec. user=vaughan [2012-02-10 00:21:02] 501*2^1121894-1 is not prime. Res64: F4EBAE5F8311E70F Time : 0.0 sec. user=vaughan [2012-02-10 00:21:03] 503*2^1121894-1 is not prime. Res64: F40C07BD8B2A044A Time : 0.0 sec. user=vaughan [2012-02-10 00:21:57] 563*2^1121896-1 is not prime. Res64: 19C4FA066A106555 Time : 0.0 sec. user=vaughan [2012-02-10 00:21:58] 597*2^1121896-1 is not prime. Res64: 77D63131A63231E5 Time : 0.0 sec. user=vaughan [2012-02-10 00:21:58] 441*2^1121897-1 is not prime. Res64: E6DB046E661F10CE Time : 0.0 sec. user=vaughan [2012-02-10 00:24:27] 425*2^1121918-1 is not prime. Res64: 74F4449EB4E18B2A Time : 0.0 sec. user=vaughan [2012-02-10 00:24:28] 467*2^1121918-1 is not prime. Res64: 06FA59C3C9FC84D6 Time : 0.0 sec. user=vaughan [2012-02-10 00:25:48] 533*2^1121920-1 is not prime. Res64: 4C8BCD29A9ED6E9F Time : 0.0 sec. user=vaughan [2012-02-10 00:25:49] 563*2^1121920-1 is not prime. Res64: 6AD7DFF3399C3E84 Time : 0.0 sec. user=vaughan [2012-02-10 00:26:00] 407*2^1121936-1 is not prime. Res64: D16240F41BA80383 Time : 0.0 sec. user=vaughan [2012-02-10 00:26:01] 585*2^1121936-1 is not prime. Res64: 483C9689DF2D4E66 Time : 0.0 sec. user=vaughan [2012-02-10 00:26:04] 503*2^1121918-1 is not prime. Res64: 6A3C0F18E83A9398 Time : 0.0 sec. user=vaughan [2012-02-10 00:26:05] 533*2^1121918-1 is not prime. Res64: 9D37661CA0239A51 Time : 0.0 sec. user=vaughan [2012-02-10 00:26:15] 465*2^1121937-1 is not prime. Res64: 05BDD931195C9EBC Time : 0.0 sec. user=vaughan [2012-02-10 00:26:15] 471*2^1121937-1 is not prime. Res64: 53D629991419F9C8 Time : 0.0 sec. user=vaughan [2012-02-10 00:26:58] 439*2^1121919-1 is not prime. Res64: C272B63CBA38307A Time : 0.0 sec. user=vaughan [2012-02-10 00:26:59] 481*2^1121919-1 is not prime. Res64: 59B0CE4A9DCF956B Time : 0.0 sec. user=vaughan [2012-02-10 00:27:15] 543*2^1121919-1 is not prime. Res64: BA3F739AAB1B8F0B Time : 0.0 sec. user=vaughan [2012-02-10 00:27:16] 573*2^1121919-1 is not prime. Res64: 758A7837FF1B6793 Time : 0.0 sec. user=vaughan [2012-02-10 00:27:32] 537*2^1121922-1 is not prime. Res64: 06E8ACE7B07C5B9E Time : 0.0 sec. user=vaughan [2012-02-10 00:27:32] 519*2^1121923-1 is not prime. Res64: 296B29B7CE362039 Time : 0.0 sec. user=vaughan [2012-02-10 00:27:39] 557*2^1121918-1 is not prime. Res64: B9E8417D43F8628A Time : 0.0 sec. user=vaughan [2012-02-10 00:27:39] 411*2^1121919-1 is not prime. Res64: 4B964F4DF425D271 Time : 0.0 sec. user=vaughan [2012-02-10 00:27:44] 447*2^1121924-1 is not prime. Res64: 023ADF7032020E5A Time : 0.0 sec. user=vaughan [2012-02-10 00:27:45] 465*2^1121924-1 is not prime. Res64: 83AA8A45771E0589 Time : 0.0 sec. user=vaughan [2012-02-10 00:27:50] 577*2^1121917-1 is not prime. Res64: E2ACC86368E4CD48 Time : 0.0 sec. user=vaughan [2012-02-10 00:27:50] 589*2^1121917-1 is not prime. Res64: 2BA099E26ADF3DEC Time : 0.0 sec. user=vaughan [2012-02-10 00:28:01] 511*2^1121919-1 is not prime. Res64: 42C04B7898F305A9 Time : 0.0 sec. user=vaughan [2012-02-10 00:28:01] 513*2^1121919-1 is not prime. Res64: C8A89F9118C90651 Time : 0.0 sec. user=vaughan [2012-02-10 00:28:23] 585*2^1121925-1 is not prime. Res64: 923B188B5FBB2DDA Time : 0.0 sec. user=vaughan [2012-02-10 00:28:24] 471*2^1121926-1 is not prime. Res64: 7F8677582F882603 Time : 0.0 sec. user=vaughan [2012-02-10 00:28:30] 579*2^1121919-1 is not prime. Res64: 541E08C883748A2C Time : 0.0 sec. user=vaughan [2012-02-10 00:28:31] 483*2^1121920-1 is not prime. Res64: 56D6402DF69B9209 Time : 0.0 sec. user=vaughan [2012-02-10 00:32:59] 567*2^1121920-1 is not prime. Res64: FF6B71BE4199C718 Time : 0.0 sec. user=vaughan [2012-02-10 00:32:59] 561*2^1121921-1 is not prime. Res64: C83EA1C5513945AC Time : 0.0 sec. user=vaughan [2012-02-10 00:34:20] 567*2^1121924-1 is not prime. Res64: 0ECAC37CC98EE3C5 Time : 0.0 sec. user=vaughan [2012-02-10 00:34:21] 481*2^1121925-1 is not prime. Res64: F38BBA273E411863 Time : 0.0 sec. user=vaughan [2012-02-10 00:35:58] 433*2^1121931-1 is not prime. Res64: 14585EB4F875485D Time : 0.0 sec. user=vaughan [2012-02-10 00:35:59] 441*2^1121931-1 is not prime. Res64: 19D321D7C10EB9D9 Time : 0.0 sec. user=vaughan [2012-02-10 00:36:25] 581*2^1121942-1 is not prime. Res64: 2EDD66369F48FD61 Time : 0.0 sec. user=vaughan [2012-02-10 00:36:25] 483*2^1121943-1 is not prime. Res64: 86303C9112BC254B Time : 0.0 sec. user=vaughan [2012-02-10 00:36:33] 501*2^1121943-1 is not prime. Res64: 40B93B4386FD828B Time : 0.0 sec. user=vaughan [2012-02-10 00:36:34] 553*2^1121943-1 is not prime. Res64: 160575AE0199137C Time : 0.0 sec. user=vaughan [2012-02-10 00:37:56] 483*2^1121930-1 is not prime. Res64: 00C0052B0D87D4EB Time : 0.0 sec. user=vaughan [2012-02-10 00:37:56] 581*2^1121930-1 is not prime. Res64: 821AB0D90A73BEA6 Time : 0.0 sec. user=vaughan [2012-02-10 00:38:26] 517*2^1121933-1 is not prime. Res64: E19CCB9B3944A3B1 Time : 0.0 sec. user=vaughan [2012-02-10 00:38:27] 591*2^1121933-1 is not prime. Res64: 6F24B7C4FE1C0E33 Time : 0.0 sec. user=vaughan [2012-02-10 00:39:17] 535*2^1121931-1 is not prime. Res64: 9183576CAC0AC8EC Time : 0.0 sec. user=vaughan [2012-02-10 00:39:17] 429*2^1121932-1 is not prime. Res64: A72F92AF68E72409 Time : 0.0 sec. user=vaughan [2012-02-10 00:39:52] 495*2^1121932-1 is not prime. Res64: 19807160F18C84EB Time : 0.0 sec. user=vaughan [2012-02-10 00:39:52] 475*2^1121933-1 is not prime. Res64: 77C629FF02C73536 Time : 0.0 sec. user=vaughan [2012-02-10 00:40:12] 573*2^1121939-1 is not prime. Res64: AD5D6939D9AF3650 Time : 0.0 sec. user=vaughan [2012-02-10 00:40:12] 579*2^1121939-1 is not prime. Res64: 5D4E7B44D7F30284 Time : 0.0 sec. user=vaughan [2012-02-10 00:40:25] 595*2^1121939-1 is not prime. Res64: 0C0E62FF2F89F2B0 Time : 0.0 sec. user=vaughan [2012-02-10 00:40:26] 503*2^1121940-1 is not prime. Res64: A0855DF6B9B753E6 Time : 0.0 sec. user=vaughan [2012-02-10 00:40:31] 555*2^1121941-1 is not prime. Res64: 8D3D4B6C3E8EAB1D Time : 0.0 sec. user=vaughan [2012-02-10 00:40:32] 417*2^1121942-1 is not prime. Res64: 274942204D1ADEC9 Time : 0.0 sec. user=vaughan [2012-02-10 00:40:32] 495*2^1121941-1 is not prime. Res64: E739267A3692880E Time : 0.0 sec. user=vaughan [2012-02-10 00:40:33] 549*2^1121941-1 is not prime. Res64: FD5534AEBE5DD90B Time : 0.0 sec. user=vaughan [2012-02-10 00:41:30] 453*2^1121928-1 is not prime. Res64: 703E37903CDC6BE8 Time : 0.0 sec. user=vaughan [2012-02-10 00:41:31] 527*2^1121928-1 is not prime. Res64: 59ED11775D76238B Time : 0.0 sec. user=vaughan [2012-02-10 00:41:35] 537*2^1121928-1 is not prime. Res64: FA3D96CCC32512BB Time : 0.0 sec. user=vaughan [2012-02-10 00:41:36] 411*2^1121929-1 is not prime. Res64: 11B525B9DDF67F1A Time : 0.0 sec. user=vaughan [2012-02-10 00:41:43] 427*2^1121929-1 is not prime. Res64: FE6349FEF684F428 Time : 0.0 sec. user=vaughan [2012-02-10 00:41:44] 565*2^1121929-1 is not prime. Res64: B8393D473F06C54B Time : 0.0 sec. user=vaughan [2012-02-10 00:44:28] 507*2^1121937-1 is not prime. Res64: 6698D4714A8BA12E Time : 0.0 sec. user=vaughan [2012-02-10 00:44:29] 435*2^1121938-1 is not prime. Res64: 0D0138E4DBB5731C Time : 0.0 sec. user=vaughan [2012-02-10 00:44:33] 447*2^1121938-1 is not prime. Res64: 3935DE773FA90403 Time : 0.0 sec. user=vaughan [2012-02-10 00:44:34] 561*2^1121938-1 is not prime. Res64: C565F4BABB0A609E Time : 0.0 sec. user=vaughan [2012-02-10 00:44:59] 575*2^1121938-1 is not prime. Res64: DB327F4F22EF9725 Time : 0.0 sec. user=vaughan [2012-02-10 00:45:00] 411*2^1121939-1 is not prime. Res64: 138F52391013EA94 Time : 0.0 sec. user=vaughan [2012-02-10 00:45:11] 567*2^1121934-1 is not prime. Res64: A663875C5DF41DB8 Time : 0.0 sec. user=vaughan [2012-02-10 00:45:12] 433*2^1121935-1 is not prime. Res64: 8DD583F5BF471AC4 Time : 0.0 sec. user=vaughan [2012-02-10 00:45:50] 527*2^1121952-1 is not prime. Res64: 6C04B144D7D075BB Time : 0.0 sec. user=vaughan [2012-02-10 00:45:50] 593*2^1121954-1 is not prime. Res64: B16B7D8F2F62FE53 Time : 0.0 sec. user=vaughan [2012-02-10 00:46:02] 493*2^1121955-1 is not prime. Res64: C6C8741F0705DBDA Time : 0.0 sec. user=vaughan [2012-02-10 00:46:03] 511*2^1121955-1 is not prime. Res64: 345D97DE6922305D Time : 0.0 sec. user=vaughan [2012-02-10 00:48:44] 503*2^1121942-1 is not prime. Res64: B225FE12AE7C8944 Time : 0.0 sec. user=vaughan [2012-02-10 00:48:45] 557*2^1121942-1 is not prime. Res64: 023BF49F9E5FFA6F Time : 0.0 sec. user=vaughan [2012-02-10 00:51:22] 433*2^1121939-1 is not prime. Res64: 6DA17D9552E76F71 Time : 0.0 sec. user=vaughan [2012-02-10 00:51:23] 435*2^1121939-1 is not prime. Res64: 4C9712A82CF415A1 Time : 0.0 sec. user=vaughan [2012-02-10 00:51:34] 489*2^1121939-1 is not prime. Res64: 310E2D687358F07F Time : 0.0 sec. user=vaughan [2012-02-10 00:51:35] 493*2^1121939-1 is not prime. Res64: FD9D743C7E9EC8DE Time : 0.0 sec. user=vaughan [2012-02-10 00:52:56] 555*2^1121914-1 is not prime. Res64: 83C5EAB9B78FDEE5 Time : 0.0 sec. user=vaughan [2012-02-10 00:52:57] 573*2^1121914-1 is not prime. Res64: BB73CBB47D94EF91 Time : 0.0 sec. user=vaughan [2012-02-10 00:52:58] 403*2^1121915-1 is not prime. Res64: 0A37115E29E225DF Time : 0.0 sec. user=vaughan [2012-02-10 00:52:58] 543*2^1121939-1 is not prime. Res64: A38152D4A67FEFB8 Time : 0.0 sec. user=vaughan [2012-02-10 00:52:59] 571*2^1121939-1 is not prime. Res64: 4848EC9419432296 Time : 0.0 sec. user=vaughan [2012-02-10 00:56:13] 417*2^1121966-1 is not prime. Res64: DDD079A451D00F79 Time : 0.0 sec. user=vaughan [2012-02-10 00:56:13] 573*2^1121966-1 is not prime. Res64: C098DBD14B28B518 Time : 0.0 sec. user=vaughan [2012-02-10 00:56:22] 489*2^1121967-1 is not prime. Res64: F88EA6246A9A461A Time : 0.0 sec. user=vaughan [2012-02-10 00:56:22] 543*2^1121967-1 is not prime. Res64: 6B9D90DD5178D0AF Time : 0.0 sec. user=vaughan [2012-02-10 00:58:44] 485*2^1121952-1 is not prime. Res64: B8902B492599A0B9 Time : 0.0 sec. user=vaughan [2012-02-10 00:58:45] 513*2^1121952-1 is not prime. Res64: CEDAD8F9B4BCF693 Time : 0.0 sec. user=vaughan [2012-02-10 00:59:41] 473*2^1121946-1 is not prime. Res64: F77DC0CD4BFB1B9C Time : 0.0 sec. user=vaughan [2012-02-10 00:59:42] 585*2^1121946-1 is not prime. Res64: 5BB980522C40ED51 Time : 0.0 sec. user=vaughan [2012-02-10 00:59:46] 567*2^1121945-1 is not prime. Res64: FEAD2A9B7344A632 Time : 0.0 sec. user=vaughan [2012-02-10 00:59:46] 453*2^1121946-1 is not prime. Res64: 0F388549D483BDCD Time : 0.0 sec. user=vaughan [2012-02-10 00:59:51] 439*2^1121947-1 is not prime. Res64: 08949C058C87A419 Time : 0.0 sec. user=vaughan [2012-02-10 00:59:52] 493*2^1121947-1 is not prime. Res64: D4C0F4AC5C9804AD Time : 0.0 sec. user=vaughan [2012-02-10 01:00:25] 435*2^1121957-1 is not prime. Res64: 7AA8B5BFFC4D9376 Time : 0.0 sec. user=vaughan [2012-02-10 01:00:27] 511*2^1121957-1 is not prime. Res64: E9D47A7798A40FA0 Time : 0.0 sec. user=vaughan [2012-02-10 01:00:45] 483*2^1121958-1 is not prime. Res64: 75A4789CBA4C4BCC Time : 0.0 sec. user=vaughan [2012-02-10 01:00:47] 513*2^1121958-1 is not prime. Res64: 9010905665E8E69D Time : 0.0 sec. user=vaughan [2012-02-10 01:01:18] 437*2^1121960-1 is not prime. Res64: A5F67B1D10D4062D Time : 0.0 sec. user=vaughan [2012-02-10 01:01:19] 447*2^1121960-1 is not prime. Res64: D4AF242A10B1869C Time : 0.0 sec. user=vaughan [2012-02-10 01:01:30] 525*2^1121951-1 is not prime. Res64: F62563F4357CCC3B Time : 0.0 sec. user=vaughan [2012-02-10 01:01:31] 405*2^1121952-1 is not prime. Res64: 8E092C8FFCCF247E Time : 0.0 sec. user=vaughan [2012-02-10 01:02:30] 423*2^1121818-1 is not prime. Res64: ED282F294919ECEC Time : 0.0 sec. user=vaughan [2012-02-10 01:02:32] 561*2^1121818-1 is not prime. Res64: FF403ECFD51103A5 Time : 0.0 sec. user=vaughan [2012-02-10 01:02:54] 493*2^1121819-1 is not prime. Res64: 18E529ACBC233935 Time : 0.0 sec. user=vaughan [2012-02-10 01:02:54] 501*2^1121819-1 is not prime. Res64: 0FE29ACA0E324CBD Time : 0.0 sec. user=vaughan [2012-02-10 01:02:55] 405*2^1121945-1 is not prime. Res64: 5E8D1B1D4447E8CB Time : 0.0 sec. user=vaughan [2012-02-10 01:02:55] 447*2^1121945-1 is not prime. Res64: 38302DC553350E6D Time : 0.0 sec. user=vaughan [2012-02-10 01:03:18] 403*2^1121955-1 is not prime. Res64: 2C521F397481E994 Time : 0.0 sec. user=vaughan [2012-02-10 01:03:18] 465*2^1121955-1 is not prime. Res64: 4A009B5D0658E5E8 Time : 0.0 sec. user=vaughan [2012-02-10 01:04:13] 523*2^1121955-1 is not prime. Res64: 48C65576483540BB Time : 0.0 sec. user=vaughan [2012-02-10 01:04:13] 435*2^1121956-1 is not prime. Res64: 0004808F8CE238C2 Time : 0.0 sec. user=vaughan [2012-02-10 01:04:23] 437*2^1121956-1 is not prime. Res64: B6EBDB94741661B7 Time : 0.0 sec. user=vaughan [2012-02-10 01:04:25] 525*2^1121956-1 is not prime. Res64: 8563C127E8D6E83E Time : 0.0 sec. user=vaughan [2012-02-10 01:04:26] 511*2^1121819-1 is not prime. Res64: 5A0370DF52C2C580 Time : 0.0 sec. user=vaughan [2012-02-10 01:04:27] 431*2^1121958-1 is not prime. Res64: 4B2B6781E560A26B Time : 0.0 sec. user=vaughan [2012-02-10 01:04:28] 425*2^1121820-1 is not prime. Res64: C8EE41CF5C49A2BF Time : 0.0 sec. user=vaughan [2012-02-10 01:04:29] 461*2^1121958-1 is not prime. Res64: 1C68C63432083451 Time : 0.0 sec. user=vaughan [2012-02-10 01:04:49] 595*2^1121959-1 is not prime. Res64: FEE9AF401C331701 Time : 0.0 sec. user=vaughan [2012-02-10 01:04:50] 405*2^1121960-1 is not prime. Res64: 734A9373B23BE6E7 Time : 0.0 sec. user=vaughan [2012-02-10 01:05:14] 459*2^1121960-1 is not prime. Res64: 8B887A9EEE2E8D8A Time : 0.0 sec. user=vaughan [2012-02-10 01:05:15] 479*2^1121960-1 is not prime. Res64: 524CDA061CCD8F3B Time : 0.0 sec. user=vaughan [2012-02-10 01:05:39] 543*2^1121975-1 is not prime. Res64: 42040196CDD17543 Time : 0.0 sec. user=vaughan [2012-02-10 01:05:40] 573*2^1121975-1 is not prime. Res64: 80A2E1418878DCAA Time : 0.0 sec. user=vaughan [2012-02-10 01:05:43] 539*2^1121960-1 is not prime. Res64: E341D21B7C350FEE Time : 0.0 sec. user=vaughan [2012-02-10 01:05:44] 507*2^1121961-1 is not prime. Res64: CB15A930897B79FB Time : 0.0 sec. user=vaughan [2012-02-10 01:05:51] 525*2^1121976-1 is not prime. Res64: 465C8476AF1AF74F Time : 0.0 sec. user=vaughan [2012-02-10 01:05:53] 441*2^1121977-1 is not prime. Res64: 3387A1F2CFFE2C7B Time : 0.0 sec. user=vaughan [2012-02-10 01:05:59] 551*2^1121962-1 is not prime. Res64: ED6DA98AF8DB5A43 Time : 0.0 sec. user=vaughan [2012-02-10 01:06:00] 439*2^1121963-1 is not prime. Res64: 44A80A06544DDCC5 Time : 0.0 sec. user=vaughan [2012-02-10 01:06:56] 469*2^1121969-1 is not prime. Res64: 42F882E7F14244A4 Time : 0.0 sec. user=vaughan [2012-02-10 01:06:57] 549*2^1121969-1 is not prime. Res64: D93FEF50FDBD8DD1 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:13] 405*2^1121970-1 is not prime. Res64: 279C51BCF76EE2B0 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:16] 411*2^1121970-1 is not prime. Res64: 01293E5040454DE5 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:17] 431*2^1121970-1 is not prime. Res64: D1AF5805969DC650 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:19] 437*2^1121970-1 is not prime. Res64: 22A3B1B1A6E168C8 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:21] 525*2^1121958-1 is not prime. Res64: 6820C608AD85FD29 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:23] 453*2^1121970-1 is not prime. Res64: F7A014B762109BEF Time : 0.0 sec. user=vaughan [2012-02-10 01:07:25] 469*2^1121959-1 is not prime. Res64: B01CFA5BC4B80F80 Time : 0.0 sec. user=vaughan [2012-02-10 01:07:27] 465*2^1121970-1 is not prime. Res64: A54636A5115DB7BE Time : 0.0 sec. user=vaughan [2012-02-10 01:12:20] 483*2^1121968-1 is not prime. Res64: A385BA364BC3798F Time : 0.0 sec. user=vaughan [2012-02-10 01:12:28] 539*2^1121968-1 is not prime. Res64: 41BE45D874675A27 Time : 0.0 sec. user=vaughan [2012-02-10 01:12:28] 489*2^1121963-1 is not prime. Res64: 43C745A7EC049D99 Time : 0.0 sec. user=vaughan [2012-02-10 01:12:29] 511*2^1121963-1 is not prime. Res64: 80E75521DA62BBBE Time : 0.0 sec. user=vaughan [2012-02-10 01:12:45] 587*2^1121964-1 is not prime. Res64: 1FF04DA39DD31C75 Time : 0.0 sec. user=vaughan [2012-02-10 01:12:46] 597*2^1121964-1 is not prime. Res64: 4C874875F1DE60C7 Time : 0.0 sec. user=vaughan [2012-02-10 01:13:48] 519*2^1121963-1 is not prime. Res64: 7B5B4383BA3A5884 Time : 0.0 sec. user=vaughan [2012-02-10 01:13:50] 523*2^1121963-1 is not prime. Res64: 21BC920AF1CAF0C9 Time : 0.0 sec. user=vaughan [2012-02-10 01:16:02] 495*2^1121982-1 is not prime. Res64: 463505CD9B7C11A1 Time : 0.0 sec. user=vaughan [2012-02-10 01:16:03] 463*2^1121983-1 is not prime. Res64: B040CF374497ED49 Time : 0.0 sec. user=vaughan [2012-02-10 01:16:14] 413*2^1121984-1 is not prime. Res64: C8CF86D7D81377AE Time : 0.0 sec. user=vaughan [2012-02-10 01:16:15] 453*2^1121984-1 is not prime. Res64: 42D23142C7A040F2 Time : 0.0 sec. user=vaughan [2012-02-10 01:16:39] 441*2^1121969-1 is not prime. Res64: 85C212C6C45DFFBA Time : 0.0 sec. user=vaughan [2012-02-10 01:16:39] 465*2^1121969-1 is not prime. Res64: B69D89B5F3EBCF8C Time : 0.0 sec. user=vaughan [2012-02-10 01:17:20] 579*2^1121967-1 is not prime. Res64: 49918021DE68D6D7 Time : 0.0 sec. user=vaughan [2012-02-10 01:17:21] 583*2^1121967-1 is not prime. Res64: 729FF4B043B3968C Time : 0.0 sec. user=vaughan [2012-02-10 01:18:46] 597*2^1121968-1 is not prime. Res64: A00802B769A68A67 Time : 0.0 sec. user=vaughan [2012-02-10 01:18:47] 439*2^1121969-1 is not prime. Res64: F806E71D4DE69622 Time : 0.0 sec. user=juhehe [2012-02-10 01:20:36] 577*2^1121861-1 is not prime. Res64: 31A25B217D622381 Time : 0.0 sec. user=vaughan [2012-02-10 01:21:46] 435*2^1121974-1 is not prime. Res64: 92487EE5A8F7AC16 Time : 0.0 sec. user=vaughan [2012-02-10 01:21:46] 533*2^1121974-1 is not prime. Res64: 2BE7323D9EC3600E Time : 0.0 sec. user=vaughan [2012-02-10 01:22:07] 587*2^1121972-1 is not prime. Res64: 4161397205C143A8 Time : 0.0 sec. user=vaughan [2012-02-10 01:22:08] 409*2^1121973-1 is not prime. Res64: 7EFBB7C0E3CA7DC7 Time : 0.0 sec. user=vaughan [2012-02-10 01:22:17] 471*2^1121973-1 is not prime. Res64: 3F5F0FB65D67D3FC Time : 0.0 sec. user=vaughan [2012-02-10 01:22:17] 585*2^1121973-1 is not prime. Res64: A39A776AC8EED156 Time : 0.0 sec. user=vaughan [2012-02-10 01:22:28] 517*2^1121977-1 is not prime. Res64: 89BE4017D6C9CCA0 Time : 0.0 sec. user=vaughan [2012-02-10 01:22:29] 483*2^1121978-1 is not prime. Res64: 1985074373A4C8A1 Time : 0.0 sec. user=vaughan [2012-02-10 01:24:41] 421*2^1121975-1 is not prime. Res64: 6B323FBA2B221314 Time : 0.0 sec. user=vaughan [2012-02-10 01:24:42] 475*2^1121975-1 is not prime. Res64: 9B2210B826C1E2D6 Time : 0.0 sec. user=vaughan [2012-02-10 01:25:28] 503*2^1121996-1 is not prime. Res64: 413354D719530C0B Time : 0.0 sec. user=vaughan [2012-02-10 01:25:28] 519*2^1121996-1 is not prime. Res64: 880F1EF003E3F54F Time : 0.0 sec. user=vaughan [2012-02-10 01:25:32] 531*2^1121970-1 is not prime. Res64: E4792199A83B6775 Time : 0.0 sec. user=vaughan [2012-02-10 01:25:33] 475*2^1121971-1 is not prime. Res64: 28A70A697E605919 Time : 0.0 sec. user=vaughan [2012-02-10 01:25:41] 505*2^1121971-1 is not prime. Res64: C65FD76EB6470FDF Time : 0.0 sec. user=vaughan [2012-02-10 01:25:41] 549*2^1121971-1 is not prime. Res64: CD8F4F9382A7552D Time : 0.0 sec. user=vaughan [2012-02-10 01:25:43] 529*2^1121997-1 is not prime. Res64: B93D6A58BD8CD66E Time : 0.0 sec. user=vaughan [2012-02-10 01:25:44] 465*2^1121998-1 is not prime. Res64: D8C9C4DB2E37D3BE Time : 0.0 sec. user=vaughan [2012-02-10 01:25:45] 467*2^1121972-1 is not prime. Res64: C010F9306CDA9F92 Time : 0.0 sec. user=vaughan [2012-02-10 01:25:46] 483*2^1121972-1 is not prime. Res64: D27F25217F706173 Time : 0.0 sec. user=vaughan [2012-02-10 01:27:10] 519*2^1121948-1 is not prime. Res64: 6DBC713FCC71217F Time : 0.0 sec. user=vaughan [2012-02-10 01:27:10] 525*2^1121948-1 is not prime. Res64: 074D07A8D16CA765 Time : 0.0 sec. user=vaughan [2012-02-10 01:27:11] 585*2^1121948-1 is not prime. Res64: 914CF6E6133D34AD Time : 0.0 sec. user=vaughan [2012-02-10 01:27:19] 447*2^1121949-1 is not prime. Res64: D51664A70D528544 Time : 0.0 sec. user=vaughan [2012-02-10 01:27:20] 499*2^1121949-1 is not prime. Res64: 5ABEB6EC52552426 Time : 0.0 sec. user=vaughan [2012-02-10 01:27:20] 425*2^1121950-1 is not prime. Res64: 696EAB1582C51E8C Time : 0.0 sec. user=vaughan [2012-02-10 01:28:08] 477*2^1121950-1 is not prime. Res64: 3A53FF251F36B3A1 Time : 0.0 sec. user=vaughan [2012-02-10 01:28:09] 545*2^1121950-1 is not prime. Res64: 688228E0D28DA80D Time : 0.0 sec. user=vaughan [2012-02-10 01:28:10] 439*2^1121951-1 is not prime. Res64: D0DD4DCB72778CBB Time : 0.0 sec. user=vaughan [2012-02-10 01:30:57] 439*2^1121979-1 is not prime. Res64: 86CFB122AE8B84B4 Time : 0.0 sec. user=vaughan [2012-02-10 01:30:58] 445*2^1121979-1 is not prime. Res64: 5E130029FAB4E44C Time : 0.0 sec. user=vaughan [2012-02-10 01:31:02] 447*2^1121980-1 is not prime. Res64: 0E78C3259920F9EB Time : 0.0 sec. user=vaughan [2012-02-10 01:31:02] 587*2^1121980-1 is not prime. Res64: 73E522860BC43F17 Time : 0.0 sec. user=vaughan [2012-02-10 01:31:41] 495*2^1121984-1 is not prime. Res64: DA5D8F8B3EE0C3E8 Time : 0.0 sec. user=vaughan [2012-02-10 01:31:42] 427*2^1121985-1 is not prime. Res64: 662013F064D49374 Time : 0.0 sec. user=vaughan [2012-02-10 01:32:24] 447*2^1121982-1 is not prime. Res64: 73D60F30D91B5C36 Time : 0.0 sec. user=vaughan [2012-02-10 01:32:25] 471*2^1121982-1 is not prime. Res64: 73A24672D08741D5 Time : 0.0 sec. user=vaughan [2012-02-10 01:33:27] 489*2^1121988-1 is not prime. Res64: F1A62461EDA8BA3B Time : 0.0 sec. user=vaughan [2012-02-10 01:33:27] 557*2^1121988-1 is not prime. Res64: 250C96ED92BFD63C Time : 0.0 sec. user=vaughan [2012-02-10 01:33:37] 423*2^1121999-1 is not prime. Res64: DCBD86650EC2E18A Time : 0.0 sec. user=vaughan [2012-02-10 01:33:38] 489*2^1121999-1 is not prime. Res64: 028FCCF8972095E7 Time : 0.0 sec. user=vaughan [2012-02-10 01:33:43] 427*2^1121989-1 is not prime. Res64: 3CDF877E09F2D167 Time : 0.0 sec. user=vaughan [2012-02-10 01:33:44] 451*2^1121989-1 is not prime. Res64: 74303B3CAD5A1E44 Time : 0.0 sec. user=vaughan [2012-02-10 01:33:52] 565*2^1122001-1 is not prime. Res64: 9221EDE04118CFB2 Time : 0.0 sec. user=vaughan [2012-02-10 01:33:53] 497*2^1122002-1 is not prime. Res64: BCFE1B316F3CE502 Time : 0.0 sec. user=vaughan [2012-02-10 01:33:59] 579*2^1121999-1 is not prime. Res64: 8721F56BD5F38986 Time : 0.0 sec. user=vaughan [2012-02-10 01:34:00] 465*2^1122001-1 is not prime. Res64: D08E8BA42BA4D121 Time : 0.0 sec. user=vaughan [2012-02-10 01:34:07] 451*2^1122003-1 is not prime. Res64: C7AA17FAF69D0742 Time : 0.0 sec. user=vaughan [2012-02-10 01:34:07] 529*2^1122003-1 is not prime. Res64: 60E991CB0BD21153 Time : 0.0 sec. user=vaughan [2012-02-10 01:34:16] 477*2^1121989-1 is not prime. Res64: 2E360958AB1B6015 Time : 0.0 sec. user=vaughan [2012-02-10 01:34:16] 489*2^1121989-1 is not prime. Res64: 3528B286175CEE42 Time : 0.0 sec. user=vaughan [2012-02-10 01:35:49] 483*2^1122006-1 is not prime. Res64: 4DB15E981260D4F0 Time : 0.0 sec. user=vaughan [2012-02-10 01:35:50] 527*2^1122006-1 is not prime. Res64: 1C6CD8A842E83783 Time : 0.0 sec. user=vaughan [2012-02-10 01:36:02] 557*2^1122006-1 is not prime. Res64: 87872C1F5C568AD4 Time : 0.0 sec. user=vaughan [2012-02-10 01:36:02] 471*2^1122007-1 is not prime. Res64: 496D00BB6343F705 Time : 0.0 sec. user=vaughan [2012-02-10 01:38:49] 457*2^1121997-1 is not prime. Res64: 7FDB2DA2E4073D03 Time : 0.0 sec. user=vaughan [2012-02-10 01:38:50] 475*2^1121997-1 is not prime. Res64: D6AB0C0EE73FEFB0 Time : 0.0 sec. user=vaughan [2012-02-10 01:39:16] 507*2^1121998-1 is not prime. Res64: EB5F1215F480F4B1 Time : 0.0 sec. user=vaughan [2012-02-10 01:39:17] 513*2^1121998-1 is not prime. Res64: 27AC28A1A55EA381 Time : 0.0 sec. user=vaughan [2012-02-10 01:39:20] 517*2^1121985-1 is not prime. Res64: 5CE7F51DEC9230B8 Time : 0.0 sec. user=vaughan [2012-02-10 01:39:20] 409*2^1121987-1 is not prime. Res64: AEEF6F55B2039EDB Time : 0.0 sec. user=vaughan [2012-02-10 01:39:20] 413*2^1121986-1 is not prime. Res64: 94F68D8B63E40061 Time : 0.0 sec. user=vaughan [2012-02-10 01:39:20] 505*2^1121987-1 is not prime. Res64: 358F5913DEFCE96E Time : 0.0 sec. user=vaughan [2012-02-10 01:39:24] 505*2^1121989-1 is not prime. Res64: 67634DF7965B6657 Time : 0.0 sec. user=vaughan [2012-02-10 01:39:24] 547*2^1121989-1 is not prime. Res64: D71AFA3B10E6631A Time : 0.0 sec. user=vaughan [2012-02-10 01:39:28] 531*2^1121987-1 is not prime. Res64: 11E280C16FA9A22A Time : 0.0 sec. user=vaughan [2012-02-10 01:39:28] 413*2^1121988-1 is not prime. Res64: 801A06CA70EB9941 Time : 0.0 sec. user=vaughan [2012-02-10 01:41:14] 571*2^1121991-1 is not prime. Res64: E8FF823CF40E6AE3 Time : 0.0 sec. user=vaughan [2012-02-10 01:41:15] 447*2^1121992-1 is not prime. Res64: 282162F074B4474D Time : 0.0 sec. user=vaughan [2012-02-10 01:41:17] 413*2^1121994-1 is not prime. Res64: 20DC8A8872AC59B1 Time : 0.0 sec. user=vaughan [2012-02-10 01:41:17] 425*2^1121994-1 is not prime. Res64: F77029FDBC4CCA3B Time : 0.0 sec. user=vaughan [2012-02-10 01:41:45] 421*2^1121995-1 is not prime. Res64: 92AE9C2D190EA07D Time : 0.0 sec. user=vaughan [2012-02-10 01:41:45] 511*2^1121995-1 is not prime. Res64: 1EE2D69C62541FF1 Time : 0.0 sec. user=vaughan [2012-02-10 01:42:03] 535*2^1121995-1 is not prime. Res64: 74334EB3A0181BA8 Time : 0.0 sec. user=vaughan [2012-02-10 01:42:04] 477*2^1121996-1 is not prime. Res64: 11DCAAB1A97FC55C Time : 0.0 sec. user=vaughan [2012-02-10 01:42:11] 449*2^1121992-1 is not prime. Res64: 0F211FBAC7FD5CE7 Time : 0.0 sec. user=vaughan [2012-02-10 01:42:12] 495*2^1121992-1 is not prime. Res64: 05554969CE1CC5C2 Time : 0.0 sec. user=vaughan [2012-02-10 01:42:26] 539*2^1121992-1 is not prime. Res64: 77554D2C0F5552A4 Time : 0.0 sec. user=vaughan [2012-02-10 01:42:27] 517*2^1121993-1 is not prime. Res64: A9BFB51F4FC5824E Time : 0.0 sec. user=vaughan [2012-02-10 01:45:12] 591*2^1122013-1 is not prime. Res64: FD5B107C48FE42D4 Time : 0.0 sec. user=vaughan [2012-02-10 01:45:13] 411*2^1122014-1 is not prime. Res64: B6152EE327C26EB5 Time : 0.0 sec. user=vaughan [2012-02-10 01:45:32] 483*2^1122016-1 is not prime. Res64: 3A50B7BC1AD92358 Time : 0.0 sec. user=vaughan [2012-02-10 01:45:33] 563*2^1122016-1 is not prime. Res64: 281F6CE5CAC200BA Time : 0.0 sec. user=vaughan [2012-02-10 01:46:29] 583*2^1122003-1 is not prime. Res64: EE6C0CA8234760FE Time : 0.0 sec. user=vaughan [2012-02-10 01:46:30] 437*2^1122004-1 is not prime. Res64: 3662E2AE0191A30F Time : 0.0 sec. user=vaughan [2012-02-10 01:47:00] 507*2^1122002-1 is not prime. Res64: 210F779B35D0946C Time : 0.0 sec. user=vaughan [2012-02-10 01:47:01] 515*2^1122002-1 is not prime. Res64: C4C69372071E556F Time : 0.0 sec. user=vaughan [2012-02-10 01:47:03] 429*2^1121991-1 is not prime. Res64: E07672A121833341 Time : 0.0 sec. user=vaughan [2012-02-10 01:47:04] 459*2^1121991-1 is not prime. Res64: 29688C0975BADC69 Time : 0.0 sec. user=vaughan [2012-02-10 01:49:33] 477*2^1122005-1 is not prime. Res64: 013C2E9CC63776A2 Time : 0.0 sec. user=vaughan [2012-02-10 01:49:33] 519*2^1122005-1 is not prime. Res64: C610D6C243A19AAC Time : 0.0 sec. user=vaughan [2012-02-10 01:52:01] 489*2^1122004-1 is not prime. Res64: 9632ADF4206C0F02 Time : 0.0 sec. user=vaughan [2012-02-10 01:52:01] 421*2^1122005-1 is not prime. Res64: 8889B4FF1FC4EF57 Time : 0.0 sec. user=vaughan [2012-02-10 01:53:22] 577*2^1122005-1 is not prime. Res64: 656B83EF9529BAA4 Time : 0.0 sec. user=vaughan [2012-02-10 01:53:23] 405*2^1122006-1 is not prime. Res64: A5FC11FC597D5017 Time : 0.0 sec. user=vaughan [2012-02-10 01:53:29] 589*2^1122007-1 is not prime. Res64: 2125302E4BDC6C33 Time : 0.0 sec. user=vaughan [2012-02-10 01:53:30] 595*2^1122007-1 is not prime. Res64: 574BFB0535482274 Time : 0.0 sec. user=juhehe [2012-02-10 01:55:25] 511*2^1122009-1 is not prime. Res64: A1633D1DC39D7256 Time : 0.0 sec. user=vaughan [2012-02-10 01:55:34] 411*2^1122029-1 is not prime. Res64: 279687252F435D19 Time : 0.0 sec. user=vaughan [2012-02-10 01:55:35] 441*2^1122029-1 is not prime. Res64: 8F5F8E0D83910C58 Time : 0.0 sec. user=vaughan [2012-02-10 01:55:47] 577*2^1122029-1 is not prime. Res64: D181AB1FB662B0EC Time : 0.0 sec. user=vaughan [2012-02-10 01:55:47] 401*2^1122030-1 is not prime. Res64: 6D012863E8B8A745 Time : 0.0 sec. user=vaughan [2012-02-10 01:56:47] 465*2^1122008-1 is not prime. Res64: BD30AB0F68CE734F Time : 0.0 sec. user=vaughan [2012-02-10 01:56:48] 507*2^1122008-1 is not prime. Res64: A117FF4FA534E4FC Time : 0.0 sec. user=vaughan [2012-02-10 01:58:16] 539*2^1122012-1 is not prime. Res64: 64C35D310D3E6F36 Time : 0.0 sec. user=vaughan [2012-02-10 01:58:17] 509*2^1122008-1 is not prime. Res64: 14B0D5A05625EDC1 Time : 0.0 sec. user=vaughan [2012-02-10 01:58:17] 569*2^1122012-1 is not prime. Res64: 636332BD06ACA8EE Time : 0.0 sec. user=vaughan [2012-02-10 01:58:18] 469*2^1122009-1 is not prime. Res64: 53575E0DD2BF946C Time : 0.0 sec. user=vaughan [2012-02-10 01:58:32] 597*2^1122010-1 is not prime. Res64: 6741A256E9F61611 Time : 0.0 sec. user=vaughan [2012-02-10 01:58:33] 531*2^1122011-1 is not prime. Res64: 16588A6A051B1C64 Time : 0.0 sec. user=vaughan [2012-02-10 01:59:07] 477*2^1121981-1 is not prime. Res64: A7BF989201B49FAD Time : 0.0 sec. user=vaughan [2012-02-10 01:59:07] 417*2^1121982-1 is not prime. Res64: 58BD8066B3D85CC4 Time : 0.0 sec. user=vaughan [2012-02-10 01:59:08] 423*2^1121982-1 is not prime. Res64: 7D175C8A3DEA7542 Time : 0.0 sec. user=vaughan [2012-02-10 01:59:58] 535*2^1122025-1 is not prime. Res64: 9795575C37CD7C83 Time : 0.0 sec. user=vaughan [2012-02-10 01:59:59] 565*2^1122025-1 is not prime. Res64: 8A7D8FB363E9A5D7 Time : 0.0 sec. user=vaughan [2012-02-10 02:00:19] 583*2^1122027-1 is not prime. Res64: EBD347E2A2642EB5 Time : 0.0 sec. user=vaughan [2012-02-10 02:00:25] 515*2^1122026-1 is not prime. Res64: B9CC582F955B09EA Time : 0.0 sec. user=vaughan [2012-02-10 02:00:27] 573*2^1122011-1 is not prime. Res64: DE4E50E5E3ECE1C6 Time : 0.0 sec. user=vaughan [2012-02-10 02:00:27] 413*2^1122012-1 is not prime. Res64: 3C6F8AE36A4DFFB0 Time : 0.0 sec. user=vaughan [2012-02-10 02:00:27] 443*2^1122028-1 is not prime. Res64: C01F22EA1E7CA2BE Time : 0.0 sec. user=vaughan [2012-02-10 02:00:41] 579*2^1122027-1 is not prime. Res64: CEB8A5C6F961A639 Time : 0.0 sec. user=vaughan [2012-02-10 02:04:12] 525*2^1122013-1 is not prime. Res64: 1BF79EFE4E7BEC7A Time : 0.0 sec. user=vaughan [2012-02-10 02:04:13] 589*2^1122013-1 is not prime. Res64: 8D581EB1D0F7FD60 Time : 0.0 sec. user=vaughan [2012-02-10 02:04:43] 519*2^1122023-1 is not prime. Res64: B9647A83528B4788 Time : 0.0 sec. user=vaughan [2012-02-10 02:04:44] 573*2^1122023-1 is not prime. Res64: 8DA7E278E96BE5AF Time : 0.0 sec. user=vaughan [2012-02-10 02:05:00] 495*2^1122040-1 is not prime. Res64: 8F735C22CD8997A6 Time : 0.0 sec. user=vaughan [2012-02-10 02:05:01] 519*2^1122040-1 is not prime. Res64: D0A1DC8388E0CDB2 Time : 0.0 sec. user=vaughan [2012-02-10 02:05:22] 527*2^1122040-1 is not prime. Res64: 8428EFA7A0600DCB Time : 0.0 sec. user=vaughan [2012-02-10 02:05:24] 421*2^1122041-1 is not prime. Res64: D0EC0135D9FF6FC4 Time : 0.0 sec. user=vaughan [2012-02-10 02:06:20] 587*2^1122024-1 is not prime. Res64: BB50D2B054B451A6 Time : 0.0 sec. user=vaughan [2012-02-10 02:06:21] 421*2^1122025-1 is not prime. Res64: DEACDAFF4F0D22AE Time : 0.0 sec. user=vaughan [2012-02-10 02:06:43] 589*2^1122025-1 is not prime. Res64: E7AEDB0BEAA534D8 Time : 0.0 sec. user=vaughan [2012-02-10 02:06:43] 447*2^1122026-1 is not prime. Res64: AEFD8CB80BEB695A Time : 0.0 sec. user=vaughan [2012-02-10 02:07:07] 537*2^1122028-1 is not prime. Res64: FF4E68AC6D59CB06 Time : 0.0 sec. user=vaughan [2012-02-10 02:07:10] 549*2^1122028-1 is not prime. Res64: CFF99AEC8BFD7EF1 Time : 0.0 sec. user=vaughan [2012-02-10 02:08:46] 589*2^1121989-1 is not prime. Res64: D58281B3ECAA63EC Time : 0.0 sec. user=vaughan [2012-02-10 02:08:47] 407*2^1121990-1 is not prime. Res64: 394E27CAC9B76B18 Time : 0.0 sec. user=vaughan [2012-02-10 02:09:09] 467*2^1121990-1 is not prime. Res64: 2256D4D29473056C Time : 0.0 sec. user=vaughan [2012-02-10 02:09:10] 533*2^1121990-1 is not prime. Res64: 914D8367673C8466 Time : 0.0 sec. user=vaughan [2012-02-10 02:09:35] 503*2^1122014-1 is not prime. Res64: 560062F08F7F57A2 Time : 0.0 sec. user=vaughan [2012-02-10 02:09:37] 541*2^1122015-1 is not prime. Res64: EF9BE3F702795540 Time : 0.0 sec. user=vaughan [2012-02-10 02:09:47] 575*2^1122016-1 is not prime. Res64: 42F9F68E914901EE Time : 0.0 sec. user=vaughan [2012-02-10 02:09:49] 435*2^1122017-1 is not prime. Res64: 4E193AF1C0F07811 Time : 0.0 sec. user=vaughan [2012-02-10 02:09:51] 583*2^1122015-1 is not prime. Res64: 96E6F4F9E81B0E88 Time : 0.0 sec. user=vaughan [2012-02-10 02:09:54] 413*2^1122016-1 is not prime. Res64: 7DC9AF48961D5F19 Time : 0.0 sec. user=vaughan [2012-02-10 02:10:28] 525*2^1122022-1 is not prime. Res64: 73FA8EFBCBBFCEDC Time : 0.0 sec. user=vaughan [2012-02-10 02:10:29] 453*2^1122023-1 is not prime. Res64: 32819BF4C9EBC17C Time : 0.0 sec. user=vaughan [2012-02-10 02:10:37] 511*2^1122021-1 is not prime. Res64: 6BE0FACAF4A71AD0 Time : 0.0 sec. user=vaughan [2012-02-10 02:10:40] 405*2^1122022-1 is not prime. Res64: 8DF814B18CFB5069 Time : 0.0 sec. user=vaughan [2012-02-10 02:10:43] 531*2^1121994-1 is not prime. Res64: 62D5C3E404746C0F Time : 0.0 sec. user=vaughan [2012-02-10 02:10:46] 555*2^1121994-1 is not prime. Res64: A4505C28C73366FA Time : 0.0 sec. user=vaughan [2012-02-10 02:11:47] 465*2^1122024-1 is not prime. Res64: F5543D7E7C7BB5DC Time : 0.0 sec. user=vaughan [2012-02-10 02:11:50] 563*2^1122024-1 is not prime. Res64: BFC0EC63CCB3F043 Time : 0.0 sec. user=vaughan [2012-02-10 02:15:20] 453*2^1122046-1 is not prime. Res64: B57C74EA00E53528 Time : 0.0 sec. user=vaughan [2012-02-10 02:15:21] 483*2^1122046-1 is not prime. Res64: C3207C5D0B8A7FBE Time : 0.0 sec. user=vaughan [2012-02-10 02:15:36] 423*2^1122047-1 is not prime. Res64: 11AB9C57AC047F41 Time : 0.0 sec. user=vaughan [2012-02-10 02:15:37] 441*2^1122047-1 is not prime. Res64: 38E86E23CD8A00EB Time : 0.0 sec. user=vaughan [2012-02-10 02:15:39] 411*2^1122030-1 is not prime. Res64: 762CEAC42CD9800D Time : 0.0 sec. user=vaughan [2012-02-10 02:15:40] 417*2^1122030-1 is not prime. Res64: 60F3DD5E2D6C1033 Time : 0.0 sec. user=vaughan [2012-02-10 02:16:07] 437*2^1122030-1 is not prime. Res64: 2E95471B269EB86A Time : 0.0 sec. user=vaughan [2012-02-10 02:16:07] 473*2^1122030-1 is not prime. Res64: 7053D08B394E155C Time : 0.0 sec. user=vaughan [2012-02-10 02:17:25] 489*2^1122032-1 is not prime. Res64: D66ED043452C25E7 Time : 0.0 sec. user=vaughan [2012-02-10 02:17:25] 499*2^1122033-1 is not prime. Res64: 15A9A2129E0FFBF4 Time : 0.0 sec. user=vaughan [2012-02-10 02:18:08] 441*2^1122037-1 is not prime. Res64: 27FDF359B9484E93 Time : 0.0 sec. user=vaughan [2012-02-10 02:18:09] 549*2^1122037-1 is not prime. Res64: C91760C697B1D664 Time : 0.0 sec. user=vaughan [2012-02-10 02:18:33] 555*2^1122037-1 is not prime. Res64: F30E93F7FBB5F362 Time : 0.0 sec. user=vaughan [2012-02-10 02:18:34] 561*2^1122037-1 is not prime. Res64: 9BEE897BFA61802A Time : 0.0 sec. user=vaughan [2012-02-10 02:18:55] 585*2^1122038-1 is not prime. Res64: 7CA71BB3EEC5AE1B Time : 0.0 sec. user=vaughan [2012-02-10 02:18:56] 411*2^1122039-1 is not prime. Res64: 72180D1DC32AD867 Time : 0.0 sec. user=vaughan [2012-02-10 02:18:59] 593*2^1122030-1 is not prime. Res64: 31C6A239CC993BAC Time : 0.0 sec. user=vaughan [2012-02-10 02:18:59] 453*2^1122031-1 is not prime. Res64: 177F6107B8020E83 Time : 0.0 sec. user=vaughan [2012-02-10 02:19:00] 483*2^1122031-1 is not prime. Res64: 2F14239EEDBE37BE Time : 0.0 sec. user=vaughan [2012-02-10 02:19:01] 525*2^1122031-1 is not prime. Res64: D457EA077DA69F46 Time : 0.0 sec. user=vaughan [2012-02-10 02:19:07] 517*2^1122033-1 is not prime. Res64: 1E5FA6DFB86F7813 Time : 0.0 sec. user=vaughan [2012-02-10 02:19:08] 559*2^1122033-1 is not prime. Res64: F85AEB2DD53B650E Time : 0.0 sec. user=vaughan [2012-02-10 02:19:17] 485*2^1122036-1 is not prime. Res64: 8897B65B0698A40A Time : 0.0 sec. user=vaughan [2012-02-10 02:19:18] 585*2^1122036-1 is not prime. Res64: 4E81B6C9750B2E56 Time : 0.0 sec. user=vaughan [2012-02-10 02:20:18] 433*2^1122039-1 is not prime. Res64: B4E11C5D4720ED99 Time : 0.0 sec. user=vaughan [2012-02-10 02:20:19] 489*2^1122039-1 is not prime. Res64: 17746433FADE454A Time : 0.0 sec. user=vaughan [2012-02-10 02:20:28] 573*2^1122039-1 is not prime. Res64: F235651B77050221 Time : 0.0 sec. user=vaughan [2012-02-10 02:20:28] 483*2^1122040-1 is not prime. Res64: D287F7FFC176D76F Time : 0.0 sec. user=vaughan [2012-02-10 02:21:49] 465*2^1122041-1 is not prime. Res64: 8D72B987C88A6397 Time : 0.0 sec. user=vaughan [2012-02-10 02:21:49] 475*2^1122041-1 is not prime. Res64: D6AAE4470266A553 Time : 0.0 sec. user=vaughan [2012-02-10 02:24:50] 579*2^1122052-1 is not prime. Res64: C5F32742E7690021 Time : 0.0 sec. user=vaughan [2012-02-10 02:24:51] 435*2^1122053-1 is not prime. Res64: 2FF4D4A250E22A73 Time : 0.0 sec. user=vaughan [2012-02-10 02:25:12] 547*2^1122053-1 is not prime. Res64: 73991ECE8B7E2EA3 Time : 0.0 sec. user=vaughan [2012-02-10 02:25:13] 413*2^1122056-1 is not prime. Res64: A5BCB91433A71023 Time : 0.0 sec. user=vaughan [2012-02-10 02:26:16] 573*2^1122042-1 is not prime. Res64: 049DE84A1ED8EC20 Time : 0.0 sec. user=vaughan [2012-02-10 02:26:16] 587*2^1122042-1 is not prime. Res64: 3A4DE8BA6DE72A84 Time : 0.0 sec. user=vaughan [2012-02-10 02:26:29] 477*2^1122041-1 is not prime. Res64: 34AED1D03A3974BA Time : 0.0 sec. user=vaughan [2012-02-10 02:26:30] 571*2^1122041-1 is not prime. Res64: 7A2ACC842EC236C7 Time : 0.0 sec. user=vaughan [2012-02-10 02:26:51] 595*2^1122011-1 is not prime. Res64: 4E208B563DB0B348 Time : 0.0 sec. user=vaughan [2012-02-10 02:26:58] 581*2^1122050-1 is not prime. Res64: CFFCC63336161F4D Time : 0.0 sec. user=vaughan [2012-02-10 02:26:58] 465*2^1122051-1 is not prime. Res64: 4EEC20A0728B067A Time : 0.0 sec. user=vaughan [2012-02-10 02:29:54] 465*2^1122028-1 is not prime. Res64: 5B1481E2E6D1792E Time : 0.0 sec. user=vaughan [2012-02-10 02:29:55] 525*2^1122028-1 is not prime. Res64: 725D61B927F95B0F Time : 0.0 sec. user=vaughan [2012-02-10 02:30:20] 427*2^1122045-1 is not prime. Res64: FFDB3CA36719EF33 Time : 0.0 sec. user=vaughan [2012-02-10 02:30:22] 429*2^1122045-1 is not prime. Res64: E36126BA6D974EA4 Time : 0.0 sec. user=vaughan [2012-02-10 02:31:14] 577*2^1122041-1 is not prime. Res64: 1AA239F30D80778E Time : 0.0 sec. user=vaughan [2012-02-10 02:31:15] 567*2^1122042-1 is not prime. Res64: AF326531912FF797 Time : 0.0 sec. user=vaughan [2012-02-10 02:31:29] 493*2^1122043-1 is not prime. Res64: 567B3D16AC81070D Time : 0.0 sec. user=vaughan [2012-02-10 02:31:31] 417*2^1122044-1 is not prime. Res64: 04570C9A63665FC1 Time : 0.0 sec. user=juhehe [2012-02-10 02:32:11] 487*2^1122045-1 is not prime. Res64: DF7AE25F41720649 Time : 0.0 sec. user=vaughan [2012-02-10 02:32:40] 569*2^1122048-1 is not prime. Res64: 6D5DC80C85446D9E Time : 0.0 sec. user=vaughan [2012-02-10 02:32:42] 495*2^1122049-1 is not prime. Res64: DF3F7F8AFAD485F4 Time : 0.0 sec. user=vaughan [2012-02-10 02:32:53] 473*2^1122044-1 is not prime. Res64: 7B7864FD547FE590 Time : 0.0 sec. user=vaughan [2012-02-10 02:32:54] 585*2^1122044-1 is not prime. Res64: FFCDB091CE70FD3E Time : 0.0 sec. user=vaughan [2012-02-10 02:33:26] 439*2^1122017-1 is not prime. Res64: 3408DB4B805E9A1B Time : 0.0 sec. user=vaughan [2012-02-10 02:33:28] 465*2^1122017-1 is not prime. Res64: 0384B9DAD3D60E66 Time : 0.0 sec. user=vaughan [2012-02-10 02:33:29] 473*2^1122018-1 is not prime. Res64: 120CB5F4A8FCA7EF Time : 0.0 sec. user=vaughan [2012-02-10 02:33:33] 513*2^1122018-1 is not prime. Res64: 515EAEF9BB917D7D Time : 0.0 sec. user=vaughan [2012-02-10 02:33:35] 439*2^1122019-1 is not prime. Res64: 14B53F1467A05B66 Time : 0.0 sec. user=vaughan [2012-02-10 02:33:36] 495*2^1122019-1 is not prime. Res64: 34C11F84730F1AAF Time : 0.0 sec. user=vaughan [2012-02-10 02:34:25] 437*2^1122020-1 is not prime. Res64: 1EE840C1C4016E45 Time : 0.0 sec. user=vaughan [2012-02-10 02:34:27] 515*2^1122020-1 is not prime. Res64: 1FB473413C8B4D15 Time : 0.0 sec. user=vaughan [2012-02-10 02:34:28] 459*2^1122021-1 is not prime. Res64: 91A239F02B104728 Time : 0.0 sec. user=vaughan [2012-02-10 02:35:15] 471*2^1122063-1 is not prime. Res64: 46BE4BA81782BEF7 Time : 0.0 sec. user=vaughan [2012-02-10 02:35:17] 591*2^1122063-1 is not prime. Res64: 2ACED955ED115DEE Time : 0.0 sec. user=vaughan [2012-02-10 02:35:22] 597*2^1122049-1 is not prime. Res64: E82A03E20717CE72 Time : 0.0 sec. user=vaughan [2012-02-10 02:35:24] 425*2^1122050-1 is not prime. Res64: A04FC6FF25232059 Time : 0.0 sec. user=vaughan [2012-02-10 02:35:25] 419*2^1122064-1 is not prime. Res64: 76DC3979C9900E44 Time : 0.0 sec. user=vaughan [2012-02-10 02:35:26] 435*2^1122064-1 is not prime. Res64: BC518CB51F8ED695 Time : 0.0 sec. user=vaughan [2012-02-10 02:36:14] 423*2^1122048-1 is not prime. Res64: C10AFD9DAFE662C2 Time : 0.0 sec. user=vaughan [2012-02-10 02:36:15] 467*2^1122048-1 is not prime. Res64: 7429D0E30650FA43 Time : 0.0 sec. user=vaughan [2012-02-10 02:37:49] 437*2^1122052-1 is not prime. Res64: 0C9BF46E3F5F3883 Time : 0.0 sec. user=vaughan [2012-02-10 02:37:49] 559*2^1122049-1 is not prime. Res64: A498555D83F68CFD Time : 0.0 sec. user=vaughan [2012-02-10 02:37:50] 497*2^1122052-1 is not prime. Res64: 36AAA8D159A3ED67 Time : 0.0 sec. user=vaughan [2012-02-10 02:37:51] 595*2^1122049-1 is not prime. Res64: 11278A0A8DAAA4EF Time : 0.0 sec. user=vaughan [2012-02-10 02:39:17] 465*2^1122056-1 is not prime. Res64: F408FD025ABCB2B1 Time : 0.0 sec. user=vaughan [2012-02-10 02:39:19] 507*2^1122056-1 is not prime. Res64: 4DECD81248A5B5C7 Time : 0.0 sec. user=vaughan [2012-02-10 02:39:44] 519*2^1122056-1 is not prime. Res64: E980A44B02964840 Time : 0.0 sec. user=vaughan [2012-02-10 02:39:45] 447*2^1122057-1 is not prime. Res64: 697243A52657602E Time : 0.0 sec. user=vaughan [2012-02-10 02:40:07] 501*2^1122057-1 is not prime. Res64: 685904EB4A8D2F63 Time : 0.0 sec. user=vaughan [2012-02-10 02:40:09] 507*2^1122057-1 is not prime. Res64: 28AFE807EAE6FE36 Time : 0.0 sec. user=vaughan [2012-02-10 02:43:44] 565*2^1122051-1 is not prime. Res64: E46CAEBBFF23A952 Time : 0.0 sec. user=vaughan [2012-02-10 02:43:45] 423*2^1122052-1 is not prime. Res64: 08E4957D917D7646 Time : 0.0 sec. user=vaughan [2012-02-10 02:44:41] 429*2^1122073-1 is not prime. Res64: F92A7B0C6DBE7302 Time : 0.0 sec. user=vaughan [2012-02-10 02:44:42] 589*2^1122073-1 is not prime. Res64: 7A15BF4346B0EFA1 Time : 0.0 sec. user=vaughan [2012-02-10 02:45:00] 497*2^1122074-1 is not prime. Res64: 93CB4A9ABF4C966F Time : 0.0 sec. user=vaughan [2012-02-10 02:45:01] 501*2^1122074-1 is not prime. Res64: 6E5BE510F94B81B4 Time : 0.0 sec. user=vaughan [2012-02-10 02:48:46] 479*2^1122072-1 is not prime. Res64: AF91D60581ED8D78 Time : 0.0 sec. user=vaughan [2012-02-10 02:48:47] 489*2^1122072-1 is not prime. Res64: D8F1ED59560947AE Time : 0.0 sec. user=vaughan [2012-02-10 02:48:48] 519*2^1122064-1 is not prime. Res64: 60FC34D841A58BCA Time : 0.0 sec. user=vaughan [2012-02-10 02:48:49] 567*2^1122064-1 is not prime. Res64: 18C766469A395C53 Time : 0.0 sec. user=vaughan [2012-02-10 02:49:27] 569*2^1122064-1 is not prime. Res64: 9B83F99268AC2F30 Time : 0.0 sec. user=vaughan [2012-02-10 02:49:28] 573*2^1122064-1 is not prime. Res64: 5578460E9370BD9E Time : 0.0 sec. user=vaughan [2012-02-10 02:49:32] 569*2^1122072-1 is not prime. Res64: 4B628FFE30A77E1F Time : 0.0 sec. user=vaughan [2012-02-10 02:49:33] 593*2^1122072-1 is not prime. Res64: 657A5823AC3872B7 Time : 0.0 sec. user=vaughan [2012-02-10 02:49:58] 441*2^1122061-1 is not prime. Res64: 3D4C7A5AF9A3DCBB Time : 0.0 sec. user=vaughan [2012-02-10 02:49:58] 471*2^1122061-1 is not prime. Res64: 279F8D11D91BB515 Time : 0.0 sec. user=vaughan [2012-02-10 02:50:26] 495*2^1122061-1 is not prime. Res64: 171664E81AEA3B55 Time : 0.0 sec. user=vaughan [2012-02-10 02:50:26] 455*2^1122062-1 is not prime. Res64: 6C4D09074542041E Time : 0.0 sec. user=vaughan [2012-02-10 02:51:22] 429*2^1122063-1 is not prime. Res64: 98E5228523F23D3D Time : 0.0 sec. user=vaughan [2012-02-10 02:51:23] 439*2^1122063-1 is not prime. Res64: 99E0E64584D65460 Time : 0.0 sec. user=vaughan [2012-02-10 02:53:34] 437*2^1122076-1 is not prime. Res64: A1D2C94B8C1A4161 Time : 0.0 sec. user=vaughan [2012-02-10 02:53:36] 479*2^1122076-1 is not prime. Res64: E3A1314768DD0F8C Time : 0.0 sec. user=vaughan [2012-02-10 02:53:47] 575*2^1122058-1 is not prime. Res64: DF7A3CAA9C9125DB Time : 0.0 sec. user=vaughan [2012-02-10 02:53:48] 505*2^1122059-1 is not prime. Res64: 29D37411911A0816 Time : 0.0 sec. user=vaughan [2012-02-10 02:54:01] 503*2^1122060-1 is not prime. Res64: 4D16E824C90578AC Time : 0.0 sec. user=vaughan [2012-02-10 02:54:02] 537*2^1122060-1 is not prime. Res64: F5E378AB23F40409 Time : 0.0 sec. user=vaughan [2012-02-10 02:54:09] 557*2^1122060-1 is not prime. Res64: 46B8E7E7E1BB0E34 Time : 0.0 sec. user=vaughan [2012-02-10 02:54:10] 427*2^1122061-1 is not prime. Res64: 02B3ACE5D1644612 Time : 0.0 sec. user=vaughan [2012-02-10 02:54:58] 453*2^1122066-1 is not prime. Res64: 7F23C87DC57FFCF2 Time : 0.0 sec. user=vaughan [2012-02-10 02:54:59] 473*2^1122066-1 is not prime. Res64: F6960C3441A07FCB Time : 0.0 sec. user=vaughan [2012-02-10 02:55:10] 591*2^1122086-1 is not prime. Res64: 619C32EF7E6A19CE Time : 0.0 sec. user=vaughan [2012-02-10 02:55:11] 405*2^1122087-1 is not prime. Res64: E0FB531B79A41717 Time : 0.0 sec. user=vaughan [2012-02-10 02:55:19] 549*2^1122087-1 is not prime. Res64: 693BEC6074D16E9F Time : 0.0 sec. user=vaughan [2012-02-10 02:55:20] 579*2^1122087-1 is not prime. Res64: 7C98A0DEEE86CB22 Time : 0.0 sec. user=vaughan [2012-02-10 02:55:26] 515*2^1122012-1 is not prime. Res64: 9A14CF8FA18E4675 Time : 0.0 sec. user=vaughan [2012-02-10 02:55:31] 587*2^1122064-1 is not prime. Res64: 303D9A21F3EBE026 Time : 0.0 sec. user=vaughan [2012-02-10 02:55:32] 567*2^1122065-1 is not prime. Res64: 7F6A897CA212996E Time : 0.0 sec. user=vaughan [2012-02-10 02:55:35] 483*2^1122066-1 is not prime. Res64: DA9ED97FB54919DF Time : 0.0 sec. user=vaughan [2012-02-10 02:55:36] 501*2^1122066-1 is not prime. Res64: 5F47F7F205D7347C Time : 0.0 sec. user=vaughan [2012-02-10 02:55:40] 525*2^1122066-1 is not prime. Res64: EBCA1F6E717D2542 Time : 0.0 sec. user=vaughan [2012-02-10 02:55:41] 581*2^1122066-1 is not prime. Res64: 21E6838E76294D6D Time : 0.0 sec. user=vaughan [2012-02-10 02:56:15] 525*2^1122071-1 is not prime. Res64: 1690CB0032512BB7 Time : 0.0 sec. user=vaughan [2012-02-10 02:56:16] 419*2^1122072-1 is not prime. Res64: 8610309D61C5FF3D Time : 0.0 sec. user=vaughan [2012-02-10 02:56:35] 563*2^1122076-1 is not prime. Res64: F354A7297D286ECC Time : 0.0 sec. user=vaughan [2012-02-10 02:56:36] 505*2^1122079-1 is not prime. Res64: 3E10CD84692F60BF Time : 0.0 sec. user=vaughan [2012-02-10 02:57:24] 441*2^1122069-1 is not prime. Res64: 06753E2BD3E76D7F Time : 0.0 sec. user=vaughan [2012-02-10 02:57:25] 457*2^1122069-1 is not prime. Res64: A599C60EE3C44E88 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:26] 469*2^1122069-1 is not prime. Res64: E2FBA194B5DE9857 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:27] 461*2^1122070-1 is not prime. Res64: 35EE7BFD83ED7FA6 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:38] 483*2^1122067-1 is not prime. Res64: F8B718512B710419 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:38] 587*2^1122070-1 is not prime. Res64: C25986A600C1BF04 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:39] 493*2^1122067-1 is not prime. Res64: 5C85450F362EA550 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:39] 465*2^1122071-1 is not prime. Res64: B4AD8856556D268A Time : 0.0 sec. user=vaughan [2012-02-10 02:58:39] 531*2^1122067-1 is not prime. Res64: D1C7B4BBEBC76307 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:40] 549*2^1122067-1 is not prime. Res64: 3E78F1E5D7148DB9 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:52] 449*2^1122068-1 is not prime. Res64: 209B9C77507CB944 Time : 0.0 sec. user=vaughan [2012-02-10 02:58:53] 525*2^1122068-1 is not prime. Res64: 507B8EE17E1667B3 Time : 0.0 sec. user=vaughan [2012-02-10 03:03:03] 503*2^1122074-1 is not prime. Res64: 01A694ED6114324A Time : 0.0 sec. user=vaughan [2012-02-10 03:03:03] 411*2^1122075-1 is not prime. Res64: 811E18B2D5CD363B Time : 0.0 sec. user=vaughan [2012-02-10 03:04:36] 479*2^1122092-1 is not prime. Res64: BAE482CCB4FA5B9F Time : 0.0 sec. user=vaughan [2012-02-10 03:04:38] 489*2^1122092-1 is not prime. Res64: F925F1B17B07D707 Time : 0.0 sec. user=vaughan [2012-02-10 03:04:56] 545*2^1122092-1 is not prime. Res64: C34A0A09C23170E3 Time : 0.0 sec. user=vaughan [2012-02-10 03:04:58] 585*2^1122092-1 is not prime. Res64: D5D834A5AE4F036E Time : 0.0 sec. user=vaughan [2012-02-10 03:05:07] 555*2^1122075-1 is not prime. Res64: 78766FD51B70F429 Time : 0.0 sec. user=vaughan [2012-02-10 03:05:10] 429*2^1122076-1 is not prime. Res64: 888EDEE5B000F81C Time : 0.0 sec. user=vaughan [2012-02-10 03:05:20] 473*2^1122050-1 is not prime. Res64: 92B9C99A8BBB1C73 Time : 0.0 sec. user=vaughan [2012-02-10 03:05:22] 501*2^1122050-1 is not prime. Res64: A75C99E64522D104 Time : 0.0 sec. user=vaughan [2012-02-10 03:05:25] 567*2^1122050-1 is not prime. Res64: F6769F13D1BB89D6 Time : 0.0 sec. user=vaughan [2012-02-10 03:06:00] 433*2^1122075-1 is not prime. Res64: B2A61E9749F24D73 Time : 0.0 sec. user=vaughan [2012-02-10 03:06:01] 453*2^1122075-1 is not prime. Res64: A7F6199375A5D054 Time : 0.0 sec. user=juhehe [2012-02-10 03:07:14] 413*2^1122082-1 is not prime. Res64: 931E66ABE503DB87 Time : 0.0 sec. user=vaughan [2012-02-10 03:07:19] 561*2^1122079-1 is not prime. Res64: 3E2D180BFAA3E2A1 Time : 0.0 sec. user=vaughan [2012-02-10 03:07:20] 573*2^1122079-1 is not prime. Res64: D9DFCB683A2A135B Time : 0.0 sec. user=vaughan [2012-02-10 03:08:38] 491*2^1122082-1 is not prime. Res64: D2FC0644B6F8A9A5 Time : 0.0 sec. user=vaughan [2012-02-10 03:08:41] 521*2^1122082-1 is not prime. Res64: B7FDD7CD9E5B636C Time : 0.0 sec. user=vaughan [2012-02-10 03:10:50] 573*2^1122088-1 is not prime. Res64: 2EA0CE4C9991224D Time : 0.0 sec. user=vaughan [2012-02-10 03:10:52] 575*2^1122088-1 is not prime. Res64: E87455F144D41AE0 Time : 0.0 sec. user=vaughan [2012-02-10 03:11:07] 487*2^1122081-1 is not prime. Res64: DCF3363175E6B2EB Time : 0.0 sec. user=vaughan [2012-02-10 03:11:09] 517*2^1122081-1 is not prime. Res64: 051153EDAA79D0B6 Time : 0.0 sec. user=vaughan [2012-02-10 03:12:22] 431*2^1122090-1 is not prime. Res64: EB8BB30C90353AB4 Time : 0.0 sec. user=vaughan [2012-02-10 03:12:22] 469*2^1122087-1 is not prime. Res64: 87E0AC0A1A3A98D1 Time : 0.0 sec. user=vaughan [2012-02-10 03:12:23] 447*2^1122090-1 is not prime. Res64: F21F719DB059AC1B Time : 0.0 sec. user=vaughan [2012-02-10 03:12:23] 493*2^1122087-1 is not prime. Res64: B5605B08FE6F15AD Time : 0.0 sec. user=vaughan [2012-02-10 03:12:26] 561*2^1122082-1 is not prime. Res64: 1A2DC4DB25CE0D33 Time : 0.0 sec. user=vaughan [2012-02-10 03:12:27] 451*2^1122083-1 is not prime. Res64: 5C07E7F2818BD82B Time : 0.0 sec. user=vaughan [2012-02-10 03:12:44] 471*2^1122090-1 is not prime. Res64: DEA05641E6AC63C9 Time : 0.0 sec. user=vaughan [2012-02-10 03:12:46] 495*2^1122090-1 is not prime. Res64: A1D1A01DB179420F Time : 0.0 sec. user=vaughan [2012-02-10 03:13:03] 525*2^1122090-1 is not prime. Res64: 9119900337BECF2C Time : 0.0 sec. user=vaughan [2012-02-10 03:13:05] 585*2^1122090-1 is not prime. Res64: 32B7DDD6E8B1A830 Time : 0.0 sec. user=vaughan [2012-02-10 03:14:22] 461*2^1122058-1 is not prime. Res64: 55539ACA95CCFDBE Time : 0.0 sec. user=vaughan [2012-02-10 03:14:23] 471*2^1122058-1 is not prime. Res64: 35AB43303EFA48EB Time : 0.0 sec. user=vaughan [2012-02-10 03:14:46] 513*2^1122058-1 is not prime. Res64: 11D0B8C89F3483A7 Time : 0.0 sec. user=vaughan [2012-02-10 03:14:47] 527*2^1122058-1 is not prime. Res64: A36DA625DDEF32FA Time : 0.0 sec. user=vaughan [2012-02-10 03:15:02] 459*2^1122101-1 is not prime. Res64: 3DA41AB6826651D7 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:03] 529*2^1122101-1 is not prime. Res64: E94E10CF13791DCC Time : 0.0 sec. user=vaughan [2012-02-10 03:15:11] 549*2^1122101-1 is not prime. Res64: 49E6787596164953 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:11] 559*2^1122101-1 is not prime. Res64: FC3ABC9E5F7DEA15 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:26] 495*2^1122080-1 is not prime. Res64: D4AA4589F0A41566 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:27] 439*2^1122081-1 is not prime. Res64: D50901135991EF38 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:38] 593*2^1122092-1 is not prime. Res64: 2A4FE4BFD53F1FED Time : 0.0 sec. user=vaughan [2012-02-10 03:15:38] 495*2^1122093-1 is not prime. Res64: FC537D9AABA87044 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:48] 533*2^1122088-1 is not prime. Res64: FA162C50411F69F6 Time : 0.0 sec. user=vaughan [2012-02-10 03:15:49] 537*2^1122088-1 is not prime. Res64: 67E77BAAD7FBE7ED Time : 0.0 sec. user=vaughan [2012-02-10 03:16:28] 461*2^1122094-1 is not prime. Res64: C4F826C946F99D8F Time : 0.0 sec. user=vaughan [2012-02-10 03:16:28] 513*2^1122094-1 is not prime. Res64: 3ACB659A13BDE1EE Time : 0.0 sec. user=vaughan [2012-02-10 03:16:28] 501*2^1122062-1 is not prime. Res64: B101472914FD5E1D Time : 0.0 sec. user=vaughan [2012-02-10 03:16:29] 585*2^1122062-1 is not prime. Res64: 34F885CFBB438446 Time : 0.0 sec. user=vaughan [2012-02-10 03:17:21] 401*2^1122090-1 is not prime. Res64: B164A098C43FF606 Time : 0.0 sec. user=vaughan [2012-02-10 03:17:22] 413*2^1122090-1 is not prime. Res64: 2E838F8BBAB1C2C8 Time : 0.0 sec. user=vaughan [2012-02-10 03:20:24] 489*2^1122097-1 is not prime. Res64: C563E600C4498D09 Time : 0.0 sec. user=vaughan [2012-02-10 03:20:24] 555*2^1122097-1 is not prime. Res64: 18DDF739351C6520 Time : 0.0 sec. user=vaughan [2012-02-10 03:23:16] 595*2^1122091-1 is not prime. Res64: 5F27F69429B3D2D9 Time : 0.0 sec. user=vaughan [2012-02-10 03:23:17] 467*2^1122092-1 is not prime. Res64: 2533EA86C0CC2116 Time : 0.0 sec. user=vaughan [2012-02-10 03:23:28] 413*2^1122106-1 is not prime. Res64: BCFFAC4F4B0685B4 Time : 0.0 sec. user=vaughan [2012-02-10 03:23:28] 425*2^1122106-1 is not prime. Res64: EFBA7F13D3F5AD84 Time : 0.0 sec. user=vaughan [2012-02-10 03:24:29] 567*2^1122109-1 is not prime. Res64: F3DBFC1503381AFA Time : 0.0 sec. user=vaughan [2012-02-10 03:24:29] 563*2^1122110-1 is not prime. Res64: A8BEE60CF54FB1D6 Time : 0.0 sec. user=vaughan [2012-02-10 03:24:47] 447*2^1122112-1 is not prime. Res64: 957F7B1295F09D0B Time : 0.0 sec. user=vaughan [2012-02-10 03:24:47] 567*2^1122113-1 is not prime. Res64: 83ACBBC3B76CF650 Time : 0.0 sec. user=vaughan [2012-02-10 03:27:40] 537*2^1122093-1 is not prime. Res64: 840AC3AFA0B89A81 Time : 0.0 sec. user=vaughan [2012-02-10 03:27:41] 401*2^1122094-1 is not prime. Res64: 22F9360FF01202E1 Time : 0.0 sec. user=vaughan [2012-02-10 03:28:39] 411*2^1122094-1 is not prime. Res64: 9DE21A7074982AA3 Time : 0.0 sec. user=vaughan [2012-02-10 03:28:40] 453*2^1122094-1 is not prime. Res64: E1E91C114746BD3B Time : 0.0 sec. user=vaughan [2012-02-10 03:29:25] 593*2^1122094-1 is not prime. Res64: FE4FE72B07353B97 Time : 0.0 sec. user=vaughan [2012-02-10 03:29:25] 459*2^1122095-1 is not prime. Res64: 58F31A2E7E4C15FE Time : 0.0 sec. user=vaughan [2012-02-10 03:30:04] 469*2^1122095-1 is not prime. Res64: 683DD4A593DED41C Time : 0.0 sec. user=vaughan [2012-02-10 03:30:05] 579*2^1122095-1 is not prime. Res64: 1FD8B2F09F338E67 Time : 0.0 sec. user=vaughan [2012-02-10 03:30:53] 459*2^1122096-1 is not prime. Res64: D7851CD9DE790751 Time : 0.0 sec. user=vaughan [2012-02-10 03:30:53] 477*2^1122097-1 is not prime. Res64: 97667C24496E78CD Time : 0.0 sec. user=vaughan [2012-02-10 03:31:51] 489*2^1122100-1 is not prime. Res64: 4D6A4E9043D65AE2 Time : 0.0 sec. user=vaughan [2012-02-10 03:31:53] 597*2^1122100-1 is not prime. Res64: EDCF57631BAD7365 Time : 0.0 sec. user=vaughan [2012-02-10 03:32:25] 417*2^1122104-1 is not prime. Res64: 7C2C125DBBE0560C Time : 0.0 sec. user=vaughan [2012-02-10 03:32:26] 473*2^1122104-1 is not prime. Res64: 1A3C65F1B0FAE6B0 Time : 0.0 sec. user=vaughan [2012-02-10 03:32:27] 479*2^1122104-1 is not prime. Res64: F91A8D9A701845B1 Time : 0.0 sec. user=vaughan [2012-02-10 03:32:28] 441*2^1122105-1 is not prime. Res64: BF4EE06D9CE21A91 Time : 0.0 sec. user=vaughan [2012-02-10 03:33:23] 401*2^1122102-1 is not prime. Res64: F445B8F33E746D75 Time : 0.0 sec. user=vaughan [2012-02-10 03:33:25] 405*2^1122102-1 is not prime. Res64: DD934FBAF4A7E318 Time : 0.0 sec. user=vaughan [2012-02-10 03:33:27] 563*2^1122102-1 is not prime. Res64: FE62D29912E24CA1 Time : 0.0 sec. user=vaughan [2012-02-10 03:33:28] 589*2^1122103-1 is not prime. Res64: F83E8140A3EEC154 Time : 0.0 sec. user=vaughan [2012-02-10 03:34:52] 525*2^1122120-1 is not prime. Res64: 1894167A045497A1 Time : 0.0 sec. user=vaughan [2012-02-10 03:34:53] 511*2^1122121-1 is not prime. Res64: FD2C1A1EE7039F25 Time : 0.0 sec. user=vaughan [2012-02-10 03:34:59] 447*2^1122122-1 is not prime. Res64: 98FF2AB639BF9CEA Time : 0.0 sec. user=vaughan [2012-02-10 03:34:59] 441*2^1122123-1 is not prime. Res64: 1913CDB4F9DB62F1 Time : 0.0 sec. user=vaughan [2012-02-10 03:35:19] 503*2^1122106-1 is not prime. Res64: 4DC3E0A78A7B7CB8 Time : 0.0 sec. user=vaughan [2012-02-10 03:35:20] 403*2^1122107-1 is not prime. Res64: E79893E799506CD7 Time : 0.0 sec. user=vaughan [2012-02-10 03:35:20] 465*2^1122105-1 is not prime. Res64: 33F6FF4EAE5900D6 Time : 0.0 sec. user=vaughan [2012-02-10 03:35:21] 585*2^1122105-1 is not prime. Res64: 3F0841E3DB4B95A1 Time : 0.0 sec. user=vaughan [2012-02-10 03:36:22] 469*2^1122107-1 is not prime. Res64: 2297A4A3B581A900 Time : 0.0 sec. user=vaughan [2012-02-10 03:36:23] 529*2^1122107-1 is not prime. Res64: 86C93534F61BBB0C Time : 0.0 sec. user=vaughan [2012-02-10 03:36:33] 595*2^1122107-1 is not prime. Res64: EDCCA37F959FBD43 Time : 0.0 sec. user=vaughan [2012-02-10 03:36:33] 419*2^1122108-1 is not prime. Res64: 95D73631322C37E2 Time : 0.0 sec. user=vaughan [2012-02-10 03:37:53] 565*2^1122097-1 is not prime. Res64: BCD95912D328BACA Time : 0.0 sec. user=vaughan [2012-02-10 03:37:54] 405*2^1122098-1 is not prime. Res64: 6FA45BFA8F007FC4 Time : 0.0 sec. user=vaughan [2012-02-10 03:38:08] 437*2^1122098-1 is not prime. Res64: CF7810D47AC1B280 Time : 0.0 sec. user=vaughan [2012-02-10 03:38:09] 561*2^1122098-1 is not prime. Res64: F3F0C9A1AD20C0AF Time : 0.0 sec. user=vaughan [2012-02-10 03:38:15] 469*2^1122099-1 is not prime. Res64: 516E71EA02A9764E Time : 0.0 sec. user=vaughan [2012-02-10 03:38:15] 549*2^1122107-1 is not prime. Res64: 882BA4528ADE36E7 Time : 0.0 sec. user=vaughan [2012-02-10 03:38:16] 571*2^1122099-1 is not prime. Res64: EC3E05F338FF5882 Time : 0.0 sec. user=vaughan [2012-02-10 03:38:16] 589*2^1122107-1 is not prime. Res64: F8E9131CB8F0358F Time : 0.0 sec. user=vaughan [2012-02-10 03:38:22] 459*2^1122108-1 is not prime. Res64: 9CA5A4D47FC56D92 Time : 0.0 sec. user=vaughan [2012-02-10 03:38:23] 513*2^1122108-1 is not prime. Res64: D7DBF3E3D77CC78C Time : 0.0 sec. user=vaughan [2012-02-10 03:38:31] 557*2^1122108-1 is not prime. Res64: 690504E908D01F9C Time : 0.0 sec. user=vaughan [2012-02-10 03:38:32] 499*2^1122109-1 is not prime. Res64: 9C97F1D7F5F9393E Time : 0.0 sec. user=vaughan [2012-02-10 03:39:46] 523*2^1122083-1 is not prime. Res64: 2743FF0A27E88437 Time : 0.0 sec. user=vaughan [2012-02-10 03:39:47] 565*2^1122083-1 is not prime. Res64: 98E19D7FB8DAA4E1 Time : 0.0 sec. user=vaughan [2012-02-10 03:39:47] 549*2^1122109-1 is not prime. Res64: 52EC3D65584626E4 Time : 0.0 sec. user=vaughan [2012-02-10 03:39:47] 479*2^1122084-1 is not prime. Res64: 79A6EC3806F4BD26 Time : 0.0 sec. user=vaughan [2012-02-10 03:39:48] 559*2^1122109-1 is not prime. Res64: 1AC000488321D07D Time : 0.0 sec. user=vaughan [2012-02-10 03:39:52] 525*2^1122084-1 is not prime. Res64: 68E502B0976928A7 Time : 0.0 sec. user=vaughan [2012-02-10 03:39:53] 579*2^1122084-1 is not prime. Res64: 9C9D9B76C221616E Time : 0.0 sec. user=vaughan [2012-02-10 03:39:53] 415*2^1122085-1 is not prime. Res64: 925FAD536512C61E Time : 0.0 sec. user=vaughan [2012-02-10 03:40:51] 511*2^1122085-1 is not prime. Res64: 67E0470889B4CD09 Time : 0.0 sec. user=vaughan [2012-02-10 03:40:54] 453*2^1122086-1 is not prime. Res64: A059D0BDC23E0EB6 Time : 0.0 sec. user=vaughan [2012-02-10 03:40:54] 515*2^1122086-1 is not prime. Res64: 9F7E4687AB7C1078 Time : 0.0 sec. user=vaughan [2012-02-10 03:42:32] 437*2^1122124-1 is not prime. Res64: 95CA4CB3DB5F929F Time : 0.0 sec. user=vaughan [2012-02-10 03:42:33] 455*2^1122124-1 is not prime. Res64: CCD85A291A4D456A Time : 0.0 sec. user=vaughan [2012-02-10 03:43:00] 411*2^1122114-1 is not prime. Res64: 8E99E9086614C8AA Time : 0.0 sec. user=vaughan [2012-02-10 03:43:01] 461*2^1122114-1 is not prime. Res64: 14712926AC5FD7AA Time : 0.0 sec. user=vaughan [2012-02-10 03:43:24] 411*2^1122125-1 is not prime. Res64: 7A09C6949EF380E5 Time : 0.0 sec. user=vaughan [2012-02-10 03:43:25] 445*2^1122125-1 is not prime. Res64: E5141CEFBF6E78C6 Time : 0.0 sec. user=vaughan [2012-02-10 03:43:53] 473*2^1122116-1 is not prime. Res64: 96FB947C57DB162E Time : 0.0 sec. user=vaughan [2012-02-10 03:43:54] 503*2^1122116-1 is not prime. Res64: 5810101DD6400D50 Time : 0.0 sec. user=vaughan [2012-02-10 03:44:15] 537*2^1122128-1 is not prime. Res64: AA7DCA1F9155F93E Time : 0.0 sec. user=vaughan [2012-02-10 03:44:16] 557*2^1122128-1 is not prime. Res64: E726F4F57F05B3D0 Time : 0.0 sec. user=vaughan [2012-02-10 03:44:25] 523*2^1122115-1 is not prime. Res64: 20AC9D21854B8BAE Time : 0.0 sec. user=vaughan [2012-02-10 03:44:26] 579*2^1122115-1 is not prime. Res64: 64EDD6C84DF0D245 Time : 0.0 sec. user=vaughan [2012-02-10 03:44:33] 441*2^1122129-1 is not prime. Res64: 1B801A57EEDEBC77 Time : 0.0 sec. user=vaughan [2012-02-10 03:44:33] 501*2^1122129-1 is not prime. Res64: 5CACDDE709AE69CA Time : 0.0 sec. user=vaughan [2012-02-10 03:45:14] 545*2^1122116-1 is not prime. Res64: 31DB155A019F1E69 Time : 0.0 sec. user=vaughan [2012-02-10 03:45:15] 579*2^1122116-1 is not prime. Res64: 00858AFE78976888 Time : 0.0 sec. user=vaughan [2012-02-10 03:45:33] 493*2^1122115-1 is not prime. Res64: 145047BCE343E067 Time : 0.0 sec. user=vaughan [2012-02-10 03:45:34] 499*2^1122115-1 is not prime. Res64: 0EF4482BD748049C Time : 0.0 sec. user=vaughan [2012-02-10 03:45:51] 447*2^1122118-1 is not prime. Res64: 64ABE426FC74C654 Time : 0.0 sec. user=vaughan [2012-02-10 03:45:51] 461*2^1122118-1 is not prime. Res64: 298847A611D8317C Time : 0.0 sec. user=vaughan [2012-02-10 03:46:01] 575*2^1122118-1 is not prime. Res64: 4F89E70F2D25CA7A Time : 0.0 sec. user=vaughan [2012-02-10 03:46:01] 591*2^1122118-1 is not prime. Res64: ADA2C4FD6A8F2B8C Time : 0.0 sec. user=juhehe [2012-02-10 03:46:39] 511*2^1122115-1 is not prime. Res64: 7CEF3A6C6C1EFA6A Time : 0.0 sec. user=vaughan [2012-02-10 03:47:24] 537*2^1122126-1 is not prime. Res64: 1DCDE011A272F1DD Time : 0.0 sec. user=vaughan [2012-02-10 03:47:24] 551*2^1122126-1 is not prime. Res64: 083842A63A952006 Time : 0.0 sec. user=vaughan [2012-02-10 03:47:57] 405*2^1122116-1 is not prime. Res64: FE7A93402CA3B6F1 Time : 0.0 sec. user=vaughan [2012-02-10 03:47:57] 465*2^1122116-1 is not prime. Res64: FC24E02D7A2EB99C Time : 0.0 sec. user=vaughan [2012-02-10 03:49:07] 451*2^1122117-1 is not prime. Res64: 94CB3A67B784E42D Time : 0.0 sec. user=vaughan [2012-02-10 03:49:08] 531*2^1122117-1 is not prime. Res64: A52589834134ABE4 Time : 0.0 sec. user=vaughan [2012-02-10 03:50:44] 507*2^1122116-1 is not prime. Res64: B73569AC508A6B6F Time : 0.0 sec. user=vaughan [2012-02-10 03:50:45] 525*2^1122116-1 is not prime. Res64: E157C6C5CCEADFBE Time : 0.0 sec. user=vaughan [2012-02-10 03:50:47] 519*2^1122127-1 is not prime. Res64: 9AE40B22344F6CD8 Time : 0.0 sec. user=vaughan [2012-02-10 03:50:48] 423*2^1122128-1 is not prime. Res64: 5215D6031FE1076D Time : 0.0 sec. user=vaughan [2012-02-10 03:52:00] 555*2^1122117-1 is not prime. Res64: 2760677DE4E87813 Time : 0.0 sec. user=vaughan [2012-02-10 03:52:01] 443*2^1122118-1 is not prime. Res64: DFE4DA08C0B8CDC5 Time : 0.0 sec. user=vaughan [2012-02-10 03:54:41] 535*2^1122135-1 is not prime. Res64: F2D311D91C9C2C3D Time : 0.0 sec. user=vaughan [2012-02-10 03:54:42] 543*2^1122135-1 is not prime. Res64: D3A5153C3F996E3B Time : 0.0 sec. user=vaughan [2012-02-10 03:54:45] 583*2^1122135-1 is not prime. Res64: CEC8BC57E95D0CD3 Time : 0.0 sec. user=vaughan [2012-02-10 03:54:46] 585*2^1122135-1 is not prime. Res64: 4BD9A018E1B83BDC Time : 0.0 sec. user=vaughan [2012-02-10 03:55:16] 527*2^1122124-1 is not prime. Res64: BAEF1D186EE28C24 Time : 0.0 sec. user=vaughan [2012-02-10 03:55:17] 587*2^1122124-1 is not prime. Res64: 0C6FF51B62EECE49 Time : 0.0 sec. user=vaughan [2012-02-10 03:56:46] 453*2^1122126-1 is not prime. Res64: A2878A1E9618B501 Time : 0.0 sec. user=vaughan [2012-02-10 03:56:47] 465*2^1122126-1 is not prime. Res64: 331D6D613A05C203 Time : 0.0 sec. user=vaughan [2012-02-10 03:59:34] 585*2^1122123-1 is not prime. Res64: DF28C2B99DE17F16 Time : 0.0 sec. user=vaughan [2012-02-10 03:59:34] 423*2^1122124-1 is not prime. Res64: 8E68A194904F52B2 Time : 0.0 sec. user=vaughan [2012-02-10 04:02:44] 585*2^1122126-1 is not prime. Res64: 16BDAA27CAF3B243 Time : 0.0 sec. user=vaughan [2012-02-10 04:02:45] 405*2^1122127-1 is not prime. Res64: 913AEEC939467F43 Time : 0.0 sec. user=vaughan [2012-02-10 04:04:04] 585*2^1122150-1 is not prime. Res64: ED21CA0604A8F2B2 Time : 0.0 sec. user=vaughan [2012-02-10 04:04:06] 595*2^1122151-1 is not prime. Res64: 30F64E81A0DA5F8A Time : 0.0 sec. user=vaughan [2012-02-10 04:04:16] 599*2^1122152-1 is not prime. Res64: 5F607341B93BA62D Time : 0.0 sec. user=vaughan [2012-02-10 04:04:17] 427*2^1122153-1 is not prime. Res64: 954B71C3AC4D321F Time : 0.0 sec. user=vaughan [2012-02-10 04:06:38] 507*2^1122129-1 is not prime. Res64: CA807BAD18A6964B Time : 0.0 sec. user=vaughan [2012-02-10 04:06:39] 571*2^1122129-1 is not prime. Res64: D43E5C8885055E0D Time : 0.0 sec. user=vaughan [2012-02-10 04:07:53] 579*2^1122129-1 is not prime. Res64: 8EFA6466D50CC174 Time : 0.0 sec. user=vaughan [2012-02-10 04:07:53] 495*2^1122130-1 is not prime. Res64: 5D7363AF42A6594A Time : 0.0 sec. user=vaughan [2012-02-10 04:08:50] 405*2^1122133-1 is not prime. Res64: A4074BE274A93654 Time : 0.0 sec. user=vaughan [2012-02-10 04:08:51] 465*2^1122133-1 is not prime. Res64: 418BEA3562EC40DD Time : 0.0 sec. user=vaughan [2012-02-10 04:08:51] 433*2^1122131-1 is not prime. Res64: 8FEEE5C89F68F43B Time : 0.0 sec. user=vaughan [2012-02-10 04:08:52] 445*2^1122131-1 is not prime. Res64: D60104E96EBFC904 Time : 0.0 sec. user=vaughan [2012-02-10 04:09:12] 471*2^1122133-1 is not prime. Res64: AA6904FBA25B03E8 Time : 0.0 sec. user=vaughan [2012-02-10 04:09:13] 567*2^1122133-1 is not prime. Res64: A227CB8F599CF092 Time : 0.0 sec. user=vaughan [2012-02-10 04:09:15] 595*2^1122133-1 is not prime. Res64: 885BA043A37B3DB9 Time : 0.0 sec. user=vaughan [2012-02-10 04:09:18] 477*2^1122134-1 is not prime. Res64: 7509B7C0F2193FE0 Time : 0.0 sec. user=vaughan [2012-02-10 04:09:43] 413*2^1122132-1 is not prime. Res64: E527A7E146B5185F Time : 0.0 sec. user=vaughan [2012-02-10 04:09:44] 483*2^1122132-1 is not prime. Res64: 5AF1DAC06E53C9D7 Time : 0.0 sec. user=vaughan [2012-02-10 04:10:18] 503*2^1122132-1 is not prime. Res64: 8B480094745811BF Time : 0.0 sec. user=vaughan [2012-02-10 04:10:19] 567*2^1122132-1 is not prime. Res64: C63C781FABA619A6 Time : 0.0 sec. user=vaughan [2012-02-10 04:11:14] 513*2^1122147-1 is not prime. Res64: 79679A00A0870C6D Time : 0.0 sec. user=vaughan [2012-02-10 04:11:15] 543*2^1122147-1 is not prime. Res64: 1BAA895A5F20B730 Time : 0.0 sec. user=vaughan [2012-02-10 04:11:31] 545*2^1122134-1 is not prime. Res64: 4CBF16595FD6FF6E Time : 0.0 sec. user=vaughan [2012-02-10 04:11:32] 575*2^1122134-1 is not prime. Res64: 28B34D5B71233309 Time : 0.0 sec. user=vaughan [2012-02-10 04:11:35] 465*2^1122114-1 is not prime. Res64: 25770B7393358CE4 Time : 0.0 sec. user=vaughan [2012-02-10 04:11:56] 445*2^1122149-1 is not prime. Res64: D536FFF39C1B4C7C Time : 0.0 sec. user=vaughan [2012-02-10 04:11:57] 517*2^1122149-1 is not prime. Res64: 3BACBDCD87A4079B Time : 0.0 sec. user=vaughan [2012-02-10 04:13:24] 407*2^1122136-1 is not prime. Res64: 2183E4015EA9733A Time : 0.0 sec. user=vaughan [2012-02-10 04:13:25] 453*2^1122136-1 is not prime. Res64: 51EC7B27BB9477E4 Time : 0.0 sec. user=vaughan [2012-02-10 04:13:53] 569*2^1122136-1 is not prime. Res64: D5F5FBA7F4B61334 Time : 0.0 sec. user=vaughan [2012-02-10 04:13:54] 421*2^1122137-1 is not prime. Res64: A309262574F61059 Time : 0.0 sec. user=vaughan [2012-02-10 04:14:31] 435*2^1122137-1 is not prime. Res64: 6816C0C5855466F3 Time : 0.0 sec. user=vaughan [2012-02-10 04:14:31] 549*2^1122137-1 is not prime. Res64: 5F1A8DD6AD85EBE2 Time : 0.0 sec. user=vaughan [2012-02-10 04:14:32] 483*2^1122162-1 is not prime. Res64: 0169903AE5C2602E Time : 0.0 sec. user=vaughan [2012-02-10 04:14:32] 567*2^1122162-1 is not prime. Res64: 696EA2849366620D Time : 0.0 sec. user=vaughan [2012-02-10 04:14:33] 493*2^1122163-1 is not prime. Res64: CF1A8D882CD9E896 Time : 0.0 sec. user=vaughan [2012-02-10 04:14:34] 511*2^1122163-1 is not prime. Res64: AAD721D77DD56096 Time : 0.0 sec. user=vaughan [2012-02-10 04:14:39] 483*2^1122138-1 is not prime. Res64: F406726E7055CADD Time : 0.0 sec. user=vaughan [2012-02-10 04:14:40] 503*2^1122138-1 is not prime. Res64: 76664E5F980CC7B7 Time : 0.0 sec. user=vaughan [2012-02-10 04:15:29] 465*2^1122120-1 is not prime. Res64: B372EEAD4F1E3040 Time : 0.0 sec. user=vaughan [2012-02-10 04:15:29] 503*2^1122120-1 is not prime. Res64: F06EBE72843278E6 Time : 0.0 sec. user=vaughan [2012-02-10 04:15:31] 595*2^1122119-1 is not prime. Res64: D6A7D617717872D4 Time : 0.0 sec. user=vaughan [2012-02-10 04:15:31] 425*2^1122120-1 is not prime. Res64: 61BE64EE12E62E88 Time : 0.0 sec. user=vaughan [2012-02-10 04:15:56] 549*2^1122159-1 is not prime. Res64: 1E72FDDA71058B90 Time : 0.0 sec. user=vaughan [2012-02-10 04:15:57] 573*2^1122159-1 is not prime. Res64: 46A168348782135E Time : 0.0 sec. user=juhehe [2012-02-10 04:16:12] 469*2^1122159-1 is not prime. Res64: 7E17A79F244DA0B5 Time : 0.0 sec. user=vaughan [2012-02-10 04:16:36] 597*2^1122144-1 is not prime. Res64: 49D938307AB978D2 Time : 0.0 sec. user=vaughan [2012-02-10 04:16:36] 447*2^1122145-1 is not prime. Res64: E5E49BC60573F388 Time : 0.0 sec. user=vaughan [2012-02-10 04:16:55] 413*2^1122150-1 is not prime. Res64: 700F943007297B51 Time : 0.0 sec. user=vaughan [2012-02-10 04:16:56] 581*2^1122150-1 is not prime. Res64: D9DE63DAC22AFF0E Time : 0.0 sec. user=vaughan [2012-02-10 04:17:23] 465*2^1122125-1 is not prime. Res64: 9A91063B6EA833A4 Time : 0.0 sec. user=vaughan [2012-02-10 04:17:24] 469*2^1122125-1 is not prime. Res64: 28C921F7DD7206E8 Time : 0.0 sec. user=vaughan [2012-02-10 04:17:57] 545*2^1122140-1 is not prime. Res64: 2B5411F78EC3B499 Time : 0.0 sec. user=vaughan [2012-02-10 04:17:57] 415*2^1122141-1 is not prime. Res64: AB31126F74789AA1 Time : 0.0 sec. user=vaughan [2012-02-10 04:17:59] 439*2^1122141-1 is not prime. Res64: 1F5EEB247D4CE5CC Time : 0.0 sec. user=vaughan [2012-02-10 04:18:00] 517*2^1122141-1 is not prime. Res64: 3C0EBE10646B4FF7 Time : 0.0 sec. user=vaughan [2012-02-10 04:18:07] 441*2^1122153-1 is not prime. Res64: 6B0613A8BB34D332 Time : 0.0 sec. user=vaughan [2012-02-10 04:18:07] 471*2^1122153-1 is not prime. Res64: 561CD6A7B38F1158 Time : 0.0 sec. user=vaughan [2012-02-10 04:18:07] 477*2^1122142-1 is not prime. Res64: 4E688FEED43D0FC9 Time : 0.0 sec. user=vaughan [2012-02-10 04:18:08] 423*2^1122143-1 is not prime. Res64: 6B3F4749984F84E8 Time : 0.0 sec. user=vaughan [2012-02-10 04:18:53] 575*2^1122154-1 is not prime. Res64: 5CD84BBBB8C9F0F9 Time : 0.0 sec. user=vaughan [2012-02-10 04:18:54] 423*2^1122159-1 is not prime. Res64: 786251595425AF9C Time : 0.0 sec. user=vaughan [2012-02-10 04:18:54] 525*2^1122154-1 is not prime. Res64: D95B62DE00CD8DEF Time : 0.0 sec. user=vaughan [2012-02-10 04:18:55] 545*2^1122154-1 is not prime. Res64: 8D21F4A54845A61B Time : 0.0 sec. user=vaughan [2012-02-10 04:19:21] 579*2^1122161-1 is not prime. Res64: B912512F999982F4 Time : 0.0 sec. user=vaughan [2012-02-10 04:19:22] 401*2^1122162-1 is not prime. Res64: DF6136F2DB048A87 Time : 0.0 sec. user=vaughan [2012-02-10 04:21:09] 515*2^1122152-1 is not prime. Res64: A0437A819B14D435 Time : 0.0 sec. user=vaughan [2012-02-10 04:21:10] 525*2^1122152-1 is not prime. Res64: 35E865E20EBB32E6 Time : 0.0 sec. user=vaughan [2012-02-10 04:21:17] 553*2^1122147-1 is not prime. Res64: 87A47EB3E72458FA Time : 0.0 sec. user=vaughan [2012-02-10 04:21:18] 513*2^1122148-1 is not prime. Res64: 6ACB79971559A171 Time : 0.0 sec. user=vaughan [2012-02-10 04:22:01] 525*2^1122138-1 is not prime. Res64: CB02A872CAEF79CF Time : 0.0 sec. user=vaughan [2012-02-10 04:22:01] 581*2^1122138-1 is not prime. Res64: 5EE2D419DFA285B6 Time : 0.0 sec. user=vaughan [2012-02-10 04:22:17] 415*2^1122139-1 is not prime. Res64: D1AF4FBE6213E855 Time : 0.0 sec. user=vaughan [2012-02-10 04:22:17] 549*2^1122139-1 is not prime. Res64: EE8EDF8937652038 Time : 0.0 sec. user=vaughan [2012-02-10 04:22:19] 595*2^1122139-1 is not prime. Res64: 6842AF09EE491C7D Time : 0.0 sec. user=vaughan [2012-02-10 04:22:20] 447*2^1122140-1 is not prime. Res64: C0685FB6B618500A Time : 0.0 sec. user=vaughan [2012-02-10 04:24:00] 463*2^1122167-1 is not prime. Res64: 4C9691DCD20CEEDE Time : 0.0 sec. user=vaughan [2012-02-10 04:24:01] 511*2^1122167-1 is not prime. Res64: A3544BDB336183FF Time : 0.0 sec. user=vaughan [2012-02-10 04:24:03] 523*2^1122167-1 is not prime. Res64: 54D470D0A8220D83 Time : 0.0 sec. user=vaughan [2012-02-10 04:24:04] 549*2^1122167-1 is not prime. Res64: 582D9286E1BFCE67 Time : 0.0 sec. user=vaughan [2012-02-10 04:25:02] 555*2^1122153-1 is not prime. Res64: 8C11E537E3F534DA Time : 0.0 sec. user=vaughan [2012-02-10 04:25:03] 453*2^1122154-1 is not prime. Res64: DC5766B6886C4038 Time : 0.0 sec. user=vaughan [2012-02-10 04:25:57] 539*2^1122160-1 is not prime. Res64: EBFB8798CA305F32 Time : 0.0 sec. user=vaughan [2012-02-10 04:25:58] 517*2^1122161-1 is not prime. Res64: 75A9CEC3DA8168D8 Time : 0.0 sec. user=vaughan [2012-02-10 04:26:36] 429*2^1122160-1 is not prime. Res64: 4FB74844C93D6711 Time : 0.0 sec. user=vaughan [2012-02-10 04:26:36] 453*2^1122160-1 is not prime. Res64: 7B87503FBDF2B487 Time : 0.0 sec. user=vaughan [2012-02-10 04:30:16] 537*2^1122161-1 is not prime. Res64: FB370B62F9898440 Time : 0.0 sec. user=vaughan [2012-02-10 04:30:17] 571*2^1122161-1 is not prime. Res64: 8DB4BB2D9A81A492 Time : 0.0 sec. user=vaughan [2012-02-10 04:31:30] 431*2^1122162-1 is not prime. Res64: 9053586CC96FF335 Time : 0.0 sec. user=vaughan [2012-02-10 04:31:31] 447*2^1122162-1 is not prime. Res64: 9A5C3689C7403ED8 Time : 0.0 sec. user=vaughan [2012-02-10 04:34:19] 517*2^1122177-1 is not prime. Res64: C0A30068A2C5C06E Time : 0.0 sec. user=vaughan [2012-02-10 04:34:20] 491*2^1122178-1 is not prime. Res64: C8473916723BD668 Time : 0.0 sec. user=vaughan [2012-02-10 04:34:21] 411*2^1122179-1 is not prime. Res64: C200659D73976689 Time : 0.0 sec. user=vaughan [2012-02-10 04:34:22] 441*2^1122179-1 is not prime. Res64: EF4A7E638A4EACA5 Time : 0.0 sec. user=vaughan [2012-02-10 04:34:45] 519*2^1122163-1 is not prime. Res64: F80CE57A13209F07 Time : 0.0 sec. user=vaughan [2012-02-10 04:34:46] 523*2^1122163-1 is not prime. Res64: 51D105DA1D0F63F0 Time : 0.0 sec. user=vaughan [2012-02-10 04:36:10] 549*2^1122163-1 is not prime. Res64: DA26C48C41D8683A Time : 0.0 sec. user=vaughan [2012-02-10 04:36:11] 495*2^1122164-1 is not prime. Res64: 16347810A0A5D3B1 Time : 0.0 sec. user=juhehe [2012-02-10 04:39:05] 561*2^1122181-1 is not prime. Res64: E90B72386C8F93CC Time : 0.0 sec. user=vaughan [2012-02-10 04:39:25] 593*2^1122174-1 is not prime. Res64: 0DFAC7243224508D Time : 0.0 sec. user=vaughan [2012-02-10 04:39:26] 411*2^1122175-1 is not prime. Res64: 73B18F1405E3BC51 Time : 0.0 sec. user=vaughan [2012-02-10 04:40:23] 413*2^1122176-1 is not prime. Res64: 270C68F99CF91D73 Time : 0.0 sec. user=vaughan [2012-02-10 04:40:24] 425*2^1122176-1 is not prime. Res64: D3EAD64F5A917636 Time : 0.0 sec. user=vaughan [2012-02-10 04:42:15] 491*2^1122166-1 is not prime. Res64: 6156AFA36D231614 Time : 0.0 sec. user=vaughan [2012-02-10 04:42:16] 561*2^1122166-1 is not prime. Res64: B6EA68F46F26751B Time : 0.0 sec. user=vaughan [2012-02-10 04:43:46] 441*2^1122165-1 is not prime. Res64: 021FF4ABBB112CFC Time : 0.0 sec. user=vaughan [2012-02-10 04:43:46] 511*2^1122165-1 is not prime. Res64: FF561FC55A92106D Time : 0.0 sec. user=vaughan [2012-02-10 04:43:48] 497*2^1122194-1 is not prime. Res64: B9EA196962EFF846 Time : 0.0 sec. user=vaughan [2012-02-10 04:43:49] 503*2^1122194-1 is not prime. Res64: E073B6FFDFAA7B96 Time : 0.0 sec. user=vaughan [2012-02-10 04:43:51] 561*2^1122194-1 is not prime. Res64: DBBF0FEC04E8E844 Time : 0.0 sec. user=vaughan [2012-02-10 04:43:51] 563*2^1122194-1 is not prime. Res64: 44774CF483B16FF0 Time : 0.0 sec. user=vaughan [2012-02-10 04:44:06] 511*2^1122181-1 is not prime. Res64: 11957BFAA9EB3DF4 Time : 0.0 sec. user=vaughan [2012-02-10 04:44:06] 525*2^1122181-1 is not prime. Res64: 0A94CCB58DBB1879 Time : 0.0 sec. user=vaughan [2012-02-10 04:45:22] 465*2^1122168-1 is not prime. Res64: EE691731F797A0EA Time : 0.0 sec. user=vaughan [2012-02-10 04:45:23] 471*2^1122169-1 is not prime. Res64: 3BE22DADE504EF72 Time : 0.0 sec. user=vaughan [2012-02-10 04:45:43] 567*2^1122169-1 is not prime. Res64: 9110E46C30323353 Time : 0.0 sec. user=vaughan [2012-02-10 04:45:43] 437*2^1122170-1 is not prime. Res64: 5E801A745FAF9041 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:06] 529*2^1122171-1 is not prime. Res64: B9665C4C7A3DA554 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:07] 507*2^1122172-1 is not prime. Res64: DA8D8C27353AAB96 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:11] 451*2^1122173-1 is not prime. Res64: 977BCFFD8DE9F8A4 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:12] 561*2^1122173-1 is not prime. Res64: 353B16E0E1877B78 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:19] 559*2^1122143-1 is not prime. Res64: 45FF58FE41213E1B Time : 0.0 sec. user=vaughan [2012-02-10 04:46:20] 549*2^1122144-1 is not prime. Res64: 7CA4EA4B60D446D4 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:20] 595*2^1122145-1 is not prime. Res64: FC6476680C9CECEC Time : 0.0 sec. user=vaughan [2012-02-10 04:46:20] 557*2^1122144-1 is not prime. Res64: D0DAF697951AECB7 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:21] 483*2^1122146-1 is not prime. Res64: 18355ACD79F17912 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:21] 515*2^1122146-1 is not prime. Res64: B5F3FAAA4221C39E Time : 0.0 sec. user=vaughan [2012-02-10 04:46:54] 535*2^1122169-1 is not prime. Res64: C4771E36A0991448 Time : 0.0 sec. user=vaughan [2012-02-10 04:46:55] 537*2^1122169-1 is not prime. Res64: 27930A96D302D376 Time : 0.0 sec. user=vaughan [2012-02-10 04:47:24] 545*2^1122146-1 is not prime. Res64: 4287B968BE6AAE65 Time : 0.0 sec. user=vaughan [2012-02-10 04:47:24] 567*2^1122146-1 is not prime. Res64: 648A0556D1F2DF86 Time : 0.0 sec. user=vaughan [2012-02-10 04:47:25] 581*2^1122146-1 is not prime. Res64: 0BA3CD443C7AE72A Time : 0.0 sec. user=vaughan [2012-02-10 04:47:38] 417*2^1122188-1 is not prime. Res64: F0D8D4E691EEF6FC Time : 0.0 sec. user=vaughan [2012-02-10 04:47:38] 467*2^1122188-1 is not prime. Res64: C1925BD23FC82E24 Time : 0.0 sec. user=vaughan [2012-02-10 04:48:27] 405*2^1122171-1 is not prime. Res64: 28FE8D7BBE2679FE Time : 0.0 sec. user=vaughan [2012-02-10 04:48:27] 459*2^1122171-1 is not prime. Res64: D766B431EF123385 Time : 0.0 sec. user=vaughan [2012-02-10 04:49:25] 589*2^1122173-1 is not prime. Res64: 3CFE1F13B6DA641D Time : 0.0 sec. user=vaughan [2012-02-10 04:49:25] 437*2^1122174-1 is not prime. Res64: CBEECDA0AEF4C4A0 Time : 0.0 sec. user=vaughan [2012-02-10 04:49:43] 507*2^1122174-1 is not prime. Res64: 65B1BA71A29F404F Time : 0.0 sec. user=vaughan [2012-02-10 04:49:43] 555*2^1122174-1 is not prime. Res64: 431CF6D57A74C8FB Time : 0.0 sec. user=vaughan [2012-02-10 04:49:55] 503*2^1122182-1 is not prime. Res64: D6B139B23E44B9E1 Time : 0.0 sec. user=vaughan [2012-02-10 04:49:55] 537*2^1122182-1 is not prime. Res64: 165709D159A19CD5 Time : 0.0 sec. user=vaughan [2012-02-10 04:50:45] 429*2^1122175-1 is not prime. Res64: BBF20F20E7B6BC4C Time : 0.0 sec. user=vaughan [2012-02-10 04:50:46] 481*2^1122175-1 is not prime. Res64: C3C52A0AF85E6427 Time : 0.0 sec. user=vaughan [2012-02-10 04:51:05] 539*2^1122184-1 is not prime. Res64: 2A807EB4834FD406 Time : 0.0 sec. user=vaughan [2012-02-10 04:51:05] 547*2^1122185-1 is not prime. Res64: FBE88F882BC9F33F Time : 0.0 sec. user=vaughan [2012-02-10 04:51:48] 453*2^1122187-1 is not prime. Res64: 63A652302ECEA4DA Time : 0.0 sec. user=vaughan [2012-02-10 04:51:49] 461*2^1122186-1 is not prime. Res64: 7D457916E33676D7 Time : 0.0 sec. user=vaughan [2012-02-10 04:51:49] 589*2^1122187-1 is not prime. Res64: 1144817CD2128189 Time : 0.0 sec. user=vaughan [2012-02-10 04:51:49] 465*2^1122186-1 is not prime. Res64: 543C2EEB2ACEA76D Time : 0.0 sec. user=vaughan [2012-02-10 04:52:16] 435*2^1122176-1 is not prime. Res64: 6D97F41145B1375B Time : 0.0 sec. user=vaughan [2012-02-10 04:52:16] 495*2^1122176-1 is not prime. Res64: 68125E694F180B58 Time : 0.0 sec. user=vaughan [2012-02-10 04:52:27] 405*2^1122177-1 is not prime. Res64: 27DBF857F463CC07 Time : 0.0 sec. user=vaughan [2012-02-10 04:52:28] 465*2^1122177-1 is not prime. Res64: 07992C80B3E79823 Time : 0.0 sec. user=vaughan [2012-02-10 04:53:23] 565*2^1122181-1 is not prime. Res64: FD75E01511C6BF07 Time : 0.0 sec. user=vaughan [2012-02-10 04:53:23] 407*2^1122182-1 is not prime. Res64: D7A30D238DC17E9A Time : 0.0 sec. user=vaughan [2012-02-10 04:53:25] 469*2^1122177-1 is not prime. Res64: A5F2F312F3F3FBB5 Time : 0.0 sec. user=vaughan [2012-02-10 04:53:25] 471*2^1122177-1 is not prime. Res64: 9207CDBF1EBC4D66 Time : 0.0 sec. user=vaughan [2012-02-10 04:53:36] 589*2^1122179-1 is not prime. Res64: 65DFA828FED41FAC Time : 0.0 sec. user=vaughan [2012-02-10 04:53:37] 539*2^1122180-1 is not prime. Res64: 924740C61D9F7716 Time : 0.0 sec. user=vaughan [2012-02-10 04:54:12] 425*2^1122198-1 is not prime. Res64: 41A7C62800213239 Time : 0.0 sec. user=vaughan [2012-02-10 04:54:13] 515*2^1122198-1 is not prime. Res64: CBC1E9DF932B44E0 Time : 0.0 sec. user=vaughan [2012-02-10 04:54:13] 485*2^1122198-1 is not prime. Res64: 7D0F345C876AE03E Time : 0.0 sec. user=vaughan [2012-02-10 04:54:13] 525*2^1122198-1 is not prime. Res64: 53170D3E7AA6D6E9 Time : 0.0 sec. user=vaughan [2012-02-10 04:55:26] 465*2^1122135-1 is not prime. Res64: A2A6294FC71F4682 Time : 0.0 sec. user=vaughan [2012-02-10 04:55:27] 531*2^1122135-1 is not prime. Res64: 49377B6136CBBB61 Time : 0.0 sec. user=vaughan [2012-02-10 04:57:32] 559*2^1122183-1 is not prime. Res64: 7A6FDC6C80B8B22A Time : 0.0 sec. user=vaughan [2012-02-10 04:57:33] 419*2^1122184-1 is not prime. Res64: 48BA56D2F3BC6EBC Time : 0.0 sec. user=vaughan [2012-02-10 04:57:38] 483*2^1122184-1 is not prime. Res64: A3050E15C73089B5 Time : 0.0 sec. user=vaughan [2012-02-10 04:57:39] 519*2^1122184-1 is not prime. Res64: 870A8373199E7FE1 Time : 0.0 sec. user=vaughan [2012-02-10 04:57:46] 417*2^1122186-1 is not prime. Res64: A867A674D6027D87 Time : 0.0 sec. user=vaughan [2012-02-10 04:57:47] 443*2^1122186-1 is not prime. Res64: BCB8291ADF5F39C5 Time : 0.0 sec. user=vaughan [2012-02-10 04:57:57] 489*2^1122188-1 is not prime. Res64: 9F64FB6F7A188E30 Time : 0.0 sec. user=vaughan [2012-02-10 04:57:58] 557*2^1122188-1 is not prime. Res64: 680E4C3809A7E962 Time : 0.0 sec. user=vaughan [2012-02-10 05:00:11] 595*2^1122189-1 is not prime. Res64: 399B40C51329117A Time : 0.0 sec. user=vaughan [2012-02-10 05:00:13] 401*2^1122190-1 is not prime. Res64: 5923261873C9BA2E Time : 0.0 sec. user=vaughan [2012-02-10 05:01:38] 531*2^1122114-1 is not prime. Res64: E015474CC284FF82 Time : 0.0 sec. user=vaughan [2012-02-10 05:01:39] 405*2^1122115-1 is not prime. Res64: 406441D89E595EE5 Time : 0.0 sec. user=juhehe [2012-02-10 05:02:01] 459*2^1122200-1 is not prime. Res64: F30B772083781439 Time : 0.0 sec. user=vaughan [2012-02-10 05:02:52] 523*2^1122195-1 is not prime. Res64: 6D8C00042918A1CE Time : 0.0 sec. user=vaughan [2012-02-10 05:02:53] 447*2^1122196-1 is not prime. Res64: 49DB729237F56B1D Time : 0.0 sec. user=vaughan [2012-02-10 05:03:34] 573*2^1122203-1 is not prime. Res64: 788C4540D6A1B3E2 Time : 0.0 sec. user=vaughan [2012-02-10 05:03:35] 473*2^1122204-1 is not prime. Res64: 371F888B8B13E872 Time : 0.0 sec. user=vaughan [2012-02-10 05:03:42] 497*2^1122204-1 is not prime. Res64: 231F73E72510F2B1 Time : 0.0 sec. user=vaughan [2012-02-10 05:03:43] 525*2^1122204-1 is not prime. Res64: CC295663F663A196 Time : 0.0 sec. user=vaughan [2012-02-10 05:04:30] 573*2^1122194-1 is not prime. Res64: CF970B71ED8365F8 Time : 0.0 sec. user=vaughan [2012-02-10 05:04:32] 441*2^1122195-1 is not prime. Res64: D41B28C80018546D Time : 0.0 sec. user=vaughan [2012-02-10 05:05:24] 483*2^1122196-1 is not prime. Res64: C8DA158FD0A46C94 Time : 0.0 sec. user=vaughan [2012-02-10 05:05:25] 537*2^1122196-1 is not prime. Res64: EC348CF93F73E795 Time : 0.0 sec. user=vaughan [2012-02-10 05:06:07] 405*2^1122190-1 is not prime. Res64: 77CBF34EAC8EB088 Time : 0.0 sec. user=vaughan [2012-02-10 05:06:09] 447*2^1122190-1 is not prime. Res64: 177EE1AD10A72E63 Time : 0.0 sec. user=vaughan [2012-02-10 05:06:23] 451*2^1122191-1 is not prime. Res64: E340E748E53E2950 Time : 0.0 sec. user=vaughan [2012-02-10 05:06:24] 475*2^1122191-1 is not prime. Res64: 2FFA81446ED7DF21 Time : 0.0 sec. user=vaughan [2012-02-10 05:06:31] 571*2^1122191-1 is not prime. Res64: 9B144F91BF8CF3DD Time : 0.0 sec. user=vaughan [2012-02-10 05:06:34] 411*2^1122194-1 is not prime. Res64: C3606328D328E247 Time : 0.0 sec. user=vaughan [2012-02-10 05:07:14] 495*2^1122200-1 is not prime. Res64: 080F6267CD8B626E Time : 0.0 sec. user=vaughan [2012-02-10 05:07:15] 537*2^1122200-1 is not prime. Res64: 3128CF7EE245D267 Time : 0.0 sec. user=vaughan [2012-02-10 05:08:12] 465*2^1122201-1 is not prime. Res64: 4675C6F895935745 Time : 0.0 sec. user=vaughan [2012-02-10 05:08:13] 549*2^1122201-1 is not prime. Res64: D4D7E8E59A26ED46 Time : 0.0 sec. user=vaughan [2012-02-10 05:09:50] 573*2^1122196-1 is not prime. Res64: 67E3F80D0A345F8E Time : 0.0 sec. user=vaughan [2012-02-10 05:09:51] 451*2^1122197-1 is not prime. Res64: 8F02C24070CB5537 Time : 0.0 sec. user=vaughan [2012-02-10 05:11:05] 517*2^1122197-1 is not prime. Res64: DBDDF15DEDFB71FE Time : 0.0 sec. user=vaughan [2012-02-10 05:11:05] 571*2^1122197-1 is not prime. Res64: E9AC5E44AC61D0FF Time : 0.0 sec. user=vaughan [2012-02-10 05:12:04] 587*2^1122204-1 is not prime. Res64: DE5F34F5EFC0242F Time : 0.0 sec. user=vaughan [2012-02-10 05:12:05] 405*2^1122205-1 is not prime. Res64: B0B7090277C07004 Time : 0.0 sec. user=vaughan [2012-02-10 05:14:01] 407*2^1122224-1 is not prime. Res64: A5B73CF4BEB5E9E2 Time : 0.0 sec. user=vaughan [2012-02-10 05:14:03] 465*2^1122224-1 is not prime. Res64: 4A2CC23620712ECA Time : 0.0 sec. user=vaughan [2012-02-10 05:14:04] 549*2^1122223-1 is not prime. Res64: C857EF0D12EC7358 Time : 0.0 sec. user=vaughan [2012-02-10 05:14:05] 573*2^1122223-1 is not prime. Res64: 8FADF9C2887BD528 Time : 0.0 sec. user=vaughan [2012-02-10 05:14:11] 511*2^1122199-1 is not prime. Res64: 4279CA0E40FF366B Time : 0.0 sec. user=vaughan [2012-02-10 05:14:12] 525*2^1122199-1 is not prime. Res64: EC1ACCE6C8F82D99 Time : 0.0 sec. user=vaughan [2012-02-10 05:14:12] 597*2^1122180-1 is not prime. Res64: 02431B9242C522BC Time : 0.0 sec. user=vaughan [2012-02-10 05:14:13] 415*2^1122181-1 is not prime. Res64: 79FCCD1531C88BBE Time : 0.0 sec. user=vaughan [2012-02-10 05:14:22] 579*2^1122180-1 is not prime. Res64: ECE89BE5DBB0AA1E Time : 0.0 sec. user=vaughan [2012-02-10 05:14:23] 593*2^1122180-1 is not prime. Res64: 3F22C63E81AE1EAE Time : 0.0 sec. user=vaughan [2012-02-10 05:15:29] 563*2^1122212-1 is not prime. Res64: A5C2AAF38CB582BA Time : 0.0 sec. user=vaughan [2012-02-10 05:15:29] 439*2^1122213-1 is not prime. Res64: B33573B19D26CFDE Time : 0.0 sec. user=vaughan [2012-02-10 05:15:43] 555*2^1122199-1 is not prime. Res64: 9C2BC6F7B2E7C9DB Time : 0.0 sec. user=vaughan [2012-02-10 05:15:44] 447*2^1122200-1 is not prime. Res64: E12815F0A3E65A6E Time : 0.0 sec. user=vaughan [2012-02-10 05:16:21] 409*2^1122183-1 is not prime. Res64: BE1F0ADFFBDB293F Time : 0.0 sec. user=vaughan [2012-02-10 05:16:22] 459*2^1122183-1 is not prime. Res64: 7FB9BFE528A54C06 Time : 0.0 sec. user=vaughan [2012-02-10 05:21:47] 477*2^1122202-1 is not prime. Res64: 0D0626C3D882FEEE Time : 0.0 sec. user=vaughan [2012-02-10 05:21:47] 495*2^1122202-1 is not prime. Res64: E2AD588877F4D97C Time : 0.0 sec. user=vaughan [2012-02-10 05:22:30] 531*2^1122205-1 is not prime. Res64: 2934A2DC713D22E0 Time : 0.0 sec. user=vaughan [2012-02-10 05:22:31] 477*2^1122206-1 is not prime. Res64: B4276AC24269DF6D Time : 0.0 sec. user=vaughan [2012-02-10 05:22:52] 483*2^1122206-1 is not prime. Res64: 12A638C30F48F4A6 Time : 0.0 sec. user=vaughan [2012-02-10 05:22:52] 501*2^1122206-1 is not prime. Res64: 143AAC44B42AFD5D Time : 0.0 sec. user=vaughan [2012-02-10 05:22:54] 417*2^1122218-1 is not prime. Res64: 3715C51649298BD7 Time : 0.0 sec. user=vaughan [2012-02-10 05:22:55] 425*2^1122218-1 is not prime. Res64: E80AA5B0D2D2206C Time : 0.0 sec. user=vaughan [2012-02-10 05:22:58] 545*2^1122206-1 is not prime. Res64: 5657D755AFBB570F Time : 0.0 sec. user=vaughan [2012-02-10 05:22:59] 551*2^1122206-1 is not prime. Res64: E273B80BA5D88635 Time : 0.0 sec. user=vaughan [2012-02-10 05:23:26] 479*2^1122232-1 is not prime. Res64: 1547AA24F1AC3DCF Time : 0.0 sec. user=vaughan [2012-02-10 05:23:27] 539*2^1122232-1 is not prime. Res64: F189E7FF0BBB1030 Time : 0.0 sec. user=vaughan [2012-02-10 05:23:33] 441*2^1122233-1 is not prime. Res64: 6AC516E63ABA98B8 Time : 0.0 sec. user=vaughan [2012-02-10 05:23:33] 547*2^1122233-1 is not prime. Res64: C6A42696870D038A Time : 0.0 sec. user=vaughan [2012-02-10 05:23:39] 451*2^1122205-1 is not prime. Res64: 369DCBFEDFF46560 Time : 0.0 sec. user=vaughan [2012-02-10 05:23:39] 495*2^1122205-1 is not prime. Res64: 26E1C67D2E4845DB Time : 0.0 sec. user=vaughan [2012-02-10 05:24:00] 555*2^1122219-1 is not prime. Res64: 1FB4C06ABA4020DB Time : 0.0 sec. user=vaughan [2012-02-10 05:24:00] 583*2^1122219-1 is not prime. Res64: 48000A0101D83838 Time : 0.0 sec. user=vaughan [2012-02-10 05:24:46] 563*2^1122220-1 is not prime. Res64: 075C51490BB18214 Time : 0.0 sec. user=vaughan [2012-02-10 05:24:47] 587*2^1122220-1 is not prime. Res64: 3236C3A97ECFDCA7 Time : 0.0 sec. user=vaughan [2012-02-10 05:24:53] 455*2^1122220-1 is not prime. Res64: F0A31AD35ECFCBE9 Time : 0.0 sec. user=vaughan [2012-02-10 05:24:53] 483*2^1122220-1 is not prime. Res64: EC1A90AFA55870AD Time : 0.0 sec. user=vaughan [2012-02-10 05:24:55] 571*2^1122209-1 is not prime. Res64: 4040202F20602876 Time : 0.0 sec. user=vaughan [2012-02-10 05:24:56] 463*2^1122211-1 is not prime. Res64: 96C937BC0D03FB05 Time : 0.0 sec. user=juhehe [2012-02-10 05:24:57] 493*2^1122231-1 is not prime. Res64: 58B86A15B32CDA62 Time : 0.0 sec. user=vaughan [2012-02-10 05:27:56] 425*2^1122214-1 is not prime. Res64: FDC7B9A7672EF47A Time : 0.0 sec. user=vaughan [2012-02-10 05:27:56] 533*2^1122214-1 is not prime. Res64: BFAB3E7BEEF950F9 Time : 0.0 sec. user=vaughan [2012-02-10 05:28:00] 561*2^1122202-1 is not prime. Res64: F325191BE8133512 Time : 0.0 sec. user=vaughan [2012-02-10 05:28:00] 511*2^1122203-1 is not prime. Res64: 68F3069CBDEAC1BE Time : 0.0 sec. user=vaughan [2012-02-10 05:29:04] 585*2^1122215-1 is not prime. Res64: 9071899D4A81ACEB Time : 0.0 sec. user=vaughan [2012-02-10 05:29:05] 515*2^1122216-1 is not prime. Res64: FEEE892FE8D50283 Time : 0.0 sec. user=vaughan [2012-02-10 05:29:07] 465*2^1122217-1 is not prime. Res64: FEC5E1E078968136 Time : 0.0 sec. user=vaughan [2012-02-10 05:29:08] 565*2^1122217-1 is not prime. Res64: E2EC661BAA0B29FF Time : 0.0 sec. user=vaughan [2012-02-10 05:29:46] 561*2^1122218-1 is not prime. Res64: 374848E21B507C72 Time : 0.0 sec. user=vaughan [2012-02-10 05:29:46] 489*2^1122219-1 is not prime. Res64: 765B79A06E1658D5 Time : 0.0 sec. user=vaughan [2012-02-10 05:30:09] 525*2^1122222-1 is not prime. Res64: 068284837C561FD4 Time : 0.0 sec. user=vaughan [2012-02-10 05:30:10] 557*2^1122222-1 is not prime. Res64: 6B5343B3BFD70352 Time : 0.0 sec. user=vaughan [2012-02-10 05:31:00] 413*2^1122222-1 is not prime. Res64: 78270A3E22CABF9E Time : 0.0 sec. user=vaughan [2012-02-10 05:31:02] 495*2^1122222-1 is not prime. Res64: DF52E096ECB95C55 Time : 0.0 sec. user=vaughan [2012-02-10 05:31:13] 405*2^1122221-1 is not prime. Res64: B3EC3B55B15861A3 Time : 0.0 sec. user=vaughan [2012-02-10 05:31:13] 571*2^1122221-1 is not prime. Res64: 773D65A744B4188B Time : 0.0 sec. user=vaughan [2012-02-10 05:32:23] 563*2^1122222-1 is not prime. Res64: CD79A491FEC08097 Time : 0.0 sec. user=vaughan [2012-02-10 05:32:23] 415*2^1122223-1 is not prime. Res64: A180C4F41C69E6BE Time : 0.0 sec. user=vaughan [2012-02-10 05:32:34] 433*2^1122223-1 is not prime. Res64: 92C7BA8D4198DD26 Time : 0.0 sec. user=vaughan [2012-02-10 05:32:35] 511*2^1122223-1 is not prime. Res64: 090F7B51FE215C7D Time : 0.0 sec. user=vaughan [2012-02-10 05:33:54] 513*2^1122240-1 is not prime. Res64: 20DF7802078F38D4 Time : 0.0 sec. user=vaughan [2012-02-10 05:33:55] 555*2^1122240-1 is not prime. Res64: C8604E6F0F1B86BF Time : 0.0 sec. user=vaughan [2012-02-10 05:33:58] 567*2^1122240-1 is not prime. Res64: 26917C750CE2B5B8 Time : 0.0 sec. user=vaughan [2012-02-10 05:33:59] 547*2^1122241-1 is not prime. Res64: 0A68A17D3D3B0CB2 Time : 0.0 sec. user=vaughan [2012-02-10 05:34:21] 533*2^1122224-1 is not prime. Res64: C89E6E7ECE8FF371 Time : 0.0 sec. user=vaughan [2012-02-10 05:34:22] 587*2^1122224-1 is not prime. Res64: 8DE604FBA319202F Time : 0.0 sec. user=vaughan [2012-02-10 05:34:25] 471*2^1122238-1 is not prime. Res64: B398D7ED394B8E00 Time : 0.0 sec. user=vaughan [2012-02-10 05:34:26] 495*2^1122238-1 is not prime. Res64: 1CBEB9015402FF11 Time : 0.0 sec. user=vaughan [2012-02-10 05:34:45] 469*2^1122227-1 is not prime. Res64: 9A83D59D582C606F Time : 0.0 sec. user=vaughan [2012-02-10 05:34:45] 569*2^1122228-1 is not prime. Res64: 977AF0F4001B4867 Time : 0.0 sec. user=vaughan [2012-02-10 05:35:27] 513*2^1122238-1 is not prime. Res64: 8F45330058BE99AF Time : 0.0 sec. user=vaughan [2012-02-10 05:35:27] 575*2^1122238-1 is not prime. Res64: CF100B6839248F9D Time : 0.0 sec. user=vaughan [2012-02-10 05:37:11] 599*2^1122224-1 is not prime. Res64: B2E9D6F966720C08 Time : 0.0 sec. user=vaughan [2012-02-10 05:37:11] 453*2^1122226-1 is not prime. Res64: 43ABCCAC7475A602 Time : 0.0 sec. user=vaughan [2012-02-10 05:37:20] 507*2^1122226-1 is not prime. Res64: 30722E0D19586A05 Time : 0.0 sec. user=vaughan [2012-02-10 05:37:21] 525*2^1122226-1 is not prime. Res64: 7A1D2BBACEE8732D Time : 0.0 sec. user=vaughan [2012-02-10 05:37:21] 567*2^1122226-1 is not prime. Res64: 9A429DCEA69503DC Time : 0.0 sec. user=vaughan [2012-02-10 05:37:22] 597*2^1122226-1 is not prime. Res64: AF7400F1C0CA7843 Time : 0.0 sec. user=vaughan [2012-02-10 05:39:10] 559*2^1122229-1 is not prime. Res64: 527DAEE0E94ECE7C Time : 0.0 sec. user=vaughan [2012-02-10 05:39:10] 453*2^1122230-1 is not prime. Res64: 94E386A80ACD5856 Time : 0.0 sec. user=vaughan [2012-02-10 05:39:14] 595*2^1122239-1 is not prime. Res64: 96D7F1B4CAA411F0 Time : 0.0 sec. user=vaughan [2012-02-10 05:39:15] 459*2^1122240-1 is not prime. Res64: 6762231393E348BB Time : 0.0 sec. user=vaughan [2012-02-10 05:39:45] 511*2^1122231-1 is not prime. Res64: 9E5AFC595C9F80D6 Time : 0.0 sec. user=vaughan [2012-02-10 05:39:45] 513*2^1122231-1 is not prime. Res64: 3DE44275EA07CCDA Time : 0.0 sec. user=vaughan [2012-02-10 05:42:59] 563*2^1122244-1 is not prime. Res64: 2571D217C52626A4 Time : 0.0 sec. user=vaughan [2012-02-10 05:42:59] 587*2^1122244-1 is not prime. Res64: F2C0CDCB096FE10B Time : 0.0 sec. user=vaughan [2012-02-10 05:43:15] 511*2^1122249-1 is not prime. Res64: A0BB11B64D0E0F2C Time : 0.0 sec. user=vaughan [2012-02-10 05:43:16] 535*2^1122249-1 is not prime. Res64: 00BEC94A23F64872 Time : 0.0 sec. user=vaughan [2012-02-10 05:43:21] 565*2^1122249-1 is not prime. Res64: 6A5E2E989744D67B Time : 0.0 sec. user=vaughan [2012-02-10 05:43:22] 513*2^1122250-1 is not prime. Res64: 65A82B71ED07FA5E Time : 0.0 sec. user=vaughan [2012-02-10 05:44:02] 561*2^1122233-1 is not prime. Res64: 403ACC1030C85FD8 Time : 0.0 sec. user=vaughan [2012-02-10 05:44:03] 591*2^1122233-1 is not prime. Res64: B33295AC5D3AC348 Time : 0.0 sec. user=vaughan [2012-02-10 05:44:19] 563*2^1122234-1 is not prime. Res64: 355B2952285D176D Time : 0.0 sec. user=vaughan [2012-02-10 05:44:19] 429*2^1122235-1 is not prime. Res64: 2BDCAAECD6C68861 Time : 0.0 sec. user=juhehe [2012-02-10 05:47:49] 545*2^1122254-1 is not prime. Res64: 016E5E82C4C9BE35 Time : 0.0 sec. user=vaughan [2012-02-10 05:49:23] 459*2^1122239-1 is not prime. Res64: 145B704CA85CB91B Time : 0.0 sec. user=vaughan [2012-02-10 05:49:24] 505*2^1122239-1 is not prime. Res64: 90C60E3F24ECC98A Time : 0.0 sec. user=vaughan [2012-02-10 05:50:33] 531*2^1122239-1 is not prime. Res64: E3052E9022BD57B2 Time : 0.0 sec. user=vaughan [2012-02-10 05:50:34] 579*2^1122239-1 is not prime. Res64: F8E56FCF1D7866ED Time : 0.0 sec. user=vaughan [2012-02-10 05:51:04] 465*2^1122235-1 is not prime. Res64: D87193F84B84A7F1 Time : 0.0 sec. user=vaughan [2012-02-10 05:51:05] 511*2^1122235-1 is not prime. Res64: 1335691AE5C1A54E Time : 0.0 sec. user=vaughan [2012-02-10 05:51:15] 405*2^1122237-1 is not prime. Res64: 775D1ED1CE287FFE Time : 0.0 sec. user=vaughan [2012-02-10 05:51:16] 499*2^1122237-1 is not prime. Res64: E2CDAE9F55717CD7 Time : 0.0 sec. user=vaughan [2012-02-10 05:51:34] 537*2^1122237-1 is not prime. Res64: 9FA53C1754A1A367 Time : 0.0 sec. user=vaughan [2012-02-10 05:51:35] 577*2^1122237-1 is not prime. Res64: 41ACF7656C343006 Time : 0.0 sec. user=vaughan [2012-02-10 05:52:31] 591*2^1122206-1 is not prime. Res64: 832A47F71D292DF7 Time : 0.0 sec. user=vaughan [2012-02-10 05:52:31] 513*2^1122207-1 is not prime. Res64: E88B7640863BFE91 Time : 0.0 sec. user=vaughan [2012-02-10 05:52:32] 429*2^1122208-1 is not prime. Res64: 128D013BC1921A67 Time : 0.0 sec. user=vaughan [2012-02-10 05:52:33] 549*2^1122208-1 is not prime. Res64: 27F8199662B6B661 Time : 0.0 sec. user=vaughan [2012-02-10 05:52:35] 495*2^1122209-1 is not prime. Res64: 740C99D83A867AD4 Time : 0.0 sec. user=vaughan [2012-02-10 05:52:35] 561*2^1122209-1 is not prime. Res64: 924519407479982B Time : 0.0 sec. user=vaughan [2012-02-10 05:53:42] 549*2^1122241-1 is not prime. Res64: 766977CAC0699EAA Time : 0.0 sec. user=vaughan [2012-02-10 05:53:42] 503*2^1122264-1 is not prime. Res64: D0C3306B23C28CD6 Time : 0.0 sec. user=vaughan [2012-02-10 05:53:42] 415*2^1122265-1 is not prime. Res64: F7F1BF1DFD4E12E8 Time : 0.0 sec. user=vaughan [2012-02-10 05:53:42] 525*2^1122242-1 is not prime. Res64: 56F99D2DDC98E5FE Time : 0.0 sec. user=vaughan [2012-02-10 05:53:42] 455*2^1122212-1 is not prime. Res64: D0D47C0224FF1201 Time : 0.0 sec. user=vaughan [2012-02-10 05:53:43] 479*2^1122212-1 is not prime. Res64: 3942DA149CD9DB9D Time : 0.0 sec. user=vaughan [2012-02-10 05:53:44] 495*2^1122212-1 is not prime. Res64: 63C20CF43D9397A8 Time : 0.0 sec. user=vaughan [2012-02-10 05:53:47] 477*2^1122265-1 is not prime. Res64: D9B713825EE1D935 Time : 0.0 sec. user=vaughan [2012-02-10 05:53:47] 507*2^1122265-1 is not prime. Res64: 6DE57B3FB40F06A7 Time : 0.0 sec. user=vaughan [2012-02-10 05:55:11] 597*2^1122244-1 is not prime. Res64: 997598162B3765A2 Time : 0.0 sec. user=vaughan [2012-02-10 05:55:11] 547*2^1122245-1 is not prime. Res64: 5E3777F5135B0120 Time : 0.0 sec. user=vaughan [2012-02-10 05:55:52] 511*2^1122247-1 is not prime. Res64: 8478BB25D184B590 Time : 0.0 sec. user=vaughan [2012-02-10 05:55:53] 509*2^1122248-1 is not prime. Res64: 5DA9E7ADE0F6E726 Time : 0.0 sec. user=vaughan [2012-02-10 05:56:52] 493*2^1122251-1 is not prime. Res64: 3AEF21048EA8754A Time : 0.0 sec. user=vaughan [2012-02-10 05:56:53] 511*2^1122251-1 is not prime. Res64: 9D3C1ABE4AB5DCD7 Time : 0.0 sec. user=vaughan [2012-02-10 05:57:46] 503*2^1122252-1 is not prime. Res64: 9333B44DADF8C80A Time : 0.0 sec. user=vaughan [2012-02-10 05:57:46] 437*2^1122252-1 is not prime. Res64: C0D58D4F5135997B Time : 0.0 sec. user=vaughan [2012-02-10 05:57:47] 569*2^1122252-1 is not prime. Res64: 48DEE3D17541BAFA Time : 0.0 sec. user=vaughan [2012-02-10 05:57:47] 483*2^1122252-1 is not prime. Res64: D197FBAAACAD279E Time : 0.0 sec. user=vaughan [2012-02-10 05:59:16] 551*2^1122246-1 is not prime. Res64: 0154D110320B39CD Time : 0.0 sec. user=vaughan [2012-02-10 05:59:17] 451*2^1122247-1 is not prime. Res64: 2A682EB80384BFFA Time : 0.0 sec. user=vaughan [2012-02-10 05:59:39] 539*2^1122248-1 is not prime. Res64: 1C017CD2A6769FC9 Time : 0.0 sec. user=vaughan [2012-02-10 05:59:39] 507*2^1122249-1 is not prime. Res64: E3D6C63E716215A4 Time : 0.0 sec. user=vaughan [2012-02-10 05:59:50] 471*2^1122247-1 is not prime. Res64: 609A4D6726076160 Time : 0.0 sec. user=vaughan [2012-02-10 05:59:50] 493*2^1122247-1 is not prime. Res64: 76957D2F651240E9 Time : 0.0 sec. user=vaughan [2012-02-10 06:00:24] 555*2^1122250-1 is not prime. Res64: 7CF653714A6AB57D Time : 0.0 sec. user=vaughan [2012-02-10 06:00:25] 561*2^1122250-1 is not prime. Res64: CDE0065FA31222FB Time : 0.0 sec. user=vaughan [2012-02-10 06:01:16] 503*2^1122246-1 is not prime. Res64: 1FD96380B0C64796 Time : 0.0 sec. user=vaughan [2012-02-10 06:01:17] 525*2^1122246-1 is not prime. Res64: 55C059D26414EA22 Time : 0.0 sec. user=vaughan [2012-02-10 06:01:41] 517*2^1122253-1 is not prime. Res64: C627EDF70098DB33 Time : 0.0 sec. user=vaughan [2012-02-10 06:01:42] 503*2^1122254-1 is not prime. Res64: D983B3570C5DFC35 Time : 0.0 sec. user=vaughan [2012-02-10 06:01:44] 409*2^1122267-1 is not prime. Res64: E28C1D65D39B8C7A Time : 0.0 sec. user=vaughan [2012-02-10 06:01:45] 471*2^1122267-1 is not prime. Res64: F31D0230C5D81D6A Time : 0.0 sec. user=vaughan [2012-02-10 06:02:40] 413*2^1122268-1 is not prime. Res64: E05CB14081694DAF Time : 0.0 sec. user=vaughan [2012-02-10 06:02:41] 495*2^1122268-1 is not prime. Res64: 83B882610FF106F2 Time : 0.0 sec. user=vaughan [2012-02-10 06:03:03] 533*2^1122272-1 is not prime. Res64: 050F8DE75FEBE650 Time : 0.0 sec. user=vaughan [2012-02-10 06:03:04] 563*2^1122272-1 is not prime. Res64: 9B157C2E81FB6D3D Time : 0.0 sec. user=vaughan [2012-02-10 06:03:10] 599*2^1122272-1 is not prime. Res64: 43414B4B0F8BF640 Time : 0.0 sec. user=vaughan [2012-02-10 06:03:10] 429*2^1122273-1 is not prime. Res64: 55873BD74B499087 Time : 0.0 sec. user=vaughan [2012-02-10 06:06:14] 461*2^1122270-1 is not prime. Res64: 0A006F2CBE6CFC40 Time : 0.0 sec. user=vaughan [2012-02-10 06:06:15] 587*2^1122270-1 is not prime. Res64: 6DE81919EA2025E9 Time : 0.0 sec. user=vaughan [2012-02-10 06:06:42] 571*2^1122261-1 is not prime. Res64: C17091430C66C23D Time : 0.0 sec. user=vaughan [2012-02-10 06:06:43] 477*2^1122262-1 is not prime. Res64: 97DF7F916BC458DE Time : 0.0 sec. user=vaughan [2012-02-10 06:06:53] 471*2^1122261-1 is not prime. Res64: C8A96458343BCB61 Time : 0.0 sec. user=vaughan [2012-02-10 06:06:54] 549*2^1122261-1 is not prime. Res64: 077BACCA42E20B8E Time : 0.0 sec. user=vaughan [2012-02-10 06:07:24] 429*2^1122255-1 is not prime. Res64: 63080A4C909B36CC Time : 0.0 sec. user=vaughan [2012-02-10 06:07:27] 541*2^1122255-1 is not prime. Res64: 5A06E8C6CF73E897 Time : 0.0 sec. user=vaughan [2012-02-10 06:07:48] 587*2^1122230-1 is not prime. Res64: FA7C1FEEA6CCCE8C Time : 0.0 sec. user=vaughan [2012-02-10 06:07:49] 591*2^1122230-1 is not prime. Res64: 3C310207DC6508B1 Time : 0.0 sec. user=vaughan [2012-02-10 06:07:51] 453*2^1122231-1 is not prime. Res64: 3D230D41B0062311 Time : 0.0 sec. user=vaughan [2012-02-10 06:08:31] 493*2^1122259-1 is not prime. Res64: B2EA87648F3A8A4F Time : 0.0 sec. user=vaughan [2012-02-10 06:08:33] 549*2^1122259-1 is not prime. Res64: 10D8C417E6709DFD Time : 0.0 sec. user=vaughan [2012-02-10 06:08:44] 553*2^1122259-1 is not prime. Res64: C4A1526D880D4447 Time : 0.0 sec. user=vaughan [2012-02-10 06:08:44] 587*2^1122260-1 is not prime. Res64: 4C1ECE17205C9514 Time : 0.0 sec. user=vaughan [2012-02-10 06:08:46] 575*2^1122256-1 is not prime. Res64: 612105AE134B789F Time : 0.0 sec. user=vaughan [2012-02-10 06:08:47] 405*2^1122257-1 is not prime. Res64: A42743E5A43F554E Time : 0.0 sec. user=vaughan [2012-02-10 06:09:50] 489*2^1122272-1 is not prime. Res64: 57FD21BE35B0B78C Time : 0.0 sec. user=vaughan [2012-02-10 06:09:51] 495*2^1122272-1 is not prime. Res64: 4DE0355C3C169F2A Time : 0.0 sec. user=vaughan [2012-02-10 06:10:10] 527*2^1122262-1 is not prime. Res64: 61F43921373D11A4 Time : 0.0 sec. user=vaughan [2012-02-10 06:10:11] 591*2^1122262-1 is not prime. Res64: B571AB4F2EC5CA3F Time : 0.0 sec. user=juhehe [2012-02-10 06:10:46] 575*2^1122274-1 is not prime. Res64: 67796D439017ACC5 Time : 0.0 sec. user=vaughan [2012-02-10 06:11:24] 411*2^1122263-1 is not prime. Res64: 22B6EBFB40312167 Time : 0.0 sec. user=vaughan [2012-02-10 06:11:25] 463*2^1122263-1 is not prime. Res64: A6B7AA1A91F93A84 Time : 0.0 sec. user=vaughan [2012-02-10 06:11:35] 589*2^1122263-1 is not prime. Res64: 27F93AF11F21D52F Time : 0.0 sec. user=vaughan [2012-02-10 06:11:38] 595*2^1122263-1 is not prime. Res64: 7D3D3BAFF9F17627 Time : 0.0 sec. user=vaughan [2012-02-10 06:11:40] 483*2^1122267-1 is not prime. Res64: EABBC03EC33A4B34 Time : 0.0 sec. user=vaughan [2012-02-10 06:11:42] 531*2^1122267-1 is not prime. Res64: 0D22E96FC14A2983 Time : 0.0 sec. user=vaughan [2012-02-10 06:12:57] 583*2^1122255-1 is not prime. Res64: 6E8A48D281A081D4 Time : 0.0 sec. user=vaughan [2012-02-10 06:12:58] 563*2^1122256-1 is not prime. Res64: 7FAFED7B12D6C3B5 Time : 0.0 sec. user=vaughan [2012-02-10 06:13:16] 407*2^1122266-1 is not prime. Res64: 75C7E7C5D68A16BA Time : 0.0 sec. user=vaughan [2012-02-10 06:13:17] 507*2^1122266-1 is not prime. Res64: 266ECFB5A04A44A8 Time : 0.0 sec. user=vaughan [2012-02-10 06:13:32] 587*2^1122280-1 is not prime. Res64: DE6A5A4A020246C1 Time : 0.0 sec. user=vaughan [2012-02-10 06:13:33] 409*2^1122281-1 is not prime. Res64: 8EDA7D60352524F2 Time : 0.0 sec. user=vaughan [2012-02-10 06:13:35] 565*2^1122281-1 is not prime. Res64: 215A11B2A2FF6748 Time : 0.0 sec. user=vaughan [2012-02-10 06:13:36] 471*2^1122282-1 is not prime. Res64: CFC28B4233EA8690 Time : 0.0 sec. user=vaughan [2012-02-10 06:15:41] 481*2^1122243-1 is not prime. Res64: 1F364940D132F3DD Time : 0.0 sec. user=vaughan [2012-02-10 06:15:42] 419*2^1122244-1 is not prime. Res64: F5D7C20624DD2221 Time : 0.0 sec. user=vaughan [2012-02-10 06:16:04] 453*2^1122243-1 is not prime. Res64: 078F060077508788 Time : 0.0 sec. user=vaughan [2012-02-10 06:16:05] 459*2^1122243-1 is not prime. Res64: 6F41DFA97C02FB06 Time : 0.0 sec. user=vaughan [2012-02-10 06:16:31] 415*2^1122271-1 is not prime. Res64: F392DE165E1E7C40 Time : 0.0 sec. user=vaughan [2012-02-10 06:16:32] 423*2^1122271-1 is not prime. Res64: 3E11CF227607EC19 Time : 0.0 sec. user=vaughan [2012-02-10 06:16:49] 527*2^1122268-1 is not prime. Res64: F95443BEB58EC90D Time : 0.0 sec. user=vaughan [2012-02-10 06:16:49] 569*2^1122268-1 is not prime. Res64: F6863169D5D5BEF1 Time : 0.0 sec. user=vaughan [2012-02-10 06:16:58] 507*2^1122269-1 is not prime. Res64: D84557D7CB6CE78E Time : 0.0 sec. user=vaughan [2012-02-10 06:16:59] 559*2^1122269-1 is not prime. Res64: B0B3AEDFD65F1EB3 Time : 0.0 sec. user=vaughan [2012-02-10 06:17:02] 447*2^1122269-1 is not prime. Res64: F29CE547F2DC65AC Time : 0.0 sec. user=vaughan [2012-02-10 06:17:02] 465*2^1122269-1 is not prime. Res64: E7635BAB8589A17E Time : 0.0 sec. user=vaughan [2012-02-10 06:18:08] 579*2^1122269-1 is not prime. Res64: 1D4F02A80D4EBE71 Time : 0.0 sec. user=vaughan [2012-02-10 06:18:09] 437*2^1122270-1 is not prime. Res64: ACE1E85EB24F81E2 Time : 0.0 sec. user=vaughan [2012-02-10 06:18:21] 559*2^1122273-1 is not prime. Res64: 308F13D1E7E32DF8 Time : 0.0 sec. user=vaughan [2012-02-10 06:18:22] 483*2^1122274-1 is not prime. Res64: 1914340942BE9877 Time : 0.0 sec. user=vaughan [2012-02-10 06:18:22] 577*2^1122245-1 is not prime. Res64: 6B59453F2852AA97 Time : 0.0 sec. user=vaughan [2012-02-10 06:18:23] 447*2^1122246-1 is not prime. Res64: 34902F6CEA7D81B6 Time : 0.0 sec. user=vaughan [2012-02-10 06:22:50] 535*2^1122291-1 is not prime. Res64: B066C0F6E1BD1273 Time : 0.0 sec. user=vaughan [2012-02-10 06:22:51] 485*2^1122292-1 is not prime. Res64: F74E75B796B6EB38 Time : 0.0 sec. user=vaughan [2012-02-10 06:23:01] 497*2^1122292-1 is not prime. Res64: B060AC8C70A7CD55 Time : 0.0 sec. user=vaughan [2012-02-10 06:23:02] 513*2^1122292-1 is not prime. Res64: E6930734120EDAB6 Time : 0.0 sec. user=vaughan [2012-02-10 06:23:32] 475*2^1122273-1 is not prime. Res64: 4D82EF382709EB92 Time : 0.0 sec. user=vaughan [2012-02-10 06:23:32] 511*2^1122273-1 is not prime. Res64: 1FF8FF2EE16E4D99 Time : 0.0 sec. user=vaughan [2012-02-10 06:28:42] 563*2^1122290-1 is not prime. Res64: E6D6E779E5C8601A Time : 0.0 sec. user=vaughan [2012-02-10 06:28:42] 575*2^1122290-1 is not prime. Res64: 9CD8021CE19A0C52 Time : 0.0 sec. user=vaughan [2012-02-10 06:28:47] 415*2^1122283-1 is not prime. Res64: BD17089FB4CF3629 Time : 0.0 sec. user=vaughan [2012-02-10 06:28:48] 451*2^1122283-1 is not prime. Res64: AD3CC853ABA35E1F Time : 0.0 sec. user=vaughan [2012-02-10 06:28:54] 421*2^1122275-1 is not prime. Res64: 2B1850000E71282A Time : 0.0 sec. user=vaughan [2012-02-10 06:28:54] 455*2^1122276-1 is not prime. Res64: 7815A289929C29B5 Time : 0.0 sec. user=vaughan [2012-02-10 06:29:30] 433*2^1122291-1 is not prime. Res64: 9EB0CFD759393633 Time : 0.0 sec. user=vaughan [2012-02-10 06:29:31] 483*2^1122291-1 is not prime. Res64: 9C91883C7AF33925 Time : 0.0 sec. user=vaughan [2012-02-10 06:29:49] 435*2^1122284-1 is not prime. Res64: 0F80E41DCE12892B Time : 0.0 sec. user=vaughan [2012-02-10 06:29:49] 473*2^1122284-1 is not prime. Res64: 35844C50D3E852D5 Time : 0.0 sec. user=vaughan [2012-02-10 06:30:03] 459*2^1122276-1 is not prime. Res64: A597131E9571C8AB Time : 0.0 sec. user=vaughan [2012-02-10 06:30:04] 473*2^1122276-1 is not prime. Res64: 09AFBFCBB95786D5 Time : 0.0 sec. user=vaughan [2012-02-10 06:30:41] 409*2^1122285-1 is not prime. Res64: E8AA3BD37E86CD06 Time : 0.0 sec. user=vaughan [2012-02-10 06:30:41] 465*2^1122285-1 is not prime. Res64: A7A933E879671574 Time : 0.0 sec. user=vaughan [2012-02-10 06:30:48] 545*2^1122284-1 is not prime. Res64: 6F5E33F17B5142A3 Time : 0.0 sec. user=vaughan [2012-02-10 06:30:48] 405*2^1122285-1 is not prime. Res64: D71ADFEF76C51501 Time : 0.0 sec. user=vaughan [2012-02-10 06:33:06] 441*2^1122293-1 is not prime. Res64: 20F62228A7CC90A2 Time : 0.0 sec. user=vaughan [2012-02-10 06:33:07] 445*2^1122293-1 is not prime. Res64: A4E0D8A087856705 Time : 0.0 sec. user=vaughan [2012-02-10 06:33:07] 525*2^1122280-1 is not prime. Res64: 9114003050DE859F Time : 0.0 sec. user=vaughan [2012-02-10 06:33:08] 569*2^1122280-1 is not prime. Res64: 9CAA31744A85DD8A Time : 0.0 sec. user=vaughan [2012-02-10 06:33:18] 513*2^1122304-1 is not prime. Res64: B434B4C564B26871 Time : 0.0 sec. user=vaughan [2012-02-10 06:33:19] 569*2^1122304-1 is not prime. Res64: BD498B17850EE00F Time : 0.0 sec. user=vaughan [2012-02-10 06:33:24] 575*2^1122304-1 is not prime. Res64: 08F9684E1C0A631F Time : 0.0 sec. user=vaughan [2012-02-10 06:33:24] 487*2^1122305-1 is not prime. Res64: F84CF0EA3A570082 Time : 0.0 sec. user=vaughan [2012-02-10 06:33:30] 435*2^1122289-1 is not prime. Res64: 914828B9065D8B52 Time : 0.0 sec. user=vaughan [2012-02-10 06:33:31] 489*2^1122289-1 is not prime. Res64: 39F0E9210C035B15 Time : 0.0 sec. user=juhehe [2012-02-10 06:33:37] 451*2^1122299-1 is not prime. Res64: 94EF32061DBD7C87 Time : 0.0 sec. user=vaughan [2012-02-10 06:34:44] 507*2^1122282-1 is not prime. Res64: BB95A607D8A0CDE4 Time : 0.0 sec. user=vaughan [2012-02-10 06:34:44] 537*2^1122282-1 is not prime. Res64: FE9E70F294734AFC Time : 0.0 sec. user=vaughan [2012-02-10 06:34:58] 453*2^1122290-1 is not prime. Res64: 9DFA9D6B306BA913 Time : 0.0 sec. user=vaughan [2012-02-10 06:34:59] 467*2^1122290-1 is not prime. Res64: 38FDA793E24B14EE Time : 0.0 sec. user=vaughan [2012-02-10 06:35:30] 515*2^1122276-1 is not prime. Res64: 12A495B7502FDFA6 Time : 0.0 sec. user=vaughan [2012-02-10 06:35:30] 537*2^1122277-1 is not prime. Res64: 747392E16F8AF02F Time : 0.0 sec. user=vaughan [2012-02-10 06:35:45] 589*2^1122277-1 is not prime. Res64: CF3DA0CD40876065 Time : 0.0 sec. user=vaughan [2012-02-10 06:35:45] 483*2^1122278-1 is not prime. Res64: 75A1803401E60CB0 Time : 0.0 sec. user=vaughan [2012-02-10 06:36:00] 545*2^1122278-1 is not prime. Res64: 9FC701BA6F933BE5 Time : 0.0 sec. user=vaughan [2012-02-10 06:36:01] 573*2^1122278-1 is not prime. Res64: 611565F4F1288F20 Time : 0.0 sec. user=vaughan [2012-02-10 06:36:12] 595*2^1122285-1 is not prime. Res64: E2B9ECFD6338DF7C Time : 0.0 sec. user=vaughan [2012-02-10 06:36:13] 561*2^1122286-1 is not prime. Res64: 5C453CDCAC50B7E3 Time : 0.0 sec. user=vaughan [2012-02-10 06:36:25] 441*2^1122287-1 is not prime. Res64: 74B7498D00ACD74E Time : 0.0 sec. user=vaughan [2012-02-10 06:36:26] 531*2^1122287-1 is not prime. Res64: D7FFB5BBB85A6DA4 Time : 0.0 sec. user=vaughan [2012-02-10 06:36:39] 585*2^1122288-1 is not prime. Res64: F7DD01D30D31484C Time : 0.0 sec. user=vaughan [2012-02-10 06:36:40] 421*2^1122289-1 is not prime. Res64: 34A6FBB2936BD3A8 Time : 0.0 sec. user=vaughan [2012-02-10 06:36:48] 461*2^1122298-1 is not prime. Res64: 35602745282A3E0D Time : 0.0 sec. user=vaughan [2012-02-10 06:36:49] 465*2^1122298-1 is not prime. Res64: 1B254DBACDB9F85A Time : 0.0 sec. user=vaughan [2012-02-10 06:40:05] 455*2^1122294-1 is not prime. Res64: 60619C785627104C Time : 0.0 sec. user=vaughan [2012-02-10 06:40:06] 483*2^1122294-1 is not prime. Res64: 191B11A10BCC7886 Time : 0.0 sec. user=vaughan [2012-02-10 06:40:46] 595*2^1122289-1 is not prime. Res64: 832472DF866428B5 Time : 0.0 sec. user=vaughan [2012-02-10 06:40:46] 417*2^1122290-1 is not prime. Res64: 2E20DFCF51F40063 Time : 0.0 sec. user=vaughan [2012-02-10 06:42:43] 513*2^1122310-1 is not prime. Res64: F2E8DB4D09DB7492 Time : 0.0 sec. user=vaughan [2012-02-10 06:42:43] 561*2^1122310-1 is not prime. Res64: A9495FBF8FFE5943 Time : 0.0 sec. user=vaughan [2012-02-10 06:42:48] 575*2^1122310-1 is not prime. Res64: 2199C45467EF1540 Time : 0.0 sec. user=vaughan [2012-02-10 06:42:49] 421*2^1122311-1 is not prime. Res64: 147F2D4838500EF3 Time : 0.0 sec. user=vaughan [2012-02-10 06:43:41] 513*2^1122294-1 is not prime. Res64: DABDB235C5FB89D5 Time : 0.0 sec. user=vaughan [2012-02-10 06:43:42] 521*2^1122294-1 is not prime. Res64: 7AEEAD0A820C336D Time : 0.0 sec. user=vaughan [2012-02-10 06:46:55] 523*2^1122295-1 is not prime. Res64: 5C070922D7C32018 Time : 0.0 sec. user=vaughan [2012-02-10 06:46:56] 589*2^1122295-1 is not prime. Res64: D15AD3C8A3336F04 Time : 0.0 sec. user=vaughan [2012-02-10 06:47:39] 429*2^1122297-1 is not prime. Res64: 0DD476304D50E33B Time : 0.0 sec. user=vaughan [2012-02-10 06:47:39] 579*2^1122297-1 is not prime. Res64: 38EE0EBF8DB9AD23 Time : 0.0 sec. user=vaughan [2012-02-10 06:47:59] 537*2^1122296-1 is not prime. Res64: B1B7560AA98DE604 Time : 0.0 sec. user=vaughan [2012-02-10 06:48:00] 585*2^1122296-1 is not prime. Res64: EAAFCF0BA3433E81 Time : 0.0 sec. user=vaughan [2012-02-10 06:48:23] 423*2^1122298-1 is not prime. Res64: CD7DDA0302867AED Time : 0.0 sec. user=vaughan [2012-02-10 06:48:23] 453*2^1122298-1 is not prime. Res64: 98FFA8E315381E63 Time : 0.0 sec. user=vaughan [2012-02-10 06:48:41] 499*2^1122301-1 is not prime. Res64: 7A8501EDBA0ACBE3 Time : 0.0 sec. user=vaughan [2012-02-10 06:48:42] 541*2^1122301-1 is not prime. Res64: 76B0BCC9FCED57C0 Time : 0.0 sec. user=vaughan [2012-02-10 06:49:09] 533*2^1122298-1 is not prime. Res64: EAA084C991F5238B Time : 0.0 sec. user=vaughan [2012-02-10 06:49:10] 551*2^1122298-1 is not prime. Res64: EC61D525C7D893DB Time : 0.0 sec. user=vaughan [2012-02-10 06:50:29] 459*2^1122299-1 is not prime. Res64: 7C5DD5D1BD820526 Time : 0.0 sec. user=vaughan [2012-02-10 06:50:30] 429*2^1122300-1 is not prime. Res64: BB59C625059462A8 Time : 0.0 sec. user=vaughan [2012-02-10 06:50:44] 447*2^1122300-1 is not prime. Res64: 20CE5E0D4114C15A Time : 0.0 sec. user=vaughan [2012-02-10 06:50:45] 411*2^1122301-1 is not prime. Res64: 668138FF99B68A67 Time : 0.0 sec. user=vaughan [2012-02-10 06:51:24] 537*2^1122308-1 is not prime. Res64: 74C871B078850802 Time : 0.0 sec. user=vaughan [2012-02-10 06:51:25] 585*2^1122308-1 is not prime. Res64: C2A40F696B90E615 Time : 0.0 sec. user=vaughan [2012-02-10 06:52:21] 553*2^1122303-1 is not prime. Res64: 97DDA81B8BAC61A1 Time : 0.0 sec. user=vaughan [2012-02-10 06:52:22] 591*2^1122303-1 is not prime. Res64: 213B8A538A6FCEFD Time : 0.0 sec. user=vaughan [2012-02-10 06:53:07] 413*2^1122320-1 is not prime. Res64: A8B75CD08170A9D2 Time : 0.0 sec. user=vaughan [2012-02-10 06:53:08] 447*2^1122320-1 is not prime. Res64: AB0BC3C7855F06ED Time : 0.0 sec. user=vaughan [2012-02-10 06:53:12] 557*2^1122320-1 is not prime. Res64: 5DF897637E988F47 Time : 0.0 sec. user=vaughan [2012-02-10 06:53:13] 585*2^1122320-1 is not prime. Res64: 63090B18A392A063 Time : 0.0 sec. user=vaughan [2012-02-10 06:53:16] 485*2^1122306-1 is not prime. Res64: 841A66169884581D Time : 0.0 sec. user=vaughan [2012-02-10 06:53:17] 497*2^1122306-1 is not prime. Res64: F2386B0F0C19FE32 Time : 0.0 sec. user=vaughan [2012-02-10 06:55:29] 585*2^1122311-1 is not prime. Res64: C93E50CFC2277D1B Time : 0.0 sec. user=vaughan [2012-02-10 06:55:29] 591*2^1122311-1 is not prime. Res64: 830B20B952DE8D09 Time : 0.0 sec. user=vaughan [2012-02-10 06:56:20] 471*2^1122313-1 is not prime. Res64: 04F264E2252EE7CC Time : 0.0 sec. user=vaughan [2012-02-10 06:56:20] 585*2^1122314-1 is not prime. Res64: 907C5F89B83425B2 Time : 0.0 sec. user=vaughan [2012-02-10 06:56:30] 503*2^1122306-1 is not prime. Res64: E04F63690E387990 Time : 0.0 sec. user=juhehe [2012-02-10 06:56:30] 465*2^1122321-1 is not prime. Res64: E4BF9B3E6482CD9C Time : 0.0 sec. user=vaughan [2012-02-10 06:56:31] 573*2^1122306-1 is not prime. Res64: CD72FA512A2D2685 Time : 0.0 sec. user=vaughan [2012-02-10 06:56:34] 405*2^1122307-1 is not prime. Res64: 0E5005130D9075C0 Time : 0.0 sec. user=vaughan [2012-02-10 06:56:35] 451*2^1122307-1 is not prime. Res64: B2297CF97D6B2EBD Time : 0.0 sec. user=vaughan [2012-02-10 06:56:39] 463*2^1122307-1 is not prime. Res64: A0F4ABEDD5316113 Time : 0.0 sec. user=vaughan [2012-02-10 06:56:39] 489*2^1122307-1 is not prime. Res64: 72793129C1B4EF43 Time : 0.0 sec. user=vaughan [2012-02-10 06:57:03] 479*2^1122308-1 is not prime. Res64: D29E481D061313A7 Time : 0.0 sec. user=vaughan [2012-02-10 06:57:04] 515*2^1122308-1 is not prime. Res64: BB5D53F7ADD9B3EF Time : 0.0 sec. user=vaughan [2012-02-10 06:57:19] 477*2^1122302-1 is not prime. Res64: 1C2E5153870C3B02 Time : 0.0 sec. user=vaughan [2012-02-10 06:57:20] 587*2^1122302-1 is not prime. Res64: 53994058C67A3803 Time : 0.0 sec. user=vaughan [2012-02-10 06:58:10] 511*2^1122317-1 is not prime. Res64: D502719009EE6B22 Time : 0.0 sec. user=vaughan [2012-02-10 06:58:11] 471*2^1122321-1 is not prime. Res64: A7A33572ADC2420C Time : 0.0 sec. user=vaughan [2012-02-10 06:58:39] 595*2^1122279-1 is not prime. Res64: 01087552F0356670 Time : 0.0 sec. user=vaughan [2012-02-10 06:58:40] 453*2^1122280-1 is not prime. Res64: 7F92B0DC9A3E6A1D Time : 0.0 sec. user=vaughan [2012-02-10 06:58:40] 465*2^1122280-1 is not prime. Res64: 8BD80A6058615719 Time : 0.0 sec. user=vaughan [2012-02-10 06:58:41] 433*2^1122279-1 is not prime. Res64: 49B072123AB1FABB Time : 0.0 sec. user=vaughan [2012-02-10 06:58:41] 531*2^1122279-1 is not prime. Res64: 4DA530B742D62EF9 Time : 0.0 sec. user=vaughan [2012-02-10 06:58:42] 571*2^1122279-1 is not prime. Res64: 675C0FE2E6F18B4A Time : 0.0 sec. user=vaughan [2012-02-10 07:00:02] 511*2^1122281-1 is not prime. Res64: D834BFE28455B5D0 Time : 0.0 sec. user=vaughan [2012-02-10 07:00:04] 537*2^1122281-1 is not prime. Res64: C04137AF6156BF16 Time : 0.0 sec. user=vaughan [2012-02-10 07:00:06] 559*2^1122281-1 is not prime. Res64: 9432723439A18B34 Time : 0.0 sec. user=vaughan [2012-02-10 07:00:21] 489*2^1122317-1 is not prime. Res64: AA1951580D592AC6 Time : 0.0 sec. user=vaughan [2012-02-10 07:01:46] 405*2^1122312-1 is not prime. Res64: C6CAB6F3CA698F99 Time : 0.0 sec. user=vaughan [2012-02-10 07:01:47] 419*2^1122312-1 is not prime. Res64: 4E6349FA8A8A356B Time : 0.0 sec. user=vaughan [2012-02-10 07:02:34] 571*2^1122327-1 is not prime. Res64: C88BCD5F43E5DDE3 Time : 0.0 sec. user=vaughan [2012-02-10 07:02:36] 437*2^1122328-1 is not prime. Res64: 20176F154397ECFA Time : 0.0 sec. user=vaughan [2012-02-10 07:02:37] 459*2^1122329-1 is not prime. Res64: 85959D4465D47504 Time : 0.0 sec. user=vaughan [2012-02-10 07:02:38] 481*2^1122329-1 is not prime. Res64: 60B9FDA387A98622 Time : 0.0 sec. user=vaughan [2012-02-10 07:02:45] 411*2^1122315-1 is not prime. Res64: 0BF804D81CF71FF7 Time : 0.0 sec. user=vaughan [2012-02-10 07:02:46] 415*2^1122315-1 is not prime. Res64: 10D5561E203D599F Time : 0.0 sec. user=vaughan [2012-02-10 07:02:55] 589*2^1122325-1 is not prime. Res64: 57F5F4DF1CB7B0D6 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:03] 411*2^1122325-1 is not prime. Res64: 07C84334716CF965 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:07] 531*2^1122311-1 is not prime. Res64: 74992904EC94BE25 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:08] 579*2^1122311-1 is not prime. Res64: D352B3BCC71063A8 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:13] 537*2^1122329-1 is not prime. Res64: 70C8A952B4F379BC Time : 0.0 sec. user=vaughan [2012-02-10 07:03:25] 481*2^1122325-1 is not prime. Res64: B118D34EEEB96526 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:38] 553*2^1122315-1 is not prime. Res64: 328D00F689AF76E9 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:38] 583*2^1122315-1 is not prime. Res64: 96FF6D94D00A5044 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:47] 413*2^1122316-1 is not prime. Res64: 02219AC976DF19B2 Time : 0.0 sec. user=vaughan [2012-02-10 07:03:49] 469*2^1122317-1 is not prime. Res64: AC9E0BC311B348BF Time : 0.0 sec. user=vaughan [2012-02-10 07:04:06] 573*2^1121816-1 is not prime. Res64: 1648730B016CB008 Time : 0.0 sec. user=vaughan [2012-02-10 07:04:13] 567*2^1122326-1 is not prime. Res64: 2180F2332F6D3BF9 Time : 0.0 sec. user=vaughan [2012-02-10 07:04:16] 423*2^1122327-1 is not prime. Res64: 0AAB42995462A500 Time : 0.0 sec. user=vaughan [2012-02-10 07:04:48] 565*2^1122337-1 is not prime. Res64: 367AF307155A6BCD Time : 0.0 sec. user=vaughan [2012-02-10 07:05:00] 505*2^1122337-1 is not prime. Res64: 73D0E04EFC79B404 Time : 0.0 sec. user=vaughan [2012-02-10 07:05:43] 513*2^1121118-1 is not prime. Res64: 74B7166E8D47BB3B Time : 0.0 sec. user=vaughan [2012-02-10 07:05:52] 437*2^1121116-1 is not prime. Res64: 195A7C6657AEA126 Time : 0.0 sec. user=vaughan [2012-02-10 07:06:42] 405*2^1122321-1 is not prime. Res64: BC580FD7A32D9A78 Time : 0.0 sec. user=vaughan [2012-02-10 07:06:43] 427*2^1122321-1 is not prime. Res64: DA5C76D9BA7EB549 Time : 0.0 sec. user=vaughan [2012-02-10 07:08:09] 577*2^1122321-1 is not prime. Res64: 2FA50EB063C84551 Time : 0.0 sec. user=vaughan [2012-02-10 07:08:11] 467*2^1122322-1 is not prime. Res64: 2DDBEAA06A3CED34 Time : 0.0 sec. user=vaughan [2012-02-10 07:08:31] 585*2^1122312-1 is not prime. Res64: 7BAB9C56416B5F47 Time : 0.0 sec. user=vaughan [2012-02-10 07:08:32] 411*2^1122313-1 is not prime. Res64: D58AC8782CE91E78 Time : 0.0 sec. user=vaughan [2012-02-10 07:09:33] 405*2^1122296-1 is not prime. Res64: 4BA342401C61FB1E Time : 0.0 sec. user=vaughan [2012-02-10 07:09:34] 425*2^1122296-1 is not prime. Res64: 11F844DDDC52A205 Time : 0.0 sec. user=vaughan [2012-02-10 07:09:37] 429*2^1122315-1 is not prime. Res64: AD7CBA7A85203FDE Time : 0.0 sec. user=vaughan [2012-02-10 07:09:39] 481*2^1122315-1 is not prime. Res64: 47EF573C69F68F1E Time : 0.0 sec. user=vaughan [2012-02-10 07:10:46] 465*2^1122339-1 is not prime. Res64: 77408CE8BAE62442 Time : 0.0 sec. user=vaughan [2012-02-10 07:10:54] 545*2^1122338-1 is not prime. Res64: 01C6CED31DB796E9 Time : 0.0 sec. user=vaughan [2012-02-10 07:13:15] 469*2^1122327-1 is not prime. Res64: 980EB3161D490061 Time : 0.0 sec. user=vaughan [2012-02-10 07:13:16] 501*2^1122327-1 is not prime. Res64: 74C62DE68A3481DE Time : 0.0 sec. user=vaughan [2012-02-10 07:13:17] 423*2^1122335-1 is not prime. Res64: CB8D6413FD143497 Time : 0.0 sec. user=vaughan [2012-02-10 07:13:44] 561*2^1122305-1 is not prime. Res64: 0B834C57039FF33F Time : 0.0 sec. user=vaughan [2012-02-10 07:13:45] 589*2^1122305-1 is not prime. Res64: 9FA4E36D17B10115 Time : 0.0 sec. user=vaughan [2012-02-10 07:14:30] 465*2^1122306-1 is not prime. Res64: C98A6474D6FF1311 Time : 0.0 sec. user=vaughan [2012-02-10 07:14:31] 471*2^1122306-1 is not prime. Res64: 047AA55270C04A76 Time : 0.0 sec. user=vaughan [2012-02-10 07:15:57] 523*2^1122327-1 is not prime. Res64: 9B200501DC9586A4 Time : 0.0 sec. user=vaughan [2012-02-10 07:16:22] 519*2^1121827-1 is not prime. Res64: C71975C716318215 Time : 0.0 sec. user=vaughan [2012-02-10 07:16:23] 439*2^1121829-1 is not prime. Res64: 70C67B2F3EAA4366 Time : 0.0 sec. user=vaughan [2012-02-10 07:17:13] 429*2^1122340-1 is not prime. Res64: 199AD401621A316E Time : 0.0 sec. user=vaughan [2012-02-10 07:17:13] 451*2^1122309-1 is not prime. Res64: 23B299BD36DE219E Time : 0.0 sec. user=vaughan [2012-02-10 07:17:14] 455*2^1122310-1 is not prime. Res64: 4953026548B3EB16 Time : 0.0 sec. user=vaughan [2012-02-10 07:17:20] 535*2^1122331-1 is not prime. Res64: 2087FDE82960E7B4 Time : 0.0 sec. user=vaughan [2012-02-10 07:17:28] 563*2^1122340-1 is not prime. Res64: 351F4E2E4F1A39D7 Time : 0.0 sec. user=vaughan [2012-02-10 07:17:42] 525*2^1122341-1 is not prime. Res64: FEA097B19034831A Time : 0.0 sec. user=juhehe [2012-02-10 07:19:24] 595*2^1122339-1 is not prime. Res64: 5272E4C2EC479B25 Time : 0.0 sec. user=vaughan [2012-02-10 07:19:49] 581*2^1122322-1 is not prime. Res64: 5FEC0FE711AC9A68 Time : 0.0 sec. user=vaughan [2012-02-10 07:19:50] 593*2^1122322-1 is not prime. Res64: 9E33ECBE1A9FF541 Time : 0.0 sec. user=vaughan [2012-02-10 07:20:08] 505*2^1122323-1 is not prime. Res64: 67262440357553D9 Time : 0.0 sec. user=vaughan [2012-02-10 07:20:09] 523*2^1122323-1 is not prime. Res64: F3C479FEDD8FB298 Time : 0.0 sec. user=vaughan [2012-02-10 07:20:21] 549*2^1122324-1 is not prime. Res64: B31816EC9692F807 Time : 0.0 sec. user=vaughan [2012-02-10 07:20:22] 569*2^1122324-1 is not prime. Res64: 57F1D657B7280E57 Time : 0.0 sec. user=vaughan [2012-02-10 07:21:56] 507*2^1122317-1 is not prime. Res64: AFEEBD53201F62BC Time : 0.0 sec. user=vaughan [2012-02-10 07:41:42] 423*2^1122344-1 is not prime. Res64: E947D66D317BB53D Time : 0.0 sec. user=vaughan [2012-02-10 07:41:43] 409*2^1122345-1 is not prime. Res64: C4511452B15DF0BE Time : 0.0 sec. user=juhehe [2012-02-10 07:42:12] 549*2^1122361-1 is not prime. Res64: CC605F3F0509B97D Time : 0.0 sec. user=vaughan [2012-02-10 07:44:25] 585*2^1122360-1 is not prime. Res64: 6636CBC0305BBF07 Time : 0.0 sec. user=vaughan [2012-02-10 07:44:35] 447*2^1122360-1 is not prime. Res64: A966F7BAD2747BF6 Time : 0.0 sec. user=vaughan [2012-02-10 07:46:23] 489*2^1122361-1 is not prime. Res64: B438BF550D06BB89 Time : 0.0 sec. user=vaughan [2012-02-10 07:46:58] 511*2^1122365-1 is not prime. Res64: 29387F1BF82015CA Time : 0.0 sec. user=vaughan [2012-02-10 07:46:59] 413*2^1122366-1 is not prime. Res64: 74E981A2FD53488C Time : 0.0 sec. user=vaughan [2012-02-10 08:04:13] 407*2^1122362-1 is not prime. Res64: 33806328FFBE29A6 Time : 0.0 sec. user=vaughan [2012-02-10 08:04:14] 417*2^1122362-1 is not prime. Res64: B5D4B9301336169C Time : 0.0 sec. user=vaughan [2012-02-10 08:04:34] 411*2^1122363-1 is not prime. Res64: BB353AFEA6B98849 Time : 0.0 sec. user=vaughan [2012-02-10 08:04:35] 497*2^1122364-1 is not prime. Res64: 9AF52A9AB5EDED28 Time : 0.0 sec. user=vaughan [2012-02-10 08:04:42] 481*2^1122365-1 is not prime. Res64: 0DEB89527B473573 Time : 0.0 sec. user=vaughan [2012-02-10 08:04:44] 495*2^1122365-1 is not prime. Res64: 81B71887FEA44554 Time : 0.0 sec. user=juhehe [2012-02-10 08:05:07] 503*2^1122366-1 is not prime. Res64: 76EB21B4D6AA759F Time : 0.0 sec. user=vaughan [2012-02-10 08:12:01] 537*2^1122366-1 is not prime. Res64: ED3118FB9D8F8039 Time : 0.0 sec. user=vaughan [2012-02-10 08:12:04] 581*2^1122366-1 is not prime. Res64: 1BCDBD8C4C524048 Time : 0.0 sec. user=vaughan [2012-02-10 08:26:26] 447*2^1122366-1 is not prime. Res64: AC8EB0EF58364ABD Time : 0.0 sec. user=vaughan [2012-02-10 08:26:27] 455*2^1122366-1 is not prime. Res64: E7F529DAF250E5E9 Time : 0.0 sec. user=juhehe [2012-02-10 08:28:01] 479*2^1122368-1 is not prime. Res64: AA9F43B69AEA3FA6 Time : 0.0 sec. user=vaughan [2012-02-10 08:37:09] 489*2^1122368-1 is not prime. Res64: F66F9EDF0C1C1807 Time : 0.0 sec. user=vaughan [2012-02-10 08:37:11] 539*2^1122368-1 is not prime. Res64: 7DABB0E908669639 Time : 0.0 sec. user=vaughan [2012-02-10 08:48:49] 405*2^1122367-1 is not prime. Res64: C7ADEA40D50EDC1B Time : 0.0 sec. user=vaughan [2012-02-10 08:48:50] 433*2^1122367-1 is not prime. Res64: 3B98D52B271A3C38 Time : 0.0 sec. user=vaughan [2012-02-10 08:49:06] 523*2^1122367-1 is not prime. Res64: 3B8A212892C271F2 Time : 0.0 sec. user=vaughan [2012-02-10 08:49:07] 549*2^1122367-1 is not prime. Res64: BB75EF24C576D133 Time : 0.0 sec. user=vaughan [2012-02-10 08:49:15] 579*2^1122367-1 is not prime. Res64: 3B30B76E763B878F Time : 0.0 sec. user=vaughan [2012-02-10 08:49:15] 435*2^1122368-1 is not prime. Res64: 159CF39E7037196D Time : 0.0 sec. user=juhehe [2012-02-10 08:51:21] 507*2^1122369-1 is not prime. Res64: DFAE356A8195B9F2 Time : 0.0 sec. user=vaughan [2012-02-10 09:02:13] 535*2^1122369-1 is not prime. Res64: 51D6CD2DDB466CAB Time : 0.0 sec. user=vaughan [2012-02-10 09:02:14] 595*2^1122369-1 is not prime. Res64: A4FD4F225FAF2465 Time : 0.0 sec. user=vaughan [2012-02-10 09:10:57] 585*2^1122368-1 is not prime. Res64: 08796369A2CD4416 Time : 0.0 sec. user=vaughan [2012-02-10 09:10:58] 459*2^1122369-1 is not prime. Res64: D49E5E38074AD124 Time : 0.0 sec. user=juhehe [2012-02-10 09:15:09] 511*2^1122371-1 is not prime. Res64: 9AEFCFD3B98B1C8C Time : 0.0 sec. user=vaughan [2012-02-10 09:33:06] 527*2^1121394-1 is not prime. Res64: E124793B62B15F47 Time : 0.0 sec. user=vaughan [2012-02-10 09:33:07] 587*2^1121394-1 is not prime. Res64: D776BBDE712DABE0 Time : 0.0 sec. user=vaughan [2012-02-10 09:33:28] 437*2^1122370-1 is not prime. Res64: 56EC1692A2EDF20D Time : 0.0 sec. user=vaughan [2012-02-10 09:33:29] 467*2^1122370-1 is not prime. Res64: B315AA52B16A0B98 Time : 0.0 sec. user=vaughan [2012-02-10 09:33:34] 581*2^1122370-1 is not prime. Res64: 797F199E64344BD7 Time : 0.0 sec. user=vaughan [2012-02-10 09:33:35] 451*2^1122371-1 is not prime. Res64: 5E74CB101F562605 Time : 0.0 sec. user=juhehe [2012-02-10 09:39:06] 539*2^1122372-1 is not prime. Res64: 1866923AB0080578 Time : 0.0 sec. user=vaughan [2012-02-10 09:55:21] 579*2^1122371-1 is not prime. Res64: 5E9DDFF5C21B5216 Time : 0.0 sec. user=vaughan [2012-02-10 09:55:22] 513*2^1122372-1 is not prime. Res64: 27A8F8E13BAAEEBB Time : 0.0 sec. user=juhehe [2012-02-10 10:03:05] 523*2^1122375-1 is not prime. Res64: 017323223F933E7F Time : 0.0 sec. user=vaughan [2012-02-10 10:17:29] 545*2^1122372-1 is not prime. Res64: 9EB0EB6097D4E4FC Time : 0.0 sec. user=vaughan [2012-02-10 10:17:30] 569*2^1122372-1 is not prime. Res64: 196F7B550F9BBF01 Time : 0.0 sec. user=vaughan [2012-02-10 10:17:51] 555*2^1122373-1 is not prime. Res64: A4206DD7C169B090 Time : 0.0 sec. user=vaughan [2012-02-10 10:17:52] 425*2^1122374-1 is not prime. Res64: 6BEE4A6A95B5B296 Time : 0.0 sec. user=vaughan [2012-02-10 10:17:55] 495*2^1122374-1 is not prime. Res64: B5F5523DF7F344D9 Time : 0.0 sec. user=vaughan [2012-02-10 10:17:56] 445*2^1122375-1 is not prime. Res64: EB7A0834C72814DA Time : 0.0 sec. user=vaughan [2012-02-10 10:19:55] 413*2^1122376-1 is not prime. Res64: 1C6E97EC9A3A21DC Time : 0.0 sec. user=juhehe [2012-02-10 10:29:35] 479*2^1122376-1 is not prime. Res64: 3F2FFAAC78EA42D5 Time : 0.0 sec. user=juhehe [2012-02-10 10:52:32] 537*2^1122377-1 is not prime. Res64: 9518C6A7682147CF Time : 0.0 sec. user=juhehe [2012-02-10 11:15:30] 413*2^1122378-1 is not prime. Res64: 4014A8CE6F401BA6 Time : 0.0 sec. user=juhehe [2012-02-10 11:38:23] 431*2^1122378-1 is not prime. Res64: 0DB0BF387656CD7A Time : 0.0 sec. user=juhehe [2012-02-10 12:01:18] 471*2^1122378-1 is not prime. Res64: F5832CF3C9F40EF5 Time : 0.0 sec. user=juhehe [2012-02-10 12:24:19] 451*2^1122379-1 is not prime. Res64: DDCE381B7771DD5E Time : 0.0 sec. user=juhehe [2012-02-10 12:47:09] 589*2^1122379-1 is not prime. Res64: 9D04BE211F693279 Time : 0.0 sec. user=juhehe [2012-02-10 13:10:06] 519*2^1122380-1 is not prime. Res64: 99F8474E831FB5EE Time : 0.0 sec. user=juhehe [2012-02-10 13:33:10] 471*2^1122381-1 is not prime. Res64: 323E23D490BCC680 Time : 0.0 sec. user=juhehe [2012-02-10 13:56:08] 549*2^1122381-1 is not prime. Res64: DDF9D9845705F7C9 Time : 0.0 sec. user=juhehe [2012-02-10 14:19:00] 461*2^1122382-1 is not prime. Res64: A005583816C0D1A7 Time : 0.0 sec. user=juhehe [2012-02-10 14:41:55] 533*2^1122382-1 is not prime. Res64: FF61BC6E6C36BC5F Time : 0.0 sec. user=juhehe [2012-02-10 15:04:49] 555*2^1122382-1 is not prime. Res64: 6FEC388FA74189D0 Time : 0.0 sec. user=juhehe [2012-02-10 15:27:52] 433*2^1122383-1 is not prime. Res64: 7368E236529911A9 Time : 0.0 sec. user=juhehe [2012-02-10 15:50:50] 595*2^1122383-1 is not prime. Res64: 63EEB6ADFE97991C Time : 0.0 sec. user=juhehe [2012-02-10 16:13:46] 413*2^1122384-1 is not prime. Res64: 841D2612BE38537C Time : 0.0 sec. user=juhehe [2012-02-10 19:31:34] 425*2^1121858-1 is not prime. Res64: 8584C2E3E15CCF19 Time : 0.0 sec. user=juhehe [2012-02-10 19:59:57] 525*2^1122384-1 is not prime. Res64: C7A6CCB644C6A8DE Time : 0.0 sec. user=juhehe [2012-02-10 20:28:25] 489*2^1122385-1 is not prime. Res64: 553E055B5CA1E472 Time : 0.0 sec. user=juhehe [2012-02-10 20:56:49] 417*2^1122386-1 is not prime. Res64: DD3062AB31686EA7 Time : 0.0 sec. user=juhehe [2012-02-10 21:25:11] 593*2^1122386-1 is not prime. Res64: 522333FD0DCC628D Time : 0.0 sec. user=juhehe [2012-02-10 21:53:34] 439*2^1122387-1 is not prime. Res64: 458902A4F67547F3 Time : 0.0 sec. user=juhehe [2012-02-10 22:21:54] 513*2^1122387-1 is not prime. Res64: C967E1D551234E24 Time : 0.0 sec. user=juhehe [2012-02-10 22:50:15] 553*2^1122387-1 is not prime. Res64: 3C82FD2CF4D67095 Time : 0.0 sec. user=juhehe [2012-02-10 23:18:37] 565*2^1122387-1 is not prime. Res64: F632C391187B1CBB Time : 0.0 sec. user=juhehe [2012-02-10 23:46:59] 489*2^1122388-1 is not prime. Res64: 43C152A166F99994 Time : 0.0 sec.