Datum

d5257ebed33dbd…ee50daae24

d5257ebed33dbd40d0e181ec1b218973475353a4ce206b70c58f52ee50daae24

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#63ff16ed0b3b904e7b6da17d8ebb0c9869f700340baf5b375d7545ad

1

Constr 0

0

Constr 0

0

Constr 0

0

#4d9bc45e5d191e408941d18dbbac1d7ca737eb82134d12da3d28c950

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

4160582919

2

Constr 0

0

1926400448