Datum
6f6af28d7da3de…0d7661c8ee
6f6af28d7da3def57fd1fa8a24e2ca51c98b8173de6ae95d4544b20d7661c8ee
Datum
Constr 0
0
#f56e97366bcdcef93216216fc3647c28ae19fb23782f829b5091ffcc
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#2a2c523f936cc6e7e717d09b5b262cad5a6afd146b6dcde7f61787a9
1
Constr 0
0
Constr 0
0
Constr 0
0
#b1485ce1390fd0b6cc15acf596271e4b64ffee7a344737c16fab7174
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 6625000
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}
#""
→ 5300000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f56e97366bcdcef93216216fc3647c28ae19fb23782f829b5091ffcc
1
Constr 0
0
Constr 0
0
Constr 0
0
#127e7669d8e6c49c7276edb1de2c948831e967aee9608a1a0e3c3d10
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 253075000