package Ġio . kot est . property . exhaustive Ċ Ċ import Ġio . kot est . property . Ex haustive Ċ Ċ fun ĠEx haustive . Companion . az string ( range : ĠInt Range ): ĠEx haustive < String > Ġ{ ĊĠĠ Ġfun Ġaz () Ġ= Ġ(' a ' .. ' z '). map Ġ{ Ġit . toString () Ġ} ĊĠĠ Ġval Ġvalues Ġ= Ġrange . toList (). flatMap Ġ{ Ġsize Ġ-> ĊĠĠĠĠĠ ĠList ( size ) Ġ{ Ġaz () Ġ}. reduce Ġ{ Ġacc , Ġseq Ġ-> Ġacc . zip ( seq ). map Ġ{ Ġ( a , Ġb ) Ġ-> Ġa Ġ+ Ġb Ġ} Ġ} ĊĠĠ Ġ} ĊĠĠ Ġreturn Ġvalues . exhaustive () Ċ } Ċ