Datum

6e20cfc8e97ef7…4151abe588

6e20cfc8e97ef7eb7d1d9f4ff19d00aac6df04986d7de3794308644151abe588

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#63ff16ed0b3b904e7b6da17d8ebb0c9869f700340baf5b375d7545ad

1

Constr 0

0

Constr 0

0

Constr 0

0

#4d9bc45e5d191e408941d18dbbac1d7ca737eb82134d12da3d28c950

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

128105

2

Constr 0

0

770072380