TUZOV3RLVWI8b2I8Uj1NRExDZE5WWlpKOnROPkg6eFhWRXJwczo7Qk5TRE9FVGxNWGxnd2dpVzttRFtVVVVXVXNLaXRVZl1XZnZfaXZtaXhvWUtFVmNzSXl1eXZheXZVSXZfaW9peG9PV2tneHdpeXdPdmVDSHdnSXhpSXhteXFBWXNdSXdnWXRVaXVJWHBDSUZpU0lhQkFBc2E7R2JZeXZjaXhxeXhlWXdleXVZeXVXZE1XVHVVWXV5eXl5QTs6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6OjpaamlmRHFFdGtdYE5cXEBOZFxcUWdxeEhgandoU1dEUVZ5UHhQTEFJWFVgd3l5eVNVdW5gcltETlpdV21ValB1SlpdWV9sU0xxcVdpb1N4d3d0TEVRbEBVTkdpT0NAWHlRalhMWWJJdk48eHdhTG5BdD11T1pkUW5BdEU8U0lkUW5RSkxZUklkcTpgeEpZcnlxSkJoeU5Gdkw/Xl5Zb09BW3lZZWxvZmlHYnQ/d1t3W1BoZEs/Z1NPXkRHcExZZUpwXXQ/ZmpIb1xcSV86eW87SF1cXGBcXDpHb0RGXWBocUVodD13W0ZfYWxTPXdVVG9UdE9IUHdDYm9yWVt3Oj1FcFlkUllyWU1DaEtkRT9CRG1pZEtHPVFzQ19ZUm1IblFCTFlyP1FlRV9YX2tyaWdlOltpQlljZl9ERGFHZVNzXFxlVFBPYl93WXJ3c1hpcmRJdmlHYk53R107VFllVEttZ3l3dkpHQnN5Q3ldVmxtRmV5RVF3Y1g9amp5eDpgc1FNUF5cXFlQaG9fVGs+eE1zbXRzSVBNaEttWUx3TVh3SVdYcU14cVBJVWtFUVQ/bW9EaHRIRW9fbFlAbVFIUXBaRHlMVXJZSHBuPHlSdXRuSFV2PGxweEtZUFd3SVhSX3BgSWBwWGZXT3l5PmVNeV9KV3U9cWFSPnBwVnhPXmZ1bnI/R2BIdl5RaWFddnV1b2NKcHdVUWRUZ2RgX21leF1UdmZcXHhmcmhkYlh2cEllX0hzW0lpSD5uVW9udkBiS3BpWkh0WGBpYmhmS09gSkZkUFBrSXF2eV5xPD9tQHZ1dkFba2BmRGhia1lkTnF4al9jPl9mT2Z2X3dkeF5fRT91WVh5UUBvbEZxWUlmO19lXUl5UFZxbm9zZlB5SkFePWFzdXFbamBaUj9rRV55akh0SFFnT0h4U25cXHdZb0loYFRZXFxGZ2BSeGBJcVtWd3E6QF1UeXliUXh2QF1rPmtpdmRhWVxcdWlcXGRXaXJuW1BxclRncFBZYnhedHZGZmtXWmJpaGxZYT5eYktAd1R3c1Fodk95YkA/XWdxaHdvbW5nXz5vZz0+d3BHYXJBY11oaWJBeVhAZUxvZ1FuaGx5a0Q/czxfY1xcPmJAUXV2QV5reG1ecHBBWHZqVlpzRl5BRm9eX25WVmZsaXhyaWZoYXFpP2JISVxcSmZfXU9dc15gbHlzc0FzcF9iPUlaXWFrZFBtSm5pQXZeUG5hTkF3OkdpPlZxbWZ2Ukl1eUZfW05tcFFqYz9wSXFeUFdqaUZkVVlyYz5nbFBxaFBbQj9qTE5xS0F3eXhuVmhxXFxhallRXlpGVlF4az9lO19mQFViSVNzPz9UPGFCdz1mS11VeVl5W29SQU15Uj1Id2l3RVVIZm1SUFN0eV1Uc1N0YkFIeFN1WU1zXnlHS1V1PUlCPVF4ZW1VQT1ycndJO2FJWD1CSj9iXnNzW19UWEVZVENlRWt1R2dDTmdlRUtZOnl4RUtCTFdibXVCSGt2ak9ndmFjSV9XPV9kR2t0UmVnWXdyXVdGUT95VEtCQlV3SVtIVFlyQnlHanlGXFxXYndndnddU3hhd2FhV3M7eUF3VENBU155eGQ/WGQ9c0JneVJhRFc9RGpzVDo9aFxcS2dtTUdbYXZcXEtkXXNUSkVjdltkVjtmdmNoO3dTOl9Ea1l1XVF3T0NkTztzZz15b2V5dFNHYGtJbXNGeW9nXj94RU9CTENGVmlESWdJQEd5XW90XmlyUDtISz9oWk9zamdTXFxvSD9FVVN1REdNVUF1RkpJSGlfRktTV1V3UlRbaG89U3VjY147SXNfVlRVRT1JQ29TSXN3Q1dxUlpRRzxfaVVhY3JDZWhPY2FJUld1c3BxUmZZVEBjY2ZNdWhzeUNXclltSVBLSWJRaGRDZWhxeFxcc3Q/XURHXUVxTUlGWWZXXXJnVUNicXZJR1Nnb2ZMV2dgYUhKS2RsdUVxRWV1PWl4a3dRU3RyU1d0V2djZ3dKU0lHa3Veb3hnS1Z5UVdaRXReZ0JlS0daS3hjZWQ9SWRUT2hKRWZSW3hyTUJrS2debUdKXUhjW3RyT1Q6X1I/ZUZkX0ZWQ1haQ0Q/UUNxU1hdWWV0R0Y8RXVRZVVmY0NMTWhqR3ZWS3NfU1RrVXdeXUNFVUVsW2Y8P2hORXdkb0g/TVdmXUZiZXNQS1Vda2dIXWJTRVM7UVZWP2hIcWRUPWNlP2JwX2g9R0d1cUdEW3lAU1U9SUZLRXhFZVVXQWhOTVhed2RSWUZJTWV2S2VIWVdTc0NsW0hHYXVbQUVaaVJfaVRKVURTXVlja1hzb1Y+XUdCcWJAO1ZNPURsdVZIZ1Z1UWVEcXhMVUVdXVdTQVJfb0I/b3hMZ3I9PXZxa1I/TWNQQUVHXVdCS1ZQW0hWT0k+SXJFdUJrVWNxU2NrQ3dwc0ZvX1JjP2VCW2hoQ1hZU3JGQ2hWQVN0W1VVV1dzXWNlWUJoeUQ+YVVUTVdaO3ZEb1I8TWlnUUR1X1R0Q1V1UWVUcVhMT0k+UVZfQ2lJXXdfQ3J1RUhvc1J3b0ZmP0VjUWlKP2JoPHJUdVhbWG0+UU4/WXROZHBQUU1TeFVNPExxPXFASU5CQUtFVEpCaHhTdExzRXE6XFxWbVlNY0VKdkxNYFxcam9BV0tsdkxgb1RFeGJxUmBgdVJxSzs9UFg8TEF1c0NoTz9AbU5FamVhUF1JU1docEB5V2xcXFdjPXk8UWxQWEpRdVN3bFc9eHRZeXZKSE9UdEs7VFc+bE9JRE9EVEpaeU5vVVBSTHhIbHdQZWxLeFQ7dG9SRXZcXEFsY11rYnBwZmB5b2x5dlB2T01reERLPl11XFxFVkNdTkFhbkFZYz1GXktfdWRnZFtRXlZpXkRyPlt0Uj1IXFxhR18/R1RbcnRTcnVbWEJ1R0RzVUthZz9RVUVHRUtDaWdjR01lWW9HQjxVUkJJYltlYnZZRkFLYkd5R0s9Q01RQ1FdQ15bVWtVVEZjWFZFaD1dZzxbVkRvQkFJZ095WENnc1FzZGBDRmM9dWpRSEtdWWM7eE9PaUBZeGxPRlhFYnhPR2VDczxraGFJUlZJZ09tcz1lVE9JeVB5cmZ5QnRxdFZ1eVJFeTpvclBjZVxcSWdxa2JWTVVaQVg+c0hzVXVPa1lxQWdDPXN5b1lBc3ZgS0NoQVheV1JdX3h2Y0Zfa1JnQWNeSWNQW1NJX0RbVWY9TWVyb2ZjUUdvWUJmY2NhW1RpRVR2YWU7PUhHY3RhcXZ1V0hkO0liQWlKRVlkeXRHP2hCb3JkVVRYV0M7ZWJjaXNMW1V4WURDW2drUXJITWdIcWVibXJpa3ZqP0hyU2lQeXJja3hrQ3dRQURDb0llRXZiVWJHQWJvUWhYRWhbO2RcXEtISG1iX09GdFd1X3liX1VjUk90bndiUVVIakV1TD1VcF9SYj1VWUFnVU1FPmdDQWdDaXlTRW9zRVFVR3FkV01XcT1jP0VyS01XSUdGd09DZUd3Xz9jQFlCTT1zYFFlcz9VYEd2RElHdV1EaF9VXFxhRUNRQ2tpZ2BLWV5JZDxVckZTR2RpZENRZD93dmpzZ2pvY2Bhdj9BQlVjQ3FrRGJnVVFtWWRXVHlVSElFSV4/dk89eHJJWUBfSVhLeHlleTpXeV1ZUnJ1eERpR2lTdj91aUhHYlZRbDpES1tIbXJwUEhQcV5QbEVcXGtBTWt2bUxMeWxGQW9rbGpjZXY9bHFpPFlXdFJMZXdxSVFQXW51VGpTcXZvXXhndHI6YFREZW9zYHFzWG9VdHNePFFWQUtkPWxIRXdSUU9WWXFFeVRvYFk6YVlOUEtoXFxWPkFzTlF4O1R4cmRXXllKXnRqYVxcdkhkbmxVa1Jla29ZSnZYT1Zlc09xbFVNTkBtUG5VUG9YbVRAanRtVWRwS29IeGhtdUQ9UUhld2tcXG5CbE9odXFXWG93eXM8XFxWUGRrWkFKZ0VSb2BSQGV2W2V2cFRxYGFTeDxOVUF2eVVyYV1udnRSaUh1QlRRSVRzXFxxVlxceUxsXXJhWHRcXEBQQ0hTQHRyO1xcWG1EUztYbUZwVlJ5WHVIaklNS0JgbVppdlc9TkhUU0FcXHNycHRnTW1JQU5xZXVZQHFKTU9GaHJ4RUxpXXZvbXJQQGtnXVRFTVNORVhyZWxteXJveGtVXFxZeU1sbT1LYEF2dmFYV21LUXFtQTxRVElVXklRaG13XklZSFFxXlxcc1dsbEVdc2tscz1RWXdBUnRwVVBIVldpbj5US3llcWBETGtZUEQ9Vll4T1VpdTxRVG89dT1QVWNZWEx5a0VNbUJIWXd1T1Nkc211dV9kUm1dV2xwTElcXHhLbHF5QEteQU86SUpcXGFvO1lzZEh4UkhwT0B5REBMP0lwTHhyZFVwX0h2Y3B2Z111RVFWS1h3dmRucGBWTnFWVkB0W2xMX2lvO3FPSVVOd0xTZmlKOm10PnlWVHFOZ01Wb2FvUF1STmlWRFFPYEBWRGlzZEh5d3RZO0BWZnRMcVlsc3RyRTx2aG1yQmltVU1yPkVrSkF1R3h2WWlZSm1XeHhZcWRqR3hLbF1UQFFQVllPWWBMSmBtYGFqTlxcTUJNVlFteXNMTkRZc3E8b3BZeVNEbWBBdlBAcUJIbFBpT1xcQXg8cW9cXEBZZVhyU0hQUkBWZVlWR0FTcnhRWllQR3R0c1BrXWVMRWhXbzxQR0FQP1F4WkxYWDx1Y01TXFxsSnlkU1NNd0dAa1FMdmpBTVdUeVV0b3hVTGtVUFhUdTxQUVxcaHNhUGtkUEtOaHVIZGtBdHVDUVBaUU1LRFN2UVZQWXlwTFJUeHlNVFBWTVVVaHFzbW1EcG5jWWxYPU5xbHFreFJwZFBPZWtSeE1wQGtTbFVdSFc7eHQ/PVNfTG09QXRuYExxVVFFRVZCQVdCVW5uPXRCTFh4cHRGYE5TQVRkVU5HSFRFPFdOSU5QeFdOSVJHZXdKVE53SHU9TVlWQHVFQEs8TU1fZVNHRWtfRFBAYVZAbWxAPUxcXEV1Q1B2Y3l3U3BrYUB1W3RRaERwPGVTQEF2bUBVXFxNdj1BUVpEVztNTXdVa1E9bT1hVE1BWV1Mb3V1UzpNTlxceVBzXFxRWG1QVkl3dnFKb1BNVElwckFzXlFSdmxzU110TmRLQ0VsP3hUd21uW3Byal1XTXhLT0ROSUlMXkBzbjxZZkVrWEhRTmRRTXRXTGFQTVFMcVVUP015WnRXVGFSQ1Vsa0BYO0BtV2RLP21uVkRsRkB4dnRMVlFRc0ltXlRXczxvWD1LYUV1RWhZRUx0YF1RckB5VEhYUnR4Qlh1dkRyWmR0Xk1uVkhYSWFSeHFMS0xTR0FTTUh3XUBqZHlyTlRNPT1zZV1yYF1vRzxLXFw9VlBgWUtEalh1VHVJakVAd0NRU3hkTV5Ad1BQUz1Nc2I9az5MT1tcXG87dHNtXVVDSUxkRVZqPFM7UFRFaU5VTVZNbW9QdUpHTFRIVE5HcFhLUEtnRHBKbFVUSEtzdW88UGNKbl9jeHBARndhZ1pOWV9XcGVNYHFBV2ddaFxcZklzQWBiWl5hdGl0dXdgPkFpYXloW1ByRVFpZ3BiTU93eXZhSnZ4OkhnYllnO1htPE9yTW9nZFB3XFw+Xj8/a05GYVZYcUdQXmR5WndGcldHeEtuW2tmZ0w+YEdZblBZa2R3YktxYllYcHBoaE9Hcz55W1tGc3VWXUF2Okd1VktHWD9ydG1iVT1VQXlCWFFWSU93RHFFS0lFc29lOmFkXWtYSmF2UkdkZFtCd01jdUVZXFxlRURleF1bZHhPZV1BdVJJZEJLdlNbRD5DWGdBVkhdQndVVUdzQllpeEJ5ZlZ3dnJrU2FdQm1HV2djZnFfaWw7aGdpZzxBUnVhckh1aE5RZHFrSGtLV3FBZHBFY0dvR0NNSV5pd2FXY1d5RlNtU2xxc0lfV21nR2NxZVZpc21xYm9XaFlXR2RXU0ZHQ253dmtPSD9rRlBDc2pvaGFhRG95Z0I7Y2VzUlI9SFBBY0FbaXZhck5nckdReWY7Y2VbY1NhYj5vRjxlWEpdYkE/cmdJVUpLZXRtc2NxQ3FFVUxtVTxNZmVRd3J5dEtzWHRzdmd3ZlI9c3NlZV1lVnI9aVhnVHVzUkVLSXJhd1ZhZXNvRFtdeXFBZ1Q9VkU7WHdnVFg7Q3NpY21zaFpJeWhddGY7RD5hZ1lrU1o7Y0VlZU9VYnBnQktdQ15jY2g9WFtXY3c/VEtdRF9rd1pjcl5hSU1haXZdZ0M/dVJbaUFlR249Z1dJUkRZeGFBZ0x5aVVbY29zZlRNc2BXSEVDZVdpaFpTaVtTU0g/dkRdQ0NTeUpTZUxhd3A9ZEJfeE9PeEtxZ0BjeV4/YmJfd0pTQ2BVWVRbYk5FR2RdSFppSU9BYlZPckplRWNLSWo/Rm5hV2dBZWxTQ0FfV0tddFxcQVVBcVNNTURoU1ZSZ2VwP0JGTXVda1JEa3ZPS3dgXWl5XVNzQXhuVXQ+U2ZpO0lXdXV1R2V2PXJoV2RAcWdnWUZIdWNyPWZmb3ZMUUJfW2U+PWllQXdqQWRcXGloRFV0T1NIRmVXXndpQWVXbk1DY3NYc21oXW94Qz9nXz9mWWdybnNTdmd1dU1iW0lmP0NmYG1SUEV2WXVzbDtYUT1TcW1EUkFzdWN0UEd2c2d4SGdCS3VpXFw7RnZdR0xBRF5bQ29NRT4/U09XVWlnVEtVWVRZRFRjSVZDR3Q7YEZPXVVma1dWXkd3a2FXYHVma0tQWnQ/XFxEd15vT19cXF5pd0Bibl9tdk5eXT92S3FjYHZgdFZzPEB5Zk5fZWBcXER2c0ZnYGlZY0xIdHdfYkt3WmteaEtWbmhWZm1nXFxzSXdRUGZBR2BQbmh1aWtqd3c9YXRYUGJkd2VOQGpOV3VHYGFnaWJeVmlZZmVhUGlyP2c7X1s9T3I6eFxcdnFpPWlxWmlaVHZrQGFmWHZwZHFsU1dcXGlweWRhcllHXFxKRm09WV94Z2U/X1pCcWNESF9Od3JOWHhrUG49V1tsWW49YV89SFpbaW4/UG5BYXlUP3l4dmlpeGJoWHI7aWdkSGlvb1FdZURXZmJpRkBTeD1jdHZ3dVtRV0lpSV5zRV1XclBbRWJNdWdXUm5zQmRbeVJbZD9ZVT1NeWJjaGFkcVI9bG9NdndEU1dZUFd4UlxcPUxPZFdqPExJbXVMXXc8WE5BRVJPaHdLSEx4bUtmdFN4WVVmPEtFTXh4dExObFlLeHI+dVF0cFRWWVV0XFxtdWRUYVxcdF1lblpEUXBgWWtxU0lAb11xT3BgbG9dUEN4eHhBa3J4eF9Ec1RJbVFIU2F5VGhhUkVcXEpMdHB0cVJBdVF5WE9OZFV5VU47YXhbTVdzeHhOPXQ/PUpfeVU/UEs/UXg6SG5fWU5rPFNMSXlcXFVVRFlPaGh2Ok11Zm1Na0lPclVKcVhzbERyVUB3WXFRRWhMS0FrW1hua3F2X114Y1VLbD1UYUVuVUVOUG12SGlwVnBTSFl0Y1BRS3hUSVV3YFhYZUFxW2lYeWhxWGRXXXF1U2xrdVVOVFF3W2h5V2FsUkVTUWhLdWRNUHVSTkhRVlRwWjxWQUhuc0hsWXh2Xm1tVkhKdERZb1R3XWF0XFxYWF5ZeTxMakpga1ZAb110Uz1YSnFNUV1FcHFgc1ZJSl5wV3RQS2NMbWtkTklodVo9V1l5dmhUTnJwVFBpTXdUUWFxcVpFUm5YamU9bklgVXg9cFB1dHRdWF5Ad0dVS0x4als9cUpRblldVk1MVUZNcnFgd0lEc1hoUGNAUVxcQXlydFR1SE49SWtmZFVlcU9bbExxUXBIdHY9cUo+cU5ObVJVVUxeXXdSVExEQHFdYHNXaHhrVEs8aE5eZHJ4UW1rQVJGUXJWQXBKWFlybExXaFZLcXNgcHhSTFR3dVFqZHFmPHdSPWxPbXVfXU5cXGFYQ2lzZ21KdERYc2RVdFVMPFBrYFhwXjxVUlB1RVxcVHlAVUdES1hNS2xRTTpwdDxgbkh5dmc8a0V5bl5sVkZJUT5xUG51d0JleXJ1VG1IWW1YSl91ckRwS3FJUnBQTEx4UlZdSnRMU2t1anhtb2tFbHhNdXhBWE5ZV2NoUD1oUlh4VWpwdnFxbkdFbnY9WWpRclpUUF5lcFRxamFcXFBGRFludWNTUGRpZmxWZ1tqd1tId1xcal5fb3d1VlBkZmdfQ1ZnZFhuSGhoa1F3TVZzaGdaVHhvbFliaGBvakhxd19gZVhaXFw+d1hPbmVgbT9nb0xfd09uYEJ3YGFfdmZ5eVhHdUpHdWdmc29gbWdpdnRIbVheY1NwbVFhZlxcXl1ueWg9b1p4X3dQWG5PaXRyaWI6WHdZT2hwV3ldcWRsV3Z1YGNYPl1KZ3NtPnRkcXNzbl9GP2FuZnlOaFpLZ2dcXE5nRHlwO0FoOl9saEFzW3Z0REZcXE13aFxcZ3dCQWxbeWJNWF4/V2VdWWRFblp3aHk6UXc+YXV0QF9sT2w6PmhmZ2FveHVGUWJLbmJZSHBIUW9id15DX25XQHFEbnBjUXFFR2F3VlxcYEBybnBjbGhjaz5eWEdkTkBxZEF1W0ZmVUledV9cXDpgcWZ2cT9fc29HXFxVZ3VBQVxcQW5da1BsRk5kQkBzS1ZwZE50SF5nQWZvaXBkYUdkRUdsUHdiSlB0W09zUW5eVU5gbUZaWnZsbm9iPnlnTF53V1ltXFxWaGVWZU1HalBockpIZW5JYnBAeFxcd2VdWG9jYGBocGVgeHA6dnVYd2VNWWdbUHFUcG5pSGBvb1tKZ110P3NpQGBwdm9mSXRzblxcXklkYG92VmFnQXFsYUl4VkBdalZdZHZhUUZhbF9oYm93QU94RGBfYVlqSmhsb3FrV1lsSl5mQWZiaT5sTVBgUU5mW2dyWD5yQF9uSF9qX2FeVE52b3hpSlZyc15ldVBjb0BcXFFPW09fcEU+Z1lQbUBfbW9QXlVRX0JwZkVOY0hgak1uWmlZdG14YFZPZ3h2XFxmT3Fob2RAeW9XQW9ITmteV2JDWWRzT2hyeWdKbmRLdnFWWGJSQF1pPmpBSHlXXl1oP11meGdDSWNObl1Jb15sTndIRmY+QGdZQWtRVmNEQGlCP1xcVUdyVFZeaGZqRGlmZ155dEF5SXZcXFFgbXlWeGB2X0RRWlxcSHh0YF5RcV9zUW1AaGRDbnRUQGM9eGZnQGBVWW9cXFl4eGZwZ1lqSElgZGdnWW9fcWB0aEleV2BhPUdyQmhlVVZvUHdraHh5ZEdaU15ucD95Rl5tR2hodmhdVElePHFod3FeSEZcXHNRcFZHdG9vW0dhYklWXFxmQGZCeXdDP2pPd29HRlxcY0Z5cW5tbU5oZXduOndrZnhvYU9pcGhvOndfXnddR1hpQF54aVFlcUZpT25fZ0Feb1ZwVVluPE54RWdsP0lpZ2lgWlFobEd1V292QV94bmFcXFhOczp5Yl9QcHJYXkdpdjtGaHF4ZzxJdGVeZERGYWpIZlN2b1FZaT9XeFpQZGNJX05HbT1pWl5JdmA+ZFk/cD1xaG1QcD0+XU9gYklRd05nZWxRZD9WYllAaV9PYFxcSWJESWVaZnJtcGJsdmxaZlp5XnN2bnNuSWhtTmhbYXBqVmJtVmZVZlpbQXQ9YGZCZ3ZLZmdXeGtiP2Nmb2pkR3ZyaGlMZnZgWV9DX2RpcGdYd29DWHRzSGxcXG5dTlBabU9geVdcXGVeaFRfeERGbGhgW1BJXlpucFdwbURnWj1fY0dmY2NWdlpubkpZa1ZvZmdeaGxXdz5wYVxcYGxNcGZIUGpDUGo+R2ZuT2BUPmljdl1bZmpAdmt0UHJvbnltUFRnZGJQcD55TmRUbnBkb3JRbVRheTpEb0N4cmBpUD5RTGNoTkBEWERUcnlYeUldakc8dUVoTEBUdUE9bGV5T2ZcXFhyUHRacE9pbVlpcVFnUXJxWHZybFdxdXF0TFB2UXlwXXI/UVlOdXJgdU5XZVJgeHFeSGpGaXBnVVlYRHNBWXhOVHJtQE9KcVBJWW46ZW9GTVhZRXRjTFBScUxHSHdLbG5hVU1wSG9jTXdOPXlaVmZFXl5fSXFcXEZuQ19jVEhobldzVz9vTkBuYlBdXWhydkdicz9vcW5tQl9hW3h2bj5mY0BfRU9pPlhoTmZwdVZhQHhoTkljXm9ybUlxZmZvRl9tZkhjZ3lkZ05dX192OkhbcEBfUl5eS2BdZWFvTWlqUldcXFpPeWBoaEFwZVVwbUJoYEBAbVFgbltmaE1xYlRfb09maEVwaHRBbGA/bG5pZGJAdmh3YnFeeFZHY21vYG5odUphdmtOWkleYDxnZ2hIb0Q/YGhfbUlReUlIcUZWZ1txX1Rfbl1YYl5IXFxTZl5dbnRgd2ZXb19WbnZMSGZTbmJzWXl1aWBBUWdjcV1EPnNLQGZxZltDaGlTX1p2ZmZbSHRCUmxnRmA/c09TU3JxdmRBSUg/eHRtVV11V11HR0RhUmlTRj9NVHBLdm9raGJZRj5RaGhLVU4/RHk9VmZ3dj1FVkdXaXZvZUtfdUxhZ0RdclZDdE0/ZD89cz1HUlFvWWZJWTs9VXFvZXJNRHNnSUxvUz5FWDxtQ2tfR0ZBWVxcaUV2SURnZ0VBcWVocWdkV2hTYVNPVWRBVUJxZXlNTWNvO2dmXXdPX3Nsc0dFYUlsVXRvZWdnP0VhSVRrU3VgUXJ3b3Z4S3lea2VMXXJdR3ZqW1dKc2hPX2lnQURCd2ddYHZTbUxMSXNSSG9DZExsSE1GUHhmcGtMUHJgXWptUE9GUXh2SWtkTG4+eFZReXNEdHNFTXB0eHZLYU5gYHRobFJsYHFJYFhpaW1TZUo6XFxTaUxVPG1SXUhyYl14QW11ZFRrV2VQUWl1UTxsb3Vydl10TXRXVWFqaXlvOnBuVz1QRT1vTERRXnlMPmBvR2BqWHRMcGx4c2BtamB0W0hPRFBua0RPdGV0dEhxVkhLVT1UZ2xOYWRSXnhVS1lSO1huOzxZR2BQdFFZWFRPbFB0U0RRTkVsaU13XmRzdklwZnRQVWlrSGFsPkxWcXhrWHhSU2hVQ2BUaXB2YUFOO3Bzc1BPRVFwdGxMXm1ySz1NS3lUQ2B1Yz1tRWRwUmB1PUFxZXhqckBSa1VQcVhVR0FMbl1sPkh2Y1hLREB5Y0l2O1FXS3RTVW1VX1VSQmBrUmBNQkRsWFRuYkxucT1ZWFVuVlB0dXR5T2BReGBKZm1VYm1RR3hLbFFtVFFsTFVNaT1SWlhtRmVOYGxYVTx1UWF0eERZWHFRTGFWVVhyZHlVS015QWhrTVFxVERqdXFTVHhwSlRLQnF2XlF5bmxLXWRYbEBzWHBvZ3hSXnFPWGR2R3htWVlXSU1uZlxcT1l1dWVMTT9pUm5lUnd5d2NRUnJQbkZMUEc9VlJQT15pS108UnFwTVlscXVBeFdwWXdxS211ZnlmaXE/XmNAX0RObm5Zd0BvXWs+W15pdUJmaFFJeXJOdUBpbmxwW19XZnVeX1lwXUVBYWxfeV52ZV9gYlBeYWdnYT1BZVJ3YUhBalFvZURPeVZeZV1vcVVHYHk/Y2h3XT1OeHhPXFx3VndabmRrP2JWPnBQVmpQWWpEbmdAeGM9cXBRX2NPSFxcUT5cXF9mYEdmbV5vZG5RYD5YWmRXZVxcR21GRnZzUHVhcHA9YGxGVnRoaVtCeWE9TnFxRnhZWWNtcVxccGZzYUd4O0FcXERRbGRQd0JQcU1mXFxVb25zVnVoSGhYXmZjTm9Rb2NlT2toSXN0aV47cXRaR3RPbnhYP152cWRZUHBqb11oUGw8cWNAVmtUaGVHT3dFb2tuQFtOYWl5Xm1CUWpcXElyY09tT25rPG9rXXF0PXFyPVZvSVZfZF9qWHZ1cWlvd1h3W25jeEhfTFlddGdwdW5kUE5lR3Bpaz52W2l2UkZ0X0d1S25xRkl3XFxuW0RwaHRgdmdJa1phdl9RXU5xdmJBa21IcUFxZ1VPcV9IXlpYakU+Y0BPYklYanRub2ZHbz9xcV5nZWs+dXRAaXVgdHA/bFxcSXBPaHdDYXNcXGFvbmZpSXZtP1BkcVFnTU5oVlFqRmdlREFkU0ZmXFxWZURBZ2hxbFJHXFxVRnFNWWVwcF54dmxQUHZeR15lQGRGP15MQG1LSXVyUV5eeXhLRmlLbm1YR2o6SXZSeW12PmxnT2xyP3E8aHRKSV1sd1tecXVMQF9cXEdmdWdwPD94R3dbbF93P2llZ19pam5cXEReXFxlSW5Cd1s8Z1puSFxcb1FfRkFiVm5hRmFhUmBfPkdgckhuYV5za1BbQEZqaGloPmBiQnBiZ3Z2ckFhQnhwPUFxb3FiQHdfal5xO3FhXFxWdUZxW0B4W1ZAWz9BZ0peW2t4ZXJQZW5ocWZXYWZXeUBxZm1xdmN3WmtuZ1thd3FAb25hXkVHXUtncmJZXV9gXU54XmZHWnJPeGVBYFJGaDpAd0ZOamZoWl1OY2dpcT1ZZGRXXFxiXm1AQGVyRmNncVtMUW1SQXBlQVtxQXhBPnJUR3JCSG1KcHhveGF5cXFpYWdWT2BjSW5bPlteWHJASWhLPmI6WXdtXmtvTnhxZ1tYYGc8UXlDX2dNYFt4X2Z5PnRcXEBmYnhiO0FgaF5oZFFpS1h1ZkZuRkhdTGhxY2hqXmZ5T2VDW2Zjb3dZc3ZScUk7a1dbO3RlR1ZeP1RJVXdXW2V0R0RPbWhsVWZbdWJmY3lpXUlNb2dpd0heVWg6b3dBd2ZXYVJwbXRDQ3U9SUZkQWVeT2hzS3J1ZWVaRVNaVUJeY2luTUlmd0VfbWZza3hKc0VuP2ZPYWNAP0dKPXVYa0RJaUI6cVlPV0JVS1I/PXU/cWdOYXRoP3ZkR0ZQP3VgVXl3XWZDY2NVT3R2VUdZY2k/Q3U9Z1hwXXhJY0l5T3JBbXl4WXhJY1VOS0ZwUURZWVI7Q3dCPXNQcWlGP2VGP0M+VVRZZWY+PVJKTVRcXEVCQ0dVRGloaEtVUl12Z0FlblV2WmlDZWliV2tDY1VCb3Fkb29jd3lDQ19yQGlmO1NzcWtzd19EVm9CdXlZO3lyZHFmdVNjaEFZQVVncVN5U2tnWnVXbWtEPVFjdll3WVtia3NySnNFYUtXaVd1TT11X2djOkVnX1lmTVl0bnFIb2dSaXNFaT14cHNYcV1ncklocldGaUVDeVNVOm1SZV94Z0VCc1tDXFx5Um8/YzpzaWZDZ25bWEhlRFVnV0tvaWljRVBZSXFxSHhrV3dBZ1ljaHFnRGpnSTthRnBLRFdRdl9PQlpZdD5Xd2RBVVl1Ukw7Y295cU51VmhdVXFwdGRpaztwWGR5a3hUUUdsVFF0dlhgWVY9cTpAVm1AcmZUcklUbFR5all0eG9Aam5VU1NIU3NdcV91eXFdc0NlV05NdUhtSz5cXGpXPWx3ZE5aZG9CYFdzcG9QRExvSW1CVUphYVhYbVhQYUxTZW9uPVV1YW1RcW1wRVVXSHNMVHl2RVhUZU9paVl5aXF5PXFxXVhIQVJIYE1fSVFjPFlBZW5IeVFUSW55TWxSWUtLeGtmRVh5QW1ZeVFUPXB0aHlbZHV4QW1DQW1BeVl3VW9zZHlBYFBrUWtVdE95eHJgSVJedG1NTHZlUEw7RFlaZW5yeXZ1PFlHdU5yYHhrUHFQeE1ybW1DPVNAXFx2YXlKa014bnV0Y2F2PkBqVkR2YGxxZG1MO2l3ZlRrQmVMcWxVV1FQZlVYUVh5WnVMZ21zT3lRPUhWQHVOeGVRdXVtckBRT015a0RNY0xtcz1PSEBzUUlVPUhRbV1yeHVqbHV5R3FweFl1TnFVRF1ZeGFyO2F2Q2BtSFxcVTt0UDtsV2t1UXNJSm14TUdNTHZNTmFZUFNgbXJZT2hxWUpAU3JlUXhdVGJIT3JIbGNJbT9FeXBJam5obGtFd2dZbkZ0WG9oSlNVc2xMcnc8a3FgWGNYdUhtUzpJUFBNV15cXG5lTE5yRVlURUxraHlXRFc6cHZAUFJOQVNBcW9xYFlMeFV5dFhaTXZyYFRqbG1rVXE9aFFQUVJ2ZHRTRVhUWVV1VUxxQFl4QVQ/eVNMbVVWZE5vUU5WXFxvS1F3b1VYPW15SkB2XnlyZklzSmRPUj1YPj1XWEBVUkhqeUlWSXVYSUxMU2Bua1xcTHNkTEp4VlhwbWpQcnB5SjpZcWdNU1V1ckZYcWVhV0R4cFdgWTo9UnBQTExhbz9UUU1ETmxgUGRZcDxtWD55WFhFTEVgd1FtVD5dUWV0eVpFVUV4a3I9Uj95cmFJWFRJWWp1dWZpbnJpS1xcQHlTcUtFeFheXXhdYHJYPVI6TFZocFBCbFBlWVlcXGRMYlVOVEBQWGVTXmF3Wml3QXVralhXPDxtZWRqd1BgcXdlWE5ya29oX1lvPWhia1ddd2B3RUBlTldibHdraFhcXGheck5vYk1Rcnl3aUtZa1l5YHlXdF1pZmh5bHReaHlBeFxceFxceUhrVFlrQnhza195akFoPWh2W19eeWZ1YV9kXFw/a3R4YXI+am93Yll5WmxRYVBWbWpeaXdQcT9gW0FIXl5RYHBBeWB3ZFpgY01weXZpXjtGcm14cXl3dFBwd1dOYHFxYVtRZGxYeEpfaHdnWkxfckh4a2lHYVpXcVxceHFNSHdgeHZOQWhJX3Bqd3NMQHBNV3J4Xm9ocWlaP29oeXdeeHg8T3RRV1tjcWxyRmNab2FcXE5dU1diS3dxP2h5a3dqPXldYF9mZU5zZl9aW0BpXnh2eFhgaXZed15mWFdkUXZgdD9icVl2ZlZecXBoa2dubV9oT0lsZm5cXGZ5bm1weFA/eWZ2cHVpZXBuaHlmcnV5aT8+cVlvXnJ4dXhBdTtoeGVpYV93eVlmW0l2XWBIaXE/bkhXeER5XklQWnlobT9RYVZvaldhcFBnbW5JX3hgbl95aW1AYGp5cj9PeXlXXFxgeHFBQHVYTmFIV1xcP3BkQXlrdXZlSUBjO0FxbUl5Q3dcXGVBZj9Pb1dhcFBHeElIcHh5alJmanlha05gZ1VGeGFPY1N2eVlBbD9xZWZudTtmdklgeHRvd0hIcnBXaF5pY1lPaXRxeTxwZHlPbVM+eWluYFxceWE9aG50dm9bZ3RtcHlZVmpreWlPP2J0RmZ1YXhlX2V0eWhsWFp5eVo/eHBBeHlcXD5rWUZ2O1BbdG9gYkl2bEBuX2lmTUlhXVBgSXl5YFBjd154anlxRW5rc19iOm9qZElpPGZ4cFZ5cVF0S1lyeXlhYkhzS3ZcXEU/bFlndmpvdXU+ZHdeZXRIeWpYYHM/eVRxWlVZdVJeXlhgWj95a3hvaXQ/cW4/c0xgXztobGo/XV54ZHNoZ3N5cW1Bb053W3deeXlOW0J2XzxBZ09mdGloYFNJYT1oX2ZwYnhAdUlBZEl2bEhWXmY/YmRZZkBod1NfXzp2aF5Jd19Jb3lQb1ZZYkl2XFw9Vl9KPnA7Rm1oWWVKPnhhbl1iWW94b2l0Q1ZbYkJLZXFxcm9lR0JDST1NSGxReWNJd1tRdjs/Y0FheEo9UnhheV9FZlhLWXJ5eTpveHZjZHI9VFZZQ0N1Q3c/WDpJWDtDSXJJaUFvRWhTRXRpV2txRXQ9dz90S3dcXHg8dmpYbml1XnlBdl1BWWNOaWVkUGdqRDo7al5QTmFMTlFFTmpENUI=Fermat's little theoremICTMT5, Klagenfurt University, Austria. NiMpIiIoSSN0aEc2Ig== August 2001John Cosgrave, Mathematics Department, St. Patrick's College, Drumcondra, Dublin 9, IRELAND. email: John.Cosgrave@spd.ie web site: http://www.spd.dcu.ie/johnbcos

