tx · 8JvyTW3wVX82zCbdfYYgwDr5eTVTaaPEm4j9qHULcX6T

3MwsyDjSTFfcbxaGnwD9YLMMfXSu4K74HT9:  -0.00600000 Waves

2022.10.11 08:23 [2267255] smart account 3MwsyDjSTFfcbxaGnwD9YLMMfXSu4K74HT9 > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "8JvyTW3wVX82zCbdfYYgwDr5eTVTaaPEm4j9qHULcX6T",
    "fee": 600000,
    "feeAssetId": null,
    "timestamp": 1665465839276,
    "version": 2,
    "chainId": 84,
    "sender": "3MwsyDjSTFfcbxaGnwD9YLMMfXSu4K74HT9",
    "senderPublicKey": "GHzeUfgWYiY8LV58fLjiRxKduWQNTnNVgEHW8jQ6e6Kx",
    "proofs": [
        "rXeAqYeT1uf4wqMKw5uF4p5UL6vgYAwPsj2SdHyBuFEkQ6xTwVehurYtNLWe6aNuUEyXvjZCdt1xHB5XtVxgTYR"
    ],
    "script": "base64:AAIFAAAAAAAAABEIAhIDCgEIEgMKAQgSAwoBCAAAAAkBAAAAEGdldFN0cmluZ09yVGhyb3cAAAACAAAAB2FkZHJlc3MAAAADa2V5CQEAAAATdmFsdWVPckVycm9yTWVzc2FnZQAAAAIJAAQdAAAAAgUAAAAHYWRkcmVzcwUAAAADa2V5CQABLAAAAAIJAAEsAAAAAgkAASwAAAACAgAAAAxDYW4ndCByZWFkICcFAAAAA2tleQIAAAANJyBhdCBhZGRyZXNzIAkABCUAAAABBQAAAAdhZGRyZXNzAQAAABNwYXJzZUFkZHJlc3NPclRocm93AAAAAQAAAAxtYXliZUFkZHJlc3MJAQAAABN2YWx1ZU9yRXJyb3JNZXNzYWdlAAAAAgkABCYAAAABBQAAAAxtYXliZUFkZHJlc3MJAAEsAAAAAgkAASwAAAACAgAAABpDYW4ndCBwYXJzZSBhZGRyZXNzIGZyb20gJwUAAAAMbWF5YmVBZGRyZXNzAgAAAAEnAAAAAAxrZXlfcmVnaXN0cnkCAAAACHJlZ2lzdHJ5AAAAAAhyZWdpc3RyeQkBAAAAE3BhcnNlQWRkcmVzc09yVGhyb3cAAAABCQEAAAAQZ2V0U3RyaW5nT3JUaHJvdwAAAAIFAAAABHRoaXMFAAAADGtleV9yZWdpc3RyeQEAAAAHaXNBZG1pbgAAAAEAAAADaW52CQAAAAAAAAIIBQAAAANpbnYAAAAGY2FsbGVyBQAAAAR0aGlzAQAAAAltb2RpZmllcnMAAAABAAAAC3ZhbGlkYXRpb25zBQAAAAR1bml0AQAAAAlvbmx5QWRtaW4AAAABAAAAA2ludgMJAQAAAAdpc0FkbWluAAAAAQUAAAADaW52BQAAAAR1bml0CQAAAgAAAAECAAAAEVBlcm1pc3Npb24gZGVuaWVkAQAAAA9fc3BsaXRMYXN0TGFiZWwAAAABAAAABG5hbWUEAAAABmxhYmVscwkABLUAAAACBQAAAARuYW1lAgAAAAEuBAAAAAlsYXN0SW5kZXgJAABlAAAAAgkAAZAAAAABBQAAAAZsYWJlbHMAAAAAAAAAAAEEAAAACWxhc3RMYWJlbAkAAZEAAAACBQAAAAZsYWJlbHMFAAAACWxhc3RJbmRleAQAAAAKcmVzdExhYmVscwkABLkAAAACCQAEUQAAAAIFAAAABmxhYmVscwUAAAAJbGFzdEluZGV4AgAAAAEuCQAFFAAAAAIFAAAACWxhc3RMYWJlbAUAAAAKcmVzdExhYmVscwEAAAANX2ZpbmRSZXNvbHZlcgAAAAEAAAAEbmFtZQQAAAALJHQwMTI0MDEyOTEJAQAAAA9fc3BsaXRMYXN0TGFiZWwAAAABBQAAAARuYW1lBAAAAAlsYXN0TGFiZWwIBQAAAAskdDAxMjQwMTI5MQAAAAJfMQQAAAAKcmVzdExhYmVscwgFAAAACyR0MDEyNDAxMjkxAAAAAl8yBAAAAAckbWF0Y2gwCQAD/AAAAAQFAAAACHJlZ2lzdHJ5AgAAAAhyZXNvbHZlcgkABEwAAAACBQAAAAlsYXN0TGFiZWwFAAAAA25pbAUAAAADbmlsAwkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAAZTdHJpbmcEAAAAD3Jlc29sdmVyQWRkcmVzcwUAAAAHJG1hdGNoMAkABRQAAAACCQAEJgAAAAEFAAAAD3Jlc29sdmVyQWRkcmVzcwUAAAAKcmVzdExhYmVscwkABRQAAAACBQAAAAR1bml0BQAAAARuYW1lAAAAAwAAAANpbnYBAAAABGluaXQAAAABAAAAD3JlZ2lzdHJ5QWRkcmVzcwkBAAAAC3ZhbHVlT3JFbHNlAAAAAgkBAAAACW1vZGlmaWVycwAAAAEJAARMAAAAAgkBAAAACW9ubHlBZG1pbgAAAAEFAAAAA2ludgUAAAADbmlsCQAETAAAAAIJAQAAAAtTdHJpbmdFbnRyeQAAAAIFAAAADGtleV9yZWdpc3RyeQUAAAAPcmVnaXN0cnlBZGRyZXNzBQAAAANuaWwAAAADaW52AQAAAAdyZXNvbHZlAAAAAQAAAARuYW1lCQEAAAALdmFsdWVPckVsc2UAAAACCQEAAAAJbW9kaWZpZXJzAAAAAQkABEwAAAACAwkAAGYAAAACCQABMQAAAAEFAAAABG5hbWUAAAAAAAAAAAAFAAAABHVuaXQJAAACAAAAAQIAAAAUTmFtZSBjYW5ub3QgYmUgZW1wdHkFAAAAA25pbAQAAAALJHQwMTg1NjE5MDQJAQAAAA1fZmluZFJlc29sdmVyAAAAAQUAAAAEbmFtZQQAAAAIcmVzb2x2ZXIIBQAAAAskdDAxODU2MTkwNAAAAAJfMQQAAAAKcmVzdExhYmVscwgFAAAACyR0MDE4NTYxOTA0AAAAAl8yAwMJAQAAAAEhAAAAAQkBAAAACWlzRGVmaW5lZAAAAAEFAAAACHJlc29sdmVyBgkAAAAAAAACCQABMQAAAAEFAAAACnJlc3RMYWJlbHMAAAAAAAAAAAAJAAUUAAAAAgUAAAADbmlsBQAAAAR1bml0CQAFFAAAAAIFAAAAA25pbAQAAAAHJG1hdGNoMAkAA/wAAAAECQEAAAAFdmFsdWUAAAABBQAAAAhyZXNvbHZlcgIAAAAHcmVzb2x2ZQkABEwAAAACCQEAAAAFdmFsdWUAAAABBQAAAApyZXN0TGFiZWxzBQAAAANuaWwFAAAAA25pbAMJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAGU3RyaW5nBAAAAAxjYWxsYmFja0RhdGEFAAAAByRtYXRjaDAFAAAADGNhbGxiYWNrRGF0YQUAAAAEdW5pdAAAAANpbnYBAAAABXdob0lzAAAAAQAAAARuYW1lCQEAAAALdmFsdWVPckVsc2UAAAACCQEAAAAJbW9kaWZpZXJzAAAAAQkABEwAAAACAwkAAGYAAAACCQABMQAAAAEFAAAABG5hbWUAAAAAAAAAAAAFAAAABHVuaXQJAAACAAAAAQIAAAAUTmFtZSBjYW5ub3QgYmUgZW1wdHkFAAAAA25pbAQAAAALJHQwMjQyNTI0NzMJAQAAAA1fZmluZFJlc29sdmVyAAAAAQUAAAAEbmFtZQQAAAAIcmVzb2x2ZXIIBQAAAAskdDAyNDI1MjQ3MwAAAAJfMQQAAAAKcmVzdExhYmVscwgFAAAACyR0MDI0MjUyNDczAAAAAl8yBAAAAAlsYXN0TGFiZWwICQEAAAAPX3NwbGl0TGFzdExhYmVsAAAAAQUAAAAEbmFtZQAAAAJfMQQAAAATbGV2ZWxaZXJvUmVnaXN0cmFudAQAAAAHJG1hdGNoMAkAA/wAAAAEBQAAAAhyZWdpc3RyeQIAAAAFb3duZXIJAARMAAAAAgUAAAAJbGFzdExhYmVsBQAAAANuaWwFAAAAA25pbAMJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAGU3RyaW5nBAAAAAVvd25lcgUAAAAHJG1hdGNoMAUAAAAFb3duZXIFAAAABHVuaXQEAAAAEWxldmVsWmVyb1Jlc29sdmVyBAAAAAckbWF0Y2gwBQAAAAhyZXNvbHZlcgMJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAHQWRkcmVzcwQAAAAHYWRkcmVzcwUAAAAHJG1hdGNoMAkABCUAAAABBQAAAAdhZGRyZXNzBQAAAAR1bml0BAAAABJsZXZlbFplcm9DcmVhdGVkQXQEAAAAByRtYXRjaDAJAAP8AAAABAUAAAAIcmVnaXN0cnkCAAAAC25hbWVDcmVhdGVkCQAETAAAAAIFAAAACWxhc3RMYWJlbAUAAAADbmlsBQAAAANuaWwDCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAA0ludAQAAAALbmFtZUNyZWF0ZWQFAAAAByRtYXRjaDAFAAAAC25hbWVDcmVhdGVkBQAAAAR1bml0BAAAAA9sZXZlbFplcm9TdGF0dXMDCQEAAAAJaXNEZWZpbmVkAAAAAQUAAAATbGV2ZWxaZXJvUmVnaXN0cmFudAIAAAAGQUNUSVZFAgAAAA5OT1RfUkVHSVNURVJFRAkABRQAAAACBQAAAANuaWwDAwkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQUAAAAIcmVzb2x2ZXIGCQAAAAAAAAIJAAExAAAAAQUAAAAKcmVzdExhYmVscwAAAAAAAAAAAAkABRcAAAAFBQAAABNsZXZlbFplcm9SZWdpc3RyYW50BQAAABFsZXZlbFplcm9SZXNvbHZlcgUAAAASbGV2ZWxaZXJvQ3JlYXRlZEF0BQAAAAR1bml0BQAAAA9sZXZlbFplcm9TdGF0dXMEAAAAByRtYXRjaDAJAAP8AAAABAkBAAAABXZhbHVlAAAAAQUAAAAIcmVzb2x2ZXICAAAABXdob0lzCQAETAAAAAIJAQAAAAV2YWx1ZQAAAAEFAAAACnJlc3RMYWJlbHMFAAAAA25pbAUAAAADbmlsAwMDAwkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfMQIAAAAGU3RyaW5nBgkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfMQIAAAAEVW5pdAMDCQAAAQAAAAIIBQAAAAckbWF0Y2gwAAAAAl8yAgAAAAZTdHJpbmcGCQAAAQAAAAIIBQAAAAckbWF0Y2gwAAAAAl8yAgAAAARVbml0AwMJAAABAAAAAggFAAAAByRtYXRjaDAAAAACXzMCAAAAA0ludAYJAAABAAAAAggFAAAAByRtYXRjaDAAAAACXzMCAAAABFVuaXQDAwkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfNAIAAAADSW50BgkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfNAIAAAAEVW5pdAMJAAABAAAAAggFAAAAByRtYXRjaDAAAAACXzUCAAAABlN0cmluZwYJAAABAAAAAggFAAAAByRtYXRjaDAAAAACXzUCAAAABFVuaXQHBwcHAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB4oVW5pdCwgVW5pdCwgVW5pdCwgVW5pdCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIChVbml0LCBVbml0LCBVbml0LCBVbml0LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB0oVW5pdCwgVW5pdCwgVW5pdCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAfKFVuaXQsIFVuaXQsIFVuaXQsIEludCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAdKFVuaXQsIFVuaXQsIEludCwgVW5pdCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHyhVbml0LCBVbml0LCBJbnQsIFVuaXQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHChVbml0LCBVbml0LCBJbnQsIEludCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHihVbml0LCBVbml0LCBJbnQsIEludCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAgKFVuaXQsIFN0cmluZywgVW5pdCwgVW5pdCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIihVbml0LCBTdHJpbmcsIFVuaXQsIFVuaXQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHyhVbml0LCBTdHJpbmcsIFVuaXQsIEludCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIShVbml0LCBTdHJpbmcsIFVuaXQsIEludCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAfKFVuaXQsIFN0cmluZywgSW50LCBVbml0LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAhKFVuaXQsIFN0cmluZywgSW50LCBVbml0LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB4oVW5pdCwgU3RyaW5nLCBJbnQsIEludCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIChVbml0LCBTdHJpbmcsIEludCwgSW50LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACAoU3RyaW5nLCBVbml0LCBVbml0LCBVbml0LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAiKFN0cmluZywgVW5pdCwgVW5pdCwgVW5pdCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAfKFN0cmluZywgVW5pdCwgVW5pdCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAhKFN0cmluZywgVW5pdCwgVW5pdCwgSW50LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB8oU3RyaW5nLCBVbml0LCBJbnQsIFVuaXQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACEoU3RyaW5nLCBVbml0LCBJbnQsIFVuaXQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHihTdHJpbmcsIFVuaXQsIEludCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAgKFN0cmluZywgVW5pdCwgSW50LCBJbnQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIihTdHJpbmcsIFN0cmluZywgVW5pdCwgVW5pdCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAJChTdHJpbmcsIFN0cmluZywgVW5pdCwgVW5pdCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAhKFN0cmluZywgU3RyaW5nLCBVbml0LCBJbnQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACMoU3RyaW5nLCBTdHJpbmcsIFVuaXQsIEludCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAhKFN0cmluZywgU3RyaW5nLCBJbnQsIFVuaXQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACMoU3RyaW5nLCBTdHJpbmcsIEludCwgVW5pdCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAgKFN0cmluZywgU3RyaW5nLCBJbnQsIEludCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIihTdHJpbmcsIFN0cmluZywgSW50LCBJbnQsIFN0cmluZykHBAAAAApyZWdpc3RyYW50CAUAAAAHJG1hdGNoMAAAAAJfMQQAAAAJcmVzb2x2ZXJfCAUAAAAHJG1hdGNoMAAAAAJfMgQAAAALbmFtZUNyZWF0ZWQIBQAAAAckbWF0Y2gwAAAAAl8zBAAAAAtuYW1lRXhwaXJlcwgFAAAAByRtYXRjaDAAAAACXzQEAAAABnN0YXR1cwgFAAAAByRtYXRjaDAAAAACXzUJAAUXAAAABQUAAAAKcmVnaXN0cmFudAUAAAAJcmVzb2x2ZXJfBQAAAAtuYW1lQ3JlYXRlZAUAAAALbmFtZUV4cGlyZXMFAAAABnN0YXR1cwkABRcAAAAFBQAAAAR1bml0CQAEJQAAAAEJAQAAAAV2YWx1ZQAAAAEFAAAACHJlc29sdmVyBQAAAAR1bml0BQAAAAR1bml0AgAAAAdVTktOT1dOAAAAABo0kvY=",
    "height": 2267255,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: none
