Datum
4194d354582561…7c88d2edad
4194d35458256144f49cabd51432012bedcb46da96b3a55d50142e7c88d2edad
Datum
Constr 0
0
#39f8a8ce4a5f7119f62cae95eaf725bbdf91e553148e98cfe3957ac6
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#cdc124e90ab85dc111e646777819bfa477b5ae2976f0d44dc7bf069e
1
Constr 0
0
Constr 0
0
Constr 0
0
#04aaeecf13bfe453efa30c035ae94b82e329c19c5f365bdc2eb45f5f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 249000000
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}
#""
→ 20000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#39f8a8ce4a5f7119f62cae95eaf725bbdf91e553148e98cfe3957ac6
1
Constr 0
0
Constr 0
0
Constr 0
0
#901f37457dc00b6ced1e526fe92c814b716fe1b01eaab68b7bf46697
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 731000000