For Mark Daly - former colleague and friend - who helped me (and still does) when I was really stuck A thing of beauty is a joy for ever. Its loveliness increases; it will never Pass into nothingness. [John Keats (1795-1821), Endymion (1818)] Fermat's 'little' theorem is one of the jewels of Number Theory, and to mark the NiMpIiQrJSUjdGhH anniversary of Fermat's birth (NiMpIiM8JSN0aEc= August 2001), I offer this talk. My talk is not intended as an introduction to Number Theory, nor indeed even as an introduction to Maple, although in both cases it could serve as such. Indeed in the time available (some 30 minutes) it will be possible for me to cover only a very small selection of the topics listed below. Because of the widely reported work of Andrew Wiles, many non-mathematicians have heard of Fermat's Last Theorem - that NiMvLCYpJSJ4RyUibkciIiIpJSJ5R0YnRigpJSJ6R0Yn has no solutions in non-zero integers x, y and z, for NiUvJSJuRyIiJCIiJSIiJg==, ... - and it is probable that more significant mathematical ideas have been developed in attempting to prove that result than any other single mathematical question. But, is the Last theorem one of any consequence? Has anyone (yet!) found an application for it? Such-and-such is true because of Fermat's Last Theorem?On the other hand his little theorem - which was relatively easy to prove (but how many could create a proof ab initio?) - has a vast range of mathematical consequences, and one major practical application. The purpose of my talk is to identify in a single document a number of those consequences, but I am aware that I have not covered all of them; for example I have not touched upon the topic of Carmichael numbers (even though they are there in the background of Guiga's conjecture in Section 7).

When did this theorem start to be called 'Fermat's little theorem? Who (in English) first called it so?Actually not everyone calls it so. In Vol I [1919] of Dickson's monumental three volume [History of the] Theory of Numbers there is an entire chapter devoted to 'Fermat's and Wilson's Theorems.' Hardy and Wright, Davenport, Nagell, ... , simply use 'Fermat's theorem.' And Sierpinski calls it 'Simple Theorem of Fermat' in his 1964 A Selection of problems in the Theory of Numbers.Of course everyone knows what 'Wilson's theorem' is - since there is only one such theorem (but, no doubt, someone will write and tell me of another!) - but 'Fermat's theorem'? Well there are several claimants: the beautiful result - to name but one - that every prime p, with NiMvJSJwRyIiIg== (mod 4), is representable by NiMvJSJwRywmKiQlImFHIiIjIiIiKiQlImJHRihGKQ== for some (unique; ignoring, of course, change of signs, and interchange) integers a and b, could well claim to be 'Fermat's theorem.'On June NiMpIiM/JSN0aEc= 2001 I sent an email to the Number Theory Mailing List enquiring if anyone could answer the above questions. I received several responses (some public, some private), and I will place them in the Fermat's little theorem section of my web site. Briefly, however, I note that a probable answer is that the 'little' came into English from German, but there was no definitive answer as to who first used 'little.'

According to Dickson (and others; see Bibliography) Fermat first announced his theorem in a letter to Mersenne, June (?), 1640.Fermat's 'little' theorem. Let p be prime, and a be any integer with NiMwJSJhRyIiIQ== (mod p), then NiMvKSUiYUcsJiUicEciIiJGKCEiIkYo (mod p) In non-congruence language: let p be any prime, and a be any integer not divisible by p, then NiMpJSJhRywmJSJwRyIiIkYnISIi leaves remainder 1 on division by p. A small hand performed illustration. Let NiMvJSJwRyIiKA== and NiMvJSJhRyIiIw==, then NiMvKSUiYUcsJiUicEciIiJGKCEiIiokIiIjIiIn = NiMvIiNrIiIo*NiMsJiIiKiIiIkYlRiU=.Maple examples (the meaning of each command should be clear).restart;p[1] := nextprime(120);a[1] := 2;57 mod 5; # the remainder 57 leaves on division by 5a[1]^(p[1] - 1);a[1]^(p[1] - 1) mod p[1];p[2] := nextprime(10^20 + rand());a[2] := rand(); # Maple has a 12-digit random number generator:a[2] mod p[2];a[2]^(p[2] - 1);That expected, and intentional output can be overcome by using the so-called square-and-multiply method which is incorporated into a Maple command by the use of '&' as follows. (The mathematics of that command, the so-called square-and-multiply method - modular exponentiation - is covered in a Maple worksheet at my web site. It forms part of my 3rd year course on Number Theory and Cryptography.)a[2]&^(p[2] - 1) mod p[2];And let's just see the values NiUvJSJhRyIiIyIiJCIiJg==:2&^(p[2] - 1) mod p[2];3&^(p[2] - 1) mod p[2];5&^(p[2] - 1) mod p[2];Anyone who already knows some Number Theory will understand why I didn't check that NiMvKSIiJSwmJiUicEc2IyIiIyIiIkYrISIiRis= (mod NiMmJSJwRzYjIiIj)It is an automatic consequence ofNiMvKSIiIywmJiUicEc2I0YlIiIiRiohIiJGKg== (mod NiMmJSJwRzYjIiIj)as indeedNiMvKSIiJywmJiUicEc2IyIiIyIiIkYrISIiRis= (mod NiMmJSJwRzYjIiIj)is a consequence ofNiMvKSIiIywmJiUicEc2I0YlIiIiRiohIiJGKg== (mod NiMmJSJwRzYjIiIj) and NiMvKSIiJCwmJiUicEc2IyIiIyIiIkYrISIiRis= (mod NiMmJSJwRzYjIiIj)and now consider this:p := 10^80*rand()^2 + 20! + 2*rand() + 127;length(p);Could that p be a prime? Let's see: if p is prime then automatically we have NiMvKSIiIywmJSJwRyIiIkYoISIiRig= (mod p), etc.So, let's calculate;2&^(p - 1) mod p;Ah! So it isn't, since the output was not 1. I hope you realise how powerful that calculation is, for in a microsecond it has determined that the above p is composite.Question. But what if the output had been '1'? What then? Would it follow that p is prime? If you don't already know the answer to that question, then you might like to think about it before you read Section 4 (Primality Testing).Software Note. The above fast computation might appear impressive, but for seriously large numbers - ones with hundreds of thousands, or several million digits - Maple is, quite simply, absolutely useless. For seriously large numbers a user must avail of remarkable public-domain programs like: prime95.exe (George Woltman's GIMPS project) Everyone will know that George's program has found - on desktop computers - the last four record sized Mersenne primes (most earlier ones had been found on CRAY supercomputers), the most recent of which is the only known prime with more than a million digits. proth.exe (Yves Gallot's Proth project) In July 1999 - using Yves' program - I had the good fortune to find the 115130 digit prime 3*NiMsJiokIiIjIidcQ1EiIiJGJ0Yn (the then NiMpIiM1JSN0aEc= largest known prime), and a factor of the (then, and still) largest known composite Fermat number: NiMvJiUiRkc2IyInWkNRLCYpIiIjKiRGKkYnIiIiRixGLA== That prime proved to be a divisor of the generalised Fermat numbers: NiMvJiUjR0ZHNiQiJ1pDUSIiJCwmKUYoKiQiIiNGJyIiIkYtRi0=, NiMvJiUjR0ZHNiQiJ1ZDUSIiJywmKUYoKiQiIiNGJyIiIkYtRi0=, and NiMvJiUjR0ZHNiQiJ1pDUSIjNywmKUYoKiQiIiNGJyIiIkYtRi0= each of which were new records for their type (of which the last two still stand). Prime Form (Chris Nash's original version, based on Yves Gallot's Proth library)NewPGen (Paul Jobling's sieve program, based on Yves Gallot's Proth library)PRP (George Woltman's probabilistic primality program - which actually uses Fermat's little theorem - to be used in conjunction with NewPGen, and Proth.exe). A faster version - PRP2 - also by GW, exploits the recent Intel Pentium IV chip In May 2001 - using a combination of Yves Gallot's proth, Paul Jobling's NewPGen, and George Woltman's PRP - I also had the good fortune to find the 275,977 digit prime 3*NiMsJiokIiIjIidzbiIqIiIiRidGJw== (the then NiMpIiIoJSN0aEc= largest known prime; it may still be, but these prime rankings have a habit of not lasting for a long time!) That prime proved to be a divisor of the generalised Fermat numbers: NiMvJiUjR0ZHNiQiJ3JuIioiIiQsJilGKCokIiIjRiciIiJGLUYt and NiMvJiUjR0ZHNiQiJ3NuIioiIzUsJilGKCokIiIjRiciIiJGLUYt The first of those broke the previous record (above), and the second established a new record for its type. Last month - here in Klagenfurt - Manfred Toplic found the 246767 digit prime 5*NiMsJiokIiIjIidSKD4pIiIiRidGJw== (the NiMpIiIqJSN0aEc= largest known prime), and a divisor of the generalised Fermat number: NiMvJiUjR0ZHNiQiJ1EoPikiIiQsJilGKCokIiIjRiciIiJGLUYt pfgw (the Chris Nash managed program; the 'pf' is 'Prime Form,' the 'g' is 'Gallot,' and the 'w' is 'Woltman.')That list is not complete; one should consult the web sites of Chris Caldwell (exclusively devoted to prime numbers) or Keith Matthews (which covers Number Theory in general). Those two sites are the "cream of the cream."

