{-
Testable codes:
["0","01","10"] -- Dup: 010
["0110","00","111","001100","110"] -- Dup: 001100110
["1","001","0001","00000000000000000001","10000000000000000000"]
 -- Dup: 100000000000000000001
-}