Datum

6ca92dc0e1ef1d…c8e1baca91

6ca92dc0e1ef1d460c4762ddf7ab794e09640cedfc35a89c99f1eec8e1baca91

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a6fd9393b343f3fad374afddcd79eecee7656eaaf1d1e791561ac0a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#f42c258ed9c8874de1748cda7bf3039dd518646089224d70d1eff2b8

1

Constr 0

0

Constr 0

0

#a6fd9393b343f3fad374afddcd79eecee7656eaaf1d1e791561ac0a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#f42c258ed9c8874de1748cda7bf3039dd518646089224d70d1eff2b8

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000