../../Task/Fibonacci-sequence/ACL2