Datum
f93cdc7370acbc…7ffc019894
f93cdc7370acbcdbd2fb38db79cd7f2c1d2d687dbc29cc7d0dd9777ffc019894
Datum
Constr 0
0
#411a3fa792a261011b3d03761c603ac0bde6d626002dc5c5efcdbea9
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7a2a24508264d4f61abe82ef8453bb7c26597e482a759c6be7f4fcc9
1
Constr 0
0
Constr 0
0
Constr 0
0
#29f037b38cd65e5f665d66ada00a44235fd7d09078478265e8401b4a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 39000000
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}
#""
→ 26000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#411a3fa792a261011b3d03761c603ac0bde6d626002dc5c5efcdbea9
1
Constr 0
0
Constr 0
0
Constr 0
0
#f6b6f28214e1170c2b72d0b8636b7578def471201c2294138c04b1de
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1235000000