+��U}��ׅҸ|[�̠��:Bx����,r9�g�+�	z���ٷ�q�z�j˛=7A��:�Kޥ;y��������H�������f�{�\E�ȟ�6xʌЁ$�...

��O��W�_+ Z��̾.���'�y+⠞�����ڮ%���G.i�}9Uĸ]��T�^\������_��~�8j��>ߴ�>���%��G誗zS�O� ��# �WUt�'�P���sC���V�4[W49�>\��t���m��k�s|�nj#�w�'Ӫ���vU �*�E�� lchѣF�m1�h�UQ����ccm��[ScamM�� ����zzzzu���_bT�x�e�N,즕tW5s@��;!ZH;�|�y+ �eiYV ���L��X8�#��2�m[W8���e�8��+�뫢:�#&�����c|�#L�v� "ʢ�"�a��QU�Z E�P2��H2��Ph����*ꗨ�\���$¸���sU] �]+�R�B,j���F5I:p�%cX1N8b�������9$����� j Z��A��� �$ @�,�l��+���+���L�N:]�Wj�`vU��[T�U�\uGe]]��"�WEDVQ��;F�hL�J�.8����(�\e�8�*��j㢮...

// left shift
(Lsh(64|32|16|8)x64 <t> x y) && shiftIsBounded(v) => (SLL <t> x y)
(Lsh(64|32|16|8)x32 <t> x y) && shiftIsBounded(v) => (SLL <t> x y)
(Lsh(64|32|16|8)x16 <t> x y) && shiftIsBounded(v) => (SLL <t> x y)
(Lsh(64|32|16|8)x8  <t> x y) && shiftIsBounded(v) => (SLL <t> x y)

// signed right shift
(Rsh64x(64|32|16|8) <t> x y) && shiftIsBounded(v) => (SRA <t> x y)
(Rsh32x(64|32|16|8) <t> x y) && shiftIsBounded(v) => (SRA <t> (SignExt32to64 x) y)

ĦüA {3Åý »á6 ô Òb\9ºŽÞ쳬ô¹,w…BÉé)uÌÊŠ ù?Z \œáýóLjä‹h óÌ îBM†,êó(†ayÇ °páËʸ[É Ÿ® vâ鱟§î= °A 6Ž?¨ È'uBAL ódb%bn e½ 1 ×¥³n¤f‚Y!‘~ï‰+ ÝïAëˆÎØyþú==Âz_æ~? c{|»pÛ¼ å7SB‹ÒåLZ0eö+]51´Zmză§îVû·hÏÓ p¡sæ× ,°†ÝI »9l‡:‚ã¾öÈN· 2°k² Ô0¤û5\³mW[mâ? ŽCܤ«‡¡j( {7T` X8 sbA'éY‹P 5z˜ù·|4,þ:KWˆø˜˜ò |°Vd?<õ‹ aíêïõucÄ]º±ÊƒË,h$ b½`ØŠö´q¡©ç 8d .ZŒ‘ÿØ äVÎÉ ¤ jü3nº ܯ†¿| ¿O‡† ÂJŸä |ÆoVˆÐØ’œ˜Ä( ’Feƒ¢eÜô®ÊgM3YhC Ê×&$ öÞ Ê¢$‡~´ ¬Ü¡:ñqø”÷Zs¤â­¿,×ÿè2 >=þÞ“^´/A@cÐü…×| â äÄ ¢Îx„o:vnðEc‰º )Ö‹LgöX€Òºƒ7½ ‰}e€ÈÓ""­5‘–©@Ü Ì†@×¹f 53Å)÷T…öš[Ú=8®S#´]™9Ÿç%...

9oqyP49W5dp7bK4hNENTfp+9vRt85ZINE8I/yIz8aNT1uuQO2+tjw4RrWo3cHzyj
ON3R4CfGWBi/82ireHpYbFUDwWXFDpemFfX4PXOY6gCYVCG4X7skFvvxBmJ0eP9h
t8GyComD7LgYkMOJzdSHRk6X6FvQ8pmKSHKyyWZLdv+KnksV8R2tf6hewozqDVeV
c2te/pi0UtjTe/x8/pXMiLmH+3cyyf1PwyMiuEAXAqpu9vSErAoCth23dwARAQAB
iQI8BBgBCAAmFiEEjacMAN968bDS+dx03bzBJwop0IEFAlsgsskCGwwFCQeGH4AA
CgkQ3bzBJwop0IE34g//QtY5NYkyHofCmQ0DhJMFVxIyMA54NH8UqtyAjY8h+fCR

7\300:\242\213\333??\250\343\216\316\326\343?-\200&\3022a\340?\264\2417\021\3046\356?]\004\017\316\367\246\341?\306\334\247\202\212V\357?\230el\353D\025\327?\010\274\250\014\366\324\263?n9\337\004\177}\343?\250\031\365pk\307\343?$\212);\230\217\322?X8\323\351\332[\325?A\303\200\007\032\345\345?\323\276\014\333\025\265\352?\001\377>\312J9\352?\217\306;\333\355\233\344?,\211\223T\242\233\353?\252\355\312\016_\010\323?w6\220\t\027\263\343?y\250\360\245\205\246\344?2\002\342\307\212\037\336?\310\223...

5tpuuAaMGuGaisAbXIiTgkutwEujX5L2UnJ02uSEIOHdfZVpqcBaH9GNKIKjJQ6yAmOUylYHsa+6cprBZg3MfpA3OkpB+WAkENXmxEnDbs2+e3KABrvU9RINTih56LbMMSAlAAqomL7BRQFOU2SGYgMouOqV1jGHWIrxer50+8iofV8uOQ5a1vVA1OUEecOPtWdlhkxsUH/2saE5lmufBtVifz4erCOmkBGJKIKjJ8V0ETT/GLJPODAG/X8+uOg+O0087BaHB09kJWXd+SSCoyYuUgIceaB/qeXL/AA2uci3a4JB8QGrw/AIwE6NRNbmlcMht8oBftT40ZY2xsw2OsJogAYcopEtUAqomt5Am9w6dJg8ENPNagzysBs/2W7KJCl/mz4wE8OYsg3loNLnKbNAG1+DGqFmDI1LdpA2eGRjytRX19XAEecDr6kMqcyM1BNTrR41ltCxqcAYc6yOlkxIYtASCmhyP9WZ2doVmUXhtL1hWHWt...