Datum

f97a67e30d71f6…975b798f83

f97a67e30d71f626e092dfe699d4e473ce176b90a7b1a2c35844ce975b798f83

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d1d956e909f15da668d084127139faedff4826468824578825523fc7

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b5ef6d5c74fb5d22c0504f3395bbc87b3999195b3a7447b15ec321a

1

Constr 0

0

Constr 0

0

#d1d956e909f15da668d084127139faedff4826468824578825523fc7

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b5ef6d5c74fb5d22c0504f3395bbc87b3999195b3a7447b15ec321a

2

Constr 1 []

3

Constr 3

0

189135149

1

107790378877

4

1999341

5

2000000