Instance x80.2

Name	x80.2
Classes	[Root] Puzzles (806) StrategicCompanies (60) ASP Contest 09 (Strategic Companies) (5) Model and Solve Track 3D ASP Competition (15) Training Instances 3D ASP Competition (5)
Submitter	Martin Gebser
Author
Description
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	controlled_by(1, 72,19,5,25). controlled_by(1, 80,50,41,70). controlled_by(1, 36,35,72,47). controlled_by(1, 75,14,48,27). controlled_by(1, 51,50,43,79). controlled_by(1, 78,55,10,12). controlled_by(1, 74,47,39,55). controlled_by(1, 80,18,77,71). controlled_by(1, 37,15,36,2). controlled_by(1, 56,26,69,42). controlled_by(2, 49,35,68,63). controlled_by(2, 34,15,65,4). controlled_by(2, 57,64,1,63). controlled_by(2, 73,44,56,39). controlled_by(2, 34,63,38,52). controlled_by(2, 59,61,8,11). controlled_by(2, 27,43,12,34). controlled_by(2, 20,80,76,69). controlled_by(2, 66,63,3,19). controlled_by(2, 29,67,54,5). controlled_by(3, 2,6,68,27). controlled_by(3, 50,75,17,57). controlled_by(3, 55,6,35,67). controlled_by(3, 13,45,13,8). controlled_by(3, 8,79,59,39). controlled_by(3, 26,79,24,40). controlled_by(3, 1,75,69,20). controlled_by(3, 48,73,53,6). controlled_by(3, 12,79,7,7). controlled_by(3, 16,41,63,22). controlled_by(4, 47,50,8,11). controlled_by(4, 46,52,18,6). controlled_by(4, 50,29,44,75). controlled_by(4, 27,68,35,60). controlled_by(4, 14,23,79,61). controlled_by(4, 47,3,18,11). controlled_by(4, 2,24,17,49). controlled_by(4, 65,31,70,31). controlled_by(4, 32,29,41,30). controlled_by(4, 32,11,35,34). controlled_by(5, 39,30,28,65). controlled_by(5, 49,14,76,62). controlled_by(5, 68,26,75,67). controlled_by(5, 29,12,77,62). controlled_by(5, 36,45,30,52). controlled_by(5, 27,51,34,11). controlled_by(5, 31,26,40,14). controlled_by(5, 36,26,47,26). controlled_by(5, 55,27,43,56). controlled_by(5, 40,38,37,60). controlled_by(6, 64,31,46,44). controlled_by(6, 75,74,25,62). controlled_by(6, 38,65,16,8). controlled_by(6, 18,26,38,43). controlled_by(6, 65,51,31,42). controlled_by(6, 50,8,49,76). controlled_by(6, 50,24,67,40). controlled_by(6, 60,78,55,43). controlled_by(6, 43,18,69,68). controlled_by(6, 74,50,25,79). controlled_by(7, 34,41,6,3). controlled_by(7, 18,75,77,35). controlled_by(7, 77,59,76,46). controlled_by(7, 67,44,73,36). controlled_by(7, 19,60,27,79). controlled_by(7, 57,1,73,52). controlled_by(7, 50,13,39,43). controlled_by(7, 14,16,41,47). controlled_by(7, 8,78,1,25). controlled_by(7, 72,77,59,69). controlled_by(8, 56,7,66,42). controlled_by(8, 2,59,29,21). controlled_by(8, 70,51,78,75). controlled_by(8, 1,58,7,72). controlled_by(8, 20,20,7,13). controlled_by(8, 18,46,10,18). controlled_by(8, 22,2,46,33). controlled_by(8, 22,21,39,7). controlled_by(8, 14,40,17,75). controlled_by(8, 12,38,2,62). controlled_by(9, 36,41,56,68). controlled_by(9, 18,62,59,70). controlled_by(9, 33,65,2,50). controlled_by(9, 62,43,67,4). controlled_by(9, 44,65,36,17). controlled_by(9, 5,26,56,51). controlled_by(9, 17,72,45,29). controlled_by(9, 62,46,42,17). controlled_by(9, 6,18,36,56). controlled_by(9, 31,15,77,64). controlled_by(10, 31,78,65,13). controlled_by(10, 40,4,48,36). controlled_by(10, 68,3,52,72). controlled_by(10, 60,27,42,76). controlled_by(10, 51,38,24,32). controlled_by(10, 35,18,80,41). controlled_by(10, 35,35,48,17). controlled_by(10, 1,44,32,32). controlled_by(10, 73,17,76,64). controlled_by(10, 20,43,19,7). controlled_by(11, 45,23,30,56). controlled_by(11, 1,24,51,3). controlled_by(11, 61,27,34,16). controlled_by(11, 44,65,8,30). controlled_by(11, 52,7,46,52). controlled_by(11, 50,78,3,74). controlled_by(11, 14,78,57,65). controlled_by(11, 72,76,71,68). controlled_by(11, 50,20,43,50). controlled_by(11, 75,14,53,8). controlled_by(12, 40,38,23,35). controlled_by(12, 55,62,64,26). controlled_by(12, 20,29,29,21). controlled_by(12, 58,64,14,23). controlled_by(12, 13,70,7,5). controlled_by(12, 17,77,72,66). controlled_by(12, 49,35,68,75). controlled_by(12, 48,72,2,39). controlled_by(12, 61,56,25,35). controlled_by(12, 69,8,8,68). controlled_by(13, 41,28,46,24). controlled_by(13, 41,68,36,63). controlled_by(13, 27,40,79,55). controlled_by(13, 64,17,23,18). controlled_by(13, 4,50,17,27). controlled_by(13, 51,7,7,27). controlled_by(13, 31,42,15,38). controlled_by(13, 53,55,57,2). controlled_by(13, 54,68,75,42). controlled_by(13, 24,9,20,15). controlled_by(14, 7,74,78,55). controlled_by(14, 49,47,10,18). controlled_by(14, 63,36,68,21). controlled_by(14, 43,46,51,36). controlled_by(14, 13,40,40,67). controlled_by(14, 17,5,20,70). controlled_by(14, 72,46,63,47). controlled_by(14, 54,2,13,76). controlled_by(14, 43,19,44,10). controlled_by(14, 29,13,24,16). controlled_by(15, 32,45,58,78). controlled_by(15, 45,42,55,5). controlled_by(15, 60,23,41,79). controlled_by(15, 12,32,77,27). controlled_by(15, 31,2,28,44). controlled_by(15, 46,55,6,65). controlled_by(15, 50,47,45,62). controlled_by(15, 71,60,14,35). controlled_by(15, 70,43,49,34). controlled_by(15, 4,55,70,63). controlled_by(16, 77,30,13,41). controlled_by(16, 14,41,19,76). controlled_by(16, 43,78,71,40). controlled_by(16, 53,76,56,54). controlled_by(16, 43,20,36,33). controlled_by(16, 80,1,19,21). controlled_by(16, 75,67,6,78). controlled_by(16, 74,76,12,22). controlled_by(16, 57,56,14,22). controlled_by(16, 17,32,49,11). controlled_by(17, 30,39,50,2). controlled_by(17, 35,26,55,29). controlled_by(17, 45,42,13,76). controlled_by(17, 74,31,16,68). controlled_by(17, 49,22,74,49). controlled_by(17, 28,16,57,36). controlled_by(17, 29,31,52,13). controlled_by(17, 79,62,42,38). controlled_by(17, 31,75,24,8). controlled_by(17, 1,4,53,75). controlled_by(18, 16,80,68,78). controlled_by(18, 48,8,78,21). controlled_by(18, 24,72,69,4). controlled_by(18, 39,77,39,19). controlled_by(18, 59,10,31,58). controlled_by(18, 23,24,47,5). controlled_by(18, 22,13,51,25). controlled_by(18, 17,45,72,16). controlled_by(18, 64,21,63,71). controlled_by(18, 3,47,41,23). controlled_by(19, 50,31,52,40). controlled_by(19, 2,30,1,32). controlled_by(19, 39,23,8,37). controlled_by(19, 27,57,58,71). controlled_by(19, 27,34,7,23). controlled_by(19, 25,55,7,77). controlled_by(19, 69,29,47,72). controlled_by(19, 27,39,46,76). controlled_by(19, 70,49,67,71). controlled_by(19, 79,67,54,69). controlled_by(20, 41,61,26,70). controlled_by(20, 35,42,16,69). controlled_by(20, 49,71,45,55). controlled_by(20, 29,42,43,57). controlled_by(20, 40,66,36,78). controlled_by(20, 32,63,67,80). controlled_by(20, 50,9,30,68). controlled_by(20, 15,19,61,27). controlled_by(20, 76,80,16,30). controlled_by(20, 41,64,50,41). controlled_by(21, 54,15,15,34). controlled_by(21, 8,58,42,47). controlled_by(21, 75,77,76,26). controlled_by(21, 60,15,58,29). controlled_by(21, 23,39,48,37). controlled_by(21, 9,28,64,36). controlled_by(21, 59,31,66,52). controlled_by(21, 14,35,12,67). controlled_by(21, 1,59,20,40). controlled_by(21, 68,14,38,62). controlled_by(22, 10,34,40,69). controlled_by(22, 48,49,17,70). controlled_by(22, 39,65,59,48). controlled_by(22, 44,74,3,23). controlled_by(22, 24,20,74,38). controlled_by(22, 7,37,56,39). controlled_by(22, 47,28,79,34). controlled_by(22, 41,36,48,50). controlled_by(22, 69,39,39,36). controlled_by(22, 7,7,58,45). controlled_by(23, 36,44,67,61). controlled_by(23, 47,41,4,18). controlled_by(23, 66,41,24,22). controlled_by(23, 49,63,69,76). controlled_by(23, 13,54,68,48). controlled_by(23, 53,37,69,11). controlled_by(23, 27,24,49,66). controlled_by(23, 33,14,8,20). controlled_by(23, 9,26,80,55). controlled_by(23, 66,4,25,51). controlled_by(24, 76,48,25,44). controlled_by(24, 62,45,71,74). controlled_by(24, 50,58,42,55). controlled_by(24, 47,30,65,25). controlled_by(24, 5,66,42,38). controlled_by(24, 79,50,57,39). controlled_by(24, 27,9,14,45). controlled_by(24, 12,70,47,39). controlled_by(24, 37,71,3,51). controlled_by(24, 67,25,44,37). controlled_by(25, 35,37,11,33). controlled_by(25, 18,27,9,55). controlled_by(25, 12,51,44,42). controlled_by(25, 20,52,1,78). controlled_by(25, 60,46,42,71). controlled_by(25, 35,41,30,23). controlled_by(25, 63,64,50,40). controlled_by(25, 21,38,74,57). controlled_by(25, 80,26,27,58). controlled_by(25, 35,1,70,5). controlled_by(26, 44,63,56,15). controlled_by(26, 15,5,75,12). controlled_by(26, 79,17,78,39). controlled_by(26, 78,21,21,13). controlled_by(26, 77,22,53,17). controlled_by(26, 59,78,74,10). controlled_by(26, 56,52,68,10). controlled_by(26, 52,9,46,47). controlled_by(26, 71,53,61,38). controlled_by(26, 9,7,49,7). controlled_by(27, 56,47,45,5). controlled_by(27, 19,18,18,15). controlled_by(27, 39,22,32,50). controlled_by(27, 19,57,59,74). controlled_by(27, 28,46,35,31). controlled_by(27, 54,32,77,77). controlled_by(27, 36,9,34,45). controlled_by(27, 48,34,3,23). controlled_by(27, 80,80,18,17). controlled_by(27, 76,65,7,49). controlled_by(28, 48,56,20,24). controlled_by(28, 35,45,3,32). controlled_by(28, 80,33,6,63). controlled_by(28, 61,2,51,69). controlled_by(28, 67,47,36,20). controlled_by(28, 49,10,52,48). controlled_by(28, 69,21,16,16). controlled_by(28, 5,55,65,52). controlled_by(28, 30,36,27,16). controlled_by(28, 80,29,48,31). controlled_by(29, 13,5,14,73). controlled_by(29, 38,16,62,24). controlled_by(29, 62,49,75,30). controlled_by(29, 59,46,30,79). controlled_by(29, 67,77,14,23). controlled_by(29, 51,78,27,33). controlled_by(29, 33,53,80,65). controlled_by(29, 34,47,15,46). controlled_by(29, 3,60,39,40). controlled_by(29, 75,52,15,56). controlled_by(30, 52,10,38,7). controlled_by(30, 67,28,25,63). controlled_by(30, 74,80,66,71). controlled_by(30, 26,18,56,49). controlled_by(30, 40,63,16,6). controlled_by(30, 29,18,66,19). controlled_by(30, 10,60,22,24). controlled_by(30, 36,73,65,73). controlled_by(30, 55,24,11,34). controlled_by(30, 48,25,27,47). controlled_by(31, 42,50,24,11). controlled_by(31, 25,54,60,16). controlled_by(31, 36,75,21,16). controlled_by(31, 44,6,66,53). controlled_by(31, 18,7,29,53). controlled_by(31, 80,13,77,54). controlled_by(31, 36,7,7,36). controlled_by(31, 63,66,34,25). controlled_by(31, 35,58,35,59). controlled_by(31, 63,14,26,18). controlled_by(32, 40,78,66,4). controlled_by(32, 4,51,8,21). controlled_by(32, 58,36,25,9). controlled_by(32, 1,53,62,36). controlled_by(32, 11,20,71,73). controlled_by(32, 37,57,17,71). controlled_by(32, 66,4,1,48). controlled_by(32, 49,26,17,9). controlled_by(32, 24,2,44,59). controlled_by(32, 53,51,31,62). controlled_by(33, 39,55,70,39). controlled_by(33, 27,3,74,37). controlled_by(33, 54,17,61,11). controlled_by(33, 25,30,1,10). controlled_by(33, 2,57,1,27). controlled_by(33, 73,41,2,75). controlled_by(33, 4,60,79,55). controlled_by(33, 42,60,13,16). controlled_by(33, 49,51,74,51). controlled_by(33, 76,62,56,44). controlled_by(34, 43,66,68,72). controlled_by(34, 67,77,56,20). controlled_by(34, 53,56,78,46). controlled_by(34, 17,80,72,20). controlled_by(34, 11,70,26,53). controlled_by(34, 49,70,20,49). controlled_by(34, 72,14,51,68). controlled_by(34, 75,26,31,69). controlled_by(34, 12,19,60,30). controlled_by(34, 47,35,49,20). controlled_by(35, 43,46,17,11). controlled_by(35, 77,8,62,8). controlled_by(35, 77,8,12,77). controlled_by(35, 77,31,45,69). controlled_by(35, 76,47,8,23). controlled_by(35, 72,70,11,40). controlled_by(35, 23,64,7,9). controlled_by(35, 64,58,51,30). controlled_by(35, 74,13,26,33). controlled_by(35, 75,65,61,2). controlled_by(36, 28,57,30,11). controlled_by(36, 53,50,6,19). controlled_by(36, 57,60,10,47). controlled_by(36, 23,45,38,77). controlled_by(36, 60,44,5,44). controlled_by(36, 21,8,25,14). controlled_by(36, 20,2,78,14). controlled_by(36, 67,58,47,46). controlled_by(36, 34,29,56,38). controlled_by(36, 78,14,8,7). controlled_by(37, 73,50,5,47). controlled_by(37, 46,42,43,25). controlled_by(37, 38,48,68,58). controlled_by(37, 7,12,24,26). controlled_by(37, 14,21,72,32). controlled_by(37, 79,38,29,64). controlled_by(37, 18,5,54,16). controlled_by(37, 18,61,54,42). controlled_by(37, 30,10,41,75). controlled_by(37, 51,3,20,40). controlled_by(38, 2,39,18,8). controlled_by(38, 3,41,66,48). controlled_by(38, 13,57,31,11). controlled_by(38, 46,59,27,64). controlled_by(38, 63,80,31,32). controlled_by(38, 60,4,26,10). controlled_by(38, 13,66,36,15). controlled_by(38, 20,55,55,22). controlled_by(38, 46,24,29,48). controlled_by(38, 16,46,15,28). controlled_by(39, 22,77,71,68). controlled_by(39, 55,49,51,70). controlled_by(39, 48,1,53,59). controlled_by(39, 36,78,68,80). controlled_by(39, 15,24,46,35). controlled_by(39, 30,52,56,75). controlled_by(39, 75,36,74,10). controlled_by(39, 2,8,70,55). controlled_by(39, 4,12,42,11). controlled_by(39, 60,44,80,27). controlled_by(40, 76,52,5,63). controlled_by(40, 2,25,62,16). controlled_by(40, 80,28,2,61). controlled_by(40, 31,9,56,26). controlled_by(40, 45,1,67,78). controlled_by(40, 41,56,52,44). controlled_by(40, 19,46,6,78). controlled_by(40, 9,37,24,37). controlled_by(40, 9,61,19,42). controlled_by(40, 5,33,9,36). controlled_by(41, 12,11,16,42). controlled_by(41, 19,23,67,15). controlled_by(41, 24,6,44,64). controlled_by(41, 13,16,59,32). controlled_by(41, 61,65,29,21). controlled_by(41, 53,5,9,13). controlled_by(41, 65,28,54,21). controlled_by(41, 60,15,8,71). controlled_by(41, 57,23,32,27). controlled_by(41, 78,51,42,53). controlled_by(42, 56,5,36,20). controlled_by(42, 52,46,51,64). controlled_by(42, 62,80,5,35). controlled_by(42, 36,13,47,52). controlled_by(42, 72,53,72,3). controlled_by(42, 67,31,73,43). controlled_by(42, 53,57,69,2). controlled_by(42, 59,62,54,66). controlled_by(42, 67,41,5,70). controlled_by(42, 7,56,54,20). controlled_by(43, 7,10,54,42). controlled_by(43, 54,53,13,46). controlled_by(43, 25,36,80,11). controlled_by(43, 66,73,5,70). controlled_by(43, 1,73,24,59). controlled_by(43, 55,77,44,73). controlled_by(43, 38,48,14,76). controlled_by(43, 55,67,15,13). controlled_by(43, 28,21,6,2). controlled_by(43, 73,50,79,17). controlled_by(44, 5,78,59,22). controlled_by(44, 22,63,22,55). controlled_by(44, 67,32,61,15). controlled_by(44, 27,5,4,27). controlled_by(44, 19,79,1,37). controlled_by(44, 46,14,65,66). controlled_by(44, 19,66,58,21). controlled_by(44, 16,26,25,13). controlled_by(44, 4,79,35,66). controlled_by(44, 42,8,72,60). controlled_by(45, 72,5,74,18). controlled_by(45, 9,78,44,59). controlled_by(45, 28,77,16,73). controlled_by(45, 42,32,10,12). controlled_by(45, 49,19,32,64). controlled_by(45, 44,9,76,47). controlled_by(45, 7,62,64,80). controlled_by(45, 22,56,11,13). controlled_by(45, 12,36,62,52). controlled_by(45, 65,26,31,13). controlled_by(46, 54,78,37,47). controlled_by(46, 61,79,58,29). controlled_by(46, 17,42,12,61). controlled_by(46, 50,39,59,8). controlled_by(46, 21,43,39,74). controlled_by(46, 50,1,6,61). controlled_by(46, 36,67,32,21). controlled_by(46, 44,14,65,49). controlled_by(46, 43,53,15,23). controlled_by(46, 51,25,51,68). controlled_by(47, 66,62,80,67). controlled_by(47, 21,58,74,73). controlled_by(47, 20,64,66,21). controlled_by(47, 64,23,1,51). controlled_by(47, 9,65,71,5). controlled_by(47, 30,7,53,73). controlled_by(47, 60,20,15,30). controlled_by(47, 44,18,17,61). controlled_by(47, 31,16,3,26). controlled_by(47, 72,27,77,7). controlled_by(48, 12,18,70,34). controlled_by(48, 50,40,75,34). controlled_by(48, 63,31,16,69). controlled_by(48, 35,8,54,54). controlled_by(48, 30,49,23,46). controlled_by(48, 29,54,14,27). controlled_by(48, 56,39,50,3). controlled_by(48, 67,56,46,4). controlled_by(48, 77,32,54,37). controlled_by(48, 58,39,51,8). controlled_by(49, 54,71,74,13). controlled_by(49, 39,80,67,68). controlled_by(49, 80,9,65,29). controlled_by(49, 14,30,7,22). controlled_by(49, 20,57,24,7). controlled_by(49, 32,21,42,61). controlled_by(49, 4,47,17,61). controlled_by(49, 6,19,20,11). controlled_by(49, 9,14,24,79). controlled_by(49, 13,42,18,12). controlled_by(50, 2,35,72,16). controlled_by(50, 64,31,37,36). controlled_by(50, 39,12,42,22). controlled_by(50, 64,35,2,68). controlled_by(50, 2,48,7,68). controlled_by(50, 68,49,29,33). controlled_by(50, 24,27,77,17). controlled_by(50, 77,40,19,31). controlled_by(50, 32,66,14,14). controlled_by(50, 22,49,52,65). controlled_by(51, 42,73,48,77). controlled_by(51, 75,35,78,44). controlled_by(51, 35,36,64,22). controlled_by(51, 36,12,6,60). controlled_by(51, 70,2,76,66). controlled_by(51, 41,46,16,24). controlled_by(51, 31,62,37,4). controlled_by(51, 62,40,68,56). controlled_by(51, 33,36,52,59). controlled_by(51, 22,1,54,56). controlled_by(52, 68,37,29,23). controlled_by(52, 48,66,34,70). controlled_by(52, 67,62,55,60). controlled_by(52, 27,71,3,10). controlled_by(52, 4,72,13,65). controlled_by(52, 63,1,40,47). controlled_by(52, 68,43,25,41). controlled_by(52, 43,79,49,62). controlled_by(52, 67,77,37,67). controlled_by(52, 15,22,56,1). controlled_by(53, 3,30,60,62). controlled_by(53, 52,15,23,55). controlled_by(53, 38,35,40,20). controlled_by(53, 67,31,67,54). controlled_by(53, 74,43,47,68). controlled_by(53, 73,15,50,60). controlled_by(53, 43,38,78,57). controlled_by(53, 59,10,14,34). controlled_by(53, 21,27,38,35). controlled_by(53, 49,12,24,3). controlled_by(54, 3,76,22,34). controlled_by(54, 62,27,27,56). controlled_by(54, 73,14,49,39). controlled_by(54, 15,60,2,52). controlled_by(54, 9,10,63,61). controlled_by(54, 19,28,46,40). controlled_by(54, 3,26,15,2). controlled_by(54, 8,49,77,29). controlled_by(54, 2,10,56,60). controlled_by(54, 65,80,74,65). controlled_by(55, 39,40,44,40). controlled_by(55, 44,4,1,58). controlled_by(55, 64,20,5,62). controlled_by(55, 11,10,64,68). controlled_by(55, 63,30,69,22). controlled_by(55, 79,65,51,32). controlled_by(55, 74,58,12,11). controlled_by(55, 57,37,75,15). controlled_by(55, 76,71,6,71). controlled_by(55, 74,7,48,10). controlled_by(56, 58,4,71,20). controlled_by(56, 13,6,7,27). controlled_by(56, 68,28,49,66). controlled_by(56, 44,51,49,70). controlled_by(56, 60,60,80,36). controlled_by(56, 16,26,3,44). controlled_by(56, 16,40,34,42). controlled_by(56, 78,34,3,55). controlled_by(56, 37,73,26,2). controlled_by(56, 30,33,28,17). controlled_by(57, 12,28,34,55). controlled_by(57, 78,3,44,14). controlled_by(57, 75,45,30,21). controlled_by(57, 79,25,36,38). controlled_by(57, 10,29,36,43). controlled_by(57, 31,42,32,55). controlled_by(57, 20,33,37,52). controlled_by(57, 60,53,63,40). controlled_by(57, 39,69,37,73). controlled_by(57, 33,46,6,27). controlled_by(58, 42,67,47,40). controlled_by(58, 43,35,77,53). controlled_by(58, 15,64,47,46). controlled_by(58, 78,20,29,30). controlled_by(58, 56,80,42,61). controlled_by(58, 14,1,51,2). controlled_by(58, 69,43,66,66). controlled_by(58, 80,13,27,19). controlled_by(58, 11,18,61,77). controlled_by(58, 47,65,12,62). controlled_by(59, 32,57,71,29). controlled_by(59, 28,19,11,36). controlled_by(59, 18,4,48,63). controlled_by(59, 36,50,17,56). controlled_by(59, 12,2,42,43). controlled_by(59, 46,20,13,9). controlled_by(59, 38,74,5,4). controlled_by(59, 10,48,65,41). controlled_by(59, 24,56,22,4). controlled_by(59, 74,32,71,44). controlled_by(60, 67,38,58,22). controlled_by(60, 7,26,77,50). controlled_by(60, 70,44,25,10). controlled_by(60, 57,65,79,2). controlled_by(60, 22,34,11,69). controlled_by(60, 50,52,13,57). controlled_by(60, 25,48,3,8). controlled_by(60, 38,78,74,27). controlled_by(60, 55,47,65,1). controlled_by(60, 43,66,65,29). controlled_by(61, 36,74,37,53). controlled_by(61, 24,38,74,57). controlled_by(61, 49,62,26,52). controlled_by(61, 26,35,28,25). controlled_by(61, 37,35,62,34). controlled_by(61, 28,40,40,74). controlled_by(61, 24,40,68,9). controlled_by(61, 51,52,38,39). controlled_by(61, 77,74,43,52). controlled_by(61, 64,36,28,64). controlled_by(62, 49,6,35,27). controlled_by(62, 40,51,28,48). controlled_by(62, 33,61,75,24). controlled_by(62, 20,20,48,12). controlled_by(62, 39,56,14,43). controlled_by(62, 45,4,39,71). controlled_by(62, 46,11,54,33). controlled_by(62, 70,69,2,27). controlled_by(62, 23,60,18,36). controlled_by(62, 30,45,35,14). controlled_by(63, 25,29,38,77). controlled_by(63, 80,5,40,70). controlled_by(63, 12,53,32,9). controlled_by(63, 9,71,79,54). controlled_by(63, 33,4,39,22). controlled_by(63, 72,72,1,46). controlled_by(63, 51,18,33,80). controlled_by(63, 67,14,39,47). controlled_by(63, 51,35,78,7). controlled_by(63, 26,67,18,79). controlled_by(64, 19,26,39,9). controlled_by(64, 56,12,73,59). controlled_by(64, 2,46,2,73). controlled_by(64, 46,47,43,31). controlled_by(64, 75,46,17,40). controlled_by(64, 36,15,10,71). controlled_by(64, 12,48,48,79). controlled_by(64, 65,46,17,43). controlled_by(64, 4,57,18,48). controlled_by(64, 49,29,49,14). controlled_by(65, 30,74,60,29). controlled_by(65, 68,43,59,62). controlled_by(65, 40,28,53,75). controlled_by(65, 42,14,17,54). controlled_by(65, 61,52,46,62). controlled_by(65, 68,40,18,76). controlled_by(65, 57,17,44,5). controlled_by(65, 17,9,35,10). controlled_by(65, 20,63,30,14). controlled_by(65, 73,43,53,20). controlled_by(66, 16,80,62,29). controlled_by(66, 16,35,10,32). controlled_by(66, 38,7,14,25). controlled_by(66, 46,63,20,22). controlled_by(66, 79,15,59,15). controlled_by(66, 55,45,57,75). controlled_by(66, 27,6,8,51). controlled_by(66, 48,13,71,63). controlled_by(66, 12,52,12,59). controlled_by(66, 38,53,11,75). controlled_by(67, 59,56,51,56). controlled_by(67, 38,22,77,68). controlled_by(67, 68,7,34,42). controlled_by(67, 51,10,36,29). controlled_by(67, 15,44,80,15). controlled_by(67, 56,22,77,19). controlled_by(67, 25,40,77,62). controlled_by(67, 12,39,8,22). controlled_by(67, 14,58,77,3). controlled_by(67, 31,26,22,18). controlled_by(68, 32,56,59,35). controlled_by(68, 65,47,63,32). controlled_by(68, 10,14,46,17). controlled_by(68, 35,74,35,59). controlled_by(68, 34,63,72,77). controlled_by(68, 22,79,19,35). controlled_by(68, 8,47,70,38). controlled_by(68, 72,11,7,56). controlled_by(68, 66,66,10,3). controlled_by(68, 32,24,34,73). controlled_by(69, 38,79,41,72). controlled_by(69, 72,75,51,57). controlled_by(69, 57,42,54,78). controlled_by(69, 73,24,65,80). controlled_by(69, 70,6,70,14). controlled_by(69, 16,76,21,34). controlled_by(69, 13,62,36,76). controlled_by(69, 5,68,42,19). controlled_by(69, 28,34,42,54). controlled_by(69, 36,19,63,29). controlled_by(70, 72,12,21,47). controlled_by(70, 28,53,68,33). controlled_by(70, 74,33,49,21). controlled_by(70, 53,34,34,66). controlled_by(70, 69,29,71,9). controlled_by(70, 49,64,27,28). controlled_by(70, 17,68,34,4). controlled_by(70, 6,16,65,29). controlled_by(70, 59,37,27,7). controlled_by(70, 9,15,39,34). controlled_by(71, 47,39,55,52). controlled_by(71, 72,40,69,12). controlled_by(71, 20,59,20,68). controlled_by(71, 43,46,48,11). controlled_by(71, 66,1,47,23). controlled_by(71, 48,31,4,58). controlled_by(71, 67,30,64,28). controlled_by(71, 44,55,61,43). controlled_by(71, 13,67,46,37). controlled_by(71, 26,34,48,46). controlled_by(72, 45,20,65,7). controlled_by(72, 65,32,49,2). controlled_by(72, 64,15,25,63). controlled_by(72, 45,28,41,64). controlled_by(72, 57,56,11,53). controlled_by(72, 30,71,47,75). controlled_by(72, 58,44,63,3). controlled_by(72, 77,62,80,73). controlled_by(72, 1,65,79,18). controlled_by(72, 48,80,19,64). controlled_by(73, 46,75,78,11). controlled_by(73, 22,70,74,31). controlled_by(73, 46,36,35,27). controlled_by(73, 26,33,53,35). controlled_by(73, 76,35,70,24). controlled_by(73, 17,69,17,49). controlled_by(73, 5,47,66,5). controlled_by(73, 46,5,20,12). controlled_by(73, 79,17,54,53). controlled_by(73, 7,79,3,4). controlled_by(74, 34,69,30,11). controlled_by(74, 21,3,46,16). controlled_by(74, 69,35,39,37). controlled_by(74, 55,7,6,12). controlled_by(74, 54,71,16,51). controlled_by(74, 27,35,62,58). controlled_by(74, 51,67,30,9). controlled_by(74, 17,64,12,50). controlled_by(74, 52,42,61,24). controlled_by(74, 76,58,39,64). controlled_by(75, 44,29,53,18). controlled_by(75, 68,58,29,41). controlled_by(75, 80,76,11,27). controlled_by(75, 62,25,4,33). controlled_by(75, 43,33,73,60). controlled_by(75, 48,5,29,51). controlled_by(75, 78,41,74,25). controlled_by(75, 18,64,40,61). controlled_by(75, 44,12,31,31). controlled_by(75, 69,11,23,21). controlled_by(76, 7,34,47,68). controlled_by(76, 10,2,52,52). controlled_by(76, 66,77,31,33). controlled_by(76, 33,12,3,30). controlled_by(76, 52,28,6,22). controlled_by(76, 11,45,2,6). controlled_by(76, 57,64,37,77). controlled_by(76, 75,59,17,33). controlled_by(76, 44,63,20,53). controlled_by(76, 16,24,57,1). controlled_by(77, 20,7,33,52). controlled_by(77, 18,67,33,22). controlled_by(77, 14,38,43,56). controlled_by(77, 2,76,62,10). controlled_by(77, 12,50,7,6). controlled_by(77, 28,55,38,24). controlled_by(77, 70,9,76,5). controlled_by(77, 64,52,6,3). controlled_by(77, 11,70,6,60). controlled_by(77, 9,38,1,54). controlled_by(78, 75,75,30,29). controlled_by(78, 23,43,70,34). controlled_by(78, 12,76,39,71). controlled_by(78, 51,28,14,72). controlled_by(78, 68,42,76,52). controlled_by(78, 13,33,54,55). controlled_by(78, 23,12,35,63). controlled_by(78, 49,67,36,76). controlled_by(78, 62,17,56,4). controlled_by(78, 11,45,37,22). controlled_by(79, 73,27,45,43). controlled_by(79, 54,58,66,73). controlled_by(79, 51,61,44,16). controlled_by(79, 14,50,70,68). controlled_by(79, 61,24,50,29). controlled_by(79, 11,5,56,24). controlled_by(79, 54,31,27,64). controlled_by(79, 76,15,38,68). controlled_by(79, 41,2,62,46). controlled_by(79, 11,47,38,62). controlled_by(80, 27,34,77,72). controlled_by(80, 3,66,59,63). controlled_by(80, 42,28,43,4). controlled_by(80, 65,19,27,38). controlled_by(80, 1,5,21,76). controlled_by(80, 51,10,15,11). controlled_by(80, 11,76,8,22). controlled_by(80, 74,77,35,53). controlled_by(80, 62,63,44,64). controlled_by(80, 48,55,78,41). produced_by(p1, 34,73,44,18). produced_by(p2, 43,22,7,43). produced_by(p3, 26,60,71,76). produced_by(p4, 69,5,38,32). produced_by(p5, 33,77,5,26). produced_by(p6, 26,39,30,7). produced_by(p7, 21,26,71,20). produced_by(p8, 80,20,61,33). produced_by(p9, 12,56,3,6). produced_by(p10, 78,9,49,55). produced_by(p11, 20,39,3,41). produced_by(p12, 75,40,72,27). produced_by(p13, 69,76,5,14). produced_by(p14, 34,66,20,6). produced_by(p15, 11,42,57,10). produced_by(p16, 62,69,75,25). produced_by(p17, 45,77,31,74). produced_by(p18, 37,31,48,57). produced_by(p19, 69,50,49,15). produced_by(p20, 42,40,42,30). produced_by(p21, 35,78,43,20). produced_by(p22, 15,62,57,26). produced_by(p23, 56,33,67,37). produced_by(p24, 22,61,13,66). produced_by(p25, 57,43,11,46). produced_by(p26, 73,58,54,13). produced_by(p27, 60,22,28,21). produced_by(p28, 61,21,50,47). produced_by(p29, 50,44,66,64). produced_by(p30, 57,74,41,32). produced_by(p31, 26,28,68,79). produced_by(p32, 8,33,16,17). produced_by(p33, 27,26,14,52). produced_by(p34, 36,67,64,15). produced_by(p35, 8,43,35,20). produced_by(p36, 15,36,66,64). produced_by(p37, 31,3,80,7). produced_by(p38, 76,40,39,53). produced_by(p39, 19,58,52,27). produced_by(p40, 10,67,75,37). produced_by(p41, 45,8,8,80). produced_by(p42, 74,23,14,33). produced_by(p43, 66,80,52,80). produced_by(p44, 67,69,16,17). produced_by(p45, 71,47,23,18). produced_by(p46, 6,61,70,57). produced_by(p47, 39,73,3,80). produced_by(p48, 12,29,36,8). produced_by(p49, 68,75,7,61). produced_by(p50, 18,52,45,35). produced_by(p51, 51,48,66,69). produced_by(p52, 36,1,5,58). produced_by(p53, 79,27,75,37). produced_by(p54, 40,16,13,30). produced_by(p55, 41,47,29,4). produced_by(p56, 75,17,11,62). produced_by(p57, 43,17,74,12). produced_by(p58, 68,38,46,70). produced_by(p59, 37,32,58,72). produced_by(p60, 64,62,1,15). produced_by(p61, 40,75,51,31). produced_by(p62, 42,63,60,34). produced_by(p63, 29,41,37,55). produced_by(p64, 9,47,36,51). produced_by(p65, 63,61,63,2). produced_by(p66, 50,60,23,6). produced_by(p67, 43,80,29,59). produced_by(p68, 13,29,73,5). produced_by(p69, 55,43,35,48). produced_by(p70, 57,47,2,5). produced_by(p71, 7,38,11,47). produced_by(p72, 37,78,49,19). produced_by(p73, 58,63,53,59). produced_by(p74, 43,75,64,37). produced_by(p75, 27,44,15,71). produced_by(p76, 72,39,75,78). produced_by(p77, 1,62,45,9). produced_by(p78, 28,46,45,66). produced_by(p79, 36,55,32,72). produced_by(p80, 52,80,42,61). produced_by(p81, 63,46,39,57). produced_by(p82, 73,54,13,19). produced_by(p83, 17,60,41,40). produced_by(p84, 18,68,69,51). produced_by(p85, 49,34,59,76). produced_by(p86, 31,24,13,18). produced_by(p87, 30,44,9,34). produced_by(p88, 75,3,14,57). produced_by(p89, 48,5,65,40). produced_by(p90, 58,30,10,27). produced_by(p91, 9,3,18,26). produced_by(p92, 70,7,28,38). produced_by(p93, 72,7,65,54). produced_by(p94, 62,77,72,43). produced_by(p95, 72,32,76,66). produced_by(p96, 34,10,75,34). produced_by(p97, 46,11,25,23). produced_by(p98, 40,35,1,48). produced_by(p99, 69,51,26,58). produced_by(p100, 57,53,47,80). produced_by(p101, 11,63,53,24). produced_by(p102, 11,44,67,2). produced_by(p103, 76,62,19,61). produced_by(p104, 23,45,14,68). produced_by(p105, 56,39,43,15). produced_by(p106, 25,75,63,13). produced_by(p107, 45,40,22,53). produced_by(p108, 12,68,4,55). produced_by(p109, 50,57,78,60). produced_by(p110, 52,16,13,47). produced_by(p111, 30,31,60,52). produced_by(p112, 28,73,72,3). produced_by(p113, 31,66,17,7). produced_by(p114, 12,31,19,9). produced_by(p115, 22,40,13,34). produced_by(p116, 59,17,40,60). produced_by(p117, 25,37,71,76). produced_by(p118, 5,3,75,34). produced_by(p119, 66,54,37,13). produced_by(p120, 46,60,47,29). produced_by(p121, 45,15,35,9). produced_by(p122, 46,54,17,67). produced_by(p123, 45,29,52,24). produced_by(p124, 77,11,35,21). produced_by(p125, 80,26,17,4). produced_by(p126, 60,11,69,77). produced_by(p127, 16,25,41,61). produced_by(p128, 5,7,9,1). produced_by(p129, 22,76,9,19). produced_by(p130, 49,57,37,45). produced_by(p131, 38,41,20,34). produced_by(p132, 3,55,7,34). produced_by(p133, 32,23,69,11). produced_by(p134, 65,57,40,32). produced_by(p135, 2,80,12,38). produced_by(p136, 39,53,38,12). produced_by(p137, 48,79,62,48). produced_by(p138, 55,50,44,44). produced_by(p139, 10,64,78,45). produced_by(p140, 70,4,78,21). produced_by(p141, 58,67,63,74). produced_by(p142, 75,54,25,76). produced_by(p143, 6,68,65,44). produced_by(p144, 40,55,7,39). produced_by(p145, 53,20,38,59). produced_by(p146, 69,2,23,31). produced_by(p147, 65,52,75,6). produced_by(p148, 7,24,26,64). produced_by(p149, 10,40,9,37). produced_by(p150, 14,33,32,19). produced_by(p151, 20,49,14,12). produced_by(p152, 23,52,2,75). produced_by(p153, 71,40,5,59). produced_by(p154, 73,59,41,9). produced_by(p155, 30,35,14,36). produced_by(p156, 11,71,51,52). produced_by(p157, 62,59,8,75). produced_by(p158, 43,72,45,15). produced_by(p159, 40,58,58,62). produced_by(p160, 29,59,8,51). produced_by(p161, 50,12,30,74). produced_by(p162, 23,22,2,52). produced_by(p163, 9,15,40,19). produced_by(p164, 37,42,70,19). produced_by(p165, 53,78,13,15). produced_by(p166, 69,10,61,60). produced_by(p167, 19,38,41,48). produced_by(p168, 49,80,50,50). produced_by(p169, 43,31,44,65). produced_by(p170, 53,77,69,61). produced_by(p171, 12,28,79,80). produced_by(p172, 69,20,18,41). produced_by(p173, 49,63,8,37). produced_by(p174, 72,20,16,10). produced_by(p175, 10,8,9,10). produced_by(p176, 39,11,59,2). produced_by(p177, 41,54,66,13). produced_by(p178, 51,54,73,14). produced_by(p179, 33,23,13,54). produced_by(p180, 75,63,46,43). produced_by(p181, 77,53,32,20). produced_by(p182, 25,79,61,34). produced_by(p183, 7,22,43,77). produced_by(p184, 32,53,78,72). produced_by(p185, 27,16,5,29). produced_by(p186, 21,29,42,54). produced_by(p187, 4,6,59,78). produced_by(p188, 20,24,72,16). produced_by(p189, 77,23,35,21). produced_by(p190, 22,16,6,60). produced_by(p191, 69,48,56,20). produced_by(p192, 20,54,11,78). produced_by(p193, 69,47,26,41). produced_by(p194, 76,19,46,31). produced_by(p195, 57,24,60,28). produced_by(p196, 48,51,44,76). produced_by(p197, 74,30,16,15). produced_by(p198, 77,53,74,65). produced_by(p199, 20,49,4,71). produced_by(p200, 22,47,69,42). produced_by(p201, 13,46,35,8). produced_by(p202, 17,80,70,25). produced_by(p203, 24,49,52,71). produced_by(p204, 20,47,66,13). produced_by(p205, 77,33,27,25). produced_by(p206, 5,52,10,56). produced_by(p207, 20,45,46,74). produced_by(p208, 11,66,67,56). produced_by(p209, 64,21,15,32). produced_by(p210, 21,5,56,44). produced_by(p211, 53,27,34,72). produced_by(p212, 74,51,36,22). produced_by(p213, 3,14,46,7). produced_by(p214, 65,7,62,5). produced_by(p215, 52,59,30,14). produced_by(p216, 77,16,69,60). produced_by(p217, 37,4,11,9). produced_by(p218, 40,66,52,12). produced_by(p219, 44,37,36,69). produced_by(p220, 7,71,10,9). produced_by(p221, 5,56,47,21). produced_by(p222, 14,28,57,17). produced_by(p223, 38,6,31,34). produced_by(p224, 22,51,13,10). produced_by(p225, 6,55,18,45). produced_by(p226, 72,21,9,36). produced_by(p227, 57,44,24,63). produced_by(p228, 66,66,23,22). produced_by(p229, 41,69,43,54). produced_by(p230, 48,19,71,5). produced_by(p231, 57,53,71,78). produced_by(p232, 55,35,39,61). produced_by(p233, 10,8,57,1). produced_by(p234, 28,65,68,4). produced_by(p235, 60,12,18,46). produced_by(p236, 77,40,19,69). produced_by(p237, 60,61,74,27). produced_by(p238, 32,16,63,8). produced_by(p239, 20,53,37,75). produced_by(p240, 8,75,7,49).

Actions

Navigation

Instance x80.2