A method for lowering the temperature of a portion of a subsurface formation is provided. A plurality of panels are bolted to the posts and beams of the portals and enclose a space above the floor. The processor includes a fetch address register logic in communication with a level 1 data cache, a level 1 instruction cache, a level 2 cache, and a higher level cache. Cells that pass verification and then subsequently fail verification can be subjected to further programming. The first signal can have wavelengths effectively different from the wavelengths of the portion of the light emitted by the LEDs that illuminates the illumination region.