Datum

9422d178b1e550…14742e7d4f

9422d178b1e550b494d0bbb1d78fc47ffeabd0aa953962a0fe7ae614742e7d4f

Datum

Constr 0

0

#6a

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#45b0cb8106c85b839199a56c32ae20cd77ea60fe22c2f54d90f930a1

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c4101f0704285c652a3a9a21ab05b0266645f8057feffe5702073ee

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

145740000000000

2

Constr 0

0

55651570