Datum
10244e6adf98d2…0a928ab0d2
10244e6adf98d2d9d2dc9a4e9f069ccb7c1937dd4358ae70f43fc80a928ab0d2
Datum
Constr 0
0
#ae6d21cfb9159296709f2ba1c22ed48cfaca1dccf3bfe55073a3020e
1
List [2]
0
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}
#""
→ 16000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#ae6d21cfb9159296709f2ba1c22ed48cfaca1dccf3bfe55073a3020e
1
Constr 0
0
Constr 0
0
Constr 0
0
#e32bc1a673c9af67414bf4debba130caa78eb6a895d9fe44e2a1811c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 784000000