( id . 4π1 . 2π2 )* . distl . (id,(2π2)*.(2π1.2π1,(b_if(>.(id.2π1.2π2,id.2π2.2π2)o,id.2π1.2π2,id.2π2.2π2).(id,(b_if(>.(id.2π1.2π2,id.2π2.2π2)o,id.2π1.2π2,id.2π2.2π2).(id,(id.4π1.2π1.2π2,id.4π1.2π2.2π2)o)o,+.(id.2π1.2π2,id.2π2.2π2)o.(id,(id.4π3.2π1.2π2,id.4π2.2π2.2π2)o)o)o)o,b_if(>.(id.2π1.2π2,id.2π2.2π2)o,id.2π1.2π2,id.2π2.2π2).(id,(id.4π2.2π1.2π2,+.(id.2π1.2π2,id.2π2.2π2)o.(id,(id.4π4.2π1.2π2,id.4π2.2π2.2π2)o)o)o)o,b_if(>.(id.2π1.2π2,id.2π2.2π2)o,id.2π1.2π2,id.2π2.2π2).(id,(+.(id.2π1.2π2,id.2π2.2π2)o.(id,(id.4π3.2π1.2π2,id.4π4.2π2.2π2)o)o,id.4π3.2π2.2π2)o)o,+.(id.4π4.2π1.2π2,id.4π4.2π2.2π2)o)o.(2π1.2π1,(2π2.2π1,2π2.2π2)o)o)o//.distl.(id,++.(b_allvec[(0,0,0,0)o]o,((2π2,2π2,2π2,2π2.2π1)o.id.(id,b_if(>.(id.2π1.2π2,id.2π2.2π2)o,id.2π1.2π2,id.2π2.2π2).(id,(2π2,0)o)o)o)*.distl.(id,id)o)o)o)o . id . id . id . id . id . id . id