% Desafio 1 — std3
% 120 exames, 20 slots, 42 salas, 40 docentes, 621 conflitos

exame(e1). exame(e2). exame(e3). exame(e4). exame(e5). exame(e6). exame(e7). exame(e8).
exame(e9). exame(e10). exame(e11). exame(e12). exame(e13). exame(e14). exame(e15). exame(e16).
exame(e17). exame(e18). exame(e19). exame(e20). exame(e21). exame(e22). exame(e23). exame(e24).
exame(e25). exame(e26). exame(e27). exame(e28). exame(e29). exame(e30). exame(e31). exame(e32).
exame(e33). exame(e34). exame(e35). exame(e36). exame(e37). exame(e38). exame(e39). exame(e40).
exame(e41). exame(e42). exame(e43). exame(e44). exame(e45). exame(e46). exame(e47). exame(e48).
exame(e49). exame(e50). exame(e51). exame(e52). exame(e53). exame(e54). exame(e55). exame(e56).
exame(e57). exame(e58). exame(e59). exame(e60). exame(e61). exame(e62). exame(e63). exame(e64).
exame(e65). exame(e66). exame(e67). exame(e68). exame(e69). exame(e70). exame(e71). exame(e72).
exame(e73). exame(e74). exame(e75). exame(e76). exame(e77). exame(e78). exame(e79). exame(e80).
exame(e81). exame(e82). exame(e83). exame(e84). exame(e85). exame(e86). exame(e87). exame(e88).
exame(e89). exame(e90). exame(e91). exame(e92). exame(e93). exame(e94). exame(e95). exame(e96).
exame(e97). exame(e98). exame(e99). exame(e100). exame(e101). exame(e102). exame(e103). exame(e104).
exame(e105). exame(e106). exame(e107). exame(e108). exame(e109). exame(e110). exame(e111). exame(e112).
exame(e113). exame(e114). exame(e115). exame(e116). exame(e117). exame(e118). exame(e119). exame(e120).
slot(1..20).
sala(a1). sala(a2). sala(a3). sala(a4). sala(s1). sala(s2). sala(s3). sala(s4).
sala(s5). sala(s6). sala(s7). sala(s8). sala(s9). sala(s10). sala(s11). sala(s12).
sala(s13). sala(s14). sala(s15). sala(s16). sala(s17). sala(s18). sala(s19). sala(s20).
sala(s21). sala(s22). sala(s23). sala(s24). sala(s25). sala(s26). sala(s27). sala(s28).
sala(s29). sala(s30). sala(l1). sala(l2). sala(l3). sala(l4). sala(l5). sala(l6).
sala(l7). sala(l8).
docente(d1). docente(d2). docente(d3). docente(d4). docente(d5). docente(d6). docente(d7). docente(d8).
docente(d9). docente(d10). docente(d11). docente(d12). docente(d13). docente(d14). docente(d15). docente(d16).
docente(d17). docente(d18). docente(d19). docente(d20). docente(d21). docente(d22). docente(d23). docente(d24).
docente(d25). docente(d26). docente(d27). docente(d28). docente(d29). docente(d30). docente(d31). docente(d32).
docente(d33). docente(d34). docente(d35). docente(d36). docente(d37). docente(d38). docente(d39). docente(d40).

