Datum

860e595e68bb59…7417e7ebad

860e595e68bb5950a98aba49addbaade272f8d9183c13a8af0cccd7417e7ebad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1c1dcb12e4737c7ac689815bbdef8dd69983dd2f021857d8afb960e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b6eb780929f13abf66245457950f74a8cb6cdec0355ce5269504f6

1

Constr 0

0

Constr 0

0

#1c1dcb12e4737c7ac689815bbdef8dd69983dd2f021857d8afb960e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b6eb780929f13abf66245457950f74a8cb6cdec0355ce5269504f6

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

420179444

4

2000000

5

2000000