Datum

5aff6ce4ae2600…cf73cccccc

5aff6ce4ae260057af7da007656dd8d0dcdb5e5c7960bc13dda495cf73cccccc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#74c188ca1c1756275acefccb255a0fc93d004a6ca2719a55fe76ba59

1

Constr 0

0

Constr 0

0

Constr 0

0

#90fd5e9d429ee7edc4a5a061d88c48494e6f01185328872f64e907dd

1

Constr 0

0

Constr 0

0

#74c188ca1c1756275acefccb255a0fc93d004a6ca2719a55fe76ba59

1

Constr 0

0

Constr 0

0

Constr 0

0

#90fd5e9d429ee7edc4a5a061d88c48494e6f01185328872f64e907dd

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

115038640

4

2000000

5

2000000