Datum
bd57875ffdc1d4…0a705eb34c
bd57875ffdc1d48042083ea977027d751f112dbd6beb1ed39ab5a20a705eb34c
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#a6d0fd25f6c17e2389bde1e2660ed3838cec59f94e5f5e45e4bf8a69
1
Constr 0
0
Constr 0
0
Constr 0
0
#3590635b0fa38d7aec5b9a4bf8e8714c37d5a2f39b42a1d8756f9657
1
Constr 0
0
Constr 0
0
#a6d0fd25f6c17e2389bde1e2660ed3838cec59f94e5f5e45e4bf8a69
1
Constr 0
0
Constr 0
0
Constr 0
0
#3590635b0fa38d7aec5b9a4bf8e8714c37d5a2f39b42a1d8756f9657
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#533bb94a8850ee3ccbe483106489399112b74c905342cb1792a797a0
1
#494e4459"INDY"
1
81740870
4
2000000
5
2000000