Created
June 27, 2016 21:13
-
-
Save rrnewton/df17230b748df4ce1f06b49831348000 to your computer and use it in GitHub Desktop.
A negative result not demonstrating the problem from trac #5642
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- A standalone hacked down version of Trac #5642. This one is TOO | |
-- hacked down and it does not exhibit the problem. | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE DeriveGeneric #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE GADTs #-} | |
module Standalone where | |
data BigSum a = | |
C0 | C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | |
| C10 | C11 | C12 | C13 | C14 | C15 | C16 | C17 | C18 | C19 | |
| C20 | C21 | C22 | C23 | C24 | C25 | C26 | C27 | C28 | C29 | |
| C30 | C31 | C32 | C33 | C34 | C35 | C36 | C37 | C38 | C39 | |
| C40 | C41 | C42 | C43 | C44 | C45 | C46 | C47 | C48 | C49 | |
| C50 | C51 | C52 | C53 | C54 | C55 | C56 | C57 | C58 | C59 | |
| C60 | C61 | C62 | C63 | C64 | C65 | C66 | C67 | C68 | C69 | |
| C70 | C71 | C72 | C73 | C74 | C75 | C76 | C77 | C78 | C79 | |
| C80 | C81 | C82 | C83 | C84 | C85 | C86 | C87 | C88 | C89 | |
| C90 | C91 | C92 | C93 | C94 | C95 | C96 | C97 | |
| C98 | C99 | |
| C100 | C101 | C102 | C103 | C104 | C105 | C106 | C107 | C108 | C109 | |
| C110 | C111 | C112 | C113 | C114 | C115 | C116 | C117 | C118 | C119 | |
| C120 | C121 | C122 | C123 | C124 | C125 | C126 | C127 | C128 | C129 | |
| C130 | C131 | C132 | C133 | C134 | C135 | C136 | C137 | C138 | C139 | |
| C140 | C141 | C142 | C143 | C144 | C145 | C146 | C147 | C148 | C149 | |
| C150 | C151 | C152 | C153 | C154 | C155 | C156 | C157 | C158 | C159 | |
| C160 | C161 | C162 | C163 | C164 | C165 | C166 | C167 | C168 | C169 | |
| C170 | C171 | C172 | C173 | C174 | C175 | C176 | C177 | C178 | C179 | |
| C180 | C181 | C182 | C183 | C184 | C185 | C186 | C187 | C188 | C189 | |
| C190 | C191 | C192 | C193 | C194 | C195 | C196 | C197 | C198 | C199 | |
| C200 | C201 | C202 | C203 | C204 | C205 | C206 | C207 | C208 | C209 | |
| C210 | C211 | C212 | C213 | C214 | C215 | C216 | C217 | C218 | C219 | |
| C220 | C221 | C222 | C223 | C224 | C225 | C226 | C227 | C228 | C229 | |
| C230 | C231 | C232 | C233 | C234 | C235 | C236 | C237 | C238 | C239 | |
| C240 | C241 | C242 | C243 | C244 | C245 | C246 | C247 | C248 | C249 | |
| C250 | C251 | C252 | C253 | C254 | C255 | C256 | C257 | C258 | C259 | |
| C260 | C261 | C262 | C263 | C264 | C265 | C266 | C267 | C268 | C269 | |
| C270 | C271 | C272 | C273 | C274 | C275 | C276 | C277 | C278 | C279 | |
| C280 | C281 | C282 | C283 | C284 | C285 | C286 | C287 | C288 | C289 | |
| C290 | C291 | C292 | C293 | C294 | C295 | C296 | C297 | C298 | C299 | |
a | |
class Generic a where | |
from :: a -> M1 a | |
data M1 a where | |
M1 :: b -> M1 a | |
data U1 p = U1 | |
data (:+:) (f :: * -> *) (g :: * -> *) p = L1 (f p) | R1 (g p) | |
instance Generic (BigSum a_a2l7) where | |
from C0 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C1 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C2 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C3 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C4 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C5 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C6 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C7 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C8 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C9 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C10 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C11 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C12 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C13 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C14 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C15 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C16 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C17 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C18 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C19 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C20 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C21 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C22 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C23 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C24 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C25 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C26 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C27 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C28 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C29 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C30 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C31 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C32 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C33 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C34 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C35 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C36 | |
= M1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C37 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C38 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C39 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C40 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C41 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C42 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C43 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C44 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C45 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C46 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C47 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C48 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C49 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C50 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C51 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C52 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C53 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C54 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C55 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C56 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C57 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C58 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C59 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C60 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C61 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C62 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C63 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C64 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C65 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C66 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C67 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C68 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C69 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C70 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C71 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C72 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C73 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C74 | |
= M1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C75 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C76 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C77 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C78 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C79 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C80 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C81 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C82 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C83 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C84 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C85 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C86 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C87 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C88 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C89 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C90 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C91 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C92 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C93 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C94 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C95 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C96 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C97 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C98 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C99 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C100 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C101 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C102 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C103 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C104 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C105 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C106 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C107 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C108 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C109 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C110 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C111 | |
= M1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C112 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C113 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C114 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C115 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C116 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C117 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C118 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C119 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C120 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C121 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C122 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C123 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C124 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C125 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C126 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C127 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C128 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C129 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C130 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C131 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C132 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C133 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C134 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C135 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C136 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C137 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C138 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C139 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C140 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C141 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C142 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C143 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C144 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C145 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C146 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C147 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C148 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C149 | |
= M1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C150 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C151 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C152 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C153 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C154 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C155 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C156 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C157 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C158 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C159 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C160 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C161 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C162 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C163 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C164 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C165 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C166 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C167 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C168 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C169 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C170 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C171 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C172 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C173 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C174 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C175 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C176 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C177 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C178 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C179 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C180 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C181 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C182 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C183 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C184 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C185 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C186 | |
= M1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C187 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C188 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C189 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C190 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C191 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C192 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C193 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C194 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C195 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C196 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C197 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C198 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C199 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C200 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C201 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C202 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C203 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C204 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C205 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C206 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C207 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C208 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C209 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C210 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C211 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C212 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C213 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C214 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C215 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C216 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C217 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C218 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C219 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C220 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C221 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C222 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C223 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C224 | |
= M1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C225 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C226 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C227 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C228 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C229 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C230 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C231 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C232 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C233 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C234 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C235 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C236 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C237 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C238 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C239 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C240 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C241 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C242 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C243 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C244 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C245 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C246 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C247 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C248 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C249 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C250 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C251 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C252 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C253 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C254 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C255 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C256 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C257 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C258 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C259 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C260 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C261 | |
= M1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C262 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C263 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C264 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C265 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C266 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C267 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C268 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C269 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C270 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C271 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C272 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C273 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C274 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C275 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C276 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C277 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C278 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C279 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C280 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C281 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C282 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C283 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C284 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 | |
(R1 (M1 U1))))))))) | |
from C285 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C286 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C287 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C288 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C289 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C290 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C291 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C292 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C293 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C294 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) | |
from C295 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(L1 (M1 U1))))))))) | |
from C296 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 | |
(R1 (M1 U1))))))))) | |
from C297 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1))))))))) | |
from C298 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(L1 (M1 U1)))))))))) | |
from C299 | |
= M1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 | |
(R1 (M1 U1)))))))))) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment