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 Xrt L ]/ HOL-Unix:threads=4elapsed=5.750cpu=17.848gc=0.9087zXZִF! r]ŗXiɟO}M:; At¹ϸHKቌ6 85:t-kUt[VC)S:\i9+b\Ԅ.Z|¥xkθ-UhݪM=1Nh='Ȅԓu}Dܭv?es4@޸\)EnP_ zT.u)@#ac[(5􂄱L|ױ9+NV"E'bRH͓͜C(=\ֻ$D׸bw_6?1fU!Ofrţ=zFck#m"^#W,q& !cq*h2/+75`>p ݼzѽE1vIwF2B%%gc,+8)|}$|L@LǏ$_M5Dvm^ZB!=#zk?*2&3DSubpŰ!D8C'wRkɤ(x-sNG?OQۛĉB,nknHꊽl-)ߞM!эCU WykY,ۖn.~Pn9rP/{ e wF tP>V)mn5LEw(S:mJ3ŝ %Dih[it4ν״GMGhj唂&ߖ8&ipL\f2riuƲt$U(mV *TP;(؏(]#ošouRyr֬2gMo d 5Ԓmg y+T P¬t]n;15\͖Qꏬ ^kMCіo`>ryG B U:8mk !T{{bߛq>GcΥvEgJcbA O3!l?lX[ҙEMfV߄U:RLz&7U'H dJˋgYZ0c7712b49c311ee143f512d61b6eec7db6904c6ac3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6   HOL-Unixt 3% HOL-UnixHOL-Library.Sublistdocument.tex7zXZִF! KS]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeC% THOL-UnixHOL-Unix.Nested_Environmentdocument.tex7zXZִF! :L$]A-MՋhvG"uIBm5ij)c· Ճ=># d4qWqxr?J*=ұ{[*qnz\/,ݾ҉u+%OI>{Lj,8C[jbZэ%TF+=PӠ"f=0OgՑpS!O:@L'nF[Uw/p, ¬,3-amzc?_<7H(i 50 9woBV4+@ѻG}>䇵P( 2>i@r~'tdEت= jJлLY‡ #8$X@ ErLJ]7W 1kNsB;*_ˬYO uD^tt9ږOYC FMBJPE!})BuZ+q4DmIa"4':;;JhR -gxp;MkGtW?T)}ƣcd ;J:pMoSvѬd{XQWí\$.0U"su+ō#`>)-W*"%QK6+bPi(cx&Uy%s6>0|EC:Ǵ(q:! N@P׃tTM\,?_*gFA$ZW fk)4-@wP*pV{{f@9‹kL3WP1T3i%{d)Qs./G_ i -C%$^-y% Q^tj.A b}llu=ixp ,q; M(0r>}.0:@JyeFXєs d]h? zf /g6!MQkhvrkO#d=`sE0 ׫m-yH*'7 *ʰ>*5`uq+Ԛ 䄈|^kbxKE3C;R#۸n*'pm]:KJZmL% 40Z)eexQU ;d˸Dίv|. >## eH?8_D rL= 7}R|Yc1!5_~5cȦdYl Wc)!f57UPSGz,w}V2(QKkqP,?eSlCQOנRRr)_MRi|~iIE)[FD Jkۄ B6vxV]GQkgy뮥(Y4PNjhȹԘ`'#}x: },VD]9cցŧ5/XLw55>.ĵ2Sq8t璷{JY7.,p>{)ӑ'ǁf ̠Xh6K9צe MΘ }p.:>iJ%$}6n>S>G%)G,stqZz m0zGĥVRH l+AChh:y j!l}" vn]:( ;/*8w׃6+f.e%OFL`!QBQ$'I ~Vy@CzM_"ND@ ÎDYDZdlq73l9dĉeIS^Qt79h0y5N~%g|8Lk}HjITm,̠}#Wv-?|d@EӸ"M)XjaxK[\>(Q: t^˲bO➶õzk^ hf0$H^f^0L"2yJ]84^H(}ڴ\e1 3jzgꮵ}fQU8 X;ŭ >%r=Df9T哖I[n.0i=XO4"7pM-g:wQ~ uu''%HOL-UnixHOL-Unix.Unixdocument.tex-3%HOL-UnixHOL-Library.Sublistdocument.tex4C% HOL-UnixHOL-Unix.Nested_Environmentdocument.tex9X*J#vMQDU0Ǚ#^62u^leTuS׀cͦ Nq=69[(`K} ae6[[M=X*=d^B8: іcujkT$ִw QS)JL“ dQtjۼJ7;{=c=QFs1CE= Xz> '8/zMZMfBS*j[b3z%rgqxfDDA3:Z 1Q6%!rVku6.V UI>X*MC] { jab)\:ŵ#|1P(/  4m@:jIɲ便aГ2ͤ餳SaWA%tF'FIy* ᶫCb2MɍVSZn~6d-uJI(nZ$ =:^feIlvHćBE{zYJ7 RC_fvMn{[9H]T%Xr#H.slwLO7E~ T;"O ::)1%tex1$?0+X85̓8Z0P"-"kva?)Q4;KZJ apc67Xȧ:/IRg`i캎eO$6O5-)W 9ϭs2D1k?Wy,襯dM%ȭ گnŚ/TA(zOҽF|\ A a_3 .TEȔЄ)v5"f!9+WFRzYszӷ7g&I vB9dR0M\-[M:&MTle~y'1}Gc^X /|@ .CֹyW}A`5cЅsFM'8SUC l{U;i;vK%woMaXڒJMT" *xNR +vSh PU +h8G E(|%I s3$Eg ':h?qVv:B`g8e~Ϟ߶pY3~P Wh]RDrolo{ ۬BXK++X{ZVIg&Gt[+@`NB},W> A2ˊC#*@op^3]_hk"Qa lep˽Дj;\8njSxAZ5ohTq3 (WFgK7HX/^ ?+fRƋ Rj/P&8MKx>_:)}*RLɤJF-礃 H8't3bscQ"++ŷ51P|$q!4"s诂/X|Zb Vc2C|z5FjE||ZJO}H',^W9:p8r֒ FEt7`Hȁ%hot|<n~,iy"wr/IA>w3ձWc0h-tM s6酣0o3,;q(2ҿT"̹kCO>~ӷS&XxS24D[׫1L!&(@]CVބ\`1P/rNM'4&Oy-|\枦8DFKi8ڍ=uǶØ)SEN>S=4ɨgljwF<#Y@yEE@mVP;:>gV()4AfʴL0q0tbr-Gt" &JgvCI)"g!093DW_ύ$`}%Ne[CC-h bO-;e@dbxSЂgz?t/z(l?O ۜ#֖ogH2s2\[9<[7d6٠nU6$2EU"t,WCrN +0PЦYaow y%*dUj| }M&Qm6 -fTIU1 :; )M=gu:txNذWm3FCz*CKARDȘ~N{kzz0G0 ~Tge 9OzY8sgȂ6N~˹=pVSoܟ0,@[JTƴ ]ȈK'f#k-s-#XT* &nxR`&Q9GA/]Z?hl?9:mݱÄs#+ k+w —y/={hҎʷ+t"Ly1ZM,"FڛuƱ[P:5 eov"E@%ZRU8BPH`Nx!]پ(`o\a-Nu%YEq`8c.8,SJ{do٥(sUy9d_;CC>v:[E9Q7e^e5*OYrjrш6b2z G/Hr.KR2 ;F5?e.$_ɅZ%:k`щfqJ8IQ΀ʵg$C{#%)>$H'uB hư."|z؆^H[Y'_+; K|qbAr bBcӕXx@ 7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*'"AU:tqUJ(C90952'ke#_(Ǿ.Z‘M-a/^XX!\~$>Nwgw?g'J{ zRSTOyBHC_{aSJ+u2ơ3"4ؕw Ʀ yy+ uEq fj7:{6>8] nggN?uL+*<"QH>-?2ɭk#^~,:ea6Ub,Eb#BRNBtjԃڻȳvFt7c^g-)9 @QvSd1Yl:{67SnP>4Alc10`ظ-wb4bD#$_Wݽ@hB)Rx!4R %Fw0CozR3ɶmҩPCSn^oJdOp,S>A;"}Z¡sG匽ޞ^"dtzҤs447^<=axX-`.b%#x7;x#496nߧqjŏT襪c`!z9}L_TUeˑ+ցBw#c3D_vMA_}]*bruBU&CG#W8cN[fvY/Քo^VUK,F+K=w&tL}dRcegi_4ȓȤ{4ܮ!9^9p)vuI:}eS">fzOMU5CًAi*9=tK\?yĮ-  b%AxK Ma ]3,LyYhM1%1$࡞3Qx Qxbm7h^Ϸf/}0z&H|u,ƿeD<67`}0-Gb%O!s>45Z}(4H6< c}mqbU5jgz"LjfQ^u>cő6~RK.^`zYl+Ge|;*UvfvR3C7Q~pڻ2y]hMQFX`)/ EB<}\cA; v(-?O֊gxR f+| rqk6xA6#DşvK&ʐ!.[J«NqTPȡ6nu qpI 7\(gq>{W 3qFhwifpq>C@\6l\d,'>έq?l'̬tP: V1r{y!/edx"VSba;ogPX+-7:_} iqEw>$`t5nvp2her4h)ԧ~Wx/lL82<8yLX| \i#ᘢ_3X nl ";CjVLJDC X4w09J`̣Z^{[cY<Ҩ~*)"-Y 4vCOvzG uH~COQKL݋`?bg[?pƬj˛aiz!+[HtI`JTE/&ήm!eĝZ6]TؼD)KZ z)Cǐ]д6-B'e tmH*fNrGfWƠ.Yl&/~pxҚ#BwP $ `ˇNG%Mc˄2%Fΐs' c.fu{!Zbu4P3$ F}>-HN  Is 7w@Q`9S? IDt5LK[!Z=wt/u𗿟*6OѭB~,-b^[4HLL"}qم?)L3#wCI,٫^kQZgF4(Di:0X!yj{Ut2xDcĴMl4n(?7''wTItʯMǩ&ѼF*Ii~{"%ځ HHgڷ(~EO$:_Zv'TD|E&b cfjU5~C#x5E*ӍM%16 aWہBAs#o.5AL jΒ|)hU<0 ʗʡ L=F2}X7+Z;F}"ՠ@ !m@U($a=QJit=>`F{WNLρSLwAFC,#G,٪[}Ա[|+-={>Q{mx,K>~ydߊ`&rG1/ Fȭ3^ yAZDzi`R;x?)CEWcT=.u"Y>:Myo&|Zw/Yt]~Sxb͂gzĜMac=W>e,[V}F`D!R6. T/ %& tD?k'T,8s?P_\ԡw\qR lmM%F(˳b;E,Jf\&A$ʷlwM*eϒRȵ(2^fEcyRe_6*eoPMWPrQy}%m b٪V@<|A=Z{T% (ٮfʜ\c\uQ)>U(;(- vAooC/OM[W!k'6g"'šMNgE(j9%&o4u|'* 1q!OX@ N47L)1˧O, fz@ Ǒ@b'cK .6zO$2z*\6ӹ=djԓu eu!Q!a5C1ڻG,}p+s|,85mc :h7h¿'ֵW[zx3m錜=B!}wXR]rEӫg( "ZEo1*q<,8/ƃq'I@*'XVTkkp2SZ385Q@.A066oe>C[,=^A/1$xcfxX|hi`C5 8d jY^x}*!揠iy{>ߴжn hSc\ 76iт+ VLhyI+F5UHju¦ c܎~g*eAu#fZF$hgԬ,-!In6;B'3o8EɶȦ'TbFR`:=3CtT-) lf5h@Q5/kSSOKLY,mɃ<51wI ^q*/ռ;pWȳMgV%򭡏_gw@Ds>IȩB F!ζ3Q]4H\<^A]#1w!Xy SA!""h8֪OìSA+9 kFa'%%S晜6{|Yш+!8iHױ0HTsY6!c)bj>T4P`znVr0nvuC҂gh6HY4:p[J۾I",] FMhٻD&%rbװMy'tjC l!r|2XGa9tďpE? |)@3L[+搔0{ŤQ|}l'L:pLz׫O;\|ҏcXs3F D uHP LxF/Հhѻ7~fǵl aSYwbďjf{]G}K<ꮌ?.5WwD$|t{zn^21. O=Nv[zI8+>A)\}S|}yME4rI4Piͼ:w׀>h+$>G?_WgV!:RXR&a0pP^7U ȫ!"yĉ/ϋ] 26T+cq1!B4`?^S%f}ѥkvo=G͍= 5fF*ܚop鏛G]7šgM _3HRPdd6`NeAbz?8v?VҼ5̫Ύ?G=epr6 0b2C;Cr0E ?ke+quctܲe*dʹYrFf55P~Vuer)210չ#fpB{UEmA5=9n:]7h!pf]2}ܬ팀:_>G0@5[6D}+F>z {.k%$#-tGF\b)Hna(! _!2%"bC*sYr]|q9h\ ^ո!7`le02px1S ] E+Wm(kVH'jh&/stlųeKLZi$b FG.=mpB;XB^ 19b Mtsc_t"|$Bf% >$v "W[#}Wijzqzut<˅=<Ґn: Znbyk*3-~a2s0>}f ɣB:^隓ΜL̘Thz>A}nԬG3C\킥@8pg$t :ξڬ%4՟|}d.!R3|S;u9!5@HHH!fM'Q [thnVZË3ʧn)svCĺM;5QAӁ 7",*ۦ_'=KsTGޭy%@jb8־alO}H^jϻ3SG=ɿ#8NCr%RуFi$2D0=SrÿxX=$_;$M]Y.,T?~h~Ԯ4e=UU5֡84E{׮jܨO*k+_Áit5EA1SL *\NY//<)d-c 4ոK53zqeiQDF4s8b)şdnFb$: 9+f+aDW럨/A@FLŸ3NcQRNs)GE cuzR[K48ɟE?h3f !Uﳀ- Q+ŗN1xtcsvr LßE%#Ծ,SfmG$p7׶7p}N8zD؁:|Ek,bV1쥙r3>VCkhޝu2r !),Ӗsa n- K>ag/I*ziH#QaVwDs:A/L]a'7ܷ]x +VM Uy*QUT1I7wFjЅBO9g;$%Y%^M7֒3śl65KYS1^ZPjIFI~_Kru_X5f+NpV~f1:-ht=%oXR+1ȉ6_ !nuk5WVy^OW|ύ'5=/\Dd9n@YL剥l_U-x *ge2 Kw--Dv઴W]u?X@׏cwfet2jb7ԡӛ}N!NWd\-±#aĩ>'sAxV= 2#4 "\ L8p3HH\5;27g)l\ZÛϔMfD*F)6!e!d .콁Pݯ7Xє*>$:>2q*-?ZKH9y&{ ߙ"uG}wJ:Iw!z؛i:cu~fN2c|hpJ=RuwS@f-brY M!T 鈜 ֗ eVo /KsmFKs+ ?l:?Y,ô^Fu>Uܗ]QP`6,p)@y|HSϳk(;!ls8=J|5']5UjA/蘶(;SGhk omwvD M)TSR' 2#y_㷝 f&r#c~LJu6-<;e6s tp1,KH\yP::"k#۔ veg6+vK[oݸBŗn0AvB&9l;|rZ]4EԥVIYNDžpluV8?;5< ^8RyAɟ? `W4Y;ĀRJ4,Ÿ<4LOلѲ!xxzTЍ`ͼk/ݾiD}-G-e̎kj8)x]͂w k8VEȚXx{d1.pT|&#DkH D-@2e!m@/1%236gZRBlZᴈ(BM$׵s!&_ Yxp V ޫKiP!o Z;%}c-LAK nl>xt_S-?Ҿfc7BK:90j;D;Hؓ.yGhBoX1N#3% P4'!8F!n'a }wkzsZڨYM7G~C)s^W{ICoTvn\[޿}AeFjR4۷n;8!ٮ{ ȷ$/[& x]bƭ#hD9)  F1FAJyIe(t/}=!~ZGv/E"i/*o#r#2y r kv`RX8[t1:3,%b>R™LF¾gtAґ5׃|ͩ0$Y c'/^HbDRfd|x/?LEULU1 2[s^a5ط],A8FqO rzvѡ<5J&<53 }L,g#U劯8_Yʧ}Grbz068M0MM 8WqiKǃ]=*6|H!Dc%6bP9ڽ  Y{,f~Ԉ1Ċ؍[zc=˜NlbE7#:aF 섚cT=q4DgTkVE&cWy usRǜy ڒ7Z4u+R*fOsFVB(, 0B}tJv1~Mġ01@8N| eIEXŤgZ(U0V%ᡞ ō +dPId#qr Nˣq$Y"F0,5M+ʸGJ̴`StM@$-Bz>$ ZlQ't7zD<KCoWo܍*! z#S$v#WbdJ l`d5۾qC˚tj ҖhH^烢AXa\M j\X5y=e+ &Y"WPӱ:%kDĨĚK J~^k''y%X@S %EY8U@[JĻՑ کy+lw"K xd(AC.ޅ<3=ߣxvT$2怓?MZĜt_o8){{^a}+Z, 4v7`RA6,Gea "6˹#{-b┫o]$zp.0&\W0 ^ʗ.Snyq#djQ8( 6 ևvNŋUSt ô WF!웉aeqc1 d?7Ӟh yQ'd&<[4@Fc|P+mNCi`DuLȅ$ ~:c%ğ3V/hcU0o&x+S'M;a= *`F"z!){0>ȱƒK@f%7e/eyP`K ɞS RHl)Z_o< ·vqh%z]jp507Y<ųlZ>ȁôؐ/?!!7{ tM87z: Oén*+.2*%[e i bdžBs+*,:B'j\ME ~'z<Ϊ毼p`4ì|0/B @sOpl~y}& LγvI!Ϛq{n`ϔ6AZ"< } 6r/ TS%'}vF"ӥ@jO_0C sM1(zsL ':o1NA⫃EYy%(ģkG`5ʾn3u'HhWc 9& tbƜ :7J(7jthtaJocDbY]dƽRp<="x';X+aD g7kI6"Ӽ5 #Mt܋#qt?$ ВOi޼ >V^ rܐxR^q@6'W,pG&a/uXƗNNd B,Gi>6`J^M 84wnf*CJc"m=>Pqpv\1zQJ'FA5DvBԝ%b~vW Xeo'f'%bϱutn4*o1!X%8^}tW6io";×.7Iޯkn靼Qݝy<ӺN`W#Q 3-Z \ّW(trT +me0!F[&PΜH bc&6!'99 ;2F"ݢLjIlչ'SI6~dx1sEZǴ)V%V`4qS'mBM,Dt%jQn x04z@6-v|jiOy [*n?Zд,*Jmb#ZV>ϋ3)4c )[l%*M q[ɛH_-N{ȬA6Ffؾ(aPM%|65C3K|g3P%`U X`oC_/c'?SO5X hz-->n1V88izW8I.VV̒~$JKT }1On`m=33NڊP̂9#yRw+@$ +B>x/ggC; t衧Pn~`Ag;V=&$s9L~Z݄x9{RWqyt l LNO2Qy [4-ho"Bxgធ!s-hj=zA !w@!<9Rp,ⳈVefn]nU)}`"y開s$Y%}γq@Q]-bXxV%ccaq=kp^q[\ G`'V1dUZ]Bj烒3$Ot0*t>'Ji3Zs8j.-+w%f|[f(ұRD2N)؇Xz"DaD 42@LSl()Bu QɱF䋵M<ހj u{FW̓쭴ʹ}IY47TfwRҿg uv>]οOWW/{o(ײ71ʰPSe 84QQ~f} ~5-mQ\~\{7%@%7&5A A+nhy%%m{:^p;3 CSd)c%:0o<}BONS.e<\#amq$ UZK/ft0KbݨSkEGZucjּa=æ 2JڦWl&ЍMKdQWGƮUEHIL>ȕx}@ SE7Yvk=@ {x_}ȝ`zgA&F8G\V*+CEo׃V*s-f&e$c(BHXer?̞BSG b[pieM刼~">b;:Ĺ*j̫|XYvߝ\2üNAa؍nfl4-й,ZкE" x4`=Ԛ2 dEnBhp[ì C!~:w;SFf~QDNErbo:$d kRDq\2P@v3cOnfG G0_WcSȾp"%P tbXun+FK;fOQ/9C@HPTI.vG/(Wes3ٰsbENK8BT4nT+Sg~)٦ZsQo:uY(OcƦ598 PJBmA£hBp!HiNVz=yCɠ=y0%0jIӝ,²Tod∃6.#gj-HRmq1Zw$O7ߎG$ ٯ7IzŤ {%W7ku[zidxF\ *8l\1|@ht6 bO'׋+w'l̸aC_RF+%Q<©ry4'vw JB4I`һWȍ6BP80lBTy]Zz"^q)nCa[_q.*y#@MIPuL8_) =@O*U v=JKc̈e%&pk ($%ATJNe8; ~sx7wcF9kc>)1Ӝp4f+ $7 k=jttDF`5n,@Òu'V`ϛ"qŐ J[y?J?ⴗLϰW۵1>C0 H}͞7hVsMgm.w?-Il=pwDׁowK? rroN FTm]B#B&DGH5l|2ZaU 01`?LI0)^ RlۆCƦlO/jGWBqP^]xɀ./<-`b|ȴAӤg$qb }g/+ӄ;8W{GI`0\ KCȣz53hZ1G%;X:ʊWˬ i:%vuPhVF!a1_|>Qq`KaFbPh ܛ'gֈR A\É߆t:r3x~9N&C̓'9A=OƄӣЃћB(HTHӡP|hXDDb褜d;v^s{,p,CCi\qjsڑ |FN#ԣvQxYfJ꣑bF'"N~U̔±gYZ jףpPgruK@:Z5G1*߸Y dg=sr.O1 {b _z>oZRQۼ@2N+|-ъj<‹@ eƠh C J@'5t]lFU麋=p:i*y_ S0ڢ*u%dž_{~Xì{y@\>o3v<$flA y~I(fuSh4x'j/q}cnDe %&n%K>EԦ. "$ITƝ' (NmHO6;f48yC8'wCajJPk$CarhW ]B .tA \&Ez/q`lV:'`ǒC3ьmhP͘Q'TC*pm_A HoJ̸)s%e,i Ayul'+=&Xe(bO;G|hVYNJW|kj2jo*nV E~ Zzu/ǐ7}!q|v+XHjs碭H =8{C34}3*5!صAfԁ/&vԺ{ ]ȕ1rr2^Sh=VB]H 9]A6qQGZK@Hf Sb_ Dvv6ؔ2 =XSK %[e4\rGIcֻ~@i_ S,[ 8zXɍ}miCQ,Ԩu5ڮ*lfU^]A"##=~jy,x!7d24-;rCys!EKyfYQp(u  %ZGBBdzòr 7}d \ߡAsoʉ#fHq Wkl륹: a|ۺf&ץ9f,`iO%k0& aujEA^RYI sYу*XL46eLM1>sjڟN3E7j$)LUx _k!<*!thjο7e9LBn5#oq&$/TKTSwae򎦗hf[@5,7L$rޅ0R/(\]= m.ukC8rE'glo)Q=8D/af>QXfeʼng$iaOmS hҪoW[ֲ!)D'.0==z"GlDg(i3xQ.9ϰ]O>`{٭s-Zd' ?n39fU=,4&Z|i2cC#JћV.Oռg*twEez4Vx mr!G@Ks`ABikTN˽4K=;ͼ'+Ժ-!ٗHfiYU~9yJSxF|hIKa#KaLiUg֩?;jgމf=I5^WڏyFXE^͊s Tg, .d^h7P9Js u2dLH@1HAI˂\T;?EgmCaXTG(it| &I!yRwT_[pO6\<4|zΐWfFH g7SV4ư9OXg~ xj(x?ui2CجF.G3Ù'u,~b!!:dơyry6W<O^wղ#B Jv.9['6/J &!޸OHX>R&eO,y6'gX WU~olYhnT5t9u-n2Wֲܮ=9 !Ugqet͉i7$5$`|c--‹\|g=O1WX3VH8('AD7Q>bQxKTei3iG9&UC~W a}Ea[߽A,̶a 5؎i+߿hay&8jV5iO yƝEnrꀳ^+G&9R?O.0kkᬪ&@*B)D 6׫~|6@x"ⷓ̀^0sS5NwcC8 &7^R݀;rK\Ӱ_+cAR9 *)qT;! 6S-,IgTO4\s#1f0g!P/.uأ\^ռ!?1Q˅o"Ë:'AI|<̫wt9Xc:mV XT[J2V 2\zGim>/k>g^VP \;?uTh:BUΓ(VyzueMxj[rgԩZ'"tչ:"5/+{#:ۣ6k3Kak*Gwpp:UЄRŅ c*L dų#|4\w;cfa=HT &]kỆG'eUQCdx ~IƓ η03kFr9-n{ +5Ð<ДR^&4_Wkob)$_9w09<,7 sA'nN@YyQ,XM=GWi8Эd F N_U֧"=k3+ߚ$ ۛ8HݟL Jh3Bwc!BR9/R Iswn8+@84+E"` ߳#җ@^D9d:۴48L܀, 0!,"*$hbNЕ}7^ת߯Qb nIquQƉmhDQ#ee^Kn^BMَKO2WnmM Ɂ7FgCS/Mm@|ZAyP&C;M̨}ճG>5aAӃ9uB]Jt/,=(7(p- r.j;F|1u_RnGwjeili.ʿrTǼ53(|,3jsE[oti5FFXHTl2Pp(NZfDm2CKZʞmգChpxl2"ZDbߴ<>hdz̙_lc=^WE h%%&idAZ&J ϷҒ\#B8nH>A<9hJX&+$Im;Ԛw59m}'xuOȊ*!jAv"T6',JMyH³6t!1KZp鐡$zpEm <[]/'X&9P*Maϣ~jw!-С/6~]ykhQ$ 7ږ_Rn NN!".T0nu̯kd/0MH ݾo`j.?- j(1aT,`BFҶ hF;*뀖9H{/Xi1 iJ_ǔ'@OWM8낺]YUaX]g Ǫ/:fi% 7t*9 UiLG5nWlT5\ N"]g~HA{pf%ه^7:R0i+\HMǑ%U҉FNIuC0dԾ!_َ@2+VYL&G]LՑ] Mnyq(ڢ2;_whEOY e-ARa{qmxm@ ]2*`"Z \wr:I;UX2#Ve鬩Y6 BQ u&K Af{LNYz%Vt`pP&t7׳gˮ3J|_<eᔯhOEJHuvI2kq}햼.%HnS)m#u}y5]/vo"lw F:qnLmTb @.}Kښ$<u(gK j,%6ԙ_.yO%%(V%BHQfu~f$IϾ/Q"^:T5 oѠK<951+5S H?$$ 9xT":ri5S2b9I'>Hvm•mw|3Bq_2v?4I)H(l]FI8ײArV>ʇz:+?]"?}W` F'7'Svz(0b5=p"T"6f` >th| z}oZ9CL3Q/ -O38^-悞g* X+`2Vxp.XbZwː:W_!wqÓVkOP@ aJ[`i?v R PaqNNB|8_gIQeq&K|{yɜW]j4Ч1,T'P#/J֞Gm-i4|c0t[yRA r5-Ѿ@2QCI|,8[ i?Szgj[~PI^ :`*I&A_&vQo[>Q)&pPUR_&,B%?&WBέܹ>-&Zb<(f0/Y S%0_6rk,댁$+h:Fy 0UAb&W/2I>Oc*7JAsoU]T^/=SvOsP%MĤC:S-INѻү9 ׌,R0lW:aobWJ'gI_JYXq«>3+pc:yF-i-uzIʀܵ'{`PEۇJZ$[OQn̆Ë`?2͑<?Þou C9zSĘIxlppzDzi8[f g*Tmpz>t4b#bR B-8Gݐa%$ݻ0YFMΦ*i/V658YjETڲU\'˕1 #U@Ӱ5p47WшT=!f,U-?=P"#޷匛NcɻBA^=n$F\h@䬙 "_OY c5_r}bXYKy۪=3'RĤX:AȾw2 d|eŨ"IAfqV4g Cþ?ʱL;-ksSN+*' q8#JC->M^JBiRXكPV d: %O("cEKJVb|t3jB2 04 ^kuȌ]X6*KVgHF Ngz'eN)qZJQ3Mil]c2,lD)y}a.3͆ZN@K-u NRI^Z@7VMݕMgL͛]fS]*v,A`KP6T$vi L,­"'w=zUSh'Q Rޅ7}J;#1h:W(+7%8|jd/ <@zߦUT߸.mdJEDqj*Z".n[pvdMDXqC2*D/P%ib{1 '[9? ~CAX|pnk<#4 Yogu83'Hu/::*?K>59bӋUm on8Af5z aDlkp5o.#tn)WN]Jl:25p^#*\T`$%6^6)Jغ֎UdqbT hPs-aGy$E zw4'6wdrVz]'C(p@mDLTG[a/[y~i΅&:"b_EY.B5ZUˢ[\-l%B0jK+-7簆,SFfkXG%æWI*_ re{\F{L J]R*U LMd:Y 4l󹹥Tc-e|Y+s N9oɾ;0qfCbKh:J|(+Ť&>Ψjάd}{9KYQk~! 85d[׵ Z0,=+ul[&V7Q՝L7GU[in|уu`K*_L˨lƫp?}<%8ʚ`:ٲ< ݑ {V#_`07FVQ&){KZhf| n-3o20>D\OJj -0.IM8rl %ݫ4cFę3T ޅcɒ0|}Z{Ifù0΁Ve !, {?lߗVI -ޝB驄vAo:SʻĨmHKI0uq2V(2DW[=XrvT; 3{7ifcDT@h~[[4c_',Q Z/z0h>G.ՙgt)(^#bZգyƌm7z4txAerR!I)b*Q{ I%E`S^m:D^OuFA jh坶֠8u:p nnv`!_Pզ*XhCy(;̓(|K 큻IwԂƁ~U1P,w5 ))nF!նL,| Dn9P쁔[7m%-w=ΖAkGU*B^ y)\'xZJJ|nlgϠv˷nԃۣ0݄S.ԭ:Gb@%01g%qNX.CLS,.3Zګ|2rF)3ԓw *h>^~r+%6*H,L8AL!*|PVpM9H"3! k]o>d+-zMWnj"?aWlt@6;s}{󀁚5 U>Nz1M*ܰR"n.SmՕ%[Ud\09`F6`.Ǫk` '5v{wx(%;DM=r_״50޷{l3?'g *pm%GyR벋5DqhW  Z *‚_Awp ZdX[se`wS lKxO?0^4vIfMۘM_p0Dr8K6K@3 Z*;qEkZӮ^n( YʒK s!{yɫMqi:]d/50 cPdTj:Еx&ݑonJt⩙8`R~QA#)jʵIA[@+ܢ0U *?I1RՒlm`xD25{ 0=f̞#ܑtA)-ߺ^![k s 'D@(pkS?fHϚOu/I/ӵ9.û䇑_^к֬ H=BO"\K{kpKf>Rh`S^;]%4AoԨ7/m5^fP.FIb"2/W!]@~>'$~=idEY2IB#DF7πwY4VY%~r429u,L}XA٬ Wl1I?DRY59FnK`2y}xq`߫0`]gUUoAv(ZjC1fЅCU~{:Lbi&gqgBW/JҒCQQ9  YA$~դfS˭,½'Qr&M+%x|SCo@Yazp;K&,T&s.P^DuU)wBq~nA plY-X)*j8o"pҝ44Q|sJ,Dw'˪\g)S?Eԟo>53̀V9_?,FBJ ҁf~UFuQxe\eZ G@Ɛ:H3crom-Ǘ1DԒBKDJ&F i熁[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeC% THOL-UnixHOL-Unix.Nested_Environmentdocument.tex7zXZִF! :L$]A-MՋhvG"uIBm5ij)c· Ճ=># d4qWqxr?J*=ұ{[*qnz\/,ݾ҉u+%OI>{Lj,8C[jbZэ%TF+=PӠ"f=0OgՑpS!O:@L'nF[Uw/p, ¬,3-amzc?_<7H(i 50 9woBV4+@ѻG}>䇵P( 2>i@r~'tdEت= jJлLY‡ #8$X@ ErLJ]7W 1kNsB;*_ˬYO uD^tt9ږOYC FMBJPE!})BuZ+q4DmIa"4':;;JhR -gxp;MkGtW?T)}ƣcd ;J:pMoSvѬd{XQWí\$.0U"su+ō#`>)-W*"%QK6+bPi(cx&Uy%s6>0|EC:Ǵ(q:! N@P׃tTM\,?_*gFA$ZW fk)4-@wP*pV{{f@9‹kL3WP1T3i%{d)Qs./G_ i -C%$^-y% Q^tj.A b}llu=ixp ,q; M(0r>}.0:@JyeFXєs d]h? zf /g6!MQkhvrkO#d=`sE0 ׫m-yH*'7 *ʰ>*5`uq+Ԛ 䄈|^kbxKE3C;R#۸n*'pm]:KJZmL% 40Z)eexQU ;d˸Dίv|. >## eH?8_D rL= 7}R|Yc1!5_~5cȦdYl Wc)!f57UPSGz,w}V2(QKkqP,?eSlCQOנRRr)_MRi|~iIE)[FD Jkۄ B6vxV]GQkgy뮥(Y4PNjhȹԘ`'#}x: },VD]9cցŧ5/XLw55>.ĵ2Sq8t璷{JY7.,p>{)ӑ'ǁf ̠Xh6K9צe MΘ }p.:>iJ%$}6n>S>G%)G,stqZz m0zGĥVRH l+AChh:y j!l}" vn]:( ;/*8w׃6+f.e%OFL`!QBQ$'I ~Vy@CzM_"ND@ ÎDYDZdlq73l9dĉeIS^Qt79h0y5N~%g|8Lk}HjITm,̠}#Wv-?|d@EӸ"M)XjaxK[\>(Q: t^˲bO➶õzk^ hf0$H^f^0L"2yJ]84^H(}ڴ\e1 3jzgꮵ}fQU8 X;ŭ >%r=Df9T哖I[n.0i=XO4"7pM-g:wQ~  '% \HOL-UnixHOL-Unix.Unixdocument.tex7zXZִF! J A%]A-MՋhvG"uIBm59s-c7F:[/