Datum
b326475f93ad79…b97baaaa06
b326475f93ad7906ceb8c7b8e4a81e15408876d8b50a96649b2e9cb97baaaa06
Datum
Constr 0
0
#bac893bb89661d7d38d2c4c148e75e81fee0355bdf4e535282a93197
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#bf53e8c3f6c945c6451e624edf831588aba6a96c5b563ce24fff9bd5
1
Constr 0
0
Constr 0
0
Constr 0
0
#4b1cf7b271391b5b5c193ccaa0174e10deafdcd3c7a4a11a15e8b0cf
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2180000
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}
#""
→ 2180000
2
Constr 0
0
Constr 0
0
Constr 0
0
#bac893bb89661d7d38d2c4c148e75e81fee0355bdf4e535282a93197
1
Constr 0
0
Constr 0
0
Constr 0
0
#714403c7b1fa87575e9eba066bebdc01a0fd8f652d3f63b93e8d644e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 104640000