package Ġorg . jetbrains . research . ml . kotlin Analysis . data Ċ Ċ fun Ġa ( value : ĠInt , Ġchar Value : ĠString ) Ġ{ ĊĠĠĠ Ġrequire ( value Ġin Ġ 1 Ġuntil Ġ 1 0 ) ĊĊĠĠĠ Ġrequire ( char Value Ġin Ġ" b ". range To (" e ")) Ċ } Ċ