Marked_sum-avgMarked_+++Marked_quot:lengthMarked_-0Marked_hdsumhdMarked_++sMarked_avgnilquotMarked_length+ysxszyx+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_+(s(x),y)Marked_+(x,y)Marked_++(:(x,xs),ys)Marked_++(xs,ys)Marked_sum(:(x,:(y,xs)))Marked_sum(:(+(x,y),xs))Marked_sum(:(x,:(y,xs)))Marked_+(x,y)Marked_sum(++(xs,:(x,:(y,ys))))Marked_sum(++(xs,sum(:(x,:(y,ys)))))Marked_sum(++(xs,:(x,:(y,ys))))Marked_++(xs,sum(:(x,:(y,ys))))Marked_sum(++(xs,:(x,:(y,ys))))Marked_sum(:(x,:(y,ys)))Marked_-(s(x),s(y))Marked_-(x,y)Marked_quot(s(x),s(y))Marked_quot(-(x,y),s(y))Marked_quot(s(x),s(y))Marked_-(x,y)Marked_length(:(x,xs))Marked_length(xs)Marked_avg(xs)Marked_quot(hd(sum(xs)),length(xs))Marked_avg(xs)Marked_hd(sum(xs))Marked_avg(xs)Marked_sum(xs)Marked_avg(xs)Marked_length(xs)+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_quot(s(x),s(y))Marked_quot(-(x,y),s(y))+110quot10nil0s110hd10sum1000length20:1110Marked_quot10++110avg130-10+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_-(s(x),s(y))Marked_-(x,y)+110quot10nil0s110hd10sum1000Marked_-10length20:2110++220avg130-10+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_sum(++(xs,:(x,:(y,ys))))Marked_sum(++(xs,sum(:(x,:(y,ys)))))+000000000000000000100010001000000000quot000000000000000000000000000000000000nil001000000000000000s000000000100010001000000000hd000000000011100000000000000sum0000000001110000000000000000000000000000000000length000000000000000000000000000:010000000111111111010000101000000000++000000000100010001110010111000000000avg111011111000000000000000000-000000000100010001000000000000000000Marked_sum000000000000100000000000000+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_++(:(x,xs),ys)Marked_++(xs,ys)+10quot0nil0s10Marked_++30hd20sum1000length110:1110++110avg110-20+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_sum(:(x,:(y,xs)))Marked_sum(:(+(x,y),xs))+10quot0nil0s10hd10sum1000length0:2110++210avg110-20Marked_sum20+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_+(s(x),y)Marked_+(x,y)+110quot20nil0s210hd10sum1000length220:2110++220Marked_+30avg130-10+(0,y)y+(s(x),y)s(+(x,y))++(nil,ys)ys++(:(x,xs),ys):(x,++(xs,ys))sum(:(x,nil)):(x,nil)sum(:(x,:(y,xs)))sum(:(+(x,y),xs))sum(++(xs,:(x,:(y,ys))))sum(++(xs,sum(:(x,:(y,ys)))))-(x,0)x-(0,s(y))0-(s(x),s(y))-(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(-(x,y),s(y)))length(nil)0length(:(x,xs))s(length(xs))hd(:(x,xs))xavg(xs)quot(hd(sum(xs)),length(xs))Marked_length(:(x,xs))Marked_length(xs)+10Marked_length30quot0nil0s10hd10sum1000length0:2110++210avg110-10