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 uuxx  ]/]IMP2:threads=4elapsed=113.781cpu=297.748gc=6.4607zXZִF! h ]ŗXiɟ{@6&X'DŽlrduXvXFvݽTS\]\#Ŏ_jhK,_z(72P:qY7)zI6sA:kNo9w;oRm&H#k`&]eI~`AwZlQQck`@VTsPe`]> ]Z ~n&A5m-mJ_8>s3$a|ӼSrA.eԏ"3_wi1k$Ƴhb'?oMv.~$&]vuMvK2NΞ9DaX?-4ᆪ ]-uť58ɷo'4F7vGY:+&G$O(]?ssʾd/^ B k$3rVe9XLM_ʛX>[z_ 5]$ͼMvnʊ+Q$GHo;Djrb3K9$ O3mK='kC̭ĈIo,y5$[Wq~ְU*R@ L Q8uid0}d 4+J%E.̻~[koM>~dq=\ޏe>tj)>o' NO(Jlv/R_4VIU  #1g)779%Ҷ}zSQ6]Sط+r{,%J;q'SfwG%^L?XusZ͝O^L-5|R!NiFJ wK=.N:4&|ٖ&C=B_:djQ-"Ҧϰ @5\z+F@՞ۙgOlY/8ΰc{2P*nĞ  IMP23% 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@4  Y 4#'%IMP2IMP2.Examplesdocument.tex+7%IMP2IMP2.Quickstart_Guidedocument.tex(1%IMP2IMP2.IMP2_from_IMPdocument.tex$)%IMP2IMP2.Semanticsdocument.tex/?%IMP2HOL-Eisbach.Eisbach_Toolsdocument.tex!#%IMP2IMP2.Syntaxdocument.tex+7%IMP2IMP2.Annotated_Syntaxdocument.tex(3% IMP2HOL-Eisbach.Eisbachdocument.tex vv3% 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 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 #% 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  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~lO )% \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{ y?% 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קgYZ 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* ʯI9 BVPCo(YuI5iHƁk<~,!9@/innDJ$<^:mvZ=K+ޖoz!϶c>'R-_GY,E"W/Cb!{_GNeـWM`I/@< %c*|%3fc*W P9(Zt2 =g|Сc$Z/U@Nȥ}wWK/N zm[3T}ȑ_+OKCИN/3^]#GЫ,xMJ3H=G$-t αDl4W\1; v V1gE-1$畺\Jӳ㡤 4Na&P@ս<ȢTW۩tD0Qf!5} c'&MvM]8BTM} BK}X"kCuBwMUm/db]x8mNA&dAl@V ztf&IKfܼԋ2"Lca~J\N?T+􊋑pҀ4-;#oYr}9sf^YWPC0֜EkgaKBN@@ta6}=Pn\lIi]5 _j,Nr@=l{H.jUMV_i֓V%IciL oD>3=AjplDזK䠁[_s`6dv;NW.v._(3.$@hE(vIa6`Vo]ђ>j7ʳ@e&e_mbfЭzU2 )ѵ ZW;%$Yf:OG ۚ ]gYZ7zXZִF! *]ŗXi%BzOkYhjU4by9􌲇~ih)` a czO4}d#3H|Іr.<_>g6G6tSg[{0}"fv}Va;j`ȺTLSB2Ͳ}<դzu$yHḿBTĞӕ8_'oF؎FݰeGR ,_=ҽO^Mō]ll6UDĢ ǎT:gL$}%o #LT)XdAwMOPzuypQYnXHY,tr8*M4<P Ii9Uj3,s]\:;R}#bw *\@>0dGoء*uF[Ve@=$.I慛"f⎀I9٦{@!#>XWV񖚁mգ`NGQsq2DWrVv+Uh+9+_q_ KFE~Cl̽xbn}k,Z@%0ov uOIFv؄@\y(yIхUNM[`ܢZ9wGJ K=:|=YD߽Jg@ 'ӫϡ)6QjçBl^lc뾬)3w G"yҧog޶.):+?ODSÂ)<,TÀt\i\ϫ"si@['43h&r{A6/ X>eV:g$-F9ڽ1zAUI.D#2JEkZ>ßB'+ZɃHl;BZexwMq#8ĸ+ (r .D6L=ڹk%{p$Zc#QFP7֗E-XB_;YҠX~jlg˾wz@j+ĐX뫒\*BM6,Lׄ1gwRzqx;-Y &DEmr]N7V>5 >5e8)pnq3.4= ]^_b0F|*rI@{yA_qp[)=в9/߱P]sL ["]iOh`Qܢ\O!NhZ䦅MF|?AyXu{, "`O6"9!k$!? fZn67e`mt<Ǜ-kv v÷0 ൅\%W}ˆtt`wtteM%g!Ó4]@YcЫ h/jq{k<&G`z3H_BO1\?ppOTh~1</bLH}zgxMy(T8A*ŵmB;;C I魽폛7Gy¤4y"(1鴝hM,Fs>:Kن< kKDͷrq[]}ZoDm6a[k;W.|+> p$g (T h~b @ [8t @*bLfK*g?p UǶLll (?H #>p:SY/5Va۽PgII!"z ؐ 6a /&%(V[, %Q_Gjݥ5yk3dw.O%}޾ ; 8wDy*"aPh2ҞEл2/m^-1<8](0c5EOA >Xe SpOxWٌB2h"5|v1g_YbAb57 L@t/H 槝TSn! R /fX F[N lnw<̌N4z+\Y kC蹟DAl`dl2v|?8kW Ƿ. PhrPsf.gLKŀØV*$6וDw syx)nlкR-) 'RVFe~Ƌ"hiP%4ۀ eQU#Q, 6*9,n,@^dᆓL-I b5 2g>{ߙ޲<ć*%ƢKFO+d˸!EgɔC^n$-;vV"O%Y1I~/{p9EL' ( eycAUzN8k<CiԽf0Lgp*(Em5~zt]{@|9|^ZYekHʾEmB(`o Frۚl] KY {R1j<5UV :xCVMi*E.8~!V|4%ж4U;:,"KB+%Qභ+Q4ǟV3 D,)Rcutj~+{]/@9^vq03yKI1u&&aBDs<=”TW?nX^u?&R oށaG],䶾mγǷH74n9Li #.D& =Qi2HS/3 M N D$~V=r&t3?}{Q?k:Oۊ~G+m3Ī&zd  dQ.S IuL:P^I14t1_U ; {WɁf&*hD.ZV"YEEYHgBM ]UWNE >"FhRA+;) S\Տyݾ6ty{a[Wj6ؘO"b:a 78nB8o /Q:a(U3oUvUy(1uQo^&0,X:szB2'@qӉAq79.677'-F4΄"V߷'rjMCuMa}ZT)g?.5DR(3', IV~0;FЁIS 1R\]?r=7HHq}zG5O0CW ,5 {Ob 09Y=|n"l a.9>Sx+$y MO<&UGO.L\0E)/6 ,˜t|n߽]T"&+`Pzf44Hsҏ*zSKT$}(.W]`)Ou])ky /u4BH4Cߺ f؁yO:~-pԀO+L y)ƮY3U0KX >ցIyt֌ ?RL.3+}=g*6ۀcıW+^SS t,H(BLO-p*wh_O 9` E%noT ɘoɽZf_q}ZۂZ>5wj7le9yaY Z,zSf 'c>Hx]3n*lV. 1+"/9$[HrF!fޅPJ^Y,ӸUgþ-&`[A0¯k\M@.iAFP6[NАkPcOŰ_4#uVoK\Ȋeh?ZxgxSED>Kz^ )Y94~uVϮX7\eg]Ѣ9mC/e QZai_t*G+zQi~#%iY̿vf(`ljzŤw'5m *}Bٝ[#qC`HEꛆvtmDD>;L`A90.Y; ef:EcКso죵!;$x]mOSImCeJTJK@1@*G>m#|::~Fq觪8lœݡBP/ ur^ueTW,ɦw0[NK=B"I`BcQRLPnXSNi}Wq CDc<`7Oh]z?Nڶ74$~Pg\;ǻلOzv!c_@"?d00<;irJHɀBZU8d!O"rń 웜ndmb)UXZ:'廾/nE z2Rt§h=2?/'.O->]3K1~{nʂ73*h`5J%Eқ"ۈ=xJOAx=ln1G"lA1%iŲ##? xltW0F8+|Z9䰤Չ܌̖f ›Q9U"4L6gBR ؞&:V?%ډ `keivs3>[ĕOxZ2 D ʗYO3Bes|hDO,.Ec5^ojL&>qA?u'I EIwgAlwӧi-u._ jt"c2]u=(,>|&Z3f|nGBf)i`QH*D9?o~zJjl<1L B:DJO e'?)fiO51'\Y]\(C(.&uǿ}eW:h'BF+ V}x!"Y<0w ׈e/zEX2>Zs垐xu HPۖcnHz0(H'E=\)BVDQ zH0Ea{ 0 qM[ނ)ݚ!"ftN5 F`=Ւg"-.[ `ֳ9 ^Uʶ'7Nzsb1s-b0Hp y/E-{YIi{4c>>ܲ*Sffn$7c-]myR.^ᰰ5&/+s6r;^tFeyL1+s*ÈE rg-SݣW)L U$,ϩͿ/:R@O0ό0ůh1ըZRݗ#S\?˻Й%JH\~A6W`͡am׍iTS<т5.@Mȃl$o >62{zDQI$w(-=5 al&w C)ZD2i^!ᵶ@B{xC=-+ʝ5o #B2ձ5H/eW9j,,FL)U#+MpXM}F{y\=[ה_ s3wNCruz|թ=4 2BZ G$AL~ROк?w,-5Ž]rSz'7S6z~ՔA٣ dDC-Tx$hmH";O<Ɍ-]ycS}`%m'~2 Fݸ l\>Nno-v]75b͋G2_ ધS[Uo{s+e=~NZ%R" =IqS~cR]!} h盡$&3^S"C.mk/VmDƫ _\/VW|gj udpu] nj3w{ [I{p1sQ?>\$4I]N{|37BX%=*}2a2efJulOۋ@0,Rs5%;T%ܺX2xzJ *{FJU~_`1&6Vw{o'܉{%K*R*.Vu(X?=G_Aappjd>y+͖8@:6̰/HE8!V L=_r߭!'ϼlkt+XGr{*ߵu3jav5 [D\)R}j[T}b8Qp |>9BHVU{Yͻ"R5K!Sدy%Ylvy)-ZW&-b`Յ6!uO=Ѵ/K@MQwA6Sè,^?J?CUNM)LSA+2ضJ!݇E`$̗`T{tC_:*x5*f~ V,>ۈ F|&^lDPEt^`M؍Q=qw * |(UG&#yreMjx%tðaNxcv@YG7b zQQ;Qt- tsB(٫@6C2F֎;{ZT*5blM7B,O>/\&=IkwJnV#-9yK>d Z glxg ys3ǻWزLԣcbȊ1CЮ&FX,$VWIbs ([2[0 |1P> ޒ -#s@piV(2S<"~ޕy❢˛wId \'660w"~1QX@ v_qO9 `JY\7=4$驢XƯQC}[jQlm7uZ%=}3Sm;KSIf9iNNT JD5Jހ"&z:I.|&qs)3࣭r}h/g-ӗe;NB- e# ze-2aqOwUGB̓q @D!a:G~:! &yCܞ]5yZ l) w0?b_,Ɩ9|~9x˅s.#sH{1!.d qj˾h OpZ 6B",3fLQj>6b H 8{p7ĄL3ž׫DS= 8+H.x Sx}J)e:ڑר0Nf߃i87 L]Mf3j*OQ2fS>cA9s r1@©YkT0J~)'>>)0)jMsLٟI^;'Ȍ- '+H} Z_Ar\[vr+x6 a4n6pmF}Yaz@WnqxIJTЧ PgYZ118e39880e73b3fa3c6f5659056c5e565c0bff8696398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae491dc77432ae90b25922a72dc2db1c037dc5cc7090