Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Document 6ffc9680fbe00a58d70cdeb319f11205ed998131ce51bb96f16c7904faf74a3d
- Base set
- Let not : TpArr Prop Prop := Prim 3
- Let and : TpArr Prop TpArr Prop Prop := Prim 4
- Let In : TpArr set TpArr set Prop := Prim 7
- Let Subq : TpArr set TpArr set Prop := Prim 8
- Let Empty : set := Prim 9
- Let Power : TpArr set set := Prim 11
- Let atleast3 : TpArr set Prop := Prim 15
- Let atleast4 : TpArr set Prop := Prim 16
- Let atleast5 : TpArr set Prop := Prim 17
- Let atleast6 : TpArr set Prop := Prim 18
- Let nIn : TpArr set TpArr set Prop := Prim 40
- Let nSubq : TpArr set TpArr set Prop := Prim 41
- Let Sing : TpArr set TpArr set set := Prim 43
- Let binunion : TpArr set TpArr set set := Prim 44
- Let SetAdjoin : TpArr set TpArr set set := Prim 45
- Let binintersect : TpArr set TpArr set set := Prim 49
- Let setminus : TpArr set TpArr set set := Prim 50
- Let ordsucc : TpArr set set := Prim 57
- Param 5b2442ea92009044fd3c96ca607ed2498f48caf1ef3d63f52cd11e7f9949c756 disj : TpArr set TpArr set Prop
- Param 7f370ff6a8fbcf87f6df9acc49eb09f6a5013b102a8fb8eaade714ef01c7275c atleast7 : TpArr set Prop
- Param 6df37a193b501794536ff37596f28181314c52ce01dcb808622407f04bcd0c9a atleast8 : TpArr set Prop
- Param 993c13caeb00088a5836f333f7c557b7e1fd8ea3eacf6e18d1ec98445388966b atleast9 : TpArr set Prop
- Param f38a03f6dcae55f8f0be6ec1e717636c76b03b9d2d3564425d6ab3d0f6aea1b3 atleast10 : TpArr set Prop
- Param 4e2c67b37cab1e675e71d7e7579a8ce529aa500eb1f690257f70b85901e64f92 atleast11 : TpArr set Prop
- Param 6cc016f5fb11139fc5aab4a8d760bb140774ad27bf49e7b6017b1f0d35bc18f7 atleast12 : TpArr set Prop
- Param fc5211985616385162a27269bb88f136c4036589848ca7427987b60977e4dce4 atleast13 : TpArr set Prop
- Param a936de90ffa3e98f867c2557bd88007aeede7db5e5c5401707144901fa617f19 atleast14 : TpArr set Prop
- Param 5d6de99e87dc674ee78fbccde048987a22aa485b10749e7fa2d9680f566686f6 atleast15 : TpArr set Prop
- Param ca67ca93004293d7029dce1856c232a871f9f2e93fe722962a134c48a8c034e0 atleast16 : TpArr set Prop
- Param 0738f95f806b4f24cec31019f705c04a2d2dcc38a6ea8fd411ada1e2398f40cf c0001 : set
- Param 94fa773bd8e79f18824504412c945843ed3e35a29c8ffc626fb6ed9558e9869e c0002 : set
- Param 3d41efeeb64f6253d68baed107fb52a0581e9aee2826bf5f9b7271b0a37613b3 c0003 : set
- Param 1bacae63d5bbf3484ad42957aac7960ec803daf30fac589b71acb579b2f4cdf7 c0004 : set
- Param dbc489b7b5aed879f47ae7a8420bbc564c3830b9a678c50e10a22360b1ed66a1 c0005 : set
- Param 284f47e21bcb8ba65bae4f03b1581306b07dbd6186326aeda80ffc12ad74748a c0006 : set
- Param af08668885d228f11b8c0088074a63bdf6817d96b993a0c00da6054fd8b5be44 c0007 : set
- Param 69fd0da6bf0430c65025409556ccf1d66e77d7aad519224d8edc7bc079a60e71 c0008 : set
- Param dbb41a116b3cfd4372db09e7c74425d09dc873ac1ff8c8ccca00844982a91011 c0009 : set
- Param 6d339b694db5acd9165107dbb0a78f20477d448971ede9b6d03c9feb8ae3d09e c000A : set
- Param 38c32f73ed976b25a5010d40ab8d4053eb654897067fb4b22604bbe4436e7d21 c000B : set
- Param e612e679a0fadd6d59e8bfa879475253573ffb7333e8eb80b73da4cfe930e7ad c000C : set
- Param 2727a5ae350ada1cf25273d23b10c50038cefa8356e4d727ceccd47bd9ecff87 c000D : set
- Param f4657729d0cdf009a8c183c8c50d89b7d204c60d2ad6f3e646913959d1a4f87e c000E : set
- Param 16bbe140cb2deb7bc52560b1fcc33a710699dd0230043f0c9a8851c96700fca7 c000F : set
- Param 444e0806eda012cd0d0f63c9bb56dba576fc052cb1b09e33ae3eeccc88f77988 c0010 : set
- Param 3f12d48b6c42d8871395562ce4c3ff741ab0b8eece2f0e7d91e9abc71f580be2 c0011 : set
- Param 2cabbf5b7ba872aeb09c1224f35ab1b41423dde05f736727599160249ae5d7ab c0012 : set
- Param 2b195e38e0d4760b8b7b3f21bd83b6b5e95f25ff0014af0b74c1ee92b12d7e2b c0014 : set
- Param 34e0df90399a24a5c799db52b22030798af2a437744d3dbb7d7b40b1ad83056b c0018 : set
- Param 3a07a1101011c38e1677661142da3e7f8136b8679e75855538f3efe10a27d03d c001C : set
- Param 8f9aa41e517c2d0abb584533869c0c4617c66191d55f37b744c883df3e6b78cd c0020 : set
- Param 120927180e0e72a2d1e64e1a66d8fe9ca8b3b6ed3feb6755c30fe6c8400b8e7c c0022 : set
- Param d98131c7ba2c826be4c36c43c4a67cdb0e654923104ab2b6e30e4f441fad765e c0024 : set
- Param 830d69f2d3a2be5abd4f244649e15048e7391d5e98d5f8594988e833b59e745f c0025 : set
- Param 829e051a650c3016ff5e7136e05dfc6dd938babb838a01fcabcf4f346393bac2 c0028 : set
- Param 4165829cf5b204ad5d06e3a08503e8533f9acecdf35675b7cb76d7f2e7f8944c c0030 : set
- Param 803b5f765326932f146c3e9414957e30e1384f9b470f14b2ea266cb9a076e474 c0032 : set
- Param 2d22dc13a1fb1a2bbebfbd999fcbdeb92b7acecdc70bbbe48716f346d1889897 c0033 : set
- Param bd80bfe0da1ea3379e25abd5944998c8075b6a5cdf1063f54f95a74aa88023a2 c0034 : set
- Param b959ecca306ad0b182bb045ef115c594f4f04abe3f11000ebf0bc804d9e19670 c0040 : set
- Param 2caecaf80a448ddad50ab369cff8a6566bc8a7dd81494b2438f3763a7c4e5bf4 c0046 : set
- Param 6843bb9f2edfa5f29b19634f31f734255612de8db5e0000d40518da561052cf2 c0048 : set
- Param 2cc18139be69e217142797eedde95c581eb7532298ffa82f84128ae7ad8f4298 c0050 : set
- Param 08e7cb13fe8b625324ca02df0050f129e5b356b49c7fcc4e7ebe559e718b650a c0055 : set
- Param 8aba1848db23441e5620facc85bca78febfbec0340c094feeb36277818db7acb c0060 : set
- Param c3415f278883e40c70e89678634ef53af0db2ac58822e31aeac70032d34c2f02 c0066 : set
- Param 9d6ecd93f29053f73b065516241ed099bf49993cb251b598cbcdea8e19f0cede c0073 : set
- Param a05a99efc7d4ddf9693ef5b6c32929d3a933d55a4602ff998a74d1b53291bc58 c0080 : set
- Param afae7cb02e903e18a568aac3ab2322781360ef6d75409160cadfb8de77439c73 c0087 : set
- Param 701bf76646c7e924548b8dba1f430c65ab26588a5c1867c10e507fa4d3d059c0 c00FF : set
- Param c9f26cdf5c2ba31a981b303bd639190b2cc55e006d86874c89f9b052245ea276 c0100 : set
- Param 64500cbae66aae7fbec08fe7c5d32d4fd3a7974616ea2c91fed0cc90aaaa55fb c0101 : set
- Param 5c8ee8934ada3823a75570907d69b9aaef464f8920ab1784a13e329e9d0315db c0108 : set
- Param 3788a2993562ac6f1e8dae13ce20d999f0fc2a61ef12ed08bb4353e6570204b4 c0120 : set
- Param 93e0955dc7ceaacb5c39a6c0614067297e6cac21b06afabebc117d6ab7dd1b17 c0128 : set
- Param 16879749bd026c95add5ad30765b7ad74c2e2a9dc94ca10e5ba14c6b427a2254 c0133 : set
- Param 0cf7caeef2d82da556160141cf35de633541982a1160a121ee501f7c7d324421 c0140 : set
- Param d2f5013cdbc375e0e7d30d0a4db2444b87797ecac8abcb08b37f5756d2295883 c0141 : set
- Param 2e7c50d9c1e2facc477a45188827e0fdc959525b6805e82bfa8351614511c7ee c0146 : set
- Param 967052e9f242575a1c17f4f9e7b73d99d06157475bfa65e1836b0b2e4d5f21a0 c0148 : set
- Param e2699895e5713f7d54958af76076de22227397abf30a2fc138f8313a5e67b265 c0155 : set
- Param 74acf684e1a817ae665e53498f6eebac6b248c1d1cada7790ebd8532b7611ad2 c01C8 : set
- Param d50fd4df7c154fa0d0063e51d4aba3e8756251e01818b1134494fae5d55f6921 c0200 : set
- Param 2ebfccfbd239f0f37c2b9b26e7edacb44666fa0a5b052e4739f384e449480a95 c0209 : set
- Param f81bcf4bdb70d42f6e520714f5813c2b76a8dabc79bd25548fceaba408f494f4 c0280 : set
- Param dcf928cbfd25fb40db4d4f580ae0ab8b84a70fac9954f867959ab412e39c6509 c0303 : set
- Param 7c3a600fe3f6a3e218a123b6f9942d33f7031be31b18fbfb8ca021623caa4a20 c0400 : set
- Param 992591cca3a8da23067c8b59b106303cc71338a0397a08e782182ffc9f828a56 c040A : set
- Param 6cc98443e0d57d21018002dbe1f577daa44376ed1f70f3a984b6675b54e65753 c0480 : set
- Param badba5ab675806579e36e3c43a1584d4a6a6f6fa7b3315f50479cadb5bfcf6eb c0505 : set
- Param e1787b85d881a63c93f44286dfffd2e7ca08a268de819611ce3a1a885025477e c0600 : set
- Param d5c7e14c0fff38f5a30a8249fff328ed1f95dbba95b83842fb7895afe48ff7ad c0704 : set
- Param 6f7f94cb6a40b893ed9e8d871534d40ff2e643552fa76671e0119a1eab5d3130 c070F : set
- Param e6c666f5eb45fe8886b54a5b30029800b68940de5ccb0142be008db3cb595709 c0784 : set
- Param a11825d1427bccac713ac606a55dfffd08ad65078c1884a44c00af5dc93d6685 c0800 : set
- Param f202543bba225c9bc455f07b030b2c2b6b4a0fbd9f2fb04a37ac2f95dc06e580 c0802 : set
- Param e6252e2530b9c3761d94f154a118c2b2b043d42035801af03329b6eac64ed75d c0804 : set
- Param 475e40a479cb4e956ad583e5b1bd24362d2b713aad57d95f765d37da784d5943 c0808 : set
- Param 6cc5e92c5adb3884aa880a068fc539f43ad1852c99eda8725eeaf95b726a5114 c080B : set
- Param 6cc7b6c498ca24185db2a09e4e32ab8f434e0436655bc61ee0afd1cf496ff5dd c080F : set
- Param 7585822044414b7a7540564813edbd67b7856e08b23a6ed0a8988266e27a9483 c0810 : set
- Param ea5de3e6b373d2fbee2ef4fb785d4125b888600525239089117460e3c8eaaa0a c0814 : set
- Param d3b5f4d530aa8b8b0fdd58d1cf53c0ee6e3b456ec5a9274a342acb47d866ee36 c0820 : set
- Param d83512f59c6471d1a6ce45c3214d182bb73116705ba7185e910d9f5b02a69aa5 c0840 : set
- Param 4d9be5c7118c2e4f2b82487c9d7151df4ef929e0f168b4c69be1d4dc6e21560a c0880 : set
- Param 6b27d9cf0b80beeb6f719dbfa06dbd0f3216e8a5e95dede2fd010f2b979a45fc c0900 : set
- Param 040b5862cfe9de7e0dfc8a2b043985189805c412d486ab9d21c45a56feb82b3a c0901 : set
- Param 397a16e6f8740dcc6386c326883ae0a331626b0498a532eb59cf20bd4df37ef7 c0908 : set
- Param d52be04e6c4fba5a90bb90f39b2093ddc9e62fb5b19274c00f0e17638fdd0d21 c090B : set
- Param 018a965ddf5f54bb93cb513aa6a440f02786ddc41c02ac0e864bd0830b3f8730 c0A00 : set
- Param 73400d5d79e6075c86fd5474ead0312a40344a5f2f7816daf8252715bc0dd3bf c0C00 : set
- Param 49139878d88c3c3373f64865c5dfacbba7ffd26c9047b3dc028df493c7126a8c c0E07 : set
- Param e16e2bdcc5fccaa71b14750e132f22de8c349d50f71604b68737ace64423bcd4 c0F00 : set
- Param 37cc97e515ee9b12c889a176a477cf32aa3af7aed6ec0a30dd20d0678e0f5380 c0F0F : set
- Param 80e3fadb642ebfa29a24290b3010063ab7566aa2c86a390a6af6e0ba8b7b74da c0F1F : set
- Param e4d39b0754222cbe1618b66ff68a14a77dc420573d0ef049ab61826d9702be28 c0F2F : set
- Param 67c7748b0c7b763dd6fd8bdf907a88184a859b772980d9d7a14317fe5ede72a3 c0F3F : set
- Param e5f9f3ea6a19716f38083679b069255891ea9267016111e9cfafc593fdef513a c0F4F : set
- Param 41c03f256260f74b04fcc4c96676ccb8d175e328479f522e06e7a0d4c55780d4 c0F5F : set
- Param 3971b2d9b1cb2a4e1ac364301e0a89f0c502fa1ece0690c5e2daea37d5dbbb29 c1000 : set
- Param 1b78a6789ce382d3eaf772a0b6ebda16cce180485403ec2033422025a32a62a7 c100C : set
- Param a49b27b5a95bbb3bdc728e37999c70dcd4cf13711be3368d51dc02d5c8182bcc c1020 : set
- Param 9e9b01ae6de9cc832b55f730dd632b99f0251f3e625107c86a1387c08efb80e9 c1080 : set
- Param f9b5079dd6aaf6c990eedfb5b2f750f8a411c11fbfa12726afeb9a4725c056b0 c1111 : set
- Param 098de0ff33073ba9dfb929d6df26903fcdd6c89e0732de0bebc9433b565b6a99 c2000 : set
- Param 06169583128996ddd4c3e3f4e4410d3253a9f0740111f296ec8187d54c1f490d c200D : set
- Param 53e8143eb34fc40e20fb3c6993985351b68ceb9a65b7d11b2bc5d25c5b0f91b7 c2080 : set
- Param 235e0e37fcc03a086c63f602794b5c2b0859ecf2f8b380f3df389a2d2584428f c3200 : set
- Param 1085f628a4a1efd1f2e935240835d3ba69e4bd8d1b8c26d9714f30b2bb637d65 c3333 : set
- Param 5cdb7e5ae22e8371271ffb70d29b99a5be9a625243b4f7ffe7c8a4740a176331 c4000 : set
- Param 767d1633a4b2a5ac9fb5ae685e5aff9d6c45ee422c35834bb39868625cea8b96 c4080 : set
- Param 049cef67b49689738df5995d61db0189ca995a69caa8b311eed747e5815adda7 c5400 : set
- Param 25f1a7165fbb03334668c85b9a286d5f94a44efb405464a3c4528573ca140c97 c5555 : set
- Param d3530bdf0810ae19362bf9d9d91e682611dc40816a959c89b023c6a528ee5538 c7FF0 : set
- Param 507dc3312793f44e899a583fc44a68b43d5344dc4c60072a6027be59f71862c7 c8000 : set
- Param f7fd9f1fa22efd3400c59e654784737b0f03c70676c4a256052c8e52b2e23d24 c800F : set
- Param 36a50ce07189924d641b3bba4ede9b1a922cb32c13c8ed501e311a1eed3ed9f7 c8010 : set
- Param 988805b8182f3f8708a36e2ae839c6d187bc2092a2aa8fa85d5faa971c0159e9 c8020 : set
- Param f2d95036eb1e6794ab58a572ca5fd02001071e4d086baf5ed3303400c0db5f0f c8040 : set
- Param 70bdaaa3135024cb61885a351fc1d707af5d08fa688a064e79efa3a2055f762d cFFFF : set
- Conj disj_6203_8704 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0033 c080B c000C Ap Ap SetAdjoin c0200 c000D
- Bounty disj_6203_8704 1.0 NoTimeout
- Conj disj_2196_12320 : Ap Ap disj Ap Ap binunion c0080 c0814 Ap Ap setminus c3333 c0F1F
- Bounty disj_2196_12320 1.0 NoTimeout
- Conj disj_2184_12304 : Ap Ap disj Ap Ap binunion c0080 c0808 Ap Ap setminus c3333 c0F2F
- Bounty disj_2184_12304 1.0 NoTimeout
- Conj disj_6176_8217 : Ap Ap disj Ap Ap SetAdjoin c0820 c000C Ap Ap SetAdjoin Ap Ap binunion c0008 c0011 c000D
- Bounty disj_6176_8217 1.0 NoTimeout
- Conj disj_1924_12336 : Ap Ap disj c0784 Ap Ap setminus c3333 c0303
- Bounty disj_1924_12336 1.0 NoTimeout
- Conj disj_5461_8320 : Ap Ap disj Ap Ap setminus c5555 c4000 c2080
- Bounty disj_5461_8320 1.0 NoTimeout
- Conj disj_5120_8520 : Ap Ap disj Ap Ap SetAdjoin c0400 c000C Ap Ap SetAdjoin c0148 c000D
- Bounty disj_5120_8520 1.0 NoTimeout
- Conj disj_1300_12320 : Ap Ap disj Ap Ap SetAdjoin Ap Ap SetAdjoin c0014 c0008 c000A Ap Ap setminus c3333 c0F1F
- Bounty disj_1300_12320 1.0 NoTimeout
- Conj disj_5120_8256 : Ap Ap disj Ap Ap SetAdjoin c0400 c000C Ap Ap SetAdjoin c0040 c000D
- Bounty disj_5120_8256 1.0 NoTimeout
- Conj disj_356_12800 : Ap Ap disj Ap Ap binunion c0024 c0140 c3200
- Bounty disj_356_12800 1.0 NoTimeout
- Conj disj_130_12800 : Ap Ap disj Ap Ap SetAdjoin c0002 c0007 c3200
- Bounty disj_130_12800 1.0 NoTimeout
- Conj disj_4231_8288 : Ap Ap disj Ap Ap SetAdjoin c0087 c000C Ap Ap SetAdjoin c0060 c000D
- Bounty disj_4231_8288 1.0 NoTimeout
- Conj disj_4236_8224 : Ap Ap disj Ap Ap binunion c0080 c100C Ap Ap SetAdjoin c0020 c000D
- Bounty disj_4236_8224 1.0 NoTimeout
- Conj disj_4224_8232 : Ap Ap disj c1080 Ap Ap SetAdjoin c0028 c000D
- Bounty disj_4224_8232 1.0 NoTimeout
- Conj disj_4236_8194 : Ap Ap disj Ap Ap binunion c0080 c100C Ap Ap SetAdjoin c0002 c000D
- Bounty disj_4236_8194 1.0 NoTimeout
- Conj disj_3602_8320 : Ap Ap disj Ap Ap setminus c0F1F Ap Ap binunion c0005 c0108 c2080
- Bounty disj_3602_8320 1.0 NoTimeout
- Conj disj_3104_8194 : Ap Ap disj Ap Ap binunion c0400 c0820 Ap Ap SetAdjoin c0002 c000D
- Bounty disj_3104_8194 1.0 NoTimeout
- Conj disj_68_10912 : Ap Ap disj Ap Ap SetAdjoin c0004 c0006 Ap Ap setminus c7FF0 c5555
- Bounty disj_68_10912 1.0 NoTimeout
- Conj disj_2655_8224 : Ap Ap disj Ap Ap binunion c0200 Ap Ap binunion c0055 c080B Ap Ap SetAdjoin c0020 c000D
- Bounty disj_2655_8224 1.0 NoTimeout
- Conj disj_2408_8194 : Ap Ap disj Ap Ap binunion c0060 c0908 Ap Ap SetAdjoin c0002 c000D
- Bounty disj_2408_8194 1.0 NoTimeout
- Conj disj_2162_8200 : Ap Ap disj Ap Ap binunion c0032 c0840 Ap Ap SetAdjoin c0008 c000D
- Bounty disj_2162_8200 1.0 NoTimeout
- Conj disj_400_8738 : Ap Ap disj Ap Ap binunion c0080 Ap Ap SetAdjoin c0010 c0008 Ap Ap setminus c3333 c1111
- Bounty disj_400_8738 1.0 NoTimeout
- Conj disj_640_8307 : Ap Ap disj c0280 Ap Ap SetAdjoin c0073 c000D
- Bounty disj_640_8307 1.0 NoTimeout
- Conj disj_456_8196 : Ap Ap disj c01C8 Ap Ap SetAdjoin c0004 c000D
- Bounty disj_456_8196 1.0 NoTimeout
- Conj disj_3981_4176 : Ap Ap disj Ap Ap binunion c0080 Ap Ap setminus c0F0F c0002 Ap Ap SetAdjoin c0050 c000C
- Bounty disj_3981_4176 1.0 NoTimeout
- Conj disj_3972_4146 : Ap Ap disj Ap Ap binunion c0080 Ap Ap setminus c0F0F c000B Ap Ap SetAdjoin c0032 c000C
- Bounty disj_3972_4146 1.0 NoTimeout
- Conj disj_3340_4224 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c0003 c0200 c1080
- Bounty disj_3340_4224 1.0 NoTimeout
- Conj disj_3339_4160 : Ap Ap disj Ap Ap binunion c0400 c090B Ap Ap SetAdjoin c0040 c000C
- Bounty disj_3339_4160 1.0 NoTimeout
- Conj disj_2816_4162 : Ap Ap disj Ap Ap binunion c0200 c0900 Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0006 c000C
- Bounty disj_2816_4162 1.0 NoTimeout
- Conj disj_2826_4144 : Ap Ap disj Ap Ap setminus Ap Ap setminus c0F0F c0005 c0400 Ap Ap SetAdjoin c0030 c000C
- Bounty disj_2826_4144 1.0 NoTimeout
- Conj disj_2440_4165 : Ap Ap disj Ap Ap binunion c0080 c0908 Ap Ap SetAdjoin Ap Ap SetAdjoin c0005 c0006 c000C
- Bounty disj_2440_4165 1.0 NoTimeout
- Conj disj_2213_4120 : Ap Ap disj Ap Ap binunion c0080 Ap Ap SetAdjoin c0025 c000B Ap Ap SetAdjoin c0018 c000C
- Bounty disj_2213_4120 1.0 NoTimeout
- Conj disj_1546_4112 : Ap Ap disj Ap Ap binunion c0200 c040A Ap Ap SetAdjoin c0010 c000C
- Bounty disj_1546_4112 1.0 NoTimeout
- Conj disj_1544_4112 : Ap Ap disj Ap Ap setminus c070F Ap Ap binunion c0006 c0101 Ap Ap SetAdjoin c0010 c000C
- Bounty disj_1544_4112 1.0 NoTimeout
- Conj disj_1304_4224 : Ap Ap disj Ap Ap SetAdjoin Ap Ap binunion c0010 c0108 c000A c1080
- Bounty disj_1304_4224 1.0 NoTimeout
- Conj disj_217_5120 : Ap Ap disj Ap Ap setminus c00FF Ap Ap SetAdjoin c0006 c0005 Ap Ap SetAdjoin c0400 c000C
- Bounty disj_217_5120 1.0 NoTimeout
- Conj disj_1167_4128 : Ap Ap disj Ap Ap binunion c0087 c040A c1020
- Bounty disj_1167_4128 1.0 NoTimeout
- Conj disj_640_4401 : Ap Ap disj c0280 Ap Ap binunion c0020 c1111
- Bounty disj_640_4401 1.0 NoTimeout
- Conj disj_813_4112 : Ap Ap disj Ap Ap binunion Ap Ap SetAdjoin c0025 c0008 c0209 Ap Ap SetAdjoin c0010 c000C
- Bounty disj_813_4112 1.0 NoTimeout
- Conj disj_649_4130 : Ap Ap disj Ap Ap binunion c0080 c0209 Ap Ap SetAdjoin c0022 c000C
- Bounty disj_649_4130 1.0 NoTimeout
- Conj disj_649_4100 : Ap Ap disj Ap Ap binunion c0080 c0209 Ap Ap SetAdjoin c0004 c000C
- Bounty disj_649_4100 1.0 NoTimeout
- Conj disj_640_4102 : Ap Ap disj c0280 Ap Ap SetAdjoin c0006 c000C
- Bounty disj_640_4102 1.0 NoTimeout
- Conj disj_456_4113 : Ap Ap disj c01C8 Ap Ap SetAdjoin c0011 c000C
- Bounty disj_456_4113 1.0 NoTimeout
- Conj disj_255_3840 : Ap Ap disj c00FF c0F00
- Bounty disj_255_3840 1.0 NoTimeout
- Conj disj_1856_2082 : Ap Ap disj Ap Ap setminus c0F4F c080F Ap Ap binunion c0002 c0820
- Bounty disj_1856_2082 1.0 NoTimeout
- Conj disj_564_2058 : Ap Ap disj Ap Ap SetAdjoin c0034 c0009 Ap Ap setminus c080B c0001
- Bounty disj_564_2058 1.0 NoTimeout
- Conj disj_20_2112 : Ap Ap disj c0014 c0840
- Bounty disj_20_2112 1.0 NoTimeout
- Conj disj_12_2080 : Ap Ap disj c000C c0820
- Bounty disj_12_2080 1.0 NoTimeout
- Conj disj_272_1034 : Ap Ap disj Ap Ap SetAdjoin c0010 c0008 c040A
- Bounty disj_272_1034 1.0 NoTimeout
- Conj disj_17_1034 : Ap Ap disj c0011 c040A
- Bounty disj_17_1034 1.0 NoTimeout
- Conj disj_454_560 : Ap Ap disj Ap Ap binunion c0080 c0146 Ap Ap SetAdjoin c0030 c0009
- Bounty disj_454_560 1.0 NoTimeout
- Conj atmost5_92 : Ap not Ap atleast6 Ap Ap binunion c0008 Ap Ap SetAdjoin c0014 c0006
- Bounty atmost5_92 1.0 NoTimeout
- Conj atmost8_213 : Ap not Ap atleast9 Ap Ap SetAdjoin c0055 c0007
- Bounty atmost8_213 1.0 NoTimeout
- Conj atmost6_377 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0011 c0005 c0148
- Bounty atmost6_377 1.0 NoTimeout
- Conj atmost9_379 : Ap not Ap atleast10 Ap Ap binunion c0033 c0148
- Bounty atmost9_379 1.0 NoTimeout
- Conj subq_464_33232 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0050 c0007 c0100 Ap Ap binunion Ap Ap binunion c0080 c0140 c8010
- Bounty subq_464_33232 1.0 NoTimeout
- Conj subq_488_6636 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF Ap Ap binunion c0003 c0014 c0100 Ap Ap binunion Ap Ap binunion c0080 c0900 Ap Ap binunion c0060 c100C
- Bounty subq_488_6636 1.0 NoTimeout
- Conj atmost5_657 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0011 c0007 c0200
- Bounty atmost5_657 1.0 NoTimeout
- Conj atmost5_684 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0028 c0007 Ap Ap SetAdjoin c0004 c0009
- Bounty atmost5_684 1.0 NoTimeout
- Conj atmost5_834 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0002 c0140 c0200
- Bounty atmost5_834 1.0 NoTimeout
- Conj atmost8_925 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0014 c0108 Ap Ap SetAdjoin c0001 c0009
- Bounty atmost8_925 1.0 NoTimeout
- Conj subq_929_33705 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0020 c0101 c0200 Ap Ap binunion Ap Ap binunion c0120 c0209 Ap Ap SetAdjoin c0080 c000F
- Bounty subq_929_33705 1.0 NoTimeout
- Conj atmost6_1095 : Ap not Ap atleast7 Ap Ap SetAdjoin Ap Ap binunion c0001 c0046 c000A
- Bounty atmost6_1095 1.0 NoTimeout
- Conj subq_1179_34203 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c000B c0004 c0007 c0400 Ap Ap binunion Ap Ap binunion Ap Ap binunion c0010 c0101 c040A Ap Ap SetAdjoin c0080 c000F
- Bounty subq_1179_34203 1.0 NoTimeout
- Conj atmost7_1574 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0006 c0005 c0009 c0400
- Bounty atmost7_1574 1.0 NoTimeout
- Conj subq_1620_1652 : Ap Ap Subq Ap Ap setminus c0F5F c090B Ap Ap binunion Ap Ap SetAdjoin c0060 c0009 Ap Ap SetAdjoin c0014 c000A
- Bounty subq_1620_1652 1.0 NoTimeout
- Conj atmost8_1861 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0001 c0006 c0704
- Bounty atmost8_1861 1.0 NoTimeout
- Conj atmost3_2060 : Ap not Ap atleast4 Ap Ap binunion c0004 c0808
- Bounty atmost3_2060 1.0 NoTimeout
- Conj atmost6_2110 : Ap not Ap atleast7 Ap Ap binunion c0034 Ap Ap setminus c080B c0001
- Bounty atmost6_2110 1.0 NoTimeout
- Conj atmost5_2153 : Ap not Ap atleast6 Ap Ap binunion c0060 Ap Ap setminus c080B c0002
- Bounty atmost5_2153 1.0 NoTimeout
- Conj atmost8_2203 : Ap not Ap atleast9 Ap Ap binunion c0080 Ap Ap binunion c0010 c080B
- Bounty atmost8_2203 1.0 NoTimeout
- Conj atmost6_2350 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0006 c0005 c0908
- Bounty atmost6_2350 1.0 NoTimeout
- Conj subq_2369_35137 : Ap Ap Subq Ap Ap binunion c0040 c0901 Ap Ap binunion c0141 Ap Ap SetAdjoin c0800 c000F
- Bounty subq_2369_35137 1.0 NoTimeout
- Conj atmost7_2504 : Ap not Ap atleast8 Ap Ap binunion c01C8 c0800
- Bounty atmost7_2504 1.0 NoTimeout
- Conj subq_2602_2730 : Ap Ap Subq Ap Ap setminus c0F2F c0505 Ap Ap binunion c0280 Ap Ap binunion c000A c0820
- Bounty subq_2602_2730 1.0 NoTimeout
- Conj atmost5_2626 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0006 c0009 c0800
- Bounty atmost5_2626 1.0 NoTimeout
- Conj atmost5_2656 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0060 c0009 c0800
- Bounty atmost5_2656 1.0 NoTimeout
- Conj atmost7_2804 : Ap not Ap atleast8 Ap Ap binunion c0280 Ap Ap binunion c0034 c0840
- Bounty atmost7_2804 1.0 NoTimeout
- Conj atmost5_4107 : Ap not Ap atleast6 Ap Ap SetAdjoin c000B c000C
- Bounty atmost5_4107 1.0 NoTimeout
- Conj atmost3_4176 : Ap not Ap atleast4 Ap Ap SetAdjoin c0050 c000C
- Bounty atmost3_4176 1.0 NoTimeout
- Conj subq_4217_6265 : Ap Ap Subq Ap Ap binunion Ap Ap binunion Ap Ap binunion c0008 c0011 c0060 c1000 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0011 c0005 c0840 Ap Ap SetAdjoin c0008 c000C
- Bounty subq_4217_6265 1.0 NoTimeout
- Conj atmost5_4272 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0030 c0007 c1000
- Bounty atmost5_4272 1.0 NoTimeout
- Conj subq_4328_37096 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF Ap Ap binunion c0003 c0014 c1000 Ap Ap binunion c1080 Ap Ap binunion c0028 c8040
- Bounty subq_4328_37096 1.0 NoTimeout
- Conj subq_4497_5017 : Ap Ap Subq Ap Ap binunion c0080 c1111 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0010 c0008 c0209 c1080
- Bounty subq_4497_5017 1.0 NoTimeout
- Conj atmost6_4500 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0080 Ap Ap SetAdjoin c0014 c0008 c1000
- Bounty atmost6_4500 1.0 NoTimeout
- Conj atmost7_4636 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin c001C c0009 c1000
- Bounty atmost7_4636 1.0 NoTimeout
- Conj subq_4788_4796 : Ap Ap Subq Ap Ap binunion c0280 Ap Ap SetAdjoin c0034 c000C Ap Ap binunion c0280 Ap Ap binunion c0030 c100C
- Bounty subq_4788_4796 1.0 NoTimeout
- Conj atmost7_5025 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0020 c0101 c0009 c1080
- Bounty atmost7_5025 1.0 NoTimeout
- Conj subq_5150_7326 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0014 c040A c1000 Ap Ap binunion Ap Ap binunion c040A c0814 c1080
- Bounty subq_5150_7326 1.0 NoTimeout
- Conj atmost5_5257 : Ap not Ap atleast6 Ap Ap binunion c0480 Ap Ap SetAdjoin c0009 c000C
- Bounty atmost5_5257 1.0 NoTimeout
- Conj subq_5443_23875 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0141 c000A Ap Ap SetAdjoin c0002 c000C Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0002 c0006 c0901 c5400
- Bounty subq_5443_23875 1.0 NoTimeout
- Conj atmost5_6210 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0002 c0840 c1000
- Bounty atmost5_6210 1.0 NoTimeout
- Conj atmost8_6332 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0080 c0820 Ap Ap binunion c0010 c100C
- Bounty atmost8_6332 1.0 NoTimeout
- Conj atmost9_6501 : Ap not Ap atleast10 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0025 c0006 c0900 c1000
- Bounty atmost9_6501 1.0 NoTimeout
- Conj subq_6509_39277 : Ap Ap Subq Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0025 c0006 c0908 c1000 Ap Ap binunion Ap Ap binunion c0901 c100C Ap Ap binunion c0020 c8040
- Bounty subq_6509_39277 1.0 NoTimeout
- Conj atmost6_6753 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0200 c0840 Ap Ap SetAdjoin Ap Ap SetAdjoin c0001 c0005 c000C
- Bounty atmost6_6753 1.0 NoTimeout
- Conj atmost7_8250 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0008 c0032 c2000
- Bounty atmost7_8250 1.0 NoTimeout
- Conj atmost6_8276 : Ap not Ap atleast7 Ap Ap SetAdjoin Ap Ap SetAdjoin c0014 c0006 c000D
- Bounty atmost6_8276 1.0 NoTimeout
- Conj atmost7_8284 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0008 Ap Ap SetAdjoin c0014 c0006 c2000
- Bounty atmost7_8284 1.0 NoTimeout
- Conj atmost5_8296 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0008 c0060 c2000
- Bounty atmost5_8296 1.0 NoTimeout
- Conj subq_8424_41192 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c00FF Ap Ap binunion c0003 c0014 c2000 Ap Ap binunion c2080 Ap Ap binunion c0028 c8040
- Bounty subq_8424_41192 1.0 NoTimeout
- Conj atmost7_8745 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0020 c0209 c2000
- Bounty atmost7_8745 1.0 NoTimeout
- Conj subq_8969_11145 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0100 c0209 c2000 Ap Ap binunion Ap Ap binunion c0209 c0900 c2080
- Bounty subq_8969_11145 1.0 NoTimeout
- Conj subq_8988_13148 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0014 c0108 c0009 c2000 Ap Ap binunion Ap Ap binunion c0014 c0148 c3200
- Bounty subq_8988_13148 1.0 NoTimeout
- Conj atmost9_9020 : Ap not Ap atleast10 Ap Ap binunion Ap Ap SetAdjoin c0128 c0009 Ap Ap SetAdjoin c0014 c000D
- Bounty atmost9_9020 1.0 NoTimeout
- Conj subq_9030_15174 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0146 c0009 c2000 Ap Ap binunion Ap Ap binunion c0046 c0900 c3200
- Bounty subq_9030_15174 1.0 NoTimeout
- Conj subq_9317_42085 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0025 c0006 c000A c2000 Ap Ap binunion Ap Ap SetAdjoin c0400 c000D Ap Ap binunion c0025 c8040
- Bounty subq_9317_42085 1.0 NoTimeout
- Conj atmost7_9674 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0140 c040A c2080
- Bounty atmost7_9674 1.0 NoTimeout
- Conj atmost2_10240 : Ap not Ap atleast3 Ap Ap SetAdjoin c0800 c000D
- Bounty atmost2_10240 1.0 NoTimeout
- Conj atmost7_10381 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c080B c0002 Ap Ap SetAdjoin c0004 c000D
- Bounty atmost7_10381 1.0 NoTimeout
- Conj subq_10398_11422 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 c0814 Ap Ap SetAdjoin c000A c000D Ap Ap binunion Ap Ap binunion c040A c0814 c2080
- Bounty subq_10398_11422 1.0 NoTimeout
- Conj atmost6_10456 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0080 c0840 Ap Ap SetAdjoin c0018 c000D
- Bounty atmost6_10456 1.0 NoTimeout
- Conj atmost8_10509 : Ap not Ap atleast9 Ap Ap binunion c0900 c200D
- Bounty atmost8_10509 1.0 NoTimeout
- Conj subq_10532_43300 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0024 c0900 c2000 Ap Ap binunion Ap Ap SetAdjoin c0900 c000D Ap Ap binunion c0004 c8020
- Bounty subq_10532_43300 1.0 NoTimeout
- Conj subq_10636_14732 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 c0908 Ap Ap SetAdjoin c0004 c000D Ap Ap binunion Ap Ap binunion c0900 c100C c2080
- Bounty subq_10636_14732 1.0 NoTimeout
- Conj atmost7_10825 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0209 c0840 c2000
- Bounty atmost7_10825 1.0 NoTimeout
- Conj atmost8_11057 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0200 c0901 Ap Ap SetAdjoin c0030 c000D
- Bounty atmost8_11057 1.0 NoTimeout
- Conj atmost5_11282 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0400 c0810 Ap Ap SetAdjoin c0002 c000D
- Bounty atmost5_11282 1.0 NoTimeout
- Conj atmost7_11658 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c040A c0900 c2080
- Bounty atmost7_11658 1.0 NoTimeout
- Conj subq_12322_45090 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0022 c000C c2000 Ap Ap binunion Ap Ap setminus c3333 c0F1F Ap Ap SetAdjoin c0002 c000F
- Bounty subq_12322_45090 1.0 NoTimeout
- Conj atmost5_12419 : Ap not Ap atleast6 Ap Ap binunion c1080 Ap Ap SetAdjoin c0003 c000D
- Bounty atmost5_12419 1.0 NoTimeout
- Conj subq_12547_14691 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0002 c0101 c000C c2000 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0002 c0006 c0901 Ap Ap setminus c3333 c0F1F
- Bounty subq_12547_14691 1.0 NoTimeout
- Conj atmost7_12636 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0140 c100C Ap Ap SetAdjoin c0010 c000D
- Bounty atmost7_12636 1.0 NoTimeout
- Conj atmost5_13570 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0400 c000C Ap Ap SetAdjoin Ap Ap SetAdjoin c0002 c0008 c000D
- Bounty atmost5_13570 1.0 NoTimeout
- Conj atmost8_13578 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c040A c000C Ap Ap SetAdjoin c0100 c000D
- Bounty atmost8_13578 1.0 NoTimeout
- Conj atmost8_14696 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0908 c000C Ap Ap SetAdjoin c0060 c000D
- Bounty atmost8_14696 1.0 NoTimeout
- Conj subq_15169_15201 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0040 c0901 c3200 Ap Ap binunion Ap Ap binunion c0060 c0901 c3200
- Bounty subq_15169_15201 1.0 NoTimeout
- Conj atmost8_15386 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0810 c000C Ap Ap SetAdjoin c040A c000D
- Bounty atmost8_15386 1.0 NoTimeout
- Conj atmost8_15618 : Ap not Ap atleast9 Ap Ap binunion Ap Ap setminus Ap Ap setminus c0F0F c0005 c0209 Ap Ap SetAdjoin c1000 c000D
- Bounty atmost8_15618 1.0 NoTimeout
- Conj atmost3_16516 : Ap not Ap atleast4 Ap Ap binunion Ap Ap SetAdjoin c0004 c0007 c4000
- Bounty atmost3_16516 1.0 NoTimeout
- Conj subq_16668_22812 : Ap Ap Subq Ap Ap SetAdjoin Ap Ap binunion c0014 c0108 c000E Ap Ap binunion Ap Ap binunion c0900 c100C Ap Ap SetAdjoin c0010 c000E
- Bounty subq_16668_22812 1.0 NoTimeout
- Conj atmost6_16866 : Ap not Ap atleast7 Ap Ap binunion Ap Ap binunion c0080 c0140 Ap Ap SetAdjoin c0022 c000E
- Bounty atmost6_16866 1.0 NoTimeout
- Conj subq_16914_49682 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0012 c0009 c4000 Ap Ap binunion Ap Ap SetAdjoin c0200 c000E Ap Ap binunion c0002 c8010
- Bounty subq_16914_49682 1.0 NoTimeout
- Conj atmost9_16955 : Ap not Ap atleast10 Ap Ap binunion Ap Ap binunion c0032 c0209 c4000
- Bounty atmost9_16955 1.0 NoTimeout
- Conj subq_17224_19273 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0148 c0009 c4000 Ap Ap binunion Ap Ap binunion c0209 c0900 Ap Ap SetAdjoin c0040 c000E
- Bounty subq_17224_19273 1.0 NoTimeout
- Conj subq_17285_17293 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0004 c0101 c0009 c4080 Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0004 c0008 c0209 c4080
- Bounty subq_17285_17293 1.0 NoTimeout
- Conj atmost8_17729 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0141 c000A c4000
- Bounty atmost8_17729 1.0 NoTimeout
- Conj atmost5_17732 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0140 c000A Ap Ap SetAdjoin c0004 c000E
- Bounty atmost5_17732 1.0 NoTimeout
- Conj atmost9_17973 : Ap not Ap atleast10 Ap Ap binunion Ap Ap setminus c0F3F c090B Ap Ap SetAdjoin c0001 c000E
- Bounty atmost9_17973 1.0 NoTimeout
- Conj atmost3_18440 : Ap not Ap atleast4 Ap Ap SetAdjoin c0808 c000E
- Bounty atmost3_18440 1.0 NoTimeout
- Conj atmost3_18464 : Ap not Ap atleast4 Ap Ap SetAdjoin c0820 c000E
- Bounty atmost3_18464 1.0 NoTimeout
- Conj atmost7_18574 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0080 Ap Ap setminus c080B c0001 Ap Ap SetAdjoin c0004 c000E
- Bounty atmost7_18574 1.0 NoTimeout
- Conj atmost5_18576 : Ap not Ap atleast6 Ap Ap binunion Ap Ap binunion c0080 c0810 c4000
- Bounty atmost5_18576 1.0 NoTimeout
- Conj atmost8_19297 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0200 c0901 Ap Ap SetAdjoin c0060 c000E
- Bounty atmost8_19297 1.0 NoTimeout
- Conj atmost3_20481 : Ap not Ap atleast4 Ap Ap binunion Ap Ap SetAdjoin c0001 c000C c4000
- Bounty atmost3_20481 1.0 NoTimeout
- Conj atmost6_20585 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0060 c000C Ap Ap SetAdjoin c0009 c000E
- Bounty atmost6_20585 1.0 NoTimeout
- Conj subq_20743_20879 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0006 c0101 c000C c4000 Ap Ap binunion Ap Ap binunion Ap Ap binunion c0002 c0101 c100C c4080
- Bounty subq_20743_20879 1.0 NoTimeout
- Conj subq_20771_23843 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0020 c0101 c000C Ap Ap SetAdjoin c0002 c000E Ap Ap binunion Ap Ap binunion c0022 c0901 c5400
- Bounty subq_20771_23843 1.0 NoTimeout
- Conj atmost7_20812 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0140 c100C c4000
- Bounty atmost7_20812 1.0 NoTimeout
- Conj atmost4_20994 : Ap not Ap atleast5 Ap Ap binunion Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin c0002 c000E
- Bounty atmost4_20994 1.0 NoTimeout
- Conj subq_21253_23309 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0200 c000C Ap Ap SetAdjoin Ap Ap binunion c0004 c0101 c000E Ap Ap binunion Ap Ap binunion c0901 c100C Ap Ap SetAdjoin c0200 c000E
- Bounty subq_21253_23309 1.0 NoTimeout
- Conj atmost6_21344 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0120 c0009 Ap Ap setminus c5555 c0F1F
- Bounty atmost6_21344 1.0 NoTimeout
- Conj subq_21345_21353 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0020 c0101 c0009 Ap Ap setminus c5555 c0F1F Ap Ap binunion Ap Ap binunion c0120 c0209 Ap Ap setminus c5555 c0F1F
- Bounty subq_21345_21353 1.0 NoTimeout
- Conj atmost5_21528 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0400 c000C Ap Ap SetAdjoin c0018 c000E
- Bounty atmost5_21528 1.0 NoTimeout
- Conj subq_21531_22075 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c040A c000C Ap Ap SetAdjoin c0011 c000E Ap Ap binunion Ap Ap binunion c0032 c0209 c5400
- Bounty subq_21531_22075 1.0 NoTimeout
- Conj atmost8_21578 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c040A c000C Ap Ap SetAdjoin c0040 c000E
- Bounty atmost8_21578 1.0 NoTimeout
- Conj atmost5_22020 : Ap not Ap atleast6 Ap Ap binunion Ap Ap setminus c0704 c0100 Ap Ap SetAdjoin c1000 c000E
- Bounty atmost5_22020 1.0 NoTimeout
- Conj subq_22634_23658 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap setminus c080B c0001 c000C Ap Ap SetAdjoin c0060 c000E Ap Ap binunion Ap Ap binunion c040A c0820 Ap Ap setminus c5555 c0F1F
- Bounty subq_22634_23658 1.0 NoTimeout
- Conj atmost7_22662 : Ap not Ap atleast8 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0006 c000B c000C c4080
- Bounty atmost7_22662 1.0 NoTimeout
- Conj atmost8_22793 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0908 c000C Ap Ap SetAdjoin c0001 c000E
- Bounty atmost8_22793 1.0 NoTimeout
- Conj atmost8_22840 : Ap not Ap atleast9 Ap Ap binunion Ap Ap SetAdjoin c0908 c000C Ap Ap SetAdjoin c0030 c000E
- Bounty atmost8_22840 1.0 NoTimeout
- Conj atmost7_22882 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0022 c0900 Ap Ap setminus c5555 c0F1F
- Bounty atmost7_22882 1.0 NoTimeout
- Conj subq_23052_23308 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0800 c100C Ap Ap SetAdjoin c0200 c000E Ap Ap binunion Ap Ap binunion c0900 c100C Ap Ap SetAdjoin c0200 c000E
- Bounty subq_23052_23308 1.0 NoTimeout
- Conj subq_23113_23369 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0840 c000C Ap Ap SetAdjoin c0209 c000E Ap Ap binunion Ap Ap binunion c0209 c0900 Ap Ap setminus c5555 c0F1F
- Bounty subq_23113_23369 1.0 NoTimeout
- Conj subq_23559_23567 : Ap Ap Subq Ap Ap binunion Ap Ap setminus c0E07 c0200 Ap Ap SetAdjoin c1000 c000E Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0003 c000B c100C Ap Ap SetAdjoin c0400 c000E
- Bounty subq_23559_23567 1.0 NoTimeout
- Conj atmost7_23593 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0009 c0820 c5400
- Bounty atmost7_23593 1.0 NoTimeout
- Conj atmost8_23625 : Ap not Ap atleast9 Ap Ap binunion Ap Ap binunion c0400 Ap Ap setminus c080B c0002 Ap Ap setminus c5555 c0F1F
- Bounty atmost8_23625 1.0 NoTimeout
- Conj atmost9_23814 : Ap not Ap atleast10 Ap Ap binunion Ap Ap setminus Ap Ap setminus c0F0F c0008 c0209 Ap Ap SetAdjoin c1000 c000E
- Bounty atmost9_23814 1.0 NoTimeout
- Conj subq_24604_28700 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c001C c000D c4000 Ap Ap binunion Ap Ap setminus c3333 c0F2F Ap Ap SetAdjoin c000C c000E
- Bounty subq_24604_28700 1.0 NoTimeout
- Conj atmost6_24626 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0032 c000D c4000
- Bounty atmost6_24626 1.0 NoTimeout
- Conj atmost5_24964 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0004 c0008 c000D c4080
- Bounty atmost5_24964 1.0 NoTimeout
- Conj atmost5_28690 : Ap not Ap atleast6 Ap Ap binunion Ap Ap setminus c3333 c0F2F Ap Ap SetAdjoin c0002 c000E
- Bounty atmost5_28690 1.0 NoTimeout
- Conj subq_32917_49309 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0001 c0014 c0007 c8000 Ap Ap binunion c4080 Ap Ap binunion c0009 Ap Ap SetAdjoin c0014 c000F
- Bounty subq_32917_49309 1.0 NoTimeout
- Conj subq_33171_34203 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0080 Ap Ap binunion c0010 c0101 Ap Ap SetAdjoin c0002 c000F Ap Ap binunion Ap Ap binunion Ap Ap binunion c0010 c0101 c040A Ap Ap SetAdjoin c0080 c000F
- Bounty subq_33171_34203 1.0 NoTimeout
- Conj atmost3_33296 : Ap not Ap atleast4 Ap Ap binunion c0200 c8010
- Bounty atmost3_33296 1.0 NoTimeout
- Conj subq_33553_35609 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0010 c0101 c0009 c8000 Ap Ap binunion Ap Ap binunion c0209 c0900 c8010
- Bounty subq_33553_35609 1.0 NoTimeout
- Conj atmost7_33799 : Ap not Ap atleast8 Ap Ap binunion c0400 Ap Ap setminus c800F c0008
- Bounty atmost7_33799 1.0 NoTimeout
- Conj atmost3_34048 : Ap not Ap atleast4 Ap Ap binunion c0400 Ap Ap SetAdjoin c0100 c000F
- Bounty atmost3_34048 1.0 NoTimeout
- Conj subq_34152_34154 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0148 c000A c8020 Ap Ap binunion Ap Ap binunion c0140 c040A c8020
- Bounty subq_34152_34154 1.0 NoTimeout
- Conj subq_34872_51256 : Ap Ap Subq Ap Ap binunion Ap Ap binunion c0018 c0820 c8000 Ap Ap binunion Ap Ap SetAdjoin c0820 c000E Ap Ap binunion c0008 c8010
- Bounty subq_34872_51256 1.0 NoTimeout
- Conj atmost4_35080 : Ap not Ap atleast5 Ap Ap binunion c0108 Ap Ap SetAdjoin c0800 c000F
- Bounty atmost4_35080 1.0 NoTimeout
- Conj atmost7_35171 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0060 c0901 Ap Ap SetAdjoin c0002 c000F
- Bounty atmost7_35171 1.0 NoTimeout
- Conj atmost7_35956 : Ap not Ap atleast8 Ap Ap binunion Ap Ap binunion c0400 c0840 Ap Ap binunion c0014 c8020
- Bounty atmost7_35956 1.0 NoTimeout
- Conj atmost8_36194 : Ap not Ap atleast9 Ap Ap binunion Ap Ap setminus Ap Ap setminus c0F0F c0005 c0209 Ap Ap binunion c0020 c8040
- Bounty atmost8_36194 1.0 NoTimeout
- Conj atmost6_36933 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0005 c0006 c000C c8000
- Bounty atmost6_36933 1.0 NoTimeout
- Conj subq_37131_37263 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin Ap Ap binunion c0003 c0108 c000C c8000 Ap Ap binunion Ap Ap binunion Ap Ap binunion c0002 c0101 c100C Ap Ap SetAdjoin c0080 c000F
- Bounty subq_37131_37263 1.0 NoTimeout
- Conj subq_37193_39245 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0148 c000C Ap Ap SetAdjoin c0001 c000F Ap Ap binunion Ap Ap binunion c0901 c100C c8040
- Bounty subq_37193_39245 1.0 NoTimeout
- Conj subq_38990_39246 : Ap Ap Subq Ap Ap binunion Ap Ap binunion Ap Ap SetAdjoin c0046 c000B c100C c8000 Ap Ap binunion Ap Ap binunion c0900 c100C Ap Ap binunion c0002 c8040
- Bounty subq_38990_39246 1.0 NoTimeout
- Conj atmost6_41059 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0060 c000D Ap Ap SetAdjoin c0003 c000F
- Bounty atmost6_41059 1.0 NoTimeout
- Conj atmost7_41118 : Ap not Ap atleast8 Ap Ap binunion c2080 Ap Ap binunion c000A Ap Ap SetAdjoin c0014 c000F
- Bounty atmost7_41118 1.0 NoTimeout
- Conj atmost6_43013 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin Ap Ap SetAdjoin c0005 c000B c000D c8000
- Bounty atmost6_43013 1.0 NoTimeout
- Conj atmost6_43017 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin Ap Ap setminus c080B c0002 c000D c8000
- Bounty atmost6_43017 1.0 NoTimeout
- Conj atmost6_43060 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c0820 c000D Ap Ap SetAdjoin c0014 c000F
- Bounty atmost6_43060 1.0 NoTimeout
- Conj atmost5_43266 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c0900 c000D Ap Ap SetAdjoin c0002 c000F
- Bounty atmost5_43266 1.0 NoTimeout
- Conj atmost6_45100 : Ap not Ap atleast7 Ap Ap binunion Ap Ap setminus c3333 c0F1F Ap Ap setminus c800F c0003
- Bounty atmost6_45100 1.0 NoTimeout
- Conj atmost6_45601 : Ap not Ap atleast7 Ap Ap binunion c3200 Ap Ap binunion c0001 c8020
- Bounty atmost6_45601 1.0 NoTimeout
- Conj subq_49671_49687 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0200 c000E Ap Ap setminus c800F c0008 Ap Ap binunion Ap Ap SetAdjoin c0200 c000E Ap Ap binunion c0003 Ap Ap SetAdjoin c0014 c000F
- Bounty subq_49671_49687 1.0 NoTimeout
- Conj subq_49692_49756 : Ap Ap Subq Ap Ap binunion Ap Ap SetAdjoin c0200 c000E Ap Ap binunion c0008 Ap Ap SetAdjoin c0014 c000F Ap Ap binunion Ap Ap SetAdjoin c0200 c000E Ap Ap binunion c001C c8040
- Bounty subq_49692_49756 1.0 NoTimeout
- Conj atmost5_53284 : Ap not Ap atleast6 Ap Ap binunion Ap Ap SetAdjoin c1000 c000E Ap Ap binunion c0004 c8020
- Bounty atmost5_53284 1.0 NoTimeout
- Conj atmost6_53289 : Ap not Ap atleast7 Ap Ap binunion Ap Ap SetAdjoin c1000 c000E Ap Ap binunion c0009 c8020
- Bounty atmost6_53289 1.0 NoTimeout
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement