Datum

08bfad2507c58b…424eb76d45

08bfad2507c58bba30f20a6d9d064e4451f47e1e7b946544d5c8f3424eb76d45

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#abfd190bbcaeb411d10a66aad3e1a119321ef4fd2defe5837881329b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f8f2b0d6b12fbeedd22a5381cc8161df864fc13eca7626fda90e0456

1

Constr 0

0

Constr 0

0

#abfd190bbcaeb411d10a66aad3e1a119321ef4fd2defe5837881329b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f8f2b0d6b12fbeedd22a5381cc8161df864fc13eca7626fda90e0456

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

116121068

4

2000000

5

2000000