[0,2,12,13,112,113,114,115,232,233,234,235,236, 237,238,239,3840,3841,3842,3843,3844,3845,3846, 3847,3848,3849,3850,3851,3852,3853,3854,3855,7712, 7713,7714,7715]