12,+{3+:^).9/+.2/7%65+\2%3*32+32...2^12-1?*?220*3-7?+`7<n}%