Datum

0df3c840a19517…fd402dcf8f

0df3c840a1951736f4e4610c6ea599fcaae461107f1117efdd617cfd402dcf8f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5eb471e0ed58c4b0b969e5eeccde2577c9f50714ccfe85ba47aed60d

1

Constr 0

0

Constr 0

0

Constr 0

0

#3e2edca1fd4d4f846b16c1448236b1440a234d02debf542daf8d9279

1

Constr 0

0

Constr 0

0

#5eb471e0ed58c4b0b969e5eeccde2577c9f50714ccfe85ba47aed60d

1

Constr 0

0

Constr 0

0

Constr 0

0

#3e2edca1fd4d4f846b16c1448236b1440a234d02debf542daf8d9279

2

Constr 1 []

3

Constr 1

0

Constr 0

0

#""

1

#""

1

100000000

4

1993407

5

2000000