Notebook[List[Cell[BoxData[FormBox[GridBox[List[List[RowBox[List["\[LeftBracketingBar]", RowBox[List[RowBox[List[RowBox[List["Pr", "[", RowBox[List[RowBox[List[TagBox[Cell[GraphicsData["Bitmap", "CF5dJ6E]HGAYHf4PAg9QL6QYHg<PAVmbKF5d0`40000g0000;B000`400?l0\n0000o`00003o=`3oool003L0oooo00080?ooo`L000006P3oool6000000P0\noooo00050?ooo`030000003oool0000000P0000000<0oooo0000003oool0\n5P3oool5000000030?ooo`000000oooo00H0oooo00040?ooo`l0000000<0\noooo0000003oool04P3oool;000000@0oooo00030?ooo`L0000000D0oooo\n0000003oool000000?ooo`05000001<0oooo1@0000000`3oool000000?oo\no`03000000D0oooo00040?ooo`D000001`3oool500000140oooo1`000003\n0?ooo`@000000`3oool000<0oooo1@00000:0?ooo`@000004@3oool50000\n00D0oooo0`0000030?ooo`000P3oool5000000030?ooo`000000oooo00P0\noooo1`00000=0?ooo`L000001@3oool300000080oooo00030?ooo`@00000\n303oool5000000l0oooo1@00000;0?ooo`000P3oool5000000d0oooo1@00\n000=0?ooo`L000002P3oool000<0oooo1000000>0?ooo`@000003P3oool5\n000000/0oooo00020?ooo`D000003@3oool5000000l0oooo1@00000:0?oo\no`000`3oool4000000l0oooo1000000=0?ooo`D000002`3oool000@0oooo\n1@0000030?ooo`<000001`3oool5000000d0oooo1@00000:0?ooo`001@3o\nool5000000040?ooo`0000000000000000L0oooo1@0000000`3oool00000\n0?ooo`0;0?ooo`H000002@3oool000H0oooo00<000000?ooo`0000001P00\n00070?ooo`L0000000<0oooo0000003oool00`0000000`3oool000000?oo\no`08000000T0oooo00090?ooo`070000003oool000000?ooo`000000oooo\n000000070?oooaL000002@3oool001H0oooo5`00000:0?ooo`00603ooolF\n000000T0oooo000H0?ooo`D000000`3oool01@000000oooo0?ooo`3oool0\n000000<0oooo1P0000090?ooo`006@3oool3000000d0oooo1@0000090?oo\no`006@3oool4000000d0oooo1@0000080?ooo`006@3oool5000000`0oooo\n100000090?ooo`006@3oool6000000/0oooo1@0000080?ooo`006`3oool4\n000000/0oooo100000090?ooo`006P3oool5000000/0oooo1P0000070?oo\no`006`3oool5000000/0oooo1@0000070?ooo`00703oool5000000T0oooo\n1`0000060?ooo`007@3oool3000000/0oooo1@0000070?ooo`00703oool5\n000000X0oooo1@0000070?ooo`007@3oool5000000T0oooo1@0000070?oo\no`007P3oool5000000P0oooo1P0000060?ooo`007`3oool3000000T0oooo\n1P0000060?ooo`007`3oool4000000T0oooo1@0000060?ooo`008@3oool3\n000000T0oooo100000060?ooo`00803oool5000000L0oooo1@0000060?oo\no`008`3oool3000000L0oooo100000060?ooo`00903oool7000000<0oooo\n1@0000040?ooo`009@3oool5000000030?ooo`000000000000D000001@3o\nool002H0oooo00<000000?ooo`0000002P0000040?ooo`00:`3oool70000\n00D0oooo000/0?ooo`030000003oool000000080000000<0oooo0000003o\nool00`3oool003L0oooo000g0?ooo`00"], "Output", Rule[Editable, False], Rule[Selectable, False], Rule[CellBaseline, 5.5625], Rule[ImageSize, List[9.5625, 8.]]], UnknownGlyphImage["104"]], RowBox[List["(", RowBox[List[SubscriptBox["Z", "n"], ",", RowBox[List["Enc", "(", RowBox[List["p", ",", SubscriptBox["X", "n"]]], ")"]]]], ")"]]]], "=", "1"]], "]"]], "-", RowBox[List["Pr", "[", RowBox[List[RowBox[List[TagBox[Cell[GraphicsData["Bitmap", "CF5dJ6E]HGAYHf4PAg9QL6QYHg<PAVmbKF5d0`40000g0000;B000`400?l0\n0000o`00003o=`3oool003L0oooo00080?ooo`L000006P3oool6000000P0\noooo00050?ooo`030000003oool0000000P0000000<0oooo0000003oool0\n5P3oool5000000030?ooo`000000oooo00H0oooo00040?ooo`l0000000<0\noooo0000003oool04P3oool;000000@0oooo00030?ooo`L0000000D0oooo\n0000003oool000000?ooo`05000001<0oooo1@0000000`3oool000000?oo\no`03000000D0oooo00040?ooo`D000001`3oool500000140oooo1`000003\n0?ooo`@000000`3oool000<0oooo1@00000:0?ooo`@000004@3oool50000\n00D0oooo0`0000030?ooo`000P3oool5000000030?ooo`000000oooo00P0\noooo1`00000=0?ooo`L000001@3oool300000080oooo00030?ooo`@00000\n303oool5000000l0oooo1@00000;0?ooo`000P3oool5000000d0oooo1@00\n000=0?ooo`L000002P3oool000<0oooo1000000>0?ooo`@000003P3oool5\n000000/0oooo00020?ooo`D000003@3oool5000000l0oooo1@00000:0?oo\no`000`3oool4000000l0oooo1000000=0?ooo`D000002`3oool000@0oooo\n1@0000030?ooo`<000001`3oool5000000d0oooo1@00000:0?ooo`001@3o\nool5000000040?ooo`0000000000000000L0oooo1@0000000`3oool00000\n0?ooo`0;0?ooo`H000002@3oool000H0oooo00<000000?ooo`0000001P00\n00070?ooo`L0000000<0oooo0000003oool00`0000000`3oool000000?oo\no`08000000T0oooo00090?ooo`070000003oool000000?ooo`000000oooo\n000000070?oooaL000002@3oool001H0oooo5`00000:0?ooo`00603ooolF\n000000T0oooo000H0?ooo`D000000`3oool01@000000oooo0?ooo`3oool0\n000000<0oooo1P0000090?ooo`006@3oool3000000d0oooo1@0000090?oo\no`006@3oool4000000d0oooo1@0000080?ooo`006@3oool5000000`0oooo\n100000090?ooo`006@3oool6000000/0oooo1@0000080?ooo`006`3oool4\n000000/0oooo100000090?ooo`006P3oool5000000/0oooo1P0000070?oo\no`006`3oool5000000/0oooo1@0000070?ooo`00703oool5000000T0oooo\n1`0000060?ooo`007@3oool3000000/0oooo1@0000070?ooo`00703oool5\n000000X0oooo1@0000070?ooo`007@3oool5000000T0oooo1@0000070?oo\no`007P3oool5000000P0oooo1P0000060?ooo`007`3oool3000000T0oooo\n1P0000060?ooo`007`3oool4000000T0oooo1@0000060?ooo`008@3oool3\n000000T0oooo100000060?ooo`00803oool5000000L0oooo1@0000060?oo\no`008`3oool3000000L0oooo100000060?ooo`00903oool7000000<0oooo\n1@0000040?ooo`009@3oool5000000030?ooo`000000000000D000001@3o\nool002H0oooo00<000000?ooo`0000002P0000040?ooo`00:`3oool70000\n00D0oooo000/0?ooo`030000003oool000000080000000<0oooo0000003o\nool00`3oool003L0oooo000g0?ooo`00"], "Output", Rule[Editable, False], Rule[Selectable, False], Rule[CellBaseline, 5.5625], Rule[ImageSize, List[9.5625, 8.]]], UnknownGlyphImage["104"]], RowBox[List["(", RowBox[List[SubscriptBox["Z", "n"], ",", RowBox[List["Enc", "(", RowBox[List["P", ",", SubscriptBox["Y", "n"]]], ")"]]]], ")"]]]], "=", "1"]], "\[RightBracketingBar]"]]]], "<", FractionBox["1", SubscriptBox["n", "c"]]]]]], TagBox[StyleBox[TagBox[RowBox[List["Equation", "   ", RowBox[List["(", "16", ")"]]]], Null, Rule[Editable, True], Rule[Selectable, True]], "EquationLabel", Rule[Deletable, False], Rule[ZeroWidthTimes, True]], Null, Rule[Editable, False]]]], Rule[RowSpacings, 2.], Rule[ColumnWidths, List[Fit, Automatic]], Rule[RowAlignments, Top], Rule[ColumnAlignments, List[TextAlignment, Right]]], TraditionalForm]], "Input"]]]