
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).

goal :- type(X,n10).
