Datum

5935b03f5b74bb…a16d28ee39

5935b03f5b74bb930ef3aef508e56b1f91fa523328ab2e267d8322a16d28ee39

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#54007dd63152ad9122e7bab424920e99fc9421ab02842f578cbfc909

1

Constr 0

0

Constr 0

0

Constr 0

0

#8e679fcefcc8ae6f8df3951a3534a2859c481eca8a914a3959453e33

1

Constr 0

0

Constr 0

0

#54007dd63152ad9122e7bab424920e99fc9421ab02842f578cbfc909

1

Constr 0

0

Constr 0

0

Constr 0

0

#8e679fcefcc8ae6f8df3951a3534a2859c481eca8a914a3959453e33

2

Constr 1 []

3

Constr 2

0

1

4

1999136

5

2000000