Datum
ecdb4c792a449e…5770b3d459
ecdb4c792a449efb6567427e673f492d7337f5a3a2ae6233fbb6f15770b3d459
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#38ea63998eda49f87f785fb95b1600068d779fe0a34c4db894e35408
1
Constr 0
0
Constr 0
0
Constr 0
0
#97819736228024d43ff89a00b40c693381fc43bcfd999c25bc3bc1f3
1
List [1]
0
#38ea63998eda49f87f785fb95b1600068d779fe0a34c4db894e35408
2
#c72d0438330ed1346f4437fcc1c263ea38e933c1124c8d0f2abc6312
3
Constr 1 []
4
#""
5
#""
1
Constr 0
0
100
1
500
2
Constr 0
0
Constr 0
0
Constr 0
0
#71e8f145d1a99038961dc7e24ffc8624e2da7940901130f4f434c5fe
1
Constr 0
0
Constr 0
0
Constr 0
0
#a74eae0128c72faa7e6d9b4429784f9796b774fe606d42677684a2be
3
65600000
4
0
5
Constr 0 []
6
Constr 0
0
8000000
1
8000000
7
108000000
8
Constr 0 []