‹¯ƒ/€¥[_,_]3 [] ConstructorsSortVar SortNoArgs (&$" Sort.OpDecl -,+*)'%#! OpDeclInj ConstTypeModule SignatureFunTypeNilConsConcATermfunaListquotedNoneSomeStringNatCondefaultStrConATerms Annotation annotatedlist placeholderapplAFunrealRealConintIntConunquotedIdConreal-conOptExpabsentpresentnegativepositivenaturalOption L¡À‚‚@0šŠ‡C40©…‰r">Ø�‚*H=ˆ”\“ˆ»SÕ¹ vc¦qJÆ�Ûr×µH-„hRV¨¬&ÒÕ%/M–ZQ¹&:6´á¬¥FrÑe˜`2­!VÔ… ÆaË[“¼³P–s'oRp}¤Ñ…W8$‚MÒ6)�ÎŽ 0ú—rQE[¤¶Ö¦²Ý˜Š :Û%º€