/mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../ourtool/goblint --conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --witness.yaml.unassume pesco/divbin2_valuebound2.yml.witness.yml --witness.yaml.validate pesco/divbin2_valuebound2.yml.witness.yml --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/divbin2_valuebound2.i


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Witness] CIL couldn't parse invariant: cond == (1) (../plain/divbin2_valuebound2.i:23:5)
[Info][Witness] invariant has undefined variables or side effects: cond == (1) (../plain/divbin2_valuebound2.i:23:5)
[Warning][Witness] couldn't locate invariant: (B == (1U) && b == (1U) && A == (0U) && q == (0U) && r == A) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && A >= (2U) && A <= (3U) && q == (2U) && r == (0U)) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && (!(q == (2U)) || (q == (2U) && !(r == (0U)))) && A >= (2U) && A <= (3U) && q == (3U)) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U))) || (A >= (2U) && A <= (3U) && q == (2U) && !(r == (0U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (3U)))) && A == (1U) && q == (1U)) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (1U)))) && A >= (4U) && A <= (7U) && q == (6U) && r == (0U)) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U))) || (A >= (2U) && A <= (3U) && q == (2U) && !(r == (0U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (1U)))) && (!(q == (6U)) || (q == (6U) && !(r == (0U)))) && A >= (4U) && A <= (7U) && q == (7U)) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (1U)))) && !(q == (6U)) && !(q == (7U)) && A >= (4U) && A <= (7U) && q == (4U) && r == (0U)) || (B == (1U) && b == (1U) && (!(A == (0U)) || (A == (0U) && !(q == (0U))) || (A == (0U) && q == (0U) && !(r == A))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U))) || (A >= (2U) && A <= (3U) && q == (2U) && !(r == (0U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (1U)))) && (!(q == (6U)) || (q == (6U) && !(r == (0U)))) && !(q == (7U)) && (!(q == (4U)) || (q == (4U) && !(r == (0U)))) && A >= (4U) && A <= (7U) && q == (5U)) (../plain/divbin2_valuebound2.i:40:24)
../plain/divbin2_valuebound2.i:23: Error: Cannot resolve variable cond.
[Warning][Witness] couldn't locate invariant: (B == (1U) && A >= (8U) && A <= (15U) && b == (8U) && q == (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && r <= (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && r <= (63U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && r <= (31U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U)))) && (!(b == (2U)) || (b == (2U) && !(q == (2U))) || (b == (2U) && q == (2U) && !(r >= (0U))) || (b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && A >= (4U) && A <= (7U) && b == (4U) && q == (1U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (1U)))) && A >= (8U) && A <= (15U) && b == (4U) && q == (3U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && A >= (2U) && A <= (3U) && b == (2U) && q == (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(b == (32U)) || (b == (32U) && !(q == (0U))) || (b == (32U) && q == (0U) && !(r >= (16U))) || (b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U)))) && A >= (16U) && A <= (31U) && b == (16U) && q == (1U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (1U)))) && !(q == (3U)) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && r <= (3U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(b == (4U)) || (b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(q == (1U)))) && (!(b == (4U)) || (b == (4U) && !(q == (2U))) || (b == (4U) && q == (2U) && !(r >= (0U))) || (b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && r <= (15U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && r <= (127U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (3U)))) && (!(b == (2U)) || (b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && q == (2U) && !(r >= (0U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && r <= (3U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && A == (1U) && b == (2U) && q == (0U) && r == (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (1U)))) && (!(b == (2U)) || (b == (2U) && !(q == (2U))) || (b == (2U) && q == (2U) && !(r >= (0U))) || (b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(b == (4U)) || (b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(r == (1U)))) && A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && r <= (7U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(q == (2U)) || (q == (2U) && !(r >= (0U))) || (q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(b == (4U)) || (b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && A >= (4U) && A <= (7U) && b == (2U) && q == (3U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (1U)))) && !(q == (3U)) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(q == (2U)) || (q == (2U) && !(r >= (0U))) || (q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(b == (16U)) || (b == (16U) && !(q == (0U))) || (b == (16U) && q == (0U) && !(r >= (8U))) || (b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U))) && A >= (8U) && A <= (15U) && b == (4U) && q == (6U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(b == (32U)) || (b == (32U) && !(q == (0U))) || (b == (32U) && q == (0U) && !(r >= (16U))) || (b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U))) && !(q == (1U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && A >= (16U) && A <= (31U) && b == (16U) && q == (2U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (1U)))) && !(q == (3U)) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && !(q == (2U)) && (!(b == (16U)) || (b == (16U) && !(q == (0U))) || (b == (16U) && q == (0U) && !(r >= (8U))) || (b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && !(q == (6U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && r <= (3U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && !(q == (1U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(b == (4U)) || (b == (4U) && !(q == (0U))) || (b == (4U) && q == (0U) && !(r >= (2U))) || (b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && A >= (2U) && A <= (3U) && b == (2U) && q == (2U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(q == (2U)) || (q == (2U) && !(r >= (0U))) || (q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(b == (4U)) || (b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && !(q == (3U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U)))) && A >= (4U) && A <= (7U) && b == (2U) && q == (6U)) || (B == (1U) && !(q == (1U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U))) && (!(b == (4U)) || (b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && (!(b == (4U)) || (b == (4U) && !(r >= (0U))) || (b == (4U) && r >= (0U) && !(r <= (3U)))) && (!(b == (16U)) || (b == (16U) && !(q == (0U))) || (b == (16U) && q == (0U) && !(r >= (8U))) || (b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(b == (4U)) || (b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U)))) && (!(b == (4U)) || (b == (4U) && !(q == (4U))) || (b == (4U) && q == (4U) && !(r >= (0U))) || (b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (6U)))) && A >= (8U) && A <= (15U) && b == (8U) && q == (2U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U))) && (!(b == (2U)) || (b == (2U) && !(r >= (0U))) || (b == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && !(q == (1U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(b == (2U)) || (b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U)))) && (!(b == (2U)) || (b == (2U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U)))) && A >= (4U) && A <= (7U) && b == (4U) && q == (2U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && !(q == (2U)) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(b == (4U)) || (b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && !(q == (3U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && !(q == (6U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U))) && A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && r <= (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(b == (4U)) || (b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (2U)))) && (!(b == (4U)) || (b == (4U) && !(q == (2U)))) && !(b == (2U)) && A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && r <= (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U))) && !(q == (1U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && !(b == (4U)) && (!(A == (1U)) || (A == (1U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (3U)))) && !(q == (2U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (6U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && A >= (2U) && A <= (3U) && b == (2U) && q == (0U) && r >= (2U) && r <= (3U)) || (B == (1U) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (1U)))) && !(q == (3U)) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(r >= (0U)) || (r >= (0U) && !(r <= (3U)))) && (!(b == (16U)) || (b == (16U) && !(q == (0U))) || (b == (16U) && q == (0U) && !(r >= (8U))) || (b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U))) && !(q == (6U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U)))) && (!(q == (4U)) || (q == (4U) && !(r >= (0U))) || (q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U)))) && !(b == (8U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (2U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && A >= (8U) && A <= (15U) && b == (4U) && q == (2U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && !(b == (2U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U)))) && A == (1U) && b == (1U) && q == (0U) && r == (1U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && !(q == (1U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(r == (1U)))) && !(b == (8U)) && (!(b == (2U)) || (b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(b == (2U)) || (b == (2U) && !(q == (6U)))) && !(q == (2U)) && (!(b == (2U)) || (b == (2U) && !(q == (4U))) || (b == (2U) && q == (4U) && !(r >= (0U))) || (b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(b == (1U)) || (b == (1U) && !(q == (4U))) || (b == (1U) && q == (4U) && !(r >= (0U))) || (b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(r == (1U)))) && A >= (4U) && A <= (7U) && b == (4U) && q == (0U) && r >= (4U) && r <= (7U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(r >= (0U)) || (r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && !(q == (3U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U)))) && !(q == (6U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U)))) && !(b == (4U)) && (!(q == (4U)) || (q == (4U) && !(r >= (0U))) || (q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(b == (1U)) || (b == (1U) && !(q == (4U))) || (b == (1U) && q == (4U) && !(r >= (0U))) || (b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(q == (0U))) || (A == (1U) && b == (1U) && q == (0U) && !(r == (1U)))) && A >= (4U) && A <= (7U) && b == (2U) && q == (2U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(b == (16U)) || (b == (16U) && !(q == (0U))) || (b == (16U) && q == (0U) && !(r >= (8U))) || (b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (3U)))) && !(b == (4U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U)))) && (!(b == (8U)) || (b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(q == (0U))) || (A == (1U) && b == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (2U)))) && A >= (8U) && A <= (15U) && b == (2U) && q == (6U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(b == (32U)) || (b == (32U) && !(q == (0U))) || (b == (32U) && q == (0U) && !(r >= (16U))) || (b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(q == (0U))) || (A == (1U) && b == (2U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && !(b == (16U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (2U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(q == (0U))) || (A == (1U) && b == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (4U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (6U)))) && A >= (16U) && A <= (31U) && b == (8U) && q == (2U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(b == (4U)) || (b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(b == (8U)) || (b == (8U) && !(q == (0U))) || (b == (8U) && q == (0U) && !(r >= (4U))) || (b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && !(b == (2U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (2U)))) && (!(b == (4U)) || (b == (4U) && !(q == (2U)))) && (!(q == (4U)) || (q == (4U) && !(r >= (0U))) || (q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U)))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(b == (4U)) || (b == (4U) && !(q == (0U))) || (b == (4U) && q == (0U) && !(r >= (4U))) || (b == (4U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (8U))) || (A >= (16U) && A <= (31U) && b == (8U) && !(q == (2U)))) && A >= (4U) && A <= (7U) && b == (1U) && q == (6U)) || (B == (1U) && (!(b == (8U)) || (b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && q == (2U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(b == (16U)) || (b == (16U) && !(q == (0U))) || (b == (16U) && q == (0U) && !(r >= (8U))) || (b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (3U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && !(b == (4U)) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (2U)))) && (!(b == (8U)) || (b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(q == (0U))) || (A >= (2U) && A <= (3U) && q == (0U) && !(r >= (2U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(q == (0U))) || (A == (1U) && b == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (2U)))) && !(q == (6U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (8U))) || (A >= (16U) && A <= (31U) && b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U))) && A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && r >= (0U) && r <= (3U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && !(b == (32U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U))) && !(q == (1U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && !(q == (2U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (6U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (6U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && A >= (16U) && A <= (31U) && b == (16U) && q == (0U) && r >= (16U) && r <= (31U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && !(b == (128U)) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && r >= (2U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (8U))) || (A >= (16U) && A <= (31U) && b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && r >= (16U) && !(r <= (31U)))) && A >= (64U) && A <= (127U) && b == (64U) && q == (0U) && r >= (64U) && r <= (127U)) || (B == (1U) && !(q == (1U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U))) && (!(b == (4U)) || (b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U))) && !(b == (16U)) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(b == (4U)) || (b == (4U) && !(q == (6U)))) && (!(b == (4U)) || (b == (4U) && !(q == (4U))) || (b == (4U) && q == (4U) && !(r >= (0U))) || (b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (6U)))) && !(q == (2U)) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && r >= (4U) && !(r <= (7U)))) && (!(b == (2U)) || (b == (2U) && !(q == (6U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (6U)))) && (!(b == (2U)) || (b == (2U) && !(q == (4U))) || (b == (2U) && q == (4U) && !(r >= (0U))) || (b == (2U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (64U))) || (A >= (64U) && A <= (127U) && b == (64U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (64U) && r >= (64U) && !(r <= (127U)))) && A >= (8U) && A <= (15U) && b == (8U) && q == (0U) && r >= (8U) && r <= (15U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U))) && (!(A >= (32U)) || (A >= (32U) && !(A <= (63U))) || (A >= (32U) && A <= (63U) && !(b == (64U))) || (A >= (32U) && A <= (63U) && b == (64U) && !(q == (0U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && !(r >= (32U))) || (A >= (32U) && A <= (63U) && b == (64U) && q == (0U) && r >= (32U) && !(r <= (63U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (32U))) || (A >= (16U) && A <= (31U) && b == (32U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (32U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(b == (4U)) || (b == (4U) && !(q == (0U))) || (b == (4U) && q == (0U) && !(r >= (2U))) || (b == (4U) && q == (0U) && r >= (2U) && !(r <= (3U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && !(b == (2U)) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U)))) && (!(A == (1U)) || (A == (1U) && !(q == (0U))) || (A == (1U) && q == (0U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (0U))) || (A >= (4U) && A <= (7U) && b == (4U) && q == (0U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && q == (0U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (8U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (0U))) || (A >= (16U) && A <= (31U) && b == (16U) && q == (0U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && q == (0U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (64U))) || (A >= (64U) && A <= (127U) && b == (64U) && !(q == (0U))) || (A >= (64U) && A <= (127U) && b == (64U) && q == (0U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (64U) && q == (0U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (0U))) || (A >= (8U) && A <= (15U) && b == (8U) && q == (0U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && q == (0U) && r >= (8U) && !(r <= (15U)))) && A >= (2U) && A <= (3U) && b == (1U) && q == (2U)) || (B == (1U) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (2U) && r >= (0U) && !(r <= (1U)))) && !(b == (64U)) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (1U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (1U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (2U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (16U))) || (A >= (8U) && A <= (15U) && b == (16U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (16U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U) && !(b == (128U))) || (A >= (64U) && A <= (127U) && b == (128U) && !(r >= (64U))) || (A >= (64U) && A <= (127U) && b == (128U) && r >= (64U) && !(r <= (127U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (4U))) || (A >= (2U) && A <= (3U) && b == (4U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (4U) && r >= (2U) && !(r <= (3U)))) && (!(A == (1U)) || (A == (1U) && !(b == (2U))) || (A == (1U) && b == (2U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (8U))) || (A >= (4U) && A <= (7U) && b == (8U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (8U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (4U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (4U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && !(r >= (0U))) || (A >= (4U) && A <= (7U) && b == (1U) && q == (4U) && r >= (0U) && !(r <= (1U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && !(r >= (2U))) || (A >= (2U) && A <= (3U) && b == (2U) && r >= (2U) && !(r <= (3U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (4U))) || (A >= (8U) && A <= (15U) && b == (4U) && !(q == (2U)))) && (!(A == (1U)) || (A == (1U) && !(b == (1U))) || (A == (1U) && b == (1U) && !(r == (1U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && !(r >= (4U))) || (A >= (4U) && A <= (7U) && b == (4U) && r >= (4U) && !(r <= (7U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (2U))) || (A >= (4U) && A <= (7U) && b == (2U) && !(q == (2U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (6U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (8U))) || (A >= (16U) && A <= (31U) && b == (8U) && !(q == (2U)))) && (!(A >= (4U)) || (A >= (4U) && !(A <= (7U))) || (A >= (4U) && A <= (7U) && !(b == (1U))) || (A >= (4U) && A <= (7U) && b == (1U) && !(q == (6U)))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (2U))) || (A >= (8U) && A <= (15U) && b == (2U) && !(q == (4U))) || (A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && !(r >= (0U))) || (A >= (8U) && A <= (15U) && b == (2U) && q == (4U) && r >= (0U) && !(r <= (3U)))) && (!(A >= (16U)) || (A >= (16U) && !(A <= (31U))) || (A >= (16U) && A <= (31U) && !(b == (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && !(r >= (16U))) || (A >= (16U) && A <= (31U) && b == (16U) && r >= (16U) && !(r <= (31U)))) && (!(A >= (64U)) || (A >= (64U) && !(A <= (127U))) || (A >= (64U) && A <= (127U))) && (!(A >= (8U)) || (A >= (8U) && !(A <= (15U))) || (A >= (8U) && A <= (15U) && !(b == (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && !(r >= (8U))) || (A >= (8U) && A <= (15U) && b == (8U) && r >= (8U) && !(r <= (15U)))) && (!(A >= (2U)) || (A >= (2U) && !(A <= (3U))) || (A >= (2U) && A <= (3U) && !(b == (1U))) || (A >= (2U) && A <= (3U) && b == (1U) && !(q == (2U)))) && A >= (32U) && A <= (63U) && b == (32U) && q == (0U) && r >= (32U) && r <= (63U)) (../plain/divbin2_valuebound2.i:41:9)

runtime: 00:00:10.281
vars: 41, evals: 47

|rho|=41
|called|=4
|stable|=34
|infl|=38
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31
Found 3 contexts for 3 functions. Top 5 functions:
1	contexts for entry state of assume_abort_if_not (2023) on ../plain/divbin2_valuebound2.i:15:1-17:1
1	contexts for entry state of main (2029) on ../plain/divbin2_valuebound2.i:25:1-50:1
1	contexts for entry state of __VERIFIER_nondet_uint (374) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:43:70-43:140

Memory statistics: total=1646.00MB, max=100.66MB, minor=1641.84MB, major=152.52MB, promoted=148.36MB
    minor collections=789  major collections=13 compactions=0


runtime: 00:00:20.318
vars: 56, evals: 63

|rho|=56
|called|=4
|stable|=49
|infl|=53
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 5 contexts for 5 functions. Top 5 functions:
1	contexts for entry state of assume_abort_if_not (2023) on ../plain/divbin2_valuebound2.i:15:1-17:1
1	contexts for entry state of main (2029) on ../plain/divbin2_valuebound2.i:25:1-50:1
1	contexts for entry state of __VERIFIER_assert (2026) on ../plain/divbin2_valuebound2.i:18:1-24:1
1	contexts for entry state of __VERIFIER_nondet_uint (374) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:43:70-43:140
1	contexts for entry state of reach_error (2015) on ../plain/divbin2_valuebound2.i:12:1-12:161

