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 3694e.. : 8130f.. (SetAdjoin (binunion 708c9.. 56f89..) a7a44..) (SetAdjoin f4254.. 96458..)
Conjecture 94c0c.. : 8130f.. (binunion 2599d.. 147a5..) (setminus efd97.. a63b1..)
Conjecture abfb9.. : 8130f.. (binunion 2599d.. bc624..) (setminus efd97.. 52f2b..)
Conjecture 961b6.. : 8130f.. (SetAdjoin 22e44.. a7a44..) (SetAdjoin (binunion 848bb.. 1188a..) 96458..)
Conjecture 8625e.. : 8130f.. 20338.. (setminus efd97.. f1650..)
Conjecture 1220c.. : 8130f.. (setminus 8230b.. 9188a..) 5f7f9..
Conjecture a5f5d.. : 8130f.. (SetAdjoin fd8f6.. a7a44..) (SetAdjoin 336d5.. 96458..)
Conjecture 1d2bc.. : 8130f.. (SetAdjoin (SetAdjoin bd5b6.. 848bb..) 352e1..) (setminus efd97.. a63b1..)
Conjecture c270f.. : 8130f.. (SetAdjoin fd8f6.. a7a44..) (SetAdjoin f0c02.. 96458..)
Conjecture e77ac.. : 8130f.. (binunion c1b53.. 6f877..) 15860..
Conjecture 34b5a.. : 8130f.. (SetAdjoin ef16c.. f1386..) 15860..
Conjecture 62c15.. : 8130f.. (SetAdjoin 1f49d.. a7a44..) (SetAdjoin 7c23e.. 96458..)
Conjecture 9c549.. : 8130f.. (binunion 2599d.. f944c..) (SetAdjoin d7011.. 96458..)
Conjecture d5d22.. : 8130f.. 19825.. (SetAdjoin 0205e.. 96458..)
Conjecture 0cfe9.. : 8130f.. (binunion 2599d.. f944c..) (SetAdjoin ef16c.. 96458..)
Conjecture 12856.. : 8130f.. (setminus a63b1.. (binunion ed5e3.. 24928..)) 5f7f9..
Conjecture 8a0cf.. : 8130f.. (binunion fd8f6.. 22e44..) (SetAdjoin ef16c.. 96458..)
Conjecture e3a9c.. : 8130f.. (SetAdjoin 8d61c.. 6eea5..) (setminus d94c9.. 8230b..)
Conjecture cb174.. : 8130f.. (binunion f4254.. (binunion 1c486.. 56f89..)) (SetAdjoin d7011.. 96458..)
Conjecture b5f73.. : 8130f.. (binunion 7c23e.. 2def3..) (SetAdjoin ef16c.. 96458..)
Conjecture 261d2.. : 8130f.. (binunion 32159.. 7c29f..) (SetAdjoin 848bb.. 96458..)
Conjecture ff7d2.. : 8130f.. (binunion 2599d.. (SetAdjoin be796.. 848bb..)) (setminus efd97.. f5ea0..)
Conjecture f5dc6.. : 8130f.. f847f.. (SetAdjoin 5eca9.. 96458..)
Conjecture 4f1fc.. : 8130f.. fb657.. (SetAdjoin 8d61c.. 96458..)
Conjecture b0232.. : 8130f.. (binunion 2599d.. (setminus 5615a.. ef16c..)) (SetAdjoin abc04.. a7a44..)
Conjecture 79ef3.. : 8130f.. (binunion 2599d.. (setminus 5615a.. f2ac9..)) (SetAdjoin 32159.. a7a44..)
Conjecture 69762.. : 8130f.. (setminus (setminus 5615a.. b41cc..) f4254..) 19825..
Conjecture 7b0f0.. : 8130f.. (binunion fd8f6.. ed297..) (SetAdjoin f0c02.. a7a44..)
Conjecture 7d51d.. : 8130f.. (binunion f4254.. 85ed4..) (SetAdjoin (SetAdjoin ef16c.. 6eea5..) a7a44..)
Conjecture a7cc5.. : 8130f.. (setminus (setminus 5615a.. ed5e3..) fd8f6..) (SetAdjoin 505bf.. a7a44..)
Conjecture f127a.. : 8130f.. (binunion 2599d.. 2def3..) (SetAdjoin (SetAdjoin ed5e3.. 6eea5..) a7a44..)
Conjecture b8b17.. : 8130f.. (binunion 2599d.. (SetAdjoin 8aefb.. f2ac9..)) (SetAdjoin 9cf65.. a7a44..)
Conjecture a8a5b.. : 8130f.. (binunion f4254.. 00a07..) (SetAdjoin be796.. a7a44..)
Conjecture 03a6f.. : 8130f.. (setminus 2fcc3.. (binunion 6eea5.. 93baa..)) (SetAdjoin be796.. a7a44..)
Conjecture 5d06d.. : 8130f.. (SetAdjoin (binunion be796.. 24928..) 352e1..) 19825..
Conjecture fef56.. : 8130f.. (setminus 8ecbc.. (SetAdjoin 6eea5.. ed5e3..)) (SetAdjoin fd8f6.. a7a44..)
Conjecture 5a8ff.. : 8130f.. (binunion 1f49d.. 00a07..) 98b2f..
Conjecture 82eba.. : 8130f.. f847f.. (binunion d7011.. f5ea0..)
Conjecture 31a67.. : 8130f.. (binunion (SetAdjoin 8aefb.. 848bb..) af961..) (SetAdjoin be796.. a7a44..)
Conjecture c7597.. : 8130f.. (binunion 2599d.. af961..) (SetAdjoin 872a0.. a7a44..)
Conjecture 9bc53.. : 8130f.. (binunion 2599d.. af961..) (SetAdjoin 8d61c.. a7a44..)
Conjecture 24f69.. : 8130f.. f847f.. (SetAdjoin 6eea5.. a7a44..)
Conjecture e81cd.. : 8130f.. fb657.. (SetAdjoin 1188a.. a7a44..)
Conjecture b430a.. : 8130f.. 8ecbc.. ae51c..
Conjecture 5f538.. : 8130f.. (setminus fcf4d.. c6c38..) (binunion ef16c.. 22e44..)
Conjecture 8d4ce.. : 8130f.. (SetAdjoin 0f74a.. 6831b..) (setminus 56f89.. b0d83..)
Conjecture 90745.. : 8130f.. bd5b6.. 7c29f..
Conjecture b18d0.. : 8130f.. a7a44.. 22e44..
Conjecture 09c1d.. : 8130f.. (SetAdjoin be796.. 848bb..) 00a07..
Conjecture 665d1.. : 8130f.. 1188a.. 00a07..
Conjecture d7819.. : 8130f.. (binunion 2599d.. c13c2..) (SetAdjoin 505bf.. 6831b..)
Conjecture 46ec0.. : not (atleast6 (binunion 848bb.. (SetAdjoin bd5b6.. 6eea5..)))
Conjecture 5cc2c.. : not (ac550.. (SetAdjoin 1c486.. f1386..))
Conjecture 81f70.. : not (70d40.. (binunion (SetAdjoin 1188a.. ed5e3..) 336d5..))
Conjecture 7bd3f.. : not (05043.. (binunion 708c9.. 336d5..))
Conjecture 21e70.. : Subq (binunion (SetAdjoin abc04.. f1386..) de3ab..) (binunion (binunion 2599d.. 6f877..) 3dbab..)
Conjecture a1043.. : Subq (binunion (setminus 8ecbc.. (binunion b41cc.. bd5b6..)) de3ab..) (binunion (binunion 2599d.. 85ed4..) (binunion 7c23e.. f944c..))
Conjecture a52c7.. : not (atleast6 (binunion (SetAdjoin 1188a.. f1386..) f4254..))
Conjecture f1667.. : not (atleast6 (binunion (SetAdjoin 0205e.. f1386..) (SetAdjoin 8d61c.. 6831b..)))
Conjecture 1885a.. : not (atleast6 (binunion (binunion ef16c.. 6f877..) f4254..))
Conjecture 1c673.. : not (ac550.. (binunion (binunion 2599d.. (binunion bd5b6.. 24928..)) (SetAdjoin b0d83.. 6831b..)))
Conjecture 78777.. : Subq (binunion (binunion 2599d.. (binunion d7011.. 93baa..)) f4254..) (binunion (binunion 78f47.. af961..) (SetAdjoin 2599d.. 0f96c..))
Conjecture 76e13.. : not (70d40.. (SetAdjoin (binunion b0d83.. c3c30..) 352e1..))
Conjecture f73b2.. : Subq (binunion (SetAdjoin (SetAdjoin f2ac9.. 8d61c..) f1386..) fd8f6..) (binunion (binunion (binunion be796.. 93baa..) 00a07..) (SetAdjoin 2599d.. 0f96c..))
Conjecture 93551.. : not (0dda1.. (binunion (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) 6831b..) fd8f6..))
Conjecture 29f9e.. : Subq (setminus ee99e.. ed297..) (binunion (SetAdjoin 7c23e.. 6831b..) (SetAdjoin bd5b6.. 352e1..))
Conjecture 06424.. : not (ac550.. (binunion (SetAdjoin b0d83.. 6eea5..) c57b3..))
Conjecture af3f3.. : not (atleast4 (binunion 8d61c.. bc624..))
Conjecture 3d5b1.. : not (70d40.. (binunion 0f74a.. (setminus 56f89.. b0d83..)))
Conjecture 82bd7.. : not (atleast6 (binunion 7c23e.. (setminus 56f89.. ef16c..)))
Conjecture 75039.. : not (ac550.. (binunion 2599d.. (binunion be796.. 56f89..)))
Conjecture 0a18d.. : not (70d40.. (binunion (SetAdjoin 6eea5.. ed5e3..) 2def3..))
Conjecture ac084.. : Subq (binunion f0c02.. 67274..) (binunion 8b0cd.. (SetAdjoin 634d0.. 0f96c..))
Conjecture 9f388.. : not (0dda1.. (binunion fb657.. 634d0..))
Conjecture 455f1.. : Subq (setminus 52f2b.. d0721..) (binunion f847f.. (binunion 352e1.. 22e44..))
Conjecture d079e.. : not (atleast6 (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) 6831b..) 634d0..))
Conjecture fc0f8.. : not (atleast6 (binunion (SetAdjoin 7c23e.. 6831b..) 634d0..))
Conjecture 60ca0.. : not (0dda1.. (binunion f847f.. (binunion 0f74a.. 7c29f..)))
Conjecture bba95.. : not (atleast6 (SetAdjoin f2ac9.. a7a44..))
Conjecture 744a6.. : not (atleast4 (SetAdjoin abc04.. a7a44..))
Conjecture 8d36a.. : Subq (binunion (binunion (binunion 848bb.. 1188a..) 7c23e..) f846b..) (binunion (binunion (SetAdjoin 1188a.. ed5e3..) 7c29f..) (SetAdjoin 848bb.. a7a44..))
Conjecture cdd24.. : not (atleast6 (binunion (SetAdjoin 505bf.. f1386..) f846b..))
Conjecture 7784b.. : Subq (binunion (setminus 8ecbc.. (binunion b41cc.. bd5b6..)) f846b..) (binunion 19825.. (binunion 0205e.. ea971..))
Conjecture bd637.. : Subq (binunion 2599d.. f5ea0..) (binunion (binunion (SetAdjoin be796.. 848bb..) af961..) 19825..)
Conjecture 702d7.. : not (70d40.. (binunion (binunion 2599d.. (SetAdjoin bd5b6.. 848bb..)) f846b..))
Conjecture 95f92.. : not (0dda1.. (binunion (SetAdjoin 814a9.. 6831b..) f846b..))
Conjecture 04fff.. : Subq (binunion f847f.. (SetAdjoin 0f74a.. a7a44..)) (binunion f847f.. (binunion 505bf.. f944c..))
Conjecture 53ecb.. : not (0dda1.. (binunion (SetAdjoin (binunion d7011.. 93baa..) 6831b..) 19825..))
Conjecture c9a1d.. : Subq (binunion (binunion bd5b6.. 00a07..) f846b..) (binunion (binunion 00a07.. 147a5..) 19825..)
Conjecture 00c2a.. : not (atleast6 (binunion 655fa.. (SetAdjoin 6831b.. a7a44..)))
Conjecture 1ba05.. : Subq (binunion (SetAdjoin 8b0cd.. 352e1..) (SetAdjoin ef16c.. a7a44..)) (binunion (binunion (SetAdjoin ef16c.. 6eea5..) 67274..) bd7e5..)
Conjecture b11fd.. : not (atleast6 (binunion (binunion ef16c.. 7c29f..) f846b..))
Conjecture c66b7.. : not (ac550.. (binunion (binunion 2599d.. 22e44..) (binunion be796.. f944c..)))
Conjecture 7baf8.. : not (05043.. (binunion (binunion (SetAdjoin 8aefb.. 6eea5..) 85ed4..) f846b..))
Conjecture 725f4.. : Subq (binunion (binunion (SetAdjoin 8aefb.. 6eea5..) 2def3..) f846b..) (binunion (binunion 67274.. f944c..) (binunion d7011.. ea971..))
Conjecture 5ad83.. : not (70d40.. (binunion (binunion f4254.. 7c29f..) (SetAdjoin (SetAdjoin b0d83.. ed5e3..) a7a44..)))
Conjecture 5e04b.. : not (0dda1.. (binunion (binunion 848bb.. 32159..) 4a208..))
Conjecture a9383.. : not (70d40.. (SetAdjoin (SetAdjoin bd5b6.. 6eea5..) 96458..))
Conjecture fbc9d.. : not (0dda1.. (binunion (binunion 848bb.. (SetAdjoin bd5b6.. 6eea5..)) 4a208..))
Conjecture 75352.. : not (atleast6 (binunion (binunion 848bb.. 7c23e..) 4a208..))
Conjecture f4e27.. : Subq (binunion (setminus 8ecbc.. (binunion b41cc.. bd5b6..)) 4a208..) (binunion 5f7f9.. (binunion 0205e.. ea971..))
Conjecture 9d838.. : not (0dda1.. (binunion (binunion d7011.. af961..) 4a208..))
Conjecture 3f123.. : Subq (binunion (binunion de3ab.. af961..) 4a208..) (binunion (binunion af961.. 85ed4..) 5f7f9..)
Conjecture 70bae.. : Subq (binunion (SetAdjoin (binunion bd5b6.. 24928..) 6831b..) 4a208..) (binunion (binunion bd5b6.. 336d5..) 15860..)
Conjecture 1c49f.. : not (05043.. (binunion (SetAdjoin 44a5b.. 6831b..) (SetAdjoin bd5b6.. 96458..)))
Conjecture 076a2.. : Subq (binunion (SetAdjoin c13c2.. 6831b..) 4a208..) (binunion (binunion c3c30.. 85ed4..) 15860..)
Conjecture c25cb.. : Subq (binunion (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) 352e1..) 4a208..) (binunion (SetAdjoin fd8f6.. 96458..) (binunion 8aefb.. ea971..))
Conjecture 408c1.. : not (0dda1.. (binunion (binunion 6f877.. 00a07..) 5f7f9..))
Conjecture 6151d.. : not (atleast3 (SetAdjoin 634d0.. 96458..))
Conjecture e5527.. : not (0dda1.. (binunion (binunion 2599d.. (setminus 56f89.. ef16c..)) (SetAdjoin 8d61c.. 96458..)))
Conjecture 3ad77.. : Subq (binunion (binunion 2599d.. 147a5..) (SetAdjoin 352e1.. 96458..)) (binunion (binunion 00a07.. 147a5..) 5f7f9..)
Conjecture 104a9.. : not (70d40.. (binunion (binunion 2599d.. 7c29f..) (SetAdjoin 9cf65.. 96458..)))
Conjecture d6db4.. : not (ac550.. (binunion 85ed4.. 13d3b..))
Conjecture 2346d.. : Subq (binunion (binunion c1b53.. 85ed4..) 4a208..) (binunion (SetAdjoin 85ed4.. 96458..) (binunion 8d61c.. 0bd31..))
Conjecture 70861.. : Subq (binunion (binunion 2599d.. 2def3..) (SetAdjoin 8d61c.. 96458..)) (binunion (binunion 85ed4.. f944c..) 5f7f9..)
Conjecture 7b79e.. : not (0dda1.. (binunion (binunion af961.. 7c29f..) 4a208..))
Conjecture 3154f.. : not (ac550.. (binunion (binunion f4254.. 67274..) (SetAdjoin 505bf.. 96458..)))
Conjecture 2260e.. : not (atleast6 (binunion (binunion fd8f6.. 88808..) (SetAdjoin ef16c.. 96458..)))
Conjecture 40975.. : not (0dda1.. (binunion (binunion 00a07.. 85ed4..) 5f7f9..))
Conjecture 686df.. : Subq (binunion (SetAdjoin 872a0.. a7a44..) 4a208..) (binunion (setminus efd97.. a63b1..) (SetAdjoin ef16c.. 0f96c..))
Conjecture f2f10.. : not (atleast6 (binunion 19825.. (SetAdjoin b41cc.. 96458..)))
Conjecture 27f15.. : Subq (binunion (SetAdjoin (binunion ef16c.. 93baa..) a7a44..) 4a208..) (binunion (binunion (SetAdjoin ef16c.. 6eea5..) 67274..) (setminus efd97.. a63b1..))
Conjecture fd854.. : not (0dda1.. (binunion (binunion 6f877.. f944c..) (SetAdjoin be796.. 96458..)))
Conjecture 3584a.. : not (atleast6 (binunion (SetAdjoin fd8f6.. a7a44..) (SetAdjoin (SetAdjoin ef16c.. 848bb..) 96458..)))
Conjecture 43383.. : not (ac550.. (binunion (SetAdjoin 00a07.. a7a44..) (SetAdjoin de3ab.. 96458..)))
Conjecture a9bb1.. : not (ac550.. (binunion (SetAdjoin 2def3.. a7a44..) (SetAdjoin 7c23e.. 96458..)))
Conjecture bf46f.. : Subq (binunion (binunion f0c02.. 67274..) 15860..) (binunion (binunion 7c23e.. 67274..) 15860..)
Conjecture 4066d.. : not (ac550.. (binunion (SetAdjoin 88808.. a7a44..) (SetAdjoin 00a07.. 96458..)))
Conjecture 430b3.. : not (ac550.. (binunion (setminus (setminus 5615a.. ed5e3..) af961..) (SetAdjoin f846b.. 96458..)))
Conjecture 50dd2.. : not (atleast4 (binunion (SetAdjoin 8d61c.. f1386..) 9188a..))
Conjecture 582c1.. : Subq (SetAdjoin (binunion bd5b6.. 24928..) 56fa4..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin be796.. 56fa4..))
Conjecture b81a5.. : not (70d40.. (binunion (binunion 2599d.. 6f877..) (SetAdjoin 872a0.. 56fa4..)))
Conjecture c6330.. : Subq (binunion (SetAdjoin 5767d.. 6831b..) 9188a..) (binunion (SetAdjoin f4254.. 56fa4..) (binunion ef16c.. 3dbab..))
Conjecture 3a5ea.. : not (05043.. (binunion (binunion 32159.. af961..) 9188a..))
Conjecture ec3a7.. : Subq (binunion (SetAdjoin 336d5.. 6831b..) 9188a..) (binunion (binunion af961.. 85ed4..) (SetAdjoin f0c02.. 56fa4..))
Conjecture 6a1e4.. : Subq (binunion (SetAdjoin (binunion 8d61c.. 93baa..) 6831b..) 9116c..) (binunion (binunion (SetAdjoin 8d61c.. 848bb..) af961..) 9116c..)
Conjecture 111cb.. : not (ac550.. (binunion (SetAdjoin 8b0cd.. 352e1..) 9188a..))
Conjecture ad4ba.. : not (atleast6 (binunion (SetAdjoin 6f877.. 352e1..) (SetAdjoin 8d61c.. 56fa4..)))
Conjecture c0bed.. : not (05043.. (binunion (setminus f0c00.. ed297..) (SetAdjoin b0d83.. 56fa4..)))
Conjecture 34a2f.. : not (atleast4 (SetAdjoin bc624.. 56fa4..))
Conjecture c4930.. : not (atleast4 (SetAdjoin 22e44.. 56fa4..))
Conjecture fda03.. : not (0dda1.. (binunion (binunion 2599d.. (setminus 56f89.. b0d83..)) (SetAdjoin 8d61c.. 56fa4..)))
Conjecture 7be74.. : not (atleast6 (binunion (binunion 2599d.. 88808..) 9188a..))
Conjecture 0a779.. : not (ac550.. (binunion (binunion f4254.. 67274..) (SetAdjoin 7c23e.. 56fa4..)))
Conjecture 1f9b5.. : not (atleast4 (binunion (SetAdjoin b0d83.. a7a44..) 9188a..))
Conjecture 1a551.. : not (70d40.. (binunion (SetAdjoin 7c23e.. a7a44..) (SetAdjoin 6831b.. 56fa4..)))
Conjecture 2d296.. : Subq (binunion (SetAdjoin (binunion 6eea5.. 93baa..) a7a44..) 9188a..) (binunion (binunion (binunion ef16c.. 93baa..) f944c..) 9116c..)
Conjecture 690a5.. : Subq (binunion (SetAdjoin (binunion d7011.. 93baa..) a7a44..) (SetAdjoin ef16c.. 56fa4..)) (binunion (binunion 872a0.. 67274..) bd7e5..)
Conjecture c5d33.. : not (0dda1.. (binunion (binunion 6f877.. f944c..) 9188a..))
Conjecture 928c4.. : not (atleast5 (binunion (SetAdjoin f4254.. a7a44..) (SetAdjoin ef16c.. 56fa4..)))
Conjecture dc925.. : Subq (binunion (SetAdjoin f4254.. a7a44..) (SetAdjoin (binunion 8d61c.. 93baa..) 56fa4..)) (binunion (binunion 67274.. f944c..) (SetAdjoin f4254.. 56fa4..))
Conjecture ca47c.. : not (70d40.. (binunion (SetAdjoin 78f47.. 6831b..) (setminus 8230b.. a63b1..)))
Conjecture 8c2dc.. : Subq (binunion (SetAdjoin (binunion d7011.. 93baa..) 6831b..) (setminus 8230b.. a63b1..)) (binunion (binunion 78f47.. af961..) (setminus 8230b.. a63b1..))
Conjecture ba4a7.. : not (atleast6 (binunion (SetAdjoin fd8f6.. a7a44..) (SetAdjoin 9cf65.. 56fa4..)))
Conjecture 2ad2a.. : Subq (binunion (SetAdjoin 00a07.. a7a44..) (SetAdjoin 1188a.. 56fa4..)) (binunion (binunion 32159.. af961..) bd7e5..)
Conjecture cc9a2.. : not (ac550.. (binunion (SetAdjoin 00a07.. a7a44..) (SetAdjoin f0c02.. 56fa4..)))
Conjecture bbd6c.. : not (atleast6 (binunion (setminus c57b3.. de3ab..) (SetAdjoin f846b.. 56fa4..)))
Conjecture de606.. : Subq (binunion (SetAdjoin (setminus 56f89.. b0d83..) a7a44..) (SetAdjoin 7c23e.. 56fa4..)) (binunion (binunion 00a07.. 22e44..) (setminus 8230b.. a63b1..))
Conjecture 9848a.. : not (0dda1.. (binunion (SetAdjoin (SetAdjoin 6eea5.. f2ac9..) a7a44..) 9116c..))
Conjecture 5a8b5.. : not (ac550.. (binunion (SetAdjoin 2def3.. a7a44..) (SetAdjoin b0d83.. 56fa4..)))
Conjecture c7cac.. : not (ac550.. (binunion (SetAdjoin 2def3.. a7a44..) (SetAdjoin 505bf.. 56fa4..)))
Conjecture 319b8.. : not (0dda1.. (binunion (binunion 872a0.. 85ed4..) (setminus 8230b.. a63b1..)))
Conjecture 3a194.. : Subq (binunion (binunion 634d0.. f944c..) (SetAdjoin f4254.. 56fa4..)) (binunion (binunion 85ed4.. f944c..) (SetAdjoin f4254.. 56fa4..))
Conjecture 8f0a9.. : Subq (binunion (SetAdjoin 7c29f.. a7a44..) (SetAdjoin af961.. 56fa4..)) (binunion (binunion af961.. 85ed4..) (setminus 8230b.. a63b1..))
Conjecture 5fe23.. : Subq (binunion (setminus d3366.. f4254..) (SetAdjoin f846b.. 56fa4..)) (binunion (binunion (SetAdjoin b41cc.. f2ac9..) f944c..) (SetAdjoin fd8f6.. 56fa4..))
Conjecture 94d1a.. : not (0dda1.. (binunion (binunion 6831b.. 22e44..) bd7e5..))
Conjecture 7abb5.. : not (ac550.. (binunion (binunion fd8f6.. (setminus 56f89.. ef16c..)) (setminus 8230b.. a63b1..)))
Conjecture 5fe2f.. : not (05043.. (binunion (setminus (setminus 5615a.. 848bb..) af961..) (SetAdjoin f846b.. 56fa4..)))
Conjecture 2fbcf.. : Subq (binunion (SetAdjoin 814a9.. 96458..) 9188a..) (binunion (setminus efd97.. 52f2b..) (SetAdjoin a7a44.. 56fa4..))
Conjecture ba50d.. : not (70d40.. (binunion (SetAdjoin 32159.. 96458..) 9188a..))
Conjecture 88ddc.. : not (atleast6 (binunion (SetAdjoin (SetAdjoin 8d61c.. 848bb..) 96458..) 9116c..))
Conjecture 009c9.. : not (atleast6 (binunion (setminus efd97.. 52f2b..) (SetAdjoin ef16c.. 56fa4..)))
Conjecture 31005.. : Subq (binunion (SetAdjoin (binunion b0d83.. bd5b6..) f1386..) 0871d..) (binunion 9116c.. (binunion 6831b.. (SetAdjoin bd5b6.. 0f96c..)))
Conjecture 628bb.. : Subq (binunion (binunion 2599d.. (binunion be796.. 93baa..)) (SetAdjoin ef16c.. 0f96c..)) (binunion (binunion (binunion be796.. 93baa..) 00a07..) (SetAdjoin 2599d.. 0f96c..))
Conjecture e891b.. : not (atleast4 (binunion f4254.. 3dbab..))
Conjecture 9d8ba.. : Subq (binunion (SetAdjoin (binunion be796.. 93baa..) 6831b..) 0871d..) (binunion (binunion af961.. 85ed4..) 3dbab..)
Conjecture e8987.. : not (0dda1.. (binunion fd8f6.. (setminus 94f4d.. 848bb..)))
Conjecture e540b.. : not (atleast4 (binunion fd8f6.. (SetAdjoin de3ab.. 0f96c..)))
Conjecture 2a1d6.. : Subq (binunion (SetAdjoin 336d5.. 352e1..) 0bd31..) (binunion (binunion 6f877.. 00a07..) 0bd31..)
Conjecture 24077.. : Subq (binunion (binunion 9cf65.. 22e44..) 0871d..) (binunion (SetAdjoin 22e44.. 56fa4..) (binunion 848bb.. 3dbab..))
Conjecture 4344e.. : not (atleast5 (binunion 24928.. (SetAdjoin 634d0.. 0f96c..)))
Conjecture 46239.. : not (0dda1.. (binunion (binunion 7c23e.. 67274..) (SetAdjoin ef16c.. 0f96c..)))
Conjecture b1ecc.. : not (0dda1.. (binunion (binunion fd8f6.. 7c29f..) (binunion bd5b6.. 0bd31..)))
Conjecture 23d04.. : not (ac550.. (binunion (setminus (setminus 5615a.. ed5e3..) af961..) (binunion d7011.. ea971..)))
Conjecture b8f6a.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin ed5e3.. 6eea5..) a7a44..) 0871d..))
Conjecture c7c03.. : Subq (binunion (SetAdjoin (binunion b41cc.. 24928..) a7a44..) 0871d..) (binunion (binunion (binunion ef16c.. 93baa..) f944c..) (SetAdjoin 2599d.. 0f96c..))
Conjecture b9925.. : Subq (binunion (SetAdjoin 336d5.. a7a44..) (SetAdjoin b0d83.. 0f96c..)) (binunion (binunion 67274.. f944c..) ea971..)
Conjecture b074c.. : Subq (binunion (binunion (SetAdjoin c3c30.. f2ac9..) f944c..) 0871d..) (binunion (binunion 85ed4.. f944c..) (binunion ef16c.. ea971..))
Conjecture 177ae.. : not (70d40.. (binunion (SetAdjoin 7c23e.. 96458..) (SetAdjoin b41cc.. 0f96c..)))
Conjecture 68602.. : not (0dda1.. (binunion 5f7f9.. (binunion 352e1.. (SetAdjoin bd5b6.. 0f96c..))))
Conjecture eed07.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin ed5e3.. f2ac9..) 96458..) 0871d..))
Conjecture 656b1.. : not (70d40.. (binunion (SetAdjoin (setminus 56f89.. ef16c..) 96458..) 0871d..))
Conjecture c7352.. : not (70d40.. (binunion (SetAdjoin 22e44.. 96458..) (SetAdjoin bd5b6.. 0f96c..)))
Conjecture ec7e9.. : not (atleast6 (binunion (SetAdjoin 85ed4.. 96458..) (SetAdjoin ef16c.. 0f96c..)))
Conjecture 2ec8c.. : not (70d40.. (binunion (setminus efd97.. a63b1..) (setminus 94f4d.. b41cc..)))
Conjecture af983.. : not (70d40.. (binunion 15860.. (binunion b0d83.. 0bd31..)))
Conjecture 6b159.. : Subq (binunion (SetAdjoin f4254.. 56fa4..) (setminus 94f4d.. 848bb..)) (binunion (SetAdjoin f4254.. 56fa4..) (binunion b41cc.. (SetAdjoin bd5b6.. 0f96c..)))
Conjecture 12ea8.. : Subq (binunion (SetAdjoin f4254.. 56fa4..) (binunion 848bb.. (SetAdjoin bd5b6.. 0f96c..))) (binunion (SetAdjoin f4254.. 56fa4..) (binunion 814a9.. ea971..))
Conjecture 58d83.. : not (atleast6 (binunion (SetAdjoin f846b.. 56fa4..) (binunion 8d61c.. 0bd31..)))
Conjecture f1151.. : not (70d40.. (binunion (SetAdjoin f846b.. 56fa4..) (binunion 6831b.. 0bd31..)))

Proofgold Asset