;;; -*- Mode: LISP; package:maxima; syntax:common-lisp; -*- Saved by 
(DSKSETQ $RESOLCAYLEY
         '((MPLUS SIMP) ((MEXPT SIMP) $E2 12)
           ((MTIMES SIMP) -16 $E1 ((MEXPT SIMP) $E2 10) $E3)
           ((MTIMES SIMP) 96 ((MEXPT SIMP) $E1 2) ((MEXPT SIMP) $E2 8)
            ((MEXPT SIMP) $E3 2))
           ((MTIMES SIMP) 32 ((MEXPT SIMP) $E2 9) ((MEXPT SIMP) $E3 2))
           ((MTIMES SIMP) -256 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 6) ((MEXPT SIMP) $E3 3))
           ((MTIMES SIMP) -384 $E1 ((MEXPT SIMP) $E2 7)
            ((MEXPT SIMP) $E3 3))
           ((MTIMES SIMP) 256 ((MEXPT SIMP) $E1 4) ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E3 4))
           ((MTIMES SIMP) 1536 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 5) ((MEXPT SIMP) $E3 4))
           ((MTIMES SIMP) 384 ((MEXPT SIMP) $E2 6)
            ((MEXPT SIMP) $E3 4))
           ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 5))
           ((MTIMES SIMP) -3072 $E1 ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E3 5))
           ((MTIMES SIMP) 6144 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 6))
           ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E3 6))
           ((MTIMES SIMP) -8192 $E1 $E2 ((MEXPT SIMP) $E3 7))
           ((MTIMES SIMP) 4096 ((MEXPT SIMP) $E3 8))
           ((MTIMES SIMP) 32 ((MEXPT SIMP) $E1 2) ((MEXPT SIMP) $E2 9)
            $E4)
           ((MTIMES SIMP) -56 ((MEXPT SIMP) $E2 10) $E4)
           ((MTIMES SIMP) -384 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 7) $E3 $E4)
           ((MTIMES SIMP) 672 $E1 ((MEXPT SIMP) $E2 8) $E3 $E4)
           ((MTIMES SIMP) 1536 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 5) ((MEXPT SIMP) $E3 2) $E4)
           ((MTIMES SIMP) -1920 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 6) ((MEXPT SIMP) $E3 2) $E4)
           ((MTIMES SIMP) -1344 ((MEXPT SIMP) $E2 7)
            ((MEXPT SIMP) $E3 2) $E4)
           ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 5)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 3) $E4)
           ((MTIMES SIMP) -2560 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E3 3) $E4)
           ((MTIMES SIMP) 10752 $E1 ((MEXPT SIMP) $E2 5)
            ((MEXPT SIMP) $E3 3) $E4)
           ((MTIMES SIMP) 12288 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 4) $E4)
           ((MTIMES SIMP) -15360 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 4) $E4)
           ((MTIMES SIMP) -10752 ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E3 4) $E4)
           ((MTIMES SIMP) -24576 ((MEXPT SIMP) $E1 3) $E2
            ((MEXPT SIMP) $E3 5) $E4)
           ((MTIMES SIMP) 43008 $E1 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E3 5) $E4)
           ((MTIMES SIMP) 16384 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E3 6) $E4)
           ((MTIMES SIMP) -28672 $E2 ((MEXPT SIMP) $E3 6) $E4)
           ((MTIMES SIMP) 384 ((MEXPT SIMP) $E1 4) ((MEXPT SIMP) $E2 6)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -1344 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 7) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 1136 ((MEXPT SIMP) $E2 8)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -3072 ((MEXPT SIMP) $E1 5)
            ((MEXPT SIMP) $E2 4) $E3 ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 10752 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 5) $E3 ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -8960 $E1 ((MEXPT SIMP) $E2 6) $E3
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 6144 ((MEXPT SIMP) $E1 6)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -15360 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -4352 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 18176 ((MEXPT SIMP) $E2 5)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -24576 ((MEXPT SIMP) $E1 5) $E2
            ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 88064 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 3)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -70656 $E1 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 24576 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E3 4) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) -94208 ((MEXPT SIMP) $E1 2) $E2
            ((MEXPT SIMP) $E3 4) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 72704 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E3 4) ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 8192 $E1 ((MEXPT SIMP) $E3 5)
            ((MEXPT SIMP) $E4 2))
           ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 6)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -10752 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 18176 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 5) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -10496 ((MEXPT SIMP) $E2 6)
            ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -8192 ((MEXPT SIMP) $E1 7) $E2 $E3
            ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 43008 ((MEXPT SIMP) $E1 5)
            ((MEXPT SIMP) $E2 2) $E3 ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -70656 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 3) $E3 ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 40960 $E1 ((MEXPT SIMP) $E2 4) $E3
            ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 16384 ((MEXPT SIMP) $E1 6)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -94208 ((MEXPT SIMP) $E1 4) $E2
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 149504 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -89088 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 16384 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 12288 $E1 $E2 ((MEXPT SIMP) $E3 3)
            ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) -40960 ((MEXPT SIMP) $E3 4)
            ((MEXPT SIMP) $E4 3))
           ((MTIMES SIMP) 4096 ((MEXPT SIMP) $E1 8)
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) -28672 ((MEXPT SIMP) $E1 6) $E2
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) 72704 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) -89088 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) 48896 ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) 8192 ((MEXPT SIMP) $E1 5) $E3
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) 12288 ((MEXPT SIMP) $E1 3) $E2 $E3
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) -49152 $E1 ((MEXPT SIMP) $E2 2) $E3
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) -77824 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) 143360 $E2 ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 4))
           ((MTIMES SIMP) -40960 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E4 5))
           ((MTIMES SIMP) 143360 ((MEXPT SIMP) $E1 2) $E2
            ((MEXPT SIMP) $E4 5))
           ((MTIMES SIMP) -112640 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E4 5))
           ((MTIMES SIMP) -40960 $E1 $E3 ((MEXPT SIMP) $E4 5))
           ((MTIMES SIMP) 102400 ((MEXPT SIMP) $E4 6))
           ((MTIMES SIMP) -96 $E1 ((MEXPT SIMP) $E2 9) $E5)
           ((MTIMES SIMP) 1152 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 7) $E3 $E5)
           ((MTIMES SIMP) 160 ((MEXPT SIMP) $E2 8) $E3 $E5)
           ((MTIMES SIMP) -4608 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 5) ((MEXPT SIMP) $E3 2) $E5)
           ((MTIMES SIMP) -4096 $E1 ((MEXPT SIMP) $E2 6)
            ((MEXPT SIMP) $E3 2) $E5)
           ((MTIMES SIMP) 6144 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 3) $E5)
           ((MTIMES SIMP) 25088 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E3 3) $E5)
           ((MTIMES SIMP) 2560 ((MEXPT SIMP) $E2 5)
            ((MEXPT SIMP) $E3 3) $E5)
           ((MTIMES SIMP) -45056 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 4) $E5)
           ((MTIMES SIMP) -36864 $E1 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E3 4) $E5)
           ((MTIMES SIMP) 106496 ((MEXPT SIMP) $E1 2) $E2
            ((MEXPT SIMP) $E3 5) $E5)
           ((MTIMES SIMP) 10240 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E3 5) $E5)
           ((MTIMES SIMP) -81920 $E1 ((MEXPT SIMP) $E3 6) $E5)
           ((MTIMES SIMP) -2304 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 6) $E4 $E5)
           ((MTIMES SIMP) 3968 $E1 ((MEXPT SIMP) $E2 7) $E4 $E5)
           ((MTIMES SIMP) 18432 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 4) $E3 $E4 $E5)
           ((MTIMES SIMP) -29184 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 5) $E3 $E4 $E5)
           ((MTIMES SIMP) -1280 ((MEXPT SIMP) $E2 6) $E3 $E4 $E5)
           ((MTIMES SIMP) -36864 ((MEXPT SIMP) $E1 5)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2) $E4 $E5)
           ((MTIMES SIMP) 8192 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 2) $E4 $E5)
           ((MTIMES SIMP) 70144 $E1 ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E3 2) $E4 $E5)
           ((MTIMES SIMP) 180224 ((MEXPT SIMP) $E1 4) $E2
            ((MEXPT SIMP) $E3 3) $E4 $E5)
           ((MTIMES SIMP) -239616 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 3) $E4 $E5)
           ((MTIMES SIMP) 15360 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E3 3) $E4 $E5)
           ((MTIMES SIMP) -212992 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E3 4) $E4 $E5)
           ((MTIMES SIMP) 163840 $E1 $E2 ((MEXPT SIMP) $E3 4) $E4 $E5)
           ((MTIMES SIMP) 204800 ((MEXPT SIMP) $E3 5) $E4 $E5)
           ((MTIMES SIMP) -18432 ((MEXPT SIMP) $E1 5)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) 63488 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -52736 $E1 ((MEXPT SIMP) $E2 5)
            ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) 73728 ((MEXPT SIMP) $E1 6) $E2 $E3
            ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -243712 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 2) $E3 ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) 220160 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 3) $E3 ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -61440 ((MEXPT SIMP) $E2 4) $E3
            ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -180224 ((MEXPT SIMP) $E1 5)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) 442368 ((MEXPT SIMP) $E1 3) $E2
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -143360 $E1 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) 327680 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -716800 $E2 ((MEXPT SIMP) $E3 3)
            ((MEXPT SIMP) $E4 2) $E5)
           ((MTIMES SIMP) -49152 ((MEXPT SIMP) $E1 7)
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) 253952 ((MEXPT SIMP) $E1 5) $E2
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) -421888 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) 256000 $E1 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) 155648 ((MEXPT SIMP) $E1 4) $E3
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) -757760 ((MEXPT SIMP) $E1 2) $E2 $E3
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) 512000 ((MEXPT SIMP) $E2 2) $E3
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) 614400 $E1 ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 3) $E5)
           ((MTIMES SIMP) 245760 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E4 4) $E5)
           ((MTIMES SIMP) -409600 $E1 $E2 ((MEXPT SIMP) $E4 4) $E5)
           ((MTIMES SIMP) -1024000 $E3 ((MEXPT SIMP) $E4 4) $E5)
           ((MTIMES SIMP) 5504 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 6) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -8000 ((MEXPT SIMP) $E2 7)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -44032 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 4) $E3 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 56320 $E1 ((MEXPT SIMP) $E2 5) $E3
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 88064 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 15360 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -121600 ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -450560 ((MEXPT SIMP) $E1 3) $E2
            ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 409600 $E1 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 614400 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E3 4) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -512000 $E2 ((MEXPT SIMP) $E3 4)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 88064 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E2 3) $E4 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -279040 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 4) $E4 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 224000 ((MEXPT SIMP) $E2 5) $E4
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -352256 ((MEXPT SIMP) $E1 5) $E2 $E3 $E4
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 1054720 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 2) $E3 $E4 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -947200 $E1 ((MEXPT SIMP) $E2 3) $E3 $E4
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 901120 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E3 2) $E4 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -1945600 ((MEXPT SIMP) $E1 2) $E2
            ((MEXPT SIMP) $E3 2) $E4 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 2048000 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E3 2) $E4 ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -2048000 $E1 ((MEXPT SIMP) $E3 3) $E4
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 352256 ((MEXPT SIMP) $E1 6)
            ((MEXPT SIMP) $E4 2) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -1720320 ((MEXPT SIMP) $E1 4) $E2
            ((MEXPT SIMP) $E4 2) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 2764800 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E4 2)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -1408000 ((MEXPT SIMP) $E2 3)
            ((MEXPT SIMP) $E4 2) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -1024000 ((MEXPT SIMP) $E1 3) $E3
            ((MEXPT SIMP) $E4 2) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 1536000 $E1 $E2 $E3 ((MEXPT SIMP) $E4 2)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 2560000 ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E4 2) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -1024000 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E4 3) ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) 2560000 $E2 ((MEXPT SIMP) $E4 3)
            ((MEXPT SIMP) $E5 2))
           ((MTIMES SIMP) -153600 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) 384000 $E1 ((MEXPT SIMP) $E2 4)
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) 614400 ((MEXPT SIMP) $E1 4) $E2 $E3
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) -1280000 ((MEXPT SIMP) $E1 2)
            ((MEXPT SIMP) $E2 2) $E3 ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) -640000 ((MEXPT SIMP) $E2 3) $E3
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) -2048000 ((MEXPT SIMP) $E1 3)
            ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) 5120000 $E1 $E2 ((MEXPT SIMP) $E3 2)
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) -1228800 ((MEXPT SIMP) $E1 5) $E4
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) 5120000 ((MEXPT SIMP) $E1 3) $E2 $E4
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) -5120000 $E1 ((MEXPT SIMP) $E2 2) $E4
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) 5120000 ((MEXPT SIMP) $E1 2) $E3 $E4
            ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) -12800000 $E2 $E3 $E4 ((MEXPT SIMP) $E5 3))
           ((MTIMES SIMP) 2560000 ((MEXPT SIMP) $E1 4)
            ((MEXPT SIMP) $E5 4))
           ((MTIMES SIMP) -12800000 ((MEXPT SIMP) $E1 2) $E2
            ((MEXPT SIMP) $E5 4))
           ((MTIMES SIMP) 16000000 ((MEXPT SIMP) $E2 2)
            ((MEXPT SIMP) $E5 4))
           ((MTIMES SIMP)
            ((MPLUS SIMP) ((MTIMES SIMP) -6 ((MEXPT SIMP) $E2 10))
             ((MTIMES SIMP) 80 $E1 ((MEXPT SIMP) $E2 8) $E3)
             ((MTIMES SIMP) -384 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 6) ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E2 7)
              ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) 768 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E3 3))
             ((MTIMES SIMP) 1152 $E1 ((MEXPT SIMP) $E2 5)
              ((MEXPT SIMP) $E3 3))
             ((MTIMES SIMP) -512 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) -3072 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) -896 ((MEXPT SIMP) $E2 4)
              ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 3) $E2
              ((MEXPT SIMP) $E3 5))
             ((MTIMES SIMP) 4096 $E1 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E3 5))
             ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 6))
             ((MTIMES SIMP) -2048 $E2 ((MEXPT SIMP) $E3 6))
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 7) $E4)
             ((MTIMES SIMP) 184 ((MEXPT SIMP) $E2 8) $E4)
             ((MTIMES SIMP) 1152 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 5) $E3 $E4)
             ((MTIMES SIMP) -1472 $E1 ((MEXPT SIMP) $E2 6) $E3 $E4)
             ((MTIMES SIMP) -3072 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) 1152 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) 2496 ((MEXPT SIMP) $E2 5)
              ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 5) $E2
              ((MEXPT SIMP) $E3 3) $E4)
             ((MTIMES SIMP) 8192 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 3) $E4)
             ((MTIMES SIMP) -8192 $E1 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E3 3) $E4)
             ((MTIMES SIMP) -4096 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E3 4) $E4)
             ((MTIMES SIMP) -13312 ((MEXPT SIMP) $E1 2) $E2
              ((MEXPT SIMP) $E3 4) $E4)
             ((MTIMES SIMP) 8192 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E3 4) $E4)
             ((MTIMES SIMP) 14336 $E1 ((MEXPT SIMP) $E3 5) $E4)
             ((MTIMES SIMP) -896 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 2496 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 5) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -1984 ((MEXPT SIMP) $E2 6)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 4096 ((MEXPT SIMP) $E1 5)
              ((MEXPT SIMP) $E2 2) $E3 ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -8192 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 3) $E3 ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 4608 $E1 ((MEXPT SIMP) $E2 4) $E3
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 6)
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -13312 ((MEXPT SIMP) $E1 4) $E2
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 29184 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -12800 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 30720 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E3 3) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -39936 $E1 $E2 ((MEXPT SIMP) $E3 3)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -3072 ((MEXPT SIMP) $E3 4)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 6) $E2
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 8192 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -12800 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 1792 ((MEXPT SIMP) $E2 4)
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 14336 ((MEXPT SIMP) $E1 5) $E3
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -39936 ((MEXPT SIMP) $E1 3) $E2 $E3
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 58368 $E1 ((MEXPT SIMP) $E2 2) $E3
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -30720 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -29696 $E2 ((MEXPT SIMP) $E3 2)
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -3072 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E4 4))
             ((MTIMES SIMP) -29696 ((MEXPT SIMP) $E1 2) $E2
              ((MEXPT SIMP) $E4 4))
             ((MTIMES SIMP) 41472 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E4 4))
             ((MTIMES SIMP) 94208 $E1 $E3 ((MEXPT SIMP) $E4 4))
             ((MTIMES SIMP) -108544 ((MEXPT SIMP) $E4 5))
             ((MTIMES SIMP) 128 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 6) $E5)
             ((MTIMES SIMP) -192 $E1 ((MEXPT SIMP) $E2 7) $E5)
             ((MTIMES SIMP) -1024 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 4) $E3 $E5)
             ((MTIMES SIMP) 1152 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 5) $E3 $E5)
             ((MTIMES SIMP) 320 ((MEXPT SIMP) $E2 6) $E3 $E5)
             ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 5)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) -6144 $E1 ((MEXPT SIMP) $E2 4)
              ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) -14336 ((MEXPT SIMP) $E1 4) $E2
              ((MEXPT SIMP) $E3 3) $E5)
             ((MTIMES SIMP) 18432 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 3) $E5)
             ((MTIMES SIMP) -6144 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E3 3) $E5)
             ((MTIMES SIMP) 12288 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E3 4) $E5)
             ((MTIMES SIMP) 12288 $E1 $E2 ((MEXPT SIMP) $E3 4) $E5)
             ((MTIMES SIMP) -59392 ((MEXPT SIMP) $E3 5) $E5)
             ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 5)
              ((MEXPT SIMP) $E2 3) $E4 $E5)
             ((MTIMES SIMP) -7424 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 4) $E4 $E5)
             ((MTIMES SIMP) 8832 $E1 ((MEXPT SIMP) $E2 5) $E4 $E5)
             ((MTIMES SIMP) -8192 ((MEXPT SIMP) $E1 6) $E2 $E3 $E4 $E5)
             ((MTIMES SIMP) 26624 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 2) $E3 $E4 $E5)
             ((MTIMES SIMP) -49152 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 3) $E3 $E4 $E5)
             ((MTIMES SIMP) 43008 ((MEXPT SIMP) $E2 4) $E3 $E4 $E5)
             ((MTIMES SIMP) 28672 ((MEXPT SIMP) $E1 5)
              ((MEXPT SIMP) $E3 2) $E4 $E5)
             ((MTIMES SIMP) -4096 ((MEXPT SIMP) $E1 3) $E2
              ((MEXPT SIMP) $E3 2) $E4 $E5)
             ((MTIMES SIMP) -129024 $E1 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E3 2) $E4 $E5)
             ((MTIMES SIMP) -116736 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 3) $E4 $E5)
             ((MTIMES SIMP) 414720 $E2 ((MEXPT SIMP) $E3 3) $E4 $E5)
             ((MTIMES SIMP) 8192 ((MEXPT SIMP) $E1 7)
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) -47104 ((MEXPT SIMP) $E1 5) $E2
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) 109568 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) -75776 $E1 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) -174080 ((MEXPT SIMP) $E1 4) $E3
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) 553984 ((MEXPT SIMP) $E1 2) $E2 $E3
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) -445440 ((MEXPT SIMP) $E2 2) $E3
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) -327680 $E1 ((MEXPT SIMP) $E3 2)
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) 180224 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E4 3) $E5)
             ((MTIMES SIMP) -317440 $E1 $E2 ((MEXPT SIMP) $E4 3) $E5)
             ((MTIMES SIMP) 614400 $E3 ((MEXPT SIMP) $E4 3) $E5)
             ((MTIMES SIMP) -6144 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 41088 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -86592 ((MEXPT SIMP) $E2 5)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 24576 ((MEXPT SIMP) $E1 5) $E2 $E3
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -178176 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 2) $E3 ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 440320 $E1 ((MEXPT SIMP) $E2 3) $E3
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -35840 ((MEXPT SIMP) $E1 2) $E2
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -652800 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 409600 $E1 ((MEXPT SIMP) $E3 3)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -49152 ((MEXPT SIMP) $E1 6) $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 411648 ((MEXPT SIMP) $E1 4) $E2 $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -1198080 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 2) $E4 ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 857600 ((MEXPT SIMP) $E2 3) $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 92160 ((MEXPT SIMP) $E1 3) $E3 $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 947200 $E1 $E2 $E3 $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -1024000 ((MEXPT SIMP) $E3 2) $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -716800 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E4 2) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -128000 $E2 ((MEXPT SIMP) $E4 2)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -57344 ((MEXPT SIMP) $E1 5)
              ((MEXPT SIMP) $E5 3))
             ((MTIMES SIMP) 358400 ((MEXPT SIMP) $E1 3) $E2
              ((MEXPT SIMP) $E5 3))
             ((MTIMES SIMP) -384000 $E1 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E5 3))
             ((MTIMES SIMP) -768000 ((MEXPT SIMP) $E1 2) $E3
              ((MEXPT SIMP) $E5 3))
             ((MTIMES SIMP) 640000 $E2 $E3 ((MEXPT SIMP) $E5 3))
             ((MTIMES SIMP) 2560000 $E1 $E4 ((MEXPT SIMP) $E5 3))
             ((MTIMES SIMP) -3200000 ((MEXPT SIMP) $E5 4)))
            $X)
           ((MTIMES SIMP)
            ((MPLUS SIMP) ((MTIMES SIMP) 15 ((MEXPT SIMP) $E2 8))
             ((MTIMES SIMP) -160 $E1 ((MEXPT SIMP) $E2 6) $E3)
             ((MTIMES SIMP) 576 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 4) ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) 192 ((MEXPT SIMP) $E2 5)
              ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) -768 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 3))
             ((MTIMES SIMP) -1152 $E1 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E3 3))
             ((MTIMES SIMP) 256 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) 1536 ((MEXPT SIMP) $E1 2) $E2
              ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) 640 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) -1024 $E1 ((MEXPT SIMP) $E3 5))
             ((MTIMES SIMP) 192 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 5) $E4)
             ((MTIMES SIMP) -176 ((MEXPT SIMP) $E2 6) $E4)
             ((MTIMES SIMP) -1152 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 3) $E3 $E4)
             ((MTIMES SIMP) 384 $E1 ((MEXPT SIMP) $E2 4) $E3 $E4)
             ((MTIMES SIMP) 1536 ((MEXPT SIMP) $E1 4) $E2
              ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) 3456 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) -960 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) -5632 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E3 3) $E4)
             ((MTIMES SIMP) -2560 $E1 $E2 ((MEXPT SIMP) $E3 3) $E4)
             ((MTIMES SIMP) 2560 ((MEXPT SIMP) $E3 4) $E4)
             ((MTIMES SIMP) 640 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -960 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 3) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 1440 ((MEXPT SIMP) $E2 4)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -1024 ((MEXPT SIMP) $E1 5) $E3
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -2560 ((MEXPT SIMP) $E1 3) $E2 $E3
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -3840 $E1 ((MEXPT SIMP) $E2 2) $E3
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 24320 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 2) ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -1280 $E2 ((MEXPT SIMP) $E3 2)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 2560 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -1280 ((MEXPT SIMP) $E1 2) $E2
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 1280 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) -46080 $E1 $E3 ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 44800 ((MEXPT SIMP) $E4 4))
             ((MTIMES SIMP) -384 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 4) $E5)
             ((MTIMES SIMP) 1152 $E1 ((MEXPT SIMP) $E2 5) $E5)
             ((MTIMES SIMP) 2048 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E2 2) $E3 $E5)
             ((MTIMES SIMP) -5760 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 3) $E3 $E5)
             ((MTIMES SIMP) -1920 ((MEXPT SIMP) $E2 4) $E3 $E5)
             ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 5)
              ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) 2560 ((MEXPT SIMP) $E1 3) $E2
              ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) 15360 $E1 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) -2560 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 3) $E5)
             ((MTIMES SIMP) -12800 $E2 ((MEXPT SIMP) $E3 3) $E5)
             ((MTIMES SIMP) -2048 ((MEXPT SIMP) $E1 5) $E2 $E4 $E5)
             ((MTIMES SIMP) 6400 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 2) $E4 $E5)
             ((MTIMES SIMP) -1920 $E1 ((MEXPT SIMP) $E2 3) $E4 $E5)
             ((MTIMES SIMP) 20480 ((MEXPT SIMP) $E1 4) $E3 $E4 $E5)
             ((MTIMES SIMP) -69120 ((MEXPT SIMP) $E1 2) $E2 $E3 $E4
              $E5)
             ((MTIMES SIMP) 19200 ((MEXPT SIMP) $E2 2) $E3 $E4 $E5)
             ((MTIMES SIMP) 38400 $E1 ((MEXPT SIMP) $E3 2) $E4 $E5)
             ((MTIMES SIMP) -46080 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) 140800 $E1 $E2 ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) -128000 $E3 ((MEXPT SIMP) $E4 2) $E5)
             ((MTIMES SIMP) 4096 ((MEXPT SIMP) $E1 6)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -30720 ((MEXPT SIMP) $E1 4) $E2
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 67200 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -24000 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 25600 ((MEXPT SIMP) $E1 3) $E3
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -128000 $E1 $E2 $E3 ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 160000 ((MEXPT SIMP) $E3 2)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 64000 ((MEXPT SIMP) $E1 2) $E4
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) -160000 $E2 $E4 ((MEXPT SIMP) $E5 2)))
            ((MEXPT SIMP) $X 2))
           ((MTIMES SIMP)
            ((MPLUS SIMP) ((MTIMES SIMP) -20 ((MEXPT SIMP) $E2 6))
             ((MTIMES SIMP) 160 $E1 ((MEXPT SIMP) $E2 4) $E3)
             ((MTIMES SIMP) -384 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 2) ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E2 3)
              ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) 256 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E3 3))
             ((MTIMES SIMP) 384 $E1 $E2 ((MEXPT SIMP) $E3 3))
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E3 4))
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E2 3) $E4)
             ((MTIMES SIMP) -16 ((MEXPT SIMP) $E2 4) $E4)
             ((MTIMES SIMP) 384 ((MEXPT SIMP) $E1 3) $E2 $E3 $E4)
             ((MTIMES SIMP) 960 $E1 ((MEXPT SIMP) $E2 2) $E3 $E4)
             ((MTIMES SIMP) -2688 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) -192 $E2 ((MEXPT SIMP) $E3 2) $E4)
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E1 4)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -192 ((MEXPT SIMP) $E1 2) $E2
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -1472 ((MEXPT SIMP) $E2 2)
              ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) 8192 $E1 $E3 ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -8960 ((MEXPT SIMP) $E4 3))
             ((MTIMES SIMP) 384 ((MEXPT SIMP) $E1 3)
              ((MEXPT SIMP) $E2 2) $E5)
             ((MTIMES SIMP) -1344 $E1 ((MEXPT SIMP) $E2 3) $E5)
             ((MTIMES SIMP) -1024 ((MEXPT SIMP) $E1 4) $E3 $E5)
             ((MTIMES SIMP) 3456 ((MEXPT SIMP) $E1 2) $E2 $E3 $E5)
             ((MTIMES SIMP) 2240 ((MEXPT SIMP) $E2 2) $E3 $E5)
             ((MTIMES SIMP) -5120 $E1 ((MEXPT SIMP) $E3 2) $E5)
             ((MTIMES SIMP) 3328 ((MEXPT SIMP) $E1 3) $E4 $E5)
             ((MTIMES SIMP) -10880 $E1 $E2 $E4 $E5)
             ((MTIMES SIMP) 12800 $E3 $E4 $E5)
             ((MTIMES SIMP) -3200 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E5 2))
             ((MTIMES SIMP) 8000 $E2 ((MEXPT SIMP) $E5 2)))
            ((MEXPT SIMP) $X 3))
           ((MTIMES SIMP)
            ((MPLUS SIMP) ((MTIMES SIMP) 15 ((MEXPT SIMP) $E2 4))
             ((MTIMES SIMP) -80 $E1 ((MEXPT SIMP) $E2 2) $E3)
             ((MTIMES SIMP) 96 ((MEXPT SIMP) $E1 2)
              ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) 32 $E2 ((MEXPT SIMP) $E3 2))
             ((MTIMES SIMP) 32 ((MEXPT SIMP) $E1 2) $E2 $E4)
             ((MTIMES SIMP) 104 ((MEXPT SIMP) $E2 2) $E4)
             ((MTIMES SIMP) -544 $E1 $E3 $E4)
             ((MTIMES SIMP) 880 ((MEXPT SIMP) $E4 2))
             ((MTIMES SIMP) -128 ((MEXPT SIMP) $E1 3) $E5)
             ((MTIMES SIMP) 480 $E1 $E2 $E5)
             ((MTIMES SIMP) -800 $E3 $E5))
            ((MEXPT SIMP) $X 4))
           ((MTIMES SIMP) -1
            ((MPLUS SIMP) ((MTIMES SIMP) 6 ((MEXPT SIMP) $E2 2))
             ((MTIMES SIMP) -16 $E1 $E3) ((MTIMES SIMP) 40 $E4))
            ((MEXPT SIMP) $X 5))
           ((MEXPT SIMP) $X 6))) 
