Datum

896389f50f2d7e…4eae5845cc

896389f50f2d7e8e0472347440dbf8dafedcb8766f17136f5619ba4eae5845cc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#acc03ef306afc3b03a04c06055fe1e5d0cfa89e36ce3c0c415b07b82

1

Constr 0

0

Constr 0

0

Constr 0

0

#5519fb4fe793aec35168be6c0f317f04cec22fe519105a8b75ebfa13

1

Constr 0

0

Constr 0

0

#acc03ef306afc3b03a04c06055fe1e5d0cfa89e36ce3c0c415b07b82

1

Constr 0

0

Constr 0

0

Constr 0

0

#5519fb4fe793aec35168be6c0f317f04cec22fe519105a8b75ebfa13

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

314361293

4

2000000

5

2000000