20kwX47fMKr1AiIH5wdfS0srCXOD8VkT9obqEVEiXn0Jzqi/7uAsx0WkyLkN6aqazRg0Ruz24Uk2qosGYzhYA6T5MD+7DY9MtQAwLkIykcvtQMlf8D7UQjGNJj7r61B+kYk4i+PhUBxRXGUffOCx1ZabLKf0M2JxODvqBzxfsoB3vhSfiolrvDelnx2rDqk59EI5l9UeInlybVzZ/qD9+mgWJzRzhSFjQ4o7fIn7k1oArFjNzlGIYzaIFwzEjHnsU+5htV1L5SLZPGs/jKwm1aNEn6cZbZ3WZBzE8Wi8RSR/Qe45jIhyRK4RJMQdTIeonjDM3aOVaBaGWNXf1AD5vIoz2zmM+tIjeRJJ+gBbJfSghjti/FblU2sXFI05BdtlwiObXJVL1c0bt479h43YBk8b8Y78ChX6VpTql53phoF/FsCGNHDgivVldcZ7erOeJtnxSSkHKH6luHodxf8i6dLzZosabfMp3stU+8G+4fCP9NYWvMOVCCSOEqGyfA/8z57uGh30b6j0/hnMTXn2XvTb9s5wlq+DddFIBHJhbdUDxAxhHzrnmg/AceoETE2tTpcozN1dWDLUWRTwroYvwIY+zi3QiOO1jlooJl0aQCLRFoGklSiTK/VRr2DgagRyXlqbGVYcYD+kH3ol6HTbCG+sTRd/34C5O3m0L7HeQmUepHpJWjowUSceQ7G2hK5zxId4T2+ya4bsYHNrwTwmKxO5ULucyBJBYwZofGlk6OfgKdcKaFB6vYC0SaQeeHhkmu0Db3aIT2lbf4QnB7RqOHWPr6IGVe3rczylSlBF5Pf4aTEYzUqSwRH9TkNJmzEsnvFKWctwAki6Da/4uKUOvkDQ68E7dzz2glCdpEam0cmxQjMUL/sTwgb3QT04Zrt3D7w4ZqUccP0ENfoAGS6TK/eSL+VIBSDMWMg3pFOey6TadVX0nC+b14pzksJBh6lW6tT9cgyp2epvFMm9a1h1zrcsEfQemWa7lkKL+sfhw5Rpe5ycXSte/h+QpeZqeZxF8FyKBBa9PPO4tJNj9CXPeFfH76R20nwxL5ryQr1MW8dK1TqK5R6AgkpIEn1/tcRF3pRQDs362XpUUcUPgWasiZONFo4DclCrrQfXZuP6aRsKZ8M2Ihe1PyZWSWj9U/b6GrUWRyD6rA6jbG0wurjoB88VkWK2o7YOFcnoJxcRcHgdnKRvJhqaSUH7jcVC9p/UvQQn/2uGBDd1hx1C9RoJT1qDykTOkxefwolrbx4z4tXTZMfoJK5lOQCGkvx3Gvgk7/+Kq+2kMN4f9ujQ5KivBkY41r4P5zk4ZaFKj8ufMgQ6bJOMWxBaEgb7uqvnBqXULFF8dac7ljgc/RXcHaKfGLXmwS8ts9Tzdlx9OpjbEDx924Z42+lWbFzM3cLG/dUwvlqgihvTb8X9mkKJFh411lOFSajruR7JbcrRqCiRXpAJ0/Pkchh12gnwQuUaIJbCDrurgrnS5Lszw67cII6Hps5B+v0L+g9ADMrV81K1yG0K4yTbn60OWwgi1r5Zz6ih+S57OhX3mwgkuAxpdal2Vc7ooXeV6llsey8NRmote7VMpZP9AWB7EDA14gCghvEOQCKrEHMmpD/1iDcmToXkfeWi6h75YKuHF2rgSqyS7QFRI4kdr+75zyHHRjzuMnhWoHGoVh85PANiLtn8ULn7vpEawyzGbxMCe8WpxGmP2EATu3P0w6aHJYMFEpZlggImJ9ITYzLOYs414OXYQdS8HokuAwbpy2MJdeCEOrVE+EDnmwuwztQJuV3GHjQlCP+OWA9W7Iy3NAS03FJoMGOu0A1Ln4j6IdVDd45TgjOHKjhcjuuMtYgDT/mV0OI6YO0KjJhRcgLAyXWLGEt2WT/AMrn328w7gna2RYycCU0mw12TdzTgQS9uoby4Du6bF+YOCKjr/tzoIC8AgaV/890BjcC0UoS53/IREvQi1ZN1rr4n1OpECJX0v2/alAZoUZb2ia40AKqU3UNsXSDMeNUpaAjMGHBtD+xCZIv/aaack2/eGHdRCV+eGHfhr97NoR2MSZuFY27FP5gbhv4tO0wWIBVv6/2xPintxsrdlqAkaiKop1KuEFxogxOyx8A3HwPs72EMuEwE1ExtX3AxqHAprZAMI9qpVQZB+7m2dmvOyOuXwF9fkkh7XfuKi2OIrels+VEM5kQ2SA0sKajnEXCyg2BdXLr+lBSD/oYX1DOpsJR6Ugn2TIKh7Rjn9o7s3CPKA3hPG89c6bYtuKfHh0sEL2yHjlH8tq62C3PyF6ctkAR0gLdgPXHAvyltqoKCTu33yq/uNs2i0hon/HVKrULi8r8tykDsLj7Iqrmy9Mt/UguXIHtWWN1ZXM6n97dG/CvEGiffcbcL6BqnhpupDTuUou8HEz5y42PkemZX9sFom2Hv33l46KBoXuXRCDiBkEBewMo+6WV3LMWINvBi3/DMyTkAoYEgggkNlCx7OJRMxBt9+IkbDovMUYwUpPg0pqOXH/4G3TA+TTxXv6tc8EX8zRvFwNmEsWfHF9o8bKkgf2NycAm8pdsOceqoQorv2iWHqiqSf1Vol4zpt99CpHwotyW5UG6DHexBwhZRfasqsX7k3iKWCbZHYGhvLTIiTAo4NdmejnuGVwq+2dHrWIU99HOmPm7CXgqo5FpDzr8ZjyajTX0klJPeGMivRzD5iMj2bcuPzPWse6kj+wCL/4HtBFLdLQCbM7z4l8YstCztpLYVHxkj0NGqa43RWK+BJx/N+GgsirUGnKq0E8Z8ttoMp/+Jh6tmKLEGvyif81kSnptQyVxy60nr+nXNmdpOQyRQkKY5YT9zRMp8NZcDCxz2SzzvX3laj/aLrBeRYtGIIzjpBmau5ScInDnuLGZNqMRV2P4PKqD99P4nx1sOvX3f5FEpAH55W4buxKgp8OB9z4txllpoAjjXuEQckRhvXOvxT+tyzrPk2q6uJ8XDBz6HZf5DhmVFQ3T7djTwoFiQIcYvv3VZxk+WmDwxWv4Y3cFJ08oz9QgAiBxJk2qV6QnJoVtOkAOjYIbwFfCf8oDZDFXQW9jE4tik0ICPLzuMyq8uJfH/Iz7ulBLuabL8x+NFswxvDSoAeOTsgkrXbeIgjbnMImU+sIRtM0BNTRIUc4UDbBQsSAdg/39UGylPSpx5X651LA0FGPf/s62e9j305noztOM8XS5FA20YHyLynOEGbdHTxu9qtB8MvwY5fTEFRSictdcVl2B1/v0dOstpjG2HMxa1mrBczXDkl6Ik20yhXBbSgBGnL+4XoWLef9dL7KvjmphnVJbsc09maw32TWhBka5vDsPqc1U6yHqjQ7/Ae2nmBOaZfVLRjw2cEqRo+2g6j13VPuIQZVfRLtnsxDheeys5m6ChrdSGe+YaI+B7T/8ws8Sl7oyxx5K0Vp4h116O3++OXVn//bO/02T/2BYD5xaf58q6E0K7paRVh8TvRlSyHj5/linPN1yBeRram7gt5uFRuR6jFqFAHIvRTi/Ux6Ot2xZ0zBTqvh/vw81Tq7lsg2w/lGUGwUvSK5H4nCXP+i9cZ2y1INrwzHm+XLlCaM5LHBc1bbZ/PsbpQS4YlukzNI/haMjfohw2lgpGlWDMRd0URS7aB6d8ykEfR/WBrkzj8dO7TtUSD7qO4K+PwYAtIAfmvqceYi1LVHsX4eFqKRlPQ1IiWi2XoJZ7ingAb9M43/EVdMFd3zzvLRD0YGnUaYm/xOZGpmBmzdpwd9Krua5R1TS9ebP9L4t/PvkIxA571rd0Ew14D8IGDafi4kaKchgj9/mwo84+Y+cpLkuZ+yB6VHWZs1qXZQdShGdgXTMBVJJi7MsE5GCZbxecD0ZaCP9EAbo4yxFZUa9m1uKCAa/cBx9XNOGKQpG70cp5nGWniL+Y1MiB6e+kjN2edkGrj+9vbbFfXLUcMsFvwVJHof4ALteQshq/ax/GH/gdbOj41E2bpEyLyHhQ9Bfjk9b78Tjc7tQ1OWiA8f8D1wkyB3cHaCrfKjhLKxY+UVwCCPaBnYFVdC3eCRxLmE/zvUHGAh7TtxNwEfjM+2olecUeUIeUFEoL+NNLL/iDthQaIDBDbsS78xwxVMu6bShqz6Ca9FvDQcaHWMIHcSPSDEmF8GWgmskO04doapCyW+8Jsedy6MrTdTWrX47OqXXXd1sqyP4fJmWQhjL/vVwljhWBZdBM3qqQEc4Q2YyrxGDK3wVmiGN9XwhD5gIAqvlqVMGgheesWGAgkmVNGH6QRocDRnNW2SIyCAJIrU63Kta18mgMNjGy2Lunkq8Lqk/Vg2zPH6E2Vs/4d2yW33RQ4+LLS7ZlFEsmaozE60JgHtusrXd2ZE3Q8xaWdAasFsptZrLWZRoeGuAJrTaI4YKjsNg6BTx+JV8QPG3vLFNLex/w0aflZJHObaARpBIir4XLQ8tp7SPZYlNclW+yXvkulkfLrZqdnmQdwZmiBSWW+sjjavNwXGawVC9gIgBRU++8OB7U+/iUrCJ6YKn7FyHl23FKC552mICMYIiIg8+5nT4Uu8ZkCkw5vhlvmuwYQ1sCNpmL12YXJFZP1pcPHqT0KrVZS/CAhX/2oXeGHTJOAWBBx0/zhTBDhmOymhNkYJrejeNXOdxc4IO8VyXEQSL6AqRcHxUzfEXV1b1kSBQmzTb3hP7u/N063Gwzu380UahnA4xuZwDf++dLVWhEMiZRY+0gWnUQVRQ5e/6Vt9HZsRw3xOOgmTvQXavJeotYQuJJpdi2GtYbBqPXD/ixYbVyIXJXEVFbypyyzeqN30tDvPUpWm7UBro7XDvkWOxi/qxehKnlRsullApzapDnnbBAmNiuntZrpNxRQBd23RqU4qqr92gov/Lr5GJiO5Po2rdqpa0f9tfFZzZPIBcJdFk5pkinWVyrB0FcMwBC7q14J1KiEkZBwSGk+Gp96yS4VHsrfJ+Db05KZv8Qt7f6FgOheJIOBtV6pObDPVIP5TtAZdUuc37kZFBSwqGTcRVaWXCfrW4+jbVaJHVl6kaFu0i8uRLl3PUkoCtnZX2i1w7KYX0sJsK1iwurwVumlxo+n89Aksz9i8cv4gDHpQtfclXGn5zF1/ck5DRDvhwKJaubn6YxPd8tCtrymaQpvjeqVflW2D8gdhcSb4HPsWtEa3bz4/kVVxaaoEqS+NVIxAqPihdtN0XR17s6vRq0VxHUtPiy9gsPilBx7wBNY9n5ZE7kDzDmrFE/6lc+Fb4mMcUy9mZ4hA6FQ9mf8f9ZgJM/YZCCZVGCv1yBcm8UGhQiTM79xPMie1Kl/dc78EdMsdxsY5dvUP5+cs8Bvz94/NqDzFuq/MD5ecw2rmCE2pKyeGRafgex32U1B4rlQtw23kd32LkXsNGoJ75LqzqGKatlRMkVW3KovRyhqpAoH2P88YzoH58T7G2DVMmW2GUcboL4xdg6Sd2Gxxg1IPk4dzxDNWKI1U7kMVdMfO5DFOm8QQdkyF6VefjHULhseLqNQ5gQR1zzFmmwfwnq46KtlTKPB14KpyoNStVUu1ibSiQzHDxYLOIUNmSL8+9jnDb4Hx1IyAhG9af0d7yN1eL6fbKEHX8XBeIqkKi9THoe4YTq5Yb7QnV4i7AS6ngBVBosESdm0Z6GD4pGbiIkGYJqD/suVkdeOk6MKyXqX0Rlt/C6MGpImLnjqmfXtjPg4Pr+THuKDvpNT2gEbnqQuM0w2G/XhT76/Ucze8XpEq+ci7ctQBP2MbclBMpS9QQB5gAZKHBoJ45eqDUGNx5oPPNwUvjFPV1gtC+yMtsBPvMOykK/TVYaImzox6HKPil9OKlBxea7vcvZbiAb+6ZNSXaewjW5N+VfAZ1ETiiKMWXMjDtiv06beAWBNOSTeCOMbAYPV2RjlYBioVzHRq9G1Ta/VtwNQQ6J4J+iI5gH8wl4kMA5PT734pxk978aCMrDIbEk8vUv5ii8ezzUAbX4h25BbWfaw37iyWHAqa3TKesG1qeYhvLpn0SOpL9BumaTqPzUn01Um2Jp5N0yHxUFbj9kfNYU7NUNdRv1UKi/wyMl317CyJRT8gqF2spBdUiLvmyJ0/nyJViLzDRqMWozMjHRJcR5Hk/Qlz4OjwARv2W0UQARWYHiCMnsZMJ+sJDiS6K1crKi9akd5ZYyjPFS2R1a33wFqR3ALVEcQ13QpYRYI6C6recah0J9aReKBRypUXu89VxKsLJ2NvqiZ74EHrPTgev+FCjgykEMo4uZZbVG8CnyjypSGV9GXLOj5vOxYssBrSV36XiE4SLqU7Q8KGRp3boAtpbj7JXSogv99wDervPCb4T60Qie4dmmZvKO8uwecCgjBYd21oFVZz3Atz6OMbftx0DZBTLC02t8cjgqqFMngmatwlu7+SiUjzr8X7zY6BBNhxdRerDfwSOJVTg3c97aUJjlzsFXvvlbrir2gmQFPfEy5X5G/3oA3gUujLyfdWqzzUr1UD1dR/77kbkBxWZd9oFUgz8gtwyeDLhz+zZLQsfoin2iMTq+mH1D9M47TPLS2RYiPc4LS5rmUiZ/KK69PWNm/0YtZ0nWOyH9BuhTNbh5kiv5+cd03qAfusZ1K+jsixnfpjhL+a0hLAlN8GVNNjsMeWJ57y49vvPm9M6OadOWw/oR6aAiT1J14geqynQVAnDCNj0K6urS1E5zG7FV/0ooFG8sb3/REOUd9nvh0aPQxDtw4LXz07sAzD8qoXXwQVuXMIx1QjUBu86QS711GZmXXL9/tloZajQqm+54jiZKPO2UxDln1TiZaGuWqiIrBFXjRJxIl5+hXT1a8msuIz2/Nn3SoXNotsTUrMgh68nQcp3M5gljY6XneIxhTcITjHgljtg3nyGrwgy3+DN3r0l4IZR2MyEYjg/PPa84R0qAjYgZZBiI6ZBEYlo+6TjClZ5CsXZQkp/kWsFsaCuMeTBB+dMBGGDKLfRwEl/1bKFRzy1owxtVrQfpIxrEUd3dxnFW43Cl8sWSws0/IeqQekTVznUkJap4QMqAHMd5PgHFcI83C86uJ0828ZquUP6q+P74DdbAvsB9Lct4gjmVzTOYirvMH5g2AVggVRB/gNr01tPFMk1g1ZUih0IIPtq7m9l5/ye0zimUpLQeMKMYep24ma7uUN+CLALL4QK7toSF+RNxeHVb2f9zvGOet1lNlVZJerVq8CJCSvGSHRc6UYzlgsF+GLdzgA5cZHdHgHMi+sbCgTOZt2TOPBOWUqw3pJXRjP5HPeyJyT7DJEL8Ni6CILp2awj0y3i0Gp3F+zTM23G/X+7w5/U4ErC8SvKSmdOFc2cR+dENO5saCyGZc/PdUZUx5+QtE1qOXfxBV9NVjpbHvxIMruKtxAIS8NSQWmt49Z/Hvssm6iSHn6EpfrOe/Q8Mq1yxn3CYFZjQB9C4vbAhANJSF2depUQ5TV6hyr/Ofp2uHJipfsjY4rsXfwxURod9hFJOkNBZ9lj0jjOSwEj2xfWaQ7f2T2JtsQWmEZDfrVUUo2f29++e6Q6bciUuzkRgj5ABGbAzvMkH/00qwV11ASXovTPEfsFM/iKfK15MVQjg5pOGD52s+5RI+19P47Ky1R0MrmxwCDUx5xv6F6uXp6sK0YAhg4wDmU2yTaDRoEjg1Tk2BN4owAlq5lGdAouysn7zY7Ghudd/RlV3N6CQc5qZM/xf6FRwGaduP4kgfwNDrjoZW/QePOm3UL2rsZHSXoVWL7eV+LbK8hq7nCsSWppT74zwevzErgz2+fvqlQaZmdbEZ0e0S4Pu0/p/+JfMnPUbrgTU7P0/fJnGVxzN2T3oc4Sv53k5HetMlNwHDh62dIKWcDFoQZq5BJkB7uVltYTLnDoz4rMbRd1Uk9bM21bhUfpeeQQtKTntySUB9tof8/+s7cCTiTrNAtQlMJ6ZsJbRbKFrkpDof24ivsr6lnVjm+M7o2lXIOcTA+SD6mJY2bzrQfTO0UdG4wSieTSA4Va68YqxS6k5L8JRsG3VyixX5XmQFOTNw7Px061EwGccyRT+ZgFxapPTARxGCEKHb0x5tOTe80+uLCMpuascUsTOVhyBkiM90KzbtWlecVsfHqqW7ZIBcVJXg9xxmSiQRjy+e7ptlCaytD2yA788+KC+Rjmes1y9IyOa6C/o1+la41kJe9b5zRLhEY+VspyivoMxE/z/GJ0zBHIK8ELZYAEWd2BGuq8rTMWTaXOxG3apUOiPfcqvOTRZOVa7vyx7supw4bP8lehtYmjMmKsqKW5m3R70zzOI7Gz0MTjcHOH8PVCe3cf4zGNBV+LVjEdWvoCt22hwFY/ymHKBB9UcfkotNZgk5T7cN5qIdWrsmaIZ+MR5kVIQ33kx6e45KkPCZVz6Nruw9QqPmwG4pcqrC2u4TVN4fi0acX2b6PxsD3kBhZtBA9xLwB65QUHh1M14rLUJFJxZGAsKaLDbQNPtwfNoT73iEVaA3lTpDYyPvNV48PdCqKGYiT7r4tHixt9t0dXq1W4UcoBvP8vINvNkvZ0WB/nIZepyqSsETh0BcPdG+2fV4Eu6ehv4z0IMFd+/URwN/95kmEPKBvSKbSbM+IlttTnuR8ULK5gL3/VUp64x7y6TJzvhIPeEpuDAWCXHHdCC9627uQpPpHRbRJCsihTHDW7QruHh2pmb7KkXjksESX7zAw8S0obaSsrpBCTvGIRZu+1GQ0nGvrFCKWFTo9DIUaFy0Ww9IKQ5VfQLlfw+PvRKHyv0jasnow47SemhTl71+qYlBC7Rd8pip2FPWB3aHTWeIoXaXshk2DIyHt0sk9prpmQSjyRTaO4B0V2pMxft93otoo1Jb33zczOJ5JN1agE+N6njjd/ln4d6IM9A4yOd8e5hu/oEgOx75dCNhl2mfjcH7nGYfk/h7i3gh1UPF+ituMdnF32Qgb5zLspY+0NPlDMRCJx2Svtaq+UqsMyPLRYKqGXbZKIMyWKqG8YR3378pB6hvtfDyvEH82AZ5X9htNWU8lH0GmZ/qsU4juNafKMgLUbs3w6Il5RdyWMDdMiZpLz2+HwIsGS7SwHYHYe7A2SrBW07D2EL+7UQoE9FkG4p8pEJGGumfqpa+JxSXnmtL+j4cbe8821yM0wNPfLdBKyMD6VqaicH2KLLiiMM2jhhHwb5T3edFhRwqs9usEMahIo52Hfvhyl3luUmu8niw+7QGjkFuVkKr7zoy+YCY0FF36Yq61a9kTcSqOLTs+qPvzvex/ARDHPMAx8bZ79D/4/VJwgER+V8buTsfj6qalswI8D/hjTxqbnn8ddpivA6EvUjXGgKsvwxiHCpB7qzlFfnOz5SZin5ZPBBlbX/UOQeG8n6SCcB6/j5iHEhqwBwwHBJhljkaWtKbZUXjLMvCiuioTfoX60WhgZ1GeHa6obiO67saI5/K++HZMQYaXJHBuOMOycwLEEcN/dGGx9v1xMd3gCZvc+VSfcEA0Gd2n/SQISE4WMCYFBdr4fVsiqzGMdc4Hhs2iOU1nkhZ8kZIwN5x6qd1DIqq4m24PX2+fBgYeIkiyUYCibn0affFlv+EC9vMKLpF7GNpPvsgKq8R16HAiehwXgriuKNL1AsNP+8IyqutVou/+o761izDxC+52GGq7mWwGbK4fkb2KDzhxGrhvURqoUN2qXDM5TAHpZEqBDQFSFz7dXqk4gHRG/t7y+xyDanYiVR1CwiURMM232cA/xg7Y9130BsW4NasaCAJsxyp8NsmBa0mLf2hCnebuBllD8fV7F4kSj0m6lqRo2zisWAomgbk/VEhhsdEoDYw7YqYIDggJsvvvBmOhKrzmmZ614Jun4DCyJU9RaroC8FOPN5j2EOtFTL990TTO+iw4p+wEpk3+wilxns+H6VfueOi2m5UOhdei+6hk6umfzfzDAY+l2ENMqZS6AT2wL3Q19xXjQXey7t2MS+iftibO+khLV9uo9cuFEij0Vz1sSIjrJyJtMB9GWuhU5AgcKqWeqMkyEpDqyJaYYlAnnYurfWY5ngSLlpltQMhuDkUogs7ZPHNc3fPl56G2uwval6xhxzf/FVNnO1Uf1xaOzUfQMz2qbjS4w9+0Elmsjp7gHrQwB4iq4lyKA4p1X0MLWcQ/zKMqB7ku/mOmeBprrZDq55j1GjnPybI5NKrofdeWfwgKQ8YB6kHs3xG5KTmlpMKRGKgjaLSIpA/7mtqRtg81O1o8/gpxVA97wTwa5WUl06HNVWJUxv8waFsBgzXUHFS/i6/FKyK3Wsurl0WEk8BAq/DFLc4bmORi+CzvSnHqqCRxuBtVvL0BW6Cfu0vk+UXJlMYB3eye07+vE5kmnlZ/a6i1yzxXDjAupHZBTVatBoCLBvJcuQI9d7+sMisnoQpTbKOemvIcRCv+8aH6deDdMbaqCXlAbYaZEQ94c/e2miG4r7jryzG325a7Q6JnQqk6NnLP3fiKk4q/m0znE98QYxzCPdOSnXJChYBq1uLxp+WpiriF+7OZePy2QFyhuVPercz91/lrfNE6uVSB1CKaYNYRNni3kr6J6CnexFevTeAo2iQYi+UzqFqfapw2GendJiznxjLEGr2MxBXrlZgR6D4nPrpYfM014F8bYTDlJobdA4qrX5WIxrFVooD8vTyPz0ywDpCRRalNecO2zPswk23QgQpF0tOmvH3lgPdslSMsDTWFP9/nimUnibhFvlDnJ9XtvDmHMXt3kb9qYnIr/bFt1EpZpHssOKSRuxqQDGDMja+a6eViPIFrF58gZpblEj/kUTSYh05lvlmti31r5iEbcMT154MUhEMP8u2E8TRmTdf7eNwRyheY+Y+VoHWPifkJz11XJB8ZYZUL3cgC4wbYCOmv4=