(ADD2LNC '$Q $VALUES) 
(SETQ AAAAA (GENSYM)) 
(REMCOMPARY '$Q) 
(MREMPROP '$Q 'ARRAY) 
(MPUTPROP '$Q AAAAA 'HASHAR) 
(*ARRAY AAAAA 'T 11) 
(FILLARRAY AAAAA
    '(8 5 1 NIL
      (((1) (MLIST SIMP)
        ((MLIST SIMP) ((MLIST SIMP) 1 2 2 0 0 0)
         ((MLIST SIMP) -2 2 1 1 0 0) ((MLIST SIMP) 2 1 1 1 1 0))
        ((MLIST SIMP) ((MLIST SIMP) 1 2 2 0 0 0)
         ((MLIST SIMP) 2 2 1 1 0 0) ((MLIST SIMP) 2 1 1 1 1 0))
        ((MLIST SIMP) ((MLIST SIMP) 1 2 2 0 0 0)
         ((MLIST SIMP) -2 2 1 1 0 0) ((MLIST SIMP) 2 1 1 1 1 0))
        ((MLIST SIMP) ((MLIST SIMP) 1 2 2 0 0 0)
         ((MLIST SIMP) -2 2 1 1 0 0) ((MLIST SIMP) 2 1 1 1 1 0))
        ((MLIST SIMP) ((MLIST SIMP) 1 2 2 0 0 0)
         ((MLIST SIMP) -2 2 1 1 0 0) ((MLIST SIMP) 2 1 1 1 1 0))
        ((MLIST SIMP) ((MLIST SIMP) 1 2 2 0 0 0)
         ((MLIST SIMP) 2 2 1 1 0 0) ((MLIST SIMP) 2 1 1 1 1 0))))
      (((2) (MLIST SIMP)
        ((MLIST SIMP) ((MLIST SIMP) 1 4 4 0 0 0)
         ((MLIST SIMP) -4 4 3 1 0 0) ((MLIST SIMP) 6 4 2 2 0 0)
         ((MLIST SIMP) 12 4 2 1 1 0) ((MLIST SIMP) 24 4 1 1 1 1)
         ((MLIST SIMP) -12 3 3 2 0 0) ((MLIST SIMP) 4 3 3 1 1 0)
         ((MLIST SIMP) -12 3 2 1 1 1) ((MLIST SIMP) -6 2 2 2 2 0)
         ((MLIST SIMP) 12 2 2 2 1 1))
        ((MLIST SIMP) ((MLIST SIMP) 1 4 4 0 0 0)
         ((MLIST SIMP) 4 4 3 1 0 0) ((MLIST SIMP) 6 4 2 2 0 0)
         ((MLIST SIMP) -12 4 2 1 1 0) ((MLIST SIMP) 24 4 1 1 1 1)
         ((MLIST SIMP) -12 3 3 2 0 0) ((MLIST SIMP) 4 3 3 1 1 0)
         ((MLIST SIMP) 24 3 2 2 1 0) ((MLIST SIMP) -12 3 2 1 1 1)
         ((MLIST SIMP) -6 2 2 2 2 0) ((MLIST SIMP) 12 2 2 2 1 1))
        ((MLIST SIMP) ((MLIST SIMP) 1 4 4 0 0 0)
         ((MLIST SIMP) -4 4 3 1 0 0) ((MLIST SIMP) 6 4 2 2 0 0)
         ((MLIST SIMP) -12 4 2 1 1 0) ((MLIST SIMP) 24 4 1 1 1 1)
         ((MLIST SIMP) 12 3 3 2 0 0) ((MLIST SIMP) 4 3 3 1 1 0)
         ((MLIST SIMP) -12 3 2 1 1 1) ((MLIST SIMP) -6 2 2 2 2 0)
         ((MLIST SIMP) 12 2 2 2 1 1))
        ((MLIST SIMP) ((MLIST SIMP) 1 4 4 0 0 0)
         ((MLIST SIMP) -4 4 3 1 0 0) ((MLIST SIMP) 6 4 2 2 0 0)
         ((MLIST SIMP) 12 4 2 1 1 0) ((MLIST SIMP) 24 4 1 1 1 1)
         ((MLIST SIMP) 12 3 3 2 0 0) ((MLIST SIMP) 4 3 3 1 1 0)
         ((MLIST SIMP) -24 3 2 2 1 0) ((MLIST SIMP) -12 3 2 1 1 1)
         ((MLIST SIMP) -6 2 2 2 2 0) ((MLIST SIMP) 12 2 2 2 1 1))
        ((MLIST SIMP) ((MLIST SIMP) 1 4 4 0 0 0)
         ((MLIST SIMP) -4 4 3 1 0 0) ((MLIST SIMP) 6 4 2 2 0 0)
         ((MLIST SIMP) -12 4 2 1 1 0) ((MLIST SIMP) 24 4 1 1 1 1)
         ((MLIST SIMP) -12 3 3 2 0 0) ((MLIST SIMP) 20 3 3 1 1 0)
         ((MLIST SIMP) -24 3 2 2 1 0) ((MLIST SIMP) -12 3 2 1 1 1)
         ((MLIST SIMP) -6 2 2 2 2 0) ((MLIST SIMP) 12 2 2 2 1 1))
        ((MLIST SIMP) ((MLIST SIMP) 1 4 4 0 0 0)
         ((MLIST SIMP) 4 4 3 1 0 0) ((MLIST SIMP) 6 4 2 2 0 0)
         ((MLIST SIMP) -12 4 2 1 1 0) ((MLIST SIMP) 24 4 1 1 1 1)
         ((MLIST SIMP) -12 3 3 2 0 0) ((MLIST SIMP) 20 3 3 1 1 0)
         ((MLIST SIMP) 24 3 2 2 1 0) ((MLIST SIMP) -12 3 2 1 1 1)
         ((MLIST SIMP) -6 2 2 2 2 0) ((MLIST SIMP) 12 2 2 2 1 1))))
      (((3) (MLIST SIMP)
        ((MLIST SIMP) ((MLIST SIMP) 1 6 6 0 0 0)
         ((MLIST SIMP) -6 6 5 1 0 0) ((MLIST SIMP) 15 6 4 2 0 0)
         ((MLIST SIMP) 30 6 4 1 1 0) ((MLIST SIMP) -20 6 3 3 0 0)
         ((MLIST SIMP) -60 6 3 2 1 0) ((MLIST SIMP) 120 6 3 1 1 1)
         ((MLIST SIMP) 90 6 2 2 2 0) ((MLIST SIMP) -180 6 2 2 1 1)
         ((MLIST SIMP) -30 5 5 2 0 0) ((MLIST SIMP) 6 5 5 1 1 0)
         ((MLIST SIMP) 60 5 4 3 0 0) ((MLIST SIMP) 30 5 4 2 1 0)
         ((MLIST SIMP) -90 5 4 1 1 1) ((MLIST SIMP) -60 5 3 3 1 0)
         ((MLIST SIMP) 120 5 3 2 2 0) ((MLIST SIMP) 180 5 3 2 1 1)
         ((MLIST SIMP) 180 5 2 2 2 1) ((MLIST SIMP) 90 4 4 4 0 0)
         ((MLIST SIMP) -120 4 4 3 1 0) ((MLIST SIMP) -165 4 4 2 2 0)
         ((MLIST SIMP) 90 4 4 2 1 1) ((MLIST SIMP) 240 4 3 3 2 0)
         ((MLIST SIMP) -180 4 3 3 1 1) ((MLIST SIMP) -300 4 3 2 2 1)
         ((MLIST SIMP) -180 4 2 2 2 2) ((MLIST SIMP) -340 3 3 3 3 0)
         ((MLIST SIMP) 60 3 3 3 2 1) ((MLIST SIMP) 60 3 3 2 2 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 6 6 0 0 0)
         ((MLIST SIMP) 6 6 5 1 0 0) ((MLIST SIMP) 15 6 4 2 0 0)
         ((MLIST SIMP) -30 6 4 1 1 0) ((MLIST SIMP) 20 6 3 3 0 0)
         ((MLIST SIMP) -60 6 3 2 1 0) ((MLIST SIMP) 120 6 3 1 1 1)
         ((MLIST SIMP) 90 6 2 2 2 0) ((MLIST SIMP) 180 6 2 2 1 1)
         ((MLIST SIMP) -30 5 5 2 0 0) ((MLIST SIMP) 6 5 5 1 1 0)
         ((MLIST SIMP) -60 5 4 3 0 0) ((MLIST SIMP) 90 5 4 2 1 0)
         ((MLIST SIMP) -90 5 4 1 1 1) ((MLIST SIMP) 180 5 3 3 1 0)
         ((MLIST SIMP) -120 5 3 2 2 0) ((MLIST SIMP) -300 5 3 2 1 1)
         ((MLIST SIMP) 180 5 2 2 2 1) ((MLIST SIMP) 90 4 4 4 0 0)
         ((MLIST SIMP) -120 4 4 3 1 0) ((MLIST SIMP) -165 4 4 2 2 0)
         ((MLIST SIMP) 90 4 4 2 1 1) ((MLIST SIMP) 120 4 3 3 2 0)
         ((MLIST SIMP) 300 4 3 3 1 1) ((MLIST SIMP) 180 4 3 2 2 1)
         ((MLIST SIMP) -180 4 2 2 2 2) ((MLIST SIMP) -340 3 3 3 3 0)
         ((MLIST SIMP) 60 3 3 3 2 1) ((MLIST SIMP) 60 3 3 2 2 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 6 6 0 0 0)
         ((MLIST SIMP) -6 6 5 1 0 0) ((MLIST SIMP) 15 6 4 2 0 0)
         ((MLIST SIMP) -30 6 4 1 1 0) ((MLIST SIMP) -20 6 3 3 0 0)
         ((MLIST SIMP) 60 6 3 2 1 0) ((MLIST SIMP) 120 6 3 1 1 1)
         ((MLIST SIMP) 90 6 2 2 2 0) ((MLIST SIMP) -180 6 2 2 1 1)
         ((MLIST SIMP) 30 5 5 2 0 0) ((MLIST SIMP) 6 5 5 1 1 0)
         ((MLIST SIMP) -60 5 4 3 0 0) ((MLIST SIMP) 30 5 4 2 1 0)
         ((MLIST SIMP) -90 5 4 1 1 1) ((MLIST SIMP) -60 5 3 3 1 0)
         ((MLIST SIMP) -120 5 3 2 2 0) ((MLIST SIMP) -60 5 3 2 1 1)
         ((MLIST SIMP) 180 5 2 2 2 1) ((MLIST SIMP) 90 4 4 4 0 0)
         ((MLIST SIMP) 120 4 4 3 1 0) ((MLIST SIMP) -165 4 4 2 2 0)
         ((MLIST SIMP) 270 4 4 2 1 1) ((MLIST SIMP) 240 4 3 3 2 0)
         ((MLIST SIMP) -180 4 3 3 1 1) ((MLIST SIMP) 180 4 3 2 2 1)
         ((MLIST SIMP) -180 4 2 2 2 2) ((MLIST SIMP) -340 3 3 3 3 0)
         ((MLIST SIMP) 60 3 3 3 2 1) ((MLIST SIMP) 60 3 3 2 2 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 6 6 0 0 0)
         ((MLIST SIMP) -6 6 5 1 0 0) ((MLIST SIMP) 15 6 4 2 0 0)
         ((MLIST SIMP) 30 6 4 1 1 0) ((MLIST SIMP) -20 6 3 3 0 0)
         ((MLIST SIMP) -60 6 3 2 1 0) ((MLIST SIMP) 120 6 3 1 1 1)
         ((MLIST SIMP) 90 6 2 2 2 0) ((MLIST SIMP) -180 6 2 2 1 1)
         ((MLIST SIMP) 30 5 5 2 0 0) ((MLIST SIMP) 6 5 5 1 1 0)
         ((MLIST SIMP) -60 5 4 3 0 0) ((MLIST SIMP) -90 5 4 2 1 0)
         ((MLIST SIMP) -90 5 4 1 1 1) ((MLIST SIMP) 180 5 3 3 1 0)
         ((MLIST SIMP) 120 5 3 2 2 0) ((MLIST SIMP) -60 5 3 2 1 1)
         ((MLIST SIMP) 180 5 2 2 2 1) ((MLIST SIMP) 90 4 4 4 0 0)
         ((MLIST SIMP) 120 4 4 3 1 0) ((MLIST SIMP) -165 4 4 2 2 0)
         ((MLIST SIMP) 270 4 4 2 1 1) ((MLIST SIMP) -120 4 3 3 2 0)
         ((MLIST SIMP) -180 4 3 3 1 1) ((MLIST SIMP) -300 4 3 2 2 1)
         ((MLIST SIMP) -180 4 2 2 2 2) ((MLIST SIMP) -340 3 3 3 3 0)
         ((MLIST SIMP) 60 3 3 3 2 1) ((MLIST SIMP) 60 3 3 2 2 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 6 6 0 0 0)
         ((MLIST SIMP) -6 6 5 1 0 0) ((MLIST SIMP) 15 6 4 2 0 0)
         ((MLIST SIMP) -30 6 4 1 1 0) ((MLIST SIMP) -20 6 3 3 0 0)
         ((MLIST SIMP) 60 6 3 2 1 0) ((MLIST SIMP) 120 6 3 1 1 1)
         ((MLIST SIMP) 90 6 2 2 2 0) ((MLIST SIMP) -180 6 2 2 1 1)
         ((MLIST SIMP) -30 5 5 2 0 0) ((MLIST SIMP) 54 5 5 1 1 0)
         ((MLIST SIMP) 60 5 4 3 0 0) ((MLIST SIMP) -150 5 4 2 1 0)
         ((MLIST SIMP) -90 5 4 1 1 1) ((MLIST SIMP) 180 5 3 3 1 0)
         ((MLIST SIMP) -240 5 3 2 2 0) ((MLIST SIMP) 180 5 3 2 1 1)
         ((MLIST SIMP) 180 5 2 2 2 1) ((MLIST SIMP) 90 4 4 4 0 0)
         ((MLIST SIMP) -240 4 4 3 1 0) ((MLIST SIMP) 315 4 4 2 2 0)
         ((MLIST SIMP) 90 4 4 2 1 1) ((MLIST SIMP) -120 4 3 3 2 0)
         ((MLIST SIMP) -180 4 3 3 1 1) ((MLIST SIMP) -60 4 3 2 2 1)
         ((MLIST SIMP) -180 4 2 2 2 2) ((MLIST SIMP) -340 3 3 3 3 0)
         ((MLIST SIMP) 60 3 3 3 2 1) ((MLIST SIMP) 60 3 3 2 2 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 6 6 0 0 0)
         ((MLIST SIMP) 6 6 5 1 0 0) ((MLIST SIMP) 15 6 4 2 0 0)
         ((MLIST SIMP) -30 6 4 1 1 0) ((MLIST SIMP) 20 6 3 3 0 0)
         ((MLIST SIMP) -60 6 3 2 1 0) ((MLIST SIMP) 120 6 3 1 1 1)
         ((MLIST SIMP) 90 6 2 2 2 0) ((MLIST SIMP) 180 6 2 2 1 1)
         ((MLIST SIMP) -30 5 5 2 0 0) ((MLIST SIMP) 54 5 5 1 1 0)
         ((MLIST SIMP) -60 5 4 3 0 0) ((MLIST SIMP) 150 5 4 2 1 0)
         ((MLIST SIMP) -90 5 4 1 1 1) ((MLIST SIMP) 180 5 3 3 1 0)
         ((MLIST SIMP) -240 5 3 2 2 0) ((MLIST SIMP) -300 5 3 2 1 1)
         ((MLIST SIMP) 180 5 2 2 2 1) ((MLIST SIMP) 90 4 4 4 0 0)
         ((MLIST SIMP) -240 4 4 3 1 0) ((MLIST SIMP) 315 4 4 2 2 0)
         ((MLIST SIMP) 90 4 4 2 1 1) ((MLIST SIMP) 120 4 3 3 2 0)
         ((MLIST SIMP) 300 4 3 3 1 1) ((MLIST SIMP) -60 4 3 2 2 1)
         ((MLIST SIMP) -180 4 2 2 2 2) ((MLIST SIMP) -340 3 3 3 3 0)
         ((MLIST SIMP) 60 3 3 3 2 1) ((MLIST SIMP) 60 3 3 2 2 2))))
      (((4) (MLIST SIMP)
        ((MLIST SIMP) ((MLIST SIMP) 1 8 8 0 0 0)
         ((MLIST SIMP) -8 8 7 1 0 0) ((MLIST SIMP) 28 8 6 2 0 0)
         ((MLIST SIMP) 56 8 6 1 1 0) ((MLIST SIMP) -56 8 5 3 0 0)
         ((MLIST SIMP) -168 8 5 2 1 0) ((MLIST SIMP) 336 8 5 1 1 1)
         ((MLIST SIMP) 70 8 4 4 0 0) ((MLIST SIMP) 280 8 4 3 1 0)
         ((MLIST SIMP) 420 8 4 2 2 0) ((MLIST SIMP) -840 8 4 2 1 1)
         ((MLIST SIMP) -560 8 3 3 2 0) ((MLIST SIMP) 1120 8 3 3 1 1)
         ((MLIST SIMP) 1680 8 3 2 2 1) ((MLIST SIMP) 2520 8 2 2 2 2)
         ((MLIST SIMP) -56 7 7 2 0 0) ((MLIST SIMP) 8 7 7 1 1 0)
         ((MLIST SIMP) 168 7 6 3 0 0) ((MLIST SIMP) 112 7 6 2 1 0)
         ((MLIST SIMP) -280 7 6 1 1 1) ((MLIST SIMP) -280 7 5 4 0 0)
         ((MLIST SIMP) -392 7 5 3 1 0) ((MLIST SIMP) 336 7 5 2 2 0)
         ((MLIST SIMP) 1176 7 5 2 1 1) ((MLIST SIMP) 560 7 4 4 1 0)
         ((MLIST SIMP) -280 7 4 3 2 0) ((MLIST SIMP) -1960 7 4 3 1 1)
         ((MLIST SIMP) 1680 7 3 3 3 0) ((MLIST SIMP) -560 7 3 3 2 1)
         ((MLIST SIMP) -1680 7 3 2 2 2) ((MLIST SIMP) 420 6 6 4 0 0)
         ((MLIST SIMP) -336 6 6 3 1 0) ((MLIST SIMP) -812 6 6 2 2 0)
         ((MLIST SIMP) 280 6 6 2 1 1) ((MLIST SIMP) -560 6 5 5 0 0)
         ((MLIST SIMP) 280 6 5 4 1 0) ((MLIST SIMP) 1792 6 5 3 2 0)
         ((MLIST SIMP) 56 6 5 3 1 1) ((MLIST SIMP) -3192 6 5 2 2 1)
         ((MLIST SIMP) -2240 6 4 4 2 0) ((MLIST SIMP) 560 6 4 4 1 1)
         ((MLIST SIMP) -840 6 4 3 3 0) ((MLIST SIMP) 4480 6 4 3 2 1)
         ((MLIST SIMP) -2940 6 4 2 2 2) ((MLIST SIMP) -1680 6 3 3 3 1)
         ((MLIST SIMP) 4480 6 3 3 2 2) ((MLIST SIMP) 1680 5 5 5 1 0)
         ((MLIST SIMP) 840 5 5 4 2 0) ((MLIST SIMP) -3360 5 5 4 1 1)
         ((MLIST SIMP) -3304 5 5 3 3 0) ((MLIST SIMP) -3528 5 5 3 2 1)
         ((MLIST SIMP) 5544 5 5 2 2 2) ((MLIST SIMP) 3920 5 4 4 3 0)
         ((MLIST SIMP) 1680 5 4 4 2 1) ((MLIST SIMP) -3080 5 4 3 3 1)
         ((MLIST SIMP) -3360 5 4 3 2 2) ((MLIST SIMP) -1120 5 3 3 3 2)
         ((MLIST SIMP) -4550 4 4 4 4 0) ((MLIST SIMP) -1400 4 4 4 3 1)
         ((MLIST SIMP) 2100 4 4 4 2 2) ((MLIST SIMP) 1400 4 4 3 3 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 8 8 0 0 0)
         ((MLIST SIMP) 8 8 7 1 0 0) ((MLIST SIMP) 28 8 6 2 0 0)
         ((MLIST SIMP) -56 8 6 1 1 0) ((MLIST SIMP) 56 8 5 3 0 0)
         ((MLIST SIMP) -168 8 5 2 1 0) ((MLIST SIMP) 336 8 5 1 1 1)
         ((MLIST SIMP) 70 8 4 4 0 0) ((MLIST SIMP) -280 8 4 3 1 0)
         ((MLIST SIMP) 420 8 4 2 2 0) ((MLIST SIMP) 840 8 4 2 1 1)
         ((MLIST SIMP) 560 8 3 3 2 0) ((MLIST SIMP) 1120 8 3 3 1 1)
         ((MLIST SIMP) -1680 8 3 2 2 1) ((MLIST SIMP) 2520 8 2 2 2 2)
         ((MLIST SIMP) -56 7 7 2 0 0) ((MLIST SIMP) 8 7 7 1 1 0)
         ((MLIST SIMP) -168 7 6 3 0 0) ((MLIST SIMP) 224 7 6 2 1 0)
         ((MLIST SIMP) -280 7 6 1 1 1) ((MLIST SIMP) -280 7 5 4 0 0)
         ((MLIST SIMP) 728 7 5 3 1 0) ((MLIST SIMP) -336 7 5 2 2 0)
         ((MLIST SIMP) -1512 7 5 2 1 1) ((MLIST SIMP) 1120 7 4 4 1 0)
         ((MLIST SIMP) -1400 7 4 3 2 0) ((MLIST SIMP) -3080 7 4 3 1 1)
         ((MLIST SIMP) 1680 7 4 2 2 1) ((MLIST SIMP) 1680 7 3 3 3 0)
         ((MLIST SIMP) 3920 7 3 3 2 1) ((MLIST SIMP) -1680 7 3 2 2 2)
         ((MLIST SIMP) 420 6 6 4 0 0) ((MLIST SIMP) -336 6 6 3 1 0)
         ((MLIST SIMP) -812 6 6 2 2 0) ((MLIST SIMP) 280 6 6 2 1 1)
         ((MLIST SIMP) 560 6 5 5 0 0) ((MLIST SIMP) -1400 6 5 4 1 0)
         ((MLIST SIMP) -112 6 5 3 2 0) ((MLIST SIMP) 2744 6 5 3 1 1)
         ((MLIST SIMP) 2184 6 5 2 2 1) ((MLIST SIMP) 2240 6 4 4 2 0)
         ((MLIST SIMP) 4480 6 4 4 1 1) ((MLIST SIMP) 840 6 4 3 3 0)
         ((MLIST SIMP) -1120 6 4 3 2 1) ((MLIST SIMP) -2940 6 4 2 2 2)
         ((MLIST SIMP) -1680 6 3 3 3 1) ((MLIST SIMP) -1120 6 3 3 2 2)
         ((MLIST SIMP) 1680 5 5 5 1 0) ((MLIST SIMP) 840 5 5 4 2 0)
         ((MLIST SIMP) -3360 5 5 4 1 1) ((MLIST SIMP) -3304 5 5 3 3 0)
         ((MLIST SIMP) -3528 5 5 3 2 1) ((MLIST SIMP) 5544 5 5 2 2 2)
         ((MLIST SIMP) -2240 5 4 4 3 0) ((MLIST SIMP) 1680 5 4 4 2 1)
         ((MLIST SIMP) 4760 5 4 3 3 1) ((MLIST SIMP) 1680 5 4 3 2 2)
         ((MLIST SIMP) -1120 5 3 3 3 2) ((MLIST SIMP) -4550 4 4 4 4 0)
         ((MLIST SIMP) -1400 4 4 4 3 1) ((MLIST SIMP) 2100 4 4 4 2 2)
         ((MLIST SIMP) 1400 4 4 3 3 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 8 8 0 0 0)
         ((MLIST SIMP) -8 8 7 1 0 0) ((MLIST SIMP) 28 8 6 2 0 0)
         ((MLIST SIMP) -56 8 6 1 1 0) ((MLIST SIMP) -56 8 5 3 0 0)
         ((MLIST SIMP) 168 8 5 2 1 0) ((MLIST SIMP) 336 8 5 1 1 1)
         ((MLIST SIMP) 70 8 4 4 0 0) ((MLIST SIMP) -280 8 4 3 1 0)
         ((MLIST SIMP) 420 8 4 2 2 0) ((MLIST SIMP) -840 8 4 2 1 1)
         ((MLIST SIMP) -560 8 3 3 2 0) ((MLIST SIMP) 1120 8 3 3 1 1)
         ((MLIST SIMP) -1680 8 3 2 2 1) ((MLIST SIMP) 2520 8 2 2 2 2)
         ((MLIST SIMP) 56 7 7 2 0 0) ((MLIST SIMP) 8 7 7 1 1 0)
         ((MLIST SIMP) -168 7 6 3 0 0) ((MLIST SIMP) 112 7 6 2 1 0)
         ((MLIST SIMP) -280 7 6 1 1 1) ((MLIST SIMP) 280 7 5 4 0 0)
         ((MLIST SIMP) -392 7 5 3 1 0) ((MLIST SIMP) -336 7 5 2 2 0)
         ((MLIST SIMP) -168 7 5 2 1 1) ((MLIST SIMP) 560 7 4 4 1 0)
         ((MLIST SIMP) 280 7 4 3 2 0) ((MLIST SIMP) 1400 7 4 3 1 1)
         ((MLIST SIMP) 1680 7 4 2 2 1) ((MLIST SIMP) 1680 7 3 3 3 0)
         ((MLIST SIMP) -560 7 3 3 2 1) ((MLIST SIMP) -1680 7 3 2 2 2)
         ((MLIST SIMP) 420 6 6 4 0 0) ((MLIST SIMP) 336 6 6 3 1 0)
         ((MLIST SIMP) -812 6 6 2 2 0) ((MLIST SIMP) 1400 6 6 2 1 1)
         ((MLIST SIMP) -560 6 5 5 0 0) ((MLIST SIMP) -280 6 5 4 1 0)
         ((MLIST SIMP) 1792 6 5 3 2 0) ((MLIST SIMP) -1736 6 5 3 1 1)
         ((MLIST SIMP) 2184 6 5 2 2 1) ((MLIST SIMP) -2240 6 4 4 2 0)
         ((MLIST SIMP) 560 6 4 4 1 1) ((MLIST SIMP) 840 6 4 3 3 0)
         ((MLIST SIMP) -4480 6 4 3 2 1) ((MLIST SIMP) -2940 6 4 2 2 2)
         ((MLIST SIMP) -1680 6 3 3 3 1) ((MLIST SIMP) 4480 6 3 3 2 2)
         ((MLIST SIMP) 1680 5 5 5 1 0) ((MLIST SIMP) -840 5 5 4 2 0)
         ((MLIST SIMP) 3360 5 5 4 1 1) ((MLIST SIMP) -3304 5 5 3 3 0)
         ((MLIST SIMP) 1848 5 5 3 2 1) ((MLIST SIMP) 5544 5 5 2 2 2)
         ((MLIST SIMP) 3920 5 4 4 3 0) ((MLIST SIMP) 1680 5 4 4 2 1)
         ((MLIST SIMP) 4760 5 4 3 3 1) ((MLIST SIMP) -1680 5 4 3 2 2)
         ((MLIST SIMP) -1120 5 3 3 3 2) ((MLIST SIMP) -4550 4 4 4 4 0)
         ((MLIST SIMP) -1400 4 4 4 3 1) ((MLIST SIMP) 2100 4 4 4 2 2)
         ((MLIST SIMP) 1400 4 4 3 3 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 8 8 0 0 0)
         ((MLIST SIMP) -8 8 7 1 0 0) ((MLIST SIMP) 28 8 6 2 0 0)
         ((MLIST SIMP) 56 8 6 1 1 0) ((MLIST SIMP) -56 8 5 3 0 0)
         ((MLIST SIMP) -168 8 5 2 1 0) ((MLIST SIMP) 336 8 5 1 1 1)
         ((MLIST SIMP) 70 8 4 4 0 0) ((MLIST SIMP) 280 8 4 3 1 0)
         ((MLIST SIMP) 420 8 4 2 2 0) ((MLIST SIMP) -840 8 4 2 1 1)
         ((MLIST SIMP) -560 8 3 3 2 0) ((MLIST SIMP) 1120 8 3 3 1 1)
         ((MLIST SIMP) 1680 8 3 2 2 1) ((MLIST SIMP) 2520 8 2 2 2 2)
         ((MLIST SIMP) 56 7 7 2 0 0) ((MLIST SIMP) 8 7 7 1 1 0)
         ((MLIST SIMP) -168 7 6 3 0 0) ((MLIST SIMP) -224 7 6 2 1 0)
         ((MLIST SIMP) -280 7 6 1 1 1) ((MLIST SIMP) 280 7 5 4 0 0)
         ((MLIST SIMP) 728 7 5 3 1 0) ((MLIST SIMP) 336 7 5 2 2 0)
         ((MLIST SIMP) -168 7 5 2 1 1) ((MLIST SIMP) -1120 7 4 4 1 0)
         ((MLIST SIMP) -1400 7 4 3 2 0) ((MLIST SIMP) 1400 7 4 3 1 1)
         ((MLIST SIMP) 1680 7 3 3 3 0) ((MLIST SIMP) -2800 7 3 3 2 1)
         ((MLIST SIMP) -1680 7 3 2 2 2) ((MLIST SIMP) 420 6 6 4 0 0)
         ((MLIST SIMP) 336 6 6 3 1 0) ((MLIST SIMP) -812 6 6 2 2 0)
         ((MLIST SIMP) 1400 6 6 2 1 1) ((MLIST SIMP) -560 6 5 5 0 0)
         ((MLIST SIMP) -1400 6 5 4 1 0) ((MLIST SIMP) 112 6 5 3 2 0)
         ((MLIST SIMP) -1736 6 5 3 1 1) ((MLIST SIMP) -3192 6 5 2 2 1)
         ((MLIST SIMP) 2240 6 4 4 2 0) ((MLIST SIMP) 560 6 4 4 1 1)
         ((MLIST SIMP) -840 6 4 3 3 0) ((MLIST SIMP) 2800 6 4 3 2 1)
         ((MLIST SIMP) -2940 6 4 2 2 2) ((MLIST SIMP) -1680 6 3 3 3 1)
         ((MLIST SIMP) 4480 6 3 3 2 2) ((MLIST SIMP) 1680 5 5 5 1 0)
         ((MLIST SIMP) -840 5 5 4 2 0) ((MLIST SIMP) 3360 5 5 4 1 1)
         ((MLIST SIMP) -3304 5 5 3 3 0) ((MLIST SIMP) 1848 5 5 3 2 1)
         ((MLIST SIMP) 5544 5 5 2 2 2) ((MLIST SIMP) 2240 5 4 4 3 0)
         ((MLIST SIMP) -3360 5 4 4 2 1) ((MLIST SIMP) -3080 5 4 3 3 1)
         ((MLIST SIMP) -1680 5 4 3 2 2) ((MLIST SIMP) -1120 5 3 3 3 2)
         ((MLIST SIMP) -4550 4 4 4 4 0) ((MLIST SIMP) -1400 4 4 4 3 1)
         ((MLIST SIMP) 2100 4 4 4 2 2) ((MLIST SIMP) 1400 4 4 3 3 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 8 8 0 0 0)
         ((MLIST SIMP) -8 8 7 1 0 0) ((MLIST SIMP) 28 8 6 2 0 0)
         ((MLIST SIMP) -56 8 6 1 1 0) ((MLIST SIMP) -56 8 5 3 0 0)
         ((MLIST SIMP) 168 8 5 2 1 0) ((MLIST SIMP) 336 8 5 1 1 1)
         ((MLIST SIMP) 70 8 4 4 0 0) ((MLIST SIMP) -280 8 4 3 1 0)
         ((MLIST SIMP) 420 8 4 2 2 0) ((MLIST SIMP) -840 8 4 2 1 1)
         ((MLIST SIMP) -560 8 3 3 2 0) ((MLIST SIMP) 1120 8 3 3 1 1)
         ((MLIST SIMP) -1680 8 3 2 2 1) ((MLIST SIMP) 2520 8 2 2 2 2)
         ((MLIST SIMP) -56 7 7 2 0 0) ((MLIST SIMP) 104 7 7 1 1 0)
         ((MLIST SIMP) 168 7 6 3 0 0) ((MLIST SIMP) -448 7 6 2 1 0)
         ((MLIST SIMP) -280 7 6 1 1 1) ((MLIST SIMP) -280 7 5 4 0 0)
         ((MLIST SIMP) 952 7 5 3 1 0) ((MLIST SIMP) -1344 7 5 2 2 0)
         ((MLIST SIMP) 1176 7 5 2 1 1) ((MLIST SIMP) -1120 7 4 4 1 0)
         ((MLIST SIMP) 1960 7 4 3 2 0) ((MLIST SIMP) -1960 7 4 3 1 1)
         ((MLIST SIMP) 3360 7 4 2 2 1) ((MLIST SIMP) 1680 7 3 3 3 0)
         ((MLIST SIMP) -2800 7 3 3 2 1) ((MLIST SIMP) -1680 7 3 2 2 2)
         ((MLIST SIMP) 420 6 6 4 0 0) ((MLIST SIMP) -1344 6 6 3 1 0)
         ((MLIST SIMP) 1876 6 6 2 2 0) ((MLIST SIMP) 280 6 6 2 1 1)
         ((MLIST SIMP) -560 6 5 5 0 0) ((MLIST SIMP) 1960 6 5 4 1 0)
         ((MLIST SIMP) -3248 6 5 3 2 0) ((MLIST SIMP) 56 6 5 3 1 1)
         ((MLIST SIMP) -1848 6 5 2 2 1) ((MLIST SIMP) 2240 6 4 4 2 0)
         ((MLIST SIMP) 560 6 4 4 1 1) ((MLIST SIMP) -2520 6 4 3 3 0)
         ((MLIST SIMP) 1120 6 4 3 2 1) ((MLIST SIMP) -2940 6 4 2 2 2)
         ((MLIST SIMP) -1680 6 3 3 3 1) ((MLIST SIMP) 4480 6 3 3 2 2)
         ((MLIST SIMP) 1680 5 5 5 1 0) ((MLIST SIMP) -2520 5 5 4 2 0)
         ((MLIST SIMP) -3360 5 5 4 1 1) ((MLIST SIMP) 2744 5 5 3 3 0)
         ((MLIST SIMP) 1848 5 5 3 2 1) ((MLIST SIMP) 5544 5 5 2 2 2)
         ((MLIST SIMP) 2240 5 4 4 3 0) ((MLIST SIMP) -3360 5 4 4 2 1)
         ((MLIST SIMP) 1400 5 4 3 3 1) ((MLIST SIMP) -3360 5 4 3 2 2)
         ((MLIST SIMP) -1120 5 3 3 3 2) ((MLIST SIMP) -4550 4 4 4 4 0)
         ((MLIST SIMP) -1400 4 4 4 3 1) ((MLIST SIMP) 2100 4 4 4 2 2)
         ((MLIST SIMP) -1400 4 4 3 3 2))
        ((MLIST SIMP) ((MLIST SIMP) 1 8 8 0 0 0)
         ((MLIST SIMP) 8 8 7 1 0 0) ((MLIST SIMP) 28 8 6 2 0 0)
         ((MLIST SIMP) -56 8 6 1 1 0) ((MLIST SIMP) 56 8 5 3 0 0)
         ((MLIST SIMP) -168 8 5 2 1 0) ((MLIST SIMP) 336 8 5 1 1 1)
         ((MLIST SIMP) 70 8 4 4 0 0) ((MLIST SIMP) -280 8 4 3 1 0)
         ((MLIST SIMP) 420 8 4 2 2 0) ((MLIST SIMP) 840 8 4 2 1 1)
         ((MLIST SIMP) 560 8 3 3 2 0) ((MLIST SIMP) 1120 8 3 3 1 1)
         ((MLIST SIMP) -1680 8 3 2 2 1) ((MLIST SIMP) 2520 8 2 2 2 2)
         ((MLIST SIMP) -56 7 7 2 0 0) ((MLIST SIMP) 104 7 7 1 1 0)
         ((MLIST SIMP) -168 7 6 3 0 0) ((MLIST SIMP) 448 7 6 2 1 0)
         ((MLIST SIMP) -280 7 6 1 1 1) ((MLIST SIMP) -280 7 5 4 0 0)
         ((MLIST SIMP) 952 7 5 3 1 0) ((MLIST SIMP) -1344 7 5 2 2 0)
         ((MLIST SIMP) -1512 7 5 2 1 1) ((MLIST SIMP) 1120 7 4 4 1 0)
         ((MLIST SIMP) -1960 7 4 3 2 0) ((MLIST SIMP) -3080 7 4 3 1 1)
         ((MLIST SIMP) 3360 7 4 2 2 1) ((MLIST SIMP) 1680 7 3 3 3 0)
         ((MLIST SIMP) 3920 7 3 3 2 1) ((MLIST SIMP) -1680 7 3 2 2 2)
         ((MLIST SIMP) 420 6 6 4 0 0) ((MLIST SIMP) -1344 6 6 3 1 0)
         ((MLIST SIMP) 1876 6 6 2 2 0) ((MLIST SIMP) 280 6 6 2 1 1)
         ((MLIST SIMP) 560 6 5 5 0 0) ((MLIST SIMP) -1960 6 5 4 1 0)
         ((MLIST SIMP) 3248 6 5 3 2 0) ((MLIST SIMP) 2744 6 5 3 1 1)
         ((MLIST SIMP) -1848 6 5 2 2 1) ((MLIST SIMP) 2240 6 4 4 2 0)
         ((MLIST SIMP) 4480 6 4 4 1 1) ((MLIST SIMP) -2520 6 4 3 3 0)
         ((MLIST SIMP) -3920 6 4 3 2 1) ((MLIST SIMP) -2940 6 4 2 2 2)
         ((MLIST SIMP) -1680 6 3 3 3 1) ((MLIST SIMP) -1120 6 3 3 2 2)
         ((MLIST SIMP) 1680 5 5 5 1 0) ((MLIST SIMP) -2520 5 5 4 2 0)
         ((MLIST SIMP) -3360 5 5 4 1 1) ((MLIST SIMP) 2744 5 5 3 3 0)
         ((MLIST SIMP) 1848 5 5 3 2 1) ((MLIST SIMP) 5544 5 5 2 2 2)
         ((MLIST SIMP) -2240 5 4 4 3 0) ((MLIST SIMP) 1680 5 4 4 2 1)
         ((MLIST SIMP) 1400 5 4 3 3 1) ((MLIST SIMP) 1680 5 4 3 2 2)
         ((MLIST SIMP) -1120 5 3 3 3 2) ((MLIST SIMP) -4550 4 4 4 4 0)
         ((MLIST SIMP) -1400 4 4 4 3 1) ((MLIST SIMP) 2100 4 4 4 2 2)
         ((MLIST SIMP) -1400 4 4 3 3 2))))
      (((5) (MLIST SIMP)
        ((MLIST SIMP) ((MLIST SIMP) 1 10 10 0 0 0)
         ((MLIST SIMP) -10 10 9 1 0 0) ((MLIST SIMP) 45 10 8 2 0 0)
         ((MLIST SIMP) 90 10 8 1 1 0) ((MLIST SIMP) -120 10 7 3 0 0)
         ((MLIST SIMP) -360 10 7 2 1 0) ((MLIST SIMP) 720 10 7 1 1 1)
         ((MLIST SIMP) 210 10 6 4 0 0) ((MLIST SIMP) 840 10 6 3 1 0)
         ((MLIST SIMP) 1260 10 6 2 2 0) ((MLIST SIMP) -2520 10 6 2 1 1)
         ((MLIST SIMP) -252 10 5 5 0 0) ((MLIST SIMP) -1260 10 5 4 1 0)
         ((MLIST SIMP) -2520 10 5 3 2 0) ((MLIST SIMP) 5040 10 5 3 1 1)
         ((MLIST SIMP) 7560 10 5 2 2 1) ((MLIST SIMP) 3150 10 4 4 2 0)
         ((MLIST SIMP) -6300 10 4 4 1 1) ((MLIST SIMP) 4200 10 4 3 3 0)
         ((MLIST SIMP) -12600 10 4 3 2 1)
         ((MLIST SIMP) 18900 10 4 2 2 2)
         ((MLIST SIMP) 16800 10 3 3 3 1)
         ((MLIST SIMP) -25200 10 3 3 2 2) ((MLIST SIMP) -90 9 9 2 0 0)
         ((MLIST SIMP) 10 9 9 1 1 0) ((MLIST SIMP) 360 9 8 3 0 0)
         ((MLIST SIMP) 270 9 8 2 1 0) ((MLIST SIMP) -630 9 8 1 1 1)
         ((MLIST SIMP) -840 9 7 4 0 0) ((MLIST SIMP) -1320 9 7 3 1 0)
         ((MLIST SIMP) 720 9 7 2 2 0) ((MLIST SIMP) 3960 9 7 2 1 1)
         ((MLIST SIMP) 1260 9 6 5 0 0) ((MLIST SIMP) 2940 9 6 4 1 0)
         ((MLIST SIMP) -10920 9 6 3 1 1) ((MLIST SIMP) -2520 9 6 2 2 1)
         ((MLIST SIMP) -3780 9 5 5 1 0) ((MLIST SIMP) -1260 9 5 4 2 0)
         ((MLIST SIMP) 16380 9 5 4 1 1) ((MLIST SIMP) 7560 9 5 3 3 0)
         ((MLIST SIMP) 7560 9 5 3 2 1) ((MLIST SIMP) -22680 9 5 2 2 2)
         ((MLIST SIMP) -8400 9 4 4 3 0) ((MLIST SIMP) -6300 9 4 4 2 1)
         ((MLIST SIMP) 21000 9 4 3 3 1) ((MLIST SIMP) 25200 9 4 3 2 2)
         ((MLIST SIMP) 25200 9 3 3 3 2) ((MLIST SIMP) 1260 8 8 4 0 0)
         ((MLIST SIMP) -720 8 8 3 1 0) ((MLIST SIMP) -2475 8 8 2 2 0)
         ((MLIST SIMP) 630 8 8 2 1 1) ((MLIST SIMP) -2520 8 7 5 0 0)
         ((MLIST SIMP) 7200 8 7 3 2 0) ((MLIST SIMP) 3240 8 7 3 1 1)
         ((MLIST SIMP) -14760 8 7 2 2 1) ((MLIST SIMP) 3150 8 6 6 0 0)
         ((MLIST SIMP) 1260 8 6 5 1 0) ((MLIST SIMP) -11970 8 6 4 2 0)
         ((MLIST SIMP) -8820 8 6 4 1 1) ((MLIST SIMP) -10080 8 6 3 3 0)
         ((MLIST SIMP) 27720 8 6 3 2 1) ((MLIST SIMP) -20160 8 6 2 2 2)
         ((MLIST SIMP) 13860 8 5 5 2 0) ((MLIST SIMP) 6300 8 5 5 1 1)
         ((MLIST SIMP) 17640 8 5 4 3 0) ((MLIST SIMP) -39060 8 5 4 2 1)
         ((MLIST SIMP) -47880 8 5 3 3 1) ((MLIST SIMP) 32760 8 5 3 2 2)
         ((MLIST SIMP) 6300 8 4 4 4 0) ((MLIST SIMP) 50400 8 4 4 3 1)
         ((MLIST SIMP) -59850 8 4 4 2 2)
         ((MLIST SIMP) -75600 8 4 3 3 2)
         ((MLIST SIMP) -75600 8 3 3 3 3) ((MLIST SIMP) -4200 7 7 6 0 0)
         ((MLIST SIMP) 7560 7 7 5 1 0) ((MLIST SIMP) 10080 7 7 4 2 0)
         ((MLIST SIMP) -17640 7 7 4 1 1)
         ((MLIST SIMP) -15000 7 7 3 3 0)
         ((MLIST SIMP) -35640 7 7 3 2 1) ((MLIST SIMP) 52200 7 7 2 2 2)
         ((MLIST SIMP) -8400 7 6 6 1 0) ((MLIST SIMP) -17640 7 6 5 2 0)
         ((MLIST SIMP) 22680 7 6 5 1 1) ((MLIST SIMP) 19320 7 6 4 3 0)
         ((MLIST SIMP) 55440 7 6 4 2 1) ((MLIST SIMP) -9240 7 6 3 3 1)
         ((MLIST SIMP) -83160 7 6 3 2 2)
         ((MLIST SIMP) -20160 7 5 5 3 0)
         ((MLIST SIMP) -50400 7 5 5 2 1)
         ((MLIST SIMP) -45360 7 5 4 4 0) ((MLIST SIMP) 25200 7 5 4 3 1)
         ((MLIST SIMP) 78120 7 5 4 2 2) ((MLIST SIMP) 37800 7 5 3 3 2)
         ((MLIST SIMP) -75600 7 4 4 4 1) ((MLIST SIMP) 25200 7 4 4 3 2)
         ((MLIST SIMP) 37800 7 4 3 3 3) ((MLIST SIMP) 6300 6 6 6 2 0)
         ((MLIST SIMP) 46200 6 6 6 1 1) ((MLIST SIMP) 45360 6 6 5 3 0)
         ((MLIST SIMP) 2520 6 6 5 2 1) ((MLIST SIMP) -18690 6 6 4 4 0)
         ((MLIST SIMP) -81480 6 6 4 3 1)
         ((MLIST SIMP) -42840 6 6 4 2 2) ((MLIST SIMP) 47880 6 6 3 3 2)
         ((MLIST SIMP) 16380 6 5 5 4 0) ((MLIST SIMP) 75600 6 5 5 3 1)
         ((MLIST SIMP) -27720 6 5 5 2 2) ((MLIST SIMP) 13860 6 5 4 4 1)
         ((MLIST SIMP) -60480 6 5 4 3 2) ((MLIST SIMP) -2520 6 5 3 3 3)
         ((MLIST SIMP) 22050 6 4 4 4 2) ((MLIST SIMP) -37800 6 4 4 3 3)
         ((MLIST SIMP) -12348 5 5 5 5 0)
         ((MLIST SIMP) -36540 5 5 5 4 1) ((MLIST SIMP) 27720 5 5 5 3 2)
         ((MLIST SIMP) 1260 5 5 4 4 2) ((MLIST SIMP) -17640 5 5 4 3 3)
         ((MLIST SIMP) 12600 5 4 4 4 3)
         ((MLIST SIMP) -63000 4 4 4 4 4))
        ((MLIST SIMP) ((MLIST SIMP) 1 10 10 0 0 0)
         ((MLIST SIMP) 10 10 9 1 0 0) ((MLIST SIMP) 45 10 8 2 0 0)
         ((MLIST SIMP) -90 10 8 1 1 0) ((MLIST SIMP) 120 10 7 3 0 0)
         ((MLIST SIMP) -360 10 7 2 1 0) ((MLIST SIMP) 720 10 7 1 1 1)
         ((MLIST SIMP) 210 10 6 4 0 0) ((MLIST SIMP) -840 10 6 3 1 0)
         ((MLIST SIMP) 1260 10 6 2 2 0) ((MLIST SIMP) 2520 10 6 2 1 1)
         ((MLIST SIMP) 252 10 5 5 0 0) ((MLIST SIMP) -1260 10 5 4 1 0)
         ((MLIST SIMP) 2520 10 5 3 2 0) ((MLIST SIMP) 5040 10 5 3 1 1)
         ((MLIST SIMP) -7560 10 5 2 2 1) ((MLIST SIMP) 3150 10 4 4 2 0)
         ((MLIST SIMP) 6300 10 4 4 1 1) ((MLIST SIMP) -4200 10 4 3 3 0)
         ((MLIST SIMP) -12600 10 4 3 2 1)
         ((MLIST SIMP) 18900 10 4 2 2 2)
         ((MLIST SIMP) 16800 10 3 3 3 1)
         ((MLIST SIMP) 25200 10 3 3 2 2) ((MLIST SIMP) -90 9 9 2 0 0)
         ((MLIST SIMP) 10 9 9 1 1 0) ((MLIST SIMP) -360 9 8 3 0 0)
         ((MLIST SIMP) 450 9 8 2 1 0) ((MLIST SIMP) -630 9 8 1 1 1)
         ((MLIST SIMP) -840 9 7 4 0 0) ((MLIST SIMP) 2040 9 7 3 1 0)
         ((MLIST SIMP) -720 9 7 2 2 0) ((MLIST SIMP) -4680 9 7 2 1 1)
         ((MLIST SIMP) -1260 9 6 5 0 0) ((MLIST SIMP) 4620 9 6 4 1 0)
         ((MLIST SIMP) -5040 9 6 3 2 0) ((MLIST SIMP) -14280 9 6 3 1 1)
         ((MLIST SIMP) 7560 9 6 2 2 1) ((MLIST SIMP) 6300 9 5 5 1 0)
         ((MLIST SIMP) -11340 9 5 4 2 0)
         ((MLIST SIMP) -23940 9 5 4 1 1) ((MLIST SIMP) 7560 9 5 3 3 0)
         ((MLIST SIMP) 27720 9 5 3 2 1) ((MLIST SIMP) -22680 9 5 2 2 2)
         ((MLIST SIMP) 16800 9 4 4 3 0) ((MLIST SIMP) 44100 9 4 4 2 1)
         ((MLIST SIMP) -29400 9 4 3 3 1)
         ((MLIST SIMP) -50400 9 4 3 2 2) ((MLIST SIMP) 25200 9 3 3 3 2)
         ((MLIST SIMP) 1260 8 8 4 0 0) ((MLIST SIMP) -720 8 8 3 1 0)
         ((MLIST SIMP) -2475 8 8 2 2 0) ((MLIST SIMP) 630 8 8 2 1 1)
         ((MLIST SIMP) 2520 8 7 5 0 0) ((MLIST SIMP) -5040 8 7 4 1 0)
         ((MLIST SIMP) -2160 8 7 3 2 0) ((MLIST SIMP) 11880 8 7 3 1 1)
         ((MLIST SIMP) 11160 8 7 2 2 1) ((MLIST SIMP) 3150 8 6 6 0 0)
         ((MLIST SIMP) -11340 8 6 5 1 0) ((MLIST SIMP) 8190 8 6 4 2 0)
         ((MLIST SIMP) 34020 8 6 4 1 1) ((MLIST SIMP) 10080 8 6 3 3 0)
         ((MLIST SIMP) -2520 8 6 3 2 1) ((MLIST SIMP) -20160 8 6 2 2 2)
         ((MLIST SIMP) 23940 8 5 5 2 0) ((MLIST SIMP) 46620 8 5 5 1 1)
         ((MLIST SIMP) -7560 8 5 4 3 0) ((MLIST SIMP) -44100 8 5 4 2 1)
         ((MLIST SIMP) -27720 8 5 3 3 1) ((MLIST SIMP) 12600 8 5 3 2 2)
         ((MLIST SIMP) 6300 8 4 4 4 0) ((MLIST SIMP) 25200 8 4 4 3 1)
         ((MLIST SIMP) 40950 8 4 4 2 2) ((MLIST SIMP) 50400 8 4 3 3 2)
         ((MLIST SIMP) -75600 8 3 3 3 3) ((MLIST SIMP) -4200 7 7 6 0 0)
         ((MLIST SIMP) 7560 7 7 5 1 0) ((MLIST SIMP) 10080 7 7 4 2 0)
         ((MLIST SIMP) -17640 7 7 4 1 1)
         ((MLIST SIMP) -15000 7 7 3 3 0)
         ((MLIST SIMP) -35640 7 7 3 2 1) ((MLIST SIMP) 52200 7 7 2 2 2)
         ((MLIST SIMP) 16800 7 6 6 1 0) ((MLIST SIMP) -7560 7 6 5 2 0)
         ((MLIST SIMP) -47880 7 6 5 1 1)
         ((MLIST SIMP) -29400 7 6 4 3 0)
         ((MLIST SIMP) -10080 7 6 4 2 1) ((MLIST SIMP) 64680 7 6 3 3 1)
         ((MLIST SIMP) 57960 7 6 3 2 2) ((MLIST SIMP) 50400 7 5 5 2 1)
         ((MLIST SIMP) 45360 7 5 4 4 0) ((MLIST SIMP) 55440 7 5 4 3 1)
         ((MLIST SIMP) -2520 7 5 4 2 2) ((MLIST SIMP) -83160 7 5 3 3 2)
         ((MLIST SIMP) -75600 7 4 4 4 1)
         ((MLIST SIMP) -50400 7 4 4 3 2) ((MLIST SIMP) 37800 7 4 3 3 3)
         ((MLIST SIMP) 6300 6 6 6 2 0) ((MLIST SIMP) 46200 6 6 6 1 1)
         ((MLIST SIMP) 45360 6 6 5 3 0) ((MLIST SIMP) 2520 6 6 5 2 1)
         ((MLIST SIMP) -18690 6 6 4 4 0)
         ((MLIST SIMP) -81480 6 6 4 3 1)
         ((MLIST SIMP) -42840 6 6 4 2 2) ((MLIST SIMP) 47880 6 6 3 3 2)
         ((MLIST SIMP) -66780 6 5 5 4 0)
         ((MLIST SIMP) -35280 6 5 5 3 1) ((MLIST SIMP) 27720 6 5 5 2 2)
         ((MLIST SIMP) 46620 6 5 4 4 1) ((MLIST SIMP) 45360 6 5 4 3 2)
         ((MLIST SIMP) -2520 6 5 3 3 3) ((MLIST SIMP) 22050 6 4 4 4 2)
         ((MLIST SIMP) 12600 6 4 4 3 3) ((MLIST SIMP) -12348 5 5 5 5 0)
         ((MLIST SIMP) -36540 5 5 5 4 1) ((MLIST SIMP) 27720 5 5 5 3 2)
         ((MLIST SIMP) 1260 5 5 4 4 2) ((MLIST SIMP) -17640 5 5 4 3 3)
         ((MLIST SIMP) 12600 5 4 4 4 3)
         ((MLIST SIMP) -63000 4 4 4 4 4))
        ((MLIST SIMP) ((MLIST SIMP) 1 10 10 0 0 0)
         ((MLIST SIMP) -10 10 9 1 0 0) ((MLIST SIMP) 45 10 8 2 0 0)
         ((MLIST SIMP) -90 10 8 1 1 0) ((MLIST SIMP) -120 10 7 3 0 0)
         ((MLIST SIMP) 360 10 7 2 1 0) ((MLIST SIMP) 720 10 7 1 1 1)
         ((MLIST SIMP) 210 10 6 4 0 0) ((MLIST SIMP) -840 10 6 3 1 0)
         ((MLIST SIMP) 1260 10 6 2 2 0) ((MLIST SIMP) -2520 10 6 2 1 1)
         ((MLIST SIMP) -252 10 5 5 0 0) ((MLIST SIMP) 1260 10 5 4 1 0)
         ((MLIST SIMP) -2520 10 5 3 2 0) ((MLIST SIMP) 5040 10 5 3 1 1)
         ((MLIST SIMP) -7560 10 5 2 2 1) ((MLIST SIMP) 3150 10 4 4 2 0)
         ((MLIST SIMP) -6300 10 4 4 1 1)
         ((MLIST SIMP) -4200 10 4 3 3 0)
         ((MLIST SIMP) 12600 10 4 3 2 1)
         ((MLIST SIMP) 18900 10 4 2 2 2)
         ((MLIST SIMP) 16800 10 3 3 3 1)
         ((MLIST SIMP) -25200 10 3 3 2 2) ((MLIST SIMP) 90 9 9 2 0 0)
         ((MLIST SIMP) 10 9 9 1 1 0) ((MLIST SIMP) -360 9 8 3 0 0)
         ((MLIST SIMP) 270 9 8 2 1 0) ((MLIST SIMP) -630 9 8 1 1 1)
         ((MLIST SIMP) 840 9 7 4 0 0) ((MLIST SIMP) -1320 9 7 3 1 0)
         ((MLIST SIMP) -720 9 7 2 2 0) ((MLIST SIMP) -360 9 7 2 1 1)
         ((MLIST SIMP) -1260 9 6 5 0 0) ((MLIST SIMP) 2940 9 6 4 1 0)
         ((MLIST SIMP) 5880 9 6 3 1 1) ((MLIST SIMP) 7560 9 6 2 2 1)
         ((MLIST SIMP) -3780 9 5 5 1 0) ((MLIST SIMP) 1260 9 5 4 2 0)
         ((MLIST SIMP) -13860 9 5 4 1 1) ((MLIST SIMP) 7560 9 5 3 3 0)
         ((MLIST SIMP) -2520 9 5 3 2 1) ((MLIST SIMP) -22680 9 5 2 2 2)
         ((MLIST SIMP) -8400 9 4 4 3 0) ((MLIST SIMP) -6300 9 4 4 2 1)
         ((MLIST SIMP) -29400 9 4 3 3 1) ((MLIST SIMP) 25200 9 3 3 3 2)
         ((MLIST SIMP) 1260 8 8 4 0 0) ((MLIST SIMP) 720 8 8 3 1 0)
         ((MLIST SIMP) -2475 8 8 2 2 0) ((MLIST SIMP) 4410 8 8 2 1 1)
         ((MLIST SIMP) -2520 8 7 5 0 0) ((MLIST SIMP) 7200 8 7 3 2 0)
         ((MLIST SIMP) -8280 8 7 3 1 1) ((MLIST SIMP) 11160 8 7 2 2 1)
         ((MLIST SIMP) 3150 8 6 6 0 0) ((MLIST SIMP) -1260 8 6 5 1 0)
         ((MLIST SIMP) -11970 8 6 4 2 0) ((MLIST SIMP) 3780 8 6 4 1 1)
         ((MLIST SIMP) 10080 8 6 3 3 0) ((MLIST SIMP) -32760 8 6 3 2 1)
         ((MLIST SIMP) -20160 8 6 2 2 2) ((MLIST SIMP) 13860 8 5 5 2 0)
         ((MLIST SIMP) 6300 8 5 5 1 1) ((MLIST SIMP) -17640 8 5 4 3 0)
         ((MLIST SIMP) 44100 8 5 4 2 1) ((MLIST SIMP) -27720 8 5 3 3 1)
         ((MLIST SIMP) 63000 8 5 3 2 2) ((MLIST SIMP) 6300 8 4 4 4 0)
         ((MLIST SIMP) 50400 8 4 4 3 1) ((MLIST SIMP) -59850 8 4 4 2 2)
         ((MLIST SIMP) 50400 8 4 3 3 2) ((MLIST SIMP) -75600 8 3 3 3 3)
         ((MLIST SIMP) 4200 7 7 6 0 0) ((MLIST SIMP) 7560 7 7 5 1 0)
         ((MLIST SIMP) -10080 7 7 4 2 0) ((MLIST SIMP) 22680 7 7 4 1 1)
         ((MLIST SIMP) -15000 7 7 3 3 0) ((MLIST SIMP) 10440 7 7 3 2 1)
         ((MLIST SIMP) 52200 7 7 2 2 2) ((MLIST SIMP) -8400 7 6 6 1 0)
         ((MLIST SIMP) 17640 7 6 5 2 0) ((MLIST SIMP) -27720 7 6 5 1 1)
         ((MLIST SIMP) 19320 7 6 4 3 0) ((MLIST SIMP) 20160 7 6 4 2 1)
         ((MLIST SIMP) 64680 7 6 3 3 1) ((MLIST SIMP) -42840 7 6 3 2 2)
         ((MLIST SIMP) -20160 7 5 5 3 0)
         ((MLIST SIMP) -50400 7 5 5 2 1) ((MLIST SIMP) 45360 7 5 4 4 0)
         ((MLIST SIMP) -55440 7 5 4 3 1)
         ((MLIST SIMP) -27720 7 5 4 2 2)
         ((MLIST SIMP) -83160 7 5 3 3 2)
         ((MLIST SIMP) -75600 7 4 4 4 1) ((MLIST SIMP) 25200 7 4 4 3 2)
         ((MLIST SIMP) 37800 7 4 3 3 3) ((MLIST SIMP) 6300 6 6 6 2 0)
         ((MLIST SIMP) 46200 6 6 6 1 1) ((MLIST SIMP) -45360 6 6 5 3 0)
         ((MLIST SIMP) 27720 6 6 5 2 1) ((MLIST SIMP) -18690 6 6 4 4 0)
         ((MLIST SIMP) -39480 6 6 4 3 1) ((MLIST SIMP) 78120 6 6 4 2 2)
         ((MLIST SIMP) 47880 6 6 3 3 2) ((MLIST SIMP) 16380 6 5 5 4 0)
         ((MLIST SIMP) 75600 6 5 5 3 1) ((MLIST SIMP) -27720 6 5 5 2 2)
         ((MLIST SIMP) 46620 6 5 4 4 1) ((MLIST SIMP) 30240 6 5 4 3 2)
         ((MLIST SIMP) -2520 6 5 3 3 3) ((MLIST SIMP) 22050 6 4 4 4 2)
         ((MLIST SIMP) -37800 6 4 4 3 3)
         ((MLIST SIMP) -12348 5 5 5 5 0)
         ((MLIST SIMP) -36540 5 5 5 4 1) ((MLIST SIMP) 27720 5 5 5 3 2)
         ((MLIST SIMP) 1260 5 5 4 4 2) ((MLIST SIMP) 42840 5 5 4 3 3)
         ((MLIST SIMP) 12600 5 4 4 4 3)
         ((MLIST SIMP) -63000 4 4 4 4 4))
        ((MLIST SIMP) ((MLIST SIMP) 1 10 10 0 0 0)
         ((MLIST SIMP) -10 10 9 1 0 0) ((MLIST SIMP) 45 10 8 2 0 0)
         ((MLIST SIMP) 90 10 8 1 1 0) ((MLIST SIMP) -120 10 7 3 0 0)
         ((MLIST SIMP) -360 10 7 2 1 0) ((MLIST SIMP) 720 10 7 1 1 1)
         ((MLIST SIMP) 210 10 6 4 0 0) ((MLIST SIMP) 840 10 6 3 1 0)
         ((MLIST SIMP) 1260 10 6 2 2 0) ((MLIST SIMP) -2520 10 6 2 1 1)
         ((MLIST SIMP) -252 10 5 5 0 0) ((MLIST SIMP) -1260 10 5 4 1 0)
         ((MLIST SIMP) -2520 10 5 3 2 0) ((MLIST SIMP) 5040 10 5 3 1 1)
         ((MLIST SIMP) 7560 10 5 2 2 1) ((MLIST SIMP) 3150 10 4 4 2 0)
         ((MLIST SIMP) -6300 10 4 4 1 1) ((MLIST SIMP) 4200 10 4 3 3 0)
         ((MLIST SIMP) -12600 10 4 3 2 1)
         ((MLIST SIMP) 18900 10 4 2 2 2)
         ((MLIST SIMP) 16800 10 3 3 3 1)
         ((MLIST SIMP) -25200 10 3 3 2 2) ((MLIST SIMP) 90 9 9 2 0 0)
         ((MLIST SIMP) 10 9 9 1 1 0) ((MLIST SIMP) -360 9 8 3 0 0)
         ((MLIST SIMP) -450 9 8 2 1 0) ((MLIST SIMP) -630 9 8 1 1 1)
         ((MLIST SIMP) 840 9 7 4 0 0) ((MLIST SIMP) 2040 9 7 3 1 0)
         ((MLIST SIMP) 720 9 7 2 2 0) ((MLIST SIMP) -360 9 7 2 1 1)
         ((MLIST SIMP) -1260 9 6 5 0 0) ((MLIST SIMP) -4620 9 6 4 1 0)
         ((MLIST SIMP) -5040 9 6 3 2 0) ((MLIST SIMP) 5880 9 6 3 1 1)
         ((MLIST SIMP) -2520 9 6 2 2 1) ((MLIST SIMP) 6300 9 5 5 1 0)
         ((MLIST SIMP) 11340 9 5 4 2 0) ((MLIST SIMP) -13860 9 5 4 1 1)
         ((MLIST SIMP) 7560 9 5 3 3 0) ((MLIST SIMP) -12600 9 5 3 2 1)
         ((MLIST SIMP) -22680 9 5 2 2 2)
         ((MLIST SIMP) -16800 9 4 4 3 0) ((MLIST SIMP) 31500 9 4 4 2 1)
         ((MLIST SIMP) 21000 9 4 3 3 1) ((MLIST SIMP) 25200 9 3 3 3 2)
         ((MLIST SIMP) 1260 8 8 4 0 0) ((MLIST SIMP) 720 8 8 3 1 0)
         ((MLIST SIMP) -2475 8 8 2 2 0) ((MLIST SIMP) 4410 8 8 2 1 1)
         ((MLIST SIMP) -2520 8 7 5 0 0) ((MLIST SIMP) -5040 8 7 4 1 0)
         ((MLIST SIMP) 2160 8 7 3 2 0) ((MLIST SIMP) -8280 8 7 3 1 1)
         ((MLIST SIMP) -14760 8 7 2 2 1) ((MLIST SIMP) 3150 8 6 6 0 0)
         ((MLIST SIMP) 11340 8 6 5 1 0) ((MLIST SIMP) 8190 8 6 4 2 0)
         ((MLIST SIMP) 3780 8 6 4 1 1) ((MLIST SIMP) -10080 8 6 3 3 0)
         ((MLIST SIMP) 27720 8 6 3 2 1) ((MLIST SIMP) -20160 8 6 2 2 2)
         ((MLIST SIMP) -23940 8 5 5 2 0) ((MLIST SIMP) 6300 8 5 5 1 1)
         ((MLIST SIMP) -7560 8 5 4 3 0) ((MLIST SIMP) -8820 8 5 4 2 1)
         ((MLIST SIMP) -47880 8 5 3 3 1) ((MLIST SIMP) 63000 8 5 3 2 2)
         ((MLIST SIMP) 6300 8 4 4 4 0) ((MLIST SIMP) -59850 8 4 4 2 2)
         ((MLIST SIMP) -75600 8 4 3 3 2)
         ((MLIST SIMP) -75600 8 3 3 3 3) ((MLIST SIMP) 4200 7 7 6 0 0)
         ((MLIST SIMP) 7560 7 7 5 1 0) ((MLIST SIMP) -10080 7 7 4 2 0)
         ((MLIST SIMP) 22680 7 7 4 1 1) ((MLIST SIMP) -15000 7 7 3 3 0)
         ((MLIST SIMP) 10440 7 7 3 2 1) ((MLIST SIMP) 52200 7 7 2 2 2)
         ((MLIST SIMP) -16800 7 6 6 1 0) ((MLIST SIMP) -7560 7 6 5 2 0)
         ((MLIST SIMP) -27720 7 6 5 1 1) ((MLIST SIMP) 29400 7 6 4 3 0)
         ((MLIST SIMP) -45360 7 6 4 2 1) ((MLIST SIMP) -9240 7 6 3 3 1)
         ((MLIST SIMP) -42840 7 6 3 2 2) ((MLIST SIMP) 40320 7 5 5 2 1)
         ((MLIST SIMP) -45360 7 5 4 4 0) ((MLIST SIMP) 65520 7 5 4 3 1)
         ((MLIST SIMP) -27720 7 5 4 2 2) ((MLIST SIMP) 37800 7 5 3 3 2)
         ((MLIST SIMP) -75600 7 4 4 4 1) ((MLIST SIMP) 50400 7 4 4 3 2)
         ((MLIST SIMP) 37800 7 4 3 3 3) ((MLIST SIMP) 6300 6 6 6 2 0)
         ((MLIST SIMP) 46200 6 6 6 1 1) ((MLIST SIMP) -45360 6 6 5 3 0)
         ((MLIST SIMP) 27720 6 6 5 2 1) ((MLIST SIMP) -18690 6 6 4 4 0)
         ((MLIST SIMP) -39480 6 6 4 3 1) ((MLIST SIMP) 78120 6 6 4 2 2)
         ((MLIST SIMP) 47880 6 6 3 3 2) ((MLIST SIMP) 66780 6 5 5 4 0)
         ((MLIST SIMP) -25200 6 5 5 3 1)
         ((MLIST SIMP) -27720 6 5 5 2 2) ((MLIST SIMP) 13860 6 5 4 4 1)
         ((MLIST SIMP) -75600 6 5 4 3 2) ((MLIST SIMP) -2520 6 5 3 3 3)
         ((MLIST SIMP) 22050 6 4 4 4 2) ((MLIST SIMP) -37800 6 4 4 3 3)
         ((MLIST SIMP) -12348 5 5 5 5 0)
         ((MLIST SIMP) -36540 5 5 5 4 1) ((MLIST SIMP) 27720 5 5 5 3 2)
         ((MLIST SIMP) 1260 5 5 4 4 2) ((MLIST SIMP) 42840 5 5 4 3 3)
         ((MLIST SIMP) 12600 5 4 4 4 3)
         ((MLIST SIMP) -63000 4 4 4 4 4))
        ((MLIST SIMP) ((MLIST SIMP) 1 10 10 0 0 0)
         ((MLIST SIMP) -10 10 9 1 0 0) ((MLIST SIMP) 45 10 8 2 0 0)
         ((MLIST SIMP) -90 10 8 1 1 0) ((MLIST SIMP) -120 10 7 3 0 0)
         ((MLIST SIMP) 360 10 7 2 1 0) ((MLIST SIMP) 720 10 7 1 1 1)
         ((MLIST SIMP) 210 10 6 4 0 0) ((MLIST SIMP) -840 10 6 3 1 0)
         ((MLIST SIMP) 1260 10 6 2 2 0) ((MLIST SIMP) -2520 10 6 2 1 1)
         ((MLIST SIMP) -252 10 5 5 0 0) ((MLIST SIMP) 1260 10 5 4 1 0)
         ((MLIST SIMP) -2520 10 5 3 2 0) ((MLIST SIMP) 5040 10 5 3 1 1)
         ((MLIST SIMP) -7560 10 5 2 2 1) ((MLIST SIMP) 3150 10 4 4 2 0)
         ((MLIST SIMP) -6300 10 4 4 1 1)
         ((MLIST SIMP) -4200 10 4 3 3 0)
         ((MLIST SIMP) 12600 10 4 3 2 1)
         ((MLIST SIMP) 18900 10 4 2 2 2)
         ((MLIST SIMP) 16800 10 3 3 3 1)
         ((MLIST SIMP) -25200 10 3 3 2 2) ((MLIST SIMP) -90 9 9 2 0 0)
         ((MLIST SIMP) 170 9 9 1 1 0) ((MLIST SIMP) 360 9 8 3 0 0)
         ((MLIST SIMP) -990 9 8 2 1 0) ((MLIST SIMP) -630 9 8 1 1 1)
         ((MLIST SIMP) -840 9 7 4 0 0) ((MLIST SIMP) 3000 9 7 3 1 0)
         ((MLIST SIMP) -4320 9 7 2 2 0) ((MLIST SIMP) 3960 9 7 2 1 1)
         ((MLIST SIMP) 1260 9 6 5 0 0) ((MLIST SIMP) -5460 9 6 4 1 0)
         ((MLIST SIMP) 10080 9 6 3 2 0) ((MLIST SIMP) -10920 9 6 3 1 1)
         ((MLIST SIMP) 17640 9 6 2 2 1) ((MLIST SIMP) 6300 9 5 5 1 0)
         ((MLIST SIMP) -13860 9 5 4 2 0) ((MLIST SIMP) 16380 9 5 4 1 1)
         ((MLIST SIMP) 17640 9 5 3 3 0) ((MLIST SIMP) -32760 9 5 3 2 1)
         ((MLIST SIMP) -22680 9 5 2 2 2)
         ((MLIST SIMP) -16800 9 4 4 3 0) ((MLIST SIMP) 31500 9 4 4 2 1)
         ((MLIST SIMP) -46200 9 4 3 3 1) ((MLIST SIMP) 25200 9 4 3 2 2)
         ((MLIST SIMP) 25200 9 3 3 3 2) ((MLIST SIMP) 1260 8 8 4 0 0)
         ((MLIST SIMP) -4320 8 8 3 1 0) ((MLIST SIMP) 6165 8 8 2 2 0)
         ((MLIST SIMP) 630 8 8 2 1 1) ((MLIST SIMP) -2520 8 7 5 0 0)
         ((MLIST SIMP) 10080 8 7 4 1 0) ((MLIST SIMP) -18000 8 7 3 2 0)
         ((MLIST SIMP) 3240 8 7 3 1 1) ((MLIST SIMP) -10440 8 7 2 2 1)
         ((MLIST SIMP) 3150 8 6 6 0 0) ((MLIST SIMP) -13860 8 6 5 1 0)
         ((MLIST SIMP) 28350 8 6 4 2 0) ((MLIST SIMP) -8820 8 6 4 1 1)
         ((MLIST SIMP) -35280 8 6 3 3 0) ((MLIST SIMP) 27720 8 6 3 2 1)
         ((MLIST SIMP) -20160 8 6 2 2 2)
         ((MLIST SIMP) -23940 8 5 5 2 0) ((MLIST SIMP) 6300 8 5 5 1 1)
         ((MLIST SIMP) 32760 8 5 4 3 0) ((MLIST SIMP) -23940 8 5 4 2 1)
         ((MLIST SIMP) 52920 8 5 3 3 1) ((MLIST SIMP) 32760 8 5 3 2 2)
         ((MLIST SIMP) 6300 8 4 4 4 0) ((MLIST SIMP) -59850 8 4 4 2 2)
         ((MLIST SIMP) 25200 8 4 3 3 2) ((MLIST SIMP) -75600 8 3 3 3 3)
         ((MLIST SIMP) -4200 7 7 6 0 0) ((MLIST SIMP) 17640 7 7 5 1 0)
         ((MLIST SIMP) -35280 7 7 4 2 0)
         ((MLIST SIMP) -17640 7 7 4 1 1) ((MLIST SIMP) 43560 7 7 3 3 0)
         ((MLIST SIMP) 10440 7 7 3 2 1) ((MLIST SIMP) 52200 7 7 2 2 2)
         ((MLIST SIMP) -16800 7 6 6 1 0) ((MLIST SIMP) 32760 7 6 5 2 0)
         ((MLIST SIMP) 22680 7 6 5 1 1) ((MLIST SIMP) -42840 7 6 4 3 0)
         ((MLIST SIMP) -15120 7 6 4 2 1)
         ((MLIST SIMP) -22680 7 6 3 3 1)
         ((MLIST SIMP) -83160 7 6 3 2 2) ((MLIST SIMP) 40320 7 5 5 2 1)
         ((MLIST SIMP) 5040 7 5 4 4 0) ((MLIST SIMP) -25200 7 5 4 3 1)
         ((MLIST SIMP) 78120 7 5 4 2 2) ((MLIST SIMP) -63000 7 5 3 3 2)
         ((MLIST SIMP) -75600 7 4 4 4 1) ((MLIST SIMP) 50400 7 4 4 3 2)
         ((MLIST SIMP) 37800 7 4 3 3 3) ((MLIST SIMP) 6300 6 6 6 2 0)
         ((MLIST SIMP) 46200 6 6 6 1 1) ((MLIST SIMP) 5040 6 6 5 3 0)
         ((MLIST SIMP) -52920 6 6 5 2 1)
         ((MLIST SIMP) -11970 6 6 4 4 0) ((MLIST SIMP) 22680 6 6 4 3 1)
         ((MLIST SIMP) -42840 6 6 4 2 2) ((MLIST SIMP) 68040 6 6 3 3 2)
         ((MLIST SIMP) 66780 6 5 5 4 0) ((MLIST SIMP) -25200 6 5 5 3 1)
         ((MLIST SIMP) -27720 6 5 5 2 2) ((MLIST SIMP) 36540 6 5 4 4 1)
         ((MLIST SIMP) 10080 6 5 4 3 2) ((MLIST SIMP) -2520 6 5 3 3 3)
         ((MLIST SIMP) 22050 6 4 4 4 2) ((MLIST SIMP) -37800 6 4 4 3 3)
         ((MLIST SIMP) -12348 5 5 5 5 0)
         ((MLIST SIMP) -36540 5 5 5 4 1) ((MLIST SIMP) 27720 5 5 5 3 2)
         ((MLIST SIMP) -36540 5 5 4 4 2)
         ((MLIST SIMP) -17640 5 5 4 3 3) ((MLIST SIMP) 12600 5 4 4 4 3)
         ((MLIST SIMP) -63000 4 4 4 4 4))
        ((MLIST SIMP) ((MLIST SIMP) 1 10 10 0 0 0)
         ((MLIST SIMP) 10 10 9 1 0 0) ((MLIST SIMP) 45 10 8 2 0 0)
         ((MLIST SIMP) -90 10 8 1 1 0) ((MLIST SIMP) 120 10 7 3 0 0)
         ((MLIST SIMP) -360 10 7 2 1 0) ((MLIST SIMP) 720 10 7 1 1 1)
         ((MLIST SIMP) 210 10 6 4 0 0) ((MLIST SIMP) -840 10 6 3 1 0)
         ((MLIST SIMP) 1260 10 6 2 2 0) ((MLIST SIMP) 2520 10 6 2 1 1)
         ((MLIST SIMP) 252 10 5 5 0 0) ((MLIST SIMP) -1260 10 5 4 1 0)
         ((MLIST SIMP) 2520 10 5 3 2 0) ((MLIST SIMP) 5040 10 5 3 1 1)
         ((MLIST SIMP) -7560 10 5 2 2 1) ((MLIST SIMP) 3150 10 4 4 2 0)
         ((MLIST SIMP) 6300 10 4 4 1 1) ((MLIST SIMP) -4200 10 4 3 3 0)
         ((MLIST SIMP) -12600 10 4 3 2 1)
         ((MLIST SIMP) 18900 10 4 2 2 2)
         ((MLIST SIMP) 16800 10 3 3 3 1)
         ((MLIST SIMP) 25200 10 3 3 2 2) ((MLIST SIMP) -90 9 9 2 0 0)
         ((MLIST SIMP) 170 9 9 1 1 0) ((MLIST SIMP) -360 9 8 3 0 0)
         ((MLIST SIMP) 990 9 8 2 1 0) ((MLIST SIMP) -630 9 8 1 1 1)
         ((MLIST SIMP) -840 9 7 4 0 0) ((MLIST SIMP) 3000 9 7 3 1 0)
         ((MLIST SIMP) -4320 9 7 2 2 0) ((MLIST SIMP) -4680 9 7 2 1 1)
         ((MLIST SIMP) -1260 9 6 5 0 0) ((MLIST SIMP) 5460 9 6 4 1 0)
         ((MLIST SIMP) -10080 9 6 3 2 0)
         ((MLIST SIMP) -14280 9 6 3 1 1) ((MLIST SIMP) 17640 9 6 2 2 1)
         ((MLIST SIMP) 6300 9 5 5 1 0) ((MLIST SIMP) -13860 9 5 4 2 0)
         ((MLIST SIMP) -23940 9 5 4 1 1) ((MLIST SIMP) 17640 9 5 3 3 0)
         ((MLIST SIMP) 37800 9 5 3 2 1) ((MLIST SIMP) -22680 9 5 2 2 2)
         ((MLIST SIMP) 16800 9 4 4 3 0) ((MLIST SIMP) 44100 9 4 4 2 1)
         ((MLIST SIMP) -46200 9 4 3 3 1)
         ((MLIST SIMP) -50400 9 4 3 2 2) ((MLIST SIMP) 25200 9 3 3 3 2)
         ((MLIST SIMP) 1260 8 8 4 0 0) ((MLIST SIMP) -4320 8 8 3 1 0)
         ((MLIST SIMP) 6165 8 8 2 2 0) ((MLIST SIMP) 630 8 8 2 1 1)
         ((MLIST SIMP) 2520 8 7 5 0 0) ((MLIST SIMP) -10080 8 7 4 1 0)
         ((MLIST SIMP) 18000 8 7 3 2 0) ((MLIST SIMP) 11880 8 7 3 1 1)
         ((MLIST SIMP) -10440 8 7 2 2 1) ((MLIST SIMP) 3150 8 6 6 0 0)
         ((MLIST SIMP) -13860 8 6 5 1 0) ((MLIST SIMP) 28350 8 6 4 2 0)
         ((MLIST SIMP) 34020 8 6 4 1 1) ((MLIST SIMP) -35280 8 6 3 3 0)
         ((MLIST SIMP) -42840 8 6 3 2 1)
         ((MLIST SIMP) -20160 8 6 2 2 2) ((MLIST SIMP) 23940 8 5 5 2 0)
         ((MLIST SIMP) 46620 8 5 5 1 1) ((MLIST SIMP) -32760 8 5 4 3 0)
         ((MLIST SIMP) -66780 8 5 4 2 1) ((MLIST SIMP) 52920 8 5 3 3 1)
         ((MLIST SIMP) 12600 8 5 3 2 2) ((MLIST SIMP) 6300 8 4 4 4 0)
         ((MLIST SIMP) 25200 8 4 4 3 1) ((MLIST SIMP) 40950 8 4 4 2 2)
         ((MLIST SIMP) 25200 8 4 3 3 2) ((MLIST SIMP) -75600 8 3 3 3 3)
         ((MLIST SIMP) -4200 7 7 6 0 0) ((MLIST SIMP) 17640 7 7 5 1 0)
         ((MLIST SIMP) -35280 7 7 4 2 0)
         ((MLIST SIMP) -17640 7 7 4 1 1) ((MLIST SIMP) 43560 7 7 3 3 0)
         ((MLIST SIMP) 10440 7 7 3 2 1) ((MLIST SIMP) 52200 7 7 2 2 2)
         ((MLIST SIMP) 16800 7 6 6 1 0) ((MLIST SIMP) -32760 7 6 5 2 0)
         ((MLIST SIMP) -47880 7 6 5 1 1) ((MLIST SIMP) 42840 7 6 4 3 0)
         ((MLIST SIMP) 55440 7 6 4 2 1) ((MLIST SIMP) -22680 7 6 3 3 1)
         ((MLIST SIMP) 57960 7 6 3 2 2) ((MLIST SIMP) 50400 7 5 5 2 1)
         ((MLIST SIMP) 5040 7 5 4 4 0) ((MLIST SIMP) -15120 7 5 4 3 1)
         ((MLIST SIMP) -2520 7 5 4 2 2) ((MLIST SIMP) -63000 7 5 3 3 2)
         ((MLIST SIMP) -75600 7 4 4 4 1)
         ((MLIST SIMP) -50400 7 4 4 3 2) ((MLIST SIMP) 37800 7 4 3 3 3)
         ((MLIST SIMP) 6300 6 6 6 2 0) ((MLIST SIMP) 46200 6 6 6 1 1)
         ((MLIST SIMP) 5040 6 6 5 3 0) ((MLIST SIMP) -52920 6 6 5 2 1)
         ((MLIST SIMP) -11970 6 6 4 4 0) ((MLIST SIMP) 22680 6 6 4 3 1)
         ((MLIST SIMP) -42840 6 6 4 2 2) ((MLIST SIMP) 68040 6 6 3 3 2)
         ((MLIST SIMP) -66780 6 5 5 4 0)
         ((MLIST SIMP) -35280 6 5 5 3 1) ((MLIST SIMP) 27720 6 5 5 2 2)
         ((MLIST SIMP) 36540 6 5 4 4 1) ((MLIST SIMP) -2520 6 5 3 3 3)
         ((MLIST SIMP) 22050 6 4 4 4 2) ((MLIST SIMP) 12600 6 4 4 3 3)
         ((MLIST SIMP) -12348 5 5 5 5 0)
         ((MLIST SIMP) -36540 5 5 5 4 1) ((MLIST SIMP) 27720 5 5 5 3 2)
         ((MLIST SIMP) -36540 5 5 4 4 2)
         ((MLIST SIMP) -17640 5 5 4 3 3) ((MLIST SIMP) 12600 5 4 4 4 3)
         ((MLIST SIMP) -63000 4 4 4 4 4))))
      NIL NIL)) 
(ADD2LNC '$Q $ARRAYS)