
type(ind,n0).

type(X,n1) :- type(X,n0).
type(X,i1) :- type(X,n0).
type(X,j1) :- type(X,n0).
type(X,n2) :- type(X,n1).
type(X,i2) :- type(X,n1).
type(X,j2) :- type(X,n1).
type(X,n3) :- type(X,n2).
type(X,i3) :- type(X,n2).
type(X,j3) :- type(X,n2).
type(X,n4) :- type(X,n3).
type(X,i4) :- type(X,n3).
type(X,j4) :- type(X,n3).
type(X,n5) :- type(X,n4).
type(X,i5) :- type(X,n4).
type(X,j5) :- type(X,n4).
type(X,n6) :- type(X,n5).
type(X,i6) :- type(X,n5).
type(X,j6) :- type(X,n5).
type(X,n7) :- type(X,n6).
type(X,i7) :- type(X,n6).
type(X,j7) :- type(X,n6).
type(X,n8) :- type(X,n7).
type(X,i8) :- type(X,n7).
type(X,j8) :- type(X,n7).
type(X,n9) :- type(X,n8).
type(X,i9) :- type(X,n8).
type(X,j9) :- type(X,n8).
type(X,n10) :- type(X,n9).
type(X,i10) :- type(X,n9).
type(X,j10) :- type(X,n9).
type(X,n11) :- type(X,n10).
type(X,i11) :- type(X,n10).
type(X,j11) :- type(X,n10).
type(X,n12) :- type(X,n11).
type(X,i12) :- type(X,n11).
type(X,j12) :- type(X,n11).
type(X,n13) :- type(X,n12).
type(X,i13) :- type(X,n12).
type(X,j13) :- type(X,n12).
type(X,n14) :- type(X,n13).
type(X,i14) :- type(X,n13).
type(X,j14) :- type(X,n13).
type(X,n15) :- type(X,n14).
type(X,i15) :- type(X,n14).
type(X,j15) :- type(X,n14).
type(X,n16) :- type(X,n15).
type(X,i16) :- type(X,n15).
type(X,j16) :- type(X,n15).
type(X,n17) :- type(X,n16).
type(X,i17) :- type(X,n16).
type(X,j17) :- type(X,n16).
type(X,n18) :- type(X,n17).
type(X,i18) :- type(X,n17).
type(X,j18) :- type(X,n17).
type(X,n19) :- type(X,n18).
type(X,i19) :- type(X,n18).
type(X,j19) :- type(X,n18).
type(X,n20) :- type(X,n19).
type(X,i20) :- type(X,n19).
type(X,j20) :- type(X,n19).
type(X,n21) :- type(X,n20).
type(X,i21) :- type(X,n20).
type(X,j21) :- type(X,n20).
type(X,n22) :- type(X,n21).
type(X,i22) :- type(X,n21).
type(X,j22) :- type(X,n21).
type(X,n23) :- type(X,n22).
type(X,i23) :- type(X,n22).
type(X,j23) :- type(X,n22).
type(X,n24) :- type(X,n23).
type(X,i24) :- type(X,n23).
type(X,j24) :- type(X,n23).
type(X,n25) :- type(X,n24).
type(X,i25) :- type(X,n24).
type(X,j25) :- type(X,n24).
type(X,n26) :- type(X,n25).
type(X,i26) :- type(X,n25).
type(X,j26) :- type(X,n25).
type(X,n27) :- type(X,n26).
type(X,i27) :- type(X,n26).
type(X,j27) :- type(X,n26).
type(X,n28) :- type(X,n27).
type(X,i28) :- type(X,n27).
type(X,j28) :- type(X,n27).
type(X,n29) :- type(X,n28).
type(X,i29) :- type(X,n28).
type(X,j29) :- type(X,n28).
type(X,n30) :- type(X,n29).
type(X,i30) :- type(X,n29).
type(X,j30) :- type(X,n29).
type(X,n31) :- type(X,n30).
type(X,i31) :- type(X,n30).
type(X,j31) :- type(X,n30).
type(X,n32) :- type(X,n31).
type(X,i32) :- type(X,n31).
type(X,j32) :- type(X,n31).
type(X,n33) :- type(X,n32).
type(X,i33) :- type(X,n32).
type(X,j33) :- type(X,n32).
type(X,n34) :- type(X,n33).
type(X,i34) :- type(X,n33).
type(X,j34) :- type(X,n33).
type(X,n35) :- type(X,n34).
type(X,i35) :- type(X,n34).
type(X,j35) :- type(X,n34).
type(X,n36) :- type(X,n35).
type(X,i36) :- type(X,n35).
type(X,j36) :- type(X,n35).
type(X,n37) :- type(X,n36).
type(X,i37) :- type(X,n36).
type(X,j37) :- type(X,n36).
type(X,n38) :- type(X,n37).
type(X,i38) :- type(X,n37).
type(X,j38) :- type(X,n37).
type(X,n39) :- type(X,n38).
type(X,i39) :- type(X,n38).
type(X,j39) :- type(X,n38).
type(X,n40) :- type(X,n39).
type(X,i40) :- type(X,n39).
type(X,j40) :- type(X,n39).
type(X,n41) :- type(X,n40).
type(X,i41) :- type(X,n40).
type(X,j41) :- type(X,n40).
type(X,n42) :- type(X,n41).
type(X,i42) :- type(X,n41).
type(X,j42) :- type(X,n41).
type(X,n43) :- type(X,n42).
type(X,i43) :- type(X,n42).
type(X,j43) :- type(X,n42).
type(X,n44) :- type(X,n43).
type(X,i44) :- type(X,n43).
type(X,j44) :- type(X,n43).
type(X,n45) :- type(X,n44).
type(X,i45) :- type(X,n44).
type(X,j45) :- type(X,n44).
type(X,n46) :- type(X,n45).
type(X,i46) :- type(X,n45).
type(X,j46) :- type(X,n45).
type(X,n47) :- type(X,n46).
type(X,i47) :- type(X,n46).
type(X,j47) :- type(X,n46).
type(X,n48) :- type(X,n47).
type(X,i48) :- type(X,n47).
type(X,j48) :- type(X,n47).
type(X,n49) :- type(X,n48).
type(X,i49) :- type(X,n48).
type(X,j49) :- type(X,n48).
type(X,n50) :- type(X,n49).
type(X,i50) :- type(X,n49).
type(X,j50) :- type(X,n49).
type(X,n51) :- type(X,n50).
type(X,i51) :- type(X,n50).
type(X,j51) :- type(X,n50).
type(X,n52) :- type(X,n51).
type(X,i52) :- type(X,n51).
type(X,j52) :- type(X,n51).
type(X,n53) :- type(X,n52).
type(X,i53) :- type(X,n52).
type(X,j53) :- type(X,n52).
type(X,n54) :- type(X,n53).
type(X,i54) :- type(X,n53).
type(X,j54) :- type(X,n53).
type(X,n55) :- type(X,n54).
type(X,i55) :- type(X,n54).
type(X,j55) :- type(X,n54).
type(X,n56) :- type(X,n55).
type(X,i56) :- type(X,n55).
type(X,j56) :- type(X,n55).
type(X,n57) :- type(X,n56).
type(X,i57) :- type(X,n56).
type(X,j57) :- type(X,n56).
type(X,n58) :- type(X,n57).
type(X,i58) :- type(X,n57).
type(X,j58) :- type(X,n57).
type(X,n59) :- type(X,n58).
type(X,i59) :- type(X,n58).
type(X,j59) :- type(X,n58).
type(X,n60) :- type(X,n59).
type(X,i60) :- type(X,n59).
type(X,j60) :- type(X,n59).
type(X,n61) :- type(X,n60).
type(X,i61) :- type(X,n60).
type(X,j61) :- type(X,n60).
type(X,n62) :- type(X,n61).
type(X,i62) :- type(X,n61).
type(X,j62) :- type(X,n61).
type(X,n63) :- type(X,n62).
type(X,i63) :- type(X,n62).
type(X,j63) :- type(X,n62).
type(X,n64) :- type(X,n63).
type(X,i64) :- type(X,n63).
type(X,j64) :- type(X,n63).
type(X,n65) :- type(X,n64).
type(X,i65) :- type(X,n64).
type(X,j65) :- type(X,n64).
type(X,n66) :- type(X,n65).
type(X,i66) :- type(X,n65).
type(X,j66) :- type(X,n65).
type(X,n67) :- type(X,n66).
type(X,i67) :- type(X,n66).
type(X,j67) :- type(X,n66).
type(X,n68) :- type(X,n67).
type(X,i68) :- type(X,n67).
type(X,j68) :- type(X,n67).
type(X,n69) :- type(X,n68).
type(X,i69) :- type(X,n68).
type(X,j69) :- type(X,n68).
type(X,n70) :- type(X,n69).
type(X,i70) :- type(X,n69).
type(X,j70) :- type(X,n69).
type(X,n71) :- type(X,n70).
type(X,i71) :- type(X,n70).
type(X,j71) :- type(X,n70).
type(X,n72) :- type(X,n71).
type(X,i72) :- type(X,n71).
type(X,j72) :- type(X,n71).
type(X,n73) :- type(X,n72).
type(X,i73) :- type(X,n72).
type(X,j73) :- type(X,n72).
type(X,n74) :- type(X,n73).
type(X,i74) :- type(X,n73).
type(X,j74) :- type(X,n73).
type(X,n75) :- type(X,n74).
type(X,i75) :- type(X,n74).
type(X,j75) :- type(X,n74).
type(X,n76) :- type(X,n75).
type(X,i76) :- type(X,n75).
type(X,j76) :- type(X,n75).
type(X,n77) :- type(X,n76).
type(X,i77) :- type(X,n76).
type(X,j77) :- type(X,n76).
type(X,n78) :- type(X,n77).
type(X,i78) :- type(X,n77).
type(X,j78) :- type(X,n77).
type(X,n79) :- type(X,n78).
type(X,i79) :- type(X,n78).
type(X,j79) :- type(X,n78).
type(X,n80) :- type(X,n79).
type(X,i80) :- type(X,n79).
type(X,j80) :- type(X,n79).
type(X,n81) :- type(X,n80).
type(X,i81) :- type(X,n80).
type(X,j81) :- type(X,n80).
type(X,n82) :- type(X,n81).
type(X,i82) :- type(X,n81).
type(X,j82) :- type(X,n81).
type(X,n83) :- type(X,n82).
type(X,i83) :- type(X,n82).
type(X,j83) :- type(X,n82).
type(X,n84) :- type(X,n83).
type(X,i84) :- type(X,n83).
type(X,j84) :- type(X,n83).
type(X,n85) :- type(X,n84).
type(X,i85) :- type(X,n84).
type(X,j85) :- type(X,n84).
type(X,n86) :- type(X,n85).
type(X,i86) :- type(X,n85).
type(X,j86) :- type(X,n85).
type(X,n87) :- type(X,n86).
type(X,i87) :- type(X,n86).
type(X,j87) :- type(X,n86).
type(X,n88) :- type(X,n87).
type(X,i88) :- type(X,n87).
type(X,j88) :- type(X,n87).
type(X,n89) :- type(X,n88).
type(X,i89) :- type(X,n88).
type(X,j89) :- type(X,n88).
type(X,n90) :- type(X,n89).
type(X,i90) :- type(X,n89).
type(X,j90) :- type(X,n89).
type(X,n91) :- type(X,n90).
type(X,i91) :- type(X,n90).
type(X,j91) :- type(X,n90).
type(X,n92) :- type(X,n91).
type(X,i92) :- type(X,n91).
type(X,j92) :- type(X,n91).
type(X,n93) :- type(X,n92).
type(X,i93) :- type(X,n92).
type(X,j93) :- type(X,n92).
type(X,n94) :- type(X,n93).
type(X,i94) :- type(X,n93).
type(X,j94) :- type(X,n93).
type(X,n95) :- type(X,n94).
type(X,i95) :- type(X,n94).
type(X,j95) :- type(X,n94).
type(X,n96) :- type(X,n95).
type(X,i96) :- type(X,n95).
type(X,j96) :- type(X,n95).
type(X,n97) :- type(X,n96).
type(X,i97) :- type(X,n96).
type(X,j97) :- type(X,n96).
type(X,n98) :- type(X,n97).
type(X,i98) :- type(X,n97).
type(X,j98) :- type(X,n97).
type(X,n99) :- type(X,n98).
type(X,i99) :- type(X,n98).
type(X,j99) :- type(X,n98).
type(X,n100) :- type(X,n99).
type(X,i100) :- type(X,n99).
type(X,j100) :- type(X,n99).
type(X,n101) :- type(X,n100).
type(X,i101) :- type(X,n100).
type(X,j101) :- type(X,n100).
type(X,n102) :- type(X,n101).
type(X,i102) :- type(X,n101).
type(X,j102) :- type(X,n101).
type(X,n103) :- type(X,n102).
type(X,i103) :- type(X,n102).
type(X,j103) :- type(X,n102).
type(X,n104) :- type(X,n103).
type(X,i104) :- type(X,n103).
type(X,j104) :- type(X,n103).
type(X,n105) :- type(X,n104).
type(X,i105) :- type(X,n104).
type(X,j105) :- type(X,n104).
type(X,n106) :- type(X,n105).
type(X,i106) :- type(X,n105).
type(X,j106) :- type(X,n105).
type(X,n107) :- type(X,n106).
type(X,i107) :- type(X,n106).
type(X,j107) :- type(X,n106).
type(X,n108) :- type(X,n107).
type(X,i108) :- type(X,n107).
type(X,j108) :- type(X,n107).
type(X,n109) :- type(X,n108).
type(X,i109) :- type(X,n108).
type(X,j109) :- type(X,n108).
type(X,n110) :- type(X,n109).
type(X,i110) :- type(X,n109).
type(X,j110) :- type(X,n109).
type(X,n111) :- type(X,n110).
type(X,i111) :- type(X,n110).
type(X,j111) :- type(X,n110).
type(X,n112) :- type(X,n111).
type(X,i112) :- type(X,n111).
type(X,j112) :- type(X,n111).
type(X,n113) :- type(X,n112).
type(X,i113) :- type(X,n112).
type(X,j113) :- type(X,n112).
type(X,n114) :- type(X,n113).
type(X,i114) :- type(X,n113).
type(X,j114) :- type(X,n113).
type(X,n115) :- type(X,n114).
type(X,i115) :- type(X,n114).
type(X,j115) :- type(X,n114).
type(X,n116) :- type(X,n115).
type(X,i116) :- type(X,n115).
type(X,j116) :- type(X,n115).
type(X,n117) :- type(X,n116).
type(X,i117) :- type(X,n116).
type(X,j117) :- type(X,n116).
type(X,n118) :- type(X,n117).
type(X,i118) :- type(X,n117).
type(X,j118) :- type(X,n117).
type(X,n119) :- type(X,n118).
type(X,i119) :- type(X,n118).
type(X,j119) :- type(X,n118).
type(X,n120) :- type(X,n119).
type(X,i120) :- type(X,n119).
type(X,j120) :- type(X,n119).
type(X,n121) :- type(X,n120).
type(X,i121) :- type(X,n120).
type(X,j121) :- type(X,n120).
type(X,n122) :- type(X,n121).
type(X,i122) :- type(X,n121).
type(X,j122) :- type(X,n121).
type(X,n123) :- type(X,n122).
type(X,i123) :- type(X,n122).
type(X,j123) :- type(X,n122).
type(X,n124) :- type(X,n123).
type(X,i124) :- type(X,n123).
type(X,j124) :- type(X,n123).
type(X,n125) :- type(X,n124).
type(X,i125) :- type(X,n124).
type(X,j125) :- type(X,n124).
type(X,n126) :- type(X,n125).
type(X,i126) :- type(X,n125).
type(X,j126) :- type(X,n125).
type(X,n127) :- type(X,n126).
type(X,i127) :- type(X,n126).
type(X,j127) :- type(X,n126).
type(X,n128) :- type(X,n127).
type(X,i128) :- type(X,n127).
type(X,j128) :- type(X,n127).
type(X,n129) :- type(X,n128).
type(X,i129) :- type(X,n128).
type(X,j129) :- type(X,n128).
type(X,n130) :- type(X,n129).
type(X,i130) :- type(X,n129).
type(X,j130) :- type(X,n129).
type(X,n131) :- type(X,n130).
type(X,i131) :- type(X,n130).
type(X,j131) :- type(X,n130).
type(X,n132) :- type(X,n131).
type(X,i132) :- type(X,n131).
type(X,j132) :- type(X,n131).
type(X,n133) :- type(X,n132).
type(X,i133) :- type(X,n132).
type(X,j133) :- type(X,n132).
type(X,n134) :- type(X,n133).
type(X,i134) :- type(X,n133).
type(X,j134) :- type(X,n133).
type(X,n135) :- type(X,n134).
type(X,i135) :- type(X,n134).
type(X,j135) :- type(X,n134).
type(X,n136) :- type(X,n135).
type(X,i136) :- type(X,n135).
type(X,j136) :- type(X,n135).
type(X,n137) :- type(X,n136).
type(X,i137) :- type(X,n136).
type(X,j137) :- type(X,n136).
type(X,n138) :- type(X,n137).
type(X,i138) :- type(X,n137).
type(X,j138) :- type(X,n137).
type(X,n139) :- type(X,n138).
type(X,i139) :- type(X,n138).
type(X,j139) :- type(X,n138).
type(X,n140) :- type(X,n139).
type(X,i140) :- type(X,n139).
type(X,j140) :- type(X,n139).
type(X,n141) :- type(X,n140).
type(X,i141) :- type(X,n140).
type(X,j141) :- type(X,n140).
type(X,n142) :- type(X,n141).
type(X,i142) :- type(X,n141).
type(X,j142) :- type(X,n141).
type(X,n143) :- type(X,n142).
type(X,i143) :- type(X,n142).
type(X,j143) :- type(X,n142).
type(X,n144) :- type(X,n143).
type(X,i144) :- type(X,n143).
type(X,j144) :- type(X,n143).
type(X,n145) :- type(X,n144).
type(X,i145) :- type(X,n144).
type(X,j145) :- type(X,n144).
type(X,n146) :- type(X,n145).
type(X,i146) :- type(X,n145).
type(X,j146) :- type(X,n145).
type(X,n147) :- type(X,n146).
type(X,i147) :- type(X,n146).
type(X,j147) :- type(X,n146).
type(X,n148) :- type(X,n147).
type(X,i148) :- type(X,n147).
type(X,j148) :- type(X,n147).
type(X,n149) :- type(X,n148).
type(X,i149) :- type(X,n148).
type(X,j149) :- type(X,n148).
type(X,n150) :- type(X,n149).
type(X,i150) :- type(X,n149).
type(X,j150) :- type(X,n149).
type(X,n151) :- type(X,n150).
type(X,i151) :- type(X,n150).
type(X,j151) :- type(X,n150).
type(X,n152) :- type(X,n151).
type(X,i152) :- type(X,n151).
type(X,j152) :- type(X,n151).
type(X,n153) :- type(X,n152).
type(X,i153) :- type(X,n152).
type(X,j153) :- type(X,n152).
type(X,n154) :- type(X,n153).
type(X,i154) :- type(X,n153).
type(X,j154) :- type(X,n153).
type(X,n155) :- type(X,n154).
type(X,i155) :- type(X,n154).
type(X,j155) :- type(X,n154).
type(X,n156) :- type(X,n155).
type(X,i156) :- type(X,n155).
type(X,j156) :- type(X,n155).
type(X,n157) :- type(X,n156).
type(X,i157) :- type(X,n156).
type(X,j157) :- type(X,n156).
type(X,n158) :- type(X,n157).
type(X,i158) :- type(X,n157).
type(X,j158) :- type(X,n157).
type(X,n159) :- type(X,n158).
type(X,i159) :- type(X,n158).
type(X,j159) :- type(X,n158).
type(X,n160) :- type(X,n159).
type(X,i160) :- type(X,n159).
type(X,j160) :- type(X,n159).
type(X,n161) :- type(X,n160).
type(X,i161) :- type(X,n160).
type(X,j161) :- type(X,n160).
type(X,n162) :- type(X,n161).
type(X,i162) :- type(X,n161).
type(X,j162) :- type(X,n161).
type(X,n163) :- type(X,n162).
type(X,i163) :- type(X,n162).
type(X,j163) :- type(X,n162).
type(X,n164) :- type(X,n163).
type(X,i164) :- type(X,n163).
type(X,j164) :- type(X,n163).
type(X,n165) :- type(X,n164).
type(X,i165) :- type(X,n164).
type(X,j165) :- type(X,n164).
type(X,n166) :- type(X,n165).
type(X,i166) :- type(X,n165).
type(X,j166) :- type(X,n165).
type(X,n167) :- type(X,n166).
type(X,i167) :- type(X,n166).
type(X,j167) :- type(X,n166).
type(X,n168) :- type(X,n167).
type(X,i168) :- type(X,n167).
type(X,j168) :- type(X,n167).
type(X,n169) :- type(X,n168).
type(X,i169) :- type(X,n168).
type(X,j169) :- type(X,n168).
type(X,n170) :- type(X,n169).
type(X,i170) :- type(X,n169).
type(X,j170) :- type(X,n169).
type(X,n171) :- type(X,n170).
type(X,i171) :- type(X,n170).
type(X,j171) :- type(X,n170).
type(X,n172) :- type(X,n171).
type(X,i172) :- type(X,n171).
type(X,j172) :- type(X,n171).
type(X,n173) :- type(X,n172).
type(X,i173) :- type(X,n172).
type(X,j173) :- type(X,n172).
type(X,n174) :- type(X,n173).
type(X,i174) :- type(X,n173).
type(X,j174) :- type(X,n173).
type(X,n175) :- type(X,n174).
type(X,i175) :- type(X,n174).
type(X,j175) :- type(X,n174).
type(X,n176) :- type(X,n175).
type(X,i176) :- type(X,n175).
type(X,j176) :- type(X,n175).
type(X,n177) :- type(X,n176).
type(X,i177) :- type(X,n176).
type(X,j177) :- type(X,n176).
type(X,n178) :- type(X,n177).
type(X,i178) :- type(X,n177).
type(X,j178) :- type(X,n177).
type(X,n179) :- type(X,n178).
type(X,i179) :- type(X,n178).
type(X,j179) :- type(X,n178).
type(X,n180) :- type(X,n179).
type(X,i180) :- type(X,n179).
type(X,j180) :- type(X,n179).
type(X,n181) :- type(X,n180).
type(X,i181) :- type(X,n180).
type(X,j181) :- type(X,n180).
type(X,n182) :- type(X,n181).
type(X,i182) :- type(X,n181).
type(X,j182) :- type(X,n181).
type(X,n183) :- type(X,n182).
type(X,i183) :- type(X,n182).
type(X,j183) :- type(X,n182).
type(X,n184) :- type(X,n183).
type(X,i184) :- type(X,n183).
type(X,j184) :- type(X,n183).
type(X,n185) :- type(X,n184).
type(X,i185) :- type(X,n184).
type(X,j185) :- type(X,n184).
type(X,n186) :- type(X,n185).
type(X,i186) :- type(X,n185).
type(X,j186) :- type(X,n185).
type(X,n187) :- type(X,n186).
type(X,i187) :- type(X,n186).
type(X,j187) :- type(X,n186).
type(X,n188) :- type(X,n187).
type(X,i188) :- type(X,n187).
type(X,j188) :- type(X,n187).
type(X,n189) :- type(X,n188).
type(X,i189) :- type(X,n188).
type(X,j189) :- type(X,n188).
type(X,n190) :- type(X,n189).
type(X,i190) :- type(X,n189).
type(X,j190) :- type(X,n189).
type(X,n191) :- type(X,n190).
type(X,i191) :- type(X,n190).
type(X,j191) :- type(X,n190).
type(X,n192) :- type(X,n191).
type(X,i192) :- type(X,n191).
type(X,j192) :- type(X,n191).
type(X,n193) :- type(X,n192).
type(X,i193) :- type(X,n192).
type(X,j193) :- type(X,n192).
type(X,n194) :- type(X,n193).
type(X,i194) :- type(X,n193).
type(X,j194) :- type(X,n193).
type(X,n195) :- type(X,n194).
type(X,i195) :- type(X,n194).
type(X,j195) :- type(X,n194).
type(X,n196) :- type(X,n195).
type(X,i196) :- type(X,n195).
type(X,j196) :- type(X,n195).
type(X,n197) :- type(X,n196).
type(X,i197) :- type(X,n196).
type(X,j197) :- type(X,n196).
type(X,n198) :- type(X,n197).
type(X,i198) :- type(X,n197).
type(X,j198) :- type(X,n197).
type(X,n199) :- type(X,n198).
type(X,i199) :- type(X,n198).
type(X,j199) :- type(X,n198).
type(X,n200) :- type(X,n199).
type(X,i200) :- type(X,n199).
type(X,j200) :- type(X,n199).
type(X,n201) :- type(X,n200).
type(X,i201) :- type(X,n200).
type(X,j201) :- type(X,n200).
type(X,n202) :- type(X,n201).
type(X,i202) :- type(X,n201).
type(X,j202) :- type(X,n201).
type(X,n203) :- type(X,n202).
type(X,i203) :- type(X,n202).
type(X,j203) :- type(X,n202).
type(X,n204) :- type(X,n203).
type(X,i204) :- type(X,n203).
type(X,j204) :- type(X,n203).
type(X,n205) :- type(X,n204).
type(X,i205) :- type(X,n204).
type(X,j205) :- type(X,n204).
type(X,n206) :- type(X,n205).
type(X,i206) :- type(X,n205).
type(X,j206) :- type(X,n205).
type(X,n207) :- type(X,n206).
type(X,i207) :- type(X,n206).
type(X,j207) :- type(X,n206).
type(X,n208) :- type(X,n207).
type(X,i208) :- type(X,n207).
type(X,j208) :- type(X,n207).
type(X,n209) :- type(X,n208).
type(X,i209) :- type(X,n208).
type(X,j209) :- type(X,n208).
type(X,n210) :- type(X,n209).
type(X,i210) :- type(X,n209).
type(X,j210) :- type(X,n209).
type(X,n211) :- type(X,n210).
type(X,i211) :- type(X,n210).
type(X,j211) :- type(X,n210).
type(X,n212) :- type(X,n211).
type(X,i212) :- type(X,n211).
type(X,j212) :- type(X,n211).
type(X,n213) :- type(X,n212).
type(X,i213) :- type(X,n212).
type(X,j213) :- type(X,n212).
type(X,n214) :- type(X,n213).
type(X,i214) :- type(X,n213).
type(X,j214) :- type(X,n213).
type(X,n215) :- type(X,n214).
type(X,i215) :- type(X,n214).
type(X,j215) :- type(X,n214).
type(X,n216) :- type(X,n215).
type(X,i216) :- type(X,n215).
type(X,j216) :- type(X,n215).
type(X,n217) :- type(X,n216).
type(X,i217) :- type(X,n216).
type(X,j217) :- type(X,n216).
type(X,n218) :- type(X,n217).
type(X,i218) :- type(X,n217).
type(X,j218) :- type(X,n217).
type(X,n219) :- type(X,n218).
type(X,i219) :- type(X,n218).
type(X,j219) :- type(X,n218).
type(X,n220) :- type(X,n219).
type(X,i220) :- type(X,n219).
type(X,j220) :- type(X,n219).
type(X,n221) :- type(X,n220).
type(X,i221) :- type(X,n220).
type(X,j221) :- type(X,n220).
type(X,n222) :- type(X,n221).
type(X,i222) :- type(X,n221).
type(X,j222) :- type(X,n221).
type(X,n223) :- type(X,n222).
type(X,i223) :- type(X,n222).
type(X,j223) :- type(X,n222).
type(X,n224) :- type(X,n223).
type(X,i224) :- type(X,n223).
type(X,j224) :- type(X,n223).
type(X,n225) :- type(X,n224).
type(X,i225) :- type(X,n224).
type(X,j225) :- type(X,n224).
type(X,n226) :- type(X,n225).
type(X,i226) :- type(X,n225).
type(X,j226) :- type(X,n225).
type(X,n227) :- type(X,n226).
type(X,i227) :- type(X,n226).
type(X,j227) :- type(X,n226).
type(X,n228) :- type(X,n227).
type(X,i228) :- type(X,n227).
type(X,j228) :- type(X,n227).
type(X,n229) :- type(X,n228).
type(X,i229) :- type(X,n228).
type(X,j229) :- type(X,n228).
type(X,n230) :- type(X,n229).
type(X,i230) :- type(X,n229).
type(X,j230) :- type(X,n229).
type(X,n231) :- type(X,n230).
type(X,i231) :- type(X,n230).
type(X,j231) :- type(X,n230).
type(X,n232) :- type(X,n231).
type(X,i232) :- type(X,n231).
type(X,j232) :- type(X,n231).
type(X,n233) :- type(X,n232).
type(X,i233) :- type(X,n232).
type(X,j233) :- type(X,n232).
type(X,n234) :- type(X,n233).
type(X,i234) :- type(X,n233).
type(X,j234) :- type(X,n233).
type(X,n235) :- type(X,n234).
type(X,i235) :- type(X,n234).
type(X,j235) :- type(X,n234).
type(X,n236) :- type(X,n235).
type(X,i236) :- type(X,n235).
type(X,j236) :- type(X,n235).
type(X,n237) :- type(X,n236).
type(X,i237) :- type(X,n236).
type(X,j237) :- type(X,n236).
type(X,n238) :- type(X,n237).
type(X,i238) :- type(X,n237).
type(X,j238) :- type(X,n237).
type(X,n239) :- type(X,n238).
type(X,i239) :- type(X,n238).
type(X,j239) :- type(X,n238).
type(X,n240) :- type(X,n239).
type(X,i240) :- type(X,n239).
type(X,j240) :- type(X,n239).
type(X,n241) :- type(X,n240).
type(X,i241) :- type(X,n240).
type(X,j241) :- type(X,n240).
type(X,n242) :- type(X,n241).
type(X,i242) :- type(X,n241).
type(X,j242) :- type(X,n241).
type(X,n243) :- type(X,n242).
type(X,i243) :- type(X,n242).
type(X,j243) :- type(X,n242).
type(X,n244) :- type(X,n243).
type(X,i244) :- type(X,n243).
type(X,j244) :- type(X,n243).
type(X,n245) :- type(X,n244).
type(X,i245) :- type(X,n244).
type(X,j245) :- type(X,n244).
type(X,n246) :- type(X,n245).
type(X,i246) :- type(X,n245).
type(X,j246) :- type(X,n245).
type(X,n247) :- type(X,n246).
type(X,i247) :- type(X,n246).
type(X,j247) :- type(X,n246).
type(X,n248) :- type(X,n247).
type(X,i248) :- type(X,n247).
type(X,j248) :- type(X,n247).
type(X,n249) :- type(X,n248).
type(X,i249) :- type(X,n248).
type(X,j249) :- type(X,n248).
type(X,n250) :- type(X,n249).
type(X,i250) :- type(X,n249).
type(X,j250) :- type(X,n249).
type(X,n251) :- type(X,n250).
type(X,i251) :- type(X,n250).
type(X,j251) :- type(X,n250).
type(X,n252) :- type(X,n251).
type(X,i252) :- type(X,n251).
type(X,j252) :- type(X,n251).
type(X,n253) :- type(X,n252).
type(X,i253) :- type(X,n252).
type(X,j253) :- type(X,n252).
type(X,n254) :- type(X,n253).
type(X,i254) :- type(X,n253).
type(X,j254) :- type(X,n253).
type(X,n255) :- type(X,n254).
type(X,i255) :- type(X,n254).
type(X,j255) :- type(X,n254).
type(X,n256) :- type(X,n255).
type(X,i256) :- type(X,n255).
type(X,j256) :- type(X,n255).
type(X,n257) :- type(X,n256).
type(X,i257) :- type(X,n256).
type(X,j257) :- type(X,n256).
type(X,n258) :- type(X,n257).
type(X,i258) :- type(X,n257).
type(X,j258) :- type(X,n257).
type(X,n259) :- type(X,n258).
type(X,i259) :- type(X,n258).
type(X,j259) :- type(X,n258).
type(X,n260) :- type(X,n259).
type(X,i260) :- type(X,n259).
type(X,j260) :- type(X,n259).
type(X,n261) :- type(X,n260).
type(X,i261) :- type(X,n260).
type(X,j261) :- type(X,n260).
type(X,n262) :- type(X,n261).
type(X,i262) :- type(X,n261).
type(X,j262) :- type(X,n261).
type(X,n263) :- type(X,n262).
type(X,i263) :- type(X,n262).
type(X,j263) :- type(X,n262).
type(X,n264) :- type(X,n263).
type(X,i264) :- type(X,n263).
type(X,j264) :- type(X,n263).
type(X,n265) :- type(X,n264).
type(X,i265) :- type(X,n264).
type(X,j265) :- type(X,n264).
type(X,n266) :- type(X,n265).
type(X,i266) :- type(X,n265).
type(X,j266) :- type(X,n265).
type(X,n267) :- type(X,n266).
type(X,i267) :- type(X,n266).
type(X,j267) :- type(X,n266).
type(X,n268) :- type(X,n267).
type(X,i268) :- type(X,n267).
type(X,j268) :- type(X,n267).
type(X,n269) :- type(X,n268).
type(X,i269) :- type(X,n268).
type(X,j269) :- type(X,n268).
type(X,n270) :- type(X,n269).
type(X,i270) :- type(X,n269).
type(X,j270) :- type(X,n269).
type(X,n271) :- type(X,n270).
type(X,i271) :- type(X,n270).
type(X,j271) :- type(X,n270).
type(X,n272) :- type(X,n271).
type(X,i272) :- type(X,n271).
type(X,j272) :- type(X,n271).
type(X,n273) :- type(X,n272).
type(X,i273) :- type(X,n272).
type(X,j273) :- type(X,n272).
type(X,n274) :- type(X,n273).
type(X,i274) :- type(X,n273).
type(X,j274) :- type(X,n273).
type(X,n275) :- type(X,n274).
type(X,i275) :- type(X,n274).
type(X,j275) :- type(X,n274).
type(X,n276) :- type(X,n275).
type(X,i276) :- type(X,n275).
type(X,j276) :- type(X,n275).
type(X,n277) :- type(X,n276).
type(X,i277) :- type(X,n276).
type(X,j277) :- type(X,n276).
type(X,n278) :- type(X,n277).
type(X,i278) :- type(X,n277).
type(X,j278) :- type(X,n277).
type(X,n279) :- type(X,n278).
type(X,i279) :- type(X,n278).
type(X,j279) :- type(X,n278).
type(X,n280) :- type(X,n279).
type(X,i280) :- type(X,n279).
type(X,j280) :- type(X,n279).
type(X,n281) :- type(X,n280).
type(X,i281) :- type(X,n280).
type(X,j281) :- type(X,n280).
type(X,n282) :- type(X,n281).
type(X,i282) :- type(X,n281).
type(X,j282) :- type(X,n281).
type(X,n283) :- type(X,n282).
type(X,i283) :- type(X,n282).
type(X,j283) :- type(X,n282).
type(X,n284) :- type(X,n283).
type(X,i284) :- type(X,n283).
type(X,j284) :- type(X,n283).
type(X,n285) :- type(X,n284).
type(X,i285) :- type(X,n284).
type(X,j285) :- type(X,n284).
type(X,n286) :- type(X,n285).
type(X,i286) :- type(X,n285).
type(X,j286) :- type(X,n285).
type(X,n287) :- type(X,n286).
type(X,i287) :- type(X,n286).
type(X,j287) :- type(X,n286).
type(X,n288) :- type(X,n287).
type(X,i288) :- type(X,n287).
type(X,j288) :- type(X,n287).
type(X,n289) :- type(X,n288).
type(X,i289) :- type(X,n288).
type(X,j289) :- type(X,n288).
type(X,n290) :- type(X,n289).
type(X,i290) :- type(X,n289).
type(X,j290) :- type(X,n289).
type(X,n291) :- type(X,n290).
type(X,i291) :- type(X,n290).
type(X,j291) :- type(X,n290).
type(X,n292) :- type(X,n291).
type(X,i292) :- type(X,n291).
type(X,j292) :- type(X,n291).
type(X,n293) :- type(X,n292).
type(X,i293) :- type(X,n292).
type(X,j293) :- type(X,n292).
type(X,n294) :- type(X,n293).
type(X,i294) :- type(X,n293).
type(X,j294) :- type(X,n293).
type(X,n295) :- type(X,n294).
type(X,i295) :- type(X,n294).
type(X,j295) :- type(X,n294).
type(X,n296) :- type(X,n295).
type(X,i296) :- type(X,n295).
type(X,j296) :- type(X,n295).
type(X,n297) :- type(X,n296).
type(X,i297) :- type(X,n296).
type(X,j297) :- type(X,n296).
type(X,n298) :- type(X,n297).
type(X,i298) :- type(X,n297).
type(X,j298) :- type(X,n297).
type(X,n299) :- type(X,n298).
type(X,i299) :- type(X,n298).
type(X,j299) :- type(X,n298).
type(X,n300) :- type(X,n299).
type(X,i300) :- type(X,n299).
type(X,j300) :- type(X,n299).
type(X,n301) :- type(X,n300).
type(X,i301) :- type(X,n300).
type(X,j301) :- type(X,n300).
type(X,n302) :- type(X,n301).
type(X,i302) :- type(X,n301).
type(X,j302) :- type(X,n301).
type(X,n303) :- type(X,n302).
type(X,i303) :- type(X,n302).
type(X,j303) :- type(X,n302).
type(X,n304) :- type(X,n303).
type(X,i304) :- type(X,n303).
type(X,j304) :- type(X,n303).
type(X,n305) :- type(X,n304).
type(X,i305) :- type(X,n304).
type(X,j305) :- type(X,n304).
type(X,n306) :- type(X,n305).
type(X,i306) :- type(X,n305).
type(X,j306) :- type(X,n305).
type(X,n307) :- type(X,n306).
type(X,i307) :- type(X,n306).
type(X,j307) :- type(X,n306).
type(X,n308) :- type(X,n307).
type(X,i308) :- type(X,n307).
type(X,j308) :- type(X,n307).
type(X,n309) :- type(X,n308).
type(X,i309) :- type(X,n308).
type(X,j309) :- type(X,n308).
type(X,n310) :- type(X,n309).
type(X,i310) :- type(X,n309).
type(X,j310) :- type(X,n309).
type(X,n311) :- type(X,n310).
type(X,i311) :- type(X,n310).
type(X,j311) :- type(X,n310).
type(X,n312) :- type(X,n311).
type(X,i312) :- type(X,n311).
type(X,j312) :- type(X,n311).
type(X,n313) :- type(X,n312).
type(X,i313) :- type(X,n312).
type(X,j313) :- type(X,n312).
type(X,n314) :- type(X,n313).
type(X,i314) :- type(X,n313).
type(X,j314) :- type(X,n313).
type(X,n315) :- type(X,n314).
type(X,i315) :- type(X,n314).
type(X,j315) :- type(X,n314).
type(X,n316) :- type(X,n315).
type(X,i316) :- type(X,n315).
type(X,j316) :- type(X,n315).
type(X,n317) :- type(X,n316).
type(X,i317) :- type(X,n316).
type(X,j317) :- type(X,n316).
type(X,n318) :- type(X,n317).
type(X,i318) :- type(X,n317).
type(X,j318) :- type(X,n317).
type(X,n319) :- type(X,n318).
type(X,i319) :- type(X,n318).
type(X,j319) :- type(X,n318).
type(X,n320) :- type(X,n319).
type(X,i320) :- type(X,n319).
type(X,j320) :- type(X,n319).
type(X,n321) :- type(X,n320).
type(X,i321) :- type(X,n320).
type(X,j321) :- type(X,n320).
type(X,n322) :- type(X,n321).
type(X,i322) :- type(X,n321).
type(X,j322) :- type(X,n321).
type(X,n323) :- type(X,n322).
type(X,i323) :- type(X,n322).
type(X,j323) :- type(X,n322).
type(X,n324) :- type(X,n323).
type(X,i324) :- type(X,n323).
type(X,j324) :- type(X,n323).
type(X,n325) :- type(X,n324).
type(X,i325) :- type(X,n324).
type(X,j325) :- type(X,n324).
type(X,n326) :- type(X,n325).
type(X,i326) :- type(X,n325).
type(X,j326) :- type(X,n325).
type(X,n327) :- type(X,n326).
type(X,i327) :- type(X,n326).
type(X,j327) :- type(X,n326).
type(X,n328) :- type(X,n327).
type(X,i328) :- type(X,n327).
type(X,j328) :- type(X,n327).
type(X,n329) :- type(X,n328).
type(X,i329) :- type(X,n328).
type(X,j329) :- type(X,n328).
type(X,n330) :- type(X,n329).
type(X,i330) :- type(X,n329).
type(X,j330) :- type(X,n329).
type(X,n331) :- type(X,n330).
type(X,i331) :- type(X,n330).
type(X,j331) :- type(X,n330).
type(X,n332) :- type(X,n331).
type(X,i332) :- type(X,n331).
type(X,j332) :- type(X,n331).
type(X,n333) :- type(X,n332).
type(X,i333) :- type(X,n332).
type(X,j333) :- type(X,n332).
type(X,n334) :- type(X,n333).
type(X,i334) :- type(X,n333).
type(X,j334) :- type(X,n333).
type(X,n335) :- type(X,n334).
type(X,i335) :- type(X,n334).
type(X,j335) :- type(X,n334).
type(X,n336) :- type(X,n335).
type(X,i336) :- type(X,n335).
type(X,j336) :- type(X,n335).
type(X,n337) :- type(X,n336).
type(X,i337) :- type(X,n336).
type(X,j337) :- type(X,n336).
type(X,n338) :- type(X,n337).
type(X,i338) :- type(X,n337).
type(X,j338) :- type(X,n337).
type(X,n339) :- type(X,n338).
type(X,i339) :- type(X,n338).
type(X,j339) :- type(X,n338).
type(X,n340) :- type(X,n339).
type(X,i340) :- type(X,n339).
type(X,j340) :- type(X,n339).
type(X,n341) :- type(X,n340).
type(X,i341) :- type(X,n340).
type(X,j341) :- type(X,n340).
type(X,n342) :- type(X,n341).
type(X,i342) :- type(X,n341).
type(X,j342) :- type(X,n341).
type(X,n343) :- type(X,n342).
type(X,i343) :- type(X,n342).
type(X,j343) :- type(X,n342).
type(X,n344) :- type(X,n343).
type(X,i344) :- type(X,n343).
type(X,j344) :- type(X,n343).
type(X,n345) :- type(X,n344).
type(X,i345) :- type(X,n344).
type(X,j345) :- type(X,n344).
type(X,n346) :- type(X,n345).
type(X,i346) :- type(X,n345).
type(X,j346) :- type(X,n345).
type(X,n347) :- type(X,n346).
type(X,i347) :- type(X,n346).
type(X,j347) :- type(X,n346).
type(X,n348) :- type(X,n347).
type(X,i348) :- type(X,n347).
type(X,j348) :- type(X,n347).
type(X,n349) :- type(X,n348).
type(X,i349) :- type(X,n348).
type(X,j349) :- type(X,n348).
type(X,n350) :- type(X,n349).
type(X,i350) :- type(X,n349).
type(X,j350) :- type(X,n349).
type(X,n351) :- type(X,n350).
type(X,i351) :- type(X,n350).
type(X,j351) :- type(X,n350).
type(X,n352) :- type(X,n351).
type(X,i352) :- type(X,n351).
type(X,j352) :- type(X,n351).
type(X,n353) :- type(X,n352).
type(X,i353) :- type(X,n352).
type(X,j353) :- type(X,n352).
type(X,n354) :- type(X,n353).
type(X,i354) :- type(X,n353).
type(X,j354) :- type(X,n353).
type(X,n355) :- type(X,n354).
type(X,i355) :- type(X,n354).
type(X,j355) :- type(X,n354).
type(X,n356) :- type(X,n355).
type(X,i356) :- type(X,n355).
type(X,j356) :- type(X,n355).
type(X,n357) :- type(X,n356).
type(X,i357) :- type(X,n356).
type(X,j357) :- type(X,n356).
type(X,n358) :- type(X,n357).
type(X,i358) :- type(X,n357).
type(X,j358) :- type(X,n357).
type(X,n359) :- type(X,n358).
type(X,i359) :- type(X,n358).
type(X,j359) :- type(X,n358).
type(X,n360) :- type(X,n359).
type(X,i360) :- type(X,n359).
type(X,j360) :- type(X,n359).
type(X,n361) :- type(X,n360).
type(X,i361) :- type(X,n360).
type(X,j361) :- type(X,n360).
type(X,n362) :- type(X,n361).
type(X,i362) :- type(X,n361).
type(X,j362) :- type(X,n361).
type(X,n363) :- type(X,n362).
type(X,i363) :- type(X,n362).
type(X,j363) :- type(X,n362).
type(X,n364) :- type(X,n363).
type(X,i364) :- type(X,n363).
type(X,j364) :- type(X,n363).
type(X,n365) :- type(X,n364).
type(X,i365) :- type(X,n364).
type(X,j365) :- type(X,n364).
type(X,n366) :- type(X,n365).
type(X,i366) :- type(X,n365).
type(X,j366) :- type(X,n365).
type(X,n367) :- type(X,n366).
type(X,i367) :- type(X,n366).
type(X,j367) :- type(X,n366).
type(X,n368) :- type(X,n367).
type(X,i368) :- type(X,n367).
type(X,j368) :- type(X,n367).
type(X,n369) :- type(X,n368).
type(X,i369) :- type(X,n368).
type(X,j369) :- type(X,n368).
type(X,n370) :- type(X,n369).
type(X,i370) :- type(X,n369).
type(X,j370) :- type(X,n369).
type(X,n371) :- type(X,n370).
type(X,i371) :- type(X,n370).
type(X,j371) :- type(X,n370).
type(X,n372) :- type(X,n371).
type(X,i372) :- type(X,n371).
type(X,j372) :- type(X,n371).
type(X,n373) :- type(X,n372).
type(X,i373) :- type(X,n372).
type(X,j373) :- type(X,n372).
type(X,n374) :- type(X,n373).
type(X,i374) :- type(X,n373).
type(X,j374) :- type(X,n373).
type(X,n375) :- type(X,n374).
type(X,i375) :- type(X,n374).
type(X,j375) :- type(X,n374).
type(X,n376) :- type(X,n375).
type(X,i376) :- type(X,n375).
type(X,j376) :- type(X,n375).
type(X,n377) :- type(X,n376).
type(X,i377) :- type(X,n376).
type(X,j377) :- type(X,n376).
type(X,n378) :- type(X,n377).
type(X,i378) :- type(X,n377).
type(X,j378) :- type(X,n377).
type(X,n379) :- type(X,n378).
type(X,i379) :- type(X,n378).
type(X,j379) :- type(X,n378).
type(X,n380) :- type(X,n379).
type(X,i380) :- type(X,n379).
type(X,j380) :- type(X,n379).
type(X,n381) :- type(X,n380).
type(X,i381) :- type(X,n380).
type(X,j381) :- type(X,n380).
type(X,n382) :- type(X,n381).
type(X,i382) :- type(X,n381).
type(X,j382) :- type(X,n381).
type(X,n383) :- type(X,n382).
type(X,i383) :- type(X,n382).
type(X,j383) :- type(X,n382).
type(X,n384) :- type(X,n383).
type(X,i384) :- type(X,n383).
type(X,j384) :- type(X,n383).
type(X,n385) :- type(X,n384).
type(X,i385) :- type(X,n384).
type(X,j385) :- type(X,n384).
type(X,n386) :- type(X,n385).
type(X,i386) :- type(X,n385).
type(X,j386) :- type(X,n385).
type(X,n387) :- type(X,n386).
type(X,i387) :- type(X,n386).
type(X,j387) :- type(X,n386).
type(X,n388) :- type(X,n387).
type(X,i388) :- type(X,n387).
type(X,j388) :- type(X,n387).
type(X,n389) :- type(X,n388).
type(X,i389) :- type(X,n388).
type(X,j389) :- type(X,n388).
type(X,n390) :- type(X,n389).
type(X,i390) :- type(X,n389).
type(X,j390) :- type(X,n389).
type(X,n391) :- type(X,n390).
type(X,i391) :- type(X,n390).
type(X,j391) :- type(X,n390).
type(X,n392) :- type(X,n391).
type(X,i392) :- type(X,n391).
type(X,j392) :- type(X,n391).
type(X,n393) :- type(X,n392).
type(X,i393) :- type(X,n392).
type(X,j393) :- type(X,n392).
type(X,n394) :- type(X,n393).
type(X,i394) :- type(X,n393).
type(X,j394) :- type(X,n393).
type(X,n395) :- type(X,n394).
type(X,i395) :- type(X,n394).
type(X,j395) :- type(X,n394).
type(X,n396) :- type(X,n395).
type(X,i396) :- type(X,n395).
type(X,j396) :- type(X,n395).
type(X,n397) :- type(X,n396).
type(X,i397) :- type(X,n396).
type(X,j397) :- type(X,n396).
type(X,n398) :- type(X,n397).
type(X,i398) :- type(X,n397).
type(X,j398) :- type(X,n397).
type(X,n399) :- type(X,n398).
type(X,i399) :- type(X,n398).
type(X,j399) :- type(X,n398).
type(X,n400) :- type(X,n399).
type(X,i400) :- type(X,n399).
type(X,j400) :- type(X,n399).
type(X,n401) :- type(X,n400).
type(X,i401) :- type(X,n400).
type(X,j401) :- type(X,n400).
type(X,n402) :- type(X,n401).
type(X,i402) :- type(X,n401).
type(X,j402) :- type(X,n401).
type(X,n403) :- type(X,n402).
type(X,i403) :- type(X,n402).
type(X,j403) :- type(X,n402).
type(X,n404) :- type(X,n403).
type(X,i404) :- type(X,n403).
type(X,j404) :- type(X,n403).
type(X,n405) :- type(X,n404).
type(X,i405) :- type(X,n404).
type(X,j405) :- type(X,n404).
type(X,n406) :- type(X,n405).
type(X,i406) :- type(X,n405).
type(X,j406) :- type(X,n405).
type(X,n407) :- type(X,n406).
type(X,i407) :- type(X,n406).
type(X,j407) :- type(X,n406).
type(X,n408) :- type(X,n407).
type(X,i408) :- type(X,n407).
type(X,j408) :- type(X,n407).
type(X,n409) :- type(X,n408).
type(X,i409) :- type(X,n408).
type(X,j409) :- type(X,n408).
type(X,n410) :- type(X,n409).
type(X,i410) :- type(X,n409).
type(X,j410) :- type(X,n409).
type(X,n411) :- type(X,n410).
type(X,i411) :- type(X,n410).
type(X,j411) :- type(X,n410).
type(X,n412) :- type(X,n411).
type(X,i412) :- type(X,n411).
type(X,j412) :- type(X,n411).
type(X,n413) :- type(X,n412).
type(X,i413) :- type(X,n412).
type(X,j413) :- type(X,n412).
type(X,n414) :- type(X,n413).
type(X,i414) :- type(X,n413).
type(X,j414) :- type(X,n413).
type(X,n415) :- type(X,n414).
type(X,i415) :- type(X,n414).
type(X,j415) :- type(X,n414).
type(X,n416) :- type(X,n415).
type(X,i416) :- type(X,n415).
type(X,j416) :- type(X,n415).
type(X,n417) :- type(X,n416).
type(X,i417) :- type(X,n416).
type(X,j417) :- type(X,n416).
type(X,n418) :- type(X,n417).
type(X,i418) :- type(X,n417).
type(X,j418) :- type(X,n417).
type(X,n419) :- type(X,n418).
type(X,i419) :- type(X,n418).
type(X,j419) :- type(X,n418).
type(X,n420) :- type(X,n419).
type(X,i420) :- type(X,n419).
type(X,j420) :- type(X,n419).
type(X,n421) :- type(X,n420).
type(X,i421) :- type(X,n420).
type(X,j421) :- type(X,n420).
type(X,n422) :- type(X,n421).
type(X,i422) :- type(X,n421).
type(X,j422) :- type(X,n421).
type(X,n423) :- type(X,n422).
type(X,i423) :- type(X,n422).
type(X,j423) :- type(X,n422).
type(X,n424) :- type(X,n423).
type(X,i424) :- type(X,n423).
type(X,j424) :- type(X,n423).
type(X,n425) :- type(X,n424).
type(X,i425) :- type(X,n424).
type(X,j425) :- type(X,n424).
type(X,n426) :- type(X,n425).
type(X,i426) :- type(X,n425).
type(X,j426) :- type(X,n425).
type(X,n427) :- type(X,n426).
type(X,i427) :- type(X,n426).
type(X,j427) :- type(X,n426).
type(X,n428) :- type(X,n427).
type(X,i428) :- type(X,n427).
type(X,j428) :- type(X,n427).
type(X,n429) :- type(X,n428).
type(X,i429) :- type(X,n428).
type(X,j429) :- type(X,n428).
type(X,n430) :- type(X,n429).
type(X,i430) :- type(X,n429).
type(X,j430) :- type(X,n429).
type(X,n431) :- type(X,n430).
type(X,i431) :- type(X,n430).
type(X,j431) :- type(X,n430).
type(X,n432) :- type(X,n431).
type(X,i432) :- type(X,n431).
type(X,j432) :- type(X,n431).
type(X,n433) :- type(X,n432).
type(X,i433) :- type(X,n432).
type(X,j433) :- type(X,n432).
type(X,n434) :- type(X,n433).
type(X,i434) :- type(X,n433).
type(X,j434) :- type(X,n433).
type(X,n435) :- type(X,n434).
type(X,i435) :- type(X,n434).
type(X,j435) :- type(X,n434).
type(X,n436) :- type(X,n435).
type(X,i436) :- type(X,n435).
type(X,j436) :- type(X,n435).
type(X,n437) :- type(X,n436).
type(X,i437) :- type(X,n436).
type(X,j437) :- type(X,n436).
type(X,n438) :- type(X,n437).
type(X,i438) :- type(X,n437).
type(X,j438) :- type(X,n437).
type(X,n439) :- type(X,n438).
type(X,i439) :- type(X,n438).
type(X,j439) :- type(X,n438).
type(X,n440) :- type(X,n439).
type(X,i440) :- type(X,n439).
type(X,j440) :- type(X,n439).
type(X,n441) :- type(X,n440).
type(X,i441) :- type(X,n440).
type(X,j441) :- type(X,n440).
type(X,n442) :- type(X,n441).
type(X,i442) :- type(X,n441).
type(X,j442) :- type(X,n441).
type(X,n443) :- type(X,n442).
type(X,i443) :- type(X,n442).
type(X,j443) :- type(X,n442).
type(X,n444) :- type(X,n443).
type(X,i444) :- type(X,n443).
type(X,j444) :- type(X,n443).
type(X,n445) :- type(X,n444).
type(X,i445) :- type(X,n444).
type(X,j445) :- type(X,n444).
type(X,n446) :- type(X,n445).
type(X,i446) :- type(X,n445).
type(X,j446) :- type(X,n445).
type(X,n447) :- type(X,n446).
type(X,i447) :- type(X,n446).
type(X,j447) :- type(X,n446).
type(X,n448) :- type(X,n447).
type(X,i448) :- type(X,n447).
type(X,j448) :- type(X,n447).
type(X,n449) :- type(X,n448).
type(X,i449) :- type(X,n448).
type(X,j449) :- type(X,n448).
type(X,n450) :- type(X,n449).
type(X,i450) :- type(X,n449).
type(X,j450) :- type(X,n449).
type(X,n451) :- type(X,n450).
type(X,i451) :- type(X,n450).
type(X,j451) :- type(X,n450).
type(X,n452) :- type(X,n451).
type(X,i452) :- type(X,n451).
type(X,j452) :- type(X,n451).
type(X,n453) :- type(X,n452).
type(X,i453) :- type(X,n452).
type(X,j453) :- type(X,n452).
type(X,n454) :- type(X,n453).
type(X,i454) :- type(X,n453).
type(X,j454) :- type(X,n453).
type(X,n455) :- type(X,n454).
type(X,i455) :- type(X,n454).
type(X,j455) :- type(X,n454).
type(X,n456) :- type(X,n455).
type(X,i456) :- type(X,n455).
type(X,j456) :- type(X,n455).
type(X,n457) :- type(X,n456).
type(X,i457) :- type(X,n456).
type(X,j457) :- type(X,n456).
type(X,n458) :- type(X,n457).
type(X,i458) :- type(X,n457).
type(X,j458) :- type(X,n457).
type(X,n459) :- type(X,n458).
type(X,i459) :- type(X,n458).
type(X,j459) :- type(X,n458).
type(X,n460) :- type(X,n459).
type(X,i460) :- type(X,n459).
type(X,j460) :- type(X,n459).
type(X,n461) :- type(X,n460).
type(X,i461) :- type(X,n460).
type(X,j461) :- type(X,n460).
type(X,n462) :- type(X,n461).
type(X,i462) :- type(X,n461).
type(X,j462) :- type(X,n461).
type(X,n463) :- type(X,n462).
type(X,i463) :- type(X,n462).
type(X,j463) :- type(X,n462).
type(X,n464) :- type(X,n463).
type(X,i464) :- type(X,n463).
type(X,j464) :- type(X,n463).
type(X,n465) :- type(X,n464).
type(X,i465) :- type(X,n464).
type(X,j465) :- type(X,n464).
type(X,n466) :- type(X,n465).
type(X,i466) :- type(X,n465).
type(X,j466) :- type(X,n465).
type(X,n467) :- type(X,n466).
type(X,i467) :- type(X,n466).
type(X,j467) :- type(X,n466).
type(X,n468) :- type(X,n467).
type(X,i468) :- type(X,n467).
type(X,j468) :- type(X,n467).
type(X,n469) :- type(X,n468).
type(X,i469) :- type(X,n468).
type(X,j469) :- type(X,n468).
type(X,n470) :- type(X,n469).
type(X,i470) :- type(X,n469).
type(X,j470) :- type(X,n469).
type(X,n471) :- type(X,n470).
type(X,i471) :- type(X,n470).
type(X,j471) :- type(X,n470).
type(X,n472) :- type(X,n471).
type(X,i472) :- type(X,n471).
type(X,j472) :- type(X,n471).
type(X,n473) :- type(X,n472).
type(X,i473) :- type(X,n472).
type(X,j473) :- type(X,n472).
type(X,n474) :- type(X,n473).
type(X,i474) :- type(X,n473).
type(X,j474) :- type(X,n473).
type(X,n475) :- type(X,n474).
type(X,i475) :- type(X,n474).
type(X,j475) :- type(X,n474).
type(X,n476) :- type(X,n475).
type(X,i476) :- type(X,n475).
type(X,j476) :- type(X,n475).
type(X,n477) :- type(X,n476).
type(X,i477) :- type(X,n476).
type(X,j477) :- type(X,n476).
type(X,n478) :- type(X,n477).
type(X,i478) :- type(X,n477).
type(X,j478) :- type(X,n477).
type(X,n479) :- type(X,n478).
type(X,i479) :- type(X,n478).
type(X,j479) :- type(X,n478).
type(X,n480) :- type(X,n479).
type(X,i480) :- type(X,n479).
type(X,j480) :- type(X,n479).
type(X,n481) :- type(X,n480).
type(X,i481) :- type(X,n480).
type(X,j481) :- type(X,n480).
type(X,n482) :- type(X,n481).
type(X,i482) :- type(X,n481).
type(X,j482) :- type(X,n481).
type(X,n483) :- type(X,n482).
type(X,i483) :- type(X,n482).
type(X,j483) :- type(X,n482).
type(X,n484) :- type(X,n483).
type(X,i484) :- type(X,n483).
type(X,j484) :- type(X,n483).
type(X,n485) :- type(X,n484).
type(X,i485) :- type(X,n484).
type(X,j485) :- type(X,n484).
type(X,n486) :- type(X,n485).
type(X,i486) :- type(X,n485).
type(X,j486) :- type(X,n485).
type(X,n487) :- type(X,n486).
type(X,i487) :- type(X,n486).
type(X,j487) :- type(X,n486).
type(X,n488) :- type(X,n487).
type(X,i488) :- type(X,n487).
type(X,j488) :- type(X,n487).
type(X,n489) :- type(X,n488).
type(X,i489) :- type(X,n488).
type(X,j489) :- type(X,n488).
type(X,n490) :- type(X,n489).
type(X,i490) :- type(X,n489).
type(X,j490) :- type(X,n489).
type(X,n491) :- type(X,n490).
type(X,i491) :- type(X,n490).
type(X,j491) :- type(X,n490).
type(X,n492) :- type(X,n491).
type(X,i492) :- type(X,n491).
type(X,j492) :- type(X,n491).
type(X,n493) :- type(X,n492).
type(X,i493) :- type(X,n492).
type(X,j493) :- type(X,n492).
type(X,n494) :- type(X,n493).
type(X,i494) :- type(X,n493).
type(X,j494) :- type(X,n493).
type(X,n495) :- type(X,n494).
type(X,i495) :- type(X,n494).
type(X,j495) :- type(X,n494).
type(X,n496) :- type(X,n495).
type(X,i496) :- type(X,n495).
type(X,j496) :- type(X,n495).
type(X,n497) :- type(X,n496).
type(X,i497) :- type(X,n496).
type(X,j497) :- type(X,n496).
type(X,n498) :- type(X,n497).
type(X,i498) :- type(X,n497).
type(X,j498) :- type(X,n497).
type(X,n499) :- type(X,n498).
type(X,i499) :- type(X,n498).
type(X,j499) :- type(X,n498).
type(X,n500) :- type(X,n499).
type(X,i500) :- type(X,n499).
type(X,j500) :- type(X,n499).
type(X,n501) :- type(X,n500).
type(X,i501) :- type(X,n500).
type(X,j501) :- type(X,n500).
type(X,n502) :- type(X,n501).
type(X,i502) :- type(X,n501).
type(X,j502) :- type(X,n501).
type(X,n503) :- type(X,n502).
type(X,i503) :- type(X,n502).
type(X,j503) :- type(X,n502).
type(X,n504) :- type(X,n503).
type(X,i504) :- type(X,n503).
type(X,j504) :- type(X,n503).
type(X,n505) :- type(X,n504).
type(X,i505) :- type(X,n504).
type(X,j505) :- type(X,n504).
type(X,n506) :- type(X,n505).
type(X,i506) :- type(X,n505).
type(X,j506) :- type(X,n505).
type(X,n507) :- type(X,n506).
type(X,i507) :- type(X,n506).
type(X,j507) :- type(X,n506).
type(X,n508) :- type(X,n507).
type(X,i508) :- type(X,n507).
type(X,j508) :- type(X,n507).
type(X,n509) :- type(X,n508).
type(X,i509) :- type(X,n508).
type(X,j509) :- type(X,n508).
type(X,n510) :- type(X,n509).
type(X,i510) :- type(X,n509).
type(X,j510) :- type(X,n509).
type(X,n511) :- type(X,n510).
type(X,i511) :- type(X,n510).
type(X,j511) :- type(X,n510).
type(X,n512) :- type(X,n511).
type(X,i512) :- type(X,n511).
type(X,j512) :- type(X,n511).
type(X,n513) :- type(X,n512).
type(X,i513) :- type(X,n512).
type(X,j513) :- type(X,n512).
type(X,n514) :- type(X,n513).
type(X,i514) :- type(X,n513).
type(X,j514) :- type(X,n513).
type(X,n515) :- type(X,n514).
type(X,i515) :- type(X,n514).
type(X,j515) :- type(X,n514).
type(X,n516) :- type(X,n515).
type(X,i516) :- type(X,n515).
type(X,j516) :- type(X,n515).
type(X,n517) :- type(X,n516).
type(X,i517) :- type(X,n516).
type(X,j517) :- type(X,n516).
type(X,n518) :- type(X,n517).
type(X,i518) :- type(X,n517).
type(X,j518) :- type(X,n517).
type(X,n519) :- type(X,n518).
type(X,i519) :- type(X,n518).
type(X,j519) :- type(X,n518).
type(X,n520) :- type(X,n519).
type(X,i520) :- type(X,n519).
type(X,j520) :- type(X,n519).
type(X,n521) :- type(X,n520).
type(X,i521) :- type(X,n520).
type(X,j521) :- type(X,n520).
type(X,n522) :- type(X,n521).
type(X,i522) :- type(X,n521).
type(X,j522) :- type(X,n521).
type(X,n523) :- type(X,n522).
type(X,i523) :- type(X,n522).
type(X,j523) :- type(X,n522).
type(X,n524) :- type(X,n523).
type(X,i524) :- type(X,n523).
type(X,j524) :- type(X,n523).
type(X,n525) :- type(X,n524).
type(X,i525) :- type(X,n524).
type(X,j525) :- type(X,n524).
type(X,n526) :- type(X,n525).
type(X,i526) :- type(X,n525).
type(X,j526) :- type(X,n525).
type(X,n527) :- type(X,n526).
type(X,i527) :- type(X,n526).
type(X,j527) :- type(X,n526).
type(X,n528) :- type(X,n527).
type(X,i528) :- type(X,n527).
type(X,j528) :- type(X,n527).
type(X,n529) :- type(X,n528).
type(X,i529) :- type(X,n528).
type(X,j529) :- type(X,n528).
type(X,n530) :- type(X,n529).
type(X,i530) :- type(X,n529).
type(X,j530) :- type(X,n529).
type(X,n531) :- type(X,n530).
type(X,i531) :- type(X,n530).
type(X,j531) :- type(X,n530).
type(X,n532) :- type(X,n531).
type(X,i532) :- type(X,n531).
type(X,j532) :- type(X,n531).
type(X,n533) :- type(X,n532).
type(X,i533) :- type(X,n532).
type(X,j533) :- type(X,n532).
type(X,n534) :- type(X,n533).
type(X,i534) :- type(X,n533).
type(X,j534) :- type(X,n533).
type(X,n535) :- type(X,n534).
type(X,i535) :- type(X,n534).
type(X,j535) :- type(X,n534).
type(X,n536) :- type(X,n535).
type(X,i536) :- type(X,n535).
type(X,j536) :- type(X,n535).
type(X,n537) :- type(X,n536).
type(X,i537) :- type(X,n536).
type(X,j537) :- type(X,n536).
type(X,n538) :- type(X,n537).
type(X,i538) :- type(X,n537).
type(X,j538) :- type(X,n537).
type(X,n539) :- type(X,n538).
type(X,i539) :- type(X,n538).
type(X,j539) :- type(X,n538).
type(X,n540) :- type(X,n539).
type(X,i540) :- type(X,n539).
type(X,j540) :- type(X,n539).
type(X,n541) :- type(X,n540).
type(X,i541) :- type(X,n540).
type(X,j541) :- type(X,n540).
type(X,n542) :- type(X,n541).
type(X,i542) :- type(X,n541).
type(X,j542) :- type(X,n541).
type(X,n543) :- type(X,n542).
type(X,i543) :- type(X,n542).
type(X,j543) :- type(X,n542).
type(X,n544) :- type(X,n543).
type(X,i544) :- type(X,n543).
type(X,j544) :- type(X,n543).
type(X,n545) :- type(X,n544).
type(X,i545) :- type(X,n544).
type(X,j545) :- type(X,n544).
type(X,n546) :- type(X,n545).
type(X,i546) :- type(X,n545).
type(X,j546) :- type(X,n545).
type(X,n547) :- type(X,n546).
type(X,i547) :- type(X,n546).
type(X,j547) :- type(X,n546).
type(X,n548) :- type(X,n547).
type(X,i548) :- type(X,n547).
type(X,j548) :- type(X,n547).
type(X,n549) :- type(X,n548).
type(X,i549) :- type(X,n548).
type(X,j549) :- type(X,n548).
type(X,n550) :- type(X,n549).
type(X,i550) :- type(X,n549).
type(X,j550) :- type(X,n549).
type(X,n551) :- type(X,n550).
type(X,i551) :- type(X,n550).
type(X,j551) :- type(X,n550).
type(X,n552) :- type(X,n551).
type(X,i552) :- type(X,n551).
type(X,j552) :- type(X,n551).
type(X,n553) :- type(X,n552).
type(X,i553) :- type(X,n552).
type(X,j553) :- type(X,n552).
type(X,n554) :- type(X,n553).
type(X,i554) :- type(X,n553).
type(X,j554) :- type(X,n553).
type(X,n555) :- type(X,n554).
type(X,i555) :- type(X,n554).
type(X,j555) :- type(X,n554).
type(X,n556) :- type(X,n555).
type(X,i556) :- type(X,n555).
type(X,j556) :- type(X,n555).
type(X,n557) :- type(X,n556).
type(X,i557) :- type(X,n556).
type(X,j557) :- type(X,n556).
type(X,n558) :- type(X,n557).
type(X,i558) :- type(X,n557).
type(X,j558) :- type(X,n557).
type(X,n559) :- type(X,n558).
type(X,i559) :- type(X,n558).
type(X,j559) :- type(X,n558).
type(X,n560) :- type(X,n559).
type(X,i560) :- type(X,n559).
type(X,j560) :- type(X,n559).
type(X,n561) :- type(X,n560).
type(X,i561) :- type(X,n560).
type(X,j561) :- type(X,n560).
type(X,n562) :- type(X,n561).
type(X,i562) :- type(X,n561).
type(X,j562) :- type(X,n561).
type(X,n563) :- type(X,n562).
type(X,i563) :- type(X,n562).
type(X,j563) :- type(X,n562).
type(X,n564) :- type(X,n563).
type(X,i564) :- type(X,n563).
type(X,j564) :- type(X,n563).
type(X,n565) :- type(X,n564).
type(X,i565) :- type(X,n564).
type(X,j565) :- type(X,n564).
type(X,n566) :- type(X,n565).
type(X,i566) :- type(X,n565).
type(X,j566) :- type(X,n565).
type(X,n567) :- type(X,n566).
type(X,i567) :- type(X,n566).
type(X,j567) :- type(X,n566).
type(X,n568) :- type(X,n567).
type(X,i568) :- type(X,n567).
type(X,j568) :- type(X,n567).
type(X,n569) :- type(X,n568).
type(X,i569) :- type(X,n568).
type(X,j569) :- type(X,n568).
type(X,n570) :- type(X,n569).
type(X,i570) :- type(X,n569).
type(X,j570) :- type(X,n569).
type(X,n571) :- type(X,n570).
type(X,i571) :- type(X,n570).
type(X,j571) :- type(X,n570).
type(X,n572) :- type(X,n571).
type(X,i572) :- type(X,n571).
type(X,j572) :- type(X,n571).
type(X,n573) :- type(X,n572).
type(X,i573) :- type(X,n572).
type(X,j573) :- type(X,n572).
type(X,n574) :- type(X,n573).
type(X,i574) :- type(X,n573).
type(X,j574) :- type(X,n573).
type(X,n575) :- type(X,n574).
type(X,i575) :- type(X,n574).
type(X,j575) :- type(X,n574).
type(X,n576) :- type(X,n575).
type(X,i576) :- type(X,n575).
type(X,j576) :- type(X,n575).
type(X,n577) :- type(X,n576).
type(X,i577) :- type(X,n576).
type(X,j577) :- type(X,n576).
type(X,n578) :- type(X,n577).
type(X,i578) :- type(X,n577).
type(X,j578) :- type(X,n577).
type(X,n579) :- type(X,n578).
type(X,i579) :- type(X,n578).
type(X,j579) :- type(X,n578).
type(X,n580) :- type(X,n579).
type(X,i580) :- type(X,n579).
type(X,j580) :- type(X,n579).
type(X,n581) :- type(X,n580).
type(X,i581) :- type(X,n580).
type(X,j581) :- type(X,n580).
type(X,n582) :- type(X,n581).
type(X,i582) :- type(X,n581).
type(X,j582) :- type(X,n581).
type(X,n583) :- type(X,n582).
type(X,i583) :- type(X,n582).
type(X,j583) :- type(X,n582).
type(X,n584) :- type(X,n583).
type(X,i584) :- type(X,n583).
type(X,j584) :- type(X,n583).
type(X,n585) :- type(X,n584).
type(X,i585) :- type(X,n584).
type(X,j585) :- type(X,n584).
type(X,n586) :- type(X,n585).
type(X,i586) :- type(X,n585).
type(X,j586) :- type(X,n585).
type(X,n587) :- type(X,n586).
type(X,i587) :- type(X,n586).
type(X,j587) :- type(X,n586).
type(X,n588) :- type(X,n587).
type(X,i588) :- type(X,n587).
type(X,j588) :- type(X,n587).
type(X,n589) :- type(X,n588).
type(X,i589) :- type(X,n588).
type(X,j589) :- type(X,n588).
type(X,n590) :- type(X,n589).
type(X,i590) :- type(X,n589).
type(X,j590) :- type(X,n589).
type(X,n591) :- type(X,n590).
type(X,i591) :- type(X,n590).
type(X,j591) :- type(X,n590).
type(X,n592) :- type(X,n591).
type(X,i592) :- type(X,n591).
type(X,j592) :- type(X,n591).
type(X,n593) :- type(X,n592).
type(X,i593) :- type(X,n592).
type(X,j593) :- type(X,n592).
type(X,n594) :- type(X,n593).
type(X,i594) :- type(X,n593).
type(X,j594) :- type(X,n593).
type(X,n595) :- type(X,n594).
type(X,i595) :- type(X,n594).
type(X,j595) :- type(X,n594).
type(X,n596) :- type(X,n595).
type(X,i596) :- type(X,n595).
type(X,j596) :- type(X,n595).
type(X,n597) :- type(X,n596).
type(X,i597) :- type(X,n596).
type(X,j597) :- type(X,n596).
type(X,n598) :- type(X,n597).
type(X,i598) :- type(X,n597).
type(X,j598) :- type(X,n597).
type(X,n599) :- type(X,n598).
type(X,i599) :- type(X,n598).
type(X,j599) :- type(X,n598).
type(X,n600) :- type(X,n599).
type(X,i600) :- type(X,n599).
type(X,j600) :- type(X,n599).
type(X,n601) :- type(X,n600).
type(X,i601) :- type(X,n600).
type(X,j601) :- type(X,n600).
type(X,n602) :- type(X,n601).
type(X,i602) :- type(X,n601).
type(X,j602) :- type(X,n601).
type(X,n603) :- type(X,n602).
type(X,i603) :- type(X,n602).
type(X,j603) :- type(X,n602).
type(X,n604) :- type(X,n603).
type(X,i604) :- type(X,n603).
type(X,j604) :- type(X,n603).
type(X,n605) :- type(X,n604).
type(X,i605) :- type(X,n604).
type(X,j605) :- type(X,n604).
type(X,n606) :- type(X,n605).
type(X,i606) :- type(X,n605).
type(X,j606) :- type(X,n605).
type(X,n607) :- type(X,n606).
type(X,i607) :- type(X,n606).
type(X,j607) :- type(X,n606).
type(X,n608) :- type(X,n607).
type(X,i608) :- type(X,n607).
type(X,j608) :- type(X,n607).
type(X,n609) :- type(X,n608).
type(X,i609) :- type(X,n608).
type(X,j609) :- type(X,n608).
type(X,n610) :- type(X,n609).
type(X,i610) :- type(X,n609).
type(X,j610) :- type(X,n609).
type(X,n611) :- type(X,n610).
type(X,i611) :- type(X,n610).
type(X,j611) :- type(X,n610).
type(X,n612) :- type(X,n611).
type(X,i612) :- type(X,n611).
type(X,j612) :- type(X,n611).
type(X,n613) :- type(X,n612).
type(X,i613) :- type(X,n612).
type(X,j613) :- type(X,n612).
type(X,n614) :- type(X,n613).
type(X,i614) :- type(X,n613).
type(X,j614) :- type(X,n613).
type(X,n615) :- type(X,n614).
type(X,i615) :- type(X,n614).
type(X,j615) :- type(X,n614).
type(X,n616) :- type(X,n615).
type(X,i616) :- type(X,n615).
type(X,j616) :- type(X,n615).
type(X,n617) :- type(X,n616).
type(X,i617) :- type(X,n616).
type(X,j617) :- type(X,n616).
type(X,n618) :- type(X,n617).
type(X,i618) :- type(X,n617).
type(X,j618) :- type(X,n617).
type(X,n619) :- type(X,n618).
type(X,i619) :- type(X,n618).
type(X,j619) :- type(X,n618).
type(X,n620) :- type(X,n619).
type(X,i620) :- type(X,n619).
type(X,j620) :- type(X,n619).
type(X,n621) :- type(X,n620).
type(X,i621) :- type(X,n620).
type(X,j621) :- type(X,n620).
type(X,n622) :- type(X,n621).
type(X,i622) :- type(X,n621).
type(X,j622) :- type(X,n621).
type(X,n623) :- type(X,n622).
type(X,i623) :- type(X,n622).
type(X,j623) :- type(X,n622).
type(X,n624) :- type(X,n623).
type(X,i624) :- type(X,n623).
type(X,j624) :- type(X,n623).
type(X,n625) :- type(X,n624).
type(X,i625) :- type(X,n624).
type(X,j625) :- type(X,n624).
type(X,n626) :- type(X,n625).
type(X,i626) :- type(X,n625).
type(X,j626) :- type(X,n625).
type(X,n627) :- type(X,n626).
type(X,i627) :- type(X,n626).
type(X,j627) :- type(X,n626).
type(X,n628) :- type(X,n627).
type(X,i628) :- type(X,n627).
type(X,j628) :- type(X,n627).
type(X,n629) :- type(X,n628).
type(X,i629) :- type(X,n628).
type(X,j629) :- type(X,n628).
type(X,n630) :- type(X,n629).
type(X,i630) :- type(X,n629).
type(X,j630) :- type(X,n629).
type(X,n631) :- type(X,n630).
type(X,i631) :- type(X,n630).
type(X,j631) :- type(X,n630).
type(X,n632) :- type(X,n631).
type(X,i632) :- type(X,n631).
type(X,j632) :- type(X,n631).
type(X,n633) :- type(X,n632).
type(X,i633) :- type(X,n632).
type(X,j633) :- type(X,n632).
type(X,n634) :- type(X,n633).
type(X,i634) :- type(X,n633).
type(X,j634) :- type(X,n633).
type(X,n635) :- type(X,n634).
type(X,i635) :- type(X,n634).
type(X,j635) :- type(X,n634).
type(X,n636) :- type(X,n635).
type(X,i636) :- type(X,n635).
type(X,j636) :- type(X,n635).
type(X,n637) :- type(X,n636).
type(X,i637) :- type(X,n636).
type(X,j637) :- type(X,n636).
type(X,n638) :- type(X,n637).
type(X,i638) :- type(X,n637).
type(X,j638) :- type(X,n637).
type(X,n639) :- type(X,n638).
type(X,i639) :- type(X,n638).
type(X,j639) :- type(X,n638).
type(X,n640) :- type(X,n639).
type(X,i640) :- type(X,n639).
type(X,j640) :- type(X,n639).
type(X,n641) :- type(X,n640).
type(X,i641) :- type(X,n640).
type(X,j641) :- type(X,n640).
type(X,n642) :- type(X,n641).
type(X,i642) :- type(X,n641).
type(X,j642) :- type(X,n641).
type(X,n643) :- type(X,n642).
type(X,i643) :- type(X,n642).
type(X,j643) :- type(X,n642).
type(X,n644) :- type(X,n643).
type(X,i644) :- type(X,n643).
type(X,j644) :- type(X,n643).
type(X,n645) :- type(X,n644).
type(X,i645) :- type(X,n644).
type(X,j645) :- type(X,n644).
type(X,n646) :- type(X,n645).
type(X,i646) :- type(X,n645).
type(X,j646) :- type(X,n645).
type(X,n647) :- type(X,n646).
type(X,i647) :- type(X,n646).
type(X,j647) :- type(X,n646).
type(X,n648) :- type(X,n647).
type(X,i648) :- type(X,n647).
type(X,j648) :- type(X,n647).
type(X,n649) :- type(X,n648).
type(X,i649) :- type(X,n648).
type(X,j649) :- type(X,n648).
type(X,n650) :- type(X,n649).
type(X,i650) :- type(X,n649).
type(X,j650) :- type(X,n649).
type(X,n651) :- type(X,n650).
type(X,i651) :- type(X,n650).
type(X,j651) :- type(X,n650).
type(X,n652) :- type(X,n651).
type(X,i652) :- type(X,n651).
type(X,j652) :- type(X,n651).
type(X,n653) :- type(X,n652).
type(X,i653) :- type(X,n652).
type(X,j653) :- type(X,n652).
type(X,n654) :- type(X,n653).
type(X,i654) :- type(X,n653).
type(X,j654) :- type(X,n653).
type(X,n655) :- type(X,n654).
type(X,i655) :- type(X,n654).
type(X,j655) :- type(X,n654).
type(X,n656) :- type(X,n655).
type(X,i656) :- type(X,n655).
type(X,j656) :- type(X,n655).
type(X,n657) :- type(X,n656).
type(X,i657) :- type(X,n656).
type(X,j657) :- type(X,n656).
type(X,n658) :- type(X,n657).
type(X,i658) :- type(X,n657).
type(X,j658) :- type(X,n657).
type(X,n659) :- type(X,n658).
type(X,i659) :- type(X,n658).
type(X,j659) :- type(X,n658).
type(X,n660) :- type(X,n659).
type(X,i660) :- type(X,n659).
type(X,j660) :- type(X,n659).
type(X,n661) :- type(X,n660).
type(X,i661) :- type(X,n660).
type(X,j661) :- type(X,n660).
type(X,n662) :- type(X,n661).
type(X,i662) :- type(X,n661).
type(X,j662) :- type(X,n661).
type(X,n663) :- type(X,n662).
type(X,i663) :- type(X,n662).
type(X,j663) :- type(X,n662).
type(X,n664) :- type(X,n663).
type(X,i664) :- type(X,n663).
type(X,j664) :- type(X,n663).
type(X,n665) :- type(X,n664).
type(X,i665) :- type(X,n664).
type(X,j665) :- type(X,n664).
type(X,n666) :- type(X,n665).
type(X,i666) :- type(X,n665).
type(X,j666) :- type(X,n665).
type(X,n667) :- type(X,n666).
type(X,i667) :- type(X,n666).
type(X,j667) :- type(X,n666).
type(X,n668) :- type(X,n667).
type(X,i668) :- type(X,n667).
type(X,j668) :- type(X,n667).
type(X,n669) :- type(X,n668).
type(X,i669) :- type(X,n668).
type(X,j669) :- type(X,n668).
type(X,n670) :- type(X,n669).
type(X,i670) :- type(X,n669).
type(X,j670) :- type(X,n669).
type(X,n671) :- type(X,n670).
type(X,i671) :- type(X,n670).
type(X,j671) :- type(X,n670).
type(X,n672) :- type(X,n671).
type(X,i672) :- type(X,n671).
type(X,j672) :- type(X,n671).
type(X,n673) :- type(X,n672).
type(X,i673) :- type(X,n672).
type(X,j673) :- type(X,n672).
type(X,n674) :- type(X,n673).
type(X,i674) :- type(X,n673).
type(X,j674) :- type(X,n673).
type(X,n675) :- type(X,n674).
type(X,i675) :- type(X,n674).
type(X,j675) :- type(X,n674).
type(X,n676) :- type(X,n675).
type(X,i676) :- type(X,n675).
type(X,j676) :- type(X,n675).
type(X,n677) :- type(X,n676).
type(X,i677) :- type(X,n676).
type(X,j677) :- type(X,n676).
type(X,n678) :- type(X,n677).
type(X,i678) :- type(X,n677).
type(X,j678) :- type(X,n677).
type(X,n679) :- type(X,n678).
type(X,i679) :- type(X,n678).
type(X,j679) :- type(X,n678).
type(X,n680) :- type(X,n679).
type(X,i680) :- type(X,n679).
type(X,j680) :- type(X,n679).
type(X,n681) :- type(X,n680).
type(X,i681) :- type(X,n680).
type(X,j681) :- type(X,n680).
type(X,n682) :- type(X,n681).
type(X,i682) :- type(X,n681).
type(X,j682) :- type(X,n681).
type(X,n683) :- type(X,n682).
type(X,i683) :- type(X,n682).
type(X,j683) :- type(X,n682).
type(X,n684) :- type(X,n683).
type(X,i684) :- type(X,n683).
type(X,j684) :- type(X,n683).
type(X,n685) :- type(X,n684).
type(X,i685) :- type(X,n684).
type(X,j685) :- type(X,n684).
type(X,n686) :- type(X,n685).
type(X,i686) :- type(X,n685).
type(X,j686) :- type(X,n685).
type(X,n687) :- type(X,n686).
type(X,i687) :- type(X,n686).
type(X,j687) :- type(X,n686).
type(X,n688) :- type(X,n687).
type(X,i688) :- type(X,n687).
type(X,j688) :- type(X,n687).
type(X,n689) :- type(X,n688).
type(X,i689) :- type(X,n688).
type(X,j689) :- type(X,n688).
type(X,n690) :- type(X,n689).
type(X,i690) :- type(X,n689).
type(X,j690) :- type(X,n689).
type(X,n691) :- type(X,n690).
type(X,i691) :- type(X,n690).
type(X,j691) :- type(X,n690).
type(X,n692) :- type(X,n691).
type(X,i692) :- type(X,n691).
type(X,j692) :- type(X,n691).
type(X,n693) :- type(X,n692).
type(X,i693) :- type(X,n692).
type(X,j693) :- type(X,n692).
type(X,n694) :- type(X,n693).
type(X,i694) :- type(X,n693).
type(X,j694) :- type(X,n693).
type(X,n695) :- type(X,n694).
type(X,i695) :- type(X,n694).
type(X,j695) :- type(X,n694).
type(X,n696) :- type(X,n695).
type(X,i696) :- type(X,n695).
type(X,j696) :- type(X,n695).
type(X,n697) :- type(X,n696).
type(X,i697) :- type(X,n696).
type(X,j697) :- type(X,n696).
type(X,n698) :- type(X,n697).
type(X,i698) :- type(X,n697).
type(X,j698) :- type(X,n697).
type(X,n699) :- type(X,n698).
type(X,i699) :- type(X,n698).
type(X,j699) :- type(X,n698).
type(X,n700) :- type(X,n699).
type(X,i700) :- type(X,n699).
type(X,j700) :- type(X,n699).
type(X,n701) :- type(X,n700).
type(X,i701) :- type(X,n700).
type(X,j701) :- type(X,n700).
type(X,n702) :- type(X,n701).
type(X,i702) :- type(X,n701).
type(X,j702) :- type(X,n701).
type(X,n703) :- type(X,n702).
type(X,i703) :- type(X,n702).
type(X,j703) :- type(X,n702).
type(X,n704) :- type(X,n703).
type(X,i704) :- type(X,n703).
type(X,j704) :- type(X,n703).
type(X,n705) :- type(X,n704).
type(X,i705) :- type(X,n704).
type(X,j705) :- type(X,n704).
type(X,n706) :- type(X,n705).
type(X,i706) :- type(X,n705).
type(X,j706) :- type(X,n705).
type(X,n707) :- type(X,n706).
type(X,i707) :- type(X,n706).
type(X,j707) :- type(X,n706).
type(X,n708) :- type(X,n707).
type(X,i708) :- type(X,n707).
type(X,j708) :- type(X,n707).
type(X,n709) :- type(X,n708).
type(X,i709) :- type(X,n708).
type(X,j709) :- type(X,n708).
type(X,n710) :- type(X,n709).
type(X,i710) :- type(X,n709).
type(X,j710) :- type(X,n709).
type(X,n711) :- type(X,n710).
type(X,i711) :- type(X,n710).
type(X,j711) :- type(X,n710).
type(X,n712) :- type(X,n711).
type(X,i712) :- type(X,n711).
type(X,j712) :- type(X,n711).
type(X,n713) :- type(X,n712).
type(X,i713) :- type(X,n712).
type(X,j713) :- type(X,n712).
type(X,n714) :- type(X,n713).
type(X,i714) :- type(X,n713).
type(X,j714) :- type(X,n713).
type(X,n715) :- type(X,n714).
type(X,i715) :- type(X,n714).
type(X,j715) :- type(X,n714).
type(X,n716) :- type(X,n715).
type(X,i716) :- type(X,n715).
type(X,j716) :- type(X,n715).
type(X,n717) :- type(X,n716).
type(X,i717) :- type(X,n716).
type(X,j717) :- type(X,n716).
type(X,n718) :- type(X,n717).
type(X,i718) :- type(X,n717).
type(X,j718) :- type(X,n717).
type(X,n719) :- type(X,n718).
type(X,i719) :- type(X,n718).
type(X,j719) :- type(X,n718).
type(X,n720) :- type(X,n719).
type(X,i720) :- type(X,n719).
type(X,j720) :- type(X,n719).
type(X,n721) :- type(X,n720).
type(X,i721) :- type(X,n720).
type(X,j721) :- type(X,n720).
type(X,n722) :- type(X,n721).
type(X,i722) :- type(X,n721).
type(X,j722) :- type(X,n721).
type(X,n723) :- type(X,n722).
type(X,i723) :- type(X,n722).
type(X,j723) :- type(X,n722).
type(X,n724) :- type(X,n723).
type(X,i724) :- type(X,n723).
type(X,j724) :- type(X,n723).
type(X,n725) :- type(X,n724).
type(X,i725) :- type(X,n724).
type(X,j725) :- type(X,n724).
type(X,n726) :- type(X,n725).
type(X,i726) :- type(X,n725).
type(X,j726) :- type(X,n725).
type(X,n727) :- type(X,n726).
type(X,i727) :- type(X,n726).
type(X,j727) :- type(X,n726).
type(X,n728) :- type(X,n727).
type(X,i728) :- type(X,n727).
type(X,j728) :- type(X,n727).
type(X,n729) :- type(X,n728).
type(X,i729) :- type(X,n728).
type(X,j729) :- type(X,n728).
type(X,n730) :- type(X,n729).
type(X,i730) :- type(X,n729).
type(X,j730) :- type(X,n729).
type(X,n731) :- type(X,n730).
type(X,i731) :- type(X,n730).
type(X,j731) :- type(X,n730).
type(X,n732) :- type(X,n731).
type(X,i732) :- type(X,n731).
type(X,j732) :- type(X,n731).
type(X,n733) :- type(X,n732).
type(X,i733) :- type(X,n732).
type(X,j733) :- type(X,n732).
type(X,n734) :- type(X,n733).
type(X,i734) :- type(X,n733).
type(X,j734) :- type(X,n733).
type(X,n735) :- type(X,n734).
type(X,i735) :- type(X,n734).
type(X,j735) :- type(X,n734).
type(X,n736) :- type(X,n735).
type(X,i736) :- type(X,n735).
type(X,j736) :- type(X,n735).
type(X,n737) :- type(X,n736).
type(X,i737) :- type(X,n736).
type(X,j737) :- type(X,n736).
type(X,n738) :- type(X,n737).
type(X,i738) :- type(X,n737).
type(X,j738) :- type(X,n737).
type(X,n739) :- type(X,n738).
type(X,i739) :- type(X,n738).
type(X,j739) :- type(X,n738).
type(X,n740) :- type(X,n739).
type(X,i740) :- type(X,n739).
type(X,j740) :- type(X,n739).
type(X,n741) :- type(X,n740).
type(X,i741) :- type(X,n740).
type(X,j741) :- type(X,n740).
type(X,n742) :- type(X,n741).
type(X,i742) :- type(X,n741).
type(X,j742) :- type(X,n741).
type(X,n743) :- type(X,n742).
type(X,i743) :- type(X,n742).
type(X,j743) :- type(X,n742).
type(X,n744) :- type(X,n743).
type(X,i744) :- type(X,n743).
type(X,j744) :- type(X,n743).
type(X,n745) :- type(X,n744).
type(X,i745) :- type(X,n744).
type(X,j745) :- type(X,n744).
type(X,n746) :- type(X,n745).
type(X,i746) :- type(X,n745).
type(X,j746) :- type(X,n745).
type(X,n747) :- type(X,n746).
type(X,i747) :- type(X,n746).
type(X,j747) :- type(X,n746).
type(X,n748) :- type(X,n747).
type(X,i748) :- type(X,n747).
type(X,j748) :- type(X,n747).
type(X,n749) :- type(X,n748).
type(X,i749) :- type(X,n748).
type(X,j749) :- type(X,n748).
type(X,n750) :- type(X,n749).
type(X,i750) :- type(X,n749).
type(X,j750) :- type(X,n749).
type(X,n751) :- type(X,n750).
type(X,i751) :- type(X,n750).
type(X,j751) :- type(X,n750).
type(X,n752) :- type(X,n751).
type(X,i752) :- type(X,n751).
type(X,j752) :- type(X,n751).
type(X,n753) :- type(X,n752).
type(X,i753) :- type(X,n752).
type(X,j753) :- type(X,n752).
type(X,n754) :- type(X,n753).
type(X,i754) :- type(X,n753).
type(X,j754) :- type(X,n753).
type(X,n755) :- type(X,n754).
type(X,i755) :- type(X,n754).
type(X,j755) :- type(X,n754).
type(X,n756) :- type(X,n755).
type(X,i756) :- type(X,n755).
type(X,j756) :- type(X,n755).
type(X,n757) :- type(X,n756).
type(X,i757) :- type(X,n756).
type(X,j757) :- type(X,n756).
type(X,n758) :- type(X,n757).
type(X,i758) :- type(X,n757).
type(X,j758) :- type(X,n757).
type(X,n759) :- type(X,n758).
type(X,i759) :- type(X,n758).
type(X,j759) :- type(X,n758).
type(X,n760) :- type(X,n759).
type(X,i760) :- type(X,n759).
type(X,j760) :- type(X,n759).
type(X,n761) :- type(X,n760).
type(X,i761) :- type(X,n760).
type(X,j761) :- type(X,n760).
type(X,n762) :- type(X,n761).
type(X,i762) :- type(X,n761).
type(X,j762) :- type(X,n761).
type(X,n763) :- type(X,n762).
type(X,i763) :- type(X,n762).
type(X,j763) :- type(X,n762).
type(X,n764) :- type(X,n763).
type(X,i764) :- type(X,n763).
type(X,j764) :- type(X,n763).
type(X,n765) :- type(X,n764).
type(X,i765) :- type(X,n764).
type(X,j765) :- type(X,n764).
type(X,n766) :- type(X,n765).
type(X,i766) :- type(X,n765).
type(X,j766) :- type(X,n765).
type(X,n767) :- type(X,n766).
type(X,i767) :- type(X,n766).
type(X,j767) :- type(X,n766).
type(X,n768) :- type(X,n767).
type(X,i768) :- type(X,n767).
type(X,j768) :- type(X,n767).
type(X,n769) :- type(X,n768).
type(X,i769) :- type(X,n768).
type(X,j769) :- type(X,n768).
type(X,n770) :- type(X,n769).
type(X,i770) :- type(X,n769).
type(X,j770) :- type(X,n769).
type(X,n771) :- type(X,n770).
type(X,i771) :- type(X,n770).
type(X,j771) :- type(X,n770).
type(X,n772) :- type(X,n771).
type(X,i772) :- type(X,n771).
type(X,j772) :- type(X,n771).
type(X,n773) :- type(X,n772).
type(X,i773) :- type(X,n772).
type(X,j773) :- type(X,n772).
type(X,n774) :- type(X,n773).
type(X,i774) :- type(X,n773).
type(X,j774) :- type(X,n773).
type(X,n775) :- type(X,n774).
type(X,i775) :- type(X,n774).
type(X,j775) :- type(X,n774).
type(X,n776) :- type(X,n775).
type(X,i776) :- type(X,n775).
type(X,j776) :- type(X,n775).
type(X,n777) :- type(X,n776).
type(X,i777) :- type(X,n776).
type(X,j777) :- type(X,n776).
type(X,n778) :- type(X,n777).
type(X,i778) :- type(X,n777).
type(X,j778) :- type(X,n777).
type(X,n779) :- type(X,n778).
type(X,i779) :- type(X,n778).
type(X,j779) :- type(X,n778).
type(X,n780) :- type(X,n779).
type(X,i780) :- type(X,n779).
type(X,j780) :- type(X,n779).
type(X,n781) :- type(X,n780).
type(X,i781) :- type(X,n780).
type(X,j781) :- type(X,n780).
type(X,n782) :- type(X,n781).
type(X,i782) :- type(X,n781).
type(X,j782) :- type(X,n781).
type(X,n783) :- type(X,n782).
type(X,i783) :- type(X,n782).
type(X,j783) :- type(X,n782).
type(X,n784) :- type(X,n783).
type(X,i784) :- type(X,n783).
type(X,j784) :- type(X,n783).
type(X,n785) :- type(X,n784).
type(X,i785) :- type(X,n784).
type(X,j785) :- type(X,n784).
type(X,n786) :- type(X,n785).
type(X,i786) :- type(X,n785).
type(X,j786) :- type(X,n785).
type(X,n787) :- type(X,n786).
type(X,i787) :- type(X,n786).
type(X,j787) :- type(X,n786).
type(X,n788) :- type(X,n787).
type(X,i788) :- type(X,n787).
type(X,j788) :- type(X,n787).
type(X,n789) :- type(X,n788).
type(X,i789) :- type(X,n788).
type(X,j789) :- type(X,n788).
type(X,n790) :- type(X,n789).
type(X,i790) :- type(X,n789).
type(X,j790) :- type(X,n789).
type(X,n791) :- type(X,n790).
type(X,i791) :- type(X,n790).
type(X,j791) :- type(X,n790).
type(X,n792) :- type(X,n791).
type(X,i792) :- type(X,n791).
type(X,j792) :- type(X,n791).
type(X,n793) :- type(X,n792).
type(X,i793) :- type(X,n792).
type(X,j793) :- type(X,n792).
type(X,n794) :- type(X,n793).
type(X,i794) :- type(X,n793).
type(X,j794) :- type(X,n793).
type(X,n795) :- type(X,n794).
type(X,i795) :- type(X,n794).
type(X,j795) :- type(X,n794).
type(X,n796) :- type(X,n795).
type(X,i796) :- type(X,n795).
type(X,j796) :- type(X,n795).
type(X,n797) :- type(X,n796).
type(X,i797) :- type(X,n796).
type(X,j797) :- type(X,n796).
type(X,n798) :- type(X,n797).
type(X,i798) :- type(X,n797).
type(X,j798) :- type(X,n797).
type(X,n799) :- type(X,n798).
type(X,i799) :- type(X,n798).
type(X,j799) :- type(X,n798).
type(X,n800) :- type(X,n799).
type(X,i800) :- type(X,n799).
type(X,j800) :- type(X,n799).
type(X,n801) :- type(X,n800).
type(X,i801) :- type(X,n800).
type(X,j801) :- type(X,n800).
type(X,n802) :- type(X,n801).
type(X,i802) :- type(X,n801).
type(X,j802) :- type(X,n801).
type(X,n803) :- type(X,n802).
type(X,i803) :- type(X,n802).
type(X,j803) :- type(X,n802).
type(X,n804) :- type(X,n803).
type(X,i804) :- type(X,n803).
type(X,j804) :- type(X,n803).
type(X,n805) :- type(X,n804).
type(X,i805) :- type(X,n804).
type(X,j805) :- type(X,n804).
type(X,n806) :- type(X,n805).
type(X,i806) :- type(X,n805).
type(X,j806) :- type(X,n805).
type(X,n807) :- type(X,n806).
type(X,i807) :- type(X,n806).
type(X,j807) :- type(X,n806).
type(X,n808) :- type(X,n807).
type(X,i808) :- type(X,n807).
type(X,j808) :- type(X,n807).
type(X,n809) :- type(X,n808).
type(X,i809) :- type(X,n808).
type(X,j809) :- type(X,n808).
type(X,n810) :- type(X,n809).
type(X,i810) :- type(X,n809).
type(X,j810) :- type(X,n809).
type(X,n811) :- type(X,n810).
type(X,i811) :- type(X,n810).
type(X,j811) :- type(X,n810).
type(X,n812) :- type(X,n811).
type(X,i812) :- type(X,n811).
type(X,j812) :- type(X,n811).
type(X,n813) :- type(X,n812).
type(X,i813) :- type(X,n812).
type(X,j813) :- type(X,n812).
type(X,n814) :- type(X,n813).
type(X,i814) :- type(X,n813).
type(X,j814) :- type(X,n813).
type(X,n815) :- type(X,n814).
type(X,i815) :- type(X,n814).
type(X,j815) :- type(X,n814).
type(X,n816) :- type(X,n815).
type(X,i816) :- type(X,n815).
type(X,j816) :- type(X,n815).
type(X,n817) :- type(X,n816).
type(X,i817) :- type(X,n816).
type(X,j817) :- type(X,n816).
type(X,n818) :- type(X,n817).
type(X,i818) :- type(X,n817).
type(X,j818) :- type(X,n817).
type(X,n819) :- type(X,n818).
type(X,i819) :- type(X,n818).
type(X,j819) :- type(X,n818).
type(X,n820) :- type(X,n819).
type(X,i820) :- type(X,n819).
type(X,j820) :- type(X,n819).
type(X,n821) :- type(X,n820).
type(X,i821) :- type(X,n820).
type(X,j821) :- type(X,n820).
type(X,n822) :- type(X,n821).
type(X,i822) :- type(X,n821).
type(X,j822) :- type(X,n821).
type(X,n823) :- type(X,n822).
type(X,i823) :- type(X,n822).
type(X,j823) :- type(X,n822).
type(X,n824) :- type(X,n823).
type(X,i824) :- type(X,n823).
type(X,j824) :- type(X,n823).
type(X,n825) :- type(X,n824).
type(X,i825) :- type(X,n824).
type(X,j825) :- type(X,n824).
type(X,n826) :- type(X,n825).
type(X,i826) :- type(X,n825).
type(X,j826) :- type(X,n825).
type(X,n827) :- type(X,n826).
type(X,i827) :- type(X,n826).
type(X,j827) :- type(X,n826).
type(X,n828) :- type(X,n827).
type(X,i828) :- type(X,n827).
type(X,j828) :- type(X,n827).
type(X,n829) :- type(X,n828).
type(X,i829) :- type(X,n828).
type(X,j829) :- type(X,n828).
type(X,n830) :- type(X,n829).
type(X,i830) :- type(X,n829).
type(X,j830) :- type(X,n829).
type(X,n831) :- type(X,n830).
type(X,i831) :- type(X,n830).
type(X,j831) :- type(X,n830).
type(X,n832) :- type(X,n831).
type(X,i832) :- type(X,n831).
type(X,j832) :- type(X,n831).
type(X,n833) :- type(X,n832).
type(X,i833) :- type(X,n832).
type(X,j833) :- type(X,n832).
type(X,n834) :- type(X,n833).
type(X,i834) :- type(X,n833).
type(X,j834) :- type(X,n833).
type(X,n835) :- type(X,n834).
type(X,i835) :- type(X,n834).
type(X,j835) :- type(X,n834).
type(X,n836) :- type(X,n835).
type(X,i836) :- type(X,n835).
type(X,j836) :- type(X,n835).
type(X,n837) :- type(X,n836).
type(X,i837) :- type(X,n836).
type(X,j837) :- type(X,n836).
type(X,n838) :- type(X,n837).
type(X,i838) :- type(X,n837).
type(X,j838) :- type(X,n837).
type(X,n839) :- type(X,n838).
type(X,i839) :- type(X,n838).
type(X,j839) :- type(X,n838).
type(X,n840) :- type(X,n839).
type(X,i840) :- type(X,n839).
type(X,j840) :- type(X,n839).
type(X,n841) :- type(X,n840).
type(X,i841) :- type(X,n840).
type(X,j841) :- type(X,n840).
type(X,n842) :- type(X,n841).
type(X,i842) :- type(X,n841).
type(X,j842) :- type(X,n841).
type(X,n843) :- type(X,n842).
type(X,i843) :- type(X,n842).
type(X,j843) :- type(X,n842).
type(X,n844) :- type(X,n843).
type(X,i844) :- type(X,n843).
type(X,j844) :- type(X,n843).
type(X,n845) :- type(X,n844).
type(X,i845) :- type(X,n844).
type(X,j845) :- type(X,n844).
type(X,n846) :- type(X,n845).
type(X,i846) :- type(X,n845).
type(X,j846) :- type(X,n845).
type(X,n847) :- type(X,n846).
type(X,i847) :- type(X,n846).
type(X,j847) :- type(X,n846).
type(X,n848) :- type(X,n847).
type(X,i848) :- type(X,n847).
type(X,j848) :- type(X,n847).
type(X,n849) :- type(X,n848).
type(X,i849) :- type(X,n848).
type(X,j849) :- type(X,n848).
type(X,n850) :- type(X,n849).
type(X,i850) :- type(X,n849).
type(X,j850) :- type(X,n849).
type(X,n851) :- type(X,n850).
type(X,i851) :- type(X,n850).
type(X,j851) :- type(X,n850).
type(X,n852) :- type(X,n851).
type(X,i852) :- type(X,n851).
type(X,j852) :- type(X,n851).
type(X,n853) :- type(X,n852).
type(X,i853) :- type(X,n852).
type(X,j853) :- type(X,n852).
type(X,n854) :- type(X,n853).
type(X,i854) :- type(X,n853).
type(X,j854) :- type(X,n853).
type(X,n855) :- type(X,n854).
type(X,i855) :- type(X,n854).
type(X,j855) :- type(X,n854).
type(X,n856) :- type(X,n855).
type(X,i856) :- type(X,n855).
type(X,j856) :- type(X,n855).
type(X,n857) :- type(X,n856).
type(X,i857) :- type(X,n856).
type(X,j857) :- type(X,n856).
type(X,n858) :- type(X,n857).
type(X,i858) :- type(X,n857).
type(X,j858) :- type(X,n857).
type(X,n859) :- type(X,n858).
type(X,i859) :- type(X,n858).
type(X,j859) :- type(X,n858).
type(X,n860) :- type(X,n859).
type(X,i860) :- type(X,n859).
type(X,j860) :- type(X,n859).
type(X,n861) :- type(X,n860).
type(X,i861) :- type(X,n860).
type(X,j861) :- type(X,n860).
type(X,n862) :- type(X,n861).
type(X,i862) :- type(X,n861).
type(X,j862) :- type(X,n861).
type(X,n863) :- type(X,n862).
type(X,i863) :- type(X,n862).
type(X,j863) :- type(X,n862).
type(X,n864) :- type(X,n863).
type(X,i864) :- type(X,n863).
type(X,j864) :- type(X,n863).
type(X,n865) :- type(X,n864).
type(X,i865) :- type(X,n864).
type(X,j865) :- type(X,n864).
type(X,n866) :- type(X,n865).
type(X,i866) :- type(X,n865).
type(X,j866) :- type(X,n865).
type(X,n867) :- type(X,n866).
type(X,i867) :- type(X,n866).
type(X,j867) :- type(X,n866).
type(X,n868) :- type(X,n867).
type(X,i868) :- type(X,n867).
type(X,j868) :- type(X,n867).
type(X,n869) :- type(X,n868).
type(X,i869) :- type(X,n868).
type(X,j869) :- type(X,n868).
type(X,n870) :- type(X,n869).
type(X,i870) :- type(X,n869).
type(X,j870) :- type(X,n869).
type(X,n871) :- type(X,n870).
type(X,i871) :- type(X,n870).
type(X,j871) :- type(X,n870).
type(X,n872) :- type(X,n871).
type(X,i872) :- type(X,n871).
type(X,j872) :- type(X,n871).
type(X,n873) :- type(X,n872).
type(X,i873) :- type(X,n872).
type(X,j873) :- type(X,n872).
type(X,n874) :- type(X,n873).
type(X,i874) :- type(X,n873).
type(X,j874) :- type(X,n873).
type(X,n875) :- type(X,n874).
type(X,i875) :- type(X,n874).
type(X,j875) :- type(X,n874).
type(X,n876) :- type(X,n875).
type(X,i876) :- type(X,n875).
type(X,j876) :- type(X,n875).
type(X,n877) :- type(X,n876).
type(X,i877) :- type(X,n876).
type(X,j877) :- type(X,n876).
type(X,n878) :- type(X,n877).
type(X,i878) :- type(X,n877).
type(X,j878) :- type(X,n877).
type(X,n879) :- type(X,n878).
type(X,i879) :- type(X,n878).
type(X,j879) :- type(X,n878).
type(X,n880) :- type(X,n879).
type(X,i880) :- type(X,n879).
type(X,j880) :- type(X,n879).
type(X,n881) :- type(X,n880).
type(X,i881) :- type(X,n880).
type(X,j881) :- type(X,n880).
type(X,n882) :- type(X,n881).
type(X,i882) :- type(X,n881).
type(X,j882) :- type(X,n881).
type(X,n883) :- type(X,n882).
type(X,i883) :- type(X,n882).
type(X,j883) :- type(X,n882).
type(X,n884) :- type(X,n883).
type(X,i884) :- type(X,n883).
type(X,j884) :- type(X,n883).
type(X,n885) :- type(X,n884).
type(X,i885) :- type(X,n884).
type(X,j885) :- type(X,n884).
type(X,n886) :- type(X,n885).
type(X,i886) :- type(X,n885).
type(X,j886) :- type(X,n885).
type(X,n887) :- type(X,n886).
type(X,i887) :- type(X,n886).
type(X,j887) :- type(X,n886).
type(X,n888) :- type(X,n887).
type(X,i888) :- type(X,n887).
type(X,j888) :- type(X,n887).
type(X,n889) :- type(X,n888).
type(X,i889) :- type(X,n888).
type(X,j889) :- type(X,n888).
type(X,n890) :- type(X,n889).
type(X,i890) :- type(X,n889).
type(X,j890) :- type(X,n889).
type(X,n891) :- type(X,n890).
type(X,i891) :- type(X,n890).
type(X,j891) :- type(X,n890).
type(X,n892) :- type(X,n891).
type(X,i892) :- type(X,n891).
type(X,j892) :- type(X,n891).
type(X,n893) :- type(X,n892).
type(X,i893) :- type(X,n892).
type(X,j893) :- type(X,n892).
type(X,n894) :- type(X,n893).
type(X,i894) :- type(X,n893).
type(X,j894) :- type(X,n893).
type(X,n895) :- type(X,n894).
type(X,i895) :- type(X,n894).
type(X,j895) :- type(X,n894).
type(X,n896) :- type(X,n895).
type(X,i896) :- type(X,n895).
type(X,j896) :- type(X,n895).
type(X,n897) :- type(X,n896).
type(X,i897) :- type(X,n896).
type(X,j897) :- type(X,n896).
type(X,n898) :- type(X,n897).
type(X,i898) :- type(X,n897).
type(X,j898) :- type(X,n897).
type(X,n899) :- type(X,n898).
type(X,i899) :- type(X,n898).
type(X,j899) :- type(X,n898).
type(X,n900) :- type(X,n899).
type(X,i900) :- type(X,n899).
type(X,j900) :- type(X,n899).
type(X,n901) :- type(X,n900).
type(X,i901) :- type(X,n900).
type(X,j901) :- type(X,n900).
type(X,n902) :- type(X,n901).
type(X,i902) :- type(X,n901).
type(X,j902) :- type(X,n901).
type(X,n903) :- type(X,n902).
type(X,i903) :- type(X,n902).
type(X,j903) :- type(X,n902).
type(X,n904) :- type(X,n903).
type(X,i904) :- type(X,n903).
type(X,j904) :- type(X,n903).
type(X,n905) :- type(X,n904).
type(X,i905) :- type(X,n904).
type(X,j905) :- type(X,n904).
type(X,n906) :- type(X,n905).
type(X,i906) :- type(X,n905).
type(X,j906) :- type(X,n905).
type(X,n907) :- type(X,n906).
type(X,i907) :- type(X,n906).
type(X,j907) :- type(X,n906).
type(X,n908) :- type(X,n907).
type(X,i908) :- type(X,n907).
type(X,j908) :- type(X,n907).
type(X,n909) :- type(X,n908).
type(X,i909) :- type(X,n908).
type(X,j909) :- type(X,n908).
type(X,n910) :- type(X,n909).
type(X,i910) :- type(X,n909).
type(X,j910) :- type(X,n909).
type(X,n911) :- type(X,n910).
type(X,i911) :- type(X,n910).
type(X,j911) :- type(X,n910).
type(X,n912) :- type(X,n911).
type(X,i912) :- type(X,n911).
type(X,j912) :- type(X,n911).
type(X,n913) :- type(X,n912).
type(X,i913) :- type(X,n912).
type(X,j913) :- type(X,n912).
type(X,n914) :- type(X,n913).
type(X,i914) :- type(X,n913).
type(X,j914) :- type(X,n913).
type(X,n915) :- type(X,n914).
type(X,i915) :- type(X,n914).
type(X,j915) :- type(X,n914).
type(X,n916) :- type(X,n915).
type(X,i916) :- type(X,n915).
type(X,j916) :- type(X,n915).
type(X,n917) :- type(X,n916).
type(X,i917) :- type(X,n916).
type(X,j917) :- type(X,n916).
type(X,n918) :- type(X,n917).
type(X,i918) :- type(X,n917).
type(X,j918) :- type(X,n917).
type(X,n919) :- type(X,n918).
type(X,i919) :- type(X,n918).
type(X,j919) :- type(X,n918).
type(X,n920) :- type(X,n919).
type(X,i920) :- type(X,n919).
type(X,j920) :- type(X,n919).
type(X,n921) :- type(X,n920).
type(X,i921) :- type(X,n920).
type(X,j921) :- type(X,n920).
type(X,n922) :- type(X,n921).
type(X,i922) :- type(X,n921).
type(X,j922) :- type(X,n921).
type(X,n923) :- type(X,n922).
type(X,i923) :- type(X,n922).
type(X,j923) :- type(X,n922).
type(X,n924) :- type(X,n923).
type(X,i924) :- type(X,n923).
type(X,j924) :- type(X,n923).
type(X,n925) :- type(X,n924).
type(X,i925) :- type(X,n924).
type(X,j925) :- type(X,n924).
type(X,n926) :- type(X,n925).
type(X,i926) :- type(X,n925).
type(X,j926) :- type(X,n925).
type(X,n927) :- type(X,n926).
type(X,i927) :- type(X,n926).
type(X,j927) :- type(X,n926).
type(X,n928) :- type(X,n927).
type(X,i928) :- type(X,n927).
type(X,j928) :- type(X,n927).
type(X,n929) :- type(X,n928).
type(X,i929) :- type(X,n928).
type(X,j929) :- type(X,n928).
type(X,n930) :- type(X,n929).
type(X,i930) :- type(X,n929).
type(X,j930) :- type(X,n929).
type(X,n931) :- type(X,n930).
type(X,i931) :- type(X,n930).
type(X,j931) :- type(X,n930).
type(X,n932) :- type(X,n931).
type(X,i932) :- type(X,n931).
type(X,j932) :- type(X,n931).
type(X,n933) :- type(X,n932).
type(X,i933) :- type(X,n932).
type(X,j933) :- type(X,n932).
type(X,n934) :- type(X,n933).
type(X,i934) :- type(X,n933).
type(X,j934) :- type(X,n933).
type(X,n935) :- type(X,n934).
type(X,i935) :- type(X,n934).
type(X,j935) :- type(X,n934).
type(X,n936) :- type(X,n935).
type(X,i936) :- type(X,n935).
type(X,j936) :- type(X,n935).
type(X,n937) :- type(X,n936).
type(X,i937) :- type(X,n936).
type(X,j937) :- type(X,n936).
type(X,n938) :- type(X,n937).
type(X,i938) :- type(X,n937).
type(X,j938) :- type(X,n937).
type(X,n939) :- type(X,n938).
type(X,i939) :- type(X,n938).
type(X,j939) :- type(X,n938).
type(X,n940) :- type(X,n939).
type(X,i940) :- type(X,n939).
type(X,j940) :- type(X,n939).
type(X,n941) :- type(X,n940).
type(X,i941) :- type(X,n940).
type(X,j941) :- type(X,n940).
type(X,n942) :- type(X,n941).
type(X,i942) :- type(X,n941).
type(X,j942) :- type(X,n941).
type(X,n943) :- type(X,n942).
type(X,i943) :- type(X,n942).
type(X,j943) :- type(X,n942).
type(X,n944) :- type(X,n943).
type(X,i944) :- type(X,n943).
type(X,j944) :- type(X,n943).
type(X,n945) :- type(X,n944).
type(X,i945) :- type(X,n944).
type(X,j945) :- type(X,n944).
type(X,n946) :- type(X,n945).
type(X,i946) :- type(X,n945).
type(X,j946) :- type(X,n945).
type(X,n947) :- type(X,n946).
type(X,i947) :- type(X,n946).
type(X,j947) :- type(X,n946).
type(X,n948) :- type(X,n947).
type(X,i948) :- type(X,n947).
type(X,j948) :- type(X,n947).
type(X,n949) :- type(X,n948).
type(X,i949) :- type(X,n948).
type(X,j949) :- type(X,n948).
type(X,n950) :- type(X,n949).
type(X,i950) :- type(X,n949).
type(X,j950) :- type(X,n949).
type(X,n951) :- type(X,n950).
type(X,i951) :- type(X,n950).
type(X,j951) :- type(X,n950).
type(X,n952) :- type(X,n951).
type(X,i952) :- type(X,n951).
type(X,j952) :- type(X,n951).
type(X,n953) :- type(X,n952).
type(X,i953) :- type(X,n952).
type(X,j953) :- type(X,n952).
type(X,n954) :- type(X,n953).
type(X,i954) :- type(X,n953).
type(X,j954) :- type(X,n953).
type(X,n955) :- type(X,n954).
type(X,i955) :- type(X,n954).
type(X,j955) :- type(X,n954).
type(X,n956) :- type(X,n955).
type(X,i956) :- type(X,n955).
type(X,j956) :- type(X,n955).
type(X,n957) :- type(X,n956).
type(X,i957) :- type(X,n956).
type(X,j957) :- type(X,n956).
type(X,n958) :- type(X,n957).
type(X,i958) :- type(X,n957).
type(X,j958) :- type(X,n957).
type(X,n959) :- type(X,n958).
type(X,i959) :- type(X,n958).
type(X,j959) :- type(X,n958).
type(X,n960) :- type(X,n959).
type(X,i960) :- type(X,n959).
type(X,j960) :- type(X,n959).
type(X,n961) :- type(X,n960).
type(X,i961) :- type(X,n960).
type(X,j961) :- type(X,n960).
type(X,n962) :- type(X,n961).
type(X,i962) :- type(X,n961).
type(X,j962) :- type(X,n961).
type(X,n963) :- type(X,n962).
type(X,i963) :- type(X,n962).
type(X,j963) :- type(X,n962).
type(X,n964) :- type(X,n963).
type(X,i964) :- type(X,n963).
type(X,j964) :- type(X,n963).
type(X,n965) :- type(X,n964).
type(X,i965) :- type(X,n964).
type(X,j965) :- type(X,n964).
type(X,n966) :- type(X,n965).
type(X,i966) :- type(X,n965).
type(X,j966) :- type(X,n965).
type(X,n967) :- type(X,n966).
type(X,i967) :- type(X,n966).
type(X,j967) :- type(X,n966).
type(X,n968) :- type(X,n967).
type(X,i968) :- type(X,n967).
type(X,j968) :- type(X,n967).
type(X,n969) :- type(X,n968).
type(X,i969) :- type(X,n968).
type(X,j969) :- type(X,n968).
type(X,n970) :- type(X,n969).
type(X,i970) :- type(X,n969).
type(X,j970) :- type(X,n969).
type(X,n971) :- type(X,n970).
type(X,i971) :- type(X,n970).
type(X,j971) :- type(X,n970).
type(X,n972) :- type(X,n971).
type(X,i972) :- type(X,n971).
type(X,j972) :- type(X,n971).
type(X,n973) :- type(X,n972).
type(X,i973) :- type(X,n972).
type(X,j973) :- type(X,n972).
type(X,n974) :- type(X,n973).
type(X,i974) :- type(X,n973).
type(X,j974) :- type(X,n973).
type(X,n975) :- type(X,n974).
type(X,i975) :- type(X,n974).
type(X,j975) :- type(X,n974).
type(X,n976) :- type(X,n975).
type(X,i976) :- type(X,n975).
type(X,j976) :- type(X,n975).
type(X,n977) :- type(X,n976).
type(X,i977) :- type(X,n976).
type(X,j977) :- type(X,n976).
type(X,n978) :- type(X,n977).
type(X,i978) :- type(X,n977).
type(X,j978) :- type(X,n977).
type(X,n979) :- type(X,n978).
type(X,i979) :- type(X,n978).
type(X,j979) :- type(X,n978).
type(X,n980) :- type(X,n979).
type(X,i980) :- type(X,n979).
type(X,j980) :- type(X,n979).
type(X,n981) :- type(X,n980).
type(X,i981) :- type(X,n980).
type(X,j981) :- type(X,n980).
type(X,n982) :- type(X,n981).
type(X,i982) :- type(X,n981).
type(X,j982) :- type(X,n981).
type(X,n983) :- type(X,n982).
type(X,i983) :- type(X,n982).
type(X,j983) :- type(X,n982).
type(X,n984) :- type(X,n983).
type(X,i984) :- type(X,n983).
type(X,j984) :- type(X,n983).
type(X,n985) :- type(X,n984).
type(X,i985) :- type(X,n984).
type(X,j985) :- type(X,n984).
type(X,n986) :- type(X,n985).
type(X,i986) :- type(X,n985).
type(X,j986) :- type(X,n985).
type(X,n987) :- type(X,n986).
type(X,i987) :- type(X,n986).
type(X,j987) :- type(X,n986).
type(X,n988) :- type(X,n987).
type(X,i988) :- type(X,n987).
type(X,j988) :- type(X,n987).
type(X,n989) :- type(X,n988).
type(X,i989) :- type(X,n988).
type(X,j989) :- type(X,n988).
type(X,n990) :- type(X,n989).
type(X,i990) :- type(X,n989).
type(X,j990) :- type(X,n989).
type(X,n991) :- type(X,n990).
type(X,i991) :- type(X,n990).
type(X,j991) :- type(X,n990).
type(X,n992) :- type(X,n991).
type(X,i992) :- type(X,n991).
type(X,j992) :- type(X,n991).
type(X,n993) :- type(X,n992).
type(X,i993) :- type(X,n992).
type(X,j993) :- type(X,n992).
type(X,n994) :- type(X,n993).
type(X,i994) :- type(X,n993).
type(X,j994) :- type(X,n993).
type(X,n995) :- type(X,n994).
type(X,i995) :- type(X,n994).
type(X,j995) :- type(X,n994).
type(X,n996) :- type(X,n995).
type(X,i996) :- type(X,n995).
type(X,j996) :- type(X,n995).
type(X,n997) :- type(X,n996).
type(X,i997) :- type(X,n996).
type(X,j997) :- type(X,n996).
type(X,n998) :- type(X,n997).
type(X,i998) :- type(X,n997).
type(X,j998) :- type(X,n997).
type(X,n999) :- type(X,n998).
type(X,i999) :- type(X,n998).
type(X,j999) :- type(X,n998).
type(X,n1000) :- type(X,n999).
type(X,i1000) :- type(X,n999).
type(X,j1000) :- type(X,n999).

goal :- type(X,n1000).
