Datum

ec0adfb64162f7…af79aa1a3b

ec0adfb64162f78f7e9d1448ee50719ef228387858cfee9e92b2f5af79aa1a3b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#69271897cbc817483c5fcf2c5a9b97216739dbab21a4c854c2608453

1

Constr 0

0

Constr 0

0

Constr 0

0

#d6464729c4eccfba128ede191f59b4016082194ff01ad3645fac3d74

1

Constr 0

0

Constr 0

0

#69271897cbc817483c5fcf2c5a9b97216739dbab21a4c854c2608453

1

Constr 0

0

Constr 0

0

Constr 0

0

#d6464729c4eccfba128ede191f59b4016082194ff01ad3645fac3d74

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

245270033

4

2000000

5

2000000