Datum

22cd198220a777…074bed756e

22cd198220a777ab002cf0a6c1d363f13bce426bfddd58cbfed259074bed756e

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#667feef12fd0723b58bd237ba4d869e00e899a9411e04e92700587ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#1f886b29fb0381fe7145127ff4ed45838107a5120a9cabb1af4a5003

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

937866005