Datum

8e0aea11264ae0…659fc0eb0b

8e0aea11264ae084b0918aeb4b7f6b3d7a01f7593b0e9b7bc5861e659fc0eb0b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#efffc3915aa9862be7c8740fe82aad990df11a87519f4406b31a5304

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ea1429e269d8e176ccf89d147835d19f5f27ead27fd2268a796ee10

1

Constr 0

0

Constr 0

0

#efffc3915aa9862be7c8740fe82aad990df11a87519f4406b31a5304

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ea1429e269d8e176ccf89d147835d19f5f27ead27fd2268a796ee10

2

Constr 1 []

3

Constr 2

0

1

4

1995626

5

2000000