Datum
c81ed2fe5ea058…6b7dcf5cd5
c81ed2fe5ea0581b2ce0a59c095fa9baeadc5fdea6f0f31121a4ec6b7dcf5cd5
Datum
Constr 0
0
Constr 0
0
#619cb5d7087354f026c4ecae60ec4a963a90aa8fb8635595865c7c0e
1
Constr 0
0
Constr 0
0
#619cb5d7087354f026c4ecae60ec4a963a90aa8fb8635595865c7c0e
1
Constr 0
0
Constr 0
0
Constr 0
0
#43471573278a1c3ac4f47886ee6df691433a4a3a78785fb0768ece1b
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#619cb5d7087354f026c4ecae60ec4a963a90aa8fb8635595865c7c0e
1
Constr 0
0
Constr 0
0
Constr 0
0
#43471573278a1c3ac4f47886ee6df691433a4a3a78785fb0768ece1b
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#7f93742032104bb7314cc69033a741b67537b4030e33f97ee5a16665115a978e
6
Constr 0
0
Constr 1 []
1
Constr 0
0
791197152
2
9480980
3
Constr 0 []
7
2000000
8
Constr 1 []