benchmarks_game/binary_trees.fz
[31m#[0m[31m [0m[31mh[0m[31mt[0m[31mt[0m[31mp[0m[31ms[0m[31m:[0m[31m/[0m[31m/[0m[31mb[0m[31me[0m[31mn[0m[31mc[0m[31mh[0m[31mm[0m[31ma[0m[31mr[0m[31mk[0m[31ms[0m[31mg[0m[31ma[0m[31mm[0m[31me[0m[31m-[0m[31mt[0m[31me[0m[31ma[0m[31mm[0m[31m.[0m[31mp[0m[31ma[0m[31mg[0m[31me[0m[31ms[0m[31m.[0m[31md[0m[31me[0m[31mb[0m[31mi[0m[31ma[0m[31mn[0m[31m.[0m[31mn[0m[31me[0m[31mt[0m[31m/[0m[31mb[0m[31me[0m[31mn[0m[31mc[0m[31mh[0m[31mm[0m[31ma[0m[31mr[0m[31mk[0m[31ms[0m[31mg[0m[31ma[0m[31mm[0m[31me[0m[31m/[0m[31md[0m[31me[0m[31ms[0m[31mc[0m[31mr[0m[31mi[0m[31mp[0m[31mt[0m[31mi[0m[31mo[0m[31mn[0m[31m/[0m[31mb[0m[31mi[0m[31mn[0m[31ma[0m[31mr[0m[31my[0m[31mt[0m[31mr[0m[31me[0m[31me[0m[31ms[0m[31m.[0m[31mh[0m[31mt[0m[31mm[0m[31ml[0m[31m#[0m[31mb[0m[31mi[0m[31mn[0m[31ma[0m[31mr[0m[31my[0m[31mt[0m[31mr[0m[31me[0m[31me[0m[31ms[0m[31m
[0m[31m#[0m[31m [0m[31mb[0m[31ma[0m[31ms[0m[31me[0m[31md[0m[31m [0m[31mo[0m[31mn[0m[31m [0m[31mt[0m[31mh[0m[31me[0m[31m [0m[31mc[0m[31m [0m[31mp[0m[31mr[0m[31mo[0m[31mg[0m[31mr[0m[31ma[0m[31mm[0m[31m [0m[31mb[0m[31my[0m[31m [0m[31mJ[0m[31me[0m[31mr[0m[31me[0m[31mm[0m[31my[0m[31m [0m[31mZ[0m[31me[0m[31mr[0m[31mf[0m[31ma[0m[31ms[0m[31m
[0m[34mb[0m[34mi[0m[34mn[0m[34ma[0m[34mr[0m[34my[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m[34ms[0m [1;35mi[0m[1;35ms[0m
[34mN[0m[34mo[0m[34md[0m[34me[0m([34ml[0m[34me[0m[34mf[0m[34mt[0m [34mN[0m[34mo[0m[34md[0m[34me[0m[0;90m|[0m[34mu[0m[34mn[0m[34mi[0m[34mt[0m, [34mr[0m[34mi[0m[34mg[0m[34mh[0m[34mt[0m [34mN[0m[34mo[0m[34md[0m[34me[0m[0;90m|[0m[34mu[0m[34mn[0m[34mi[0m[34mt[0m) [1;35mr[0m[1;35me[0m[1;35mf[0m [1;35mi[0m[1;35ms[0m
[34mc[0m[34mr[0m[34me[0m[34ma[0m[34mt[0m[34me[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m([34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [34mi[0m[34m3[0m[34m2[0m) [34mN[0m[34mo[0m[34md[0m[34me[0m [1;35mi[0m[1;35ms[0m
[1;35mi[0m[1;35mf[0m([34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m>[0m [0;90m0[0m) [1;35mt[0m[1;35mh[0m[1;35me[0m[1;35mn[0m
[34mN[0m[34mo[0m[34md[0m[34me[0m [34mc[0m[34mr[0m[34me[0m[34ma[0m[34mt[0m[34me[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m([34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m-[0m [0;90m1[0m) [34mc[0m[34mr[0m[34me[0m[34ma[0m[34mt[0m[34me[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m( [34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m-[0m [0;90m1[0m)
[1;35me[0m[1;35ml[0m[1;35ms[0m[1;35me[0m
[34mN[0m[34mo[0m[34md[0m[34me[0m [34mN[0m[34mo[0m[34md[0m[34me[0m([34mu[0m[34mn[0m[34mi[0m[34mt[0m, [34mu[0m[34mn[0m[34mi[0m[34mt[0m) [34mu[0m[34mn[0m[34mi[0m[34mt[0m
[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m([34mn[0m [34mN[0m[34mo[0m[34md[0m[34me[0m) [34mi[0m[34m3[0m[34m2[0m [1;35mi[0m[1;35ms[0m
[1;35mm[0m[1;35ma[0m[1;35mt[0m[1;35mc[0m[1;35mh[0m [34mn[0m[0;90m.[0m[34ml[0m[34me[0m[34mf[0m[34mt[0m
[34mu[0m[34mn[0m[34mi[0m[34mt[0m [0;90m=[0m[0;90m>[0m [0;90m1[0m
[34ml[0m [34mN[0m[34mo[0m[34md[0m[34me[0m [0;90m=[0m[0;90m>[0m
[1;35mm[0m[1;35ma[0m[1;35mt[0m[1;35mc[0m[1;35mh[0m [34mn[0m[0;90m.[0m[34mr[0m[34mi[0m[34mg[0m[34mh[0m[34mt[0m
[34mu[0m[34mn[0m[34mi[0m[34mt[0m [0;90m=[0m[0;90m>[0m [0;90m1[0m
[34mr[0m [34mN[0m[34mo[0m[34md[0m[34me[0m [0;90m=[0m[0;90m>[0m ([34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m([34ml[0m) [0;90m+[0m [34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m([34mr[0m) [0;90m+[0m [0;90m1[0m)
[34mm[0m[34mi[0m[34mn[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m:[0m[0;90m=[0m [0;90m4[0m
[34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m:[0m[0;90m=[0m [0;90m2[0m[0;90m1[0m
[34ms[0m[34mt[0m[34mr[0m[34me[0m[34mt[0m[34mc[0m[34mh[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m [0;90m:[0m[0;90m=[0m [34mc[0m[34mr[0m[34me[0m[34ma[0m[34mt[0m[34me[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m([34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m[0;90m+[0m[0;90m1[0m)
[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m [0;90m:[0m[0;90m=[0m [34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m([34ms[0m[34mt[0m[34mr[0m[34me[0m[34mt[0m[34mc[0m[34mh[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m)
[34ms[0m[34ma[0m[34my[0m [33m"[0m[33ms[0m[33mt[0m[33mr[0m[33me[0m[33mt[0m[33mc[0m[33mh[0m[33m [0m[33mt[0m[33mr[0m[33me[0m[33me[0m[33m [0m[33mo[0m[33mf[0m[33m [0m[33md[0m[33me[0m[33mp[0m[33mt[0m[33mh[0m[33m [0m[33m{[0m[34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m[0;90m+[0m[0;90m1[0m[33m}[0m[33m\[0m[33mt[0m[33m [0m[33mc[0m[33mh[0m[33me[0m[33mc[0m[33mk[0m[33m:[0m[33m [0m[33m$[0m[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m[33m"[0m
[34ml[0m[34mo[0m[34mn[0m[34mg[0m[34m_[0m[34ml[0m[34mi[0m[34mv[0m[34me[0m[34md[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m [0;90m:[0m[0;90m=[0m [34mc[0m[34mr[0m[34me[0m[34ma[0m[34mt[0m[34me[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m([34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m)
[1;35mf[0m[1;35mo[0m[1;35mr[0m [34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [1;35mi[0m[1;35mn[0m ([34mm[0m[34mi[0m[34mn[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m[0;90m.[0m[0;90m.[0m[34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m)[0;90m.[0m[34mf[0m[34mi[0m[34ml[0m[34mt[0m[34me[0m[34mr[0m([34mx[0m [0;90m-[0m[0;90m>[0m [34mx[0m [0;90m%[0m [0;90m2[0m [0;90m=[0m [0;90m0[0m) [1;35md[0m[1;35mo[0m
[34mi[0m[34mt[0m[34me[0m[34mr[0m[34ma[0m[34mt[0m[34mi[0m[34mo[0m[34mn[0m[34ms[0m [0;90m:[0m[0;90m=[0m ([34mu[0m[34m6[0m[34m4[0m [0;90m1[0m) [0;90m<[0m[0;90m<[0m ([34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m-[0m [34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m [0;90m+[0m [34mm[0m[34mi[0m[34mn[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m)[0;90m.[0m[34ma[0m[34ms[0m[34m_[0m[34mu[0m[34m6[0m[34m4[0m
[34mt[0m[34mo[0m[34mt[0m[34ma[0m[34ml[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m[34ms[0m[34m_[0m[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m [0;90m:[0m[0;90m=[0m [34mm[0m[34mu[0m[34mt[0m [0;90m0[0m
[1;35mf[0m[1;35mo[0m[1;35mr[0m [34m_[0m [1;35mi[0m[1;35mn[0m (([34mu[0m[34m6[0m[34m4[0m [0;90m1[0m)[0;90m.[0m[0;90m.[0m[34mi[0m[34mt[0m[34me[0m[34mr[0m[34ma[0m[34mt[0m[34mi[0m[34mo[0m[34mn[0m[34ms[0m) [1;35md[0m[1;35mo[0m
[34mt[0m[34mr[0m[34me[0m[34me[0m [0;90m:[0m[0;90m=[0m [34mc[0m[34mr[0m[34me[0m[34ma[0m[34mt[0m[34me[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m([34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m)
[34mt[0m[34mo[0m[34mt[0m[34ma[0m[34ml[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m[34ms[0m[34m_[0m[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m [0;90m<[0m[0;90m-[0m [34mt[0m[34mo[0m[34mt[0m[34ma[0m[34ml[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m[34ms[0m[34m_[0m[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m[0;90m.[0m[34mg[0m[34me[0m[34mt[0m [0;90m+[0m [34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m([34mt[0m[34mr[0m[34me[0m[34me[0m)
[34ms[0m[34ma[0m[34my[0m [33m"[0m[33m$[0m[34mi[0m[34mt[0m[34me[0m[34mr[0m[34ma[0m[34mt[0m[34mi[0m[34mo[0m[34mn[0m[34ms[0m[33m\[0m[33mt[0m[33m [0m[33mt[0m[33mr[0m[33me[0m[33me[0m[33ms[0m[33m [0m[33mo[0m[33mf[0m[33m [0m[33md[0m[33me[0m[33mp[0m[33mt[0m[33mh[0m[33m [0m[33m{[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m[33m}[0m[33m\[0m[33mt[0m[33m [0m[33mc[0m[33mh[0m[33me[0m[33mc[0m[33mk[0m[33m:[0m[33m [0m[33m{[0m[34mt[0m[34mo[0m[34mt[0m[34ma[0m[34ml[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m[34ms[0m[34m_[0m[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m[0;90m.[0m[34mg[0m[34me[0m[34mt[0m[33m}[0m[33m"[0m
[34ms[0m[34ma[0m[34my[0m [33m"[0m[33ml[0m[33mo[0m[33mn[0m[33mg[0m[33m [0m[33ml[0m[33mi[0m[33mv[0m[33me[0m[33md[0m[33m [0m[33mt[0m[33mr[0m[33me[0m[33me[0m[33m [0m[33mo[0m[33mf[0m[33m [0m[33md[0m[33me[0m[33mp[0m[33mt[0m[33mh[0m[33m [0m[33m$[0m[34mm[0m[34ma[0m[34mx[0m[34m_[0m[34md[0m[34me[0m[34mp[0m[34mt[0m[34mh[0m[33m\[0m[33mt[0m[33m [0m[33mc[0m[33mh[0m[33me[0m[33mc[0m[33mk[0m[33m:[0m[33m [0m[33m{[0m[34mc[0m[34mh[0m[34me[0m[34mc[0m[34mk[0m[34ms[0m[34mu[0m[34mm[0m([34ml[0m[34mo[0m[34mn[0m[34mg[0m[34m_[0m[34ml[0m[34mi[0m[34mv[0m[34me[0m[34md[0m[34m_[0m[34mt[0m[34mr[0m[34me[0m[34me[0m)[33m}[0m[33m"[0m