Datum
8fcff7dcd29ff6…3a4233c4be
8fcff7dcd29ff640cd630fa570f6c5fcdacd78ed1e0af9a4814bab3a4233c4be
Datum
Constr 0
0
#1c6a87dc8b33e09e4750c4aae8b88fbe12822185638b8c0977938297
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#da3c87b9b7e48a5b7e2a5bcad081486acec53c17fa6137d9fa28ef68
1
Constr 0
0
Constr 0
0
Constr 0
0
#c61ee82b379ac9b19d5bdbcc6e2d8cfbb43dedd032cf0bbd564c4b4e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 13600000
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}
#""
→ 5440000
2
Constr 0
0
Constr 0
0
Constr 0
0
#1c6a87dc8b33e09e4750c4aae8b88fbe12822185638b8c0977938297
1
Constr 0
0
Constr 0
0
Constr 0
0
#f125105875c6d0af97e46382401b57f6d4ee27f42180113f06823643
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 252960000