Memory statistics: total=3135.05MB, max=115.77MB, minor=3130.81MB, major=346.55MB, promoted=342.32MB
    minor collections=1503  major collections=22 compactions=1


runtime: 00:00:30.297
vars: 56, evals: 76

|rho|=56
|called|=4
|stable|=49
|infl|=53
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 5 contexts for 5 functions. Top 5 functions:
1	contexts for entry state of assume_abort_if_not (2023) on ../plain/divbin2_valuebound2.i:15:1-17:1
1	contexts for entry state of main (2029) on ../plain/divbin2_valuebound2.i:25:1-50:1
1	contexts for entry state of __VERIFIER_assert (2026) on ../plain/divbin2_valuebound2.i:18:1-24:1
1	contexts for entry state of __VERIFIER_nondet_uint (374) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:43:70-43:140
1	contexts for entry state of reach_error (2015) on ../plain/divbin2_valuebound2.i:12:1-12:161

Memory statistics: total=4629.64MB, max=119.55MB, minor=4625.33MB, major=535.56MB, promoted=531.25MB
    minor collections=2219  major collections=30 compactions=1


runtime: 00:00:40.320
vars: 56, evals: 88

|rho|=56
|called|=4
|stable|=56
|infl|=53
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 5 contexts for 5 functions. Top 5 functions:
1	contexts for entry state of assume_abort_if_not (2023) on ../plain/divbin2_valuebound2.i:15:1-17:1
1	contexts for entry state of main (2029) on ../plain/divbin2_valuebound2.i:25:1-50:1
1	contexts for entry state of __VERIFIER_assert (2026) on ../plain/divbin2_valuebound2.i:18:1-24:1
1	contexts for entry state of __VERIFIER_nondet_uint (374) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:43:70-43:140
1	contexts for entry state of reach_error (2015) on ../plain/divbin2_valuebound2.i:12:1-12:161

