Datum
303bf93ed2d5df…ab3ce1f04b
303bf93ed2d5df6fd12e8638e9c649e2f760e55b3b2de7146dac2aab3ce1f04b
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
2000000000
4
2000000000
5
Constr 0
0
#dda5fdb1002f7389b33e036b6afee82a8189becb6cba852e8b79b4fb
1
#0014df1047454e53
6
Constr 0
0
144115188075855872000
1
2665953770566923123
7
#9b5e8fef90ae56ae13fce0bf4b1545b41f68775fad6c8287cc0bab237279106c
8
Constr 1 []
9
Constr 1 []
10
0
11
1000000
12
1000000
13
Constr 0
0
1000000
1
6000000
2
0
14
0