Datum

c8db96953f107c…58aebb80dd

c8db96953f107cbe1a13ecb93ee7e9ed196fbca4689fc792210fba58aebb80dd

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#774e9ae130b0f2b1ab95a095f62d896ff49a4b340d1342f3a43a3b4b

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c4d0ecfa6ca47d7c85a919f3027ca37ad07a17c9207d0163404c7c6

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

100000000000

2

Constr 0

0

136785989