Datum
34f6f0c8deb219…0994542d9c
34f6f0c8deb219699e6703cf53b4fdac7218b5ffae7b82299886540994542d9c
Datum
Constr 0
0
#776eafd36fdb060e1af99d35d2fd3a483bb429f6eb04146633b1f91a
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#56b2a44cb8d1d6c4c0998d9c69ea61ab12f26da6fcc63d98f02a2887
1
Constr 0
0
Constr 0
0
Constr 0
0
#2f357856b64a1c92351656988c16ac3e7a1aae23c830c727c1bee731
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 35000000
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}
#""
→ 7000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#776eafd36fdb060e1af99d35d2fd3a483bb429f6eb04146633b1f91a
1
Constr 0
0
Constr 0
0
Constr 0
0
#1c163636f008cac72311945b0e52d8d7bc564b50f900fc4bc3d8ea7b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 308000000