baf629b2e36c0db0531f9d9534eb72d1ab1486c1
-rw-r--r-- 804 b10.in
-rw-r--r-- 12267 b10r.out
-rwxr-xr-x 16 run