sort_presorted.fz
[34ms[0m[34mo[0m[34mr[0m[34mt[0m[34m_[0m[34mp[0m[34mr[0m[34me[0m[34ms[0m[34mo[0m[34mr[0m[34mt[0m[34me[0m[34md[0m [34ms[0m[34mo[0m[34mr[0m[34mt[0m[34me[0m[34md[0m[34mA[0m[34mr[0m[34mr[0m[34ma[0m[34my[0m [34mi[0m[34m3[0m[34m2[0m [1;35mp[0m[1;35mo[0m[1;35ms[0m[1;35mt[0m [34mr[0m[34me[0m[34ms[0m[34mu[0m[34ml[0m[34mt[0m[[0;90m0[0m] [0;90m=[0m [0;90m0[0m, [34mr[0m[34me[0m[34ms[0m[34mu[0m[34ml[0m[34mt[0m[[0;90m1[0m] [0;90m=[0m [0;90m1[0m, [34mr[0m[34me[0m[34ms[0m[34mu[0m[34ml[0m[34mt[0m[[0;90m9[0m[0;90m9[0m[0;90m9[0m[0;90m9[0m] [0;90m=[0m [0;90m9[0m[0;90m9[0m[0;90m9[0m[0;90m9[0m [1;35mi[0m[1;35ms[0m [34ma[0m[34mr[0m[34mr[0m [0;90m:[0m[0;90m=[0m [34ma[0m[34mr[0m[34mr[0m[34ma[0m[34my[0m [34mi[0m[34m3[0m[34m2[0m [0;90m1[0m[0;90m0[0m[0;90m0[0m[0;90m0[0m[0;90m0[0m (([34mi[0m) [0;90m-[0m[0;90m>[0m [34mi[0m) [34mr[0m[34me[0m[34ms[0m [0;90m:[0m[0;90m=[0m [34ma[0m[34mr[0m[34mr[0m[0;90m.[0m[34ms[0m[34mo[0m[34mr[0m[34mt[0m([1;35mf[0m[1;35mu[0m[1;35mn[0m ([34ma[0m,[34mb[0m [34mi[0m[34m3[0m[34m2[0m) [0;90m=[0m[0;90m>[0m [34ma[0m [0;90m<[0m[0;90m=[0m [34mb[0m) [34mr[0m[34me[0m[34ms[0m