Datum

8e572f5ecf51db…992dc59f87

8e572f5ecf51dbf7a008db97db85911ff27934c2bcab797c486d90992dc59f87

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a899bc44776965fc83d8d2c5ada95f22d08ef6de17bf12b558ab9f56

1

Constr 0

0

Constr 0

0

Constr 0

0

#b297dd932ba109c09287b4df30ef3dd2c3f6480b37aeeec1fa20d33f

1

Constr 0

0

Constr 0

0

#a899bc44776965fc83d8d2c5ada95f22d08ef6de17bf12b558ab9f56

1

Constr 0

0

Constr 0

0

Constr 0

0

#b297dd932ba109c09287b4df30ef3dd2c3f6480b37aeeec1fa20d33f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

108165600

4

2000000

5

2000000