Next: Hhk7XyZZboR7wgnbFvNwVigMmeGokek8jSQ13eAbGs3X

Full: 

OldNewDifferences
1-# no script
1+{-# STDLIB_VERSION 5 #-}
2+{-# SCRIPT_TYPE ACCOUNT #-}
3+{-# CONTENT_TYPE DAPP #-}
4+func a (b,c) = valueOrErrorMessage(getString(b, c), ((("Can't read '" + c) + "' at address ") + toString(b)))
5+
6+
7+func d (e) = valueOrErrorMessage(addressFromString(e), (("Can't parse address from '" + e) + "'"))
8+
9+
10+let f = "registry"
11+
12+let g = d(a(this, f))
13+
14+func h (i) = (i.caller == this)
15+
16+
17+func j (k) = unit
18+
19+
20+func l (i) = if (h(i))
21+    then unit
22+    else throw("Permission denied")
23+
24+
25+func m (n) = {
26+    let o = split(n, ".")
27+    let p = (size(o) - 1)
28+    let q = o[p]
29+    let r = makeString(removeByIndex(o, p), ".")
30+    $Tuple2(q, r)
31+    }
32+
33+
34+func s (n) = {
35+    let t = m(n)
36+    let q = t._1
37+    let r = t._2
38+    let u = invoke(g, "resolver", [q], nil)
39+    if ($isInstanceOf(u, "String"))
40+        then {
41+            let v = u
42+            $Tuple2(addressFromString(v), r)
43+            }
44+        else $Tuple2(unit, n)
45+    }
46+
47+
48+@Callable(i)
49+func init (w) = valueOrElse(j([l(i)]), [StringEntry(f, w)])
50+
51+
52+
53+@Callable(i)
54+func resolve (n) = valueOrElse(j([if ((size(n) > 0))
55+    then unit
56+    else throw("Name cannot be empty")]), {
57+    let x = s(n)
58+    let y = x._1
59+    let r = x._2
60+    if (if (!(isDefined(y)))
61+        then true
62+        else (size(r) == 0))
63+        then $Tuple2(nil, unit)
64+        else $Tuple2(nil, {
65+            let u = invoke(value(y), "resolve", [value(r)], nil)
66+            if ($isInstanceOf(u, "String"))
67+                then {
68+                    let z = u
69+                    z
70+                    }
71+                else unit
72+            })
73+    })
74+
75+
76+
77+@Callable(i)
78+func whoIs (n) = valueOrElse(j([if ((size(n) > 0))
79+    then unit
80+    else throw("Name cannot be empty")]), {
81+    let A = s(n)
82+    let y = A._1
83+    let r = A._2
84+    let q = m(n)._1
85+    let B = {
86+        let u = invoke(g, "owner", [q], nil)
87+        if ($isInstanceOf(u, "String"))
88+            then {
89+                let C = u
90+                C
91+                }
92+            else unit
93+        }
94+    let D = {
95+        let u = y
96+        if ($isInstanceOf(u, "Address"))
97+            then {
98+                let b = u
99+                toString(b)
100+                }
101+            else unit
102+        }
103+    let E = {
104+        let u = invoke(g, "nameCreated", [q], nil)
105+        if ($isInstanceOf(u, "Int"))
106+            then {
107+                let F = u
108+                F
109+                }
110+            else unit
111+        }
112+    let G = if (isDefined(B))
113+        then "ACTIVE"
114+        else "NOT_REGISTERED"
115+    $Tuple2(nil, if (if (!(isDefined(y)))
116+        then true
117+        else (size(r) == 0))
118+        then $Tuple5(B, D, E, unit, G)
119+        else {
120+            let u = invoke(value(y), "whoIs", [value(r)], nil)
121+            if (if (if (if ($isInstanceOf(u._1, "String"))
122+                then true
123+                else $isInstanceOf(u._1, "Unit"))
124+                then if (if ($isInstanceOf(u._2, "String"))
125+                    then true
126+                    else $isInstanceOf(u._2, "Unit"))
127+                    then if (if ($isInstanceOf(u._3, "Int"))
128+                        then true
129+                        else $isInstanceOf(u._3, "Unit"))
130+                        then if (if ($isInstanceOf(u._4, "Int"))
131+                            then true
132+                            else $isInstanceOf(u._4, "Unit"))
133+                            then if ($isInstanceOf(u._5, "String"))
134+                                then true
135+                                else $isInstanceOf(u._5, "Unit")
136+                            else false
137+                        else false
138+                    else false
139+                else false)
140+                then if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if ($isInstanceOf(u, "(Unit, Unit, Unit, Unit, Unit)"))
141+                    then true
142+                    else $isInstanceOf(u, "(Unit, Unit, Unit, Unit, String)"))
143+                    then true
144+                    else $isInstanceOf(u, "(Unit, Unit, Unit, Int, Unit)"))
145+                    then true
146+                    else $isInstanceOf(u, "(Unit, Unit, Unit, Int, String)"))
147+                    then true
148+                    else $isInstanceOf(u, "(Unit, Unit, Int, Unit, Unit)"))
149+                    then true
150+                    else $isInstanceOf(u, "(Unit, Unit, Int, Unit, String)"))
151+                    then true
152+                    else $isInstanceOf(u, "(Unit, Unit, Int, Int, Unit)"))
153+                    then true
154+                    else $isInstanceOf(u, "(Unit, Unit, Int, Int, String)"))
155+                    then true
156+                    else $isInstanceOf(u, "(Unit, String, Unit, Unit, Unit)"))
157+                    then true
158+                    else $isInstanceOf(u, "(Unit, String, Unit, Unit, String)"))
159+                    then true
160+                    else $isInstanceOf(u, "(Unit, String, Unit, Int, Unit)"))
161+                    then true
162+                    else $isInstanceOf(u, "(Unit, String, Unit, Int, String)"))
163+                    then true
164+                    else $isInstanceOf(u, "(Unit, String, Int, Unit, Unit)"))
165+                    then true
166+                    else $isInstanceOf(u, "(Unit, String, Int, Unit, String)"))
167+                    then true
168+                    else $isInstanceOf(u, "(Unit, String, Int, Int, Unit)"))
169+                    then true
170+                    else $isInstanceOf(u, "(Unit, String, Int, Int, String)"))
171+                    then true
172+                    else $isInstanceOf(u, "(String, Unit, Unit, Unit, Unit)"))
173+                    then true
174+                    else $isInstanceOf(u, "(String, Unit, Unit, Unit, String)"))
175+                    then true
176+                    else $isInstanceOf(u, "(String, Unit, Unit, Int, Unit)"))
177+                    then true
178+                    else $isInstanceOf(u, "(String, Unit, Unit, Int, String)"))
179+                    then true
180+                    else $isInstanceOf(u, "(String, Unit, Int, Unit, Unit)"))
181+                    then true
182+                    else $isInstanceOf(u, "(String, Unit, Int, Unit, String)"))
183+                    then true
184+                    else $isInstanceOf(u, "(String, Unit, Int, Int, Unit)"))
185+                    then true
186+                    else $isInstanceOf(u, "(String, Unit, Int, Int, String)"))
187+                    then true
188+                    else $isInstanceOf(u, "(String, String, Unit, Unit, Unit)"))
189+                    then true
190+                    else $isInstanceOf(u, "(String, String, Unit, Unit, String)"))
191+                    then true
192+                    else $isInstanceOf(u, "(String, String, Unit, Int, Unit)"))
193+                    then true
194+                    else $isInstanceOf(u, "(String, String, Unit, Int, String)"))
195+                    then true
196+                    else $isInstanceOf(u, "(String, String, Int, Unit, Unit)"))
197+                    then true
198+                    else $isInstanceOf(u, "(String, String, Int, Unit, String)"))
199+                    then true
200+                    else $isInstanceOf(u, "(String, String, Int, Int, Unit)"))
201+                    then true
202+                    else $isInstanceOf(u, "(String, String, Int, Int, String)")
203+                else false)
204+                then {
205+                    let H = u._1
206+                    let I = u._2
207+                    let F = u._3
208+                    let J = u._4
209+                    let K = u._5
210+                    $Tuple5(H, I, F, J, K)
211+                    }
212+                else $Tuple5(unit, toString(value(y)), unit, unit, "UNKNOWN")
213+            })
214+    })
215+
216+
github/deemru/w8io/169f3d6 
29.67 ms ◑