Datum

cc677bfb05e329…c0d391fb4d

cc677bfb05e329de75c60c73ec9a43255edefdaa67a7f37714e42ec0d391fb4d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3ff27f47760d508cbc7e9db201e9fa0a985717f9cbfd307d429ba670

1

Constr 0

0

Constr 0

0

Constr 0

0

#9ca541ce4035cb28c08988ef493cd408ec88259be2481b6ac227724f

1

Constr 0

0

Constr 0

0

#3ff27f47760d508cbc7e9db201e9fa0a985717f9cbfd307d429ba670

1

Constr 0

0

Constr 0

0

Constr 0

0

#9ca541ce4035cb28c08988ef493cd408ec88259be2481b6ac227724f

2

Constr 1 []

3

Constr 2

0

1

4

1900828

5

2000000