Datum

d44129d089f341…4c8aa2eff0

d44129d089f34147ae377ae75f70523a83a59370a19231c178ebd64c8aa2eff0

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#253ec0007e977464449cafa0a37c5207769ad60c1215243afc544d25

1

Constr 0

0

Constr 0

0

Constr 0

0

#ae3adcca8d1a62726d4a0b9951fe6b3a648986fee356521a989f962e

1

Constr 0

0

Constr 0

0

#253ec0007e977464449cafa0a37c5207769ad60c1215243afc544d25

1

Constr 0

0

Constr 0

0

Constr 0

0

#ae3adcca8d1a62726d4a0b9951fe6b3a648986fee356521a989f962e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5981807

4

2000000

5

2000000