Datum
4445dcb5752297…9d50d86115
4445dcb5752297feef09f19eaf0b132a5d265bae2ab5bd2e885fbc9d50d86115
Datum
Constr 0
0
#3cbf5c5e544932548cac3e71865e3068451d0f9fa034aeaa13cab01f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7e5ec754c3fd8f0bc5809f5c74b6d3a07c572b39c10e902332f6c16e
1
Constr 0
0
Constr 0
0
Constr 0
0
#6b83b865cbdb6c2a7ca9d367a556e99642199d5095dcd03a204f0fc1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 357000000
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}
#""
→ 119000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#3cbf5c5e544932548cac3e71865e3068451d0f9fa034aeaa13cab01f
1
Constr 0
0
Constr 0
0
Constr 0
0
#270e5600771f0e0ddae6848ac80daa45fe17a9eb71f427d372da0624
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5474000000