(
(ir<1:0>==0b11)|
((ir<7>||ir<3:1>)==0b0001)|
((ir<6>||ir<4>||ir<2:0>)==0b11100)|
((ir<6>||ir<4>||ir<2:0>)==0b11010)|
((ir<6>||ir<3:1>)==0b1001)|
(ir<5:1>==0b11001)|
((ir<5>||ir<3:1>)==0b0001)|
((ir<7:2>||ir<0>)==0b1000000)|
(ir==0b10001001)|
((ir<7:5>||ir<2:0>)==0b000100)|
((ir<7:2>||ir<0>)==0b1001110)|
((ir<7>||ir<5:4>||ir<2:0>)==0b011100)|
((ir<7>||ir<4>||ir<2:1>)==0b0101)|
((ir<7:6>||ir<3:0>)==0b010100)
)