Datum

8c1e5c23d72cd5…96ce15bd16

8c1e5c23d72cd59613cfd3958d0e6d8cd5b18dfe36fd5c3e8a632d96ce15bd16

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7f7a469b7606503d653dfd8fdc8698d2fc225276a4ededa8c4b2785f

1

Constr 0

0

Constr 0

0

Constr 0

0

#1920ba3c86ac599c5be19decf193d492abb7499e826a8b5dab83ed9f

1

Constr 0

0

Constr 0

0

#7f7a469b7606503d653dfd8fdc8698d2fc225276a4ededa8c4b2785f

1

Constr 0

0

Constr 0

0

Constr 0

0

#1920ba3c86ac599c5be19decf193d492abb7499e826a8b5dab83ed9f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

50016566

4

2000000

5

2000000