Maze.prob

parser_version(f9e78b2ed62c3c1e79b2f9661512bdb5c0e462e8).
classical_b('Maze',['C:\\Projects\\Atelier B\\RobotMazeCoursework\\Maze.mch']).
machine(abstract_machine(pos(1,1,5,1,28,4),machine(pos(2,1,5,1,5,8)),machine_header(pos(3,1,6,5,6,9),'Maze',[]),[constants(pos(4,1,8,1,14,16),[identifier(pos(5,1,9,5,9,17),x_axis_range),identifier(pos(6,1,10,5,10,17),y_axis_range),identifier(pos(7,1,11,5,11,9),maze),identifier(pos(8,1,12,5,12,19),internal_walls),identifier(pos(9,1,13,5,13,20),entrance_square),identifier(pos(10,1,14,5,14,16),exit_square)]),properties(pos(11,1,16,1,26,30),conjunct(pos(12,1,17,5,26,30),conjunct(pos(13,1,17,5,25,50),conjunct(pos(14,1,17,5,24,34),conjunct(pos(15,1,17,5,23,54),conjunct(pos(16,1,17,5,22,134),conjunct(pos(17,1,17,5,21,53),conjunct(pos(18,1,17,5,20,41),conjunct(pos(19,1,17,5,19,43),conjunct(pos(20,1,17,5,18,53),conjunct(pos(21,1,17,5,18,31),conjunct(pos(22,1,17,5,17,51),subset(pos(23,1,17,5,17,29),identifier(pos(24,1,17,5,17,17),x_axis_range),natural1_set(pos(25,1,17,21,17,29))),equal(pos(26,1,17,32,17,51),identifier(pos(27,1,17,32,17,44),x_axis_range),interval(pos(28,1,17,47,17,51),integer(pos(29,1,17,47,17,48),1),integer(pos(30,1,17,50,17,51),7)))),subset(pos(31,1,18,7,18,31),identifier(pos(32,1,18,7,18,19),y_axis_range),natural1_set(pos(33,1,18,23,18,31)))),equal(pos(34,1,18,34,18,53),identifier(pos(35,1,18,34,18,46),y_axis_range),interval(pos(36,1,18,49,18,53),integer(pos(37,1,18,49,18,50),1),integer(pos(38,1,18,52,18,53),5)))),member(pos(39,1,19,7,19,43),identifier(pos(40,1,19,7,19,11),maze),relations(pos(41,1,19,14,19,43),identifier(pos(42,1,19,14,19,26),x_axis_range),identifier(pos(43,1,19,31,19,43),y_axis_range)))),equal(pos(44,1,20,7,20,41),identifier(pos(45,1,20,7,20,11),maze),mult_or_cart(pos(46,1,20,14,20,41),identifier(pos(47,1,20,14,20,26),x_axis_range),identifier(pos(48,1,20,29,20,41),y_axis_range)))),member(pos(49,1,21,7,21,53),identifier(pos(50,1,21,7,21,21),internal_walls),relations(pos(51,1,21,24,21,53),identifier(pos(52,1,21,24,21,36),x_axis_range),identifier(pos(53,1,21,41,21,53),y_axis_range)))),equal(pos(54,1,22,7,22,134),identifier(pos(55,1,22,7,22,21),internal_walls),set_extension(pos(56,1,22,24,22,134),[couple(pos(57,1,22,25,22,32),[integer(pos(58,1,22,25,22,26),2),integer(pos(59,1,22,31,22,32),1)]),couple(pos(60,1,22,35,22,42),[integer(pos(61,1,22,35,22,36),6),integer(pos(62,1,22,41,22,42),1)]),couple(pos(63,1,22,44,22,51),[integer(pos(64,1,22,44,22,45),4),integer(pos(65,1,22,50,22,51),2)]),couple(pos(66,1,22,54,22,61),[integer(pos(67,1,22,54,22,55),6),integer(pos(68,1,22,60,22,61),2)]),couple(pos(69,1,22,63,22,70),[integer(pos(70,1,22,63,22,64),1),integer(pos(71,1,22,69,22,70),3)]),couple(pos(72,1,22,72,22,79),[integer(pos(73,1,22,72,22,73),2),integer(pos(74,1,22,78,22,79),3)]),couple(pos(75,1,22,81,22,88),[integer(pos(76,1,22,81,22,82),3),integer(pos(77,1,22,87,22,88),3)]),couple(pos(78,1,22,90,22,97),[integer(pos(79,1,22,90,22,91),4),integer(pos(80,1,22,96,22,97),3)]),couple(pos(81,1,22,99,22,106),[integer(pos(82,1,22,99,22,100),4),integer(pos(83,1,22,105,22,106),4)]),couple(pos(84,1,22,108,22,115),[integer(pos(85,1,22,108,22,109),6),integer(pos(86,1,22,114,22,115),4)]),couple(pos(87,1,22,117,22,124),[integer(pos(88,1,22,117,22,118),7),integer(pos(89,1,22,123,22,124),4)]),couple(pos(90,1,22,126,22,133),[integer(pos(91,1,22,126,22,127),2),integer(pos(92,1,22,132,22,133),5)])]))),member(pos(93,1,23,7,23,54),identifier(pos(94,1,23,7,23,22),entrance_square),relations(pos(95,1,23,25,23,54),identifier(pos(96,1,23,25,23,37),x_axis_range),identifier(pos(97,1,23,42,23,54),y_axis_range)))),equal(pos(98,1,24,7,24,34),identifier(pos(99,1,24,7,24,22),entrance_square),set_extension(pos(100,1,24,25,24,34),[couple(pos(101,1,24,26,24,33),[integer(pos(102,1,24,26,24,27),1),integer(pos(103,1,24,32,24,33),1)])]))),member(pos(104,1,25,7,25,50),identifier(pos(105,1,25,7,25,18),exit_square),relations(pos(106,1,25,21,25,50),identifier(pos(107,1,25,21,25,33),x_axis_range),identifier(pos(108,1,25,38,25,50),y_axis_range)))),equal(pos(109,1,26,7,26,30),identifier(pos(110,1,26,7,26,18),exit_square),set_extension(pos(111,1,26,21,26,30),[couple(pos(112,1,26,22,26,29),[integer(pos(113,1,26,22,26,23),1),integer(pos(114,1,26,28,26,29),5)])]))))])).