Datum
88dee17a47a150…a1c8b29b63
88dee17a47a150bf7658e246c16e13c676bb53bbd10c8c806e49dea1c8b29b63
Datum
Constr 0
0
#05337dfba64bed0e0f7c89bb7d5972fa7728c04a7d860aab7cae5000
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3b86995159a0afaf7dea96ba8645219933a0b0bf295a7b5ad0203143
1
Constr 0
0
Constr 0
0
Constr 0
0
#e43a5424d2100479aa82aff10484dbc2942242bd228db3f5de69c069
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 40000000
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}
#""
→ 8000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#05337dfba64bed0e0f7c89bb7d5972fa7728c04a7d860aab7cae5000
1
Constr 0
0
Constr 0
0
Constr 0
0
#0265cf385d47acac7431e94522767856694470c7144922b714a307af
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 352000000