Proofgold Signed Transaction

vin
PrCM5../271ac.. PURn3../db1bf.. PUWSG../84142.. PUcJk../f606a.. PUhYE../7b0af..

vout

TMc4E../31d5b.. BOUNTY 1.00 bars
TMdZx../691d2.. BOUNTY 1.00 bars
TMFst../89c54.. BOUNTY 1.00 bars
TMTaS../f1812.. BOUNTY 1.00 bars
TMPBs../393af.. BOUNTY 1.00 bars
TMXMS../214e9.. BOUNTY 1.00 bars
TMRGs../cc27b.. BOUNTY 1.00 bars
TMK4Q../886a6.. BOUNTY 1.00 bars
TMFwz../68b7e.. BOUNTY 1.00 bars
TMU3q../b6e11.. BOUNTY 1.00 bars
TMTGF../101ee.. BOUNTY 1.00 bars
TMSmB../7d0c3.. BOUNTY 1.00 bars
TMXy7../39d1d.. BOUNTY 1.00 bars
TMMJY../fdef3.. BOUNTY 1.00 bars
TMQug../b502e.. BOUNTY 1.00 bars
TMc7H../eaa9a.. BOUNTY 1.00 bars
TMJVr../61fd0.. BOUNTY 1.00 bars
TManP../6e3d9.. BOUNTY 1.00 bars
TMU7v../67871.. BOUNTY 1.00 bars
TMbS4../41825.. BOUNTY 1.00 bars
TMdGC../23412.. BOUNTY 1.00 bars
TMarJ../4640f.. BOUNTY 1.00 bars
TMXmZ../be04a.. BOUNTY 1.00 bars
TMYxF../c33fb.. BOUNTY 1.00 bars
TMQeS../cddfa.. BOUNTY 1.00 bars
TMF1m../82d64.. BOUNTY 1.00 bars
TMFKb../f260a.. BOUNTY 1.00 bars
TMVu1../fe167.. BOUNTY 1.00 bars
TMRw6../d0c4b.. BOUNTY 1.00 bars
TMb8n../3d6b8.. BOUNTY 1.00 bars
TMXa4../17435.. BOUNTY 1.00 bars
TMLnD../26ec0.. BOUNTY 1.00 bars
TMcBV../dbbf5.. BOUNTY 1.00 bars
TMTNQ../f9123.. BOUNTY 1.00 bars
TMTF5../40b50.. BOUNTY 1.00 bars
TMJBb../05da5.. BOUNTY 1.00 bars
TMXZ5../d53aa.. BOUNTY 1.00 bars
TMM1j../c669d.. BOUNTY 1.00 bars
TMXZT../8481b.. BOUNTY 1.00 bars
TMdhU../39e26.. BOUNTY 1.00 bars
TMSGp../c54cc.. BOUNTY 1.00 bars
TMa8S../4ec35.. BOUNTY 1.00 bars
TMNBK../f5cf9.. BOUNTY 1.00 bars
TMKUL../4d6cb.. BOUNTY 1.00 bars
TMHsE../5c722.. BOUNTY 1.00 bars
TMHRu../51b98.. BOUNTY 1.00 bars
TMVRm../f149c.. BOUNTY 1.00 bars
TMQd6../a3235.. BOUNTY 1.00 bars
TMNbm../db67d.. BOUNTY 1.00 bars
TMNso../052da.. BOUNTY 1.00 bars
TMEoE../c0895.. BOUNTY 1.00 bars
TMSNg../0527d.. BOUNTY 1.00 bars
TMJv3../b0868.. BOUNTY 1.00 bars
TMPSh../03e06.. BOUNTY 1.00 bars
TMTb2../0a539.. BOUNTY 1.00 bars
TMHkr../a9e2d.. BOUNTY 1.00 bars
TMLCw../18b93.. BOUNTY 1.00 bars
TMRwn../9e679.. BOUNTY 1.00 bars
TMXsh../fb024.. BOUNTY 1.00 bars
TMVx6../ea8f8.. BOUNTY 1.00 bars
TMYWt../2334e.. BOUNTY 1.00 bars
TMU7a../e1d4b.. BOUNTY 1.00 bars
TMXcP../1e4e7.. BOUNTY 1.00 bars
TMWSw../f2236.. BOUNTY 1.00 bars
TMMrc../74e90.. BOUNTY 1.00 bars
TMau9../d6232.. BOUNTY 1.00 bars
TMXFv../546df.. BOUNTY 1.00 bars
TMaBV../cd0f5.. BOUNTY 1.00 bars
TMN6B../5c634.. BOUNTY 1.00 bars
TMafG../239b7.. BOUNTY 1.00 bars
TMXQJ../931fe.. BOUNTY 1.00 bars
TMVAN../b3152.. BOUNTY 1.00 bars
TMLb8../0ccaf.. BOUNTY 1.00 bars
TMPuh../91132.. BOUNTY 1.00 bars
TMRbq../edaa5.. BOUNTY 1.00 bars
TMNGU../f72e1.. BOUNTY 1.00 bars
TMHJk../45678.. BOUNTY 1.00 bars
TMNDx../4c58e.. BOUNTY 1.00 bars
TMNUQ../6e64f.. BOUNTY 1.00 bars
TMMsk../20f13.. BOUNTY 1.00 bars
TMJJe../b92bc.. BOUNTY 1.00 bars
TMP6k../af9e8.. BOUNTY 1.00 bars
TMKY8../abbd4.. BOUNTY 1.00 bars
TMSd5../30664.. BOUNTY 1.00 bars
TMPPr../fafe9.. BOUNTY 1.00 bars
TMdL6../01dcc.. BOUNTY 1.00 bars
TMKiJ../9b30b.. BOUNTY 1.00 bars
TMdU1../6e061.. BOUNTY 1.00 bars
TMcsP../f3dea.. BOUNTY 1.00 bars
TMYRR../445cb.. BOUNTY 1.00 bars
TMMro../18a1e.. BOUNTY 1.00 bars
TMFmW../35016.. BOUNTY 1.00 bars
TMZbn../f3878.. BOUNTY 1.00 bars
TMVQU../92f56.. BOUNTY 1.00 bars
TMEw1../4b5ce.. BOUNTY 1.00 bars
TMNiv../aca95.. BOUNTY 1.00 bars
TMMfR../47780.. BOUNTY 1.00 bars
TMRWz../697fd.. BOUNTY 1.00 bars
TMFbD../df82a.. BOUNTY 1.00 bars
TMcZe../0b87a.. BOUNTY 1.00 bars
TMadN../5d978.. BOUNTY 1.00 bars
TMNSD../8f8f6.. BOUNTY 1.00 bars
TMaQo../a4181.. BOUNTY 1.00 bars
TMdDX../ad2f6.. BOUNTY 1.00 bars
TMWDa../08a1c.. BOUNTY 1.00 bars
TMJsL../41497.. BOUNTY 1.00 bars
TMZ1L../d1e91.. BOUNTY 1.00 bars
TMWjp../3faea.. BOUNTY 1.00 bars
TMdr6../77e14.. BOUNTY 1.00 bars
TMaDJ../a5f83.. BOUNTY 1.00 bars
TMRtc../67555.. BOUNTY 1.00 bars
TMSuF../65487.. BOUNTY 1.00 bars
TMLgE../00168.. BOUNTY 1.00 bars
TMc8Z../86117.. BOUNTY 1.00 bars
TMc4n../ec592.. BOUNTY 1.00 bars
TMPsm../7335c.. BOUNTY 1.00 bars
TMZin../5796d.. BOUNTY 1.00 bars
TMFAf../ae9bd.. BOUNTY 1.00 bars
TMZC7../31947.. BOUNTY 1.00 bars
TMMoG../01036.. BOUNTY 1.00 bars
TMd7H../f2f94.. BOUNTY 1.00 bars
TMGdC../a5ee5.. BOUNTY 1.00 bars
TMWLL../dc056.. BOUNTY 1.00 bars
TMRrv../6f6e0.. BOUNTY 1.00 bars
TMcUc../ebfe3.. BOUNTY 1.00 bars
TMHeW../33960.. BOUNTY 1.00 bars
TMG3V../6bbb6.. BOUNTY 1.00 bars
TMHUV../7d252.. BOUNTY 1.00 bars
TMbEf../62384.. BOUNTY 1.00 bars
TMdBP../6939b.. BOUNTY 1.00 bars
TMHWa../7a668.. BOUNTY 1.00 bars
TMUtC../0e847.. BOUNTY 1.00 bars
TMW5G../47048.. BOUNTY 1.00 bars
TMLnv../2321e.. BOUNTY 1.00 bars
TMbFd../a6380.. BOUNTY 1.00 bars
TMLTC../7a9b0.. BOUNTY 1.00 bars
TMM7Z../1ca51.. BOUNTY 1.00 bars
TMKQu../63041.. BOUNTY 1.00 bars
TMEq8../71f64.. BOUNTY 1.00 bars
TMMJA../d79f7.. BOUNTY 1.00 bars
TMJF7../6df68.. BOUNTY 1.00 bars
TMRMh../db794.. BOUNTY 1.00 bars
TMLfk../21075.. BOUNTY 1.00 bars
TMJY3../14e41.. BOUNTY 1.00 bars
TMZ2Y../2bd45.. BOUNTY 1.00 bars
TMLny../7642d.. BOUNTY 1.00 bars
TMbBg../ab8e5.. BOUNTY 1.00 bars
TMMai../96168.. BOUNTY 1.00 bars
TMVWs../8adbb.. BOUNTY 1.00 bars
TMQsU../65ff6.. BOUNTY 1.00 bars
TMW3n../6747f.. BOUNTY 1.00 bars
TMdya../c47b5.. BOUNTY 1.00 bars
TMKPB../969b6.. BOUNTY 1.00 bars
TMUzq../1e8f5.. BOUNTY 1.00 bars
TMWpp../e9bc2.. BOUNTY 1.00 bars
TMUKM../738e8.. BOUNTY 1.00 bars
TMbuA../58747.. BOUNTY 1.00 bars
TMP3P../5c358.. BOUNTY 1.00 bars
TMUm7../44672.. BOUNTY 1.00 bars
TMH79../fb96b.. BOUNTY 1.00 bars
TMQN3../378c4.. BOUNTY 1.00 bars
TMdM2../fea5d.. BOUNTY 1.00 bars
TMUMj../5a0ef.. BOUNTY 1.00 bars
TMcEp../ff6f3.. BOUNTY 1.00 bars
TMHe9../08197.. BOUNTY 1.00 bars
TMLNb../22e6e.. BOUNTY 1.00 bars
TMbU6../a8e2f.. BOUNTY 1.00 bars
TML18../2d4e8.. BOUNTY 1.00 bars
TMEqz../ef344.. BOUNTY 1.00 bars
TMTcn../434b7.. BOUNTY 1.00 bars
TMXFv../21754.. BOUNTY 1.00 bars
TMdcQ../b1192.. BOUNTY 1.00 bars
TMGPG../3e5f6.. BOUNTY 1.00 bars
TMcEb../ee948.. BOUNTY 1.00 bars
TMFEV../feed0.. BOUNTY 1.00 bars
TMdjB../181ea.. BOUNTY 1.00 bars
TMSCm../5f775.. BOUNTY 1.00 bars
TMZVM../88c7a.. BOUNTY 1.00 bars
TMNQR../385dd.. BOUNTY 1.00 bars
TMbxS../158c3.. BOUNTY 1.00 bars
TMYps../4fae8.. BOUNTY 1.00 bars
TMaE7../cd746.. BOUNTY 1.00 bars
TMFb4../938c7.. BOUNTY 1.00 bars
TMLBo../b4093.. BOUNTY 1.00 bars
TMHpi../1e7cd.. BOUNTY 1.00 bars
TMc39../07e8a.. BOUNTY 1.00 bars
TMdAK../f30a3.. BOUNTY 1.00 bars
TMLRi../7df2c.. BOUNTY 1.00 bars
TMcNN../90f3e.. BOUNTY 1.00 bars
TMdQ2../9c769.. BOUNTY 1.00 bars
TMFsH../f6802.. BOUNTY 1.00 bars
TMZW7../42d04.. BOUNTY 1.00 bars
TMRft../c9140.. BOUNTY 1.00 bars
TMWi5../b9b3f.. BOUNTY 1.00 bars
TMQu3../bc6ce.. BOUNTY 1.00 bars
TMRpE../3a8c3.. BOUNTY 1.00 bars
TMZHH../92f59.. BOUNTY 1.00 bars
TMVEP../e2ed3.. BOUNTY 1.00 bars
TMLLf../0fefd.. BOUNTY 1.00 bars
TMGdD../7c38d.. BOUNTY 1.00 bars
PUbMR../73005.. doc published by Pr8qe..

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..)

