Datum
2cf8b1bc2939c1…65bdc54dc3
2cf8b1bc2939c10e3afa0d97da4c94a5c5e0748b1df255a826a43265bdc54dc3
Datum
Constr 0
0
#e9c8dbc57345b62e5d952502893f9b68cf4096a0be9ceadcabe52787
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a807cb0dfd0bdd028918fb0ff5f5eca99b420ba585067d89d138c180
1
Constr 0
0
Constr 0
0
Constr 0
0
#7964450dadef5fe82654fb8b57ec57dbf887172f4fa0e90cca3bdc5a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
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}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#e9c8dbc57345b62e5d952502893f9b68cf4096a0be9ceadcabe52787
1
Constr 0
0
Constr 0
0
Constr 0
0
#9389f99ba170e9f80d3569038e6c2d2539516d0ffcee20c304d1022d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 176000000