Datum
6d8064d0e2d457…86be06fddc
6d8064d0e2d4579eaaf04c9ee7803f96fad3fd677cd2d0705de42086be06fddc
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#fa7c1e2edb663004141d99a20dd8a44def94c18cc79d8e06dbf460e2
1
Constr 0
0
Constr 0
0
Constr 0
0
#b1ca10f808fcec5900c380b36ed58d02fb4655375dbdaac47039d4cc
1
Constr 0
0
Constr 0
0
#fa7c1e2edb663004141d99a20dd8a44def94c18cc79d8e06dbf460e2
1
Constr 0
0
Constr 0
0
Constr 0
0
#b1ca10f808fcec5900c380b36ed58d02fb4655375dbdaac47039d4cc
2
Constr 1 []
3
Constr 3
0
285779598
1
36187301975
4
1994001
5
2000000