let
exLearn k =
let
temp = str ex k 0
in
"{"
^(
String
.sub temp 0 ((
String
.length temp)-2))^
"}"