00**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##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#11101141101411$1212#11101141101411*111000**x111x111**x100##x1##00x100##x1##11x111##x100**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##x1##**x1**x1##00x100##x1false##11x111##x1false11**x100##x100**x111x1true11121501110$1010#12141111001110*131300**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##x1##**x1**x1