Datum

afa2eec4e95e3f…537cb2ab89

afa2eec4e95e3f5466922a8c62d4de968ecb9a31702909f0271408537cb2ab89

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f5df1a7adbfb10b9861c5a3e1e989c387937a989ff00bcfb97affcc6

1

Constr 0

0

Constr 0

0

Constr 0

0

#1899da2986ed83165ae91f0c8f13f459c93bacda9502952c4c2da731

1

Constr 0

0

Constr 0

0

#f5df1a7adbfb10b9861c5a3e1e989c387937a989ff00bcfb97affcc6

1

Constr 0

0

Constr 0

0

Constr 0

0

#1899da2986ed83165ae91f0c8f13f459c93bacda9502952c4c2da731

2

Constr 1 []

3

Constr 3

0

79690445

1

338731391

4

1979261

5

2000000