Datum

2f65440343ef7f…fd174ad57d

2f65440343ef7fbe24d769e06b963f66d2f8adaab54e9701d94778fd174ad57d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#245e3ffdc1022028fa125c2c3cde5e2bd48d249c3606b0b5c7748649

1

Constr 0

0

Constr 0

0

Constr 0

0

#dfeb1217516def13f9f6b372eaf9d18b422764bee7d218abe4fcd56a

1

Constr 0

0

Constr 0

0

#245e3ffdc1022028fa125c2c3cde5e2bd48d249c3606b0b5c7748649

1

Constr 0

0

Constr 0

0

Constr 0

0

#dfeb1217516def13f9f6b372eaf9d18b422764bee7d218abe4fcd56a

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

25457243

4

2000000

5

2000000