Datum

695c6db6e3f3e6…cfe79cefbb

695c6db6e3f3e64c1633cffefee75199e61e78734a7828b8edc31ecfe79cefbb

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

360836711

1

153185

4

1992139

5

2000000