Datum

b6fe97a78e3fdf…4c15d18ccc

b6fe97a78e3fdf2ca8ddcd97ce030d6641ce852c14b07ff0ce33754c15d18ccc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8bf29d81129e253661346fc72b817a029ce585ed3985fd7f6d48ca47

1

Constr 0

0

Constr 0

0

Constr 0

0

#b7a0a8ad253ae1c9fa380c2ef3d4f7a8deddd3eaf239dfb67ebf2380

1

Constr 0

0

Constr 0

0

#8bf29d81129e253661346fc72b817a029ce585ed3985fd7f6d48ca47

1

Constr 0

0

Constr 0

0

Constr 0

0

#b7a0a8ad253ae1c9fa380c2ef3d4f7a8deddd3eaf239dfb67ebf2380

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

251918426

4

2000000

5

2000000