diff options
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 224 |
1 files changed, 112 insertions, 112 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 4e68d5a8..44e0d10c 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(200821 . 3577834560) +(200821 . 3577838831) ((((-773)) . T)) ((((-773)) . T)) ((((-773)) . T)) @@ -49,27 +49,27 @@ (((|#1| |#1|) . T)) (((|#1|) . T)) (((|#1|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-485) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-485) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) (((-1147 (-485)) $) . T) ((|#1| |#2|) . T)) -((((-485) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-485) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-485) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) (((-1147 (-485)) $) . T) ((|#1| |#2|) . T)) +((((-485) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) ((($) . T)) @@ -548,7 +548,7 @@ (((|#1|) . T)) ((((-474)) |has| |#2| (-554 (-474))) (((-801 (-330))) |has| |#2| (-554 (-801 (-330)))) (((-801 (-485))) |has| |#2| (-554 (-801 (-485))))) ((($) . T)) -(((|#2| (-197 (-3958 |#1|) (-695))) . T)) +(((|#2| (-197 (-3959 |#1|) (-695))) . T)) (((|#2|) . T)) ((((-773)) . T)) ((($) . T) (((-485)) . T) (((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) . T)) @@ -563,7 +563,7 @@ ((((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822)))) ((((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822)))) ((((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822)))) -(((|#2| (-197 (-3958 |#1|) (-695))) . T)) +(((|#2| (-197 (-3959 |#1|) (-695))) . T)) (((|#2|) . T)) ((($) . T) (((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) . T) (((-485)) |has| |#2| (-581 (-485)))) (((|#2|) . T) (((-485)) |has| |#2| (-581 (-485)))) @@ -576,7 +576,7 @@ (|has| |#2| (-822)) ((((-350 (-485))) |has| |#2| (-951 (-350 (-485)))) (((-485)) |has| |#2| (-951 (-485))) ((|#2|) . T) (((-774 |#1|)) . T)) ((((-485)) . T) (((-350 (-485))) OR (|has| |#2| (-38 (-350 (-485)))) (|has| |#2| (-951 (-350 (-485))))) ((|#2|) . T) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822))) (((-774 |#1|)) . T)) -(((|#2| (-197 (-3958 |#1|) (-695)) (-774 |#1|)) . T)) +(((|#2| (-197 (-3959 |#1|) (-695)) (-774 |#1|)) . T)) ((((-773)) . T)) ((((-447)) . T)) ((((-157)) . T) (((-773)) . T)) @@ -746,20 +746,20 @@ ((((-85)) |has| |#1| (-1014)) (((-773)) OR (|has| |#1| (-21)) (|has| |#1| (-25)) (|has| |#1| (-146)) (|has| |#1| (-312)) (|has| |#1| (-413)) (|has| |#1| (-664)) (|has| |#1| (-810 (-1091))) (|has| |#1| (-962)) (|has| |#1| (-1026)) (|has| |#1| (-1014)))) (OR (|has| |#1| (-21)) (|has| |#1| (-25)) (|has| |#1| (-146)) (|has| |#1| (-312)) (|has| |#1| (-413)) (|has| |#1| (-664)) (|has| |#1| (-810 (-1091))) (|has| |#1| (-962)) (|has| |#1| (-1026)) (|has| |#1| (-1014))) ((((-1091) |#1|) |has| |#1| (-456 (-1091) |#1|))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-773)) . T)) ((((-1096)) . T)) @@ -1362,20 +1362,20 @@ ((($) |has| |#1| (-15 * (|#1| (-350 (-485)) |#1|)))) (|has| |#1| (-15 * (|#1| (-350 (-485)) |#1|))) (((|#1|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) (((|#1| |#2| |#3| |#4|) . T)) (((|#4|) . T)) @@ -1401,24 +1401,24 @@ ((((-1096)) . T)) ((((-773)) . T) (((-1096)) . T)) ((((-1096)) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-474)) |has| |#2| (-554 (-474))) (((-801 (-330))) |has| |#2| (-554 (-801 (-330)))) (((-801 (-485))) |has| |#2| (-554 (-801 (-485))))) ((($) . T)) -(((|#2| (-422 (-3958 |#1|) (-695))) . T)) +(((|#2| (-422 (-3959 |#1|) (-695))) . T)) (((|#2|) . T)) ((((-773)) . T)) ((($) . T) (((-485)) . T) (((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) . T)) @@ -1433,7 +1433,7 @@ ((((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822)))) ((((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822)))) ((((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822)))) -(((|#2| (-422 (-3958 |#1|) (-695))) . T)) +(((|#2| (-422 (-3959 |#1|) (-695))) . T)) (((|#2|) . T)) ((($) . T) (((-350 (-485))) |has| |#2| (-38 (-350 (-485)))) ((|#2|) . T) (((-485)) |has| |#2| (-581 (-485)))) (((|#2|) . T) (((-485)) |has| |#2| (-581 (-485)))) @@ -1446,7 +1446,7 @@ (|has| |#2| (-822)) ((((-350 (-485))) |has| |#2| (-951 (-350 (-485)))) (((-485)) |has| |#2| (-951 (-485))) ((|#2|) . T) (((-774 |#1|)) . T)) ((((-485)) . T) (((-350 (-485))) OR (|has| |#2| (-38 (-350 (-485)))) (|has| |#2| (-951 (-350 (-485))))) ((|#2|) . T) (($) OR (|has| |#2| (-392)) (|has| |#2| (-496)) (|has| |#2| (-822))) (((-774 |#1|)) . T)) -(((|#2| (-422 (-3958 |#1|) (-695)) (-774 |#1|)) . T)) +(((|#2| (-422 (-3959 |#1|) (-695)) (-774 |#1|)) . T)) (OR (|has| |#2| (-21)) (|has| |#2| (-146)) (|has| |#2| (-312)) (|has| |#2| (-962))) (OR (|has| |#2| (-21)) (|has| |#2| (-23)) (|has| |#2| (-104)) (|has| |#2| (-146)) (|has| |#2| (-312)) (|has| |#2| (-718)) (|has| |#2| (-962))) (OR (|has| |#2| (-21)) (|has| |#2| (-23)) (|has| |#2| (-25)) (|has| |#2| (-104)) (|has| |#2| (-146)) (|has| |#2| (-312)) (|has| |#2| (-320)) (|has| |#2| (-664)) (|has| |#2| (-718)) (|has| |#2| (-757)) (|has| |#2| (-962)) (|has| |#2| (-1014))) @@ -1689,20 +1689,20 @@ ((((-773)) . T)) ((((-773)) . T)) ((((-773)) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((($) . T)) ((($ $) . T)) @@ -1830,22 +1830,22 @@ ((((-101)) . T) (((-542)) . T)) ((((-101)) . T) (((-542)) . T)) ((((-101)) . T) (((-542)) . T) (((-773)) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) ((((-1074) |#1|) . T)) ((((-1074) |#1|) . T)) ((((-1074) |#1|) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T) ((|#1|) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)) (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)))) ((|#1| |#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)))) ((|#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T) ((|#1|) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)) (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)))) ((|#1| |#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)))) ((|#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) ((((-1074) |#1|) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) ((((-1074) |#1|) . T)) ((((-773)) . T)) -((((-338) (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) +((((-338) (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) ((((-474)) |has| |#1| (-554 (-474))) (((-801 (-330))) |has| |#1| (-554 (-801 (-330)))) (((-801 (-485))) |has| |#1| (-554 (-801 (-485))))) (((|#1|) . T)) ((((-773)) . T)) @@ -1898,20 +1898,20 @@ ((((-773)) . T) (((-1096)) . T)) ((((-1096)) . T)) ((((-773)) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T)) ((((-773)) . T)) ((((-1074) (-51)) . T)) ((((-1074) (-51)) . T)) ((((-1091) (-51)) . T) (((-1074) (-51)) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T) (((-51)) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51))) (-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) |has| (-2 (|:| -3861 (-1074)) (|:| |entry| (-51))) (-260 (-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))))) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) |has| (-2 (|:| -3861 (-1074)) (|:| |entry| (-51))) (-260 (-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))))) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T) (((-51)) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51))) (-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) |has| (-2 (|:| -3862 (-1074)) (|:| |entry| (-51))) (-260 (-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))))) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) |has| (-2 (|:| -3862 (-1074)) (|:| |entry| (-51))) (-260 (-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))))) ((((-1074) (-51)) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| (-51)))) . T)) ((((-1074) (-51)) . T)) ((((-485) |#1|) |has| |#2| (-361 |#1|))) (((|#1|) OR (|has| |#2| (-316 |#1|)) (|has| |#2| (-361 |#1|)))) @@ -2066,7 +2066,7 @@ (((|#2|) . T)) (((|#2|) . T)) (((|#2|) . T)) -(((|#2|) |has| |#2| (-6 (-3998 "*")))) +(((|#2|) |has| |#2| (-6 (-3999 "*")))) (((|#2| |#2|) . T)) (((|#2|) . T)) (((|#2|) . T)) @@ -3311,14 +3311,14 @@ ((((-773)) . T)) ((((-1055 |#1| |#2|)) . T)) ((((-474)) |has| |#2| (-554 (-474)))) -(((|#2|) |has| |#2| (-6 (-3998 "*")))) +(((|#2|) |has| |#2| (-6 (-3999 "*")))) (((|#2| |#2|) . T)) (((|#2|) . T)) (((|#2|) . T)) ((((-631 |#2|)) . T) (((-773)) . T)) ((($) . T) (((-485)) . T) ((|#2|) . T)) -(((|#2|) OR (|has| |#2| (-6 (-3998 "*"))) (|has| |#2| (-146)))) -(((|#2|) OR (|has| |#2| (-6 (-3998 "*"))) (|has| |#2| (-146)))) +(((|#2|) OR (|has| |#2| (-6 (-3999 "*"))) (|has| |#2| (-146)))) +(((|#2|) OR (|has| |#2| (-6 (-3999 "*"))) (|has| |#2| (-146)))) (((|#2|) . T)) ((((-1091)) |has| |#2| (-810 (-1091)))) ((((-1091)) OR (|has| |#2| (-810 (-1091))) (|has| |#2| (-812 (-1091))))) @@ -3360,20 +3360,20 @@ (((|#1|) . T)) (((|#1|) . T)) (((|#1|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-1096)) . T)) ((((-773)) . T) (((-1096)) . T)) @@ -3406,20 +3406,20 @@ ((((-485) (-117)) . T) (((-1147 (-485)) $) . T)) ((((-117)) . T)) ((((-117)) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) ((((-773)) . T)) ((((-1074) |#1|) . T)) ((((-1074) |#1|) . T)) ((((-1074) |#1|) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T) ((|#1|) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)) (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)))) ((|#1| |#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3861 (-1074)) (|:| |entry| |#1|)))) ((|#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T) ((|#1|) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)) (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)))) ((|#1| |#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) |has| (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)) (-260 (-2 (|:| -3862 (-1074)) (|:| |entry| |#1|)))) ((|#1|) -12 (|has| |#1| (-260 |#1|)) (|has| |#1| (-1014)))) ((((-1074) |#1|) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3861 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3862 (-1074)) (|:| |entry| |#1|))) . T)) ((((-1074) |#1|) . T)) ((((-773)) . T)) ((((-773)) . T)) @@ -3621,20 +3621,20 @@ ((((-773)) . T)) ((((-773)) . T)) ((((-773)) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3861 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)) (-260 (-2 (|:| -3862 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1014)))) (((|#1| |#2|) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3861 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3862 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-773)) . T)) (((|#1|) . T)) |