Datum

da579426973ac5…f33ff769dd

da579426973ac514d8ade5c42b1aefa412be034656cfa21cc65caff33ff769dd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#82c2bdf77c77795ef331b798b4a4f20ee14a957983a01881cd36cb4b

1

Constr 0

0

Constr 0

0

Constr 0

0

#47f30b1b39f085643860f75d31909e3d96eab188be6bab0094e0a7b4

1

Constr 0

0

Constr 0

0

#82c2bdf77c77795ef331b798b4a4f20ee14a957983a01881cd36cb4b

1

Constr 0

0

Constr 0

0

Constr 0

0

#47f30b1b39f085643860f75d31909e3d96eab188be6bab0094e0a7b4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

540152562

4

2000000

5

2000000