Datum

22d772ca54c20d…f320b1ade1

22d772ca54c20d1470375daea4e34b9e2c1a35aa5989b9ed97ccdcf320b1ade1

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d86a2d137b1661be300bf3c35836a306a82d4906e6f7f744c4fc59af

1

Constr 0

0

Constr 0

0

Constr 0

0

#069c0b23a4c77f1168e873b0d50f7535ab7c886a187765c4de1a87db

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

25215443

1

41322673