Datum
23bf8d7bcdbeca…89a537154e
23bf8d7bcdbeca8e6a61b6f0ff120fb6032e00d76a8b91afef5afe89a537154e
Datum
Constr 0
0
#3648d2891a180dd6d7b232adf16ef6739f5bde5507c7e1636ef1f672
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}
#""
→ 30000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#3648d2891a180dd6d7b232adf16ef6739f5bde5507c7e1636ef1f672
1
Constr 0
0
Constr 0
0
Constr 0
0
#d0558662859f3df019b53687dfce740141be31c0d0f0e71f5890905e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1470000000