Datum
92d4489c90d04c…09e8fb1142
92d4489c90d04cc83fb3fca6f6677cf904d8a9d060fa7dd2a8ba0909e8fb1142
Datum
Constr 0
0
#b62f0d781f947ef23f7609fbad5c7220bdc64ce0f8d6e5da5078f7db
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a1253cc653e1e017aa0a6bb1123a83ec235b1c61d10a9b6fbb671c62
1
Constr 0
0
Constr 0
0
Constr 0
0
#1c33ae4e18d844c02155dc446053bdb02f5299946683cc5c3a0bac19
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 352000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 88000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b62f0d781f947ef23f7609fbad5c7220bdc64ce0f8d6e5da5078f7db
1
Constr 0
0
Constr 0
0
Constr 0
0
#482e74ca663bbecfe248c0948097e310f1efc3da936ec1fd025b1db4
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3960000000