Datum
32b1430be2b3d7…fc8b7b7ec9
32b1430be2b3d7f0fa6ec82a4feb140d40675cfec129ef98def6a0fc8b7b7ec9
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#6c4b4233cd722823bd9eb3ce6f86a1f7b314e4870eef5c2b493ae4d5
1
Constr 0
0
Constr 0
0
Constr 0
0
#ab0213bdda9a5be86051632c4869b708b8db0a588be4a7394b72dfff
1
Constr 0
0
Constr 0
0
#6c4b4233cd722823bd9eb3ce6f86a1f7b314e4870eef5c2b493ae4d5
1
Constr 0
0
Constr 0
0
Constr 0
0
#ab0213bdda9a5be86051632c4869b708b8db0a588be4a7394b72dfff
2
Constr 1 []
3
Constr 3
0
4787159
1
83061306
4
1743838
5
2000000