Datum

e0fb8a999c8100…a07e0217bb

e0fb8a999c8100498be248e9f0013627ea68d56ddf1c78db69a512a07e0217bb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2affd2ad6bace55408c71685dc6d4e90509c6a4384a714cec973bd5b

1

Constr 0

0

Constr 0

0

Constr 0

0

#a128b9c9fe73a7430f3894528d6049afd8d9351dd2a12108ef534971

1

Constr 0

0

Constr 0

0

#2affd2ad6bace55408c71685dc6d4e90509c6a4384a714cec973bd5b

1

Constr 0

0

Constr 0

0

Constr 0

0

#a128b9c9fe73a7430f3894528d6049afd8d9351dd2a12108ef534971

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

121629578

4

2000000

5

2000000