[out:json][timeout:425];
(
node(13202522801);
way(402784184);
way(1432024290);
way(1432024291);
);
(._;>;);
out body;