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 W/r<$4 ]S Old_Datatype_Show:threads=4elapsed=9.990cpu=11.796gc=0.2407zXZִF! z]ŗXiɟO}M:; AtJHŢ%/zX^bm>~}<ߗ(ix'RcΤрZn;T bQȃ&>mx<ܪGGFol]Cfu#B[SmzFkxs1"Y㉫>*9$BHiWBlKYtz%9]_܉kgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͺ KL?N|!,@̓Z)P_pHeGMZ:m3/|{d$xr<nl@ixDZD#˫;uQbU9tFgYZ7zXZִF! :]ŗXi%T[DnSm$h n&ALEic/ȲIxe*"J4ޙr/ޚjeZ!W<܂m_6X@JvRKY;k!N&JǠiЪ̸ht}Fi9۠ٴע$ڵ,JͧElwSACc)?p˳nFmQSCf(۹`")]ybw>R$op o]7UIplVl1! b3Ra)cqRA1.@`Wv Yo#Le [v2p^+GYuxGxضDY`5OiYP=A 7aVdnXB(~|s?&hٺRM$7O1-d! ;qp.kf~EB . -FG DGIV7/]ac봗V3;PB:Fn<Ѥ<@q28o!|uaAݯ}0{ R, ٫?eMI-Wb,Hf CBprboL^B`n,V2C|D!@Wߚ1A\\q% Lw{U>MkU|:nC !c-e{ݔ|ffܲ0gw [i|+DkЋ':? èb~dLڍR}L-.T;qZˤס"!YhJ3~;wַ2f.ffSLy`TˬU_~Z4RY2a͗;㽒_gtEԻfTo }##7whryLpܜ))?r؟v$|-c{6gN$ hJN SHiүb+e/ׂ>8l1x^fMmS$jyN'*dT-"ŏ9tRfpJD91bqAgL\j %or`9|sY>,[F2&at:s! A )v_v;)%I5lٮy<+RZ,P+];+x xc/~X#cCÕeURxvbDT@/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_idF/A7Old_Datatype_ShowOld_Datatype_Show.Old_Showdocument/Old_Show.texZ/UKOld_Datatype_ShowOld_Datatype_Show.Old_Show_Generatordocument/Old_Show_Generator.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    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 K_/A!ROld_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/files$AFP/Show/Old_Datatype/Old_Show.thyE/A-Old_Datatype_ShowOld_Datatype_Show.Old_ShowPIDE/document_id566</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#< $/UK Old_Datatype_ShowOld_Datatype_Show.Old_Show_Generatordocument/Old_Show_Generator.tex7zXZִF! ,P]A-MՋhvG"uIBm5ŀ9"*'d>huk$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=}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 {ބܱT4]x%,dlh#0)drb%6?7i/8gX;R{eaLt~nW~^*]r%QW"ht3Q8ŢТ,k[%kԬ2%GŤU"ŭlj+^ݎvdYS Șl&do.;&K4wMH w<51hr.zOLAޟ !~d& 5;W:շ[9&6 Ѻ? fx!#~~z#{/h0_X^p(ٹQiֱ2C\ ZPǣ/P&,KKa 'Y|>$ Z9Sze @24҆5R6rV/ Z< XKrSq\ Uܡ+']%ݖF4$ *@:F:}s6ۇTWҿ!,.aF)sW@h 16p{[FsEٿ-sJi,^MvfKRWj%&Rtc (VFԻXnMՊPjGq #GÍ^ޕ Z0 VBB%kOXUqRHI{r(^?Θڸ0I丿o,yhI$"!HJæ2/+[? :LʸyF GF'XP'!Mhk/^$24Y|Eәwr%p- <~EYhJa~ò)}2wWKJ2BEy"#Kny]*V8w:Wb&-l2i'7GDtl:.{ecgܼ  !km+ Mlup.5||mvK^[pJ18w9 ZGfeB9^e %7$Tɻ݌_VN+1Gݐh{/v)p:1ɍ)L]Dv/q`ÐԷpDtȔg3 Kz_KQZNmU5a{}d%2j1:$//sR8B TKy7٣R=>w "[1|3v-8MqKSc4f|g?ZIrv]Pjà ʶCx@;vB6XltV'!tf {2W$TKɺqs DSpg a2Db8`E0-%hXy<>  RΞ\T߶Y̅VF)陼6yWA,#U#XXMS'ЅiA w婈1t8NM reZ9vў0Fx)n7r0?AjKFB$cf~Hz3M1.7eѶeuƚcaCX JDv`\XYY->Xjw@ rOj*^ g1act  #̷S/jGЫ=ʊr۴#dξx'rvv1IuXtj1rd(uX8>dHcc '@n vu8 88yXCĔ9L]oɲ6gyFHsD0|V0 *0ЁȘNX\7HT›8*h>dR.a8`  ;*GǑRqoEBwG,͉n}Ln}bGrx/)1P0Þ+Rz.1:aGlZU9݊Xv}T U<Ǥ6ׇ {{1_rq|aHN~^ FsB)lҗR37?+ 3rE" ;=IHx7śXOn{Zo*d0a\ԚF*W >,_M|>*i$r .̫.M]Q$BC "9D숫͒TY =qV֯$[q5z<+XH=̓EYq@ڲ0qj%dҽ'f0vbAǮS:Ռj6ڰSZc&ei748=}E6d0K :Qmy 9yO^81|溣&k:j'XG?lqc19D$F/oXJo[!=C!lY(:ò5iX'ކ1G, _kcLyM8\-޲̤L )7tzBF #Z0_Wv_|4Hn|iʐkթ'"bd _^/X\8Eca"UxVHT6-*J0kChJŠE O囅PqxI&0c1'֮*N<ƥ"jji40xj5.9n sV !rN=ă`]4H_˖`!̈́New_y]$=R}* fX)b/v8ˬdsnO~l*g{pe,uU!Wz Wt7&і1an1oƁM$N՚Oar|YO὇}NUGl[ ș!wLO'g@!"$fI[k\O\§lIn#k ZGr~?58{8T`@]_$sUbYfҙe]\DMЬd2[V]>n"`zZwd`[ =_.ho}GUSs &<4?Z83yDžmĂ;5:͏~w`B%ցf!Z;hhTVr$(~HE)G,TG.cxxۣiZ_e+ɕFc@k+im~ՅNte0,BDQ`<.JQn%fdJhoP^͹ u[P=Z!$Y,Pv ^GE|F]a}g$ܝҠ\GTrZgސ>W)1Is&:AI #r8ʘu H. G4P=H/Jxʨp2BoZF PN8U..݂C{b‰:mW]B-" ؛ `SK +0N^q lO1 !(YJBH O!*B &V8ޜ(0Gǣ:z?T38P˼v[S@SiOĕ_`YpNG@W ܢT'? 0 eu`8*bJ:vIG_@]Y+8U^Uq%Kz Bgo\S݇W2%EIc'.e L[`?3why$s|.Slړ;[;3!V2M.WPK7W*n\xK¿c)ubEL\]Y mׁq3L9QmM^K1fS:]pS0jv!aQHAk  ?3|o w> F5QT< ky- M+5{Hj"0|h3 ,i=)^ks eP{5 kBS>'K.x,2iiv Ӟq֊|taùe}Tkb\ςWLg@bMX}Mňcu "qk>DH%|/j4sˆIb:qgyY: %mP"j&iy}*Pp ?i@Q8u$#0eK08?Dgp <*: ВR~<~ mdS .2S1C*yܴh<, *meX!\_d}H~c)^(C/ⶀc)~avOW}ƈ\b쉖*0!ZHa`Ӕ-K=A [x BG Ejy0Z Xp!A7GGtMQ%{EeMe<' $ ʝ' Ū |c`"r+ԯrG&\I>7z ^VB3ƇC-1{ٝ̚V)X 1> QbChL{ (#$T4LC~^ 92˚B0&K,uJt&",JY[Po_Ϣ K}HrF4~`d†JZ*-_Hbes* 5 T83hDo hپB, a(Er-2Cd VX b@";fM % &n69pWB% 1V6F٧@5.QB&`l7`ɛ$ԈIE4p9h_sƽzrNr71f&e-pQ4ØߥJ甶;HO`U^wc)wM>FeltmX;]cnf@5o\[ph*ZU~=?9D`Vs08u3Lr}E@Ī$R4( KuUŞ[ʡZ|Bܬh 8WM!8K\)QhݖrV ݍZ?p=W?F}|*hA;^ H7޷9@h>Υ) ac1p@mj~gc62 ٮp_CD=^GOsEjuc<2|qѨ5nUb\eK,wL/Y%}@nX8/I]K:&v#!ծ@XZzXQ:AZnqxbGF?,bGhSaӟQl]yܿN TB5}k^};Xaty+P7 d;?>?m2@sbX <'2S0VpeuƠމf~:qx99R8p~/"8T+⪟J{e𱤟̪G@0ƢaܱߖFm2SI=?R ~kXV/$Dws=*۟rỌ̄džCt!'8$n(ee^U8z5}[ՖK4!Q˕- e?3m2[9P\g"X{啶= `‚z- h $MOC^Qݕ\̜{ A{֯$rV>h9XhzHPbb_؂TٟĂiB-݇, ،$dQ8ۓ+JA6F'BO |j`ɩaHcр +u>Dsi% ']6B όqaFꏘ MvCKE}'dbpi$(=@TՍ+wV[ZRVpI>^K Yׁ9"_jMonUij4ٚ/+h׵ƓV,ȴ=`⇒:_C$juZ +֠6ɪ8"QVR̵NH 0fx} ))|j7 [ǷF*:sԡ$+)dҢ[0~+osI:GͰC0+;4䬭9MDAG\YB#;V t_eUe}M:[jckI$9(=|7.gu@IJC|h~ZVw0?ȸϼPix_tĎ3Iy*j~dzedro^1-v^X+\.CL]iF@Bht۵'1Ո.Di>"@TK.?݂,Q;x4<=i.. BXofמD0\$Xk[MiaU@W?{ڡ'mκ8q8h*9z KMd<(WExQcbog候̹ prRՂIYw)'ӹ3vUAio0^\_/Q|5z"PO3VI(jx" q9qEeZKգ6cOCd%$ڦ'^4A"|uSa Tfʂe4uOk]OA t]hWjݝșT]q$~Î]T0VV nq?ɛ^3nBypV4=v 4MѪdYUO %(,,N޻g},;~"~I ʝ+z M|*Dg)eaQIk]q(Y8]!8RV)H>Mg̚էAw / 6z,H`Ao 0E#{ Hў;N1H<څ)=fj9ZϹKC(0Lɠ<`:eߐO]k Ct_ 'k"Bn!i* MKcH"^^9=3>#7򲽟 :(NQ' K;4GQ/@Lw#=ʧ /]')g6qf7݅Mm!]O$hl2ސhL } ]@}WS6}0D]fcϜkJ^d*-8 b2I<P֤#q1rcsߝҰa TAr&ƨ27R‡chzr&[z#H2wpIll]L.倶WrfUiu}y!W~3U0MOGtkc7zYDc"F F[95.6D)[>p+|O6*@ ! `'S`Zi&]fsD6]cEO2_$t&r%=rh/1쭢4 *{ ~.xOpejp y~\nc nTa) =BT;bhpEIAgыGf !0h?`? oU/+2-?>ERjr3CR/ !Lm3?^qIƣ^Y6^`xTeƶd'פiO`fPn %".6Ru܏W456S+̶G""rDJ o+w |Nb+k-|'ǵʒ^cw@ ?T]g ) >u` ͛(OQz#ʁT}@J9ʙWNO`AO&7ZB?pՅ>. wG 9_-fj>4 akM֬Ntϱ<wcXbc]2!r5N.br:ekHpܼ׼`,G|b  xIhCԪY#߉7>u >.HjVvVRP3}[8+a0VAAngI)g,ٷ^µ+B=QZťbs˩N@$d")lS$IH<؎R۞T]'Xv5+1D.punLcOr+"9/5?$P .막.G1:ᄈs>U(xVs*EPl;!'PTʱQrЄ*$c//g4!|No6;ou^EuTg6&,Ti =cVL'+3,yĠ2Ν79iz֫A#ID,#?f2oUCKVf&SQ>ƖKaAqSQ g9 ZDL80}RD~X8xqX^m?d_ ,{yYɪ9/%&OQ%:BTxάt<4<134b%iZzUf ˽3IXv8` 40a˃YWC;-Vg*m ַeLzhAͶO\lY8:=Ya^d0f7,Wbk[D.cB<B ++_XE7ݗ!$:6Rtî] $=:dC_R/~UK6|!| 0H܎@Nͅ=Ox}sa.۪A֜VOiL 3pf ?<"VAl}\CttfM++LzkfR,d&I2PLƻG]sAU/ѳNY乐[ \Hmio#t/z*nb0,4J ΍(N|NfH51g"PKㅱgYZ  #.. /U% TOld_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/r57=}x#i]0)Bi|@9! /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\N%GQҕc\Q &ybxqI*HB{Im(mA6`s=jYsc "'TxX??^mKW`]Jwymdn5Xu9&͋HXmۂLG3g ӟ<X;j|PZ7=v~$co&ŵŵ/i'55t7rl' ԑج5wIhSnEUG7}c)hA3ފ53s5x_Mt{ Y:1"nhwo90F>wMTxVFWa)]*ᯞ}ua*_.;6O-!D2c ?Ke(Jja.:` 8LP|[ȑ[څFgXww[ł Q ,˛vrkVad}AĦ DE|ӛ9Cak d#؝ҹa'Nف$S#N-Dj e %/?ΤwMcbA'xdTˆG4#ұfR7i+xV,cA!V2iV~[kq?VFt"O?}tC t9QP/ax*J=YQ͉!Dpͧ@/{HiMQ?[͍FlBI ևknC@67@n\^Ba`YTɕil* bJunap#Z ){On]WUB9MT-9wi/y(H00p+jNDN9 # gv$\aJY׆88ƀOP>AjBow'5Z=i%~"5ѡ8ir7{tزCJ2G{1SwU 9(W'_&C1jǗfk 2I\70K:)5FŸ|s ^+ ?pXqZ=> +`Գ)NcA+#3¯*˃{WT5DO鐼U̖BZ- 0y} Ve{ 6F @Ë`ڔ$iS};M\dɥ)Xn 9J\Ͻ( L$~Q+h%Kciy.a.>|7rBʱWOjyEd;* ɢ7"gYZC /A# Old_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?ͼLp<% @=Cig ^$7[:g(Rn B2Y,iMarj@;[&\?0[2b[Ou*˼`=b#j 5ibA!S7Oi(S ^ l/WZvb,tX0ڮgB}{pH~E2(Q%B;|erm-eE d 'n[6b \]g>K7D*Q%N()&86h&"xbXͭ֜UGm9'@'i|r잴&D_(Pk:Ͱ*EpߨO䖤AcmB8A*ZsY[yC({XD` m{ HH767#J0Z1Ft`wfh!)j#|KJ\Ž멨R)\v?`q/&9i*E#vJ& C-d䐠)Wt驖luusʷ;_ 5O q#7g^Zm%| qI.Ixv ;2| o]c6hC3Ֆ)ANt+:=$2Ly~hiVo=|K60݋Vqt/ӒT9&OOD/Os ' J#εdR iO0@ⱪtGyՄȨDiDs0\[_uwVC_Z&!qhrދ? czP;SWȷ6ӃpΘǞS9qI)8Jf^M=۽ZGaaf?Cb#RR>+O@Q3$\Czkc؛)f=@$;rs-XV%ҹٍׄW-LOE9'C(s?rK$]\ϏG=wցPq n2-znj/dꥤ &?m6 d1L`@xem0GE2ZR~?`0bKtYF! gp,3B>.?E>SKv)FCCޘGm}xB~1h IeŀkA̹úDQ*P{>y|dP1u5W"67|a\|ܟ5̭ƛ֔?2y9`IմuEؚ_ hAIÎ/ >Pߓ= ,1cjXWUfqENl8 SW^|!!"z ϜuM׶H`o'/8P,VES&:7*䁗z?nZNxn R?Yx8\Vf? /,} ̎O;pWd`Rw'oxezxq6WzeV;GS)KZ֘¸-}l.)Qk吠_4rS(8HWv>6*ؚq֚7&¶%RI#ý8w~Я"58+cAq'Kg-&jn.0Vo$%ՅJ@0y vMӤ$>کA<0X.a#l:!g6/>K `[߈\|F$ 3vhq[*f&4dt n]@ґչTC+{b=]DK6vd=v>!=z_RL|sީ"e 6UבV9&lӼ<zߧy-JL+qK`p%fUv Ƿ>50vUG@Fb»gEdI/ jONVBx4 l] q;BnULC1 ULb%QeU=Vd.1 ׺˸srJɴ3V:ا S},,>ny*lʸ$<،@.bwXe_rj%5( +8(OGgޗLp/$MP ?Ɠ+H$YH,O}{0cLdkv4'4bޙzkf ka6[4b"eB=pɆҼSqsj. %Lvl}r&PʍCxl= t^V2M$6X 5Y]6<:Rya"ykP`#KvVs)75%M\`y =To6k_BsÊbwʖG (W76{ۜ Yn[gq8%9\l0o5e*{*R1wV*6aN*҆n!:X@k TnoDYKTşV=Bo ,Y p莒}1BY{SS`:$t998Vf+JR͜tGHR{r;;єs> F: KBEH11%JE=[T'wAR~]<CO+M e֘1 V7) JCkP;HefxKp Rl4Hr>FhǔG# WZi w .цGBynY֖]ګ_ G/(_Š2gnk|:?,Gi9"q9n&6.TRSn+ozmc>dE%!uI +k5Z56Paκ5w8q\~n>]?KMJJp Fy'@ۏHBDJ\gϘ0>xw yľ؏.< uv abf1x-8HTgͬ5[3?K1S 6TOsw'yB@K7Lalؿ}.J<[ϴnkCKl/|"d$O=BV^9RF 8y8 4qFWϹ; H3)l!'U|6|{ӂ+׼̣Cӭd^ڊת.6Nas 8ȞC c[1iiչ"- J/ /M0i9 eEe}OoRDREDJn6_1ͰQ1AJHdq-3~L=Յ4#2*U|_-;ILJ=Ol1pCGqi6NSU(Aɼ<SĦDx=8RWW UqVI .Q2Sֽ· XX XYBwc0W*a׆V.GZ-F"(" yYebs:\︙ 0jj*Eo_M ]k$Q[LwJ|݌0bwxp =պ08 ACBZƬ/G3;=FC+NpCm.v޳κ'Lv뷐u6b z`:K|Ki t-˒E"nF!?56RaJ3rxdeՋmݏ|)D[|elL% kmYđ٤0iN _)(A-xT^Ep& ULDRԟ_U̯y`$ SQۨKDb 4--7c$OT?oI ErL2%!񴻢|aCdNmTyH@HT䑎²6㚶6<0Y Yk2OilparH2K'(>ʅC/DX^M($;k']uYu`N֓n=ݹV+-kM-)KЯ0znsj]uf\ E+"w䝞7edF"k/z%潲^՝?A"bW[ z^A%/РDL Lå.8ͨ}NB,`]7UTxuY Xr k.0bw?^o_V-2Hc"d|SE "P9C60n0ʧ":ŝ͓3]_x݇PR>5.Ui,W5+:RK >AKDC*TqBɏk %LgYk~|Nkpƾy&|wԂPj嗡=/62kS,)Ko^k)BFnWeGx-bV'?P F1iDGEau"6& ̼-$U٫Rt0K Zھb>fy8ЛD2M^FWV3*6܇HFХ|PTT^zr@cV0u&I2, 0-[`XP7l|H-ߟ< T&*rzl&uZ`)Bׇn^[&hi QԊK]{`8GHx@G ސglBx Juψ_s)_c0`lzQZG5>!*46Uk V= ķh1!Il ćZD} (pv9.XXk40FPMX>Dx|(a}^X`^~<>lKJ`_Fy }oO&,QzHg0+|Sz C7u Yk(rxJC\;)-i]c"6`ůqט. 19 +i=q%D'#[>}=5cndP@WR])lc 7Q39u F"V>FPO2dA~2́2h~:W{\MizrP5(|{%cX'XklufsLl^4+qk `r{pWؓ'ƆS)=F-&)2.Nt 9wdtØ-ZAO5L#C?A˭qkfϨ'KB|б-@RXa92 [0Wd ҅tCH1Bϻ*p$*s[P ׂRPIj[Z#sѢF3h"78):vRe] N<\0a sӵ ˩$Ct `T4nKjr듥@f ॲC^M㹘k>=M] i *յ; 8֏P5=-ѿ+j}̚/{mXVfYFx3;=2 (gk$>@MILGn_Rr`{{Ӕ[8l]7*~YԤ9?~嘭rK5}-i?%v|\|' لهM?xbe@m.xRb|=>%VNMQ9N`N% NO;*D|N+l{lH \: MmJɜ?nݸlP X_ZZ\)\rǼvIhp#, dC=^B-or!G )N:l,YT)A®p[1BB#)\Xo9lh;;;n^c {%Kuَog!mQ{chu0ߪڧ&n'J}xjec'!^W9mŦ?|ؠ vΥXc"qfL<e.%/(b.~sjF](؏R< ,`MqU;r7n`% &"DD^zb}@j0 F|l&| cfAQ3xvx*h.ނ.r`. ʆ^Rۇš  MFђJ+ŗo8侣M͸Ba!- lݷ.%w6~ȵ{[K>ɐ:]{/uLe6`dx.,zz?=q Km}}) U2r1?-/*ؙ'scϿՏ#~VU1t6E~?ZtmzI>2ztq إ%B#1][;Uq)jsXF;J4.I ze,>m -k_Be7[+,eP&2u6D7?u?\kh{yW8'w_^2"7E:,SgZ.ȥOO'tgȉq2Q6krX >08I- 3-P6SUFx+vI: 켨cZetaTJֱJpLڏ"~D# GfN\?""Z7bK N1w_A!ŴQ`=eSYZG˸)Z` D7~ؾԫ?!}ٻ`k~Bk#o 8u>mXrz#XR֥w6:AZ̳~TG:}aK42F 7;8Z?+#zo#HJX b~=# K );<<֪Aqaumr_$aHĔ}cr܅F=".QU[і ^4>!\Fp'hsGG^6"zy7Fyp#TR@_i[(4ȓ>n==H  ][w4S5##6 \}:#lgVַu =2J`KUB]M˜Foqd `~K-ϸ?)gYuEHFG}TɡHZJ-Xd?*\Lp}+2G?yfq ,gsh+)^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]=Hsu gXW |Q56x}|77^#X\= M.35vtL )1niy+(ٟFMbyp3:[5ΪA>3w`JDp/8[eW?yB;]YY./È$92  GITjAqS ;&Q ՃT:;C.^)qM^L,$#[K.MlѨy-! X6 $DCpUD-T h͸!c$8j[_~OLԵw[)%ͱ@ajpb? Gt ǸUESݚkVJbɀXƧ5AV;,+ |}Qc70X4ѹn>Q $!l;-f2L {dLoiÐRx -{=1߮oxS9`i('B38G6a *>sl)I+ F[0V(8dkd‰DeH0_xnڳ E^͑U#K}k^ta!|ڜT1:n!_j#ƆASCNPM<%2UǃgJ+а4y4S4U-4(C{^ٹdBtsMp6.Gw~B`4`Uo\koa"'.Ѯ1Eo0wkfPI^yDŽ-{l6FchqY_z,A{,q+l!矽ƜfAO|j(> J@DfvqEL; "jl)ht Ka1]5G4Ag]jÓ Hb{\ˁ:+=o)q&?ݯ!?fuϩR[2:m}(J LTgt;aOVFF '`3] [ %uԓFi=Wj!f焩沴:8-:,wűQ=hmOhm`%JIJ?o5N>ܫ{} %ĭK t!d(n}?(`9ʰf*ٍo2$TvIV*3m *^&$Twۗkiq@*H:hͺ?*0>tO0ب2 ,yt Qr<09VYOeEO2os(2ֱ7EQL_-iD/aЄQXK3QJnb3ΜIQ;&*fl0br44AܾΡșxqf剚Nϖшh0}e=ހ.UF9AE dvX; S~0Zߌf9Cpٕ0(cnې6\GU/i~g/n.}GcgYZ v 19vq/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_id572n/U' TOld_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/messages7zXZִF! a]·Iq n[:|&[z}:k:0I_R&t* ;zSjcQű$Td{B&=ziૌU$<2 )\,ֽQTYC"nSas\Cn#!n'k(;fKh2f=윳 t+[{\Ĵ?˃Ld¥Tv`S_+`H8&t|2oVpybA%\`=fX^QtD`L>\ /K'dɥij>2fZc%'Df+%uO"sm*VmtC,Orq獐JlGi|Pɶ`a]/ AAMI{wxs okuXcdf[AuNis+RyP +ݫUYy Q#Z[u"j:Z94j= j~o$М 0@ ٷX{RV[]svLE:9K̼vlX[e^%ǾYDɼw)g:0fԴxܿ8 nD3.PD#R(eŭH? L|\OX u[A}d̸_on}kD yW$In cMə>FyzRd:NHH$KM![UXĄj:X'˽al"7NΛ1!s:ʦ /zl.,+Ѧ3q9ͤChNLZ@ T& {F4CWڙH!4y((?&~@(.R4I4)XOݣ/J1 ]y#bXF2&'1/:/ d) ?|>龛]Iyz[P"_N?G?cvp-VO͉[XEPDKu^&l=Y?a!<'|Y>TgIT,Bӈ_M4"$fKbX>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"흷@:(,? iY'u5S =8dqÌ|Gu].Pfz >T~-KUIb!fdyj܋5o(?]/ Yne 6g4Ǒ^U 5Hfrl)VՠEH-A ٟz-Z^XF)} ]Cm15Jcѳ,f9u U~38̤8c u\ĪYy_Mo mjnR-rA]@rj2"=|&ʙݾ$4tO:_4a0Qp2d3Q",SNZS 9)]nJk[eY(ȑfy=qG0S`oI?_dc)SJD} k2v9L7Ū郋`M|4;aA Gcwq߽8su3ʶ[L}u)JS$5 *~v{z=͘+ܾ?dho^s/U!fOld_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/files$AFP/Show/Old_Datatype/Old_Show_Instances.thyO/U-Old_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/document_id570 /U' Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/messages7zXZִF! ,y]·Iq n[:|&[z}DÊ?=G_ I^TUߝ$C@,Tul{oNF-(;!Έ"|1/ ?m_Ca/XG]]¢ExJƻ؎ILw#Mڋ7Z^Opla᪶&z 9d9>fpqDmfZ|e}BK؃^[>H4E"\J٢mT+xn5~S[F!i:ɍ" 1cGfpsO}܊Y>Ucy( puӡȳ,U ҍ pPoʁ#Ф҉95Ogõ*/|gYZQ/ c ?dyM MzN8E-OJ He(J\_:N߁9?ohFRɜPIRiew޾#]FFHz\m[*`lWde7odkѰX WYݏMӵQ:Z][{*|^y#6UpH(֪V{,wMSb+mFlϝf4~MIkBRT_Tato`/)6󍨂U Xnat$~½HcS?54Po[}6ab:qӅɭ/;T{~,(̇?G&AaB:Ts :njWan^YCN"a$ئ φҮ]ś-Ga5 zʝI.1h-EME-C!\쓘!پ]60ׅNQg=e5K7&A2aZLLGnǴQ>rpqA2aA۔G.41S D[ɩ9)Ǔ).`hloj 20HJhe#;YEbAR-C Wqn-MZ+ ZXZVYiR솤@[eC_y Ud! #TJD;`'.j5um^O1YRoiw{(>x5%(g'iZ1R.wV\y85L lF? Qyqс@mGH Nɻp靀Y?IP6=O]%X31i/CJ6*q>ܐ7rp n fEVo[pN. O5}{O=ɖ%j=~0p!Ucs]?TmR^F2U򖨰 47S{V mg_# *|/PҎި,K@4tx&ӋBHj¦YDyl^ v)GfaD#Bu__Cd՚Y*=}8 caǚU|YEX JЁ,!Z%y-LQ •>0tduQ{.@U\{"h4 Ցp8k{,he!fөk%*1!Οh?0w+,Ϫx>兟 skڸ0(-nfɭ6a 6 pqfhC-!;ҿZ rm5" g7fa+0(h (1Gbo@h^$|^q ގkO)lMխKeX6)vljϚ3DoJq$Y`RQJo\U$|$ee^61IMCU=BX 56ȷpq*%#-'鉠5ze#-УuokF)G]`ڐh 8\zJ)UJ(Ok9dI'YߺTF*UnnLZ-U>E`DslnN5SF#bHvԃCԍj7jC217`B(Q} 9}۟!v}ϝ{]OX؍KZO6;67]" pP֊ԯOIk%2t#~4YT#S󆆟j8gFOX_1} U`P/YAڱڠ~+-j^1x9D\|dχy-%4/WrGb y9 O*^c.BS7?_q}=c_ Ԭm|ؠ|DLƒd^uUQQKRLh;Ra *ޜ-dY{&!~;@<?xGeH8xXH:ZpPvpLAPFLkv9i?\LOv w֒r#%݉Uz3TCN E7̠{j4Y_<%oWfh[ƨusM\vQ0M2 KhfIBI4-5~teB61 v.3݂\DM›bzlm-)0Nc`ʉuk^D"Fb-R'횆|5zNe(uSLiZ.LUbS6M1uW @DK6D:\bZhѝ̋I Pa1~=Hz˜;஬2@xZUvZ'j& T;2qg`0eJbՅ{uM㥸"94ye+!I@(yam|%e9/pi{"Y`Fwt“}47:? ,:EYvf†i\EA/5UEgsR$&j8S~oUWxğ$oX,!;*+FtPFbw.O&Ƶ;eic~oj:<<(4UI[nevl$!w #thw+wK ="bM ai# \p+vv>v)/.'1 NeXPZ<7>UiDiQ1l|I@ ЬTyD<)7^3fgnⷸޠ/yjoɃ(ZL5:yXDbȿ?}ufY]ER.6ޫPupsvġkR^Kk:dAПTbqVBev'l<5; ,,Ȫ Kusz͎X4ȡL,ǪMup!IoRgD/MxGJeP+kZEmL-usu913:2\Fr418%(.89˖D!_Q4P;w -* 0 vgYZ  /S' Old_Datatype_ShowOld_Datatype_Show.Old_Show_ExamplesPIDE/messages7zXZִF! g]·Iq n[:|&[z}e@R/a%:P~Ԟv Ģ `{@r3R'Po(=dwJ81rM|t=]9Z;Y 8n krd!+f|. 0,wn\޳%{71K^l npR E/6 [Os;{ |fJ[u@SQy Fd+ss{'töWH%.1cpx VgYZ+/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:{W@^?m<ăv ` Z|ή~u$xifp#[]bm$^Xo6 h6,*,[6PŊ&fRgE}QGO]cphߛ4 ?,|"S|Y֦L>*b P;0srI%}RSƱBOv4j1|Ohi@aO"ՆTSҨ44ў&yߕ_.Jh ފ+T : *04 ]l/'K3Vmzcޒo 5AA!;3{D٤Wj`YL ϞLW}kĜo{񍤒_f^lV dT P1H237‚X}Raz"Pً#Uvt4V>/ePvRi_f} 寿Ax̹|UX *Â+R2u1'rf-AȈ+*<'U|m8Ŋ$ALb< SGM&>- ,VBgYZ