Datum
7e09b4e06f85d5…1c8bf5afae
7e09b4e06f85d5fa0ad1e4e6698210f5bc318dbbb7fc884412b7621c8bf5afae
Datum
Constr 0
0
#b67eef049ccbbca6aac31bd76f3eebda8f52994f6423160c1d46e4e9
1
Constr 0
0
Constr 0
0
#b67eef049ccbbca6aac31bd76f3eebda8f52994f6423160c1d46e4e9
1
Constr 0
0
Constr 0
0
Constr 0
0
#e265c8fa16484fcb09f72eeaf98aa7a0dd97b0243f28426e8122f76b
2
Constr 0
0
#""
1
#""
3
2500000000
4
2500000000
5
Constr 0
0
#edfd7a1d77bcb8b884c474bdc92a16002d1fb720e454fa6e99344479
1
#4e5458"NTX"
6
Constr 0
0
72057594037927936
1
7482216469798633
7
#cd597afe7a8a442214459aea5369e69eaadbc717432601e357e1bd5f45150b61
8
Constr 1 []
9
Constr 1 []
10
0
11
1000000
12
1000000
13
Constr 0
0
1000000
1
7500000
2
0
14
0