From 77afcd337370da8c8e5425e86978cacd72850ae0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 2 Sep 2021 11:28:21 +0200 Subject: Add initial files --- static/docs/RTDSP_paper.pdf | Bin 0 -> 853342 bytes static/docs/drafts/formal_hls.pdf/index.html | 8 ++ static/docs/drafts/formal_hls_v1.pdf | Bin 0 -> 227226 bytes static/docs/drafts/fuzzing_hls.pdf/index.html | 8 ++ static/docs/drafts/fuzzing_hls_v1.pdf | Bin 0 -> 86653 bytes static/docs/drafts/fuzzing_hls_v2.pdf | Bin 0 -> 145487 bytes static/docs/fpga2020/verismith_bib.txt | 12 ++ static/docs/fpga2020/verismith_paper.pdf | Bin 0 -> 844315 bytes static/docs/fpga2020/verismith_slides.pdf | Bin 0 -> 298196 bytes static/docs/fpga2020/verismith_thesis.pdf | Bin 0 -> 720014 bytes static/docs/fpga2021/fpga2021_slides.pdf | Bin 0 -> 194599 bytes static/docs/msrphd2019/verismith_poster.pdf | Bin 0 -> 111994 bytes static/docs/pldi2020/vericert_slides.pdf | Bin 0 -> 1275841 bytes .../docs/verismith/verismith_paper.pdf/index.html | 8 ++ .../docs/verismith/verismith_poster.pdf/index.html | 8 ++ .../docs/verismith/verismith_slides.pdf/index.html | 8 ++ .../docs/verismith/verismith_thesis.pdf/index.html | 8 ++ static/docs/yann_herklotz_cv.pdf | Bin 0 -> 34413 bytes static/docs/yannherklotz.gpg | 151 +++++++++++++++++++++ 19 files changed, 211 insertions(+) create mode 100644 static/docs/RTDSP_paper.pdf create mode 100644 static/docs/drafts/formal_hls.pdf/index.html create mode 100644 static/docs/drafts/formal_hls_v1.pdf create mode 100644 static/docs/drafts/fuzzing_hls.pdf/index.html create mode 100755 static/docs/drafts/fuzzing_hls_v1.pdf create mode 100644 static/docs/drafts/fuzzing_hls_v2.pdf create mode 100644 static/docs/fpga2020/verismith_bib.txt create mode 100644 static/docs/fpga2020/verismith_paper.pdf create mode 100644 static/docs/fpga2020/verismith_slides.pdf create mode 100644 static/docs/fpga2020/verismith_thesis.pdf create mode 100644 static/docs/fpga2021/fpga2021_slides.pdf create mode 100755 static/docs/msrphd2019/verismith_poster.pdf create mode 100755 static/docs/pldi2020/vericert_slides.pdf create mode 100644 static/docs/verismith/verismith_paper.pdf/index.html create mode 100644 static/docs/verismith/verismith_poster.pdf/index.html create mode 100644 static/docs/verismith/verismith_slides.pdf/index.html create mode 100644 static/docs/verismith/verismith_thesis.pdf/index.html create mode 100644 static/docs/yann_herklotz_cv.pdf create mode 100644 static/docs/yannherklotz.gpg (limited to 'static/docs') diff --git a/static/docs/RTDSP_paper.pdf b/static/docs/RTDSP_paper.pdf new file mode 100644 index 0000000..39d8f87 Binary files /dev/null and b/static/docs/RTDSP_paper.pdf differ diff --git a/static/docs/drafts/formal_hls.pdf/index.html b/static/docs/drafts/formal_hls.pdf/index.html new file mode 100644 index 0000000..6f7d235 --- /dev/null +++ b/static/docs/drafts/formal_hls.pdf/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/static/docs/drafts/formal_hls_v1.pdf b/static/docs/drafts/formal_hls_v1.pdf new file mode 100644 index 0000000..9169b33 Binary files /dev/null and b/static/docs/drafts/formal_hls_v1.pdf differ diff --git a/static/docs/drafts/fuzzing_hls.pdf/index.html b/static/docs/drafts/fuzzing_hls.pdf/index.html new file mode 100644 index 0000000..29b0c34 --- /dev/null +++ b/static/docs/drafts/fuzzing_hls.pdf/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/static/docs/drafts/fuzzing_hls_v1.pdf b/static/docs/drafts/fuzzing_hls_v1.pdf new file mode 100755 index 0000000..4045979 Binary files /dev/null and b/static/docs/drafts/fuzzing_hls_v1.pdf differ diff --git a/static/docs/drafts/fuzzing_hls_v2.pdf b/static/docs/drafts/fuzzing_hls_v2.pdf new file mode 100644 index 0000000..f4e867b Binary files /dev/null and b/static/docs/drafts/fuzzing_hls_v2.pdf differ diff --git a/static/docs/fpga2020/verismith_bib.txt b/static/docs/fpga2020/verismith_bib.txt new file mode 100644 index 0000000..104c1cd --- /dev/null +++ b/static/docs/fpga2020/verismith_bib.txt @@ -0,0 +1,12 @@ +@inproceedings{herklotz20_findin_under_bugs_fpga_synth_tools, + author = {Herklotz, Yann and Wickerson, John}, + title = {Finding and Understanding Bugs in FPGA Synthesis Tools}, + booktitle = {ACM/SIGDA International Symposium on Field-Programmable Gate + Arrays}, + doi = {10.1145/3373087.3375310}, + year = 2020, + location = {Seaside, CA, USA}, + numpages = 11, + publisher = {ACM}, + series = {FPGA '20}, +} diff --git a/static/docs/fpga2020/verismith_paper.pdf b/static/docs/fpga2020/verismith_paper.pdf new file mode 100644 index 0000000..cfa400b Binary files /dev/null and b/static/docs/fpga2020/verismith_paper.pdf differ diff --git a/static/docs/fpga2020/verismith_slides.pdf b/static/docs/fpga2020/verismith_slides.pdf new file mode 100644 index 0000000..ebcf96e Binary files /dev/null and b/static/docs/fpga2020/verismith_slides.pdf differ diff --git a/static/docs/fpga2020/verismith_thesis.pdf b/static/docs/fpga2020/verismith_thesis.pdf new file mode 100644 index 0000000..80fde2c Binary files /dev/null and b/static/docs/fpga2020/verismith_thesis.pdf differ diff --git a/static/docs/fpga2021/fpga2021_slides.pdf b/static/docs/fpga2021/fpga2021_slides.pdf new file mode 100644 index 0000000..cec283c Binary files /dev/null and b/static/docs/fpga2021/fpga2021_slides.pdf differ diff --git a/static/docs/msrphd2019/verismith_poster.pdf b/static/docs/msrphd2019/verismith_poster.pdf new file mode 100755 index 0000000..60ce504 Binary files /dev/null and b/static/docs/msrphd2019/verismith_poster.pdf differ diff --git a/static/docs/pldi2020/vericert_slides.pdf b/static/docs/pldi2020/vericert_slides.pdf new file mode 100755 index 0000000..66f8191 Binary files /dev/null and b/static/docs/pldi2020/vericert_slides.pdf differ diff --git a/static/docs/verismith/verismith_paper.pdf/index.html b/static/docs/verismith/verismith_paper.pdf/index.html new file mode 100644 index 0000000..d4d3aa9 --- /dev/null +++ b/static/docs/verismith/verismith_paper.pdf/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/static/docs/verismith/verismith_poster.pdf/index.html b/static/docs/verismith/verismith_poster.pdf/index.html new file mode 100644 index 0000000..7fa2668 --- /dev/null +++ b/static/docs/verismith/verismith_poster.pdf/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/static/docs/verismith/verismith_slides.pdf/index.html b/static/docs/verismith/verismith_slides.pdf/index.html new file mode 100644 index 0000000..b965be7 --- /dev/null +++ b/static/docs/verismith/verismith_slides.pdf/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/static/docs/verismith/verismith_thesis.pdf/index.html b/static/docs/verismith/verismith_thesis.pdf/index.html new file mode 100644 index 0000000..86b5893 --- /dev/null +++ b/static/docs/verismith/verismith_thesis.pdf/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/static/docs/yann_herklotz_cv.pdf b/static/docs/yann_herklotz_cv.pdf new file mode 100644 index 0000000..a72e273 Binary files /dev/null and b/static/docs/yann_herklotz_cv.pdf differ diff --git a/static/docs/yannherklotz.gpg b/static/docs/yannherklotz.gpg new file mode 100644 index 0000000..dfb35d2 --- /dev/null +++ b/static/docs/yannherklotz.gpg @@ -0,0 +1,151 @@ +-----BEGIN PGP PUBLIC KEY BLOCK----- + +mQINBFwaEIIBEAC+QdrjQA6L1/ebrs5OAqz14JVukIjqdj4Uw7Yt5627AX/GuHuv +j2Nkmbs0ECoHSr2jt2IQ1CGVb7fbT/GJeXo3c6KURQ62GSYPCW8I4hwdnKRifycT +zpAv7Y4opsP+SPn1P34hk9aGfkS2n+H8WoM3VRrnHfpC+NVudJ4sptLNNcGL5v+q +GWaOXM3dSytriuH6+BRSsPo3gt1BvB2UMoh31fSNpZOLBb0HR1zJt5Ir0tiu53I+ +FgsU1PVJDV9ceCayCRTlLtJPLYXsGQNOgwvFYy0GW0wxd4V88zKj1V+WL4jdw3ZF +QWh8WsJW1y5Q9OhraAYhyHqVMwZ1A9bGE3uI3b/w4ZZgyXBdu2jB5xo/iJMg/FFQ +6vuD3dSK6gezTZdM/GIdsVOm669G4Pu7CIlO8LCc8MCNIvzWtCWtlyNvCTOoLcIO +xs8JGJb94+Yio6vnVLso5YOHhGwYqwJy2Im1OEZKwwTIRwUQDHe5sMykzx4v+t9W +Xsg0xklQjzK0maEQXgqJS/7Ai9x9x1/2DZdPWFqV3+XoJqfdrq9Ql6cWiRZOSwIK +wa4/CWniDGcA9V/SfnOFYjpBrnJqQIBLxLNoBeK4Gi16mHznMxzPDcjueyoQMidO +cdW+DBjjjEebGjcqrZ+K9SKPq16Eo70w07Ev5ehZ/BvUwrZzWH1AjslHqwARAQAB +tCRZYW5uIEhlcmtsb3R6IDx5bWhlcmtsb3R6QGdtYWlsLmNvbT6JAk4EEwEKADgW +IQTY2rMIPqHP9bLh09Zhr3U1iX5CsAUCXNv+mQIbAwULCQgHAwUVCgkICwUWAgMB +AAIeAQIXgAAKCRBhr3U1iX5CsC8uD/0XTWjsiembAGWf4LKWTonLC3gtqnZrkEKo +5XPqwdaUpKjUomYhSVOKqBWbdEWYsR5IfedzxuUgf4vmOMD4HYTG4BZHF9uCZs4E +W9ID3vwzju1FVMxxKKftoSZyBwQ2sIMS95VQOXHc48mfVt3xfEi9uekrG9baIbDi +pUikIhdpLxmMMocBG9q9Fgywsy30mCOPWgyOnZIRnmdNjerrZK9ImgMwmfMWd1JL +M/9hmxj7uT+vKtMLOchHi+zaGNb4CM8ywwsiUXwp5KwxmPnd/jlSYFPl7FG7M1kB +eoMIAjZ8wJ5PmrcCw+0eCuXw1fgjwSf8Tvh9UdN9HrShOa4Tfo6u13I62ZTrnLq7 +oYWwmhTSD7k/KIJvr/q1fyWoh2oQMdp/i/ARrEnYV/WjkafXIxx4azFp98fVx8ZV +0N+oO4rSy284NSlFZr6YLA5WEbmScDxGKGj3zUYEQ8tELSfEyGVfdJSm8Pg6dXjZ +5q3muJC8kFH1GEKu+RqgVX7yFQQX/XdUzBTJaI4yY7oFJD1EjMVehHCgPuvy7XXO +lIj5rKtrlb9lZaiSv6u/nSWd3bYYDAdeUb6Qum2lmjZ2JToML67BtgKZpWRSZxMz +QpFy54AaY+620k+fMY5p03qSzN9qNMqO0lZIhX/WRq4Nr8dQx1ELgci1y1CJ6ShX +uQNCsHsMgrQlWWFubiBIZXJrbG90eiA8eWFubkB5YW5uaGVya2xvdHouY29tPokC +TgQTAQoAOBYhBNjaswg+oc/1suHT1mGvdTWJfkKwBQJcw4cQAhsDBQsJCAcDBRUK +CQgLBRYCAwEAAh4BAheAAAoJEGGvdTWJfkKwiDUQALO2enLQxukzoedGYr/4XIfA +GJ+/o5wijjppUHQj+IoL0/CMXJV5iJ2MVbg3ljgeZU/7RwFwNqWjeSV/TRG1w03L +CzaUp5680e0iZEixepjWfq/E6bhUUZd6RdKViZSt0gX0g/qEBQ5JdMeorZtA+Fid +fHbV0UK6mglWT962mD1Fr794yl3QGtDUDNEG9TgMUduRzfHXByN+Z+kbdgsvEjOK +4Tu9c2fFu3t3G0KMVCfMS9kPcneaqbR4Op6sa0GkdEzWG3SqPaGaacyL/t+9k6wx +/uZkiHIVX8RAMM5WlSXABOETYiK5Wti5986OjfYc4Z+/+9aMLuD+6qQP/uDCgWBn +CVBUqnNIChBfIjX28Dx2vpEG0od2/xbvRNBG0QgfcTsOrca+5vMYf6l95p9p5+H3 +BHoGyzn+RTYg1N8UNasOrS09GZTJUk/W3IZNPtSNw/Bc/VeH+jELR/HCmdqZyED9 +PeAwDPqs6qFemLViLfLZCt6o7D27pMlrNQU6szbJYKyGkVti+035sQq184i+tuh6 +TExdiGvHYN2F2u7Vvtf9TGdCN6/lafCd3y+CX/Aw5ls/kvbe1S+KhkAbaXBE6hT+ +L76w/d2lpKpPAPzJ37gseiT0Y+sELx54bXPqY1SOB93cIEmtFAXlx44ct0QnQKtZ +JILr2kjeOGNVemTsiiddtCpZYW5uIEhlcmtsb3R6IChnaXQpIDxnaXRAeWFubmhl +cmtsb3R6LmNvbT6JAk4EEwEKADgWIQTY2rMIPqHP9bLh09Zhr3U1iX5CsAUCXNv+ +SwIbAwULCQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBhr3U1iX5CsNjZD/0T7azH +XOKvt398JxT/xdKwP6+BK+x8f1ALH+YP3xNB4HvOrokuIjHI46cDpywU3foXhocb +MGW6+3g9HH+SMsg6LmDXs/n39bpo5StosB/re9EWa8vGl2wO+7kc+y6jE6DgS5AN +hFJAXtAWuz5k4+X25wQwEmY1UTp35nFAZB8NI41GGguDY3tST+vcrpzqNZWzi3oz +njKjBdq1ovR4FdgNc+rHTIp23Tp+hhdkuk0vdNo3l0w7IMhHSOuySqiRqYr4D78y +B4MBufyFSwRf3cVOOB+asb4pTSodPKUu0JS9103nOkC/WTCwQi0iV2MmY3U7iNwS +Ct4wzcX/jENdKWrcCLabkieEeJADseQ+Ge42rt51UlhaBIqBBx4YQHvCyspRXcAW +V/r8LrIdZ1DS6GkcZX0jl4A1p9SH4XNiTT4ltwAenEt8/3iuHZU/2PSwdkoWdlbm +YO8xrfML8B31227mAqKMhQZxdMbgwr5e0+1n4tVk8tGz9MbLk7NtlPNQfJSmB/QF +UDHZsuOciIpYGh4QZ6nEFfMcddk4Tdn7HtU3LYmVbXaq2LW7vhyNW8gpIKke5i3k +JRSadm/H1KM2wY8ymgA92aopZ3pXo4ETrxTzDS2tGuAUq3as3bL2x+NdG7Gdb6JD +49pgFhpNiUS8GvmkT9H0lGkNyK46/6lTA49Q07kCDQRcGhCCARAAollKKv4qqpDk +Un3DodOjF+wtLH7kY8WEvN5ntbHnQ06Ffz64B4d3D0Y8uB3JMENezV4rWD4HmXwC +Pbj8tnKcrrUFujbWsdEI0pm1QbYBDjuT7NKAAigl+8wrOkZGBrcYfFe8EcX8lbrx +DYyYDTIrtOYzjRkEOwC6UfYUM0EMA9HsPCTxEbidlqs4CDjYMivxblVBbjkDNNpU +ha1TLTsVwWrtEHplJvmQUUFRUN/2/FLvQGPbG+JwocM7QJv7JTNctYtBq/sAmbFn +j0XXl72lDhW9UnqxhVXVOXurmxKraQT2j2XWVYx1VCb5SONXQUjShO617jQUhz3W +evl/eAYTHfzSlOUs3pZGniKV6ByG7EPI2cjQgwrf6HF7EcOedhoHkdH6NG3E1+Ux +zyQayXdiCXyetLosjkVhKROwSDHWthXaAfZN9EFfeX928bZYyHdQvBy6CoUanv6M +kiGYES2uealbbYVSf+a0aaleFu0VSWdZ+w7S+665bwRz8VFae2Km/z9uGptjOS7z +6X9KG9Ad6+ChLvc9SpqCQxx6PIZd+255X3jcV5nSm5VSMWyZYqFn5769gS9sbs0I +HM5yzGXiPgq9tgiz8dWd7BfPj+LJWFPsQEjl99AkLD87NHqmOs2F0w8GueDiQlRD +mQeXE+M7ekWGY2VYdOxQC2fe5foer00AEQEAAYkCNgQYAQgAIBYhBNjaswg+oc/1 +suHT1mGvdTWJfkKwBQJcGhCCAhsMAAoJEGGvdTWJfkKwGzIP/jKOM5Yj1JrX3OMV +W3yT1XZP0avYzgDLM968hvDsqpTp1LsmQ4jczaUMxHjRqA9anaAtU4U/W1tRI4// +36Y06s19d1h0l7bDGJh2DHcmA9zOPQ0b2btKzfbk+m02VIvARbRY1dyFcQHSXJqd +cGDNd1SzDAbkB+ly+L29OyKsPDbm3Z3P0xucV3QJctrBi17gqxLUrCR+P4aRK/Pb +ZWGc/csUIEp1Qt8aJC5hSmv9NoH0VISgUk+/wBZ/LfRmLJy9ncJXnd5ml+FCFLec +W1IU0FwQF6/p+7nncfGljRqf+4sNYIvolcHdgF3D8i/bwxw1HwJVrZidcjPKQdPQ +9yQhtGnXrKTTeQzxazQMz/FNe2xBTtkQ1xfx99f32Kp9U6jKZtwwW+jINeaf+3lR +5TTftcMVnKUrHnZM+sXSJ3nE9UZQ8DldcptY72a2FFNVuf4MAtgx1sGmvrL47U+8 +GJtMm3gege5HIViJ+GA/KJuFIRjMYw32wHL8oQDN88WyC1L1NrytWBA1tEE1Myg2 +iRRDzc4dVOCfsQuvy8gdxZd0EzJE+yDGc0d/7NVSnYm0YkCU8GS8CVhStSR8N/uW ++SDP2+G9dOcPV23LZ/e2gsKGGakUWAaq/IcD/Npm+j9/FseT6Eh/8PVdBGkggrvV +heDJ+JXwjfmgIjjWntewJuV301rvuQSuBFxqzqMRDACxvKVXClAXEY+Kl74M7zfe +iYOc3dQ+IhQ+KarKSJNcJYLOQeJf14iY5P1cYSkJM51iiwQ9Fp0aoL2/QdJVHYB6 +0ZnK7Rv9VsCF3IJ44Vo317LHu3GsOySVRnFG0Obfnj39Pgfd1r1vm9/kNONfflak +3gVlgH4TVjZnTjA5Y2/ot0pTRTQdB/KCzSiT7lf/X3tX0O0d8vs6yNRuUfBI/rcQ +qUpPgtlFlUMEs2z4uQhujg9ozH1aubcRu+WhN6UFXKIFqY+FOVnUcHiYXumnINMF +OB6iap6bdrHfXPoKZdTqlNZQvtuSUJe30w6ojbPQXwCq5dkPvim5fahdev4BCzJH +RX5BvXE71iIL4CdI2jxjWFKvgNfnZUCTK/nN67Bo1t9bQrrgPkcxwHwXXy7O/Ig+ +b8d5+NNR9EDT1ts/k8WIXvwR2u/AZpNZ9jcGL+18TAYBSdOYp7D6Q0VRe7ieLr0u +G85RzEeoDuI/Gl+8ssZmq22a7qrgh1fXiZpNRYfSen8BAPvcdt99eXaEWntXD7h2 +DanpCgfZFLwTONLoqGCCgzP5C/9snsIxhbb79sDGnHlrI0jGkX9hxcV2rdf1atpi +quqEAkSLvO/4S+Xm1SAbT0fO0Qw/s68+pFs7YTiGmBZK+REH4qh8tD3LmT8rZDux +ZlRnG1JyEHf261CLJ7GqRtDgQ9tLF/ecHh/4+Y9CHCOxW/FRgZ2b7biUYmAZDPd8 +PY8TZjTcDJc7vwH32ZXDn8CRU0rJN0/xIF+K1mmWhkV9chBX/2rzdQ41Bb8qxj2b +k06HV+NRghxjGEHgkORFdEli+q4lmHH8hXQIGcCPQ4bljyZfJFHqqRsDPkyUk7i0 +CLQpcaVhGOzO9I/3UUlgKh1g2brsJXHb/duq2VBJ57y0TZS8zXRrSUkuvQIESu6G +EVj5LOTUbqxfAHyuYyyUAL0gCCbOVgg8xoZG71xjIbtn93knq64lblv8N4kQgKt3 +2m/5w2TG8v5O5sYu8lKPYLqdwtqbn+fs1x6PtZOo3rig/Iz03rzkzigUcA9QShB5 +xNjScw9YGrjpvmJWBpxUSjmFtscMAI2dwx9bTXrOdE6Vv2C48fb6Lun6JIY74A1E +qu1uw5k0FnyNX8b1IrPPF/x2w4BA+92MALFL2VnDNZdta/PBokCQ8L81TOSrWIla +0dcnIaYPadCnMXWOTxXwn0g3I+YpfMbqbYta1puLW+ncQRwDPdSekdTUACMMwKvS +DjhTIgaLyF5NKQBK13E8wdZtqARKqmwNPB1bOxhb9QoLq1+er1XuLAhlo+YWtFxp +5HbRIZz3CEatH70xii0jZQQz7dFRPkR0s9K6zcy9jKfX2upQz9yETLGNNT9ADfRd +HTOK2+n8fP+PYmO0pM29ZnvToYi1DmsE3JhJ1QpgX3obuS3RvEcleOvREQE+iFWY +wwioGtrEgdYcu5nWVM9sgjYoLq/0ZMBd//FAiSIGLwLUTzK4NUM9luwHAL8rkgo7 +v3WdE19w9t7tTqx8kzUMjKiJuPd8XJUgT5TBbfyZyHgJTuVyl4nlbbhgGgHLFKYn +WGLh4W3OSljcIuJblPCYzb9JhlrXSYkCrQQYAQgAIBYhBNjaswg+oc/1suHT1mGv +dTWJfkKwBQJcas6jAhsCAIEJEGGvdTWJfkKwdiAEGREIAB0WIQRzm091WfsDq1Qz +6eDKZU03VveUlgUCXGrOowAKCRDKZU03VveUlo9qAP97GQdXQumAFgWNd4tWIxIo +NFWsekmfQWsUmHGh11awYwEA45p80HWW0YK+ojEVkvW6TmkG9ETZzrPm6CuZAWRC +vPSp+A/+OvB85JtoUi826ShesBqPHxxQ1mM6WGqX0TaJS7WPB+QzcpgzVL14hqhY +/dPwYakoQdBN07LLPCHBaxiH7/1p9jE7dnOiEZ+iPXUW3CIGy9Egws+wZrVAe/Rl +OSw94A9YFJIBnQ6NaT7zR4KQMiL0amaGMv0gEzS9WxVYN5NAXv8VY1cbErzR5aHa +CDtFut71ifVRVdj+i+xMuCJq+ayUSi49b9PSt6wCQvm8EIIa682U+lxwktvB/o6X +4qemgHqGSJ2NSaD3EYshcqdWXGOleHM4+X/NAQacBt7L3wdpP9zlwOtIhWtAJT6x +X02kkpyD7GgwYvDOQAHzGcECmcttEZHjTYEF2HgqbBa86OCRBQjon531SZioPkil +6zqOAa08kfivDsnapTAFVcS5zegkXw0EkUHeCqW/togoeCoJ2MKDt5ZX3JNBAnSc +BDd9OIqXBkhTtzgg3hSFthRpqNE5nf0HlzTOWBVMI3By2CBdwDlZUIqikjBMYDRI +7C00AUj6u1LvorReJv1HOWBTQ0SegQipMFSJPoY18CfUPV9Ri1MxGVkDjVTU9+st +h0NkAv75nOZRx0fA8vVs54DpOfnaJwzPTFKnAjy0RJ72fVeQWc9e0gB+LJGRZAiR +QSO906GojK/jukvOaCV+ecJlISOAxy22ImjziRLrF22htGMfIZO5BA0EXoYZXxAQ +AIvAqbiddZCiMdpYHsiLX27IeGdsrJDGNuVP0TOWkM/iE6jgeshc0V6fDdL5MtnV +F6tkQyIfvU+9v1rEjPpOmzgYvl706jBUS8ZkX0r9MdELVdmTLdtROozh/M8WQ/ux +OVvwG4tfeNUWEZxOiNBsOR2jr/HjcYj8Ire9cYK9vRNzHmhZasx1ZKKaVJlx/wFB +lUUJF8SKX7uTUQpJB0L7dqMUqdf4vI7cbaOnfvYOnOWyxH6XGJHFJIyprLOxVR32 +y3EZs6HiYXwbnrywlZpikOQYnFai5gzO6NLIC0ONiE7J+9TraVHvzgeSYtKft5Sc +Ng6ChKlaFt1sFYbvyvOsAy2cbdNnZ2vX7rXEIn4TlTJLHd6tiuxFBSETXQ1cC7ue +LU9msSHzocrRqOTlkT1ZSdcXECmx3ijMyq7MohOqB3JCTB5oFlburevCSEDGeV2b +HbsyRdWoOdaLwV6bhODeFa1aaXjapOodiF6koZPd5pEKeXGMNhAlf8WGzLdNCt2/ +a1hQDgaTTFfg5vgxfPRJs5KHRrx641hdhO7qN8K3cdz7JZ1ifV5kfuPSxybxs0py +OxgButDU0urJ+RynK7FGs/zK8xnaOr2ms0e6OnAvVZuux5YQ1Y10WHI6OWVcw5hp +bJulp5oMELREe2ObnFWakAiQDEGXZ7jq8tcJbzBlyoSvAAMHD/9oEkKRUDFuHXwv +TERv3Aob8gxBen/sc8i3YADskggSzfxkA7oqD15Ec0MRJD1eD8+cVhUMDPrXpLDc +jC+yu1gMpmHNHl0FBUtisAzwV4k6iaQfZ3Fztx2S+LzL79P/ELLij7KvAj9Cnto+ +Iwn5mVka9NPJU3nYzNvJX1je/7gmnSZ39wRIJ0n/QO2NQKGrY+6V+AeApJCzsfCH +ui1mBVyGhmbF/yiF18QxC+HiLhK31ktFtrOSMl8PCVZxCQsNQu9OBBuXRI1lmGYB +Lv7ml58wP3Lga8Wejh2IkFKC5z0n4aoIJfWtqfMvQ74Qv30UimOHDjUL50mEZLLh +VX4rp37MWKbnHhUqZHGsVxJCw+iWedC/PwC05FMOmkE+va5rf8fYvPCsWV9W9L9t +UhhxXwxEOtWOZXMmPOi3v5yEDCY9Ic5ecJO62palqkzGyZ23FgOTcyz/RqKZr3/j +eyQWpxkiAapSjyDv2VrFkyf20b3Y6j5IPQc5HF40CQkaLGfD8frepqLY6FQfiHNZ +ybhV7SHE429Yvz2B/qBgTgrB48+gbYXLO8qxoCEHZJEJZBTvJ755kwTtmJcFxGgA +9mWjyjAeujS+ljiOZrIuATByJH/IJamKHca/LOv3+0qbaPYXpuy/WHY9HKFpXTk6 +sBVDCUnzPMcVzkTDavL9lT972vZ49IkCNgQYAQoAIBYhBNjaswg+oc/1suHT1mGv +dTWJfkKwBQJehhlfAhsMAAoJEGGvdTWJfkKwIDAP/0xHkWY1dOB1L46QL0S41B5m +TVlf5funz3xCB06KxaXaDva/AW22YfbyImAkcKwQEVpn1FKLbBszhBN90LOmezJG +Br98EP9ksmN+MCQ8szgja1Hw/7nVETbAgP68TsLgLNL/o0mOFR/nIwrMkuVNNNTS +5qvxMvarOYQJ4RE9oiWDzwTrJbCXz1BbFNDKrbHaBrqBEMZgrxlh67Tla1WgczQB +FX9h/aE638Y8KX3kdt2EeeAVTzXdNdPOn9mJzR7Er8O5MQ+1MWvHnatHApJlnD5S +B/JY3pto5Cl8T3nt76r8HcBJnHzpBlq8jGZ1/uUn79cuY0urCU5p+XpFcxnrpDgb +h1laWx7qOLzpfHlzaoxYhA0YgKACSMCRs7Ky4Tj78G2OWLg6qMVpKrK+x3FVFQPP +grWqysZz3QKDSPAf01cc27K6CL35UgQ49UutPocKkOCJTwpo1EPx85TnPFTEd2uX +etpt/UuVTAYy6Tmcz3WXNflk3lGlU3/XuY03rz2mtMHl5apDFcTIP4DMBYr8QqJa +hRxaa2dJYh65VLDMjtTZ03NLEfymE+FdLzw9npg8Z8rqg8yVNKd84QDNypBN7AWc +9+mYFQQBS6d58ptQWpmnPKYVF4MkJrEXe7pdBcJX8N6j4RRj7m4UP3zHGBmH8k0Q +NLSgZd0xh1L/SAooETiF +=4WJ1 +-----END PGP PUBLIC KEY BLOCK----- -- cgit