Datum

ed3eff042bfdaf…b8cec27e12

ed3eff042bfdaf4feecb515ee136544b96f1f1b3e90fb305adf0dab8cec27e12

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7ccb7a33d4faa66ee7fccb68afcd04eb36ef6e18a45e07df4284febc

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe1d18e0a9bf243558a307d875e76e62c447871183408e41e9291c52

1

Constr 0

0

Constr 0

0

#7ccb7a33d4faa66ee7fccb68afcd04eb36ef6e18a45e07df4284febc

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe1d18e0a9bf243558a307d875e76e62c447871183408e41e9291c52

2

Constr 1 []

3

Constr 3

0

10517718862

1

109641437702

4

1512451

5

2000000