Proofgold Asset

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 95b8a.. : Subq (SetAdjoin f0c02.. a7a44..) (SetAdjoin c3c30.. a7a44..)
Conjecture 0b3a1.. : atleast3 (binunion (binunion ef16c.. 7c23e..) f846b..)
Conjecture a0a12.. : atleast3 (SetAdjoin (binunion 8aefb.. c3c30..) a7a44..)
Conjecture 237d8.. : not (Subq (binunion 9cf65.. a58c4..) (binunion 814a9.. 7c23e..))
Conjecture 2463f.. : atleast4 1f49d..
Conjecture fa233.. : not (Subq (binunion (binunion 848bb.. 1c486..) 1f49d..) (setminus 8ecbc.. (SetAdjoin b0d83.. ed5e3..)))
Conjecture 55c7e.. : atleast4 (binunion (SetAdjoin b0d83.. ed5e3..) (binunion c3c30.. 24928..))
Conjecture 4c8ca.. : Subq (binunion (setminus 8ecbc.. 1c486..) de3ab..) (binunion (SetAdjoin (SetAdjoin f2ac9.. ed5e3..) f1386..) de3ab..)
Conjecture ec4a9.. : not (Subq (binunion 2599d.. c13c2..) (binunion (SetAdjoin (SetAdjoin 8d61c.. 6eea5..) f1386..) de3ab..))
Conjecture adfbf.. : Subq (SetAdjoin 0f74a.. 6831b..) (binunion (binunion ef16c.. 0f74a..) f4254..)
Conjecture 122fc.. : atleast4 (binunion (binunion be796.. a58c4..) f4254..)
Conjecture 4f32e.. : not (Subq (binunion (setminus 8ecbc.. (binunion ef16c.. 1188a..)) f4254..) (binunion (setminus 8ecbc.. (binunion b41cc.. bd5b6..)) f4254..))
Conjecture 73583.. : atleast4 (SetAdjoin (SetAdjoin 6eea5.. 848bb..) 6831b..)
Conjecture 2a516.. : Subq (binunion (binunion ef16c.. 336d5..) f4254..) (binunion 5cb5b.. f1650..)
Conjecture 021b5.. : Subq (binunion (binunion d7011.. 336d5..) f4254..) (binunion (binunion c1b53.. 336d5..) f4254..)
Conjecture 8b94e.. : not (Subq (binunion (binunion (SetAdjoin 1188a.. ed5e3..) 336d5..) f4254..) (binunion (binunion 505bf.. 336d5..) f4254..))
Conjecture 8c317.. : not (Subq (binunion (binunion 2599d.. 93baa..) f4254..) (binunion (SetAdjoin 2599d.. 848bb..) f4254..))
Conjecture 14bae.. : not (Subq (binunion (binunion 2599d.. (SetAdjoin 0f96c.. 848bb..)) f4254..) (binunion (binunion 2599d.. (binunion 6eea5.. 24928..)) f4254..))
Conjecture 0c792.. : not (Subq (binunion (binunion 2599d.. 6f877..) (SetAdjoin 872a0.. 6831b..)) (binunion (binunion 2599d.. 6f877..) (SetAdjoin d7011.. 6831b..)))
Conjecture 9fd2d.. : atleast4 (binunion 8d61c.. 00a07..)
Conjecture 7a75a.. : Subq (SetAdjoin 32159.. 352e1..) (SetAdjoin 708c9.. 352e1..)
Conjecture f336a.. : Subq (binunion 0f74a.. 00a07..) (binunion (binunion be796.. 8aefb..) 00a07..)
Conjecture df7ce.. : not (Subq (binunion (SetAdjoin 6eea5.. f1386..) fd8f6..) (binunion (SetAdjoin 8d61c.. f1386..) fd8f6..))
Conjecture e7c18.. : atleast4 (binunion (SetAdjoin (SetAdjoin 1188a.. ed5e3..) f1386..) fd8f6..)
Conjecture f7a47.. : not (Subq (binunion (setminus 8ecbc.. (binunion b41cc.. bd5b6..)) fd8f6..) (binunion (SetAdjoin 7c23e.. f1386..) fd8f6..))
Conjecture 3c5e8.. : atleast4 (binunion (setminus 8ecbc.. f1386..) fd8f6..)
Conjecture 5f9ca.. : Subq (SetAdjoin (SetAdjoin be796.. 848bb..) 352e1..) (SetAdjoin (SetAdjoin bd5b6.. 848bb..) 352e1..)
Conjecture 6d174.. : atleast4 (binunion (binunion 1188a.. 44a5b..) fd8f6..)
Conjecture 3313f.. : Subq (binunion (binunion be796.. 44a5b..) fd8f6..) (binunion (binunion bd5b6.. 44a5b..) fd8f6..)
Conjecture 056e2.. : Subq (SetAdjoin c13c2.. 352e1..) (binunion (SetAdjoin ef16c.. 6eea5..) d0721..)
Conjecture b29ef.. : not (Subq (binunion 6f877.. 00a07..) (SetAdjoin 336d5.. 352e1..))
Conjecture f136c.. : atleast4 (binunion (binunion 1188a.. 336d5..) fd8f6..)
Conjecture 047c3.. : atleast4 (binunion 5eca9.. d0721..)
Conjecture bf2dc.. : atleast4 (binunion (binunion 872a0.. (binunion 1c486.. 24928..)) fd8f6..)
Conjecture 29760.. : Subq (binunion (binunion 2599d.. 44a5b..) fd8f6..) (binunion (binunion 2599d.. 44a5b..) (SetAdjoin ef16c.. 352e1..))
Conjecture 81163.. : not (Subq (binunion (binunion 2599d.. 44a5b..) (SetAdjoin 8d61c.. 352e1..)) (binunion (binunion 2599d.. 44a5b..) fd8f6..))
Conjecture 0423e.. : not (Subq (binunion fb657.. fd8f6..) (binunion (binunion 2599d.. 6f877..) fd8f6..))
Conjecture d1bc8.. : atleast4 (binunion fb657.. (SetAdjoin (binunion ef16c.. 1188a..) 352e1..))
Conjecture d7976.. : atleast4 (binunion (SetAdjoin (binunion be796.. c3c30..) 6831b..) fd8f6..)
Conjecture a8c97.. : atleast4 (setminus ee99e.. 67274..)
Conjecture 3b042.. : not (Subq (binunion (binunion (SetAdjoin 8aefb.. 6eea5..) af961..) fd8f6..) (binunion (SetAdjoin 7c23e.. 6831b..) (SetAdjoin a7a44.. 352e1..)))
Conjecture 999ed.. : not (Subq (binunion f847f.. (SetAdjoin 8d61c.. 352e1..)) (binunion f847f.. fd8f6..))
Conjecture 7279b.. : not (Subq (binunion (setminus 8ecbc.. (SetAdjoin f2ac9.. 8d61c..)) 5cecb..) (binunion f847f.. (SetAdjoin 7c23e.. 352e1..)))
Conjecture 369ae.. : Subq (setminus f0c00.. c6c38..) (binunion (SetAdjoin (binunion d7011.. 93baa..) 6831b..) (SetAdjoin be796.. 352e1..))
Conjecture d4edb.. : atleast4 (setminus fcf4d.. a61bc..)
Conjecture af91e.. : Subq (binunion (SetAdjoin 336d5.. 6831b..) (SetAdjoin be796.. 352e1..)) (setminus ee99e.. (SetAdjoin ed5e3.. f2ac9..))
Conjecture b9a14.. : not (Subq (binunion (SetAdjoin 336d5.. 6831b..) (SetAdjoin d7011.. 352e1..)) (binunion (SetAdjoin 6f877.. 6831b..) (SetAdjoin d7011.. 352e1..)))
Conjecture 615c0.. : not (Subq (binunion (binunion 2599d.. f1650..) (binunion 7c23e.. 00a07..)) (binunion (setminus 8ecbc.. (binunion b0d83.. bd5b6..)) (setminus c57b3.. 8d61c..)))
Conjecture 0a89d.. : Subq (binunion 848bb.. 7c29f..) (binunion a7a44.. 7c29f..)
Conjecture 5ad18.. : not (Subq (binunion ef16c.. (SetAdjoin 1c486.. f2ac9..)) (binunion be796.. (SetAdjoin c3c30.. f2ac9..)))
Conjecture bd58d.. : Subq (binunion (binunion a7a44.. 7c23e..) 634d0..) (binunion 0205e.. (SetAdjoin c3c30.. f2ac9..))
Conjecture 35f8d.. : Subq (binunion 2599d.. 88808..) (binunion (SetAdjoin 5767d.. f1386..) 634d0..)
Conjecture f3dc0.. : Subq (binunion 2599d.. 147a5..) (binunion (SetAdjoin (binunion b0d83.. bd5b6..) f1386..) 634d0..)
Conjecture b667f.. : not (Subq (binunion (SetAdjoin (binunion 848bb.. 1c486..) f1386..) 634d0..) (binunion (setminus 8ecbc.. (SetAdjoin b41cc.. ed5e3..)) 634d0..))
Conjecture 4e1e1.. : Subq (binunion d7011.. 85ed4..) (binunion 872a0.. 85ed4..)
Conjecture 2e0d6.. : atleast4 (binunion c1b53.. ed297..)
Conjecture 4da7e.. : not (Subq (binunion fb657.. 147a5..) (binunion fb657.. 88808..))
Conjecture 7e247.. : Subq (binunion (binunion 2599d.. 6f877..) (binunion 8d61c.. 22e44..)) (binunion (binunion 2599d.. 8b0cd..) (binunion 8d61c.. 22e44..))
Conjecture f6cf7.. : atleast4 (binunion (binunion 2599d.. (binunion c3c30.. 93baa..)) 22e44..)
Conjecture e578c.. : atleast4 (setminus a63b1.. d0721..)
Conjecture f03b5.. : atleast4 (binunion (SetAdjoin (binunion 8d61c.. 708c9..) 6831b..) 634d0..)
Conjecture 873fa.. : Subq (binunion (SetAdjoin 0f74a.. 6831b..) (setminus 56f89.. b0d83..)) (binunion (binunion (binunion 8d61c.. 708c9..) af961..) 634d0..)
Conjecture 5f658.. : Subq (binunion f4254.. (SetAdjoin c3c30.. f2ac9..)) (binunion (SetAdjoin (binunion b0d83.. c3c30..) 6831b..) 634d0..)
Conjecture 61202.. : not (Subq (binunion f847f.. (SetAdjoin b0d83.. f2ac9..)) (binunion f847f.. 634d0..))
Conjecture 1c23d.. : atleast4 (binunion f847f.. bc624..)
Conjecture b815e.. : not (Subq (binunion f847f.. 88808..) (binunion f847f.. 634d0..))
Conjecture 6c3ba.. : atleast4 (binunion f847f.. (binunion 848bb.. 147a5..))
Conjecture 3154c.. : not (Subq (binunion f847f.. (binunion be796.. 7c29f..)) (binunion f847f.. 7c29f..))
Conjecture 93ed9.. : not (Subq (binunion f847f.. (binunion d7011.. (SetAdjoin 1c486.. f2ac9..))) (binunion f847f.. (binunion 0f74a.. 7c29f..)))
Conjecture 16aa4.. : not (Subq (binunion (SetAdjoin (binunion bd5b6.. 24928..) 6831b..) 1488f..) (binunion (SetAdjoin (binunion bd5b6.. 24928..) 6831b..) 634d0..))
Conjecture d6df4.. : atleast4 (binunion (binunion 6f877.. af961..) (binunion 8d61c.. 22e44..))
Conjecture c9b8b.. : atleast4 (binunion (binunion 1f49d.. f1650..) (binunion 848bb.. 7c29f..))
Conjecture 3d3ad.. : not (Subq (binunion (SetAdjoin 336d5.. 6831b..) (binunion 2599d.. 147a5..)) (binunion (SetAdjoin 336d5.. 6831b..) (binunion 2599d.. 88808..)))
Conjecture 64dc0.. : not (Subq (binunion (SetAdjoin 505bf.. 352e1..) bc624..) (binunion (SetAdjoin 505bf.. 352e1..) 634d0..))
Conjecture ee9c5.. : atleast4 (binunion (SetAdjoin 7c23e.. 352e1..) (binunion ef16c.. 88808..))
Conjecture e4ecf.. : Subq (binunion 655fa.. (binunion a7a44.. 7c29f..)) (binunion 655fa.. (binunion 96458.. 7c29f..))
Conjecture abec8.. : Subq (binunion (SetAdjoin 336d5.. 352e1..) (binunion be796.. 22e44..)) (binunion (SetAdjoin 336d5.. 352e1..) (binunion 1188a.. 22e44..))
Conjecture 87eff.. : atleast4 (binunion (SetAdjoin (binunion 8d61c.. 24928..) 352e1..) a4ab9..)
Conjecture 1a418.. : not (Subq (binunion (binunion 1f49d.. d0721..) bc624..) (binunion (binunion (SetAdjoin 8d61c.. 848bb..) 00a07..) a4ab9..))
Conjecture 4955f.. : Subq (binunion (SetAdjoin 78f47.. 352e1..) a4ab9..) (binunion (SetAdjoin 78f47.. 352e1..) (binunion 2599d.. a61bc..))
Conjecture 0c8e1.. : atleast4 (binunion (binunion 2599d.. d0721..) 22e44..)
Conjecture bf0ff.. : atleast4 (binunion (SetAdjoin 8b0cd.. 352e1..) (binunion 2599d.. 1488f..))
Conjecture 92e15.. : Subq (binunion (binunion 6f877.. 00a07..) a4ab9..) (binunion (binunion 8b0cd.. 00a07..) a4ab9..)
Conjecture f996f.. : Subq (binunion (SetAdjoin 336d5.. 352e1..) (binunion 2599d.. a61bc..)) (binunion (binunion 2599d.. d0721..) (binunion 848bb.. 7c29f..))
Conjecture 3f035.. : not (Subq (setminus a63b1.. (binunion 8d61c.. 24928..)) (setminus a63b1.. (binunion ed5e3.. 24928..)))
Conjecture 8361d.. : not (Subq (binunion be796.. (setminus 5615a.. 93baa..)) (setminus a63b1.. (binunion ef16c.. 93baa..)))
Conjecture 574b9.. : not (Subq (setminus f0c00.. (binunion b41cc.. 24928..)) (setminus f0c00.. (SetAdjoin 0f96c.. 848bb..)))
Conjecture 935e3.. : not (Subq (setminus fcf4d.. (SetAdjoin ef16c.. 848bb..)) (setminus fcf4d.. (binunion ef16c.. 93baa..)))
Conjecture db4c3.. : atleast4 (binunion 7c23e.. (setminus 5615a.. de3ab..))
Conjecture 03f9c.. : Subq (binunion (setminus 2fcc3.. (binunion ed5e3.. 24928..)) (binunion 2599d.. 88808..)) (binunion (setminus 2fcc3.. (binunion 8d61c.. 24928..)) (binunion 2599d.. 88808..))
Conjecture c6420.. : Subq (setminus 5615a.. ed5e3..) (setminus 5615a.. 8d61c..)
Conjecture d3b5d.. : not (Subq (binunion f0c02.. (setminus 5615a.. 8d61c..)) (binunion f0c02.. (setminus 5615a.. ed5e3..)))
Conjecture 77761.. : Subq (binunion (setminus a63b1.. c6c38..) (binunion 2599d.. bc624..)) (binunion (setminus a63b1.. (SetAdjoin 6eea5.. f2ac9..)) a4ab9..)
Conjecture 700a3.. : not (Subq (binunion (setminus fcf4d.. c6c38..) (binunion 2599d.. (SetAdjoin 708c9.. f2ac9..))) (binunion (binunion 2599d.. 6f877..) (setminus f0c00.. (binunion ed5e3.. 24928..))))
Conjecture 3dafd.. : not (Subq (binunion b0d83.. f944c..) f944c..)
Conjecture da04c.. : not (Subq (binunion (setminus 8ecbc.. c3c30..) f846b..) (binunion (binunion 848bb.. (SetAdjoin 1188a.. ed5e3..)) f846b..))
Conjecture ff31e.. : Subq (SetAdjoin (SetAdjoin ef16c.. 6eea5..) a7a44..) (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) f1386..) f846b..)
Conjecture 9db34.. : not (Subq (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) f1386..) f846b..) (SetAdjoin (SetAdjoin ef16c.. 6eea5..) a7a44..))
Conjecture 18b94.. : not (Subq (binunion (SetAdjoin (SetAdjoin b41cc.. 6eea5..) f1386..) f846b..) (SetAdjoin (SetAdjoin b41cc.. 6eea5..) a7a44..))
Conjecture ed78e.. : atleast5 (binunion 6eea5.. af961..)
Conjecture 68d51.. : atleast5 (binunion (binunion b41cc.. 7c23e..) f4254..)
Conjecture 01e31.. : atleast5 (binunion (SetAdjoin (binunion 848bb.. 8aefb..) f1386..) f4254..)
Conjecture c19dc.. : atleast5 (binunion (binunion 5767d.. 6f877..) f4254..)
Conjecture df27b.. : atleast5 (SetAdjoin 57854.. 352e1..)
Conjecture ff384.. : atleast5 (binunion (binunion b0d83.. 336d5..) fd8f6..)
Conjecture d85c9.. : atleast5 (binunion (binunion 2599d.. 8b0cd..) (SetAdjoin 5767d.. 352e1..))
Conjecture bd812.. : atleast5 (binunion (binunion 505bf.. af961..) fd8f6..)
Conjecture e5296.. : atleast5 (binunion (SetAdjoin 0205e.. f1386..) (setminus c57b3.. de3ab..))
Conjecture 24183.. : atleast5 (binunion (SetAdjoin 78f47.. 6831b..) (SetAdjoin ef16c.. 352e1..))
Conjecture d28c6.. : atleast5 (binunion (binunion 2599d.. f1650..) (SetAdjoin 848bb.. 352e1..))
Conjecture 9c659.. : atleast5 (binunion (binunion 1f49d.. f1650..) (SetAdjoin 9cf65.. 352e1..))
Conjecture 72f69.. : atleast5 (binunion d7011.. (SetAdjoin c3c30.. f2ac9..))
Conjecture 5760f.. : atleast5 (binunion 32159.. 7c29f..)
Conjecture 37c76.. : atleast5 (binunion 0f74a.. 7c29f..)
Conjecture abfc9.. : atleast5 (binunion (setminus 8ecbc.. f2ac9..) 634d0..)
Conjecture 3c976.. : atleast5 (binunion c3c30.. 2def3..)
Conjecture 92369.. : atleast5 (binunion (SetAdjoin (binunion d7011.. 93baa..) 6831b..) 88808..)
Conjecture 493c8.. : atleast5 (binunion (SetAdjoin 78f47.. 6831b..) (binunion 2599d.. 88808..))
Conjecture 23726.. : atleast5 (binunion (SetAdjoin c13c2.. 6831b..) (binunion 2599d.. 88808..))
Conjecture 8d8e2.. : atleast5 (binunion (SetAdjoin 1f49d.. 352e1..) 634d0..)
Conjecture 1aebd.. : atleast5 (binunion (SetAdjoin (binunion bd5b6.. 24928..) 352e1..) 634d0..)
Conjecture ffc7b.. : atleast5 (binunion (SetAdjoin c13c2.. 352e1..) a4ab9..)
Conjecture d7088.. : atleast5 (binunion (binunion 8b0cd.. 00a07..) a4ab9..)
Conjecture 4d994.. : atleast5 (binunion 20338.. (binunion 352e1.. 22e44..))
Conjecture d9f12.. : atleast5 (binunion 20338.. (binunion d7011.. 7c29f..))
Conjecture 8297e.. : atleast5 (binunion (SetAdjoin (binunion be796.. c3c30..) f1386..) f846b..)
Conjecture f5b56.. : atleast5 (binunion (setminus 8ecbc.. bd5b6..) f846b..)
Conjecture 53064.. : atleast5 (binunion (setminus 8ecbc.. 0f96c..) f846b..)
Conjecture 4593a.. : Subq (binunion (SetAdjoin (SetAdjoin ed5e3.. 6eea5..) f1386..) f846b..) (binunion (binunion 5eca9.. 1f49d..) f846b..)
Conjecture bc16e.. : not (Subq (binunion (setminus 8ecbc.. b0d83..) f846b..) (binunion (SetAdjoin (SetAdjoin 8d61c.. 6eea5..) f1386..) f846b..))
Conjecture d42d7.. : Subq (binunion be796.. f944c..) (binunion (SetAdjoin be796.. 848bb..) f944c..)
Conjecture 055bf.. : Subq (binunion (SetAdjoin ed5e3.. f1386..) f846b..) (binunion (binunion 2599d.. (binunion 8d61c.. 93baa..)) f846b..)
Conjecture 32137.. : atleast6 (binunion (setminus 8ecbc.. b41cc..) de3ab..)
Conjecture 033ca.. : atleast6 (binunion (setminus 8ecbc.. c3c30..) f4254..)
Conjecture 80d3b.. : atleast6 (binunion (binunion bd5b6.. 336d5..) f4254..)
Conjecture f6084.. : atleast6 (binunion (binunion 2599d.. 8b0cd..) (SetAdjoin 32159.. 352e1..))
Conjecture a84d3.. : atleast6 (binunion (binunion 0f74a.. af961..) fd8f6..)
Conjecture 91a47.. : atleast6 (binunion (SetAdjoin 7c23e.. 6831b..) 00a07..)
Conjecture ab8c7.. : atleast6 (binunion f847f.. (SetAdjoin (binunion b0d83.. bd5b6..) 352e1..))
Conjecture 80ca7.. : atleast6 (binunion (setminus 8ecbc.. (SetAdjoin b41cc.. 6eea5..)) 5cecb..)
Conjecture 7aebc.. : atleast6 (binunion (setminus 8ecbc.. (SetAdjoin f2ac9.. 8d61c..)) 5cecb..)
Conjecture 92a1e.. : atleast6 (binunion (SetAdjoin (SetAdjoin 6eea5.. 848bb..) 6831b..) 655fa..)
Conjecture 40cda.. : atleast6 (SetAdjoin 8ecbc.. f2ac9..)
Conjecture 299ef.. : atleast6 (binunion (binunion ef16c.. bd5b6..) 2def3..)
Conjecture f23c2.. : atleast6 (binunion (binunion 2599d.. af961..) 1488f..)
Conjecture 8d146.. : atleast6 (binunion (binunion (SetAdjoin 8aefb.. 848bb..) af961..) 634d0..)
Conjecture 83e91.. : atleast6 (binunion (SetAdjoin 336d5.. 6831b..) 1488f..)
Conjecture 21d4d.. : atleast6 (binunion (binunion 2599d.. f1650..) (binunion be796.. 22e44..))
Conjecture 029f4.. : atleast6 (binunion (SetAdjoin a58c4.. 352e1..) 634d0..)
Conjecture c4c1e.. : atleast6 (binunion 655fa.. (SetAdjoin 8aefb.. f2ac9..))
Conjecture ef0c1.. : atleast6 (binunion (binunion 2599d.. d0721..) (binunion 848bb.. 88808..))
Conjecture 873dc.. : atleast6 (binunion (binunion 8b0cd.. 00a07..) a4ab9..)
Conjecture 82437.. : atleast6 (binunion abc04.. (setminus 5615a.. 93baa..))
Conjecture c575e.. : atleast6 (binunion 655fa.. (setminus f0c00.. d0721..))
Conjecture 9063a.. : atleast6 (binunion (setminus ee99e.. 2def3..) a4ab9..)
Conjecture 8caa0.. : not (Subq (binunion (binunion 5767d.. 336d5..) f846b..) (binunion (binunion be796.. 336d5..) f846b..))
Conjecture fff8b.. : not (Subq (binunion (binunion c1b53.. 336d5..) f846b..) (binunion (binunion d7011.. 336d5..) f846b..))
Conjecture 0cc16.. : not (Subq (binunion (binunion 2599d.. (binunion 1c486.. 24928..)) f846b..) (binunion (binunion 2599d.. (binunion bd5b6.. 24928..)) (SetAdjoin b0d83.. a7a44..)))
Conjecture e96d9.. : atleast6 (binunion fb657.. 98b2f..)
Conjecture f3d67.. : atleast6 (binunion (SetAdjoin 7c23e.. 6831b..) f944c..)
Conjecture c7016.. : Subq (binunion (setminus 8ecbc.. (binunion be796.. c3c30..)) f846b..) (binunion (binunion 2599d.. af961..) 98b2f..)
Conjecture 83766.. : Subq (binunion (setminus 8ecbc.. 6eea5..) f846b..) (binunion (setminus 8ecbc.. 6eea5..) (SetAdjoin f4254.. a7a44..))
Conjecture 1d214.. : atleast6 (binunion (binunion (SetAdjoin bd5b6.. 6eea5..) f1650..) f846b..)
Conjecture a5d03.. : Subq (binunion (binunion d7011.. (binunion 1c486.. 24928..)) f846b..) (binunion (binunion 82860.. af961..) 98b2f..)
Conjecture d3c84.. : atleast6 (binunion (binunion (SetAdjoin 8d61c.. 848bb..) af961..) 19825..)
Conjecture 8fbe1.. : 70d40.. (binunion (binunion 872a0.. (binunion 1c486.. 24928..)) fd8f6..)
Conjecture 55a20.. : 70d40.. (binunion (SetAdjoin a58c4.. 6831b..) (SetAdjoin 848bb.. 352e1..))
Conjecture e44e9.. : 70d40.. (binunion f847f.. (binunion f0c02.. d0721..))
Conjecture 0db8b.. : 70d40.. (binunion (setminus 8ecbc.. 1188a..) 634d0..)
Conjecture 0f471.. : 70d40.. (binunion (binunion 1f49d.. (binunion be796.. 24928..)) 634d0..)
Conjecture 9bb79.. : 70d40.. (binunion f1650.. (SetAdjoin 1c486.. f2ac9..))
Conjecture 4563e.. : 70d40.. (binunion d0721.. (setminus 56f89.. b0d83..))
Conjecture cde65.. : 70d40.. (binunion (binunion 1f49d.. d0721..) (binunion 848bb.. 7c29f..))
Conjecture 93784.. : 70d40.. (binunion (setminus fcf4d.. ed297..) (binunion 6831b.. 22e44..))
Conjecture 54f0d.. : 70d40.. (binunion (setminus f0c00.. ed297..) (binunion 2599d.. (setminus 56f89.. ef16c..)))
Conjecture dfec9.. : 70d40.. (binunion be796.. (setminus 5615a.. 6eea5..))
Conjecture 38b5b.. : 70d40.. (binunion be796.. (setminus 5615a.. 8d61c..))
Conjecture 818a1.. : not (Subq (binunion (binunion 2599d.. 82860..) f846b..) (binunion (binunion 2599d.. 6f877..) (SetAdjoin bd5b6.. a7a44..)))
Conjecture 7a926.. : 70d40.. (binunion fb657.. (SetAdjoin 1188a.. a7a44..))
Conjecture 8d10a.. : not (Subq (binunion (binunion (binunion ef16c.. bd5b6..) af961..) f846b..) (binunion (SetAdjoin 814a9.. 6831b..) (SetAdjoin ef16c.. a7a44..)))
Conjecture 0ca1b.. : Subq (binunion f847f.. (binunion be796.. f944c..)) (binunion (binunion 2599d.. af961..) (SetAdjoin bd5b6.. a7a44..))
Conjecture 61ce0.. : not (Subq (binunion (binunion 1f49d.. f1650..) (SetAdjoin (binunion 848bb.. 708c9..) a7a44..)) (binunion (binunion (SetAdjoin bd5b6.. 848bb..) af961..) 19825..))
Conjecture fed07.. : Subq (binunion (setminus 8ecbc.. bd5b6..) f846b..) (binunion (setminus 8ecbc.. bd5b6..) (SetAdjoin fd8f6.. a7a44..))
Conjecture 51cdf.. : Subq (binunion (setminus 8ecbc.. b0d83..) f846b..) (binunion (setminus 8ecbc.. b0d83..) (SetAdjoin fd8f6.. a7a44..))
Conjecture 441a8.. : Subq (binunion a7a44.. f5ea0..) (binunion (binunion 9cf65.. d0721..) f846b..)
Conjecture 694b8.. : Subq (binunion (SetAdjoin 6eea5.. ed5e3..) f5ea0..) (binunion (binunion 32159.. d0721..) f846b..)
Conjecture 1e375.. : Subq (binunion (binunion 505bf.. (binunion c3c30.. 24928..)) f846b..) (binunion (binunion c13c2.. 00a07..) (SetAdjoin 505bf.. a7a44..))
Conjecture 05780.. : Subq (binunion (SetAdjoin a58c4.. 6831b..) f846b..) (binunion (setminus fcf4d.. ed297..) (SetAdjoin 872a0.. a7a44..))
Conjecture 42230.. : not (Subq (binunion (binunion af961.. 00a07..) 19825..) (binunion (binunion 2599d.. af961..) (SetAdjoin ef16c.. a7a44..)))
Conjecture 52ae9.. : 70d40.. (binunion (setminus 52f2b.. 2def3..) 19825..)
Conjecture ec6a5.. : 70d40.. (binunion (setminus ee99e.. ed297..) (binunion 2599d.. f944c..))
Conjecture d1c5d.. : Subq (binunion (SetAdjoin (binunion bd5b6.. 93baa..) 6831b..) f846b..) (binunion c57b3.. f5ea0..)
Conjecture f295e.. : not (Subq (binunion (binunion (SetAdjoin b41cc.. ed5e3..) c57b3..) f846b..) (binunion (binunion c1b53.. f1650..) f846b..))
Conjecture 04713.. : not (Subq (binunion 655fa.. (setminus efd97.. 13d3b..)) (binunion (SetAdjoin 32159.. f1386..) (setminus c57b3.. 8d61c..)))
Conjecture d2752.. : 0dda1.. (binunion (binunion 1f49d.. (binunion 708c9.. 24928..)) 634d0..)
Conjecture dca6b.. : 0dda1.. (binunion (binunion 2599d.. (binunion 1c486.. 24928..)) 22e44..)
Conjecture 037b7.. : 0dda1.. (binunion (binunion abc04.. f1650..) bc624..)
Conjecture 704de.. : 0dda1.. (binunion (binunion 2599d.. f1650..) (binunion 9cf65.. 22e44..))
Conjecture a3959.. : 0dda1.. (binunion (binunion 2599d.. f1650..) (binunion 505bf.. (binunion f0c02.. 56f89..)))
Conjecture 895b1.. : 0dda1.. (binunion (setminus 8ecbc.. 56fa4..) (binunion fd8f6.. 85ed4..))