Datum

ce40e3a6a48368…ae2933a35d

ce40e3a6a48368c64f0adbb3effbde16c0662a7048ba01fe6dc232ae2933a35d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d76dc591a65d44971699ac7d6bdbd181e8e922c4ebbd1b030ad7f23b

1

Constr 0

0

Constr 0

0

Constr 0

0

#d00cc78ec0fb17285216900ff7786505d230c621aeb029ec7cfa15ac

1

Constr 0

0

Constr 0

0

#d76dc591a65d44971699ac7d6bdbd181e8e922c4ebbd1b030ad7f23b

1

Constr 0

0

Constr 0

0

Constr 0

0

#d00cc78ec0fb17285216900ff7786505d230c621aeb029ec7cfa15ac

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

145997936

4

2000000

5

2000000