Datum
ff0358111d0404…d584109e3d
ff0358111d04043bfc43d677ef71139f7331b266bb08ec2496b7f8d584109e3d
Datum
Constr 0
0
#71f65e1196b074716ea7aa932c43952c29d49e79c578cd1abb857191
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#53bfe4a6cffa816706226bc5ee0f3ae4252c95517b19f3db533ca3bd
1
Constr 0
0
Constr 0
0
Constr 0
0
#35d4ea6fbdb75d66386f0960ac03768a6ca38cda5fd83ff4e3aae5f8
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1380000
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
#71f65e1196b074716ea7aa932c43952c29d49e79c578cd1abb857191
1
Constr 0
0
Constr 0
0
Constr 0
0
#3c32d6b6a390459f9d18e52fbda11b92e8ad7babe4a034fec12e4c36
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20620000