Datum

cd57c79bf14068…0322ea1172

cd57c79bf140687f6c8a978ddea3a6d95b52ef490fc040dc5820f80322ea1172

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4d3939524688bd34ca5cb449bdd10383d0aa79f40e2f330d3f217a36

1

Constr 0

0

Constr 0

0

Constr 0

0

#9badbee36c8c4c0e0f47e08d32b3e409e182167cf00accf52c042bde

1

Constr 0

0

Constr 0

0

#4d3939524688bd34ca5cb449bdd10383d0aa79f40e2f330d3f217a36

1

Constr 0

0

Constr 0

0

Constr 0

0

#9badbee36c8c4c0e0f47e08d32b3e409e182167cf00accf52c042bde

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

164802956

4

2000000

5

2000000