Datum

9db3e23affb22a…2f2ff16b0d

9db3e23affb22aab14126c6cbd2c347435d5d88bad4de41b1a771f2f2ff16b0d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c31eb847ed7e00b5f5fafa83d906c19183623449f112dc1f10b06120

1

Constr 0

0

Constr 0

0

Constr 0

0

#f85c9597631f3f537bd256ae4b67832a5139127fdc06ac91bbf16ba8

1

Constr 0

0

Constr 0

0

#c31eb847ed7e00b5f5fafa83d906c19183623449f112dc1f10b06120

1

Constr 0

0

Constr 0

0

Constr 0

0

#f85c9597631f3f537bd256ae4b67832a5139127fdc06ac91bbf16ba8

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

421876569

4

1998538

5

2000000