00**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##x1##**x1**x11$1111#12111121101211*121100**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x100**x11x100**x111x111**x1#x111**x1##x111**x10##x111**x100##x1##00x1#x1##00x1##x1##00x10##x1##00x100##x1##11x1#x1##11x1##x1##11x11##x1##11x111##x1true1#11111010101$101#11111010101*11111**x1##x111**x10##x111**x100##x1##00x1##x1##00x10##x1##00x100##x1##11x1##x1##11x11##x1##11x111##x100**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1##11x1##x1##00x1##x1##11x11##x111**x1##x1##11x111##x1true1#1211101$101#10111210121*10111**x1##x100**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x111**x1##x1false11**x100##x1false11**x10##x1false##00x100##x1false##00x10##x1false