Datum

f64be598ea25da…15a8255061

f64be598ea25da22861f4939f15f975a99fa7e60fc15ca0cf5a2d215a8255061

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2a4789ea6b02ed04afe8c5df995a38f6b781289efba05c658c4100dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b1b19a264a369465199eef408a509568ddf94b102584cc0b096cea

1

Constr 0

0

Constr 0

0

#2a4789ea6b02ed04afe8c5df995a38f6b781289efba05c658c4100dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b1b19a264a369465199eef408a509568ddf94b102584cc0b096cea

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

307139004

4

1999789

5

2000000