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 T1zTE:{+Y5LTP Eq,ewx{uH rqBÞfMJѦ5v %s@28c.cKCgˍK~_ŢTs}nHyT%,`WF Zviz!3t3y {W _~z/˞֗MviB?]#Gޅ]XU .̩<0 Ա3(ZNℌ`WƒF3 0 v7(hLgSfa窛wLjpў5 Jm;@ 8 @1 QӖNwri?)p'/d\MF:h'A39\S4nS"txY{hkPDNݓчt(f+,F@v澊dFsP7]rF"c yk!D(S-K"Z!3;㟹D+C nb&dTa9e3?%glʑٽLlm58hԢҟ0{0nS"o.+MӬݔR|o?"ݧraVp8RpdV 9i3]S]ѩȰeU OFNg·A.5.78 qBJP؄RM3QfUSZ^& ZͰ]mW;!Y RM%׫7֖L["mPIE BGoiU4 \JijSpՍF0&{;/QI\\uMþEޣ3@_A6/hۚSJ}%7q5sx冈e{ҝe:=^U FgA]߯m7="B천 ~:gOZ2vtvI6bGU\hȡ_f&rbМC DLuDO,j7>+g4 ;Y6fER'j$~.V^po!I2g5BKKgqq}<$Y}|c4]kK:Pq@E`'{Y33fG%SB*x9[E$&hQтEn- Q5fǷgY9efmPiqi#@eA0 RMN?@Dfy!D59SA8J%+2Q.k]{+#50i7׺1MW6JKc(Ą@Y`]S-@( B׭7Q3ZY- X9X_7Q^1zދ2F.vA^v(}ir* ?s)2؞5}ڈ x =ĜУfLTnlfwzQIi2~\R^U\؜e~ɐ;S2aSgDqXʲ:_JajAʐW9; Yn )}Mv1"7r՟25o{uk1PP7FJDHO`)xAϞ䷡r@:Wb"czƾm"ΗGPR_am."ӓuzi|DOFڴ)*˼|ZVGM1ˮOv`޷'( u&z43Rp,*3jr@𖶻dVNA@HYNN2Fngsx8.}%HO;*?S5lhƮ'SplgYZ7zXZִF! ]; 1 HOL-Corec_Examplesy:~yr1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<8P6L5E4D/A-<(8'4!1 -,&%"    * i L hc# H A ^}? 3 c! n'D zz3Y C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files8I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id7?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages6=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup5<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files4B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id3A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages2?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup1>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files0D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id/F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages.D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup-C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files,I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id(?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages'=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup&<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files%B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id$F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages#D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup"C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files!I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-C)>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files0    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ n1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZJ1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZ v 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ ``0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RX?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ w w1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZp 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ E  _Eb1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id522k1A# dHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv \*ZQƆ\" 'JjRP B4>ʱ'z#0gznH3:l}>j0WINK.X'ȵ>JcMŋ7FʢSX7,oXL ~NOҏceˑef"P'7|g28pcayM$ۊw8#Qn U<D-S NngYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id542d1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gqDib]80RxĤD`K|cNa)l/ues]bDovݿK-ru׼EŬGchc;g_=`wιSݽ$be҂A[|Jz ;˙󴻣q ,wC3чGh\'aBJu:V|xQ.KXGw?hh  w0 3Lݒ5=G=9u 2Fyئyl#o n-׺+M:{-\r#T)w C]P7$`ja'}+q'g =Mn&# 's 8Pˑ>]^hkYeaϫcTvYE@F;&sd|+:jNv̛o*"MtE,7.0XqR]`B=O$|F^ *q3JGpȽwRGd{s* #؎;c Wx*Si颢'&uۏNGС ^^"ncO?IzOI[(Z%6ZGiP`/Bfj^Wf32dD3k?sA(: p/cq8%p.8Ld iJڧYKN~w -.'>Y ;z~uw`-b. j0,|ZY|m͔0[@xKx|wSm gef+Ҍ>[79IP• i~pR!34tB83gP5+ }ZNŮf?+ſ Za=Q-|.:={ >tw7ed!د|vQm]s~O0DK`p@MDz#Qq 1 6˴=g[.*?Ccb͡FG6$ؒh zQ0ӔQFY4,F0'&-<4&hl%CQv#&>'ҍUt^2IԂ /{SAQv9k 3k}Ϧ1 z@O=*_o4ƾ =?x'bu}9{،(gths_Xo/k S!# .ImaFto# (7&6ENYkC%86ke ̧UƍcEw@/+;iB:Hu4lhUgf@@q8@7mYΨ%}QH^lSAO{piHsz㵈B.@:*`;XG˲9;2wpP (kf o-0; "]dB"&-ۃWSIhR8u*̌ОOPBtF~5O+h/V>| bLY8G}chhk p`uwq@%=EUhxՓ 8#0+R?g%! mX&gX+`!7ɌڝK c(84xFd, -9Xa3E o 4?wz КcCĝ!M 3fJ?Y !k%kO|sd o"(͒-pDYjˌQ(/YN8 b ֲq٪%\OXb!zVzBs!N B [ص_k#gted$yYx*oztWEA2GN]]T|L =?QF., voC{ Qel2+wHNA;r9p^κ#B!n[u/c{Aݔ O"+oHT6#&$_?/#,з^}fx-rEDzpk`K+㷑%C_8R.pҌ% *x3͎J^#WK'pQ|0Aw#[Th s z z *xP9nߠ4GdOܳÎcLEF% #"}B$t+oZĻ!gUN`h<@CH%e4Gl!>ZbjV}5~\~wW#L;:g(S:v!y)!wRM#7#kaļ{zE;kdж@vZS_iq!F0kN-jwKu(?F?Ba6ˋTĽÇTkr+u6?o"2Y1ZQ @P]j3!& !S},QQ▷+HLn|ly~=rzb: lXrScE3{ wRj*ՌkfԈ%&G:zj2Xz]ު*.xZw> /<^.F ÈO='azqHcv~[7$xCW;sUu &UPѮ|mgK hl!A?4 UZH7 Ѳ0MP)8}=9-vA,YvT|ު#GuP%*d%h{e3Y N5BN7y!-͚XDcx}c%o SJٓ\/H ΄/&B,GRµ}R"2o9h3CUufLi 2ǡf\wd7*6'圖=wuПeXFX%c y(G.+) [B5F :`j(/1NxsO魃\`/VU͌&+!ŖUh>y:w<3O &"P7@{NN=ïkOip:q4O3&[ob/pB"s/wsWҀp }=x, ]3R챚Q =jƣˤOK艠xCz?'^ohO%Ϛ8a_(:LU~ ʹz5;4Ñ?͑ńon1Ka(# s^ctd'd": %{_ -CRc s=5'/QVl ۇߤ,`S{+))_-rwߧUq|. T\J%1N$B Ci  r ZǞJ/@&𒚵)'YG+- T !߄$[\ВF]QZYCnp}FьS߯!60u:5j%,/}E΀TJݔ(gF-ࡒ`ơDXwp!q0- )>%;˦裺WۏZh+6 ^{M3q 9 `)ZEnlgϖNٹ{۩dUF dpB'%>aܗQ!ã3OYyw+˸ ko""kVoD0AkvQ^`x%a ,u֜j;R[ViîX*_*h8q{ qGӴjO!!IZЯe'Iw6*zg{1!XI:~R烨)Jפ!%E~*f!y&z.7~wT]݂Og&ir]b;͋=+0r̛6*_ ĵ&kqHyBg] F>'&"}T H]y.̬ b8wQzg:&~SF?\ryչ5nYM^\Bj%$j}vP1tHBb`9k5dhYkF:)[xɠ@DswCMĚEp§C`鐕0=pav;#gŽcmk*ؤڧ˒~Kb . X>-o 13_4n*uJCp7b50Ev𨛬<3\vf.-\N}}>4P=N|sO![է3atVl)(t%M@\o#ŋYs@ͬQ ,ӨؠF)blzJUylȄAp& ~:'ovAD[GvrEP8V!p\]jx$ F沸(*w|suyNiPY5kx;tulqRD?nxmo+}Vl!W3Oi .Q 4/Zs UH#8 ~.%y`T9a%sG^gi7`X5@ǖuXB QQ*R ]U}Ț~ʨw<]9@PREtͺ@e)9 AB׽K[Tn)u%skl%E#%=:O}X$wb]Pk tԝ?{ ߎ)o"M8>1Y%\khh:{}[1/4_Jd1eht#4wM| gȣ"'IBhy*n\mE+OTwrYR*<}f=7eu0t`.n҅"zUtV͉a,KJv)Zɽ;{5G3~nV1QMigU>V<5g<JU*Ж 3Xf%ǜ\$ v]dKN(bxO'a>5F5]r5R u-q/Q&fC Dˆ QKY)cROSTJ A-mq6s~>?#l/\鲝sLUȿM%D t74f5s=2z9pHǮIShWzkb?af\sİRA`K3]]i;k3 3JjuܰTx)x U:Ս\r.BgYZnYEJ 0{7Ec BRX١Dg Rz:SQ8'5Q\U.qC1bɓD*o3U*XԥS9|Urـ칎FW#dUjX`tH_lrZ4n \N4b^bkűi ծvȽd 5 T^e),e'2f^ @u:Ùeg@}=)ozN[;Š% лK,"U>ัҦ)&=wB ʘGXRvgA4CRhh4Ir Z4υUpZU{:P/C>I+肥p߇Yn)͡yjUGQitU+an>t0M"vZ 1ͱGp^9i_10ȸ`}N0Lk\wR=Rz]#Jy&\p>WN?F*.Ey`noR|yUě> TK8k3=kTHFBdzibI8Iq&=@t=10]Xs>Lo}) 2ߩ,]nnް֍9 @[Vʢ=j-~G17آ"U9 W/}-KݦT5TY > DNa<# ~HYl}zr%U+/p$3ž;q4ZU;(} fIHyQ\.8-w.V-DTU<ar4[#[{litXfUT]</*^0 ? K ; AWu_e'K `YF9%X\1-5ZfZ:ÂJZ!*!S'2Q-4yP&_vDaD;c\9+͇BڏZ&YmrF<)#@~\BV sn u_лӸ4@kq15s~&X`Jy ͎EYBoDH=t^TTc?<0݊6߃{טfh- ɋ˺΋Bnuؼr[0]: [Ht%Y{嘷KG><9 MBzX|!SRsEO[L#3|=Ws*v Q dH#8 fs Fێ}51Kin "_f%L Ojz[*c ?1&H}Hӛ~-QD  .\g˴=VV?B883()w!ABهAbp:_t{61C9ozˆm0NkAp>},͚ Yw-)'GK(\2,tlP.x'Rx1W-HcH |;?ǹ%iBQՕpy͎i#TOyѕߴj\nȄ^s~AՇqD܌ؑˮV ]Ҕ<&ϊNaZ~0 @% 9rmyd״%o^C2WgKs ~w}LF.LkZwv-.J&qIk3x{ekzŔ]H"Y΃RO_\;e&tٔyײ4|29UPքDce& %IRƹ \yF$J4+a}^}tz|篡t>:Njr|gYZ II,1S# THOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! B"]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)-"(`1p^9 cٹb7"c/j=#_*HԨ[E\wnI<4Qk lm#(i_]OϜ?R#f !@G[m~d/D1& FX"5J$d&tXBٛD+D;mq". PpqhSt˗&Kܞ-'vӨ ݨٷ.:)p\裩1s'PO#eJx )zăDstCH jaąb$=#_(kBj} {64*ޤ11!1ϙ~BR 7)(ұeB_PVA,@vq ZC`[,V 4﷦GGn#==fvE?qSt.:k)RFlsf7B!н=xV1/jhNL"y&gl,c}@҃=3bjo8f0QrVluDȹ͌ù"t8Vz %T慭 fʞ Hḷ+m3Ltf3;j"Nt_j50!z+APQoL (Nգ}_ܿW)Dhz:_-]/Fh'$i]U=@W7v,QHvPeLǗǿ#2l3 9ߧ>%}ZVOJ{6Mq b*  y ?Uˏ'`^/3H{*N,s @et X!(\G4\.7_g̛4+$$7j\6/vZx2~mۊY,ż)Om1:_X6)>S,}eH%p v j/+!S bߟ#%dU4P=ut}S4s/3–]HUzIMLR1ҹFs?rg[fm1ea;Rܴf0%%b-Z@sfySGa[pvCp*} 2y2UQAO_. ' KuGHbqH`!l-(hˁ"mYww|Uf]x&}L_h-^٤1]DNS9GmU-c,8Bg2vOjꥁu2~!myg0m[cE_h?j=.+CTGTj| m]U.;hT6IJ%Jc4Ev9^'q@A< vN@43HsOi-Z?еƟ=x$NMwYkѬP n{)ᶧs0U }2$e=< Ya!UO𱝰T%uB,x)eqb3XO\.6g7)>ހ{N^AG Kø={Z.`57{f}6&/p}r򊦥t,:~,)0 ƮCb- m:ԫv-ɑs_8'|_Wh.z#:U6*E>;c1UbBӏ0\Ȍ[4 $[o0TK =mxXE]܆E{qD30Od@u~w'p$p? {[z%Ҝp5uQ#p AlR+C<=f$l! ݰj+b牌jFlo9ni^*IXR%Yޢ!5WZܻ^atUJ!mjɂGL}-!C}E Iz_ =_v^2(2h7KhۧD-u56acø*38wzr $4EQF}1i5ڰDt-HkA ZؒX#+'5Ny;e}?c *4q8q.[ir:ZkIW>􋂎`@{샎t6 LҋH݆xs)ĿbauhQXPYu$O §v\5N#颦s<3d^W2{u?S{҅U ]aG zuLS&K^?ǘs{IUaM# x?.8d7ȆrZ!{lJey@ 5>%hwP9tۄMLqsS0 \[ ltt' b#yHVb_HFg^-bSINw6-#>[m8hQ2v|7Uh*l&[ 48V՛{`|DU#3JhSP=OWR/Y,TElzY*M< VC;SE)2l({!vϟ2-]uU0*,Y٩g!W D16*jLa$x(NMrx>Nh,UqoHWKB^S\ ^1u x#V̐AsASGE3$@ ؙ I$tgW#ϛ0DLٺlokG\m2.FMN4A'X'ȘGJ8Wo~IdG"`%sģu Gk"fA.ӜZ?i)P0fS67f4^bM(](0(i|`+00^ڌJR/= $V *9yEd,*|:e7Gc+tYC;,h8*ҊMi vqAɺo4 oAQ/03ȆY3Y @ d_.H"c7ߴJy)v%;7 Z G +dZ{" 1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#t]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#䝾=9**GCH]i(vKFޕ d_4K16 @?j!Wo^Ow[p`T@|lZWVk/Q3FfPto @i.)dܣGC_~w_zS7[--hlwDXJ-UY^e]jy;VRftss(:\D&V #؝sW*Q3]IY<=8GdJK|Mр&77 mg d0orz$OӝKʶX3;6~'ʩZ]ԅg`3 F(@nk}r;[Y' F=/ŗYd[ a+ 07൛7_edX|AL0[< p*`*#Cs.^HrYGI/\_'=%B߈nuy >7b-}_]bNY)|Qoqӿ/b" Asʋ[f_#X!(VDȭyЎl, NPp *zs DuR.V7z_&@+v.3ekQ ',႒3AwN&v!1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM 1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id540J1O# HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv(A>X0`<J=H:^p?ur| HR\EfՕ4|Kgur'.Q~f0fv(V59!})^2!h3KZ-iBݠ"*uje 2X68Zm;t^cA$? Hy s_k2\sV5>"Z#@= "z|?()7oBDm, *DҒ9=w!q CFq'5B)ѩp>8>\iWknճGfMDW+sƟ^D.Ƣppj rө-'26aa-y ycάyCQGٺls`OBYSw8Ug> ɑVTc XO.gcHwX^\0L{q5o:`J֍oguJ$/n,fW8}*#~uh>_=v;92ڧp?KZ1"8gYZCmzlΖ8Nw-Bx"QCգ=Yh&SO*o1~H|47%<+pFY0)):C]wv6|ƽ8^|B^3a[BGV]Cc%c>E+H$:[սtCmAf\ ?Tsg.Jqz .T )C(։2U=#Ws/(YaZYY|G^>%έxmYrgůqu#^:j iPSa%D ]ԛ*GgZ?Rm^uؙ͡8OUxrEv40sYMN}xUA+ y:f`Âw)n 7\$K9Oܯ?IDa8` R ]aI0a@-Odj==wy7ɮ+!`G۰Eosohp,V`*,SyoZ~m}0eD9}(51p4_Q,xDդpztp@:0u-|DoVP#!_@lm#lSD%o 82҉?O~$'yHvwNT',~)~^ɯar+ň0?ID?|eЦc{] vmѲ<>]n%Yf|9pvPPGRcxlch;M~eL$ϧzxZSkiC {A\}U?1e͇rmĈh BڎWr(2P@3}ғ6~|heI{3S+K^ ?U3K1 D7Wgƥgx`J\?zs{lɟQGRT[ufuNw@藍\cXnzYNeφ YJt|@(ƗbU4;.ܻ5/NDd~ [YӶorX_s-3aD?6}pc3 TL`E*/B kKXwKzmg$0>C_7 [pd>fdCv q5ve]P܈D_^Mi,w/qyj(3nw]4|%  Y.UJ37)PV$?\uYثrQH(;50'j?)$%].3j(ll Dx7 @.<쓑#^lC''iDe+DlSܼLi\A,Vc?S}쬆D]cj6tEŔ^0|)1MjB(gPUS0}rwWrIOy9p7s+YÄw lIFQ%K8>١uҼ?, G{1z)AX&\]jU`;dי8d6}Hٻ KJe af7n0Aݰ˗OG5QAjÕ8L7; "!Ճ'YηHEFM=(xgvG܊;rdt̮s[c( PfsPk|:qz՗YmHaa~@dBD cJ3=%݇cOQ13"! RIF<."6Jﳊ]W'籾̤L`9MhBQSrC≂?">ΰnrW>̔ oGU zx=-RaUn=0љg]sgUU\|)ŧZS(=ἄ|Ӱ| Ӑ NW.] ,Xvc>9̺uuk+bTқK}N 6_+ϪILfE0P`xڣLoOy[|lay<̳GՒdV%ݬ񕁏b >HAa#92aI—҉i #Q`m/ IC\8Iڧ&3 _p6Db[4op%f5W|@d4!AiHxFe0Y F}Tť>wkQݢA.|^E}b{Ei`'[%VwU BoTho)ɨ\FnfhoA彃`<,iԇt}6&)i wH|.!/Qա ]A7fov L6JC]-c.\]} 5ʈ YwZՖ6QRU ~Elx4\v'|'[WA2iZA >Sg³W(ڦnUEGA|zHIVK"pGL#)^ڈw/}ߡ\,ilpo v&5<TrMDI"zq툑7lI^IZuCOiW~6,BOr,%k/ޗ,N3Ao>MF$%s7G't=09z+O'gt2ѺPEcd'mgYZ!Ĕn>nMmZe@A#L;fB'ܘ1\ߌ' @GN?;zSq5 I8V><bf{hA.44Wu^2.e\OVbo/Qk=$ =kߧ⯱αrxsGi`s̅{d$(rdrnzI5 GfXhBgbeEJ< b1*HVF0*_o ո̟*8n5Td۴-[R |oo ڲXXh~7v}?fV6HM>2ҁ@bP.ifrvڒf!6>מ,DVt$F髝AZqBml}].FeZ^GwǏnmma%t tV-,ѪR~P[ ,lR&teP])R!Lаv| [qm m'x7U&uS ZӪ'6b9n%E=`4KSo$zM1jX_Xz@s.cV-1B.뻊9]޼NZ"O{ s7IשTN_a6Jzz#e, ˵BaZ*[TY"lɎs\6(g%=P /"wU=8t ?N$ԣF/lSPyg+BraWE1^ 7xz웨'1Z6l-V-?ڐ̾tD}_9̔a`v,g soxphe*/HGElT'~_U-9~k>"۔0EˆȈ&sKB^b_|6PV5I*[ɢv5Zd Qjaeɠ- #6CI1V]Ux@P߃%ň@^XQq8M`oeL{: ~6b¥+!(Pt'쌄4{'&s]ti2O 4l:mm2uX[uJC+B*Hᑫxtn"Xv_jGӶrlp]Bg Y-GMD๯W@IJ'ă'EqJC?~Jʢ '> D$^<-54۾ʮl' -ja~7/CPrwlX%\(۪бT bV^8%CVƪM^nL)/VR7$KA\-Z+Ak[%.D6,(Kģ$+RbImŽ٬rlR )!7R6k k/0h}.thLY}18]$=jsѵgqz@tƥ,Uz)ScY&l``KTL>y~&M贐Z;YEҐ}$(jf۫cw#ёOcECYz" }TYL6gXbP' UVDdlZie'MU?H{c2e|Bp*SCt ;vA:%F2uD._:< .  sĻkby=#⃞ 7L<nA-χֆU5_ %z -^TX/ur??&@ ɑ3_&[l3Hrƫ^]}Rǫh-@Lo lHF{ngs'ªo&_g沊8JamoZef?u]#_0ʋ^R>+Dze] ɳ,9Hi4 dMB[=2m]{etpWl?fR;qbNtRRB?_ %U\A(%UĐ{Qu>f `[S,guǒF UZ[j[Mg|^?~m0X)c$v\RP@4+k0&q3AM2Af:j.]zF+y l]*4uy?gylo` g{3cX;.,)H7/0$jI1N:ή5+|Cie -]vA;-;j|:~\kVꑖIR3,V"_2 $ӄv7B)PK%AǞC7W1b㲜ÇaRX2. 9P{8N }B!noYO,ؗHc0֫w_0#5KRm]`IMX"tF^lnRϪ :* ~uYY{e04z_ hor;k>?F=Cx)M$۶h: VʹJ;ET(˖c9Esǽ3@$ZYЙp8 46sqb䃬ہd$̿`-6/il.9YNjʼ w99 "*5x~@.%9*b/aM4|b6؊g)j&|X(x]p3ؠ³}˙z[[=2V܋njg]L-T3kzcuI/hRm1Щ2ѵb ;dʨ ^ۄdו?q"̷6>!J .VMl5>ˁs~pcBHi䋦cg/䴾у D֡/ \yEt鹑bhI.oӺA:tl:5L3=N+$zwg-Х[#TW; 58!mV_w#?åCF &(@3s0dFPH-邦\"*wp+4OS6ɗ}}KcmxL#Kkk)?2̤.{/| v\2_/^dS )栬u=FKCӰѕ+G{Yᵶx둚v"nI0+v&"`Z5WOSϣq!3K"S"v^$=4檂i?BwG['[d2(Lg>7}f7K kDzK + s4練$75d;9hi@h#2~[IZ)gϔ!l( G^dbo.wK"B),s+X/$>mσyx Ԍ)뗔˯"\5F]/'lFl{Z00Y.Y}=QFH;d@ԳRboj k+qn#zhJSX3ohVbWDל~%Xp)?΄rJu&ЇCاcb 2E?[eVvksṕo8K\GDbI Ʌ$3]q6$)QBe}n+, IpۄBAGBLCsfr4f*.׭˜8vuzMhr0c$ š@Y^:!ƒ5Mw7FCT0 zG##9p!@Ȫ8C&1k8G}f., z 9V|3($<;`,.aUabPq KשşisJ>zU]&vR8e?T LƫU@fwiƝ';i4[qF( _=GT0ҽƵD=y!f?V~_.In l^yQ@8zp r=óղ PM v`X1MARήD a!:9痢q}+IKB5P(f_cʋ* 9=qOZQCvd\ snPH5v"` nҔ/t+Z0y7 [o"n=<gNNaEގp'M9ka{T IS`/ }Ը >{q%K7/'g0}ۻum<~dP=~EWWh[ O`O>91vɚ]ڔ;׽aSA&Rd~w1yff}*_vpSteWi~Vttn)8C)?~1""+G\JGf1WWM$xmBRY\NkR`>1!_ R>*&^9#z:U5cpȂџ0 09z@?_RQ.\7g, L #]yvV|1;.8W4RfNèҀʱ)hXHI{{3@Ulz4dݸW)yؠ~iԅH5lF.$sDS$|jc RvTo6)ûJSŮoƊck&ު$knl5c8Um=_RbS.b]%fT2Կ?H%/3R@ h i-CCbwW$宖 fǷQjC]I,p 9+2PSψb~`=u7) U:hH6M\Ռu o010Gu+`N]E)GYĜ6 ^c.ṕVKl处EʂB鱚Ƴe{W|E#@ڢNyK4A#lGUd\z   ڗDEaH夣ts1Q $6c^M6" T\{{6R,2TO\Az^eQ3, \*W w>ӉP\ʉ{1L,u sAE$y_;$)|aB)mN@#o;#(Ԛr)80TۑV PM,ĺ*14CnEGO>+g%ɚi&k&}5tʟ(nXKٿm*Re=z`v$:Wd EX՘Iϝ?8LC\(*UjGu],T=Y9v}'BZ~YN,jtrHXgGgYZ O Oh%1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF$1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id548|#1O' tHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! r]D?7 {?:fH\5dҋlvǺl,"B%7'754$lYs>-چuƌ+ǘ'-!~:i=CsC^jC p:ne2yh5 @wa vhuÔm`f௪i3'Ʒ%G{#A }k٣8qNb22dXU+;vnV _} |oL4"Dl5ŰsEZj*\T-ɗ> BȄZmVo`94f0DwGd ,i>9-- \\ yҢ G+$~$]_sE"'Us7k2ger, ?kGr Vf(cX!sl)ƃ@e˾+ {*O< CZ C=Uui7|,eKAgxMpj3hԅO9c+E(+.7S :BURC'h'Rl \Rzή"*?%;C0ZM۠nũeNt0,A"0|=Tü ED6G&^j*OY売vu!QYXdש9ǣY}J6z!Fuhf+Աef3 OO"rl lrG9N8kc`' Dk/tn^*tV#$89\aDfpKĽCFX˒T6d/xs#RGNy%&9eO?&xEn=grM1,VeMo/& $M/̉{ O玩إPBR8skhZ=^!49 @y&HRᩖcC'#@*O#4mrK!ʂI.6@, p2s}O,{N&uGw ,z%Hy(uM0 R*W3ݍ$(L qκ@a>nH0;r$Xn9ۥoӉzvlw5ϣzIklWF̏@⭳B 飺'f~i~B~rֻEg辫6 >)R RG nbQo4²Qp$2Nj-M Zξ #Ҏb5IZשvd]g~,vuu"d/{yt-gX_):7ihmޒhvi+N `|k[dC%[dIЙ$uif*E'[(9ˑBz6:O6IM(Y"| y2؅I FiYE5J?FAɹhP/M2qˢmoR_pW xbu@;;zp1Te|L7>-@ t ^ce%#(^qk>Q,#/mf3ϔ.܏vJYc uw 9ï'P=Ib?U XUv Ό;{ՄE6x(ͥmWFN$Ò#fٗe.e|FIj9_$< C} uL,`r֯1J)JRp.cHl-oB ?<#HO.㌫Sy y $HZ_&}YƷeѭaQe!bCyλ!0ybHеdz>/oi4V4,d k35AKvepQLIIϋE#Nv5 GJh5D7ٯZa7 ✙ kdPs,a#wZݓ89Hz٘"SgIKqO3.3~B^A jA:-<BQlf=4gvM htMmdfd#Hj訥Dq'j4J|[#.RDxyr|i $א^gR,b;jk%: [x爔qZ۩*y)Sm<\:* y.ڪLa%g9~ (}qξ& XYlrxL"봄Eօ X\BEvgu#&!uHt% S3ig_~'s?&Os@!nԜk/A|+$ҋXC?̵W77 ~to_o +`J֡v8>7f5ڦe#Aĩ!UX:|]k= 뺖^jq©6P lv易֫z$ƱgYZ JYv,1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM+1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id524*1A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv \*ZQƆ +PYX0{iV:R7=~ UsUҁ|Ȳ@,,ѩ[]S> l;Yzt P<`1wDZ46*2.X UTnnO&AĦgIeG${Qw;'1Ҿy:C:%U1wEGė0Q#pw(s|'dk/Z"yH=?AJIi)M +(;j7EO}+N R7<1˜ӃjOlb\fza*vn\x6#40h |*5GF-ȴg4288@goo݇?兆!~|gI允4[NBK*ԔGݲ8Ca˜-׷ R-UOxJ;RGT[k-v9EqmxB^iFW Ȝ*R?J/ |4~D<:k g>4J|@WK7Gݸ8~0ceb(Y$6͙QmdS.?:BbSw 0X[=ܴlX/yd,)XTZncn Amb+^eVУ_QE'l8_CM8BP1!s5Ky])= *LJn-Q'G% *NkrA ֚#8gYZh)1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF(1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id544'1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\:{[~/jZz&"g16R;rR 0mj"o7 vJUS_׿MávhiݭIwS}ZqE Kŷ-L#νAq{U9;,nPs:]!8H\,AW958<<[Zy!4t㷱&[e۰9'?%HYڦ~Y=&=p ثw3,$tiMl T<%70(hlh7U*#b$d/ΠcPf2K#qvxf_GY&mSqH!7"U gQۛΓå.iG 8EwnlzQn*|8m{`EN L~!%_sEBkt.PCخ033V`nqx ́ yeXyUDFL[N(U';(dz `żG^;\ @͇_hezj[K⌻kdw "Ϲwj܇Dž#W}5vUI9p+]c˲Q꾧6 ;E "5U_W{\:DӯIٕ:cy}vY ӳ`WB8!FqC2FhW{cݔ*ƇTԼǎm3*l_j\hB,t|&#\iR 1,ٸu _p)&K 7?U4?u”0Ge%A@`Jmb<-:4u=ǻ+(a/p֒=ՀUXxA8HQ=þ~F,5k:xnBR=i}M pz??n8ĵD1Nhs9:"ka:'agRɿyk?z%]VԐζollV^#\ fyz5slB "`Ja =d՗ufF% `<]sP¢=mr.tP—X~.bV.q9g[p+3T.-Q Mc:O\b >IYV5Fo u*QFh-ߖy;/Rpib^= %&Y#?o"6 pPbRͧkm/u BRgJ/iX#zo9sspSsggS^pkwy(k0xv:F8yvR:`&t$3 zAvέ66|y`GaB9]z0>[:8q\RbwNEr_Ab 7ye\!>TOǰ:1C{>21$ hyeƴaPLMn>қZF<5ܴ>QOW;7OXh 0hAT\.&Es,#74MFM<\!lk4ί5WH 7J`q;4_:Fq99?9WɱP n#EEe "ԦV2 \J'fB`sX @N4%+lQ 1cc^C`*/Z![[)bJ&^mPJ :whWJDȳsƸ׆'PR)`vnnŊj4|MXT ~o}%? ~R_ Z1f.0,Ĉ1h1;$98fkz98g_Ϧ*-b_}2E'ѥ[_`r3 n"+wVeRr!EfF~O4af*e>9uLˆW{/9c8,g]$mqk+nJA<9(%ޠXVk Z%{&ΚAaU '0<[:{|0Z# Z~FDjl1ծ*twvKb1þ Jp0' ë<$ن|#61/%M-JSݻJx\C \8u1Kt΀{ 0|P>Q٧k4am?`ZI0Mu#T!6UE$AB~/UWN[n4ڲQ(+ۍ9ψ9վ3ת7}^r 3Z:b᳸7JګԹCJ:*5B Y?Cou7Tt⯘&ʸ`jy˭c!m|'slszTڅ"J>vS ]qg9?:Um,5K&>ə8&U%V'+oJ[C4R]t#Hz%ypn ,4dh0|z²LQh ~Ixf]R㫿y&ϷA@FmZ"vpG5U,A*Dȯ7jw M_93?2T&3\xto hR&Ypo:WuPT5keX E6 ~]vcZCSAlHJAcdVӗ|׹: j@gH_Ta&D]\ ϳ2@Ú)0Mz\T" ˚[VM7° YV&yTH?8K5g!(G*N0 jWamF5b<,/-߷El+P}0t/F OrTfI Qv/ϲ[q\3=: ֔<̈́90[HJ3ڣtiippq@WWyvH-M\4ƥϞa鰌}TF\㌃be᪡o(Z=`SKƘǷ-2uSmPCÙi^H'44luAG+&X~W0 uvE?m"!gKkNGl'15wIѸ]1yK`\q8:mAah si`:H-ʫEbw?HsW!D-2}C>ÍbE*n{]3)zgjyr^_32&~lHps,O;v2DZ-GGi~޲z8<=NH(/ya*Jg^ZYs{8LosGs.y=K3ZF zbe@SѰ$>VgЇ8_'3Yጏ3bOf6%_y)%dZ.2?"S+_e44V[{tI b=(&\060YKֳN=w}vi5Z2Iy;&c[oͥ^;19ED;*y}XfdyxѤzgm9T $z+ھLmɌWJ}p|0ïkS,bI\)DܜRzM#ɭcVDT!FJŽ Ď Ր&q>aT .tM}l,=zOX&DK;&KeLr&tMCۻ3d?MDz2_rfP`wK'zժAe$I$VP ?(aa ̥}55.JU2i%J 9j4KpQŸ}}rMf{׊WFZCRgmA {p?lau+^Zx"}7PɈ JnnPKQVh[z0:˟1aRU=F|L~]11ɽ48Ԕb+9` cF=]3iqpr*JҭܳRȮ4y!; wpB5?@ ~ {=mwD;@+XozvEVk,&_i|)Ϣ5\/&khv5*đ·FUfj\gMkF{8=V_MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tvqd{nW9=/aY۳JĒ2v"v::8NetwQg@,oaW4˪@YnB2PNG7JW= .#!Z{u;a|V_տ%f`S']^60Xa ݤrUm_Wc8ad&z{ ݵF3 =i?rX+}ahNv!3 ٽ[!'(Cɇ+!$Z0E4oX!4 ~amu#aTb#Z3yJP69>dG+dM(p-sϪ;و[,'̕EA@Ru#j`rnٮb7>30GqL* ttZr##zovw.|vr1O+xNֲ:?_kS40( yO6j"_dt0+)Hi7Z. UV038f9 kÀžT3@$!C{|2wRnu<'2pIXez w7\96ɦHX;Hx#)q\ A_>\m/ [Wio]Ge\AkUZ$[,p'Nh@cU8 P L1&\uK; #Z` m[.k.A$vjH"*[AqG)])3 OeZIoSgRtlCTq=R^K 㔇"+F,х"Hapzv$,]%9 lZo|>'tw@(л,@V̍i@̋7(Bܾ4ӮM;~KmtaB W֖heg!Av =#r0~wr]g|E=J `1=֋ISQ mox,Q'sH^԰f6Aj*?͉RfF;|rp↬2D0@W<[p̊dHN=I<5Mb#َU%E2C9}p |;ϙ?glu#D$$*?({e*a>*%ޔyڛdMS9AhK:}~Z:тMNdM['nwI+aִ^Lw.XbrhKF9m5S%'DڰyZ *ڂS ٪9y%,Z FȪ*,)eóogFA\4]9X,6HL K2ǯDxe>hZl0]X(q2Ir^l0t6h"t]E;TSַi2 >v<9Riq@-tbMA EUd+tY gXW2>Kž.O+2n~d\OA#:UL Vv\f?lY  } 3 ~1 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! AXy]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܠko鰢yevkQg[EG0XNd1`S;J.g=Po'e,pXh@=ղr̦M<~Erv[Bg"{.&q#sּ͏^_ڮ,Bc,ϤYH^Jtao=67Aۡ z͖x䚪r@P<TL uc+gⴧˋT"# [w4o(O*4z=k=RFuj[T7x0ehq4z_ Y"N0OnBu(~0ݬ3J"dxCVLӬ)B6a(;NS], vbJn1ˀ0;x0 :X4}7_>F_0I,A"WxUXs3.=]X! AK/B{09Czd^T|W(1]T~Vps'=a9$6a %(0R䦲v/QY4:f{ϫvV 7o؍`{mٟŅF]ī@",͝;5ї*;QQ"7  ZGC̗OcNhl~rS\֯[[#t@강JQNJe+L'=6NbU@z:/ * W5KMU NߛO Vk4 &/ۯhaEj NۍnH _ŏ)rDtp)Miybq~IY*VeIIvQFEe-ODWbBhAuy27iԷmhNܡƷ&hǍ+.|qpoNjB^\q <[d?fЈ|%L~'-eo 兵آ2jŤ!ؙ3Xo~l}v5~_0+$zP@|Ƽ&fVKUkR{rq<]hFj)Rn)\Z׶hC^p&08ܭ}w8|{MyΥdx?u"٥!p0VKS,5G?%9qh!_onT)) Mjst6X?vTk _1F38):k q;O R zg6veM[TiRlqgѬ\yz\C|~"NȎPH/Vrn4-x)yOvTO|^\tOrt7)Y:#WA ^yMȵ.]8䠠[l: $Xf;A'QO4fRALbO{Q(oY3"msFw\.[,PI4$42oNjM]ah aK Ή%Ť"Ek^6ؠuSș AxYe,8HS P)_s/j>GHrÿd5mL1g1E5^̱IbN;pUȨ\@R' ?{9 80 ٺ?BSpK@K dy֝duAņH7VS Eǁ #?!8 z7U˦D' )Raɽ90+=@_Ri`wk?Aq4@jgIXa/#T0ةv$]f y4=(Yļ sUH:(qj.dDY'4I%oq%LzƾJ:"l01E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH/1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id536.1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\z_!* "G!| 'Ҳ8ѭ,ܴ) DTe K8^Kd!X%aָ*F 1SէЋkKT-J?ψ≯k*fVb.ob0q[;^#]D2i ^ϰOΗҏ͵7H,FƩB V 3h(#|6dUI=T1ެ4Hp41]}I`$ȟ}xt f{_2Y2ܸPmd~ v ~mY_;rnˇD24,NqԀzx_z!>B!lOZ%BY [W\A- T {8 ސ .'>19pv-1$ t(8ujr96@_CsZx<-M`Xj_0 -'u}C&|]sq5h<сލN>8il#Sg~q+"63>@`KG'ݝ*`Ѐ>S {76 +Y*(Oix(R(3e8tڒ%7ew芆YdS$j84[k#Mt3z%`*Lb+B4Fm;R[t4%> +t}5hwK4ϧQW^Ʌr<#[s5p G h2x^%գ*}>_pzon~oCr tBr00 ̓ԁeעtբ,kt*}2- ]--HT[%Y2Ei(~%Gs!HUkz AOkG vRNgD&mEk'HJWَ9ZFݻ\TTK)pt^^7l^4oRAX`&4 'BjM嬄euWU995%q:/XD!̈́+0-aXɓywm8!u%Ξ! ]Pd tuVuNxpucڈX;+c,|SD>ۺJ,})oį0@|RiFIge1@LAc_[ReefBeN'"eH$`}X'@-oӭ -sOh"erlp6ݟ߶p;3uzG3"1saԝ0KFNTaĈqma m.x00.rМ}h#3di*T<ҁk,F! IBIyvIN8nT#$oJтDu,T0B2jړP8"0'@RM{zFӼQ+ Pb5=Bpn0ҬO2GoF;B7f|tWCwսQ$xsj$NJ vT|3fO3 Tfq!Y <͂=n#٫7_zPNߡ@ Qv$)3TgcCMzOu3fDӡ1g[ ;xmRTA( y#檒.ÎAV1" ]" `T@94v$FЭɏX/)BA#ï\S_TQ/`>7|>=;͎\lb; ;: 򜏄ư$'0^0% eӁ7}͙)/67!>l)=Xz9nM:?}݉gMgX_֕Ue1)sv_ZOF\H;oTv=OĨ8 EёʆUV$Ctc&yTus]~y% ? pJXnhl(Uӂ9= T>e9݉\M/ 4!IxS։gD9f"yiX_Ke E Jc,B'@QbXQ\IehXo'o QzL(Top "% ƮPƴ]TCg wYgW˜A QHhJ޴J$Kq\eENo 5I9ڢ%$(`tD#R\IHzYI1lOi. i:KsSu oáui:uӸs9 F)^clz ( v:}݃vxn8EPG25pvGƨ,m'>R:76svgQ7(#E@eq!EF9a#LNr,Iv+GvPgߡSLv?xON̮xJ:P<5ChIpziM ZTЉWj}R8:RYYF Qk.cf3v萱1Ea{QlKcVPR3 6\^rnӕ tKb9!a\"W} ?Ig6W|9Fv&:O$i6!·}JU8J ͩ:D> i[v&UmhF<\a(ac2XPee#*wިqyyd}GV;OI9|oQYMT<5NRlwPMFhcI@;Ht%68 q=CaЃܦ^G iI7"eR& 71q"޿b݁7P۫JxkSh jr ‚4f|\[0\ANeDXD>fO !pŢv੎T٥rmE79&L~(y=gnBݏ[1ߓxE UREngv*0`J^4f.3?&HYGm7179XCwd9 iSEw+Yy@ t~OVC ^H'pG--b`Ű{P<*Q&ndy'Zq&+JP sk10tͫtN4FFK$"( 2|Ϟl ׫M\!}PO4Odmf}V/s. ?td3;JƮ ms#?8֏THp73/e>₿hK/5ƃ%n)y7#ˊR3gF&#ZeIq%#rPY$=dİ$h5qU)=h*a\+{M_p+Z#?(n*>\dMp ]Az 3.|LX3x.żqV x76Wв?1Dw5U\o.Dp, *Y,a&2|⢡8Ά&[šP U""̇=uӕ*\]xoT 8;F$_OfQg 8J)ET?0n&dS:-54ő#8_ַb(ܒ:#^7LN3LI%SouXlq2{)@ yKevЈ7%,/AV75-m"amqXƼAn.@C@%;%whS |avN>)J@9bz}J TxoB>&;H-pNd_.kL1#x0Qq^ +H@lY HLې;ʫq$U,M0ޗn}"U4豍g4*x\m@l$X#qQ^|0xEdjBq1-h@x9 ޒ{_fC(u"|(:aJϾ' ^7j~ 9zղ9{߃Y Na*%Na2GȉQ13*~-{T/w2@͌H,~5ܟsI |%Qol{NO@O_Z<ګ_jb9U^,ܧ9p( {F5uޠHu$YC 7Z!lj:j9S{yw,u!o7O8{N FI7s1 g(߃Jeܽ^c@u0@5N3ɣRsd~)p 6헰yh.̑g J 寶r8RxPGDmY*K?o/zVnгWp2)n-VqHݿka#ߔJДP>83cȰzWG} g'g"(vak,诘^q'z8 Wi UHW(zh)bѥe@Gm#)mw/VH)p8Jo}u+/#H<(dx4)*2/E!x@.8Nt7 :mҠj̒TqnXQP~Rdh'z+AL6^eX;vfVcBd غ$Wݯ35RT1a3{5;'#w$/91g~5'-!MɮFn^E>O 't- WV`ё`' Wܶ4C43?y=?S!/!3Ʈ0!4х{sC\zٰxKhܰ+ +v|U-CIL'CvPATSU ;mXe'ċ9CGzSsW07⭲A xhxޚJmdFͥ$vcCNƮq~ߐl < o>w^RfYW\2M>G 0%lҸ=HDj@B-7lw&~/]] cv5l{Q8+øz Њ1,RcUF$vod+]fԬ`f0lW1&P]ט#RN8!3Q!Yms*hDˢyTeY;\m7m̏CY  %3v9?],g_hT&* gm Sauk>63XvLZiCBt+CDvBCn_D}c&{+GDHU.ܥj;jU}4^>c"CL')m&k]qz:t qiQۥ)6H9Hz6Lvړq#/1.bFpUlfWk)O&opʋzY^o %črJ@j5$øL2Ywru\TC/%YuqBߨ6 WCt6@pIKv!%]/ )v! </Ȁo;'Sb2ҁJLH9NH@XY.Ň߿S_ǐM Ŭ n 8 3; Bßlj1Bkl݇O0(zkީ.u/2ԧur)ǗG CwCgaFjY7G`3ڋн2$7hTȎ*hC- +DYۈ;$e_y@&W&+zwȂT[9p ̞~Q3.`G(!$47,X;t]qt ?H/>#ַ8XTnއײҩ`px }^u08p[*AzZ|_^( 8ڌi df툽{ܿZ r[U E&H Pqڌ;={c/X wS/&\@ذ4!pƾ_D垲}g}}OzC|%?9lvh0Q(GO2Qj.+K~CA.&EnOb_BbЊ!HBK]//Pc j9.S}{gdp\PV!cqH':u6.C/Y?ܵI|q^04amПc* ζ 7wJd7>#K2֔|ǂ?6GE߆ hs_q$܎ ΂gD5a SPFņ׳Z^=Cttkl.{W.[lBݦ:i.V"6KR4›Or\񑫐?:5Yw+4_"^E~._}: _mPy70ٳ2;{{YO+nYu8a%s boZdR mN%FZ7jJ.z !>:9enl`# <#=p@V˺:=Ӥ@?rtwqu֮"ƿ]hS x9!5&!y=:7Z~Hv8NJjǕwx mprK44W?c˂h\) xoј9~q>}ۅ|oVhE)Sx4vyW+Bٗ_alfI_e1%V.0PDpB2|]4ah ֬tا Y'e LqP?TpSk=y,G2찦J8|)뵯( U,0^NPʵzl5RirG &xTt${ad-w^lJz՛SPLbdwzAOig"o=Z p;}!3ӥo&H_%bQ2‹1Y@dFh*a:}iKt v@em%Of*<}yؘ5 #Sr܌ck@<>ۨF^3+KmT`tTّKZ}u9|UlYPD!('WA!5.v6K ︺]Hu} (Zvڠ@֯ʼ U` ęֳ%[OoLl91+gN-rF|], ZyՋpǵ_aH V[sf99Ra2(#a-$]b ?p|Ӏ# M0Jn핑feV켈tʾhCqΘ[3"830aN.'撖I!Od?^t011QU (M.}óɾ?̞& iKPp q<9 ՝Šf$ gG>D ڐ'|I4s3~nOn a[svDͷVSK)r}[w}q8( \ YGX[e9OޜoG jNx`/"Ž/^\&v qQgaaʗvGߔFy?[cĨ:bT`h lӎUZS\_qi ^tcPo5>sW:Ql s,Fa/|]Я\ oUH!7\ҳAv qOdim; hS0j^*BcEm(sIo Xtܖ.#+BSiDfk6ēS~UرYԢWd/:%UsMKzߚq§ARVBnӥo®0,^ .A^2VvD)T\oʫzVE.CE]?`>@bpKk_KYG9a% zZn6 =T;d 'r2,STZUT%bb=6EL8s}n9|4h{J0H!5ݱ/ڄ zslH.vg+%3oLo)F!oZly*xe{uﻘl{>J=T#C $\-j ♪eKA e^& _Q4K}x{%|ZMLrʼfT肽uX<]iV6e9˱zL sBgL7Ɔ$`%C򨀎,4ʕzЍD(+Ak<+u_ދE_1}\Fͯ9Sv͐yF0HB!Fvfh.퇹oĩq?{> [Q )q9g`;yc; (,Kԧ+"?;8DPצ׍h }M1vAnm՜w<S1b0`l{UKn՘'<Ñ+Ƥ >'*(5.KF\%sѶ=4spxqɩ2q j-o˲rXщ+V)5"޼}%B|R b6+⹒_gR WLd!4OK~Xh.Zg ssշ{/rg2[J8)S_iH w#_P0 aw{'U" oʧRNyt9Y})6pY@̉=Le ib;d2G .q%q>ZW6 G 7@)2X۫zz74<7a4oI2nf9t**-'LqnjaJb+\V=ǧf;v/Vp*\$z JPQleՈ7S5IM`M8 ̞zLR+ / f+`CY/H237NT\w-Kd&0m؀xq}m" :hm&1ֹ~ŁŤ~GfJ QgU\wR%dJT FI/Ro@VAN·imTYN g.@LB6?"K{yQvYXy.$¼iPMཫȱl{|=WGG"j]l̒wA??ڣx4/{kP")7$sR0wȗHZ g..; ՟Z*Z@7(UQ(* vQfi4:i.HCnJ,ut`kA4+i7nHKC ƍ"04edNuЏƴͮKK @+ԅ-ݩKd-LOTso;zGo3~vSҳ JK"cpD^ՊxE@Ip@$d!ߓ\' p4P*߲keR/s@LZɝESѯ/H!h,,. GDWtzDD=)iș ͐\0|a!Nn(p. |7v$kz3_Wršg/|tNS`o9Ps^oH*", 9O8Ԟ}y?t"4sg9<#H;]8r6x!+ $t6`?,oΩe hH%µ٩ŔŎ0y3G,THeR%m%:jqGha.ޒzw~ Jl2,Ia50ZWaw M2"YzEk8jB;5kxg~dMcW p /tӄavMG]ډw= B/CZ_ ric# MdELB\bnݬDN0[ eVnlE/pUfEvZ$JU>B'lͥwhmj`7ҝzb 𖞘+/=;g;z?I<؛(fB 7zq9p Q& 90H]b C`:WxCr]؝wuOǹlY!Fɏ_Uy(Q|^iJC&ZyTi $׌q'Z!8ک%,]Wnx֡D҄2PؗϭFJAp'O^>o P\'FMl!"X7#<|V GYhj*+^:\F=z72y|.{F=T`T[ea ]nQIU8@rRG)ceZH0"eS"-7XVBl`\[EFoz6bO& GOR몡드46L۴I-I^NR+sp~>6[ZɐN$2qdL[S9n˯WfC0<| m oQ];ާj\U2nhCyeM}e1e{zmc&؟ӝؼ=5)|-Q~wfeDwU-ו|LZr{CRe ݩ:L ZɲY1TGPT6TxR\-(=|jOȅlA_ҊZYjMU$- ;O؞]T2?o xDS74[&d7 Cc*&F3G+k.'mg},h@Bļc{s-A-+MM"Ik * ČW@Ԟ1[-HuVeKۏaf\ohֆ kGJ ִ5'^KFrַ ߄xz$ݶ5ވy_931]c?|+Q)6 }L̀Bgt[ w}m #d !1ӠXtMN`]pl-Zғ+g70wq$0H<)?B^,pbV-z/xi]Ɯݙ+Rh^[( h_IA_55UPάDQ' ݄Q ţU fX3d> pg{bT\.l$8&Dc??ٕf{loONgգ9gY,9t~d3/%U7SYq TZOa.2ʪa ;fw:';X#"vir]UR XEf(Tke؅P5Ա$kw RFPXhz[ XQNEqb Q,1Π`e=M2P;8|8eS2? '7[QbK7ot~VȝGKi\ERłgeei?`HEʗ0dJĸFTIs [ӠxiԨJd8Pm6*9s(_'X  4I4.p0 s6-\dpƱսN~n)bO 0ʟ h i7k)4ʼY`e.ƪS4ɇ˜l?L', WC9y\,@{!enQo/Wd}}3lܖ!qP՘{jv#dU3tʹ>ՎSEFNMݧ_F 7'Tj un7aU\ L3A$::mq&وLLk^$["";cV`V+*ڵ9\XWMW ayga0iL(K:ywuV|O-NQq0\mT@Er=;-yI|yZg:;"C)opDP8 ȪCJy :8|_Z?29?mUFh [^lAZ:77V\,VovܬPwfg|m 7O8ne4GFxwH]z^[D9#Vb58==-„;W|JiQ;| p D6C*$־(F]%FT@S1<"ã}CPWg8WUztfP&eΝf _h^NQW(/ )B8HZF_B5A&lO4`xomRl cgؾ`|9@p1V,^.0t*ԱͿ&ҼS+enj8,V:[/0|ѓ[R;1DnibhTƠ_װ6{ɱo]AKYO XT%.*[G&G 7l`v28<8(/,T^Fsl'n0i0\yNuz>V+,ڂ5*{&ce{b B*EFg&C{)^8㒊:o bObmbBc)A9rl4(yP4D'T}eݜx9ChaֱӐr7`c'F%״C:qr[yP̲QWb˜eFmk&9vӒ[WH}.d.HBhmÌw*ճ>!Z,(`ǖt> Y>m'^\&+o/dC l |Djz͍ZarXw ^f;نH,AV]ќȊ yXA}rEGHV 3]Bn[%񀱝5$e xklʐoOPFXVVxmx7?pu|u@rL ;` a$ilM^Ӷ?kz&Q*t_SEv.thh`_.;]ak#8=I4ezqA75z]hvc56FVSD+?s0څ_H)y l ᏕX!vYR[GT*&&y%pݴH{y Aa_nZ'24Œ[΁ƄDsO!ز+?LIg`0(Z~X:ـ'x,7QTT7j-1ok.6kX/3LiC T2VqRrļGkW? \!Ղ";aXVϡ!:"-Hd?&Tg_,,u 9(F(/0 < L.UTFk£uk$nuV6fl0`١$X8bҬCC:ϛ1Sq1yb\s#:6",Nq J~QP< we#d$Y vD,fG{@ᩚx1gvHߒ,1fxZy:ϱtV]zb%7ҭ(Z(c#]259&k.)IĆ[͡Dy[׬۫[HBe~WZ.Y]>s]؇qM=}چZ p}Ud .jl0شy%|_od(Vy% 'ηixmjaRoLLAPAf[ 5wʺ=ucJR {" )(KɖET9Tn:gbl/ЄY1ij}mܖjQ^Fet2[OpMR>2q8V$rTI!<_4,%:-?vf{Zf=|k͑BLRdC*Z,ʼ:|F Y8[l1yӅNI͇rՈfC*~40ϵcaWumfY;ߛ%MsB.L$rh*P}rBAg:ih|c܉":RR]3,(Q@Isʅ\DY9TψbC"|qjyEuU@sʱɵeaS*~9Cr6^7;UD"x{~aþd>"LީmS[`fDM$͑snZG8O?OF2S+K&-yK)NX8: ׹Q[] ܚWP+²R XڱgYZ nh41A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF31A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id532G21E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\5P(U\5JhvY-3ZV};i*䣾"X|w>c'\W$w#ge4`f~uI_gjܶ3\wÁ6?'|ᡅjBNoݎU-)ܻ^yQF8T_'.|h?;g3BC0&hNF3 >ydVPBP. bwJ.rr{(ZS ؍EQ15yDmv68lrY~p8'aZm ٷh> eW<7{P?ܟ˕aX5]}nsB;ex9~009h{y:7"FHqfIלv5N8S@ulcz:]<FZ7퐚,Bfen^vg%WNFV_C-7MoD_T4i ,;S*\ͦiVoC6="&"t-;>MԽLWD.G!RYc l-MR3 IF)uFCR?.31R0Ry֋1SiRkfpIxpV] Q[/X!#u^fquS hMzIfkfOC6xOՐȚ4\=xdiJ5COfo|'8KṠ=i3Or]q-/60uLjGn vS0kV~z~wUFvXnyh \['H!TtIΚ%7ILaxQG0Sw9Lj"Zer ]I\kri v{hn@Nݦ;PQP~a|x蝮c s; زNԤ6&|<9d+M'8 Gf ;֠keKSɃIt%fC c+n dpDOq;1 |LT8'k٣M4|uxƇ?]5?a\|t;Ca+ >5wO: 1vچ=ήUj9cg@m *,Ve!+8%œNbBZIT#V0%Ke+杯f9Jf>$8 .[u'',V^ OPmf+U3[,T>Ra?t|e}"hWD(Tf|sVO[+gSco#Q),dUIrA~џYօ#z`k]棃ZP!qC0Ȓ1VLT&Df9 *Z`"7N5?Q3U.MV:x2#6>Xb ' nX](CJB3ȫL \pG4(g9|_/ 6=RtKu'+=n'G|g3@K&}#|"=WNG/J"D@("zdffkȊnw,TJPRB!Y{? <C`}aS-HP̼:EL1/R/|סЊ{v\tzeg10#.;5G71.^N\zxPiDS;4ֆ0vj`줙ZIrCF!4M Zdu^+҈drSA ֽ_{H{$uY]Hw9gYZ zkp81O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM71O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id528=61A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! ;]D?7 {?:fH\3`G>{ɾo|c:HH^3%  Xzn2n! "0t/-(4Bo1U'ZF{?eGS8:&5PD'nӑ-E>[[(%WehJgdpLڕp#f\4L 8T~~|aDpoy;wZ*!% Z=,#g:Sۺ";?A앳pDDl!{~ՑGu.{m<%I jEۺ 1,wv~1w|ڢ"+%SP)L8h,ǽ?@Uq_|cf(Q\p 3ARml+>LBx:;bǍ.EJ] YO#+0&rmt(Du5,ÌRE<MO1l2pSGӳДg(]@vb<]NIx8T,< 3 \_l$Kw|AHIFĆ =PWl(~Q:|E.[[mZ`6C0󤸻"YjGOzy0kh9>mUX,HQ֭ǘfXBV_oQ-K"G*xؑR傃tr09AGe gVೢ0[c-EnN|+̑-YxY23Ɋ djt }lf$əMQcAvо?16fXL|WN\/+RgYZ51A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1JVU3}ح+J,TNjY3I& (7:]xM#l@V`{cPD27=?%W͏94WS3T~PոZ4$iCd tz"z(>BW/ac;].VxyD1_^] á<w`q?YhU|BywABsCCw\cVxmy5쁌+6hP( Nw.Z>b/k XoDYTD&4,2|[ U 7YNv2w?%߿_z 8LعGxesrT06 hq3H蘚 s\߫rARa_BG$dtw8?z^Q,MSP mĝI Y9*fq "Y`Ŵ!:Q%,S4Bhq8lV>_&M^+,%Xaa6Z =25^2 V<]T-j.;`yIPY 3;ESUL#@[K׻Z:pnTr7!H-Qq* n)cnv4RplJurVHz<.:.1n;te|(=QX-$gHM`X$ya<9?Lչܶ݃Qϣ*hUJVMz>saS~S>TV1kVh U4!ТRpؚ| iu͐4b5]ʫb?WftS #9a^ب!Dݑc/y~j43)H:x W`-%Vv`ӀH'1A-2g|Оl5v8ʨ[6]㈞$ >1z{!iYՕxJSWDnRwl(6~bͧ9&֠ GW̊tS|â:$6/Ϙ d\Y^5mH Vvw@z1~{ fT~ M8l$Xx r:gˎM/< {AbB LԼ)LX zXOA~+}ȃ=_)RZwʤ Hȷ6{,&C QgqfX &;^iMQ7/rIpdDKhbvOT:oՔ5)'c~N,pnx9:x;5>O->v3RA (Ǵ*y!-TQ6 /)$RX"\ ݔ\b/ceXaZf^ZEt4TȰ\E:pl&,~W_L<1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files@D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id?F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages>D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup=C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesMd͌G M ZCu+G;c9>HbVHԘ% _Or]\?aotnx" 'SRr6?H NDjf]uq#+9}~O7d򢣧>GWz c !_<ؘO_}b{ ZmUYtr X/]j{~x"˂>zk4O(N ?;/t pӞp;rSժǙʏGDnFꮅxd0fs_*&R;(X?ܾDp̩b Bi VarnKLƮJPAW %mVp~uGM=pRo(9f Ax ̻/m¡W)+s/u[Y3[Spen[خ+pTP0}Dk?lG}1))'l1JU-оkj$ѸҶWOӺ?ߔpڪP-f߭ĽqH'>G+ 5B.&z"$#;6vKK`ptNgϓG81/FF9 ;5 !1C['A&T%zRbb@UU٠fSrk{>/\ÇOsWUs/>vz`6QdT0$385Ae$Ш^ qVRԵsT|1g@^|Ah=mD[-qٜ /ILHT;PE&*t[?HTA{ D3SHgx*~ U/tJ]ܡnHFe֢eY$@-O~O6bxH5GG_WaXu /LwnC'Z!b4ybU0X3%X;U?|1f>K&b>]z d}Qn뙈 .-#Y?j4!fuh?#vO( F!6Ff_%$O ͝ݫðe1<]( y]aQ5]Ԍhx/=uafH&.k8e00EL[&)"ŸxXt{ke԰_ =he[-!d(faБ֊\NM5-tNZI6πQ+θ鴮j$b ~+0Z.ݾE("w zs]]M.] C+D4MwqU"DMΚ;J1P'2&}%׌w n"QOo(yR |D>-BG7#ȸFK~VG#Y a_P~(]u){m1/ 'S+$}YǁoHz}"z& Y %;$}I؍= N5!!mP@:3tb%l{.u|D>\z}-Ls7"Hd:lH ymh_<}y?b _j4_e(5p6)Y&3rES4{[߬%Ͳo9Mz{UեT=XZK >X<: pB&b فXVAJY8&3CM9,ym^rKQgy(hPhLr"oNd5{ (Ȇ z1v`Cv%!5Kms%V N^N&OL?")Vz~oA5o B0|;F c%czCv iB:EryQDIDofq:77bahۚV5sTb ] 5˞qT RjjCȑeNX`#.[J$pfr-5O㭄deĞDGW\eоE7@$njSOITX{i58RYQՓLs]ȉFh:#곥_Șb*& ]ȻGͣJ;4xDEKg?D{bSnwCH,6Bbcܐ}gd'`sڑ3D{ ׬nyKͳ* d ~ЪQN_fKm$v$ *A 2kM} $Q袉]zӆTqI_MJ@ڷYsnn }9'2؎˒XIpLFwߐuO$*Al~o{6T*/a$m=Bl.Tn&1}[ġD:8쭔@& DG^# -G#a$VsLU $U޲гllϐyU}_j||=t^.`Πu[Psfk݅v7kaH҃]ΰa?tZD|:,CNA朗f ]O'R3A@潩jp,$ sva,pX}(3v.on GMjS뒮Ɲ\K䊪2sbTИ򼎵*18v?Bܾ<`)r+#3~/e?<͗ܞ8Gd' ?v|!P7Ny%*;xM.γjqZ0L>O1y#qݤ?DJ~`^ 6;Cg>H꜁EE{ih`9Xt bB0S`P+ 'Qqgx88XDbȇ2ndp%VtճQ(WsM,\ì\U-C463ja0$7$gnjE]2, ?RAsd?EsvXUWPS>$/%^)!^TdҮQ'Ou ?PAo4U+m{hȦ*KM twS/\w1s7}*4~-o9`ob,FQ<#,7svDⶄ8wøMj( 瘣y0iYngғ˦{%h4;E}Mwɞk@KޫziOX' 2_d+epϜ_>|c+܋R!MCl,z` |WC)[?7)p6]6 cfa4E RE 'ESѩ&,#eHü_ȍpx_hM7&s A좭RTE Y$H 'ZrU25Sq=a. DuxwC7`UۙаƏFll߿ PNk'^@oV)M5S=GhF[߬(Cw KG\/rcӟ[,ʚ` hS#:EsB+k-)tߗ/z8gp yHVdPqwS6])NR2,Df lt W{zB( цѯO" |\# e7 *D`o| hٳǑ\&= gYt yMr(?l`Dq p4hbοILդP +~e^[-JPҨĉHViN:a֨GxNSUPI&Rp(0|a:V hјꂈ\@( F .:L t3Ygx0:{d}GC܋e[ JnCRįaQ QY)CP ?.nKٱBߵgޣ_=TT_ʠڈ9 bͼ!y|| jV[\ ;_|}Own&3վ4A4Wx3qv&J#\f xs%DᅚZ#?M~FPg7 2Unn0/~[.42[v5Zu+bf?LVkL\s3Eyv.qXi5 tcqYZzy"֤s\ؒw6mxhwh8Z$pIX8ǫ.(HMND;7w]gd+{%/GWA2f8_,L r(գBo|&zٞ僕,fme ArNs3:gl 'r`NaMQQ>z ٱA3k*ilG5=ı\µL-.ԞovѺ4 GAJ0q9B C3zлkUFaͽeBuĒmX?`  - ݎع{۰ش m'`oaj]G .y@ j\#%ƶs,dqg“&H@z*=.s$#[4:KV%x. մbƿr\|2svx3?៶dev]?4# vԁ9FpLqFaD*g'l9_ _PK.XpGXG] 5ͤL'{'8]SϻxD)hգG^++`h`QypKF9ahVkXK(?y t[S*Sǖ6H/nۻ$Ȑ\H3hFc죊?Q(UQcʸ.lqV8Yh>}3bet)?x%$q''=O+cYQ,c5(XeͬB/*M6=#CAoHX)r cS+l2YȢߐ$Ow?*5uI-,;6q"2 1;Jk"$~q-;F4xEl[tZUϨ.o~,'?k#𡈞Qr"gb MrH백gYZ  v`v<1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM;1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id550D:1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w<]D?7 {?:fH\{i=4D4·K5M*de֫%AUx/$$3 NvZ{|{ę=N#ؚ\-pLHSE0HwY8,e[KDl:)εXbʢT1 ;B L>'Ʋ ݖ(ӐKTy.i>eKX(}bcAاF)tק{L)`QdR0_6tϽ>[8Dt?8Ek#FT${&`Ne څW6En- .R}vIbyHW ]^)j[5Ǭ?g<=)<n ZDgKebFLv7)J~.mþ`I*'UJpqҟapAI1KT+x [A"evMl X/9k;Y%znc B%\:AfS1߹r-Gj"rIٛQ$ޤCl< ^{- {GcP~Kz3{٪{9LQK99!~oJ|V}wDenZ#FJ0<q=,?+ _ >l[!h}ďX<;9Y(̊W&W{Q+ ձgYZ{9 1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtkWAP<1JItl[i 糢rP?ۓyo\ cUM@1kK"T%E?/eZdLxZ;V1_mΣI[ &^ 4@x0ūw|A+vQ#-Հ5צD@ A@*1jh>YNк_32WhҐe-g񔃫ex Uj0|߷H)vj$>G8Z݉ڰFTHS IikgD w&RB6Ly˨Rd<8giL@KEҠa\7#w5!黔WZHL_{.:EBV"wPGtwT~7+!@D*^Fŵ}hH_VRO|}DҘkKQI Wbp ?|)gzx&U3y -{LS1keO-RFy|qZ_'Z%ݤ6eO^Tت9:U\h5t 2\6#ݒ6Si@YVw5d<D5b=E/HճiUJ/|>Ad]1GTᄱkxarhX:L?ӥA:E&Rw yV]U"wZD 21!A qKZESLMٷԃZh{YF=&4z(vWr^-P$&nrDz\ļ+=!@?$*BadG<$Vg *]ocM"rHh 1cGr׶PaTx.B>6RdU=0bdɹ|aTVMH7ȴWGw87.}kR" :z~zѭ4ֹ[tYϤZ}ީ]ܗ@6k?ljqY#p!P90ipy-p:~e'U@x>eH8\ @.\4~j8>N}8sC+ZBXz OHη& R̛»S*Ĵ!r쀸Y diig]{\0.8OA rY,:p|H TGbCJ#:;D گA9O ',t75ɒBx% H*zcS$2t"e[R l"T.jnHH8Y$@gB:w#S>Ω\{~pR-'ql8FoJRe. atH )Ec>CF劢q+o239ZbT}2BTpD "𺕽"} JAoRI3;mw5FDѢ؏m !pʫo@?ŔꟳWz ;% mh4ndMld|0ahb;j&)O8O_5D>4MN(sL z:[?Wq00)c/W]*XmGd}p]r>P,m NXIJn$LqԖЛ"nq]bWŧ+8*KE`I"&P۟c}7vg~E3k +ޡ1}숩lέcz+"/(߱*dǎ^)6M~;K$۹.D`ak.NqH[p  :ŎMe.$G#*lVq7yE"j`U]DeH96.!<42%x:}K ߁O2Ji]pȿf)ˆ:'T!ׅ\q++тYLLCMYYN+jWX*kr9^KkQAD^#D{ga XOQpz}H.6>SJ׮DZZXLK"!WڅjY#&wn#]69Ky_C}cyia_aGXȒ1CZhr #OȎ`{DfD$I@|]2e0,Q Z@~ _??O/H5 ٫ e%5 <ivEE?/5$4_֐kK7F3 wٯ8!E(&ajmPƪmj|j@~oPjBR.B,[d5b^}qG!COXsjO,r;ݹіtA'gsSLΑXDL->kQ!nj(H JQ(ca$}z$x)V3Cemb֟ zT9nBXBF6LX~X& -|/܂eHnzepM?2UԆ~XVj*L.#!$¹09zTi:!dnbOLM~2yrne/JrqcyAYI S[R@jT5"%p(DK&j]Ōj4H謨;66h~4+*pBmT]6˦cK~/,Ht-&mL_ǭ=2l%b:а%Z/ Ln$ cAy%`&r5 ַ#eY4jIl/j^؄hm`;+t.qq.cۉa:kސ!ߑO11U @Kq"4FiBĐG*)E,EI*2]܌gi!v6sjhpm %7 iSzNVۡBk*L7"Hć#Ds \xe4I6u`> -J!0*G~z^a ͉^?~L1ˆ˥3]*eW!:b׀HKSTQ_3*dVHibJ8R;W Uh\RgpxW?LRxZ*.qÒ|t8?3v,RojA+u|^)λFCH5ioe0* &n4gYZ  wj A 1E# g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[a|\q,C;C7gԉF~q5^ju4{薟=~a1==+^tb@}dNO 7_k<2p_^d0!3:l]ew-*#Xne< Ioʲ:0l@1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyH?1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id538@>1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L8]D?7 {?:fH\s| fʨo@oR xj[/l鿒* %SF\ g?Ef(%LP=nS{eDt5Vfʉ[ALwz`Ak|Ka!%eʤttF' ӀS/[ ۫ZdPT"۳H   ʲ pHܳ<ڱ@xYۣ B#u)^" ֤"SMFȃ,ܾ75Wo'e#LDRᄘT>xyMv{!RD쁐P%l $tj`U邖Jd6LyQ8#K0X:<|@fp  mv=KO&!H{j;$1Id0%X=e6232yUC@3=z 0;M&1d`E ]u踜86 T32;87r+p6ڦpAYF~2L(w1'f*pz~VT Z1 B.xUa hySTd~i;2@ (a /jP;!A neNPN5!XDt|tg~[( ],,ĢC Ap6gcܭq%-8s^L~O:1-nshDeMR3sqO,_o?P. kF^8}-7x ogX`i&Â_Re =U]9* ݠ(ѥ2w!]GKW$4^; *5_NW1ujNAvZ_sH n M!u<#~;Cw. '&]r<wM(*&|}U5@) 3IֿzNF,%zR P_μ KFD,ae"U慊A8CP?uluk^/?G ݷoYRdKՀ3BI|cv䠟 *7U:;tJJT y&1 @ڨcgٻa!v>SXG<z;~' *S['GռE wE[7q9NG[ֹ duaxNO#S+~x3e066(GVośKp@UT]א0RRizG? fBMZ;q~шSCgzF0oLԊ嵍}1&HQ3r:1@zTX .F<|͡Ai hx"EAb&)"a Dߵ >V8L$6 X_.nǔ+aұv` 9(OYq1:kWR~)ӒM9 ({QX")C*É=,dcT^;|j"1ݐi0h6^XCr 1ͼ5?sX漲 Ҕ,4]qJ>Y1!&qspa&ĐT:e '/U蝻~ t?X0TE8uSP>j8`>Rl18`.1KdI ;=e{|Bb3S%eǩ .7^Wȝ,l7wI_Y'ڼoPe7q?jM$is$#<]#9Icq>7`NjXhQmJ Qe#dGKt̬9M]qk%L$¤~_`8};NlW]ҍ!\WiR5tW.FJ7R YTڍWqgBΩ<(P",|rBrJC:Rp1g^8aZ~`FEAZ |59J"Е hVN`UeMdд@E!6A㵆 affR4w-lBŒUځxg3*+M*=WIr" _9Wrs!= J!+o"CKN&s 9d`}Raګ3 /C-s L0cХؒ,J (O̓6 ;qkٛP5pU=P!,ԡϿT3D'ŋ$#nܠ64+>6[bᭇݪCn@y9$Ejuۭ%~Au?~#ڝț8qY )ӔF@c}]Ѧ-tk EX;X#6NުcrW8&g Ę&ޣ /YE@"-İfi8VˮI$C'`z^dW)[U51 ~wНSb/p$ejh{4Nr8P꽐zzLif^-qIt"(KpY6^\w  9Nᰲ?k)JY^^%< )n$Ri,|0jXSْtگ k)2nDZ5 ?^{%z}ũ)$eI -5cG8S!-?Q{ubfco<!#]r%Ó ,&}yFJ^ӵl xԎ)|y"D2˰/j_aVYP`*duyv'vNBt m kwro-8v 10P+ /}"$quB{*D#V.C>~7$?}1h8Ƌ)$!M2`:^ts2C,xk_7մuHPl=τ<yj;c925@T fm EQ1Ifh,Ω~`OtՌR`/jNS0,.w 1e )1:Jۢ 8N}`?PhO tGzfL\G}hAGZ֋杗8 =blrD_9xҮUf|܆nEcMq*:!X~o21_jBƵɱ|@Q(f5%4Qz՗3};6ee5ӜUkY?Ė}3Kjk 'N\89^=}։cKnx e0bM 8j"?(% )?;W8)SFoA{O٣+ Y5/ $^h6p_!QK6ԕn?i+ٜTc"&oXGG%W+5[h;D_J'wkH)og1F`WKYw-y~/2wXGbӌLIʛs`4 Qus6Z%%X}ZO .x}X6)0iR2;w!ƕF_&fG77vܟĺԘ\ji RC:b끇=^ sHnh&%)2R"4:eRBPZ'᪍{:x2= d3Ă3=$P,Y$D".Vlքɠ!Xɧ^)hoKZH5 ΁ej &cȟQD:=, b-.yui*% Vݥ)KEQ؝KfC+pp)⢁LIsu/'AE7c ݨSe̥%a94)&Pthy7 μOCVlF%@#90~bYbS3ɳX;C 껑kO%TNV? 5OU꿥KUy_qo[8B@b[jEJ2m`9 T [#.赕xoJ"{5/~!n;䞋1;^qމ'>]L,[M6aCFd6p[|]#sD"Gl+xm4G ^4)ueGX4ڔa14>A脯+2B88^dYOK\I;Yc.ԍqݿuEr>~w.6R07p#㘒 qOϸmZKt24f{*Q,퍰x]"izG $].nzX2jŏ|:ZHik1e8Og[* D|_hD1}Pb; `T2I]NF%P~)&g%C%+v%|%tؼsOƈTXCŠYJS c9:aPwYa lKXV!Am~8ML3_Isnߛ$?56p0 %⁊`G@ FOm++R: Dd*XgHeoKgHjʛ x(uƐch~+*(FVxCZטOgҐ d1prLPor3ˢq\$e%ѡ浲T jn&8Z+cRNLQJ]9ϜؓiVn0x JhsnUawě|X OLz1l/*f]x:0(6 [|u\=𔫴ǭA!M=V[nL=JV{d|`N;BO+,3ϤB0&h+D`c]HVKGJg7O["B;- qpNdZQxCؙe /pU2͝ H7-1 _ufc xr'ȥԶu8cVvz 9o&+(*">ˀU6lI^amJRQ6oQ#o~JyӨOݐӴ\s 67E {Xb h|eޱ}@IҧAL{+UDN6K? Tf^'dF_1MSUN ]Mu,OǦ<~,53RHʐe)mƯN>"Z6@4bFu,ݣ΅>FP}h7R`kbf@ ȈMTGwa&c(a髈SQc;f߲ TIz/>yEtST>=\m杴{ޗM-y]Ewp yx#umrbv`ǫ :4Y_5S/xR 2˻e3 ΙI˫k?Go߃|~;zi ?)I1*/O`@X3dU >yݦiL;'q*.ɅeQ5Ql޻[Ցz i|[fFqp7CZ2~ ٳE瑜n1%=lx/[dLe*ۛYIa4^`+_i{a hj=vex QxRؿ7F@b$_ yit4sH nDmVO2LNR=jğa}+z~Žw499cy 2YpmlD<,"[!:EJUcY,a q5qڥG93;#5n {7Yn# =7Ī;4yѡH07=Dyw?H%ba:Nʾ_Eh43Ub/F́6xGLI7|xWr-P ̨nE-l[4Nku(]Tk!Di,]{pBpqJ&0\"Qg.6_Ui,-u:^f1H\g d`"S|m|Y ?Yu^H'*c"KD"'' :QB_\֬vG{*ZC[Un-amXgě4, ȟ#i Kf-n~9c`<\@BU?Ioi6-sQ6̷ā|A 6:ihxZOL X+-`*SU;@*R,OUa53:g >:ZWcp5pDI- 81K#{f$6ҤVy[.''7)( @—? m2WXܐ*iK=yYZpQ_#L[MPR8{&)k3e{#_ "ug僥/ٍr<}VS= ?̇AYD|+Fx/=uoO"'QBgp>RօWOg0sKS@$0"o˿Dv)D52! fpk^t{QR$w>ElK+e" ͣaPvL,z;G>^r4s>#i.|[}|Oj(҇!/Z*ALzn7ʈ鴱+l&?xP&3l2cAf2qBfw.vk°(vjezO0O+H7i ""M->",u]98Qt'+G}I5*F)\s N "]C7>z)+1dj1I=VNj3ᕁ0~V.8x pg tsk'Mq2Jxp2,Wd=E"7~XkA-@o:2UByi%˂\=2nY8IEgQ 4\v&\\mK\ pttȰpgR^D%Bm2FY9% =0#sߔͭ+\5ͅJq]4ȃnrKF}+quPX:3/+VN[6''vߐHJyqEp(p,.fz!yH~=?\G6oal7@i6E#) ծT9f8Vhm)Rۍ,ei[Noސm$*\NdZc(eo!K 罁HTmu_1ަ#SC{o# di6-hi3? ڬ!3]~յ]\ER0Jwm" \J'/.e\ WHC9EDpbTҎoYLB,:Hxl@ 2VBct^0,~т4׺ 6yݞOPB%)FàJ\\+7M׊8?'1m5u):'ުI\ɻM~m+48?ײ?WC^N\#Zs'S^c 9#‰GY9I6v@tf',9]SrB-Bp^f":cmiF}+U߫/=mѭ @Y»\X#ʝ7[h. w"m;:=5u \X4Ow p+*lYrOkK p]k>p1Ki,K O늲O;C۪ ΀Mt$ZvF9o 86CDCT-޶2`uTOPeֺ4d֩`s\K:1YG kĖ }/#\79' C{全*PԔ^)S1UHf&r_aCYaA"uQ1|'%GMFqx/a̞&Qs^cII0P޽G.>9;D߼"*{צmHnt3TO puN`|4aZIGXz07JA4z f j+ʠ QCNU(un&uy:6K1{$+$KTfeS!.,&̣;q]{l2r[Kِlߙc"q[eOYc#^d!YOe>R,ܶ ?y{\-Kߋ8 Hu4륲 0)k bl26A+Z9Ё.zs[#gW( ͝k[ۨӶg&pG(])Ma5AS;";Q P%q4#`1)Fu #ͺtɜh1vT7EiƝU |*FM^gMuoo~MK u<B"8 ԡUGKU}m^|_a-䎤p:͜͜ P'`'~F]{D }G((9Em1d[̇_̒@} W=qJן ͓?MZ${9}qɯ`s>'C-秊D44VtnX 2n9xL.vhȟcqXy 2poLb-J^rt๰1!'>vyAB744iq4~MBpr?Ubp6HAĿ~j7, oQML*1]/Ϧ59xJ[]!c5*؜ wJeuo"sĐK5 u%ٝiInGm(@Ȣ<,~hƊ7D#z-XBS[ړF+Q;x%ҁYIx׿uοl-Hp|q`L'M( Xn1=tH&UM\y,DL~N.uWJ j*mБEjO*)9)wr^d|Ȯ{_Aam'HeM9Xi01.;(zi!pY,;mQ9U{+W.7Q3-V{XHL'h.+:u`s1ʋ,\7MSRq-cYmp*hrIVqlU q(HT|:qu`zQJ˲s>)Pd&GX-MμQ 3ܐOFG* P4!_&{G3xK〦 }5l9,<Ѳ3+_&w?x ;p<=eJ l,ݓJ6nU!5m)6zMLW24 Fu.krI+IU&nmL ,{ hڮXfٗU" A08^mKؿvkХ;?ZQ{3;ͪPd|*;з̪v4Wѱ4 1C9/Q(~ՍN.%ױZpE-?&57$,c7-~tӺh{88=zHA:>f7֪e=cȃg3B鴶Ap"rd\mj n'R';x*5\qFAf0!Iu6W[)՝>_T-XJq~+OFR.) +=ooC߯w5m[{.0FA6; tyoJD ۣ I{.1PZy}`꤉/pl6{sHp?h~+qK;l9eY-@64bBLG1C/y?]4iYZ}hI$XilxUMY$ŕ|KYB\$ k1T2Uł\VmoA2Ҫ<< T:#]'Y I&Ԑ>,*4N{(ӛFX&xZMFB#ntJ4LWRGj=h?lbߜ_ң6q8-^)%2 En^ՙ/[ը*vgz̵!-VXx ɠƝ*3[ђF0U>9}z_}6Ҿ aQJ9ں"P+N$?rE\ښWT~mF=;od/'ZaeDČٺ1O_n%_kq,t@7,iill6t|#'_ދHfExgBj<cIL9#%w3lUH֜ GPiWi+Q2un#-͇X$R+7@QnLWMOmjvFۗjl`uL*R~Tp.#_ x"F_s>-;6XR1:v5g?ӀW YYliU{1KOAJl39𓸝eEqcrނuP|cmKz~ĤrosCr0pIrZ&D ˼3|"%!k +@ipڲ3n/XM ghLoe܄>`e 3;@+WjC O@y%:t-[!31¶f%Mc%6mȈ} O_y;␘(+{241VA[Yc$$ùh UWwA:`pg1>P\:PҠ[UW*Mf`[Q&6YKnP("2iL/qvZ_"Ww)D{ԿQh]3*`"}[Ĉ:x V_?%Y+7Xq Z{h\==­1UEbJ D)ίw׋Dܒ=g1êѾ2^Z`P`f n5nClL%e0Z ;yE'!Y~*ӓL ͘|suY~STNCxtK.b%o`>dj"W$@UIOBd'{յ08k8PHE'({TH5$9RK]\N2AoOTD>GDP=O .e=%Ý-װ :hj,jUwwι%YpSAcl._wR,;DĜbxB61ʧB,C|,$ `rPޖ9 MPťQdzb_{%o/vWF Bs.  ;|sOQ:ϙ֫rX%5NОVg!]V5maNP!B={(ni$nXy/ve2΀}0ߤrM<`WG}4%S@wކS>E1A7De|6y|IO1mԶ04yܗ)L_؊[/*Tw"S׎L?+Ɯ 6?^93j7cϸLmn27e&-=֘; YX&ep@ww  |u_ȎM `\LoyC/j ;|x "o)X*DFr@ &])+<¤Dp@{O:(Œ Ҋxڎ L`Fϓvۚq0FΚΫW0*I#hӍ`tT ؐM"Q^QZ1"5:XH+P^,K DXUe\*A{2."*LS+m+{Q-EҒ#ߤhD1?: }4r@͗G<@>T p*l9gjφ"h * uQȚdb(mY| Hx/^O,]N %wHӯlj4p>8骾Y̓/DŽjht$ Wy72V0ØdGk͸l &)[: 22]D"3(A~q2KF|L_;ŵ&D[C5-;:H4bO=ݢY(_ H=۶b) 04R⪝GU%[=qˮdչ]#(Iɧ+`\2a/}oZq/)s9`{ Q,;pUJc $&[`K݅-N\ o{ɧ.A%~ì vP6:cv= `LV5:Rؿ3F{;mv8{͹2{pȌf%o8ݯMx }>P><ZV}{ {W7|3*em2G^,jgrNW/@lj,շ pXTvš6aMOLIN7BI< SVoShjW@`S:J҂^6 K՛ŧ͉ZKl"#⿂WJ,Ow5FA>cW1nq_5j/&b+Y{^_0)*VqlK>eNε@@$>Y*V6FǙ2i)֏!Kf-sR<geTlDO-}.-i<w7~^qTo`P9sn;甜 ю,WO\1U$e#=PU*xW*]$ BdH6ǖ>kA׈P1FճmZ[6HMN6O0EMGvE=w+qosdEh*.̛A%./&L"K)zg0Sqtcd;;x%&H2R$6@]ue :rVѼ*? 9ZBjq.$ muC,xPBEAc8p(Z3ĄkB~QQP9U7G0|9e8t>?x^PY)(sH{ 67|\!z9B(kilGbOD(ٲ!&#=n[Dѿe,VhJ1JFRX}_mC [>i) 2]EW ur?V *@4Zc%SOی[If asɈX,7,GYYOtI*xmӎ-& $pmyBràe]>I7wso8vLGS)iՙbM_¾q1{swEhm` R?'8àJ?A*d#,/ŀKƛ1*xc7<4z|vǐdFBt08M/'U_ơ$'Gg"k?G@ |1xn@ś]9 )ZE'e\irg$;IPbUs*Ftru D-#YbGcwxhZE@SQp3930mc~BN))vS WY7O.l!\<JhR4z\1|GQ>oSxb?}a%̅UG޵lU)ZhXw:KH}i^Ps_2.b&9Ve[.x>,< PZ#38<@#ƠҁmdX`qyXAG&f ֪PGCSB}[뢳,sTBh^E/a-NƁݠ;؃{Az!w3 )L4Or9.1r+Wsz`䗽q5m;2_R9JBOw8}:=}<5 /+.:D:BU6">x>ì>nyY1A}2`aN;&Xb%U@$ؘȺ}`F"VHL/ V)Г}Pjǫ[f"E%>s)αJ'Dm3F-QLx홙=;dDUex`v8ԧ^_pYOq[!Ho m1@Եׅot\MYVdϓ1xrBڵ)%@೤zn/y 2`0a`x#79 xB!cݠI(ۉ.[&`Z4e㜟sSKomGYdX-u"4HRM8X>iw:OALS_8ķLS+#0oT^|Wpm, 8۩)\uZ\'~YM?oS@TEˤ) vG5; -'}ַ{`xs:QOt)@BoOe éa~pq8q7==ƨ?tIpBlT4XބqRjkh Z#P , P/ٕmH8.TRv nG["׫vDᕊ!/@CbP|{Z/Eo .xT;dL}k)T;#7kKx&O0*΍%OWIKa`Mf&x[oK<+?|%ȶZ uGb9jP^AN?.»MyTP+=nÄɍ"ͤ?6mdJ{ kqΰP>F^zq#MūÕ  ect9c)&46\!)xRh9+p]ᝐRoam2h֢aB xNiXҧ]*xmWT5Ne]мV$+*"4vR.Yd^m%(֣ 9{TaZs*k`uzg%6󀺂O]e4\ ޒ*zb ^X'pFD,Vsb}=e΍x,<%^Mz :zkqJFd SOR1pad {TQ*T!3CllNn%sL@#[sg:B>=svȐ K|6vld .'ԗvm)\Dz{{hK$ -U3].\N=:L U,:ٴwstͤ,b%砕1%z?+-ֳs zaW{^]=]t"$BBkʥ bl@ɪÒX)b Q4~ByE!u;mEHכK9F?iT9E,(k3F^3 cEJXi$;{-_Eo xW~i4?iSR) ,(w7/O^R#`&zemF5_}-^ ne#r(DH .*nL5mH2VrsicJ+ y3VP ۽JnOa 4W &-/*goKQԴU.ޛJؒG*\Nf1K*g2")vN"|n4(-m~jǤoQͿHa%HuCmdY<(Kl.BZ}=|ñ#.A ?W:k9.Ԕ56uK*`%DMI5bfUVQ,} Qu罖gRi9*KUܨu߼[FQ`_3s+fnJ'<'oC{z>_N"DybTD 5H2sD]QϛGxY9+6k9P; %PsADhpI[y5T1% Dͅ&).aՉ hU'{Nx*b,Ϻ\d3h@K>cʋƁوҬH4fqBlE_Z*tjW=cLy%.ͲWS/'6 n|#gYZ G GnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id552J1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\3"mtESv1p  %e5KA=(Nϯg? ;WJa@ HoYPxhZ T ɼ}nkiL "/DC&T%cxXm.( I7*cl"#wVȥf@}^\-(mtjpխmDS2iR~p<Ψ디1}ij>]i/*reSlxH>.]W _|Ni[8lu_#FSfys$ޓޥaI? ','vj h.V%PȡbL8Vă y`Nn?>obB,q~!'1Q4&r*͌9_+OSJA'8wPmLʼ^g`n(mlP=# CaٸAQ]BW^:-&OC?fE$9!P?N$S$>jEGnFlR+ ZjH|`4׋t)ܓ;2M5]} !zGu`.BŇ9ڱCoq8=ZB&=@12cJ|.vOeXlc6 @ Ֆv75Lw֗5t 2fΉ6L[!a0obwBahQЫٛ) i@} cH@qYo;;l̀AɯMB+ RſQDΉ~gމ]hU*pgYZ~I1G# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9lo|MPY0m0E TM"ʾɩ tOCǫeQx]Ԥ@xsr@<^ |iO3_p.; %(%@n.G|oeyɴ&~;F\Z'4XϢ׷*W}O=R̅NE.s6^cuE2~HXj)|nZӱϞ*ol,%.o4S2 YM< nQҠ 93gJ[붥Pl*?`. /w7fW%)k0bcTzut%T&~SPp)[_4ICBG}g X7>=:6۫4w1g%~(NSca~Z qЏ*ȝ] .5;o\}s/ze­9X0խҝRcYQ -A_Ω($k rb5=c&i1ݓBfNL1b/XE*Q)mE%`O*ű3Lԏ}#cMȗ /~l v53Y;QRSU^%u)ELK9&E hV7_ bGɾKWXz:4 1~S~E0ش[ǭ’)nk{|kRX0b>bv_kerTr| Vw_FB ?0aA)<&"GBuElݭ~f2 Y1exøͦfJ+1stVKz w6 C_%]*:Xl aXIӍvp4N/ nDH将d2K-wR?"AL\+/TW~q᪝^]C\ᶪD:%lgRW!]0LI#>ބ ۸V,lKݳǢ:Ռeygxǫ `D7Z}>/eVf!'a:e SfprP1?I>Բrו[}F $v̼$֎-$X1 ܖAEf![K 5ac'u_fxoNk=یx(_` hGdq߉q3ٗIaR~t(FUI BqS\Xep*d)^fBTle }k/' [1ot-&<=nl}$m4%p9TRg6.I+bʏ {z6^K -V>b{G1P0DV|Zchhg8|6dv-?>)>07nH1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIG1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id534$F1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\:e]ié!|X%><5e5;zR"1+}M.HXNQuM',Z>2FwߥD)0QZj@ g9j%bO}mC;eF%d%0.\uФ f%/ r`M Z? A,"qՇA\^%;* 5k}@=~zd<ѝ b'n9- iv*q.+GM np%q@e{V${!T*xݽo*\r7GyJq&Qs.)l„Ǵk6t``qNu=yyvE;ܹU.(uEV#:Ѡ8_`Mq4Vaj̨9&DY  ĎY;V:'ߑ@$47)k7wyN>F-d)2mDQa҆nHkMS eftNy)H[ 9O?Rşfʢؿq-5`V Ek f?ꇟgYZVҲ$QU\Z$;uZ!f0S?I/08 83ޮdnVNt@\3TZiS Ad1W ԌWx@k+Vt^x@ieWjH>(n3Y?9]?Fm GZЫ>Zۋ&[Y B:nnrŢH$@ !{pq1~z.Oٷ;νk5$ր1Eq q)&NUQ0KqVCA;eY$+ F9QmAǟ -аDr[Q' <^~O1J8mtM"񇭭zw *M}dY:үl8S0I@CgmǂDV^8ڳc ͔ؓWC mW#C ]L AD X 8#oʫaVIn^ '1d\TG3a$-G= Ѱ׃QBd4&J;$3ԥ3j OgbyolgT\XWƳ}RbJ:WTej}WT3]DYކpksX=&>R'oOuO "#'|} ^q|adb?[ gb6ʟV :3x n)RfRě3$ :ҙ$ y;1ptpx6bˆ[?eO_0TOZmJSP!:?fD$L}ҊC(kX؛Q꬛ʱ6ҰWӔ,1uO1?W~h¬. BwX#Q՘ ]*tSa3T 7νeՔl7Nd/Y6js>!U.ϤBke̢?q2tK(hE u$\;haJCoҩtA8{˕ޮyxQ7r%?rZuy@$VIME):hMK?I\+r?JYf'y;s;X+h-(inRhf;frӖ47U\{μ>6qD}YїޛGܿcFjD-ʍ x^MRZ5'(%"_%PSpߤv懃Z&S8-$W_8j;67VdHa1; '3rJO-lZ,eW|q;3uo-=HV-mMG߈{ܼ/8DK2zձ-.( >)!UkX);n}=o NNcFxw]w ԕ׮EN;h[ ̪bӊqq.9S,?YLGh/K4\P ymV} 5ٙ*1?$ݪ9к+L|CPna5z9Pt`I)c] gϷ`ݟxi1{4z..2d]BT>vP%~[4Mx0c؄dyŒֳ2)Q̦t՝]x\zoA ٬P*? gt)g B) bjG'f6Tyԇm=-3Sh`E2 [ےOعU/VQ,~!O9_ J\['8J_Wbu\uu15g" FHB U0_Q(d.d1) 6%P%;gmd#kCWB*lBXM!W3c12' ȟ){ʌ¾;X+a %|l2%{WU^%ד!'ծ Q4Ł&)"|=Թ o4"ODPE~JҡEhҶ$*(=` dd%2ug5 9xBM9a _2\JΰVy%ܔ,|&Ϧ1.Ƣs[tq w~ XBѷxDiMx؍+;ܻ]A4FξpKA17K(PM'kaEJ4jS͹w xV":J yWFNT{9ً1/ bUB;Ȼ#9 !v#H$UPSx~D zO%*Tb "5gYZbM1G# LHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-Uy1W{`|B{)dD{GvN\ꪎ`0v҂E?CiAZCLفX=x2^NnuG/{H'(,,g? sI#Q^k FOfcc2@Ai(j}vqԏ諞a C۰k;Ƽo\Ë~ W)s".e;_"_PJ8LB^{Jhp¡WoU~Xb,",?dJf3 ZoLu {K2t~ΡGq#_;m>WPf(rk\hOpPPx,b\4!Bi%^L;eO p.m5Ⲋq:m@Coicgl(nK4XahpU iNA7➥?8a$r„wy!:qQǣbrVc0–Q  16[VMkyi{quDΛԫ~mZ菋ԏLX` C n1Z@@kP S0:D\rRB(~>秽C^e89{kINͪ˫y6(Tm55ѡ}Ngi62pww rdv~5IaҗR~*s=#Si|QډߘH)<~ yaցLxZdw].4ۆH0r̥HrYKv%?ؖ(t}.WgVy~:V_~ͷRO&ZUK=-Yk*4X1?k=׬I񐇊ݻ5fƜĽs/`qPe(8FKumN0I~)MkgH锵2s X4Vp_5Qmkeދ]v{yٱjj¢o(9z'{aƌ@Wd,0 l={蝨)6-ݻ g.v4QɒQq= Kn*6ZXe|FtbC= =k t„,f#{6Vx,}y#t<=?V(LLJ8+C ^ Cc|A9 _ᅆblD]u<(Oak˧ ۘѯ ]XpisZ} dZF}MW.H9֎Kȴ7K7M+E\,#2/z1u9<5VZD$r2A`Nc@>$|$Q'}m~iBC{u-LY?5 Ij)Џ'ŢǰhhJ馪yZjg$p.mniÕJ5 O'pV |`G3b8Qť Ց#pasp O 2 E BP]hlYuH`Y|'DӀR춄䝉j7- p& 9@-__#hYhދ7#zgG&6%^\ 7f88m V{1Q+$I :tzvb:u&D<;ǿE*:D, x 4p( `[5OBJ Ay.12gRZptuL ?T>vwՌu` Ӌ|+hʔ łVqXdS]Ҩָb|şH7o5ĐK`n\b=Ϝ╥C Ss͋t`{=Zr">&h?="l^|V{xgYZNRf^2p}▞HQ9 /jG\E H"1ؙv58xIDyP테#,G\ьOU}8bԪ L - h ;4/2[}ʗ̖u -F즠r( phf2j\"YĈ`5Þɗۦ 1ѻ f"]~b_OaXR`.D JO^'E#Ma[:=v[!b .ə͛W䐨Ղ8\O5$۷6 t6/`xhhFν^Y7;`]?'v7 /6dO RUlPoCCtrXp =k@ M7ȸ5/09W;d*m}ΦckkQ*~TI>[T<# ^&v)ن+hb\3Uا^Qe}PSL ,z8UI PRr҆e3=x0\^NgF?C+EB728#EUZ, W㫭ރ?Ɩ)ήZEyd? (ڜ:sfzǶO8&@Aws.WoDN``"stYcgN7&IZ= Pͨ]3pUBVneCǞL:l۞'OD>P.o+q~(¹bi()L]}-Ncg11ڨGبyLМW- &RlSHQãtV2)cE3(@f`~hv%hj2yեSIƿ̦'J03ߢuo~uaC5vŤL/J,{i2j h pOdAdl Q?ZDƠPz,]0;jz_%!~~K7~ݶw^┎~>m;3n)g\6D{8 R{#uC2[I?mۉiWe !}'j #ёvWJrE;'b++<@)\%5Ym0ـ̽ E*ƍ$ I.=f.} :zmƍ/%TjHwdR@0Y(4?ʬ 5Z7\/ۤۑC`. ^:zMG_nb<HWؼF>sM4:֮Poɩnu[[9bcz"码m]7 l! ީ2jhQ?h0elCr]:CSjSOOӻMqVXmt琇ZMh>T Ǚ ē]#9_YbqFBػ;8ٚ  ~(^zFܫ&1 2KGĒXh5zV50o Y:v7XM苸±BJ Ї{UU6!>9dp, :s]N"xrx,I!Z9N`qZ>%tIȷ kȪ+B3SBBFsZ TCu9ǡn}Az`z1>ړ׮ҖKl0G8G35 (ߥ b6$ 7c,o%b51)fHy8˲opPfeWW@]⡤ZaOaӪʔ)Te}1(iͣ8+QQ6PYNqf'f @/}2DK&(=qz]NP۸ث>q5Bh?dcB:4X E{{3c 9w1h]u!ˆFq[nfijoj2 [U{h4lr9WZӡʒ=|Oɯgm0whG;6Q霷Tֿ;J,vZa51lK86rliOOD:@?3:NQ[`*r`}oc$ed^Hd 7xyʽ/WgNoԃkF5]@9#P;OKq6\X~EpRwCU_?9uj>W :^D#tجɀʳUXZlCm!r=<ԇ= O6j81 -ij*1Ɏ6UK \ HM-UE-lњd')QFREfC{A ?76M0ljޛh<;<҉n^EP){@+\"*_jv vrt)Z\l$qŋj~#r(U_z S.p܊p]t*Y7B$xua'[6W_|8e7Lݟ%:9$Kb߯A7F4uPv_я,. .刳GӼuܮM*YfT"RUꪕGm077KqOu&\qVtGGV}o|E1 ;%x`$6s6PfxJd 4nJ9ɅMMY|gE@ȹi J ZoG)%,oztC(8b 3?3`M\zOϷ"̡M4/z5s+-gYZ   R1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\y $0e}VdZ~Q09:hDWަ¿ 4w(M1u+5-\H3YkT|a?ꠜ_ósڌ5g->F?& CYEhS-aP@7&W3:,LWla&9L';_ͥuaMuuYgp@]ܭl6A@voT f чg'Qp~ kOٝC n1bרQ}]z5OfK^4(5aQqMDlDoZ^őďjpEQCy9CZhPdE/Y>қuFr N\x|㪂uJҗA+.=zH77*-hi P0%xy;??I+ͦsʚiBoߘ/6ǞIS5>y >+Nj?[ A})@ V)ɲ'"h8_f˫raYHzfz#Ra..ö" JeH}^7jjDYg͆h2 _/^$6#3?'ݜ,^2ZvY$kaU0F7bp:QXRBTBn'&ŊeAptNu kB'z Vy6=Ows+? pCJޥZ*^[ï߬C\׮mȧw~ՒWRn.JnGe˔p^oᆰpBo:a)ʃi"ybmա0;ϸ?͐A}. 1EHƂ-8~ -ه]Cd'5٥B#D2a4TF<{IiKt `)\D}ky&03QF1Gݴqk&|caCqҋ&wkeĦʄ5(y[r!'s=<, Bq7\Yc@u~o&!f8KfrKwulC7s 1E@7z߈]ta!b62Xn6w~c̀l}_MYxGlDlٍ3 /y) xCs[b[蟂!Z{`~$%sfd31,9ͨOWʝGL MAw0 $fnu a KetlƆA.zk׏p2oX/OUIS!ݧM8n'Oͷ!:nHXїZP=+9y `)P(rHYA }G 渣u$6sco'=T OIt]{ ӘVtδiD;nhܺI /&j(ҍu}HC_ǭzxft0h,յAMLto+ RS&8K7E@az˿b||V_B |H  #gYZ7zXZִF! g-]ŗXi%{F~ '!ѻSΎ @*:|o&ا -YY%}UsHiV֙F ӡiI):3}3?&~ ̧2UMD}'|"&PB#V)ȃxaHm3kdh(#j,CQg{~qFU#ܟz3B[hgd6MhA$CId[iQKϠek&ui!Ra[خ;tZNƛT!D9^AL8_X1lfO$8SrM騙oL$+@ta\ۊFȑ()!Mgx GNJ /0igˌMҫ(ĺpjZݫW}nsE \ W6gG)/'nX@gY-?9F/p~D^Ʌ` Ox]fחҥ|I f9RN؀~ZVo!njA`hm{SfZDڷLN3p_B5~C!WS 'VzRqrѥj躊*>idm_-O;A!p|穾KVԗgЭ@#+9M&r)P?9ML[XP^ו[~oAbQk_>Q gr@XQ6/sh=/[b4^j~)?NR*W 4) \t &ny;0-#o'V1E={$KP-(m^Ŕq1l~tiY +D68^~Wike[fK+ήA,xE7H q„h15c+Q ,x,895DP-4,A5>C2(T%k#IJ=պl~q^:0eV{7HTr0]0Tr2 4z8+Q݀F֔ @X.2$&}ȸU-Opt }`rh_l4؟5$oe|Md׏aW hRNᜀlFKr5Z1fMo}nW>)L*xƱY ya\I({\fo=WB-돍8oPsg\0ew mač%l*vSVbKXKnՕ7$Na)ݜPCym}tSIlS<4-8 F&Ă!MbrECLzwGj 1+Si2}afk*Fՙ$54jݰ:zD/CcqsTy[%!%qAQBNos[t;6m`-"v3yx_4K*@9ڈY;C7"5w',C{>KMȔ.| ,SKz\j-?N4JΗ\Ni0~h@Tbl#V5 El!ju1]#8rh7Ot&6 Xlpah1mB̠t |)t5jZIBi- JIPI|Bsi͹kWJsJ1s) (g0_]4kmcufKڿ K:-C:X/z  5ưҹQIì0E]D~Ooy2Bpg݅EWᠬ>%`+u PfetXFq 9҉%AnɯIC ~rB?w/퍯'Pdƴl$T { $ޠIC3$5Cv@Ho5Q)z6vo( K.N;j'@:$~dKY?[zFD[9#.X&vɰ`Ő;y9?壪"Q3 IB~;'$aWŮ7&5& J aIAK)|u(NI,Eq2sL-Uq ~] E$Ui>3튠aMyznX o+OWm}, ,F9nijSzҳfH;::ߝ@,r91 NazxG)mr("(C40oD*QcA=˙f\v YĒȎnD^^O\SdoOOE?L65~E/mâQ8-dLû6yؠx #>ۭ#-k*k+:^zL%s NQqW79ᛳkk7_{^U.-[w+׊泈m)pMgcPyBx0*[]c:|W@4!R_1WDU=}zx L8I 1Ca1(V鶀<})n `1,iB%Se8TD5fxHR{/Eoֳ=2@qkmMH_hޥaSz)W|[Ǐ{]q\$L5tl2Am^05lB :{󘦌f[IFsG1bR6L~1qZLy"! I/WFIaq0 Qz˄b_Pof6H%< Citc'N`~3cʍ@,aN>Ji7; }Q+AWv$tR"R7a\.] $rB`d_ kKJχ]YFy3:UW{HnmӲ97d3cjٖn)!Z~:rWU(b !J{c){M^ iE]8.OE I" pw{Qr*\y^m.إU 󢷵ܐ uޭFf6GZ z.Zܛ]8"a]9y,YRc&xk3ϻ 'vW|'B8V6^LkxQя'rsLpM5kW!>k R?8uqۂ?l%=TONx>ZaUx00hE#fi>{!Kh(zgV`k=$]7g 53SNO}>KMڅlqUPh@ qTؔ\)UAR up 8S6[U5< ."ÿ3~}o xW D5X⇩0~BFz($Jx`l];edi)ha?bXyp^xGH?줤(o 'I=0 ϣJ%ae'zQoN8SV_rY]X;!B땂t9#-W iV#%!^WG齠]_sMM*OXzeL5Rbj<GB|CcHgvOυ[+Bvx&CHI87bEK( GAcY]2J1r+ǗHS|2c{[N9C@q?۔dTѼD<{wEQ0b/aw}sOI+r2ԄlͦY51YWD\_]9#Ђ3 `A(ޛ'y =#NL}G2EO3JXR"[VZ[\Y6&P$؈^F`dZw;m_kZsLuL-(. ѪCJ~Ҵe}X&4L>MYA^}$/̃>Ɣ*Omj"t="ǀ' NL8bIo6uLkGE#rMgW~a&5ĴG 0sps:aXk 6gOg(ާC[$h2>cP'\H'bfqdK* ^^TH/ܩuhA i(4#z v*=z> 3"ГAp>dq zCgQYJCl0e]R5yREE@؃GGmGK&[Eo*)0lNVfT䲖%X@)X{&U0ɟ"D*F44F(#R[R~y V#~a䢃ft?n0q l6-Pns"If3;tLZM[xWXҨ$9 F^0 r˩29)0 [(8 -OlVm k1B٫NY´Z@v`oUob CO`{HO$HJcFſ|?nyg6BeLwlۃ:`Y{_ km`^7rYP[b"gq>Xϒ3 '8WDm)J5~ D%xcl|5+AM>F M V'z< Y8>:t_#eV̴i]_6e~ @dY j x-CQb6%٬dG۶;oHSe3 81R}JZDts$ .ٰ,3x9S_=Qme1P뚸["ZԃfK~9=55qwH<,"h,=uѝ? 9_χe{6fI%݃oi`,] Q>]is\{ TUȈ ]֨7b<*[.M6YBb=9MeE1\l 2"[f#SK-n̐d,`ҥ͸kJs9Y=@JD0{%Uݣ\>#L~j͸+5>M|g ?}zE)y !ms&>ϰ Uoo T|bKS!(pCl\[9F{ūT9OF|gF%5i"H+hš--9 _RE.ĕK7 $$*Kq6)ΪD+U?AtBԶF G<~־xA@k[6#^L:8@>LS8zcb4N&łx&Qs+zSr1Tg9J\Uxn|iviQ튲lcSS Ah~6:92Ӷi4Q!ar"0=!3GƄW3Rb(R㕞O*#uTQ{HOӛ.+;Ȩw1 Q.ߋU!˳ rEDz#8{iF^{O 01]>ҕ\tvs{x^A=Ŕj\ (OS:Zi_h*{zitVTb t^YE]n>~@gi[$3 pNO1 ,k N;kHff:aji#H<|B WϪ&>M?RUh9b1K@ K,ȝ8\~ǃB{=fYk1yȤվC'(r-IqeާRA~һ̇ZQ3~]^sz>S+”aQd3-.t 9N,\Qg<}Mh 6T."T6V7_H,ҷ =qaGO{ *k}g|SoqF,? 8Rжxz=uޛ瑢w `jwp88 p <Tţn&%_\|_[qc#h܇G~h K^?g.l7'ƚ/tgӆ~+1 B膠e_3N Ө5C%j,k֫lRRcڋ~]z(Nj4JPc-JϜyc Vx1a]ºE"Ql,:4ǘ'h`<<\٩@1S:ϷwI'@z]z%CZƉ93ǵo iOPt\:1RbMsL81Cej4B9?.腵 IN:x5j'i~mMa.5}ZI <(CdBnV`brœ4[/:cELYqIZ2F̙_b&+M}جs7TX ]^1^t硸lĨx? B%}W5}7TvjDSn{nkS"}}!'{?evI)1"e}&Z(m߁ +[+[3C$M]/y09D6vjlZxRP'qBF0z)U\jPkSŃ(4ٽwJ貯 PZ7A-Z>٦τ DZVÆ^k]J-"j䒞pwVPBRd4wf6uA5vʈt3XRX˺Iۢ@ <[n&-k\ I)NTxMXhjY|mR,0!Ȕas.X.,w=/LO1$FaV[*d7ݼx6J؎guo1E4 )OND0bp_Va휵bu_%}~ΟM5>UIt G; *'aPw%2S:oxlFſҷp+甮A橢![XuUkK_}5#;>ĭf(5Vk/$$!vRhn5˲4 7+TDŽJ̀oJYj}#\*)fIK!uoҾy:^#u]%2 {(SMB WNWbnZyB#AT:|Z0 )͉A0Z}9GGy45ZsA93@µ`ۄ!-[ ?~vMͻ\K}+U d W{LFf ʱ tG]zOr5 &].C~ᵬI ]fc (f: jئȢqFėkV`0v w ֡*]ZU׊`t1GދΜud'JtA_7K8 -)09/˸X2縦A. D\TR[v#ޭʸ/ m\9wB,Z`˫6NnW(x./IȄ&haA>sZ]5<đMqϹ Pybϊ<: WuJp*nW凡"%+0h4>D5tVN"` ]śfLi"w_|߼Fh>%P \;rx!CއM42&\Z gYZ601c8d83ecbf3a118045388cf13157b7528644c174e744b09b63a313ef3c6c28f69fb3e17cd7369f 2cb7c328d0966d0aa485dd673e34df1d139d2bb8 0ef3f9c627ca88a2c540b043cf90b31a21d8cf7a