Density pure minimum collected I: 0.27521524783745266
Density loaded minimum collected I: 0.2752152478501901
Density small_capacity minimum collected I: 0.27726598538345304
Density zero_drive minimum collected I: 0.27857935727110594
Source arithmetic checks: 92 ; count diagnostic: complete False
Configured certified joint lower: 999982722842819/1000000000000000
Fuel is carried forward and both directions are counted. Productive output is not a lower bound on fuel consumption. Imported process theorem; Lean not rerun.