API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Mar 1st, 2015
302
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 116.19 KB | None | 0 0
raw download clone embed print report
  1. @x(P(x))->P(x)
  2. (@x(P(x))->P(x))->?x(!P(x))->@x(P(x))->P(x)
  3. ?x(!P(x))->@x(P(x))->P(x)
  4. (@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  5. ((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  6. ?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  7. ((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  8. (((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  9. ?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  10. (?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  11. (?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  12. ?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  13. ((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  14. (((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  15. ?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  16. (((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  17. ((((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  18. ?x(!P(x))->(((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  19. (?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->(((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  20. (?x(!P(x))->(((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  21. ?x(!P(x))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  22. ((@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  23. (((@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  24. ?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  25. (?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  26. (?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  27. ?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  28. (?x(!P(x))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  29. (?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  30. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x)))
  31. (@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  32. ((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  33. ?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  34. (@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x)
  35. ((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x)
  36. ?x(!P(x))->(@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x)
  37. ((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  38. (((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  39. ?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  40. (?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->(?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  41. (?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  42. ?x(!P(x))->((@x(P(x))->P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  43. (?x(!P(x))->@x(P(x))->P(x))->(?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  44. (?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  45. ?x(!P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x)
  46. (@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  47. ((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  48. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  49. ((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  50. (((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  51. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  52. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  53. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  54. ?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  55. ((@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  56. (((@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  57. ?x(!P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  58. (?x(!P(x))->(@x(P(x))->P(x))->@x(P(x))->P(x))->(?x(!P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  59. (?x(!P(x))->((@x(P(x))->P(x))->@x(P(x))->P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  60. ?x(!P(x))->((@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  61. (?x(!P(x))->@x(P(x))->P(x))->(?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  62. (?x(!P(x))->(@x(P(x))->P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  63. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x)
  64. (!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  65. ((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  66. ?x(!P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  67. ((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  68. (((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  69. ?x(!P(x))->((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  70. (?x(!P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  71. (?x(!P(x))->((!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  72. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  73. ((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  74. (((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  75. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  76. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  77. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  78. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  79. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  80. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  81. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  82. ((@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  83. (((@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  84. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  85. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  86. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  87. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  88. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  89. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->P(x))->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  90. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x)))
  91. !P(x)->@x(P(x))->!P(x)
  92. (!P(x)->@x(P(x))->!P(x))->?x(!P(x))->!P(x)->@x(P(x))->!P(x)
  93. ?x(!P(x))->!P(x)->@x(P(x))->!P(x)
  94. (!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  95. ((!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  96. ?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  97. (?x(!P(x))->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  98. (?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  99. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  100. (!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  101. ((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  102. ?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  103. ((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  104. (((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  105. ?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  106. (?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  107. (?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  108. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  109. ((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  110. (((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  111. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  112. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  113. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  114. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  115. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  116. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  117. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->@x(P(x))->!P(x)
  118. !P(x)->!P(x)->!P(x)
  119. (!P(x)->!P(x)->!P(x))->?x(!P(x))->!P(x)->!P(x)->!P(x)
  120. ?x(!P(x))->!P(x)->!P(x)->!P(x)
  121. (!P(x)->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x)
  122. ((!P(x)->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->?x(!P(x))->(!P(x)->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x)
  123. ?x(!P(x))->(!P(x)->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x)
  124. (?x(!P(x))->!P(x)->!P(x)->!P(x))->(?x(!P(x))->(!P(x)->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x)
  125. (?x(!P(x))->(!P(x)->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x)
  126. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x)
  127. (!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  128. ((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  129. ?x(!P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  130. ((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  131. (((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  132. ?x(!P(x))->((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  133. (?x(!P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  134. (?x(!P(x))->((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  135. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  136. ((@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  137. (((@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  138. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  139. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  140. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  141. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  142. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  143. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  144. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  145. !P(x)->(!P(x)->!P(x))->!P(x)
  146. (!P(x)->(!P(x)->!P(x))->!P(x))->?x(!P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  147. ?x(!P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  148. (!P(x)->(!P(x)->!P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  149. ((!P(x)->(!P(x)->!P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->?x(!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  150. ?x(!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  151. (?x(!P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->(?x(!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  152. (?x(!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  153. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x)
  154. ((@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  155. (((@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  156. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  157. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  158. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(!P(x)->!P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  159. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  160. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  161. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  162. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x)
  163. (!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  164. ((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  165. ?x(!P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  166. ((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  167. (((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  168. ?x(!P(x))->((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  169. (?x(!P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  170. (?x(!P(x))->((!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  171. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  172. ((@x(P(x))->P(x))->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  173. (((@x(P(x))->P(x))->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  174. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  175. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  176. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  177. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  178. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  179. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->!P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  180. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->!P(x)->@x(P(x))->!P(x))->!P(x)->@x(P(x))->!P(x)
  181. (?x(!P(x))->@x(P(x))->P(x))->(?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->!P(x)->@x(P(x))->!P(x)
  182. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->!P(x)->@x(P(x))->!P(x)
  183. ?x(!P(x))->!P(x)->@x(P(x))->!P(x)
  184. (!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  185. ((!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  186. ?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  187. (?x(!P(x))->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  188. (?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  189. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x)
  190. (!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  191. ((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  192. ?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  193. ((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  194. (((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  195. ?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  196. (?x(!P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  197. (?x(!P(x))->((!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  198. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  199. ((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  200. (((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  201. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  202. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  203. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->@x(P(x))->!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  204. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  205. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  206. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->@x(P(x))->!P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  207. ?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x)))
  208. ((@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  209. (((@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  210. ?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  211. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  212. (?x(!P(x))->((@x(P(x))->P(x))->!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  213. ?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  214. (?x(!P(x))->(@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  215. (?x(!P(x))->((@x(P(x))->P(x))->(!P(x)->(@x(P(x))->!P(x))->!(@x(P(x))))->!P(x)->!(@x(P(x))))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  216. ?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x)))
  217. (?x(!P(x))->@x(P(x))->P(x))->(?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  218. (?x(!P(x))->(@x(P(x))->P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  219. ?x(!P(x))->!P(x)->!(@x(P(x)))
  220. ?x(!P(x))->!P(x)->!(@x(P(x)))
  221. ?x(!P(x))->?x(!P(x))->?x(!P(x))
  222. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  223. (?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  224. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x))
  225. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x))
  226. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x))
  227. ((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x))
  228. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x))
  229. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x))
  230. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  231. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  232. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  233. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  234. (((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  235. (?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  236. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  237. ((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  238. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  239. (!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  240. ((!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  241. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  242. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  243. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  244. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  245. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  246. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  247. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  248. ?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  249. (?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  250. (?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  251. (?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  252. ((?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  253. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  254. ((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  255. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  256. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  257. (!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))
  258. ((!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))
  259. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))
  260. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))
  261. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))
  262. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x))
  263. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))
  264. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->!P(x)->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))
  265. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))
  266. !P(x)->!P(x)->!P(x)
  267. (!P(x)->!P(x)->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)->!P(x)
  268. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)->!P(x)
  269. (!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  270. ((!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  271. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  272. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)->!P(x))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  273. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->!P(x))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  274. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x)
  275. !P(x)->(!P(x)->!P(x))->!P(x)
  276. (!P(x)->(!P(x)->!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(!P(x)->!P(x))->!P(x)
  277. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(!P(x)->!P(x))->!P(x)
  278. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(!P(x)->!P(x))->!P(x))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)
  279. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(!P(x)->!P(x))->!P(x))->!P(x)->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)
  280. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)
  281. !P(x)->?x(!P(x))->!P(x)
  282. (!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)
  283. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)
  284. (!P(x)->?x(!P(x))->!P(x))->!P(x)->!P(x)->?x(!P(x))->!P(x)
  285. ((!P(x)->?x(!P(x))->!P(x))->!P(x)->!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->!P(x)->!P(x)->?x(!P(x))->!P(x)
  286. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->!P(x)->!P(x)->?x(!P(x))->!P(x)
  287. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->!P(x)->!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)->?x(!P(x))->!P(x)
  288. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->!P(x)->!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)->?x(!P(x))->!P(x)
  289. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x)->?x(!P(x))->!P(x)
  290. (!P(x)->!P(x))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x)
  291. ((!P(x)->!P(x))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x)
  292. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x)
  293. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->!P(x))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x)
  294. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x)
  295. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->!P(x)->?x(!P(x))->!P(x))->!P(x)->?x(!P(x))->!P(x)
  296. !P(x)->?x(!P(x))->!P(x)
  297. (!P(x)->?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)
  298. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)
  299. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  300. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  301. ((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  302. (?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  303. (?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  304. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  305. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  306. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  307. ((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  308. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  309. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  310. (?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  311. ((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  312. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  313. ((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  314. (((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  315. (?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  316. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  317. ((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  318. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  319. (!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  320. ((!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  321. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  322. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  323. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  324. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  325. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  326. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  327. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x)))
  328. (?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  329. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  330. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  331. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  332. (((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  333. (?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  334. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  335. ((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  336. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  337. (!P(x)->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  338. ((!P(x)->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  339. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  340. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  341. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x)))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  342. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  343. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  344. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  345. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x)))
  346. (!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  347. ((!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  348. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  349. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  350. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  351. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  352. ((?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  353. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  354. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x)))
  355. (?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  356. ((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  357. (?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  358. ((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  359. (((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  360. (?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  361. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  362. ((?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  363. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  364. (!P(x)->?x(!P(x))->!P(x))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  365. ((!P(x)->?x(!P(x))->!P(x))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  366. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  367. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  368. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  369. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  370. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  371. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x))->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  372. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  373. (!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  374. ((!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  375. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  376. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  377. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  378. (?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  379. ((?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  380. ((?x(!P(x))->!P(x)->!(@x(P(x))))->(!P(x)->(?x(!P(x))->!P(x)->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  381. (?x(!P(x))->!P(x)->!(@x(P(x))))->!P(x)->?x(!P(x))->!(@x(P(x)))
  382. !P(x)->?x(!P(x))->!(@x(P(x)))
  383. ?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  384. ?x(!P(x))->?x(!P(x))->?x(!P(x))
  385. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  386. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  387. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  388. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  389. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  390. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  391. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  392. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  393. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  394. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  395. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  396. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  397. (((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  398. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  399. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  400. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  401. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  402. (?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  403. ((?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  404. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  405. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  406. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  407. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  408. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  409. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  410. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  411. ?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  412. (?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  413. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  414. (?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  415. ((?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  416. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  417. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  418. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  419. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  420. (?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  421. ((?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  422. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  423. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  424. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  425. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  426. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  427. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  428. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  429. ?x(!P(x))->?x(!P(x))->?x(!P(x))
  430. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  431. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  432. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  433. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  434. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  435. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  436. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  437. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  438. ?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  439. (?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  440. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  441. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))
  442. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))
  443. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))
  444. ?x(!P(x))->?x(!P(x))->?x(!P(x))
  445. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  446. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  447. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  448. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  449. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  450. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  451. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  452. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  453. (?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  454. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  455. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  456. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  457. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  458. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  459. ?x(!P(x))->?x(!P(x))->?x(!P(x))
  460. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  461. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))
  462. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  463. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  464. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  465. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  466. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  467. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  468. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  469. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  470. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  471. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  472. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  473. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  474. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  475. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  476. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  477. (((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  478. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  479. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  480. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  481. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  482. (?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  483. ((?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  484. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  485. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  486. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  487. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  488. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  489. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  490. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  491. (?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  492. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  493. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  494. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  495. (((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  496. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  497. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  498. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  499. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  500. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  501. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  502. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  503. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  504. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  505. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  506. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  507. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  508. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  509. (?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  510. ((?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  511. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  512. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  513. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  514. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  515. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  516. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  517. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  518. (?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  519. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  520. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  521. ((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  522. (((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  523. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  524. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  525. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  526. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  527. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  528. ((?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  529. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  530. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x)))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  531. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  532. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  533. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  534. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  535. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  536. (?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  537. ((?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  538. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  539. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  540. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  541. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  542. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  543. ((?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x))))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  544. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  545. ?x(!P(x))->?x(!P(x))->!(@x(P(x)))
  546. ?x(!P(x))->?x(!P(x))->?x(!P(x))
  547. (?x(!P(x))->?x(!P(x))->?x(!P(x)))->(?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  548. (?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x)))->?x(!P(x))->?x(!P(x))
  549. ?x(!P(x))->(?x(!P(x))->?x(!P(x)))->?x(!P(x))
  550. ?x(!P(x))->?x(!P(x))
  551. (?x(!P(x))->?x(!P(x)))->(?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  552. (?x(!P(x))->?x(!P(x))->!(@x(P(x))))->?x(!P(x))->!(@x(P(x)))
  553. ?x(!P(x))->!(@x(P(x)))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!