Datum
a1a18dd7b727fd…bfe1672262
a1a18dd7b727fdc40bb68f4c84baed592c155d045e9feab4160aebbfe1672262
Datum
Constr 0
0
#46f89b46a2beaaea7bf0252ae7629f6b952f9102f1bd3eb334c4b2c7
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#9cfd650f4bb2ba7f33a0f5e52e4b8ec8dbc5de39f811cfcd7f7146e5
1
Constr 0
0
Constr 0
0
Constr 0
0
#643810c84f6868c8d85e88af63000cfa7797213fd4d24b8bfa17a14d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#46f89b46a2beaaea7bf0252ae7629f6b952f9102f1bd3eb334c4b2c7
1
Constr 0
0
Constr 0
0
Constr 0
0
#e8ed96a818e53fc0224a1d3cc4410977054139390a17ab75a9f4491d
1
Map {1}
#42fb97538081f1cba4c19650f011af65d0abff8b01947bc6f860e35d
→ Constr 0
0
0
1
Map {1}
#4e46544e33736f62726572626f6c6573"NFTN3sobrerboles"
→ 1