SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  "9~$D| ] HOL-Datatype_Benchmark:threads=6elapsed=510.874cpu=2054.980gc=792.3207zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;|a]~Gg:1Zт.ָ|l^ CuG1Uf(9x`6WY~_;ޜwN`0rm ܺ?qjϣA)uك[觓rXOp!E/бY5+\1&&H 0SsT\WOܴY4X,X@}nIk ѿCrluҭfj|A??W")n.R25\"廏O& оT7CaX=/6Yi(=9 iZ$9@+FXr Ϸmcj9~2 u3 {LP!0 ȗRxiؠ!B|uေ\cuwRV4Ԩ|$Kb=ˉΰGP:* A@Cp{E5HP ]c*=!L9I0ʯRjif+&0>@xR1uHl6'BejJFdh2ĿՍ.'A|?YmQ|˗2ijύVJ4~ekց9 K[0`}+,EXB۪gcWݝ66/N-^ ieRgYZ7zXZִF!  ]ŗXiɟ1)*u%9#zt5Tٹ+'gq3 ZW*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ e aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files I9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages F9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/filesK9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ  -;9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6qCk?Ќllk^Ua}%s;xj`qFoyj4;LC{쥕犴k+9IkraA'M%%SazDNCLEHRո1^)(bq܀rNetXU.eX/][Ή$e+]"ʎ"46)IHi'(I>#zt5Tٹ+'gq3 ZW*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜gn K;_f_ىUq C66JRt~-ܹTqkC9E~\AEٙ5e$%/Q l,%lᷧǕ[b?[[6~*v1dQ(co </Ґ-`M^zBRycȻU.kw=?%5_u]"zŴE%`jmB8B2YO-ץđ (0*[7g:vc0$J>з [(G;ی 2ʿ j1+f7.e݋hQnJʙ7Әqw!4E&Jȷ Gnj$8&¶I;j8Y00~;Ƌ^ſ\~5oRڑژCVec'@~/׶Q l옃G'ǡLvBh7K eI]R+̿rTj@g_cClP_cxN ȯ`.k\ Qy\K2$DN+\A;R K+՚( b!p{-,7dkpS ђ\7.'A"*U"(^`42De ̿@q2";.T߃2פ 9HdX@.ڠ'馃`@{=a&Fz}|@84fosTo̳:}mo@1N;w_s_l~)(ɞ϶;eYzM$gY#U_m, e):KL |':.؃_ tW%dU "ۜt̓"j̫; :m!-D($i۳22K5ȸv+]0_Pu5+q6#rKc*IYcav!Tֈ`rǙ(Mz%%yyx BT :V߲ldA;W0MPҝtX-YU]fAAC7꭪{.·v6x|aqG퓤ZO [Mw(`޴38f Dge\QTJK2>/{6Wٔ[v㾨=5B٧Z HYgOn&y{ 7û)eòXfMŦ\?gÊ9`PNkgfPvFő ;Yd{$XJQu 9bȃd9 EK7f lBxQLjfmI{u6= բm$2Z=HdoRI6+`0nz۞xf8akg.O o#a@.r_]|\sb= 梃_MN4M Do$UAc8ot3!cS3ek뷋TT-,#i)٘승Xuvzp)cQ I8 MmJf(y5a7I{%Zz*.\G0H˲(2eWJ*ԽGg$K"`%[Xr$:^"5 DA 9VE;R Qiq2_5xc:\~ewM/Ni C8R%ڧKR2Hk4L @ޥ^aÎ̦p2$ӡz:LlV/hz_TCIb80\` r!jI^V\ps ܟ yUx YFUvVW vƠDã?rox.9!Žanrk u*ȧOA W"U\If:*4Q/E?|J=~K T՘/>{o .t",c~iOzJ C,eIh5?*{9l0E0^DsMl l1c3ߖ V˘!Ym/ߊP8g!4s[( c%ZW\(Cm-*-k5L7ԁ'-Ċ#Fy rmmKAPP_iaw?a+:l/UV QvTm-tI37 }$,ie݌rRbo[R|Hl}Y KX% {̝6N8'"|h`$SO4C{-%V٬MJ]Sܚ~SJvvhH+ёaPг`܏pϋs:-BwVL:| ,*XE|Q~dBeߡu\i/y@X3TUAP5 F r,NBLܹ(ܪ[k {)֘)d%Swܛx2[PD_yx40(SUliYG-rM Jb&*TL}*7֘Yq7kg&=/(8sg㽁z fc3gU4G=ā7_bc<]WK -oiz%iKM)Y#ǸβJC ;uԲh# .pLeXxm~Kk'#R:1_J$. 1 đcYW4p_dz7-&u=K$f􉃪,[_b'WzS+ex}qTM ̕50ӇnDKko،J+;27^[2ԏJԀt)nO>Z 0u 6}Xw, _OZ Cydlo.je}*zЖE-:qtO@TQp՝uΕX)bx\SI_d"ya qQAQ%\Toҿk돰lC3{/Ij: hR9Di4CUМgŴߕ k !so^eh3$Ō,IҴH'1 DOl*9;_D'%@Sg0+ dy Qr-o7)ylGl,7ABa47U%;?sMP_Yxgr3b l32ÁXA+rˆhm/KmIdL$KM@uEVCQ Np̈ *\FMZ/oC2=Qt EaCR vj}A}Ӑe58pt`S|Fjy`s'J]*DI:tŐ^yf"+2^t5If'/v%"l #PL(>H,3J ]I0דt[%@@S f QUL=nC]T_YF"X_9ĸUA:h6HEJgh)Xc:" RoX}BWrw0)z^Ѳ8BPR & n~Z\FTh{Nz{$!-X|InCo}/9$yuȅNIH,<"ǐN@T#D`j–QZ)Y>B'b$c/cb˜rAo+` `%ye颴8GZt'\R7tK4!6E:)5[ ߆m%6Bv]m5=O~qe~EڞY澓m4*kdlF$ql3/+=!븧(NgdGvjL<"wͯe cw` }'[r's*6͊MR/R9HBMX W0; yq]k*X )IN恭"Մ @eA$;B>vƅ,C) pwK2}N.=T.D<*k2*=8) |S/g mպ tDW6.?Fj:avkVJu~.8T0H!%h?z M#\0YXTԑAAιÕTw P6. 2D"HGn9O^uh:EU9GmMʲbد#a74&=4U5{|k(pFّ1"L*r4qk{}fIp}xt n(c`^2۠r{ b-P6C~f,_Uy7S޹StȬ\ TD0Vv_ 8 nR> / 2 H+(2ܦ?&+-ɥ{|l ׾U KD"$EZme-j@oEG8Ȗ2 QQ}w+rsUPxrZ[ׁOxsSlKY3Ltwhcu" |8O#LRE)AntAbۣ E]z\9)hʊkНm0gfʽf=C e|bڤIfF]6}$Ɠ,#2noo5`|IC`O<|VM8&mŐGce6)RJ78gm㶴9Շ2?xv]#x{zΨ>3j_֌F7eVl4dMnf3 y\C7ircYbޑ5 5w`yNr?;=Wו3L;WX%S6gf~/ 0D_<Zd@_!H0:'v4h)+LdT!̭Dat9x,xqx`^bV@)> @c*.:tVսg\·<;r&5m_P x'UЃ@F7LzL&LCC9oP'{֐XDikjޫ99+-D(L=nh!=|AhA#600oaM˶ޞ낃H:)[`P3A8?{14qx.!ǎ1TjK&DB&!ABD>ߤq7a*80Ċ`^^OK_n)7&=X c8uؔfG3˔GDU9KIOrvƘjt$;T\ tCHFpDG )d0SۺnynYw;ꊺP}q*n42#-hltIzGa*qmXq:w<,g{7-kM4R|UMUÚK|؁@_GM2BtXFJY%}kh/!efnX{3L&D3+־e6 '6h>'G?3ZML*קssvZZr5%gSQkW QmLb,"ApC[d8_KQ4G)Cs涔,դyˆ/5֩y;V\+,녽m}#(+&gԖ]b# ciX\nqlMi;2c746 ¦%d-!U 0О#=Lv˛'KJ?ir]8?OCږ Ek)p'G_YTK_Xrc!O ( 1Ie gD42l^ϊ="źӕ zP!=؟<;hhoNӉu1mB0*@='zJI@A:YhP%Bl;raBhS]%' ״7Yqe9!ml+ZZg2w|)|?H` Q̧CrE 'S3yqI];Q}ŧIZ+rZ*s9ׁV@ *xT$9#&k! 5Mp:ٱgYZ !!l9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Iib]Άxʆ5.f-9 rq?j/!iɛ&j -|0';_Pi3^@j4tj4D{G{R"jeq8usgUbF&-!u-Jt`o.ր,R9IG_Zi~~4&upUc3]LjIw $%meFX $5*ܵ-s[S}qWV=f%BX72Į-d)#Vvd_0E) McVڛÚp U\ð5YW!ԔST:(V@"MSO,NPQ8'!L K\M[I{.ywBS!5G;KaK,b$*58.I#zhSx-u彔_"wc o6wzcdd:D2[r4yD$ l b?@qqW;$7 G)Z)fBPjQMk["|GoEw:pF6hu(>)KsTuTbnd  6::o~ڟsA^>V.,^qMX }r ]$5.#- @Kd- ĭ4**AG@rVjWˤzί*;Ak"2U4 8dz]vCyQMuOBHK\w;nmX$ovfo7jܦQ}?M+ /[̫ /OTN/~"UYHױ*U,bpo˰@> hK4z0wXNv R]>ꍱqCʛ>AmLd AJxtw Do*um)ŕyVʗsZ9ˀ;m\, k  Gp:t@PLaDM[F*<HIsUn o'T!Sh_5b4Y(7Mb-4aJ<`z 3YP.jv(=ڥ Jknr8>46/N"r:e՚K-7S'G(Rف .zBbٷ:\өmpIsޛ?A0y[2nݐpXPY$5E+ ێ2Hz]3(p7㨥ټ~T!T(],*]VEpP[ͦˬ8$Wg=ҥ*5~y@-'2):nFˠ}YmOs: Z!8:brBr#hK%ˆiO,rF6VSHv(+r&C+Y]}oԣ>ix"o`OZ6'+rƑ-a 6|C4F2$3mM F_tf}{ |uy3Jztr[+[{O"Yo&3UMxx;~Zc˜% ebTL5*7K.]g۹n 9I'o2Yh 6swgYZ 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! \] !M젗OFI"Oo5Pl:*7kbVq 1&?Kv2k˅D_hJ>Ex ͅP(Tm}mW494;->[0!_i85|{"L϶([",1ڲC\Oxi}|9`&Sm'.Sc yf7[u(sQxE9ٷ~'Z=J m8p}p &l,N 9*jTBI Op/CV?)9zϥ>C9@8ـ בCY>g? ;ps>t v2ɡa ˦bu;/j %ddzMF!}kLWͬ|CGě4 k/b*g+預3ٹPM%HXA@  Y*2Ą[:Aqcj|bd̑z[y%Trmuke`q0pyu:."5,{iu\틛;4&YJ,C8Y}L(?ؒ3â@jbw;QD390B 4%a@]N F[ˍt9i2f6F;÷w'͗$N.3E6''|Vv[4 eI(184V?BI^yU~gO40.ڸF{̥{{1p8kL& ^rZ 1Iw9!Y嘘Ss Mnl$1Q. gFDSVcr;(H3[ QxT6ϒw }v|zhDvƧk_<N _d9čFΌJ =GҞ''P=#qJ {(G^(06?mT%nXk+W݌nG@\߫iג'R[{ex*Me=:NJ+EW43wz 7+_Oi)^Ls-Ӎ~1$~33[FE&f_?=o*[).Hч}'-/z͹D^k) _k|Bvc(xw}\$RTrPULվmPz[@Ev(NU[| &>F6ԒIsYБA"3®&vSM_&V ~N`%vK~/HA(֥z.͐{* #lXm)jҎ5,ݹhm?DsN~Q~X\%EjڜG΄Txe?Kp%Ӌr ŬAS u4)*[׿+ɏJTpJM&nG{ǫFEs_mwUᐴC8R{wn֞!8s/j \v\A8/1FW}19l F8SZ6k]F'QYZ&̞LC)B-)wEAUKx܍V⿔Tom@Mry\x֚q'E €H^,Dй(eoJ˔P> rǚvR=ȸXa3l |~+#D\J<ƫa;eu*j`=F`ǃ&w4s8+Iqޞ"oKi<*Qd#-yR79=oO^u=Q+Ǧ9fK`a [ژrL3:ȧeJhs ,zGs"iF *Q7lی\AB''ā+㩰}ӮcpZhNUF\g$"r"SVUˌ(}湄4ׇ[Y%{[?S?[y#z-Wǩ,q*իr=[54 z8$-hb`,Fp#T%J.efYA8 ~v !%L,Wmbh& Pch"1r1d2iE^€DK<쾭sb[LFL+VЩ(4c$OL9?͐6M+C⇎$Vm߻mZhp4k՗ +N}ym_7w[,Pnm2~,grXP ^G%1ZSrvY@8t`u5/5B*;144 pW^L]d-u)Dx}H"}ls~)"PL&ffHX/ǀ*FFַ"j=A8'뼤%:FpjO 7~xHzȊiF*\yĈ|َǬeWEs0Y%1t{}" D܋Mq`Hz Q従i8͊tFyL18Pڙ$W>G:?T(ы܂@ Pt-/{Heo30~]Ob癦'A~n׋;O e}6sd2oS-wh<_UV+K$6~q<0U֧zno2+(Z;H U9?.AcABǑCхƊb(«c( IZ)~Es!Drx/۰˅$9R2H;2^?\&.-i3 $tX]|\>B]yC4b?+Qrƿ,F +!,VcHwP~[()/ɮT w>&)ϒ_Н=|0:E-_:PdO;0YH!^w^$(XܞЌKM]U¦ *Cvb6(j5_-(UFq WC@G0p${&$4[vߙ>(`11j;Ry)ߢh[wY͕$剮}`E>]kJC#"iWLtBȐ2܅)Ư\41 `1b堾Gqhkr\^'7ָ*$sz.aҰ,>0LKkEFE$q:ϹMDsDJJOg? yY_k"@ C~S@D}~D`ѬPe]7ZQG*Wwp?i~oT,Fk:`- PldOo I&?!4>^ UbQkO%q됽pg$ɖ8mX_)yEy~ \*ҏXmV }jOQnS\~)eP~e-vM4HS75{ƽaZ!Q-N5 :@:, g[a,'cEv4H|zv wEoz{y=&j}dd,M]EڇsFRr}(e%p|#]@Z~yg*EOսWR y f[Z]O<}ovA%I7YDu:oD( }̴r7@y1K;W)o٫KIޗ/+w"P64d:C[%&ȰD^刦=;QR+wț]dJ-(ʍ5 YNOȒz3>Qc2Fw;z06苧g["|)\8-J`aL;V{8"Chzy]~ 6؅4%Q} !hg5HX@Dt,91\S#D%GATTR"=Q$SZƴu푱z7gt*O5en pNNz6!"VlX.o$IUoiAm: &g^TF-Mļ0H]OCJ;_I ;m_F hB..&sEy_4P+H~̷G1%{ADe S!$vʺneT/٩lW00%rFS D oFJQH)`=KBKC;OJ)j/H$C/ &E`=e|kTVF@g;=V_2\ym~, =+~Rl|L[Ց=A(b{= GlP0@z4 k#-0ŋJH3۟v:[zfՓWoL:ZH$v.0 }GFǕI7\.rE'̨ta$%Bٵd6F Pu`i{/v,=q2$es{൪z R t:ZJP =-&)@b規QIe$Pr]YR%tU|0W=U~:/POӽA!1VX]I@wR4Fs0mX6qs8N>ߜP$yFq<^9a_;#H#oA ܰ<^nƊSb7'cUJ8ˑ( $_Ov9_ߨ$N!Xgosy%ak*FLiUrKef1lz?aRōp9F0!*X pf;vmz8_i, HT$\)rme7 y7*k5Cxg.l)qQWqvTbIKK GrbPPw֢.mgBQ |;fNm (t\ -r `aoE1 '*'wBt-0j,ybFYo}hfStKb{gˠe(>(3bmZESB{$ѡZ ;9+]᝜dQGѤPcMk>]-\Jk:~CXuU8o͐u5@">qYKoFyԮ+sܒ9f-4 ɽ(RC^ )KnɭCje;[Z/cpB a޹~8D~(MbHym-n*Xg`C,ƒ23~Ok\AiIԝ Nt;5_3d ?ȉ`'>j/Ѷ[p*%V c[ע-q `D;J q$\B2= V^kc?F4dgyBY5a{57pCQ`kpkƙ 0O7vQ"A>{vE8-CHacˀ3RR%wm %&B7s!tQ4Eo&>)o6RۜGۍr -i3_C{f\F*gGt j"K|=7ÃTŶ+KΞ5K(z|G HYc:xP{%qip1 2sH5oℊÝKnqsض2sG sYAC޺Ųzeīcn7[nqrAJ`m+qfِQ L?R%Ea|*ms }$sreZ.+>1e8[@<,+ 7ADD`ˏNsd$A&3I YdWIfْczR+9]Y{k-YQv.tT[v\49B=/įtȑő^-mаT֫ʉ3Sf L]>y+ek3nmTIJFMY P.PNzeɹVMkuyґj߫QHFϼ0kWt~P\P3ݷy` HaX\X >Ux"rT sviGMr~0mv|-; PI)]A eC3X] *˒jg}͟{[߱e 0{(RkRS*=={f6gTlQ`ސݸ(>YwHY(`XӍQbT0L>]qWf %ѿ _ǡ44ą^3a  ~!JGϫֱ}x1֌f ;o P;,.(&VpCH;K~bpO&cԵsͯL8YwV>x&~~E vN6}Cvbbθ*Iemc6o ΄XlǶzj6ȹx <܏9HL8~D2M!Q&RpU#VF ۊdE: Vr[0(QyhV 6xQ'=okotro.WMP  O4j?( <;C,Ӏ]'ާe;0!i=< }~JdH"8~.t*m vމ$xW ChnۄrNX }" {Qqy1ٞ> UpxyWh~͐Y} 6C~=47\d07yNT}` ]#7B^å|7) oQ4ZE2{;* U `[_md3R W;f!₝k zbcݏ?]zal6 ֖+V9sG2k~~vߞUH:j\!B_)s{G$i! ID・~gg0J=qIwmcfzaw "H%+Uk'YvܦZN˄ߩ %DsW}3ٽ+DrpP9 R8wTMQD]}h b{pu0F{Ҙ%Q uaL8pbR`I(cJ<щJ`nd-A9Z>eXñcVeri&q~LK8%xӧN ?轖FBEr| /vߜ b<^.S|'h6{~XZ%n6^EKR? q1g=ߞ17霽vNxz(Pn@{^t ڼGXeqbݲSEXk-}^]^.BڮK+KrR``G_.f Bzh')qZ <0;VLK8s֫aMh`sVh / p3_2cgR逌pS`Qw ol9`v}j9:{*IH6?~UXpi'GMa%DF Y'~9uC Hyd=W `\$ 9j< O4Z iɤwƒ:cjLV& Ke W1QFA2חz8fa }cnF^ݥ&Q6b=:A*0M$[׮V*?<+YL+\JkqE qJQDYp;&'Z#giS nfdߵe$v`ً xN4QJKr/G0Xz/`ã_ǑKFuq17VMɷ2sP7qRo9)9{Lpna )z`W7GvH)Fġl;,GSTE a W6zeO`c>dԗgc9}+1#A/ w`pee.V{sO⽩7wˆsʂ P K>;G|*k V8XM'?`ਪwK}o2o?˖^‹斺q[8]ˑl3glܵZQ(:b}yuMڜAf""-dž^2Tޚ9KC~, j ylA-ΰZCLDU)(eZ>h|`U7fjGYy)*+Ռ2e+ LO- C#Z۔EdÇ e$D=~ 4kYI yj#L!aW!햶b^/a"[5ȯ+Ahqn"X).}5y m<۳7`|=QrJi: LQ. C/+%4W-F)-pg٨>!qCnyHr/2+6D5 ?дDu)}՘7P3i z+"p"c0(y{~xyg}tJJjׂyn ۀLױ g[,bւj'(Ɓfd~D "|pY8-W)<&)~ӱ+_8|zMx>ߟ_7y'un̸J fWKլld/?&m@mUV]w:K+ʉf_40Yoňȅ@Ǹ3MTR\նH5Է3fIFHUo$_YH`z5®) +;XfBH/՘Ȑ Ձ)29bl. Eji,'萢 \䇞AE#n۬Uׂ!?G"r܄*j®Sc [_#W H@YAw]Q2b uS:JMNjLSvm<X:D( 'OrZe$;sgN{v)]p5'>NbӛpKAv=fgPDJ#(a'mW_fw+oȴTSw{uRrRBy4[榷~HĸHp(=as ~i"{8E 1uǁ2)^cޜo5-K|jݜt_W}t9ؑsBZݝ ɘʷ_ٙ2KBW1v3Ux:YR"G+04x⑫e}Jc=,GönW;VuF]|NJekM58oH吼$ sN9}z[~OFOL0#tAà?E+4 8ߣ?J+&G9,֭_$}`ElaU,(""IDKK_]ë`u@o=kI#Y CKONoj1 b<0c^ŒI2gs#NF+)eQp?Q  ua?m*+nz^chͥt#%6kK[/a])ΎP\fFNw9{H(bqr)`H|klx]^FrV;-HSZ/$];sݟK\@JcBUѾF}ZY[Yq;ѵ[5ci3|,v̬pۅO~mPW:hQ<_9B^ٳKœI`ݭJr\g O,E)͖B$Yƅ8Kh~@$e;]P b`wM\`G3ܩf6wI(ߺG]P&wU7Sɇub+Y9~ӥgQaN9=a,z4 sfB,sfO6 L cW Ыz&#iV25 a,L" ,*HQP"U}kC܌Nx`9|1⫽jRe. LIv _2l܌o-CƔړM^?uE& O$?υ$#w/քFjrKbvZzsfˤɫdZtV @ThUNQW 3!ev*4gӇ@dݤG,'`BwjܸJpadׇ0O  R`R1 `*$(#hyAH:^nC)VRJ~GA4|E}RJ< `] {j DgkCnMDj^;?vpONgeم=&1HNfy3(^w̹jEJDU6(* qϧ/o7MGk@m4\5IOG*VԻ0qjdefXx[V(lBm}~o{D[9}6ELoסVVjBh."\CmXr,P6Գ_2o$G"gQ (طƂyblv[W Zr`y{˟A}{E%smWr8=lxf Ki'DZ.ˁ4UqLu(|i:W"Y|$s;-RL : Y1ty9f<RJ)%Bu| &,-KLɄ3`aqܪԯ;"[(꞉b>u(<}VP?4DhŦz;zր%wwQ_E:WI6r+`,xfCTlJFcV{ޡR% ;?[ 䮍Eʻg IÌ|Iyɲ^(9SU3lsjv~Nxm  ;ү pMC &M)#!יV9㷅Vg@qҲ~2eټ?QC*7~Oᚴ3-J{#Gcrv s5D/dzh"m"$!*p>2:Eo(Z ڐXSDŽ=WfcL6f4'/X7Խp6L`s@43gA0B>K.;} J',z#w01_Ia€<Qݏ^ Zd.X̹ VT_L0Z @\/W'K8HzzNמ }C_nw5=.&[fV4Ҙ\StHl'm2Mr  T J̖>AC\]<*wy 6^'U›2-OxI<oC8BTaE(] *"̈,io.u҇Y?q_5/NVlbm=m<תKr;h;P 8Nhu70/\,5YCL(-}0@#t߆T;ڗ<ׁ#:x2|UCY=5Z+YOOC\^(%(h}G P/40U&Ȼm@ߣ<Yڈk`J>&`V(9."!&2DV(f]M"I飶Ic&|s8\rj7~>%R…v$ϵ *GAz?z @>{U13KTl # iCF_Z elJhLoo۠S#A+ 2QCԎ`6m!f;% V?kWp@bS}y{:L•;!ChAlړ+X |BG )¡ ygu+$!=n-Q ޷g/!2~a@vcdJˍvAq\TFFj ٓkU1 7-U聲E+ٸWq>:mM6 ?ٝz`x߷/@ $͊gQZJ_8–.5_?Z=Co3H(5.KpW?-2Z$C ե0{^q@eX2gyA`ͭY*/6D0yS]Od}AߎvB'L% r = tz\̔<iasM7Fӏ9h0"Rv Q5* Dz#/<%q%VMQHHٙ#(\72^l˙iL>h,&nw&xap d=))N(n1xC9)HH9 Z?iEŧobL ;8f 愄G`/> -R=Bfq%\ciCMqm~\م2F>j袸I :iɢc˙s\NSDdYrj~z"SP v!hӇ)F+tJB~׀)B:2}G7<uY&<7b({-C[CD_jT2&+!TK tJ Z>MBhQiǵ'Iw5^OtѳRzCПںt*ejdMWᙋc-ioe;-NϝuS$ +67_9Qh k{ڡD ]5{XeoU-)vT3jGѵLnQ E:EVܓU2 i93TYpGBIu8ZA 6C*8YlegX2bfoڈ(mS_ED5nY O1(c6a#_-;&?(xǤ(dEU4Ίu48!ec:lwpT&+QOgyt-/4:Zqg.|*e#gɥ[͢`~[=UH#AXZ>+1+~|\VZ"årslQ$;9~pone:̜_yJ)&qzf͎3!GU Gog#ꈫF!;iz DA 'zƲfFfF@n0v@˚X(n#z:HӴYWJN$mj$! f omXm$vvvYšNh7L F%zo6~nRj]#h4a3dq,8cnsH=YljVFÅ8 bN0Z9J/:k^. dՕOMXs*辪UVF.idט'YDt1tH'FmެBIs'l{!hAʥ!'Ut8dUjs@$R{0j+6.ݍa-$v5n%.Ia񑭆fnj!PwLbj٧S>|C1l=yGmaLiBGs2yo~& ܖ$tsed /kp/j1Nyˆ?d6-YBbw^?ǩsUj*fأ]~{yjc@|x:O8 ogX&A^~k +k^_4vVȘ䏝0RFQOuX…f9~ȶJ#MrCa8X+1!c6=n~Ph6Bi8rncpS21Tǹ,FŢ)3hW$ C(r ڵrpOE,a>.!5-q%gJ(Y&G%%1iJiWZ_ V>C:ӂK%$WY⨴%ƈ_o #6d[3LOm cEngS$xS*f'^]e5,8peˎRj{XOH̓r;t'A7B#@:74CRu xn),jimޥ lyVU.!ɉSѭf7Qa5۫6$:4L6/sOs؇t1ӆK(u KwZ|k|)Xb=,3@X['NT}s0F&y~:7秪W)dr~JY}EaN*!5n?l9;a1ګjҠٍqWX6򍇖A`o&L|TsQ4ZtЯ)QyA;Keܳ'Uaߛ#d0B>E@CNr7R\)6ci;ZbMU{]> elLvJN]oD7W^R ?Shwo`g'_źjIoD:.젫IWYn Q@HG :t`xm\ݗ$]VNqɟ~dCx>>wgK0IxĂ0Z!h1xW\ŴXl ŏpAeYhX1{öMvs0)f˹",RM^zNcub{,R]ɍBXm[l!'5p4KRbnc8ffExM~80M(Y?k˙\rVLziyɵ9ϗ]DS@^j_OI{Tt}l6 9N L%SXH|\#(`\[nFx +ZnM`w|"FߴHڟMrpz^\gY": {w.Ե'*gy$RIXθŽS_9c@i%0bLЁdN9JE>ZZ n,) 죿(sJĞU\k^ O!qN޴ fss#NM=u1mQݽ$1YO#-L&pSY#O~7DclXC72"k|]ےT+$y^>r ,t~o)#J) dʪ_[d2U x:靖~Ǣͬ9t2-rYcZFoh|PLvJMbJsF` gWUtJΤ =ZZw̐rndwj #h'9%GKfvޚ;a'} `x.:$#2$ˮZNjS k*$]תf\P$k Q}֫Z7JO#u\Ns=+DsM5NU=?mUG|㕚m1DkyAO=&Z֘@j&gF[6fJ:/[h"ŗ)߅ƕ}@"z.li}="J&ގ˜L%"gTR: Mi"^Y 7mRJײyPt_ b)*̫rKh ՎګMnbF `K"RUvX9g,] ҅;>Ng8U>,И?NۅuTЁ%MiMo(^wl hDh2(̺@m)EPvZVs_?4vVDG<ú^/TK$]5Jd]S9=ۂU}~%nTq56:dKI˫PյS#kMKV+AL1<ƝcL~Q=lnnCb8XUb?EaO y+V6zX *f7{ҥgLbXNU`}h5 ]RV׺)TQ(smsQH{SŲ_B:މl5e 1(#!l,iWB(möJ`~eӹhlpQ~4DKMb'~L1l H2\:ثSy.9C>K;"|pNt)eq4N!7tGᑳSsƳAkQ0q&kkjY}Ya֑D :uICފ1mzQz]trI`<$Й+7Csȋ-zDx8}d 1qJ ,&d.*lI;mc?Dii]CoOfU#tLxxUkHqt\Ѩ]Cq\:5/zU&|IHBPvoN 榢 |?V6y,iS&W7a˛q$>*2m}nOMWWԅAXb%{mKJfNLA/:}I@UrӐ QFnث>Pg%񓤲Kh層`kT~;e#ؗ~F_r!:/ΖӰZ^֏@ (P(v^>-j[iue΂cY.\ (5ґO6C Kyۢ7x*Q[fQB?=Y;vFYU4(6f&bBG|cP8pf/p ??c`tGYWxajBHāxd=yԾ˘1rBE,I9܈|+s{3xͨ-j[4-}XXnC A0ftQ (ec9 ^ vdBYA7%SIt_z0@MG Tn۳U΄@—n~r10SbnvnLrsK 9fl )nssQjI9>0O'C 䥡€:e$`J0!'8|5Ax7w2U5"JȋKQ9% omV6v`QU#YFyd"mM1M[wץYb*7䃗Fꗳ1 dQ 0e(Z.\vI5h:;FX])PfZ-g,#{SLfWߗ *¡= XA~aǽCI "'[U_/mX^x[$F7ÎQLg=t?Ast[Z_mRYn<$hW]{TnD&7s F5ӭF2)]N%@ziaiK;dvA6{Wbxi:(AKl^ʈ<ąVm?‹ -Cg^^bl5y|uu5LĘmb;O9d2tGΛy[$d46Ěq%@*$)}IF"+k$S_n "UާYxb|J7n]a#}s4)*'tE|G|4a| u3[ p&ΧV1:·"!s.e'Ʋ夷_G7:Glf1W0M9ʯB:e=z@0Hx|Vch ~gd۵g)EsTMޜP|mk@ؼ1l85c vs]uOcB2]HWS YSsX̥ۡj_H'z,vHcUj(tUF(j;[lh#sNmߚzv p!(u1\[7>~>AӇz#+"E-lD:cs QSG>:̈́$rN>mZz})- ST%Z=:' DhCIFxjSi`Y}F[&`.\ 3Wzr(Y Ja F9AeeKB1@ԑTgt[n| dUu['5\F-[ܲ?ȩto0p ˰EB) XdaOF1P, ˇpRPLC{FYg$]̴7Q}<cYzI<IX9凡 t5̮c4qLZ:V=*UScҚh֬Z/B48ĹS*xE9?o()!g(P"M"Qߡzy& O[G_fGLٕlTٜa!Y#t`Vv+E1u|824b *x˧} /Jp+hK=~24A/Q(e{̯'#ފ,9S4b 'T :~S@N13ndB .1hǃ* )'*;ne?`u/Փ8+8"6jD9*ίsRT5o Te2]L$-y:#GbsaH2zy>xoC<<&+W1"" G1漞s.Kޘ(2vfYJogXj1oǠ c ~֗g d_2i\6 B$CQͬ:\Ҩ,+"䋟 fnȩb}(K* ~"{t6pHS rO_ehLFpE*x?*k/<]R:lrZE/Q%w΀ŭOJO9V!.WRdICcXv< Ֆ9NC8s (5}xӇ> nQ-Dm W|e:9 屠<&wb 1+ RtܘxlL<7cQqZF7[Ӱ z,;hS  #ًrDsTrdL}@I5|Gn&3 U>ǚRµM!mYA.jJM?-s& i,_50I&Lɿv ٖکNbt MRm j~?"ԉr XCJ`>SP>`99͊IIJ!׷ ac-8ѥGd&-Ԋ[lw8q!Ev"|X(@oK&Wi0jKl+ C J̛=o:y=WK?;ouj v[)B16rv^>Il+`ֈ} ^VŃq`Sa(C n6aRpfq+j%O-'HmBkõh@Ou(GOi7[ycNe%ĝh!T9ID#Sms;סG8kmmղ_nK ]bқA}mc5QLT,+~8m{⸉|I41:αx)'OvhӢÔq4I|#}Ϸ ft w 7ֆ6{MڕᰅZy)5=qUe%c 4h],0I=Gג w`A6msVaP%98% U_\uCp0"QA4~ ;;$CIG]g{7!UDʱ#)@/5I\F)ߚ/nB%ݿZ8KժW)etSR!'ks; ݥ$ {љܬdW)@iTz_ە\aF#fzk!q7j^3*Xۡ fh\(0rBvV-%cP +F? )N KVP!FxOT68 j6fRGvl$H,Fm^5,E\:-hб)'vMF-\ Q?skPdY: p)*y$:0WS%gX}agT*C&;ZkE/VIX$\1If}[ay.\llH>#F?^R前{6Tw(Eawuqg"do`r-gYZ715e78031713de5d6f04edeadc7666a4a5cfb1e6221bf55cdbeeb204abe001803bef147f0ffeb54c 2d0043d5245b774b6a52bc09a6afbc782402b041 223476067afe6566801165b07929b4c3deeacf6b