stdout@":"0(6+3r2<.@*])^:(<46)8