Datum
e5e20c83c28b1e…8ec467fa7e
e5e20c83c28b1e0340d8355c53c64e4fdf97f590ce0a97c32004e18ec467fa7e
Datum
Constr 0
0
#4ed1cb09f5358ccd74f429e5f0d34f376f3e5ff7a3fb6e19568b3ef2
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#656057063582506d28d2e35f66b7b21dba1baa6492b213feae25d090
1
Constr 0
0
Constr 0
0
Constr 0
0
#b1485ce1390fd0b6cc15acf596271e4b64ffee7a344737c16fab7174
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
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}
#""
→ 12000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#4ed1cb09f5358ccd74f429e5f0d34f376f3e5ff7a3fb6e19568b3ef2
1
Constr 0
0
Constr 0
0
Constr 0
0
#773279be1af2b639476e9b7d1c4541e7ebd778ca7a23984fcfe5164c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 573000000