Algorithms.TF.Oracle
o1_ORACLE
o1_ORACLE_aux
o2_ConvertNode
o3_TestEqual
o4_POW17
square
o5_MOD3
o6_SUB
o7_ADD
o7_ADD_controlled
o8_MUL
double_TF
placeholder_oracle