API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jun 20th, 2020
46
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 41.04 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.  
  22. Param 5b2442ea92009044fd3c96ca607ed2498f48caf1ef3d63f52cd11e7f9949c756 disj : TpArr set TpArr set Prop
  23. Param 7f370ff6a8fbcf87f6df9acc49eb09f6a5013b102a8fb8eaade714ef01c7275c atleast7 : TpArr set Prop
  24. Param 6df37a193b501794536ff37596f28181314c52ce01dcb808622407f04bcd0c9a atleast8 : TpArr set Prop
  25. Param 993c13caeb00088a5836f333f7c557b7e1fd8ea3eacf6e18d1ec98445388966b atleast9 : TpArr set Prop
  26. Param f38a03f6dcae55f8f0be6ec1e717636c76b03b9d2d3564425d6ab3d0f6aea1b3 atleast10 : TpArr set Prop
  27. Param 4e2c67b37cab1e675e71d7e7579a8ce529aa500eb1f690257f70b85901e64f92 atleast11 : TpArr set Prop
  28. Param 6cc016f5fb11139fc5aab4a8d760bb140774ad27bf49e7b6017b1f0d35bc18f7 atleast12 : TpArr set Prop
  29. Param fc5211985616385162a27269bb88f136c4036589848ca7427987b60977e4dce4 atleast13 : TpArr set Prop
  30. Param a936de90ffa3e98f867c2557bd88007aeede7db5e5c5401707144901fa617f19 atleast14 : TpArr set Prop
  31. Param 5d6de99e87dc674ee78fbccde048987a22aa485b10749e7fa2d9680f566686f6 atleast15 : TpArr set Prop
  32. Param ca67ca93004293d7029dce1856c232a871f9f2e93fe722962a134c48a8c034e0 atleast16 : TpArr set Prop
  33. Param 0738f95f806b4f24cec31019f705c04a2d2dcc38a6ea8fd411ada1e2398f40cf c0001 : set
  34. Param 94fa773bd8e79f18824504412c945843ed3e35a29c8ffc626fb6ed9558e9869e c0002 : set
  35. Param 3d41efeeb64f6253d68baed107fb52a0581e9aee2826bf5f9b7271b0a37613b3 c0003 : set
  36. Param 1bacae63d5bbf3484ad42957aac7960ec803daf30fac589b71acb579b2f4cdf7 c0004 : set
  37. Param dbc489b7b5aed879f47ae7a8420bbc564c3830b9a678c50e10a22360b1ed66a1 c0005 : set
  38. Param 284f47e21bcb8ba65bae4f03b1581306b07dbd6186326aeda80ffc12ad74748a c0006 : set
  39. Param af08668885d228f11b8c0088074a63bdf6817d96b993a0c00da6054fd8b5be44 c0007 : set
  40. Param 69fd0da6bf0430c65025409556ccf1d66e77d7aad519224d8edc7bc079a60e71 c0008 : set
  41. Param dbb41a116b3cfd4372db09e7c74425d09dc873ac1ff8c8ccca00844982a91011 c0009 : set
  42. Param 6d339b694db5acd9165107dbb0a78f20477d448971ede9b6d03c9feb8ae3d09e c000A : set
  43. Param 38c32f73ed976b25a5010d40ab8d4053eb654897067fb4b22604bbe4436e7d21 c000B : set
  44. Param e612e679a0fadd6d59e8bfa879475253573ffb7333e8eb80b73da4cfe930e7ad c000C : set
  45. Param 2727a5ae350ada1cf25273d23b10c50038cefa8356e4d727ceccd47bd9ecff87 c000D : set
  46. Param f4657729d0cdf009a8c183c8c50d89b7d204c60d2ad6f3e646913959d1a4f87e c000E : set
  47. Param 16bbe140cb2deb7bc52560b1fcc33a710699dd0230043f0c9a8851c96700fca7 c000F : set
  48. Param 444e0806eda012cd0d0f63c9bb56dba576fc052cb1b09e33ae3eeccc88f77988 c0010 : set
  49. Param 3f12d48b6c42d8871395562ce4c3ff741ab0b8eece2f0e7d91e9abc71f580be2 c0011 : set
  50. Param 2cabbf5b7ba872aeb09c1224f35ab1b41423dde05f736727599160249ae5d7ab c0012 : set
  51. Param 2b195e38e0d4760b8b7b3f21bd83b6b5e95f25ff0014af0b74c1ee92b12d7e2b c0014 : set
  52. Param 34e0df90399a24a5c799db52b22030798af2a437744d3dbb7d7b40b1ad83056b c0018 : set
  53. Param 3a07a1101011c38e1677661142da3e7f8136b8679e75855538f3efe10a27d03d c001C : set
  54. Param 8f9aa41e517c2d0abb584533869c0c4617c66191d55f37b744c883df3e6b78cd c0020 : set
  55. Param 120927180e0e72a2d1e64e1a66d8fe9ca8b3b6ed3feb6755c30fe6c8400b8e7c c0022 : set
  56. Param d98131c7ba2c826be4c36c43c4a67cdb0e654923104ab2b6e30e4f441fad765e c0024 : set
  57. Param 830d69f2d3a2be5abd4f244649e15048e7391d5e98d5f8594988e833b59e745f c0025 : set
  58. Param 829e051a650c3016ff5e7136e05dfc6dd938babb838a01fcabcf4f346393bac2 c0028 : set
  59. Param 4165829cf5b204ad5d06e3a08503e8533f9acecdf35675b7cb76d7f2e7f8944c c0030 : set
  60. Param 803b5f765326932f146c3e9414957e30e1384f9b470f14b2ea266cb9a076e474 c0032 : set
  61. Param 2d22dc13a1fb1a2bbebfbd999fcbdeb92b7acecdc70bbbe48716f346d1889897 c0033 : set
  62. Param bd80bfe0da1ea3379e25abd5944998c8075b6a5cdf1063f54f95a74aa88023a2 c0034 : set
  63. Param b959ecca306ad0b182bb045ef115c594f4f04abe3f11000ebf0bc804d9e19670 c0040 : set
  64. Param 2caecaf80a448ddad50ab369cff8a6566bc8a7dd81494b2438f3763a7c4e5bf4 c0046 : set
  65. Param 6843bb9f2edfa5f29b19634f31f734255612de8db5e0000d40518da561052cf2 c0048 : set
  66. Param 2cc18139be69e217142797eedde95c581eb7532298ffa82f84128ae7ad8f4298 c0050 : set
  67. Param 08e7cb13fe8b625324ca02df0050f129e5b356b49c7fcc4e7ebe559e718b650a c0055 : set
  68. Param 8aba1848db23441e5620facc85bca78febfbec0340c094feeb36277818db7acb c0060 : set
  69. Param c3415f278883e40c70e89678634ef53af0db2ac58822e31aeac70032d34c2f02 c0066 : set
  70. Param 9d6ecd93f29053f73b065516241ed099bf49993cb251b598cbcdea8e19f0cede c0073 : set
  71. Param a05a99efc7d4ddf9693ef5b6c32929d3a933d55a4602ff998a74d1b53291bc58 c0080 : set
  72. Param afae7cb02e903e18a568aac3ab2322781360ef6d75409160cadfb8de77439c73 c0087 : set
  73. Param 701bf76646c7e924548b8dba1f430c65ab26588a5c1867c10e507fa4d3d059c0 c00FF : set
  74. Param c9f26cdf5c2ba31a981b303bd639190b2cc55e006d86874c89f9b052245ea276 c0100 : set
  75. Param 64500cbae66aae7fbec08fe7c5d32d4fd3a7974616ea2c91fed0cc90aaaa55fb c0101 : set
  76. Param 5c8ee8934ada3823a75570907d69b9aaef464f8920ab1784a13e329e9d0315db c0108 : set
  77. Param 3788a2993562ac6f1e8dae13ce20d999f0fc2a61ef12ed08bb4353e6570204b4 c0120 : set
  78. Param 93e0955dc7ceaacb5c39a6c0614067297e6cac21b06afabebc117d6ab7dd1b17 c0128 : set
  79. Param 16879749bd026c95add5ad30765b7ad74c2e2a9dc94ca10e5ba14c6b427a2254 c0133 : set
  80. Param 0cf7caeef2d82da556160141cf35de633541982a1160a121ee501f7c7d324421 c0140 : set
  81. Param d2f5013cdbc375e0e7d30d0a4db2444b87797ecac8abcb08b37f5756d2295883 c0141 : set
  82. Param 2e7c50d9c1e2facc477a45188827e0fdc959525b6805e82bfa8351614511c7ee c0146 : set
  83. Param 967052e9f242575a1c17f4f9e7b73d99d06157475bfa65e1836b0b2e4d5f21a0 c0148 : set
  84. Param e2699895e5713f7d54958af76076de22227397abf30a2fc138f8313a5e67b265 c0155 : set
  85. Param 74acf684e1a817ae665e53498f6eebac6b248c1d1cada7790ebd8532b7611ad2 c01C8 : set
  86. Param d50fd4df7c154fa0d0063e51d4aba3e8756251e01818b1134494fae5d55f6921 c0200 : set
  87. Param 2ebfccfbd239f0f37c2b9b26e7edacb44666fa0a5b052e4739f384e449480a95 c0209 : set
  88. Param f81bcf4bdb70d42f6e520714f5813c2b76a8dabc79bd25548fceaba408f494f4 c0280 : set
  89. Param dcf928cbfd25fb40db4d4f580ae0ab8b84a70fac9954f867959ab412e39c6509 c0303 : set
  90. Param 7c3a600fe3f6a3e218a123b6f9942d33f7031be31b18fbfb8ca021623caa4a20 c0400 : set
  91. Param 992591cca3a8da23067c8b59b106303cc71338a0397a08e782182ffc9f828a56 c040A : set
  92. Param 6cc98443e0d57d21018002dbe1f577daa44376ed1f70f3a984b6675b54e65753 c0480 : set
  93. Param badba5ab675806579e36e3c43a1584d4a6a6f6fa7b3315f50479cadb5bfcf6eb c0505 : set
  94. Param e1787b85d881a63c93f44286dfffd2e7ca08a268de819611ce3a1a885025477e c0600 : set
  95. Param d5c7e14c0fff38f5a30a8249fff328ed1f95dbba95b83842fb7895afe48ff7ad c0704 : set
  96. Param 6f7f94cb6a40b893ed9e8d871534d40ff2e643552fa76671e0119a1eab5d3130 c070F : set
  97. Param e6c666f5eb45fe8886b54a5b30029800b68940de5ccb0142be008db3cb595709 c0784 : set
  98. Param a11825d1427bccac713ac606a55dfffd08ad65078c1884a44c00af5dc93d6685 c0800 : set
  99. Param f202543bba225c9bc455f07b030b2c2b6b4a0fbd9f2fb04a37ac2f95dc06e580 c0802 : set
  100. Param e6252e2530b9c3761d94f154a118c2b2b043d42035801af03329b6eac64ed75d c0804 : set
  101. Param 475e40a479cb4e956ad583e5b1bd24362d2b713aad57d95f765d37da784d5943 c0808 : set
  102. Param 6cc5e92c5adb3884aa880a068fc539f43ad1852c99eda8725eeaf95b726a5114 c080B : set
  103. Param 6cc7b6c498ca24185db2a09e4e32ab8f434e0436655bc61ee0afd1cf496ff5dd c080F : set
  104. Param 7585822044414b7a7540564813edbd67b7856e08b23a6ed0a8988266e27a9483 c0810 : set
  105. Param ea5de3e6b373d2fbee2ef4fb785d4125b888600525239089117460e3c8eaaa0a c0814 : set
  106. Param d3b5f4d530aa8b8b0fdd58d1cf53c0ee6e3b456ec5a9274a342acb47d866ee36 c0820 : set
  107. Param d83512f59c6471d1a6ce45c3214d182bb73116705ba7185e910d9f5b02a69aa5 c0840 : set
  108. Param 4d9be5c7118c2e4f2b82487c9d7151df4ef929e0f168b4c69be1d4dc6e21560a c0880 : set
  109. Param 6b27d9cf0b80beeb6f719dbfa06dbd0f3216e8a5e95dede2fd010f2b979a45fc c0900 : set
  110. Param 040b5862cfe9de7e0dfc8a2b043985189805c412d486ab9d21c45a56feb82b3a c0901 : set
  111. Param 397a16e6f8740dcc6386c326883ae0a331626b0498a532eb59cf20bd4df37ef7 c0908 : set
  112. Param d52be04e6c4fba5a90bb90f39b2093ddc9e62fb5b19274c00f0e17638fdd0d21 c090B : set
  113. Param 018a965ddf5f54bb93cb513aa6a440f02786ddc41c02ac0e864bd0830b3f8730 c0A00 : set
  114. Param 73400d5d79e6075c86fd5474ead0312a40344a5f2f7816daf8252715bc0dd3bf c0C00 : set
  115. Param 49139878d88c3c3373f64865c5dfacbba7ffd26c9047b3dc028df493c7126a8c c0E07 : set
  116. Param e16e2bdcc5fccaa71b14750e132f22de8c349d50f71604b68737ace64423bcd4 c0F00 : set
  117. Param 37cc97e515ee9b12c889a176a477cf32aa3af7aed6ec0a30dd20d0678e0f5380 c0F0F : set
  118. Param 80e3fadb642ebfa29a24290b3010063ab7566aa2c86a390a6af6e0ba8b7b74da c0F1F : set
  119. Param e4d39b0754222cbe1618b66ff68a14a77dc420573d0ef049ab61826d9702be28 c0F2F : set
  120. Param 67c7748b0c7b763dd6fd8bdf907a88184a859b772980d9d7a14317fe5ede72a3 c0F3F : set
  121. Param e5f9f3ea6a19716f38083679b069255891ea9267016111e9cfafc593fdef513a c0F4F : set
  122. Param 41c03f256260f74b04fcc4c96676ccb8d175e328479f522e06e7a0d4c55780d4 c0F5F : set
  123. Param 3971b2d9b1cb2a4e1ac364301e0a89f0c502fa1ece0690c5e2daea37d5dbbb29 c1000 : set
  124. Param 1b78a6789ce382d3eaf772a0b6ebda16cce180485403ec2033422025a32a62a7 c100C : set
  125. Param a49b27b5a95bbb3bdc728e37999c70dcd4cf13711be3368d51dc02d5c8182bcc c1020 : set
  126. Param 9e9b01ae6de9cc832b55f730dd632b99f0251f3e625107c86a1387c08efb80e9 c1080 : set
  127. Param f9b5079dd6aaf6c990eedfb5b2f750f8a411c11fbfa12726afeb9a4725c056b0 c1111 : set
  128. Param 098de0ff33073ba9dfb929d6df26903fcdd6c89e0732de0bebc9433b565b6a99 c2000 : set
  129. Param 06169583128996ddd4c3e3f4e4410d3253a9f0740111f296ec8187d54c1f490d c200D : set
  130. Param 53e8143eb34fc40e20fb3c6993985351b68ceb9a65b7d11b2bc5d25c5b0f91b7 c2080 : set
  131. Param 235e0e37fcc03a086c63f602794b5c2b0859ecf2f8b380f3df389a2d2584428f c3200 : set
  132. Param 1085f628a4a1efd1f2e935240835d3ba69e4bd8d1b8c26d9714f30b2bb637d65 c3333 : set
  133. Param 5cdb7e5ae22e8371271ffb70d29b99a5be9a625243b4f7ffe7c8a4740a176331 c4000 : set
  134. Param 767d1633a4b2a5ac9fb5ae685e5aff9d6c45ee422c35834bb39868625cea8b96 c4080 : set
  135. Param 049cef67b49689738df5995d61db0189ca995a69caa8b311eed747e5815adda7 c5400 : set
  136. Param 25f1a7165fbb03334668c85b9a286d5f94a44efb405464a3c4528573ca140c97 c5555 : set
  137. Param d3530bdf0810ae19362bf9d9d91e682611dc40816a959c89b023c6a528ee5538 c7FF0 : set
  138. Param 507dc3312793f44e899a583fc44a68b43d5344dc4c60072a6027be59f71862c7 c8000 : set
  139. Param f7fd9f1fa22efd3400c59e654784737b0f03c70676c4a256052c8e52b2e23d24 c800F : set
  140. Param 36a50ce07189924d641b3bba4ede9b1a922cb32c13c8ed501e311a1eed3ed9f7 c8010 : set
  141. Param 988805b8182f3f8708a36e2ae839c6d187bc2092a2aa8fa85d5faa971c0159e9 c8020 : set
  142. Param f2d95036eb1e6794ab58a572ca5fd02001071e4d086baf5ed3303400c0db5f0f c8040 : set
  143. Param 70bdaaa3135024cb61885a351fc1d707af5d08fa688a064e79efa3a2055f762d cFFFF : set
  144. Conj atleast8_4075 : Ap atleast8 Ap Ap binunion Ap Ap setminus c0F4F c0804 Ap Ap binunion c0080 c0820
  145. Bounty atleast8_4075 1.0 NoTimeout
  146. Conj nsubq_5903_5902 : Ap not Ap Ap Subq Ap Ap SetAdjoin c070F c000C Ap Ap binunion Ap Ap binunion c000A c0704 c1000
  147. Bounty nsubq_5903_5902 1.0 NoTimeout
  148. Conj nsubq_6134_6066 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF c000D Ap Ap SetAdjoin c0704 c000C Ap Ap binunion c0480 Ap Ap setminus c3333 c200D
  149. Bounty nsubq_6134_6066 1.0 NoTimeout
  150. Conj nsubq_6140_6064 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF c0007 Ap Ap SetAdjoin c0704 c000C Ap Ap binunion Ap Ap setminus c0F3F c080F c1080
  151. Bounty nsubq_6140_6064 1.0 NoTimeout
  152. Conj nsubq_6267_4219 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0030 Ap Ap binunion c0040 c080B c1000 Ap Ap binunion Ap Ap binunion c0008 c0073 c1000
  153. Bounty nsubq_6267_4219 1.0 NoTimeout
  154. Conj atleast8_6687 : Ap atleast8 Ap Ap binunion Ap Ap binunion c0200 Ap Ap binunion c0014 c080B c1000
  155. Bounty atleast8_6687 1.0 NoTimeout
  156. Conj subq_4723_6771 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0073 c0009 c1000 Ap Ap binunion Ap Ap binunion c0200 c0840 Ap Ap SetAdjoin c0033 c000C
  157. Bounty subq_4723_6771 1.0 NoTimeout
  158. Conj atleast8_6951 : Ap atleast8 Ap Ap binunion Ap Ap binunion c0303 Ap Ap SetAdjoin c0025 c000B c1000
  159. Bounty atleast8_6951 1.0 NoTimeout
  160. Conj atleast8_7023 : Ap atleast8 Ap Ap binunion Ap Ap binunion c0303 Ap Ap binunion c0046 c080B c1020
  161. Bounty atleast8_7023 1.0 NoTimeout
  162. Conj atleast8_7025 : Ap atleast8 Ap Ap binunion Ap Ap binunion c0200 c0840 Ap Ap binunion c0020 c1111
  163. Bounty atleast8_7025 1.0 NoTimeout
  164. Conj subq_5037_7085 : Ap Ap Subq Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0025 c0008 c0209 c1080 Ap Ap binunion Ap Ap setminus c0F2F c040A Ap Ap binunion c0080 c100C
  165. Bounty subq_5037_7085 1.0 NoTimeout
  166. Conj subq_3013_7109 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0141 c0009 Ap Ap binunion c0080 c0804 Ap Ap binunion Ap Ap setminus c0F4F c040A c1080
  167. Bounty subq_3013_7109 1.0 NoTimeout
  168. Conj atleast8_7262 : Ap atleast8 Ap Ap binunion Ap Ap setminus c0F5F c0303 Ap Ap SetAdjoin c0002 c000C
  169. Bounty atleast8_7262 1.0 NoTimeout
  170. Conj atleast8_7455 : Ap atleast8 Ap Ap binunion Ap Ap binunion c0505 Ap Ap binunion c0010 c080B c1000
  171. Bounty atleast8_7455 1.0 NoTimeout
  172. Conj nsubq_7509_5461 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0505 Ap Ap SetAdjoin c0055 c000B c1000 Ap Ap setminus c5555 c4000
  173. Bounty nsubq_7509_5461 1.0 NoTimeout
  174. Conj atleast8_7646 : Ap atleast8 Ap Ap binunion Ap Ap setminus c0F5F c0209 Ap Ap binunion c0080 c100C
  175. Bounty atleast8_7646 1.0 NoTimeout
  176. Conj nsubq_7719_5671 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0020 c0E07 c1000 Ap Ap binunion Ap Ap setminus c0F2F c0908 c1000
  177. Bounty nsubq_7719_5671 1.0 NoTimeout
  178. Conj atleast9_3775 : Ap atleast9 Ap Ap binunion Ap Ap setminus c0F3F c0900 c0880
  179. Bounty atleast9_3775 1.0 NoTimeout
  180. Conj atleast9_3835 : Ap atleast9 Ap Ap binunion Ap Ap setminus c00FF c0004 Ap Ap setminus c0E07 c0007
  181. Bounty atleast9_3835 1.0 NoTimeout
  182. Conj atleast9_3983 : Ap atleast9 Ap Ap binunion c0080 c0F0F
  183. Bounty atleast9_3983 1.0 NoTimeout
  184. Conj atleast9_4028 : Ap atleast9 Ap Ap binunion c0784 Ap Ap binunion c0018 c0820
  185. Bounty atleast9_4028 1.0 NoTimeout
  186. Conj atleast9_5854 : Ap atleast9 Ap Ap binunion Ap Ap setminus c0F5F c0901 c1080
  187. Bounty atleast9_5854 1.0 NoTimeout
  188. Conj subq_6132_6140 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF c000F Ap Ap SetAdjoin c0704 c000C Ap Ap binunion Ap Ap setminus c00FF c0007 Ap Ap SetAdjoin c0704 c000C
  189. Bounty subq_6132_6140 1.0 NoTimeout
  190. Conj nsubq_6397_6396 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap SetAdjoin c0055 c000B Ap Ap SetAdjoin c0028 c000C Ap Ap binunion Ap Ap binunion c0080 c0840 Ap Ap binunion c0030 c100C
  191. Bounty nsubq_6397_6396 1.0 NoTimeout
  192. Conj nsubq_6591_6590 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0087 c0908 Ap Ap SetAdjoin c0030 c000C Ap Ap binunion Ap Ap binunion c0080 c0900 Ap Ap binunion c0032 c100C
  193. Bounty nsubq_6591_6590 1.0 NoTimeout
  194. Conj atleast9_6971 : Ap atleast9 Ap Ap binunion Ap Ap binunion c0303 Ap Ap binunion c0033 c080B c1000
  195. Bounty atleast9_6971 1.0 NoTimeout
  196. Conj nsubq_7079_7077 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0303 Ap Ap SetAdjoin c0025 c000B c1080 Ap Ap binunion Ap Ap setminus c0F2F c040A c1080
  197. Bounty nsubq_7079_7077 1.0 NoTimeout
  198. Conj nsubq_7579_7577 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0400 Ap Ap setminus c080B c0001 Ap Ap binunion c0080 c1111 Ap Ap binunion Ap Ap binunion c0400 c0808 Ap Ap binunion c0080 c1111
  199. Bounty nsubq_7579_7577 1.0 NoTimeout
  200. Conj nsubq_7631_7630 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0505 Ap Ap binunion c0040 c080B c1080 Ap Ap binunion Ap Ap setminus c0F4F c0209 Ap Ap binunion c0080 c100C
  201. Bounty nsubq_7631_7630 1.0 NoTimeout
  202. Conj subq_7757_7935 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c0F4F Ap Ap SetAdjoin c0002 c0008 c1000 Ap Ap binunion Ap Ap binunion c00FF c0E07 c1000
  203. Bounty subq_7757_7935 1.0 NoTimeout
  204. Conj nsubq_8031_7757 : Ap not Ap Ap Subq Ap Ap binunion c0F4F c1111 Ap Ap binunion Ap Ap setminus c0F4F Ap Ap SetAdjoin c0002 c0008 c1000
  205. Bounty nsubq_8031_7757 1.0 NoTimeout
  206. Conj atleast9_8045 : Ap atleast9 Ap Ap binunion Ap Ap binunion c0060 Ap Ap setminus c0F0F c0002 c1000
  207. Bounty atleast9_8045 1.0 NoTimeout
  208. Conj atleast9_8056 : Ap atleast9 Ap Ap binunion Ap Ap binunion c0060 c0F00 Ap Ap SetAdjoin c0018 c000C
  209. Bounty atleast9_8056 1.0 NoTimeout
  210. Conj nsubq_8137_6089 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c0F0F c0006 Ap Ap SetAdjoin c0040 c000C Ap Ap binunion Ap Ap setminus c0F4F Ap Ap SetAdjoin c0006 c000B c1080
  211. Bounty nsubq_8137_6089 1.0 NoTimeout
  212. Conj subq_7154_8178 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 c0840 Ap Ap setminus c3333 c200D Ap Ap binunion Ap Ap setminus c00FF c000D Ap Ap SetAdjoin c0F00 c000C
  213. Bounty subq_7154_8178 1.0 NoTimeout
  214. Conj atleast9_9119 : Ap atleast9 Ap Ap binunion Ap Ap binunion c0087 c0303 Ap Ap SetAdjoin c0018 c000D
  215. Bounty atleast9_9119 1.0 NoTimeout
  216. Conj atleast9_9717 : Ap atleast9 Ap Ap binunion Ap Ap binunion c0080 c0505 Ap Ap SetAdjoin Ap Ap binunion c0020 c0055 c000D
  217. Bounty atleast9_9717 1.0 NoTimeout
  218. Conj atleast9_10039 : Ap atleast9 Ap Ap binunion Ap Ap binunion c0033 c0704 c2000
  219. Bounty atleast9_10039 1.0 NoTimeout
  220. Conj subq_1886_10078 : Ap Ap Subq Ap Ap setminus c0F5F Ap Ap SetAdjoin c0001 c000B Ap Ap binunion Ap Ap setminus c0F5F Ap Ap SetAdjoin c0001 c000B c2000
  221. Bounty subq_1886_10078 1.0 NoTimeout
  222. Conj subq_1949_10141 : Ap Ap Subq Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0014 c0008 c0209 c0480 Ap Ap binunion c0784 Ap Ap SetAdjoin Ap Ap binunion c0008 c0011 c000D
  223. Bounty subq_1949_10141 1.0 NoTimeout
  224. Conj nsubq_10718_2526 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 c0908 Ap Ap SetAdjoin Ap Ap binunion c0010 c0046 c000D Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0046 c0108 c0810
  225. Bounty nsubq_10718_2526 1.0 NoTimeout
  226. Conj subq_2812_11004 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF c0003 c0A00 Ap Ap binunion Ap Ap binunion c0008 Ap Ap SetAdjoin c0014 c0006 Ap Ap setminus c7FF0 c5555
  227. Bounty subq_2812_11004 1.0 NoTimeout
  228. Conj nsubq_8023_8022 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0050 Ap Ap setminus c0F0F c0008 c1000 Ap Ap binunion Ap Ap binunion Ap Ap binunion c0010 c0046 c0F00 c1000
  229. Bounty nsubq_8023_8022 1.0 NoTimeout
  230. Conj atleast10_8039 : Ap atleast10 Ap Ap binunion Ap Ap binunion c0060 Ap Ap setminus c0F0F c0008 c1000
  231. Bounty atleast10_8039 1.0 NoTimeout
  232. Conj atleast10_8079 : Ap atleast10 Ap Ap binunion Ap Ap binunion c0080 c0F0F c1000
  233. Bounty atleast10_8079 1.0 NoTimeout
  234. Conj subq_8092_8094 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c0F0F c0003 Ap Ap SetAdjoin c0010 c000C Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c0F0F c0001 Ap Ap SetAdjoin c0010 c000C
  235. Bounty subq_8092_8094 1.0 NoTimeout
  236. Conj nsubq_10079_10078 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0050 c070F c2000 Ap Ap binunion Ap Ap setminus c0F5F Ap Ap SetAdjoin c0001 c000B c2000
  237. Bounty nsubq_10079_10078 1.0 NoTimeout
  238. Conj nsubq_10171_10170 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap setminus c0F3F c0804 c2080 Ap Ap binunion Ap Ap setminus c0F3F Ap Ap SetAdjoin c0005 c000B c2080
  239. Bounty nsubq_10171_10170 1.0 NoTimeout
  240. Conj nsubq_10238_10236 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF c0005 Ap Ap SetAdjoin c0704 c000D Ap Ap binunion Ap Ap setminus c00FF c0007 Ap Ap SetAdjoin c0704 c000D
  241. Bounty nsubq_10238_10236 1.0 NoTimeout
  242. Conj atleast10_10879 : Ap atleast10 Ap Ap binunion Ap Ap binunion c0200 Ap Ap binunion c0055 c080B Ap Ap SetAdjoin c0020 c000D
  243. Bounty atleast10_10879 1.0 NoTimeout
  244. Conj subq_10170_12218 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c0F3F Ap Ap SetAdjoin c0005 c000B c2080 Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c0F0F c0005 Ap Ap SetAdjoin c0030 c000D
  245. Bounty subq_10170_12218 1.0 NoTimeout
  246. Conj subq_10973_12253 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0209 Ap Ap SetAdjoin c0055 c000B c2080 Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c0F0F c0002 Ap Ap SetAdjoin c0050 c000D
  247. Bounty subq_10973_12253 1.0 NoTimeout
  248. Conj subq_8687_12783 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0087 c0148 Ap Ap SetAdjoin c0020 c000D Ap Ap binunion Ap Ap binunion c0087 c0148 Ap Ap setminus c3333 c0F1F
  249. Bounty subq_8687_12783 1.0 NoTimeout
  250. Conj nsubq_13295_9199 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0087 c0148 Ap Ap setminus c3333 Ap Ap binunion c0010 c0101 Ap Ap binunion Ap Ap binunion c0080 c0303 Ap Ap binunion c0060 c200D
  251. Bounty nsubq_13295_9199 1.0 NoTimeout
  252. Conj subq_5110_13302 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0004 c0006 c0007 Ap Ap setminus c3333 c200D Ap Ap binunion Ap Ap binunion c0080 c0146 Ap Ap setminus c3333 Ap Ap binunion c0002 c0101
  253. Bounty subq_5110_13302 1.0 NoTimeout
  254. Conj atleast10_13823 : Ap atleast10 Ap Ap binunion Ap Ap SetAdjoin c0505 c000C Ap Ap SetAdjoin c00FF c000D
  255. Bounty atleast10_13823 1.0 NoTimeout
  256. Conj nsubq_14167_10071 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0704 c1111 Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0006 c000D Ap Ap binunion Ap Ap binunion Ap Ap binunion c0002 c0055 c0704 c2000
  257. Bounty nsubq_14167_10071 1.0 NoTimeout
  258. Conj nsubq_14559_10463 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0055 c080B c000C c2080 Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0055 c080B c2000
  259. Bounty nsubq_14559_10463 1.0 NoTimeout
  260. Conj atleast10_14807 : Ap atleast10 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0046 c000B c1111 c2080
  261. Bounty atleast10_14807 1.0 NoTimeout
  262. Conj nsubq_15055_10959 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0046 c080B c3200 Ap Ap binunion Ap Ap binunion c0200 Ap Ap binunion c0046 c080B c2080
  263. Bounty nsubq_15055_10959 1.0 NoTimeout
  264. Conj subq_11067_15163 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0303 Ap Ap binunion c0033 c080B c2000 Ap Ap binunion c0808 c3333
  265. Bounty subq_11067_15163 1.0 NoTimeout
  266. Conj atleast11_10231 : Ap atleast11 Ap Ap binunion c0784 Ap Ap SetAdjoin c0073 c000D
  267. Bounty atleast11_10231 1.0 NoTimeout
  268. Conj atleast11_12284 : Ap atleast11 Ap Ap binunion Ap Ap setminus c0F5F Ap Ap SetAdjoin c0003 c000B Ap Ap setminus c7FF0 c5555
  269. Bounty atleast11_12284 1.0 NoTimeout
  270. Conj nsubq_13295_13294 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0087 c0148 Ap Ap setminus c3333 Ap Ap binunion c0010 c0101 Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0046 c0108 Ap Ap setminus c3333 Ap Ap binunion c0010 c0101
  271. Bounty nsubq_13295_13294 1.0 NoTimeout
  272. Conj subq_14259_14323 : Ap Ap Subq Ap Ap binunion c0480 c3333 Ap Ap binunion c0480 Ap Ap binunion c0040 c3333
  273. Bounty subq_14259_14323 1.0 NoTimeout
  274. Conj atleast11_15351 : Ap atleast11 Ap Ap binunion Ap Ap binunion c0046 c1111 Ap Ap setminus c7FF0 c5555
  275. Bounty atleast11_15351 1.0 NoTimeout
  276. Conj nsubq_20350_3966 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion c0060 Ap Ap setminus c0F0F c0001 Ap Ap SetAdjoin c0010 c000E Ap Ap binunion Ap Ap binunion c0066 c0704 Ap Ap binunion c0008 c0810
  277. Bounty nsubq_20350_3966 1.0 NoTimeout
  278. Conj subq_4015_20399 : Ap Ap Subq Ap Ap binunion c0080 c0F2F Ap Ap binunion Ap Ap binunion c0080 c0F2F c4000
  279. Bounty subq_4015_20399 1.0 NoTimeout
  280. Conj subq_4085_20469 : Ap Ap Subq Ap Ap binunion c0784 Ap Ap binunion Ap Ap SetAdjoin c0011 c0005 c0840 Ap Ap binunion Ap Ap binunion c0080 c0F00 Ap Ap SetAdjoin Ap Ap binunion c0020 c0055 c000E
  281. Bounty subq_4085_20469 1.0 NoTimeout
  282. Conj subq_5999_22383 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0060 c070F c1000 Ap Ap binunion Ap Ap SetAdjoin c070F c000C Ap Ap SetAdjoin c0060 c000E
  283. Bounty subq_5999_22383 1.0 NoTimeout
  284. Conj atleast12_16191 : Ap atleast12 Ap Ap binunion Ap Ap setminus c0F0F c0101 c3333
  285. Bounty atleast12_16191 1.0 NoTimeout
  286. Conj subq_20470_20471 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0032 c0704 Ap Ap setminus c7FF0 c3333 Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c0F0F c000B Ap Ap SetAdjoin c0073 c000E
  287. Bounty subq_20470_20471 1.0 NoTimeout
  288. Conj subq_23422_23423 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c3333 c200D Ap Ap binunion c0840 Ap ordsucc c000E Ap Ap binunion Ap Ap setminus c3333 c2000 Ap Ap binunion c0840 Ap ordsucc c000E
  289. Bounty subq_23422_23423 1.0 NoTimeout
  290. Conj nsubq_28031_19839 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap binunion Ap Ap binunion c0020 c080B c200D Ap Ap setminus c5555 c100C Ap Ap binunion Ap Ap binunion c0505 Ap Ap binunion c0055 c080B Ap Ap SetAdjoin c0020 c000E
  291. Bounty nsubq_28031_19839 1.0 NoTimeout
  292. Conj atleast12_29693 : Ap atleast12 Ap Ap binunion Ap Ap binunion c0155 c0209 Ap Ap setminus c7FF0 c0F5F
  293. Bounty atleast12_29693 1.0 NoTimeout
  294. Conj subq_13309_29693 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0055 c0108 Ap Ap setminus c3333 Ap Ap binunion c0002 c0101 Ap Ap binunion Ap Ap binunion c0155 c0209 Ap Ap setminus c7FF0 c0F5F
  295. Bounty subq_13309_29693 1.0 NoTimeout
  296. Conj nsubq_29694_13310 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0046 c0108 c0009 Ap Ap setminus c7FF0 c0F4F Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0046 c0108 Ap Ap setminus c3333 Ap Ap binunion c0002 c0101
  297. Bounty nsubq_29694_13310 1.0 NoTimeout
  298. Conj nsubq_29951_21759 : Ap not Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c00FF c000D c5400 Ap Ap binunion Ap Ap SetAdjoin c0400 c000C Ap Ap SetAdjoin c00FF c000E
  299. Bounty nsubq_29951_21759 1.0 NoTimeout
  300. Conj atleast12_31231 : Ap atleast12 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0014 c0006 c090B Ap Ap setminus c7FF0 c0F5F
  301. Bounty atleast12_31231 1.0 NoTimeout
  302. Conj atleast13_24574 : Ap atleast13 Ap Ap binunion Ap Ap setminus c3333 c200D Ap Ap setminus Ap Ap setminus cFFFF c8000 c3333
  303. Bounty atleast13_24574 1.0 NoTimeout
  304. Conj subq_31999_32511 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c3333 c0704 Ap Ap setminus Ap Ap setminus cFFFF c8000 c3333 Ap Ap setminus Ap Ap setminus cFFFF c8000 c0100
  305. Bounty subq_31999_32511 1.0 NoTimeout
  306. Conj atleast13_61435 : Ap atleast13 Ap Ap setminus Ap Ap setminus cFFFF c0004 c1000
  307. Bounty atleast13_61435 1.0 NoTimeout
  308. Conj nsubq_57343_57342 : Ap not Ap Ap Subq Ap Ap setminus cFFFF c2000 Ap Ap setminus Ap Ap setminus cFFFF c0001 c2000
  309. Bounty nsubq_57343_57342 1.0 NoTimeout
  310. Conj nsubq_65279_63231 : Ap not Ap Ap Subq Ap Ap setminus cFFFF c0100 Ap Ap setminus Ap Ap setminus cFFFF c0800 c0100
  311. Bounty nsubq_65279_63231 1.0 NoTimeout
  312. Conj nsubq_65535_65503 : Ap not Ap Ap Subq cFFFF Ap Ap setminus cFFFF c0020
  313. Bounty nsubq_65535_65503 1.0 NoTimeout
  314. Conj disj_28384_32788 : Ap Ap disj Ap Ap setminus c7FF0 c1111 Ap Ap SetAdjoin c0014 c000F
  315. Bounty disj_28384_32788 1.0 NoTimeout
  316. Conj disj_20544_32770 : Ap Ap disj Ap Ap setminus c5555 c0F1F Ap Ap SetAdjoin c0002 c000F
  317. Bounty disj_20544_32770 1.0 NoTimeout
  318. Conj disj_18496_32824 : Ap Ap disj Ap Ap SetAdjoin c0840 c000E Ap Ap binunion c0018 c8020
  319. Bounty disj_18496_32824 1.0 NoTimeout
  320. Conj disj_18180_32865 : Ap Ap disj Ap Ap SetAdjoin c0704 c000E Ap Ap binunion Ap Ap SetAdjoin c0001 c0005 c8040
  321. Bounty disj_18180_32865 1.0 NoTimeout
  322. Conj disj_17408_32791 : Ap Ap disj Ap Ap SetAdjoin c0400 c000E Ap Ap binunion c0003 Ap Ap SetAdjoin c0014 c000F
  323. Bounty disj_17408_32791 1.0 NoTimeout
  324. Conj disj_16905_32834 : Ap Ap disj Ap Ap SetAdjoin c0209 c000E Ap Ap binunion c0002 c8040
  325. Bounty disj_16905_32834 1.0 NoTimeout
  326. Conj disj_16896_32784 : Ap Ap disj Ap Ap SetAdjoin c0200 c000E c8010
  327. Bounty disj_16896_32784 1.0 NoTimeout
  328. Conj disj_16512_32858 : Ap Ap disj c4080 Ap Ap binunion c0050 Ap Ap setminus c800F c0005
  329. Bounty disj_16512_32858 1.0 NoTimeout
  330. Conj disj_12849_32844 : Ap Ap disj Ap Ap setminus c3333 Ap Ap SetAdjoin c0002 c0008 Ap Ap binunion c000C c8040
  331. Bounty disj_12849_32844 1.0 NoTimeout
  332. Conj disj_12800_32809 : Ap Ap disj c3200 Ap Ap binunion c0009 c8020
  333. Bounty disj_12800_32809 1.0 NoTimeout
  334. Conj disj_12800_32805 : Ap Ap disj c3200 Ap Ap SetAdjoin c0025 c000F
  335. Bounty disj_12800_32805 1.0 NoTimeout
  336. Conj disj_12304_32843 : Ap Ap disj Ap Ap setminus c3333 c0F2F Ap Ap binunion c000B c8040
  337. Bounty disj_12304_32843 1.0 NoTimeout
  338. Conj disj_12288_32839 : Ap Ap disj Ap Ap SetAdjoin c1000 c000D Ap Ap binunion c0001 Ap Ap SetAdjoin c0046 c000F
  339. Bounty disj_12288_32839 1.0 NoTimeout
  340. Conj disj_10912_32839 : Ap Ap disj Ap Ap setminus c7FF0 c5555 Ap Ap binunion c0001 Ap Ap SetAdjoin c0046 c000F
  341. Bounty disj_10912_32839 1.0 NoTimeout
  342. Conj disj_10497_32774 : Ap Ap disj Ap Ap SetAdjoin c0901 c000D Ap Ap SetAdjoin c0006 c000F
  343. Bounty disj_10497_32774 1.0 NoTimeout
  344. Conj disj_9997_32784 : Ap Ap disj Ap Ap binunion c0704 c200D c8010
  345. Bounty disj_9997_32784 1.0 NoTimeout
  346. Conj disj_9216_32870 : Ap Ap disj Ap Ap SetAdjoin c0400 c000D Ap Ap binunion c0020 Ap Ap SetAdjoin c0046 c000F
  347. Bounty disj_9216_32870 1.0 NoTimeout
  348. Conj disj_9216_32865 : Ap Ap disj Ap Ap SetAdjoin c0400 c000D Ap Ap binunion Ap Ap SetAdjoin c0001 c0005 c8040
  349. Bounty disj_9216_32865 1.0 NoTimeout
  350. Conj disj_9216_32819 : Ap Ap disj Ap Ap SetAdjoin c0400 c000D Ap Ap SetAdjoin c0033 c000F
  351. Bounty disj_9216_32819 1.0 NoTimeout
  352. Conj disj_7959_32864 : Ap Ap disj Ap Ap binunion c0E07 c1111 Ap Ap binunion c0020 c8040
  353. Bounty disj_7959_32864 1.0 NoTimeout
  354. Conj disj_6208_32770 : Ap Ap disj Ap Ap SetAdjoin c0840 c000C Ap Ap SetAdjoin c0002 c000F
  355. Bounty disj_6208_32770 1.0 NoTimeout
  356. Conj disj_5389_32800 : Ap Ap disj Ap Ap binunion c0505 c100C c8020
  357. Bounty disj_5389_32800 1.0 NoTimeout
  358. Conj disj_5120_32786 : Ap Ap disj Ap Ap SetAdjoin c0400 c000C Ap Ap binunion c0002 c8010
  359. Bounty disj_5120_32786 1.0 NoTimeout
  360. Conj disj_4620_32882 : Ap Ap disj Ap Ap binunion c0200 c100C Ap Ap binunion c0032 c8040
  361. Bounty disj_4620_32882 1.0 NoTimeout
  362. Conj disj_4617_32848 : Ap Ap disj Ap Ap SetAdjoin c0209 c000C Ap Ap binunion c0010 c8040
  363. Bounty disj_4617_32848 1.0 NoTimeout
  364. Conj disj_4608_32773 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin c0005 c000F
  365. Bounty disj_4608_32773 1.0 NoTimeout
  366. Conj disj_4385_32770 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0020 c0101 c000C Ap Ap SetAdjoin c0002 c000F
  367. Bounty disj_4385_32770 1.0 NoTimeout
  368. Conj disj_3982_32800 : Ap Ap disj Ap Ap binunion c0080 Ap Ap setminus c0F0F c0001 c8020
  369. Bounty disj_3982_32800 1.0 NoTimeout
  370. Conj disj_3840_32781 : Ap Ap disj c0F00 Ap Ap setminus c800F c0002
  371. Bounty disj_3840_32781 1.0 NoTimeout
  372. Conj disj_3660_32800 : Ap Ap disj Ap Ap setminus c0F4F Ap Ap binunion c0002 c0101 c8020
  373. Bounty disj_3660_32800 1.0 NoTimeout
  374. Conj disj_3098_32896 : Ap Ap disj Ap Ap binunion c040A c0810 Ap Ap SetAdjoin c0080 c000F
  375. Bounty disj_3098_32896 1.0 NoTimeout
  376. Conj disj_3075_32896 : Ap Ap disj Ap Ap binunion c0400 Ap Ap SetAdjoin c0003 c000B Ap Ap SetAdjoin c0080 c000F
  377. Bounty disj_3075_32896 1.0 NoTimeout
  378. Conj disj_3136_32820 : Ap Ap disj Ap Ap binunion c0400 c0840 Ap Ap binunion c0014 c8020
  379. Bounty disj_3136_32820 1.0 NoTimeout
  380. Conj disj_3136_32800 : Ap Ap disj Ap Ap binunion c0400 c0840 c8020
  381. Bounty disj_3136_32800 1.0 NoTimeout
  382. Conj disj_2824_32832 : Ap Ap disj Ap Ap binunion c0200 c0908 c8040
  383. Bounty disj_2824_32832 1.0 NoTimeout
  384. Conj disj_2592_32771 : Ap Ap disj Ap Ap binunion c0200 c0820 Ap Ap SetAdjoin c0003 c000F
  385. Bounty disj_2592_32771 1.0 NoTimeout
  386. Conj disj_2447_32816 : Ap Ap disj Ap Ap binunion c0087 c0908 Ap Ap binunion c0010 c8020
  387. Bounty disj_2447_32816 1.0 NoTimeout
  388. Conj disj_268_34816 : Ap Ap disj Ap Ap binunion c0004 c0108 Ap Ap SetAdjoin c0800 c000F
  389. Bounty disj_268_34816 1.0 NoTimeout
  390. Conj disj_2240_32817 : Ap Ap disj Ap Ap binunion c0080 c0840 Ap Ap binunion c0011 c8020
  391. Bounty disj_2240_32817 1.0 NoTimeout
  392. Conj disj_2240_32792 : Ap Ap disj Ap Ap binunion c0080 c0840 Ap Ap binunion c0008 c8010
  393. Bounty disj_2240_32792 1.0 NoTimeout
  394. Conj disj_2213_32784 : Ap Ap disj Ap Ap binunion c0080 Ap Ap SetAdjoin c0025 c000B c8010
  395. Bounty disj_2213_32784 1.0 NoTimeout
  396. Conj disj_1924_32857 : Ap Ap disj c0784 Ap Ap binunion Ap Ap binunion c0008 c0011 c8040
  397. Bounty disj_1924_32857 1.0 NoTimeout
  398. Conj disj_1285_32800 : Ap Ap disj c0505 c8020
  399. Bounty disj_1285_32800 1.0 NoTimeout
  400. Conj disj_800_32772 : Ap Ap disj Ap Ap SetAdjoin c0120 c0009 Ap Ap SetAdjoin c0004 c000F
  401. Bounty disj_800_32772 1.0 NoTimeout
  402. Conj disj_649_32850 : Ap Ap disj Ap Ap binunion c0080 c0209 Ap Ap binunion c0012 c8040
  403. Bounty disj_649_32850 1.0 NoTimeout
  404. Conj disj_412_32770 : Ap Ap disj Ap Ap binunion c0080 Ap Ap binunion c0014 c0108 Ap Ap SetAdjoin c0002 c000F
  405. Bounty disj_412_32770 1.0 NoTimeout
  406. Conj disj_168_32772 : Ap Ap disj Ap Ap SetAdjoin c0028 c0007 Ap Ap SetAdjoin c0004 c000F
  407. Bounty disj_168_32772 1.0 NoTimeout
  408. Conj disj_12_32752 : Ap Ap disj c000C c7FF0
  409. Bounty disj_12_32752 1.0 NoTimeout
  410. Conj disj_10912_21764 : Ap Ap disj Ap Ap setminus c7FF0 c5555 Ap Ap setminus c5555 Ap Ap SetAdjoin c0011 c0006
  411. Bounty disj_10912_21764 1.0 NoTimeout
  412. Conj disj_3337_28912 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c0006 c0200 Ap Ap setminus c7FF0 c0F00
  413. Bounty disj_3337_28912 1.0 NoTimeout
  414. Conj disj_10285_21776 : Ap Ap disj Ap Ap binunion c0820 c200D Ap Ap setminus c5555 Ap Ap SetAdjoin c0005 c0006
  415. Bounty disj_10285_21776 1.0 NoTimeout
  416. Conj disj_2830_28848 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c0001 c0400 Ap Ap setminus c7FF0 c0F4F
  417. Bounty disj_2830_28848 1.0 NoTimeout
  418. Conj disj_2573_28864 : Ap Ap disj Ap Ap binunion c0209 c0804 Ap Ap setminus c7FF0 c0F3F
  419. Bounty disj_2573_28864 1.0 NoTimeout
  420. Conj disj_2562_28864 : Ap Ap disj Ap Ap binunion c0200 c0802 Ap Ap setminus c7FF0 c0F3F
  421. Bounty disj_2562_28864 1.0 NoTimeout
  422. Conj disj_12818_18496 : Ap Ap disj Ap Ap setminus c3333 Ap Ap binunion c0020 c0101 Ap Ap SetAdjoin c0840 c000E
  423. Bounty disj_12818_18496 1.0 NoTimeout
  424. Conj disj_12849_18440 : Ap Ap disj Ap Ap setminus c3333 Ap Ap SetAdjoin c0002 c0008 Ap Ap SetAdjoin c0808 c000E
  425. Bounty disj_12849_18440 1.0 NoTimeout
  426. Conj disj_2331_28864 : Ap Ap disj Ap Ap binunion c0010 c090B Ap Ap setminus c7FF0 c0F3F
  427. Bounty disj_2331_28864 1.0 NoTimeout
  428. Conj disj_12320_18699 : Ap Ap disj Ap Ap setminus c3333 c0F1F Ap Ap SetAdjoin c090B c000E
  429. Bounty disj_12320_18699 1.0 NoTimeout
  430. Conj disj_2059_28864 : Ap Ap disj c080B Ap Ap setminus c7FF0 c0F3F
  431. Bounty disj_2059_28864 1.0 NoTimeout
  432. Conj disj_1794_28880 : Ap Ap disj Ap Ap setminus c070F c000D Ap Ap setminus c7FF0 c0F2F
  433. Bounty disj_1794_28880 1.0 NoTimeout
  434. Conj disj_1544_28896 : Ap Ap disj Ap Ap setminus c070F Ap Ap binunion c0006 c0101 Ap Ap setminus c7FF0 c0F1F
  435. Bounty disj_1544_28896 1.0 NoTimeout
  436. Conj disj_8226_21760 : Ap Ap disj Ap Ap SetAdjoin c0022 c000D Ap Ap setminus c5555 c0055
  437. Bounty disj_8226_21760 1.0 NoTimeout
  438. Conj disj_1029_28832 : Ap Ap disj Ap Ap SetAdjoin c0005 c000A Ap Ap setminus c7FF0 c0F5F
  439. Bounty disj_1029_28832 1.0 NoTimeout
  440. Conj disj_9226_20544 : Ap Ap disj Ap Ap SetAdjoin c040A c000D Ap Ap setminus c5555 c0F1F
  441. Bounty disj_9226_20544 1.0 NoTimeout
  442. Conj disj_13072_16519 : Ap Ap disj Ap Ap setminus c3333 Ap Ap SetAdjoin c0003 c0005 Ap Ap SetAdjoin c0087 c000E
  443. Bounty disj_13072_16519 1.0 NoTimeout
  444. Conj disj_12849_16512 : Ap Ap disj Ap Ap setminus c3333 Ap Ap SetAdjoin c0002 c0008 c4080
  445. Bounty disj_12849_16512 1.0 NoTimeout
  446. Conj disj_12851_16392 : Ap Ap disj Ap Ap setminus c3333 c0100 Ap Ap SetAdjoin c0008 c000E
  447. Bounty disj_12851_16392 1.0 NoTimeout
  448. Conj disj_341_28832 : Ap Ap disj c0155 Ap Ap setminus c7FF0 c0F5F
  449. Bounty disj_341_28832 1.0 NoTimeout
  450. Conj disj_12288_16646 : Ap Ap disj Ap Ap SetAdjoin c1000 c000D Ap Ap SetAdjoin Ap Ap SetAdjoin c0006 c0008 c000E
  451. Bounty disj_12288_16646 1.0 NoTimeout
  452. Conj disj_12288_16450 : Ap Ap disj Ap Ap SetAdjoin c1000 c000D Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0006 c000E
  453. Bounty disj_12288_16450 1.0 NoTimeout
  454. Conj disj_12044_16448 : Ap Ap disj Ap Ap SetAdjoin Ap Ap setminus c0F0F c0003 c000D Ap Ap SetAdjoin c0040 c000E
  455. Bounty disj_12044_16448 1.0 NoTimeout
  456. Conj disj_12036_16432 : Ap Ap disj Ap Ap SetAdjoin Ap Ap setminus c0F0F c000B c000D Ap Ap SetAdjoin c0030 c000E
  457. Bounty disj_12036_16432 1.0 NoTimeout
  458. Conj disj_8226_19660 : Ap Ap disj Ap Ap SetAdjoin c0022 c000D Ap Ap setminus Ap Ap setminus cFFFF c8000 c3333
  459. Bounty disj_8226_19660 1.0 NoTimeout
  460. Conj disj_10283_17476 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0020 c080B c000D Ap Ap setminus c5555 c1111
  461. Bounty disj_10283_17476 1.0 NoTimeout
  462. Conj disj_2885_24576 : Ap Ap disj Ap Ap setminus c0F4F c040A Ap Ap SetAdjoin c2000 c000E
  463. Bounty disj_2885_24576 1.0 NoTimeout
  464. Conj disj_10256_16910 : Ap Ap disj Ap Ap SetAdjoin c0810 c000D Ap Ap binunion c0200 Ap ordsucc c000E
  465. Bounty disj_10256_16910 1.0 NoTimeout
  466. Conj disj_10504_16401 : Ap Ap disj Ap Ap SetAdjoin c0908 c000D Ap Ap SetAdjoin c0011 c000E
  467. Bounty disj_10504_16401 1.0 NoTimeout
  468. Conj disj_10269_16512 : Ap Ap disj Ap Ap binunion c0810 c200D c4080
  469. Bounty disj_10269_16512 1.0 NoTimeout
  470. Conj disj_9216_16400 : Ap Ap disj Ap Ap SetAdjoin c0400 c000D Ap Ap SetAdjoin c0010 c000E
  471. Bounty disj_9216_16400 1.0 NoTimeout
  472. Conj disj_8704_16424 : Ap Ap disj Ap Ap SetAdjoin c0200 c000D Ap Ap SetAdjoin c0028 c000E
  473. Bounty disj_8704_16424 1.0 NoTimeout
  474. Conj disj_8464_16526 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0010 c0008 c000D Ap Ap binunion c0080 Ap ordsucc c000E
  475. Bounty disj_8464_16526 1.0 NoTimeout
  476. Conj disj_8541_16416 : Ap Ap disj Ap Ap binunion c0155 c200D Ap Ap SetAdjoin c0020 c000E
  477. Bounty disj_8541_16416 1.0 NoTimeout
  478. Conj disj_244_24576 : Ap Ap disj Ap Ap setminus c00FF c000B Ap Ap SetAdjoin c2000 c000E
  479. Bounty disj_244_24576 1.0 NoTimeout
  480. Conj disj_8320_16462 : Ap Ap disj c2080 Ap Ap binunion c0040 Ap ordsucc c000E
  481. Bounty disj_8320_16462 1.0 NoTimeout
  482. Conj disj_7940_16512 : Ap Ap disj Ap Ap SetAdjoin Ap Ap setminus c0F0F c000B c000C c4080
  483. Bounty disj_7940_16512 1.0 NoTimeout
  484. Conj disj_3619_20480 : Ap Ap disj Ap Ap setminus c0F2F Ap Ap binunion c0004 c0108 Ap Ap SetAdjoin c1000 c000E
  485. Bounty disj_3619_20480 1.0 NoTimeout
  486. Conj disj_6408_17476 : Ap Ap disj Ap Ap SetAdjoin c0908 c000C Ap Ap setminus c5555 c1111
  487. Bounty disj_6408_17476 1.0 NoTimeout
  488. Conj disj_3104_20560 : Ap Ap disj Ap Ap binunion c0400 c0820 Ap Ap setminus c5555 c0505
  489. Bounty disj_3104_20560 1.0 NoTimeout
  490. Conj disj_2592_20816 : Ap Ap disj Ap Ap binunion c0200 c0820 Ap Ap setminus c5555 c0E07
  491. Bounty disj_2592_20816 1.0 NoTimeout
  492. Conj disj_6412_16896 : Ap Ap disj Ap Ap binunion c0900 c100C Ap Ap SetAdjoin c0200 c000E
  493. Bounty disj_6412_16896 1.0 NoTimeout
  494. Conj disj_2354_20544 : Ap Ap disj Ap Ap binunion c0032 c0900 Ap Ap setminus c5555 c0F1F
  495. Bounty disj_2354_20544 1.0 NoTimeout
  496. Conj disj_6412_16434 : Ap Ap disj Ap Ap binunion c0900 c100C Ap Ap SetAdjoin c0032 c000E
  497. Bounty disj_6412_16434 1.0 NoTimeout
  498. Conj disj_5900_16512 : Ap Ap disj Ap Ap binunion c0704 c100C c4080
  499. Bounty disj_5900_16512 1.0 NoTimeout
  500. Conj disj_1588_20544 : Ap Ap disj Ap Ap setminus c0F3F c090B Ap Ap setminus c5555 c0F1F
  501. Bounty disj_1588_20544 1.0 NoTimeout
  502. Conj disj_899_20544 : Ap Ap disj Ap Ap binunion c0080 c0303 Ap Ap setminus c5555 c0F1F
  503. Bounty disj_899_20544 1.0 NoTimeout
  504. Conj disj_4608_16660 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin Ap Ap SetAdjoin c0014 c0008 c000E
  505. Bounty disj_4608_16660 1.0 NoTimeout
  506. Conj disj_4608_16419 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin Ap Ap SetAdjoin c0003 c0005 c000E
  507. Bounty disj_4608_16419 1.0 NoTimeout
  508. Conj disj_4608_16408 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin c0018 c000E
  509. Bounty disj_4608_16408 1.0 NoTimeout
  510. Conj disj_4608_16391 : Ap Ap disj Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin c0007 c000E
  511. Bounty disj_4608_16391 1.0 NoTimeout
  512. Conj disj_4224_16405 : Ap Ap disj c1080 Ap Ap SetAdjoin Ap Ap binunion c0001 c0014 c000E
  513. Bounty disj_4224_16405 1.0 NoTimeout
  514. Conj disj_4192_16392 : Ap Ap disj Ap Ap SetAdjoin c0060 c000C Ap Ap SetAdjoin c0008 c000E
  515. Bounty disj_4192_16392 1.0 NoTimeout
  516. Conj disj_3968_16485 : Ap Ap disj Ap Ap binunion c0080 c0F00 Ap Ap SetAdjoin Ap Ap SetAdjoin c0025 c0006 c000E
  517. Bounty disj_3968_16485 1.0 NoTimeout
  518. Conj disj_3968_16402 : Ap Ap disj Ap Ap binunion c0080 c0F00 Ap Ap SetAdjoin c0012 c000E
  519. Bounty disj_3968_16402 1.0 NoTimeout
  520. Conj disj_293_19648 : Ap Ap disj Ap Ap SetAdjoin c0025 c0008 Ap Ap setminus c7FF0 c3333
  521. Bounty disj_293_19648 1.0 NoTimeout
  522. Conj disj_2901_16416 : Ap Ap disj Ap Ap setminus c0F5F c040A Ap Ap SetAdjoin c0020 c000E
  523. Bounty disj_2901_16416 1.0 NoTimeout
  524. Conj disj_2825_16448 : Ap Ap disj Ap Ap binunion c0209 c0900 Ap Ap SetAdjoin c0040 c000E
  525. Bounty disj_2825_16448 1.0 NoTimeout
  526. Conj disj_2820_16400 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c000B c0400 Ap Ap SetAdjoin c0010 c000E
  527. Bounty disj_2820_16400 1.0 NoTimeout
  528. Conj disj_1339_16512 : Ap Ap disj Ap Ap binunion c0133 c040A c4080
  529. Bounty disj_1339_16512 1.0 NoTimeout
  530. Conj disj_808_16402 : Ap Ap disj Ap Ap SetAdjoin c0128 c0009 Ap Ap SetAdjoin c0012 c000E
  531. Bounty disj_808_16402 1.0 NoTimeout
  532. Conj disj_7951_8320 : Ap Ap disj Ap Ap binunion Ap Ap setminus c0F0F c0008 c100C c2080
  533. Bounty disj_7951_8320 1.0 NoTimeout
  534. Conj disj_7950_8288 : Ap Ap disj Ap Ap binunion Ap Ap setminus c0F0F c0005 c100C Ap Ap SetAdjoin c0060 c000D
  535. Bounty disj_7950_8288 1.0 NoTimeout
  536. Conj disj_6419_9216 : Ap Ap disj Ap Ap binunion c0802 c1111 Ap Ap SetAdjoin c0400 c000D
  537. Bounty disj_6419_9216 1.0 NoTimeout
  538. Conj disj_3330_12304 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c0005 c0209 Ap Ap setminus c3333 c0F2F
  539. Bounty disj_3330_12304 1.0 NoTimeout
  540. Conj disj_6144_8963 : Ap Ap disj Ap Ap SetAdjoin c0800 c000C Ap Ap SetAdjoin c0303 c000D
  541. Bounty disj_6144_8963 1.0 NoTimeout
  542. Conj disj_6219_8704 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0040 c080B c000C Ap Ap SetAdjoin c0200 c000D
  543. Bounty disj_6219_8704 1.0 NoTimeout
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!