Monad transformers question

[Magnus Lindberg]

--'ThIs-RaNdOm-StRiNg-/=_.683760939:
Content-Length: 2380
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=iso-8859-1
MIME-Version: 1.0

{-  Hi !
I have tried to write an "EnvState" monad transformer, but it is quite
useless because when a function peeks at the state but ignores the
environment (or vice versa) the code won't compile. GHC tells that the
monad I use is no instance of the MonadEnvState, but I really think it
is!
  An example:
( I attach the monad transformer file, MonadTrans2.hs, if someone
wonders how EnvStateT looks (I have only written EnvStateT myself, my
teacher has written the others some time ago (I think))  )
-}


import MonadTrans2


data Env   = Env Int
data State = State Int


type M = EnvStateT Env State IO

f, g, h :: M ()


f = do (Env e, State s) <- getES    -- This works since I show GHC
       return ()                    --   exactly what Env and State I
use ?

g = do State s <- getS          -- compile time error!
       return ()

h = do Env e <- getE            -- compile time error!
       return ()


{-
I have already told Haskell that the monad M uses an `Env' and a
`State' (the `type M = ...') so why does GHC complain? The function
`g' gives:

    No instance for (MonadEnvState (EnvStateT Env State IO) e State)
    arising from use of `getS' at envstate.hs:33
    In a 'do' expression pattern binding: State x <- getS
    In the definition of `g':
        do
          State x <- getS
          return ()
          
This means that my environment-state monad is nearly useless, since
all functions have to use both the state and the environment in order
to compile. I thought the following could solve the problem:

instance MonadEnvState M Env State

since I then tell Haskell that M is an instance of MonadEnvState, but
then the code won't compile: 
    
    Illegal instance declaration for `MonadEnvState M Env State'
        (The instance type must be of form (T a b c)
         where T is not a synonym, and a,b,c are distinct type 
         variables)
    In the instance declaration for `MonadEnvState M Env State'
    
Does anyone know what to do? Is this a problem with Haskell without
any solution? Must one perhaps first make a state monad and then
transform the state monad into an environment monad? Can't one have
both a state and an environment in one single monad at the same time
without these compiler errors?

Thanks for any help !

Best regards, Magnus Lindberg
-}
--'ThIs-RaNdOm-StRiNg-/=_.683760939:
Content-Length: 15062
Content-Transfer-Encoding: base64
Content-Type: application/octet-stream;name=MonadTrans2.hs
Content-Disposition: attachment;filename=MonadTrans2.hs
MIME-Version: 1.0

ey0jIE9QVElPTlMgLWZnbGFzZ293LWV4dHMgIy19Cm1vZHVsZSBNb25hZFRyYW5zMiB3aGVyZQoK
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLQotLSBNb25hZFRyYW5zCgotLSBBIG1vbmFkIHRyYW5zZm9ybWVyIGB0JyBpcyBh
IHR5cGUgY29uc3RydWN0b3IsIHdoaWNoIHR1cm5zIGEKLS0gbW9uYWQgYG0nICh3aGljaCB3ZSBh
bHJlYWR5IGhhdmUpIGludG8gYSBuZXcgbW9uYWQgYHQgbScKLS0gKHdoaWNoIHByb3ZpZGVzIG5l
dyBmZWF0dXJlcyB0byB0aGUgb2xkIG1vbmFkKS4KCi0tIEluIHRoZSBuZXcgbW9uYWQgYHQgbScs
IHdlIHdvdWxkIHN0aWxsIGxpa2UgdG8gdXNlIGFsbCBmZWF0dXJlcwotLSBvZiB0aGUgb2xkIG1v
bmFkIGBtJy4gVGhhdCBpcyB3aHkgYSBtb25hZCB0cmFuc2Zvcm1lciBgdCcgaGFzIHRvCi0tIHBy
b3ZpZGUgYSAibGlmdGluZyIgZnVuY3Rpb246IGEgZnVuY3Rpb24gdGhhdCB0dXJucyBvcGVyYXRp
b25zCi0tIGluIGBtJyBpbnRvIG9wZXJhdGlvbnMgaW4gYHQgbScuCgpjbGFzcyBNb25hZFRyYW5z
IHQgd2hlcmUKICBsaWZ0IDo6IE1vbmFkIG0gPT4gbSBhIC0+IHQgbSBhCgoKLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQot
LSBFbnZTdGF0ZVQKCi0tIEEgc3RhdGUgbW9uYWQgd2l0aCBhbiBlbnZpcm9ubWVudC4gKG5vIGxp
ZnRpbmdzIGZyb20KLS0gb3RoZXIgbW9uYWRzIGFyZSBpbXBsZW1lbnRlZCkuCgoKY2xhc3MgTW9u
YWQgbSA9PiBNb25hZEVudlN0YXRlIG0gZSBzIHdoZXJlCiAgZ2V0RVMgICAgIDo6IG0gKGUsIHMp
CiAgZ2V0RSAgICAgIDo6IG0gZQogIGdldFMgICAgICA6OiBtIHMKICAtLSBzZXRTICAgICAgOjog
cyAtPiBtICgpCiAgLS0gZ2V0U2V0UmV0IDo6IChlIC0+IHMgLT4gKHIsIHMpKSAtPiBtIHIKICAt
LSB1cGRhdGUgICAgOjogKGUgLT4gcyAtPiBzKSAgICAgIC0+IG0gKCkKCm5ld3R5cGUgRW52U3Rh
dGVUIGUgcyBtIHIgPSBFbnZTdGF0ZVQgKGUgLT4gcyAtPiBtIChyLCBzKSkKCmluc3RhbmNlIE1v
bmFkIG0gPT4gTW9uYWQgKEVudlN0YXRlVCBlIHMgbSkgd2hlcmUKICByZXR1cm4geCA9CiAgICBF
bnZTdGF0ZVQgJCBcXyBzIC0+IHJldHVybiAoeCxzKQogIAogIEVudlN0YXRlVCBtMSA+Pj0gayA9
CiAgICBFbnZTdGF0ZVQgJCBcZSBzMCAtPgogICAgICBkbyAocjEsIHMxKSA8LSBtMSBlIHMwCiAg
ICAgICAgIGxldCBFbnZTdGF0ZVQgbTIgPSBrIHIxCiAgICAgICAgIG0yIGUgczEKCmluc3RhbmNl
IE1vbmFkVHJhbnMgKEVudlN0YXRlVCBlIHMpIHdoZXJlCiAgbGlmdCBtID0KICAgIEVudlN0YXRl
VCAkIFxlIHMgLT4KICAgICAgZG8gciA8LSBtCiAgICAgICAgIHJldHVybiAociwgcykKICAgICAg
ICAgCmluc3RhbmNlIE1vbmFkIG0gPT4gTW9uYWRFbnZTdGF0ZSAoRW52U3RhdGVUIGUgcyBtKSBl
IHMgd2hlcmUKICBnZXRFUyAgICAgICA9IEVudlN0YXRlVCAkIFxlIHMgLT4gcmV0dXJuICgoZSxz
KSwgcykKICBnZXRFICAgICAgICA9IEVudlN0YXRlVCAkIFxlIHMgLT4gcmV0dXJuIChlLCBzKQog
IGdldFMgICAgICAgID0gRW52U3RhdGVUICQgXF8gcyAtPiByZXR1cm4gKHMsIHMpCiAgLS0gc2V0
UyBzICAgICAgPSBFbnZTdGF0ZVQgJCBcXyBfIC0+IHJldHVybiAoKCksIHMpCiAgLS0gZ2V0U2V0
UmV0IGYgPSBFbnZTdGF0ZVQgJCBcZSBzIC0+IHJldHVybiAoZiBlIHMpCiAgLS0gdXBkYXRlIGYg
ICAgPSBFbnZTdGF0ZVQgJCBcZSBzIC0+IHJldHVybiAoKCksIGYgZSBzKQogIApydW5FbnZTdGF0
ZVQgOjogTW9uYWQgbSA9PiBFbnZTdGF0ZVQgZSBzIG0gciAtPiBlIC0+IHMgLT4gbSByCnJ1bkVu
dlN0YXRlVCAoRW52U3RhdGVUIGYpIGUgcyA9IAogIGYgZSBzID4+PSByZXR1cm4gLiBmc3QKCgot
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tCi0tIElkTQoKLS0gV2Ugd2lsbCB1c2UgbW9uYWQgdHJhbnNmb3JtZXJzIHRvIGJ1
aWxkIGNvbXBsaWNhdGVkIG1vbmFkcyBvdXQKLS0gb2Ygc2ltcGxlIG9uZXMuIFdlIHN0YXJ0IHdp
dGggYSBtb25hZCB3aGljaCBoYXMgYWJzb2x1dGVseSBubwotLSBmZWF0dXJlczogdGhlICJpZGVu
dGl0eSIgbW9uYWQuCgpuZXd0eXBlIElkTSBhID0KICBJZE0gYQogIGRlcml2aW5nIFNob3cgIAoK
aW5zdGFuY2UgTW9uYWQgSWRNIHdoZXJlCiAgcmV0dXJuIHggPQogICAgSWRNIHgKICBJZE0gYSA+
Pj0gayA9CiAgICBrIGEKCi0tIHJ1bgoKcnVuSWRNIDo6IElkTSBhIC0+IGEKcnVuSWRNIChJZE0g
eCkgPSB4CgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLQotLSBTdGF0ZVQKCi0tIEEgc3RhdGUgbW9uYWQgaXMgYSBtb25h
ZCB3aGljaCBzdXBwb3J0cyB0aGUgb3BlcmF0aW9ucyAiZ2V0IgotLSBhbmQgInNldCIuCgpjbGFz
cyBNb25hZCBtID0+IE1vbmFkU3RhdGUgbSBzIHdoZXJlCiAgZ2V0ICAgICAgIDo6IG0gcwogIHNl
dCAgICAgICA6OiBzIC0+IG0gKCkKICBnZXRTZXRSZXQgOjogKHMgLT4gKHIsIHMpKSAtPiBtIHIK
ICAKLS0gQW4gZXhhbXBsZSBvZiBhIG1vbmFkIHRyYW5zZm9ybWVyIGlzIGBTdGF0ZVQgcycuIEl0
IGFkZHMKLS0gdGhlIGZlYXR1cmUgb2YgYmVpbmcgYWJsZSB0byBtYW5pcHVsYXRlIHN0YXRlIG9m
IHR5cGUgYHMnIHRvCi0tIGFueSBleGlzdGluZyBtb25hZC4KCm5ld3R5cGUgU3RhdGVUIHMgbSBh
ID0KICBTdGF0ZVQgKHMgLT4gbSAoYSwgcykpCgotLSBJZiBgbScgaXMgYSBtb25hZCwgdGhlbiBz
byBpcyBgU3RhdGVUIHMgbScuCgppbnN0YW5jZSBNb25hZCBtID0+IE1vbmFkIChTdGF0ZVQgcyBt
KSB3aGVyZQogIHJldHVybiB4ID0KICAgIFN0YXRlVCAoXHMgLT4gcmV0dXJuICh4LCBzKSkKICAK
ICBTdGF0ZVQgbTEgPj49IGsgPQogICAgU3RhdGVUCiAgICAoXHMwIC0+CiAgICAgIGRvIChhLCBz
MSkgPC0gbTEgczAKICAgICAgICAgbGV0IFN0YXRlVCBtMiA9IGsgYQogICAgICAgICBtMiBzMQog
ICAgKQoKLS0gQW5kIGhlcmUgaXMgaG93IHdlIGNhbiByZXVzZSB0aGUgZmVhdHVyZXMgb2YgdGhl
IG9sZCBtb25hZCBgbScuCgppbnN0YW5jZSBNb25hZFRyYW5zIChTdGF0ZVQgcykgd2hlcmUKICBs
aWZ0IG0gPQogICAgU3RhdGVUCiAgICAoXHMgLT4KICAgICAgZG8gYSA8LSBtCiAgICAgICAgIHJl
dHVybiAoYSwgcykKICAgICkKCi0tIEZpbmFsbHksIHdlIHNob3cgdGhhdCwgZ2l2ZW4gdGhhdCBg
bScgaXMgYSBtb25hZCwgYFN0YXRlVCBzIG0nIGlzCi0tIGluIGZhY3QgYSBzdGF0ZSBtb25hZC4K
Cmluc3RhbmNlIE1vbmFkIG0gPT4gTW9uYWRTdGF0ZSAoU3RhdGVUIHMgbSkgcyB3aGVyZQogIGdl
dCAgICA9IFN0YXRlVCAoXHMgLT4gcmV0dXJuIChzLCBzKSkKICBzZXQgcycgPSBTdGF0ZVQgKFxz
IC0+IHJldHVybiAoKCksIHMnKSkKICBnZXRTZXRSZXQgZiA9IFN0YXRlVCAkIFxzIC0+IHJldHVy
biAkIGYgcyAgLS0gTWFnbnVzCgotLSBydW4KCnJ1blN0YXRlVCA6OiBNb25hZCBtID0+IFN0YXRl
VCBzIG0gYSAtPiBzIC0+IG0gYQpydW5TdGF0ZVQgKFN0YXRlVCBmKSBzID0KICBkbyAoYSwgXykg
PC0gZiBzCiAgICAgcmV0dXJuIGEKCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KLS0gRW52VAoKLS0gQW4gZW52aXJvbm1l
bnQgbW9uYWQgaXMgYSBtb25hZCB3aGljaCBzdXBwb3J0cyB0aGUgb3BlcmF0aW9uCi0tICJlbnYi
LgoKY2xhc3MgTW9uYWQgbSA9PiBNb25hZEVudiBtIGUgd2hlcmUKICBlbnYgOjogbSBlCgotLSBg
RW52VCBlJyBpcyBhIG1vbmFkIHRyYW5zZm9ybWVyIGFkZGluZyB0aGUgY2FwYWJpbGl0eSBvZiB1
c2luZwotLSBhbiBlbnZpcm9ubWVudCB0byBhbnkgbW9uYWQuCgpuZXd0eXBlIEVudlQgZSBtIGEg
PQogIEVudlQgKGUgLT4gbSBhKQoKLS0gSWYgYG0nIGlzIGEgbW9uYWQsIHRoZW4gc28gaXMgYEVu
dlQgZSBtJy4KCmluc3RhbmNlIE1vbmFkIG0gPT4gTW9uYWQgKEVudlQgcyBtKSB3aGVyZQogIHJl
dHVybiB4ID0KICAgIEVudlQgKFxlIC0+IHJldHVybiB4KQogIAogIEVudlQgbTEgPj49IGsgPQog
ICAgRW52VAogICAgKFxlIC0+CiAgICAgIGRvIGEgPC0gbTEgZQogICAgICAgICBsZXQgRW52VCBt
MiA9IGsgYQogICAgICAgICBtMiBlCiAgICApCgotLSByZXVzaW5nIG9wZXJhdGlvbnMgZnJvbSBg
bScgaW4gYEVudlQgZSBtJy4KCmluc3RhbmNlIE1vbmFkVHJhbnMgKEVudlQgZSkgd2hlcmUKICBs
aWZ0IG0gPQogICAgRW52VCAoXGUgLT4gbSkKCi0tIEdpdmVuIHRoYXQgYG0nIGlzIGEgbW9uYWQs
IGBFbnZUIHMgbScgaXMgYW4gZW52aXJvbm1lbnQgbW9uYWQuCgppbnN0YW5jZSBNb25hZCBtID0+
IE1vbmFkRW52IChFbnZUIGUgbSkgZSB3aGVyZQogIGVudiA9IEVudlQgKFxlIC0+IHJldHVybiBl
KQoKLS0gcnVuCgpydW5FbnZUIDo6IE1vbmFkIG0gPT4gRW52VCBlIG0gYSAtPiBlIC0+IG0gYQpy
dW5FbnZUIChFbnZUIGYpIGUgPSBmIGUKCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KLS0gT3V0cHV0VAoKLS0gQW4gb3V0
cHV0IG1vbmFkIGlzIGEgbW9uYWQgd2hpY2ggc3VwcG9ydHMgdGhlIG9wZXJhdGlvbgotLSAib3V0
cHV0Ii4KCmNsYXNzIE1vbmFkIG0gPT4gTW9uYWRPdXRwdXQgbSBvIHdoZXJlCiAgb3V0cHV0IDo6
IG8gLT4gbSAoKQoKLS0gYE91dHB1dFQgbycgaXMgYSBtb25hZCB0cmFuc2Zvcm1lciBhZGRpbmcg
dGhlIGNhcGFiaWxpdHkgb2YgcHJvZHVjaW5nCi0tIG91dHB1dCB0byBhbnkgbW9uYWQuCgpuZXd0
eXBlIE91dHB1dFQgbyBtIGEgPQogIE91dHB1dFQgKG0gKGEsIFtvXSkpCgotLSBJZiBgbScgaXMg
YSBtb25hZCwgdGhlbiBzbyBpcyBgT3V0cHV0VCBvIG0nLgoKaW5zdGFuY2UgTW9uYWQgbSA9PiBN
b25hZCAoT3V0cHV0VCBvIG0pIHdoZXJlCiAgcmV0dXJuIHggPQogICAgT3V0cHV0VCAocmV0dXJu
ICh4LCBbXSkpCiAgCiAgT3V0cHV0VCBtMSA+Pj0gayA9CiAgICBPdXRwdXRUCiAgICAoIGRvIChh
LCBvMSkgPC0gbTEKICAgICAgICAgbGV0IE91dHB1dFQgbTIgPSBrIGEKICAgICAgICAgKGIsIG8y
KSA8LSBtMgogICAgICAgICByZXR1cm4gKGIsIG8xKytvMikKICAgICkKCi0tIHJldXNpbmcgb3Bl
cmF0aW9ucyBmcm9tIGBtJyBpbiBgT3V0cHV0VCBvIG0nLgoKaW5zdGFuY2UgTW9uYWRUcmFucyAo
T3V0cHV0VCBvKSB3aGVyZQogIGxpZnQgbSA9CiAgICBPdXRwdXRUCiAgICAoIGRvIGEgPC0gbQog
ICAgICAgICByZXR1cm4gKGEsIFtdKQogICAgKQoKLS0gR2l2ZW4gdGhhdCBgbScgaXMgYSBtb25h
ZCwgYE91dHB1dFQgbyBtJyBpcyBhbiBvdXRwdXQgbW9uYWQuCgppbnN0YW5jZSBNb25hZCBtID0+
IE1vbmFkT3V0cHV0IChPdXRwdXRUIG8gbSkgbyB3aGVyZQogIG91dHB1dCBvID0gT3V0cHV0VCAo
cmV0dXJuICgoKSxbb10pKQoKLS0gcnVuCgpydW5PdXRwdXRUIDo6IE1vbmFkIG0gPT4gT3V0cHV0
VCBvIG0gYSAtPiBtIChhLCBbb10pCnJ1bk91dHB1dFQgKE91dHB1dFQgbSkgPSBtCgotLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tCi0tIEVycm9yVAoKLS0gQW4gZXJyb3IgbW9uYWQgaXMgYSBtb25hZCB3aGljaCBzdXBwb3J0
cyB0aGUgb3BlcmF0aW9uCi0tICJ3cm9uZyIuCgpjbGFzcyBNb25hZCBtID0+IE1vbmFkRXJyb3Ig
bSB3aGVyZQogIHdyb25nIDo6IG0gYQoKLS0gYEVycm9yVCcgaXMgYSBtb25hZCB0cmFuc2Zvcm1l
ciBhZGRpbmcgdGhlIGNhcGFiaWxpdHkgb2YgZ2VuZXJhdGluZwotLSBlcnJvcnMgdG8gYW55IG1v
bmFkLgoKbmV3dHlwZSBFcnJvclQgbSBhID0KICBFcnJvclQgKG0gKE1heWJlIGEpKQoKLS0gSWYg
YG0nIGlzIGEgbW9uYWQsIHRoZW4gc28gaXMgYEVycm9yVCBtJy4KCmluc3RhbmNlIE1vbmFkIG0g
PT4gTW9uYWQgKEVycm9yVCBtKSB3aGVyZQogIHJldHVybiB4ID0KICAgIEVycm9yVCAocmV0dXJu
IChKdXN0IHgpKQogIAogIEVycm9yVCBtMSA+Pj0gayA9CiAgICBFcnJvclQKICAgICggZG8gbWEg
PC0gbTEKICAgICAgICAgY2FzZSBtYSBvZgogICAgICAgICAgIE5vdGhpbmcgLT4gcmV0dXJuIE5v
dGhpbmcKICAgICAgICAgICBKdXN0IGEgIC0+IGxldCBFcnJvclQgbTIgPSBrIGEgaW4gbTIKICAg
ICkKCi0tIHJldXNpbmcgb3BlcmF0aW9ucyBmcm9tIGBtJyBpbiBgRXJyb3JUIG0nLgoKaW5zdGFu
Y2UgTW9uYWRUcmFucyBFcnJvclQgd2hlcmUKICBsaWZ0IG0gPQogICAgRXJyb3JUCiAgICAoIGRv
IGEgPC0gbQogICAgICAgICByZXR1cm4gKEp1c3QgYSkKICAgICkKCi0tIEdpdmVuIHRoYXQgYG0n
IGlzIGEgbW9uYWQsIGBFcnJvclQgbScgaXMgYW4gZXJyb3IgbW9uYWQuCgppbnN0YW5jZSBNb25h
ZCBtID0+IE1vbmFkRXJyb3IgKEVycm9yVCBtKSB3aGVyZQogIHdyb25nID0gRXJyb3JUIChyZXR1
cm4gTm90aGluZykKCi0tIHJ1bgoKcnVuRXJyb3JUIDo6IE1vbmFkIG0gPT4gRXJyb3JUIG0gYSAt
PiBtIChNYXliZSBhKQpydW5FcnJvclQgKEVycm9yVCBtKSA9IG0KCi0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KLS0gQ29u
dFQKCi0tIGBDb250VCcgaXMgYSBtb25hZCB0cmFuc2Zvcm1lciB0dXJuaW5nIGFueSBtb25hZCBp
bnRvIGEgbW9uYWQKLS0gdXNpbmcgY29udGludWF0aW9uIHBhc3Npbmcgc3R5bGUuIFRoaXMgaXMg
b2Z0ZW4gbW9yZSBlZmZpY2llbnQsCi0tIGVzcGVjaWFsbHkgd2hlbiB1c2luZyBzaGFsbG93IGVt
YmVkZGluZ3MuIChUaGVyZSBhcmUgYWxzbyBvdGhlcgotLSBvcGVyYXRpb25zIHN1cHBvcnRlZCBv
biBjb250aW51YXRpb24gbW9uYWRzLCB3aGljaCB3ZSB3aWxsIG5vdAotLSBkaXNjdXNzIGhlcmUu
KQoKbmV3dHlwZSBDb250VCByIG0gYSA9CiAgQ29udFQgKChhIC0+IG0gcikgLT4gbSByKQoKLS0g
SWYgYG0nIGlzIGEgbW9uYWQsIHRoZW4gc28gaXMgYENvbnRUIHIgbScuIChJbiBmYWN0LCBldmVu
IGlmCi0tIGBtJyBpcyBub3QgYSBtb25hZCwgYENvbnRUIHIgbScgc3RpbGwgaXMuKQoKaW5zdGFu
Y2UgTW9uYWQgbSA9PiBNb25hZCAoQ29udFQgciBtKSB3aGVyZQogIHJldHVybiB4ID0KICAgIENv
bnRUIChcayAtPiBrIHgpCiAgCiAgQ29udFQgbTEgPj49IGsyID0KICAgIENvbnRUIChcazMgLT4g
bTEgKFxhIC0+IGxldCBDb250VCBtMiA9IGsyIGEgaW4gbTIgazMpKQoKLS0gcmV1c2luZyBvcGVy
YXRpb25zIGZyb20gYG0nIGluIGBDb250VCByIG0nLgoKaW5zdGFuY2UgTW9uYWRUcmFucyAoQ29u
dFQgcikgd2hlcmUKICBsaWZ0IG0gPQogICAgQ29udFQKICAgIChcayAtPiBkbyBhIDwtIG0KICAg
ICAgICAgICAgICBrIGEKICAgICkKCi0tIHJ1bgoKcnVuQ29udFQgOjogTW9uYWQgbSA9PiBDb250
VCByIG0gciAtPiBtIHIKcnVuQ29udFQgKENvbnRUIG0pID0gbSAoXHIgLT4gcmV0dXJuIHIpCgot
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tCi0tIERlZXBUCgotLSBgRGVlcFQnIGlzIGEgbW9uYWQgdHJhbnNmb3JtZXIgd2hl
cmUgYWxsIGxpZnRpbmdzIGFyZSBtYWRlCi0tIGV4cGxpY2l0LiBUaGlzIGNhbiBiZSB1c2VkIGZv
ciBzZXZlcmFsIHB1cnBvc2VzLiBPbmUgaXMgdG8KLS0gYmUgYWJsZSB0byBpbXBsZW1lbnQgYSBm
b3JtIG9mIHBhcmFsbGVsIGNvbXBvc2l0aW9uIG9uIHByb2dyYW1zCi0tIGluIHRoaXMgbW9uYWQu
CgpkYXRhIERlZXBUIG0gYQogID0gTGlmdCAobSAoRGVlcFQgbSBhKSkKICB8IFJldHVybiBhCgot
LSBJZiBgbScgaXMgYSBtb25hZCwgdGhlbiBzbyBpcyBgRGVlcFQgbScuCgppbnN0YW5jZSBNb25h
ZCBtID0+IE1vbmFkIChEZWVwVCBtKSB3aGVyZQogIHJldHVybiB4ID0KICAgIFJldHVybiB4CiAg
CiAgTGlmdCBtID4+PSBrID0KICAgIExpZnQgKGRvIG0nIDwtIG0KICAgICAgICAgICAgIHJldHVy
biAobScgPj49IGspCiAgICAgICAgICkKCiAgUmV0dXJuIGEgPj49IGsgPQogICAgayBhCgotLSBy
ZXVzaW5nIG9wZXJhdGlvbnMgZnJvbSBgbScgaW4gYERlZXBUIG0nLgoKaW5zdGFuY2UgTW9uYWRU
cmFucyBEZWVwVCB3aGVyZQogIGxpZnQgbSA9CiAgICBMaWZ0IChkbyBhIDwtIG0KICAgICAgICAg
ICAgIHJldHVybiAoUmV0dXJuIGEpCiAgICAgICAgICkKCi0tIHBhcmFsbGVsIGNvbXBvc2l0aW9u
OyB3ZSBtZXJnZSB0d28gcHJvZ3JhbXMgaW50byBvbmUuCgooPnw8KSA6OiBNb25hZCBtID0+IERl
ZXBUIG0gYSAtPiBEZWVwVCBtIGIgLT4gRGVlcFQgbSAoYSxiKQpMaWZ0IG1hID58PCBMaWZ0IG1i
ID0KICBMaWZ0IChkbyBrYSA8LSBtYQogICAgICAgICAgIGtiIDwtIG1iCiAgICAgICAgICAgcmV0
dXJuIChrYSA+fDwga2IpCiAgICAgICApCgpSZXR1cm4gYSA+fDwgTGlmdCBtYiA9CiAgTGlmdCAo
ZG8ga2IgPC0gbWIKICAgICAgICAgICByZXR1cm4gKFJldHVybiBhID58PCBrYikKICAgICAgICkK
CkxpZnQgbWEgPnw8IFJldHVybiBiID0KICBMaWZ0IChkbyBrYSA8LSBtYQogICAgICAgICAgIHJl
dHVybiAoa2EgPnw8IFJldHVybiBiKQogICAgICAgKQoKUmV0dXJuIGEgPnw8IFJldHVybiBiID0K
ICBSZXR1cm4gKGEsYikKCi0tIHJ1bgoKcnVuRGVlcFQgOjogTW9uYWQgbSA9PiBEZWVwVCBtIGEg
LT4gbSBhCnJ1bkRlZXBUIChMaWZ0IG1rKSA9CiAgZG8gayA8LSBtawogICAgIHJ1bkRlZXBUIGsK
CnJ1bkRlZXBUIChSZXR1cm4gYSkgPQogIGRvIHJldHVybiBhCgotLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCi0tIGJvcmlu
ZyBsaWZ0aW5ncwoKLS0gc3RhdGUKCmluc3RhbmNlIE1vbmFkU3RhdGUgbSBzID0+IE1vbmFkU3Rh
dGUgKEVudlQgZSBtKSBzIHdoZXJlCiAgZ2V0ICAgICAgICAgPSBsaWZ0IGdldAogIHNldCBzICAg
ICAgID0gbGlmdCAoc2V0IHMpCiAgZ2V0U2V0UmV0IGYgPSBsaWZ0IChnZXRTZXRSZXQgZikKCmlu
c3RhbmNlIE1vbmFkU3RhdGUgbSBzID0+IE1vbmFkU3RhdGUgKE91dHB1dFQgbyBtKSBzIHdoZXJl
CiAgZ2V0ICAgICAgICAgPSBsaWZ0IGdldAogIHNldCBzICAgICAgID0gbGlmdCAoc2V0IHMpCiAg
Z2V0U2V0UmV0IGYgPSBsaWZ0IChnZXRTZXRSZXQgZikKCmluc3RhbmNlIE1vbmFkU3RhdGUgbSBz
ID0+IE1vbmFkU3RhdGUgKEVycm9yVCBtKSBzIHdoZXJlCiAgZ2V0ICAgICAgICAgPSBsaWZ0IGdl
dAogIHNldCBzICAgICAgID0gbGlmdCAoc2V0IHMpCiAgZ2V0U2V0UmV0IGYgPSBsaWZ0IChnZXRT
ZXRSZXQgZikKCmluc3RhbmNlIE1vbmFkU3RhdGUgbSBzID0+IE1vbmFkU3RhdGUgKENvbnRUIHIg
bSkgcyB3aGVyZQogIGdldCAgICAgICAgID0gbGlmdCBnZXQKICBzZXQgcyAgICAgICA9IGxpZnQg
KHNldCBzKQogIGdldFNldFJldCBmID0gbGlmdCAoZ2V0U2V0UmV0IGYpCgppbnN0YW5jZSBNb25h
ZFN0YXRlIG0gcyA9PiBNb25hZFN0YXRlIChEZWVwVCBtKSBzIHdoZXJlCiAgZ2V0ICAgICAgICAg
PSBsaWZ0IGdldAogIHNldCBzICAgICAgID0gbGlmdCAoc2V0IHMpCiAgZ2V0U2V0UmV0IGYgPSBs
aWZ0IChnZXRTZXRSZXQgZikKCi0tIGVudgoKaW5zdGFuY2UgTW9uYWRFbnYgbSBlID0+IE1vbmFk
RW52IChTdGF0ZVQgcyBtKSBlIHdoZXJlCiAgZW52ID0gbGlmdCBlbnYKCmluc3RhbmNlIE1vbmFk
RW52IG0gZSA9PiBNb25hZEVudiAoT3V0cHV0VCBvIG0pIGUgd2hlcmUKICBlbnYgPSBsaWZ0IGVu
dgoKaW5zdGFuY2UgTW9uYWRFbnYgbSBlID0+IE1vbmFkRW52IChFcnJvclQgbSkgZSB3aGVyZQog
IGVudiA9IGxpZnQgZW52CgppbnN0YW5jZSBNb25hZEVudiBtIGUgPT4gTW9uYWRFbnYgKENvbnRU
IHIgbSkgZSB3aGVyZQogIGVudiA9IGxpZnQgZW52CgppbnN0YW5jZSBNb25hZEVudiBtIGUgPT4g
TW9uYWRFbnYgKERlZXBUIG0pIGUgd2hlcmUKICBlbnYgPSBsaWZ0IGVudgoKLS0gb3V0cHV0Cgpp
bnN0YW5jZSBNb25hZE91dHB1dCBtIG8gPT4gTW9uYWRPdXRwdXQgKFN0YXRlVCBzIG0pIG8gd2hl
cmUKICBvdXRwdXQgbyA9IGxpZnQgKG91dHB1dCBvKQoKaW5zdGFuY2UgTW9uYWRPdXRwdXQgbSBv
ID0+IE1vbmFkT3V0cHV0IChFbnZUIHMgbSkgbyB3aGVyZQogIG91dHB1dCBvID0gbGlmdCAob3V0
cHV0IG8pCgppbnN0YW5jZSBNb25hZE91dHB1dCBtIG8gPT4gTW9uYWRPdXRwdXQgKEVycm9yVCBt
KSBvIHdoZXJlCiAgb3V0cHV0IG8gPSBsaWZ0IChvdXRwdXQgbykKCmluc3RhbmNlIE1vbmFkT3V0
cHV0IG0gbyA9PiBNb25hZE91dHB1dCAoQ29udFQgciBtKSBvIHdoZXJlCiAgb3V0cHV0IG8gPSBs
aWZ0IChvdXRwdXQgbykKCmluc3RhbmNlIE1vbmFkT3V0cHV0IG0gbyA9PiBNb25hZE91dHB1dCAo
RGVlcFQgbSkgbyB3aGVyZQogIG91dHB1dCBvID0gbGlmdCAob3V0cHV0IG8pCgotLSBlcnJvcgoK
aW5zdGFuY2UgTW9uYWRFcnJvciBtID0+IE1vbmFkRXJyb3IgKFN0YXRlVCBzIG0pIHdoZXJlCiAg
d3JvbmcgPSBsaWZ0IHdyb25nCgppbnN0YW5jZSBNb25hZEVycm9yIG0gPT4gTW9uYWRFcnJvciAo
RW52VCBlIG0pIHdoZXJlCiAgd3JvbmcgPSBsaWZ0IHdyb25nCgppbnN0YW5jZSBNb25hZEVycm9y
IG0gPT4gTW9uYWRFcnJvciAoT3V0cHV0VCBvIG0pIHdoZXJlCiAgd3JvbmcgPSBsaWZ0IHdyb25n
CgppbnN0YW5jZSBNb25hZEVycm9yIG0gPT4gTW9uYWRFcnJvciAoQ29udFQgciBtKSB3aGVyZQog
IHdyb25nID0gbGlmdCB3cm9uZwoKaW5zdGFuY2UgTW9uYWRFcnJvciBtID0+IE1vbmFkRXJyb3Ig
KERlZXBUIG0pIHdoZXJlCiAgd3JvbmcgPSBsaWZ0IHdyb25nCgotLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCi0tIHRoZSBl
bmQuCgoK
--'ThIs-RaNdOm-StRiNg-/=_.683760939:--