Datum

a0fe43bf2a358d…91b7e88f73

a0fe43bf2a358defe3674f105546d28cfe243748cd57b6287ec95c91b7e88f73

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6f0ef193495ab39e1685c3ed2eb4b855ec143a2146cd779eac2b1e02

1

Constr 0

0

Constr 0

0

Constr 0

0

#46f23a6d49167127e65d80caf537d01cdf544a39a8bca9d1fc5bdc82

1

Constr 0

0

Constr 0

0

#6f0ef193495ab39e1685c3ed2eb4b855ec143a2146cd779eac2b1e02

1

Constr 0

0

Constr 0

0

Constr 0

0

#46f23a6d49167127e65d80caf537d01cdf544a39a8bca9d1fc5bdc82

2

Constr 1 []

3

Constr 3

0

119658168

1

157862569760

4

1999419

5

2000000