Proofgold Asset

Definition 8130f.. := λ x0 x1 . ∀ x2 . In x2 x0 ⟶ nIn x2 x1
Definition 70d40.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (atleast6 x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 0dda1.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (70d40.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition ac550.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (0dda1.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 05043.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (ac550.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 9ed78.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (05043.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition bb16b.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (9ed78.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 65f4e.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (bb16b.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 07022.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (65f4e.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition f0d5a.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (07022.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 1935a.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (f0d5a.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition b0d83.. := 1
Definition ef16c.. := Sing b0d83..
Definition b41cc.. := ordsucc b0d83..
Definition 8d61c.. := Sing ef16c..
Definition ed5e3.. := Power ef16c..
Definition 6eea5.. := ordsucc ef16c..
Definition f1386.. := binunion b0d83.. 6eea5..
Definition 848bb.. := Sing b41cc..
Definition 6831b.. := SetAdjoin b0d83.. b41cc..
Definition 352e1.. := SetAdjoin ef16c.. b41cc..
Definition f2ac9.. := ordsucc b41cc..
Definition a7a44.. := SetAdjoin 8d61c.. b41cc..
Definition 96458.. := SetAdjoin ed5e3.. b41cc..
Definition 56fa4.. := SetAdjoin 6eea5.. b41cc..
Definition 0f96c.. := Power b41cc..
Definition be796.. := Sing 8d61c..
Definition 1188a.. := Power 8d61c..
Definition 5767d.. := SetAdjoin ef16c.. 8d61c..
Definition bd5b6.. := ordsucc 8d61c..
Definition 9cf65.. := SetAdjoin 848bb.. 8d61c..
Definition 814a9.. := binunion 848bb.. bd5b6..
Definition d7011.. := Sing ed5e3..
Definition 872a0.. := SetAdjoin ef16c.. ed5e3..
Definition c1b53.. := SetAdjoin 8d61c.. ed5e3..
Definition 8aefb.. := ordsucc ed5e3..
Definition 0205e.. := SetAdjoin 848bb.. ed5e3..
Definition 505bf.. := SetAdjoin be796.. ed5e3..
Definition 32159.. := setminus (Power ed5e3..) b0d83..
Definition 708c9.. := Power ed5e3..
Definition 0f74a.. := SetAdjoin bd5b6.. ed5e3..
Definition f0c02.. := Sing 6eea5..
Definition c3c30.. := ordsucc 6eea5..
Definition 5cb5b.. := SetAdjoin 848bb.. 6eea5..
Definition abc04.. := SetAdjoin be796.. 6eea5..
Definition 1c486.. := Power 6eea5..
Definition 7c23e.. := SetAdjoin d7011.. 6eea5..
Definition a58c4.. := binunion d7011.. c3c30..
Definition 5eca9.. := SetAdjoin 708c9.. 6eea5..
Definition 2599d.. := Sing f1386..
Definition 1f49d.. := ordsucc f1386..
Definition 8ecbc.. := Power f1386..
Definition de3ab.. := Sing 848bb..
Definition 93baa.. := Power 848bb..
Definition 24928.. := ordsucc 848bb..
Definition 78f47.. := SetAdjoin d7011.. 848bb..
Definition 44a5b.. := binunion d7011.. 24928..
Definition 57854.. := SetAdjoin 708c9.. 848bb..
Definition 6f877.. := SetAdjoin f0c02.. 848bb..
Definition 8b0cd.. := binunion f0c02.. 93baa..
Definition c13c2.. := SetAdjoin c3c30.. 848bb..
Definition 336d5.. := binunion f0c02.. 24928..
Definition 82860.. := SetAdjoin 1c486.. 848bb..
Definition fb657.. := binunion 2599d.. 336d5..
Definition f4254.. := Sing 6831b..
Definition af961.. := ordsucc 6831b..
Definition f847f.. := SetAdjoin 2599d.. 6831b..
Definition f1650.. := Power 6831b..
Definition fd8f6.. := Sing 352e1..
Definition 00a07.. := ordsucc 352e1..
Definition 655fa.. := SetAdjoin 2599d.. 352e1..
Definition d0721.. := Power 352e1..
Definition 5cecb.. := SetAdjoin f4254.. 352e1..
Definition c57b3.. := setminus (Power f2ac9..) (ordsucc f2ac9..)
Definition 2fcc3.. := setminus (Power f2ac9..) (Sing f2ac9..)
Definition 20338.. := binunion 2599d.. c57b3..
Definition 634d0.. := Sing f2ac9..
Definition 1488f.. := SetAdjoin ef16c.. f2ac9..
Definition a61bc.. := SetAdjoin 8d61c.. f2ac9..
Definition bc624.. := SetAdjoin 848bb.. f2ac9..
Definition 56f89.. := ordsucc f2ac9..
Definition c6c38.. := binunion 8d61c.. 56f89..
Definition 88808.. := SetAdjoin be796.. f2ac9..
Definition 147a5.. := SetAdjoin bd5b6.. f2ac9..
Definition 22e44.. := SetAdjoin d7011.. f2ac9..
Definition 7c29f.. := SetAdjoin f0c02.. f2ac9..
Definition a4ab9.. := SetAdjoin 2599d.. f2ac9..
Definition 85ed4.. := SetAdjoin de3ab.. f2ac9..
Definition 67274.. := SetAdjoin 93baa.. f2ac9..
Definition 2def3.. := SetAdjoin 24928.. f2ac9..
Definition ed297.. := binunion de3ab.. 56f89..
Definition 091a0.. := SetAdjoin f4254.. f2ac9..
Definition aaece.. := SetAdjoin fd8f6.. f2ac9..
Definition d3366.. := setminus (Power f2ac9..) 24928..
Definition ae51c.. := setminus (Power f2ac9..) 0f96c..
Definition 5615a.. := Power f2ac9..
Definition a63b1.. := binunion be796.. 5615a..
Definition 52f2b.. := binunion d7011.. 5615a..
Definition f0c00.. := binunion 708c9.. 5615a..
Definition fcf4d.. := binunion f0c02.. 5615a..
Definition ee99e.. := binunion 1c486.. 5615a..
Definition f846b.. := Sing a7a44..
Definition f944c.. := ordsucc a7a44..
Definition 98b2f.. := SetAdjoin d7011.. a7a44..
Definition 19825.. := SetAdjoin 2599d.. a7a44..
Definition f5ea0.. := Power a7a44..
Definition 4a208.. := Sing 96458..
Definition 13d3b.. := ordsucc 96458..
Definition 5f7f9.. := SetAdjoin 2599d.. 96458..
Definition 15860.. := setminus (Power 96458..) 57854..
Definition efd97.. := Power 96458..
Definition 9188a.. := Sing 56fa4..
Definition 9116c.. := SetAdjoin 2599d.. 56fa4..
Definition bd7e5.. := setminus (Power 56fa4..) 82860..
Definition 8230b.. := Power 56fa4..
Definition d94c9.. := setminus (Power 0f96c..) (ordsucc 0f96c..)
Definition 0871d.. := Sing 0f96c..
Definition 94f4d.. := ordsucc 0f96c..
Definition 3dbab.. := SetAdjoin be796.. 0f96c..
Definition 0bd31.. := SetAdjoin d7011.. 0f96c..
Definition ea971.. := SetAdjoin f0c02.. 0f96c..
Definition 33bf7.. := Power 0f96c..
Conjecture 7eda7.. : 8130f.. (SetAdjoin 44a5b.. 96458..) (setminus 8230b.. (SetAdjoin bd5b6.. 848bb..))
Conjecture 7f8fa.. : 8130f.. (SetAdjoin 336d5.. 96458..) (setminus 8230b.. 8b0cd..)
Conjecture 7a416.. : 8130f.. (SetAdjoin b41cc.. 352e1..) (setminus d94c9.. f0c00..)
Conjecture d2189.. : 8130f.. (binunion bd5b6.. 00a07..) (setminus d94c9.. ee99e..)
Conjecture 59c4e.. : 8130f.. (SetAdjoin (SetAdjoin 8d61c.. 848bb..) 6831b..) (setminus d94c9.. ee99e..)
Conjecture 3d477.. : 8130f.. (SetAdjoin 9cf65.. 6831b..) (setminus d94c9.. f0c00..)
Conjecture ae4a6.. : 8130f.. (setminus efd97.. a63b1..) (SetAdjoin af961.. 56fa4..)
Conjecture cb1bd.. : 8130f.. (SetAdjoin ef16c.. 6eea5..) (setminus d94c9.. ee99e..)
Conjecture 21225.. : 8130f.. (setminus efd97.. f1650..) (SetAdjoin 1f49d.. 56fa4..)
Conjecture 16314.. : 8130f.. (setminus efd97.. c57b3..) (SetAdjoin 5cb5b.. 56fa4..)
Conjecture 1d21b.. : 8130f.. (setminus ee99e.. 96458..) (SetAdjoin 4a208.. 56fa4..)
Conjecture 041ae.. : 8130f.. (SetAdjoin (setminus 5615a.. f2ac9..) 96458..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 57ee2.. : 8130f.. (setminus d94c9.. 8230b..) (binunion fd8f6.. (ordsucc 56fa4..))
Conjecture 81a9f.. : 8130f.. (SetAdjoin (setminus 5615a.. 93baa..) 96458..) (SetAdjoin 7c23e.. 56fa4..)
Conjecture 594e8.. : 8130f.. (setminus fcf4d.. (SetAdjoin 0f96c.. 848bb..)) (SetAdjoin 4a208.. 56fa4..)
Conjecture c90fa.. : 8130f.. (setminus 52f2b.. (binunion 8d61c.. 93baa..)) (SetAdjoin 4a208.. 56fa4..)
Conjecture c33ff.. : 8130f.. (SetAdjoin (binunion 6eea5.. 24928..) 96458..) (setminus d94c9.. efd97..)
Conjecture 2205f.. : 8130f.. (SetAdjoin 8d61c.. 96458..) (setminus d94c9.. efd97..)
Conjecture 65a18.. : 8130f.. (SetAdjoin a61bc.. 96458..) (SetAdjoin 00a07.. 56fa4..)
Conjecture 62516.. : 8130f.. (SetAdjoin (binunion 708c9.. 56f89..) 96458..) (SetAdjoin f4254.. 56fa4..)
Conjecture 70584.. : 8130f.. (SetAdjoin 85ed4.. 96458..) 9116c..
Conjecture e12f6.. : 8130f.. (SetAdjoin 85ed4.. 96458..) (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) 56fa4..)
Conjecture 75b58.. : 8130f.. (SetAdjoin 2def3.. 96458..) (SetAdjoin b0d83.. 56fa4..)
Conjecture 4ef8a.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (SetAdjoin 78f47.. 56fa4..)
Conjecture d2d62.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (SetAdjoin (SetAdjoin be796.. 848bb..) 56fa4..)
Conjecture 2dd79.. : 8130f.. (binunion d0721.. 13d3b..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 9d6df.. : 8130f.. (SetAdjoin 00a07.. 96458..) (SetAdjoin 93baa.. 56fa4..)
Conjecture b693a.. : 8130f.. 5f7f9.. (setminus 8230b.. f5ea0..)
Conjecture afa50.. : 8130f.. (SetAdjoin 336d5.. 96458..) (SetAdjoin be796.. 56fa4..)
Conjecture a1fab.. : 8130f.. (SetAdjoin 336d5.. 96458..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 50a8c.. : 8130f.. (setminus a63b1.. (binunion ef16c.. 24928..)) (SetAdjoin f846b.. 56fa4..)
Conjecture c8a79.. : 8130f.. (binunion 2599d.. (setminus 56f89.. b0d83..)) bd7e5..
Conjecture fb48e.. : 8130f.. (binunion 872a0.. 7c29f..) bd7e5..
Conjecture 13d03.. : 8130f.. (SetAdjoin bc624.. a7a44..) (SetAdjoin fd8f6.. 56fa4..)
Conjecture 68578.. : 8130f.. (SetAdjoin ed297.. a7a44..) (SetAdjoin f4254.. 56fa4..)
Conjecture 0d84b.. : 8130f.. (SetAdjoin (SetAdjoin c3c30.. f2ac9..) a7a44..) (SetAdjoin f4254.. 56fa4..)
Conjecture 1b3f6.. : 8130f.. (binunion 88808.. f944c..) (SetAdjoin f4254.. 56fa4..)
Conjecture 05bd5.. : 8130f.. (binunion 22e44.. f5ea0..) (SetAdjoin 848bb.. 56fa4..)
Conjecture bd177.. : 8130f.. (SetAdjoin 85ed4.. a7a44..) (SetAdjoin 0f74a.. 56fa4..)
Conjecture e396a.. : 8130f.. (binunion 2599d.. bc624..) (setminus 8230b.. (setminus 5615a.. 6eea5..))
Conjecture f072f.. : 8130f.. (binunion (binunion ef16c.. bd5b6..) 78f47..) bd7e5..
Conjecture 83fa2.. : 8130f.. (SetAdjoin (SetAdjoin b41cc.. ed5e3..) 352e1..) (setminus 8230b.. a63b1..)
Conjecture 79c30.. : 8130f.. (binunion 00a07.. f944c..) (SetAdjoin 1188a.. 56fa4..)
Conjecture ed4fe.. : 8130f.. (binunion af961.. f944c..) 9116c..
Conjecture b9c75.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin (binunion 8aefb.. c3c30..) 56fa4..)
Conjecture 4185d.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin d7011.. 56fa4..)
Conjecture 11e95.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin b41cc.. 56fa4..)
Conjecture ed849.. : 8130f.. (binunion 2599d.. f5ea0..) (SetAdjoin 0205e.. 56fa4..)
Conjecture db3a0.. : 8130f.. 19825.. (SetAdjoin c1b53.. 56fa4..)
Conjecture 6c99b.. : 8130f.. (binunion 2599d.. ae51c..) (SetAdjoin 708c9.. 56fa4..)
Conjecture 93652.. : 8130f.. (setminus a63b1.. (binunion ef16c.. 93baa..)) 9116c..
Conjecture f2a34.. : 8130f.. (SetAdjoin b0d83.. ed5e3..) (setminus d94c9.. efd97..)
Conjecture 36e3f.. : 8130f.. 9cf65.. (setminus d94c9.. efd97..)
Conjecture 385b0.. : 8130f.. (binunion fd8f6.. 22e44..) (SetAdjoin 6eea5.. 56fa4..)
Conjecture 9949d.. : 8130f.. (binunion f4254.. 2def3..) (SetAdjoin 505bf.. 56fa4..)
Conjecture 862e7.. : 8130f.. (binunion 2599d.. 2def3..) (SetAdjoin (SetAdjoin 8d61c.. 6eea5..) 56fa4..)
Conjecture 14b40.. : 8130f.. (binunion 2599d.. 22e44..) (SetAdjoin 5767d.. 56fa4..)
Conjecture 10ff8.. : 8130f.. (setminus ee99e.. ed297..) (SetAdjoin ef16c.. 56fa4..)
Conjecture d9f4c.. : 8130f.. 655fa.. (SetAdjoin b0d83.. 56fa4..)
Conjecture 5aebe.. : 8130f.. (binunion (binunion d7011.. 1c486..) f1650..) (SetAdjoin 848bb.. 56fa4..)
Conjecture 9d56b.. : 8130f.. (binunion 6f877.. af961..) (SetAdjoin 505bf.. 56fa4..)
Conjecture 042b0.. : 8130f.. f847f.. (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) 56fa4..)
Conjecture 67a80.. : 8130f.. (SetAdjoin 7c23e.. 6831b..) (SetAdjoin b0d83.. 56fa4..)
Conjecture bd846.. : 8130f.. (SetAdjoin 5cb5b.. 6831b..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 9e1ff.. : 8130f.. (SetAdjoin ae51c.. a7a44..) (SetAdjoin 32159.. 96458..)
Conjecture 926e5.. : 8130f.. (setminus ee99e.. (binunion b0d83.. 24928..)) (setminus efd97.. a63b1..)
Conjecture 45449.. : 8130f.. (setminus ee99e.. (binunion ed5e3.. 24928..)) (setminus efd97.. a63b1..)
Conjecture 26a68.. : 8130f.. (setminus ee99e.. (SetAdjoin 6eea5.. 848bb..)) (SetAdjoin f846b.. 96458..)
Conjecture 39e93.. : 8130f.. (SetAdjoin (binunion be796.. 24928..) a7a44..) (setminus d94c9.. 8230b..)
Conjecture 3d31a.. : 8130f.. (binunion 7c29f.. f5ea0..) (SetAdjoin f4254.. 96458..)
Conjecture 888c9.. : 8130f.. (SetAdjoin 1188a.. a7a44..) (setminus d94c9.. 8230b..)
Conjecture 9ef4b.. : 8130f.. (SetAdjoin 147a5.. a7a44..) (setminus efd97.. f5ea0..)
Conjecture 9edff.. : 8130f.. (SetAdjoin 2def3.. a7a44..) (SetAdjoin abc04.. 96458..)
Conjecture d57c5.. : 8130f.. (SetAdjoin 1488f.. a7a44..) 5f7f9..
Conjecture 9567a.. : 8130f.. (SetAdjoin 7c29f.. a7a44..) (SetAdjoin 8d61c.. 96458..)
Conjecture ed78d.. : 8130f.. (SetAdjoin 5cb5b.. 352e1..) (setminus efd97.. a63b1..)
Conjecture 7573b.. : 8130f.. (binunion f1650.. f944c..) 5f7f9..
Conjecture d803f.. : 8130f.. (binunion 2599d.. (binunion 8d61c.. 93baa..)) 15860..
Conjecture d9713.. : 8130f.. (SetAdjoin (SetAdjoin f2ac9.. 6eea5..) f1386..) 15860..
Conjecture 7d55c.. : 8130f.. 19825.. (setminus efd97.. f5ea0..)
Conjecture dea26.. : 8130f.. (SetAdjoin (SetAdjoin 1188a.. 6eea5..) a7a44..) (SetAdjoin 352e1.. 96458..)
Conjecture 000c9.. : 8130f.. (SetAdjoin (SetAdjoin 1188a.. 6eea5..) a7a44..) (SetAdjoin 848bb.. 96458..)
Conjecture 30eb2.. : 8130f.. (setminus f0c00.. (binunion 6eea5.. 93baa..)) 5f7f9..
Conjecture d1de4.. : 8130f.. (binunion d0721.. 22e44..) (SetAdjoin 9cf65.. 96458..)
Conjecture f137b.. : 8130f.. (binunion fd8f6.. 7c29f..) (SetAdjoin 708c9.. 96458..)
Conjecture d7cf2.. : 8130f.. (binunion 8d61c.. 8b0cd..) (setminus d94c9.. 8230b..)
Conjecture 662b8.. : 8130f.. (setminus ee99e.. d0721..) 5f7f9..
Conjecture 22c96.. : 8130f.. (binunion f4254.. 7c29f..) 5f7f9..
Conjecture 39702.. : 8130f.. (binunion f4254.. 7c29f..) (SetAdjoin be796.. 96458..)
Conjecture 6617d.. : 8130f.. (binunion 2599d.. 85ed4..) (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) 96458..)
Conjecture 77315.. : 8130f.. (binunion 7c23e.. 2def3..) (SetAdjoin 5767d.. 96458..)
Conjecture f3008.. : 8130f.. (setminus 8ecbc.. b41cc..) (SetAdjoin 634d0.. 96458..)
Conjecture f97e9.. : 8130f.. (binunion 2599d.. (SetAdjoin c3c30.. f2ac9..)) (SetAdjoin 9cf65.. 96458..)
Conjecture 40b02.. : 8130f.. (binunion 2599d.. 22e44..) (SetAdjoin 848bb.. 96458..)
Conjecture 97f85.. : 8130f.. 20338.. (SetAdjoin (SetAdjoin b0d83.. 6eea5..) 96458..)
Conjecture 202c4.. : 8130f.. (setminus 52f2b.. (SetAdjoin 6eea5.. f2ac9..)) 5f7f9..
Conjecture 59362.. : 8130f.. (SetAdjoin 336d5.. 352e1..) (SetAdjoin bd5b6.. 96458..)
Conjecture 1c9db.. : 8130f.. (SetAdjoin 8b0cd.. 352e1..) (SetAdjoin be796.. 96458..)
Conjecture 7820a.. : 8130f.. (binunion 2599d.. 00a07..) (SetAdjoin (SetAdjoin b0d83.. 6eea5..) 96458..)
Conjecture cefac.. : 8130f.. (setminus 8ecbc.. (binunion be796.. c3c30..)) (SetAdjoin fd8f6.. 96458..)
Conjecture 56fd5.. : 8130f.. (SetAdjoin (SetAdjoin bd5b6.. 6eea5..) 352e1..) (SetAdjoin 848bb.. 96458..)
Conjecture f964c.. : 8130f.. (SetAdjoin de3ab.. 6831b..) 5f7f9..
Conjecture 5beb1.. : 8130f.. (binunion 2599d.. ae51c..) (SetAdjoin 5cb5b.. a7a44..)
Conjecture f8c43.. : 8130f.. (binunion 2599d.. (setminus 5615a.. ed5e3..)) 98b2f..
Conjecture 28adb.. : 8130f.. (binunion 2599d.. (setminus 5615a.. ef16c..)) (SetAdjoin be796.. a7a44..)
Conjecture 17bbd.. : 8130f.. (binunion 7c23e.. ae51c..) (SetAdjoin 848bb.. a7a44..)
Conjecture e1c96.. : 8130f.. (setminus (setminus 5615a.. 93baa..) ef16c..) 19825..
Conjecture c40e2.. : 8130f.. (binunion fd8f6.. (binunion 8aefb.. 56f89..)) 19825..
Conjecture 40e03.. : 8130f.. 091a0.. (SetAdjoin 8ecbc.. a7a44..)
Conjecture 2bd76.. : 8130f.. (binunion f4254.. 7c29f..) (binunion 505bf.. f944c..)
Conjecture 144a6.. : 8130f.. (binunion 2599d.. 2def3..) (SetAdjoin f0c02.. a7a44..)
Conjecture b4c2f.. : 8130f.. (setminus fcf4d.. 2def3..) 19825..
Conjecture f574b.. : 8130f.. (setminus f0c00.. 2def3..) 19825..
Conjecture bc901.. : 8130f.. (setminus a63b1.. 85ed4..) 19825..
Conjecture 9d7b9.. : 8130f.. (setminus fcf4d.. 67274..) 98b2f..
Conjecture 2389f.. : 8130f.. (SetAdjoin 336d5.. 352e1..) 19825..
Conjecture 5977d.. : 8130f.. (binunion 2599d.. d0721..) (SetAdjoin be796.. a7a44..)
Conjecture cdced.. : 8130f.. (binunion de3ab.. 00a07..) 19825..
Conjecture 9c2dc.. : 8130f.. (binunion 6f877.. 00a07..) 98b2f..
Conjecture 707f6.. : 8130f.. (SetAdjoin (binunion be796.. 24928..) 6831b..) 19825..
Conjecture 40e41.. : 8130f.. (binunion 1f49d.. f1650..) (SetAdjoin be796.. a7a44..)
Conjecture 55850.. : 8130f.. (SetAdjoin 336d5.. 6831b..) (SetAdjoin c1b53.. a7a44..)
Conjecture 0fee8.. : 8130f.. (setminus 8ecbc.. 6831b..) (SetAdjoin f4254.. a7a44..)
Conjecture e9c36.. : 8130f.. (binunion 2599d.. 8b0cd..) (setminus f0c00.. (SetAdjoin 0f96c.. 848bb..))
Conjecture f7ccb.. : 8130f.. (setminus 2fcc3.. 96458..) a4ab9..
Conjecture cb655.. : 8130f.. (setminus ee99e.. ed297..) (binunion 6831b.. 22e44..)
Conjecture fe716.. : 8130f.. (SetAdjoin 44a5b.. 352e1..) (binunion 2599d.. 88808..)
Conjecture e5086.. : 8130f.. (SetAdjoin 24928.. 352e1..) a4ab9..
Conjecture 40081.. : 8130f.. 655fa.. (binunion b41cc.. 22e44..)
Conjecture 54038.. : 8130f.. (binunion 2599d.. f1650..) (binunion 0205e.. 7c29f..)
Conjecture 72370.. : 8130f.. (SetAdjoin 6f877.. 6831b..) (binunion 2599d.. (SetAdjoin 8aefb.. f2ac9..))
Conjecture 50f7b.. : 8130f.. (SetAdjoin (binunion d7011.. 93baa..) 6831b..) 88808..
Conjecture bcb39.. : 8130f.. (SetAdjoin 1188a.. 6eea5..) 2def3..
Conjecture 99453.. : 8130f.. 505bf.. 67274..
Conjecture 5eea7.. : 8130f.. (binunion 2599d.. 6f877..) (SetAdjoin d7011.. 352e1..)
Conjecture 8451b.. : 8130f.. fb657.. (SetAdjoin 8aefb.. 6831b..)
Conjecture 39c16.. : Subq (binunion 8d61c.. 8b0cd..) (binunion (SetAdjoin 8d61c.. 6eea5..) (SetAdjoin 93baa.. 0f96c..))
Conjecture 37d55.. : Subq (binunion b0d83.. (binunion c3c30.. 24928..)) (binunion (SetAdjoin b0d83.. ed5e3..) (binunion c3c30.. 24928..))
Conjecture 6f987.. : not (ac550.. (binunion 2599d.. (binunion bd5b6.. 93baa..)))
Conjecture 34a16.. : not (0dda1.. (binunion (setminus 8ecbc.. 96458..) de3ab..))
Conjecture de311.. : Subq (SetAdjoin 8aefb.. 6831b..) (binunion c1b53.. af961..)
Conjecture 4f38b.. : Subq (SetAdjoin (SetAdjoin 1188a.. 6eea5..) 6831b..) (binunion abc04.. af961..)
Conjecture 020f3.. : Subq (binunion (binunion 848bb.. abc04..) f4254..) (binunion (SetAdjoin abc04.. 6831b..) (SetAdjoin 848bb.. 0f96c..))
Conjecture b3bc2.. : not (05043.. (binunion (binunion 0f74a.. 336d5..) f4254..))
Conjecture 73ec1.. : not (70d40.. (binunion (binunion 2599d.. 6f877..) (SetAdjoin c1b53.. 6831b..)))
Conjecture 6c553.. : not (atleast4 (SetAdjoin b41cc.. 352e1..))
Conjecture 3a0b0.. : not (atleast6 (binunion (binunion 848bb.. 505bf..) fd8f6..))
Conjecture 18369.. : not (0dda1.. (binunion (setminus 8ecbc.. f2ac9..) fd8f6..))
Conjecture d61d8.. : not (0dda1.. (binunion 848bb.. d0721..))
Conjecture 4b8e1.. : not (ac550.. (binunion (binunion 2599d.. 44a5b..) (SetAdjoin be796.. 352e1..)))
Conjecture 16d22.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin b41cc.. ed5e3..) 6831b..) fd8f6..))
Conjecture 6f5d6.. : not (0dda1.. (setminus a63b1.. (SetAdjoin 6eea5.. f2ac9..)))
Conjecture 4ae47.. : not (0dda1.. (binunion (SetAdjoin (binunion 848bb.. 1188a..) f1386..) 634d0..))
Conjecture 80e94.. : not (atleast6 (binunion (SetAdjoin 5cb5b.. f1386..) (SetAdjoin b0d83.. f2ac9..)))
Conjecture fd48a.. : Subq (binunion (binunion 2599d.. (binunion 8d61c.. 93baa..)) 634d0..) (binunion (binunion (SetAdjoin 8d61c.. 848bb..) af961..) a4ab9..)
Conjecture d37af.. : Subq (binunion f4254.. 56f89..) (binunion (binunion 7c23e.. af961..) 1488f..)
Conjecture 26733.. : not (atleast6 (binunion (SetAdjoin 7c23e.. 6831b..) 88808..))
Conjecture cdb19.. : not (70d40.. (binunion (SetAdjoin 32159.. 352e1..) 634d0..))
Conjecture 8cb20.. : not (ac550.. (binunion (binunion (SetAdjoin 1188a.. 6eea5..) 00a07..) 634d0..))
Conjecture 69dcf.. : not (atleast6 (binunion 655fa.. (SetAdjoin b41cc.. f2ac9..)))
Conjecture 7e3ec.. : not (0dda1.. (binunion 655fa.. (binunion 848bb.. (SetAdjoin 1188a.. f2ac9..))))
Conjecture a5b0a.. : Subq (setminus (setminus 5615a.. b41cc..) f4254..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin fd8f6.. 56fa4..))
Conjecture fc82a.. : not (0dda1.. (binunion (SetAdjoin (binunion be796.. 24928..) 352e1..) 634d0..))
Conjecture 478b8.. : not (0dda1.. (binunion (SetAdjoin 336d5.. 352e1..) 22e44..))
Conjecture 6d0e9.. : not (ac550.. (binunion (SetAdjoin 336d5.. 352e1..) (binunion 2599d.. 22e44..)))
Conjecture eae69.. : Subq (setminus ee99e.. (SetAdjoin 0f96c.. 848bb..)) (binunion (SetAdjoin abc04.. f1386..) (setminus d3366.. f1386..))
Conjecture e643c.. : not (70d40.. (SetAdjoin (binunion ef16c.. 93baa..) a7a44..))
Conjecture 04908.. : not (70d40.. (binunion (binunion 505bf.. 6f877..) f846b..))
Conjecture 2798c.. : not (0dda1.. (binunion (binunion 2599d.. (binunion b0d83.. 24928..)) f846b..))
Conjecture e9a37.. : Subq (binunion (SetAdjoin 505bf.. 6831b..) f846b..) (binunion (SetAdjoin f4254.. a7a44..) (binunion be796.. 0bd31..))
Conjecture 03002.. : not (atleast6 (binunion (SetAdjoin (SetAdjoin be796.. 848bb..) 6831b..) f846b..))
Conjecture dec52.. : not (atleast6 (binunion (SetAdjoin 7c23e.. 352e1..) (SetAdjoin 848bb.. a7a44..)))
Conjecture 24aad.. : Subq (binunion (SetAdjoin (binunion 8d61c.. 24928..) 352e1..) f846b..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin fd8f6.. 56fa4..))
Conjecture a74f7.. : not (ac550.. (binunion (setminus 2fcc3.. (binunion ef16c.. 93baa..)) f846b..))
Conjecture 4e9a3.. : Subq (binunion (binunion 2599d.. 147a5..) (SetAdjoin 848bb.. a7a44..)) (binunion (binunion 88808.. f944c..) 9116c..)
Conjecture 1e2ba.. : Subq (binunion (binunion c1b53.. 2def3..) f846b..) (binunion (binunion 85ed4.. f944c..) 0bd31..)
Conjecture f6e5f.. : not (atleast6 (binunion (binunion fd8f6.. 7c29f..) f846b..))
Conjecture 242f0.. : not (ac550.. (binunion (setminus (setminus 5615a.. 6eea5..) f4254..) f846b..))
Conjecture 8221a.. : Subq (binunion (setminus 8ecbc.. 1c486..) 4a208..) (binunion 5f7f9.. (binunion 352e1.. 0bd31..))
Conjecture d211e.. : not (70d40.. (binunion (setminus 8ecbc.. 0f96c..) 4a208..))
Conjecture 38f07.. : Subq (binunion (SetAdjoin ef16c.. 848bb..) 13d3b..) (binunion (binunion (binunion ef16c.. 93baa..) f944c..) 5f7f9..)
Conjecture 48f4e.. : Subq (binunion (binunion 2599d.. (SetAdjoin ef16c.. 848bb..)) 4a208..) (binunion (SetAdjoin (SetAdjoin ef16c.. 848bb..) 96458..) 9116c..)
Conjecture 06d7e.. : not (ac550.. (binunion (binunion c1b53.. af961..) 4a208..))
Conjecture 62af3.. : Subq (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) 6831b..) 4a208..) (binunion (SetAdjoin f4254.. 96458..) (binunion ef16c.. ea971..))
Conjecture 91884.. : Subq (binunion (SetAdjoin (binunion ef16c.. 93baa..) 352e1..) 4a208..) (binunion (binunion 93baa.. 00a07..) 5f7f9..)
Conjecture 9b7a7.. : not (05043.. (binunion (binunion 8b0cd.. 00a07..) (SetAdjoin 505bf.. 96458..)))
Conjecture 3a564.. : not (0dda1.. (SetAdjoin 2def3.. 96458..))
Conjecture fc046.. : Subq (binunion (binunion f4254.. (SetAdjoin b0d83.. f2ac9..)) 4a208..) (binunion (SetAdjoin (SetAdjoin b0d83.. f2ac9..) 96458..) (SetAdjoin f4254.. 56fa4..))
Conjecture 6bf0c.. : Subq (binunion (setminus fcf4d.. d0721..) (SetAdjoin 8d61c.. 96458..)) (binunion (binunion c3c30.. 2def3..) 15860..)
Conjecture e5c55.. : not (70d40.. (binunion (binunion f4254.. 7c29f..) (SetAdjoin 9cf65.. 96458..)))
Conjecture 29d30.. : not (70d40.. (binunion (binunion fd8f6.. 7c29f..) (SetAdjoin 872a0.. 96458..)))
Conjecture a97c9.. : not (0dda1.. (binunion (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) a7a44..) 4a208..))
Conjecture d28f2.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) f1386..) (setminus efd97.. a63b1..)))
Conjecture 078ae.. : not (atleast6 (binunion (SetAdjoin 24928.. a7a44..) 4a208..))
Conjecture 2432d.. : Subq (binunion (SetAdjoin 8b0cd.. a7a44..) 5f7f9..) (binunion (binunion 8b0cd.. f944c..) 5f7f9..)
Conjecture c3078.. : not (ac550.. (binunion (SetAdjoin af961.. a7a44..) (SetAdjoin ef16c.. 96458..)))
Conjecture e5b80.. : not (70d40.. (binunion (binunion f4254.. f944c..) 4a208..))
Conjecture 5d17d.. : Subq (binunion (binunion af961.. f944c..) (SetAdjoin ef16c.. 96458..)) (binunion (binunion (SetAdjoin b41cc.. f2ac9..) f944c..) (SetAdjoin f4254.. 96458..))
Conjecture ec84e.. : not (ac550.. (binunion (SetAdjoin (SetAdjoin 8d61c.. 848bb..) a7a44..) (setminus efd97.. f5ea0..)))
Conjecture 1478c.. : not (ac550.. (binunion (SetAdjoin af961.. a7a44..) (SetAdjoin 78f47.. 96458..)))