Datum
41e02c295d0ea5…93fc972310
41e02c295d0ea582b23ce010be03a12e782873d6cfd03904316e1893fc972310
Datum
Constr 0
0
#0679f8c18a33cbfd84295557c93a91ee919faffd10d7561605c983003396df6d
1
Constr 0
0
Constr 0
0
#3fa3170d853d5759088a0c66ac489e0e9c2eaf64a375bb5c223a5c79
1
Constr 0
0
Constr 0
0
Constr 0
0
#154152fb7844ea37f60b896230d8fea3ae904f7a4a22922f79698160
2
Constr 0
0
#""
1
#""
3
1500000000
4
Constr 0
0
#""
1
#""
5
105000000
6
List [1]
0
Constr 0
0
Constr 0
0
#4523c5e21d409b81c95b45b0aea275b8ea1406e6cafea5583b9f8a5f
1
#000de14042756433353731
1
1
7
7776000000
8
1741939901000
9
1