00**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##x1##**x1**x100**x111x100**x11x111**x100##x111**x10##x111**x1##x111**x1#x1##00x100##x1##00x10##x1##00x1##x1##00x1#x1##11x111##x1##11x11##x1##11x1##x1##11x1#x1true101110111*111111111111#1111#1111$1011**x100##x111**x10##x111**x1##x1##00x100##x1##00x10##x1##00x1##x1##11x111##x1##11x11##x1##11x1##x111**x1##x1##00x1##x1##11x111##x1##11x11##x1##11x1##x1true123411111111111*111#111#11101111$10##11x111##x1##11x111##x1false11**x100##x1false11**x10##x1false##00x100##x1false##00x10##x1false