Datum

7432b18fe4b57c…f2eee8caaf

7432b18fe4b57cdcff1178bd8ed474d357db71d3b06cc59d353de9f2eee8caaf

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7e20fc7df84cb723f97fb65a47f99989778559fa713127733b250eeb

1

Constr 0

0

Constr 0

0

Constr 0

0

#842a7f0574e805636f5dddd3fe469d739907eff30569902e03020ee3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

2000000000

2

Constr 0

0

16818503