File standardInput readLines map(x,x=x asNumber;a:=402408;while(0