Datum

7cc653fd68728b…c151cdd91e

7cc653fd68728bc8b5284fe1e62707edec0aab36eed43c511ebf19c151cdd91e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c5b7d4e8597714c8812ada60ea8c0835ea1e8c5c812eeb97b453f422

1

Constr 0

0

Constr 0

0

Constr 0

0

#81b50e59f27105a8cc21d8518dc421ed2c9753fdc072ac084af5e205

1

Constr 0

0

Constr 0

0

#c5b7d4e8597714c8812ada60ea8c0835ea1e8c5c812eeb97b453f422

1

Constr 0

0

Constr 0

0

Constr 0

0

#81b50e59f27105a8cc21d8518dc421ed2c9753fdc072ac084af5e205

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

641871376

4

2000000

5

2000000