Prokopskodolská variace 9,5 km