Datum
ec584d937d2e23…23d1bb5be4
ec584d937d2e2333e53c69072d74ed8acf9e4e988c493202cbaa0f23d1bb5be4
Datum
Constr 0
0
#d7a2b4740596a8095e94896e96500047bb34c836eb81247ed70c45b1
1
Constr 0
0
Constr 0
0
#d7a2b4740596a8095e94896e96500047bb34c836eb81247ed70c45b1
1
Constr 0
0
Constr 0
0
Constr 0
0
#e265c8fa16484fcb09f72eeaf98aa7a0dd97b0243f28426e8122f76b
2
Constr 0
0
#""
1
#""
3
3000000000
4
1795042597
5
Constr 0
0
#dda5fdb1002f7389b33e036b6afee82a8189becb6cba852e8b79b4fb
1
#0014df1047454e53
6
Constr 0
0
72057594037927936000
1
3648165184605674299
7
#db18c36ced094b359e16a3de108949e048d952b0357a5310ae832141ef4ab86e
8
Constr 1 []
9
Constr 1 []
10
1
11
1000000
12
1000000
13
Constr 0
0
2000000
1
9000000
2
71399999
14
23799999996