Datum

71d82ba456730f…8e3bd414a6

71d82ba456730fdc88d89fe5f10189a4fb4c39dda83604e012e4e58e3bd414a6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4681e2453a5fe04fd654158bae96df729aa86070bf8ded118436ccfe

1

Constr 0

0

Constr 0

0

Constr 0

0

#f9f10ea8393d41144d56bb1dcc9568ca68897d5384d43fbda8d6dfc0

1

Constr 0

0

Constr 0

0

#4681e2453a5fe04fd654158bae96df729aa86070bf8ded118436ccfe

1

Constr 0

0

Constr 0

0

Constr 0

0

#f9f10ea8393d41144d56bb1dcc9568ca68897d5384d43fbda8d6dfc0

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

480126695

4

2000000

5

2000000