Datum

254576a4e7ef36…52fcb2160a

254576a4e7ef36ebee91b3eaaaf2193371fe5e891f0381be78f83452fcb2160a

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 0

0

Constr 0

0

#""

1

#""

1

34455482

4

1993407

5

2000000