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 n9~t~e":RmmɧfB)C_./!aV6/s/6Q-{]hkURLcl /9\~Z*F$8ڽl )oX^?u*uo>¼{tE0_?g+ +FoS)JAGrs3Ԣ g+ː[}\8OS>טyٝo# D?k\ 8kn |z6{G 8#'vQņMvE)DJE_Ӂ屉y`>GEDhZB1 ޠ&&Fܤ'+ЖnA6Pg- n;}Œ!F,|0Dhw"o[\QqX_hJ _.He^v#! YuJN63}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՜g*"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;~ I  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_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-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 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>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՜g*"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;~DPȍLsx%m,[94nLHNt)IlIɶ;Hm̚զ<'67؜.Dl|E6 }KOWZUn΁2']@mA-Tg}/|DϢޝSC㉶@m2{ԉ6RU2Fs]"Lkb+ڙpqiekE`'$=hׇAx~\gWi"8i\I،0TN.Md#Qncep5 ℙP a#~mR,lt<9uXNWB&3q)bjN{ɩ,s=LjW,.l}PxpS`Z`Vq1/2v┝ 2WRs_o>"$mC$M6wtWhBP?@3d*|( C.o\.솀辟[` ܫvLyАݝH1 Vr,x6mA&QRA8~Ƭ׷̾=nvzԎz6(ٸi#c?s^ܥ8F7G-{敭QYuZ/!>gmcߌ_:~A#U0/-\rp!q/q!0a=Eׄ [y YatGZQ xٵ‹(SPbg׳ĶMzWIO.)+RuGwU3 -F9VD3grIςW'hzχFCxeU2VȬBuO\:A9xSOU=ohmlWzq)HAX\8L{@~j˼@IsO,Ȏ%.nɜ:cƽ޸) 3] W(3/a3w6"'x Zs"||>ҀlI؇#rlӨ=R-g~,F5)5(҆ ޽G5>"t:-)Hg ]IQqN4?0S==XZ cCDiw0Q͍M swU?.5{? =fܸ!jQRۉpeH4r;=69,S+IȡBj%xWB+ SHg9t#aXTf#۔hwh2P%P@GUl 8~39y9,g ,Wj,REEA#N|an׹ JhKɐnȻwa[P?+ū̪i8 PLX6m?L@&4 gp䙥 q@+O.yI2zO=_Kq&er3&Nal=Hz!Tx+2AFТɯ ; OCRp΍T>u8D"`eD"|E/R6g8rA{OYġ}Vj_:xڊ%|%[ώhgYZ iiCd$L$'¯Ң\Ighio8pD P/(kC` ߫v`l%zM8,o7 SCM]= 2^#9u*5eJ͖ GfJ+_kdF fbI] e<'&s߱SDYB&28b4ePf\:pU]/ttW^)-D!puX }^aOh9`dv/<'BrmA35<3C'Š]w:љ93OA~Ԍ!1,I(h-￲'Yޤ*cI|Lx؛ CM}Oo*eK:dhRh"l 6>\x҅x + nT2G]P.;yYjdXWktO&=i]]^m}uB pzW|2byF4LccG0Dn7Kϻ !"J&p7Y"in:Nטȟaj8UhDD s։̥x]nݍH̄Ʊd5=GZ͜=om*xS_nzw%(MhHaU|IEt;!0L4k + 6aH=r.ѦWTo.3 `B5; KU wIhcGTZV' g[XH{O?$rƲ[}ÅS;ܡ#xl瞪`c?| |@-S=?*&ڍ6l3 HMPj=~ &QTy^)Dܧ/ͻ#i9b;#$}oolm;\s"4egt Q 63{[$vRd DYE΄ϋj3HRV_[\򭗃5Џfٜ23xX"Sχ 4$'E5! 7Q#2(*`޸ZPRUh;,B"W*:M^QA`Q ]ͮhIhE~`zy,!{7Y|2 ]܅|i/" }-qU\Ё 5u3Y˾v.% ) BE <'XX>JGY{gof\xH*<$DIal_`W'ktФC !&@v2d T"8UW~9s0c=ˉ`}C gKhU;SEΨbh|IDQJg9,cVpJP v5nm xܲ \:Z>'YiiFv~([':_@1}_ WpLlSI ;/|D CLwK5 㠶zZaΪ&`r\7G'Yx:/sLQX d(ORo͢Q0~r B%meF + RM& џoItbd%.ix֗O=0b+S%C_0 4 H$jF\J wJN#k 8O 5ʟhfy}4B^;YT^=+^/1\n葍ld (}YJ M1D.U9UJ;*;=m>+fI}쳜~xe R~3F?8}B/)=krzI2$I}f܀A9"I+m0vye5=zp^ \9OdMroiA& 2Gή)I.$N<)"5`0 Fl} z|o̜2ka@?VUںHt-RF}Vg pIYʋSme4+fHHoN1YacE ΑG%$0L](9'(Q1HqjKt%oy,x A"Z>([Q$3׆)IĒ(e@JufL֓o8(A`9Ɣh'R苼ݝ܁ s9l Q]꟩.6!t ]$:Y"%'ʣ%x5qeEWi{"u6@}t8g!j;)"g^T_5\+àsW) fKcHH7{+WYS"ǀ>x$Pr0f&|K0CA2bɒA% (m vtQ坆@M}M@6FPDpN^ =jIF4`G_D}G$nԇk_=ƳMϴ{qd!3ИW&IO?6^xH 1_bF iț^*YE֠|nPZ5Du#ɖ kmvZUi/G "'r.Yqm-'F9F4Y[)onN@]DUzF™Ŕ W5L 7"eG{oT/5fHEcI#  ;m^(esi 'B17RA~,y^ |$qyAՁ'|OlcXohPOB:N~mN6N k)O_T:GŜp*y,:l& ^üm}+qc@A7ʌB29N =?2gNJ_o#HJ4DbH(X6r "JGɝf<ۺ[^ g 0.v#ta:Dkt2qD7pҴX4 m㠨gY!yy}*؍c( "' z#(l|R%uhT[p=ᗂgS^)BtCxE0o0jr#x O%1TLeɽn;H%}i$,3%<哱gz;F;.>HQ9 [_m̓2ylĥ*l׹RĮȈئab| 6ye#{͒4TU4+'Dz&npi?}<`E"27Sһ{r&=tkoq_毶#zrc~£}j9L${'*~V~|:Ghű8KZl#Tq!K$Nndlk'y|"+e%UGc6g!/Эg:xUqYwZ$ 윝U?a.h |{g^2*濶c&zpc +oy="M>-1oX2,ދ#8}s<#߹u苿OM",6-wAd2)j cO>řuH.`Ӎ?>2J ֨%3 a/e֠-eC frЁcz8p<t ۳:kY}aۛ븩G\ nmkaLWGƒ bj*PQ@2;փ!)5,/ ̾e7xRQ }ONe_,า*wd srOG_`jr6-p0Q^i"ɿLM'GM?OMf߭dVlhz=5Trܙv uV;Z" kTA.f<ٛ:ۛӡtt/G^$]&mI ꙑRPRyT#쀏rʪ]|uR6#Bv ujZȽL+QUpwQs=`J4OV`FsbdaU:"tm16ڳuUH cGĚrukHiw?w&nkMӜl FZzO!4'k=^1!WKV5w6j8Ss( cjqW9Gf>y۝#XrY2s$ũ'w @u$C<Hy] /mj9B+(`G(\2r{w!wߤ2I/~-m*0p %y<{R ۱-֜f7ݙBKsX9y{@dܴgaFŇm_~H/NBTR7[=Y()* 82CZ6L9+1q_Psy$&7ا[wO6sGȳ,1W5z4gv) o^eIN?F%Z¦;OhC9]hxl+B/f1,S 1yUz9~X5ыkw/Z|0hy/,b֥ epw9G(Wo e2c#-uYlt-5dPz5’x8oՠ Nܭ+]A]_Hթ%]1zÑw$;D{]Angn Qʤo:ʉ-6d Y7M~]z\|9?zvMu띃}n# ~ڤM0N| %תf꽣39h@ e  W+JX焏 ̪RZkr$€;ݨ?61ϱomx0v*s\EQ>0#>'9]rw\95  "k=/]߄˧ jϴL/q\M(St |%>ǜ,S9>v܅S_B[c\'EH fl^ S[2Y*^Uc* 0 z7nݺUbP l8-۷8 mWﷷ_Cq EBDF@ăd2soLV[/ We;!K"iS[Ѱeop4m_ $j :_䲔˦AB)qۚjjU-s.L#c o1Ex ot@Imʥ"%cpqY"c\ou<>;yS/eo둜 iOo{Uy9""L #h >SXXyf`wD 8W^vLys6e,=(ʛARUm4:oGmuЧ2L+t6dJ~ffNl,6QWy;@|]x,kJNJfk٭W|$G%WZzAO"Htch:D9aKNN Wvi>{%DG@WrQh2 ]XSKݔK as@fK_(됔{`g:kUv xih?8#)h9S ڌƒ[/rv\c]QJ juq`?f~j.?UymbaE,3EvdiJ!S+۬PR"'BV;xᣳYF";af}q5N1݋r#IgE)[R }cSg`ȁB@A0\0q`k(AϘEڑ,+)kʧq)ۑSIfd+}|QyկVʭGg\(t*!>;x}އ<6RX`KY~ynIPD*tK(ղʈOm`~qP1/n*tPQ)lcLz#\s78\ O٨jh7k˓HoI/1~żzeNk3j9W-ܐ}!bntVfdZ6h e 4amO\# @aBjH%/z\hj?bMPCECxGV^t$_:z}m Ź>ppXֱҹZݶ!L5뼥P:( FS,fXG[d+aɁD슌=-t S ͻD`co[( xGE7/3taPCRbl%1 oqߠ{01%LeuT;V(jKa=lѝ/cY?(r%,4jDpTL]vQeHMEj Dל5ȧЌ %q¦{&& aYo7ĄXv.bu\0|}G& qB0cƊg=~Ƚ`+.d5nhf+4.MQnpo/ 0N,2t({;XB8iD̵uM-t?b>}hp]~;sSWi8Ҙ11q0yB9u"ˢ`Op7AX;f j Gzu@Ʒ&O CID?;Ty_1Ysb~@ia6pxזkC_3 }p箫&63Ũ?z\n3T2+?{c 2)b_cW//\!ʧmhz 8;~ mùإwQ(܉~#!TOxePVt&[AS/hYa]ƞ];](R|MƱX#2J% p=je ,ƿ:T IciY,Ur`y^6ut2(IІpH]IvсMd~` `NJNL 7!URMa{b fU\߿x O0u#Gǝ'uS m!kdmK!_}®лK2׻XՖIQ۫>Zjh^m|P!JK2 V EQ׬ j{9l3Ef`.k˶`8F@* A-yA8%822Topt$yѮ`)VKrJ[(tS @O8bhZuCjWdUH~K?RWXaIk䵃Q׉Fu}".AP4Iab7<֒F9`ó6=u&\"||ט&d>.{z1 t]C~E K۶ BFnvXB6D$c ۚNH>t}d@zkƼ$5A< p+e foqz%Wç4GKZ"eII`};mMhnRR@@=7ͧxt]? S2S6°0MJ(Z.1Li%vʆ_fCSDCVl&*;o, mkS;1{H ī^v8iٔ|Rp򜀮}0(vmeO(th֎ 2aZ"{U?zŀ vva"YF7߼ulDk j3c#|x 4b?^~\=#(GZp.]c%Ӌƨs4H)j[@dhТW%%k: p۞,|lTןQFl}Z~v(Dg|>yhC &jUw#%% i|KQ%-+(' = VV6)6QqAn:0~.\0ooأA֒N7cIbO%E5RQ.yG1 p{d1V`]1Ag[Uix [%eDպQryB fhSV%;frN$T+p&"QdRDGLHf>nP(0ʂ3V$ Nld^TQ1,󢙬uܖ1V(*]&(.16$^;Piv."Yx_4@k!] Rw9 ʩoZbGO斮Jah3uS.|";_=S.S*qRK2, T,6`|ݔ ,7ٝ|zRB,S!qFu9乓Fk1$Xz@[4G!.*|/Sl="[l7&Pdl"눸G m2F({Ȱlkگ0i,%Ð&1q!C21~ept4=B,id׀fOMp6VW(P cCeL-5xa:RNmFOx;͉< kH6:.k j"j7W6]ᰪEtTM_MuLd @A - & F|dPXOHGo]H!h2۟ڲ^(>6G׎J#6_YMQNhpW(S_AE  ̅rױ3 jZdSW4B$zjVyI"h5pN6rdl9)& Mf} "{uu4n݇xމQ꠰տ#G`U|[D|sL{FjMiƹ6-lIdBuΈIЧ =2XR4_㬿MbUsqV_d 7 ofR[V)hmw. :rf`Mc5;ݷk~Y(ou$M`AjyHI}2@fR8>TJ3QK.\5ə*6ᢱ<:Je{DJ` '40BfGR/$#vr137m\1ZZ1DZ%H$> xLֻr[P"P*xsaM;uS?Y.ʖ7~gD9>I}\ [j(ƾo§P#6}zq81܄)OPPЀ'PRuNvc1bҐno(>0&9v x0h?z_4Ʀzs)[xE 7F@)0O<%vyǙ"4{o?T5 )Ą"RafA/!l%e1/ 8T̖p,-~%g*}v)h3m|l˪2xpp!3OB4[!MP*Y 5Php:Б]Jd 4.1"e j( 5^v8d(k9T5qkY0 &'ZwΑQRSVFs[ j\V =Jɛď7cbz:{0. /<f)fVn]<#΀gg֮ *f̍;@)N4gU\Ͳoe?FdaM ݥ8IfӍ5G,ɽVa֙SO^r! D<|^F[,l=5s4Z 0)$&QR4O> ~ioN{fʯVÇM _Sd ējex_+šIeG͢+UF}-ǵKǢq\%2.S) > Q]WDS2z0]gPXQ ;F.-R75XYsG0ᦆrdWpn"W l}iKF9x"[Y?z[ I"ŗ%q2_-K < 5)B0nĴq5="]QԖ*5Q V: 8C|'"vM5!"5D:̽2L?G1"2?^Ϥ$fXS[2&̉y%sHafb왢\))LSMKOTY/Q̧/5,J!cV=<~&ܯʈSlXr9ߞhFP!Âzwh> r< #ŏEV n[S9[O4_UW-6A?7PD5̧о(UGjYhDA$#T }wC3N`=8U D7} s-hԮo6'r@R,XV yRq/LФADip3DRg: */yK(p'vR)>^yTNɣڙs@r$H>KwS]=AFϨVMeߞ[%DGAj1elJs?*?k^fFe1'_ȶ/3J03bh%K)5 KXx}Bl5LЄ[=)tQ)7I?D펕 ҟ N)?m4ezRMpjzZnQJ茢5 yO/Ә; }{O":AJs>#;EtuL|Ǐ9nI L» fz8ZfmC{֘Q x3W)0"?7j6NJi.gY#e 7d<'& 5䕈ΟR^_8ymd?0()xas\u= Gj3#[YEbX~Hwtlk7(/ZUɭRrR"Ԃ]MO"b'Vq1|O r^QvDrrpkBC>\=. BO6^ 5] aHH{y>֪꟯axkUC^[TUm"avو=rRLI^'-Rm^ {r 2ۙ0nClt.rQd W T酺 ωmwNJN/R/ޅk֬`QxZ5Mi:׽}qe~$ފQ6L[U>J/xx,꺙fk1ﱳz!|@E};H!3l}C3L:srEˮ8⿏ym$aj/Dp:,Uj.c\"cIL &~譔רy: 5Ə@ ՃDjІ1sycdGoH2qLֲm +-i6Lrj td,mcٴ] J(9Np豽)J-?>@;!ރ$ܗQFUԥ*5-/! eےr2KU$sHpZ 9i~ɲ}¹.D4q*C㵁nBclluȔP=6;$ Vj$ ːPFѺk$^}J/:|LYvZ:S._,.ӟ(#8MIoTE<&>4g'X|kyGYgc_q8d%غؒ:tj4_cȦ!-W )\g4[pinl K<HE^ r{oACce˫Q^_T )9saY$mk>1-,@}M6uA7х>34v(?H3B[N-O68 l w+h;_/uG!6b(_nt_lGdX;GiDRZ)yn$) ˔֕l#1lVȑqkmyu* P1 %}0ΈV@J”#T>PWDU ,~wʤz1&5Bqf rV9Z(otKE&,p!s2.hG2a{W$fi>;ojMлsmTrw|v X!;VbWI xFjmSHQ,Dv{e>EH 1ata&H;C%BQ\|7TKɭ5uVAlr:eZi"6YmK Mo2I+ibyoXQ^N^nӭÃ+w$VZ2BVq%epٙ9r^o&ǬzT+V;KB EnukSb7Xr?Ca̔Uӳ4 ;5Nxң BYP|$SKNyV0!S*1ζVgzXQ~c۫u։Es[dNqo V>?D8:ɃwR6L~jG1gELrcaȵ R*p/Ieˆ(t1zT :Ӷo"fg"_f+Fy%˅ ]c&YOЪHQ3߶br{ ъ!Me2IEC`="7:  gܴoPh{еN!V!(CU8xt]l=pӾFB:[Rc+ݑ쏵8yra<07wbތl Bm Sr-sPYur`QTwp='xz>O%{@cWic5FmU}OsߗF "uP=L W fN}Cq/_ѽ)4^-3P^a U )SWm/{ MEP7=aJ`?)u 7ϓ.bQ? Vof pzez!$ԏKgs) GIWYY 8ĕF&m,xS`v{bADSxŲRVTw%YAI2@, o&#%v ;''}^Eb+(PBWPg~2t x:9&1LWԖ'>qz{őO |,n3s"|yb~xa. aL3 )l+H2ZwluD^?vX_~#-5 7"Dyu/]Nɐ7Ň/25jnjw_vgA)p$BPmKuNzU0'}\sM`K<[Egd2 8ldĒlH-| fSL;I"2OBbP..몳k)L8/>ͰQkwogIgU\EYީ hVpQvˀ#pR/† TI#x`5j}lI gndw)jۮO]Sy~K*[,Dd=VYc (8}f3o*/plDLO6Wpr25X{MLbI EO`,AbbӗtV..fūuk ?y MJܢ;^kCyKPr1bLxvS5qN䈪_Li3)P{$/AlR >aLaTQ(;g7f׌ݺ7lcQTīȅ'hEwyr_ :˫x0cWY\0Scd)ʵ߯ѳ`K,k8-3t UY s {j{ 2OVLOG»oWذ0kAQλu=o'̥ȨJG plVh2 ͡O H!-ʗz3p!#ֆ{K`x,*zkH `˓#1, '4 U,9u?by zeZ+/b@&4CЦR;JB rw:^>'H׃pX qENu`"qcR]d)}G{q$U]Xyg>"~籞;TpهwOi 񴒇CR?/ZPX;UĻ p8mV'#g]_8=vdj@ϔL}uK?h/My& ˜=#9lԩwiNr%ڋIY_IVǞQK _ĄenC!48~Z&3_~t4);@HTÅaNf %/͐5,Xc;Jܬ1FY- žcPRJTEo(yY ".nˈyF 4۬)~EI!Yn>88nac<:4H3MBi(sZA^.]ΧZ~C(hOx#TfIvijcy g]84\],k@1UJ:V.7Qs1:0(_n7fӛ7D `)x,2?ts sep"jQ7GYy`FC%/&qcᮽQCެ$oC ëwh7c+jKTjQ?i0vWߊgh7҂[۬MrA9m?`$ :LQY|<\_<]uD xn1wόee!ܜ1*H2_6:Ng.PVߥv'I,bY8FZU(PᎱwI']V0FxLTA7}20ӂ,c=.W⪵RàkuzSK:.]ǍdA W]-RޓN PU!4igӑ{uRMC>E=(ȿ qelu.|I4zu}|jSʨ1uxS^Z/8 do D9|tڍ1I]FVJYX4d3a}ޒ 2bN/LC頣R" NQX 8$OEKO`a,"GZ']4bx ^n $v#Wyh.DH)E׸v6$[Y$k'Z ۧLI7p쳳SqmWݐ q4b~k[j)*n"l>m1)!Hx%$RҼwu u%莫!,O3L /?Q4 ښpL/JJը]K'Uƻm   kY_ɔר-mT`OU7Ys/#xnm MI-@YZϸ1'剢 Mg_D7|rj RK:v 4bys"R\bD/I>qGe Hޅ(1DWFFbq~.ў()KkCm|{^9|.Đ솒``( Jm~C?S6?偧my&_"[4 ѤA?<)&D~B@f=CkWfmoc9a!}S"" |PDl-s*n6h֏~!QwlBp 7:TÍ@(w $\ _{U]R#VBL3Ȅc~z/;+Ⴎ8)~]D12MEC7jSzO>k&}'aejU&3]Zhbx{2dv~rڮREW0EV“hTq&\Ji`,NbjͱvA- 5#ҡm&xJ­zZC5+hU"dz.c6>T6vK(6BRs=s1?lAw-N&H\ۥ|a5YBp$2<—p͇Hźrn zym |jKD GvQ.(H~C)H$dM%vǹ) 55X_aQ,-CIϽ4 7\G7jJCgBo!j*0;I(i' Ev#ny:Dd$!U {>ғJC$u& ~曖-{Ֆ f4clYea^sа5kB ,Nҽ<6u2Ђ]) LD &^z)SA')'ce %-}@G;cy,UUVMH0E!p-2YDbiގ۲Gf*(p\9O7!q{*6[)3uR)(?ry|!; d)C$*-~@[C5nI+'_Wg;Sf P "E ϙpv?djh*)Tuɰh{tT3%]z贇$#Edv5 >n[2HT6iXHvnNbe_KCsip_tn_I{M03 21Ņ{;mq'=.}w3SlTGI`yfZa{„u^}(o"p&4rhRcqa.1ӓRIK ;'ceO7aQ"A0(βl&I9'a7/NPۆ$t6cs&@%eA?=S>;*DAxWtD 6HB Kddb1̍ܕo| w,jg8Q"NaNPp W% Woi@bL hrm0<|C7wqj9F3 3u0Saj{YЩ>e^52Ӝ,+NAJyvjNN[t/ o kx%U1r˗ Fo6ΤၹF^s*?(#T}TCbءC j:]l J{ݰtBY:9 țe&q,e vd(ẉ=W[yf 98e[߯*e_'s >ъ6k滙i`pWq@Qwuѻ Ⱥ$qjcFp$2:Ăas;jg4dsXKg e毃y/kϗI z}vJ"nZ.ބr8d)#po~h 64V1*,+UnF J?E-kX.}+ibAN(j+'7C#,.B Uy;, *7 (vL |2Dڨjʪu|T{~տoX;Dӹ&X8s! C*F|aX|˱ܐ(}ڒtb AaemL_db[0ax$}ٙPHE&sG}adpx $tиtE#}܏|Ae3T4.OLFq%UCņ ;ǜ99uq.:ȔGjt+Kajy_Ӳ=;,㧑?zqo]ΉWǙBXHA |"3v<7v*9턹F2e΀(ua]Eve&B{=LQCi3F&#n55+͍-A v1z)1b#Bt/zۇbF/'~v=TSJ?$Tlbq?roU2aklo\ zCNѯ~O$\leK1 95?ILxsh(蝓/||`&",ϡ ;XLO׊%D.-iȺlܕ'dz'o a:.pݜv7Ub$fLR.<99_*pIɒ S6듵HtfZQfgc OϚ&kzCXNϷ bؐS=bF+ O@O)jǾ%E!qBCqWs08_xbRZj=$, A%,4`y?},Xa lϪFe8 $(T2rφ|rɸܡÊ]խyٵu+֯ 5= RPzrckMP7q\2¨<]± EAG[rݏ=@JhBj@D|c5A 4 O˪Ҕtp/f²1uw=h^|Lr@UұqȒ!a1r)i,v< 2\%Aa@7F:Mfa0-2|6Dq uIbIY_RHA6ˡC0ic7VG]!G{roۮ\9x D|Z.힕Gh:~m筟 eanY¨%a:VʤUrNTKVFK ֗ڗLW/%[hTsmt5uNhR ݑM^3'.$'9c+Y8.鰝=UUrz@ ]TPV \T83T8N]?k^Ĥ\*;uKMVEQ[{3c8%VͲq,5%_ۂKek4m@jXdgJq^=}Pr9ZVԲD$Yw0vwLIYȜ" [g〲}0Es4DivJSa5ͪ}WVD˹ShUW]M[}IJwYEGNl2\Wrl)@$#sk 7}Y[X;"XWC x Y%ge<O.L#7CfoVMlPY"M|'BBK{+Mབ-`[JqÒrmzFex5{L}%t)C6?2QAqN'k qfr](R`9E>?W?YGy9BF@Z~j%JlF\`e^N1"тZ=}K1aK1h%(T B|y$K_VnJ.-118w֐I( s~t;ҕvk0 `\mATxk֘)\gx6lg4I擬:ȰyV=FjQGAR}A tV֯Ka y?P-z5W9BULǼwQGE-~Wʃh0k{OۓCí81^` BA,j.4v AF\r%@an>헳:Z>lB7uʊAU{`nI i.pŖ B3ҺeԙQf$]Y`_׈Vk"F=Mp,!Cջ*m dla_;qj:O֐͊ސ= al+Fҷe O!4 @I 781{GtL=FG9ʮ,y]$: gIOz8O*7%hU&/  B6>o"V˧J@\,CW6K.lV~$2xt.|Tq9.N^sϨȞQ0q$Ig`R~?u] }*a[!j3sSv2֙i9feYfg  n{xk#XD$ůeH6G\LZ ]=HR!+1K1Oڔ|M2S铭0բ{ @t2Idd vR۳.,JMT"TDj`ab.tY hazƔeh`Vva2Nz-"&)K YV,؝,7 Ck?؁ ܮXՙ"%ׂ,Zc2 |wj,8^(*c<\HLGGM6ׇ{Nqx>ٕVKE+$o:5!''c~!@L[8.qnNp vj 5 顮EJ-ws!Ytt&'E1D7WdGK93`!R@t=m@wi{G].^6 " L x'!Z,p5|α|';6`uAUOSQÓK},ORÕPSIՑ4D[wC S]M0'6lnfu2"=S7E/஧r@QX nkE]Ofc`"qKͪWo3(QGM~*6<h,U!Gp.֠[5"˜B53/!kdM 6wgߝDGk0ˬ!Zrk('g2|m"5d  ߏDOgƿ$cYG]&֎A}@MDs:"4Us"ʟgBL=J#R?<޵2 T]/]R16u6{ڋKqt=Ty5WSJW-tIϟ MgY;[sTt̩#7"$D+Zԙ!+I չ3*6 A Dc塠w(տ^c?}ZcsC=i{2,q*M[LhJ/l3|hmð:Mi^e q6T I$2lH74qu_I?1SYSE'ylf:8S]q܌6ׯ9F)"蹻A.I2. HQZѵp7.Y, %s; S;_j=45u\aBhӏn 3>$5'sYr7[^ _YtW6$UEzK6ch*FtB{,)ZKXYVD G>S.6%x&Ec8~ŒAJf Tk2YGĥ96N$_:(qY7pU[١ݜ^LdD"^ wm梠56++zH쭷/MN8\v<z;HXڝ;?Hf0}ŵOŹB/ ?jI6 2BֲIj&X N7Zy4e]Lث\jH V (lH=_M]i#\75݂4{ߨ gU7U*ZP GLWK'qc&T1RA[idQJtn !+uFt@z2GðJKs5:F1D1(`'zƭaބu 14oV[H8GUSt㫯fPn0WLv;.{Nf*jӍ8-.ϣlZ0ݪUnt& EXkJd&:BOef%/]]0~ 1 47%X,yU`Z% y}*&@ 6VljeB[*la] ( ɽ.N:7kԣVG2Y(fgrnp^;.Z(漈nS-QIc'$!Ql3ow| X@kz}g 7OH`D Q o`t7B9X6R14Đ2Rx*vGdvYq_sHWJ:F ޟtֹ ){*&FM3݅6kiyz0#45e;k{,҇B6D*<t -me95W^gieˇ>L7#4_lS ziEJK'v}؂Әon1 %za`XHGƲ9{;t`<ؘTݰ՗ >Afz6:Hw ZBĚbU#)M u'sxNElpzp:7kg풎-U*vl 3oCME*xLwU=BU7q=5aNL|IJ(.p&}> 93-Ywbƹ&P]schE~;(|$`lV&C}OEP!lo X%ٌQFv\q S[kkcfxt5KׇV,,9RtTp* ߏWVZH:$.v=ۈ&WӊS(O6dfd3bhAEWE֗";pGQOXG߳50;9ߡ(#4)<^\jedD$IEfDא |ݝrXAqlFP[h?CYdV䥞t)a qt&'o-c2޲%,ɐϊ3ז~׮M8d"9-{XOJM)]i#>kxkuȋ2Fڊ[Ǖ6-ڠ|;qCB5b<śOǫ*9`7g!DNR>l(-a>'TQ#f(d_&GR܉iZT:v:{Lw|VB(c4 G!-*{!j}D~+*K,K}zϛ6?=5ռjMiS7i *Z)![b +ƮvWINjbvtU Qh( ߪCrDtd55fӆm:BPNG7^f4ŦҖD`ĪBcnʔ3Yj8+{$Ex ͅP(Tm}mW494;->[0!_i85|{"L϶([!<%Ц~\g yFܤV#E @AgUӏz̬gQbei-fÍRnL лq1|>yt"4e϶>"YCkSkܬџ#"rkY7 ?rKoYbu ؅1/)515΂eɸk_'%X1z'~Bn$P,,:A:4lowZ:"џ2DdiqGvma.V lN!S ˒TRStd$iѯ6< '<'oO"/PFc/$Sn۹΋Ig7/pskT{de< OE=p,;Q*a.2`X"d#۾ ]l\:1"jX0Б/,Pw MCNW0$00E,A!b⩳L.yy_t"H0lj0"t)zֆowֵ>3^:T(tkEѶU$(5h˥jT{ +~+7iK ͊>5 GoNSF'N*{D_}~m=.3i|Pf Lgdwxkլ6޿ųL&b.+@Lr6e8Zg ۲ x-W^tݪl8bi[IMRIr,;<)0p K (qCHs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id5226 9K' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚+]D?7 {?:fH\wl K."DSN/'עJ֜M;ViS63=fYJKbFaSe[[gB_~#_`9BP48И@1dF[-,"Ѓ?;-_i1 91\V"85AP#h߾}]=0"55c-Zk /i> 65XA~eX h!K*>{vW"t$L'0d28,PοytPzҸ)3mqn}R2٦ ֳ2Zh2)w\IlI|ÎyVgv#DARa"mzA$R!< n?<$0Yj%HTa(QBEvU >92ׯuF #N;|_z%NP dpX U7lrXZݬyYR i4&n̲.1Y}1H,oQ?+3> K=l'HAo5,G{# }WJ:L)w2pnWLuU>{.ԚcWK&_x lrҟ'+?%o_c3Ъ2-9f ajOY1CҖ?Ly#c*df͙+ң (YUÜo| r(,yƻڷȲ U'x B%1`E2"oK1|(c\O=f#Mr\%)pTaN낖6 BT,nD;kO \!N k*&Oxd^؞I,y9$MJǎhsCwCJna"[08A Ͱ{kYzɘ'~Ln X̮AdǤ'to=:uFS K*j1絥NpͪkLyqƵ6c\ WYӃ)1饦]DRJ/ZѬIvoYڢR1ίfNZ&F9ٝTqvL0ҟۅ϶_DTM /gW친Pr (L+ 6|_Ic4jd+{.u+KBa8zە}9+15@ *8]J *{WoD p[Ť<N$[#d`b7TF^_oѤ׶QY]5YΔDKgXk 3dNy uPb !/,vͨÕ@L/Zdb%|ߧӠNY'lUtD[+B>"I{Bu_$N5RMq22?SbAn"fP>x{@-)-` >UR]&I2_0}G| o9i`%6E2A.IS {LڛM:ƥ@P+0ǥ~+1i*#Ӿ3E€~qvdGj:iI#9X5(ޮ/ B;JEESHGB=sW*R` D^ lH{кuyTvcL\ծB@d (8 t * t %ˮ䏮"k}ޗ]qIkU:br:.\H=4evfڽ cl i(Yy]giIV~Z?>'}mpRţ¨gH4١2=sЂX !Gn ~F2Ҵ#hUeXgG۪zx8˲x ,Rt:" :ʽrOUwE[FkkM^uٙCGF7ĠYX_.<՟]-X<>09aT+mo %Dh @5iJOp%r\Pld KkxÓ{~#tpa,@^fPA= 'eZi v0]`{ 42BJ:b-nOsyxaA3ﮟηgtW\WfII?60 } ob`Śav?#i֞CL& TY\O5 (S@[xd:m~\ BŷK p-֝Xb:J&0/QpbmT _&:}RfbYjh%tp[C1p]0 8!x~\oHpj8_?>j8GX+D@RV'Alg3 |E@/LqU}:W40Xxoka2(Za`n׹ 3CL쿘&#Q6|JWKuIF\' tĹbyktC:눻,H9%?/;a-2A'd7F0,vܽս`.Pɝ`> i)_/:AF P-ւih\W:yA0a˨mՁ.F#Ҁ^%YE#r:̜䑘Eo.x~[zfym%[ԀǴve6zgϱ IhX{ ǯ(3@ OeoiݶRZm ZY9S3pG{5~*=IW-h/|TUisTx%AFGn.b˜M-Sa2M}Q يH *R+t6O;7Kxs8q~%BpS 4bp{'h@UjN7!kf/T܉&0 *X LEݾ2\1z&n)@6?!Iu+pF=]cle ސRq4?\/hlQ0NF :eϏr@\?Q)U35凕` #V0GzV96>!mr]Y&爬VtZ?#QȠ(ݤ{9u9?G s!'WebͿt|$hk*R[̨֞~7-QנK3ITD/zݧ+Df%ڐ:D|e}m8&}s<wX*~8iġ{/z]mdjkH=`9{TbX[eE+޳nh@BDT,h- SF:q)))Ph(aHw$4,{ MlJ%һ~TkЗiYFەJLAJzl!:Goqv9ljH:"eTS'TVlA x/y}ImoUlؘPӞa`LZG.Ð&/>أ?9a UKO%KaRaR('2%vqw?]6-!&.֫6S%X+Ϭ\M+XUຈ HњcpkR׏tŝC7@]=|V? x!z\pU[(_ 2ɵ9|݌|W.FZ% |s^HgХ[Oy09\[­ms>SU`g-3e'Y,kY}Qs9z O^˙R*.,!]%J"jAJy弨x%p#c><2[`:>p^]UɃ!_@삭g*Qc#_d6ds!Fd@~)"' 8Ż' v{ JA*!+E?a޲ړqv? dI˭ oȌ  x ?Ѐh3ITɅ܊ݼUaKb5  "mz~A"3UwhѩQnWoz#3|IK`W5SE+i\ y`%| 4Yf+Huc*[߶yukNuV [{[zo-`2r" >#]=m>ѽ?Z)c"gq"fzSvB`*S$Ԉ#óYGT$f/4yش7\I hRpo{_,ֽ2LN'Z/?^P tmH!L7H-)ǨlB8&O6z'Kr]D?*#ԷuW '>w~;+Iai*9; rM5Au/`{ UF. VVKU&ovEGᏳw+3r!z>\:M/yph ]@)/ ܗy3.4fHjаLq/eŹAA52VO|i [;Յ'wvJ<+/PIsessLc8 t @ԤH3t/2xfi匶j|S‹"4}LXY VX\hj+3`1$*GL+bME x{wK|%n՘~cXF J|-jd[!k&W#pޢBn3?-1"M>y#;3,I7/H2Y!Uk UCEJ؟Mials^D/[vp3Gb-2So^|^R;:]/9Zδ 6F1em^ާ?KLq0IoD`w./KFSر.zr͊pW]]|KsBƁZFe6 "1O!) :ADGOYZ odm&Y/˵Qal/?1(gq{{DȂ༺ufh Z9 0 Ok <J߅zS@$6)LrDœ.Z2jpjMV] "^/JT/$3.H$8u#56P:9a ]E/Q\O@=;!W@<~fy.`:|C oG[ӂV(Arcc%SρnHZ%k_تmaLV0*Z4 ﯷl[hLdg3àC'?Ļzߚ;B,av}͎|cļ:r;Aem.Z7KEP3s8LP38yck;yHT.d ;Y:Y[H$ Yyh>IVԊ3]n"̫qp+hh heE* Zݠz.rE?DCWp$}O3y)cԤb.M` Kp2"MLcE,W%Qv˧\Wr "aچiKBwIצS4*چP.-O@?Ig# ~Ti z9'`EaFBЫ5u`@Z$NǻЂɡI!,J] Vug+Ӆ߶6'C b#1L`vfsGWQKO+GPA$N׶ )yJ${ %]$H"J)v5g,}%ިT(| L>6C> lO 8" ПK;ŗctoVK?Ӛ2,7.6Ci鈡d(zKlyΡd=C?/BhYP/Fȟӂ{ "X T[ m Q.i&}S[qy>Vֽ=80,j.ڀ8$;'$CЬ% 3s=byt[aWc%,* h7]7N "ȏsr8N"24d9=iP+zD?OmsvyapԦpyS+iOjMhTL^ *muLJţ0+^ts5i$^JY7}^e""bߪc B8:b"W>H@ф:o刈4Sg_̞_vD܇;rUc(XpN XseaǭPd>cwķU &f6-U qa7XXFH,IRN6j̄ws86~8K\@H)2+=\2Syb-tںX̍73ZJ\̈V+RClQ/Q;(x 3nDk<iO<֭xX̫(*Dj Ѽ(?Xs,R",bt>Z<|"˪5"al:LK09ÜLĨ&hgF: $K$=+&}mKWGV7+]fo; IT xMk/SVn fFX z@X6}T+Y~!Xk}/&(q-1:ȕտiOLJja2c;6OV&=};<_ !u^}FBޝjK3nۄN=O(6UC/pɼqYn 7B r gdwb~DE)Lo 54 XJKf">CA> H/d;uw[*La5U]Zo{$tUH,A](j?_ک/ ˑSώVr҇cW(3Q0hA8`zy>f)_oI+g~Ɖ=!,H'?Tg #֣yO>Y_bћ8n͏Au-fu_#*]Y`pj<+ɬgUA>-%+"p6}-U@MFTLO`YyR͝e9h430˹Ϋ ~#C(Ϊ@*;| X0:a"%!siyw+xi8Fl "X6 ixlG}!F}hƧ?|}Q,zء--t“vz _԰A=#,z5e7,^wo5PT(.뵯ν.ij0B~(zl/US#K2vC-7;sa~q?XEf6-3C?O,yXVɘ8un]eVf;"f yl9cWǞ LBg:P-C6,*fO<Bh؅\7a2y$% ^Ta]nv㽶v}$bKiH8aGB2\9u1 ؕd⸃eQOc23 ]ujMZĢו5`pfsҊ6c~A؉{jfDk80Y>g 3d5=Xr#VlZwGNnMQ"V? 4%9DEٺney/fqp q}\^1ٞ4}jDϜ9jk4:e>:ќJrrvuEv\FXLIכ>Qq1S~Y!vS~*a<~ 7ϴ yҴEtXRb-uE&O^kFzk| <̎h;iuDL~$EQGK,Uӥ=\1a>>l:[A/0LJD R O{~,+b\!z}4Ii1s\F 9Xqi]ИoRvxO/Pe_>̃W'여l%@(h*^#>|fF_ggoktp@v6r㑘8J16^aIM ޥ$l%6`|+6s%E  E3_e@ 㭍bu@һJ&[7Lp Fѥر[tۜ\2.4bHjUn>6W&jޘd ʷ$н7$j}k4q]{h6v}W+nxC# .w`tapjQ9kQW'I៵6XlӴV]0ՈQh |,|!CH8vqa @ *^~+ uzy0B7 z|-xA5:XGR[6lS>?qޝlcNk(PJy2Jn lq"XbY7zЧaBG^2 )b%rheWD!jtb>фןpO?57R`k#-/rC ۓoTzx+ۣbh 0ke[ '<_V/ܵiK!# s@{׫ N xȧp1)f%3+ b1Ɉ5xUG]!tc?Y/SE,`?X(xsV;4&ylM=+"]ZԽ,@y .d;K[Cޮ:ZGKѣ]qI8h>Hϑߏ&Y"$?U@xUn8_b}$ED@GTW#gnJC'j(oC2tvE9򉂰& ۥ|||%uV NW{ȣ`"8SD|hY!E ټ\4I;ߛbqEjPrrQ_yE9y:jEt-D~7MNw~bv=+3幻*b͡vہQ*# }P_N. Ŏw HvP.*MBM0 P*IHy&H ^$頢'>`!q.uENӌ ɣ#*#dC3@%|~9sKn.ڦnCǍ )$F LRp֠ɺQ6Y(U@9m/f[/)ņӚ'[H&APv_Y?ۼxD 4\% Dcc,6OZ]ڹ!&=]IܠeӀ:u7bM# 2 ]~7#-W.܂ͣ7 {1gV :Oh+ VyL6japSgNm癪U 3=b}]GhM(p&M׳.VigKW.sȴbY/|V ȦBa_aEN!!|D(nJDe'SLnYfSgΧ%ɕ k ,+v?Ub:3N{|yI2½dgshɌ `T #(h_Iu = sR-cq@eL6H ;DѳEuLx`g*ߋ%DΞ|v>L>'m79lչ=jEREi`nĀgRfj{hY\ڥy0-Sf!Dy?]C!B!dMQX$OdQ\XmM 螻VA'#mG?u(Qd*>*zf{*UuyCDkOfZ1/Sb.|shK~p-[WmC'\JΣToEk UFE&1)%)Jw \kcyf!t))U+Sk30 hEW'2[(r]MnZl2hō@՝+$,1J(@8mgU ח-mZ =zX5/}I~q0%6 Rg8;*oʢza͓|Dֲar4vBHN\~充dIm!anTa 1SGQI;^kd @J P- SD #^W yȕBU h8ٓ%iT@%WƘN\1dKf{5qe_ *owP=17㸝,YTWtS,;KB6Rp-u;k7tOwQh /2! K:Ȟ߶ FZYI>/w8zݝmAM 3Vثス^Rx1Vt,9(ZKSpmߟfW2( 7$sn2l'.iN(4#0jg z$DŽI۪oFS4L~MkS]<RG =JN^Wˋs(Z=|64nhYI&UurZ˜|( t[ũ6tav4ODG ӥ'ut޹ sĔ|{jMcry@KnI.` _+4G y)QGhwo+w&kS;I.ֿf|fZUm|ULu[Mf6~Ҽ'7TeVҰųlz*$Gst&ohs&M'ڬ6I*=d @@9 %ί@r |H<7;OIKNX㝫Q;QWEgbG'gkYmT E؜Є*7vWi:flyЅ.n^0tp͇G$79>ir!T;ɞ2nt|AN~{`dh]Jt sQսtw-V您aE&]`7I3 p g+C~ qcD׹\T$ }y\ive%v؆aq qw1'+ soh!"YYeYTo]FqGqQ9ʥeJ5 lmԉ)4A[b4Bצ!C N@z;O"V(y^/fLtWBv/Q93ݞ/0F&Nu"u73Bw1dҺ11?7Ҝu1+ {6<ƿ;&IQ " 3e"EmxҨNkt_/rT5BC5JfQ!x3(75(R#h~} B.Pa(4ڞHO yH~4&3ٌGz[6;0TwaX'}慰V+̥8PP֍$ A{G;.cƮVo#CG?{c4Es jd`3$ѿ.:X`7z "ݜW{ 7OEeuD]KŜPԁ50ʩz !9+7I!U۪a? Lif8pOazWkI&81f ?E2jo5:3I}ۤO~{؁N*mP`*C6ޜ/Uv6Ы+E*%(Nc'vGϡ/ע bTe$gA̓[B4umƔc"&=8[A]2ڮܵEJ3XX%!> 5&bau*\)ˬS7t+gRC`e[hy +fBż Ptʄvw̨yDK}A<-Uc+N(B<#1}sDD+;8%٩MZ o;zMjDBYHxt,5JgvdR8Fi褏 mMk=CA1aQCIsf6tihQqZD5T,?\zAE~%7~?Ȕ@ăs`=h\2e}k 3Av{ f0~u%rdpӿpuZkG:TqBLzf.uH$@95+ɏ3P_,grڎlNT?Q['_ۜT=;`CX.MkYi:[kP:n]E'wa?5 O&|+QpwD:jG)Ϲ%6aoIa ƫs2W5w {hfOʮ@шslۏ /ӕ[E+a#)߸UK6sd(fp9Cp dAa~E`হeWACq8(@Or1W;EDHo {_hU ÇeFy/dR w/bg/A\.Z<@[D ن5oUtj3#ʜ c6Iaaw[ȘPȌ%0; -`wWZԢ(KJ,]X-te)DN?RpUjxgb9Zc̕QTj,gWDR %2:F-_cC55 }N&$uT mr7?]@(1TJ8k"^40>޶H^#ʝ.N'wod+$!ySCnn&rx›k9CG]uh[QSG!Y8Ɉ]!&jfN)Q!7I ̓0Q3K+~[ze_G|ɠ^dYEBV:uu )؊6zb -[ Ɂ$n1ml.Z]DGވxQL1ğQ;r:vչChJg0 Ky[T+(Ӏe qؼ5- (gՔO?8vW;F6C<-Jk=Kխ?HuHskHJ Nn_olƄTZtD2/y>YX^}]ܚ*aniD(2mtbUay#qp)rوvJ擯~}͆FlI+sw݀ؕ_TYl#Rܜ@)%(&pKl}`f hXy1~jO!p&?fq1~.zȑ]f"mB"I!D~{L yT"<,~%UrgKy>#OmljMV6fh+.N#8;>`U>,9{uAiЄSFxer(~0~SU,7_K;dl/o-"„N1η&51@'@vfܪk=zZy8DIyAíuѝh] ߗTy?yO#iG)cp,Z_D3Mp"H}7 ZoD ͐yoT>SȍQ(55V/9ON /T-Q&XYkS8MONa>EUF aneމOiq]%&VceO:&ɚ7>G^G]>#E:d բXVŒuߓZgkNw9H XD8b9b#鯤s10m,tm1.h\fKup;V8i,>OAek9ayww' ̂T-!==l !Zr=n5a8߶$m9<3Y{Eo>qec C8WYG#X&9QaD3t'TTXyp#ʞ ]dQeɝY${J/k@+ªzgYZ 9G' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ilu]Άxʆ5.f-9 rq?YeT>JJݱ@ϊ#Cx&Ƞ'P?8gM5ӫpc2W;N8I0αڕGbG  :a~on`ϫʪ뒃˓0kuh : u: wm$h,<'L iStp ˼^F}MoSvަ-Taa'&,?g$ULWfݍsU˷'9?CrLuI-4ց5mg7BidHɰt-jIY#{r`lfіd"rZ6Q\;p!ij Wrڡތk?awnsW ~'sD3GYEZ-ԶQ MPvx02jR˒8IMKL0۞[0#!/*ʤG~Ԛ~+Syc:-j Pc*;Bcu<}G)S f R4fO-BįT')P/ٳHa&؈&4}%^wp=PX[KlȷW$ \܃'vu4|6/ʾeLKr4۝aDII1+"V9OW7BOհdi|T}1.NjI"Duzl=; f.gYZ*"#Ad.2%}z~rN)W<])drލO5kU?11Qxy6vrܶ9poEZ"rXD >kp+|_㌋1L8?Zѩ{+.w7L%`%݆yU3t>ؒԳs˹AM/_TG`2]mX( 7:uǧMj ]=2M湧χ@lᦞ4CLqAy(:!hNFfD|]dml2h::m@_/)*4K{.ET5ɞrmު,4VX_0"fy؞uPI v6Ͻ¹ll'QҡcYsZ~sZ!*Թ|۳FYRf@\NV_C=D 3qZ[^^Z%[:竫$$#tElL8\ヨD($pН -)Y?\:  '$O hmap㪴hg l[G\o`-AX*+֤ڮDdv@{3Y >ӯs2Iu0X$|CNBC0ʾo#67Ghea,:<{} bW{hդgqe;<+HwY[0QO/ R/=SK&^6M^B⊹OLAenj< \/%aGBUQOu gJZOs73Z2{IpeF ^?}^fz1T S?`6,9~6Xx=RM b @.oNRWB a_ߐdCW($^#\GGIQAqfalz)gWq=\:UH˩:ߒ߽Gbxfzt!fKeVU)3 e Hؼ}MW5Uiq}SNɉ<{K#^QKH[ p"5``f=$EynpC^^F}R y1Pz 쟂cvBtJllp\y[lğ0 (=m#ИkqY92 H#&M^FIF2ѵYƟ0/ ]+Z>M*hL:% `1:n?*ủ| rW=8eڭB}BoƟ]"?1 X qQnVaOM.M)>`A,-ۤj&^z뚏@`VU0̆Ě U("L㉢b.; 3?rv\ 0@\/rx?J|W$On)eK|6%Ѩ߸٢-KyaMwz8!RJEfFwQĩ©bsPbc ^Sƾ|H=ʌIJ"/u >P wYȷel_Gx_+0P'Q#DYBU+2hw* L39)PRo<2w&.s!Mui 6_mZ>P8L[?m\B}OC OsAH͏${j[ ~ۖXa[HX8GM8??J5 ]!AnxSP݌ 5@ʳ^rf}9DHwx񗏏1cA_O'641h$aͲ ,O:xm.Yq4ch Ă> 2%5b3qu,kbxzqPbB3Q=3u؃1t2rn.sRw2УGBS+)^e헠|3͟f|fr==Gi*QV8iZ}՘<OJ U6׮|\t҇=XU)+U"%bp9):겯p~n _#ǫ'G8gO€YWH]:uOUysa eqz*SVL LRjìotwzb@>mw|~Oj'cwJj(!l ު{q?pJA-ƺV1"6CeAz[M)C։M"gPjЬ*77j$e6*l (e\8M\'e8Mr*|լ|bdl0-Rr}ۗZ߹H{A;8ZzcFnD-kfiC %?#'30X_K>JµSNCQbC6=>]=H4&K r) '!.Ę'.@A/{}!.A/$.̊ʜ5y3^fL ^u/x$5Wݒ?'Iul n-F# JQ'u'F'GoB>/\nѰװr$ ㊸ ߄ЀH%A{CzG\<">: FIaLKf<4=oQJrΏI\eZh)H'0;¦_cΑ :"]_W/ڊ Mf0u'X}{u@*ǗGߟ^}x* T$^ k-1+j7cNu`w  ޖ*dU1#5˝|W I)NTs4B q}[F+qTyU'a|=7|bp(HÊS,$Cёk0UvI\05f[F'>KFm)9,Ņt"mc;D҈ |^M'7$.Vϝw%Y7|ymn^ZnCloI/SF40+(2UɵӾҪ o1zW*_~`}̚7ǣ a2e~]KR[V[}eU}ҡgͅVqg ׭x^Wb+uy/n" %*ο:$,Ox: *60!;u3K6 ~ӛHU޸bC"4,gw!x@?fP2cdWڥ'mkQ K^~IH ó_Âݢu) FjîNR<9q|pw/lͭ/^di;9bđ?noڮzfAUyvԺ2*NzU;1N)m:W*RwM1|NbUW!J|=- uET'5lL%<ceѫo]`Ns0fwK({݊Os3&u9ax; Ih0> ]OjZ-~!Fi ZmG B6#B_W^'9*3W|$2(w%$JM>>,'dkc1V1#!s2vat%gI n^%ۘYMH;$sUFq]^TW-uc=zĪݜ@^bŀai4"NnTWwNt1şzIu LF۩D!Ѻ]R#=MJKi(Ʋ#3 GK{n*\@ֶ%u>z1g9H)\h'+s]lJ^LiUP"^1) [-M1v@Scc8_4EMx!=:2$/ƯoOSZ+6F4lpH&=rZ&G7qaOuy(gl8Jn7c k&$ܞURHDHxc`i%1]󂀛E!8sf*8JMف,ҭVaꆙ o2aiUh_:1u~3zDM$;vE-s{^[}ܲ-,RzXy<%8'I|gyQJ9(s0;JvI5.7 8G$Vn@?rmL8L|kp,7bmL x'1ux &ƑcC ɰ{O(mbI.~!J#_E6v_Oy @r` l2vemCcSխx ' >gg1\'aBR9(U^J1 GNdɊ1kdBqmyt@z`,k[c9%AB<Ε Ab*0V:dHaL<0WH] i5RAaA?xGj%Jj2fd VN&!k_׿{e}O/]iH4[Rr)~[ 8.8W7y)7b5ն)` "l__ "Lɞ<$~uW*;Pp8[gŻ]N[S ,krqƴ2n\ kq:@檵\F߀X`5ϽOV嬍ꨞ螩ђ |T L+˧DAҩ1m%ha^]V ȴݭ$>U5VzzıllozF%yOޏCvE6u2CT4σ K䰫MKؿnm@}`|pdtH5$%KY+t5vjO[y'΃}A A9?"Iٶ3׷=}2L*㱎 3X^$!(TюY%;Q=}R摟Eiz#ӱnA&GF n$zFȎ6+#qCiMw̎ry^0_BBBk5~:}ZK9 3zra[AN_: 9d tԦ:V|<-4y_-h̕ӦNd0+'&٠,R?8*Nqvv@/|r~r#Xv&T_L+ۂ]d_;UC D h\:a#W޺|jz{LM^v7"鑸gړ|K2M~a]zPo ^qs1v\m2o/ 2ea8b`ׂLُD)Yo.zml9 Oœ=jH;9r;K \EIO0j(8Y-~gMD aʏrdz5TRz٤pT% ukc?[|Cv4<1$|7ؒVyHAϿ]C(;/NMHrAD]^0ȹ_`0GPH1Y&R\9ܙV.󣔒H pz1)~eO_$bGalHǮލ夋̮l\Sr!: W˹e/OTkFc,d܅᥺n̞u16f^yPT#gE X2(@Kghs!_p#yCL2o,k/X!l?H[a\y /&uo  ,*ʷ7pad@tQtP /e[}|Xp#| X<)rfBCB!+!-٨`; &ox *'Xȿ(Ʌ#.k͑ ؇<fc=XW0 Qd^'Ptkf/3"jhŐ8X w?d/JaQP5E,KH"1o}@_Tq0Rm=1k/5FE U:h Ba$z݋ #Ӛ q#vk`^?2 z63Y=رPt\7e,('S1ZGC72 q·O8ύQҮS?:\q̱qWgD!L]kRmx,=W| ?}qфbVRUCj"~W/5W|~)?H V6 s2Ĝ T(j&BCځ˅ _EMb aج?_q*CXq#Zm7NDɱfm4xY)2rtUYct o-ie)]JNl>߻~{=`]yN+QΕBc MmiH꣰d5U H497P1:ghv nxTHutpc.D7v@yJڞٝ5@q -Пurpά PY:_Oзn**daCn{D\:Gݍ^N"Օ ]J!v ԯMzH0%#k OtbkMOK6SbDKQS. j&_JlrX]?`S5r)%2d *q7 I!w,|׀WX $4*P Ya$7kƌB ] Mlf'ʱXY`o.СweO;wX~鑿Fomv< .#kV䉕.z[L@B,k"Ӝt+%`\o\nΛa:K1eCyY_`z1"Lw];Hkq#?U0@#_iJK>gթ{u7yۋ JDe+SK%?"n&mھBCsg3:P%E$Foh~*kAթ{LrV L&LI8B 6دHJgf/cA 혛N­7޽1j[i*ѷwts/u ?ZU+6VNTk엋Ee]yt.˄0F-`lzxp u 6*f$]?,1- #a%! ^+b%&Suބ.+/u wS-h1 :ф8Lo sGW5*oI< 6E3@!OM^e$%;"Wgg D\l{-\?Mv ~ 4fgz1kH~q_%Q@ R@vVFG%zނ*^H瀹XǸ~&Yݥb|ȘAUY"|N3)IE8 l.4 Rid2!<̽zyi\AZ/9dSqRh⋡7 -HQv'3 )߮1$ke%(L{uf>\6km'fOؓP/YDO]ӢRIr(dtှ83S_3g ؐA:&IsU]`+ sJF ƀ~ApuZS* pqU%piV1-yT:tţ4xqh@rF=/-OgeRU醖6F'z ^"Y <ȩ}$ݿE)Nf1e&s0Y*HIĴSFJn={Frc9w(NE|Q󮃶_@‹4Cs+b J1)>FDc}inC Byfl=(rH];֭2YV%hжV*'99C'&7S{8IaT򛫄 AgnSbfաyJ]br)8m"sM$ahLD;؈:VP$9jpqmUK\fF`8H,|,-y+sR<5b {n&ڧQ׸!7MtDD((mF|TB | C b@5 Ld2"4nxU& NwR}gF",4tM\J@jCXnREb Oo.|JMЮL‰|c!C}zC*/O2;S Fb8QS͉RZj{/T#Xm.Y^:bR.,;K|; AA9e'YWSRcfn#0&ZzD˶)-&?W޻0~v!'Q!6=`AҁQM~X< <矝 +|l/9ΘAoЎhw׻(Ϭ/9l"ޑވ#QJ\kvR7ƹ%0:u3IŴ%s!JRDXR[`5|k]$[wV~yJDhZe(F.S_VN>\r1 +g׎ lwN[<|"~|_U/TRN4m E:mᑱ@QX%AkK1+zrʼ(K?r7L&j"?W.N^0pbM߳*E5BGO1~T}PWڭ5d+QHð^54jKFoV6Zh(㜉*7Ў݀3BQ>[qjrE@KDመMz>fMR:Ss#X欭FMDзOƫKEKE\-4ENyB9u1.3$86Y1avFΖ_~-&n-cje= -d&mV{}0cH*x0!=!ֱ Xut?\좜peN 6,9 0۵3m}6l kqxLvmL$JRqꥷrYU6ZjldSHnrt8ڙܲ'} Y=1a(YF\ fئjkq6 ڰ'#Č{&?-\"0(#/@Y:Dm*oW{s](_Xyb^}ͭhרF#QΟ}Yo /Slc+bMוH7> q`2'WE9?R72 &"6"`мg "G*၈9_[Vs}"goI^o:)2nt,@lzrhC׎r!9vcJJ~iaslEaYbƂJ.l}ϛfNJq,RwJ}R(iFC<:wytg# bAV؂LPLte-ۮpe߆?r}ZeU@C}ێW4C&EՆ&?.9X*UH+@}l~fm冉:ZW[,0΋ k5d/D/Hsj6iOP 98ų=)AL;^iԗ!uw>tzKt@˞bA_HU"SC~:w+?l-o~@+x *f|6$]_cUv~n6ZN;-)jP8QKK%RgdORp+#`kz1/ؙ kv{5yFitBm]D|N#k פ3HbHIv#%? .b)EK zdգAVXdgp\Z )KŏDž/+8;ՔOmR7wG~ȷ  [DFO8ElO\iھ x!(X!5CRaU+zXyư`ǽnP(,zO|#\, 7喷!d]Xz갭ϵ5Y* |IhAԐI\,#GRg|h y[ 1@Cl&7`3x&6C_})'7U#\cOz}(l|_cTL,-s.ՀLkQ<0瑦4:;HyYLfX$.|.Ii NosـdsH&-6,XƜӋe4^ c[#%|vQdqV]kM 'w8BX;99'Dİ3< %>S 4 W2 $1h,CGrs=)FAJ62 jLLGj(˩e^H:Z#l zx0Y׻ysCVtwk5:Yq%D7}m2vvq?wE9@՝l!@h"UEWGF#WDlR!8lqx@^Cuh^-Dؓk#lY $aHAeV]&jbd6#\8ioQOF!bkF4pw\ɠjLN4@۫pLg>7YSs4yYO=lYH.`취Dqt|fpF45>6^ R4^%</Ia9 M2G>? [٪MX5񧡬LDgy_P/\ )/p5+ȈDqu6G+3%-{j3 M KD*xlpI>I6pXY\} |9xﱲ+ Qz KY 6ϮFh!Г\o:z66PYBҝAսxUc~1߂ڦUv/>Jy~c~執92_dqI piQ5V Ton\˝zc0aƊZ?K_ea(H0n%?-{S΄S3ҔǍe[v SţA:˧]K+g&c_nvqM)r&w(&' lq~3]+#e&Ew1`;MijFC߳(ex@I%>A%{Y0^> Z:i(;ԚƦ^ڙEґ ՠ _0zf>i)0tK_S|Fʹ. ,gC֬8LgfR+iîip^oB微Q՟YXTL !Ë7?*=CN# Sz2Ͳdܳ`?D?3PzQKN@'&Lۄ8KL3%A%=<2:GtrUKk։ 0Jy^?{I텊ɾڠu|fļ*Zɽ:w$ޘtYյ=qk\K&1nVsndjA08kLew/QW5K[r$a (]Jp`oÂ"4 O `kmұT +cS'ט.&>򰌼Iqg,R5?+OɋB ,icW+}Kanψ-U(%yJu: oP}ѸɜW]?`i4>n$] L_FP-v;PP3[0qg>Vۇ5sCLE+;xFN6W%Jc%;H/  _+ˆgYIVڝ~h $a8U WRQIjN/mծ$ZnRoZeƋXijn 81kl\1wЩj+?# 8 ^KX77:~W^`ihC8FTKUTyeF>2B #1'‡ ky亻u40Ќ,5gS?U*P )?v;]WD(SkAҴѱtP1β(m]:m YAax>rz#mE?L c' ЕƄPJ牆pjm}$һ,zӑ67?o)8ƛPz!?}eĚg!1]v"b ؤ$ր=Eajpoc_Ua1* 1r4Fy87aHҔrX M9շ38lr *.kGē R\?j 10+DqEyvk{}лBڿdWt%a1+=z7x3,<+FpBcN*N}`/vwmkKҠjs Ṽy&-x>K] A݈2MGC|3hB&-WEǩr#5g!Q FY9@ "POtf~`U(ӗ>-?3>5D$?aWC ImEQ/G<3@)ɐ% 5@<cUDo%o<\>ޥ8=f+l[<V$p]P^yb'O$gCZTG" 21<ĄBdX{̴*c]w0UHi`\֏Fpo&Jew" Rw.pDFh\8v G;=-٭Pژ͉^@stG9 AUf\ű3UJ,25<~c"ՄP8@WwLOBt&tZ#;.(˴ J%bjy5X h8K"uu6=][GL$pF(}{`r[t^z-uG[>lt[ۜ]u C `@!Y6'!D-RgX;M(t* r֍`O"<HŽBN=EOs{րo+Y@..N8|! H x? g=q1P#Hƚ){5L da0 d}-8x/e˰ktR6r}iQ)m_.sZ! GgЉf ۊY-i[WW'S82DL(Io aڜG62h킞O^Odk!X*hUDh lxԏ'$Skoڛd3ˁfA2pai7|WPϨEs_;W[%ȐmhRH3}Z|D}X%a7%7!bDB[0RʴÕ˖0Vvpd: yw>@t f<?5!`k/RSb7rUQ|CfPc(G;DcInߎ&`9 GzU{-t'u (Wع`|zl2%$BYxBw MrZx@0dO~bu Toe{ DۻX0? .N#_NqL|9!}÷̒dkWbO@m@:SK#l?sw[!+TkK%cRC{*Q҂^M'$j_LT}lJsGUYѩsw09sc[Pay&|f~W;h!VEP¾!8↤kSj',J8Ŀӈ}AQayjy;*aڢ8s5S5,asV?ߨ@na"AnPnqPɸ_56zainb&;=,l9r:&?_+;yBQ)iwGZDZeFQYngh:-;HB1mY2ѥ0Y̘)KΖIs(kiר_AL|+AxӤk3'xX4?^夗a'UOp~O<-enHd(x;envGV'Ǿ'1D->QH <~̂dҝCfyݬϞ&@Lzvfx {. ֵq޳X = $ēɢ9 t$@o(;x#~xKҀT]B>*b:iumi*8sf%b@K=w14k/ 3wT_Jttq3$-^PZņ7 vnגM ϱ|jWGL>giK<̘z1_i_1{(iڴd!zwaK[$1Ek0p[J]Ho.IN#\ҙT>Q~uzHԭH 4ePt!O0Ykt&fFY_&)zd5+~5(>T zEs @, zjCw x7 R_EyZ2uڤ5#YwrR:'vcɕ-z N7Kݳ!~6K@Sd<">y b_G#nK_o8ׇ˞jhQLnDaG*О~?Wm|k V@ 2W%Vnݒ lo-yՆbLIBҡ*\ S{5Sh*z^| t^I)5d1LIf^F.Y@}w;4:o/ө?l|_*woM *P0d//`9jė%ۜq?X6\P\aS: CjE?}"e.'ЪF(Zv 7l2sZhLbC*'6kQC*``~fBfPJx-(GRq*OS9J'2`q`:$)-^Dϕ.^PT`m7v@tb߸+' f1푗Q7;%CA "SVw5#ƚ<@o@mkN= LE;GҦ, v乔h!QYS3LW0nz ū&9FUnx[*Γ6 s(rql%򑰇2X_2-͵b\?I+]F[NOvS+uzzj)Hݵa]"m Dd5Y'Elh%1GI+";LY0Lϔaⰱ=F~B9nZZW)up_ )υd3^i&9.w}Dcnݬ @%nLJ\;T fE ](߮(u{J4pė`>WfTk H;S7}E ,+9<_O{P;fubZFµ^ۨ'%&0oqzsAT`'QWQ<51˦D$/Pg~,.ȿqܿt: #N r,C`-yZ8hNl'"> \yP\1FQ"{" Mۛ\ld%'NGJ$t-D6 BSyJԽo):27wt N* mg4|{+&a<+}Lzl9sfOpaq+ YjSfᨋʫfgTLKb=!mŷQJHd9' Cu)z"NCc~IkZ2LNlL|{D){Qu[XJk̪F*ԼAeQś|Ds6H}m8%<#4gJ/Qa!͸)!Spԯ4K"G+OCP[)fl 3;dDjfO$G)sG"OH6cJ@o^pPg@61;,)>v*7C.j'HOop12 06 ?Cp~e\ 79t\7D.C}t~|k3۟606D Ctt@qΚ+~qM?v =5_Lzmw<{]jhK7;KZ`Y 869Y^sh#E[>Vѐ 6~EReyP MEe͕1@/^P{& &JS=Y럭 ^%K۵860`bgJrKs*8D%8P/3g6YvI.O?UWZbH~CRGE.r' (b%9c}^e1uO{lSKh^QɞPLAhs=>R:z[!BF%A*rE|AtɇBk΀HpxP4nѢK栭ʍ4jbx{<{@InF%=vĭ&1BP4V~bh}YI5~UIqpeP[]/if{VLDSn9>~ÂLРdWR b%l*Vh_sE!XUIk oрlW$+#?SVǃt/N@%qt/~z nZ.%FOISֹ)oEY*ؤ!,2 o cؼB:kyԸ?5̎:vM53 &!xN`-*:B8%Q}6L+T:n/zȧ2UKhOB6uHEHӂwRp_G+|qSQ:6 gAbM#>5{8\5bf䝉5û%D%9b}zpW j;/6d5&>mq™f0Ws>hoYH/Olokyh2 h R- &C!U% fSHg=zs#(jSrK㺑^SFY~^+<,c/?YZh0bp\H€#%x靮hs>af.G|'_4sWφ\"OH)S^dUpq=QA&DBMڷ~s"C8~Rsy߃=I<ൡ뜀pF/q,ƲJ S:1*a)X͆}{/ Z+Ec=ZI#Ηf`f@@I.ugXtQ:!^/KKvJ3?n"a{IF;=r e\`0Xkwqt.T^ʌD[zP%anݠ7]֨Q^0JW`3bQl;եw}&PIH[w)$o1 gёaJSѶ=^JCTZZۼׇGi?[,~,;ɤ$//QO|ڏd_RZ? (88 b~E&z77)2Fy^|YQ'_r>/ 7Shw+frY`:ʝ %׳y;u&nQW {QzH57EΈ/h^$ᚪ_8 ILsD g5Y$zh3_ҮǨ9B <6MڴIrM+Y'N5#ˆ>9 d}rF+2D#ewʻw)9: t ~ǔ7v}J&cvXu=j3[̜`gfw+2C )?>,y0Ycc92!IZݤcT6]1gVX oieNw& M> oVIXH1K>jM~aA5]F  G4T@ {U9!vX2pV)Vh3}? (%$gx 9~aAk G0 Y!7J+ABE1^ DuݼoCFt z~LuFkbܑK$" R9$4Ȗ>txHuemV`o"dHݖJ"۫6]Ǘ^] ;x"C)8`:IQ>|j<+Gxܕ~N1'<Ȋ,\~'Wm2UC5.ywshce86&ZoBSw ڞ$HѿflEQeUBwP/͠@oyHe,8T(3述ՠDهd>y5q5<#¶.(dtkL_?2%b.0S_/:z;|IVp&[_|gBpzeTs>Vbj#U\INZ{7O2i4>o^ 6 ך>)oʀub)KF3 |yԡXU? Hge&zPN.4\],e;`pIOÛ,1__X?q4n\&u!6rWm]`i[JNKK8BMKbNҊxWTI4=VX̪_vO|9a n"^)/?=:XM:dceƎxT`JZ K,$XH~pb'!Y-*6T)T@>ݢK=WdAq4EMYx?%ɦ/+P1k=@>T4+T@ $Rd|;]rAk!'xj$Jl&,. myz ,)f:In9[aLE;Ṳ*^x%G"d3AuI&s8{ڧ')kdf*`[Cɾ=EfS` GģbuS*+?LQ@6OrtsP"ʢ8z E?]M%vB:i8-o_u9AGE:=W6Wd^EO +U\ GM|Z xEg1ذ0tskLzЈLnh- [~x%wϲwU$=En6I?N9 2h}T %t;(}4|/C=&^_p{8ǩCdz(\}jk\roƮ3#=cWҝ:~)EpҬԜoz* pܴh*'R,%qeu9:=U5;eBbsf:+V?z/FlI<ܥ4u=ah@dE"a[ƌv k|&LHOѾOI޹ka9kp/L|iAqJ,Ա`Ճ}3Lq 46w,^}mNڌTT*]i9Xc+ %E=+pvάBg f] [^>rQzf*fn $]*j7-۰&_b̹V.@nY \m؂+Vf rw+@zJ }Qe~P? G۬bØ=uDYzQZÎXa> '{C&13`ϯu/ay+ *w!5MC*s#axH|sɈ?H8W0EF7'G>"sݣ4.nTz:꘱ q-o<}Y38Tm\mTDUk{gC:nF`7Mwh+VQ3-kuS*e sS]V @%ʈxC+$k~ByFEq2 įX'owFeAXKAUȻY p>ėYQ[Ԁ^C^`N[ K̈u]mP{cg,k%[YA,hҮ jCߎ?201‰.xjgCdA@ `%{p$.P^;7Ǯz>n9dW9v1?+vCYy*O)vܦk?u^4-g,Y#ݵ=byzYS̰߉/(ctج) U,z+F h NJʘAPx! \S<ue80֠#Ԇ2u#abHn ϽuM 8KNЬ1d H6I~ktؗvpTB3}&Ӛ*GSge P7ؠ=۩u5ю M}7#bZLJ"% ͭC@ln/T4J`YiVJB%*|9\}>]"Йx)L)^Ǥ&Ǯfc`;3p֬_C3AH@z)/{)݊f-TM\fWıa>Nr-[^L+t0E}>3IWx(z֞FGT>[%Bjg q6LNGt|ħ,JZ ӯCϽ0QŌj.6HNsFfKB91$ 7**p*`ek.۷R4?@USš/>hZCOڡSZw e I@v`9`"&a[C.eG(nsߺ_պDӺ(N9c).s(CnLP9Ac|?xׁ"50W//aTpY[XX/~*_~L0uɸ +½b:Bq,J6#԰V_&Liu9ghQ"ayv[xMOQ`;31_