blam([]).
blam([L|L]) :-
	blam(L).

id([], []).
id([L1|R1], [L2|R2]) :-
	id(L1,L2),
	L1 = L2,
	id(R1,R2),
	R1 = R2.

blid(N) :-
	length(L, N),
	blam(L),
	id(L,K),
	L == K.

idid([], []).
idid([L1|R1], [L2|R2]) :-
	idid(L1,L2),
	L1 == L2,
	idid(R1,R2),
	R1 == R2.

blidid(N) :-
	length(L, N),
	blam(L),
	idid(L,K),
	L == K.

bleq(N) :-
	length(L, N),
	blam(L),
	length(K, N),
	blam(K),
	L = K.

bleqeq(N) :-
	length(L, N),
	blam(L),
	length(K, N),
	blam(K),
	L == K.