@@ -1,10 +1,10 @@
1−[38;2;248;248;242mx [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m3[0m
1+[38;2;248;248;242mx[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m3[0m
22
3−[38;2;248;248;242my [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m[38;2;248;248;242mx[0m
3+[38;2;248;248;242my[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m[38;2;248;248;242mx[0m
44
55[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;248;248;242my[0m[38;2;248;248;242m)[0m
66
7−[38;2;248;248;242mf[0m[38;2;248;248;242m([0m[38;2;248;248;242mx[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114m+[0m[38;2;248;248;242m x[0m
7+[38;2;248;248;242mf[0m[38;2;248;248;242m([0m[38;2;248;248;242mx[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114m+[0m[38;2;248;248;242m [0m[38;2;248;248;242mx[0m
88
99
1010[38;2;248;248;242mf[0m
@@ -12,44 +12,44 @@
1212[38;2;248;248;242mf[0m[38;2;248;248;242m([0m[38;2;190;132;255m10[0m[38;2;248;248;242m)[0m
1313
1414
15−[38;2;249;38;114mfunction[0m[38;2;248;248;242m [0m[38;2;166;226;46mg[0m[38;2;248;248;242m([0m[38;2;248;248;242mx[0m[38;2;248;248;242m,[0m[38;2;248;248;242m y[0m[38;2;248;248;242m)[0m
16−[38;2;248;248;242m z [0m[38;2;249;38;114m=[0m[38;2;248;248;242m x [0m[38;2;249;38;114m+[0m[38;2;248;248;242m y[0m
17−[38;2;248;248;242m [0m[38;2;249;38;114mreturn[0m[38;2;248;248;242m z[0m[38;2;249;38;114m^[0m[38;2;190;132;255m2[0m
15+[38;2;249;38;114mfunction[0m[38;2;248;248;242m [0m[38;2;166;226;46mg[0m[38;2;248;248;242m([0m[38;2;248;248;242mx[0m[38;2;248;248;242m,[0m[38;2;248;248;242m [0m[38;2;248;248;242my[0m[38;2;248;248;242m)[0m
16+[38;2;248;248;242m [0m[38;2;248;248;242mz[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242mx[0m[38;2;248;248;242m [0m[38;2;249;38;114m+[0m[38;2;248;248;242m [0m[38;2;248;248;242my[0m
17+[38;2;248;248;242m [0m[38;2;249;38;114mreturn[0m[38;2;248;248;242m [0m[38;2;248;248;242mz[0m[38;2;249;38;114m^[0m[38;2;190;132;255m2[0m
1818[38;2;249;38;114mend[0m
1919
2020[38;2;248;248;242mg[0m[38;2;248;248;242m([0m[38;2;190;132;255m1[0m[38;2;248;248;242m, [0m[38;2;190;132;255m2[0m[38;2;248;248;242m)[0m
2121
22−[38;2;249;38;114mlet[0m[38;2;248;248;242m s [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m0[0m
23−[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m
24−[38;2;248;248;242m s [0m[38;2;249;38;114m+=[0m[38;2;248;248;242m i [0m[38;2;117;113;94m#[0m[38;2;117;113;94m Equivalent to s = s + i[0m
22+[38;2;249;38;114mlet[0m[38;2;248;248;242m [0m[38;2;248;248;242ms[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m0[0m
23+[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m [0m[38;2;248;248;242mi[0m[38;2;248;248;242m [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m
24+[38;2;248;248;242m [0m[38;2;248;248;242ms[0m[38;2;248;248;242m [0m[38;2;249;38;114m+=[0m[38;2;248;248;242m [0m[38;2;248;248;242mi[0m[38;2;248;248;242m [0m[38;2;117;113;94m#[0m[38;2;117;113;94m Equivalent to s = s + i[0m
2525[38;2;248;248;242m [0m[38;2;249;38;114mend[0m
26−[38;2;248;248;242m s[0m
26+[38;2;248;248;242m [0m[38;2;248;248;242ms[0m
2727[38;2;249;38;114mend[0m
2828
2929
3030[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m[38;2;248;248;242m)[0m
3131
3232[38;2;249;38;114mfunction[0m[38;2;248;248;242m [0m[38;2;166;226;46mmysum[0m[38;2;248;248;242m([0m[38;2;248;248;242mn[0m[38;2;248;248;242m)[0m
33−[38;2;248;248;242m s [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m0[0m
34−[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;248;248;242mn[0m
35−[38;2;248;248;242m s [0m[38;2;249;38;114m+=[0m[38;2;248;248;242m i[0m
33+[38;2;248;248;242m [0m[38;2;248;248;242ms[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m0[0m
34+[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m [0m[38;2;248;248;242mi[0m[38;2;248;248;242m [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;248;248;242mn[0m
35+[38;2;248;248;242m [0m[38;2;248;248;242ms[0m[38;2;248;248;242m [0m[38;2;249;38;114m+=[0m[38;2;248;248;242m [0m[38;2;248;248;242mi[0m
3636[38;2;248;248;242m [0m[38;2;249;38;114mend[0m
37−[38;2;248;248;242m [0m[38;2;249;38;114mreturn[0m[38;2;248;248;242m s[0m
37+[38;2;248;248;242m [0m[38;2;249;38;114mreturn[0m[38;2;248;248;242m [0m[38;2;248;248;242ms[0m
3838[38;2;249;38;114mend[0m
3939
4040[38;2;248;248;242mmysum[0m[38;2;248;248;242m([0m[38;2;190;132;255m100[0m[38;2;248;248;242m)[0m
4141
42−[38;2;248;248;242ma [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m3[0m
42+[38;2;248;248;242ma[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m3[0m
4343
44−[38;2;248;248;242ma [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m5[0m
44+[38;2;248;248;242ma[0m[38;2;248;248;242m [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m5[0m
4545
46−[38;2;249;38;114mif[0m[38;2;248;248;242m a [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m5[0m
46+[38;2;249;38;114mif[0m[38;2;248;248;242m [0m[38;2;248;248;242ma[0m[38;2;248;248;242m [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m5[0m
4747[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116msmall[0m[38;2;230;219;116m"[0m
4848[38;2;249;38;114melse[0m
4949[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mbig[0m[38;2;230;219;116m"[0m
5050[38;2;249;38;114mend[0m
5151
52−[38;2;248;248;242mv [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;190;132;255m1[0m[38;2;248;248;242m, [0m[38;2;190;132;255m2[0m[38;2;248;248;242m, [0m[38;2;190;132;255m3[0m[38;2;248;248;242m][0m
52+[38;2;248;248;242mv[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;190;132;255m1[0m[38;2;248;248;242m, [0m[38;2;190;132;255m2[0m[38;2;248;248;242m, [0m[38;2;190;132;255m3[0m[38;2;248;248;242m][0m
5353
5454[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;248;248;242mv[0m[38;2;248;248;242m)[0m
5555
@@ -57,15 +57,15 @@
5757
5858[38;2;248;248;242mv[0m[38;2;248;248;242m[[0m[38;2;190;132;255m2[0m[38;2;248;248;242m][0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m10[0m
5959
60−[38;2;248;248;242mv[0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;248;248;242mi[0m[38;2;249;38;114m^[0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m[38;2;248;248;242m][0m
60+[38;2;248;248;242mv2[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;248;248;242mi[0m[38;2;249;38;114m^[0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m [0m[38;2;248;248;242mi[0m[38;2;248;248;242m [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m[38;2;248;248;242m][0m
6161
62−[38;2;248;248;242mM [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;190;132;255m1[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m
62+[38;2;248;248;242mM[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;190;132;255m1[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m
6363[38;2;248;248;242m [0m[38;2;190;132;255m3[0m[38;2;248;248;242m [0m[38;2;190;132;255m4[0m[38;2;248;248;242m][0m
6464
6565[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;248;248;242mM[0m[38;2;248;248;242m)[0m
6666
6767[38;2;248;248;242mzeros[0m[38;2;248;248;242m([0m[38;2;190;132;255m5[0m[38;2;248;248;242m, [0m[38;2;190;132;255m5[0m[38;2;248;248;242m)[0m
6868
69−[38;2;248;248;242mzeros[0m[38;2;248;248;242m([0m[38;2;248;248;242mInt, [0m[38;2;190;132;255m4[0m[38;2;248;248;242m, [0m[38;2;190;132;255m5[0m[38;2;248;248;242m)[0m
69+[38;2;248;248;242mzeros[0m[38;2;248;248;242m([0m[3;38;2;166;226;46mInt[0m[38;2;248;248;242m, [0m[38;2;190;132;255m4[0m[38;2;248;248;242m, [0m[38;2;190;132;255m5[0m[38;2;248;248;242m)[0m
7070
71−[38;2;248;248;242m[[0m[38;2;248;248;242mi [0m[38;2;249;38;114m+[0m[38;2;248;248;242m j [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m5[0m[38;2;248;248;242m, j [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m6[0m[38;2;248;248;242m][0m
71+[38;2;248;248;242m[[0m[38;2;248;248;242mi[0m[38;2;248;248;242m [0m[38;2;249;38;114m+[0m[38;2;248;248;242m [0m[38;2;248;248;242mj[0m[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m [0m[38;2;248;248;242mi[0m[38;2;248;248;242m [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m5[0m[38;2;248;248;242m, [0m[38;2;248;248;242mj[0m[38;2;248;248;242m [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m6[0m[38;2;248;248;242m][0m