シーク教徒 髪の毛長さ. Lean mathlib search.

Kook as in crazy. Via ferrata slovenia hike.