t:- 
6 #=# AlA1 + AlA2 + AmA1 + AmA2 + AsA1 + AsA2,
6 #=# Al5 + Al10 + Am5 + Am10 + As5 + As10 ,
6 #=# Al5A1 + Al5A2 + Al10A1 + Al10A2 + Am5A1 + Am5A2 + Am10A1 + Am10A2 + As5A1 + As5A2 + As10A1 + As10A2,

2 #=# AlA1 + AlA2,
2 #=# Al5 + Al10 , 
2 #=# Al5A1 + Al10A1 + Al5A2 + Al10A2,

AlA1 #=# Al5A1 + Al10A1,
AlA2 #=# Al5A2 + Al10A2,

Al5 #=# Al5A1 + Al5A2,
Al10 #=# Al10A1 + Al10A2,


2 #=# AmA1 + AmA2,
2 #=# Am5 + Am10 , 
2 #=# Am5A1 + Am10A1 + Am5A2 + Am10A2,

AmA1 #=# Am5A1 + Am10A1,
AmA2 #=# Am5A2 + Am10A2,

Am5 #=# Am5A1 + Am5A2,
Am10 #=# Am10A1 + Am10A2,


2 #=# AsA1 + AsA2,
2 #=# As5 + As10 , 
2 #=# As5A1 + As10A1 + As5A2 + As10A2,

AsA1 #=# As5A1 + As10A1,
AsA2 #=# As5A2 + As10A2,

As5 #=# As5A1 + As5A2,
As10 #=# As10A1 + As10A2,


3 #=# Al5 + Am5 + As5 , 
3 #=# A5A1 + A5A2,
3 #=# Al5A1 + Al5A2 + Am5A1 + Am5A2 + As5A1 + As5A2,

3 #=# Al10 + Am10 + As10 , 
3 #=# A10A1 + A10A2,
3 #=# Al10A1 + Al10A2 + Am10A1 + Am10A2 + As10A1 + As10A2,

A5A1 #=# Al5A1 + Am5A1 + As5A1 ,
A5A2 #=# Al5A2 + Am5A2 + As5A2 ,

A10A1 #=# Al10A1 + Am10A1 + As10A1 ,
A10A2 #=# Al10A2 + Am10A2 + As10A2 ,


3 #=# AlA1 + AmA1 + AsA1 , 
3 #=# A5A1 + A10A1,
3 #=# Al5A1 + Am5A1 + As5A1 + Al10A1 + Am10A1 + As10A1 ,  

3 #=# AlA2 + AmA2 + AsA2 , 
3 #=# A10A2 + A5A2,
3 #=# Al5A2 + Am5A2 + As5A2 + Al10A2 + Am10A2 + As10A2 ,  

write('Al5 '), write(Al5), nl, 
write('Al10 ') , write(Al10) , nl, 
write('AlA1 '), write(AlA1), nl, 
write('AlA2 '), write(AlA2), nl, 
write('Am5 '), write(Am5), nl, 
write('Am10 ') , write(Am10) , nl, 
write('AmA1 '), write(AmA1), nl, 
write('AmA2 '), write(AmA2), nl, 
write('As5 '), write(As5), nl, 
write('As10 ') , write(As10) , nl, 
write('AsA1 '), write(AsA1), nl, 
write('AsA2 '), write(AsA2), nl, 
write('A5A1 '), write(A5A1), nl, 
write('A5A2 '), write(A5A2), nl, 
write('A10A1 '), write(A10A1), nl, 
write('A10A2 '), write(A10A2), nl,
write('Al5A1 '), write(Al5A1), nl,
write('Al5A2 '), write(Al5A2), nl,
write('Al10A1 '), write(Al10A1), nl,
write('Al10A2 '), write(Al10A2), nl,
write('Am5A1 '), write(Am5A1), nl,
write('Am5A2 '), write(Am5A2), nl,
write('Am10A1 '), write(Am10A1), nl,
write('Am10A2 '), write(Am10A2), nl,
write('As5A1 '), write(As5A1), nl,
write('As5A2 '), write(As5A2), nl,
write('As10A1 '), write(As10A1), nl,
write('As10A2 '), write(As10A2). 
:- initialization(t).

