Skip to content

Instantly share code, notes, and snippets.

@rrnewton

rrnewton/Standalone.hs

Created June 27, 2016 21:13
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save rrnewton/df17230b748df4ce1f06b49831348000 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save rrnewton/df17230b748df4ce1f06b49831348000 to your computer and use it in GitHub Desktop.
Download ZIP
A negative result not demonstrating the problem from trac #5642
Raw
Standalone.hs
-- 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