Quelle  MC_spr.hs

module MC_spr where

newtype Odlist a = ODList [a] deriving (Eq, Ord, Show)
newtype Mapping a b = Mapping [(a, b)] deriving Show
data Trie a b = Trie (Maybe b) [(a, Trie a b)] deriving Show

data AlgState_ext a b c = AlgState_ext a b c deriving Show
data BEState_ext a b c d = BEState_ext b (Odlist (a, c)) d deriving (Eq, Ord, Show)

data Agent = Child0 | Child1 | Child2 deriving (Eq, Ord, Show)
data Act = SayIKnow | SayNothing deriving (Eq, Ord, Show)

mc_init = [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ())])),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())])),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())])),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())])),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())])),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())])),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())])),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ()),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ()),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())]))]
mc_dfs_output = AlgState_ext (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just [SayIKnow]) [])])) []),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just [SayNothing]) [])])])) [])]),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just [SayNothing]) [])])])) [])]),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just [SayNothing]) [])])])) [])]),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])])])])])])])])) [])])])])])])])]),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just [SayIKnow]) [])])) []),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just [SayIKnow]) [])])) []),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just [SayNothing]) [])])])) [])])])) [])])])])])) [])])])]),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayIKnow,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayIKnow,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) []),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) []),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) []),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) []),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) []),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayIKnow,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayIKnow,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) []),(BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just [SayIKnow]) [])])) [])])) [])])) [])]) (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (False,(False,False))),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ())],ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ())]))])) [])])) [])])) [])])) [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (False,(False,False))),(ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ())],ODList [(BEState_ext ((False,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) (),BEState_ext ((False,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(False,(False,False))),(Child1,(False,(False,False))),(Child2,(False,(False,False)))]) ())]))])) [])])) []),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayNothing,(SayNothing,SayIKnow)),Just (True,(False,True))),(ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ())],ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ())])),(((SayNothing,(SayNothing,SayNothing)),Just (True,(False,True))),(ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())]))])) [])])])) [])]),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayNothing,(SayIKnow,SayNothing)),Just (True,(True,False))),(ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ())],ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayNothing,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ())])),(((SayNothing,(SayNothing,SayNothing)),Just (True,(True,False))),(ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())]))])) [])])])) [])]),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayNothing,(SayNothing,SayNothing)),Just (True,(True,True))),(ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ()),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ()),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())]))])) [])])])) [])]),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayNothing,SayNothing)),Just (True,(False,False))),(ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayIKnow,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())],ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayIKnow,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())]))])) [])])) [])])) [])])])])])])])])])) [])])])])])])])]),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,True))),(ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ())],ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ())]))])) [])])) [])])) []),(BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,True))),(ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ())],ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ())]))])) [])])) [])])) [])])) [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayNothing,SayIKnow)),Just (True,(False,True))),(ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayIKnow,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())],ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayIKnow,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())]))])) [])])) []),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayNothing)),Just (True,(True,False))),(ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())]))])) [])])) []),(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayNothing,(SayIKnow,SayIKnow)),Just (True,(True,True))),(ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ())],ODList [(BEState_ext ((False,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,True)),(SayNothing,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(False,True))),(Child2,(True,(False,True)))]) ())])),(((SayNothing,(SayNothing,SayNothing)),Just (True,(True,True))),(ODList [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())]))])) [])])])) [])])])) [])])])])])) [])])])]),(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayIKnow,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayIKnow,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(False,True))),(ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())],ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())]))])) [])])) [])])) []),(BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(False,True))),(ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())],ODList [(BEState_ext ((True,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(True,True))),(Child2,(True,(True,False)))]) ())]))])) [])])) [])])) [])])) []),(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(False,True))),(ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ())],ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ())]))])) [])])) [])])) []),(BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(False,True))),(ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ())],ODList [(BEState_ext ((False,(False,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) (),BEState_ext ((False,(False,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,True))),(Child1,(True,(False,True))),(Child2,(True,(False,False)))]) ())]))])) [])])) [])])) [])])) []),(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,False))),(ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())]))])) [])])) [])])) []),(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,False))),(ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(True,False))),(Child2,(True,(True,True)))]) ())]))])) [])])) [])])) [])])) []),(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayIKnow,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,False))),(ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ())],ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ())]))])) [])])) [])])) []),(BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,False))),(ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ())],ODList [(BEState_ext ((False,(True,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) (),BEState_ext ((False,(True,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,False))),(Child1,(True,(False,False))),(Child2,(True,(False,True)))]) ())]))])) [])])) [])])) [])])) []),(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,True))),(ODList [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())]))])) [])])) [])])) []),(BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(True,True))),(ODList [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())],ODList [(BEState_ext ((True,(True,True)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) (),BEState_ext ((True,(True,True)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(True,True))),(Child1,(True,(True,True))),(Child2,(True,(True,True)))]) ())]))])) [])])) [])])) [])])) []),(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayIKnow,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayIKnow,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(False,False))),(ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())],ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())]))])) [])])) [])])) []),(BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Trie Nothing [(BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),Trie (Just (Mapping [(((SayIKnow,(SayIKnow,SayIKnow)),Just (True,(False,False))),(ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())],ODList [(BEState_ext ((True,(False,False)),(SayNothing,(SayNothing,SayNothing))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) (),BEState_ext ((True,(False,False)),(SayIKnow,(SayIKnow,SayIKnow))) (ODList [(Child0,(True,(False,False))),(Child1,(True,(True,False))),(Child2,(True,(True,False)))]) ())]))])) [])])) [])])) [])])) [])]) ()