Datum

3b5b8dbc416ab7…a3f3ea3ea3

3b5b8dbc416ab7c5e46e736042e6fdafb57278104feb6e95823171a3f3ea3ea3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ee95171845bec31a184e8968bf1aa5378d531d58a8e378b5c603070b

1

Constr 0

0

Constr 0

0

Constr 0

0

#a65bc68cfc5f90a451c59becaace4def905a793e0068b7198773d632

1

Constr 0

0

Constr 0

0

#ee95171845bec31a184e8968bf1aa5378d531d58a8e378b5c603070b

1

Constr 0

0

Constr 0

0

Constr 0

0

#a65bc68cfc5f90a451c59becaace4def905a793e0068b7198773d632

2

Constr 1 []

3

Constr 2

0

1

4

1995382

5

2000000