Datum

9c0dedbbf230f4…7543544fad

9c0dedbbf230f4882ba35d2bb19f73efea0ffb5830130ebdc74a9e7543544fad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b01f0c44e67df1b4b6554d0e86a6b3d2529cdabb099bb8cba9af32f9

1

Constr 0

0

Constr 0

0

Constr 0

0

#1b02e3b713d60bea3658a3993bb73437a84b5379d092882c66558c5a

1

Constr 0

0

Constr 0

0

#b01f0c44e67df1b4b6554d0e86a6b3d2529cdabb099bb8cba9af32f9

1

Constr 0

0

Constr 0

0

Constr 0

0

#1b02e3b713d60bea3658a3993bb73437a84b5379d092882c66558c5a

2

Constr 1 []

3

Constr 2

0

1

4

1997514

5

2000000