Logic and lattices for distributed programming

Logic and lattices for distributed programming. Conway, N., Marczak, W. R., Alvaro, P., Hellerstein, J. M., & Maier, D. In ACM Symposium on Cloud Computing, SOCC '12, San Jose, CA, USA, October 14-17, 2012, pages 1, 2012.

Paper doi bibtex

@inproceedings{DBLP:conf/cloud/ConwayMAHM12,
  author       = {Neil Conway and
                  William R. Marczak and
                  Peter Alvaro and
                  Joseph M. Hellerstein and
                  David Maier},
  title        = {Logic and lattices for distributed programming},
  booktitle    = {{ACM} Symposium on Cloud Computing, {SOCC} '12, San Jose, CA, USA,
                  October 14-17, 2012},
  pages        = {1},
  year         = {2012},
  crossref     = {DBLP:conf/cloud/2012},
  url          = {https://doi.org/10.1145/2391229.2391230},
  doi          = {10.1145/2391229.2391230},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cloud/ConwayMAHM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"u5sso9DnGQro4eEyt","bibbaseid":"conway-marczak-alvaro-hellerstein-maier-logicandlatticesfordistributedprogramming-2012","downloads":0,"creationDate":"2015-08-27T22:24:57.510Z","title":"Logic and lattices for distributed programming","author_short":["Conway, N.","Marczak, W. R.","Alvaro, P.","Hellerstein, J. M.","Maier, D."],"year":2012,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Neil"],"propositions":[],"lastnames":["Conway"],"suffixes":[]},{"firstnames":["William","R."],"propositions":[],"lastnames":["Marczak"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Alvaro"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Maier"],"suffixes":[]}],"title":"Logic and lattices for distributed programming","booktitle":"ACM Symposium on Cloud Computing, SOCC '12, San Jose, CA, USA, October 14-17, 2012","pages":"1","year":"2012","crossref":"DBLP:conf/cloud/2012","url":"https://doi.org/10.1145/2391229.2391230","doi":"10.1145/2391229.2391230","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/cloud/ConwayMAHM12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cloud/ConwayMAHM12,\n author = {Neil Conway and\n William R. Marczak and\n Peter Alvaro and\n Joseph M. Hellerstein and\n David Maier},\n title = {Logic and lattices for distributed programming},\n booktitle = {{ACM} Symposium on Cloud Computing, {SOCC} '12, San Jose, CA, USA,\n October 14-17, 2012},\n pages = {1},\n year = {2012},\n crossref = {DBLP:conf/cloud/2012},\n url = {https://doi.org/10.1145/2391229.2391230},\n doi = {10.1145/2391229.2391230},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/cloud/ConwayMAHM12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Conway, N.","Marczak, W. R.","Alvaro, P.","Hellerstein, J. M.","Maier, D."],"key":"DBLP:conf/cloud/ConwayMAHM12","id":"DBLP:conf/cloud/ConwayMAHM12","bibbaseid":"conway-marczak-alvaro-hellerstein-maier-logicandlatticesfordistributedprogramming-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2391229.2391230"},"metadata":{"authorlinks":{"hellerstein, j":"https://dsf.berkeley.edu/jmh/index.html"}},"downloads":0},"search_terms":["logic","lattices","distributed","programming","conway","marczak","alvaro","hellerstein","maier"],"keywords":[],"authorIDs":["25onooeLkz9LCZtLN","29TWF4mbLvo6zRLZN","2TCF4ZAHBK63BpQ7H","2iHKBydvdePhhYHRi","2ihMWfHHvuSPmRm7T","2m7NpXuca94LHhuaz","2mDHdaPN9a63DQXYi","2nJgXrpm7Qxw5qDA9","2qDa5ofgnT6wifARj","2upQspEDSxYXqzCAW","2yYGrcXtfXxc4TNSX","34dWftHCW9YAye6A6","36Krceiswr6pD3JA4","37rJ8Li4DRjqL3rhf","3DewotLLmmGd7N65v","3Dj4F7RJb8skKJ6KE","3N2CcwkiYTqQANC7q","3NztKYo2dYqrZi6DP","3PcLMHC4dDxiKxLDC","3WN3SfhjkhoHGDQjh","3aq9HpJS6SMSY2Pej","3kKQzBkZH724dDun7","3ogfRzyYA9oPuzyyp","3yQWo4y2CQB9CNZJz","3zQemqj3RcvcovRJY","45wa76KNw4XFgiKzg","4FDkyMxZ9iZBfqwzB","4FmKMQXNcGxpHpvZx","4GEBX9Q2EaMiHyKka","4LLgWETuwq5YR4c3f","4LSXjyFpCfPtkho2E","4LZGv7WxsL6iFs7BS","4SJncwWSqCftQWJ4W","4YmeK8rSgQuDoorik","4ZHJsoFQDq559QM2Q","4a7dADpg3J9zsKuTG","4cRcNc3nLvDrrJPME","4ekW5mMq8E2jrJs6h","4j7mmMgzTPGGZCejA","4pAc7WT6A6KkaP32d","4pyRGb5WF3WTKxHew","4ySKvogydswbtBB3J","4yXTnhMwrrjQCMW7n","545a2144b43425b772000c84","58P7yi2uMZD8nLHpC","5CcWdKz4TFmun7ejA","5KNPfXENnNeuTcnY2","5LArrAQ9Lgmvt4nrv","5MNcdWCk2Xbzayt9r","5Qc2DRY6Bz9QqoKRi","5SMipQqT5cLTXgsXD","5b4k4brxkJX4WESSE","5ctqe7uYL9mYbkBg2","5de6cffcabd988de01000081","5de6fc51eab4b7de0100016f","5de71cfd97054edf01000017","5de79ba0d9b46bde0100012c","5de7c6275e1638de0100003b","5de829934e3c5af301000166","5de8494a8cf0fbde0100015c","5de9233d5d589edf01000130","5de97cc0768c31df01000160","5de9919559feb7f2010000bc","5de99ea659feb7f201000150","5de9d46f5e5ac8de0100011f","5dea0af8fac96fde01000123","5dea10c7fac96fde0100018d","5dea1d1eb5dcc6df010000ba","5dea2959b5dcc6df010001b8","5dea40d007a0c8df0100011b","5dea9e71a71b4bdf010001b8","5deaa71f03c11ade0100008e","5deac33acd660bde010000ec","5deaec01ecff01ef0100011c","5deb4caa0ff3bbdf01000042","5deb78799e04d1df010000e7","5deb9a4bb62591df0100011c","5debb7a69abf64df01000124","5debdc0480cbffde01000062","5debf1ad188b03df01000014","5debfeb4188b03df010000b4","5dec06ca188b03df01000120","5dec1450f58df0de01000085","5dec1799f58df0de010000ac","5dec1d7df58df0de01000113","5dec3782d39dc7de010000b9","5dec4580e16431f201000011","5dec6b7cdea90ade0100006c","5dec7793dea90ade010000f2","5dec859812c53edf0100006e","5dec97a512c53edf0100010c","5deca22793ac84df01000075","5deca9e993ac84df010000c8","5decac7f93ac84df010000d6","5decbb560ec6b9df0100004e","5decc1270ec6b9df01000087","5dece56d619535de010000b1","5ded163cb5af74df01000096","5ded362e9d5885de010000ce","5ded3a6b9d5885de01000111","5ded44e9a49d79de01000036","5ded6696722536de01000075","5ded70c9722536de0100011e","5ded7580722536de0100016b","5ded9e4b5c662cef0100006f","5deda2255c662cef010000ac","5deda3535c662cef010000be","5deda5c65c662cef010000f3","5deda6cf5c662cef01000109","5dedaa195c662cef01000139","5dedbe33e47c43de01000084","5dedc68ae47c43de01000112","5dedd5970e26d5de0100006a","5dedf2d3980d6dde0100005d","5dee00fe980d6dde0100012f","5dee0982584fb4df0100003c","5dee182a584fb4df01000195","5dee279f0bde9edf01000072","5dee3bd50bde9edf010001d6","5dee60fe773914de01000099","5dee7796fc4c19df01000016","5dee86d2fc4c19df0100018d","5dee90e8fc4c19df0100027a","5dee9319fc4c19df010002a3","5dee9bab0ceb4cdf010000d6","5deeacd00ceb4cdf01000219","5deeb4540ddb85de0100005c","5deeb8480ddb85de010000b8","5deebece0ddb85de0100014d","5deecc7666e59ade0100000a","5deed4f766e59ade01000062","5deedc0966e59ade010000af","5deeeba3dca291de01000030","5deef795dca291de010000e1","5def0117dca291de0100015f","5def0a4dc5ae39f20100005e","5def0f46c5ae39f2010000b6","5def1a6ec5ae39f20100014f","5def1d3ec5ae39f20100017e","5def3d9366cfe0df0100001a","5def7a8345114dde0100004c","5def8dfd45114dde0100017a","5defcc5f090769df01000044","5defdc84090769df01000173","5defe2ee090769df010001dc","5defec4c14db5cdf0100008e","5deffd6314db5cdf010001db","5df0047ee128adde01000036","5df01309e128adde01000110","5df01d205d7361de01000005","5df01fde5d7361de01000029","5df09257f651f5df01000037","5df124ca8fc423de010000c0","5df133778fc423de0100019c","5df137cc630a9ee001000027","5df15fcad177badf010000fb","5df2c3b979c00ade01000030","5df6dabdda9d91de0100007d","5e0d3dc7ae5827df01000024","5e178106cf35a4de010000f6","5e17cf0c4ba003df0100006f","5e1a1bf39fbdddde0100005c","5e1f7474e8f5ddde0100023a","5e27a9e628f7a6de010000eb","5e27b3e728f7a6de01000157","5e27c612328b80de010000df","5e27f0194d75d8de01000029","5e283761e6485dde010000f7","5e287bd967e11edf01000024","5e289f0a88416fde010000c9","5e28b3866acacbdf0100002e","5e28d539a3df5bdf0100006f","5e294c1e1470eddf010000a5","5e29631f661211de0100008e","5e29a861fed3e7df01000172","5e29b388edf563df0100006f","5e29fd8f8fb0e6de010001e9","5e2a19e12d6a3dde01000166","5e2a3b6b2d8494f201000003","5e2abdbe8319d5de0100010a","5e2b21e527ed83df01000049","5e2b55fc6366e2df01000025","5e2b71876f2b8ade0100002c","5e2c864ece5606de010000ff","5e2d1bfc4e7fefde01000021","5e2d3e5504d333de01000053","5e2d98ed481fd6de01000067","5e2e57e127ce0ade01000059","5e2e7e168e08f0de010000c4","5e2e8af88d5204de01000033","5e2ea09bb84405df01000005","5e2ea738b84405df01000069","5e2f294e4557f3de010001d5","5e2f520e26e5cadf010000d0","5e2f66f20c34b9f201000014","5e2f6fe99ca24fdf01000048","5e2f923e48b7a4df0100015c","5e2fa768a21e47de01000081","5e2fb6e5a21e47de0100014c","5e2fdc904e91a9df0100003e","5e2ff4b95bfc8ede0100002a","5e2ffabf5bfc8ede01000091","5e301a217e0df1de010000b7","5e3063e64988d7de01000017","5e30a4b2c99510de010000ba","5e30b75e2a1e4bde0100003b","5e30c57d2a1e4bde01000159","5e30d5b45f9c1cf20100001f","5e31ac016be690de010001b6","5e31b7d4b5384fde01000058","5e31ee577c8d24df01000031","5e31f0a67c8d24df0100005f","5e321118f80a24de01000076","5e3226f07b9658f201000025","5e323c247b9658f201000121","5e3253b0e45eb5df0100011f","5e327e683957e3df01000049","5e32b65c466076df01000062","5e333c8fa5c1fdde0100020b","5e3389f67a676dee01000138","5e33d16cddfebcde0100004d","5e348699fae8b9de0100015f","5e3490d353b794de01000050","5e34970653b794de010000d6","5e34a90f53b794de010001e7","5e34af7fed2109df01000036","5e34c78862bc74de01000005","5e34f14b5978bef20100007b","5e35410cba591ddf0100004a","5e357cc54c2e37de0100007d","5e362b7a1727e7df010000e3","5e364e961aba0fdf0100009c","5e365b724b25bbf201000063","5e36afd97b975dde01000045","5e36f593b26a0fde0100012c","5e372a4e646a98de0100016d","5e37d22956571fde010000db","5e384408ca2b4bde0100022f","5e3876c41f8af9e001000136","5e389e75030bcadf0100020d","5e38a2e6645ed2de01000046","5e38dd0f81a46ade0100005e","5e392a1a7f8bf3f30100010c","5e3989f7d14579de01000118","5e3999b0d14579de0100028c","5e3a18cac268d2de010000ad","5e3a2d4e237cdede01000048","5e3a5b2b1469e8de010000fa","5e3abe3bf2a00cdf010000b6","5e3b07f655f0f2df010001a8","5e3b295c255dcade01000044","5e3b6b7059b923df010000c9","5e3b8452184d6ede01000080","5e3ba19369c38bde01000080","5e3baf5c69c38bde01000109","5e3bba75657d0bdf01000050","5e3c35c634cd37de01000169","5e3c74fb67788ede01000185","5e3c8a73feacaede0100013d","5e3cc131948886de010000a5","5e3cf6e4ad8243de01000091","5e3d74755f3240de010001c9","5e3d9680f33211df01000041","5e3da222f33211df010000ff","5e3e1a6e4cdb49de010000b6","5e3ed67a86a596de010000aa","5e3ee8f5382e41df0100005b","5e3f290f7da304de01000093","5e3f5ad2cd8fe2de01000078","5e3f7025518071df0100000a","5e3f7359518071df01000021","5e3faeb6fa32dbde0100005d","5e3fbf8bfa32dbde010000df","5e4003d817f17dde01000054","5e403ac8668183de0100003d","5e40454f668183de010000ac","5e4059fcaeea22df0100006e","5e4074d2b531d7de0100006d","5e4078c3b531d7de010000a5","5e409ad8d668c6de010000b4","5e40b44a019547df010000aa","5e40c223614963de0100000e","5e41431ab7d170df0100010c","5e41889a8491fadf01000055","5e41a40d0b4861de01000041","5e41b61d0b4861de0100016e","5e41c907e7c67ade010000a7","5e4218db70cecede01000068","5e42251970cecede01000117","5e425d9e82b0c2de010000bb","5e42c40fe7fe39df010000b4","5e42ea26a6f4a6f201000172","5e43036baefe1adf0100013e","5e4332a68957d0de01000066","5e435e49a37866de01000157","5e436da6b5e412df01000079","5e4379beb5e412df0100010d","5e446837084293df0100004a","5e446efb084293df010000ed","5e4487e2ec14b3de01000092","5e451f56501a51de01000137","5e457a2e86f11cdf01000003","5e45d759ad0603df01000078","5e46563c6a7198de01000112","5e46e995461d04f201000016","5e47ae206c5c7ede01000008","5e4825bd08d3f9de01000051","5e489fe26ac344de010000dd","5e49319ccd9091de01000085","5e49a685552c77df01000129","5e4a755058ecd9df010000a4","5e4a9e26b70966df010001fb","5e4abd6a15f6c7df01000201","5e4af76741072bdf010001a4","5e4b466aa44fbbde010000ff","5e4b7339a6c158df01000076","5e4b7b9ca6c158df010000cd","5e4b7e4da6c158df010000eb","5e4b8aae2d0ef5de0100003e","5e4b8d842d0ef5de0100004f","5e4baf74733a18de010000e3","5e4c381bc1eb51df01000124","5e4c3c98c1eb51df01000169","5e4c41fdc1eb51df010001d5","5e4c45d8c1eb51df0100021e","5e4c549c271596df010000c9","5e4d034bce92c8de0100010c","5e4d44e6d43139de01000177","5e4d4e3354c682de0100007d","5e4d648308a8e5de0100002c","5e4d905cd2986bde010001b1","5e4da2ade671efde010000a1","5e4dec3952c311f201000179","5e4e0c30d116fbde01000008","5e4e1cd1d116fbde010000e3","5e4e34141f1de5de01000090","5e4e40891f1de5de01000147","5e4e52547aa348df010000e7","5e4ea92564b624de01000115","5e4edbd82962cadf010000c1","5e4efcdf338acfde010000fd","5e4f07f0338acfde0100019c","5e4f3af6aa67a8de010000f7","5e4f53238a3535f3010000ca","5e4f5f33a01931de0100001b","5e4fa35e29097dde0100009d","5e500ae5933046de0100004a","5e5047e9c708b1de01000086","5e5086b97e0827df01000078","5e5099a24e0862e401000032","5e50df30012fc0df0100009e","5e51de348346b4de010000b2","5e5291161ce297df01000030","5e52c17a6a3abede01000153","5e52e2949c58afde01000013","5e53142c6d68b8df010000f4","5e5361a045815bf201000090","5e53f83ed26e87df010001c3","5e5468ef88d190df0100016a","5e547ff47f0f44de0100010d","5e54cf3323abb4f2010000a3","5e54e994b8e445df010000ab","5e556190e89e5fde01000148","5e55b55e7d0846de010000f6","5e55fc6a819fabdf01000049","5e569cceeb2916df0100026a","5e56ab50e177dede010000db","5e56e719a8dabede010003c7","5e56f20e7840dfde01000001","5e574c7f18f14bdf0100002b","5e57c9695d5d52de0100010f","5e5829861f3fc8de01000020","5e587969dd78b7de01000124","5e58c2393bb41dde010000a7","5e594fecf5822adf010000ed","5e59575cf5822adf01000176","5e5a1e0a3557f5df010000e7","5e5ab42a56d8d3de0100004d","5e5aee10038583de0100005a","5e5b096e6e568ade01000043","5e5b31312aebc8df01000092","5e5bc790b57681df01000001","5e5bcf5ab57681df0100004b","5e5bfca7d49321e0010000db","5e5c1aa682b694df01000169","5e5c722cb6f2f6df01000018","5e5c876db6f2f6df01000153","5e5c9d739933dade01000086","5e5caa8fa9598ddf01000015","5e5d3fba73eb2edf010000f2","5e5d6368ad47bcde0100011a","5e5dd13cc64f0ede010000b3","5e5e760c14f49fde010000db","5e5eb1f92fd1fade0100015c","5e5edf56cc2eefde0100002c","5e5f1b4d8ca867de01000046","5e5f36fc9771b7de01000088","5e5f3f1e9771b7de010000d5","5e5fb0c519c3fade0100016b","5e601824c064fcde010000dd","5e60475a182590df01000140","5e604fc34a1c7edf0100004a","5e6064694a1c7edf01000145","5e6095951fc211de010000cb","5e60fde331c7d3de0100014f","5e616a28417d19de010000ba","5e61a7742ef239de0100007b","5e61d9580c95fdde0100004d","5e61ee480c95fdde01000114","5e62359ea84f4adf010000cf","5e6286026f352ede01000118","5e62aff208ebcade010001a3","5e62ec9f377bb9de01000018","5e62fd4e377bb9de0100009d","5e6415f277f885df010000d7","5e64b8d1a8ac14df01000079","5e64ef1e5fc0b7de01000043","5e653561ee6356df01000145","5e656a3fde41b9df01000108","5e6596dd5dd5c8de0100005a","5e659c835dd5c8de01000095","5e65cd5714abd4de01000026","5e65d98514abd4de0100009d","5e661125fa8a45de01000158","5e66586046e828de010000bd","5e665f0746e828de0100016d","5e667cd2152d6bde01000125","5e66b5154b4a62de010000f1","5e66c3b34b4a62de010001a7","5e66cb42277ba4df0100006d","5e66f03885689bf301000099","5e6728290355fddf01000125","5e67534e1dcaf4de0100001e","5e67b61884cf9ede010004ef","5e67ef1a0e29d3de01000220","5e687ac403bf55de01000124","5e696d6bae9c71de010001f8","5e69ff718a1455de01000160","5e6a0f5a8a1455de01000357","5e6a3883e3f54ade0100012e","5e6a9aef0e8744de01000232","5e6aa279f216f6de01000068","5e6aa50ff216f6de010000b4","5e6acef7d15181f30100013b","5e6af85469285ede01000057","5e6afe7469285ede0100009d","5e6b18cc86bf9cde01000065","5e6b95281e8366df01000177","5fiLeraxAjTYNmZkb","5fuFXdKDfmvmYi3qH","5nQvvE94Eoe8JBAKp","5ueMJi3kJXZsPbMwc","5vCoDgd9oeJBAdYFA","64LhP6bxN79CzMMY9","67iBn9HCkskhSczfR","6ASPysvF79xXfDSrB","6Gd9gWYTnKAbjZ8K8","6K7y7FoXqiySohKhp","6MqkFNMXvLQtDYrxk","6aD2trkWECW4wz5yQ","6eRQqLF4XpwFeFGy5","6sCicfKBjSPWQWitt","6vNYD6guGurJaQeLX","766osySWd6KwHhnFG","786Y8Af6bqouLm9ov","7CbP8xiGBqZtzPBwF","7Dj6Xn2MBsXDFigmE","7L9oKFShAmfeA2TED","7MtAgW7yumkd9WEsT","7PxzgFaP8Qtrouhng","7WJFpPm5vES8prZFw","7WNuYDTiFoN3duepq","7XY7SpnzquDFnywNG","7cRrKgN5MJepATfPs","7d24rDkFfvxQ8mLQz","7gSi7S4yWJAd8sp4n","7jfCZDhzhRXdXeTT4","7krxEgxSxGL3cFccX","7sezvzFZHLkmS9DPG","84GdZo9oD65b9HGd3","87cpsjvw6Hrzeuzjs","87z77ynWzEBQcRkWn","8Bx5Xun4kT7bE3Gm6","8HxpipLgnKduDNf9D","8Y5rekEAjwvSS8gpT","8dQXJBNSGmrxxoFGs","8dXYTe8ck4d2H2Ywn","8jZ6bQcKmmLBcReYx","8mpKDKQ5NKKuYqGaQ","8o6uhqFQdKzdZqk4p","8qQHReDbmg5zooe6v","8w89Z6WrDoMtQxcXR","92wfJEdmrS2NJQwJ9","95iGP3A3jz2mFjsMw","99TwQLMsxsQhwgLcF","9Ev4sMCofQbsBEroW","9G79AQKLhnWSR6G5X","9MhKXGNWcZ2sygiwY","9XSKB2TcMFW4inaPo","9YWimuaLCy8wP8wjp","9doC5GmxtNyap5oAX","9g6QQJAohfv3Ew4tc","9rwy3KNkw6F4s6q2S","9stbGujzNtiRLeXiY","9wkpomwyTPmo2ooRm","A767GvvbFrgNAmi2M","A9enRLqP89pZsmatt","ANEyAgHmmXeH8ttGq","ASHQov3KcDT3dH3iM","ATYYzvBH6sJHXixKQ","AXZ7nfPsvJo9WmvKa","AZeEBR5YyTrnCqpK8","AcDEAjNNhzaQy5LA4","AdXEW6LAedg9waf7B","AewXH2sTcgubia4ub","AiRcvEwBbuP2avdbB","Atbhe6ApSom9LCZcJ","AwcTKQkqsgAjPDJv9","AyKbGSjqkePQwBQ5o","BAE33YEYmGJMahnc2","BELoNhmMi3pshqk75","BFZoQDovz9ELBF2ka","BHstcmxDGsQgXc5Tw","BJmxvBMJXtNpGzQQL","BRo8bDP65aK9kEFgz","BdMAYsxgDqu55jZ8o","Bhmnj2xxdYLAws4bq","BhpwwiiJ2PtfnmL2C","BogufnFjM6cYBEQpu","BpBx7a8nBjNGwbjxw","BvWLSuJkpZZo7ykoh","Bw3kkn9igDiaMXs9Q","ByYXxAGWCPM3Loudn","C5fihtrC3gJdEDM7h","C5zbYnWwESkyS6jhP","C69KhvkgLAAPLyirs","C9YD5wGCm7j2agyu7","CCQ3wP2JpJRQFL9Dg","CDkoMFmc6e23BJCsv","CLNJEffE3DKuudQ3q","CYWmjj3MDKZQDbSJR","CbDo3utuGGMz8nuWA","CeLsxRvEY7i8uR7gj","CeyzkDNSYZFxfgk8b","CgQWbrWXuugcD3z45","CidLdcJcQzig2jwr7","CkP87n8nTcY9H7e2M","CmjGb8Q5stvwaY7ja","CogjQugvgk7tqFJKZ","ComeWCuLGAw2X3K4k","CukqqbHApXzkSgJXZ","CyHDwqxua5YkSot8D","D5TwRmhu4MJBAQPDW","DBtuCtZZwyWF2Nvzg","DFDMxEQfaPPyJcheb","DL3qMyYqchvGRErHD","DQ7KgSGq7tH9xd8sP","DR2qurYWv936dbGeT","DXFezPphZ8etkN2jx","DeQvBKYnpWFkjuRjG","DgRzLqubHpEmaFRwE","Dngm2dErCQWpTyKFM","DoEmoHiTD3sFQxxoz","DrrGXmw9Xmmzsn79d","DuTD8TxkidiccGE6z","DvJenMPLEPdLr9wML","E34aciJxwZq2dkPBB","E42QX7jyXM4dkfqH5","E8YoKDrSgJepBHJTE","E9ymxx9p4TuzPT2Ka","ED87k8DDCofaRgNc5","EEowEfTGdrmt97SyQ","EFK9zFcjEaCcsJ9P8","EPrnd5eRx4z6cxDEF","EjdNQWKobp9fMbZPo","F5rsFMLgGhwXRzeAX","FGC6iq8AzyZ38WEtb","FNhbGABeJKyAYxSa7","FPRTehC3KjdLBFtH9","FXmtZDuPrPnNDpwJv","FkoGYvgTzgNvhr8Xa","FmBMJxpDhtMY2j2e5","Fx99dAxXS894Z2cW8","Fy3gWFcoqWXCWSTE7","G5XrxFKc436pCExNh","G7ivwpKru54u5qAZx","G96h5r9fBzyQjBd64","GD7L9ADhbWxFLDHHu","GE9BCCCHJGLQJjuxj","GEDD6bKrfHqDbfcbo","GJRmMrGJm3yq5hAgd","GKWvKBfNhGhWCmemP","GNGNy6xLGKrZs3Bzb","GNnXTbFakHgmrxiod","GS2xKv9boDcaFk5np","GTuFHKwk54mFptRSF","GdNpgJpGjjq5QxDxx","GiGkmKNJeohupZGPX","GnamBvt6HhaCzQwPs","GoBJQPjMt4QqSnrwg","Grr5FyN6z9PCZRmuj","GuwK7H3nMwRaXFfK3","HDzPp6ErkDp8xQwLw","HEZ6MbNepwWMnARe8","HEsKxZQoQz4PqAWuT","HEts8Y8fqtJJhHice","HF3jXZocwLFLJXJ5n","HRMc2tMqtp7Ad2t9S","HjXrDgaMqeJguzHB5","HoFMjS3Cdy9bepaRh","HoPJXoYpztvrDvmdM","Hreb3iQbdSKhiwxYY","Hs3bNQZ6EQfysfQsM","HyhJc5WrykPY4645d","Hzt9qFNM49WGnaP9w","J7gLLHFiaWrt52wsk","JFPDEfccpuCMjLqnb","JFnd4y7T2TsGvCn5t","JGTHXRtEKBykgpron","JHXfDSCYHNFxfZXhA","JPYx7o6wFuqHmWSfe","JW3K9nkC7EdDbKkHr","JX5cCYYFf2bqbXztD","JeEB9gwiyR8gej56t","JiyeoiXPESzdzzCxJ","JjWxyZkzzGj6J99zi","JnfB4CYgEqnjALFrY","JpKZArDhWwSqo3Ld3","JsP5D7bx2CRWjdPiL","JwrNqaQmqeRR5HF5Z","JyaufhaviLjtkRqd4","JzGqpC5JRPnAN5ykL","JzPcBGCby92ksAhXB","KC9RN9DPf9kWr2qqk","KEu3vgAPb9e5JGQjq","KMC34Bf8PDThWQbAd","KQCfF6ghvsKbfTkfc","KQLesm3Ea3bTmmtsZ","KRbALAwxm4xi7KYDE","KT9EMwErcJAoYkoud","KnmQ27ZSmS2aWkWbY","Kp52WqkJyvTRmwgNS","KqLgq4aAjjPjeWfE6","Ky7np99rnCLHAibrr","LBKRKLCG3cxTRXQZo","LHuaGsB36hgXBsRtv","Lbas8HMgPZD3qjZXW","LcHf5c3BWvNGbs5b7","Liu8XohZe5nKFoe6K","LsP3tcEzjg53zMPTW","Lwb945XQ8ANSJuWJW","LxTKKE6YQXgJYh5x6","LyZRzGMAgEwS5CXg3","M78ppywjiMyy8Q6bD","MHPNbswexiBiEqu9u","MKq4S4a637TRxb98K","MMRijNkGBYaimd7YF","MNzfvNENJewaSJLLJ","MS6MTNMjeMGwq3dxr","MX3RvRv6FyL7iWAAm","MX5tp6QSe4JswFif8","MgW4ctuikkbvR3T3d","MpYqv7pWARYxaXHT5","MyyyABBZ89fYABGAv","N6BMYtKQ4EzZiPiYq","NEKG7TAzhvsWLzyJX","NQLmRTLsMbbDcgvK7","NXvbStfAZfzWcsD3g","NfiysNiCuWvq4rKFn","NgENCmuBSSKwZ4PP3","NjPyTu9N7Q3kaSSSo","NmeNo4n8MpCENCPFS","NqSmntLqHahtp8DoN","NrMvJSFqQ9vTkFMnu","NwcqQH2XhozeDN7YG","NxdBKJswQGfCrxyZ5","P2eLsh2QoFQMW4PWz","P5NqkLkdZx273dPTr","P9GkkxYiGvEJDZNYu","PCHZssy3CKG6DKRW2","PCbmnFEeyrQ92ogyd","PPRDt923ggiSxRAo9","PZFADcz7wXehDztZP","PZuHyc3WXrCt9iswn","Pb7wwPPxibSGd78R3","PjExKZb3KTPAtyXZE","PmTDLQcThPMxi8zQk","PotAzHYG5RfXbz89N","PrLd9y45T9jscbwr7","PscB5oTmfaMbRiorP","PyPD3qMJ7keQhAtEE","Pz7beo8YPhDzFmrro","Q2NLig5MAF3fmuRW5","Q4vM86kuY23vaKHAk","QAY3Yhfjfax7NTDJu","QBbXy8ysLNQgCvX62","QBqhj5WMyW2z5RL3z","QYR9vHb4rSAiS6f7x","Qa6LX3xR2Tvp8FWQK","QgFfLCXmSwSo9PPax","QrCQn36maJ775WwfS","R6hhLuhnyhb62Mvo3","RAth9Nka6Kr8mLGn6","RDgYFdiiL9hHY3anH","RDk2Y37DiLSDCATGo","RGALnjYPT8DX7mS9p","RHav2E2pqQsSZWeru","RJcRZXFWwP8qnmD2P","RJspiX6TuXAEg4sNe","RQFBGJ7EbiJTzCFMF","RQZaiPbf4S33xmF6s","RRJif7ru7PA5Ztj7q","RX2AmHaEjHBZhoEq9","RZNYs3JWRFRgRCeWt","RbEodmx6vY6QQGyPZ","RnF5eLf4Rvfc85qWs","RtW43AkXjthtGX3q8","S3qGkpb6q8YpzEwav","SYrobWKAr9QugHsgB","SeJAqeJ5HdZM8M37Q","SefjDsqQgYaCcAp6m","SgTYa2WNHedBPaQxp","SmeSs9kenQfTarH36","SxBXErvRCumsLLrDB","SxEGJNrjA5zA2enWz","Sz7SWqankLstNz5HR","T75aFkk5FSYBeBRgr","T78R3M8aj3AQ8upH4","TDw597zbhAYidwfNR","TENnSvbN38ncACbmG","TFKLLtvEp2xWLScDf","TGjLDfLwTNYs9fahz","THj3JxgacEGxx8dNa","TNr8FpCw7Pv2pYqu9","TeMZoiwKqRhCfNwQt","TfFZzTcNkCAmFtQXK","TfvGNk7pen57KR8fg","ThbJCy4t9MM5pBJ7Y","TiMczbdfAFJHRwAG8","TkLRwTQYnFYRdiq9i","Tp688tGK3iFntSPRd","TqAd6GTLPL5RnZ2sq","TsEiavGuxNGM8uK2P","TvgFmKKZzJYuomJTH","W4ezTEYzLPKKEi2Li","WHp8ib85NoqBc7Jtm","WKEZGLjfrQGEyTNMz","WNrR5dj8Ce9Y8TcpT","WQ9WeZyxtsADtgKKz","WStodirkD9DcFJrxb","WTCoqwQ5Rqbdw5KYQ","WZ7Lv5DWYS3kpok7D","WhntzPsapayKynpF3","WjhKPoZ5sfPrBevNb","WmBZfqGWAzsnqRysF","Wo9pJjwSGfdP3xX7F","WuXX5TMGw8abGaT27","WubguWeccGoYKhMCQ","WvLNbFJ8CcMcy4dJw","XFh96DBoToAheq8AH","XHZ45KnwDMkAYqSSB","XMrdfx7bQoMSBH22Y","XQcrgvSuLxS9EJSqi","XXfXQwwJ47qumPv5D","XeSLH8pCc6p8LG6ti","XgL8TfYcgMd3tPWsF","Xt5FRaZA8FZmtjPHL","Y38qZZ9yD2e85horx","Y5oQRaf3X8iZhx9ue","Y6Gea96s42sujXj5R","YKXgttHEF8uXCtDWF","YXYdiX8zsgASY6fkm","YcsAkShM5g4aoWtE5","Yf4EyHSiPqG9aRacB","YfzTg7sB2uwJDeL97","Yhmih4Yoyu79bGMTd","YjFj9fWkmXwiG5yvJ","YninSvawJtvcM3NgE","Z93JWLTCbj5SH8QSn","ZAwb3RqMCfDqdJjeZ","ZK9ahi3NKHSCxMAhJ","ZLDNajEx3P2WjjB2a","ZLweWZS6hsA5Xujrw","ZRnfF4ghoRMFtSCWx","ZYAJo4qedEvmhsppL","ZfesEyTteWyEWnPbq","Zfr6aoHzJ4jESzRgm","ZgmSwhzpSuk5jHqpE","a3cPntQ4LGtkc8Pvk","a8yMzS7Hpk8cCGudX","aAvsuzjTHGKS9kHtZ","aEkXhgDc8HuJThugc","aFD6w6AyRh79ZRSAo","aHdZkmwtPJZzfbeWx","aMAZXNnRZLRZk7xop","aQbpE4TZNZK8mdQYW","aQok7cGdPiq4i5Xas","adWNEBZukmNTYyxam","afSSLHBn3WfbjFYeH","apiiiuCvg2gxYd7ec","b536w5mb7Lw6BPDXD","bBvjMB37gZRaiohuX","bMdDQNP57YwZbM97b","bX4Ppg7aQS4akvZhN","bZBZ8uTKaDDrbbMMY","bZKFbZk2FE7PjeWvC","bi6aJjaFhQraLKg9y","bm4iqvhQKRmRN2v57","bm6dHJzf39BG86xrX","bnaGNgbFi4mdB22JY","bnaxP4rHXLawngwdZ","bqneTaFGy94PqMSrp","bzYXRkpMSicbNBa3a","c6XxtaWhrbAdvJjDn","cCy3HitJknzvhy2Cf","cHKpAoWJtL4wtjPkw","cLuGXnt4ipBnGaheW","cQbr6qaRzLerhWfGF","cRzf7oTqXeTmSLcE3","caKmCjFxXXE3G73bp","cbhM6yR6X4PjeQguN","ciWmrWFTuku6zQXXA","cjEjLsD3JnEtuwduC","cvzt8E8LYcGMHTFcj","czGko5etdgGY6xc47","d67s23DsoqkPfx7Xt","dCepe9QmyHYBbgb5P","dGY7TYJjLmPWaR6DT","dNtorsRLyKaM7bkG8","dXtZsz5hh5NZS5o8i","deBiTYgRv4pYSRK5f","diFwdCjzMu3jF4AxW","drZo6HRXhhYGHoMJ6","dw6qsYn4BAqdgkNWM","e236oS97RQnS9nAgq","e2bZEmv5YNPaubkRg","e3tMgpynZW2qeWrac","e6PwnvKbirub3YvvJ","eYcHNAdtZFpssyb6v","edyxxJP6mqPunegdm","efmSDdoS8C8f48o3Y","ephYk3uZnyJtWjoDu","esYcKRpZDsCzFHRN9","eu6GS2Sq5RLjuuMPf","ezDEKCyCHLdJb6qKt","f5Wd4xA46h2CYuJ39","f8mZdf6jhET4kZCwg","fBtniZ2WQkXXbccto","fC8DGuiTq3EWGZa4t","fHguKf28Fwo794rEC","fK9QB8QLnzGJFu5mK","fSbBszLAJt4Nrv8aa","fSku2BhgdFy7HZcqF","fXHKMzd2h7mKfdDdd","fXKeesZ5ivc5EAuX9","fYjCNJcxY645iv9Sm","fYzutMCvwkaCq7qzN","feZ4tu9H7ph7r4GLX","fh4gqPvGGqH88TM9Z","fiWyEwqg94n4eKwya","fnHQNNsiv4KafLAXB","fqGd9Pbwrwza9FQMr","frMjQDXechJkPL5QQ","g5agzFGZ5uJE7iKsD","g99ntPeFmxbm2pm2Y","g9z2FytrQCF5egXZD","gBAtS8Q9yoC5DXhfE","gFEHNMQouHA2ih2G4","gKE54HfXxtjiabHPM","gMCCF8MXgegrF9dB8","gSdEpuy4uKEcAxYz6","gTDYT9k65KcJpGSmb","giLRKXtQbNfbgw5Xb","gkGBDDv9w3ZsCddyz","gomPpoQRTWj8umdQY","gzmCM58joX843nQyW","h3tcokrCb7S8t7uQG","hErziRGCgQZMXtP5k","hJWcJZpYaJL6sqcnR","hJiCjuG2pz2zA5o3j","hPj2pquGykZCBj99Y","hY4hHkQoRhKQDumAf","hYCW4AR7noNaKAYMC","hb2wzeHB8EBkTQXm3","hdtJfBSxgKTwt2bA5","hi42rLgDRjaep7huF","hkbtDnCuk3CxXGuxa","hoAt6789NzyRipnPG","hwHtRu4vxnarEq8ij","i3d6jJv4zFdxEXR6D","i6wsc9X4Hpp282txQ","i729gqpaJTpcecod9","iFnWniXa6WLpc3y8R","iha895cBMRHcsyN8r","ihm76KqATERTZriJ4","ijgqBCFEe4ZDM2N7Y","iuyD4D9kwxXyKnhr5","iwtt83YMprhsiTyxp","iyf48k5a8XrfCDGEQ","j6bxBmmwHGQ7cEe5G","j9NixCnDkwMd65NEq","j9zBEHs9D863kxyYK","jJdPENZk5EmuKXJ9X","jLJjACGavPN22pCjg","jNgYEp3mBwwMwcctQ","jYJDmdpyks88HyRzf","jYTAiHnuTFuoWfXPr","jYkFE8whA6LG6Hkor","jfsjJhmWoDywF4MQa","jnKkDRjikCLD3r3Lt","jrHLeMLNC9hKegcy2","jtPFMAYqRBBMWdkSj","k2Zj39CYE6jFe97u8","k38SRjiZhnmKE8ePe","k68L9rfcJ9p2BJFqn","k6tPQEyzkLCqfkLN4","kC5mNDG3t5RvSkjs2","kRznpujrdqposeAvG","kexaobyxcShkHo7hs","kgXp3NhjPYimFxXSy","khwzyj2HT6L7dvSGb","kvTbmqdKc7pdx75hZ","m6Dzo5veyfFK9gPGJ","m8grBekoDyuXdoueu","mKSmKSRENrmLD6LEX","mNPkQLxJwjGr6iEjv","mPHzxhaNsgWhem83c","mS6AHX6bnuCPQucEZ","mYryxBwoTygfhHkmN","maT3P2gksdEvmYuDz","macEPYrssBgSxk3ie","mc9tQmBMMR7fnEED9","mdMZ3igKEq8rKiYAe","miPEtkysN76Wao3dB","mnj8iCFHYwJxPv5iu","mpeBguzGoNXN3sZ7t","msXjTPipnGDizBpNY","mwh2DudbEQS3nK3D8","mysdAZPMcZvCLmdmi","n4HPoDbeXx3gsEXKk","n5ZigwbtFpnn6RtLo","nHmHebvaLHr4KfLbr","nSkb8saqFc4vYHfRx","ndDefWSAsw2JqZSiJ","nkuFaaFyNrScn87iX","nnzhBgQaPsSXC4ZYm","nu8RYKDpNQFGMDLdC","o3ZvLf8xLiBKpSTzb","oAL5ffZx8tygzDCva","oAp2sWpokcSCQfgTe","oB5bJuXT3HckB7jkN","oBWFgs65dRQAynMxk","oK7zrnEDCp9d9KRDe","oWFjSnx72LhLC9PgZ","oZq2k7CH8KguAyGjZ","ot85rQWTJy5q9RXM8","owgCpeR6s742hx7pq","pAYLDK4M3bR7w8gPS","pKrERwPoKboQ27tfX","pNg6dqLBM34PxJJNF","pZG4TSx3TehdaMd4f","piNoZE6ikP3ZWepJs","pjinb6SBsNQR8sAcf","pw3qf8yHoGGZBrrLN","pwRL2A5HgobChwcvj","py3W4ojBD7LbMytJK","q47ghuzvESP3Tei3S","q5MegPmavNhHXHror","q7GbCKLMZ9mL6HY3D","qSRmgbE8Q8d2mJim5","qetYbCDaqEfG76sJS","qffJtYbwGbzBtH2GQ","qjXBMmvtQNBgrmNij","qnagRfv92awH7Ntp6","qnp3HvRKgAC5R4Shx","qs6aD2iyP32HPNZYg","r5LRaCxmNT5AAnrzr","r8QwD8Qm4CfCoD7kn","r8x6kYYu3Ma5YCjmR","r9RHTvifoAwJs6muZ","rELu5ih7Se77mFWk5","rLNHjmF6qG3ZuNHHu","rN5aG4aFbLqTGWtEP","rP9ZNgDThbFxuMnzp","rbuL3S7pmzXJsnaTz","s2Cum823oW7GHE2Ww","s3fTRFQp5TY9qqjsR","s55mGZrWws7aNK6xb","sATtFtqbp9ghJNyzH","sAWFLuRH5PCz6WaJp","sKynBBHbHSKB2Z8HQ","sMvpbhzZETWR2HYin","sS5boZuexoxy8A53g","sm6L8uW67y4Au5fqh","soAZ9ZGcgzmJCCW39","sporq5FLbwZ59PzJ9","ssWfthh9zC7vPwNfD","sxnW82ccreDq9cEFQ","t2SxgFPhEr8tx4Xjk","t5hYQrq5frrvLTdsN","t64uFyrH72jQLbnTC","tJjig9GJCtpnky7Gr","tLYhTnjadfu3CEtMT","tNDpMRMQQ6jQTytcZ","tkDWnnxiiAjoAJ3rh","tmEe6ZEFiFpumQjQr","tnN28dsg3RSzqN3Hi","tsM7aiHn42rZdc9sY","tsksYL5t9KMCp2aHj","ttkxrZSsBhRiodMFT","tyAF645khiCSPsb3L","u2vaGzGTQYvWmEw4M","uN9duXjAio3jdT6bw","uQjhZHDxJ9BH8NETH","uXXxmNHrzeAddPAe5","uYRNBsvyXswShYGXp","ubgBEZkyyWYqn2mbG","ugwrXSkBCJfzoYvYr","utGt9WyBNWcjr7L2q","uzSWf5B8vzcDfchC3","vBCvocb9GfJFzThra","vDJiJ9uFENncvbvm3","vEmKmbTgFcsrH6dWK","vFzZ3h3tu9za6SWbM","vGNK3emYokoDt8Dq4","vMArxjXZvDGQiCjCZ","vMqEFk2nz7RejCs5j","vX78dvPwApdTKWRLk","vZY79icKTozrMArzx","viP6W7QtLJ5QKek2d","vnnc8FbfL8v6GkitT","vrDvXJihywpNv4XTm","vrMb9xrSSkmM3thnd","vveo9Dt6QoZviLMCk","wFK5oXX5DRgQf7fF9","wFKb8XbimAo7rxGnP","wNDqkaKcktph6yq5n","wXwJwb2rCoakDvRwD","wzBozi3CFmH73weLE","wzyn5hJGuzSrbLWiQ","x3fBTJvnerQ6FBFN2","x7kCGfnxEkWALP7KZ","x9Buw6gJX5sX5RCAR","xFpbCLxJNvMbRRfuY","xHo92o9kq7jqSBD9Y","xJty6Eo3MDL7MKYtk","xPbD7vMXZxhWWeBAH","xafqXC3WX6nzcserH","xdFqp8MJsWJnCCSvu","xdNf5TxpwbYht5SmD","xmw8Db8janQRTe6Ga","y2CoJSL7trfzvWwFS","y3QM8QtpwbHAszXW3","yBhFLtrFPCcNtSwXw","yEHWBbJSP8DL3r6XM","yWC8oNMK4Y3jZiDNa","ybf2pAE5CFGoavTBZ","yeRdyPMC3kYMPuTrK","ygfHo8DEwqB655oQE","ypi33nw8YDaoRehbC","yrYTnn93CvZTo9Sau","z7BjYDfzAoCNB8iz6","z8nFgtxjGwsNoFsAu","zFeJt3oZRrFMhAhHR","zMPnz8TLGnLNNT7WH","zQ9XSC65XanzErYaS","zd82rwP5eTNkY3DfW","zi49rgdDwBbjS3u3L","zjRpdPeaJRh6xgoad","zmDtNqHmD5X7xMNxp"],"dataSources":["PMupqmDbRNFndeT5W","3SG8d6TqWdLKqttYB"]}