Datum

792d438962fee1…05c8a63c61

792d438962fee1b75979cbe1f9fa7b33fe1ccb3d952ef08809635f05c8a63c61

Datum

Constr 0

0

#4b

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#9ed7195a5d0073d4367244c0e99c19f78d1d295dbbd59086eb0251ae

1

Constr 0

0

Constr 0

0

Constr 0

0

#ec8e30c015a0e6cbdc679811fa9d74decd801b4c4ea72cf417ee45aa

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

4600000000

2

Constr 0

0

11854478