fork(10) download
  1. class Brace
  2. def initialize list, &f
  3. @list = list
  4. @fn = f
  5. end
  6. def self.trace lists, n
  7. puts "="+lists.reverse.inject(n.to_s){|a,b|
  8. if b.size==1 && b[0]==1
  9. a = 'f('+a+')'
  10. else a = 'f['+b.join(',')+']('+a+')'
  11. end
  12. }
  13. end
  14. def exec n
  15. lists = [@list.clone]
  16. puts 'f['+@list.join(',')+']('+n.to_s+')'
  17. while true
  18. last = lists.last
  19. if last.size==1
  20. if last[0]==1
  21. lists.pop
  22. n=@fn[n]
  23. else
  24. last[0]-=1
  25. (n-1).times do lists << last.clone end
  26. end
  27. elsif last[0]==1
  28. index = last.find_index {|a| a!=1 }
  29. last.fill n, 0, index
  30. last[index] -= 1
  31. last.pop if last.last==1
  32. elsif last.last==1
  33. last.pop
  34. next
  35. else
  36. last[0] -= 1
  37. last.pop if last.last==1
  38. (n-1).times do lists << last.clone end
  39. end
  40. Brace.trace lists, n
  41. end
  42. end
  43. end
  44.  
  45. #Brace.new[1,2,3] do|n| n+1 end.exec(4) は f(n)=1, f[1,2,3](4) の意味です
  46. #forkボタンをクリックした後、後ろの2行を好きに書き換えてください
  47. Brace.new [2,2,2] do|n| n+1 end.exec(3)
Runtime error #stdin #stdout 0.08s 12104KB
stdin
Standard input is empty
stdout
f[2,2,2](3)
=f[1,2,2](f[1,2,2](f[1,2,2](3)))
=f[1,2,2](f[1,2,2](f[3,1,2](3)))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[2,1,2](3)))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[1,1,2](3)))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[3,3](3)))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[2,3](3)))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[1,3](3)))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[3,2](3)))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[2,2](3)))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[1,2](3)))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[3](3)))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f[2](f[2](3)))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f[2](f(f(f(3)))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f[2](f(f(4))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f[2](f(5)))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f[2](6))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f(f(f(f(f(f(6)))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f(f(f(f(f(7))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f(f(f(f(8)))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f(f(f(9))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f(f(10)))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](f(11))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f[2](12)))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(f(f(f(f(f(f(12))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(f(f(f(f(f(13)))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(f(f(f(f(14))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(f(f(f(15)))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(f(f(16))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(f(17)))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(f(18))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(f(19)))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(f(20))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(f(21)))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(f(22))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](f(23)))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[1,2](24))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[24](24))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](24)))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](24))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(24)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(25))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(26)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(27))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[20](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[19](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[18](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[17](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[16](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[15](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[14](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[13](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[12](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[11](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[10](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[9](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[8](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[7](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[6](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[5](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[4](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[3](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f[2](f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(28)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
=f[1,2,2](f[1,2,2](f[2,1,2](f[2,1,2](f[1,1,2](f[1,1,2](f[2,3](f[2,3](f[1,3](f[1,3](f[2,2](f[2,2](f[1,2](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[23](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[22](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f[21](f