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 ee/tL$$ ]S Old_Datatype_Show:threads=4elapsed=10.447cpu=12.476gc=0.2927zXZִF! ]ŗXiɟO}M:; AtJHŢ%/zX^bm>~}<ߗ(ix'̣L0qX"͢ݳlhOړh^ UZAҌcr{\ʁ!ӯluL/9x/1y 3ݚl ϻYfSLŷ Hh1ъ惉3,P[YUb *o$gYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx*$@pRKu F` v Yj)X ܄#D]`fɢ3dSHjW k40{E4,&@}FߏoC8=LSgYZ7zXZִF! <K]ŗXi%TY 鳽z%&PhusM~:2n-Um?$}R 78ݿPGECzC  1o>ecu@piүDf{GWZI R⦷C)=m >7rVHaOx*vQ_'z-do3`~LAUMZD:Wb=<* ;O}3`uU}NSUN`0г>u׃Venpq.Nfԯg8z-&&YVxjҀg2rN_ :\mEM K0u 5>jIDx_d^sZ8GmlO;%\E ۠u# 5)lr2ʙy|5}N:X6YYƽ&.2 ~z"&Μhuk$k"hľʧY෎|*}v?{Jڕ,*Q} #eD7-tGg!O۵2|WՎ]W\f2)G֐E2EVI6ageJ]џC(%`(h/+򛺼 CE] 8aT b<pՒrH8F`"! o=}WwIk9/:CUƿ ЄjXQOe 秂d/BC!F4_AzQ Q|XpDi AHLGV5M%ҁ4 a8",+rA-&_`{3FS!D J(BuX5IRܥHg Rd"EڤVJXPP9B@_UKTΈloPQhyRP 3X[ D5^3PHd#<X/UK Old_Datatype_ShowOld_Datatype_Show.Old_Show_Instancesdocument/Old_Show_Instances.tex7zXZִF! P:]A-MՋhvG"uIBm5ŀ9"*'d>huk$k"hoDd<1x'&'̽r#Z$զr)zHNh4"B[:j3PbϝTH43|Fpµijw}0(cS"R4>mh J2=Q?8TB;Lg1žp}g,vKUޕ77bPx3_&ܘ0W_w'(Tp agkF|hЧ>~beCJ }4Luwyf,JI.3zuJ~w5KDܰȹ*fGZoS{ 43mC<_$EKS.bPM_:@\v}@kC+ gy$#潿7QlY= &͔` 򮾖n9"vZ˖> TzW :qpM+J+ }C$X.+LA+Vpf!䐶c(rIH]etAy ߥsnPg{bgIZB4r//WF2VHNyQ^W3h߮xf cX4~ {~7[PgԳ$,_&Ԏ#^Hv"%"C*> "~ __$3\\D1P0u/5SNY`Fc-p!<)⦭3l*܇^xS $/fUJ!j>~<5l\-Yo$\vۍ;LzS-_ǭkPEK|0k  beqX_ļޡHaP[[`Z.b#g k'=1%ǵ5:<>qj~ nHFP<휤_s>Ja8 $㎇KҧK 38W[-R:c {Z,TB$Np4k0UxLw/dbswqD#V9 z8U?KټBAby }_:뭶91`uH|.G*լΉkѮ3eU`Fhf!&v1~y(QbCLW*xO}*J<$ZRS>/ˬT'05 M-~s%:~Z-cMNC.O+{Tl nɾZHX̒aXo0X5̝hG507,,+n=ҖZ=5`!>I 맺Ӏ>ac:qPu:Yp* E1FP`j/aoveA<҄XK'Eo+3 IT3lXd1ugLѠV=kvIpkOA}xBBrP]FzRy"^7*L6[F4]u6&Vi Z]SZpfH+TiF>[4xn 3ԏ 43;g#]4+X@wT[LJ E=u׍ ZD"UmcPCi ڔAz^H>kؑ;3 `e WJW{" }R8JQ$mٔ7^[OD蘚]~orl/~ Ag{?7@Λ/[7Q$X3QY^ž䧦T7J#LĂv1 f;v"[:USW-px&$}8F0긤ZDvxgYZF/SI dOld_Datatype_ShowOld_Datatype_Show.Old_Show_Examplesdocument/Old_Show_Examples.tex7zXZִF! t]A-MՋhvG"uIBm5ŀ9"*'d>huk$k"h}x3薛FVڀq) ȨhR+ +>l4 YI?&g<[g9OXUU9vc⳻` 02SQs68)* |YЪXY̲xڔꬅRV:* "<YxJIc^t~M,;:6 ΟրC.%^<2*^:iٓ$&jCn/&>kd񝻵0 5)pnEe@şPLZQD%VCnS=}RRL2H][YX=>ѓ;*nӑ"=֪<6.otKCM U̍P@MXCo_v*N>"wX`;XzYķp_'2lt7N,=+pDKa'*Rk$qx@L.Vͪ`{GJ^oڂE6޽ccō|D Oz ҩ1Ddž5` $i7,u*aX{`hEsƩӪNy9JRO)IIMOi4c     i-  O  e  G n %MG/S'Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/messagesE/S#Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/markupD/S!Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/filesJ/S-Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/document_idH/U'Old_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/messagesF/U#Old_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/markupE/U!Old_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/filesK/U-Old_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/document_idH/U'Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/messages F/U#Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/markup G/U%Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/markup1 E/U!Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/files K/U-Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/document_id >/A'Old_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/messages</A#Old_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/markup;/A!Old_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/filesA/A-Old_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/document_idZ/UKOld_Datatype_ShowOld_Datatype_Show.Old_Show_Generatordocument/Old_Show_Generator.texF/A7Old_Datatype_ShowOld_Datatype_Show.Old_Showdocument/Old_Show.texZ/UKOld_Datatype_ShowOld_Datatype_Show.Old_Show_Instancesdocument/Old_Show_Instances.texW/SI Old_Datatype_ShowOld_Datatype_Show.Old_Show_Examplesdocument/Old_Show_Examples.tex  =}W:+wOMaW;ãh"Bd"-mW lkX;8I+JLqʨ?|;)~~ 娥j3]LTmL6Eqz@?JE #9PqOlfRR:-n'WC;3V0q:or?` 832˓`EGR1ܛ4X쫀b g>o=x/'^G@9;sB9L  veTHs<,"JZESNzEItsCMy "*~VǍk#d~`>MmwTWZ K ۲CafܕmMhFE_tƵ^dPE%ܞC09UyQM:]VM1r|-`}7`-}WU;ي HzZ o' 8ݒqCs$JYXaKMc٢4#մRt*dҀl5ںaFt*0K0Z=볷:/Ļ` #1>;:6)+ƚ=I*WRm\,g٢+7ur͑zN~5v 1^ 1ufzrZz"8e_Y佋`#9sU&2& ?e#l&qXt}}OH 1Ϸ 5+b kx ^9@L1MCP$b3żO0v}m({:4yewVA _ghS$뮈|\:(*+Z:vS D7gR5ge! t.E ? rO ^|~&`C J2XC3œ\-! 'ŀ\mg5t&U9b\=+cm #^^(xӌׅTV@f}>Y#+r*w㒂P6 "{UB vj[Ӊnǩ_&cu/Xk.1Z7!1(ѯ҂GDEe %y`!_}+EXFuw;1Z+?bN_n<g L3gsI .0 > &6:Dl-T!OXIJ' k":8Oc X]OQ\=dHrP}\3\p,ui'~}ߖ/Ai5-:<\Y¦p=I@ж"5  ߙS|+I)l:1G|`#҈1­(ܷ4Jً#}.4 0џ<)Q,,!54ۿh{D.6<@V8Sk1Y0M<<]qc} c.+،T:nvѷSj)?#8DS}̼FT3Qu Vq&͜c  mhn Sҳa0mAhO\BɐG 4/LjMO=gVswĽWaSc/{{S~2@қ-ETyh[@0Qve'_i^}n}ށzeSJò]%Rݰ™TP˸P8"bq8 wH>fZp}vwgA- -+wN*_$T[1%0~QBjkWzӽ,c0[&# ϰȢqۤT1s>ȽQ0=/Zc)5ǾKlF`Sbk`Sx33ɛcFc.`ɰk"AO׌wlU~w`@D4`O/g2da!}iR>`8Ҽ6;c,zuwy dޤ}\ 'ЪY.-HGh'ݝTn0SƯ@>3 wBckJn 2֡I"*N|VjU1-%)|]x=٧Y|J"P:ne`d[%~<[Yn0 H1B ~JfȫHAqf~_ Rn mPYЬM%*ɺ˼6p4N.WiK6i*~ЪBPs`LnCE F/7/qS+UMԒ+3cs -n:&r0Vב x6}$爑Jg~6|+Ǝ@0Wb jYw侩a;3oW hL0\0]O;[(p-g <122 2 P9q1,ݼw\¶u=Qe99:m _7&-PzEYs \DLJ b}wK;sq\)&;J % [ꁛ{.0c E~i ) 8冑Tq=M]{NrR|)ww1Yr7rDMdd}HJhs1TUZ282;"D4zARx;ȸ]e4 JtmzP~Zqv)|7Gog'KySɜwNU?%YRxЮuW(Ŕbx[Y9DF4}}Ye'S?PUtf}Llvs dh6zkeX]6 FTBhڀH8xzu0+*#xϳe QtQTCFr1tՄ~yzB O>bcF eͥ !obN3ؐ)9ǜ]VɄzi&Q'BxaU *RC fٛ޼0r8{a.`3yEd令/N ǥX 4Jؕ@#'aDW]8Fٰf]TK'oeJtz -fspohh5QE< %RG҆Q^B~D:THP!/jB= (R-ZݧZC PR0Mx.:|@z+a)r C#C5Zz'T J6hޫ_9?/& $Ks|,u}L'lfda;bkE= 9rg0Xkaq<< FVSG0~II.fJ>y$QmNb4胙)R'\|n꧰ew?1W힪 T7i11J_gm!Q̜nѱD &Zۄ{$J+BhqfN_r.8(#lh/`9Kfxe8v+,vG+hR/,\{#Bhje(TxU @'>*&^( bRڼ0y_q Rdf6 K&w¨آĿjv*ǼGnBU|1Y0#Pz8Vҫ?1iQ]&ټ?Z'6aZ">/(7:%6t2gYZ  </A7 tOld_Datatype_ShowOld_Datatype_Show.Old_Showdocument/Old_Show.tex7zXZִF! 8]A-MՋhvG"uIBm5ŀ9"*'d>huk$k"hľʧY෎|*}v?{Jڕ,*Q} #eD7-tGg!O۵2|WՎ]W\f2)G֐E2EVI6ageJ]џC(%`(h/+򛺼 CE] 8aT b<pՒrH8F`"! o=}WwIk9/:CUƿ ЄjXQOe 秂d/BC!F4_AzQ Q|XpDi AHLGV5M%ҁ4 a8",+rA-&_`{3FS!D J(BuX5IRܥHg Rd"EڤVJXPP9B@_UKTΈloPQhyRP 3X[ D5^3PHd#<X/UK Old_Datatype_ShowOld_Datatype_Show.Old_Show_Instancesdocument/Old_Show_Instances.tex7zXZִF! P:]A-MՋhvG"uIBm5ŀ9"*'d>huk$k"hoDd<1x'&'̽r#Z$զr)zHNh4"B[:j3PbϝTH43|Fpµijw}0(cS"R4>mh J2=Q?8TB;Lg1žp}g,vKUޕ77bPx3_&ܘ0W_w'(Tp agkF|hЧ>~beCJ }4Luwyf,JI.3zuJ~w5KDܰȹ*fGZoS{ 43mC<_$EKS.bPM_:@\v}@kC+ gy$#潿7QlY= &͔` 򮾖n9"vZ˖> TzW :qpM+J+ }C$X.+LA+Vpf!䐶c(rIH]etAy ߥsnPg{bgIZB4r//WF2VHNyQ^W3h߮xf cX4~ {~7[PgԳ$,_&Ԏ#^Hv"%"C*> "~ __$3\\D1P0u/5SNY`Fc-p!<)⦭3l*܇^xS $/fUJ!j>~<5l\-Yo$\vۍ;LzS-_ǭkPEK|0k  beqX_ļޡHaP[[`Z.b#g k'=1%ǵ5:<>qj~ nHFP<휤_s>Ja8 $㎇KҧK 38W[-R:c {Z,TB$Np4k0UxLw/dbswqD#V9 z8U?KټBAby }_:뭶91`uH|.G*լΉkѮ3eU`Fhf!&v1~y(QbCLW*xO}*J<$ZRS>/ˬT'05 M-~s%:~Z-cMNC.O+{Tl nɾZHX̒aXo0X5̝hG507,,+n=ҖZ=5`!>I 맺Ӏ>ac:qPu:Yp* E1FP`j/aoveA<҄XK'Eo+3 IT3lXd1ugLѠV=kvIpkOA}xBBrP]FzRy"^7*L6[F4]u6&Vi Z]SZpfH+TiF>[4xn 3ԏ 43;g#]4+X@wT[LJ E=u׍ ZD"UmcPCi ڔAz^H>kؑ;3 `e WJW{" }R8JQ$mٔ7^[OD蘚]~orl/~ Ag{?7@Λ/[7Q$X3QY^ž䧦T7J#LĂv1 f;v"[:USW-px&$}8F0긤ZDvxgYZF/SI dOld_Datatype_ShowOld_Datatype_Show.Old_Show_Examplesdocument/Old_Show_Examples.tex7zXZִF! t]A-MՋhvG"uIBm5ŀ9"*'d>huk$k"h}x3薛FVڀq) ȨhR+ +>l4 YI?&g<[g9OXUU9vc⳻` 02SQs68)* |YЪXY̲xڔꬅRV:* "<YxJIc^t~M,;:6 ΟրC.%^<2*^:iٓ$&jCn/&>kd񝻵0 5)pnEe@şPLZQD%VCnS=}RRL2H][YX=>ѓ;*nӑ"=֪<6.otKCM U̍P@MXCo_v*N>"wX`;XzYķp_'2lt7N,=+pDKa'*Rk$qx@L.Vͪ`{GJ^oڂE6޽ccō|D Oz ҩ1Ddž5` $i7,u*aX{`hEsƩӪNy9JRO)IIMOi4cQgYZ 1/ /A# lOld_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/markup7zXZִF! 謸3] }NC>>fD?V3fݩ2;rjf]4}>O7^^3BW2g)?nH3*F,_ " t8{lO]߳"?.CCNXn"UC2I`3X7pr i &8O4{a&?Ú0l _gZXH I-Դ+3gz9\:.O ܌adiik7,>P~5X#檩Y1EЩB88${Gvq%yr$;{gx 0I]C4H.a ɀY&HL&2D;Y^j|JTQq|#Ɓ۪ٳ٘`$7g=lAI^ 2`(gJt;!*&) bN?#+T$č׿d;Ef,ל*Bswwren0AL~ Sy$gjJw_q۽AL@tv>v` X/yeXK(F&i˵jIRM$?"$fr ڴO8y*VՊǏ1sRl aQ] \hdBw~;w}3ʙңs~gBJ;IH{| CHeӄq#+}YVk1Ł*Y#pOw2?ͼLphuk$k"h~o~:gM8Ѭ6N\TnL~QF27GeB)Ь!ܛR3`F<-o|]1Fù"滈tGb'1.CSmENPlO]㼋ķʫR&iQ֪z*SX'^ț07[R^A]ET)|k>;*YC`?R8Q(C0\OW-!5b R+85+|(?i+A ( `5ޙ[؈ ala}]7Vz3oe8nG1<2.,;3Y GUBR No64" 2kq:*0 ,DWh2=:%.L bGòEbDߒ=7_4T- Sg˪}B_7?K/%GT5-9G. V;ih/qxةgjJ*jInϰL.L1JQyKC|P=fqF d?Yg찟RB=DŞ J=nYê7"UF V=@br?p6 Op\!Zꪫmg Kh.@V"F3-\(y FеjX j@pҦ{ogg=C +-%RH";r1J vVAd^e?ak>ۄӏ9}B=SUJ F&hQ+j (.N+ zLjsgQ'S\p:UAb [MfʆU^{h Ò1y4`cGAœs @tT!VqXH@qLjtKcgQȦqu$e%vo4fIǹ'ߢi& t[fYt94g#%pBKN)an-J_?5,y*p]!qҜ܎QQC_)ш`Τgty@HF*1N@xp1,*Jׁu_ﲃ8m~?^f3ԯ='Π!/Fٍr ;d{' $z:MyxHH|:6m8s@{]iqx_^vcU馏;oLIjg Ρ!z2^ VS|ؒ,\|mQFV QG2f'hԟe,k']o~ +4YO&JdŴB7*Mqn0,2C@s~Ϭ,0]( ɀ$'$U1?[*]D8e5(f(G1vW4-0/ B>hט YՄY?](ĥDk0h[xdRL' E[, Eݫ>hmǏ$ΟR\PW}}ݖ}X~+< 6HX"gYZ X My=Xlu6Ԥ^> NObw\Ep09EKbl 3c >'ExyŦ9v}3Rc(2҂wSe1WRk [ L0V5 IKUz8Z'HK2Xyh|<)JX>QzBiTM~05i]V. }[xDBMY.%"JJsEЋ|`[v  MT*/ܠ-5bݒ)ˋsCj$bI;0w r5XP~\`:N tWscL`.*kd7S8J8A+} Iߙ,x Jwa7G>J^G=v#nOuQ;1 ohL7V T杜4㨛nYEv2B\0&ǹ+ot u:P( g.l bfl` 1nFQpVfU ^ZO6h ,q\nQ/XbX"hjP1ہHm$4mEh]knq5Tp6BLQ>k74?QDwy̷0/Yw578VL6q^)]XqviJT͓-7HG$[҄Wa4f.$cgwjӁ Yy-GMR CLWi}2"af[b^VTɯ3?qq5 aua6"xY^V%D֝sIo$Z]kJf*.?x垳5lsC(z'kC8 H"=b{Ԃߞٴ4 MIhhf)x),ߓ1O ȩ~7CJOʈMt4ELA>jW(%s0kI(<.IҼ2`:n:nFRE|8rLaMqhEW}$1GBom5̆.Oؘ҃Ebk2"2 dJ5,qfR刷 b4x3^:1%~ F6Jvb[@8\ P`]\7D.Zae#7Vc#kiWW½j+ Cг!֡?Hu8!ȼ9uEƸJ@ EsWTՂ7BP|H*/I p~ʌMT#hjot<ѹ54o| ֌<׎ڛ9J8^XWZzZ˨=8ZE֝|5Kva 0m/q'e>52]9YYΡuiI̷ Dβ6FQV0Q q&"* O(\@G0I5:6(W`q%ctߙgt&P 96YڹX0w?:̅ 25 ww+ x ;paH*uq06%kDAEu,m<0Lɺx>%5Ѷj;.-8ESOwP;Y@ؐ}춑`e yސ02¸`*q!KƓ$uB83E@!bmaKe hf$vU»7ory({\<PYCn@?o尳6sh3Ȥm8cĬ;QF.ž-N;${4E5jgddžݥI+kv4FV,B\~y{:aKtd+<'x<{y@1Uv}"x|Ϻvh MISW'ee_6k ]Pވ똲R&ǝoV6J4zbHYg3VIF!2jUZ1:k4zJ<|2dTs$MfJ XV EE8[/'4c=ENNJf%E~ʱTSXSovO*C>oL~Ri&_ڱ7Ԇsҝ0osSBn?dx#b7\nP39;O":HAAX(9fG9BYc#f2Ɋ67m H,j-c")%/zV ṱ-fJcYD)䱑aW#l<TSc&P_˛^km:fFj3my2$F5:uc_wOvۀ9kg4Bu`JvBGf&_[/RН)U]9/.va:8YA An1h4 +ܩQOVaA!:e қF#W8x#$Sё9]']6&49f:L,quZ7HrTפj:BsL |T;Q|-8> " p-$*fe/dI)z?}9,*Pq&YihՋ㩺U@B "؜+tIXPJlLW5~pSn;nSBAH;4%Fòۍd0_9\`=|_pa]=4% &E%z* ljrXX}HٱuFvPX6#X&/%qdƔDTȁ2Q{RqA'"?,rEL  I#RiԃH*-D^$!qb*ϢɉVX_2T^43G}Geh;2vF}*(}%Y(;Ӧ*C//g&&q1JX&$}[1BG婗 '(Q݋tB &ix +;xU@$@9&Ro[W})&Å+$6qǷ>5P~ۼs42X]jʊ7GpCt([W#ڇ{M%CH-ʂZ!.$2>6Pݘ6K6X;{mDʉ0M"% 91+7H(. ޜ`F5 RbN2T UTTȦ__H-d*zPɐKs 3-bCeDC7#,,FYnoN )Ym:` dop(Ibdަ2]tL3F; lEY@SbԶ'8E{pֺu ӛfN~a4 壁kɡ.ybHRޛ:w=*zł DCf:451wvth+nHIv_`%Jr_\JWX%]8KS.0搜4JTd3hf&b͹6tӉ̣RzDk@~Qⵈ+i` -^twL)1=N_wK\+%jTЦ kDW7] 077Uz|ؼWŦDC21.OAt~Rɶd`P@BHROԈ1 DOuK + o?N`# z.kÈ S8;te7Ivt`5yU[ I& .b gφB/,\A>PUGO8A[Ô/=3f:=R.±0Vmܡ& YL-'ѢZWhy}0`*knps;lVQf?{GJRL0pMx()a¶gAJy),0 Ћ^*po@OAk; h!tNd!]y ]+5Vp؈s @RSi>I=Oa,{KW|yB5.W Qﳽ6eel(G ]_8p$I,Y`x^!S܈ȧAY`-˷!mfF##,-m-9K]\0 N\7-;[2u!rq+7ߘnKž\2m|%@ 6=IC$ &ը^*C-}~p~Xr@k4oP eo[NE]CM PZҴv|C<4]Zs@y@ A,$j: >'qaPP'zNH*x] _E'8Ͻw8Ϫ_?j\}ca|}k(ג;s-\Ġʉ˫ (h}BD5v5xt4Cx^F W+RC7`T44z*$-v{f5#x ~aNpLN/ Q\F^d,#٘q! Qn h%wKR.˒`]!O%D>&f|L |Ms|)H\/ %;&:$ %st9U\ 1 ej95.p?_QKl׽r9c⋙YK6u'Wz)ahw%orumV- A6cdV<[ҢV.M{*rJpTKYэ{{T ?-: xz{.~a쬆Nnn׬V%bPﰇ(k'~FܡVƋB\+Qݥg]%lm!DmWRފ L@. ŧXg@*VE|:}aM%*R:xƜuJ;/ZpcO[l8Jp1C~ \ۮZ_N*Y>|~njxT)̟9±]ágwQ߲IS! ⌏92U%5=%Q_9@iJVI||^'oĿ LgcAJ0 lC;U$=9 Ot} 35 Ŵ5e}kU|FҩHY`^fn 7fnF -x9e&QNi~ZSURkڎRL! V6A֬fڃts>=Y~WK[Ψ+e1DTζhqeAW L=)ռeQ3^Mbnaɑzk'fy ro,vv3}4E.O0\6<:PISNOݞ_~wxQ!ɒ `Ht"et ۺԥj_'3OEa(sJ΀]t+U|#s';4Ϣ` |%phUײ,VX4 kvHyGm$=83jɀDSBZݚ5t_ &Uoj-*P@_sLK[8Ca|H\v\aj]$kY^Nf}7>#\1ǺwLcuSt$.nHCl$jΗ4˷\ XzK'X#n`qk8t$+JֲM渃AӔ>ԕ7F'Qa^]->Y :3v!tr:_#BG_ΏHΈ%bA)ٱit\M0>F7y`4Yɋxh fuU,77 [nŶz$k=TY)!TCUЏ'Ӊ6׺㢶|Rx2 1~""a~9JDg"˱gYZ W q |W /U% Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/markup17zXZִF! 1]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEe2R *\iuLj:s ?1O%)c*sٳ1rpn= QYnkeKWvKݱTs&&vosqd4gHgqVɏиzrud7@5ZC$oA{zJHq tZQ崑oa-Eֵi<3 6&4[j~b6qQL%sUftoV  Kk1/|C%qGYig@\r)v0oUI[7gfw;q6"W-NϘQx_\ /+ēb歕1-w/r5! /U!@Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/files$AFP/Show/Old_Datatype/Old_Show_Generator.thy $AFP/Show/Old_Datatype/old_show_generator.MLO /U-Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/document_id568 /A' $Old_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/messages7zXZִF! QH ]D?7 {?:fH\:a\ WmV=(IM~<4q$Z.9y^AaGvްԽ,pnk,́Illixp8K"S]Y)^&k'ŷK@ H]& z/B$͎ Hl={퓎n<BK}7x.M| ӏ~ݹS?v)${u<`=+c #FspH H%ZݩrCΗQ~yySשP|"ZХ3h:̆Dz0&V|Wi\čO 1)WV@/ Q2T`ZĔ)EhboQ5)tFǘC[` NrQʅF8yb1r?;_(;at>™ '}>[\1_Dܪs(7ǎ@81 5(ֈ(NUnU^o  ƙQ!%#j ޕp#^%f,q9XԺW_Vdnϴ62.LvTq7+9C9dC'4m89V leTeO9,:m+G@юg$;yMdՆէJ (! K`np'{ =kp4G&USU:9kǹ㲵HvAHs+9L~Nt~6I:~(A,wl>n%$vX> o ]R#AiJw5&eˣURvh臻yr4M 7 8ǻpyȿs|J~M0OrᩥKnd㣉 Ok[RJb ADF%f˾&L?9;r#Lc-JTc&HKEʳ:ܒ?|Ȇp>r{ k);Is^i<*~e.A[(n'`%X WL/m*9^7'.@L!f@{@>v3/[kYhNR "*^NxOr[cK5ucd9I݆J%`eMX y %5@W/=bVM#y5^c;F\v&4-12r~EVi= HEYWrٴ7˪_׍j^p>vn#Z7M_ Iwj3d_Ph m}T9roEqHAM>X5)k*#DGj;eL&s :/4{985  ɢH;gYZ7=}x#i]0)Bi|@9^ l/WZvb,tX0ڮgB}{pH~E2(Q%B;|erm-eE d 'n[6b TCQ>ؒӁ+Īu|xɷOQ'&k<ض)5{L=1 g`5WqI"ӷM8!*]%jX?JsMAg|s4#*Zsl|L v#vgRjQhx{UD}BƵ~U:StF c1nZr:3֍k(F]D3tq+(tWg[kaNWͦ@':"@_ ABi6)& Ģh^[,*/]#Nzj&[qdI:*f.dv˴ZϗuGPbbX/mkn1 ni@q}U>S֕C/8)fG̜Č('Of`Z96v>,Pғ{#X[9@3byw2J b9n&|xh~0-(V2}8JE*]8 -%,^\C'96}(n(A2QՐp/J[փ7I8B2#;i 6zW'b7SDLXuؕu Oy)eImII7KzγX%0qm-4s.?+`AmuQ%HSfDO}gg3n"!Q${ś2lb3-VjG_y}o`8&VϺP1*ux13Y.)jIG. <JĊ0&1k7Ӆ"DYgԜ[Yh؅="2;O 8ڎ{Q5YM~|}WMN?~ 1BOaZ%d,@Xf.=3#ȴTDPMoNHa\bU%h1y6Zss @=5LDÜ>Wb[+}l.㊽ (Q}\畻ڃAmh^4(SYè aİ+Vp%f^2zk/.d@6f [#I,0k5iy\5yᅧS"M\fY8HD]6G#O!uLŠyŭѪf`BH0f ?, SZO@6'􄜅=W,]pp33hxDdCO \Giq\n#6/uPC%Gl=8ue5D(  l8`=Q.\2g t݈{uKԦU @r_j<,]h UrQu61i/<4>`ؕ9lBlnr Kj:O@4XX͟掉JaI̘~MpJ%+78EXՊB7c&z\$'eZS-a5X-[FP7wfNX u})3qjЖ4GB*BY^]i7&'50PuJ&rw :ṳ̆2qNM5x ҍ? ?܃~*r"] k|R%IlgxX)R-::5Re CGYP-XBM:mX!@!!D3i*_цL7mpqgqovл4ҝ`5A +]e* {o<2ύD@n%[n_[1x9Aq*0GsN]eQ|R nz36XT.. k%d&WV,vlǕ t FJ#8lئ`|I(uo#a/{x|׬,TfZ{Qch'k)ޠ)1xbB:x>*]6ՈL94AW}=2`79FT!, |^V%mtz#ZA63TWIM > A*&\9b lsԣ2cՍrxqcgg!?'tN zE_ @hmn8"an5_Kq:JQ2J|Qָվ8W؝)"ߐ NYvm+6:&@-0yD!vsiDT6 "Y4rY J|iwV`-z*0'(!S223xr5,-KGћExz á>ZDP0]{B`?廡Mi!cԟVXPd$sP=>);:._St$N dH]#LNe~Bs*a,𑃖[ $qa} KhTC\.h2#n*4OÐqQK+\p6%(sӗwXzvC~:BWd1e>\K|Sg^ď\&fw"E{ GX;ķpL|K&o? Ր~ػDgQܖdl٨az_ qʚNIV'ݷDU _ e\%T\󧶏z-R:LqtT \#>T*J?XC)^,2rwVȵ%"Lrqk\c QDڔzp=ދDl+,cR] nIL0(w7lC;]gHof%h+> }:Sue\Ef>%76*('^n'Nxjbt}e3Ry\Yalq8c6(GV n~rkIg kxΝC$5s[>#H!߂WPs3*<C=4-շgQuOIFXSF{wU-jȿghI)Vf iYG}RݥE2*WNKaӶPŇWضQ[wW~cC(9&FJ25v)tdVw% t^!=XɃ#8MK>LZp}GKcُ(N4q1dDWEgcdn%JoFt>N,ron3O}nɥicS ꭻ#`E#rB4C+p΅Y?:C 2;췅xBu=ŇuuA%uo4m#usԫ4o=+pC֝ȶ4޿N>MyR4.p֥[Dt&/TWOT$ߝ}Wwa E[e",qGF*?_NK1T £GYE@_T[p\aT2mWqw! \ʧJ+\-oal곩c$O'f-̈́=^Lo6'_}x"XJ$= }ՖXD%!ַ.হofYyZ>E_5U#uڦ6 H Č%D {]z  1FBY=VY㤶[`#9M3>}OuVY5I+:8zJ>g[|Sp|alRy\>FI$-Vk Hjs6,FSWөY/N~:|& 15Ω;.*:2_bH/B!}f\X&ѻ@֚W 0X/T7ّ3.TǟBWEҭc / s.9kDq*0 esoY3[M 5P&t/*0y;yVX\gsKNgu%_ \rE:Ҽucx+MsmaOatet>]4Uz.;)=bi25Erb'&*Llc9 >gz++Dc8! d1&/U,R:^tTWk$G 锼I0 ̳"_DcWPת 5@-4犖#u;+O2h:B)c_"1и@4^G4݆yXZJ-̯& !XFbW5@:og@tٗuB[ wc&=3/RiSyϋ+MN? M޹Hsz~N'",~x,=!1MI+4|L7,؋Fk8Qɖjٺb<DHνCUn@WtSZN/tp~9; dALIHt~ɬ:49L0n"5;̬ץ_s32ȥ";/&Rjލk|Ûq&VNêC Jx^2u\DNuZFZG{|q_Nd7g'Ws,2(T*Ǝ2%~']U =N5 pv z0a@Yz0H&Y _b|'y(,s'RrϏ-'zR;cRfJ^c?ݻGtzqÃOAٜ+:dzZ痕qoeÃ% _X[ˏ( )5fQ-+%DqM1> ƋDb٘` A1&^(- !iq=u~in=l1N^zQÁ9+3 S ѻw|(Fp`GpNJYXiV?K0"hiK E8pXTxN'yZġ)$n5$ g'qeʚgBn@ӺP)*wneNJ͐ZZ{xSE'& ?ɃV κ5&٫9߭ו[컧&}pvG=|WWX ]á_pV(Xe۟LwEܩG @d1t*_>I yӟ!_:0n-@.[*|Їt8(/O핃Q'0]gׇJqEt%qVžbp&ÿbӸƶ ¿SQF~" `l{!T j` RW@#3Ϙu9[%RTt{BFtkœPǯK ^BPDHV&>82BCpHx!=krEA`'|t٧5`덏Ed%g,`rwYknuhmmn'^p<IVe:VsJdt XjnK38*|{EB$-663./I:XOR5U=jg7ypѵxOsG$-<#)C牲xFB$eiȢLJu (]K#=V3ϡrqNE )&@^%K-5吮Uaaq9Ch1Fb]sR~ӚzkM88t#c'8K5q3&DH@nZO<#&0ж1^I*V!XHynllLҫm4}3^:06G C&#˲¬딧烋IJ@x/Я{aZ~v^4们<*U~*NIBkzZS{ɬ@J֕”+v 2Qb>w4XE0e] O)E'i.5T$҈G3j,FÅЙ0yw qlkLj nÃ}#srX(gyf3Ls $CM*@TwX6ӚؑU_*/% to:J;8 2S)0?eMl4"۞cZ$eJv}3P&(֙p!dBHSfauݚA(1vxK'axuTM, R^(1t=N^zd""W`>1%-/F;Yj8c=&T9kmwvY#&L;ˇcw-Hktqn;Qn*!I,/HX@284ުә@95Clz`C/y#ywaUxM=Y ϫңZE3dU@wkx"bS|_"!r hZDNq5|뉼>c^a`(8rIߍv]BcC TeDfX~JᛤD\5s0ܷg aVsB%3Xf^D jx o] N`B:SuY@WcyW+,_o'yQRp$;fOPx ڲz ZKNDc$E Y9ōiE$#_COIaAxoېMxы2:'^_(E5{#ܭ 7j/0wukRw,Cd 0@=;g8+|4ϢR{ ;¡ٜ\sBaOoP Y0 5i/au~]uP rS4 >u4H6kXyoR"g9pMf klH )B"Ɉ2'`Ƙq2xzät芯Y&Hv+*`xI)D@'΀K5ɭթ@(%VFLJ 摭+,qcaLMkИuU A샊IzN/y|tޑ,a90!s[r)Uids n n% 2,, zOZ(tUmПz>K0S2MؖGiDDJR07i,U ] wr<.pI!Gjt@2}߲l~AD"~2;}D:W3 pc?qَq]/)Ăjvc9a )RJV * 'RTl$ȁ'4sV _^_ %8ȇvthj3"Wt|{Rsɑu_ȎYdf$WOj8ie@tgMt(-ꎔHJW%YΫb=KQ8[jKL+CMv^v7Pk-w>0eszsY{piO˷\aQ$SG'Z A5K<ڼ02ڰ`ZlB#E u-1񯼽eR9gJc/nb׍ͧsxJ.3eh†4@ID]Sy7{fb9HJ9̝jڡ_ B TQ>Dt~1_"FP_)7ĸ&CL{nMD[XRu2$IVf;vJv:C-H;`edck9Fha:^_ M]$gw*k]un>cȠ*R/+% B+0$^z֭!@# TEIpൢ";c1ry t=q!v C#gYZ  /U# Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/markup7zXZִF! . ] }NC>>fD?V3fݩ2;rjf]4}>O7^^3BW2g)?nH3*F,_ " t8{lO]߳"?.CCNXn"UC2I`3X7pr i &8O4{a&?Ú0l _gZXH I-Դ+3gz9\:.O ܌adiik7,>P~5X#檩Y1EЩB88${Gvq%yr$;{gx 0I]C4H.a ɀY&HL&2D;Y^j|JTQq|#Ɓ۪ٳ٘`$7g=lAI^ 2`(gJt;!*&) bN?#+T$č &'?"= "WgU&K P!J+rMu)({aUd)Gj3ߪ(Y@4}8x -O1 /z>ASp `W;,KU {uGȰ?6a|-d%yъywd'Q\x[PU1Ԩ0[ZR|sj6!RVaNIo_}W~3`8X03cQN=h3*nB]=HsuY`敆6!=W 56/y W?w|njC4 ;ͱV>0#==V?9SRi 1h˟ 8Ƣg?=RCXýB}@R|`j2Y%Y{$a[NϵސD?5QW[fԜyp j5ڟlfpX}ƕZd<̘JEOe,vSjl ԉsR2#imgYsb5s9 { D-Vއ} CN#[QI{{y^̰ʩ Ғy ˧<6;jom Nankeތ~}R_St9w@8k)tR?({!*L aɱ Ͳ#SrYwF~ѩ ]e K ^}a 9Z]P uH+L2mz?a.Wh$*6pIS7^Ia+mmO7d|um `n 罐v\pUxQ*wMz©$UͷiB}Оط\!mhjM뾑UQ4G::wR585Oriڇ/co<3 WF@=bvh#iG)?85T<71&lym:G_%ipOv9cHwWllj$ t:TT6顕Kn놀Ka#Q7 N_^ EݘT"/~d9+[b9kۏUxo,Lm > VޭIlFjm[#0ywb=du xq85>i,$!:lݟo?y%n__NSyxt[Šne(6IR-YM\d3"7QA-fRMY dyk1(xmZ[N/w*إb²!Yܟt>Nj|ہ*B  b`LWi,u7%O5y6hҎ@{w2d"!d^YbIqUNǿcH!H? OR> l`!7Ņd^(jjl B06(%Qtrn>+/tl7 15߲'%@$8T)aId9HMVH*diOr"-ifmoN8nζIXVTаar"p|s4,+e!' ystNWE4yIH BYwBPpK3.KD T"ȅO"heoua ~#޸֗,Ds7.c|fCׁ'T::< u_Kyyt#< $ͰmxbX E\g>ĒYyW6۴2:hhLRf;~ZDxP'AmO$TM돮)z7UZ7*"{>* 3 &: ř}LmJ솝ne6kWlܑMlZ,.f6lNr5źVayB|MkL8cO%q!X]"ȍDϞճª?m՘LTyv:SGI9Ү?Uިavs p(Q\? 4m1/  |`T7ԒW:_[Xfk(9{Qc6Y,@(_-BB[i5wjv{m`wx:Kr,6%,t)n1}(0{?wbLܢ>"|&8  קNO8J\29IpG{w?<{Mc [FҾgYZ ^ 1!^q/S!dOld_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/files$AFP/Show/Old_Datatype/Old_Show_Examples.thyN/S-Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/document_id572j/U' LOld_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/messages7zXZִF! a]·Iq n[:|&[z}:Q;F]zQ3у^4J^j >W!"9ʥg4 ^7]xWk)8Q~WiU*I>e\/ދA#}_JfrEឿ-!w!U%O=e=hh Aި|3Qų9fc>5䮅^@0gUJ fGRV^m'-AGZ=t0&q}8*!3b$ΛMjV\x>V؂"03E5 ω|%M&y9GǖЄܢ21f-(j5T{ ͈db= GF ͩIϬi8s?yVïQ폹C+%{]8|描 Q&ƄC -Kk>h* 5R^It%XU\zy'i`D|B .ާVnjˌ4ϑzؤ* jĻ^ tcFp<m;pEۮp+ݛnaLY7Zկ0 Zu% M(RXCxE YuB4#Jn%?^~d1'Ǖp1"8'{LBh {蝉{. .e,3 /׎3PPv Qjߞw _Zs f;rJ( Dq1Hc2ipoY;8t cZj ;St$>DAuhn16rɀ47ʞj; f0 bI I>Ua2\ :Sh۞ ̼%@2TSb@atk&_pdGf/REO*[a15ym %9[^tOrȩ` *ktXA L:7'T7]堂DUħ61)y /Vs['_  e$ J{φ-s۔ibWQ lҚ(`J9 [(ۋҍ_!̈́_%CSj7wߨ͏8m `Bi:ACWӭ0^P-7_j4*^FHsv l^q1GvDB1}lh-<`N$LM$)1P7N~TfLxF//W2 D)6&:P.ͽf ^Z&˷} GV ha4E~}dpqMx6\քNfVf=WuL /HBJ_M` N 0@/ͷ佼#a$W7#bP5y"Pn>}hV1A>fD?V3fݩ2;rjf]4}>O7^^3BW2g)?nH3*F,_ " t8{lO]߳"?.CCNXn"UC2I`3X7pr i &8O4{a&?Ú0l _gZXH I-Դ+3gz9\:.O ܌adiik7,>P~5X#檩Y1EЩB88${Gvq%yr$;{gx 0I]C4H.a ɀY&HL&2D;Y^j|JTQq|#Ɓ۪ٳ٘`$7g=lAI^ 2`(gJt;!*&) bN?#+T$čW>I]Y9wAI G˧,ͪ;٣G鲝b4:҃l Ef2Z8>Ѐ-ulz|b>Z{35(hi*p1"흷@:(,?cl0ЭKɡ,g%5P©#{CdD IҺ'<K! Sfo%T4P?6O6oE!R)!$0 Šdkg풳;jkoOtoG !'hk'4̴kJEqXpxg< }:<=,K"qoڍ,W3oH~ѹOK^XH69ǫp7rQ WSENOJ< }/Q2ĦC矮hR_L )$n(0ktrzYRR7g0R&5ܖꇎR=9E$go(ZôqB$x|WoT>?=t^OqY|4z2b{>wddPi!&UӡE0Ks=`"Cni 8aDA/pw΅iڑ6$9YM3-I\v64 ewp-3YDb鷒Z8 IU J.KڋWݻ0lTl agAؖj{@2+ur!$ "*3m3PDJhs堂шjǒ5́*suk^O+EsWQ/Բ#d839\ >F/<8٠1JcV}w8Qz9"pDjn2F}̸!^Uu2t:#!jd@|*57 eE'4I⦒aG&mA?5獝N+)36BuPޤL/^׋0ZRdd;XK3MY8n8PWp(X~uS32,hsc"G6ӜNv Iˇ'0 @&FRK WWiN16wc#^ 'S0.AMB%.9 P݄cz"RDi>m92-Yl6\F9D`T_Ouk Sl2mi)P]Ly("e* 'b#k;1$`OKг8ܟ2ݤ/o%Մ>%ŚUR_y4Qm:!uSvEDwbU9ߔV堾e4o cesQK-\"&t5CFGзr_=a?'Hݓ!gCKcOe;ˊ LE=1 (@a=FX\ o_,[)eus MTfa],p{Z Ifs1nѹLVܮ4ܷ$9](co' ΍xG9>Kx-k54%BoʑQEB8.f 'QWe<_];G3,t~^hC>#̯ U0>Hd+y* QOBjA.7/#[{.ͯ:ld]K|M*|#LeNf{5@F/idԊAN0syW\yO`7on㝾 _!NI q~ȍ ܰSWg>{eˤ_ 5B [du"Q)}Dzy_?_6m'\"|89Tի>iQpϻ.a!N M9eu~x*uLx&?saUfʻij4UEIwE@<5&S~VAs7ԃGuX5y&g!QZma}ĹCjۚ* t+CP`Tת~&?{^qP0G d`ך80T2=)n}V({ɴJvG ipOs**CxJzclWnO: wo䃂-AnkE8ҍ$1 籆:&CEȂ>gUT+/'{:<4jDZ3&Q&1ަ O<(:=K{(W i_VltZޚ.6w l%Z$s_U 릺8M#U~_cNKlhׯm2n36]1XLBga259Bd,p}M"٨RcZk~j82f 3T{)JiaT1"ghV+(WocWM>܃uI`À([p͜4G/9'-Xv?{M{ SȽ.:CҧtڢiYv-1$FM;VaDlg6w{1OI ;|=t-Do?xK4D? Bt{np/ֲh?aP)} Fz)-T,D.5@2lȻBL:߿Qڇ*ZY.^1ٶ֔@ TO]T`WZ 9R t/;o"bT+Owm.4[ ~@6 2Ζ;;ƔR2oj*.o]e3qܨi]{]eiˀ pgmoN*0+m쿤5XABbdеr 'h_,s@ !FDљIV!2r┫=4k|)+g, \virv oX!BNy%)q3:HD% )يK>")yxVev fȀ@5@wGr4Owc`+SA/E35^J MX iR?6ɇ4eo| ] ᰭ~wȧi/cT_@̲Bc\ 5R7)ܔ{Fj{6;T9:X;Ie谣J ᘟ8æS} Y+J\kŏ\j[Q @.ƁRcl"9K~H*dhG~5ٯ4FM;.#kG ZJ?~g=* .gYZ  /S' Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/messages7zXZִF! g]·Iq n[:|&[z}:B&BTK `2 ɓ[SHӜl%JWR%xda+w[,` t5 qK@e𴝠57X1 F=!9rkþA_.x{uBSgdעlu3AyyN7gw,r`Qky0nFC'll$(@45O}L$fK6; `37QXp@Ԛt;uK \@(-C.!gYZ+/S# TOld_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/markup7zXZִF! ] }NC>>fD?V3fݩ2;rjf]4}>O7^^3BW2g)?nH3*F,_ " t8{lO]߳"?.CCNXn"UC2I`3X7pr i &8O4{a&?Ú0l _gZXH I-Դ+3gz9\:.O ܌adiik7,>P~5X#檩Y1EЩB88${Gvq%yr$;{gx 0I]C4H.a ɀY&HL&2D;Y^jt :4 tp%6d#yo&|X8Xu|ĸ3]=tuI|Q/fvfy@YUX.TV,Z3]zj@t&.Ҙ7){pKCcd4``Kw[?C6!> M%a+u ֯O7hecϧͫ'*={ (MWԆj}~Y`y.eUz8F8oߜjM|TU#{玺S,F5{L.uO:]{ Z`0@TPCS ҅X2${+J"7ywMY 1xp\ `E':q I?ZpOz"|>*y@68%?VWc[e F G, 0R{B؀.ZJ;ߙF+ ء|Md砢 9.?E)IZV{*Hɺ^YsbHu]x4*oTa.DJ`ѤEj @L :S ?}LFiSt,%~g{ҬbT!LAJ 7N8Ym`t+; رtbzj\8=XNmzV 2`C( b, e'd>8MY1@ *{R}8`baz806NYN,8jkLW:[e0sI %N,ÖigpZ#_N}&Ɲ HYQ)i|@ ,L:jӱgYZ