TMdgD../77654.. BOUNTY 1.00 bars
TMYa1../8ff8b.. BOUNTY 1.00 bars
TMVG4../ccfd4.. BOUNTY 1.00 bars
TMWdD../1248c.. BOUNTY 1.00 bars
TMKHg../d29ea.. BOUNTY 1.00 bars
TMM4p../a570f.. BOUNTY 1.00 bars
TMSck../e38c6.. BOUNTY 1.00 bars
TMJxP../76241.. BOUNTY 1.00 bars
TMLV3../59652.. BOUNTY 1.00 bars
TMYa1../9f566.. BOUNTY 1.00 bars
TMYtb../45c35.. BOUNTY 1.00 bars
TMMBo../fbb5b.. BOUNTY 1.00 bars
TMQ9w../5d9b8.. BOUNTY 1.00 bars
TMPrd../4fe9a.. BOUNTY 1.00 bars
TMYNR../2c858.. BOUNTY 1.00 bars
TMXLK../5a7db.. BOUNTY 1.00 bars
TMUrd../e3798.. BOUNTY 1.00 bars
TMQeo../85d51.. BOUNTY 1.00 bars
TMSn8../61f79.. BOUNTY 1.00 bars
TMMgN../fe0ba.. BOUNTY 1.00 bars
TMasF../fcf96.. BOUNTY 1.00 bars
TMQ7j../1c39f.. BOUNTY 1.00 bars
TMXUN../ac484.. BOUNTY 1.00 bars
TMb61../b506d.. BOUNTY 1.00 bars
TMHLf../1ca4b.. BOUNTY 1.00 bars
TMGcu../25da6.. BOUNTY 1.00 bars
TMY8k../5e379.. BOUNTY 1.00 bars
TMRRG../19ceb.. BOUNTY 1.00 bars
TMYEb../33ee9.. BOUNTY 1.00 bars
TMYFF../b4618.. BOUNTY 1.00 bars
TMHLF../b39fd.. BOUNTY 1.00 bars
TMF5F../9778c.. BOUNTY 1.00 bars
TMQrk../4c40e.. BOUNTY 1.00 bars
TMPTq../08b3c.. BOUNTY 1.00 bars
TMLVw../8d370.. BOUNTY 1.00 bars
TMcDs../477b3.. BOUNTY 1.00 bars
TMQE7../7d13d.. BOUNTY 1.00 bars
TMc2a../26edf.. BOUNTY 1.00 bars
TMEhD../fdab6.. BOUNTY 1.00 bars
TMbjb../757c0.. BOUNTY 1.00 bars
TMPxm../a4f78.. BOUNTY 1.00 bars
TMEwW../414a6.. BOUNTY 1.00 bars
TMQht../f271a.. BOUNTY 1.00 bars
TMJZC../8932a.. BOUNTY 1.00 bars
TMPRK../3482d.. BOUNTY 1.00 bars
TMUUY../c9906.. BOUNTY 1.00 bars
TMFu4../f8f09.. BOUNTY 1.00 bars
TMFFF../afa30.. BOUNTY 1.00 bars
TMGtc../8ea4f.. BOUNTY 1.00 bars
TMGtw../24560.. BOUNTY 1.00 bars
TMPRz../52a60.. BOUNTY 1.00 bars
TMWWC../2e488.. BOUNTY 1.00 bars
TMMBE../7b733.. BOUNTY 1.00 bars
TMShm../a80c7.. BOUNTY 1.00 bars
TMJ4w../e1b38.. BOUNTY 1.00 bars
TMd2Z../e6518.. BOUNTY 1.00 bars
TMGSp../8f40d.. BOUNTY 1.00 bars
TMNH5../6f01f.. BOUNTY 1.00 bars
TMP95../63b30.. BOUNTY 1.00 bars
TMG2T../5c1f9.. BOUNTY 1.00 bars
TMU2T../f27c5.. BOUNTY 1.00 bars
TMVPe../da00e.. BOUNTY 1.00 bars
TMJ1H../be2e0.. BOUNTY 1.00 bars
TMJgt../148ea.. BOUNTY 1.00 bars
TMLbv../3a578.. BOUNTY 1.00 bars
TMbBi../58b62.. BOUNTY 1.00 bars
TMGdp../37803.. BOUNTY 1.00 bars
TMLBu../4f4d7.. BOUNTY 1.00 bars
TMMrm../feade.. BOUNTY 1.00 bars
TMLSp../e9318.. BOUNTY 1.00 bars
TMbcL../debaa.. BOUNTY 1.00 bars
TMGdf../246f7.. BOUNTY 1.00 bars
TMGo4../9a8f4.. BOUNTY 1.00 bars
TMSVt../436ec.. BOUNTY 1.00 bars
TMG66../34a4b.. BOUNTY 1.00 bars
TMaxA../ca6ce.. BOUNTY 1.00 bars
TMNU4../94f43.. BOUNTY 1.00 bars
TMWHm../305db.. BOUNTY 1.00 bars
TMLpk../7f584.. BOUNTY 1.00 bars
TMPaM../4a4e0.. BOUNTY 1.00 bars
TMP37../01d18.. BOUNTY 1.00 bars
TMUQY../016ef.. BOUNTY 1.00 bars
TMMyG../bd3ad.. BOUNTY 1.00 bars
TMQ7X../8bf87.. BOUNTY 1.00 bars
TMM81../b3222.. BOUNTY 1.00 bars
TML7m../4f9dd.. BOUNTY 1.00 bars
TMSiG../729f1.. BOUNTY 1.00 bars
TMFe1../31552.. BOUNTY 1.00 bars
TMNEG../ce4b8.. BOUNTY 1.00 bars
TMVEp../dcd8b.. BOUNTY 1.00 bars
TMafS../1cb59.. BOUNTY 1.00 bars
TMaPZ../64a94.. BOUNTY 1.00 bars
TMMAx../4870b.. BOUNTY 1.00 bars
TMaNP../763b4.. BOUNTY 1.00 bars
TMLUQ../56492.. BOUNTY 1.00 bars
TMX3q../c8adb.. BOUNTY 1.00 bars
TMFeY../f4f60.. BOUNTY 1.00 bars
TMGwJ../4d87d.. BOUNTY 1.00 bars
TMPRZ../4cc79.. BOUNTY 1.00 bars
TMFZb../95b01.. BOUNTY 1.00 bars
TMZdx../cd1be.. BOUNTY 1.00 bars
TMSRe../ad2bc.. BOUNTY 1.00 bars
TMcpc../a6782.. BOUNTY 1.00 bars
TMRCx../25c4b.. BOUNTY 1.00 bars
TMRnD../332b1.. BOUNTY 1.00 bars
TMbmP../a64df.. BOUNTY 1.00 bars
TMbyc../e2374.. BOUNTY 1.00 bars
TMMKS../616e5.. BOUNTY 1.00 bars
TMXKg../3059b.. BOUNTY 1.00 bars
TMGai../ef05c.. BOUNTY 1.00 bars
TMYXb../43116.. BOUNTY 1.00 bars
TMG32../a0c40.. BOUNTY 1.00 bars
TMGEk../eaf0d.. BOUNTY 1.00 bars
TMPZu../7733d.. BOUNTY 1.00 bars
TMY7N../99ddc.. BOUNTY 1.00 bars
TMHJd../8edca.. BOUNTY 1.00 bars
TMGxM../f059f.. BOUNTY 1.00 bars
TMEww../7ffa0.. BOUNTY 1.00 bars
TMLfH../c4345.. BOUNTY 1.00 bars
TMPw2../ac06b.. BOUNTY 1.00 bars
TMH7C../2817d.. BOUNTY 1.00 bars
TMduM../00b54.. BOUNTY 1.00 bars
TMagX../dc018.. BOUNTY 1.00 bars
TMXz5../be239.. BOUNTY 1.00 bars
TMcQB../a2cf5.. BOUNTY 1.00 bars
TMHkg../0f298.. BOUNTY 1.00 bars
TMSkz../f2423.. BOUNTY 1.00 bars
TMPQv../a151c.. BOUNTY 1.00 bars
TMMxE../08728.. BOUNTY 1.00 bars
TMNvx../0715f.. BOUNTY 1.00 bars
TMMsp../718c3.. BOUNTY 1.00 bars
TMdQL../7d380.. BOUNTY 1.00 bars
TMTrm../6ba75.. BOUNTY 1.00 bars
TMRjV../64ae4.. BOUNTY 1.00 bars
TMNvW../0d4a9.. BOUNTY 1.00 bars
TMcmJ../452eb.. BOUNTY 1.00 bars
TMVZQ../4395f.. BOUNTY 1.00 bars
TMHpw../95860.. BOUNTY 1.00 bars
TMHJ9../4eff2.. BOUNTY 1.00 bars
TMHrz../c9d46.. BOUNTY 1.00 bars
TMU5k../3550b.. BOUNTY 1.00 bars
TMVg1../438e8.. BOUNTY 1.00 bars
TMNQ6../07913.. BOUNTY 1.00 bars
TMJxX../dad8f.. BOUNTY 1.00 bars
TMTZn../1c065.. BOUNTY 1.00 bars
TMVJE../10d6d.. BOUNTY 1.00 bars
TMF2X../4cb80.. BOUNTY 1.00 bars
TMFsD../12c9f.. BOUNTY 1.00 bars
TMN7R../7a42f.. BOUNTY 1.00 bars
TMKAH../1adab.. BOUNTY 1.00 bars
TMGQq../f13cf.. BOUNTY 1.00 bars
TMVqC../54ef8.. BOUNTY 1.00 bars
TMScp../d157e.. BOUNTY 1.00 bars
TMYBs../1a463.. BOUNTY 1.00 bars
TMXJ6../2cf2a.. BOUNTY 1.00 bars
TMcdq../1351f.. BOUNTY 1.00 bars
TMMWC../5a1aa.. BOUNTY 1.00 bars
TMYNc../7ad3e.. BOUNTY 1.00 bars
TMZ2j../b0da5.. BOUNTY 1.00 bars
TMH5G../f87e1.. BOUNTY 1.00 bars
TMJ9p../284bf.. BOUNTY 1.00 bars
TMVuJ../39046.. BOUNTY 1.00 bars
TMRMZ../3eb27.. BOUNTY 1.00 bars
TMRst../46872.. BOUNTY 1.00 bars
TMXo8../757f9.. BOUNTY 1.00 bars
TMMwQ../330e1.. BOUNTY 1.00 bars
TMc3c../3e39e.. BOUNTY 1.00 bars
TMZsZ../ef557.. BOUNTY 1.00 bars
TMTXh../85702.. BOUNTY 1.00 bars
TMEya../265a8.. BOUNTY 1.00 bars
TMbzd../c8c7a.. BOUNTY 1.00 bars
TMUWi../16e37.. BOUNTY 1.00 bars
TMUGy../d2f20.. BOUNTY 1.00 bars
TMdpK../279c6.. BOUNTY 1.00 bars
TMM6f../12189.. BOUNTY 1.00 bars
TMWxE../fd101.. BOUNTY 1.00 bars
TMZVP../cc266.. BOUNTY 1.00 bars
TMPvm../a944a.. BOUNTY 1.00 bars
TMFry../3e498.. BOUNTY 1.00 bars
TMafq../6f0f0.. BOUNTY 1.00 bars
TMTXA../b0a10.. BOUNTY 1.00 bars
TMXMZ../af080.. BOUNTY 1.00 bars
TMcwR../718e8.. BOUNTY 1.00 bars
TMLkc../43750.. BOUNTY 1.00 bars
TMapG../c475f.. BOUNTY 1.00 bars
TMXcy../07b32.. BOUNTY 1.00 bars
TMLL4../5aef1.. BOUNTY 1.00 bars
TMGMU../b7c5d.. BOUNTY 1.00 bars
TMFKB../d6757.. BOUNTY 1.00 bars
TML1q../053d0.. BOUNTY 1.00 bars
TMXbC../46ce3.. BOUNTY 1.00 bars
TMY2u../038bd.. BOUNTY 1.00 bars
TMKVg../5cd37.. BOUNTY 1.00 bars
TMcUc../016f7.. BOUNTY 1.00 bars
TMcqD../bf4ca.. BOUNTY 1.00 bars
TMczR../24b60.. BOUNTY 1.00 bars
TMRtm../2ff28.. BOUNTY 1.00 bars
TMJgA../c1f61.. BOUNTY 1.00 bars
TMFaD../0921f.. BOUNTY 1.00 bars
TMNWB../e7dc0.. BOUNTY 1.00 bars
PUSvU../10423.. doc published by Pr8qe..

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..))

