Lines Matching refs:Te
717 PocketCoins = [P,Tw,Fv,Te,Twe,Ff],
718 Min =:= P+Tw+Fv+Te+Twe+Ff,
743 {\em [P, Tw, Fv, Te, Twe, Ff]}
751 {\em [Min, P, Tw, Fv, Te, Twe, Ff]}.
757 {\em Min \verb0=0 P+Tw+Fv+Te+Twe+Ff}.
785 {\em Te1 \verb0<=0 Te},
808 PocketCoins=[P,Tw,Fv,Te,Twe,Ff],
810 Min $= P+Tw+Fv+Te+Twe+Ff,
856 PocketCoins=[P,Tw,Fv,Te,Twe,Ff],
858 Min #= P+Tw+Fv+Te+Twe+Ff,
882 $P=1, Tw=2, Fv=1, Te=1, Twe=2, Ff=1$.