content: module Lexicographic where
  
  foo012 (x:xs) ys     zs     = 1 + foo012 xs ys zs
  foo012 []     (y:ys) zs     = 1 + foo012 [] ys zs
  foo012 []     []     (z:zs) = 1 + foo012 [] [] zs
  foo012 []     []     []     = 0
  
  foo021 (x:xs) zs     ys     = 1 + foo021 xs zs ys
  foo021 []     zs     (y:ys) = 1 + foo021 [] zs ys
  foo021 []     (z:zs) []     = 1 + foo021 [] zs []
  foo021 []     []     []     = 0
  
  foo102 ys     (x:xs) zs     = 1 + foo102 ys xs zs
  foo102 (y:ys) []     zs     = 1 + foo102 ys [] zs
  foo102 []     []     (z:zs) = 1 + foo102 [] [] zs
  foo102 []     []     []     = 0
  
  foo120 ys     zs     (x:xs) = 1 + foo120 ys zs xs
  foo120 (y:ys) zs     []     = 1 + foo120 ys zs []
  foo120 []     (z:zs) []     = 1 + foo120 [] zs []
  foo120 []     []     []     = 0
  
  foo201 zs     (x:xs) ys     = 1 + foo201 zs xs ys
  foo201 zs     []     (y:ys) = 1 + foo201 zs [] ys
  foo201 (z:zs) []     []     = 1 + foo201 zs [] []
  foo201 []     []     []     = 0
  
  foo210 zs     ys     (x:xs) = 1 + foo210 zs ys xs
  foo210 zs     (y:ys) []     = 1 + foo210 zs ys []
  foo210 (z:zs) []     []     = 1 + foo210 zs [] []
  foo210 []     []     []     = 0
  