I refer my reader to Andr\351 Weil (Section 4, Chapter 2, of his Number Theory) or Harold Edwards (Section 1, Chapter 1, of his Fermat's Last Theorem).Fermat's discovery of his little theorem was a direct outcome of his investigations concerning Euclid's theorem on perfect numbers. More specifically it originated from his investigations into the question of the primality or otherwise of (NiMsJikiIiMlIm5HIiIiRichIiI=).On occasion we say things to our students like: I'm not sure how such-and-such first happened, was discovered, but I think it happened like this... For example, I find myself telling my students how I think Euclid could have discovered his famous theorem on perfect numbers. Also, many years ago, I used to (wrongly) tell how I thought Fermat had discovered his 'little' theorem... ; I thought he had found it by thinking about the decimal expansions of rational numbers. In Section 2 I consider decimal and other expansions, and there you will see how anyone could have formulated Fermat's little theorem had he/she simply asked the right questions having investigated decimal expansions of certain rational numbers.Fermat was led to formulate his theorem via Euclid's theorem on perfect numbers: if (NiMsJikiIiMlIm5HIiIiRichIiI=) is prime then NiMqJikiIiMsJiUibkciIiJGKCEiIkYoLCYpRiVGJ0YoRihGKUYo is perfectOne of my Maple delivered public lectures - The recently discovered record Mersenne prime (from 1995, and available at my web site) - treats the subject of abundant, deficient and perfect numbers, the Euclid theorem, etc - but here suffice it to say that before the mid 1450's it was believed that (NiMsJikiIiMlIm5HIiIiRichIiI=) is prime if and only if n itself is prime, a result blown away by the observation that:NiMvLCYqJCIiIyIjNiIiIkYoISIiIiVaPw== = 23*89 ... ( i )Of course it is trivial that (NiMsJikiIiMlIm5HIiIiRichIiI=) is composite if n is composite, and so the real interest is in the Mersenne numbers {NiMmJSJNRzYjJSJwRw==}, where NiMvJiUiTUc2IyUicEcsJikiIiNGJyIiIkYrISIi, p prime. NiMmJSJNRzYjJSJwRw== is prime for NikvJSJwRyIiIyIiJCIiJiIiKCIjOCIjPCIjPg==, ... , and is composite for NiMvJSJwRyIjNg==, ... Before Fermat (1640) nothing had been investigated beyond those p's just shown, and it was Fermat who noted that:NiMvJiUiTUc2IyIjQiwmKiQiIiNGJyIiIkYrISIi = NiMvIigyJylRKSIjWg==*178481 ... ( ii )One would need to be incredibly numerically insensitive not to notice that '47' is so obviously related to '23':NiMvIiNaIiIj*NiMsJiIjQiIiIkYlRiU=Ones eye gets pulled back to the earlier ( i ) and notices exactly the same phenomenon:NiMvIiNCIiIj*NiMsJiIjNiIiIkYlRiU=But a great mistake for anyone to make, looking at this ab initio, would be to rush in and wonder/declare:whenever NiMmJSJNRzYjJSJwRw== is composite, its least prime divisor q satisfies NiMvJSJxRywmKiYiIiMiIiIlInBHRihGKEYoRig=For see what happens with the next prime after 23:restart;p := 29;M[p] := 2^p - 1;ifactor(M[p]);and so what did Fermat notice? Simply that not only is (returning to (i)) NiMvIiNCIiIj*NiMsJiIjNiIiIkYlRiU=, but also NiMvIiMqKSIiKQ==*NiMsJiIjNiIiIkYlRiU=and, with (ii), not only is (returning to (i)) NiMvIiNaIiIj*NiMsJiIjQiIiIkYlRiU=, but alsoNiMvIiciW3kiIiVneA==*NiMsJiIjQiIiIkYlRiU=In short, one might say that Fermat discovered (then conjectured) what one might call the Fermat-Euler theorem on prime divisors of the Mersenne numbers: for prime p every prime divisor q of NiMvJiUiTUc2IyUicEcsJikiIiNGJyIiIkYrISIi satisfies:NiMvJSJxRyIiIg== (mod p)But it wasn't that alone that Fermat noticed, for he went one step further (he didn't have congruence terminology, but in that language this is what he observed):One has NiMvKiQiIiMiIzYiIiI= (mod 23), and so (squaring, cubing, etc) one has:NiUqJCIiIyIjNiokRiQiI0EqJEYkIiNM etc (are all) = 1 (mod 23)One has NiMvKiQiIiMiIzYiIiI= (mod 89), and so (squaring, cubing, etc) one has:NiUqJCIiIyIjNiokRiQiI0EqJEYkIiNM, ... , NiUqJCIiIyIjKSkqJEYkIiMqKiokRiQiJDUi etc (are all) = 1 (mod 89)One also has (looking at case (ii)) NiMvKiQiIiMiI0IiIiI= (mod 47), and so (squaring, cubing, etc) one has:NiUqJCIiIyIjQiokRiQiI1kqJEYkIiNw etc (are all) = 1 (mod 47)One also has (looking at case (ii)) NiMvKiQiIiMiI0IiIiI= (mod 178481), and so (squaring, cubing, etc) one has:NiUqJCIiIyIjQiokRiQiI1kqJEYkIiNw, ... , NiQqJCIiIyInIVt5IiokRiQiJy4meSI=, etc (are all) = 1 (mod 178481)What I am trying to draw attention to is that for each of the above primes p one has NiMvKSIiIyUibUciIiI= (mod p) for various values of m, but that in all cases one of those m's is (NiMsJiUicEciIiJGJSEiIg==). In short, for the primes NiYvJSJwRyIjQiIjKikiI1oiJyJbeSI= one has NiMvKSIiIywmJSJwRyIiIkYoISIiRig= (mod p)But, is this true for other primes? Yes, of course it is (or appears to be), NiMwJSJwRyIiIw==, of course:for r to 15 do [ithprime(r), 2^(ithprime(r)-1), 2^(ithprime(r)-1) mod ithprime(r)] od; # the reason for the '0' in the 1st output is obvious:And what about changing that '2' to NiYiIiQiIiUiIiYiIic=, etc? for r to 15 do [ithprime(r), 3^(ithprime(r)-1), 3^(ithprime(r)-1) mod ithprime(r)] od; # the reason for the '0' in the 2nd output is obvious:etc. In short, one comes to suspect that NiMvKSUiYUcsJiUicEciIiJGKCEiIkYo (mod p) providing, of course, that NiMwJSJhRyIiIQ== (mod p), namely Fermat's little theorem.

