Datum

ea97def9203dae…e7c52880d7

ea97def9203dae92d8f4070b954eecdceeec800d8a1b8670dd90d1e7c52880d7

Datum

Constr 0

0

#a104

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#99ce2d9e89c8909afca8cd694e9b5cf0e96380da95d914ca0b9ad8b4

1

Constr 0

0

Constr 0

0

Constr 0

0

#89b82df6dab932e3d461839ea6fd90ef43acd8d06915a43ea172be38

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

8619642