Datum
f3a00a6450ac7d…2717e623e9
f3a00a6450ac7dd25a8d76fbf35a2a90ac846a616ecb7212334c532717e623e9
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
2100000000
4
2100000000
5
Constr 0
0
#edfd7a1d77bcb8b884c474bdc92a16002d1fb720e454fa6e99344479
1
#4e5458"NTX"
6
Constr 0
0
144115188075855872000
1
16370660522138274047
7
#6ef2e06c8682a2665cd14387975215c9cb9c808f20faed16ca2abb427c203db7
8
Constr 1 []
9
Constr 1 []
10
0
11
1000000
12
1000000
13
Constr 0
0
1000000
1
6300000
2
0
14
0