Datum

62c5f5b401d305…a311a1ce2f

62c5f5b401d3055fa34b72b0a7e201713123ed1ece338ebd1ea5e1a311a1ce2f

Datum

Constr 0

0

#dd01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d326b727f487cef8eb1a0a4fb3c80b1b485858652600c5dfaebc4b09

1

Constr 0

0

Constr 0

0

Constr 0

0

#10d89e78dbf866fd5a91f3f1088a9496109f2d28e60f2b3a71e378ea

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

600000000

2

Constr 0

0

11804128847