Datum

6b28641d5f2e4a…82bc54d42b

6b28641d5f2e4a14cd1cce700fc55b92b26c46edf7f9fb8ea779e282bc54d42b

Datum

Constr 1

0

Constr 0

0

#1df38099eb51d5f53ed64e4d3d9f853025e04db3359a7f2a20b1c3e5e25e5e60

1

5000000000000

2

0

3

Constr 0

0

23143595827395000000

1

402257737

4

4825465443461

5

629033888165479

6

Constr 1 []

7

Constr 0

0

#1f054a195cca04fbed1b4e72ff1547930b523ce8cb8aac0b50d4cd06045313fc