((0&1&2&3&4)|(5&6&7&8)|((9|10)&11&12&13))
((0&1&2)&(3=0))
((0&1&2)&(3|4|5|6|7|8|9|10|11|12|13|14|15))
((0&1&2)|3|4|5)
((0&1)|(1&0))
((0&1)|(2&3))
((0&1)|(2&3))&(4|5)&6
((0&1)|2|3|4)>1,3
((0&1)|2|3|4|5)
((0&2=0&3=0)|1)
((0)&(1=0)&(2=0))
((0)&(1=2)|(2=2))
((0)&1)
((0)|(1&2)|(4&(3|5)))
((0=1)&1)
((0>100)&(1>50))|(2>25)
((0>2)&(1>2)&2)
((0>2)&1&(2>10))
((0>2)&1&2&(3>1)&(4>1))
((0>5)&1&2&3)
((0|1)&(2|3))
((0|1)&2&3)
((0|1)&2)
((0|1)&2)|3|(4&5)
((0|1)=2|(0|2)=2)&(3|4|5|6)
((0|1)>1)&2
((0|1|2)&3&(4=3)&(5>100)&(6=5))
((0|1|2)&3&4&5&6&7)
((0|1|2)&3)
((0|1|2)>2,2)&3
((0|1|2)>2,2)&3&4
((0|1|2|3)&4&5&6)
((0|1|2|3|4)&(5|6|7|8|9|10|11|12|13|14|15))|(16&17&18&19&20)
((0|1|2|3|4)&5)
((0|1|2|3|4)>3,3)&((5|6|7|8)>2,2)&(9|10|11|12|13|14|15|16)>4,4
((0|1|2|3|4)>3,3)&((5|6|7|8|9|10)>4,4)
((0|1|2|3|4|5|6)>0,3)
((0|1|2|3|4|5|6)>2,3)&((7|8|9)>3)
((0|1|2|3|4|5|6|7)>3,3)&(8>10)&(9|10|11|12|13|14|15|16|17)>4,4
((0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|22|23)>5,5)
((0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|22|23|24|25)>2,3)|26|27
(0&((1&2&3&4)|(5&6&7&8&9)))
(0&((1&2&3)|(4&5)))
(0&(1=0)&(2=0))
(0&(1=2)&2)
(0&(1>2)&(2>10))
(0&(1>20)&2)
(0&(1>5)&2)
(0&(1|2)&(3&4&5&6&7))
(0&(1|2)&(3|4)&5)
(0&(1|2))
(0&(1|2))|((3|4)&(5|6)&(7&8))
(0&(1|2))|(3&4)
(0&(1|2|3)&(4|7)&5&6)
(0&(1|2|3)&4&5&6)
(0&(1|2|3))
(0&(1|2|3)>1,2)&4&5&6&7
(0&(1|2|3|4|5|6))
(0&(1|2|3|4|5|6|7))|((1|2|3|4|5|6|7)>4,4)|(8&(1|2|3|4|5|6|7)>1,1)
(0&(1|2|3|4|5|6|7))|8
(0&1&((2&3)|(4&5)|(6&7)))
(0&1&(2=2)&(3>20)&(4>8))
(0&1&(2=3)&(3=2)&(4>1))
(0&1&(2>2)&(3=2)&(4=2))
(0&1&(2>5))
(0&1&(2|3)&4&5)
(0&1&(2|3))
(0&1&(2|3))|(4&5&6)|(7&8)
(0&1&(2|3))|4|5|6|7|8
(0&1&(2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17))
(0&1&2&(3=0))
(0&1&2&(3=2)&(4=2)&(5=2)&(6=2)&(7=2)&(8>3))
(0&1&2&(3=2))
(0&1&2&(3>1)&4&5)
(0&1&2&(3>100))
(0&1&2&(3>4)&(4>150))
(0&1&2&(3>5)&(4>5))
(0&1&2&(3|4)&(5|6|7|8|9))
(0&1&2&(3|4))
(0&1&2&(3|4|5)&6)
(0&1&2&3&(4=0))
(0&1&2&3&(4>2)&(5>2))
(0&1&2&3&(4>5)&(5>1))
(0&1&2&3&(4>5)&(5|(6&7)))
(0&1&2&3&4&(5|6)&(7>15))
(0&1&2&3&4&(5|6)&(7|8)&(9|10))
(0&1&2&3&4&5&(6>4)&(7>10)&(8>5)&(9=2)&10&11&12)
(0&1&2&3&4&5&(6|7)&(8|9))
(0&1&2&3&4&5&6&(7>5)&(8==9))
(0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29&30&31&32&33&34&35&36&37&38&39&40&41)
(0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29&30&31&32&33)
(0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19)
(0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15)
(0&1&2&3&4&5&6&7&8&9&10)
(0&1&2&3&4&5&6&7&8&9)
(0&1&2&3&4&5&6&7&8)
(0&1&2&3&4&5&6&7)
(0&1&2&3&4&5&6&7)|((8|9)&10&11&12&13&14&15&16&17&18&19)|((8|9)&20&21&22&23&24&25&26)|((27|28)&29&30&31&32&33&34)|((27|28)&35&36&37&38)
(0&1&2&3&4&5&6&7)|(8&9)
(0&1&2&3&4&5&6)
(0&1&2&3&4&5)
(0&1&2&3&4&5)&(6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|23|22|24|25|26|27|28|29|30)
(0&1&2&3&4&5)|(6&7&8&9&10&11)
(0&1&2&3&4&5)|(6&7&8)
(0&1&2&3&4&5)|(6&7&8)|9|10
(0&1&2&3&4)
(0&1&2&3&4)&((5&6&7)|(8&9&10))
(0&1&2&3&4)>2,3&5&6
(0&1&2&3&4)|((5|6)&(7&8&9&10))
(0&1&2&3&4)|(5&6&7&8&9)|(10&11&12&13)
(0&1&2&3&4)|(5&6&7&8)
(0&1&2&3&4)|(5&6&7)
(0&1&2&3&4)|(5&6>4&7)
(0&1&2&3)
(0&1&2&3)&(4|5|6|7|8|9|10|11|12|13|14|15|16|17)>3,4
(0&1&2&3)>30,4|4>4
(0&1&2&3)|(4&5&6&7&8)
(0&1&2&3)|(4&5&6&7)
(0&1&2&3)|(4&5&6)
(0&1&2&3)|(4&5)
(0&1&2&3)|(4&5>3&6)
(0&1&2&3)|4
(0&1&2&3)|4|5|(6&7&8&9&10&11)
(0&1&2&3=0&4=0&5=0&6=0&7=0)
(0&1&2&3i)|4
(0&1&2)
(0&1&2)&((3&4)|(5&6))
(0&1&2)&((3&6)|(4&5))
(0&1&2)&(3=0)
(0&1&2)&(3|4|5)
(0&1&2)|((3>100)&(4>100))
(0&1&2)|((3|4)&5&6)
(0&1&2)|(0&3)|(0&4)
(0&1&2)|(3&4&5&6&7)
(0&1&2)|(3&4&5)
(0&1&2)|(3&4&5)|(6&7)
(0&1&2)|(3&4)
(0&1&2)|(3&4)|(5&6&7)
(0&1&2)|3
(0&1&2)|3&(4|5)
(0&1&2)|3|4
(0&1&2)|3|4|5
(0&1&2=0&3&4)
(0&1&2=0&3)
(0&1&2=0)
(0&1&2=2&3)
(0&1&7)|2|3|(4&5&6&8)
(0&1)
(0&1)&((2&3&4)|((5|6)&(7|8)))
(0&1)&(2|(3&4&5))
(0&1)&(2|3)
(0&1)&(2|3)&(4=0)&(5=0)&(6=0)&(7=0)&(8=0)
(0&1)&(2|3|4|5)
(0&1)&(6|((2|3)&4&5))
(0&1)|(1&2)|(0&2)|3
(0&1)|(2&(3|4))
(0&1)|(2&(3|4|5))
(0&1)|(2&3&4&5&6&7)
(0&1)|(2&3&4)
(0&1)|(2&3&4)|(5&6&7)
(0&1)|(2&3)
(0&1)|(2&3)|(4&5)
(0&1)|(2&3)|(4&5)|(6&7&8)
(0&1)|(2&3)|(4&5)|(6&7)
(0&1)|(2&3)|4|5
(0&1)|2
(0&1)|2|3
(0&1)|2|3|4|5|6|(7&8)|(9&10)
(0&1=0)|(2&3=0)
(0&1>11|2)&3&4
(0&1>2&2)|(3&4&5&6)
(0&1>500&2>500)
(0&1|2)
(0&2&3&4)|(1&2&3&4)
(0&3)|(1&2&3)
(0)
(0)&(1&2&3&4)
(0)&(1)
(0)&(1=0)&(2=0)
(0)&(1|2)
(0=0)&1&(2=0)
(0=1)&(1=1)&(2=1)
(0=1)&(1=1)&(2=1)&((3=2)|(4=2))&(5=1)&((6=1)|(7=1))&8&9
(0=1)&(1=1)&(2=1)&(3=1)&(4=1)&(5>15)
(0=1)&(1=1)&(2>2)&(3=1)&4
(0=1)&(1=2)&(2>2500)
(0=1)&(1>20)&(2>20)&3
(0=1)&(1>50)&(2>10)&(3>300)&(4>100)
(0=11&1=6)
(0=2)&(1=1)&(2=1)&(3=1)
(0=2)&1&2
(0=2)&1&2&3
(0=2|1=2)
(0=5)&1&2&3
(0>1)&(1>1)&(2>65)&(3>10)&(4>10)&(5>10)&(6>10)
(0>1)&(1>1)&2&3&4&5&(6|7)
(0>1)&(1>10)
(0>1)&(1>10)&((2&3)>3)
(0>1)&1
(0>10&1&2&3&4)
(0>10)&(1=2)&2
(0>10)&(1>1)&2&3
(0>10)&(1>10)
(0>10)&(1>2)&(2>1)&(3>1)&(4>3)
(0>10)&(1>30)&(2>750)&(3>5)
(0>10)&1&2
(0>10)|((1|2|3|4|5|6|7|8|9|10|11)>2,3)|12
(0>100)&(1>100)&(2>100)&(3>250)
(0>14)&(1>6)&(2>14)&3&4&5&(6>1)&7
(0>15)&(1>1)&2
(0>2)&(1>2)&(2=1)
(0>2)&(1>2)&(2|3|4|5|6|7|8)
(0>2)&(1>2)&2
(0>2)&(1>3)&(2>10)
(0>2)&(1>3)&2
(0>2)&(1>6)&(2>20)&(3>8)&(4>8)&(5>8)&(6>8)&(7>8)
(0>2)&(1|(2>2)|(3>2))&4&5&6&7&8
(0>2)&1
(0>2)&1&(2>2)
(0>2)&1&(2|3)
(0>2)&1&2&3&4
(0>20)&(1>20)&2
(0>20)&1
(0>20)&1&2
(0>25)&(1=0)
(0>3)&(1>1)&(2>1)&3
(0>3)&(1>3)&(2>3)
(0>3)&(1|2|3|4|5|6|7)
(0>3)&1
(0>3)&1&((2=1)|(3=1))&4
(0>3)&1&2
(0>30)
(0>300)&1&2&3
(0>35)&(1>5)
(0>35)&1&2
(0>4)&(1>1)&(2>4)
(0>4)&1
(0>5)
(0>5)&(1>5)&(2>5)
(0>5)&(1>5)&2&(3>1)
(0>5)&(1>5)&2&3
(0>5)&1
(0>5)&1&2&3&4&5
(0>50)&1
(0>50)&1&2
(0>50)&1&2&3
(0>6)&(1|2)&(3|4)
(0>7)&1&2&3&4&5&(6>2)
(0>75)&1&2&3&4
(0>75)&1&2&3&4&5&6&7&8
(0>8)&(1>20)&2&(3>3)&(4>3)&(5|6|7|8|9|10|11|12)>4,2&13&14&15&16
(0>8)&1&2
(0>800)&(1>500)
(0|((1|2|3|4|5|6)>3,3))
(0|(1&2&3&4&5)|(6&(7|8|9|10|11)&12&13&14&15)|16)
(0|(1&2&3)|(4&5)|(6&7))
(0|(1&2))
(0|(4&5))&1&2&3
(0|1)
(0|1)&((2>1&(3|4|5|6|7|8|9|10|11)>5,5)|(12&13))
(0|1)&((2|3|4|5|6|7)>1,2)&(8&9)
(0|1)&(2&3&4)
(0|1)&(2&3&4)&5&6
(0|1)&(2&3)
(0|1)&(2>1)&3&(4>5)&(5>2)&(6>125)
(0|1)&(2|(3&(4|5|6)))
(0|1)&(2|3)
(0|1)&(2|3)&(4|5)
(0|1)&(2|3)&(4|5)&(6|7)
(0|1)&(2|3)&(4|5)&(6|7|8|9|10|11)&12&(13|14)
(0|1)&(2|3)&4
(0|1)&(2|3)&4&5&6
(0|1)&(2|3)&4&5&6&7&8&9&10&11&12
(0|1)&(2|3|4)
(0|1)&(2|3|4)&(5>20|6>20)
(0|1)&(2|3|4|5)
(0|1)&2
(0|1)&2&(3|4)
(0|1)&2&3
(0|1)&2&3&(4=0)
(0|1)&2&3&(4|5)&6
(0|1)&2&3&4
(0|1)&2&3&4&(5|6)
(0|1)&2&3&4&5
(0|1)&2&3&4&5&6&(7|8|9|10|11|12|13|14|15)
(0|1)>5
(0|1)|(2|3)
(0|1|(2&3))&4&(5|6)
(0|1|(2&3)|4)
(0|1|2)
(0|1|2)&((3&4)|(5&6)|(7&8))
(0|1|2)&(3&4)
(0|1|2)&(3&4)&5
(0|1|2)&(3|4|5)
(0|1|2)&(3|4|5)&6&7&8&9
(0|1|2)&(3|4|5|6|7|8)
(0|1|2)&3
(0|1|2)&3&4
(0|1|2)>1,2
(0|1|2)>2,2
(0|1|2|3)
(0|1|2|3)&(4|5)
(0|1|2|3)&(4|5|6)
(0|1|2|3)&(4|5|6|7|8)
(0|1|2|3)&(4|5|6|7|8|9|10)&(11|12|13|14)
(0|1|2|3)&4&5&6&7&8&9&10
(0|1|2|3)>1,2
(0|1|2|3)>1,2&4
(0|1|2|3)>1,2|((4|5|6|7)>1,2&(8|9|10|11|12|13|14|15|16|17|18|19)>1,7&20)|21|22|23|24
(0|1|2|3)>2
(0|1|2|3)>2,2
(0|1|2|3)>2,2&4&5&6&7&8&9
(0|1|2|3)>2,3
(0|1|2|3)>2,3&4
(0|1|2|3)>3,3
(0|1|2|3|4)
(0|1|2|3|4)&(5|6)
(0|1|2|3|4)&(5|6|7)
(0|1|2|3|4)&5
(0|1|2|3|4)&5&6&7&8&9&10&11&12&(13>1000)&14&15&16&17&18&19&20&21&22&23&24
(0|1|2|3|4)>1
(0|1|2|3|4)>2
(0|1|2|3|4)>2,3
(0|1|2|3|4)>3,3
(0|1|2|3|4)>3,4
(0|1|2|3|4)|(5&6)
(0|1|2|3|4|5)
(0|1|2|3|4|5)&6
(0|1|2|3|4|5)=2&6
(0|1|2|3|4|5)>1,2
(0|1|2|3|4|5)>2,3
(0|1|2|3|4|5)>3,3
(0|1|2|3|4|5|6)
(0|1|2|3|4|5|6)>4,4
(0|1|2|3|4|5|6)>4,5
(0|1|2|3|4|5|6)>5,6
(0|1|2|3|4|5|6|7)
(0|1|2|3|4|5|6|7)>1,2
(0|1|2|3|4|5|6|7)>1,5
(0|1|2|3|4|5|6|7)>11,5
(0|1|2|3|4|5|6|7)>2,3
(0|1|2|3|4|5|6|7)>5,5
(0|1|2|3|4|5|6|7)>6,6
(0|1|2|3|4|5|6|7|8)&(9=0|10=0)
(0|1|2|3|4|5|6|7|8)&(9|10|(11&12)|(11&13)|(14&15)|(14&16))&(17|18|19|20)
(0|1|2|3|4|5|6|7|8)>2,3
(0|1|2|3|4|5|6|7|8)>4,5
(0|1|2|3|4|5|6|7|8|9)
(0|1|2|3|4|5|6|7|8|9)>2,3
(0|1|2|3|4|5|6|7|8|9)>4,5
(0|1|2|3|4|5|6|7|8|9|10)>4,5
(0|1|2|3|4|5|6|7|8|9|10)>5,4
(0|1|2|3|4|5|6|7|8|9|10)>8,8
(0|1|2|3|4|5|6|7|8|9|10|11)
(0|1|2|3|4|5|6|7|8|9|10|11)>2,3
(0|1|2|3|4|5|6|7|8|9|10|11)>6,7
(0|1|2|3|4|5|6|7|8|9|10|11|12|13)
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14)&(15|16|17|18|19|20|21|22|23|24|25|26|27|28)
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14)&15
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14)>1,2
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14)>2,3
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14)>7,7
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15)>12,13
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16)
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16)>5,5
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20)>9,10
(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|22|23|24|25|26|27)>50
(0|1|3|4)&2
(0|1|6)&(2|3)&(4|5|7|8|9|10)
(0|2)&(1|3)&4&5&6
(1&(0|2|3))|4|(6&((5&7)|8))
(1&(0|2|3|4))|(5&6)|7|8
(1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25)
(2|3)&4>100
(6&0&1&(2|3)&(4|5))
0
0 & 1 > 200
0&(((1|2|3)&4)|5)
0&((1&(2|3))|(4&5&6&7))
0&((1&2&3&4)|(5&6))
0&((1&2&3&4)|5)&6&7&8&9&10
0&((1&2&3)|(4&5&6)|(7&8&9)|10)
0&((1&2)|(3&4))
0&((1&2)|3)
0&((1&2)|3|4|(5&6&7&8&9&10&11&12&13))
0&((1>2)|(2>2))&(3>5)
0&((1>35&2>400)|(1>90&3>190))
0&((1>5)|(2>5)|(3>5)|(4>5)|(5>5)|(6>5)|(7>5)|(8>5)|(9>5))&10
0&((1|2)>100)
0&((1|2|3)=0)
0&((1|2|3)>0,1)&4&((5|6|7|8|9)>1,2)&((10|11|12|13)>0,1)&((14|15|16|17)>0,1)&((18|19|20|21)>0,1)&((22|23|24|25)>0,1)&((26|27|28|29)>0,1)&((30|31|32|33)>0,1)&34=0
0&((1|2|3|4|5|6)>3,3)
0&(1&2)
0&(1=0)
0&(1=0)&(2=0)
0&(1=0)&2
0&(1=0)&2&(3>1)
0&(1=0)&2&3
0&(1=0)&2&3&4
0&(1=0|2=0)
0&(1=1)&(2=1)
0&(1=1)&(2=1)&3
0&(1=2)&2
0&(1=3)
0&(1=3)&2
0&(1=4)&(2=1)&3
0&(1>1)&(2>1)&(3>1)
0&(1>1)&(2>1)&3&4&5
0&(1>1)&2
0&(1>1)&2&3
0&(1>10)
0&(1>100)
0&(1>100)&(2>5)&(3>5)&(4>5)
0&(1>100)&(2>5)&3&(4>3)
0&(1>1000)
0&(1>15)
0&(1>15)&(2>14)
0&(1>150)&(2=0)
0&(1>2)
0&(1>2)&(2>70)&(3>100)&(4>5)
0&(1>20)&(2>20)&(3>100)
0&(1>250)
0&(1>2500|2>1500)&3&4&5&6&7
0&(1>3)
0&(1>3)&(2=2)&(3>75)
0&(1>3)&(2>1)&(3>75)
0&(1>3)&(2>3)&(3>50)
0&(1>4)&2&(3|4|5|6|7|8|9)>2
0&(1>5)
0&(1>5)&(2>20)
0&(1>5)&(2>5)&3
0&(1>5)&2
0&(1>5)&2&(3>1)&(4>1)&(5>1)&(6>1)&(7>3)
0&(1>5000)&2&(3|4|5)
0&(1>7000|2>7000)&3&(4|5|6)
0&(1|(2&3))
0&(1|2)
0&(1|2)&((3&(5|6))|(4&(5|6)))
0&(1|2)&(3|(4&(5|6)))&(7|8|9)
0&(1|2)&(3|4)&5
0&(1|2)&(3|4|5|6|7)&((8&9&10)|11)&12
0&(1|2)&(3|4|5|6|7|8)
0&(1|2)&(3|4|5|6|7|8|9|10|11)&(12|13|14|15|16)
0&(1|2)&(3|4|7)&(5|6)
0&(1|2)&3
0&(1|2)&3&(4|5)&(6|7|8)
0&(1|2)&3&4
0&(1|2)&3&4&(5|6)&7
0&(1|2)&3&4=0&5=0
0&(1|2|(3&4))
0&(1|2|(3|4|5|6|7|8|9|10)>5,6)
0&(1|2|3)
0&(1|2|3)&(4|5|6)
0&(1|2|3)&4
0&(1|2|3|4)
0&(1|2|3|4)&5>50&((6|7)>100)
0&(1|2|3|4|5)
0&(1|2|3|4|5)&(6|7|8)
0&(1|2|3|4|5)>2,3
0&(1|2|3|4|5|6)
0&(1|2|3|4|5|6)>1,2
0&(1|2|3|4|5|6|7|8)
0&(1|2|3|4|5|6|7|8)>4,4
0&(1|2|3|4|5|6|7|8|9)>5,5
0&(1|2|3|4|5|6|7|8|9|10)>4,4
0&(1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|22|23|24|25)
0&1
0&1&((2&3&4&5&6&7&8&9&10)>6,7)
0&1&((2&3&4&5)|(6&7&8&9&10))
0&1&((2&3&4)|(5&6&7)|(8&9)|(10&11&12&13))
0&1&((2&3)|(4&5)|(6&7))
0&1&((2&3)|4)
0&1&((2<150&3>50)|(2<275&3>150))
0&1&((2>175&2<275&3>150)|(2<175&2>50&3>75))
0&1&(2=0)
0&1&(2=1)&(3=1)
0&1&(2=1)&(3>3)
0&1&(2=2)
0&1&(2=2)&(3=5)
0&1&(2>1)&3
0&1&(2>10)
0&1&(2>100)
0&1&(2>2)
0&1&(2>3)&(3>3)&4&5
0&1&(2>3)&3&4
0&1&(2>4)&(3>2)&4&(5|6|7|8|9|10)
0&1&(2>45)&(3>25)
0&1&(2>5)&(3=1)&(4=1)
0&1&(2>50)
0&1&(2>7000)
0&1&(2|3&4)
0&1&(2|3)
0&1&(2|3)&(4|5)
0&1&(2|3)&(4|5)&(6|7|8|9)
0&1&(2|3)&(4|8)&((5&(6|7))|(9&(10|11)))
0&1&(2|3)&4
0&1&(2|3)&4&(5|(6&7&8&9&10))
0&1&(2|3)&4&5
0&1&(2|3|4)
0&1&(2|3|4)&((5)|(6&7))
0&1&(2|3|4)&(5|6)
0&1&(2|3|4)&5
0&1&(2|3|4|5)
0&1&(2|3|4|5)>2,3
0&1&(2|3|4|5|6|7)>2
0&1&(2|3|4|5|6|7|8)
0&1&(2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|22|23|24|25|26|27|28|29|30|31|32|33)>16,17
0&1&(2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19|20|21|22|23|24|25|26|27|28|29|30|31|32|33|34|35|36|37|38|39|40|41|42|43|44|45|46|47|48|49|50|51|52|53|54|55|56|57|58|59|60|61|62|63)>2,3
0&1&2
0&1&2&((3&5)|(4&6))
0&1&2&((3|4|5)>12)&6=0
0&1&2&(3=0)
0&1&2&(3=1)
0&1&2&(3=2)&(4=2)&5
0&1&2&(3=2)&4
0&1&2&(3>10)&(4>10)&5&(6>1)
0&1&2&(3>10)&4
0&1&2&(3>100|4>100)
0&1&2&(3>15)
0&1&2&(3>20)
0&1&2&(3>25)&(4>25)
0&1&2&(3>3)&4
0&1&2&(3>300)
0&1&2&(3>4)&4&5
0&1&2&(3>5)
0&1&2&(3>8)&4&5&6&7
0&1&2&(3>9)&(4>9)
0&1&2&(3|4)
0&1&2&(3|4)&(5=0)
0&1&2&(3|4)&(5>1)&6
0&1&2&(3|4|5)
0&1&2&(3|4|5|6)
0&1&2&(3|4|5|6|7|8)
0&1&2&(3|4|5|6|7|8|9)
0&1&2&(3|4|5|6|7|8|9|10|11|12)
0&1&2&3
0&1&2&3&((4&(5|6))|(7))
0&1&2&3&(4>1)&(5|6)
0&1&2&3&(4>250)&(5>1750)
0&1&2&3&(4>3)&4&5
0&1&2&3&(4>5)
0&1&2&3&(4|(5>5)|6|7|8|9|10)
0&1&2&3&(4|5)
0&1&2&3&(4|5|6)
0&1&2&3&(4|5|6|7)
0&1&2&3&4
0&1&2&3&4&(5=0)&(6=0)
0&1&2&3&4&(5=2)
0&1&2&3&4&(5>3)
0&1&2&3&4&(5|6)
0&1&2&3&4&(5|6|7)
0&1&2&3&4&5
0&1&2&3&4&5&(6>1)
0&1&2&3&4&5&(6>1)&7&8&9&10&11&12&13&14
0&1&2&3&4&5&(6>15)&(7>5)
0&1&2&3&4&5&(6|7)
0&1&2&3&4&5&6
0&1&2&3&4&5&6&(7>5)
0&1&2&3&4&5&6&(7|8)
0&1&2&3&4&5&6&(7|8)&9&10&11&12
0&1&2&3&4&5&6&7
0&1&2&3&4&5&6&7&(8>1000)&9&10&11&12&13&14&15&16&17&18&19
0&1&2&3&4&5&6&7&8
0&1&2&3&4&5&6&7&8&9
0&1&2&3&4&5&6&7&8&9&10
0&1&2&3&4&5&6&7&8&9&10&11
0&1&2&3&4&5&6&7&8&9&10&11&12
0&1&2&3&4&5&6&7&8&9&10&11&12&13
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&(18|19|(20&21))
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29&30&31&32&33&34&35&36&37&38&39&40&41&42&43&44&45&46
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29&30&31&32&33&34&35&36&37&38&39&40&41&42&43&44&45&46&47&48&49
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29&30&31&32&33&34&35&36&37&38&39&40&41&42&43&44&45&46&47&48&49&50&51&52&53&54&55&56&57&58&59
0&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20&21&22&23&24&25&26&27&28&29&30&31&32&33&34&35&36&37&38&39&40&41&42&43&44&45&46&47&48&49&50&51&52&53&54&55&56&57&58&59&60&61&62
0&1&2&3&4&5&6&7&8&9&10>8&11&12>3&13&14&15&16
0&1&2&3&4&5&6&8&9&10
0&1&2&3&4&5&6>1&7>1&8>1
0&1&2&3&4&5=0
0&1&2&3&4&5=2&6=3
0&1&2&3&4=0&5=0
0&1&2&3&4>10000
0&1&2&3&4>2
0&1&2&3&4|5
0&1&2&3=0
0&1&2&3>100&4&5&6&(7|8)
0&1&2&3>3&4
0&1&2&3>4&4
0&1&2&3>50&4>1500
0&1&2<150&3>400
0&1&2<150&3>500
0&1&2<250&(3|4|5)>750,2
0&1&2=0
0&1&2=0&3
0&1&2=14&3
0&1&2=2
0&1&2=2&3&4&5&6&7&8
0&1&2=2&3=0
0&1&2=3
0&1&2>1
0&1&4&(2|3)
0&1,1-5&2=1
0&1<550&2>1000
0&1<60&2=1&3>6&4<7&5
0&1<80&2>20
0&1=0
0&1=0&(2|3)&4=0&5=0&6=0&7>1
0&1=0&2&3
0&1=1&2<15&(3|4)&5=2&6=1
0&1=1&2=1
0&1=1&2>20
0&1=2
0&1=2&2&3&4&5=1&6&7<30
0&1=2&2<75&3&4>20
0&1=2&2=2&3=2&4=2&5=4
0&1=2&2>100&3&4>50
0&1=5&(2|3|4|5|6)
0&1>1&2
0&1>1&2>1
0&1>10&2
0&1>10&2&3&4
0&1>100&2
0&1>15&2>15
0&1>150&2>75
0&1>2
0&1>2&2
0&1>20&2&3&4&5&6&7&8&9
0&1>20&2>20&3>20&5>50&6>20
0&1>200&2
0&1>200&2<1000&3>50&4>200
0&1>3
0&1>3&2
0&1>3&2&3&4
0&1>3&2&3&4&5
0&1>3&2>3
0&1>50
0&1>50&2>70&3>3&4
0&1>500
0,1-4&1,1-4&2,1-4
0:0&((1>20&2>10&3)|(4))
0:0&1
0:0&1&2&3&4
0=0&1=0&(2|3|4)&(5|6)
0=1&1=1&2=1&3=1
0=2
0=2,&1&2
0>1&1&2
0>1&1>1
0>1&1>5&2
0>1&1>7&2&3
0>100
0>125&1
0>15&1>15&2>15&3>5
0>150&1>150
0>2
0>2&1
0>20
0>20&1
0>20&1&2
0>250
0>3
0>3&1>3
0>3&1>3&2>3&3>3&4>3
0>35&1>350&2
0>3|1|2
0>4&1
0>4&1>1
0>4&1>4&2
0>5&1&2
0>9&1
0|((1|2|3|4|5|6|7|8|9|10)>2,3)
0|(1&(2|3|4|5|6))
0|(1&2&3&4&5)
0|(1&2&3)
0|(1&2)
0|(1&2)|(3&4)
0|(1&2)|3
0|(1&2)|3|4
0|(1|2|3|4)>2
0|1
0|1&(2&3)
0|1&2
0|1&2&3
0|1|((2|3|4|5|6|7|8|9|10|11|12)>9,9)
0|1|(2&3&4&5&6)
0|1|(2&3&4&5)|6
0|1|(2&3&4)
0|1|(2&3)
0|1|(2&3)|(4&5)|(6&7)
0|1|2
0|1|2|(3&4&5&6)
0|1|2|(3&4&5&6)|(7&8)
0|1|2|(3&4)
0|1|2|(3&4)|(5&6)|7
0|1|2|3
0|1|2|3|4
0|1|2|3|4|(6&5)|(8&7)
0|1|2|3|4|5
0|1|2|3|4|5|6
0|1|2|3|4|5|6|7|8|9|10
0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17|18|19
1
1&((0&2&3)|(4&5))
1&(0|2|3)
1&2
10
15&(0|1|2|3|4|5|6|7|8|9|10|11|12|13|14)>5,5
1>250
1>3
1>50
2
2>10
2>20
3
3>10
3>20
3>25
3>5
3>75
3|((0|1)&2)
4
4&(0|1|2|3)>2,3
4>2
5
5=0&6&((0&1)|(2&3&4))
5>2
6
6&3&5&(0|(1&2&4))
7
7&6&0&1>50&2>100&3>100&4>500&5>100&8>100
8
8&(0|1|2|3|4|5|6|7)>3,4
