Datum
36128b8a16f57f…bc30ae89f2
36128b8a16f57f6e801faeb1c3cbea5bb2f0ea96292f6d1ac991fdbc30ae89f2
Datum
Constr 0
0
#e3bd24b9a22a08ec4b427b855f0101a25aecb3900df1f4e9f23e71ea
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}
#""
→ 5780000
1
Constr 0
0
Constr 0
0
Constr 0
0
#e54f7f647be4ef6ed1539e8d48a9738f21342dd7d26fa374777190f6
1
Constr 0
0
Constr 0
0
Constr 0
0
#9ee2679d51d1458ab2bf414908c791ad13132f2a40fa61bf4a5db70a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 14450000
2
Constr 0
0
Constr 0
0
Constr 0
0
#e3bd24b9a22a08ec4b427b855f0101a25aecb3900df1f4e9f23e71ea
1
Constr 0
0
Constr 0
0
Constr 0
0
#0ad8bb7fb61024d00916855c9745c7c00aca42fc1eaf2289c3508000
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 268770000