Datum
f579dca5f972a4…a23ed5ecfa
f579dca5f972a4cec21732b00a5a0a3d1a7f03be2607c2447d4140a23ed5ecfa
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#6c6d04345bb455d314d61149fb3bd7ef3c2f7e5a1bd476d5dced86d7
1
Constr 1 []
1
Constr 0
0
Constr 0
0
#6c6d04345bb455d314d61149fb3bd7ef3c2f7e5a1bd476d5dced86d7
1
Constr 1 []
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#533bb94a8850ee3ccbe483106489399112b74c905342cb1792a797a0
1
#494e4459"INDY"
1
1
4
2000000
5
2000000