Here the simple, and obvious point I wish to make is not only does Fermat's little theorem explain, or help one to understand certain well known phenomena in connection with the decimal expansions of rational numbers, but that those very phenomena themselves - with general bases being used (and not just decimal, i.e. base 10) - can lead someone to re-discovering of Fermat's little theorem. In particular, if one were working with young students, then, with proper guidance, they could be led to conjecture Fermat's little theorem.Specifically I refer to the quickly observed fact that the number of digits in the period of the decimal expansion of NiMqJiIiIkYkJSJwRyEiIg== (where p is any prime with NiQwJSJwRyIiIzBGJCIiJg==) appears to an investigator to be (and may be proved using Fermat's little theorem to be):either (NiMsJiUicEciIiJGJSEiIg==) or a divisor of (NiMsJiUicEciIiJGJSEiIg==)Start. Many sensitive young people are fascinated (or, at least, used to be!) with phenomena like:NiMvKiYiIiJGJSIiIyEiIi0lJkZsb2F0RzYkIiImRic=NiMvKiYiIiJGJSIiJCEiIi0lJkZsb2F0RzYkIilMTExMISIp... ad infinitumNiMvKiYiIiJGJSIiJSEiIi0lJkZsb2F0RzYkIiNEISIjNiMvKiYiIiJGJSIiJiEiIi0lJkZsb2F0RzYkIiIjRic=NiMvKiYiIiJGJSIiJyEiIi0lJkZsb2F0RzYkIiltbW07ISIp... ad infinitumNiMvKiYiIiJGJSIiKCEiIi0lJkZsb2F0RzYkIidkRzkhIic= 142857 142857 ... ad infinitum [Here, and elsewhere, I make spaces to emphasise the periodic block.]NiMvKiYiIiMiIiIiIighIiItJSZGbG9hdEc2JCInOWRHISIn 285714 285714 ... ad infinitum and - as almost everyone who has ever investigated such matters (without knowing that it has all already long been discovered) - one quickly finds thatthe rational number NiMqJiUibUciIiIlIm5HISIi (where m and n are positive, NiMyJSJtRyUibkc=) has a periodic decimal expansion provided n is not divisible by 2 or 5NiMvKiYiIiJGJSIjQCEiIi0lJkZsb2F0RzYkIiY+dyUhIic= 047619 047619 (I have deliberately made spaces to emphasise the periodic block) ...otherwise NiMqJiUibUciIiIlIm5HISIi has an eventually periodic decimal expansionNiMvKiYiIiJGJSIjQSEiIi0lJkZsb2F0RzYkIiIhISIj 45 45 45 45 ... (here n is divisible by 2)NiMvKiYiIiJGJSIkJj0hIiItJSZGbG9hdEc2JCIiISEiIw== 054 054 054 ... (here n is divisible by 5) Anyone who gets preoccupied with the lengths of those periodic blocks quickly makes an often made (re)discovery: for prime p (NiQwJSJwRyIiIzBGJCIiJg==) the length of the period of the decimal expansion of NiMqJiIiIkYkJSJwRyEiIg== is either (NiMsJiUicEciIiJGJSEiIg==) or a divisor of (NiMsJiUicEciIiJGJSEiIg==). A sensitive eye gets quickly drawn towards the 'prime' element in all of this because the examples with long periods - long in relation to the size of the denominator - having encountered examples like:NiMvKiYiIiJGJSIiKCEiIi0lJkZsb2F0RzYkIidkRzkhIic= 142857 142857 ... [period length 6]NiMvKiYiIiJGJSIjPCEiIi0lJkZsb2F0RzYkIjBadzYlSE4jKWUhIzs= 0NiMiMFp3NiVITiMpZQ== ... [period length 16]NiMvKiYiIiJGJSIjPiEiIi0lJkZsb2F0RzYkIjJAJW90JSp5OmpfISM9 0NiMiMkAlb3QlKnk6al8= ... [period length 18] and the other primes p, up to 100, for which NiMqJiIiIkYkJSJwRyEiIg== has period length (NiMsJiUicEciIiJGJSEiIg==) are 23, 29, 47, 59, 61 and 97. Anyone who knows sufficient Number Theory will know that they are primes p for which NiMvLSYlJG9yZEc2IyUicEc2IyIjNSwmRigiIiJGLCEiIg==; in other words they are primes for which 10 is a primitive root. [See, too, Section 7 on open problems]. As soon as the eye has got drawn in to NiMqJiIiIkYkJSJwRyEiIg== for NicvJSJwRyIiKCIjPCIjPiIjQiIjSA==, etc, then the eye returns to look at the decimal expansions of the reciprocals of the other primes (not 2 or 5), and notices:NiMvKiYiIiJGJSIiJCEiIi0lJkZsb2F0RzYkRiZGJw== 3 3 3 3 3 ... [period length 1]NiMvKiYiIiJGJSIjNiEiIi0lJkZsb2F0RzYkIiIqISIj 09 09 09 09 ... [period length 2]NiMvKiYiIiJGJSIjOCEiIi0lJkZsb2F0RzYkIiZCcCghIic= 076923 076923 ... [period length 6]NiMvKiYiIiJGJSIjSiEiIi0lJkZsb2F0RzYkIi9IaF5rIWVBJCEjOg== 0NiMiL0hoXmshZUEk ... [period length 15] Maple has a command for computing those periodic decimals expansions, and it's called 'pdexpand'. To access it one needs to load Maple's Number Theory package:with(numtheory);order(10, 7);pdexpand(1/31);This is not a Maple tutorial, but anyone who wishes may consult what Maple has to say about 'pdexpand' by executing the following line (first remove the '#', and then execute):# ?pdexpandpdexpand(135/14);means that NiMvKiYiJE4iIiIiIiM5ISIiLSUmRmxvYXRHNiQiIycqRig= 428571 428571 428571 ... ad infinitum, andconvert(PDEXPAND(-1, 2, [1, 1], [9, 0, 1, 3]), rational);means that NiMsJC0lJkZsb2F0RzYkIiQ2IyEiIyEiIg== 9013 9013 9013 ... = NiMsJComIigsJWY1IiIiIiddKipcISIiRig=.pdexpand(1/7);pdexpand(1/21);pdexpand(1/22);pdexpand(1/185);In passing I cannot resist asking if from: NiMvKiYiIiJGJSIjNiEiIi0lJkZsb2F0RzYkIiIqISIj 09 09 09 ... (A)my reader can determine the decimal expansion of NiMqJiIiIkYkKiQiIzYiIiMhIiI=? In other words, what do you get if you square both sides of (A)?pdexpand(1/11);pdexpand(1/11^2);And NiMqJiIiIkYkKiQiIzYiIiQhIiI= ?pdexpand(1/11^3);A suggestion for playing. Much fun may be had by investigating (and explaining what's going on with) decimal expansions of NiUqJiIiIkYkIiQsIiEiIiomRiRGJCokRiUiIiNGJiomRiRGJCokRiUiIiRGJg==, ... ; NiUqJiIiIkYkIiUsNSEiIiomRiRGJCokRiUiIiNGJiomRiRGJCokRiUiIiRGJg==, ... ; etc. A knowledgeable practitioner should be able to quess, and prove results.A word of warning. One must be careful about saving ones before executing some commands!!Returning to above. And now to observe the obvious connection to Fermat's little theorem. All, I believe, becomes clear from almost one reflection; simply consider the decimal expansion of, say, NiMqJiIiIkYkIiIoISIi:NiMvKiYiIiJGJSIiKCEiIi0lJkZsb2F0RzYkIidkRzkhIic= 142857 142857 ... ad infinitumHow does one prove that the non-terminating decimal on the right hand side is equal to the (rational) number NiMqJiIiIkYkIiIoISIi? Of course one needs to have studied infinite series to give a precise meaning to such an object...It's very simple, and straightforward, providing one knows that:NiMvLSUkU3VtRzYkKSUickclIm5HL0YpOyIiIiUpaW5maW5pdHlHKiZGKEYsLCZGLEYsRighIiJGMA== for NiMyLCQiIiIhIiIlInJH < 1and thus:.111... ad infinitum = NiMvLSUkU3VtRzYkKSomIiIiRikiIzUhIiIlIm5HL0YsO0YpJSlpbmZpbml0eUcqJkYpRikqJkYqRiksJkYpRilGKEYrRilGKw== = NiMvKiYiIiJGJSwmIiM1RiVGJSEiIkYoKiZGJUYlIiIqRig=.010101... ad infinitum = NiMvLSUkU3VtRzYkKSomIiIiRikqJCIjNSIiIyEiIiUibkcvRi47RiklKWluZmluaXR5RyomRilGKSomRitGLCwmRilGKUYoRi1GKUYt = NiMvKiYiIiJGJSwmKiQiIzUiIiNGJUYlISIiRioqJkYlRiUiIyoqRio=.001001001... ad infinitum = NiMvLSUkU3VtRzYkKSomIiIiRikqJCIjNSIiJCEiIiUibkcvRi47RiklKWluZmluaXR5RyomRilGKSomRitGLCwmRilGKUYoRi1GKUYt = NiMvKiYiIiJGJSwmKiQiIzUiIiRGJUYlISIiRioqJkYlRiUiJCoqKkYqetcTwo points, now, are simply these:1. Fermat's little theorem (with NiMvJSJwRyIiKA==, NiMvJSJhRyIjNQ==) forces NiMqJiIiIkYkIiIoISIi to have the decimal (10) expansion that it has.2. The decimal expansion of NiMqJiIiIkYkIiIoISIi, being what it is, forces Fermat's little theorem to hold for NiMvJSJwRyIiKA==, NiMvJSJhRyIjNQ==.Why? It's simple;1. By Fermat's little theorem, with NiMvJSJwRyIiKA== and NiMvJSJhRyIjNQ==, we have NiMvKiQiIzUiIiciIiI= (mod 7), and thus 7 divides (NiMsJiokIiM1IiInIiIiRichIiI=). Performing the division by 7 we find that NiMvLCYqJCIjNSIiJyIiIkYoISIiIiIo*142857, and so it follows that:NiMvKiYiIiJGJSIiKCEiIiomIidkRzlGJSwmKiQiIzUiIidGJUYlRidGJw== = .142857 142857 142857 ... ad infinitum2. If one has determined that the decimal expansion of NiMqJiIiIkYkIiIoISIi is given by: NiMvKiYiIiJGJSIiKCEiIi0lJkZsb2F0RzYkIidkRzkhIic= 142857 142857 ... ad infinitumthen one has NiMvKiYiIiJGJSIiKCEiIiomIidkRzlGJSwmKiQiIzUiIidGJUYlRidGJw==, namely NiMvLCYqJCIjNSIiJyIiIkYoISIiIiIo*142857. Thus 7 divides (NiMsJiokIiM1IiInIiIiRichIiI=), and so it follows that NiMvKiQiIzUiIiciIiI= (mod 7).I hardly need write any more on this?

