Datum

224a338c00aac5…3ee9726017

224a338c00aac543f71e95dff9f9690d657f7d749238066aa1445d3ee9726017

Datum

Constr 0

0

#8d

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#2beaa44b2247a443e0cfd60ea4b8f1459963629ad272b52868cc1f9f

1

Constr 0

0

Constr 0

0

Constr 0

0

#907434b767cb7eb572c8fb540c91b667214152e66c257c89be098df7

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

7090827

1

100000000