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 x75.37

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