Memory statistics: total=6260.35MB, max=137.48MB, minor=6255.99MB, major=671.55MB, promoted=667.19MB
    minor collections=2999  major collections=35 compactions=1


runtime: 00:00:50.390
vars: 56, evals: 96

|rho|=56
|called|=4
|stable|=56
|infl|=53
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 5 contexts for 5 functions. Top 5 functions:
1	contexts for entry state of assume_abort_if_not (2023) on ../plain/divbin2_valuebound2.i:15:1-17:1
1	contexts for entry state of main (2029) on ../plain/divbin2_valuebound2.i:25:1-50:1
1	contexts for entry state of __VERIFIER_assert (2026) on ../plain/divbin2_valuebound2.i:18:1-24:1
1	contexts for entry state of __VERIFIER_nondet_uint (374) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:43:70-43:140
1	contexts for entry state of reach_error (2015) on ../plain/divbin2_valuebound2.i:12:1-12:161

Memory statistics: total=7862.61MB, max=137.48MB, minor=7858.17MB, major=861.55MB, promoted=857.11MB
    minor collections=3766  major collections=43 compactions=2


runtime: 00:01:00.405
vars: 56, evals: 104

|rho|=56
|called|=4
|stable|=56
|infl|=53
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 5 contexts for 5 functions. Top 5 functions:
1	contexts for entry state of assume_abort_if_not (2023) on ../plain/divbin2_valuebound2.i:15:1-17:1
1	contexts for entry state of main (2029) on ../plain/divbin2_valuebound2.i:25:1-50:1
1	contexts for entry state of __VERIFIER_assert (2026) on ../plain/divbin2_valuebound2.i:18:1-24:1
1	contexts for entry state of __VERIFIER_nondet_uint (374) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:43:70-43:140
1	contexts for entry state of reach_error (2015) on ../plain/divbin2_valuebound2.i:12:1-12:161

Memory statistics: total=9385.24MB, max=142.65MB, minor=9380.75MB, major=996.57MB, promoted=992.08MB
    minor collections=4494  major collections=46 compactions=2

