Datum
dc0733c4bcbb59…d51b7de20c
dc0733c4bcbb59d0cd5e8a9e13b54f1b0ea42e917f5e4b2d4f88f7d51b7de20c
Datum
Constr 0
0
#4b3967cf74604fe0010c3d6a24b533c98b3d30a8ccafc3ce2c61139e
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#dca9860c6577c7d855fe835b7da63b545fd957b4f96bae34d7e7d084
1
Constr 0
0
Constr 0
0
Constr 0
0
#82e9bcf4dbeb74283ceb126ba179367c30a985b32110cd183b1cec35
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 36000000
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
#4b3967cf74604fe0010c3d6a24b533c98b3d30a8ccafc3ce2c61139e
1
Constr 0
0
Constr 0
0
Constr 0
0
#ac00b4e948f80c6d598b1c8057545d4c8f364c5a3366a170e77e55df
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 356000000