(*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 0, 0] NotebookDataLength[ 132310, 2575] NotebookOptionsPosition[ 130866, 2526] NotebookOutlinePosition[ 131317, 2544] CellTagsIndexPosition[ 131274, 2541] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Full", " ", RowBox[{"Screen", ":", " ", RowBox[{"Command", "-", "Option", "-", "F"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{"Evaluate", " ", RowBox[{"Cells", ":", " ", RowBox[{"Shift", "-", "Enter"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{ "Slow", " ", "evaluations", " ", "have", " ", "been", " ", "pre"}], "-", "computed"}], " ", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{"TOWARDS", " ", "A", " ", "SPECTRAL", " ", "PROOF", " ", "OF", " ", RowBox[{"RIEMANN", "'"}], "S", " ", "HYPOTHESIS"}], " ", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"Zeta", "[", "s", "]"}], " ", "=", " ", RowBox[{ RowBox[{"Sum", "[", RowBox[{ RowBox[{"n", "^", RowBox[{"{", RowBox[{"-", "s"}], "}"}]}], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", "Infinity"}], "}"}]}], "]"}], " ", "|", " ", RowBox[{ RowBox[{"Re", "[", "s", "]"}], ">", "1"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"Gamma", "[", "s", "]"}], " ", "=", " ", RowBox[{ RowBox[{"Integrate", "[", RowBox[{ RowBox[{ RowBox[{"x", "^", RowBox[{"{", RowBox[{"s", "-", "1"}], "}"}]}], RowBox[{"Exp", "[", RowBox[{"-", "x"}], "]"}]}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "Infinity"}], "}"}]}], "]"}], " ", "|", " ", RowBox[{ RowBox[{"Re", "[", "s", "]"}], ">", "0"}]}]}], " ", "*)"}]}]], "Input", CellChangeTimes->{{3.6718871280760098`*^9, 3.6718872841215467`*^9}, { 3.671887515305479*^9, 3.6718875678879623`*^9}, {3.6718876531129427`*^9, 3.671887680707079*^9}, {3.6718877393244667`*^9, 3.671887762516377*^9}, 3.671887807558229*^9, {3.671887988155744*^9, 3.671888018687398*^9}, { 3.671888071137905*^9, 3.671888071273328*^9}, {3.6718885338089037`*^9, 3.671888577216559*^9}, {3.671888708940781*^9, 3.671888771359736*^9}, 3.6718889285097*^9, {3.671889127771286*^9, 3.671889139856729*^9}, { 3.6718891724177*^9, 3.671889212164678*^9}, {3.671889244521309*^9, 3.671889255210095*^9}, {3.671889286871561*^9, 3.671889306760414*^9}, { 3.6718893415528708`*^9, 3.671889347783226*^9}, {3.671889423891176*^9, 3.671889426089718*^9}, {3.671889456147744*^9, 3.671889457370935*^9}, { 3.671890641315998*^9, 3.671890678691998*^9}, {3.671891117266118*^9, 3.671891145994419*^9}, 3.67189117793801*^9, {3.6718913149878187`*^9, 3.671891396638275*^9}, {3.6718915772518473`*^9, 3.671891627844619*^9}, { 3.671891696872508*^9, 3.671891747261775*^9}, {3.671891948376009*^9, 3.67189195402288*^9}, {3.6725942082192507`*^9, 3.672594261235713*^9}, { 3.672597383471302*^9, 3.6725974319053717`*^9}, 3.672597747211089*^9, { 3.672597784541163*^9, 3.67259786706176*^9}, 3.6725979186577797`*^9, { 3.672597955515229*^9, 3.672597958309244*^9}, 3.672598002360997*^9, 3.672598290315867*^9, {3.672598403837943*^9, 3.6725984138610067`*^9}, { 3.672598444768725*^9, 3.672598475086598*^9}, {3.672598720194763*^9, 3.67259872947635*^9}, {3.6725987667822733`*^9, 3.67259878238349*^9}, { 3.6784518204599113`*^9, 3.678451825179268*^9}, {3.6784520496265717`*^9, 3.678452093111882*^9}, {3.678452123551529*^9, 3.678452131227068*^9}, { 3.710123663204664*^9, 3.71012369128964*^9}, {3.7162855097778873`*^9, 3.716285537044602*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"Riemannxi", "[", "t_", "]"}], " ", ":=", " ", RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{ RowBox[{"t", "^", "2"}], "+", RowBox[{"1", "/", "4"}]}], ")"}]}], " ", RowBox[{"Gamma", "[", RowBox[{ RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}], "+", RowBox[{"1", "/", "4"}]}], "]"}], RowBox[{ RowBox[{"Zeta", "[", RowBox[{ RowBox[{"I", " ", "t"}], "+", RowBox[{"1", "/", "2"}]}], "]"}], "/", RowBox[{"(", RowBox[{"2", " ", RowBox[{"Pi", "^", RowBox[{"(", RowBox[{ RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}], "+", RowBox[{"1", "/", "4"}]}], ")"}]}]}], ")"}]}]}]}], "\[IndentingNewLine]", RowBox[{"TraditionalForm", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}], "\[IndentingNewLine]", RowBox[{"Plot", "[", RowBox[{ RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}], ",", RowBox[{"{", RowBox[{"t", ",", "0", ",", "100"}], "}"}], ",", RowBox[{"AxesOrigin", "\[Rule]", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], ",", RowBox[{"PlotRange", "\[Rule]", "All"}], ",", RowBox[{"AxesLabel", "\[Rule]", RowBox[{"{", RowBox[{"t", ",", "\[Xi]"}], "}"}]}]}], "]"}]}], "Input", CellChangeTimes->{{3.6718871280760098`*^9, 3.6718872841215467`*^9}, { 3.671887515305479*^9, 3.6718875678879623`*^9}, {3.6718876531129427`*^9, 3.671887680707079*^9}, {3.6718877393244667`*^9, 3.671887762516377*^9}, 3.671887807558229*^9, {3.671887988155744*^9, 3.671888018687398*^9}, { 3.671888071137905*^9, 3.671888071273328*^9}, {3.6718885338089037`*^9, 3.671888577216559*^9}, {3.671888708940781*^9, 3.671888771359736*^9}, 3.6718889285097*^9, {3.671889127771286*^9, 3.671889139856729*^9}, { 3.6718891724177*^9, 3.671889212164678*^9}, {3.671889244521309*^9, 3.671889255210095*^9}, {3.671889286871561*^9, 3.671889306760414*^9}, { 3.6718893415528708`*^9, 3.671889347783226*^9}, {3.671889423891176*^9, 3.671889426089718*^9}, {3.671889456147744*^9, 3.671889457370935*^9}, { 3.671890641315998*^9, 3.671890678691998*^9}, {3.671891117266118*^9, 3.671891145994419*^9}, 3.67189117793801*^9, {3.6718913149878187`*^9, 3.671891396638275*^9}, {3.6718915772518473`*^9, 3.671891627844619*^9}, { 3.671891696872508*^9, 3.671891747261775*^9}, {3.671891948376009*^9, 3.67189195402288*^9}, {3.6725942082192507`*^9, 3.672594261235713*^9}, { 3.672597383471302*^9, 3.6725974319053717`*^9}, 3.672597747211089*^9, { 3.672597784541163*^9, 3.67259786706176*^9}, 3.6725979186577797`*^9, { 3.672597955515229*^9, 3.672597958309244*^9}, 3.672598002360997*^9, 3.672598290315867*^9, 3.677074419405258*^9, {3.67707692931702*^9, 3.6770769552060204`*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"ScalingR", "[", "t_", "]"}], " ", ":=", " ", RowBox[{ RowBox[{"2", "^", RowBox[{"{", RowBox[{"5", "/", "4"}], "}"}]}], RowBox[{ RowBox[{"Cosh", "[", RowBox[{"Pi", " ", RowBox[{"t", "/", "4"}]}], "]"}], "/", RowBox[{"(", RowBox[{ RowBox[{"Pi", "^", RowBox[{"{", RowBox[{"1", "/", "4"}], "}"}]}], RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "^", "2"}], "+", "4"}], ")"}], "^", RowBox[{"{", RowBox[{"7", "/", "8"}], "}"}]}]}], ")"}]}]}]}], "\[IndentingNewLine]", RowBox[{"TraditionalForm", "[", RowBox[{"ScalingR", "[", "t", "]"}], "]"}], "\[IndentingNewLine]", RowBox[{"Plot", "[", RowBox[{ RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}]}], ",", RowBox[{"{", RowBox[{"t", ",", "0", ",", "100"}], "}"}], ",", RowBox[{"AxesLabel", "\[Rule]", RowBox[{"{", RowBox[{"t", ",", RowBox[{"Scaled", " ", "\[Xi]"}]}], "}"}]}], ",", RowBox[{"PlotRange", "\[Rule]", "All"}]}], "]"}]}], "Input", CellChangeTimes->{{3.671891450863916*^9, 3.671891464688336*^9}, { 3.67189149697626*^9, 3.671891560993895*^9}, {3.67189177056815*^9, 3.6718918317127953`*^9}, {3.6718920961434803`*^9, 3.671892096776976*^9}, { 3.6718952874567413`*^9, 3.671895293026162*^9}, {3.671895527235902*^9, 3.671895611068482*^9}, 3.6718956505157547`*^9, {3.6718956921659393`*^9, 3.6718956993244467`*^9}, 3.671895744997224*^9, {3.671895894327505*^9, 3.6718959068152018`*^9}, {3.671896131016253*^9, 3.671896250747663*^9}, { 3.671896299868009*^9, 3.6718963554973392`*^9}, {3.671896397365748*^9, 3.671896408013816*^9}, 3.6718964458413258`*^9, {3.671896651756753*^9, 3.671896653371245*^9}, {3.6718966990885363`*^9, 3.671896897930189*^9}, { 3.671896953967738*^9, 3.671896975342935*^9}, {3.67189700817829*^9, 3.6718970537101917`*^9}, {3.6718970850709543`*^9, 3.671897088392837*^9}, { 3.6718971280288563`*^9, 3.671897154428739*^9}, {3.671898561523445*^9, 3.671898594491889*^9}, {3.671898644012063*^9, 3.671898732360417*^9}, { 3.671898773259778*^9, 3.67189879490793*^9}, {3.6718993325194607`*^9, 3.671899344895322*^9}, {3.671899531544766*^9, 3.6718995318248653`*^9}, { 3.671899576371533*^9, 3.6718996540111017`*^9}, {3.671899767984833*^9, 3.671899818288542*^9}, {3.671900494016202*^9, 3.67190049667992*^9}, { 3.67190093872569*^9, 3.671900948326215*^9}, {3.677077000795384*^9, 3.677077018914632*^9}, {3.710731036954564*^9, 3.7107310403553047`*^9}}], Cell[BoxData[ RowBox[{"Plot", "[", RowBox[{ RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", RowBox[{"2", RowBox[{"Sqrt", "[", "e", "]"}]}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{"e", ",", RowBox[{"-", "10"}], ",", "50"}], "}"}], ",", RowBox[{"AxesLabel", "\[Rule]", RowBox[{"{", RowBox[{"e", ",", RowBox[{"\[Xi]", "[", RowBox[{"2", RowBox[{"Sqrt", "[", "e", "]"}]}], "]"}]}], "}"}]}]}], "]"}]], "Input",\ CellChangeTimes->{{3.6718992266963177`*^9, 3.671899287700713*^9}, { 3.671899399532262*^9, 3.671899406183807*^9}, {3.671901430287174*^9, 3.6719014542758493`*^9}, {3.6719016234909153`*^9, 3.671901647530189*^9}, 3.6719024321606503`*^9, 3.671902660101259*^9}], Cell[BoxData[{ RowBox[{ RowBox[{"Density", "[", "e_", "]"}], ":=", RowBox[{ RowBox[{"Log", "[", RowBox[{ RowBox[{"Sqrt", "[", "e", "]"}], "/", "Pi"}], "]"}], "/", RowBox[{"Sqrt", "[", "e", "]"}]}]}], "\[IndentingNewLine]", RowBox[{"TraditionalForm", "[", RowBox[{"Density", "[", "e", "]"}], "]"}]}], "Input", CellChangeTimes->{{3.6719025282276793`*^9, 3.67190252825359*^9}, { 3.671902714241064*^9, 3.6719027383533792`*^9}, 3.671902777376141*^9, { 3.6719030836284657`*^9, 3.671903105613455*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"heldint", " ", "=", " ", RowBox[{"HoldForm", "[", RowBox[{"Integrate", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Density", "[", "e", "]"}], "/", "Pi"}], "/", RowBox[{"Sqrt", "[", RowBox[{"v", "-", "e"}], "]"}]}], ",", RowBox[{"{", RowBox[{"e", ",", "0", ",", "v"}], "}"}], ",", RowBox[{"Assumptions", "\[Rule]", RowBox[{"{", RowBox[{"v", ">", "0"}], "}"}]}]}], "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"int", "=", RowBox[{"ReleaseHold", "[", "heldint", "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"TraditionalForm", "[", RowBox[{"Row", "[", RowBox[{"{", RowBox[{"heldint", ",", "\"\< \[LongEqual] \>\"", ",", "int"}], "}"}], "]"}], "]"}]}], "Input", CellChangeTimes->{{3.671902066392035*^9, 3.67190209163923*^9}, 3.67190217363452*^9, {3.671903142899519*^9, 3.671903143882324*^9}, { 3.67190341838274*^9, 3.67190346138481*^9}, {3.671903508308737*^9, 3.671903573430386*^9}, {3.671903645351634*^9, 3.671903686055925*^9}, 3.671904174799612*^9, {3.6719574006403303`*^9, 3.671957404896179*^9}, { 3.6719574453520393`*^9, 3.671957579824387*^9}, {3.67195763735787*^9, 3.671957649535088*^9}, {3.671957682172131*^9, 3.67195768991623*^9}, 3.672044970686556*^9, {3.672045203425935*^9, 3.672045206001646*^9}, { 3.672045286969934*^9, 3.6720452887044973`*^9}, {3.678451922862042*^9, 3.678451933521364*^9}}], Cell[BoxData[ FormBox[ TemplateBox[{TagBox[ RowBox[{"Integrate", "[", RowBox[{ FractionBox[ RowBox[{"Density", "(", "e", ")"}], RowBox[{"\[Pi]", " ", SqrtBox[ RowBox[{"v", "-", "e"}]]}]], ",", RowBox[{"{", RowBox[{"e", ",", "0", ",", "v"}], "}"}], ",", RowBox[{"Assumptions", "\[Rule]", RowBox[{"{", RowBox[{"v", ">", "0"}], "}"}]}]}], "]"}], HoldForm], "\" \[LongEqual] \"",RowBox[{ FractionBox["1", "2"], " ", RowBox[{"log", "(", FractionBox["v", RowBox[{"4", " ", SuperscriptBox["\[Pi]", "2"]}]], ")"}]}]}, "Row", DisplayFunction->( RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), InterpretationFunction->(RowBox[{"Row", "[", RowBox[{"{", RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], TraditionalForm]], "Output", CellChangeTimes->{3.671902161697628*^9, 3.671903219434329*^9, 3.671903580078027*^9, 3.671903656070794*^9, 3.671903691413464*^9, 3.671903866286105*^9, 3.671957408244636*^9, 3.671957540105249*^9, 3.671957649262906*^9, 3.671957732786175*^9, 3.671957796598339*^9, 3.672045244632188*^9, 3.672045356979603*^9, 3.678452126189642*^9}] }, Open ]], Cell[BoxData[ RowBox[{"Plot", "[", RowBox[{ RowBox[{"4", RowBox[{"Pi", "^", "2"}], " ", RowBox[{"Exp", "[", RowBox[{"2", "x"}], "]"}]}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"AxesLabel", "->", RowBox[{"{", RowBox[{"x", ",", "V"}], "}"}]}], ",", RowBox[{"AxesOrigin", "\[Rule]", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.671902300627061*^9, 3.671902373538433*^9}, { 3.6719033234746733`*^9, 3.671903334354789*^9}, {3.6719039807777843`*^9, 3.6719039958326406`*^9}}], Cell[BoxData[ RowBox[{"Plot", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}]}], ",", RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], "500", RowBox[{"BesselK", "[", RowBox[{ RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}], ",", RowBox[{"2", "Pi"}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"t", ",", "0", ",", "100"}], "}"}], ",", RowBox[{"PlotRange", "\[Rule]", "All"}], ",", RowBox[{"AxesLabel", "\[Rule]", RowBox[{"{", RowBox[{"t", ",", RowBox[{"K", "[", RowBox[{ RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}], ",", RowBox[{"2", "Pi"}]}], "]"}]}], "}"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.6719024599844837`*^9, 3.6719024786564198`*^9}}], Cell[BoxData[ RowBox[{"TraditionalForm", "[", RowBox[{"Row", "[", RowBox[{"{", RowBox[{"\"\\"", ",", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"tau", "/", RowBox[{"(", RowBox[{"2", "Pi", " ", "E"}], ")"}]}], ")"}], "^", RowBox[{"{", RowBox[{"tau", "/", "2"}], "}"}]}], RowBox[{"tau", "^", RowBox[{"{", RowBox[{"7", "/", "4"}], "}"}]}], RowBox[{ RowBox[{"(", RowBox[{"Pi", "/", "2"}], ")"}], "^", RowBox[{"{", RowBox[{"1", "/", "4"}], "}"}]}]}]}], "}"}], "]"}], "]"}]], "Input", CellChangeTimes->{{3.671904703536398*^9, 3.671904717066093*^9}, { 3.6719047903419847`*^9, 3.671904818595818*^9}, {3.671904899085095*^9, 3.67190500697583*^9}, {3.672159467750258*^9, 3.672159475950871*^9}, { 3.672159522657872*^9, 3.672159529289443*^9}, {3.71073119352913*^9, 3.7107311981236277`*^9}}], Cell[BoxData[ RowBox[{"Plot", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"4", RowBox[{"Pi", "^", "2"}], RowBox[{"Exp", "[", RowBox[{"2", "x"}], "]"}]}], ",", RowBox[{ RowBox[{"4", RowBox[{"Pi", "^", "2"}], RowBox[{"Exp", "[", RowBox[{"2", "x"}], "]"}]}], "-", RowBox[{"9", "Pi", " ", RowBox[{"Exp", "[", "x", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"AxesOrigin", "\[Rule]", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], ",", RowBox[{"AxesLabel", "\[Rule]", RowBox[{"{", RowBox[{"x", ",", "V"}], "}"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.6719042969670477`*^9, 3.671904335174778*^9}, { 3.671904365330737*^9, 3.671904411813723*^9}, {3.671904463198256*^9, 3.6719044760222893`*^9}, {3.67190523358491*^9, 3.671905257039942*^9}, { 3.6719053119243393`*^9, 3.6719053130269117`*^9}}], Cell[BoxData[ RowBox[{"Plot", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}]}], ",", RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], "2", " ", RowBox[{"Pi", "^", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], "/", "4"}], "}"}]}], RowBox[{"WhittakerW", "[", RowBox[{ RowBox[{"9", "/", "4"}], ",", RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}], ",", RowBox[{"4", "Pi"}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"t", ",", "0", ",", "100"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.671899990643585*^9, 3.671900023348508*^9}, { 3.6719000782063227`*^9, 3.6719000821590567`*^9}, {3.671900191629529*^9, 3.671900217706932*^9}}], Cell[BoxData[ RowBox[{"ParametricPlot3D", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"Sin", "[", RowBox[{"2", " ", "Pi", " ", "x"}], "]"}], "/", "y"}], ",", RowBox[{ RowBox[{"Cos", "[", RowBox[{"2", " ", "Pi", " ", "x"}], "]"}], "/", "y"}], ",", RowBox[{ RowBox[{"Log", "[", RowBox[{"y", "+", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"y", "^", "2"}], "-", "1"}], "]"}]}], "]"}], "-", RowBox[{"Sqrt", "[", RowBox[{"1", "-", RowBox[{"y", "^", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"y", ",", " ", "1", ",", " ", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"PlotRange", "\[Rule]", "All"}], ",", RowBox[{"PlotPoints", "\[Rule]", "100"}]}], "]"}]], "Input", CellChangeTimes->{{3.6784530050645647`*^9, 3.678453102550106*^9}, { 3.6784531798672953`*^9, 3.678453203108128*^9}, {3.678453237221773*^9, 3.678453242261594*^9}, {3.678453303495965*^9, 3.678453389123354*^9}, { 3.678453498687882*^9, 3.678453500807892*^9}, {3.678453773316132*^9, 3.6784537753969927`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"Magnetic", " ", "Laplacian", " ", "\[CapitalDelta]_B"}], " ", "=", " ", RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"y", "^", "2"}]}], " ", RowBox[{"(", RowBox[{ RowBox[{"d_x", "^", "2"}], " ", "+", " ", RowBox[{"d_y", "^", "2"}]}], ")"}]}], " ", "+", " ", RowBox[{"2", "iBy", " ", "d_x"}], " ", "+", " ", RowBox[{"B", "^", "2"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"\[Phi]", RowBox[{"(", "y", ")"}], RowBox[{"Exp", "[", RowBox[{ RowBox[{"-", "2"}], "\[Pi]imx"}], "]"}], " ", "eigenfunction", " ", "for", " ", "eigenvalue", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "^", "2"}], "+", "1"}], ")"}], "/", "4"}]}], " ", "+", " ", RowBox[{"B", "^", "2"}]}], " ", "*)"}], RowBox[{"(*", " ", RowBox[{ RowBox[{"iff", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"u", "^", "2"}]}], " ", RowBox[{"d_u", "^", "2"}]}], " ", "+", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"u", "^", "2"}], "-", "1", "-", RowBox[{"t", "^", "2"}]}], ")"}], "/", "4"}], " ", "\\", "pm"}], " ", "Bu"}]}], ")"}], "\[Phi]"}], " ", "=", " ", RowBox[{ RowBox[{"0", " ", "with", " ", "u"}], " ", "=", " ", RowBox[{ RowBox[{"4", "\[Pi]"}], "|", "m", "|", "y"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"Solution", " ", "decaying", " ", "as", " ", "y"}], " ", "->", RowBox[{"Infinity", " ", "is", " ", RowBox[{"WhittakerW", "[", RowBox[{ RowBox[{ RowBox[{"\\", "pm"}], " ", "B"}], ",", RowBox[{"it", "/", "2"}], ",", RowBox[{ RowBox[{"4", "\[Pi]"}], "|", "m", "|", "y"}]}], "]"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{ RowBox[{ "So", " ", "general", " ", "solution", " ", "evaluated", " ", "at", " ", "x"}], "=", "0"}], ",", RowBox[{"y", "=", "1"}], ",", " ", RowBox[{"is", ":", " ", RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", "m", "]"}], RowBox[{"WhittakerW", "[", RowBox[{ RowBox[{"9", "/", "4"}], ",", RowBox[{"it", "/", "2"}], ",", RowBox[{"4", "\[Pi]m"}]}], "]"}]}], "+", RowBox[{ RowBox[{"a", "[", RowBox[{"-", "m"}], "]"}], RowBox[{"WhittakerW", "[", RowBox[{ RowBox[{ RowBox[{"-", "9"}], "/", "4"}], ",", RowBox[{"it", "/", "2"}], ",", RowBox[{"4", "\[Pi]m"}]}], "]"}]}]}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "Infinity"}], "}"}]}], "]"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ "How", " ", "to", " ", "choose", " ", "the", " ", "coefficients", " ", RowBox[{"a", "?"}]}], " ", "*)"}]}]], "Input", CellChangeTimes->{{3.6783750213308268`*^9, 3.678375046079644*^9}, { 3.678375080825498*^9, 3.678375230027722*^9}, {3.6783752815093117`*^9, 3.678375334382749*^9}, {3.678376008431492*^9, 3.6783760092178583`*^9}, { 3.678453680941728*^9, 3.678453748969338*^9}, {3.710124732336225*^9, 3.710124743351612*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"PolyaPhi", "[", RowBox[{"v_", ",", "NN_"}], "]"}], " ", ":=", " ", RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"4", RowBox[{"Pi", "^", "2"}], RowBox[{"n", "^", "4"}], " ", RowBox[{"Exp", "[", RowBox[{"9", RowBox[{"v", "/", "2"}]}], "]"}]}], "-", RowBox[{"6", "Pi", " ", RowBox[{"n", "^", "2"}], " ", RowBox[{"Exp", "[", RowBox[{"5", RowBox[{"v", "/", "2"}]}], "]"}]}]}], ")"}], RowBox[{"Exp", "[", RowBox[{ RowBox[{"-", "Pi"}], " ", RowBox[{"n", "^", "2"}], " ", RowBox[{"Exp", "[", RowBox[{"2", "v"}], "]"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", "NN"}], "}"}]}], "]"}]}], " ", RowBox[{"(*", " ", RowBox[{"even", "!"}], " ", "*)"}]}], "\[IndentingNewLine]", RowBox[{"TraditionalForm", "[", RowBox[{"PolyaPhi", "[", RowBox[{"v", ",", "Infinity"}], "]"}], "]"}], "\[IndentingNewLine]", RowBox[{"Plot", "[", RowBox[{ RowBox[{"PolyaPhi", "[", RowBox[{"v", ",", "8"}], "]"}], ",", RowBox[{"{", RowBox[{"v", ",", "0", ",", "1.5"}], "}"}]}], "]"}]}], "Input", CellChangeTimes->{{3.6719054820864687`*^9, 3.6719054998408337`*^9}, { 3.671905611879451*^9, 3.671905612047493*^9}, 3.671905748378199*^9, { 3.671956140307879*^9, 3.671956176847248*^9}, {3.6728526865566597`*^9, 3.6728527653633013`*^9}, {3.672852837264214*^9, 3.672852842224469*^9}}], Cell[BoxData[ FormBox[ RowBox[{ UnderoverscriptBox["\[Sum]", RowBox[{"n", "=", "1"}], "\[Infinity]"], RowBox[{ SuperscriptBox["\[ExponentialE]", RowBox[{"\[Pi]", " ", SuperscriptBox["n", "2"], " ", RowBox[{"(", RowBox[{"-", SuperscriptBox["\[ExponentialE]", RowBox[{"2", " ", "v"}]]}], ")"}]}]], " ", RowBox[{"(", RowBox[{ RowBox[{"4", " ", SuperscriptBox["\[Pi]", "2"], " ", SuperscriptBox["n", "4"], " ", SuperscriptBox["\[ExponentialE]", RowBox[{ RowBox[{"9", " ", "v"}], "/", "2"}]]}], "-", RowBox[{"6", " ", "\[Pi]", " ", SuperscriptBox["n", "2"], " ", SuperscriptBox["\[ExponentialE]", RowBox[{ RowBox[{"5", " ", "v"}], "/", "2"}]]}]}], ")"}]}]}], TraditionalForm]], "Output", CellChangeTimes->{3.671905548078979*^9, 3.671905756660108*^9, 3.671956185355586*^9, 3.672852819284649*^9, 3.6770747166615353`*^9}], Cell[BoxData[ GraphicsBox[{{}, {}, {Hue[0.67, 0.6, 0.6], LineBox[CompressedData[" 1:eJwVV3c81e8XR0ZEQjJCQvaIJHE/nxPKqozKSJIVQqjInhmZ2V+JrEKRZCXZ ZZVEMrPndV3cZZXxu7+/Pp/36znPOe8znuc556St+7W7dDQ0NKIHaGj+/926 7JZt5G6NSrWXZZSl4yHSXkLypzgKF1sOz7yl4h+rc87x4gaQvvGgMYeKS7j/ 5I5kmYLiwqRcPBUTKrXiXMWt4MCRu6cfUTG/1ODn/SFbWCJzthtTMeITo9iV 5QBRHDRrklRs3YEWJds4gxlWp2QrDQ9hx8gCluJuYLPJ8q+Zin9VXO9KXvcA ywa3iVAqth+VC98cegiqtdkm6lS8TnsQLOs8we5uh/VKKpWv1Mx2c9ZjMNIQ psmgYh7j+qpTwT5wu2P6jDoVF/uku8fY+EHNA/2dwRQ8fO/Qn78uHgQGR8Wu bCXjocyb08iSPgRStqR/B1Kxd2zwu4T1EPgwTE/6l4SHg5U3nchDYSB1OZUw nYiH3vb2tlNdTyC9mumXHhU/Hz0jal4XDk7fu/TfPsODNN3hifqsSLgdhj9g koAHEre/+lp8FNwYV7qUE4+Hz1LYjJPBT6HYNOXETBwerhi3Xo+0iQGrqVd5 xrF4cM993GUongDhGadxQ1F4UK2aFQ/jeQa6RpcPLEbigcZeUtOCPhFyVhnq ViPw0OWdlhO3nghkyR067BM8WOS4WxCHkuHmdZdjYcF4QKXEo2OMUmBEbVrB NAgPIpVjH0W7UmDevw4vEoiH5XY9btO6VEjvHbxe6IeHgFXR3rqsdHjQFL12 w4uaL5/Rvevc/8F89zf11Ud4uEiXJLcS/x+Uc7grhTzEA9uxvZgTwRnwtKdR JMEdDy+R4UvhNpmgcTJb5to9PLTExX2+Kv4Spuf8f/rfwkMjbqT70JuXsFM8 iPO+iYd6XYmJLpkcMLAxCXAxw8MtOhuaAt5c0JhEDp6/jgeTxn8iJ4Ty4FJO Kem+Ph70VRSdeKQK4EOtd86Fc3jQnR/yeOxcAL8Hfq5UKeNBJzXId6CkAG72 G/wUVqLyJX2PSZF/BeI2uOuTstR4lDm8Y1d+DU/WxF9unsTDGfEsEhMUQbNt ufB/LHhQGtD85xBSBJp9QwURTHg4Hb50oL2lCM76tYy70ONBfkaFO/xiMXzp ex18Ym8ZJF/2naPRfwP81wtaRInLIHCMKXDrRgmolW6H5Q8sAwPjQ6Yl5/dg NLPtEpexDFi9YHZy0XsIXd58Up+6DN/i43h2595DQ4Xch/nEZeiI6U95qlAO d5W+mohGL0Ms52pB1ptyaMOc57ziuwxHRUS/fs3+AD1K8vUm5ssgrhFPzx1Z CbmSq1O3OZaBZzblYOarSig9nsdWw7oMByMyWU98qYQJWd1SpoPLgOssOipF UwWKPxWv/LeHg/dGrWKIXxVMt2d5OC3jQNV68+Jdt2poh0MyA19woBdsE1Ft +hGUJvbUCO44UHrWop3n+RHE6TmfZTjjQCDn5MH45I+AHJ7cV7uLA0LjdIx9 z0ewocm45GaBg/Q9m0Qu7Vpgr174knARB3OBti8enP0EPFeK39bx4CAkwO6D 3NHP8OVIZvfQpyX46Ht3/HVfI8xSynP2V7BQiLoM8ZMagX6P49TnBSykH3jQ 94yzCR7NOc94TGLhcXxAm+/1Jlj9b5b/ey8WVPJS3l0daIL7VycE1CuxcGtu qtHPtRme/Qq+cNgbC6OH2J+JeLQA7nJDVvHfRRixcFF46P0F9rtWGNZJC8Ch E+/QcqEDZLUHZX6MzsGR33crzt36DhsTrSlf7s2AqLDrmwjbnzBfphd8cmYS VMfvf9dI7gOTjLI31w3/QMvfkCu/X/RDhAnmRWPCIDg1dXY2hg2As2MVjf2D X/Dcroif23oIaIbDLnBl/gA58+mNvbsjwFn+d8O0qh2yOGEv9v4IzJZ1K7/L ageWH1kMfF4jwHb5Kpkzoh2wGuZHz4SPwMvswg1W03Z4JfNT0TF/BJrFshU/ b7UB/36968+JETjGxCdMq9EGjIUZMzlmo8B10Vn27PgXmCAb9lzQ+wNHLpxc F7nYAgnHh0Q9jP/Ads7Pq+XyLYBqWfnm3PwDcjkBZYZ8LZCT7Cq2d+8PnNTn Dvi62gzWitF+n2P+gITofVJEZjPMurWKq3T/gZR8wo9vuCbALikHyxiOwaYW 7e6mRwNkcNT/tjAbg+SLethI/QbQPa8lHXNnDKxZvHGqYg3w5qnxANZ9DKhv CCvjcD04S7jJFCaOwdV39GVaGvWwYl80JPzr//Jselr8n4E0yXf6mMk4BAQ7 aDEs1IKw3abyidvjoPl1Lyr0ay0YLvw+L3l3HF5U0KFCBbVQin+mpeY1Dv+O 1HbXWteCwzaDmVXaOEQ/wB19MP4RRjlJgYUD48AzM8o8O1YDLZe+fVcxnYDA XgF2N3IVEDqLesFqApRKtfETA1UgdCViQNdhAnLTYiLdaqvA79qFSYvHE5Bn 1FOzFFgFyndqSEHpEzC26WVjwFJFfX/y+ToGJ0D2u3zoF8lKSCzxczQzm4Rr okLlq/4f4Bbtpe4Bq0mwLslYGrD7AOJm7Io3HCbhLXJKYvDyB6ine/XXyGsS Jq9ve58U+ADYmz/i9VMmwUD4KHG6oRzgoHAV8nMSfpt0i+8xlIN3hS1NsugU qPOSD4cZvQPL8Q4lY4kpEPjz2PWW+DvQPCh394jMFPAMGOrZ7ZQCq9VmV4LS FDTxrBzaKy6FfOa4lFiNKViZ8g+ypC+FHutq8Yg7UzDyzwQt+PIWxNkPXvV5 MQVjRhw8UXbFUEoILXyaMwVHvIVGp9SLQenXv/2MginQ/3J3wfVoMUDaWsWn kimICl5Gj7cXgfnxId5/n6egXOZXSbdMEcRIFM4Fjk3Boc2989Y0hbAKFwOe CE7DozXYVPlRAJ4nGwdSTk7DonjFUjz1Xv9Lp6rw6tQ0eD3dU+OMKQCmdpmZ r3LTcGpt5Fa+TgEIX+HSZUSngeO1tebY13y4Zj7DFW01DUq0fLSpHXlQ4xFS kpAzDQv8V7h3R3Ig5jOh6mbBNAj7rmBlXufAHUabRrGiaVg6yXo2zyMHDmZp 9NWVTQNfQOI5q4M5YNFBt7nQMA3FpOQVfvWXsCcYoQlj07BflhLi+C4LLn2P HlnjnYGcHMxO8pfnwH/s70ydwAzQYNNPHfvvOaxaO+MjhGdgoUNqYcj5ObWv 0t8/LjkD7bt45WNczwF7kvWU7rkZeGn78aK3QwbE+SR45JrMwGn76CtpvP/B 71MpTMbJM+A2YGqUXpwKehK8qvfTZ6C42xF7OyQVGiWznaIzZ+DckA2bg3kq vJEp6mrJnwEzud5eFeZUCFL8HKtUOQMTTjUHf91PAUlklv3o7xlwnLjMXqaZ DAE3zvAOcc8CV+syzT/eRCCa1OqS+WaBqIqVjyE8AwczxJddaBYKleXPxr9/ BsYWOqM64lSsvpE5Lv8MxK1vZdWqzALTukBQhlIC9Lo8Ec40mwVy6L7V7tU4 EHvSL3n7+SzIFLjf6u59CuYVBxQdsqk4qdBcPPspxE2fOe+eNwspCH5p9N5T WIdUvdA3s3BrfXbKmP4ptO/ccH79aRaqpp5M3EOi4N7jwZKVkVnQepaoNtIU AWX3RuSD+OdAKPPlcijdE5jJYD4XJTQHVkMnefVGwoCn8zwkiszBi6avBpbl YRAinmmYLz0HExX2InfvhIHxrIVHu9ocvG+z8aA0hwLFcuzD4VtzUFP190ZJ UgicN5pUznkxByduWhHP/QiAeizDim3OHMj8M7sTmRgAaKjsa/GCOSjqKYjT vBEAFyt8ucvezoHInYW3tOP+1L7z6Eb9pzl4wM3ZFE32A9th3Y+jQ3Nw47Nz 4HllX5jzcHd/+WcOhrQtvvLv+YAjc7qE7eQcuE4Nn7Lu9AFXtdn/lhbmICiY MHvUygceZwX6bK3PwV7kfcFjCd4Qa11x/tjRebh06/725r4XHN4eJo7wzIMy 27Fzgz+9IDFp/0328Xn4NnUglD3XC9Jbr/CfEp2HG9oJLEkaXpArtvj3jNI8 +HHRfW9+6glV2OP1xkbzcPQEQ/YtiUcw7hGBxsfNw6H5D2nTeR5A09wsmJ84 D5L9P2tIPh4gxr6zU5M6D8bK7cm3jDzA+d3Dz1NZ84AxUD2iROMBW0t3VJXf zcMevW1ja4cbcNqpKf35MQ8+CoYhsV6uoFLhxUHom4fuxHFlHnlXuEn7gUA/ OA/9e5dqYdEFcnMk3stPzAPPzp8a21suIDd2VDZsdR60nbmq+/SdQddk7ZQU +wI8+3421+aSE7i8kmZAuRYAk2z+6hyTEySQ785d41mAfbYEw+ddjjCQNJYf cGIB4PDl8H+GjmDb03WiV2EBpEeZeU7YOUCgzis+b6MFsH7tfIgh3x4qzt9k a0taAL7Er78L/W1AjBSTlZq2AHdYEYKYkQ2kva2XsX++AKNpcgV0p2zA57iw /oG8BfjEIcAy+tMa0N2FSI3yBWg0kSibl7KG782eNI09C+DkoixbNX4bML6F z+J/LUC+xX0R2uTbUKY4LHR7cAHa/5bvb2rfhuR8dWRnfAGuqhVbT1RYgnk4 nZ/aygL4//nU6Jx8C+Z0Esk1hxYBf5WBx8P9JpjStIZFsi/CQnNEbofcTeio JXOYci2CA5vJu2q8ObyVMju9zr8IWQPpH41czcHjkND9M9KLECBIbrZ9aAa7 PSUL73UX4a8U/fZuhgkcM+0YKY5YBNtWdvPXutdAG/Pqwt3oRcjGxhUW814D b5HQopPxi3BOQ/eewJIxDK+qeWWmLoIR+3yTcawxvIgqOxJXsAiMCqjin99G IPwpTce9ZRG0T/xNur5pAEY5D8tk2hZhBhM5//yVAYRGGHJjOxchatyUrfCa AcwYM89a91L5OkR4MX+4Cq9xAUHXJhfhFSY+pPfxFZAWsK8+u7sITqlPiYyn 9MGCTkOARIOFc6qjOoRxPYjFCj4po8cCN/tZrqj/9ABfNWQkwYoFVU2Vyx9Z 9eD91ct43uNYkMfwvfi7pwPKwUqiO6pYuBRdmDlEqw0wQ5PU6okFJPoGrtFb E44Ek4R6fbDAt3H/jzlowszxudLxACzsaQgKJDBpQrhJR+dWOLUPfZda+fW5 BnzrjKdRSMNCtq4o6XzbBTB9z+/xohoLj8QninjcUJC8wrpX/AkLZvdPFNmy o7CN3Y2tacBCG7sgb+0HBLJEpov62rAQdnuHwWcbA9NpRZNMg1ioPo4/z5Cm Dq4ByoaeG1j4Ta9ir/BXFVA+8fHQv1Q+6bjmzbeqwF7D4/Jsjyqf8flrgaUq VKz9jXzLuASVYwuN2a3nYNO2pXHq2BL0akp4/8lQgTA9A/mr55bAnsKgnu2q DDcWoN5CfQmU5uWfvJBWhlNPFPWdYAkaGLKibi2dgc76ow5PdKj7+08u8d47 A4dP/8n+ZLYEEseNd649UILnx5zYxH2W4Lejc9XJgtNQK2B0edV/CSoMy+N3 3E/DsIhqdE3wEtypyQ9xQE4Dr8JBBp2oJUiRabv8tVIB0nWKdxzTl+ASdubu KyV5SPXBLr+pWoKqRe2lERsZqArqlXpYuwQrfvovFFlloD+81lGtfgmi6zje BX6UBs6kp7PfvixBKnEAs3REGpLeSP5Z/rUESY5pht97JCFh1OmbHHEJ1IQb L9d4ikPZlNHBDcoSODPpNqvLicOPBVXtxq0luP7poWDSwilgJR9sNaDBAfdU wMmCW6cg9tCbT+7sOFgRa9KRNhSDp5il4g9yOPCKlV47YCECxZp9C76KOBCU bbybKiQCHbqfxDTP4oC4nM03MHsSGE2ic39hcNR5TWPpjsdJiLgvlUG+jIM/ 5VmzTknCEPbyXtRZ6tw1yKumEjUrCJq3HPAGbjgQ0YgNGfQRhAO8dsZOD3Fg abcv8YRdEMKTLI+/8MNB5JW7oXMXBCAy3PA9TSwO3klUat6s5Ido57ND30tw 0B/oTKzr5wF9CSXM/Hsc3GWOuMMVyAMsc/J5e5VUPm5LPvESPBBzW9JFsR4H 68RJtpHgYxBndHw/vRsHJQKvzT0QbkhUoZWwXcEB13W2nt4lTjAi78b6E3FQ u67v0FDACRzlfwmp6zgYzxTie27FCclSlLqOXRx8L6G7wjnEASkCiwZyh5dh uPoAc8OvI5BO9+Pxlvwy2Dn4RsnMs4FpU9cfjjPLkHyqcveGJxvwBLRfkDm3 DP60mg5MDGyQsd7EYgXLwFhypZIszQqZ2IqXXwyXweNtb/ndpyyQ3ZPRnuCx DNryjWXVEUwg8OnCgTTPZeo7l5CLlWWCrAIsvPBZhiQxXlfjAUbqv+qnopBl OKvoqV4txQjPRYZLmqlzeo/MfKvlFD2kPeZJIpUvQ+fP3XmGMDo4atP0Y6tq GURDNWBKjQ5SLzuy7NcuA6elRN9HCi2kCH98cqhlGXLJV38au9BC0jfTx2J9 y+BVIxI3YkcD8ULpt0yJy+DTEnD89P4OysqMZliuL8Pf34PB1BOCxpHnf9tu U/lavp/rFtxBYzvPGrjT4sGQQ8zmq+Y/NPrhwIWnHHiYf2vuJpCzjUa0HxWv U8RDh3TrUe7sDZT+Q71t81k82PXrsmxobqDhL+xz2s/jIbj1Zq4Ybh194lHF 26+Bh493nh66iVlHQ/lvHMIb44FRVMGscI2MBrqlEAQf4mHwy8KsagIR1W9V HJ/wwsPhBU2h5stElPdYb1eOLx7IdUZBiixEtKqBteBkKB54q9am26MJKI41 0uRUIh56asxXBsXXUPMSnzrZMjxEsbkTbLKWUfH9Y0UrH6j2qrW9uJSWUcq1 6pSyajzE4OSvanbh0Gd/ia6nG/DgGpd5k35nCW3Xczmh3I2H9kd831IeYlFl 7O1wdRwezldtG43nzKN0mB2PnRU86KuZ0J29PI/2Psu83UDEQyFfNbZlcw51 OTekAtt4wOX4Hne5MYfmRxotaR5cASabQ2pxx2fRI6e0DPTFVwD/5J3Vp/Ep dMJnWu2Q9Aqwl2cFpWdOoaXdwRLdcitwmoage998CtXxrKcxOLsCSdHdNOvv JtGgL2crjS9S8b0L7h6N4+iyjSTvTdsV4DPd2D58ZhS1cP0j4+KwAqFXNkvE mkfQzscJEOi8AsWujmschiPo61iKQ97DFfB+YKNt9nAYvVPdXL0UtgLH14PO /PwxiPY0Per6F7kC997Kt844DaKYb+LjbLErcD00NjiDYRDlm4yjV0pZgcIu cmSf1gDaf/Dmdb+CFRAxiY37+asf1eRidYwrWoHoL2c/6vn1o+WCTX4vS1ZA 3egKqiLaj8YrncpvrVwBAV0aOiPfX6iOJZHA8nUFxsvkDq+e7UM/v49OeDG3 Ak+OR5rlDP9Apesw+e+wK5Cs2tG5ZvQDzfi6Vt2EX4Hw+H5y2Pdu1GvEZHyW sgLMaTRfrnZ8RxUOiMjKMqyCgjD5dthwF/qSbQBQ5lXIl/Hvpth0oay8T68b sa1CSj7tl7srneiS7KqfJ/cqvJan9xRl6UQLTOu66k+twrZorvtZi3aU0+b+ eI/UKsj7Xh1oJbWhIS7CxCm5VRjIGqThjG9Db4dE8jKorILW4tr1kfavKM/b a45XtVfhkwu77mWDL2jsLo5+wmEVsJvrDsxFzajug9TOt86rcGbA3bv1djNK P4/EebutwnhvUf9b7mY0qDuRi+PxKowuiN5f5WhCPV6oiFyMWAUPYR0Vhr/1 qBz71PyR6FXonBzgeuRbj+LCot+Mx60C042hP9t/P6N2zmOnvVNXYWJK67ki /WfU9HwYvC1YBXbFKhFX+U8o1zuZA95Fq7DGrTva2lCL9goPtGuVUPk+6UQp BrWo3kFJg/GKVbhEwv3revwRxQz9sDzSugqiR3H+/n+qUREvPr/HU6uw3DsW xU+uQCexrYjW3CqoxQjdwGZVoFmWrrRHsFQ+vmLfJHQrUO6LTU/frK2C6w/N nLn8D+hBrrv/je2twsjoGN0np3K0LfLwrTd0ayCBk8h4LFiOhv39KPSYcQ1k ZfszyYXv0X/TLIXsh9fAx0BA1DeyDF0tL6/SFFwDr2ncrqFtKVoiZuHDfnIN 5pZm2dkmS1CnjAOYMbE1mPk1z8NkVYJOB5t+8ZJdg7YFm9R427fob4OdvmL1 NZDyow/DhxejdXidtcMWaxAzdKksR+I1qpKQFdN5ew2MCx/8Pd7+Cq1QIJ4K s1mD5kRGBg2HV+ibh5mW605rEDxod925pADN2MJ3/fFeg2u5utfCdPPRo5ka d9P81+COoa9pHDkPTVRPpzEMXgMdmfnsQ7l5aFQQnGuNXAOuyRXaa7u56GP6 5FfFaWugWHippyYxByW9XgDb52uw2yBgNLzzEnXTUf9zPHsNeBRIR6JdXqJ3 Y+Y4nr1ag+96bhP3jbLRG0fOBXtVrsFoQKOn2LkX6BmBsZuafdR4EutCvrj/ h5Y1nF7/93sNqkM6OBRp/kOl70QkVg+vQbxNWXpacjoqki/fITm1BstqdldF GtJQTslQZfa1Neg6ZQn3JFPRhK6Bn52kNWiQyLte2pGCsrhIu4RtrIFlYo16 kVMKSlvWn7e+uwYRD73QovfJ6BZfCpMbIwFSGENtmY2T0BpnZED/IAGqg1LT tXYTUc/Pi/kSLAQoku1c232biBIsMeg0GwEuTXzQGGFJRBdz5j1vcBPgrqTQ 242aeHTwlOqMmhgBbtUOvY95HI3O9blqXRAnAE/Lymrf6lOUFJj36pIkAcYx 9Pkd956i7IMsjkayBDB+t+0d6xiF6kaOL99VJkBesUGFQGgEaqrEedVFhQDe W2hbIFsEaj+hXeahSgDRIPVDclnhaKhKuYc/hgBI6JVtveYnaN1C2HriRQIE 6BTlXhMJQzuTP5qmaxOAwT3p1HZTKDqI4j++0CVAPpOpWeadUJScbuJXeIUA wTe8XQtfhaCyOpL7n28QgPW/26Sv0UFoTtGPg4v2BMCy2tlXlPqiZdfpnPEO BNh0l6unP+GL1u+rfCc6EWD10XAgmuqDDpvlxu+4EuAKsXZOPsob5Tz4iJPT iwAfNDvOhMR7ocJVRY94vAkQctJw6Sm3FypvPfZbwJcALJk1c6y5nujl2kv/ SQRS5f+ynjapf4SGO/EKIBEEoHkRiT4/8hBNPno1UDOKAMX/+PJlSx6guc2h EzrRBHjbwMUyofMAbeBdzr0WT4AVYfeLHlEe6EZnwymnNAJoE9mb72LcUCcp O4WU1wSo6bRrydG6hwqxpGC9igjw/vnThOl6J7Qf15pn/oYA7cqqNL2qTiha KnJU6B0BJlL3YoJVHVEuhZmt4ioCHODTmuwxuYt2snNWxNYQ4NB0eDffrD0a RNBwcaslwAMet+jyh/Yo9kPe+Jl6Aux+j2RMy7BDG5VtWhu/EED/pfSxw3s2 qCd3kn9eGwE6JHV4Y7JsUKmNZuXwDgJw7z7n3MPYoKkfhYv0vhPADSMTVvTE Gr2nNhX7+xcBvlTstW9ftUKPXrhjgpsmQOydZB0k4Cb6TfjZ4R+zBChjez07 tWaOBtM2dbyfJwB/F07HwcEcxbUKqXktEWDn+qTI+C0ztOnShBANkQAqm1Md Ww4mqKf44eEZEgGS5GhsxAk3UGkmNKmNQgANO7WhLv8baGpn9oHYLQKcEFZn 0Mi8jjpfvo3lpiECl3LOpwKSMSosG5+3RUsEDTnPWcUEY3SAtcHizwEiADGc bkTGGL3QI/Ajl4kIcyTBDzr3jdBjxmMfZNiJIGuOxnCwG6DdiqwuhzmIoPOm XSXo7lU0lBMjRuQkgl3KHmdg0xUU3/8iveYYVR/O6DE28DLaYnrLX0OICDdp shtiRPTQ9mTuzivCRHjo6MT1OUoX7e75edRchAh105Ls/gQddFj7YpmbOBF+ KU8lWHRrowQVuekX8kQ4ccIpKKzkIrrxcFGu6DQRFn9V/eKRuYjulOX5VSgR Yd0Ep1P8Tgtlkjh2tEuFqh9339v7syYqxLOvvYESIaQnM4B16wIqdv1TCq0G EQaDgkeq4y+g0s8eTbFqEUG8cmtx7NQF9CwT1ldUhwieUbqUwToUvbLZW2pk SLW/NHBWsFcdvXYmdvuWMRFGdO9uGQiro+bul7Qdr1P1Y4Oyiz3VULvFT5OB ZkQ4XE972lPqPOo3lM9Zcofqf9Q/Cr5ZBQ3hun2nxoYITjrRSaMKKmikIU9p ix0REnfrOdD8s2hSR+ylYUci3BFgSTyWpIwWf/T0YfAgwkWDklOUVCW0jCzf duQhEb59ZDfzFFRCqxSWOAQ8ifDcun7ud7Ei2lR0u0TJhwhqt8x+kDtOo4P/ aU/cCSFC+nTq6e7L8uhYP42MSxgR/h0qf6ITJYfOsH/2fhxOBOat9s6nHbLo SpQCR/xTIjyR2XmIN5FB6X14L9YlUvPx7EHUpSJJlKXqV2JbMhFc4nxObDNI okcIceO9qUQY4PZsyXWSQAWcaL0XM4hQlJGxcP+8OHrGHPfmaB4RRLciyU8Z xdCpzhyD3XwicJu2FR+MFUXjzpuQ518RASl3PWjHKYou8DdjPhYTof12fIqj lAiaOZ7282Y5EUru5LDQegujOgaXPTUriGDJdLvn1RFhlNJIwydTRYTSLqZ4 05snUINcF9udj1Q+vS22N4YEUTo7jfWXTVT+uXOvmQ8eR9/3bzyPaiECn2wx Q74VP2p5sRT1+EKND09T7tlPfGjNKZ6nGh1ECDYSsyP78qL3sHj+uR4i3Mv7 uHFX4hh67GZ+U3cvEehf3wl68IIbbe0ys6/+Ra2/iFCpHk5uVKCk9V3kIBG0 IrYM5A8dRXvvZ1yQmqD6a2F776kwJxo4cXWeY4q6f46UwfuOA5U2PBDzd5oI ePfUwy4YDjT8tFv/93kiSPZUhR+zO4KeI2s5uK0QQeHv5c0P2WzonN02i9ka ES4pXjNJnWRFE3+XvQciET6VlhYdEmdFcdV820fWiZA1UutztZkFfemzFlu5 Q4SoILOCKxIH0ctLr05n7VHjE/VLjDaWCd26aTEQTkOCup6Ig2EkRvSaepuQ KT0JSDWxiwndDCjDXuaHrUMk8N0LkPN7ewCtcDMynWYjQc9+yIUz0gdQq0mG f13sJBjRfnqM4x0dWtvscfEFFwkcXVv/rH2mRV2faA8hx0lgbNp5P2JrH9mK 6VsUECTBzs0iTxvpfSQi2XLrnxAJXnmx6WJs9pCXeQ/56kRIQPv7s4jP+A7S 2/Tyloo0Cd7GZj0gsv5FLDukXLllSVAs8GikyG4bWeqpCqDIkaDM7DhraOMW QjfxLbtCkQQXUk1PnA/ZRM7sbEzKnycBmxgkyiiuI80Hwghs6iQQiZEduFNI Qa4cYqNdwZDgjJ72lX0hCmLPLypScoEENn4a0XL8ZCRd1dBeQpcEanaT88Iq RETkwqgnoz4J6MwK/oV/JSDvde5GzF8mgd1qjMFnEwLSaepfWGBIgvjpo7ZV NGvIX88i7AkzEoT0SwvLLy0jkQFK23vmJLhqJVwZorCMcIU3ME9YkKAIW2fk 64dDZFP6pbOsSKB/Q3cKJ7iEWH3Yd+V1IEFwjeTPwf8WEFxtTOCmIwmi3DOc LGkWEO9m7oTBeyTwXBPoqnKdRxJ/yrxPvU+CaNla/2CjOaRlxYx4xIvq//UX /IyaM4jB+gwt4TEJLmn+tShqn0ZGd+5z/vQhAfuhfi1Xg2mEdCj8THwACdwz xBY4HacQMelyL+ZwElT2M7CkeI0j5YrqkdgIEqwPPY5eLx1DkPPt6R1RJOh9 6xwVuPQHMdUd+xgRS4KLbnQdAQ9GkacOB//SppCgn1ZjZOTTEHK3S/AlcxoJ HiSVWbswDyGasmc0Of4jgUFHeNHq7UHkH/F2jPALqn9Rx0Y0uQcQt8BKfigg gT+rY1PWp1/I5anORu3XJMClmTedlvuFSGpN2BoUkeB11yBTw6s+ZOYgc8nt EhJ0mc8kG+X0IiapVuoBlSTo/iBewxX8A1HafDT5pJrK18cQpcvtRg5bRD+J /UiCD+EdjtR5D+k8UfU98zMJcqTur+lIfkMwJcyWn76QgBnhslBS6ED4Dp+g aWkjgWgWV59NUDuy4aH8qrODBA3dnQlFv9qQ9yp38EPfSRBhZhe0EP0VEWmt CtjoJwGXyR+yn0Irsi/2TXhvgJrvQ1MWLwtakLGoya8Mw9T1rHNLvcdbkPSr LGzcYyRwHb7ITOBpRphH7mSfmSOBQ1ZnmqJPPbKg7qWhvkCCcPnuy/YvPiOt L2PmNbEkyK+qXmZrq0MC7KvlruFJ0Jy0a8Mq8wkhrLE0elBIcP09NgaLqUF+ XBO29dkgAS9b3+t/CdXI2+qzjCFbJKgWdG5UXKhC7PytDZ7tkICvNVf8YUEl cmHCi5S+R4KYEwYvlZkrEQGN2PSXNGRQtVUxjXlUgQwy1ky8oyfD9W/0bs4m H5DKe9/DqhnJAM+PRld1lyOJ3VPiDQfJoDPsasChW47oJx9y72YlAx8MvOZJ K0MaBG32cUfJ4D49ET+98Ra5UP3g389jZHhznX8hQv4t8vVK2GYVLxmUpUKQ by5vkG7/grUgATLQNbpj/9soQsZG5ic5xcjga3S7WEPvNWL9YOPP5ikyJEtZ 7w+/eYXMHWQaHpMgQ4h+gBX58CsEf06yt1CGDI+fNvSfWchHdtKcm9XOkIGR UIspaMtFQuT860+cJYPeUWYbVp1chL4ttpb+HBkcHTceiGXkIKyU0vIeNTIk nDRJE2zJRgSureXaapKhBiOaaGaTieQu7WfpXCTD0O7nHyUZzxGx0CPPZbXJ 0Fko8attIAORLVdM2tAjg3cSM3ux9X+I+mHP0BhjMigdtHZZrkpFGl+HB7pf J8OdOv5pmWOpiCaS5nvDhAxyeWFzjAEpiL5rzQOhm2Rgjpu2YzZJRiy+bdlU WJPBZOJn6qhqIjJhw2z1ny0ZaEyKvBm9nyG223wWAfZkuHfYZ6PkSQLiLKl+ TduJDL2P7VeEK+IQv8hAzVF3MmS/6jAGq2hkTzABbXpAhlsavcerMp4iYdUv 1V49IkMhq6H1v+EoJGauScnNmwynOzxfmTtHIocDeuWv+5LB+vh3WcHPEUgy 17S0qj8ZWu/YKXJwRCCZmnSidMFkUFi//4Pw/QkiNMp5YjGEDG6Hn8WmnH6C 5D8QPd4dRgatZg2G38/DkLe5F7nSI6n27q7rF/mGIp/2Ig9IJ5DBiCs7Q3kw CEkgnkw5l0gGfl95onpPIGI7Vy9yKZkMJINGoV89AQjLN5KGdToZdvpElTKx fshEfXzf/QwybAidGtal9UMq30va+GeSQe0ftir4pC9imWYVkv6SDLR6y0up 3t7I6afb7K9yyRBuoo/ulz5G6P1Tcz7kk+HhOdtC5iUv5J31t8buQmp9/qXP lvL0RPZkVHbp3pNhLlix9XjfA+SXUF/ckQ9kCH1Ar0yj8gAp4nAVEKqkyg+o PKfL9UCMNvPUz38kQ9H75juPGdwRMRzmu/YnMjyxmDiqtXEf2RobsrjxmQx9 Qs7yrARXJK+Vzc+9iQwHfD1fue06I4+ri5kDW8jgT9hS9D/ijOgXaz2P+UKG CIFwO2eZewgp3rf2dQcZLvxwCV31dkQu3pzf+POTDDyP2Gzx9vYI75WQyKU+ MnjlXey5XW6H4NHjxzb7ySAxyz8+QWuHpIkZn+UcJoNBv/krnRobxJkH//XE KBnuFp2T/Mlrg6AsUTfkxqj1LeX443WINbKwVv9Id4q6PpyfIdxkhdTNmB0w nSFD3DkN5pzS28izAVKy3RwZBh2+HLpXYImofpasCMKS4ZID3eqbEgskOjKV UEUgA3uTVBteyAyx8lUIaSVR+Vj9PPTFwBRRcv3G3kshw0BS2pPqCBNk1JhG YXmLDDc/LM7tM91Ayi6+aNz6S70P6IJp569dR56cUzFg3CWDTZ/6fzSvriGy gq73T9JSYMz7+2Vmc2OE5gjTrvwBCvz7wv0uqc4I+U2XH4dhoIBK2E9ipIgR EogdKjFjpsBNT1peGnoDpKdSCxfPQYHXN/0f4Ch6SBhSNZ/ERYFsmli9yEN6 iEqH2HQaNwX0ajE3+aR1kZejDMPZfBTw1tTW4gvSRq7ZP+7PO06ByPSMSIbK Swjj6kLPa0EKOIV/+bC4ehG5T9vZ9u4kBQpq6N7m+2khwrGqLR9EKdCQnZTH 8k0T+X30TX31KQrUHmGpjTyhiWAkYyobpKh8XQWOrPy5gLAaXsn7oUiBgLSc 2BvSCNI8XJ/Vd4YCul94zjScwCCetnIZA2cp0BNvzuwopI6MeR1+Nn6eApdP pKRpqJxHEveDYqbVKfDuvYDdqIEqcjF6LWIeoYAyp8TdcPdzSElWb8CKBgWk +BI7NjrOIlbiGj5ELQp8Fx5WUNtXRjjLPzxav0SBvZLxj+GIMuL3Jdl5V48C VoWsKZgeJUQfd8Oc7RoFGKN98+nUTiN7j9quc9ygwGi9UMxjbQWkYvesIbcp BW7ttkXHi8oj/Bw82oIWFJCcsKRR25FBejKjNE5aUuA6w+k2wU1pJExsC3PK imq/fPud1j8pZOncyBk5Wwo0Jd+S4hSSRLJa9BQU7SnwqpI/9QRGAjG6XCd9 1oECtjOdhaq24kit1YuTiDMFjl61U3rUJoY8jbjNfvUhBYzELjj1TZ1EMOw9 LMaeFMhdeD9KPHcSIWSgjCaPKcAblNAikiaMmJWe2LX0o0BCWJRsY4sQwqKS uGUdQAGyqSbC9FIQaWyiodgHUePx0td+IFwAEe+fxrmGUaAGTXgT48GPjFpe W/AIpwD3LF9soycfkrDQOu0ZSYGqm8YDR8J4kY3tguGAGApMi+93fqs5hrQJ O7THJVPrpfCdolYIFyI82cfnlkqB5sfbkdZ9nIhfNnLfMJ0CHj+t8Z6SnMhp fu6jnJkUYOmxpKlbPILEDoc4kl9Q4GT2xoUYwyPIQjq+7nc2BW6PYVRP+rIj WVxfbf7LowBz9aNeoctsyGafQrVPAQX8PW8kOGiyItcSXxy0eE2tz1v/DnVq HkIOsj16L/CGAum7dPoFt5kRT0aR3bxyCjzM+c3UR2ZApJ9sF9hXUUDtPksR wZkemdrv1ZeopcAbNHtjaIcOSQ8oJi59pkCyQ8x+UxEtcmU7OKO0iaq/TkF0 /x4NQvfYDNy/UKD6YUzM4fA9TC1JfkGxgwKLP5+LdVruYMTw42c+9lD1q+WZ PQncwow6VY/6/qKelwZO/efNG5jE+bhQzCAFzDTm6/xF1jHatvaS+yMUKI2u Z+DJI2N2JtR/toxTz8PKO1s/NRKm4hbX4/BpCrjyqJcN4AkYp2GcgM48NT// 5RWvuq5hfvc9d+7GU2Dh9jfxN5zLmBiDBxzPCNTzcOdiyb0TS5gL33VrjSkU +FAeOaVpuIjZ0BG+c3SLAodkC9EfOfOY0q+bDEP/KPDWNO/St8NzGN7GwuuW B9bByeNw+SRMY8I/muRNs6zDLwP/r22F4xglIXmEmWsdpkIH1ERPjWAmwxlH Th9fh763RdoshgOYuOUJT3PRdWDBidxOOPQLo3bt45EQmXX4Pm8p/19MDwZb +6y06Mw6jHfN+PT3d2HSTjjp/lRfB9ahaHnr/jbMhfNWCiPIOvzx+sobiv+K wV+7cWwW1qH94eIs8fBXjGbkhbkNrXX4dG+11dCtFUPA84YIXVkHCd7voXLH mzBZjOyOkgbrMPB8BefyswGjI8xgoGS0Tu0P7MmSSfWYl9eJx7VvUO3JfOSm Ua/DXK7r+njfch3+DRIeOvHXYAqj/NbqXan+igqx6117j7mW5zHY7rYOHrk2 VpV77zC7dQ4NvR7rUCLFvy31qRRzY/Va7JznOqzyCp7bNXmLoTWRkWANXIf5 f2UPPwoXYixFxqxuxa9D6DOBOymyOZgyjx/Zms/WwZH/q/+t5WwMbVPjmFTS Oizq5He01WRhCm/lWWylroNe1Y/d1AeZGEKqg2la1jrY9LwQe+2cjglnIl79 WbIOLovvbEe5EjGleAZE69s6iInqjV++F4L5V6NwXIZpA367rLOsP7PGBBxY 6k4L2gDp/SdG1JETc0zsvM0pmk34XuRpGMfer+7tZkph8d2EApGOe3yZUeoC Kvad4v6bcLxz7Xa5ZqR68+6DLM3ATXgozlHitReuzhIff9EvdBOm3ti625eE qb8s+Zq6FL0JWqPnkejQQPV2rNLZzsxNsHl/x9LP6qH6UTv2xxH1m7CUenrT 7KSl+idpQf28xk0w2dhUPetnoW5FkhZqaN6Eq3qM9yOWzdWLQ7XbKV83QRh5 PknPaaqunht4zP7HJmzfe8etfcVY3XZ8uUZzYhMeNTlL2ilcUmd6vR1jNbUJ GOney3bLWuqlrkx3/GY24cQhx5r7dZrqG/9EmCoWNgEvar6jH39BPYbfwuzk 2iaUtzxjVBo8r64w4yiDEDdhN++H8FcdVfXfb7z2zcmbELm8ykXuVVEXOp9U lLi5CXKPDtTViSmrf6HJ8S/d3oTZ0B2jHrySulNnqWHnv03Qe2dx42GHojpr Yp3o3O4mpMuHv0qsPK3+waxzc39/E0pLGTW0rRXU/wcLzaHY "]]}}, AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948], Axes->True, AxesOrigin->{0, 0}, PlotRange->{{0, 1.5}, {0., 0.8933938009342387}}, PlotRangeClipping->True, PlotRangePadding->{ Scaled[0.02], Scaled[0.02]}]], "Output", CellChangeTimes->{3.671905548078979*^9, 3.671905756660108*^9, 3.671956185355586*^9, 3.672852819284649*^9, 3.6770747167872677`*^9}] }, Open ]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"RSasymptotics", "[", "t_", "]"}], ":=", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"n", "^", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], "}"}]}], RowBox[{"Cos", "[", RowBox[{ RowBox[{"Arg", "[", RowBox[{"Gamma", "[", RowBox[{ RowBox[{"1", "/", "4"}], "+", RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}]}], "]"}], "]"}], "-", RowBox[{"t", " ", RowBox[{ RowBox[{"Log", "[", "Pi", "]"}], "/", "2"}]}], "-", RowBox[{"t", " ", RowBox[{"Log", "[", "n", "]"}]}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", RowBox[{"Sqrt", "[", RowBox[{"t", "/", RowBox[{"(", RowBox[{"2", "Pi"}], ")"}]}], "]"}]}], "}"}]}], "]"}]}]}], " "}], "\n", RowBox[{"Plot", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}]}], ",", RowBox[{"RSasymptotics", "[", "t", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"t", ",", RowBox[{"2", "Pi"}], ",", "100"}], "}"}], ",", RowBox[{"AxesOrigin", "\[Rule]", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], ",", RowBox[{"AxesLabel", "\[Rule]", RowBox[{"{", RowBox[{"t", ",", "RSasymptotics"}], "}"}]}], ",", RowBox[{"PlotPoints", "\[Rule]", "300"}]}], "]"}]}], "Input", CellChangeTimes->{{3.671956301323451*^9, 3.671956365771617*^9}, { 3.671956476782731*^9, 3.671956499984803*^9}, {3.671957111313923*^9, 3.671957121037142*^9}, {3.6719571582538977`*^9, 3.671957161948341*^9}, { 3.671957192076784*^9, 3.671957198341076*^9}, {3.671957359484849*^9, 3.671957360148538*^9}, {3.677074754266371*^9, 3.6770747630339193`*^9}, 3.6770749836987257`*^9, {3.678252226255375*^9, 3.678252243646501*^9}, { 3.678252282553279*^9, 3.67825228267229*^9}, {3.678375520443757*^9, 3.6783755350282507`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Plot", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], RowBox[{"Re", "[", RowBox[{"Riemannxi", "[", "t", "]"}], "]"}]}], ",", RowBox[{ RowBox[{"ScalingR", "[", "t", "]"}], "2", RowBox[{"Pi", "^", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], "/", "4"}], "}"}]}], RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"n", "^", RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], "/", "2"}], "}"}]}], RowBox[{"Re", "[", RowBox[{"WhittakerW", "[", RowBox[{ RowBox[{"9", "/", "4"}], ",", RowBox[{"I", " ", RowBox[{"t", "/", "2"}]}], ",", RowBox[{"4", "Pi", " ", RowBox[{"n", "^", "2"}]}]}], "]"}], "]"}]}], ",", RowBox[{"{", RowBox[{"n", ",", "3"}], "}"}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"t", ",", "0", ",", "100"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.6719062845227537`*^9, 3.6719063767580853`*^9}, { 3.6719078258848143`*^9, 3.671907826019503*^9}, {3.671953798992017*^9, 3.671953803230584*^9}, {3.6719617987388*^9, 3.671961805490487*^9}, { 3.6719753681954203`*^9, 3.671975385220326*^9}, {3.671975419024201*^9, 3.6719754369051857`*^9}, {3.678188799451294*^9, 3.678188802313332*^9}, { 3.6782400321907167`*^9, 3.678240032330022*^9}}], Cell[BoxData[ GraphicsBox[{{}, {}, {Hue[0.67, 0.6, 0.6], LineBox[CompressedData[" 1:eJwUV3c8lf8Xv9a1NYxUKnsle6/Pua5xzVSSURJCEkIZyUqSJBL5qowmUlIZ UZ4nlRWyyShk731tv/v763md11nv8z6f13POEXLyPn6enkAgXGUmEP7/Fb63 +Sz94FfdXd2HWqeGGlExi9ShS+4ZiHjBW1ZpuBF9DXz7XNI9H42dPaTIMNKI klQHT3PGFyOZ2pyfZ0YbUaX8ZTeiO4amu5526Y03ohDe7ZLtzG+oJnVI4f1k I0q5b6C7cbcKnaxtevh6phHl74j7thL8E0ndTquUXWhE1XHNlCW3X8ik/Lmn FrURzUZxjATmNiHe9EWZpvVGdP1bvhQ1swWpC+dkzBCaEBv9Cc8rD9tQsH3U 8RRiE0qB5bcLdzvQslNYzXeOJiQS9t/c5ajfqCXNPSyYuwm9+6KtPBvcjVIG YoeL9jWhGs0bnybd/qJceaWLX6Wb0Gtt7lCV/D60brNNiVdqQnPdLhn+uf2I 2ZDZ7q92EwrdxzIwn/kP9Vlw2bMfa0LfP9kyKD4eRPw1dIOD9jQ8tq9FLz8c QocguQW5NaGHDy3cZu6OIL3Nls2rYU3oj2pmjOztUbT/+Ouvx+KakGj7XM6l qDH051b7du5/NHw8yZMTwRMo6rcMXXthE6pN7L486jaDOlOlD64tNKGY1JSa JIVZpMefU/KRsRnJuCM7pfxZVP7dVWuUtxn5Mide882dQzueMAYVazSjLQPl 8tnMBbT+yTh0OLoZZfH2WiQcXESq++gHTz1qRvpDN//KPV5ECznG33XeNaM7 UR0E74dL6FT4ltL57mbE/y2YPHWXigaOCBD51VpQ2X2R1jj2FSS9b8lI+GgL cnCqc5G5vYLuLyYopbu1oOd0B6MvRq2iWJPbguP/tSAF+Fo9FryOyplvXKpn aEUmX5gtht22USBfv2z+ZCtS2HZa4pvdRmlqJ5LdudpQnODZBhFtAjDsyPnv pXwb8ncqvWL1nQD5B38cLrjahvSHfb4XttKBFH/hPSJrOxqY6j0XuMQAOXLf GBcNO1B7/J3CBA1G6LVOmeC73IFq5TRYc64zgjKXmt+3Rx3o/eUH734zMUFq 9IZk2XwHilgy2dbkI0LN1Dyr4qtOJLhZ/HhTlQUO/3vVniPdhXjSz8/yXmMB 7Uq6wIwzXYgFcevLYixQO6V5TTyxC82Ee004GLEC1So2d3y1C5Uzimnip9jg ieCeTNvmbnSG435HZCAHRJ/1rdTJ6EX1nKqsjGd2wtlDcIilvQ81m+5ObQjZ CU4fZezfL/ehztvT4v893gm7g/QpWXv60SDTK33Znp3wItPI19yuH21s7gm3 sd8Fv0VL1foG+pH09Opynu1uODpfWjxH+IdiGr4MnrTmAe64W9nmPkMoniPN T/AqD4i2MZpf/28IPTC5Sj+RzAOr7w6kTFcMoYxKWcHwNh7Qu4f1PuAbRkXl Gfa5VrxQcupz9zA+jIbeRjRvHecDvkviP42ERpHePQP81VF+WNpjQDThnEDh Jh9zmr344bfcAbEm7QlUziSStHmXHyxrX3656TmBNEMIrifq+EGMUWvKr24C KV0oY9+m7IVeb/YdpvGTSJSscMpabx9A37QCy95pRKQKTDOqCIDHrugPx7Nm kf77Ox1yVgIgbucWPVA6iyIvreF2fgIwlzFQeqV1Fm3960h6VyAACT8vMj9j nkPUxvsap2UPQIhH9ks6rzk0msty84PEQTjwd96RWXMenZdb41TgFISqQLbd qHoBmXXfesF/UBAsux2P+gwsIOVbvDoEOUEgG9iOhG4sIMa/8p6/LAVB0dP0 yxH5RfQ03q320gNByFVj4XqevIj+TrVG5+4XghOUuX3+p5ZQ5X9OB+/LCAHX tgD+zmsJvTWYLQzSEYK8P8eX3t5cQqFP2IcoZ4Wgzu5m6Oj7JSRgrkceeSoE H9Ifi+1jW0a2efnbItLC8Iuz9WhZzjICG52H7FrC8PNoQKDY52UkyfhTdsFU GNypjwUUGpbRiv3wmYpLwnBpseaE6Nwy6mP2X8oJFYYmeq0nzPRUVPWB7m7i PWEo81H8dWM3FaWwH/jsWCAMHPm+GrqKVBRanHuCUiEM52NP7AokUdF5Z/UJ uRZhOEgQ2qVnSUXKZSf2bS8KQ6WyfN51Typq8YgNfKIuAjdt0hqsMqiolI9/ 501jEfgkRrnalEtFTytevPK0E4E/bk9P1RVSke++r+1aISKwcskrX6mWiuwq LbxE7orAdOa3lEctVETy7WFiTxeBA/Ut/wX2UNHOWqpyFyYCm0ZCtTGTVLRy 5Wbd10YRWC6SOFe8QEV/hbhdcvpFwGmleuTYGhVV1meuJ8yLgFz04C5rwgp6 GySbFMggCgzdGklfmVZQithnaUceUdDpTDx0n20FhTYZVxiJiYLf+KjHD64V 5Hq9w1ZOVRTujf4nZbt7BZlLnZ/jMxKF1ve3d5ryrqC1O1fKeq1FIZCuNevq nhWUPX3z5nNXUbiNOJx27V1B1sdSjl68KgozJ1mv7t23ghg/vtyrGC0KjawJ DHdp8nu+4n8ryaLAfcZfwYMmnw2qeoO9EAVP9zKJfJo/R09HQHShKMTmfdlh x7+CSnVHSeY/ROHuH2OeC3wryD1rhZ2nTRQMparPdXGvIF5G1vauQVGoHT4j nrdzBVW47s3MWhSFoIZd93s4VpBPjZSHO6MYeKbOtl9gWUEHZTSV5XjEYD+v otRxhhX0M95ka0lEDHQLHbCkTSoKnLOr/qwkBjXRV5plqFQkbnXx/g2yGHin 707fP0tFrUXXTpucoMWbT3Z0GKWiiL1x4rucxcDkqYn9wl8qkg15PNvhKwbq ufHNne1U1PMnrzQ9Ugw+0K1zctZTUSzpS9T5+2KwQzTOJr6CitSf11vIPBWD lM1agn0xFSVdmB749FUMFiVkin+lUxHUbeWFN4mBYuiDK/6JVDQtuyPAqJ8W X/bO/JkbVGSyKMfeRhCHe/L/Fa+40N6HNbQ92ikOMoazzS+tqOjFJ8sMJ0Fx uFOcdyKJTEWEsMtKs0gcgpGGk9AhKnrbH7FZdFQcJo6UTmDsVGSvf7/q+llx OIRON6dQl1ER6wd79jBxyA0PnRypW0Yunt/EmuPFwbb0q/HZomW061fLTGq6 OEzFs9iwZiwjzweLN8TLxYEwKCk0e2kZ7aMyWkzVi4N33BMNaatlVGXLy/+x VxwYg3PLEzWWkfAh1TzSpjiskbr2DNIto985Aa2ntSWAtad81j9mCUVzxKSL mEmArN2C+KrbElL2TnUft5cAZ2G7V1mGSyhB+dNGwDUJ8JSLTbKnW0KG2Jpo UqkEvBpY9LH1XESLQuwztrUScLo5gmdYfxFlRe3/JNglAd6FJ7kSBBbRhrG2 +dtVCfhr32agUbOA3rdev1KjLgkbXr///NqzgLJvujgNGEvC16HD3/WH5lG6 qunRdTtJUHrKop9bMI9iU/mljlyXhJZQqrOB0TxyPv2hJ+GrJFx/5kf8eH4O 2XGm1eQ0S0LtJarCC+k5ZFkeXlTxTxL+e5dtfXN6FmkLWiQsMkmBab09F7ff LOIZHCXbmEgBBbcb6PgzjdiSf8lftpeCrA+lpJJT04hgWHQg1lMKSD31MSEN U2jy1Q1qWbwUnOFdLy8qnEQ/Lh58fahFCqqNLsSLXhxHVxdO7B6xl4Y1LV4Z Nv8h5Plcc3vbUxrsNyOslesGkdNJoUn+UGmItImcvSQ8iCyKp3+YZErDpqh9 qmDNAJK4djvo7aA0SL94SSESaPOYHuu7cukwpEcRSncptCKt3dL5jGEy4B4x 2VnYU4Q10NnV1N+TgRwlsrxd3BfMce72v5RMGbhFZnddE6rAohrH9khVyICL LLvD8GA11hCfE27OdASWKpdyvxi3YI7sUsdT7hwB3kuClnqP+rAoRskliVRZ mAg22n72dhrjWzy1Yy5bFs48jX7ae3cGy/53S6r0kyy0JV2mJ6vOYvUVI2fM umXhY8qb3wvccxhfxKtKn4NyEF/0vv957TyWsyme+um5HJQ8/nr3zsFlTHvK +n1koRysiMUf5Yhexhp6outMK+XgXo9Xd/XkMjZfNkz4MyIHb+sD7NuKqdhB nRblCF55cI0oCrcnr2Ju6/efvLCRB9uRzQgeqQ3sgcXktyBHeTg9892tJHgD w7MMxs3d5UHaTvWm3s8NjJ+yorocIA907XLYjPsmVv3gTKPhQ3mopJMlbCRv YYsjRcv7MuTBqNrkxKE/W5ig1s4DMy/l4ekaj9Gy6DYW2F9x4WGRPCQYPvd4 +XYbk5KVZBhto8VPJFa+tyHg1hERUp975SFo95tKnQACHtnadTRhSB70F3vj 2JIJeFfw3cfqS/JQzdE9dKaBgBMbhis4NuVhMyWw9s8YAVcUgrE+RgXwYRzm T2Gkw2Or5lVu8yhAgfHM4mM1Orxon9npMwIKMPbKa9/IUTp84NKLSAVRBfh9 QKrrtBsdrslj8+u3kgK0PjH+jifR4a5uBUtvtBTA7c1we042HX6/lE0gkqwA /TZNVh8/0+ETjl/cpU8oAJw53isyQIfzf+S7t2WnAK/CP0lHLdDh+sw+hc1O ChCS9OHCBgM97mNX0/3SQwEW/WPsYrnp8cdvhOmv+SrA4b2etYeF6fFqQojk 0WAF6Hz2K+mPHD2+eKLNQiRSAa6pvU/P1KbHBV/JXqHeVoA6r7k+bwo9brZ2 69HPRAXwvvKfg8kJejzQvP9rxn8KwFyqLC17hh5/nqk56pdFwyez//xeV3q8 cSGJi5KjABuEr4jNix7fMJxSFihQAJUZxrUtf3pcMs3QfrZEATT/Xv+3FEyP W01lRHzHFUCKUG0/FUaPh8Pqq9RqBRDUamr+d4Mef5N0vMGzUQHOr4rWdETT 413DrxehUwGElNQaq2LocaIm037ePgVYLX8b+/42Pa5414E0NqIAxa1v81Jo skNfsduXGQWw+nxow5dmH6u0Kz6RqgD8T5YtDWnxiqI9Pp7fVgAx55DkHbR8 A7+/dWkwK4JuQVJlfSg9znXkAB3XDkVIbd1cCAuixzXDr0oM8CnC+fx0EPOj x11bfpkXHVSE3kRs4PNFevy+uJR/rLgiLCxaiho60+PlQZFpDrKKkMxx2Bm3 pcfH67pxRVVFaJc233X4KD3OJ6gyQtRVhJSB/YU3yfS4nl88Z7cBLd/wk7Ff qvS4d+WIUr65IkBysQOrFD2OQ95FGWtFcDpW2DbIT4/vLPN5luOgCHMiBNEw ZnrcUUWlW9xNEUosg9U7F+nwd/mru597K4JzkZDgbB8dTpAuNxEKpOGpO0Os +kmHH3seGZkergifeU1VzhTS4fOp7POpiYrAXzwsXxNFh+txN0rxpSnC+IHf RzI96PCkuw/OJT1VhN0lMa3qtPetHHmg6e4HRTBmkvnznocOv3pR7l1kmyIE jxapTCQQ8MqhhZHtXlp88ZLFGU8Cvsex5ND1YUVozjp35KsRAS+xIt0LoNLq eWLXkrWwja3qnPDy3KsEXNaWDNUZW5hJyZ6XY0JK8O73cVkegy0sTbGn11Va CY552zw/NLqJaUqcNz+npQQXKSs5cRKbWMjOABnrM0pQFPXhQUDcOlYXq+XS cl4Jyg5wvPcXXMcOMBEeW3opwekjUQHu79ew8tUYdtMwJTiodva9VeMqRviX No6ylEDzycEkpSUqdqOwPFtqSAmekmtI4RMLWKwdUWzTUxkMOnmiEgqHMF15 juUxf2WoODv+PTN1EJtj2l3VHqIMAhRz45Lgf5hNwYEL7+KUYcebky2O2v2Y GIvKG+c8ZTizmbGv3Oc3hhc6q9ROKEM9qcmk/OgXzP/OBWLxgjKU3UpnGzP7 iEmc8+54tq4MLwdTDhEyXmLxHNeCrrOrgGmF8mVrhzRk73z/i/xhFVAUtPBS 3P6Olnd+NXjooQJOEXLzAWndKHe4ki/KVwX01uwKtF/3ojOf60Z8glWAbdej NNHiv+i7W+dtk1gV+CrIY4797UeJ5TP1mzkq8GjSw0+scgjpP1hKHy9Qgb0H 8R72kmG0cmHdu+OTCjSpSFx89XIEOfAy7y6oUQGLmy7X7geNIRnPg9YuYyrw 6ez01vGFSdRHEpU4NqcCBq6jbBtVUyhpj/SKzqoKeHT/+hyTOo3WKlTS9rCq gppE5jV/vllUvdf8T62kKhzmYrTiSJhDITPH84vlVYFYphecOjqH5H7YhD9X V4X7Df4uRbrzKMXHRTiUogqxclrfg//R9ouqa64K7qqgV68YQ+VcRC7a4hbL 3qrw3bjpUJLlInItaFQpC1CFjy7yjDEJi8j9kRiTwS1VoCfWrduyLCGPnY2T rPdUgXnVp0IMltDFm8GtDSmqEJh/FEleWUJe3r+e2bxUBd3/PlsVtC8hn8Gg OwfeqgIjYe2mJMMyumwr6jdQqAqE7FNZxTLLyLehwe7VF1UQimNKPnViGfmT g/Q8f6hCeJnEfbqAZXS1RERaoV4VjH+wcuU/XEYBRxp2LbeqgtOC2TfbwmUU +DRwtbRHFcKEd31Y/7WMgveI9IcNqsIQE7/4vZFlFBJXX60/qQoVLwfecG0s o+t0ge9YF1Xh6Vi12BVO2r12VTi1YZ2Wb57t45f9VBQ+UReWxKAG9Yd7av+J U1GkY4CbDbsaZFW7Sf2TpaIbbUJHD3CrAU9CQ0+xEhVFmdSpDuxTAwbsAMlB hYqisasHXwmrAVe7Ln0LTR+jLET0lFaDRKE+AW45Krqd83NKXlENKhpO/t0v QdvnD15tW9JQgzeOfuPjtPxxSYJfSklqYH3yjGIoDV88y8/nYcZq8Kjl+HbL +jK6d/1KnP4xNVA84j09PryMEuYP+bPaqgHfbuf5r7T79b5brX2Doxpc1Rez svmwjB70+JOT3NVA/0XahzcPllHysUOHbXzUQMJLhaXCdxmlVNbsPhCoBmf9 7mQlmy+jVC3/tf4wNZhH/ySkxJZR2ruDAy9vqYHrePHj66tL6JFYTc3Fe2pw +aqS/YPaJZS+4+B/S+lqcGWpbnCH8xLKjKoOL32pBsFL3tJB0ksoa9XXPeyt GmhZ+ue/mV5Ez/9VqbGWqwHrox22Ny8topc2vocafqhBefJMi5zkInpVL8Cc VK8GaapCWh//LqDc4svtAr1qMKGd43PGYAHlyQiU9w+qQaTGxNW4hXn0Jqvy xctJNdhLdvidkz6P3t3Zf0V+Qw2c1eT2VU/MoaKzP7j196uDw970iGNOs6ik 1XudRUQdZDv/vjk7N4M+Ge/7Vy+tDuOX4k9c4p9Bn5W835/SVIfl8Drlbyen 0Ffmvccu2qrDcU+14Sv3xtDwM1mT3+fUIRPaPs4GjyIO0CcbeajD6qflumDH EWQT6K0ick0d3i2FdirvG0Izoz/2dj9WB5a3oZOlpn3oQK3vgEmfOlSF+b4d 46tCeq4x3SWj6uA3ocUqEvMVudOnt4rPqcO58j1mZm3F6KNmTSU9vQb8exq2 rlDlg0xfH3pdKqIB3MFci8xtlVhQXJ2ftJsGCCx/C3lQ14+lSw54pnprwLGI MqGik/+w79+p54mBGuAmbPj0/t9BbOemsM1AjAZ0nmv+lL84gr26FKSdlqsB TR1Ew5aD01ibhTgT27QGBO3B8/2Fl7C1ca2tgGUNWP915XpO3xImeOsYdWhL A3Z3ro2lPlnGPLGQsa87NCF/rv29LvcKxiDfUh+koAnzVw8z1Y+vYQq7wlPG /DVB0GrXA6t9BLyUpUOyKkQTFI8/MGdyIeB6BNmy51GacOOUm3VwHgG3mun+ e/aBJkReUFu+o0Gbl/VqUu0fNEEpxFnyKG3+b3+PL/tQpglftfUpIpH0eMzn IfPEb5pg8FY71h+jx/97neRr1qIJP24+xy6pMOCfb8+UVcxrQnXMz/d/ORlx gwhDi8w1TWAZI8fiiBFvCHzSd51eC4JvV3/t92bE/7qZMmns1oJVQnJKbS0j 7n726UO+fVoQ3+dy+uYSIz5rvSq1KKQFeuxP2lwPMuH0hq8s8hW0QDdMPzXa gwm/o7PVF6ehBakbyfWf7jLhPCon/TxIWnDogHzC5lsm/LFMHhPFWAtkrqdN mDUw4WKiDKlix7Qg0YxO6tkEE/52v500g60WxD053LhOJOKq3AWf+xy1gDPC I/u4IBHH2FiOlrtrgVBZ+KdnakScQn+2/5GPFnzqizSbMCPiTauFfkGBWjD8 Jn9SzJGI281xEE+Fa4GnK7hbXibiA6POqcoxWgDcCk1u4UT8Yl+p9O4ELXD2 IIReuEvEFzt2fZl5qAW/tNzYTqQS8ZBf7kfrM7SgTYnZRjiLiDNVYf25r7Sg 6cfOe22viHh8OZ9/TL4WZO3vO3gxj4jvKbpEdC3WgqiuhPL+t0Q88833VDKm BefSYi6p5xNxyRf7DwtVaYHlMNXP6w0RL3js+2WrQQtuZB1zvpFDxDUf1Bzt adeCojclfAHPiHjFHcGBT3+04F+O8wfjR0Tc9EaA/8NhLSgrWM5eTyDircEN xCvTNH7nmwvuRhHxM75i/x1f1gKzVfsWwlUiPnwh5LD8lhYMvlB0sD5PxL3O tXzhJGpDwb3z0/eOE3GqjbTlBKc2yPxOuZivQ8TDLSMGqnm1ocFoD2uxOBFn oXT6vzygDRfvLRvkcBLxfWrR/507og1TV/p4bNuY8GeyvYeRijb8zCo/dKCI CZcRVy4X0NGGh+ZXyzofMOE6vAMDHWbaUJT8vM3QjAmv5NC4UmilDQ6OTJL0 Yky4BWMCc9JpbZiNuPu+cp0Rd1zQkbHw1Iae4UNm4c8Ycc7dhMZWf22IDGuw DPRhxEvlK/zsr9PsOTFnbS1GnMfLsMw9XhtkV1SPGtcy4NWjFiY33mlD0rXv m96/6PErzLumWT9pg63ra2/sDj0uLN6SmPBVGxK26RnFDenxEOdTv580a8NA xNDe87T9Vv7PWfeSRW3wvui+vRRKwHs3hDjQpjZQmbo3DI8Q8Nj9g/k/mHQg sCB5TOjjNjZo405t5tOBXp2Db+46bGGpLT7RU+o6oGomfvxh0jpGqIl4Lnxd B0LlUz+g/5awNyNkSs5NHVCYEFqga1nE7IjESbl4HWjqJIXmsC9iH8mxSjoZ OqA5opikFDyPuZffrzj1VQeK9h45J5g5jTV+eNYXx6QLF7y0j3Zu9GPXm89H cXPpQuBx36kgrz5Mek5CMo1PF9hH0an6771YlGye9ysJXfCxOIfHPO/A1HM+ bn011oUDd3TJbW5VWFb6DwHqXV24zL47J3TwO3p8WqbjZIouHBSb0nKarkGp +5ISP6brwpe8FyVf/zSg+BRHom++Lthv3HbPUGtFt62q8MZiXSDwEyt/RLej qN2y1+RwXeClHz9vW9WJguPXZyYbdcFbSdZ6x/5edMXMKdf0ty5E32NYtjvy F/mw1bjk9uuC+2T6sQ8P+5BrdMpvt3ldqPzMIp8SPoDO6W8mVa7pwl/ewkO7 3f+h0/QuFmIMCHKJEWuvDQfR8VCFbwPcCNjyH3dFjw4hc+3U6yQBBDEWfsd9 Xw8jytqWWqYoAvYTEW8aXUYQueT8/JYMgrFz3pzXeEaR7tW6vDMqCKadnZTN SkeRhrKS22cdBMnP8u4KWo8h5fn/hPYbIviToKPaPjKGDnu5pXRaI1Diqk50 nRxH4jINlmpnEQSLDOkSz04g4XFl9hQ3BOp7onV3VU2gA9mPfix6I6h5+SXN S3QS8bvSh58IRDA6xqXNHDCJuEUvaL4Pp/n/7pn5UT6JuAZ+Le68jaBc77bX w/VJxJqpmu+dSPMPIp3zODKFGB2eXGj4D8EjoQA3OasptL2fUfTIUwTObgwC v72n0Npvjz93chE4KCzsPR0+hZYeNqWOv0cwmbtGyL85hWZPqp8wLkPA0xQf VBs2hSa4MzizvyFIjX2mnuM1hYabmKqJdQiMiZwMlONTqP+eZ+T5VgS7WW+8 eyE9hXrMW7S/9yCoZTaQ/UadRB3smlThIQRm3Wcinn2aRM01mQURUwjO0UdX m/pMovpbzJ59Swg4zz/T+bZ/ElUbeImjLQTyH4ZUuT9PoIEIj1kLBgBv/1AJ o2MT6G/fE/NQZoD8zYUMz+5x1IOact+wA+xP5LJIshtHXemMLL07ADjpz27U NYyhzk218xw8AM26DolH1MdQ2+mLFVr8AONIjOtnyihq3NcckiYIUNfEpHtI eQQ1BDF11YgCjN1RdePwG0Y/O9XVViUBSo7MOzx7NYQqUzLmTikANF2wOXV8 /h/6vtRscUsF4PrKJe0Cln/oqxUxr0gD4KeRwjsj3gH0efclV149gIiuJlZs Vx/6EK/Z3XwcYHaAN+C6RgdyesTFVGoNwOvXm310sxXtzh6QzbIDMGrpU331 vhn5fI2N9HYCuKcZmpwx/BPJLHZJcfgCKHl4FNQXv0XPba8FGiQCELYoH6tC mrETrkefyiQD9N1y2ZC93IbR+4nUcf8HcG7mae6pS52YY9zPQwOZAJa2e89R g/9gAtj+qtB3AJvfZXryvYawB6KfeUt+ATTmOcVE7J7DyAoJKKMFYNjmzara 3zlsXsflQnQHAP+Y1cvvr+cxy1McX6z+AiyfmlNrIS9iHLGnXeamARzPO7gN XqRiUTMb76W5SKBUEWc5HrKJKW009uzaTYLw/Z92BKhuYQMsL4irvCQwSeq/ njO1hYGwuV3VARKUuNbnaUsT8A2rJ3QuR0iQLnq4ki+cDn997vJhUwUSdFbU K7xqosPtvAxOKqqQoKJcWPi2ED1ecmsqm6BDgn6RnwuMn+lx/1IdyydmJHjB b5ip18WAF9pV0f+2JME1FsYQU2FGfHnNspDnJAlU5O6ebXZjxIO0XPbFnSGB aHfsOv8EbZ50T9VVnSPBwrUc9EmSCd+4FhDG4EoCxUXb3FRnJjz0c+xgsBcJ dH7IRXc3MuHYaZ6HRb4kwBSyEkUYiDhh84nx/FUS+DqvbPkpEnHSE4mNI9dI QHLUu4Y7EPFInYK3F8JIsKzIZLh5i4h/69U89+IGCXZl6ikfou0HjKHfuftv keDdhMOH/U1E3PCgRaVAHAnsRsZ/js4S8VvlHYE2CSRIi7AUvc7JjFc7nDv8 4AEJ1PjPMTSKM+Ns2+O9v1JJINT0/fhvbWbcNMM/gf0JjR8jk6zEo8x4HNrS M8oiQVIXr9i8AzNe//fWUuQLElQv5X9Z9GDGucJ3ZZfnkICpYG4pyY8ZPyr4 yG7tDQmcJH8x/QxkxhNwUU7V9yRoWtlqSQ5mxpsc32KXi0hgbxFKnaXpd9Op +74pJUHq5mzJb5q/VdZX0bFyEuwW6+W2uMiMJ5NMO0S/kaCt92ux2VlmvL2/ 9bZjFQkkb7KwttHw8Uc6aD/+SQIe1UahERp+W+HR6Y5fJBjhTGq+QasvreJy FncrCVb/PH+ax8GMdzutnzjaSYL5rdhG5xkiLsBwk3inhwTWAzLH8xpo+88z rk+VfSTYIPe23s4l4unk1Iv0QyRITNP6QrhBxP/+EzqoO0aCutdT4nw2RFww 6nVj0BTtvXApDP6SIuLPvperzC2RYHEmW870GxM+6EIZlVkjwWFZzan9d5hw cabmNPctEgiTDtnnH2XCsw2Gtv8S9WDEOfyk/i9GfGzI6/1+dj3YF0PIsotl xKWjV1xO7dCDHJNne87oMeJ5ley1DXv0YM+TQp9TOQz4lGtyCJuAHiiMIa8L Ngy4LPMhOUNBPfhXk1v9iJEBLzBSfPBFUg+OHq3ufGxFjxdV2zjkaehB53v3 vKZWAk51H9g5qqMHCdRe02deBFyd1fObiJ4eVBCyvPYTafeGcZjkIxM9UJbb J512egvDal/M37bXg7WeKx7DP9ew9/yNl6+f1YPH2fnEE9Or2HPXtVkfZz3o G2F1qOVcxWLpj86cukjDZ/Iw1VufillprkyIXdODViE5l8YHC9h4jsnQ1zQ9 iCrXcC+pHcF6qP4uhel6UMIu8UW5fQj7ZZDxL/upHujtMD74r+8f9rF/of9e rh74uvQ+cx7/i4XtffLnTKkeyB9cz9U3bMR4bs90rP7Wgw9P8Xy+0DpE7Nh7 aqpXDzycpnZYzTahVVH99r5+PfDHboZdTm1Df/DU1qoxPYiNKuxJre1BOSuk puRVPdjq41ePPD6EHht6Wt7e1IPaT9OdOZvDKP5Byq8QOjLopc6OfcsaRf7y E/XOrGTgnna8ltMygXTdH9Qq7CXDwV4nR5iYRQpF5cZiB8iwKyyw9nPmHBJl HKvmFyJDWZjYUMaxedp81qnaliSDs2BYlOCLBbQx5Wa4IEOGbNeCiBtGi2ha 6/6PYXkyvBsuPNI5uIhaO4a/1auTgV/1h8zkjmVUKbaL/FWbDHHjzL8Dnyyj T35aFR+BDIKFx+cTxagofUcC/ohChve2K792iK2gxDOl6J4Zzb/eJdbk8QqK ej1YHmlJBn3i4ewvnKvogpHGlws2ZLgSz5nI9HcVTUvu/VFwmgwD1Z2n/AzX kC/bat2qIxlul2XdrXm5hqgTna2k82S4ikhO1O01FFJf0nP7AhlKVWpLp46t I7r81MGmS2RoZbmpmvF4HUUnBE7u9SUDG+9NJULfOmL3tVk8d5UMLlbtzUSB DZRwQn0jJ5gMaZ9JG7mWG4hXhZ9xPpQMBn9enhu+voHS+FbYNW+QIcdpLOLj sw10cKWDO/IWGfZKXH69u2IDPftdvL/2DhnKf2htbXduIMmyhyK7E8jAfiP0 0vXRDZT3OOCw3QMyqCV34HdnN5BC6Cmlp6lkoDJwJavMbaCis2pa44/JcIR8 9vS18Q2kRdpDVswig8iirYNbzwbChakmwS/I8E/VoJihagPpM3Ycr8ghg4Ak z6nTuRuoZqjIju0tGeqkh7ZDozeQRVWK0/H3ZCC3cOhfs99AzdlXPdKKyHDZ Ku+Gk9QGOhVr7TtQSsPr3zJmNLuOei6qBktjZCg4LHsB3q2jc+Z8kb7fyPBI RLfE6cI6GpZdvl1aRYa7kYLmVfvXkcfO9kT6OjJUefbZxFStoZm5wv9MGmn2 XdYVXz3XkH9Lctb9VjL4BacKJrKvoZWPV3K6Osnw9sL8R97nq4g+UOWTRz8Z Ehb2FnyrWEG3bHm/vh+i1Y+c3isZryAOraXqtTEycLnmcg7XUBHv1sfO2Hky oF6v9fzSZSQZpbySy6APp8PH5K47LKI353kIC8z6sHPgT8x/ZQtI0WiRWYtD Hz73XZO35VlA2mwf9/zk0YeUkoDMO5/m0NEEJbUJMX3gdruguvJuCrVe5kZK 0vrAaO9t0Sw/iWxOLBhek9WH3u6FXUdfjyMnvg/W7Gr6sJxl10x3fwRdfax4 9TBFH65R1S+eUOpHj7MVCi966INe+OsfPD9wVP3buTrDSx8km4fp2Hs/okW2 lO4WX32gejky4zcykemlNTrta/rQ41T0vij/Hbam8M2CI04fuhZDQoRp/xNx 56VzkKAPcrZvbuUotWDHH0hc8X+gD3l7A0qceNux3OU7j3oe68ORtBmtkYJu zLbMajTvjT5kpEfKPdn/D4uajF7vK9AH206ij/CpQezdgU9cvEX6IOqu3eNy ewhjCT+gcr1cHyLWu86kNI5gygVHKQUVNL626pJ/DI5ijgMR9kOV+tAUZ+qr OD2GlegPR5j/ovF3YM/22b8T2OAV/uSIFn3ovtT9xr9yEtv5yiS7sEMfdnm8 P+KdNYVpd4aUjXXrQ7q6oR/BZxpzY81vONCnD/kv7rj0KMxg9zX7+48N6kOQ 0bnpT8MzWPlF7qWbo/rw6TYeJ2U0i40/NmApnaT1Q+LsPcUHsxhfQ8D+6Vla vll9HZuuWUxvO0dWeEkf/HO7w0L2zmFe8j0k61V9eGFXvhh5bA5LO8d1MnZT HxiIVsuWkXNY5X1wL6czgPVQ+uf1r2n74jffa/NMBuDwc3msv34OO7j0PF6c zQBs0sJjAkfnMBPxjiw7LgOwvLq1L3R9DrtyirUwfrcBkD1sDvYT57HMGK3q Cj4DeLdApCayzWN1ny51L+8zgCTZ58uRNP3KeMa09CEDSKQwnctem8NEBZrp zooYQMD5Lp+V4TnM0pyRN0nCAB6ptdhf/DmHhYSqSlYdNgDfD4bW66/msOx8 d611OQMotTud8jxkDmvtS7OQU6bJFYXW543nMMLu+nPO6gZguuthpw7XHCZD 3vZ/qG0Ayyfunpf/OYvZ+CvE/AQD+PA60ZIUPovdeOH8aFvfAHDv7OWrR2ax t+3Jb5WMDSB+J/X6hxczWBdz9Vc3cwN4jP1RHu2bxhQ9ZEZ/nTSAQu9bc0Sp KczhkcM6g50BtBYuMMmpTmKxdQlc6g4GwBe2aKWnPIENyC4pZ7oagJ/q9YFm hjGMy1GC0uphABixUuxt2wimmWhrz+JtAFyN5Y/k/xvGEhe+RPgEGMDiIGV8 1/I/zKs54dzpawag9WhL51z2AGZW4EyihBnAlRuBJqxH+zGiNyud4C0DqDw0 vPVosQcLGbcK/5ViAMMjPTtPZDRitjUSjmVpBpCXnzSR87YWU81eQ6/SDSD4 wOfeKyvfsLnzmduhLw1AxtU10SYoG3PtnwiVLTKA02PsWSTJKqSPlzvsK6Xh 7VofLf3RgIQyEnWJ5QagWyR/9SRqQT2n1bZ6fxgA45UC+ZCD3ehYZ+T1u20G cIIz0Yfp3RDS/rU3ZHKRFq9wru2exQLa+3bSvnOFhm/f0X/m5xbRchym9X3D ABrFbygp+i+hApPz648YDeFMQGZG3H9UJF75LtiUxxAaJ511TvesI8YXN+zU +A3hR/6VD0K0edB/w1pTRMAQ5h9lOpssb6LHpI3VNRFD0Dv0uMuXkQC7vhgF 5SoZQpmQmNcjFnqYfrTPNkXNEHyZkkYZoumhLnhKPVLLEOy0n89U0DFAtHrS ii3ZEOpvN9V0LzDAxoc/AawnDEHpfKfcW4wJft8vOLVkbQiUnOnMLRkiFF2O Uuu3M4TLL19l9z4kwmU5aWqJkyH86tetnzjPDMO5V666+xrC/nAB0mAfC1gf 2PqTfdUQbmpXWQchVvhxL9poLNgQtm/z4a5prPDc/yG/xw1DGB4rZZ/WZwOe kUMRubcMYeZCJcPpB2xwwzZ7bPyOIdiXEmNq/7KBk+6n0osPDOGoc6fKaQ92 aH5HEslLNQSr3Kf+9jnsQBKpvTP52BBM9shc4R5kh3fJxxdlsmjxFz1n/Pdx gCBL9+lLLwyBTT666LIZByQEO/94k2MIzSuWXzaCOGB7cuLI9BtD0Ax5uo/t GQd4nfVPkX1vCBcV9TjvVXHAn6aNLa8iQyCeSdyOGOEAC/2bbvmlhoBZD8R2 0XPClyLOxplyGp5rocGJezlBRipFXf6bIYxcsW3IPMwJjx8dzPKpMoTCAZ8v DBqcwMH1irXgpyH0kTqKi0iccC1cznfulyHcPXXBvdiAE8bni7sUWg2BX+hI ESNNtjsPZN9OQ2jPsf2RjjihtqP69fseQ/ASYF6JVuEEDZNjPAt9NH6io6cx cU7I/vw7RGnIEIS7HG+Zc3MCv5zTkN+YIZzq3vijvM4Bt7LGzT9O0fLnT1iE /OGAZW6/osU5Q/Bb6vY8/IUDXKPXD6osG0KgkRKr6UMOaFu5cevKmiG807c4 MuTJAfoXOWYLtwzBRtttL5MuB3zsfWCzTG8E58tF9IrZOEDE8sBXVWYjaHKv MWdtYYf7FS+kAtiNwNpt3y62h+xAryJ7v3iHEQjIdt2psWaHy6+K1qjcRmAh sD5os5sdLOOqfgYKGIFvfG2gwnU2wLeOKn8SNIJDCnLpT2XYQO5y5+NVUVq+ Q+6XlDpZgct67FLwESMomObM3SHKCnWH2HeG6BoBT2zVa89EZtC+nxT4Wc8I 9GJCE+6KMsNrRoH+DUMj2PHo/kj6RyLEjsm8v37UCB6OCidw1DEB5YOFVZij EVAoydT73Qzw3fB+amSkEQjG3MueUt1GQ65l9cHRRlBnmX0p9sgWIt4apPeL NQKp2pKqdOFNRKlSveR83wjGigW0DrOuozqjbpL+U5p9SFjnz4Zl1EIRnWCq oNljQVZyo5No0d1ccOuHETicKx9h7RtHPLevnlyuMYJNceb+zz2jyLqmGhtu MgIP7I36veFB1GV86UFVvxHoR7gtxCd2ofULKTXYkBF8tdWOTR9tRwKx2Fbx mBHMPpFRTbFsQQ61uy5kzxnB74dzxINvqtGASZHObToKXK6gN+IdvokxXPzr G8FEgZufU+gaW99gondYsoNYKfA1t61ssawUc/1pt9tjFwXisP2H92VWY7cm bhg58VLgCPe66MxyPZbN/ibEbi8FpP+o/Tx1twkbN90eNhGi2Sf85NR1asfY PSUFyGIUyPdYbVJ73onJxB07piVFgQMnT+6+V9uFmecFRysdocBwZWP5r9Ye zKvuWdlhBQoEIWa4W/EHuzdZNyuiQoG3Qm6mBcZ92DuOZTEBDQroRs9qB4n0 Y/NmlAQOEgXqb42uBOUOYNyXLv9gNKDlUyxTv3DqH6Z8N21tg0KBkV7AhZf+ YSfffJNbMqNAxfGqqTs3BrGr9ZMuU5YUSArCdOPph7CHU7xpQ1YUeOUZemqP 7xBWwol+9drQ9EVTrHubh7DfR9wZ209TYJRX0v628DC2Zp6o0eBIgR9OhBgn 52Fsv1epV6ULLf4FH5ZnD4Yx7fh/z8rdKRA6P5VoXjSMnXnL8bvIkwL0Vs/5 L1QPY6ENKlz5PhQos0n8Rfg5jGVMO5Bf+VOgwztKQrR8GMO5YgIzAingGLRd N5w1jPXJFrx5GEKBysqV545XhzG6o10D98IpMKcQWv1GaxirLj8p4h9F68+9 Yf7ohSEsQbbJ2SaGAtTkel62J0OYTbrZc+04Cpy0le86qz6ECXJVDwomUKDk xgql4McgNnqdLMb0gALGgmyMMga0/XGq/PzYQwocjT3lRFf8Dws8o/my/hEF iGKbLq60fRPqC4cLMihwvc/1dZLvAMaioyCR8owCqm8jXH987sca8/Lcgl/R 9BfWTbTW+jDHuGejevkUeLnIoMGc+QeT3DgoJfGBAvPyfat1TT3Y7MW0C+zF FDiXLv7w9GQXFm6aON5STgEr63oPpz/tGKWM43BJBQWa7iYmyhS3YjsPx1x8 XEmB7tIOEfdrzVgmW9ikSwMFugimaWr3f2J4jef0Ui8FOuMe3hgKyMNiNEZl u/op8E2j4OU27x3MMsfZu3yIAk5jT18YfUlHfTF2s9FTFBC7++QKk085IlAo 83s2KcBfZnkoMqwFVRd/U9wgGMNn7JUQOb4dJUggvz5GY0Cy3LNdz34jQWbV xWwOY/APib2f/fcvgkqRZQ0BY/A4Jz7GiIZRuP72qr2WMdS+2x9qcGYOUT4G awIyBtWWITf/g/Nop+hysCjZGD4MkcfteudRJsPU+qSJMUxtzFhbnVhEeEXX 5nU7Y7DbR0ol7aWiGEVrXScHY0i/Pabl95WKLJ82hRo6GYPx/rXDQedXUF9E 9TaXhzHset1tIZi5irLnyLBwyRgSeQRtT6iuIZ9zWHjHZWOoN1a/Hkq75wik IrrMIGPIc4otm/q9juz0R2o7rxvDtJ8KNfD8BvpoxP9gV6Qx/PubGCpB20+4 TI3PmEQbA4f70tAXt03kbhEsfiPWGOZv7G2j/7OJKo69nimLNwYRpbB9mNkW EjjZU7J43xheFamVf/mwha7acEYeeWgMJ2rZeep2b6Mme11T10fGcEZtve7T hW0kc9abJyPDGPrLuVhsS7ZRtFNmb8czY7h366pT6NY26jvf9HJntjE0lgTc IBwkgOYFeh/jPFp/FpQdzqgT4IGnkkbkO2P4GLC8SrYgwLS3C33ZR2NoIXeO PztLAIpf8s+FEmOQ1CsU9/IkwNOrlQ9kvhjD2PtBtmR/AmwEUc+c/2oM+33i znEEEsD6uqRE+g9j2Ld907XmKgHehdvOttcYg098688KHwKwRcV+2tFgDJE8 uV9mzxPA5VZZJKXZGARnVofMrAlQHjtpGtFuDBlhD72bSQTgjz/AW9pFew/n /7KEShLAL9Hiz/wfY2DaPz5kzkaAhgdhrw7/MwaF93ejbjRsI8nUdz4uI8ag nXfte2HoNop81K/xZMIYcrgVJdTFtlFP+m6G9hla/RlD9twVW0j1KbmOa9EY tuq4xU6c3EIJL/yTjVaM4Wmb8ini302kn9cu8YlgArLPo5J2tW+g9HzmuTlG EyDFW95KIW+glffqpdKsJpD6bfbN6Kt1lPcpzezxLhMYHNzl5X1yDRG//ORt 4zWBwvSXLaPpq8gR3/jDuc8EpOvQQsnfFcRb5XA5TNgEJF+qvSBSqMin9p5m ibgJNEcttP/1Xka19TjDnLQJcJ3gHqu8t4RCW4VTnJRMYPjbz0dJJQtouH+4 1EDfBDyKe9t3XphBMLQnKpRiAuKrG7o6hlMobZRiXmxmAvpzbXm2eyaQxUzu X8mTJvB7wOf2s4fDqHjDi5HD1QQ0xLJ9NfW6UMweqnnzLRNQo3O7bHmuDntQ Xf2v4o4JXPmZJoextmAZQWlBH+6ZwFn63PwPQx1YUbfOiwcPTUBHwGvrS2Mf NpQRtWH9ygT60nns02+MY7OW1veNXpvAnnTfBMLEJLZBJympnm8CZt73JHYc ncF4XH6e2FtsAk9OzS65M81jepK7X3dXmoDv/bpKncxlzOL3P6irNQECm+Yx 13IqZhtb2P65wQRu37rQlNi5gvlM2tCnt5vAi0ee8m3ba1jGuwxbx2ETWB6n /xq6exvLPXd5xnLcBM4xvD+fzEjAi3aTb5KmafwpV5T+CSHgDf7D74SXTWCA JeZxozMdvqF+hGWIyRQCKqfb6FkYcJbxrSdtrKYg5xPEgbsx4NyPGpUqOU0h 601XU8I3Blx60+/sK15TCNG/n8LlzYirvjVYerjXFDp7vcfiyxlxvbN77sQc MIV/Z66E1bAy4bZfS4suiJnC209X+g4lMeEuvnFmdlKmoLJilbeniQn3EXEY MDliCtOX+Koj2Ih4SKtcoJaCKZiQ3PYcRUQ85iYdl4yKKRy2cn972ZuIP1Bt eSagYQpjZhztPWlEPGPkuQanjimEWQjtvPmViOemXv21CaZAWWXc7/iPiBcZ U85P65tCoCfdkguBGa9Y27v+h2IK3/iO/73Dz4zXv55I+GVmCjtVfzk2HGbG O09/EcctTaGPiCgSmsz4IOe9z++sTOHvZ9O398nM+Gy54/EsG1PYvHSAyklh xje8FUcTT5uCu87DlodGzDiLEGNopKMpeMuq6cnrMePczW3cfi6m4LUr9V6n GjN+8MarHGd3U7BRSLZOkmTGpZWDkJUnLZ/7jnAXHmZcdcikTd/HFKyCTugd WyfieikCF1X8TSExREjQsZeIWxhNE8QDTSH49smR1FIibruCpfCFmELtI4V8 xiQi7pKTKMMcbgr7Ccbtb1yJuI+dcwX1Bq0/jzgJmSpEnCtjvE87xhSqFN1y FNaZ8Lx/l7cj4mj87Kn7blfGhJtIrh6oSjCFn687+OSuMuEjnuHaHMmm4EIa 2/n9MBMeVcBsf+w/Wv+6X9fK9zDiwsvxQSlPaHiLOdbv3mLEHcKeFAm+NIXL WbduR/1iwDe+ibadz6XhU86RPuXJgKex5C3kvjUFiIovimNkwNsSS+VVik2h 2LH22DMJetzseUeucbUpHLQ3T3fQJuDjow418XU0/XLUEW2fbSzmyPBIS6Mp yNx1uN7ouIV9K1oUdfhtCk7/mUrEy25gmjW7MnzHTUFokr1RIJqKSU6bJj3i MAPXvwtb5LlxrFKxpaBvpxmcXIq0eG07irkE2DWK8ZpBi9PDX1r4EJZBuMD5 7oAZWH9qJe6804fxcUff+i5rBsZ1N7RWi6uxj6c4X7IqmUGFVdrIobnP2PHH D75bqJlBIDR+1juShd0Ve0b3G5mB4ZH7Oo9SMcSojl+bsjQDjyNSSiXm3ehp iFGa4kkzOK3GOnhujbYPfG0oCbA1A42AH/Q7jQfQNZPeJTonM0h6PiBfXD6M +O+58Bi5msHbZsJ+uZFRVNQyoRjnYQYX/6maJ9JPoPnTa958fmag4zz/6dWO GZSQFRFvH2AGhTq98nvDZ5HsMMubzGtmsL00bpLrM4c8vPeMS0eZAd2pI6+f aywglo/pLD4xZrCL0fP7vV2L6OWKmERhnBn0spEDavsWUX+EsgtKptW3/OCz lcsyEufjivf5zwxYPlpbc/BSkUfuSHHWEzPY0N9R+vQzFeXrfu1vzjIDxHJY Z9ZuBS02p7EzvjSDtHqtkMaZFaTh5q+ikmsGMp3M7sLXVlHouvlZ17dmcONY 6LHqjVX07Z7E7YfvzSDANm7xlf8aYhGl+1BdZAZkckNE7sAaMi/p6lktpdX/ l//VZ8N1dN/sI/EwZgYOch0pDZnrqL3vrvzpb2YwL6jB1Tq7jvZfcbO7W2UG MX7ydt9VN5AjKymq/KcZvFPSsE/z3UDPn+x7O/OLxlfRxC2r5xtoTGGxQ7DV DOKsracXf24g2cp6uuOdZpD4/IByxNgG8rN7dfhGDw2vtFMy/eYGKpkOP/mx zwxM0MWBm8RNtBFpFzY0aAakYb6Q/TSZtEc5h2/MDJqYdxztWN9A0a85W4ym zGCs63t948gGqkUjG4FzNL5eKY0J126gHa24eO6SGWzFeLJMPt1AVu5plt2r ZnBNfWrLnIb3vw2/YI4tM7hk+53OS30D/Ukwf65Dbw6/paIf+S+tI2ExiQYv ojmM/uXJuJuzjtw+EVYy2Mzhsx/sHbWizWvzLqEmLnOQnSaRiqhraLb/gyk9 tzkoVfK5H7m/hoLZ3DJc9psDN4sf+/rbVYSlQ03yIXNw2pXN9FNhFTEq7Vuo FDGHX0ZqTapvVtBd+3pDKRlzmPPt1l+Ip6LmmZc+dvLmEEGm7mlZWkZ8UeFp d5TN4WXQ935P62WUmac0PaVtDlQhGxZm4hIaAk7+QyRzCNtnppRzchFJtw2T LA3Mgaj7+hMlcwF93Pwv+b25OUS3bx74LTGPqiwIOgEO5sCh3391H8804vj3 2zXbyRxS2QZYPl6dRJYBHxJ+u5qDdHzVpY3WcdSV4Tqo5W0OYr/SnmTeGkHT s3V3COHmINC41+BtVx/iSfqv63aWOfA0GRYaS2CIrY27yfeFOQyMoX717x8Q YU98lX2OOdz/GPsuSC4LTaVFfjxSYA72ndjrMN5cbLBnI5ev0Bym+R3r7gYU Y10HA7K2S8yhfZLN8H09jlU+vRjfhNP4Kq4qOnGtFvs8OBRV+t0cnpWH5fzY /Qt7L+547Vm1OVT7GiWllTdhGblW7lcazWHpB3vp7f42LGWywcGh1RyaP4+U WdV3YHGyxieNOs1BSvSUTWX6byzwvY7e3j5zWDi7Q2HfDO1eXixWpx80h3dZ RxqOev7BXP7XcHXHc9lFcXtvSSFJSCWlNF7UPRRR/PYqVCSbjJLKSkUpioRK paiEIqSp+5BRKiQr2XuUvef7+/N+nnPvOec7znPvjq2bB3qsQEkwhv3rWws+ 7J+hWT1gBUXKktY+Ya2Y+l5LJX/ICj7MWMc7KrZh8/kkuadjVmCZnFp5MqEN 79mjLHpjygpsmC72RqLtWD/k9tKZOSsws9icFezSjjcUSk8eW7KCUr/PMPq2 HasJRPy14CeBtgSuo061Y0UzgY6twiRoeB4XaafRgaWuBP1WFifBPSGZ7j7U gQXKpisEpEkwOLmy661FB54V9y35J0cCmWNLax4bd+Bhq38fa5eToE52sD5o XQfuvuGUg5VIsG6pbHbTXDtu+tn2PFWVBN4tVoaxH9txtbxNUrQ6CWofH1mV 6NaOy5i1cee0SPC7MnNhu0g7JuIpkcc3kGAtOVqZE9OG836XXbTUJcHunKmH i6JtOEPZ9Nz2rSRIz8x9vPFkK062xV6qO0gQnvzBuvxiC7778D8nYQMS/I34 FBQk0IxvtuXYDu8mgdIv7+gbxxpx2Fpdxm9jEsxJfT20PaEBB5xIPVBoSgL5 jV/9M9PrsUtf4s5YKxJUR67YfdipGh/bqKgbSCXBEyGLkX0yVZjlEa3hyCRB UciP1iGdCmwycll2ly0J2sKie+hni/CubTwia+xI8IbuwJrzy8e6p88tip4g gWWMUuOqs6+w8oznwB93ElwKaKzxnH2Ixnk4xcEBJNDUDA9/qV6J+k2qPjiH kKBnX9Umv5FfqPWSZTb1EgnMpPzNfRvq0A8R44drr5NgTOtg6fqpFvRUZsPZ 0nsksKJuGtn2sJf7Pzk0LZBEgkm1uwvb5AbQmw9Xz5ikkGDjBB9vwI1/6Itj 3+n8DBJsT2xo66CNoP6PqT45+SSwcT96lnZ7Em1yWef+sIUE9eaaB/1e80De HvZAYwcJrpTqhZra88KeZeGuSr0kMKZ+PrBdig9IuNv59jAJ+kz1p6Ps+cFL 4emJa7xkELKa8GufFITp/prOL4JkyLrWKeIZJwQXCEEHITEy/Drl70TfJgwx bifsL8iRoeSimy/NQQRyCzSOnllLBtHVt8fs74uBUTyjOXcdGVIKV8fPrBGH YvdLtqMbyRBhJ1tKeSwOtYqd1h76ZDilMagdcVsCjvyT/5O2iwwNKcujlolI Qnfh3sO9RmR4bHlLOOu0JEx5JHOOm5LhZj458LyxFITs/VWXZEEGA1dT42MP pUBkJT+72YoMUq3KJXhKCm4Obq1VppHB4+dCtf8BaVhRZM88xCLDuowDsu7x 0pB0J6Y67jAZBjKnBAKapWH9yUJ69REyLD1SjyuRloHsfaNVssfJoNxsx7N3 kwwYKKnTyE5kCLr088Kz/TJQOET9ed2NDAHBKcf7jsjAweILlLKT3PhlCvOL PjJQffdVhfApMqjneGW3XJQBG682kqk/GT45F/BdipaBTlPZ8tAAMvzHkL/Q dU8GPJSNrYgQMgymMxoXH8vA5LDX94VLZPgyU9767akMBJUkHTS8SgYbu13n LJ7JgFBiZZl/JBne9Vi/Pp0iAze8eQ7kRZOB1cguID+QgRX7t3wdu00GwSfe w3WxMpCkcsxc7y4Z1tsEvZW+IgPaozdKPR+QgVrbkj1zRgaySrFZxmMyTH1V SLzjIAO77g8V9z0lw+hiO23cSgYKfFabrksnQ95toTppfRmYnRi6qZJJBoFj 253mV8iA/lmiUTaHDC+l1aT2TkqD5/xNbeE3XHyqdb0lX0tDarDdqfn3ZPgR u5Ti7CkN7XxbiZFPXDwN38w5qkuDShifRE8hGU568jmp/OTydz05+WcZGXS2 5hoJrJaCMulTQyXlZIjWLPd2/CQJArf2GX6sIkM4X5lJC0cS/O90VT1t4NZ7 5GPvpWAJOPZ0HV9APxn6DZAZb7wY3F0/beU9SIaF+RcPPOXEoDrjyx3HUa7+ fpMrJ6+KgnmOix51lgzzJm6Cox4isKKVuUVekAJn/j45ISIlBEt/44/2LqPA so3N247W8ECibohgx3IK3E8pl4nQ4oFdXs7pTSsosFeF32rPv0XkM7ZrqkqF Aqenijcnac+j7pnfUfkaFHDLNNZ4EDeJyoVUPsXoU4AyIX64iNSD3MwFHCJ3 UIC0w6akNb0TiUT8Fb2yiwJOmRfi+GXbkYlkPjPQiAI9d3ku+v79jfLkj/xz 2keBjid2T1sX3iE60+yWvRkFrv0ruLBb6gEajtP9z9acAvJIytZY8QneoLR0 iWZJgfm1b1kVaSX4gVqSym4GBRSWjzZPmf3BUhF6XzaxKHCdbvijtakZB48V +qpyKPBlGy3m3Po2fKykq2zJmpufGJnZ6dqJKzef8Ru2pYCmXP/lF0Nd2PiO iHrbUQp4kt2T8+17sLr7xrOFx7n5PFaX+sr045iajxo5JyhQZbGScf3AAOZH pMpkJwpc+ZT3QsP7Lz6V2nI+1oUCx3PEegQv/cOdst7rLrtRwOjamitLoYOY cZ7v12kPCqxyT7rf4zGEiztvBTmepEDrIc3jVurDeAdJcwPbmwIym/RXB10c xk/f5NXs96VAns6l8XMNw3j5GvMLu05TAN+I3Gi0bgSHR/zWWX+Gu79ii2O+ ywieHnOtX3mWwuVV8dHCoxHsbDt/Uew8BVYYzG1bqhjB9SWRm+cCuPxn11eW jo1giy2r/wwEUcAvjD/0mOQofn8nK6wxhAIiAlrPalRG8QZ+k60/Qrn9Ptca 2aE+iu+6/2rKv0QBV7dJm/hVo1i81uHqyzAKpN8y3yQpPYoD0KT+wysUoJVt 73g1OYL/poa33oiggLD69+2Pq0ewjdzK6yHXuXi5RIkspo7gH+fTdnpHUUDg aNexXt8RvKfLsMPuJgU25Fw+HL59BL8k/YiixVDgpk65ksDgMFZ9e8RgbywF Vsau+RxxfxjfWDPctS2O26892B/YN4x5rl2I1kigAFnW6mtf0RD2GpfbrXCX ArHjHcJBw4O41TalVzCRAt95XroS4oOYWro9dvI+BUL0yLqaiv/w1rucgbpH FDhRF3UeeAbwY/7+uC/JFDB7tjp3urkPy3ucN3n3hKvHVTRmbWYvHkcP7tx9 zq2/y7Z954ZunNfVsd/2FQVUJVRdJ6JbsRb59JhVDgVORskytmo04/i3Qg/3 vKZAr/wbIye5P9j/2vrJ1e8oYG+/m9OXX40N9E6mtBPc/S0pewyb83F+wCyP cyUF1kYmGj21qkaTmd3DoVVcPFpuBwjJ16MtHVWt96spENh7w7i76g9KsUgn ftVT4PPP28/d77ehiOU2IaiNAr+u8u5987EXFVmYex3u4M4DBedcklc/WgjQ P3a6iwLxoXkSq5T+Iq8OCUjvowBV4cxDFashlLZ8ZnPJAAVGlmaO27gOow6L rtVt/ygQmv5u06t1I4iVlb+0fJT7/cZ+2zORo+hmx/MhvXEKJEd8DtXfPoa+ Lo9rsZzk5j9Ypi1TM4b4DoRWOE1TIJrX/NBb93FkFOiJQ2cpkHqR53Hz3Djy yzqceX+eAhnqE9t3hU6gzA6zh28XKWAY6CAZtDSBepdvu/GLhwoHG1gCHr6T SP3A6uBBPipE8KVNFTdNIptA8ZOiglQ4s/1mq9WeKXQ7a+qIhjAVbh/1G/wR O4XKOzpISJQKIXSzh/JtU0hEsXLPYXEqSLjO1gyrTyOTAx91T0ty94f7Dxly 36cBgamqN6WpcGh3ek1F2DTKy4qVSpelwl7rSpnrqdNoqCNksVieCjFT47UM PI20FT0GWxWoUPk6fqX8t2lkf+BQ85wiFe7muEbncteJgably5Wo4Hd485eN BdOoNkvvk54KFW6OP1XzSp9GMp2rXlqqcuvDtxoDI6aRhaLYAyc1KtS3laix jkyj0AOTkaHqVKAE75pa1JpGHwPbA+9rUOFp6zryxc4pNJlV7vFWiwrUUyZz o3FTaHPne9tf2lRYufnnC3suHs6Kz6wGN1BBP/nv6EDDJHp84NZu0U1UEOp5 q/3CfRI1BgZv0thMhfDd6ae/jk0ghVduq5AeFf6oNn509ppAVxT3LZzaToU7 HgNreg6Mo8IDW/7d2EkFa0chvU3Px9BcoEpT2n9U8M9ePv15YRR5do5/bN1N haMHDga0R4ygVMW2jDnEzW+qbjn+eRi1HfiRuNyECp2hc9dqeocQ49WTAEsz bj06uRqRZ/+iqM5odydzKuzUXlOWntaPShWDbEIPUKHLusvE8EcvMghiGb0l UaFV8hwzua8TrTkoPL+WTYV3Byxen934G+nX7K1SOkSFniL269/KNcjsaEiq rDUViqwUQ7UXK5Gr7wxj6QgVnp22KJ43KkC59wZeNDhy+4umdIRKFWCzvxVH o/2owHi77GDTpS7M8ZPYccWfCtoHm/XrHvZgVx4LieBzVKi7cOL55td9+May wrfuQVQwKmooKfn2D9cb5cqah1HhucPEyH9fR3F/yXDPnitcPM4vY6x5PYbn KZs+bY+ggka/4XqVe+N4zYmnrmujqEBXtF9ZT5/E+kPtoHSTCsuvXi/p0JzC ZmdXK8rGUMGUnW+VMDyFXSMTPi/epsLvSBfVVM8ZHKBYc2cingpzBiN2R9fM 4qhHsl5/71CB0HiXdebbLE7aSDLruEeFWErDySfuczjndYRKw30q5E3GfXko MI9LUOlo5UMq9CUMfla7NY/rv/J/LX1EhStP0IkuxQXcT4eHn5KpIPPs7+cX MQt4ving9OsnVKj1mlu7m38RSzm/O5jxjMvfRIrkYZdFvGZ0Yk3ycyrI/v5+ vLxoEesHbJ2+k04F312cs04KS9hM6GT5zRdUaDturTl5eAlzbqanhGdSgfxr eS3p9hLmXvbPBb2igkX7h8cWRUs4IEWDejqHCtHHRq0Le5bwDV27de6vqRBm v+JewtISfvz2/oL9Gy4fqsq9dYI8RK5Jw69D77jx5ynPprjrku/L0ygfuPjO qeus4eEh6ln0kP35VODdfm9dQu8S7m+9wdqDuf59tHm6g5tvwfW7zvYCKiQM 1kmu4tYjMyHCr/OZCj6up97vObSE1YNNf6sXU+H+Kit7c9klrC8amrmylOu3 Et7g3fmL2OzWp8syX6kg3Sv+SNN2EXNWzVkLf6PCwK2fJyVGFrDbs51bF79T QUrOPJX37AIO0jslMlFOhf1rtZRWTszjmx+ymgcqqeAp+DTZ9cQ8zq1Yf+13 NRUeGYfd27x2Dt9cW/BktpYKK/Y5ZTjazWK3MxxC+TdXv/5NFLeYGay+OnzC tokKD15p//r8Ywov+KjKBLdQ4d7WDQoJ9ZPc+8DrDUlt3Pi/BZcN6ibwDc/O o+1dVDDmtY1SfzWGXQvPn+PvpULSSuUEmchRbLZc/rZGP7ee1VdPrzoygufz jcscB6kgd+H4Rd3Cf9hV8qH+wCQVTv/TCVf/247N7HaQJWao0O4uqpsn0YrX vP7hsmmOu37+0K/SqAHX28w/OLnE1VOt22yIw3dsmnFIdFyYBimTEXz2jcVI 7eCy5vkVNHibYn5q4M0Qmn+QPr1KmQZ3oaTNMXQE1Y2ayKNVNAj9lfbXa90Y irrrbX5hDQ1McteoLLpOorm+8mzBDTSYb+5/PVg6j2p3O/7Q0qHBiviolSvo iyg7eqFnvy4NHmGGAL1+CTn/p7MqYisNxEy1ut2deKH2ytVwKUMahAnsFGzX FYDsRrXHm3fTYOhGPiu0RgAit7z9SEE06Lxu36lzRhD21XePxOylgYs3/V1B mhCs1gmSyDWlgb6m3j1jI2GYDVZYV7OfBmx3f6WpUmF4tW6fjaIlDa4mY3uz HyJw/fwfv10kGtTu/PQ93EwUnCt8og9RaEDSHDEgvROFvWvFMs7RaOChrfHG V1MMVM88KrnHoMGgLV93dYQYzJbtavvIosHydb8VqH1iUKNaOdfEocGMN1iW gThk+TgtXzpMgxCxxzTNaHG4XrK4Rc2WBic07hZYNIgDeHfrrTpKA8V1lxuX FCVgXLl8q5IdDTh7l322IEtAasnrbYrHaTD9J91BKUQCbLzv6y87QYOdlzz+ OqZJgIzK5e2yTjTQDNIu1iqXgKIS9x1SLjR48MEvkT4gAf7ejJ3ibjR42Sdw oo9XEjapGO0S8aBBqpUAp1tWEtpL1v4neJLb373iiQPKkhDnLW7A583FXytA UElVEg6ojBks+dCAvGN9LEdJEhZLGgznT3HxjswclZSRhGzvQqMZPxo8C5TO 2bskAY4qabsn/Wngavw9RbBXApRKo/eMnaMB//3zlXZlElDufRYNB9DggsIF H+enEhCqYgf/gmhg7jE5vjFAAnaUmhv3h9BAnPK5lzgoAf3eW0x6Qmlg7d+9 sFtBAh6orNjbeYkG+ztGZz/UiwOtdGlvWxgN1AY/5zDjxEHIp2df8xUa+Ce4 La0jicPJ0jyz+us0yILWs2MZYqDh82B/TRQXz7I3vFsYYlCvEmZedZMGs6ob Xm+cFAXwYR74Hsutv+GC7twGURhX2X3waxwNjCKzz6h9EoHUUg3LkgQunwVH q59ZioDMqnErIpEGCwlhytE2wlBU+oeU/4DLv7zKV0qzEPj7fCa/T6JBk/Li 3002QtBaGkPNTaGBlB+Pl5iVILzy0WOmZtAgYqFpp7QoP9C+eNrc/EiD1iem nyk75pGQL8s28hMNkmtUiqOHZ9H7VXuORBBc/upYT5alzSB1X8ljl4pocMhT IvmdyhQaXZVx3P87DSo33XZgS46iW759rscaafBh97pvWxZbkZLZOW96Mw22 x2Z+03/chB6vEPc3a6VB4DlBx+ijv1F2vs5lnU6u/gXmdjG0fiKDm/nXVnfT 4Eqq8oZ0hzJUYE+KkeulwW3pnxYb8wpRpbDXw+kBGoi4yelpGCUhTgPP04F/ NJBpl2bvWh+PWzOiM5qHuH70vPri36YcPETNeVc0RoNz+aof8jeWYD+NfcSb Ca7e5KJE14h/x4uT1SVpUzToefewJ6iyEkslTv66OcfV36msj2snanCcZ3jD xQUaDLyk7oywqserjFe0+S3RYFti8HxkUANOkX/e48JLh4b+UcPM8Eas0/3f oA0/HXw5DreCnJtx7tuycbIgHSRyUSJJphUbXbOeMxGmQ/IMOaq5rhUX2f7l 3SFKh14LzcuVEW344JZAkfXidDC2WH9Ean07ruKTklaRpANNmHomIrsdH655 oCAtTYcobJWL1nXg9mebVfhk6bBSNjxEL7wDu54j1Cfk6DDxpPGHW1UHHrWk ru9dRocjtroy/KKd+Ozq9s1/ltPhgUv69mUbOzHPqM+O8hV0wI1994p2deIr Rfy7C5To4OL3lddkayeWiY/dm6tChzc3Nf0KFTtxvIvmgWeqdJgMst57qa8D qxrlUe6q0eFbcHrdj2cd+KnUfnakOh3yJQLS/tE6sG5bnW2IBh0qxK6oGgy0 47wcZwdfLe75fbx2st7teE/YjKujNh3+S8kz/d3Zhos5Ed6HNtBhsc9Ibcms DVtuVPa31KFD+4fdd6fiW3H1QnoQ0qVDT/VXycCsFmxTaXR56xY6vNCUc3oh 04w7H/+4prmVDvtgp9staiN2P30kZoU+HXI0u9zIpxrw2P6hBPEd3PoPL/hI navHfP9kno78x8VXJ/du2LZqHIEfZXQa0oGqMoRq+n5i2ZitOXW76fBK+uDf RzIVWG0ng8g3psP+ONeHzULFGF2Ib7hqQQcDoo4kuvwsClBQlVY/RAfXzYIN Ihb16Mcr0cPImg6rLKgjx+78QaqkiRQbWzqkTDuW+PY0Ixz23SDejtsP392L vO/bEd/0OUcJVzoMhgxENor0IVqs46v17nQQupvQ7HW1HyVvoc2bedJh5ErS IWOev2ify/qYCz50+Kiydf/574PotqBC04NTdChOj9o4Ij2Muh/xaH/0o4NS 5/ZWInsYhTfU5U+eo4P26MHoyrYRVO/3WWRZIB1Yv2/5aHmMIm35TLpeMB0c YeR90dAoOpt59wHpAh1uPa63Ri5jqOxgWJ/bRToM4PWg+3sMKfV661+9TIef 9cuCN6Fx5HbJNvhpOB2yrv4X2XR3HH1Usyj7fJUOZ6163ToGxpFEvr5C2zU6 8Ht41fbqTSDbQ2rHFiO5/M87eCS6T6CXE+LpyjfpsJ1c1PLq3gRajJ6a2BXD 1R91ULb90wQi63YAK5arf362yUDNBEoqK7/mG0cH9WMdG6NbJ9Cw4/vamwl0 YEy2aN5vnkDG/E/XvLzL9VvABePmigkU8zDa/VsiHezzWx3W506gDsPAN70P uPtZDscPXZtA+vXOfEKP6JBaf02ezJxAl04xrNYmc/0sLGs/IjuBamQgAZ7Q wUaRab+pYBxpvdjYYfuMDhsWZWwm7bnvWwtF3fPPufk1jWtNp8ZQaRff2YR0 OnwdMn2oHDSGVoQOfn79gg5DfduqAqdGkYtqg9SvTDosv0z+7X98FL1/X3xo +BUdLr995bG6cASJsV+lSObSQXpePjZCfgRZjyUObcijg67357jf7GGUceOK gflbOrjH+M8cV+XenzaeunziPR2uXW6ZC/L9hx44HFRO+kSH6158d6Kq+tAQ z07HfILrB5rVH8+mHgT31V81FNLhF2mz1c3KLtRWM2OmUMqtNztmatC7DWns T/WJqOD6b8uVqoqKcnSq41b+s5/c+bQh9EOEVREqDg4WKf5FB8tIb48WoRzk +Jb1YKmODn/yrbQCc97h5+sFy0610uHJjeXxxzWbcZWK8ZxHOx06Zj9lj4y2 4XnpQB2nTjrEmfMdafzTiUmT41GHeumw1miEl7eoH48XdtL3DNMh9M+QpafL GAaboiZhHgYMUuL8/MO47wcyjzQvHwNu8DUOfAnhIW6ZGMEsPwOuUCLyIox4 iW7t3Md/hRlQIB936MULPuL6RLLTT2kGFC2dvRd5UpDI621JKJNlwHqtzKoW RSGi5Y9y2Wd5BqhN6N/x/yhEbC28pZOnyIAT953PJswIE/VRF0furmZAuV5z 9e3dYgRfKFaPXcOAH//p2K0sFCM2np6jR65lgMWP5ojdxuJEkLVvXvA6Bky5 dL7N0ZUgUkmZPf7rGTAssiswK1GC+Gk8sMJnIwMY269cSBaQJDS0j5932MyA J+LOK+oLJAmS8sMMWz0GBIZajlUvlyLOSP1pYm1jwGZPww97TkgRSbyK0pTt DPC/NJMznSFFlI3TwGInN//3t2d6/0kRYz1R3ib/MSDc3Ixvcp00ofKn7LGh IQM+AvmDuLU0YVYuVK2/mwG56e+Cl4dLEycLTAR1EQNuPhBPE8yQJhJyg3as M2bAX8Hmld++ShOFz947qe1lwBljtoF1qzQxcHcyYaUpA4ay0oRfDEkTy6K2 lsntZ8CKS3fl309JE3sueM6JWzCg6snMlaBpacLpVJqO4EEGvGzbqDszIk3c dOq2XbRkgHXTY8eNndLE+8PqN6ZIDNCoYW1bWSFNdFodIYYpDDAIMdj6NVua kDS+O9JHYwC963nivhvSxA79WvUOBgNi9lTvi3eQJo6tk2M0shhgHr0mpmKr NBGhRLpcw2HA2anYgMUZKSJHMiKv/DADMrjvl53vpYhGnpKeUhsG1Fzd++6m rxQhNM67suAIA6I/DMepa0kR01kJUZ3HuPk41frZZZLEgMdmAZHjDJjo3bU9 2kmSqOyxGSI5cflNMs/viJAgClPGHHxcGLCJv+J4tqwE8dououG2GwOOK5y7 GBYtTtz986a48SQDMkU1HywPFCOuJ5AMeXwY4Lm2zNm0T5QIZnZlrT3FALne FyuPkkUJhwq5RFd/Biwv21LLFBMhdD97+EyHMKDd9/qbbhNBQi1EoFf5ItcP GX7vhi4LEPK779miywx44Gy0T72Yn5jO+2IedpXLz8rLj8z+4yMK09auXhbD gMNprkMk7nueFfP72+ZkBpTxBAje/TiMzclexvQnDFA2v5P4VHcQG0oIv/F7 xsVHx9hme38/VgvTf5yfzoAK9nrpSf9O3H/2hv/BXK6/4t9/pG6txI07tAY9 87j58/e/rYkqwhVjH4/HvGXAHf667uixVzjXo5/0+yMDLprZ7K158x4F2Zlq OhUzwD4r3JOx+g/yUm28G1HKAF+k+XbftxZ0/I+PzMuvXH96f7anrm1H5syk ufEfDFizaXxrLK0bGcjt9F5RyQDthotXnpr0ok0VP7oNqxigSft12UOxH8lZ zP0MrWWAYWHN12T3f0hAKGb/03oGUH+9LZ0ZGERThdr5Xxu4fj+3Q6dPaxj1 B+Ot/xoZkG3k9a7tyzBqNGKlyrRw9ZQY9fCt9QiqmPm7Sr+NAV1aRar7W0ZQ Yd7FW+wOBkiRnud40EdRrq+S6PkuBgwYCmgsezuKnm15FfSghwH6SiuvrJcc Q54KIzNv+hiAItZ3X6SOIf3ZLad/DnD9xFdd9DNsDM02ew33/2NAit6Zn4ov xhDxOctNYJjb3x7Lq3ZFYygsdbh71SgD9sxIbi34PoYsI7fY7xxnwPvRwApy yRiS8/Fqokwy4Bbzm8KmV2OonpXFcZ1mwLWlVk5w5Bh6YDj86+IsA1quPfL3 tR5DDmpbyPfnGbDs7coyI+UxtEHQqyxvkQEuL7MXlv0YRcN9maaVPEyI8jzJ Z+Q9ivLKh4g+PibUfDLunhIeRQE5m434BZlQEXYpJzZ6BJkknHyjIsyEnJq0 gw5SI0gkMHPrDlEmPJTVR5+ChlG53dALsjgTztIHTZeKh1Cs2eb1LpJM2N6d WaxwZhCpyWSuTpRlgk+Gkve+uAHUPT5497U8E57leO5ZIdSPMn7rLq9Q4MYf T94yadeLdiW/lOBTYkJVtfiX522daDF8MFxZhQlK+0L4QoQ7UJG7Lv92VSa8 YIjdPraqDVF2vJxxUmfCJVdVI1XDBuT89UX3jw1MeNT7T0zcqBDpvvxn16PD BA1tkl3542w0HrOpiWczE5hnJG74NdijEJsXv7ZtY8LYWFI5bakAJwxlEHcM mWBjXzfedfEPPlL91zBnNxPeuoO2nWwr1nin8+Y7YsI7r4tB47btOCs048XS XibssvL5r7SvG39RyLh7wpJbz9h+r4j0IRw1O6AQTGKCfMVa04K2Ycxo2Rid QGGC8jO+14U9I7g1NT38G4Nb3zepT0UtY/hp5ABfF4sJX4prdpVUjmN3n41B ixwmtPw8zKp4N4GnDdNP6dkyQdvFOVPbZwp/UhsYOnCUCXfGxD4kwjS+JLjR zcGOCQenWk4fE5zBB/pduwOPM0E3+Zm7HDGDZSrS7OJPMKHg/uAtltcsrs3p b8xyYgJ9b8rpWoU5nJiwgVPmwgT3rWI2xllz2D7Q9VeHGxOsS3vOWqJ5vN4+ jbTgwdUH/JPOKZzHX+4bZI2e5OKd4q54c+sCdvxdJtvrzYRT8/N6PfELWFDB 2rfJlwmHdt92vDG6gFMoA9VVp5nwWWBvmoPJIt57/fyOL2eYYKpBGt4fvojb S8UT8s8yoZ3fbNfqgkV8gT9xJvs8E+rWj96pGVrEakjHOjWQCVJ6amRr+SWM z338eD+YCQGWBz482biEj+RZqt66wIQbDDnvzF1LeH6kMfjKRSZ4WkZt9zdY wvc2ebQFXubqTcmBV1BvCRu4LJj4hjPh+a6cpaMqS7g+JTLF+SoTXP59i0iY X8RnWlcJHbnGBLiaq/X55yJervLSiR7JhFvaQWdn7i3i1+w9X81vMGHlTjfj w9aLmHGrfMOeaCZESA6Yi8os4tHyI9e33WJCWJYnZ/P7BRwtNvRP+zYTsuqV tWYPLeAtZsFk1XiuPjQd9iYOzePyC9Kv5O8w4cz+cBGr8/NYYmbzqcVEJviP Ke+rOD2H0/WJmrEHTCjTX+Ov1TWLD3hRdvYlMUHOY01C/MFZHN7jNfsrhQnh mzwx39I01lrLa/P1KRMaC0KupVhO46Ij0fmfUpnQ5bI/PDNmCvPVvgp5nsH1 Q5KU7znRSfxI1qT9wUsmHB7nqV4ymMBgVbU3NovLj9HTMX/HcRxYNCoUnMsE cpiewXjGKJ7O3hbJ+MiE+AkbjXKRQTx44/WdpW9M2EydXvBSbsKR30y5850J Fy4XXPY0+I11hGtt+iuYkCE2qfn4aA12CZpcXfOLCR0uak/9r37Dne47n6b9 4c6LsKoo6rer6GJqqXBSExMeD2Svl1F8hdQ72S63W5jQzFr4/DnxEzpm7a8T 0sH100olMTD+jpbiRKJOdzGhLcn+/YL+T/SgKmHItYfbT/RCmKJONfpj8S6b OcCt32JVUuqH38iEnMI5/Y8JodXLp4fDGlEa48Zi7BAT9saPPutZ14LkDp9L yR1hghHRtoNc3orOHT1xoHqMCXpfxFPvj7ShdgfK8NgEE8pdhCvm59vRAVfD OPlpJqgGF/jcHupA2Se1jLbNMkHI9NjQvS+dSOm0bDttngnsV+lPKeFdKPTc fLjPIhNC1pW68mzs5v6vejbF8LCA9FWgQyCnG9EuV/16xceCc5z7/UWqPehd RP7ZnwIssLin1Jfr0YPUbqauHhFiwUoDUw32wx505fatYhlRFgjxuIob5fSg 4btBblvEWaD45cd5vuc9iJPkIkuRZMHS9Q2L7JAeRDxhvDkpzeLOU/mF6V09 SDsd2d6QZcEfJ7XxrKpudDNrA3+mPAvaHL/EH7bqRtOvFZ6XK7DgzMvyiZbU LnTsAw95UJEFBX+2Rhl0daIvxMC4pBILNGWiHXz5OtGWktq7m1RYoLujWzSZ pwPFfysAK1UWSO7NfDDS0oYWKzO63dVYULvtyI+4pFbkWBt//bo6Cwzvm53L udyMyv+Ebs3QYAEaWzm7JuoP2tHmUf9Ni5vfWaRin3U9etDNCRrQZkHkjqPz goPVSOjvXg3xjSz4Qb0d4LH/J6qdXOl1YDMLwvxeBxY/KUR75gWWu+qxIK8p 676Fai56yjv84eo2Fuy+Wmh6XPAC8pMoEf66kwX8qf9Nd60oxArqPg/3AwsO 3mJdET3cjAPW2Zo6mbAgN1bv0KxoO+7UMR8I28eCjJ1KYzDTiXN3qu4sMWcB X5DYLkmxAcywKivfR2XBvhWkD797x/BH2utTDnQWCPqOXdt/YwJrcJKULjFZ MF3gt+nDf1N43N7P8fMhLh6nzFe1xc/iW/7qi8b2LLh01ND4TDYPUZV8bhPy ZUHEv5OqwSRhQo4n753BaRaM95ffXC4qQtBtRkx3nGFBftOrvmOECFG9zPnI pvMs8C3qWDu4VoxQ8E7u1w5kQYrXvunkCjGC9aPZTyOYBb9289aM+okTdZeZ N5QvsgB+fT5BfSNBrGi/qax4mQUla5karWRJgrPn+zO5cBZsyyLtFOqQJBom TQjRa9x8D/JlN05LEUr0IEvBSBZoiDxxfntWmrDOfFfPc4MF189cOz47Lk00 Om0ZmYrh1mMlotXnJkOoFLkFjsWy4JRlQfqlhzKErdoz0aE4FlDs61/fq5Ah HgS03+5PYMHW6oMlK+dliOb6Verdd7n6l+G8H9CQJVS3H3rZlsgC8bjaqiUL WeJodKxB0wMu3jEiH03dZImkfxUl9UksaE7+GvvyiizRaiFOr37M1bPHugmd x7KE2lOzlooUFsz1Hh7PfSNL2PGFun17yoLZZDVdo6+yxOMj+VMlqdx4d4/S d7WyRPv76YuFaSygKgf6aLXKEmsV9WU+ZbC48/A/n4AuWcLB92Tiu5csKBuY SnzTLUukVKRpv85iwePj147UdMgSXRu7c7OyWSC8O/1ddaMsoXVljXFGLgve emSY5/2UJRw7bX48y2PB+ajI3QGFssQzSDiU/JYFIipMuw2ZskRv4q+uB+9Z oCxfKFcSL0toz0j53P3IAsed5H2sAFnChXlg8fYnFpzNvHq2w0aWSHt1OSKa YIFD84fPZ/6TJfolC5ZHFnL1R/zLV5WTJTa4zj++UsSCI3uNrnR1yxBuJTs3 XyphQcjZq4UNb2SIDHXfD8FfWCCTEx4mdVmG+Bv0cv/5MhaI/ltjF0OSIXT+ 9P3y+86CXsN9B88ukyE8dmoe8ylnwWkTqX2ZL6SJwaF7/i5VLOjh4Y9/8liK 0LWsEzhRzYJwzbH53fJSxMlUuehjtSz4XZB+OzRQkhg+dvU5u4EFxCvbkV4k QYz99GswbWcBZmlJ3goVJfR1sx2NO7nzga6/trNEhDgV8W/UqJsFxbr7w74K iRCTJg7i+v0suF1kre18ToiYzqEaqY9y59M+9/Ptu/gJiV07yuXHuX49IFw+ dYKPUPuodExwkgX27xvF+KN5CfOijou9MywYqDtxzaRoCd+pPv3tJS8b1IOv FeqPTGODiTuHDWXZcHzyqrFlUzcmnQ36qyPPhsu/r73wvNOB7Rfsg1QV2DC6 gaJ452grjhDUecy7kg1iY7/HOSrV+I/Cp75SNTZ4N9G38C+9RMN3Hp9/p86G lVHve56rfkYCquGS6RpskFJ1VqjdUY50tCh6Udrc88MOz/wr/I0CdrT7M7aw odi5Q/ppDHc+vy8RM9vKBkKQ5/SL0l6Usic9cac+G3g9rlk7dvWj72anCKVd bEgJvqT+u34QtZZxaBIGbLC2NhSsYg2jcdLuzgVDNiT/Onzykf4IWsUWEmlD bJit+jT97eso2vqn/06VMRvGPLfrNIaMIbOjFRuL9rLhiulSArFhHB3uyMl/ bcoGH8SnY186jjydEsjP9rPhp1fe40zWBAodCGhLsGDDuG39jfv1EyjupJ1v xEE2VDvE22pZTaK0MVPBACs2WLbvsTqQO4k+ndkQ70Fmgypx6JS01BSqmpNa f5TKhkFt6psLh6dQd/DYewqdDQ9NrxRk35lCs/z1liZMLh6NU7Pvvk0hqSsf m7ex2ZA7YXU+d3gKqUs88tI8xIZDZ+Nmi0Sm0Y6bl/kUrdnwVtwXyy+bRgeW ucaK2HL5YPRFlMtNoyMJJK3ZI2zYOFZxQVtwGvmobHs7cIwNO4M75A8PTKGw JMUDTfZsCGuPbE0qnkJ3Neb/lDuw4ethtzsodgq9TG31IBy5/N+/0x7InkKF OsVLr5zZ8GJf85ZU6SlUm/U8OtmVDXZd2U+k8ydRv37U2tvubHg+a9onemwS Lb31eR3myYbSdyF8I9MTqFEo+9pjLzasqVXNVQ2aQO8ZI3affLjxL4+ttZ0e R6eGT0pN+rHhXPcGp1XlY4i6J7NT9iwbhtQmNXI3jCHd64PvN51nQ4h+RuOl oFHUu87D6UQwG1Z9eFazifueKz6dsfvCBS6eszHaRgeH0ePPA/L3L7LBw92+ vYV/CNkedSWqw9kQuw9ZpucPoKo4p5X7brLhg275q86fnSiz8+nQ0Rg23N87 urFJrANd39pdfD6WDfdOailkG7eh/eUOPjkJ3PijDd9f2vxBHwXtv6k/4uL9 5b9ijZQydIf+6NGeZDbEzzzJOvH7M/J71Hrm8BM2WDT5f3x97D3asvuoRsxz Njz2iYysrDyBJK89mH2RzgZzwVUBnkbPcH99U+XXF2xIYAo7tIS8wU9O2QTy ZrPhevwj55mREhxaeI++KpeL5yE+g+vrv+NjMn/W/5fH9dPYijSXyEq8+4gS D/MtG3pv6PCMtlZhpYxDtV7v2fDxHe1AiGQNnppJyLj+kQ2N839MrGTrcPX+ +tDUT2y4Vli1Oa2/Hr+6rXioiGCDltjHKt6EBhzVwdrcWsgG42LFg78VG7Gb XpzgfBEbKMOaA5XOTdg8uOaPYikbwn8HLKZcbcZaP5Zlb/vKhpdt/KG6Z1sw vzLjCvkbG6I++3XrKbfiVudbR9x+cP30cP1tnWOt+FNelX54BZe/0KhXatda 8T0BOfHkn2y4Ezam/OZeK/anUds+/WJD/iL5RGp0K2Ym3XzTUMP1m+TPuY/u rXjrYEXkZB0bPtmJkn/otGIZI2kHuQY29FRa111MbsH/rpIMdBu588L13qp1 b5pxWV2kzIFmNkhbDR2Li23CqZo/uk+0cv2VeVVcwKgRX/aVyL/Qzp0fX8PG C180YPuCg7fud7JB9naosRkXHyR9zeVdNxtEFqd2rBmtxSq2Zaimlw1JK89P CZVU45k00eUj/WxQlO/TK3OswrXT5n8l/rHhiPPxwHdpFTjH7Eqh9hAbArx+ cB5oluGbsaUJ+0bY8K36+pkkKMIHt5iZBkywwasg6eGJsBeYp6aG99QUGyqV Cj64dQbgvLMnPrnNsGFX8PvBHb7PkPrnSzutF7jzYv9GyZLtRWiW+Xm9gSAH fM6knVnT/xtlzdK69YQ5IPha7sjkmmbk+LD98XpRDlBoMd/TdrWhql5elZWS HOiYfJHt+6wLpZ0HqellHLArLGjg6x5Ex9Qqy4aWc8BRSiLx56NhtLz4aHjP Cg5A+PZyetUICpUK5qlT4UB+Tnrhxh3c+fkof/S1BgfWPTnzRHFmGsmYWWW+ 0OLA9zs3j/hqzqKS/ka3J9oceMk04e8mzaGt+vOdsTocyHzxT5aIW0CipQZ1 vvocSD+Qf2PdBA98ciu75baDAy8GpG1zz/DCKZnDlOO7OPDn68U7kZO80Hro 7FeaEQc63ZX4VvbyQdyiSNiBPRyIj9r53PwwP1gmJ5iYAAfU8veM41J+ePv3 zQe9fRyoHTy//tYtAfCM3u+/3owDPanPSs+NCIDGjjr9NeYcsK28nlZgIQgN DY4jKw5wwNmhQWBboiDcDJ58IWPJgQuGxTaJvYJgphHmKkLiQH/M1ic/dIVg /ovCOh4KB/gSapl3PIUg2+NJxxSVe76nYWj1MyFwltueNETngHrWkyFWgxCo vimy6WFyYKj+2/o5QWGotmasbGFzYPVDVtyDDcIQwdNZU3uIA3mf1MLXmAsD PPGNKbfmQIL5poNOR4Rh0oKfXGLLAd0VlntYHsKQMRgj/ukoB/ZlO9TVnRIG +1vqX17bcaCYdex1PXe9Ylf2pRfHuXh+zkgz58aXNxobPznBAdNMaqkS97xL F34uJDpxIOT9LTvT/cJgoGX3PtaFA9Ob1FYVagvDcNmw33U3Dry9kT8cyScM T0+GbLvkwYGud4EbnlcLgc0ymeHzJzkQXe/po/hQCOTePczw9eaAueXXby12 QlBqu9nFzZcDHjvvxEqs4n4/7vzh/mkuHvbTuZalglyfPJKsPMOBbzq7FAyd BSHNo+Eo3zmuvpiateNLAjDpI5+tH8ABh4kCvcQoATDxtxRwCuLqV7jKnbNM ACIDL7PuhHDg96orxcxoftC4MjW7cIkDze/FdJq8+cArcovVlnAOqHT1/6yr 4YUPMS4P7a9y4I2i541xPV6g3f+ztzSSA6eeuEiSny2hkGx8/WYcB8aOqcd+ jZhB399MNxcmcOAyKa/lQtcUUszX05u4y4GR7XY/7m2fRC9Lk2sOPeQALXI7 SezdKGpqDFddm8oBjXsTUUal3chAmJL1+h0HyqJfSDWlVOAwiat8vR84cL17 7NYZ/zr8U7aQofSJA3KBK4x/yrRgZxX9maBCDty6ZcLoEOjB8XorTMy/ceBd uUv75ItR3L6DGnvuBwestZJzmuzHsa5RRHdGBQfogd/XWEhO4hKz+QjZag7s ydS65otmsJzl9qa9tRwQIjKykotnsS3Vc7NfPQf+1i6mGO6Zx+PWrb8aGjlQ Qt176gf/Ega7lVqSLRxw+pYQ9GYdD3HNkeaP2jhQlemxy6GYh6h1u1bm3cEB iw2VLUmHeQl17yKVlC4OzG2uIjR7eAlPvwXP2h4OHI66lZzpyke8P7+jQKSf AwpT0yNLnXyE0IWT8oZ/uXyuqm9oZPIT1LDUEx6DHFBcuOgjm89PJF5re/Nw mANSk08qPZQEiN6bSmJVoxxQrqNuLPUQIPTj6DYCExwQubBvaCpPgAi5d/3l jikO/PTeU9MyIUB8TyrmcZnhwICqx/jxDYKE4tNF2r05DqzPqfvpyRAk7NN3 PvmxwIEr3sXuw76CxMssr6mlJQ6cKVQwb74iSPwPrKZb2A== "]]}, {Hue[0.9060679774997897, 0.6, 0.6], LineBox[CompressedData[" 1:eJwUl3c8198Xxz8fkT3KCCGbkLJ39+CDj5mW0EJWUUaKfCWzUPaMMorMRIWi vD/ISIjMkmwyszef3+f31/txHvfcc1/n3Hvf93mE7NzOOFDhcDhnWhzu/1/h 6N2X6QI1Jye6DpcPpHSjCrqjR246ZyABExZDlafdqManOFvS+Q0au5u7rJva jeKVxy4xR1UgLrtHz/c960YNJzyc9jtj6O5DRYG76d3Ij5P8gZxZhxZLz2ml ZXWjpDi9kzuRjchkbvutZ043esP6pG7D9xu6k8omuZPfjZqe/CCuOn1HvT11 yipvutFCCNOkT0EH+rPD5yJS1o3u1705up7ZiZrXk3RJVd2Igeqs653kbpS1 3irHXEeJD2vFy5G9aHJZI43+WzcSefB00SPkJ6I6R/XrfWc3Kvmsqbjg24+u 4DAtloFu9FU9+OOs0yDSstQOblrsRoWa7P5Kb4aQzveCXondbrTYb5/hVTCM Xl49ripP34P8eelGljJHEVayXkkQ6UFfPlrtk382hhrdvQSN5XoQg1WhqEfy OGKnt+PdRD0oOdnM6V/kJOr/8E6BeLUH/VHODJMN/4uS5SZDJt16kGjPYv7N kCnE2Tz+XSqwB5VwJM7O+M6gj0RT7GlOD2qO7ff46/QP/dllSsSt9aCwlKSv 8XIL6JF/CuQy9iIZZ2St8GYBEU6P8c4I9SJP2tj/PAsWUS+Z38rAvBft6SlW L2Quo5ERHv+T73tRFueAWYzACjqZJrRW2daLCOOhg8efrSCTlIVL36d60eOQ Xpxb8iqKpo5f+SzUh7jrfHXnItcR1YiQ/KuUPlQVJ9L1hHEDPWX42dRd0Yeu 2LXYy4RvIMZgCcXU3j6UjRd46BKyiRhe0OQOcf9EclDTNOW7jR7ZpmBXX/xE Rp9pzSacyCjcN0xbsOMXkiPbrXItkNGzx6e5qXZ/oSeCV9tENHGwk6wgGH+0 H3nZVd459wUHGg0BR76E9CPChPuXsi48nLn9+thN3d9oZG7A1md1H7TIW/WZ jgygnqjHZTFq1LD34CzjRZ4/qPm4Gn3+fWrQDtHiEDz9B731SCj5SUMD9Wl5 cV21f1DgqhFZnWs/xH1R99spHkSCuxXPdpXp4J/87Yr73UOII91hgfM/Ohja iNleXBtCdIidIIvRQbes0Ysm7mH0L+DWzBUDeug9FdyRfnkYVVOLqZMuMMDZ vvmOrZlhdJkprjfIhwk6l574dxweRa3MyvTUl9ngy0BKSEfzOPphfDClzY8N yj6o39ZbG0d94fPiT5+xQYA9bp5HeAKN0eQSZH+zgeHTiJvjvhNoZ/dQgOXF A5BvEG3PJDeJpOY314qsDsInC739NW/+orC2z2PnLTigpfvi2I31GRTFlHpb 8C4HlOTOHD9+fBYlGN2lmknkAJNrY2vnnWZRRoOsYEA3B2TJOBg1982i8uqM iwXnOGHjzXtLImkOjRcH/tg7wwWiawuXL2f9QzrReqTcU9zw5ewCnV/XIgow ep//4xY36K73yYesLqJqGpH43UhuMIyNd3nPtYTU/XCOZ1u4QYLmwfXHVktI 4XoVI5nIA+z/aYXQDi8hUV25CxY6vPBSXbmuZW0Z7V/nm6dW4oOQierD3mpr iPD2ce/xc3yQXU93yPvKGgq6uUWyvs0HqEHZ83HwGtob7Y0vKeWDeKX69rnW NbTeHqd2SZYfdoPKyA+uraO/BXSh7yQE4PKn1BKq2A3kcHyLWY5ZEH5LvP82 OLeFTPof5XALCALNi84LqVzbSPERpxbuuCCcHs4y00HbiHrwhOt3c0HQZ9lU ORuzjV5EOTXfTBCE22PcVQS5HTQ41/Ww4LAQtNc4sZa47qKGp3YCcTJCQBKo O20dv4uK9RbK7mkJQfIU6+EfH3eR/3PGceJVIXhNvXdbaP8e4jPV0Z18IQQz GXancc/2kFXRG7KIlDAsNs2kva8kI7DUSmbUEAaNW8GaIgNkJEn9TXbZWBj0 6L6nqpHJaOPixOXam8IwEX3h7VEhHCQx8n+yKRWGWT0Rn01bHPhXFJwl1grD a3vdt4UeOHC4pjpzvFMYjL7irkkE4kCx6iwveUUYnjXkNt/JwEHnjQif56oi UBxpW0b8iYNKLm62UEMR4BwQKhecxMGL2pxcV2sRkPoirF2xggNP3poeDT8R wHFKX+VlxQNb87riL0wEBodMTWIBDxt3Qltq2kXA6V6qhrIJHgaF2O3zh0VA 5FS/fdQFPBTfk4332ScK/TxPc8/cxIPpUYdFLgNRIEQ8jaNKxMPW4ztVAxai ECp/3yfgOR7y5kNDsx1FwWdO8GFpDh6o37/ikX8oCms10jaSZXh4y1UxupEo CmFcR9pdPuHh6r3G11iOKESHsr65XIeHypN/tU3rRWGr7CWe2I4H56wNRo5u URjmK+Q52YMHTmr6nl9jovC55/nUQD8eah15MrNWRIHm9mOC+DAe3L8eveFM LQYTgNvjnMCDgIy64nEOMYj5yjNdOI2Hb1FGe6siYmCRkDYwMY8Hn0Xrpk8K YhChQF1cv4QH8XMuccG6YuD79IWcwRoeusr/u2R0VgyqygrRjU08BPI8ET9w TQyuW5mXHNvBg6zfs4VeTzFYtO28FLOHh99/iirTg8TAXirzSCyOCiK0P4c4 xInBXW3bLlkqKlDNbjWTeSEGBfaHLJ33UcHE/j/cy6ViwIadCNekpoL46/Mj H2vEYOVGpkEBxYaWvaKADjE4qbzmVUKx52VZvQ2GxaA49+6KKcV+FntEm2VR DPoICoWBlHhGK8cZu3HikHhIJMCIst6GBXSnsYlDqYfGpVyKnpyP5hl2guLw cj5MKpmi9wyf7fWjJ8SBr5TYx03JB/fAQ2EBiQP/b/x5aUq+xcOBu+WnxOGU fkZc6yoeLhLiGu9fFQcax/DQvUU80OW+iCW4iYPdHZLo5zk8lNO/u8j4QByM Wtau003hwd61TuxHlDjIuheeHhzFw4Hvnf9S0sWBoZfQD3/w4JqwEixeLQ62 0xNDGR144F2nNptrFYfTRkouac14aLTi5H4/IA7vX0u956ecD+EjykXau+IA j3Pq3r7FQ3ug/l06Zgn46bz0ri4fD/5jFvCdTwJuoNflFzLx8DPfu+uSpgRI vfrlTvMEDw+ZwtJFTCQgdI7bgz8QD4puKc7TFyXgyt9EzrI7eIhR/Ljj/Z8E UAkWMtpcxsPJ5K8NJx9LwPxAbpOHOR5mNn/G0KRJgJ3/BA6niwd9bEs0vlIC ZFbL56LE8bAixPjPqlkCbkf+VYg6hIeskMMfBX9JwFmLHm5aOjzsGGqaFm9K wGjXKu81yn1923X/zldVSfBy/lf+lnK/80Lt7UYMJWE6s0GhOQIH6crGp7at JSHp5SDx5B0cRKRwHz12XxIqDIe/qxFxcO3Su98xNZJQKl+X+qeFjKyZU7/m /5CET5zo2YcUMjKvDiivHZUEszzFVd1rZKQpaBazQnMUvF/4SLmu7CGOsb+6 lkZHIcHIL2SV8r9jSPx+wuPiUQgt700zadpFOP1y/gjXozBWd0XoTNgums0N Xq+KOgrBj46mO1PvonoXgcIjnUeBo0Lv3tfZbXR3+ezByYtSsHzfTvaX/yZy zVYnk12loH5cc8RUehPZnRea5faXgnz+/pj/ejaQWcV8vVGmFDxhXdFhPLqB JP4Lv1c8JgX2B0s+yGJrqI8KG7pzU5ry3xTc51O6jNre5bRG+UvDYKT8aojR Mvpi/6QyN1oaDOOL1DxHllBpg1XCz1JpoLuyz2SbZQlFRKwYaK1Jw/rKG+lj FxeQxkGpN9QPZODgsTUCPJpCbXjrr63RMqCOqoVdn/9FNovho0mZMtDRz+Sy UDqJQtqnDh2tlQHaCxJGUj3jqC0qP8CU5hgo84mTHzGNIBvGo2eSHh+Dyz+E +GPudKEQaslViRRZ+Hqy8eCMcBPGtXKBdTFPFoZ4SYfPQAuWN/roaOVHWXjF xX9pULYda62dvGzSLwuWMUyVHcZdGFdgboO7wHHIPKyvIxXwG8vfFU/5mH0c /j6bO3DOegJz2o57nmN5AkaPJmqZdy1hCWazdfdsTkBp7b1WF7SMkbL0pk2d T0Ag7iNvVP4yxk3cUF7zPgF8EHe2yXcFa0q43K6ffAJu8uDDtNjWsJXJ8jXe jBOQ29pk+NFzDRPUYOP/9+oEXCUNjex1rmE+w7XXk8tPAFVvQeDXuHXsqKzk vr/dJ0CSL/TaY9wmZhEYePTTwAmo2XlRGGK5iQV1/ToVM34CLPXT3ZjebGK/ fCOfqa6eAJEBXv+CC1tYROOSUjiHHIR4RnNaJW1j5bwmly7zyYGCT5z53vA2 NnIzJ0hOVA7aooqTNqV3MHUOy+8/FeTAjOqHam/lDjZj89lZ6qwcUPkZvLpT t4txv+eK3rOWAz6XiaQD+D2MQOte9sNODhouNPp919zDnr0WpvrPUw5UO0Y/ phTvYU04P8lTvnLwtqSWK2VsD1s5220mEiQHuirZd7K4yZjJ1qO0b7Fy0OJn Y1PlS8Z8TIdrMp7KQSz9TB0pj4xlZ6r/vZ0lB8WHTv362EXGdvTnFPlK5eDZ 9/9o1NhxJMlU/YsLH+QgPUzxNrs4jnRuLiPwC0kOwuaQ34AKjvQ6/kyba7sc PLpi/13ZEkf6NVG4An1y0L9+1bfGEUfar05zmHNIDq7pSwbLe+FI8pFXtKcm 5WDzDF/9owAc6cpQhdPnf3JgUOx0DHuMI0UoHIiKXZcDjSTrqp5EHKn84Y33 DmQ5YLOqCWhJx5FGftb9UqOVh8d/1V+kv8KRWI7x41lY5WE0PuqC8WscST3g rsQIlzyc7MfNtr/FkRw7v5uWC8iD3pnc6mMVOFKc+FGvCHF5OBdapWNTiSNV 3wtKvSIrD749s2THTzjSdEs/SV5ZHqL1SuPgM47EJag0uf+kPPRwJxbNUMZ1 bkcx9+vJg6RVOIdTFY7k1jCp8MZUHt5zyeWWfsCRSFDkImNB0WMeQe38Hkdi q3J/mX9FHmp+ffErK8aRbJSU+sWd5GFt1XA1JRdHKnmzeTDbTR5ioqRvH8jA kXBS1UZCPvLA5R55WICS/+nsoKD0AHmopGNSrA7HkV4IGFQeDpcH3mxBkUU/ HGkphXEpJVYe/tEHu5ffouhjbz/KlSoP313C6pmv4kjxkQm28S/kQSzywdya KY40Rmv1lK1QHtgPMPR4aOBIikH8HZHv5MH+p2e0vwSOFLIzTMf4SR7IdnhT /oM4UvfdVxD2RR4MOBOan62Rsbsux0uCuuWBpcHUoTOOjDWML0+SB+TB/DF7 TMElMnbI5sOR+xPykJqTtlQoQsY+nNOO9l6Xh6BE/33K+XsY3XeaxhWyPCR4 Cnyuc9rDLA2b9zzoFGBEcbw+VGQP29Q6e8uVRwGmn50++D5uFzP6cOjVlJAC 1Ek//Cihv4ulyv8ecJRSgNu+z7z/rFHuk4SDqa2GAlQ61BEkzHcwPzZvGYvL CmBsMYfKRrawlggN+04HBTimeiGnLWAL46fBPTO/pQCDtJJ0F/i2sOrNMEbj BwpwqDnco914E8ONpk6jLAWQVvh8STVyHQsuq847Oq4AkVCf7ZK1jHUdDx56 NacAyoV79qd5lzHRAgNu0TUFWEoON1OJXcK+pLc/EqBVBL9+M2b5e4vY/rAR R/ajivCCesXGzXEei7DeL7brqgh7Lj3PGMvHsJMnmNamvBShQbh04Vz4KLZI c7Cxx08RXNgW2Z9aj2CWpfzXS54owueyo7Hz84OYGJ3S62tFivDyR0Jco3oP Riq7ptQ8owh/e17JOR9+ia2x1egl31CCuc/lOcEfR1DBRANXiKcSFJls15AW RtHlTy2T7r5KYFTFtXVNfBx9ceoLN4pQgqoZS3+bJ5Motvpf626+EpQoqEm2 olkk4ypgYT+lBCqNEVdrEpbQkLaoxOlFJWiQP5VkwbeM4g9JbWhtKsGYpICj 1ItltFWrlHqIXhnUqhKOn81bQU08pn+aJZWh4P7ic87na8jv35k3FSeU4fOP /SKMnOvoeL1lQLaqMrDWGuq3RqyjJHd7YX+iMoj9HZAKdNtA1xr/c5RzVoaZ ybpAJb4tZK8pbrbmpgyfPJKVJB5sIcfSdqUqb2Vw5JLGpwxuIec0MRq9R8qw TisQ/TVlG91ga5+lj1YGN80Px7wWt5FLqG9XW5Iy3A1Pz/Aw2EG33L6/tHyl DJfVm/k1ZnaQ+9i9x/zFyqD+h6ZtSXUXeViJ3h4pU4ZWzrvPuoJ3kZfuPR3X emUQeDcdusC2h+5+EJGSa6Xk13ZBk/vsHvI+1nZgrUsZrvXmGOnF7SHfQyLD D8aUgXeAJjqSloz8nrQ2EWaVIYjwNDRFi4zu431K6FeU4citugth7mTkf1c4 pW1bGTwXTj47n0lGATMtD+L3qUA4t4DSJoWHgmy8nSwZVWD2KNtp1zUyCu4W OsXPrgIEGXPlcyw4CDFqUR7hVYEDohX5nUdw8BC7K5ArrAJTs29iSo/jIExR aL+rlArk008IzWjhIDz/29wJeRVwunPq830jCo8J3O1eVVMBmuHKWcfzOHgS L/i5UlsFGI9b22dfwUEU3bfsB4Yq4HXQcJ+iIw6i7995QjitAmIfWLvYXXEQ s3TEi95KBc7aCjHruOMgzqn5YpuNCtR2WRz47ImDhN9euvHOKtAbZe8efBsH iaePSFu6q4BIislkPGU8qeHrQX4fFXj/95vNnBsOUjS8toYfqACrTt1qlAsO UksERl49UoE8x7Q5bwccpIl9/eoSrQIvUrKrcy/j4Fnq7dITyRR9RA8WgXMU 3mQVeLqargKbv6Xf/qLwZWZIU0DlKxW4/mCyeEADB1mbns4PilUgqWtGTeIY pd+8xW9OKFcBj+jtDxV8OMgebVShr1YBtcbE2mgGHLyy9DzSVq8C1NvXNG3m yCi3lY82vlUFFALmwhRqyaigwqOHb0AFLhRqJ6bZklGRDF/18JgKNNyvFFeW IaPXWQ05r2ZVYM3n5uKt5T1U8vjwnRM7KvDvZ6bAN+899BbXcGl1nyrkeVl4 rCvuoXd33AmVjKpgcGtooHN+F5VfrWcnHFaFB444hXeWu+hDl9s2nYgqHP5o dKyWbhd9NOQdbZVShXL1LPunZTvok4Lb2wvqqkD7SnDzE80OqqHlOe1ipQoW X3t9ywK20MRLWaOftqpw5skCbRfLFmICgq7BDVV4ejs+yefpJrL0cVMS+U8V 2h7M4cOyN9C/v/U8/c9U4b7o/KJR/BriCO0/aJijCgfB74Mg7RpSF1pkrHit Cvc6ci4sea+ih1Z8e3HVqhD81vK/VvMVxN/sOWI0pAqdw4bES8OLSMcxrP/D X1XoGJ87tR8tImeq9C7xRVVwi6Bdg9QF9F79awMVlRp0i7j+vBM/j4wLjxRW iqiBVqs3s6rAFLr3pOW2lJMa6CQYWj4R6EfpkiOuKW5q8PmwyHFrkT705cu6 w34fNZAuunVPR7Qbse0KW46EqQH1rpUSrWobyr15TzO1QA0ei9jpsnvnom4z cRqGeTWQY2SMqPfvxramNfa819SANuLpsYHQPkzw0en18T01eC7wII82oh9z xfymaljVQYJ8lne6bgjbd6Kz9Z6cOhA9N3+GvJrA5A4EJE15qcOMuFaFwuQC VknXK9nopw6pwrdn8aGLmA5Otio7RB0CsjcJJYJL2Ll//YNXE9ThoW42q9Xp Zexuq8rRnnfqUKFfwfQ0cRUjf4mqelelDkBjcEhMcA0L+zRuGlunDmqS+IL5 3DXsaWG8p0mnOljjDA/PF69jn8L/VdUuqUNdx5WwpymbmF6gvlnmljq0k35q MTJuYW0+z4fuU2nAl+CjZ6V8t7BBJ2MatYMaYDvVonfcbBtzvvoimYtXA3Qv 7bu9+nYbW7DYPLoipAHne2VyjnLsYFT6uWZv5DRAKSiakPVtB3ustTf0RE0D NuhfX24S2sU4lM7fvqGtAS3mYX2iXruYmOi+FLHTGtDGfsDAiHkPKz5sLbXP SgOkWt7GbZ3dw5TZSz8N2WhAdXXySnHSHkakujqc5q4BFnGNzBusZKxjs+z2 PR8NQBrdB330yZj1ItP+CwEasJzf3frDh4yN/L2WohimAUfN7BTIr8iYy1Cl 1MEYDZAm89SstJOxld4Dn/8la0DPcf8HhRSe8fvufKo1QwPsswfxLEw4Ek0j NlyQS9E/WPUhgxdHiqrm8gp7owEMjVLVtBQ+OlR+c79jhQa4tvcp6srhSJmv v6ToYhrg48UQfkqNwss5h6WFGjUg8vx5DymEI5U+8/y816YBnb9O/evQofBp wtdTv3s04PVBFXMCAUeqfSw48vEPRW9JxLEAXRzJONjbK3lCAw5vp98MARyp y7dt/515DeAIFyWYU3jtsqfY0zNrGuCQnCM/qoAjTVz3kz6xpwGPhzfotKRw pFu2nZ+Z92tCbUv++GUBHGndUsp8hlkTihvPK+uz4UgB5oEjTZyaoOW56zZH JmN0xD6vV/yaEI1lzw/9ImOx6DhtiJgmxFC1Zl0vJWO8Kg+f2h7TBLaUzpGI YDL2UnZAGilpwu7zuELiaTImI65YzaelCdJ9CUm5vGTsPf9j8y0CZT0r+cGi wT1Mi3NkpNdEE6ZJibZXMvewBia1O2XnNIHzd35q7aU9zIw6hjb+kiZwR/7L HeLYw2yWtWTMXDUh4d7lnus+uxjzQVx7l5cmzI3nXXrOt4tVnqi9ffG+JmAH CHSrVTsYxy39KucoTfiuwymtP7uN1Tyhu/ovSROK5F1uXbq/jd0qbKa6m6EJ fF8yXNvpt7Gmv2ZGwSWa8MBX0oGDcwu7Q3tgnv6jJtzIG++kTdjEhMU7Y2Nq NCE29tpIBssm5nftws/nPzThz7s7eczr69iJP1edP6xowkLF5RPqyavYwI4Q E9rVBA7XF5C7uoJFHB57U0+jBa6OA2Gu5ivYmKXz+g8uLQiviklw2l7CUjrd H86pakGB3Js0PqkFDPc1MFv4vhYMZPFObdKNYa8ndYn5oVpw6bup1i+XEcx6 //7Z41FaoMexIK32bQh7rxuhoJWhBTvbH19y4vsx5+q42gs1WrD//AjjSaVv WPu7l0NPaE5CSSyBXx++ofs/HELYWU7C5AWpPoP9HUhqUUIyleskKCv8d0fq BqW/ly1yy5U4CRej6QNqJfuRav77vRrDkyCcPh+rrjqGstLr+dYjT4LFuJ0c 8foCenZJpvd80knIInaaBYkuohTe+Nj36SeB1lxAZOH3IopKstnv+eYkfP5+ 3GmEsIx8o7b/zbafBKZ3H/88nVtFd0zsCox/noRou6I3k1FryJ3hq33BMGW9 Dg4RV5l15Pgw6afT0knYqVu3z764gc74y9WNsCM4Y/HXrv7RFjLVTLmvzYfA WZPZo4J2GxG39lQyRRHE+qdN0AZvo5N3W4ouKyGYeB9q5eCyg9QUFZw+aSEo D4lfJvTtIMWlp0KH9RG4nPJUlYRdJH3LKanPgmJHu+3l4vaQuEybucpVBEMb 5TX8VntIeFqRMckJAX5T8LNh0R7iz0urX3FD4Mu9v5l3aw9xO1IFnPVBIKOa XxSgQ0bsotfV3wYgsLqvwu0aSkYsI99X2MIRMFzIettG4QP6TOU3brEIfj83 5k7bIiPqK8+vtz2l2DPf3Oy4cEA+TC167AWC8xZCZpkyONj6eePP4wIESe3G i3jAwWpyR8r0W4r/U82cIHMcLJxXPWtYhWBRS0BNgMJnM+wZzHl1CEqrCnEd zjiY6KBp2t+CQOKpe3cyhceGo12DHLoQMAUvHnK/g4Pfpp2aX34jOMX5ueSC Nw56GdXXhccReHvYHzC9i4MfXzNLA+cQSBpfVDpF4bPWR7SuQ6sIqDixF5cp PNakd0sc7SGYJFO7+NjiYCTwxoLZPoCQB1HSmRT+Ghx6bupPC/CXRZSlh0BZ D3UUvGYEOLJ4/utheRz8SqemG2AFyCipzbxN4a2+XRUHJg4AIzFdh6F9OOi+ 5FKrwQ2wlLQ+1dxORj+q0o+48AHk+r66y5xARu28P/xSBQGaDNNsY0+TUds9 ml9fRQHkcallNvRk9K1PVWVTEmDsuGvSw6o91JCUsXhBDiBilI6GjnUPfVn9 YfZICSDU67DZg5JdVHNuf1G5GsAtt+zkEJNd9OngTUdOHYCPb+W9/bx2UKVH Zh1BH0A2U9wqHreDPrR3CnoZAQy5NrYFPNpG76LU+3+cAfhVIhWo8HAL2aWx 0FRaADzzFo7xpt1CB/NGZLOsAS4EvraNCNlE7jURQW52ADLKxTw3PTeQzMqv o0yeAKed5w6EHllD/bg3Z5fvAJzz1OdJCVxFEczB93/dA7h5+v3OsaEV9Fdc uiMvEEB0ulrfMH4ZZVv956MXS5n/pV5OrmsBnXU89UImEcDhuOUHQ/4FRHVb pIX9KYC2arx+aOM8snny7chIJoCGlgBr+o8ZxIcdbvQvAYj2mK2//34cJYh+ 4vzwHYD0auo6R00H0pWLQRmdAIXhHC1HV1rQkpb99Ye9AHX3Cwu7bRuQ+QWm z+cGAbTCORgtrr9FTBGX7BfnAdz6nUboJWuwkH87b6VYtIHX6aH0tvowprDT /vvAQW0Q3Xui2NY6go3Q5ezf5NQG88W1Y7KXxzAQNrVu5P+/f0Wmj/sktnPu Od7+mDZoEScSI23nsEJbD2ljOW1IfnTw/eGOecz6lt55eSVtkNvwvvqQfwH7 8GguD6elDUnv7k088l/EvCq1zJ+baMP1Lw0lRjwrWJl1I9VPc22oSnG6rP9l BVvbMi/jOK8NWUxEzuYbq9g9DXveJ5e1weGBN9aTv4ZV9s+1NNpqA9ki2IFb Zx3b+c/7wT5HbUjz7Ys6272O+X+KGPO9pQ3/yUvsyc1uYNgljuRyT2345BMZ mui2ieF2nxsu3dWGFfqLwrfnNrEgrdLi6w+0YV9fR7pk3xZWN6BumxOsDeua idpfCdsYtf8X9uFH2lD2oiTyTuE29qi618cyRhvkXSIvRjvuYE1XbKUTErRh 3j5xt61yB2MgTw98T6GMF99PrKbbxYwzvGIYn2tD6TXX00bmu9gTtKdjkKUN EXLFeVdjd7HWwUerQTna8Hvpp83ct12MJeBAXnW+NoTHvI0bJe9ipwTTrLde awPH6/pihWN7WAxJlFn5rTYEVNYHtlN4rcOmGPMo14ZOoXTV4tt72EG8qufr Sm1gUwD72id72LmsGtGpakr9MiV292XsYYnaxr2iddrQZ5Ho6FKwh/UMd4Xb NGqDXsIDj6XiPYw76Irms2/aQH9U+WpC0R5mJfx3vve7NtCOfRw1fbmHpdZ6 ZLF3aUOTUoMEf/we1m+3ffZUnzackXzSjPfbw/j2he5//Fsb8vv4R3cu72GX X7J8bBjSBv6ScPwBtT0sXTfFhWpcG5wKs4/rUPhzcFRI4OSUNrxgDV5M/LWL CYYUtt+b04bRnXQ99qxdzE5UKbhsURuWbYuya212sZdfqpUWV7WBe4wHX8yz i43ZE//KbGlDjO3JhiEK/4rT/Eh13tOGuAb5XifvHcwp56JpNpUO8OEsI0/z 7WB5euPkwf060PQ3rPx15TY2NX7r7WFGHSgW3IiLPLONST3csL/AqgOePz7+ 2De2hRU1MDa3HaLMH+23plnZxOYcE/0Y+HRA2ouZ+7PnJiZLe+S4vqAOUFnu 8trPbGClBvIJnyV1gCRdQ/e3eR0rb7K8UqSmA6XCaW3TeqvYuvMI218tHdCM eq6tnLyCqdK71ono6MDnb4wK10aXsUrDB5JpRjogx1/lvOS6hGHNOUvhF3Xg 6mDDnErcPPaWu93j/lUdoM+T6HtNO4dlO24tuF/TAec6OpErd2ewCKpT/y64 UOJNGb2Phr/YOfWNGbH/dOBNrzC7W8wwNp1vNF6TqgNcWQ1z9fxV2O91L/uy dB2oXA29N8qRj33XyxjNe6ED4nq2Ep1lAej98PJwdIEOKEaqKGd5Y+gBz/M/ lyt1QMPdzPXx0x7EEf6vd/OnDuTwS/5X1z6F9vfyXJgboIznDYvrJc6gTVFC z9CwDojptV1YPz+H/pBSuhqndGCfcF+ZocMCyt/Q7kjc1IGR0x2LxVXL6Jm+ q3n4rg44Pv31nT5iBUUlJH33w+sCtN5/eOz8KvI6MdN6jV4Xes+ZSsoNr6GT zgnNcjy68Ms5yWDj2yaSK682FOPXhZyIh4oOfltIlHqqiVtIF1roTUrcJLcp 779WI1mS4l9bst3tuYN25pz0l2V04VHGOb0Ftl00rxFXP3FCF7jE7guKFeyi rt6JulZVXXihdDXWoZXyfokd0K3R1IUIEd9DKhfI6ONtjdr3oAtZ3xT43/ST UTprDCmNqAsm4ydGOG7gIPZyJYo20QXGN2Pmuy9xEFI4Vh1krguTi3ratP04 uG6g9vm6pS4QIqdpzgEe5iV56ksv6UK3vGCkhicePBk2WzZtdGF3x4o6IRMP 6zN9XdoOuiC3JXj3zDc8+LV++B1+XRf+ai3Xuy7hAf8mZazjpi685Lvx7icn FTyM8Znl8dSFdUXZgRglKmD0tFyxvUuxTT7URZymgpizqjv5vpT8OP58I12n Ak4lbuolf10o/ntU+5g/FaRybTCqB+uCEWnnwrcoKhDY6GUPeqQLa973jien UcHLnxWHmx/rwttPqp2R2VQgWZUscjBGF8RGv2i+zqeComfe0tYJuiBFO3Bu pYAK5PwvKLxI0YXLv/xX7PKooPyqisb0M0r85PLxzSwq0NA+pCufRdmfZ4pj lclUQBJeN/LN0QUhnbzneeFUQKDuPVObrwvegYOlDd5U8HW83JqhWBfqJQvf 8thRgVljkt2Zt7rga/RIJJdIBT/y7t5ILdeFnx9o792RpoILERaeI5W68MGB jvsJAxX8dlH2lcJ0YV9U1rnlcTzYmnIFedbpQl7eoPv7z3iYkF0Lr2zUhUF+ lPYzFg832HpiqVoo9sDM7E07PPxbLHtq1K4LLltfnO4fx4NXZ2JWXJcuCPqI rnBs4mDj/Z38X326sPLU5YoOhgMqH6WPN4Z14chPGrtUbRw8suKseTuuC27k yYGv22TEpLHatDWlCwEl214Mt8iIc+99X8SSLrwO87UShD0kGaK4UbCPAB7r yfwb6dvotQMHbpmWAFbQeUV5agvJG6zQajARYF3gHsdN2S2kyfD+0DcOAhxU lGF8WLCBTsUoqMyIEWDXmuPO7q1V1OXBjhSkCNDyiLP4SdIKsjy7rP+fLAHQ F+G6D5XLyI7rnQWjCgES5968bNtcRHefyd+VJlLmn7l8Z+rtLHqWJ1fmcoMA Zybk/5ie60dNP681ZdwiwL+rTguDz3vRCkNSf6cnAc5vrYZ4TnUi45tbeM3/ CHBdIDN5ieMr2pKrM2N6QgBnN4x0mSUDE7+2agsxBDBz7q3gXCzDziRI3PFK IMDfyXCLqe0arGDtcdrvZwR4NJLYTF3zHbOqOve36DUB3E/tw6fRDWAhsw+3 h0oJUGR66KkF1xBWwv+RhbOcAFkvXLL+ZgxjdAH8SverCZBLVl5bTR7DFEtP EUtrCVC9rXjzOc0EZjMSeHG8gQB2Q0U24tcnsQ+EiUDT7wRQvRcpaMo2jY3d 4U4M7CSAsj31kaNnZzC2XKO8sl4CPNOmlb8WMYs50b9p4x8iAKtS+pOIrnks Tn14+PQYAabt95l8m/iHVbuwr4b+JUDnlncG3d0FjKvN+/D8AgEuM8/LqTst YjrkfFnhVQLwBG6/9O9exG6d+K1tsUkAkaP9d0s1l7BUW5bzEbsEOF7nX1b6 bAlriAPnarwe0B8SE7ZZXcKW6jz/W6LRA54zvihDfxkTWM2OEmfQAw21U1Zn Y5YxI/HeLGsWPej2H3ti92MZu3OBvizqoB6wvmpsf8+0gmWGaTTVcunB1NLJ HQW0grV8vNm/xqsHjft02r5dX8E2pjPmpY7oweOmneXrT1YwUb4f+KsiehCf /4tl79UKZm5KzRkvoQe23w5V3vu4gvn5K0s2SuvBCe+e6Pa6FSzvjbPG9nE9 eN5ZfmyjfgXrGko1O66oB2vH/6n+xVYw3MFW22uqFD2Go7appSuYjC7ZK1lT Dzzp1ZwY0lYwSy+5sG+gBwEu17mV/Vaw4JxraWSCHjyElgv851ew4p7EYgVD Pcip5eerFVvBftE21TiZ6oHjpp+H5Pwytl9tqyvttB5I847csyhexuRvyPz9 fl4PPsky3TznuIxdSbuyvc9aD6o8x5NluJaxiJYYFtUrevBx/fLFmc9LWPlu rZCrHSU//U9SGZeXsBHZVcVMRz2I6LwWbrm6iLHYSBC7buhBNvEAnVToIqYe a3WRzk0PDKufaEsyL2Kxy58D3b314L+4khu0+xewWz9ibC/9pwfjOTyvf+P/ YSal17SJD/TABXj8KqfnsP1u9HjBR3pwxUBr62bSDDZm+nuI8bEeHLJ6O1ps NY3VyLwhrUfpwVhUs2gP2xTmN30u4HuSHrzS+cfTenECs/oqYVOVSsmv3/6M wMIYppy3hXLT9SBfvrzD8t4otuiQSfZ/pQe3TGJD8l2GMMfhGX/Zcj2wMCyP 1S/pxAik6iu8lXqwlUB1Vlq1HRPKiD25v1oPLIunGj9f/or9vqSyN1CvB0sk fRxHcRl2ui/ofmQ3xb9fCVOIr0Oa33n8Zlf0wCZsOWZaYBzxFM9e7NvQAyfl x0ppypNo7Qmm8WVHD37bl4WFmk+hUiOH7TRqfUgbvblnED6HxBtKfI059KEm s0/3EH4ZHfhscK9AQR/crX49kbiwjebTeK2SVPRBu3dUxdp6B7X4zqkGaeiD REppvdjFXfRQNX7DSlcfQh2mbhSfI6Odd3+86c/qw9i7p+RfMXj4GVd6YdVC Hw4QqL3naSjvkUeIyrC1PqV/8r6x60MFHsel1j/Y6UP3Fs2DIst9MFFw566z pz7QrX0VrdmmBgv+vT95d/XhS8N1a6IjDdRHPzSY8tUH2k9x9E9baSDbK5n7 RrA+0M99VZaL2w8ck0cCCx7pw+qcIw/x334Itsqbmn6sD7LtUqaNRFqwO/mx 0iVBH3DVJpW5C7Two0RbpChFH/zvXFodPEkH2iLNj2ef6cN2QWisbDgdlCSe WZHJ0od3zkzZgd/pQJCu/9LNHH1w4a0+13SAHmJ8r9W/zteH5it6o0un6IE8 O3Ns/rU+rK0rFC2F08Otq15Jsm/14ZtozbFKjB7+dOzs3SrXh/OYOpPWIj2Y EUKd3lTqg2aCBJe7AAN8Lmdu/1etDxx3eYiGBgwgczRJ9USdPgjnH2vHXBjg WZpAlnujPrBcUD/Q8pgBmFhy6Uu/6UNwe26OUy4D/Bdw3HPxO6Ue/63YRlYz wPRSxS+5Ln3ouDhiodbBANYOoOvZpw83zUw7nQcZoLm3qfDtb0q9aPIdeKcY QM3oNMfykD7Yc4kPmM4zQN6nn34K4/qQY3nfiPofA3Aftxu/PaUPVRy2OJhh gEdZ06bv5/TB0ic+nnqUAdbYb5evLOrDp7WsXxY9DOD4cFtAaY1Sb1O9Oc16 BujeCH50Z0sfhjccRKrfMADBhWmhbE8fltjq2UcTGeD9QILlGpUBsAQbxpV5 M4CIOX+NMq0B0P9afA3nGSCuNueoN6MBdNfdKI6RZQAqJdm4ClYD2FdqdODd PgbwyC3fWmc3gK6NpYflXfRg/qTxmw+fARh5TJ/LukEPpL1Tih8FDSCKZm26 8Dg9HPfoe7YpagDzLYn7/yzQAYvF1E3fYwaw4FP2ntGZDvybPHoq5QzgkhjJ U0GADubUt05uKxnA9UZeqv52Wmg5wsjmd9IALNkEHZllaEEzLt7nk44BYFeq 0lu69kMhNd/wjr4BTLEW2nn57oeIKZm3908ZgOb0vVcLn2iA+M7s3AMbA7hd 2Ta1KEQNX/TjUoKCDGB3yt1WMxwH445Vrb4PDUBC5GJv2SEc7H80RnU7wgBi x36mFxqREbFR+ea1OANgn6OuZr6/i1oM+rUJLwxgtsL8g1nfJuokis7Q1BoA D73Q+c3MJbTibCq4V28AzOzUrjmkRUp/cff82lcDSLatCUobWUAWX5uwiQ4D OHNwtbLq0jz6ZXgzoXHYAHx6F57W9E6i7etJX7FxAzC8VHuE0XAC8UVgexVT BuAW6OqVXTuGrjQfuJ63aADkVVGV4PZhNGJUrhWOJ4JDpGC+an0f2ucy6BlI Q4TzIsdL1Qg9SPQxXd49eiKovBz6evpXJ3L8Zn3wxgEiDPrEBGg8b0OPZoIN 7DiJYPSL/PDipWaUx/jaz5qHCPevZgfynGpA08bkCSMhIvhOx4jl5H1GjK6S fLpiRMh8cK9C/Uc5knly+rTGUSJUD5rkGrqWINMi34cKx4igtPOwvGwxG91q eVklLUeEj2lcyk6T8Sh6tmVBRIkIb4RvazP2HcNKmNbE+NSI0ElbkSfwIA7r kDlykUOLCBKez26duZWFLZkQY5i0ibBWL5gIuXkY+02Pemo9IoRe91v7MFmM KUambu0QibA8/7H+Nddb7PzruuOrJhS9QpXz1Brvsbuts/Zz5kSgYif8WR4s w5LnOFPHzxGhI0Fv6TV1BfaBGX0fsCTCvE0pMSyvAvt5zJm65xIR7FT34bea K7At01i1NhsiREux33nmUoEdvlV5q8GeCCbxQtelI8oxzajRl9XOlHxe0CqE ipdhl4uZfpa7EuHfXd++AniH+bcpsbxxJ8Ls0dOipL4SLGP+im6uFxFG+wMc Dv0pxEgsYT4ZPkTweYifmqPNwYZkS18n+xEh4aL1S1WbVAx/6tdIdAAR/oiW 3KayCcSaqs+LeIUQwc2V0dhVOhTFyHZcswwjwp2vEcIWNRnIMt0kW/MJEYbN /9jbOxUiQZamMcEYIkQe0vjvyvw79Pe+rhhNAhFiWIPJnBmVqGSu2mEqmQja u4ZZ6iMkBK1lE6UZlP1dSH8R+K4J0WnJSSS9pNTXyoHn+kILai8qcvLNJYJ3 E6+f8Nt2ZPPk5V+dN5Tzxqgf7HK3GwUYx053VhOBTW895An3ECJWMUl/qCXC sdaFoZ3IYcQmHebyrIFyXol35dtYRlEmw4NZ+zZKvV5pTYrLTSDSV9f51QEi iPkO2rLNzyIckbh0aJcIydTn39xfXUVNFXXyOzhD6Co8lb5/eQ3FSKDbQ9SG wI4EQr8vrSNBWuWVPCZDePOBzV9oYxNBg8iaGp8hPBykdck5uIcCCOTNixqG sHXjlKOT+D4gvvdVB2QIqlGKI2W5+4BNdM1XVNcQeqlyYlklqSFz39z2rJEh rIR+ErkqRgOk2l+7960N4e/EYHs3Cy2EyVuctLtiCNHVKo2jIbRg/qLDX9/O ELyuLqxvbNDCUGATmeWGIdBpa1R9/kUHOO1yfOY9Qyi6FzfmGkh5LwiTzX33 DWHtNy3Du1nK/9mAO+FAEGV89PGJuHOM4GzmKx4cYQiMAjLDiTxMUHu68F9V lCFofC4+4HuXCfjO//6wEmcIgdR12Xe/M1HeoZPGjmmG8NS2eEH3DjPIXHXj yMgwBOZOEaqBGmZ4aJc50PvSEEZ9c9WOMLDAkEPHK7Y8Q+i/lFy/aMoC6tep 3A2LDEH8W9QhrUgWSHBVUAsqMQTrbcPZ6UYWmHezp6p6bwjLZZJnJ3ZZgHg7 8dvyB0NI9zEtO3ycFV7cbUiQ+WwIKQEWv30ussLOvfXLDjUU/ebFG7NBrGBx X1Iivd4Qyq945DrnsEJJgNVCz1dDuNswsT5QywoMIREfWdsMIbY/3B36WcH+ UVUQ8Ych4GtfsIfOs0J1xKxxYI8hFMu5XnuxwwrcUfyclb8M4eLVEfkmKja4 HWv2Z+mPIWAsZWezqdmgLeFBrvSoIbz0v3JkdB8bSKaUuNtPGsJl/v2TQTg2 CEobVns+YwgfjRxDaVZZ4Xf6wX09/wzh2sw/kfpRVlB+odvCsmIIkwbYhl4r K8TkeCUabBgCcVx9NKKUFabzcq4E7BiCbef2mZQYViAU9Uh8xBkBsUHewOsG K6S/oV1cpDaC2qFoU3HEChtvVSul6I3AQeh1QAULK5wpvx58jdkIdh9vh8r/ ZIGij6kmzw4YwZSZwuOX6Syw//M3zm5OI2gzNdDlvsoCNqSdP8y8RiCf9Xsk g5cFOBuveDwQNoJNE/rDMsHM4N4crf5B3Ajw2kP+FieYobmVtG9Rygjyxcwt BvuYwL9LOMlOwQhesvFkOvExQV/v2atpKkYgvrQnlFLBCPL9IZJdGkagGxkq GW7GCBPDE5V6BCMQILld43dnABg/FOJPNAIc4SfDzhY9pP4lmlaYGFH27xbj wSAKb/0rGJQ8bwQnM1bonUPpoGLnFjWToxHEDi5ZJtjvh7BD66Y/HhmB+VaN cssrPCQ0NY3WPjaC5tNsDy8ewEPGvdR776KNYGSKL/yLLw7K+7VyEpKNADTC Gm4m7qHxjJAdi1wjKLw9+NqmYRPpSB4s7G8wgsNK8cMtsgvI7OcotDQbAed+ t8DL1PPIKqKs51ObETx//dD8z5sZ5D5rSZXeYwR+ZSqZlocmUUZJhpXNhBGw Vx3sVnX7jQpsPf6ZTxsBnWEFz38Sfaj8oG6o9rwR5AW9rf+92InavCZKhNco +3FDibAa2Ih2VI/RjdMYg133XtjIeBFGN733vJveGNQCiPOjI58w9rR2hQZm Y/Bi/+rlfbcek9q9fTWX0xhCK/OVc907MOVivdVkHmMgDgxTMb/ownSuHnoc xm8MTR23vZbLezGrmsry62LGMJixFZ0YNoDZez4xsT5qDBnxXofohIcwd5Er I0bHjKFR0W6Q4D6MhYXiWWSUjCHe48x7mYFRLEG58yWfmjG4GZSoX9wewzIm s9WYtYyh/eHRs2z0E1i5IdFhnmAMf0yUow2XJrHaLZ7tP0RjuHBnKsW79S/W WjgT893EGJbOKfEHJE9hfZc+i5PMjWGHiSqMYD6NjTFHfyo5Zwy7q0MWhevT 2EK1zZksS2OooNUUzoycwXbc5P/GXjKGj0zsOewHZzE6IWr/IBtjULfSrdsO mcXYf3Sz37Y3BlfZC1FnJ2YxgeDc/GvOxqB/4RfxsPIcJqV4D51zNQaHDTln S685THncqJvgbgxrm6sJnFlzmE4Sn4uSlzFcGWzOt/s0h5kZzOPEfYzhqWlV ybmGOcxqA0vi8jOGnDm2QRpsDrPPj5WhDTAG6dai6MRXc5i79bXa9WBjUG4a 1JC8P4exZEwPaYYZQ/6Nfed1teawolEPcuATY6BO3L7QMzWLGUlu8jfGGMN8 wUCtSPAsNukaoMmUSNHPGD/mRT+LhZTSXjz91BhupT9v4Lk/gwmvRd1Lem4M uRXBHNf/TGMkda6U/ixK/P4pHOnYNHblwfNywVfGIFNtKxnkMoXt1Il2OxQY w6u8NQ+elL9YKl3RckGxMQSdDJhbfTeJdcdWnlCqMIbUjntFl6rGMc8e7VO+ VcYgniUUNZY7hrEd/noTw4yhf2HicVHoKGaS3Vtg2GQMDLwfXBUPDWPTf698 jWoxBlKKcotayiAWdmxisrPdGP5d6n0iM/UbqytfEb3y0xjkQsU4gvR6MfWv BzI8pyl6rXe/cfM2YJLzxvFpTCbA0o3VPOr4jhrkO0uH2Eyg9uK4VKpjJ7L3 tm4X4zSB4A+oV2qiB2XgrjOX8JvAssK3u1JjA4iL/eGjL7ImMFKAD3rTO47e X2B+Ra9gAvtmuVacH02iM88SvpipmMD1mQt97+SmUKTYS/xPZAKdYv82pjxn EbUq6b85cxOoaZ8RtjFcRC/8DFLlz5tAZNCzoCXcEoKatg/eViYgInrrXd/b JfSf0cAq3s4Ezko9eahLvYK4o+05DBxNoN1Au0Dg5Qoq75yRf3LDBGi6twa3 1FfR0qUtN67bJnCwI1DM7xyFL7ICoy56mwAt+YJyRPcakp2ge535nwn43w+M dzFbRy1SMd/GH5iAelfa9f7qdXTD7dC0VIgJrF0TJiWLbyC69+l07mEm8PCI T5xt6AZ6tSEmUfbEBLxebk7u/NpABK3XelsxJtD0iGXmhMQmGg5UtEeJJmB7 QI7ceH0TiXOxRLk/NQEPO4LO86xNdKNgsiLruQn4GViVdnzfRG9O1gz/yDIB bYF0ds2VTbTyI5WR+pUJmO3V3iln2UJqTl5KSgUmsDe3oipwZAv5b5tedSw2 AYGWWsFzYluoLloiPPktJb/rE1c1hbYQnSj+XVO5CdQVzb6sPriFTD/8+r1Z aQK8uA9HGjY3UZzJ+/3SmAn4RPYlaPdsop6hyBOX6kxg1KL8okjeJjp8x8k6 spHify/8hq3bJrKh1w6p/mYC3jb8F1elN1H2c97if99NQI/9ktvvgQ00JbfS K9hlAlJiGQmHKPWRbWjFn+kzgSzDLw6FQhvotnWudPBvE0pft08m8906+jAf cP79kAk0PAr7g9dYRztB1g/Gx0zgklyD4FDFGtI+pJjPNWUC289jkZnUGnpY yNxpMEfJh31d5lrcKmpGkzs+iybwX2yHr9rCCjrnnGrev0k5b1vH77yKXEZP d277Mu2ZgJvDZeGQ1iX0J8Y0W4vKFGJ3e/lL9y0hp4+4jQwGU+B6Vqr8+uwC 8mVwyrA/bArZU/MTRaxTCEuHr4lHTCFlVeinH3kCUSvwLjeImMKb4lQhx8Ex FHmxVf+ojCk8/EeUqPAYQplFCvNzmqZwrD/qXHrdN9RohtPyvmIKtu8jrv0Q +Y1xxD/9FZ5lCtasZXd/2+5iDN3sHZ45pqDNcIop/8UehjsU1Xgx3xQKGXUa 5wfJ2Fxq0Ptjpaaw13I62VQCT2p44RLVQTKFQJ5w0c57+0ifxsZDKr+YAvnl x4a3tNSkt+I2/71sMgXOUwYTcXHUpIyCc8532k3B9IS9T106DcnnrZYOz5Ap tFswqwhE0pJurVSoUo2Zwq6V6IQimZZkryx/fGbSFBi6r3lo36Qjna4U5/v8 zxRMiu/wNGvSk4g7mQdfLZuCwrXhg2zp9KSTJw/TR6+bgodq/tvBLXqSVC3r mg3ZFFJNeRc+vWIgCVJHzBruMwMNOmvt9FUG0iF96lF5WjO4tWlQXIIYKe2S /8/DjGbwPZb2ynAII4m6eeM7NasZqJ+BboF6RtIW4+2GuYNm8HSgfdsSx0Ra MJ371MNlBvqd3MKBykykiWindxivGRyK76WJcGIiDXQM5+cJmAG3bHqPUzwT qYv9UmassBnUjv5QY6tkIjWf70nyFTcDr0KCmW8/E4mUbB55TcoMlD1M36Sv M5HKfzYHm8iawYemQG9vFmZS0WE9XyV5M7i9M6uDE2QmvbyMuQsom1E4tu+E sgwzKTVDzYlW3Qw+iwqMH1JgJsUMv7v8vwqsO56r743bOxlFIUlSRhqUvkb3 iczqs1dF0SAzJElEUqJhJkmSJCEkq8K9Icreycjee29+9/fneZ1zz30/7/Hc c+6kLgGcfnIGvNfYhD3crUb7e4IAlb2x5Z0HN2GeVxNNCw0IcLe+oqti7ybM 5YP8iWQTAnzJev7AcfsmzGYoWjP8DAHmpWCunHsTZqEiqeZFJkDQkeqp0VEh jOEQomBFJ0Bw29b8lioh7HSaoDTxLAHiPpEkY5OFML2pB6LHzAlgU2yiY3Jf CDumzsa3y5IAgbE8nT10IUztpsc6/1UCCLKxq3jvFsIUcmZnp68R4EjISJbK qCAmveQ40mpPgN0POB+spAliYtpDXcVOBDA/MsnBcV0Q4/O63PzJlQDOaodX qEqC2Cwb66e3JwHOrfkbawQLYMN6dd+v+RDAjy+3c1pHAOv0O51B9iNA2DrL zryPH6vkO/Fm9xMCcA3HF8Ur8WMJIsq3S18RwGWnzV39+7yYWv/ZRa5YAoRq X7j8m4cXy/kecEsvngDpplt0Lz3kwX5ZDd3MTyGAaKMP6aEHNzacl+jyJZ8A OhcFkke1ObH9Nnvt33QQwGxy+sj821U0+zhzpK2HAJdIHf2851fQ41v8baUG CSAXyB/ZLraMEtD+a88nCUDenX/tjc8C6rQ14epjdiJAPMuQzXIazfyhcPHW biIktwltDlLrQnVe0P5l7iXCp+qw7yo/29Gf9n7m0ypEsFRPMn2r/xdtkuw9 76BBhCmiFLkgoAa9MCbemnSMCM3qtrfCEn+h/YX65wZ1iBB95E85rxuGLji8 Y102IIKS6IhteLg76qNf/yfWhAh6a6qtDxuSEL7tnMx/Z4iwWj3p3tD8HdlW fIl+lkGEdw8pat6B5Ujsy9CGiHNE0D5csO3RfA2idL2Q2nABx2tbuo3J0YBo SclTiNZEuLHj8dOJ93+Rwgly7RM7IrT0KSLiOm3IqZ/3SGXXiaBe0vfM5eM/ pCHqczWvKxFqLA0uf3brRMycuggG7kRIyR/vjL/fhfQaiFb5ehJBsZElQbzT jThInziD+RBB5zmr/YZ5DzI/6VSx5kcExg/rlA6lXuRuSewp7QAivNTal2Ld 2YvwRNeUuT8lQn1iwu8hnz4kyJnNNDuECOEvqT9PC/Yj24wO/p55TgT3q8nH fbz7kVgZC+NDUUQ4d+lhnmd7P7JvOqjUMYYIcYpCGfp7BpD0UtQwJY4IIsMG Ph2MAeTY64mfQwlEuHf6jOtllwHkh8tOg73JRFCTlCgcuTWALM9NBMukEYG9 9k3tRZsBROM21ib6hQjMMVnjKaMBxHE1eB9vDhG21rv3lYsPIInelq6r34jg V3ifS76yH+nmOIxNFRChw7HwsaprPyLzkENooJAI55tHWpX5+xEGfz2zrYQI QT36eZee9CHBT969qy3D9xv8fVJuvRcp2+w6UVJFBDkV/ZKsC70IV9hJ7bw6 IozM7E2/k9qDHJfY6v+5iQgGsR6uNWPdiPvLvrqEFiJwNQXbbNvRjWTIZMtG /yOCSeyfj/k6Xcjom4e2Id1EEFt9NXXgTCdikbCXw3OYCHlKyanJfm1IlNLi Gedx3K/LaDAvqQVpSPn10moa91NMu3I/WzNi/MXmEHmZCP/sXk3dk6xHtnXS D4pzk6DwJpvVZmcMydp1vGkTLwlmXukd2w5ZCOWyoicfPwkSw3alh2bGIU/6 50vXhPBxD+tTPSEV3Rh9cXFwCwm4FpT5jKJq0Gg1H+4eCRLUWqy0bOqtR485 XUtu30YC5imfmGj1P6jLzLGFOhkSzL/fV6v+rx3tX/r7LF+BBO9848sGX/Wh 97ULNXIVSTC2zbhbW38AlfNKasnYR4Klqy6yDwYG0XNsdxQTVUngcTbhHZfC KFrFI1MQqkGC6fEZ8V2qU6idMdeVp0dJYF8csm41NIXyBY7yPzpGAp2YRC2D uGlUb1M+3UuHBF8+aBg4cM+iHYT3K7eOk4By7KOUUNos6hn89K0LkCAud/Xx GGUOzRa/MGZ9kgQ8GmwaRx7No1S6YdglQxLQ1j0L17ctoJMRav+ZG5PAJux+ Q23cAvq0WaKDaUqCfNtx56t7FlFlqQ0/ymkSqKn4L7jELqKl5weUzxBwvOUf D2aLL6FXXlfXGJFI8FN9t9PY3SWUvSPHTY9CAu3beol/u5bQGLlYGV0aCXL2 bvE9rrOMCgce+rWfQYIK8dxGsyfLqPdM4Q1ZFglKMo/L/atfRifNaDs3nyNB s9ntqBCxFdSipK9s4zwJdtz4cMrEeAWtOXDLbdKcBEQ1ulSL6wp64iWffNdF nM/NtDbpyBU0gyOqstaSBATb0qtDn1dQeXuV24WXScD3AHkhV7iChjbmKXy5 SgJFlX+2cb9WUE6EUPPOmgQKLd5s1J8rqGtix51wG7ze9d7E7bkraK+o894H diQQ4/wz0Rm7gtLucNTfdCCBONXgfYT3CvqzN+yu1XUScKYx+lRoK+hRwh5l pjMJfsTa7Xwuu4Im5GQ3Gt0gwdUdm2XK/i2jEruM7x27SYKEkjr2kvBl1D/w r6rSLRI8DN9y1h+W0cUZ2+btt0lwnzNFWKR7Cb1mvnpf4A6O39jr5tXbS2hz ydMDK54kkGNOGQbzLKEmB3e2jtwlwdwaOS46ANeLU+9wpS8JtsmXXH3lvIBG 2de35/uR4OI9n9nspnlUsOlKQOpDEljkWJN5Ds+jo4n+nUGBJDBi0ZxzymdR M7HtT3yekKCG8K7XTGAWrbyTpOn8jAROse2u+cgMmkqofEYJJUH7sysh54Km UNncC1r64ST4FZKmNftxEg3aNdmnHkGCaGO5EzzuE6jTrJju1ijcz54F8znP RtDDUayRP29JEJp8IfYQZw8axzkc8esdCfRW4lLK8zpRcYc7el/f4/m73v8m qq4NnUViXkZ9JIGurqxilVY9mt3XY2T+mQQ+3yf8m3YEIYrEmzNnvpDggIP3 W4/aXORFLs+b41kkcOhM+k7cKEHcHyvN7/xKAsMc2yIRaEK0Dl2P78ZIsLmB p+Hxzn4k33OZ7VoNCVYnOeU3NOeR+bT+Sd863G8PxpwP5ywgB3vqOl83kMBy ab2lTh2/P5gkY/XN+P7mmdlmu1eRQAkzH6SLBM4vHOuH+tmg2MTY6VwPCYSF C48wnrPDmqeGxc0+Ejz7dfF+AHCAU48QJA+RYMGA18vsCScw0vM3JKZx/x4I C3g1ww3BPR8nDs2SYN/OJ5ZyvjzwWyKi4/Q8CUKixdPyBHlBx8sR9V0mQdE+ F0efzXzgln4u7fUqrn/d0zRCAB+k9Ri+yV0ngTRVY5/vGh/Im+70Hucgw1Li DOlOAz+YeQle5+cmg+FJ0oWFowLwPH3hggIvGax3XLljECYAVT09BISfDM8c VlUNhwSAT7Lm+DlBMvTk6x5uOyYIeqZ5ajc3kcH4cFTw6D1B8PRKlA3eTIZ2 5eGYC8WCkJ0eLpwsSoZF67jNMmxCMNHjs/5TnAz/VHYvixwRgn2SDuOdW8ng pSbTo3JZCC6Znv23IkmGyQj2YvNAIYj2MqiSkCLD2P1nolFJQtCUfqjgkAwZ bopQfjQVCYFI747U07JkGJU+SRBqEgITSYEYazky9PlezDvSJQS+pvNPfeXJ wFaLvCL1CUGeV7fXawUyiHRivObdQjCfXuWQq4jXr/EmxbxZCA70fjOv30cG W+K2QmapEFyT/HBmXJkMBS8ChahpQhBnGqbLv58MXY1bWs4GC0Gbl/d+hQNk cM84suFuKwRbP9vtQA6R4T2XfR2qKwSEXuamc+pkmNv9VxEEhOCR5Mk11yNk 0GvtNxCuEYRC04NjQZpkaNqYHoAgQVjxkmlP+o8MWzZxqk4ZCYLGZ77Kn9pk uPzc95nWsgA49s7mdeqSYfXL5g6tBAFIlOxKWUHIoCl69ojYaQHoMq2MltDD 8dqL9nWP8APt83vP04Zk+Gu2w4tLih+e9YbYWxvj64XZsfhEPiiVvGvma0qG fjadmbZDfKB1l6GTS8D1Oa6f/1uDF3ad4l3dzSTDk5VpzWF2btBo1K+TOkuG B41X3tS7coHhRZ9E0fNkUF6zPWbVywm2N5ZoGxfIEKcaka73jQMyX418arEi g51An5WqIRsYjlZfDHEjw96G6tLDkvMIy03o6CN3MlTn+m5V/TGL2LKZCHl7 kGFN/2rZgO0MErSlMNf+LhnYpb9fp6GTSLNOpqjxQzKoZmlsp0/0I7ZPI4vW n5OBx3y3egdvLuIp2fhy7gUZDpFFS683PEeevRV1Gn1JhvHzLMUPHh/RL1mB Mi2vyfCBd3/d6lwpWoKUTte8IcNrjUevvDRr0ObfnL9L35JBWvNSbzmjAV1t 97yZ9Z4Mj/7MJxz6rw0Vvvb1VMoHMhwM+ZSyZbkD3TU9t+vdRxyv7AlaWkUX ashzvSr4E+5/RoVPvGYfygpOjvdPI4M84Wvqprp+FD+8e9z9TIZAKWZi29lB NEjNcq99Fhk2i6d4Kh8cQeNyX69dysH571BMXfYaRTP1WurPfiWDy0epF/U5 Y2hJhUQS6TsZbiSp+jq1j6PNDKqPUT4ZOjx/nA8fn0CHO4MYx1EyXFMb7vG7 OYmu2VaoHvmB82H2KIo8NImKzPFxqhbh+iyHur2mTKHy3gZ/5X+SYUVtb8jZ z1OoBr9v2vZSMtAD2dc8uKdRw7CCByK/yVA5a1e2TJhGWTtWzvOWk+H5vXz+ pqfTqN0HzcP43R4yom0rNhVOo3cPufLNVZEh+VG8woeRaTT4e/q/kRoyHPno vztZYAaNMxjL7K7D633e3Ki4cwbNrFZ6/LcBz+sNEqKiNIMG7/7xfrmJDFsF KsTP7JtB7W6xMOm/ZLh+1b/5nPQMalg+0aLTSoZO4dDftzlmUPmd/nPm7fj6 dKJ9Q/s0uuYiK+LdQcb7jplX1Kdp/PuYpRzbRYZ7URptbC74fUjqjMGPHjIk /HjrekJlGg1y7L3Y3UeGxLfre179nUJtC+94cA7i/e4UJZHsNYUaSog/VxjG 369Juf5JYgrdZZuUZjBKhvB02uOV95Poav6JMqtxnK8l5NFTlUm0WfRvr/8k vp7O89yFOIF+ueq0kThNBnP6mYbPR8ZR201vNEbmcb9tPufSWTWCGloeJQot 4fg6KDYX7w+ju7IqbfavkOFX+0hM777//99ejbm+gc8vcmc6mPajBiln+Wd5 KaCa8UO6gK0TlTu15d/qNgp8H29dV3uTjq7GJC/ukKaATFhRxoqLL/pnWk8c 2UGBqeV90veWPiDPopyN7+2iwKdnWvsVDxYjK0NVGdzKFNCR4Y/PafuDNOla VSqqUmBcIBYUVFqRjJC1ASM1CnzN+70v3vofcu0/1R2BhynQ4tG5y4/cjZx8 WqSZrEGB4FzbNsHqHmRn1zlKxVEK7C7uN/uN9CFNjwL8hbUpcM/zcoHpwgCS 0SYXd0CXAnPbx6xIOkPI04O5eSSEAgtZ3QdFnIeRa37EP84nKDBo68ubFz6C nGzunwrVp4DKY6A9TRhFdqreFco0oMCpXt7zP9+PIcveW/c2GlGgfR7CPoWM I031KSfmTSigO31r7YXNBPJ570kzydP4mJ7/7brEJPLkTqvbMQIF3oVdYXN1 mESuVbuEnCVRYMwp6knQ10lEf7dAigeFAk2qJUtey5OI7K23Ja9oOF+K27s2 Dkwhy2XHuvIYFPiDYkstZ6eQRtmalXYWBc/rxJGWW1NIuou1xMY5CiTSMtor A6aQJyXrB+XMKXBYw+vD46ApBJz7D+24SAGe6obzP/D5Wemqw1KWFCi35u2Q vD2FJJZkqUtexvc3OTR/23wKMXN+rbHlKgWoZqsFTUenEBGZB0dErSmwFevO 3cU9hRSX2B8VtqHAyfmKCsqvScTdmaYpaEcBWg0v1cpnEtkvo3OMz4ECRexB kub7J5Hukt3/cV+ngGkc9at7zAQS4SyoxeFMAQ6u9BzpinHEVGZGa8OFAvU2 0oFozxiyXtKivepKAdC54x7QN4pkOBfqLLlR4Na+y0kfakcQK5kk3Xl3CpRp XZEmJw4jVc63kUlPClheVLl+RmIQ8ZWxhLG7FJgsSm34L7UfOVpqfGLYhwJk mCL2HupDYmS26ff6UeDvVrNvnOtdCKV0Q7/rIQX0TWhUulEnwuMycPLfIwo4 0H9u11ltQ66XZhs2P6HArwruRVP7RkTBJcao8RkF1oyjJ9adapFmmYfGdcEU KL4TuSaVVIaAC920IpwCWduIS5LsXxCRHbNnsGgK+MVohho7lKPFpa2E/BgK SF/aee5USB3q7lJE/BZLgVZzjqWj9/6gnaWh5Mx4Cnwz6Q5SruxEP7scoiem UEDo9y9j7hMjKOWXo1lwHgU2G42ojV1ZRHluMMyfFuD6srHsB78vod92HL8Q iOHP27hlzIjg948bmyz8iilw98ztWPKXNXR6R8pl9woK9FxJPDZ3lR1L+BV2 5WYVBT//Nv8W4+TAzt24c9WlhgJ23YUTrNccWOEvU2v7BgrsaLAN8vjFiYXd GLK1aKPADaGTsfwz3JiUoYcz9R8FVtS7LHqdeLC4bYLuhp0UkNDoWbQe5sEy 8lUfqPbifA21ZWZV82Jawfn4sZcCbTG0K0rafNiPS4RQsUEK+KiXyL98y4fV 8Dq9WRyhAHGAs6zmAj/GamFLGBmjgNW+3EZCFj/WmRKS8m+CAqGeNyhHeASw a97yX2qnKDDEy8q8TBbAJshfvhbPUKD3dbfR9wgBzE3hJJYzRwGp/1p1dzYJ YOvzDSVJCxQIqY3Kdt0siD38fbXy9RIFTKTjKuL0BDHh6Pn64BUKhC95xoRe F8QiHP1b7q9RoC5hnHkgQhDbcWJbl9sGBX50XtKyyhbE4sU/DtiwUyHwTWy8 Yo0gptr/37gZJxVGVL5vv9QjiGXmls0Suanw9eNxI6FJQUzn8fkVPV4qbDg/ F5CeF8SKzUfZj/JTIXrg3c2Hc4LYqYNefEqCVHidGllnPC6I1XEIb5bZRAXs wUTChU5B7FxjzNbNm6lwVf99Vkm5INb94YAMhyg+Ln7F5psuiNl6YPJzYlQ4 OqH6O+yZIDZ9mqw0uIUK5P2jQexWgtjtnd0HWiWocGZ7hHj9UUGMbdrlaNU2 KkhcVCOKsQtij4o5dX9IUeGS4ulb5cUCmMiLcP1MGSr0xj+fF/IVwF7Y7DH9 IEuFvT/tbAaOCWCyOtmkKDkqtMiVRjoM8WMJwkbMp/JUaG8wcs0M48fUuv6Y +yhQYTufh2C9Jj+W/eXalRuKVGjWIz/sbuTDfrICnc8qUyHV6z9hfTY+7LSK tPtpVSrwdBRE1DzhxRrWku8ialSo9bvRVyrOi/XGVT7ec5gKC+98BXxFeTCO MZGEqf+oYBrBJuRQw4kFom9TerWpUIElR93X4MREQw9/+aNLhT2+cp/OhHNg cpo0LP8EFdi3Cl1Djdgx5N6LlgATKpwoH5tx4l1DPbfKbpY/SwWR2aJ+CfYp tPIz/znkPBW2id83DYwdR2UJc/Fm5lRwvKtuQdQeQdGHFVovLKnwxu+3zapt L8qx6GElZIvXc/7hqDC9HKWEW31WsqfCbOID6bbf39F3Bymrho5UECfC36w0 Z/SkjVLoPRcqnPq0xfli8W/Ev+VP/rwHFWxbxHJQmR6k2a2Ib4sXFf7dexwh urcf2SeeRj3kTQUxcz9RTfkhpOzUwyG7+1RQMnagjvWPI1KDzhoBD3C8qZ8i T/6ZROz8zL0T/HE/eXT88T80jQjla2ztekwF3a/bz3wonUXMz8pZrD+lwlRA 141kjnkkdU4wWTqYChDLp3Tz8AJCVOsBRjgVrHNltDocl5DYsqrHNyJwv/4R +VLtsYxMWn1rCo6kgg57JKLosYKEvgmxL4+mgvDWyqhu8hrSo+2VMxiD67/p 8qWfSuuIRvM1Dp63VFCLrLbim11H/FxpZ3a/w/PBPip6O30DaRSBSHhPhRv/ bG/dPMAGip9Uesw/UGHH3v3/XnmzgZuJpNqdjzi/L8gFb36xQWkfx+3IZCrI 1AmdcBVgh22+40VZn6hw7E9+3mYDdrCRbRGuT6OC/6lnuXbu7PDt28+zk5+p cNE8Ydwvnh0EmJ/jN2Xi/v09ffr8b3Y4PxM9oZxNhQs7PGen+tkhJeiRlnEu zv8cQZO4xg6rKq4Prn7D854yF+4pxAFnfl2s8c3D8d30y3q4hQNirpySji2g AvPdf5e9tnLABJumVT6Gr3fM9L2xmQPgtfznlkIqvs9Pfm8ODgj+T3h1oZgK 9jEts7nj7Pg9b8lwaykVaiJEtHUb2OGwS1/I4d9UuPm7F1P+wg6+wrVtxHIq 0EkvTN49Zof6pLy9DpW4/+d1rMvN2UHBKNElsBrP83qATZkSO7j2hOV/qKXC TKrZqbIJNvjp7c33s54Kfx9sfrOQxgYSMnbU7kYqnL/z6vY9WzawymXEbPyh QtW5MLOXO9kgh6Y3JNNChb7LnMf7YzYQvqn9GlptON4qq6QAXL+PStxlrp1U GPVq2Wx1fw2pkzmx4tBNBYdns0Vs5avI6mYvVeteKhS2X3poL7iKEOZnn50d pIKNSR4X030ZmS3spR6fxPuJqMZPuvACAmbF7bxsNCCOp+Zx75xAbIlsm9k5 aCCf1cByPDSGhOnpwDInDfrKe/v69UeQ/n2ZcaO8NAgU9zCvsB9Ansy9s67d TIOnRdjliZoOJHuwI7JMlAYrHxezupTbkI5W6bIicRpY86jtiw9rRg4Xhqlm S9LAdd0r9H4k/j1/dn8qaicNPkb3u0W6ZyAcvqh8+C4aSCcdO72n4SWicnOF +nQ3DXKGUo5c8w5H756/ke29lwb7gq1jjQa+oYmEtAF3JRqQb9/Ve+FfiNae GNnmokKDJj+PorCzpajCvst3rhygwaUXjCu7JWtQgvSbFPNDNBD+VhJ8RqIO vSXc2s5Qp4Ge+iZ+6cl6NJZdcjPpCI53Rd0/+l0jWjaLf6s0adB89TDf7IE/ 6MzAM2e9/2jQXR2gSg9vRmVay+K0tWlgYtQYwl3zFzWs4mnQ0KVBtsSePebd Lej1H3rcaggNropxOJaUtaKRmXeP7j1Bgyv0hdqCR21o4Ydv1nL6NFDn9Ktp km5HR6LmI7cb0KA9+axmxv12dMuzw2ViRjTYtlhF4MPa0eP3HFcETWggdcp5 /V1NO2rtmqTKfYoG60feDV3OakeDrfvN10/T4GLOMT8tx3b02zn5oAUCDYxd uHeqrbShvWcuYJMkGpw7QRtlmbWhm05ETQ1RcH4K9VYHQ1rRoxpN8j00GpTn 4Ofa6BbUYq8YrY1BA1XLfmXanb9ooBThQSOLBv5qwarjB5rRL5sCs6vO0cDn xo95229NaBtbyUCpGQ14OS5Gn5NuRHlm2bf/uEADhfarBAtqPbqYHvms1wJ/ vu6aXbdmLTricICL7zIN4qcPUi+0VaI1A2YTBGt87LTXhvixCC2Mn7niYkOD JG/H2BM78tAsy8CW53Y0aPPvTZ7SS0ejWnN+tl2nAb/te/KRkDjkSSRBm82F BtqmorVcY9mIN70vfbcrDXS4ZKIsnxUiV6rFom3dafBFdWrPSawGUStycFn0 oQGfrtFrCZ9ORM6Ha1D6Pg2OeQs3fIvvRsR1X5kjD2igSbr/NaauF1nM/mX8 MIAG1Jy7BQ8MhpDCpN07t4TS4EPofm4V9SmEEfq3/MA73I/Dyab1x5cRY6LT Cep7nM+Z6kNslBVEW4g3x+0D7v+VCqvhi6uI3EONuPxkGkTsXH/4wGYdEdMv l+z6RINxn8GdnFc2EG62S0+50mmQdnjfmp0KGwzfDnI/lYnXb16l8UaUHdqO Ko47ZtOApe7Q+NeLHapn8i6H5tLAheIioNDHDoXp1L9Z33B9z3xx0zbigEyH YcLfPBqUhd9q73jHAQnK94pXC3B/LMvr1y9zwMsBSS25HzTw29Ep1HKKE57E p6bpF9HAXlx75/cITrhrabDH+ieeV6nXK0grJzjJtkUFluL+T4xq09jOBZdb XURSf9OgOJa79hqJCxiR/A9ry2lQvze78ZMPFxjTY1dmK2kwvbI61vyRC7TE NJ231dDg72KGVmE5F+yvruzXrqPBm8W/mw36uUDuyRWziw00+DVXxAdLXCBm slLr24T7iStb6jkXN3DxhBolNOP94OLaeyU+blgo3Jf/uwXvH8EOD/o5uWHY Gz081kaDLdaITO4CF7TpMBJFOnD/GZhcetbDBdVLozs0umiQshowblbKBYXZ 98OYPTgeChub9DsuyLwhxX+njwYL3GV+RW5c8OHg57sxA3jelh/spOtxgePW qaWcIRqAR9nyOg8XaCwfvFk7QgOnRoHM3iJOWP7nNDk8hvsFTfPYfJsTsKJ0 O65JGpiPSc08VuSEh4mT/TumaWAR91zdtoIDTj89eElzlgbiJh/RfFsOaGak s2wXadAlylu8O4QdYrQn6+8v06DOIXWP43Z2uCJ3kPh6Fe8HShYhr6PYYHIo zaCGjQ5rjbXZd0U2kOyqCWyIgw5HX2RK8w6vIZ5fDuhwctOh69D5+NjsVYTP K+3wUX46nKpi/BeivIxUWU58IgrSYVyr+uv3ukUk3PCAks0mOuju2DHx+voC IieStjNalA43fHQX7QJmkWPvUoU4pOhg2eTv1Rsxilz7/am/UpkOh6RuXTOW fYuopY5ZDqjSgescFmgim4nOhu5vZztAh7c6vhfO3vyF+ph9qldXp0NYktKh s59a0MiJFOylNh0un98fT8gbQS80jGp/0aVD+ik+e/FTE6jCV9WcCoQO1W4H LjjbTKHpvimfNvTpIOxvhSn0zqK/tqZEXT1NB9FBhYfloSvos+WRrd4EOrC8 Az+zq66htA6VkEgSHbJ+YY2v8tbRzsRk/3IaHdJWj/yu6WTDEp6OcPQx6ECW c/nhGsWO2buo3F1n0UF8ZSvpA4EDW9ROdj1kTgeTlw7MlPecWIHcyITpRToE 6/4bWjfiwvy4VeyuWNKBpwB8Onu4MJHqJMsXV+lgZljb4MDLgzV9GW5Lt6bD QhDpv7RnPFh0pDKrzIYO76UrZJOFeTGlS0mENQc6xPMKjsku8mK/XmulT1+n g8fkiJzrOT7M6m+Z6KAzHc5/4TAYyuLDuLeev9F+A6/n/paoywL8WDxppKHu Jh1GqzUXypj8mP6TO0d/3aJDQce1ev4Yfqy7VDAy/zYd5NLECJva+bF7nNFL GXfocFft0dGfWwQwOUT1fKIXHTz9bcUUDAQw1CMv77U3HdxvLsnvdBTALmSf lg27RwcbxVM2qUEC2OpUm/ej+3SYCLf5WPFRAHu136HL6wEdmIVU+1t5ApiW zZreDX86bI3sYksrFcCa45/GXwugw6vfAXfcygWwW507eC48pkP7Nf6senxe QibVmvqUDjuujhlV489nMY//Ng7C/Ry3/sQ1SQCjhVUpHw/B6ysKiagNFsCm qy48UQ+jw9MjecoL1wWwEIGJsX3P8fkIp7xFIwHsoKE3UfYFHZ73+V0e3SaA Vd3b/Fn8JR26nd/XD3fzYw75b8T4X9EhcUKTsjmBHxNaOuC6Hk2HWw8OJ9+6 xI8la2CNMzF0GNwyonByGz9m6kTSHIqlw64bPS4vSvmwweTOyH9xdPDNevEh wokP8x9wWq6Pp0PNFtoeG3E+THE3u9nvBDpssdj27Fg6L1Z8ISS/IBHPz7mg jINGvBhH02efjym4f0cVxmlXeLC3onrdMal4/fv0hruHuTE4U6cfno7jD1jW N7fnxryKp3m8M+lQSPPWnLDgwhYz1J/S8vA8BBvurJDgwF6MF42bFNAhVM31 24wHO3ZUmUZCMDp0Kqbbd7SyYTfeuoorF9NhlisoeZPyBjoelPVyoxzXn+sv Jf/PEvq03ADvz3SgSOYlVXssoqq8TWbD1XQQ4romESO9gNrcnd/ZWE+HotWr c5GsWbTXXjMhqZUOpfsiDc/EjKGtJl8z6CN0eNFsJiEdXoPqEeNZN8dw/+6J oaydLEGTaEHr4RN0qFRB9j7RyEE9Ll41bZihw0MT+wPKG5+R7iukyZk5OiQn Xnqzqb8QMbXVjhBfpIN99LuZz74ViNRN0W7KKp7HTsWhG9Z/EF+PVX+XdTos n9dgC/reigx7D+wPZWPAgpiYtVVPB/I1MP92LRcDJF/7vF6p70HkghN3TvEw wNogPb4ntg959Dzspwg/A9Tf3977gzaAsGJtREmbGEAx2XaH9/owgr2n5Vzf zACTCbOeaw0jyL5kxDxIlAH2Ldoun2XHkOB0Zc40cQZoivMl3jszjixmbf1Y tZUBUWThP48sJhCL72zEcUkGvBKTji9UmUR+YSOzm6QYwH1li6r8y0nkYElT 1H4ZBuxwcjMkL04iL8p/wBlZBkRLzNUamEwh6zUp/fZyDKCP7zm99ngKsWp6 8eSJPANOs/2r8cSmkKpW38MpCgwY0/2+tbZ/Cjna5dBcrsiA+dwWS+GNKSSm n3V3ZB8D0kIL7pH4pxGeUX0FQRWcD49rOd+4pxHHKbUy5f0MkHJPS7g1O4U0 zW93Mj3AgJmPf3W/Nk4hx1e5JGwPMWDN1i8q9+MUksA++T1AnQGFxgPDWU5T iDBvq+XHIwwInPE+tag8hbgJlfD+1mTAT1XNt5XNk8g/0c+fBv9jgNpdEadA j0nEUDKayqfDgC0G7qkBIpNIqoz/0t7jDJhODlQ+e3QC2Srv8sYIGBDKEPib eWQc8dxrbmCtx4BD1owkNrkxpFfVeOThSQZsGvDYKT8/gmRqymqWGDPgadOA 2WebIURGl7+9z5QBQa4nBWX5BxE/vVlf7jMMePyoeod5ZD9CO1NWdZLMAHHM 4/mXwB4kj5LleoXKAFm1hhObJ7sQBVaslB+dAX+zX6UXm3Qis5fcrIrOMuDz VMx+2YK/SJi7/PqJSwwId3q/a6K6BKl757EfuYG/b6nqeF96LSrGlv1V6yYD prRof8cnG1Cq2ZTB0VsMuO3wj9a6qxlt2HLtwv47uF9urvIRCf/Qrc7vhvd5 MUBYJy1zKq4TZVT+c1PwZoBlUpyNtng3+ucBPUj6Pq5n8nhicGUvuq07WFry AQPgaIJVxdZ+lHW84oOYPwN0FARHBgkD6MsoXg3hAAZ4Lm77Jew+iLbM62H8 jxmQajHd5RA8hEpR757mfsqAclmrOt0Xw+j5tK/NbEE4nw+VTAoej6DRgnNX VoMZMBIbfU3TYRRtsz44tRCK8xsxJrusNYbKFNt5zYQzoILlcsdidgw1l/vA PxHBgFN6omxVkeNojGf38+FIBjxfCB1P2zuB/mveId8fxYCQl19DvGInUNkj Z1O7ohmg9WwNzNgn0Ysh4VrtMQzY0O1wmVecRGPHqkuaYxmwLeNuUzNMop0m gtSGOLy+eYkrDYRJVC7BsKM6ngGRG6qfUNIkasnha1eewIBVYcUZN8NJNO5C /kJJIgO+fzTXbjswiXZ/W7xfmMSA4T2fLf4ITaK7JTVEClIYsIJOnEz5NoFe uXE9+msqA9DXmGWk3gQaX520LyudAU5RDAerz+Non0p/ZnoGAziVfLCtvOOo 4qNdJ1IycT13KWGf9cdQq16zyg/ZDPDPrewkW4+iHyDy7LtcHH/x4/jtLiPo YHR9X8w3BlQm14QduzKM7lsSdonKY0BfbvzBYd0h1IZuuv68AO8PHRG9NzcG 0OFNPySeFuL67ytXcdXuQ5VtV+MeFTOAWnFeOT27B7Ur0TzgV8IAM4vzlSzp bnT0bqrRnTIGjGvIm2wYtKOqrUP1bhUMOCfyVkHv2V/UQXOPhUsVA1wUp0yH PzWi4xOv3G3q8H53h30mb6oMVTv9h+tqAwMkXsQmqRIK0euJYiEWTQxIeDNc vrcsA520CPjIbGHAvZ7wJ38sMpCZWrcWg24GWFjRUiR8m5HFL2Qd+Wncv2q/ A0KWJhGhY0erxGcZwBFSVHudNY3I5UlZcM/j/XM4gv1XzgxiXNxzf3AJ71/+ v498ujmPvGy4WZ7KzgSxmO82Mf9WkFTWOfNYTiZ8tM7fm3hoDSlsOz4Rws2E 2DgR/i8+68hwL6/4TX4mLEZ5Wp16xAZacy/PaYsyQbencPnILAcQbt8dVRVn Qnug78jeh5xwae3SXdmtTBjDrDaWxLkgkFs1jn07E5xzX7rry3NDTICIxowU E2z2yYifiOOGjE1zP3tl8PfrE5xUdvBA69aCoVI5JrTdh5d9HLww+TLuzld5 JvDOLX81ceAFLln/TckKTKjSn3ErquWFbXF2b6IVmUCz26Iof5APVBVJh57t Y4KaaRxD8xEfQJJGkbcyE9IcRfub/vIBTW073VmVCY8yJ8X/KPDDtYy1/ktq TOhvbg0XseEHz6Pd7rSDTDh7zzH+QgI/BH8rETA8zIS8hAMSb9r4If54crSm BhMyfjhczRAUgNzCIDWlo0zI9OQqvqMuABWGrpjUMSa8PcC9r4sqAJ1lLIqQ FhOONGmzyu0FYJag27umzQSznMCFPXcFgK9+l9uELhMMLCSDOvwFYAeTh68L YQJh98kXQwECcLh1+GXdCSbI/nb2PuYnAIYXq1WK9XH9Xj/ILHITgHM9X/Kz DJgQFXQw4YGlADhaRxI/GDEB+zBbduekAPiOeHZFmuD1+vfHJewUgIjrljcC TzHBkaH0lX+GH5JmDLg9z+D4enbHJxfwQ8Et5RcORCbkX3HkivDlh7oVYaWL ZCZEVLr7Nh7nh37vmW8kKhNaFYfLbs/wwTJn82k9OhOK2b4FPI/lA+FHef/U mUzQCOC+ctyQD+SF3jrtOcsEC8e4ySe9vHA0+AGH5HkmTBx0SYu+wwsXIgmK yxeY8DU3T9wznAdcZNRzRyyYMJI/1h8swQMPYyVN2y8xofFL9/6pEG5ITex0 wKxwPtpG1XVucsFGrkvWQ0cmbFZxk989g9/PeTIexznhfmLaXXlxhB2+0aYs C1yYYD04NMrpwgauk9eF592YUHBNUXv5yxoyuNfB+qo3E17eJixzdswjdRHW 208GM2HlhR+vDVsnktabMHExlAmRRS9fH2U1I08O9/+8E84E1NzmxIlPNYhR 1RWXL5FM0BMdPXW78jmSx32pXP4tzk+C551HTW3oS+rbt8ffMWFX0pyZ6Y5u 1O1t561z75nwXzl9767iPvSg7kWF0I9McIg6fd98eBR972rmxZ7BBCWO6da0 Y3Oob+Er6o5MJrxqWIkTrJ1HLURalf7LxvPGFjZHurCISqWcbXL6xoR3vqTJ w/QVdGEpMuVJHhMEst76Jeevog1Gzb6JBUzY+iuMv2TbOvqsh3Ggs5AJMnP7 6dcpbJjdoQju1WImlBKirN2G2TBj78ZWyVLc/+LfMv/h51nFyi0Z6r+Z4FrE R7rJyYFxStMeEcuZELalWkrQjwPrvBZ2wa6SCUFvL7S4rnJgBdl1Gv7VeL+I YZ1+bM+JveISE3xXy4TXFbPHVBo4MXcKuaugngn3/hy/f0SdC6PHBue0NDJB wf6EZlAAF3Z4vPrp/B8mpOpLRuz6g9/ndDZfEWthglZA684WaW5sLICgpdaG +4vP9VUSkxsr+/NUxPQfE5w+H5QJCOTGEvdU9l/txNdv1+V2yuTGHtwQyr/X jfOV2SVwoZEbu/TjVNjrXtyP38MOMca4MWTzY5uv/UzoTaovu7jKjcmYlyGN g0zgftl6/SEHD7aUxC8xNcyE82E7l/9ucGNNi8ajQmNMuH/z3W3HWW7si+Gj wn0TuD++KiuZdXJjweGlkSencD17jSzQIm7MsZvnusUME26bUu7nxnBjpw4a GnjOMWEnu+mUnTM3xtbYyO66wITO1e4zDQg3ln37aoHdEhPMjxm4E3m5MXvZ OY/LK0wokYlc4fzFhckX+WmeX2NCyC5+BWlfLqzZesssZYMJXhcJI9gRLuyZ UHy6KTsLwlfme3b3cGLL9CIlLW58XJqrMqjCiaUvU/oP8bLg+aPV2oxSDszq TXecEj8LPhnXK266wIHVDbLLbN/EgrG5lYTzd9ixpDsgvLiFBSxpaXWH9XXU Qq6mbEKCBU7TFkKPR9dQiZ8X/Qe2sWA5u3Wkun4V9RX2ZvsjwwL93ytsAsHL 6Lm3+dNZCizgUTBWNKqeQ/lLtf7c0GBBiRL72cnmAbTArizM7igLLL5pra5e 6UNdRc6RLh9jgeovQYO5uW608+zt3xQdFuj00rafZrShuaM53w+dZEFz+jIa zVmMOoYYuSsZsqDYKDn4WEQ2qnD0j8YuYxbsYQss3AERaLD3/CeR0yyAawV8 SrLfkWtiR2InqCyImMltlwhuRGRzis0G6CzQejX4d76vGWk4T9vewWSBoJv9 hPiWNiSQrbex6SwLKu+KHN2zvQOB9zdCq86zAJv3aVtZ6kTmTTiJJeYsUNn/ /V4OuRtJGQ8VLLjIgtPk67V6YT3IpTD5X1mWLFAKVa9WLOhFth3L8Pt0mQWp LT+dF2v7kKq2EyfeX2XBEv1nPauqH/G7V7sWbY3jSyq6MJcxgGgpWn4Lt2GB cErkpL/3IDJZNun2xA6vr71vuUl9CEm47qPu58ACkcKv0VnVQ4jZFpHJO9dZ EJJqkM1JHUbEvr5JueHMAi6XV/Of8oeRUvMDNnY3WMC5atvzafMIInb52vfX N1lgbj/fJUMYQS5ce7up5hYLzlRIO844jCBJDi0XOTxYoBDEscPy+ggy7yKe oeHJgmNlpsc/UkYQPffTXNZ3WeCAEjPkt40gT70eMF76sOCh7nCmJjaMNPsW JJb7smDLemX01VPDiMKjheU1PxaQfrwL0vk2hDg9PXjmoD8L/rPjU7m4aQj5 Hmrz5lIACyjNb+R9DQYRnsi4qfDHLFhwd6q3uzyAUF636pc+ZcE6Z1HFjHU/ EhO3JWIpiAX2qaUEDlofMvThzKBKKAv+kI3RoH29iE8G+iQ4Aq/3fJsmI6gL qchZ/FcYyYKhqRSz8t2diGT+oUNzUSzQK0iKtzdtR1JL3zWefcOCvrmY/6YG mpD2Nn/Z3YksyL0rItby6geixUtKz/rKgiOnxIbF9zShD4UCOAa/s2C/nJuX N18LWitaSJMqYEGe7lWvS93t6DUZjaW7hSzwkc0ctMruRjN3OZz6XMyC+m1Z vL6Pe1G2vQmve0pYQA71znlE70dfHNqmZ1zOAsfGnUe1C4fQ7qPkcI9KFhQ6 W7INWY6gajqB/SnVLLD+pL7/0eQo6nGi6FhHLQvypwvjU+3H0RLD1UDRBjxP 1vtMVhsmULHTR9r1m1jwiuvD0KbwSdSc7HjArZkFvAHTDZaHp9BExod7iS0s WKQssFqLp9DZ8531LW0suK+8/0m36TQKltsVN3XgeFrlAvuLptHHVhR3pAvv F0hCjfmBGbTJ7nGZcw8LDp/rjyx5MoPKOxfLxPfh+XkrrvqhdQZ1dFtzbBpg wQWuEPVn0rPotztHf/AN4/74dY5L/PQsynPvurj2KK7/hG9fo/0sSn6YeNVh nAXaGc/JPl6zaPTjrpw3kyyQc8o//BMfDwZLCdRNs+C1pc92S4dZVCOCasY1 xwJu7zkHKXw/n1dPUo8usOCiHPnVj+2zaEXsTzabJRYg0p+OHGqaQSUT1imv VliwYTeznXBvBr2UrPm+co0FE7WN/rzSM2hqutPCxgYLjA5gR5jvptH/AaiZ bxk= "]]}}, AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948], Axes->True, AxesOrigin->{0, 0}, PlotRange->{{0, 100}, {-4.47530980361166, 4.163366231623822}}, PlotRangeClipping->True, PlotRangePadding->{ Scaled[0.02], Scaled[0.02]}]], "Output", CellChangeTimes->{3.671907419851469*^9, 3.671954087983111*^9, 3.6719632193544292`*^9, 3.671975734966064*^9, 3.678189098661646*^9, 3.678240318695733*^9, 3.710731642135088*^9}] }, Open ]], Cell[BoxData[{ RowBox[{ RowBox[{"p", " ", "=", " ", RowBox[{"ParametricPlot3D", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"Sin", "[", RowBox[{"2", " ", "Pi", " ", "x"}], "]"}], "/", "y"}], ",", RowBox[{ RowBox[{"Cos", "[", RowBox[{"2", " ", "Pi", " ", "x"}], "]"}], "/", "y"}], ",", RowBox[{ RowBox[{"Log", "[", RowBox[{"y", "+", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"y", "^", "2"}], "-", "1"}], "]"}]}], "]"}], "-", RowBox[{"Sqrt", "[", RowBox[{"1", "-", RowBox[{"y", "^", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"y", ",", " ", RowBox[{"Pi", " ", RowBox[{"Sqrt", "[", "2.5", "]"}]}], ",", " ", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"PlotRange", "\[Rule]", "All"}], ",", RowBox[{"PlotPoints", "\[Rule]", "100"}], ",", RowBox[{"BoxRatios", "\[Rule]", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"c1", " ", "=", " ", RowBox[{"ParametricPlot3D", "[", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{"1", "/", "y"}], ",", RowBox[{ RowBox[{"Log", "[", RowBox[{"y", "+", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"y", "^", "2"}], "-", "1"}], "]"}]}], "]"}], "-", RowBox[{"Sqrt", "[", RowBox[{"1", "-", RowBox[{"y", "^", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"y", ",", RowBox[{"2", " ", "Pi"}], ",", " ", "20"}], "}"}], ",", RowBox[{"PlotStyle", "\[Rule]", "Thick"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"c2", " ", "=", " ", RowBox[{"ParametricPlot3D", "[", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{ RowBox[{"-", "1"}], "/", "y"}], ",", RowBox[{ RowBox[{"Log", "[", RowBox[{"y", "+", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"y", "^", "2"}], "-", "1"}], "]"}]}], "]"}], "-", RowBox[{"Sqrt", "[", RowBox[{"1", "-", RowBox[{"y", "^", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"y", ",", RowBox[{"Pi", " ", RowBox[{"Sqrt", "[", "3", "]"}]}], ",", " ", "20"}], "}"}], ",", RowBox[{"PlotStyle", "\[Rule]", "Thick"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"c3", " ", "=", " ", RowBox[{"ParametricPlot3D", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"Sin", "[", RowBox[{"2", " ", "Pi", " ", RowBox[{"Cos", "[", "t", "]"}]}], "]"}], "/", RowBox[{"(", RowBox[{"2", " ", "Pi", " ", RowBox[{"Sin", "[", "t", "]"}]}], ")"}]}], ",", RowBox[{ RowBox[{"Cos", "[", RowBox[{"2", " ", "Pi", " ", RowBox[{"Cos", "[", "t", "]"}]}], "]"}], "/", RowBox[{"(", RowBox[{"2", " ", "Pi", " ", RowBox[{"Sin", "[", "t", "]"}]}], ")"}]}], ",", RowBox[{ RowBox[{"Log", "[", RowBox[{ RowBox[{"2", " ", "Pi", " ", RowBox[{"Sin", "[", "t", "]"}]}], "+", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"2", " ", "Pi", " ", RowBox[{"Sin", "[", "t", "]"}]}], ")"}], "^", "2"}], " ", "-", "1"}], "]"}]}], "]"}], "-", RowBox[{"Sqrt", "[", RowBox[{"1", "-", RowBox[{ RowBox[{"(", RowBox[{"2", " ", "Pi", " ", RowBox[{"Sin", "[", "t", "]"}]}], ")"}], "^", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}]}], "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"t", ",", RowBox[{"Pi", "/", "3"}], ",", RowBox[{"2", " ", RowBox[{"Pi", "/", "3"}]}]}], "}"}], ",", RowBox[{"PlotStyle", "\[Rule]", "Thick"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"Show", "[", RowBox[{"{", RowBox[{"p", ",", "c1", ",", "c2", ",", "c3"}], "}"}], "]"}]}], "Input", CellChangeTimes->{{3.710107596007856*^9, 3.710107661257926*^9}}] }, WindowSize->{987, 566}, WindowMargins->{{Automatic, 9}, {Automatic, 18}}, Magnification:>FEPrivate`If[ FEPrivate`Equal[FEPrivate`$VersionNumber, 6.], 2., 2. Inherited], FrontEndVersion->"8.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (October 5, \ 2011)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[400, 13, 3631, 78, 301, "Input"], Cell[4034, 93, 2816, 63, 175, "Input"], Cell[6853, 158, 2645, 57, 175, "Input"], Cell[9501, 217, 751, 20, 85, "Input"], Cell[10255, 239, 529, 12, 85, "Input"], Cell[CellGroupData[{ Cell[10809, 255, 1507, 35, 175, "Input"], Cell[12319, 292, 1287, 32, 93, "Output"] }, Open ]], Cell[13621, 327, 611, 17, 85, "Input"], Cell[14235, 346, 904, 27, 115, "Input"], Cell[15142, 375, 950, 25, 115, "Input"], Cell[16095, 402, 973, 27, 85, "Input"], Cell[17071, 431, 869, 25, 115, "Input"], Cell[17943, 458, 1237, 32, 145, "Input"], Cell[19183, 492, 3513, 102, 421, "Input"], Cell[CellGroupData[{ Cell[22721, 598, 1584, 43, 175, "Input"], Cell[24308, 643, 986, 28, 105, "Output"], Cell[25297, 673, 17245, 288, 481, "Output"] }, Open ]], Cell[42557, 964, 2162, 59, 295, "Input"], Cell[CellGroupData[{ Cell[44744, 1027, 1479, 39, 145, "Input"], Cell[46226, 1068, 80036, 1319, 464, "Output"] }, Open ]], Cell[126277, 2390, 4585, 134, 565, "Input"] } ] *)