Super-recursive algorithm
 
x
OK