API tools faq
paste
Guest User

Untitled

a guest
Jun 20th, 2020
58
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 33.34 KB | None | 0 0
raw download clone embed print report
  1. Document 6ffc9680fbe00a58d70cdeb319f11205ed998131ce51bb96f16c7904faf74a3d
  2. Base set
  3. Let not : TpArr Prop Prop := Prim 3
  4. Let and : TpArr Prop TpArr Prop Prop := Prim 4
  5. Let In : TpArr set TpArr set Prop := Prim 7
  6. Let Subq : TpArr set TpArr set Prop := Prim 8
  7. Let Empty : set := Prim 9
  8. Let Power : TpArr set set := Prim 11
  9. Let atleast3 : TpArr set Prop := Prim 15
  10. Let atleast4 : TpArr set Prop := Prim 16
  11. Let atleast5 : TpArr set Prop := Prim 17
  12. Let atleast6 : TpArr set Prop := Prim 18
  13. Let nIn : TpArr set TpArr set Prop := Prim 40
  14. Let nSubq : TpArr set TpArr set Prop := Prim 41
  15. Let Sing : TpArr set TpArr set set := Prim 43
  16. Let binunion : TpArr set TpArr set set := Prim 44
  17. Let SetAdjoin : TpArr set TpArr set set := Prim 45
  18. Let binintersect : TpArr set TpArr set set := Prim 49
  19. Let setminus : TpArr set TpArr set set := Prim 50
  20. Let ordsucc : TpArr set set := Prim 57
  21. Def disj : TpArr set TpArr set Prop := Lam X set Lam Y set All Z set Imp Ap Ap In Z X Ap Ap nIn Z Y
  22. Def atleast7 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast6 Y Ap Ap nSubq X Y
  23. Def atleast8 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast7 Y Ap Ap nSubq X Y
  24. Def atleast9 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast8 Y Ap Ap nSubq X Y
  25. Def atleast10 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast9 Y Ap Ap nSubq X Y
  26. Def atleast11 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast10 Y Ap Ap nSubq X Y
  27. Def atleast12 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast11 Y Ap Ap nSubq X Y
  28. Def atleast13 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast12 Y Ap Ap nSubq X Y
  29. Def atleast14 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast13 Y Ap Ap nSubq X Y
  30. Def atleast15 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast14 Y Ap Ap nSubq X Y
  31. Def atleast16 : TpArr set Prop := Lam X set Ex Y set Ap Ap and Ap Ap and Ap Ap Subq Y X Ap atleast15 Y Ap Ap nSubq X Y
  32. Def c0001 : set := Ap ordsucc Empty
  33. Def c0002 : set := Ap Sing c0001
  34. Def c0003 : set := Ap ordsucc c0001
  35. Def c0004 : set := Ap Sing c0002
  36. Def c0005 : set := Ap Power c0002
  37. Def c0006 : set := Ap ordsucc c0002
  38. Def c0007 : set := Ap Ap binunion c0001 c0006
  39. Def c0008 : set := Ap Sing c0003
  40. Def c0009 : set := Ap Ap SetAdjoin c0001 c0003
  41. Def c000A : set := Ap Ap SetAdjoin c0002 c0003
  42. Def c000B : set := Ap ordsucc c0003
  43. Def c000C : set := Ap Ap SetAdjoin c0004 c0003
  44. Def c000D : set := Ap Ap SetAdjoin c0005 c0003
  45. Def c000E : set := Ap Ap SetAdjoin c0006 c0003
  46. Def c000F : set := Ap Power c0003
  47. Def c0010 : set := Ap Sing c0004
  48. Def c0011 : set := Ap Power c0004
  49. Def c0012 : set := Ap Ap SetAdjoin c0002 c0004
  50. Def c0014 : set := Ap ordsucc c0004
  51. Def c0018 : set := Ap Ap SetAdjoin c0008 c0004
  52. Def c001C : set := Ap Ap binunion c0008 c0014
  53. Def c0020 : set := Ap Sing c0005
  54. Def c0022 : set := Ap Ap SetAdjoin c0002 c0005
  55. Def c0024 : set := Ap Ap SetAdjoin c0004 c0005
  56. Def c0025 : set := Ap ordsucc c0005
  57. Def c0028 : set := Ap Ap SetAdjoin c0008 c0005
  58. Def c0030 : set := Ap Ap SetAdjoin c0010 c0005
  59. Def c0032 : set := Ap Ap setminus Ap Power c0005 c0001
  60. Def c0033 : set := Ap Power c0005
  61. Def c0034 : set := Ap Ap SetAdjoin c0014 c0005
  62. Def c0040 : set := Ap Sing c0006
  63. Def c0046 : set := Ap ordsucc c0006
  64. Def c0048 : set := Ap Ap SetAdjoin c0008 c0006
  65. Def c0050 : set := Ap Ap SetAdjoin c0010 c0006
  66. Def c0055 : set := Ap Power c0006
  67. Def c0060 : set := Ap Ap SetAdjoin c0020 c0006
  68. Def c0066 : set := Ap Ap binunion c0020 c0046
  69. Def c0073 : set := Ap Ap SetAdjoin c0033 c0006
  70. Def c0080 : set := Ap Sing c0007
  71. Def c0087 : set := Ap ordsucc c0007
  72. Def c00FF : set := Ap Power c0007
  73. Def c0100 : set := Ap Sing c0008
  74. Def c0101 : set := Ap Power c0008
  75. Def c0108 : set := Ap ordsucc c0008
  76. Def c0120 : set := Ap Ap SetAdjoin c0020 c0008
  77. Def c0128 : set := Ap Ap binunion c0020 c0108
  78. Def c0133 : set := Ap Ap SetAdjoin c0033 c0008
  79. Def c0140 : set := Ap Ap SetAdjoin c0040 c0008
  80. Def c0141 : set := Ap Ap binunion c0040 c0101
  81. Def c0146 : set := Ap Ap SetAdjoin c0046 c0008
  82. Def c0148 : set := Ap Ap binunion c0040 c0108
  83. Def c0155 : set := Ap Ap SetAdjoin c0055 c0008
  84. Def c01C8 : set := Ap Ap binunion c0080 c0148
  85. Def c0200 : set := Ap Sing c0009
  86. Def c0209 : set := Ap ordsucc c0009
  87. Def c0280 : set := Ap Ap SetAdjoin c0080 c0009
  88. Def c0303 : set := Ap Power c0009
  89. Def c0400 : set := Ap Sing c000A
  90. Def c040A : set := Ap ordsucc c000A
  91. Def c0480 : set := Ap Ap SetAdjoin c0080 c000A
  92. Def c0505 : set := Ap Power c000A
  93. Def c0600 : set := Ap Ap SetAdjoin c0200 c000A
  94. Def c0704 : set := Ap Ap setminus Ap Power c000B Ap ordsucc c000B
  95. Def c070F : set := Ap Ap setminus Ap Power c000B Ap Sing c000B
  96. Def c0784 : set := Ap Ap binunion c0080 c0704
  97. Def c0800 : set := Ap Sing c000B
  98. Def c0802 : set := Ap Ap SetAdjoin c0002 c000B
  99. Def c0804 : set := Ap Ap SetAdjoin c0004 c000B
  100. Def c0808 : set := Ap Ap SetAdjoin c0008 c000B
  101. Def c080B : set := Ap ordsucc c000B
  102. Def c080F : set := Ap Ap binunion c0004 c080B
  103. Def c0810 : set := Ap Ap SetAdjoin c0010 c000B
  104. Def c0814 : set := Ap Ap SetAdjoin c0014 c000B
  105. Def c0820 : set := Ap Ap SetAdjoin c0020 c000B
  106. Def c0840 : set := Ap Ap SetAdjoin c0040 c000B
  107. Def c0880 : set := Ap Ap SetAdjoin c0080 c000B
  108. Def c0900 : set := Ap Ap SetAdjoin c0100 c000B
  109. Def c0901 : set := Ap Ap SetAdjoin c0101 c000B
  110. Def c0908 : set := Ap Ap SetAdjoin c0108 c000B
  111. Def c090B : set := Ap Ap binunion c0100 c080B
  112. Def c0A00 : set := Ap Ap SetAdjoin c0200 c000B
  113. Def c0C00 : set := Ap Ap SetAdjoin c0400 c000B
  114. Def c0E07 : set := Ap Ap setminus Ap Power c000B c0108
  115. Def c0F00 : set := Ap Ap setminus Ap Power c000B c000F
  116. Def c0F0F : set := Ap Power c000B
  117. Def c0F1F : set := Ap Ap binunion c0010 c0F0F
  118. Def c0F2F : set := Ap Ap binunion c0020 c0F0F
  119. Def c0F3F : set := Ap Ap binunion c0033 c0F0F
  120. Def c0F4F : set := Ap Ap binunion c0040 c0F0F
  121. Def c0F5F : set := Ap Ap binunion c0055 c0F0F
  122. Def c1000 : set := Ap Sing c000C
  123. Def c100C : set := Ap ordsucc c000C
  124. Def c1020 : set := Ap Ap SetAdjoin c0020 c000C
  125. Def c1080 : set := Ap Ap SetAdjoin c0080 c000C
  126. Def c1111 : set := Ap Power c000C
  127. Def c2000 : set := Ap Sing c000D
  128. Def c200D : set := Ap ordsucc c000D
  129. Def c2080 : set := Ap Ap SetAdjoin c0080 c000D
  130. Def c3200 : set := Ap Ap setminus Ap Power c000D c0133
  131. Def c3333 : set := Ap Power c000D
  132. Def c4000 : set := Ap Sing c000E
  133. Def c4080 : set := Ap Ap SetAdjoin c0080 c000E
  134. Def c5400 : set := Ap Ap setminus Ap Power c000E c0155
  135. Def c5555 : set := Ap Power c000E
  136. Def c7FF0 : set := Ap Ap setminus Ap Power c000F Ap ordsucc c000F
  137. Def c8000 : set := Ap Sing c000F
  138. Def c800F : set := Ap ordsucc c000F
  139. Def c8010 : set := Ap Ap SetAdjoin c0010 c000F
  140. Def c8020 : set := Ap Ap SetAdjoin c0020 c000F
  141. Def c8040 : set := Ap Ap SetAdjoin c0040 c000F
  142. Def cFFFF : set := Ap Power c000F
  143. Conj disj_8488_21569 : Ap Ap disj Ap Ap SetAdjoin c0128 c000D Ap Ap setminus c5555 Ap Ap SetAdjoin c0014 c0008
  144. Bounty disj_8488_21569 1.0 NoTimeout
  145. Conj disj_8520_21524 : Ap Ap disj Ap Ap SetAdjoin c0148 c000D Ap Ap setminus c5555 c0141
  146. Bounty disj_8520_21524 1.0 NoTimeout
  147. Conj disj_1027_28864 : Ap Ap disj Ap Ap SetAdjoin c0003 c000A Ap Ap setminus c7FF0 c0F3F
  148. Bounty disj_1027_28864 1.0 NoTimeout
  149. Conj disj_1054_28832 : Ap Ap disj Ap Ap binunion c0014 c040A Ap Ap setminus c7FF0 c0F5F
  150. Bounty disj_1054_28832 1.0 NoTimeout
  151. Conj disj_772_28832 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0004 c0008 c0009 Ap Ap setminus c7FF0 c0F5F
  152. Bounty disj_772_28832 1.0 NoTimeout
  153. Conj disj_536_28864 : Ap Ap disj Ap Ap SetAdjoin c0018 c0009 Ap Ap setminus c7FF0 c0F3F
  154. Bounty disj_536_28864 1.0 NoTimeout
  155. Conj disj_12320_16905 : Ap Ap disj Ap Ap setminus c3333 c0F1F Ap Ap SetAdjoin c0209 c000E
  156. Bounty disj_12320_16905 1.0 NoTimeout
  157. Conj disj_66_28832 : Ap Ap disj Ap Ap SetAdjoin c0002 c0006 Ap Ap setminus c7FF0 c0F5F
  158. Bounty disj_66_28832 1.0 NoTimeout
  159. Conj disj_12336_16519 : Ap Ap disj Ap Ap setminus c3333 c0303 Ap Ap SetAdjoin c0087 c000E
  160. Bounty disj_12336_16519 1.0 NoTimeout
  161. Conj disj_12339_16456 : Ap Ap disj Ap Ap setminus c3333 c0704 Ap Ap SetAdjoin c0048 c000E
  162. Bounty disj_12339_16456 1.0 NoTimeout
  163. Conj disj_3922_24576 : Ap Ap disj Ap Ap setminus c0F5F c000D Ap Ap SetAdjoin c2000 c000E
  164. Bounty disj_3922_24576 1.0 NoTimeout
  165. Conj disj_12036_16386 : Ap Ap disj Ap Ap SetAdjoin Ap Ap setminus c0F0F c000B c000D Ap Ap SetAdjoin c0002 c000E
  166. Bounty disj_12036_16386 1.0 NoTimeout
  167. Conj disj_10912_17422 : Ap Ap disj Ap Ap setminus c7FF0 c5555 Ap Ap binunion c0400 Ap ordsucc c000E
  168. Bounty disj_10912_17422 1.0 NoTimeout
  169. Conj disj_11790_16480 : Ap Ap disj Ap Ap SetAdjoin Ap Ap setminus c0F0F c0101 c000D Ap Ap SetAdjoin c0060 c000E
  170. Bounty disj_11790_16480 1.0 NoTimeout
  171. Conj disj_3648_24576 : Ap Ap disj Ap Ap setminus c0F4F Ap Ap SetAdjoin c000F c0008 Ap Ap SetAdjoin c2000 c000E
  172. Bounty disj_3648_24576 1.0 NoTimeout
  173. Conj disj_3626_24576 : Ap Ap disj Ap Ap setminus c0F2F Ap Ap binunion c0004 c0101 Ap Ap SetAdjoin c2000 c000E
  174. Bounty disj_3626_24576 1.0 NoTimeout
  175. Conj disj_8462_19648 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0006 c0108 c000D Ap Ap setminus c7FF0 c3333
  176. Bounty disj_8462_19648 1.0 NoTimeout
  177. Conj disj_8196_19648 : Ap Ap disj Ap Ap SetAdjoin c0004 c000D Ap Ap setminus c7FF0 c3333
  178. Bounty disj_8196_19648 1.0 NoTimeout
  179. Conj disj_10244_17418 : Ap Ap disj Ap Ap SetAdjoin c0804 c000D Ap Ap SetAdjoin c040A c000E
  180. Bounty disj_10244_17418 1.0 NoTimeout
  181. Conj disj_10299_16896 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0033 c080B c000D Ap Ap SetAdjoin c0200 c000E
  182. Bounty disj_10299_16896 1.0 NoTimeout
  183. Conj disj_10496_16512 : Ap Ap disj Ap Ap SetAdjoin c0900 c000D c4080
  184. Bounty disj_10496_16512 1.0 NoTimeout
  185. Conj disj_10496_16422 : Ap Ap disj Ap Ap SetAdjoin c0900 c000D Ap Ap SetAdjoin Ap Ap SetAdjoin c0006 c0005 c000E
  186. Bounty disj_10496_16422 1.0 NoTimeout
  187. Conj disj_10504_16385 : Ap Ap disj Ap Ap SetAdjoin c0908 c000D Ap Ap SetAdjoin c0001 c000E
  188. Bounty disj_10504_16385 1.0 NoTimeout
  189. Conj disj_9216_16672 : Ap Ap disj Ap Ap SetAdjoin c0400 c000D Ap Ap SetAdjoin c0120 c000E
  190. Bounty disj_9216_16672 1.0 NoTimeout
  191. Conj disj_9216_16656 : Ap Ap disj Ap Ap SetAdjoin c0400 c000D Ap Ap SetAdjoin Ap Ap SetAdjoin c0010 c0008 c000E
  192. Bounty disj_9216_16656 1.0 NoTimeout
  193. Conj disj_9485_16386 : Ap Ap disj Ap Ap binunion c0505 c200D Ap Ap SetAdjoin c0002 c000E
  194. Bounty disj_9485_16386 1.0 NoTimeout
  195. Conj disj_9226_16641 : Ap Ap disj Ap Ap SetAdjoin c040A c000D Ap Ap SetAdjoin c0101 c000E
  196. Bounty disj_9226_16641 1.0 NoTimeout
  197. Conj disj_8320_17476 : Ap Ap disj c2080 Ap Ap setminus c5555 c1111
  198. Bounty disj_8320_17476 1.0 NoTimeout
  199. Conj disj_8520_16400 : Ap Ap disj Ap Ap SetAdjoin c0148 c000D Ap Ap SetAdjoin c0010 c000E
  200. Bounty disj_8520_16400 1.0 NoTimeout
  201. Conj disj_8520_16386 : Ap Ap disj Ap Ap SetAdjoin c0148 c000D Ap Ap SetAdjoin c0002 c000E
  202. Bounty disj_8520_16386 1.0 NoTimeout
  203. Conj disj_3605_20480 : Ap Ap disj Ap Ap setminus c0F1F Ap Ap binunion c0002 c0108 Ap Ap SetAdjoin c1000 c000E
  204. Bounty disj_3605_20480 1.0 NoTimeout
  205. Conj disj_2186_21504 : Ap Ap disj Ap Ap binunion c0080 Ap Ap setminus c080B c0001 c5400
  206. Bounty disj_2186_21504 1.0 NoTimeout
  207. Conj disj_2146_21504 : Ap Ap disj Ap Ap binunion c0022 c0840 c5400
  208. Bounty disj_2146_21504 1.0 NoTimeout
  209. Conj disj_6152_17408 : Ap Ap disj Ap Ap SetAdjoin c0808 c000C Ap Ap SetAdjoin c0400 c000E
  210. Bounty disj_6152_17408 1.0 NoTimeout
  211. Conj disj_6411_16896 : Ap Ap disj Ap Ap SetAdjoin c090B c000C Ap Ap SetAdjoin c0200 c000E
  212. Bounty disj_6411_16896 1.0 NoTimeout
  213. Conj disj_6214_16896 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0046 c000B c000C Ap Ap SetAdjoin c0200 c000E
  214. Bounty disj_6214_16896 1.0 NoTimeout
  215. Conj disj_6172_16896 : Ap Ap disj Ap Ap binunion c0810 c100C Ap Ap SetAdjoin c0200 c000E
  216. Bounty disj_6172_16896 1.0 NoTimeout
  217. Conj disj_6449_16392 : Ap Ap disj Ap Ap binunion c0820 c1111 Ap Ap SetAdjoin c0008 c000E
  218. Bounty disj_6449_16392 1.0 NoTimeout
  219. Conj disj_6400_16436 : Ap Ap disj Ap Ap SetAdjoin c0900 c000C Ap Ap SetAdjoin c0034 c000E
  220. Bounty disj_6400_16436 1.0 NoTimeout
  221. Conj disj_2184_20564 : Ap Ap disj Ap Ap binunion c0080 c0808 Ap Ap setminus c5555 Ap Ap setminus c0F0F c0006
  222. Bounty disj_2184_20564 1.0 NoTimeout
  223. Conj disj_310_21504 : Ap Ap disj Ap Ap binunion Ap Ap binunion c0002 c0014 c0120 c5400
  224. Bounty disj_310_21504 1.0 NoTimeout
  225. Conj disj_1059_20544 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0003 c0005 c000A Ap Ap setminus c5555 c0F1F
  226. Bounty disj_1059_20544 1.0 NoTimeout
  227. Conj disj_5134_16401 : Ap Ap disj Ap Ap binunion c040A c100C Ap Ap SetAdjoin c0011 c000E
  228. Bounty disj_5134_16401 1.0 NoTimeout
  229. Conj disj_4621_16512 : Ap Ap disj Ap Ap binunion c0209 c100C c4080
  230. Bounty disj_4621_16512 1.0 NoTimeout
  231. Conj disj_4608_16487 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin Ap Ap binunion c0025 c0046 c000E
  232. Bounty disj_4608_16487 1.0 NoTimeout
  233. Conj disj_4608_16416 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin c0020 c000E
  234. Bounty disj_4608_16416 1.0 NoTimeout
  235. Conj disj_4608_16387 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin c0003 c000E
  236. Bounty disj_4608_16387 1.0 NoTimeout
  237. Conj disj_4497_16424 : Ap Ap disj Ap Ap binunion c0080 c1111 Ap Ap SetAdjoin c0028 c000E
  238. Bounty disj_4497_16424 1.0 NoTimeout
  239. Conj disj_4224_16420 : Ap Ap disj c1080 Ap Ap SetAdjoin c0024 c000E
  240. Bounty disj_4224_16420 1.0 NoTimeout
  241. Conj disj_3968_16435 : Ap Ap disj Ap Ap binunion c0080 c0F00 Ap Ap SetAdjoin c0033 c000E
  242. Bounty disj_3968_16435 1.0 NoTimeout
  243. Conj disj_3612_16512 : Ap Ap disj Ap Ap setminus c0F1F Ap Ap binunion c0002 c0101 c4080
  244. Bounty disj_3612_16512 1.0 NoTimeout
  245. Conj disj_33_19648 : Ap Ap disj Ap Ap SetAdjoin c0001 c0005 Ap Ap setminus c7FF0 c3333
  246. Bounty disj_33_19648 1.0 NoTimeout
  247. Conj disj_24_19648 : Ap Ap disj c0018 Ap Ap setminus c7FF0 c3333
  248. Bounty disj_24_19648 1.0 NoTimeout
  249. Conj disj_3104_16390 : Ap Ap disj Ap Ap binunion c0400 c0820 Ap Ap SetAdjoin c0006 c000E
  250. Bounty disj_3104_16390 1.0 NoTimeout
  251. Conj disj_2824_16432 : Ap Ap disj Ap Ap binunion c0200 c0908 Ap Ap SetAdjoin c0030 c000E
  252. Bounty disj_2824_16432 1.0 NoTimeout
  253. Conj disj_2440_16452 : Ap Ap disj Ap Ap binunion c0080 c0908 Ap Ap SetAdjoin Ap Ap SetAdjoin c0004 c0006 c000E
  254. Bounty disj_2440_16452 1.0 NoTimeout
  255. Conj disj_2208_16402 : Ap Ap disj Ap Ap binunion c0080 c0820 Ap Ap SetAdjoin c0012 c000E
  256. Bounty disj_2208_16402 1.0 NoTimeout
  257. Conj disj_1620_16386 : Ap Ap disj Ap Ap setminus c0F5F c090B Ap Ap SetAdjoin c0002 c000E
  258. Bounty disj_1620_16386 1.0 NoTimeout
  259. Conj disj_1152_16385 : Ap Ap disj c0480 Ap Ap SetAdjoin c0001 c000E
  260. Bounty disj_1152_16385 1.0 NoTimeout
  261. Conj disj_887_16392 : Ap Ap disj Ap Ap binunion Ap Ap binunion c0020 c0055 c0303 Ap Ap SetAdjoin c0008 c000E
  262. Bounty disj_887_16392 1.0 NoTimeout
  263. Conj disj_841_16432 : Ap Ap disj Ap Ap binunion c0140 c0209 Ap Ap SetAdjoin c0030 c000E
  264. Bounty disj_841_16432 1.0 NoTimeout
  265. Conj disj_640_16485 : Ap Ap disj c0280 Ap Ap SetAdjoin Ap Ap SetAdjoin c0025 c0006 c000E
  266. Bounty disj_640_16485 1.0 NoTimeout
  267. Conj disj_608_16385 : Ap Ap disj Ap Ap SetAdjoin c0060 c0009 Ap Ap SetAdjoin c0001 c000E
  268. Bounty disj_608_16385 1.0 NoTimeout
  269. Conj disj_584_16386 : Ap Ap disj Ap Ap SetAdjoin c0048 c0009 Ap Ap SetAdjoin c0002 c000E
  270. Bounty disj_584_16386 1.0 NoTimeout
  271. Conj disj_7936_8242 : Ap Ap disj Ap Ap SetAdjoin c0F00 c000C Ap Ap SetAdjoin c0032 c000D
  272. Bounty disj_7936_8242 1.0 NoTimeout
  273. Conj disj_3670_12320 : Ap Ap disj Ap Ap setminus c0F5F Ap Ap binunion c0001 c0108 Ap Ap setminus c3333 c0F1F
  274. Bounty disj_3670_12320 1.0 NoTimeout
  275. Conj disj_3666_12320 : Ap Ap disj Ap Ap setminus c0F5F Ap Ap binunion c0005 c0108 Ap Ap setminus c3333 c0F1F
  276. Bounty disj_3666_12320 1.0 NoTimeout
  277. Conj disj_3673_12288 : Ap Ap disj Ap Ap setminus c0F5F Ap Ap SetAdjoin c0006 c0008 Ap Ap SetAdjoin c1000 c000D
  278. Bounty disj_3673_12288 1.0 NoTimeout
  279. Conj disj_4376_10912 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0010 c0108 c000C Ap Ap setminus c7FF0 c5555
  280. Bounty disj_4376_10912 1.0 NoTimeout
  281. Conj disj_6481_8704 : Ap Ap disj Ap Ap binunion c0840 c1111 Ap Ap SetAdjoin c0200 c000D
  282. Bounty disj_6481_8704 1.0 NoTimeout
  283. Conj disj_4113_10912 : Ap Ap disj Ap Ap SetAdjoin c0011 c000C Ap Ap setminus c7FF0 c5555
  284. Bounty disj_4113_10912 1.0 NoTimeout
  285. Conj disj_6164_8738 : Ap Ap disj Ap Ap SetAdjoin c0814 c000C Ap Ap setminus c3333 c1111
  286. Bounty disj_6164_8738 1.0 NoTimeout
  287. Conj disj_6408_8272 : Ap Ap disj Ap Ap SetAdjoin c0908 c000C Ap Ap SetAdjoin c0050 c000D
  288. Bounty disj_6408_8272 1.0 NoTimeout
  289. Conj disj_6146_8320 : Ap Ap disj Ap Ap SetAdjoin c0802 c000C c2080
  290. Bounty disj_6146_8320 1.0 NoTimeout
  291. Conj disj_6208_8196 : Ap Ap disj Ap Ap SetAdjoin c0840 c000C Ap Ap SetAdjoin c0004 c000D
  292. Bounty disj_6208_8196 1.0 NoTimeout
  293. Conj disj_1096_12320 : Ap Ap disj Ap Ap SetAdjoin c0048 c000A Ap Ap setminus c3333 c0F1F
  294. Bounty disj_1096_12320 1.0 NoTimeout
  295. Conj disj_4879_8320 : Ap Ap disj Ap Ap binunion c0303 c100C c2080
  296. Bounty disj_4879_8320 1.0 NoTimeout
  297. Conj disj_389_12800 : Ap Ap disj Ap Ap binunion c0080 Ap Ap binunion c0004 c0101 c3200
  298. Bounty disj_389_12800 1.0 NoTimeout
  299. Conj disj_203_12800 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c000B c0006 c0007 c3200
  300. Bounty disj_203_12800 1.0 NoTimeout
  301. Conj disj_4224_8738 : Ap Ap disj c1080 Ap Ap setminus c3333 c1111
  302. Bounty disj_4224_8738 1.0 NoTimeout
  303. Conj disj_4177_8202 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0011 c0006 c000C Ap Ap SetAdjoin c000A c000D
  304. Bounty disj_4177_8202 1.0 NoTimeout
  305. Conj disj_4177_8200 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0011 c0006 c000C Ap Ap SetAdjoin c0008 c000D
  306. Bounty disj_4177_8200 1.0 NoTimeout
  307. Conj disj_3640_8320 : Ap Ap disj Ap Ap setminus c0F3F Ap Ap binunion c0006 c0101 c2080
  308. Bounty disj_3640_8320 1.0 NoTimeout
  309. Conj disj_3365_8216 : Ap Ap disj Ap Ap binunion c0505 c0820 Ap Ap SetAdjoin c0018 c000D
  310. Bounty disj_3365_8216 1.0 NoTimeout
  311. Conj disj_3136_8243 : Ap Ap disj Ap Ap binunion c0400 c0840 Ap Ap SetAdjoin c0033 c000D
  312. Bounty disj_3136_8243 1.0 NoTimeout
  313. Conj disj_325_10912 : Ap Ap disj Ap Ap binunion c0004 c0141 Ap Ap setminus c7FF0 c5555
  314. Bounty disj_325_10912 1.0 NoTimeout
  315. Conj disj_2650_8320 : Ap Ap disj Ap Ap setminus c0F5F c0505 c2080
  316. Bounty disj_2650_8320 1.0 NoTimeout
  317. Conj disj_2624_8320 : Ap Ap disj Ap Ap binunion c0200 c0840 c2080
  318. Bounty disj_2624_8320 1.0 NoTimeout
  319. Conj disj_2624_8208 : Ap Ap disj Ap Ap binunion c0200 c0840 Ap Ap SetAdjoin c0010 c000D
  320. Bounty disj_2624_8208 1.0 NoTimeout
  321. Conj disj_2432_8230 : Ap Ap disj Ap Ap binunion c0080 c0900 Ap Ap SetAdjoin Ap Ap SetAdjoin c0006 c0005 c000D
  322. Bounty disj_2432_8230 1.0 NoTimeout
  323. Conj disj_2408_8210 : Ap Ap disj Ap Ap binunion c0060 c0908 Ap Ap SetAdjoin c0012 c000D
  324. Bounty disj_2408_8210 1.0 NoTimeout
  325. Conj disj_252_10240 : Ap Ap disj Ap Ap setminus c00FF c0003 Ap Ap SetAdjoin c0800 c000D
  326. Bounty disj_252_10240 1.0 NoTimeout
  327. Conj disj_2246_8216 : Ap Ap disj Ap Ap binunion c0080 Ap Ap SetAdjoin c0046 c000B Ap Ap SetAdjoin c0018 c000D
  328. Bounty disj_2246_8216 1.0 NoTimeout
  329. Conj disj_2208_8200 : Ap Ap disj Ap Ap binunion c0080 c0820 Ap Ap SetAdjoin c0008 c000D
  330. Bounty disj_2208_8200 1.0 NoTimeout
  331. Conj disj_1924_8257 : Ap Ap disj c0784 Ap Ap SetAdjoin Ap Ap SetAdjoin c0001 c0006 c000D
  332. Bounty disj_1924_8257 1.0 NoTimeout
  333. Conj disj_1833_8320 : Ap Ap disj Ap Ap setminus c0F2F Ap Ap SetAdjoin c0006 c000B c2080
  334. Bounty disj_1833_8320 1.0 NoTimeout
  335. Conj disj_1352_8212 : Ap Ap disj Ap Ap SetAdjoin c0148 c000A Ap Ap SetAdjoin c0014 c000D
  336. Bounty disj_1352_8212 1.0 NoTimeout
  337. Conj disj_1345_8208 : Ap Ap disj Ap Ap SetAdjoin c0141 c000A Ap Ap SetAdjoin c0010 c000D
  338. Bounty disj_1345_8208 1.0 NoTimeout
  339. Conj disj_1162_8257 : Ap Ap disj Ap Ap binunion c0080 c040A Ap Ap SetAdjoin Ap Ap SetAdjoin c0001 c0006 c000D
  340. Bounty disj_1162_8257 1.0 NoTimeout
  341. Conj disj_169_9216 : Ap Ap disj Ap Ap setminus c00FF Ap Ap binunion c0010 c0046 Ap Ap SetAdjoin c0400 c000D
  342. Bounty disj_169_9216 1.0 NoTimeout
  343. Conj disj_1108_8200 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0014 c0006 c000A Ap Ap SetAdjoin c0008 c000D
  344. Bounty disj_1108_8200 1.0 NoTimeout
  345. Conj disj_768_8320 : Ap Ap disj Ap Ap SetAdjoin c0100 c0009 c2080
  346. Bounty disj_768_8320 1.0 NoTimeout
  347. Conj disj_3968_4168 : Ap Ap disj Ap Ap binunion c0080 c0F00 Ap Ap SetAdjoin c0048 c000C
  348. Bounty disj_3968_4168 1.0 NoTimeout
  349. Conj disj_3978_4128 : Ap Ap disj Ap Ap binunion c0080 Ap Ap setminus c0F0F c0005 c1020
  350. Bounty disj_3978_4128 1.0 NoTimeout
  351. Conj disj_3981_4112 : Ap Ap disj Ap Ap binunion c0080 Ap Ap setminus c0F0F c0002 Ap Ap SetAdjoin c0010 c000C
  352. Bounty disj_3981_4112 1.0 NoTimeout
  353. Conj disj_3936_4104 : Ap Ap disj Ap Ap binunion c0060 c0F00 Ap Ap SetAdjoin c0008 c000C
  354. Bounty disj_3936_4104 1.0 NoTimeout
  355. Conj disj_3596_4224 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c0101 c0002 c1080
  356. Bounty disj_3596_4224 1.0 NoTimeout
  357. Conj disj_3119_4224 : Ap Ap disj Ap Ap binunion c0400 Ap Ap binunion c0025 c080B c1080
  358. Bounty disj_3119_4224 1.0 NoTimeout
  359. Conj disj_2560_4351 : Ap Ap disj c0A00 Ap Ap SetAdjoin c00FF c000C
  360. Bounty disj_2560_4351 1.0 NoTimeout
  361. Conj disj_2624_4156 : Ap Ap disj Ap Ap binunion c0200 c0840 Ap Ap binunion c0030 c100C
  362. Bounty disj_2624_4156 1.0 NoTimeout
  363. Conj disj_2440_4160 : Ap Ap disj Ap Ap binunion c0080 c0908 Ap Ap SetAdjoin c0040 c000C
  364. Bounty disj_2440_4160 1.0 NoTimeout
  365. Conj disj_1607_4224 : Ap Ap disj Ap Ap setminus c0F4F c0908 c1080
  366. Bounty disj_1607_4224 1.0 NoTimeout
  367. Conj disj_1591_4224 : Ap Ap disj Ap Ap setminus c0F3F c0908 c1080
  368. Bounty disj_1591_4224 1.0 NoTimeout
  369. Conj disj_1567_4224 : Ap Ap disj Ap Ap setminus c0F1F c0900 c1080
  370. Bounty disj_1567_4224 1.0 NoTimeout
  371. Conj disj_1614_4128 : Ap Ap disj Ap Ap setminus c0F4F c0901 c1020
  372. Bounty disj_1614_4128 1.0 NoTimeout
  373. Conj disj_1352_4224 : Ap Ap disj Ap Ap SetAdjoin c0148 c000A c1080
  374. Bounty disj_1352_4224 1.0 NoTimeout
  375. Conj disj_1413_4112 : Ap Ap disj Ap Ap binunion c0080 c0505 Ap Ap SetAdjoin c0010 c000C
  376. Bounty disj_1413_4112 1.0 NoTimeout
  377. Conj disj_1290_4224 : Ap Ap disj Ap Ap binunion c0100 c040A c1080
  378. Bounty disj_1290_4224 1.0 NoTimeout
  379. Conj disj_1354_4128 : Ap Ap disj Ap Ap binunion c0140 c040A c1020
  380. Bounty disj_1354_4128 1.0 NoTimeout
  381. Conj disj_792_4224 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0010 c0108 c0009 c1080
  382. Bounty disj_792_4224 1.0 NoTimeout
  383. Conj disj_903_4112 : Ap Ap disj Ap Ap binunion c0087 c0303 Ap Ap SetAdjoin c0010 c000C
  384. Bounty disj_903_4112 1.0 NoTimeout
  385. Conj disj_840_4132 : Ap Ap disj Ap Ap SetAdjoin c0148 c0009 Ap Ap SetAdjoin c0024 c000C
  386. Bounty disj_840_4132 1.0 NoTimeout
  387. Conj disj_246_4608 : Ap Ap disj Ap Ap setminus c00FF c0009 Ap Ap SetAdjoin c0200 c000C
  388. Bounty disj_246_4608 1.0 NoTimeout
  389. Conj disj_449_3632 : Ap Ap disj Ap Ap binunion c0080 c0141 Ap Ap setminus c0F3F Ap Ap SetAdjoin c000F c0008
  390. Bounty disj_449_3632 1.0 NoTimeout
  391. Conj disj_1794_2176 : Ap Ap disj Ap Ap setminus c070F c000D c0880
  392. Bounty disj_1794_2176 1.0 NoTimeout
  393. Conj disj_1620_2089 : Ap Ap disj Ap Ap setminus c0F5F c090B Ap Ap binunion c0009 c0820
  394. Bounty disj_1620_2089 1.0 NoTimeout
  395. Conj disj_1320_2192 : Ap Ap disj Ap Ap SetAdjoin c0128 c000A Ap Ap binunion c0080 c0810
  396. Bounty disj_1320_2192 1.0 NoTimeout
  397. Conj disj_1288_2176 : Ap Ap disj Ap Ap SetAdjoin c0108 c000A c0880
  398. Bounty disj_1288_2176 1.0 NoTimeout
  399. Conj disj_1152_2083 : Ap Ap disj c0480 Ap Ap binunion c0003 c0820
  400. Bounty disj_1152_2083 1.0 NoTimeout
  401. Conj disj_899_2152 : Ap Ap disj Ap Ap binunion c0080 c0303 Ap Ap binunion c0028 c0840
  402. Bounty disj_899_2152 1.0 NoTimeout
  403. Conj disj_832_2213 : Ap Ap disj Ap Ap SetAdjoin c0140 c0009 Ap Ap binunion c0080 Ap Ap SetAdjoin c0025 c000B
  404. Bounty disj_832_2213 1.0 NoTimeout
  405. Conj disj_801_2064 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0020 c0101 c0009 c0810
  406. Bounty disj_801_2064 1.0 NoTimeout
  407. Conj disj_81_2312 : Ap Ap disj Ap Ap SetAdjoin c0011 c0006 c0908
  408. Bounty disj_81_2312 1.0 NoTimeout
  409. Conj disj_48_2305 : Ap Ap disj c0030 c0901
  410. Bounty disj_48_2305 1.0 NoTimeout
  411. Conj disj_448_1056 : Ap Ap disj Ap Ap binunion c0080 c0140 Ap Ap SetAdjoin c0020 c000A
  412. Bounty disj_448_1056 1.0 NoTimeout
  413. Conj disj_456_549 : Ap Ap disj c01C8 Ap Ap SetAdjoin c0025 c0009
  414. Bounty disj_456_549 1.0 NoTimeout
  415. Conj subq_325_33093 : Ap Ap Subq Ap Ap binunion c0004 c0141 Ap Ap binunion Ap Ap SetAdjoin c0004 c0006 Ap Ap SetAdjoin c0101 c000F
  416. Bounty subq_325_33093 1.0 NoTimeout
  417. Conj subq_335_367 : Ap Ap Subq Ap Ap binunion c0001 Ap Ap binunion c0046 c0108 Ap Ap binunion Ap Ap SetAdjoin c0001 c0005 Ap Ap binunion c0046 c0108
  418. Bounty subq_335_367 1.0 NoTimeout
  419. Conj atmost8_405 : Ap not Ap atleast9 Ap Ap binunion c0080 Ap Ap binunion c0014 c0101
  420. Bounty atmost8_405 1.0 NoTimeout
  421. Conj atmost7_498 : Ap not Ap atleast8 Ap Ap binunion Ap Ap setminus c00FF c000D c0100
  422. Bounty atmost7_498 1.0 NoTimeout
  423. Conj subq_549_557 : Ap Ap Subq Ap Ap SetAdjoin c0025 c0009 Ap Ap binunion c0024 c0209
  424. Bounty subq_549_557 1.0 NoTimeout
  425. Conj subq_593_601 : Ap Ap Subq Ap Ap SetAdjoin Ap Ap SetAdjoin c0011 c0006 c0009 Ap Ap binunion c0050 c0209
  426. Bounty subq_593_601 1.0 NoTimeout
  427. Conj subq_600_33368 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0008 c0050 c0200 Ap Ap binunion Ap Ap SetAdjoin c0050 c0009 Ap Ap SetAdjoin c0008 c000F
  428. Bounty subq_600_33368 1.0 NoTimeout
  429. Conj atmost9_892 : Ap not Ap atleast10 Ap Ap binunion Ap Ap binunion c0034 c0148 c0200
  430. Bounty atmost9_892 1.0 NoTimeout
  431. Conj atmost6_996 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0080 c0140 Ap Ap SetAdjoin c0024 c0009
  432. Bounty atmost6_996 1.0 NoTimeout
  433. Conj atmost3_1027 : Ap not Ap atleast4 Ap Ap SetAdjoin c0003 c000A
  434. Bounty atmost3_1027 1.0 NoTimeout
  435. Conj atmost5_1080 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0008 c0030 c0400
  436. Bounty atmost5_1080 1.0 NoTimeout
  437. Conj atmost7_1268 : Ap not Ap atleast8 Ap Ap binunion Ap Ap setminus c00FF c000B c0400
  438. Bounty atmost7_1268 1.0 NoTimeout
  439. Conj atmost7_1293 : Ap not Ap atleast8 Ap Ap binunion c0008 c0505
  440. Bounty atmost7_1293 1.0 NoTimeout
  441. Conj atmost8_1464 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0080 c0128 Ap Ap SetAdjoin c0010 c000A
  442. Bounty atmost8_1464 1.0 NoTimeout
  443. Conj atmost6_1571 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0003 c0005 c0009 c0400
  444. Bounty atmost6_1571 1.0 NoTimeout
  445. Conj atmost7_1817 : Ap not Ap atleast8 Ap Ap setminus c0F1F Ap Ap SetAdjoin c0006 c000B
  446. Bounty atmost7_1817 1.0 NoTimeout
  447. Conj atmost7_2201 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0008 c0011 c0007 c0800
  448. Bounty atmost7_2201 1.0 NoTimeout
  449. Conj atmost5_2249 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0048 c0007 Ap Ap SetAdjoin c0001 c000B
  450. Bounty atmost5_2249 1.0 NoTimeout
  451. Conj subq_2437_2957 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0004 c0101 c0800 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0004 c0008 c0209 c0880
  452. Bounty subq_2437_2957 1.0 NoTimeout
  453. Conj subq_2571_2667 : Ap Ap Subq Ap Ap binunion c0200 c080B Ap Ap binunion Ap Ap binunion c0060 c0209 c0802
  454. Bounty subq_2571_2667 1.0 NoTimeout
  455. Conj atmost5_2672 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0060 c0009 c0810
  456. Bounty atmost5_2672 1.0 NoTimeout
  457. Conj atmost6_3122 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0032 c000A c0800
  458. Bounty atmost6_3122 1.0 NoTimeout
  459. Conj atmost8_3163 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0011 c0006 c040A c0800
  460. Bounty atmost8_3163 1.0 NoTimeout
  461. Conj atmost5_3203 : Ap not Ap atleast6 Ap Ap binunion c0480 Ap Ap SetAdjoin c0003 c000B
  462. Bounty atmost5_3203 1.0 NoTimeout
  463. Conj atmost7_3225 : Ap not Ap atleast8 Ap Ap binunion c0480 Ap Ap binunion c0008 Ap Ap SetAdjoin c0011 c000B
  464. Bounty atmost7_3225 1.0 NoTimeout
  465. Conj subq_3340_23820 : Ap Ap Subq Ap Ap setminus Ap Ap setminus c0F0F c0003 c0200 Ap Ap binunion Ap Ap binunion c0900 c100C Ap Ap SetAdjoin c0400 c000E
  466. Bounty subq_3340_23820 1.0 NoTimeout
  467. Conj atmost7_3352 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0010 c0108 c000A c0800
  468. Bounty atmost7_3352 1.0 NoTimeout
  469. Conj atmost7_3432 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin c0148 c000A c0820
  470. Bounty atmost7_3432 1.0 NoTimeout
  471. Conj atmost8_3560 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0148 c000A Ap Ap binunion c0080 c0820
  472. Bounty atmost8_3560 1.0 NoTimeout
  473. Conj subq_3664_3792 : Ap Ap Subq Ap Ap setminus c0F5F Ap Ap SetAdjoin c000F c0008 Ap Ap binunion Ap Ap SetAdjoin c0050 c0007 Ap Ap setminus c0E07 c0007
  474. Bounty subq_3664_3792 1.0 NoTimeout
  475. Conj atmost6_4355 : Ap not Ap atleast7 Ap Ap SetAdjoin Ap Ap binunion c0002 c0101 c000C
  476. Bounty atmost6_4355 1.0 NoTimeout
  477. Conj atmost6_4464 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0030 c0140 c1000
  478. Bounty atmost6_4464 1.0 NoTimeout
  479. Conj atmost7_4489 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0001 c0108 c1000
  480. Bounty atmost7_4489 1.0 NoTimeout
  481. Conj subq_4656_37424 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0030 c0009 c1000 Ap Ap binunion Ap Ap SetAdjoin c0200 c000C Ap Ap binunion c0010 c8020
  482. Bounty subq_4656_37424 1.0 NoTimeout
  483. Conj atmost5_4880 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0010 c0008 c0009 c1000
  484. Bounty atmost5_4880 1.0 NoTimeout
  485. Conj atmost5_5224 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0060 c000A Ap Ap SetAdjoin c0008 c000C
  486. Bounty atmost5_5224 1.0 NoTimeout
  487. Conj subq_5388_23820 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0004 c0108 c000A c1000 Ap Ap binunion Ap Ap binunion c0900 c100C Ap Ap SetAdjoin c0400 c000E
  488. Bounty subq_5388_23820 1.0 NoTimeout
  489. Conj atmost8_5644 : Ap not Ap atleast9 Ap Ap binunion Ap Ap setminus c070F Ap Ap binunion c0002 c0101 c1000
  490. Bounty atmost8_5644 1.0 NoTimeout
  491. Conj subq_6300_22684 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 c0814 Ap Ap SetAdjoin c0008 c000C Ap Ap binunion Ap Ap binunion c0810 c100C c4080
  492. Bounty subq_6300_22684 1.0 NoTimeout
  493. Conj subq_6444_39212 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0024 c0908 c1000 Ap Ap binunion Ap Ap binunion c0900 c100C c8020
  494. Bounty subq_6444_39212 1.0 NoTimeout
  495. Conj atmost5_7232 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0400 c0840 c1000
  496. Bounty atmost5_7232 1.0 NoTimeout
  497. Conj atmost8_7433 : Ap not Ap atleast9 Ap Ap binunion Ap Ap setminus Ap Ap setminus c0F0F c0006 c0200 c1000
  498. Bounty atmost8_7433 1.0 NoTimeout
  499. Conj subq_8362_41130 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF c0055 c2000 Ap Ap binunion c2080 Ap Ap binunion c000A c8020
  500. Bounty subq_8362_41130 1.0 NoTimeout
  501. Conj atmost6_8432 : Ap not Ap atleast7 Ap Ap binunion Ap Ap setminus c00FF c000F c2000
  502. Bounty atmost6_8432 1.0 NoTimeout
  503. Conj subq_8463_12687 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0002 c0008 c200D Ap Ap binunion Ap Ap binunion Ap Ap binunion c0002 c0101 c100C c2080
  504. Bounty subq_8463_12687 1.0 NoTimeout
  505. Conj subq_8578_24962 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap SetAdjoin c0002 c0008 c2000 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0008 c000D c4080
  506. Bounty subq_8578_24962 1.0 NoTimeout
  507. Conj atmost8_8749 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0024 c0209 c2000
  508. Bounty atmost8_8749 1.0 NoTimeout
  509. Conj subq_8770_41538 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0006 c0009 c2000 Ap Ap binunion Ap Ap SetAdjoin c0200 c000D Ap Ap binunion c0002 c8040
  510. Bounty subq_8770_41538 1.0 NoTimeout
  511. Conj subq_9475_9611 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0002 c0101 c000A c2000 Ap Ap binunion Ap Ap binunion c0101 c040A c2080
  512. Bounty subq_9475_9611 1.0 NoTimeout
  513. Conj atmost9_9595 : Ap not Ap atleast10 Ap Ap binunion Ap Ap binunion c0141 c040A Ap Ap SetAdjoin c0030 c000D
  514. Bounty atmost9_9595 1.0 NoTimeout
  515. Conj atmost7_10504 : Ap not Ap atleast8 Ap Ap SetAdjoin c0908 c000D
  516. Bounty atmost7_10504 1.0 NoTimeout
  517. Conj subq_10753_27137 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0200 Ap Ap SetAdjoin c0001 c000B c2000 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0001 c000B c000D Ap Ap SetAdjoin c0200 c000E
  518. Bounty subq_10753_27137 1.0 NoTimeout
  519. Conj subq_10830_15182 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c0F4F c0505 Ap Ap SetAdjoin c0004 c000D Ap Ap binunion Ap Ap binunion c0046 c0908 c3200
  520. Bounty subq_10830_15182 1.0 NoTimeout
  521. Conj atmost6_10840 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0200 c0840 Ap Ap SetAdjoin c0018 c000D
  522. Bounty atmost6_10840 1.0 NoTimeout
  523. Conj atmost6_11362 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0400 c0840 Ap Ap SetAdjoin c0022 c000D
  524. Bounty atmost6_11362 1.0 NoTimeout
  525. Conj atmost7_12389 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0025 c0006 c000C c2000
  526. Bounty atmost7_12389 1.0 NoTimeout
  527. Conj atmost6_12514 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0006 c0007 Ap Ap setminus c3333 c0F1F
  528. Bounty atmost6_12514 1.0 NoTimeout
  529. Conj atmost5_12552 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0108 c000C c2000
  530. Bounty atmost5_12552 1.0 NoTimeout
  531. Conj subq_12737_12749 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0141 c000C c2080 Ap Ap binunion Ap Ap binunion c0141 c100C c2080
  532. Bounty subq_12737_12749 1.0 NoTimeout
  533. Conj atmost8_12811 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0209 c000C Ap Ap SetAdjoin c0002 c000D
  534. Bounty atmost8_12811 1.0 NoTimeout
  535. Conj atmost6_12812 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0200 c100C c2000
  536. Bounty atmost6_12812 1.0 NoTimeout
  537. Conj subq_12815_14863 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0209 c100C Ap Ap SetAdjoin c0002 c000D Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0003 c000B c100C Ap Ap SetAdjoin c0200 c000D
  538. Bounty subq_12815_14863 1.0 NoTimeout
  539. Conj atmost8_13094 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0004 c0008 c000C Ap Ap setminus c3333 c1111
  540. Bounty atmost8_13094 1.0 NoTimeout
  541. Conj atmost8_13097 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0209 c000C Ap Ap SetAdjoin c0120 c000D
  542. Bounty atmost8_13097 1.0 NoTimeout
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!