@ Cons x xs ys Cons x @ xs ys @ Nil ys ys domatch Pchar Cslash Cons Cslash xs Cons Cslash xs domatch Pchar Clpar Cons Cslash xs Nil domatch Pchar Crpar Cons Cslash xs Nil domatch Pchar Cstar Cons Cslash xs Nil domatch Pchar Cdot Cons Cslash xs Nil domatch Pchar Z Cons Cslash xs Nil domatch Pchar Y Cons Cslash xs Nil domatch Pchar X Cons Cslash xs Nil domatch Pchar W Cons Cslash xs Nil domatch Pchar V Cons Cslash xs Nil domatch Pchar U Cons Cslash xs Nil domatch Pchar T Cons Cslash xs Nil domatch Pchar S Cons Cslash xs Nil domatch Pchar R Cons Cslash xs Nil domatch Pchar Q Cons Cslash xs Nil domatch Pchar P Cons Cslash xs Nil domatch Pchar O Cons Cslash xs Nil domatch Pchar N Cons Cslash xs Nil domatch Pchar M Cons Cslash xs Nil domatch Pchar L Cons Cslash xs Nil domatch Pchar K Cons Cslash xs Nil domatch Pchar J Cons Cslash xs Nil domatch Pchar I Cons Cslash xs Nil domatch Pchar H Cons Cslash xs Nil domatch Pchar G Cons Cslash xs Nil domatch Pchar F Cons Cslash xs Nil domatch Pchar E Cons Cslash xs Nil domatch Pchar D Cons Cslash xs Nil domatch Pchar C Cons Cslash xs Nil domatch Pchar B Cons Cslash xs Nil domatch Pchar A Cons Cslash xs Nil domatch Pchar Cslash Cons Clpar xs Nil domatch Pchar Clpar Cons Clpar xs Cons Clpar xs domatch Pchar Crpar Cons Clpar xs Nil domatch Pchar Cstar Cons Clpar xs Nil domatch Pchar Cdot Cons Clpar xs Nil domatch Pchar Z Cons Clpar xs Nil domatch Pchar Y Cons Clpar xs Nil domatch Pchar X Cons Clpar xs Nil domatch Pchar W Cons Clpar xs Nil domatch Pchar V Cons Clpar xs Nil domatch Pchar U Cons Clpar xs Nil domatch Pchar T Cons Clpar xs Nil domatch Pchar S Cons Clpar xs Nil domatch Pchar R Cons Clpar xs Nil domatch Pchar Q Cons Clpar xs Nil domatch Pchar P Cons Clpar xs Nil domatch Pchar O Cons Clpar xs Nil domatch Pchar N Cons Clpar xs Nil domatch Pchar M Cons Clpar xs Nil domatch Pchar L Cons Clpar xs Nil domatch Pchar K Cons Clpar xs Nil domatch Pchar J Cons Clpar xs Nil domatch Pchar I Cons Clpar xs Nil domatch Pchar H Cons Clpar xs Nil domatch Pchar G Cons Clpar xs Nil domatch Pchar F Cons Clpar xs Nil domatch Pchar E Cons Clpar xs Nil domatch Pchar D Cons Clpar xs Nil domatch Pchar C Cons Clpar xs Nil domatch Pchar B Cons Clpar xs Nil domatch Pchar A Cons Clpar xs Nil domatch Pchar Cslash Cons Crpar xs Nil domatch Pchar Clpar Cons Crpar xs Nil domatch Pchar Crpar Cons Crpar xs Cons Crpar xs domatch Pchar Cstar Cons Crpar xs Nil domatch Pchar Cdot Cons Crpar xs Nil domatch Pchar Z Cons Crpar xs Nil domatch Pchar Y Cons Crpar xs Nil domatch Pchar X Cons Crpar xs Nil domatch Pchar W Cons Crpar xs Nil domatch Pchar V Cons Crpar xs Nil domatch Pchar U Cons Crpar xs Nil domatch Pchar T Cons Crpar xs Nil domatch Pchar S Cons Crpar xs Nil domatch Pchar R Cons Crpar xs Nil domatch Pchar Q Cons Crpar xs Nil domatch Pchar P Cons Crpar xs Nil domatch Pchar O Cons Crpar xs Nil domatch Pchar N Cons Crpar xs Nil domatch Pchar M Cons Crpar xs Nil domatch Pchar L Cons Crpar xs Nil domatch Pchar K Cons Crpar xs Nil domatch Pchar J Cons Crpar xs Nil domatch Pchar I Cons Crpar xs Nil domatch Pchar H Cons Crpar xs Nil domatch Pchar G Cons Crpar xs Nil domatch Pchar F Cons Crpar xs Nil domatch Pchar E Cons Crpar xs Nil domatch Pchar D Cons Crpar xs Nil domatch Pchar C Cons Crpar xs Nil domatch Pchar B Cons Crpar xs Nil domatch Pchar A Cons Crpar xs Nil domatch Pchar Cslash Cons Cstar xs Nil domatch Pchar Clpar Cons Cstar xs Nil domatch Pchar Crpar Cons Cstar xs Nil domatch Pchar Cstar Cons Cstar xs Cons Cstar xs domatch Pchar Cdot Cons Cstar xs Nil domatch Pchar Z Cons Cstar xs Nil domatch Pchar Y Cons Cstar xs Nil domatch Pchar X Cons Cstar xs Nil domatch Pchar W Cons Cstar xs Nil domatch Pchar V Cons Cstar xs Nil domatch Pchar U Cons Cstar xs Nil domatch Pchar T Cons Cstar xs Nil domatch Pchar S Cons Cstar xs Nil domatch Pchar R Cons Cstar xs Nil domatch Pchar Q Cons Cstar xs Nil domatch Pchar P Cons Cstar xs Nil domatch Pchar O Cons Cstar xs Nil domatch Pchar N Cons Cstar xs Nil domatch Pchar M Cons Cstar xs Nil domatch Pchar L Cons Cstar xs Nil domatch Pchar K Cons Cstar xs Nil domatch Pchar J Cons Cstar xs Nil domatch Pchar I Cons Cstar xs Nil domatch Pchar H Cons Cstar xs Nil domatch Pchar G Cons Cstar xs Nil domatch Pchar F Cons Cstar xs Nil domatch Pchar E Cons Cstar xs Nil domatch Pchar D Cons Cstar xs Nil domatch Pchar C Cons Cstar xs Nil domatch Pchar B Cons Cstar xs Nil domatch Pchar A Cons Cstar xs Nil domatch Pchar Cslash Cons Cdot xs Nil domatch Pchar Clpar Cons Cdot xs Nil domatch Pchar Crpar Cons Cdot xs Nil domatch Pchar Cstar Cons Cdot xs Nil domatch Pchar Cdot Cons Cdot xs Cons Cdot xs domatch Pchar Z Cons Cdot xs Nil domatch Pchar Y Cons Cdot xs Nil domatch Pchar X Cons Cdot xs Nil domatch Pchar W Cons Cdot xs Nil domatch Pchar V Cons Cdot xs Nil domatch Pchar U Cons Cdot xs Nil domatch Pchar T Cons Cdot xs Nil domatch Pchar S Cons Cdot xs Nil domatch Pchar R Cons Cdot xs Nil domatch Pchar Q Cons Cdot xs Nil domatch Pchar P Cons Cdot xs Nil domatch Pchar O Cons Cdot xs Nil domatch Pchar N Cons Cdot xs Nil domatch Pchar M Cons Cdot xs Nil domatch Pchar L Cons Cdot xs Nil domatch Pchar K Cons Cdot xs Nil domatch Pchar J Cons Cdot xs Nil domatch Pchar I Cons Cdot xs Nil domatch Pchar H Cons Cdot xs Nil domatch Pchar G Cons Cdot xs Nil domatch Pchar F Cons Cdot xs Nil domatch Pchar E Cons Cdot xs Nil domatch Pchar D Cons Cdot xs Nil domatch Pchar C Cons Cdot xs Nil domatch Pchar B Cons Cdot xs Nil domatch Pchar A Cons Cdot xs Nil domatch Pchar Cslash Cons Z xs Nil domatch Pchar Clpar Cons Z xs Nil domatch Pchar Crpar Cons Z xs Nil domatch Pchar Cstar Cons Z xs Nil domatch Pchar Cdot Cons Z xs Nil domatch Pchar Z Cons Z xs Cons Z xs domatch Pchar Y Cons Z xs Nil domatch Pchar X Cons Z xs Nil domatch Pchar W Cons Z xs Nil domatch Pchar V Cons Z xs Nil domatch Pchar U Cons Z xs Nil domatch Pchar T Cons Z xs Nil domatch Pchar S Cons Z xs Nil domatch Pchar R Cons Z xs Nil domatch Pchar Q Cons Z xs Nil domatch Pchar P Cons Z xs Nil domatch Pchar O Cons Z xs Nil domatch Pchar N Cons Z xs Nil domatch Pchar M Cons Z xs Nil domatch Pchar L Cons Z xs Nil domatch Pchar K Cons Z xs Nil domatch Pchar J Cons Z xs Nil domatch Pchar I Cons Z xs Nil domatch Pchar H Cons Z xs Nil domatch Pchar G Cons Z xs Nil domatch Pchar F Cons Z xs Nil domatch Pchar E Cons Z xs Nil domatch Pchar D Cons Z xs Nil domatch Pchar C Cons Z xs Nil domatch Pchar B Cons Z xs Nil domatch Pchar A Cons Z xs Nil domatch Pchar Cslash Cons Y xs Nil domatch Pchar Clpar Cons Y xs Nil domatch Pchar Crpar Cons Y xs Nil domatch Pchar Cstar Cons Y xs Nil domatch Pchar Cdot Cons Y xs Nil domatch Pchar Z Cons Y xs Nil domatch Pchar Y Cons Y xs Cons Y xs domatch Pchar X Cons Y xs Nil domatch Pchar W Cons Y xs Nil domatch Pchar V Cons Y xs Nil domatch Pchar U Cons Y xs Nil domatch Pchar T Cons Y xs Nil domatch Pchar S Cons Y xs Nil domatch Pchar R Cons Y xs Nil domatch Pchar Q Cons Y xs Nil domatch Pchar P Cons Y xs Nil domatch Pchar O Cons Y xs Nil domatch Pchar N Cons Y xs Nil domatch Pchar M Cons Y xs Nil domatch Pchar L Cons Y xs Nil domatch Pchar K Cons Y xs Nil domatch Pchar J Cons Y xs Nil domatch Pchar I Cons Y xs Nil domatch Pchar H Cons Y xs Nil domatch Pchar G Cons Y xs Nil domatch Pchar F Cons Y xs Nil domatch Pchar E Cons Y xs Nil domatch Pchar D Cons Y xs Nil domatch Pchar C Cons Y xs Nil domatch Pchar B Cons Y xs Nil domatch Pchar A Cons Y xs Nil domatch Pchar Cslash Cons X xs Nil domatch Pchar Clpar Cons X xs Nil domatch Pchar Crpar Cons X xs Nil domatch Pchar Cstar Cons X xs Nil domatch Pchar Cdot Cons X xs Nil domatch Pchar Z Cons X xs Nil domatch Pchar Y Cons X xs Nil domatch Pchar X Cons X xs Cons X xs domatch Pchar W Cons X xs Nil domatch Pchar V Cons X xs Nil domatch Pchar U Cons X xs Nil domatch Pchar T Cons X xs Nil domatch Pchar S Cons X xs Nil domatch Pchar R Cons X xs Nil domatch Pchar Q Cons X xs Nil domatch Pchar P Cons X xs Nil domatch Pchar O Cons X xs Nil domatch Pchar N Cons X xs Nil domatch Pchar M Cons X xs Nil domatch Pchar L Cons X xs Nil domatch Pchar K Cons X xs Nil domatch Pchar J Cons X xs Nil domatch Pchar I Cons X xs Nil domatch Pchar H Cons X xs Nil domatch Pchar G Cons X xs Nil domatch Pchar F Cons X xs Nil domatch Pchar E Cons X xs Nil domatch Pchar D Cons X xs Nil domatch Pchar C Cons X xs Nil domatch Pchar B Cons X xs Nil domatch Pchar A Cons X xs Nil domatch Pchar Cslash Cons W xs Nil domatch Pchar Clpar Cons W xs Nil domatch Pchar Crpar Cons W xs Nil domatch Pchar Cstar Cons W xs Nil domatch Pchar Cdot Cons W xs Nil domatch Pchar Z Cons W xs Nil domatch Pchar Y Cons W xs Nil domatch Pchar X Cons W xs Nil domatch Pchar W Cons W xs Cons W xs domatch Pchar V Cons W xs Nil domatch Pchar U Cons W xs Nil domatch Pchar T Cons W xs Nil domatch Pchar S Cons W xs Nil domatch Pchar R Cons W xs Nil domatch Pchar Q Cons W xs Nil domatch Pchar P Cons W xs Nil domatch Pchar O Cons W xs Nil domatch Pchar N Cons W xs Nil domatch Pchar M Cons W xs Nil domatch Pchar L Cons W xs Nil domatch Pchar K Cons W xs Nil domatch Pchar J Cons W xs Nil domatch Pchar I Cons W xs Nil domatch Pchar H Cons W xs Nil domatch Pchar G Cons W xs Nil domatch Pchar F Cons W xs Nil domatch Pchar E Cons W xs Nil domatch Pchar D Cons W xs Nil domatch Pchar C Cons W xs Nil domatch Pchar B Cons W xs Nil domatch Pchar A Cons W xs Nil domatch Pchar Cslash Cons V xs Nil domatch Pchar Clpar Cons V xs Nil domatch Pchar Crpar Cons V xs Nil domatch Pchar Cstar Cons V xs Nil domatch Pchar Cdot Cons V xs Nil domatch Pchar Z Cons V xs Nil domatch Pchar Y Cons V xs Nil domatch Pchar X Cons V xs Nil domatch Pchar W Cons V xs Nil domatch Pchar V Cons V xs Cons V xs domatch Pchar U Cons V xs Nil domatch Pchar T Cons V xs Nil domatch Pchar S Cons V xs Nil domatch Pchar R Cons V xs Nil domatch Pchar Q Cons V xs Nil domatch Pchar P Cons V xs Nil domatch Pchar O Cons V xs Nil domatch Pchar N Cons V xs Nil domatch Pchar M Cons V xs Nil domatch Pchar L Cons V xs Nil domatch Pchar K Cons V xs Nil domatch Pchar J Cons V xs Nil domatch Pchar I Cons V xs Nil domatch Pchar H Cons V xs Nil domatch Pchar G Cons V xs Nil domatch Pchar F Cons V xs Nil domatch Pchar E Cons V xs Nil domatch Pchar D Cons V xs Nil domatch Pchar C Cons V xs Nil domatch Pchar B Cons V xs Nil domatch Pchar A Cons V xs Nil domatch Pchar Cslash Cons U xs Nil domatch Pchar Clpar Cons U xs Nil domatch Pchar Crpar Cons U xs Nil domatch Pchar Cstar Cons U xs Nil domatch Pchar Cdot Cons U xs Nil domatch Pchar Z Cons U xs Nil domatch Pchar Y Cons U xs Nil domatch Pchar X Cons U xs Nil domatch Pchar W Cons U xs Nil domatch Pchar V Cons U xs Nil domatch Pchar U Cons U xs Cons U xs domatch Pchar T Cons U xs Nil domatch Pchar S Cons U xs Nil domatch Pchar R Cons U xs Nil domatch Pchar Q Cons U xs Nil domatch Pchar P Cons U xs Nil domatch Pchar O Cons U xs Nil domatch Pchar N Cons U xs Nil domatch Pchar M Cons U xs Nil domatch Pchar L Cons U xs Nil domatch Pchar K Cons U xs Nil domatch Pchar J Cons U xs Nil domatch Pchar I Cons U xs Nil domatch Pchar H Cons U xs Nil domatch Pchar G Cons U xs Nil domatch Pchar F Cons U xs Nil domatch Pchar E Cons U xs Nil domatch Pchar D Cons U xs Nil domatch Pchar C Cons U xs Nil domatch Pchar B Cons U xs Nil domatch Pchar A Cons U xs Nil domatch Pchar Cslash Cons T xs Nil domatch Pchar Clpar Cons T xs Nil domatch Pchar Crpar Cons T xs Nil domatch Pchar Cstar Cons T xs Nil domatch Pchar Cdot Cons T xs Nil domatch Pchar Z Cons T xs Nil domatch Pchar Y Cons T xs Nil domatch Pchar X Cons T xs Nil domatch Pchar W Cons T xs Nil domatch Pchar V Cons T xs Nil domatch Pchar U Cons T xs Nil domatch Pchar T Cons T xs Cons T xs domatch Pchar S Cons T xs Nil domatch Pchar R Cons T xs Nil domatch Pchar Q Cons T xs Nil domatch Pchar P Cons T xs Nil domatch Pchar O Cons T xs Nil domatch Pchar N Cons T xs Nil domatch Pchar M Cons T xs Nil domatch Pchar L Cons T xs Nil domatch Pchar K Cons T xs Nil domatch Pchar J Cons T xs Nil domatch Pchar I Cons T xs Nil domatch Pchar H Cons T xs Nil domatch Pchar G Cons T xs Nil domatch Pchar F Cons T xs Nil domatch Pchar E Cons T xs Nil domatch Pchar D Cons T xs Nil domatch Pchar C Cons T xs Nil domatch Pchar B Cons T xs Nil domatch Pchar A Cons T xs Nil domatch Pchar Cslash Cons S xs Nil domatch Pchar Clpar Cons S xs Nil domatch Pchar Crpar Cons S xs Nil domatch Pchar Cstar Cons S xs Nil domatch Pchar Cdot Cons S xs Nil domatch Pchar Z Cons S xs Nil domatch Pchar Y Cons S xs Nil domatch Pchar X Cons S xs Nil domatch Pchar W Cons S xs Nil domatch Pchar V Cons S xs Nil domatch Pchar U Cons S xs Nil domatch Pchar T Cons S xs Nil domatch Pchar S Cons S xs Cons S xs domatch Pchar R Cons S xs Nil domatch Pchar Q Cons S xs Nil domatch Pchar P Cons S xs Nil domatch Pchar O Cons S xs Nil domatch Pchar N Cons S xs Nil domatch Pchar M Cons S xs Nil domatch Pchar L Cons S xs Nil domatch Pchar K Cons S xs Nil domatch Pchar J Cons S xs Nil domatch Pchar I Cons S xs Nil domatch Pchar H Cons S xs Nil domatch Pchar G Cons S xs Nil domatch Pchar F Cons S xs Nil domatch Pchar E Cons S xs Nil domatch Pchar D Cons S xs Nil domatch Pchar C Cons S xs Nil domatch Pchar B Cons S xs Nil domatch Pchar A Cons S xs Nil domatch Pchar Cslash Cons R xs Nil domatch Pchar Clpar Cons R xs Nil domatch Pchar Crpar Cons R xs Nil domatch Pchar Cstar Cons R xs Nil domatch Pchar Cdot Cons R xs Nil domatch Pchar Z Cons R xs Nil domatch Pchar Y Cons R xs Nil domatch Pchar X Cons R xs Nil domatch Pchar W Cons R xs Nil domatch Pchar V Cons R xs Nil domatch Pchar U Cons R xs Nil domatch Pchar T Cons R xs Nil domatch Pchar S Cons R xs Nil domatch Pchar R Cons R xs Cons R xs domatch Pchar Q Cons R xs Nil domatch Pchar P Cons R xs Nil domatch Pchar O Cons R xs Nil domatch Pchar N Cons R xs Nil domatch Pchar M Cons R xs Nil domatch Pchar L Cons R xs Nil domatch Pchar K Cons R xs Nil domatch Pchar J Cons R xs Nil domatch Pchar I Cons R xs Nil domatch Pchar H Cons R xs Nil domatch Pchar G Cons R xs Nil domatch Pchar F Cons R xs Nil domatch Pchar E Cons R xs Nil domatch Pchar D Cons R xs Nil domatch Pchar C Cons R xs Nil domatch Pchar B Cons R xs Nil domatch Pchar A Cons R xs Nil domatch Pchar Cslash Cons Q xs Nil domatch Pchar Clpar Cons Q xs Nil domatch Pchar Crpar Cons Q xs Nil domatch Pchar Cstar Cons Q xs Nil domatch Pchar Cdot Cons Q xs Nil domatch Pchar Z Cons Q xs Nil domatch Pchar Y Cons Q xs Nil domatch Pchar X Cons Q xs Nil domatch Pchar W Cons Q xs Nil domatch Pchar V Cons Q xs Nil domatch Pchar U Cons Q xs Nil domatch Pchar T Cons Q xs Nil domatch Pchar S Cons Q xs Nil domatch Pchar R Cons Q xs Nil domatch Pchar Q Cons Q xs Cons Q xs domatch Pchar P Cons Q xs Nil domatch Pchar O Cons Q xs Nil domatch Pchar N Cons Q xs Nil domatch Pchar M Cons Q xs Nil domatch Pchar L Cons Q xs Nil domatch Pchar K Cons Q xs Nil domatch Pchar J Cons Q xs Nil domatch Pchar I Cons Q xs Nil domatch Pchar H Cons Q xs Nil domatch Pchar G Cons Q xs Nil domatch Pchar F Cons Q xs Nil domatch Pchar E Cons Q xs Nil domatch Pchar D Cons Q xs Nil domatch Pchar C Cons Q xs Nil domatch Pchar B Cons Q xs Nil domatch Pchar A Cons Q xs Nil domatch Pchar Cslash Cons P xs Nil domatch Pchar Clpar Cons P xs Nil domatch Pchar Crpar Cons P xs Nil domatch Pchar Cstar Cons P xs Nil domatch Pchar Cdot Cons P xs Nil domatch Pchar Z Cons P xs Nil domatch Pchar Y Cons P xs Nil domatch Pchar X Cons P xs Nil domatch Pchar W Cons P xs Nil domatch Pchar V Cons P xs Nil domatch Pchar U Cons P xs Nil domatch Pchar T Cons P xs Nil domatch Pchar S Cons P xs Nil domatch Pchar R Cons P xs Nil domatch Pchar Q Cons P xs Nil domatch Pchar P Cons P xs Cons P xs domatch Pchar O Cons P xs Nil domatch Pchar N Cons P xs Nil domatch Pchar M Cons P xs Nil domatch Pchar L Cons P xs Nil domatch Pchar K Cons P xs Nil domatch Pchar J Cons P xs Nil domatch Pchar I Cons P xs Nil domatch Pchar H Cons P xs Nil domatch Pchar G Cons P xs Nil domatch Pchar F Cons P xs Nil domatch Pchar E Cons P xs Nil domatch Pchar D Cons P xs Nil domatch Pchar C Cons P xs Nil domatch Pchar B Cons P xs Nil domatch Pchar A Cons P xs Nil domatch Pchar Cslash Cons O xs Nil domatch Pchar Clpar Cons O xs Nil domatch Pchar Crpar Cons O xs Nil domatch Pchar Cstar Cons O xs Nil domatch Pchar Cdot Cons O xs Nil domatch Pchar Z Cons O xs Nil domatch Pchar Y Cons O xs Nil domatch Pchar X Cons O xs Nil domatch Pchar W Cons O xs Nil domatch Pchar V Cons O xs Nil domatch Pchar U Cons O xs Nil domatch Pchar T Cons O xs Nil domatch Pchar S Cons O xs Nil domatch Pchar R Cons O xs Nil domatch Pchar Q Cons O xs Nil domatch Pchar P Cons O xs Nil domatch Pchar O Cons O xs Cons O xs domatch Pchar N Cons O xs Nil domatch Pchar M Cons O xs Nil domatch Pchar L Cons O xs Nil domatch Pchar K Cons O xs Nil domatch Pchar J Cons O xs Nil domatch Pchar I Cons O xs Nil domatch Pchar H Cons O xs Nil domatch Pchar G Cons O xs Nil domatch Pchar F Cons O xs Nil domatch Pchar E Cons O xs Nil domatch Pchar D Cons O xs Nil domatch Pchar C Cons O xs Nil domatch Pchar B Cons O xs Nil domatch Pchar A Cons O xs Nil domatch Pchar Cslash Cons N xs Nil domatch Pchar Clpar Cons N xs Nil domatch Pchar Crpar Cons N xs Nil domatch Pchar Cstar Cons N xs Nil domatch Pchar Cdot Cons N xs Nil domatch Pchar Z Cons N xs Nil domatch Pchar Y Cons N xs Nil domatch Pchar X Cons N xs Nil domatch Pchar W Cons N xs Nil domatch Pchar V Cons N xs Nil domatch Pchar U Cons N xs Nil domatch Pchar T Cons N xs Nil domatch Pchar S Cons N xs Nil domatch Pchar R Cons N xs Nil domatch Pchar Q Cons N xs Nil domatch Pchar P Cons N xs Nil domatch Pchar O Cons N xs Nil domatch Pchar N Cons N xs Cons N xs domatch Pchar M Cons N xs Nil domatch Pchar L Cons N xs Nil domatch Pchar K Cons N xs Nil domatch Pchar J Cons N xs Nil domatch Pchar I Cons N xs Nil domatch Pchar H Cons N xs Nil domatch Pchar G Cons N xs Nil domatch Pchar F Cons N xs Nil domatch Pchar E Cons N xs Nil domatch Pchar D Cons N xs Nil domatch Pchar C Cons N xs Nil domatch Pchar B Cons N xs Nil domatch Pchar A Cons N xs Nil domatch Pchar Cslash Cons M xs Nil domatch Pchar Clpar Cons M xs Nil domatch Pchar Crpar Cons M xs Nil domatch Pchar Cstar Cons M xs Nil domatch Pchar Cdot Cons M xs Nil domatch Pchar Z Cons M xs Nil domatch Pchar Y Cons M xs Nil domatch Pchar X Cons M xs Nil domatch Pchar W Cons M xs Nil domatch Pchar V Cons M xs Nil domatch Pchar U Cons M xs Nil domatch Pchar T Cons M xs Nil domatch Pchar S Cons M xs Nil domatch Pchar R Cons M xs Nil domatch Pchar Q Cons M xs Nil domatch Pchar P Cons M xs Nil domatch Pchar O Cons M xs Nil domatch Pchar N Cons M xs Nil domatch Pchar M Cons M xs Cons M xs domatch Pchar L Cons M xs Nil domatch Pchar K Cons M xs Nil domatch Pchar J Cons M xs Nil domatch Pchar I Cons M xs Nil domatch Pchar H Cons M xs Nil domatch Pchar G Cons M xs Nil domatch Pchar F Cons M xs Nil domatch Pchar E Cons M xs Nil domatch Pchar D Cons M xs Nil domatch Pchar C Cons M xs Nil domatch Pchar B Cons M xs Nil domatch Pchar A Cons M xs Nil domatch Pchar Cslash Cons L xs Nil domatch Pchar Clpar Cons L xs Nil domatch Pchar Crpar Cons L xs Nil domatch Pchar Cstar Cons L xs Nil domatch Pchar Cdot Cons L xs Nil domatch Pchar Z Cons L xs Nil domatch Pchar Y Cons L xs Nil domatch Pchar X Cons L xs Nil domatch Pchar W Cons L xs Nil domatch Pchar V Cons L xs Nil domatch Pchar U Cons L xs Nil domatch Pchar T Cons L xs Nil domatch Pchar S Cons L xs Nil domatch Pchar R Cons L xs Nil domatch Pchar Q Cons L xs Nil domatch Pchar P Cons L xs Nil domatch Pchar O Cons L xs Nil domatch Pchar N Cons L xs Nil domatch Pchar M Cons L xs Nil domatch Pchar L Cons L xs Cons L xs domatch Pchar K Cons L xs Nil domatch Pchar J Cons L xs Nil domatch Pchar I Cons L xs Nil domatch Pchar H Cons L xs Nil domatch Pchar G Cons L xs Nil domatch Pchar F Cons L xs Nil domatch Pchar E Cons L xs Nil domatch Pchar D Cons L xs Nil domatch Pchar C Cons L xs Nil domatch Pchar B Cons L xs Nil domatch Pchar A Cons L xs Nil domatch Pchar Cslash Cons K xs Nil domatch Pchar Clpar Cons K xs Nil domatch Pchar Crpar Cons K xs Nil domatch Pchar Cstar Cons K xs Nil domatch Pchar Cdot Cons K xs Nil domatch Pchar Z Cons K xs Nil domatch Pchar Y Cons K xs Nil domatch Pchar X Cons K xs Nil domatch Pchar W Cons K xs Nil domatch Pchar V Cons K xs Nil domatch Pchar U Cons K xs Nil domatch Pchar T Cons K xs Nil domatch Pchar S Cons K xs Nil domatch Pchar R Cons K xs Nil domatch Pchar Q Cons K xs Nil domatch Pchar P Cons K xs Nil domatch Pchar O Cons K xs Nil domatch Pchar N Cons K xs Nil domatch Pchar M Cons K xs Nil domatch Pchar L Cons K xs Nil domatch Pchar K Cons K xs Cons K xs domatch Pchar J Cons K xs Nil domatch Pchar I Cons K xs Nil domatch Pchar H Cons K xs Nil domatch Pchar G Cons K xs Nil domatch Pchar F Cons K xs Nil domatch Pchar E Cons K xs Nil domatch Pchar D Cons K xs Nil domatch Pchar C Cons K xs Nil domatch Pchar B Cons K xs Nil domatch Pchar A Cons K xs Nil domatch Pchar Cslash Cons J xs Nil domatch Pchar Clpar Cons J xs Nil domatch Pchar Crpar Cons J xs Nil domatch Pchar Cstar Cons J xs Nil domatch Pchar Cdot Cons J xs Nil domatch Pchar Z Cons J xs Nil domatch Pchar Y Cons J xs Nil domatch Pchar X Cons J xs Nil domatch Pchar W Cons J xs Nil domatch Pchar V Cons J xs Nil domatch Pchar U Cons J xs Nil domatch Pchar T Cons J xs Nil domatch Pchar S Cons J xs Nil domatch Pchar R Cons J xs Nil domatch Pchar Q Cons J xs Nil domatch Pchar P Cons J xs Nil domatch Pchar O Cons J xs Nil domatch Pchar N Cons J xs Nil domatch Pchar M Cons J xs Nil domatch Pchar L Cons J xs Nil domatch Pchar K Cons J xs Nil domatch Pchar J Cons J xs Cons J xs domatch Pchar I Cons J xs Nil domatch Pchar H Cons J xs Nil domatch Pchar G Cons J xs Nil domatch Pchar F Cons J xs Nil domatch Pchar E Cons J xs Nil domatch Pchar D Cons J xs Nil domatch Pchar C Cons J xs Nil domatch Pchar B Cons J xs Nil domatch Pchar A Cons J xs Nil domatch Pchar Cslash Cons I xs Nil domatch Pchar Clpar Cons I xs Nil domatch Pchar Crpar Cons I xs Nil domatch Pchar Cstar Cons I xs Nil domatch Pchar Cdot Cons I xs Nil domatch Pchar Z Cons I xs Nil domatch Pchar Y Cons I xs Nil domatch Pchar X Cons I xs Nil domatch Pchar W Cons I xs Nil domatch Pchar V Cons I xs Nil domatch Pchar U Cons I xs Nil domatch Pchar T Cons I xs Nil domatch Pchar S Cons I xs Nil domatch Pchar R Cons I xs Nil domatch Pchar Q Cons I xs Nil domatch Pchar P Cons I xs Nil domatch Pchar O Cons I xs Nil domatch Pchar N Cons I xs Nil domatch Pchar M Cons I xs Nil domatch Pchar L Cons I xs Nil domatch Pchar K Cons I xs Nil domatch Pchar J Cons I xs Nil domatch Pchar I Cons I xs Cons I xs domatch Pchar H Cons I xs Nil domatch Pchar G Cons I xs Nil domatch Pchar F Cons I xs Nil domatch Pchar E Cons I xs Nil domatch Pchar D Cons I xs Nil domatch Pchar C Cons I xs Nil domatch Pchar B Cons I xs Nil domatch Pchar A Cons I xs Nil domatch Pchar Cslash Cons H xs Nil domatch Pchar Clpar Cons H xs Nil domatch Pchar Crpar Cons H xs Nil domatch Pchar Cstar Cons H xs Nil domatch Pchar Cdot Cons H xs Nil domatch Pchar Z Cons H xs Nil domatch Pchar Y Cons H xs Nil domatch Pchar X Cons H xs Nil domatch Pchar W Cons H xs Nil domatch Pchar V Cons H xs Nil domatch Pchar U Cons H xs Nil domatch Pchar T Cons H xs Nil domatch Pchar S Cons H xs Nil domatch Pchar R Cons H xs Nil domatch Pchar Q Cons H xs Nil domatch Pchar P Cons H xs Nil domatch Pchar O Cons H xs Nil domatch Pchar N Cons H xs Nil domatch Pchar M Cons H xs Nil domatch Pchar L Cons H xs Nil domatch Pchar K Cons H xs Nil domatch Pchar J Cons H xs Nil domatch Pchar I Cons H xs Nil domatch Pchar H Cons H xs Cons H xs domatch Pchar G Cons H xs Nil domatch Pchar F Cons H xs Nil domatch Pchar E Cons H xs Nil domatch Pchar D Cons H xs Nil domatch Pchar C Cons H xs Nil domatch Pchar B Cons H xs Nil domatch Pchar A Cons H xs Nil domatch Pchar Cslash Cons G xs Nil domatch Pchar Clpar Cons G xs Nil domatch Pchar Crpar Cons G xs Nil domatch Pchar Cstar Cons G xs Nil domatch Pchar Cdot Cons G xs Nil domatch Pchar Z Cons G xs Nil domatch Pchar Y Cons G xs Nil domatch Pchar X Cons G xs Nil domatch Pchar W Cons G xs Nil domatch Pchar V Cons G xs Nil domatch Pchar U Cons G xs Nil domatch Pchar T Cons G xs Nil domatch Pchar S Cons G xs Nil domatch Pchar R Cons G xs Nil domatch Pchar Q Cons G xs Nil domatch Pchar P Cons G xs Nil domatch Pchar O Cons G xs Nil domatch Pchar N Cons G xs Nil domatch Pchar M Cons G xs Nil domatch Pchar L Cons G xs Nil domatch Pchar K Cons G xs Nil domatch Pchar J Cons G xs Nil domatch Pchar I Cons G xs Nil domatch Pchar H Cons G xs Nil domatch Pchar G Cons G xs Cons G xs domatch Pchar F Cons G xs Nil domatch Pchar E Cons G xs Nil domatch Pchar D Cons G xs Nil domatch Pchar C Cons G xs Nil domatch Pchar B Cons G xs Nil domatch Pchar A Cons G xs Nil domatch Pchar Cslash Cons F xs Nil domatch Pchar Clpar Cons F xs Nil domatch Pchar Crpar Cons F xs Nil domatch Pchar Cstar Cons F xs Nil domatch Pchar Cdot Cons F xs Nil domatch Pchar Z Cons F xs Nil domatch Pchar Y Cons F xs Nil domatch Pchar X Cons F xs Nil domatch Pchar W Cons F xs Nil domatch Pchar V Cons F xs Nil domatch Pchar U Cons F xs Nil domatch Pchar T Cons F xs Nil domatch Pchar S Cons F xs Nil domatch Pchar R Cons F xs Nil domatch Pchar Q Cons F xs Nil domatch Pchar P Cons F xs Nil domatch Pchar O Cons F xs Nil domatch Pchar N Cons F xs Nil domatch Pchar M Cons F xs Nil domatch Pchar L Cons F xs Nil domatch Pchar K Cons F xs Nil domatch Pchar J Cons F xs Nil domatch Pchar I Cons F xs Nil domatch Pchar H Cons F xs Nil domatch Pchar G Cons F xs Nil domatch Pchar F Cons F xs Cons F xs domatch Pchar E Cons F xs Nil domatch Pchar D Cons F xs Nil domatch Pchar C Cons F xs Nil domatch Pchar B Cons F xs Nil domatch Pchar A Cons F xs Nil domatch Pchar Cslash Cons E xs Nil domatch Pchar Clpar Cons E xs Nil domatch Pchar Crpar Cons E xs Nil domatch Pchar Cstar Cons E xs Nil domatch Pchar Cdot Cons E xs Nil domatch Pchar Z Cons E xs Nil domatch Pchar Y Cons E xs Nil domatch Pchar X Cons E xs Nil domatch Pchar W Cons E xs Nil domatch Pchar V Cons E xs Nil domatch Pchar U Cons E xs Nil domatch Pchar T Cons E xs Nil domatch Pchar S Cons E xs Nil domatch Pchar R Cons E xs Nil domatch Pchar Q Cons E xs Nil domatch Pchar P Cons E xs Nil domatch Pchar O Cons E xs Nil domatch Pchar N Cons E xs Nil domatch Pchar M Cons E xs Nil domatch Pchar L Cons E xs Nil domatch Pchar K Cons E xs Nil domatch Pchar J Cons E xs Nil domatch Pchar I Cons E xs Nil domatch Pchar H Cons E xs Nil domatch Pchar G Cons E xs Nil domatch Pchar F Cons E xs Nil domatch Pchar E Cons E xs Cons E xs domatch Pchar D Cons E xs Nil domatch Pchar C Cons E xs Nil domatch Pchar B Cons E xs Nil domatch Pchar A Cons E xs Nil domatch Pchar Cslash Cons D xs Nil domatch Pchar Clpar Cons D xs Nil domatch Pchar Crpar Cons D xs Nil domatch Pchar Cstar Cons D xs Nil domatch Pchar Cdot Cons D xs Nil domatch Pchar Z Cons D xs Nil domatch Pchar Y Cons D xs Nil domatch Pchar X Cons D xs Nil domatch Pchar W Cons D xs Nil domatch Pchar V Cons D xs Nil domatch Pchar U Cons D xs Nil domatch Pchar T Cons D xs Nil domatch Pchar S Cons D xs Nil domatch Pchar R Cons D xs Nil domatch Pchar Q Cons D xs Nil domatch Pchar P Cons D xs Nil domatch Pchar O Cons D xs Nil domatch Pchar N Cons D xs Nil domatch Pchar M Cons D xs Nil domatch Pchar L Cons D xs Nil domatch Pchar K Cons D xs Nil domatch Pchar J Cons D xs Nil domatch Pchar I Cons D xs Nil domatch Pchar H Cons D xs Nil domatch Pchar G Cons D xs Nil domatch Pchar F Cons D xs Nil domatch Pchar E Cons D xs Nil domatch Pchar D Cons D xs Cons D xs domatch Pchar C Cons D xs Nil domatch Pchar B Cons D xs Nil domatch Pchar A Cons D xs Nil domatch Pchar Cslash Cons C xs Nil domatch Pchar Clpar Cons C xs Nil domatch Pchar Crpar Cons C xs Nil domatch Pchar Cstar Cons C xs Nil domatch Pchar Cdot Cons C xs Nil domatch Pchar Z Cons C xs Nil domatch Pchar Y Cons C xs Nil domatch Pchar X Cons C xs Nil domatch Pchar W Cons C xs Nil domatch Pchar V Cons C xs Nil domatch Pchar U Cons C xs Nil domatch Pchar T Cons C xs Nil domatch Pchar S Cons C xs Nil domatch Pchar R Cons C xs Nil domatch Pchar Q Cons C xs Nil domatch Pchar P Cons C xs Nil domatch Pchar O Cons C xs Nil domatch Pchar N Cons C xs Nil domatch Pchar M Cons C xs Nil domatch Pchar L Cons C xs Nil domatch Pchar K Cons C xs Nil domatch Pchar J Cons C xs Nil domatch Pchar I Cons C xs Nil domatch Pchar H Cons C xs Nil domatch Pchar G Cons C xs Nil domatch Pchar F Cons C xs Nil domatch Pchar E Cons C xs Nil domatch Pchar D Cons C xs Nil domatch Pchar C Cons C xs Cons C xs domatch Pchar B Cons C xs Nil domatch Pchar A Cons C xs Nil domatch Pchar Cslash Cons B xs Nil domatch Pchar Clpar Cons B xs Nil domatch Pchar Crpar Cons B xs Nil domatch Pchar Cstar Cons B xs Nil domatch Pchar Cdot Cons B xs Nil domatch Pchar Z Cons B xs Nil domatch Pchar Y Cons B xs Nil domatch Pchar X Cons B xs Nil domatch Pchar W Cons B xs Nil domatch Pchar V Cons B xs Nil domatch Pchar U Cons B xs Nil domatch Pchar T Cons B xs Nil domatch Pchar S Cons B xs Nil domatch Pchar R Cons B xs Nil domatch Pchar Q Cons B xs Nil domatch Pchar P Cons B xs Nil domatch Pchar O Cons B xs Nil domatch Pchar N Cons B xs Nil domatch Pchar M Cons B xs Nil domatch Pchar L Cons B xs Nil domatch Pchar K Cons B xs Nil domatch Pchar J Cons B xs Nil domatch Pchar I Cons B xs Nil domatch Pchar H Cons B xs Nil domatch Pchar G Cons B xs Nil domatch Pchar F Cons B xs Nil domatch Pchar E Cons B xs Nil domatch Pchar D Cons B xs Nil domatch Pchar C Cons B xs Nil domatch Pchar B Cons B xs Cons B xs domatch Pchar A Cons B xs Nil domatch Pchar Cslash Cons A xs Nil domatch Pchar Clpar Cons A xs Nil domatch Pchar Crpar Cons A xs Nil domatch Pchar Cstar Cons A xs Nil domatch Pchar Cdot Cons A xs Nil domatch Pchar Z Cons A xs Nil domatch Pchar Y Cons A xs Nil domatch Pchar X Cons A xs Nil domatch Pchar W Cons A xs Nil domatch Pchar V Cons A xs Nil domatch Pchar U Cons A xs Nil domatch Pchar T Cons A xs Nil domatch Pchar S Cons A xs Nil domatch Pchar R Cons A xs Nil domatch Pchar Q Cons A xs Nil domatch Pchar P Cons A xs Nil domatch Pchar O Cons A xs Nil domatch Pchar N Cons A xs Nil domatch Pchar M Cons A xs Nil domatch Pchar L Cons A xs Nil domatch Pchar K Cons A xs Nil domatch Pchar J Cons A xs Nil domatch Pchar I Cons A xs Nil domatch Pchar H Cons A xs Nil domatch Pchar G Cons A xs Nil domatch Pchar F Cons A xs Nil domatch Pchar E Cons A xs Nil domatch Pchar D Cons A xs Nil domatch Pchar C Cons A xs Nil domatch Pchar B Cons A xs Nil domatch Pchar A Cons A xs Cons A xs domatch Pchar c Nil Nil parsep Cons Cslash xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons Cslash xs seq stack parsep Cons Clpar xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons Clpar xs seq stack parsep Cons Crpar xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons Crpar xs seq stack parsep Cons Cstar xs seq stack parsep[Ite][True][Ite][False][Ite] True Cons Cstar xs seq stack parsep Cons Cdot xs seq stack parsepdot Cons Cdot xs seq stack parsep Cons Z xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons Z xs seq stack parsep Cons Y xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons Y xs seq stack parsep Cons X xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons X xs seq stack parsep Cons W xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons W xs seq stack parsep Cons V xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons V xs seq stack parsep Cons U xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons U xs seq stack parsep Cons T xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons T xs seq stack parsep Cons S xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons S xs seq stack parsep Cons R xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons R xs seq stack parsep Cons Q xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons Q xs seq stack parsep Cons P xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons P xs seq stack parsep Cons O xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons O xs seq stack parsep Cons N xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons N xs seq stack parsep Cons M xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons M xs seq stack parsep Cons L xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons L xs seq stack parsep Cons K xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons K xs seq stack parsep Cons J xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons J xs seq stack parsep Cons I xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons I xs seq stack parsep Cons H xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons H xs seq stack parsep Cons G xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons G xs seq stack parsep Cons F xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons F xs seq stack parsep Cons E xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons E xs seq stack parsep Cons D xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons D xs seq stack parsep Cons C xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons C xs seq stack parsep Cons B xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons B xs seq stack parsep Cons A xs seq stack parsep[Ite][True][Ite][False][Ite] False Cons A xs seq stack domatchchar Cons Cslash xs Cslash Cons Cslash xs domatchchar Cons Cslash xs Clpar Nil domatchchar Cons Cslash xs Crpar Nil domatchchar Cons Cslash xs Cstar Nil domatchchar Cons Cslash xs Cdot Nil domatchchar Cons Cslash xs Z Nil domatchchar Cons Cslash xs Y Nil domatchchar Cons Cslash xs X Nil domatchchar Cons Cslash xs W Nil domatchchar Cons Cslash xs V Nil domatchchar Cons Cslash xs U Nil domatchchar Cons Cslash xs T Nil domatchchar Cons Cslash xs S Nil domatchchar Cons Cslash xs R Nil domatchchar Cons Cslash xs Q Nil domatchchar Cons Cslash xs P Nil domatchchar Cons Cslash xs O Nil domatchchar Cons Cslash xs N Nil domatchchar Cons Cslash xs M Nil domatchchar Cons Cslash xs L Nil domatchchar Cons Cslash xs K Nil domatchchar Cons Cslash xs J Nil domatchchar Cons Cslash xs I Nil domatchchar Cons Cslash xs H Nil domatchchar Cons Cslash xs G Nil domatchchar Cons Cslash xs F Nil domatchchar Cons Cslash xs E Nil domatchchar Cons Cslash xs D Nil domatchchar Cons Cslash xs C Nil domatchchar Cons Cslash xs B Nil domatchchar Cons Cslash xs A Nil domatchchar Cons Clpar xs Cslash Nil domatchchar Cons Clpar xs Clpar Cons Clpar xs domatchchar Cons Clpar xs Crpar Nil domatchchar Cons Clpar xs Cstar Nil domatchchar Cons Clpar xs Cdot Nil domatchchar Cons Clpar xs Z Nil domatchchar Cons Clpar xs Y Nil domatchchar Cons Clpar xs X Nil domatchchar Cons Clpar xs W Nil domatchchar Cons Clpar xs V Nil domatchchar Cons Clpar xs U Nil domatchchar Cons Clpar xs T Nil domatchchar Cons Clpar xs S Nil domatchchar Cons Clpar xs R Nil domatchchar Cons Clpar xs Q Nil domatchchar Cons Clpar xs P Nil domatchchar Cons Clpar xs O Nil domatchchar Cons Clpar xs N Nil domatchchar Cons Clpar xs M Nil domatchchar Cons Clpar xs L Nil domatchchar Cons Clpar xs K Nil domatchchar Cons Clpar xs J Nil domatchchar Cons Clpar xs I Nil domatchchar Cons Clpar xs H Nil domatchchar Cons Clpar xs G Nil domatchchar Cons Clpar xs F Nil domatchchar Cons Clpar xs E Nil domatchchar Cons Clpar xs D Nil domatchchar Cons Clpar xs C Nil domatchchar Cons Clpar xs B Nil domatchchar Cons Clpar xs A Nil domatchchar Cons Crpar xs Cslash Nil domatchchar Cons Crpar xs Clpar Nil domatchchar Cons Crpar xs Crpar Cons Crpar xs domatchchar Cons Crpar xs Cstar Nil domatchchar Cons Crpar xs Cdot Nil domatchchar Cons Crpar xs Z Nil domatchchar Cons Crpar xs Y Nil domatchchar Cons Crpar xs X Nil domatchchar Cons Crpar xs W Nil domatchchar Cons Crpar xs V Nil domatchchar Cons Crpar xs U Nil domatchchar Cons Crpar xs T Nil domatchchar Cons Crpar xs S Nil domatchchar Cons Crpar xs R Nil domatchchar Cons Crpar xs Q Nil domatchchar Cons Crpar xs P Nil domatchchar Cons Crpar xs O Nil domatchchar Cons Crpar xs N Nil domatchchar Cons Crpar xs M Nil domatchchar Cons Crpar xs L Nil domatchchar Cons Crpar xs K Nil domatchchar Cons Crpar xs J Nil domatchchar Cons Crpar xs I Nil domatchchar Cons Crpar xs H Nil domatchchar Cons Crpar xs G Nil domatchchar Cons Crpar xs F Nil domatchchar Cons Crpar xs E Nil domatchchar Cons Crpar xs D Nil domatchchar Cons Crpar xs C Nil domatchchar Cons Crpar xs B Nil domatchchar Cons Crpar xs A Nil domatchchar Cons Cstar xs Cslash Nil domatchchar Cons Cstar xs Clpar Nil domatchchar Cons Cstar xs Crpar Nil domatchchar Cons Cstar xs Cstar Cons Cstar xs domatchchar Cons Cstar xs Cdot Nil domatchchar Cons Cstar xs Z Nil domatchchar Cons Cstar xs Y Nil domatchchar Cons Cstar xs X Nil domatchchar Cons Cstar xs W Nil domatchchar Cons Cstar xs V Nil domatchchar Cons Cstar xs U Nil domatchchar Cons Cstar xs T Nil domatchchar Cons Cstar xs S Nil domatchchar Cons Cstar xs R Nil domatchchar Cons Cstar xs Q Nil domatchchar Cons Cstar xs P Nil domatchchar Cons Cstar xs O Nil domatchchar Cons Cstar xs N Nil domatchchar Cons Cstar xs M Nil domatchchar Cons Cstar xs L Nil domatchchar Cons Cstar xs K Nil domatchchar Cons Cstar xs J Nil domatchchar Cons Cstar xs I Nil domatchchar Cons Cstar xs H Nil domatchchar Cons Cstar xs G Nil domatchchar Cons Cstar xs F Nil domatchchar Cons Cstar xs E Nil domatchchar Cons Cstar xs D Nil domatchchar Cons Cstar xs C Nil domatchchar Cons Cstar xs B Nil domatchchar Cons Cstar xs A Nil domatchchar Cons Cdot xs Cslash Nil domatchchar Cons Cdot xs Clpar Nil domatchchar Cons Cdot xs Crpar Nil domatchchar Cons Cdot xs Cstar Nil domatchchar Cons Cdot xs Cdot Cons Cdot xs domatchchar Cons Cdot xs Z Nil domatchchar Cons Cdot xs Y Nil domatchchar Cons Cdot xs X Nil domatchchar Cons Cdot xs W Nil domatchchar Cons Cdot xs V Nil domatchchar Cons Cdot xs U Nil domatchchar Cons Cdot xs T Nil domatchchar Cons Cdot xs S Nil domatchchar Cons Cdot xs R Nil domatchchar Cons Cdot xs Q Nil domatchchar Cons Cdot xs P Nil domatchchar Cons Cdot xs O Nil domatchchar Cons Cdot xs N Nil domatchchar Cons Cdot xs M Nil domatchchar Cons Cdot xs L Nil domatchchar Cons Cdot xs K Nil domatchchar Cons Cdot xs J Nil domatchchar Cons Cdot xs I Nil domatchchar Cons Cdot xs H Nil domatchchar Cons Cdot xs G Nil domatchchar Cons Cdot xs F Nil domatchchar Cons Cdot xs E Nil domatchchar Cons Cdot xs D Nil domatchchar Cons Cdot xs C Nil domatchchar Cons Cdot xs B Nil domatchchar Cons Cdot xs A Nil domatchchar Cons Z xs Cslash Nil domatchchar Cons Z xs Clpar Nil domatchchar Cons Z xs Crpar Nil domatchchar Cons Z xs Cstar Nil domatchchar Cons Z xs Cdot Nil domatchchar Cons Z xs Z Cons Z xs domatchchar Cons Z xs Y Nil domatchchar Cons Z xs X Nil domatchchar Cons Z xs W Nil domatchchar Cons Z xs V Nil domatchchar Cons Z xs U Nil domatchchar Cons Z xs T Nil domatchchar Cons Z xs S Nil domatchchar Cons Z xs R Nil domatchchar Cons Z xs Q Nil domatchchar Cons Z xs P Nil domatchchar Cons Z xs O Nil domatchchar Cons Z xs N Nil domatchchar Cons Z xs M Nil domatchchar Cons Z xs L Nil domatchchar Cons Z xs K Nil domatchchar Cons Z xs J Nil domatchchar Cons Z xs I Nil domatchchar Cons Z xs H Nil domatchchar Cons Z xs G Nil domatchchar Cons Z xs F Nil domatchchar Cons Z xs E Nil domatchchar Cons Z xs D Nil domatchchar Cons Z xs C Nil domatchchar Cons Z xs B Nil domatchchar Cons Z xs A Nil domatchchar Cons Y xs Cslash Nil domatchchar Cons Y xs Clpar Nil domatchchar Cons Y xs Crpar Nil domatchchar Cons Y xs Cstar Nil domatchchar Cons Y xs Cdot Nil domatchchar Cons Y xs Z Nil domatchchar Cons Y xs Y Cons Y xs domatchchar Cons Y xs X Nil domatchchar Cons Y xs W Nil domatchchar Cons Y xs V Nil domatchchar Cons Y xs U Nil domatchchar Cons Y xs T Nil domatchchar Cons Y xs S Nil domatchchar Cons Y xs R Nil domatchchar Cons Y xs Q Nil domatchchar Cons Y xs P Nil domatchchar Cons Y xs O Nil domatchchar Cons Y xs N Nil domatchchar Cons Y xs M Nil domatchchar Cons Y xs L Nil domatchchar Cons Y xs K Nil domatchchar Cons Y xs J Nil domatchchar Cons Y xs I Nil domatchchar Cons Y xs H Nil domatchchar Cons Y xs G Nil domatchchar Cons Y xs F Nil domatchchar Cons Y xs E Nil domatchchar Cons Y xs D Nil domatchchar Cons Y xs C Nil domatchchar Cons Y xs B Nil domatchchar Cons Y xs A Nil domatchchar Cons X xs Cslash Nil domatchchar Cons X xs Clpar Nil domatchchar Cons X xs Crpar Nil domatchchar Cons X xs Cstar Nil domatchchar Cons X xs Cdot Nil domatchchar Cons X xs Z Nil domatchchar Cons X xs Y Nil domatchchar Cons X xs X Cons X xs domatchchar Cons X xs W Nil domatchchar Cons X xs V Nil domatchchar Cons X xs U Nil domatchchar Cons X xs T Nil domatchchar Cons X xs S Nil domatchchar Cons X xs R Nil domatchchar Cons X xs Q Nil domatchchar Cons X xs P Nil domatchchar Cons X xs O Nil domatchchar Cons X xs N Nil domatchchar Cons X xs M Nil domatchchar Cons X xs L Nil domatchchar Cons X xs K Nil domatchchar Cons X xs J Nil domatchchar Cons X xs I Nil domatchchar Cons X xs H Nil domatchchar Cons X xs G Nil domatchchar Cons X xs F Nil domatchchar Cons X xs E Nil domatchchar Cons X xs D Nil domatchchar Cons X xs C Nil domatchchar Cons X xs B Nil domatchchar Cons X xs A Nil domatchchar Cons W xs Cslash Nil domatchchar Cons W xs Clpar Nil domatchchar Cons W xs Crpar Nil domatchchar Cons W xs Cstar Nil domatchchar Cons W xs Cdot Nil domatchchar Cons W xs Z Nil domatchchar Cons W xs Y Nil domatchchar Cons W xs X Nil domatchchar Cons W xs W Cons W xs domatchchar Cons W xs V Nil domatchchar Cons W xs U Nil domatchchar Cons W xs T Nil domatchchar Cons W xs S Nil domatchchar Cons W xs R Nil domatchchar Cons W xs Q Nil domatchchar Cons W xs P Nil domatchchar Cons W xs O Nil domatchchar Cons W xs N Nil domatchchar Cons W xs M Nil domatchchar Cons W xs L Nil domatchchar Cons W xs K Nil domatchchar Cons W xs J Nil domatchchar Cons W xs I Nil domatchchar Cons W xs H Nil domatchchar Cons W xs G Nil domatchchar Cons W xs F Nil domatchchar Cons W xs E Nil domatchchar Cons W xs D Nil domatchchar Cons W xs C Nil domatchchar Cons W xs B Nil domatchchar Cons W xs A Nil domatchchar Cons V xs Cslash Nil domatchchar Cons V xs Clpar Nil domatchchar Cons V xs Crpar Nil domatchchar Cons V xs Cstar Nil domatchchar Cons V xs Cdot Nil domatchchar Cons V xs Z Nil domatchchar Cons V xs Y Nil domatchchar Cons V xs X Nil domatchchar Cons V xs W Nil domatchchar Cons V xs V Cons V xs domatchchar Cons V xs U Nil domatchchar Cons V xs T Nil domatchchar Cons V xs S Nil domatchchar Cons V xs R Nil domatchchar Cons V xs Q Nil domatchchar Cons V xs P Nil domatchchar Cons V xs O Nil domatchchar Cons V xs N Nil domatchchar Cons V xs M Nil domatchchar Cons V xs L Nil domatchchar Cons V xs K Nil domatchchar Cons V xs J Nil domatchchar Cons V xs I Nil domatchchar Cons V xs H Nil domatchchar Cons V xs G Nil domatchchar Cons V xs F Nil domatchchar Cons V xs E Nil domatchchar Cons V xs D Nil domatchchar Cons V xs C Nil domatchchar Cons V xs B Nil domatchchar Cons V xs A Nil domatchchar Cons U xs Cslash Nil domatchchar Cons U xs Clpar Nil domatchchar Cons U xs Crpar Nil domatchchar Cons U xs Cstar Nil domatchchar Cons U xs Cdot Nil domatchchar Cons U xs Z Nil domatchchar Cons U xs Y Nil domatchchar Cons U xs X Nil domatchchar Cons U xs W Nil domatchchar Cons U xs V Nil domatchchar Cons U xs U Cons U xs domatchchar Cons U xs T Nil domatchchar Cons U xs S Nil domatchchar Cons U xs R Nil domatchchar Cons U xs Q Nil domatchchar Cons U xs P Nil domatchchar Cons U xs O Nil domatchchar Cons U xs N Nil domatchchar Cons U xs M Nil domatchchar Cons U xs L Nil domatchchar Cons U xs K Nil domatchchar Cons U xs J Nil domatchchar Cons U xs I Nil domatchchar Cons U xs H Nil domatchchar Cons U xs G Nil domatchchar Cons U xs F Nil domatchchar Cons U xs E Nil domatchchar Cons U xs D Nil domatchchar Cons U xs C Nil domatchchar Cons U xs B Nil domatchchar Cons U xs A Nil domatchchar Cons T xs Cslash Nil domatchchar Cons T xs Clpar Nil domatchchar Cons T xs Crpar Nil domatchchar Cons T xs Cstar Nil domatchchar Cons T xs Cdot Nil domatchchar Cons T xs Z Nil domatchchar Cons T xs Y Nil domatchchar Cons T xs X Nil domatchchar Cons T xs W Nil domatchchar Cons T xs V Nil domatchchar Cons T xs U Nil domatchchar Cons T xs T Cons T xs domatchchar Cons T xs S Nil domatchchar Cons T xs R Nil domatchchar Cons T xs Q Nil domatchchar Cons T xs P Nil domatchchar Cons T xs O Nil domatchchar Cons T xs N Nil domatchchar Cons T xs M Nil domatchchar Cons T xs L Nil domatchchar Cons T xs K Nil domatchchar Cons T xs J Nil domatchchar Cons T xs I Nil domatchchar Cons T xs H Nil domatchchar Cons T xs G Nil domatchchar Cons T xs F Nil domatchchar Cons T xs E Nil domatchchar Cons T xs D Nil domatchchar Cons T xs C Nil domatchchar Cons T xs B Nil domatchchar Cons T xs A Nil domatchchar Cons S xs Cslash Nil domatchchar Cons S xs Clpar Nil domatchchar Cons S xs Crpar Nil domatchchar Cons S xs Cstar Nil domatchchar Cons S xs Cdot Nil domatchchar Cons S xs Z Nil domatchchar Cons S xs Y Nil domatchchar Cons S xs X Nil domatchchar Cons S xs W Nil domatchchar Cons S xs V Nil domatchchar Cons S xs U Nil domatchchar Cons S xs T Nil domatchchar Cons S xs S Cons S xs domatchchar Cons S xs R Nil domatchchar Cons S xs Q Nil domatchchar Cons S xs P Nil domatchchar Cons S xs O Nil domatchchar Cons S xs N Nil domatchchar Cons S xs M Nil domatchchar Cons S xs L Nil domatchchar Cons S xs K Nil domatchchar Cons S xs J Nil domatchchar Cons S xs I Nil domatchchar Cons S xs H Nil domatchchar Cons S xs G Nil domatchchar Cons S xs F Nil domatchchar Cons S xs E Nil domatchchar Cons S xs D Nil domatchchar Cons S xs C Nil domatchchar Cons S xs B Nil domatchchar Cons S xs A Nil domatchchar Cons R xs Cslash Nil domatchchar Cons R xs Clpar Nil domatchchar Cons R xs Crpar Nil domatchchar Cons R xs Cstar Nil domatchchar Cons R xs Cdot Nil domatchchar Cons R xs Z Nil domatchchar Cons R xs Y Nil domatchchar Cons R xs X Nil domatchchar Cons R xs W Nil domatchchar Cons R xs V Nil domatchchar Cons R xs U Nil domatchchar Cons R xs T Nil domatchchar Cons R xs S Nil domatchchar Cons R xs R Cons R xs domatchchar Cons R xs Q Nil domatchchar Cons R xs P Nil domatchchar Cons R xs O Nil domatchchar Cons R xs N Nil domatchchar Cons R xs M Nil domatchchar Cons R xs L Nil domatchchar Cons R xs K Nil domatchchar Cons R xs J Nil domatchchar Cons R xs I Nil domatchchar Cons R xs H Nil domatchchar Cons R xs G Nil domatchchar Cons R xs F Nil domatchchar Cons R xs E Nil domatchchar Cons R xs D Nil domatchchar Cons R xs C Nil domatchchar Cons R xs B Nil domatchchar Cons R xs A Nil domatchchar Cons Q xs Cslash Nil domatchchar Cons Q xs Clpar Nil domatchchar Cons Q xs Crpar Nil domatchchar Cons Q xs Cstar Nil domatchchar Cons Q xs Cdot Nil domatchchar Cons Q xs Z Nil domatchchar Cons Q xs Y Nil domatchchar Cons Q xs X Nil domatchchar Cons Q xs W Nil domatchchar Cons Q xs V Nil domatchchar Cons Q xs U Nil domatchchar Cons Q xs T Nil domatchchar Cons Q xs S Nil domatchchar Cons Q xs R Nil domatchchar Cons Q xs Q Cons Q xs domatchchar Cons Q xs P Nil domatchchar Cons Q xs O Nil domatchchar Cons Q xs N Nil domatchchar Cons Q xs M Nil domatchchar Cons Q xs L Nil domatchchar Cons Q xs K Nil domatchchar Cons Q xs J Nil domatchchar Cons Q xs I Nil domatchchar Cons Q xs H Nil domatchchar Cons Q xs G Nil domatchchar Cons Q xs F Nil domatchchar Cons Q xs E Nil domatchchar Cons Q xs D Nil domatchchar Cons Q xs C Nil domatchchar Cons Q xs B Nil domatchchar Cons Q xs A Nil domatchchar Cons P xs Cslash Nil domatchchar Cons P xs Clpar Nil domatchchar Cons P xs Crpar Nil domatchchar Cons P xs Cstar Nil domatchchar Cons P xs Cdot Nil domatchchar Cons P xs Z Nil domatchchar Cons P xs Y Nil domatchchar Cons P xs X Nil domatchchar Cons P xs W Nil domatchchar Cons P xs V Nil domatchchar Cons P xs U Nil domatchchar Cons P xs T Nil domatchchar Cons P xs S Nil domatchchar Cons P xs R Nil domatchchar Cons P xs Q Nil domatchchar Cons P xs P Cons P xs domatchchar Cons P xs O Nil domatchchar Cons P xs N Nil domatchchar Cons P xs M Nil domatchchar Cons P xs L Nil domatchchar Cons P xs K Nil domatchchar Cons P xs J Nil domatchchar Cons P xs I Nil domatchchar Cons P xs H Nil domatchchar Cons P xs G Nil domatchchar Cons P xs F Nil domatchchar Cons P xs E Nil domatchchar Cons P xs D Nil domatchchar Cons P xs C Nil domatchchar Cons P xs B Nil domatchchar Cons P xs A Nil domatchchar Cons O xs Cslash Nil domatchchar Cons O xs Clpar Nil domatchchar Cons O xs Crpar Nil domatchchar Cons O xs Cstar Nil domatchchar Cons O xs Cdot Nil domatchchar Cons O xs Z Nil domatchchar Cons O xs Y Nil domatchchar Cons O xs X Nil domatchchar Cons O xs W Nil domatchchar Cons O xs V Nil domatchchar Cons O xs U Nil domatchchar Cons O xs T Nil domatchchar Cons O xs S Nil domatchchar Cons O xs R Nil domatchchar Cons O xs Q Nil domatchchar Cons O xs P Nil domatchchar Cons O xs O Cons O xs domatchchar Cons O xs N Nil domatchchar Cons O xs M Nil domatchchar Cons O xs L Nil domatchchar Cons O xs K Nil domatchchar Cons O xs J Nil domatchchar Cons O xs I Nil domatchchar Cons O xs H Nil domatchchar Cons O xs G Nil domatchchar Cons O xs F Nil domatchchar Cons O xs E Nil domatchchar Cons O xs D Nil domatchchar Cons O xs C Nil domatchchar Cons O xs B Nil domatchchar Cons O xs A Nil domatchchar Cons N xs Cslash Nil domatchchar Cons N xs Clpar Nil domatchchar Cons N xs Crpar Nil domatchchar Cons N xs Cstar Nil domatchchar Cons N xs Cdot Nil domatchchar Cons N xs Z Nil domatchchar Cons N xs Y Nil domatchchar Cons N xs X Nil domatchchar Cons N xs W Nil domatchchar Cons N xs V Nil domatchchar Cons N xs U Nil domatchchar Cons N xs T Nil domatchchar Cons N xs S Nil domatchchar Cons N xs R Nil domatchchar Cons N xs Q Nil domatchchar Cons N xs P Nil domatchchar Cons N xs O Nil domatchchar Cons N xs N Cons N xs domatchchar Cons N xs M Nil domatchchar Cons N xs L Nil domatchchar Cons N xs K Nil domatchchar Cons N xs J Nil domatchchar Cons N xs I Nil domatchchar Cons N xs H Nil domatchchar Cons N xs G Nil domatchchar Cons N xs F Nil domatchchar Cons N xs E Nil domatchchar Cons N xs D Nil domatchchar Cons N xs C Nil domatchchar Cons N xs B Nil domatchchar Cons N xs A Nil domatchchar Cons M xs Cslash Nil domatchchar Cons M xs Clpar Nil domatchchar Cons M xs Crpar Nil domatchchar Cons M xs Cstar Nil domatchchar Cons M xs Cdot Nil domatchchar Cons M xs Z Nil domatchchar Cons M xs Y Nil domatchchar Cons M xs X Nil domatchchar Cons M xs W Nil domatchchar Cons M xs V Nil domatchchar Cons M xs U Nil domatchchar Cons M xs T Nil domatchchar Cons M xs S Nil domatchchar Cons M xs R Nil domatchchar Cons M xs Q Nil domatchchar Cons M xs P Nil domatchchar Cons M xs O Nil domatchchar Cons M xs N Nil domatchchar Cons M xs M Cons M xs domatchchar Cons M xs L Nil domatchchar Cons M xs K Nil domatchchar Cons M xs J Nil domatchchar Cons M xs I Nil domatchchar Cons M xs H Nil domatchchar Cons M xs G Nil domatchchar Cons M xs F Nil domatchchar Cons M xs E Nil domatchchar Cons M xs D Nil domatchchar Cons M xs C Nil domatchchar Cons M xs B Nil domatchchar Cons M xs A Nil domatchchar Cons L xs Cslash Nil domatchchar Cons L xs Clpar Nil domatchchar Cons L xs Crpar Nil domatchchar Cons L xs Cstar Nil domatchchar Cons L xs Cdot Nil domatchchar Cons L xs Z Nil domatchchar Cons L xs Y Nil domatchchar Cons L xs X Nil domatchchar Cons L xs W Nil domatchchar Cons L xs V Nil domatchchar Cons L xs U Nil domatchchar Cons L xs T Nil domatchchar Cons L xs S Nil domatchchar Cons L xs R Nil domatchchar Cons L xs Q Nil domatchchar Cons L xs P Nil domatchchar Cons L xs O Nil domatchchar Cons L xs N Nil domatchchar Cons L xs M Nil domatchchar Cons L xs L Cons L xs domatchchar Cons L xs K Nil domatchchar Cons L xs J Nil domatchchar Cons L xs I Nil domatchchar Cons L xs H Nil domatchchar Cons L xs G Nil domatchchar Cons L xs F Nil domatchchar Cons L xs E Nil domatchchar Cons L xs D Nil domatchchar Cons L xs C Nil domatchchar Cons L xs B Nil domatchchar Cons L xs A Nil domatchchar Cons K xs Cslash Nil domatchchar Cons K xs Clpar Nil domatchchar Cons K xs Crpar Nil domatchchar Cons K xs Cstar Nil domatchchar Cons K xs Cdot Nil domatchchar Cons K xs Z Nil domatchchar Cons K xs Y Nil domatchchar Cons K xs X Nil domatchchar Cons K xs W Nil domatchchar Cons K xs V Nil domatchchar Cons K xs U Nil domatchchar Cons K xs T Nil domatchchar Cons K xs S Nil domatchchar Cons K xs R Nil domatchchar Cons K xs Q Nil domatchchar Cons K xs P Nil domatchchar Cons K xs O Nil domatchchar Cons K xs N Nil domatchchar Cons K xs M Nil domatchchar Cons K xs L Nil domatchchar Cons K xs K Cons K xs domatchchar Cons K xs J Nil domatchchar Cons K xs I Nil domatchchar Cons K xs H Nil domatchchar Cons K xs G Nil domatchchar Cons K xs F Nil domatchchar Cons K xs E Nil domatchchar Cons K xs D Nil domatchchar Cons K xs C Nil domatchchar Cons K xs B Nil domatchchar Cons K xs A Nil domatchchar Cons J xs Cslash Nil domatchchar Cons J xs Clpar Nil domatchchar Cons J xs Crpar Nil domatchchar Cons J xs Cstar Nil domatchchar Cons J xs Cdot Nil domatchchar Cons J xs Z Nil domatchchar Cons J xs Y Nil domatchchar Cons J xs X Nil domatchchar Cons J xs W Nil domatchchar Cons J xs V Nil domatchchar Cons J xs U Nil domatchchar Cons J xs T Nil domatchchar Cons J xs S Nil domatchchar Cons J xs R Nil domatchchar Cons J xs Q Nil domatchchar Cons J xs P Nil domatchchar Cons J xs O Nil domatchchar Cons J xs N Nil domatchchar Cons J xs M Nil domatchchar Cons J xs L Nil domatchchar Cons J xs K Nil domatchchar Cons J xs J Cons J xs domatchchar Cons J xs I Nil domatchchar Cons J xs H Nil domatchchar Cons J xs G Nil domatchchar Cons J xs F Nil domatchchar Cons J xs E Nil domatchchar Cons J xs D Nil domatchchar Cons J xs C Nil domatchchar Cons J xs B Nil domatchchar Cons J xs A Nil domatchchar Cons I xs Cslash Nil domatchchar Cons I xs Clpar Nil domatchchar Cons I xs Crpar Nil domatchchar Cons I xs Cstar Nil domatchchar Cons I xs Cdot Nil domatchchar Cons I xs Z Nil domatchchar Cons I xs Y Nil domatchchar Cons I xs X Nil domatchchar Cons I xs W Nil domatchchar Cons I xs V Nil domatchchar Cons I xs U Nil domatchchar Cons I xs T Nil domatchchar Cons I xs S Nil domatchchar Cons I xs R Nil domatchchar Cons I xs Q Nil domatchchar Cons I xs P Nil domatchchar Cons I xs O Nil domatchchar Cons I xs N Nil domatchchar Cons I xs M Nil domatchchar Cons I xs L Nil domatchchar Cons I xs K Nil domatchchar Cons I xs J Nil domatchchar Cons I xs I Cons I xs domatchchar Cons I xs H Nil domatchchar Cons I xs G Nil domatchchar Cons I xs F Nil domatchchar Cons I xs E Nil domatchchar Cons I xs D Nil domatchchar Cons I xs C Nil domatchchar Cons I xs B Nil domatchchar Cons I xs A Nil domatchchar Cons H xs Cslash Nil domatchchar Cons H xs Clpar Nil domatchchar Cons H xs Crpar Nil domatchchar Cons H xs Cstar Nil domatchchar Cons H xs Cdot Nil domatchchar Cons H xs Z Nil domatchchar Cons H xs Y Nil domatchchar Cons H xs X Nil domatchchar Cons H xs W Nil domatchchar Cons H xs V Nil domatchchar Cons H xs U Nil domatchchar Cons H xs T Nil domatchchar Cons H xs S Nil domatchchar Cons H xs R Nil domatchchar Cons H xs Q Nil domatchchar Cons H xs P Nil domatchchar Cons H xs O Nil domatchchar Cons H xs N Nil domatchchar Cons H xs M Nil domatchchar Cons H xs L Nil domatchchar Cons H xs K Nil domatchchar Cons H xs J Nil domatchchar Cons H xs I Nil domatchchar Cons H xs H Cons H xs domatchchar Cons H xs G Nil domatchchar Cons H xs F Nil domatchchar Cons H xs E Nil domatchchar Cons H xs D Nil domatchchar Cons H xs C Nil domatchchar Cons H xs B Nil domatchchar Cons H xs A Nil domatchchar Cons G xs Cslash Nil domatchchar Cons G xs Clpar Nil domatchchar Cons G xs Crpar Nil domatchchar Cons G xs Cstar Nil domatchchar Cons G xs Cdot Nil domatchchar Cons G xs Z Nil domatchchar Cons G xs Y Nil domatchchar Cons G xs X Nil domatchchar Cons G xs W Nil domatchchar Cons G xs V Nil domatchchar Cons G xs U Nil domatchchar Cons G xs T Nil domatchchar Cons G xs S Nil domatchchar Cons G xs R Nil domatchchar Cons G xs Q Nil domatchchar Cons G xs P Nil domatchchar Cons G xs O Nil domatchchar Cons G xs N Nil domatchchar Cons G xs M Nil domatchchar Cons G xs L Nil domatchchar Cons G xs K Nil domatchchar Cons G xs J Nil domatchchar Cons G xs I Nil domatchchar Cons G xs H Nil domatchchar Cons G xs G Cons G xs domatchchar Cons G xs F Nil domatchchar Cons G xs E Nil domatchchar Cons G xs D Nil domatchchar Cons G xs C Nil domatchchar Cons G xs B Nil domatchchar Cons G xs A Nil domatchchar Cons F xs Cslash Nil domatchchar Cons F xs Clpar Nil domatchchar Cons F xs Crpar Nil domatchchar Cons F xs Cstar Nil domatchchar Cons F xs Cdot Nil domatchchar Cons F xs Z Nil domatchchar Cons F xs Y Nil domatchchar Cons F xs X Nil domatchchar Cons F xs W Nil domatchchar Cons F xs V Nil domatchchar Cons F xs U Nil domatchchar Cons F xs T Nil domatchchar Cons F xs S Nil domatchchar Cons F xs R Nil domatchchar Cons F xs Q Nil domatchchar Cons F xs P Nil domatchchar Cons F xs O Nil domatchchar Cons F xs N Nil domatchchar Cons F xs M Nil domatchchar Cons F xs L Nil domatchchar Cons F xs K Nil domatchchar Cons F xs J Nil domatchchar Cons F xs I Nil domatchchar Cons F xs H Nil domatchchar Cons F xs G Nil domatchchar Cons F xs F Cons F xs domatchchar Cons F xs E Nil domatchchar Cons F xs D Nil domatchchar Cons F xs C Nil domatchchar Cons F xs B Nil domatchchar Cons F xs A Nil domatchchar Cons E xs Cslash Nil domatchchar Cons E xs Clpar Nil domatchchar Cons E xs Crpar Nil domatchchar Cons E xs Cstar Nil domatchchar Cons E xs Cdot Nil domatchchar Cons E xs Z Nil domatchchar Cons E xs Y Nil domatchchar Cons E xs X Nil domatchchar Cons E xs W Nil domatchchar Cons E xs V Nil domatchchar Cons E xs U Nil domatchchar Cons E xs T Nil domatchchar Cons E xs S Nil domatchchar Cons E xs R Nil domatchchar Cons E xs Q Nil domatchchar Cons E xs P Nil domatchchar Cons E xs O Nil domatchchar Cons E xs N Nil domatchchar Cons E xs M Nil domatchchar Cons E xs L Nil domatchchar Cons E xs K Nil domatchchar Cons E xs J Nil domatchchar Cons E xs I Nil domatchchar Cons E xs H Nil domatchchar Cons E xs G Nil domatchchar Cons E xs F Nil domatchchar Cons E xs E Cons E xs domatchchar Cons E xs D Nil domatchchar Cons E xs C Nil domatchchar Cons E xs B Nil domatchchar Cons E xs A Nil domatchchar Cons D xs Cslash Nil domatchchar Cons D xs Clpar Nil domatchchar Cons D xs Crpar Nil domatchchar Cons D xs Cstar Nil domatchchar Cons D xs Cdot Nil domatchchar Cons D xs Z Nil domatchchar Cons D xs Y Nil domatchchar Cons D xs X Nil domatchchar Cons D xs W Nil domatchchar Cons D xs V Nil domatchchar Cons D xs U Nil domatchchar Cons D xs T Nil domatchchar Cons D xs S Nil domatchchar Cons D xs R Nil domatchchar Cons D xs Q Nil domatchchar Cons D xs P Nil domatchchar Cons D xs O Nil domatchchar Cons D xs N Nil domatchchar Cons D xs M Nil domatchchar Cons D xs L Nil domatchchar Cons D xs K Nil domatchchar Cons D xs J Nil domatchchar Cons D xs I Nil domatchchar Cons D xs H Nil domatchchar Cons D xs G Nil domatchchar Cons D xs F Nil domatchchar Cons D xs E Nil domatchchar Cons D xs D Cons D xs domatchchar Cons D xs C Nil domatchchar Cons D xs B Nil domatchchar Cons D xs A Nil domatchchar Cons C xs Cslash Nil domatchchar Cons C xs Clpar Nil domatchchar Cons C xs Crpar Nil domatchchar Cons C xs Cstar Nil domatchchar Cons C xs Cdot Nil domatchchar Cons C xs Z Nil domatchchar Cons C xs Y Nil domatchchar Cons C xs X Nil domatchchar Cons C xs W Nil domatchchar Cons C xs V Nil domatchchar Cons C xs U Nil domatchchar Cons C xs T Nil domatchchar Cons C xs S Nil domatchchar Cons C xs R Nil domatchchar Cons C xs Q Nil domatchchar Cons C xs P Nil domatchchar Cons C xs O Nil domatchchar Cons C xs N Nil domatchchar Cons C xs M Nil domatchchar Cons C xs L Nil domatchchar Cons C xs K Nil domatchchar Cons C xs J Nil domatchchar Cons C xs I Nil domatchchar Cons C xs H Nil domatchchar Cons C xs G Nil domatchchar Cons C xs F Nil domatchchar Cons C xs E Nil domatchchar Cons C xs D Nil domatchchar Cons C xs C Cons C xs domatchchar Cons C xs B Nil domatchchar Cons C xs A Nil domatchchar Cons B xs Cslash Nil domatchchar Cons B xs Clpar Nil domatchchar Cons B xs Crpar Nil domatchchar Cons B xs Cstar Nil domatchchar Cons B xs Cdot Nil domatchchar Cons B xs Z Nil domatchchar Cons B xs Y Nil domatchchar Cons B xs X Nil domatchchar Cons B xs W Nil domatchchar Cons B xs V Nil domatchchar Cons B xs U Nil domatchchar Cons B xs T Nil domatchchar Cons B xs S Nil domatchchar Cons B xs R Nil domatchchar Cons B xs Q Nil domatchchar Cons B xs P Nil domatchchar Cons B xs O Nil domatchchar Cons B xs N Nil domatchchar Cons B xs M Nil domatchchar Cons B xs L Nil domatchchar Cons B xs K Nil domatchchar Cons B xs J Nil domatchchar Cons B xs I Nil domatchchar Cons B xs H Nil domatchchar Cons B xs G Nil domatchchar Cons B xs F Nil domatchchar Cons B xs E Nil domatchchar Cons B xs D Nil domatchchar Cons B xs C Nil domatchchar Cons B xs B Cons B xs domatchchar Cons B xs A Nil domatchchar Cons A xs Cslash Nil domatchchar Cons A xs Clpar Nil domatchchar Cons A xs Crpar Nil domatchchar Cons A xs Cstar Nil domatchchar Cons A xs Cdot Nil domatchchar Cons A xs Z Nil domatchchar Cons A xs Y Nil domatchchar Cons A xs X Nil domatchchar Cons A xs W Nil domatchchar Cons A xs V Nil domatchchar Cons A xs U Nil domatchchar Cons A xs T Nil domatchchar Cons A xs S Nil domatchchar Cons A xs R Nil domatchchar Cons A xs Q Nil domatchchar Cons A xs P Nil domatchchar Cons A xs O Nil domatchchar Cons A xs N Nil domatchchar Cons A xs M Nil domatchchar Cons A xs L Nil domatchchar Cons A xs K Nil domatchchar Cons A xs J Nil domatchchar Cons A xs I Nil domatchchar Cons A xs H Nil domatchchar Cons A xs G Nil domatchchar Cons A xs F Nil domatchchar Cons A xs E Nil domatchchar Cons A xs D Nil domatchchar Cons A xs C Nil domatchchar Cons A xs B Nil domatchchar Cons A xs A Cons A xs parsepstar Cons x' xs' Pseq Cons x xs Cons x'' xs'' parsep xs' Pseq Cons Pstar x xs Cons x'' xs'' parsepcloseb Cons x' xs'' Pseq xs' Cons x xs parsep xs'' Pseq @ reverse xs' parsepcloseb[Ite][True][Match][Pseq][Match] xs' Cons x' xs'' Cons x xs x xs parsep Nil seq Cons x xs Error parsep Nil seq Nil parsep[Ite][False][Ite][False][Match] Nil Nil seq domatch Pdot Cons x xs Cons x xs domatch Pdot Nil Nil parsepstar Cons x xs seq Nil parsep xs Pseq Cons Pchar Cstar Nil Nil parsepcloseb patchars seq Nil Error parsepchar Cons x xs Pseq xs' stack parsep xs Pseq Cons Pchar x xs' stack parsepchar Nil Pseq xs stack parsep Nil Pseq Cons Pchar Cslash xs stack domatchstar Cons x xs pat init domatchstar[Ite][True][Let] Cons x xs pat init domatch pat Cons x xs domatchstar Nil pat init @ init Nil domatchseq cs rest Cons x xs domatchseq[Ite][True][Let] cs rest Cons x xs domatch x cs domatchseq cs rest Nil @ cs rest domatchdot Cons x xs Cons x xs domatchdot Nil Nil domatchchar Nil c Nil rematch patstr x rematch[Let] patstr x domatch parsepat patstr x parsepat x parsep x Pseq Nil Nil isSpecialChar Cslash Cslash True isSpecialChar Cslash Clpar False isSpecialChar Cslash Crpar False isSpecialChar Cslash Cstar False isSpecialChar Cslash Cdot False isSpecialChar Clpar Cslash False isSpecialChar Clpar Clpar True isSpecialChar Clpar Crpar False isSpecialChar Clpar Cstar False isSpecialChar Clpar Cdot False isSpecialChar Crpar Cslash False isSpecialChar Crpar Clpar False isSpecialChar Crpar Crpar True isSpecialChar Crpar Cstar False isSpecialChar Crpar Cdot False isSpecialChar Cstar Cslash False isSpecialChar Cstar Clpar False isSpecialChar Cstar Crpar False isSpecialChar Cstar Cstar True isSpecialChar Cstar Cdot False isSpecialChar Cdot Cslash False isSpecialChar Cdot Clpar False isSpecialChar Cdot Crpar False isSpecialChar Cdot Cstar False isSpecialChar Cdot Cdot True eqChar Cslash Cslash True eqChar Cslash Clpar False eqChar Cslash Crpar False eqChar Cslash Cstar False eqChar Cslash Cdot False eqChar Cslash Z False eqChar Cslash Y False eqChar Cslash X False eqChar Cslash W False eqChar Cslash V False eqChar Cslash U False eqChar Cslash T False eqChar Cslash S False eqChar Cslash R False eqChar Cslash Q False eqChar Cslash P False eqChar Cslash O False eqChar Cslash N False eqChar Cslash M False eqChar Cslash L False eqChar Cslash K False eqChar Cslash J False eqChar Cslash I False eqChar Cslash H False eqChar Cslash G False eqChar Cslash F False eqChar Cslash E False eqChar Cslash D False eqChar Cslash C False eqChar Cslash B False eqChar Cslash A False eqChar Clpar Cslash False eqChar Clpar Clpar True eqChar Clpar Crpar False eqChar Clpar Cstar False eqChar Clpar Cdot False eqChar Clpar Z False eqChar Clpar Y False eqChar Clpar X False eqChar Clpar W False eqChar Clpar V False eqChar Clpar U False eqChar Clpar T False eqChar Clpar S False eqChar Clpar R False eqChar Clpar Q False eqChar Clpar P False eqChar Clpar O False eqChar Clpar N False eqChar Clpar M False eqChar Clpar L False eqChar Clpar K False eqChar Clpar J False eqChar Clpar I False eqChar Clpar H False eqChar Clpar G False eqChar Clpar F False eqChar Clpar E False eqChar Clpar D False eqChar Clpar C False eqChar Clpar B False eqChar Clpar A False eqChar Crpar Cslash False eqChar Crpar Clpar False eqChar Crpar Crpar True eqChar Crpar Cstar False eqChar Crpar Cdot False eqChar Crpar Z False eqChar Crpar Y False eqChar Crpar X False eqChar Crpar W False eqChar Crpar V False eqChar Crpar U False eqChar Crpar T False eqChar Crpar S False eqChar Crpar R False eqChar Crpar Q False eqChar Crpar P False eqChar Crpar O False eqChar Crpar N False eqChar Crpar M False eqChar Crpar L False eqChar Crpar K False eqChar Crpar J False eqChar Crpar I False eqChar Crpar H False eqChar Crpar G False eqChar Crpar F False eqChar Crpar E False eqChar Crpar D False eqChar Crpar C False eqChar Crpar B False eqChar Crpar A False eqChar Cstar Cslash False eqChar Cstar Clpar False eqChar Cstar Crpar False eqChar Cstar Cstar True eqChar Cstar Cdot False eqChar Cstar Z False eqChar Cstar Y False eqChar Cstar X False eqChar Cstar W False eqChar Cstar V False eqChar Cstar U False eqChar Cstar T False eqChar Cstar S False eqChar Cstar R False eqChar Cstar Q False eqChar Cstar P False eqChar Cstar O False eqChar Cstar N False eqChar Cstar M False eqChar Cstar L False eqChar Cstar K False eqChar Cstar J False eqChar Cstar I False eqChar Cstar H False eqChar Cstar G False eqChar Cstar F False eqChar Cstar E False eqChar Cstar D False eqChar Cstar C False eqChar Cstar B False eqChar Cstar A False eqChar Cdot Cslash False eqChar Cdot Clpar False eqChar Cdot Crpar False eqChar Cdot Cstar False eqChar Cdot Cdot True eqChar Cdot Z False eqChar Cdot Y False eqChar Cdot X False eqChar Cdot W False eqChar Cdot V False eqChar Cdot U False eqChar Cdot T False eqChar Cdot S False eqChar Cdot R False eqChar Cdot Q False eqChar Cdot P False eqChar Cdot O False eqChar Cdot N False eqChar Cdot M False eqChar Cdot L False eqChar Cdot K False eqChar Cdot J False eqChar Cdot I False eqChar Cdot H False eqChar Cdot G False eqChar Cdot F False eqChar Cdot E False eqChar Cdot D False eqChar Cdot C False eqChar Cdot B False eqChar Cdot A False eqChar Z Cslash False eqChar Z Clpar False eqChar Z Crpar False eqChar Z Cstar False eqChar Z Cdot False eqChar Z Z True eqChar Z Y False eqChar Z X False eqChar Z W False eqChar Z V False eqChar Z U False eqChar Z T False eqChar Z S False eqChar Z R False eqChar Z Q False eqChar Z P False eqChar Z O False eqChar Z N False eqChar Z M False eqChar Z L False eqChar Z K False eqChar Z J False eqChar Z I False eqChar Z H False eqChar Z G False eqChar Z F False eqChar Z E False eqChar Z D False eqChar Z C False eqChar Z B False eqChar Z A False eqChar Y Cslash False eqChar Y Clpar False eqChar Y Crpar False eqChar Y Cstar False eqChar Y Cdot False eqChar Y Z False eqChar Y Y True eqChar Y X False eqChar Y W False eqChar Y V False eqChar Y U False eqChar Y T False eqChar Y S False eqChar Y R False eqChar Y Q False eqChar Y P False eqChar Y O False eqChar Y N False eqChar Y M False eqChar Y L False eqChar Y K False eqChar Y J False eqChar Y I False eqChar Y H False eqChar Y G False eqChar Y F False eqChar Y E False eqChar Y D False eqChar Y C False eqChar Y B False eqChar Y A False eqChar X Cslash False eqChar X Clpar False eqChar X Crpar False eqChar X Cstar False eqChar X Cdot False eqChar X Z False eqChar X Y False eqChar X X True eqChar X W False eqChar X V False eqChar X U False eqChar X T False eqChar X S False eqChar X R False eqChar X Q False eqChar X P False eqChar X O False eqChar X N False eqChar X M False eqChar X L False eqChar X K False eqChar X J False eqChar X I False eqChar X H False eqChar X G False eqChar X F False eqChar X E False eqChar X D False eqChar X C False eqChar X B False eqChar X A False eqChar W Cslash False eqChar W Clpar False eqChar W Crpar False eqChar W Cstar False eqChar W Cdot False eqChar W Z False eqChar W Y False eqChar W X False eqChar W W True eqChar W V False eqChar W U False eqChar W T False eqChar W S False eqChar W R False eqChar W Q False eqChar W P False eqChar W O False eqChar W N False eqChar W M False eqChar W L False eqChar W K False eqChar W J False eqChar W I False eqChar W H False eqChar W G False eqChar W F False eqChar W E False eqChar W D False eqChar W C False eqChar W B False eqChar W A False eqChar V Cslash False eqChar V Clpar False eqChar V Crpar False eqChar V Cstar False eqChar V Cdot False eqChar V Z False eqChar V Y False eqChar V X False eqChar V W False eqChar V V True eqChar V U False eqChar V T False eqChar V S False eqChar V R False eqChar V Q False eqChar V P False eqChar V O False eqChar V N False eqChar V M False eqChar V L False eqChar V K False eqChar V J False eqChar V I False eqChar V H False eqChar V G False eqChar V F False eqChar V E False eqChar V D False eqChar V C False eqChar V B False eqChar V A False eqChar U Cslash False eqChar U Clpar False eqChar U Crpar False eqChar U Cstar False eqChar U Cdot False eqChar U Z False eqChar U Y False eqChar U X False eqChar U W False eqChar U V False eqChar U U True eqChar U T False eqChar U S False eqChar U R False eqChar U Q False eqChar U P False eqChar U O False eqChar U N False eqChar U M False eqChar U L False eqChar U K False eqChar U J False eqChar U I False eqChar U H False eqChar U G False eqChar U F False eqChar U E False eqChar U D False eqChar U C False eqChar U B False eqChar U A False eqChar T Cslash False eqChar T Clpar False eqChar T Crpar False eqChar T Cstar False eqChar T Cdot False eqChar T Z False eqChar T Y False eqChar T X False eqChar T W False eqChar T V False eqChar T U False eqChar T T True eqChar T S False eqChar T R False eqChar T Q False eqChar T P False eqChar T O False eqChar T N False eqChar T M False eqChar T L False eqChar T K False eqChar T J False eqChar T I False eqChar T H False eqChar T G False eqChar T F False eqChar T E False eqChar T D False eqChar T C False eqChar T B False eqChar T A False eqChar S Cslash False eqChar S Clpar False eqChar S Crpar False eqChar S Cstar False eqChar S Cdot False eqChar S Z False eqChar S Y False eqChar S X False eqChar S W False eqChar S V False eqChar S U False eqChar S T False eqChar S S True eqChar S R False eqChar S Q False eqChar S P False eqChar S O False eqChar S N False eqChar S M False eqChar S L False eqChar S K False eqChar S J False eqChar S I False eqChar S H False eqChar S G False eqChar S F False eqChar S E False eqChar S D False eqChar S C False eqChar S B False eqChar S A False eqChar R Cslash False eqChar R Clpar False eqChar R Crpar False eqChar R Cstar False eqChar R Cdot False eqChar R Z False eqChar R Y False eqChar R X False eqChar R W False eqChar R V False eqChar R U False eqChar R T False eqChar R S False eqChar R R True eqChar R Q False eqChar R P False eqChar R O False eqChar R N False eqChar R M False eqChar R L False eqChar R K False eqChar R J False eqChar R I False eqChar R H False eqChar R G False eqChar R F False eqChar R E False eqChar R D False eqChar R C False eqChar R B False eqChar R A False eqChar Q Cslash False eqChar Q Clpar False eqChar Q Crpar False eqChar Q Cstar False eqChar Q Cdot False eqChar Q Z False eqChar Q Y False eqChar Q X False eqChar Q W False eqChar Q V False eqChar Q U False eqChar Q T False eqChar Q S False eqChar Q R False eqChar Q Q True eqChar Q P False eqChar Q O False eqChar Q N False eqChar Q M False eqChar Q L False eqChar Q K False eqChar Q J False eqChar Q I False eqChar Q H False eqChar Q G False eqChar Q F False eqChar Q E False eqChar Q D False eqChar Q C False eqChar Q B False eqChar Q A False eqChar P Cslash False eqChar P Clpar False eqChar P Crpar False eqChar P Cstar False eqChar P Cdot False eqChar P Z False eqChar P Y False eqChar P X False eqChar P W False eqChar P V False eqChar P U False eqChar P T False eqChar P S False eqChar P R False eqChar P Q False eqChar P P True eqChar P O False eqChar P N False eqChar P M False eqChar P L False eqChar P K False eqChar P J False eqChar P I False eqChar P H False eqChar P G False eqChar P F False eqChar P E False eqChar P D False eqChar P C False eqChar P B False eqChar P A False eqChar O Cslash False eqChar O Clpar False eqChar O Crpar False eqChar O Cstar False eqChar O Cdot False eqChar O Z False eqChar O Y False eqChar O X False eqChar O W False eqChar O V False eqChar O U False eqChar O T False eqChar O S False eqChar O R False eqChar O Q False eqChar O P False eqChar O O True eqChar O N False eqChar O M False eqChar O L False eqChar O K False eqChar O J False eqChar O I False eqChar O H False eqChar O G False eqChar O F False eqChar O E False eqChar O D False eqChar O C False eqChar O B False eqChar O A False eqChar N Cslash False eqChar N Clpar False eqChar N Crpar False eqChar N Cstar False eqChar N Cdot False eqChar N Z False eqChar N Y False eqChar N X False eqChar N W False eqChar N V False eqChar N U False eqChar N T False eqChar N S False eqChar N R False eqChar N Q False eqChar N P False eqChar N O False eqChar N N True eqChar N M False eqChar N L False eqChar N K False eqChar N J False eqChar N I False eqChar N H False eqChar N G False eqChar N F False eqChar N E False eqChar N D False eqChar N C False eqChar N B False eqChar N A False eqChar M Cslash False eqChar M Clpar False eqChar M Crpar False eqChar M Cstar False eqChar M Cdot False eqChar M Z False eqChar M Y False eqChar M X False eqChar M W False eqChar M V False eqChar M U False eqChar M T False eqChar M S False eqChar M R False eqChar M Q False eqChar M P False eqChar M O False eqChar M N False eqChar M M True eqChar M L False eqChar M K False eqChar M J False eqChar M I False eqChar M H False eqChar M G False eqChar M F False eqChar M E False eqChar M D False eqChar M C False eqChar M B False eqChar M A False eqChar L Cslash False eqChar L Clpar False eqChar L Crpar False eqChar L Cstar False eqChar L Cdot False eqChar L Z False eqChar L Y False eqChar L X False eqChar L W False eqChar L V False eqChar L U False eqChar L T False eqChar L S False eqChar L R False eqChar L Q False eqChar L P False eqChar L O False eqChar L N False eqChar L M False eqChar L L True eqChar L K False eqChar L J False eqChar L I False eqChar L H False eqChar L G False eqChar L F False eqChar L E False eqChar L D False eqChar L C False eqChar L B False eqChar L A False eqChar K Cslash False eqChar K Clpar False eqChar K Crpar False eqChar K Cstar False eqChar K Cdot False eqChar K Z False eqChar K Y False eqChar K X False eqChar K W False eqChar K V False eqChar K U False eqChar K T False eqChar K S False eqChar K R False eqChar K Q False eqChar K P False eqChar K O False eqChar K N False eqChar K M False eqChar K L False eqChar K K True eqChar K J False eqChar K I False eqChar K H False eqChar K G False eqChar K F False eqChar K E False eqChar K D False eqChar K C False eqChar K B False eqChar K A False eqChar J Cslash False eqChar J Clpar False eqChar J Crpar False eqChar J Cstar False eqChar J Cdot False eqChar J Z False eqChar J Y False eqChar J X False eqChar J W False eqChar J V False eqChar J U False eqChar J T False eqChar J S False eqChar J R False eqChar J Q False eqChar J P False eqChar J O False eqChar J N False eqChar J M False eqChar J L False eqChar J K False eqChar J J True eqChar J I False eqChar J H False eqChar J G False eqChar J F False eqChar J E False eqChar J D False eqChar J C False eqChar J B False eqChar J A False eqChar I Cslash False eqChar I Clpar False eqChar I Crpar False eqChar I Cstar False eqChar I Cdot False eqChar I Z False eqChar I Y False eqChar I X False eqChar I W False eqChar I V False eqChar I U False eqChar I T False eqChar I S False eqChar I R False eqChar I Q False eqChar I P False eqChar I O False eqChar I N False eqChar I M False eqChar I L False eqChar I K False eqChar I J False eqChar I I True eqChar I H False eqChar I G False eqChar I F False eqChar I E False eqChar I D False eqChar I C False eqChar I B False eqChar I A False eqChar H Cslash False eqChar H Clpar False eqChar H Crpar False eqChar H Cstar False eqChar H Cdot False eqChar H Z False eqChar H Y False eqChar H X False eqChar H W False eqChar H V False eqChar H U False eqChar H T False eqChar H S False eqChar H R False eqChar H Q False eqChar H P False eqChar H O False eqChar H N False eqChar H M False eqChar H L False eqChar H K False eqChar H J False eqChar H I False eqChar H H True eqChar H G False eqChar H F False eqChar H E False eqChar H D False eqChar H C False eqChar H B False eqChar H A False eqChar G Cslash False eqChar G Clpar False eqChar G Crpar False eqChar G Cstar False eqChar G Cdot False eqChar G Z False eqChar G Y False eqChar G X False eqChar G W False eqChar G V False eqChar G U False eqChar G T False eqChar G S False eqChar G R False eqChar G Q False eqChar G P False eqChar G O False eqChar G N False eqChar G M False eqChar G L False eqChar G K False eqChar G J False eqChar G I False eqChar G H False eqChar G G True eqChar G F False eqChar G E False eqChar G D False eqChar G C False eqChar G B False eqChar G A False eqChar F Cslash False eqChar F Clpar False eqChar F Crpar False eqChar F Cstar False eqChar F Cdot False eqChar F Z False eqChar F Y False eqChar F X False eqChar F W False eqChar F V False eqChar F U False eqChar F T False eqChar F S False eqChar F R False eqChar F Q False eqChar F P False eqChar F O False eqChar F N False eqChar F M False eqChar F L False eqChar F K False eqChar F J False eqChar F I False eqChar F H False eqChar F G False eqChar F F True eqChar F E False eqChar F D False eqChar F C False eqChar F B False eqChar F A False eqChar E Cslash False eqChar E Clpar False eqChar E Crpar False eqChar E Cstar False eqChar E Cdot False eqChar E Z False eqChar E Y False eqChar E X False eqChar E W False eqChar E V False eqChar E U False eqChar E T False eqChar E S False eqChar E R False eqChar E Q False eqChar E P False eqChar E O False eqChar E N False eqChar E M False eqChar E L False eqChar E K False eqChar E J False eqChar E I False eqChar E H False eqChar E G False eqChar E F False eqChar E E True eqChar E D False eqChar E C False eqChar E B False eqChar E A False eqChar D Cslash False eqChar D Clpar False eqChar D Crpar False eqChar D Cstar False eqChar D Cdot False eqChar D Z False eqChar D Y False eqChar D X False eqChar D W False eqChar D V False eqChar D U False eqChar D T False eqChar D S False eqChar D R False eqChar D Q False eqChar D P False eqChar D O False eqChar D N False eqChar D M False eqChar D L False eqChar D K False eqChar D J False eqChar D I False eqChar D H False eqChar D G False eqChar D F False eqChar D E False eqChar D D True eqChar D C False eqChar D B False eqChar D A False eqChar C Cslash False eqChar C Clpar False eqChar C Crpar False eqChar C Cstar False eqChar C Cdot False eqChar C Z False eqChar C Y False eqChar C X False eqChar C W False eqChar C V False eqChar C U False eqChar C T False eqChar C S False eqChar C R False eqChar C Q False eqChar C P False eqChar C O False eqChar C N False eqChar C M False eqChar C L False eqChar C K False eqChar C J False eqChar C I False eqChar C H False eqChar C G False eqChar C F False eqChar C E False eqChar C D False eqChar C C True eqChar C B False eqChar C A False eqChar B Cslash False eqChar B Clpar False eqChar B Crpar False eqChar B Cstar False eqChar B Cdot False eqChar B Z False eqChar B Y False eqChar B X False eqChar B W False eqChar B V False eqChar B U False eqChar B T False eqChar B S False eqChar B R False eqChar B Q False eqChar B P False eqChar B O False eqChar B N False eqChar B M False eqChar B L False eqChar B K False eqChar B J False eqChar B I False eqChar B H False eqChar B G False eqChar B F False eqChar B E False eqChar B D False eqChar B C False eqChar B B True eqChar B A False eqChar A Cslash False eqChar A Clpar False eqChar A Crpar False eqChar A Cstar False eqChar A Cdot False eqChar A Z False eqChar A Y False eqChar A X False eqChar A W False eqChar A V False eqChar A U False eqChar A T False eqChar A S False eqChar A R False eqChar A Q False eqChar A P False eqChar A O False eqChar A N False eqChar A M False eqChar A L False eqChar A K False eqChar A J False eqChar A I False eqChar A H False eqChar A G False eqChar A F False eqChar A E False eqChar A D False eqChar A C False eqChar A B False eqChar A A True stringlist x x liststring x x reverse Cons c cs @ reverse cs Cons c Nil reverse Nil Nil parsepdot Cons x xs' Pseq xs stack parsep xs' Pseq Cons Pdot xs stack notEmpty Cons x xs True notEmpty Nil False isSpecialChar Z cs False isSpecialChar Y cs False isSpecialChar X cs False isSpecialChar W cs False isSpecialChar V cs False isSpecialChar U cs False isSpecialChar T cs False isSpecialChar S cs False isSpecialChar R cs False isSpecialChar Q cs False isSpecialChar P cs False isSpecialChar O cs False isSpecialChar N cs False isSpecialChar M cs False isSpecialChar L cs False isSpecialChar K cs False isSpecialChar J cs False isSpecialChar I cs False isSpecialChar H cs False isSpecialChar G cs False isSpecialChar F cs False isSpecialChar E cs False isSpecialChar D cs False isSpecialChar C cs False isSpecialChar B cs False isSpecialChar A cs False dummy x x domatch Pseq pats cs domatchseq cs Nil pats domatch Pstar pat2 cs domatchstar cs pat2 Nil domatch EmptyP cs cs parsepopenb Cons x xs seq stack parsep xs Pseq Nil Cons seq stack rematch[Let] patstr str Cons x xs @ liststring reverse Cons x xs Cons x xs rematch[Let] patstr str Nil Nil domatchstar[Ite][True][Let] cs pat init Cons x xs domatchstar[Ite][True][Let][Ite] True cs pat init Cons x xs domatchstar[Ite][True][Let] cs pat init Nil domatchstar[Ite][True][Let][Ite] False cs pat init Nil domatchseq[Ite][True][Let] cs rest pats Cons x xs domatchseq[Ite][True][Let][Ite] True cs rest pats Cons x xs domatchseq[Ite][True][Let] cs rest pats Nil domatchseq[Ite][True][Let][Ite] False cs rest pats Nil L 0 domatchstar 3 True 0 parsep[Ite][True][Ite][False][Ite] 4 parsep[Ite][False][Ite][False][Match] 3 Pdot 0 U 0 eqChar 2 Pseq 1 EmptyP 0 K 0 D 0 domatchseq 3 domatchchar 2 domatchdot 1 Crpar 0 C 0 B 0 parsepcloseb[Ite][True][Match][Pseq][Match] 4 rematch[Let] 3 False 0 domatchseq[Ite][True][Let][Ite] 5 N 0 J 0 parsepopenb 3 Cslash 0 isSpecialChar 2 parsepchar 3 G 0 Z 0 S 0 E 0 rematch 2 domatchseq[Ite][True][Let] 4 notEmpty 1 parsepdot 3 H 0 @ 2 Clpar 0 parsepcloseb 3 Y 0 parsepstar 3 domatchstar[Ite][True][Let] 4 O 0 Pchar 1 Q 0 reverse 1 X 0 Cstar 0 Cons 2 Error 0 W 0 domatch 2 P 0 I 0 parsep 3 Cdot 0 Pstar 1 stringlist 1 domatchstar[Ite][True][Let][Ite] 5 Nil 0 V 0 A 0 R 0 M 0 liststring 1 dummy 1 T 0 parsepat 1 F 0 INNERMOST