diff options
Diffstat (limited to 'src/share/algebra/interp.daase')
| -rw-r--r-- | src/share/algebra/interp.daase | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/share/algebra/interp.daase b/src/share/algebra/interp.daase index 977ffe9c..40a86ff1 100644 --- a/src/share/algebra/interp.daase +++ b/src/share/algebra/interp.daase @@ -1,5 +1,5 @@ -(2797332 . 3527714206) +(2797332 . 3527958797) ((-1719 (((-83) (-1 (-83) |#2| |#2|) $) 86 T ELT) (((-83) $) NIL T ELT)) (-1717 (($ (-1 (-83) |#2| |#2|) $) 18 T ELT) (($ $) NIL T ELT)) (-3772 ((|#2| $ (-478) |#2|) NIL T ELT) ((|#2| $ (-1135 (-478)) |#2|) 44 T ELT)) (-2283 (($ $) 80 T ELT)) (-3826 ((|#2| (-1 |#2| |#2| |#2|) $ |#2| |#2|) 52 T ELT) ((|#2| (-1 |#2| |#2| |#2|) $ |#2|) 50 T ELT) ((|#2| (-1 |#2| |#2| |#2|) $) 49 T ELT)) (-3403 (((-478) (-1 (-83) |#2|) $) 27 T ELT) (((-478) |#2| $) NIL T ELT) (((-478) |#2| $ (-478)) 96 T ELT)) (-2873 (((-578 |#2|) $) 13 T ELT)) (-3502 (($ (-1 (-83) |#2| |#2|) $ $) 64 T ELT) (($ $ $) NIL T ELT)) (-1936 (($ (-1 |#2| |#2|) $) 37 T ELT)) (-3942 (($ (-1 |#2| |#2|) $) NIL T ELT) (($ (-1 |#2| |#2| |#2|) $ $) 60 T ELT)) (-2290 (($ |#2| $ (-478)) NIL T ELT) (($ $ $ (-478)) 67 T ELT)) (-1341 (((-3 |#2| "failed") (-1 (-83) |#2|) $) 29 T ELT)) (-1934 (((-83) (-1 (-83) |#2|) $) 23 T ELT)) (-3784 ((|#2| $ (-478) |#2|) NIL T ELT) ((|#2| $ (-478)) NIL T ELT) (($ $ (-1135 (-478))) 66 T ELT)) (-2291 (($ $ (-478)) 76 T ELT) (($ $ (-1135 (-478))) 75 T ELT)) (-1933 (((-687) (-1 (-83) |#2|) $) 34 T ELT) (((-687) |#2| $) NIL T ELT)) (-1718 (($ $ $ (-478)) 69 T ELT)) (-3384 (($ $) 68 T ELT)) (-3514 (($ (-578 |#2|)) 73 T ELT)) (-3786 (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (($ $ $) 87 T ELT) (($ (-578 $)) 85 T ELT)) (-3930 (((-765) $) 92 T ELT)) (-1935 (((-83) (-1 (-83) |#2|) $) 22 T ELT)) (-3040 (((-83) $ $) 95 T ELT)) (-2669 (((-83) $ $) 99 T ELT))) (((-18 |#1| |#2|) (-10 -7 (-15 -3040 ((-83) |#1| |#1|)) (-15 -3930 ((-765) |#1|)) (-15 -2669 ((-83) |#1| |#1|)) (-15 -1717 (|#1| |#1|)) (-15 -1717 (|#1| (-1 (-83) |#2| |#2|) |#1|)) (-15 -2283 (|#1| |#1|)) (-15 -1718 (|#1| |#1| |#1| (-478))) (-15 -1719 ((-83) |#1|)) (-15 -3502 (|#1| |#1| |#1|)) (-15 -3403 ((-478) |#2| |#1| (-478))) (-15 -3403 ((-478) |#2| |#1|)) (-15 -3403 ((-478) (-1 (-83) |#2|) |#1|)) (-15 -1719 ((-83) (-1 (-83) |#2| |#2|) |#1|)) (-15 -3502 (|#1| (-1 (-83) |#2| |#2|) |#1| |#1|)) (-15 -3772 (|#2| |#1| (-1135 (-478)) |#2|)) (-15 -2290 (|#1| |#1| |#1| (-478))) (-15 -2290 (|#1| |#2| |#1| (-478))) (-15 -2291 (|#1| |#1| (-1135 (-478)))) (-15 -2291 (|#1| |#1| (-478))) (-15 -3942 (|#1| (-1 |#2| |#2| |#2|) |#1| |#1|)) (-15 -3786 (|#1| (-578 |#1|))) (-15 -3786 (|#1| |#1| |#1|)) (-15 -3786 (|#1| |#2| |#1|)) (-15 -3786 (|#1| |#1| |#2|)) (-15 -3784 (|#1| |#1| (-1135 (-478)))) (-15 -3514 (|#1| (-578 |#2|))) (-15 -1341 ((-3 |#2| "failed") (-1 (-83) |#2|) |#1|)) (-15 -3826 (|#2| (-1 |#2| |#2| |#2|) |#1|)) (-15 -3826 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2|)) (-15 -3826 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2| |#2|)) (-15 -3784 (|#2| |#1| (-478))) (-15 -3784 (|#2| |#1| (-478) |#2|)) (-15 -3772 (|#2| |#1| (-478) |#2|)) (-15 -1933 ((-687) |#2| |#1|)) (-15 -2873 ((-578 |#2|) |#1|)) (-15 -1933 ((-687) (-1 (-83) |#2|) |#1|)) (-15 -1934 ((-83) (-1 (-83) |#2|) |#1|)) (-15 -1935 ((-83) (-1 (-83) |#2|) |#1|)) (-15 -1936 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3942 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3384 (|#1| |#1|))) (-19 |#2|) (-1118)) (T -18)) NIL @@ -3447,7 +3447,7 @@ NIL ((-3930 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-765)))) (-3362 (*1 *1) (-12 (-4 *1 (-1037 *2)) (-4 *2 (-954)))) (-3362 (*1 *1 *2) (-12 (-5 *2 (-1068 3 *3)) (-4 *3 (-954)) (-4 *1 (-1037 *3)))) (-3361 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-687)))) (-3360 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-687)))) (-3502 (*1 *1 *2) (-12 (-5 *2 (-578 *1)) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3502 (*1 *1 *1 *1) (-12 (-4 *1 (-1037 *2)) (-4 *2 (-954)))) (-3738 (*1 *1 *2) (-12 (-5 *2 (-578 *1)) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3359 (*1 *2 *1) (-12 (-4 *3 (-954)) (-5 *2 (-578 *1)) (-4 *1 (-1037 *3)))) (-3358 (*1 *2 *1) (-12 (-4 *3 (-954)) (-5 *2 (-578 *1)) (-4 *1 (-1037 *3)))) (-3384 (*1 *1 *1) (-12 (-4 *1 (-1037 *2)) (-4 *2 (-954)))) (-3357 (*1 *2 *1 *3) (-12 (-5 *3 (-578 (-847 *4))) (-4 *1 (-1037 *4)) (-4 *4 (-954)) (-5 *2 (-687)))) (-3871 (*1 *1 *1 *2 *3) (-12 (-5 *2 (-687)) (-5 *3 (-847 *4)) (-4 *1 (-1037 *4)) (-4 *4 (-954)))) (-3690 (*1 *1 *1 *2) (-12 (-5 *2 (-847 *3)) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3690 (*1 *1 *1 *2) (-12 (-5 *2 (-578 *3)) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3690 (*1 *1 *1 *2) (-12 (-5 *2 (-687)) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3690 (*1 *1 *2) (-12 (-5 *2 (-847 *3)) (-4 *3 (-954)) (-4 *1 (-1037 *3)))) (-3690 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-847 *3)))) (-3356 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-83)))) (-3355 (*1 *1 *1 *2) (-12 (-5 *2 (-578 (-847 *3))) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3355 (*1 *1 *1 *2) (-12 (-5 *2 (-578 (-578 *3))) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3355 (*1 *1 *2) (-12 (-5 *2 (-578 (-847 *3))) (-4 *3 (-954)) (-4 *1 (-1037 *3)))) (-3355 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-847 *3))))) (-3354 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-83)))) (-3353 (*1 *1 *1 *2) (-12 (-5 *2 (-578 (-847 *3))) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3353 (*1 *1 *1 *2) (-12 (-5 *2 (-578 (-578 *3))) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3353 (*1 *1 *2) (-12 (-5 *2 (-578 (-847 *3))) (-4 *3 (-954)) (-4 *1 (-1037 *3)))) (-3353 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-847 *3))))) (-3352 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-83)))) (-3351 (*1 *1 *1 *2) (-12 (-5 *2 (-578 (-847 *3))) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3351 (*1 *1 *1 *2) (-12 (-5 *2 (-578 (-578 *3))) (-4 *1 (-1037 *3)) (-4 *3 (-954)))) (-3351 (*1 *1 *2) (-12 (-5 *2 (-578 (-847 *3))) (-4 *3 (-954)) (-4 *1 (-1037 *3)))) (-3351 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-847 *3))))) (-3350 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-83)))) (-3349 (*1 *1 *1 *2 *3 *4) (-12 (-5 *2 (-578 (-578 (-847 *5)))) (-5 *3 (-578 (-143))) (-5 *4 (-143)) (-4 *1 (-1037 *5)) (-4 *5 (-954)))) (-3349 (*1 *1 *1 *2 *3 *4) (-12 (-5 *2 (-578 (-578 (-578 *5)))) (-5 *3 (-578 (-143))) (-5 *4 (-143)) (-4 *1 (-1037 *5)) (-4 *5 (-954)))) (-3349 (*1 *1 *1 *2 *3 *3) (-12 (-5 *2 (-578 (-578 (-847 *4)))) (-5 *3 (-83)) (-4 *1 (-1037 *4)) (-4 *4 (-954)))) (-3349 (*1 *1 *1 *2 *3 *3) (-12 (-5 *2 (-578 (-578 (-578 *4)))) (-5 *3 (-83)) (-4 *1 (-1037 *4)) (-4 *4 (-954)))) (-3349 (*1 *1 *2) (-12 (-5 *2 (-578 (-578 (-847 *3)))) (-4 *3 (-954)) (-4 *1 (-1037 *3)))) (-3349 (*1 *1 *2 *3 *3) (-12 (-5 *2 (-578 (-578 (-847 *4)))) (-5 *3 (-83)) (-4 *4 (-954)) (-4 *1 (-1037 *4)))) (-3349 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-578 (-847 *3)))))) (-3348 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-83)))) (-3347 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-847 *3))))) (-3346 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-578 (-578 (-687))))))) (-3345 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-578 (-578 (-847 *3))))))) (-3344 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-578 (-143)))))) (-3343 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-578 (-143))))) (-3342 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-2 (|:| -3834 (-687)) (|:| |curves| (-687)) (|:| |polygons| (-687)) (|:| |constructs| (-687)))))) (-3341 (*1 *1 *1) (-12 (-4 *1 (-1037 *2)) (-4 *2 (-954)))) (-3872 (*1 *2 *1) (-12 (-4 *1 (-1037 *3)) (-4 *3 (-954)) (-5 *2 (-1068 3 *3))))) (-13 (-1005) (-10 -8 (-15 -3362 ($)) (-15 -3362 ($ (-1068 3 |t#1|))) (-15 -3361 ((-687) $)) (-15 -3360 ((-687) $)) (-15 -3502 ($ (-578 $))) (-15 -3502 ($ $ $)) (-15 -3738 ($ (-578 $))) (-15 -3359 ((-578 $) $)) (-15 -3358 ((-578 $) $)) (-15 -3384 ($ $)) (-15 -3357 ((-687) $ (-578 (-847 |t#1|)))) (-15 -3871 ($ $ (-687) (-847 |t#1|))) (-15 -3690 ($ $ (-847 |t#1|))) (-15 -3690 ($ $ (-578 |t#1|))) (-15 -3690 ($ $ (-687))) (-15 -3690 ($ (-847 |t#1|))) (-15 -3690 ((-847 |t#1|) $)) (-15 -3356 ((-83) $)) (-15 -3355 ($ $ (-578 (-847 |t#1|)))) (-15 -3355 ($ $ (-578 (-578 |t#1|)))) (-15 -3355 ($ (-578 (-847 |t#1|)))) (-15 -3355 ((-578 (-847 |t#1|)) $)) (-15 -3354 ((-83) $)) (-15 -3353 ($ $ (-578 (-847 |t#1|)))) (-15 -3353 ($ $ (-578 (-578 |t#1|)))) (-15 -3353 ($ (-578 (-847 |t#1|)))) (-15 -3353 ((-578 (-847 |t#1|)) $)) (-15 -3352 ((-83) $)) (-15 -3351 ($ $ (-578 (-847 |t#1|)))) (-15 -3351 ($ $ (-578 (-578 |t#1|)))) (-15 -3351 ($ (-578 (-847 |t#1|)))) (-15 -3351 ((-578 (-847 |t#1|)) $)) (-15 -3350 ((-83) $)) (-15 -3349 ($ $ (-578 (-578 (-847 |t#1|))) (-578 (-143)) (-143))) (-15 -3349 ($ $ (-578 (-578 (-578 |t#1|))) (-578 (-143)) (-143))) (-15 -3349 ($ $ (-578 (-578 (-847 |t#1|))) (-83) (-83))) (-15 -3349 ($ $ (-578 (-578 (-578 |t#1|))) (-83) (-83))) (-15 -3349 ($ (-578 (-578 (-847 |t#1|))))) (-15 -3349 ($ (-578 (-578 (-847 |t#1|))) (-83) (-83))) (-15 -3349 ((-578 (-578 (-847 |t#1|))) $)) (-15 -3348 ((-83) $)) (-15 -3347 ((-578 (-847 |t#1|)) $)) (-15 -3346 ((-578 (-578 (-578 (-687)))) $)) (-15 -3345 ((-578 (-578 (-578 (-847 |t#1|)))) $)) (-15 -3344 ((-578 (-578 (-143))) $)) (-15 -3343 ((-578 (-143)) $)) (-15 -3342 ((-2 (|:| -3834 (-687)) (|:| |curves| (-687)) (|:| |polygons| (-687)) (|:| |constructs| (-687))) $)) (-15 -3341 ($ $)) (-15 -3872 ((-1068 3 |t#1|) $)) (-15 -3930 ((-765) $)))) (((-72) . T) ((-547 (-765)) . T) ((-1005) . T) ((-1118) . T)) -((-2552 (((-83) $ $) NIL T ELT)) (-3225 (((-1062) $) NIL T ELT)) (-3226 (((-1023) $) NIL T ELT)) (-3930 (((-765) $) 184 T ELT) (($ (-1084)) NIL T ELT) (((-1084) $) 7 T ELT)) (-3550 (((-83) $ (|[\|\|]| (-456))) 19 T ELT) (((-83) $ (|[\|\|]| (-170))) 23 T ELT) (((-83) $ (|[\|\|]| (-612))) 27 T ELT) (((-83) $ (|[\|\|]| (-1179))) 31 T ELT) (((-83) $ (|[\|\|]| (-109))) 35 T ELT) (((-83) $ (|[\|\|]| (-534))) 39 T ELT) (((-83) $ (|[\|\|]| (-104))) 43 T ELT) (((-83) $ (|[\|\|]| (-1019))) 47 T ELT) (((-83) $ (|[\|\|]| (-67))) 51 T ELT) (((-83) $ (|[\|\|]| (-617))) 55 T ELT) (((-83) $ (|[\|\|]| (-450))) 59 T ELT) (((-83) $ (|[\|\|]| (-970))) 63 T ELT) (((-83) $ (|[\|\|]| (-1180))) 67 T ELT) (((-83) $ (|[\|\|]| (-457))) 71 T ELT) (((-83) $ (|[\|\|]| (-1056))) 75 T ELT) (((-83) $ (|[\|\|]| (-125))) 79 T ELT) (((-83) $ (|[\|\|]| (-608))) 83 T ELT) (((-83) $ (|[\|\|]| (-259))) 87 T ELT) (((-83) $ (|[\|\|]| (-941))) 91 T ELT) (((-83) $ (|[\|\|]| (-152))) 95 T ELT) (((-83) $ (|[\|\|]| (-876))) 99 T ELT) (((-83) $ (|[\|\|]| (-977))) 103 T ELT) (((-83) $ (|[\|\|]| (-995))) 107 T ELT) (((-83) $ (|[\|\|]| (-1000))) 111 T ELT) (((-83) $ (|[\|\|]| (-560))) 115 T ELT) (((-83) $ (|[\|\|]| (-1070))) 119 T ELT) (((-83) $ (|[\|\|]| (-127))) 123 T ELT) (((-83) $ (|[\|\|]| (-108))) 127 T ELT) (((-83) $ (|[\|\|]| (-411))) 131 T ELT) (((-83) $ (|[\|\|]| (-522))) 135 T ELT) (((-83) $ (|[\|\|]| (-439))) 139 T ELT) (((-83) $ (|[\|\|]| (-1062))) 143 T ELT) (((-83) $ (|[\|\|]| (-478))) 147 T ELT)) (-1253 (((-83) $ $) NIL T ELT)) (-3556 (((-456) $) 20 T ELT) (((-170) $) 24 T ELT) (((-612) $) 28 T ELT) (((-1179) $) 32 T ELT) (((-109) $) 36 T ELT) (((-534) $) 40 T ELT) (((-104) $) 44 T ELT) (((-1019) $) 48 T ELT) (((-67) $) 52 T ELT) (((-617) $) 56 T ELT) (((-450) $) 60 T ELT) (((-970) $) 64 T ELT) (((-1180) $) 68 T ELT) (((-457) $) 72 T ELT) (((-1056) $) 76 T ELT) (((-125) $) 80 T ELT) (((-608) $) 84 T ELT) (((-259) $) 88 T ELT) (((-941) $) 92 T ELT) (((-152) $) 96 T ELT) (((-876) $) 100 T ELT) (((-977) $) 104 T ELT) (((-995) $) 108 T ELT) (((-1000) $) 112 T ELT) (((-560) $) 116 T ELT) (((-1070) $) 120 T ELT) (((-127) $) 124 T ELT) (((-108) $) 128 T ELT) (((-411) $) 132 T ELT) (((-522) $) 136 T ELT) (((-439) $) 140 T ELT) (((-1062) $) 144 T ELT) (((-478) $) 148 T ELT)) (-3040 (((-83) $ $) NIL T ELT))) +((-2552 (((-83) $ $) NIL T ELT)) (-3225 (((-1062) $) NIL T ELT)) (-3226 (((-1023) $) NIL T ELT)) (-3930 (((-765) $) 185 T ELT) (($ (-1084)) NIL T ELT) (((-1084) $) 7 T ELT)) (-3550 (((-83) $ (|[\|\|]| (-456))) 19 T ELT) (((-83) $ (|[\|\|]| (-170))) 23 T ELT) (((-83) $ (|[\|\|]| (-612))) 27 T ELT) (((-83) $ (|[\|\|]| (-1179))) 31 T ELT) (((-83) $ (|[\|\|]| (-109))) 35 T ELT) (((-83) $ (|[\|\|]| (-534))) 39 T ELT) (((-83) $ (|[\|\|]| (-104))) 43 T ELT) (((-83) $ (|[\|\|]| (-1019))) 47 T ELT) (((-83) $ (|[\|\|]| (-67))) 51 T ELT) (((-83) $ (|[\|\|]| (-617))) 55 T ELT) (((-83) $ (|[\|\|]| (-450))) 59 T ELT) (((-83) $ (|[\|\|]| (-970))) 63 T ELT) (((-83) $ (|[\|\|]| (-1180))) 67 T ELT) (((-83) $ (|[\|\|]| (-457))) 71 T ELT) (((-83) $ (|[\|\|]| (-1056))) 75 T ELT) (((-83) $ (|[\|\|]| (-125))) 79 T ELT) (((-83) $ (|[\|\|]| (-608))) 83 T ELT) (((-83) $ (|[\|\|]| (-259))) 87 T ELT) (((-83) $ (|[\|\|]| (-941))) 91 T ELT) (((-83) $ (|[\|\|]| (-152))) 95 T ELT) (((-83) $ (|[\|\|]| (-876))) 99 T ELT) (((-83) $ (|[\|\|]| (-977))) 103 T ELT) (((-83) $ (|[\|\|]| (-995))) 107 T ELT) (((-83) $ (|[\|\|]| (-1000))) 111 T ELT) (((-83) $ (|[\|\|]| (-560))) 116 T ELT) (((-83) $ (|[\|\|]| (-1070))) 120 T ELT) (((-83) $ (|[\|\|]| (-127))) 124 T ELT) (((-83) $ (|[\|\|]| (-108))) 128 T ELT) (((-83) $ (|[\|\|]| (-411))) 132 T ELT) (((-83) $ (|[\|\|]| (-522))) 136 T ELT) (((-83) $ (|[\|\|]| (-439))) 140 T ELT) (((-83) $ (|[\|\|]| (-1062))) 144 T ELT) (((-83) $ (|[\|\|]| (-478))) 148 T ELT)) (-1253 (((-83) $ $) NIL T ELT)) (-3556 (((-456) $) 20 T ELT) (((-170) $) 24 T ELT) (((-612) $) 28 T ELT) (((-1179) $) 32 T ELT) (((-109) $) 36 T ELT) (((-534) $) 40 T ELT) (((-104) $) 44 T ELT) (((-1019) $) 48 T ELT) (((-67) $) 52 T ELT) (((-617) $) 56 T ELT) (((-450) $) 60 T ELT) (((-970) $) 64 T ELT) (((-1180) $) 68 T ELT) (((-457) $) 72 T ELT) (((-1056) $) 76 T ELT) (((-125) $) 80 T ELT) (((-608) $) 84 T ELT) (((-259) $) 88 T ELT) (((-941) $) 92 T ELT) (((-152) $) 96 T ELT) (((-876) $) 100 T ELT) (((-977) $) 104 T ELT) (((-995) $) 108 T ELT) (((-1000) $) 112 T ELT) (((-560) $) 117 T ELT) (((-1070) $) 121 T ELT) (((-127) $) 125 T ELT) (((-108) $) 129 T ELT) (((-411) $) 133 T ELT) (((-522) $) 137 T ELT) (((-439) $) 141 T ELT) (((-1062) $) 145 T ELT) (((-478) $) 149 T ELT)) (-3040 (((-83) $ $) NIL T ELT))) (((-1038) (-1040)) (T -1038)) NIL ((-3363 (((-578 (-1084)) (-1062)) 9 T ELT))) |