Datum
a795a9f3d3ce34…e858c841d7
a795a9f3d3ce34b74ee0fcd1673a517fd1bef2b846ba2e96611e0ce858c841d7
Datum
Constr 0
0
#9eaae1ad29538b3350df14c14da149314aa4af80c2038eb6fbbb5503
1
List [3]
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
#9e0cd1f083debc21c86c8a83f2703ff47f30f0c2d9b0b53f73082817
1
Constr 0
0
Constr 0
0
Constr 0
0
#2f4cb2d17d8fbbe8c2e045c13f37151ce7c00b90ef49ba8fdf99adf0
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2100000
2
Constr 0
0
Constr 0
0
Constr 0
0
#9eaae1ad29538b3350df14c14da149314aa4af80c2038eb6fbbb5503
1
Constr 0
0
Constr 0
0
Constr 0
0
#c4f5ac0daf330c0e8e679d6139c15f04462bfed5be07681a050d72c9
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 26900000