diff options
Diffstat (limited to 'src/share/algebra/operation.daase')
| -rw-r--r-- | src/share/algebra/operation.daase | 2140 |
1 files changed, 1055 insertions, 1085 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 10353b03..0d6f6654 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(630177 . 3578010132) +(628761 . 3578013001) (((*1 *2 *3 *4) (|partial| -12 (-5 *3 (-1181 *4)) (-4 *4 (-13 (-963) (-582 (-486)))) (-5 *2 (-1181 (-350 (-486)))) (-5 *1 (-1210 *4))))) @@ -248,7 +248,7 @@ ((*1 *1 *1 *2) (-12 (-4 *1 (-336 *2)) (-4 *2 (-1015)))) ((*1 *1 *2 *1) (-12 (-4 *1 (-336 *2)) (-4 *2 (-1015)))) ((*1 *1 *2 *1) - (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *6 (-196 (-3960 *3) (-696))) + (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *6 (-196 (-3961 *3) (-696))) (-14 *7 (-1 (-85) (-2 (|:| -2402 *5) (|:| -2403 *6)) (-2 (|:| -2402 *5) (|:| -2403 *6)))) @@ -319,7 +319,7 @@ (-14 *3 (-585 (-1092))))) ((*1 *1 *1) (-12 (-4 *1 (-335 *2 *3)) (-4 *2 (-963)) (-4 *3 (-1015)))) ((*1 *1 *1) - (-12 (-14 *2 (-585 (-1092))) (-4 *3 (-146)) (-4 *5 (-196 (-3960 *2) (-696))) + (-12 (-14 *2 (-585 (-1092))) (-4 *3 (-146)) (-4 *5 (-196 (-3961 *2) (-696))) (-14 *6 (-1 (-85) (-2 (|:| -2402 *4) (|:| -2403 *5)) (-2 (|:| -2402 *4) (|:| -2403 *5)))) @@ -334,306 +334,6 @@ ((*1 *1 *1 *2) (-12 (-4 *1 (-979 *3 *4 *2)) (-4 *3 (-963)) (-4 *4 (-719)) (-4 *2 (-758)))) ((*1 *1 *1) (-12 (-5 *1 (-1205 *2 *3)) (-4 *2 (-963)) (-4 *3 (-756))))) -(((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-47 *3 *4)) (-4 *3 (-963)) (-4 *4 (-718)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-963)) (-5 *1 (-50 *3 *4)) - (-14 *4 (-585 (-1092))))) - ((*1 *1 *2 *1 *1 *3) - (-12 (-5 *2 (-1 *3 *3 *3)) (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1131)) - (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) - ((*1 *1 *2 *1 *1) - (-12 (-5 *2 (-1 *3 *3 *3)) (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1131)) - (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1131)) - (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-58 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-58 *6)) (-5 *1 (-59 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *8 *7)) (-5 *4 (-108 *5 *6 *7)) (-14 *5 (-486)) - (-14 *6 (-696)) (-4 *7 (-146)) (-4 *8 (-146)) (-5 *2 (-108 *5 *6 *8)) - (-5 *1 (-109 *5 *6 *7 *8)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-142 *5)) (-4 *5 (-146)) (-4 *6 (-146)) - (-5 *2 (-142 *6)) (-5 *1 (-143 *5 *6)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 (-265 *3) (-265 *3))) (-4 *3 (-13 (-963) (-758))) - (-5 *1 (-177 *3 *4)) (-14 *4 (-585 (-1092))))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *7 *6)) (-5 *4 (-197 *5 *6)) (-14 *5 (-696)) (-4 *6 (-1131)) - (-4 *7 (-1131)) (-5 *2 (-197 *5 *7)) (-5 *1 (-198 *5 *6 *7)))) - ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-1131)) (-5 *1 (-249 *3)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-249 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-249 *6)) (-5 *1 (-250 *5 *6)))) - ((*1 *1 *2 *3) (-12 (-5 *2 (-1 *1 *1)) (-5 *3 (-552 *1)) (-4 *1 (-254)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *2 *6)) (-5 *4 (-1075)) (-5 *5 (-552 *6)) (-4 *6 (-254)) - (-4 *2 (-1131)) (-5 *1 (-255 *6 *2)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *2 *5)) (-5 *4 (-552 *5)) (-4 *5 (-254)) (-4 *2 (-254)) - (-5 *1 (-256 *5 *2)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-265 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) - (-5 *2 (-265 *6)) (-5 *1 (-266 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *9 *5)) (-5 *4 (-283 *5 *6 *7 *8)) (-4 *5 (-312)) - (-4 *6 (-1157 *5)) (-4 *7 (-1157 (-350 *6))) (-4 *8 (-291 *5 *6 *7)) - (-4 *9 (-312)) (-4 *10 (-1157 *9)) (-4 *11 (-1157 (-350 *10))) - (-5 *2 (-283 *9 *10 *11 *12)) (-5 *1 (-284 *5 *6 *7 *8 *9 *10 *11 *12)) - (-4 *12 (-291 *9 *10 *11)))) - ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-288 *3)) (-4 *3 (-1015)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *8 *5)) (-4 *5 (-1136)) (-4 *8 (-1136)) (-4 *6 (-1157 *5)) - (-4 *7 (-1157 (-350 *6))) (-4 *9 (-1157 *8)) (-4 *2 (-291 *8 *9 *10)) - (-5 *1 (-292 *5 *6 *7 *4 *8 *9 *10 *2)) (-4 *4 (-291 *5 *6 *7)) - (-4 *10 (-1157 (-350 *9))))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) (-4 *2 (-324 *6)) - (-5 *1 (-325 *5 *4 *6 *2)) (-4 *4 (-324 *5)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-335 *3 *4)) (-4 *3 (-963)) (-4 *4 (-1015)))) - ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-497)) (-5 *1 (-348 *3)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-348 *5)) (-4 *5 (-497)) (-4 *6 (-497)) - (-5 *2 (-348 *6)) (-5 *1 (-349 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-350 *5)) (-4 *5 (-497)) (-4 *6 (-497)) - (-5 *2 (-350 *6)) (-5 *1 (-351 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *9 *5)) (-5 *4 (-356 *5 *6 *7 *8)) (-4 *5 (-258)) - (-4 *6 (-906 *5)) (-4 *7 (-1157 *6)) (-4 *8 (-13 (-353 *6 *7) (-952 *6))) - (-4 *9 (-258)) (-4 *10 (-906 *9)) (-4 *11 (-1157 *10)) - (-5 *2 (-356 *9 *10 *11 *12)) (-5 *1 (-357 *5 *6 *7 *8 *9 *10 *11 *12)) - (-4 *12 (-13 (-353 *10 *11) (-952 *10))))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-146)) (-4 *6 (-146)) (-4 *2 (-361 *6)) - (-5 *1 (-359 *4 *5 *2 *6)) (-4 *4 (-361 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-963)) (-4 *6 (-963)) (-4 *2 (-364 *6)) - (-5 *1 (-365 *5 *4 *6 *2)) (-4 *4 (-364 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) (-4 *2 (-369 *6)) - (-5 *1 (-370 *5 *4 *6 *2)) (-4 *4 (-369 *5)))) - ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-381 *3)) (-4 *3 (-1131)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-451 *3 *4)) (-4 *3 (-72)) (-4 *4 (-761)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-521 *5)) (-4 *5 (-312)) (-4 *6 (-312)) - (-5 *2 (-521 *6)) (-5 *1 (-522 *5 *6)))) - ((*1 *2 *3 *4) - (|partial| -12 (-5 *3 (-1 *6 *5)) - (-5 *4 (-3 (-2 (|:| -2138 *5) (|:| |coeff| *5)) "failed")) (-4 *5 (-312)) - (-4 *6 (-312)) (-5 *2 (-2 (|:| -2138 *6) (|:| |coeff| *6))) - (-5 *1 (-522 *5 *6)))) - ((*1 *2 *3 *4) - (|partial| -12 (-5 *3 (-1 *2 *5)) (-5 *4 (-3 *5 "failed")) (-4 *5 (-312)) - (-4 *2 (-312)) (-5 *1 (-522 *5 *2)))) - ((*1 *2 *3 *4) - (|partial| -12 (-5 *3 (-1 *6 *5)) - (-5 *4 - (-3 - (-2 (|:| |mainpart| *5) - (|:| |limitedlogs| (-585 (-2 (|:| |coeff| *5) (|:| |logand| *5))))) - "failed")) - (-4 *5 (-312)) (-4 *6 (-312)) - (-5 *2 - (-2 (|:| |mainpart| *6) - (|:| |limitedlogs| (-585 (-2 (|:| |coeff| *6) (|:| |logand| *6)))))) - (-5 *1 (-522 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-538 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-538 *6)) (-5 *1 (-535 *5 *6)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-538 *6)) (-5 *5 (-538 *7)) - (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-538 *8)) - (-5 *1 (-536 *6 *7 *8)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-1071 *6)) (-5 *5 (-538 *7)) - (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-1071 *8)) - (-5 *1 (-536 *6 *7 *8)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-538 *6)) (-5 *5 (-1071 *7)) - (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-1071 *8)) - (-5 *1 (-536 *6 *7 *8)))) - ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-1131)) (-5 *1 (-538 *3)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-585 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-585 *6)) (-5 *1 (-586 *5 *6)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-585 *6)) (-5 *5 (-585 *7)) - (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-585 *8)) - (-5 *1 (-588 *6 *7 *8)))) - ((*1 *1 *2 *1 *1) - (-12 (-5 *2 (-1 *3 *3 *3)) (-4 *1 (-595 *3)) (-4 *3 (-1131)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *8 *5)) (-4 *5 (-963)) (-4 *8 (-963)) (-4 *6 (-324 *5)) - (-4 *7 (-324 *5)) (-4 *2 (-629 *8 *9 *10)) - (-5 *1 (-630 *5 *6 *7 *4 *8 *9 *10 *2)) (-4 *4 (-629 *5 *6 *7)) - (-4 *9 (-324 *8)) (-4 *10 (-324 *8)))) - ((*1 *2 *3 *4) - (|partial| -12 (-5 *3 (-1 (-3 *8 "failed") *5)) (-4 *5 (-963)) (-4 *8 (-963)) - (-4 *6 (-324 *5)) (-4 *7 (-324 *5)) (-4 *2 (-629 *8 *9 *10)) - (-5 *1 (-630 *5 *6 *7 *4 *8 *9 *10 *2)) (-4 *4 (-629 *5 *6 *7)) - (-4 *9 (-324 *8)) (-4 *10 (-324 *8)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *7 *5)) (-4 *5 (-497)) (-4 *7 (-497)) (-4 *6 (-1157 *5)) - (-4 *2 (-1157 (-350 *8))) (-5 *1 (-648 *5 *6 *4 *7 *8 *2)) - (-4 *4 (-1157 (-350 *6))) (-4 *8 (-1157 *7)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *9 *8)) (-4 *8 (-963)) (-4 *9 (-963)) (-4 *5 (-758)) - (-4 *6 (-719)) (-4 *2 (-863 *9 *7 *5)) (-5 *1 (-669 *5 *6 *7 *8 *9 *4 *2)) - (-4 *7 (-719)) (-4 *4 (-863 *8 *6 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-758)) (-4 *6 (-758)) (-4 *7 (-719)) - (-4 *9 (-963)) (-4 *2 (-863 *9 *8 *6)) (-5 *1 (-670 *5 *6 *7 *8 *9 *4 *2)) - (-4 *8 (-719)) (-4 *4 (-863 *9 *7 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-676 *5 *7)) (-4 *5 (-963)) (-4 *6 (-963)) - (-4 *7 (-665)) (-5 *2 (-676 *6 *7)) (-5 *1 (-675 *5 *6 *7)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-963)) (-5 *1 (-676 *3 *4)) (-4 *4 (-665)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-706 *5)) (-4 *5 (-963)) (-4 *6 (-963)) - (-5 *2 (-706 *6)) (-5 *1 (-707 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-146)) (-4 *6 (-146)) (-4 *2 (-722 *6)) - (-5 *1 (-725 *4 *5 *2 *6)) (-4 *4 (-722 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-745 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) - (-5 *2 (-745 *6)) (-5 *1 (-746 *5 *6)))) - ((*1 *2 *3 *4 *2) - (-12 (-5 *2 (-745 *6)) (-5 *3 (-1 *6 *5)) (-5 *4 (-745 *5)) (-4 *5 (-1015)) - (-4 *6 (-1015)) (-5 *1 (-746 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-752 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) - (-5 *2 (-752 *6)) (-5 *1 (-753 *5 *6)))) - ((*1 *2 *3 *4 *2 *2) - (-12 (-5 *2 (-752 *6)) (-5 *3 (-1 *6 *5)) (-5 *4 (-752 *5)) (-4 *5 (-1015)) - (-4 *6 (-1015)) (-5 *1 (-753 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-789 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-789 *6)) (-5 *1 (-788 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-791 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-791 *6)) (-5 *1 (-790 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-794 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-794 *6)) (-5 *1 (-793 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *7 *6)) (-5 *4 (-800 *5 *6)) (-4 *5 (-1015)) (-4 *6 (-1015)) - (-4 *7 (-1015)) (-5 *2 (-800 *5 *7)) (-5 *1 (-801 *5 *6 *7)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-802 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) - (-5 *2 (-802 *6)) (-5 *1 (-804 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-859 *5)) (-4 *5 (-963)) (-4 *6 (-963)) - (-5 *2 (-859 *6)) (-5 *1 (-860 *5 *6)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *2 *7)) (-5 *4 (-1 *2 *8)) (-4 *7 (-758)) (-4 *8 (-963)) - (-4 *6 (-719)) - (-4 *2 - (-13 (-1015) - (-10 -8 (-15 -3842 ($ $ $)) (-15 * ($ $ $)) (-15 ** ($ $ (-696)))))) - (-5 *1 (-865 *6 *7 *8 *5 *2)) (-4 *5 (-863 *8 *6 *7)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-871 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-871 *6)) (-5 *1 (-872 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-879 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) - (-5 *2 (-879 *6)) (-5 *1 (-881 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-856 *5)) (-4 *5 (-963)) (-4 *6 (-963)) - (-5 *2 (-856 *6)) (-5 *1 (-896 *5 *6)))) - ((*1 *2 *3 *2) - (-12 (-5 *3 (-1 *2 (-859 *4))) (-4 *4 (-963)) (-4 *2 (-863 (-859 *4) *5 *6)) - (-4 *5 (-719)) - (-4 *6 - (-13 (-758) - (-10 -8 (-15 -3975 ((-1092) $)) (-15 -3834 ((-3 $ "failed") (-1092)))))) - (-5 *1 (-899 *4 *5 *6 *2)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-497)) (-4 *6 (-497)) (-4 *2 (-906 *6)) - (-5 *1 (-907 *5 *6 *4 *2)) (-4 *4 (-906 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-146)) (-4 *6 (-146)) (-4 *2 (-913 *6)) - (-5 *1 (-914 *4 *5 *2 *6)) (-4 *4 (-913 *5)))) - ((*1 *1 *2 *1 *1) - (-12 (-5 *2 (-1 *5 *5 *5)) (-4 *1 (-967 *3 *4 *5 *6 *7)) (-4 *5 (-963)) - (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *5 *5)) (-4 *1 (-967 *3 *4 *5 *6 *7)) (-4 *5 (-963)) - (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *10 *7)) (-4 *7 (-963)) (-4 *10 (-963)) (-14 *5 (-696)) - (-14 *6 (-696)) (-4 *8 (-196 *6 *7)) (-4 *9 (-196 *5 *7)) - (-4 *2 (-967 *5 *6 *10 *11 *12)) - (-5 *1 (-969 *5 *6 *7 *8 *9 *4 *10 *11 *12 *2)) - (-4 *4 (-967 *5 *6 *7 *8 *9)) (-4 *11 (-196 *6 *10)) - (-4 *12 (-196 *5 *10)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1003 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-1003 *6)) (-5 *1 (-1004 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1003 *5)) (-4 *5 (-757)) (-4 *5 (-1131)) - (-4 *6 (-1131)) (-5 *2 (-585 *6)) (-5 *1 (-1004 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1006 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-1006 *6)) (-5 *1 (-1007 *5 *6)))) - ((*1 *2 *3 *1) - (-12 (-5 *3 (-1 *4 *4)) (-4 *1 (-1009 *4 *2)) (-4 *4 (-757)) - (-4 *2 (-1066 *4)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1071 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-1071 *6)) (-5 *1 (-1073 *5 *6)))) - ((*1 *2 *3 *4 *5) - (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-1071 *6)) (-5 *5 (-1071 *7)) - (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-1071 *8)) - (-5 *1 (-1074 *6 *7 *8)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1087 *5)) (-4 *5 (-963)) (-4 *6 (-963)) - (-5 *2 (-1087 *6)) (-5 *1 (-1088 *5 *6)))) - ((*1 *1 *2 *1 *1) - (-12 (-5 *2 (-1 *4 *4 *4)) (-4 *1 (-1109 *3 *4)) (-4 *3 (-1015)) - (-4 *4 (-1015)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1141 *5 *7 *9)) (-4 *5 (-963)) - (-4 *6 (-963)) (-14 *7 (-1092)) (-14 *9 *5) (-14 *10 *6) - (-5 *2 (-1141 *6 *8 *10)) (-5 *1 (-1142 *5 *6 *7 *8 *9 *10)) - (-14 *8 (-1092)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1148 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-1148 *6)) (-5 *1 (-1149 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1148 *5)) (-4 *5 (-757)) (-4 *5 (-1131)) - (-4 *6 (-1131)) (-5 *2 (-1071 *6)) (-5 *1 (-1149 *5 *6)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *8 *6)) (-5 *4 (-1150 *5 *6)) (-14 *5 (-1092)) (-4 *6 (-963)) - (-4 *8 (-963)) (-5 *2 (-1150 *7 *8)) (-5 *1 (-1151 *5 *6 *7 *8)) - (-14 *7 (-1092)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-963)) (-4 *6 (-963)) (-4 *2 (-1157 *6)) - (-5 *1 (-1158 *5 *4 *6 *2)) (-4 *4 (-1157 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1162 *5 *7 *9)) (-4 *5 (-963)) - (-4 *6 (-963)) (-14 *7 (-1092)) (-14 *9 *5) (-14 *10 *6) - (-5 *2 (-1162 *6 *8 *10)) (-5 *1 (-1163 *5 *6 *7 *8 *9 *10)) - (-14 *8 (-1092)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-963)) (-4 *6 (-963)) (-4 *2 (-1174 *6)) - (-5 *1 (-1172 *5 *6 *4 *2)) (-4 *4 (-1174 *5)))) - ((*1 *2 *3 *4) - (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1181 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) - (-5 *2 (-1181 *6)) (-5 *1 (-1182 *5 *6)))) - ((*1 *2 *3 *4) - (|partial| -12 (-5 *3 (-1 (-3 *6 "failed") *5)) (-5 *4 (-1181 *5)) - (-4 *5 (-1131)) (-4 *6 (-1131)) (-5 *2 (-1181 *6)) (-5 *1 (-1182 *5 *6)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *4 *4)) (-4 *1 (-1201 *3 *4)) (-4 *3 (-758)) (-4 *4 (-963)))) - ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-963)) (-5 *1 (-1205 *3 *4)) (-4 *4 (-756))))) (((*1 *2 *1) (-12 (-5 *2 (-696)) (-5 *1 (-209)))) ((*1 *2 *1) (-12 (-4 *1 (-318 *3)) (-4 *3 (-1131)) (-5 *2 (-696)))) ((*1 *2 *1) (-12 (-5 *2 (-696)) (-5 *1 (-886)))) @@ -870,7 +570,7 @@ (-14 *4 (-1 *2 *2 *3)) (-14 *5 (-1 (-3 *3 "failed") *3 *3)) (-14 *6 (-1 (-3 *2 "failed") *2 *2 *3)))) ((*1 *1 *2) - (-12 (-5 *2 (-585 (-2 (|:| -3957 *3) (|:| -3941 *4)))) (-4 *3 (-963)) + (-12 (-5 *2 (-585 (-2 (|:| -3958 *3) (|:| -3942 *4)))) (-4 *3 (-963)) (-4 *4 (-665)) (-5 *1 (-676 *3 *4)))) ((*1 *1 *2) (-12 (-5 *2 (-486)) (-4 *1 (-689)))) ((*1 *2 *3) (-12 (-5 *2 (-698)) (-5 *1 (-699 *3)) (-4 *3 (-1131)))) @@ -999,7 +699,7 @@ ((*1 *1 *1) (-4 *1 (-239))) ((*1 *2 *3) (-12 (-5 *3 (-348 *4)) (-4 *4 (-497)) - (-5 *2 (-585 (-2 (|:| -3957 (-696)) (|:| |logand| *4)))) (-5 *1 (-271 *4)))) + (-5 *2 (-585 (-2 (|:| -3958 (-696)) (|:| |logand| *4)))) (-5 *1 (-271 *4)))) ((*1 *2 *1) (-12 (-5 *2 (-608 *3 *4)) (-5 *1 (-568 *3 *4 *5)) (-4 *3 (-758)) (-4 *4 (-13 (-146) (-656 (-350 (-486))))) (-14 *5 (-832)))) @@ -1283,14 +983,14 @@ (((*1 *1 *2) (-12 (-5 *2 - (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3850 (-179)) + (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3851 (-179)) (|:| |scaleX| (-179)) (|:| |scaleY| (-179)) (|:| |scaleZ| (-179)) (|:| |deltaX| (-179)) (|:| |deltaY| (-179)))) (-5 *1 (-221)))) ((*1 *2 *3 *2) (-12 (-5 *2 - (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3850 (-179)) + (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3851 (-179)) (|:| |scaleX| (-179)) (|:| |scaleY| (-179)) (|:| |scaleZ| (-179)) (|:| |deltaX| (-179)) (|:| |deltaY| (-179)))) (-5 *3 (-585 (-221))) (-5 *1 (-222)))) @@ -1301,14 +1001,14 @@ ((*1 *2 *1 *3) (-12 (-5 *3 - (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3850 (-179)) + (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3851 (-179)) (|:| |scaleX| (-179)) (|:| |scaleY| (-179)) (|:| |scaleZ| (-179)) (|:| |deltaX| (-179)) (|:| |deltaY| (-179)))) (-5 *2 (-1187)) (-5 *1 (-1185)))) ((*1 *2 *1) (-12 (-5 *2 - (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3850 (-179)) + (-2 (|:| |theta| (-179)) (|:| |phi| (-179)) (|:| -3851 (-179)) (|:| |scaleX| (-179)) (|:| |scaleY| (-179)) (|:| |scaleZ| (-179)) (|:| |deltaX| (-179)) (|:| |deltaY| (-179)))) (-5 *1 (-1185)))) @@ -1372,9 +1072,9 @@ (-5 *2 (-1181 (-2 (|:| |scaleX| (-179)) (|:| |scaleY| (-179)) (|:| |deltaX| (-179)) - (|:| |deltaY| (-179)) (|:| -3853 (-486)) (|:| -3851 (-486)) - (|:| |spline| (-486)) (|:| -3882 (-486)) (|:| |axesColor| (-785)) - (|:| -3854 (-486)) (|:| |unitsColor| (-785)) (|:| |showing| (-486))))) + (|:| |deltaY| (-179)) (|:| -3854 (-486)) (|:| -3852 (-486)) + (|:| |spline| (-486)) (|:| -3883 (-486)) (|:| |axesColor| (-785)) + (|:| -3855 (-486)) (|:| |unitsColor| (-785)) (|:| |showing| (-486))))) (-5 *1 (-1184))))) (((*1 *2 *3) (-12 (-5 *3 (-832)) (-5 *2 (-1094 (-350 (-486)))) (-5 *1 (-164)))) ((*1 *2 *1) (-12 (-5 *2 (-1181 (-3 (-409) "undefined"))) (-5 *1 (-1184))))) @@ -1418,6 +1118,279 @@ ((*1 *2 *3 *4) (-12 (-5 *3 (-585 (-585 (-856 (-179))))) (-5 *4 (-585 (-221))) (-5 *2 (-409)) (-5 *1 (-1183))))) +(((*1 *1 *2 *1 *1 *3) + (-12 (-5 *2 (-1 *3 *3 *3)) (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1131)) + (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) + ((*1 *1 *2 *1 *1) + (-12 (-5 *2 (-1 *3 *3 *3)) (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1131)) + (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-58 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-58 *6)) (-5 *1 (-59 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *8 *7)) (-5 *4 (-108 *5 *6 *7)) (-14 *5 (-486)) + (-14 *6 (-696)) (-4 *7 (-146)) (-4 *8 (-146)) (-5 *2 (-108 *5 *6 *8)) + (-5 *1 (-109 *5 *6 *7 *8)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-142 *5)) (-4 *5 (-146)) (-4 *6 (-146)) + (-5 *2 (-142 *6)) (-5 *1 (-143 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *7 *6)) (-5 *4 (-197 *5 *6)) (-14 *5 (-696)) (-4 *6 (-1131)) + (-4 *7 (-1131)) (-5 *2 (-197 *5 *7)) (-5 *1 (-198 *5 *6 *7)))) + ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *3 (-1131)) (-5 *1 (-249 *3)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-249 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-249 *6)) (-5 *1 (-250 *5 *6)))) + ((*1 *1 *2 *3) (-12 (-5 *2 (-1 *1 *1)) (-5 *3 (-552 *1)) (-4 *1 (-254)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *2 *6)) (-5 *4 (-1075)) (-5 *5 (-552 *6)) (-4 *6 (-254)) + (-4 *2 (-1131)) (-5 *1 (-255 *6 *2)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *2 *5)) (-5 *4 (-552 *5)) (-4 *5 (-254)) (-4 *2 (-254)) + (-5 *1 (-256 *5 *2)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-265 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) + (-5 *2 (-265 *6)) (-5 *1 (-266 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *9 *5)) (-5 *4 (-283 *5 *6 *7 *8)) (-4 *5 (-312)) + (-4 *6 (-1157 *5)) (-4 *7 (-1157 (-350 *6))) (-4 *8 (-291 *5 *6 *7)) + (-4 *9 (-312)) (-4 *10 (-1157 *9)) (-4 *11 (-1157 (-350 *10))) + (-5 *2 (-283 *9 *10 *11 *12)) (-5 *1 (-284 *5 *6 *7 *8 *9 *10 *11 *12)) + (-4 *12 (-291 *9 *10 *11)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *8 *5)) (-4 *5 (-1136)) (-4 *8 (-1136)) (-4 *6 (-1157 *5)) + (-4 *7 (-1157 (-350 *6))) (-4 *9 (-1157 *8)) (-4 *2 (-291 *8 *9 *10)) + (-5 *1 (-292 *5 *6 *7 *4 *8 *9 *10 *2)) (-4 *4 (-291 *5 *6 *7)) + (-4 *10 (-1157 (-350 *9))))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) (-4 *2 (-324 *6)) + (-5 *1 (-325 *5 *4 *6 *2)) (-4 *4 (-324 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-348 *5)) (-4 *5 (-497)) (-4 *6 (-497)) + (-5 *2 (-348 *6)) (-5 *1 (-349 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-350 *5)) (-4 *5 (-497)) (-4 *6 (-497)) + (-5 *2 (-350 *6)) (-5 *1 (-351 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *9 *5)) (-5 *4 (-356 *5 *6 *7 *8)) (-4 *5 (-258)) + (-4 *6 (-906 *5)) (-4 *7 (-1157 *6)) (-4 *8 (-13 (-353 *6 *7) (-952 *6))) + (-4 *9 (-258)) (-4 *10 (-906 *9)) (-4 *11 (-1157 *10)) + (-5 *2 (-356 *9 *10 *11 *12)) (-5 *1 (-357 *5 *6 *7 *8 *9 *10 *11 *12)) + (-4 *12 (-13 (-353 *10 *11) (-952 *10))))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-146)) (-4 *6 (-146)) (-4 *2 (-361 *6)) + (-5 *1 (-359 *4 *5 *2 *6)) (-4 *4 (-361 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-963)) (-4 *6 (-963)) (-4 *2 (-364 *6)) + (-5 *1 (-365 *5 *4 *6 *2)) (-4 *4 (-364 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) (-4 *2 (-369 *6)) + (-5 *1 (-370 *5 *4 *6 *2)) (-4 *4 (-369 *5)))) + ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-381 *3)) (-4 *3 (-1131)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-521 *5)) (-4 *5 (-312)) (-4 *6 (-312)) + (-5 *2 (-521 *6)) (-5 *1 (-522 *5 *6)))) + ((*1 *2 *3 *4) + (|partial| -12 (-5 *3 (-1 *6 *5)) + (-5 *4 (-3 (-2 (|:| -2138 *5) (|:| |coeff| *5)) "failed")) (-4 *5 (-312)) + (-4 *6 (-312)) (-5 *2 (-2 (|:| -2138 *6) (|:| |coeff| *6))) + (-5 *1 (-522 *5 *6)))) + ((*1 *2 *3 *4) + (|partial| -12 (-5 *3 (-1 *2 *5)) (-5 *4 (-3 *5 "failed")) (-4 *5 (-312)) + (-4 *2 (-312)) (-5 *1 (-522 *5 *2)))) + ((*1 *2 *3 *4) + (|partial| -12 (-5 *3 (-1 *6 *5)) + (-5 *4 + (-3 + (-2 (|:| |mainpart| *5) + (|:| |limitedlogs| (-585 (-2 (|:| |coeff| *5) (|:| |logand| *5))))) + "failed")) + (-4 *5 (-312)) (-4 *6 (-312)) + (-5 *2 + (-2 (|:| |mainpart| *6) + (|:| |limitedlogs| (-585 (-2 (|:| |coeff| *6) (|:| |logand| *6)))))) + (-5 *1 (-522 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-538 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-538 *6)) (-5 *1 (-535 *5 *6)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-538 *6)) (-5 *5 (-538 *7)) + (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-538 *8)) + (-5 *1 (-536 *6 *7 *8)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-1071 *6)) (-5 *5 (-538 *7)) + (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-1071 *8)) + (-5 *1 (-536 *6 *7 *8)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-538 *6)) (-5 *5 (-1071 *7)) + (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-1071 *8)) + (-5 *1 (-536 *6 *7 *8)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-585 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-585 *6)) (-5 *1 (-586 *5 *6)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-585 *6)) (-5 *5 (-585 *7)) + (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-585 *8)) + (-5 *1 (-588 *6 *7 *8)))) + ((*1 *1 *2 *1 *1) + (-12 (-5 *2 (-1 *3 *3 *3)) (-4 *1 (-595 *3)) (-4 *3 (-1131)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *8 *5)) (-4 *5 (-963)) (-4 *8 (-963)) (-4 *6 (-324 *5)) + (-4 *7 (-324 *5)) (-4 *2 (-629 *8 *9 *10)) + (-5 *1 (-630 *5 *6 *7 *4 *8 *9 *10 *2)) (-4 *4 (-629 *5 *6 *7)) + (-4 *9 (-324 *8)) (-4 *10 (-324 *8)))) + ((*1 *2 *3 *4) + (|partial| -12 (-5 *3 (-1 (-3 *8 "failed") *5)) (-4 *5 (-963)) (-4 *8 (-963)) + (-4 *6 (-324 *5)) (-4 *7 (-324 *5)) (-4 *2 (-629 *8 *9 *10)) + (-5 *1 (-630 *5 *6 *7 *4 *8 *9 *10 *2)) (-4 *4 (-629 *5 *6 *7)) + (-4 *9 (-324 *8)) (-4 *10 (-324 *8)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *7 *5)) (-4 *5 (-497)) (-4 *7 (-497)) (-4 *6 (-1157 *5)) + (-4 *2 (-1157 (-350 *8))) (-5 *1 (-648 *5 *6 *4 *7 *8 *2)) + (-4 *4 (-1157 (-350 *6))) (-4 *8 (-1157 *7)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *9 *8)) (-4 *8 (-963)) (-4 *9 (-963)) (-4 *5 (-758)) + (-4 *6 (-719)) (-4 *2 (-863 *9 *7 *5)) (-5 *1 (-669 *5 *6 *7 *8 *9 *4 *2)) + (-4 *7 (-719)) (-4 *4 (-863 *8 *6 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-758)) (-4 *6 (-758)) (-4 *7 (-719)) + (-4 *9 (-963)) (-4 *2 (-863 *9 *8 *6)) (-5 *1 (-670 *5 *6 *7 *8 *9 *4 *2)) + (-4 *8 (-719)) (-4 *4 (-863 *9 *7 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-676 *5 *7)) (-4 *5 (-963)) (-4 *6 (-963)) + (-4 *7 (-665)) (-5 *2 (-676 *6 *7)) (-5 *1 (-675 *5 *6 *7)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-706 *5)) (-4 *5 (-963)) (-4 *6 (-963)) + (-5 *2 (-706 *6)) (-5 *1 (-707 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-146)) (-4 *6 (-146)) (-4 *2 (-722 *6)) + (-5 *1 (-725 *4 *5 *2 *6)) (-4 *4 (-722 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-745 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) + (-5 *2 (-745 *6)) (-5 *1 (-746 *5 *6)))) + ((*1 *2 *3 *4 *2) + (-12 (-5 *2 (-745 *6)) (-5 *3 (-1 *6 *5)) (-5 *4 (-745 *5)) (-4 *5 (-1015)) + (-4 *6 (-1015)) (-5 *1 (-746 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-752 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) + (-5 *2 (-752 *6)) (-5 *1 (-753 *5 *6)))) + ((*1 *2 *3 *4 *2 *2) + (-12 (-5 *2 (-752 *6)) (-5 *3 (-1 *6 *5)) (-5 *4 (-752 *5)) (-4 *5 (-1015)) + (-4 *6 (-1015)) (-5 *1 (-753 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-789 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-789 *6)) (-5 *1 (-788 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-791 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-791 *6)) (-5 *1 (-790 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-794 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-794 *6)) (-5 *1 (-793 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *7 *6)) (-5 *4 (-800 *5 *6)) (-4 *5 (-1015)) (-4 *6 (-1015)) + (-4 *7 (-1015)) (-5 *2 (-800 *5 *7)) (-5 *1 (-801 *5 *6 *7)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-802 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) + (-5 *2 (-802 *6)) (-5 *1 (-804 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-859 *5)) (-4 *5 (-963)) (-4 *6 (-963)) + (-5 *2 (-859 *6)) (-5 *1 (-860 *5 *6)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *2 *7)) (-5 *4 (-1 *2 *8)) (-4 *7 (-758)) (-4 *8 (-963)) + (-4 *6 (-719)) + (-4 *2 + (-13 (-1015) + (-10 -8 (-15 -3842 ($ $ $)) (-15 * ($ $ $)) (-15 ** ($ $ (-696)))))) + (-5 *1 (-865 *6 *7 *8 *5 *2)) (-4 *5 (-863 *8 *6 *7)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-871 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-871 *6)) (-5 *1 (-872 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-879 *5)) (-4 *5 (-1015)) (-4 *6 (-1015)) + (-5 *2 (-879 *6)) (-5 *1 (-881 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-856 *5)) (-4 *5 (-963)) (-4 *6 (-963)) + (-5 *2 (-856 *6)) (-5 *1 (-896 *5 *6)))) + ((*1 *2 *3 *2) + (-12 (-5 *3 (-1 *2 (-859 *4))) (-4 *4 (-963)) (-4 *2 (-863 (-859 *4) *5 *6)) + (-4 *5 (-719)) + (-4 *6 + (-13 (-758) + (-10 -8 (-15 -3975 ((-1092) $)) (-15 -3834 ((-3 $ "failed") (-1092)))))) + (-5 *1 (-899 *4 *5 *6 *2)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-497)) (-4 *6 (-497)) (-4 *2 (-906 *6)) + (-5 *1 (-907 *5 *6 *4 *2)) (-4 *4 (-906 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-146)) (-4 *6 (-146)) (-4 *2 (-913 *6)) + (-5 *1 (-914 *4 *5 *2 *6)) (-4 *4 (-913 *5)))) + ((*1 *1 *2 *1 *1) + (-12 (-5 *2 (-1 *5 *5 *5)) (-4 *1 (-967 *3 *4 *5 *6 *7)) (-4 *5 (-963)) + (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *10 *7)) (-4 *7 (-963)) (-4 *10 (-963)) (-14 *5 (-696)) + (-14 *6 (-696)) (-4 *8 (-196 *6 *7)) (-4 *9 (-196 *5 *7)) + (-4 *2 (-967 *5 *6 *10 *11 *12)) + (-5 *1 (-969 *5 *6 *7 *8 *9 *4 *10 *11 *12 *2)) + (-4 *4 (-967 *5 *6 *7 *8 *9)) (-4 *11 (-196 *6 *10)) + (-4 *12 (-196 *5 *10)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1003 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-1003 *6)) (-5 *1 (-1004 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1003 *5)) (-4 *5 (-757)) (-4 *5 (-1131)) + (-4 *6 (-1131)) (-5 *2 (-585 *6)) (-5 *1 (-1004 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1006 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-1006 *6)) (-5 *1 (-1007 *5 *6)))) + ((*1 *2 *3 *1) + (-12 (-5 *3 (-1 *4 *4)) (-4 *1 (-1009 *4 *2)) (-4 *4 (-757)) + (-4 *2 (-1066 *4)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1071 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-1071 *6)) (-5 *1 (-1073 *5 *6)))) + ((*1 *2 *3 *4 *5) + (-12 (-5 *3 (-1 *8 *6 *7)) (-5 *4 (-1071 *6)) (-5 *5 (-1071 *7)) + (-4 *6 (-1131)) (-4 *7 (-1131)) (-4 *8 (-1131)) (-5 *2 (-1071 *8)) + (-5 *1 (-1074 *6 *7 *8)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1087 *5)) (-4 *5 (-963)) (-4 *6 (-963)) + (-5 *2 (-1087 *6)) (-5 *1 (-1088 *5 *6)))) + ((*1 *1 *2 *1 *1) + (-12 (-5 *2 (-1 *4 *4 *4)) (-4 *1 (-1109 *3 *4)) (-4 *3 (-1015)) + (-4 *4 (-1015)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1141 *5 *7 *9)) (-4 *5 (-963)) + (-4 *6 (-963)) (-14 *7 (-1092)) (-14 *9 *5) (-14 *10 *6) + (-5 *2 (-1141 *6 *8 *10)) (-5 *1 (-1142 *5 *6 *7 *8 *9 *10)) + (-14 *8 (-1092)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1148 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-1148 *6)) (-5 *1 (-1149 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1148 *5)) (-4 *5 (-757)) (-4 *5 (-1131)) + (-4 *6 (-1131)) (-5 *2 (-1071 *6)) (-5 *1 (-1149 *5 *6)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *8 *6)) (-5 *4 (-1150 *5 *6)) (-14 *5 (-1092)) (-4 *6 (-963)) + (-4 *8 (-963)) (-5 *2 (-1150 *7 *8)) (-5 *1 (-1151 *5 *6 *7 *8)) + (-14 *7 (-1092)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-963)) (-4 *6 (-963)) (-4 *2 (-1157 *6)) + (-5 *1 (-1158 *5 *4 *6 *2)) (-4 *4 (-1157 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1162 *5 *7 *9)) (-4 *5 (-963)) + (-4 *6 (-963)) (-14 *7 (-1092)) (-14 *9 *5) (-14 *10 *6) + (-5 *2 (-1162 *6 *8 *10)) (-5 *1 (-1163 *5 *6 *7 *8 *9 *10)) + (-14 *8 (-1092)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-4 *5 (-963)) (-4 *6 (-963)) (-4 *2 (-1174 *6)) + (-5 *1 (-1172 *5 *6 *4 *2)) (-4 *4 (-1174 *5)))) + ((*1 *2 *3 *4) + (-12 (-5 *3 (-1 *6 *5)) (-5 *4 (-1181 *5)) (-4 *5 (-1131)) (-4 *6 (-1131)) + (-5 *2 (-1181 *6)) (-5 *1 (-1182 *5 *6)))) + ((*1 *2 *3 *4) + (|partial| -12 (-5 *3 (-1 (-3 *6 "failed") *5)) (-5 *4 (-1181 *5)) + (-4 *5 (-1131)) (-4 *6 (-1131)) (-5 *2 (-1181 *6)) (-5 *1 (-1182 *5 *6))))) (((*1 *1 *1) (-5 *1 (-48))) ((*1 *2 *3 *4 *2) (-12 (-5 *3 (-1 *2 *5 *2)) (-5 *4 (-58 *5)) (-4 *5 (-1131)) (-4 *2 (-1131)) @@ -2223,12 +2196,12 @@ (-4 *2 (-13 (-1157 *3) (-497) (-10 -8 (-15 -3147 ($ $ $)))))))) (((*1 *2 *1) (-12 (-4 *1 (-274 *3 *4)) (-4 *3 (-1015)) (-4 *4 (-104)) - (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3946 *4)))))) + (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3947 *4)))))) ((*1 *2 *1) (-12 (-4 *1 (-451 *3 *4)) (-4 *3 (-72)) (-4 *4 (-761)) (-5 *2 (-585 (-455 *3 *4))))) ((*1 *2 *1) - (-12 (-5 *2 (-585 (-2 (|:| -3957 *3) (|:| -3941 *4)))) (-5 *1 (-676 *3 *4)) + (-12 (-5 *2 (-585 (-2 (|:| -3958 *3) (|:| -3942 *4)))) (-5 *1 (-676 *3 *4)) (-4 *3 (-963)) (-4 *4 (-665)))) ((*1 *2 *1) (-12 (-4 *1 (-1160 *3 *4)) (-4 *3 (-963)) (-4 *4 (-718)) @@ -2297,7 +2270,7 @@ (-12 (-4 *1 (-982 *2 *3)) (-4 *2 (-13 (-757) (-312))) (-4 *3 (-1157 *2)))) ((*1 *2 *1 *3) (-12 (-4 *1 (-1160 *2 *3)) (-4 *3 (-718)) (|has| *2 (-15 ** (*2 *2 *3))) - (|has| *2 (-15 -3949 (*2 (-1092)))) (-4 *2 (-963))))) + (|has| *2 (-15 -3950 (*2 (-1092)))) (-4 *2 (-963))))) (((*1 *1 *1 *2) (-12 (-5 *2 (-486)) (-5 *1 (-148 *3)) (-4 *3 (-258)))) ((*1 *1 *1 *2) (-12 (-5 *2 (-486)) (-4 *1 (-618 *3)) (-4 *3 (-1131)))) ((*1 *1 *1 *2) @@ -2476,14 +2449,14 @@ (|partial| -12 (-4 *1 (-1157 *2)) (-4 *2 (-963)) (-4 *2 (-497))))) (((*1 *1 *1 *1) (-12 (-4 *1 (-1157 *2)) (-4 *2 (-963)) (-4 *2 (-497))))) (((*1 *2 *3 *3) - (-12 (-4 *4 (-497)) (-5 *2 (-2 (|:| -3957 *4) (|:| -1974 *3) (|:| -2905 *3))) + (-12 (-4 *4 (-497)) (-5 *2 (-2 (|:| -3958 *4) (|:| -1974 *3) (|:| -2905 *3))) (-5 *1 (-884 *4 *3)) (-4 *3 (-1157 *4)))) ((*1 *2 *1 *1) (-12 (-4 *3 (-963)) (-4 *4 (-719)) (-4 *5 (-758)) (-5 *2 (-2 (|:| -1974 *1) (|:| -2905 *1))) (-4 *1 (-979 *3 *4 *5)))) ((*1 *2 *1 *1) (-12 (-4 *3 (-497)) (-4 *3 (-963)) - (-5 *2 (-2 (|:| -3957 *3) (|:| -1974 *1) (|:| -2905 *1))) + (-5 *2 (-2 (|:| -3958 *3) (|:| -1974 *1) (|:| -2905 *1))) (-4 *1 (-1157 *3))))) (((*1 *2 *3) (-12 (-4 *4 (-312)) (-4 *4 (-497)) (-4 *5 (-1157 *4)) @@ -2872,7 +2845,7 @@ (((*1 *1 *2) (-12 (-5 *2 (-832)) (-4 *1 (-196 *3 *4)) (-4 *4 (-963)) (-4 *4 (-1131)))) ((*1 *1 *2) - (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *5 (-196 (-3960 *3) (-696))) + (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *5 (-196 (-3961 *3) (-696))) (-14 *6 (-1 (-85) (-2 (|:| -2402 *2) (|:| -2403 *5)) (-2 (|:| -2402 *2) (|:| -2403 *5)))) @@ -2932,7 +2905,7 @@ (((*1 *2 *1) (-12 (-4 *1 (-1126 *3 *4 *5 *6)) (-4 *3 (-497)) (-4 *4 (-719)) (-4 *5 (-758)) (-4 *6 (-979 *3 *4 *5)) - (-5 *2 (-2 (|:| -3864 (-585 *6)) (|:| -1704 (-585 *6))))))) + (-5 *2 (-2 (|:| -3865 (-585 *6)) (|:| -1704 (-585 *6))))))) (((*1 *2 *1 *3) (-12 (-5 *3 (-585 *1)) (-4 *1 (-979 *4 *5 *6)) (-4 *4 (-963)) (-4 *5 (-719)) (-4 *6 (-758)) (-5 *2 (-85)))) @@ -3054,7 +3027,7 @@ (-4 *6 (-758)) (-5 *2 (-585 *1)) (-4 *1 (-1126 *4 *5 *6 *7))))) (((*1 *2 *3) (-12 (-4 *4 (-497)) (-4 *5 (-719)) (-4 *6 (-758)) (-4 *7 (-979 *4 *5 *6)) - (-5 *2 (-585 (-2 (|:| -3864 *1) (|:| -1704 (-585 *7))))) (-5 *3 (-585 *7)) + (-5 *2 (-585 (-2 (|:| -3865 *1) (|:| -1704 (-585 *7))))) (-5 *3 (-585 *7)) (-4 *1 (-1126 *4 *5 *6 *7))))) (((*1 *2 *1) (-12 (-4 *1 (-1126 *3 *4 *5 *6)) (-4 *3 (-497)) (-4 *4 (-719)) (-4 *5 (-758)) @@ -3426,7 +3399,7 @@ (((*1 *2) (-12 (-5 *2 (-1187)) (-5 *1 (-1110 *3 *4)) (-4 *3 (-1015)) (-4 *4 (-1015))))) (((*1 *1 *2) - (-12 (-5 *2 (-585 (-2 (|:| -3863 *3) (|:| |entry| *4)))) (-4 *3 (-1015)) + (-12 (-5 *2 (-585 (-2 (|:| -3864 *3) (|:| |entry| *4)))) (-4 *3 (-1015)) (-4 *4 (-1015)) (-4 *1 (-1109 *3 *4)))) ((*1 *1) (-12 (-4 *1 (-1109 *2 *3)) (-4 *2 (-1015)) (-4 *3 (-1015))))) (((*1 *2 *2 *3) (-12 (-5 *3 (-486)) (-5 *1 (-1107 *2)) (-4 *2 (-312))))) @@ -3839,7 +3812,7 @@ (((*1 *2 *3) (-12 (-5 *3 (-1092)) (-5 *2 (-1187)) (-5 *1 (-1095)))) ((*1 *2 *1) (-12 (-5 *2 (-1187)) (-5 *1 (-1096))))) (((*1 *1 *2) - (-12 (-5 *2 (-585 (-2 (|:| -3863 (-1092)) (|:| |entry| (-379))))) + (-12 (-5 *2 (-585 (-2 (|:| -3864 (-1092)) (|:| |entry| (-379))))) (-5 *1 (-1096))))) (((*1 *1) (-5 *1 (-1095)))) (((*1 *2 *3) (-12 (-5 *3 (-1092)) (-5 *2 (-1187)) (-5 *1 (-1095)))) @@ -3853,19 +3826,19 @@ ((*1 *2 *3 *4 *1) (-12 (-5 *4 (-585 (-1092))) (-5 *3 (-1092)) (-5 *2 (-1187)) (-5 *1 (-1095))))) (((*1 *2 *3) - (-12 (-5 *3 (-3 (|:| |fst| (-377)) (|:| -3913 #1="void"))) (-5 *2 (-1187)) + (-12 (-5 *3 (-3 (|:| |fst| (-377)) (|:| -3914 #1="void"))) (-5 *2 (-1187)) (-5 *1 (-1095)))) ((*1 *2 *3 *4) - (-12 (-5 *3 (-1092)) (-5 *4 (-3 (|:| |fst| (-377)) (|:| -3913 #1#))) + (-12 (-5 *3 (-1092)) (-5 *4 (-3 (|:| |fst| (-377)) (|:| -3914 #1#))) (-5 *2 (-1187)) (-5 *1 (-1095)))) ((*1 *2 *3 *4 *1) - (-12 (-5 *3 (-1092)) (-5 *4 (-3 (|:| |fst| (-377)) (|:| -3913 #1#))) + (-12 (-5 *3 (-1092)) (-5 *4 (-3 (|:| |fst| (-377)) (|:| -3914 #1#))) (-5 *2 (-1187)) (-5 *1 (-1095))))) (((*1 *2) (-12 (-5 *2 (-1187)) (-5 *1 (-1095)))) ((*1 *2 *3) (-12 (-5 *3 (-1092)) (-5 *2 (-1187)) (-5 *1 (-1095)))) ((*1 *2 *3 *1) (-12 (-5 *3 (-1092)) (-5 *2 (-1187)) (-5 *1 (-1095))))) (((*1 *2 *3 *1) - (-12 (-5 *3 (-1092)) (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3913 "void"))) + (-12 (-5 *3 (-1092)) (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3914 "void"))) (-5 *1 (-1095))))) (((*1 *2 *3 *1) (-12 (-5 *2 (-585 (-1092))) (-5 *1 (-1095)) (-5 *3 (-1092))))) (((*1 *2 *3 *1) (-12 (-5 *3 (-1092)) (-5 *2 (-1096)) (-5 *1 (-1095))))) @@ -3965,10 +3938,10 @@ (-12 (-5 *2 (-585 (-2 (|:| -2403 (-696)) (|:| -3776 *4) (|:| |num| *4)))) (-4 *4 (-1157 *3)) (-4 *3 (-13 (-312) (-120))) (-5 *1 (-342 *3 *4)))) ((*1 *1 *2 *3 *4) - (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3913 #1="void"))) + (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3914 #1="void"))) (-5 *3 (-585 (-859 (-486)))) (-5 *4 (-85)) (-5 *1 (-379)))) ((*1 *1 *2 *3 *4) - (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3913 #1#))) (-5 *3 (-585 (-1092))) + (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3914 #1#))) (-5 *3 (-585 (-1092))) (-5 *4 (-85)) (-5 *1 (-379)))) ((*1 *2 *1) (-12 (-5 *2 (-1071 *3)) (-5 *1 (-538 *3)) (-4 *3 (-1131)))) ((*1 *1 *1 *1) (-12 (-4 *1 (-576 *2)) (-4 *2 (-146)))) @@ -3986,7 +3959,7 @@ ((*1 *1 *2 *3) (-12 (-5 *2 (-448)) (-5 *3 (-1030)) (-5 *1 (-751)))) ((*1 *1 *2 *3) (-12 (-5 *1 (-784 *2 *3)) (-4 *2 (-1131)) (-4 *3 (-1131)))) ((*1 *1 *2) - (-12 (-5 *2 (-585 (-2 (|:| -3863 (-1092)) (|:| |entry| *4)))) (-4 *4 (-1015)) + (-12 (-5 *2 (-585 (-2 (|:| -3864 (-1092)) (|:| |entry| *4)))) (-4 *4 (-1015)) (-5 *1 (-800 *3 *4)) (-4 *3 (-1015)))) ((*1 *2 *3 *4) (-12 (-5 *4 (-585 *5)) (-4 *5 (-13 (-1015) (-34))) @@ -5040,7 +5013,7 @@ (((*1 *2 *1) (-12 (-4 *1 (-1050 *3)) (-4 *3 (-963)) (-5 *2 - (-2 (|:| -3853 (-696)) (|:| |curves| (-696)) (|:| |polygons| (-696)) + (-2 (|:| -3854 (-696)) (|:| |curves| (-696)) (|:| |polygons| (-696)) (|:| |constructs| (-696))))))) (((*1 *2 *3 *3) (-12 (-5 *3 (-585 (-2 (|:| -3735 (-1087 *6)) (|:| -2403 (-486))))) @@ -5245,10 +5218,7 @@ ((*1 *2 *1) (-12 (-4 *1 (-1039 *3 *2 *4 *5)) (-4 *4 (-196 *3 *2)) (-4 *5 (-196 *3 *2)) (|has| *2 (-6 (-4000 "*"))) (-4 *2 (-963))))) -(((*1 *1 *2 *1) - (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1131)) - (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) - ((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-1037 *3)) (-4 *3 (-1131))))) +(((*1 *1 *2 *1) (-12 (-5 *2 (-1 *3 *3)) (-4 *1 (-1037 *3)) (-4 *3 (-1131))))) (((*1 *2 *2 *1) (-12 (-4 *1 (-1036 *2)) (-4 *2 (-1131))))) (((*1 *2 *1) (-12 (-4 *1 (-1036 *2)) (-4 *2 (-1131))))) (((*1 *2 *1) (-12 (-4 *1 (-1036 *2)) (-4 *2 (-1131))))) @@ -5559,7 +5529,7 @@ (-12 (-4 *1 (-1018 *3 *4 *5 *6 *7)) (-4 *3 (-1015)) (-4 *4 (-1015)) (-4 *5 (-1015)) (-4 *6 (-1015)) (-4 *7 (-1015)) (-5 *2 (-85))))) (((*1 *2 *1) - (-12 (-5 *2 (-585 (-2 (|:| -3863 (-1092)) (|:| |entry| *4)))) + (-12 (-5 *2 (-585 (-2 (|:| -3864 (-1092)) (|:| |entry| *4)))) (-5 *1 (-800 *3 *4)) (-4 *3 (-1015)) (-4 *4 (-1015)))) ((*1 *2 *1) (-12 (-4 *3 (-1015)) (-4 *4 (-1015)) (-4 *5 (-1015)) (-4 *6 (-1015)) @@ -5986,7 +5956,7 @@ (-14 *4 (-585 (-1092))))) ((*1 *2 *1) (-12 (-4 *1 (-335 *2 *3)) (-4 *3 (-1015)) (-4 *2 (-963)))) ((*1 *2 *1) - (-12 (-14 *3 (-585 (-1092))) (-4 *5 (-196 (-3960 *3) (-696))) + (-12 (-14 *3 (-585 (-1092))) (-4 *5 (-196 (-3961 *3) (-696))) (-14 *6 (-1 (-85) (-2 (|:| -2402 *4) (|:| -2403 *5)) (-2 (|:| -2402 *4) (|:| -2403 *5)))) @@ -6044,25 +6014,25 @@ (-12 (-4 *1 (-979 *2 *3 *4)) (-4 *2 (-963)) (-4 *3 (-719)) (-4 *4 (-758))))) (((*1 *2 *1 *1 *3) (-12 (-4 *4 (-963)) (-4 *5 (-719)) (-4 *3 (-758)) - (-5 *2 (-2 (|:| -3957 *1) (|:| |gap| (-696)) (|:| -2905 *1))) + (-5 *2 (-2 (|:| -3958 *1) (|:| |gap| (-696)) (|:| -2905 *1))) (-4 *1 (-979 *4 *5 *3)))) ((*1 *2 *1 *1) (-12 (-4 *3 (-963)) (-4 *4 (-719)) (-4 *5 (-758)) - (-5 *2 (-2 (|:| -3957 *1) (|:| |gap| (-696)) (|:| -2905 *1))) + (-5 *2 (-2 (|:| -3958 *1) (|:| |gap| (-696)) (|:| -2905 *1))) (-4 *1 (-979 *3 *4 *5))))) (((*1 *2 *1 *1) (-12 (-5 *2 - (-2 (|:| -3957 *3) (|:| |gap| (-696)) (|:| -1974 (-706 *3)) + (-2 (|:| -3958 *3) (|:| |gap| (-696)) (|:| -1974 (-706 *3)) (|:| -2905 (-706 *3)))) (-5 *1 (-706 *3)) (-4 *3 (-963)))) ((*1 *2 *1 *1 *3) (-12 (-4 *4 (-963)) (-4 *5 (-719)) (-4 *3 (-758)) - (-5 *2 (-2 (|:| -3957 *1) (|:| |gap| (-696)) (|:| -1974 *1) (|:| -2905 *1))) + (-5 *2 (-2 (|:| -3958 *1) (|:| |gap| (-696)) (|:| -1974 *1) (|:| -2905 *1))) (-4 *1 (-979 *4 *5 *3)))) ((*1 *2 *1 *1) (-12 (-4 *3 (-963)) (-4 *4 (-719)) (-4 *5 (-758)) - (-5 *2 (-2 (|:| -3957 *1) (|:| |gap| (-696)) (|:| -1974 *1) (|:| -2905 *1))) + (-5 *2 (-2 (|:| -3958 *1) (|:| |gap| (-696)) (|:| -1974 *1) (|:| -2905 *1))) (-4 *1 (-979 *3 *4 *5))))) (((*1 *1 *1 *1) (-12 (-5 *1 (-706 *2)) (-4 *2 (-963)))) ((*1 *1 *1 *1) @@ -6594,7 +6564,7 @@ (-12 (-5 *3 (-350 (-1087 *2))) (-4 *5 (-719)) (-4 *4 (-758)) (-4 *6 (-963)) (-4 *2 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))) (-5 *1 (-864 *5 *4 *6 *7 *2)) (-4 *7 (-863 *6 *5 *4)))) ((*1 *2 *3 *4) (-12 (-5 *3 (-350 (-1087 (-350 (-859 *5))))) (-5 *4 (-1092)) @@ -6621,12 +6591,12 @@ (-5 *2 (-350 (-1087 *3))) (-5 *1 (-864 *5 *4 *6 *7 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))))) ((*1 *2 *3 *4 *2) (-12 (-5 *2 (-1087 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))) (-4 *7 (-863 *6 *5 *4)) (-4 *5 (-719)) (-4 *4 (-758)) (-4 *6 (-963)) (-5 *1 (-864 *5 *4 *6 *7 *3)))) ((*1 *2 *3 *4) @@ -6640,7 +6610,7 @@ (-4 *2 (-758)) (-5 *1 (-864 *4 *2 *5 *6 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *6)) (-15 -3001 (*6 $)) (-15 -3000 (*6 $))))))) + (-10 -8 (-15 -3950 ($ *6)) (-15 -3001 (*6 $)) (-15 -3000 (*6 $))))))) ((*1 *2 *3) (|partial| -12 (-5 *3 (-350 (-859 *4))) (-4 *4 (-497)) (-5 *2 (-1092)) (-5 *1 (-954 *4))))) @@ -6657,7 +6627,7 @@ (-5 *2 (-585 *5)) (-5 *1 (-864 *4 *5 *6 *7 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $))))))) ((*1 *2 *1) (-12 (-4 *1 (-888 *3 *4 *5)) (-4 *3 (-963)) (-4 *4 (-718)) (-4 *5 (-758)) (-5 *2 (-585 *5)))) @@ -6985,7 +6955,7 @@ (((*1 *1 *2 *2) (-12 (-5 *2 (-585 (-486))) (-5 *1 (-919 *3)) (-14 *3 (-486))))) (((*1 *2 *3 *4) (-12 (-5 *3 (-348 *5)) (-4 *5 (-497)) - (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3957 *5) (|:| |radicand| (-585 *5)))) + (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3958 *5) (|:| |radicand| (-585 *5)))) (-5 *1 (-271 *5)) (-5 *4 (-696)))) ((*1 *1 *1 *2) (-12 (-4 *1 (-917)) (-5 *2 (-486))))) (((*1 *1 *2) (-12 (-5 *2 (-585 *3)) (-4 *3 (-1015)) (-5 *1 (-915 *3))))) @@ -7363,7 +7333,7 @@ (((*1 *1 *1) (-12 (-4 *1 (-47 *2 *3)) (-4 *2 (-963)) (-4 *3 (-718)))) ((*1 *2 *1) (-12 (-4 *1 (-335 *3 *2)) (-4 *3 (-963)) (-4 *2 (-1015)))) ((*1 *2 *1) - (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *6 (-196 (-3960 *3) (-696))) + (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *6 (-196 (-3961 *3) (-696))) (-14 *7 (-1 (-85) (-2 (|:| -2402 *5) (|:| -2403 *6)) (-2 (|:| -2402 *5) (|:| -2403 *6)))) @@ -7378,7 +7348,7 @@ (-12 (-5 *3 (-585 (-832))) (-5 *1 (-125 *4 *2 *5)) (-14 *4 (-832)) (-4 *2 (-312)) (-14 *5 (-908 *4 *2)))) ((*1 *1 *2 *3) - (-12 (-5 *3 (-652 *5 *6 *7)) (-4 *5 (-758)) (-4 *6 (-196 (-3960 *4) (-696))) + (-12 (-5 *3 (-652 *5 *6 *7)) (-4 *5 (-758)) (-4 *6 (-196 (-3961 *4) (-696))) (-14 *7 (-1 (-85) (-2 (|:| -2402 *5) (|:| -2403 *6)) (-2 (|:| -2402 *5) (|:| -2403 *6)))) @@ -7587,14 +7557,14 @@ (-12 (-5 *3 (-585 (-859 *5))) (-5 *4 (-585 (-1092))) (-4 *5 (-13 (-312) (-120))) (-5 *2 - (-2 (|:| -3957 (-585 (-486))) (|:| |poly| (-585 (-1087 *5))) + (-2 (|:| -3958 (-585 (-486))) (|:| |poly| (-585 (-1087 *5))) (|:| |prim| (-1087 *5)))) (-5 *1 (-874 *5)))) ((*1 *2 *3 *4 *5) (-12 (-5 *3 (-585 (-859 *6))) (-5 *4 (-585 (-1092))) (-5 *5 (-1092)) (-4 *6 (-13 (-312) (-120))) (-5 *2 - (-2 (|:| -3957 (-585 (-486))) (|:| |poly| (-585 (-1087 *6))) + (-2 (|:| -3958 (-585 (-486))) (|:| |poly| (-585 (-1087 *6))) (|:| |prim| (-1087 *6)))) (-5 *1 (-874 *6))))) (((*1 *1 *2 *3) @@ -7614,34 +7584,34 @@ (((*1 *1 *2) (-12 (-5 *2 (-1035)) (-5 *1 (-867))))) (((*1 *2 *3 *4) (-12 (-4 *5 (-719)) (-4 *6 (-758)) (-4 *7 (-497)) (-4 *3 (-863 *7 *5 *6)) - (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3957 *3) (|:| |radicand| (-585 *3)))) + (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3958 *3) (|:| |radicand| (-585 *3)))) (-5 *1 (-866 *5 *6 *7 *3 *8)) (-5 *4 (-696)) (-4 *8 (-13 (-312) - (-10 -8 (-15 -3949 ($ *3)) (-15 -3001 (*3 $)) (-15 -3000 (*3 $)))))))) + (-10 -8 (-15 -3950 ($ *3)) (-15 -3001 (*3 $)) (-15 -3000 (*3 $)))))))) (((*1 *2 *3 *4) (-12 (-4 *7 (-393)) (-4 *5 (-719)) (-4 *6 (-758)) (-4 *7 (-497)) (-4 *8 (-863 *7 *5 *6)) - (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3957 *3) (|:| |radicand| *3))) + (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3958 *3) (|:| |radicand| *3))) (-5 *1 (-866 *5 *6 *7 *8 *3)) (-5 *4 (-696)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *8)) (-15 -3001 (*8 $)) (-15 -3000 (*8 $)))))))) + (-10 -8 (-15 -3950 ($ *8)) (-15 -3001 (*8 $)) (-15 -3000 (*8 $)))))))) (((*1 *2 *3 *4) (-12 (-5 *3 (-350 (-486))) (-4 *5 (-719)) (-4 *6 (-758)) (-4 *7 (-497)) (-4 *8 (-863 *7 *5 *6)) - (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3957 *9) (|:| |radicand| *9))) + (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3958 *9) (|:| |radicand| *9))) (-5 *1 (-866 *5 *6 *7 *8 *9)) (-5 *4 (-696)) (-4 *9 (-13 (-312) - (-10 -8 (-15 -3949 ($ *8)) (-15 -3001 (*8 $)) (-15 -3000 (*8 $)))))))) + (-10 -8 (-15 -3950 ($ *8)) (-15 -3001 (*8 $)) (-15 -3000 (*8 $)))))))) (((*1 *2 *3 *4) (-12 (-4 *5 (-719)) (-4 *6 (-758)) (-4 *3 (-497)) (-4 *7 (-863 *3 *5 *6)) - (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3957 *8) (|:| |radicand| *8))) + (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3958 *8) (|:| |radicand| *8))) (-5 *1 (-866 *5 *6 *3 *7 *8)) (-5 *4 (-696)) (-4 *8 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) (((*1 *2 *1) (|partial| -12 (-4 *3 (-963)) (-4 *3 (-1015)) (-5 *2 (-2 (|:| |val| *1) (|:| -2403 (-486)))) (-4 *1 (-364 *3)))) @@ -7654,7 +7624,7 @@ (-5 *1 (-864 *4 *5 *6 *7 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) (((*1 *2 *1 *3) (|partial| -12 (-5 *3 (-1092)) (-4 *4 (-963)) (-4 *4 (-1015)) (-5 *2 (-2 (|:| |var| (-552 *1)) (|:| -2403 (-486)))) (-4 *1 (-364 *4)))) @@ -7676,7 +7646,7 @@ (-5 *1 (-864 *4 *5 *6 *7 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) (((*1 *2 *1) (|partial| -12 (-4 *3 (-1027)) (-4 *3 (-1015)) (-5 *2 (-585 *1)) (-4 *1 (-364 *3)))) @@ -7690,7 +7660,7 @@ (-4 *7 (-863 *6 *4 *5)) (-5 *2 (-585 *3)) (-5 *1 (-864 *4 *5 *6 *7 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) (((*1 *2 *1) (|partial| -12 (-4 *3 (-25)) (-4 *3 (-1015)) (-5 *2 (-585 *1)) (-4 *1 (-364 *3)))) @@ -7704,7 +7674,7 @@ (-4 *7 (-863 *6 *4 *5)) (-5 *2 (-585 *3)) (-5 *1 (-864 *4 *5 *6 *7 *3)) (-4 *3 (-13 (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) (((*1 *2 *1) (-12 (-4 *3 (-963)) (-4 *4 (-1015)) (-5 *2 (-585 *1)) (-4 *1 (-335 *3 *4)))) ((*1 *2 *1) @@ -8207,7 +8177,7 @@ (-12 (-5 *3 (-585 *4)) (-4 *4 (-312)) (-4 *2 (-1157 *4)) (-5 *1 (-836 *4 *2))))) (((*1 *2 *3) - (-12 (-4 *1 (-834)) (-5 *2 (-2 (|:| -3957 (-585 *1)) (|:| -2411 *1))) + (-12 (-4 *1 (-834)) (-5 *2 (-2 (|:| -3958 (-585 *1)) (|:| -2411 *1))) (-5 *3 (-585 *1))))) (((*1 *2 *3 *1) (-12 (-4 *1 (-834)) (-5 *2 (-634 (-585 *1))) (-5 *3 (-585 *1))))) @@ -9015,7 +8985,7 @@ (((*1 *2 *3 *4) (-12 (-5 *4 (-1 (-585 *5) *6)) (-4 *5 (-13 (-312) (-120) (-952 (-350 (-486))))) (-4 *6 (-1157 *5)) - (-5 *2 (-585 (-2 (|:| -3955 *5) (|:| -3269 *3)))) (-5 *1 (-731 *5 *6 *3 *7)) + (-5 *2 (-585 (-2 (|:| -3956 *5) (|:| -3269 *3)))) (-5 *1 (-731 *5 *6 *3 *7)) (-4 *3 (-602 *6)) (-4 *7 (-602 (-350 *6)))))) (((*1 *2 *3) (-12 (-4 *4 (-13 (-312) (-120) (-952 (-350 (-486))))) (-4 *5 (-1157 *4)) @@ -9677,10 +9647,10 @@ (-12 (-5 *3 (-585 (-2 (|:| |deg| (-696)) (|:| -2578 *5)))) (-4 *5 (-1157 *4)) (-4 *4 (-299)) (-5 *2 (-585 *5)) (-5 *1 (-170 *4 *5)))) ((*1 *2 *3 *4) - (-12 (-5 *3 (-585 (-2 (|:| -3735 *5) (|:| -3951 (-486))))) (-5 *4 (-486)) + (-12 (-5 *3 (-585 (-2 (|:| -3735 *5) (|:| -3952 (-486))))) (-5 *4 (-486)) (-4 *5 (-1157 *4)) (-5 *2 (-585 *5)) (-5 *1 (-637 *5))))) (((*1 *2 *3 *4) - (-12 (-5 *4 (-486)) (-5 *2 (-585 (-2 (|:| -3735 *3) (|:| -3951 *4)))) + (-12 (-5 *4 (-486)) (-5 *2 (-585 (-2 (|:| -3735 *3) (|:| -3952 *4)))) (-5 *1 (-637 *3)) (-4 *3 (-1157 *4))))) (((*1 *2 *2 *3) (-12 (-5 *3 (-486)) (-5 *1 (-637 *2)) (-4 *2 (-1157 *3))))) (((*1 *1 *1) (-12 (-4 *1 (-237 *2)) (-4 *2 (-1131)) (-4 *2 (-72)))) @@ -9839,12 +9809,12 @@ (((*1 *1 *1 *1 *2) (-12 (-5 *2 (-486)) (-4 *1 (-595 *3)) (-4 *3 (-1131)))) ((*1 *1 *2 *1 *3) (-12 (-5 *3 (-486)) (-4 *1 (-595 *2)) (-4 *2 (-1131))))) (((*1 *2 *1) - (-12 (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3946 *4)))) + (-12 (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3947 *4)))) (-5 *1 (-593 *3 *4 *5)) (-4 *3 (-1015)) (-4 *4 (-23)) (-14 *5 *4)))) (((*1 *1 *2 *3) (-12 (-5 *1 (-593 *2 *3 *4)) (-4 *2 (-1015)) (-4 *3 (-23)) (-14 *4 *3)))) (((*1 *1 *2) - (-12 (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3946 *4)))) (-4 *3 (-1015)) + (-12 (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3947 *4)))) (-4 *3 (-1015)) (-4 *4 (-23)) (-14 *5 *4) (-5 *1 (-593 *3 *4 *5))))) (((*1 *2 *1 *2) (-12 (-5 *2 (-486)) (-5 *1 (-310 *3)) (-4 *3 (-1015)))) ((*1 *2 *1 *3) @@ -11096,7 +11066,7 @@ (-4 *4 (-963)))) ((*1 *1 *1 *2) (-12 (-5 *2 (-585 (-486))) (-14 *3 (-585 (-1092))) (-5 *1 (-395 *3 *4 *5)) - (-4 *4 (-963)) (-4 *5 (-196 (-3960 *3) (-696))))) + (-4 *4 (-963)) (-4 *5 (-196 (-3961 *3) (-696))))) ((*1 *1 *1 *2) (-12 (-5 *2 (-585 (-486))) (-5 *1 (-422 *3 *4)) (-14 *3 (-585 (-1092))) (-4 *4 (-963))))) @@ -11160,30 +11130,30 @@ (-4 *7 (-863 *6 *5 *3)) (-5 *1 (-403 *5 *3 *6 *7 *2)) (-4 *2 (-13 (-952 (-350 (-486))) (-312) - (-10 -8 (-15 -3949 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) + (-10 -8 (-15 -3950 ($ *7)) (-15 -3001 (*7 $)) (-15 -3000 (*7 $)))))))) (((*1 *2 *1) (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-14 *6 (-1 (-85) (-2 (|:| -2402 *5) (|:| -2403 *2)) (-2 (|:| -2402 *5) (|:| -2403 *2)))) - (-4 *2 (-196 (-3960 *3) (-696))) (-5 *1 (-402 *3 *4 *5 *2 *6 *7)) + (-4 *2 (-196 (-3961 *3) (-696))) (-5 *1 (-402 *3 *4 *5 *2 *6 *7)) (-4 *5 (-758)) (-4 *7 (-863 *4 *2 (-775 *3)))))) (((*1 *2 *1) - (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *5 (-196 (-3960 *3) (-696))) + (-12 (-14 *3 (-585 (-1092))) (-4 *4 (-146)) (-4 *5 (-196 (-3961 *3) (-696))) (-14 *6 (-1 (-85) (-2 (|:| -2402 *2) (|:| -2403 *5)) (-2 (|:| -2402 *2) (|:| -2403 *5)))) (-4 *2 (-758)) (-5 *1 (-402 *3 *4 *2 *5 *6 *7)) (-4 *7 (-863 *4 *5 (-775 *3)))))) (((*1 *1 *2 *3 *4) - (-12 (-14 *5 (-585 (-1092))) (-4 *2 (-146)) (-4 *4 (-196 (-3960 *5) (-696))) + (-12 (-14 *5 (-585 (-1092))) (-4 *2 (-146)) (-4 *4 (-196 (-3961 *5) (-696))) (-14 *6 (-1 (-85) (-2 (|:| -2402 *3) (|:| -2403 *4)) (-2 (|:| -2402 *3) (|:| -2403 *4)))) (-5 *1 (-402 *5 *2 *3 *4 *6 *7)) (-4 *3 (-758)) (-4 *7 (-863 *2 *4 (-775 *5)))))) (((*1 *1 *2 *3 *1) - (-12 (-14 *4 (-585 (-1092))) (-4 *2 (-146)) (-4 *3 (-196 (-3960 *4) (-696))) + (-12 (-14 *4 (-585 (-1092))) (-4 *2 (-146)) (-4 *3 (-196 (-3961 *4) (-696))) (-14 *6 (-1 (-85) (-2 (|:| -2402 *5) (|:| -2403 *3)) (-2 (|:| -2402 *5) (|:| -2403 *3)))) @@ -11514,7 +11484,7 @@ (-12 (-5 *3 (-832)) (-5 *4 (-348 *2)) (-4 *2 (-1157 *5)) (-5 *1 (-385 *5 *2)) (-4 *5 (-963))))) (((*1 *2 *3) - (-12 (-5 *3 (-585 (-2 (|:| -3735 *4) (|:| -3951 (-486))))) + (-12 (-5 *3 (-585 (-2 (|:| -3735 *4) (|:| -3952 (-486))))) (-4 *4 (-1157 (-486))) (-5 *2 (-677 (-696))) (-5 *1 (-383 *4)))) ((*1 *2 *3) (-12 (-5 *3 (-348 *5)) (-4 *5 (-1157 *4)) (-4 *4 (-963)) @@ -11564,7 +11534,7 @@ (-4 *3 (-1157 (-486)))))) (((*1 *2 *1) (-12 (-5 *2 (-696)) (-5 *1 (-348 *3)) (-4 *3 (-497)))) ((*1 *2 *3) - (-12 (-5 *3 (-585 (-2 (|:| -3735 *4) (|:| -3951 (-486))))) + (-12 (-5 *3 (-585 (-2 (|:| -3735 *4) (|:| -3952 (-486))))) (-4 *4 (-1157 (-486))) (-5 *2 (-696)) (-5 *1 (-383 *4))))) (((*1 *2) (-12 (-5 *2 (-832)) (-5 *1 (-383 *3)) (-4 *3 (-1157 (-486))))) ((*1 *2 *2) (-12 (-5 *2 (-832)) (-5 *1 (-383 *3)) (-4 *3 (-1157 (-486)))))) @@ -11584,7 +11554,7 @@ (|:| -1784 (-585 (-2 (|:| |irr| *4) (|:| -2397 (-486))))))) (-4 *4 (-1157 (-486))) (-5 *2 (-348 *4)) (-5 *1 (-383 *4))))) (((*1 *2 *1) - (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3913 "void"))) (-5 *1 (-379))))) + (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3914 "void"))) (-5 *1 (-379))))) (((*1 *2 *1) (-12 (-5 *2 (-585 (-859 (-486)))) (-5 *1 (-379))))) (((*1 *2 *1) (-12 (-5 *2 (-85)) (-5 *1 (-379))))) (((*1 *1) (-5 *1 (-379)))) @@ -11645,7 +11615,7 @@ (-14 *4 (-1092)) (-14 *5 *2))) ((*1 *2 *2) (-12 (-4 *3 (-13 (-393) (-952 (-486)) (-582 (-486)))) - (-4 *2 (-13 (-27) (-1117) (-364 *3) (-10 -8 (-15 -3949 ($ *4))))) + (-4 *2 (-13 (-27) (-1117) (-364 *3) (-10 -8 (-15 -3950 ($ *4))))) (-4 *4 (-757)) (-4 *5 (-13 (-1160 *2 *4) (-312) (-1117) @@ -11653,7 +11623,7 @@ (-5 *1 (-367 *3 *2 *4 *5 *6 *7)) (-4 *6 (-898 *5)) (-14 *7 (-1092))))) (((*1 *2 *3 *4 *5) (-12 (-5 *4 (-85)) (-4 *6 (-13 (-393) (-952 (-486)) (-582 (-486)))) - (-4 *3 (-13 (-27) (-1117) (-364 *6) (-10 -8 (-15 -3949 ($ *7))))) + (-4 *3 (-13 (-27) (-1117) (-364 *6) (-10 -8 (-15 -3950 ($ *7))))) (-4 *7 (-757)) (-4 *8 (-13 (-1160 *3 *7) (-312) (-1117) @@ -11665,7 +11635,7 @@ (-14 *10 (-1092))))) (((*1 *2 *3 *4 *5) (-12 (-5 *4 (-85)) (-4 *6 (-13 (-393) (-952 (-486)) (-582 (-486)))) - (-4 *3 (-13 (-27) (-1117) (-364 *6) (-10 -8 (-15 -3949 ($ *7))))) + (-4 *3 (-13 (-27) (-1117) (-364 *6) (-10 -8 (-15 -3950 ($ *7))))) (-4 *7 (-757)) (-4 *8 (-13 (-1160 *3 *7) (-312) (-1117) @@ -11696,7 +11666,7 @@ ((*1 *1 *2 *1) (-12 (-5 *2 (-1092)) (-4 *1 (-364 *3)) (-4 *3 (-1015))))) (((*1 *2 *1) (|partial| -12 (-4 *3 (-25)) (-4 *3 (-1015)) - (-5 *2 (-2 (|:| -3957 (-486)) (|:| |var| (-552 *1)))) (-4 *1 (-364 *3))))) + (-5 *2 (-2 (|:| -3958 (-486)) (|:| |var| (-552 *1)))) (-4 *1 (-364 *3))))) (((*1 *2 *2 *2) (-12 (-5 *2 (-348 *3)) (-4 *3 (-497)) (-5 *1 (-362 *3))))) (((*1 *1 *2) (-12 (-5 *2 (-1181 *3)) (-4 *3 (-312)) (-4 *1 (-280 *3)))) ((*1 *1 *2 *3) @@ -11767,11 +11737,11 @@ (-5 *2 (-632 *3))))) (((*1 *1 *2 *3) (-12 (-5 *3 (-486)) (-5 *1 (-348 *2)) (-4 *2 (-497))))) (((*1 *2 *1) - (-12 (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3946 (-486))))) (-5 *1 (-310 *3)) + (-12 (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3947 (-486))))) (-5 *1 (-310 *3)) (-4 *3 (-1015)))) ((*1 *2 *1) (-12 (-4 *1 (-336 *3)) (-4 *3 (-1015)) - (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3946 (-696))))))) + (-5 *2 (-585 (-2 (|:| |gen| *3) (|:| -3947 (-696))))))) ((*1 *2 *1) (-12 (-5 *2 (-585 (-2 (|:| -3735 *3) (|:| -2403 (-486))))) (-5 *1 (-348 *3)) (-4 *3 (-497))))) @@ -11986,8 +11956,8 @@ (-12 (-5 *3 (-1087 *4)) (-4 *4 (-299)) (-4 *2 (-13 (-345) - (-10 -7 (-15 -3949 (*2 *4)) (-15 -2012 ((-832) *2)) - (-15 -2014 ((-1181 *2) (-832))) (-15 -3931 (*2 *2))))) + (-10 -7 (-15 -3950 (*2 *4)) (-15 -2012 ((-832) *2)) + (-15 -2014 ((-1181 *2) (-832))) (-15 -3932 (*2 *2))))) (-5 *1 (-306 *2 *4))))) (((*1 *2 *3) (-12 (-4 *4 (-299)) (-5 *2 (-871 (-1087 *4))) (-5 *1 (-305 *4)) @@ -13116,7 +13086,7 @@ (-4 *3 (-1157 (-350 *4)))))) (((*1 *2 *3 *4) (-12 (-5 *3 (-350 *6)) (-4 *5 (-1136)) (-4 *6 (-1157 *5)) - (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3957 *3) (|:| |radicand| *6))) + (-5 *2 (-2 (|:| -2403 (-696)) (|:| -3958 *3) (|:| |radicand| *6))) (-5 *1 (-121 *5 *6 *7)) (-5 *4 (-696)) (-4 *7 (-1157 *3))))) (((*1 *2 *3) (|partial| -12 (-4 *4 (-1136)) (-4 *5 (-1157 *4)) @@ -13124,7 +13094,7 @@ (-5 *1 (-121 *4 *5 *3)) (-4 *3 (-1157 (-350 *5)))))) (((*1 *2 *3) (-12 (-4 *4 (-1136)) (-4 *5 (-1157 *4)) - (-5 *2 (-2 (|:| -3957 (-350 *5)) (|:| |poly| *3))) (-5 *1 (-121 *4 *5 *3)) + (-5 *2 (-2 (|:| -3958 (-350 *5)) (|:| |poly| *3))) (-5 *1 (-121 *4 *5 *3)) (-4 *3 (-1157 (-350 *5)))))) (((*1 *2 *1) (-12 (-5 *2 (-696)) (-5 *1 (-117))))) (((*1 *1 *2) (-12 (-5 *2 (-1075)) (-5 *1 (-117)))) @@ -13340,7 +13310,7 @@ (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *5 (-552 $)) $)) (-15 -3000 ((-1041 *5 (-552 $)) $)) - (-15 -3949 ($ (-1041 *5 (-552 $)))))))))) + (-15 -3950 ($ (-1041 *5 (-552 $)))))))))) (((*1 *2 *2) (-12 (-4 *3 (-13 (-393) (-952 (-486)))) (-4 *3 (-497)) (-5 *1 (-41 *3 *2)) (-4 *2 (-364 *3)) @@ -13348,7 +13318,7 @@ (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *3 (-552 $)) $)) (-15 -3000 ((-1041 *3 (-552 $)) $)) - (-15 -3949 ($ (-1041 *3 (-552 $)))))))))) + (-15 -3950 ($ (-1041 *3 (-552 $)))))))))) (((*1 *2 *2) (-12 (-4 *3 (-13 (-393) (-952 (-486)))) (-4 *3 (-497)) (-5 *1 (-41 *3 *2)) (-4 *2 (-364 *3)) @@ -13356,7 +13326,7 @@ (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *3 (-552 $)) $)) (-15 -3000 ((-1041 *3 (-552 $)) $)) - (-15 -3949 ($ (-1041 *3 (-552 $)))))))))) + (-15 -3950 ($ (-1041 *3 (-552 $)))))))))) (((*1 *2 *2) (-12 (-4 *3 (-13 (-393) (-952 (-486)))) (-4 *3 (-497)) (-5 *1 (-41 *3 *2)) (-4 *2 (-364 *3)) @@ -13364,35 +13334,35 @@ (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *3 (-552 $)) $)) (-15 -3000 ((-1041 *3 (-552 $)) $)) - (-15 -3949 ($ (-1041 *3 (-552 $)))))))))) + (-15 -3950 ($ (-1041 *3 (-552 $)))))))))) (((*1 *2 *3) (-12 (-4 *4 (-497)) (-5 *2 (-1087 *3)) (-5 *1 (-41 *4 *3)) (-4 *3 (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *4 (-552 $)) $)) (-15 -3000 ((-1041 *4 (-552 $)) $)) - (-15 -3949 ($ (-1041 *4 (-552 $)))))))))) + (-15 -3950 ($ (-1041 *4 (-552 $)))))))))) (((*1 *2 *2) (-12 (-4 *3 (-497)) (-5 *1 (-41 *3 *2)) (-4 *2 (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *3 (-552 $)) $)) (-15 -3000 ((-1041 *3 (-552 $)) $)) - (-15 -3949 ($ (-1041 *3 (-552 $))))))))) + (-15 -3950 ($ (-1041 *3 (-552 $))))))))) ((*1 *2 *2 *2) (-12 (-4 *3 (-497)) (-5 *1 (-41 *3 *2)) (-4 *2 (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *3 (-552 $)) $)) (-15 -3000 ((-1041 *3 (-552 $)) $)) - (-15 -3949 ($ (-1041 *3 (-552 $))))))))) + (-15 -3950 ($ (-1041 *3 (-552 $))))))))) ((*1 *2 *2 *3) (-12 (-5 *3 (-585 *2)) (-4 *2 (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *4 (-552 $)) $)) (-15 -3000 ((-1041 *4 (-552 $)) $)) - (-15 -3949 ($ (-1041 *4 (-552 $))))))) + (-15 -3950 ($ (-1041 *4 (-552 $))))))) (-4 *4 (-497)) (-5 *1 (-41 *4 *2)))) ((*1 *2 *2 *3) (-12 (-5 *3 (-585 (-552 *2))) @@ -13400,7 +13370,7 @@ (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *4 (-552 $)) $)) (-15 -3000 ((-1041 *4 (-552 $)) $)) - (-15 -3949 ($ (-1041 *4 (-552 $))))))) + (-15 -3950 ($ (-1041 *4 (-552 $))))))) (-4 *4 (-497)) (-5 *1 (-41 *4 *2))))) (((*1 *2 *2) (-12 (-4 *3 (-497)) (-5 *1 (-41 *3 *2)) @@ -13408,14 +13378,14 @@ (-13 (-312) (-254) (-10 -8 (-15 -3001 ((-1041 *3 (-552 $)) $)) (-15 -3000 ((-1041 *3 (-552 $)) $)) - (-15 -3949 ($ (-1041 *3 (-552 $)))))))))) + (-15 -3950 ($ (-1041 *3 (-552 $)))))))))) (((*1 *2 *3) (-12 (-5 *3 (-696)) (-4 *4 (-312)) (-4 *5 (-1157 *4)) (-5 *2 (-1187)) (-5 *1 (-40 *4 *5 *6 *7)) (-4 *6 (-1157 (-350 *5))) (-14 *7 *6)))) (((*1 *2 *3) (-12 (-5 *2 (-85)) (-5 *1 (-39 *3)) (-4 *3 (-1157 (-48)))))) (((*1 *2 *3 *1) (-12 (-4 *1 (-36 *3 *4)) (-4 *3 (-1015)) (-4 *4 (-1015)) - (-5 *2 (-634 (-2 (|:| -3863 *3) (|:| |entry| *4))))))) + (-5 *2 (-634 (-2 (|:| -3864 *3) (|:| |entry| *4))))))) (((*1 *2 *1 *1) (-12 (-4 *1 (-34)) (-5 *2 (-85))))) (((*1 *2 *3 *4) (-12 (-5 *4 (-486)) (-4 *2 (-364 *3)) (-5 *1 (-32 *3 *2)) (-4 *3 (-952 *4)) @@ -13449,692 +13419,692 @@ (-12 (-5 *3 (-1092)) (-4 *4 (-497)) (-5 *2 (-585 *1)) (-4 *1 (-29 *4)))) ((*1 *2 *1) (-12 (-4 *3 (-497)) (-5 *2 (-585 *1)) (-4 *1 (-29 *3))))) (((*1 *2 *1 *1) (-12 (-4 *1 (-23)) (-5 *2 (-85))))) -((-1216 . 630124) (-1217 . 629728) (-1218 . 629426) (-1219 . 629030) - (-1220 . 628909) (-1221 . 628807) (-1222 . 628694) (-1223 . 628578) - (-1224 . 628525) (-1225 . 628391) (-1226 . 628316) (-1227 . 628160) - (-1228 . 627932) (-1229 . 626968) (-1230 . 626721) (-1231 . 626437) - (-1232 . 626153) (-1233 . 625869) (-1234 . 625550) (-1235 . 625458) - (-1236 . 625366) (-1237 . 625274) (-1238 . 625182) (-1239 . 625090) - (-1240 . 624998) (-1241 . 624903) (-1242 . 624808) (-1243 . 624716) - (-1244 . 624624) (-1245 . 624532) (-1246 . 624440) (-1247 . 624348) - (-1248 . 624246) (-1249 . 624144) (-1250 . 624042) (-1251 . 623950) - (-1252 . 623899) (-1253 . 623847) (-1254 . 623777) (-1255 . 623357) - (-1256 . 623163) (-1257 . 623136) (-1258 . 623013) (-1259 . 622890) - (-1260 . 622746) (-1261 . 622576) (-1262 . 622452) (-1263 . 622213) - (-1264 . 622140) (-1265 . 621915) (-1266 . 621669) (-1267 . 621616) - (-1268 . 621438) (-1269 . 621269) (-1270 . 621193) (-1271 . 621120) - (-1272 . 620967) (-1273 . 620814) (-1274 . 620630) (-1275 . 620449) - (-1276 . 620394) (-1277 . 620339) (-1278 . 620266) (-1279 . 620190) - (-1280 . 620113) (-1281 . 620045) (-1282 . 619902) (-1283 . 619795) - (-1284 . 619727) (-1285 . 619657) (-1286 . 619587) (-1287 . 619537) - (-1288 . 619487) (-1289 . 619437) (-1290 . 619316) (-1291 . 619000) - (-1292 . 618931) (-1293 . 618852) (-1294 . 618733) (-1295 . 618656) - (-1296 . 618579) (-1297 . 618426) (-1298 . 618277) (-1299 . 618201) - (-1300 . 618144) (-1301 . 618072) (-1302 . 618009) (-1303 . 617946) - (-1304 . 617885) (-1305 . 617813) (-1306 . 617697) (-1307 . 617645) - (-1308 . 617590) (-1309 . 617538) (-1310 . 617486) (-1311 . 617458) - (-1312 . 617430) (-1313 . 617402) (-1314 . 617358) (-1315 . 617287) - (-1316 . 617236) (-1317 . 617188) (-1318 . 617137) (-1319 . 617085) - (-1320 . 616969) (-1321 . 616853) (-1322 . 616761) (-1323 . 616669) - (-1324 . 616546) (-1325 . 616480) (-1326 . 616414) (-1327 . 616355) - (-1328 . 616327) (-1329 . 616299) (-1330 . 616271) (-1331 . 616243) - (-1332 . 616133) (-1333 . 616082) (-1334 . 616031) (-1335 . 615980) - (-1336 . 615929) (-1337 . 615878) (-1338 . 615827) (-1339 . 615799) - (-1340 . 615771) (-1341 . 615743) (-1342 . 615715) (-1343 . 615687) - (-1344 . 615659) (-1345 . 615631) (-1346 . 615603) (-1347 . 615575) - (-1348 . 615472) (-1349 . 615420) (-1350 . 615254) (-1351 . 615070) - (-1352 . 614859) (-1353 . 614744) (-1354 . 614511) (-1355 . 614421) - (-1356 . 614328) (-1357 . 614213) (-1358 . 613815) (-1359 . 613597) - (-1360 . 613548) (-1361 . 613520) (-1362 . 613444) (-1363 . 613345) - (-1364 . 613246) (-1365 . 613147) (-1366 . 613048) (-1367 . 612949) - (-1368 . 612850) (-1369 . 612692) (-1370 . 612616) (-1371 . 612449) - (-1372 . 612391) (-1373 . 612333) (-1374 . 612024) (-1375 . 611770) - (-1376 . 611686) (-1377 . 611554) (-1378 . 611496) (-1379 . 611444) - (-1380 . 611362) (-1381 . 611287) (-1382 . 611216) (-1383 . 611162) - (-1384 . 611111) (-1385 . 611037) (-1386 . 610963) (-1387 . 610882) - (-1388 . 610801) (-1389 . 610746) (-1390 . 610672) (-1391 . 610598) - (-1392 . 610524) (-1393 . 610447) (-1394 . 610393) (-1395 . 610335) - (-1396 . 610236) (-1397 . 610137) (-1398 . 610038) (-1399 . 609939) - (-1400 . 609840) (-1401 . 609741) (-1402 . 609642) (-1403 . 609528) - (-1404 . 609414) (-1405 . 609300) (-1406 . 609186) (-1407 . 609072) - (-1408 . 608958) (-1409 . 608841) (-1410 . 608765) (-1411 . 608689) - (-1412 . 608302) (-1413 . 607957) (-1414 . 607855) (-1415 . 607594) - (-1416 . 607492) (-1417 . 607287) (-1418 . 607174) (-1419 . 607072) - (-1420 . 606915) (-1421 . 606826) (-1422 . 606732) (-1423 . 606652) - (-1424 . 606578) (-1425 . 606500) (-1426 . 606441) (-1427 . 606383) - (-1428 . 606281) (-7 . 606253) (-8 . 606225) (-9 . 606197) (-1432 . 606078) - (-1433 . 605996) (-1434 . 605914) (-1435 . 605832) (-1436 . 605750) - (-1437 . 605668) (-1438 . 605574) (-1439 . 605504) (-1440 . 605434) - (-1441 . 605343) (-1442 . 605249) (-1443 . 605167) (-1444 . 605085) - (-1445 . 604987) (-1446 . 604827) (-1447 . 604629) (-1448 . 604493) - (-1449 . 604393) (-1450 . 604293) (-1451 . 604200) (-1452 . 604141) - (-1453 . 603808) (-1454 . 603708) (-1455 . 603590) (-1456 . 603378) - (-1457 . 603199) (-1458 . 603041) (-1459 . 602838) (-1460 . 602420) - (-1461 . 602369) (-1462 . 602260) (-1463 . 602145) (-1464 . 602076) - (-1465 . 602007) (-1466 . 601938) (-1467 . 601872) (-1468 . 601747) - (-1469 . 601530) (-1470 . 601452) (-1471 . 601402) (-1472 . 601331) - (-1473 . 601188) (-1474 . 601047) (-1475 . 600969) (-1476 . 600891) - (-1477 . 600835) (-1478 . 600779) (-1479 . 600706) (-1480 . 600566) - (-1481 . 600513) (-1482 . 600454) (-1483 . 600395) (-1484 . 600240) - (-1485 . 600188) (-1486 . 600071) (-1487 . 599954) (-1488 . 599837) - (-1489 . 599706) (-1490 . 599427) (-1491 . 599292) (-1492 . 599236) - (-1493 . 599180) (-1494 . 599121) (-1495 . 599062) (-1496 . 599006) - (-1497 . 598950) (-1498 . 598753) (-1499 . 596411) (-1500 . 596284) - (-1501 . 596139) (-1502 . 596011) (-1503 . 595959) (-1504 . 595907) - (-1505 . 595855) (-1506 . 591817) (-1507 . 591723) (-1508 . 591584) - (-1509 . 591375) (-1510 . 591273) (-1511 . 591171) (-1512 . 590256) - (-1513 . 590180) (-1514 . 590051) (-1515 . 589926) (-1516 . 589849) - (-1517 . 589772) (-1518 . 589645) (-1519 . 589518) (-1520 . 589352) - (-1521 . 589225) (-1522 . 589098) (-1523 . 588881) (-1524 . 588447) - (-1525 . 588083) (-1526 . 588031) (-1527 . 587972) (-1528 . 587884) - (-1529 . 587796) (-1530 . 587705) (-1531 . 587614) (-1532 . 587523) - (-1533 . 587432) (-1534 . 587341) (-1535 . 587250) (-1536 . 587159) - (-1537 . 587068) (-1538 . 586977) (-1539 . 586886) (-1540 . 586795) - (-1541 . 586704) (-1542 . 586613) (-1543 . 586522) (-1544 . 586431) - (-1545 . 586340) (-1546 . 586249) (-1547 . 586158) (-1548 . 586067) - (-1549 . 585976) (-1550 . 585885) (-1551 . 585794) (-1552 . 585703) - (-1553 . 585612) (-1554 . 585521) (-1555 . 585430) (-1556 . 585268) - (-1557 . 585160) (-1558 . 584917) (-1559 . 584630) (-1560 . 584435) - (-1561 . 584279) (-1562 . 584119) (-1563 . 584068) (-1564 . 584006) - (-1565 . 583955) (-1566 . 583892) (-1567 . 583839) (-1568 . 583787) - (-1569 . 583735) (-1570 . 583683) (-1571 . 583593) (-1572 . 583410) - (-1573 . 583256) (-1574 . 583176) (-1575 . 583096) (-1576 . 583016) - (-1577 . 582886) (-1578 . 582657) (-1579 . 582629) (-1580 . 582601) - (-1581 . 582573) (-1582 . 582493) (-1583 . 582416) (-1584 . 582339) - (-1585 . 582258) (-1586 . 582199) (-1587 . 582041) (-1588 . 581848) - (-1589 . 581363) (-1590 . 581121) (-1591 . 580859) (-1592 . 580758) - (-1593 . 580677) (-1594 . 580596) (-1595 . 580526) (-1596 . 580456) - (-1597 . 580298) (-1598 . 579994) (-1599 . 579766) (-1600 . 579644) - (-1601 . 579586) (-1602 . 579524) (-1603 . 579462) (-1604 . 579397) - (-1605 . 579335) (-1606 . 579056) (-1607 . 578988) (-1608 . 578778) - (-1609 . 578726) (-1610 . 578672) (-1611 . 578581) (-1612 . 578494) - (-1613 . 576747) (-1614 . 576668) (-1615 . 575923) (-1616 . 575806) - (-1617 . 575600) (-1618 . 575439) (-1619 . 575278) (-1620 . 575118) - (-1621 . 574980) (-1622 . 574886) (-1623 . 574788) (-1624 . 574694) - (-1625 . 574580) (-1626 . 574498) (-1627 . 574401) (-1628 . 574205) - (-1629 . 574114) (-1630 . 574020) (-1631 . 573953) (-1632 . 573884) - (-1633 . 573832) (-1634 . 573773) (-1635 . 573699) (-1636 . 573647) - (-1637 . 573490) (-1638 . 573333) (-1639 . 573181) (-1640 . 572423) - (-1641 . 572112) (-1642 . 571760) (-1643 . 571543) (-1644 . 571280) - (-1645 . 570905) (-1646 . 570721) (-1647 . 570587) (-1648 . 570421) - (-1649 . 570255) (-1650 . 570121) (-1651 . 569987) (-1652 . 569853) - (-1653 . 569719) (-1654 . 569588) (-1655 . 569457) (-1656 . 569326) - (-1657 . 568946) (-1658 . 568820) (-1659 . 568692) (-1660 . 568442) - (-1661 . 568319) (-1662 . 568069) (-1663 . 567946) (-1664 . 567696) - (-1665 . 567573) (-1666 . 567290) (-1667 . 567019) (-1668 . 566746) - (-1669 . 566448) (-1670 . 566346) (-1671 . 566201) (-1672 . 566060) - (-1673 . 565909) (-1674 . 565748) (-1675 . 565660) (-1676 . 565632) - (-1677 . 565550) (-1678 . 565453) (-1679 . 564985) (-1680 . 564634) - (-1681 . 564201) (-1682 . 564062) (-1683 . 563992) (-1684 . 563922) - (-1685 . 563852) (-1686 . 563761) (-1687 . 563670) (-1688 . 563579) - (-1689 . 563488) (-1690 . 563397) (-1691 . 563311) (-1692 . 563225) - (-1693 . 563139) (-1694 . 563053) (-1695 . 562967) (-1696 . 562893) - (-1697 . 562788) (-1698 . 562562) (-1699 . 562484) (-1700 . 562409) - (-1701 . 562316) (-1702 . 562212) (-1703 . 562116) (-1704 . 561947) - (-1705 . 561870) (-1706 . 561793) (-1707 . 561702) (-1708 . 561611) - (-1709 . 561411) (-1710 . 561258) (-1711 . 561105) (-1712 . 560952) - (-1713 . 560799) (-1714 . 560646) (-1715 . 560493) (-1716 . 560427) - (-1717 . 560274) (-1718 . 560121) (-1719 . 559968) (-1720 . 559815) - (-1721 . 559662) (-1722 . 559509) (-1723 . 559356) (-1724 . 559203) - (-1725 . 559129) (-1726 . 559055) (-1727 . 559000) (-1728 . 558945) - (-1729 . 558890) (-1730 . 558835) (-1731 . 558764) (-1732 . 558578) - (-1733 . 558481) (-1734 . 558384) (-1735 . 558186) (-1736 . 558088) - (-1737 . 557900) (-1738 . 557807) (-1739 . 557680) (-1740 . 557553) - (-1741 . 557426) (-1742 . 557358) (-1743 . 557242) (-1744 . 557126) - (-1745 . 557010) (-1746 . 556957) (-1747 . 556872) (-1748 . 556787) - (-1749 . 556479) (-1750 . 556424) (-1751 . 555772) (-1752 . 555457) - (-1753 . 555173) (-1754 . 555055) (-1755 . 554936) (-1756 . 554877) - (-1757 . 554818) (-1758 . 554767) (-1759 . 554716) (-1760 . 554665) - (-1761 . 554612) (-1762 . 554559) (-1763 . 554500) (-1764 . 554387) - (-1765 . 554274) (-1766 . 554107) (-1767 . 554015) (-1768 . 553902) - (-1769 . 553818) (-1770 . 553703) (-1771 . 553612) (-1772 . 553521) - (-1773 . 553400) (-1774 . 553213) (-1775 . 553161) (-1776 . 553106) - (-1777 . 552919) (-1778 . 552796) (-1779 . 552723) (-1780 . 552650) - (-1781 . 552530) (-1782 . 552457) (-1783 . 552384) (-1784 . 552044) - (-1785 . 551971) (-1786 . 551751) (-1787 . 551418) (-1788 . 551235) - (-1789 . 551092) (-1790 . 550732) (-1791 . 550564) (-1792 . 550396) - (-1793 . 550140) (-1794 . 549884) (-1795 . 549689) (-1796 . 549494) - (-1797 . 548900) (-1798 . 548824) (-1799 . 548685) (-1800 . 548278) - (-1801 . 548151) (-1802 . 547994) (-1803 . 547677) (-1804 . 547197) - (-1805 . 546717) (-1806 . 546215) (-1807 . 546147) (-1808 . 546076) - (-1809 . 546005) (-1810 . 545833) (-1811 . 545714) (-1812 . 545595) - (-1813 . 545519) (-1814 . 545443) (-1815 . 545170) (-1816 . 545056) - (-1817 . 545005) (-1818 . 544954) (-1819 . 544903) (-1820 . 544852) - (-1821 . 544801) (-1822 . 544660) (-1823 . 544487) (-1824 . 544256) - (-1825 . 544070) (-1826 . 544042) (-1827 . 544014) (-1828 . 543986) - (-1829 . 543958) (-1830 . 543930) (-1831 . 543902) (-1832 . 543874) - (-1833 . 543823) (-1834 . 543757) (-1835 . 543667) (-1836 . 543296) - (-1837 . 543145) (-1838 . 542994) (-1839 . 542789) (-1840 . 542667) - (-1841 . 542593) (-1842 . 542516) (-1843 . 542442) (-1844 . 542365) - (-1845 . 542288) (-1846 . 542214) (-1847 . 542137) (-1848 . 541904) - (-1849 . 541751) (-1850 . 541456) (-1851 . 541303) (-1852 . 540981) - (-1853 . 540843) (-1854 . 540705) (-1855 . 540625) (-1856 . 540545) - (-1857 . 540281) (-1858 . 539550) (-1859 . 539414) (-1860 . 539324) - (-1861 . 539189) (-1862 . 539122) (-1863 . 539054) (-1864 . 538967) - (-1865 . 538880) (-1866 . 538713) (-1867 . 538639) (-1868 . 538495) - (-1869 . 538035) (-1870 . 537656) (-1871 . 536894) (-1872 . 536750) - (-1873 . 536606) (-1874 . 536444) (-1875 . 536207) (-1876 . 536067) - (-1877 . 535921) (-1878 . 535682) (-1879 . 535446) (-1880 . 535207) - (-1881 . 535015) (-1882 . 534892) (-1883 . 534688) (-1884 . 534465) - (-1885 . 534226) (-1886 . 534085) (-1887 . 533947) (-1888 . 533808) - (-1889 . 533555) (-1890 . 533299) (-1891 . 533142) (-1892 . 532988) - (-1893 . 532748) (-1894 . 532463) (-1895 . 532325) (-1896 . 532238) - (-1897 . 531572) (-1898 . 531396) (-1899 . 531214) (-1900 . 531038) - (-1901 . 530856) (-1902 . 530677) (-1903 . 530498) (-1904 . 530311) - (-1905 . 529929) (-1906 . 529750) (-1907 . 529571) (-1908 . 529384) - (-1909 . 529002) (-1910 . 528009) (-1911 . 527625) (-1912 . 527241) - (-1913 . 527123) (-1914 . 526966) (-1915 . 526824) (-1916 . 526707) - (-1917 . 526525) (-1918 . 526401) (-1919 . 526112) (-1920 . 525823) - (-1921 . 525540) (-1922 . 525257) (-1923 . 524979) (-1924 . 524891) - (-1925 . 524806) (-1926 . 524709) (-1927 . 524612) (-1928 . 524392) - (-1929 . 524292) (-1930 . 524189) (-1931 . 524111) (-1932 . 523786) - (-1933 . 523494) (-1934 . 523421) (-1935 . 523036) (-1936 . 523008) - (-1937 . 522809) (-1938 . 522635) (-1939 . 522394) (-1940 . 522339) - (-1941 . 522264) (-1942 . 521896) (-1943 . 521781) (-1944 . 521704) - (-1945 . 521631) (-1946 . 521550) (-1947 . 521469) (-1948 . 521388) - (-1949 . 521287) (-1950 . 521228) (-1951 . 521175) (-1952 . 521121) - (-1953 . 520789) (-1954 . 520465) (-1955 . 520277) (-1956 . 520086) - (-1957 . 519922) (-1958 . 519587) (-1959 . 519420) (-1960 . 519179) - (-1961 . 518855) (-1962 . 518665) (-1963 . 518450) (-1964 . 518279) - (-1965 . 517857) (-1966 . 517630) (-1967 . 517359) (-1968 . 517222) - (-1969 . 517081) (-1970 . 516604) (-1971 . 516481) (-1972 . 516245) - (-1973 . 515991) (-1974 . 515741) (-1975 . 515448) (-1976 . 515308) - (-1977 . 515168) (-1978 . 515028) (-1979 . 514839) (-1980 . 514650) - (-1981 . 514475) (-1982 . 514201) (-1983 . 513766) (-1984 . 513738) - (-1985 . 513666) (-1986 . 513533) (-1987 . 513458) (-1988 . 513299) - (-1989 . 513136) (-1990 . 512975) (-1991 . 512808) (-1992 . 512755) - (-1993 . 512702) (-1994 . 512573) (-1995 . 512513) (-1996 . 512460) - (-1997 . 512390) (-1998 . 512330) (-1999 . 512271) (-2000 . 512211) - (-2001 . 512152) (-2002 . 512092) (-2003 . 512033) (-2004 . 511974) - (-2005 . 511832) (-2006 . 511737) (-2007 . 511646) (-2008 . 511530) - (-2009 . 511436) (-2010 . 511338) (-2011 . 511244) (-2012 . 511103) - (-2013 . 510841) (-2014 . 509985) (-2015 . 509829) (-2016 . 509460) - (-2017 . 509404) (-2018 . 509353) (-2019 . 509250) (-2020 . 509165) - (-2021 . 509077) (-2022 . 508931) (-2023 . 508782) (-2024 . 508492) - (-2025 . 508414) (-2026 . 508339) (-2027 . 508286) (-2028 . 508233) - (-2029 . 508202) (-2030 . 508139) (-2031 . 508021) (-2032 . 507932) - (-2033 . 507812) (-2034 . 507517) (-2035 . 507323) (-2036 . 507135) - (-2037 . 506990) (-2038 . 506845) (-2039 . 506559) (-2040 . 506117) - (-2041 . 506083) (-2042 . 506046) (-2043 . 506009) (-2044 . 505972) - (-2045 . 505935) (-2046 . 505904) (-2047 . 505873) (-2048 . 505842) - (-2049 . 505808) (-2050 . 505774) (-2051 . 505720) (-2052 . 505544) - (-2053 . 505310) (-2054 . 505076) (-2055 . 504847) (-2056 . 504795) - (-2057 . 504740) (-2058 . 504671) (-2059 . 504583) (-2060 . 504514) - (-2061 . 504442) (-2062 . 504212) (-2063 . 504161) (-2064 . 504107) - (-2065 . 504076) (-2066 . 503970) (-2067 . 503745) (-2068 . 503435) - (-2069 . 503261) (-2070 . 503079) (-2071 . 502808) (-2072 . 502735) - (-2073 . 502670) (-2074 . 502194) (-2075 . 501632) (-2076 . 500906) - (-2077 . 500345) (-2078 . 499717) (-2079 . 499138) (-2080 . 499064) - (-2081 . 499012) (-2082 . 498960) (-2083 . 498886) (-2084 . 498831) - (-2085 . 498779) (-2086 . 498727) (-2087 . 498675) (-2088 . 498605) - (-2089 . 498157) (-2090 . 497951) (-2091 . 497702) (-2092 . 497368) - (-2093 . 497114) (-2094 . 496812) (-2095 . 496609) (-2096 . 496320) - (-2097 . 495772) (-2098 . 495635) (-2099 . 495433) (-2100 . 495153) - (-2101 . 495068) (-2102 . 494735) (-2103 . 494594) (-2104 . 494303) - (-2105 . 494083) (-2106 . 493957) (-2107 . 493832) (-2108 . 493685) - (-2109 . 493541) (-2110 . 493425) (-2111 . 493294) (-2112 . 492922) - (-2113 . 492662) (-2114 . 492392) (-2115 . 492152) (-2116 . 491822) - (-2117 . 491482) (-2118 . 491074) (-2119 . 490656) (-2120 . 490459) - (-2121 . 490184) (-2122 . 490016) (-2123 . 489820) (-2124 . 489598) - (-2125 . 489443) (-2126 . 489258) (-2127 . 489155) (-2128 . 489127) - (-2129 . 489099) (-2130 . 488925) (-2131 . 488851) (-2132 . 488790) - (-2133 . 488737) (-2134 . 488668) (-2135 . 488599) (-2136 . 488480) - (-2137 . 488302) (-2138 . 488247) (-2139 . 488001) (-2140 . 487928) - (-2141 . 487858) (-2142 . 487788) (-2143 . 487699) (-2144 . 487509) - (-2145 . 487436) (-2146 . 487367) (-2147 . 487302) (-2148 . 487247) - (-2149 . 487156) (-2150 . 486865) (-2151 . 486539) (-2152 . 486465) - (-2153 . 486143) (-2154 . 485938) (-2155 . 485853) (-2156 . 485768) - (-2157 . 485683) (-2158 . 485598) (-2159 . 485513) (-2160 . 485428) - (-2161 . 485343) (-2162 . 485258) (-2163 . 485173) (-2164 . 485088) - (-2165 . 485003) (-2166 . 484918) (-2167 . 484833) (-2168 . 484748) - (-2169 . 484663) (-2170 . 484578) (-2171 . 484493) (-2172 . 484408) - (-2173 . 484323) (-2174 . 484238) (-2175 . 484153) (-2176 . 484068) - (-2177 . 483983) (-2178 . 483898) (-2179 . 483813) (-2180 . 483728) - (-2181 . 483626) (-2182 . 483538) (-2183 . 483330) (-2184 . 483272) - (-2185 . 483217) (-2186 . 483130) (-2187 . 483019) (-2188 . 482933) - (-2189 . 482787) (-2190 . 482725) (-2191 . 482697) (-2192 . 482669) - (-2193 . 482641) (-2194 . 482613) (-2195 . 482444) (-2196 . 482293) - (-2197 . 482142) (-2198 . 481970) (-2199 . 481762) (-2200 . 481641) - (-2201 . 481436) (-2202 . 481344) (-2203 . 481252) (-2204 . 481123) - (-2205 . 481028) (-2206 . 480934) (-2207 . 480839) (-2208 . 480715) - (-2209 . 480687) (-2210 . 480659) (-2211 . 480631) (-2212 . 480603) - (-2213 . 480575) (-2214 . 480547) (-2215 . 480519) (-2216 . 480491) - (-2217 . 480463) (-2218 . 480435) (-2219 . 480407) (-2220 . 480379) - (-2221 . 480351) (-2222 . 480323) (-2223 . 480295) (-2224 . 480267) - (-2225 . 480214) (-2226 . 480186) (-2227 . 480158) (-2228 . 480080) - (-2229 . 480027) (-2230 . 479974) (-2231 . 479921) (-2232 . 479843) - (-2233 . 479753) (-2234 . 479658) (-2235 . 479564) (-2236 . 479482) - (-2237 . 479176) (-2238 . 478980) (-2239 . 478885) (-2240 . 478777) - (-2241 . 478366) (-2242 . 478338) (-2243 . 478174) (-2244 . 478097) - (-2245 . 477910) (-2246 . 477731) (-2247 . 477307) (-2248 . 477155) - (-2249 . 476975) (-2250 . 476802) (-2251 . 476542) (-2252 . 476290) - (-2253 . 475479) (-2254 . 475312) (-2255 . 475094) (-2256 . 474270) - (-2257 . 474139) (-2258 . 474008) (-2259 . 473877) (-2260 . 473746) - (-2261 . 473615) (-2262 . 473484) (-2263 . 473289) (-2264 . 473095) - (-2265 . 472952) (-2266 . 472637) (-2267 . 472522) (-2268 . 472182) - (-2269 . 472022) (-2270 . 471883) (-2271 . 471744) (-2272 . 471615) - (-2273 . 471530) (-2274 . 471478) (-2275 . 470998) (-2276 . 469736) - (-2277 . 469609) (-2278 . 469467) (-2279 . 469131) (-2280 . 469026) - (-2281 . 468777) (-2282 . 468545) (-2283 . 468440) (-2284 . 468365) - (-2285 . 468290) (-2286 . 468215) (-2287 . 468156) (-2288 . 468086) - (-2289 . 468033) (-2290 . 467971) (-2291 . 467901) (-2292 . 467538) - (-2293 . 467251) (-2294 . 467141) (-2295 . 466954) (-2296 . 466861) - (-2297 . 466768) (-2298 . 466681) (-2299 . 466464) (-2300 . 466245) - (-2301 . 465827) (-2302 . 465555) (-2303 . 465412) (-2304 . 465319) - (-2305 . 465176) (-2306 . 465024) (-2307 . 464870) (-2308 . 464800) - (-2309 . 464593) (-2310 . 464416) (-2311 . 464207) (-2312 . 464030) - (-2313 . 463996) (-2314 . 463962) (-2315 . 463931) (-2316 . 463813) - (-2317 . 463518) (-2318 . 463240) (-2319 . 463119) (-2320 . 462992) - (-2321 . 462907) (-2322 . 462834) (-2323 . 462745) (-2324 . 462674) - (-2325 . 462618) (-2326 . 462562) (-2327 . 462506) (-2328 . 462436) - (-2329 . 462366) (-2330 . 462296) (-2331 . 462198) (-2332 . 462120) - (-2333 . 462042) (-2334 . 461899) (-2335 . 461820) (-2336 . 461748) - (-2337 . 461545) (-2338 . 461489) (-2339 . 461301) (-2340 . 461202) - (-2341 . 461084) (-2342 . 460963) (-2343 . 460820) (-2344 . 460677) - (-2345 . 460537) (-2346 . 460397) (-2347 . 460254) (-2348 . 460128) - (-2349 . 459999) (-2350 . 459876) (-2351 . 459753) (-2352 . 459648) - (-2353 . 459543) (-2354 . 459441) (-2355 . 459291) (-2356 . 459138) - (-2357 . 458985) (-2358 . 458841) (-2359 . 458687) (-2360 . 458611) - (-2361 . 458532) (-2362 . 458379) (-2363 . 458300) (-2364 . 458221) - (-2365 . 458142) (-2366 . 458040) (-2367 . 457981) (-2368 . 457919) - (-2369 . 457802) (-2370 . 457678) (-2371 . 457601) (-2372 . 457469) - (-2373 . 457163) (-2374 . 456980) (-2375 . 456435) (-2376 . 456215) - (-2377 . 456041) (-2378 . 455871) (-2379 . 455798) (-2380 . 455722) - (-2381 . 455643) (-2382 . 455346) (-2383 . 455184) (-2384 . 454950) - (-2385 . 454508) (-2386 . 454378) (-2387 . 454238) (-2388 . 453929) - (-2389 . 453627) (-2390 . 453311) (-2391 . 452905) (-2392 . 452837) - (-2393 . 452769) (-2394 . 452701) (-2395 . 452607) (-2396 . 452500) - (-2397 . 452393) (-2398 . 452292) (-2399 . 452191) (-2400 . 452090) - (-2401 . 452013) (-2402 . 451620) (-2403 . 451203) (-2404 . 450576) - (-2405 . 450512) (-2406 . 450393) (-2407 . 450274) (-2408 . 450166) - (-2409 . 450058) (-2410 . 449902) (-2411 . 449302) (-2412 . 449019) - (-2413 . 448940) (-2414 . 448886) (-2415 . 448718) (-2416 . 448596) - (-2417 . 448200) (-2418 . 447964) (-2419 . 447763) (-2420 . 447555) - (-2421 . 447362) (-2422 . 447095) (-2423 . 447021) (-2424 . 446842) - (-2425 . 446773) (-2426 . 446697) (-2427 . 446556) (-2428 . 446353) - (-2429 . 446209) (-2430 . 445959) (-2431 . 445651) (-2432 . 445295) - (-2433 . 445136) (-2434 . 444930) (-2435 . 444770) (-2436 . 444697) - (-2437 . 444663) (-2438 . 444598) (-2439 . 444561) (-2440 . 444424) - (-2441 . 444186) (-2442 . 444116) (-2443 . 443930) (-2444 . 443681) - (-2445 . 443525) (-2446 . 443002) (-2447 . 442805) (-2448 . 442593) - (-2449 . 442431) (-2450 . 442032) (-2451 . 441865) (-2452 . 440790) - (-2453 . 440667) (-2454 . 440450) (-2455 . 440320) (-2456 . 440190) - (-2457 . 440033) (-2458 . 439930) (-2459 . 439872) (-2460 . 439814) - (-2461 . 439708) (-2462 . 439602) (-2463 . 438686) (-2464 . 436559) - (-2465 . 435745) (-2466 . 433942) (-2467 . 433874) (-2468 . 433806) - (-2469 . 433738) (-2470 . 433670) (-2471 . 433602) (-2472 . 433524) - (-2473 . 433168) (-2474 . 432986) (-2475 . 432447) (-2476 . 432271) - (-2477 . 432050) (-2478 . 431829) (-2479 . 431608) (-2480 . 431390) - (-2481 . 431172) (-2482 . 430954) (-2483 . 430736) (-2484 . 430518) - (-2485 . 430300) (-2486 . 430199) (-2487 . 429466) (-2488 . 429411) - (-2489 . 429356) (-2490 . 429301) (-2491 . 429246) (-2492 . 429096) - (-2493 . 428848) (-2494 . 428687) (-2495 . 428507) (-2496 . 428220) - (-2497 . 427834) (-2498 . 426962) (-2499 . 426622) (-2500 . 426454) - (-2501 . 426232) (-2502 . 425982) (-2503 . 425634) (-2504 . 424624) - (-2505 . 424313) (-2506 . 424101) (-2507 . 423537) (-2508 . 423024) - (-2509 . 421268) (-2510 . 420796) (-2511 . 420197) (-2512 . 419947) - (-2513 . 419813) (-2514 . 419601) (-2515 . 419525) (-2516 . 419449) - (-2517 . 419342) (-2518 . 419160) (-2519 . 418995) (-2520 . 418817) - (-2521 . 418236) (-2522 . 418075) (-2523 . 417502) (-2524 . 417432) - (-2525 . 417357) (-2526 . 417285) (-2527 . 417147) (-2528 . 416960) - (-2529 . 416853) (-2530 . 416746) (-2531 . 416631) (-2532 . 416516) - (-2533 . 416401) (-2534 . 416123) (-2535 . 415973) (-2536 . 415830) - (-2537 . 415757) (-2538 . 415672) (-2539 . 415599) (-2540 . 415526) - (-2541 . 415453) (-2542 . 415310) (-2543 . 415160) (-2544 . 414986) - (-2545 . 414836) (-2546 . 414686) (-2547 . 414560) (-2548 . 414174) - (-2549 . 413890) (-2550 . 413606) (-2551 . 413197) (-2552 . 412913) - (-2553 . 412840) (-2554 . 412693) (-2555 . 412587) (-2556 . 412513) - (-2557 . 412443) (-2558 . 412364) (-2559 . 412287) (-2560 . 412210) - (-2561 . 412061) (-2562 . 411958) (-2563 . 411900) (-2564 . 411836) - (-2565 . 411772) (-2566 . 411675) (-2567 . 411578) (-2568 . 411418) - (-2569 . 411332) (-2570 . 411246) (-2571 . 411161) (-2572 . 411102) - (-2573 . 411043) (-2574 . 410984) (-2575 . 410925) (-2576 . 410755) - (-2577 . 410667) (-2578 . 410570) (-2579 . 410536) (-2580 . 410505) - (-2581 . 410421) (-2582 . 410365) (-2583 . 410303) (-2584 . 410269) - (-2585 . 410235) (-2586 . 410201) (-2587 . 410167) (-2588 . 410133) - (-2589 . 410099) (-2590 . 410065) (-2591 . 410031) (-2592 . 409997) - (-2593 . 409885) (-2594 . 409851) (-2595 . 409800) (-2596 . 409766) - (-2597 . 409669) (-2598 . 409607) (-2599 . 409516) (-2600 . 409425) - (-2601 . 409370) (-2602 . 409318) (-2603 . 409266) (-2604 . 409214) - (-2605 . 409162) (-2606 . 408739) (-2607 . 408573) (-2608 . 408520) - (-2609 . 408451) (-2610 . 408398) (-2611 . 408267) (-2612 . 408111) - (-2613 . 407590) (-2614 . 407449) (-2615 . 407415) (-2616 . 407360) - (-2617 . 406650) (-2618 . 406335) (-2619 . 405831) (-2620 . 405753) - (-2621 . 405701) (-2622 . 405649) (-2623 . 405465) (-2624 . 405413) - (-2625 . 405361) (-2626 . 405285) (-2627 . 405223) (-2628 . 405005) - (-2629 . 404938) (-2630 . 404844) (-2631 . 404750) (-2632 . 404567) - (-2633 . 404485) (-2634 . 404363) (-2635 . 404217) (-2636 . 403566) - (-2637 . 402864) (-2638 . 402760) (-2639 . 402659) (-2640 . 402558) - (-2641 . 402447) (-2642 . 402279) (-2643 . 402075) (-2644 . 401982) - (-2645 . 401905) (-2646 . 401849) (-2647 . 401779) (-2648 . 401659) - (-2649 . 401558) (-2650 . 401461) (-2651 . 401381) (-2652 . 401301) - (-2653 . 401224) (-2654 . 401154) (-2655 . 401084) (-2656 . 401014) - (-2657 . 400944) (-2658 . 400874) (-2659 . 400804) (-2660 . 400711) - (-2661 . 400583) (-2662 . 400341) (-2663 . 400171) (-2664 . 399802) - (-2665 . 399633) (-2666 . 399517) (-2667 . 399021) (-2668 . 398640) - (-2669 . 398394) (-2670 . 398302) (-2671 . 398205) (-2672 . 397543) - (-2673 . 397430) (-2674 . 397356) (-2675 . 397264) (-2676 . 397074) - (-2677 . 396884) (-2678 . 396813) (-2679 . 396742) (-2680 . 396661) - (-2681 . 396580) (-2682 . 396455) (-2683 . 396322) (-2684 . 396241) - (-2685 . 396167) (-2686 . 396002) (-2687 . 395845) (-2688 . 395617) - (-2689 . 395469) (-2690 . 395365) (-2691 . 395261) (-2692 . 395176) - (-2693 . 394808) (-2694 . 394727) (-2695 . 394640) (-2696 . 394559) - (-2697 . 394363) (-2698 . 394143) (-2699 . 393956) (-2700 . 393634) - (-2701 . 393341) (-2702 . 393048) (-2703 . 392738) (-2704 . 392421) - (-2705 . 392269) (-2706 . 392081) (-2707 . 391608) (-2708 . 391526) - (-2709 . 391310) (-2710 . 391094) (-2711 . 390835) (-2712 . 390414) - (-2713 . 389901) (-2714 . 389771) (-2715 . 389497) (-2716 . 389318) - (-2717 . 389203) (-2718 . 389099) (-2719 . 389044) (-2720 . 388967) - (-2721 . 388897) (-2722 . 388824) (-2723 . 388769) (-2724 . 388696) - (-2725 . 388641) (-2726 . 388286) (-2727 . 387878) (-2728 . 387725) - (-2729 . 387572) (-2730 . 387491) (-2731 . 387338) (-2732 . 387185) - (-2733 . 387050) (-2734 . 386915) (-2735 . 386780) (-2736 . 386645) - (-2737 . 386510) (-2738 . 386375) (-2739 . 386319) (-2740 . 386166) - (-2741 . 386055) (-2742 . 385944) (-2743 . 385859) (-2744 . 385749) - (-2745 . 385646) (-2746 . 381495) (-2747 . 381047) (-2748 . 380620) - (-2749 . 380003) (-2750 . 379402) (-2751 . 379184) (-2752 . 379006) - (-2753 . 378747) (-2754 . 378336) (-2755 . 378042) (-2756 . 377599) - (-2757 . 377421) (-2758 . 377028) (-2759 . 376635) (-2760 . 376450) - (-2761 . 376243) (-2762 . 376023) (-2763 . 375717) (-2764 . 375518) - (-2765 . 374889) (-2766 . 374732) (-2767 . 374343) (-2768 . 374292) - (-2769 . 374243) (-2770 . 374192) (-2771 . 374144) (-2772 . 374092) - (-2773 . 373946) (-2774 . 373894) (-2775 . 373748) (-2776 . 373696) - (-2777 . 373550) (-2778 . 373499) (-2779 . 373124) (-2780 . 373073) - (-2781 . 373024) (-2782 . 372973) (-2783 . 372925) (-2784 . 372873) - (-2785 . 372824) (-2786 . 372772) (-2787 . 372723) (-2788 . 372671) - (-2789 . 372622) (-2790 . 372556) (-2791 . 372438) (-2792 . 371276) - (-2793 . 370859) (-2794 . 370751) (-2795 . 370509) (-2796 . 370359) - (-2797 . 370209) (-2798 . 370048) (-2799 . 367841) (-2800 . 367580) - (-2801 . 367426) (-2802 . 367280) (-2803 . 367134) (-2804 . 366915) - (-2805 . 366783) (-2806 . 366708) (-2807 . 366633) (-2808 . 366498) - (-2809 . 366369) (-2810 . 366240) (-2811 . 366114) (-2812 . 365988) - (-2813 . 365862) (-2814 . 365736) (-2815 . 365633) (-2816 . 365533) - (-2817 . 365439) (-2818 . 365309) (-2819 . 365158) (-2820 . 364782) - (-2821 . 364668) (-2822 . 364427) (-2823 . 363969) (-2824 . 363659) - (-2825 . 363092) (-2826 . 362523) (-2827 . 361513) (-2828 . 360971) - (-2829 . 360658) (-2830 . 360320) (-2831 . 359989) (-2832 . 359669) - (-2833 . 359616) (-2834 . 359489) (-2835 . 358987) (-2836 . 357844) - (-2837 . 357789) (-2838 . 357734) (-2839 . 357658) (-2840 . 357539) - (-2841 . 357464) (-2842 . 357389) (-2843 . 357311) (-2844 . 357088) - (-2845 . 357029) (-2846 . 356970) (-2847 . 356867) (-2848 . 356764) - (-2849 . 356661) (-2850 . 356558) (-2851 . 356477) (-2852 . 356403) - (-2853 . 356188) (-2854 . 355954) (-2855 . 355920) (-2856 . 355886) - (-2857 . 355858) (-2858 . 355830) (-2859 . 355613) (-2860 . 355335) - (-2861 . 355185) (-2862 . 355055) (-2863 . 354925) (-2864 . 354825) - (-2865 . 354648) (-2866 . 354488) (-2867 . 354388) (-2868 . 354211) - (-2869 . 354051) (-2870 . 353892) (-2871 . 353753) (-2872 . 353603) - (-2873 . 353473) (-2874 . 353343) (-2875 . 353196) (-2876 . 353069) - (-2877 . 352966) (-2878 . 352859) (-2879 . 352762) (-2880 . 352597) - (-2881 . 352449) (-2882 . 352034) (-2883 . 351934) (-2884 . 351831) - (-2885 . 351743) (-2886 . 351663) (-2887 . 351513) (-2888 . 351383) - (-2889 . 351331) (-2890 . 351258) (-2891 . 351183) (-2892 . 351124) - (-2893 . 351012) (-2894 . 350700) (-2895 . 350523) (-2896 . 348925) - (-2897 . 348297) (-2898 . 348237) (-2899 . 348119) (-2900 . 348001) - (-2901 . 347857) (-2902 . 347705) (-2903 . 347546) (-2904 . 347387) - (-2905 . 347181) (-2906 . 346994) (-2907 . 346842) (-2908 . 346687) - (-2909 . 346532) (-2910 . 346380) (-2911 . 346243) (-2912 . 345820) - (-2913 . 345694) (-2914 . 345568) (-2915 . 345442) (-2916 . 345302) - (-2917 . 345161) (-2918 . 345020) (-2919 . 344876) (-2920 . 344128) - (-2921 . 343970) (-2922 . 343784) (-2923 . 343629) (-2924 . 343391) - (-2925 . 343146) (-2926 . 342901) (-2927 . 342691) (-2928 . 342554) - (-2929 . 342344) (-2930 . 342207) (-2931 . 341997) (-2932 . 341860) - (-2933 . 341650) (-2934 . 341347) (-2935 . 341203) (-2936 . 341062) - (-2937 . 340839) (-2938 . 340698) (-2939 . 340476) (-2940 . 340279) - (-2941 . 340123) (-2942 . 339796) (-2943 . 339637) (-2944 . 339478) - (-2945 . 339319) (-2946 . 339148) (-2947 . 338977) (-2948 . 338803) - (-2949 . 338451) (-2950 . 338328) (-2951 . 338166) (-2952 . 338093) - (-2953 . 338020) (-2954 . 337947) (-2955 . 337874) (-2956 . 337801) - (-2957 . 337728) (-2958 . 337605) (-2959 . 337432) (-2960 . 337309) - (-2961 . 337223) (-2962 . 337157) (-2963 . 337091) (-2964 . 337025) - (-2965 . 336959) (-2966 . 336893) (-2967 . 336827) (-2968 . 336761) - (-2969 . 336695) (-2970 . 336629) (-2971 . 336563) (-2972 . 336497) - (-2973 . 336431) (-2974 . 336365) (-2975 . 336299) (-2976 . 336233) - (-2977 . 336167) (-2978 . 336101) (-2979 . 336035) (-2980 . 335969) - (-2981 . 335903) (-2982 . 335837) (-2983 . 335771) (-2984 . 335705) - (-2985 . 335639) (-2986 . 335573) (-2987 . 335507) (-2988 . 334860) - (-2989 . 334213) (-2990 . 334085) (-2991 . 333962) (-2992 . 333839) - (-2993 . 333698) (-2994 . 333544) (-2995 . 333400) (-2996 . 333225) - (-2997 . 332615) (-2998 . 332491) (-2999 . 332367) (-3000 . 331689) - (-3001 . 330992) (-3002 . 330891) (-3003 . 330835) (-3004 . 330779) - (-3005 . 330723) (-3006 . 330667) (-3007 . 330608) (-3008 . 330544) - (-3009 . 330436) (-3010 . 330328) (-3011 . 330220) (-3012 . 329941) - (-3013 . 329867) (-3014 . 329641) (-3015 . 329560) (-3016 . 329482) - (-3017 . 329404) (-3018 . 329326) (-3019 . 329247) (-3020 . 329169) - (-3021 . 329076) (-3022 . 328977) (-3023 . 328909) (-3024 . 328860) - (-3025 . 328169) (-3026 . 327529) (-3027 . 326738) (-3028 . 326660) - (-3029 . 326562) (-3030 . 326473) (-3031 . 326384) (-3032 . 326310) - (-3033 . 326236) (-3034 . 326162) (-3035 . 326107) (-3036 . 326052) - (-3037 . 325986) (-3038 . 325920) (-3039 . 325858) (-3040 . 325583) - (-3041 . 325091) (-3042 . 324633) (-3043 . 324380) (-3044 . 324192) - (-3045 . 323851) (-3046 . 323555) (-3047 . 323387) (-3048 . 323256) - (-3049 . 323116) (-3050 . 322961) (-3051 . 322792) (-3052 . 321406) - (-3053 . 321273) (-3054 . 321132) (-3055 . 320903) (-3056 . 320844) - (-3057 . 320788) (-3058 . 320732) (-3059 . 320467) (-3060 . 320255) - (-3061 . 320116) (-3062 . 320009) (-3063 . 319892) (-3064 . 319826) - (-3065 . 319753) (-3066 . 319639) (-3067 . 319386) (-3068 . 319286) - (-3069 . 319092) (-3070 . 318784) (-3071 . 318318) (-3072 . 318213) - (-3073 . 318107) (-3074 . 317958) (-3075 . 317818) (-3076 . 317406) - (-3077 . 317162) (-3078 . 316504) (-3079 . 316351) (-3080 . 316237) - (-3081 . 316127) (-3082 . 315307) (-3083 . 315113) (-3084 . 314087) - (-3085 . 313639) (-3086 . 312250) (-3087 . 311399) (-3088 . 311350) - (-3089 . 311301) (-3090 . 311252) (-3091 . 311185) (-3092 . 311110) - (-3093 . 310920) (-3094 . 310848) (-3095 . 310773) (-3096 . 310701) - (-3097 . 310584) (-3098 . 310533) (-3099 . 310454) (-3100 . 310375) - (-3101 . 310296) (-3102 . 310245) (-3103 . 310001) (-3104 . 309699) - (-3105 . 309617) (-3106 . 309535) (-3107 . 309474) (-3108 . 309085) - (-3109 . 308219) (-3110 . 307646) (-3111 . 306429) (-3112 . 305622) - (-3113 . 305372) (-3114 . 305122) (-3115 . 304697) (-3116 . 304453) - (-3117 . 304209) (-3118 . 303965) (-3119 . 303721) (-3120 . 303477) - (-3121 . 303233) (-3122 . 302991) (-3123 . 302749) (-3124 . 302507) - (-3125 . 302265) (-3126 . 301687) (-3127 . 301571) (-3128 . 301517) - (-3129 . 300675) (-3130 . 300644) (-3131 . 300299) (-3132 . 300073) - (-3133 . 299974) (-3134 . 299875) (-3135 . 298109) (-3136 . 297997) - (-3137 . 296947) (-3138 . 296855) (-3139 . 295933) (-3140 . 295600) - (-3141 . 295267) (-3142 . 295164) (-3143 . 295053) (-3144 . 294942) - (-3145 . 294831) (-3146 . 294720) (-3147 . 293633) (-3148 . 293513) - (-3149 . 293378) (-3150 . 293246) (-3151 . 293114) (-3152 . 292820) - (-3153 . 292526) (-3154 . 292181) (-3155 . 291955) (-3156 . 291729) - (-3157 . 291618) (-3158 . 291507) (-3159 . 290045) (-3160 . 288341) - (-3161 . 288032) (-3162 . 287880) (-3163 . 287357) (-3164 . 287028) - (-3165 . 286835) (-3166 . 286642) (-3167 . 286449) (-3168 . 286256) - (-3169 . 286143) (-3170 . 286020) (-3171 . 285906) (-3172 . 285792) - (-3173 . 285699) (-3174 . 285606) (-3175 . 285496) (-3176 . 285295) - (-3177 . 284151) (-3178 . 284058) (-3179 . 283944) (-3180 . 283851) - (-3181 . 283604) (-3182 . 283493) (-3183 . 283279) (-3184 . 283161) - (-3185 . 282864) (-3186 . 282136) (-3187 . 281560) (-3188 . 281082) - (-3189 . 280838) (-3190 . 280594) (-3191 . 280251) (-3192 . 279645) - (-3193 . 279202) (-3194 . 279047) (-3195 . 278903) (-3196 . 278583) - (-3197 . 278428) (-3198 . 278288) (-3199 . 278148) (-3200 . 278008) - (-3201 . 277733) (-3202 . 277514) (-3203 . 276995) (-3204 . 276783) - (-3205 . 276571) (-3206 . 276191) (-3207 . 276017) (-3208 . 275808) - (-3209 . 275500) (-3210 . 275308) (-3211 . 275135) (-3212 . 273999) - (-3213 . 273634) (-3214 . 273434) (-3215 . 273234) (-3216 . 272398) - (-3217 . 272370) (-3218 . 272302) (-3219 . 272232) (-3220 . 272068) - (-3221 . 272040) (-3222 . 272012) (-3223 . 271958) (-3224 . 271808) - (-3225 . 271749) (-3226 . 271053) (-3227 . 269667) (-3228 . 269606) - (-3229 . 269282) (-3230 . 269210) (-3231 . 269153) (-3232 . 269096) - (-3233 . 269039) (-3234 . 268982) (-3235 . 268907) (-3236 . 268317) - (-3237 . 267957) (-3238 . 267883) (-3239 . 267823) (-3240 . 267705) - (-3241 . 266762) (-3242 . 266635) (-3243 . 266422) (-3244 . 266348) - (-3245 . 266294) (-3246 . 266240) (-3247 . 266131) (-3248 . 265848) - (-3249 . 265740) (-3250 . 265637) (-3251 . 265476) (-3252 . 265375) - (-3253 . 265277) (-3254 . 265139) (-3255 . 265001) (-3256 . 264863) - (-3257 . 264601) (-3258 . 264392) (-3259 . 264254) (-3260 . 263963) - (-3261 . 263811) (-3262 . 263536) (-3263 . 263316) (-3264 . 263164) - (-3265 . 263012) (-3266 . 262860) (-3267 . 262708) (-3268 . 262556) - (-3269 . 262349) (-3270 . 261962) (-3271 . 261631) (-3272 . 261292) - (-3273 . 260945) (-3274 . 260606) (-3275 . 260267) (-3276 . 259886) - (-3277 . 259505) (-3278 . 259124) (-3279 . 258759) (-3280 . 258041) - (-3281 . 257694) (-3282 . 257249) (-3283 . 256824) (-3284 . 256213) - (-3285 . 255621) (-3286 . 255234) (-3287 . 254903) (-3288 . 254516) - (-3289 . 254185) (-3290 . 253965) (-3291 . 253444) (-3292 . 253231) - (-3293 . 253018) (-3294 . 252805) (-3295 . 252627) (-3296 . 252414) - (-3297 . 252236) (-3298 . 251854) (-3299 . 251676) (-3300 . 251466) - (-3301 . 251376) (-3302 . 251286) (-3303 . 251195) (-3304 . 251083) - (-3305 . 250993) (-3306 . 250886) (-3307 . 250697) (-3308 . 250641) - (-3309 . 250560) (-3310 . 250479) (-3311 . 250398) (-3312 . 250321) - (-3313 . 250186) (-3314 . 250051) (-3315 . 249927) (-3316 . 249806) - (-3317 . 249688) (-3318 . 249552) (-3319 . 249419) (-3320 . 249300) - (-3321 . 249042) (-3322 . 248757) (-3323 . 248685) (-3324 . 248589) - (-3325 . 248448) (-3326 . 248391) (-3327 . 248334) (-3328 . 248274) - (-3329 . 248073) (-3330 . 247678) (-3331 . 247156) (-3332 . 246879) - (-3333 . 246459) (-3334 . 246347) (-3335 . 245909) (-3336 . 245679) - (-3337 . 245476) (-3338 . 245294) (-3339 . 245164) (-3340 . 244958) - (-3341 . 244751) (-3342 . 244561) (-3343 . 244014) (-3344 . 243758) - (-3345 . 243467) (-3346 . 243173) (-3347 . 242876) (-3348 . 242576) - (-3349 . 242446) (-3350 . 242313) (-3351 . 242177) (-3352 . 242038) - (-3353 . 240821) (-3354 . 240513) (-3355 . 240149) (-3356 . 240052) - (-3357 . 239812) (-3358 . 239537) (-3359 . 239262) (-3360 . 239003) - (-3361 . 238829) (-3362 . 238751) (-3363 . 238664) (-3364 . 238564) - (-3365 . 238470) (-3366 . 238389) (-3367 . 238319) (-3368 . 237528) - (-3369 . 237458) (-3370 . 237130) (-3371 . 237060) (-3372 . 236732) - (-3373 . 236662) (-3374 . 236217) (-3375 . 236147) (-3376 . 236043) - (-3377 . 235969) (-3378 . 235895) (-3379 . 235824) (-3380 . 235482) - (-3381 . 235354) (-3382 . 235277) (-3383 . 235046) (-3384 . 234903) - (-3385 . 234760) (-3386 . 234421) (-3387 . 234091) (-3388 . 233878) - (-3389 . 233623) (-3390 . 233273) (-3391 . 233048) (-3392 . 232823) - (-3393 . 232598) (-3394 . 232373) (-3395 . 232160) (-3396 . 231947) - (-3397 . 231797) (-3398 . 231616) (-3399 . 231511) (-3400 . 231389) - (-3401 . 231281) (-3402 . 231173) (-3403 . 230848) (-3404 . 230584) - (-3405 . 230273) (-3406 . 229971) (-3407 . 229662) (-3408 . 228943) - (-3409 . 228367) (-3410 . 228192) (-3411 . 228048) (-3412 . 227893) - (-3413 . 227770) (-3414 . 227665) (-3415 . 227550) (-3416 . 227455) - (-3417 . 226974) (-3418 . 226864) (-3419 . 226754) (-3420 . 226644) - (-3421 . 225572) (-3422 . 225065) (-3423 . 224998) (-3424 . 224925) - (-3425 . 224052) (-3426 . 223979) (-3427 . 223924) (-3428 . 223869) - (-3429 . 223837) (-3430 . 223751) (-3431 . 223719) (-3432 . 223633) - (-3433 . 223213) (-3434 . 222793) (-3435 . 222241) (-3436 . 221137) - (-3437 . 219427) (-3438 . 217877) (-3439 . 217085) (-3440 . 216585) - (-3441 . 216099) (-3442 . 215697) (-3443 . 215047) (-3444 . 214972) - (-3445 . 214881) (-3446 . 214810) (-3447 . 214739) (-3448 . 214683) - (-3449 . 214563) (-3450 . 214509) (-3451 . 214448) (-3452 . 214394) - (-3453 . 214291) (-3454 . 213851) (-3455 . 213411) (-3456 . 212971) - (-3457 . 212449) (-3458 . 212288) (-3459 . 212127) (-3460 . 211816) - (-3461 . 211730) (-3462 . 211640) (-3463 . 211282) (-3464 . 211165) - (-3465 . 211084) (-3466 . 210926) (-3467 . 210813) (-3468 . 210738) - (-3469 . 209892) (-3470 . 208710) (-3471 . 208611) (-3472 . 208512) - (-3473 . 208183) (-3474 . 208105) (-3475 . 208030) (-3476 . 207924) - (-3477 . 207768) (-3478 . 207661) (-3479 . 207526) (-3480 . 207391) - (-3481 . 207269) (-3482 . 207174) (-3483 . 207026) (-3484 . 206931) - (-3485 . 206776) (-3486 . 206621) (-3487 . 206069) (-3488 . 205517) - (-3489 . 204902) (-3490 . 204350) (-3491 . 203798) (-3492 . 203246) - (-3493 . 202693) (-3494 . 202140) (-3495 . 201587) (-3496 . 201034) - (-3497 . 200481) (-3498 . 199928) (-3499 . 199376) (-3500 . 198824) - (-3501 . 198272) (-3502 . 197720) (-3503 . 197168) (-3504 . 196616) - (-3505 . 196512) (-3506 . 195927) (-3507 . 195822) (-3508 . 195747) - (-3509 . 195605) (-3510 . 195513) (-3511 . 195422) (-3512 . 195330) - (-3513 . 195235) (-3514 . 195130) (-3515 . 195007) (-3516 . 194885) - (-3517 . 194521) (-3518 . 194399) (-3519 . 194301) (-3520 . 193940) - (-3521 . 193411) (-3522 . 193336) (-3523 . 193261) (-3524 . 193169) - (-3525 . 192988) (-3526 . 192893) (-3527 . 192818) (-3528 . 192727) - (-3529 . 192636) (-3530 . 192477) (-3531 . 191928) (-3532 . 191379) - (-3533 . 188672) (-3534 . 188500) (-3535 . 187090) (-3536 . 186530) - (-3537 . 186415) (-3538 . 186043) (-3539 . 185980) (-3540 . 185917) - (-3541 . 185854) (-3542 . 185576) (-3543 . 185309) (-3544 . 185257) - (-3545 . 184616) (-3546 . 184565) (-3547 . 184377) (-3548 . 184304) - (-3549 . 184224) (-3550 . 184111) (-3551 . 183921) (-3552 . 183557) - (-3553 . 183285) (-3554 . 183234) (-3555 . 183183) (-3556 . 183113) - (-3557 . 182994) (-3558 . 182965) (-3559 . 182861) (-3560 . 182739) - (-3561 . 182685) (-3562 . 182508) (-3563 . 182447) (-3564 . 182266) - (-3565 . 182205) (-3566 . 182133) (-3567 . 181658) (-3568 . 181284) - (-3569 . 177752) (-3570 . 177700) (-3571 . 177572) (-3572 . 177422) - (-3573 . 177370) (-3574 . 177229) (-3575 . 175171) (-3576 . 167564) - (-3577 . 167413) (-3578 . 167343) (-3579 . 167292) (-3580 . 167242) - (-3581 . 167191) (-3582 . 167140) (-3583 . 166944) (-3584 . 166802) - (-3585 . 166688) (-3586 . 166567) (-3587 . 166449) (-3588 . 166337) - (-3589 . 166219) (-3590 . 166114) (-3591 . 166033) (-3592 . 165929) - (-3593 . 164995) (-3594 . 164775) (-3595 . 164538) (-3596 . 164456) - (-3597 . 164112) (-3598 . 162973) (-3599 . 162899) (-3600 . 162804) - (-3601 . 162730) (-3602 . 162526) (-3603 . 162435) (-3604 . 162319) - (-3605 . 162206) (-3606 . 162115) (-3607 . 162024) (-3608 . 161935) - (-3609 . 161846) (-3610 . 161757) (-3611 . 161669) (-3612 . 161181) - (-3613 . 161117) (-3614 . 161053) (-3615 . 160989) (-3616 . 160928) - (-3617 . 160188) (-3618 . 160127) (-3619 . 160066) (-3620 . 159440) - (-3621 . 159388) (-3622 . 159260) (-3623 . 159196) (-3624 . 159142) - (-3625 . 159033) (-3626 . 157736) (-3627 . 157655) (-3628 . 157566) - (-3629 . 157508) (-3630 . 157368) (-3631 . 157283) (-3632 . 157209) - (-3633 . 157124) (-3634 . 157067) (-3635 . 156851) (-3636 . 156712) - (-3637 . 156105) (-3638 . 155551) (-3639 . 154997) (-3640 . 154443) - (-3641 . 153836) (-3642 . 153282) (-3643 . 152722) (-3644 . 152162) - (-3645 . 151900) (-3646 . 151461) (-3647 . 151128) (-3648 . 150789) - (-3649 . 150484) (-3650 . 150351) (-3651 . 150218) (-3652 . 149830) - (-3653 . 149737) (-3654 . 149644) (-3655 . 149551) (-3656 . 149458) - (-3657 . 149365) (-3658 . 149272) (-3659 . 149179) (-3660 . 149086) - (-3661 . 148993) (-3662 . 148900) (-3663 . 148807) (-3664 . 148714) - (-3665 . 148621) (-3666 . 148528) (-3667 . 148435) (-3668 . 148342) - (-3669 . 148249) (-3670 . 148156) (-3671 . 148063) (-3672 . 147970) - (-3673 . 147877) (-3674 . 147784) (-3675 . 147691) (-3676 . 147598) - (-3677 . 147505) (-3678 . 147320) (-3679 . 147010) (-3680 . 145382) - (-3681 . 145228) (-3682 . 145091) (-3683 . 144949) (-3684 . 144747) - (-3685 . 142820) (-3686 . 142693) (-3687 . 142569) (-3688 . 142442) - (-3689 . 142221) (-3690 . 142000) (-3691 . 141873) (-3692 . 141672) - (-3693 . 141496) (-3694 . 140979) (-3695 . 140462) (-3696 . 140185) - (-3697 . 139776) (-3698 . 139259) (-3699 . 139075) (-3700 . 138933) - (-3701 . 138438) (-3702 . 137807) (-3703 . 137751) (-3704 . 137657) - (-3705 . 137538) (-3706 . 137468) (-3707 . 137395) (-3708 . 137165) - (-3709 . 136546) (-3710 . 136116) (-3711 . 136034) (-3712 . 135892) - (-3713 . 135422) (-3714 . 135300) (-3715 . 135178) (-3716 . 135038) - (-3717 . 134851) (-3718 . 134735) (-3719 . 134455) (-3720 . 134387) - (-3721 . 134189) (-3722 . 134009) (-3723 . 133854) (-3724 . 133747) - (-3725 . 133696) (-3726 . 133319) (-3727 . 132791) (-3728 . 132569) - (-3729 . 132347) (-3730 . 132108) (-3731 . 132018) (-3732 . 130276) - (-3733 . 129694) (-3734 . 129616) (-3735 . 124156) (-3736 . 123366) - (-3737 . 122989) (-3738 . 122918) (-3739 . 122653) (-3740 . 122478) - (-3741 . 121993) (-3742 . 121571) (-3743 . 121131) (-3744 . 120268) - (-3745 . 120144) (-3746 . 120017) (-3747 . 119908) (-3748 . 119756) - (-3749 . 119642) (-3750 . 119503) (-3751 . 119422) (-3752 . 119341) - (-3753 . 119237) (-3754 . 118819) (-3755 . 118398) (-3756 . 118324) - (-3757 . 118061) (-3758 . 117797) (-3759 . 117418) (-3760 . 116719) - (-3761 . 115676) (-3762 . 115617) (-3763 . 115543) (-3764 . 115469) - (-3765 . 115347) (-3766 . 115097) (-3767 . 115011) (-3768 . 114936) - (-3769 . 114861) (-3770 . 114766) (-3771 . 110991) (-3772 . 109821) - (-3773 . 109161) (-3774 . 108977) (-3775 . 106772) (-3776 . 106447) - (-3777 . 105965) (-3778 . 105524) (-3779 . 105289) (-3780 . 105044) - (-3781 . 104954) (-3782 . 103519) (-3783 . 103441) (-3784 . 103336) - (-3785 . 101860) (-3786 . 101455) (-3787 . 101054) (-3788 . 100958) - (-3789 . 100879) (-3790 . 100724) (-3791 . 99606) (-3792 . 99527) - (-3793 . 99451) (-3794 . 99105) (-3795 . 99048) (-3796 . 98976) - (-3797 . 98919) (-3798 . 98862) (-3799 . 98732) (-3800 . 98530) - (-3801 . 98162) (-3802 . 97741) (-3803 . 93931) (-3804 . 93329) - (-3805 . 92862) (-3806 . 92649) (-3807 . 92436) (-3808 . 92270) - (-3809 . 92057) (-3810 . 91891) (-3811 . 91725) (-3812 . 91559) - (-3813 . 91393) (-3814 . 91123) (-3815 . 85709) (** . 82756) (-3817 . 82340) - (-3818 . 82099) (-3819 . 82043) (-3820 . 81551) (-3821 . 78743) - (-3822 . 78593) (-3823 . 78429) (-3824 . 78265) (-3825 . 78169) - (-3826 . 78051) (-3827 . 77927) (-3828 . 77784) (-3829 . 77613) - (-3830 . 77487) (-3831 . 77343) (-3832 . 77191) (-3833 . 77032) - (-3834 . 76519) (-3835 . 76430) (-3836 . 75765) (-3837 . 75573) - (-3838 . 75478) (-3839 . 75170) (-3840 . 73998) (-3841 . 73792) - (-3842 . 72617) (-3843 . 72542) (-3844 . 71361) (-3845 . 67859) - (-3846 . 67495) (-3847 . 67218) (-3848 . 67126) (-3849 . 67033) - (-3850 . 66756) (-3851 . 66663) (-3852 . 66570) (-3853 . 66477) - (-3854 . 66093) (-3855 . 66022) (-3856 . 65930) (-3857 . 65772) - (-3858 . 65418) (-3859 . 65260) (-3860 . 65152) (-3861 . 65123) - (-3862 . 65056) (-3863 . 64902) (-3864 . 64744) (-3865 . 64350) - (-3866 . 64275) (-3867 . 64169) (-3868 . 64097) (-3869 . 64019) - (-3870 . 63946) (-3871 . 63873) (-3872 . 63800) (-3873 . 63728) - (-3874 . 63656) (-3875 . 63583) (-3876 . 63342) (-3877 . 63002) - (-3878 . 62854) (-3879 . 62781) (-3880 . 62708) (-3881 . 62635) - (-3882 . 62381) (-3883 . 62237) (-3884 . 60901) (-3885 . 60707) - (-3886 . 60436) (-3887 . 60288) (-3888 . 60140) (-3889 . 59900) - (-3890 . 59706) (-3891 . 59438) (-3892 . 59242) (-3893 . 59213) - (-3894 . 59112) (-3895 . 59011) (-3896 . 58910) (-3897 . 58809) - (-3898 . 58708) (-3899 . 58607) (-3900 . 58506) (-3901 . 58405) - (-3902 . 58304) (-3903 . 58203) (-3904 . 58088) (-3905 . 57973) - (-3906 . 57922) (-3907 . 57805) (-3908 . 57747) (-3909 . 57646) - (-3910 . 57545) (-3911 . 57444) (-3912 . 57328) (-3913 . 57299) - (-3914 . 56568) (-3915 . 56443) (-3916 . 56318) (-3917 . 56178) - (-3918 . 56060) (-3919 . 55935) (-3920 . 55780) (-3921 . 54797) - (-3922 . 53938) (-3923 . 53884) (-3924 . 53830) (-3925 . 53622) - (-3926 . 53250) (-3927 . 52839) (-3928 . 52481) (-3929 . 52123) - (-3930 . 51971) (-3931 . 51669) (-3932 . 51513) (-3933 . 51187) - (-3934 . 51117) (-3935 . 51047) (-3936 . 50838) (-3937 . 50229) - (-3938 . 50025) (-3939 . 49652) (-3940 . 49143) (-3941 . 48878) - (-3942 . 48397) (-3943 . 47916) (-3944 . 47791) (-3945 . 46691) - (-3946 . 45615) (-3947 . 45042) (-3948 . 44824) (-3949 . 36498) - (-3950 . 36313) (-3951 . 34230) (-3952 . 32062) (-3953 . 31916) - (-3954 . 31738) (-3955 . 31331) (-3956 . 31036) (-3957 . 30688) - (-3958 . 30522) (-3959 . 30356) (-3960 . 29945) (-3961 . 16071) +((-1216 . 628708) (-1217 . 628312) (-1218 . 628010) (-1219 . 627614) + (-1220 . 627493) (-1221 . 627391) (-1222 . 627278) (-1223 . 627162) + (-1224 . 627109) (-1225 . 626975) (-1226 . 626900) (-1227 . 626744) + (-1228 . 626516) (-1229 . 625552) (-1230 . 625305) (-1231 . 625021) + (-1232 . 624737) (-1233 . 624453) (-1234 . 624134) (-1235 . 624042) + (-1236 . 623950) (-1237 . 623858) (-1238 . 623766) (-1239 . 623674) + (-1240 . 623582) (-1241 . 623487) (-1242 . 623392) (-1243 . 623300) + (-1244 . 623208) (-1245 . 623116) (-1246 . 623024) (-1247 . 622932) + (-1248 . 622830) (-1249 . 622728) (-1250 . 622626) (-1251 . 622534) + (-1252 . 622483) (-1253 . 622431) (-1254 . 622361) (-1255 . 621941) + (-1256 . 621747) (-1257 . 621720) (-1258 . 621597) (-1259 . 621474) + (-1260 . 621330) (-1261 . 621160) (-1262 . 621036) (-1263 . 620797) + (-1264 . 620724) (-1265 . 620499) (-1266 . 620253) (-1267 . 620200) + (-1268 . 620022) (-1269 . 619853) (-1270 . 619777) (-1271 . 619704) + (-1272 . 619551) (-1273 . 619398) (-1274 . 619214) (-1275 . 619033) + (-1276 . 618978) (-1277 . 618923) (-1278 . 618850) (-1279 . 618774) + (-1280 . 618697) (-1281 . 618629) (-1282 . 618486) (-1283 . 618379) + (-1284 . 618311) (-1285 . 618241) (-1286 . 618171) (-1287 . 618121) + (-1288 . 618071) (-1289 . 618021) (-1290 . 617900) (-1291 . 617584) + (-1292 . 617515) (-1293 . 617436) (-1294 . 617317) (-1295 . 617240) + (-1296 . 617163) (-1297 . 617010) (-1298 . 616861) (-1299 . 616785) + (-1300 . 616728) (-1301 . 616656) (-1302 . 616593) (-1303 . 616530) + (-1304 . 616469) (-1305 . 616397) (-1306 . 616281) (-1307 . 616229) + (-1308 . 616174) (-1309 . 616122) (-1310 . 616070) (-1311 . 616042) + (-1312 . 616014) (-1313 . 615986) (-1314 . 615942) (-1315 . 615871) + (-1316 . 615820) (-1317 . 615772) (-1318 . 615721) (-1319 . 615669) + (-1320 . 615553) (-1321 . 615437) (-1322 . 615345) (-1323 . 615253) + (-1324 . 615130) (-1325 . 615064) (-1326 . 614998) (-1327 . 614939) + (-1328 . 614911) (-1329 . 614883) (-1330 . 614855) (-1331 . 614827) + (-1332 . 614717) (-1333 . 614666) (-1334 . 614615) (-1335 . 614564) + (-1336 . 614513) (-1337 . 614462) (-1338 . 614411) (-1339 . 614383) + (-1340 . 614355) (-1341 . 614327) (-1342 . 614299) (-1343 . 614271) + (-1344 . 614243) (-1345 . 614215) (-1346 . 614187) (-1347 . 614159) + (-1348 . 614056) (-1349 . 614004) (-1350 . 613838) (-1351 . 613654) + (-1352 . 613443) (-1353 . 613328) (-1354 . 613095) (-1355 . 613005) + (-1356 . 612912) (-1357 . 612797) (-1358 . 612399) (-1359 . 612181) + (-1360 . 612132) (-1361 . 612104) (-1362 . 612028) (-1363 . 611929) + (-1364 . 611830) (-1365 . 611731) (-1366 . 611632) (-1367 . 611533) + (-1368 . 611434) (-1369 . 611276) (-1370 . 611200) (-1371 . 611033) + (-1372 . 610975) (-1373 . 610917) (-1374 . 610608) (-1375 . 610354) + (-1376 . 610270) (-1377 . 610138) (-1378 . 610080) (-1379 . 610028) + (-1380 . 609946) (-1381 . 609871) (-1382 . 609800) (-1383 . 609746) + (-1384 . 609695) (-1385 . 609621) (-1386 . 609547) (-1387 . 609466) + (-1388 . 609385) (-1389 . 609330) (-1390 . 609256) (-1391 . 609182) + (-1392 . 609108) (-1393 . 609031) (-1394 . 608977) (-1395 . 608919) + (-1396 . 608820) (-1397 . 608721) (-1398 . 608622) (-1399 . 608523) + (-1400 . 608424) (-1401 . 608325) (-1402 . 608226) (-1403 . 608112) + (-1404 . 607998) (-1405 . 607884) (-1406 . 607770) (-1407 . 607656) + (-1408 . 607542) (-1409 . 607425) (-1410 . 607349) (-1411 . 607273) + (-1412 . 606886) (-1413 . 606541) (-1414 . 606439) (-1415 . 606178) + (-1416 . 606076) (-1417 . 605871) (-1418 . 605758) (-1419 . 605656) + (-1420 . 605499) (-1421 . 605410) (-1422 . 605316) (-1423 . 605236) + (-1424 . 605162) (-1425 . 605084) (-1426 . 605025) (-1427 . 604967) + (-1428 . 604865) (-7 . 604837) (-8 . 604809) (-9 . 604781) (-1432 . 604662) + (-1433 . 604580) (-1434 . 604498) (-1435 . 604416) (-1436 . 604334) + (-1437 . 604252) (-1438 . 604158) (-1439 . 604088) (-1440 . 604018) + (-1441 . 603927) (-1442 . 603833) (-1443 . 603751) (-1444 . 603669) + (-1445 . 603571) (-1446 . 603411) (-1447 . 603213) (-1448 . 603077) + (-1449 . 602977) (-1450 . 602877) (-1451 . 602784) (-1452 . 602725) + (-1453 . 602392) (-1454 . 602292) (-1455 . 602174) (-1456 . 601962) + (-1457 . 601783) (-1458 . 601625) (-1459 . 601422) (-1460 . 601004) + (-1461 . 600953) (-1462 . 600844) (-1463 . 600729) (-1464 . 600660) + (-1465 . 600591) (-1466 . 600522) (-1467 . 600456) (-1468 . 600331) + (-1469 . 600114) (-1470 . 600036) (-1471 . 599986) (-1472 . 599915) + (-1473 . 599772) (-1474 . 599631) (-1475 . 599553) (-1476 . 599475) + (-1477 . 599419) (-1478 . 599363) (-1479 . 599290) (-1480 . 599150) + (-1481 . 599097) (-1482 . 599038) (-1483 . 598979) (-1484 . 598824) + (-1485 . 598772) (-1486 . 598655) (-1487 . 598538) (-1488 . 598421) + (-1489 . 598290) (-1490 . 598011) (-1491 . 597876) (-1492 . 597820) + (-1493 . 597764) (-1494 . 597705) (-1495 . 597646) (-1496 . 597590) + (-1497 . 597534) (-1498 . 597337) (-1499 . 594995) (-1500 . 594868) + (-1501 . 594723) (-1502 . 594595) (-1503 . 594543) (-1504 . 594491) + (-1505 . 594439) (-1506 . 590401) (-1507 . 590307) (-1508 . 590168) + (-1509 . 589959) (-1510 . 589857) (-1511 . 589755) (-1512 . 588840) + (-1513 . 588764) (-1514 . 588635) (-1515 . 588510) (-1516 . 588433) + (-1517 . 588356) (-1518 . 588229) (-1519 . 588102) (-1520 . 587936) + (-1521 . 587809) (-1522 . 587682) (-1523 . 587465) (-1524 . 587031) + (-1525 . 586667) (-1526 . 586615) (-1527 . 586556) (-1528 . 586468) + (-1529 . 586380) (-1530 . 586289) (-1531 . 586198) (-1532 . 586107) + (-1533 . 586016) (-1534 . 585925) (-1535 . 585834) (-1536 . 585743) + (-1537 . 585652) (-1538 . 585561) (-1539 . 585470) (-1540 . 585379) + (-1541 . 585288) (-1542 . 585197) (-1543 . 585106) (-1544 . 585015) + (-1545 . 584924) (-1546 . 584833) (-1547 . 584742) (-1548 . 584651) + (-1549 . 584560) (-1550 . 584469) (-1551 . 584378) (-1552 . 584287) + (-1553 . 584196) (-1554 . 584105) (-1555 . 584014) (-1556 . 583852) + (-1557 . 583744) (-1558 . 583501) (-1559 . 583214) (-1560 . 583019) + (-1561 . 582863) (-1562 . 582703) (-1563 . 582652) (-1564 . 582590) + (-1565 . 582539) (-1566 . 582476) (-1567 . 582423) (-1568 . 582371) + (-1569 . 582319) (-1570 . 582267) (-1571 . 582177) (-1572 . 581994) + (-1573 . 581840) (-1574 . 581760) (-1575 . 581680) (-1576 . 581600) + (-1577 . 581470) (-1578 . 581241) (-1579 . 581213) (-1580 . 581185) + (-1581 . 581157) (-1582 . 581077) (-1583 . 581000) (-1584 . 580923) + (-1585 . 580842) (-1586 . 580783) (-1587 . 580625) (-1588 . 580432) + (-1589 . 579947) (-1590 . 579705) (-1591 . 579443) (-1592 . 579342) + (-1593 . 579261) (-1594 . 579180) (-1595 . 579110) (-1596 . 579040) + (-1597 . 578882) (-1598 . 578578) (-1599 . 578350) (-1600 . 578228) + (-1601 . 578170) (-1602 . 578108) (-1603 . 578046) (-1604 . 577981) + (-1605 . 577919) (-1606 . 577640) (-1607 . 577572) (-1608 . 577362) + (-1609 . 577310) (-1610 . 577256) (-1611 . 577165) (-1612 . 577078) + (-1613 . 575331) (-1614 . 575252) (-1615 . 574507) (-1616 . 574390) + (-1617 . 574184) (-1618 . 574023) (-1619 . 573862) (-1620 . 573702) + (-1621 . 573564) (-1622 . 573470) (-1623 . 573372) (-1624 . 573278) + (-1625 . 573164) (-1626 . 573082) (-1627 . 572985) (-1628 . 572789) + (-1629 . 572698) (-1630 . 572604) (-1631 . 572537) (-1632 . 572468) + (-1633 . 572416) (-1634 . 572357) (-1635 . 572283) (-1636 . 572231) + (-1637 . 572074) (-1638 . 571917) (-1639 . 571765) (-1640 . 571007) + (-1641 . 570696) (-1642 . 570344) (-1643 . 570127) (-1644 . 569864) + (-1645 . 569489) (-1646 . 569305) (-1647 . 569171) (-1648 . 569005) + (-1649 . 568839) (-1650 . 568705) (-1651 . 568571) (-1652 . 568437) + (-1653 . 568303) (-1654 . 568172) (-1655 . 568041) (-1656 . 567910) + (-1657 . 567530) (-1658 . 567404) (-1659 . 567276) (-1660 . 567026) + (-1661 . 566903) (-1662 . 566653) (-1663 . 566530) (-1664 . 566280) + (-1665 . 566157) (-1666 . 565874) (-1667 . 565603) (-1668 . 565330) + (-1669 . 565032) (-1670 . 564930) (-1671 . 564785) (-1672 . 564644) + (-1673 . 564493) (-1674 . 564332) (-1675 . 564244) (-1676 . 564216) + (-1677 . 564134) (-1678 . 564037) (-1679 . 563569) (-1680 . 563218) + (-1681 . 562785) (-1682 . 562646) (-1683 . 562576) (-1684 . 562506) + (-1685 . 562436) (-1686 . 562345) (-1687 . 562254) (-1688 . 562163) + (-1689 . 562072) (-1690 . 561981) (-1691 . 561895) (-1692 . 561809) + (-1693 . 561723) (-1694 . 561637) (-1695 . 561551) (-1696 . 561477) + (-1697 . 561372) (-1698 . 561146) (-1699 . 561068) (-1700 . 560993) + (-1701 . 560900) (-1702 . 560796) (-1703 . 560700) (-1704 . 560531) + (-1705 . 560454) (-1706 . 560377) (-1707 . 560286) (-1708 . 560195) + (-1709 . 559995) (-1710 . 559842) (-1711 . 559689) (-1712 . 559536) + (-1713 . 559383) (-1714 . 559230) (-1715 . 559077) (-1716 . 559011) + (-1717 . 558858) (-1718 . 558705) (-1719 . 558552) (-1720 . 558399) + (-1721 . 558246) (-1722 . 558093) (-1723 . 557940) (-1724 . 557787) + (-1725 . 557713) (-1726 . 557639) (-1727 . 557584) (-1728 . 557529) + (-1729 . 557474) (-1730 . 557419) (-1731 . 557348) (-1732 . 557162) + (-1733 . 557065) (-1734 . 556968) (-1735 . 556770) (-1736 . 556672) + (-1737 . 556484) (-1738 . 556391) (-1739 . 556264) (-1740 . 556137) + (-1741 . 556010) (-1742 . 555942) (-1743 . 555826) (-1744 . 555710) + (-1745 . 555594) (-1746 . 555541) (-1747 . 555456) (-1748 . 555371) + (-1749 . 555063) (-1750 . 555008) (-1751 . 554356) (-1752 . 554041) + (-1753 . 553757) (-1754 . 553639) (-1755 . 553520) (-1756 . 553461) + (-1757 . 553402) (-1758 . 553351) (-1759 . 553300) (-1760 . 553249) + (-1761 . 553196) (-1762 . 553143) (-1763 . 553084) (-1764 . 552971) + (-1765 . 552858) (-1766 . 552691) (-1767 . 552599) (-1768 . 552486) + (-1769 . 552402) (-1770 . 552287) (-1771 . 552196) (-1772 . 552105) + (-1773 . 551984) (-1774 . 551797) (-1775 . 551745) (-1776 . 551690) + (-1777 . 551503) (-1778 . 551380) (-1779 . 551307) (-1780 . 551234) + (-1781 . 551114) (-1782 . 551041) (-1783 . 550968) (-1784 . 550628) + (-1785 . 550555) (-1786 . 550335) (-1787 . 550002) (-1788 . 549819) + (-1789 . 549676) (-1790 . 549316) (-1791 . 549148) (-1792 . 548980) + (-1793 . 548724) (-1794 . 548468) (-1795 . 548273) (-1796 . 548078) + (-1797 . 547484) (-1798 . 547408) (-1799 . 547269) (-1800 . 546862) + (-1801 . 546735) (-1802 . 546578) (-1803 . 546261) (-1804 . 545781) + (-1805 . 545301) (-1806 . 544799) (-1807 . 544731) (-1808 . 544660) + (-1809 . 544589) (-1810 . 544417) (-1811 . 544298) (-1812 . 544179) + (-1813 . 544103) (-1814 . 544027) (-1815 . 543754) (-1816 . 543640) + (-1817 . 543589) (-1818 . 543538) (-1819 . 543487) (-1820 . 543436) + (-1821 . 543385) (-1822 . 543244) (-1823 . 543071) (-1824 . 542840) + (-1825 . 542654) (-1826 . 542626) (-1827 . 542598) (-1828 . 542570) + (-1829 . 542542) (-1830 . 542514) (-1831 . 542486) (-1832 . 542458) + (-1833 . 542407) (-1834 . 542341) (-1835 . 542251) (-1836 . 541880) + (-1837 . 541729) (-1838 . 541578) (-1839 . 541373) (-1840 . 541251) + (-1841 . 541177) (-1842 . 541100) (-1843 . 541026) (-1844 . 540949) + (-1845 . 540872) (-1846 . 540798) (-1847 . 540721) (-1848 . 540488) + (-1849 . 540335) (-1850 . 540040) (-1851 . 539887) (-1852 . 539565) + (-1853 . 539427) (-1854 . 539289) (-1855 . 539209) (-1856 . 539129) + (-1857 . 538865) (-1858 . 538134) (-1859 . 537998) (-1860 . 537908) + (-1861 . 537773) (-1862 . 537706) (-1863 . 537638) (-1864 . 537551) + (-1865 . 537464) (-1866 . 537297) (-1867 . 537223) (-1868 . 537079) + (-1869 . 536619) (-1870 . 536240) (-1871 . 535478) (-1872 . 535334) + (-1873 . 535190) (-1874 . 535028) (-1875 . 534791) (-1876 . 534651) + (-1877 . 534505) (-1878 . 534266) (-1879 . 534030) (-1880 . 533791) + (-1881 . 533599) (-1882 . 533476) (-1883 . 533272) (-1884 . 533049) + (-1885 . 532810) (-1886 . 532669) (-1887 . 532531) (-1888 . 532392) + (-1889 . 532139) (-1890 . 531883) (-1891 . 531726) (-1892 . 531572) + (-1893 . 531332) (-1894 . 531047) (-1895 . 530909) (-1896 . 530822) + (-1897 . 530156) (-1898 . 529980) (-1899 . 529798) (-1900 . 529622) + (-1901 . 529440) (-1902 . 529261) (-1903 . 529082) (-1904 . 528895) + (-1905 . 528513) (-1906 . 528334) (-1907 . 528155) (-1908 . 527968) + (-1909 . 527586) (-1910 . 526593) (-1911 . 526209) (-1912 . 525825) + (-1913 . 525707) (-1914 . 525550) (-1915 . 525408) (-1916 . 525291) + (-1917 . 525109) (-1918 . 524985) (-1919 . 524696) (-1920 . 524407) + (-1921 . 524124) (-1922 . 523841) (-1923 . 523563) (-1924 . 523475) + (-1925 . 523390) (-1926 . 523293) (-1927 . 523196) (-1928 . 522976) + (-1929 . 522876) (-1930 . 522773) (-1931 . 522695) (-1932 . 522370) + (-1933 . 522078) (-1934 . 522005) (-1935 . 521620) (-1936 . 521592) + (-1937 . 521393) (-1938 . 521219) (-1939 . 520978) (-1940 . 520923) + (-1941 . 520848) (-1942 . 520480) (-1943 . 520365) (-1944 . 520288) + (-1945 . 520215) (-1946 . 520134) (-1947 . 520053) (-1948 . 519972) + (-1949 . 519871) (-1950 . 519812) (-1951 . 519759) (-1952 . 519705) + (-1953 . 519373) (-1954 . 519049) (-1955 . 518861) (-1956 . 518670) + (-1957 . 518506) (-1958 . 518171) (-1959 . 518004) (-1960 . 517763) + (-1961 . 517439) (-1962 . 517249) (-1963 . 517034) (-1964 . 516863) + (-1965 . 516441) (-1966 . 516214) (-1967 . 515943) (-1968 . 515806) + (-1969 . 515665) (-1970 . 515188) (-1971 . 515065) (-1972 . 514829) + (-1973 . 514575) (-1974 . 514325) (-1975 . 514032) (-1976 . 513892) + (-1977 . 513752) (-1978 . 513612) (-1979 . 513423) (-1980 . 513234) + (-1981 . 513059) (-1982 . 512785) (-1983 . 512350) (-1984 . 512322) + (-1985 . 512250) (-1986 . 512117) (-1987 . 512042) (-1988 . 511883) + (-1989 . 511720) (-1990 . 511559) (-1991 . 511392) (-1992 . 511339) + (-1993 . 511286) (-1994 . 511157) (-1995 . 511097) (-1996 . 511044) + (-1997 . 510974) (-1998 . 510914) (-1999 . 510855) (-2000 . 510795) + (-2001 . 510736) (-2002 . 510676) (-2003 . 510617) (-2004 . 510558) + (-2005 . 510416) (-2006 . 510321) (-2007 . 510230) (-2008 . 510114) + (-2009 . 510020) (-2010 . 509922) (-2011 . 509828) (-2012 . 509687) + (-2013 . 509425) (-2014 . 508569) (-2015 . 508413) (-2016 . 508044) + (-2017 . 507988) (-2018 . 507937) (-2019 . 507834) (-2020 . 507749) + (-2021 . 507661) (-2022 . 507515) (-2023 . 507366) (-2024 . 507076) + (-2025 . 506998) (-2026 . 506923) (-2027 . 506870) (-2028 . 506817) + (-2029 . 506786) (-2030 . 506723) (-2031 . 506605) (-2032 . 506516) + (-2033 . 506396) (-2034 . 506101) (-2035 . 505907) (-2036 . 505719) + (-2037 . 505574) (-2038 . 505429) (-2039 . 505143) (-2040 . 504701) + (-2041 . 504667) (-2042 . 504630) (-2043 . 504593) (-2044 . 504556) + (-2045 . 504519) (-2046 . 504488) (-2047 . 504457) (-2048 . 504426) + (-2049 . 504392) (-2050 . 504358) (-2051 . 504304) (-2052 . 504128) + (-2053 . 503894) (-2054 . 503660) (-2055 . 503431) (-2056 . 503379) + (-2057 . 503324) (-2058 . 503255) (-2059 . 503167) (-2060 . 503098) + (-2061 . 503026) (-2062 . 502796) (-2063 . 502745) (-2064 . 502691) + (-2065 . 502660) (-2066 . 502554) (-2067 . 502329) (-2068 . 502019) + (-2069 . 501845) (-2070 . 501663) (-2071 . 501392) (-2072 . 501319) + (-2073 . 501254) (-2074 . 500778) (-2075 . 500216) (-2076 . 499490) + (-2077 . 498929) (-2078 . 498301) (-2079 . 497722) (-2080 . 497648) + (-2081 . 497596) (-2082 . 497544) (-2083 . 497470) (-2084 . 497415) + (-2085 . 497363) (-2086 . 497311) (-2087 . 497259) (-2088 . 497189) + (-2089 . 496741) (-2090 . 496535) (-2091 . 496286) (-2092 . 495952) + (-2093 . 495698) (-2094 . 495396) (-2095 . 495193) (-2096 . 494904) + (-2097 . 494356) (-2098 . 494219) (-2099 . 494017) (-2100 . 493737) + (-2101 . 493652) (-2102 . 493319) (-2103 . 493178) (-2104 . 492887) + (-2105 . 492667) (-2106 . 492541) (-2107 . 492416) (-2108 . 492269) + (-2109 . 492125) (-2110 . 492009) (-2111 . 491878) (-2112 . 491506) + (-2113 . 491246) (-2114 . 490976) (-2115 . 490736) (-2116 . 490406) + (-2117 . 490066) (-2118 . 489658) (-2119 . 489240) (-2120 . 489043) + (-2121 . 488768) (-2122 . 488600) (-2123 . 488404) (-2124 . 488182) + (-2125 . 488027) (-2126 . 487842) (-2127 . 487739) (-2128 . 487711) + (-2129 . 487683) (-2130 . 487509) (-2131 . 487435) (-2132 . 487374) + (-2133 . 487321) (-2134 . 487252) (-2135 . 487183) (-2136 . 487064) + (-2137 . 486886) (-2138 . 486831) (-2139 . 486585) (-2140 . 486512) + (-2141 . 486442) (-2142 . 486372) (-2143 . 486283) (-2144 . 486093) + (-2145 . 486020) (-2146 . 485951) (-2147 . 485886) (-2148 . 485831) + (-2149 . 485740) (-2150 . 485449) (-2151 . 485123) (-2152 . 485049) + (-2153 . 484727) (-2154 . 484522) (-2155 . 484437) (-2156 . 484352) + (-2157 . 484267) (-2158 . 484182) (-2159 . 484097) (-2160 . 484012) + (-2161 . 483927) (-2162 . 483842) (-2163 . 483757) (-2164 . 483672) + (-2165 . 483587) (-2166 . 483502) (-2167 . 483417) (-2168 . 483332) + (-2169 . 483247) (-2170 . 483162) (-2171 . 483077) (-2172 . 482992) + (-2173 . 482907) (-2174 . 482822) (-2175 . 482737) (-2176 . 482652) + (-2177 . 482567) (-2178 . 482482) (-2179 . 482397) (-2180 . 482312) + (-2181 . 482210) (-2182 . 482122) (-2183 . 481914) (-2184 . 481856) + (-2185 . 481801) (-2186 . 481714) (-2187 . 481603) (-2188 . 481517) + (-2189 . 481371) (-2190 . 481309) (-2191 . 481281) (-2192 . 481253) + (-2193 . 481225) (-2194 . 481197) (-2195 . 481028) (-2196 . 480877) + (-2197 . 480726) (-2198 . 480554) (-2199 . 480346) (-2200 . 480225) + (-2201 . 480020) (-2202 . 479928) (-2203 . 479836) (-2204 . 479707) + (-2205 . 479612) (-2206 . 479518) (-2207 . 479423) (-2208 . 479299) + (-2209 . 479271) (-2210 . 479243) (-2211 . 479215) (-2212 . 479187) + (-2213 . 479159) (-2214 . 479131) (-2215 . 479103) (-2216 . 479075) + (-2217 . 479047) (-2218 . 479019) (-2219 . 478991) (-2220 . 478963) + (-2221 . 478935) (-2222 . 478907) (-2223 . 478879) (-2224 . 478851) + (-2225 . 478798) (-2226 . 478770) (-2227 . 478742) (-2228 . 478664) + (-2229 . 478611) (-2230 . 478558) (-2231 . 478505) (-2232 . 478427) + (-2233 . 478337) (-2234 . 478242) (-2235 . 478148) (-2236 . 478066) + (-2237 . 477760) (-2238 . 477564) (-2239 . 477469) (-2240 . 477361) + (-2241 . 476950) (-2242 . 476922) (-2243 . 476758) (-2244 . 476681) + (-2245 . 476494) (-2246 . 476315) (-2247 . 475891) (-2248 . 475739) + (-2249 . 475559) (-2250 . 475386) (-2251 . 475126) (-2252 . 474874) + (-2253 . 474063) (-2254 . 473896) (-2255 . 473678) (-2256 . 472854) + (-2257 . 472723) (-2258 . 472592) (-2259 . 472461) (-2260 . 472330) + (-2261 . 472199) (-2262 . 472068) (-2263 . 471873) (-2264 . 471679) + (-2265 . 471536) (-2266 . 471221) (-2267 . 471106) (-2268 . 470766) + (-2269 . 470606) (-2270 . 470467) (-2271 . 470328) (-2272 . 470199) + (-2273 . 470114) (-2274 . 470062) (-2275 . 469582) (-2276 . 468320) + (-2277 . 468193) (-2278 . 468051) (-2279 . 467715) (-2280 . 467610) + (-2281 . 467361) (-2282 . 467129) (-2283 . 467024) (-2284 . 466949) + (-2285 . 466874) (-2286 . 466799) (-2287 . 466740) (-2288 . 466670) + (-2289 . 466617) (-2290 . 466555) (-2291 . 466485) (-2292 . 466122) + (-2293 . 465835) (-2294 . 465725) (-2295 . 465538) (-2296 . 465445) + (-2297 . 465352) (-2298 . 465265) (-2299 . 465048) (-2300 . 464829) + (-2301 . 464411) (-2302 . 464139) (-2303 . 463996) (-2304 . 463903) + (-2305 . 463760) (-2306 . 463608) (-2307 . 463454) (-2308 . 463384) + (-2309 . 463177) (-2310 . 463000) (-2311 . 462791) (-2312 . 462614) + (-2313 . 462580) (-2314 . 462546) (-2315 . 462515) (-2316 . 462397) + (-2317 . 462102) (-2318 . 461824) (-2319 . 461703) (-2320 . 461576) + (-2321 . 461491) (-2322 . 461418) (-2323 . 461329) (-2324 . 461258) + (-2325 . 461202) (-2326 . 461146) (-2327 . 461090) (-2328 . 461020) + (-2329 . 460950) (-2330 . 460880) (-2331 . 460782) (-2332 . 460704) + (-2333 . 460626) (-2334 . 460483) (-2335 . 460404) (-2336 . 460332) + (-2337 . 460129) (-2338 . 460073) (-2339 . 459885) (-2340 . 459786) + (-2341 . 459668) (-2342 . 459547) (-2343 . 459404) (-2344 . 459261) + (-2345 . 459121) (-2346 . 458981) (-2347 . 458838) (-2348 . 458712) + (-2349 . 458583) (-2350 . 458460) (-2351 . 458337) (-2352 . 458232) + (-2353 . 458127) (-2354 . 458025) (-2355 . 457875) (-2356 . 457722) + (-2357 . 457569) (-2358 . 457425) (-2359 . 457271) (-2360 . 457195) + (-2361 . 457116) (-2362 . 456963) (-2363 . 456884) (-2364 . 456805) + (-2365 . 456726) (-2366 . 456624) (-2367 . 456565) (-2368 . 456503) + (-2369 . 456386) (-2370 . 456262) (-2371 . 456185) (-2372 . 456053) + (-2373 . 455747) (-2374 . 455564) (-2375 . 455019) (-2376 . 454799) + (-2377 . 454625) (-2378 . 454455) (-2379 . 454382) (-2380 . 454306) + (-2381 . 454227) (-2382 . 453930) (-2383 . 453768) (-2384 . 453534) + (-2385 . 453092) (-2386 . 452962) (-2387 . 452822) (-2388 . 452513) + (-2389 . 452211) (-2390 . 451895) (-2391 . 451489) (-2392 . 451421) + (-2393 . 451353) (-2394 . 451285) (-2395 . 451191) (-2396 . 451084) + (-2397 . 450977) (-2398 . 450876) (-2399 . 450775) (-2400 . 450674) + (-2401 . 450597) (-2402 . 450204) (-2403 . 449787) (-2404 . 449160) + (-2405 . 449096) (-2406 . 448977) (-2407 . 448858) (-2408 . 448750) + (-2409 . 448642) (-2410 . 448486) (-2411 . 447886) (-2412 . 447603) + (-2413 . 447524) (-2414 . 447470) (-2415 . 447302) (-2416 . 447180) + (-2417 . 446784) (-2418 . 446548) (-2419 . 446347) (-2420 . 446139) + (-2421 . 445946) (-2422 . 445679) (-2423 . 445605) (-2424 . 445426) + (-2425 . 445357) (-2426 . 445281) (-2427 . 445140) (-2428 . 444937) + (-2429 . 444793) (-2430 . 444543) (-2431 . 444235) (-2432 . 443879) + (-2433 . 443720) (-2434 . 443514) (-2435 . 443354) (-2436 . 443281) + (-2437 . 443247) (-2438 . 443182) (-2439 . 443145) (-2440 . 443008) + (-2441 . 442770) (-2442 . 442700) (-2443 . 442514) (-2444 . 442265) + (-2445 . 442109) (-2446 . 441586) (-2447 . 441389) (-2448 . 441177) + (-2449 . 441015) (-2450 . 440616) (-2451 . 440449) (-2452 . 439374) + (-2453 . 439251) (-2454 . 439034) (-2455 . 438904) (-2456 . 438774) + (-2457 . 438617) (-2458 . 438514) (-2459 . 438456) (-2460 . 438398) + (-2461 . 438292) (-2462 . 438186) (-2463 . 437270) (-2464 . 435143) + (-2465 . 434329) (-2466 . 432526) (-2467 . 432458) (-2468 . 432390) + (-2469 . 432322) (-2470 . 432254) (-2471 . 432186) (-2472 . 432108) + (-2473 . 431752) (-2474 . 431570) (-2475 . 431031) (-2476 . 430855) + (-2477 . 430634) (-2478 . 430413) (-2479 . 430192) (-2480 . 429974) + (-2481 . 429756) (-2482 . 429538) (-2483 . 429320) (-2484 . 429102) + (-2485 . 428884) (-2486 . 428783) (-2487 . 428050) (-2488 . 427995) + (-2489 . 427940) (-2490 . 427885) (-2491 . 427830) (-2492 . 427680) + (-2493 . 427432) (-2494 . 427271) (-2495 . 427091) (-2496 . 426804) + (-2497 . 426418) (-2498 . 425546) (-2499 . 425206) (-2500 . 425038) + (-2501 . 424816) (-2502 . 424566) (-2503 . 424218) (-2504 . 423208) + (-2505 . 422897) (-2506 . 422685) (-2507 . 422121) (-2508 . 421608) + (-2509 . 419852) (-2510 . 419380) (-2511 . 418781) (-2512 . 418531) + (-2513 . 418397) (-2514 . 418185) (-2515 . 418109) (-2516 . 418033) + (-2517 . 417926) (-2518 . 417744) (-2519 . 417579) (-2520 . 417401) + (-2521 . 416820) (-2522 . 416659) (-2523 . 416086) (-2524 . 416016) + (-2525 . 415941) (-2526 . 415869) (-2527 . 415731) (-2528 . 415544) + (-2529 . 415437) (-2530 . 415330) (-2531 . 415215) (-2532 . 415100) + (-2533 . 414985) (-2534 . 414707) (-2535 . 414557) (-2536 . 414414) + (-2537 . 414341) (-2538 . 414256) (-2539 . 414183) (-2540 . 414110) + (-2541 . 414037) (-2542 . 413894) (-2543 . 413744) (-2544 . 413570) + (-2545 . 413420) (-2546 . 413270) (-2547 . 413144) (-2548 . 412758) + (-2549 . 412474) (-2550 . 412190) (-2551 . 411781) (-2552 . 411497) + (-2553 . 411424) (-2554 . 411277) (-2555 . 411171) (-2556 . 411097) + (-2557 . 411027) (-2558 . 410948) (-2559 . 410871) (-2560 . 410794) + (-2561 . 410645) (-2562 . 410542) (-2563 . 410484) (-2564 . 410420) + (-2565 . 410356) (-2566 . 410259) (-2567 . 410162) (-2568 . 410002) + (-2569 . 409916) (-2570 . 409830) (-2571 . 409745) (-2572 . 409686) + (-2573 . 409627) (-2574 . 409568) (-2575 . 409509) (-2576 . 409339) + (-2577 . 409251) (-2578 . 409154) (-2579 . 409120) (-2580 . 409089) + (-2581 . 409005) (-2582 . 408949) (-2583 . 408887) (-2584 . 408853) + (-2585 . 408819) (-2586 . 408785) (-2587 . 408751) (-2588 . 408717) + (-2589 . 408683) (-2590 . 408649) (-2591 . 408615) (-2592 . 408581) + (-2593 . 408469) (-2594 . 408435) (-2595 . 408384) (-2596 . 408350) + (-2597 . 408253) (-2598 . 408191) (-2599 . 408100) (-2600 . 408009) + (-2601 . 407954) (-2602 . 407902) (-2603 . 407850) (-2604 . 407798) + (-2605 . 407746) (-2606 . 407323) (-2607 . 407157) (-2608 . 407104) + (-2609 . 407035) (-2610 . 406982) (-2611 . 406851) (-2612 . 406695) + (-2613 . 406174) (-2614 . 406033) (-2615 . 405999) (-2616 . 405944) + (-2617 . 405234) (-2618 . 404919) (-2619 . 404415) (-2620 . 404337) + (-2621 . 404285) (-2622 . 404233) (-2623 . 404049) (-2624 . 403997) + (-2625 . 403945) (-2626 . 403869) (-2627 . 403807) (-2628 . 403589) + (-2629 . 403522) (-2630 . 403428) (-2631 . 403334) (-2632 . 403151) + (-2633 . 403069) (-2634 . 402947) (-2635 . 402801) (-2636 . 402150) + (-2637 . 401448) (-2638 . 401344) (-2639 . 401243) (-2640 . 401142) + (-2641 . 401031) (-2642 . 400863) (-2643 . 400659) (-2644 . 400566) + (-2645 . 400489) (-2646 . 400433) (-2647 . 400363) (-2648 . 400243) + (-2649 . 400142) (-2650 . 400045) (-2651 . 399965) (-2652 . 399885) + (-2653 . 399808) (-2654 . 399738) (-2655 . 399668) (-2656 . 399598) + (-2657 . 399528) (-2658 . 399458) (-2659 . 399388) (-2660 . 399295) + (-2661 . 399167) (-2662 . 398925) (-2663 . 398755) (-2664 . 398386) + (-2665 . 398217) (-2666 . 398101) (-2667 . 397605) (-2668 . 397224) + (-2669 . 396978) (-2670 . 396886) (-2671 . 396789) (-2672 . 396127) + (-2673 . 396014) (-2674 . 395940) (-2675 . 395848) (-2676 . 395658) + (-2677 . 395468) (-2678 . 395397) (-2679 . 395326) (-2680 . 395245) + (-2681 . 395164) (-2682 . 395039) (-2683 . 394906) (-2684 . 394825) + (-2685 . 394751) (-2686 . 394586) (-2687 . 394429) (-2688 . 394201) + (-2689 . 394053) (-2690 . 393949) (-2691 . 393845) (-2692 . 393760) + (-2693 . 393392) (-2694 . 393311) (-2695 . 393224) (-2696 . 393143) + (-2697 . 392947) (-2698 . 392727) (-2699 . 392540) (-2700 . 392218) + (-2701 . 391925) (-2702 . 391632) (-2703 . 391322) (-2704 . 391005) + (-2705 . 390853) (-2706 . 390665) (-2707 . 390192) (-2708 . 390110) + (-2709 . 389894) (-2710 . 389678) (-2711 . 389419) (-2712 . 388998) + (-2713 . 388485) (-2714 . 388355) (-2715 . 388081) (-2716 . 387902) + (-2717 . 387787) (-2718 . 387683) (-2719 . 387628) (-2720 . 387551) + (-2721 . 387481) (-2722 . 387408) (-2723 . 387353) (-2724 . 387280) + (-2725 . 387225) (-2726 . 386870) (-2727 . 386462) (-2728 . 386309) + (-2729 . 386156) (-2730 . 386075) (-2731 . 385922) (-2732 . 385769) + (-2733 . 385634) (-2734 . 385499) (-2735 . 385364) (-2736 . 385229) + (-2737 . 385094) (-2738 . 384959) (-2739 . 384903) (-2740 . 384750) + (-2741 . 384639) (-2742 . 384528) (-2743 . 384443) (-2744 . 384333) + (-2745 . 384230) (-2746 . 380079) (-2747 . 379631) (-2748 . 379204) + (-2749 . 378587) (-2750 . 377986) (-2751 . 377768) (-2752 . 377590) + (-2753 . 377331) (-2754 . 376920) (-2755 . 376626) (-2756 . 376183) + (-2757 . 376005) (-2758 . 375612) (-2759 . 375219) (-2760 . 375034) + (-2761 . 374827) (-2762 . 374607) (-2763 . 374301) (-2764 . 374102) + (-2765 . 373473) (-2766 . 373316) (-2767 . 372927) (-2768 . 372876) + (-2769 . 372827) (-2770 . 372776) (-2771 . 372728) (-2772 . 372676) + (-2773 . 372530) (-2774 . 372478) (-2775 . 372332) (-2776 . 372280) + (-2777 . 372134) (-2778 . 372083) (-2779 . 371708) (-2780 . 371657) + (-2781 . 371608) (-2782 . 371557) (-2783 . 371509) (-2784 . 371457) + (-2785 . 371408) (-2786 . 371356) (-2787 . 371307) (-2788 . 371255) + (-2789 . 371206) (-2790 . 371140) (-2791 . 371022) (-2792 . 369860) + (-2793 . 369443) (-2794 . 369335) (-2795 . 369093) (-2796 . 368943) + (-2797 . 368793) (-2798 . 368632) (-2799 . 366425) (-2800 . 366164) + (-2801 . 366010) (-2802 . 365864) (-2803 . 365718) (-2804 . 365499) + (-2805 . 365367) (-2806 . 365292) (-2807 . 365217) (-2808 . 365082) + (-2809 . 364953) (-2810 . 364824) (-2811 . 364698) (-2812 . 364572) + (-2813 . 364446) (-2814 . 364320) (-2815 . 364217) (-2816 . 364117) + (-2817 . 364023) (-2818 . 363893) (-2819 . 363742) (-2820 . 363366) + (-2821 . 363252) (-2822 . 363011) (-2823 . 362553) (-2824 . 362243) + (-2825 . 361676) (-2826 . 361107) (-2827 . 360097) (-2828 . 359555) + (-2829 . 359242) (-2830 . 358904) (-2831 . 358573) (-2832 . 358253) + (-2833 . 358200) (-2834 . 358073) (-2835 . 357571) (-2836 . 356428) + (-2837 . 356373) (-2838 . 356318) (-2839 . 356242) (-2840 . 356123) + (-2841 . 356048) (-2842 . 355973) (-2843 . 355895) (-2844 . 355672) + (-2845 . 355613) (-2846 . 355554) (-2847 . 355451) (-2848 . 355348) + (-2849 . 355245) (-2850 . 355142) (-2851 . 355061) (-2852 . 354987) + (-2853 . 354772) (-2854 . 354538) (-2855 . 354504) (-2856 . 354470) + (-2857 . 354442) (-2858 . 354414) (-2859 . 354197) (-2860 . 353919) + (-2861 . 353769) (-2862 . 353639) (-2863 . 353509) (-2864 . 353409) + (-2865 . 353232) (-2866 . 353072) (-2867 . 352972) (-2868 . 352795) + (-2869 . 352635) (-2870 . 352476) (-2871 . 352337) (-2872 . 352187) + (-2873 . 352057) (-2874 . 351927) (-2875 . 351780) (-2876 . 351653) + (-2877 . 351550) (-2878 . 351443) (-2879 . 351346) (-2880 . 351181) + (-2881 . 351033) (-2882 . 350618) (-2883 . 350518) (-2884 . 350415) + (-2885 . 350327) (-2886 . 350247) (-2887 . 350097) (-2888 . 349967) + (-2889 . 349915) (-2890 . 349842) (-2891 . 349767) (-2892 . 349708) + (-2893 . 349596) (-2894 . 349284) (-2895 . 349107) (-2896 . 347509) + (-2897 . 346881) (-2898 . 346821) (-2899 . 346703) (-2900 . 346585) + (-2901 . 346441) (-2902 . 346289) (-2903 . 346130) (-2904 . 345971) + (-2905 . 345765) (-2906 . 345578) (-2907 . 345426) (-2908 . 345271) + (-2909 . 345116) (-2910 . 344964) (-2911 . 344827) (-2912 . 344404) + (-2913 . 344278) (-2914 . 344152) (-2915 . 344026) (-2916 . 343886) + (-2917 . 343745) (-2918 . 343604) (-2919 . 343460) (-2920 . 342712) + (-2921 . 342554) (-2922 . 342368) (-2923 . 342213) (-2924 . 341975) + (-2925 . 341730) (-2926 . 341485) (-2927 . 341275) (-2928 . 341138) + (-2929 . 340928) (-2930 . 340791) (-2931 . 340581) (-2932 . 340444) + (-2933 . 340234) (-2934 . 339931) (-2935 . 339787) (-2936 . 339646) + (-2937 . 339423) (-2938 . 339282) (-2939 . 339060) (-2940 . 338863) + (-2941 . 338707) (-2942 . 338380) (-2943 . 338221) (-2944 . 338062) + (-2945 . 337903) (-2946 . 337732) (-2947 . 337561) (-2948 . 337387) + (-2949 . 337035) (-2950 . 336912) (-2951 . 336750) (-2952 . 336677) + (-2953 . 336604) (-2954 . 336531) (-2955 . 336458) (-2956 . 336385) + (-2957 . 336312) (-2958 . 336189) (-2959 . 336016) (-2960 . 335893) + (-2961 . 335807) (-2962 . 335741) (-2963 . 335675) (-2964 . 335609) + (-2965 . 335543) (-2966 . 335477) (-2967 . 335411) (-2968 . 335345) + (-2969 . 335279) (-2970 . 335213) (-2971 . 335147) (-2972 . 335081) + (-2973 . 335015) (-2974 . 334949) (-2975 . 334883) (-2976 . 334817) + (-2977 . 334751) (-2978 . 334685) (-2979 . 334619) (-2980 . 334553) + (-2981 . 334487) (-2982 . 334421) (-2983 . 334355) (-2984 . 334289) + (-2985 . 334223) (-2986 . 334157) (-2987 . 334091) (-2988 . 333444) + (-2989 . 332797) (-2990 . 332669) (-2991 . 332546) (-2992 . 332423) + (-2993 . 332282) (-2994 . 332128) (-2995 . 331984) (-2996 . 331809) + (-2997 . 331199) (-2998 . 331075) (-2999 . 330951) (-3000 . 330273) + (-3001 . 329576) (-3002 . 329475) (-3003 . 329419) (-3004 . 329363) + (-3005 . 329307) (-3006 . 329251) (-3007 . 329192) (-3008 . 329128) + (-3009 . 329020) (-3010 . 328912) (-3011 . 328804) (-3012 . 328525) + (-3013 . 328451) (-3014 . 328225) (-3015 . 328144) (-3016 . 328066) + (-3017 . 327988) (-3018 . 327910) (-3019 . 327831) (-3020 . 327753) + (-3021 . 327660) (-3022 . 327561) (-3023 . 327493) (-3024 . 327444) + (-3025 . 326753) (-3026 . 326113) (-3027 . 325322) (-3028 . 325244) + (-3029 . 325146) (-3030 . 325057) (-3031 . 324968) (-3032 . 324894) + (-3033 . 324820) (-3034 . 324746) (-3035 . 324691) (-3036 . 324636) + (-3037 . 324570) (-3038 . 324504) (-3039 . 324442) (-3040 . 324167) + (-3041 . 323675) (-3042 . 323217) (-3043 . 322964) (-3044 . 322776) + (-3045 . 322435) (-3046 . 322139) (-3047 . 321971) (-3048 . 321840) + (-3049 . 321700) (-3050 . 321545) (-3051 . 321376) (-3052 . 319990) + (-3053 . 319857) (-3054 . 319716) (-3055 . 319487) (-3056 . 319428) + (-3057 . 319372) (-3058 . 319316) (-3059 . 319051) (-3060 . 318839) + (-3061 . 318700) (-3062 . 318593) (-3063 . 318476) (-3064 . 318410) + (-3065 . 318337) (-3066 . 318223) (-3067 . 317970) (-3068 . 317870) + (-3069 . 317676) (-3070 . 317368) (-3071 . 316902) (-3072 . 316797) + (-3073 . 316691) (-3074 . 316542) (-3075 . 316402) (-3076 . 315990) + (-3077 . 315746) (-3078 . 315088) (-3079 . 314935) (-3080 . 314821) + (-3081 . 314711) (-3082 . 313891) (-3083 . 313697) (-3084 . 312671) + (-3085 . 312223) (-3086 . 310834) (-3087 . 309983) (-3088 . 309934) + (-3089 . 309885) (-3090 . 309836) (-3091 . 309769) (-3092 . 309694) + (-3093 . 309504) (-3094 . 309432) (-3095 . 309357) (-3096 . 309285) + (-3097 . 309168) (-3098 . 309117) (-3099 . 309038) (-3100 . 308959) + (-3101 . 308880) (-3102 . 308829) (-3103 . 308585) (-3104 . 308283) + (-3105 . 308201) (-3106 . 308119) (-3107 . 308058) (-3108 . 307669) + (-3109 . 306803) (-3110 . 306230) (-3111 . 305013) (-3112 . 304206) + (-3113 . 303956) (-3114 . 303706) (-3115 . 303281) (-3116 . 303037) + (-3117 . 302793) (-3118 . 302549) (-3119 . 302305) (-3120 . 302061) + (-3121 . 301817) (-3122 . 301575) (-3123 . 301333) (-3124 . 301091) + (-3125 . 300849) (-3126 . 300271) (-3127 . 300155) (-3128 . 300101) + (-3129 . 299259) (-3130 . 299228) (-3131 . 298883) (-3132 . 298657) + (-3133 . 298558) (-3134 . 298459) (-3135 . 296693) (-3136 . 296581) + (-3137 . 295531) (-3138 . 295439) (-3139 . 294517) (-3140 . 294184) + (-3141 . 293851) (-3142 . 293748) (-3143 . 293637) (-3144 . 293526) + (-3145 . 293415) (-3146 . 293304) (-3147 . 292217) (-3148 . 292097) + (-3149 . 291962) (-3150 . 291830) (-3151 . 291698) (-3152 . 291404) + (-3153 . 291110) (-3154 . 290765) (-3155 . 290539) (-3156 . 290313) + (-3157 . 290202) (-3158 . 290091) (-3159 . 288629) (-3160 . 286925) + (-3161 . 286616) (-3162 . 286464) (-3163 . 285941) (-3164 . 285612) + (-3165 . 285419) (-3166 . 285226) (-3167 . 285033) (-3168 . 284840) + (-3169 . 284727) (-3170 . 284604) (-3171 . 284490) (-3172 . 284376) + (-3173 . 284283) (-3174 . 284190) (-3175 . 284080) (-3176 . 283879) + (-3177 . 282735) (-3178 . 282642) (-3179 . 282528) (-3180 . 282435) + (-3181 . 282188) (-3182 . 282077) (-3183 . 281863) (-3184 . 281745) + (-3185 . 281448) (-3186 . 280720) (-3187 . 280144) (-3188 . 279666) + (-3189 . 279422) (-3190 . 279178) (-3191 . 278835) (-3192 . 278229) + (-3193 . 277786) (-3194 . 277631) (-3195 . 277487) (-3196 . 277167) + (-3197 . 277012) (-3198 . 276872) (-3199 . 276732) (-3200 . 276592) + (-3201 . 276317) (-3202 . 276098) (-3203 . 275579) (-3204 . 275367) + (-3205 . 275155) (-3206 . 274775) (-3207 . 274601) (-3208 . 274392) + (-3209 . 274084) (-3210 . 273892) (-3211 . 273719) (-3212 . 272583) + (-3213 . 272218) (-3214 . 272018) (-3215 . 271818) (-3216 . 270982) + (-3217 . 270954) (-3218 . 270886) (-3219 . 270816) (-3220 . 270652) + (-3221 . 270624) (-3222 . 270596) (-3223 . 270542) (-3224 . 270392) + (-3225 . 270333) (-3226 . 269637) (-3227 . 268251) (-3228 . 268190) + (-3229 . 267866) (-3230 . 267794) (-3231 . 267737) (-3232 . 267680) + (-3233 . 267623) (-3234 . 267566) (-3235 . 267491) (-3236 . 266901) + (-3237 . 266541) (-3238 . 266467) (-3239 . 266407) (-3240 . 266289) + (-3241 . 265346) (-3242 . 265219) (-3243 . 265006) (-3244 . 264932) + (-3245 . 264878) (-3246 . 264824) (-3247 . 264715) (-3248 . 264432) + (-3249 . 264324) (-3250 . 264221) (-3251 . 264060) (-3252 . 263959) + (-3253 . 263861) (-3254 . 263723) (-3255 . 263585) (-3256 . 263447) + (-3257 . 263185) (-3258 . 262976) (-3259 . 262838) (-3260 . 262547) + (-3261 . 262395) (-3262 . 262120) (-3263 . 261900) (-3264 . 261748) + (-3265 . 261596) (-3266 . 261444) (-3267 . 261292) (-3268 . 261140) + (-3269 . 260933) (-3270 . 260546) (-3271 . 260215) (-3272 . 259876) + (-3273 . 259529) (-3274 . 259190) (-3275 . 258851) (-3276 . 258470) + (-3277 . 258089) (-3278 . 257708) (-3279 . 257343) (-3280 . 256625) + (-3281 . 256278) (-3282 . 255833) (-3283 . 255408) (-3284 . 254797) + (-3285 . 254205) (-3286 . 253818) (-3287 . 253487) (-3288 . 253100) + (-3289 . 252769) (-3290 . 252549) (-3291 . 252028) (-3292 . 251815) + (-3293 . 251602) (-3294 . 251389) (-3295 . 251211) (-3296 . 250998) + (-3297 . 250820) (-3298 . 250438) (-3299 . 250260) (-3300 . 250050) + (-3301 . 249960) (-3302 . 249870) (-3303 . 249779) (-3304 . 249667) + (-3305 . 249577) (-3306 . 249470) (-3307 . 249281) (-3308 . 249225) + (-3309 . 249144) (-3310 . 249063) (-3311 . 248982) (-3312 . 248905) + (-3313 . 248770) (-3314 . 248635) (-3315 . 248511) (-3316 . 248390) + (-3317 . 248272) (-3318 . 248136) (-3319 . 248003) (-3320 . 247884) + (-3321 . 247626) (-3322 . 247341) (-3323 . 247269) (-3324 . 247173) + (-3325 . 247032) (-3326 . 246975) (-3327 . 246918) (-3328 . 246858) + (-3329 . 246779) (-3330 . 246384) (-3331 . 245862) (-3332 . 245585) + (-3333 . 245165) (-3334 . 245053) (-3335 . 244615) (-3336 . 244385) + (-3337 . 244182) (-3338 . 244000) (-3339 . 243870) (-3340 . 243664) + (-3341 . 243457) (-3342 . 243267) (-3343 . 242720) (-3344 . 242464) + (-3345 . 242173) (-3346 . 241879) (-3347 . 241582) (-3348 . 241282) + (-3349 . 241152) (-3350 . 241019) (-3351 . 240883) (-3352 . 240744) + (-3353 . 239527) (-3354 . 239219) (-3355 . 238855) (-3356 . 238758) + (-3357 . 238518) (-3358 . 238243) (-3359 . 237968) (-3360 . 237709) + (-3361 . 237535) (-3362 . 237457) (-3363 . 237370) (-3364 . 237270) + (-3365 . 237176) (-3366 . 237095) (-3367 . 237025) (-3368 . 236234) + (-3369 . 236164) (-3370 . 235836) (-3371 . 235766) (-3372 . 235438) + (-3373 . 235368) (-3374 . 234923) (-3375 . 234853) (-3376 . 234749) + (-3377 . 234675) (-3378 . 234601) (-3379 . 234530) (-3380 . 234188) + (-3381 . 234060) (-3382 . 233983) (-3383 . 233752) (-3384 . 233609) + (-3385 . 233466) (-3386 . 233127) (-3387 . 232797) (-3388 . 232584) + (-3389 . 232329) (-3390 . 231979) (-3391 . 231754) (-3392 . 231529) + (-3393 . 231304) (-3394 . 231079) (-3395 . 230866) (-3396 . 230653) + (-3397 . 230503) (-3398 . 230322) (-3399 . 230217) (-3400 . 230095) + (-3401 . 229987) (-3402 . 229879) (-3403 . 229554) (-3404 . 229290) + (-3405 . 228979) (-3406 . 228677) (-3407 . 228368) (-3408 . 227649) + (-3409 . 227073) (-3410 . 226898) (-3411 . 226754) (-3412 . 226599) + (-3413 . 226476) (-3414 . 226371) (-3415 . 226256) (-3416 . 226161) + (-3417 . 225680) (-3418 . 225570) (-3419 . 225460) (-3420 . 225350) + (-3421 . 224278) (-3422 . 223771) (-3423 . 223704) (-3424 . 223631) + (-3425 . 222758) (-3426 . 222685) (-3427 . 222630) (-3428 . 222575) + (-3429 . 222543) (-3430 . 222457) (-3431 . 222425) (-3432 . 222339) + (-3433 . 221919) (-3434 . 221499) (-3435 . 220947) (-3436 . 219843) + (-3437 . 218133) (-3438 . 216583) (-3439 . 215791) (-3440 . 215291) + (-3441 . 214805) (-3442 . 214403) (-3443 . 213753) (-3444 . 213678) + (-3445 . 213587) (-3446 . 213516) (-3447 . 213445) (-3448 . 213389) + (-3449 . 213269) (-3450 . 213215) (-3451 . 213154) (-3452 . 213100) + (-3453 . 212997) (-3454 . 212557) (-3455 . 212117) (-3456 . 211677) + (-3457 . 211155) (-3458 . 210994) (-3459 . 210833) (-3460 . 210522) + (-3461 . 210436) (-3462 . 210346) (-3463 . 209988) (-3464 . 209871) + (-3465 . 209790) (-3466 . 209632) (-3467 . 209519) (-3468 . 209444) + (-3469 . 208598) (-3470 . 207416) (-3471 . 207317) (-3472 . 207218) + (-3473 . 206889) (-3474 . 206811) (-3475 . 206736) (-3476 . 206630) + (-3477 . 206474) (-3478 . 206367) (-3479 . 206232) (-3480 . 206097) + (-3481 . 205975) (-3482 . 205880) (-3483 . 205732) (-3484 . 205637) + (-3485 . 205482) (-3486 . 205327) (-3487 . 204775) (-3488 . 204223) + (-3489 . 203608) (-3490 . 203056) (-3491 . 202504) (-3492 . 201952) + (-3493 . 201399) (-3494 . 200846) (-3495 . 200293) (-3496 . 199740) + (-3497 . 199187) (-3498 . 198634) (-3499 . 198082) (-3500 . 197530) + (-3501 . 196978) (-3502 . 196426) (-3503 . 195874) (-3504 . 195322) + (-3505 . 195218) (-3506 . 194633) (-3507 . 194528) (-3508 . 194453) + (-3509 . 194311) (-3510 . 194219) (-3511 . 194128) (-3512 . 194036) + (-3513 . 193941) (-3514 . 193836) (-3515 . 193713) (-3516 . 193591) + (-3517 . 193227) (-3518 . 193105) (-3519 . 193007) (-3520 . 192646) + (-3521 . 192117) (-3522 . 192042) (-3523 . 191967) (-3524 . 191875) + (-3525 . 191694) (-3526 . 191599) (-3527 . 191524) (-3528 . 191433) + (-3529 . 191342) (-3530 . 191183) (-3531 . 190634) (-3532 . 190085) + (-3533 . 187378) (-3534 . 187206) (-3535 . 185796) (-3536 . 185236) + (-3537 . 185121) (-3538 . 184749) (-3539 . 184686) (-3540 . 184623) + (-3541 . 184560) (-3542 . 184282) (-3543 . 184015) (-3544 . 183963) + (-3545 . 183322) (-3546 . 183271) (-3547 . 183083) (-3548 . 183010) + (-3549 . 182930) (-3550 . 182817) (-3551 . 182627) (-3552 . 182263) + (-3553 . 181991) (-3554 . 181940) (-3555 . 181889) (-3556 . 181819) + (-3557 . 181700) (-3558 . 181671) (-3559 . 181567) (-3560 . 181445) + (-3561 . 181391) (-3562 . 181214) (-3563 . 181153) (-3564 . 180972) + (-3565 . 180911) (-3566 . 180839) (-3567 . 180364) (-3568 . 179990) + (-3569 . 176458) (-3570 . 176406) (-3571 . 176278) (-3572 . 176128) + (-3573 . 176076) (-3574 . 175935) (-3575 . 173877) (-3576 . 166270) + (-3577 . 166119) (-3578 . 166049) (-3579 . 165998) (-3580 . 165948) + (-3581 . 165897) (-3582 . 165846) (-3583 . 165650) (-3584 . 165508) + (-3585 . 165394) (-3586 . 165273) (-3587 . 165155) (-3588 . 165043) + (-3589 . 164925) (-3590 . 164820) (-3591 . 164739) (-3592 . 164635) + (-3593 . 163701) (-3594 . 163481) (-3595 . 163244) (-3596 . 163162) + (-3597 . 162818) (-3598 . 161679) (-3599 . 161605) (-3600 . 161510) + (-3601 . 161436) (-3602 . 161232) (-3603 . 161141) (-3604 . 161025) + (-3605 . 160912) (-3606 . 160821) (-3607 . 160730) (-3608 . 160641) + (-3609 . 160552) (-3610 . 160463) (-3611 . 160375) (-3612 . 159887) + (-3613 . 159823) (-3614 . 159759) (-3615 . 159695) (-3616 . 159634) + (-3617 . 158894) (-3618 . 158833) (-3619 . 158772) (-3620 . 158146) + (-3621 . 158094) (-3622 . 157966) (-3623 . 157902) (-3624 . 157848) + (-3625 . 157739) (-3626 . 156442) (-3627 . 156361) (-3628 . 156272) + (-3629 . 156214) (-3630 . 156074) (-3631 . 155989) (-3632 . 155915) + (-3633 . 155830) (-3634 . 155773) (-3635 . 155557) (-3636 . 155418) + (-3637 . 154811) (-3638 . 154257) (-3639 . 153703) (-3640 . 153149) + (-3641 . 152542) (-3642 . 151988) (-3643 . 151428) (-3644 . 150868) + (-3645 . 150606) (-3646 . 150167) (-3647 . 149834) (-3648 . 149495) + (-3649 . 149190) (-3650 . 149057) (-3651 . 148924) (-3652 . 148536) + (-3653 . 148443) (-3654 . 148350) (-3655 . 148257) (-3656 . 148164) + (-3657 . 148071) (-3658 . 147978) (-3659 . 147885) (-3660 . 147792) + (-3661 . 147699) (-3662 . 147606) (-3663 . 147513) (-3664 . 147420) + (-3665 . 147327) (-3666 . 147234) (-3667 . 147141) (-3668 . 147048) + (-3669 . 146955) (-3670 . 146862) (-3671 . 146769) (-3672 . 146676) + (-3673 . 146583) (-3674 . 146490) (-3675 . 146397) (-3676 . 146304) + (-3677 . 146211) (-3678 . 146026) (-3679 . 145716) (-3680 . 144088) + (-3681 . 143934) (-3682 . 143797) (-3683 . 143655) (-3684 . 143453) + (-3685 . 141526) (-3686 . 141399) (-3687 . 141275) (-3688 . 141148) + (-3689 . 140927) (-3690 . 140706) (-3691 . 140579) (-3692 . 140378) + (-3693 . 140202) (-3694 . 139685) (-3695 . 139168) (-3696 . 138891) + (-3697 . 138482) (-3698 . 137965) (-3699 . 137781) (-3700 . 137639) + (-3701 . 137144) (-3702 . 136513) (-3703 . 136457) (-3704 . 136363) + (-3705 . 136244) (-3706 . 136174) (-3707 . 136101) (-3708 . 135871) + (-3709 . 135252) (-3710 . 134822) (-3711 . 134740) (-3712 . 134598) + (-3713 . 134128) (-3714 . 134006) (-3715 . 133884) (-3716 . 133744) + (-3717 . 133557) (-3718 . 133441) (-3719 . 133161) (-3720 . 133093) + (-3721 . 132895) (-3722 . 132715) (-3723 . 132560) (-3724 . 132453) + (-3725 . 132402) (-3726 . 132025) (-3727 . 131497) (-3728 . 131275) + (-3729 . 131053) (-3730 . 130814) (-3731 . 130724) (-3732 . 128982) + (-3733 . 128400) (-3734 . 128322) (-3735 . 122862) (-3736 . 122072) + (-3737 . 121695) (-3738 . 121624) (-3739 . 121359) (-3740 . 121184) + (-3741 . 120699) (-3742 . 120277) (-3743 . 119837) (-3744 . 118974) + (-3745 . 118850) (-3746 . 118723) (-3747 . 118614) (-3748 . 118462) + (-3749 . 118348) (-3750 . 118209) (-3751 . 118128) (-3752 . 118047) + (-3753 . 117943) (-3754 . 117525) (-3755 . 117104) (-3756 . 117030) + (-3757 . 116767) (-3758 . 116503) (-3759 . 116124) (-3760 . 115425) + (-3761 . 114382) (-3762 . 114323) (-3763 . 114249) (-3764 . 114175) + (-3765 . 114053) (-3766 . 113803) (-3767 . 113717) (-3768 . 113642) + (-3769 . 113567) (-3770 . 113472) (-3771 . 109697) (-3772 . 108527) + (-3773 . 107867) (-3774 . 107683) (-3775 . 105478) (-3776 . 105153) + (-3777 . 104671) (-3778 . 104230) (-3779 . 103995) (-3780 . 103750) + (-3781 . 103660) (-3782 . 102225) (-3783 . 102147) (-3784 . 102042) + (-3785 . 100566) (-3786 . 100161) (-3787 . 99760) (-3788 . 99664) + (-3789 . 99585) (-3790 . 99430) (-3791 . 98312) (-3792 . 98233) + (-3793 . 98157) (-3794 . 97811) (-3795 . 97754) (-3796 . 97682) + (-3797 . 97625) (-3798 . 97568) (-3799 . 97438) (-3800 . 97236) + (-3801 . 96868) (-3802 . 96447) (-3803 . 92637) (-3804 . 92035) + (-3805 . 91568) (-3806 . 91355) (-3807 . 91142) (-3808 . 90976) + (-3809 . 90763) (-3810 . 90597) (-3811 . 90431) (-3812 . 90265) + (-3813 . 90099) (-3814 . 89829) (-3815 . 84415) (** . 81462) (-3817 . 81046) + (-3818 . 80805) (-3819 . 80749) (-3820 . 80257) (-3821 . 77449) + (-3822 . 77299) (-3823 . 77135) (-3824 . 76971) (-3825 . 76875) + (-3826 . 76757) (-3827 . 76633) (-3828 . 76490) (-3829 . 76319) + (-3830 . 76193) (-3831 . 76049) (-3832 . 75897) (-3833 . 75738) + (-3834 . 75225) (-3835 . 75136) (-3836 . 74471) (-3837 . 74279) + (-3838 . 74184) (-3839 . 73876) (-3840 . 72704) (-3841 . 72498) + (-3842 . 71323) (-3843 . 71248) (-3844 . 70067) (-3845 . 66565) + (-3846 . 53985) (-3847 . 53621) (-3848 . 53344) (-3849 . 53252) + (-3850 . 53159) (-3851 . 52882) (-3852 . 52789) (-3853 . 52696) + (-3854 . 52603) (-3855 . 52219) (-3856 . 52148) (-3857 . 52056) + (-3858 . 51898) (-3859 . 51544) (-3860 . 51386) (-3861 . 51278) + (-3862 . 51249) (-3863 . 51182) (-3864 . 51028) (-3865 . 50870) + (-3866 . 50476) (-3867 . 50401) (-3868 . 50295) (-3869 . 50223) + (-3870 . 50145) (-3871 . 50072) (-3872 . 49999) (-3873 . 49926) + (-3874 . 49854) (-3875 . 49782) (-3876 . 49709) (-3877 . 49468) + (-3878 . 49128) (-3879 . 48980) (-3880 . 48907) (-3881 . 48834) + (-3882 . 48761) (-3883 . 48507) (-3884 . 48363) (-3885 . 47027) + (-3886 . 46833) (-3887 . 46562) (-3888 . 46414) (-3889 . 46266) + (-3890 . 46026) (-3891 . 45832) (-3892 . 45564) (-3893 . 45368) + (-3894 . 45339) (-3895 . 45238) (-3896 . 45137) (-3897 . 45036) + (-3898 . 44935) (-3899 . 44834) (-3900 . 44733) (-3901 . 44632) + (-3902 . 44531) (-3903 . 44430) (-3904 . 44329) (-3905 . 44214) + (-3906 . 44099) (-3907 . 44048) (-3908 . 43931) (-3909 . 43873) + (-3910 . 43772) (-3911 . 43671) (-3912 . 43570) (-3913 . 43454) + (-3914 . 43425) (-3915 . 42694) (-3916 . 42569) (-3917 . 42444) + (-3918 . 42304) (-3919 . 42186) (-3920 . 42061) (-3921 . 41906) + (-3922 . 40923) (-3923 . 40064) (-3924 . 40010) (-3925 . 39956) + (-3926 . 39748) (-3927 . 39376) (-3928 . 38965) (-3929 . 38607) + (-3930 . 38249) (-3931 . 38097) (-3932 . 37795) (-3933 . 37639) + (-3934 . 37313) (-3935 . 37243) (-3936 . 37173) (-3937 . 36964) + (-3938 . 36355) (-3939 . 36151) (-3940 . 35778) (-3941 . 35269) + (-3942 . 35004) (-3943 . 34523) (-3944 . 34042) (-3945 . 33917) + (-3946 . 32817) (-3947 . 31741) (-3948 . 31168) (-3949 . 30950) + (-3950 . 22624) (-3951 . 22439) (-3952 . 20356) (-3953 . 18188) + (-3954 . 18042) (-3955 . 17864) (-3956 . 17457) (-3957 . 17162) + (-3958 . 16814) (-3959 . 16648) (-3960 . 16482) (-3961 . 16071) (-3962 . 14964) (* . 10917) (-3964 . 10663) (-3965 . 10479) (-3966 . 9522) (-3967 . 9469) (-3968 . 9409) (-3969 . 9140) (-3970 . 8513) (-3971 . 7240) (-3972 . 5996) (-3973 . 5127) (-3974 . 3864) (-3975 . 420) (-3976 . 306) |