Datum

320e4a5d09d7d7…ed0ef9ed2f

320e4a5d09d7d70b90aa01ceacd0eee5defaf7a3a9025cbe0ba255ed0ef9ed2f

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#49a7c337812f5eb8c4b1789e65a138aac98a440b29f21eaa892bb2ac

1

Constr 0

0

Constr 0

0

Constr 0

0

#c9b92c55212e331074bd1223fb2c021619ed98f315b4e63de4c048da

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

120000000000

2

Constr 0

0

48518727