Datum

dae71962bfd30b…5d040cc83b

dae71962bfd30b5b4d179dcfb9daf59d434eaedf8585fcec7b99f65d040cc83b

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4661e7679d4099b944f5a23a3584a0f534a5e16d26b67e63428894c9

1

Constr 0

0

Constr 0

0

Constr 0

0

#691ab6a8b6ef9f4241ade58a8366a0d830fee20810671b1c1158de03

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1227883168

2

Constr 0

0

72331089