(define lower-48
  '((wa or ca id nv ut az mt wy co nm nd sd nb ks ok tx mn ia mo ar la mi wi
     il ky tn ms oh in al me nh vt ma ct ri ny pa nj de md va wv nc sc ga fl) . 
    ((wa . or) (wa . id) (or . id) (or . nv) (or . ca) (id . mt) (id . wy)
     (id . nv) (id . ut) (ca . nv) (ca . az) (nv . ut) (nv . az) (ut . az)
     (mt . nd) (mt . sd) (mt . wy) (wy . sd) (wy . nb) (wy . co) (co . ut)
     (co . nb) (co . ks) (co . nm) (nm . ok) (nm . tx) (nm . az) (nd . mn)
     (nd . sd) (sd . mn) (sd . ia) (sd . nb) (nb . ia) (nb . mo) (nb . ks)
     (ks . mo) (ks . ok) (ok . mo) (ok . ar) (ok . tx) (mn . mi) (mn . wi)
     (mn . ia) (ia . wi) (ia . il) (ia . mo) (mo . il) (mo . ky) (mo . tn)
     (mo . ar) (ar . tn) (ar . ms) (ar . la) (ar . tx) (la . ms) (la . tx)
     (mi . oh) (mi . in) (mi . wi) (wi . il) (il . in) (il . ky) (ky . in)
     (ky . oh) (ky . wv) (ky . va) (ky . tn) (tn . va) (tn . nc) (tn . ga)
     (tn . al) (tn . ms) (oh . in) (oh . pa) (pa . ny) (pa . nj) (pa . de)
     (pa . md) (pa . wv) (wv . md) (wv . va) (va . md) (va . nc) (nc . sc)
     (nc . ga) (sc . ga) (ga . fl) (ga . al) (al . fl) (md . de) (de . nj)
     (nj . ny) (ny . vt) (ny . ma) (ny . ct) (ma . vt) (ma . nh) (ma . ri)
     (ma . ct) (ct . ri) (vt . nh) (nh . me) (ms . al) (wv . oh) (ut . wy)
     (co . ok) (il . mi))))