Datum
cd32922a2b6caa…fb546419d5
cd32922a2b6caa66aa8e548d4409185efffb0fbfe6a472e3fb443dfb546419d5
Datum
Constr 0
0
#bf9f7f25a5a2688d007c2a79722cbd28bb8b79dd97a556fd618b7468
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}
#""
→ 4000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#bf9f7f25a5a2688d007c2a79722cbd28bb8b79dd97a556fd618b7468
1
Constr 0
0
Constr 0
0
Constr 0
0
#d9549da5a15ba2f7bee4fe0789fb18af7530c246d0bb90d69b650239
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 196000000