Datum

42cc9feccc76f2…20a9042acc

42cc9feccc76f2feaa8653f2f160aae7a889778b62244becbaf12c20a9042acc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1906483be94cd50cc417edef8e0862271b8582807c340b02a8636eef

1

Constr 0

0

Constr 0

0

Constr 0

0

#d6cbfdb0933002c77b58391d2a01ee51e4d4e3dec1d9a09d6570e7fe

1

Constr 0

0

Constr 0

0

#1906483be94cd50cc417edef8e0862271b8582807c340b02a8636eef

1

Constr 0

0

Constr 0

0

Constr 0

0

#d6cbfdb0933002c77b58391d2a01ee51e4d4e3dec1d9a09d6570e7fe

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

35143361

4

2000000

5

2000000