vector-partition Shiro Kawai 05 Jun 2017 22:01 UTC