SQLite format 3@ " .K  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 f9~|<4 ] HOL-Datatype_Benchmark:threads=6elapsed=532.533cpu=1987.868gc=747.9607zXZִF! 4w]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;zS$X_9H|Q񀭠ASs?-3 \R&sq*D@GaJV, H98jsQO2ײRӰ#0(^&MV_vìH! ?uEVˊfd%Q- =Lp=|)/c`Mcw )p$gu-@#h3œ@UZ߈n~i`#LLRGPu6#X z{=>Fz_unpA3B}OWHt1b8UDrqf \R俕Jn}o)"bdv5VB_{bg\ >=>d88LAyq2Q˜*#'˜_:qb Sbx׫8f^y6՗9pT ~Z7V!fH~ Npo cZw~U!Sm !wV|/ (.3VJ,AC5dG}7DiZ[9 9<5/g>tna/sbk<؃,f xnchAۍK0tN$tu:{J3r!Ahv˲ɑESJ㒀N/*"ҨÆZ G[$:X [7+%2K AړeCGxo7ҙd29fk$0Y25[o#0oZfL,͹@דNR|;'I) 2T il?bgYZ7zXZִF!  ]ŗXiɟ1)*u%9T;֮5^z=tHB[ChGp*Rm~SN 5Zgm͵ wOo{ HQ-gb@3O 姴[KJ7HQ5M],G*UCBRjFfZ:B_k+2z( aF7MMR.)U_F[@GP,㏾J)k@=9" -|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;~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 .iՂM" g1XqCq5stX_yQf٤+)>別K fw_@@Y +2~rϛVYwu> z](ɴ5J.v=ؘ@>rY{2yoz6ŒgU$zr^ PTCdeT,v}Lo}dV߄Jaf +KMuwu{oRe3WSсӥcy3Т* BV͎cGkX9&1r^AL2ϋ B5 T c :wmb&!"A?IW&Q׸ڗ' p_IQy@%Z^(mY/>7^{)@07ĢfۂWUqU\8m) Z?`(A t2.B WI%]ZCtyhoxeN"x8%i^ KVbhI3c&Ȕ6%ʹg퟾HGVM|%'oY \;R76VJ,B/D: o)G{Mf F7>l]ZvFRŢIR*o~5}X EgMKENjKXۏ=pG9vP>0#hP &jb"!Mr{HQu/j盔Xy_V(ܰ P*iQ;Tk+[J²a 4Ma˝2o'CcQw 9e~4 dl ֢t2|XWldVSB^CJCi#ٜS$20oDU,#k~O7,+腂S+;2cy|'LG*Sf41Iӏ)ԊS1WkvpIl72bA9 wK O&ǀ>1~RwcXA&0DH _(DMf1r ~ t ."(G]WJ}@u5&֓O kn\$'APV=od}n#(w13J;1qZ.Ql Âq?.8̉; |Ľf@\5Mg{E& >xxj$PFJ 0&T~;J!h /Y*Q>@ tF+T,.-O2Dq]|GnArtf ϲnо=zGDf5J*AUx i70c|OKϜ@qU!kFQ am;}r7M4 9w247_21t.b=S&&i\ m6TgچZJe@Wݝ+Y)r<{kb0)"灪|1Yc .JϢw(cejy,!:T=6'Ƶc,f&ݖL*T*X#;4nKGxߢ?%@F) <^I;w-ևЌxn#BqglUIM)a9\ ˉ5 ZOi"’f[F-'Wq&` Pdc ) ͘}bl̰=q_0Hz߶EI|Y@k&B4Ez,S)W!A7!\^5 lpET4$Ѷ<2KJw.i1QtOq5LV>4δT қߘM1=9]?Ͱ >l"+9N!I`@~DCn^#AA?'v)?6%BJ6C@wbI3hEVHܨĨDhl/]o8H} p}*z&6ԭڵgerī-SEG)5Q޴oӌbMjp%PDQkַ<;7S Sw<+}3AW?ö='j :`9@`Efݥ۲֗Mp*X(,B.'<Ie,Xz;UԤ Հ;4'ж2Ɛ9Sb3NlD%KuKr N\.RI$AsJ0ʗ06RbC˺K8OX(BLH{|m82H; x@:u+T%:/Xlh Sְ%j') W8%z0 dHD6_>sƹ;zMe8b8u/fALuفpR\l`ϰGזDײ$lMD㓞b[]c@(}FhPe8TI܉n6יtgg<"ԮR_9^^1DWvH 32ɴ-o`Smbh0c!FdOҙO䢞."<%vޓch=2P]g^ t 41Fָm;&CzӘDۅ.o+Ӹ xl>AmCᒬ-c 6uc-Nqc "[n~i76ͺѭsHvH w)Gx )-yMQEoy3;fCn/U$! <~Hap^$Z^O_ 1̘2[I:l%|IW\ërHRtp陯9.td3+@91dH m'o#nC$b[qllvuas;H0qu}E`y A4ꀺI!yrmN6DxR}D I&QAD8p./BDu$$P9+ LsݵN\*GwNXreZpE~;`vCvC*j.c؝i+=7%6߽xWHkV׭f  (zoȻ8c['c򪇥]ap ;G^uTmj!1JCE-d!-E~Jj$s&V`afuR`W?j>!d%gKiM1NϠ-U%>=?Z \i 9MIazH!"'Xrz5ИytW4N?N&#˱otX#S;c^GwtCTczw'{ӂ]%Bn Nqe)tvx4:4bqhl4'%k[K{흑ZE'x~u:Qrt:)Rhf87j/ U]mV&rP&?D(n'wkNp0*xDab*e& mdIQ׏hݿK&81QRPb +e=Tu ¢˪Z{;'a3F52{?YnǪ *iκ0/_yʏ%1L@*+YgnݿkG#QsUX-{Na"yniGԡ;F$q e |թr~LU!AL+W^J/vA\_Oa.vZnw8J(TURn<pqq;qb94$uJŒG/ T1||51 JEj@7YN?0d=Yb]'GĽ}ƲFsŤͭBϘG\uVhZ'GuK)@]+ff"ɀ <Ɂzԃfe)O}=}lxBp` `4| n)W%ܶwΚ CeC2&e~~ ˥y%ƦC#8Y/Q2vS=${jybO3tV9d[T1b uZ@YZJSĨMJڗI8\q*[mmwb^5?Wa{pre0>UYo} XB$D|xzpna^WgJN /۫r**~h}IO!R ekHڃ]`0kk+wq@!|䍡ikb 4WU4"p)}mM׬7ʍj)۶sk~]ңeax ZZ4PPJɍ' ͸#T1'Yjӄ"M$3NV8օϨ4hyo!KsMCV+̀Ci}D7~gYq #*oZ -_k܀ʽcTim FGW^WމH*6Ai.F줥inip]̶_i~ʦV[kQLQI0p @s%Y_3i09ש) oC{Dk1M7/P6p6(f>bhVgp@Bqr5D&.W|p2Tݾt"x5%iE]*Fخ 'ic)r-aqFdZض/^d o h5:895, f,TƏ0G_#,+!ؑW|O j0T8PȺ ;7k1SMuopູ{#F" y_Q"ђ#!kGu El]r#zT+4w[# Ӹh !.!˙cב? ;bPƲDoԤoq|:F}I 7M~G')nvk!}M}^`GD=kkM AXRD혼V>Ыi쌊,Ab%]8Y#蚗I/rky_*#ZKwbQd[eaa,x {+c,n8]x[] vYA~A 1kzaL}L:3/q*iOUͱD4Oh7u͝+l~#^!Bb'@Tr!}Un =Ao(-BΝ~:"6J9P{P܀X6j-+B2^S]YNRTd7@- Lh>lqZۺ=x =zADtH ES%pi+T?Mi:gw }%d Ԃ{^JR6Џ* )AiEk.( ;m .Tc2NfVJݷ ;x@r^t1f+bR ֣W^np6sjsCWWdE:ޠ5Aou:,aWho?DV<%Q,&M|eE--;ٳ$lp|dҿ]Tz_$?+DZSYzGƒ`]Ashf\2}, ].61&`x̴+`CYjGd3.NO]n#ݵyeYThq@`/T+'!ժ0kseM4eGRĎNq0aȰǀ^)Bk~8W'w` &yNy6xoC,h(StUқ;MtAfhÇ3V@A )˜eoa|+H)d`*X[f́ 3𭿐  4 :"F. /~ḑpB}`9sQC j2!2Ґ1XFȔ C\XG'D tɻЭ8}NVB/ӍVӚl&-Um3kh^Q}Ӽ\<#oj^>9sy-` <%oߎm]e}kg O'u[ 6qi{cdv\'>r7?Gg1u/Wd72ՍF[{ T xy2C,4/3S{%KQSH g06VA.-4köeDVMm&ss.O }U2.F,@0_=ee}F԰ Z8!#;uAΓ_À$9\S)t%xl+ {ظpL{\ĜvjxU,Q0p^=*P+_]+#'aw6و2xަ*^%eG㕔hQyeFF D ܍\nv8W51GՖأ,dTpyM5}-P Dwei.R*X9\]6^_O"i/Q@g-cͯ:5`>s8"m%7ᷠ7YsD@+ݔ^i1hT 3IBo}SdbPD#3KgKdR?mS-hC z] ZPʉCEfpt_[7클kQ] mFlF>_v@ >}#կˌ58+4-7TF^jl.p:"7 ɹP:<͙w, _?DWq;)ߗ` |)kH=q=ĭnsA~)-rD \}ofTߩ[70.V-mRֵϜlH=) #oBСFEd}7Y g;1i3q<40Y^B1u !,s2)Ce=P@3׈d+ڿKne i TeR?c̊u=4 a<[v7U47Q-z %LjI~8Kyh,tYIF?Z1/s粏c/֨;ǵ@{@$XZꦢ^:շ7N.;RH~Qo{dDD>Kd1 ^H $Fw]vjSYLT$b70zN$!TBH{_ZK5`dZ b(8K1($Ds ڦ4otkI]TIdSįT%$Q7?Q$ thOB9 ĥ?jǚM^5'^-EG|l`1`/X-|>Jn$:*'V>8EXC+ML)K85Or9eSQgO'a ;.2Kw4lb94|Q($|"f2@_AQ!6c6Л%p$I'#5"Xf8EYSŅ g07pGGXl>R!Fʁ݄1xR٠k^vrǀC-riFѭ,TR!,3ygd!UxNVzb*2WˌaY'kYk"r@*u)@.G]-k7O >[-={\Q {"c=~[hE:=}/TAi!u@&{UV|>kN=/XWng1,=e|X$,!W XLD=?].M!e*'"Y$nڀ-@+w3v:D ZT#K@22M4t4Mr&O/k^^jrudJ0veKvO?0qx eRlmBwСX]Ɠfv-DB$F`1(6'V"<Ѵ;++x *0'p,Ӝ|,zs/&Z#lDЗ珒_0mRVs1Kc>LD#ci~P9yU#m ~?Ȝ %z|eucҠ)Rn*$F- ) eO%|]:9AKXXhe9I|X!M'W=֮/ ߡ9=R9+.pʏ4&\55pd-W I8uUfmr5q1g2z@S] C$MQ( j-BpC_R< ">V<+C.P l^ֲ-xv+qKX?-աzn f-dk)G.}J iᒣ+>4Ii4~IjYEfZZ$J9wZ0(ho`+IX KC6j_f5oT=ALX`^'\*,ي0(fa@w"4z(+#%as؀6>wϻJdoaȚwnDGbT6)+޶]PS|US 4LV:o=//tC3z@B6\gvQ K%KaMM+ MO4gBfPQ)FdY5(Cd=t_K1'`~<=''th1_7lG?[_LiNO?(:* t@N@W76f0 W+MՏƙu[$Yl_cq_Eٲ`(P?zd_&<829!̋ap?/7V=I.rͥVl k?6 5[ [5vӳDq7p_7Mr0!8w *߹$/Wc[R"EUZVJǏCLZ0VTAYvEN5IH"T Mi> vѶVEWl7;Πz)l* /Wqk[af/cLg0L- +zHZ1A}Hk6Zr#)ZT6L q_QqBc?L۹Զ1Ӻ?= [ԩ)'urOډRo5{ QTHk_Hy#XP#+M5 ;3ϬdUrbCisֵ$x{L{ q1.\ъH6Mk̃2loųGL'P7݂wu=YtH,ńPuhA(7Gk姺I-h7pʆI.yhrh#Hv*)jc1j)'Mٞچ 83-/%-zź} ۦʟc 4Mq}(՟G?x ;ٖV0)Z'oŁOn_´>N`>0녶t~mWס񓞢UUqpbswWTePh{Ef_ET]B}> 0PzJ̖C0 L- H tQQі0"ׇl6Ei~vQ4_v.νtn6Ԫ0ą˸"1T/iUΙZ(.OHz2fV$r_hDa]ygOݵ!yCSc<g()YG[>=ɠ*LC|FBe&:UXZ"Q눢AU*܇84H$K 2O^w$?*+ڌbUwif[P܀wO`\K .Ӑ7=V}%X 0(-%]!1&6BsmZ9i2rыyF$GHZ;ԕ=Nڡ }&B"^) tK,(A틟4 thR<$=y,2ԎQVr{\ %{FDʱƱTzMuRF=7|+m{+۹X TtBF|ꡯGrb'r!J($5X1 5|g|H.0xQwCn-kUk'$L iUmFKR [*-R&PÃCg~*!Z(dbe»؉O"5eGQV8R䈥bc{)k*R7/á^"v$$an> t~ YME8/ ߝl"%,,@y.(swBB7G|"bO`E]SULJWE\P#ϋ*K66Q(d`#!4gܦORxٖ_35j&_xTx@qm,[9d,{F@ QYҕzcK5 r|CCM&;e!eQy9Ôŝ83מO;Bòn;H5 Hg䖰v蹋۶#:T_8r:c2f s"6սeɥ,r2$; ,QKyS@׸`;o< zWz:H̐[ENikgBH3Z:K]PP2|}WЭG48h6YFPWG* fdͮ?&3~blmf]: =|4R9% @бdԳ$1[KY `ߐ4Kpװx*K@/xN#pif>c[g.a+:Hgi4LΔ -E[} -SY74D61tYW>ecEůxv]b=Nk2^9˻O[Ƿz cTD<*vE/Ky9Q1p+]*5h={!xD,x^?&= V:М%d)24dr5F1(‘"&)=E^E*$tcY)c WF=Ew[U%׺uہ,Uc냅zQp3I+U]N/9~a܎]nЕs$zB\aLi٩zL|u='O}9 K;vdtxg2>1]€#'p. I㎭#‰s02zѿ"ooq | T2 9#Tӓ d7 t +/ ]L0M9;U]E =_؎xZmL{U^=lJнs"k؍mӹqhܗׅle 1vL+N 8Ns( Y%ƅ)(pji RB,]Y> @QI"H}g}]Ot_c~iZN[4]^\t-5nT&"*WЧ>lݖDL'XBIEmq@u}+1E i n}mlN8mZraCȘ-{fӍfpZs6}Qi7P8v^ك@y?A/ 6 {LѿG.ה~L6ɖK=r\)T# LtC(Ō>7-ǟ; 1El^r(?:Olԓ?Fˣۯinf%G,ys?R\oy.#}#=Դb~dC /V#voqXܭ2zA BzT>-÷;S'G`۵ F#upwxjPMNrEaW6UDqƎoqgD~`D977-2U..5(菊R/h}UWX5naq;╮Fe묜 C&zⴒ#XJ6h5:">z+d̄'HϚ$Z-5|S䰠]ӟRDZY$tq§8:3(}5o+;u{wv1 1XܦFhչ|䶦-)D?`>9L6=m궇= tB4 ?- 7^wB$]9ogypn贲 [8RMy=i d`:BӶ?@Q#JNa<= 'O")5a#isȖvzsw`̃41(d@&h%R`1va=)lE$3 ]FH{rܒ='[[`͇{O1dK+z>vg9ʍSGuê'VaMKX:ddVK o-{hK&B$" a"$@ϡn6"<CuOM^;l Kї EAί9򴁯)5*†ώ48aJ:pzkzN\~*m&^SqcLs`!&tTE;9yeCU/Ÿ|ĝ+_I')fr#UTP]hқʹJM$n[)M 4EKN%3x-e$C&=ΗOB#[Wˎ1 6HWY*[ή͙ HͰp=E= %5%LHEDr0t\h9y%S_*} feL8Vr +wcr~:fwiDdKW`ݚ,p9$iϖ wہfLJ{'rҀ֮1I2НLFUh}pbSUl Ot'c?j^u:ݽГ=wR>O5a!߄oN՘)kAY'S3)>Oi= c]_^˥:'9EV?~VHy^3@r?-*fp4%QD=`[%`;ɡK^Q @tV'7)t`X@1vۀ\ucKgO2"!Z] :G&2ESoj-юn;q`6خ?(&*? ־V7L^D2HɄnI4 |1,Xq-83K+32x?]1CQ]ÈUCCJ{cioܡsD1遃6@2L1-OJACAξ!ܼ6CЩ?ţP;VR Uj9AAL ʎ|By?qҦȃyXwa[QOv8X@-9_>#uC!)k,s FM}y/eJGx0QasI&8j:gpI*]'oҽ3G*wx~ԓ L]-LGw[ nl+𤭕g urf?q׮\.EgjR]syC֩ bsJ:u5䇭ہsCMV޺.zb1b5~ٙtU ӏ_ٲtTV.jh7XH@ȥقq2_A&$wDMpB:!QּҾy,%\X%(iT'ef*> МF徱0͜ (Qsҋ)!MQ')TqjKWP~M "+ Mr$44R+:_b8.'3~ݽ|dQb|dy;#ZD"vS-`S" [)ʭn>qf^eOٲi&CO*zkdKhx쌧u"Zz]AN.<?!={6;aF-߻Ui5BN9-_`rŽ WELIv4V4s5ON1D9.߾mG^ ԨZeb  aôosN ZbMR 9i{[3^ ڹd#Ʌ~-n "_f A (>AZTSRI)@&[M3bwQ;R|78 Ws֚vz{2{"ǽF+WQq -N#j`o0]j;c}"?[J 2emvX\Lf&!!(Ҽ0%8+Y0eWvGD}ƾ N:3z,ćnVԚC1iHMŚ+>xuM ЎaXr_sh=!>04Ļ&_-wڹ/ֿ`96I `MGY2LMs@;"n^T4<99(vmNh> l(pdtoˤ.PY$ K@{GPT_Gva,Gqp\n2 OrYW eOY%9/l*cX/V۳[&h%%fX]V.OuRw V12=@Dx; "=d7!,ב (퇘 @?aҚr h PsR_cx 嗞nQu Gc`&jvl^V)neG%Ky3Æiv<|P^ !k /b Uh"G dy=/VqQ,*vM؋e,`JdM] `#,VY9WGrjb6.x`ctN$ڝb@5aiDS>&Z% `Y1j_Pkb9~؃(-ˮ|E<*s(O0+ІcOh M<3 &s&ቮZ7"K?Eckb[TeHLGUÐlH|G:]"믃\stJ)cNb_'0@t%OJ-NtRD=/9'誯Ǽ,gxr^OUSh2y`䲅e(JNOm$ˏ gSa~)N_3rΧwTnG^U{ar|iĖu~Eܙ2UZf}эzfU7;X43H1無+hn͐|\ T%!EzDAyd+p8kL%{H1#/ @~ 8=kE] a@pB𑓒 ɂ1^ l'g\/K_{gK4ҏ[eń)\Idyhyn*Aũ_ܥs04 5g%pR9؊B}j=6I'7J}FiG9Es*?BQ wz2-՗i'W,fu(–Ly8") aNPnȉ5ұFgdy|1PʕPa-}  M$2iJ3| 4/1J}uj{n=l1.Ng$ŗD ~k$ZZX##4e,FRRuzKv'Vb1.-lɁ%O*`NO/q3M3Kw̓kJC[)xs.oӃjtY=?Ja ]!h(02L&PSѿ0 aMt'[3&Rs ՐHrIs sgfx7O?.A*ok6)81H\H𚔐d#Tӱ|)Ec Dȿ3k%Y36L!!jsAw:)Ө UBrH:qq)%ml7(/0CLn)lH֓VQos8,AZXB(Ql4Kku$CȘ?ཉ'LT{:kڱU,Jb }㻒]V,CzY}jAH7Oiwt'kAZǮˎ@9M1hyM ӜRV̓fBwNHtk6a.>xhpQt,q\YPSr`i BXM풋-lK% CXSֹ^A8]Y{!K<>Ւ,Y Ā8Ǝ|K`O ?MaxOY[»FI2H;b߼TjK`[Ej;=U CVԲ0xFh#\tFCcK)-ÎUؒ?4z_ +# V䧥AOb)|~ڻ *u*JsXcpn "&bTZ~yѮ@~w$FPBRS AV L `,w+)ff!k\வ_ZfǶ3-g/?t;?3f友5fjjztӯ@)*Y*rj 颹h.n v =[?umtKN;!#5tՉ%a0l)P~l9੎ _ӶKbzѹO!B>qå`mEuUx5g0,gol8jQi:O>Puz[XnviTW 6FmBH;df zx! ih[bad9| ңR`@-f0 fo{ @j!_Tכ Qiq*:~!;gu3AgOR~:H[;_TxthVHk,fnGaL2xܰ0kUE)vig2pxLڱ,@e1$EH6P)F]4fkh,` kԆQj7D?O'숬^fk1TJc`7` xmh\%dK(4y7;J$suM}L%b0" FPbý,fK@-_0;8-Q,2VMf.9~\CZTjqFlP疾0y#`Cߎ/$Wlj# ;Xbq딶wZ ? m]z%ؙlN5aeL:קH3bPtA עhbSv8gz gcBR؋|XBF連E_2i zu*n|dmVAE2s PP[Q_ p,Sܩ9][ fa~с|~tc)[8|Ϗ$ vpMܦR{򣳢;1'˟^)ظ4)?RnUMѪp,Ҿ `'賆O!sL g/qmwڱ)6iSu(Q6nuY7% UK JQgP, m)#JF-mԣU[qVbv𰇱*#C&I$ؽ@u܄3cvU'_HƎU+mp}R|!3] ϖأFftk',Bm^mP i \xy'*lWJ,#tn0>iXK5uvgmD/upA?t9 3 'la2qNsJV X]cNm@ԏPRT8]OkB9mf}]P_+KzN|e?k& D$UBة _VTwIDѳq!3QmG:"cqxPt1ow!OOK9U5Cs*Ⱥ=0('#y}͍@*z~"2nDJ*_wHP2G/vV:~Eblt?C#1 c~xf P_&B ~zKR!},L |Vfe7PRou5۸<^/u3+㒫pvQvDʠE>p=y T`GLٲЅR2X rldCxu(N Ӗj^k-g4r+)]aF+HɉKw4'ۈiݝ$_XsFv{V tTNFB~6yّe~ηӭ`EvK~>h5ÏKε{ [u"5쪯q} ;|h{ 0ĕ~_$؍Ax'Q4CxB j{@]LQ &=@@a')4* Ȗi:jo)DUJe o)!O1;x YPa`G7hĜxXObu+H)g֤ʆbT4xUTLK(ٶMH?vʅ<Дߪ55A([v "W*rw^Qv\IJ) bK7; ދp lr?8{HXtjx)BlgH!oZzز xe^qdL=cq"d{EN^96YL۪D{%(e%Kn {n*fO9VONNo.(s;.b*2Vva=BQUUd[cJO"Vu㉱1όMBQ( 17vcfvzQ#Eu. /jܳ<>SpU\4'Qk(y`iΡ E'n";稙M=w~Tk762|u6$ctc1~_=w?fY1c|+.0'bSm'O":WiEf[JƿacVIC ϑv5Dб$cz2}~^GIhxEd*84jIcOt61#*KLicMO[ KܟgYZ 5 -5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id514N9G3 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;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˸}?mok_-W(G6χtoqO̼ӠIqBS.=9J굏UR 6a`˴F ۭͻߝ :6c8{*m.LKg?Ldf e_YKZdՔ S#1vRrlS0*EOl&I%Z7&)AAEj"3|p?XHaORߩ)2^| h]u 9W"$^[qNE.!M)(?so=ķݮLU<ݓpR8EfuX04FicKm6k}z>7Q7X.۰-+EVȤ0Kk|#@]?Y)t`mHKL[XԽ$_—c:Mi9[@=9%W hQd9ٵȘEIJ_::2:2 `~ʻ51<2JӱgN߻kj,ꚖqM3|>ӏ+E ? B΍ JQ2+K\ݖe"3%aVbdc%4u)媦l7 wwlW{'zI|r+e0fxAٝ\`a?`\u".Gdi70ֿYh~o%)Î_BNp G=L" ;G.(Q~\]MǖPzQ&#](5fZ1ثdi nN똂J1*Ͽ!|Xz|ia[|s7OwmpiR)e\kYOPG{)/ S[Yyʾ\X83uQX*],$6s v6xO7|) FR ԒK k(==wW4 УHY%4_;aѲ/1Yxg~4$*')Gh,DDk>Tr\'.z1'4V^(@ew넟ҝz-EH9^z9T _̜Wte?O5ȟO{BKԝ!Xu^#0>Y4l#Ke_\{tt+GA ָ'% )LħOx=P!kw 4r6`Љfc&c ADV\4Ұ$C(rKIꈼ0_XAv;K5"`WxéKmJx6*T8WS:@9 VFV>ߩf^JGunOHqtTaD ;IDTe[L>"țe 9nِnj/ Kc]Gț?D}8VzU V| S*9;`U[ ]SƕQGͣnF˹(䛾Jh%BCUpv8c"54 !7Aŗו,khMIsb;pXյS*S ¯OUE%Dr*ъU 8MeeJ#7tt ds@,eb>2zBFVmEOqu!!<-I3CS?{ޤm]#MM ֆdiu]7|ݢU*\ǸL.ԡ֨~=4'~oGnVgYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id51229K' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢']D?7 {?:fH\6+_]mFQ {!!HxLљ#e( {o=͆dmYjW.GzxT{gWrխ~ȑ,E^͋:[R(}rڇBKI?%t7ߺPfc≁=p\&(ގ˾@7f;'Ad[E<+ReҜ<`e6K6Amai5;bgnI0(-~?.8Wu'nYRˢkfYͪYmkfBgnoOq~ ?dŇ,dZ8{^  # ++u|-ub0\ڞ3J۹< hOR=y-cg%Y6ԟ}Oq0X`,}&eF G RnT54ޚx]bD}TMxr'X~t(6uMW{+n'* M٩ߌa`Zȍn@ޔe/|3L!N=rfB9+={8V#HJ X`УIp+צU ZFz-I ] 9K# 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~3ZyW>5}[V@?N\ݰ?[idSGG;\VqELDCćV%L!6[E8 R$D{uAh1 Y!gʞ7K=[Ԕ^,Ժ J UNǕ^ J!2R#sXgyg!Ml>)WuUKA?(,E"ޡLKCϔVlǵ Oz}L.mCnEj &f~X9İ5憇5[#.s FM! lH+g|`HDljHWteCsV+8CeKF5:i{~h8J/FXQ>E'hA= 9K"ÊRGin|""BEoGĎj U\E.&8(3R["~Gb.ĥbfaJŎg8xl H2(Oj =`&\-4:+9LR<1cj7) Bu#_cXG\i$'X8Y^N:4C^˝f粡5 dlY4GsĿʿ1~ HBmE5(3skX[Œ&Jܬۛ!tcNЮ$G}Ł8:2^KXJduuQs,VN+^vmM lj sk/Od%?֎lH}`5|i?i{TNI;/>0rT5 7֋E2AB@,нǨujtI=+_W)JfH:JG&Ct.a]fWw} cRv0Jk,A4yARv/)]8C ~fUgsv(0nB`|b)}HkTWnig$f^;&j hC3BfRrwbd8ݽf_N5~p}Sgbmrt NdR0_ ckS2%$H&:6~UkqeoyTKZ;*'[ppfCtquPDF`/'܃ہlTYtڶU-(} ]ށ &ja[WNEhL&C|U-3oY Qw[`r H=a(y$}B }P@i z"еG`k'h^-}FZ}f`mȒfCޗ4UK k:FYͭVfFqKk\sN]?mx.зh.8Z1v^QD@h +a.B]co(֝΀_,ϝ/N;eyO(D1@^z+d"x8 }q#$3~q^bFLFk gZl>ժ*[Fu@K|_4(iuƬ8j1l%.@D@6aŒJ3P'k@BqD\:6l?IP4=}͠gY+: BWQ6&&Ji%Z;fnuPmbm8nsO q&Mu); zZ:NUF#Ď!zT֣{zj_ wS/rN[RA;R翙urX< ɱ%6Yq*$%WQoS @O}yl⎺tS `I==E>;r!0էӄ!ˤZ^< &o)ϽEi64QݡtZ*1[6?4 8s_Q 3"j96H*@#|@hes_u (/72o4JdϿlBjO˳ULsjb^L#)qwӮzܚyq!ĤbĹ.I]U~UJ u"+ej0т]eK45oƉI=2=: xrk4!a Oz^;b/N@bz) TgΕ9κ2"RGh_I(<߾$Hۆ4NOPe-:5r2'쓗&+_b4|TBhTd:̎>>eS0ƪ%#0ao#YkȭUO7Hzk?$<{z_?>ٕI-"L:|5T]d{iU \luFvq-wg7ͥzv9ǚpTti=Ս1{8H.bK+յnUadYGϷQXj8qL~< uX=>)(P{kΥxL8Wjj1,vQ&;p>vV QG t<}ĥ$T-mR'XKFl|eRVPQ/)zn6TN0P2^jG,e8:(-,^69@I~uV ?/ 1BC-Y&Tf+ e.pjMB*SC e B%dLT@[\W)/ N`LY+?OPA 9{R[T߫9[SOgW*ZSt0E:o ko M/[‚(rW}ހC":0PTNРCHo=wH;͘ ۽QAzQRA!}iX`hx~лֿ XydI9xqܯ?"hD!3Sx55  X­BQ'DMhNSu2T|OuFHR2; Aȋ;Y\zG(W8%< ˵;,&u[5+耊zL7c߾UCrv00}_k@% `0mHܭ$课T {2us wen>%o;狊__Co Odr*ߞ0v$EqȓgP(%8&*#.|\FmlD+H#C 7g˃/rvf/"'?mZ!c#y5%H/`Ң +6s>S+ XB7GI)/擭byhk-VYN/ti0?JkH` 77so~X/IDR]I>g̙Ho?y9Fp'81oe%u#[Ի&`10ރȨ ay|nwEv;v-G#Vh$] T9,(=co;8R2'z==ǗϞ@%x,3,<hDR*2Xk3)[Eiz"6 ិxQ%K? )[~2P҅d= ({<Zkۛel@P[fy}r-Pw94ΈNFoF] XkSR=pY(>ͻ4 @za]yv[ٹ CҤo1 .3?o Ǐ1^'u)zN]M730'l{Z>E3t`:)̬]yH;۽('.^+Git{aSHs-43AoU|` Uwbk.&D7M jiNՋUȱ^05!vhH6igÁ$l"kEMXreD:"v|K-Oҋ/i?"N'#pCjA,41@`1 L_pRQwcw>BPGdxhmUhRc.(i8p=(@LϾa#Wl۱:[s"7GHݬWJu!,KŘVy=/ d"mGbQ+Eڠ2XPl)Dt$3@$ iΟmwD&5 ؞:>qP #tVpJraQF2dӗy*7TӢHk(s ~ WF:̷wp2؂J?q}-$>&2Vaӄe3d$DWlL 큭2UXYEyLq9kxA ;dN'cW8lz[ݕE6DWۛڶ)WRv 2-\~2RG|K RȾi?)FаaB`4_Qݨp]%-xI-) ͊SIY\DS@n"x)1v.u&JѫdeDGѼKרomDYk%J@g-2yA*-Ӈ筳P>^ynʗ7'2BfHWewԮ(RxwVWZf5%A8%6D9팸z G:dfQm<@DM76?G5ɩ. Ux65KP0r} YΤ.xĈŝ#nO[0]uɜ:)TvT[6 TrW{%QDJ´q{2F(퍵0`/cuD4ѹv卣FTɘ/2S%K#t `o*J&ūMBW|y*n)ӿ% QNBREr2nU0=2ԕFcrM;FW TwZ(|S^֥7D]šㄶ('VnW &n"/ ?Iɷ1J6GxxbQڿG~]ʱ3jKvi69R cGV5Pޥq8zC$YMe`-G,O83*25 5%ω$aFjtuY-Ey@[E(` b}>).C&]P8]<+ WLRIXp(9_-n<VcqN~#@7mo1\_fLDrC%2tTqژT,N5niƵ[ޫјTAQ9dՑS *ibV>H{+8NJJkI~N`pB%؋h9m)otѡ^2hIРl/^ ٘t1.KI@&Uo$@6d?s+u?oa1Z J^?Uq-|q\zdh#_[tKݔX&x^@waDcw;Cwa_ꏑ`Il!_>bcC'#|ėdu}^y nN@7fͱ]'nH-gP>ݒ$sމ*D{LgE:ȼmBs&rp 'kǵ{ꦿmSC@lPV+_Ku<[DnFe?BOD;H`pnkn :=u U-Lܙv c;Fy=#_<KѲƹPm.xk?qlzİvsiv&^O"$\sIbUMLi38 T (CuC4O_d9B @lSiO䈌o-,62Vr> HR#Owɴ uTs.; l(Wg{#9D9s]tlXKt=mmr"Ƀ[tf1I%V7V)T3Ges$07)'Á|6}/r5EdnR :ǼpKA ^CI3o@8wZ3%1+3#r71߲"Qk e >$`<;-y~ s-L|CPg;o\[1'zI`<>R.l3W:) eU zd v y `gӐhc~@1CJidz5! # !mo*1uoI v](\h{1#;2U&l( 485A8987dFN-qHnëgvi0a|2{ u-e8#.Őh'bɜCz^Η(A߻NaץNu%#T@ ̂LL7.uupZLm'qvj_hOqUIhuufCP"FG2md{Rp!mfDB'4kkĩE-8&1d7vrĽ4*|ev~%2Vs\E\@W߇ 9#n^D,.0N>HQ ŷVJu|=xG7"X\!OPQyrj]T}IþQ$y[C iEX$E^080{sfM4/ mS[fC2oLsbyXs6ocHyophk Z}./B=: {sSܹ#' ϘS ˄##;]8E$ &m%024$u]?F`0l  qyVt` ;1Dp*?Ku nF+WBhX::U]}Hh`E%-⬹ڼOܴD<%&\U)\X+ iffW |dz5OU!M͟XD›r_J q/M`:Dx|uV;At {.xb'QT?L_@.f]anԋ#uG,*{{ Ʋ(tʵf*tXe7kUYI*3 (CŔ0z\9Ai1o-+|{KTy2%)8P7Rb4RS":#pZ3+^~[ȃ^7o'ZNeXvy p}(j"w?t<[P==$MVx$5$((.u)}?_{]憭# U1eu4MKiE$LB'd xkwv|04PځGC?79%$XE̾ސf8p4sɓsjCSs (y3,ґ-wc(I{ E`Bp B3I P)N z=Қ':GY5=vIvt SCZja|؅*!Ddnq̑W؎1xCyӚ[a+8|jr3O ݿ : Is RUQV,C{1I4?x@,}ǕgGgWHkmgH?,TCP&r߲c r @tOiSb$3ȑA4w-"?I5!VnU5*Li Y+&ɯsݿ.0%f>:O1u":GU ;Fh1r F'9x}IHi@x%o-ÅBKgbX|HyF)?2ZU3n?``𮏭Q㛔W4GTD62V탔l( ͸w#1JMw7KX9-c9&GA} #19E%n[KmD(j6HxUxf]HVZk /$lǪg% 5U'd3:_r9#zb2Ǖ6 XCFWܵadz $^"i[#5[*ƝAE%3pn|:zmM8Aav[I#qgNB ojaS&[z=Ml+Ch i{U,ÙfvMsN>tQ=" xg7R'Lq5Uz&n)1 F2ULDF]#oě+$J;!Ns6 "Ko;_3”/h*1tgl\Tb`+m|\"I- _ &6-ԚHW]W!Q펭\]+4=ґ0KqC` U۹M wϲbO:,h%J%%?yϔ+a}vgke.FF4dR͸> G՚/I8 @9&378V΋d?И f7gT\ͅ'XȘ5 wzE(Qp `˳NTF m*ZZ5VlxYj?&PO3A+X`[*VDVq |18d:ZƢzɊ?#%0O=<9 -PpDǰ k'Q'ؤ^ uG$ųhRp_w?ĩ`l # 8˿Z|\`voE($lۓAJzo{dK7_ gjVaf'Č-j.DvܑJsVd7wێ{Mɾ1OV\ۥ%̈́Ȏr y:'[ ;}Rq$~n&Z'XA ,TZ[!x#ɧE\e:N6Rƚ;9BMbJ>Z^%3rHg= $U/BˡbR:iV:qQ]8J xVg"{p @^R Zwʋƨ^.`8kZK4x;}W>(trY#$Im9 7o!l_}d}CHc''zr^E~Rx8gB;E&򽉫ۘEM9uZD~32ѶR({sw0SSyz ':`hdЏ(2q֚}rVYYC_.5\>@_\!+JmU 3ogS`iͳz `<&R  jQ:RxYK2hxmW$AXٌu(!;roQy⦿/-_onla-~ZFftMf[ktCddbb * ~@/e8 ,;>5kUCkp]p˩ژ_ԉ !(z9ddG$rVLb/Ա 3r>Tj%?)vi'rcԭNmy=x7s1=ScQ^Cҿ#U<'nҋ!I 8Gc0_*~ c368:侪?-[FAM`E./졏[8IAwcT#g- <6/jaL͠yp 5yzNzaZxWM}AN+wa؉K+3Ґ8%46HGWCkksT⛢hRQe;zp6t0}h#"]1M1yu@/R|ܳx6u\ 9`&$#:ԄIeG85sT~"PΧBiZpЯ Qjm}KDNdƴZrZp'Z y 68Y| >SJZ*?!ibpl3 ʟ4hZ?M/*@@o"[ˋP615B᳊jN 0tuGwVTCˇ#~F⨊fyz"gFg`Upco1K6Tb}( 0׭Tm;2D FDTXDnuYK;CdTvr@}[ԭ39NeigF' 1T#3$Z#Jx0k(F!BeRQ'KcnytכZs4zĤ^0~2:8kW%1p'5a:b4i+i2|&/Rc%**ףJVdYx';y='?Ѩey = C(f:pCyLp;Jc";R(Ee!7XDmN!堠w6p:hzLR>%3ٍ0bb.G: Vo? Ba9Gvt+^I'i;˳{ o^!UjT9@8*VJtM]7~ӋBX^=Ahd:in0BZ-T/# aa>wgdi}u)!NyRR̚MK+% By8-$yǤR,0X1T3VpL)o t ._Q|͚yCXC9o6hMQ(S20ʫ*LGH>'ϱW=t5b[*4Aץi\M \ɾںʭ!(7V~sm eCn1Rxiab7;'t8:a(2]1j.՚cȈ)ȺE(uЧp ǷbDCoCkDitM3UυLs"{;`Nmij 6-^Ԓ3<=zjAw,5P :dcU (RHDԙ):ӷgـ5 |ߊXBFϩuHCڈ$'*Kf{w*Ĉ̰;/#{ >fnЉ?Q%<* W)l@2Igu0G)9X6]v+*Q9`U*ެ m۹3,IQ)IؾXyF'$C2!T,^hL1$26?nOlROÚv1@ ^\[;{/4Y R)fNp@nE8˭Zb-, ;5L4ժԖ%$bEN 쀠Z <\ygL{ 0 #_8^wݭ@Nw9,Y{ePϝ:}mpj%fpCK:4G˕gs1M.?;UGXb2- iP۔G} =;"(n3ƑݙަЭ,Ҷ `;  a.d?.o)Yh"tp~'>E@G>2\⟌>E,oڭzc;^@yM|/vY#ͮ9Yhk8Q"[yZL >#ls%$C jzHp\vՕ-+<3E^),G ܅T,L(Cw=[Sp߈^zJ HԾ%R %t`HJZ*S8m?9 B ߵ8`77Զ0KKj/>ulYHēJ?svT:_*ڽ-K2w, 8GkJ꒛.uZ):&žXZ$`pT4dkf6`j22U?wBtZ3s䡦 ]G-K*BAj=߁;Ei o4Y'iz +Eѷ j[y|\Ct 4d{[QBrXvy 5W(=NkvK$yEߕg㗤m$vHzTR(\]uR<AˋB5%-țLЫx5։Xvn)4o<"=~ΌfrvЋ ɷ$N4;ng BGi34x> {y=-]CMt40g%5ltJ8a1*M[qHUSf-}'rXbP{ٹO3ҢQw]I,F#H~Z<~L+_4xG;]F'O2'cM@T]$NbNwPѲ"#IkGN%wiz5 }:3񽼡bᯛ((Ξ[D g_{poF^"ieyi5G"͚9pFe 5~-pX _oZ!]r]۰&X*IhN"?C׸ET)}m%]^='Ƞ}2>"Qin\6$tpp)B . #{7^ ْIڲ^"%r5+sڈB6.Tw2h?NQ7kUqmt; qSP?!̫3>){}"˜qwM斿OГ+@K7?8@@9O# )a{$A O7eQoM]%W7#4{ L"MͲil/޽efMЅ#+` F-i^l W9"Nя=\(aj(ͷ{h#@]sT3o! Tb}\'33ީeQwhq%W<Ȗٝjs e@=.}b?mػaʘ̞uOJJ1pz qHS!F$Up⚊f 90#_8ѨpǶ-f0iiWkZdnY/̌ZpCA7, .0,A!U)vSrun?ʷZ8O)GW;3'*h!pp/E8Ui.x- 0yYPUڋ-(< f_dIR\@JӇ{D]|gW/I8?q .F/5Vn_mH03Jz$lb TryEIv.AkI3!ɚ"fHq ^C|G36dic3&m˰X .BrD8"CpEgngU5bl Z BU Cs`Ā> L ƶ3ɣ=gUչpsKn$(˥BqcќS)G/_2qZX/ؑ#JngC9ꋈa)XO , kֈ^Т֎=Rwc`JVwqM<%xH-8`1s"jz):bv B_&ùܯX \Wz{bU9Tբ9}7CVk= ,nUȆ0⋵_0GO"hQ1ے\_bwXB/ʢS}͙Ņn~G K/) 068LcmO30V )1#`lYK2d`QOGqϞ#hѷʊV`3m29?&AL ѯ$a[k]W='kAe /[YM4 ]lgOuܻ"1#PaX[d  7xJ F4?~PB $3R# b˭՚Rulp-H~jW.a CE@o"zeD.ʑ2ΑaQ o_yYRjklH\roI_C$̚)!),y]6fziݧݮ-zV}]iL ]IV`Vxbmb$t_S@IB+80^^;9./Ȉ ^|*.G֎ZyE[ 29dJ+!ă@!%GUלUx *+ I%GdH(}s_D S YI|YzSH!C]XĤL?dsS?GT;i_ a_L;!xJI WO["negc4]#b aq''"Gcc֐|Iq, &xZTg< GѤ;@Շ\ +qF4##u$;1 fVX59 6_Ymp uᣲ#UQ#ꩯOAM$Q%A%xzj pVD%g_?ЈĆeM=]7*i,D  Uomَ1 ݏV}”)hlkR [L%oPcsNic6[ɢ.h-DqQmMэ~F?k뗕{+~6e l/t&t=%)e[*"Xl\u3B(d%ZvHv񆔋ΐk۠=ঃ!s6-tmj<AbKуLj]}pm[E; B;18RFAY9U3Z7 F%%/q[hƎ^Pd#';aQr?\ $tglfCu7Vz$9)m\n1>CXǟDmOcTh\rz!0{J۟])؄Mzt&wVVlHh7_"v ꦱ Ly[PhLL0OxMo5>}".[yN>j"K+dj- SXmC!J;0Ya_{C@{lp|zhRUƥj|NCnMFZ^gO*%[WbvͿ>kw0z⌽|MmifX`rdP1A@7("ˋ0E\ŏJ('k 5Qy*Z.~v®i;%6/YfiCFA{. }, %**ymg2zΓUU S*bUL9sO@ ¦|sP%,)`&5Ҡ6W \I;*~0 t4MͷCJzeN hJsD6k&;Ge(&4l~F'x|i]5aɝ'woRE DI+Ӻ5-ӧ ^̄aڅG$%J?d\IKbU0@_ຣSjooj%pQcKغ,7` ]DВ"$&h,"0/ɿ"k>2&!Fr!%LKrHAѽ-`J1UO"'8te֒Asn/#lZtf }ɽtY 3f ߷G/>U᠔!w =oapͶ^g,h7\[z=w4 =gq1;j )6/c7kG}kPcq׈@.؉S9)";+:rz.KUFׁoeJybQACR6da(,XY<9{fJ(c⭦]|iP d{(şq.{\ZH39jVi-QLQ I13QKyʜdjAbiFI(*pD`T!~Jd4^ËDhBjpk ,Ж/Yqpct)*pryk⦘I>?$)?G >D:Çq?fC{Uh#{7$/Btӧ,۵O}3`ۻRcs[lx&sIվ`z.$&XƩ8az$^,y{: o< ($EUG "c/"%Dv瑗=ĐHSR x J7,y EL>Q2Џ#'Eq GRzsqZu1ś%A;"AoбC%1gYZ ; 9G# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H PSRLy #FK0@"#U:O, 4q eWmρߞa޷__<#4]۹lRkDb0ֱtԱ<#u. UdC|zHhq/|<ay%M^lUb%L4Q'VҵQlEϫ(W#|5wV4LpJRU I b"aFFSHA Ն}u#)#E*"O Pߓ{tQ6;;sЦ ]r k BE,U̽Uk!"w<-}:'1ccT_h%aد~ѡr-BV 0v XɽO iR+g I?Qe_Y/LFx/3o'IKS'QUOhbrO"݃! }q@8|'"뙃ԗ|5QkT%?bF\DXy,P2"_bKMkBp*qQ,fxgG ONᷫHɕ\zPJ`Xi$UwȾe)L ( "vrg20A~MS;笏{6/S3@v1-8`%}| '8 13f7cTK- DjabJO;َ@?, iɄxwmܑ 2e4k5J+gh~3Šuՠ ,[H><==tlՑ-3ʀY8h62+QT D$V#NNp,ݵBX֞II =i'ra%uvҔ'Od2Lo9~tхJJ̒ TDDUM2 u`|2Jjo[ UmkSY8 $I^ɓ( a"qDodDܪ{iDe5HZ͝+}\#W \%/jpZxG r:[ݤ\}{rY;\nyvTO C!Oc0c@.l}vd+UhL dQ/RRENFJ?鐚 :p-S8w@zQ=шE7cpB+2=#t{\-<;)SQ 7F6/Ξ[LP5p^asZj\-\D:23oR FT'←[,Hw,*L!/Ry%|6/I훃l07K XK3m5N.yIj``EsX";K bU^pGq.*]LFBAQxNķ)ʳ"2TYR@]V܃8C{ <)!mfof.]c>D,^ʝ3G`Z&isʩR҂V&LӫV o:z$]lhV*=5&Vm.%1i4WX+nY@QO2UD:]9 Z|! @[(U.<5/{IH C[7; SjaiMZG%3a"ϡcq&|h2tUDbI Cl"뢟*WiPdJ[)ES^zIj wS?^PБ9aԶП 5(jrc 9G' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ihx]Άxʆ5.f-9 rq@H u$VlZ"@Fp:3 Sf˼_2dMв*ڼ6OD?n@3ϲf1圗iOj@+%\˅4pP U%:]VXvsE{RА,%,g`(84[@y&;̋1AOTJ#ق=;xTGyF'XmuJ]j3q d гnts3 ?fѴe[vQ$ǔ9e@ȷ鴶š\_:q`(>l! ۈGph= J=ӻpeG,B ~vn9@+x]MQ=Y[ɶ6adYii*jv.,0&Fx(3"؊?nCMOԗ  C2bY'yTy~RY/. [ȺIG|sLB"OESBG /0Hۉ`jKʛ`M6 mM[p0,Đqة\|{Nz9i(2fL_a[,{$9c(TRFXЊΩs% 颞,sCF2Зo_P[(Ʒ ,LkO5[[Щ5əW' M EAa E֙wGQHft˷Z-sԟ>4 fz;S~C [\Z_ 49ok/R>?zY.M-m]:sZC+g* 9n]W%{$~ąz@j>$ nb&T/&'i@9vD&@?7l?siI𓿔ԋp79`Ìwhz5T9bk&ΌW6iqFc&t]/ZFߟqza S^!̝V'/ Bs: BEfjt :ȪfS5xy{j̚/)dZrSܓly8Cc0<T6),vI+igsUO Cm , Z>[ZX=erL#dy"DΏεR:}l4'_(ˇ_Ņ7ۓl-Ppǯ̈́c138Zo$}P=M>'5jtn~&Bp<4Ti|tZ)iF邓FWITZKxD2{2y%#A N raviSdS}1+u*3lHf%ێ J@/HpGP/2rt 4/ٻ Z4Qt|."+1Gⶩ֪'hPXG!}r%S͌4I+猭.FĞ-Po_\:W.t3{$n5DcQuIؔXN r\'/WA3GB4(+Mi& TgYZXcT%N#H>T6&)*#J4hP$o3U['otsҵ¢}%-]0y"WةCg1jW3+l<8ƀ,i;01?-[@ů҃r@}k-T  g?@rGydoM}gp, k_mͥ%6Ƙ=ҁ̚hfPKsٱ|w۷n$&kyv[Մ ,}{'oU<׎W/䷕IGź*i/\,eH=j'"pEǰLD ;¾>OݬWODvX^0 C@F\.uayd?f^5o=^`^›_Ww FbS,ӘTy=b=cW poQMAy̧t6tSTq>=D6F!ޚs>D_ѝ:,,h9 ,4N{R"n:-T;HfKwf] pD&3q+u*JujO_-ժx(dfgBa/f` ֦#p 3B6Nv*27! s`ߔbLBzC9~/+a se ΛDԒMD JWb3{? j u'k/aT8;guz@Vqˈ&$rhKl/hdJ/t>Rw(|#H|;QL\;9^.'"'=iX켘8H;ݸE4U^]j{.il9Wf.Iэ#;tf|bß1TDd$=( RK@ ]&s6]8M7s1ˏ(e2 i1=&`h3.0)56*NNs3Vb sEyHE:s ziR`xƴZll'PĐWQ I)X(5|`MsЊ?WMC- 1]HDarg$&󛹶C|զQq;fۍL b-A5^ԬjER|y;[S »=le7(^*[5UQX78"7GbҨF®m_* N)@o9'Ļ1XHsҦzx[brNb1Iݵ~0 `N{|N@x3]$0]}טlb+׬E.H0Arg~C&$b$qg.D;SgҘlN`YBl"X)ZF\0'3/Ij7ԕ`X+.|TOeMAKYrOa.iQH7y)5鉧(ZUGx޻(*ꫪީ5pe.ڰnZ'՗9֥ɠ; w9fpIeUQ5d'WǃtZZ^q&0;cYg h"E.!Eۦɗpip/s;+rF[V+ղ!4h"^i٦h/cb2%}/ex;d<i|Iަ\uq@6߷/z4 :T3`Qĭ$XhRyK/{b:GEªtll?, Ɨ&U"c/ e''ͩ|l\܋}g3NadTR/XC؅8_g50qz&}Qny<=62GQ!3BfP[PJY@!l6E"e4z+ǫIH8e8ߨL b :ci 6!1SﰆLڵ~W±_xEI58(}PEL9BAU_|a]4I|6,KQ e$W'7*&Nպ+lb #4(1/<)s64ppD kY?\i-C{A¬m)* %55LԬ\# k^*ЄHK&X4e0SRta[pģ*F3*~U"!: `GQKAMrE_\Om]Qtv,ւZG]+BI)bm.׉}'ƲI&EqJ"ؙʳ&?I \CI@t$cJƼl[P ʐgX!qζ%7*~O$$2,~&ڧT;V;~>MB[޹cJ:yŔ@eż,Ul3zFx?7 ^B8 8e W?CuZS=B XΐDsS  ]&mc۳[K4hr;e` 6T2q+gk_2/ }"\^#q-J,oF־WWO4 kyJ : ߹ |ԌvgɐG~qW\CD7ܾm}L>74T>)syU'[{vޏVfMhT1~Q{?zB/T+hr.t0RybbeѮhu#kZAm{IODP*BSfMfX=ޏ>lh&S+hMKτMOU& Hvpv,C\) suh46oT`IJOL]ϩϻ~M9ީгk? ЕZpi?ڹ5G,gb}vW(;le4\ tӕ. D6*r溶1L G1 $m4>2=V["~b4gɆB[4܏NqEWJxCB]T=V+):I %j,> 3>,vٴ*:%;KNW2><^+Z =I' `nDXykͮIF1/R-9Qj$Q6|C `o_\t1@ NM YVx>#GU(̍6؅we |z^1:Cp$إV^r<隿X:ѽ#6>4dԌ/r7ҍCGnFgY}L֑շ͍ ʣ`LK}C DN)j}5i,DW@:'9rf|f SLS`_f 5='?ol29Isܷ=[ۂoQ ֻp$eYL#Bk2Y邘9jXlBSV[@~75+P&(Q} v;-3e61#v|2ktXC Gf-cab8\dZyط.uReS˓k6&͡= ,Mnd-GYamY$gBI88]5~s t8(Z+<2Wel+C .{(ŀɔf#뜥;~]|j=\TWMYMʉ'gJ`EJ(I /p(y3ox>+ V//uqSg<#ZEi(;ţ;4yKv6oqB r&Wb廕lpAs=R>@#}<*J Z dgTiT_5Frv6m9 JE}^RM7FZ !%iɞ &tK Kz?mB4\_+-@8NJ{F0J)Cd7Y֘Ͷxfbr0{RO8NnӱARyU\] >jDj5w;fG(rSUf NXcvU5,ap&3s/ =} 0ZA`9gK+Xv6hdp)VF(\9ȼ\Zw0uVB ?zQ=BDU(ifXBr1' e -RC1jT8ˤd @V ^qFԴpe؛"DgP[쿨'=Rj.zcJZo&SJZ \Pa)Kyt^ZcH+JuBT9kN3129E"/C!?˞֧Ilp!hT W.\Y]1+֧2@f| ({t$rZԞ2v-$F$C1%x KwY֪(@8C,Q]O2(y2KN/*P -T>*Wu{8Mt/}fGwm'?e`g(|;B&x[nwL"S_<+ayM$MȂ*W4}4L27EjD!cOUlf C$ҳj6ogn*[CKtڪSz94xH5Qm mYgf*ja#f yKR; U+[T>lv!Ft%vGZL$)ȧhi<ZUHh"路Jfa+0ǤiR@ɸTܣaG5] z34nוV 1 hago##;_mv[KjEϯt"cJYOa}l^gxXɆ|v9nx`7/ϳedW?;G>c3qۦgcrҭA3[X֣H0 )lPiBgrŵP+&xY\Jqpz(tx %`a~E,sneÏp6Jg.YqߚEdu:!CCiWKpF"lZDݮsa ԭQM YLOv%T7Ye+!3}_PŏL^N/4}low&E,{UM "%iS.ȿIkRBOK߂q.܋[go|#e Vja]fmOmg!AqHaČc2>[p?ZZrNڑB$I"hAOJ&kz,Dws& @C5ޤpY]Wn]|1*Sp".Їxgm!&q SmaX*诸`_u9jJ[#e>lvs:H3֓Ϣ\a(AL&@Ϣ) sq6P4P]$ٴ:$%r+:L(nhbWZƒDmOGQP+4e ̌:~YG 4F:Q&-䟗|_;%5}&18B`97}OĽ/e}Qj6LuE@T!ڜvbE8&߻U'Ų u벙}҃}+I͒}WEECzLY>6mZV97[}!R=\$Hi o_ⓤSp]_W"!"2T9QܣXCX,iKLbJcy7!_$dlxiVvԦdTF85›$&aK(}v/{SUb>jc@rꄋ9^Lq&r9Rb_]5Uas /jyƼρjňv pfRGghi]׊ako!/U4M=.^GkpUIa$mL\Տ:dMOy@R0aDVq=}J&j?Ų+9io 6+rwisZ|كf cQ YW -610Tm oE9ΞmXj&"+vyr}R8a 0pLfz8!C#lLbW4+~C6-}GRʃQd^k8#WH{-"ɝиh5 A,Y[7^IɳE Do隣|!&KjW G.\ a𜱰SM.'<<=C:[ND̲'oKL0E CRX|̜ h5̉q`4m*VxwGZ$MTmnHU`sb+w焼(Ҽ [GݖrLuv t'X2YDnЎ^_uѯy\X6. =WeU_ɞK=0GO"BPYvr!5حQT݄tsd9sv|7+5mQ@w@s {g7.g14׳-{*IN_8Y?VֹJML!G;Nݏ1 K'UݷZx+GFd {:gk>Gq*5Z`e-1UCbRAƣUIvky"~ ur,NVqWdv35:Ύ{uq܂ұ'z, jwT#V4 'ȭ$e8urPmS\vkaoX3꣩n@+Ӭ K7x 1 {"oia A-t5V#M8h/e7xώyK߲ A/Z|aPв: JvKY5Imc?3(^JKqOK,}YdD`\-?|ǏLR+uK) < ¹m StiBUH7]6BL+D>>k,8-NtRx;\'@bpqiSzCJثS['GL`]mIo銔\y>qc3^s#b)ПMn ѳ@7)?Ī">ddA\%QaIH"XH]q97ڢJOs)S=SQ\= ,*l$ա`OUb)s>4E+}fK+H"95DY̪qG$3Ϡ9]/o`*ҥ?=ԾzQ=G8PuuS >vuk^")y !<[Sit@C|/(#Hç-n{5ڱq[cz*9\: vfiʴРbo< njD?V);+Gj^_We4tdh$`\oIY,d3?=^fRGZȥWu&2jN,+˂x$и9ųy5,/z;hbfNRW3ޞ긏GmrÃP'ME7lg+jLnXULpp &!f.xv/cCO۸[}82g$GbgCMK<{I…!*CLx ]1\'o8{}ƫ-f7B1wDA>rsc6P*a}e"bhd~.OfKhwkAn#gn;֠=$QɐJK3rFw_Ǚ)Ap;MP6 s&'t/>1t(I DgK.78+]dF 0 Y_Lx}Xv.'&Hvօ++g`5{.6(ßy(YfL-Dx]٢~Qx{k'v%2ab~ؙ !_ FgJ4 `3+1}A,}DS%5tLԿ[|xiUk9|{!=K,'᭻vse 5>S$lLx8'$K#TQu̹0P~UP4p`ܳFEoƒt βCo$5pҘbld'3z(ڂ/8 Khw7 Ɉ-#V:^BB~jŴXqvvuJVBhAJz2.fkBk֙pJç$׹PJ 7~&kibb6GJ'8_ :XhAvȾ"Q|NfLLU P?Bo9֡poQ>)Cf-j&681F@$oQ׼`("g-r$~==ȗsegnR^"%)?RӉ&}xtVMɂ$ h)"[b&ɌDa)ݸuAZ-?:;s:աh`Pu| 8>JSRUAhSWq-v|#td]L-DIF;d ohܾ=D׀$EIaN-ȹe KYօg= n*MdrC3`$mT]/g3y%I3PhFh9<\ A䇥=%-H0C:3 ?m8xѓ0;Jrf 5&+X _"cTU@0H3"Lh-}:YN$91dqtC&Wicp1<8J h%P6$T].oIyG<ñ5WݚYy92GME/\"i=V'Y!5cW2e=-,2IyҀo ȁكaƈp=gt'ޙl l{7xD?G BfN.]pz#5ۧSL׿:xu;8/PlHlj)^~Ю9xga}->`ާPɫAf:+ȣ&*5xZq>n>n>ļdg/b1#DCM/jc>v(W*7:BclumTsfUg2J>;{{M p{Z*'4t4f2S4ArGɸ&{XxDS-Ƽه%2&t$@9J^y3 /IG,(pd}l"֑ pɯC{վR=SEwPQ%ُXWVN1nJçefs>EHެGɬn}qc'ݟ`^h5ృ(쇏 N}|a (cRH@++YĒnΙ;=`xf;V5U:9'RF&*>&W, 5@j͢Җhf$͒Sje=M=&4/x853Ib64ݝUs3T^TP{,R~8EL/Qhl MM2a ^ZhH(9&hND(C[],^R&CvCƖm*΋н-J}`s'wd-u ugvs(w.0064ۀ}j<yRN!ȉ GOt yu1@D!3B-.DwR ?2ǽ!ҭHv.)8}߭ |3D3Z8=L~[&焕UH"?Ӕ> U7m28?R`ZXs6Fd| ?P VxkZZV7" qs.C[sxv+'A$y4/suX>3j`qw a_!bwro"?,_PX:Ȑ3% [3i|jY3>_A4:u&9iW؋T4 3gƤNd:sR,#:(N(,Y)n\2 e@ikxaMG&^ȦNk`p`]8Gj& ,I%;Z(4*䭡Tڱf#YçTz M:ڂ/grdڦ^E 4JݻQLz'ߙzQL] jL X0E_uҴo2{!8E8gX>~Ļ3R K1s(1Zovz1 ^W>&|`_]_ )\8ҭ4`Ya;"^pűsX6}y~0Zu Ҫ*6 EBBrp1p(`oVהiFU(iY/H'8lZ<ϕCLOgx@9~E̓\ GV}Q5rh NΟ!Cdr ~qa`(Y9L& /Al9*ϗ@|W܈;3#識G;O!2!qkX%ۮF Ž_% SdY֨ 0e] 8囻N,sŒ "pj: 8ULCoA+I~`@^<Tf].Vf I; suH Ё;pe4 `s&vDw\{Cު~I^-9/vgzrdk- ؽS1׌`Yc7<.}[i,6%`mdL:5Pee@ hX2Ë7ɭaͤjrOD^(o\}Osq$i ])]yifqU3ۣ둌A& K|suj.@Veȴ4H%Q}W5UMkɧC*N/- ,qisU:Om{ae5|٠gÏOl\`8S e#ͮzUbfsP*2I*td(P}I%Q.35K3߹y_k|82^Ӵs` Z$]ElQ] ſ1mZXzf0DAGYeE$*L!07:OsGEXdff 溦6FQG DK\1Fw籀I?L1N%na^v?}g0[LUn4DOX_}+Q6ɛu-_o X<^(v_DW<ivOoBhb} 펚qOm+ľ g A.Q,E`0lgˠjNm@4u+.;x4y􎁤qKN)>@S"AaT4w*XizVA*N|M2%K)95jK$x[Fa"o2t(xL%¨q:b|:4<6鵂KPPqςBvrkUSjS5o Mқ7Q@6 >ZN[WUJP* @Z: `Adұy@0xIqi΀zv7I݄?m,_]ѷUPh6_» &ZDJ8ld|nD>:+"E rzL/>w~veciN'Ҕ\)ebm5C'AY~63~w2W|y/}l/R('!gmZq|OI&IT@xi#kp8:?1CzϳJ3Z"NC_+un2!KTED:5jsä.~Е|KUI!΁|mĸ$L) §z5Eaepjj%h[ƾL5"t,\CPmW3a ,KþW1@D4(Ah JUey%.}`9nc~1`D^O?Zxv1z\`7 ɶ4ԓ$h<#Q,}RY(q^х" X,Cqzvȟʡ̗/8`mx` ҺEb7^xdg(?5N*NW/:cgI6R&`q$97(~ 1=1iV?d؅~?ZޯS1`jwdv{'CB\dUK4r~9|%O^BslN>5Č|9({4@cF < 龣f16sӆc\Գ@E[DYߌRMWEK7r-&6bA5[wgmGs" %2.Ѷc[0Zd½nIa&0,W OJ\j<}d"s}BNCYAQZ0B,ֆ~&-~̜/;jOSq)9[P[u"B/L Xk>m3o#?֍Q&ޜt/IbcNHJ x8f\q_F۠lm8.iKiMK3eC-  b|N(I.wKw jS [h.# 7*p ͔}1A%/y'(>f7,7b ήEh R^jӔ+` Qsk N<*ȅXwYbS` k ś3[o$rxG "L &i*Oڮ8ۖt~Y#RjJ{u+Jj 䩸 'pmO7aCWP&eBܳ9j%'q ⮆GjH.2 yO+Q7@KL^)cp9Y\1̽h 0腨Dᴈy] tZU T\ǚC,NBMa`sd-1LvPijV1c[RP;A*MFA &+M rYӮDE(^K YPX#%nޣ Usݝ'/8^pc@{r=^HCͰ3%=ܧ}z6@G(q*{}5.ll6 H[E2;o=#B}r`wE ldbUL Z0F |LZB^>E5W7kID'(J` O`Q_8YjzM˩0RW`ը?ת14pSEW"(HPN' Pa{jqp`uCu:&VU <,s˚dgWa~;ה{= hk~_˕A/x?#nS4G74}%"Ӎ48ޞ?H\ROfuWv[k[EJjݲ| mnD%\}kvMl wHMlWh Q-Y \LY]3G¸![UdÀZ8\}՜SjKG T3̘4Ԋ/Jx yw@]cNtskm!Ts$1U(BuY{ g+`{. kr((ERJM/v=UYY& jSaKV?BeC3+ F_U2-z= TM8ewuL;p F+ⴴ> ~fa Skt`T@,뽿 ſw6%rŽӶ)-eS!oQTnx~n͒V~Y#?5v?5݊W]+K/̌ņ @ <zY?MXcZ//Q:wR{cu??M=z@9E&R~5ӷECD2;}?eiv>ɨ4Z$S7a𓭩'W(0@Vw GEf`"s)/eK RΝ>h+=4;m~shsjBq~f^ME| 'u[_ɇ ㄓLI@>0㥟aiNl&Qx{Z;)@[}$#OxMN3pި-[8=p*\NFio\\DiC7̡ù?/~Rڏ uKņр(Y\d A筍h+#hV+*J+*'2`KT@GO5̾pݯ,XՒ `ƀ%֝}+Ty_.oWo߫gH;KCqQ]GԜn$ A -[N0 )I#1"M>j@i!'Y?+k@BMT'̪, ^ Ki*NM9Rֽ#O2Y@e'5uASD2%±6|]+">(DkL|BCRN_0]Ή,^d4'8u|Qx|qeTjM֋OJ=8Ϩ66qvA먱-*NmxfXU!?+ -I { J8K`7 !kMXl60m;J cL'e$;CYն{XsxNo'Bҏ"F>HH.B fM- M;Ed ?ZNȎ !vNn|+dczhLMp+M_}>1Ҷ.Hab Ej OK=ľC$t F tKQ(n~zڕ8/O y~g~ p݃^8דtCP1Γ{6`18++^%͈F%c3 1 ; f>ebH|?ޏDf#rk.7QБ^Z0LLN~yl}9`z .WHZmR\\ElFk[[Cgr T7ȗ\R]s3Ɉg{N)^2ggL WoO <\zqX2ž2 ju &9_L7 IO$$ ґGS IDFvYϩ\խA$iyvJaPY$,6?(?% Ɇ}S`!EKσ dԨFuV+) Lf;E掑ɻ?Ϯ{!ԐOȄv^j2wfԿCBH.a8lѯ;{c H*l!+'%q;:3j`FX=4( ,5}):bϰaxuGmR%H3ϱ$y '``2kV#uC*l_G :i{,M۞_RAL5"Lkwa\TKL +W嚯mU~ւ'`#V[F/pp!۰;BE/eG#s) *S6V.$Z.\+?ʧ0MZ]nC|ϾZ#Т;]*TKS^m_44zRIN8QZ#eݾt$k/ݻZr;q|:,&_$?26^=f󕴰%>Aœqp7.VEJ(~{юZl2V]wX"Xlաn3m&G0~^,П:/s۳ P*&~`T71%RZ{-!r,H:y, yM#-Ot|}PnjRT2Ok."F Toy`jXg}@;jգ٭YȡmZsNC yTv \B!usD2ʶ;.!M4iO`^ob߿wG^mql7W _ĵzE On"F MoW  VIG\92+&?`kԋxf0QTYa߯:^!A(8iC FY?Uo窯OrFͺzTXY~$Gcr. e(JN|K!xр.S&ZFA`glzU'33m);('LG<9Yr1$}pzLv+@[q).S*LJ$ '!}R̮>{։Ͷ?si0WjLޭRMk99Pv+ko yPV w3V@GҜn!sKQz12}[G:,[b}F7Z_S1 TPJB)ʤ׺F}S̊JIN3^#Hڛq+*D"6٬>hx|]Zv=U'PC>pV@*ĩ# UOk>Bǭ5^ܻVs˵:Fm#tu^#"PZ'ܐ^{pZ6OqM_3X> 5o'>ZXŐ>i^ g:X*hhh820~; W"LA7g{B hMmXᕊ{R( o )ɮ'.;X)hHKϏ ? YN[BF1l+&;ya-g\lMT[(3@ l K@v%++QemRXȳ)2eWMW4 5c)܆GYC$OF> 296) Z[v! MPt <:2y<^%]f`soV7N-էzl4 N}:PBQa۾Ӝ?59XwdB#tkp޺A?b.rJlYx&𫏀6PP76.v;0uS ^B8w^(JT'= dnqkl}w_҆ ټ>4FYKFU O01Sc׃~hc46]J/MX n[bSls|I[Dt{vo%nv5,$kbU_rh\Bܗ\íI/^5M؝êd8`T}؝\ŷU||k"?;]P%Z`pxt]sɺYj^e,2^ UHJZ\g*/aK e6Bd5⎞Mi&"K L! gHo?lw{R VHZ>7·-QPSfGڱNf2/~ñ.P#d l<˯r|pيL8k"a{D4Wˢ dbikD _1Ąf=;:0Rɨ7N7"ԝaS`qN׫ P1'na7[)Ŧ > w9 ]nh?ABu[7'I_+T'P1Da|ȟ#G܅ʛ F.:Z K)ߏN|d`H b-רǗBև\"vCazP9E$Z^HW/~5^0^;@n>֡O`+T[:ffMX nI5N6ΠB&Kd` i6OTbg4RU5dΟ(FQ{耰%#3Hxgb7APoBϡ=;a&fՍZ(LT4ڔFyc=μGmL.]|j9㿁nW{\2ؙJSe[sw5Rhҩ} -)ؕkd"H*K8_5[s6#zt箎=Ta!ߏ&$-o r1`Rd|hJGhb8:TIgu.S-2Sf8ɇ;_@~e}A0)Qxa>>8ж#-<&9h葻ؓ&}8T%xӢ1-j|~ty{޻( 0AGk$6])/%٭[+i9M ]C)A$'A ({%ȔW{,{ ǒX)X ?OD!iBo4d"Rv"W%q,VK-#}\b^évG~HvMӆGj~лxbgZXyoZ֣ՠ^l2.;47teYg$K 5D㟍wuRYp%htivGi,n4}j>M/*(<JgsO֛` mhC6FvXrՊ2]=i$.aY P)f ཌSG+U/9<3X&F6c_gөǜZ^VT\\x< &]-Z*(Y?kq_7ʮ\m!p!Ygw58;U׳M^=!_:؀o?T߷TW@anjՓ{XB򘰤L5`SŞ.vr.@sp  `u":Τx#|{XB,VXrkі=:̫bh8D߹Sya9=@biCcxC9Lj\x*B\`Vjńi;2!+! 5r&C0Nne9:T33^& Z:9EݱoeavUi ו_ A:i?@j7-+;2kw\o L7Jίd%~ pT"ဓi4D皏:]3RR&|idL0Hۆ)0k]ZbSL&X?)iIZwf'f$ʠ|L {fC/NNď O< qD"h_BcBNZSxRQrəFSZ:*~ybz1$*,r Ck4bӹbL5b9PJekL%,|hו^"/g|gukn|Fyu4tR[!KŹS'ɨX1ڼb>\hԽ5q_KܐceCj9:1Fغې"A{{gc'FՅ\ZF΋n81'p7pǞjM#Uۼ@{ a48ázt'WJt>¹7ƜdXѽiFDtV!3I"jҘǧ2,TWx `dRCE Mf2mY5kܗO?7d̹ƮIܽDCc8k1d{Dnpe I&X rjo鞄$w`ȿ zE/rmcY>seOy,*r#`B"d&*W4\QB5w]v/ݥ°ު%!l_ *n;ѢA9nvخ*+pY`.$'D/+M?`v' gC0reAk )EQbUW}p*^؁4B=OH]Q^c[Po(]ыQ E9z^ %H e–eޗ嗑w0{9C܅Aᕌ"leK0Rho8C2or7:Pd!*vLas2ZY0f )'P%RK;GIٵ@pY$Y|ј̮UAV@`(Z"@m;{VR{Vk\$wh.70Ɂ.d"ްhta"~PiÆ$.BcaJ\6˞ c6u6e”W,IAF{Ȱ蒡 ye=VHg/;EWz>Waj Ieg( wN}r[o`jA 6'.ߺfc!i-QFQj4&x?T")3V--ʋS~:ca1 ǮtXu9Ȯ%i&]g | "+&GKXo{ϖcc;2$(BLV(l?;B'j@Uɷ9mtJS^s2goejT Y#3c&e e/ӭݓr#%C&$<*Q1J+:0@nORա(A]kys4^QkW'N~,`d{^5OKMq{PG&Z0$ف ݷy>ޖoB\$~c@ޙb|A\߯ݬ޼m&"%0m./ 2ycԄb6J%@J>puO43^5Qы=c Wj[YʰjJHF=?JEXI&LGDCs"-MإNKi8`s'rM@'ANPTM1!Y[(AIt`szTn/|Ke IP׈-KMh"P;cGHP>wD((d4B^&~'M  " r|r_uSӀt#D!^mVlYNT1B+~h $JsMCI?F d-S5:<nאۈTw Vl5D/YA9ENM:nrk%*!%26?0| =oj/T/:I]NV'ufL % 1|;}bo%jvEOsoaU3#QKjN_\42F~ d\lч^%I3$Mܳ=@XDT´DzٷN˱Zr|¨_Dv9ѨT±\\&0OCDT\*VHϬMcg7ANR"6a$Ht;Զ(T\Jl+{= e^J`3_#_n6=hZ(O8aY!g廬ż>.VK[DӃ?aA,HƜ\(CzCpzCp gXlbY#^[ON*{ֵj@žR=,ke?hSԂ ,#g+,ښGS_Zr36PRAC vn,Uv)= דEm2,Z;g|*Y,vdl7!k0Y\}+z\v*8#Y~ EM l}<|ZM"1]"DCX]10}'rEBS*|6}5X)} T+3JQڡ[(6'0:"'-jz%Á2>0ۥTF,ۺ8ԁttYt,z $> ~Y"MK[2ܠ;&n͡ꏜM> !_JWzĕY?i)Tl`>Yqm&fiJ͘ȑsw5W')@<*4M8aD@:"usp8+oM%s4mt+-mN%[B^l,.AlMÐR?ءH:. Gd X3X3vw ;>N2,bJ^yf2 gjWUR@cA[ RA sPd$gD 년)(۴sB*9 RɸGMVy/^3Sm6 Mӡ^u,]{@)zĂv&bO(_K$ =c)^1SE"#:d~t_Y2kz0e(Kuӥ >C=LY:coɺ |8acm v1 |kZ;#tDW7諼 >hvˌ X TW@'sL ag]l!sY 9J&ۦ:Da݇5:byhcK]^t^j@ᝒ})ImpB&24&P)4Tm% jtޟoQ_A3|%k`<!y+pǩ_c$e\f|6ਨ hnM RV{B uF> !7Nx<8 m1BԬ9qIw\(PKFK:^mrF|4'"`;#Kn{8ˁ u@w3+$b'7ټT Ʌ;`gel3/%bQ!U>6͋s]PPWxӗ}بs&י$kt4ܚ<\G