Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance laby_20_20_55_06.lp

Name	laby_20_20_55_06.lp
Classes	[Root]    Grids (772)    Labyrinths (400)    Random Group M1 (120)
Submitter	Martin Gebser
Author	Martin Gebser
Description
Created	2009-01-16 16:03
Modified	2009-01-16 16:03
Languages	Facts
Language Features
Compatible Encodings	labyrinth_step_decision.gringo
Output Predicates	connect/2 field/1 goal_on/1 init_at/3 init_on/1 steps/1
Tags:
Attributes
Content	steps(6). field(1). field(2). field(3). field(4). field(5). field(6). field(7). field(8). field(9). field(10). field(11). field(12). field(13). field(14). field(15). field(16). field(17). field(18). field(19). field(20). field(21). field(22). field(23). field(24). field(25). field(26). field(27). field(28). field(29). field(30). field(31). field(32). field(33). field(34). field(35). field(36). field(37). field(38). field(39). field(40). field(41). field(42). field(43). field(44). field(45). field(46). field(47). field(48). field(49). field(50). field(51). field(52). field(53). field(54). field(55). field(56). field(57). field(58). field(59). field(60). field(61). field(62). field(63). field(64). field(65). field(66). field(67). field(68). field(69). field(70). field(71). field(72). field(73). field(74). field(75). field(76). field(77). field(78). field(79). field(80). field(81). field(82). field(83). field(84). field(85). field(86). field(87). field(88). field(89). field(90). field(91). field(92). field(93). field(94). field(95). field(96). field(97). field(98). field(99). field(100). field(101). field(102). field(103). field(104). field(105). field(106). field(107). field(108). field(109). field(110). field(111). field(112). field(113). field(114). field(115). field(116). field(117). field(118). field(119). field(120). field(121). field(122). field(123). field(124). field(125). field(126). field(127). field(128). field(129). field(130). field(131). field(132). field(133). field(134). field(135). field(136). field(137). field(138). field(139). field(140). field(141). field(142). field(143). field(144). field(145). field(146). field(147). field(148). field(149). field(150). field(151). field(152). field(153). field(154). field(155). field(156). field(157). field(158). field(159). field(160). field(161). field(162). field(163). field(164). field(165). field(166). field(167). field(168). field(169). field(170). field(171). field(172). field(173). field(174). field(175). field(176). field(177). field(178). field(179). field(180). field(181). field(182). field(183). field(184). field(185). field(186). field(187). field(188). field(189). field(190). field(191). field(192). field(193). field(194). field(195). field(196). field(197). field(198). field(199). field(200). field(201). field(202). field(203). field(204). field(205). field(206). field(207). field(208). field(209). field(210). field(211). field(212). field(213). field(214). field(215). field(216). field(217). field(218). field(219). field(220). field(221). field(222). field(223). field(224). field(225). field(226). field(227). field(228). field(229). field(230). field(231). field(232). field(233). field(234). field(235). field(236). field(237). field(238). field(239). field(240). field(241). field(242). field(243). field(244). field(245). field(246). field(247). field(248). field(249). field(250). field(251). field(252). field(253). field(254). field(255). field(256). field(257). field(258). field(259). field(260). field(261). field(262). field(263). field(264). field(265). field(266). field(267). field(268). field(269). field(270). field(271). field(272). field(273). field(274). field(275). field(276). field(277). field(278). field(279). field(280). field(281). field(282). field(283). field(284). field(285). field(286). field(287). field(288). field(289). field(290). field(291). field(292). field(293). field(294). field(295). field(296). field(297). field(298). field(299). field(300). field(301). field(302). field(303). field(304). field(305). field(306). field(307). field(308). field(309). field(310). field(311). field(312). field(313). field(314). field(315). field(316). field(317). field(318). field(319). field(320). field(321). field(322). field(323). field(324). field(325). field(326). field(327). field(328). field(329). field(330). field(331). field(332). field(333). field(334). field(335). field(336). field(337). field(338). field(339). field(340). field(341). field(342). field(343). field(344). field(345). field(346). field(347). field(348). field(349). field(350). field(351). field(352). field(353). field(354). field(355). field(356). field(357). field(358). field(359). field(360). field(361). field(362). field(363). field(364). field(365). field(366). field(367). field(368). field(369). field(370). field(371). field(372). field(373). field(374). field(375). field(376). field(377). field(378). field(379). field(380). field(381). field(382). field(383). field(384). field(385). field(386). field(387). field(388). field(389). field(390). field(391). field(392). field(393). field(394). field(395). field(396). field(397). field(398). field(399). field(400). connect(1,w). connect(1,e). connect(1,s). connect(2,n). connect(2,w). connect(2,e). connect(2,s). connect(3,e). connect(3,s). connect(4,w). connect(4,e). connect(4,s). connect(5,n). connect(5,w). connect(5,e). connect(5,s). connect(6,e). connect(6,s). connect(7,w). connect(7,e). connect(7,s). connect(8,n). connect(8,w). connect(8,e). connect(8,s). connect(9,e). connect(9,s). connect(10,w). connect(10,e). connect(10,s). connect(11,n). connect(11,w). connect(11,e). connect(11,s). connect(12,e). connect(12,s). connect(13,w). connect(13,e). connect(13,s). connect(14,n). connect(14,w). connect(14,e). connect(14,s). connect(15,e). connect(15,s). connect(16,w). connect(16,e). connect(16,s). connect(17,n). connect(17,w). connect(17,e). connect(17,s). connect(18,e). connect(18,s). connect(19,w). connect(19,e). connect(19,s). connect(20,n). connect(20,w). connect(20,e). connect(20,s). connect(21,e). connect(21,s). connect(22,w). connect(22,e). connect(22,s). connect(23,n). connect(23,w). connect(23,e). connect(23,s). connect(24,e). connect(24,s). connect(25,w). connect(25,e). connect(25,s). connect(26,n). connect(26,w). connect(26,e). connect(26,s). connect(27,e). connect(27,s). connect(28,w). connect(28,e). connect(28,s). connect(29,n). connect(29,w). connect(29,e). connect(29,s). connect(30,e). connect(30,s). connect(31,w). connect(31,e). connect(31,s). connect(32,n). connect(32,w). connect(32,e). connect(32,s). connect(33,e). connect(33,s). connect(34,w). connect(34,e). connect(34,s). connect(35,n). connect(35,w). connect(35,e). connect(35,s). connect(36,e). connect(36,s). connect(37,w). connect(37,e). connect(37,s). connect(38,n). connect(38,w). connect(38,e). connect(38,s). connect(39,e). connect(39,s). connect(40,w). connect(40,e). connect(40,s). connect(41,n). connect(41,w). connect(41,e). connect(41,s). connect(42,e). connect(42,s). connect(43,w). connect(43,e). connect(43,s). connect(44,n). connect(44,w). connect(44,e). connect(44,s). connect(45,e). connect(45,s). connect(46,w). connect(46,e). connect(46,s). connect(47,n). connect(47,w). connect(47,e). connect(47,s). connect(48,e). connect(48,s). connect(49,w). connect(49,e). connect(49,s). connect(50,n). connect(50,w). connect(50,e). connect(50,s). connect(51,e). connect(51,s). connect(52,w). connect(52,e). connect(52,s). connect(53,n). connect(53,w). connect(53,e). connect(53,s). connect(54,e). connect(54,s). connect(55,w). connect(55,e). connect(55,s). connect(56,n). connect(56,w). connect(56,e). connect(56,s). connect(57,e). connect(57,s). connect(58,w). connect(58,e). connect(58,s). connect(59,n). connect(59,w). connect(59,e). connect(59,s). connect(60,e). connect(60,s). connect(61,w). connect(61,e). connect(61,s). connect(62,n). connect(62,w). connect(62,e). connect(62,s). connect(63,e). connect(63,s). connect(64,w). connect(64,e). connect(64,s). connect(65,n). connect(65,w). connect(65,e). connect(65,s). connect(66,e). connect(66,s). connect(67,w). connect(67,e). connect(67,s). connect(68,n). connect(68,w). connect(68,e). connect(68,s). connect(69,e). connect(69,s). connect(70,w). connect(70,e). connect(70,s). connect(71,n). connect(71,w). connect(71,e). connect(71,s). connect(72,w). connect(72,e). connect(73,w). connect(73,e). connect(73,s). connect(74,n). connect(74,w). connect(74,e). connect(74,s). connect(75,e). connect(75,s). connect(76,w). connect(76,e). connect(76,s). connect(77,n). connect(77,w). connect(77,e). connect(77,s). connect(78,e). connect(78,s). connect(79,w). connect(79,e). connect(79,s). connect(80,n). connect(80,w). connect(80,e). connect(80,s). connect(81,e). connect(81,s). connect(82,w). connect(82,e). connect(82,s). connect(83,n). connect(83,w). connect(83,e). connect(83,s). connect(84,e). connect(84,s). connect(85,w). connect(85,e). connect(85,s). connect(86,n). connect(86,w). connect(86,e). connect(86,s). connect(87,e). connect(87,s). connect(88,w). connect(88,e). connect(88,s). connect(89,n). connect(89,w). connect(89,e). connect(89,s). connect(90,w). connect(90,s). connect(91,w). connect(91,e). connect(91,s). connect(92,n). connect(92,w). connect(92,e). connect(92,s). connect(93,e). connect(93,s). connect(94,n). connect(94,w). connect(94,s). connect(95,n). connect(95,w). connect(95,e). connect(95,s). connect(96,e). connect(96,s). connect(97,w). connect(97,e). connect(97,s). connect(98,n). connect(98,w). connect(98,e). connect(98,s). connect(99,e). connect(99,s). connect(100,w). connect(100,e). connect(100,s). connect(101,n). connect(101,w). connect(101,e). connect(101,s). connect(102,e). connect(102,s). connect(103,w). connect(103,e). connect(103,s). connect(104,n). connect(104,w). connect(104,e). connect(104,s). connect(105,w). connect(105,e). connect(106,w). connect(106,e). connect(106,s). connect(107,n). connect(107,w). connect(107,e). connect(107,s). connect(108,e). connect(108,s). connect(109,w). connect(109,e). connect(109,s). connect(110,n). connect(110,w). connect(110,e). connect(110,s). connect(111,e). connect(111,s). connect(112,n). connect(112,w). connect(112,e). connect(113,n). connect(113,w). connect(113,e). connect(113,s). connect(114,e). connect(114,s). connect(115,n). connect(115,w). connect(115,s). connect(116,n). connect(116,w). connect(116,e). connect(116,s). connect(117,e). connect(117,s). connect(118,w). connect(118,e). connect(118,s). connect(119,n). connect(119,w). connect(119,e). connect(119,s). connect(120,e). connect(120,s). connect(121,w). connect(121,e). connect(121,s). connect(122,n). connect(122,w). connect(122,e). connect(122,s). connect(123,e). connect(123,s). connect(124,w). connect(124,e). connect(124,s). connect(125,n). connect(125,w). connect(125,e). connect(125,s). connect(126,e). connect(126,s). connect(127,w). connect(127,e). connect(127,s). connect(128,n). connect(128,w). connect(128,e). connect(128,s). connect(129,e). connect(129,s). connect(130,w). connect(130,e). connect(130,s). connect(131,n). connect(131,w). connect(131,e). connect(131,s). connect(132,e). connect(132,s). connect(133,w). connect(133,e). connect(133,s). connect(134,n). connect(134,w). connect(134,e). connect(134,s). connect(135,w). connect(135,s). connect(136,w). connect(136,e). connect(136,s). connect(137,n). connect(137,w). connect(137,e). connect(137,s). connect(138,e). connect(138,s). connect(139,w). connect(139,e). connect(139,s). connect(140,n). connect(140,w). connect(140,e). connect(140,s). connect(141,e). connect(141,s). connect(142,w). connect(142,e). connect(142,s). connect(143,n). connect(143,w). connect(143,e). connect(143,s). connect(144,e). connect(144,s). connect(145,w). connect(145,e). connect(145,s). connect(146,n). connect(146,w). connect(146,e). connect(146,s). connect(147,e). connect(147,s). connect(148,w). connect(148,e). connect(148,s). connect(149,n). connect(149,w). connect(149,e). connect(149,s). connect(150,e). connect(150,s). connect(151,w). connect(151,e). connect(151,s). connect(152,n). connect(152,w). connect(152,e). connect(152,s). connect(153,e). connect(153,s). connect(154,w). connect(154,e). connect(154,s). connect(155,n). connect(155,w). connect(155,e). connect(155,s). connect(156,e). connect(156,s). connect(157,w). connect(157,e). connect(157,s). connect(158,n). connect(158,w). connect(158,e). connect(158,s). connect(159,e). connect(159,s). connect(160,w). connect(160,e). connect(160,s). connect(161,n). connect(161,w). connect(161,e). connect(161,s). connect(162,e). connect(162,s). connect(163,w). connect(163,e). connect(163,s). connect(164,n). connect(164,w). connect(164,e). connect(164,s). connect(165,e). connect(165,s). connect(166,w). connect(166,e). connect(166,s). connect(167,n). connect(167,w). connect(167,e). connect(167,s). connect(168,e). connect(168,s). connect(169,w). connect(169,e). connect(169,s). connect(170,n). connect(170,w). connect(170,e). connect(170,s). connect(171,e). connect(171,s). connect(172,w). connect(172,e). connect(172,s). connect(173,n). connect(173,w). connect(173,e). connect(173,s). connect(174,e). connect(174,s). connect(175,w). connect(175,e). connect(175,s). connect(176,n). connect(176,w). connect(176,e). connect(176,s). connect(177,e). connect(177,s). connect(178,w). connect(178,e). connect(178,s). connect(179,n). connect(179,w). connect(179,e). connect(179,s). connect(180,e). connect(180,s). connect(181,w). connect(181,e). connect(181,s). connect(182,n). connect(182,w). connect(182,e). connect(182,s). connect(183,e). connect(183,s). connect(184,w). connect(184,e). connect(184,s). connect(185,n). connect(185,w). connect(185,e). connect(185,s). connect(186,e). connect(186,s). connect(187,w). connect(187,e). connect(187,s). connect(188,n). connect(188,w). connect(188,e). connect(188,s). connect(189,e). connect(189,s). connect(190,w). connect(190,e). connect(190,s). connect(191,n). connect(191,w). connect(191,e). connect(191,s). connect(192,e). connect(192,s). connect(193,w). connect(193,e). connect(193,s). connect(194,n). connect(194,w). connect(194,e). connect(194,s). connect(195,e). connect(195,s). connect(196,w). connect(196,e). connect(196,s). connect(197,n). connect(197,w). connect(197,e). connect(197,s). connect(198,e). connect(198,s). connect(199,w). connect(199,e). connect(199,s). connect(200,n). connect(200,w). connect(200,e). connect(200,s). connect(201,e). connect(201,s). connect(202,w). connect(202,e). connect(202,s). connect(203,n). connect(203,w). connect(203,e). connect(203,s). connect(204,e). connect(204,s). connect(205,w). connect(205,e). connect(205,s). connect(206,n). connect(206,w). connect(206,e). connect(206,s). connect(207,e). connect(207,s). connect(208,n). connect(208,w). connect(208,s). connect(209,n). connect(209,w). connect(209,e). connect(209,s). connect(210,e). connect(210,s). connect(211,w). connect(211,e). connect(211,s). connect(212,n). connect(212,w). connect(212,e). connect(212,s). connect(213,e). connect(213,s). connect(214,w). connect(214,e). connect(214,s). connect(215,n). connect(215,w). connect(215,e). connect(215,s). connect(216,e). connect(216,s). connect(217,w). connect(217,e). connect(217,s). connect(218,n). connect(218,w). connect(218,e). connect(218,s). connect(219,e). connect(219,s). connect(220,w). connect(220,e). connect(220,s). connect(221,n). connect(221,w). connect(221,e). connect(221,s). connect(222,e). connect(222,s). connect(223,w). connect(223,e). connect(223,s). connect(224,n). connect(224,w). connect(224,e). connect(224,s). connect(225,e). connect(225,s). connect(226,n). connect(226,e). connect(226,s). connect(227,n). connect(227,w). connect(227,e). connect(227,s). connect(228,e). connect(228,s). connect(229,w). connect(229,e). connect(229,s). connect(230,n). connect(230,w). connect(230,e). connect(230,s). connect(231,e). connect(231,s). connect(232,w). connect(232,e). connect(232,s). connect(233,n). connect(233,w). connect(233,e). connect(233,s). connect(234,e). connect(234,s). connect(235,w). connect(235,e). connect(235,s). connect(236,n). connect(236,w). connect(236,e). connect(236,s). connect(237,e). connect(237,s). connect(238,w). connect(238,e). connect(238,s). connect(239,n). connect(239,w). connect(239,e). connect(239,s). connect(240,e). connect(240,s). connect(241,w). connect(241,e). connect(241,s). connect(242,n). connect(242,w). connect(242,e). connect(242,s). connect(243,e). connect(243,s). connect(244,w). connect(244,e). connect(244,s). connect(245,n). connect(245,w). connect(245,e). connect(245,s). connect(246,e). connect(246,s). connect(247,w). connect(247,e). connect(247,s). connect(248,n). connect(248,w). connect(248,e). connect(248,s). connect(249,e). connect(249,s). connect(250,w). connect(250,e). connect(250,s). connect(251,n). connect(251,w). connect(251,e). connect(251,s). connect(252,e). connect(252,s). connect(253,n). connect(253,w). connect(253,e). connect(254,n). connect(254,w). connect(254,e). connect(254,s). connect(255,e). connect(255,s). connect(256,w). connect(256,e). connect(256,s). connect(257,n). connect(257,w). connect(257,e). connect(257,s). connect(258,e). connect(258,s). connect(259,w). connect(259,e). connect(259,s). connect(260,n). connect(260,w). connect(260,e). connect(260,s). connect(261,e). connect(261,s). connect(262,w). connect(262,e). connect(262,s). connect(263,n). connect(263,w). connect(263,e). connect(263,s). connect(264,e). connect(264,s). connect(265,w). connect(265,e). connect(265,s). connect(266,n). connect(266,w). connect(266,e). connect(266,s). connect(267,w). connect(267,e). connect(268,w). connect(268,e). connect(268,s). connect(269,n). connect(269,w). connect(269,e). connect(269,s). connect(270,e). connect(270,s). connect(271,w). connect(271,e). connect(271,s). connect(272,n). connect(272,w). connect(272,e). connect(272,s). connect(273,e). connect(273,s). connect(274,w). connect(274,e). connect(274,s). connect(275,n). connect(275,w). connect(275,e). connect(275,s). connect(276,e). connect(276,s). connect(277,w). connect(277,e). connect(277,s). connect(278,n). connect(278,w). connect(278,e). connect(278,s). connect(279,e). connect(279,s). connect(280,w). connect(280,e). connect(280,s). connect(281,n). connect(281,w). connect(281,e). connect(281,s). connect(282,e). connect(282,s). connect(283,n). connect(283,w). connect(283,s). connect(284,n). connect(284,w). connect(284,e). connect(284,s). connect(285,e). connect(285,s). connect(286,w). connect(286,e). connect(286,s). connect(287,n). connect(287,w). connect(287,e). connect(287,s). connect(288,e). connect(288,s). connect(289,n). connect(289,w). connect(289,e). connect(290,n). connect(290,w). connect(290,e). connect(290,s). connect(291,e). connect(291,s). connect(292,w). connect(292,e). connect(292,s). connect(293,n). connect(293,w). connect(293,e). connect(293,s). connect(294,e). connect(294,s). connect(295,w). connect(295,e). connect(295,s). connect(296,n). connect(296,w). connect(296,e). connect(296,s). connect(297,e). connect(297,s). connect(298,w). connect(298,e). connect(298,s). connect(299,n). connect(299,w). connect(299,e). connect(299,s). connect(300,e). connect(300,s). connect(301,w). connect(301,e). connect(301,s). connect(302,n). connect(302,w). connect(302,e). connect(302,s). connect(303,e). connect(303,s). connect(304,w). connect(304,e). connect(304,s). connect(305,n). connect(305,w). connect(305,e). connect(305,s). connect(306,w). connect(306,e). connect(307,w). connect(307,e). connect(307,s). connect(308,n). connect(308,w). connect(308,e). connect(308,s). connect(309,e). connect(309,s). connect(310,w). connect(310,e). connect(310,s). connect(311,n). connect(311,w). connect(311,e). connect(311,s). connect(312,w). connect(312,s). connect(313,w). connect(313,e). connect(313,s). connect(314,n). connect(314,w). connect(314,e). connect(314,s). connect(315,e). connect(315,s). connect(316,w). connect(316,e). connect(316,s). connect(317,n). connect(317,w). connect(317,e). connect(317,s). connect(318,e). connect(318,s). connect(319,w). connect(319,e). connect(319,s). connect(320,n). connect(320,w). connect(320,e). connect(320,s). connect(321,e). connect(321,s). connect(322,w). connect(322,e). connect(322,s). connect(323,n). connect(323,w). connect(323,e). connect(323,s). connect(324,e). connect(324,s). connect(325,w). connect(325,e). connect(325,s). connect(326,n). connect(326,w). connect(326,e). connect(326,s). connect(327,e). connect(327,s). connect(328,w). connect(328,e). connect(328,s). connect(329,n). connect(329,w). connect(329,e). connect(329,s). connect(330,e). connect(330,s). connect(331,w). connect(331,e). connect(331,s). connect(332,n). connect(332,w). connect(332,e). connect(332,s). connect(333,e). connect(333,s). connect(334,w). connect(334,e). connect(334,s). connect(335,n). connect(335,w). connect(335,e). connect(335,s). connect(336,e). connect(336,s). connect(337,w). connect(337,e). connect(337,s). connect(338,n). connect(338,w). connect(338,e). connect(338,s). connect(339,e). connect(339,s). connect(340,w). connect(340,e). connect(340,s). connect(341,n). connect(341,w). connect(341,e). connect(341,s). connect(342,e). connect(342,s). connect(343,w). connect(343,e). connect(343,s). connect(344,n). connect(344,w). connect(344,e). connect(344,s). connect(345,e). connect(345,s). connect(346,w). connect(346,e). connect(346,s). connect(347,n). connect(347,w). connect(347,e). connect(347,s). connect(348,w). connect(348,s). connect(349,w). connect(349,e). connect(349,s). connect(350,n). connect(350,w). connect(350,e). connect(350,s). connect(351,e). connect(351,s). connect(352,w). connect(352,e). connect(352,s). connect(353,n). connect(353,w). connect(353,e). connect(353,s). connect(354,e). connect(354,s). connect(355,w). connect(355,e). connect(355,s). connect(356,n). connect(356,w). connect(356,e). connect(356,s). connect(357,e). connect(357,s). connect(358,w). connect(358,e). connect(358,s). connect(359,n). connect(359,w). connect(359,e). connect(359,s). connect(360,e). connect(360,s). connect(361,w). connect(361,e). connect(361,s). connect(362,n). connect(362,w). connect(362,e). connect(362,s). connect(363,e). connect(363,s). connect(364,w). connect(364,e). connect(364,s). connect(365,n). connect(365,w). connect(365,e). connect(365,s). connect(366,e). connect(366,s). connect(367,w). connect(367,e). connect(367,s). connect(368,n). connect(368,w). connect(368,e). connect(368,s). connect(369,e). connect(369,s). connect(370,w). connect(370,e). connect(370,s). connect(371,n). connect(371,w). connect(371,e). connect(371,s). connect(372,e). connect(372,s). connect(373,w). connect(373,e). connect(373,s). connect(374,n). connect(374,w). connect(374,e). connect(374,s). connect(375,e). connect(375,s). connect(376,w). connect(376,e). connect(376,s). connect(377,n). connect(377,w). connect(377,e). connect(377,s). connect(378,e). connect(378,s). connect(379,w). connect(379,e). connect(379,s). connect(380,n). connect(380,w). connect(380,e). connect(380,s). connect(381,e). connect(381,s). connect(382,w). connect(382,e). connect(382,s). connect(383,n). connect(383,w). connect(383,e). connect(383,s). connect(384,e). connect(384,s). connect(385,w). connect(385,e). connect(385,s). connect(386,n). connect(386,w). connect(386,e). connect(386,s). connect(387,e). connect(387,s). connect(388,w). connect(388,e). connect(388,s). connect(389,n). connect(389,w). connect(389,e). connect(389,s). connect(390,e). connect(390,s). connect(391,w). connect(391,e). connect(391,s). connect(392,n). connect(392,w). connect(392,e). connect(392,s). connect(393,e). connect(393,s). connect(394,w). connect(394,e). connect(394,s). connect(395,n). connect(395,w). connect(395,e). connect(395,s). connect(396,e). connect(396,s). connect(397,n). connect(397,e). connect(397,s). connect(398,n). connect(398,w). connect(398,e). connect(398,s). connect(399,e). connect(399,s). connect(400,w). connect(400,e). connect(400,s). init_at(1,20,18). init_at(2,20,17). init_at(3,20,16). init_at(4,20,15). init_at(5,20,13). init_at(6,20,14). init_at(7,20,12). init_at(8,20,11). init_at(9,20,10). init_at(10,20,9). init_at(11,20,8). init_at(12,20,7). init_at(13,20,6). init_at(14,20,5). init_at(15,20,4). init_at(16,20,3). init_at(17,20,2). init_at(18,20,1). init_at(19,19,20). init_at(20,19,19). init_at(21,19,18). init_at(22,19,17). init_at(23,19,16). init_at(24,19,15). init_at(25,19,13). init_at(26,19,14). init_at(27,19,12). init_at(28,19,11). init_at(29,19,10). init_at(30,19,8). init_at(31,19,9). init_at(32,19,7). init_at(33,19,6). init_at(34,19,5). init_at(35,19,4). init_at(36,19,2). init_at(37,19,3). init_at(38,19,1). init_at(39,18,20). init_at(40,18,19). init_at(41,18,18). init_at(42,18,16). init_at(43,18,17). init_at(44,18,15). init_at(45,18,14). init_at(46,18,11). init_at(47,18,13). init_at(48,18,12). init_at(49,18,10). init_at(50,18,9). init_at(51,18,7). init_at(52,18,8). init_at(53,18,6). init_at(54,18,5). init_at(55,18,4). init_at(56,18,3). init_at(57,18,2). init_at(58,18,1). init_at(59,17,20). init_at(60,17,19). init_at(61,17,18). init_at(62,17,17). init_at(63,17,15). init_at(64,17,14). init_at(65,17,13). init_at(66,17,12). init_at(67,17,11). init_at(68,17,9). init_at(69,17,8). init_at(70,17,5). init_at(71,17,10). init_at(72,17,6). init_at(73,17,7). init_at(74,17,4). init_at(75,17,3). init_at(76,16,20). init_at(77,17,2). init_at(78,17,1). init_at(79,16,19). init_at(80,16,18). init_at(81,16,16). init_at(82,16,17). init_at(83,16,15). init_at(84,16,14). init_at(85,16,12). init_at(86,16,13). init_at(87,16,11). init_at(88,16,10). init_at(89,16,9). init_at(90,16,8). init_at(91,16,7). init_at(92,16,6). init_at(93,16,5). init_at(94,16,1). init_at(95,16,2). init_at(96,16,4). init_at(97,16,3). init_at(98,15,20). init_at(99,15,19). init_at(100,15,17). init_at(101,15,15). init_at(102,15,18). init_at(103,15,16). init_at(104,15,9). init_at(105,15,14). init_at(106,15,13). init_at(107,15,12). init_at(108,15,6). init_at(109,15,10). init_at(110,15,11). init_at(111,15,8). init_at(112,15,7). init_at(113,15,5). init_at(114,15,4). init_at(115,15,3). init_at(116,15,2). init_at(117,14,20). init_at(118,15,1). init_at(119,14,19). init_at(120,14,18). init_at(121,14,17). init_at(122,14,16). init_at(123,14,13). init_at(124,14,15). init_at(125,14,14). init_at(126,14,12). init_at(127,14,10). init_at(128,14,11). init_at(129,14,8). init_at(130,14,9). init_at(131,14,7). init_at(132,14,4). init_at(133,14,5). init_at(134,14,6). init_at(135,14,3). init_at(136,13,18). init_at(137,14,2). init_at(138,14,1). init_at(139,13,20). init_at(140,13,16). init_at(141,13,15). init_at(142,13,19). init_at(143,13,14). init_at(144,13,17). init_at(145,13,12). init_at(146,13,9). init_at(147,13,10). init_at(148,13,13). init_at(149,13,11). init_at(150,13,5). init_at(151,13,8). init_at(152,13,7). init_at(153,13,6). init_at(154,13,2). init_at(155,13,1). init_at(156,13,4). init_at(157,12,19). init_at(158,13,3). init_at(159,12,20). init_at(160,12,18). init_at(161,12,17). init_at(162,12,16). init_at(163,12,15). init_at(164,12,12). init_at(165,12,13). init_at(166,12,7). init_at(167,12,14). init_at(168,12,9). init_at(169,12,11). init_at(170,12,10). init_at(171,12,6). init_at(172,12,8). init_at(173,12,4). init_at(174,12,5). init_at(175,12,2). init_at(176,12,3). init_at(177,12,1). init_at(178,11,20). init_at(179,11,14). init_at(180,11,17). init_at(181,11,12). init_at(182,11,19). init_at(183,11,18). init_at(184,11,11). init_at(185,11,16). init_at(186,11,15). init_at(187,11,13). init_at(188,11,10). init_at(189,11,8). init_at(190,11,4). init_at(191,11,9). init_at(192,11,5). init_at(193,11,3). init_at(194,11,2). init_at(195,11,6). init_at(196,10,18). init_at(197,11,7). init_at(198,11,1). init_at(199,10,19). init_at(200,10,20). init_at(201,10,15). init_at(202,10,17). init_at(203,10,13). init_at(204,10,14). init_at(205,10,16). init_at(206,10,11). init_at(207,10,12). init_at(208,10,10). init_at(209,10,8). init_at(210,10,7). init_at(211,10,4). init_at(212,10,6). init_at(213,10,9). init_at(214,10,5). init_at(215,9,20). init_at(216,10,2). init_at(217,10,3). init_at(218,9,18). init_at(219,9,9). init_at(220,9,16). init_at(221,10,1). init_at(222,9,19). init_at(223,9,13). init_at(224,9,10). init_at(225,9,14). init_at(226,9,11). init_at(227,9,6). init_at(228,9,15). init_at(229,9,8). init_at(230,9,4). init_at(231,9,12). init_at(232,9,7). init_at(233,9,17). init_at(234,9,3). init_at(235,8,16). init_at(236,8,14). init_at(237,8,15). init_at(238,9,5). init_at(239,8,18). init_at(240,9,1). init_at(241,8,12). init_at(242,8,20). init_at(243,8,13). init_at(244,8,19). init_at(245,9,2). init_at(246,8,8). init_at(247,8,10). init_at(248,8,5). init_at(249,8,11). init_at(250,8,9). init_at(251,8,17). init_at(252,8,7). init_at(253,8,4). init_at(254,8,6). init_at(255,8,2). init_at(256,7,20). init_at(257,8,1). init_at(258,7,15). init_at(259,7,17). init_at(260,7,19). init_at(261,8,3). init_at(262,7,13). init_at(263,7,14). init_at(264,7,9). init_at(265,7,5). init_at(266,7,1). init_at(267,7,12). init_at(268,7,18). init_at(269,7,16). init_at(270,7,3). init_at(271,7,10). init_at(272,7,8). init_at(273,7,11). init_at(274,6,15). init_at(275,6,16). init_at(276,6,10). init_at(277,7,4). init_at(278,7,7). init_at(279,7,6). init_at(280,6,2). init_at(281,6,19). init_at(282,6,13). init_at(283,6,12). init_at(284,6,20). init_at(285,6,11). init_at(286,6,18). init_at(287,7,2). init_at(288,6,9). init_at(289,5,11). init_at(290,6,14). init_at(291,5,20). init_at(292,6,17). init_at(293,6,7). init_at(294,6,1). init_at(295,5,18). init_at(296,5,19). init_at(297,6,3). init_at(298,6,8). init_at(299,5,16). init_at(300,6,5). init_at(301,6,4). init_at(302,4,19). init_at(303,5,8). init_at(304,5,15). init_at(305,5,17). init_at(306,5,12). init_at(307,5,3). init_at(308,4,16). init_at(309,5,6). init_at(310,6,6). init_at(311,5,5). init_at(312,4,10). init_at(313,1,16). init_at(314,5,1). init_at(315,5,13). init_at(316,4,11). init_at(317,5,14). init_at(318,5,9). init_at(319,5,2). init_at(320,4,15). init_at(321,5,10). init_at(322,4,7). init_at(323,5,7). init_at(324,3,12). init_at(325,4,14). init_at(326,3,14). init_at(327,2,14). init_at(328,4,9). init_at(329,4,12). init_at(330,3,1). init_at(331,4,8). init_at(332,4,18). init_at(333,4,20). init_at(334,4,4). init_at(335,4,1). init_at(336,3,11). init_at(337,5,4). init_at(338,2,20). init_at(339,4,17). init_at(340,2,8). init_at(341,2,2). init_at(342,4,13). init_at(343,3,10). init_at(344,4,2). init_at(345,2,15). init_at(346,3,18). init_at(347,3,20). init_at(348,2,18). init_at(349,1,10). init_at(350,2,4). init_at(351,3,17). init_at(352,4,3). init_at(353,3,9). init_at(354,2,1). init_at(355,1,7). init_at(356,2,6). init_at(357,1,3). init_at(358,2,7). init_at(359,1,15). init_at(360,2,12). init_at(361,1,2). init_at(362,1,19). init_at(363,1,11). init_at(364,1,4). init_at(365,3,13). init_at(366,20,20). init_at(367,2,11). init_at(368,3,19). init_at(369,1,12). init_at(370,1,17). init_at(371,1,8). init_at(372,1,14). init_at(373,2,9). init_at(374,3,15). init_at(375,3,8). init_at(376,20,19). init_at(377,4,6). init_at(378,4,5). init_at(379,3,7). init_at(380,3,4). init_at(381,1,13). init_at(382,1,18). init_at(383,3,5). init_at(384,3,6). init_at(385,1,1). init_at(386,1,6). init_at(387,1,5). init_at(388,2,5). init_at(389,1,9). init_at(390,3,16). init_at(391,2,19). init_at(392,2,3). init_at(393,2,17). init_at(394,17,16). init_at(395,3,3). init_at(396,3,2). init_at(397,1,20). init_at(398,2,13). init_at(399,2,16). init_at(400,2,10). init_on(42). goal_on(291).