Datum

3f3e98f7226e4e…07c80be96d

3f3e98f7226e4efecc81d34dc3b18535f97d7bbc5f8d5983ed978f07c80be96d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0716fa849796714462521ccbbf7260785f2bd13a1be045da686b019f

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab33368e4e4c935f81a3c575a0616ec45970cc7e898188dca29e4080

1

Constr 0

0

Constr 0

0

#0716fa849796714462521ccbbf7260785f2bd13a1be045da686b019f

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab33368e4e4c935f81a3c575a0616ec45970cc7e898188dca29e4080

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

689877543

4

2000000

5

2000000