Sp3000

3 vars

Mar 26th, 2015
68
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. 0
  2. (((C<1)<A)<1)<B
  3. (A<1)<(C<B)
  4. (A<1)<B
  5. (C<1)<(B<A)
  6. (C<1)<A
  7. (((A<1)<(C<B))<((A<C)<((B<C)<1)))<A
  8. (B<(C<A))<A
  9. B<(C<A)
  10. (C<B)<((B<C)<A)
  11. C<A
  12. (B<C)<A
  13. B<A
  14. (C<B)<A
  15. ((B<C)<C)<A
  16. A
  17. (B<C)<(A<C)
  18. (B<C)<C
  19. (((A<1)<(C<B))<((A<C)<((B<C)<1)))<B
  20. (A<(C<B))<B
  21. ((C<A)<((A<C)<B))<((B<(A<1))<((C<A)<1))
  22. (B<(A<1))<C
  23. (((A<1)<(C<B))<((A<C)<((B<C)<1)))<((((B<C)<C)<(A<1))<((B<(C<1))<1))
  24. (((B<C)<C)<(A<1))<((B<(C<1))<1)
  25. ((C<A)<((A<C)<B))<(((C<A)<(B<1))<((C<B)<1))
  26. ((C<A)<(B<1))<((C<B)<1)
  27. ((C<A)<((A<C)<B))<(((C<A)<(B<1))<1)
  28. (A<(C<1))<((B<C)<1)
  29. ((C<A)<((A<C)<B))<((B<(A<1))<((C<B)<1))
  30. (B<(A<1))<((C<B)<1)
  31. ((C<A)<((A<C)<B))<((B<(A<1))<1)
  32. (((B<C)<C)<(A<1))<1
  33. A<(C<B)
  34. (C<A)<((A<C)<B)
  35. C<B
  36. (A<C)<B
  37. (((C<1)<(B<A))<((A<B)<1))<(((B<C)<(A<C))<1)
  38. ((A<B)<(C<1))<((A<C)<1)
  39. ((C<B)<((B<C)<1))<((A<C)<1)
  40. (B<(C<1))<((A<C)<1)
  41. ((A<1)<(C<B))<((B<(A<1))<(C<1))
  42. ((A<1)<(C<B))<(((C<A)<(B<1))<((A<C)<1))
  43. (B<(A<1))<(C<1)
  44. ((C<A)<(B<1))<((A<C)<1)
  45. ((A<(C<B))<((B<A)<1))<1
  46. ((A<1)<(C<B))<(((C<B)<(A<1))<1)
  47. ((B<A)<C)<((B<(A<1))<1)
  48. ((C<B)<(A<1))<1
  49. A<B
  50. (C<A)<B
  51. ((C<B)<A)<B
  52. B
  53. (((C<1)<(B<A))<((A<B)<1))<1
  54. (B<(A<1))<((C<A)<1)
  55. ((C<B)<((B<C)<A))<((B<(A<1))<1)
  56. (((C<1)<A)<(B<1))<1
  57. ((C<A)<(B<1))<(((A<1)<B)<1)
  58. ((A<1)<(C<B))<(((C<A)<(B<1))<1)
  59. (B<(A<(C<1)))<(((A<B)<C)<1)
  60. ((C<A)<(B<1))<1
  61. ((A<B)<((B<A)<1))<1
  62. (((C<A)<B)<((B<A)<1))<1
  63. (((A<1)<(C<B))<((A<B)<((B<A)<1)))<1
  64. (B<(A<1))<1
  65. B<(A<C)
  66. (A<B)<((B<A)<C)
  67. (A<B)<(((A<C)<((C<B)<1))<(((B<C)<C)<((B<A)<1)))
  68. ((A<C)<(B<1))<((A<B)<1)
  69. B<C
  70. (A<B)<C
  71. (((A<1)<(C<B))<((A<C)<((B<C)<1)))<((A<B)<1)
  72. (B<(C<1))<((A<B)<1)
  73. ((A<C)<((C<A)<1))<(B<1)
  74. (A<B)<((((B<C)<A)<((A<C)<1))<((C<B)<1))
  75. (A<B)<((B<(A<(C<1)))<(((C<1)<A)<1))
  76. (A<B)<((B<(A<(C<1)))<(((C<1)<(B<A))<1))
  77. (A<(C<1))<(B<1)
  78. ((B<A)<(C<1))<((A<B)<1)
  79. (A<B)<((B<(A<(C<1)))<(((B<C)<C)<1))
  80. ((B<C)<(A<1))<1
  81. A<C
  82. (B<A)<C
  83. (((A<1)<(C<B))<((A<C)<((B<C)<1)))<(((C<1)<A)<1)
  84. (A<(C<1))<((B<A)<1)
  85. ((B<C)<A)<C
  86. C
  87. (((A<1)<(C<B))<((A<C)<((B<C)<1)))<1
  88. (((A<1)<B)<(C<1))<1
  89. ((B<A)<((A<C)<1))<(((C<1)<A)<1)
  90. (((B<C)<A)<((A<C)<1))<((C<B)<1)
  91. (A<(C<1))<(((C<1)<A)<1)
  92. (((B<C)<A)<((A<C)<1))<1
  93. ((C<A)<((A<C)<B))<(((B<A)<(C<1))<1)
  94. ((B<A)<(C<1))<1
  95. ((C<A)<((A<C)<B))<((A<(C<1))<1)
  96. (A<(C<1))<1
  97. A<(((C<B)<((B<C)<(A<1)))<(((A<1)<B)<1))
  98. ((A<B)<(C<1))<(((B<C)<(A<C))<((B<A)<1))
  99. ((A<C)<((C<B)<1))<(((B<C)<(A<C))<1)
  100. (B<A)<(((B<C)<(A<C))<((B<(C<1))<1))
  101. ((A<(C<B))<((B<C)<1))<1
  102. ((A<B)<(C<1))<(((B<C)<(A<C))<1)
  103. ((C<B)<((B<C)<1))<1
  104. (((A<C)<B)<((B<C)<1))<1
  105. ((((B<C)<C)<(A<1))<((B<(C<1))<1))<((B<(A<(C<1)))<(((C<1)<(B<A))<1))
  106. ((A<1)<(C<B))<((((B<C)<A)<((A<C)<(B<1)))<(((B<C)<(A<C))<1))
  107. ((B<(A<1))<C)<((B<(A<(C<1)))<1)
  108. ((C<A)<((A<C)<(B<1)))<(((B<C)<(A<C))<1)
  109. ((B<A)<((A<(C<B))<((B<C)<1)))<1
  110. ((C<B)<((B<C)<(A<1)))<(((A<1)<(C<B))<1)
  111. (B<(A<(C<1)))<(((B<C)<C)<1)
  112. ((C<B)<((B<C)<(A<1)))<1
  113. A<((B<(C<1))<1)
  114. ((A<B)<(C<1))<((B<A)<1)
  115. ((A<C)<((C<B)<1))<1
  116. ((A<C)<(B<1))<1
  117. (B<(A<(C<1)))<(((B<C)<A)<1)
  118. ((A<B)<(C<1))<1
  119. ((((C<1)<A)<1)<B)<((B<(C<1))<1)
  120. (B<(C<1))<1
  121. ((A<B)<((B<(C<A))<((A<C)<1)))<1
  122. ((C<A)<((A<C)<(B<1)))<(((A<1)<(C<B))<1)
  123. (B<(A<(C<1)))<(((C<1)<A)<1)
  124. ((C<A)<((A<C)<(B<1)))<1
  125. (B<(A<(C<1)))<(((A<1)<B)<1)
  126. ((A<B)<((B<A)<(C<1)))<1
  127. (B<(A<(C<1)))<((((A<B)<(C<1))<((B<C)<A))<1)
  128. (B<(A<(C<1)))<1
  129. B<(A<(C<1))
  130. (A<B)<((B<C)<((C<A)<1))
  131. (A<B)<((B<A)<(C<1))
  132. (A<B)<((B<A)<((A<C)<1))
  133. (C<A)<((A<C)<(B<1))
  134. (A<B)<((A<C)<((C<A)<1))
  135. ((C<A)<((A<C)<B))<((B<(C<A))<((A<C)<1))
  136. (A<B)<((B<(C<A))<((A<C)<1))
  137. B<(C<1)
  138. (A<B)<((C<B)<((B<C)<1))
  139. (A<B)<(C<1)
  140. (A<B)<((B<C)<1)
  141. (A<C)<(B<1)
  142. (A<C)<((C<B)<1)
  143. ((C<A)<B)<((A<C)<1)
  144. (A<B)<((A<C)<1)
  145. (C<B)<((B<C)<(A<1))
  146. (B<A)<((C<B)<((B<C)<1))
  147. ((C<A)<((A<C)<B))<((B<A)<((B<C)<1))
  148. (B<A)<((A<(C<B))<((B<C)<1))
  149. ((C<A)<((A<C)<B))<(((B<C)<A)<((B<(A<C))<1))
  150. (C<B)<((B<(A<C))<((C<A)<1))
  151. ((C<A)<((A<C)<B))<((((A<1)<(C<B))<((B<C)<A))<((B<(A<C))<1))
  152. ((((B<C)<A)<((A<C)<1))<(B<1))<((A<(C<B))<((B<(C<A))<1))
  153. ((A<C)<B)<((B<C)<1)
  154. (C<B)<((B<C)<1)
  155. ((C<A)<((A<C)<B))<((A<(C<B))<((B<C)<1))
  156. (A<(C<B))<((B<C)<1)
  157. ((C<A)<((A<C)<B))<((B<(A<C))<(((A<1)<B)<1))
  158. (B<(A<C))<((C<B)<1)
  159. ((C<A)<((A<C)<B))<((B<(A<C))<1)
  160. (B<(A<C))<((A<(C<B))<1)
  161. A<(C<1)
  162. (B<A)<((A<C)<((C<A)<1))
  163. (B<A)<(C<1)
  164. (B<A)<((A<C)<1)
  165. ((B<C)<A)<((A<C)<1)
  166. (A<C)<((C<A)<1)
  167. ((((B<C)<A)<((A<C)<1))<(B<1))<(((B<C)<C)<1)
  168. (B<(C<A))<((A<C)<1)
  169. ((A<1)<B)<(C<1)
  170. ((A<1)<(C<B))<((A<C)<((B<C)<1))
  171. C<1
  172. (A<C)<((B<C)<1)
  173. ((A<1)<B)<((A<C)<1)
  174. ((A<1)<(C<B))<((A<C)<1)
  175. ((B<A)<C)<1
  176. (A<C)<1
  177. (B<C)<(A<1)
  178. (B<C)<((C<A)<1)
  179. ((C<B)<A)<((B<C)<1)
  180. (B<A)<((B<C)<1)
  181. ((B<C)<A)<((B<(A<C))<1)
  182. (B<(A<C))<((C<A)<1)
  183. ((C<B)<((B<C)<A))<((B<(A<C))<1)
  184. (B<(A<C))<((B<(C<A))<1)
  185. ((A<1)<B)<((B<C)<1)
  186. ((A<1)<(C<B))<((B<C)<1)
  187. ((A<B)<C)<1
  188. (B<C)<1
  189. (B<(A<C))<(((A<1)<B)<1)
  190. ((A<1)<(C<B))<((B<(A<C))<1)
  191. ((((C<1)<A)<1)<B)<((B<(A<C))<1)
  192. (B<(A<C))<1
  193. B<(A<1)
  194. (A<B)<((B<A)<((C<A)<1))
  195. ((C<A)<B)<((B<A)<1)
  196. (A<B)<((B<A)<1)
  197. (C<A)<(B<1)
  198. (A<B)<((C<A)<1)
  199. ((C<A)<((A<C)<B))<((B<(C<A))<((A<B)<1))
  200. (B<(C<A))<((A<B)<1)
  201. ((C<1)<A)<(B<1)
  202. (A<B)<(((C<1)<(B<A))<((C<B)<1))
  203. ((C<1)<A)<((A<B)<1)
  204. ((C<1)<(B<A))<((A<B)<1)
  205. B<1
  206. (A<B)<((C<B)<1)
  207. ((C<A)<B)<1
  208. (A<B)<1
  209. (C<B)<(A<1)
  210. (B<A)<((C<B)<1)
  211. ((C<A)<((A<C)<B))<(((C<B)<A)<1)
  212. (A<(C<B))<((B<A)<1)
  213. ((B<C)<A)<((C<B)<1)
  214. (C<B)<((C<A)<1)
  215. ((C<A)<((A<C)<B))<((B<(C<A))<1)
  216. (A<(C<B))<((B<(C<A))<1)
  217. ((C<1)<A)<((C<B)<1)
  218. ((C<1)<(B<A))<((C<B)<1)
  219. ((C<A)<((A<C)<B))<(((C<1)<A)<1)
  220. ((C<1)<(B<A))<((A<(C<B))<1)
  221. ((A<C)<B)<1
  222. (C<B)<1
  223. ((C<A)<((A<C)<B))<1
  224. (A<(C<B))<1
  225. ((B<C)<C)<(A<1)
  226. (B<A)<(((B<C)<(A<C))<((C<A)<1))
  227. ((B<C)<C)<((B<A)<1)
  228. ((B<C)<(A<C))<((B<A)<1)
  229. ((B<C)<C)<((C<A)<1)
  230. ((B<C)<(A<C))<((C<A)<1)
  231. ((C<B)<((B<C)<A))<(((B<C)<(A<C))<1)
  232. ((B<C)<(A<C))<((B<(C<A))<1)
  233. ((B<(A<1))<C)<(((A<1)<B)<1)
  234. ((A<1)<(C<B))<(((B<C)<(A<C))<(((C<1)<(B<A))<1))
  235. ((B<(A<1))<C)<1
  236. ((B<C)<(A<C))<(((C<1)<(B<A))<1)
  237. ((A<1)<B)<(((B<C)<C)<1)
  238. ((A<1)<(C<B))<(((B<C)<(A<C))<1)
  239. ((B<C)<C)<1
  240. ((B<C)<(A<C))<1
  241. A<1
  242. (B<A)<((C<A)<1)
  243. ((C<B)<A)<1
  244. (B<A)<1
  245. ((B<C)<A)<1
  246. (C<A)<1
  247. ((((C<1)<A)<1)<B)<((B<(C<A))<1)
  248. (B<(C<A))<1
  249. ((A<1)<B)<(((C<1)<A)<1)
  250. ((A<1)<(C<B))<(((C<1)<(B<A))<1)
  251. ((C<1)<A)<1
  252. ((C<1)<(B<A))<1
  253. ((A<1)<B)<1
  254. ((A<1)<(C<B))<1
  255. ((((C<1)<A)<1)<B)<1
  256. 1
RAW Paste Data