-
Notifications
You must be signed in to change notification settings - Fork 0
/
primoinput13_3195
6 lines (5 loc) · 29.1 KB
/
primoinput13_3195
1
2
3
4
5
6
;This is an input file for PRIMO
;Number expressed to the base 16
;The database-id of this number is 1100000000490878060, it has 35670 digits.
[Candidate]
N$=8746f67b39322cc4ba11c9069a523eed3922229b4725a45a38e125e2077015327a562b860cb7306519db58e3870ad337b07fb36370e84867117a93adfd2a0c3416c61e047c0112db16241fde90d4ed7b652617256b85234fda9ad2b9811efb261917b7628b4558b183b5d94c063151a92a7522c4592db6c8d92a413f0b3b2aaa5d8b96e50e373f661b3abcbeb24e6ac722ad9950a9233d8b943e26d194730ae6065ffdc5cf45f9202f78804b226f18969b599e294a8fb5c5419ada2721fce7f6e47619bd59fd200b7638bf63bafa217cd371d091c8129f4243663a248f17d3299966c6a2d3b87a5895132e4e9832331ac658edebe487a34d3a44ee7b9511bcaea8891c9e2caa69b7942556c1e036f6c46f10ad23b8940856372368c2a43074de3d371848a891b10ee394c4077db3db5a93bce4ddda60f5472302e84b13b2f6113a1b196122e2462efdd7a64229ec5f6113bb7ca361577add1c87fb1c5a38c84b492d38db959823c094b8d75a28ed8652fe148f05c8b17ba392aaee6c94bdd97e76231e91da1883191f33e144dfad3073774ae15d603964813c51ad565dec2cc0c2f13892bc7dd62ba218323ea1740108d6ca9d730b1195cc1b6fdcd37dd889faa23b426eb8c7c1f5ff7ce1ad8b4e2d082a7cbd15edc979a4188618830a3416d909d651b76de0e402c3f3da1f75c1afc676e08ce8d8cadaac1a7133e7871a328eca2b347a5de2f36208b368ac5ab4293894e55dd898454cf4f853be8276acf7a7af2e0eb865c5795fc66a42ea35f3c0ec8370854d2df7d87ce09e715407044b15669870cdc8be96054089dab92251ce87ee2f27bb43a38d6511f53b5001e4e8369428636972178cca3b96953131e78b4d9c9b8095dd610e41a604fd7de220208d15e7db01bbd2eced5e89b56d6d6eb2008f5de067933dfb3ddf5c863cabd80f867b067e3d2cdd569a3d02c0e40d21a0813d8d57adfafd92380500fa235d6032de4f33b573efb65474f82691e46ec1cb3bcb39718b712735d0681429e545d051112165a650f4205ea8fe5d42161837fe44d89025300dbf4c231f438026e87a73097b48b9a2699309eee5cc83226257ed4aecb2e11bf6a505a8b2c51134864f1d35a50ed8a8d3acb6d0412b4e9253e8ea5491bbb30c538eebf275a9691b73c339a984f043890484d50ee0a8607dbcf4c91b1de9d1640c30e8d32516f5f02fde6240e81794bf478009afcf386d376a06b8487a16f6e060916a1bbbf258bf84407f7ff22d06de93699802464d69e8437477028b627c5f4aab613dd4fa8e6d3bf7e42b339fa554c30bb7f78283b4ec1735bed6d8714da47685eed6e35854d23201822d491cf705a983adba2ce0474eeecc7e0398f8b49d7e1e59b658293260dada3cbeb23f396515770c0a3acaea653e4f2ab2d88a5f08c194838005bda9e99bdb5a59546d47a4bf33e20b371046b56cfd3d5dd2b243b52c91cb67b7495ad6d138358d2415d064357d1a4eb6b21af9a6f760dc76fab56ab10515ebc578c58768d827a488845f780d0a126228c5d46bd855582dea0e135ff1560d7d649b2bc3bffc144e705c5a127b139a2735414caeb7ea03513dbf615298548248d94b114089fb9854207a705b6ea0a9c167925911751d970a03f5987238e71122ad331c7d8f06f08fed0a1b5a6e73edd72bb62d10313367a2254c4e2053e06010fa9ff9cbeaa970c34bc6a5e5c3fbd9bf61b426a3f3ead5b2e7c260089816078d74f8a4be670c306c41a8ece1245a48d9ca8c3422de6f005f386df10cb013f6bcde2ef316371de8d14f4682f83975a226248cf8123ff5f616544ae7db4bbc7907f908ef41fb6f4d12597e7f2ccfaf497da9a3a1efc8251460ca091ef5c681e082675b2c785e73f2f6651f7ba68ba35e0879f6d30f1e31ad20e2813ed67d8768a8ac5e5b47e85887aa4043d0c2488c6c199722b595ab05ab3890f27a999ee93c154fe47289278956bfe9def2e087bc998126cd1d2c0112cb0f5ce0bf7e63ef5a6fbff777db0beb4aff022a03ee13c83579f5490344f6536940ec40be0773ed76bf7dcf8e4cee6887864e75872e77a520e9f4b1275a05998ce3b1d0f65399116ced135e4e6b2b2bbb3143c17eeb6e955ecd4aa3d9620b238dd509cc99ea4b4b77e11ea1ac1ff5f0c7aec532ded892ccd1f3438fa66cce5e393a3ab95d132dff0a440211fe929969695bdef920fa82b1951040190a5c2c0ac21cb6e9c6b9218ec933f0957c5c6f251de5a65ba38be05b731a911bf94b0f64b64de27a695ad16185f57ab2c05da0c178445440a9855a40ba02039174544ab7d928059a5625e90a1b0a48605cebdfec5c3ee82bf2704b41c831b28b173bbc862271e98fe12e651a0f5307500975b6ae03addf0c88eb738f7f84a5854fa5093074766fe799229572bc5fdd4cf85e0f40b1869250b9dc7be4adad39bcf277e93d509f5fd41e40de9cca2b64113a61f0e8eb51099149de1617620c98b84be4bf55e6f5f83c5e4556627fca480f235e77df2bcac3bd9b84b8d647fd474aac036e57dc3807c2c91fd5b8410b8394a482acc03d52ed1497f0864d66a4dabe76e65a729c29d52432a6ee99840ea909fbde1eb62cdc924c638a7424f0dc3c02ff4890bafc28a78e6b8fdd1d2f5caba101a2354fb76d7c2982b0310f5ff3fc8760bbb25d641dae80cfac984b3834c61cda4c13dc0bd3168a78ad00cbfe86d0073c647d0262f129a7d381ac9f32d1adcec8e5719acbc351052aa5ad24c9b6a22f8ba9de892a19806e8c10f806ad989911791b8798de60fedff296524a3e26ff660be79351250cead1fb05c209b4a1f45b85f01e6a97576a732b94024b6325b29ee3a6735edebab1d70fbf4edbec87840f3d1661e056ffdc2cd477e91eb4f5b89a15b6c3ef43455bf1d54e58a8d3927f08d7f6476dba4ac19dc28322ae8b471263e6842ae2a62d30c79cdef9158dd507f5f09f980ae7b7a058b32694e06870aa6475a45ca3b9c736eb186dc1f4d46cf2c29d04b0d06cdaa98a6c58c46d4b224feb8d0709e56e23ac2e79428080bd4f93ad855d9802e4b7810c4be141b1cc38f6c94e15f65cc60646383dbeea4536efeeb9683b728daa7f4969848fab90d97209ea550248e0906d22258026a455b91694e8ae4d8c4bde266d25fcbcd06a283c37191f57d8e0136dc854ff97576a89f2ddc0420d57ea5260b7fd8d11d3bf9ba78a0d4de2041b6e2205559ddf4d9d86f8083f2b2ef2380c1931c4bdd17663b73c214ea2866ecaeda14b89ef9b358a3f8aed7f1d206d2062ca58bda96b2ae2462b4b630536f008a245c691b83cc941e5d2f7f88a1dce4f49ba0c3c8fc91979bd28939f9c03377c24893e74e5c3c0f91f0207618059d407ed1d5094ea712a4c065f8ca4ddf230c1f6422d60ed3240896ab2bfb68502b07c17e9f7e9251cbb4597ce274d6aee17d4d183a626d9f4e2ccb377edf975cc3a2ab7e51796aaee3ba82c4c20227a3cecfe678b145c667288727246ad9c830bc4994f8a57bbff5b306bd2585b7a4e43560cc842d12870658b12e6d39e0e15b899e831725b6e34c4b4cc03993c18b075f20e81b53d657f6a6882747fdb7914d55d77d948cfbe0cf6c43d06ea49ee85eaad9471b036230c73038b5671ea77b9887d2af093f5cb3d0543f1806ccb09e9212a349e84c5f83387061957ff3363be1c37b001e4c6f9bdb57b1f47ee407c14efff8bb9ef29003442c8c8ba02ceecfa64ff0837a3e60d6710ccdb31d89f60a84343f7dbef4a910e7352985ee613c9d5566638148413c6527ee2c2873b3cebf53d906471c992ab70b9435bfc6fc8bdc05f5437adef2ca7639c4515a415b667366b141d939cc7b272e3111097aec87829fbe577ffad2d5a3e3ac2b4d3aa78067e5142770ff23f49bd2474c86d6e2b6a45a131261a62293d9552dc359255d7d64792308409ff903e157ac6dc0df2372c8b1199bd815d898cc71d26c7d59d7f90f35dd041006d288bee24d88e9dd5422c048b629870a55575f891fd30f89d2aef21c3e4d7318fb351a41914d0ff55977db0707cebe35fd76698bdfb9d92d2de6cc4b0ed7ae17f3bb54fc027b1524f6f76b21f9991bb7b36cc5bfcc444b654a65a06f2ab769aba8e24300a6c2604cfe263506af03568c559010ddb7cef0cb8d9878c5509d89eb0e2d0e71a7ddd042087352d57347045a7e0adea6c8bd1e6e3513f92da228432beee13f734317b38378bb2e825f4e6dd51a8b648daca2d88de433df3321737801fa05ddc47d21e980d2df0455e4de278cfb39919b763f2844e34847c0cf2fcb61a73ec39a1910cb33ba5c3aeb64c1ee0fc8051386191e5f2a5025698862fcabf251feee7625feebf84cbf7d2253f454caa33f8e6436a9811b9d5e39f0ae3320d8a9d5ec420a4f3f82245c88eea8dc4b6616409ab2e2607224e43e7910d0ca4643219021626c96632d00ea7272061370c1465845d2a876b2cb0988797838fcaec48d24e71aa32d90642449715f5c3e3ad7d1948660b06734f1aec9bee961829159866b684c1ef1a977ad5dbe45be01a350645c12a68576a08163fcd4cf6bb17beafe3c1af91b9a1a8517eb600a56f9a944bfd4127d9c63cd9698f45cc1e208a1171f74f37bf160d88ef8f2539d2314e8c790250e96c11541621d60c403ba32f18816d9e36abd8e2d90820830f56dbb2b4268c634eb25be1190e12e4a598151ce818211bd9d13da88a7e329b95cbfc38acabb922d1b21682aef2dbe0a0099dd2cdde8b256b89e4116c56ae35e3659594382ed84f3ebea88bac83b4e618a497806c3d94aa916aa20b0e1591770c0f98714e433a140c7991112d77afd71aedefd223e8f3c466ffc7b9f629185cbafde658d7bb82673914d9ecd6b8c54cb381a2884a9c8a92c34e625da5b5b96adae1d3d1229bdd031dafe828aa0837075943efc0928fc2e69167f468cd3a1911ab2dc691f371c6ebf61932fe14f31cb7b791304f7f5c23895c8c38e8ceb7feae5039f97a9d7dc643a229c630896e5f441507aeae22299fd1df3aa52e9fe7ea22201f672542b0546c81eb9c572f9cd65cd1cc437d1caddfa4439ab47672a34f0756cad72d6a649b6b69a3c61d71129d1bd484a6a3e8f40ac24706af5aed5a64dcc57caecaea431bfb8128ee81db747d3bdd7e13506ff499f2c0936f5c3988fd654922cff9c0c67b7d8909c1212a7116cc9f8ae03158aa603be2def4c47adac848cc3bd0162cbc156c46783450fe1b191d9ce604c6303889e5bc6a76a6ac4b55b20c29b7845f4708a9abcc0c70f863a7d9a1a080018b4823447a037f0fec155e4773f64c93b99c230ce08338a0c66c0df27523a942c9427e14a857a08a55564104520489affa5a2921ff7e3e3026ffefbba613ef6306771d68ec03e0fbc697cc34a6b997004973445eb462d2f04fc74056dac7b5bde4addaa91910a0e4929bc2b6e338f654239fe4df78193100026e6ea1c51ea37b757adf98b2f0b49ec809e75782069137d33cdbf0b7276542212d870d6d19a01c41a6cf3f6b708ae159b064773625fa766a7e175d63ec161c5a526ee64e79ed1342f790ccfa62a9b788bb03951c66db976da049e54e376df50c939112704486dfe5c9fd6eed1789409073fe64777e4b4b2d5dfa28c88ae49bb0973339a5ad762c790f4ec490eaaa7695560be124440ef2dae4de30c2b4910540aec0843ebc7d7fb93becf6f3bbfcaa810dce6b11085ded0d221f3342b5e77b30fdf26407140650520d5201f0821979737f1638f63ada65a36e33af74f90fa63ffcefd82910c3ea8bb92ba947f929f0416673cc5d018fe2b4a26f176653650e35fd6f6cd1f2191fb39b6422ae11fb7c7ba789864e20cb7fdc6051c41b291b47762ebb8e72404b53b15aaf26d83fb54a8ec7d9102905b58f7f4dae5f78e214cfdf776b1da14785495db5e0331f567f894d68e933542b709590e4a9327549f07a264c222d81a418c1283947cadf940aee04a11756390f433c56962bea124738e73c2b1987c4c18c3fbe449550d1e84db49b1d383badd14d09229b360ae1e47cab49a1ccac100748a2a633c410a32f99916dd61b3302c5c1eaf1405ed0799e32eb784d65149c224288291534cbed86a68dd3288bf77b2c782f05b42222ee13e05c7bec223fe3af957731c9977004b8079d5000ba2308fdcdbba69f5cddb94f758b3e2632f55d24f2a36542babdbd205ebe1eda69bf43a649ae3d6aed1671226e6bd4aed730cd852f6f7d8902bc4833bed82bbede363e473923caf6f3dbc351d6366d52e95399576e64f4589b5b8584fd5a6b4eeedad8b50eb2c9d741a5c36b9301d2d3db8aaf1301b48e38f72a40a2cedd276e63718c4b12e88cde8ffa8d3dc7d43f1b63afa1554083d1d84898b0c55fdb218e876b8998294c3ab7726d2a80725c716900718ff0de585a5a8b40af17ac19a775f43f761c4424d429437fc7030e4f984993da85a0b32d339c32a881b16465954e3532eb4569220028b0acf243547cd4fb8354249cddd6f8e5d6eae9e5ca27ec73ad8f9497e391b6b91c4d43ce45589f8005fa5ef2f99dd9bdbd3bb8e1cdfa806ef3a00c6bb2b96809ae8cc9a0e635b97222798b11ab66f03c275ca8fbd739d841184db707f2b3a0fa530d466d20276fdaa26da73a00efdd7ae6b970c0516ef46a803dbc6e91053526be372a10381342f849ba05896017b0720cffd678330b7a27b3380a88304792dab24bf765d2b807b6ed150b3c34580e49ac4c72cc0b16d69670df2dfa02382d205fcd23fb846909d81a01f6fe274cbfa575fff89587c8e5d57ec3bd7d2ca74cdbf6d600866f032af940411b64fca59d9c59b300c1da0a699a7a75f85ac1e78ca8a8f4172c6757fb7465d87d0833a9f73acfc5b28bd2d5610ced00ac973f6bc5b47f04efa105e97e65134d8d04948960b2ea09f203da46955c6ba8ffc8bfa909237c7b999238d1313cfb677676f577798032047bfad140586d558814b692f787cde39167bd1f130da1c717e3859b885337dc3620464c2bc9309c24886e48860e1aaaf432d4ca20a6941a8fa24de439dd226334e0b82d682cfb57f1046688d72d0d53b55fa5335ed63d8e71d4d07254b3f8d258feaf7d55a100024aa3f6b988e6a91e481d47ca06ecad016d1f4c345f28eeb88a10ae62c1986cb13d0035c7c369cf2c3eeabe37b9a63ad2ce86690441333091ea1e7a54cae6822310d88ffad78f3e7348db2fa7f2863622c00fe2ceffc75962c68a30bc4910c19a4580b8c2e16db49451b9c024d643bfd1249ad04e699d515a5422ef8448eb570b2f2f041b5789fb7263c96e64011c2a545615b3a77f7e736fcd03999e57b12eed4c2635b9ebc923ca3cb028a8eb08896ae9643a124a1b0dda85e032065a9598e53fcdfbe518f4c78c20918591adcffd2d05742b79dfe8abf45a28b8af56d8a7645986a42c6c3388e2e660adcc7d0a3ef1a6b588e3a77540f3893b1f3dadf327571a1a8b9b09021a5d5da95b7eb1d4556a596f4754ee62b93a4959187ba87d2cbf4bb2ad7dc948e8d509fff5bff141cc39b70eacd99fa0caad23ad7d83d98098b2aaed2ceabc6586da5621cda2346afba483a7635f2618c0c562dd08e8446874d67dd881550ec3b1a198d0054ebe863da3b0b0daab834fb4ebc8eae3eb46ababc761a20d34681be2953fa9680bc0637a7a4a49e4b60271b9b9d672790bb4dbbb1b78f5f6ce1b4395a19420307c139434ab8174a58d68b5d0b2f11eeb37a2567c512190d4f1d03701ef8450981f3903b57e4c3d0c4c13c9ba84eec365755d02c9c1ed317f8c1428ffbe4e3d3f9313df1fc5e4c9600f877f4cefce0075c3ff3f8e094a8ee9b7d92c9ff001bbced3e52063ad031d70b3328c666a5d39180bd5480a5e838fa2eff8ceba7c75812997f51772ce282bd58ee7bd3ef143580b1307a12703da31a201ed0fc1023aab2b1fb1f0d1079acb90a317865678698e2bf4965fe728011effe5f2f0f212f7d632412b8f7d80ed50cc7488d19490cbeb92777a7f53b4b8daa4c4b3e17a100d8a1279e7b635c219d67b61b2de812d3df83f4fb3e5fcd2bfaeb9b3871b89f779a65c8aed6d9b132372818d96d21e50b8dbe099170e40c8d3935517b6bdb253c1554a25c65e5e18b92dd4b6b7e211880b31927289e4210b7078f806a1ad282a52c1d22ea81c442392b2008c0f60b7614189b8fa5f47ece446bc4b154c61df586dc568d2bc777da57b8361c29b38caf2c91cb903a4678642d5c4656dfb44c89216f3b484ef93b0f03f2bf74ef930783777ec0c763c9dda6699dcddc8f4c569a8edb9a352a423126145bc0841c0c6955a8ba12e47b63525f176e3dfde2330975d487e6819487a3f1d237fc79fa7f7839e34fe103e2b4c642ec38bf0cf8c64959a472824c75e0e5d0738e7986c19c2d3530451f23401812995105761ca1a1aad3941618bc2c09559ef0228bccf799f9814bdaa4b90ca71de61dd34032d5262d0bbf12f975c1152a3bc6d521071a2fed80a05294950171de771bec31676b0de46afe9e6c758c25de7abb59a3d37ab851c7e85cbe0151a4301e291caf8d6bdbc09e9fb83297b9757f2d2e8f5b521abd531bf7dbdb0d2b3043a7ea1061b7229d1e2d1a0122604281c89eaee80c3a0857054c022553ca641e126181b2f6fb67d6114728bae923c8d301c8051a98df831c025587b4ce5f888bfbd43f614c2af42a38e25301ffd835d912f0c172fe6b45c240c2745a6fd4c9ec086a5c4e8a005c96a3523a7ee69943aafc43ecdd5d4af475a02aee5b9efad0629986a06b799cb6c19cef878d3effffd01b3e46fde40fa611e7f9dadc3b5e756597854ee41a23ca66fc88ba1d060da726ebd78f446e04e136c7cf4df01cdfb6b94a0365b1d880838c87de2019b0d96f054aab478dcb02576c626f69ef95f0936a3502aa9909d835707dc52585c43bc72761d274500bc04f4ba170a263ec86d2b0a9449b733fb8c828c2d73ed4e21b305e989baf41d5c83ae833e59c1b3a2b6261516db58d45293a4138a7700135a8d660c00dbfd2a2abd00371929bfe21fa8191de928a0946f9089fa3b93cc4d888833785fe11e19857155648c72199df7d1eaf2e4a677eea0613bc3156daf4eebe24d3007ed14a8d0899e9102e2ef784186864f0100c70ca9aff0bc6e01ed7a9713167b1488f2f31f7181a6cf853f723e36a658f981f15d19f2e109da5ef690c642e6692ebae5d253b6cd38e4b750e5c54a1aa1616a5f52470492ed7b4b9a4f536606ab3b0b71b871765172f88d9befd0e3eefb0afb37f095d0645cc35a02869e502184e3ef8ae3df7392084c499cd534695df6205e4238ce9a69b77fca30898853d4a7d0dcf8b3b47e3726256816882e24c71db1f9f2fd673cd338224c6344f6cc467f2df76541f974a0af404c9cee4c3914048bdf32c4440766b690eaef66db455e7878043ba357151bd57fb4c7ab46c8cad30bd7646a42de13dc46ddf3ca98cf85f1fb36aa354b802209a54c3fec676f543c61175fc59da4bf4530086113bc633effe9af363e661aead1bbf670f4f524aca0e7a1d219d7bd77eb17c8d10ab0d5e08250cfc7835ee8384e3d9e77b97451fde136569e87b31da859d47023c89900c925353df9a8a5534100be0e62a310e82112ef48d342939a45c088b16dce4d72e0602b3b2bb6f125e56693abd744b3a273b35c9fb4b46147ebb02ac03eeca2ce808ab5b9afdbb7a0050f4417a6320675df879ff6f88fd3fd62f74fd6eb391fda1f5fc5072f41b349385de716e7627b7534de2a87bac80097dda7eb2769a79cd2dbc85e256b84ee321a2bdacb8f8d7dce04df66c0dac1d6102aa45e6a23ca1bdbc6e33d3199d17dd3597f6c35de0695a82448bdfc5fba623d8184451ed5cfd0ffaea834e387ea723bb49f20b751f14c50c836451351b77bb35fce03951d5dfcee5e1a1c10780affb17497bef73096167317473c42b38c6b4e0ce54adec9fdfc9b79b533827e40cde15103f5b5c6688c9f748f5bd7f6df62711fd085a3ae14ea559a1272923a6d8f640df433de75c7769968ebdee7d7b296089f16386945477927e0eb67cb17a86b12b125442730846b998b0af1a71a1ac825b2856a96fe10c73ac7e799ee2e91a6226a2dd4bda32750c67ce1e2943470009e16ca4ad15df5f9caabf9d06f26c53bd93281056a7c0d029a2b1cf135d561ba41d0aceb5241a77baf6c9ae691b0d46793f46e423044517a9ca724e8301647dd71eb3aa0a5323c373b11b43146774dac8b5e55036cd04d1dfae277046136ff24a037b9f4204d47089be0d94e9e7b8a671f32e9a208f80dbf79768a3c1ed763a8e208d14b336026391fdbe69e4c139b46ac941a27f22c61a9f68fe2e5e0c8cb9728e2c674c7a09d336cdcedadf104595a523dfab6229e349089f90afccf0103a85fcb2b689a434fcbccbeb28d18cdf83c502ed6d178ec5e420fceff96d8a59f16cdc2def2ac4e291d948633a15e07cd6361a0bd114cb1da2bbbcc2fb5425d2074839396d8de80bcdd406a6fed90123f5794608e14e931c86d9d941b4cb24ed813c9d60b7a7e78429bee2704c6bd57d49ef35620a33ae7e44b73eb82df14e03258b815c61bbc3c57335ec669a21c63070ee78afe0b182de893a4d349b999fcbd4f6680b20072b9fd67bd0e62a38a594dee6ec7dc740f43648c87795844563e127281760b76cdc01b4887d8261d8dc54712907945b96bd5d4b98fbae0908a9bcb85d2a27b415719c177a1a0e1ec3d673eb6b95c69a1bf2cc66f1c101855e33a23aefda543bc8e11b32a6f1cf7ee6628c1d17b903a575958a18a19070cce0b8cff0df688c2dc5b48f90d608a89b692954949ca3e476481d0cf0e3e25ab3754c902060e92fcd4ad98d59cff24bef558c7c0fdadaf484508aef6c1e957e80bbc42f291f232dc91e49133c2553fe9fbdbee515ca49705a1df1cda6aa6c3393b77000f7726be12521449132912393c159907a4d00ed464b216d6c84bad1f9f4fae3ceb90e348e28fd7d2bb98928c27909e2926e01c01a67ebfef06caeb4aa8484477c97bec7d552dfda1409a5306c7620e3a5778c2eb5d1f63cfb5fca1f39726002e394b014ab710bf384b9a05e324cc9e7862943b7b845e2987d668d7fd5088a6672cb3c7630b08f720f430ba6d0137426cdd5c2736ff06f55d626ab190707196e0094890b859d6aec17b79f70a4fade4983a85fddfa58a4a06afc7fddeefec8b799000ce94e93b0846990f0b6e65b3c0e33d92c330c4d55a400bbf9799fc6582db0b9e02c7bcc51822768c9f257b0b390d9cc9311b2c6aa52d6005175723c949f19528ae8f132f56f7ff255eacd4282077813e7344bdcb37483b204ac8de210506b7321694f243aed269c63a0e2da4a995b2ed8a8693f9befbe656b0c7896cf6eb2cd82e2dedc8ee8aaab60451576f65ecca4e51bdc78f308f1bf39fc22260ee97a70e7330600a24034dfc49488140e67d9870dc88d959bc7604f3a9e89bcf080215826f7d139b8c10bbd0a329f24e67812c451cd44df890a6de5c7f9f343557a525e8fbb4c65a7078c7a707591a2625deab18050eb9169d1ead22433d332139e8c2fd612ed5ad091437a311564311bb74cf6592033022164de72e7b488e92ae309c0b8970e4607cba8770b8edcc16a6f1db82800566764d0429c4ee07b65809e81d6df3e0617a3b4e28b0771a5124165005aed987820ce5e2751eb081fc91ca108643737b82fc90c472cd6ea971ced1b841a168264ef94eae7e3ad41649a3db0e82a1d95ecfca6a6105d6ba1153aa9341cf89ec7e87a45d24d7e88649948c7e9f475b82793abfa3243aa89287b26af431bf95517e14b55fbe3ab5f293ccfb862462b7890ee8fe8a420817c20ecf82bb65dae3e6a4932208d424a09f496bac357ee1b38de6cb5161a9ff99bc92e73b25c40daf2ef0807f18a97c7b0d42e117d8c3688213d8696b1f6718b897d639fb2189848e135787d9fe06ea8e3a1108974f85ee8408d3a9e5fd2bec2866892dc9ca9afe035f402196114bdccd93a20e11f9a8ec426573a47b16b8c9f6e787c2db695f60971aebef01a5c27e295153ec5572ae71dcdacf6d92b433e05cb24dccdeef644fda780d9e174fcbc56b6cfc690563698656a3a785bcf1c985ace60b1c87cf08b2c68a3516be70596321ea34195700d89e3506664e1d5e4a2b832564fa73ef1ff7fc566c5b50a10095dce7bb3702fd77ab806765b605d0f63faf13fff495d588cf31779df0fa885e7124cc2d8d05daa3970fcecbd5924e354be7c3bd92585e86e086847f79ea580ceb583913e35de912c6c1ce2cfe76c11653224b1e7320aa4c64286871cbf5d1c64276dbf852ad66160082dae2d86a9687ab0f2d0405458de6e1cef36ceaaa0af0497ad351fe63cce010ddc0d53e89063e536ebaca83dc6a2d509e6bf55018320e40c8f3d6b144c12c1b7ee211a58314e2e2bde537831b2787e4cb56bb0e4f84bfb99f625f35b3e52f0f381239d6bd227c898eda4f7446c61782198a9b5e58812157e592b6932dfcd406b102d91cc287b26a5e08ad1f7e60407ea143b51262f61141219c5c9c96084650d09e43d5ee317aa60c54ed7d04b955dd8bcf73e5dd6839ce61164fa69d79aec09d1d7dc404e2a0c6c374ce688c2c2b458bd5d295b16ff12af1aaab41d843ad4715c1aab55f58a1f8880c1fe3b43fdd93c223c389b551c809a081596badc1121013498e721a5f2428c4744feaeeb6334ba59cf46cf021c3b7e89f799d3589b104d0a53a59fb96d3af8506826b314da2880786c6fe3eb18d5c7204149701a352bdde45bd90b5c0edd835d462f6a30c46c1a6085e48d9c59b9ec14d9a99b144d175fdb9490bbdbcc4f5ff0619e5a4cefe12caea8a725fa4e4f0b36a1bdafb908bad5544e0eca562581e7b9ba4eb260e1855bde043a943885f3e2dbc2b8d711c1ebe73ecc3893abd39f0e4006290bbe90b41ceea8d1f255b6e58a58f88836bab8f20ecc26eedce2f35a2cca753c884a62636306238ad2fdb36012c54d460dfc9706da74e3640e614ce7cd01970ba9814cd1bab53ddefe0e9de1c50e196a5055e03ce82b4960667879d52b8ea0fc7f9cac101965e978f69947d05352105315b74eb871b28d73cf5cf5b842e9c76f8b9ada37751bcb7f4a8ee382af46d6ba65a7ddcb2c348a3e5e6ad4ebc42926b42ded91e99f59c5904ce6a0d3d491bede6dc019c8eac81265b463c5ebc89bdf4ef20100d59f60cc3dbf92d436d68303a5fd2de29e7a5c46e57930f4663fd45780dc6dd1e7e928f7f62a70abbcd8bafa92792731cf440abff6aee0d3b4c7cfef868260b855849a6501579fd28eee7e405b6d4ccb32eb921efda8329ee2ba0c9ed7ea7559065d424a4b236a48c954268bdd54745917c25280d9f16f7f233cf131d13c5d6bed8c0ca2f553c2dd6d078efaeea28a11db797a4ffd5c84bf3a5e8ca9f70d875dec4daf02669fb2ba0d61a3959675c25ea2f8501016e9f681507b46fe77f4f264609ba9391477d9e4a13a2f44ec64c596202f83ce3360544ed4fea97de13d2dd733d0f5a924827d0a049d01edca52d46071ba21b5355e531d2ed32267ac8129eeb7e6266f042626cc4b2cb6466bed1ffbbb25c11889fc99553b08d3770519e9e4c40cbec317d066db5a124ce2c12aca799db5871e8ee91a92cab4faa3303506b62b8d1f21ee997fc5cfabbd78ddfa79cef2117e18955e960b099ced4e8e3300b3fc0f6926005bc04a2092f82279bf6572f5c8b89c83412e4289f0a1964a26cf5fdf157e85613a9bc996f1cabdd055f61f835eb70425d078c234a7dfbfa4e3655777976beadc0ae09fbdb3640c15e9050e762095ecbdbf415496353fde7adfc916614786268935cc7214d3722e5c861ec5ceb19ea2d568b3473a12ecb3193a9e8b9b57041918db2d0a9cb438879cce32224c019c9c98b0a6bd4211cc51cde5817120c2f4a92dbe799107372c5a69ee84f2c596d2cb8bc9e70116ad4d84db0ddf7324883389ef9ef9f282718b5db9d735e176733f4a753c22a151de668a2b26539b4e122ef507c19e603dea99d89fb796ab74888fd1944d7c3e6f958d6fc0b5926f1013c900932a1568fc15b54a6fe15c8f44b9debefa25de81720dfe0c54fbea623f135fa8b4069be863c9241a5ed1d89185e28e335cad87944883ab1b557761664a1964bc0a8b601394dc75f235482e721552b4249b800fe923e903adf578ac7f3ba61d9265800b0232a76054de0bdcbb4a0c7575073b66bc7e885f3e1852293c6789dfdc538f982c57e2a5761e896697c0172e3b35622c0985bda1f46934519a3eb2da609a121a17e33a58f3f3407756e011e2aaac763a808d86f611672dbed847bb6a9789f29163a7776977a4159721e6eb482975d582ac694b95060be6d8bd4e449d1b0e4e97367001144682cd681e337a98702804eb7ede32f797e75544c68c87d6cf7b2382bd82160d0012e9ab907b0aa3f4290d3c2a804f97ac6415ff271dfb1d1bc6b1c67a729150c799445d756874cfaecaff0d33ab5be9f4a17b29fdcd0e50a86b95edc545f5eade4e4ca7960fe935c6abe3e60250a7ebbe9d3e324ca0e2d3b8a2195e4515f09c5d1c36d953d10d3784181a6094ca1eb81dbc652c46cf5ff000cc50bd1d8a7474b804868e74ab2d47a2ce9a175567cae7d4cbf5222f7cfc3bbb866a25a01cfa48d7d4d1ed37cb3cbbd571dca2d7fd9915f9e288ebde75a2a9f3ce66f998e79c79338c6536a4ffbb08d057fc75db2b9ec470cbfa51bcf5ff2b74073128b543bec0ff3b29ed3db18558a24f0b1e5a7fb49dc5dfb381dafd888ead48025d18bb7e1be4e1fb85d0872bb064a805bad7b188942147d3526eb5ef95a07e1d963f955811cf2aa89991c31ab69b746159f2b50679601429da5d3dfc73fba22de19e81a5be1a6e90871fe85955d397693c263ac9281ed26cab817740c02ebec4932c5452ae90bf5413d51ab9bca53c15b8925138547dcf56203276faeefc611ac5ec13786afc9ddf48615ff6592c3045c1c8ee892658e0d8ec5cc8e0f9d2f7a3335dcc3eb91b285726c97c3843c4b548d7923f4981a72e7fe33e62fc8cabc49e3f2c4c497821ef226fcdf3c17b5e5279d54002e936384e1e5f5d7f5fd6d75bf49550979034314eb5e3085de23a4e329d1f3a8cd4db8b25497f321b7d260426b9c61be7c410cc315bf6aaa9774cf188fb427d16ae59a7d91095d131a2e126e8545098d35d86f27a8c5a68ddba10427ce650ac3c27dfa9096430e12e7c6c85fa9f87911c20a8363f79d79fd9bb9384581028be49953177c787d8c9110c8f7c1cfcacd4dc7f5bc8f27e8b1765571eaf93bf7a748ddee735af40000ba4fa442f56c0e5d0d8c16ea849d8ef5841c1adde5d737fc8e82d4a26b6a18e844e604118d03e8016402f0ad3472b1da6873554dd99453a5fad90acd5af41cc3efde11a175605375f3e113cb79d955be8d91606178d3c46a777f9e024d4fa19c966e2e0d9f78a42cbb4d2fb7f2f4b967e2ca0d9583ec76e2b8bc1d6b4ec4634de04c555408a675d95fd47bb1f349a29b364a0a82673d90882bf7c57a4bd204793dfc91572c66e66f4f8aa1b37178bb2766dd581530a2ac35d53d189f46001ee5a17fc23c91f0427c734e1013ab82bb3ea02301ec908a4abf8f137eeb8892b1a26f33fc526cf3e4ad9d43d7592f39375834fc2e2deb8a8486e0ae2bd6392ad80dee36e40896048e55cb1d0808b4a66aa61bfd2c5062919b790bcbf06bf606879ab9e474c543d439a7f6bda29e53798965f4eb13ac9bccf74d00c9e81740705ba6921cd2338fae289f5938bbf918880d9ce35ec7312b72c5344a721ce8404f376c83e83a011977d77d48b54f2f30a1a544c44909f224219b9a29673334785d5eb8eb18b7ccc12ba9fea3ede06d15d31f953337e254608c02471c33c2d3d1cb6e0d9775ccb631a699aab0ceaa7275f106cb7aca42a4959e6c16057e8b2297375eeb2a935d8eeea5d9a4173d97113ad3254fee70f3f71c17102317b2377d802391150c7cef4de2a44a4a0def96b0ff70094e8a3aa2c20891fb8ffa9c19d56cb1de9bacf823bb7e4c7369ba44035bcdb310951ffe3fa088e529bf2bbe1bf415b132f79c10e48a55e88735e60c4535433c6a0590883244b96b23dd131daa5c925d03ec9a54e679fa29fdd203cecec92b87225dd105c0a52bfde28cfbecb093d16f8fce490787e426a540b7a0ff3bc0b338b384ce7b617ecf0c472ab5838ce5bc16ea7ef5841631b43754a7850e6565210fe05d94e8495a4b688e188564ea2237f8f726cdcd1ede261a2afc6f268dcb6f4fec19c5f7e01775cd877d694070f79459f6be8728872198485e1ebbf9dd3c3ad85620469eb5a998cda69c078dc8761d88ea2c4b6a1d599f041c0a4fc5a5a61bdb64c2e6a4b0a31372b3182e194908dd98ade52cd452199a40b0b80ea7859afdfe0d87c9f3979d3c4b2cb592ce34607fbcaddfc45c544a3c5cbe52215e4ef2ac512f9736bc87c295457b3a5d447ee51f4a9da62559647de5f56cd19db6258a2411b74ed5aa4ec32b301720a9452fa52207df154e8fa13af97ad709d5f75c9e603b29ac248dedf90a95e4fbcd102397b0649a4d7029993f09e0f431e2024e43763d08c1bed02220d9fd82cccca3cddcf597ec65dea975a9ebc7ef2220ab18d99d5d2b2381b8121f5ef1ecfc9eb00f43699838d9ff116642dbb6724419c3efb3c2128e93510f829d2c076125e1ba82503ce3aa89eba4f4f1651b6e720c9a82f0fcf19e1fa0f73b01a62ec099b80f437d7b541b85865fe1467a469b2ea2b6716dc0656691067873d8990c5120be3ee7064a2d1fec658cc0c1c4957787181a38e8f3a1cb5640a0b383140ba35272cf4d2310a038c7448ef93b0fb50f8ca45ca8717d23522b04b582f7df7b35ddfa08d4863207f868225af59cea4af949dbd18cc5484299cb8209ca579e8e5627b2df90b6616a7b0412aec8d44d544c7ad3d997c54a1fa354bb6e74ad37e72e773e5972eabaa25c5e53a28ccf70f3f35c29d50c59c52d9544444d218b8fe9c775c836730434131da853321082c430f0ca8560278530f78e17f3add017796d22476dd0e6cebba95e255b181b677947d34d994db68408c8d8e91d8f31f0beccdfd81d7651f18d6aecdae5ebe759a59cacd78467784e13289cec61792b3beffd1644f9068cba17069b87e6b2114207984af11ed712f1b893b4c20a36738a20258c19a55b7006dd83efecf84fb16c0581c176bc6ac027f4b6c5d4dc2898d0c55a366a5200cd6869468665faa766c0de82d36cdfccd7205fb6ac1fbde5693669c54fe171cd5e73e8968dc58da79e7b40c03db001688aea5740b0dc6c42ea9913f53e40378d25a17dcba50524aacbcc31ce6126dc9ab9dcc166950747b2125df6c21aef4e8e23879dfb486ffeb06a1338b2e54db048ccfaf4b604e1adf3a4fe5e8903eb964875feea6cbd8d1da7cb69db1238ad69e947a0d57d45ebee64ef96783a913ddcacbc7e860346d22ad738a72a2456e9cea2556b2999c7a20cb98abd17a72ab182fdce74eb5058e12b4cc5b836ea9b0dc465cb2bea3cb9b9505639c0647ce2ad8c65f55d346efd823247fca00c2e63ed968e1700a2a69ed07354676d61be4aad1ad3dfd6c1c405bf723aaa1a299fb469869e4af90c27ce2816755c56aa9b1e05787307073e63fcfb470b9f7f43650713a734ab3fe7814e5abe91b81dd830c54cfc4d5650d44299badfbb2993e55121636131d44a4fbb81df4e193bec2fdb729a3ddffd7d6480e31775ddb92c95e5266d185b3f28af815409daab2b1ad5ce7eae8c83b3e6de262e8f215a5b817df2c4e2fe40ae0125b495eb9eed9f2877ebb3cfb19e867f426c311e8ecbd2355329ee51f0be58158e033f7d591b1c7e6d120140fa28b560285dedc06bc3f18d00ca572ce851e121306bf458aa3569f911af8bd25eae8af2fa8b9c587d8ec9c0bc4bc54b980c4b12c7e90b700f2a73b945d05690ed82d1d53f52c52a0f2ec20b8b5242a1d5ebaf6795c0f3c3dcf1608379bf3f8e3318996c9fe8bddc1ac2a52ed109cfbf41f676e1905da7406a36a6a06f7cf03848e232e614408fddaba27e7cb87d1fb1366748e4fdf84d994453b2fef1c6ce4917380d97ead56f8821c0fbab9cf03a398a1b283c49427a92279f1834b680e609cce384bca1ae54cf120dcecf5ac872cdaebf45933c1afbc9b5a6d325ad6f151d4431aff3975de888156c87101ac6a32d99d254c928b285bf0763d30a26494d83c340399e40dd9f407f918410d0253e58a0ccd52b851e93590d4ac4eae59e33dcdc230bce30b6fe854329e67f2c9e033a8757313c186752cd6fcb10359e94feb683cfa67093db7b8a00223eac9214f37b3f94b104d2fa93b902036ac8a58e68b83eb252cf06f05d9ca252a663d56fc4986b9cb7ea07ad566128e10202e2ea8ecdb82cddae319a2e6182d9de60708ec51742099fa43f92887f3935e0636a49757046e4559284aab38466a1b478e768ec917cca13a9e325940ab46ca60ecc19818a2b24a81f402309a0c1c709c2a40a07c9ff0ff6848c028b4d8c1eb0eca7f606abe0865539f0b705d89e8a310b75fd8191ff8e6bc4459a5dd702dc1e3fbc501e937485d14db87ce3cfc42840bc69fc8d09ef0573766fc5b83dc106e0519c8e3fa4624dd3dbe0cf14a8f108f417658f037ff1968a987c03358f54b982ea5790e91512b9548e76007c63e7fa075d2b6047f3d4bdf978cc1c51f7fc1ab72842d480c9a72993ab7894accf1c6ff966b1e34282b44e42a5a60030a4befeef8601d076e1cd3cadd7be4367cf1a7e668213a556acbb22eb215cab0ff12d9a789bceebf85bcc60d28654ff22c6c094d76dbb940dfe87bf234ef4656a058b0a9bc72d121841968580e820af69ee67a87d75aded1f41e0f750cb30380112d1fb8335e6f67ac6387a5a332701d111c8e1982802d7b7f5e24489b68dc4af33f0a69115737987933a396f1f4e2deced272e4d3d67ce5e4b80691c9790f5150b0265e4a5fe8abf9fb739a200178dd68334f88a96f3024f7460264aab11fa3acf9f25066987a2947bcdee2283df3e31fb328c91e9503b700734e7c3c55373a0f13344468464808b02d7f401a30736851992779f6aeee24305f8ba03b336f3bc3b1043c1f85f54f0bef35160c939f834af5fa94132a32fcaa22c03c1a9297bfb2c8e4ea75ffe500c9c510937e3bc6fb9a3cc55be42892c620ed6e003f62a73a0db9c9cfbf361514d989129b831380a71b90f0fbc7cb8812556bd7d02bed8da6fb7aca9106a42880d55d69dc20329fa7493c7e0b3ee36c45f42387e5bd8275ce06764f46237268c47076b4707ba25cfef806dc8eb45119da71d6bbbfed0f311f4e90e716088723ea02250a2f66959949eda997f2c5da94c27afb1b57b42d210ef35c943f233cab2b89c1f75654783ecba2692c6c21ecca9909043355318d75787d745266c3df0d19bcaaf51b54339329b510795b2553ac9d9f377b12135091e35e8ccd25bc5e49953d10fe6c448e02b6bf7a5f569c5bff67ad8bff79f83287713fa6e824d02fe4de7847ebb32b2fee6cfb3d0a202c376b8e58e47d12b74c35fe747ecae425c707f2e9a9d2a02add1a6d01ae38c650b25a84bfe945cd8a0ca459012d58904006dd17d5c95dbf3fe602a93221c738dc2ab5a93d08cc161affab54ba35db61280383bb2677c970c30ab8545cf78b9d7ef9f3a339c9114afc450eacd84f871c82e69c0706b7b877fdb88ec446d177bca30dbc04f2a9ce3695fa3dbdd0530ba1ee6dbeb622e675f98313635fa39af16b2ee0db06334522b5ab86960f303010120afe9610607a2570505daf3f6e7726cb688f7375197b9c642bebe5ffd867841bdbbb9016d3687ee77bdd6779839e8e9cac95e73103466eaeb8d7b38a2e8e7ed29f40f629237df80e2af1c3654ad042a6ad6fa64270c66e52953418587b808f6e816ca53124c10b46ef5168f711b53585fad8b09fbcf6fc898be49139e9fa1d96c61c3d89d2c05a42f1a1002b541b678795992222db251bd3310fb5ea6ba9ddf134c4bdc18d2bf325362e377617166f67dc755eded815cc364c87483b8585e54466297a711146886cd59139167a75cedf5bbfc4dfdbb2a070ee73fd554287f6b7b0c45472d3b80ad78d44fa614558c1f858ea62bb20b625cbb0c3d3b3edcedbddd97bccdccd60853a40904f023af05f8a98147e8d5ed664badeabf2a54bfeaebcd3d9b3e6edecbec919ed2b3e37a3aaf4ec5e6e9e7fd1ababcb06aa30933eb14a92bbc71f22623b4a84feebc03b1f24f1069cc2e7c5c3b04ae3564b046d6016cd041eb300c77cdd840ba0f42f2123b73780fb5ea5f2a4922b7815f02de5aaecdcd5550a31bd1e05e406f88eca974b38fc7082149ec8b998b5b2af47528b57ef81699298d7097f4cdee0ab9ad9fcd999abc7b2b5c850d8be4beae84ebaea940c95509700ee5d3827650bc44b0e6d87d2aca96547eab73961bcc59de3a880aa1f1461a82ad6e61729429a59f315a894110af4f3cd6202fd7bcef6192a5b43b517bb7edf2978e28a4d5d6995335ea084202d1949addc7983e359b08ef96c5bb0b04c8261625fd57b7a93ee307d8b91963f37096b2375afce760add723c549ea3881890b97e8b5b541d0b6ae5a9e1503d99370188b1068b7a7f5e2776864948a556060fedacb5347d7cfb627f56874956a590bbae61b932591a34131e1fa0d5b4d460afb43bc8418dd862d5cf71c43eab0125404477532fe7e600cee0d9c055fe0f7d4b8b4342feee2214ec574199001301b05585e6831cdc1ea6e76ce3999488e82fbcceaff71f1c42a5150435ef3718e2731694391270228e3240a0c6b9d90d5f3f