Datum
11c32edc61d44d…96db592cf6
11c32edc61d44df63c4a2b47e1cb4f24715fb9ae5159c19d9be3e296db592cf6
Datum
Constr 0
0
#f4c8e4aedc86fa8ee5b0be7c734c345537a4b7ab5e913085252ba099
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}
#""
→ 2980000
1
Constr 0
0
Constr 0
0
Constr 0
0
#faf087d844c938c6fb7cb791764f607093d8871a176c2dc6f9712054
1
Constr 0
0
Constr 0
0
Constr 0
0
#b192289854c858c30a5f3c7312c7c06d89f747d171401bcf2627f714
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 10430000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f4c8e4aedc86fa8ee5b0be7c734c345537a4b7ab5e913085252ba099
1
Constr 0
0
Constr 0
0
Constr 0
0
#517de1eeba42a20496395a0d636ef559e2cbabd3bd64f05d3b0330eb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 135590000