i=257;main(){for(setlocale(0,"C.UTF-8");putwchar(--i%150-10?i-(i>>8?5:i-13?i<10:3):32););}