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 [34mc[0m[34mo[0m[34mn[0m[34mt[0m[34ma[0m[34mi[0m[34mn[0m[34me[0m[34mr[0m[0;90m.[0m[34ms[0m[34mo[0m[34mr[0m[34mt[0m[34me[0m[34md[0m[34m_[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(([34ma[0m,[34mb[0m) [0;90m-[0m[0;90m>[0m [34ma[0m [0;90m<[0m[0;90m=[0m [34mb[0m)
[34mr[0m[34me[0m[34ms[0m
last changed: 2023-11-14
