Datum

6f0dbb27e8e202…2cc20edb90

6f0dbb27e8e202b83dbc9317faa5e6231dd1e862bedff6f70b24922cc20edb90

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#06a5a735345455cc3e59f7c844fbe301737244c6379a2add69d54b57

1

Constr 0

0

Constr 0

0

Constr 0

0

#e9f59fe73276208e42fd5bfd854c51e374079281ebad70caa7287661

1

Constr 0

0

Constr 0

0

#06a5a735345455cc3e59f7c844fbe301737244c6379a2add69d54b57

1

Constr 0

0

Constr 0

0

Constr 0

0

#e9f59fe73276208e42fd5bfd854c51e374079281ebad70caa7287661

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

17028117

4

2000000

5

2000000