Proofgold Address

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 58380.. : Subq (binunion (SetAdjoin af961.. a7a44..) (SetAdjoin 6f877.. 96458..)) (binunion (binunion (SetAdjoin b0d83.. 6eea5..) 2def3..) 15860..)
Conjecture 727c5.. : not (05043.. (binunion (SetAdjoin (SetAdjoin 8d61c.. 6eea5..) 6831b..) (setminus efd97.. d3366..)))
Conjecture 8f731.. : not (ac550.. (binunion (SetAdjoin 00a07.. a7a44..) (SetAdjoin (SetAdjoin b0d83.. 6eea5..) 96458..)))
Conjecture c36fb.. : not (70d40.. (binunion (SetAdjoin 6f877.. 352e1..) (setminus efd97.. 52f2b..)))
Conjecture ed506.. : not (ac550.. (binunion (binunion (SetAdjoin b41cc.. f2ac9..) f944c..) 5f7f9..))
Conjecture 2e367.. : Subq (binunion (SetAdjoin 85ed4.. a7a44..) (SetAdjoin (SetAdjoin bd5b6.. 6eea5..) 96458..)) (binunion (binunion (SetAdjoin bd5b6.. 6eea5..) 85ed4..) 15860..)
Conjecture ffeff.. : not (ac550.. (binunion (SetAdjoin (SetAdjoin b0d83.. f2ac9..) a7a44..) (setminus efd97.. f5ea0..)))
Conjecture 03740.. : Subq (binunion (SetAdjoin 634d0.. a7a44..) (SetAdjoin d0721.. 96458..)) (binunion (binunion 67274.. f944c..) (SetAdjoin fd8f6.. 96458..))
Conjecture 1e4ee.. : Subq (SetAdjoin (SetAdjoin 1188a.. 6eea5..) 56fa4..) (binunion (SetAdjoin 4a208.. 56fa4..) (binunion 1188a.. ea971..))
Conjecture d2e4a.. : not (0dda1.. (binunion (binunion (binunion 848bb.. 1188a..) 7c23e..) 9188a..))
Conjecture f0911.. : not (ac550.. (SetAdjoin c13c2.. 56fa4..))
Conjecture 8fcb1.. : Subq (binunion (binunion (SetAdjoin b0d83.. ed5e3..) 336d5..) 9188a..) (binunion (binunion 7c23e.. 2def3..) (SetAdjoin b0d83.. 56fa4..))
Conjecture b327d.. : not (70d40.. (binunion (SetAdjoin 0f74a.. 6831b..) 9188a..))
Conjecture 90fed.. : not (0dda1.. (binunion (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) 6831b..) 9188a..))
Conjecture f5288.. : not (ac550.. (binunion (binunion (SetAdjoin bd5b6.. 848bb..) af961..) 9116c..))
Conjecture 2325a.. : not (0dda1.. (binunion (SetAdjoin 0f74a.. 352e1..) (SetAdjoin 848bb.. 56fa4..)))
Conjecture e8096.. : Subq (binunion (SetAdjoin (SetAdjoin 6eea5.. 848bb..) 352e1..) 9188a..) (binunion (SetAdjoin 78f47.. 352e1..) (SetAdjoin 6eea5.. 56fa4..))
Conjecture 8cd86.. : not (70d40.. (binunion (SetAdjoin 78f47.. 352e1..) (SetAdjoin 6eea5.. 56fa4..)))
Conjecture 78a7a.. : Subq (binunion (binunion 9cf65.. 22e44..) 9188a..) (binunion (SetAdjoin 22e44.. 56fa4..) (binunion 848bb.. 3dbab..))
Conjecture 6ca80.. : not (atleast6 (binunion (binunion 848bb.. 7c29f..) 9188a..))
Conjecture c39cb.. : not (0dda1.. (binunion (binunion (SetAdjoin 1188a.. ed5e3..) 7c29f..) (SetAdjoin 848bb.. 56fa4..)))
Conjecture ea896.. : not (ac550.. (binunion (binunion 2599d.. 147a5..) (SetAdjoin b0d83.. 56fa4..)))
Conjecture 2f3a9.. : Subq (binunion (binunion d7011.. 2def3..) 9188a..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin d7011.. 56fa4..))
Conjecture 59341.. : not (ac550.. (binunion (binunion f4254.. 7c29f..) (SetAdjoin 8aefb.. 56fa4..)))
Conjecture 064b5.. : not (ac550.. (binunion (binunion af961.. 147a5..) 9116c..))
Conjecture 4ba3d.. : Subq (binunion (setminus (setminus 5615a.. b41cc..) fd8f6..) 9188a..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin f4254.. 56fa4..))
Conjecture ce2ec.. : Subq (binunion (binunion f4254.. 2def3..) (SetAdjoin abc04.. 56fa4..)) (binunion (binunion af961.. 85ed4..) (SetAdjoin abc04.. 56fa4..))
Conjecture 7f8fc.. : not (atleast6 (binunion (binunion fd8f6.. 22e44..) (SetAdjoin ef16c.. 56fa4..)))
Conjecture 7c16a.. : not (0dda1.. (binunion (setminus (setminus 5615a.. 93baa..) f1650..) 9116c..))
Conjecture c7671.. : not (70d40.. (setminus 8230b.. (setminus 5615a.. 6eea5..)))
Conjecture fa70a.. : not (ac550.. (binunion (SetAdjoin af961.. a7a44..) (SetAdjoin be796.. 56fa4..)))
Conjecture 35312.. : not (ac550.. (binunion (binunion af961.. f944c..) (SetAdjoin de3ab.. 56fa4..)))
Conjecture 4e837.. : not (ac550.. (binunion (SetAdjoin 00a07.. a7a44..) (SetAdjoin 7c23e.. 56fa4..)))
Conjecture 45164.. : not (70d40.. (binunion (SetAdjoin 9cf65.. f1386..) bd7e5..))
Conjecture fbb52.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin b0d83.. ed5e3..) f1386..) bd7e5..))
Conjecture 03d64.. : not (ac550.. (binunion (SetAdjoin fd8f6.. a7a44..) (SetAdjoin (binunion b0d83.. 24928..) 56fa4..)))
Conjecture d68c4.. : not (ac550.. (binunion (SetAdjoin fd8f6.. a7a44..) (SetAdjoin (binunion be796.. 24928..) 56fa4..)))
Conjecture 0c0f9.. : not (05043.. (binunion (binunion fd8f6.. f5ea0..) (SetAdjoin d7011.. 56fa4..)))
Conjecture 63a8e.. : not (ac550.. (binunion (binunion 67274.. f944c..) 9116c..))
Conjecture 9f306.. : Subq (binunion (binunion 22e44.. f5ea0..) (SetAdjoin fd8f6.. 56fa4..)) (binunion (binunion (SetAdjoin 1188a.. ed5e3..) 2def3..) bd7e5..)
Conjecture dc055.. : not (70d40.. (binunion (SetAdjoin 44a5b.. 96458..) 9188a..))
Conjecture ea28c.. : not (atleast6 (binunion (SetAdjoin f4254.. 96458..) (SetAdjoin 5767d.. 56fa4..)))
Conjecture ea7a1.. : not (atleast6 (binunion (SetAdjoin fd8f6.. 96458..) (SetAdjoin 872a0.. 56fa4..)))
Conjecture 7180f.. : not (atleast6 (binunion (setminus efd97.. 52f2b..) (SetAdjoin de3ab.. 56fa4..)))
Conjecture ad3e3.. : not (70d40.. (binunion (setminus efd97.. 52f2b..) (SetAdjoin (SetAdjoin ef16c.. 848bb..) 56fa4..)))
Conjecture 3dd93.. : not (atleast6 (binunion (SetAdjoin f846b.. 96458..) (SetAdjoin (SetAdjoin b0d83.. f2ac9..) 56fa4..)))
Conjecture dd57c.. : not (atleast5 (binunion 1188a.. ea971..))
Conjecture 2a19c.. : not (atleast4 (binunion 2599d.. 3dbab..))
Conjecture 59554.. : not (atleast6 (binunion 2599d.. (SetAdjoin bd5b6.. 0f96c..)))
Conjecture 15264.. : not (atleast6 (binunion 8d61c.. (SetAdjoin 24928.. 0f96c..)))
Conjecture 7e2cf.. : not (atleast6 (binunion (SetAdjoin 7c23e.. 6831b..) (SetAdjoin 8d61c.. 0f96c..)))
Conjecture cbb18.. : not (0dda1.. (binunion f847f.. (binunion (SetAdjoin 1188a.. ed5e3..) ea971..)))
Conjecture 7bea9.. : not (atleast6 (binunion f4254.. (SetAdjoin 93baa.. 0f96c..)))
Conjecture bcba5.. : Subq (binunion (SetAdjoin (binunion bd5b6.. 93baa..) 6831b..) (SetAdjoin 2599d.. 0f96c..)) (binunion (binunion (SetAdjoin bd5b6.. 848bb..) af961..) (SetAdjoin 2599d.. 0f96c..))
Conjecture 362cf.. : not (70d40.. (binunion 00a07.. (SetAdjoin 1188a.. 0f96c..)))
Conjecture a059a.. : not (atleast6 (binunion (SetAdjoin 5cb5b.. 352e1..) (SetAdjoin 8d61c.. 0f96c..)))
Conjecture 20da9.. : not (atleast6 (binunion 655fa.. (SetAdjoin bd5b6.. 0f96c..)))
Conjecture 6dcc9.. : Subq (binunion (SetAdjoin (SetAdjoin 6eea5.. 848bb..) 352e1..) 0871d..) (binunion (SetAdjoin 78f47.. 352e1..) (SetAdjoin 6eea5.. 0f96c..))
Conjecture f560f.. : Subq (binunion fd8f6.. (SetAdjoin 24928.. 0f96c..)) (binunion (SetAdjoin 24928.. 352e1..) (SetAdjoin 2599d.. 0f96c..))
Conjecture d54be.. : not (atleast6 (binunion 5cecb.. (binunion be796.. 0bd31..)))
Conjecture 0fd5f.. : not (atleast5 (binunion ed5e3.. (SetAdjoin 634d0.. 0f96c..)))
Conjecture 7151c.. : Subq (binunion (binunion 848bb.. c3c30..) (SetAdjoin 634d0.. 0f96c..)) (binunion (binunion c3c30.. 24928..) (SetAdjoin 634d0.. 0f96c..))
Conjecture d3d12.. : not (0dda1.. (binunion (binunion 2599d.. 22e44..) (binunion 352e1.. 3dbab..)))
Conjecture c2ff0.. : not (atleast6 (binunion (binunion 2599d.. 7c29f..) 0871d..))
Conjecture 29c37.. : not (atleast6 (binunion (binunion 2599d.. 7c29f..) 0bd31..))
Conjecture 9a0d3.. : not (atleast5 (binunion (SetAdjoin 8d61c.. 848bb..) (SetAdjoin 634d0.. 0f96c..)))
Conjecture 0ebfd.. : not (ac550.. (binunion (binunion 2599d.. 85ed4..) (binunion 32159.. ea971..)))
Conjecture 8e94a.. : not (0dda1.. (binunion (binunion 00a07.. 88808..) 0871d..))
Conjecture bf0ed.. : not (70d40.. (binunion 19825.. (binunion 5767d.. ea971..)))
Conjecture b757d.. : not (0dda1.. (binunion 19825.. (binunion 0f74a.. ea971..)))
Conjecture 497e3.. : not (ac550.. (binunion (binunion (binunion d7011.. 93baa..) f944c..) (SetAdjoin 2599d.. 0f96c..)))
Conjecture 195ed.. : Subq (binunion (binunion fd8f6.. f944c..) 0bd31..) (binunion bd7e5.. (binunion a7a44.. 0bd31..))
Conjecture 3f8b4.. : not (atleast6 (binunion (SetAdjoin fd8f6.. a7a44..) (binunion be796.. 0bd31..)))
Conjecture 13f02.. : not (0dda1.. (binunion (SetAdjoin 2def3.. a7a44..) 0871d..))
Conjecture 06593.. : not (atleast6 (binunion 4a208.. (setminus 94f4d.. b41cc..)))
Conjecture dd732.. : Subq (binunion (SetAdjoin 9cf65.. 96458..) 0871d..) (binunion (SetAdjoin 4a208.. 56fa4..) (binunion 848bb.. 3dbab..))
Conjecture b64c4.. : Subq (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) 96458..) 0871d..) (binunion (SetAdjoin 4a208.. 56fa4..) (binunion ef16c.. ea971..))
Conjecture 38d17.. : not (atleast5 (binunion 5f7f9.. ea971..))
Conjecture 24eb9.. : not (70d40.. (binunion (SetAdjoin 6f877.. 96458..) (binunion 8d61c.. 0bd31..)))
Conjecture 1b7b9.. : not (atleast5 (binunion (SetAdjoin fd8f6.. 96458..) (SetAdjoin b0d83.. 0f96c..)))
Conjecture 1b347.. : Subq (binunion (SetAdjoin fd8f6.. 96458..) (binunion b0d83.. (SetAdjoin bd5b6.. 0f96c..))) (binunion (SetAdjoin fd8f6.. 96458..) (binunion b41cc.. (SetAdjoin bd5b6.. 0f96c..)))
Conjecture 468b9.. : not (atleast4 (binunion (SetAdjoin f846b.. 96458..) 0871d..))
Conjecture 2ba16.. : Subq (binunion 15860.. (SetAdjoin f2ac9.. 0f96c..)) (binunion 15860.. (binunion f2ac9.. ea971..))
Conjecture 302d6.. : not (70d40.. (binunion (SetAdjoin (binunion b0d83.. bd5b6..) 56fa4..) 0871d..))
Conjecture 9b5e9.. : not (0dda1.. (binunion (SetAdjoin 7c23e.. 56fa4..) (binunion 352e1.. 3dbab..)))
Conjecture f9393.. : not (atleast6 (binunion (SetAdjoin 6f877.. 56fa4..) (SetAdjoin 8d61c.. 0f96c..)))
Conjecture 29274.. : not (atleast4 (binunion (SetAdjoin f4254.. 56fa4..) 0871d..))
Conjecture 0dd52.. : not (70d40.. (binunion (SetAdjoin 22e44.. 56fa4..) (setminus 94f4d.. ed5e3..)))
Conjecture 1eb8f.. : Subq (binunion (SetAdjoin 85ed4.. 56fa4..) 0871d..) (binunion (SetAdjoin 85ed4.. 56fa4..) ea971..)
Conjecture 488d6.. : not (atleast6 (binunion (SetAdjoin 85ed4.. 56fa4..) ea971..))
Conjecture 4807e.. : not (Subq (SetAdjoin 8aefb.. 6eea5..) 7c23e..)
Conjecture 53e2e.. : Subq 7c23e.. (binunion 848bb.. (SetAdjoin 8aefb.. 6eea5..))
Conjecture 1cce2.. : not (Subq (binunion 848bb.. 5eca9..) 7c23e..)
Conjecture 5aa28.. : Subq 7c23e.. (binunion 814a9.. 7c23e..)
Conjecture d6d84.. : Subq (SetAdjoin d7011.. f1386..) (SetAdjoin 505bf.. f1386..)
Conjecture 310b0.. : not (Subq (SetAdjoin (SetAdjoin bd5b6.. 6eea5..) f1386..) (SetAdjoin f0c02.. f1386..))
Conjecture 31948.. : Subq (SetAdjoin f0c02.. f1386..) (setminus 8ecbc.. ed5e3..)
Conjecture f2711.. : atleast3 (binunion be796.. 24928..)
Conjecture bc91d.. : not (Subq (binunion (binunion ef16c.. bd5b6..) 78f47..) 78f47..)
Conjecture 806ab.. : not (Subq (binunion (SetAdjoin b0d83.. ed5e3..) (binunion c3c30.. 24928..)) 6f877..)
Conjecture accd5.. : Subq (SetAdjoin 2599d.. 848bb..) (binunion 2599d.. (binunion ef16c.. 24928..))
Conjecture 5b227.. : not (Subq (binunion 2599d.. (binunion b41cc.. 24928..)) (SetAdjoin 2599d.. 848bb..))
Conjecture a63a7.. : Subq (SetAdjoin 2599d.. 848bb..) (binunion (setminus 8ecbc.. (SetAdjoin 8aefb.. 6eea5..)) de3ab..)
Conjecture 9db42.. : not (Subq (binunion (SetAdjoin 814a9.. f1386..) 93baa..) (SetAdjoin 2599d.. 848bb..))
Conjecture cc52d.. : atleast3 (binunion (setminus 8ecbc.. (SetAdjoin b0d83.. 6eea5..)) de3ab..)
Conjecture d864c.. : not (Subq (binunion (setminus 8ecbc.. b0d83..) de3ab..) (SetAdjoin 2599d.. 848bb..))
Conjecture ca62b.. : Subq (SetAdjoin f0c02.. 6831b..) (SetAdjoin (binunion d7011.. 1c486..) 6831b..)
Conjecture 7b34a.. : Subq f847f.. (binunion (SetAdjoin 56fa4.. f1386..) f4254..)
Conjecture 121ef.. : Subq f847f.. (binunion (SetAdjoin 708c9.. f1386..) f4254..)
Conjecture c0550.. : not (Subq (binunion (binunion 848bb.. 8aefb..) f1650..) (SetAdjoin de3ab.. 6831b..))
Conjecture cf3a1.. : not (Subq (binunion (binunion (binunion ef16c.. bd5b6..) 78f47..) f4254..) (SetAdjoin de3ab.. 6831b..))
Conjecture bf9c4.. : not (Subq (binunion (SetAdjoin bd5b6.. 6eea5..) f1650..) (SetAdjoin de3ab.. 6831b..))
Conjecture a2936.. : not (Subq (binunion 82860.. af961..) (SetAdjoin de3ab.. 6831b..))
Conjecture 26dae.. : atleast3 (binunion (binunion 2599d.. (binunion d7011.. 93baa..)) f4254..)
Conjecture be8b6.. : not (Subq (binunion (binunion 1f49d.. 82860..) f4254..) (SetAdjoin de3ab.. 6831b..))
Conjecture 9128c.. : not (Subq (binunion (binunion 2599d.. 82860..) (SetAdjoin d7011.. 6831b..)) (SetAdjoin de3ab.. 6831b..))
Conjecture 8d9fa.. : not (Subq (binunion 8ecbc.. f1650..) (SetAdjoin de3ab.. 6831b..))
Conjecture a3742.. : atleast3 (SetAdjoin (binunion b41cc.. bd5b6..) 352e1..)
Conjecture c6fb7.. : not (Subq (SetAdjoin 708c9.. 352e1..) (SetAdjoin d7011.. 352e1..))
Conjecture d8bdb.. : not (Subq (binunion 1c486.. 00a07..) (SetAdjoin f0c02.. 352e1..))
Conjecture 7db0e.. : Subq (SetAdjoin f0c02.. 352e1..) (binunion (binunion b0d83.. 7c23e..) fd8f6..)
Conjecture 57116.. : atleast3 (binunion (SetAdjoin 6eea5.. f1386..) fd8f6..)
Conjecture d739d.. : atleast3 (binunion (SetAdjoin 848bb.. f1386..) fd8f6..)
Conjecture f7393.. : not (Subq (binunion (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) f1386..) fd8f6..) 655fa..)
Conjecture bf436.. : Subq 655fa.. (binunion (SetAdjoin (SetAdjoin b0d83.. 6eea5..) f1386..) fd8f6..)
Conjecture 2273d.. : not (Subq (binunion (setminus 8ecbc.. (binunion be796.. 8aefb..)) fd8f6..) 655fa..)
Conjecture d755c.. : atleast3 (binunion (binunion 7c23e.. 1f49d..) fd8f6..)
Conjecture 75866.. : atleast3 (binunion (setminus 8ecbc.. 5767d..) fd8f6..)
Conjecture fba7d.. : not (Subq (binunion be796.. d0721..) (SetAdjoin de3ab.. 352e1..))
Conjecture a1cd2.. : Subq (SetAdjoin de3ab.. 352e1..) (SetAdjoin (binunion be796.. 24928..) 352e1..)
Conjecture eced9.. : atleast3 (binunion 505bf.. d0721..)
Conjecture d726b.. : atleast3 (binunion (binunion be796.. 44a5b..) fd8f6..)
Conjecture 91219.. : atleast3 (binunion (binunion 872a0.. 336d5..) fd8f6..)
Conjecture a92f1.. : not (Subq (binunion (binunion 32159.. 6f877..) fd8f6..) (SetAdjoin de3ab.. 352e1..))
Conjecture 7b98c.. : not (Subq (binunion (binunion 2599d.. 78f47..) (SetAdjoin ef16c.. 352e1..)) (SetAdjoin de3ab.. 352e1..))
Conjecture be6cc.. : not (Subq (binunion (binunion 2599d.. 78f47..) (SetAdjoin 8d61c.. 352e1..)) (SetAdjoin de3ab.. 352e1..))
Conjecture 698dc.. : atleast3 (binunion (binunion 2599d.. 78f47..) (SetAdjoin 6eea5.. 352e1..))
Conjecture a90ca.. : Subq (SetAdjoin de3ab.. 352e1..) (binunion (binunion 1f49d.. 78f47..) fd8f6..)
Conjecture 84eee.. : Subq (SetAdjoin de3ab.. 352e1..) (binunion (binunion 2599d.. 44a5b..) (SetAdjoin 8d61c.. 352e1..))
Conjecture 97636.. : not (Subq (binunion (binunion 2599d.. c13c2..) (SetAdjoin be796.. 352e1..)) (SetAdjoin de3ab.. 352e1..))
Conjecture bc883.. : not (Subq (binunion (SetAdjoin (binunion be796.. c3c30..) 6831b..) fd8f6..) 5cecb..)
Conjecture 85175.. : Subq 5cecb.. (setminus ee99e.. 2def3..)
Conjecture 0e609.. : Subq 5cecb.. (binunion (binunion 7c23e.. af961..) fd8f6..)
Conjecture 69e7a.. : not (Subq (binunion (binunion abc04.. f1650..) fd8f6..) 5cecb..)
Conjecture eed23.. : Subq 5cecb.. (binunion (binunion 7c23e.. f1650..) (SetAdjoin 848bb.. 352e1..))
Conjecture 42d80.. : atleast3 (binunion (binunion 6f877.. af961..) (SetAdjoin 505bf.. 352e1..))
Conjecture ba803.. : not (Subq (binunion (setminus 8ecbc.. c3c30..) (setminus c57b3.. 8d61c..)) 5cecb..)
Conjecture 7ed4f.. : not (Subq (binunion (binunion 1f49d.. f1650..) (SetAdjoin 5eca9.. 352e1..)) 5cecb..)
Conjecture 4cc07.. : not (Subq (binunion ef16c.. 88808..) 88808..)
Conjecture 05bb1.. : not (Subq (binunion 1188a.. 22e44..) 22e44..)
Conjecture e62b4.. : not (Subq (binunion (SetAdjoin 9cf65.. f1386..) 634d0..) a4ab9..)
Conjecture 437da.. : Subq a4ab9.. (binunion (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) f1386..) 634d0..)
Conjecture 1c204.. : atleast3 (binunion (SetAdjoin 32159.. f1386..) 634d0..)
Conjecture d1539.. : Subq a4ab9.. (binunion (setminus 8ecbc.. (binunion ef16c.. 8aefb..)) 634d0..)
Conjecture 3b1ba.. : atleast3 (binunion d7011.. 67274..)
Conjecture 799cd.. : atleast3 (binunion 8aefb.. 2def3..)
Conjecture eeb6e.. : Subq 85ed4.. (binunion (SetAdjoin bd5b6.. 6eea5..) ed297..)
Conjecture 31b06.. : not (Subq (binunion 7c23e.. 67274..) 85ed4..)
Conjecture 87010.. : atleast3 (binunion (binunion 872a0.. 8b0cd..) 634d0..)
Conjecture 94838.. : atleast3 (binunion (binunion 2599d.. (SetAdjoin bd5b6.. 848bb..)) 1488f..)
Conjecture 3ba94.. : atleast3 (binunion (binunion 1f49d.. 78f47..) 634d0..)
Conjecture 260f6.. : Subq 85ed4.. (binunion (binunion 1f49d.. (binunion 708c9.. 24928..)) 634d0..)
Conjecture 6dc66.. : Subq 091a0.. (binunion (SetAdjoin 0f74a.. 6831b..) (setminus 56f89.. b0d83..))
Conjecture 2db06.. : Subq 091a0.. (binunion (binunion 7c23e.. af961..) 1488f..)
Conjecture fcc1a.. : atleast3 (binunion f847f.. (binunion b41cc.. 22e44..))
Conjecture d1e99.. : atleast3 (binunion f847f.. (binunion 505bf.. (SetAdjoin c3c30.. f2ac9..)))
Conjecture 9d0bc.. : atleast3 (binunion f1650.. 22e44..)
Conjecture a8a45.. : Subq 091a0.. (binunion (SetAdjoin 78f47.. 6831b..) 147a5..)
Conjecture 0dac0.. : not (Subq (binunion (SetAdjoin 336d5.. 6831b..) 1488f..) 091a0..)
Conjecture 731e7.. : atleast3 (setminus ee99e.. 00a07..)
Conjecture 2380c.. : atleast3 (binunion (setminus 8ecbc.. (binunion 848bb.. 8aefb..)) (binunion f4254.. 85ed4..))
Conjecture 48a7c.. : atleast3 (binunion fd8f6.. 22e44..)
Conjecture 202e1.. : Subq aaece.. (binunion (SetAdjoin 872a0.. 352e1..) 634d0..)
Conjecture 07e6b.. : atleast3 (binunion (SetAdjoin (binunion 8d61c.. 708c9..) 352e1..) 634d0..)
Conjecture 38a9d.. : not (Subq (binunion 655fa.. (SetAdjoin b41cc.. f2ac9..)) aaece..)
Conjecture 3c19b.. : Subq aaece.. (binunion 655fa.. (binunion ef16c.. 88808..))
Conjecture 9f42c.. : atleast3 (binunion (binunion 2599d.. 00a07..) (binunion 1188a.. 7c29f..))
Conjecture 9c1c2.. : Subq aaece.. (binunion (binunion 2599d.. 00a07..) (binunion 0f74a.. 7c29f..))
Conjecture bfd66.. : Subq aaece.. (binunion fd8f6.. 67274..)
Conjecture 85e58.. : atleast3 (binunion d0721.. (SetAdjoin 708c9.. f2ac9..))
Conjecture 736bc.. : Subq aaece.. (binunion (binunion (binunion 848bb.. 1c486..) d0721..) 634d0..)
Conjecture 72459.. : not (Subq (binunion (binunion 8b0cd.. 00a07..) 22e44..) aaece..)
Conjecture 96971.. : Subq aaece.. (binunion (SetAdjoin 44a5b.. 352e1..) (binunion 2599d.. a61bc..))
Conjecture 9ecc8.. : atleast3 (binunion (SetAdjoin 336d5.. 352e1..) (binunion 2599d.. 88808..))
Conjecture ed076.. : not (Subq (setminus d3366.. ed5e3..) aaece..)
Conjecture 07ebd.. : Subq aaece.. (setminus (setminus 5615a.. 93baa..) 8d61c..)
Conjecture 269c3.. : atleast3 (binunion (setminus f0c00.. ed297..) (binunion 2599d.. 1488f..))
Conjecture 5130f.. : atleast3 (binunion (setminus 8ecbc.. c3c30..) (setminus d3366.. f1386..))
Conjecture 4f75b.. : not (Subq (binunion be796.. (setminus 5615a.. ed5e3..)) aaece..)
Conjecture f54cf.. : Subq aaece.. (binunion d7011.. (setminus 5615a.. b41cc..))
Conjecture 083b6.. : atleast3 (binunion 2599d.. (setminus 5615a.. 6eea5..))
Conjecture 0a125.. : Subq aaece.. (binunion 2599d.. (setminus 5615a.. b41cc..))
Conjecture 99c06.. : Subq aaece.. (binunion (setminus a63b1.. a61bc..) a4ab9..)
Conjecture b6bc1.. : not (Subq (binunion 20338.. (binunion 848bb.. 22e44..)) aaece..)
Conjecture 9fad4.. : Subq aaece.. (binunion 20338.. (binunion 1188a.. 22e44..))
Conjecture d4a5f.. : atleast3 (binunion (setminus fcf4d.. c6c38..) (binunion 2599d.. (SetAdjoin b41cc.. f2ac9..)))
Conjecture 04c99.. : not (Subq (binunion 20338.. (binunion ef16c.. 7c29f..)) aaece..)
Conjecture 340cc.. : Subq aaece.. (binunion (setminus fcf4d.. (SetAdjoin ed5e3.. f2ac9..)) a4ab9..)
Conjecture 062cc.. : Subq aaece.. (binunion (setminus ee99e.. (SetAdjoin b41cc.. f2ac9..)) (binunion 2599d.. 22e44..))
Conjecture a3a11.. : Subq (SetAdjoin 848bb.. a7a44..) (SetAdjoin 352e1.. a7a44..)