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   z#p4T ]/ Hello_World:threads=4elapsed=8.374cpu=1.980gc=0.0007zXZִF! ]ŗXiɟ{҉#q=-3F#s3dt !wʨұP0 AMZጇG3.&~WbbTcDjKn趷H6 w%s?5<yJ[QY4-;<΁i;=gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM]qj,R%PVOj1 xz*ew .G5Q/AI!D'K31w297?=:Y tkߨȭAoΛ]jbnGh`Zx>_ t23CZ+;gYZ7zXZִF! 0]ŗXi%TY!;XX6MTqNl;릺ʥèĶ܎3w=<8 ymy{gG7wMqLH^10iD?@3To‰Qwn=c*4zpT$* Z֒^H^Ob (3Q@j)G"ok ƅQ݂LIH##= Â;dsP _پqbY,iSl0n4xsOڒg02_YN%r˙?\4GxVUݭکGkkkPmS5L68mשe@7xAI^SK[ȋq&) ȕCGPP1:3θ6a#{E!8Ug{6- (X;f{RxJׯ/ 4$>kG"Eue#}mZ9$bbE+qPf&c+9-,c;G%->%q[)h $)M"?6c2)1qSjBD[xt/b> ټ%Uw3c)8OLG!-gq!TIAs C,րX# D_`x,?oS {Q0}fuݝR>݈?՗2'V[~02 uo̍W=- ӾNJtn_[lԱ1sTb:i$JxҊ/_Jh< 7sq@@{#P ʘ&۳HzӪufEHW[lvLߕTGO4)LYczǧP+{N0_'2S=;pp⠻5q6`,eR䊡-TSJ"JC.#uae"gYZf41717e79458443696198bf1752c11afa859fd5ba8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b # Hello_World #9; Hello_WorldHello_World.HelloWorlddocument/HelloWorld.tex7zXZִF! ]]A-MՋhvG"uIBm5Eo%k[w'n@zd>Mo3+qg~"s&aljRO"=5IH*@n̯~\U4 ];膒B˝HHѬY2Y_n> t$I -Wd\1@]Qb-"Cjw]#E ū4$v2҇D,'CYG\g`qQNUa{9Z Vuwy7w Ёd|uICv$^z e ;+]!m9JBlw3<~LLx6kƙ~1RW.""#jߔT!]@2sYDnlR5ΔĔsZ;xI7fWgεB V s$OM`׭"w%P$0_c .u7R,>!ej:wwQ,s~mɏʑI56*]$V5M'8&dۇP0 ?ͽUw6WpuQpK0CSp{4 "4ZRjJj5nV;7%2ᇀAKf^8*͋Q)nn*16oSZw1ӟ6kS(9TȊתCg;_Z+CS_ rŮ,YIYGYIR4AE\ @@65w,uq;hI``qcfK6%Q>Wl\>@4YlsL`;aA Ф_ Jh@m7wu+ Gɻ/]پ,;ʳȣs_&U ImpCEFlUbVĺ\uipBMۧVJBZ :NksXNwWSRXCZeQ3[$eBO%W:{`VMZpíTZ RjVf-تMW# ք$KMF YWM .3=RU(mi]t[>_$ $͇XV5Q/ydnzM9٥9fi+9˟%Xse;ubЄ ̿='297!|9ShoNNjy VbPZ[֋OQW!?%^,?;3`ѷeZ|^q<P^hp0Ȱ<qZn= ~)>J6Sl1 3<2eEx>YSz٫]GH 6KgYZ #GI Hello_WorldHOL-Library.Adhoc_Overloadingdocument/Adhoc_Overloading.tex7zXZִF! ]A-MՋhvG"uIBm5zyU}Eg~.2aKYo0bsci2v$~7{_V ipnj[i #|sK|Q3tu3՗A )5o6s/2 F530t#U/b7q8/.j֫%y[^|mk~wҟ.@_ч1OWATtq5o?"cېj[&]A-MՋhvG"uIBm51#pzom?bK:y &.u{4yol^Fl7l .^CNHn_ sgvܓ[p'Ug3a_1M_gR̶|=ӁWBijE\Hq6P2q "Ԍ?u; a͔JB"B+(CG Z<,74yl3l$`Y/2׭|q:;/e8 h5DT%(;2EOlW_L֮Ce?qk8N[Zl|e \KMm ,?D5c8D}ˀ_iOcvc/jdAvD9Km~NsPMCLfO&530R$-[d2*;SfbP*XNߦw@ YĎ%~$9 hiɮ+[d#N{7|~ޯo+.r\ bM@m[]ƹ'u[r?p[GfUdRTp!8[D,@R gEllZ~PN{{e[Id^dmNsLsȶ忎ל>]K+x?l)VEqv hzŢP,Йkxw#:סwʌ0,ƵE`4~N8lg箮J?=6j}b{2lP/CQa4*]{8|e t2Ȃ;h|3 !1EX$; bQwZ^ZG.a^Gl o4U?Ε} ,b Jr[|~X=MU߽vTzu@amR6$x) inuO܌CL̬ 飨Ғ!WMD' RHh @k3ً    x ] !q x  J2 W ^3 ] 4#=#Hello_WorldHOL-Library.Monad_SyntaxPIDE/markup3#=!Hello_WorldHOL-Library.Monad_SyntaxPIDE/files9#=-Hello_WorldHOL-Library.Monad_SyntaxPIDE/document_idA#S'Hello_WorldHello_World.RunningCodeFromIsabellePIDE/messages?#S#Hello_WorldHello_World.RunningCodeFromIsabellePIDE/markup>#S!Hello_WorldHello_World.RunningCodeFromIsabellePIDE/filesD#S-Hello_WorldHello_World.RunningCodeFromIsabellePIDE/document_id;#G'Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/messages9#G#Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/markup:#G%Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/markup18#G!Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/files>#G-Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/document_id4#9'Hello_WorldHello_World.HelloWorldPIDE/messages2#9#Hello_WorldHello_World.HelloWorldPIDE/markup1#9!Hello_WorldHello_World.HelloWorldPIDE/files7#9-Hello_WorldHello_World.HelloWorldPIDE/document_id:#E'Hello_WorldHello_World.HelloWorld_ProofPIDE/messages 8#E#Hello_WorldHello_World.HelloWorld_ProofPIDE/markup 7#E!Hello_WorldHello_World.HelloWorld_ProofPIDE/files =#E-Hello_WorldHello_World.HelloWorld_ProofPIDE/document_id ,#)'Hello_WorldHello_World.IOPIDE/messages *#)#Hello_WorldHello_World.IOPIDE/markup)#)!Hello_WorldHello_World.IOPIDE/files/#)-Hello_WorldHello_World.IOPIDE/document_idJ#EGHello_WorldHello_World.HelloWorld_Proofdocument/HelloWorld_Proof.tex.#)+Hello_WorldHello_World.IOdocument/IO.tex>#9;Hello_WorldHello_World.HelloWorlddocument/HelloWorld.texL#GIHello_WorldHOL-Library.Adhoc_Overloadingdocument/Adhoc_Overloading.texA#=? Hello_WorldHOL-Library.Monad_Syntaxdocument/Monad_Syntax.tex / / #]4 Hello_Worldoutlineab3cd1e160fe11902a8041acd678795c874c2d377zXZִF! UR]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟ڛߟ$Kٓ VG\%y6® [hi̢X 7M8_{_$8xCҺH,WKr)lBc@V?G),'L_)R7TЂ=ݐ "s $k !.#y:$S D[y,ˑE_*5׆١~Wi! qP/-cYk}(DtZ:~ Z cJlf\SYT;nxGHpt pq=h>9*e?aFy?D3iX0QNw+!Ʃ!A-wSA([`mEX0 "SK8&'-VZ+jk iƌ|/h#+mYoVz<ᄜ ܜk{(DC̖284?7eƮ9U>߲a{Pph4%seMa€*PW$smG;/[ܰg~%X:'P|h4`mK̆P=9}I^JM H XnB)s pؙ'wgWG`r1ߚ@+鲣l|ZErPb5FO3f!x̜%3]`=l 'ZKj2bwLwzo7{w$4|̒ 'S̺؋ŗt =["7l;H47. 4+{МÇ'╧ԅd *@ 5V!5$A8Nqci0mw<+ѻ!-l3 ȶz<<$4͋eR,R^\KGe _ݶ̠sUgP~1u;527Үu~a;ٽ>Vʐr'#B{oyU  λS:z1.>nt@隂́_zWjS47ݘx,qgUmC]4c3 ,չiSgvClztm>Wye%ñgYZ%PDF-1.5 % 76 0 obj <> stream xXKo6W=i!9H&M@uZJ I4Z&N&Ap%qo^IfOb*cp&ί3_(ϥ$YQPqZ#<P:o߭1Fm`(x5/ڮVGU_ݺl‡fqu^";BJ #]$Hello_Worlddocument2bf45c56b2b3e927cba496c81be263bf11467c537zXZִF! Y,]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟ڛߟ$Kٓ VG\%y6® ^eܣaw$_-TW~0~,HqWsϧ#5-0W-'_Jp0C~_IU<吮=??b*0JIYnc]£ ;VzF7J?ʯ T = ,.DSC}2EfXΖ#K1}#>,kMͦ;6Ko 6v2QP+~Æ #/uն j[άwӋp7\rj O~&P^]~1Ew~7,~A=iyUhfTMJʟY1;w6u[o9 9ڸ Fy ~;Ɛ1YwjS%n ļ7-קFCRx^$5֭&`4%Xs\FcH*, y4eO$- F Ŷ sK`?a+K6H&*L*c03&\ M$2H@XNF}L99WʀsGKEp`3JX2 ^r;Rz^P{ʶ)p.t u?ZfߤrH(^pK1tK9Maq+ĸp8=}^e;7>ȓ#7037 F>?īccbƹo-)x6~r+i~C~Jf(cD-9୘Ƥ䒅"zcu M) f3j*dFCJOY׆i~_8:F׊MABSC|H_BzdmGkEˆcV4z>A݌PP$?| M2"*\%DRZV0x*hwDMJ\@&3٦a6 . #Hello_Worldoutline# Hello_WorlddocumentrG6#J%bFBcۃB껈ڸ2aJ!90-d=% Kv1_gn$ek֌R/ hKz q8ͬRF |^x;O $l̂>=1rnPl+d[>chehZOcpF%<ů{;dX7##XN!L_a pjACjI1ÐH̀NF s3U,zȳ$'97=MRFi%ͳCTm/6Kj`J<]b6V`5G. sJ_'SXdU{F`e0¦VAa#d~ #_ _Xxf3җc|)RyPTe S$˗.dqT.U}oɟ䂹d]zX{[*Wcw,[-w32gXT?1mvΛ Uw^#yy(QQGyץڧ 1Rd.A4( e>(׎@?jlШ/)S` dSlm̲I \[f8upUNg`]|eu>9fXXE[ P'[_TAers $ڇCsS(\;ANaG)f9[zrs;qH*ic&_i olIAҒobOf5L1bj׌[*Z "2qktnK ]4bt5?8Z|A=)JX"#qaa+y>br o&+`dwɸIUH3fVe2C0J'Jl8C7Mp__­jB8Ls}~[R{4N;i'٤fG [7KZgتVD$T>/" BjRzrS BǣAP</CN )1yXp)@+!2#C kG!h*Y gQ-'G3`K.FA{;WiT#eLxb@gUHe0&MnaEp#¶):X*MQ@͆fC9v&hCsgkˇ`ٟ*\CmFod^eiAH/ģa8{w:<ۊ9/a[E)Ves؇+t\B+?8 z{?29d I˄zENI'.{w)d-!VQ|PןU U;7QElCM1[fTiX!e\D]T,5>~d TrΪPޖw-em#n9-o1o"7q{ \^rV7Y|,@ -i魀oÝodW8HXF;qj'+`I|ښqA<=jLkȺskkl1\Ik_"z)\r0PanI"]:`*1V%-4jLœ.&"A CR9#w–7'RvOڴL0ⱋ"ZRЋ#9 ;şZ sp{5iIOg} 9yʭKc#߻gF}A0JcѳP=c^ZɏBDJ >)stYܧJyr""!fcfIԞΕ1?u9%^?+87lM\ n¡qbΣ~g0f %edXGMo3+qg~"s&aljRO"=5IH*@n̯~\U4 ];膒B˝HHѬY2Y_n> t$I -Wd\1@]Qb-"Cjw]#E ū4$v2҇D,'CYG\g`qQNUa{9Z Vuwy7w Ёd|uICv$^z e ;+]!m9JBlw3<~LLx6kƙ~1RW.""#jߔT!]@2sYDnlR5ΔĔsZ;xI7fWgεB V s$OM`׭"w%P$0_c .u7R,>!ej:wwQ,s~mɏʑI56*]$V5M'8&dۇP0 ?ͽUw6WpuQpK0CSp{4 "4ZRjJj5nV;7%2ᇀAKf^8*͋Q)nn*16oSZw1ӟ6kS(9TȊתCg;_Z+CS_ rŮ,YIYGYIR4AE\ @@65w,uq;hI``qcfK6%Q>Wl\>@4YlsL`;aA Ф_ Jh@m7wu+ Gɻ/]پ,;ʳȣs_&U ImpCEFlUbVĺ\uipBMۧVJBZ :NksXNwWSRXCZeQ3[$eBO%W:{`VMZpíTZ RjVf-تMW# ք$KMF YWM .3=RU(mi]t[>_$ $͇XV5Q/ydnzM9٥9fi+9˟%Xse;ubЄ ̿='297!|9ShoNNjy VbPZ[֋OQW!?%^,?;3`ѷeZ|^q<P^hp0Ȱ<qZn= ~)>J6Sl1 3<2eEx>YSz٫]GH 6KgYZ #GI Hello_WorldHOL-Library.Adhoc_Overloadingdocument/Adhoc_Overloading.tex7zXZִF! ]A-MՋhvG"uIBm5zyU}Eg~.2aKYo0bsci2v$~7{_V ipnj[i #|sK|Q3tu3՗A )5o6s/2 F530t#U/b7q8/.j֫%y[^|mk~wҟ.@_ч1OWATtq5o?"cېj[&]A-MՋhvG"uIBm51#pzom?bK:y &.u{4yol^Fl7l .^CNHn_ sgvܓ[p'Ug3a_1M_gR̶|=ӁWBijE\Hq6P2q "Ԍ?u; a͔JB"B+(CG Z<,74yl3l$`Y/2׭|q:;/e8 h5DT%(;2EOlW_L֮Ce?qk8N[Zl|e \KMm ,?D5c8D}ˀ_iOcvc/jdAvD9Km~NsPMCLfO&530R$-[d2*;SfbP*XNߦw@ YĎ%~$9 hiɮ+[d#N{7|~ޯo+.r\ bM@m[]ƹ'u[r?p[GfUdRTp!8[D,@R gEllZ~PN{{e[Id^dmNsLsȶ忎ל>]K+x?l)VEqv hzŢP,Йkxw#:סwʌ0,ƵE`4~N8lg箮J?=6j}b{2lP/CQa4*]{8|e t2Ȃ;h|3 !1EX$; bQwZ^ZG.a^Gl o4U?Ε} ,b Jr[|~X=MU߽vTzu@amR6$x) inuO܌CL̬ 飨Ғ!WMD' RHh @k3ً.޺LƵ%o*O }8 xgYZ  f1A#)!:Hello_WorldHello_World.IOPIDE/files$AFP/Hello_World/IO.thy3#)-Hello_WorldHello_World.IOPIDE/document_id2344#EG \Hello_WorldHello_World.HelloWorld_Proofdocument/HelloWorld_Proof.tex7zXZִF! 0(]A-MՋhvG"uIBm5Eo%k̦rN`o֧{*@˛M68VӲHz It~8\hʟQcyTNa 뭗"0m&%eH5_ivq 0)+@]~2OF+D:L0Ln];$OO ԯ.A09ZI)SO!\}7cn:)BVԳE]Y%% : EG660+ʈUl ӆ0+ө.>eGL wEC[Y/)b\nqBZ%!]DI]gr#QT"dݬ`0k`jv"HQQ~}2cW|aFpwe5^Oq kfh665Y|SX4}Q1Iu QB,RHuun,1CŒ.&ٷfMe;W!ݢ?/B8;/tzB.DIEʜxȬ:`s0f^e{&hg~~zC2ZǯPz0Fb&ӈry(7>I kh+F^gBGpnl`潯Q.K|s ?<ܴOd51& ^HV]Hb?U,`z X04.1F\o}(1t\M)juSJXS(_5IHt;E6,R5}H<"rKz=Yl)v|J =~N Ijݕ6܂0|Kyspas.${q\>TȊ 9RNo7ad_'LZ~ rb=y[X' Krt V̠ՑBb61*LgH4v1n1F^dI#zLT!.cP" ?wk=rU1XQ48_w+]7x;lO\F8璳 T3j'+s UQa"@ʦH҆U!p{ XͿh =!N~*b6s#r~G\L~-=J(Rt*.v DŠ>2Q0LN'1XI-N'w)+'}j(~2 %oUj0QH &Dq.3'c#V)& S<ƻ'6#,.V^[:ј=ώY`xO wĨ.*U P1o]v+Q|^T'ս +]c - -a0QwgYZX#)+ \Hello_WorldHello_World.IOdocument/IO.tex7zXZִF! e]A-MՋhvG"uIBm5m=D ψ}@XNl p'vf+kh퉒)$Sv&D,M1)af#XE8X݅S{t?=ԞY'dURa=2wZ,:fpg. S,ĊY;|jAY)eZ2:`|.Yhu^aYs.^q?Sy>d/YrlI(f?Z^ь0˒jMlC4%cnK۱?_meSUh,C~{Ƌ;W} 7&ҴL40c-P@>0.r 09]hs9QOum#%VMMīf]WrCS`2_8וsF"+7ؑJwBVc"ef]⿶,W~*q|-I/W7OAPnm I>B͋??x1IQQ& M%gv~,0ض1>e 8L\-pDM+x4!+ =WxexxhO0_ qtm* juFRǣ(5t\XvFVa`m-}ҷ}C<ȩ6bu|,E%%qH sQCIr^(+ E3"_:'7[L|#j?oh#ON*GB-'a ۊٜa|OtzdeRSa٫*KA-Y1g3zS.5NaosɛCmʊFq5p)e5jndOIrfp8ØS!gL5ʭ2ՎnRbrS`m\lG *xG!j@ "M%ҧ`yo(AIaؾA{$ĩ}^<+C^.vC =1t]ǝܫkogaDN7i$"]*9$d.NZHbGFZI*z:ev>7VX+zo-3h$;^%jUqUPƢZX媐m"Ps ӷ"Hc36h@k+:`O} LB|!t5'+连4#GvVdeDLTHe(m$XMS7*A:5V|p뇸,^}o(׎)11jTdh;fRLb~Z fJXsz~U@W^g[v} Wb76X5Ӱ&u eL(ٷq.D#nG *ZpвܻYNn ilP'e]ɊYgٓ,._bbvKh[D|/3Mq?}WZI4nS0ǎ]j{}V(pQ{lC㾴zM)\\AцMu\V";'O{b9Rv/U|XQhUl#qE :0&;OqƦ#}c8/SQ3rW :E5 wL>0"XO۱9`e7dj8CF"]Kx1%H,BOOa:>tx,m Cx4mrJrUXr) 4Q (;BNrIp@ yRpaIA^ZG ʃϕOFgdLeuLp ]6)_;,4 ,M3k5qEPluZsaהzƇ^y0'l?XQ`1ݝWZST<# sR@4:]"ʂʊB׷[p(Y^l`aV2##뙏#vu ghD-&.aj\M Fp~bT%GI<,-"4>&d7$Vp%}o{)Z|X?R] oBtpVbhlƪ2['RG^1"׋Z]}M\ }$F$.$gP1 com:ҍs.XUQ3sXޟ #LfVh%(TK~XpYsHpfݵ*b·j [>rZCHQyQX?[Qlnf_S*D6Fq:,Έ0n`x!.~3o RvmԈ닠 zMV(NREϐh*sx‡ҏ3MFR|&Tȫ^bYltZqU,H$H *WA M*vGSdq7m-Xώ 7'CV,5fM/Eq_vqҙi/"x,+qz`vӠR1 s6F8vuRFV*񸌯v MȠڥ8 D1Mz`&>ЃuՍ:eYgsxjHE<du iw ԝ.})ٌFJ˙<+9Hr {j*7xō1<}ǦV +WHʞJ χ V&WyTI;\3e(e6@tiuGP+1xj~mֿБ&c$tN:WqS\Zkq/'oɪT.ɾ>z'\rW4uv}Ocd(EBT3;=3;YrfimF T${L+I*@@>\%`LA?5ō+U~& ?ͧ^V~ v)ZiɟEWDƀgU4 ~DM߉ޡ1Ak=*4^=:/_"}Qૡؤ;_Ie+='GT/mFě<> i%p9ay@͎g 5o$ݞ?I8z(6OQЇAnctJY*eRQY@Cy;S? *T$1?я d8%oIPq5P.@9LsSl:55-{M Gvqh=nZ@)C~jSW>i}DBCİOV'^VH&ܸN[ICx+/lqkr0bbe}L3+_ 9-R 9Ƞx~ 7a:@Yit:b;ބ7ZY;tcim?z\]-4~p_K9sd^2Z̰~zzߝ>zUL̲%XeD`+iKAGPV5AfSUva>%/%I 3\FYNc}q_m;fS}PvwWK)3at J5;ڌwIqz v$:kj~ULVTTO(W Β)`]E3"Y&yΟ9t!/ 2g/䅟D>J.C"0\Xz-V/"oIN$#k_9k|9ܶ]1/qmV\ mTC5(%HSMty:e_ƻ9@ `{Z'Z+w'w-3+1ږ}t #yGP$.es%C4 9Kr^(%ݪ;E*bb3_+*D~cu&Hn I Fu !Q ı6tpbgpGɽ >|iCuc"ݨZA-*FvL $j\ >_UXw{pY$g`u{'b"זwaЕ~,M3>kwTZr |'vU .¤9qwJ4ANy;Vq%r 1193j"A"B_DТȞ$ohr`[chHqW!sX &ηR j  _yfgZm~GX&pQGp|$1{|*My7/P9:mcxdI]}EFvz M-Qf jUJLCq{nB&Jaq ]JI0QQqR,5D4T# :8 $O92*mDc$iaNm/ 'k5"(_7Aii2AT%<]97/| 4r=3|6Q5`3C);{ʘt|_vf)K`o>v}`.*z3`&'r}z*RQ͠+r8wo{ڿD%z~m۾64ISB¬_%F>(] PkW waìpl&,vi jz_=&7=sy!Fuʟs_`^0|F/?,ܤy@TxIRFR <zЊ$;s5 5n.{ld Cwe;A/ hq ~& /rP -Ο" 0e']/M*|{Z[rqx@S y`Xў^O[r{3dZJu˪Qj@b5P+5ste5*X?>bM[S "?O6h8Y4oVuş2R^SU-%c ?` M DPѝYבv84",t':MY5@acgAyv,mMֱ_X%$DPkfg2OMC7jZdV}QJ8ZSwprŢ6y] y .M Nat^ D?ϣrO~5SV@f~rmo  ֜Hu>q~#md5I&{!o= ;Lo01E$_p$_Hu>5##}GLܫ32L - cA8\opضF(G T_53ZJhh<L- !&yтHRSw&?.~<J>l=jy^ʦrѐaT/i1⫡9ˀ*^;D}ՄҽdZ N%up/u#&|^UmP-? srvn䄯5V߫2p֎&ydݭݝ踌sCEQSpk!F{@ѷ gYN{@i$ XC iNz[^0%{0uh&e*cu!ovvt5@?|PO, C{Y ު~,P_^9AU&߇Ҏ<[ò();]4#K vߑ,!eoQ<&w{:› + {腻0o:$2{9~.{cd0_Bco:3]X(M?Ty/"lRM-ҽCKܪF`Ftsxx)q1>ٞJ}~F.0Yk2P^7fԴ([EXzLCCk+ylb`!WI4Ʊ㮚Iܘ59ms_?r 7\̦&D""*枘󤼶 =pTfBL [#T@;@tRREf&Mu幡 4ڕ^쑯&7:(E+;?RH']ڙl_xv Y?qokjȮ~д=z;)T2q1jڋKߧP j;Fel:JBt^KR~A7)UHf܀< %6Z)6,B˽DZ Sl<ɸO-5lX.NioL 6AH-NS3d[ߪWi{ֆ'ͬ"x^ jL` O+e5Շl, ܔ IgV cw6+G:#cN E׹!gŕ V0:m AĘ R+gYZ   L ] #E!VHello_WorldHello_World.HelloWorld_ProofPIDE/files$AFP/Hello_World/HelloWorld_Proof.thyA #E-Hello_WorldHello_World.HelloWorld_ProofPIDE/document_id238~ #)' ,Hello_WorldHello_World.IOPIDE/messages7zXZִF! ]·Iq n[:|&[zXxQҶ[r Y2ybb-Q@~V><-E*eRǼ3P>4<:\}uwm6MgqOy˭L,mӡǞmZuV/-&imة9 `ô6! UIO0;M+2s{в7H4wbrE4{}1 _~=FG}dw*-%kKǩ[']``{ )bR$0R\-=m1)@}1WAaAĔUC2t -)S`|s" 9_LZܣ)WyX+\vcK?~=#Fh3>"HhDz]'N{cъ0jXAle 0Lփ# v #E# Hello_WorldHello_World.HelloWorld_ProofPIDE/markup7zXZִF!  ]:F.Bsz$D>BDV~9qԷ:Xz7+ld=3 IE  AiEITpbj!78RGV&5FOEV)ػͅ5ǡwQDr bL.|e߻pP9YqbO"M"c6j$sCuȩ"T_:VhZ2]`vHBzG\ MޯK,HhBխ>H8fU-A2QWЊ6K- ukX٧Wjv뉃RH#/uܐlصSpb x{8Bsv5 9Ƹi?ƼI3E|4K_ԋzZ B"ֹA\ | ;_jvi-:d"}$7llI0&D.ٌH۳k֖3R8bd,DX6(a`ݻ$~)Hp GFpxڃ'hTqG<8.Ӧ?>'<0-QFC"(6٭HtW.)3-1W}u>) D1g Rk, (Q[7`؏"=w 9|/*#Eb41M ERқ[ʱcWQ$%(P!Nխseoy l .O{v tMR1J;g)&^"c gFm1@[@! syZgaLЊVC| @2NaAe1\"y^ [;`;e*˒0 Cl+yi,ќEXnLr@6\gz89KvݿR(kDۇG IFu ;3rc dȔϠ3;xAjx?׭vcyMkYM(Gs6_V,[jC<. IznQN<ZM `ݨYd>4y]y=ݍe/Glj,<`]^v ԴrŠ)v5D\Ғ!hvoE T;9 v6pg 0ۗ=-]hQ0%N9d[gˆpK @k没;i-2Y@D,oin[(]ݲbdЋѦ ũ˫oHhQ8BPE%.I޿db0K2뚉iFr~:I 6Đ (iq,”OD޴\pƆ\aC[b>.Ej)xT&󷄾z.%uPXjד9č։+; .hYN4?p9ݚd1p ϕ].e4`t1T2C9ͱ O o"i^1Etj=F5kj;q:TG}0! ,aJ v/\|`.v)[XZ"Sѳ ͧ! #k ,wBbjkQ7ޛ%2ohO쳎/yǖm9Wy #oheY5b-ȉzm @Dazݨ—j6 {yzMƱЭjAj6f=ǎ6GK`+kë@i9'H1I2f9/[RF}$<7#EVY9\?_pNA ie4#͵qBOilWR7^m$dF7df#Hk ' oC2zݖ-q<' W؇? ̾m5N L^r 3pA ^xWgYZ @ % F@ #G!,Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/files~~/src/HOL/Library/Adhoc_Overloading.thy ~~/src/HOL/Library/adhoc_overloading.MLB#G-Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/document_id2302#9' Hello_WorldHello_World.HelloWorldPIDE/messages7zXZִF! ]·Iq n[:|&[zXM❚~u8l r~Hθ(HGCw2s(3N*8JKO]Bd1KFn~$>汛ПkglM3L;Kkz XSe-}-Y(̓Rܦ+jl\_U"9&f<07M;).h/v?޽CAЛDLOs fU83{MFWCNR!FKHRL&nk\ Uv6pB1=WP:4Yvc:ݫRLX.&`X!y8Udc{^橏xc`8겓h*qOn<+X9!zgkz?nBtf4=z&(=LyRǵh?ߖY ⮱gYZL#9# /v2zi {Ny'wsǝudLK$3aqG'fubl71[_p? >""')fyn/ݙSI9a`=?/&niOZAb=/=EfZSY2.ͰY: ŖK~1*E\ϖP}|D|W!q͜3nMi 0~r9LGaw3f#"M8h{,^}?Ht |ehnj`j6=|5ұAmGG>jl%-*'a ɋk$GÌ:LDeCia]c(tfjB5KbP,2`Ç_W=*㑠_ӣTu(bA%V*zOں[Ia>N$R/?X`p ;bg ^HޙG+rjׯ&nVc_0.(J/)2a~|",'7>-Q'9I a3d:hqn/@{h|•+:7nijڕ%Uʽ VU?ù0U\ &)'"jA, =Y^nU/YvT_,.N Bc>ζ?[C:7FJlNgГ-ohgrzOXKD9 p EY | ѾU ;@oPd*) ՝a,pp}TsZD٤|(d܍<[n"qw/ju_ N3Rk/|KD 5zP=(Anϴc$v_"jzNS)HA 3jeW7gfQ+#e4b,uڿjOoIP#Hm텮N4~5m\\9ZazڭJ^QGie~$ Mfb]aל_]:tee'*j8:K.䐮qz"\"s4 N{_JSІNoЩP֮d@YwfybhXvrJWPdW~⳱yhklv|P(gIf!([d{s5~~To @FڎYvYw,JrDؗ80rRޚw7 &gşB_iL#x9+hU)kh( G#LEn42`Ő=Ku% {,D!06#S|5F=tJَA" ~GGNs[IӀ.@-X9[N]^_eʰ76WB2M N{tAV/D(ݏ˼3:W2n C*Η7zUzä}Vfx>V i=X3%PܑH@}wO[4FqZ!fVD${-8KBbՂ@90Iu\%D߉T3BfB>f;u=5 }aFR6_8h1;c*1Tk/{'p?\WeΠ\ΤfS^vSB1s_v郗dֱvթp,\?2qn}1yŬt#/,L[Լz#7y hΈr @*r[E$20C_<L$tGɈKW5_E~ɗ*@ĞKYPQgYZQ#9!JHello_WorldHello_World.HelloWorldPIDE/files$AFP/Hello_World/HelloWorld.thy;#9-Hello_WorldHello_World.HelloWorldPIDE/document_id236X #E' DHello_WorldHello_World.HelloWorld_ProofPIDE/messages7zXZִF! Y]D?7 {?:fH\A⒮iYH k޼\#5 '"9Kb'bPEwL o*mOx[[3WۜɯΙ>9rNO[i"c}P<L> ])GrQ~e!۪&JO\rTHȡδQǝ5oe}S ; xs%%.WL}`e&$B`֏ٱDUDv3K8<'kwI1l7'?XbQIM& K%YGC&=vq;۸V+ B-"`lzU,62hu*WJ;ۙ juFNjwM'dc7r I>DFy>7GhFF@5;o'm4.acj c140iڬ&#Mntx[SnE{[,F<0;])DS:*M:>:ŝYJʑP_ 8FHC B[G~djWEK_-'gYZL"奲R!ޛ"Sco| ?7TēiҬg!9v0-Mְ\uƏĖXR rYqSqeձs[G$ܹR~I}R+4F:x^ui ]2rRh(="0"dөaKxʒϘ|=ͯ06(cvř %0 o' \UW4@$7_62UY"ELm [,<ɶF#9U|AR.Ew!$&'~n(p MvCSFqw˄(c%CU6F?q([7S}lj_͜sKrD=g#̕[Y*jng˒6ZKZ5'סf};=6~('Rh߆ߊT- ~|=@猢DZFLY?m6OF\gSz7X5tRvbGB^k1T?bvaVF~J\IBmnP]V+t Q-^el]4r=˜vDN;AcLoƤզ^րU]"qi?P6A<n/9(E%fÏ ]q&Wb./Qq SA HۦRw- 'LCkW\66\'>&# OQ LV0.4C'uGWG+7[oתB Ƕt>o…OnשI/EDZ\uӢ?vPO GBgn5zXH:۞gagJ~ H8^|XRx鴄џ5$c@]̍(-oVd]ZcV#tBCmF|Gmu:e&~^L8㋷!_TӉD/ӈPSoRs8M98 jPœGe3Yu}ׁU.+ Y:7\0{YB3UrBW}s'9lŤҽafeҼ͸?r4kAj*ϔۻZi4Aj_tR7ӏH499TBhAr}|1tFng" M|}xq޾IUuQ<\"R@^L` nx6GOp)2֯4nv6gʘ;_ Ët~) g 4"+wɱáМ1X[1[6N\2Mܬm Y:iBz3)amZm]sDܦ^D8/ ޳"AZ$J F5PLQhhZT0|8}$y-ƀO?4߹lvT$E?@6x>l):! o.$bYb"JkQjWlijŴzz:ftqDe'T8Tj\,EeZ@7oOWlF!j/,a;Ε?b_Rڃ ۉ9$sLb(350+I@d`F*:u' EAI8o}= 4V|qqnP=`$+OPN|D]I2x"K1tĹtb1T~\Gڗ~uL^m~-E20-9aL'6hǑ%?`z.x?6HK'J?[gˆIa@8e{+VNy#O\?b xIh촭#x$?ිn~SrƦ͇[cW'o>ޚg-W!gߦJw4ԭbc$ӝzVL;Y:rg;*+S 5apl?{6*abl$û!RfzM8 B Jq&w- *2-yqv~CJjRh%^Cv/,#&t?DNMHk&3NG$7͏%j.$p&Lɴ>ħu]j`iAy@Pi;񋪦,]eSsr\G4=%s_V=Kr ?9sw%(ݐ0f KT!ׯ/ySY=sdt!AuUIHgPuBi Aalj4;&t=6SSa$NQEa! vK%! \&U..EE˯CV$b$qm ԼIB{A25/UwqCAމE#:.!hV(ƭ=v( >~-kYYfK{mj6U+j+U`!J!#=I!p(U8J$q=]4 lu+Sc)ǵyM7ÛNsEۗ;-"κMT7vgccweY!6SN v=4/6`%񷬛c:®i OjpoiAU{^v˿HwΦPsSq$+lLl_%8Jmɩ;Y0D~08Mw~B& ^ܪ͍P5(S`y tٹoG\{:#*Owٱ$\]O#>RIgxuM9b'IͱƎ+ķ)reCk|]ۓyœC*;-UXl8Nk]h p{8%"0*d2[~e|3u"ܝ$Wl͡ao#G eFsO`n]NY#6L0vX䚫<㗨uRaߥDCaqmkM"Oq, 1B^a0~8A=w+ٰ-VL|Ri?l{/Tj>%X_XZ'$}&jX%EV@@#*NvHΞ&G=À0ԥu_;(e;JUHa ([Pn:{kUogqLa;X.!oޭPlVa+qMB੺2잰 '!(pswj&;V'r7LxwFlwc*%R\e 2 &z CH0ȌfD\?zc2kJp0DI_]|Rp0O5i-LC&st:EK ۷2pրקZ. Ap fV-s& ,r]Q޿:(J\NE(H-?ц(%< gS|+k:#k!(ڋWGS,?t&e:BA|Ԉ o@5G%+Z Rul0ɤ_] ꥎxN> +"3ɐ4u5Zj랁La0bO?7"|BN7_sO 惑h S 6,Q 17)JZ&,z&:0$:o<(MZyuz(3aSi^&ֲ%)x ML![ ˁ&e]4cNZO?8R3Ix#yD9JC /b+R-آ}D#a ҍQ:AгD+k^ڿ[eƄ$~ {yO H]s - VOxDs''\䊽B OwOo`=f7%9TwQpF[(g6Ou݁pYPy!y0  J0xN%6"M^4?ՙ Ϡr„HuC#\ZJ;Qı"nڔ?tT? AOYu7cU1‹GzP$W3m 玭 (õ (u"ϡ#?>+dFWm'H:HFkeײXvuI@ٴĘ|E|H+JM& D͢ג0cULa_iT0_b㋆Gn:_Eid}e6`)V|o 9Ah=1g)"OQ`+(:ǢJ^&%{1w"ƒ.t "LE)DAat)N,2gn_J 12HwfWdJ1CKsb.mlbX(I\^fRQsf]V $9+*cU0rb;h=6͖8(!C==e-iH *.[ ݰorM+c:i()n4M$ydA"Du}5֚/OC(^ m BQYVلi|5Vƽ*?"sadNZIH_goY x*Wud#KY-ɣ %Hi1ZUK+ Ӌzؔ(_zgseV&|O_wֿJv.1KR32ނQI 4uэ_;>e)RJ 7{?"EKקrOц 0 ,s?-9E<{)cq.r>ub sx H7[!9O{WAF8%24bh0O*1C78\ o == w |R{M@XMe'N |/tDpKP4T"= pHj@ngҞ> -[c- j@w|ONfDqazٟ{jh=8+;e\߽}eV}iق&ňfs5aő,1'cB 'io ѥyiSEV-`A11P)rhg*ea)Xm\y,mWޟc) \|zB"ݛ;LNiC;U1OzvɬΣ@ػF|_3GFFhtqDEr L_G@( G2UonNl ~UjAQ/N Oܫ&g t[ kd5:X5;²Pi'n_;G:}G:~$NJcQ!rcW t6[\HzF [>-,V5~rKz#tjuV^(+C` ?>tFkn} `Ej&~ŭVx2z7*I_485˖VUѱwB3oYu3z\UX҅3PG!߷ƟjI]p%S";ܴFPs'ի\R~ pU Ⓖh8"X GxO͎;cR__9)?ݢ#GKk8?L7EhnSOoz o G9NLQ @>-ߒԕH2NK)x ?&ql&GsAI/@ _|]Uy֣ Y=JpQrvI(ӫT%e5-lM_  2/QlEU+o]B9k6E1C~7+)ܬD~ kK G{c/u."kH{F=QL>hneM}s8rzQinl,R0jG;;ʕ۝͢{Mi#/@Ty>\K7+j1z*,kA xDI}i C^3r19OyG%* eOadFԈ܏z?,J5 _)&kOo &4w 1n\9fk-ddQɫU|ĩd|A0{ _xV]AZE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeUTRC,OT>xszh\ cBfngxLeMs1k>Vz9EGcb!4?;yML*/8lt~-n=:qzl_i.g̎sAt/ړS ܭc>i9_fF$Bq [3.:|u1ɝfE'VZ+7x)_FN4aLfx-y"c_V [Dԯ|0W +P"?P:Ek= 0uT6<"]CYX;lͧo S#܃kLP\-,$qqcL~xҗO{;d"ȡF`JYTE#G=vxo|a[ hE>6G 'VI:Rk h[)uS~^[byӤڈbѴh$ծؘK6 BJ@TOBa(x4eh,gHvxna=L)A?E4\έ/zy7?hB>wbV.8(D~U@ܕD`>̓ILCx4 *AcXS(p9Gix%_50 ɲ?K_Kǽ-[!Ka{Q?6 nLRHhZ2X΅Rb@DcPFl_ͱi5ވ˯̀O{f|&|J&?eEgVՀRa/ ))d;Nyx MؖȋƼ.L[<`ZXgdl>mJdXE;ᵵP Md46|Dv0ht"'tr#z߻Cl}0˟t{8'HAO[O3CoxA!¹* p4-עٍ}ǫiS0]PM>(60]*+`NNP0UMT\$.HHDi; $&|-tG}ym굚DRe~ZkE 63|sգf".Vg30cbqeyG}lg 卩fo'Q(f݋A-SV8rQh}h2JDuܖEA{@yюC\ Nd3x}}I[E[cyY*L;"7뚧 v}dTSӲ~xC\G9;Tskm;.(z8Y\1yj1r$C!Hŭt眀ܘ3͍<~w=.#pm*w{ACC-M/a GA ;"c}cO_61:q Yu& .L2v75,Ib*9y[-VΉ;[p/ ~tk˔ޙ*{e¾:~ZT? ެќ#*[>,Mao;fwtME!F: ey »pu>n~Ɩ5)浴^tc՟6J =iӜ091,c/h }]h5h,w4*eM.3K;Y8=sd&^hK}tP n{#$UuX"3׃$'|GN{+^k_ * -|~nb`W"`j@Ժ7*P?%9 ְ `+|SJ=_f\<;pgR> KxPRÄc X m͹K,^3U=?p0v,(ā7b-#s5ܒ끗kZ\d0}/!rAtO|+\8aB-t#W`}Ɓ2K;MÖ C5\(ɩU,.#WaJ=3^ hK. y 6t 0oj0԰xmq@. @8?h6&!+cď0KA>)^ R z O P6]Kjk2r:zгrп,FtDaƨ/@,HyfN?%@&5_ᶾZ $"z>sIJaDt -GNa-LPE`8_UZ"9yJSg~+*ݽRIA'q1͒~inJuNap<|eB@w2"Ӗ3MIҷƶ$+CYy&ebB${hNpj&骙ai3?Z6+FJ!~ko 9*YQ\)RqړhCH~/gYZ#G# Hello_WorldHOL-Library.Adhoc_OverloadingPIDE/markup7zXZִF! _] !M젗OFK?;uL2a=:L`> [ES3v9km6Rb !K pig\vnt\~x ۫K\ e%WOš~ ?1EFf2 IiM'寯}_=N/'ÃEpJZCɩ֯jnCFIhXfTֹ ˴&uв]˰m~28?:~~AɎ yk,n=y^|>CόS>Q!n8P1G %#h%ΊS{NxD &/]m}RAGѷkkWs2!}r?^fw2^ Ma4C:*OVh)3]G3|YErD*Sv;'3WzFlu$`Mf")yAᥟ27o0ޯժp>_e+_v8iQڦK~׉;`aYԻmYmR\Ked*kҠuZ*$OkFW߬N0rdӂֆ`԰ l=ҟ6 h4^'ijطex<6g|4`XCw@|ʠ/wǷϋ<ˣ xj`_K @Fܑlpz' ({dt7uI~Y;D\h܊0FG^eu!HJf̎GlAL/{,&pOsEQ`aN9YȲUy@g#jl}I{;¦)fѵRR`S6*/RdvhsG=.d {@E]@Z]72Љ`)>ɂiMzj .ꂪ}Oߏr[Z.ѼBFFm;ϳ'V&.X![{TB-1'Q]4 [ѻj֘kٟS='ޔ9Eq& 9R/&vq1h$̊܃f#x)°1:H!>5~Ϫ?jj}9^"5h)  c(3}\^.+R-zեʉ9-&= لӁ_y iþ,lHZ}IrzdgBjS qmJ]AT3rSb76bBK= Dg;DKV{ig }|8>=ͤ$kV! n(^ۯ;9@Wjy,3Dږ7r|YQb6Z$KD(/S2h9ӝBD頌1AZRlN>f=q*G}a2fa7SAK=!Ǥ",@KH*]'&QZ8!)w0C8lA}ڳT:q'+gowq3AR2a4n$O~gz#XT>9KYjljB p3ƛ.ǮNFms T`@BQNZp5M0aR:ZY=kLj7*񁾅SH^̑%o_\;: .c\- `9R Ӊ(>? #a?yI8"nyKG*)?mq>ܲ}!I4R;Bq5IxB$RJy # Ic&Hjh /}b#%E-}$iR]! UK5wX"|[ZKWO^ 1](1p6sG$sFث9"b.G;9]f_Ҡirejs>'mxKi}uڬ5F;d<*öhSFϾB5j8po3 ݱNEYd3PTya?%R&)46Fc:W9gl HG#ke`?-r,SA|rbFT3REoc8w3WN#-aMJyP}CP6!mqHeSlKրb.FJ׳%&'@&3X::PŦ!Fo r@Z;F!\:I"k>tWFM׳~|5fp ,nc7VWGH_[Zm(I+*L$w=B>.I`|}l\uC6<5J-pz2xk?o⫧K}4j3:䩩 {q{*-0of~u~$Dag#U~Y‰ՔEjh g"C͛ %m/G@H}AG3տu,o2#q?emk ?/QWC~ 3eX];zRvi7.[DFw7!;p~ 4Cs!=o-Ib\򛞊X" 8rYvZDԈvc<0 MeTsyθ3w`E>rH! 9 t`/}O?GeZE** > #z=C/'.5;- ~y7<긯v05Y!ngi Pdլ4HVzmBoO~{_C#q/АPr%Ckj $|2gadCTE OzF:cz77TӕIMlh[!ݳ?*A4:^5;+_?.SfZ#OTrEA>޶Mv!(-܁"Qw`GU@P󹡍3tWx|=31#ðh,ZK z?BNK> 'QTz$<"ĉiJ1iyg\dMmagٕ N?4;OT0/dM$v,W h|E. :k](8Y.-cwN=Y?le>.mQzV@XEedn(ہʬ~k%HW zF0ą50؀Yd0WSZs_j9(_]g4K>L-#Z: += N8`si`U]hɠK ;6b>Y0gXkB~e$q oδ!ug]PIVN ނŝ iJ; ~}hY4t{MFiQ!a8;B̳2E|uv142l03CťpG^svs:Mo hÔL0!<O}V1,U+p6E`P]^lK9Tg ?Вa%p|F[B7kcAIp6T_y㺹ZDjs~!ΰ [}T6|aPv^[Gn|<L ˿ZcSJ5zyb ljN`nҫd8,_p9< #FvSQ˴kOmlҡ!Sޱ\rz j4-j rw0iN OJSd=nG6'_\ P-b'ߑcw1ntbi5rOc!|_N~>|$Fvķ^z\h1F[҅dެQ7w.}_s# Rw?lܺq (O2}j4B=9?=N.`~*1jƙMs,i,kw}pCZ|K1 .-4NogLs8q!sNѪ.ytu3A~J}R9s'3#Q-/\5nml!;gpfDk綕;J|{@mdbѼh1XmnA/ð^y$k$!xSLoKQ˳:eVm 5/ʸJȷhWT'RD(g\[\$ok ycBḱM[޴g--'{<|e^P3Xx10(lE! /I)>ܣˀ(08%g)#pz,8v6d4U Ē3|ux3 ?S6ˏ^afN:Jg9[]QUPxOu:B Ҡ1%vPt= [bVeU4iin:,X Ucm=tlC ޸h8\pȚr1U$`>Z#[;3' !2uy _Moֳ8*[@^/yyFb,h7 dUyGsP嬉Pzd|#i s}`V%oIwͼ5%ޥ]zES"xXF6h\dDq_AQ˿ly2G. 9x}e/jF|'K(Vd{k;[]rKݱ>G &'"@Nh%%[LUA%,j~򠁠ZbQC߯=cGk6\JfmKgL hz-{ǜWdR1P>{UŊ[/Vt֌ frVc>tLn@չw(-x(27J&Ŝy1pNFPt1)!\ :wem^?mѪ"ei^kTc?8>H3v'1æo@#Ĺɯ"5$Q+"aܡ #n=s_\{?zq1#biDŽ-1UBϸFlt/.Psw$ PG37 t@jL',A4&-[ԥo EHsJm>+s~U nr//Mz}"9!-3mڇ|UYX{gD;y/