SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info x,  ]/]IMP2:threads=4elapsed=124.684cpu=323.524gc=5.7887zXZִF! d P]ŗXiɟW;g``ϐ^0zB ΢"D0^x:S_Wm\z[ǐH}vkzLzA2[w392ZqQ4>ZL&3Y3B*غsҗ<ajaa`gݑ޹pNHc8SX( Vqh&L(;o`O羑xn\gO KŒYvMECf'"ifQ`,3=O6A|;t$ޡ or甮k + '&S[KI$(dpFŊ#ƴa+T/w{)WKd.&fP.Ą =z'.BK`fOG |/m<&̈́˼3@ <[vu‰8Y-\b%%we7xU_(Y+qtj-G V*i)}xbኮ ^~.?)Sv8-R=D01qs9=♫?-|B!}YqDbgG`Q{*(bTTyԦ CV%rCKy'hojq4&ٚ8d.9h( jP/0"+#|X]e~\f?ιCVa}+Lv7(vve]+EKl@p,K_o`II)hEN|QMEZeOlew@|&6"}{*^) /Gݬ!~/:xa'+}SzĔ%@Zzʲ7K; Pw‘5,IWM' r}"!N}3NNwї}s 7hyTeu:R8Xk6P`FOA_0&eQԝ2eH&Hu}@ϰPV׽:BZz9ڡ*͵qfSH@(+,`;PXu{Nܹ%Fkc(JT_<67Nbj7^!!ǢOlyM3k/9 =$O bpoa}C1sw[$ՙ9m5Q7{mq[I#:Js2vTAwtl(3$2|)-TY up m^@5p dC@Y%}lthқ&)[`f2̵aioY,pѿt6ܣY ވvMvwt4''^u'g{0ĎGV"F~ %qQEh{U1^Oj;qx HٌG!_Ak3w' 7?'3,Pb1t;P~'P3 s~=rOrP\\x_cRe{Ą>83MlwS=F;ʰ#2 _`'[O짢/a} hz"wq"\na)~f%wĨn@cu/br4ߣ]0[lW:ϛ8Ǵ̈V=ESE6śA=E2cH UV򬆦Fʪc-.ՉwAT7{ts "q3*1zolRrmYr6nT&{gZ.g%ntB dZvaH{P1;!Ij(!SA(XsFg IP_DBoMU|Śf E@英v+=:jJՅ nty⨍OKmX069Ig CdE93$A(icbOyFn[6ȵJ#~:S9ƛ&Ż5k,V❘?%ۼC:Kܾq y[+icZgɏZwjRbx-_"|l~-[)|vuk8=QMݡӅQ}uT,1|b)o(ݰ\DYlїpBD eFaZ/; *"p p^6iOURiyU&@#D_-(ٜJ۵2@J`:YX٨%@Ag+BZͿZL9 Ej4ѳhZ(n.gYZ7zXZִF! ]ŗXiɟȂ  IMP2a7% tIMP2IMP2.Annotated_Syntaxdocument.tex7zXZִF! JN]A-MՋhvG"uIBm58> p ΝfPLBڪ0WUsz"Qb;1Y(BB_=T _ {uQ= GK>k(?DRMH{'ZLoݚ񲰥@QPTyvȝLhBUŢv<.rx}<^3 _ 7]B{?ޏPw]x i7ETK#j\DGW+X`o0uY߇>!BB0*IQy" /Oj'NTCv6!F!?&Ȓ\>oOK$TIϞ;+6(\@Fy^<@5TSdu5;˧p10UtPį@-X¶uqPaνz7(X)Tdz =,}6jH$Ui/]sB9v'aIsUH;iÒ== p~+̹r~5X%Tx"A_)1dt"V𠆘bi`6bI fi}@TэZy#nĹYSMmX9.lza+-1BH]b満g1kϢ# h<}Dr~cRמ\圸q6.!WLhQm JS}ׁHNJ &,k|!Ž>)W_KF"?FkO5=Tt9Ľ$L?,5W?zyp4 5U[fq[`,d>ek61;]OZ6X",mqإ"@>%.jh'Kc0ڧQ& L i65 \2Ȁ8yHWfmˎfrU,Z7>RVIv %p ߓ:.*WFJȶ͏)3B ay.Fo3ɿӈx2Ux :{:C*s_wDT݋[,{V=2#W2;IbM5vz=/,Ai4n3m} \ZO/:r`igN@W5Ӧڂ<)nGh^|`^=FQ۰:*rb ̓&!V\ MhVξtG~@Kabh,ZA2mcs ̑ U/CO!N+,9c1MV$& a@01W7GS/O"odi\߃~ t9i=zh !rY^Z]5+X'U4䵸_}.%S21I>Ǩn7"@>/οՇs2Ѕ3W<$c99ΦYnSEogw71;( b565^%6myotqJɁiͱ ;6$@1$;Fсk㞧`@LVM,Lk>ٶ&^ʺ-.Aۃi(xG,@[`6V[b^Ό4c C{·2)O&.sEp^ iyhDO#}+';! zi(xU,fȡ>6z|*]6(yM{IJol=Ko*N\Ng 8;g[oo&CqC 4CANA( O { 4Y#'%IMP2IMP2.Examplesdocument.tex+7%IMP2IMP2.Quickstart_Guidedocument.tex(1%IMP2IMP2.IMP2_from_IMPdocument.tex$)%IMP2IMP2.Semanticsdocument.tex!#%IMP2IMP2.Syntaxdocument.tex/?%IMP2HOL-Eisbach.Eisbach_Toolsdocument.tex)3%IMP2HOL-Eisbach.Eisbachdocument.tex*7% IMP2IMP2.Annotated_Syntaxdocument.tex a7% tIMP2IMP2.Annotated_Syntaxdocument.tex7zXZִF! JN]A-MՋhvG"uIBm58> p ΝfPLBڪ0WUsz"Qb;1Y(BB_=T _ {uQ= GK>k(?DRMH{'ZLoݚ񲰥@QPTyvȝLhBUŢv<.rx}<^3 _ 7]B{?ޏPw]x i7ETK#j\DGW+X`o0uY߇>!BB0*IQy" /Oj'NTCv6!F!?&Ȓ\>oOK$TIϞ;+6(\@Fy^<@5TSdu5;˧p10UtPį@-X¶uqPaνz7(X)Tdz =,}6jH$Ui/]sB9v'aIsUH;iÒ== p~+̹r~5X%Tx"A_)1dt"V𠆘bi`6bI fi}@TэZy#nĹYSMmX9.lza+-1BH]b満g1kϢ# h<}Dr~cRמ\圸q6.!WLhQm JS}ׁHNJ &,k|!Ž>)W_KF"?FkO5=Tt9Ľ$L?,5W?zyp4 5U[fq[`,d>ek61;]OZ6X",mqإ"@>%.jh'Kc0ڧQ& L i65 \2Ȁ8yHWfmˎfrU,Z7>RVIv %p ߓ:.*WFJȶ͏)3B ay.Fo3ɿӈx2Ux :{:C*s_wDT݋[,{V=2#W2;IbM5vz=/,Ai4n3m} \ZO/:r`igN@W5Ӧڂ<)nGh^|`^=FQ۰:*rb ̓&!V\ MhVξtG~@Kabh,ZA2mcs ̑ U/CO!N+,9c1MV$& a@01W7GS/O"odi\߃~ t9i=zh !rY^Z]5+X'U4䵸_}.%S21I>Ǩn7"@>/οՇs2Ѕ3W<$c99ΦYnSEogw71;( b565^%6myotqJɁiͱ ;6$@1$;Fсk㞧`@LVM,Lk>ٶ&^ʺ-.Aۃi(xG,@[`6V[b^Ό4c C{·2)O&.sEp^ iyhDO#}+';! zi(xU,fȡ>6z|*]6(yM{IJol=Ko*N\Ng 8;g[oo&CqC 4CANA( OϔigYZ vy?% IMP2HOL-Eisbach.Eisbach_Toolsdocument.tex7zXZִF! (]A-MՋhvG"uIBm5aL'k&h0 Ѷ௦<|;"ƍ4+"7WCr.}*酳˄ d̃{j&}y 6t5Uwhn-4}'H1ouhkoj=I*4p^ǟ/yJc"6P3jG 6+V}B:)QSTo6di*dnY(bpUsqPvO b=h3݀z1 #`_̮`jC.MxC, VOܿm /x&׃Z8t1d_]`EB"6RB.ȧTb56p)bF8JۃetDKXAZۮaE,.%'qNc׸tZ[E20Q˳֠\;FUDUrJ\ǟ>'ڶ GpE j~1ZN~մpk{n۽b;wAXUy52:7jz0!KC(-~չw֬^ ?"Tı`Nf\i~KXr:s6$}y/&7 Aށi( G,?&qϤ'Ȅ0j”qBa Fg>O񌧓5pFԕ~Dۯ吪%`Тg>dрFB\5hZ3JnM|(Ux%eS(he7>* }G@U~{68(ا35^^ A)XAЗ.\OZX5@7F|sOLc6`%;P4!U"~)c ]ޘq*0Cj`)̤Dj}N'k%xٓ6Мm1mpL7g穵7LRȱJmx4"0J:,6"m*}v_dOQa7bX7 KM y=HZ'XXɛ]EbvXt<|I`(-:I - {lgR+!{;&[mAN7f((Ր< tFel[TAHǠj{4KB#V\"iv ´Wwe.Ғc%axdWFg{ 3f棐zYZQ<$9Z,|ZaRsŮ>[_, ~l`AmH,TnIxDDb|&O n?}WU˨o[ `6C[f QPקgYZ3% DIMP2HOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ  1% lIMP2IMP2.IMP2_from_IMPdocument.tex7zXZִF! i]A-MՋhvG"uIBm5J[{[;9d!5]7:51e^1#`ojg,}|"*ֽ-Qaf~uA[ȿ?G\sy;+U@03!ҨJgD>t؈|zm*%xTCzxȋt̜Ub4iI%6.(9@>1֓t#9NHDHSa"GohUɫve~}D&eܩ)-B g` ގж}Wx7K43H٘SQ~?7 \RUx@kPĺS1؉?sk,>w~l O )% \IMP2IMP2.Semanticsdocument.tex7zXZִF! @e]A-MՋhvG"uIBm5Ȣ?{ڑ0 KS] GJS1FB#|Z|S|G ?}?U0'lEw]* 2_%KCxiU8\?N2o_5p@oR9]Vsf<{bDЖ \^ КGlUKbt$hB׿nf9y06Fs>} L5sS'a97⥻YȽE5V6O)+zǧ =fkgq.K}&>Ӈü̻zZZzf4ә+lՎfDp`쬗ޕz/Qϳ) ]^ ɼ/2DP{ #% LIMP2IMP2.Syntaxdocument.tex7zXZִF! = ]A-MՋhvG"uIBm5Ȭ{Ȣ$l%`ҌI\mDn#}[kbRWPMpNec BW &S5rz XIi%Ur& HpA o>b]uXK- ,xx9G'F4q3KimLG"8r6{: $|qʪ~*7%H9#ኝ6T:mpdҡǼhjTŨ;ǜ]0;nzR]_஠ h^qp3A^텮k@˧ƘָA%f`!{5͆2WF% tN-HrtOZGgQ> t} R*kޱP^£AXq~!H>-"aِzZB E~YCs)0& ϘRǁ=0 ׸^f_P'nCU¯FNVRFTz'`9ARa`#{k(&R8`?mz/ tCH"B@dk"lKl d#M9NH'Q^"'mi8o.ɬ mkbT4[( vURpg\zTj"S0ܒ)$~wooŘaOF:J#~"k k 74"/~-8[94tMgE: 4nWnx j!wuf.']w|;Kߵ3Ԁɡ\f(T [E!eι<cN&rF鎰:PDlJz `fvܨwݧ1|+K$A" g6-8e=&d4F1".C:Ⳡ|aImhIe`7c},-:=YNbzDe3DoxS˿邍"˙&;Eҳ!C'a W0IqDB;AC/x\A2tݞK(y/A*ܿ #1bHv`_Q&w='{@"kH`ۗ;=@`̯ٗGq1{4HgÓ(h,y.}9uGqloQmK 89 (K$ \{ A[Q$3 !Ep7ΐA2^ݼT;fI_u*E&on2" TFz#P1Q4U 6Kʑv Lp]+'>ɴgsf|}pC)"oMp%OzR`6*2@ҷ Z7Ad?a[ֶjna\n1Ed8ƁGtPW>ʾAz$ է *:6mA u.d5*gtEz0YgYZ dMi$DNLzvI> ]`m5'cW=a#J1akwxT;ȅ(U`JO;]S0 7:'K}K9w%%!kX6c:X*7d+8:t+G:W=JWDzä`w*^ dTZԝb,d;Pre>AN|$&$Ҕ_q&p+3nNuLfr5#Teͮ|0w]YPJغa ^CSG3ٍ F? 3͘x"ʓ`݉;={ {m$zFNZf0AxRnU2ͱCrHӾl>ZH%S8,bKk$ϗuSW)q,JC?ŷj)D“ܻ*Y4HFIr=}cCjuE|ڟ+Ľ>,2>O >ÜO$nz݆aϚ^\w_$sٺqLbȫ\jZXdb­q QzzL!Pi=S$XJ&TeӠV-Os:!> .zzomǙң/Am~iNzxnD 9GޏG2o 2+fw/rNqZ_bHRG*>Oa^틒`"ded&-abtRz ;fƤr,w<o˂s6s(' <޵_f8 <Ϡ" m[0gWՋ8$ʈa1USy{?,19(4l`j/ڦ%+87"YB0CO[b?4Uz4|コl;1{J7vцr1O(>VCbXZ~֘IޚY"@ [̌AZ6] fMhi. +MB+@3s07bwĴ3h_6 umZkXB? oL[>SQڙox8+U%~H)a$+3GQ:'Z@Xh`wK_Ǡ-ĶTg_AKK,BsL& #C#ҵԴ{55wE_1hKrz)˴Dݻ߅ûͰH_A4n4| &oq kv! ږSܝ4Sʐ|g۶HТD1=kDRz:$|9v*8ȳEH]u]*E̞͠8n JY|J{#ad)ˈŶRVGF$4;%x8 aSF#J۬J ^%O-ND6ly9W\Lr5qlQ JK ^Ol ˔}G8ZNR$[C+ӳeaM7) lDhb{qAV2 ȷ}D'oowr[u62D)~4=I2btr$gsqKoxg{} cU~jl*K8!??a.߂S ElG:7)!B;!A#IXNPu-֪EXҌ޼VVs^lZ$B59Mj¡Z= 9!}5,@6Jwjc n5(H`tbłъ-D4/-Rٚk;h$X ԉC lF\_Abҹ慢A.a{ySLzeWiѝaW[S6d[skײor6L=ԦI#ꙕȩaI]~[.?|;ʆ+H2{7ԛ{5Yzݝ 7(UWkOWi hFVL(Clf|q~";oofVF_,op 5'yRݑNyNɮAf,Ǥ㥤iȲQêYgقWG&jQ.;(DŽ1-/kcwE[>02 EO)I0|:"j+q6V?”R 7-!39s̺ǟ%63~⇊R"HHݟu'sFTc&h3RTb3;RTI~4\:1;Q28sFc#؊FM"?OYް;(Dd_lsTx1O$.0 ]@@+ &\M*u~yo /o;j,";k`Su.t4s6?W[ *& @^hHsYֆa$ߦO4s7* =S٬4L^6n3rFM͟-l)#mRMڹ p.̄./L 3v)st(?o4ۖs8đ˻rQVqsۗ݀<;O)b B+20.|( Q!P)#`\kћqAvfn5uNSyU]'$>W_s~<?FM/챁,ߴ]X#KI p|":[4簌ul\.U'*=۾LgCXj$4m+:7sQmL1uQchԈ5j &^.Xz}'ny`+meI^O9 k&/Ԣ)w( D[.$xjW+v/ GI+[kj0&-ǎ{O⟦(j?} t]A֌첒қiV H-"2q7Wl=lq4.laP(ܿބwg=9= ۽ę/a҅iO'd Vi;Bwqe+ d"NEhU ㏝;HIcR/2P'r eWv>$_&+3&6Lnhh`?֝&,4tIT/ZΝ"VɊxd&znJȒ[z֣CQ7-ƳC,SPQdŲܼi=IB@Vjy(f g˷vTHT ʄ>~mLb+@s%`=ղ.Fm' Lpmg-H6(CkL=mx 3oӊFcUĻ\ ,|FP?ʼ"Tz ٟ+N0~Ƥn#I17)ֲJ O,gx.0oj<4ЏVBSݢN 9vNf6n8zS&7ﺶ[?9kMW"D;R"Nz3mvlg"BW/X],ǟBp=U?֓[j'wziN(w\bVE%.PuX>s0 K@HgLCsu3pɫ~za4<6W-]\p{O[dm9Q˚N~}q;LoE!o>XcDJYULV:᦮rok .;㚹eZ_|I9g|vk܈fc1H{o] -G=+'뒬(˧U/45tIBAc"Q"K`~HnwL֜7WOQ3#ӝvAxyT8v@ѿ͂A%+EX঑⋬^@A_b?fa/moK0\,RzJ| t˘hQL^hnVpWJӵGZolYҎ$Ugy u G8H}Lݩ^8x(=n҃Åz23 /x`2~4բ;qi|_~J[aIǪ*:ƥZҰd]]T$f'D,ӕ0̅E=Qځr%R^l%CsG%~_JF3 C+'hbfm]$epkt[i)Q֓7&)||>>4Uk8ʺS<- 7{rItKt 8R}MI"u$;K{RmP.@~*Ι ["9Ɛ{4#QEFprߧ]ZdOV8ɞ90r2CuOv ,_@K[͠a^Um_ıA1[˄-WT{~GL`}K7kQVS=pc [Z`F` (ΔoϽQKG7l:Ɩ^ٶMe`$S2,"ˏOX3㔷 d0#3w5,Bi~`gmal5;.+20zv$XT{fM64Anb㢍8f]&/n|"~O5ORo?lbi7|6eb']Y-،mer!s HCЮLv?ȓń(i {n7\J@'3c+/OD |c[ \AaxB%slN-B'wyeo:[LR졨O V!uWw0KWW\$+"ExBKc;S@ (E:TYIf<ӒOfOHu}Up.†5‘F}n,awx'.b)2N Gϸ=Ud3,@GSݿS6>eW;N2<* HVn@H#F`M,bh"Bwia8"nn!?zit#4B;v;tg 1i7f0$3Ǟ!S_9lpG KU??zas$6Y#XJWnG#b^~gn>%=PYrm&BvJu8yi- ^BlloL6>lqojLxfH bom%m,19*5["LHН$@RFMJޫw dR؉صNp&+"m6/:z>_4%Ku'8Zio(ۺW:Qk.cb?8y6ܘ=#zЏQꛆmCM(DIJ#oHT0@ArIA 1%)e)uxLЈ .~EBc3` $_I 6{v@S|AҽM> zD qq :laȫde!i6S#&4aϔ4/԰0l8ݣ5`3s!,>mfvz3WR Z%W'r/ҍ/wiBD.K):ip|:x=4s8l˛QVTW*(j.B XoH(1Eцsff>]|BjrAMA: ?Yw'|0c>d\hn\|z *6Xeӑpg7(Cپ=p7<pD#dp+T*DSQuH߰׸о6h':^BMuAf)̄:t^p,Djcq`}c!]y<ޅDSb3_T0~ Rqw x7^Tw~N}4X'$g{T@Omp@Zt]j\g&5߼iOy#[)Ϸ'%eU q/NF{B>s6(u׮Jx z;݃h KKIl$%b:}z5 Qa.|LGVHɝɔe`E-sy'C$/9`/~xܧ˷ sI{,N;"ȷK$_RQ6`9G JdsJke,<[W,(iwmvpn P.R7h'Z004W=fЯh3Ïn ;3]砬ζ!'Ixp:ӵiBZ3 9u3:B|ۘɠ9JW+ǁ ?Ư^"r IDJn&F%-,!N%2x $o4HaSTW-EcrEL]&g0398ļEtc R^6/wj!ޟfj|`|k2pvIď(8SNIʒJsZ74imD,$=aǤSӤvZ_eU;IKN^wnGܫ['eZOEd}$mq:Y|ޘ,/ƖU%r]˻KN̸Ǽb/~{S) :5;T=Txoɩlz.fDk)ԉ8Ҕ#%zJMnz_Y<lM/ųB4*gu̲)v}^=ESG%Mb< ar)L{CɷsFGQ8*gQ*3ay,jUtZmIpX./jqbh1_ux&e"Y2=j G|-ĿZ @(ɩ1-0 ^w5uHj=uʪ-0$xE7z<f. +p ( (U*d3放I1L+SHN!&t.6%w7ն8Yrr &nP**;=ћg dJg 8z{wQI"j+'5wF8` =_;K~zE.ωh_?4~ vsB2U]qnwM%'6f4fHQ OGUmYߘz2ʙeM@VY {vm큺" MS[ugȫlQC,E}dw#6!OpCbA=q1ce^Nbl% 5S̡1R=!Ư}?91o9)T`<%a-#B`=7W wΣ >qփOu3"3+&-Hzڢf.@4ildV^{/?aDd+J3Hwiz@(M;J)%.(ކlk&9w_A M|QC6tPUdkןT-Vz;no Wm/B`Dj\IC@myZEr/x427t>GutGE7 ^{ X+V@%T7`}ُ\G6z$ܥjՋuM& ʕG\ȐpÎGgiDMLsp G+\@ w %y0:R4yt Oqo`CtOhshi 1ҊAg $i͹36S2^Hֽ&ςlnu̯{3+Ѩ_@PszT:3%ipF YNi4 f"Z<ߕÖr4Q[C%c|j#>TψA9-A~-hTuުJy\ќ3 C⢥{ks {zOU& ,(AtkN+B)};& 5 ]`<0 ܧA8cXJQ53?h%hF\{WĿ-bJb'dֱ kse)N+WNI6IpF˺b<%5"QU>%C5OuOE`@ijj&ϐm ,ۜflec&yQ(-1-[`~=j\10Ph$MQ⍊?0Q2{yhKy;ϧ{HgZ"B ܘ`Aۢp,R 708)S,*ɠf1RaW _*y(ƫ˪,P^PLoSy@c} 5B$.>1A m_ܙ쑯?*;w<k7JiRo&wFS;X ,p8jGn~91;X)@+wfmYs#Dc[:=+$o*m5̓&.\N㧎1 T, Ϸ8DZIc5*V]e[ "Si=V&2Ezez T]{":Qs+*ʬ3Z֙_R/f&іdYАj]&, )1(:>Ǫӈnj#rYZ%x@uC& &^EκZe*X8m.0<] 2 KZ&lWH+R|Z6BY'JNd"zuDC)nɋ雔ԢWkbU}aʵ̈́lO=뢳/mOu*B[fJ42.w\dZ\et~0Yu/R d@4L@56) ȭ8%{>AfgI- g '<rgGo 5024:(?VXҴ`hxeao_1-lډ;jhMu`$d[2`zaBd'p0W]J/_15ab-!^KOr{HS쫋ꭐc *~$c=j*LTTŮKOt?d(:y>ߓ\`Dt $H cxdt{ NgmۤNT& Je5-Tz([yw)9ݗǽH9]1^ `1mu#ޒ~x"qާ8Լ+"#6tԁA4cNB1pƖN[uA6;OFm,8?izӈ;H,8 *c 7Jdʾr"xyaҀhD=p$[&|oB/<2q\<.^#IK .på^)Õ}<c'(;[CGa-?(W6ѥC0Z8]t+)A-%& i%/+OtUě6]gudf\1 }Q%d6žo5 8 ӓ4kR5%*RXvnWꎖe#*UO/Z}L.VNwWUWTfqG=e0 )$Wp[VcJ6x J~fNvW'q;+ ;9%O5֏YO0̸H$Qr +UegڿK+\I^ MxE K$#C3|(5 J:Iëa2~T6632F+V}KC:uلEمLnKڼ扚a鑵MaOl޻ON e&i;.<&g6ҤBT )ﭔ&k)ḑ,@+k ZٙG^rTsbb=q=y3}"a#dXFp|</NI[ (%vhU2%V ]z+o/ +x_u瘙L@,{Œ+ژh-Ts;B`6! &=YHLn68^µ1}+o&ŵ%~COcpbR*-x2-`RޱJB ٹbTFt}q|:/&:-V^ZPPɥXĨJ1D8pňVآY-$T^QI8nqbAޡ8JH~6Dyfw P5ɑNEck rțZ[uF^W&m \f88HEK{^jn7(~jG]~ig@{LĂ%JE/VcTɩAdpd.d:dG' 3ha-kN*OB܉C!KЪGZwWjU̿69ݽ%S{wW!5~  %a`YjqБ] wLDQfLVRAh4+v;Fk6mzE8[b\'"~&y+Mª;nSFHEULq&Aڎ !F)h]l&|O^g7 Jg|Xnf㬋@*& CɫHGx^XՑEd %OFܢM0t;aL;E3fiY,{}Qb6JeSʀm'28lUug6iZ7QP_3 z~A8&td6Y < e/j:. +CDA%G9XMuȔY!t !/c@;8r E׏VLX&ҷf=%AMnX܆X+~8',m. O r#ct%w>(gW:qDKD'#B(Sn}X EL7@E.{|n<0b?o&D[U#OYN=$~jqWYckW mj@C#/I^pgV`ΌdGՓ57͉1LCM]N.¼<ԋmZShL4&b+|xڙϲ}vT?3b%*Wg{3"E qH+nOL՜NW'`->_w}`,^h|vʱ7SFۤ@r!J: v=BRLe}IR,3YpMgkl8ewl~ufz¡oʍbDQj\LsϦUYXždժo#JU)fY`9E_-PBZ Qu \`tyJTƍSUw~a2y`d>b%.EzB3}X1>VT?6PJ>=M9AU;04 8@$> ѢlxF8v/UN})&~f]WBf2NO|+q~q?|&\dd3A`&7t鰮 It>` (.7u@~hFR{ܔ"f.k08ŇŪAfAiY1̂,5},Q2wG?B@(FsIu?z/eȪ?F a>ʡc-ǵ߃tʒ;g JJE!{Z8'*qّ% 6ȹh-<`.mSmv#Mc9Y+bov;#*&o3ͣ<(l{F/ϢڟS+5KLٙ-p j8\ˀ=0"+ԋ&=;ncq|=yOؐ35>4̾H%m\2%4n*n(P{6_ft69W+B3מ.SDjfļQ*rGǎMիqf[D ØG W&@(߳#y͖IRs9AzH0ǥas!b`\S"E'v췬ٓ,Lh[%ۇfB8PNi˿5xavCxt@ WWT0ڂx֪fR+/<ޔْzxcM [b q#dw~qxdMIYz7=m2}0\20qQ:^bب-u}۱l!>XU 5 د)GJwoBڧ8퐱KgKufPݻZhwFmm bf\Nk4^'irS)"Q)}hz Tu x&:|'4ij#C2E\jtGj^w.&9d(]v ej=4#[waЎJPwd{żjWb͖`: fps8bNi9RJN@MNN¡ σS}⁁|]o ^4}nحV'?Rkfe\+l SP2!Cz&Pm_4¤˱ ,I`u*eZW~iiKhs\*7&\hEOXK_$O%lw:iGi~|u5]Qz=V ABZ$M?OEXƠ09/(P\{!b|X2 VdγՎ;B8[ݺֿ{ on9(7%nP盫L%d k]zv aY@=gYZU=}< dP&Es.1Bm:]`ꑢ|ttwh1kPybj٠ZzIy s_,>\3نG[s=As &|L?Qj-ͧҒ$cz^כc*W(Ԣ\i2Vp&f#/4';V\%cn2Ts1ٸߜ c 7(ef>L/8Cereg@X|>ˋ=GyYX)4^KDtwBtAl r- ̹ǣNnoT2 zIJPSƕ)R(z˴CRaUT/"ZVQ' }fh pRƒ¶e9ᮺ&ח`-P[kspk[ 9 J2)XLKb@2 CzܑN_VpFJS헾xJώgTZ$BZ]^$jMmad< 8u.R]ܜWCޤ {mԼdZNb9cj!OrQs}62|Li1K%k ![UI1Cd/RMk㾒> S9/jB!ja|(ehe3%bEY!]5]΋iz-0XpmqaygCrk``p7,H ;&J'z--%^RZ}"8J`2ۯghk^j-> 87ӈCFFkHcGqq[)c^=KJӦ2LM&Esn9?S {>#&(Yﰌ|!l`䧮l['V\vZ8 wo Ey:Fb##ks{|VEve ::jn|9gmCk=ܟg6^1"\vBT|L(a[gSǧq ril(#>@M='b +[`Li! fvuVp&ՙ%_fƷNGX:ڙb"S]hw /Ӊ0N~%'%y;2FwvmceE N@ڑpu"(l-:!J QljU3(Ҭ4C0dY7MSiʻ'BCv74*7J7W\I̋8W6 yokY.lfO)֓]RDH [fO5H$RWIoS@qЄ T?n/,H5x꧕$slD[OhBnXgk&VYE +~bUUve4Nz(Wq ҍ`OQa_t=[?=abH6Aސ!3=(W#ZG^Y@:{DGGN L\i~e$6u!3DE ݭTWd+3w.J?a,ldOW]g1Ւk/E5WC` ϵm$4kn^U;jXfZ?uKV p6iO iDq5eD̯2oǁ`: X/}o'B?u$(и}v1>9Oe<϶H }Mzgק~!mWJ'6;3a/6X^m혇.u:Kb<0le<~ȓOփn20͸t15pJa/5 .ngW6qzMױy~Gk[ȱk?`=kmtDGRt@{$M O'߬|sYo3vL|n/Ob…DokQ$q$EN,0}K*x8C$LܐI-?v} ^G7 EאJ&!rUlvX#"[օG%OjW=!b58BψUkψjm;pƚa Ջ+s$o4w8F o:i.K\` laoz]%o:!Pp-* G%,鮝HriB #' inGN|t1!DKE б9jDЫ}-ªdVLPee/Hտ Mt0)&cjHUcbסX(<Y䧳[*WٱԆ.WIuS3Q8a‘kHlUOCF[^GP:)ˁFH-~O*g.k@kNWq@Z_/qi6e#_[Z1eثk=`rO艏IoׯY'Oc[Oڷ:kSRuח*1[H+IdïuS&Cu3El/"twPJ[B$G^_dl@WN ( | 5 'l8FI|i#{DFFTÅBMn}U*|%s5pn%Q"Ӛjcyq_09NУDTٻSg,2YMQNrkI?rERI&8vr`Rv7׀tylhH9gIqvNIx/8-TJxl8$.ݛ{TL SsWETϲJr2*De,@3GȞz=J]5pq)E\tF1_p϶m_Imbԃ_a}zwL[@|֏\%Hj?Ɏ+YT% z4yMkBz^R{TR܌h p5g)=2J'&aL l7LRT1]mOH8HCXq<7k=(ۺi %h! @Pbhy|$2gKPmL^uPB[6)-4n54qUr%(lPVtm DVR2Ј/2[fϗj jcr@љj+{~ZDwV Jl]Hfw/B@S =$ ٝ{FuI#-xqxxH|5 ti+qESg\@S,ڧSІBiI;W†T٥#2o?VH‹n_t&+DA70}NLR?` d_)eu?;I?)\8r HsnQ1tR6YAwߒUÚfWc+ePD?Jq}Y1p%)l_!ad_G%oS>S6ܗ>wBbZaH#"Sog7ҿ/ ̙a5 G̊+І7g 64 T%0]-R\CFfU0s+\mqUm""tp>H "-P.Ffm; WP>;$x];`dh ?! _Xz2G^-;qR_ʀYC%^z*zpql: j5o"_Pk IPH䏶m 2 {όp djCXtESBws:gj91!b; jYNAlVhS_.cf{JlNA/ wJ.![YAqV:H/2RAo)Ds ^*$B^=b$ DFt U]z&t;6ujz~VLS1u??շQ/hϸ{&yCZ~㮇ݵ,ߟϧmw"uU$|է(<5Z?Z3CBsLO(7_RF` #׳t"sPt{%i`"OB.Z*#+ K!œVk>64j3y]*Z3K0V1X ʚ* :f"U*y17t;}PQWUZ,(;X 71)<~P. >$N T^!92"Sp\̳:9<RE|E_<?HUhRڴ;4|S N!\va-̯-*d']YX$W`{W$'6Џ)eC] a~< ({o띯cdƥ _Jp.NpK73­PDϹJ([ʢ_NxUQn50uIq?uk> gDR#l;=K&Ѡ`&ȗw _|Lί uM`C))9Fa:`(, PtѸOOΑ7tIU:ZknR/1AB}&l5HM ĹtXӒ q ~U*}1KEgL'1t$-gZ >8AgYZ xx}7% ,IMP2IMP2.Quickstart_Guidedocument.tex7zXZִF! ]A-MՋhvG"uIBm5eE %^3Gk#KR a7x˒ כåX s}8(g72i[z+#lVg< GsR}$_.pǩT񑂏IyMj5(4G)/0c_e}`Iٚ/x_E{xS^4N(Z 7ea}DJ})&/p.Τ hfo`` k &F"MSo4u]> gj,%pJP!wuNDCLB)D!o6OW$H?ւiVa34g46kv<撎/@FsQO.ɟ1i| cZ֙G97ޑ*eg3Xf]pk>΃qTXnuu{sվX!?#~?6i:4i6!O#AiIz'vQgZ榛 T3~JMW~~*Fi O/9D}S'G#@Fiw.%`R=X<BcOxOufzd+볳,u^=ԯNؔ刣Cxf4N!I9~vf̕ գQ C2T ;[]!,Tڄ2BIM; WQ[T<:+3dnD*e-VG,$x)e|WM0W7 IV[w [PA71' #HJDi5f :!WS:^h~OI7c@ oCH^ TN닃68 _1dp ze>W<1:S5ddeS>Ojrmx,̯pvr6qxJ$RoJFg,Gڰkz.zEmSKL.z4G'7v!OΒϗ> P_o&3\"Ct9 E:_J)cmdG-R7Ӣ ?Γ!)i MRP}$zl5;*h |wpGY]Aå" uý+S$/%QhBŮA˜3i&6e6D0H'` o\SQ t(lHA^{"fIF&u?P+UlV8)qe1jHM>6u>KTb}y])c! }hKMm|brzme/vw}ΤM}@9V_qn[+>)?`螵ee?Z 7F$7"p-RTr=&HS7çPc}۳}j*V _7"GR:G|P"π"㩊Xbq#u76 acgü6V̯1Z)Sf?xJ-ûFNcccx#xwu̞T'`ͷ'Oel 2b}kȶ&+7ow3*|UxM S bzj_3'qytDabÖҵ@]8z~(QB*sѓ'5cڒdVI"w b~ +Z;7N@BZσ:ޗU[d􏚾EZiF41qw9TG>CGX8wBBQ ;A'׷9-)d-78;n(,fY-M;R !.xzXuarox䰳 Mĕ{1~5<ڑGR0WV Tuӡ> ?|q֓ۛ҅yԈ.G:S6 w-zt+X M߉qBplmHǮ!Ũ$%s+t' jxLqȟthQSjn5:{eҟZIJh5'H4 Cnߦ|%U_?$3M 28?["XCa]Jq`:SFn4޲D?v`kqgn^!C ڋzn+i-xrgH(݊}ŐĺO=#t$ݮL@U@W $L%ޭx !q3ٹ@?lwtrIĚUr+0TU@ Or$n?i)c5K;IWUKʛޥ]]Wg ]Ѕ 8;2䗞h`̴,{ uD@knC9IWjED@LXpVq"*U1լP~VC$'\"<2J末L÷B/ ^ל')3+)*ReC;_aC:Ӑ ;5zl)r,NPxRI&n2(-ȅ`U)G576|B6PL&2Y)Y@B7 ĭ=`[YY}+@e%]Eh }+f*쯋ú$1nK :o I*Q\QAk )}߳t00BZ0޼XЬ0*wwb.qӧwVtX_mwDM ϼ]xsY!~g8ZQN:ʼ0쓠ʢaq1$$ٸώ_O;lsVA7.*հ$۬?vbjhJI O`(+ {6)>SAmu*yy6Oٸa.\^" pwޅƳO&}fߑ*%qb޹ٶjQsR)]5p1mLP[šLwM s 4d^2ݳkwx9QpH8g VȌilᡒ̯ A/G0/2Ăvs#.2hĚ4E[= krpuM1$ugAS oL?exS׶{g! EABiQFRҳP?ܲn e& ,ovryJJ15;X\FRRGQ_0]lje!_qYg:'D?=t㊭)ʙK]`WD]+~ț:3bjh-y#kFQwJ Th2યr±]z ھ-ĴyDk?ckR,Bu=f^@1'D:LEzZrյQlA_Oo,[D5 QN&6 jjM/Ķ+d9t˒N"RClr';UoL%?Eϝ|Je+@ JJ5v5sʝ@-fzMwrP l_ѓ'D(WYibeg;n-8--.K|..?y W=(lb_ ͦ_LZϓ.ƺYgnHUZ 2جk34[(gF:!Ӷ /vG#rJy ,6A' %L"Gm TZ2C zNr|̛ҫDtJAqӄ H2H:w2B"03}M Y*EM21N0(vkۭW} m}nU׏ڜk'ؐVE)4*R=S{Td .rh@~GWc q#y_:|)"eU9ھ2Pv:{: Lm} ]IF]o NHIr K?T3uќFZkcNBo1mt0="O 5U K|4czi1|# lsAϊèy%0Y-ʙJ$ e:K=M< S蝕oH-&̄ah4p7^Y.6<>.k6!OX" qW&&:IRoYEc1fXz/<D= iKHEdfn-ՅٶWg%("uA9+I o),YlMC}- /;- վ}+ÐDorz})KsCN-w.F6,FE<Sc_ǽ wfTC=5v8C5GG i, u=lY/.,5~ܭMJ1i~I[daUo$hƲmdɦPpTOA$<|yVU }f& B0| %hx,WUs, X5%CB#CpojgqW]3.wńXX))7 ^W^ؐcl)sթJ={ZV5+nq_}<]w@YN֧8ejBd&Zn ||@JHqw0Z貓_GN22v)*Ut}Ox䍌 | HҒt@6EIxpTkЀ˷ՋXdN9%X~4op>k 9 >-f^@<&٦!Npu9]GE1JV2~G 5Qyfw$p@zG@xoRj+ʈ;j}`ͤM x,ZHp^/sdF9'p;)̌orX#OȜڡlEF5m͹ Z &J`){Hob=>9JDX&͑. ,l+{0)]bO$|Ʌy1FUX bԸT] HL+eJ#c>Pt"V dډ;\:V|Q5[6T{깃L%`2ON师w'M=)9\tJ=ۆhޥa*L(p_gӵӛvA oq hݵQh-ѯUzݓGh!hIX4c䗊MUҢc^ƓBfeoK^8ܖq@_#J;[O *yT:[.%bޘ 1^*yFv1i'A. Z \I"2@V줋8 % >":/࿾6z#TAܭ=/3ja2H b/ dןyٚd+gnC½F!Qƭ`-Xi3")`Ϲ=D8 []`Cs%rvL)Qeܱ8+Ʊ)b>2:=xT(CzyϚgŤLPI,J`ˣg^.d@G]S]bf.ڷu7q@~ZwKRᜌc@x5y,Ȏ 2~t` ciG .9nLo"iKGL$x G2eHdy73cW܊RߩI^W`ciLd[ pֶȆH z ~RtѢηG1 ZLsR(1񇥎!XJ(q bpjFͬ,었*W&tW9,DxZ,nl-&-@trͼ$žs|BrB E8n~Kt9*-U>+l 3&4Œ17tMR3ܩ^]&_CQ={B'^h1 n` G*U fԕ5U9Ět*2b d;N%/*a7U_!ܡ%o*QHkFspM|Op 0e(>Hl3(Sv\jl2 G"att>OY0^ߋlCsyK+@Z h:\DgG>أ\W zxdO2&rxD7 %zY۠%J9'`W4sܑScEe\'7(Nyr_o{2YHqChGXQNIU>LR= q(i'ZF-U:Kl~aj021ɔpo:} vA>ǛV`lwǶ1DwAHIa/MD'8ڵ,i7ifҟK/ZwY6gn[ir0 > eoI7WQa-!xI=ˑto0rm4BV>=x(`}5Hl>;cF @4@:1Tubǡeथ_0W ` gAjr$:BlJ|ASrλ 2OHe>:yB0Ty{ͧ$ #aO*KI20Tb29F,;ԜY{L'XBo:uDRh|VE9cM٢w)~_)lgpTN1-!_ʞuGӤ:aM}TјAK;AG3侼1vt-67޶?@xQ2z@9 P|yhWD34~T@GqeCu"ڤUQdh9JD u)/ЮmN#41V5-3RgCyal˔ SHI8kڕ#R*pa_pC`yF2ݜ9 |ƲNg#6S}\9E~C L K*8fm % 0>5T ~fb)Kr4s!Uf [wJ{kgX.xkw]eɊ1-غs'r? ]PjLE ߝ` QF&<^F<)Drw4v_RKLO( łaNfmQlo|P 5gNoHehxp ISM;g.ilx9C&Cm[rID9wx5 sr\}'n\쬐J_մ@ 4<?o']+ <\`7CW`L}FŔY4 mژ_BlIR3e{~!J?Ty8vd=:<ϲp_B%Eq!qCJ*I#^Rr vRm,i;)hOp*s~J(M`aӜ{a-0ڒfo+ /FۊM7ϣOy:m tf΋-V *$yA#,]N_ w_~FvZOT[[NV<`#Ck dvm-6y] *OkE *ĕOySN%1k2-ܺ&_5КׁKnyL[/+xzqe1{G@ j&-r2dx3{GYI2D Z 4 <qgO<6U~Nz.٫++C0Ȃ%vSTK|*! K8Byer=7QE^~xcuVzݲ@{fvmjWO4l9Q\| /R6WM&d@F VE`XO[JaH'U> =V 0a/8G+=G/Ƽy2,%Dz [i+8K`Zz9sv9He}#Ez](J(^i9YԐo]˔FE)U|lQ);8ntqH;{KӽH+n9+6ˡLC}2/xaO߲҅qa8D]ۢjTQ ~:B}tބ6^Hv/ loD# Wk&#K"A[U;M-njF =} .׬*N_!|krgVqfVZ6/~"+flEjdJ`ӏY%K%x+6sZrRHc!XtaCҠfh)o8pJ\a\ȫ!q=vK t,ScQ1wrhuq\IZ?CE.f+1>foHEvT,[Ù).N@!-cЯ=>&( Տ,;B]ީی9c ٦ܾ{tfr# @98 c;tch^͵>ܸut ~JR{cOaH1=.  O{ӼmBN72q]! G-7sN 8CLH'/G< @D- գȈedi68B>g'Vwׄغ(b ew-$"fDqnhHY:>WE6)OEY\4+ jفF#&v dLvdRoZ5e?Ƌ3u/x^;#`n65GUj#ӟcHB)T'%R4o!EtU(?pkoZLJ g5ID2X Ort2Dzs zĂx;%4[f_Wђ&u){lY =)K(gY 6;%ͳ6pjN?34/*vf7\1uiU"!NdeGioX60Mnj K"%ܫk/ݴk>XjP5yKО䃡sg6z*iOÓ1*eF%e#IAZg7%=MEJ*OLmIX\!n›9E_|ະٮ%CyFUYs|k&;ڼ2ldd_)X|n bw)- }TC ؎X5"&C& YN6>wGҟ\nUa]pf#o[g0`έ2x[ fpȂ .7 fSOYC | 4㢣o ȠGlޙO1-xS 2+ܙu| H[ۊJ؇5p@xp E_UL`ale/(نkD4ƉC_o1L\<o)NЅhN f~B=>:/A_bgRbW>rBQW0+5̰4A<{:ː갻 lyױhM"ܿ;`]M|rD; I$`:hSު@Ș ߈AM#:GD7AzjZ3 Rrg<d 3HnC[IN513~11zPzm1Q_h1ݿX?Kߺ[T#Cf}E: ߈SZSŨBVᆬ^?]A`n򊾮Hh<h (;k3Åəwrǧ]⑵Ro"iqfZ30| kܡ29}nβ#B; ħуyyD[h [DRwlrɡ^JI3|E59XzU({@V3O?\5#>I`,0883(!Ra kCˆ͍Bɳ4nzTUp0r%"G!3eywBz=2g8%CI ŸRQӸ L 7Px*mAB): AGb_ {@ u7=_ĔM웠H6,c(k+uI~eA LxNK}rM]D4Sxp[*k_#Q] Se嫖JY%VI3~]Q`,:[z䶲/3u8y9Y: SQ b3vkKbh+0% a$^O85`*HF_br-IdIy=&7w 9@ފB8XEBH axyd}bǃ P8 7XRS̐׹u )/n ۱U)oIVQfWfq#.'Ru-`ز APPDli(_8NߎX9= _VvRW-$HzGj#\EKFiBv9OF|DY$SVlt>8p3L 9eU Y`/p5ՊKOP$$k|J8_7ϮCѹӖ1LJ+{v hn'S;J5vxHBCq^<ɐ( CK^E-虃w@AuxsAc,g0NU+>~-@BF'j5[ ,u:n0 e<(#6beϭ*tČ UiZc/gAvo.MIKe@: &g"WkAIp%xtr+KyŮN^_}{3TnDَ H3Ch6\P,Svbuf5rh9^\|=w%n`qle@"/ poO(w>OO{^Qk24[oH)l5:,ㅜ(sR +,Wk@-,w!/9y\F c50xC+@Ӫ -b-^=Lbz^5l*w 5gMs$F ܠ . :8xq&aj]Yȸp l(ζM~│&zoVX mde-k,B5g$Q0rTpJ+eYFǃPf?*+n^| 1m/f,3_3b?0㝨@n_̵oZ}X 5T.v*7t66/۹0văh'd_],GF}^ zt"Be2ȳ*ՠꂐSG 9yۙ{H4ԟa;Kw!F{-:58!v;P- -y'@JhElV(eRy^CNO7RG|TRj,9stsC&7a6gnD>̫ MLMZ:7U"O~e.m˦= NQ)OG5VZ/ 3z~~_53_0YzQdx̵mXdDkh-_-0%|SSC c8{*V6#m6F03 @/E.B2-:6'[\AeHA<$7R,^2D_ˆc_ju1w:2a$%TI% %4M}g9]cI5=ܟJ#Z6(a7߻Ug1Ƹ oMM6Fn1TW<3k3xhåC}aVT$'%bt#*طd86Z'v*G=,຺/7ԑJ4ٽ"RgcpI@ҝ0|.܊k $ѭiDlY륗@$}03؍n dHD'cA7_/=,6aX/LԔ>jeD{Qabp1Ӿp9[2;'T 1ߌ j5 -tTڀS%B~¤s0ڶO"9Bq{jN@Yy{pe '=kUv3bzfkXl*O-q4jqj|Rs>I^+wgxt=T)<^'{zb3"Ew%vGCEnk%Y ̓TY a&_+m DŲj,;l$]ܝ{sAs9#Wmpz2xX~>D<9ql_H|ͤY@ߧ]˭O?d| .WMLgvt= |Lg+7QNrՅ̗\X8(&86Xm ۯti܁Op5B7$B xJ_[5s &BP ;i-WYv0Y+e FF 7 :LtRĘ?L3Ҡ g!BDž F0>o Ĵu9ޅl;K}m7 UDX9vp)It=0iѻJ"skw:ʂ7:+ "@AĆdt߷De Ϲ֧RPylTdh fRy2+`6]zʿ4M")#2ظ=WQ$k0=nň$/W={(d,]W֭@kŠ8D0?7áLBOCW &#Z4R>)呫A-Zٙ.qcOʤjNW'ؐL`2K[|ѳYtu-C\$|,&Ҙ@jvEHd`b߮TΔ>3-oA>B=ji~B#{A%&ʤoNXYGپ " 65(|I}((;xd$~:u@%W.ce 5vq$ >ʘ&jj$mƺnwD`܎sy8eNk!yID}`_oVƓf|-o{F)zXCGɇ],n(?0oWcHeuڂ!I@P;3pL[P"r ؽp68$D5IAv䄱)i C%=8v;|(QtP*PB-(v] x6TL?ˏLOtd4ݘ(4_7B%KQcpGiמM'`KJACkg Ð$+n^߲꣚ЕzZtWTS fԖ9&%r |-uu!;B'9H_b=e]Wa)gYD@bI!DaLf@_2A]j՘x|fqg*Ÿ~=6!j?gyLNeü7o!0ȩ2#Al=N2B[;O5 /_+6p Ct ʷꃭPeanZŌG:9R+^ {+( x)u0$=J%3&Ϗ؎xFd+Si: ҥ0< lSp/l]vܒx<8"Rlר%S{8D0}ϊJ*+u"2;2… 㻏>+eiP(^U @x~՞%Xv3&֢ )X2vιn@0IӦ-.ݮ}l(/3]EXxB9!+[hL.3GT%˸ˑOUu>3 qa5k70CjZw3}eÊh.lpNJ=9&Y@Nן|cl1 skb2?8&G2dEAQXdx8Š0Y=D:n b(p>B}Skkɯm}oS"G9&<:E`^χsT2PIPck/gYZ   Z '% tIMP2IMP2.Examplesdocument.tex7zXZִF! ,s[r]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̕p&f2k0ʌ(/_#ۥlxl"݂t:$ZDwY*FQkKGW._mxF܇c".~wԿOz""#{)x[$1I`t "`Ԑs [A&d!f@C9=s"L_rVV&H JY0=\5WaA^rWD rֲaɯ걬 ggţL|N'hh;a`x=)Os.9g CdGHDu~2C?JI՛i7&c^2*t\gԀ u@B! 4wϙ\I34ԟB[%Gyƹi_b_> i?Hph:~,4$f Bn񀙷Z} cg#9:%ji(V.K{Bl eY݈HC0͕d-1ZiânMD'uYѴ -V |o*u,;m-3!QΩ8- -pֿȫ^)W+W%i|=8Pv7Tjobϖ*I>3wqPJhtNօgkS /pd&:8IvwIBbx3(]^u E1lFH I@_=1OaF2>& |0NF{Q4'c XMټn)О>P; O\:ɖزRc1R}[.h_޵E:~: R~vQk݆PRfG.:-.@]T'."op2yN[HmD2p mYUrfyt'AUyKQ6.\ =CvoO_ͥ%M@xWa_܍K Xw/asU/@b.XaҖ+U)_:3U&%U;\* WK $Չ9$4!#ťo9QK6wƩ#KeF~Fz[9g~a$ߘ֎7j-k,ǨYeb1g,5f*d:jSLIĺ74TpHNKG: V7u/‰ 2u+*ػ5yvfnoxnx=p (&Ndۆk/a) ǧ lMd/ݷĠ_kb,->lڂ U KBf]7Q| vRyj++[= RLV"NJ^@!%:1i}]Zȅ,(ҧ++AɵyCPcjw¥W =qBIw 1Klm.c|yF2AW<*۫LՔ7:.,1V/;EF/Y2uv8]R?=8TE*(IƁ." %ʋ2|aI|0\ *uw49 L6t:|oښ^0~}Xl:Ռ-9k#o k\ONշ "—1QyA|D/E` _&בAsL %'^/$E;GZ^\6`.GQǸޞ,\pZC#:m$A0.q}K6H)'jx!D1dūL-~NT')q'OG)޷Ì\kBV;qCrFd$I OOK'N9ҿ[>0өqdt5km}e[%j'AME[mgЅzōY^oSrLM5k!)Ib@LƘUtwƷldSyOC8Q$U]&`".[tݏs_J 6H=l?KҴ"4˹>走ಐ 6C*rI=^&<_$fӠGR "ZYJdٮ-{X;Ziބ~6Ƹ^3 kWUW84DȉlwQrӪ;rU>GB; GıSc)+ )y]|C_(}*E*>oaMRdi#b @uJcD@^z>ZaH\$nkS#M^?+c__,z7R:cڴ&x$0I]eDɋX-lq RV̐?d7D(>[YV heOŢz֋~Z3(z y5 Vڿ83Avv*gO17&z|;^(I|պ%lPtW?.c|}^QeUNǮ.֌q!v(@npe wy~ *QWj%ITy<ɷ|d~kxQ!$qe|UZ0@l5ebo[ '%t_sN bMJ}S 4KUQt,@FEiX+" sq`<4ծwYÙAQt׏I:Aj[ؠ|+#jܐtCg\wl1\*f]d@7x^aU(ѶiR7 sA(, 6LB4j4<}xRB'P3L)ju+c/ uf[ءsǛg'} ],66 pnr3kZa>ʗ1/E ]LgYZ7zXZִF! y-]ŗXi%D3 6$ -9mfnCTǠ`}I% @D i.1 oJLGW:?qPf1u\we'n'FxV:xƾYhkQ_8#F xmM kr'N\AvrC{PU0k st3Syf x/DR j[T?N9bJ"?)<*tml# x,2GFtNzTD^.W~ iPpGf#2l+cy |"·)ʍq\ y*WFKɨLPF*>=S\ڹ,K1bmҿ9٠C+O,YWo t ,b*׿e^2F=tXz̨v :]NyI1&6O*D Fr,DŽ# sFIaHnUP3׀wg-ԶPfHގ9~oW?j,)uCIpc16@%x~K)؅;LLoFpvkktZ39j `ؠ?V\wufQqNTnb?![1Rll3ش/NT*8&OW| ~+}h)Y\stxc;]kOsܲ7$vdvR;9$)Jҡ4!wB4^z5 EƇqy(X&0>7Fٖ#HF24})^?Y?=X$+1vI"E0rR(] Ԋb~iL{j_꺙ߚ&>'⁔j0mvJ?vgxe$Y;M漠^q_}VZ] .qܪ 0OIS[= e'~~~qN|"'ǺŎxHS<*%ݝ(GpOa,FsnKLYGi=8wD-%")!/AJz+~X$U3/qgS/QBXd}Z Ky`+QnTXw2y uY ~Z/j*8)Ǫ"*TE.G+9XWr;rVR{:lvo^ yu:ӟW뀷xpamY'g[0MT;!*ߴWCFYR?j]A7D%`$+n5Gsp;-i{{Mhh-LSޯ hXG $V!7"+s'nga1U5l 0SzO*}mܗ!6 2&M sTbamOMXkf@1'ޢǚ< \} #>"^CtG!-fbћO_+FoܟA13k BBT1+,)H/SŰ+sVNQvBv zaw^x5J8!{X<5 "&OEHR BFxV0*4_gܣtz [ѝ)\-19̈"přQ[5@-RnY~JXJњn^4pES]H:8Q2Z䟥1&h5r?K36RL+lݶtk6=EbXK0m1/NY [EHf2%rEds~aLM7t̞TJ)~'Ǻǂ!bᨌQ[ B%KbʇzS۫dM^7N9qI\澁7pOق*c=5ÃTNl/hxſ<%Fƹ5kN[hnkn {Rdl_ p:]L eGzN]XWh_K +} ө.EvUA RwU|d"Escd'(AOj0_^BD{5X0in @5o+v#^R%j>s- ^ SQ%}@8UBƠE)o.Və}zQG)]$&흟eW5N'q!:7TpsSNIfYJ$ɩo{XKzϾx=YD8Ȭ?XdJ2vI*wQ~+b1Q 8VPdRPg\9H~uKǤk2Zzv~sP ޜ\2D*́<bo&%XfHKI4Taj|6&%9L3iDp/;^{P ԿKJbɭ!:,pc #KҜLw}$CGY?.?t{8so7U׭7$p?Ƴ@hԹ}GSC7_!>q 1Zʉm|嫢Um7@DRr=Hh>5Wٝv|?^(8Lh7\$#WD"Imu$>C;\UC8h+DPMjBsφg(YҦǾƌQITĊ@g׼ ^8'X5j8Q2WxRnX]"k G+BI%j*}^ QZTbJ7qcT[LZU:L(~ʱU8u [<7m/{OOQIn }$lfl_@[MK'> VKui E7w e*qC!-GĆMTsG+uo)qfX o-6{n=UрyVn{xll!cIR g & O*fUR zxB%H RgEid=7Pkf\R}wlۉ H́I6}r d0eTв{薷\6,<}y40|Zj^?*ڱ5rb~O5<`_dl㞪9V]ULvXU&[3Z-gdDA}Sr8&aMfNVS=S-\}|Bfm@F/ĝU\oO!) uB71xn2`R%NۗX8g`yo(ӨᮟE?߃渊q935A8DAYĶ&[DN`Mdn7zi(I)GwDI~9tF+Q}'n>A@1j,@m#Vy>ntWSq5޿qi%>u/+9!j4>dc)Ey:Xgy*&u&K+CX\!3j4q[npRX}x Y,}~_?A^醞1_^4~_b } (F-U[BܽB )Dp#+aވS\3$4 BԔ$dr6aL#uD8kӑrMtޘêTtgٺ@S';x9y -:8"ZInc\W)E7An™KK޽AlEvNn`=^&rWpw+o5c_u790o23lJahP[ddࡰoz 5&LB{LO Un o%my l0G6;'Wk / Х*@@_ـ쾺[/U^F {Osm*TynE!fvɿ*U!"6%#BddMQbͮ 4w DYd27x qCY|E[=QD0c)Iayvz$d ]ó0{:S0,V6Al[l9j.,<+DbBx=Y\9.C%$baƛV1 €U,QBN:}KȜoq6*}StdzՓ!aS&t6 rn QLxpwERv>˫ < 0/AsXd#N5#snS'W,纙Uj(rUȡ2 V2䂞pP!d"R_\lϬ)En2zo⧚ٿ+9ҡlZRk/otDO!NpCu:\#Z>/)X!/mi a407_ Zf)Y"t_آ, ss#-||=:~v@NI@CXu0J1ca^3J#qcw^ B!lEPo+-iI:UYl#o߻Z+c CɁ`Q6EJ`*VL@Պh$q^mT,gH]J|oٔ8c^ \b=g"rߺ33ߡK[hhݿc4%I<W)_"9vm}o | uUnAl=3b8t>P )Aj#瓑IŸ^jI%&\$|BaACi^^EZibP_1ءwM22IKXFҨ'\d8.Izu2X/TIfy76e` nj: T$K$o+3^ؤ)z-om8>"J7#ċ4Ԛvwr 06Φ'y\?u5 (%6p{3!*-wKei*=%)B4-"XfuKǃ̐y\Df s޴'KQf =~l(GM+zmTRB`'׍&UiBr!m#:  anB3'E{8s!ˊc?=i5?}~bG/(=$2 t?\55a/S #l\oPFDYH:_űM9oV 1GۛiM)?$[l-!7]|2?pd6%:Ղ>4ڀ*RoS~#X2\w/rE/d`W0t?k@>:ی㈮SʼnY5g꒓PxPX*kN \c;5R 0om6>@o".̹1^]|$#{7adN4Y=PK L=wRܕbxưvچ;-HL=Mт1C !/?=Zn7~v^+YJ[',ϲR$ +yi0iS$ҵ{AdK4=:m`Ve'bX<-“`L~itۭ3 Bx,;GՔv;@a9w-`A*♮[R"0 8.Buh)y=t1YLnn: Lc̯=vX|00| ;ք^% @$L](֋]`ն'l|rFj} ُ.&3lXl{, P̘a>J` t~[e\),uk/|G-*ܓ(]oN+Tanj>_Wk6WJhSSMB-',/e x/[9Mզ(]Rþ`vO4-X ZR a\0A=H|Ñ'|wɂVnj *+ L:v'mqO30sDeQɓH,SQ.!#XXy}-hzȓMVvNu`rG`o΍_΁W%g8+I9m.E))^NDAQa; S[%i=/brV.$VqpRrgCUgfk]JXvrc.{@~u9f Y܇YDX{C^LEj[3Z6æVM A.1 rAxe>tEGzĶ@n\;Ƶ +;ewQ:UmB˞M>/й"m20+Lue+ ۩9H&IPq?]c.ꁃ@=DD,Mhk%9-ϗ[x\ǻ=kDrM`x@篎4n &Hմ~zd%Jd*>w80}ns|]ՋYfO*^A9SmtoP "!vy֠4Q9fj|i=,U+AERW~`ш{&Jc0ۛx.%ߣ|(e>Dk~V?.u <}h,JRd+k;.('}RQ+L!A9Z1ZUō]Cn ո[4qi緿4ݍέEf%teV:ފMj’Vp87\,E3.C{$qfC} :.cmţ~:،pavQovda/TvEA1{K_5U)! h=XRŞ7H-}? :-d_A `r_b=}a΁U|LP3Tu#r2[yű? J#&?0x)8 )xwpAPnashHsަ,dHǁ?wLٙ6Shem v a,IeXj4 ($؏b){ja1IN"tpa˸ܼ+)nX2.(w6}]tj8/;?"ɜrS 0q#p"-jGիBh\Jf<89۾2OB5@=r5"R<{nD;KPHn% X䎬,l.F@*U:ُ+H!o:/z\&TZ /HڱgYZ427b2918362532f508d2600cfb654c42ee00b2f7c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6346d691a9175c56b2e86e8f22401bbdd78ebc972