the cycle track is tagged on the main road > https://www.openstreetmap.org/way/128988776
if you want you can map the cycleway separately ... do you know how to do that? whatch out for the cycle route relations (!)