?- consult('crypto.pl').
true.

?- crypto(5,3,6,12,6,14,X).
X = ex(ex(6, +, 12), -, ex(6, -, ex(5, -, 3))) .

?- crypto(4,13,1,12,11,1,X).
X = ex(ex(12, /, ex(ex(4, +, 13), -, 11)), -, 1) .

?- crypto(12,5,15,14,12,10,X).
X = ex(ex(12, *, ex(ex(12, +, 5), -, 15)), -, 14) .

?- crypto(7,8,9,1,5,11,X).
X = ex(ex(9, -, 1), +, ex(ex(7, +, 8), /, 5)) .

?- crypto(8,10,7,1,12,15,X).
X = ex(12, +, ex(ex(8, +, 10), /, ex(7, -, 1))) .

?- crypto(3,5,7,1,10,13,X).
X = ex(ex(7, *, ex(10, -, ex(3, +, 5))), -, 1) .

?- crypto(6,0,10,15,11,8,X).
X = ex(ex(10, +, 15), -, ex(11, +, ex(6, +, 0))) .

?- crypto(2,3,7,11,14,1,X).
X = ex(ex(14, +, ex(2, +, 3)), -, ex(7, +, 11)) .

?- crypto(6,1,9,10,13,1,X).
X = ex(ex(13, +, ex(6, +, 1)), -, ex(9, +, 10)) .

?- crypto(4,2,4,9,11,11,X).
X = ex(11, *, ex(ex(4, +, 2), +, ex(4, -, 9))) .

?- halt.