Datum

854a56fa2a4fd9…6677678f78

854a56fa2a4fd98e1edb0272e5ca820b6a3d2e8a48e68a2fa37f8d6677678f78

Datum

Constr 0

0

#df02

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 0 []

1

298515625

2

Constr 0

0

16784420662