Datum

d9b02ff07fa3a0…a472d61683

d9b02ff07fa3a045b25a2494544b3bbd1760c9fee4d1bbc64a4b46a472d61683

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f37472b9f5ad12b1931981ebf318f0fc6c1fa0e412f4b7d618b9120f

1

Constr 0

0

Constr 0

0

Constr 0

0

#e45963286cad2c1a9df0588c6d7f089bc643d246ee91475a3908b3ac

1

Constr 0

0

Constr 0

0

#f37472b9f5ad12b1931981ebf318f0fc6c1fa0e412f4b7d618b9120f

1

Constr 0

0

Constr 0

0

Constr 0

0

#e45963286cad2c1a9df0588c6d7f089bc643d246ee91475a3908b3ac

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

14165033145

4

2000000

5

2000000