DFA to Regex

main.hs

{-# LANGUAGE TupleSections #-}

import qualified Data.Map as M
import qualified Data.Set as S
import Data.List
import Data.Function
import System.IO
import Control.Monad

data C = O | I deriving (Eq, Ord, Enum, Show)
data DFA = DFA Int (M.Map (Int,C) Int) (S.Set Int) deriving (Eq, Ord, Show)

data RFA = RFA Int (M.Map (Int,Int) Regex) deriving (Eq, Ord, Show)

data Regex = Sym C | Star Regex | Alt Regex Regex | Con Regex Regex | Eps | Null deriving (Eq, Ord)

instance Show Regex where
  show (Sym O) = "0"
  show (Sym I) = "1"
  show (Star (Con a b)) = "(" ++ show a ++ show b ++ ")*"
  show (Star e) = show e ++ "*"
  show (Alt (Sym O) (Sym I)) = "."
  show (Alt (Sym I) (Sym O)) = "."
  show (Alt Eps a) = "[" ++ show a ++ "]"
  show (Alt a Eps) = "[" ++ show a ++ "]"
  show (Alt a b) = "(" ++ show a ++ "|" ++ show b ++ ")"
  show (Con a b) = show a ++ show b
  show Eps = "ε"
  show Null = "φ"

ppr :: Show a => [a] -> IO ()
ppr = mapM_ print

state :: DFA -> Int
state (DFA x _ _) = x

allDFA :: Int -> [DFA]
allDFA 0 = []
allDFA x = do
  y <- replicateM (2*x) [0..x-1]
  let
    f [x,y] = (x,toEnum y)
    i = map f $ sequence [[0..x-1],[0,1]]
  guard $ y!!0 /= 0
  s <- subsequences [0..x-1]
  guard $ let l = length s in l /= 0 && l /= x
  -- guard $ [0..x-1] \\ s > s
  return $ DFA x (M.fromList $ zip i y) (S.fromList s)

faR :: DFA -> RFA
faR (DFA s m f) = RFA (s+2) $ M.fromList po where
  po = do
    a <- [0..s+1]
    b <- [0..s+1]
    if a == 0
      then if b == 1
        then return ((a,b),Eps)
        else []
      else if b == s+1
        then if (a-1)`S.member`f
          then return ((a,b),Eps)
          else []
        else case (M.lookup (a-1,O) m, M.lookup (a-1,I) m) of
          (Just x, Just y)
            | x == b-1 && y == b-1 -> return ((a,b),Alt (Sym O) (Sym I))
            | x == b-1 -> return ((a,b),Sym O)
            | y == b-1 -> return ((a,b),Sym I)
          (Just x, Nothing)
            | x == b-1 -> return ((a,b),Sym O)
          (Nothing, Just y)
            | y == b-1 -> return ((a,b),Sym I)
          _ -> []

elim :: Int -> RFA -> RFA
elim s (RFA u m) = let
    qs = filter (\q -> (q,s)`M.member`m) [0..u-1] \\ [s]
    ps = filter (\p -> (s,p)`M.member`m) [0..u-1] \\ [s]
    ss = (s,s) `M.lookup` m
    m2 = M.fromList $ do
      q <- qs
      p <- ps
      let
        qe = m M.! (q,s)
        pe = m M.! (s,p)
      case ss of
        Just u -> return ((q,p),Con (Con qe (Star u)) pe)
        Nothing -> return ((q,p),Con qe pe)
    m3 = M.fromList $ map (,()) $ [(q,s)|q<-qs] ++ [(s,p)|p<-ps] ++ [(s,s)]
  in RFA u $ M.unionWith Alt (m M.\\ m3) m2

extr :: RFA -> Regex
extr (RFA x m) = case (0,x-1)`M.lookup`m of
  Just e -> e
  Nothing -> Null

simp :: Regex -> Regex
simp (Sym c) = Sym c
simp (Star r) = case simp r of
  Star r' -> Star r'
  Eps -> Eps
  a -> Star a
simp (Alt a b) = case (simp a,simp b) of
  (Eps,Eps) -> Eps
  (Con p q, Con r s)
    | p == r -> simp $ Con p $ simp $ Alt q s
    | otherwise -> Alt (Con p q) (Con r s)
  (Con p q, r)
    | p == r -> simp $ Con p $ simp $ Alt q Eps
    | otherwise -> Alt (Con p q) r
  (r, Con p q)
    | r == p -> simp $ Con p $ simp $ Alt Eps q
    | otherwise -> Alt r (Con p q)
  (a',b') -> Alt a' b'
simp (Con Eps b) = simp b
simp (Con a Eps) = simp a
simp (Con a b) = case (simp a,simp b) of
  (Eps,b') -> b'
  (a',Eps) -> a'
  (Con a' a'',b') -> simp $ Con a' (simp $ Con a'' b')
  (a',b') -> Con a' b'
simp Eps = Eps
simp Null = Null

dfaReg :: DFA -> Regex
dfaReg d@(DFA x _ _) = simp $ extr $ a 1 $ faR d where
  a p
    | p == x+1 = id
    | otherwise = a (p+1) . elim p

allStrings :: Int -> String
allStrings x = unlines $ sortBy (compare`on`length) $ map (show.head) $ group $ sort $ map dfaReg $ allDFA x

poyo

0
1
.
ε
φ
1*
[0]
[1]
[.]
00*
01*
0.*
10*
11*
1.*
1*0
.0*
.1*
..*
...*
[00*]
[01*]
[0.*]
[10*]
[11*]
[1.*]
[.0*]
[.1*]
[..*]
1*[0]
1*00*
1*01*
1*0.*
[...*]
0(00)*
0(10)*
0(.0)*
1(01)*
1(11)*
1(.1)*
1*0..*
.(0.)*
.(1.)*
.(..)*
.[..*]
.0*1.*
.1*0.*
1*[00*]
1*[01*]
1*[0.*]
.(...)*
.(..)*.
..(..)*
[.(..)*]
[.0*1.*]
[.1*0.*]
0(0|10)*
0(1|00)*
1(0|11)*
1(1|01)*
1*[0..*]
1*0(..)*
1*0[..*]
1*00*1.*
1*01*0.*
.(0|1.)*
.(1|0.)*
.(.0*1)*
.(.1*0)*
.0*[1.*]
.1*[0.*]
.(...)*.
..(...)*
(0|1.).*
(1|0.).*
(0.*|1.*)
(1.*|0.*)
[0(00)*0]
[0(10)*1]
[0(.0)*.]
[1(01)*0]
[1(11)*1]
[1(.1)*.]
[.(0.)*0]
[.(1.)*1]
[.(..)*.]
[..(..)*]
1*0(..)*.
1*0.(..)*
.(0|1..)*
.(1|0..)*
.(0.|1.)*
.(1.|0.)*
.(.0*1.)*
.(.1*0.)*
.(0|1.)*1
.(1|0.)*0
.(0.)*1.*
.(1.)*0.*
.(..)*[.]
..(0|1.)*
..(1|0.)*
(0.*|1..*)
(1.*|0..*)
[.(0|1.)*]
[.(1|0.)*]
[.(.0*1)*]
[.(.1*0)*]
[(0|1.).*]
[(1|0.).*]
1*[0(..)*]
1*[00*1.*]
1*[01*0.*]
1*0(0|1.)*
1*0(1|0.)*
1*0(01*0)*
1*0(11*0)*
1*0(.0*1)*
1*0(.1*0)*
1*00*[1.*]
1*01*[0.*]
.(0|10*1)*
.(0|11*0)*
.(1|00*1)*
.(1|01*0)*
.(0.|1..)*
.(1.|0..)*
.[.(..)*.]
.(0|1..)*1
.(1|0..)*0
.(0.|1.)*1
.(1.|0.)*0
.(...)*[.]
..(0|1..)*
..(1|0..)*
(0|10*1).*
(0|11*0).*
(1|00*1).*
(1|01*0).*
[0(0|10)*1]
[0(1|00)*0]
[0(00)*[0]]
[0(10)*[1]]
[0(.0)*[.]]
[1(0|11)*1]
[1(1|01)*0]
[1(01)*[0]]
[1(11)*[1]]
[1(.1)*[.]]
[.(0|1.)*1]
[.(1|0.)*0]
[.(0.)*[0]]
[.(1.)*[1]]
[.(..)*[.]]
[.(...)*..]
[..(0|1.)*]
[..(1|0.)*]
[..(...)*.]
1*[0(..)*.]
1*[0.(..)*]
1*0(..1*0)*
1*0(0|1.)*1
1*0(1|0.)*0
1*0(..)*[.]
1*0.(0|1.)*
1*0.(1|0.)*
.(0|10*1.)*
.(0|11*0.)*
.(1|00*1.)*
.(1|01*0.)*
.(0.|10*1)*
.(0.|11*0)*
.(1.|00*1)*
.(1.|01*0)*
.(.(0|1.))*
.(.(1|0.))*
.0*1(.0*1)*
.1*0(.1*0)*
.(0|1.)*[1]
.(1|0.)*[0]
.(0.|1..)*1
.(1.|0..)*0
.(0.)*[1.*]
.(1.)*[0.*]
.(.0*1)*.0*
.(.1*0)*.1*
(0|1.)(..)*
(1|0.)(..)*
(0|(1|0.).*)
(1|(0|1.).*)
([0.*]|1..*)
([1.*]|0..*)
(0.*|1[..*])
(0.*|10*1.*)
(0.*|11*0.*)
(1.*|0[..*])
(1.*|00*1.*)
(1.*|01*0.*)
[.(0|10*1)*]
[.(0|11*0)*]
[.(1|00*1)*]
[.(1|01*0)*]
[.(0.|1.)*0]
[.(0.|1.)*.]
[.(1.|0.)*1]
[.(1.|0.)*.]
[(0|10*1).*]
[(0|11*0).*]
[(1|00*1).*]
[(1|01*0).*]
1*[0(0|1.)*]
1*[0(1|0.)*]
1*[0(.0*1)*]
1*[0(.1*0)*]
1*0(0|10*1)*
1*0(0|11*0)*
1*0(1|00*1)*
1*0(1|01*0)*
1*0[.(..)*.]
1*0(..1*0)*.
1*0.(.1*0.)*
.(0.|10*1.)*
.(0.|11*0.)*
.(1.|00*1.)*
.(1.|01*0.)*
.[.(0|1.)*1]
.[.(1|0.)*0]
.[.(..)*[.]]
.[.(...)*..]
.0*1(..0*1)*
.1*0(..1*0)*
.(0|1..)*[1]
.(1|0..)*[0]
.(0.|1.)*[1]
.(1.|0.)*[0]
.(.(0|1.))*.
.(.(1|0.))*.
.(.0*1.)*.0*
.(.1*0.)*.1*
..((0|1.).)*
..((1|0.).)*
[0(0|10)*[1]]
[0(1|00)*[0]]
[1(0|11)*[1]]
[1(1|01)*[0]]
[.0*1(.0*1)*]
[.1*0(.1*0)*]
[.(0|1.)*[1]]
[.(0|1..)*1.]
[.(1|0.)*[0]]
[.(1|0..)*0.]
[.(.0*1)*.0*]
[.(.1*0)*.1*]
[.(...)*[..]]
[.(...)*.[.]]
[..(0|1..)*1]
[..(1|0..)*0]
[..(...)*[.]]
[(0|1.)(..)*]
[(1|0.)(..)*]
1*[0(0|1.)*1]
1*[0(1|0.)*0]
1*[0.(0|1.)*]
1*[0.(1|0.)*]
1*0(0|1.1*0)*
1*0(1|0.1*0)*
1*0(01*0|1.)*
1*0(11*0|0.)*
1*0(.0*11*0)*
1*0(.1*01*0)*
1*00*1(.0*1)*
1*01*0(.1*0)*
1*0(0|1.)*[1]
1*0(1|0.)*[0]
1*0(01*0)*1.*
1*0(11*0)*0.*
1*0(.0*1)*.0*
1*0(.1*0)*.1*
.(0|1(0|1.))*
.(0|1(1|0.))*
.(1|0(0|1.))*
.(1|0(1|0.))*
.0*1(0|10*1)*
.0*1(1|00*1)*
.1*0(0|11*0)*
.1*0(1|01*0)*
.(0|10*1)*10*
.(0|11*0)*11*
.(1|00*1)*00*
.(1|01*0)*01*
.(0.|1..)*[1]
.(1.|0..)*[0]
.(.0*1)*[.0*]
.(.1*0)*[.1*]
(0|1.)(0|1.)*
(0|1.)(1|0.)*
(1|0.)(0|1.)*
(1|0.)(1|0.)*
([.]|..(..)*.)
([0.*]|10*1.*)
([0.*]|11*0.*)
([1.*]|00*1.*)
([1.*]|01*0.*)
(0.*|10*[1.*])
(0.*|11*[0.*])
(1.*|00*[1.*])
(1.*|01*[0.*])
[.(0.|1.)*[0]]
[.(0.|10*1)*0]
[.(0.|11*0)*0]
[.(1.|0.)*[1]]
[.(1.|00*1)*1]
[.(1.|01*0)*1]
1*[0(0|10*1)*]
1*[0(0|11*0)*]
1*[0(1|00*1)*]
1*[0(1|01*0)*]
1*0[.(0|1.)*1]
1*0[.(1|0.)*0]
1*0[.(..)*[.]]
1*0(0|1.1*0)*1
1*0(1|0.1*0)*0
1*0(01*0|1.)*1
1*0(11*0|0.)*0
1*0(..1*0)*[.]
1*0.(0|11*0.)*
1*0.(1|01*0.)*
.(0.|1(0|1.))*
.(0.|1(1|0.))*
.(1.|0(0|1.))*
.(1.|0(1|0.))*
.[.(0|1.)*[1]]
.[.(0|1..)*1.]
.[.(1|0.)*[0]]
.[.(1|0..)*0.]
.[.(...)*[..]]
.0*1(0|1.0*1)*
.0*1(1|0.0*1)*
.1*0(0|1.1*0)*
.1*0(1|0.1*0)*
.(0|1(0|1.))*1
.(0|1(1|0.))*1
.(0|10*1.)*10*
.(0|11*0.)*11*
.(1|0(0|1.))*0
.(1|0(1|0.))*0
.(1|00*1.)*00*
.(1|01*0.)*01*
.(0.|10*1)*10*
.(0.|11*0)*11*
.(1.|00*1)*00*
.(1.|01*0)*01*
.(.(0|1.))*[.]
.(.(1|0.))*[.]
.(.0*1.)*[.0*]
.(.1*0.)*[.1*]
(0|1(.1)*.0).*
(1|0(.0)*.1).*
[.0*1(0|10*1)*]
[.0*1(1|00*1)*]
[.0*1(..0*1)*.]
[.1*0(0|11*0)*]
[.1*0(1|01*0)*]
[.1*0(..1*0)*.]
[.(0|10*1)*10*]
[.(0|11*0)*11*]
[.(0|1..)*[1.]]
[.(0|1..)*1[.]]
[.(1|00*1)*00*]
[.(1|01*0)*01*]
[.(1|0..)*[0.]]
[.(1|0..)*0[.]]
[.(0.)*(0|1.*)]
[.(1.)*(1|0.*)]
[.(.(0|1.))*.1]
[.(.(1|0.))*.0]
[.(.0*1.)*.0*1]
[.(.1*0.)*.1*0]
[..(0|1..)*[1]]
[..(1|0..)*[0]]
[..((0|1.).)*1]
[..((1|0.).)*0]
[(0|1.)(0|1.)*]
[(0|1.)(1|0.)*]
[(1|0.)(0|1.)*]
[(1|0.)(1|0.)*]
1*[00*1(.0*1)*]
1*[01*0(.1*0)*]
1*[0(01*0)*01*]
1*[0(11*0)*11*]
1*[0(.0*1)*.0*]
1*[0(.1*0)*.1*]
1*0(0|10*11*0)*
1*0(0|11*01*0)*
1*0(1|00*11*0)*
1*0(1|01*01*0)*
1*0(01*0|10*1)*
1*0(01*0|11*0)*
1*0(11*0|00*1)*
1*0(11*0|01*0)*
1*0(.(0|11*0))*
1*0(.(1|01*0))*
1*00*1(0|10*1)*
1*00*1(1|00*1)*
1*01*0(0|11*0)*
1*01*0(1|01*0)*
1*0(0|10*1)*10*
1*0(0|11*0)*11*
1*0(1|00*1)*00*
1*0(1|01*0)*01*
1*0(01*0)*[1.*]
1*0(11*0)*[0.*]
1*0(.0*1)*[.0*]
1*0(.1*0)*[.1*]
.(0|10*1)*[10*]
.(0|11*0)*[11*]
.(1|00*1)*[00*]
.(1|01*0)*[01*]
.(0.|1(0|1.))*1
.(0.|1(1|0.))*1
.(0.|10*1.)*10*
.(0.|11*0.)*11*
.(1.|0(0|1.))*0
.(1.|0(1|0.))*0
.(1.|00*1.)*00*
.(1.|01*0.)*01*
(0|10*1)(.0*1)*
(0|11*0)(.1*0)*
(1|00*1)(.0*1)*
(1|01*0)(.1*0)*
(0|(1|0.)(..)*.)
(1|(0|1.)(..)*.)
([.]|..(0|1.)*1)
([.]|..(1|0.)*0)
(00*|(1|00*1).*)
(01*|(1|01*0).*)
(0.*|1(.1)*.0.*)
(10*|(0|10*1).*)
(11*|(0|11*0).*)
(1.*|0(.0)*.1.*)
[.(0.|10*1)*[0]]
[.(0.|11*0)*[0]]
[.(1.|00*1)*[1]]
[.(1.|01*0)*[1]]
1*([0]|0.(..)*.)
1*0(01*0|1.1*0)*
1*0(11*0|0.1*0)*
1*0[.(0|1.)*[1]]
1*0[.(1|0.)*[0]]
1*00*1(.1*00*1)*
1*01*0(.1*01*0)*
1*0(0|1.1*0)*[1]
1*0(1|0.1*0)*[0]
1*0(01*0|1.)*[1]
1*0(11*0|0.)*[0]
1*0(.(0|11*0))*.
1*0(.(1|01*0))*.
1*0(.0*11*0)*.0*
1*0(.1*01*0)*.1*
1*0.((0|11*0).)*
1*0.((1|01*0).)*
.[.(0|1..)*[1.]]
.[.(1|0..)*[0.]]
.0*[1(.0*1)*.0*]
.0*1((0|1.)0*1)*
.0*1((1|0.)0*1)*
.1*[0(.1*0)*.1*]
.1*0((0|1.)1*0)*
.1*0((1|0.)1*0)*
.(0|1(0|1.))*[1]
.(0|1(1|0.))*[1]
.(0|10*1.)*[10*]
.(0|11*0.)*[11*]
.(1|0(0|1.))*[0]
.(1|0(1|0.))*[0]
.(1|00*1.)*[00*]
.(1|01*0.)*[01*]
.(0.|10*1)*[10*]
.(0.|11*0)*[11*]
.(1.|00*1)*[00*]
.(1.|01*0)*[01*]
(0|1.)(.(0|1.))*
(0|1(0|11)*10).*
(0|1(1|01)*00).*
(1|0.)(.(1|0.))*
(1|0(0|10)*11).*
(1|0(1|00)*01).*
[.0*1(0|1.0*1)*1]
[.0*1(1|0.0*1)*0]
[.0*1(..0*1)*[.]]
[.1*0(0|1.1*0)*1]
[.1*0(1|0.1*0)*0]
[.1*0(..1*0)*[.]]
[.(0|1(0|1.))*11]
[.(0|1(1|0.))*10]
[.(0|10*1.)*10*1]
[.(0|11*0.)*11*0]
[.(1|0(0|1.))*01]
[.(1|0(1|0.))*00]
[.(1|00*1.)*00*1]
[.(1|01*0.)*01*0]
[.(.(0|1.))*[.1]]
[.(.(0|1.))*.[1]]
[.(.(1|0.))*[.0]]
[.(.(1|0.))*.[0]]
[.(.0*1.)*[.0*1]]
[.(.0*1.)*.0*[1]]
[.(.1*0.)*[.1*0]]
[.(.1*0.)*.1*[0]]
[..((0|1.).)*[1]]
[..((1|0.).)*[0]]
[(0|10*1)(.0*1)*]
[(0|11*0)(.1*0)*]
[(1|00*1)(.0*1)*]
[(1|01*0)(.1*0)*]
1*[00*1(0|10*1)*]
1*[00*1(1|00*1)*]
1*[01*0(0|11*0)*]
1*[01*0(1|01*0)*]
1*[0(0|10*1)*10*]
1*[0(0|11*0)*11*]
1*[0(1|00*1)*00*]
1*[0(1|01*0)*01*]
1*[0(01*0)*[01*]]
1*[0(11*0)*[11*]]
1*[0(.1*0)*[.1*]]
1*[0(..1*0)*..1*]
1*[0.(.1*0.)*.1*]
1*0(0|1(0|11*0))*
1*0(0|1(1|01*0))*
1*0(1|0(0|11*0))*
1*0(1|0(1|01*0))*
1*0(0|10*1)*[10*]
1*0(0|11*0)*[11*]
1*0(1|00*1)*[00*]
1*0(1|01*0)*[01*]
1*0(01*0|1.1*0)*1
1*0(11*0|0.1*0)*0
.(0.|1(0|1.))*[1]
.(0.|1(1|0.))*[1]
.(0.|10*1.)*[10*]
.(0.|11*0.)*[11*]
.(1.|0(0|1.))*[0]
.(1.|0(1|0.))*[0]
.(1.|00*1.)*[00*]
.(1.|01*0.)*[01*]
.(0.)*1(.(0.)*1)*
.(1.)*0(.(1.)*0)*
(0|10*1)(0|10*1)*
(0|10*1)(1|00*1)*
(0|11*0)(0|11*0)*
(0|11*0)(1|01*0)*
(1|00*1)(0|10*1)*
(1|00*1)(1|00*1)*
(1|01*0)(0|11*0)*
(1|01*0)(1|01*0)*
(0|(1|0.)(0|1.)*1)
(0|(1|0.)(1|0.)*0)
(0|(1|0.)(..)*[.])
(1|(0|1.)(0|1.)*1)
(1|(0|1.)(1|0.)*0)
(1|(0|1.)(..)*[.])
([0]|(1|0.)(..)*.)
([1]|(0|1.)(..)*.)
([.]|..(...)*.[.])
(0.*|1(0|11)*10.*)
(0.*|1(1|01)*00.*)
(0.*|1(.1)*[.0.*])
(1.*|0(0|10)*11.*)
(1.*|0(1|00)*01.*)
(1.*|0(.0)*[.1.*])
[.(0.|1..)*(0|1.)]
[.(1.|0..)*(1|0.)]
1*([0]|0.(0|1.)*1)
1*([0]|0.(1|0.)*0)
1*[0(01*0|1.)*01*]
1*[0(11*0|0.)*11*]
1*0(01*0|10*11*0)*
1*0(01*0|11*01*0)*
1*0(11*0|00*11*0)*
1*0(11*0|01*01*0)*
1*0[.(.1*0.)*.1*0]
1*00*[1(.0*1)*.0*]
1*00*1(0|11*00*1)*
1*00*1(1|01*00*1)*
1*01*[0(.1*0)*.1*]
1*01*0(0|11*01*0)*
1*01*0(1|01*01*0)*
1*0(0|1(0|11*0))*1
1*0(0|1(1|01*0))*1
1*0(0|10*11*0)*10*
1*0(0|11*01*0)*11*
1*0(1|0(0|11*0))*0
1*0(1|0(1|01*0))*0
1*0(1|00*11*0)*00*
1*0(1|01*01*0)*01*
1*0(01*0|10*1)*10*
1*0(01*0|11*0)*11*
1*0(11*0|00*1)*00*
1*0(11*0|01*0)*01*
1*0(.(0|11*0))*[.]
1*0(.(1|01*0))*[.]
1*0(.0*11*0)*[.0*]
1*0(.1*01*0)*[.1*]
.0*[1(0|10*1)*10*]
.0*[1(1|00*1)*00*]
.0*[1(.0*1)*[.0*]]
.0*[1(..0*1)*..0*]
.1*[0(0|11*0)*11*]
.1*[0(1|01*0)*01*]
.1*[0(.1*0)*[.1*]]
.1*[0(..1*0)*..1*]
.(0.)*1(..(0.)*1)*
.(1.)*0(..(1.)*0)*
(0|1(01)*(1|00)).*
(0|1(11)*(0|10)).*
(1|0(00)*(1|01)).*
(1|0(10)*(0|11)).*
[.0*1(0|1.0*1)*[1]]
[.0*1(1|0.0*1)*[0]]
[.0*1((0|1.)0*1)*1]
[.0*1((1|0.)0*1)*0]
[.1*0(0|1.1*0)*[1]]
[.1*0(1|0.1*0)*[0]]
[.1*0((0|1.)1*0)*1]
[.1*0((1|0.)1*0)*0]
[.(0|1(0|1.))*[11]]
[.(0|1(0|1.))*1[1]]
[.(0|1(1|0.))*[10]]
[.(0|1(1|0.))*1[0]]
[.(0|10*1.)*[10*1]]
[.(0|10*1.)*10*[1]]
[.(0|11*0.)*[11*0]]
[.(0|11*0.)*11*[0]]
[.(1|0(0|1.))*[01]]
[.(1|0(0|1.))*0[1]]
[.(1|0(1|0.))*[00]]
[.(1|0(1|0.))*0[0]]
[.(1|00*1.)*[00*1]]
[.(1|00*1.)*00*[1]]
[.(1|01*0.)*[01*0]]
[.(1|01*0.)*01*[0]]
[(0|1.)(.(0|1.))*.]
[(0|10*1)(0|10*1)*]
[(0|10*1)(1|00*1)*]
[(0|11*0)(0|11*0)*]
[(0|11*0)(1|01*0)*]
[(1|0.)(.(1|0.))*.]
[(1|00*1)(0|10*1)*]
[(1|00*1)(1|00*1)*]
[(1|01*0)(0|11*0)*]
[(1|01*0)(1|01*0)*]
1*[0(0|11*0)*[11*]]
1*[0(0|1.1*0)*1.1*]
1*[0(1|01*0)*[01*]]
1*[0(1|0.1*0)*0.1*]
1*[0(..1*0)*[..1*]]
1*[0(..1*0)*.[.1*]]
1*[0.(0|11*0.)*11*]
1*[0.(1|01*0.)*01*]
1*[0.(.1*0.)*[.1*]]
1*0(01*0|1.1*0)*[1]
1*0(11*0|0.1*0)*[0]
.(0.)*1(0|1(0.)*1)*
.(0.)*1(1|0(0.)*1)*
.(1.)*0(0|1(1.)*0)*
.(1.)*0(1|0(1.)*0)*
(0|1.)((0|10)|11.)*
(0|1.)((1|00)|01.)*
(0|1.)(00|(1|01).)*
(0|1.)(10|(0|11).)*
(1|0.)((0|11)|10.)*
(1|0.)((1|01)|00.)*
(1|0.)(01|(1|00).)*
(1|0.)(11|(0|10).)*
(0|(1|0.)(0|1.)*[1])
(0|(1|0.)(1|0.)*[0])
(1|(0|1.)(0|1.)*[1])
(1|(0|1.)(1|0.)*[0])
([0]|(1|0.)(0|1.)*1)
([0]|(1|0.)(1|0.)*0)
([1]|(0|1.)(0|1.)*1)
([1]|(0|1.)(1|0.)*0)
([.]|..(0|1..)*1[.])
([.]|..(1|0..)*0[.])
([0.*]|1(.1)*.[0.*])
([1.*]|0(.0)*.[1.*])
(0.*|1(0|11)*[10.*])
(0.*|1(1|01)*[00.*])
(0.*|1(01)*(1|00).*)
(0.*|1(11)*(0|10).*)
(1.*|0(0|10)*[11.*])
(1.*|0(1|00)*[01.*])
(1.*|0(00)*(1|01).*)
(1.*|0(10)*(0|11).*)
[.(0.|10*1)*(0|10*)]
[.(0.|11*0)*(0|11*)]
[.(0.|1..)*(0|1[.])]
[.(0.|1..)*([0]|1.)]
[.(1.|00*1)*(1|00*)]
[.(1.|01*0)*(1|01*)]
[.(1.|0..)*(1|0[.])]
[.(1.|0..)*([1]|0.)]
1*[0(01*0|1.)*[01*]]
1*[0(01*0|10*1)*01*]
1*[0(01*0|11*0)*01*]
1*[0(11*0|0.)*[11*]]
1*[0(11*0|00*1)*11*]
1*[0(11*0|01*0)*11*]
1*0(01*0|1(0|11*0))*
1*0(01*0|1(1|01*0))*
1*0(11*0|0(0|11*0))*
1*0(11*0|0(1|01*0))*
1*0[.(0|11*0.)*11*0]
1*0[.(1|01*0.)*01*0]
1*0[.(.1*0.)*[.1*0]]
1*00*[1(0|10*1)*10*]
1*00*[1(1|00*1)*00*]
1*00*[1(.0*1)*[.0*]]
1*00*1((0|11*0)0*1)*
1*00*1((1|01*0)0*1)*
1*01*[0(0|11*0)*11*]
1*01*[0(1|01*0)*01*]
1*01*[0(.1*0)*[.1*]]
1*01*0((0|11*0)1*0)*
1*01*0((1|01*0)1*0)*
1*0(0|1(0|11*0))*[1]
1*0(0|1(1|01*0))*[1]
1*0(0|10*11*0)*[10*]
1*0(0|11*01*0)*[11*]
1*0(1|0(0|11*0))*[0]
1*0(1|0(1|01*0))*[0]
1*0(1|00*11*0)*[00*]
1*0(1|01*01*0)*[01*]
1*0(01*0|10*1)*[10*]
1*0(01*0|11*0)*[11*]
1*0(11*0|00*1)*[00*]
1*0(11*0|01*0)*[01*]
.[.((0|1.).)*(0|1.)]
.[.((1|0.).)*(1|0.)]
.0*[1(0|10*1)*[10*]]
.0*[1(0|1.0*1)*1.0*]
.0*[1(1|00*1)*[00*]]
.0*[1(1|0.0*1)*0.0*]
.0*[1(..0*1)*[..0*]]
.1*[0(0|11*0)*[11*]]
.1*[0(0|1.1*0)*1.1*]
.1*[0(1|01*0)*[01*]]
.1*[0(1|0.1*0)*0.1*]
.1*[0(..1*0)*[..1*]]
.(0.)*1(0|1.(0.)*1)*
.(0.)*1(1|0.(0.)*1)*
.(1.)*0(0|1.(1.)*0)*
.(1.)*0(1|0.(1.)*0)*
(0|10*1)(.(0|10*1))*
(0|11*0)(.(0|11*0))*
(1|00*1)(.(1|00*1))*
(1|01*0)(.(1|01*0))*
([.(0.)*0]|.(0.)*1.*)
([.(1.)*1]|.(1.)*0.*)
[.0*1((0|1.)0*1)*[1]]
[.0*1((1|0.)0*1)*[0]]
[.1*0((0|1.)1*0)*[1]]
[.1*0((1|0.)1*0)*[0]]
[(0|1.)(.(0|1.))*[.]]
[(1|0.)(.(1|0.))*[.]]
1*[00*1(.1*00*1)*.1*]
1*[01*0(.1*01*0)*.1*]
1*[0(0|1.1*0)*[1.1*]]
1*[0(0|1.1*0)*1[.1*]]
1*[0(1|0.1*0)*[0.1*]]
1*[0(1|0.1*0)*0[.1*]]
1*[0(01*0)*(01*|1.*)]
1*[0(11*0)*(11*|0.*)]
1*[0(.(0|11*0))*.11*]
1*[0(.(1|01*0))*.01*]
1*[0(.0*11*0)*.0*11*]
1*[0(.1*01*0)*.1*01*]
1*[0.(0|11*0.)*[11*]]
1*[0.(1|01*0.)*[01*]]
1*[0.((0|11*0).)*11*]
1*[0.((1|01*0).)*01*]
1*0(01*0|1(0|11*0))*1
1*0(01*0|1(1|01*0))*1
1*0(01*0|10*11*0)*10*
1*0(01*0|11*01*0)*11*
1*0(11*0|0(0|11*0))*0
1*0(11*0|0(1|01*0))*0
1*0(11*0|00*11*0)*00*
1*0(11*0|01*01*0)*01*
(0|(1|0.)(.(1|0.))*.0)
(1|(0|1.)(.(0|1.))*.1)
([0.*]|1(0|11)*1[0.*])
([0.*]|1(1|01)*0[0.*])
([1.*]|0(0|10)*1[1.*])
([1.*]|0(1|00)*0[1.*])
([.0*]|.0*1(.0*1)*.0*)
([.1*]|.1*0(.1*0)*.1*)
(0.*|1(01)*[(1|00).*])
(0.*|1(11)*[(0|10).*])
(1.*|0(00)*[(1|01).*])
(1.*|0(10)*[(0|11).*])
[.(0.|1(0|1.))*(0|11)]
[.(0.|1(1|0.))*(0|10)]
[.(0.|10*1.)*(0|10*1)]
[.(0.|11*0.)*(0|11*0)]
[.(1.|0(0|1.))*(1|01)]
[.(1.|0(1|0.))*(1|00)]
[.(1.|00*1.)*(1|00*1)]
[.(1.|01*0.)*(1|01*0)]
[(0|1.)((0|10)|11.)*1]
[(0|1.)((1|00)|01.)*0]
[(0|1.)(00|(1|01).)*0]
[(0|1.)(10|(0|11).)*1]
[(1|0.)((0|11)|10.)*1]
[(1|0.)((1|01)|00.)*0]
[(1|0.)(01|(1|00).)*0]
[(1|0.)(11|(0|10).)*1]
1*[0(01*0|1.)*(01*|1)]
1*[0(01*0|10*1)*[01*]]
1*[0(01*0|11*0)*[01*]]
1*[0(11*0|0.)*(11*|0)]
1*[0(11*0|00*1)*[11*]]
1*[0(11*0|01*0)*[11*]]
1*0[.(0|11*0.)*[11*0]]
1*0[.(1|01*0.)*[01*0]]
1*00*[1(0|10*1)*[10*]]
1*00*[1(1|00*1)*[00*]]
1*01*[0(0|11*0)*[11*]]
1*01*[0(1|01*0)*[01*]]
.[.((0|1.).)*[(0|1.)]]
.[.((1|0.).)*[(1|0.)]]
.0*[1(0|1.0*1)*[1.0*]]
.0*[1(1|0.0*1)*[0.0*]]
.1*[0(0|1.1*0)*[1.1*]]
.1*[0(1|0.1*0)*[0.1*]]
.(0.)*1((0|1.)(0.)*1)*
.(0.)*1((1|0.)(0.)*1)*
.(1.)*0((0|1.)(1.)*0)*
.(1.)*0((1|0.)(1.)*0)*
(0(.0)*|(1|0(.0)*.1).*)
(1(.1)*|(0|1(.1)*.0).*)
[(0|10*1)(.(0|10*1))*.]
[(0|11*0)(.(0|11*0))*.]
[(1|00*1)(.(1|00*1))*.]
[(1|01*0)(.(1|01*0))*.]
1*[00*1(0|11*00*1)*11*]
1*[00*1(1|01*00*1)*01*]
1*[00*1(.1*00*1)*[.1*]]
1*[01*0(0|11*01*0)*11*]
1*[01*0(1|01*01*0)*01*]
1*[01*0(.1*01*0)*[.1*]]
1*[0(0|1(0|11*0))*111*]
1*[0(0|1(1|01*0))*101*]
1*[0(0|10*11*0)*10*11*]
1*[0(0|11*01*0)*11*01*]
1*[0(1|0(0|11*0))*011*]
1*[0(1|0(1|01*0))*001*]
1*[0(1|00*11*0)*00*11*]
1*[0(1|01*01*0)*01*01*]
1*[0(.(0|11*0))*[.11*]]
1*[0(.(0|11*0))*.[11*]]
1*[0(.(1|01*0))*[.01*]]
1*[0(.(1|01*0))*.[01*]]
1*[0(.0*11*0)*[.0*11*]]
1*[0(.0*11*0)*.0*[11*]]
1*[0(.1*01*0)*[.1*01*]]
1*[0(.1*01*0)*.1*[01*]]
1*[0.((0|11*0).)*[11*]]
1*[0.((1|01*0).)*[01*]]
1*0(01*0|1(0|11*0))*[1]
1*0(01*0|1(1|01*0))*[1]
1*0(01*0|10*11*0)*[10*]
1*0(01*0|11*01*0)*[11*]
1*0(11*0|0(0|11*0))*[0]
1*0(11*0|0(1|01*0))*[0]
1*0(11*0|00*11*0)*[00*]
1*0(11*0|01*01*0)*[01*]
1*0(01*0)*1(.(01*0)*1)*
1*0(11*0)*0(.(11*0)*0)*
(0|10*1)((0|10)|110*1)*
(0|10*1)((1|00)|010*1)*
(0|10*1)(00|(1|01)0*1)*
(0|10*1)(10|(0|11)0*1)*
(0|11*0)((0|10)|111*0)*
(0|11*0)((1|00)|011*0)*
(0|11*0)(00|(1|01)1*0)*
(0|11*0)(10|(0|11)1*0)*
(0|1(.1)*.0)(.(.1)*.0)*
(1|00*1)((0|11)|100*1)*
(1|00*1)((1|01)|000*1)*
(1|00*1)(01|(1|00)0*1)*
(1|00*1)(11|(0|10)0*1)*
(1|01*0)((0|11)|101*0)*
(1|01*0)((1|01)|001*0)*
(1|01*0)(01|(1|00)1*0)*
(1|01*0)(11|(0|10)1*0)*
(1|0(.0)*.1)(.(.0)*.1)*
(0|(1|0.)(.(1|0.))*[.0])
(1|(0|1.)(.(0|1.))*[.1])
([.0*]|.0*1(0|10*1)*10*)
([.0*]|.0*1(1|00*1)*00*)
([.1*]|.1*0(0|11*0)*11*)
([.1*]|.1*0(1|01*0)*01*)
(00*|(1|00*1)(.0*1)*.0*)
(01*|(1|01*0)(.1*0)*.1*)
(10*|(0|10*1)(.0*1)*.0*)
(11*|(0|11*0)(.1*0)*.1*)
[.(0.|1(0|1.))*(0|1[1])]
[.(0.|1(0|1.))*([0]|11)]
[.(0.|1(1|0.))*(0|1[0])]
[.(0.|1(1|0.))*([0]|10)]
[.(0.|10*1.)*(0|10*[1])]
[.(0.|10*1.)*([0]|10*1)]
[.(0.|11*0.)*(0|11*[0])]
[.(0.|11*0.)*([0]|11*0)]
[.(1.|0(0|1.))*(1|0[1])]
[.(1.|0(0|1.))*([1]|01)]
[.(1.|0(1|0.))*(1|0[0])]
[.(1.|0(1|0.))*([1]|00)]
[.(1.|00*1.)*(1|00*[1])]
[.(1.|00*1.)*([1]|00*1)]
[.(1.|01*0.)*(1|01*[0])]
[.(1.|01*0.)*([1]|01*0)]
[(0|1.)((0|10)|11.)*[1]]
[(0|1.)((1|00)|01.)*[0]]
[(0|1.)(00|(1|01).)*[0]]
[(0|1.)(10|(0|11).)*[1]]
[(1|0.)((0|11)|10.)*[1]]
[(1|0.)((1|01)|00.)*[0]]
[(1|0.)(01|(1|00).)*[0]]
[(1|0.)(11|(0|10).)*[1]]
1*([0]|0.(.1*0.)*.1*[0])
1*([00*]|00*1(.0*1)*.0*)
1*([01*]|01*0(.1*0)*.1*)
1*00*[1(.1*00*1)*.1*00*]
1*01*[0(.1*01*0)*.1*01*]
(0|(1|0.)((0|11)|10.)*10)
(0|(1|0.)((1|01)|00.)*00)
(1|(0|1.)((0|10)|11.)*11)
(1|(0|1.)((1|00)|01.)*01)
[(0|10*1)(.(0|10*1))*[.]]
[(0|11*0)(.(0|11*0))*[.]]
[(1|00*1)(.(1|00*1))*[.]]
[(1|01*0)(.(1|01*0))*[.]]
1*[00*1(0|11*00*1)*[11*]]
1*[00*1(1|01*00*1)*[01*]]
1*[00*1((0|11*0)0*1)*11*]
1*[00*1((1|01*0)0*1)*01*]
1*[01*0(0|11*01*0)*[11*]]
1*[01*0(1|01*01*0)*[01*]]
1*[01*0((0|11*0)1*0)*11*]
1*[01*0((1|01*0)1*0)*01*]
1*[0(0|1(0|11*0))*[111*]]
1*[0(0|1(0|11*0))*1[11*]]
1*[0(0|1(1|01*0))*[101*]]
1*[0(0|1(1|01*0))*1[01*]]
1*[0(0|10*11*0)*[10*11*]]
1*[0(0|10*11*0)*10*[11*]]
1*[0(0|11*01*0)*[11*01*]]
1*[0(0|11*01*0)*11*[01*]]
1*[0(1|0(0|11*0))*[011*]]
1*[0(1|0(0|11*0))*0[11*]]
1*[0(1|0(1|01*0))*[001*]]
1*[0(1|0(1|01*0))*0[01*]]
1*[0(1|00*11*0)*[00*11*]]
1*[0(1|00*11*0)*00*[11*]]
1*[0(1|01*01*0)*[01*01*]]
1*[0(1|01*01*0)*01*[01*]]
1*0(01*0)*1(0|1(01*0)*1)*
1*0(01*0)*1(1|0(01*0)*1)*
1*0(11*0)*0(0|1(11*0)*0)*
1*0(11*0)*0(1|0(11*0)*0)*
.(0.)*[1(.(0.)*1)*.(0.)*]
.(1.)*[0(.(1.)*0)*.(1.)*]
(0|1(.1)*.0)(0|1(.1)*.0)*
(0|1(.1)*.0)(1|0(.1)*.0)*
(1|0(.0)*.1)(0|1(.0)*.1)*
(1|0(.0)*.1)(1|0(.0)*.1)*
([0]|(1|0.)(.(1|0.))*.[0])
([1]|(0|1.)(.(0|1.))*.[1])
([00*]|(1|00*1)(.0*1)*.0*)
([01*]|(1|01*0)(.1*0)*.1*)
([0.*]|1(01)*(0|(1|00).*))
([0.*]|1(11)*(1|(0|10).*))
([0(.0)*.]|(1|0(.0)*.1).*)
([10*]|(0|10*1)(.0*1)*.0*)
([11*]|(0|11*0)(.1*0)*.1*)
([1.*]|0(00)*(0|(1|01).*))
([1.*]|0(10)*(1|(0|11).*))
([1(.1)*.]|(0|1(.1)*.0).*)
([.0*]|.0*1(..0*1)*.[.0*])
([.1*]|.1*0(..1*0)*.[.1*])
(00*|(1|00*1)(0|10*1)*10*)
(00*|(1|00*1)(1|00*1)*00*)
(00*|(1|00*1)(.0*1)*[.0*])
(01*|(1|01*0)(0|11*0)*11*)
(01*|(1|01*0)(1|01*0)*01*)
(01*|(1|01*0)(.1*0)*[.1*])
(10*|(0|10*1)(0|10*1)*10*)
(10*|(0|10*1)(1|00*1)*00*)
(10*|(0|10*1)(.0*1)*[.0*])
(11*|(0|11*0)(0|11*0)*11*)
(11*|(0|11*0)(1|01*0)*01*)
(11*|(0|11*0)(.1*0)*[.1*])
[(0|10*1)((0|10)|110*1)*1]
[(0|10*1)((1|00)|010*1)*0]
[(0|10*1)(00|(1|01)0*1)*0]
[(0|10*1)(10|(0|11)0*1)*1]
[(0|11*0)((0|10)|111*0)*1]
[(0|11*0)((1|00)|011*0)*0]
[(0|11*0)(00|(1|01)1*0)*0]
[(0|11*0)(10|(0|11)1*0)*1]
[(1|00*1)((0|11)|100*1)*1]
[(1|00*1)((1|01)|000*1)*0]
[(1|00*1)(01|(1|00)0*1)*0]
[(1|00*1)(11|(0|10)0*1)*1]
[(1|01*0)((0|11)|101*0)*1]
[(1|01*0)((1|01)|001*0)*0]
[(1|01*0)(01|(1|00)1*0)*0]
[(1|01*0)(11|(0|10)1*0)*1]
1*([0]|0.(0|11*0.)*11*[0])
1*([0]|0.(1|01*0.)*01*[0])
1*([00*]|00*1(0|10*1)*10*)
1*([00*]|00*1(1|00*1)*00*)
1*([01*]|01*0(0|11*0)*11*)
1*([01*]|01*0(1|01*0)*01*)
1*[0(01*0|10*1)*(01*|10*)]
1*[0(01*0|11*0)*(01*|11*)]
1*[0(11*0|00*1)*(11*|00*)]
1*[0(11*0|01*0)*(11*|01*)]
1*0[.((0|11*0).)*(0|11*0)]
1*0[.((1|01*0).)*(1|01*0)]
1*00*[1(0|11*00*1)*11*00*]
1*00*[1(1|01*00*1)*01*00*]
1*00*[1(.1*00*1)*[.1*00*]]
1*01*[0(0|11*01*0)*11*01*]
1*01*[0(1|01*01*0)*01*01*]
1*01*[0(.1*01*0)*[.1*01*]]
1*0(01*0)*1(.1*0(01*0)*1)*
1*0(11*0)*0(.1*0(11*0)*0)*
.0*[1((0|1.)0*1)*(0|1.)0*]
.0*[1((1|0.)0*1)*(1|0.)0*]
.1*[0((0|1.)1*0)*(0|1.)1*]
.1*[0((1|0.)1*0)*(1|0.)1*]
(0|(1|0.)((0|11)|10.)*[10])
(0|(1|0.)((1|01)|00.)*[00])
(1|(0|1.)((0|10)|11.)*[11])
(1|(0|1.)((1|00)|01.)*[01])
(0(0|10)*|(1|0(0|10)*11).*)
(0(1|00)*|(1|0(1|00)*01).*)
(0(00)*|(1|0(00)*(1|01)).*)
(0(10)*|(1|0(10)*(0|11)).*)
(1(0|11)*|(0|1(0|11)*10).*)
(1(1|01)*|(0|1(1|01)*00).*)
(1(01)*|(0|1(01)*(1|00)).*)
(1(11)*|(0|1(11)*(0|10)).*)
1*[00*1((0|11*0)0*1)*[11*]]
1*[00*1((1|01*0)0*1)*[01*]]
1*[01*0((0|11*0)1*0)*[11*]]
1*[01*0((1|01*0)1*0)*[01*]]
.(0.)*[1(0|1(0.)*1)*1(0.)*]
.(0.)*[1(1|0(0.)*1)*0(0.)*]
.(0.)*[1(.(0.)*1)*[.(0.)*]]
.(0.)*[1(..(0.)*1)*..(0.)*]
.(1.)*[0(0|1(1.)*0)*1(1.)*]
.(1.)*[0(1|0(1.)*0)*0(1.)*]
.(1.)*[0(.(1.)*0)*[.(1.)*]]
.(1.)*[0(..(1.)*0)*..(1.)*]
(0|1(0|11)*10)(.(0|11)*10)*
(0|1(1|01)*00)(.(1|01)*00)*
(1|0(0|10)*11)(.(0|10)*11)*
(1|0(1|00)*01)(.(1|00)*01)*
([.]|..((0|1.).)*(1|(0|1.)))
([.]|..((1|0.).)*(0|(1|0.)))
([00*]|(1|00*1)(0|10*1)*10*)
([00*]|(1|00*1)(1|00*1)*00*)
([01*]|(1|01*0)(0|11*0)*11*)
([01*]|(1|01*0)(1|01*0)*01*)
([10*]|(0|10*1)(0|10*1)*10*)
([10*]|(0|10*1)(1|00*1)*00*)
([11*]|(0|11*0)(0|11*0)*11*)
([11*]|(0|11*0)(1|01*0)*01*)
([.0*]|.0*1(0|1.0*1)*1[.0*])
([.0*]|.0*1(1|0.0*1)*0[.0*])
([.1*]|.1*0(0|1.1*0)*1[.1*])
([.1*]|.1*0(1|0.1*0)*0[.1*])
(00*|(1|00*1)(0|10*1)*[10*])
(00*|(1|00*1)(1|00*1)*[00*])
(01*|(1|01*0)(0|11*0)*[11*])
(01*|(1|01*0)(1|01*0)*[01*])
(10*|(0|10*1)(0|10*1)*[10*])
(10*|(0|10*1)(1|00*1)*[00*])
(11*|(0|11*0)(0|11*0)*[11*])
(11*|(0|11*0)(1|01*0)*[01*])
[(0|10*1)((0|10)|110*1)*[1]]
[(0|10*1)((1|00)|010*1)*[0]]
[(0|10*1)(00|(1|01)0*1)*[0]]
[(0|10*1)(10|(0|11)0*1)*[1]]
[(0|11*0)((0|10)|111*0)*[1]]
[(0|11*0)((1|00)|011*0)*[0]]
[(0|11*0)(00|(1|01)1*0)*[0]]
[(0|11*0)(10|(0|11)1*0)*[1]]
[(1|00*1)((0|11)|100*1)*[1]]
[(1|00*1)((1|01)|000*1)*[0]]
[(1|00*1)(01|(1|00)0*1)*[0]]
[(1|00*1)(11|(0|10)0*1)*[1]]
[(1|01*0)((0|11)|101*0)*[1]]
[(1|01*0)((1|01)|001*0)*[0]]
[(1|01*0)(01|(1|00)1*0)*[0]]
[(1|01*0)(11|(0|10)1*0)*[1]]
1*[0(01*0|1.1*0)*(01*|1.1*)]
1*[0(11*0|0.1*0)*(11*|0.1*)]
1*0[.((0|11*0).)*[(0|11*0)]]
1*0[.((1|01*0).)*[(1|01*0)]]
1*00*[1(0|11*00*1)*[11*00*]]
1*00*[1(1|01*00*1)*[01*00*]]
1*01*[0(0|11*01*0)*[11*01*]]
1*01*[0(1|01*01*0)*[01*01*]]
1*0(01*0)*1(0|11*0(01*0)*1)*
1*0(01*0)*1(1|01*0(01*0)*1)*
1*0(11*0)*0(0|11*0(11*0)*0)*
1*0(11*0)*0(1|01*0(11*0)*0)*
.0*[1((0|1.)0*1)*[(0|1.)0*]]
.0*[1((1|0.)0*1)*[(1|0.)0*]]
.1*[0((0|1.)1*0)*[(0|1.)1*]]
.1*[0((1|0.)1*0)*[(1|0.)1*]]
(0|1(.1)*.0)(.(0|1(.1)*.0))*
(1|0(.0)*.1)(.(1|0(.0)*.1))*
(0|(1|0.)(01|(1|00).)*(1|00))
(0|(1|0.)(11|(0|10).)*(0|10))
(1|(0|1.)(00|(1|01).)*(1|01))
(1|(0|1.)(10|(0|11).)*(0|11))
([0]|(1|0.)((0|11)|10.)*1[0])
([0]|(1|0.)((1|01)|00.)*0[0])
([1]|(0|1.)((0|10)|11.)*1[1])
([1]|(0|1.)((1|00)|01.)*0[1])
1*([0(01*0)*01*]|0(01*0)*1.*)
1*([0(11*0)*11*]|0(11*0)*0.*)
.(0.)*[1(0|1(0.)*1)*[1(0.)*]]
.(0.)*[1(0|1.(0.)*1)*1.(0.)*]
.(0.)*[1(1|0(0.)*1)*[0(0.)*]]
.(0.)*[1(1|0.(0.)*1)*0.(0.)*]
.(0.)*[1(..(0.)*1)*[..(0.)*]]
.(1.)*[0(0|1(1.)*0)*[1(1.)*]]
.(1.)*[0(0|1.(1.)*0)*1.(1.)*]
.(1.)*[0(1|0(1.)*0)*[0(1.)*]]
.(1.)*[0(1|0.(1.)*0)*0.(1.)*]
.(1.)*[0(..(1.)*0)*[..(1.)*]]
(0|1(0|11)*10)(0|1(0|11)*10)*
(0|1(0|11)*10)(1|0(0|11)*10)*
(0|1(1|01)*00)(0|1(1|01)*00)*
(0|1(1|01)*00)(1|0(1|01)*00)*
(1|0(0|10)*11)(0|1(0|10)*11)*
(1|0(0|10)*11)(1|0(0|10)*11)*
(1|0(1|00)*01)(0|1(1|00)*01)*
(1|0(1|00)*01)(1|0(1|00)*01)*
([0(0|10)*1]|(1|0(0|10)*11).*)
([0(1|00)*0]|(1|0(1|00)*01).*)
([0(00)*0]|(1|0(00)*(1|01)).*)
([0(10)*1]|(1|0(10)*(0|11)).*)
([1(0|11)*1]|(0|1(0|11)*10).*)
([1(1|01)*0]|(0|1(1|01)*00).*)
([1(01)*0]|(0|1(01)*(1|00)).*)
([1(11)*1]|(0|1(11)*(0|10)).*)
(00*|(1|00*1)(.(1|00*1))*.00*)
(01*|(1|01*0)(.(1|01*0))*.01*)
(10*|(0|10*1)(.(0|10*1))*.10*)
(11*|(0|11*0)(.(0|11*0))*.11*)
1*[0(01*0|1.1*0)*([01*]|1.1*)]
1*[0(01*0|1.1*0)*(01*|1[.1*])]
1*[0(11*0|0.1*0)*([11*]|0.1*)]
1*[0(11*0|0.1*0)*(11*|0[.1*])]
1*0(01*0)*1((0|11*0)(01*0)*1)*
1*0(01*0)*1((1|01*0)(01*0)*1)*
1*0(11*0)*0((0|11*0)(11*0)*0)*
1*0(11*0)*0((1|01*0)(11*0)*0)*
(0|(1|0.)(01|(1|00).)*[(1|00)])
(0|(1|0.)(11|(0|10).)*[(0|10)])
(1|(0|1.)(00|(1|01).)*[(1|01)])
(1|(0|1.)(10|(0|11).)*[(0|11)])
.(0.)*[1(0|1.(0.)*1)*[1.(0.)*]]
.(0.)*[1(1|0.(0.)*1)*[0.(0.)*]]
.(1.)*[0(0|1.(1.)*0)*[1.(1.)*]]
.(1.)*[0(1|0.(1.)*0)*[0.(1.)*]]
(0|1(01)*(1|00))(.(01)*(1|00))*
(0|1(11)*(0|10))(.(11)*(0|10))*
(0|1(.1)*.0)((0|10)|11(.1)*.0)*
(0|1(.1)*.0)((1|00)|01(.1)*.0)*
(0|1(.1)*.0)(00|(1|01)(.1)*.0)*
(0|1(.1)*.0)(10|(0|11)(.1)*.0)*
(1|0(00)*(1|01))(.(00)*(1|01))*
(1|0(10)*(0|11))(.(10)*(0|11))*
(1|0(.0)*.1)((0|11)|10(.0)*.1)*
(1|0(.0)*.1)((1|01)|00(.0)*.1)*
(1|0(.0)*.1)(01|(1|00)(.0)*.1)*
(1|0(.0)*.1)(11|(0|10)(.0)*.1)*
(00*|(1|00*1)(.(1|00*1))*[.00*])
(01*|(1|01*0)(.(1|01*0))*[.01*])
(10*|(0|10*1)(.(0|10*1))*[.10*])
(11*|(0|11*0)(.(0|11*0))*[.11*])
1*([00*]|00*1(.1*00*1)*.1*[00*])
1*([01*]|01*0(.1*01*0)*.1*[01*])
1*[0(01*0|1(0|11*0))*(01*|111*)]
1*[0(01*0|1(1|01*0))*(01*|101*)]
1*[0(01*0|10*11*0)*(01*|10*11*)]
1*[0(01*0|11*01*0)*(01*|11*01*)]
1*[0(11*0|0(0|11*0))*(11*|011*)]
1*[0(11*0|0(1|01*0))*(11*|001*)]
1*[0(11*0|00*11*0)*(11*|00*11*)]
1*[0(11*0|01*01*0)*(11*|01*01*)]
1*00*[1((0|11*0)0*1)*(0|11*0)0*]
1*00*[1((1|01*0)0*1)*(1|01*0)0*]
1*01*[0((0|11*0)1*0)*(0|11*0)1*]
1*01*[0((1|01*0)1*0)*(1|01*0)1*]
(0|1(0|11)*10)(.(0|1(0|11)*10))*
(0|1(1|01)*00)(.(0|1(1|01)*00))*
(1|0(0|10)*11)(.(1|0(0|10)*11))*
(1|0(1|00)*01)(.(1|0(1|00)*01))*
(00*|(1|00*1)((0|11)|100*1)*100*)
(00*|(1|00*1)((1|01)|000*1)*000*)
(01*|(1|01*0)((0|11)|101*0)*101*)
(01*|(1|01*0)((1|01)|001*0)*001*)
(10*|(0|10*1)((0|10)|110*1)*110*)
(10*|(0|10*1)((1|00)|010*1)*010*)
(11*|(0|11*0)((0|10)|111*0)*111*)
(11*|(0|11*0)((1|00)|011*0)*011*)
1*0(01*0)*[1(.(01*0)*1)*.(01*0)*]
1*0(11*0)*[0(.(11*0)*0)*.(11*0)*]
(0|1(01)*(1|00))(0|1(01)*(1|00))*
(0|1(01)*(1|00))(1|0(01)*(1|00))*
(0|1(11)*(0|10))(0|1(11)*(0|10))*
(0|1(11)*(0|10))(1|0(11)*(0|10))*
(1|0(00)*(1|01))(0|1(00)*(1|01))*
(1|0(00)*(1|01))(1|0(00)*(1|01))*
(1|0(10)*(0|11))(0|1(10)*(0|11))*
(1|0(10)*(0|11))(1|0(10)*(0|11))*
([00*]|(1|00*1)(.(1|00*1))*.[00*])
([01*]|(1|01*0)(.(1|01*0))*.[01*])
([10*]|(0|10*1)(.(0|10*1))*.[10*])
([11*]|(0|11*0)(.(0|11*0))*.[11*])
1*([00*]|00*1(0|11*00*1)*11*[00*])
1*([00*]|00*1(1|01*00*1)*01*[00*])
1*([01*]|01*0(0|11*01*0)*11*[01*])
1*([01*]|01*0(1|01*01*0)*01*[01*])
1*[0(01*0|1(0|11*0))*([01*]|111*)]
1*[0(01*0|1(0|11*0))*(01*|1[11*])]
1*[0(01*0|1(1|01*0))*([01*]|101*)]
1*[0(01*0|1(1|01*0))*(01*|1[01*])]
1*[0(01*0|10*11*0)*([01*]|10*11*)]
1*[0(01*0|10*11*0)*(01*|10*[11*])]
1*[0(01*0|11*01*0)*([01*]|11*01*)]
1*[0(01*0|11*01*0)*(01*|11*[01*])]
1*[0(11*0|0(0|11*0))*([11*]|011*)]
1*[0(11*0|0(0|11*0))*(11*|0[11*])]
1*[0(11*0|0(1|01*0))*([11*]|001*)]
1*[0(11*0|0(1|01*0))*(11*|0[01*])]
1*[0(11*0|00*11*0)*([11*]|00*11*)]
1*[0(11*0|00*11*0)*(11*|00*[11*])]
1*[0(11*0|01*01*0)*([11*]|01*01*)]
1*[0(11*0|01*01*0)*(11*|01*[01*])]
1*00*[1((0|11*0)0*1)*[(0|11*0)0*]]
1*00*[1((1|01*0)0*1)*[(1|01*0)0*]]
1*01*[0((0|11*0)1*0)*[(0|11*0)1*]]
1*01*[0((1|01*0)1*0)*[(1|01*0)1*]]
([0]|(1|0.)(01|(1|00).)*(0|(1|00)))
([0]|(1|0.)(11|(0|10).)*(1|(0|10)))
([1]|(0|1.)(00|(1|01).)*(0|(1|01)))
([1]|(0|1.)(10|(0|11).)*(1|(0|11)))
(00*|(1|00*1)((0|11)|100*1)*[100*])
(00*|(1|00*1)((1|01)|000*1)*[000*])
(01*|(1|01*0)((0|11)|101*0)*[101*])
(01*|(1|01*0)((1|01)|001*0)*[001*])
(10*|(0|10*1)((0|10)|110*1)*[110*])
(10*|(0|10*1)((1|00)|010*1)*[010*])
(11*|(0|11*0)((0|10)|111*0)*[111*])
(11*|(0|11*0)((1|00)|011*0)*[011*])
1*0(01*0)*[1(0|1(01*0)*1)*1(01*0)*]
1*0(01*0)*[1(1|0(01*0)*1)*0(01*0)*]
1*0(01*0)*[1(.(01*0)*1)*[.(01*0)*]]
1*0(11*0)*[0(0|1(11*0)*0)*1(11*0)*]
1*0(11*0)*[0(1|0(11*0)*0)*0(11*0)*]
1*0(11*0)*[0(.(11*0)*0)*[.(11*0)*]]
.(0.)*[1((0|1.)(0.)*1)*(0|1.)(0.)*]
.(0.)*[1((1|0.)(0.)*1)*(1|0.)(0.)*]
.(1.)*[0((0|1.)(1.)*0)*(0|1.)(1.)*]
.(1.)*[0((1|0.)(1.)*0)*(1|0.)(1.)*]
(0|1(0|11)*10)((0|10)|11(0|11)*10)*
(0|1(0|11)*10)((1|00)|01(0|11)*10)*
(0|1(0|11)*10)(00|(1|01)(0|11)*10)*
(0|1(0|11)*10)(10|(0|11)(0|11)*10)*
(0|1(1|01)*00)((0|10)|11(1|01)*00)*
(0|1(1|01)*00)((1|00)|01(1|01)*00)*
(0|1(1|01)*00)(00|(1|01)(1|01)*00)*
(0|1(1|01)*00)(10|(0|11)(1|01)*00)*
(1|0(0|10)*11)((0|11)|10(0|10)*11)*
(1|0(0|10)*11)((1|01)|00(0|10)*11)*
(1|0(0|10)*11)(01|(1|00)(0|10)*11)*
(1|0(0|10)*11)(11|(0|10)(0|10)*11)*
(1|0(1|00)*01)((0|11)|10(1|00)*01)*
(1|0(1|00)*01)((1|01)|00(1|00)*01)*
(1|0(1|00)*01)(01|(1|00)(1|00)*01)*
(1|0(1|00)*01)(11|(0|10)(1|00)*01)*
([.0*]|.0*1((0|1.)0*1)*(1|(0|1.)0*))
([.0*]|.0*1((1|0.)0*1)*(0|(1|0.)0*))
([.1*]|.1*0((0|1.)1*0)*(1|(0|1.)1*))
([.1*]|.1*0((1|0.)1*0)*(0|(1|0.)1*))
([.(0.)*0]|.(0.)*1(.(0.)*1)*.(0.)*0)
([.(1.)*1]|.(1.)*0(.(1.)*0)*.(1.)*1)
1*([0]|0.((0|11*0).)*(11*|(0|11*0)))
1*([0]|0.((1|01*0).)*(01*|(1|01*0)))
(0|1(01)*(1|00))(.(0|1(01)*(1|00)))*
(0|1(11)*(0|10))(.(0|1(11)*(0|10)))*
(1|0(00)*(1|01))(.(1|0(00)*(1|01)))*
(1|0(10)*(0|11))(.(1|0(10)*(0|11)))*
([00*]|(1|00*1)((0|11)|100*1)*1[00*])
([00*]|(1|00*1)((1|01)|000*1)*0[00*])
([01*]|(1|01*0)((0|11)|101*0)*1[01*])
([01*]|(1|01*0)((1|01)|001*0)*0[01*])
([10*]|(0|10*1)((0|10)|110*1)*1[10*])
([10*]|(0|10*1)((1|00)|010*1)*0[10*])
([11*]|(0|11*0)((0|10)|111*0)*1[11*])
([11*]|(0|11*0)((1|00)|011*0)*0[11*])
(00*|(1|00*1)(01|(1|00)0*1)*(1|00)0*)
(00*|(1|00*1)(11|(0|10)0*1)*(0|10)0*)
(01*|(1|01*0)(01|(1|00)1*0)*(1|00)1*)
(01*|(1|01*0)(11|(0|10)1*0)*(0|10)1*)
(10*|(0|10*1)(00|(1|01)0*1)*(1|01)0*)
(10*|(0|10*1)(10|(0|11)0*1)*(0|11)0*)
(11*|(0|11*0)(00|(1|01)1*0)*(1|01)1*)
(11*|(0|11*0)(10|(0|11)1*0)*(0|11)1*)
1*0(01*0)*[1(0|1(01*0)*1)*[1(01*0)*]]
1*0(01*0)*[1(1|0(01*0)*1)*[0(01*0)*]]
1*0(11*0)*[0(0|1(11*0)*0)*[1(11*0)*]]
1*0(11*0)*[0(1|0(11*0)*0)*[0(11*0)*]]
.(0.)*[1((0|1.)(0.)*1)*[(0|1.)(0.)*]]
.(0.)*[1((1|0.)(0.)*1)*[(1|0.)(0.)*]]
.(1.)*[0((0|1.)(1.)*0)*[(0|1.)(1.)*]]
.(1.)*[0((1|0.)(1.)*0)*[(1|0.)(1.)*]]
([.(0.)*0]|.(0.)*1(0|1(0.)*1)*1(0.)*0)
([.(0.)*0]|.(0.)*1(1|0(0.)*1)*0(0.)*0)
([.(0.)*0]|.(0.)*1(.(0.)*1)*[.(0.)*0])
([.(1.)*1]|.(1.)*0(0|1(1.)*0)*1(1.)*1)
([.(1.)*1]|.(1.)*0(1|0(1.)*0)*0(1.)*1)
([.(1.)*1]|.(1.)*0(.(1.)*0)*[.(1.)*1])
(0(.0)*|(1|0(.0)*.1)(.(.0)*.1)*.(.0)*)
(1(.1)*|(0|1(.1)*.0)(.(.1)*.0)*.(.1)*)
(00*|(1|00*1)(01|(1|00)0*1)*[(1|00)0*])
(00*|(1|00*1)(11|(0|10)0*1)*[(0|10)0*])
(01*|(1|01*0)(01|(1|00)1*0)*[(1|00)1*])
(01*|(1|01*0)(11|(0|10)1*0)*[(0|10)1*])
(10*|(0|10*1)(00|(1|01)0*1)*[(1|01)0*])
(10*|(0|10*1)(10|(0|11)0*1)*[(0|11)0*])
(11*|(0|11*0)(00|(1|01)1*0)*[(1|01)1*])
(11*|(0|11*0)(10|(0|11)1*0)*[(0|11)1*])
1*0(01*0)*[1(.1*0(01*0)*1)*.1*0(01*0)*]
1*0(11*0)*[0(.1*0(11*0)*0)*.1*0(11*0)*]
(0|1(01)*(1|00))((0|10)|11(01)*(1|00))*
(0|1(01)*(1|00))((1|00)|01(01)*(1|00))*
(0|1(01)*(1|00))(00|(1|01)(01)*(1|00))*
(0|1(01)*(1|00))(10|(0|11)(01)*(1|00))*
(0|1(11)*(0|10))((0|10)|11(11)*(0|10))*
(0|1(11)*(0|10))((1|00)|01(11)*(0|10))*
(0|1(11)*(0|10))(00|(1|01)(11)*(0|10))*
(0|1(11)*(0|10))(10|(0|11)(11)*(0|10))*
(1|0(00)*(1|01))((0|11)|10(00)*(1|01))*
(1|0(00)*(1|01))((1|01)|00(00)*(1|01))*
(1|0(00)*(1|01))(01|(1|00)(00)*(1|01))*
(1|0(00)*(1|01))(11|(0|10)(00)*(1|01))*
(1|0(10)*(0|11))((0|11)|10(10)*(0|11))*
(1|0(10)*(0|11))((1|01)|00(10)*(0|11))*
(1|0(10)*(0|11))(01|(1|00)(10)*(0|11))*
(1|0(10)*(0|11))(11|(0|10)(10)*(0|11))*
([.(0.)*0]|.(0.)*1(0|1(0.)*1)*[1(0.)*0])
([.(0.)*0]|.(0.)*1(1|0(0.)*1)*[0(0.)*0])
([.(0.)*0]|.(0.)*1(..(0.)*1)*.[.(0.)*0])
([.(0.)*[0]]|.(0.)*1(.(0.)*1)*.(0.)*[0])
([.(1.)*1]|.(1.)*0(0|1(1.)*0)*[1(1.)*1])
([.(1.)*1]|.(1.)*0(1|0(1.)*0)*[0(1.)*1])
([.(1.)*1]|.(1.)*0(..(1.)*0)*.[.(1.)*1])
([.(1.)*[1]]|.(1.)*0(.(1.)*0)*.(1.)*[1])
(0(.0)*|(1|0(.0)*.1)(0|1(.0)*.1)*1(.0)*)
(0(.0)*|(1|0(.0)*.1)(1|0(.0)*.1)*0(.0)*)
(0(.0)*|(1|0(.0)*.1)(.(.0)*.1)*[.(.0)*])
(1(.1)*|(0|1(.1)*.0)(0|1(.1)*.0)*1(.1)*)
(1(.1)*|(0|1(.1)*.0)(1|0(.1)*.0)*0(.1)*)
(1(.1)*|(0|1(.1)*.0)(.(.1)*.0)*[.(.1)*])
1*0(01*0)*[1(0|11*0(01*0)*1)*11*0(01*0)*]
1*0(01*0)*[1(1|01*0(01*0)*1)*01*0(01*0)*]
1*0(01*0)*[1(.1*0(01*0)*1)*[.1*0(01*0)*]]
1*0(11*0)*[0(0|11*0(11*0)*0)*11*0(11*0)*]
1*0(11*0)*[0(1|01*0(11*0)*0)*01*0(11*0)*]
1*0(11*0)*[0(.1*0(11*0)*0)*[.1*0(11*0)*]]
([0(.0)*.]|(1|0(.0)*.1)(.(.0)*.1)*.(.0)*.)
([1(.1)*.]|(0|1(.1)*.0)(.(.1)*.0)*.(.1)*.)
([.(0.)*0]|.(0.)*1(0|1.(0.)*1)*1[.(0.)*0])
([.(0.)*0]|.(0.)*1(1|0.(0.)*1)*0[.(0.)*0])
([.(0.)*[0]]|.(0.)*1(0|1(0.)*1)*1(0.)*[0])
([.(0.)*[0]]|.(0.)*1(1|0(0.)*1)*0(0.)*[0])
([.(1.)*1]|.(1.)*0(0|1.(1.)*0)*1[.(1.)*1])
([.(1.)*1]|.(1.)*0(1|0.(1.)*0)*0[.(1.)*1])
([.(1.)*[1]]|.(1.)*0(0|1(1.)*0)*1(1.)*[1])
([.(1.)*[1]]|.(1.)*0(1|0(1.)*0)*0(1.)*[1])
(0(.0)*|(1|0(.0)*.1)(0|1(.0)*.1)*[1(.0)*])
(0(.0)*|(1|0(.0)*.1)(1|0(.0)*.1)*[0(.0)*])
(1(.1)*|(0|1(.1)*.0)(0|1(.1)*.0)*[1(.1)*])
(1(.1)*|(0|1(.1)*.0)(1|0(.1)*.0)*[0(.1)*])
([00*]|(1|00*1)(01|(1|00)0*1)*(0|(1|00)0*))
([00*]|(1|00*1)(11|(0|10)0*1)*(1|(0|10)0*))
([01*]|(1|01*0)(01|(1|00)1*0)*(0|(1|00)1*))
([01*]|(1|01*0)(11|(0|10)1*0)*(1|(0|10)1*))
([10*]|(0|10*1)(00|(1|01)0*1)*(0|(1|01)0*))
([10*]|(0|10*1)(10|(0|11)0*1)*(1|(0|11)0*))
([11*]|(0|11*0)(00|(1|01)1*0)*(0|(1|01)1*))
([11*]|(0|11*0)(10|(0|11)1*0)*(1|(0|11)1*))
1*0(01*0)*[1(0|11*0(01*0)*1)*[11*0(01*0)*]]
1*0(01*0)*[1(1|01*0(01*0)*1)*[01*0(01*0)*]]
1*0(11*0)*[0(0|11*0(11*0)*0)*[11*0(11*0)*]]
1*0(11*0)*[0(1|01*0(11*0)*0)*[01*0(11*0)*]]
([0(.0)*.]|(1|0(.0)*.1)(0|1(.0)*.1)*1(.0)*.)
([0(.0)*.]|(1|0(.0)*.1)(1|0(.0)*.1)*0(.0)*.)
([0(.0)*.]|(1|0(.0)*.1)(.(.0)*.1)*[.(.0)*.])
([1(.1)*.]|(0|1(.1)*.0)(0|1(.1)*.0)*1(.1)*.)
([1(.1)*.]|(0|1(.1)*.0)(1|0(.1)*.0)*0(.1)*.)
([1(.1)*.]|(0|1(.1)*.0)(.(.1)*.0)*[.(.1)*.])
([.(0.)*0]|.(0.)*1(..(0.)*1)*([.]|..(0.)*0))
([.(0.)*[0]]|.(0.)*1(..(0.)*1)*.[.(0.)*[0]])
([.(1.)*1]|.(1.)*0(..(1.)*0)*([.]|..(1.)*1))
([.(1.)*[1]]|.(1.)*0(..(1.)*0)*.[.(1.)*[1]])
(0(.0)*|(1|0(.0)*.1)(.(1|0(.0)*.1))*.0(.0)*)
(1(.1)*|(0|1(.1)*.0)(.(0|1(.1)*.0))*.1(.1)*)
1*([00*]|00*1((0|11*0)0*1)*(11*|(0|11*0)0*))
1*([00*]|00*1((1|01*0)0*1)*(01*|(1|01*0)0*))
1*([01*]|01*0((0|11*0)1*0)*(11*|(0|11*0)1*))
1*([01*]|01*0((1|01*0)1*0)*(01*|(1|01*0)1*))
([0(.0)*.]|(1|0(.0)*.1)(0|1(.0)*.1)*[1(.0)*.])
([0(.0)*.]|(1|0(.0)*.1)(1|0(.0)*.1)*[0(.0)*.])
([0(.0)*[.]]|(1|0(.0)*.1)(.(.0)*.1)*.(.0)*[.])
([1(.1)*.]|(0|1(.1)*.0)(0|1(.1)*.0)*[1(.1)*.])
([1(.1)*.]|(0|1(.1)*.0)(1|0(.1)*.0)*[0(.1)*.])
([1(.1)*[.]]|(0|1(.1)*.0)(.(.1)*.0)*.(.1)*[.])
([.(0.)*0]|.(0.)*1(0|1.(0.)*1)*([1]|1.(0.)*0))
([.(0.)*0]|.(0.)*1(1|0.(0.)*1)*([0]|0.(0.)*0))
([.(0.)*[0]]|.(0.)*1(0|1.(0.)*1)*1[.(0.)*[0]])
([.(0.)*[0]]|.(0.)*1(1|0.(0.)*1)*0[.(0.)*[0]])
([.(1.)*1]|.(1.)*0(0|1.(1.)*0)*([1]|1.(1.)*1))
([.(1.)*1]|.(1.)*0(1|0.(1.)*0)*([0]|0.(1.)*1))
([.(1.)*[1]]|.(1.)*0(0|1.(1.)*0)*1[.(1.)*[1]])
([.(1.)*[1]]|.(1.)*0(1|0.(1.)*0)*0[.(1.)*[1]])
(0(0|10)*|(1|0(0|10)*11)(.(0|10)*11)*.(0|10)*)
(0(1|00)*|(1|0(1|00)*01)(.(1|00)*01)*.(1|00)*)
(0(00)*|(1|0(00)*(1|01))(.(00)*(1|01))*.(00)*)
(0(10)*|(1|0(10)*(0|11))(.(10)*(0|11))*.(10)*)
(0(.0)*|(1|0(.0)*.1)(.(1|0(.0)*.1))*[.0(.0)*])
(1(0|11)*|(0|1(0|11)*10)(.(0|11)*10)*.(0|11)*)
(1(1|01)*|(0|1(1|01)*00)(.(1|01)*00)*.(1|01)*)
(1(01)*|(0|1(01)*(1|00))(.(01)*(1|00))*.(01)*)
(1(11)*|(0|1(11)*(0|10))(.(11)*(0|10))*.(11)*)
(1(.1)*|(0|1(.1)*.0)(.(0|1(.1)*.0))*[.1(.1)*])
(0(.0)*|(1|0(.0)*.1)((0|11)|10(.0)*.1)*10(.0)*)
(0(.0)*|(1|0(.0)*.1)((1|01)|00(.0)*.1)*00(.0)*)
(1(.1)*|(0|1(.1)*.0)((0|10)|11(.1)*.0)*11(.1)*)
(1(.1)*|(0|1(.1)*.0)((1|00)|01(.1)*.0)*01(.1)*)
1*0(01*0)*[1((0|11*0)(01*0)*1)*(0|11*0)(01*0)*]
1*0(01*0)*[1((1|01*0)(01*0)*1)*(1|01*0)(01*0)*]
1*0(11*0)*[0((0|11*0)(11*0)*0)*(0|11*0)(11*0)*]
1*0(11*0)*[0((1|01*0)(11*0)*0)*(1|01*0)(11*0)*]
([0(.0)*[.]]|(1|0(.0)*.1)(0|1(.0)*.1)*1(.0)*[.])
([0(.0)*[.]]|(1|0(.0)*.1)(1|0(.0)*.1)*0(.0)*[.])
([1(.1)*[.]]|(0|1(.1)*.0)(0|1(.1)*.0)*1(.1)*[.])
([1(.1)*[.]]|(0|1(.1)*.0)(1|0(.1)*.0)*0(.1)*[.])
(0(0|10)*|(1|0(0|10)*11)(0|1(0|10)*11)*1(0|10)*)
(0(0|10)*|(1|0(0|10)*11)(1|0(0|10)*11)*0(0|10)*)
(0(0|10)*|(1|0(0|10)*11)(.(0|10)*11)*[.(0|10)*])
(0(1|00)*|(1|0(1|00)*01)(0|1(1|00)*01)*1(1|00)*)
(0(1|00)*|(1|0(1|00)*01)(1|0(1|00)*01)*0(1|00)*)
(0(1|00)*|(1|0(1|00)*01)(.(1|00)*01)*[.(1|00)*])
(0(00)*|(1|0(00)*(1|01))(0|1(00)*(1|01))*1(00)*)
(0(00)*|(1|0(00)*(1|01))(1|0(00)*(1|01))*0(00)*)
(0(00)*|(1|0(00)*(1|01))(.(00)*(1|01))*[.(00)*])
(0(10)*|(1|0(10)*(0|11))(0|1(10)*(0|11))*1(10)*)
(0(10)*|(1|0(10)*(0|11))(1|0(10)*(0|11))*0(10)*)
(0(10)*|(1|0(10)*(0|11))(.(10)*(0|11))*[.(10)*])
(1(0|11)*|(0|1(0|11)*10)(0|1(0|11)*10)*1(0|11)*)
(1(0|11)*|(0|1(0|11)*10)(1|0(0|11)*10)*0(0|11)*)
(1(0|11)*|(0|1(0|11)*10)(.(0|11)*10)*[.(0|11)*])
(1(1|01)*|(0|1(1|01)*00)(0|1(1|01)*00)*1(1|01)*)
(1(1|01)*|(0|1(1|01)*00)(1|0(1|01)*00)*0(1|01)*)
(1(1|01)*|(0|1(1|01)*00)(.(1|01)*00)*[.(1|01)*])
(1(01)*|(0|1(01)*(1|00))(0|1(01)*(1|00))*1(01)*)
(1(01)*|(0|1(01)*(1|00))(1|0(01)*(1|00))*0(01)*)
(1(01)*|(0|1(01)*(1|00))(.(01)*(1|00))*[.(01)*])
(1(11)*|(0|1(11)*(0|10))(0|1(11)*(0|10))*1(11)*)
(1(11)*|(0|1(11)*(0|10))(1|0(11)*(0|10))*0(11)*)
(1(11)*|(0|1(11)*(0|10))(.(11)*(0|10))*[.(11)*])
(0(.0)*|(1|0(.0)*.1)((0|11)|10(.0)*.1)*[10(.0)*])
(0(.0)*|(1|0(.0)*.1)((1|01)|00(.0)*.1)*[00(.0)*])
(1(.1)*|(0|1(.1)*.0)((0|10)|11(.1)*.0)*[11(.1)*])
(1(.1)*|(0|1(.1)*.0)((1|00)|01(.1)*.0)*[01(.1)*])
1*0(01*0)*[1((0|11*0)(01*0)*1)*[(0|11*0)(01*0)*]]
1*0(01*0)*[1((1|01*0)(01*0)*1)*[(1|01*0)(01*0)*]]
1*0(11*0)*[0((0|11*0)(11*0)*0)*[(0|11*0)(11*0)*]]
1*0(11*0)*[0((1|01*0)(11*0)*0)*[(1|01*0)(11*0)*]]
([0(0|10)*1]|(1|0(0|10)*11)(.(0|10)*11)*.(0|10)*1)
([0(1|00)*0]|(1|0(1|00)*01)(.(1|00)*01)*.(1|00)*0)
([0(00)*0]|(1|0(00)*(1|01))(.(00)*(1|01))*.(00)*0)
([0(10)*1]|(1|0(10)*(0|11))(.(10)*(0|11))*.(10)*1)
([0(.0)*.]|(1|0(.0)*.1)(.(1|0(.0)*.1))*.[0(.0)*.])
([1(0|11)*1]|(0|1(0|11)*10)(.(0|11)*10)*.(0|11)*1)
([1(1|01)*0]|(0|1(1|01)*00)(.(1|01)*00)*.(1|01)*0)
([1(01)*0]|(0|1(01)*(1|00))(.(01)*(1|00))*.(01)*0)
([1(11)*1]|(0|1(11)*(0|10))(.(11)*(0|10))*.(11)*1)
([1(.1)*.]|(0|1(.1)*.0)(.(0|1(.1)*.0))*.[1(.1)*.])
([.(0.)*0]|.(0.)*1((0|1.)(0.)*1)*(1|(0|1.)(0.)*0))
([.(0.)*0]|.(0.)*1((1|0.)(0.)*1)*(0|(1|0.)(0.)*0))
([.(1.)*1]|.(1.)*0((0|1.)(1.)*0)*(1|(0|1.)(1.)*1))
([.(1.)*1]|.(1.)*0((1|0.)(1.)*0)*(0|(1|0.)(1.)*1))
(0(0|10)*|(1|0(0|10)*11)(0|1(0|10)*11)*[1(0|10)*])
(0(0|10)*|(1|0(0|10)*11)(1|0(0|10)*11)*[0(0|10)*])
(0(1|00)*|(1|0(1|00)*01)(0|1(1|00)*01)*[1(1|00)*])
(0(1|00)*|(1|0(1|00)*01)(1|0(1|00)*01)*[0(1|00)*])
(0(00)*|(1|0(00)*(1|01))(0|1(00)*(1|01))*[1(00)*])
(0(00)*|(1|0(00)*(1|01))(1|0(00)*(1|01))*[0(00)*])
(0(10)*|(1|0(10)*(0|11))(0|1(10)*(0|11))*[1(10)*])
(0(10)*|(1|0(10)*(0|11))(1|0(10)*(0|11))*[0(10)*])
(1(0|11)*|(0|1(0|11)*10)(0|1(0|11)*10)*[1(0|11)*])
(1(0|11)*|(0|1(0|11)*10)(1|0(0|11)*10)*[0(0|11)*])
(1(1|01)*|(0|1(1|01)*00)(0|1(1|01)*00)*[1(1|01)*])
(1(1|01)*|(0|1(1|01)*00)(1|0(1|01)*00)*[0(1|01)*])
(1(01)*|(0|1(01)*(1|00))(0|1(01)*(1|00))*[1(01)*])
(1(01)*|(0|1(01)*(1|00))(1|0(01)*(1|00))*[0(01)*])
(1(11)*|(0|1(11)*(0|10))(0|1(11)*(0|10))*[1(11)*])
(1(11)*|(0|1(11)*(0|10))(1|0(11)*(0|10))*[0(11)*])
1*([0(01*0)*01*]|0(01*0)*1(.(01*0)*1)*.(01*0)*01*)
1*([0(11*0)*11*]|0(11*0)*0(.(11*0)*0)*.(11*0)*11*)
(0(.0)*|(1|0(.0)*.1)(01|(1|00)(.0)*.1)*(1|00)(.0)*)
(0(.0)*|(1|0(.0)*.1)(11|(0|10)(.0)*.1)*(0|10)(.0)*)
(1(.1)*|(0|1(.1)*.0)(00|(1|01)(.1)*.0)*(1|01)(.1)*)
(1(.1)*|(0|1(.1)*.0)(10|(0|11)(.1)*.0)*(0|11)(.1)*)
([0(0|10)*1]|(1|0(0|10)*11)(0|1(0|10)*11)*1(0|10)*1)
([0(0|10)*1]|(1|0(0|10)*11)(1|0(0|10)*11)*0(0|10)*1)
([0(0|10)*1]|(1|0(0|10)*11)(.(0|10)*11)*[.(0|10)*1])
([0(1|00)*0]|(1|0(1|00)*01)(0|1(1|00)*01)*1(1|00)*0)
([0(1|00)*0]|(1|0(1|00)*01)(1|0(1|00)*01)*0(1|00)*0)
([0(1|00)*0]|(1|0(1|00)*01)(.(1|00)*01)*[.(1|00)*0])
([0(00)*0]|(1|0(00)*(1|01))(0|1(00)*(1|01))*1(00)*0)
([0(00)*0]|(1|0(00)*(1|01))(1|0(00)*(1|01))*0(00)*0)
([0(00)*0]|(1|0(00)*(1|01))(.(00)*(1|01))*[.(00)*0])
([0(10)*1]|(1|0(10)*(0|11))(0|1(10)*(0|11))*1(10)*1)
([0(10)*1]|(1|0(10)*(0|11))(1|0(10)*(0|11))*0(10)*1)
([0(10)*1]|(1|0(10)*(0|11))(.(10)*(0|11))*[.(10)*1])
([1(0|11)*1]|(0|1(0|11)*10)(0|1(0|11)*10)*1(0|11)*1)
([1(0|11)*1]|(0|1(0|11)*10)(1|0(0|11)*10)*0(0|11)*1)
([1(0|11)*1]|(0|1(0|11)*10)(.(0|11)*10)*[.(0|11)*1])
([1(1|01)*0]|(0|1(1|01)*00)(0|1(1|01)*00)*1(1|01)*0)
([1(1|01)*0]|(0|1(1|01)*00)(1|0(1|01)*00)*0(1|01)*0)
([1(1|01)*0]|(0|1(1|01)*00)(.(1|01)*00)*[.(1|01)*0])
([1(01)*0]|(0|1(01)*(1|00))(0|1(01)*(1|00))*1(01)*0)
([1(01)*0]|(0|1(01)*(1|00))(1|0(01)*(1|00))*0(01)*0)
([1(01)*0]|(0|1(01)*(1|00))(.(01)*(1|00))*[.(01)*0])
([1(11)*1]|(0|1(11)*(0|10))(0|1(11)*(0|10))*1(11)*1)
([1(11)*1]|(0|1(11)*(0|10))(1|0(11)*(0|10))*0(11)*1)
([1(11)*1]|(0|1(11)*(0|10))(.(11)*(0|10))*[.(11)*1])
([.(0.)*0]|.(0.)*1((0|1.)(0.)*1)*([1]|(0|1.)(0.)*0))
([.(0.)*0]|.(0.)*1((1|0.)(0.)*1)*([0]|(1|0.)(0.)*0))
([.(1.)*1]|.(1.)*0((0|1.)(1.)*0)*([1]|(0|1.)(1.)*1))
([.(1.)*1]|.(1.)*0((1|0.)(1.)*0)*([0]|(1|0.)(1.)*1))
(0(0|10)*|(1|0(0|10)*11)(.(1|0(0|10)*11))*.0(0|10)*)
(0(1|00)*|(1|0(1|00)*01)(.(1|0(1|00)*01))*.0(1|00)*)
(0(00)*|(1|0(00)*(1|01))(.(1|0(00)*(1|01)))*.0(00)*)
(0(10)*|(1|0(10)*(0|11))(.(1|0(10)*(0|11)))*.0(10)*)
(1(0|11)*|(0|1(0|11)*10)(.(0|1(0|11)*10))*.1(0|11)*)
(1(1|01)*|(0|1(1|01)*00)(.(0|1(1|01)*00))*.1(1|01)*)
(1(01)*|(0|1(01)*(1|00))(.(0|1(01)*(1|00)))*.1(01)*)
(1(11)*|(0|1(11)*(0|10))(.(0|1(11)*(0|10)))*.1(11)*)
1*([0(01*0)*01*]|0(01*0)*1(0|1(01*0)*1)*1(01*0)*01*)
1*([0(01*0)*01*]|0(01*0)*1(1|0(01*0)*1)*0(01*0)*01*)
1*([0(01*0)*01*]|0(01*0)*1(.(01*0)*1)*[.(01*0)*01*])
1*([0(11*0)*11*]|0(11*0)*0(0|1(11*0)*0)*1(11*0)*11*)
1*([0(11*0)*11*]|0(11*0)*0(1|0(11*0)*0)*0(11*0)*11*)
1*([0(11*0)*11*]|0(11*0)*0(.(11*0)*0)*[.(11*0)*11*])
([0(.0)*.]|(1|0(.0)*.1)((0|11)|10(.0)*.1)*1[0(.0)*.])
([0(.0)*.]|(1|0(.0)*.1)((1|01)|00(.0)*.1)*0[0(.0)*.])
([1(.1)*.]|(0|1(.1)*.0)((0|10)|11(.1)*.0)*1[1(.1)*.])
([1(.1)*.]|(0|1(.1)*.0)((1|00)|01(.1)*.0)*0[1(.1)*.])
(0(.0)*|(1|0(.0)*.1)(01|(1|00)(.0)*.1)*[(1|00)(.0)*])
(0(.0)*|(1|0(.0)*.1)(11|(0|10)(.0)*.1)*[(0|10)(.0)*])
(1(.1)*|(0|1(.1)*.0)(00|(1|01)(.1)*.0)*[(1|01)(.1)*])
(1(.1)*|(0|1(.1)*.0)(10|(0|11)(.1)*.0)*[(0|11)(.1)*])
([0(0|10)*1]|(1|0(0|10)*11)(0|1(0|10)*11)*[1(0|10)*1])
([0(0|10)*1]|(1|0(0|10)*11)(1|0(0|10)*11)*[0(0|10)*1])
([0(0|10)*[1]]|(1|0(0|10)*11)(.(0|10)*11)*.(0|10)*[1])
([0(1|00)*0]|(1|0(1|00)*01)(0|1(1|00)*01)*[1(1|00)*0])
([0(1|00)*0]|(1|0(1|00)*01)(1|0(1|00)*01)*[0(1|00)*0])
([0(1|00)*[0]]|(1|0(1|00)*01)(.(1|00)*01)*.(1|00)*[0])
([0(00)*0]|(1|0(00)*(1|01))(0|1(00)*(1|01))*[1(00)*0])
([0(00)*0]|(1|0(00)*(1|01))(1|0(00)*(1|01))*[0(00)*0])
([0(00)*[0]]|(1|0(00)*(1|01))(.(00)*(1|01))*.(00)*[0])
([0(10)*1]|(1|0(10)*(0|11))(0|1(10)*(0|11))*[1(10)*1])
([0(10)*1]|(1|0(10)*(0|11))(1|0(10)*(0|11))*[0(10)*1])
([0(10)*[1]]|(1|0(10)*(0|11))(.(10)*(0|11))*.(10)*[1])
([0(.0)*.]|(1|0(.0)*.1)(.(1|0(.0)*.1))*([.]|.0(.0)*.))
([0(.0)*[.]]|(1|0(.0)*.1)(.(1|0(.0)*.1))*.[0(.0)*[.]])
([1(0|11)*1]|(0|1(0|11)*10)(0|1(0|11)*10)*[1(0|11)*1])
([1(0|11)*1]|(0|1(0|11)*10)(1|0(0|11)*10)*[0(0|11)*1])
([1(0|11)*[1]]|(0|1(0|11)*10)(.(0|11)*10)*.(0|11)*[1])
([1(1|01)*0]|(0|1(1|01)*00)(0|1(1|01)*00)*[1(1|01)*0])
([1(1|01)*0]|(0|1(1|01)*00)(1|0(1|01)*00)*[0(1|01)*0])
([1(1|01)*[0]]|(0|1(1|01)*00)(.(1|01)*00)*.(1|01)*[0])
([1(01)*0]|(0|1(01)*(1|00))(0|1(01)*(1|00))*[1(01)*0])
([1(01)*0]|(0|1(01)*(1|00))(1|0(01)*(1|00))*[0(01)*0])
([1(01)*[0]]|(0|1(01)*(1|00))(.(01)*(1|00))*.(01)*[0])
([1(11)*1]|(0|1(11)*(0|10))(0|1(11)*(0|10))*[1(11)*1])
([1(11)*1]|(0|1(11)*(0|10))(1|0(11)*(0|10))*[0(11)*1])
([1(11)*[1]]|(0|1(11)*(0|10))(.(11)*(0|10))*.(11)*[1])
([1(.1)*.]|(0|1(.1)*.0)(.(0|1(.1)*.0))*([.]|.1(.1)*.))
([1(.1)*[.]]|(0|1(.1)*.0)(.(0|1(.1)*.0))*.[1(.1)*[.]])
([.(0.)*[0]]|.(0.)*1((0|1.)(0.)*1)*(1|(0|1.)(0.)*[0]))
([.(0.)*[0]]|.(0.)*1((1|0.)(0.)*1)*(0|(1|0.)(0.)*[0]))
([.(1.)*[1]]|.(1.)*0((0|1.)(1.)*0)*(1|(0|1.)(1.)*[1]))
([.(1.)*[1]]|.(1.)*0((1|0.)(1.)*0)*(0|(1|0.)(1.)*[1]))
(0(0|10)*|(1|0(0|10)*11)(.(1|0(0|10)*11))*[.0(0|10)*])
(0(1|00)*|(1|0(1|00)*01)(.(1|0(1|00)*01))*[.0(1|00)*])
(0(00)*|(1|0(00)*(1|01))(.(1|0(00)*(1|01)))*[.0(00)*])
(0(10)*|(1|0(10)*(0|11))(.(1|0(10)*(0|11)))*[.0(10)*])
(1(0|11)*|(0|1(0|11)*10)(.(0|1(0|11)*10))*[.1(0|11)*])
(1(1|01)*|(0|1(1|01)*00)(.(0|1(1|01)*00))*[.1(1|01)*])
(1(01)*|(0|1(01)*(1|00))(.(0|1(01)*(1|00)))*[.1(01)*])
(1(11)*|(0|1(11)*(0|10))(.(0|1(11)*(0|10)))*[.1(11)*])
1*([0(01*0)*[01*]]|0(01*0)*1(.(01*0)*1)*.(01*0)*[01*])
1*([0(01*0)*01*]|0(01*0)*1(0|1(01*0)*1)*[1(01*0)*01*])
1*([0(01*0)*01*]|0(01*0)*1(1|0(01*0)*1)*[0(01*0)*01*])
1*([0(11*0)*[11*]]|0(11*0)*0(.(11*0)*0)*.(11*0)*[11*])
1*([0(11*0)*11*]|0(11*0)*0(0|1(11*0)*0)*[1(11*0)*11*])
1*([0(11*0)*11*]|0(11*0)*0(1|0(11*0)*0)*[0(11*0)*11*])
(0(0|10)*|(1|0(0|10)*11)((0|11)|10(0|10)*11)*10(0|10)*)
(0(0|10)*|(1|0(0|10)*11)((1|01)|00(0|10)*11)*00(0|10)*)
(0(1|00)*|(1|0(1|00)*01)((0|11)|10(1|00)*01)*10(1|00)*)
(0(1|00)*|(1|0(1|00)*01)((1|01)|00(1|00)*01)*00(1|00)*)
(0(00)*|(1|0(00)*(1|01))((0|11)|10(00)*(1|01))*10(00)*)
(0(00)*|(1|0(00)*(1|01))((1|01)|00(00)*(1|01))*00(00)*)
(0(10)*|(1|0(10)*(0|11))((0|11)|10(10)*(0|11))*10(10)*)
(0(10)*|(1|0(10)*(0|11))((1|01)|00(10)*(0|11))*00(10)*)
(1(0|11)*|(0|1(0|11)*10)((0|10)|11(0|11)*10)*11(0|11)*)
(1(0|11)*|(0|1(0|11)*10)((1|00)|01(0|11)*10)*01(0|11)*)
(1(1|01)*|(0|1(1|01)*00)((0|10)|11(1|01)*00)*11(1|01)*)
(1(1|01)*|(0|1(1|01)*00)((1|00)|01(1|01)*00)*01(1|01)*)
(1(01)*|(0|1(01)*(1|00))((0|10)|11(01)*(1|00))*11(01)*)
(1(01)*|(0|1(01)*(1|00))((1|00)|01(01)*(1|00))*01(01)*)
(1(11)*|(0|1(11)*(0|10))((0|10)|11(11)*(0|10))*11(11)*)
(1(11)*|(0|1(11)*(0|10))((1|00)|01(11)*(0|10))*01(11)*)
([0(0|10)*[1]]|(1|0(0|10)*11)(0|1(0|10)*11)*1(0|10)*[1])
([0(0|10)*[1]]|(1|0(0|10)*11)(1|0(0|10)*11)*0(0|10)*[1])
([0(1|00)*[0]]|(1|0(1|00)*01)(0|1(1|00)*01)*1(1|00)*[0])
([0(1|00)*[0]]|(1|0(1|00)*01)(1|0(1|00)*01)*0(1|00)*[0])
([0(00)*[0]]|(1|0(00)*(1|01))(0|1(00)*(1|01))*1(00)*[0])
([0(00)*[0]]|(1|0(00)*(1|01))(1|0(00)*(1|01))*0(00)*[0])
([0(10)*[1]]|(1|0(10)*(0|11))(0|1(10)*(0|11))*1(10)*[1])
([0(10)*[1]]|(1|0(10)*(0|11))(1|0(10)*(0|11))*0(10)*[1])
([1(0|11)*[1]]|(0|1(0|11)*10)(0|1(0|11)*10)*1(0|11)*[1])
([1(0|11)*[1]]|(0|1(0|11)*10)(1|0(0|11)*10)*0(0|11)*[1])
([1(1|01)*[0]]|(0|1(1|01)*00)(0|1(1|01)*00)*1(1|01)*[0])
([1(1|01)*[0]]|(0|1(1|01)*00)(1|0(1|01)*00)*0(1|01)*[0])
([1(01)*[0]]|(0|1(01)*(1|00))(0|1(01)*(1|00))*1(01)*[0])
([1(01)*[0]]|(0|1(01)*(1|00))(1|0(01)*(1|00))*0(01)*[0])
([1(11)*[1]]|(0|1(11)*(0|10))(0|1(11)*(0|10))*1(11)*[1])
([1(11)*[1]]|(0|1(11)*(0|10))(1|0(11)*(0|10))*0(11)*[1])
1*([0(01*0)*[01*]]|0(01*0)*1(0|1(01*0)*1)*1(01*0)*[01*])
1*([0(01*0)*[01*]]|0(01*0)*1(1|0(01*0)*1)*0(01*0)*[01*])
1*([0(11*0)*[11*]]|0(11*0)*0(0|1(11*0)*0)*1(11*0)*[11*])
1*([0(11*0)*[11*]]|0(11*0)*0(1|0(11*0)*0)*0(11*0)*[11*])
([0(.0)*.]|(1|0(.0)*.1)((0|11)|10(.0)*.1)*([1]|10(.0)*.))
([0(.0)*.]|(1|0(.0)*.1)((1|01)|00(.0)*.1)*([0]|00(.0)*.))
([0(.0)*[.]]|(1|0(.0)*.1)((0|11)|10(.0)*.1)*1[0(.0)*[.]])
([0(.0)*[.]]|(1|0(.0)*.1)((1|01)|00(.0)*.1)*0[0(.0)*[.]])
([1(.1)*.]|(0|1(.1)*.0)((0|10)|11(.1)*.0)*([1]|11(.1)*.))
([1(.1)*.]|(0|1(.1)*.0)((1|00)|01(.1)*.0)*([0]|01(.1)*.))
([1(.1)*[.]]|(0|1(.1)*.0)((0|10)|11(.1)*.0)*1[1(.1)*[.]])
([1(.1)*[.]]|(0|1(.1)*.0)((1|00)|01(.1)*.0)*0[1(.1)*[.]])
(0(0|10)*|(1|0(0|10)*11)((0|11)|10(0|10)*11)*[10(0|10)*])
(0(0|10)*|(1|0(0|10)*11)((1|01)|00(0|10)*11)*[00(0|10)*])
(0(1|00)*|(1|0(1|00)*01)((0|11)|10(1|00)*01)*[10(1|00)*])
(0(1|00)*|(1|0(1|00)*01)((1|01)|00(1|00)*01)*[00(1|00)*])
(0(00)*|(1|0(00)*(1|01))((0|11)|10(00)*(1|01))*[10(00)*])
(0(00)*|(1|0(00)*(1|01))((1|01)|00(00)*(1|01))*[00(00)*])
(0(10)*|(1|0(10)*(0|11))((0|11)|10(10)*(0|11))*[10(10)*])
(0(10)*|(1|0(10)*(0|11))((1|01)|00(10)*(0|11))*[00(10)*])
(1(0|11)*|(0|1(0|11)*10)((0|10)|11(0|11)*10)*[11(0|11)*])
(1(0|11)*|(0|1(0|11)*10)((1|00)|01(0|11)*10)*[01(0|11)*])
(1(1|01)*|(0|1(1|01)*00)((0|10)|11(1|01)*00)*[11(1|01)*])
(1(1|01)*|(0|1(1|01)*00)((1|00)|01(1|01)*00)*[01(1|01)*])
(1(01)*|(0|1(01)*(1|00))((0|10)|11(01)*(1|00))*[11(01)*])
(1(01)*|(0|1(01)*(1|00))((1|00)|01(01)*(1|00))*[01(01)*])
(1(11)*|(0|1(11)*(0|10))((0|10)|11(11)*(0|10))*[11(11)*])
(1(11)*|(0|1(11)*(0|10))((1|00)|01(11)*(0|10))*[01(11)*])
([0(0|10)*1]|(1|0(0|10)*11)(.(1|0(0|10)*11))*.[0(0|10)*1])
([0(1|00)*0]|(1|0(1|00)*01)(.(1|0(1|00)*01))*.[0(1|00)*0])
([0(00)*0]|(1|0(00)*(1|01))(.(1|0(00)*(1|01)))*.[0(00)*0])
([0(10)*1]|(1|0(10)*(0|11))(.(1|0(10)*(0|11)))*.[0(10)*1])
([1(0|11)*1]|(0|1(0|11)*10)(.(0|1(0|11)*10))*.[1(0|11)*1])
([1(1|01)*0]|(0|1(1|01)*00)(.(0|1(1|01)*00))*.[1(1|01)*0])
([1(01)*0]|(0|1(01)*(1|00))(.(0|1(01)*(1|00)))*.[1(01)*0])
([1(11)*1]|(0|1(11)*(0|10))(.(0|1(11)*(0|10)))*.[1(11)*1])
1*([0(01*0)*01*]|0(01*0)*1(.1*0(01*0)*1)*.1*[0(01*0)*01*])
1*([0(11*0)*11*]|0(11*0)*0(.1*0(11*0)*0)*.1*[0(11*0)*11*])
([0(.0)*.]|(1|0(.0)*.1)(01|(1|00)(.0)*.1)*(0|(1|00)(.0)*.))
([0(.0)*.]|(1|0(.0)*.1)(11|(0|10)(.0)*.1)*(1|(0|10)(.0)*.))
([1(.1)*.]|(0|1(.1)*.0)(00|(1|01)(.1)*.0)*(0|(1|01)(.1)*.))
([1(.1)*.]|(0|1(.1)*.0)(10|(0|11)(.1)*.0)*(1|(0|11)(.1)*.))
(0(0|10)*|(1|0(0|10)*11)(01|(1|00)(0|10)*11)*(1|00)(0|10)*)
(0(0|10)*|(1|0(0|10)*11)(11|(0|10)(0|10)*11)*(0|10)(0|10)*)
(0(1|00)*|(1|0(1|00)*01)(01|(1|00)(1|00)*01)*(1|00)(1|00)*)
(0(1|00)*|(1|0(1|00)*01)(11|(0|10)(1|00)*01)*(0|10)(1|00)*)
(0(00)*|(1|0(00)*(1|01))(01|(1|00)(00)*(1|01))*(1|00)(00)*)
(0(00)*|(1|0(00)*(1|01))(11|(0|10)(00)*(1|01))*(0|10)(00)*)
(0(10)*|(1|0(10)*(0|11))(01|(1|00)(10)*(0|11))*(1|00)(10)*)
(0(10)*|(1|0(10)*(0|11))(11|(0|10)(10)*(0|11))*(0|10)(10)*)
(1(0|11)*|(0|1(0|11)*10)(00|(1|01)(0|11)*10)*(1|01)(0|11)*)
(1(0|11)*|(0|1(0|11)*10)(10|(0|11)(0|11)*10)*(0|11)(0|11)*)
(1(1|01)*|(0|1(1|01)*00)(00|(1|01)(1|01)*00)*(1|01)(1|01)*)
(1(1|01)*|(0|1(1|01)*00)(10|(0|11)(1|01)*00)*(0|11)(1|01)*)
(1(01)*|(0|1(01)*(1|00))(00|(1|01)(01)*(1|00))*(1|01)(01)*)
(1(01)*|(0|1(01)*(1|00))(10|(0|11)(01)*(1|00))*(0|11)(01)*)
(1(11)*|(0|1(11)*(0|10))(00|(1|01)(11)*(0|10))*(1|01)(11)*)
(1(11)*|(0|1(11)*(0|10))(10|(0|11)(11)*(0|10))*(0|11)(11)*)
1*([0(01*0)*01*]|0(01*0)*1(0|11*0(01*0)*1)*11*[0(01*0)*01*])
1*([0(01*0)*01*]|0(01*0)*1(1|01*0(01*0)*1)*01*[0(01*0)*01*])
1*([0(11*0)*11*]|0(11*0)*0(0|11*0(11*0)*0)*11*[0(11*0)*11*])
1*([0(11*0)*11*]|0(11*0)*0(1|01*0(11*0)*0)*01*[0(11*0)*11*])
([0(0|10)*1]|(1|0(0|10)*11)((0|11)|10(0|10)*11)*1[0(0|10)*1])
([0(0|10)*1]|(1|0(0|10)*11)((1|01)|00(0|10)*11)*0[0(0|10)*1])
([0(1|00)*0]|(1|0(1|00)*01)((0|11)|10(1|00)*01)*1[0(1|00)*0])
([0(1|00)*0]|(1|0(1|00)*01)((1|01)|00(1|00)*01)*0[0(1|00)*0])
([0(00)*0]|(1|0(00)*(1|01))((0|11)|10(00)*(1|01))*1[0(00)*0])
([0(00)*0]|(1|0(00)*(1|01))((1|01)|00(00)*(1|01))*0[0(00)*0])
([0(10)*1]|(1|0(10)*(0|11))((0|11)|10(10)*(0|11))*1[0(10)*1])
([0(10)*1]|(1|0(10)*(0|11))((1|01)|00(10)*(0|11))*0[0(10)*1])
([0(.0)*.]|(1|0(.0)*.1)(01|(1|00)(.0)*.1)*([0]|(1|00)(.0)*.))
([0(.0)*.]|(1|0(.0)*.1)(11|(0|10)(.0)*.1)*([1]|(0|10)(.0)*.))
([1(0|11)*1]|(0|1(0|11)*10)((0|10)|11(0|11)*10)*1[1(0|11)*1])
([1(0|11)*1]|(0|1(0|11)*10)((1|00)|01(0|11)*10)*0[1(0|11)*1])
([1(1|01)*0]|(0|1(1|01)*00)((0|10)|11(1|01)*00)*1[1(1|01)*0])
([1(1|01)*0]|(0|1(1|01)*00)((1|00)|01(1|01)*00)*0[1(1|01)*0])
([1(01)*0]|(0|1(01)*(1|00))((0|10)|11(01)*(1|00))*1[1(01)*0])
([1(01)*0]|(0|1(01)*(1|00))((1|00)|01(01)*(1|00))*0[1(01)*0])
([1(11)*1]|(0|1(11)*(0|10))((0|10)|11(11)*(0|10))*1[1(11)*1])
([1(11)*1]|(0|1(11)*(0|10))((1|00)|01(11)*(0|10))*0[1(11)*1])
([1(.1)*.]|(0|1(.1)*.0)(00|(1|01)(.1)*.0)*([0]|(1|01)(.1)*.))
([1(.1)*.]|(0|1(.1)*.0)(10|(0|11)(.1)*.0)*([1]|(0|11)(.1)*.))
(0(0|10)*|(1|0(0|10)*11)(01|(1|00)(0|10)*11)*[(1|00)(0|10)*])
(0(0|10)*|(1|0(0|10)*11)(11|(0|10)(0|10)*11)*[(0|10)(0|10)*])
(0(1|00)*|(1|0(1|00)*01)(01|(1|00)(1|00)*01)*[(1|00)(1|00)*])
(0(1|00)*|(1|0(1|00)*01)(11|(0|10)(1|00)*01)*[(0|10)(1|00)*])
(0(00)*|(1|0(00)*(1|01))(01|(1|00)(00)*(1|01))*[(1|00)(00)*])
(0(00)*|(1|0(00)*(1|01))(11|(0|10)(00)*(1|01))*[(0|10)(00)*])
(0(10)*|(1|0(10)*(0|11))(01|(1|00)(10)*(0|11))*[(1|00)(10)*])
(0(10)*|(1|0(10)*(0|11))(11|(0|10)(10)*(0|11))*[(0|10)(10)*])
(1(0|11)*|(0|1(0|11)*10)(00|(1|01)(0|11)*10)*[(1|01)(0|11)*])
(1(0|11)*|(0|1(0|11)*10)(10|(0|11)(0|11)*10)*[(0|11)(0|11)*])
(1(1|01)*|(0|1(1|01)*00)(00|(1|01)(1|01)*00)*[(1|01)(1|01)*])
(1(1|01)*|(0|1(1|01)*00)(10|(0|11)(1|01)*00)*[(0|11)(1|01)*])
(1(01)*|(0|1(01)*(1|00))(00|(1|01)(01)*(1|00))*[(1|01)(01)*])
(1(01)*|(0|1(01)*(1|00))(10|(0|11)(01)*(1|00))*[(0|11)(01)*])
(1(11)*|(0|1(11)*(0|10))(00|(1|01)(11)*(0|10))*[(1|01)(11)*])
(1(11)*|(0|1(11)*(0|10))(10|(0|11)(11)*(0|10))*[(0|11)(11)*])
([0(0|10)*1]|(1|0(0|10)*11)(.(1|0(0|10)*11))*([.]|.0(0|10)*1))
([0(0|10)*[1]]|(1|0(0|10)*11)(.(1|0(0|10)*11))*.[0(0|10)*[1]])
([0(1|00)*0]|(1|0(1|00)*01)(.(1|0(1|00)*01))*([.]|.0(1|00)*0))
([0(1|00)*[0]]|(1|0(1|00)*01)(.(1|0(1|00)*01))*.[0(1|00)*[0]])
([0(00)*0]|(1|0(00)*(1|01))(.(1|0(00)*(1|01)))*([.]|.0(00)*0))
([0(00)*[0]]|(1|0(00)*(1|01))(.(1|0(00)*(1|01)))*.[0(00)*[0]])
([0(10)*1]|(1|0(10)*(0|11))(.(1|0(10)*(0|11)))*([.]|.0(10)*1))
([0(10)*[1]]|(1|0(10)*(0|11))(.(1|0(10)*(0|11)))*.[0(10)*[1]])
([1(0|11)*1]|(0|1(0|11)*10)(.(0|1(0|11)*10))*([.]|.1(0|11)*1))
([1(0|11)*[1]]|(0|1(0|11)*10)(.(0|1(0|11)*10))*.[1(0|11)*[1]])
([1(1|01)*0]|(0|1(1|01)*00)(.(0|1(1|01)*00))*([.]|.1(1|01)*0))
([1(1|01)*[0]]|(0|1(1|01)*00)(.(0|1(1|01)*00))*.[1(1|01)*[0]])
([1(01)*0]|(0|1(01)*(1|00))(.(0|1(01)*(1|00)))*([.]|.1(01)*0))
([1(01)*[0]]|(0|1(01)*(1|00))(.(0|1(01)*(1|00)))*.[1(01)*[0]])
([1(11)*1]|(0|1(11)*(0|10))(.(0|1(11)*(0|10)))*([.]|.1(11)*1))
([1(11)*[1]]|(0|1(11)*(0|10))(.(0|1(11)*(0|10)))*.[1(11)*[1]])
1*([0(01*0)*[01*]]|0(01*0)*1(.1*0(01*0)*1)*.1*[0(01*0)*[01*]])
1*([0(11*0)*[11*]]|0(11*0)*0(.1*0(11*0)*0)*.1*[0(11*0)*[11*]])
([0(.0)*[.]]|(1|0(.0)*.1)(01|(1|00)(.0)*.1)*(0|(1|00)(.0)*[.]))
([0(.0)*[.]]|(1|0(.0)*.1)(11|(0|10)(.0)*.1)*(1|(0|10)(.0)*[.]))
([1(.1)*[.]]|(0|1(.1)*.0)(00|(1|01)(.1)*.0)*(0|(1|01)(.1)*[.]))
([1(.1)*[.]]|(0|1(.1)*.0)(10|(0|11)(.1)*.0)*(1|(0|11)(.1)*[.]))
1*([0(01*0)*[01*]]|0(01*0)*1(0|11*0(01*0)*1)*11*[0(01*0)*[01*]])
1*([0(01*0)*[01*]]|0(01*0)*1(1|01*0(01*0)*1)*01*[0(01*0)*[01*]])
1*([0(01*0)*01*]|0(01*0)*1(.1*0(01*0)*1)*([.1*]|.1*0(01*0)*01*))
1*([0(11*0)*[11*]]|0(11*0)*0(0|11*0(11*0)*0)*11*[0(11*0)*[11*]])
1*([0(11*0)*[11*]]|0(11*0)*0(1|01*0(11*0)*0)*01*[0(11*0)*[11*]])
1*([0(11*0)*11*]|0(11*0)*0(.1*0(11*0)*0)*([.1*]|.1*0(11*0)*11*))
([0(0|10)*1]|(1|0(0|10)*11)((0|11)|10(0|10)*11)*([1]|10(0|10)*1))
([0(0|10)*1]|(1|0(0|10)*11)((1|01)|00(0|10)*11)*([0]|00(0|10)*1))
([0(0|10)*[1]]|(1|0(0|10)*11)((0|11)|10(0|10)*11)*1[0(0|10)*[1]])
([0(0|10)*[1]]|(1|0(0|10)*11)((1|01)|00(0|10)*11)*0[0(0|10)*[1]])
([0(1|00)*0]|(1|0(1|00)*01)((0|11)|10(1|00)*01)*([1]|10(1|00)*0))
([0(1|00)*0]|(1|0(1|00)*01)((1|01)|00(1|00)*01)*([0]|00(1|00)*0))
([0(1|00)*[0]]|(1|0(1|00)*01)((0|11)|10(1|00)*01)*1[0(1|00)*[0]])
([0(1|00)*[0]]|(1|0(1|00)*01)((1|01)|00(1|00)*01)*0[0(1|00)*[0]])
([0(00)*0]|(1|0(00)*(1|01))((0|11)|10(00)*(1|01))*([1]|10(00)*0))
([0(00)*0]|(1|0(00)*(1|01))((1|01)|00(00)*(1|01))*([0]|00(00)*0))
([0(00)*[0]]|(1|0(00)*(1|01))((0|11)|10(00)*(1|01))*1[0(00)*[0]])
([0(00)*[0]]|(1|0(00)*(1|01))((1|01)|00(00)*(1|01))*0[0(00)*[0]])
([0(10)*1]|(1|0(10)*(0|11))((0|11)|10(10)*(0|11))*([1]|10(10)*1))
([0(10)*1]|(1|0(10)*(0|11))((1|01)|00(10)*(0|11))*([0]|00(10)*1))
([0(10)*[1]]|(1|0(10)*(0|11))((0|11)|10(10)*(0|11))*1[0(10)*[1]])
([0(10)*[1]]|(1|0(10)*(0|11))((1|01)|00(10)*(0|11))*0[0(10)*[1]])
([1(0|11)*1]|(0|1(0|11)*10)((0|10)|11(0|11)*10)*([1]|11(0|11)*1))
([1(0|11)*1]|(0|1(0|11)*10)((1|00)|01(0|11)*10)*([0]|01(0|11)*1))
([1(0|11)*[1]]|(0|1(0|11)*10)((0|10)|11(0|11)*10)*1[1(0|11)*[1]])
([1(0|11)*[1]]|(0|1(0|11)*10)((1|00)|01(0|11)*10)*0[1(0|11)*[1]])
([1(1|01)*0]|(0|1(1|01)*00)((0|10)|11(1|01)*00)*([1]|11(1|01)*0))
([1(1|01)*0]|(0|1(1|01)*00)((1|00)|01(1|01)*00)*([0]|01(1|01)*0))
([1(1|01)*[0]]|(0|1(1|01)*00)((0|10)|11(1|01)*00)*1[1(1|01)*[0]])
([1(1|01)*[0]]|(0|1(1|01)*00)((1|00)|01(1|01)*00)*0[1(1|01)*[0]])
([1(01)*0]|(0|1(01)*(1|00))((0|10)|11(01)*(1|00))*([1]|11(01)*0))
([1(01)*0]|(0|1(01)*(1|00))((1|00)|01(01)*(1|00))*([0]|01(01)*0))
([1(01)*[0]]|(0|1(01)*(1|00))((0|10)|11(01)*(1|00))*1[1(01)*[0]])
([1(01)*[0]]|(0|1(01)*(1|00))((1|00)|01(01)*(1|00))*0[1(01)*[0]])
([1(11)*1]|(0|1(11)*(0|10))((0|10)|11(11)*(0|10))*([1]|11(11)*1))
([1(11)*1]|(0|1(11)*(0|10))((1|00)|01(11)*(0|10))*([0]|01(11)*1))
([1(11)*[1]]|(0|1(11)*(0|10))((0|10)|11(11)*(0|10))*1[1(11)*[1]])
([1(11)*[1]]|(0|1(11)*(0|10))((1|00)|01(11)*(0|10))*0[1(11)*[1]])
1*([0(01*0)*01*]|0(01*0)*1(0|11*0(01*0)*1)*([11*]|11*0(01*0)*01*))
1*([0(01*0)*01*]|0(01*0)*1(1|01*0(01*0)*1)*([01*]|01*0(01*0)*01*))
1*([0(11*0)*11*]|0(11*0)*0(0|11*0(11*0)*0)*([11*]|11*0(11*0)*11*))
1*([0(11*0)*11*]|0(11*0)*0(1|01*0(11*0)*0)*([01*]|01*0(11*0)*11*))
([0(0|10)*1]|(1|0(0|10)*11)(01|(1|00)(0|10)*11)*(0|(1|00)(0|10)*1))
([0(0|10)*1]|(1|0(0|10)*11)(11|(0|10)(0|10)*11)*(1|(0|10)(0|10)*1))
([0(1|00)*0]|(1|0(1|00)*01)(01|(1|00)(1|00)*01)*(0|(1|00)(1|00)*0))
([0(1|00)*0]|(1|0(1|00)*01)(11|(0|10)(1|00)*01)*(1|(0|10)(1|00)*0))
([0(00)*0]|(1|0(00)*(1|01))(01|(1|00)(00)*(1|01))*(0|(1|00)(00)*0))
([0(00)*0]|(1|0(00)*(1|01))(11|(0|10)(00)*(1|01))*(1|(0|10)(00)*0))
([0(10)*1]|(1|0(10)*(0|11))(01|(1|00)(10)*(0|11))*(0|(1|00)(10)*1))
([0(10)*1]|(1|0(10)*(0|11))(11|(0|10)(10)*(0|11))*(1|(0|10)(10)*1))
([1(0|11)*1]|(0|1(0|11)*10)(00|(1|01)(0|11)*10)*(0|(1|01)(0|11)*1))
([1(0|11)*1]|(0|1(0|11)*10)(10|(0|11)(0|11)*10)*(1|(0|11)(0|11)*1))
([1(1|01)*0]|(0|1(1|01)*00)(00|(1|01)(1|01)*00)*(0|(1|01)(1|01)*0))
([1(1|01)*0]|(0|1(1|01)*00)(10|(0|11)(1|01)*00)*(1|(0|11)(1|01)*0))
([1(01)*0]|(0|1(01)*(1|00))(00|(1|01)(01)*(1|00))*(0|(1|01)(01)*0))
([1(01)*0]|(0|1(01)*(1|00))(10|(0|11)(01)*(1|00))*(1|(0|11)(01)*0))
([1(11)*1]|(0|1(11)*(0|10))(00|(1|01)(11)*(0|10))*(0|(1|01)(11)*1))
([1(11)*1]|(0|1(11)*(0|10))(10|(0|11)(11)*(0|10))*(1|(0|11)(11)*1))
([0(0|10)*1]|(1|0(0|10)*11)(01|(1|00)(0|10)*11)*([0]|(1|00)(0|10)*1))
([0(0|10)*1]|(1|0(0|10)*11)(11|(0|10)(0|10)*11)*([1]|(0|10)(0|10)*1))
([0(1|00)*0]|(1|0(1|00)*01)(01|(1|00)(1|00)*01)*([0]|(1|00)(1|00)*0))
([0(1|00)*0]|(1|0(1|00)*01)(11|(0|10)(1|00)*01)*([1]|(0|10)(1|00)*0))
([0(00)*0]|(1|0(00)*(1|01))(01|(1|00)(00)*(1|01))*([0]|(1|00)(00)*0))
([0(00)*0]|(1|0(00)*(1|01))(11|(0|10)(00)*(1|01))*([1]|(0|10)(00)*0))
([0(10)*1]|(1|0(10)*(0|11))(01|(1|00)(10)*(0|11))*([0]|(1|00)(10)*1))
([0(10)*1]|(1|0(10)*(0|11))(11|(0|10)(10)*(0|11))*([1]|(0|10)(10)*1))
([1(0|11)*1]|(0|1(0|11)*10)(00|(1|01)(0|11)*10)*([0]|(1|01)(0|11)*1))
([1(0|11)*1]|(0|1(0|11)*10)(10|(0|11)(0|11)*10)*([1]|(0|11)(0|11)*1))
([1(1|01)*0]|(0|1(1|01)*00)(00|(1|01)(1|01)*00)*([0]|(1|01)(1|01)*0))
([1(1|01)*0]|(0|1(1|01)*00)(10|(0|11)(1|01)*00)*([1]|(0|11)(1|01)*0))
([1(01)*0]|(0|1(01)*(1|00))(00|(1|01)(01)*(1|00))*([0]|(1|01)(01)*0))
([1(01)*0]|(0|1(01)*(1|00))(10|(0|11)(01)*(1|00))*([1]|(0|11)(01)*0))
([1(11)*1]|(0|1(11)*(0|10))(00|(1|01)(11)*(0|10))*([0]|(1|01)(11)*1))
([1(11)*1]|(0|1(11)*(0|10))(10|(0|11)(11)*(0|10))*([1]|(0|11)(11)*1))
1*([0(01*0)*01*]|0(01*0)*1((0|11*0)(01*0)*1)*(11*|(0|11*0)(01*0)*01*))
1*([0(01*0)*01*]|0(01*0)*1((1|01*0)(01*0)*1)*(01*|(1|01*0)(01*0)*01*))
1*([0(11*0)*11*]|0(11*0)*0((0|11*0)(11*0)*0)*(11*|(0|11*0)(11*0)*11*))
1*([0(11*0)*11*]|0(11*0)*0((1|01*0)(11*0)*0)*(01*|(1|01*0)(11*0)*11*))
([0(0|10)*[1]]|(1|0(0|10)*11)(01|(1|00)(0|10)*11)*(0|(1|00)(0|10)*[1]))
([0(0|10)*[1]]|(1|0(0|10)*11)(11|(0|10)(0|10)*11)*(1|(0|10)(0|10)*[1]))
([0(1|00)*[0]]|(1|0(1|00)*01)(01|(1|00)(1|00)*01)*(0|(1|00)(1|00)*[0]))
([0(1|00)*[0]]|(1|0(1|00)*01)(11|(0|10)(1|00)*01)*(1|(0|10)(1|00)*[0]))
([0(00)*[0]]|(1|0(00)*(1|01))(01|(1|00)(00)*(1|01))*(0|(1|00)(00)*[0]))
([0(00)*[0]]|(1|0(00)*(1|01))(11|(0|10)(00)*(1|01))*(1|(0|10)(00)*[0]))
([0(10)*[1]]|(1|0(10)*(0|11))(01|(1|00)(10)*(0|11))*(0|(1|00)(10)*[1]))
([0(10)*[1]]|(1|0(10)*(0|11))(11|(0|10)(10)*(0|11))*(1|(0|10)(10)*[1]))
([1(0|11)*[1]]|(0|1(0|11)*10)(00|(1|01)(0|11)*10)*(0|(1|01)(0|11)*[1]))
([1(0|11)*[1]]|(0|1(0|11)*10)(10|(0|11)(0|11)*10)*(1|(0|11)(0|11)*[1]))
([1(1|01)*[0]]|(0|1(1|01)*00)(00|(1|01)(1|01)*00)*(0|(1|01)(1|01)*[0]))
([1(1|01)*[0]]|(0|1(1|01)*00)(10|(0|11)(1|01)*00)*(1|(0|11)(1|01)*[0]))
([1(01)*[0]]|(0|1(01)*(1|00))(00|(1|01)(01)*(1|00))*(0|(1|01)(01)*[0]))
([1(01)*[0]]|(0|1(01)*(1|00))(10|(0|11)(01)*(1|00))*(1|(0|11)(01)*[0]))
([1(11)*[1]]|(0|1(11)*(0|10))(00|(1|01)(11)*(0|10))*(0|(1|01)(11)*[1]))
([1(11)*[1]]|(0|1(11)*(0|10))(10|(0|11)(11)*(0|10))*(1|(0|11)(11)*[1]))
1*([0(01*0)*01*]|0(01*0)*1((0|11*0)(01*0)*1)*([11*]|(0|11*0)(01*0)*01*))
1*([0(01*0)*01*]|0(01*0)*1((1|01*0)(01*0)*1)*([01*]|(1|01*0)(01*0)*01*))
1*([0(11*0)*11*]|0(11*0)*0((0|11*0)(11*0)*0)*([11*]|(0|11*0)(11*0)*11*))
1*([0(11*0)*11*]|0(11*0)*0((1|01*0)(11*0)*0)*([01*]|(1|01*0)(11*0)*11*))
1*([0(01*0)*[01*]]|0(01*0)*1((0|11*0)(01*0)*1)*(11*|(0|11*0)(01*0)*[01*]))
1*([0(01*0)*[01*]]|0(01*0)*1((1|01*0)(01*0)*1)*(01*|(1|01*0)(01*0)*[01*]))
1*([0(11*0)*[11*]]|0(11*0)*0((0|11*0)(11*0)*0)*(11*|(0|11*0)(11*0)*[11*]))
1*([0(11*0)*[11*]]|0(11*0)*0((1|01*0)(11*0)*0)*(01*|(1|01*0)(11*0)*[11*]))