Datum
72ebc8c6faddbb…d60f7e0587
72ebc8c6faddbb8aa0d0e39008dc93d429455a258294a10d3281b2d60f7e0587
Datum
Constr 0
0
#71d773e74a3b0379b0fd391ea38f1e8f7c72e2959391cf116e98b80b
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}
#""
→ 4000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#71d773e74a3b0379b0fd391ea38f1e8f7c72e2959391cf116e98b80b
1
Constr 0
0
Constr 0
0
Constr 0
0
#c7103fb85a169f24ee18d77ec090ea5abad1e57a4147abe4b66b1716
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 196000000