Datum

80272fd49b2d38…f32e7e68bf

80272fd49b2d387df535ee328e039e16f3b7d59e118a08bd600fcff32e7e68bf

Datum

Constr 0

0

#2d01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0b0583f99733d74f3dfdfba2610cb132ea97bdc4f29a389b7270fd5d

1

Constr 0

0

Constr 0

0

Constr 0

0

#f6a83fbfa34cd390625a7cd69ceee0ee4a0e4ce085139034408d6fc0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

10000000000

2

Constr 0

0

1306262316