parser_version(f9e78b2ed62c3c1e79b2f9661512bdb5c0e462e8).
classical_b(q2d,['/Users/fram1801/Documents/UdeS/cours/igl501/20A/intra/solution/q2d.mch']).
machine(abstract_machine(pos(1,1,1,1,21,4),machine(pos(2,1,1,1,1,8)),machine_header(pos(3,1,1,9,1,12),q2d,[]),[variables(pos(4,1,2,1,2,12),[identifier(pos(5,1,2,11,2,12),y)]),invariant(pos(6,1,4,1,5,12),member(pos(7,1,5,3,5,12),identifier(pos(8,1,5,3,5,4),y),interval(pos(9,1,5,7,5,12),unary_minus(pos(10,1,5,7,5,9),integer(pos(11,1,5,8,5,9),2)),integer(pos(12,1,5,11,5,12),2)))),initialisation(pos(13,1,7,1,7,22),assign(pos(14,1,7,16,7,22),[identifier(pos(15,1,7,16,7,17),y)],[integer(pos(16,1,7,21,7,22),0)])),operations(pos(17,1,9,1,19,6),[operation(pos(18,1,11,1,19,6),identifier(pos(18,1,11,1,19,6),'D'),[],[identifier(pos(19,1,11,3,11,4),x)],precondition(pos(20,1,12,3,19,6),member(pos(21,1,12,7,12,16),identifier(pos(22,1,12,7,12,8),x),interval(pos(23,1,12,11,12,16),unary_minus(pos(24,1,12,11,12,13),integer(pos(25,1,12,12,12,13),1)),integer(pos(26,1,12,15,12,16),1))),select(pos(27,1,14,5,18,8),less_equal(pos(28,1,15,7,15,13),identifier(pos(29,1,15,7,15,8),x),integer(pos(30,1,15,12,15,13),0)),assign(pos(31,1,15,19,15,26),[identifier(pos(32,1,15,19,15,20),y)],[unary_minus(pos(33,1,15,24,15,26),identifier(pos(34,1,15,25,15,26),x))]),[select_when(pos(35,1,16,5,17,25),greater_equal(pos(36,1,17,7,17,13),identifier(pos(37,1,17,7,17,8),x),integer(pos(38,1,17,12,17,13),0)),assign(pos(39,1,17,19,17,25),[identifier(pos(40,1,17,19,17,20),y)],[identifier(pos(41,1,17,24,17,25),x)]))])))])])).