‹¯ƒ�7„;[_,_]�r  [] Constructors ConstTypeExtSDefys€è€ë€á€ý€î€ñ€ü�,�*�)�(€Ä€Â�'�%�$�#�!€ù€ø€÷€ï������������� €Å€È€Ë €Í€Õ€Ô€Ò€Ñ�€ç€é€ì€ÿ���€ã€â€õ€à€ß€Þ€Ý€Ü€Û€ú€ò€ö€ó€Ú€í€Ù€ê€Ø€æ€å€×€Ö�€Ï€Ð���� � �-�.�0�/�1�2€Î€¾€¿€À€Ã� €û€ð€ô€¼€ä�€þ€Á€½€Ó� €Æ€Ì€É€Ê€Ç�3 Specification Strategies SignatureFunTypeVarDec€›€›€§€¦€¥€¤€£€¢€¡€ €Ÿ€ž€�€œ€›€š€™€˜€—€–€•€”€“€’€‘€�€�€Ž€�€Œ€‹€Š€‰€ˆ€‡€†€…€„€ƒ€‚€�€€~}|{zyxwvutsrqponmlkj€»€º€¹hgiedfbac_^`€¸€·€¶]\[€µ€´€³YXZVUW€²€±SRTPONQLKMIHJFEGDCBA@?>=<;:9€°€¯€®€­€¬€«876543210/.-,+*)€ª€©('&%€¨$#"!StringSomeNoneConcSortVarSort�"� ������€Å€È�& �4�6�5�+  ExtOpDecl11  €è€ë€á€ý€î€ñ€ü�,�*�)�(€Ä€Â�'�%�$�#�!€ù€ø€÷€ï������������� €Å€È€Ë €Í ExtOpDeclInjNilConsast2abox abox2textCATermtSaDR_DUMMY DR_UNDEFINEListNatConOptionPathp_3b_5j_5n_5f_6v_6d_7e_7y_7j_8v_8b_9k_9n_9q_9t_9u_9g_10h_10i_10p_10q_10r_10s_10b_13c_13d_13j_13k_13l_13v_13w_13x_13q_14r_14e_15j_15k_15l_15m_15n_15v_15a_16b_16i_16m_16n_16o_16t_16x_16y_16f_17h_18i_18c_19i_19j_19v_19k_24p_25q_25q_26r_26t_26y_26a_27d_27f_27g_27i_27j_27k_27s_27h_28o_28r_28v_28w_28b_29d_29x_29f_30g_30h_30i_30n_30o_30p_30q_30r_30s_30t_30u_30v_30w_30x_30y_30z_30a_31b_31c_31d_31f_31g_31h_31i_31j_31k_31o_31p_31q_31r_31s_31t_31u_31v_31w_31x_31y_31z_31a_32b_32c_32d_32g_32h_32i_32j_32k_32l_32m_32n_32o_32p_32q_32r_32s_32t_32u_32v_32w_32x_32y_32z_32a_33b_33c_33g_33h_33i_33j_33o_33p_33q_33r_33gpp-SOpt-value gpp-fputsgpp-instantiate-listgpp-SlowInstantiategpp-FastInstantiate gpp-flat-listArg2gpp-InstantiateArgPP-Tablepptable-desugar-entrypptable-store-entryPP-Entrypptable-make-keypptable-path-to-stringPath1pptable-arity-of-templateselectorgpp-instantiate-sep-listsymbol2abox-seqsymbol2abox-iter-sepbox2text-stringbox2text-streamgpp-topdown-fputsast2boxparse-pptable-file try-abox2text abox2text-HV abox2text-H abox2text-V abox2text-A abox2text-R abox2text-S abox2text-Cabox2text-FBOX abox2text-ALTabox2text-listHV gpp-hs-chars gpp-vs-text gpp-is-lengthgpp-hv-add-to-hboxgpp-hv-in-new-vboxgpp-format-vboxHgpp-is-real-hboxgpp-thread-mapVgpp-is-real-vboxgpp-do-vbox-childrenAAOPTIONSgpp-construct-rowsR gpp-to-matrixgpp-do-A-columngpp-SOpts-of-alignment gpp-hs-textgpp-align-columnARACAL gpp-FitToMaxgpp-rel-string-lengthFBOXALT gpp-hs-lengthgpp-copy gpp-vs-chars gpp-vs-length gpp-is-text gpp-is-charsgpp-vertical-sepsymbol2abox-itersymbol2abox-optsymbol2abox-altpptable-path-get-symbol symbol2aboxgpp-instantiatearg2aboxpptable-get-logCL FONT-PARAMSZSHSEFMFNMATH FONT-OPERATORNUMVARKWFF-OPTIONFFIDFIDFNATA-OPTION A-OPTIONSS-OPTIONIS SPACE-SYMBOLHSVSSOptBBOXSOptLNATLREF BoxLiteralLBL trm2abox-appl trm2abox-list trm2abox-real trm2abox-inttrm2abox-stringtrm2aboxpptable-make-hashtableConsName UQLiteralSelectorŽ„Ð†”‚j3F: D„Ò£A肨È;#8±@I"©SÐTl-°À–LtP'—,”(FŒ£lN²”j5¨ ‘ ”«–ªU¥DQ˜Va‚uÆ€uF­( 7–œ(ò0‚–�'%‹#(É`ÈÚRXÒ1„–�f#¯r$Œâ#�#yãˆÁ8b4_\pO¨Ø°YSŠ#$ô „ØðHdÒ£"6WRHMˆ„≄bŽ”P”ű�’¬ÕÄ!­­4$·lT¨ª¶H#4µ ÝMhü0à ‡|4Ý / ³CCÃmTa„´èOiCšnâ«L%¤@bá®ÊrÂpD:Nä¯D:è ì'C§a� ‰Âzt:6$Ü$¤ƒ¥a‘rËÂ`t:,™†$È¿ qÐè˜jt’F•*‚'%àa¹’‰èaD’:^$–†U‰!¡µ¢l"atÔ1¤]DL—L#ˆT5¸ % êé0‘;—cl7°9 Ù°‘º±í@ èv¤ð´À™mDè6¦tkPƒº©BÝÔ`n6™3"©Ã\1fDsPB¸ºfLˆf¤‰tSQD±é„ $(&¦�tcPÇ:©a�ÔqN>™AS"©à�T އªDGÌ`)‘TIƒªd‡ÌàÉ‘T(˜ “"©Sìc2B&DMQ£Ø&b€Lˆ§K±LÍÕA‡a™†2!ª“6Ç3,,dEU-�f8È‚ªl›ÌðÑ‘T86˜£"©s¬k2"FDEQãX6b@Œˆ §Ê±lÌŽå@E`9… 2fTPȘÐC"© ,3£AœÁ„s& dÌX‘TD–;™±ý naÃô‚¹—Ò Ê˜¢Âó¤ÌøÞ�0zDiP�X¾d$ô€ùˆƒÒ æbwH…*Ró,$n�2’º@üÆBé%FNcœ™Ò 'H Y)"©ÊÍTf(X¨ !f§´ˆb¤­0ÂÃGiEEZIZ[ IÈ8Rxñ¢ÇCi‹=5¤A5) X¬.Y- ±b`´ˆÂ¡©'‹39…ÄK ¤,¬¦‘T´$Ica0¸©gf4€¥ƒˆÒ –NCHˆ*:â4±p\ ³sêAÒÃÇ©OLI–^] …–>H�Ê¢l³óh\\° j@rÈ)©ùHÄG–! €VauH>XDÕ"/(› Ê*¡qŠÆ"©+8²¤Aå3! X$”.�ʃBå+ŠVIEH‰Ê6ý ¬R ‘”ìøåf—�¸•a“”€U–VR#²ƒ¯ ¬r2¬òÒ�j°)JD6RqâÕ‘RBãÕ‰BRVeqHŠÊ.ܰ©ˆ\&²ªŠAÆ¢)YMËŒÖua ŠÖ !H Y5"3(zpÚÅ !p:ͯÉkŸ$Be/¢2�»POͨô Ô:R h�eÕ䈴¢ÔSj5(G4.±èòD*RŠhÝgÖ䈔£ÑzÀeÉë!§$@¥8Æ£’‚CPÉI>£õˆÃ’ÖcvHŠJ)ul&l‘”Ój ÙMY"1(dÔa±˜²@†ÎlɉK: �‚É’"ŽUP O2†6KF(جB�Š ³[Ð�ÆÃgBÌ<Øœ(@sfw! <( aÂæB[+©PáH}¶7¢ÂˆÚlîÄ!A…1Ô Ø<ˆB� (U²z… §’‰ 3I@…9Ä£‚‚Âl^ 5³{à… —à›aóÁm—×( ¢·ÛŽ lþØ!A5ØØ°BŒ 0=²`�vÄ‚ RÞ€˜=¶´¢ŽÔ졨 C±„ …÷ 'gA‚)(ÿ q;$bìQ!Cù#ðÙ£à@ça‹� /È�€®Ë»LP~Lô vxè Ø @×dL� 7È\�îÄ‘»2xP¾Jøö°ÙS@B‰ò7@g±¤€€žÎœ“¼½ƒ(öLÀ£¼ƒÀ ìY!T