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