Datum
f1df3b0c235a14…bbffdffc0c
f1df3b0c235a14873fa1781f9c4cc9572db6bf0ce6084047d88447bbffdffc0c
Datum
Constr 0
0
#539b7fbc200bb9f61e02aaa8007c534bc20dcce1f2460029c1518e8e
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#fec506640416d18b2f3f1a8da06764c66afb388c04f9552ce8e23132
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#539b7fbc200bb9f61e02aaa8007c534bc20dcce1f2460029c1518e8e
1
Constr 0
0
Constr 0
0
Constr 0
0
#2c5a2d3007005968b5c628fdb64d8f348c507137a751397f1e2ca2c4
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 44000000