TMWRx../9e42d.. BOUNTY 1.00 bars
TMPxP../522e1.. BOUNTY 1.00 bars
TMbBh../6276e.. BOUNTY 1.00 bars
TMV83../7e799.. BOUNTY 1.00 bars
TMKSm../fda47.. BOUNTY 1.00 bars
TMJpw../e5a25.. BOUNTY 1.00 bars
TMLja../a3e99.. BOUNTY 1.00 bars
TMX8f../705db.. BOUNTY 1.00 bars
TMJd5../c207e.. BOUNTY 1.00 bars
TMKAK../88f71.. BOUNTY 1.00 bars
TMMas../99716.. BOUNTY 1.00 bars
TMU2k../6af5d.. BOUNTY 1.00 bars
TMJbA../278be.. BOUNTY 1.00 bars
TMJeN../57ee4.. BOUNTY 1.00 bars
TMUrg../a4a14.. BOUNTY 1.00 bars
TMRNg../0650a.. BOUNTY 1.00 bars
TMFtM../2b488.. BOUNTY 1.00 bars
TMQXJ../b519a.. BOUNTY 1.00 bars
TMFHG../a8e94.. BOUNTY 1.00 bars
TMHkg../b7d00.. BOUNTY 1.00 bars
TMVXv../1d4b7.. BOUNTY 1.00 bars
TMaZn../64746.. BOUNTY 1.00 bars
TMFk6../47d02.. BOUNTY 1.00 bars
TMVvj../7f8b0.. BOUNTY 1.00 bars
TMXZG../bc209.. BOUNTY 1.00 bars
TMLcG../98372.. BOUNTY 1.00 bars
TMGy6../b3f42.. BOUNTY 1.00 bars
TMHS7../9c801.. BOUNTY 1.00 bars
TMXYx../18894.. BOUNTY 1.00 bars
TMXh6../c26e6.. BOUNTY 1.00 bars
TMH5z../b9f01.. BOUNTY 1.00 bars
TMMJ8../0a4be.. BOUNTY 1.00 bars
TMXFK../418d3.. BOUNTY 1.00 bars
TMKb5../c3d21.. BOUNTY 1.00 bars
TMMUY../5bd22.. BOUNTY 1.00 bars
TMLxB../5f68e.. BOUNTY 1.00 bars
TMHcb../55d88.. BOUNTY 1.00 bars
TMd84../8af75.. BOUNTY 1.00 bars
TMPwQ../8095c.. BOUNTY 1.00 bars
TMcSY../0b5d5.. BOUNTY 1.00 bars
TMRg5../06d0a.. BOUNTY 1.00 bars
TMRyc../5733b.. BOUNTY 1.00 bars
TMUtC../28791.. BOUNTY 1.00 bars
TMZtY../9aa2d.. BOUNTY 1.00 bars
TMbvg../b4e67.. BOUNTY 1.00 bars
TMVZo../319dd.. BOUNTY 1.00 bars
TMThw../bec1c.. BOUNTY 1.00 bars
TMSck../f2a25.. BOUNTY 1.00 bars
TMTtj../6dfa9.. BOUNTY 1.00 bars
TMFed../e3cae.. BOUNTY 1.00 bars
TMLmJ../06dbc.. BOUNTY 1.00 bars
TMF6F../141d1.. BOUNTY 1.00 bars
TMTAY../a1e68.. BOUNTY 1.00 bars
TMbmX../896bf.. BOUNTY 1.00 bars
TMEnM../950c8.. BOUNTY 1.00 bars
TMQXk../3f00b.. BOUNTY 1.00 bars
TMQXh../9947e.. BOUNTY 1.00 bars
TMWLo../4a2fd.. BOUNTY 1.00 bars
TMX8Q../cb0b7.. BOUNTY 1.00 bars
TMarr../e5dc6.. BOUNTY 1.00 bars
TMb7z../d6011.. BOUNTY 1.00 bars
TMVe5../0494a.. BOUNTY 1.00 bars
TMXup../45282.. BOUNTY 1.00 bars
TMXQX../250bd.. BOUNTY 1.00 bars
TMd6L../716bb.. BOUNTY 1.00 bars
TMTTx../9a736.. BOUNTY 1.00 bars
TMFaA../057d9.. BOUNTY 1.00 bars
TMLf6../65686.. BOUNTY 1.00 bars
TMHpu../84c2b.. BOUNTY 1.00 bars
TMLRC../5b1ef.. BOUNTY 1.00 bars
TMQUT../1c981.. BOUNTY 1.00 bars
TMG8z../257e4.. BOUNTY 1.00 bars
TMJUs../18cd4.. BOUNTY 1.00 bars
TMXfn../ceb7b.. BOUNTY 1.00 bars
TMGHU../828a6.. BOUNTY 1.00 bars
TMLr9../730fc.. BOUNTY 1.00 bars
TMMpa../b3bdf.. BOUNTY 1.00 bars
TMHsn../a2db4.. BOUNTY 1.00 bars
TMYMh../324c3.. BOUNTY 1.00 bars
TMMQq../4b5a4.. BOUNTY 1.00 bars
TMEyy../93d2c.. BOUNTY 1.00 bars
TMKMY../df20b.. BOUNTY 1.00 bars
TMY4j../cde46.. BOUNTY 1.00 bars
TMJ75../e32ac.. BOUNTY 1.00 bars
TMPjR../7c3c4.. BOUNTY 1.00 bars
TMVUD../e9d0f.. BOUNTY 1.00 bars
TMMo6../5d622.. BOUNTY 1.00 bars
TMbgC../58d0e.. BOUNTY 1.00 bars
TMdjk../a0379.. BOUNTY 1.00 bars
TMZ2q../ffd3b.. BOUNTY 1.00 bars
TMdn5../22066.. BOUNTY 1.00 bars
TMFoh../4c249.. BOUNTY 1.00 bars
TMGk1../f11e2.. BOUNTY 1.00 bars
TMWkj../00ddc.. BOUNTY 1.00 bars
TMNd9../52a9e.. BOUNTY 1.00 bars
TMNwb../ef9cf.. BOUNTY 1.00 bars
TMSon../a8a84.. BOUNTY 1.00 bars
TMduL../19ada.. BOUNTY 1.00 bars
TMdTQ../6ea1b.. BOUNTY 1.00 bars
TMFEB../d6a3d.. BOUNTY 1.00 bars
TMPcU../89875.. BOUNTY 1.00 bars
TMbNd../e63e2.. BOUNTY 1.00 bars
TMMvn../41f15.. BOUNTY 1.00 bars
TMTyy../619c0.. BOUNTY 1.00 bars
TMFGH../efe2d.. BOUNTY 1.00 bars
TMYyA../46cf0.. BOUNTY 1.00 bars
TMLFq../e3a0c.. BOUNTY 1.00 bars
TMShx../ca070.. BOUNTY 1.00 bars
TMc8V../fc0e2.. BOUNTY 1.00 bars
TMMhb../017cd.. BOUNTY 1.00 bars
TMaNM../6a101.. BOUNTY 1.00 bars
TMWvE../82a63.. BOUNTY 1.00 bars
TMRoC../3a4cb.. BOUNTY 1.00 bars
TMRML../6ce47.. BOUNTY 1.00 bars
TMXbp../29731.. BOUNTY 1.00 bars
TMQAU../b2bb5.. BOUNTY 1.00 bars
TMVVW../bfe8e.. BOUNTY 1.00 bars
TMHT2../64f6d.. BOUNTY 1.00 bars
TMQP8../61e42.. BOUNTY 1.00 bars
TMVr1../8a693.. BOUNTY 1.00 bars
TMQVr../a623e.. BOUNTY 1.00 bars
TMJpQ../f667f.. BOUNTY 1.00 bars
TMSxF../7ba40.. BOUNTY 1.00 bars
TMQm2../f8849.. BOUNTY 1.00 bars
TMM3N../ca0f0.. BOUNTY 1.00 bars
TMa5d../07691.. BOUNTY 1.00 bars
TMcDB../c8a92.. BOUNTY 1.00 bars
TMW7V../d698f.. BOUNTY 1.00 bars
TMGWk../6d0db.. BOUNTY 1.00 bars
TMTbt../9b632.. BOUNTY 1.00 bars
TMSVE../8ebd5.. BOUNTY 1.00 bars
TMReY../c69f6.. BOUNTY 1.00 bars
TMTJu../c4fa1.. BOUNTY 1.00 bars
TMQQS../99918.. BOUNTY 1.00 bars
TMdj5../416c7.. BOUNTY 1.00 bars
TMZ9M../b7222.. BOUNTY 1.00 bars
TMLMr../7a415.. BOUNTY 1.00 bars
TMZLN../52992.. BOUNTY 1.00 bars
TMHCE../258fe.. BOUNTY 1.00 bars
TMJvJ../15495.. BOUNTY 1.00 bars
TMcfm../c8a08.. BOUNTY 1.00 bars
TMXxV../65c84.. BOUNTY 1.00 bars
TMT5W../2ad07.. BOUNTY 1.00 bars
TMbAR../0d6b0.. BOUNTY 1.00 bars
TMKnE../26586.. BOUNTY 1.00 bars
TMTC9../69ef2.. BOUNTY 1.00 bars
TMRt5../25776.. BOUNTY 1.00 bars
TMJXn../31537.. BOUNTY 1.00 bars
TMFb6../37553.. BOUNTY 1.00 bars
TMEuX../f26a3.. BOUNTY 1.00 bars
TMSQq../2da78.. BOUNTY 1.00 bars
TMWPm../1a50a.. BOUNTY 1.00 bars
TMQ3S../2f700.. BOUNTY 1.00 bars
TMZaM../4ffad.. BOUNTY 1.00 bars
TMH2U../c0402.. BOUNTY 1.00 bars
TMKDd../09f66.. BOUNTY 1.00 bars
TMcsu../98323.. BOUNTY 1.00 bars
TMHgg../172da.. BOUNTY 1.00 bars
TMEh2../c2cbf.. BOUNTY 1.00 bars
TMV84../9c64d.. BOUNTY 1.00 bars
TMcwZ../328cf.. BOUNTY 1.00 bars
TMcKJ../95ae2.. BOUNTY 1.00 bars
TMQxc../601d3.. BOUNTY 1.00 bars
TMb3h../7ee12.. BOUNTY 1.00 bars
TMZ1H../650f3.. BOUNTY 1.00 bars
TMWnB../cae16.. BOUNTY 1.00 bars
TMKrP../d12ed.. BOUNTY 1.00 bars
TMJqu../16f38.. BOUNTY 1.00 bars
TMXRr../bb667.. BOUNTY 1.00 bars
TMP27../465fb.. BOUNTY 1.00 bars
TMXa7../3e789.. BOUNTY 1.00 bars
TMao1../8bc34.. BOUNTY 1.00 bars
TMQ3A../ecaa3.. BOUNTY 1.00 bars
TMXmk../fbcdf.. BOUNTY 1.00 bars
TMG3r../15158.. BOUNTY 1.00 bars
TMbcp../9178c.. BOUNTY 1.00 bars
TMYkk../a2a61.. BOUNTY 1.00 bars
TMJ8y../35cef.. BOUNTY 1.00 bars
TMNWP../7fef8.. BOUNTY 1.00 bars
TMafw../ae4a9.. BOUNTY 1.00 bars
TMGcG../e05c1.. BOUNTY 1.00 bars
TMKzu../d4402.. BOUNTY 1.00 bars
TMRnM../21fbe.. BOUNTY 1.00 bars
TMFZg../9e846.. BOUNTY 1.00 bars
TMay9../ebe5e.. BOUNTY 1.00 bars
TMUGt../1759b.. BOUNTY 1.00 bars
TMdsH../a7c19.. BOUNTY 1.00 bars
TMWtG../54753.. BOUNTY 1.00 bars
TMK3w../c76e8.. BOUNTY 1.00 bars
TMGSr../b7d6f.. BOUNTY 1.00 bars
TMRxV../1dad8.. BOUNTY 1.00 bars
TMZ7D../e4d65.. BOUNTY 1.00 bars
TMRNg../f314f.. BOUNTY 1.00 bars
TMRFk../99715.. BOUNTY 1.00 bars
TMddj../1cf5f.. BOUNTY 1.00 bars
TMRPi../f9114.. BOUNTY 1.00 bars
TMUEq../84e38.. BOUNTY 1.00 bars
TMTNd../a16b2.. BOUNTY 1.00 bars
TMRCt../746ce.. BOUNTY 1.00 bars
TMauN../85cd7.. BOUNTY 1.00 bars
PUdq5../dd537.. doc published by Pr8qe..

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

