Datum
49ed93c93745e3…b2b484bd20
49ed93c93745e39ec4be99ef48cd79bed4d3c67f19612d15848ca6b2b484bd20
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#fc3f98ae5a3b654f6d89eebba84dede2c2ebe58d58ed3d59984dfef4
1
Constr 0
0
Constr 0
0
Constr 0
0
#f70910abd99bcbb9515f5baba9539aa417ae315c7d844e1f53f5b011
1
Constr 0
0
Constr 0
0
#fc3f98ae5a3b654f6d89eebba84dede2c2ebe58d58ed3d59984dfef4
1
Constr 0
0
Constr 0
0
Constr 0
0
#f70910abd99bcbb9515f5baba9539aa417ae315c7d844e1f53f5b011
2
Constr 1 []
3
Constr 1
0
Constr 0
0
#7088ad38a23e997dc6ab90336cae582c93b61460888d83f178899a33
1
#4b4f49"KOI"
1
86836540
4
1702693
5
2000000