Here I begin with a famous empirical discovery of Fermat's: every odd prime divisor of (NiMsJiokJSJ4RyIiIyIiIkYnRic=) leaves remainder 1 on division by 4In the following, this is what I am doing: I first form a random NiMsJiokJSJ4RyIiIyIiIkYnRic=, factor it, and then verify that every odd prime divisor leaves remainder 1 on division by 4. Bear in mind thatif x is odd then one of the primes dividing NiMsJiokJSJ4RyIiIyIiIkYnRic= will be 2 itself (and it is trivial that NiMqJCIiI0Yk will not be a factor), otherwise all the other prime factors will be odd (and, in extremis, there might only be one: NiMvLCYqJCIiJCIiIyIiIkYoRihGJw==*5)if x is even then all primes dividing NiMsJiokJSJ4RyIiIyIiIkYnRic= will be odd (and, in extremis, there might only be one: NiMvLCYqJCIiI0YmIiIiRidGJyIiJg==) x := rand();n := x^2 + 1;m := ifactor(n);L := [op(m)];r := nops(L); # how many prime factors there arefor k to r do p[k] := op(L[k]) od;for k to r do p[k] mod 4 od;All those odd primes (which will change every time the two commands are re-executed) are congruent to 1 mod 4. Euler gave a proof based on Fermat's little theorem (see Section 8).An extension of that result is thatevery odd prime divisor of (NiMsJiokJSJ4RyIiJSIiIkYnRic=) leaves remainder 1 on division by 4Here, numerical experimentation like the above (using rand()) would be problematic, since Maple - almost certainly - would have difficulty in performing the resulting factorisations (and, in fact, it is precisely the difficulty of factoring that is the basis of RSA public-key cryptography).Instead, I choose more modestly sized n's to factor:x := rand() mod 1234321; # to reduce the size of 'x':n := x^4 + 1;m := ifactor(n);L := [op(m)];r := nops(L); # how many prime factors there arefor k to r do p[k] := op(L[k]) od;for k to r do p[k] mod 8 # note the change to mod 8 od;That result - re (NiMsJiokJSJ4RyIiJSIiIkYnRic=) - may be proved in the same way as the (NiMsJiokJSJ4RyIiIyIiIkYnRic=) result. In general one has:every odd prime divisor of (NiMsJiklInhHKSIiIyUibUciIiJGKUYp) leaves remainder 1 on division by NiMpIiIjLCYlIm1HIiIiRidGJw==This result enables trial factoring of Fermat numbers to be eased, and there is another simple extension of it that saves a further 50%...Yet another application of Fermat's little theorem is to the trial factoring of Mersenne numbers (NiMvJiUiTUc2IyUicEcsJikiIiNGJyIiIkYrISIi, with p prime): Theorem. Every prime divisor q of NiMmJSJNRzYjJSJwRw== satisfies NiMvJSJxRyIiIg== (mod p).It is pleasing that that Theorem can be proved by using Fermat's little theorem, when it was precisely the very discovery of that theorem which led Fermat to discover his little theorem in the first instance.Comment. A great deal more about Mersenne numbers (including the Lucas-Lehmer test) is available in my 1995 Maple public lecture "The recently discovered record largest known prime," and a great deal more more about Fermat numbers (including the Pepin test) is available in my 1999 Maple public lecture"The history of Fermat numbers from August 1641," both at my web site.

Here I only remark that the modern study of primality testing really begins with the trail blaising work of Lucas, via Fermat's little theorem, and I urge any serious reader to rush to their bookdealer and obtain a copy of the wonderful book by Hugh C. Williams (details in the Section 8 bibliography).I have briefly hinted at the sort of use that can be made of Fermat's little theorem to establish that a number is composite, but a great deal more is involved in using it as a starting point in proving that a number is prime.I refer the interested reader to my web site, where I have many Maple worksheets - in the 2nd and 3rd year, and Public and Other Lectures sections of my site's Maple section - devoted to primality testing.

Frequently it is (correctly) stated that a fundamental element in the renowned RSA cryptographic method is the use of the Fermat-Euler theorem: let n (NiMyIiIiJSJuRw==) be a natural number, and a be any integer with NiMvLSUkZ2NkRzYkJSJhRyUibkciIiI=, then NiMvKSUiYUctJSRwaGlHNiMlIm5HIiIi (mod n), where NiMtJSRwaGlHNiMlIm5H is the Euler phi-function (the number of integers between 1 and n that are relatively prime to n). In fact it is only a very special case of this theorem that is needed for the RSA application, namely the case where NiMvJSJuRyUjcHFH, where p and q are distinct primes (in practical applications p and q are both large, and with some added refinements for security purposes). A fairly detailed exposition of the RSA method may be read in my Maple public lecture - Bill Clinton, Bertie Ahern, and digital signatures - in the Maple Public and Other Lectures section of my web site.The two prime version of Fermat's little theorem is simply this: let p and q be distinct primes (in cryptographic applications they will be large, but not just merely large (as is sometimes incorrectly stated); to see why, refer to Section 6 )a be any integer with NiMwJSJhRyIiIQ== (mod p) and NiMwJSJhRyIiIQ== (mod q)then NiMvKSUiYUcqJiwmJSJwRyIiIkYpISIiRiksJiUicUdGKUYpRipGKUYp (mod pq) One may easily give a proof [see Section 8] of the two prime version which is independent of the normal proof of the full Fermat-Euler result. Here I merely give a Maple numerical illustration:restart;p := nextprime(10^50 + rand()*rand()*rand());q := nextprime(10^60 + rand()^2*rand()^3);a := rand()^2 + 30!;igcd(a, p);igcd(a, q);a&^((p-1)*(q-1)) mod p*q;

