Datum
84b3f5eb049a6c…3ad77c8564
84b3f5eb049a6c4750a88e68d47f1385cc69a8ecaf9f9926a675013ad77c8564
Datum
Constr 0
0
Constr 0
0
#2795b7b51bdf9be9e61f92f50bf27bf425f80dcb1044d6bc240c1ed0
1
Constr 0
0
Constr 0
0
#2795b7b51bdf9be9e61f92f50bf27bf425f80dcb1044d6bc240c1ed0
1
Constr 0
0
Constr 0
0
Constr 0
0
#c27447265e6d83808fb526614bb6e65fb58de15039bf8e7066253ee6
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#2795b7b51bdf9be9e61f92f50bf27bf425f80dcb1044d6bc240c1ed0
1
Constr 0
0
Constr 0
0
Constr 0
0
#c27447265e6d83808fb526614bb6e65fb58de15039bf8e7066253ee6
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#9b65707373c4cec488b16151a64d7102dbae16857c500652b5c513650b8d604e
6
Constr 0
0
Constr 1 []
1
Constr 0
0
571326
2
334150
3
Constr 0 []
7
2000000
8
Constr 1 []