Datum

885b9b128964f4…a7233290cd

885b9b128964f463588f01a23e3b6b0ae350babf840ae76d09a4e4a7233290cd

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#01dae05cf635ce230ff96084fc43d52d8b6030c520253684c1491198

1

Constr 0

0

Constr 0

0

Constr 0

0

#dc6d500b056d7f9e9604e54d6365e1c0f56d24123708c0cecade5e82

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

69000000

2

Constr 0

0

256143