TMRp6../f7489.. BOUNTY 1.00 bars
TMbNM../29f10.. BOUNTY 1.00 bars
TMNVi../3eea9.. BOUNTY 1.00 bars
TMSxx../64ee9.. BOUNTY 1.00 bars
TMTkZ../b4936.. BOUNTY 1.00 bars
TMNBz../9409a.. BOUNTY 1.00 bars
TMboU../b1f4e.. BOUNTY 1.00 bars
TMSs9../19c6f.. BOUNTY 1.00 bars
TMGii../c87b4.. BOUNTY 1.00 bars
TMSFe../ed5ac.. BOUNTY 1.00 bars
TMQXt../6366f.. BOUNTY 1.00 bars
TMTfv../bdcba.. BOUNTY 1.00 bars
TMU9e../457af.. BOUNTY 1.00 bars
TMZdB../f185c.. BOUNTY 1.00 bars
TMJhA../2a7b1.. BOUNTY 1.00 bars
TMVsz../7742a.. BOUNTY 1.00 bars
TMFQb../23ff1.. BOUNTY 1.00 bars
TMakV../7fde5.. BOUNTY 1.00 bars
TMTEA../aca4d.. BOUNTY 1.00 bars
TMQ8X../a2ab9.. BOUNTY 1.00 bars
TMb1h../be2f9.. BOUNTY 1.00 bars
TMNTp../04229.. BOUNTY 1.00 bars
TMaG3../df98b.. BOUNTY 1.00 bars
TMQsb../89cd7.. BOUNTY 1.00 bars
TMRX5../cdb5e.. BOUNTY 1.00 bars
TMdq1../69676.. BOUNTY 1.00 bars
TMSUp../4b10f.. BOUNTY 1.00 bars
TMP2d../0c2b2.. BOUNTY 1.00 bars
TMLft../98219.. BOUNTY 1.00 bars
TMHq8../2336a.. BOUNTY 1.00 bars
TMUGd../62927.. BOUNTY 1.00 bars
TMJ1g../dbddb.. BOUNTY 1.00 bars
TMMy9../eec68.. BOUNTY 1.00 bars
TMWkv../9bd15.. BOUNTY 1.00 bars
TMdVG../8f964.. BOUNTY 1.00 bars
TMLwV../26f81.. BOUNTY 1.00 bars
TMRk7../2a7e6.. BOUNTY 1.00 bars
TMW4r../53745.. BOUNTY 1.00 bars
TMNjw../bc02a.. BOUNTY 1.00 bars
TMXFi../37674.. BOUNTY 1.00 bars
TMYCg../a0cc2.. BOUNTY 1.00 bars
TMJa5../5b385.. BOUNTY 1.00 bars
TMVJb../4cc74.. BOUNTY 1.00 bars
TMc8A../b69bc.. BOUNTY 1.00 bars
TMdQ7../da212.. BOUNTY 1.00 bars
TMSGa../1156c.. BOUNTY 1.00 bars
TMHaq../63e2b.. BOUNTY 1.00 bars
TMSv3../7efde.. BOUNTY 1.00 bars
TMZg6../ed17a.. BOUNTY 1.00 bars
TMW51../cf36c.. BOUNTY 1.00 bars
TMZtF../cb852.. BOUNTY 1.00 bars
TMF7G../f374f.. BOUNTY 1.00 bars
TMMne../9b1cd.. BOUNTY 1.00 bars
TMUB1../60f6c.. BOUNTY 1.00 bars
TMP1f../5a7a8.. BOUNTY 1.00 bars
TMYoD../d2f58.. BOUNTY 1.00 bars
TMasd../97442.. BOUNTY 1.00 bars
TMRfp../8f49a.. BOUNTY 1.00 bars
TMdw3../230b3.. BOUNTY 1.00 bars
TMSJ6../939dc.. BOUNTY 1.00 bars
TMLVT../8a268.. BOUNTY 1.00 bars
TMGdA../c5ea7.. BOUNTY 1.00 bars
TMH7S../780a7.. BOUNTY 1.00 bars
TMPwV../7b662.. BOUNTY 1.00 bars
TMPUv../48b5a.. BOUNTY 1.00 bars
TMXhj../c7d7f.. BOUNTY 1.00 bars
TMNiX../9982e.. BOUNTY 1.00 bars
TMR1Z../4df2d.. BOUNTY 1.00 bars
TMTby../25b22.. BOUNTY 1.00 bars
TMT9R../d0a56.. BOUNTY 1.00 bars
TMaFt../734ce.. BOUNTY 1.00 bars
TMGS6../b79af.. BOUNTY 1.00 bars
TMVF8../f6d18.. BOUNTY 1.00 bars
TMXUz../8eda6.. BOUNTY 1.00 bars
TMFbE../700fc.. BOUNTY 1.00 bars
TMZ73../3fd89.. BOUNTY 1.00 bars
TMMs7../e5e9d.. BOUNTY 1.00 bars
TMLFE../cb70d.. BOUNTY 1.00 bars
TMGat../85ee5.. BOUNTY 1.00 bars
TML5h../ae358.. BOUNTY 1.00 bars
TMWyn../1aa62.. BOUNTY 1.00 bars
TMQZa../0cb65.. BOUNTY 1.00 bars
TMJKC../329bc.. BOUNTY 1.00 bars
TMRnA../14ed5.. BOUNTY 1.00 bars
TMKHA../07828.. BOUNTY 1.00 bars
TMXXY../cd54f.. BOUNTY 1.00 bars
TMTU9../a34c7.. BOUNTY 1.00 bars
TMJyU../58595.. BOUNTY 1.00 bars
TMUy7../d76a0.. BOUNTY 1.00 bars
TMNxJ../2af56.. BOUNTY 1.00 bars
TMbZi../34204.. BOUNTY 1.00 bars
TMSoF../faf9a.. BOUNTY 1.00 bars
TMduq../23cbd.. BOUNTY 1.00 bars
TMLn5../0ea3d.. BOUNTY 1.00 bars
TMJ8R../c2da7.. BOUNTY 1.00 bars
TMLwb../3486c.. BOUNTY 1.00 bars
TMTUA../7be1e.. BOUNTY 1.00 bars
TMVRE../90725.. BOUNTY 1.00 bars
TMGr4../f6e66.. BOUNTY 1.00 bars
TMXjC../feedc.. BOUNTY 1.00 bars
TMKoH../9ff92.. BOUNTY 1.00 bars
TMNqt../78b24.. BOUNTY 1.00 bars
TMahP../dfcd0.. BOUNTY 1.00 bars
TMEnL../18487.. BOUNTY 1.00 bars
TMayp../79c41.. BOUNTY 1.00 bars
TMaMT../d1ef0.. BOUNTY 1.00 bars
TMSEi../9625c.. BOUNTY 1.00 bars
TMYL9../9cc15.. BOUNTY 1.00 bars
TMJMb../b65cf.. BOUNTY 1.00 bars
TMd5J../a40d0.. BOUNTY 1.00 bars
TMcC3../6496e.. BOUNTY 1.00 bars
TMLdn../98af7.. BOUNTY 1.00 bars
TMU6v../1c9fe.. BOUNTY 1.00 bars
TMRzm../5e73d.. BOUNTY 1.00 bars
TMYYw../4aad4.. BOUNTY 1.00 bars
TMbUG../32f7b.. BOUNTY 1.00 bars
TMUi7../a8a4c.. BOUNTY 1.00 bars
TMdAc../4e4c9.. BOUNTY 1.00 bars
TMNeY../da1d7.. BOUNTY 1.00 bars
TMLGT../abb15.. BOUNTY 1.00 bars
TMJQm../f3434.. BOUNTY 1.00 bars
TMUYr../7d69c.. BOUNTY 1.00 bars
TMQ8D../0655f.. BOUNTY 1.00 bars
TMR4j../52e5b.. BOUNTY 1.00 bars
TMcpv../9e65e.. BOUNTY 1.00 bars
TMTYo../e8c84.. BOUNTY 1.00 bars
TMFNe../97507.. BOUNTY 1.00 bars
TMSJB../0b8b4.. BOUNTY 1.00 bars
TMF6x../f378a.. BOUNTY 1.00 bars
TMLLu../65540.. BOUNTY 1.00 bars
TMUNp../7d4fb.. BOUNTY 1.00 bars
TMSNE../a30b4.. BOUNTY 1.00 bars
TMXuz../d32a0.. BOUNTY 1.00 bars
TMe1T../6db01.. BOUNTY 1.00 bars
TMSbp../395a9.. BOUNTY 1.00 bars
TMRBV../88d5a.. BOUNTY 1.00 bars
TMank../28727.. BOUNTY 1.00 bars
TMW9u../d99b3.. BOUNTY 1.00 bars
TMbF6../7896d.. BOUNTY 1.00 bars
TMGnG../77f00.. BOUNTY 1.00 bars
TMV1W../fdbeb.. BOUNTY 1.00 bars
TMMLP../7723d.. BOUNTY 1.00 bars
TMZo5../628f5.. BOUNTY 1.00 bars
TMGsn../79df2.. BOUNTY 1.00 bars
TMMrd../67c53.. BOUNTY 1.00 bars
TMdsi../5d5cf.. BOUNTY 1.00 bars
TMdgt../a3675.. BOUNTY 1.00 bars
TMUrF../872c2.. BOUNTY 1.00 bars
TMHHw../05445.. BOUNTY 1.00 bars
TMHkN../64ea7.. BOUNTY 1.00 bars
TMaWq../278ec.. BOUNTY 1.00 bars
TMNGK../72bd7.. BOUNTY 1.00 bars
TMbBf../ca96e.. BOUNTY 1.00 bars
TMXLV../1001c.. BOUNTY 1.00 bars
TMNXR../d52e1.. BOUNTY 1.00 bars
TMNDH../cd962.. BOUNTY 1.00 bars
TMccK../acb37.. BOUNTY 1.00 bars
TMKSr../07ce5.. BOUNTY 1.00 bars
TMbYU../26106.. BOUNTY 1.00 bars
TMXGc../e99ed.. BOUNTY 1.00 bars
TMaxj../5ab88.. BOUNTY 1.00 bars
TMJUZ../aaf22.. BOUNTY 1.00 bars
TMJDj../e0f0b.. BOUNTY 1.00 bars
TMPDq../d8e0a.. BOUNTY 1.00 bars
TMaFy../d9b4f.. BOUNTY 1.00 bars
TMGFR../14ba7.. BOUNTY 1.00 bars
TMFWL../1d8b9.. BOUNTY 1.00 bars
TMLpK../c5633.. BOUNTY 1.00 bars
TMYUj../b394b.. BOUNTY 1.00 bars
TMQCr../b7940.. BOUNTY 1.00 bars
TMFVA../5d238.. BOUNTY 1.00 bars
TMcsf../15e9a.. BOUNTY 1.00 bars
TMUMh../98b3b.. BOUNTY 1.00 bars
TMNR3../67d4f.. BOUNTY 1.00 bars
TMXpQ../6f82c.. BOUNTY 1.00 bars
TMH3w../4b304.. BOUNTY 1.00 bars
TML2R../04e0c.. BOUNTY 1.00 bars
TMGaX../fb30a.. BOUNTY 1.00 bars
TMdeK../01213.. BOUNTY 1.00 bars
TMJ4A../8572b.. BOUNTY 1.00 bars
TMaAs../65b2f.. BOUNTY 1.00 bars
TMbY8../d5dfc.. BOUNTY 1.00 bars
TMEpt../fae8a.. BOUNTY 1.00 bars
TMbMH../59f22.. BOUNTY 1.00 bars
TMKsc../88705.. BOUNTY 1.00 bars
TMRh5../e57bc.. BOUNTY 1.00 bars
TMFw2../64840.. BOUNTY 1.00 bars
TMSgz../a7dc7.. BOUNTY 1.00 bars
TMJLT../43732.. BOUNTY 1.00 bars
TMQTn../e24ab.. BOUNTY 1.00 bars
TMaN9../cf105.. BOUNTY 1.00 bars
TMagX../7aa60.. BOUNTY 1.00 bars
TMbup../735e8.. BOUNTY 1.00 bars
TMH7L../29dc4.. BOUNTY 1.00 bars
TMRVW../281e6.. BOUNTY 1.00 bars
TMTVs../4ba7d.. BOUNTY 1.00 bars
TMcb3../1cab9.. BOUNTY 1.00 bars
TMUVj../6eef5.. BOUNTY 1.00 bars
TMQAK../847a2.. BOUNTY 1.00 bars
TMdBe../efebe.. BOUNTY 1.00 bars
PUWWF../98f81.. doc published by Pr8qe..

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..)))