Datum

ba8f2fea26103f…85b3f914b3

ba8f2fea26103fd4d648ce78698221e85d68db472bf7a5a4aa081885b3f914b3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#372eb39c4f23c0ef3596ef4601c12ec0228b4f1303602b93ed420290

1

Constr 0

0

Constr 0

0

Constr 0

0

#253b59c5ada8eceb66f9d13505b01fffd15216ace9a68de9f0c34d10

1

Constr 0

0

Constr 0

0

#372eb39c4f23c0ef3596ef4601c12ec0228b4f1303602b93ed420290

1

Constr 0

0

Constr 0

0

Constr 0

0

#253b59c5ada8eceb66f9d13505b01fffd15216ace9a68de9f0c34d10

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

260660579

4

2000000

5

2000000