まとめ：ユーザー名のチェック

入力を1行読み込みます。これは候補となるユーザー名です。両端の空白を削除（トリミング）し、小文字に変換した後、以下の条件をすべて満たす場合、そのユーザー名は有効です。

• 長さが 3 文字以上 16 文字以下であること（両端を含む）
• （トリミング後）スペースを含まないこと
• 数字で始まらないこと
• !、?、または . を含まないこと

有効な場合は ok: <cleaned> （ここで cleaned はトリミングされ小文字化されたもの）を、そうでない場合は bad を出力してください。

入力が Alice42 の場合、出力は ok: alice42 となります。