SHARE
TWEET

Untitled

a guest Apr 24th, 2019 66 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. C|-A&B|C
  2. (A)->((A)->(A))
  3. ((A)->((A)->(A)))->((B)->((A)->((A)->(A))))
  4. (B)->((A)->((A)->(A)))
  5. ((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A))
  6. (((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A)))->((B)->(((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A))))
  7. (B)->(((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A)))
  8. ((B)->((A)->((A)->(A))))->(((B)->(((A)->((A)->(A)))->(((A)->(((A)->(A))->(A)))->((A)->(A)))))->((B)->(((A)->(((A)->(A))->(A)))->((A)->(A)))))
  9. ((B)->(((A)->((A)->(A)))->(((A)->(((A)->(A))->(A)))->((A)->(A)))))->((B)->(((A)->(((A)->(A))->(A)))->((A)->(A))))
  10. ((B)->(((A)->(((A)->(A))->(A)))->((A)->(A))))
  11. ((A)->(((A)->(A))->(A)))
  12. (((A)->(((A)->(A))->(A))))->((B)->(((A)->(((A)->(A))->(A)))))
  13. (B)->(((A)->(((A)->(A))->(A))))
  14. ((B)->(((A)->(((A)->(A))->(A)))))->(((B)->((((A)->(((A)->(A))->(A))))->((A)->(A))))->((B)->((A)->(A))))
  15. ((B)->((((A)->(((A)->(A))->(A))))->((A)->(A))))->((B)->((A)->(A)))
  16. ((B)->((A)->(A)))
  17. (B)->((B)->(B))
  18. ((B)->((B)->(B)))->((B)->(((B)->(B))->(B)))->((B)->(B))
  19. ((B)->(((B)->(B))->(B)))->((B)->(B))
  20. ((B)->(((B)->(B))->(B)))
  21. (B)->(B)
  22. (B)->((A)->(B))
  23. ((B)->((A)->(B)))->((B)->((B)->((A)->(B))))
  24. (B)->((B)->((A)->(B)))
  25. ((B)->(B))->(((B)->((B)->((A)->(B))))->((B)->((A)->(B))))
  26. ((B)->((B)->((A)->(B))))->((B)->((A)->(B)))
  27. ((B)->((A)->(B)))
  28. (A)->((A)->(A))
  29. ((A)->((A)->(A)))->((B)->((A)->((A)->(A))))
  30. (B)->((A)->((A)->(A)))
  31. ((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A))
  32. (((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A)))->((B)->(((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A))))
  33. (B)->(((A)->((A)->(A)))->((A)->(((A)->(A))->(A)))->((A)->(A)))
  34. ((B)->((A)->((A)->(A))))->(((B)->(((A)->((A)->(A)))->(((A)->(((A)->(A))->(A)))->((A)->(A)))))->((B)->(((A)->(((A)->(A))->(A)))->((A)->(A)))))
  35. ((B)->(((A)->((A)->(A)))->(((A)->(((A)->(A))->(A)))->((A)->(A)))))->((B)->(((A)->(((A)->(A))->(A)))->((A)->(A))))
  36. ((B)->(((A)->(((A)->(A))->(A)))->((A)->(A))))
  37. ((A)->(((A)->(A))->(A)))
  38. (((A)->(((A)->(A))->(A))))->((B)->(((A)->(((A)->(A))->(A)))))
  39. (B)->(((A)->(((A)->(A))->(A))))
  40. ((B)->(((A)->(((A)->(A))->(A)))))->(((B)->((((A)->(((A)->(A))->(A))))->((A)->(A))))->((B)->((A)->(A))))
  41. ((B)->((((A)->(((A)->(A))->(A))))->((A)->(A))))->((B)->((A)->(A)))
  42. ((B)->((A)->(A)))
  43. (B)->((B)->(B))
  44. ((B)->((B)->(B)))->((B)->(((B)->(B))->(B)))->((B)->(B))
  45. ((B)->(((B)->(B))->(B)))->((B)->(B))
  46. ((B)->(((B)->(B))->(B)))
  47. (B)->(B)
  48. (((B)))->((A)->(((B))))
  49. ((((B)))->((A)->(((B)))))->((B)->((((B)))->((A)->(((B))))))
  50. (B)->((((B)))->((A)->(((B)))))
  51. ((B)->(B))->(((B)->((B)->((A)->(((B))))))->((B)->((A)->(((B))))))
  52. ((B)->((B)->((A)->(((B))))))->((B)->((A)->(((B)))))
  53. ((B)->((A)->(((B)))))
  54. ((A))->((B))->((A))&((B))
  55. (((A))->((B))->((A))&((B)))->((B)->(((A))->((B))->((A))&((B))))
  56. (B)->(((A))->((B))->((A))&((B)))
  57. (((A))->((B))->((A))&((B)))->((A)->(((A))->((B))->((A))&((B))))
  58. ((((A))->((B))->((A))&((B)))->((A)->(((A))->((B))->((A))&((B)))))->((B)->((((A))->((B))->((A))&((B)))->((A)->(((A))->((B))->((A))&((B))))))
  59. (B)->((((A))->((B))->((A))&((B)))->((A)->(((A))->((B))->((A))&((B)))))
  60. ((B)->(((A))->((B))->((A))&((B))))->(((B)->((((A))->((B))->((A))&((B)))->((A)->(((A))->((B))->((A))&((B))))))->((B)->((A)->(((A))->((B))->((A))&((B))))))
  61. ((B)->((((A))->((B))->((A))&((B)))->((A)->(((A))->((B))->((A))&((B))))))->((B)->((A)->(((A))->((B))->((A))&((B)))))
  62. ((B)->((A)->(((A))->((B))->((A))&((B)))))
  63. ((A)->(((A))))->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B)))))
  64. (((A)->(((A))))->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B))))))->((B)->(((A)->(((A))))->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B)))))))
  65. (B)->(((A)->(((A))))->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B))))))
  66. ((B)->((A)->(A)))->(((B)->(((A)->(A))->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B)))))))->((B)->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B)))))))
  67. ((B)->(((A)->(A))->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B)))))))->((B)->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B))))))
  68. ((B)->(((A)->((((A)))->(((B))->((A))&((B)))))->((A)->(((B))->((A))&((B))))))
  69. ((A)->(((B))->((A))&((B))))
  70. (((A)->(((B))->((A))&((B)))))->((B)->(((A)->(((B))->((A))&((B))))))
  71. (B)->(((A)->(((B))->((A))&((B)))))
  72. ((A)->(B))->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B)))))
  73. (((A)->(B))->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B))))))->((B)->(((A)->(B))->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B)))))))
  74. (B)->(((A)->(B))->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B))))))
  75. ((B)->((A)->(B)))->(((B)->(((A)->(B))->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B)))))))->((B)->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B)))))))
  76. ((B)->(((A)->(B))->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B)))))))->((B)->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B))))))
  77. ((B)->(((A)->((B)->(((A))&((B)))))->((A)->(((A))&((B))))))
  78. ((B)->(((A))->((B))->((A))&((B))))->(((B)->((((A))->((B))->((A))&((B)))->(((A)->(((A))&((B)))))))->((B)->(((A)->(((A))&((B)))))))
  79. ((B)->((((A))->((B))->((A))&((B)))->(((A)->(((A))&((B)))))))->((B)->(((A)->(((A))&((B))))))
  80. ((B)->(((A)->(((A))&((B))))))
  81. ((A)->(B))->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B))))))
  82. (((A)->(B))->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B)))))))->((B)->(((A)->(B))->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B))))))))
  83. (B)->(((A)->(B))->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B)))))))
  84. ((B)->((A)->(B)))->(((B)->(((A)->(B))->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B))))))))->((B)->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B))))))))
  85. ((B)->(((A)->(B))->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B))))))))->((B)->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B)))))))
  86. ((B)->(((A)->((B)->((((A))&((B))))))->((A)->((((A))&((B)))))))
  87. ((B)->(((A))->((B))->((A))&((B))))->(((B)->((((A))->((B))->((A))&((B)))->(((A)->((((A))&((B))))))))->((B)->(((A)->((((A))&((B))))))))
  88. ((B)->((((A))->((B))->((A))&((B)))->(((A)->((((A))&((B))))))))->((B)->(((A)->((((A))&((B)))))))
  89. ((B)->(((A)->((((A))&((B)))))))
  90. (((A))&((B)))->(((A))&((B)))|((C))
  91. ((((A))&((B)))->(((A))&((B)))|((C)))->((B)->((((A))&((B)))->(((A))&((B)))|((C))))
  92. (B)->((((A))&((B)))->(((A))&((B)))|((C)))
  93. ((((A))&((B)))->(((A))&((B)))|((C)))->((A)->((((A))&((B)))->(((A))&((B)))|((C))))
  94. (((((A))&((B)))->(((A))&((B)))|((C)))->((A)->((((A))&((B)))->(((A))&((B)))|((C)))))->((B)->(((((A))&((B)))->(((A))&((B)))|((C)))->((A)->((((A))&((B)))->(((A))&((B)))|((C))))))
  95. (B)->(((((A))&((B)))->(((A))&((B)))|((C)))->((A)->((((A))&((B)))->(((A))&((B)))|((C)))))
  96. ((B)->((((A))&((B)))->(((A))&((B)))|((C))))->(((B)->(((((A))&((B)))->(((A))&((B)))|((C)))->((A)->((((A))&((B)))->(((A))&((B)))|((C))))))->((B)->((A)->((((A))&((B)))->(((A))&((B)))|((C))))))
  97. ((B)->(((((A))&((B)))->(((A))&((B)))|((C)))->((A)->((((A))&((B)))->(((A))&((B)))|((C))))))->((B)->((A)->((((A))&((B)))->(((A))&((B)))|((C)))))
  98. ((B)->((A)->((((A))&((B)))->(((A))&((B)))|((C)))))
  99. ((A)->(((A))&((B))))->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))
  100. (((A)->(((A))&((B))))->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))->((B)->(((A)->(((A))&((B))))->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))
  101. (B)->(((A)->(((A))&((B))))->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))
  102. ((B)->(((A)->(((A))&((B))))))->(((B)->((((A)->(((A))&((B)))))->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))->((B)->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))
  103. ((B)->((((A)->(((A))&((B)))))->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))->((B)->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))
  104. ((B)->(((A)->((((A))&((B)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))
  105. ((B)->((A)->((((A))&((B)))->(((A))&((B)))|((C)))))->(((B)->(((A)->((((A))&((B)))->(((A))&((B)))|((C))))->(((A)->((((A))&((B)))|((C)))))))->((B)->(((A)->((((A))&((B)))|((C)))))))
  106. ((B)->(((A)->((((A))&((B)))->(((A))&((B)))|((C))))->(((A)->((((A))&((B)))|((C)))))))->((B)->(((A)->((((A))&((B)))|((C))))))
  107. ((B)->(((A)->((((A))&((B)))|((C))))))
  108. C
  109. (C)->((B)->(C))
  110. (B)->(C)
  111. (C)->((!A)->(C))
  112. ((C)->((!A)->(C)))->((B)->((C)->((!A)->(C))))
  113. (B)->((C)->((!A)->(C)))
  114. ((B)->(C))->(((B)->((C)->((!A)->(C))))->((B)->((!A)->(C))))
  115. ((B)->((C)->((!A)->(C))))->((B)->((!A)->(C)))
  116. ((B)->((!A)->(C)))
  117. ((C))
  118. (((C)))->((B)->(((C))))
  119. (B)->(((C)))
  120. (((C)))->((!A)->(((C))))
  121. ((((C)))->((!A)->(((C)))))->((B)->((((C)))->((!A)->(((C))))))
  122. (B)->((((C)))->((!A)->(((C)))))
  123. ((B)->(C))->(((B)->((C)->((!A)->(((C))))))->((B)->((!A)->(((C))))))
  124. ((B)->((C)->((!A)->(((C))))))->((B)->((!A)->(((C)))))
  125. ((B)->((!A)->(((C)))))
  126. ((C))->(((A))&((B)))|((C))
  127. (((C))->(((A))&((B)))|((C)))->((B)->(((C))->(((A))&((B)))|((C))))
  128. (B)->(((C))->(((A))&((B)))|((C)))
  129. (((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))
  130. ((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C)))))->((B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))))
  131. (B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C)))))
  132. ((B)->(((C))->(((A))&((B)))|((C))))->(((B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))))->((B)->((!A)->(((C))->(((A))&((B)))|((C))))))
  133. ((B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))))->((B)->((!A)->(((C))->(((A))&((B)))|((C)))))
  134. ((B)->((!A)->(((C))->(((A))&((B)))|((C)))))
  135. ((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))
  136. (((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))->((B)->(((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))
  137. (B)->(((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))
  138. ((B)->((!A)->(C)))->(((B)->(((!A)->(C))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))->((B)->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))
  139. ((B)->(((!A)->(C))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))->((B)->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))
  140. ((B)->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))
  141. ((B)->((!A)->(((C))->(((A))&((B)))|((C)))))->(((B)->(((!A)->(((C))->(((A))&((B)))|((C))))->(((!A)->((((A))&((B)))|((C)))))))->((B)->(((!A)->((((A))&((B)))|((C)))))))
  142. ((B)->(((!A)->(((C))->(((A))&((B)))|((C))))->(((!A)->((((A))&((B)))|((C)))))))->((B)->(((!A)->((((A))&((B)))|((C))))))
  143. ((B)->(((!A)->((((A))&((B)))|((C))))))
  144. ((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))
  145. (((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))->((B)->(((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))))
  146. (B)->(((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))
  147. ((B)->(((A)->((((A))&((B)))|((C))))))->(((B)->((((A)->((((A))&((B)))|((C)))))->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))))->((B)->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))))
  148. ((B)->((((A)->((((A))&((B)))|((C)))))->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))))->((B)->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))))
  149. ((B)->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))))
  150. ((B)->(((!A)->((((A))&((B)))|((C))))))->(((B)->((((!A)->((((A))&((B)))|((C)))))->(((A)|(!A))->(A&B|C))))->((B)->(((A)|(!A))->(A&B|C))))
  151. ((B)->((((!A)->((((A))&((B)))|((C)))))->(((A)|(!A))->(A&B|C))))->((B)->(((A)|(!A))->(A&B|C)))
  152. ((B)->(((A)|(!A))->(A&B|C)))
  153. ((A))->((A))|!((A))
  154. (((A))->((A))|!((A)))->((B)->(((A))->((A))|!((A))))
  155. (B)->(((A))->((A))|!((A)))
  156. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  157. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  158. (B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  159. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  160. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  161. (B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  162. ((B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))
  163. ((B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  164. ((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  165. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  166. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  167. (B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  168. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  169. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  170. (B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  171. ((B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))
  172. ((B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  173. ((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  174. ((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))
  175. (((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((B)->(((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))
  176. (B)->(((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))
  177. ((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))))->((B)->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))))
  178. ((B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))))->((B)->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))))
  179. ((B)->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))))
  180. ((B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))
  181. ((B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  182. ((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  183. ((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A)))))
  184. (((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((B)->(((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A)))))))
  185. (B)->(((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))
  186. ((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))
  187. (((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  188. (B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  189. ((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))
  190. (((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  191. (B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  192. ((B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->(((B)->((((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))->((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  193. ((B)->((((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))->((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  194. ((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  195. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  196. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  197. (B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  198. ((B)->(((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A)))))))->(((B)->((((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))))
  199. ((B)->((((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  200. ((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  201. ((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->(((B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  202. ((B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  203. ((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  204. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))
  205. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  206. (B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  207. ((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  208. ((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  209. ((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  210. ((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))->(((B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  211. ((B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  212. ((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  213. ((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))
  214. (((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  215. (B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))
  216. ((!(((A))|!((A)))->((A))->!(((A))|!((A)))))
  217. (((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  218. (B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A))))))
  219. ((B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))->(((B)->((((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))))->((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))))
  220. ((B)->((((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))))->((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  221. ((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  222. ((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))
  223. (((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  224. (B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))
  225. ((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))
  226. (((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  227. (B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))
  228. ((B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))->(((B)->((((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))))
  229. ((B)->((((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))))->((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  230. ((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  231. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))
  232. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))
  233. (B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))
  234. ((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))->(((B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))))
  235. ((B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))
  236. ((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))
  237. ((B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))->(((B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))->((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))
  238. ((B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))->((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))
  239. ((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))
  240. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))
  241. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))->((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))
  242. (B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))
  243. ((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->(((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))))
  244. ((B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))))->((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))))
  245. ((B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))))
  246. ((B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))->(((B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A)))))))->((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A)))))))
  247. ((B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A)))))))->((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))))))
  248. ((B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))))))
  249. ((B)->(((A))->((A))|!((A))))->(((B)->((((A))->((A))|!((A)))->(!(((A))|!((A)))->!((A)))))->((B)->(!(((A))|!((A)))->!((A)))))
  250. ((B)->((((A))->((A))|!((A)))->(!(((A))|!((A)))->!((A)))))->((B)->(!(((A))|!((A)))->!((A))))
  251. ((B)->(!(((A))|!((A)))->!((A))))
  252. !((A))->((A))|!((A))
  253. (!((A))->((A))|!((A)))->((B)->(!((A))->((A))|!((A))))
  254. (B)->(!((A))->((A))|!((A)))
  255. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  256. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  257. (B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  258. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  259. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  260. (B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  261. ((B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))
  262. ((B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  263. ((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  264. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  265. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  266. (B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  267. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  268. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  269. (B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  270. ((B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))
  271. ((B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  272. ((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  273. ((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))
  274. (((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->(((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  275. (B)->(((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  276. ((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((B)->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))))
  277. ((B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((B)->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  278. ((B)->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  279. ((B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))
  280. ((B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  281. ((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  282. ((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A)))))
  283. (((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((B)->(((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A)))))))
  284. (B)->(((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))
  285. ((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))
  286. (((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  287. (B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  288. ((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))
  289. (((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  290. (B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  291. ((B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->(((B)->((((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))->((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  292. ((B)->((((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))->((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  293. ((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  294. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  295. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  296. (B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  297. ((B)->(((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A)))))))->(((B)->((((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))))
  298. ((B)->((((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  299. ((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  300. ((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->(((B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  301. ((B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  302. ((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  303. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))
  304. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  305. (B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  306. ((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  307. ((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  308. ((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  309. ((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))->(((B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  310. ((B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  311. ((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  312. ((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))
  313. (((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  314. (B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))
  315. ((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))
  316. (((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  317. (B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))
  318. ((B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))->(((B)->((((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))))->((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))))
  319. ((B)->((((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))))->((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  320. ((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  321. ((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))
  322. (((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  323. (B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))
  324. ((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))
  325. (((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  326. (B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))
  327. ((B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))->(((B)->((((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))))
  328. ((B)->((((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  329. ((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  330. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))
  331. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))
  332. (B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))
  333. ((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))->(((B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))))
  334. ((B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))
  335. ((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))
  336. ((B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))->(((B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))->((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))
  337. ((B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))->((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))
  338. ((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))
  339. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))
  340. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))->((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))
  341. (B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))
  342. ((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->(((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))))
  343. ((B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))))->((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))))
  344. ((B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))))
  345. ((B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))->(((B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A)))))))
  346. ((B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A)))))))->((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A))))))
  347. ((B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A))))))
  348. ((B)->(!((A))->((A))|!((A))))->(((B)->((!((A))->((A))|!((A)))->(!(((A))|!((A)))->!!((A)))))->((B)->(!(((A))|!((A)))->!!((A)))))
  349. ((B)->((!((A))->((A))|!((A)))->(!(((A))|!((A)))->!!((A)))))->((B)->(!(((A))|!((A)))->!!((A))))
  350. ((B)->(!(((A))|!((A)))->!!((A))))
  351. (!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))
  352. ((!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))->((B)->((!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))))
  353. (B)->((!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))
  354. ((B)->(!(((A))|!((A)))->!((A))))->(((B)->((!(((A))|!((A)))->!((A)))->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))))->((B)->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))))
  355. ((B)->((!(((A))|!((A)))->!((A)))->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))))->((B)->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))))
  356. ((B)->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))))
  357. ((B)->(!(((A))|!((A)))->!!((A))))->(((B)->((!(((A))|!((A)))->!!((A)))->(!!(((A))|!((A))))))->((B)->(!!(((A))|!((A))))))
  358. ((B)->((!(((A))|!((A)))->!!((A)))->(!!(((A))|!((A))))))->((B)->(!!(((A))|!((A)))))
  359. ((B)->(!!(((A))|!((A)))))
  360. !!(((A))|!((A)))->(((A))|!((A)))
  361. (!!(((A))|!((A)))->(((A))|!((A))))->((B)->(!!(((A))|!((A)))->(((A))|!((A)))))
  362. (B)->(!!(((A))|!((A)))->(((A))|!((A))))
  363. ((B)->(!!(((A))|!((A)))))->(((B)->((!!(((A))|!((A))))->(((A))|!((A)))))->((B)->(((A))|!((A)))))
  364. ((B)->((!!(((A))|!((A))))->(((A))|!((A)))))->((B)->(((A))|!((A))))
  365. ((B)->(((A))|!((A))))
  366. ((B)->(C))->(((B)->((C)->(A&B|C)))->((B)->(A&B|C)))
  367. ((B)->((C)->(A&B|C)))->((B)->(A&B|C))
  368. ((B)->(A&B|C))
  369. C
  370. (C)->((!B)->(C))
  371. (!B)->(C)
  372. (C)->((A)->(C))
  373. ((C)->((A)->(C)))->((!B)->((C)->((A)->(C))))
  374. (!B)->((C)->((A)->(C)))
  375. ((!B)->(C))->(((!B)->((C)->((A)->(C))))->((!B)->((A)->(C))))
  376. ((!B)->((C)->((A)->(C))))->((!B)->((A)->(C)))
  377. ((!B)->((A)->(C)))
  378. ((C))
  379. (((C)))->((!B)->(((C))))
  380. (!B)->(((C)))
  381. (((C)))->((A)->(((C))))
  382. ((((C)))->((A)->(((C)))))->((!B)->((((C)))->((A)->(((C))))))
  383. (!B)->((((C)))->((A)->(((C)))))
  384. ((!B)->(((C))))->(((!B)->((((C)))->((A)->(((C))))))->((!B)->((A)->(((C))))))
  385. ((!B)->((((C)))->((A)->(((C))))))->((!B)->((A)->(((C)))))
  386. ((!B)->((A)->(((C)))))
  387. ((C))->(((A))&((B)))|((C))
  388. (((C))->(((A))&((B)))|((C)))->((!B)->(((C))->(((A))&((B)))|((C))))
  389. (!B)->(((C))->(((A))&((B)))|((C)))
  390. (((C))->(((A))&((B)))|((C)))->((A)->(((C))->(((A))&((B)))|((C))))
  391. ((((C))->(((A))&((B)))|((C)))->((A)->(((C))->(((A))&((B)))|((C)))))->((!B)->((((C))->(((A))&((B)))|((C)))->((A)->(((C))->(((A))&((B)))|((C))))))
  392. (!B)->((((C))->(((A))&((B)))|((C)))->((A)->(((C))->(((A))&((B)))|((C)))))
  393. ((!B)->(((C))->(((A))&((B)))|((C))))->(((!B)->((((C))->(((A))&((B)))|((C)))->((A)->(((C))->(((A))&((B)))|((C))))))->((!B)->((A)->(((C))->(((A))&((B)))|((C))))))
  394. ((!B)->((((C))->(((A))&((B)))|((C)))->((A)->(((C))->(((A))&((B)))|((C))))))->((!B)->((A)->(((C))->(((A))&((B)))|((C)))))
  395. ((!B)->((A)->(((C))->(((A))&((B)))|((C)))))
  396. ((A)->(((C))))->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))
  397. (((A)->(((C))))->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))->((!B)->(((A)->(((C))))->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))
  398. (!B)->(((A)->(((C))))->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))
  399. ((!B)->((A)->(C)))->(((!B)->(((A)->(C))->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))->((!B)->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))
  400. ((!B)->(((A)->(C))->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C)))))))->((!B)->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))
  401. ((!B)->(((A)->((((C)))->((((A))&((B)))|((C)))))->((A)->((((A))&((B)))|((C))))))
  402. ((!B)->((A)->(((C))->(((A))&((B)))|((C)))))->(((!B)->(((A)->(((C))->(((A))&((B)))|((C))))->(((A)->((((A))&((B)))|((C)))))))->((!B)->(((A)->((((A))&((B)))|((C)))))))
  403. ((!B)->(((A)->(((C))->(((A))&((B)))|((C))))->(((A)->((((A))&((B)))|((C)))))))->((!B)->(((A)->((((A))&((B)))|((C))))))
  404. ((!B)->(((A)->((((A))&((B)))|((C))))))
  405. C
  406. (C)->((!B)->(C))
  407. (!B)->(C)
  408. (C)->((!A)->(C))
  409. ((C)->((!A)->(C)))->((!B)->((C)->((!A)->(C))))
  410. (!B)->((C)->((!A)->(C)))
  411. ((!B)->(((C))))->(((!B)->((((C)))->((!A)->(C))))->((!B)->((!A)->(C))))
  412. ((!B)->((((C)))->((!A)->(C))))->((!B)->((!A)->(C)))
  413. ((!B)->((!A)->(C)))
  414. ((C))
  415. (((C)))->((!B)->(((C))))
  416. (!B)->(((C)))
  417. (((C)))->((!A)->(((C))))
  418. ((((C)))->((!A)->(((C)))))->((!B)->((((C)))->((!A)->(((C))))))
  419. (!B)->((((C)))->((!A)->(((C)))))
  420. ((!B)->(((C))))->(((!B)->((((C)))->((!A)->(((C))))))->((!B)->((!A)->(((C))))))
  421. ((!B)->((((C)))->((!A)->(((C))))))->((!B)->((!A)->(((C)))))
  422. ((!B)->((!A)->(((C)))))
  423. ((C))->(((A))&((B)))|((C))
  424. (((C))->(((A))&((B)))|((C)))->((!B)->(((C))->(((A))&((B)))|((C))))
  425. (!B)->(((C))->(((A))&((B)))|((C)))
  426. (((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))
  427. ((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C)))))->((!B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))))
  428. (!B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C)))))
  429. ((!B)->(((C))->(((A))&((B)))|((C))))->(((!B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))))->((!B)->((!A)->(((C))->(((A))&((B)))|((C))))))
  430. ((!B)->((((C))->(((A))&((B)))|((C)))->((!A)->(((C))->(((A))&((B)))|((C))))))->((!B)->((!A)->(((C))->(((A))&((B)))|((C)))))
  431. ((!B)->((!A)->(((C))->(((A))&((B)))|((C)))))
  432. ((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))
  433. (((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))->((!B)->(((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))
  434. (!B)->(((!A)->(((C))))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))
  435. ((!B)->((!A)->(C)))->(((!B)->(((!A)->(C))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))->((!B)->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))
  436. ((!B)->(((!A)->(C))->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C)))))))->((!B)->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))
  437. ((!B)->(((!A)->((((C)))->((((A))&((B)))|((C)))))->((!A)->((((A))&((B)))|((C))))))
  438. ((!B)->((!A)->(((C))->(((A))&((B)))|((C)))))->(((!B)->(((!A)->(((C))->(((A))&((B)))|((C))))->(((!A)->((((A))&((B)))|((C)))))))->((!B)->(((!A)->((((A))&((B)))|((C)))))))
  439. ((!B)->(((!A)->(((C))->(((A))&((B)))|((C))))->(((!A)->((((A))&((B)))|((C)))))))->((!B)->(((!A)->((((A))&((B)))|((C))))))
  440. ((!B)->(((!A)->((((A))&((B)))|((C))))))
  441. ((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))
  442. (((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))->((!B)->(((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))))
  443. (!B)->(((A)->(A&B|C))->((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))
  444. ((!B)->(((A)->((((A))&((B)))|((C))))))->(((!B)->((((A)->((((A))&((B)))|((C)))))->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))))->((!B)->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))))
  445. ((!B)->((((A)->((((A))&((B)))|((C)))))->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C)))))->((!B)->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))))
  446. ((!B)->(((!A)->(A&B|C))->(((A)|(!A))->(A&B|C))))
  447. ((!B)->(((!A)->((((A))&((B)))|((C))))))->(((!B)->((((!A)->((((A))&((B)))|((C)))))->(((A)|(!A))->(A&B|C))))->((!B)->(((A)|(!A))->(A&B|C))))
  448. ((!B)->((((!A)->((((A))&((B)))|((C)))))->(((A)|(!A))->(A&B|C))))->((!B)->(((A)|(!A))->(A&B|C)))
  449. ((!B)->(((A)|(!A))->(A&B|C)))
  450. ((A))->((A))|!((A))
  451. (((A))->((A))|!((A)))->((!B)->(((A))->((A))|!((A))))
  452. (!B)->(((A))->((A))|!((A)))
  453. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  454. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  455. (!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  456. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  457. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  458. (!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  459. ((!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((!B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))
  460. ((!B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  461. ((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  462. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  463. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  464. (!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))->(((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  465. (((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))
  466. ((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  467. (!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))
  468. ((!B)->((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((!B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))
  469. ((!B)->(((((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  470. ((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  471. ((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))
  472. (((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((!B)->(((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))
  473. (!B)->(((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))
  474. ((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((!B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))))->((!B)->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))))
  475. ((!B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))))))->((!B)->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))))
  476. ((!B)->((((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))))))
  477. ((!B)->((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((!B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))
  478. ((!B)->(((((A))->(((A))|!((A))))->(((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))->!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  479. ((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))
  480. ((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A)))))
  481. (((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((!B)->(((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A)))))))
  482. (!B)->(((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))
  483. ((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))
  484. (((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((!B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  485. (!B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  486. ((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))
  487. (((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((!B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  488. (!B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  489. ((!B)->(((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->(((!B)->((((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))->((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  490. ((!B)->((((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))->((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  491. ((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  492. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  493. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  494. (!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  495. ((!B)->(((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A)))))))->(((!B)->((((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))))
  496. ((!B)->((((((A))->(((A))|!((A))))->!(((A))|!((A)))->(((A))->(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  497. ((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  498. ((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->(((!B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  499. ((!B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  500. ((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  501. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))
  502. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  503. (!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  504. ((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A))))))->(((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))
  505. ((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->(((A))|!((A))))->(((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  506. ((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))
  507. ((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))))->(((!B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))
  508. ((!B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->(((A))|!((A))))->((((A))->!(((A))|!((A))))->!((A)))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  509. ((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))
  510. ((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))
  511. (((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((!B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  512. (!B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))
  513. ((!(((A))|!((A)))->((A))->!(((A))|!((A)))))
  514. (((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((!B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  515. (!B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A))))))
  516. ((!B)->(((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))->(((!B)->((((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))))->((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))))
  517. ((!B)->((((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))))->((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  518. ((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))
  519. ((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))
  520. (((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((!B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  521. (!B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))->(((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))
  522. ((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))
  523. (((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((!B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  524. (!B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))
  525. ((!B)->(((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))->(((!B)->((((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))))
  526. ((!B)->((((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))))->((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  527. ((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))
  528. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))
  529. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))
  530. (!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))
  531. ((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A)))))))->(((!B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))))
  532. ((!B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((A))->!(((A))|!((A))))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))
  533. ((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))
  534. ((!B)->((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A))))))->(((!B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))->((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))
  535. ((!B)->(((((A))->(((A))|!((A))))->((!(((A))|!((A)))->(((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(((A))->!(((A))|!((A))))->!((A)))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))))->((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))
  536. ((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))
  537. ((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))
  538. (((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))->((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))
  539. (!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))
  540. ((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))))->(((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))))
  541. ((!B)->(((((A))->(((A))|!((A))))->(!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A)))))->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A))))))))->((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))))
  542. ((!B)->((((((A))->(((A))|!((A))))->((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->!((A)))))))
  543. ((!B)->((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A)))))))->(((!B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A)))))))
  544. ((!B)->(((((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((((A))->!(((A))|!((A))))->!((A))))->(!(((A))|!((A)))->!((A))))))->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A)))))))->((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))))))
  545. ((!B)->((((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))))))
  546. ((!B)->(((A))->((A))|!((A))))->(((!B)->((((A))->((A))|!((A)))->(!(((A))|!((A)))->!((A)))))->((!B)->(!(((A))|!((A)))->!((A)))))
  547. ((!B)->((((A))->((A))|!((A)))->(!(((A))|!((A)))->!((A)))))->((!B)->(!(((A))|!((A)))->!((A))))
  548. ((!B)->(!(((A))|!((A)))->!((A))))
  549. !((A))->((A))|!((A))
  550. (!((A))->((A))|!((A)))->((!B)->(!((A))->((A))|!((A))))
  551. (!B)->(!((A))->((A))|!((A)))
  552. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  553. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  554. (!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  555. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  556. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  557. (!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  558. ((!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((!B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))
  559. ((!B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  560. ((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  561. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  562. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  563. (!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))->(!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  564. (((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))
  565. ((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  566. (!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))
  567. ((!B)->((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((!B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))
  568. ((!B)->(((((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  569. ((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  570. ((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))
  571. (((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->(((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  572. (!B)->(((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  573. ((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((!B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((!B)->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))))
  574. ((!B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((!B)->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  575. ((!B)->((((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  576. ((!B)->((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((!B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))
  577. ((!B)->(((!((A))->(((A))|!((A))))->(((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))->!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  578. ((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))
  579. ((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A)))))
  580. (((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!B)->(((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A)))))))
  581. (!B)->(((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))
  582. ((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))
  583. (((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  584. (!B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  585. ((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))
  586. (((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  587. (!B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  588. ((!B)->(((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->(((!B)->((((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))->((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  589. ((!B)->((((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))->((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  590. ((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  591. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  592. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  593. (!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  594. ((!B)->(((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A)))))))->(((!B)->((((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))))
  595. ((!B)->((((!((A))->(((A))|!((A))))->!(((A))|!((A)))->(!((A))->(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  596. ((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  597. ((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->(((!B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  598. ((!B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  599. ((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  600. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))
  601. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  602. (!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  603. ((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A))))))->(((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))
  604. ((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->(((A))|!((A))))->(!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  605. ((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))
  606. ((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))))->(((!B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))
  607. ((!B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->(((A))|!((A))))->((!((A))->!(((A))|!((A))))->!!((A)))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  608. ((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))
  609. ((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))
  610. (((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((!B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  611. (!B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))
  612. ((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))
  613. (((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((!B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  614. (!B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))
  615. ((!B)->(((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))->(((!B)->((((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))))->((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))))
  616. ((!B)->((((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))))->((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  617. ((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))
  618. ((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))
  619. (((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  620. (!B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))->(!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))
  621. ((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))
  622. (((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  623. (!B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))
  624. ((!B)->(((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))->(((!B)->((((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))))
  625. ((!B)->((((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  626. ((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))
  627. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))
  628. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))
  629. (!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))
  630. ((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A)))))))->(((!B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))))
  631. ((!B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->!((A))->!(((A))|!((A))))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))
  632. ((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))
  633. ((!B)->((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A))))))->(((!B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))->((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))
  634. ((!B)->(((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->(!((A))->!(((A))|!((A)))))->(!(((A))|!((A)))->(!((A))->!(((A))|!((A))))->!!((A)))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))))->((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))
  635. ((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))
  636. ((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))
  637. (((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))->((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))
  638. (!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))
  639. ((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))))->(((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))))
  640. ((!B)->(((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A)))))->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A))))))))->((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))))
  641. ((!B)->((((!((A))->(((A))|!((A))))->((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->!!((A)))))))
  642. ((!B)->((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A)))))))->(((!B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A)))))))
  643. ((!B)->(((!((A))->(((A))|!((A))))->(((!(((A))|!((A)))->((!((A))->!(((A))|!((A))))->!!((A))))->(!(((A))|!((A)))->!!((A))))))->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A)))))))->((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A))))))
  644. ((!B)->((!((A))->(((A))|!((A))))->(!(((A))|!((A)))->(!!((A))))))
  645. ((!B)->(!((A))->((A))|!((A))))->(((!B)->((!((A))->((A))|!((A)))->(!(((A))|!((A)))->!!((A)))))->((!B)->(!(((A))|!((A)))->!!((A)))))
  646. ((!B)->((!((A))->((A))|!((A)))->(!(((A))|!((A)))->!!((A)))))->((!B)->(!(((A))|!((A)))->!!((A))))
  647. ((!B)->(!(((A))|!((A)))->!!((A))))
  648. (!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))
  649. ((!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))->((!B)->((!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))))
  650. (!B)->((!(((A))|!((A)))->!((A)))->(!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))
  651. ((!B)->(!(((A))|!((A)))->!((A))))->(((!B)->((!(((A))|!((A)))->!((A)))->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))))->((!B)->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))))
  652. ((!B)->((!(((A))|!((A)))->!((A)))->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A))))))->((!B)->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))))
  653. ((!B)->((!(((A))|!((A)))->!!((A)))->!!(((A))|!((A)))))
  654. ((!B)->(!(((A))|!((A)))->!!((A))))->(((!B)->((!(((A))|!((A)))->!!((A)))->(!!(((A))|!((A))))))->((!B)->(!!(((A))|!((A))))))
  655. ((!B)->((!(((A))|!((A)))->!!((A)))->(!!(((A))|!((A))))))->((!B)->(!!(((A))|!((A)))))
  656. ((!B)->(!!(((A))|!((A)))))
  657. !!(((A))|!((A)))->(((A))|!((A)))
  658. (!!(((A))|!((A)))->(((A))|!((A))))->((!B)->(!!(((A))|!((A)))->(((A))|!((A)))))
  659. (!B)->(!!(((A))|!((A)))->(((A))|!((A))))
  660. ((!B)->(!!(((A))|!((A)))))->(((!B)->((!!(((A))|!((A))))->(((A))|!((A)))))->((!B)->(((A))|!((A)))))
  661. ((!B)->((!!(((A))|!((A))))->(((A))|!((A)))))->((!B)->(((A))|!((A))))
  662. ((!B)->(((A))|!((A))))
  663. ((!B)->(((C))))->(((!B)->((((C)))->(A&B|C)))->((!B)->(A&B|C)))
  664. ((!B)->((((C)))->(A&B|C)))->((!B)->(A&B|C))
  665. ((!B)->(A&B|C))
  666. ((B)->(A&B|C))->((!B)->(A&B|C))->(((B)|(!B))->(A&B|C))
  667. ((!B)->(A&B|C))->(((B)|(!B))->(A&B|C))
  668. ((B)|(!B))->(A&B|C)
  669. ((B))->((B))|!((B))
  670. (((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B)))->!(((B))|!((B)))->((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))->(((B))->(((B))|!((B))))->(((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B)))->!(((B))|!((B)))->((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  671. (((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B)))->!(((B))|!((B)))->((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  672. (((B))->(((B))|!((B))))->(((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B)))->!(((B))|!((B)))->((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  673. (((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))->(((B))->(((B))|!((B))))->(((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  674. (((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  675. (((B))->(((B))|!((B))))->(((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  676. ((((B))->(((B))|!((B))))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->((((B))->(((B))|!((B))))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))))
  677. (((((B))->(((B))|!((B))))->(((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))))
  678. (((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->(((B))->!(((B))|!((B))))->!((B))))
  679. ((((B))->(((B))|!((B))))->!(((B))|!((B)))->(((B))->(((B))|!((B)))))
  680. ((!(((B))|!((B)))->(((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))->(((B))->(((B))|!((B))))->((!(((B))|!((B)))->(((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))
  681. ((!(((B))|!((B)))->(((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))
  682. (((B))->(((B))|!((B))))->((!(((B))|!((B)))->(((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))
  683. ((((B))->(((B))|!((B))))->(!(((B))|!((B)))->(((B))->(((B))|!((B))))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->(((B))->(((B))|!((B)))))->((!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))))->((((B))->(((B))|!((B))))->((!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))))
  684. (((((B))->(((B))|!((B))))->((!(((B))|!((B)))->(((B))->(((B))|!((B)))))->((!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))))->((((B))->(((B))|!((B))))->((!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))))
  685. (((B))->(((B))|!((B))))->(((!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))))
  686. ((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B))))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))
  687. (((((B))->(((B))|!((B))))->((!(((B))|!((B)))->((((B))->(((B))|!((B))))->((((B))->!(((B))|!((B))))->!((B)))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))))
  688. (((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))
  689. ((!(((B))|!((B)))->((B))->!(((B))|!((B)))))->(((B))->(((B))|!((B))))->((!(((B))|!((B)))->((B))->!(((B))|!((B)))))
  690. ((!(((B))|!((B)))->((B))->!(((B))|!((B)))))
  691. (((B))->(((B))|!((B))))->((!(((B))|!((B)))->((B))->!(((B))|!((B)))))
  692. ((!(((B))|!((B)))->(((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->!(((B))|!((B))))->!((B)))->(!(((B))|!((B)))->!((B))))->(((B))->(((B))|!((B))))->((!(((B))|!((B)))->(((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->!(((B))|!((B))))->!((B)))->(!(((B))|!((B)))->!((B))))
  693. ((!(((B))|!((B)))->(((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->!(((B))|!((B))))->!((B)))->(!(((B))|!((B)))->!((B))))
  694. (((B))->(((B))|!((B))))->((!(((B))|!((B)))->(((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(((B))->!(((B))|!((B))))->!((B)))->(!(((B))|!((B)))->!((B))))
  695. ((((B))->(((B))|!((B))))->(!(((B))|!((B)))->(((B))->!(((B))|!((B))))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->(((B))->!(((B))|!((B)))))->((!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B)))))->((((B))->(((B))|!((B))))->((!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B)))))
  696. (((((B))->(((B))|!((B))))->((!(((B))|!((B)))->(((B))->!(((B))|!((B)))))->((!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B))))))->((((B))->(((B))|!((B))))->((!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B))))))
  697. (((B))->(((B))|!((B))))->(((!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B)))))
  698. ((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B)))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->!((B))))
  699. (((((B))->(((B))|!((B))))->((!(((B))|!((B)))->((((B))->!(((B))|!((B))))->!((B))))->(!(((B))|!((B)))->!((B)))))->((((B))->(((B))|!((B))))->(!(((B))|!((B)))->!((B)))))
  700. (((B))->(((B))|!((B))))->(!(((B))|!((B)))->(!((B))))
  701. !(((B))|!((B)))->!((B))
  702. !((B))->((B))|!((B))
  703. (((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B)))->!(((B))|!((B)))->((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))->(!((B))->(((B))|!((B))))->(((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B)))->!(((B))|!((B)))->((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  704. (((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B)))->!(((B))|!((B)))->((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  705. (!((B))->(((B))|!((B))))->(((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B)))->!(((B))|!((B)))->((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  706. (((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))->(!((B))->(((B))|!((B))))->(((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  707. (((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  708. (!((B))->(((B))|!((B))))->(((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  709. ((!((B))->(((B))|!((B))))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->((!((B))->(((B))|!((B))))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))))
  710. (((!((B))->(((B))|!((B))))->(((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))))
  711. (!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->(!((B))->!(((B))|!((B))))->!!((B))))
  712. ((!((B))->(((B))|!((B))))->!(((B))|!((B)))->(!((B))->(((B))|!((B)))))
  713. ((!(((B))|!((B)))->(!((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!((B))->(((B))|!((B))))->((!(((B))|!((B)))->(!((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))
  714. ((!(((B))|!((B)))->(!((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))
  715. (!((B))->(((B))|!((B))))->((!(((B))|!((B)))->(!((B))->(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))
  716. ((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->(!((B))->(((B))|!((B))))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->(!((B))->(((B))|!((B)))))->((!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))))->((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))))
  717. (((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->(!((B))->(((B))|!((B)))))->((!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))))->((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))))
  718. (!((B))->(((B))|!((B))))->(((!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))))
  719. ((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B))))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))
  720. (((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->((!((B))->(((B))|!((B))))->((!((B))->!(((B))|!((B))))->!!((B)))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))))
  721. (!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))
  722. ((!(((B))|!((B)))->!((B))->!(((B))|!((B)))))->(!((B))->(((B))|!((B))))->((!(((B))|!((B)))->!((B))->!(((B))|!((B)))))
  723. ((!(((B))|!((B)))->!((B))->!(((B))|!((B)))))
  724. (!((B))->(((B))|!((B))))->((!(((B))|!((B)))->!((B))->!(((B))|!((B)))))
  725. ((!(((B))|!((B)))->(!((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->!(((B))|!((B))))->!!((B)))->(!(((B))|!((B)))->!!((B))))->(!((B))->(((B))|!((B))))->((!(((B))|!((B)))->(!((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->!(((B))|!((B))))->!!((B)))->(!(((B))|!((B)))->!!((B))))
  726. ((!(((B))|!((B)))->(!((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->!(((B))|!((B))))->!!((B)))->(!(((B))|!((B)))->!!((B))))
  727. (!((B))->(((B))|!((B))))->((!(((B))|!((B)))->(!((B))->!(((B))|!((B)))))->(!(((B))|!((B)))->(!((B))->!(((B))|!((B))))->!!((B)))->(!(((B))|!((B)))->!!((B))))
  728. ((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->(!((B))->!(((B))|!((B))))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->(!((B))->!(((B))|!((B)))))->((!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B)))))->((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B)))))
  729. (((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->(!((B))->!(((B))|!((B)))))->((!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B))))))->((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B))))))
  730. (!((B))->(((B))|!((B))))->(((!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B)))))
  731. ((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B)))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->!!((B))))
  732. (((!((B))->(((B))|!((B))))->((!(((B))|!((B)))->((!((B))->!(((B))|!((B))))->!!((B))))->(!(((B))|!((B)))->!!((B)))))->((!((B))->(((B))|!((B))))->(!(((B))|!((B)))->!!((B)))))
  733. (!((B))->(((B))|!((B))))->(!(((B))|!((B)))->(!!((B))))
  734. !(((B))|!((B)))->!!((B))
  735. (!(((B))|!((B)))->!((B)))->(!(((B))|!((B)))->!!((B)))->!!(((B))|!((B)))
  736. (!(((B))|!((B)))->!!((B)))->!!(((B))|!((B)))
  737. !!(((B))|!((B)))
  738. !!(((B))|!((B)))->(((B))|!((B)))
  739. ((B))|!((B))
  740. A&B|C
RAW Paste Data
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
 
Top