* interp/nruncomp.boot (buildFunctor): Remove $MissingFunctionInfo.

	* interp/functor.boot (SetFunctionSlots): Simplify.
	(SigSlotsMatch): Likewise.
	(CheckVector): Remove.
	(makeMissingFunctionEntry): Refer to $SetFunctions.

1 files changed, 99 insertions, 99 deletions

diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase
index 8080a6d0..7c1c97ba 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,6 +1,6 @@
 
-(188155 . 3465590100)        
-(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(188155 . 3465643297)        
+(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 ((((-567)) . T) (($) -2871 (|has| |#1| (-308)) (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-559))) (((-410 (-567))) -2871 (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-1039 (-410 (-567))))) ((|#1|) . T)) 
 (((|#2| |#2|) . T)) 
 ((((-567)) . T)) 
@@ -56,7 +56,7 @@
 (((#0=(-871 |#1|) #0#) . T) ((#1=(-410 (-567)) #1#) . T) (($ $) . T)) 
 ((((-1158)) . T) (((-959 (-129))) . T) (((-863)) . T)) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (|has| |#4| (-370)) 
 (|has| |#3| (-370)) 
 (((|#1|) . T)) 
@@ -74,7 +74,7 @@
 ((((-567)) . T) (((-410 (-567))) -2871 (|has| |#2| (-38 (-410 (-567)))) (|has| |#2| (-1039 (-410 (-567))))) ((|#2|) . T) (($) -2871 (|has| |#2| (-455)) (|has| |#2| (-559)) (|has| |#2| (-910))) (((-865 |#1|)) . T)) 
 (-2871 (|has| |#1| (-365)) (|has| |#1| (-559))) 
 (-2871 (|has| |#1| (-365)) (|has| |#1| (-559))) 
-((((-2 (|:| -3832 |#1|) (|:| -3590 |#2|))) . T)) 
+((((-2 (|:| -3832 |#1|) (|:| -2923 |#2|))) . T)) 
 ((($) . T)) 
 ((((-567)) . T) (((-410 (-567))) -2871 (|has| |#1| (-38 (-410 (-567)))) (|has| |#1| (-1039 (-410 (-567))))) ((|#1|) . T) (($) -2871 (|has| |#1| (-455)) (|has| |#1| (-559)) (|has| |#1| (-910))) (((-1176)) . T)) 
 ((((-863)) -2871 (|has| |#1| (-614 (-863))) (|has| |#1| (-851)) (|has| |#1| (-1100)))) 
@@ -130,7 +130,7 @@
 (((|#1|) . T) (((-410 (-567))) |has| |#1| (-38 (-410 (-567)))) (($) . T)) 
 (-2871 (|has| |#1| (-851)) (|has| |#1| (-1100))) 
 (((|#1|) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-567)) . T)) 
 ((((-863)) . T)) 
 (((|#1| |#2|) . T)) 
@@ -269,8 +269,8 @@
 (((|#1|) . T)) 
 ((((-410 (-567))) |has| |#1| (-1039 (-410 (-567)))) (((-567)) |has| |#1| (-1039 (-567))) ((|#1|) . T)) 
 (((|#1|) . T) (((-567)) |has| |#1| (-640 (-567)))) 
-(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
-(((|#1|) . T) (((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
+(((|#1|) . T) (((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (|has| |#1| (-559)) 
 ((((-567)) -2871 (|has| |#4| (-172)) (|has| |#4| (-849)) (-12 (|has| |#4| (-1039 (-567))) (|has| |#4| (-1100))) (|has| |#4| (-1050))) ((|#4|) -2871 (|has| |#4| (-172)) (|has| |#4| (-1100))) (((-410 (-567))) -12 (|has| |#4| (-1039 (-410 (-567)))) (|has| |#4| (-1100)))) 
 ((((-567)) -2871 (|has| |#3| (-172)) (|has| |#3| (-849)) (-12 (|has| |#3| (-1039 (-567))) (|has| |#3| (-1100))) (|has| |#3| (-1050))) ((|#3|) -2871 (|has| |#3| (-172)) (|has| |#3| (-1100))) (((-410 (-567))) -12 (|has| |#3| (-1039 (-410 (-567)))) (|has| |#3| (-1100)))) 
@@ -299,11 +299,11 @@
 ((((-539)) |has| |#2| (-615 (-539))) (((-893 (-381))) |has| |#2| (-615 (-893 (-381)))) (((-893 (-567))) |has| |#2| (-615 (-893 (-567))))) 
 ((((-863)) . T)) 
 (((|#1| |#2| |#3| |#4|) . T)) 
-((((-2 (|:| -3832 |#1|) (|:| -3590 |#2|))) . T) (((-863)) . T)) 
+((((-2 (|:| -3832 |#1|) (|:| -2923 |#2|))) . T) (((-863)) . T)) 
 ((((-539)) |has| |#1| (-615 (-539))) (((-893 (-381))) |has| |#1| (-615 (-893 (-381)))) (((-893 (-567))) |has| |#1| (-615 (-893 (-567))))) 
 (((|#4|) -2871 (|has| |#4| (-172)) (|has| |#4| (-365)) (|has| |#4| (-1050))) (($) |has| |#4| (-172))) 
 (((|#3|) -2871 (|has| |#3| (-172)) (|has| |#3| (-365)) (|has| |#3| (-1050))) (($) |has| |#3| (-172))) 
-((((-2 (|:| -3832 |#1|) (|:| -3590 |#2|))) . T)) 
+((((-2 (|:| -3832 |#1|) (|:| -2923 |#2|))) . T)) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 ((((-539)) . T) (((-567)) . T) (((-893 (-567))) . T) (((-381)) . T) (((-225)) . T)) 
@@ -311,7 +311,7 @@
 (((|#1|) . T) (((-567)) |has| |#1| (-1039 (-567))) (((-410 (-567))) |has| |#1| (-1039 (-410 (-567))))) 
 ((($) . T) (((-410 (-567))) |has| |#2| (-38 (-410 (-567)))) ((|#2|) . T)) 
 ((((-410 $) (-410 $)) |has| |#2| (-559)) (($ $) . T) ((|#2| |#2|) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))) . T)) 
 (((|#1|) . T)) 
 (|has| |#2| (-910)) 
 ((((-1158) (-52)) . T)) 
@@ -350,7 +350,7 @@
 (((|#1|) . T)) 
 (((|#2| |#2|) . T)) 
 (|has| |#1| (-1151)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (|has| (-1252 |#1| |#2| |#3| |#4|) (-145)) 
 (|has| (-1252 |#1| |#2| |#3| |#4|) (-147)) 
 (|has| |#1| (-145)) 
@@ -368,10 +368,10 @@
 ((($) . T) ((|#1|) . T)) 
 (((|#2|) |has| |#2| (-1050))) 
 ((((-863)) . T)) 
-(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (((|#1|) . T)) 
 ((((-1266 (-341 (-4140) (-4140 (QUOTE X)) (-700)))) . T)) 
-(((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) ((#0=(-2 (|:| -1812 (-1158)) (|:| -4217 |#1|)) #0#) |has| (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))))) 
+(((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) ((#0=(-2 (|:| -1812 (-1158)) (|:| -4215 |#1|)) #0#) |has| (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))))) 
 ((((-863)) . T)) 
 ((((-567) |#1|) . T)) 
 ((((-539)) -12 (|has| |#1| (-615 (-539))) (|has| |#2| (-615 (-539)))) (((-893 (-381))) -12 (|has| |#1| (-615 (-893 (-381)))) (|has| |#2| (-615 (-893 (-381))))) (((-893 (-567))) -12 (|has| |#1| (-615 (-893 (-567)))) (|has| |#2| (-615 (-893 (-567)))))) 
@@ -489,12 +489,12 @@
 ((((-144)) . T)) 
 (((|#3|) |has| |#3| (-1100)) (((-567)) -12 (|has| |#3| (-1039 (-567))) (|has| |#3| (-1100))) (((-410 (-567))) -12 (|has| |#3| (-1039 (-410 (-567)))) (|has| |#3| (-1100)))) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) . T)) 
 ((((-863)) -2871 (|has| |#1| (-614 (-863))) (|has| |#1| (-851)) (|has| |#1| (-1100)))) 
 ((((-539)) |has| |#1| (-615 (-539)))) 
 (((|#1|) |has| |#1| (-172))) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 (|has| |#1| (-365)) 
 ((((-1181)) . T)) 
 (((|#1|) . T)) 
@@ -505,13 +505,13 @@
 (|has| |#1| (-849)) 
 (-2871 (|has| |#1| (-851)) (|has| |#1| (-1100))) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-539)) |has| |#1| (-615 (-539)))) 
 (((|#1| |#2|) . T)) 
 ((((-1176)) -12 (|has| |#1| (-365)) (|has| |#1| (-901 (-1176))))) 
 ((((-1158) |#1|) . T)) 
 (((|#1| |#2| |#3| (-534 |#3|)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (|has| |#1| (-370)) 
 (|has| |#1| (-370)) 
 (|has| |#1| (-370)) 
@@ -727,7 +727,7 @@
 ((((-1140 |#1| |#2|)) |has| (-1140 |#1| |#2|) (-310 (-1140 |#1| |#2|)))) 
 (((|#4| |#4|) -12 (|has| |#4| (-310 |#4|)) (|has| |#4| (-1100)))) 
 (((|#3| |#3|) -12 (|has| |#3| (-310 |#3|)) (|has| |#3| (-1100)))) 
-(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (((|#2|) . T) (((-567)) |has| |#2| (-1039 (-567))) (((-410 (-567))) |has| |#2| (-1039 (-410 (-567))))) 
 (((|#1|) . T)) 
 (((|#1| |#2|) . T)) 
@@ -736,7 +736,7 @@
 (((|#2|) . T)) 
 (((|#3|) . T)) 
 (-2871 (|has| |#1| (-851)) (|has| |#1| (-1100))) 
-(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (((|#2|) . T)) 
 ((((-863)) -2871 (|has| |#2| (-25)) (|has| |#2| (-131)) (|has| |#2| (-614 (-863))) (|has| |#2| (-172)) (|has| |#2| (-365)) (|has| |#2| (-370)) (|has| |#2| (-727)) (|has| |#2| (-794)) (|has| |#2| (-849)) (|has| |#2| (-1050)) (|has| |#2| (-1100))) (((-1266 |#2|)) . T)) 
 ((((-410 (-567))) |has| |#1| (-1039 (-410 (-567)))) ((|#1|) . T) (((-567)) . T) (($) . T)) 
@@ -835,9 +835,9 @@
 (-2871 (|has| |#1| (-455)) (|has| |#1| (-910))) 
 ((((-567) |#2|) . T)) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
 ((($) -2871 (|has| |#3| (-172)) (|has| |#3| (-849)) (|has| |#3| (-1050))) ((|#3|) -2871 (|has| |#3| (-172)) (|has| |#3| (-365)) (|has| |#3| (-1050)))) 
 ((((-567) |#1|) . T)) 
@@ -852,11 +852,11 @@
 (|has| |#1| (-559)) 
 (|has| |#1| (-38 (-410 (-567)))) 
 (|has| |#1| (-38 (-410 (-567)))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (|has| |#1| (-38 (-410 (-567)))) 
-((((-391) (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-391) (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (|has| |#1| (-38 (-410 (-567)))) 
 (|has| |#2| (-1151)) 
 (-2871 (|has| |#1| (-365)) (|has| |#1| (-559))) 
@@ -1092,7 +1092,7 @@
 (|has| |#2| (-172)) 
 (((|#1| |#2|) . T)) 
 (-12 (|has| |#2| (-233)) (|has| |#2| (-1050))) 
-(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (-2871 (|has| |#3| (-794)) (|has| |#3| (-849))) 
 (-2871 (|has| |#3| (-794)) (|has| |#3| (-849))) 
 ((((-863)) . T)) 
@@ -1123,10 +1123,10 @@
 (((|#1| (-410 (-567))) . T)) 
 (((|#3|) . T) (((-613 $)) . T)) 
 (((|#1| |#2|) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) . T)) 
 (((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-567)) -2871 (|has| |#2| (-172)) (|has| |#2| (-849)) (-12 (|has| |#2| (-1039 (-567))) (|has| |#2| (-1100))) (|has| |#2| (-1050))) ((|#2|) -2871 (|has| |#2| (-172)) (|has| |#2| (-1100))) (((-410 (-567))) -12 (|has| |#2| (-1039 (-410 (-567)))) (|has| |#2| (-1100)))) 
 (((|#1|) . T) (((-410 (-567))) . T) (($) . T)) 
 ((($ $) . T) ((|#2| $) . T)) 
@@ -1135,8 +1135,8 @@
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 (((|#1| |#1|) . T)) 
-(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
-(((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) (((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) |has| (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))))) 
+(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
+(((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) (((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) |has| (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))))) 
 ((((-863)) . T)) 
 (((|#1|) . T)) 
 (((|#3| |#3|) . T)) 
@@ -1152,7 +1152,7 @@
 (|has| |#1| (-1100)) 
 (((|#2| |#2|) -2871 (|has| |#2| (-172)) (|has| |#2| (-365)) (|has| |#2| (-1050))) (($ $) |has| |#2| (-172))) 
 (((|#2|) -2871 (|has| |#2| (-172)) (|has| |#2| (-365)))) 
-((((-567) (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T) ((|#1| |#2|) . T)) 
+((((-567) (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T) ((|#1| |#2|) . T)) 
 (((|#2|) -2871 (|has| |#2| (-172)) (|has| |#2| (-365)) (|has| |#2| (-1050))) (($) |has| |#2| (-172))) 
 ((((-567)) . T)) 
 ((((-1181)) . T)) 
@@ -1196,7 +1196,7 @@
 (-2871 (|has| |#2| (-25)) (|has| |#2| (-131)) (|has| |#2| (-172)) (|has| |#2| (-365)) (|has| |#2| (-370)) (|has| |#2| (-727)) (|has| |#2| (-794)) (|has| |#2| (-849)) (|has| |#2| (-1050)) (|has| |#2| (-1100))) 
 (-12 (|has| |#3| (-233)) (|has| |#3| (-1050))) 
 (|has| |#2| (-1151)) 
-(((#0=(-52)) . T) (((-2 (|:| -1812 (-1176)) (|:| -4217 #0#))) . T)) 
+(((#0=(-52)) . T) (((-2 (|:| -1812 (-1176)) (|:| -4215 #0#))) . T)) 
 (((|#1| |#2|) . T)) 
 (-2871 (|has| |#3| (-172)) (|has| |#3| (-849)) (|has| |#3| (-1050))) 
 (((|#1| (-567) (-1082)) . T)) 
@@ -1225,7 +1225,7 @@
 (((|#4|) . T) (((-863)) . T)) 
 (((|#3|) . T) ((|#2|) . T) (($) -2871 (|has| |#4| (-172)) (|has| |#4| (-849)) (|has| |#4| (-1050))) (((-567)) . T) ((|#4|) -2871 (|has| |#4| (-172)) (|has| |#4| (-365)) (|has| |#4| (-1050)))) 
 (((|#2|) . T) (($) -2871 (|has| |#3| (-172)) (|has| |#3| (-849)) (|has| |#3| (-1050))) (((-567)) . T) ((|#3|) -2871 (|has| |#3| (-172)) (|has| |#3| (-365)) (|has| |#3| (-1050)))) 
-(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (|has| |#1| (-559)) 
 (((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
 ((((-863)) . T)) 
@@ -1285,7 +1285,7 @@
 (-12 (|has| |#1| (-794)) (|has| |#2| (-794))) 
 (-2871 (|has| |#2| (-172)) (|has| |#2| (-849)) (|has| |#2| (-1050))) 
 ((($) . T) (((-567)) . T) ((|#2|) . T)) 
-(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#2|) . T) (($) . T)) 
 (|has| |#1| (-1201)) 
 (((#0=(-567) #0#) . T) ((#1=(-410 (-567)) #1#) . T) (($ $) . T)) 
@@ -1316,7 +1316,7 @@
 ((($) . T) (((-410 (-567))) -2871 (|has| |#1| (-365)) (|has| |#1| (-351))) ((|#1|) . T)) 
 (-2871 (|has| |#1| (-172)) (|has| |#1| (-559))) 
 ((($) . T)) 
-(((#0=(-2 (|:| -1812 (-1176)) (|:| -4217 (-52))) #0#) |has| (-2 (|:| -1812 (-1176)) (|:| -4217 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))))) 
+(((#0=(-2 (|:| -1812 (-1176)) (|:| -4215 (-52))) #0#) |has| (-2 (|:| -1812 (-1176)) (|:| -4215 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))))) 
 ((($) . T)) 
 ((($) . T)) 
 (((|#2|) |has| |#2| (-1100))) 
@@ -1332,10 +1332,10 @@
 ((((-567)) |has| #0=(-410 |#2|) (-640 (-567))) ((#0#) . T)) 
 ((($) . T) (((-567)) . T)) 
 ((((-567) (-144)) . T)) 
-((((-567) (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T) ((|#1| |#2|) . T)) 
+((((-567) (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T) ((|#1| |#2|) . T)) 
 ((((-410 (-567))) . T) (($) . T)) 
 (((|#1|) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-863)) . T)) 
 ((((-911 |#1|)) . T)) 
 (|has| |#1| (-365)) 
@@ -1364,7 +1364,7 @@
 ((((-863)) . T)) 
 ((($) . T)) 
 (((|#2|) . T) (($) . T)) 
-((((-567) (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T) ((|#1| |#2|) . T)) 
+((((-567) (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T) ((|#1| |#2|) . T)) 
 (((|#1|) . T)) 
 (((|#1|) |has| |#1| (-172))) 
 ((($) |has| |#1| (-559)) ((|#1|) |has| |#1| (-172)) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
@@ -1379,7 +1379,7 @@
 ((((-539)) |has| |#1| (-615 (-539))) (((-893 (-381))) |has| |#1| (-615 (-893 (-381)))) (((-893 (-567))) |has| |#1| (-615 (-893 (-567))))) 
 ((((-863)) . T)) 
 ((((-871 |#1|)) . T) (($) . T) (((-410 (-567))) . T)) 
-(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-509)) . T)) 
 (|has| |#2| (-849)) 
 ((((-509)) . T)) 
@@ -1414,7 +1414,7 @@
 (((|#1|) . T)) 
 ((((-1176)) |has| (-410 |#2|) (-901 (-1176)))) 
 (((|#2|) . T)) 
-(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 ((((-410 (-567))) |has| |#2| (-38 (-410 (-567)))) ((|#2|) |has| |#2| (-172)) (($) -2871 (|has| |#2| (-455)) (|has| |#2| (-559)) (|has| |#2| (-910)))) 
 ((((-410 (-567))) |has| |#2| (-38 (-410 (-567)))) ((|#2|) . T) (($) -2871 (|has| |#2| (-172)) (|has| |#2| (-455)) (|has| |#2| (-559)) (|has| |#2| (-910)))) 
 ((((-410 (-567))) |has| |#1| (-38 (-410 (-567)))) ((|#1|) |has| |#1| (-172)) (($) -2871 (|has| |#1| (-455)) (|has| |#1| (-559)) (|has| |#1| (-910)))) 
@@ -1431,7 +1431,7 @@
 (((|#2|) . T) (((-567)) . T)) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T) ((|#2|) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T) ((|#2|) . T)) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 ((((-1158) (-1176) (-567) (-225) (-863)) . T)) 
@@ -1522,7 +1522,7 @@
 ((((-1000 |#1|)) . T) ((|#1|) . T)) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-410 (-567))) . T) (((-410 |#1|)) . T) ((|#1|) . T) (($) . T)) 
 (((|#1| (-1172 |#1|)) . T)) 
 ((((-567)) . T) (($) . T) (((-410 (-567))) . T)) 
@@ -1531,7 +1531,7 @@
 (((|#1|) . T) (((-567)) . T) (($) . T)) 
 (((|#2|) . T)) 
 ((((-567)) . T) (($) . T) (((-410 (-567))) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 ((((-863)) -2871 (|has| |#1| (-614 (-863))) (|has| |#1| (-1100)))) 
 ((((-567) |#2|) . T)) 
 (((|#1|) . T) (((-410 (-567))) . T) (((-567)) . T) (($) . T)) 
@@ -1545,7 +1545,7 @@
 (|has| |#1| (-38 (-410 (-567)))) 
 (|has| |#1| (-38 (-410 (-567)))) 
 ((((-1258 |#1| |#2| |#3|)) |has| |#1| (-365))) 
-(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (((|#2| |#2|) . T)) 
 (|has| |#1| (-1100)) 
 (|has| |#1| (-38 (-410 (-567)))) 
@@ -1590,7 +1590,7 @@
 (((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
 (((|#1| |#2|) . T)) 
 ((((-567) (-144)) . T)) 
-(((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100)))) 
+(((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)))) ((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100)))) 
 ((($) -2871 (|has| |#1| (-455)) (|has| |#1| (-559)) (|has| |#1| (-910))) ((|#1|) |has| |#1| (-172)) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
 (|has| |#1| (-851)) 
 (((|#2| (-772) (-1082)) . T)) 
@@ -1643,7 +1643,7 @@
 ((((-391) (-1158)) . T)) 
 ((($) |has| |#1| (-559)) ((|#1|) |has| |#1| (-172)) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
 ((((-863)) -2871 (|has| |#2| (-25)) (|has| |#2| (-131)) (|has| |#2| (-614 (-863))) (|has| |#2| (-172)) (|has| |#2| (-365)) (|has| |#2| (-370)) (|has| |#2| (-727)) (|has| |#2| (-794)) (|has| |#2| (-849)) (|has| |#2| (-1050)) (|has| |#2| (-1100))) (((-1266 |#2|)) . T)) 
-(((#0=(-52)) . T) (((-2 (|:| -1812 (-1158)) (|:| -4217 #0#))) . T)) 
+(((#0=(-52)) . T) (((-2 (|:| -1812 (-1158)) (|:| -4215 #0#))) . T)) 
 (((|#1|) . T)) 
 ((((-863)) . T)) 
 (((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100)))) 
@@ -1694,12 +1694,12 @@
 (((|#2|) |has| |#2| (-172))) 
 (((|#1|) . T)) 
 (((|#2|) . T)) 
-(((|#1|) . T) (((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+(((|#1|) . T) (((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#2|) . T)) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 ((((-1174 |#1| |#2| |#3|)) |has| |#1| (-365))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-1176) (-52)) . T)) 
 ((($ $) . T)) 
 (((|#1| (-567)) . T)) 
@@ -1749,11 +1749,11 @@
 (-2871 (|has| |#1| (-365)) (|has| |#1| (-351))) 
 (|has| |#1| (-38 (-410 (-567)))) 
 (|has| |#1| (-38 (-410 (-567)))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-1176)) |has| |#1| (-901 (-1176))) (((-1082)) . T)) 
 (((|#1|) . T)) 
 (|has| |#1| (-849)) 
-(((#0=(-2 (|:| -1812 (-1158)) (|:| -4217 (-52))) #0#) |has| (-2 (|:| -1812 (-1158)) (|:| -4217 (-52))) (-310 (-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))))) 
+(((#0=(-2 (|:| -1812 (-1158)) (|:| -4215 (-52))) #0#) |has| (-2 (|:| -1812 (-1158)) (|:| -4215 (-52))) (-310 (-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))))) 
 (((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
 (|has| |#1| (-1100)) 
 ((((-863)) . T) (((-1181)) . T)) 
@@ -1813,7 +1813,7 @@
 (((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
 (((|#1|) . T)) 
 (((|#1| |#2|) . T)) 
-(((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) ((#0=(-2 (|:| -1812 (-1158)) (|:| -4217 |#1|)) #0#) |has| (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))))) 
+(((|#1| |#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) ((#0=(-2 (|:| -1812 (-1158)) (|:| -4215 |#1|)) #0#) |has| (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))))) 
 (-2871 (|has| |#2| (-455)) (|has| |#2| (-910))) 
 (-2871 (|has| |#1| (-455)) (|has| |#1| (-910))) 
 (((|#1|) . T) (($) . T)) 
@@ -1838,7 +1838,7 @@
 ((((-410 (-567))) -2871 (|has| |#1| (-38 (-410 (-567)))) (|has| |#1| (-365))) (($) -2871 (|has| |#1| (-365)) (|has| |#1| (-559))) (((-1174 |#1| |#2| |#3|)) |has| |#1| (-365)) ((|#1|) |has| |#1| (-172))) 
 (((|#1|) |has| |#1| (-172)) (((-410 (-567))) -2871 (|has| |#1| (-38 (-410 (-567)))) (|has| |#1| (-365))) (($) -2871 (|has| |#1| (-365)) (|has| |#1| (-559)))) 
 ((($) |has| |#1| (-559)) ((|#1|) |has| |#1| (-172)) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 ((((-410 |#2|)) . T) (((-410 (-567))) . T) (($) . T)) 
 ((((-673 |#1|)) . T)) 
 (((|#1| |#2| |#3| |#4|) . T)) 
@@ -1916,7 +1916,7 @@
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 ((($ $) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((($ $) . T)) 
 ((((-567) (-112)) . T)) 
 ((($) . T)) 
@@ -1945,7 +1945,7 @@
 (((|#1| (-1230 |#1| |#2| |#3|)) . T)) 
 (((|#1| (-772)) . T)) 
 (((|#1|) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-863)) . T)) 
 (|has| |#1| (-1100)) 
 ((((-1158) |#1|) . T)) 
@@ -1994,7 +1994,7 @@
 ((($) -2871 (|has| |#1| (-172)) (|has| |#1| (-365)) (|has| |#1| (-559))) (((-410 (-567))) -2871 (|has| |#1| (-38 (-410 (-567)))) (|has| |#1| (-365))) (((-1174 |#1| |#2| |#3|)) |has| |#1| (-365)) ((|#1|) . T)) 
 (((|#1|) . T) (($) -2871 (|has| |#1| (-172)) (|has| |#1| (-365)) (|has| |#1| (-559))) (((-410 (-567))) -2871 (|has| |#1| (-38 (-410 (-567)))) (|has| |#1| (-365)))) 
 ((($) -2871 (|has| |#1| (-172)) (|has| |#1| (-559))) ((|#1|) . T) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
-(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (((|#1|) |has| |#1| (-172))) 
 ((((-863)) . T)) 
 ((($) |has| |#1| (-559)) ((|#1|) |has| |#1| (-172)) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
@@ -2018,7 +2018,7 @@
 (|has| |#1| (-849)) 
 (((|#1| (-567) (-1082)) . T)) 
 (-2871 (|has| |#1| (-901 (-1176))) (|has| |#1| (-1050))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1| (-410 (-567)) (-1082)) . T)) 
 (((|#1| (-772) (-1082)) . T)) 
 (|has| |#1| (-851)) 
@@ -2040,8 +2040,8 @@
 ((((-690 (-341 (-4140) (-4140 (QUOTE X) (QUOTE HESS)) (-700)))) . T)) 
 (((|#2|) |has| |#2| (-172))) 
 (((|#1|) |has| |#1| (-172))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 ((((-863)) . T)) 
 (|has| |#3| (-849)) 
 ((((-863)) . T)) 
@@ -2057,11 +2057,11 @@
 ((($) . T) ((|#1|) . T) (((-410 (-567))) |has| |#1| (-365))) 
 (|has| |#1| (-851)) 
 (((|#1|) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) . T) (((-567)) . T)) 
 (((|#2|) . T)) 
 ((((-567)) . T) ((|#3|) . T)) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) |has| (-2 (|:| -1812 (-1176)) (|:| -4217 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))))) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) |has| (-2 (|:| -1812 (-1176)) (|:| -4215 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))))) 
 (-2871 (|has| |#1| (-455)) (|has| |#1| (-910))) 
 (((|#2|) . T) (((-567)) |has| |#2| (-640 (-567)))) 
 ((((-863)) . T)) 
@@ -2120,7 +2120,7 @@
 ((((-645 |#1|)) . T)) 
 (|has| |#1| (-910)) 
 (((|#2|) |has| |#2| (-1050))) 
-(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (|has| |#1| (-365)) 
 (((|#1|) |has| |#1| (-172))) 
 (((|#1| |#1|) . T)) 
@@ -2172,7 +2172,7 @@
 (((|#1| |#2|) . T)) 
 ((($) . T) (((-567)) . T) (((-410 (-567))) . T)) 
 ((((-567)) . T) (($) . T) (((-410 (-567))) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))) . T)) 
 (((|#1|) . T) (((-410 (-567))) . T) (((-567)) . T) (($) . T)) 
 (((|#1|) . T) (((-410 (-567))) . T) (((-567)) . T) (($) . T)) 
 (((|#1|) . T) (((-410 (-567))) . T) (((-567)) . T) (($) . T)) 
@@ -2186,7 +2186,7 @@
 (((|#2|) . T)) 
 ((($) . T) (((-567)) . T) (((-410 (-567))) -2871 (|has| |#1| (-365)) (|has| |#1| (-351))) ((|#1|) . T)) 
 ((((-567) |#1|) . T)) 
-(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 ((((-381)) . T)) 
 ((((-700)) . T)) 
 ((((-410 (-567))) . #0=(|has| |#2| (-365))) (($) . #0#)) 
@@ -2203,7 +2203,7 @@
 (|has| |#1| (-365)) 
 ((((-1176)) |has| |#2| (-901 (-1176)))) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-410 (-567))) . T) (($) . T)) 
 (|has| |#1| (-476)) 
 (|has| |#1| (-370)) 
@@ -2231,12 +2231,12 @@
 (|has| |#1| (-38 (-410 (-567)))) 
 (|has| |#1| (-38 (-410 (-567)))) 
 (|has| |#1| (-851)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (((|#1| |#2|) . T)) 
 ((($) . T) (((-567)) . T)) 
 (|has| |#1| (-147)) 
 (|has| |#1| (-145)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)))) ((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100)))) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)))) ((|#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100)))) 
 (((|#2|) . T)) 
 (((|#3|) . T)) 
 ((((-116 |#1|)) . T)) 
@@ -2256,7 +2256,7 @@
 ((((-539)) |has| |#1| (-615 (-539))) (((-893 (-567))) |has| |#1| (-615 (-893 (-567)))) (((-893 (-381))) |has| |#1| (-615 (-893 (-381)))) (((-381)) . #0=(|has| |#1| (-1023))) (((-225)) . #0#)) 
 (((|#1|) |has| |#1| (-365))) 
 ((((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((($ $) . T) (((-613 $) $) . T)) 
 (-2871 (|has| |#1| (-365)) (|has| |#1| (-559))) 
 ((($) . T) (((-1252 |#1| |#2| |#3| |#4|)) . T) (((-410 (-567))) . T)) 
@@ -2329,7 +2329,7 @@
 ((((-953 |#1|)) . T) (((-863)) . T)) 
 (((|#3|) . T)) 
 (((|#1| |#1|) . T) (($ $) -2871 (|has| |#1| (-291)) (|has| |#1| (-365))) ((#0=(-410 (-567)) #0#) |has| |#1| (-365))) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 ((((-953 |#1|)) . T)) 
 ((($) . T)) 
 ((((-567) |#1|) . T)) 
@@ -2376,7 +2376,7 @@
 ((($) -2871 (|has| |#1| (-365)) (|has| |#1| (-351))) (((-410 (-567))) -2871 (|has| |#1| (-365)) (|has| |#1| (-351))) ((|#1|) . T)) 
 ((((-567)) . T)) 
 (|has| |#1| (-38 (-410 (-567)))) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))) |has| (-2 (|:| -1812 (-1158)) (|:| -4217 (-52))) (-310 (-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))))) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))) |has| (-2 (|:| -1812 (-1158)) (|:| -4215 (-52))) (-310 (-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))))) 
 (((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
 (|has| |#1| (-849)) 
 (|has| |#1| (-38 (-410 (-567)))) 
@@ -2419,10 +2419,10 @@
 ((($) -2871 (|has| |#1| (-172)) (|has| |#1| (-365)) (|has| |#1| (-455)) (|has| |#1| (-559)) (|has| |#1| (-910))) ((|#1|) . T) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
 ((((-539)) |has| |#4| (-615 (-539)))) 
 ((((-863)) . T) (((-645 |#4|)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) . T)) 
 (|has| |#1| (-849)) 
-(((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) (((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) |has| (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))))) 
+(((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100))) (((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) |has| (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|)) (-310 (-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))))) 
 (|has| |#1| (-1100)) 
 (|has| |#1| (-365)) 
 (((|#1|) . T)) 
@@ -2467,7 +2467,7 @@
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 ((((-539)) |has| |#1| (-615 (-539)))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-567)) . T) (($) . T) (((-410 (-567))) . T)) 
 ((((-1176) |#1|) |has| |#1| (-517 (-1176) |#1|)) ((|#1| |#1|) |has| |#1| (-310 |#1|))) 
 (((|#1|) -2871 (|has| |#1| (-172)) (|has| |#1| (-365)))) 
@@ -2506,7 +2506,7 @@
 (|has| |#1| (-559)) 
 (((|#2|) . T)) 
 ((((-567)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) . T)) 
 (-2871 (|has| |#1| (-145)) (|has| |#1| (-147)) (|has| |#1| (-172)) (|has| |#1| (-559)) (|has| |#1| (-1050))) 
 (((|#1| (-59 |#1|) (-59 |#1|)) . T)) 
@@ -2645,16 +2645,16 @@
 (|has| |#2| (-910)) 
 (|has| |#1| (-910)) 
 (((|#2|) |has| |#2| (-172))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-1258 |#1| |#2| |#3|)) |has| |#1| (-365))) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 ((((-539)) . T) (((-567)) . T) (((-893 (-567))) . T) (((-381)) . T) (((-225)) . T)) 
 (((|#1| |#2|) . T)) 
 ((($) . T) (((-567)) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))) . T)) 
 (((|#1|) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-863)) . T)) 
 (((|#1| |#2|) . T)) 
 ((($) . T) (((-567)) . T)) 
@@ -2676,7 +2676,7 @@
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 ((((-187)) . T) (((-863)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#2| |#2|) . T) ((|#1| |#1|) . T)) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
@@ -2689,7 +2689,7 @@
 ((((-863)) . T)) 
 ((((-1158)) . T)) 
 ((((-1176) |#1|) |has| |#1| (-517 (-1176) |#1|)) ((|#1| |#1|) |has| |#1| (-310 |#1|))) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (|has| |#1| (-851)) 
 ((((-863)) . T)) 
 ((((-539)) |has| |#1| (-615 (-539)))) 
@@ -2751,8 +2751,8 @@
 (-2871 (|has| |#1| (-145)) (|has| |#1| (-370))) 
 (-2871 (|has| |#1| (-145)) (|has| |#1| (-370))) 
 (-2871 (|has| |#1| (-145)) (|has| |#1| (-370))) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
-(((#0=(-52)) . T) (((-2 (|:| -1812 (-1176)) (|:| -4217 #0#))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
+(((#0=(-52)) . T) (((-2 (|:| -1812 (-1176)) (|:| -4215 #0#))) . T)) 
 (|has| |#1| (-351)) 
 ((((-567)) . T)) 
 ((((-863)) . T)) 
@@ -2838,7 +2838,7 @@
 (|has| |#2| (-1023)) 
 ((($) . T)) 
 (|has| |#1| (-910)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((($) . T)) 
 (((|#2|) . T)) 
 (((|#1|) . T)) 
@@ -2866,7 +2866,7 @@
 ((((-410 (-567))) . T)) 
 (-2871 (|has| |#1| (-455)) (|has| |#1| (-559)) (|has| |#1| (-910))) 
 ((((-1158)) . T) (((-863)) . T)) 
-(((#0=(-2 (|:| -1812 (-1176)) (|:| -4217 (-52))) #0#) |has| (-2 (|:| -1812 (-1176)) (|:| -4217 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))))) 
+(((#0=(-2 (|:| -1812 (-1176)) (|:| -4215 (-52))) #0#) |has| (-2 (|:| -1812 (-1176)) (|:| -4215 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))))) 
 ((((-1158)) . T)) 
 (|has| |#1| (-910)) 
 (|has| |#2| (-365)) 
@@ -2904,7 +2904,7 @@
 (((|#2|) |has| |#1| (-365))) 
 (((|#2|) |has| |#1| (-365))) 
 ((((-567)) . T) (($) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1|) . T)) 
 (((|#1|) |has| |#1| (-172))) 
 (((|#1|) . T)) 
@@ -2950,9 +2950,9 @@
 (((|#2|) . T)) 
 (((|#2|) . T)) 
 (-2871 (|has| |#2| (-172)) (|has| |#2| (-727)) (|has| |#2| (-849)) (|has| |#2| (-1050))) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (|has| |#1| (-38 (-410 (-567)))) 
 (((|#1| |#2|) . T)) 
 (|has| |#1| (-38 (-410 (-567)))) 
@@ -3084,7 +3084,7 @@
 (|has| |#2| (-365)) 
 ((((-584 |#1|)) . T) (((-410 (-567))) . T) (($) . T) (((-567)) . T)) 
 ((((-567)) . T) (((-410 (-567))) . T) (($) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 (-52)))) . T)) 
 (((|#1|) . T)) 
 (((|#1|) . T) (((-567)) . T)) 
 (((|#1|) -12 (|has| |#1| (-310 |#1|)) (|has| |#1| (-1100)))) 
@@ -3146,7 +3146,7 @@
 ((($) -2871 (|has| |#1| (-172)) (|has| |#1| (-455)) (|has| |#1| (-559)) (|has| |#1| (-910))) ((|#1|) . T) (((-410 (-567))) |has| |#1| (-38 (-410 (-567))))) 
 ((((-863)) . T)) 
 (((|#1|) . T)) 
-((((-2 (|:| -1812 (-1158)) (|:| -4217 |#1|))) . T)) 
+((((-2 (|:| -1812 (-1158)) (|:| -4215 |#1|))) . T)) 
 (((|#1|) . T)) 
 (((|#1|) . T)) 
 (((|#1|) . T)) 
@@ -3277,7 +3277,7 @@
 (((|#1|) . T)) 
 ((((-863)) . T)) 
 (|has| |#2| (-910)) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 ((((-539)) |has| |#2| (-615 (-539))) (((-893 (-381))) |has| |#2| (-615 (-893 (-381)))) (((-893 (-567))) |has| |#2| (-615 (-893 (-567))))) 
 ((((-863)) . T)) 
 ((((-863)) . T)) 
@@ -3468,7 +3468,7 @@
 ((((-1215)) . T) (((-863)) . T) (((-1181)) . T)) 
 ((((-1181)) . T)) 
 ((((-1181)) . T)) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) |has| (-2 (|:| -1812 (-1176)) (|:| -4217 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))))) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) |has| (-2 (|:| -1812 (-1176)) (|:| -4215 (-52))) (-310 (-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))))) 
 (-2871 (|has| |#2| (-455)) (|has| |#2| (-559)) (|has| |#2| (-910))) 
 ((((-567) |#1|) . T)) 
 ((((-567) |#1|) . T)) 
@@ -3675,7 +3675,7 @@
 (-2871 (-12 (|has| |#1| (-21)) (|has| |#2| (-21))) (-12 (|has| |#1| (-23)) (|has| |#2| (-23))) (-12 (|has| |#1| (-131)) (|has| |#2| (-131))) (-12 (|has| |#1| (-794)) (|has| |#2| (-794)))) 
 ((((-567)) . T)) 
 ((((-567)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (((|#1| |#2|) . T)) 
 (((|#1|) . T)) 
 (-2871 (|has| |#2| (-172)) (|has| |#2| (-727)) (|has| |#2| (-849)) (|has| |#2| (-1050))) 
@@ -3782,11 +3782,11 @@
 ((((-1174 |#1| |#2| |#3|)) |has| |#1| (-365))) 
 ((((-1140 |#1| |#2|)) . T)) 
 ((((-1174 |#1| |#2| |#3|)) |has| |#1| (-365))) 
-(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 ((($) . T)) 
 (|has| |#1| (-1023)) 
-(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+(((|#2|) . T) (((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 ((((-863)) . T)) 
 ((((-539)) |has| |#2| (-615 (-539))) (((-893 (-567))) |has| |#2| (-615 (-893 (-567)))) (((-893 (-381))) |has| |#2| (-615 (-893 (-381)))) (((-381)) . #0=(|has| |#2| (-1023))) (((-225)) . #0#)) 
 ((((-295 |#3|)) . T)) 
@@ -3841,7 +3841,7 @@
 ((((-863)) . T)) 
 ((((-863)) . T)) 
 (((|#1| (-534 |#2|)) . T)) 
-((((-2 (|:| -1812 (-1176)) (|:| -4217 (-52)))) . T)) 
+((((-2 (|:| -1812 (-1176)) (|:| -4215 (-52)))) . T)) 
 ((((-567) (-129)) . T)) 
 (((|#1| (-567)) . T)) 
 (((|#1| (-410 (-567))) . T)) 
@@ -3878,7 +3878,7 @@
 (((|#1| |#2|) . T)) 
 ((((-1158) |#1|) . T)) 
 ((((-410 |#2|)) . T)) 
-((((-2 (|:| -1812 |#1|) (|:| -4217 |#2|))) . T)) 
+((((-2 (|:| -1812 |#1|) (|:| -4215 |#2|))) . T)) 
 (|has| |#1| (-559)) 
 (|has| |#1| (-559)) 
 ((($) . T) ((|#2|) . T)) 
@@ -3912,7 +3912,7 @@
 (((|#1| |#2| |#3| |#4|) . T)) 
 (((#0=(-1140 |#1| |#2|) #0#) |has| (-1140 |#1| |#2|) (-310 (-1140 |#1| |#2|)))) 
 (((|#1|) . T)) 
-(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4217 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4217 |#2|))))) 
+(((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1100))) ((#0=(-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) #0#) |has| (-2 (|:| -1812 |#1|) (|:| -4215 |#2|)) (-310 (-2 (|:| -1812 |#1|) (|:| -4215 |#2|))))) 
 (((#0=(-116 |#1|)) |has| #0# (-310 #0#))) 
 ((($ $) . T)) 
 (-2871 (|has| |#1| (-851)) (|has| |#1| (-1100)))