Datum

3c94be0f597fe6…a0c20f0e35

3c94be0f597fe6dc65dfedfaaae6fd325e1a83cb9e04a5d8a2ffb4a0c20f0e35

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#09575db3a66d29e820a464f9a5784aa42e3efd96396413c15d5a1160

1

Constr 0

0

Constr 0

0

Constr 0

0

#e8278d25622655382e5ee1092de6994ab24cda1262c96bdf8631d4ec

1

Constr 0

0

Constr 0

0

#09575db3a66d29e820a464f9a5784aa42e3efd96396413c15d5a1160

1

Constr 0

0

Constr 0

0

Constr 0

0

#e8278d25622655382e5ee1092de6994ab24cda1262c96bdf8631d4ec

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

145625592

4

1983962

5

2000000