File standardInput readLines map($,($asNumber*8*1atan)abs asString(0,3)println)