Datum

31c3cd964eb539…e06ebb90ad

31c3cd964eb5394a4e6c2745d7d8daec18451220d91f9c9c710d12e06ebb90ad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7a918f0949b99d83b49f24ea8416dc1fad8eae46a4ea0141479b542d

1

Constr 0

0

Constr 0

0

Constr 0

0

#b8ecf7ac4572084c9c8b574071b66a238ff3913a1fd428923db45256

1

Constr 0

0

Constr 0

0

#7a918f0949b99d83b49f24ea8416dc1fad8eae46a4ea0141479b542d

1

Constr 0

0

Constr 0

0

Constr 0

0

#b8ecf7ac4572084c9c8b574071b66a238ff3913a1fd428923db45256

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

103737621

4

2000000

5

2000000