Datum
aa3257560d174f…dffc38ad87
aa3257560d174fc92fff65a423343eecbcdfa402779cc0c6f29d62dffc38ad87
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#978eed0a14248482549998d367b0223708bce6ea621e7227b10548d3
1
Constr 0
0
Constr 0
0
Constr 0
0
#f9ec9ec48c0da097daa19ef466eaaaecb43a8581b6d2a79891a48e0f
1
Constr 0
0
Constr 0
0
#978eed0a14248482549998d367b0223708bce6ea621e7227b10548d3
1
Constr 0
0
Constr 0
0
Constr 0
0
#f9ec9ec48c0da097daa19ef466eaaaecb43a8581b6d2a79891a48e0f
2
Constr 1 []
3
Constr 3
0
1
1
1
4
1999962
5
2000000