
=========== Result is ================
addelement([list],[A,list],[A,list])
addliste([list],[A,list],[A,list])
addliste([list],[A],[A])
addliste([list],[list],[list])
allsplit([A],[list])
allsplit([list],[list])
append([list],[A],[A,list])
append([list],[A],[A])
combcut([A,list],[list],[B,list],[A,list],[num],[list])
combcut([A,list],[list],[list],[A,list],[num],[list])
combcut([A],[list],[B,list],[A],[num],[list])
combcut([A],[list],[list],[A],[num],[list])
combcut([list],[list],[A,list],[list],[num],[list])
combcut([list],[list],[list],[list],[num],[list])
combcutaux([A,list],[list],[list],[B,list],[A,list],[num])
combcutaux([A,list],[list],[list],[list],[A,list],[num])
combcutaux([A],[B],[list],[C],[A],[num])
combcutaux([A],[list],[list],[B,list],[A],[num])
combcutaux([A],[list],[list],[list],[A],[num])
combcutaux([list],[list],[list],[A,list],[list],[num])
combcutaux([list],[list],[list],[list],[list],[num])
combine([list],[A,list],[B,list],[list])
combine([list],[A,list],[B],[list])
combine([list],[A,list],[list],[list])
combine([list],[list],[A,list],[list])
combine([list],[list],[A],[list])
combine([list],[list],[list],[list])
construct([list],[A],[list])
cuth([atom])
cutv([atom])
empty([atom])
find([A],[B,list],[C])
gencut([list],[A],[B],[list])
genempty([list],[list])
generatecutaux([A],[num],[num],[num],[num],[list],[list],[num],[B])
generatecutaux([A],[num],[num],[num],[num],[list],[list],[num],[num])
horizontal([num])
intersection([A,list],[B,list])
member([A],[B,list])
nobeter([A],[list])
nobeter([A],[list],[B])
nobeter([A],[list],[num])
nobeter([num],[list])
nobeter([num],[list],[num])
quantity([atom])
split([list],[list])
split([list],[list],[list])
vertical([num])
wasteh([num])
wastev([num])
