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 S/r<$, ]S Old_Datatype_Show:threads=4elapsed=9.553cpu=11.424gc=0.2647zXZִF! z]ŗXiɟO}M:; AtJHŢ%/zX^bm>~}<ߗ(ix'J>ȾoT:@0r[ܥ30I6RYЎ'|pCvu浏@jpҙU ,C3W)ZBxjȮ`4)KKpTM՝2(P EV\@+>Uѩ_qougYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͼgvgBaH25.WB-8!evj+O|UYQ%-dR*ۀ)W<mp| "FZI_fLSgYZ7zXZִF! 7_]ŗXi%TW =i^8wJ ` +_Q%\Xa$~RK螊7@qX}MԤfq8\zQoZ I6*1]dhIe(Z'P:o %<&(xPm\8EF?kK X8S]<\7޹NRV g˃0 f ֆ"vK}11~.r^si^b@93R^PJt7jm߉Gyc#4^sl]OF2S93LӺ$/J5[Z:`W8H?eG Πb}zZ w{a*vFUBktzڏ#-AXl_' .h{bӭ]Ī0oٖ{zf,53V梳ZvR@ы&/+=!IҋI딓[\a 3{גC8HkH~~Ne^ NZ+B;6QNa4EWb_YR3d _$WH^Ց?l&҆ .TclT4_9-M8AueOq Gӆf_CG}d%2OT>S1>ר.@V?HjZѝб3? '"XP/sH G.%WZS4 {/'PҦ2y}͟ /WF/&v2tq5.^[Unm*X.dT&E#V~_@ar7|EW@ [ÝE l1OVJDkR'c۠Ү2XSNèvoG0[v' d}pCw[ ]_M|Sr=&Q&7/R;KrPlUaΥznWTXb)'G0"#Hue/,Le!=<C2ʬskBdqiW Zu: H8S`IZ*{/kv?x<*sg(M".Y5 2d(@jhP ;uca@{qμ-dl&yrWQ:ȶ~gD%qhOSTs0 Y ^v㓸ӬC͉1{SΜ=Kb&*樸`'u4H(;|eMJHH]ѹgǓ꬯>@/g n sgYZdd633276bad8d1dc49ee075a7ae0b9fd84a7d4a33cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9 a201c2cf2ddab7a22c2fa6cdec08a601d6c2bb2d 3bf141f96fed1703b55376cb0ea5c270ced2bb32 / Old_Datatype_ShowX/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_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 =RRt޻cbSm4y=oʬ&|(;ݾ$ q 3;^[6lh++OdH9܊&Oɲ.+~rNvfZ˒s06zPBHMABϨgբԥY=9 ML )u c|>*Ojz5 :I+R{.#x&LqCVR0;Ô jW=cfi<2W!\[T1\)hV2 #wm%{G6'vQ8PKvKv`,~is6ۏ뗘d9(]"\Wl}L~ o  a 3m'M2s=`Tx#Ĉ~&gOEp579"QȞ&漙+z<~+괘Ĕ-e~xh3=OsE0Zi4zt )OEa؉9},h&f o>IyEHW}[%!ޠ!v}\&nKm;) kR 8ׁ6/h?¶x/k`sAUQJEY!n,[#!Q9o&ymis:MJ`:I &zҿ:USḋ(tH-*euL$)ChJbxCs]{lk@6j#, b R;"2.SCg[R{&>;g%kz *ƀs͊'Sw89!6uNlgKf"B_o PMdSŗ7M:W{֥*4ܮNx 5|V羦@#5ՊMD qԼi#ֳZGɊ!4MLMt)e WR}^yI#S1Ő#Qb<e>ĖPwX'zz;}ݟ!vu*Yڪ(g7ţlܓ%[]WJ衢nLY>ˇ_]8wM顅 r$cNܘJ/bgҜCţؽՎcFyRÖL[ܬhv~:v&)ԨolT1<|~G#mh!OĖؙC+WRUO! ɹg֫\ tFQâe@(֒D($Tr!cwXn(Ǣ.I5+ǻ`ë^&v~aSB٥QGctPw(EC*pavd7P7lW&,E$+T*LN3f 5dt +#m\N c%̃+KDH۫$Cea`w q^ -yfC:(&٘qfGi ikHayʗ16ljڕɛ54 .QBf0Z ؙP)O?!mVa{1 IOڼ:OfP&d6fxL03vPM5CX"D$|E<%n{^:N&;!=dKH<41V'ᅢ&zɢzP4GYc.,0߼_A }) ;AP.LU<'U&gUiL[];g[: kj/rL'-L+q >;-MЏD'NmG<9sd6፸vhH/|ӡL d2~@ө F\3:R;{> -5FpFb^AkV:} 6lp\t FZuE0Wb;௰]Q.;=LiL/ٌVNyM~40wH ԅVF;modD,mh l(/M5xv4Q695ibLYpG{wx jL)޿dPё-O"h Ӊ2`3Vʱǹe;V$nS=LU_vxA=Ns=낒׵  YlchDv6}EKi(>67'܍Zd\V/gaag񭨽:kۊCb o:e\Q$"AD Oo1̦8WNľDK $jCa]Gj4e*Y6GlͯPyӰR,h,ε`ˀ .jĶt4%A̅\Nv9Q41 /m 7N-~89<UF'-\W9di+yL0*M*lnXn !'Y#ȸݜ#MδFoD˘BP)xI#S2FGR(%OYbYxt&=8U d6yafV"DnbUF * SNA/4Ri \ ĩ&N<ȼM܆r:1*r[ܱ"Ev_Юv¿Qr`m vIe!V70o!x>GHRiY5O3Fm zBc1#7Kw#&Cs>Qod7zn}iޚ  -Y7Is1_to:"װ5r6 ; <r4Y\R^峍δӎ*ng+~dfBӖ=xӓU.BzZ&ւƒ|nyeX[b\@BQi܏K`M6rn)!:*,?Hpz?O0Xڭ9qfHㅶmU2 "b0r(c)$I[_]#`(ƃ`stϨ%^![thψ?Lbm~7Rfn5rUq@8J!Vcb .JwF =i%rD- ډ 9+Ix^l C+$a,aw| r"\qZ aby H /<hCd?7ckq񮞥ðIҨ޼W"56N|:'MǗ \'{Z716aϣw'&`sy6t:!?" Ѯ KscXz% ȵDR@)zYa$KCEtLP{#:dTSI$Yԅ GQ`Ex4@,iɨ:z (Ij\wnNss^'<6fvlgkoQ7uXL_@hJ (}pAG. x%cΙ;<1.2Ә"CxLq%]c~v~ ]F:V { tU=%Y1uA |e{O7єtl5̳TgV-]-B!Y=ko.5.MQ'?0c33AvtW󴇺wLp?FNmB7(ˆr>t=B4tkƽNo EIA$Z/fދ#R}žpZ$N_;up7zhK T xI=ϵ$/@ g%U?wŽc7" @}vyL]{+W̛fSY'oyI qni4Yza6knfcwB12Lczu^inёUQV\@謈Шiӷ1:";hf@bޤpKQ% QȠuҜM §()F;8'I}QZ{ ̶ek>}& >BS%> ] =CiMorbfID>$`nX0f+[M\ }Dd۴7"u<>WÍ씖B)[4J 4VP5{Go͔>U0q;7͞."'Αn?a') ]qR˿zQ4`Ƀ]9?Ӷӎ?6F4Mh Ji+~՗( 8{zē;/XJrTH+n,XJ˂|,"^'(PWrye8MvCp5&jm6RCOcJf0tFvQس.nw#rN5"nщ%fxԜ`bZ{27?jt("l<7J|%%Z\ܴWgQ{{At˭m.;p+1J<)ZGW %2SU%z? >B~|pnWd쑶M5AdkffDKI9C1$ervAhZ iYQT+l} 5)hx՟;67*EO 'W8HiD`K^sS" z@S/(H({B[`5bfl޳:>7j0H6wK$kD"9&%R5aK0?9t6ܚo%ÓCE9R$y(,9Rݞ?ڧzcYo4KϚulZWGy&ck!QQ/Ia9g-|OR:2u$wd|MZ9V:Z.&f }~ f!ݓ#M2d [QLθ|Ah(&{LRA__"G3.zcP]m'rWTA/Ģ6aQ+~؂[s2zGZ=sf;#REb54yԻ_o";R.~T٥ x,&T̜,t,KZ?Mm+m  A/|:.8 &r2i av6'P4 7̻ Kb,nxC5ΧCg+MKLO@<]z\6eQ}f7K-z*}DMW%.u5 22S̀$ JXu. ^hy{IEPhX Oq 7EH >IzcO!,l5.X m};j椔icҴCuf6 6]4.J =} *1Hמ UrBT '!_}2\ɗ%]؜ڙy%1l%IL6&Hhqסp Gj܎\: }Z?_ǧUr@A}JSP=|WL+*0MKo}~yոѪäN s~- *mX ^xt>p}q\ȱ =d)yOjB^7tWx]Ɛ亚|l:Mn\{NM?VH.G46U=hJʼn\UNItuY"'c֢0MدH$n]űAD`_JZ([a!ljTEj:ȟ0`7×N 5 C#8k*Z/BY&tA!kƜkq+c>XJ6a..D|M4COKbQBPRQ~ 6lv%0g~PdH=PA9Y $d<|M O vǹz%n߮.ACiOi5tz" j~Fm0!-DŽW*C*v7zu6Afn&"mH!lOʆmS+~W&zIQ=kWmp$i|P X=jMA57r LoUTo$#SDEeΞJ}EBNyaudǂ|A|]_|^'Zf˂ ;J8$d$j>P^{^oO1}5gI!;}skm\$HbMD #p;|ڡEr]+'QdOR7ڛBѢL $mK[vKQ2Pe~+~sM8ШEμ3 δo6yK`AkK$׽u#輿)fN }$_/=gv|i^[;x+>GyZ: c 3!/nooC_q?:(n+ЪSs'eڋ]Bz ;eoؙ5rҍVZɡjCc_ۻ.mfdMWVTM漓l.r y}Wi4?.c+9&AEŪ<[0 ҂fe p.P0 ڛ o鑷z'IЯTчwMJN$^5jz`vcoR 1?Ao1F³g+goXȷf &x7AnBÀ1@19ن@EY \ 8(bZ"["F+9z5WzJk|'M4+,oͦ e&bZJ:)G1|L #OJ2K|~][ 7sur l"6k돯>kCjǍxfVj@.~7$z,kmvnq`u|+[F@Cc3Fƙ`,9 \ K@]R@= mG3 <2ӈǍǕlG9iƚCC8$! ap0p:[ _:pp}|U [ߢ6 O%bvCV ndNqbYBffi4YW$. /vߘvp𴑧Ȥj{qQL}L&D6 gX3+ctb6yHx \ip6tbY<":F.Y LPը|yG͉@s*jbn.1 JЊ$/7<[8b*R*'WV qDi+79ٝJPRWܮ~cszU_50=H^1C:Bv TN^\{QW - 9 s0kqy8T Wl{3663ܷ(v;m Ru.~r mXb5_H/@R:([H!J񗱐jGڶ=(|_A2 DuG! X!uSP@̟Z?J\]_]@ 08q^8Ƒ=VׇbB}ArU/VYx9#イjbN~I Jg13Jt՚dHXtPj]yk~P?~0H=y )Y(s|*ne'AFk^"=Jup5dRcY\:ZaNm]A, fe $JwMM5^;2WИqbL\@ЄK_*욙n^ %j~atCejE¶(3#EN,Mǀ6&HM!tvkiggSb4l"CmR!+G=/H$ٿrR"G'{@XcIb͒4o(Yݾ߿³_dZj2M}O(h1'q aC'@ƚD,Q;~yQARbri;(B>zﻰP-Y\ќϫμ_'}6Uo4H ٞ@U фJj&!9x<¨WփJiC8A&F^JI-+!"fMe:#5Eż~mTdg" ñgYZ E OZE /U% |Old_Datatype_ShowOld_Datatype_Show.Old_Show_GeneratorPIDE/markup17zXZִF! 1w]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_\ /+! /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\MՒ~!h@'^G(Yo= Z`'sLzP my@/|Xtg6IlK:!fgyXBOF}ڔ"Vk,!€SE]U/a]SA'$Q(!qK86D+GWCvgS</Xv:L$FZc6)d!G?N1e2%,}H^%I&G+f=6!CC=I|x装Nj[҅Pү64#iivAiVzXq4yUgn&9".Oqk-l-G`"a/&L;[&y|PU< eWzD8yJ,=MmD.>X% [F6!-ԁћqd|XOX]wg!3`%W=]jwR O[+(ɱ !lVB-"ПZtN+F׋v%eo_$-JWŻWL EeO~GW|#5fy[U=kqT<&eF<őm0SvZzFG)Ϻ^cidhWb::{KذtHz1 oQTXz \R0QM.rj@w> XDD6tr)ΥQNK%Y?W5u>fk|Oz8QedB|hPY; jw5Yn  ɢBgYZ /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 D'BGFb[,\/|ͨ|o9|hWmQ(12vAvE+ |G4CؑNZ1p ?OH} )>EQO2 jzr.xLɎ8 =ʢffaeȧ 70Jbo0M1Y-Ȣ3zaV1oa&ʤu¡ VqM%Z7ZrD5gH\,S6gͯ5)8wHۀlkzyIK] b*18ő|5 0yq贃p7.eTe"a37 JѸj#z=` TRcfakw/@,:6Q07OS^!710XЛ8ߞztlp_ % q"IQS~fY"MA݃#ΚW҂MM'HASVPaH$#?S)nC2>ֻaSER>g .y<ۡD5d7Y 6 S>P&Ra‰#Qx^A$9MX!Z_5]X 50ߋMݱ= ,x FMOv `_1M$*}XfY;DAUM 07a Te)n!w6"z6BLcG/m>wg`Ž>N-:âALb:6qnA\wҏ>5f E-;;WmTlMg!<  * uDGLvRں-}~9B$6!sf}hNcGRr -Xkn2¦. 0h*U{1[`qEq/%Dԥ6,!_qHs _welhcMϋ2SSu 2*i,)LA!Q"% vІ ~VE|WՎF 1\ΉǪgʞ.+5Ÿbl*MPJAw^hsdp/x~ $6_ 1ؙJj+ۀgLc,'"l]W%mx`,U;ªTiL Ht+L:@ٌ`Ąɥn.$R6l)v X|'cH[J@DQ3#gqjiߕoSΰ)J1>ki%w;.pߧFU3jQyl!J*/p68q~n |R]InvKNJNs:Cf?͋ ґ2]5k5ю^ U2ZKa45.H?fyYe7#`|b.uz_Ѐ ,)rEvE(V"@ˮ#ZfWbы;f/=l\WK î>n/á B|p:f`qE4E|P$TEL%xA)5j}bgy.Nj޻1W| 06 :}?4{:K+{x𞡨?f鲶T]qS@\԰-`9 Qe{"'kuyI_3PmRTVA(K:b 2-G*g8b>k{J4fw\I%׶w^)Hq_5>rs>a|n Rou#`XW:W+* Q\33MO|oS)v\9ؒjn2|7#2`XF36(0/ YӶ-T{MWԁpZX> ݋WϘ L<)[_Z.ib8iU9ϮJF4|;viX -NݼgܕIj`qRY wWk X2` [zgBYrIH9^&mLTD+HO}Il;!+d]wh=>@ygAoW]NځA)i ~8 ZRLQJA41V 6 {\uw5^U7n &E|xl2 s.9򩛮ןӾs^FQnFt<#5ҜU$tIu8(F2Q\"EL\M0hfkKN P;=f U&$ 1b -*e+Ÿu 9krx]Kh^Ι9nT؟M;pʿOE{PT(nX'5fOUFAn#Y*N?x>vCa,ͮb`|+v+ץEHu0:bКt79aXM\&>={؞}@ASEꎞgo@nLIx bAiqa!0gs)ikpyoy6]PYoVW:s٬\0Y/ꦡ/AV JLDn0`.& 24=50oܘ ">c h2RͶ`:(4<(Vw8u~LcXa*=^^}VO%˶tB=IpF>]FVdosp$j@R8tCSqn>v˟w N1L E x7B)~d0Wc%׆PdS2-d_ ~:I#-HQL I?#P,b4掅?,Ew2>"`clUb{ԯѴ<ۤ rYߺ'3ГOioҐ Lrq!AxƘ K:!.e_W;/nZEO*9MS7tW?s *CH+cH w7d$_7R;HNi13^Sw%)Q%^F Ӑ\=n_H ZfE:OdHnĖ4UDLKt0 ^h&T.rPn4gXk+^~&kAiod*b60˰&H?P6MCݚT [8VA#VN棶mf\[\4"<4}Vvd])yF`P}b0r@]9kj&[-C{ΨRD&=,@mg@Qk| ̄bْ!m=a_1QȦ̏nxl,-_1ՉO`|-YgwRLb80Iǭѐj9fl RJBi`쩝sorlO f7d)<V2⃃[7`_8Kj=𼋿>.V 5oTmЀd\S_/k9b-Ô`JtLRbElV p~ꖅ2.Ҿf뉨L,Ltz ;fW#g2y=֎oOm27Q'NPyu5,1#4=9Ӵ-ہq}Sya@oI|rfsC[1]Ӂc>r`5IJ+Ϳ Yd)whP7Æ?tp/ߧv1!VY/ز[}eIT0kܬ:{3X f*%^ֿV@h1zgђB5xy8;$G1G!X'7zI}C&Vf b C}B;Bl9S,V@I'``W8B}dJ'O[k<~? Zt,KF!PGoGR _U]g_k[.=ƔrBS Q |۞{,ϒS~R;hUZ3nT % 6J<6}Fn)y-  C"t@Q&uފtbe Ub X)_e~ۮC`L~ēޔØa19]|do'~>MV2E=LgB L"X8:Xz3#08FI@Tp洹UL~ gI2_ :P;}# ձ/mnVU9<ELSo{V!ycCᴂnAbaP&BL:=/8xP B~JcϦe~ʛR|؂@Sw*4=HҷȨ=m5va[c*Xj:O61m9X)MՒث!Ц7]<2S%k"$ysuA|ȑd~wNa Rjxv"K=] W Ꟈs9mU/*$\ ,S.Xhz`SL|&i/R3):.*ޠ*X $oح]bvtLâ?IyTb]0Ey\FB*:.OfT6^6$9t0ᢥpCr1Ku #ɶ%|Z#F+AeRnK0)>LIAqgʺY?,|ص56VB"|F )5׬~̢Ď$ ّkG<(\뗸´~A”PeDͦRQn,c+HJעY rWm+VAjX,oRt>5П|k,-wOY^E}ا,4.GKaSͦ98b]`(۬X/!J_b5`gW [.Y2 ,(88"Plأ2S7%F_*Mlw9dd20^FynӨCtSWĖN+a d,ž'J"u@>\ x,͕G# .k4Jwccnjc =I>u+b\]Qz ]w2=^iH0bvNW˝16hf'BT Azyh9giHݎhEdͶ9jҰ(+ p`'Ak3L_`GL`C)4^+oŠ4t^iPcl ;/O2}ID0 KI٢;i*mt3='jg@H7 eIwuJֵ[ń H M&m!\vV|` jzibmբjJxo|a.Dj#W\VۦU,bBN"{0dYÅ!v{Z2ƈ5!DZFG4dntXP4sc rOj^X-Il 41lH8ոy*l{r84_?ao˽M[pFܵJ9'\,R)UÄk l71"`Đ 'UA.9߭tYh2j^*~$h[:' ΍n w&0C> G)2g[/iThR8#gO4+UXA,o z(IW#WXH:A\0n.q z-H|QZ%ؽi<=LVSnf0V_D6kY;qs]I["yJ{[Φo7ubGwZ* Wk- pJA@C!]/(05M^ ᳦&|V{6Kb 4wP(v];wi]+'H#JgbqIι gY[mwIMsQJe7[Pl.faCw.V&6|eĹW8[9_T)[CH=#,'_hmm$c?}2Ĺ;C6}pja\^=i֜=Ȧj xr ;h:>A_'%.hY}Kmu ']]ל|i3L4 6eyC$,VzߦEEG 6Jgf[0I`B~j?>LlaU훹uhYWrghJ(j2s %W,]  {} ^[`]IE Vpvt:oa2RHaUvjrӝO&߻t玢Xw@lp8a8M*[<#D%Tiz&-N Z4KD=alyщkCW}`mF E2l( "47j^*p{;g4S6`V)lԂՓ[c#F@9w=nj6uR 7[h$Lr(=GJ1;bJne5m u~r2dMW\ʢYr-B@/rN=sxҰ&'z AP/*y7%_[bH2 zRP'wf+rʯٮaBjX>T= ӎ&8B=YHe`CMy2^Ӓ]IX|WFv-O(\}%9mw/PT {(s[+A5Ha:+6[en,S.y%NVjF`ww^.2$7r:b4缲s39{@?xa 3mpsL>rQ-k@&f?tΉUlbp_\w$ԟh8*✫j?Lɱa^PgM:̏V?ʼgY qa)6Y_~@_l{o5Ȃ2Oʀ'IbsI-:B5#C:umi"I0;R;pxf-V yRW`(: mѐK/$To3 Ya\ (5)Rζٶ铘LڨZe^1f_VXf--)ZsK $2F N'.#hػA{;¾9Ⱦ;m33b[_G0N_'@a8j p0]+Yu#LM3 Y Q@ ,|~$եV$iTPXa$mJj87.Z_cz"hId'!D{c:C̚L?3jnO}k\kixSU$R_0 5U_Fg4-ds&J Ja+@<6DbH4Tq)0Ÿ5g؄E,,UɾK{nc/-ȹm$p4E[uΉg|q{Annyv!L [#JAh K Uv3_B)9ryIRIm!k $S[|iuU S!K/B#Zg7뱑+1i{=g--[ꬷjK$93Hs,Ԇ愣ܗI0)U̵}߅H+a޴&`=j,$ʞBF4hb3bC,?mK?%Y)YFh2|-*cjfvv~Ȗ/qH\pqނ^ o2#"GUcK] :R Ar1kqQ; .K gX.e Qch~^^>ڼ*t4ui[o"DzOr.CUTR!-|=~n0vZ(xiGLӑƅq|[+i9vLZ:gdaQon/O?yε]=0ՍҲǞߏ? ؛ t6< sI_`X9ˈnUf tƃPsĭbG<6rqnh86VWY9N|Fzϻd⹮*jG45ݻ÷9\R e[.Gk `'N 05B=<,&sI'2z;c`<2 |Kĕ#-q,=Ak2aٜ_C㛟xWZamxU4=a+ wSJE/V~ v g1Ms'~8Kq] d\sl2-0k{ݳ\#os_Ԟ Цm Vg"A/PEa]"} ؚ&}9.=`ڗlGnH/IdOaOb#(珞 rЌI]0:Gц?"oӃxa aySfov-uHu5]9ۊ*n5$Zޡ>v!v'δ;cHzpd5*̀r<SbYT[_0Ԏ};VupVK6m$h{DfQ`&bR|rGy$VQ+|>e>8RN%J.x0?bM//&ZX'{`A*ZO ^ߘ"lQՕN5zwqc\߽`zp'Ÿr9RP[Gb{^?1||/?&gk"MoƊ'4h}Y;cf΋Lֿ 1vѕ( C0'p}V-YwuݭΚ191vuєP[CʠRn dЮŠGDҙ__3ius$j ̴ f3 7D%R1oOxeBYV)O7n@w LdTL#Ѭsrzrr=dۛ}P^ơ@}W}NJ$d/*U8P}O> P z6ԶIת/86RS!Jd.Ni1&XŽoIX1ƦNwD)/kP祢5D飼0!x8in-!>u7*7S/ZGcgYZ  /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]=HsuaqՔ  ׄq lwrERݞ; ^P: yL`wte~LI[}C &*ӢeFvo8B Zzx/_ͳC兤0=-H%(7ոi>뽑Rɓ\ԅ&?V;f"`ոw]~|RbyZBNΓ (|tYA)&dkS.X9#(դ)z27=$`+&yCG_oɤ(pӭ5ۓL΋6^"ێS_ ݽ"m~0?Ì3xE' ]\ȘD9qR^.i~iV#1GC(_LJ>rEge` AIFBoj2Iy,&uh6`i]XXm?IUVDApf_=I0'JPaJPb 3AO,4%ʕVm!@wYuw<o^?ۂ6^$V! ;|o?+e?cl1܎0>ܦx8Cgc5-b>d7_vaɐ%= .ѽ qk8=|wӯVyG ЏuX/'9d_~(:$ DJM̖ZޮcBw/WoHc+̏z8[v8";RC(-Q]/g/HH7!DB{ޝ`_"zbj4H蚑3;cp_۬dzC`C>ZӎDBѮf4u*tX7YTXWWd* Ey”vj \T!,.$uǻ[*##7PT $?.v<[C;֚tn-6'/EB]gzap2\@JR#"4mM4 0-si94ð',;OTzE 4%zJ>K'8/:Zʵl8͵k؉yLQr\p4_9#8޿UZkHm=gt@d0 gb{L$hji&k Z!F+" #IEF׬ԮʚHZF`es8s nq]aڟD*sЍ ܾ!i/"xy/fu\NY u -~t d }kE Y߆= RNYj$5tp|E_^x!\yqIeg E}rD soQh4If urd&Z_dMJ<x̫#+yxЇMOd&僔7SFC>Eԃ:@4| &_{2\'&BF@:(s朢RIi|$ tԂw .RBrvjzh,%SH岎2$[׀}YnL:#mON6ܴX18LSP¢͡ :W_&75`VTw"}x pTp:Fi=&w@"ܛHPCǼ0#iNr6 %Bb7O>)Opцt>? %aD\"?fdUL:s1'\ 8 wGA7`ʜc]ϸG-kJRKf1W≎;jXSzߩ]Q8ZծHag<1˵ĚTN&d0-tE#ԬS՞qW0 3C(ƴ=*K[}Y8Zu8XPgBJPvVNB8ϞL@g@_<ߘe&v KVOqP`?IY$FrU_doq,kb,,aܛ =DsrHWаe>h==!2h>Nn;0d]  kt?ֱbL| F9Qnqj/.Ƚk_u'P: mudM" H*\edz>'sOLYcP[2|/aO*Qv**y]*jwzB*d)rg:^ӱjkɮ1OTxb٫|kdط2^V}VpDokguDxC\W 6Rl2.c? i,Q[Y揿2˼b-~l@>r%H7d'꜀FS""<ަf ]]NҾgYZ r 15rq/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}:,j/qbM' X~zZ@vNtAIQ>~\=xE9J;3GS]yhX~ T+L\z(nKNFRpRU~Ԣ%ʁ_%F \>h%Ex־@!5A[?@2ֆp0ۇ£Ej'2S`E6>%Vpε#GUC_\tcq,1ǥnZ٨0}bY: RDQ+M%vzC|Dq"OvBG$ڎ mon;?!w19s6j+7WB&wԾJ>L>NCGl3J e.{d 9U*m/i*؝͙/JjTw/+dys $ Co{[fk{cUm=d3NĴCn0$3k/ KܘcWG7"QabOep+Jx,_KP\\#d6662,.qȝY,NDWQǚmw*O7!g""?Ǧk8g!(?p\|n~`/+R.ȟJLɩ_ϞrvAsJV-Iő4nD|i;܂0)CЦȈ)9(+_䨁.{[9N[ k`3_T+dըr3)A1vSOd.b@}xJi{2r[OaO&zG+.~!`ʊ843.6 \1j:˲OC9Ȍ7"jzk@?1aH '#O,Ӿ_*>U1xt gYZ/U# |Old_Datatype_ShowOld_Datatype_Show.Old_Show_InstancesPIDE/markup7zXZִF! U] }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$čW>I]Y9wAI G˧,ͪ;٣G鲝b4:҃l Ef2Z8>Ѐ-ulz|b>Z{35(hi*p1"흷@:(,?]T!M&/At3tA9_:c7H]lkp7-<͋l',yd.N)j-||L&-IqTwP4]ŝrW3aB7)rؕ-)Y'5`1N}u7x~}'.^EʧE},xj<[^m$oƬ͟7!.x ho6Ch` .8u3atl1nMeשгg?=_1 'xpYo۰ZpY˓˓_Mb/BCā1 /eJ)qH*Ṫ ?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! ,z]·Iq n[:|&[z}:Bb~[4jM~(i?]=|W`^0W˹+WSx()񷈺 T$>J~_ϞMҔݺjgɻE"pi~s Q;_bFVXgGwTM(Õ1G :(ڏjCA&NʚR7E[n8t1^ jĄa!vf1/CRnF^:Pݽe߲7%2Zb5X?Pv{+‡0 /K|ocЂM4Z m!n|Aźp+҂ ΡI<H0zLh>gB Eo9Hq UgYZEځ2N4dDž;>oE\ U:/Ā~?#9[a1Ю,'Z`oqZ%{Y)B5ʿ>]ú*{93r"*S.)z' TAl ɢlPA9WSdPq,U2[-<3Wue=>z#jV6h}4z|C y'n!Cvo;E0/NƇi1Xc&R.L9`&@Ifx%iܔ|]ѼiQ1~'Ccմ92˦H5Ey@[4eM` fy'oX۝flhn QÕ@]gk~]D -yʸ@ C.@< [ .\fIIǓzofmo.p#•҂P_8>vzDԛilȦxhH=7b5^%?A0x^X/\*7tQzxBؑẃ̈ETE0Z\o,̾i]fe BRoSq\jdlJ/ϑws`I LˇsnHD¤EkKNz=fۓ";nb2ϻAb$)0KG@|c$IE^Cд/*տQ}_:(˾A6߻sH-KI71ZIw>>+{7fM|:n#o|o.sPLrǾ^j䚺\p..L%T%n~]TD DA_&l4(5ftqA<꾯X#YKE. 7N n4b)=^Rg}֘eEhɀy:E\&p PZfơBf dFH-Gʖ{GD60#Q1K89("MؐL,ruvɂCN۶wY{ͷ{vˮQlMPӑ)Ir ;ܸ${vo@'d܇B {1 )TRYy2@"ڃzw&K+铗>S[@DG xhIPw=zWt)ɡG=K\{oa]G(|>6;v-F7XtgtX쮊 <} r<^hWH8]x(\ ~e C0=٬rCr.j2B}&.Fq|);|#'jH [bX+BtD. bJЇфw'w{6Pv,450szf)CDgU@M-6Q/js1>4ORpHw LR2@;˚_=ULY- ݘV]DSI9g-opXڧ^]dI"Y!T3TO+.]FIg/F-Ib.Jԙwwʃ`Ar3] MTJ70AG{(y>&8_+$]v4ق/Ֆ5To2`j jknn4],0r4(ת 5G;t?U!Է<CdN$ۻțO+$FQ7T!\a͍,XޛEmQq-cLy/?%E}!@5rҸ ^ZRM4%yLF sBm CXR-nڃ-fBO,ey}Y;P GS HMpH5zw4jJ(XCzn?OI7!2c)z~>=?A-gLFjed`UIvE?Čؽv\_C}UD^Rɗ@!4ȣpOOkwXQSBTe@=(km˭ikDŽI.fY+sGk }$  ϊRދ hQ,mxXg<ߡ> ADg}Y{/FzV\rA䏂$qK]謴F3$=O(?֣V-U(.EͰ*d z7xbZ9J@9y^kŲ՟52ǽe h+Iυ߶",c\A=bZD+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?E Y+=B"ysg'a@ өN1LxkQu7R;H\*d a6.%hK[QI@l"FӠA(]D%0iʪ9`:OQn-5X#cS\tC2A*@F}aJ(L,* ;' QZ ̣}"q(#/yF}e i*0"܉'FUw82=P|=A@)I\n]"qA .({Հ&_w1f K9jR>?Hß& I!΅R:!IzQs%"C ,X)gYZ