Datum

dddef145dd67ab…89ad2b3698

dddef145dd67abb501bf8f247ea51742eab658a978e0a6d3975dda89ad2b3698

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e3a0254c00994f731550f81239f12a60c9fd3ce9b9b191543152ec22

1

Constr 0

0

Constr 0

0

Constr 0

0

#b1bec305ddc80189dac8b628ee0adfbe5245c53b84e678ed7ec23d75

1

Constr 0

0

Constr 0

0

#e3a0254c00994f731550f81239f12a60c9fd3ce9b9b191543152ec22

1

Constr 0

0

Constr 0

0

Constr 0

0

#b1bec305ddc80189dac8b628ee0adfbe5245c53b84e678ed7ec23d75

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

648913713

4

2000000

5

2000000