1 sort bitvec 32 3 input 1