Datum

bbf546f29fe6fe…98ba96b4c0

bbf546f29fe6fe7e4686ff1a81b4e256af35b1d6d27ed9eb20cd3698ba96b4c0

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3ed325a0e107f759e1477abfd85b290d07015fb5baa566b8403b7b5b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b9b4a97fe0d4125dc1847b7e9b3994737f1de1d696a303de842dee

1

Constr 0

0

Constr 0

0

#3ed325a0e107f759e1477abfd85b290d07015fb5baa566b8403b7b5b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b9b4a97fe0d4125dc1847b7e9b3994737f1de1d696a303de842dee

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

23905437

4

2000000

5

2000000