concat ( repeatatleast ( notcc ( <num> ) , 1 ) , concat ( repeatrange ( <let> , 3 , 4 ) , concat ( repeat ( <low> , 4 ) , concat ( or ( const0 , const1 ) , optional ( or ( const2 , const3 ) ) ) ) ) )
concat ( repeatatleast ( notcc ( <num> ) , 1 ) , concat ( repeatrange ( <let> , 3 , 4 ) , concat ( repeat ( <low> , 4 ) , concat ( or ( const0 , const1 ) , optional ( or ( const2 , const3 ) ) ) ) ) )
concat ( repeatatleast ( notcc ( <num> ) , 1 ) , concat ( repeatrange ( <let> , 3 , 4 ) , concat ( repeat ( <low> , 4 ) , concat ( or ( const0 , const1 ) , optional ( or ( <*> , <&> ) ) ) ) ) )
concat ( optional ( repeatrange ( <let> , 2 , 4 ) ) , concat ( const0 , repeatrange ( <let> , 2 , 4 ) ) )
concat ( optional ( repeatrange ( <let> , 2 , 4 ) ) , concat ( <4> , repeatrange ( <let> , 2 , 4 ) ) )
concat ( optional ( repeatrange ( <let> , 2 , 4 ) ) , concat ( <4> , repeatrange ( <let> , 2 , 4 ) ) )
concat ( repeatatleast ( <cap> , 1 ) , concat ( repeat ( <low> , 3 ) , concat ( repeatatleast ( <cap> , 1 ) , repeat ( <low> , 3 ) ) ) )
concat ( repeatatleast ( <cap> , 1 ) , concat ( repeat ( <low> , 3 ) , concat ( repeatatleast ( <cap> , 1 ) , repeat ( <low> , 3 ) ) ) )
concat ( repeatatleast ( <cap> , 1 ) , concat ( repeat ( <low> , 3 ) , concat ( repeatatleast ( <cap> , 1 ) , repeat ( <low> , 3 ) ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( repeatrange ( <low> , 3 , 4 ) , concat ( repeat ( const1 , 2 ) , optional ( or ( const2 , const3 ) ) ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( repeatrange ( <low> , 3 , 4 ) , concat ( repeat ( const1 , 2 ) , optional ( or ( const ( <984> ) , const2 ) ) ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( repeatrange ( <low> , 3 , 4 ) , concat ( repeat ( const1 , 2 ) , optional ( or ( const2 , const3 ) ) ) ) )
concat ( const0 , concat ( repeat ( notcc ( <low> ) , 4 ) , concat ( repeatatleast ( <let> , 1 ) , concat ( repeat ( <num> , 4 ) , concat ( repeatatleast ( <cap> , 1 ) , repeatrange ( <let> , 2 , 4 ) ) ) ) ) )
concat ( const0 , concat ( repeat ( notcc ( <low> ) , 4 ) , concat ( repeatatleast ( <let> , 1 ) , concat ( repeat ( <num> , 4 ) , concat ( repeatatleast ( <cap> , 1 ) , repeatrange ( <let> , 2 , 4 ) ) ) ) ) )
concat ( const0 , concat ( repeat ( notcc ( <low> ) , 4 ) , concat ( repeatatleast ( <let> , 1 ) , concat ( repeat ( <num> , 4 ) , concat ( repeatatleast ( <cap> , 1 ) , repeatrange ( <let> , 2 , 4 ) ) ) ) ) )
concat ( repeatatleast ( <cap> , 2 ) , const0 )
concat ( repeatatleast ( <cap> , 2 ) , const0 )
concat ( repeatatleast ( <cap> , 2 ) , const0 )
concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeatatleast ( const0 , 3 ) , concat ( repeatrange ( <num> , 2 , 4 ) , repeatatleast ( <cap> , 2 ) ) ) )
concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeatatleast ( const0 , 3 ) , concat ( repeatrange ( <num> , 2 , 4 ) , repeatatleast ( <cap> , 2 ) ) ) )
concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeatatleast ( const0 , 3 ) , concat ( repeatrange ( <num> , 2 , 4 ) , repeatatleast ( <cap> , 2 ) ) ) )
concat ( repeatatleast ( <let> , 3 ) , concat ( repeat ( <num> , 2 ) , <cap> ) )
concat ( repeatatleast ( <let> , 3 ) , concat ( repeat ( <num> , 2 ) , <cap> ) )
concat ( repeatatleast ( <let> , 3 ) , concat ( repeat ( <num> , 2 ) , <cap> ) )
concat ( repeat ( <cap> , 3 ) , concat ( repeat ( <let> , 2 ) , concat ( repeat ( <cap> , 3 ) , concat ( <let> , concat ( repeatrange ( <num> , 1 , 2 ) , repeatrange ( <cap> , 3 , 4 ) ) ) ) ) )
concat ( repeat ( <cap> , 3 ) , concat ( repeat ( <let> , 2 ) , concat ( repeat ( <cap> , 3 ) , concat ( <let> , concat ( repeatrange ( <num> , 1 , 2 ) , repeatrange ( <cap> , 3 , 4 ) ) ) ) ) )
concat ( repeat ( <cap> , 3 ) , concat ( repeat ( <let> , 2 ) , concat ( repeat ( <cap> , 3 ) , concat ( <let> , concat ( repeatrange ( <num> , 1 , 2 ) , repeatrange ( <cap> , 3 , 4 ) ) ) ) ) )
concat ( repeatatleast ( or ( <let> , <num> ) , 1 ) , star ( concat ( <-> , repeatatleast ( or ( <let> , <num> ) , 1 ) ) ) )
concat ( repeatatleast ( or ( <let> , <num> ) , 1 ) , star ( concat ( <-> , repeatatleast ( or ( <let> , <num> ) , 1 ) ) ) )
concat ( repeatatleast ( or ( <let> , <num> ) , 1 ) , star ( concat ( <-> , repeatatleast ( or ( <let> , <num> ) , 1 ) ) ) )
concat ( and ( repeatatleast ( <low> , 1 ) , startwith ( const0 ) ) , concat ( <,> , concat ( repeat ( <let> , 4 ) , concat ( <,> , repeat ( <low> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( <low> , 1 ) , startwith ( const0 ) ) , concat ( <,> , concat ( repeat ( <let> , 4 ) , concat ( <,> , repeat ( <low> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( <low> , 1 ) , startwith ( const0 ) ) , concat ( <,> , concat ( repeat ( <let> , 4 ) , concat ( <,> , repeat ( <low> , 2 ) ) ) ) )
concat ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( startwith ( repeat ( <cap> , 2 ) ) , not ( contain ( const0 ) ) ) ) , concat ( <-> , repeatatleast ( or ( <cap> , <low> ) , 1 ) ) ) ) )
concat ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( startwith ( repeat ( <cap> , 2 ) ) , not ( contain ( const0 ) ) ) ) , concat ( <-> , repeatatleast ( or ( <cap> , <low> ) , 1 ) ) ) ) )
concat ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( startwith ( repeat ( <cap> , 2 ) ) , not ( contain ( const0 ) ) ) ) , concat ( <-> , repeatatleast ( or ( <cap> , <low> ) , 1 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , concat ( <-> , concat ( repeatatleast ( or ( <num> , const0 ) , 1 ) , concat ( <-> , repeatatleast ( or ( <num> , const0 ) , 1 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , concat ( <-> , concat ( repeatatleast ( or ( <num> , const0 ) , 1 ) , concat ( <-> , repeatatleast ( or ( <num> , const0 ) , 1 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , concat ( <-> , concat ( repeatatleast ( or ( <num> , const0 ) , 1 ) , concat ( <-> , repeatatleast ( or ( <num> , const0 ) , 1 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , and ( not ( contain ( const0 ) ) , not ( endwith ( repeat ( <let> , 2 ) ) ) ) ) , concat ( <;> , concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( contain ( const0 ) ) ) , concat ( <;> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( contain ( const0 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , and ( not ( contain ( const0 ) ) , not ( endwith ( repeat ( <let> , 2 ) ) ) ) ) , concat ( <;> , concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( contain ( const0 ) ) ) , concat ( <;> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( contain ( const0 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , and ( not ( contain ( const0 ) ) , not ( endwith ( repeat ( <let> , 2 ) ) ) ) ) , concat ( <;> , concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( contain ( const0 ) ) ) , concat ( <;> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( contain ( const0 ) ) ) ) ) ) )
concat ( concat ( or ( repeatrange ( <R> , 3 , 4 ) , repeatrange ( <J> , 3 , 4 ) ) , repeatrange ( <j> , 3 , 4 ) ) , star ( concat ( <-> , concat ( or ( repeatrange ( <R> , 3 , 4 ) , repeatrange ( <J> , 3 , 4 ) ) , repeatrange ( <j> , 3 , 4 ) ) ) ) )
concat ( concat ( or ( repeatrange ( const0 , 3 , 4 ) , repeatrange ( const1 , 3 , 4 ) ) , repeatrange ( const2 , 3 , 4 ) ) , star ( concat ( <-> , concat ( or ( repeatrange ( const0 , 3 , 4 ) , repeatrange ( const1 , 3 , 4 ) ) , repeatrange ( const2 , 3 , 4 ) ) ) ) )
concat ( concat ( or ( repeatrange ( const0 , 3 , 4 ) , repeatrange ( const1 , 3 , 4 ) ) , repeatrange ( const2 , 3 , 4 ) ) , star ( concat ( <-> , concat ( or ( repeatrange ( const0 , 3 , 4 ) , repeatrange ( const1 , 3 , 4 ) ) , repeatrange ( const2 , 3 , 4 ) ) ) ) )
concat ( repeat ( const0 , 2 ) , concat ( <;> , concat ( concat ( <num> , concat ( repeat ( const1 , 2 ) , optional ( repeatatleast ( <num> , 3 ) ) ) ) , concat ( <;> , concat ( <num> , concat ( repeat ( const1 , 2 ) , optional ( repeatatleast ( <num> , 3 ) ) ) ) ) ) ) )
concat ( repeat ( const0 , 2 ) , concat ( <;> , concat ( concat ( <num> , concat ( repeat ( const1 , 2 ) , optional ( repeatatleast ( <num> , 3 ) ) ) ) , concat ( <;> , concat ( <num> , concat ( repeat ( const1 , 2 ) , optional ( repeatatleast ( <num> , 3 ) ) ) ) ) ) ) )
concat ( repeat ( const0 , 2 ) , concat ( <;> , concat ( concat ( <num> , concat ( repeat ( const1 , 2 ) , optional ( repeatatleast ( <num> , 3 ) ) ) ) , concat ( <;> , concat ( <num> , concat ( repeat ( const1 , 2 ) , optional ( repeatatleast ( <num> , 3 ) ) ) ) ) ) ) )
concat ( repeatrange ( <low> , 2 , 3 ) , star ( concat ( <-> , repeatrange ( <low> , 2 , 3 ) ) ) )
concat ( repeatrange ( <low> , 2 , 3 ) , star ( concat ( <-> , repeatrange ( <low> , 2 , 3 ) ) ) )
concat ( repeatrange ( <low> , 2 , 3 ) , star ( concat ( const0 , repeatrange ( <low> , 2 , 3 ) ) ) )
concat ( concat ( repeatrange ( <num> , 1 , 4 ) , repeat ( const0 , 4 ) ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , concat ( <,> , repeatatleast ( or ( <cap> , or ( <num> , <low> ) ) , 1 ) ) ) ) )
concat ( concat ( repeatrange ( <num> , 1 , 4 ) , repeat ( const0 , 4 ) ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , concat ( <,> , repeatatleast ( or ( <cap> , or ( <num> , <low> ) ) , 1 ) ) ) ) )
concat ( concat ( repeatrange ( <num> , 1 , 4 ) , repeat ( const0 , 4 ) ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , concat ( <,> , repeatatleast ( or ( <cap> , or ( <num> , <low> ) ) , 1 ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) ) , star ( concat ( <-> , and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) ) , star ( concat ( <-> , and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) ) , star ( concat ( <-> , and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) ) ) ) )
concat ( repeatrange ( <let> , 1 , 4 ) , concat ( const0 , concat ( const1 , concat ( const0 , <low> ) ) ) )
concat ( repeatrange ( <let> , 1 , 4 ) , concat ( <-> , concat ( <;> , concat ( <-> , <low> ) ) ) )
concat ( repeatrange ( <let> , 1 , 4 ) , concat ( <-> , concat ( <;> , concat ( <-> , <low> ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , <num> ) , 1 ) , repeatrange ( <any> , 0 , 3 ) ) , concat ( <;> , concat ( and ( repeatatleast ( or ( <cap> , or ( <num> , const0 ) ) , 1 ) , and ( not ( startwith ( concat ( <cap> , const1 ) ) ) , contain ( concat ( <cap> , const2 ) ) ) ) , concat ( <;> , repeat ( <num> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , <num> ) , 1 ) , repeatrange ( <any> , 0 , 3 ) ) , concat ( <;> , concat ( and ( repeatatleast ( or ( <cap> , or ( <num> , <i> ) ) , 1 ) , and ( not ( startwith ( concat ( <cap> , const0 ) ) ) , contain ( concat ( <cap> , const1 ) ) ) ) , concat ( <;> , repeat ( <num> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , <num> ) , 1 ) , repeatrange ( <any> , 0 , 3 ) ) , concat ( <;> , concat ( and ( repeatatleast ( or ( <cap> , or ( <num> , const0 ) ) , 1 ) , and ( not ( startwith ( concat ( <cap> , <X> ) ) ) , contain ( concat ( <cap> , const1 ) ) ) ) , concat ( <;> , repeat ( <num> , 2 ) ) ) ) )
and ( repeatrange ( <any> , 0 , 8 ) , and ( and ( startwith ( <num> ) , not ( startwith ( const0 ) ) ) , not ( endwith ( <num> ) ) ) )
and ( repeatrange ( <any> , 0 , 8 ) , and ( and ( startwith ( <num> ) , not ( startwith ( const0 ) ) ) , not ( endwith ( <num> ) ) ) )
and ( repeatrange ( <any> , 0 , 8 ) , and ( and ( startwith ( <num> ) , not ( startwith ( const0 ) ) ) , not ( endwith ( <num> ) ) ) )
and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( repeatatleast ( <any> , 6 ) , and ( not ( endwith ( <low> ) ) , and ( not ( contain ( const0 ) ) , contain ( or ( repeat ( <cap> , 2 ) , repeat ( <low> , 2 ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( repeatatleast ( <any> , 6 ) , and ( not ( endwith ( <low> ) ) , and ( not ( contain ( const0 ) ) , contain ( or ( repeat ( <cap> , 2 ) , repeat ( <low> , 2 ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( repeatatleast ( <any> , 6 ) , and ( not ( endwith ( <low> ) ) , and ( not ( contain ( const0 ) ) , contain ( or ( repeat ( <cap> , 2 ) , repeat ( <low> , 2 ) ) ) ) ) ) )
contain ( <spec> )
contain ( <spec> )
contain ( <spec> )
and ( repeatatleast ( or ( <let> , const0 ) , 1 ) , and ( repeatrange ( <any> , 0 , 10 ) , startwith ( or ( <low> , <cap> ) ) ) )
and ( repeatatleast ( or ( <let> , const0 ) , 1 ) , and ( repeatrange ( <any> , 0 , 10 ) , startwith ( or ( <low> , <cap> ) ) ) )
and ( repeatatleast ( or ( <let> , const0 ) , 1 ) , and ( repeatrange ( <any> , 0 , 10 ) , startwith ( or ( <low> , <cap> ) ) ) )
and ( not ( contain ( <cap> ) ) , and ( contain ( <let> ) , and ( startwith ( repeat ( <spec> , 3 ) ) , not ( startwith ( repeat ( const0 , 3 ) ) ) ) ) )
and ( not ( contain ( <cap> ) ) , and ( contain ( <let> ) , and ( startwith ( repeat ( <spec> , 3 ) ) , not ( startwith ( repeat ( <.> , 3 ) ) ) ) ) )
and ( not ( contain ( <cap> ) ) , and ( contain ( <let> ) , and ( startwith ( repeat ( <spec> , 3 ) ) , not ( startwith ( repeat ( <.> , 3 ) ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( repeat ( <cap> , 3 ) , concat ( repeatrange ( const2 , 3 , 4 ) , concat ( repeatrange ( <let> , 3 , 4 ) , or ( const3 , const4 ) ) ) ) )
concat ( or ( const0 , const ( <__;> ) ) , concat ( repeat ( <cap> , 3 ) , concat ( repeatrange ( const1 , 3 , 4 ) , concat ( repeatrange ( <let> , 3 , 4 ) , or ( const2 , const3 ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( repeat ( <cap> , 3 ) , concat ( repeatrange ( const2 , 3 , 4 ) , concat ( repeatrange ( <let> , 3 , 4 ) , or ( const3 , const4 ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( repeatatleast ( <num> , 3 ) , repeatatleast ( <let> , 1 ) ) )
concat ( or ( const0 , const1 ) , concat ( repeatatleast ( <num> , 3 ) , repeatatleast ( <let> , 1 ) ) )
concat ( or ( const0 , const1 ) , concat ( repeatatleast ( <num> , 3 ) , repeatatleast ( <let> , 1 ) ) )
concat ( repeatrange ( <cap> , 2 , 4 ) , concat ( repeatrange ( <let> , 1 , 2 ) , concat ( repeat ( <cap> , 2 ) , concat ( repeatatleast ( const0 , 2 ) , repeatrange ( <cap> , 2 , 4 ) ) ) ) )
concat ( repeatrange ( <cap> , 2 , 4 ) , concat ( repeatrange ( <let> , 1 , 2 ) , concat ( repeat ( <cap> , 2 ) , concat ( repeatatleast ( const0 , 2 ) , repeatrange ( <cap> , 2 , 4 ) ) ) ) )
concat ( repeatrange ( <cap> , 2 , 4 ) , concat ( repeatrange ( <let> , 1 , 2 ) , concat ( repeat ( <cap> , 2 ) , concat ( repeatatleast ( const0 , 2 ) , repeatrange ( <cap> , 2 , 4 ) ) ) ) )
concat ( repeat ( <L> , 4 ) , concat ( optional ( repeatrange ( <let> , 1 , 2 ) ) , concat ( repeat ( <L> , 4 ) , concat ( const0 , concat ( repeatatleast ( <num> , 2 ) , repeatatleast ( <let> , 2 ) ) ) ) ) )
concat ( repeat ( const0 , 4 ) , concat ( optional ( repeatrange ( <let> , 1 , 2 ) ) , concat ( repeat ( const0 , 4 ) , concat ( const1 , concat ( repeatatleast ( <num> , 2 ) , repeatatleast ( <let> , 2 ) ) ) ) ) )
concat ( repeat ( const0 , 4 ) , concat ( optional ( repeatrange ( <let> , 1 , 2 ) ) , concat ( repeat ( const0 , 4 ) , concat ( const1 , concat ( repeatatleast ( <num> , 2 ) , repeatatleast ( <let> , 2 ) ) ) ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( or ( const1 , const2 ) , repeat ( const3 , 2 ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( or ( const1 , const2 ) , repeat ( const3 , 2 ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( or ( const1 , const2 ) , repeat ( const3 , 2 ) ) )
concat ( repeatrange ( <num> , 1 , 3 ) , optional ( repeatatleast ( <let> , 3 ) ) )
concat ( repeatrange ( <num> , 1 , 3 ) , optional ( repeatatleast ( <let> , 3 ) ) )
concat ( repeatrange ( <num> , 1 , 3 ) , optional ( repeatatleast ( <let> , 3 ) ) )
concat ( repeatrange ( <num> , 1 , 2 ) , concat ( optional ( repeat ( notcc ( <num> ) , 4 ) ) , concat ( repeatatleast ( <num> , 3 ) , concat ( repeat ( <cap> , 4 ) , concat ( repeat ( <num> , 2 ) , const0 ) ) ) ) )
concat ( repeatrange ( <num> , 1 , 2 ) , concat ( optional ( repeat ( notcc ( <num> ) , 4 ) ) , concat ( repeatatleast ( <num> , 3 ) , concat ( repeat ( <cap> , 4 ) , concat ( repeat ( <num> , 2 ) , const0 ) ) ) ) )
concat ( repeatrange ( <num> , 1 , 2 ) , concat ( optional ( repeat ( notcc ( <num> ) , 4 ) ) , concat ( repeatatleast ( <num> , 3 ) , concat ( repeat ( <cap> , 4 ) , concat ( repeat ( <num> , 2 ) , const0 ) ) ) ) )
concat ( repeatatleast ( <let> , 1 ) , concat ( repeatrange ( <num> , 3 , 4 ) , concat ( const0 , repeatatleast ( <let> , 1 ) ) ) )
concat ( repeatatleast ( <let> , 1 ) , concat ( repeatrange ( <num> , 3 , 4 ) , concat ( const0 , repeatatleast ( <let> , 1 ) ) ) )
concat ( repeatatleast ( <let> , 1 ) , concat ( repeatrange ( <num> , 3 , 4 ) , concat ( const0 , repeatatleast ( <let> , 1 ) ) ) )
concat ( repeatrange ( <let> , 3 , 4 ) , concat ( const0 , repeatrange ( const1 , 1 , 2 ) ) )
concat ( repeatrange ( <let> , 3 , 4 ) , concat ( const0 , repeatrange ( const1 , 1 , 2 ) ) )
concat ( repeatrange ( <let> , 2 , 4 ) , concat ( repeatrange ( <num> , 1 , 2 ) , concat ( repeatrange ( <low> , 2 , 3 ) , concat ( or ( const0 , const1 ) , repeat ( <num> , 4 ) ) ) ) )
concat ( repeatrange ( <let> , 2 , 4 ) , concat ( repeatrange ( <num> , 1 , 2 ) , concat ( repeatrange ( <low> , 2 , 3 ) , concat ( or ( const0 , const1 ) , repeat ( <num> , 4 ) ) ) ) )
concat ( repeatrange ( <let> , 2 , 4 ) , concat ( repeatrange ( <num> , 1 , 2 ) , concat ( repeatrange ( <low> , 2 , 3 ) , concat ( or ( <3> , const0 ) , repeat ( <num> , 4 ) ) ) ) )
concat ( or ( repeatatleast ( const0 , 1 ) , repeatatleast ( const1 , 1 ) ) , repeat ( <num> , 4 ) )
concat ( or ( repeatatleast ( const0 , 1 ) , repeatatleast ( const1 , 1 ) ) , repeat ( <num> , 4 ) )
concat ( or ( repeatatleast ( const0 , 1 ) , repeatatleast ( const1 , 1 ) ) , repeat ( <num> , 4 ) )
concat ( or ( repeatrange ( <low> , 2 , 4 ) , repeatrange ( <num> , 2 , 4 ) ) , concat ( repeat ( <cap> , 3 ) , optional ( repeat ( <num> , 4 ) ) ) )
concat ( or ( repeatrange ( <low> , 2 , 4 ) , repeatrange ( <num> , 2 , 4 ) ) , concat ( repeat ( <cap> , 3 ) , optional ( repeat ( <num> , 4 ) ) ) )
concat ( or ( repeatrange ( <low> , 2 , 4 ) , repeatrange ( <num> , 2 , 4 ) ) , concat ( repeat ( <cap> , 3 ) , optional ( repeat ( <num> , 4 ) ) ) )
concat ( or ( const0 , const1 ) , concat ( optional ( repeatrange ( const2 , 2 , 3 ) ) , concat ( or ( const0 , const1 ) , concat ( optional ( repeatrange ( const2 , 2 , 3 ) ) , repeat ( <cap> , 4 ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( optional ( repeatrange ( const2 , 2 , 3 ) ) , concat ( or ( const0 , const1 ) , concat ( optional ( repeatrange ( const2 , 2 , 3 ) ) , repeat ( <cap> , 4 ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( optional ( repeatrange ( const2 , 2 , 3 ) ) , concat ( or ( const0 , const1 ) , concat ( optional ( repeatrange ( const2 , 2 , 3 ) ) , repeat ( <cap> , 4 ) ) ) ) )
concat ( repeatrange ( <num> , 1 , 3 ) , repeatatleast ( <low> , 3 ) )
concat ( repeatrange ( <num> , 1 , 3 ) , repeatatleast ( <low> , 3 ) )
concat ( repeatrange ( <num> , 1 , 3 ) , repeatatleast ( <low> , 3 ) )
concat ( repeatrange ( const0 , 1 , 3 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( repeatatleast ( <num> , 1 ) , repeatatleast ( <cap> , 1 ) ) ) )
concat ( repeatrange ( const0 , 1 , 3 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( repeatatleast ( <num> , 1 ) , repeatatleast ( <cap> , 1 ) ) ) )
concat ( repeatrange ( const0 , 1 , 3 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( repeatatleast ( <num> , 1 ) , repeatatleast ( <cap> , 1 ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , or ( <cap> , const0 ) ) , 1 ) , contain ( const1 ) ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <num> , or ( <cap> , const0 ) ) , 1 ) , contain ( const1 ) ) , concat ( <-> , and ( repeatatleast ( <cap> , 1 ) , repeatrange ( <any> , 2 , 4 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , or ( <cap> , const1 ) ) , 1 ) , contain ( const2 ) ) , concat ( const0 , concat ( and ( repeatatleast ( or ( <num> , or ( <cap> , const1 ) ) , 1 ) , contain ( const2 ) ) , concat ( const0 , and ( repeatatleast ( <cap> , 1 ) , repeatrange ( <any> , 2 , 4 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , or ( <cap> , const1 ) ) , 1 ) , contain ( const2 ) ) , concat ( const0 , concat ( and ( repeatatleast ( or ( <num> , or ( <cap> , const1 ) ) , 1 ) , contain ( const2 ) ) , concat ( const0 , and ( repeatatleast ( <cap> , 1 ) , repeatrange ( <any> , 2 , 4 ) ) ) ) ) )
concat ( concat ( or ( const ( <cf> ) , const0 ) , repeatrange ( <num> , 1 , 4 ) ) , concat ( <,> , concat ( concat ( or ( const ( <cf> ) , const0 ) , repeatrange ( <num> , 1 , 4 ) ) , concat ( <,> , concat ( or ( const ( <cf> ) , const0 ) , repeatrange ( <num> , 1 , 4 ) ) ) ) ) )
concat ( concat ( or ( const0 , const1 ) , repeatrange ( <num> , 1 , 4 ) ) , concat ( <,> , concat ( concat ( or ( const0 , const1 ) , repeatrange ( <num> , 1 , 4 ) ) , concat ( <,> , concat ( or ( const0 , const1 ) , repeatrange ( <num> , 1 , 4 ) ) ) ) ) )
concat ( concat ( or ( const ( <cf> ) , const0 ) , repeatrange ( <num> , 1 , 4 ) ) , concat ( <,> , concat ( concat ( or ( const ( <cf> ) , const0 ) , repeatrange ( <num> , 1 , 4 ) ) , concat ( <,> , concat ( or ( const ( <cf> ) , const0 ) , repeatrange ( <num> , 1 , 4 ) ) ) ) ) )
concat ( <cap> , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , endwith ( const0 ) ) , concat ( <,> , concat ( repeatrange ( <let> , 1 , 4 ) , repeatrange ( <cap> , 1 , 4 ) ) ) ) ) )
concat ( <cap> , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , endwith ( const0 ) ) , concat ( <,> , concat ( repeatrange ( <let> , 1 , 4 ) , repeatrange ( <cap> , 1 , 4 ) ) ) ) ) )
concat ( <cap> , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , endwith ( const0 ) ) , concat ( <,> , concat ( repeatrange ( <let> , 1 , 4 ) , repeatrange ( <cap> , 1 , 4 ) ) ) ) ) )
concat ( concat ( repeatrange ( <cap> , 1 , 3 ) , <num> ) , concat ( <-> , concat ( concat ( repeatrange ( <cap> , 1 , 3 ) , <num> ) , concat ( <-> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( endwith ( <num> ) ) ) ) ) ) )
concat ( concat ( repeatrange ( <cap> , 1 , 3 ) , <num> ) , concat ( <-> , concat ( concat ( repeatrange ( <cap> , 1 , 3 ) , <num> ) , concat ( <-> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , not ( endwith ( <num> ) ) ) ) ) ) )
concat ( and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) ) , concat ( <,> , concat ( repeat ( <C> , 2 ) , repeatatleast ( <cap> , 2 ) ) ) ) ) )
concat ( and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) ) , concat ( <,> , concat ( repeat ( const1 , 2 ) , repeatatleast ( <cap> , 2 ) ) ) ) ) )
concat ( repeatatleast ( const0 , 3 ) , concat ( <,> , concat ( repeatatleast ( <num> , 1 ) , concat ( <,> , repeatatleast ( <num> , 1 ) ) ) ) )
concat ( repeatatleast ( const0 , 3 ) , concat ( <,> , concat ( repeatatleast ( <num> , 1 ) , concat ( <,> , repeatatleast ( <num> , 1 ) ) ) ) )
concat ( repeatatleast ( const0 , 3 ) , concat ( <,> , concat ( repeatatleast ( <num> , 1 ) , concat ( <,> , repeatatleast ( <num> , 1 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <low> , <cap> ) , 1 ) , repeatrange ( <any> , 2 , 4 ) ) , concat ( <-> , concat ( and ( repeatatleast ( <cap> , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , concat ( repeatrange ( <num> , 1 , 2 ) , repeatrange ( <let> , 1 , 2 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <low> , <cap> ) , 1 ) , repeatrange ( <any> , 2 , 4 ) ) , concat ( <-> , concat ( and ( repeatatleast ( <cap> , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , concat ( repeatrange ( <num> , 1 , 2 ) , repeatrange ( <let> , 1 , 2 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <low> , <cap> ) , 1 ) , repeatrange ( <any> , 2 , 4 ) ) , concat ( <-> , concat ( and ( repeatatleast ( <cap> , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , concat ( repeatrange ( <num> , 1 , 2 ) , repeatrange ( <let> , 1 , 2 ) ) ) ) ) )
concat ( concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) , concat ( <-> , concat ( concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) , concat ( <-> , concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) ) ) ) )
concat ( concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) , concat ( <-> , concat ( concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) , concat ( <-> , concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) ) ) ) )
concat ( concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) , concat ( <-> , concat ( concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) , concat ( <-> , concat ( optional ( repeatatleast ( <low> , 1 ) ) , const0 ) ) ) ) )
concat ( concat ( repeat ( const0 , 3 ) , concat ( repeatrange ( <cap> , 1 , 4 ) , <num> ) ) , star ( concat ( <;> , concat ( repeat ( const0 , 3 ) , concat ( repeatrange ( <cap> , 1 , 4 ) , <num> ) ) ) ) )
concat ( concat ( repeat ( const0 , 3 ) , concat ( repeatrange ( <cap> , 1 , 4 ) , <num> ) ) , star ( concat ( <;> , concat ( repeat ( const0 , 3 ) , concat ( repeatrange ( <cap> , 1 , 4 ) , <num> ) ) ) ) )
concat ( concat ( repeat ( const1 , 3 ) , concat ( repeatrange ( <cap> , 1 , 4 ) , <num> ) ) , star ( concat ( const0 , concat ( repeat ( const1 , 3 ) , concat ( repeatrange ( <cap> , 1 , 4 ) , <num> ) ) ) ) )
concat ( const1 , concat ( const0 , concat ( repeat ( <low> , 4 ) , concat ( const0 , concat ( repeatrange ( <let> , 1 , 2 ) , repeatrange ( <cap> , 2 , 4 ) ) ) ) ) )
concat ( const0 , concat ( <-> , concat ( repeat ( <low> , 4 ) , concat ( <-> , concat ( repeatrange ( <let> , 1 , 2 ) , repeatrange ( <cap> , 2 , 4 ) ) ) ) ) )
concat ( <Q> , concat ( const0 , concat ( repeat ( <low> , 4 ) , concat ( const0 , concat ( repeatrange ( <let> , 1 , 2 ) , repeatrange ( <cap> , 2 , 4 ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) , concat ( <;> , concat ( and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) , concat ( <;> , and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) , concat ( <;> , concat ( and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) , concat ( <;> , and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) , concat ( <;> , concat ( and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) , concat ( <;> , and ( repeatatleast ( <let> , 1 ) , and ( contain ( const0 ) , startwith ( const1 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( <cap> , 1 ) , repeatrange ( <any> , 0 , 3 ) ) , concat ( <;> , concat ( or ( repeatatleast ( <cap> , 2 ) , repeatatleast ( <low> , 2 ) ) , concat ( <;> , repeatatleast ( <let> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( <cap> , 1 ) , repeatrange ( <any> , 0 , 3 ) ) , concat ( <;> , concat ( or ( repeatatleast ( <cap> , 2 ) , repeatatleast ( <low> , 2 ) ) , concat ( <;> , repeatatleast ( <let> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( <cap> , 1 ) , repeatrange ( <any> , 0 , 3 ) ) , concat ( <;> , concat ( or ( repeatatleast ( <cap> , 2 ) , repeatatleast ( <low> , 2 ) ) , concat ( <;> , repeatatleast ( <let> , 2 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , or ( const0 , const1 ) ) , 1 ) , repeatrange ( <any> , 1 , 3 ) ) , star ( concat ( <;> , and ( repeatatleast ( or ( <let> , or ( const0 , const1 ) ) , 1 ) , repeatrange ( <any> , 1 , 3 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , or ( const0 , const1 ) ) , 1 ) , repeatrange ( <any> , 1 , 3 ) ) , star ( concat ( <;> , and ( repeatatleast ( or ( <let> , or ( const0 , const1 ) ) , 1 ) , repeatrange ( <any> , 1 , 3 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , or ( const0 , const1 ) ) , 1 ) , repeatrange ( <any> , 1 , 3 ) ) , star ( concat ( <;> , and ( repeatatleast ( or ( <let> , or ( const0 , const1 ) ) , 1 ) , repeatrange ( <any> , 1 , 3 ) ) ) ) )
concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const2 , <4> ) ) ) , concat ( <,> , concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const2 , <4> ) ) ) , concat ( <,> , concat ( or ( const0 , const1 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const2 , <4> ) ) ) ) ) ) )
concat ( concat ( or ( const1 , const2 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const3 , <4> ) ) ) , concat ( const0 , concat ( concat ( or ( const1 , const2 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const3 , <4> ) ) ) , concat ( const0 , concat ( or ( const1 , const2 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const3 , <4> ) ) ) ) ) ) )
concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const2 , const3 ) ) ) , concat ( <,> , concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const2 , const3 ) ) ) , concat ( <,> , concat ( or ( const0 , const1 ) , concat ( repeatrange ( <low> , 3 , 4 ) , or ( const2 , const3 ) ) ) ) ) ) )
concat ( concat ( optional ( const0 ) , concat ( repeat ( <let> , 2 ) , optional ( repeatrange ( <num> , 2 , 3 ) ) ) ) , star ( concat ( <-> , concat ( optional ( const0 ) , concat ( repeat ( <let> , 2 ) , optional ( repeatrange ( <num> , 2 , 3 ) ) ) ) ) ) )
concat ( concat ( optional ( const0 ) , concat ( repeat ( <let> , 2 ) , optional ( repeatrange ( <num> , 2 , 3 ) ) ) ) , star ( concat ( <-> , concat ( optional ( const0 ) , concat ( repeat ( <let> , 2 ) , optional ( repeatrange ( <num> , 2 , 3 ) ) ) ) ) ) )
concat ( concat ( optional ( const0 ) , concat ( repeat ( <let> , 2 ) , optional ( repeatrange ( <num> , 2 , 3 ) ) ) ) , star ( concat ( <-> , concat ( optional ( const0 ) , concat ( repeat ( <let> , 2 ) , optional ( repeatrange ( <num> , 2 , 3 ) ) ) ) ) ) )
concat ( concat ( repeatrange ( <num> , 2 , 4 ) , concat ( optional ( repeatrange ( <c> , 3 , 4 ) ) , repeatatleast ( <low> , 3 ) ) ) , concat ( <,> , concat ( concat ( repeatrange ( <num> , 2 , 4 ) , concat ( optional ( repeatrange ( <c> , 3 , 4 ) ) , repeatatleast ( <low> , 3 ) ) ) , concat ( <,> , and ( repeatatleast ( or ( <num> , <cap> ) , 1 ) , endwith ( <num> ) ) ) ) ) )
concat ( concat ( repeatrange ( <num> , 2 , 4 ) , concat ( optional ( repeatrange ( const0 , 3 , 4 ) ) , repeatatleast ( <low> , 3 ) ) ) , concat ( <,> , concat ( concat ( repeatrange ( <num> , 2 , 4 ) , concat ( optional ( repeatrange ( const0 , 3 , 4 ) ) , repeatatleast ( <low> , 3 ) ) ) , concat ( <,> , and ( repeatatleast ( or ( <num> , <cap> ) , 1 ) , endwith ( <num> ) ) ) ) ) )
concat ( concat ( repeatrange ( <num> , 2 , 4 ) , concat ( optional ( repeatrange ( const0 , 3 , 4 ) ) , repeatatleast ( <low> , 3 ) ) ) , concat ( <,> , concat ( concat ( repeatrange ( <num> , 2 , 4 ) , concat ( optional ( repeatrange ( const0 , 3 , 4 ) ) , repeatatleast ( <low> , 3 ) ) ) , concat ( <,> , and ( repeatatleast ( or ( <num> , <cap> ) , 1 ) , endwith ( <num> ) ) ) ) ) )
concat ( repeatatleast ( or ( <cap> , or ( <low> , const0 ) ) , 1 ) , concat ( <;> , concat ( repeatatleast ( or ( <cap> , or ( <low> , const0 ) ) , 1 ) , concat ( <;> , and ( repeatatleast ( or ( <cap> , or ( <low> , const0 ) ) , 1 ) , repeat ( <any> , 3 ) ) ) ) ) )
concat ( repeatatleast ( or ( <cap> , or ( <low> , const1 ) ) , 1 ) , concat ( const0 , concat ( repeatatleast ( or ( <cap> , or ( <low> , const1 ) ) , 1 ) , concat ( const0 , and ( repeatatleast ( or ( <cap> , or ( <low> , const1 ) ) , 1 ) , repeat ( <any> , 3 ) ) ) ) ) )
concat ( repeatatleast ( or ( <cap> , or ( <low> , <1> ) ) , 1 ) , concat ( <;> , concat ( repeatatleast ( or ( <cap> , or ( <low> , <1> ) ) , 1 ) , concat ( <;> , and ( repeatatleast ( or ( <cap> , or ( <low> , <1> ) ) , 1 ) , repeat ( <any> , 3 ) ) ) ) ) )
concat ( repeatatleast ( <num> , 1 ) , star ( concat ( <-> , repeatatleast ( <num> , 1 ) ) ) )
concat ( repeatatleast ( <num> , 1 ) , star ( concat ( <-> , repeatatleast ( <num> , 1 ) ) ) )
concat ( repeatatleast ( <num> , 1 ) , star ( concat ( <-> , repeatatleast ( <num> , 1 ) ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , repeatatleast ( <any> , 4 ) ) , concat ( <,> , repeatrange ( <cap> , 3 , 4 ) ) ) ) )
concat ( repeatatleast ( <b> , 2 ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , repeatatleast ( <any> , 4 ) ) , concat ( <,> , repeatrange ( <cap> , 3 , 4 ) ) ) ) )
concat ( repeatatleast ( const0 , 2 ) , concat ( <,> , concat ( and ( repeatatleast ( <low> , 1 ) , repeatatleast ( <any> , 4 ) ) , concat ( <,> , repeatrange ( <cap> , 3 , 4 ) ) ) ) )
concat ( concat ( repeatrange ( <let> , 1 , 3 ) , concat ( repeatrange ( const0 , 2 , 3 ) , repeat ( <cap> , 4 ) ) ) , concat ( <;> , concat ( concat ( repeatrange ( <let> , 1 , 3 ) , concat ( repeatrange ( const0 , 2 , 3 ) , repeat ( <cap> , 4 ) ) ) , concat ( <;> , <let> ) ) ) )
concat ( concat ( repeatrange ( <let> , 1 , 3 ) , concat ( repeatrange ( const0 , 2 , 3 ) , repeat ( <cap> , 4 ) ) ) , concat ( <;> , concat ( concat ( repeatrange ( <let> , 1 , 3 ) , concat ( repeatrange ( const0 , 2 , 3 ) , repeat ( <cap> , 4 ) ) ) , concat ( <;> , <let> ) ) ) )
concat ( concat ( repeatrange ( <let> , 1 , 3 ) , concat ( repeatrange ( const0 , 2 , 3 ) , repeat ( <cap> , 4 ) ) ) , concat ( <;> , concat ( concat ( repeatrange ( <let> , 1 , 3 ) , concat ( repeatrange ( const0 , 2 , 3 ) , repeat ( <cap> , 4 ) ) ) , concat ( <;> , <let> ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , and ( not ( endwith ( const0 ) ) , not ( contain ( const1 ) ) ) ) , star ( concat ( <-> , and ( repeatatleast ( <let> , 1 ) , and ( not ( endwith ( const0 ) ) , not ( contain ( const1 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , and ( not ( endwith ( const1 ) ) , not ( contain ( const2 ) ) ) ) , star ( concat ( const0 , and ( repeatatleast ( <let> , 1 ) , and ( not ( endwith ( const1 ) ) , not ( contain ( const2 ) ) ) ) ) ) )
concat ( and ( repeatatleast ( <let> , 1 ) , and ( not ( endwith ( const0 ) ) , not ( contain ( const1 ) ) ) ) , star ( concat ( <-> , and ( repeatatleast ( <let> , 1 ) , and ( not ( endwith ( const0 ) ) , not ( contain ( const1 ) ) ) ) ) ) )
not ( endwith ( repeat ( <num> , 3 ) ) )
not ( endwith ( repeat ( <num> , 3 ) ) )
not ( endwith ( repeat ( <num> , 3 ) ) )
and ( repeatatleast ( or ( <let> , const0 ) , 1 ) , and ( contain ( or ( repeat ( const1 , 3 ) , repeat ( const2 , 3 ) ) ) , startwith ( <let> ) ) )
and ( repeatatleast ( or ( <let> , const0 ) , 1 ) , and ( contain ( or ( repeat ( const1 , 3 ) , repeat ( const2 , 3 ) ) ) , startwith ( <let> ) ) )
and ( repeatatleast ( or ( <let> , const0 ) , 1 ) , and ( contain ( or ( repeat ( const1 , 3 ) , repeat ( const2 , 3 ) ) ) , startwith ( <let> ) ) )
repeatatleast ( or ( <spec> , or ( <low> , or ( <num> , <cap> ) ) ) , 1 )
repeatatleast ( or ( <spec> , or ( <low> , or ( <num> , <cap> ) ) ) , 1 )
repeatatleast ( or ( <spec> , or ( <low> , or ( <num> , <cap> ) ) ) , 1 )
and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , and ( repeatatleast ( <any> , 5 ) , and ( endwith ( or ( const0 , const1 ) ) , and ( not ( startwith ( <cap> ) ) , not ( contain ( concat ( notcc ( <num> ) , <cap> ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , and ( repeatatleast ( <any> , 5 ) , and ( endwith ( or ( const0 , const1 ) ) , and ( not ( startwith ( <cap> ) ) , not ( contain ( concat ( notcc ( <num> ) , <cap> ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , and ( repeatatleast ( <any> , 5 ) , and ( endwith ( or ( const0 , const1 ) ) , and ( not ( startwith ( <cap> ) ) , not ( contain ( concat ( notcc ( <num> ) , <cap> ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , or ( <spec> , <num> ) ) , 1 ) , and ( repeatrange ( <any> , 4 , 9 ) , and ( contain ( <cap> ) , and ( startwith ( repeat ( <cap> , 3 ) ) , not ( startwith ( repeat ( const0 , 3 ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , or ( <spec> , <num> ) ) , 1 ) , and ( repeatrange ( <any> , 4 , 9 ) , and ( contain ( <cap> ) , and ( startwith ( repeat ( <cap> , 3 ) ) , not ( startwith ( repeat ( <S> , 3 ) ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , or ( <spec> , <num> ) ) , 1 ) , and ( repeatrange ( <any> , 4 , 9 ) , and ( contain ( <cap> ) , and ( startwith ( repeat ( <cap> , 3 ) ) , not ( startwith ( repeat ( const0 , 3 ) ) ) ) ) ) )
and ( contain ( const0 ) , and ( endwith ( repeat ( <let> , 2 ) ) , not ( endwith ( repeat ( const1 , 2 ) ) ) ) )
and ( contain ( const0 ) , and ( endwith ( repeat ( <let> , 2 ) ) , not ( endwith ( repeat ( <F> , 2 ) ) ) ) )
and ( contain ( const0 ) , and ( endwith ( repeat ( <let> , 2 ) ) , not ( endwith ( repeat ( const1 , 2 ) ) ) ) )
and ( repeatatleast ( <any> , 4 ) , and ( and ( endwith ( repeat ( <let> , 3 ) ) , not ( endwith ( const0 ) ) ) , and ( contain ( const1 ) , contain ( concat ( <low> , <spec> ) ) ) ) )
and ( repeatatleast ( <any> , 4 ) , and ( and ( endwith ( repeat ( <let> , 3 ) ) , not ( endwith ( const0 ) ) ) , and ( contain ( const1 ) , contain ( concat ( <low> , <spec> ) ) ) ) )
and ( repeatatleast ( <any> , 4 ) , and ( and ( endwith ( repeat ( <let> , 3 ) ) , not ( endwith ( const0 ) ) ) , and ( contain ( const1 ) , contain ( concat ( <low> , <spec> ) ) ) ) )
and ( repeatatleast ( or ( <spec> , or ( <low> , <num> ) ) , 1 ) , and ( repeatatleast ( <any> , 6 ) , and ( endwith ( <low> ) , and ( startwith ( <let> ) , not ( startwith ( const0 ) ) ) ) ) )
and ( repeatatleast ( or ( <spec> , or ( <low> , <num> ) ) , 1 ) , and ( repeatatleast ( <any> , 6 ) , and ( endwith ( <low> ) , and ( startwith ( <let> ) , not ( startwith ( const0 ) ) ) ) ) )
and ( repeatatleast ( or ( <spec> , or ( <low> , <num> ) ) , 1 ) , and ( repeatatleast ( <any> , 6 ) , and ( endwith ( <low> ) , and ( startwith ( <let> ) , not ( startwith ( const0 ) ) ) ) ) )
and ( repeatatleast ( or ( <let> , <spec> ) , 1 ) , and ( startwith ( repeat ( <let> , 2 ) ) , not ( startwith ( repeat ( const0 , 2 ) ) ) ) )
and ( repeatatleast ( or ( <let> , <spec> ) , 1 ) , and ( startwith ( repeat ( <let> , 2 ) ) , not ( startwith ( repeat ( const0 , 2 ) ) ) ) )
and ( repeatatleast ( or ( <let> , <spec> ) , 1 ) , and ( startwith ( repeat ( <let> , 2 ) ) , not ( startwith ( repeat ( const0 , 2 ) ) ) ) )
and ( repeatatleast ( or ( <low> , or ( <spec> , <num> ) ) , 1 ) , and ( repeatrange ( <any> , 5 , 10 ) , and ( contain ( <num> ) , not ( contain ( const0 ) ) ) ) )
and ( repeatatleast ( or ( <low> , or ( <spec> , <num> ) ) , 1 ) , and ( repeatrange ( <any> , 5 , 10 ) , and ( contain ( <num> ) , not ( contain ( const0 ) ) ) ) )
and ( repeatatleast ( or ( <low> , or ( <spec> , <num> ) ) , 1 ) , and ( repeatrange ( <any> , 5 , 10 ) , and ( contain ( <num> ) , not ( contain ( const0 ) ) ) ) )
repeatatleast ( or ( <spec> , or ( <low> , const0 ) ) , 1 )
repeatatleast ( or ( <spec> , or ( <low> , const0 ) ) , 1 )
repeatatleast ( or ( <spec> , or ( <low> , const0 ) ) , 1 )
and ( repeatatleast ( or ( <low> , const0 ) , 1 ) , and ( and ( not ( endwith ( const0 ) ) , not ( contain ( concat ( const0 , notcc ( <low> ) ) ) ) ) , and ( not ( contain ( const1 ) ) , contain ( repeat ( <low> , 3 ) ) ) ) )
and ( repeatatleast ( or ( <low> , const0 ) , 1 ) , and ( and ( not ( endwith ( const0 ) ) , not ( contain ( concat ( const0 , notcc ( <low> ) ) ) ) ) , and ( not ( contain ( const1 ) ) , contain ( repeat ( <low> , 3 ) ) ) ) )
and ( repeatatleast ( or ( <low> , <.> ) , 1 ) , and ( and ( not ( endwith ( <.> ) ) , not ( contain ( concat ( <.> , notcc ( <low> ) ) ) ) ) , and ( not ( contain ( const0 ) ) , contain ( repeat ( <low> , 3 ) ) ) ) )
not ( contain ( <let> ) )
not ( contain ( <let> ) )
not ( contain ( <let> ) )
contain ( const0 )
contain ( const0 )
contain ( <*> )
contain ( repeat ( <spec> , 2 ) )
contain ( repeat ( <spec> , 2 ) )
contain ( repeat ( <spec> , 2 ) )
contain ( <low> )
contain ( <low> )
contain ( <low> )
and ( repeatatleast ( or ( <spec> , or ( <low> , or ( const0 , const1 ) ) ) , 1 ) , and ( repeatrange ( <any> , 5 , 9 ) , and ( not ( contain ( const2 ) ) , and ( not ( startwith ( <spec> ) ) , not ( contain ( concat ( notcc ( <low> ) , <spec> ) ) ) ) ) ) )
and ( repeatatleast ( or ( <spec> , or ( <low> , or ( const0 , const1 ) ) ) , 1 ) , and ( repeatrange ( <any> , 5 , 9 ) , and ( not ( contain ( const2 ) ) , and ( not ( startwith ( <spec> ) ) , not ( contain ( concat ( notcc ( <low> ) , <spec> ) ) ) ) ) ) )
and ( repeatatleast ( or ( <spec> , or ( <low> , or ( const0 , const1 ) ) ) , 1 ) , and ( repeatrange ( <any> , 5 , 9 ) , and ( not ( contain ( const ( <^!> ) ) ) , and ( not ( startwith ( <spec> ) ) , not ( contain ( concat ( notcc ( <low> ) , <spec> ) ) ) ) ) ) )
and ( repeatrange ( <any> , 6 , 8 ) , and ( contain ( or ( repeat ( <cap> , 2 ) , repeat ( <spec> , 2 ) ) ) , and ( contain ( <spec> ) , not ( contain ( const0 ) ) ) ) )
and ( repeatrange ( <any> , 6 , 8 ) , and ( contain ( or ( repeat ( <cap> , 2 ) , repeat ( <spec> , 2 ) ) ) , and ( contain ( <spec> ) , not ( contain ( const0 ) ) ) ) )
and ( repeatrange ( <any> , 6 , 8 ) , and ( contain ( or ( repeat ( <cap> , 2 ) , repeat ( <spec> , 2 ) ) ) , and ( contain ( <spec> ) , not ( contain ( const0 ) ) ) ) )
and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) )
and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) )
and ( repeatatleast ( <let> , 1 ) , not ( startwith ( const0 ) ) )
concat ( <m> , concat ( <7> , concat ( repeatrange ( const0 , 3 , 4 ) , concat ( repeat ( notcc ( <cap> ) , 4 ) , repeatatleast ( <let> , 2 ) ) ) ) )
concat ( <m> , concat ( <7> , concat ( repeatrange ( const0 , 3 , 4 ) , concat ( repeat ( notcc ( <cap> ) , 4 ) , repeatatleast ( <let> , 2 ) ) ) ) )
concat ( <m> , concat ( <7> , concat ( repeatrange ( const0 , 3 , 4 ) , concat ( repeat ( notcc ( <cap> ) , 4 ) , repeatatleast ( <let> , 2 ) ) ) ) )
concat ( repeat ( <let> , 2 ) , concat ( repeatatleast ( <num> , 1 ) , concat ( const0 , concat ( <num> , concat ( <low> , repeat ( <let> , 2 ) ) ) ) ) )
concat ( repeat ( <let> , 2 ) , concat ( repeatatleast ( <num> , 1 ) , concat ( const0 , concat ( <num> , concat ( <low> , repeat ( <let> , 2 ) ) ) ) ) )
concat ( optional ( repeatrange ( const0 , 3 , 4 ) ) , concat ( repeat ( <num> , 2 ) , concat ( repeatrange ( <cap> , 1 , 2 ) , concat ( repeatrange ( <let> , 1 , 3 ) , or ( <3> , const1 ) ) ) ) )
concat ( optional ( repeatrange ( const0 , 3 , 4 ) ) , concat ( repeat ( <num> , 2 ) , concat ( repeatrange ( <cap> , 1 , 2 ) , concat ( repeatrange ( <let> , 1 , 3 ) , or ( const1 , const2 ) ) ) ) )
concat ( or ( const0 , <x> ) , concat ( or ( const1 , const2 ) , concat ( repeat ( const3 , 3 ) , concat ( or ( const4 , const5 ) , repeatrange ( notcc ( <cap> ) , 1 , 2 ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( or ( const2 , const3 ) , concat ( repeat ( const4 , 3 ) , concat ( or ( const5 , const6 ) , repeatrange ( notcc ( <cap> ) , 1 , 2 ) ) ) ) )
concat ( repeatatleast ( <cap> , 3 ) , concat ( optional ( concat ( repeat ( <low> , 2 ) , const0 ) ) , repeat ( <low> , 2 ) ) )
concat ( repeatatleast ( <cap> , 3 ) , concat ( optional ( concat ( repeat ( <low> , 2 ) , const0 ) ) , repeat ( <low> , 2 ) ) )
concat ( repeatatleast ( <cap> , 3 ) , concat ( optional ( concat ( repeat ( <low> , 2 ) , const0 ) ) , repeat ( <low> , 2 ) ) )
concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeatrange ( <let> , 2 , 3 ) , optional ( repeatrange ( <num> , 2 , 4 ) ) ) )
concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeatrange ( <let> , 2 , 3 ) , optional ( repeatrange ( <num> , 2 , 4 ) ) ) )
concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeatrange ( <let> , 2 , 3 ) , optional ( repeatrange ( <num> , 2 , 4 ) ) ) )
concat ( repeatrange ( <let> , 3 , 4 ) , concat ( repeatrange ( <low> , 1 , 2 ) , concat ( const0 , concat ( repeatrange ( const1 , 3 , 4 ) , concat ( const0 , repeatrange ( <let> , 2 , 3 ) ) ) ) ) )
concat ( repeatrange ( <let> , 3 , 4 ) , concat ( repeatrange ( <low> , 1 , 2 ) , concat ( const0 , concat ( repeatrange ( const1 , 3 , 4 ) , concat ( const0 , repeatrange ( <let> , 2 , 3 ) ) ) ) ) )
concat ( repeatrange ( <let> , 3 , 4 ) , concat ( repeatrange ( <low> , 1 , 2 ) , concat ( const0 , concat ( repeatrange ( const1 , 3 , 4 ) , concat ( const0 , repeatrange ( <let> , 2 , 3 ) ) ) ) ) )
concat ( repeat ( <num> , 4 ) , concat ( <j> , concat ( <7> , concat ( optional ( repeatrange ( <low> , 1 , 3 ) ) , repeatatleast ( <let> , 3 ) ) ) ) )
concat ( repeat ( <num> , 4 ) , concat ( const0 , concat ( const1 , concat ( optional ( repeatrange ( <low> , 1 , 3 ) ) , repeatatleast ( <let> , 3 ) ) ) ) )
concat ( repeat ( <num> , 4 ) , concat ( const0 , concat ( const1 , concat ( optional ( repeatrange ( <low> , 1 , 3 ) ) , repeatatleast ( <let> , 3 ) ) ) ) )
concat ( repeatrange ( <cap> , 3 , 4 ) , concat ( repeatrange ( notcc ( <cap> ) , 3 , 4 ) , concat ( repeatatleast ( <cap> , 2 ) , repeat ( <let> , 3 ) ) ) )
concat ( repeatrange ( <cap> , 3 , 4 ) , concat ( repeatrange ( notcc ( <cap> ) , 3 , 4 ) , concat ( repeatatleast ( <cap> , 2 ) , repeat ( <let> , 3 ) ) ) )
concat ( repeatrange ( <cap> , 3 , 4 ) , concat ( repeatrange ( notcc ( <cap> ) , 3 , 4 ) , concat ( repeatatleast ( <cap> , 2 ) , repeat ( <let> , 3 ) ) ) )
concat ( <num> , repeatatleast ( <low> , 1 ) )
concat ( <num> , repeatatleast ( <low> , 1 ) )
concat ( <num> , repeatatleast ( <low> , 1 ) )
concat ( repeatrange ( <num> , 1 , 3 ) , concat ( repeatatleast ( <low> , 3 ) , concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeat ( notcc ( <let> ) , 4 ) , or ( const0 , const1 ) ) ) ) )
concat ( repeatrange ( <num> , 1 , 3 ) , concat ( repeatatleast ( <low> , 3 ) , concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeat ( notcc ( <let> ) , 4 ) , or ( const0 , const1 ) ) ) ) )
concat ( repeatrange ( <num> , 1 , 3 ) , concat ( repeatatleast ( <low> , 3 ) , concat ( repeatrange ( <num> , 2 , 4 ) , concat ( repeat ( notcc ( <let> ) , 4 ) , or ( const0 , const1 ) ) ) ) )
concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 2 , 4 ) , concat ( repeatrange ( <let> , 2 , 4 ) , repeatrange ( const2 , 2 , 4 ) ) ) )
concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 2 , 4 ) , concat ( repeatrange ( <let> , 2 , 4 ) , repeatrange ( const2 , 2 , 4 ) ) ) )
concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 2 , 4 ) , concat ( repeatrange ( <let> , 2 , 4 ) , repeatrange ( const2 , 2 , 4 ) ) ) )
concat ( repeatrange ( <let> , 2 , 3 ) , concat ( repeatrange ( <low> , 1 , 3 ) , concat ( notcc ( <cap> ) , concat ( or ( repeatrange ( <num> , 1 , 4 ) , repeatrange ( <cap> , 1 , 4 ) ) , repeatrange ( const0 , 1 , 4 ) ) ) ) )
concat ( repeatrange ( <let> , 2 , 3 ) , concat ( repeatrange ( <low> , 1 , 3 ) , concat ( notcc ( <cap> ) , concat ( or ( repeatrange ( <num> , 1 , 4 ) , repeatrange ( <cap> , 1 , 4 ) ) , repeatrange ( const0 , 1 , 4 ) ) ) ) )
concat ( repeatrange ( <let> , 2 , 3 ) , concat ( repeatrange ( <low> , 1 , 3 ) , concat ( notcc ( <cap> ) , concat ( or ( repeatrange ( <num> , 1 , 4 ) , repeatrange ( <cap> , 1 , 4 ) ) , repeatrange ( const0 , 1 , 4 ) ) ) ) )
concat ( optional ( or ( const0 , const1 ) ) , concat ( repeatatleast ( <cap> , 2 ) , concat ( repeat ( <num> , 4 ) , concat ( repeatrange ( notcc ( <cap> ) , 3 , 4 ) , concat ( repeatrange ( <low> , 2 , 4 ) , repeatrange ( <let> , 3 , 4 ) ) ) ) ) )
concat ( optional ( or ( const0 , const1 ) ) , concat ( repeatatleast ( <cap> , 2 ) , concat ( repeat ( <num> , 4 ) , concat ( repeatrange ( notcc ( <cap> ) , 3 , 4 ) , concat ( repeatrange ( <low> , 2 , 4 ) , repeatrange ( <let> , 3 , 4 ) ) ) ) ) )
concat ( optional ( or ( const0 , const1 ) ) , concat ( repeatatleast ( <cap> , 2 ) , concat ( repeat ( <num> , 4 ) , concat ( repeatrange ( notcc ( <cap> ) , 3 , 4 ) , concat ( repeatrange ( <low> , 2 , 4 ) , repeatrange ( <let> , 3 , 4 ) ) ) ) ) )
concat ( or ( const0 , const1 ) , repeatatleast ( <cap> , 3 ) )
concat ( or ( const0 , const1 ) , repeatatleast ( <cap> , 3 ) )
concat ( or ( const0 , const1 ) , repeatatleast ( <cap> , 3 ) )
concat ( repeatatleast ( const0 , 1 ) , concat ( repeatatleast ( <cap> , 1 ) , concat ( const1 , concat ( repeatatleast ( <num> , 3 ) , concat ( repeatatleast ( <cap> , 1 ) , const1 ) ) ) ) )
concat ( repeatatleast ( const0 , 1 ) , concat ( repeatatleast ( <cap> , 1 ) , concat ( const1 , concat ( repeatatleast ( <num> , 3 ) , concat ( repeatatleast ( <cap> , 1 ) , const1 ) ) ) ) )
concat ( repeatatleast ( const0 , 1 ) , concat ( repeatatleast ( <cap> , 1 ) , concat ( const1 , concat ( repeatatleast ( <num> , 3 ) , concat ( repeatatleast ( <cap> , 1 ) , const1 ) ) ) ) )
concat ( concat ( repeatrange ( const0 , 1 , 2 ) , repeat ( const1 , 2 ) ) , concat ( <,> , concat ( concat ( repeatrange ( const0 , 1 , 2 ) , repeat ( const1 , 2 ) ) , concat ( <,> , repeatrange ( <cap> , 1 , 4 ) ) ) ) )
concat ( concat ( repeatrange ( const0 , 1 , 2 ) , repeat ( const1 , 2 ) ) , concat ( <,> , concat ( concat ( repeatrange ( const0 , 1 , 2 ) , repeat ( const1 , 2 ) ) , concat ( <,> , repeatrange ( <cap> , 1 , 4 ) ) ) ) )
concat ( concat ( repeatrange ( const0 , 1 , 2 ) , repeat ( const1 , 2 ) ) , concat ( <,> , concat ( concat ( repeatrange ( const0 , 1 , 2 ) , repeat ( const1 , 2 ) ) , concat ( <,> , repeatrange ( <cap> , 1 , 4 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , or ( <low> , const0 ) ) , 1 ) , repeatrange ( <any> , 1 , 4 ) ) , star ( concat ( <.> , and ( repeatatleast ( or ( <num> , or ( <low> , const0 ) ) , 1 ) , repeatrange ( <any> , 1 , 4 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , or ( <low> , const0 ) ) , 1 ) , repeatrange ( <any> , 1 , 4 ) ) , star ( concat ( <.> , and ( repeatatleast ( or ( <num> , or ( <low> , const0 ) ) , 1 ) , repeatrange ( <any> , 1 , 4 ) ) ) ) )
concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 1 , 3 ) , const3 ) ) , concat ( <.> , concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 1 , 3 ) , const3 ) ) , concat ( <.> , repeatrange ( const2 , 1 , 3 ) ) ) ) )
concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 1 , 3 ) , const3 ) ) , concat ( <.> , concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 1 , 3 ) , const3 ) ) , concat ( <.> , repeatrange ( const2 , 1 , 3 ) ) ) ) )
concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 1 , 3 ) , <s> ) ) , concat ( <.> , concat ( concat ( or ( const0 , const1 ) , concat ( repeatrange ( const2 , 1 , 3 ) , <s> ) ) , concat ( <.> , repeatrange ( const2 , 1 , 3 ) ) ) ) )
concat ( <-> , concat ( <.> , concat ( repeatatleast ( or ( <num> , const0 ) , 1 ) , concat ( <.> , repeatrange ( <let> , 1 , 4 ) ) ) ) )
concat ( <-> , concat ( <.> , concat ( repeatatleast ( or ( <num> , const0 ) , 1 ) , concat ( <.> , repeatrange ( <let> , 1 , 4 ) ) ) ) )
concat ( <-> , concat ( <.> , concat ( repeatatleast ( or ( <num> , const0 ) , 1 ) , concat ( <.> , repeatrange ( <let> , 1 , 4 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , star ( concat ( <,> , and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) , star ( concat ( <,> , and ( repeatatleast ( or ( <cap> , or ( <low> , <num> ) ) , 1 ) , repeatrange ( <any> , 3 , 5 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , concat ( and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) , concat ( <-> , and ( repeatatleast ( or ( <let> , <num> ) , 1 ) , repeatatleast ( <any> , 2 ) ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , const0 ) , 1 ) , not ( endwith ( repeat ( <num> , 2 ) ) ) ) , concat ( <.> , concat ( repeatrange ( <low> , 1 , 3 ) , concat ( <.> , repeatrange ( <low> , 1 , 3 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , const0 ) , 1 ) , not ( endwith ( repeat ( <num> , 2 ) ) ) ) , concat ( <.> , concat ( repeatrange ( <low> , 1 , 3 ) , concat ( <.> , repeatrange ( <low> , 1 , 3 ) ) ) ) )
concat ( and ( repeatatleast ( or ( <num> , const0 ) , 1 ) , not ( endwith ( repeat ( <num> , 2 ) ) ) ) , concat ( <.> , concat ( repeatrange ( <low> , 1 , 3 ) , concat ( <.> , repeatrange ( <low> , 1 , 3 ) ) ) ) )
and ( and ( endwith ( <let> ) , not ( endwith ( const0 ) ) ) , startwith ( <num> ) )
and ( and ( endwith ( <let> ) , not ( endwith ( const0 ) ) ) , startwith ( <num> ) )
and ( and ( endwith ( <let> ) , not ( endwith ( const0 ) ) ) , startwith ( <num> ) )
repeatatleast ( or ( <spec> , <let> ) , 1 )
repeatatleast ( or ( <spec> , <let> ) , 1 )
repeatatleast ( or ( <spec> , <let> ) , 1 )
and ( repeatatleast ( <let> , 1 ) , contain ( const0 ) )
and ( repeatatleast ( <let> , 1 ) , contain ( <a> ) )
and ( repeatatleast ( <let> , 1 ) , contain ( const0 ) )
and ( repeatatleast ( or ( <low> , or ( <num> , or ( <spec> , <cap> ) ) ) , 1 ) , not ( endwith ( <cap> ) ) )
and ( repeatatleast ( or ( <low> , or ( <num> , or ( <spec> , <cap> ) ) ) , 1 ) , not ( endwith ( <cap> ) ) )
and ( repeatatleast ( or ( <low> , or ( <num> , or ( <spec> , <cap> ) ) ) , 1 ) , not ( endwith ( <cap> ) ) )
and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( not ( contain ( const0 ) ) , and ( not ( endwith ( <low> ) ) , not ( contain ( repeat ( <cap> , 3 ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( not ( contain ( const0 ) ) , and ( not ( endwith ( <low> ) ) , not ( contain ( repeat ( <cap> , 3 ) ) ) ) ) )
and ( repeatatleast ( or ( <cap> , <low> ) , 1 ) , and ( not ( contain ( const0 ) ) , and ( not ( endwith ( <low> ) ) , not ( contain ( repeat ( <cap> , 3 ) ) ) ) ) )
and ( repeatatleast ( <cap> , 1 ) , and ( contain ( const0 ) , and ( startwith ( const1 ) , contain ( const2 ) ) ) )
and ( repeatatleast ( <cap> , 1 ) , and ( contain ( const0 ) , and ( startwith ( const1 ) , contain ( const2 ) ) ) )
and ( repeatatleast ( <cap> , 1 ) , and ( contain ( const0 ) , and ( startwith ( const1 ) , contain ( const2 ) ) ) )
and ( repeatatleast ( <low> , 1 ) , and ( not ( contain ( const0 ) ) , endwith ( const1 ) ) )
and ( repeatatleast ( <low> , 1 ) , and ( not ( contain ( const0 ) ) , endwith ( const1 ) ) )
and ( repeatatleast ( <low> , 1 ) , and ( not ( contain ( const0 ) ) , endwith ( const1 ) ) )
and ( not ( contain ( const0 ) ) , endwith ( <num> ) )
and ( not ( contain ( const0 ) ) , endwith ( <num> ) )
and ( not ( contain ( const0 ) ) , endwith ( <num> ) )
repeatatleast ( or ( <low> , or ( <spec> , or ( <cap> , const0 ) ) ) , 1 )
repeatatleast ( or ( <low> , or ( <spec> , or ( <cap> , const0 ) ) ) , 1 )
repeatatleast ( or ( <low> , or ( <spec> , or ( <cap> , const0 ) ) ) , 1 )
and ( repeatatleast ( <any> , 4 ) , and ( startwith ( <spec> ) , and ( contain ( or ( const0 , const1 ) ) , contain ( <let> ) ) ) )
and ( repeatatleast ( <any> , 4 ) , and ( startwith ( <spec> ) , and ( contain ( or ( const0 , const1 ) ) , contain ( <let> ) ) ) )
and ( repeatatleast ( or ( <spec> , <num> ) , 1 ) , and ( and ( startwith ( <num> ) , not ( startwith ( const0 ) ) ) , and ( contain ( or ( repeat ( <spec> , 3 ) , repeat ( <num> , 3 ) ) ) , contain ( <num> ) ) ) )
and ( repeatatleast ( or ( <spec> , <num> ) , 1 ) , and ( and ( startwith ( <num> ) , not ( startwith ( const0 ) ) ) , and ( contain ( or ( repeat ( <spec> , 3 ) , repeat ( <num> , 3 ) ) ) , contain ( <num> ) ) ) )
and ( repeatatleast ( or ( <spec> , <num> ) , 1 ) , and ( and ( startwith ( <num> ) , not ( startwith ( const0 ) ) ) , and ( contain ( or ( repeat ( <spec> , 3 ) , repeat ( <num> , 3 ) ) ) , contain ( <num> ) ) ) )
and ( repeatatleast ( or ( <num> , or ( <cap> , or ( <low> , <spec> ) ) ) , 1 ) , and ( repeatrange ( <any> , 0 , 9 ) , contain ( repeat ( <low> , 2 ) ) ) )
and ( repeatatleast ( or ( <num> , or ( <cap> , or ( <low> , <spec> ) ) ) , 1 ) , and ( repeatrange ( <any> , 0 , 9 ) , contain ( repeat ( <low> , 2 ) ) ) )
and ( repeatatleast ( or ( <num> , or ( <cap> , or ( <low> , <spec> ) ) ) , 1 ) , and ( repeatrange ( <any> , 0 , 9 ) , contain ( repeat ( <low> , 2 ) ) ) )
and ( repeatatleast ( <low> , 1 ) , and ( not ( contain ( const ( <dh> ) ) ) , and ( endwith ( const0 ) , and ( not ( contain ( const ( <mq> ) ) ) , contain ( const ( <nu> ) ) ) ) ) )
and ( repeatatleast ( <low> , 1 ) , and ( not ( contain ( const0 ) ) , and ( endwith ( const1 ) , and ( not ( contain ( const2 ) ) , contain ( const3 ) ) ) ) )
and ( repeatatleast ( <low> , 1 ) , and ( not ( contain ( const0 ) ) , and ( endwith ( <l> ) , and ( not ( contain ( const1 ) ) , contain ( const2 ) ) ) ) )
and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) )
and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) )
and ( repeatatleast ( <low> , 1 ) , not ( startwith ( const0 ) ) )
and ( repeatatleast ( or ( <low> , or ( <num> , <cap> ) ) , 1 ) , repeatrange ( <any> , 0 , 8 ) )
and ( repeatatleast ( or ( <low> , or ( <num> , <cap> ) ) , 1 ) , repeatrange ( <any> , 0 , 8 ) )
and ( repeatatleast ( or ( <low> , or ( <num> , <cap> ) ) , 1 ) , repeatrange ( <any> , 0 , 8 ) )
and ( repeatatleast ( <any> , 4 ) , and ( contain ( <cap> ) , and ( contain ( <=> ) , not ( startwith ( <low> ) ) ) ) )
and ( repeatatleast ( <any> , 4 ) , and ( contain ( <cap> ) , and ( contain ( const0 ) , not ( startwith ( <low> ) ) ) ) )
and ( repeatatleast ( <any> , 4 ) , and ( contain ( <cap> ) , and ( contain ( const0 ) , not ( startwith ( <low> ) ) ) ) )