Datum
d0b5cf7337aba7…5d258cfcff
d0b5cf7337aba756b0a3ea904987e0f9704ed5e3f2d95b69e2ebb05d258cfcff
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#b7741dc3e3bbdff56929f524b26b2f01c1755a3ef92380710ec77a1c
1
Constr 0
0
Constr 0
0
Constr 0
0
#f8d63d1dd192193b4f6aeab329d73f33b9c1053cdb9f25c9881bd579
1
Constr 0
0
Constr 0
0
#b7741dc3e3bbdff56929f524b26b2f01c1755a3ef92380710ec77a1c
1
Constr 0
0
Constr 0
0
Constr 0
0
#f8d63d1dd192193b4f6aeab329d73f33b9c1053cdb9f25c9881bd579
2
Constr 1 []
3
Constr 2
0
1
4
1998122
5
2000000