Datum
fffb93a91e1126…afc73fe78f
fffb93a91e11264f9381c3bbae3aadb9e2cdd2b6f7aab824676b57afc73fe78f
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#56871dd9878d794e25bcc8f021f8d85dc49fea34f361e846b4b0c3f6
1
Constr 0
0
Constr 0
0
Constr 0
0
#1d78dfacbe094e520e202c63c8c4cf73045d0a34bbe7e230a7123c57
1
Constr 0
0
Constr 0
0
#56871dd9878d794e25bcc8f021f8d85dc49fea34f361e846b4b0c3f6
1
Constr 0
0
Constr 0
0
Constr 0
0
#1d78dfacbe094e520e202c63c8c4cf73045d0a34bbe7e230a7123c57
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#5f3ef7d0f18403b4f0608f4c860e6f1010872c98606148498c0418a8
1
#0014df1044495254
1
178623776
4
2000000
5
2000000