replacing tnnparam by tnndim

updating AI_tasks as psMCTS changed

ttt_record_thy now include ttt_rewrite_thy in tttUnfold + search status for MCTS

removing trailing white spaces

code for processing results

remove trailing white spaces

verification of the solutions

wrong suffix to the experiments

merging files on combinators

preparing for ATP evaluation

combinators with fixed arities

precomputation before starting big steps

Diophantine synthesis experiment first version

prettifying AI_tasks

changing synthesis generation to only generate terms in normal form

removing supervised policy experiment

only allowing to synthesize normalized terms

moving experiments to examples directory