ConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varxCase3Cons_sum3Cons_usual3Id0Left0Right0Sum_constant1Sum_term_var1Term_app2Term_inl1Term_inr1Term_pair2Term_var1Concat2Frozen4Sum_sub2Term_sub222.22Case311113Concat21111212Cons_sum313Cons_usual311213Frozen4111112114222231313424Id01Left00Right01Sum_constant10Sum_sub20Sum_term_var10Term_app211112Term_inl111Term_inr111Term_pair211112Term_sub21111212Term_var11ConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varxConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat21121212Cons_sum3113Cons_usual311213Frozen4111214221323424Id00Left00Right00Sum_constant10Sum_sub20Sum_term_var10Term_app211112Term_inl111Term_inr111Term_pair211112Term_sub21121212Term_var1111Term_subTerm_varxCons_sumxiksTerm_subTerm_varxsConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat21121212Cons_sum311113Cons_usual311213Frozen4111214121323424Id00Left00Right01Sum_constant11Sum_sub212Sum_term_var10Term_app211112Term_inl111Term_inr111Term_pair211112Term_sub21121212Term_var111Sum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat21111211112Cons_sum3113Cons_usual31111213Frozen4121112114111222313413324Id00Left00Right00Sum_constant10Sum_sub20Sum_term_var10Term_app211112Term_inl111Term_inr111Term_pair211112Term_sub22111211112Term_var10ConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat21111211112Cons_sum313Cons_usual31111213Frozen4321114111122313413324Id01Left00Right01Sum_constant10Sum_sub20Sum_term_var10Term_app211112Term_inl111Term_inr1111Term_pair211112Term_sub22111211112Term_var111FrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsTerm_subTerm_inrmsTerm_inrTerm_submsConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat21111211112Cons_sum313Cons_usual311213Frozen4331114111123313413324Id01Left01Right00Sum_constant10Sum_sub20Sum_term_var10Term_app211112Term_inl111Term_inr1111Term_pair211112Term_sub211111211112Term_var111Term_subTerm_submstTerm_submConcatstConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat21121211112Cons_sum3113Cons_usual311213Frozen4121213214111122323413324Id00Left00Right00Sum_constant10Sum_sub2112Sum_term_var10Term_app211112Term_inl1111Term_inr111Term_pair211112Term_sub21121211112Term_var11Sum_subxiCons_sumpsiksSum_constantkSum_subxiIdSum_term_varxiTerm_subTerm_inlmsTerm_inlTerm_submsConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varx2Case311113Concat212111212Cons_sum31113Cons_usual311213Frozen4321114222313424Id01Left01Right01Sum_constant10Sum_sub20Sum_term_var10Term_app211112Term_inl111Term_inr111Term_pair211112Term_sub212111212Term_var10ConcatConcatstuConcatsConcattuConcatConcatstuConcatsConcattuConcatCons_sumxikstCons_sumxikConcatstConcatCons_usualxmstCons_usualxTerm_submtConcatstConcatIdssFrozenmSum_constantLeftnsTerm_submsFrozenmSum_constantRightnsTerm_subnsFrozenmSum_term_varxinsCaseTerm_submsxiTerm_subnsSum_subxiCons_sumpsiksSum_constantkSum_subxiCons_sumpsiksSum_subxisSum_subxiCons_usualymsSum_subxisSum_subxiIdSum_term_varxiTerm_subCasemxinsFrozenmSum_subxisnsTerm_subTerm_appmnsTerm_appTerm_submsTerm_subnsTerm_subTerm_inlmsTerm_inlTerm_submsTerm_subTerm_inrmsTerm_inrTerm_submsTerm_subTerm_pairmnsTerm_pairTerm_submsTerm_subnsTerm_subTerm_submstTerm_submConcatstTerm_subTerm_varxCons_sumxiksTerm_subTerm_varxsTerm_subTerm_varxCons_usualymsmTerm_subTerm_varxCons_usualymsTerm_subTerm_varxsTerm_subTerm_varxIdTerm_varxTcT3.0.0