Datum

5d3c845ce579b6…c6048e1ce0

5d3c845ce579b6801d0f82c5630202727399f25dcddb438c24f39ec6048e1ce0

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#9456b560477e9e78e6ff305a316d93f503ddfbd5a42eb38b995b0ae0

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c715059e566d392d9c6cd9e2ffa061ea96b366ae4b2895781d81fec

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

5000000000

2

Constr 0

0

1178979509