Datum
84780232c6a9e4…a3a32f7e7a
84780232c6a9e4a7bc792bddffc9d136aa497d03a53fd7a892f18ea3a32f7e7a
Datum
Constr 0
0
#85657294aceb13d9d1eedd5bcdfe13c2e7b3dfa7be3642aba95f599d
1
List [2]
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}
#""
→ 12000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#85657294aceb13d9d1eedd5bcdfe13c2e7b3dfa7be3642aba95f599d
1
Constr 0
0
Constr 0
0
Constr 0
0
#c62fa68b61650aa34883eff8171d5ee84f9122ae896eebd6eec48f8b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 588000000