Datum
e132e19e6b94d3…ed61a09e1c
e132e19e6b94d35c1bf0f2e968de9b374356414e3417eff0a45407ed61a09e1c
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#4b19e893b0236f4e8f3ed5ff03090a89b112761601656ec20d249b8e
1
Constr 1 []
1
Constr 0
0
Constr 0
0
#4b19e893b0236f4e8f3ed5ff03090a89b112761601656ec20d249b8e
1
Constr 1 []
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
148243720
4
2000000
5
2000000