fact: Definition Spawn := (Seq (Call (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true false false true true false false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false true true false false true true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) (String (Ascii.Ascii true true false false true false true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false false true true false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))))))))))))))))))) (@cons string (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@cons string (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true true true false false true true false) EmptyString))) (@nil string)))) (Seq (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false false true true true true false) EmptyString)))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))) (If (TestE IL.Eq (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S O))) (Var (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString)))))) (Seq (Seq (Seq (Assign (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii true false false false true true false false) EmptyString)) (Var (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true true true false false true true false) EmptyString))))) (Seq (Assign (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false true false false true true false false) EmptyString)) (Var (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true true true false false true true false) (String (Ascii.Ascii true false false false true true false false) EmptyString)))))) (Seq (Assign (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii true true false false true true false false) EmptyString)) (Var (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true true true false false true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString)))))) (Seq (Assign (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii true false false false true true false false) EmptyString)) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) O))) (Seq (Assign (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false true false false true true false false) EmptyString)) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S O)))) (Seq (Assign (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii true true false false true true false false) EmptyString)) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S (S O))))) (Assign (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false true true true false true true false) EmptyString)))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S (S (S O)))))))))))) (Seq (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true false true true true false) EmptyString)))))))))) (@cons string (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false true true true false true true false) EmptyString)))) (@nil string))) (Seq (Call (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString)))))))))) (@cons string (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@cons string (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii true false false false true true false false) EmptyString)) (@cons string (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii true false false false true true false false) EmptyString)) (@nil string))))) (Seq (Call (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString)))))))))) (@cons string (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@cons string (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false true false false true true false false) EmptyString)) (@cons string (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false true false false true true false false) EmptyString)) (@nil string))))) (Call (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString)))))))))) (@cons string (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@cons string (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii true true false false true true false false) EmptyString)) (@cons string (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii true true false false true true false false) EmptyString)) (@nil string))))))))) (Seq (Call (String (Ascii.Ascii false true true false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true false false true true false false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString))))))))))))))) (@cons string (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@cons string (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (@nil string)))) (Seq (Seq (Assign (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) O))) (Seq (Seq (Seq (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString))))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false false true true true true false) EmptyString)))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))) (While (TestE IL.Eq (Var (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString)))))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) O))) (Seq (Call (String (Ascii.Ascii false false false true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString)))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))) (Seq (Seq (Assign (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii false true false true true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString)))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S (S (S O)))))) (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii true true true false false true false false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false false true false false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString))))))))))))) (@cons string (String (Ascii.Ascii false false false true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString)))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii false true false true true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString)))) (@nil string))))) (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString))))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false false true true true true false) EmptyString)))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))))))) (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString))))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false false true false false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString))))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string)))) Skip)) (Assign (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S O))))))) (Seq (Seq (Assign (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) O))) (Seq (Seq (Seq (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString))))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false false true true true true false) EmptyString)))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))) (While (TestE IL.Eq (Var (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString)))))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) O))) (Seq (Call (String (Ascii.Ascii false false false true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false false false false true true true false) EmptyString)))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))) (Seq (Seq (Assign (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii false true false true true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString)))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) (S (S (S O)))))) (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii true true true false false true false false) EmptyString)))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false false true false false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString))))))))))))) (@cons string (String (Ascii.Ascii false false false true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false false false false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString)))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii false true false true true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString)))) (@nil string))))) (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString))))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true false true true false true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false false true true true true false) EmptyString)))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string))))))) (Call (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii false false false false true true false false) EmptyString))))) (@pair string string (String (Ascii.Ascii true false false false false false true false) (String (Ascii.Ascii false false true false false false true false) (String (Ascii.Ascii false false true false true false true false) EmptyString))) (String (Ascii.Ascii false false true false true false true false) (String (Ascii.Ascii true false true false true true true false) (String (Ascii.Ascii false false false false true true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false false true false) (String (Ascii.Ascii true false false true false true true false) (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true true true true true false true false) (String (Ascii.Ascii false false true false false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) (String (Ascii.Ascii true false true false false true true false) EmptyString))))))))))))))))) (@cons string (String (Ascii.Ascii true true false false true true true false) (String (Ascii.Ascii false true true true false true true false) (String (Ascii.Ascii false false true false false true true false) EmptyString))) (@nil string)))) Skip)) (Assign (String (Ascii.Ascii false true false false true true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true false true true true false) EmptyString))) (Const (Word.natToWord (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O)))))))))))))))))))))))))))))))) O))))))).
imports: Coq.Strings.String Bedrock.Platform.Facade.DFacade Bedrock.Platform.Cito.SyntaxExpr