compativel(escrito,anfiteatro). compativel(escrito,sala). compativel(computador,laboratorio).
tipo(a1,anfiteatro). tipo(a2,anfiteatro). tipo(a3,anfiteatro). tipo(a4,anfiteatro). tipo(s1,sala). tipo(s2,sala).
tipo(s3,sala). tipo(s4,sala). tipo(s5,sala). tipo(s6,sala). tipo(s7,sala). tipo(s8,sala).
tipo(s9,sala). tipo(s10,sala). tipo(s11,sala). tipo(s12,sala). tipo(s13,sala). tipo(s14,sala).
tipo(s15,sala). tipo(s16,sala). tipo(s17,sala). tipo(s18,sala). tipo(s19,sala). tipo(s20,sala).
tipo(s21,sala). tipo(s22,sala). tipo(s23,sala). tipo(s24,sala). tipo(s25,sala). tipo(s26,sala).
tipo(s27,sala). tipo(s28,sala). tipo(s29,sala). tipo(s30,sala). tipo(l1,laboratorio). tipo(l2,laboratorio).
tipo(l3,laboratorio). tipo(l4,laboratorio). tipo(l5,laboratorio). tipo(l6,laboratorio). tipo(l7,laboratorio). tipo(l8,laboratorio).
capacidade(a1,240). capacidade(a2,180). capacidade(a3,150). capacidade(a4,300). capacidade(s1,30). capacidade(s2,60).
capacidade(s3,60). capacidade(s4,50). capacidade(s5,30). capacidade(s6,60). capacidade(s7,30). capacidade(s8,40).
capacidade(s9,40). capacidade(s10,80). capacidade(s11,30). capacidade(s12,30). capacidade(s13,40). capacidade(s14,30).
capacidade(s15,40). capacidade(s16,80). capacidade(s17,80). capacidade(s18,50). capacidade(s19,40). capacidade(s20,60).
capacidade(s21,80). capacidade(s22,60). capacidade(s23,40). capacidade(s24,80). capacidade(s25,80). capacidade(s26,40).
capacidade(s27,30). capacidade(s28,50). capacidade(s29,40). capacidade(s30,80). capacidade(l1,30). capacidade(l2,60).
capacidade(l3,40). capacidade(l4,40). capacidade(l5,30). capacidade(l6,60). capacidade(l7,30). capacidade(l8,40).
tipo_exame(e1,computador). tipo_exame(e2,escrito). tipo_exame(e3,escrito). tipo_exame(e4,escrito). tipo_exame(e5,escrito).
tipo_exame(e6,escrito). tipo_exame(e7,escrito). tipo_exame(e8,escrito). tipo_exame(e9,computador). tipo_exame(e10,computador).
tipo_exame(e11,escrito). tipo_exame(e12,escrito). tipo_exame(e13,escrito). tipo_exame(e14,computador). tipo_exame(e15,escrito).
tipo_exame(e16,escrito). tipo_exame(e17,computador). tipo_exame(e18,computador). tipo_exame(e19,escrito). tipo_exame(e20,escrito).
tipo_exame(e21,escrito). tipo_exame(e22,escrito). tipo_exame(e23,computador). tipo_exame(e24,computador). tipo_exame(e25,computador).
tipo_exame(e26,escrito). tipo_exame(e27,escrito). tipo_exame(e28,escrito). tipo_exame(e29,escrito). tipo_exame(e30,escrito).
tipo_exame(e31,escrito). tipo_exame(e32,escrito). tipo_exame(e33,escrito). tipo_exame(e34,escrito). tipo_exame(e35,computador).
tipo_exame(e36,escrito). tipo_exame(e37,computador). tipo_exame(e38,escrito). tipo_exame(e39,escrito). tipo_exame(e40,escrito).
tipo_exame(e41,escrito). tipo_exame(e42,computador). tipo_exame(e43,computador). tipo_exame(e44,escrito). tipo_exame(e45,escrito).
tipo_exame(e46,escrito). tipo_exame(e47,computador). tipo_exame(e48,escrito). tipo_exame(e49,computador). tipo_exame(e50,escrito).
tipo_exame(e51,escrito). tipo_exame(e52,escrito). tipo_exame(e53,escrito). tipo_exame(e54,escrito). tipo_exame(e55,escrito).
tipo_exame(e56,computador). tipo_exame(e57,escrito). tipo_exame(e58,computador). tipo_exame(e59,escrito). tipo_exame(e60,escrito).
tipo_exame(e61,escrito). tipo_exame(e62,escrito). tipo_exame(e63,escrito). tipo_exame(e64,computador). tipo_exame(e65,escrito).
tipo_exame(e66,escrito). tipo_exame(e67,computador). tipo_exame(e68,computador). tipo_exame(e69,computador). tipo_exame(e70,escrito).
tipo_exame(e71,computador). tipo_exame(e72,escrito). tipo_exame(e73,escrito). tipo_exame(e74,computador). tipo_exame(e75,computador).
tipo_exame(e76,computador). tipo_exame(e77,escrito). tipo_exame(e78,escrito). tipo_exame(e79,computador). tipo_exame(e80,escrito).
tipo_exame(e81,escrito). tipo_exame(e82,escrito). tipo_exame(e83,computador). tipo_exame(e84,computador). tipo_exame(e85,computador).
tipo_exame(e86,escrito). tipo_exame(e87,escrito). tipo_exame(e88,escrito). tipo_exame(e89,computador). tipo_exame(e90,computador).
tipo_exame(e91,escrito). tipo_exame(e92,escrito). tipo_exame(e93,escrito). tipo_exame(e94,escrito). tipo_exame(e95,computador).
tipo_exame(e96,escrito). tipo_exame(e97,escrito). tipo_exame(e98,computador). tipo_exame(e99,escrito). tipo_exame(e100,escrito).
tipo_exame(e101,computador). tipo_exame(e102,escrito). tipo_exame(e103,escrito). tipo_exame(e104,escrito). tipo_exame(e105,escrito).
tipo_exame(e106,escrito). tipo_exame(e107,escrito). tipo_exame(e108,escrito). tipo_exame(e109,escrito). tipo_exame(e110,computador).
tipo_exame(e111,escrito). tipo_exame(e112,escrito). tipo_exame(e113,escrito). tipo_exame(e114,escrito). tipo_exame(e115,computador).
tipo_exame(e116,escrito). tipo_exame(e117,computador). tipo_exame(e118,computador). tipo_exame(e119,escrito). tipo_exame(e120,computador).
inscritos(e1,34). inscritos(e2,181). inscritos(e3,228). inscritos(e4,18). inscritos(e5,181). inscritos(e6,23).
inscritos(e7,80). inscritos(e8,159). inscritos(e9,49). inscritos(e10,19). inscritos(e11,41). inscritos(e12,49).
inscritos(e13,42). inscritos(e14,29). inscritos(e15,136). inscritos(e16,41). inscritos(e17,57). inscritos(e18,20).
inscritos(e19,78). inscritos(e20,33). inscritos(e21,78). inscritos(e22,49). inscritos(e23,15). inscritos(e24,25).
inscritos(e25,27). inscritos(e26,145). inscritos(e27,49). inscritos(e28,54). inscritos(e29,56). inscritos(e30,54).
inscritos(e31,21). inscritos(e32,69). inscritos(e33,28). inscritos(e34,39). inscritos(e35,44). inscritos(e36,45).
inscritos(e37,18). inscritos(e38,64). inscritos(e39,115). inscritos(e40,24). inscritos(e41,23). inscritos(e42,57).
inscritos(e43,35). inscritos(e44,60). inscritos(e45,16). inscritos(e46,66). inscritos(e47,50). inscritos(e48,28).
inscritos(e49,33). inscritos(e50,51). inscritos(e51,21). inscritos(e52,177). inscritos(e53,31). inscritos(e54,142).
inscritos(e55,194). inscritos(e56,40). inscritos(e57,33). inscritos(e58,35). inscritos(e59,49). inscritos(e60,47).
inscritos(e61,49). inscritos(e62,48). inscritos(e63,210). inscritos(e64,22). inscritos(e65,25). inscritos(e66,30).
inscritos(e67,27). inscritos(e68,23). inscritos(e69,33). inscritos(e70,79). inscritos(e71,16). inscritos(e72,44).
inscritos(e73,42). inscritos(e74,23). inscritos(e75,39). inscritos(e76,24). inscritos(e77,22). inscritos(e78,24).
inscritos(e79,16). inscritos(e80,55). inscritos(e81,53). inscritos(e82,275). inscritos(e83,20). inscritos(e84,24).
inscritos(e85,21). inscritos(e86,118). inscritos(e87,34). inscritos(e88,67). inscritos(e89,25). inscritos(e90,58).
inscritos(e91,197). inscritos(e92,20). inscritos(e93,98). inscritos(e94,79). inscritos(e95,40). inscritos(e96,52).
inscritos(e97,155). inscritos(e98,46). inscritos(e99,46). inscritos(e100,192). inscritos(e101,31). inscritos(e102,21).
inscritos(e103,217). inscritos(e104,230). inscritos(e105,74). inscritos(e106,26). inscritos(e107,68). inscritos(e108,37).
inscritos(e109,153). inscritos(e110,26). inscritos(e111,260). inscritos(e112,54). inscritos(e113,43). inscritos(e114,51).
inscritos(e115,26). inscritos(e116,125). inscritos(e117,21). inscritos(e118,31). inscritos(e119,37). inscritos(e120,44).
vigilantes(e1,1). vigilantes(e2,3). vigilantes(e3,3). vigilantes(e4,1). vigilantes(e5,3). vigilantes(e6,1).
vigilantes(e7,2). vigilantes(e8,3). vigilantes(e9,1). vigilantes(e10,1). vigilantes(e11,1). vigilantes(e12,1).
vigilantes(e13,1). vigilantes(e14,1). vigilantes(e15,2). vigilantes(e16,1). vigilantes(e17,1). vigilantes(e18,1).
vigilantes(e19,2). vigilantes(e20,1). vigilantes(e21,2). vigilantes(e22,1). vigilantes(e23,1). vigilantes(e24,1).
vigilantes(e25,1). vigilantes(e26,2). vigilantes(e27,1). vigilantes(e28,1). vigilantes(e29,1). vigilantes(e30,1).
vigilantes(e31,1). vigilantes(e32,2). vigilantes(e33,1). vigilantes(e34,1). vigilantes(e35,1). vigilantes(e36,1).
vigilantes(e37,1). vigilantes(e38,2). vigilantes(e39,2). vigilantes(e40,1). vigilantes(e41,1). vigilantes(e42,1).
vigilantes(e43,1). vigilantes(e44,1). vigilantes(e45,1). vigilantes(e46,2). vigilantes(e47,1). vigilantes(e48,1).
vigilantes(e49,1). vigilantes(e50,1). vigilantes(e51,1). vigilantes(e52,3). vigilantes(e53,1). vigilantes(e54,2).
vigilantes(e55,3). vigilantes(e56,1). vigilantes(e57,1). vigilantes(e58,1). vigilantes(e59,1). vigilantes(e60,1).
vigilantes(e61,1). vigilantes(e62,1). vigilantes(e63,3). vigilantes(e64,1). vigilantes(e65,1). vigilantes(e66,1).
vigilantes(e67,1). vigilantes(e68,1). vigilantes(e69,1). vigilantes(e70,2). vigilantes(e71,1). vigilantes(e72,1).
vigilantes(e73,1). vigilantes(e74,1). vigilantes(e75,1). vigilantes(e76,1). vigilantes(e77,1). vigilantes(e78,1).
vigilantes(e79,1). vigilantes(e80,1). vigilantes(e81,1). vigilantes(e82,3). vigilantes(e83,1). vigilantes(e84,1).
vigilantes(e85,1). vigilantes(e86,2). vigilantes(e87,1). vigilantes(e88,2). vigilantes(e89,1). vigilantes(e90,1).
vigilantes(e91,3). vigilantes(e92,1). vigilantes(e93,2). vigilantes(e94,2). vigilantes(e95,1). vigilantes(e96,1).
vigilantes(e97,3). vigilantes(e98,1). vigilantes(e99,1). vigilantes(e100,3). vigilantes(e101,1). vigilantes(e102,1).
vigilantes(e103,3). vigilantes(e104,3). vigilantes(e105,2). vigilantes(e106,1). vigilantes(e107,2). vigilantes(e108,1).
vigilantes(e109,3). vigilantes(e110,1). vigilantes(e111,3). vigilantes(e112,1). vigilantes(e113,1). vigilantes(e114,1).
vigilantes(e115,1). vigilantes(e116,2). vigilantes(e117,1). vigilantes(e118,1). vigilantes(e119,1). vigilantes(e120,1).
conflito(e1,e37). conflito(e42,e1). conflito(e1,e47). conflito(e53,e1). conflito(e1,e54). conflito(e63,e1).
conflito(e1,e68). conflito(e1,e71). conflito(e75,e1). conflito(e1,e79). conflito(e89,e1). conflito(e100,e1).
conflito(e1,e102). conflito(e12,e2). conflito(e2,e19). conflito(e54,e2). conflito(e56,e2). conflito(e78,e2).
conflito(e2,e81). conflito(e2,e82). conflito(e2,e97). conflito(e2,e103). conflito(e6,e3). conflito(e19,e3).
conflito(e20,e3). conflito(e60,e3). conflito(e88,e3). conflito(e3,e92). conflito(e3,e96). conflito(e3,e100).
conflito(e101,e3). conflito(e4,e13). conflito(e17,e4). conflito(e43,e4). conflito(e52,e4). conflito(e63,e4).
conflito(e65,e4). conflito(e72,e4). conflito(e85,e4). conflito(e90,e4). conflito(e5,e20). conflito(e47,e5).
conflito(e76,e5). conflito(e117,e5). conflito(e6,e36). conflito(e6,e38). conflito(e6,e79). conflito(e6,e81).
conflito(e87,e6). conflito(e103,e6). conflito(e106,e6). conflito(e107,e6). conflito(e111,e6). conflito(e112,e6).
conflito(e115,e6). conflito(e7,e8). conflito(e7,e11). conflito(e31,e7). conflito(e7,e37). conflito(e7,e39).
conflito(e72,e7). conflito(e75,e7). conflito(e7,e81). conflito(e113,e7). conflito(e32,e8). conflito(e56,e8).
conflito(e58,e8). conflito(e8,e67). conflito(e8,e83). conflito(e8,e85). conflito(e8,e86). conflito(e8,e88).
conflito(e97,e8). conflito(e8,e111). conflito(e9,e42). conflito(e69,e9). conflito(e9,e82). conflito(e96,e9).
conflito(e116,e9). conflito(e118,e9). conflito(e120,e9). conflito(e24,e10). conflito(e34,e10). conflito(e10,e40).
conflito(e10,e58). conflito(e10,e60). conflito(e63,e10). conflito(e74,e10). conflito(e94,e10). conflito(e104,e10).
conflito(e36,e11). conflito(e11,e46). conflito(e51,e11). conflito(e11,e61). conflito(e11,e68). conflito(e11,e74).
conflito(e76,e11). conflito(e11,e77). conflito(e11,e96). conflito(e98,e11). conflito(e12,e26). conflito(e38,e12).
conflito(e12,e67). conflito(e77,e12). conflito(e12,e106). conflito(e12,e117). conflito(e13,e14). conflito(e20,e13).
conflito(e22,e13). conflito(e13,e23). conflito(e59,e13). conflito(e13,e63). conflito(e13,e70). conflito(e13,e73).
conflito(e77,e13). conflito(e91,e13). conflito(e92,e13). conflito(e114,e13). conflito(e62,e14). conflito(e14,e76).
conflito(e14,e112). conflito(e15,e25). conflito(e15,e51). conflito(e15,e58). conflito(e61,e15). conflito(e15,e73).
conflito(e78,e15). conflito(e92,e15). conflito(e101,e15). conflito(e109,e15). conflito(e16,e17). conflito(e16,e36).
conflito(e38,e16). conflito(e55,e16). conflito(e16,e92). conflito(e16,e96). conflito(e16,e107). conflito(e17,e20).
conflito(e17,e22). conflito(e34,e17). conflito(e17,e49). conflito(e17,e54). conflito(e73,e17). conflito(e75,e17).
conflito(e17,e79). conflito(e17,e80). conflito(e17,e90). conflito(e17,e100). conflito(e22,e18). conflito(e18,e40).
conflito(e52,e18). conflito(e18,e57). conflito(e18,e63). conflito(e72,e18). conflito(e73,e18). conflito(e18,e101).
conflito(e19,e39). conflito(e19,e73). conflito(e89,e19). conflito(e19,e100). conflito(e113,e19). conflito(e19,e119).
conflito(e25,e20). conflito(e46,e20). conflito(e49,e20). conflito(e50,e20). conflito(e20,e82). conflito(e88,e20).
conflito(e20,e93). conflito(e99,e20). conflito(e20,e101). conflito(e20,e103). conflito(e21,e29). conflito(e21,e74).
conflito(e21,e78). conflito(e24,e22). conflito(e38,e22). conflito(e22,e39). conflito(e22,e44). conflito(e50,e22).
conflito(e22,e54). conflito(e22,e55). conflito(e57,e22). conflito(e91,e22). conflito(e22,e103). conflito(e117,e22).
conflito(e24,e23). conflito(e23,e33). conflito(e23,e34). conflito(e23,e52). conflito(e59,e23). conflito(e74,e23).
conflito(e23,e103). conflito(e105,e23). conflito(e23,e107). conflito(e110,e23). conflito(e116,e23). conflito(e46,e24).
conflito(e24,e82). conflito(e92,e24). conflito(e93,e24). conflito(e24,e98). conflito(e24,e111). conflito(e24,e112).
conflito(e120,e24). conflito(e32,e25). conflito(e37,e25). conflito(e46,e25). conflito(e47,e25). conflito(e58,e25).
conflito(e100,e25). conflito(e25,e116). conflito(e45,e26). conflito(e26,e49). conflito(e50,e26). conflito(e58,e26).
conflito(e68,e26). conflito(e26,e74). conflito(e26,e86). conflito(e26,e90). conflito(e27,e31). conflito(e36,e27).
conflito(e27,e42). conflito(e27,e49). conflito(e27,e67). conflito(e27,e78). conflito(e113,e27). conflito(e114,e27).
conflito(e119,e27). conflito(e27,e120). conflito(e29,e28). conflito(e28,e33). conflito(e36,e28). conflito(e28,e95).
conflito(e120,e28). conflito(e29,e55). conflito(e65,e29). conflito(e66,e29). conflito(e72,e29). conflito(e81,e29).
conflito(e29,e83). conflito(e29,e94). conflito(e100,e29). conflito(e30,e37). conflito(e68,e30). conflito(e78,e30).
conflito(e30,e81). conflito(e106,e30). conflito(e49,e31). conflito(e56,e31). conflito(e61,e31). conflito(e65,e31).
conflito(e67,e31). conflito(e83,e31). conflito(e31,e90). conflito(e99,e31). conflito(e31,e119). conflito(e32,e50).
conflito(e32,e67). conflito(e32,e69). conflito(e70,e32). conflito(e32,e86). conflito(e32,e91). conflito(e94,e32).
conflito(e102,e32). conflito(e32,e106). conflito(e32,e115). conflito(e33,e34). conflito(e33,e35). conflito(e33,e36).
conflito(e33,e56). conflito(e33,e113). conflito(e116,e33). conflito(e33,e118). conflito(e34,e38). conflito(e51,e34).
conflito(e60,e34). conflito(e34,e61). conflito(e72,e34). conflito(e90,e34). conflito(e97,e34). conflito(e48,e35).
conflito(e59,e35). conflito(e35,e60). conflito(e35,e65). conflito(e35,e81). conflito(e35,e110). conflito(e59,e36).
conflito(e36,e60). conflito(e61,e36). conflito(e62,e36). conflito(e70,e36). conflito(e36,e78). conflito(e36,e99).
conflito(e111,e36). conflito(e36,e113). conflito(e36,e119). conflito(e120,e36). conflito(e52,e37). conflito(e37,e80).
conflito(e111,e37). conflito(e37,e114). conflito(e115,e37). conflito(e38,e67). conflito(e68,e38). conflito(e73,e38).
conflito(e38,e89). conflito(e97,e38). conflito(e99,e38). conflito(e110,e38). conflito(e38,e112). conflito(e46,e39).
conflito(e39,e52). conflito(e58,e39). conflito(e71,e39). conflito(e88,e39). conflito(e39,e98). conflito(e41,e40).
conflito(e73,e40). conflito(e77,e40). conflito(e79,e40). conflito(e84,e40). conflito(e40,e92). conflito(e93,e40).
conflito(e96,e40). conflito(e60,e41). conflito(e61,e41). conflito(e82,e41). conflito(e42,e43). conflito(e51,e42).
conflito(e56,e42). conflito(e85,e42). conflito(e42,e86). conflito(e43,e44). conflito(e43,e56). conflito(e60,e43).
conflito(e43,e63). conflito(e43,e73). conflito(e43,e91). conflito(e93,e43). conflito(e101,e43). conflito(e44,e60).
conflito(e70,e44). conflito(e44,e91). conflito(e44,e95). conflito(e107,e44). conflito(e44,e110). conflito(e44,e113).
conflito(e44,e114). conflito(e44,e116). conflito(e45,e50). conflito(e45,e64). conflito(e45,e70). conflito(e45,e72).
conflito(e45,e79). conflito(e45,e80). conflito(e87,e45). conflito(e45,e89). conflito(e90,e45). conflito(e93,e45).
conflito(e94,e45). conflito(e48,e46). conflito(e46,e55). conflito(e57,e46). conflito(e81,e46). conflito(e46,e94).
conflito(e46,e109). conflito(e47,e59). conflito(e60,e47). conflito(e47,e63). conflito(e64,e47). conflito(e47,e73).
conflito(e82,e47). conflito(e47,e84). conflito(e90,e47). conflito(e98,e47). conflito(e52,e48). conflito(e48,e61).
conflito(e85,e48). conflito(e87,e48). conflito(e48,e93). conflito(e48,e104). conflito(e49,e51). conflito(e56,e49).
conflito(e71,e49). conflito(e82,e49). conflito(e89,e49). conflito(e49,e93). conflito(e105,e49). conflito(e49,e109).
conflito(e49,e112). conflito(e50,e54). conflito(e64,e50). conflito(e50,e68). conflito(e50,e93). conflito(e50,e104).
conflito(e105,e50). conflito(e50,e111). conflito(e114,e50). conflito(e59,e51). conflito(e51,e79). conflito(e51,e97).
conflito(e102,e51). conflito(e51,e118). conflito(e52,e56). conflito(e52,e79). conflito(e52,e82). conflito(e84,e52).
conflito(e52,e89). conflito(e52,e93). conflito(e96,e52). conflito(e98,e52). conflito(e102,e52). conflito(e56,e53).
conflito(e69,e53). conflito(e73,e53). conflito(e53,e77). conflito(e53,e88). conflito(e53,e98). conflito(e104,e53).
conflito(e105,e53). conflito(e53,e107). conflito(e113,e53). conflito(e53,e115). conflito(e66,e54). conflito(e54,e79).
conflito(e54,e91). conflito(e67,e55). conflito(e55,e75). conflito(e112,e55). conflito(e56,e70). conflito(e56,e75).
conflito(e56,e77). conflito(e83,e56). conflito(e56,e103). conflito(e56,e108). conflito(e56,e117). conflito(e119,e56).
conflito(e57,e73). conflito(e81,e57). conflito(e92,e57). conflito(e57,e111). conflito(e119,e57). conflito(e70,e58).
conflito(e58,e74). conflito(e58,e111). conflito(e112,e58). conflito(e59,e78). conflito(e59,e80). conflito(e83,e59).
conflito(e88,e59). conflito(e60,e61). conflito(e60,e64). conflito(e79,e60). conflito(e89,e60). conflito(e97,e60).
conflito(e107,e60). conflito(e60,e115). conflito(e64,e61). conflito(e67,e61). conflito(e83,e61). conflito(e92,e61).
conflito(e61,e106). conflito(e62,e84). conflito(e94,e62). conflito(e63,e94). conflito(e101,e63). conflito(e105,e63).
conflito(e110,e63). conflito(e63,e112). conflito(e63,e117). conflito(e63,e120). conflito(e65,e64). conflito(e72,e64).
conflito(e64,e73). conflito(e74,e64). conflito(e64,e85). conflito(e91,e64). conflito(e64,e94). conflito(e100,e64).
conflito(e72,e65). conflito(e76,e65). conflito(e85,e65). conflito(e118,e65). conflito(e65,e120). conflito(e66,e80).
conflito(e66,e86). conflito(e87,e66). conflito(e91,e66). conflito(e66,e98). conflito(e66,e108). conflito(e67,e82).
conflito(e67,e83). conflito(e67,e89). conflito(e67,e93). conflito(e71,e68). conflito(e74,e68). conflito(e81,e68).
conflito(e68,e84). conflito(e99,e68). conflito(e106,e68). conflito(e107,e68). conflito(e69,e86). conflito(e108,e69).
conflito(e71,e70). conflito(e86,e70). conflito(e70,e94). conflito(e102,e70). conflito(e103,e70). conflito(e70,e109).
conflito(e70,e111). conflito(e70,e114). conflito(e94,e71). conflito(e99,e71). conflito(e71,e101). conflito(e118,e71).
conflito(e71,e120). conflito(e72,e85). conflito(e72,e93). conflito(e72,e101). conflito(e103,e72). conflito(e72,e107).
conflito(e72,e120). conflito(e73,e80). conflito(e90,e73). conflito(e73,e94). conflito(e100,e73). conflito(e110,e73).
conflito(e118,e73). conflito(e74,e81). conflito(e118,e74). conflito(e75,e81). conflito(e75,e119). conflito(e120,e75).
conflito(e82,e76). conflito(e85,e76). conflito(e89,e76). conflito(e76,e91). conflito(e76,e93). conflito(e76,e100).
conflito(e76,e109). conflito(e111,e76). conflito(e117,e76). conflito(e76,e118). conflito(e119,e76). conflito(e77,e81).
conflito(e92,e77). conflito(e93,e77). conflito(e107,e77). conflito(e108,e77). conflito(e77,e117). conflito(e82,e78).
conflito(e78,e107). conflito(e112,e78). conflito(e78,e116). conflito(e85,e79). conflito(e79,e104). conflito(e113,e79).
conflito(e80,e84). conflito(e91,e80). conflito(e80,e95). conflito(e85,e81). conflito(e81,e92). conflito(e114,e81).
conflito(e82,e101). conflito(e82,e107). conflito(e82,e109). conflito(e82,e111). conflito(e113,e82). conflito(e82,e116).
conflito(e85,e83). conflito(e83,e102). conflito(e97,e84). conflito(e111,e84). conflito(e115,e84). conflito(e118,e84).
conflito(e95,e85). conflito(e98,e85). conflito(e100,e85). conflito(e101,e85). conflito(e110,e85). conflito(e112,e85).
conflito(e85,e113). conflito(e92,e86). conflito(e88,e87). conflito(e90,e87). conflito(e87,e93). conflito(e114,e87).
conflito(e88,e89). conflito(e88,e99). conflito(e104,e88). conflito(e95,e89). conflito(e89,e115). conflito(e90,e110).
conflito(e92,e91). conflito(e91,e107). conflito(e92,e111). conflito(e93,e96). conflito(e99,e95). conflito(e96,e117).
conflito(e99,e97). conflito(e97,e106). conflito(e109,e97). conflito(e97,e118). conflito(e98,e112). conflito(e99,e109).
conflito(e105,e100). conflito(e113,e100). conflito(e120,e101). conflito(e102,e108). conflito(e102,e112). conflito(e110,e106).
conflito(e106,e111). conflito(e106,e114). conflito(e106,e120). conflito(e109,e119). conflito(e114,e110). conflito(e111,e118).
conflito(e112,e114). conflito(e114,e117). conflito(e120,e119).
fixado(e48,13). fixado(e67,3). fixado(e93,16). fixado(e102,14). fixado(e113,2). fixado(e118,10).
max_vigias(d1,5). max_vigias(d2,4). max_vigias(d3,4). max_vigias(d4,4). max_vigias(d5,4). max_vigias(d6,5).
max_vigias(d7,5). max_vigias(d8,5). max_vigias(d9,4). max_vigias(d10,4). max_vigias(d11,4). max_vigias(d12,4).
max_vigias(d13,5). max_vigias(d14,5). max_vigias(d15,4). max_vigias(d16,6). max_vigias(d17,5). max_vigias(d18,4).
max_vigias(d19,5). max_vigias(d20,5). max_vigias(d21,5). max_vigias(d22,4). max_vigias(d23,4). max_vigias(d24,5).
max_vigias(d25,4). max_vigias(d26,4). max_vigias(d27,5). max_vigias(d28,5). max_vigias(d29,5). max_vigias(d30,5).
max_vigias(d31,5). max_vigias(d32,5). max_vigias(d33,5). max_vigias(d34,5). max_vigias(d35,5). max_vigias(d36,4).
max_vigias(d37,5). max_vigias(d38,5). max_vigias(d39,5). max_vigias(d40,5).
indisponivel(d1,5). indisponivel(d1,6). indisponivel(d1,16). indisponivel(d2,1). indisponivel(d2,2). indisponivel(d3,7).
indisponivel(d3,18). indisponivel(d3,19). indisponivel(d4,14). indisponivel(d5,5). indisponivel(d5,7). indisponivel(d5,18).
indisponivel(d6,7). indisponivel(d7,1). indisponivel(d7,7). indisponivel(d7,8). indisponivel(d8,9). indisponivel(d8,14).
indisponivel(d8,15). indisponivel(d9,1). indisponivel(d9,14). indisponivel(d10,1). indisponivel(d10,10). indisponivel(d10,17).
indisponivel(d10,20). indisponivel(d11,6). indisponivel(d11,9). indisponivel(d11,10). indisponivel(d11,11). indisponivel(d11,13).
indisponivel(d11,20). indisponivel(d12,1). indisponivel(d12,3). indisponivel(d12,7). indisponivel(d13,6). indisponivel(d13,14).
indisponivel(d13,15). indisponivel(d14,9). indisponivel(d15,16). indisponivel(d16,4). indisponivel(d16,6). indisponivel(d17,19).
indisponivel(d17,20). indisponivel(d19,1). indisponivel(d19,5). indisponivel(d20,6). indisponivel(d21,16). indisponivel(d21,18).
indisponivel(d21,20). indisponivel(d22,2). indisponivel(d22,5). indisponivel(d23,5). indisponivel(d24,20). indisponivel(d25,14).
indisponivel(d25,16). indisponivel(d26,1). indisponivel(d26,5). indisponivel(d26,10). indisponivel(d27,2). indisponivel(d27,8).
indisponivel(d27,14). indisponivel(d27,20). indisponivel(d28,1). indisponivel(d29,16). indisponivel(d29,18). indisponivel(d30,9).
indisponivel(d30,12). indisponivel(d30,13). indisponivel(d31,3). indisponivel(d31,8). indisponivel(d33,5). indisponivel(d33,6).
indisponivel(d35,14). indisponivel(d35,20). indisponivel(d36,5). indisponivel(d36,8). indisponivel(d36,9). indisponivel(d36,12).
indisponivel(d37,4). indisponivel(d37,5). indisponivel(d37,6). indisponivel(d37,7). indisponivel(d38,6). indisponivel(d38,11).
indisponivel(d38,18). indisponivel(d39,4). indisponivel(d40,5). indisponivel(d40,10). indisponivel(d40,12).