printf "[%s]",
  join ",",
     map substr($_, 10),
        sort
           map($_->[5].$json->encode($_), @$ary1),
           map($_->[4].$json->encode($_), @$ary2);