Param 8130f.. : ι → ι → ο
Param 70d40.. : ι → ο
Param 0dda1.. : ι → ο
Param ac550.. : ι → ο
Param 05043.. : ι → ο
Param 9ed78.. : ι → ο
Param bb16b.. : ι → ο
Param 65f4e.. : ι → ο
Param 07022.. : ι → ο
Param f0d5a.. : ι → ο
Param 1935a.. : ι → ο
Param b0d83.. : ι
Param ef16c.. : ι
Param b41cc.. : ι
Param 8d61c.. : ι
Param ed5e3.. : ι
Param 6eea5.. : ι
Param f1386.. : ι
Param 848bb.. : ι
Param 6831b.. : ι
Param 352e1.. : ι
Param f2ac9.. : ι
Param a7a44.. : ι
Param 96458.. : ι
Param 56fa4.. : ι
Param 0f96c.. : ι
Param be796.. : ι
Param 1188a.. : ι
Param 5767d.. : ι
Param bd5b6.. : ι
Param 9cf65.. : ι
Param 814a9.. : ι
Param d7011.. : ι
Param 872a0.. : ι
Param c1b53.. : ι
Param 8aefb.. : ι
Param 0205e.. : ι
Param 505bf.. : ι
Param 32159.. : ι
Param 708c9.. : ι
Param 0f74a.. : ι
Param f0c02.. : ι
Param c3c30.. : ι
Param 5cb5b.. : ι
Param abc04.. : ι
Param 1c486.. : ι
Param 7c23e.. : ι
Param a58c4.. : ι
Param 5eca9.. : ι
Param 2599d.. : ι
Param 1f49d.. : ι
Param 8ecbc.. : ι
Param de3ab.. : ι
Param 93baa.. : ι
Param 24928.. : ι
Param 78f47.. : ι
Param 44a5b.. : ι
Param 57854.. : ι
Param 6f877.. : ι
Param 8b0cd.. : ι
Param c13c2.. : ι
Param 336d5.. : ι
Param 82860.. : ι
Param fb657.. : ι
Param f4254.. : ι
Param af961.. : ι
Param f847f.. : ι
Param f1650.. : ι
Param fd8f6.. : ι
Param 00a07.. : ι
Param 655fa.. : ι
Param d0721.. : ι
Param 5cecb.. : ι
Param c57b3.. : ι
Param 2fcc3.. : ι
Param 20338.. : ι
Param 634d0.. : ι
Param 1488f.. : ι
Param a61bc.. : ι
Param bc624.. : ι
Param 56f89.. : ι
Param c6c38.. : ι
Param 88808.. : ι
Param 147a5.. : ι
Param 22e44.. : ι
Param 7c29f.. : ι
Param a4ab9.. : ι
Param 85ed4.. : ι
Param 67274.. : ι
Param 2def3.. : ι
Param ed297.. : ι
Param 091a0.. : ι
Param aaece.. : ι
Param d3366.. : ι
Param ae51c.. : ι
Param 5615a.. : ι
Param a63b1.. : ι
Param 52f2b.. : ι
Param f0c00.. : ι
Param fcf4d.. : ι
Param ee99e.. : ι
Param f846b.. : ι
Param f944c.. : ι
Param 98b2f.. : ι
Param 19825.. : ι
Param f5ea0.. : ι
Param 4a208.. : ι
Param 13d3b.. : ι
Param 5f7f9.. : ι
Param 15860.. : ι
Param efd97.. : ι
Param 9188a.. : ι
Param 9116c.. : ι
Param bd7e5.. : ι
Param 8230b.. : ι
Param d94c9.. : ι
Param 0871d.. : ι
Param 94f4d.. : ι
Param 3dbab.. : ι
Param 0bd31.. : ι
Param ea971.. : ι
Param 33bf7.. : ι
Conjecture 2d01f.. : 0dda1.. (binunion (setminus fcf4d.. a61bc..) (binunion 2599d.. 22e44..))
Conjecture c70d9.. : not (Subq (SetAdjoin 2fcc3.. a7a44..) (binunion (binunion 352e1.. c57b3..) f846b..))
Conjecture 1774d.. : not (Subq (binunion (setminus 8ecbc.. 96458..) (SetAdjoin c57b3.. a7a44..)) (binunion 655fa.. (setminus efd97.. 13d3b..)))
Conjecture 6ffe2.. : not (Subq (binunion (setminus 8ecbc.. f1386..) (SetAdjoin c57b3.. a7a44..)) (binunion (setminus f0c00.. c6c38..) 19825..))
Conjecture aa927.. : not (Subq (binunion (binunion 505bf.. (binunion f0c02.. 56f89..)) f846b..) (binunion (binunion 848bb.. 5eca9..) f846b..))
Conjecture 9348f.. : 0dda1.. (binunion (binunion f4254.. (binunion bd5b6.. 56f89..)) f846b..)
Conjecture 1f7b2.. : Subq (binunion (SetAdjoin 5eca9.. 6831b..) f846b..) (binunion (binunion f4254.. 7c29f..) (SetAdjoin 708c9.. a7a44..))
Conjecture 89db5.. : 0dda1.. (binunion (binunion f1650.. (SetAdjoin 8aefb.. f2ac9..)) f846b..)
Conjecture c7486.. : 0dda1.. (binunion (binunion f1650.. (binunion c3c30.. 56f89..)) 98b2f..)
Conjecture bc04d.. : 0dda1.. (binunion (binunion f4254.. 7c29f..) (binunion d7011.. f5ea0..))
Conjecture 21d10.. : Subq (binunion (binunion (SetAdjoin 8aefb.. 848bb..) af961..) 19825..) (binunion (setminus 52f2b.. 00a07..) (binunion 2599d.. f944c..))
Conjecture 390b9.. : Subq (binunion (SetAdjoin 8b0cd.. 6831b..) (binunion 2599d.. a61bc..)) (binunion (setminus fcf4d.. 00a07..) 19825..)
Conjecture 1debf.. : 0dda1.. (binunion (setminus ee99e.. f1650..) (SetAdjoin ef16c.. a7a44..))
Conjecture d3f43.. : 0dda1.. (binunion (binunion d0721.. (binunion be796.. 56f89..)) f846b..)
Conjecture 0cfdf.. : not (Subq (binunion (binunion d0721.. (SetAdjoin 1c486.. f2ac9..)) f846b..) (setminus 8230b.. 9188a..))
Conjecture de8f2.. : 0dda1.. (binunion (setminus ee99e.. af961..) (binunion 2599d.. f944c..))
Conjecture 54857.. : not (Subq (binunion (binunion d7011.. d3366..) f846b..) (binunion (setminus 52f2b.. 2def3..) f846b..))
Conjecture 1320f.. : ac550.. (binunion (setminus f0c00.. 85ed4..) a4ab9..)
Conjecture 4b533.. : ac550.. (binunion (setminus 8ecbc.. 8d61c..) (setminus d3366.. f1386..))
Conjecture d1a46.. : ac550.. (binunion 2599d.. 5615a..)
Conjecture 10eac.. : ac550.. (binunion 20338.. (binunion 9cf65.. 22e44..))
Conjecture 1e860.. : ac550.. (binunion (setminus ee99e.. 67274..) 19825..)
Conjecture 035b0.. : Subq (binunion (setminus 8ecbc.. 0f96c..) (SetAdjoin c57b3.. a7a44..)) (binunion (setminus 8ecbc.. f1386..) (SetAdjoin c57b3.. a7a44..))
Conjecture cb9d4.. : not (Subq (binunion (binunion 2599d.. (SetAdjoin 1c486.. f2ac9..)) (SetAdjoin 0205e.. a7a44..)) (binunion (binunion 2599d.. 7c29f..) (binunion 505bf.. f944c..)))
Conjecture 2e5a2.. : not (Subq (binunion (binunion 1f49d.. 2def3..) (SetAdjoin 505bf.. a7a44..)) (binunion (binunion 2599d.. 85ed4..) (binunion 32159.. f944c..)))
Conjecture ce17d.. : ac550.. (binunion (binunion f1650.. (binunion 708c9.. 56f89..)) f846b..)
Conjecture 2f4e8.. : not (Subq (binunion (binunion f1650.. (SetAdjoin 8aefb.. f2ac9..)) 19825..) (binunion (setminus 52f2b.. 00a07..) 19825..))
Conjecture 7a9db.. : not (Subq (binunion (binunion fd8f6.. (setminus 56f89.. b0d83..)) (binunion 2599d.. f5ea0..)) (binunion (binunion fd8f6.. bc624..) (binunion 2599d.. f5ea0..)))
Conjecture 185b0.. : not (Subq (binunion (binunion d0721.. (binunion f0c02.. 56f89..)) 19825..) (binunion (setminus fcf4d.. af961..) (binunion 2599d.. f944c..)))
Conjecture f1372.. : Subq (binunion (setminus fcf4d.. (SetAdjoin ef16c.. 848bb..)) f846b..) (binunion (binunion 8ecbc.. d3366..) f846b..)
Conjecture 54ac9.. : not (Subq (binunion fcf4d.. f5ea0..) (binunion (setminus fcf4d.. (SetAdjoin ef16c.. 848bb..)) f846b..))
Conjecture 5735a.. : ac550.. (binunion (binunion 7c23e.. (setminus 5615a.. ef16c..)) f846b..)
Conjecture cc63e.. : ac550.. (binunion (binunion 7c23e.. ae51c..) (SetAdjoin 9cf65.. a7a44..))
Conjecture f293e.. : not (Subq (binunion (binunion 2599d.. (setminus 5615a.. 6eea5..)) (SetAdjoin f0c02.. a7a44..)) (binunion (setminus fcf4d.. (SetAdjoin 6eea5.. f2ac9..)) 19825..))
Conjecture 63f3b.. : Subq (binunion (binunion 2599d.. 7c29f..) (setminus efd97.. 13d3b..)) (binunion (setminus 8ecbc.. 96458..) (SetAdjoin ae51c.. a7a44..))
Conjecture 19ed9.. : ac550.. (binunion (binunion 1f49d.. f1650..) (SetAdjoin 9cf65.. 96458..))
Conjecture 2d48e.. : ac550.. (binunion (binunion 2599d.. d0721..) (SetAdjoin (binunion d7011.. 1c486..) 96458..))
Conjecture f313f.. : ac550.. (binunion (binunion 708c9.. c57b3..) 4a208..)
Conjecture 7b5e4.. : Subq (setminus ee99e.. (SetAdjoin b0d83.. f2ac9..)) (binunion (setminus ee99e.. (SetAdjoin b0d83.. f2ac9..)) 4a208..)
Conjecture c93d0.. : Subq (binunion (binunion (SetAdjoin bd5b6.. 848bb..) af961..) 655fa..) (binunion 20338.. (SetAdjoin (binunion 848bb.. 1188a..) 96458..))
Conjecture 69bf1.. : not (Subq (binunion (binunion 2599d.. 2def3..) (SetAdjoin (binunion be796.. c3c30..) 96458..)) (binunion (binunion 2599d.. (binunion c3c30.. 24928..)) 88808..))
Conjecture 462c8.. : Subq (binunion (setminus 8ecbc.. b41cc..) 091a0..) (binunion (binunion 848bb.. (SetAdjoin bd5b6.. 6eea5..)) (setminus d94c9.. 8230b..))
Conjecture ba3cf.. : not (Subq (binunion (binunion abc04.. (setminus 5615a.. 848bb..)) f846b..) (binunion (binunion (binunion be796.. c3c30..) ae51c..) f846b..))
Conjecture 7e02d.. : 05043.. (binunion (binunion 7c23e.. (setminus 5615a.. 848bb..)) f846b..)
Conjecture ff293.. : 05043.. (binunion (binunion 2599d.. 5615a..) f846b..)
Conjecture f9bfb.. : Subq (binunion (binunion 2599d.. (setminus 5615a.. b41cc..)) (SetAdjoin be796.. a7a44..)) (binunion (binunion 2599d.. (setminus 5615a.. b0d83..)) (SetAdjoin be796.. a7a44..))
Conjecture 4fa0a.. : not (Subq (binunion (binunion abc04.. 2fcc3..) 4a208..) (binunion (setminus ee99e.. (SetAdjoin b0d83.. f2ac9..)) 4a208..))
Conjecture f92b7.. : not (Subq (binunion (setminus f0c00.. a61bc..) 5f7f9..) (binunion (setminus f0c00.. (SetAdjoin ed5e3.. f2ac9..)) 5f7f9..))
Conjecture 82c44.. : not (Subq (binunion (setminus 8ecbc.. ed5e3..) (SetAdjoin c57b3.. 96458..)) (binunion (setminus 8ecbc.. f1386..) (SetAdjoin c57b3.. 96458..)))
Conjecture 92a11.. : 05043.. (binunion (binunion f4254.. (binunion 1c486.. 56f89..)) (SetAdjoin d7011.. 96458..))
Conjecture d6bdf.. : Subq (binunion (setminus f0c00.. (SetAdjoin ed5e3.. f2ac9..)) 5f7f9..) (binunion (binunion 2599d.. (setminus 5615a.. ed5e3..)) (SetAdjoin 505bf.. 96458..))
Conjecture 3195a.. : Subq (binunion (binunion af961.. (SetAdjoin 1c486.. f2ac9..)) 5f7f9..) (binunion (binunion 2599d.. (setminus 5615a.. ef16c..)) (SetAdjoin abc04.. 96458..))
Conjecture c4f44.. : Subq (binunion (binunion 1f49d.. 336d5..) (SetAdjoin d7011.. 96458..)) (binunion (binunion 1f49d.. 336d5..) (setminus efd97.. a63b1..))
Conjecture a587c.. : not (Subq (binunion (binunion 1f49d.. 336d5..) (setminus efd97.. (binunion be796.. 93baa..))) (binunion (binunion 2599d.. f1650..) (binunion 7c23e.. 13d3b..)))
Conjecture 4387a.. : Subq (binunion (SetAdjoin (SetAdjoin 8d61c.. 6eea5..) f1386..) (setminus efd97.. 13d3b..)) (binunion (binunion 2599d.. c13c2..) (setminus efd97.. (binunion ef16c.. 93baa..)))
Conjecture 95763.. : 05043.. (binunion (SetAdjoin d0721.. a7a44..) (SetAdjoin 8ecbc.. 96458..))
Conjecture ebe71.. : not (Subq (binunion (binunion c57b3.. f5ea0..) (SetAdjoin (SetAdjoin ef16c.. 6eea5..) 96458..)) (binunion (binunion (binunion ef16c.. 1c486..) c57b3..) 4a208..))
Conjecture 0170f.. : not (Subq (binunion (SetAdjoin (binunion 1c486.. 56f89..) a7a44..) 5f7f9..) (binunion (binunion 2599d.. (binunion 1c486.. 56f89..)) 4a208..))
Conjecture 5a2f1.. : 05043.. (binunion (binunion (SetAdjoin c3c30.. f2ac9..) f5ea0..) 5f7f9..)
Conjecture 7ff45.. : not (Subq (binunion (binunion 2599d.. (binunion c3c30.. 56f89..)) 15860..) (binunion (binunion f4254.. (binunion c3c30.. 56f89..)) 5f7f9..))
Conjecture dc5f5.. : Subq (binunion (binunion f1650.. (binunion 708c9.. 56f89..)) 4a208..) (binunion bc624.. efd97..)
Conjecture 0381b.. : 9ed78.. (binunion 20338.. (SetAdjoin 5eca9.. 96458..))
Conjecture 10d27.. : 9ed78.. (binunion (setminus ee99e.. (SetAdjoin b41cc.. f2ac9..)) (setminus d94c9.. 8230b..))
Conjecture 37c96.. : not (Subq (binunion (binunion 1f49d.. 336d5..) (setminus efd97.. (binunion be796.. 93baa..))) (binunion (binunion 2599d.. (binunion c3c30.. 24928..)) (setminus efd97.. (binunion be796.. 93baa..))))
Conjecture 251b2.. : Subq (binunion 655fa.. efd97..) (binunion 655fa.. (binunion f0c02.. efd97..))
Conjecture 835f2.. : 9ed78.. (binunion (binunion c3c30.. f5ea0..) (setminus d94c9.. 8230b..))
Conjecture 639aa.. : not (Subq (binunion (binunion 7c23e.. (setminus 5615a.. b0d83..)) (SetAdjoin be796.. 56fa4..)) (binunion (binunion a58c4.. c57b3..) (binunion 848bb.. 88808..)))
Conjecture 80ed0.. : Subq (binunion 2599d.. 52f2b..) (binunion (binunion 2599d.. 52f2b..) 9188a..)
Conjecture e72f7.. : Subq (binunion 20338.. (binunion (SetAdjoin 1188a.. ed5e3..) 7c29f..)) (binunion (binunion 2599d.. ae51c..) (SetAdjoin (binunion d7011.. 1c486..) 56fa4..))
Conjecture b04b0.. : Subq (binunion (binunion 7c23e.. 2fcc3..) f846b..) (binunion (SetAdjoin 2fcc3.. a7a44..) (SetAdjoin 7c23e.. 56fa4..))
Conjecture cd1bc.. : bb16b.. (binunion (setminus 5615a.. 93baa..) efd97..)
Conjecture 26695.. : Subq (binunion (binunion 32159.. c57b3..) (setminus d94c9.. efd97..)) (binunion (binunion 2599d.. (setminus 5615a.. f2ac9..)) (SetAdjoin 5eca9.. 56fa4..))
Conjecture 1d91f.. : Subq (binunion (setminus efd97.. 13d3b..) (binunion 7c29f.. (ordsucc 56fa4..))) (binunion (setminus efd97.. 4a208..) (binunion 7c29f.. (ordsucc 56fa4..)))
Conjecture b6f02.. : not (Subq (binunion (binunion (binunion d7011.. 56f89..) 13d3b..) (setminus 8230b.. f944c..)) (binunion (binunion d0721.. (binunion 1c486.. 56f89..)) (SetAdjoin d7011.. 56fa4..)))
Conjecture 2df30.. : bb16b.. (binunion (binunion 82860.. af961..) (setminus d94c9.. ee99e..))
Conjecture 2eb27.. : Subq (binunion (binunion 2599d.. (binunion 1c486.. 24928..)) (setminus efd97.. (binunion ef16c.. 93baa..))) (binunion (binunion 82860.. af961..) (setminus d94c9.. ee99e..))
Conjecture e6703.. : not (Subq (binunion (SetAdjoin (binunion c3c30.. 24928..) 6831b..) (setminus d94c9.. fcf4d..)) (binunion (binunion 2599d.. (binunion c3c30.. 24928..)) (setminus efd97.. (binunion ef16c.. 93baa..))))
Conjecture 4c14d.. : not (Subq (binunion (SetAdjoin 8ecbc.. 96458..) bd7e5..) (binunion (SetAdjoin fd8f6.. a7a44..) (SetAdjoin 8ecbc.. 56fa4..)))
Conjecture fd069.. : bb16b.. (binunion (binunion (SetAdjoin bd5b6.. 6eea5..) ed297..) (setminus d94c9.. ee99e..))
Conjecture ee610.. : 65f4e.. (binunion (setminus efd97.. 13d3b..) (setminus (setminus 33bf7.. 0871d..) efd97..))
Conjecture 12ec9.. : Subq (binunion (setminus efd97.. c57b3..) (setminus (setminus 33bf7.. 0871d..) efd97..)) (setminus (setminus 33bf7.. 0871d..) de3ab..)
Conjecture 416da.. : 65f4e.. (setminus (setminus 33bf7.. 8d61c..) f846b..)
Conjecture 3d201.. : not (Subq (setminus 33bf7.. 4a208..) (setminus (setminus 33bf7.. b0d83..) 4a208..))
Conjecture 414cc.. : not (Subq (setminus 33bf7.. de3ab..) (setminus (setminus 33bf7.. 634d0..) de3ab..))
Conjecture 7c649.. : not (Subq 33bf7.. (setminus 33bf7.. d7011..))
Conjecture 329ac.. : 8130f.. (setminus d94c9.. f5ea0..) (SetAdjoin bd5b6.. 0f96c..)
Conjecture de85e.. : 8130f.. (setminus 8230b.. a63b1..) (SetAdjoin ef16c.. 0f96c..)
Conjecture 4b058.. : 8130f.. (SetAdjoin 7c29f.. 56fa4..) (binunion 9cf65.. 0bd31..)
Conjecture b4095.. : 8130f.. (SetAdjoin c57b3.. 56fa4..) (binunion (SetAdjoin b0d83.. ed5e3..) ea971..)
Conjecture c265b.. : 8130f.. (SetAdjoin fd8f6.. 56fa4..) (binunion b41cc.. (SetAdjoin bd5b6.. 0f96c..))
Conjecture 24a1a.. : 8130f.. (SetAdjoin af961.. 56fa4..) (binunion ef16c.. ea971..)
Conjecture f568b.. : 8130f.. (SetAdjoin f4254.. 56fa4..) 3dbab..
Conjecture 9e1e0.. : 8130f.. 9116c.. (binunion abc04.. (setminus 94f4d.. ed5e3..))
Conjecture be004.. : 8130f.. (setminus efd97.. (SetAdjoin ef16c.. 848bb..)) (binunion a7a44.. ea971..)
Conjecture cd9a9.. : 8130f.. 15860.. (binunion 6831b.. 0bd31..)
Conjecture 7cd85.. : 8130f.. 15860.. (SetAdjoin 8aefb.. 0f96c..)
Conjecture f7eac.. : 8130f.. (setminus efd97.. 52f2b..) (binunion f2ac9.. ea971..)
Conjecture d03c7.. : 8130f.. (SetAdjoin f846b.. 96458..) (binunion b0d83.. (SetAdjoin c3c30.. 0f96c..))
Conjecture 60343.. : 8130f.. (setminus d94c9.. 8230b..) (binunion b0d83.. (SetAdjoin c3c30.. 0f96c..))
Conjecture 752b2.. : 8130f.. (SetAdjoin 67274.. 96458..) (SetAdjoin 6eea5.. 0f96c..)
Conjecture a88bc.. : 8130f.. (binunion c57b3.. 13d3b..) 3dbab..
Conjecture 1cee0.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (binunion d7011.. (SetAdjoin c3c30.. 0f96c..))
Conjecture 21a8d.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (binunion (SetAdjoin b0d83.. ed5e3..) ea971..)
Conjecture 5598b.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (SetAdjoin 708c9.. 0f96c..)
Conjecture c9b94.. : 8130f.. (binunion d3366.. f5ea0..) (binunion d7011.. ea971..)
Conjecture 52438.. : 8130f.. (SetAdjoin 7c29f.. a7a44..) (SetAdjoin ef16c.. 0f96c..)
Conjecture 0796f.. : 8130f.. (binunion d0721.. f944c..) 0bd31..
Conjecture 242f9.. : 8130f.. (SetAdjoin fd8f6.. a7a44..) (binunion ef16c.. 3dbab..)
Conjecture 49d03.. : 8130f.. (binunion f4254.. f944c..) (binunion 32159.. ea971..)
Conjecture 35ebe.. : 8130f.. (SetAdjoin af961.. a7a44..) (binunion be796.. ea971..)
Conjecture 477b4.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin ed5e3.. 0f96c..)
Conjecture d67f5.. : 8130f.. (SetAdjoin (binunion d7011.. 93baa..) a7a44..) (SetAdjoin ef16c.. 0f96c..)
Conjecture 295a8.. : 8130f.. (binunion 2599d.. (setminus 5615a.. b0d83..)) 0bd31..
Conjecture ef8fd.. : 8130f.. ae51c.. (setminus 94f4d.. ef16c..)
Conjecture 84ad5.. : 8130f.. (setminus fcf4d.. (binunion ef16c.. 93baa..)) 0bd31..
Conjecture ae5c2.. : 8130f.. (binunion 00a07.. 88808..) (SetAdjoin 2599d.. 0f96c..)
Conjecture 2d189.. : 8130f.. (binunion fd8f6.. (SetAdjoin b41cc.. f2ac9..)) (SetAdjoin 2599d.. 0f96c..)
Conjecture f2ce7.. : 8130f.. (binunion fd8f6.. 7c29f..) (binunion bd5b6.. 0bd31..)
Conjecture 45efb.. : 8130f.. (binunion fd8f6.. 7c29f..) 0bd31..
Conjecture 4a8bd.. : 8130f.. (binunion f4254.. 2def3..) ea971..
Conjecture 01333.. : 8130f.. (binunion f4254.. 22e44..) (SetAdjoin b41cc.. 0f96c..)
Conjecture 37d92.. : 8130f.. (binunion 1f49d.. 2def3..) (binunion be796.. 0bd31..)
Conjecture 13436.. : 8130f.. (binunion 8d61c.. 24928..) (SetAdjoin 634d0.. 0f96c..)
Conjecture f4bf5.. : 8130f.. (binunion 2599d.. 7c29f..) (binunion 1188a.. 0bd31..)
Conjecture cf7ea.. : 8130f.. (binunion 2599d.. 7c29f..) (binunion 848bb.. 3dbab..)
Conjecture c169f.. : 8130f.. (binunion 2599d.. (SetAdjoin 8aefb.. f2ac9..)) 3dbab..
Conjecture 2407f.. : 8130f.. 20338.. (binunion (binunion 848bb.. 1188a..) ea971..)
Conjecture 18ee3.. : 8130f.. d0721.. 0bd31..
Conjecture e576a.. : 8130f.. (SetAdjoin 78f47.. 6831b..) (SetAdjoin 8d61c.. 0f96c..)
Conjecture e487c.. : 8130f.. (binunion 2599d.. af961..) (binunion 5767d.. ea971..)
Conjecture 5dcef.. : 8130f.. (binunion 2599d.. (binunion bd5b6.. 24928..)) (SetAdjoin ef16c.. 0f96c..)
Conjecture bcee0.. : 8130f.. (SetAdjoin 0205e.. f1386..) (SetAdjoin 8d61c.. 0f96c..)
Conjecture b4c00.. : 8130f.. a7a44.. d94c9..
Conjecture ac265.. : 8130f.. (setminus d94c9.. 8230b..) (setminus 8230b.. (SetAdjoin 1188a.. 6eea5..))
Conjecture eda62.. : 8130f.. (setminus (setminus 5615a.. 6eea5..) f4254..) (setminus d94c9.. ae51c..)
Conjecture 176f1.. : 8130f.. (binunion 22e44.. 13d3b..) (setminus 8230b.. (SetAdjoin ed5e3.. 6eea5..))
Conjecture 454b6.. : 8130f.. (setminus (setminus 5615a.. b0d83..) fd8f6..) (setminus d94c9.. fcf4d..)
Conjecture 994bd.. : 8130f.. (binunion af961.. a61bc..) (setminus d94c9.. f0c00..)
Conjecture bdf4e.. : 8130f.. (binunion f4254.. 1488f..) (setminus d94c9.. f0c00..)
Conjecture de271.. : 8130f.. (setminus efd97.. (binunion d7011.. 93baa..)) (SetAdjoin 7c29f.. 56fa4..)
Conjecture bb106.. : 8130f.. (setminus efd97.. (SetAdjoin ef16c.. 848bb..)) (SetAdjoin bc624.. 56fa4..)
Conjecture 39908.. : 8130f.. (binunion be796.. ed297..) (setminus d94c9.. f0c00..)
Conjecture 15e79.. : 8130f.. (setminus efd97.. a63b1..) (SetAdjoin ed297.. 56fa4..)
Conjecture 2759e.. : 8130f.. 56f89.. (setminus d94c9.. f0c00..)
Conjecture d704f.. : 8130f.. (setminus 2fcc3.. 96458..) (setminus d94c9.. 52f2b..)
Conjecture 498b9.. : 8130f.. (setminus 2fcc3.. (binunion 6eea5.. 93baa..)) (setminus d94c9.. a63b1..)
Conjecture 8500a.. : 8130f.. (SetAdjoin 872a0.. 96458..) (setminus 8230b.. 1c486..)
Conjecture db678.. : 8130f.. (SetAdjoin ed5e3.. 352e1..) (setminus d94c9.. ee99e..)
Conjecture ba3dd.. : 8130f.. (SetAdjoin 00a07.. 96458..) (setminus 8230b.. a63b1..)
Conjecture 79b76.. : 8130f.. (setminus efd97.. (SetAdjoin b41cc.. ed5e3..)) (SetAdjoin 1f49d.. 56fa4..)
Conjecture 751aa.. : 8130f.. (setminus efd97.. (SetAdjoin ef16c.. 848bb..)) 9116c..
Conjecture 0f968.. : 8130f.. (setminus efd97.. de3ab..) (SetAdjoin 848bb.. 56fa4..)
Conjecture 4394e.. : 8130f.. 82860.. (setminus d94c9.. ee99e..)
Conjecture 07c6c.. : 8130f.. (SetAdjoin f846b.. 96458..) (SetAdjoin (SetAdjoin 6eea5.. 848bb..) 56fa4..)
Conjecture e66dd.. : 8130f.. (SetAdjoin f846b.. 96458..) (SetAdjoin (SetAdjoin ef16c.. 6eea5..) 56fa4..)
Conjecture 5db78.. : 8130f.. (SetAdjoin (setminus 5615a.. b41cc..) 96458..) (SetAdjoin f0c02.. 56fa4..)
Conjecture 10df1.. : 8130f.. (SetAdjoin (setminus 5615a.. f2ac9..) 96458..) (SetAdjoin 505bf.. 56fa4..)
Conjecture 330ad.. : 8130f.. (SetAdjoin 872a0.. 96458..) (setminus (setminus 33bf7.. 0871d..) efd97..)
Conjecture 04bb4.. : 8130f.. (SetAdjoin (binunion d7011.. 56f89..) 96458..) (setminus 8230b.. f5ea0..)
Conjecture bd7fc.. : 8130f.. (setminus fcf4d.. 00a07..) (SetAdjoin 4a208.. 56fa4..)
Conjecture 76894.. : 8130f.. (SetAdjoin 88808.. 96458..) (binunion f4254.. (ordsucc 56fa4..))
Conjecture a7f06.. : 8130f.. (SetAdjoin 2def3.. 96458..) (SetAdjoin 1188a.. 56fa4..)
Conjecture e8262.. : 8130f.. (binunion 88808.. 13d3b..) 9116c..
Conjecture e61c0.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (SetAdjoin be796.. 56fa4..)
Conjecture ee956.. : 8130f.. (SetAdjoin f4254.. 96458..) (SetAdjoin 0205e.. 56fa4..)
Conjecture 89c27.. : 8130f.. (SetAdjoin (SetAdjoin be796.. 848bb..) 96458..) (binunion 2599d.. (ordsucc 56fa4..))
Conjecture 593bf.. : 8130f.. (binunion 82860.. 13d3b..) (SetAdjoin d7011.. 56fa4..)
Conjecture e4fc8.. : 8130f.. (setminus 8ecbc.. f2ac9..) (SetAdjoin 4a208.. 56fa4..)
Conjecture fabe7.. : 8130f.. 5f7f9.. (binunion f0c02.. (ordsucc 56fa4..))
Conjecture 2c2ae.. : 8130f.. (SetAdjoin (setminus 5615a.. f2ac9..) a7a44..) 9116c..
Conjecture d769a.. : 8130f.. (setminus 52f2b.. (binunion 8d61c.. 24928..)) (SetAdjoin f846b.. 56fa4..)
Conjecture fd4de.. : 8130f.. (SetAdjoin 2def3.. a7a44..) (setminus 8230b.. f5ea0..)
Conjecture fb9be.. : 8130f.. (binunion fd8f6.. 22e44..) (setminus 8230b.. d0721..)
Conjecture 2a8dd.. : 8130f.. (binunion f4254.. 22e44..) (setminus 8230b.. d3366..)
Conjecture 7fc44.. : 8130f.. (binunion 85ed4.. f944c..) (SetAdjoin f4254.. 56fa4..)
Conjecture 24994.. : 8130f.. (binunion 32159.. 85ed4..) (setminus 8230b.. a63b1..)
Conjecture 9be58.. : 8130f.. (binunion 85ed4.. f944c..) (SetAdjoin 32159.. 56fa4..)
Conjecture 72ad3.. : 8130f.. (binunion c57b3.. f944c..) 9116c..
Conjecture 15f83.. : 8130f.. (setminus f0c00.. ed297..) (setminus 8230b.. a63b1..)
Conjecture fb369.. : 8130f.. (binunion 2599d.. f1650..) (setminus 8230b.. a63b1..)
Conjecture ecd64.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin (SetAdjoin bd5b6.. 848bb..) 56fa4..)
Conjecture 6310c.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin (SetAdjoin b41cc.. ed5e3..) 56fa4..)
Conjecture 2c1a1.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin 9cf65.. 56fa4..)
Conjecture 2ef5a.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin f1386.. 56fa4..)
Conjecture 6cd62.. : 8130f.. 19825.. (SetAdjoin (binunion b0d83.. bd5b6..) 56fa4..)
Conjecture 1a658.. : 8130f.. (SetAdjoin 7c23e.. a7a44..) (SetAdjoin 848bb.. 56fa4..)
Conjecture cedfd.. : 8130f.. (binunion 2599d.. ae51c..) (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) 56fa4..)
Conjecture 4c4d6.. : 8130f.. (binunion 2599d.. ae51c..) (SetAdjoin 5767d.. 56fa4..)
Conjecture 6c627.. : 8130f.. (SetAdjoin 8aefb.. 848bb..) (setminus d94c9.. efd97..)
Conjecture 0060d.. : 8130f.. (setminus ee99e.. 00a07..) (SetAdjoin d7011.. 56fa4..)
Conjecture 0734e.. : 8130f.. (binunion af961.. 85ed4..) (SetAdjoin f0c02.. 56fa4..)
Conjecture fe304.. : 8130f.. (setminus (setminus 5615a.. f2ac9..) fd8f6..) (SetAdjoin be796.. 56fa4..)
Conjecture 830cc.. : 8130f.. (binunion 57854.. 00a07..) 9116c..
Conjecture 70400.. : 8130f.. (SetAdjoin 44a5b.. 6831b..) (SetAdjoin 5767d.. 56fa4..)
Conjecture 3ce44.. : 8130f.. (binunion (setminus 5615a.. 848bb..) f944c..) 5f7f9..
Conjecture 38736.. : 8130f.. (binunion (setminus 5615a.. ed5e3..) f944c..) (SetAdjoin 7c23e.. 96458..)
Conjecture e67ca.. : 8130f.. (binunion 1488f.. f5ea0..) (SetAdjoin fd8f6.. 96458..)
Conjecture 0adc1.. : 8130f.. (setminus (setminus 5615a.. ed5e3..) af961..) (setminus efd97.. 52f2b..)
Conjecture 6225e.. : 8130f.. (SetAdjoin 634d0.. a7a44..) (SetAdjoin f1650.. 96458..)
Conjecture 5b056.. : 8130f.. (SetAdjoin (binunion f0c02.. 56f89..) a7a44..) (SetAdjoin f4254.. 96458..)

Proofgold Asset