Datum

e297efb86a7e9b…97d041a064

e297efb86a7e9bf128056236b8bd41fa7e6563cf1d0fabd21aef2997d041a064

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0b5e406b132cf53645b7a5822809b1dd2b30e2ed01f7a832c1ec9a07

1

Constr 0

0

Constr 0

0

Constr 0

0

#06df77e739fd693f5110e0b3180a8650119f173de872b2d3be4fd31f

1

Constr 0

0

Constr 0

0

#0b5e406b132cf53645b7a5822809b1dd2b30e2ed01f7a832c1ec9a07

1

Constr 0

0

Constr 0

0

Constr 0

0

#06df77e739fd693f5110e0b3180a8650119f173de872b2d3be4fd31f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

16040084

4

1969998

5

2000000