import Ġorg . mm 0 . kt .* Ċ Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ ĊĠĠĠ Ġval Ġfile Ġ= Ġargs [ 1 ] ĊĠĠĠ Ġval Ġpath Ġ= Ġfile . substring ( 0 , Ġfile . lastIndexOf ('. ')) ĊĠĠĠ Ġproof Check ( path ) Ċ }