Datum
fa3c71e714d90a…26483a6db3
fa3c71e714d90ad08013905cae7cd8a34be207bc4e1e732ba1d88026483a6db3
Datum
Constr 0
0
#757e442b50c32e3f344a7c541c30231f57c5299e869fb67e27d10bfa
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#757e442b50c32e3f344a7c541c30231f57c5299e869fb67e27d10bfa
1
Constr 0
0
Constr 0
0
Constr 0
0
#b7081de365ed3f5811f00bdc7bf3ff9460554593ba25d48136ba9dd4
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 39000000