Datum
682a6039d17a9b…fb5aa3d99a
682a6039d17a9b09a5fee31893d05ea918f6bbcf3c69cd72d20a0dfb5aa3d99a
Datum
Constr 0
0
#705ba612a02fd5e18fd12c9555ff74c9c420b9f51339a6ecec9b9e04
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#870500ef75edfbe725b9eef1ad6cefc0c67cc573dfefcd86329f79b4
1
Constr 0
0
Constr 0
0
Constr 0
0
#53d6477afeb18eea87d79b3225e3ac7e33285735bdeee2aabffe654d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3000000
1
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}
#""
→ 1200000
2
Constr 0
0
Constr 0
0
Constr 0
0
#705ba612a02fd5e18fd12c9555ff74c9c420b9f51339a6ecec9b9e04
1
Constr 0
0
Constr 0
0
Constr 0
0
#97d5f0ff2812a3adba94ad0de7b88b9fc675e1f6cdb099cd5efc652f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 55800000