Datum

23f6dc73abcecc…39eebe7d20

23f6dc73abcecc23ea5b092db0f0edf8f6db9089dace25abe13bd239eebe7d20

Datum

Constr 0

0

#2d01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#856847b00ae6cc06106e31f81a80481cf0fb698be55de08cd52ae698

1

Constr 0

0

Constr 0

0

Constr 0

0

#588b3c6fb03e8e7fba75a5884886605a86e29d161d4d24080be484c9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

1356301734

1

8589000000