Datum
b5c171acbb7813…0f1e4dbb3a
b5c171acbb78137cd8db3637991aa135fbaeda75843ddfddfbd1860f1e4dbb3a
Datum
Constr 0
0
#bbc1564d735a09c89f4d8833022822bd8558ba6da6bb29ba05207e2c
1
List [3]
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#0e87519cc516c4ae2d2a5f170ccb8b93c99e9f9b2fb31a6b3d64b6be
1
Constr 0
0
Constr 0
0
Constr 0
0
#5ef10b65fbf7308aeac9220e656784396a5e41ca00515addf87636a9
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2250000
2
Constr 0
0
Constr 0
0
Constr 0
0
#bbc1564d735a09c89f4d8833022822bd8558ba6da6bb29ba05207e2c
1
Constr 0
0
Constr 0
0
Constr 0
0
#950d183a75eac7ae1764557465673ca4e50503568665253298780a31
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 41750000