/* Solution to Homework 1, Problem 3. */


fun(f1,X,11*X*X).
fun(f2,X,7*X).
fun(f3,X,X*X*X).

comp(X1,info(Name3,Name2,Name1),FX123):-
    fun(Name3,FX12,FX123),
    fun(Name2,FX1,FX12),
    fun(Name1,X1,FX1).

info(info(Name1,Name2,Name3)):-
    write(Name1),write(' '),
    write(Name2),write(' '),
    write(Name3),write(' ').

try(2).
try(3).
try(4).

solve(I):-try(X),comp(X,I,F),34496 is F,write(I),write(' '),write(X).