In a nutshell, John Pollard's famous (NiMsJiUicEciIiJGJSEiIg==) factorisation method (1974) gives a strategy - based on an ingenious use of Fermat's little theorem (full details are available in the NiMpIiIkJSNyZEc= year Maple section of my web site) - for uncovering a prime factor of an integer n, if that n has a prime factor p such that (NiMsJiUicEciIiJGJSEiIg==) has only relatively small prime factors...And why - apart from its intrinsic interest - might one want to find a factor? Well one need look no further than the renowned RSA cryptographic method (a full treatment of which may be read in my Maple public lecture Bill Clinton, Bertie Ahern, and digital signatures): the basis for its security rests on the current difficulty of the famous factorisation problem, of finding a fast method (or prove there isn't one) for factoring general n. Note. In the following examples, Maple is using the 1971 Brillhart-Morrison continued fraction factorisation method.ifactor(15);n23 := 23!;length(n23);ifactor(n23);ifactor(n23 + 1);n90 := 90!;length(n90);ifactor(n90);But Maple cannot factor (NiMsJi0lKmZhY3RvcmlhbEc2IyIjISoiIiJGKEYo) (and I've placed the 'comment sign', # , before the command to prevent re-execution.# ifactor(n90 + 1);ifactor(n90 + 1, easy);which informs that (NiMsJi0lKmZhY3RvcmlhbEc2IyIjISoiIiJGKEYo) is a composite '139' digit number.Note. That 139 digit number may be proved to be composite (not prime) by using Fermat's little theorem:if (NiMsJi0lKmZhY3RvcmlhbEc2IyIjISoiIiJGKEYo) is prime, one would have NiMvKSUiYUclJG45MEciIiI= (mod NiMsJiUkbjkwRyIiIkYlRiU=)for all integers a not divisible by (NiMsJiUkbjkwRyIiIkYlRiU=). So, testing to see what happens when NiMvJSJhRyIiIw==, one finds:2&^n90 mod (n90 + 1);and so it follows immediately that (NiMsJiUkbjkwRyIiIkYlRiU=) is not prime. (One says that (NiMsJiUkbjkwRyIiIkYlRiU=) has failed the Lucas-Fermat test to the base 2.)Note. On NiMpIiM1JSN0aEc= April this year, Sean Irvine announced to the Number Theory mailing list the complete factorisation of (NiMsJiUkbjkwRyIiIkYlRiU=); it is the product of three primes, NiUlInBHJSJxRyUickc= : p := 1381173038633;q := 42025070023047325132446149666132026718715669472074383;r := 25596421444788555447555320241499448369527283715169223676054601753562783959;is(n90 + 1 = p*q*r);Now here is the famous 129 digit number, RSA129:RSA129 := 114381625757888867669235779976146612010218296721242362562561842935706935245733897830597123563958705058989075147599290026879543541;length(RSA129);I am certainly NOT going to attempt to factor it!! It first came to public attention in Martin Gardiner's much read column in the August 1997 issue of the Scientific American. Rivest, Shamir and Adleman (of RSA fame) threw this number out as a challenge to be factored. Given the then state of mathematical knowledge (as far as factoring was concerned) and computer power, they estimated that it would take some 20,000 years to factor it, and thereby decrypt a message which they had encrypted using it as the 'n' part of a public modulus.Briefly, a method known as the 'Quadratic Sieve' - introduced in 1981 by the US mathematician Carl Pomerance - together with thousands of computers worldwide (organised by the Dutch mathematician Arjen Lenstra) - factored it by April 1994, and decrypted the RSA-encrypted message (which, incidentally, was: "The magic words are squeamish ossifrage.") Lenstra, and his co-workers found that RSA_129 was the product of the two prime numbers (I show them individually, then their produst, and then show their product really is RSA_129):f1 := 3490529510847650949147849619903898133417764638493387843990820577;length(f1);f2 := 32769132993266709549961988190834461413177642967992942539798288533;length(f2);f1*f2;is(RSA129 = f1*f2);If I were to foolishly enter the Maple command:# ifactor(RSA_129);then the timer would stay on for MANY, MANY years ... .I am going to create a number - which I will call by the name 'much_greater_than_RSA129' - which will have these properties:it will be the product of two primes 'P' and 'Q'I will choose P to be f2 (the greater of the two primes whose product is RSA129)I will choose Q to be much greater than P Those choices will automatically make 'much_greater_than_RSA129' be much greater than RSA129 (hence the name).This is how I will do it:P := f2;To save time in my lecture I neutralise the following command, but beforehand copy and paste the output to the next command line.# Q := nextprime(4470115461512684340891257138125051110076800700282905015819080092370422104067183317016903679999999999999630);Q := 4470115461512684340891257138125051110076800700282905015819080092370422104067183317016903680000000000000001;much_greater_than_RSA129 := P*Q;length(much_greater_than_RSA129);But that MUCH LARGER number can now be factored in seconds by exploiting the Pollard (NiMsJiUicEciIiJGJSEiIg==) factorisation method:Pollard := proc(n) local a,k; a[1]:=2: for k from 2 while igcd(n,a[k-1]-1 mod n)=1 do a[k]:=a[k-1]&^k mod n od; lprint(n,`is the PRODUCT of`, igcd(n, a[k-1]-1 mod n), `and`, n/igcd(n, a[k-1]-1 mod n)) end:Pollard(much_greater_than_RSA129);Wonderful? Yes? Of course I deliberately made up the prime Q so that all the prime factors of (NiMsJiUiUUciIiJGJSEiIg==) were small:ifactor(Q - 1);You may have noticed that I choose Q so that the prime factors of Q are the first twenty-one primes: 2, 3, 5, ... , 71 and 73.Finally, look at the two prime factors - f1 and f2 - of the RSA129 number; see how they behave:ifactor(f1 - 1);ifactor(f2 - 1);Rivest, Shamir and Adleman knew what they were doing when the made up RSA129!!And here you can see why it had been so difficult to find the prime factors q and r of (NiMsJi0lKmZhY3RvcmlhbEc2IyIjISoiIiJGKEYo):ifactor(q-1, easy);ifactor(r-1, easy);

First, recall the meaning of the term primitive root modulo p (p prime): a is said to be a primitive root modulo p if NiMvKSUiYUcsJiUicEciIiJGKCEiIkYo (mod p), and NiMwKSUiYUclInJHIiIi (mod p) for all NiUvJSJyRyIiIiIiIyIiJA==, ... , (NiMsJiUicEciIiIiIiMhIiI=). In other words, a is a primitive root modulo p if NiMmJSRvcmRHNiMlInBHNiMvJSJhRywmJSJwRyIiIkYnISIi.Maple examples:restart;with(numtheory): # needed for 'order' and 'phi'p := nextprime(200);order(2, p);order(3, p);order(4, p); # not a surprise:order(5, p);So, 2 and 3 are primitive roots modulo 211, 4 (for obvious reasons, known in advance) is not a primitive root mod 211, and 5 also is not a primitive root modulo 211.Recall a classic theorem of Gauss that p has exactly NiMtJSRwaGlHNiMsJiUicEciIiJGKCEiIg== primitive roots in the interval [1, NiMsJiUicEciIiJGJSEiIg==], and let us make a list of all those primitive roots - and count how many there are - for NiMvJSJwRyIkNiM=:L := []: count := 0: for a to (p-1) do if order(a, p) = p-1 then L := [a, op(L)]; count := count+1; fi od; sort(L); count;To determine how many there are one can, trivially, resort to:nops(L);phi(p-1); # the Gauss result:That's all very straightforward, and well known. But now let us look at the fascinating unknown: Fix the value of a, and ask: for how many primes p is a a primitive root? In other words, for how many primes p does one have:NiMvKSUiYUcsJiUicEciIiJGKCEiIkYo (mod p) ... (i)but NiMwKSUiYUclInJHIiIi (mod p), all r in [1, NiMsJiUicEciIiJGJSEiIg==] ... (ii)Here one has the (famous) conjecture of Emil Artin. Let a be any integer (NiMwJSJhRywkIiIiISIi, and not a square), then a is a primitive root mod p for infinitely many primes p. (In 1958 Schinzel and Sierpinski showed Artin's conjecture is a consequence of the prime tuples conjecture, and in 1986 Heath-Brown proved (unconditionally) Artin's conjecture for infinitely many a (but no single 'a' is known for which the conjecture is true).)A remarkable quantitative version (for such an a) of this conjecture - by Artin - had been: Let NiMtJiUjcGlHNiMlImFHRiY= be the number of primes less than or equal to x for which a is a primitive root, then:NiMtJiUjcGlHNiMlImFHNiMlInhH is asymptotic to NiMqKCUiQUciIiIlInhHRiUtJSNsbkc2I0YmISIi as NiNmKjYjJSJ4RzciNiQlKW9wZXJhdG9yRyUmYXJyb3dHNiIlKWluZmluaXR5R0YqRipGKg==where A (Artin's constant) is defined by: NiMvJSJBRy0lKFByb2R1Y3RHNiQsJiIiIkYpKiZGKUYpKiYlInBHRiksJkYsRilGKSEiIkYpRi5GLi9GLDsiIiMlKWluZmluaXR5Rw== ( = 0.3739558136... )In other words:NiMqJi0mJSNwaUc2IyUiYUc2IyUieEciIiIqJkYqRistJSNsbkdGKSEiIkYv tends to NiMlIkFH as NiNmKjYjJSJ4RzciNiQlKW9wZXJhdG9yRyUmYXJyb3dHNiIlKWluZmluaXR5R0YqRipGKg==[I should point out to readers, perhaps not entirely familiar with Number Theory, that the ' NiMqJiUieEciIiItJSNsbkc2I0YkISIi ' is the main asymptotic term of the famous, classic Prime Number Theorem; it is, roughly, the number of primes up to x.]Above I wrote "had been", because computational work by the Lehmers (D.H. and E., 1962) revealed an error (an independence error in a probability argument), that error being set right by Tate and Lang (both of whom had been Artin's students) in their 1965 preface to Artin's Collected Papers (1965).Hooley (1967) proved that the above quantitative result is true for squarefree a (NiMyIiIiJSJhRw==) subject to the Generalised Riemann Hypothesis. The truly extraordinary, corrected version (formulated by Heilbronn, as detailed in the Royal Society Mathematical Tables 9 Indices and Primitive Roots by A. E. Western and J. C. P. Miller) reads as follows (in Bach and Shallit):Let NiMvJSJhRyomJkYkNiMiIiJGKCokJkYkNiMiIiNGLEYo, with NiMmJSJhRzYjIiIi squarefree, and let h be the largest integer for which a is a NiMpJSJoRyUjdGhH power. Let NiMvJiUiQUc2IyIiISomLSUoUHJvZHVjdEc2IywmIiIiRi0qJkYtRi0sJiUicUdGLUYtISIiRjFGMUYtLUYqNiMsJkYtRi0qJkYtRi0qJkYwRi1GL0YtRjFGMUYtwhere the first product is taken over primes q dividing hand the second is taken over primes q not dividing hthen (conjecture) NiMtJiUjcGlHNiMlImFHNiMlInhH is asymptotic to NiMqKCYlIkFHNiMiIiEiIiIlInhHRigtJSNsbkc2I0YpISIi as NiNmKjYjJSJ4RzciNiQlKW9wZXJhdG9yRyUmYXJyb3dHNiIlKWluZmluaXR5R0YqRipGKg== if NiMwJSJhRyIiIg== (mod 4)otherwise (conjecture) NiMtJiUjcGlHNiMlImFHNiMlInhH is asymptotic to NiMqKCYlIkFHNiMiIiJGJyUieEdGJy0lI2xuRzYjRighIiI= as NiNmKjYjJSJ4RzciNiQlKW9wZXJhdG9yRyUmYXJyb3dHNiIlKWluZmluaXR5R0YqRipGKg==, whereNiMvJiUiQUc2IyIiIiomJkYlNiMiIiFGJywmRidGJyooLSUjbXVHNiMtJSRhYnNHNiMmJSJhR0YmRictJShQcm9kdWN0RzYjKiZGJ0YnLCYlInFHRiciIiMhIiJGPUYnLUY3NiMqJkYnRicsKCokRjtGPEYnRjtGPUYnRj1GPUYnRj1GJw== where 'NiMlI211Rw==' is the Mobius function (in Maple that's 'mobius')the first product is taken over primes q dividing NiMtJSRnY2RHNiQmJSJhRzYjIiIiJSJoRw==and the second is taken over primes q dividing NiMmJSJhRzYjIiIi but not dividing h(see page 222 of Bach and Shallit for many references)Some Maple work:A := product(1 - 1/(ithprime(r)*(ithprime(r)-1)),r=1..infinity);evalf(A); # it is NO surprise that Maple cannot evaluate A:So, let's merely get an approximate value:A[20] := product(1 - 1/(ithprime(r)*(ithprime(r)-1)),r=1..20);evalf(A[20]);In the following I calculate the number of times for which 2 (then 3, 5, 27) is a primitive for primes up to 'x' (for various x's: NiUqJCIjNSIiIyokRiQiIiQqJEYkIiIl; one may take higher values depending on the speed of computer available), and the relative frequency (i.e., relative to NiMqJiUieEciIiItJSNsbkc2I0YkISIi ). Here I have written a simple Maple procedure, which might not be familiar to all my readers, but it ought to be clear what is going on (and I spell it out just once):Artin := proc(a, x) local count, r; count := 0: for r while ithprime(r) <= x do if order(a, ithprime(r)) = ithprime(r)-1 then count := count+1 fi od; print(count, count/evalf(x/ln(x))); end:Artin(2, 10^2);Thus there are 12 primes up to 100 for which 2 is a primitive root, and the '.552 ... ' is ... .Artin(2, 10^3);Artin(2, 10^4);Artin(3, 10^4);Here I take a case where NiMvJSJhRyIiIg== (mod 4) (for the 'otherwise')Artin(5, 10^4);Artin(6, 10^4);Artin(27, 10^4); # note the (expected) 'drop'...

This is a well-known, longstanding problem (one on which I spent a lot of time over the years). I first came upon it at school, in Sierpinski's wonderful 1964 collection of problems. There, on page 111, Sierpinski asks:Does there exist a composite number n which is a divisor of the numberNiMsJikiIiIsJiUibkdGJUYlISIiRiUpIiIjRiZGJQ== + ... + NiMsJiksJiUibkciIiJGJyEiIkYlRidGJ0Ynand Sierpinski goes on to (trivially) remark: It is easy to prove that if p is a prime number, thenNiMsJikiIiIsJiUicEdGJUYlISIiRiUpIiIjRiZGJQ== + ... + NiMsJiksJiUicEciIiJGJyEiIkYlRidGJ0Ynis divisible by p. [and that is all Sierpinski had to say about it.]The point of Sierpinski's remark is that, for prime p, one has:NiMvKSIiIiwmJSJwR0YlRiUhIiJGJQ== (mod p), NiMvKSIiIywmJSJwRyIiIkYoISIiRig= (mod p), ... , NiMvKSwmJSJwRyIiIkYnISIiRiVGJw== (mod p)and so, trivially: NiMsJikiIiIsJiUicEdGJUYlISIiRiUpIiIjRiZGJQ== + ... + NiMvLCYpLCYlInBHIiIiRighIiJGJkYoRihGKCIiIQ== (mod p) Thus the thrust of Sierpinski's question is: does NiMsJikiIiIsJiUibkdGJUYlISIiRiUpIiIjRiZGJQ== + ... + NiMvLCYpLCYlIm5HIiIiRighIiJGJkYoRihGKCIiIQ== (mod n ) ... (c)hold only for prime n?Comment. It is well known (as indeed anyone will establish who tackles this question) that a composite n satisfying (c) must have these properties:n is odd and squarefree (so NiMvJSJuRy0lKFByb2R1Y3RHNiQmJSJwRzYjJSJpRy9GKzsiIiIlInJH, for distinct odd primes NiQmJSJwRzYjIiIiJkYkNiMiIiM=, ... , NiMmJSJwRzYjJSJyRw== , NiMyIiIiJSJyRw== )NiMqJiYlInBHNiMlImlHIiIiLCZGJEYoRighIiJGKA== divides NiMvLCYmJSJuRzYjJSJpRyIiIkYpISIiLCYqJkYmRikmJSJwR0YnRipGKUYpRio= for every NiQlImlHL0YjIiIi, ... , rNow, of course, one would like to show the latter is impossible...A comment. An immediate consequence of the latter is that:NiMsJiomIiIiRiUmJSJwRzYjRiUhIiJGJSomRiVGJSZGJzYjIiIjRilGJQ== + ... + NiMsJiomIiIiRiUmJSJwRzYjJSJyRyEiIkYlKiZGJUYlLSUoUHJvZHVjdEc2JCZGJzYjJSJpRy9GMTtGJUYpRipGKg== is an integer ... (e)One might be tempted to argue that is impossible... , but one should be aware that it will not be easy. One cannot argue it is impossible merely for distinct primes, for one should be aware that:NiMvLCoqJiIiIkYmIiIjISIiRiYqJkYmRiYiIiRGKEYmKiZGJkYmIiImRihGJiomRiZGJiIjSUYoRihGJg== So, is (e) impossible for distinct odd primes?Recommended reading. The January 1996 American Mathematical Monthly article by Borwein (D., J. M., and R.) and Girgensohn, R., who attribute the above question to G. Guiga (1950), where they list ten associated Open Problems.

This proof relies on the simple, but powerful observation that for prime p, and integer NiMwJSJhRyIiIQ== (mod p), one has NiUtJSIuRzYkJSJhRyIiIi1GJDYkRiYiIiMtRiQ2JEYmIiIk, ... NiYtJSIuRzYkJSJhRywmJSJwRyIiIiIiIyEiIi8tRiQ2JEYmLCZGKEYpRilGK0YpRioiIiQ=, ... , NiQsJiUicEciIiIiIiMhIiIsJkYkRiVGJUYn (mod p) in some orderA small prime numerical demonstration:restart;p := 23;a := 12;seq(a*k mod p, k=1..p-1);sort([seq(a*k mod p, k=1..p-1)]);Then NiMvKiYpJSJhRywmJSJwRyIiIkYpISIiRiktJSpmYWN0b3JpYWxHNiNGJ0YpRis= (mod p), from which it follows that NiMvKSUiYUcsJiUicEciIiJGKCEiIkYo (mod p).

Suppose NiMvLCYqJCUieEciIiMiIiJGKEYoIiIh (mod p) for some prime p with NiMvJSJwRyIiJA== (mod 4). Then from NiMvKiQlInhHIiIjLCQiIiIhIiI= (mod p) one has NiMvKSokJSJ4RyIiIyomLCYlInBHIiIiRishIiJGK0YnRiwpLCRGK0YsRig= (mod p), giving NiMvKSUieEcsJiUicEciIiJGKCEiIiwkRihGKQ== (mod p) ... (i) But clearly NiMwJSJ4RyIiIQ== (mod p), and so by Fermat's little theorem NiMvKSUieEcsJiUicEciIiJGKCEiIkYo (mod p) ... (ii) and (i) and (ii) are incompatible for odd p, since they imply NiMvIiIjIiIh (mod p).

If one is in a hurry then this proof allows one to sidestep having to establish all the side work necessary to a proof of the full Euler-Fermat theorem; one merely has to make two applications of the standard Fermat little theorem. We have: NiMvKSUiYUcsJiUicEciIiJGKCEiIkYo (mod p) and thus NiMvKSklImFHLCYlInBHIiIiRikhIiIsJiUicUdGKUYpRiopRilGKw== (mod p) giving NiMvKSUiYUcqJiwmJSJwRyIiIkYpISIiRiksJiUicUdGKUYpRipGKUYp (mod p) Similarly NiMvKSUiYUcqJiwmJSJwRyIiIkYpISIiRiksJiUicUdGKUYpRipGKUYp (mod q) and thus NiMvKSUiYUcqJiwmJSJwRyIiIkYpISIiRiksJiUicUdGKUYpRipGKUYp (mod pq)since NiMvLSUkZ2NkRzYkJSJwRyUicUciIiI=. [End of proof.]As one quickly learns in RSA public-key cryptography, the 2-prime version of Fermat's 'little' theorem plays a central role.

Bach, Eric and Shallit, Jeffrey. Algorithmic Number Theory, Vol. 1: Efficient Algorithms. MIT Press, 1996.Borwein, D., J. M., and P.B., and Girgensohn, R. Giuga's Conjecture on Primality, American Mathematical Monthly 103 (1996) 40-50Cosgrave, John B., Many Maple worksheets - a number, but not all, in html format - are available at my web site; simply follow the obvious links at: http://www.spd.dcu.ie/johnbcosDickson, Leonard E. D., History of the Theory of Numbers, Volume 1 (First published in 1919). Chelsea Publishing Company (1971). Edwards, Harold M., Fermat's Last Theorem (A Genetic Introduction to Algebraic Number Theory). Springer-Verlag (1977).Gauss, Carl Friedrich. Disquisitiones Arithmeticae (originally published in 1801). Translated by Arthur A. Clarke (completed 1965). Yale University Press (1966). Reprinted by Springer-Verlag (1986).Mahoney, Michael Sean. The Mathematical Career of Pierre de Fermat 1601-1665. Princeton University Press (1973)Sierpinski, Waslaw. A Selection of Problems in the Theory of Numbers. Pergamon Press (PWN-Polish Scientific Publishers) (1964)Weil, Andr\351. Number Theory (An approach through history. From Hammurapi to Legendre.) Birkha\374ser (1984).Williams, Hugh C,. Edouard Lucas and Primality Testing. Canadian Mathematical Society Series Of Monographs And Advanced Texts, Volume 22. John Wiley & Sons, Inc. (1998)

Legal Notice: The copyright for this application is owned by the author(s). Neither Maplesoft nor the author are responsible for any errors contained within and are not liable for any damages resulting from the use of this material.. This application is intended for non-commercial, non-profit use only. Contact the author for permission if you wish to use this application in for-profit activities.TUZOV3RLVWI8b2I8Uj1NRExDZE5WWlpKOkBMPkg6VEtHeE1rSjo8T2BMb1xcbFF4bFFXZE1XcHNIcVNobVdoWW9lWE9QbVRQbVZgbXZxeXhxPVhqPXhYcXVYYXhuYVhjRVdjPVVSPVV3ZVl3RUxLRExxdFBxPFI6PXJeYXZedVJBdXJaQG5adFZhdVZiPVdiTVl0TXl2YXl2WXl1WVl4bVl4cXl4cVl5dVl5RVlzRVlwbVhweXl5eXlwcXhwPUo6Pjo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6Ojo6OjpkeTxUeXBDPnFVTENUSmNEWG9YdXNUPGF1cGtjZldNWEBKQ2VVYGROdVRtV3h5eXlwcHVQQ0RTU3VMQ2x1Pjx4VHBRbWxzYl1NaWhVT2BxVGVYU1FPO0BKeFZdd09sOkBzeUZ2PHdcXHRAdHNOblFuXFxWP3c8d1xcP0ZxSmlqWHluWlZ2bnlIRXJtaUJfX3RXaXRbTXl4WVJJSVh2V2d0U1M9O2dRTXdBSUNdSVlyR1hSb2djW0VwcVl0c3huPUJWU1VHdUVBW1d4S3JXYVNIc3NvWUJQa3luS2N0cWdteVVLQVlRWVV3X3JzPXdib1lUV1hJP0lRS3lvW1hAd3lkcXl0WVJHQXlgaXhzW1NseVhhU3lxdXk6bWVsPWRYcXlkSWZ2Z1JJZVNVa1VtVUJHd3VaaXRTO2VRP1M+QWRNYXNua3lTR2JEU3VpbWJTYWJqeXROQXlNdVhsYVRXYUNwO3k/YXQ7X3R4YVR3YXRoP2NqPUdiZ1lWR0NBW2VBa2heaWh5YUlHb1ZkR3h5V2VRYXRhbVZIWXg6U0VJZXd5YWNtY1NCQXZnT3l5c3NFeUJWV0N3UUZ0WVd4WWRNZ2NZX3leVXk/Z2NlW1dYUUNEY3dHdXdITXc/cXd4W2dhY3NjR3J3T3R1S0ZYS3NjW0ZaSUJPcUlySUlda3VJQ2ZSb3NNX3lUU0VXV2NLUXNfcUdIZUlpYVdCc3ZhQVhXb0ZzWVR5dUlZU2RXQ2V0W2ZacE9ZdHZbXFxYU012Tj1YaGx1eGVsXXlsdlVuO1BZc3F2a21tQ3hTRVFQc01PZVVwUUVLTmB5VkFxY3FSUXBZeEhyW3hVXFxBdGdQVmV4bUhIUVlEWHB0TDtleV9cXFhIeHlUcExRPXFKaEprbHFBPXdQeHFPdHBQbXdRPWtXZFNTWWp4aFF0PWxpPFg9UHJcXEhveE1LeHBwZFVQR3hsYDxSYWRXc0VNVWhuTWluYXF2eVxcdF1wSndcXFB0dHQ6bHdfaHk7UHh1RWxXcGZ5cGlReWc8SWJnSHFRP3dSd3ZGZ2NRbm10SV1sWFpvYXV2d1xcXVZpXFw/eXVJakdxeUFfXWpeY2lhXFxedmFZZm1YWXZWX2ZveWRfd1phP3lJUGZOWHBPaW1iSW53aWllUXlaQFtqZltwX2BzP1xcTkBxYXdbPGFfPXFwZEl1XT5nbkhwVWlcXF5hW0FHY1NfeV1wbkhnX29JaT1Ya01gYkteeVVXakZoaENwaWY/bGxoZWxoa0txaz1xZ0NxcUlva0phZFpAXUlPc3BIamdRZ1V2Xk1wXltha1hOb2t4Y0ZheE1YPkVmeD1HSnlZXT11S1dYdWVmY1lDVl9ETztYXW9lRHdJXVVyaElYaEtkdFlndj1zWU14eU1oRUFiZEtkRkVEO01CaW1VWWd2TnNmQnVEZ3F3XnNSWm9pZXlpWUVmRUFzWU9jVTt1Zl9DXjtnPkVJVW1XeV14WltIP1VUaXdoYXliPEVXVUFobWdoVWVlXU9ETHlma1lkT1FETk1zbGVnXW1IR2t5blVyclVoamdidnN0cklDc09pVT91cFVodE1FX2NWVWV5d1dyU2VTdkl3SHFzRVV2d2FTYG12X2tDRWdERUVWT295ZlNGWUdYaFt4ZTt3ZnN5YT9IYmN1X1NpSFVmclN0cXNnSUNVS21SO0lFR0dpRVV4U1Nld2tCUmNpYz9mW0dIc11XQkNlRlNYTWVjQHF3UVlpT0NGaTtiZF9lcGdoQ2NyU0liclVGZktYcE9FPkNkR1VWSF9zcz1HYUVGXFxNaF91REpjWGVXR1NrSUE9VGBbdWhPaUtPeTtJZG9fc0JRZ1BHYmlNeFpJeFs9Uk5RSENVd2xJaFZBcz5NeHY9dDtJZWtlY1tpVG9lQl1ZU1ZzSV1VR2tNZ0M9eE1fY3ZdckNrR2xPeUU9d1ZzeW1vUlBFUkdVV29Lcz4/ZE5HY3FPdkw9RGNnVVVpZD1TZEJZdGFjQmN5VDtzQz8/c1hzQkZFSVBLZHdVaWJVVXVvd3RDeExFUnhHVVBPYz1lZVdXREpfdEJJRmpbUk1XWG9hSW5pRkRZeXZJZkZZSDtFaWZhV0FBZGtRZ1N1SW9ZSFM/c1xcYVlua1ljQ1JYQXk7PXVyU3NVRUdYb3Zta2RVP2JJa3V2SWhmO2hIS1Jtc0lxa0drQ0lFR1NRaVV5P3JbY2h5XURXP1VKd2VvX0hJO0lbaVJQdVlDY2VdeUlRR1NSPVNGY1lASUhOYWJFeWhUO0hcXGdDW2lpRXViWElZWz9GaGtmQWFSeWNjUTtEPE1CTGtzVUd2TV1GT1NXWmFGbm1VVk9CXU1oYGd1XWV3OkNTWFtWVVtkXmlXQ0lUTWtpbmdWbWNZO0V1SWtGWmdldGFTbGtlRF9TbFVkP1NVW1doYF9JSGt1TmFJQkVZQEtoUVtJYlNmbF9DcGdWXUlCZ2NmOkNyT1dXbGlWUFNETXVFa3dCWVFiZ0t4R2lXZmNkZ19jQ29YRHlGb0FGPENZZF9mWlNVS09YbVVFcm12cFdnYVFJZVdHeU1pdU9maGVGWVtVV2dkR3dlWztYQFloPG93c2tUd1VnallkdkVoblRQYExKYXRVbXlvXXhsa1VwZ1BTSG1TT2lTWHRNP0hzSGhXZ2xudT15cE1vc21QV1F0WG1sTERSXmVyYXBwQVBxQFR3dVxcbWY8eXRNb190TlFEbXd1VUJhbFtUS01dVVpcXFZzVVBnXFxPaFhVXWl3PmxUPlR0b2xZVWVNXFxgcTppTkZRa01ldUI8WV55cVtUcXdMeHlZa15tUERoVVRFTFtteGRZVHJVd0hZcHBgUl10c3lobTxcXHJkaE5cXF1WR2VqRXlUQkxsWGhVaWRTa2xWY0lta3VKQVxcT0ZBSnhYVEpcXG9ScFVyXFxxbkVVZjxQT2FvY2lvWHhZVVRSeGhtS0hub1V1QmF2dnh0XUBvcmR5cUlsYHR5Y0V5Zz1TdDxWO0xZYERvREVsQ2hXWWRrcElrU01vcGhuaHFrZU1XPFFYXmRvZ0VtTTxreEFZTT1tcFBLbVRUTW1YZVFMbnVLP0hNZUlVYGBUcU1TZGVOcW14SGVMSz1PVXB4XkBraVlwYHhYVmRvVUBMPVBwckFQSXVSW1FwQFlsdlBXd1FUb01wR2BqT1h5Rmh4QUVUaWVSQURLZ2lvVlBPeVhVbFhUOkl3YzxOZ2VNTnVwXFxYV3JkUUZQUXZsUD1Ub3Nlbz5xWGJpV09cXHlFPVBVaVBBQVNnTHR4WExHPVNUQVNBeGo9QFdpeHdYYFhPQXRIbG9JZW9IaUx2eXVvdU10THRUeUpzQXhCWHJAVHFXWE9zRUtvcHVBRVU8dXlPXFxMVHlQQVhtPXRPVVFuZWFORF1LT1l5THlYYnR4dWhtY1lyWE1raFxceWxMb19lcWB0U2VBT0hdbHFVd2lQbmtQd2xIUGdIcmVoWV5wS2hQd0dQSjs8TzxgcVU9dE14VVVFUFdAUmRJVGZZamphb3dUcU1RalhISlNcXE08RXZhcHBUQG1XTUpAaU9WaHlMUUtxXVQ9RXljPVVocU5hXVBKXFxYXFxMdVtEc1FAT1tYUnc8UmJgUGB0U3VlamNlWVhAVU49ckZleHVIbURta11YUkxhWUVsUm1JUF1QZWNoYHJ4bWE/YXJhYUN4dldRW1xcYVpgeWlGQWo/Z3ZWVmReQG1HeVtoaGp4UXZqSXdNVndQR3lYV19FcGpETm5zeV5FaHZFX2Q6UG5rT2FEQV5DbnhFQW9DaF9ld2M7cGJbSVtad2NVP2twR3d4dmNWVlxcT1dhWUdaV3FiR0dealZrQVFdbVhja2Z3VFZmb3ZaVm5aTHdmb0llUz5lQEh0Y3ZzZ1BuPFlxRE94Y3FiZE5tUHh0cXdoc2ZhZz5teU9lZGhxQ0ZrTldxc3B5XUBfVlFySUl1XW5jTEliPl94ZFFeW3l3XmBeWXFiU3hleWdhPk9rVkBmcFZmZU5obXhlU3duXj9fR09rbGZgUXFnS195Sz95akBweHZ3Ykh0SWB5WWFpP0h2Sl53dlF2WW5nQVZvPVhod2NSZUJJTWZsS1RVX2JgcXJGUUM8VUdSV1k9a1ZXQWl2XVg8Q1N5TXljeXdlb0U+P3R0a3NWZ0JUbXRHSVh2S0RUO0RgYXRwYUdRRVZBPWVmb0hAXVRnc3dzQ2ZXR0ViQ0NMSVl0U3dHO3RSYUM/XWhpW1Rmd1NQVWNTUVlaQ3Vsb0VbS1RuT1NUdURQcWZwUVVfWXhbP1VaPWJgeUN1RVRVZWN0Y3JzYVdJR2hQVVZkQ1hvW0RuO0dUb2Y9QVZCY1lSR2dhYVlic3Z0PVVCdVZJT2VaS2dHbWhIUXJdXXVtc2lmeVRQV3RuZXlaS3lkbUhqb1dSQXNTUUhld0RTPUhqXUM+cWRIW1hISWdrd1RHdXZJX3NnWURnYWJTc2lMWXJiXUljW3VaVXVDZUdOXUlueXlqaVZuTXVKaWJxXUU+PXNIW3RoUURYZ1RcXHFoTndUVm1HZG9TaUtzRF1ERF1VT2tzTz1mWDtYdklkYlV3Umlpc0NFdj90RUFTP2VIW0VIaU95W21jRT9oWTtld0tDclt4O0VDcFVFYUl0Uk1VZU1JQHdGPUd1cUlkcmlYbUFpSG91Ql1VRWt2Ym9EYF1iRGV1XlVIT3N4d0tTb2dWRV9HTlFiQkFkdU1ZUTtZX11YYnFCZVtGRllHRj10WGd4cnlZcEFGRG9pZElSSGdVZj91WEdnXVdndUdpZ11VUlFycDt1PU1IWUlYeGNJYW1zcUVsPHVSPFBNd3R3Tk1xTllNQj9cXGFJaXF2Ym94aGtud0RPdl1ecjphXFxbV2hFeHNuX2NkUW9ATmddb3JMUG5DcHRFP3dKcWk6YWRgP2dqWFxcQm9sOkBkSmlzW3ZlbF5wSz5dVHBjSUhob1Nab1hKT2h3W1dnc2VzdUJmRWddPXV1VVk9cVhaV1ZZTVNaRUNIV0hxZVg8U3VeRXV2WVg7QUZRUUNdXUZsXVNOcUlPPUlMUXdoSXdab2VxRW9PcVZZQFRUcHJXQU5xWXN1eE5BQFdqbHB1YVh5dG1YTVJrZHBJXUtcXExUQD1QZFxcU3hISlNYTmh1bEZZUW10d0poV0k8UXN1UlVwd21cXHJRREx5dU1nTXY+QHBTQHBmdFJpVW5pVFY6dVJSaWw8bFJZPHdsdFNWaUxoSEtEQHZWaVNgRE9mYVR2QXN5TXVLbVFVaHZxbFF1TFdAcWxyYFJkZFJLSW1eUVlBYVh4ZFBcXFR1VmxrdE1ZbXlQQWB4Uml2UlVvTHhLbUFOYWxMYHFWYGVURElPO01ZXFxIb1FpWW5Na0hMTnFoeWxVSlxcdFNedUtKSU1LQVlbcXVmTXJ4QVhmeEp5WHhlYFJQcXhPaW9ybEpXXVhFSFh3XFxsSnFyPVh3TjxUPmBuRlBrbEh2XkxUZF1rdml1Oll3bGhXa1R5RHBMU1VWVXFRQ0F1VFRsaVBvcHVvVEhOU1F5UnRzPklxS1lLaFROUU1zZUFqb2FsclF2YklzbE1wPVxcb2pMVU1EdURReW1hb2lRdWxtUE1FTHdocHVwbG5JdnlwUGBYbENETT5MWUBgcmRxdG95bkBNTEZUVVVQb1xcVVdSXFxXTWV0T0FvRWV3TElVY3RSd0B0XUVSR0BYdHFLdUhRV3FqV0xxWmBMVFVPVHVzbUhQY1lrP0ROPXVUXFxhWFNlTE51S3J0dGZAa0l1blVUWENNdFl5UlVRcGxYd2BYdj1pWHBwdUxtUlVxd1RNbVtdcXhoTEVsdD5sTmlAcVE9UV9sUkw8TmdlcmhoWHdBcnlBTD1pd11JeFlUVXloajtwb3FYUG1VZ0hHXFxnYW5mV2ZGPmhyQXd0d3lbWXM8VnVHWGhTR3hlUGpNXmV4blxcdmFiSE5qVGZmRll3RE5yZUBxb2hlSFdtb1dgXVBcXGdmcV1Ja3h4XFw/dmtubmNcXGdpdXBvdkloTWFaT0lraklkVnF0dj9lZm5oZWBpPU9peFZ1ZVZvcHhqSk91TllgW1dcXGpYXFxTTmtlcXJRX3BVZ2hqTmlOUXRwR1xcQ0llX0lhYllzQHd3QndcXExgeE8/cmBxWmk/Y0BXc1dgXkBmam9nZXBwamtJcG5Ya0tQbmRHYWRHaWRvY0U+bT9GamZfYllmXFxcXD9wXUhpZU5xV2dnZUl1Q0FuaGlad2FlcFlua2dlRnlqdk9odV9bR1FrcGlvU05hP25kaXByVUZqY1ZcXHBRbmd3XVI/XVdGZVd4YD5pX0hAdEF3ZGJueTx4X19PYEZ5Z2dxdWpBdEpoYWlBblNBcz14d3RwXmFZbmxvbG4/ZVlRdEFebUp2d0Q/a1xcUWxdeHFNUGNgX3NqVl1ndnJlT3NJT2twUF5WeV5bVndgT1tnd21McWldTm1aQGhCQXJpUF1PPltASGRtWVp5aXJbTm48WXBlTmZvbnNvXl1kbmZJWXVYd2tFQWNVeW5eQWBdVmV5WXVsUG9nQW47P1xcSz9tdF5ncF5qWEd4Zj55c2Zac2d1PWBzZWJfYUlFU1NKY1dld3RtQ3JFQ2ZnRVJhcUVOQ2hCO2ZeSXZ4WUw9UFNdPXlLWG1HZU1ZTG1yVFNCcExfYFVBbG1YbVhsVVRYRW5eRXNTbW1meVJFWHNERXdlbHZRcWxRYVhAQHRqPHBrVFlrRFNOcXhQUWpsdXNpVEpFTFhRXFxSd2BzUGFTVVlKd1BqZGVzX1FzS2BqQElqX0R1Rm1KbVBMbWxsaDxTU1BLVjxXW2VPYWFUTkB3TGx0dj1xZEBPT0hyYzxLPmh1aFBQPUFwU1VSUF1tYklWU3VybERMcXBLdWFWbGlWPklvT3hKeEx5R1hPaHF0PVFQQlFWSXRSamRWP11QRlBQQ3l2c11ZQl1SWEFzUEx5c1FUXk11TFVPRE11ZURQPVVQcEhzRlV4OlhKYGhObEVZS3lrcVFMUUhTRXVyXmFYX1hKSF1VeXh0Z01SQ1h0anVvP0VRV01MW2FSU2lraWRvZUxzVWR1V0VNdGhZWnlRW3F3eEhUW3RPdTxWR3hxYmBxcDxPUUFXT2VZSUl3XlR2YEhyTnlQO0VLaERMaVRxY1hMcTxOWGVqc0VLc2VUO01ZQTxvc211ZkBVQHR4VU1KWWFNRnV2VmFqVWVsdl14WGBuY3VUaFR4Qlxcd3h0dkNpdUBIc1FVUTptc0p5VVZYTE9lVUFMbWRhWV1UTW91cUVFeFdgeEs9UVFMeUdBeWlIUFxceE9mXXRHPmNKd2BneHdeZl1tSWRKd2dYaXliWF1fXlxcXXhdd1hvb3ZmSmB2Z1FrbFdyaHFgc3hxVGhkX0F1WEhvdGF1eHF2VlBzPmZYUUVHX1lHeXVqR1dxYUNPeUU+V1hbd3VFd3lzTUhzQUNhd1lmc0lpcXZXaVdwV0dvR1ltcXdBZWg7X1hxR1N5W1lRVVc8a0ZhVUdtdWhxZVlFO3hkd2JEVURkV1Y8T1lqbXdjXXJMP1RwdXdGX3NuV3VtaWlhQUlueUJbYVVieXhcXHl5YGNTTG1IeHNJbndZTHdmPW9iX2t0eGdVSldUQl1UdEl2S2tERE1JQ01WWkNIPFdXRjt2WGV1T0dlXlFlTHdpa11Ia0NmclVYdV9EZ29DW09JeXVoX0l5YltlRWhxcnlRP013VGV4SXVOYnVtdjxzT2l3eV11Tz5pZT9vTlhwbkZiXWl5a3l2QHBuTT9eYlFiY09wXUBwTV93T0laXFxpXXRWcEdJdT1QZGJIZk14Y3hYYXQ/YVdQWnN3dz54YUR2djx3cVF2eWtecGlBcl9AZmRZeWZveHNhY3RXX3V2Z0JQbXF2bUtfWk1BclpXWnlBdkNQbXVZZFxcQWJacF1aTmdYd3J5WGF4dmE+d2ZZcGNaZ2VtPnV4aXVbR2lZbnV3UXU8YWlKbnM/XFxVTnBxSGdqZndocVtiYWhiQHhDR2JIVmtrX25UUGVpb2JmeWNVZmBYbmF4aWRsd2lUSGptaGVGP3N3PnFXWHhUV3lnUWJ1cFp0WXBncXBrd3dmV3ZjSFpjQXdbaXVNaXliXm1FZnloX3l5WHNJSW9zWGRKZnh2cV0+eWFSX1pWeHlcXGJTP0ViQXdzXXddd3ZjT0ZvTWh3U1VSYWd5Q1lkaVR3QUJ1QUVHV0Z1U0lHb0VrS1lJR0ZZVVlddXdgdXdYb0d1QUZWV2tHd3F5ZmJAcXJyaWZqP3NZcHU9QF9db249Z1tRQGx0UWJRTlpEZlxcRldlXFx5cXV3WzxwdV4+bHZReFxcWXc8d1xcPFZ4UlBuPXl4aU5bQ05nQl5pck9wd0duRWZ5eVdudHF3Omd3RWZaU3BpX0dcXDw/YFFueFY/d3lnbTxOWl5xeWFHcHh4aU1wa19PaHFZcld4XFx0QHQ/QHZBQVxcZXFfclFxdj51eUB0eWFgV3l5Onh2bXlzWHd5WWZbTVd4b1dtSWd2b0U6O0I6TVRLV0RLV2dKO2VaMTo=