Available machines in PL122 include (all .eecs.lehigh.edu):

        altair          antares         ariel
        dactyl          ganymede        ida
        io              mars            metis
        oberon          phoebe          pluto
        proteus         proteus         puck
        sirius          tethys          titania
        tritan          umbria          vega

    Note: You can SSH directly to these machines.

    You can also SSH to 'sunlab.eecs.lehigh.edu' (sunlab.cse and sunlab.ece
    also work) to get an (effectively) random machine.