--- a +++ b/feasible_joint_stiffness/lrslib-062/mit.ine @@ -0,0 +1,733 @@ +mit.ine +begin +729 9 integer +72 0 0 -4 -4 -2 0 0 0 +216 -2 -2 -10 -12 -6 0 0 0 +192 -4 -2 -8 -8 -8 0 0 0 +288 -12 6 8 -16 -8 0 0 0 +96 -4 2 0 -4 -4 0 0 0 +144 -5 1 -4 -6 -6 0 0 0 +288 -8 -2 -10 -12 -12 0 0 0 +96 -4 2 -4 -2 -4 0 0 0 +240 -7 -1 -10 -8 -10 0 0 0 +288 -8 -2 -12 -8 -12 0 0 0 +288 -8 -2 -8 -16 -8 0 0 0 +96 -4 2 -8 0 0 0 0 0 +0 0 6 -8 4 8 0 0 0 +0 4 6 -8 0 8 0 0 0 +24 2 2 -4 -2 2 0 0 0 +864 -24 -6 -40 -16 -32 0 0 0 +24 0 0 -2 -2 2 0 0 0 +0 4 10 -16 0 24 0 0 0 +0 1 1 -4 0 12 0 0 0 +0 0 6 -16 8 40 0 0 0 +96 -4 2 -16 16 32 0 0 0 +288 -8 -2 -16 0 0 0 0 0 +96 -4 2 8 -8 8 0 0 0 +288 -8 -2 8 -24 24 0 0 0 +0 0 2 -8 8 24 0 0 0 +96 -1 -1 -4 -8 8 0 0 0 +576 -12 -6 -16 -40 16 0 0 0 +192 -4 -2 0 -16 16 0 0 0 +576 -8 -6 -24 -32 -16 0 0 0 +576 -12 -6 -20 -32 -16 0 0 0 +960 -16 -10 -40 -56 -16 0 0 0 +160 0 0 -7 -7 -6 -1 0 -1 +480 -4 -4 -21 -21 -18 -1 0 -3 +192 -4 -4 -12 -4 -8 4 2 -4 +640 -16 -8 -28 -28 -24 4 2 -4 +640 -8 -6 -28 -28 -24 0 0 -4 +192 -8 0 -8 -8 -8 4 2 0 +384 -12 -4 -16 -16 -16 4 2 0 +960 -20 -12 -42 -42 -36 4 2 -6 +240 -9 -1 -11 -9 -10 3 2 -1 +0 2 2 4 0 0 -4 -2 0 +640 -22 -4 -24 -28 -24 8 4 -4 +1920 -60 -20 -76 -84 -72 20 10 -12 +1920 -32 -22 -84 -84 -72 4 2 -12 +960 -28 -10 -44 -36 -40 8 4 -4 +1152 -36 -12 -52 -44 -48 12 6 -4 +720 -23 -7 -33 -27 -30 7 4 -3 +1920 -48 -24 -88 -72 -80 12 6 -8 +3456 -96 -40 -160 -128 -144 28 14 -16 +576 -15 -7 -26 -20 -24 4 2 -4 +384 -12 -4 -20 -12 -16 4 2 0 +336 -11 -3 -17 -11 -14 3 2 -1 +192 -8 0 -12 -4 -8 4 2 0 +0 0 0 -4 4 0 4 2 0 +0 0 2 -8 8 0 8 4 -2 +192 -12 12 -28 12 -8 20 10 -4 +192 -12 12 -20 4 -8 12 6 -2 +1920 -48 -24 -92 -60 -80 12 6 -4 +576 -15 -7 -28 -18 -24 4 2 -2 +1536 -42 -18 -76 -40 -64 12 6 -8 +384 -12 -4 -20 4 -16 4 2 -4 +1920 -60 -20 -102 18 -76 14 10 -18 +1920 -60 -20 -102 -46 -76 14 10 -2 +672 -22 -6 -37 -17 -26 5 4 -1 +640 -22 -4 -36 -16 -24 4 4 0 +960 -40 0 -64 -16 -32 8 10 0 +64 -4 4 -8 0 0 0 2 0 +0 0 8 -6 2 4 -2 2 0 +0 8 18 -8 0 8 -8 2 0 +64 36 60 -28 -4 24 -28 6 -4 +192 28 36 -20 -12 8 -20 2 -4 +96 4 4 -5 -5 -2 -3 0 -1 +64 4 6 -4 -4 0 -4 0 0 +96 0 0 -5 -5 -2 -1 0 -1 +16 0 0 -1 -1 0 0 0 0 +192 -6 0 -8 12 -8 0 0 -4 +192 -6 0 -8 -4 -8 0 0 0 +960 -30 -8 -48 -20 -40 8 4 -4 +960 -32 -8 -52 -20 -40 12 6 -4 +960 -32 -8 -52 44 -40 12 6 -20 +960 -30 -8 -48 12 -40 8 4 -12 +576 -16 -6 -28 -12 -24 4 2 -4 +208 -8 0 -8 -8 -8 4 2 -2 +160 -7 1 -5 -7 -6 3 2 -1 +192 -12 12 0 -8 -8 8 6 0 +160 -9 7 -1 -7 -6 5 4 -1 +640 -20 -4 -20 -28 -24 4 2 -4 +96 -5 3 -2 -4 -4 2 2 0 +192 -6 0 -4 -8 -8 0 0 0 +480 -18 -2 -17 -21 -18 7 4 -3 +528 -19 -3 -20 -22 -20 8 4 -4 +960 -30 -4 -32 -36 -40 4 2 -4 +1152 -36 -4 -32 -40 -48 0 2 -8 +1152 -36 -12 -48 -40 -48 8 6 -8 +192 -8 0 -4 -4 -8 4 2 -4 +192 -6 0 0 -4 -8 0 0 -4 +384 -12 -4 -8 -8 -16 4 2 -8 +1920 -48 -24 -48 -40 -80 12 6 -40 +384 -16 2 -20 -12 -16 4 4 0 +576 -24 0 -32 -16 -24 8 6 0 +432 -17 -1 -23 -13 -18 5 4 -1 +576 -28 12 -36 -12 -24 12 10 -4 +960 -52 36 -92 12 -40 52 26 -12 +0 0 4 -14 10 4 6 6 -2 +2688 -72 -32 -120 -104 -112 16 10 -8 +0 0 8 -20 12 56 -12 2 -4 +64 -4 4 -16 8 24 -4 2 0 +192 -8 0 -16 0 0 0 2 0 +64 8 16 -20 -4 24 -12 2 -4 +0 2 4 -4 0 8 -4 0 0 +288 -13 3 -12 -10 -12 6 4 -2 +336 -14 2 -15 -11 -14 7 4 -3 +96 3 1 -8 -6 4 0 0 -2 +192 12 0 -20 -12 8 4 2 -4 +0 4 8 -6 2 4 -2 2 -2 +192 -12 12 -28 28 -8 20 10 -12 +0 0 0 -4 16 0 4 2 -6 +0 0 0 -4 40 0 4 2 -12 +192 -8 0 -12 44 -8 4 2 -12 +0 0 2 0 32 0 0 0 -8 +192 -12 12 -20 300 -8 12 6 -76 +960 -40 0 -64 208 -32 8 10 -56 +2112 -72 -16 -120 120 -80 16 14 -48 +512 -16 -4 -26 6 -20 2 2 -6 +512 -16 -4 -26 -10 -20 2 2 -2 +448 -16 0 -24 -8 -16 0 2 0 +448 24 8 -68 -20 56 12 6 -20 +192 8 2 -24 -8 16 4 2 -8 +192 16 0 -36 -4 24 12 6 -12 +448 -13 -5 -23 -13 -18 3 2 -1 +64 -2 0 -4 0 0 0 0 0 +0 2 -2 -4 4 0 4 2 -2 +0 0 0 -22 22 4 14 10 0 +0 0 0 -22 82 4 14 10 -30 +0 0 4 -14 34 4 6 6 -14 +480 -21 3 -20 -18 -20 8 6 -2 +480 -19 1 -16 -18 -20 4 4 -2 +1344 -52 0 -44 -52 -56 12 10 -4 +576 -22 0 -12 -24 -24 4 4 0 +768 -28 -4 -24 -32 -32 8 6 0 +768 -28 -4 40 -32 -32 -8 6 0 +576 -22 0 20 -24 -24 -4 4 0 +320 -12 0 10 -14 -12 -2 2 -2 +160 -7 1 3 -7 -6 1 2 -1 +0 2 2 -12 8 16 4 2 -4 +0 22 14 -52 16 80 12 6 -16 +192 32 16 -68 -4 88 12 6 -20 +128 18 10 -36 -8 48 4 2 -8 +64 8 8 -20 -4 24 -4 2 -4 +0 4 2 -4 4 8 0 0 -4 +0 4 8 -14 2 20 -4 2 -2 +0 1 7 -11 3 14 -3 2 -1 +0 0 8 -12 4 16 -4 2 0 +0 4 12 -20 4 32 -8 2 0 +0 0 24 -44 20 64 -16 6 0 +0 0 4 -10 6 12 -2 2 -2 +0 14 22 -44 8 64 -12 6 -8 +0 6 10 -18 2 28 -6 2 -2 +192 28 36 -52 -12 72 -36 2 -12 +96 3 3 -8 -6 4 -4 0 -2 +0 1 1 -2 0 4 0 0 0 +0 0 12 -10 6 12 -6 2 -2 +48 0 0 -3 -3 2 -1 0 -1 +192 16 24 -44 -12 72 -28 2 -12 +0 4 12 -14 2 20 -8 2 -2 +0 1 9 -11 3 14 -5 2 -1 +192 32 40 -68 -4 88 -36 6 -20 +16 1 1 -3 -1 6 -1 0 -1 +64 4 6 -12 -4 24 -8 0 -4 +0 4 12 -20 4 40 -12 2 -4 +0 0 10 -16 8 24 -8 2 0 +192 -12 12 -40 16 32 -8 6 0 +0 0 24 -34 14 44 -14 6 -2 +64 -4 4 -16 8 16 0 2 0 +0 0 8 -20 12 32 0 2 0 +0 0 4 -14 10 20 2 2 -2 +0 0 2 -2 2 4 -2 0 0 +0 0 24 -44 20 72 -20 6 -4 +0 0 24 -60 36 104 -4 6 -4 +0 6 10 -16 4 24 -8 2 -4 +0 1 1 -1 1 2 -1 0 -1 +0 6 18 -16 4 24 -12 2 -4 +384 0 -2 -20 -20 -8 0 0 -4 +384 -12 -4 -12 -20 -8 4 2 -4 +640 -16 -8 -20 -36 -8 4 2 -4 +960 -20 -12 -32 -56 -8 4 2 -4 +96 -1 -1 -4 -6 0 0 0 0 +1280 -6 -14 -60 -80 0 -4 2 0 +1024 -2 -10 -52 -64 0 -4 2 0 +1024 -12 -12 -48 -56 -16 0 2 -8 +384 8 -4 -24 -24 0 0 2 0 +256 4 -4 -16 -16 0 2 2 0 +1024 0 -16 -56 -56 -16 8 6 -8 +960 0 -16 -52 -52 -16 12 6 -8 +6400 -96 -72 -280 -280 -240 8 6 -40 +960 -16 -12 -42 -42 -36 2 2 -6 +3840 -48 -40 -168 -168 -144 0 2 -24 +4032 -72 -48 -178 -178 -148 10 6 -26 +1152 -20 -14 -52 -52 -40 4 2 -8 +0 2 -2 0 0 0 2 2 0 +192 -6 0 12 -8 -8 -4 0 0 +192 -4 -4 -8 -8 -8 4 2 0 +6912 -176 -88 -288 -288 -288 40 26 0 +1920 -48 -24 -80 -80 -80 10 6 0 +576 -12 -10 -24 -24 -24 6 4 0 +5760 -168 -64 -264 -216 -240 48 26 -24 +960 -48 24 -36 -36 -40 20 18 -4 +960 -44 12 -28 -36 -40 12 14 -4 +192 -12 12 4 -4 -8 4 6 -4 +960 -56 48 -20 -36 -40 28 26 -4 +640 -20 0 -4 -28 -24 -2 0 -4 +576 -24 0 -28 -12 -24 4 6 -4 +0 0 0 4 8 0 -2 0 -4 +192 -6 0 -4 12 -8 -4 0 -6 +960 -30 0 -32 -12 -40 -8 0 -6 +960 -32 0 -36 -20 -40 -4 2 -4 +640 -20 0 -28 -4 -24 -4 0 -2 +0 0 20 -4 12 8 -12 0 -2 +16 0 0 -1 -1 6 -1 0 -1 +720 -23 -3 -25 -27 -30 3 2 -3 +624 -21 -1 -27 -17 -26 1 2 -1 +768 -26 0 -32 -20 -32 0 2 0 +1536 -62 0 -80 -44 -64 16 14 0 +1344 -42 -12 -64 -44 -56 12 6 -4 +2880 -90 -28 -128 -108 -120 28 14 -12 +960 -30 0 -12 -32 -40 -6 0 -8 +768 -30 0 -24 -28 -32 6 6 -4 +576 -24 0 -20 -20 -24 8 6 -4 +576 -24 0 -15 -23 -22 9 6 -5 +192 -8 0 12 -4 -8 -4 2 -4 +0 0 2 -4 4 8 0 0 0 +0 0 0 -8 8 8 4 2 0 +192 -12 12 -76 76 88 20 10 -12 +0 0 6 -28 28 40 8 4 -6 +576 -15 -7 -29 -15 -22 3 2 -1 +448 -13 -5 -25 -7 -14 3 2 -1 +512 -14 -6 -26 -14 -20 4 2 -2 +448 -13 -5 -23 -5 -18 3 2 -3 +384 -6 -4 -16 -20 -8 0 0 -4 +0 6 8 -16 4 40 -4 0 -4 +0 8 8 -24 8 48 0 2 -8 +96 -1 -1 0 -6 36 -4 0 -6 +192 -4 -4 12 -12 72 -4 2 -12 +0 0 0 -6 6 4 2 2 0 +384 -12 -4 -22 -6 -12 2 2 0 +1216 -31 -15 -59 -37 -50 7 4 -3 +960 -20 -16 -42 -42 -36 10 6 -6 +2304 -72 -20 -112 -64 -96 16 10 -8 +1344 -42 -12 -64 -36 -56 8 6 -6 +1152 -36 -12 -56 -32 -48 8 6 -4 +384 -12 -4 -16 -8 -16 0 2 0 +192 -6 0 -4 0 -8 -4 0 0 +912 -26 -10 -43 -31 -38 5 4 -1 +960 -27 -11 -46 -32 -40 6 4 -2 +1344 -39 -15 -66 -44 -56 10 6 -4 +4224 -120 -48 -200 -152 -176 32 18 -16 +4992 -132 -60 -240 -168 -208 32 18 -16 +3456 -96 -40 -168 -104 -144 24 14 -16 +2688 -76 -28 -128 -72 -112 16 10 -16 +960 -29 -9 -46 -28 -40 6 4 -4 +0 2 -2 12 0 0 -4 2 0 +960 -20 -20 134 -42 -36 -38 10 -6 +1920 -60 -20 148 -84 -72 -36 10 -12 +1920 -68 -12 100 -84 -72 -20 14 -12 +320 -12 0 -6 -14 -12 2 2 -2 +960 -40 0 -26 -42 -36 18 10 -6 +576 -12 -8 -22 -30 -12 2 2 -6 +576 -12 -10 -8 -24 -24 -2 4 0 +2304 -56 -32 -80 -96 -96 8 10 0 +960 -20 -20 -38 -42 -36 20 10 -6 +192 -6 0 -4 -4 -8 -2 0 -2 +0 0 0 1 1 2 -1 0 -1 +192 -8 0 -4 28 -8 -4 2 -12 +192 -8 0 -4 60 -8 -4 2 -20 +0 0 2 -4 4 16 -4 0 0 +1792 -28 -20 -80 -88 -48 0 2 -16 +384 -3 -3 -18 -20 -8 -2 0 -4 +8064 -204 -100 -384 -264 -336 48 26 -24 +1920 -48 -24 -88 -56 -80 8 6 -8 +384 -12 -4 -16 8 -16 0 2 -8 +192 -12 12 -12 -4 -8 4 6 0 +192 -12 12 -12 12 -8 4 6 -8 +192 -12 12 4 60 -8 -12 6 -28 +0 0 0 -8 8 16 0 2 0 +192 -4 -2 -4 -4 -8 0 0 -4 +192 -4 -4 16 -12 0 -4 2 0 +768 -20 -12 40 -48 0 -8 6 0 +512 -14 -6 20 -32 0 -4 2 0 +64 -2 0 0 -4 0 0 0 0 +1344 -60 12 -68 -44 -56 20 18 -4 +2112 -92 12 -116 -60 -88 28 26 -4 +960 -44 12 -52 -28 -40 12 14 0 +1920 -48 -24 -72 -56 -80 8 6 -24 +96 -5 3 -4 -2 -4 0 2 0 +0 0 2 -8 24 0 8 4 -10 +0 4 4 -16 8 112 -16 2 -8 +384 -12 -4 -24 0 0 0 2 0 +0 2 -2 -4 16 0 4 2 -8 +64 -4 4 -20 20 24 4 2 -2 +128 -6 2 -20 16 16 4 2 -2 +192 -8 0 -20 12 8 4 2 0 +96 -4 0 -14 10 8 4 2 -2 +448 -20 4 -76 60 56 20 10 -12 +192 -4 -2 -4 -12 8 0 0 -4 +384 -12 -4 0 -24 16 4 2 -8 +192 -8 0 4 -12 8 4 2 -4 +192 12 20 -20 -12 8 -12 2 -4 +192 12 4 -20 -12 8 -4 2 -4 +192 76 20 -84 -12 72 -4 18 -12 +64 20 12 -28 -4 24 -4 6 -4 +64 20 44 -28 -4 24 -20 6 -4 +0 12 36 -22 2 20 -14 6 -2 +0 4 10 -8 0 8 -4 2 0 +0 4 6 -8 0 8 -2 2 0 +0 4 0 -6 2 4 2 2 -2 +0 0 4 -6 2 4 0 2 0 +192 4 2 -12 -12 0 -4 0 0 +0 8 8 -16 0 24 -4 2 0 +64 20 4 -28 -4 24 4 6 -4 +0 20 4 -24 0 24 4 6 0 +0 8 0 -8 0 8 4 2 0 +0 5 -1 -6 2 4 4 2 -2 +64 24 0 -28 -4 24 12 6 -4 +96 46 -10 -42 -6 36 18 14 -6 +32 18 -6 -14 -2 12 10 6 -2 +192 112 -40 -84 -12 72 76 38 -12 +0 6 -2 -4 0 4 4 2 0 +0 0 0 0 16 0 0 2 -8 +192 -12 12 4 28 -8 4 6 -20 +960 -40 0 38 -42 -36 2 10 -6 +960 -40 8 -20 -36 -40 4 10 -4 +192 -8 2 0 -8 -8 0 2 0 +384 -18 6 -4 -16 -16 4 6 0 +192 -8 0 8 -8 -8 0 2 0 +320 -20 20 10 -14 -12 14 10 -2 +576 -8 -6 -20 -36 24 -4 0 -12 +96 -1 -1 -4 -6 4 0 0 -2 +192 16 -8 -20 -12 8 12 6 -4 +960 12 -20 -60 -52 -8 20 10 -12 +576 -12 -8 -26 -26 -20 4 2 -4 +1920 -48 -24 -68 -100 -40 12 6 -20 +640 -16 -8 -32 -16 -24 4 2 0 +384 -12 -4 -24 0 -8 4 2 0 +192 -8 0 -36 44 24 12 6 -12 +192 -8 0 -36 76 24 12 6 -20 +128 -6 2 -20 40 16 4 2 -8 +64 -4 4 -20 60 24 4 2 -12 +0 0 2 -4 20 8 0 0 -4 +624 -21 -5 -34 -16 -24 4 4 0 +400 -12 -4 -20 -12 -16 2 2 0 +192 1 -1 -10 -12 0 -2 0 0 +640 -16 -8 -8 -40 48 0 2 -16 +1920 -48 -24 -24 -120 80 8 6 -40 +96 8 8 -22 -6 36 -10 2 -6 +0 8 8 -16 0 32 -8 2 0 +2112 -72 -16 -120 -40 -80 16 14 -8 +3456 -100 -36 -160 -120 -144 24 14 -16 +1152 -36 -12 -59 -27 -46 7 6 -3 +1920 -48 -24 -96 -32 -64 8 6 0 +640 -16 -8 -32 0 0 0 2 0 +240 -2 -2 -11 -15 10 -3 0 -5 +960 -20 -12 -32 -56 16 0 2 -16 +1920 -48 -24 216 -80 -80 -64 6 0 +384 -12 -4 32 -16 -16 -8 2 0 +320 -10 0 18 -14 -12 -6 0 -2 +192 -6 0 20 -4 -8 -8 0 -4 +320 -10 0 -14 18 -12 -2 0 -6 +32 -1 1 -4 6 20 -4 0 -2 +192 -8 0 -16 32 0 0 2 -8 +192 -8 0 -20 28 8 4 2 -4 +0 0 0 -8 28 8 4 2 -8 +0 0 0 -6 34 4 2 2 -10 +384 -12 -4 -22 2 -12 2 2 -2 +192 -12 12 28 -12 8 12 6 -4 +576 -24 0 -8 -24 -16 8 6 -8 +192 -8 0 -2 -10 -4 4 2 -2 +768 0 -8 -40 -40 -16 0 2 -8 +3840 0 -56 -200 -200 -80 24 18 -40 +384 0 -6 -20 -20 -8 4 2 -4 +768 -12 -10 -36 -36 -24 4 2 -6 +192 -8 0 -20 28 88 -12 2 -4 +64 -4 4 -20 52 200 -28 2 -12 +0 0 8 -24 72 336 -48 2 -24 +0 1 1 -2 4 40 -6 0 -4 +0 0 2 -4 12 48 -8 0 -4 +1792 -4 -20 -88 -112 0 -8 6 0 +768 4 -12 -40 -48 0 0 6 0 +192 0 -4 -10 -10 -4 2 2 -2 +96 -5 3 1 -5 -2 3 2 -1 +96 6 -2 -10 -6 4 2 2 -2 +528 9 -11 -35 -29 -2 9 6 -7 +480 38 -18 -50 -30 20 22 14 -10 +640 12 -12 -40 -40 0 8 6 0 +48 -3 3 -14 8 24 -4 2 0 +384 2 -6 -20 -24 144 4 2 -24 +192 -4 -2 -6 -10 -4 0 0 -2 +1344 -24 -16 -56 -72 -16 0 2 -16 +2880 -60 -36 -112 -152 -56 12 6 -28 +1344 -24 -16 -56 -72 -24 4 2 -12 +384 -6 -6 -12 -24 0 0 2 0 +64 -4 4 4 -4 0 4 2 0 +384 -12 -4 48 -8 -16 -16 2 -8 +192 -6 0 12 -4 -8 -6 0 -4 +576 -18 0 -23 -3 -22 -5 0 -3 +0 0 0 -22 194 4 14 10 -58 +64 -4 4 -8 96 0 0 2 -24 +0 0 10 -2 154 4 -6 0 -38 +384 -12 -4 16 -24 80 0 2 -16 +64 -2 0 8 -4 24 0 0 -4 +384 -12 -4 48 -24 144 0 2 -24 +192 -8 0 4 -12 0 4 2 0 +384 -12 -4 16 -24 16 0 2 -8 +0 0 6 1 9 2 -5 0 -3 +0 0 2 4 16 0 -4 0 -6 +1344 -56 8 -60 -44 -56 12 14 -4 +192 -4 -2 32 -4 -8 -12 0 -4 +1920 -48 -24 296 -40 -80 -104 6 -40 +192 -4 -2 24 -8 -8 -8 0 0 +960 -20 -10 114 -42 -36 -38 0 -6 +640 -16 -8 68 -28 -24 -20 2 -4 +0 10 2 -12 0 160 -20 2 0 +0 3 -1 -6 4 40 -2 2 -4 +0 8 -8 -24 24 80 8 10 -8 +0 116 -36 -80 0 80 64 38 0 +0 136 -56 -120 40 80 104 58 -40 +0 14 -6 -12 4 8 12 6 -4 +0 10 -6 -12 8 16 12 6 -8 +192 8 -8 -20 -4 88 12 6 -20 +960 0 -16 -52 -52 248 12 6 -52 +0 0 2 -4 20 80 -12 0 -4 +64 -2 0 -4 8 24 -4 0 0 +1920 -40 -20 -68 -84 -72 -2 0 -12 +576 -12 -6 -19 -23 -22 -1 0 -5 +1920 -48 -24 -72 -72 -80 4 6 -8 +192 -4 -4 4 -4 -8 -4 2 -4 +1920 -68 -12 -60 -84 -72 20 14 -12 +0 1 1 -2 4 24 -4 0 -4 +0 0 2 -4 12 32 -6 0 -4 +64 -4 4 -20 52 72 -12 2 -12 +192 -8 0 -20 28 24 -4 2 -4 +448 -16 0 -36 28 56 -12 2 -4 +288 -8 -4 -2 -18 12 2 2 -6 +192 -4 -4 12 -12 8 -4 2 -4 +192 -12 12 14 -10 -4 10 6 -2 +192 -8 0 36 -12 72 4 2 -12 +1344 -24 -16 -36 -84 120 -12 2 -36 +960 -20 -12 -20 -60 72 -4 2 -24 +640 -16 -8 -20 -36 0 4 2 -8 +576 -12 -8 -18 -34 -4 2 2 -2 +192 -4 -4 -4 -12 0 4 2 0 +192 -4 -4 -6 -10 -4 4 2 -2 +192 -4 -4 36 -4 -8 -12 2 -4 +192 -4 -4 28 -8 -8 -8 2 0 +192 -4 -4 4 -8 -8 -2 2 0 +960 -20 -20 22 -42 -36 -10 10 -6 +384 -12 -4 16 -8 -16 -8 2 -8 +576 -12 -6 0 -16 -24 -10 0 -8 +1920 -48 -24 -24 -56 -80 -16 6 -24 +1920 -48 -24 72 -40 -80 -48 6 -40 +192 -4 -2 8 -4 -8 -6 0 -4 +576 -12 -6 -15 -23 -22 -3 0 -5 +0 0 0 -8 24 80 -8 2 -8 +64 -4 4 -20 20 72 -12 2 -4 +192 -8 0 -20 12 24 -4 2 0 +192 -6 0 -12 8 8 -4 0 0 +0 0 0 -8 24 16 0 2 -8 +0 0 2 -4 20 16 -4 0 -4 +0 0 2 -4 12 24 -4 0 -4 +96 -4 0 -14 10 20 -2 2 -2 +64 -4 4 -20 52 40 -4 2 -12 +192 -12 12 -60 188 152 -28 6 -36 +192 -4 -2 -4 -12 0 0 0 0 +0 16 24 -52 12 120 -12 2 -12 +0 0 14 -18 6 20 -6 4 0 +576 -8 -8 -20 -36 24 -4 2 -12 +640 -16 -8 24 -40 48 -8 2 -16 +192 -6 0 8 -12 8 0 0 -4 +640 -20 -4 16 -40 48 0 2 -16 +960 -20 -12 -4 -60 168 -12 2 -36 +640 -16 -8 24 -40 176 -8 2 -32 +640 -16 -8 56 -40 240 -8 2 -40 +960 -20 -12 28 -60 296 -20 2 -52 +192 -4 -2 12 -12 72 -4 0 -12 +1920 -48 -24 156 -100 -40 -44 6 -20 +384 -12 -4 20 -20 -8 -4 2 -4 +192 -8 0 6 -10 -4 2 2 -2 +0 0 0 8 4 0 -4 0 -2 +192 -12 12 4 12 -8 -12 6 -4 +192 -8 0 -4 4 -8 -4 2 0 +192 -6 0 -4 20 -8 -4 0 -8 +0 3 11 -9 1 10 -5 2 -1 +576 -12 -6 -16 -16 -24 -2 0 -8 +1920 -48 -24 -48 -112 32 8 6 -32 +640 -16 -8 -8 -40 16 0 2 -8 +1152 -12 -12 -52 -60 -24 -4 2 -12 +2880 -60 -36 -112 -152 -48 8 6 -32 +0 8 16 -36 12 120 -28 2 -12 +0 2 4 -8 4 40 -8 0 -4 +0 0 4 -16 16 48 -8 2 -4 +0 4 4 -16 8 48 -8 2 -8 +128 -6 2 -2 -6 -4 2 2 0 +160 -7 1 1 -9 -2 3 2 -1 +288 -8 -4 -2 -18 0 2 2 0 +768 -20 -12 8 -48 0 0 6 0 +0 8 0 0 0 96 -16 2 0 +192 4 -4 12 -12 72 -20 2 -12 +0 6 -2 12 0 48 -12 2 0 +0 12 -4 -8 0 96 -8 6 0 +192 16 -16 -12 -12 72 4 14 -12 +0 14 -10 -4 0 48 4 10 0 +640 -16 -8 32 -40 0 -8 2 0 +1920 -48 -24 104 -120 80 -24 6 -40 +1920 -48 -24 116 -108 8 -36 6 -28 +640 -16 -8 24 -40 16 -8 2 -8 +192 -4 -2 12 -12 8 -4 0 -4 +192 -4 -2 13 -11 2 -5 0 -3 +576 -12 -6 28 -36 16 -12 0 -8 +192 -4 -2 12 -12 0 -4 0 0 +192 -4 -2 18 -10 -4 -6 0 -2 +384 -12 -4 16 -24 0 0 2 0 +384 -12 -4 0 -24 0 4 2 0 +1920 -48 -24 -56 -56 -80 -8 6 -8 +0 20 4 -24 0 288 -40 6 0 +0 2 0 4 0 8 -4 0 0 +0 10 -6 -4 0 16 4 6 0 +0 14 -6 -8 0 8 8 6 0 +0 20 -4 -16 0 16 8 6 0 +0 8 2 -8 0 8 0 2 0 +0 32 0 -32 0 32 8 10 0 +48 19 -1 -21 -3 18 5 6 -3 +1152 -18 -14 -50 -62 -20 2 2 -10 +0 2 -2 -2 2 4 2 2 -2 +192 -4 -2 4 -12 40 -4 0 -8 +192 -4 -2 4 -12 24 -4 0 -6 +128 -3 -1 2 -8 16 -2 0 -4 +64 -4 4 -20 20 40 -4 2 -4 +192 -12 12 -52 36 104 -20 6 -4 +0 0 6 -12 20 40 -8 0 -4 +384 -12 -4 -24 32 64 -8 2 0 +0 0 0 -6 18 4 2 2 -6 +0 0 0 -8 20 8 4 2 -6 +0 0 8 -24 40 208 -32 2 -16 +0 0 8 -24 40 144 -24 2 -16 +0 0 8 -24 40 112 -16 2 -16 +192 -8 0 -20 60 152 -20 2 -4 +64 -4 4 -20 84 264 -36 2 -12 +960 -16 -12 -26 -42 -36 -6 2 -6 +960 -20 -12 -34 -42 -36 0 2 -6 +960 -20 -16 -18 -42 -36 -2 6 -6 +576 -8 -8 -20 -36 88 -4 2 -20 +192 132 -60 -84 -12 72 76 58 -12 +192 20 -12 -20 -12 8 12 10 -4 +96 3 -3 -6 -6 0 2 2 0 +768 16 -16 -48 -48 0 8 10 0 +96 -1 -1 0 -6 20 -4 0 -4 +0 3 5 -10 8 72 -14 0 -8 +0 4 12 -32 24 176 -32 2 -16 +192 -12 12 -60 60 152 -28 6 -4 +192 -12 12 -76 76 184 -28 10 -12 +0 0 0 0 48 0 0 2 -16 +576 -12 -8 -12 -36 24 0 2 -12 +192 -4 -4 -4 -12 8 4 2 -4 +0 0 12 -32 32 96 -16 2 -8 +0 24 -8 -24 8 16 16 10 -8 +0 52 -28 -64 40 80 48 30 -40 +192 -12 12 20 156 -8 -28 6 -60 +192 -12 12 20 380 -8 -28 6 -116 +0 0 2 4 40 0 -4 0 -12 +0 0 6 8 24 0 -8 0 -10 +0 0 8 -36 28 152 -20 6 -4 +32 -2 2 -12 8 32 -4 2 0 +0 0 2 4 4 0 -4 0 0 +0 0 6 8 8 0 -8 0 -2 +0 0 6 1 5 2 -5 0 -1 +1024 -16 -12 -48 -48 -32 4 2 -8 +1248 -23 -15 -55 -57 -42 3 2 -9 +1344 -24 -16 -58 -66 -36 2 2 -12 +1056 -21 -13 -45 -51 -30 3 2 -9 +960 -20 -12 -40 -48 -24 4 2 -8 +0 0 8 -24 24 112 -20 2 -8 +0 4 12 -32 24 144 -24 2 -16 +0 0 8 -24 24 80 -12 2 -8 +0 8 0 -8 24 80 -8 2 -24 +0 6 -2 -4 16 48 4 2 -16 +0 14 -10 -20 16 48 20 10 -16 +0 20 -12 -32 24 80 16 14 -24 +0 14 -2 -20 8 16 12 6 -8 +0 12 -4 -16 8 16 8 6 -8 +0 2 0 0 4 8 0 0 -4 +192 4 -4 -12 -4 88 4 2 -20 +96 1 -3 -4 -6 36 0 2 -6 +192 4 -12 -4 -12 72 12 10 -12 +192 -4 -4 22 -10 -4 -6 2 -2 +1344 -28 -16 -54 -62 -44 2 2 -10 +2688 -36 -28 -120 -144 -32 -8 2 -32 +640 -8 -6 -28 -36 0 -4 0 -8 +112 -1 -1 -5 -7 2 -1 0 -1 +48 2 2 -7 -3 18 -5 0 -3 +0 1 1 -2 0 8 -2 0 0 +0 12 20 -48 24 240 -48 2 -24 +4864 -80 -56 -216 -216 -176 8 6 -32 +2304 -32 -24 -104 -104 -80 0 2 -16 +1152 -24 -14 -44 -60 -24 4 2 -12 +384 -6 -4 -12 -24 24 -4 0 -8 +1728 -28 -20 -64 -104 48 -8 2 -32 +1344 -24 -16 -36 -84 88 -12 2 -28 +192 8 -8 -12 -12 8 4 6 -4 +192 48 -32 -28 -12 72 20 30 -12 +1920 -48 -24 -44 -108 8 4 6 -28 +960 -20 -12 -20 -60 40 -4 2 -16 +1344 -28 -16 -28 -84 40 -4 2 -20 +768 -14 -8 -20 -48 24 -4 0 -12 +2112 -32 -24 -68 -132 152 -20 2 -52 +192 -4 -2 -3 -11 2 -1 0 -3 +576 -12 -6 -4 -36 16 -4 0 -8 +192 -4 -2 4 -12 16 -4 0 -4 +1728 -36 -18 -59 -75 -62 -3 0 -13 +192 4 -4 -12 -12 0 4 2 0 +96 -1 -1 -3 -5 -2 -1 0 -1 +192 0 -2 -4 -12 0 -4 0 0 +2496 -36 -28 -96 -152 16 -8 2 -16 +960 -12 -12 -36 -60 8 -4 2 -4 +1920 -18 -26 -76 -120 0 -4 6 0 +2688 -42 -34 -116 -144 -48 4 6 -24 +864 -17 -11 -37 -43 -22 3 2 -7 +2880 -60 -36 -118 -142 -76 10 6 -26 +192 -6 0 -10 10 -4 -2 0 -2 +192 -6 0 -10 2 -4 -2 0 0 +0 0 2 -2 26 4 -2 0 -6 +192 -12 12 -40 240 32 -8 6 -56 +480 -7 -5 -12 -30 52 -8 0 -14 +0 0 4 -16 16 80 -12 2 -4 +0 4 6 -12 4 48 -12 0 -4 +1152 -36 -12 -60 -20 -40 4 6 -4 +0 2 8 -16 12 56 -12 0 -4 +0 10 16 -32 12 120 -28 0 -12 +96 9 -1 16 -6 36 -20 0 -6 +96 1 -1 0 -6 4 -4 0 -2 +416 -10 -6 -12 -24 16 4 2 -8 +192 -4 -4 6 -10 -4 -2 2 -2 +192 -4 -4 8 -12 0 -2 2 0 +0 4 -2 -3 1 2 3 2 -1 +960 -12 -12 -44 -52 -16 4 2 -8 +576 -8 -8 -28 -28 -16 4 2 -4 +0 3 5 -9 1 10 -1 2 -1 +0 3 7 -9 1 10 -3 2 -1 +1792 -16 -24 -88 -88 -48 8 6 -16 +864 -15 -11 -39 -41 -26 3 2 -7 +672 -11 -9 -31 -33 -18 3 2 -5 +960 -16 -12 -42 -50 -20 2 2 -8 +3200 -80 -40 -154 -90 -132 18 10 -6 +1920 -48 -24 -94 -46 -76 10 6 -2 +1056 -12 -12 -50 -58 -4 -2 2 -14 +960 -12 -12 -44 -52 -8 4 2 -12 +0 0 6 -20 20 56 -8 2 -6 +192 8 8 -24 -8 16 -8 2 -8 +0 3 1 -2 4 8 -2 0 -4 +0 11 1 -2 20 40 -6 0 -20 +0 0 18 -3 13 10 -13 0 -3 +400 -6 -4 -16 -20 -8 -2 0 -4 +3648 -64 -40 -144 -176 -96 -8 2 -32 +624 -8 -6 -26 -34 -4 -4 0 -8 +576 0 -6 -28 -36 0 -4 2 0 +4608 -60 -52 -200 -240 -96 -8 6 -48 +1152 -18 -14 -48 -60 -24 0 2 -12 +1920 -34 -22 -80 -92 -56 0 2 -16 +1728 -36 -22 -74 -82 -52 8 4 -14 +1344 -28 -20 -40 -80 96 8 6 -32 +576 -12 -8 -12 -36 56 0 2 -16 +528 -13 -7 -16 -30 4 4 2 -8 +192 -12 12 -48 40 80 -16 6 -8 +192 -12 12 -48 200 80 -16 6 -48 +0 0 6 -12 52 40 -8 0 -12 +0 0 2 -3 21 10 -3 0 -5 +256 -8 0 -12 12 -8 -2 0 -4 +192 -6 0 -7 13 -6 -3 0 -5 +512 -16 0 -24 0 -16 -4 0 -2 +512 -14 -6 -4 -32 0 2 2 0 +640 -16 -8 -8 -40 0 2 2 0 +960 -20 -14 -20 -60 0 2 4 0 +960 -20 -12 -4 -60 72 -12 2 -20 +960 -20 -12 -4 -60 104 -12 2 -28 +192 -12 12 20 36 -8 -28 6 0 +0 0 2 -3 5 10 -3 0 -1 +192 28 -4 -44 -4 24 20 10 -12 +64 8 0 -12 -4 8 4 2 -2 +256 14 6 -36 -16 32 4 2 -8 +48 4 6 -10 -2 20 -8 0 -4 +16 2 4 -4 0 8 -4 0 -2 +0 12 36 -28 12 56 -28 2 -12 +0 4 4 -8 0 8 0 2 0 +64 4 8 -12 -4 8 -4 2 0 +448 12 12 -36 -28 8 -12 2 -4 +768 -10 -8 -28 -48 8 -4 0 -4 +1536 -22 -16 -52 -96 56 -12 0 -28 +1792 -16 -16 -88 -88 -48 0 2 -16 +384 6 -10 -20 -24 0 4 6 0 +2304 -12 -28 -104 -144 0 -8 6 0 +3840 -48 -40 -168 -200 -80 -8 2 -40 +0 0 8 -6 10 4 -2 2 -4 +0 4 8 -6 18 4 -2 2 -10 +768 -16 -10 -16 -48 24 -2 2 -12 +2304 -56 -32 -32 -144 96 8 10 -48 +1792 -48 -24 -16 -112 0 8 10 0 +2304 -56 -32 -32 -144 0 8 10 0 +192 -6 0 -7 5 -6 -3 0 -3 +448 -14 0 -19 1 -14 -5 0 -3 +576 -18 0 -24 4 -16 -8 0 -4 +2880 -60 -36 -96 -168 -16 8 6 -16 +192 -6 0 10 -10 -4 -2 0 -2 +256 -8 0 12 -12 -8 -4 0 -2 +512 -16 0 0 -24 -16 -2 0 -4 +192 -6 0 2 -10 -4 0 0 -2 +576 -18 0 4 -24 -16 -4 0 -8 +448 -14 0 1 -19 -14 -3 0 -5 +576 -18 0 -3 -23 -22 -3 0 -5 +192 -6 0 5 -7 -6 -3 0 -3 +192 -6 0 13 -7 -6 -5 0 -3 +64 -4 4 20 -4 24 4 2 -4 +2304 -56 -32 -96 -96 -96 16 10 0 +768 -30 0 -32 -28 -32 8 6 0 +0 1 0 0 0 0 0 0 0 +0 0 1 0 0 0 0 0 0 +0 0 0 1 0 0 0 0 0 +0 0 0 0 1 0 0 0 0 +0 0 0 0 0 1 0 0 0 +0 0 0 0 0 0 1 0 0 +0 0 0 0 0 0 0 1 0 +0 0 0 0 0 0 0 0 1 +end