Datum
c83cc72b420475…f18b291bca
c83cc72b4204757ef247c86afbf2f7fc94a717be446226eebab63cf18b291bca
Datum
Constr 0
0
#185e6eb3ef352302730f2648314404836250d207224b78bc232f7687
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}
#""
→ 19000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#44af6d9b3b89077587b317a46bd577ce3ba1f6409c923f06075dcf9d
1
Constr 0
0
Constr 0
0
Constr 0
0
#b8e8a47ae894abbb8e32495e894326f6190f5d7ffc4a9a1b22798374
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 66500000
2
Constr 0
0
Constr 0
0
Constr 0
0
#185e6eb3ef352302730f2648314404836250d207224b78bc232f7687
1
Constr 0
0
Constr 0
0
Constr 0
0
#f39b8a20d4c5a23814f77570ec8f23c487d32233526030a3c346ac0a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 864500000