Datum
4591c6601cd7ad…4ac5bbdee7
4591c6601cd7adce13b156cffbc1b5aad9ffff7a77159e6e4a9cdd4ac5bbdee7
Datum
Constr 0
0
#1b6de68cc825faed5baa7506b580f753ed07be58ff1118037ff5114b
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#c75fb9172a2feb21a5d3609deeff23424354bce71f9978d1b55893c3
1
Constr 0
0
Constr 0
0
Constr 0
0
#0a0891cc1532cbe8140f42738164fc4030d50da1edab42400fbd97db
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#1b6de68cc825faed5baa7506b580f753ed07be58ff1118037ff5114b
1
Constr 0
0
Constr 0
0
Constr 0
0
#324c76ea192b67b6f5f7a8471b83fe918cadb62174c385affed58b5f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 135000000