-| sand_pp: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 â\86\91f = g → sand g1 g2 g
-| sand_np: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 â\86\91f = g → sand g1 g2 g
-| sand_pn: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 â\86\91f = g → sand g1 g2 g
-| sand_nn: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 ⫯f = g → sand g1 g2 g
+| sand_pp: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 ⫯f = g → sand g1 g2 g
+| sand_np: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 ⫯f = g → sand g1 g2 g
+| sand_pn: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 ⫯f = g → sand g1 g2 g
+| sand_nn: â\88\80f1,f2,f,g1,g2,g. sand f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 â\86\91f = g → sand g1 g2 g