Datum

8fe400a9f75702…d580c50e67

8fe400a9f757020635adb80feaf8e981082cef1fe174d0bf33e603d580c50e67

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b6a6b8948672aeae2474d40d95a8e3a2d9f816adce9e06d373ae81ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#4aefac854244d9a73d200cd99a346b680f3058f463a65cfefe048b30

1

Constr 0

0

Constr 0

0

#b6a6b8948672aeae2474d40d95a8e3a2d9f816adce9e06d373ae81ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#4aefac854244d9a73d200cd99a346b680f3058f463a65cfefe048b30

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

552193445

4

1971954

5

2000000