Datum
d07b38526339f7…7dff80dd3b
d07b38526339f78a79c0b5b4f8e540a7d5bc8f0e033d63fab8bfb37dff80dd3b
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#6c1711a94d6ffa792d69c3198f3df6e65367bfef0e80bcc763ea2bd7
1
Constr 0
0
Constr 0
0
Constr 0
0
#bc659354ea23ae2168bdc3c07a965837d109c7713b1f21a3b71c8166
1
Constr 0
0
Constr 0
0
#6c1711a94d6ffa792d69c3198f3df6e65367bfef0e80bcc763ea2bd7
1
Constr 0
0
Constr 0
0
Constr 0
0
#bc659354ea23ae2168bdc3c07a965837d109c7713b1f21a3b71c8166
2
Constr 1 []
3
Constr 3
0
207624725
1
3059519678
4
1996421
5
2000000