Datum
b692d8f963504d…7ccd40fa7f
b692d8f963504dbb26c455eb922e5d414d7dca952ce38209f6232c7ccd40fa7f
Datum
Constr 0
0
#e4e8c170eaf496935e98e59ccaa8b7b0e7acb58106b2b25fdb951a05
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
#e4e8c170eaf496935e98e59ccaa8b7b0e7acb58106b2b25fdb951a05
1
Constr 0
0
Constr 0
0
Constr 0
0
#186c152e66dc40f47222045b8742c913bdc0923f103dc983a9a2e661
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 49000000