iftrueXYXiffalseUVVltsWsPltWPlt0sX1trueltY10falseeqU1U1trueeqsV10falseeq0sW1falsemergeP1nilP1mergenilX2X2mergeconsY2U2consV2W2ifltY2V2consY2mergeU2consV2W2ifeqY2V2consY2mergeU2W2consV2mergeconsY2U2W2mapJ2nilnilmapF3consY3U3consF3Y3mapF3U3mult0V30multsW3P3plusP3multW3P3plus0X40plussY4U4splusY4U4list1mapmultss0hamminglist2mapmultsss0hamminglist3mapmultsssss0hamminghammingconss0mergelist1mergelist2list3XcYcUcVcWbPbX1bY1bU1bV1bW1bP1cX2cY2bU2cV2bW2cJ2bbF3bbY3bU3cV3bW3bP3bX4bY4bU4b0bconsbcceqbbafalseahammingcifaccclist1clist2clist3cltbbamapbbccmergecccmultbbbnilcplusbbbsbbtrueaFULLbenchmarks/applicative/Applicative_05__Hamming.atrs