Datum
2bbd16b208d34d…20f629ff8a
2bbd16b208d34d14de044ad342238e6f44528c4b368ad0bd247e8c20f629ff8a
Datum
Constr 0
0
#eeffcb9fca608d429106f26492b77cbb402161e28ed7fd067e8ec99c
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#18fe91ca864ca6a187b8fbf839d762b093d1a58673f3e742e63238a7
1
Constr 0
0
Constr 0
0
Constr 0
0
#65690965b77d9fd5c67509f885ecfbfaff80ec6431672c161563b3dc
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4000000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#eeffcb9fca608d429106f26492b77cbb402161e28ed7fd067e8ec99c
1
Constr 0
0
Constr 0
0
Constr 0
0
#1f57e3d864a61bd9d8adbd8e744cd6b78d76c1342064dc66dc5b1cc4
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 35000000