diff options
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 190 |
1 files changed, 95 insertions, 95 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 8586ca8f..c54e7356 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(199610 . 3576910165) +(199610 . 3577105538) ((((-773)) . T)) ((((-773)) . T)) ((((-773)) . T)) @@ -49,26 +49,26 @@ (((|#1| |#1|) . T)) (((|#1|) . T)) (((|#1|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) ((((-773)) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) -((((-484) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) -((((-484) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T) (((-1145 (-484)) $) . T) ((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013)))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013)))) -((((-484) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) +((((-484) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) +((((-484) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T) (((-1145 (-484)) $) . T) ((|#1| |#2|) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T) ((|#2|) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013)))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)))) ((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013)))) +((((-484) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T) ((|#1| |#2|) . T)) (((|#1| |#2|) . T)) ((($) . T)) ((((-142 (-327))) . T) (((-179)) . T) (((-327)) . T)) @@ -519,7 +519,7 @@ (((|#1|) . T)) ((((-473)) |has| |#2| (-554 (-473))) (((-801 (-327))) |has| |#2| (-554 (-801 (-327)))) (((-801 (-484))) |has| |#2| (-554 (-801 (-484))))) ((($) . T)) -(((|#2| (-197 (-3953 |#1|) (-695))) . T)) +(((|#2| (-197 (-3954 |#1|) (-695))) . T)) (((|#2|) . T)) ((((-773)) . T)) ((($) . T) (((-484)) . T) (((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) . T)) @@ -534,7 +534,7 @@ ((((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822)))) ((((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822)))) ((((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822)))) -(((|#2| (-197 (-3953 |#1|) (-695))) . T)) +(((|#2| (-197 (-3954 |#1|) (-695))) . T)) (((|#2|) . T)) ((($) . T) (((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) . T) (((-484)) |has| |#2| (-581 (-484)))) (((|#2|) . T) (((-484)) |has| |#2| (-581 (-484)))) @@ -547,7 +547,7 @@ (|has| |#2| (-822)) ((((-347 (-484))) |has| |#2| (-951 (-347 (-484)))) (((-484)) |has| |#2| (-951 (-484))) ((|#2|) . T) (((-774 |#1|)) . T)) ((((-484)) . T) (((-347 (-484))) OR (|has| |#2| (-38 (-347 (-484)))) (|has| |#2| (-951 (-347 (-484))))) ((|#2|) . T) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822))) (((-774 |#1|)) . T)) -(((|#2| (-197 (-3953 |#1|) (-695)) (-774 |#1|)) . T)) +(((|#2| (-197 (-3954 |#1|) (-695)) (-774 |#1|)) . T)) ((((-773)) . T)) ((((-444)) . T)) ((((-157)) . T) (((-773)) . T)) @@ -720,13 +720,13 @@ (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2|) . T) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2|) . T) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-773)) . T)) ((((-1094)) . T)) @@ -1331,13 +1331,13 @@ (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2|) . T) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2|) . T) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) (((|#1| |#2| |#3| |#4|) . T)) ((((-473)) |has| |#4| (-554 (-473)))) @@ -1367,17 +1367,17 @@ (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2|) . T) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2|) . T) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-473)) |has| |#2| (-554 (-473))) (((-801 (-327))) |has| |#2| (-554 (-801 (-327)))) (((-801 (-484))) |has| |#2| (-554 (-801 (-484))))) ((($) . T)) -(((|#2| (-419 (-3953 |#1|) (-695))) . T)) +(((|#2| (-419 (-3954 |#1|) (-695))) . T)) (((|#2|) . T)) ((((-773)) . T)) ((($) . T) (((-484)) . T) (((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) . T)) @@ -1392,7 +1392,7 @@ ((((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822)))) ((((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822)))) ((((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) |has| |#2| (-146)) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822)))) -(((|#2| (-419 (-3953 |#1|) (-695))) . T)) +(((|#2| (-419 (-3954 |#1|) (-695))) . T)) (((|#2|) . T)) ((($) . T) (((-347 (-484))) |has| |#2| (-38 (-347 (-484)))) ((|#2|) . T) (((-484)) |has| |#2| (-581 (-484)))) (((|#2|) . T) (((-484)) |has| |#2| (-581 (-484)))) @@ -1405,7 +1405,7 @@ (|has| |#2| (-822)) ((((-347 (-484))) |has| |#2| (-951 (-347 (-484)))) (((-484)) |has| |#2| (-951 (-484))) ((|#2|) . T) (((-774 |#1|)) . T)) ((((-484)) . T) (((-347 (-484))) OR (|has| |#2| (-38 (-347 (-484)))) (|has| |#2| (-951 (-347 (-484))))) ((|#2|) . T) (($) OR (|has| |#2| (-389)) (|has| |#2| (-495)) (|has| |#2| (-822))) (((-774 |#1|)) . T)) -(((|#2| (-419 (-3953 |#1|) (-695)) (-774 |#1|)) . T)) +(((|#2| (-419 (-3954 |#1|) (-695)) (-774 |#1|)) . T)) (OR (|has| |#2| (-21)) (|has| |#2| (-146)) (|has| |#2| (-311)) (|has| |#2| (-962))) (OR (|has| |#2| (-21)) (|has| |#2| (-23)) (|has| |#2| (-104)) (|has| |#2| (-146)) (|has| |#2| (-311)) (|has| |#2| (-718)) (|has| |#2| (-962))) (OR (|has| |#2| (-21)) (|has| |#2| (-23)) (|has| |#2| (-25)) (|has| |#2| (-104)) (|has| |#2| (-146)) (|has| |#2| (-311)) (|has| |#2| (-317)) (|has| |#2| (-664)) (|has| |#2| (-718)) (|has| |#2| (-757)) (|has| |#2| (-962)) (|has| |#2| (-1013))) @@ -1657,13 +1657,13 @@ (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2|) . T) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2|) . T) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((($) . T)) ((($ $) . T)) @@ -1812,16 +1812,16 @@ ((((-1072) |#1|) . T)) ((((-1072) |#1|) . T)) ((((-1072) |#1|) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -(((|#1|) . T) (((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -(((|#1| |#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|)) (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))))) -(((|#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))))) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +(((|#1|) . T) (((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +(((|#1| |#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|)) (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))))) +(((|#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))))) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) ((((-1072) |#1|) . T)) ((((-773)) . T)) -((((-335) (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) +((((-335) (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) ((((-473)) |has| |#1| (-554 (-473))) (((-801 (-327))) |has| |#1| (-554 (-801 (-327)))) (((-801 (-484))) |has| |#1| (-554 (-801 (-484))))) (((|#1|) . T)) ((((-773)) . T)) @@ -1878,13 +1878,13 @@ ((((-1089) (-51)) . T) (((-1072) (-51)) . T)) ((((-1072) (-51)) . T)) ((((-1072) (-51)) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) . T)) -((((-51)) . T) (((-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| (-51))) (-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) |has| (-2 (|:| -3856 (-1072)) (|:| |entry| (-51))) (-259 (-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))))) -((((-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) |has| (-2 (|:| -3856 (-1072)) (|:| |entry| (-51))) (-259 (-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))))) -((((-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) . T)) +((((-51)) . T) (((-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| (-51))) (-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) |has| (-2 (|:| -3857 (-1072)) (|:| |entry| (-51))) (-259 (-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))))) +((((-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) |has| (-2 (|:| -3857 (-1072)) (|:| |entry| (-51))) (-259 (-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))))) +((((-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| (-51)))) . T)) ((((-1072) (-51)) . T)) ((((-484) |#1|) |has| |#2| (-358 |#1|))) (((|#1|) OR (|has| |#2| (-315 |#1|)) (|has| |#2| (-358 |#1|)))) @@ -2035,7 +2035,7 @@ (((|#2|) . T)) (((|#2|) . T)) (((|#2|) . T)) -(((|#2|) |has| |#2| (-6 (-3993 "*")))) +(((|#2|) |has| |#2| (-6 (-3994 "*")))) (((|#2| |#2|) . T)) (((|#2|) . T)) (((|#2|) . T)) @@ -2139,9 +2139,9 @@ ((($) . T)) (|has| |#1| (-1065)) (((|#1|) . T)) -((((-2 (|:| -2398 |#1|) (|:| -2399 |#2|))) . T)) -((((-2 (|:| -2398 |#1|) (|:| -2399 |#2|))) . T)) -((((-2 (|:| -2398 |#1|) (|:| -2399 |#2|))) . T) (((-773)) . T)) +((((-2 (|:| -2399 |#1|) (|:| -2400 |#2|))) . T)) +((((-2 (|:| -2399 |#1|) (|:| -2400 |#2|))) . T)) +((((-2 (|:| -2399 |#1|) (|:| -2400 |#2|))) . T) (((-773)) . T)) (((|#1|) |has| |#1| (-146))) (((|#1|) |has| |#1| (-146))) (((|#1|) |has| |#1| (-146))) @@ -3259,14 +3259,14 @@ ((((-773)) . T)) ((((-1053 |#1| |#2|)) . T)) ((((-473)) |has| |#2| (-554 (-473)))) -(((|#2|) |has| |#2| (-6 (-3993 "*")))) +(((|#2|) |has| |#2| (-6 (-3994 "*")))) (((|#2| |#2|) . T)) (((|#2|) . T)) (((|#2|) . T)) ((((-631 |#2|)) . T) (((-773)) . T)) ((($) . T) (((-484)) . T) ((|#2|) . T)) -(((|#2|) OR (|has| |#2| (-6 (-3993 "*"))) (|has| |#2| (-146)))) -(((|#2|) OR (|has| |#2| (-6 (-3993 "*"))) (|has| |#2| (-146)))) +(((|#2|) OR (|has| |#2| (-6 (-3994 "*"))) (|has| |#2| (-146)))) +(((|#2|) OR (|has| |#2| (-6 (-3994 "*"))) (|has| |#2| (-146)))) (((|#2|) . T)) ((((-1089)) |has| |#2| (-810 (-1089)))) ((((-1089)) OR (|has| |#2| (-810 (-1089))) (|has| |#2| (-812 (-1089))))) @@ -3309,13 +3309,13 @@ (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2|) . T) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2|) . T) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-1094)) . T)) ((((-773)) . T) (((-1094)) . T)) @@ -3351,13 +3351,13 @@ ((((-1072) |#1|) . T)) ((((-1072) |#1|) . T)) ((((-1072) |#1|) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -(((|#1|) . T) (((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -(((|#1| |#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|)) (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))))) -(((|#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))))) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) -((((-2 (|:| -3856 (-1072)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +(((|#1|) . T) (((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +(((|#1| |#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|)) (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))))) +(((|#1|) -12 (|has| |#1| (-259 |#1|)) (|has| |#1| (-1013))) (((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) |has| (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|)) (-259 (-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))))) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) +((((-2 (|:| -3857 (-1072)) (|:| |entry| |#1|))) . T)) ((((-1072) |#1|) . T)) ((((-773)) . T)) ((((-773)) . T)) @@ -3564,13 +3564,13 @@ (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) (((|#1| |#2|) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2|) . T) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3856 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3856 |#1|) (|:| |entry| |#2|))))) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) -((((-2 (|:| -3856 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2|) . T) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +(((|#2| |#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +(((|#2|) -12 (|has| |#2| (-259 |#2|)) (|has| |#2| (-1013))) (((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) |has| (-2 (|:| -3857 |#1|) (|:| |entry| |#2|)) (-259 (-2 (|:| -3857 |#1|) (|:| |entry| |#2|))))) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) +((((-2 (|:| -3857 |#1|) (|:| |entry| |#2|))) . T)) (((|#1| |#2|) . T)) ((((-773)) . T)) (((|#1|) . T)) |