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   d1z L ] HOL-Corec_Examples:threads=6elapsed=146.448cpu=475.133gc=63.3627zXZִF! ~ ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7nV~/]HsG {?Vnm/2lGvOq2[;*ԣkk>:'%7?ƛW\_ e< 3Jb> Cꓜ O*DeSv 9o|ُ! 9'׊V<$]ԉs(wS^_6/9B8![ gW0@p2aM TQHd/Q9$` Qk#1D"myX58oA| J%Ԋ31mD7}:=P)|hH"q?~53`HՔN/t lp<U .S=1Cg]U9(0 E`}F8*Bjuh޳yX&%n@?E%Ep+_BA3#P3{|Unl=D \yj]"@tX26s mÓo4mD>֨?/i'aEZh 6zװj9Q˿ȩS6 6HkA702Mjl~ޗrjd4J^2׽Vg(yl rWl:#m T ;ƐeA; WS3~c*%KkTw]UF2$$A9Rm#Ӡ-4Xfj@qkk1foEKduԑꤌtulf9WwXLL9(.촗KCMp!K- q\<:썌 b}3KiD 1_.Ю&RI!=;B[յFC+V31Ƽ*L!ӌzW]kogwYO-~ Le͂}7V]a.q:fz%0PD7Pyyl\3\+%G輲FPaʨo1 !DpiI GC(=l`iOh5*%dt˭o20%ܺ#2We9f$ú3mX8i[)j>c\m4zq-v:2-kǤѪWS&igC{3Wr04aOQm YTxPTMroe쓠.W*gC U2-)v?#S>M^Ucb { x Bٳ~'̺/{&* 3O1y7ZSۼޫs~r;< #ؘsDfwk Pf!v)(C>lmv,ht$wh]OSqn[.M7xqdG>Q_#'jc.YpLw|^Eݸ~h׿aO1%=`aq/عᙍ`J2俈bϤy]Fqq%c)v\ǗdoRdp39=o>ߐRu ?\`_:r|$: 'mL"1vpٓiÆGh>20|Wł]Ku]KaHc7 ۃwQ}U^TQDq$ܝ \m`oe'KfMHc3޻# #gFi`dB +AG=my)2"s)Rik3_8N/mrtTrsxKғwFI qx Dń~}kICU&S~XD ;1]bNmËHViTʟkyb0ڊvN舶@Jx܂*͎S 0+f/y5Iל7=iPlL]k[TrCB'_!'&BUm@*ªLb[+`ABLl6)'S ҆ˈ(0qVIz|m@N^S 0M6#{kzRHRP3J* 6ɱw(ͻ'@EfUV':.Z0DT٭b{"m č, dois%^ix 5Ux&vٸjuZOuFH 0UeDe|Jb|P!,J/gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ5  `a kvS F+We!IwI_ h25FG+gaAR+CeǓ[JXĽð#!y-v`ƅN$ݣP l"vohtA$iNn.k%ŏjж4q4IqO \mqgvSwS&꼮<l8%.Fm㮏~ێd~}~x `@: ]KUxq8[vaj=pIsS/SUᘋ$wA*&eۛW{.e&ܤLx],.l5UZj$" dj\j <$;N\כAt4i ~WG;4 !8= \똱gYZ7zXZִF! O/]ŗXi%8ǔ0"OZ" 9-_U8pBEI>hfC(O 1'~ s)QBY=BnDVDVrL'sYFv= )FG r~(w!= 1 HOL-Corec_Exampleso<~ytoF1OC 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ׅgYZX1I= 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:Q8J5F4@3;07.6+3*/).$+#'&     2 /th ^ R A \ V M }3] \  | 6 Br qD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files6I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages4D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup3C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files2I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id1?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages0=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-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id)A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id%D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup$C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files#I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/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_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/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_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.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.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id1   \ \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ׅgYZX1I= 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   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׈lgYZ 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 v1G; \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""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.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ܱgYZn 1OC 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@߱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Ꚇ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=(skHKB8j39ogYZ 1A5 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  覱gYZj 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?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  p1A5 \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  J  Jt1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id518d1E9 #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#!\ ~gq F[:1KVyȼAI} i7>.)gPZ| 1ǩGOcx n5i0׊GAP(Ô#Gԉ vƗOLUxd2([E߾INb Q3t;v j ?Ӎ1sZpP$1sԊF1jj "܎H1AC&śEfwraQEG75asrhRt+:d.FaT6E+ȹhwo8U(>G'50MTG8l@b2dJ<^RMUyHLj6аg#F*J.L{%,Bp4}hFHЏ !:j*Lk0nK 8=- |}#[Ju GV5ǜ˛N [cF/OEG6%C E7FrމThVQ~LCv(AmJwgsY crK0ZO)`!BjEOK6NyBQLzuB.NrGjoA(XM (ѩBru"r~A m?qT,f-EB w't\Vi y;WA6hW%nL1ٍP0љZ(P3C & `rTL| k+K$6$\VX*ܤ5_0x]'uh7XTQQ.>\ Vz&9F  )-su^UL pVӞ8r=-Vd3UbN^cJpbcf>V3Ж 09Y\]d1,N!^Y1pz"ng ׊K݊ +أ"ͤc[pRMVpY8klcYZ &6 6bNX ܉J2nP96~1-|?4^\fGԋ,6t$Cq;AGT8M*r8A޽5PRꧢ|(/>th:7H5 ljRdAVx*1n @AmC惓=:~\\YnߓmdaT!; ȞA9STW=2Ynzi ڕcchTXH1m;BDMaj(s[.\P_PURUQYXDʓج ,pIKʸ 0<8yd‚P2Iù 50bOK BbN3%ےkWZ͊ .peK@qNwT)("t:ʉ4Mrc۞1EH$wϪ&3wF>ȹ_T@!AB:?k+c)Tj_cͻO5kKyMvI^W&qZiѪNv8Hr{H[Mlaqv#J&TSa[r!ؿO"9?m/*9)s')|F"$x]b RNV|fAYg ;łIꆉys- LL$ 4fk_ȶS:us˚j6D.|Z7Ņنfj4hs4dT;B2PPQuT5%KAfߖ[΍agQWOťq@_R h؀)Cٕ-pX̤姈c<qH.F6oT Ù3VDٸv=\u6ͨ !@c]Ӭb\DžR2q`[,5i~np.3k ALBo0)\gm=< e,Z^f=(>.+&XҬlVΐHlVtzM;=k1N?:]d&befgH;Zm :j)!!AV%tAtUP*rxfO;Qk.v_#]-tƔxP~_-.nἼZd䦍0GD.-fyߵT ~GDYGFr`hD|ŴT4CQc3]Of[@d--Ɲkk("]^^[6I ;r;x+i,ZPy&y(Q㎝2CRڤ[8{p+fq/`?4#^ֆ 7K7h']Q[&mٖh vx9`֘=D]ejjA{w0[UQ(y }m2&2-H=YQ$YWO͇xih; ;|lC&52fb_?_Aw|)&39^G]2\_ "BSNZޤPV6/0\fLwȁn<ܙ=KdV?^_ gtwC`"@FYfqJi3Ż\<]jG~h~'9 R>9[e6"pE2Ǥzƨ Ӱ7OmʦZfuqrKGRC(is]VN[s0:)N20ݠLex{RTuOvO|җ0J޻3QvB0iҭ( FL KqܗԜT ./5 Vq>.&dIUɰu ~ ı3(Ϣt4|'1YI WGЪJ,rGCmׇ2KPd)=qP+3`3DU_Ѯ^ߦ6rdV~KCjl]V܂wd; !̤ے_$Β*ZTY%d떓PW]^3+1.ŋմLƋ".ͧgB #?7ޟY;w4U3|HIP[:9 |bdH =$3gĽBu:ָJ25)n0<(A@0,>|#Q\U7 N쉔R]>xU_ {d#}d1h(q7KUݣDpNccAh !WJs:f^iŀY|~s :7@gYZ QQ$1S# DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! D]ˠ)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ܞ-'0#A,k=49G77F"w+6o$[cQ5W$&]c}J9ۙ~+S8&Uj@c7{q8LwfCs3WdАȏUh<]Vcݒ( s"p˲^.O`#V]vqA/gؾBGΡFz6^理#ׄtA\I~TzU֘HXӅ7t,0,L)/j|YOx!ʻs [՗2PZFYB,FlP.5(1c陃u1Rԝ.Y1-(}lVۯY5vKxd";ՃM+rJi}b1 )1뻲E駙6X a[,w S(zvB78iD|pgisz#߸^gWԀ)5m~bV_h҇FhbN#>յO4o~#%ë=–ۓh`OB# -bHOW+N=}'Ȍ=Q̈} Wo"pY˴}CpE.dR3@KQ5&JܺsLyDX=6;AS9OHgRwD9`44bo]-NbSȁӸdytTXV;+}ipf{QҀT BU߶,u@=>Ҋ|ļi=52s D0 xڐHuԗ}ɲ[Lpv"jKVUV24Uݴ@H$U ԧ'{[]@BpFH} 3LSb`}DB}(U-QCUWy k# `5 v6K&f:;\Ė d3?lj6႖{F:K>t*'<IݳEÝ"Uy U?FK!23] #4i+F6谠At$yY=SPwbjZ/C=f!zsg;y} QPdU2-.%7Ŋ2N6 D7w֭ۗz-Ž3q';>I;1_i_:7:"&‘ j4*f]Y^ @?qkx/:{=t ,LfߊlȘjLpDeUmzƅ뎥RlY@zu3Z "cytKPUߎeR[ =w< r ך7K.M wheZ9X(VЋŸtU[e^j*V+SOx-nDPY_U&J(0Y†3D~3ܣQS)'h @df/Kcڡ(-k- r/XF]?qgrm_f`0m#8ib+#Z+h "T80~f!X(Mx:[VK>dr5]w]3puPTƥ Ur\aL?"(oZ)SS5m+@PQ-1n |B4 "V{P5ѢzMV$Izf~ώx^1 4*]JHSd0K,@ѲDWIk yuUl)At}ӓܫՉ&DˢHNU^J5ވS+mVo¯Wp'1s ;hG$:L2nO 4n3ՅSk˸pY"|>]Kut:W^n Ǘ1TlK#ѬٽG!!F[&SNBeg?~Yo7GRzX'¿zFvEi^,&<. Z(Vez-K'C CYB[Պź%nt_ѡ"4]ugYZ z1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! q]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBj̸4;쫍T#!b.|tV&jFE6j9>kP85Gsκ 0bKPPJw.eA#^!wɋ1 SSY6ah QMt| lWs؏KB0yݸP>{HȭgU” @ tVƙ#YvU -l?Y,&:ة!e_Q'w)6 ;kbeoEL$Dp: Â9>M,"蟲jPM`>Df>al.1UgL3nf(gxtҌ<T,9`s17b} Jc@[1`RAϗw7W@\ϠlF{8GM^|?r%y5oN?󖲾NT)'EO'N2~)ef b*YٰH9ڒ 2E񴴕sd0S2m# (N&GJ3:48l-CbHG*A=i%*q^Ӟ=y쓸O+<iZ(PmY;UU_d#-Uw{WqRX 5 |)<.J*xF)Nd =X`%( ^c#-Ds¿Bm2Cwp] qd:L, ;J=s# =fmB fiVk1Jlq,v1$E5 }sIq֜zĸW#t Ɛ̹DѾ!XFІ$Klj:^G,'Q1Å~9dh,?!=DO/Q64n[NlH_$7.%5W7 ArmP\3\a^wha[)jSvlӎUʕʲQbp_.óЦM)FK6w< HS,FSx;-`t],dQ,c6(1^:m߭8&a4A1ƓIg̼kboNJsgbAsq*ze/0cr('S΍8~` ][r7O0uy8X"=eNѨ%%? zÜfJ.튧Kۗ,3 6,u@(AFâl"^n@ouz$1(74O6C/UNe֓ J`Uf=p^x%N Oqf̍~2-=OOE"bLB iI%)$H[QFj3RtsR-]Ivi߷JpOp@QjI^Kkkh )ոc? JK{99F$s iF+hl+뭙 -v,g\0u":B RrմƂapT+-1m祆x? O6E Ј$G;VjuE1s@7F$]8b[K1Jt {ǘ5Ckګ*cElsa[/„sgzsxQ׸3O!?x'&vm)cq{g)+ݖwu &Ydrz;طWEoD:גrxB'bL9˟Ğs ̊b vS1!5/BZnR8m2);9!7?XC"@4BBLqF$> 3 TLQe!ub\s@TJ @WeR[c<<MIo6'[R/YWBYs>!zG͔}@tM*N~#7 <IrML6yqEwgy-T"d3ZہVrϨ` _z'G}v4D_2CQ#g606kZl5FW a^ 8#wTmD3%zD/kdf!SPd|zHЀ! aA" xY/]68QW l~w]Mt4Ky]n ̇~9؉PׅZa't'9bdI2xSOݹ}9:$%_$OiR+L'24E"oC7(rd#|a̦bXI:)in|#gYZ  }vb1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id514<1O' tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L1]D?7 {?:fH\(m^]g| vWxKj?鈡5L_}^fܲ% IGxfKs > 9W* r>F5V/gpEă[ I 0od]F CZ6h@+e%5o#u$=+M1\Tښ{j4O]lONPYS(`|}6NL'bڂmi[x&TS#8'wX | v-x &;ΏçQnt.4[ Lب &R`y15oӣ$gUն {P\Nm;}Dfv=ӿ+Ąʛmrxȋs%1:>N`] C6x 7,:+3).D)V-:ŏAUx( C?z拰BK4'!Kʆf :`eFi dJrD:{!ڬ=b-me/ 'f?3{| 4adEG{;f g$ ٱgYZ 1O# HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt|0< eWU: ^ّ w,V[^`ZnTDa :  R6i,x[ݎVƭ98? af,v:S`՟pk`fգUNy(jjt&p; ʕ-mr ֢kq4 ^u؈w%`*]7UI:~_5[hI/etBQy½0(&#A*n\wljvࡨoltMM\+P35H2w)mDj„kmP~QL?x;Y)&DzZtM$R )Jy/ ѥҎ+!^1oNdFRv߳xʮ,O|%` ;bMq~>f D, x=1WwQЯ'gy325M 2c2 ]_cr9gVxaS剦9Uv=9gx'_\um;gzH2p r8]nĐ6BƤ*8C;sI@^-;pEA ٧M[%e=-WYR*".L*}H_GJ73a3v'`Oz}>w 4Y6P%W0vuEJM%L rJmz?Y̩;+76S4tMpi͆R("y2E[P+q9jܺJrĢ #iX_((-z0Ǝ?H8P!"V/Yq\m7Y?Rn\Ľ+ $,vG[+o{P!%I7nfN]5T~K~o~~*oFY,pBsޟr`d 5bЉ?~9cWIhX(0J:F ~ץ Cfͭw_2"MdEKO8# Z@0g"Q\d۩ԎB +CUuK7E}=H}Av¾*=Ԙֽ*yOG !OA)]; fη.B[a`CS1T7he !׸F)"yy1vnPKPÒ͓&oUd\8dWgyVM8ɖ౫q0B+rBaigퟓkԢBW Pa)Q7exjK %ۺTP{)ws;AћM :[rUǫDD*)pk3EzXYV!`gso p \sL3{K 60ﴴ5傾`z:ɘ#7;}@,2 @F|w#A;WҠ\sӨ8a7/k YjJ>,f} PkX9X_KJq5 %ث}a|S`&h=KJʼnC $Q]}H 73'X|IAkk1kmdLvԽjN^ۺx Fy8/p؁% 9CQn#}6YE7?$3* =孛eggwߌ;pc5޷t3kO\4C"czԲخ!oI~ZB+@F!8F{9*˝*-E݋c=?1"6LXe; VJ)V(pJ3-[#4"~kR[,Ͼ0Fu{r6;0j?Qw R柇o?͍9li_[; _J^zS}"/6p \^o:4DqPu i;D'Y~ ݚ3U3ൈ\Vr"-,54i?g64i{zobzbv.aⲟR@P**{i'oR= ݹЃ,a>_EFh0=j؟|p@maN8LCl4Nu4gDN_G'3q,W T>_L_t$a dYc&xmW alAke=Bk6oR`{ u [0=ˋu/埭_n=-MLsA" "k+Y劝χh^Q8i#$Xܸ ztWU]:RSa(ؽUQM0߸p[ 2 K3h Yz-<<&X2)(K.ĻĔR*">ܠä<>?U"/Ku^1N*h;bri/X <DŽۂK2H#U7)2351$^hI/<#/7jZ. S v8+}C68x6,O[Gx N#Adъ@fC#c^|/D I䴷W-8wNC8a``Frcx/~AC"9y]hnvp$W&i]`_7BlDOe\ɺe\M+#0rVߟ5X\(ξ\AONo롣/Yݠ(hW)'?аtAvn;QE7C_glɤC_+HėNW!WJk0exOt Rn$"-D1[Ec$Ҁ' "ԛ%='cf,q6eAPLhv#yBj Jwk4"؟#\2[j&8~C}wGp~ރSAO"$gcooȳU|Ɠ@Boam:Z@e@A˕O nf40P#} >+(:%7F_gŝΐ |p 771=ꟼ0H\)44U3,|k2m^?܃Ȃwn(PwXICۜXEт=:4HEic3$ibl}/tMi7*J}%Vu`?]7Ho7EgΟj(eK`; 6( 9Jn5\nݦ!`+]ezH!-&dݵLhX_f[7_b+Fۅ}p{r-yJH|H_v͠IIY5 dne棕%0_Qb~]X3vd/[ŐI93p/E$T ǤGᄁWLU"~aF9n/\pR6W5t dYRیzR,oj2{3:`q_- p (`s*8o3^ 't+QJV򆫎%Jy g[}w9R6/?mtA 4䙩«)>muFZ|]=Y@p@>!XHiSAD j>erZt2}\3?-?Aasu KM>Th1OBx*eЬ1*ŮٙM^ #NҞLVpmPH"NJ βy& =W<1y }: kSM@{|>jz=*5gYZ:AG>*4%y5P< ͵̰QMim`@%WCXc~S*Ra 5^K++_s[Pw[UB PWM.mE{SB)i>@Dl"Nw[`^Ry|^5d^Vh_beex 7= IVX9ecVl.&\h>¤ ԣQǷִA3-9,6j"jW?ȸ0rK]B[6R*JH4SV=-p^rz[1c@iCn'/9Ua0Lhx~k<͉v;=rտTtYKG,2{%Vk=»Yoz*]3nb,Hp`@C>Ubh)2ϧItDxZNbpݭpoP8ޮsL*% Jm\TbP RJh[yrF* yJPL]sJu4_PJ4"nrps&|-xS\D޹PlM! z4oƜO-Rq"Uv\7IQ"=Nvױb}όPp.fI 0I h *F&,ʞ*8Fʰ V*Ry=`3md+e|hp̜0l\ϷJNB_}UBлOFMf9\|1uвz(R#[wB y98 %n^V0.ՕVlz֯@_K@.in]ܪ^Vrl2Ej U %ba0V;;Fvw Z%ʟ.!PVsmfK\мSi[h3Ū .F2)uՙ6ƛGI '>b b=8h?짴-Z?-|d掮uI=В/ց5.;0WlmBQu&c?Q`6XzF]BCFWevm=ϫQ6Ni2"*t<*]?ojNƁ}RS#xC7뜭io7L^uK#/cSp6Ŀr۵da.md,agC@&,yb~=GT,.NBaخ'90kQVQ x),(#,MI4'3̼V0Az>&I؆Fq說م3=?zarDZɐh+&G#:3Me=PKA> W.xOU}'.D9{BoQp,J,ARNHgDGuxpc^>)YfV$+;Px]gw߇;)[j"2зҰs C-0!D(U]W^k]NJG[%u G5uF侉p4xn+&_ YR,KF>/-Gɩ`+U:ZKme<ťH4d%7g0!q) 4 o3# V6 A?oykpkQza90}a~}/Q4lɕwLd#*aҰX7/Oŕ@+Tz$EJ%lZIWlCgVKHIOU#qvU)so=h)=GY* Yޖէ`HG_0sjC/ rEw$ywaHe|W)+A{\6 ޤ}=A-yf/Jn cFޛ )}%)+ oпrҽ)tozW[vFW7Ӑ?f|C.|Z** A<" uGUɛFIW:!ck[4Át!S/'f^1S?,wRh 3hP`0hb !W}b YI`k(0|PQn/p z/ҕ7>, e;F" o*HU # kNI&@Je_c/:'[G^߃q=4! 5DѯFqͻUˣe9szj黓ިFy6oyxmo,{:(Z Wd1"x|,L)/Eo'0˃` W#g#;.;GuV ؐBmmҀ+[jP܂Lb4&EM]bNZj^7kCܱhzIKɞ= (*[8  _c5~DqSYS 9;/7;5`~ĿPSh%-?%DHQ<yoq[g AC`Yt#i%hM2?\0҂bAIzHϹ Qi33Gٺi}TJ@ :QlMNWCu(aN&IV )Jʥ-tc-*ƭa u[ƮW`$dۯy䧢Fɔrܪ!`'A53tlࢡQgncRY <X(m1kA,|lz(ﻭ\N c%o S:0RX'"OQjlcu G.?Ux-AW쐷BHć )e?>*\$&W2>bS6q^ k*8p^9爑GѸ7[e7$1* ^'`7$AڽI ,)/$E3Esp:=$HDVdh~.k|ZBJKт mXvғj<Ƒxd^\sDBu\3"$EBdvKo.}׼PuxtgI/7k#u.)ǯ,jO$vT7w>7q5)qx?GWڿ~@]/柁yl_"'8c[&%X&ז?qi kycyI:P+ *$XzSQ oHu E6]kQ$PKAm(-w߇e2CSٝI RH(3}!cf:tE?J !6@uࠂbO%4W BÈrqݛՄkYD?Dɏ|CA@}C:xiu@I%īYKU9Ty1oG~US)oPyd M)_)̬Kq['T a =AH^a(oߛ-%jRaLs$_[b] 3y"a 12ܧ7&"͑ Ig 4.:V +'ciS?=N@qi0ޙω }(k^O. l\q` BYK+[~:L0{bj#/|N tX@χwm3o5rk,X\(Hpcbj\:deۇ@G_JoJuvi'5cw  Ti%1I in2B?B6am{A GZ$2;5 h%Uk"gyxg0{ u%@Z_uFFd9\ɓ5;x/ӽ="={̓؃nQdcdFOcr.b(NZߥJ,7Au?3Ya0['c [[%m߬!(VW6R;Q7EM0-"a12Pr 5 mT> !(lO*<6 'Ŭp~@E!gZ^r<\*[KՠdPx//,LLnɀS4IΆvc bYDNe Y2Xp .W ޅ~1[2q RWΥDŽCڜs94+3hnNA>BcjN\V#4'I"2|t4̮oajͪY|$y%x2<,Sh+Z]IX2F@icncOէ-.'iyMD̞>QI4Çlfh2 8ŕQ  !l&1E!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_id526F$1O# 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 O>OGcqإ)Y_͵mBx 㣦&`e6-tr\E`ח],XX7iƅ.jF.G)˵yP~𾞂|BHqYh7c(UC dEȰi2Y$-`tvХlS9 -Px}z E/6(׆,ܦ QWŢr,b7YzƸmsyfTGYŘ5KYh0~kaLshLKEف 3`*r="3D#v7mEKd) mHt}teqfILPts}fT}\ wG{*3@_ꂄعqyO#ZprX^ljy=3saܺ!be*n>0U]x%UQB@p"!!;UnI0ڝlg#X7+e*"s ǛDԣ9ߵz+xhgh}(NY 2.Cа¢Ij!|޽LDNo")#ktHܠKT:cBH( ])w<-ڥEefHu٘`u+5v#1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM"1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id522!1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7Vf7lQK|FµR9F:PzqXS;"_qk6/(b(x纓#x1>C}x[7Z9t>Sh>u^% C>A)-B3`ჱrUyA>ǥ #̂ڌv n}K:@4/1DI>k@G/6YB2r`ut3T7k22F t)q(c&|.,vEixギ {Xn dV($cRn By揰`A]w.;>U:2M *s:ڡ(`^'?p{Y7}д%I˗J -!:jRFƵ`OwʩbE A$..`mתkP ,KaUϱrH\JDk+߄=u ^6 aXN fqUK թ[`rؼi-p^Lr#rGB~pv8&sa$@+mpm#-qF6e]]1O 5ktxm/gYZ+˟ʅֲx!t.[To8T0ly%% /T8{_ǿMkdX׌ ѣq dO9fݥ*|?p' Ub1lkCFwi;Ь,-F ?$VtJrR,)cSPFIi3ﭦgcȋ7󅕄;!gqV.>, BǏH'w_R!PPgl0/9TQO J*[#77B#x%dtj]oѼ7:Rq*TX?ec !yQw pY1ܒ 7L"W nu@ȃ5?j;h"&zFy]H ~=`-3}H%6p4Xi\ Sj2q0uu̽w2flg!ގc_9CU@[5 1E^\ٜRGS=)6Xa< ~.a_r{!vCyxa?5Т *FT1kFxODŶϫD|)"&\훩?4LHEKjMr-&mJULuKܤ7TA;- G]l૧LHfMy4DG}CB J(vc2ev,nlT*SkGSu TVrZʐ _(G/oρxOYXk0I$ Q Lo" :f53b'8}yr.1>>Kqv'n?g.>'`'.#,\O@X*;̽ FBτVS@ζ_7_D@b|k?PFLˉh ᵙd7svg mR%fAYZy,$#8lNS񪭾K?8c׊$q"oeܗN >C:N/~GOacǵKMIߑ8gL\)1֑!'ePէOﮏ~/{ÈDLI}KuObjWwG^0I wQzNŽʫL_DCԐJ8l*}G(lMT0}{K\jMS-y@7ru:кX3K,1c`Z>MC t۸ZNucMQ$ YfP0R)X>=l Q~BJ}F|k&2]-m)waoX| 1Hif0|QY$IIR$GA@ 4P6Bzpr07`"QGQ2@oH<(}qs3䴹:''OɯJ^б6QIEoml6U1z*]O>o"9 V zOB@:)#8ޡi#O@O>Jh4qTGX}kmʴa,%;I"g՘Im>\MU= ]D#m(M~X bCN17bNO>.lha=Q*GO(v`/L Ewz6& =CՐwxq6U ՞m<8%6ՠDNhJo`7(i \QY+ԟ5OنonFJZݲyq&/1w'YN|q I9rls4@zwK|p/ 5|p<aYP#8{@R/(/8#ݸT@k+.Jq$\ fՂ.75}Du/;ˉ1IG8GQ(rN^Q \:9:Uٍ/`,,l6́8=&$:\B9 5)qv9XJETN"񾜈J %I78JH!9Rz|y_<5vW_>-‚TVQ˼" v//h]uDU!8B ȵ[@%FiZ &UE@%g„lpH|6Jʥ펄 r"ݬ\࿭^ |2 i'UETg锳l.ݞ"J98wzz_hgtJPϾ)tpމ PKBΪ}STQ0xt"*,:~$hP7! fAܝ!j['A?jKD:}@{PQ yJxbNwQStX mw4?DM3L] tl`S m-cj-rY,DS ѷh%{`L),Ṳ[$pa-hb,ؗF-#q2V*qeyyfԺ! ҁa:L ЊY*ʂI lb23EG*SM8=굠 "xpws,K9s:7% MvqCj)Sx9g`VU(;N|h,N G+š3o͢h9?ZށA܃renU>/_V&f5Ar]P.Em,0 T6\?;[|˩TyqOgRrR%]._ܷ~1}H* ֽS5hQr-UDL$<-)B7?jZWOyڏzzG/K(wq`ߓ9` a 52sU#Ϡ bN\ǷE(A;j_QWA\FFU  m<}o#B s/\}.>Z1YWSZ0\_t.H=鮏ವ=UaY4zwyo q/9$G r";U%"[* D.:<3d_CEO\ NPZƾ :Ht?p>Y«x%պ12`"h.t*lk[Jb][t({`,mA~ڜI\GCGTyLJa }<[`@/8y6yZGP^5xy *|zK\Ǘ]3Ԏ!%+ǝ`ǨS#1n@([}YTkDӻΌ^L7!`,؀k ?vfv$]b+>:5Z>Ѕ/ 25fdY&d˚ݹΧݍ`ؽǨ2XDZuuF85ܭ`4EV$r^ҰDxQ311bLQMrFA - mrERF$́szP5:-r$D^uDu K~VpN ˪ɕ29Iaynvc l'+#o>ee⚖}X/ׂGA3*$fkas}<W}L 2O 3/bQ Ե=?3>SI~[0|d][H秉Ġ.Ơufr96*IJta8 SVRS #(e9 ov f| v|i('Y,pfRbH~LQc9!u|qMTӴ@❿k`.QAd 3q\bbUm{#jsBQZITtt+:l{XX/b9(SĀ e3ˢ٤brlJ"43NwN*rr b>Nj{EMWWq3 Oj÷\{X,$9;ީ!e(`5tB/l/ u7}:Sb,>}˯8-^RV vvJRȰHWbew5ШqY/Ny1H>ZP."ִ+ӫ;qTPli8zoaٞ$G\t./:3W,L(ȳ,7^$^4ܸ'~:Iԑ0MOMӋ١'ܡ"@bQ޷:HA S`lʴ cVEK7UEhP#@7zIƢW䅭}QJ vL.T'n+fj?Fų>d1ib&bH.0+ 8қ % [-&auy8tn΋)2 7<KKsw>oZnO6Vz"H 187h {Q΁6#GsFOE=šO6`2}͞|;5㭭߹TcU@ nq5{ܕη"]PJ+NS [,֫@$z,jC54BJ 8YȦR\;hiGɨE,H`#5{UHylQHF2Xo hΤY9!OY"07^4ꋈ1kusߞɱ9+$J-2sXlj}Avq9}I 8QS?W3ͩ ^1 Ijo+wV/t멮K + j#gLpo`**P@O#c.s o.%`Dy'EeJ.g%[:dY;Nl"xb>FL8=mTqE6=A|gzpxp-KRvفbe}餈0CE]u氬,y6=KlZ E`[s_U^@ީB9JFVf1^# /bmBJQ d8yd(}&{}쁃yObYo? gP78_eۄCĔǯ)]D{Ђ"*@ ۖ|6aGpBjj -Ss>P3n ͝4s,]R&9oEÓ,"\zP%T|8xGt=(CFb/=pIֺ{fxiL^l 2$:x5Y ATd=@;3?E&ҳAm T8I6hy / LJSAKZX f90+Z4{2 k蚮B!K+=4`oht=[7/r[Hu$?">[ &i4>(;, 07 bS!ݟX+ #-]'ʁl,Nx>]9s$K#V}x`&ZxI^N[*+UP_NB^>׼5&LzKAGe`G[ PzbORr\y,D&l1,?.t3b <&Y Zlf:iSsL_*Ѥz+Id"E߂J%7u9_X:5Z@|sbr'CEQx)C|QU?+9VLVz*;(F\Lz; "u-ߡ;\UHCݹ$ҥBl)'}:L!#x/Z+[kPs| K3,Q 9^F :T;zEwY竳 #AVw/N٤c*b=3K%OUR0sTzvvtJ({=a]r /j$5τ4lM2_H :=3%"[SJm'59N"R,xπ>퉦EЯN;XAso(7~NY>_Mh4R몮!d|>t _ "(O;op" $W}<KNK`|穦37$!Xʵ/qڂxvu &Z3&Y?PI`$Z7ĞǕ ~NjX;^zHkhh-5<غ~XnLXd(0A?birhӭܴv\UdMjwtYܹM[x@eA2Zӗϧ~鿢MIP>zcV)#c֢A0C#*; ;;{; ^yzf-s_Qv綸_7:=I1J įCǾݢO"G-{\0*|9 iGǨC vdFt&"5o1A]g''U4)-,#܇GNհt1 ªdS .skg<@=D>>JdgFU-[>?12 9`y'17߾EQiEl]+Dc"}nb|]b)16:#]_pBd<ݱ e_Tw m(b#4Ӳ{_a:O '2)l?r)@Ͳ!L&CpQV|/sJNtbPaz5HTvcR]jb+PRC,U h;LUtdP*J>`Fvb+ûlL7b$I~;ƽSn1#:>toDIkzn|JفM.BNQ1iK);31uMXUQ? 6aCL+gıq_ bA;͜J%Sc{tx'F )cZI=ӀErіWG[o#ym\8{ F5:ܹ4d @MZXi31{lg(.)U>rHۤvynZ&ufz03wt2 hLyjJh5ΠaDsL{>+1ȨqZ:kr}sU N%ex01{&"?G!=Q-Q{{APnG 05>y `,T ߧN'rP"ؕx=Z5ۮQ㹮/%}ҜAy0ðHݑYn|C\6g&lWX#V!C-㑘%nCٟ0hۘsj)! Ю2 {Jlp:嶓K^̭(s?U3싻NNC&C`cH$p) 2Ӵ?.ڄGTCn5SICE9e3hTW넥bVhO;yȾ٦)_`in @~Vtke zSh.[ njp ;C^4=Df#/>GD#(Ag'6YQ90jsq!V ]R q@rzSKcs#{$~WheCl^'\[ Ɂ UgN]ᫍ(Q' g~!|N·FpuG:> U>ZQlGKfH <ȋ~i˸Yui $׀-7,2!!@@AF*_T*xIHt+rr$!+~Yo=;Jٽ?m3jʿ\%uRd9Ex~ 4s1MfMZoE{D~V7H8/d(v6eHz7svbg̚ʌ)x"x tAgq{Zl"$/uxdh=푊EOVQyI{ t 7\.;5eJC=tc׍_H&u&cyژCDbF +aEAi6i%+גHW?!䩡OiX+D;ݎɫ }`X9E#bY.n'RҼT}"^qd }p&Gޕz0F Ȝ4C6&)MNdij!+'3[[yCgQ .djy`^LswMMXR478r ӏS5 I!h_U$+N0s 9/|)PW;xK>2r2!I}9 6˳Ǽ wsrsTՀѴB (/z|QeU["My,:nhd.۵:t뇐5:kCE(֓ hS'`ö.1wD (] vQ_+hzJ;Nim0%CgB3e;W@S(Clײ3ۤ?\K~ILSǠG ^`IhaH`5 g&uQ1Z(z>+){;%ȑ0_U Œ|[b axw!1yK SUSp/`65kCAؕcdgcxA C9k}KfI=iH=tޡmB1q,$qU &ZoߊڟHrfYO`j0›7D(ƕ(t#0 M9uE*%%J.>]bxRFijr<&-}"p eV2V+aT$e !Re=*=/+zV 0'mksI񝀪ȚnL1/S^1N]d2u_sm~W,# *\%yxC,z^ei om p>NB.vpNSM ebRcKl*彏G'~EI\@Ҙ"~ rxs 'Tgb;//3L@،i2Y*x$ Kkzy@ӂOϨ_ -I wxKb} P !S=5wJŮ m_nۃ[] IPT%pd #Qh/kwhهdg37Vjm-c5噤4E&lC'm,g6F۩xtlͦ>޻{G)*?)nX9`՚]h$:a"۲qsh攧`eHR%RTW.ϓa)w%Wo:#Qux*a3! RľᑬeFhZχf C粦UD:#L nIZyCon HP2S| q!<em줴'={/c*Oo'VA8tĢQq)b 'Y8%f1xf=43TKBBH9dG |L/Oq"@b^`N$\2qH*$1`* ~Kq,M 믽Feț3s$:0[yQ-4dwʴ˃ 6Dϴꊬ[ʅr7'zm ~A :dniҷvS:L$A @Y;tz;}_enC@F{7愹gCI%M4,)Cj a@qn4%(g蚻Q+Â\t:ޙvaLxQTX!OB Zj, x}+7 [0LRETMuRp.~M ,"5jtb@\-)&ͳ,*-1Rkȅ*+.'<5_a;yFLZnؗC+C@%m-.Lg*e(nx@Jk]ZFOaYQ2h c< \V}P<3lhFr*dɽB안4hC Zb] MQ\tW!e܏a vt/d $ߛ auhxD紁7!8_+[Wx.BN2V?Kbѻ+` =]vаI}ؤsA T LLN!}.{8A`lK'ַtD@΋KYJvXbgD#}ķ۫ht>y :}r|~- ⲃ)ݴ,[25g:ThnV/Fl7t(zrWʷJ"E Ajvݑ6AGLy'#aC9$yaLJ23-U@/}0 Zj\[ f5'O-N?fP!e9B˩{)יXh2#/~ iȵ2_PrUΒ2>9aLݧY$el ߕg}rYg}OʣWDu1ʞ<py> n'?3eMa^4t =nbfab׏@b`&LdFCvGH=|]ˋ*j5"rX;VpЃܤSb16`e0ёdksn E4Ұ.c·薬W}ֿx%гŸn>+㳅٩xUzx|}Uw? gz @=sڪ7eqP۵DXMXp{[bRRe9]jO @vSUKql &t1Xky)8biߛQ 9Q8Qa<ħGM(kUL <CWvdj^X*5cΧ -M韛c^ʁZ!abYF\z{{ŜN5S miYc}X]{9kev0X獅pK @! ?in^%~|ζJm5j2Ye#ʶ;?QBcxZOt%as J`I ۡ~'e*aJa(ەM:L֊jv}L3r@"gQQ^ʭ3E8Yx 7Bgxm6lgk a"cnm.Q}1"9`EeM$.X,d ۥ#;UQ:rTVּ,wnXnW--)HyBw>)nnj*IG"LcMB!`yZܟ0oQU J -U^`fќoj2|uhF/* x΢Z ,OWV5ԏ՞*ivWD>q۞5{w'bT|B4ڦOV$N4SWw-ߩ!GR .LB:M;! FBNni0FdN9M5.]EsWKQ]Z5_ aWiRp+MGoVGq@$C rcz=H|nw~Qٱ%CۻŨPl<4+!Hl%\"A%28:خs7$z| P~xWU\MKAE {Wmq©}2royr++/kf߈`r&h;I5pXs|tJ#$wuH){.Ci://'MW2c= \ɦ޽Vt{JpfGçP{/1۵)[l[iY~~@a~!Np {bR娡S9g9ӒlԻělxكj_"?etX!ƀl]Yϧx%h˙̌^&ӆ#&Au3oD̳M|q :lKx֭k.9M31 )7j/ktx2oZ3M6^)'SHxEDf+'ﹶUņztLUeBŲI'\I|7n?%\L#^1R<0pdz>8Iٚ-=K?~(%g| )*y5AIazĦZd2iT-Jy}ˢVSm!:f0eNէCAnaۓҘA^L4N>EI+)r"2卹Cr/:̏\m>0%'WP,eYX+k[wgVćRL^(nvy&`Hs2N7X吡.;&W`Z+rv͙G$- Q*U)EuX$jN~-*>8vϋZY,uE)fTɘz۩5|H-ŒhrLmOrƣQDҟ#e|I0{C;נN‡O2Sm}uggGo- ː.UF~(罹#mvŬLl ?:d]VwW͓WA0-prjeik|YεBD6$]wqaFy.r i_`+,N Z3L{Q'_rDi2^m :h5*$ȫFS)LwaG1hd3E@M%WX9NVL^jȿ_RW[SQ9+M]j*5$ggk:\e߼p~w>Hk{Pa:X 6J5@A4eTYѰ(&iԵ:Q p2Kc +ӸQɲ4Z+ii^XsDM39,CTS@.7q뇹MKU.k3^}8DHD&>xC+= *9R=.(LfNFWlk#}A<@;XQ[3ŧ}E"+H%/Hr=pކԱ@҆b n s;4L",> )$5r Ρ Ɠt ;w0mwul8Ϯp"1O'+U ZqZCUƒ A~}a|hY7U؏)^/c6YTt"FfW j<,tgSRP5M_BLGA'Q*M)iiu[gH+셠Au-dvB-qۙm·+S<|34}'[m}RS@olמb.U|5qPEG7)]cIt[\jHSdiHZ߇ Zd <ȟ3kp7G ́?EdXȊ gX}{Xy/ S'/X鈊(Z\pKfe|M͹? օ Yu u2*e j5TujMƤ }7k8=iWS 0>9+؆n N jLWhTc" "(D3y]d%s5ۋA~)MGR]^c66OdR2ܯ:غ9`00.Ř;#zewl[p% P'9Rq} UmPބ3:DRe֩v7ܨJ$ұmUӓ'sl Ơ]xWMŶ(4k6V3[T?zl'Y-$ |#-Yo A`/De{ Ҋg$V}dpy@Dx3 ]0%GWPihdX4gkQ{m[km~82:C  " J(:Y 5j⧫M'> XGrOk\$Yga.&,Ԁ^}ê'vvIZ8{5y6R"tnhn ])|](a6:0B[-wάՃW'< 'c5$:2AnγӍ$c3.(Pʻpb83]uzCM"_.Q3 6כG'4;CJ!sjc!HBך]2? YcWҶv]'|$QOy?& U!g% yo͒~l[^m"aY۬j *sBL' ;`?'<k@, zV(w0YFv=ޱ'ok9rņ'}׃@2zCD'Tnٶj ݑ"R>:s{7$a/hei{v~'*ȏ^;mЎπ51T lG]/8|+0L!Ddcp, ز#$~e' 6o6~(BTNnj''^5QNK*ВJQ6Xzi#S~w!wasrrU2^sP쉨eWb\ LLXST4 PŽ5e1\ V8jx4}pLmAK^>< M,KE2b_fGWb?c(8@#|ȡjsa !l;E/I |~!,y@][VA$dy1q\F ģCOA-oq4,={;+J19~YtsLhw׭e6kW̢hX M}K/NYv'K_g&Ch!:Pu?l iR'UiW8ſQj5,|x+qJBR: Pꬄ?!;u閗Y9|qANVRNkUCơڽgѷm%{'`5q_hXE/4,X_̀\X-/brsP-^tӺfA3&ׇV`-RaeN%:qI1+ th?|` wߖљϕ 0}X{LKu7voj7qQ(Je`zrb,F{^p+|Db Jõ-uc$*"Qu]U '1X !҅Z4mveA0d9Dmd0!6ޫŦ M+X)7Ҫaςs鼓?{Etgeȿ E(mtmk[dEl+*xOs̖Ǽ-ffuo<6>}ȿI)]uTD#RIV X9wneGIt] 0 ^yF2IUGdsd׮szMq30''οz1_uY-M e[Ћ/&m?/na*kKm/24FBl ݌zIG)ߪ6i}ShYF > <_E 81)e /ccaQ2|y=+C;kW H4C^TP4 Z7hy^(Hq6n/IkiÎSS(i^TtcPa *̚x:T坯Z><&{}w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2TiܡdR /6uR*JVx]ƯY\ @E/SN0KǎÀL]PIe.n}:Kç\JL$D)Yn6I* 5| g;A(1je1_RX ةn-z52C)Ɯ$@nT'DD$1A6%1-5(L1k3$ %@ũO,TkT&@ep0sWqF*3Tǧz˔{¸J}Wu ڢh?y^L7C5?h*'-'nv"ig^JKu"cY` +Ӆ.YSTv`hwCe7Vꀘh34SzZH*k1`!~3ACAi@\w͡2Ry]4>4,sͩSb H6GӜl7;}xrÎ O{#>`|(eF0, M@LA- <$`wc&y=3.|#TءL5/R>J8Ѩ^ Tv^ =*YB Mл}K6Xa4B9|MDu3S zRJdK왢oMm6O(QO}HޣzU{ODkU!+nu\L K(hxeLm D?3iQ^rEeHjAo#bJsV3JuCET L3D*~ΑGeRԱɞ UWc:P(WuVeˮ(YO.YA^LUV"s.p)`,S2$v^ [#A$$9 /[ܯVL(*.  ׶IT|`$+D|lp%t_MX[AgRq8]l[Ume ;j'a<Atj~qY9h[c=OhsGKsUY"jI6~- k8R 8ߨa)TEi!\_[XdF,p;*3qQ~iJ9Ӥ!yȿ1XwlϮG [Z@HB{7c P=jn!-,8|Ru褗uRTǭGz-G @k >FFy߶Dc_J_8ҙRTΎEF21ɗ}[}=X+ */ #-v Ҍ-FCO`/aff&=*צm4ڍ{piTDFϩ]5h8 ޡZbs_Uy:}n>' $$buςʍ↻ zr{a4]_̪1g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[^N/BOLn]n}ʻqFz8ɔh8?5.,^<6YhV "1Ie7G1|7!ƨlvK+HۢP.^&) B=]b #?vYĥ9%l*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_id530K(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\:kxˡy.WV29܀ՑIEViVH\Ȣ3G cJ/lKMg efdQL+1 C|Oi& |%D1{IEL#Ojo=)_6#eA) 1Mܤ:JP 9yblng-{N%PV.)CFI{>(_ܝ,JfУ4>`viR6!-k?oIuݎw!3cU&s_0]2g*.R3 Lqs;w(+'ڿ5SQ^^Cp:"/{_*`R0$ XԒ"rpca4ae&j6]YzY\ hlFzZGRj|}[ 4$K(<oN""20bYtԻgiڮ Q傁]i(O!R*Go$ '[+i5߼J/wa[g!-H6sBrD1;&dލS8ifQ;pD|_2Ʀ[ۅipJ"L(.e`&AJ#b>ް.uEFAl+n3L㔽ڭl!ჾsNǂƺME1x<@`-B΍qs9Cn ?l[†{.,; tM䞡,A~LvIF1,_B%^'-_7q=޿r);Mxm  :ǎW"aj?Nm5 ?QeI?FmV?if"-/hA 6>+M|"1Gz0qiopj0Wfе%l{r?v3v5m S LmOB>=+M0: =zҸgs F9DSŨ kۜ'I''S:;[W` kzu^zre+tf8H̭v7 QN2nj5TWnon]X Ec "tU U> 8vkD&A!W35rBni#x)-TZwz!zIpr~V ǩVB,&vzgGvGVLv?~}z;ʺe1f i߃wMlϝ̪S]WyQ^kSR Lq.N$u#0e\N`X8/J+$E獰/GKwی@y8S])9Zy1&ҿ\I|أew" B1Su\zn۹Gq#sdZĦªg;2iL#yq"Т+44\R_ l)=n,_IÃC)E12~1m9v.o:clx}?=[ƈF]\V3ۿU\y$ ^/륮7]syө{v ԫ N, {kզ.ybz=p u= l$̯SP1./Kk0KJpBSVlhX\/ jyN7GslK׋b+R kcf&YHN*l0cW{[c1%OkuFnW\Tu'ᇕٲ#[0!Ʒu2#!Z)TZ!/-: DM 9M@:5SV"Y1dE?;-g~!)-abVAŲM)B#2 Ӣn>If`BH1ԣ:d^fxm}m+Rյ)`#d5SQ&Bt!5+x֢ƒ)`9ڴ•4sUYrSP$|D /rc"mhQ9]Z¶N&s£K#N߾N\Tigg&; @y nm}_5S#묫FXzPGH; dHqe$J!g)jt`k6f}Ќ'tE}]yZJn&^ڮy8¸9k Dw؆djj>\@g3`Zg__H"n6Q!?,xtujv?9l<^H8 # A@ l5F_Yň9 )RWĀü?Cj Q(R c7}F$u6&R'L_LEG~$ej 3@ x^ j69es;YîOHZL 9c* )PqP1d/eŦM-,糾mHP9u($.+z!]@xqPK|ILRGUs4 7fKWu LDlKX;+QaA.%rbI V1NK8ʇuӂ [헯ORĐ41Y1ΰ׍?0m?6,o, K_Z=r+{Wռre+/'"(N!E.k8%K#J>%o4<_$OݹZȵhǽɨlAX&AP: ssH RcHV'/m, y)xs,^:Uß @9`YE fV ѽl峪=µZ2ݲ%(ðaX,&z#9duu%] ]ϹwU=veSk;, `1]f(*l9KZ) Qt KWGJ Rj@#kTpVP,^=qG*|؏FR0aKjN> .Y%7plU߂ de:OjK.љkJNs98o&X$~f-,\7!芬a Pf"y,&DT5Q*睕-]u3x|)o>orqtڣrA:r*$ ֑.) hQWBc2$D0EL+& ʬts91O짍- ۏܬ1 eD;Am0qw)v{M,1]{d#H)8*0?aatB"f=DQj\YHP_X?l~VCF ,cz+wo>{܌Zǝ4i)?E= q?z‘DywaiV9@=r7RIݪ)v>YK8_dvÈkfp23 `~- ' ]3"$02$)ȴLA0O&2V7.Sp;^!wD*۔{ɶ?=&*f_Bpr.4t`'4V>l*. / tèA- 7pbŇ: eoelx#&,jUEy`n p]PJ-ÌiP'lܶ\Gу8*~ - o=U  T4\$#'Κ jگ#Oڑ -橩3)C|`xh"^l ._ V?bUVzw W6FUVFrQWoP.,os9:P +MQ ,!^G+hoɾ9j+| KyKT$;͵) zRJ[T4]`x0rx?Mhd2e:fDq=9 >ʧ_ ih{tD+\?qW9P\VZ*3#.- | d ˃}ڋBD {ZtG'k]wյe:r?om"nj"1vKd!2q,^~KMfE@vEUlNŕg %쳦XV>*RzhUPXk9y:30 *scUp`g/qj_^*89 ^:h E7 p;ND)k{Rid7+W/} Wп<@ң,9ȧ'ޢ\-9䘇l@'.U&&F'26r4^ХV3 O ZE~[ÖNO,;a]Nz*/?3xM# @Y>gj^z ):X@h~^fTV\tT~ۜgئ~WEl;PgW)ur)퀁0)15U<Bvu4#J3jX4T |XXQ{8<-/=Ij -U1;KkaxҞxlG4uZm?nV@H쬕"l}ND=I_$je)}|⒞0}=HU/hL2LٛBu~"'GbK'A`k|3n n6Ec)o.LF#%~[tKzԧ*SijrKH́5E5pLXh+sLBS:8ʊtĮJ~vȥ2.e`GdmYD$C_7p +F)Қ޲{>,}mzk3\ #bB)P?S l-<~g7.l({jIple xp;1=XEV$Z>Po]E]EEp}uۥfvJ%awܣMybQ_kD( P;qD ;"k # сk%r?9Y_4 18>oOz8Dc?AM]u<nB; S[?_k]sQqnF~\sE#o~j(@It?-d62QQ2 a;7MkiG(4fZ|g!8HAb ߸K-Y[c wmG!WKYZŊ1&zyy*8,lqPge|Έ}KO ^zR3Wku[=Ȼ'b `4?A=2f"~SJ70 rMifv,U\-ul0`htIBi rgHYR~F˜!yFN>#KgR*+°{%k*^~<ؒ 5魣̐EuoFik]2N:eztT)uE翗TD7acSf;\/1!vMRX͜0E ? OyIKb9R@tDg'p]/G\2H7 $}xTIb&zc&]k11+!)Ek>d;\\wd$~5:WʴQri]0];yG>kjq]B/V͓\Uxd 6")r59m< н|2iޯ5k?KDn7K7$A dz w~ x//8L餛( !=cA(j_B}9@8MwU|9swV/+|,Qm8*#\FO@Q!o9O֌7i>iB-|I%}WȩU/K|;+eB[Oe_cУٲ^iBidql"r`UjwU{:셹=Bss}ke^aβ쓫 x9ChC60(v/u.hw#F*$?އ_MLG0ړWfr)dϓ @/&V-z<$)(A7I Z[AsL1FUƬG ,dWx$ jouD>=28X W/o~HQ 4AIGſ!srU(ʕ|:Ҡ2bjLJbLKH22kzJ.5G~M@`b%]ͼwYCѲܳ=cB2nt B-m单`#GL aH~ qJn HDPyS  FL۳oVQfB_,Ȏ튗CLX/X@4SIN8CW==Vu0Bw`\E.K,Iw71c'$;GI3VtEz;Sg⤓q89/P$*W$S[U­n,"pbƚ@~E=@BK@eI + Ȟ5-||fG׉5kjC7k'HHޭqsRP?'blq8\>eh \X0\ȖX5DsEbL/ 1`;u{?ׇ Aڋ,@n%ӥ!cLי# |]Wm+x-"D\N#j-b(RO/?a KSMhy(6*[l!2j|5\SYxֱGE FE$P,c3֑>GPN(-νKP@@Ei'pˇ'em.}VŘ>$.Sq36 ^/' Q>5*QL J3uy3g\e7YbmzN=p%"GO(Ytlt pY;{lxs3~>kv$ ˮZ[R?^mRT?z&p?s 0N卨雠g/V֒2/v HK*Y]o]+s`G}2x1#ePCy4O7YfwIQt,e3?pRcAx)z|rHO"=<*=X Μ\kK* J ܶ3AlcM]/")gq%y@Q%l<{c.1(MB[lAojO"<CI3qSp?Q1#kx*̾>:ވ'=oPH ȯRQM#[),sNAҎ jо_i的$}t~S5-C{<@%PL'Ž8*CW!F7S9h}u,d!-)xVʐxeOng\9oyEJ~^ &3N$or $m,M&2Gj)$8"oGڑ,1òj4 ĠRkC*!G+*zzНIذU 굏Ӂ+dÙCx ;08luܝ'p=._f]\'mהC392)JDF}#uT" ™܉,Q)VBE vpH1*XBoHϿιl/8!-Ռ.a x/$!W4yFwºUo )80R j_(/xTRt-2ֹ;,ޒ1j0ʤF5ԟa8Ѩt0=WgS##0?0ý>&\z9{2M' =u)Zu$=8v8*E>jGOV$KU7z^J' 6FzُA:zIU+Zݎ ;'+^`9Gt%'ߟTnnKGnɧ_qPAM+S(/@W$7devPy_Ӂ«ABf9W9a1Zt'F%,/\BоCoW)G/ al@}x%6[,Hܞ&/?ĥX|]kP _dJ*:lHQUg+U/w;[C#3 qz"96a# t͇boCLiTJ}S X45qF9<4BU(;Oy'OBa[[ dk`y 6b.ԜG+ÏVO,!u)zb,#i5~- eGR;`Z2i:F&꼌1ݽ)2NVm# ӓM{?R;Jϗgsh?3B.N.^!U>Tzmk Ry=z_ҮDQ x ̓ۧ ¢zYN_;ŇAb`FZ}gDrKK#ț T1&f| rXپ'k"q-coתׁ`S>H]|:zՐEB<7p@p,N*$zG0TL#ͦɏ8쇥('9n6%sY>mʣUM^5pS$JCR"*G& c+ 3u`P2F54[8g£LfvNbntIt$pKob$$&0Lܿ[yQK5C[-ve/n_@0C5wsQ(6Ʃ5s":ݨ(U!! .dm+cMH2oU_i.Ujt”n=uGwE Ej.s atW٢y=PқmM3h9"i VVSUe˴+r.+#ё/t/r$^ߋkt6͟ę,ͧ4 Ƴ} -\ NPg@{ ǹ 6UnvB\q'ZR*UukܪˣC:Ɩ7PevCPd;{_Ryqm܌:5O!::wpp1u)jwW-Bt^w*7vvoqq6}{ 2,6FPWHyi;-5{B })Hتiha3㿵Ϝ3 Aeɓsi3'} <͍$!-&L҄)EՃ%i3-1j Λj1acިnUeGcmԃ6̢wF,l9!$J୯3GeW~}2?tnIUW:-0[Wn8Cn^A!(Gb_JƹGEHttݧ/0tzQL"N*RF1¦~Iox[jyO/wӎQ@((ͪZh>?|V`"a5IM6mRRI]R $LQD5rPAYq5*%T8h6p>!$b=V 얳v1#J4}Lx6׵k|?@:F(uuOH W!/KRrF(N hf}tW݉:CLjW^/l(jH--zRFZ]H>ٴ\B5\m L 4/@=>1x|hc.s >uOyLg'ec4Խn.'H:_4ݤ#M kǫĨ*jUw!r!ܪfOumP]Ύ?r?Lz  rT e Q  C85_c?@Z,`~j-p_>U~~~D'$ޠ!q1I{lfdz&ww>4KUSiXh}grk1(`V߷_K_u?AP$ u z˫4J vڂTӕތGsCYd)#;ȕӶIEl ;x-{ľvݷgP{\qG;J),rDи|53UOQf-J]JG{sl&e\{%~quNd`pjw^Y6ZQ{3M17x5Hi;$fA{ZkUia`ݷ?$.8WfG s~#wW2 N#8l)έwL̚Ŏ|̤{2Whm{Mt*)Xͧ0Op !,^>wi-q( -J̋7x"O*$y[@<)1m%0RCI?a*2l;z1c萳G^f#鴃:x;P㳩K핎p| AdڧR]i.w47*_tQ%a*lG*Yǜml#dlاc#ƌR?c_45WEE<>;#!¡d8>͐T ȏrdۘ,$m/7O KO!HXAM^4E,o J\}[/Y {QA–C1gkerؒ a" NW&6t㥘pBMIU|>| AXY0gP0Sxqܪ\261 GFfT"J<ͮKg9~.Dp.9 ˮ}?+:< pD;#y(yF$8E}sXi*E]jz>[RD`F%Dj\iRG=thʹB}s[ׅ^:nL-766TL7~1ϯBPjGMŪҮ`g,Y=\0+_@R9 ER͇ U.-Qxq{y*j|_Ɔ[5GD D\?Ei9VFյntS,q>bbk]R`YK eJ/ 2ch-Ub ĤڂEk%Pl?hA2KIqРup:i aͺ[/,ΑLH? 460L2׵ +Sx*3"Jr>'R, F7ARM @ig ͚w$LG ~(t 7%zLTWbvh}.$KŖS4'::lVn~̨BP?y'B~?~ A+JX?¿_wsa`Flh8GeOB:d&-A&זpaK]=s 98;F!w#}Z$/t ojf]6Nnaǎ~yM 7~dɴu\L3[w"侎Qg.gEvbkEjH:VW-q5 ~X P'O j|P!lx2U0:39sB4#}/Jv>*qК'jWjD+2z"~@ldr:gN3;inVJCZָ)B(*/{^^$#P!? *fP -zo`;LC`svm+)^&ݽ(j ƩCR{fI:,FQCvO~' g4lR }#`ؙŔS@U/ښc 7I 0d;eDbaq`?)>!\O{c0]"nBqzaB;E(GwyDo (G!FP3,BH1g)h0Y%0`es şxGt6 y_,jAím!q՛T3~ꗽ2;\s"u–Y_k}\@ 7rs7jjulӾ j&?%qxjX*jEnI;B=oa 5Bک?Z0wzrȯXhmm}_[i zu]k~m.YPlE]``6D +'c .TdB.fG 2QryajMW?YInHI9O}gDWl#|;n=3@?UJD/݊h|dͺ,QDrlԗH>P  fcgYZ vv/1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3Eo(G>&DNiH]pMDߨuӛDh*?IѠO< Z2" ?aW}ȿq+R&[Zmٿ2wZaQ[T452dzNS& ^@'dvI ?#gӾJșAxTbuoܳ*O|A{:4%r0^<Ъl85?C!kI99ArݶgQQ&WoBXK3-DUVt˨\2oT"rD\BCcOzVa,WVs7ci \"^ "ƁLEecW{j;{kÊ &imBի59y4v07V}7N4UFl`<3HIdk9`%5x h2ȴAyk$rIݍXE+<񘽔+I-PݙN\5~\G/]>Ny1[lRM~'S\|.ZgT# G2[Cvt>fվ|[zM_B..>!4YE:';tާ+{ >pO"DRƝ 3ylkswNcJl_T3j*YG ' HĐ p=}aje +lL ή)ꅨӲPyRt|?cTw!D8Fp`'e K0QPbˌ#E%sB褥%D6 n{-(~Kv t]㲅] ͧ+Q ep## rQbT^Anw"AF3Q<PuA4ۘ g%N6=7;i-bC14-RF3HjگMϩNZBiD.:~-@aIo) `~`z %vx]6cK*xEv3csLp2!M"a=:Q?AuF@`a9"} İ݆ w @mmD`sQVU$25 ͟'42tȑI|2vg( Ǟ`֫YرgYZ C_3 1O# El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\>tݻHhuQ@#BYdGiwCŴ뼁)fJ NLO#nbbO;t b,Jl8H/n~7pR#3im&K>',*~dh4oP"H.Ȅ`eme5ooً|H;6 Vq ϣxt/Fx,#J=cyֆЕh家ƸNIDŽ=1?Npt5+&R}l#ZR>=Ny7r"fns-#&qŰs\ Ʈ?hh¿f[`90 ۘ9=)i k{QG37 Q,Za3UU?;[:Ʉ2S{ؘﳛ cp(C7C0]0H(̪vJfsJbnUE=`'F){ OS;X~I}jSb% K>(G,;N%ј3αFr<}!8 {t/ؗ5vkZ6"|=$ ?LGsĵy,C/KHl*HWH9#1"L(h@MZTnext ENjn!Z{gj]^Ex)!7"0iVRBbUJR`Oa!<+G8Iі NlVEwa 欝Bʶ9B~\n~_sVL]9G~YrBяPWHɕYC3£= -o@j,p21O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM11O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id520y01A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! x]D?7 {?:fH\qWqh_;GCݝH T=dW w{ff6="R&x'\` WƍDʍW]v"§4 2 9I#n8eK4Θև^f-Am6v2tZ3Q}n<9\W\Sa6fQQu+>~B;#۬?fֳ-RUSTlf?0=<KH1{I&6+@ $-d-@`a<PG-u5˙Rk> nb=^X[_Y&:|`JL;:u86Gbe|Ԩl|RoAkTɠr6U}tlmd3 Yٰ 17%HSec4HXc> %,Rf.=+!6'D>F)g _KMtRrH;/-5N&ts`$]xʰy) e / ?vYx7/0PΑ7X'o[ե(蚡\~6 Ɍns:;}6IAO ڷˊI Ǎ9@e-d[{W%CpơY{zNXe|iIrvUBp]TH5>(@:\ocZ}^n3_]*PcqxI[M13^c58^ZYw~o"lv.oYMUj̃2n]OOj\RLsf]&Њs<TJ2^TҴQȍ}]F$`o{2X 0 86_}%@s7 (u2Kv&KWv,Wʣ5[ne_ҏTZn{THzytՓ"P^h%7ez:Y ݖ)8/T'd;,Q|\יh?rсYS8]f YD^6T`==AA L:+×̉L!ꏪ| ?vc^vFjyt ? f٠vKbwu7ey};']B(g̦fiLb4Q C6Of`#ESS"QG& 9|˨9PB/0M98ߝ5#M8 TbWySʼn"s&|!5wjiȒ2T(&DT[f(qS_lG]$w"+&gʨn_Ma&D2aKy#^!Gtt<} Q Tς&h׫\۾ D:E! F,x!tūˮK ߾׻:r?ړSu Vh>5FcOVGyD#IԭKŪDH3*5\Z%K0C#rU-j^b2G#J*ϦT ϑRK"݊C6\Hx< 5lKl(3W 0^?~v7`: B+ *d6W)m`|J妣oh$TzVe 4\bbiR518"K%!E˵fgYZ-SMe0wԘhV< VU%6Of,89 "S &W< ^n>;^c4Chq"ߣL#Ѹv_D(}sz->G{syK9Mod\Utm|)|)Ġe6c؋b'ŏ3Kݥ(!BǬ1gʙo| 6O>**3adm=$|\s7^ 㓻 K]?DMEUk|6:'}쾒85e]mdf3Q# 6.oس yeANrg.8%>ru]H4~%٬`7JVNbj jo-O![U@pj҅.w21֧r=}MW(Cvvη6}\P#zFc#F9kNUNԬ^`:8IVkjh$:5U`Z I!bf~ B=:}rߗIm~!fK-5{D<ŏ3,)^(hXD<=v8v+S3 6A$_SO0!!bߪv#t\|eGt.'ר/ӳ=C!/+{(p4gW!͇`ui)mkO爵e,o::o~KL=.3pL.\Hӈ\bdVj+o &1Py("ʿ8;v>nP~A$vGy2d"QhG^_:VMvjvG! K`_a[ӊUՍf.#nyW<7[S!8MF)^,/]q=ѹgeɫO~ ʰP,Ԯy)\7OJx:u/d 4 \<|ɀx2Rǚ9vݏ篂q֠95o]T :"$hb 4hi d5{(1~_eyw72Vaظ? }܆sUCK]$2FrtEQ@usYt%Bm&CW\Pk=qoGES yP\)P_Қ4Aӧ-wD@tH6 i#ՂdQvGTNy~k2Ő [:kg C\ "TM7B$L(%?r(ɎQr0_06Oh IryLȥR">Ww ;)U`EbduT" WQHc4ANM5=ڤ 1r )ʽ/fyۘCt29)zyb _W5IΊNov _UKoo["D4/^S4§Ê>]fgh 1~vY|Gw_~^ R:_wWt. T(nfQoK(^UqXiuU1`]85Qc6<^m퀱=o5lٶ[m0.<7$S)ʐ`U0t9=[U<^w$;GzMU7tE!z ak2e36S@ >ل\Me[$#{|-0=h;z䒂kV5LKJz}H -Q'hHSCL= Jsɿa$yQ@[ AN}phC\UU՜A@QweEnЪMoX3b]'xVF;>T/ ЍJN"wT|Ck H9]d(Z1D$ZO,HT`| G1>ώhkM@vӨֻh9rF}R-}@,'yVWtX$1{KH$n檲'dQ$'T諪~. .4H" =][ꈖ- otH$9&fˍ(k.#R> ? @&1阮;XphKj2ua(sߣoC8Yk@Aث#~wݿ%VlCץߍAoN`zT QdŐćU}Nn&z<WnK% W =Ly; x_iV$^H.{=^PǦuZ yxfy-kd,')tV[]@|15F|Wt'k]_\7っ) ^υAǕ7 HA-- =ZGC5wG]|@<8kゞ- ONxXi9Erbu ՟]DTZz6Z431kAbU:36d 4^R[&DS-Lmq\C$YL"~WTYFm$r^DdIk~5Km1EdXr}>NU6ӷꭷYχQvu=[2c%[\v\aM7qhۑ9PNO}vuα+5wSbSy5x; =䞖/:%rhW63R$o`qkx`GOtgDd9K=)+3?@v#RWQN:`" XVn6rYVq9㿜@ǎj,msA6 VḤG ? ]aɼ yF<Z,#_nZ {&;zF~ zkfϜfb R0B z+=껂#z^]q8^8Ui|x~v~/jo$CS 1cH&\& AkT@7w scU$[R{pOv3Us)cǞJ>,z:Ńm̮W_ YDQ9FM4n%Jp$ʶLO+c1כL4h8t`ni/ҥN|K'vE7NQS$\G)ZDa2 S,/J"s6NYx؎z>O[N(?0J(ezlD:o8 (?\`52j9n  *=/jbA]X?,qG K eZ%:vx>_R!ɜ3B7C%;~FH)|*uؼTO7ZW+6=sSHF(B 53iPچZv:+an u0f =K;t^pTv.o+ ^B.Ƿog[}فRP'@'Fb]-zkLXn gYl\{Zai[cҤNEXf >U(ixIa$''s<- 9Sc| aįʱ$?W^r\46 Xs"@Uⷱ|&(@c2vZh5g2vYU>VvRTRd  `Q̆B 2'v]` 1\IlRbvXب,$?@V*O1r1:EI}߇Ui_ )6Ȗ6#۬qs^k" moGm8)~ g=躆r'ge^]iG-MU._OZ^UGݐ7 $Zg_MWx9gb4oԽ⇩.Mk:!{yԀ+ꄌErMYH%N(*q2iؽg3'a{d;I*`UaJT;4}o]0eM)B%^GӘ?D/|OEL >gEv'[FAVOh Ƙ)]OWTCg VKj%Z?@ bhjmիLw1{,&,%$!poN]XAǜ# ٠H:H)G@6wΈ;?P=!xq%x ?BzTB5_& v3dY~b0JX7[N`tJ}OzS!N֤]_WT#w[/o4u73u_PU!]pEBr$dlFD~f6:GO<hp3(E^j@g-oU1g%EӲ~UFEasGIdOgjiZK|/%C#A4b$ S!U5:t+la>M5Ճ储GT*tKoE< N\1yfW#0HNX(X/iI2nwJF|;$ D!&b $6ۉ^;j_̐O7V_㽼X-M_ɄabsKDu$݀>fk<8 AYhZ?0 ^\–0apW ea;bN88Լ8([Дf: @׉6'w"?7q|?N: rlg>&9K@w <'׀p `c}'OOxR^Wd7{Zbk:}tKXp9Oաusֱ#z*(xIk{;E?[+aqGaS%D)]l!V@-Tv>+ꎄ[/LQB70 -HᴅG)PxMѵJU{ +r\$ۗ x=TBBK)T\`WGy~t勉lߧbeχ1ު#fdAl^pN³ט H(Ţ`DyU,]7z}x8=`φ'%eJQt$${egXp2=rP3J *,A(8JK5 8lLЙ%א.֬g"S(hpN.+qnE~P1s["{ʊ^ |u%kBןn6i>6-wZ"6p;zHBzo" 'OYlg声]PS#}/l\Ֆkm⌍e ZVPߛ•vl t \jJ3b!B?) ^ۛQ*b0tkUܙ_ v+GwKn!=degzOrF=؋#"n*C_ΐͮ5-ҍP $0n5!$xYy&UQ^3aE_|wb[;2+JweHxsˡ9 g`gLj;y iB7W}w*h%+mD! pGHqN{GAw 9Sk'%V÷4a)UfX;gQ=!rh J 4l5!Gi0gY~tn. Og%0spe|4OfŨRKqvbrڅ:#]9ND0IWN:_lvբ (e b7&r*hl?]AA/B6VY_2"k Kz if7nV1 E%ےPoj6qtGD0kS<#A+AL}q[E yFGFԦ?M0#~"m\ͯ}Q /̰j7&6\Jźއ;^P7tAٿjb锅3/:Hޜs$K :op;Xizǁ¿'QbiΊ~az r=%pmM{@Ї?c=0;CxQ5 56IQѓ&8v7fuplw(!SaEi| RBqC_${ E1F44};4; *nAyݛ6+K#@!yh;`v5,$4&|)ZD@eQѧpKOMs\Pu Ob&F: q @ZkD潸,$LM1b-ɁE*yz[ϳ ,Il$"m9%eڀn+6^wmSm?p/MZK`n5w9k>qDuz{Rrm0i\eڗ&3^jFu"R #3v֠>aOEJ\N Vxmg^e%Om i *{@v ~UP.FN'[̤GF gYZ  f - fv61O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM51O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id516P41O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wF]D?7 {?:fH\7Y&3i1*,]~!5bmK;KvVaE#i\ EV`d'.P籏 @,Cْj=]pbAJZdV  re4{fMyP* A77@%+ @52!"3) m7Ȭf~nʔpGy d#V ey0ŮjSn@eܧ- ˂4@sV@9u,RGbV_l9ҹTshV檤^ OkM fNaHOє3d^ dd^kmlqc rSу8x@_8[).XlиO9kFN t6w._*BP?)=M8zJ}@*F<5.qN7k1@Tyk"4,sz~YqMrM*8.^]v;W{x|W!5)򮀶njyηxoD?8;0}/G6zCM[3D/SEndRXqLt)3 y'nX幃shG.ڧOX&$qY|FT8jaH~,a@k/uS{,IC,L,;EeWO7 hQ}:Qh|@hf2\4yHD ˈyI͒QPCтDEeDXMH*G2rtS38Q;͌WDʵׂC[Bb!ɩal&}4i#DFvMIF/d ^Ijp{+p ,E0r)T͸ly K;P8qVt,CQ14M|>H#os&:0d9D*±҉Ypsa&DX5d_ y5 \YlP170ao3:OS.pW,NJ-H60vAqI S77 Qm٦mho@1BS {Dy$k gukdP[@‡ !GКhr`RCY`W^7BwHmF8cͮp&Ҹ1T@OxX!!k'Ghl+ C66ȗ{meTƗPMƍܯ:U[/=צ2 v9[8PS  KM=) ɱ<3Bޓ͚ Jwо쎏]9DHep#J|oԡ(ө<2eC#_r)O9%ð5oJEqP;e|>V.R=_Yl? #.wWiP8tLa *L2?y^ԑ TCr0m8ּ!ԟZS4.4GL)GAoTQ 3?řc TIDz savO_BG~}) UjqHDb2t A'. C`H̤ݬE(C^ɕwF^EDZ?_] b Z1eܷ y}}[[>[ʾ3Fg^s(+}[{calK!etTDaF\(*g}#'RIwNZk\a2lOnDmXopM߯9ǞiJ@R(Əwq3e"gQ_*ΆplttSNY.-Ӏ̗$*lxwlj妃1jq/Moʅ&[HneQշu=V˓U&Ziǧ˧զLd`cc M?W "˫y r 95iW]EMay~_),V H5 &IH} E_eyPI!-X@(fj0׹~o-; im=d3IK(XR:(4sPkd+ by@NUk^FK2-`=_^EVmЫJ;kfa5M@t|P _3`D.ڝM&a1j̉rWUV\BXQX=hܱtAa-RRo]|=xڈ,B|LI'drgfȹJ?:%&Xsxj +oub}PRh}0L]:it޳0Cb[C%jr9.\:TQ6XSq 2Zy0>dղ98ӧ")07U-젼#Av Lh;I8 D~CK8QBb<^?/QT! .sb"t^^ Au}%ף8p^uuO~sGHec'AsY [;J2X:0#[ ltmdDp>Ɉb0cUX6|`7LߨOIⲛ1]D&ӲL *>a XA'8kNĨ̡-pLtQe@)kB}mhflHۧ i!j{%W6:b^e!LgA.%QnChi.=_E" T~+|1iv#FUttmFB89ŌǓL.G9(MLR"*xɛiKd9ے[_[˒}sHd-bo6NKTE'B:a/( ckNe4A5PU(>6fEPSh2{0dI'G A4#urQAYey&TO )H;@ꪛ0GuM#|.`Up ǝm"lFbNzΠ #\jrk}:BԪى+w0J"*U3tMBn2 QgrōVUꔏ O;G ϻoeVP/x>!wdi#[៰d7fļecԑ+DӕWrn"W Icv `ϒSL`c@bҩxW3/Tɩ@)g-YC)R\Ж?RDٷWΙR 2ͷIA~Apc Ո@(h"w+V"6͊ڌb+n;@"SnC!W%߯ޫ6ZVS\nqIP9ךpTk՟~择 du[!a0aBh<߿`ߩX QR([NE-rZcQ+?WP_ M_yP4tmpFh"uNtښPz#^~(o= AanV1K/7f$AQx~| y7\/4%_0A9P};VrK0eUFT#Ml9w7w@Z zniS߶_hb4x \h,phQ,5X`h[o#yAi%HZ] ,nmsbt9|gYZ B71O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34t2 N3 [UmiS 1hi S)1nV*xMg?mt1tH)6__\7Ń5X<."@r.JUnwU[0r`cj!cTf c$6Q_l 4fg*ŀ0UR\۟ęވ\*ᤥԫUrBsᛝGPzy#Q\{kXD gPܮ*}GM#4v0BmȦ69ёK^U A1jS%;~nӘɵIuL=W QSى g рF.#!lCU4ՠg21O|HKnyF6ZK:W(6/ }}1.&{B%a(C$T\yTÊ뤿vrG~PV!4 9|"r1 ֢9Gø|L}.,8BXQYUx ZT`U6c8 "\¬:f \K[e_.ΕeP9wEvum s9!DUu"*;NU' uN`Nhۚa=͖jY8$n !EWfQsfzB;~7"ķ↛U|s9,apZ[C5 H/s[ O>sSaD&|x - Kta>s#j0EfO“EOGZ?U,lfE yLu *HX?E/MhIjWpxV0iQq0 my*$b\ԦWoQ^zuS6obɽ>uhxqk,{c /k]Ɍvl͋!Ssr=:wBagE"L_mQԔ'nAv[ hS Eh; ƅyMl`a5_ui Q ~@8“T-tCӒ#6A3AP%M~4?΍;=eՅǨ9IN*xWD]:a&,. %g#pKuPRVl.IN}V?:,i{/ǭX\!@NzF}bHoCڭ5ڄU?" ҬD<,C$=2%m47,̳'~PIggey-2s^4J$0-6@m2׀>+ne!!T:;1@XOV;+P1^7( X(l!ܐkNsV~~=q;&\=cGEF=LXs $}${k 8@OX9I*jwok.[Gginy/ r/* z $/th H t ^ J R AE \ V  Br q#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files6I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages4D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup3C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files2I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id1?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages0=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-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id)A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id%D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup$C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files#I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/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 'HO@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesMF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_idLB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesK@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupJ?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesIE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idH=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markupC<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesBB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idA?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages@=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup?<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files>B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id=J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex qCHOL-Corec_ExaA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupNF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex 3;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Cla<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesQB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_idPC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesOF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_Example=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupRM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex "Mw0M lM  D \  - Z +gqF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesGD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupFC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesEI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idDB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages<@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup;?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files:E1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id9L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texH1S'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_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages8D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files6I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages4D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup3C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files2  y . f;1G# THOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! a]ˠ)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ԏ))jy*=Z$,WIIJVeqςر_jř8l ٶ1EUv80sMz6Jlph>ue5YrąximrVm@ ZUbQ"84#Gk9ufNU`=Lװh:0;/GPؠAeeh]URe?:9W!aÖ́'3(JL3X%>^e!4f//5HX4."{fL|T4ƛ0բ]͟܀P,tU<Ʈ%OcHtRj|MnܹQsqX.!K_3i>j-xaLdwUV ڇWkZK%t^ \5v+k~s;{w>Al{N8Rn8&[R5D"AdLxK[~50iߋtEU?8;}a6?1;>\R%nD8PA[U-__ñPGwq>2p@*Z1\ t&Zp ȓ<Bo]3N,J 'DѶ*}{d,}׺g [Z8'hZps-<\F9eC 9S$xk0 g^,GNPS΍pdnKff!߬Vڪ:Lw,'-'8nmgO,Aܒշαt&D )pPh><.MO fT2StDV6Y oK mpYeFhi`yI<[4(q+c4 4ƺԣ?j'&X;v}i,"}upۈB] R5~ Clz ^' JTn)C;GTH((Mg 60@:+¸zywlGr~? lVWb>!tJ8Z@u~k2|ԣ n/%ؿ(Vhl%x5Ђ.x$/ql#63ʯG^ٕmHF=PGij"00y~D|!|wIE(>Ug^H=Qv, b5x>Y_S3/ DBV2\ѦY)mrI9kcS3\MGjIA( 2*`ӝH Jm'+=5u,MJ2X%.j24xOZEC V1ٷv3UvW27i8B .k^ l`f'Z1k?M٘Xߑ0L3|yux=gyŃPك;0Wx*0Y#'']`*M-y?S+?uXR|*l:9zo,{#)BRlJ(Zt/e5vo6VMtLV`.6[HKmdT>XK~+ 1b -/d%.d90gYZn:1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyI91G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id54481O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\62!Ws¡"wxuG t=>aڧ xȋV xZSDOen. P eLD,',QOI80omc-_$rQ`d8s-SF0Xjc F~&[qn`HZܔiy5v7Q:VL ^NbC,z)d_$T{AI$2,4nS95檄3c&j!cTia'ȡ5\A++E,-8y׍g1i3Q60GI[J=TP.[mN,ʹ#aV%ryO8/xJ89'p?b(fzn[A. *f\Vy ioHՕAY+ʜT!z4<1HDa6mܾL[~jX,Nx.H' Rx'2kC?xAJ͝m(.vpAˌAdNž_2,0^QEV&rcS1XlB[fE.kwigIVu^<Qe*=%,qs6?zo@Fk8v-^ i"Q&C@ &E ]v2ڙŅiҹхNPʔBE-yh)V3.Ħ6?/*-;yV j kQ}n>& U JCrRVFjcFLd2d$Maq-sF <XH2Vpv.V9>To" 6QN46:˷Ph(qIY<‰[uuJͩ8) pxsP1R\knK\]]UeLogYZ Q = Q=@1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! <]D?7 {?:fH\vK8I_=ʫ]|'s3Ĥd4.]vy'9_<Ӫ!lKT%YH&8=J7üQ6eп^QZ<^NbfT^ğr!ZOl?VU&η8o[3 v Ř^Ҭ~] ^0u[SO/3;(qzT0apl>RmaZ@Bjf,/\X=PC$u=u5eH2eMo%Ej:A"9kDk&k_}lnYk_FOeq6RbqiM|=ZdXŭE;燍"Y*x e7x<%wӇ]Y/vgYZw?1A# |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1/l<#t5daߥp# #]+yhb(葀_9^*!`qM;)wRg&HlE%"#2ki1%J=fB.8I^xzX}[F+:P+ж?F*:_fD%0[|Hv% <4LJebЁTy;)9cwSV=(*-ưэ9V R5>a# Gl(\H@ q:Mw.Ҩ7qWq-)l|Y-RBy(ijܻB;0Ta|!bcZ<)2(xY] u_YY˯q7QKRQLjk4L 2L&֟n4~ò8 LxrŨEgjBgF 0z^ 0,s=L,9a`T@(sS"WkY%o`T@x V`(f/:xx+m@/F**(@'eU"ov@ͲX ՛fuG9.P̚ = [v|X.%:r#ťm#nҟU]y[hXQ#zwby-caȑo~ "I5p|gyH*DC<㵃hf@Dȱ ܷw0zJo^.xZ/˝j~@B(aVcHC##+ߊB?)^MgXĝ/j]ukṕTM{Iw_  b/K& #9TeAuePGDdو*rw渁ǷVHoTֹ'hD]Xziy7{Su]CDtI\|GlG=K"=L#"8<\,@̝LEf oAZׁ]γ{P&oQ&@[dy7&T_+JO]5[M+ I)CcRmt}MMuk#rcc+9,PTʌ=]D nmL1纗 =YdjdZGF5zia=56?H}Uj/1Z)= N?rX2'?xɣ+07t:VD? t%,EW\1*PgYZh>1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF=1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id524@<1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I<]D?7 {?:fH\xv1JDws?*u]iE;a'P-|yB0I=49bb%&Ls*vdY* 1k@6AəI]/%6L X^}K`FW6,~b@*8$3[@)=FP֤?~ϟ͈ O$agߖGz|h0X~d+㯱KתSBh)g{bqk"hqyon ?za?ÿhE-IԜ=v%)tıgYZ N eF 1O# ,HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#x*]ם|֡S.g,)OS:H u\uni 1|)kH +;\;Hr=}8v,{ؓ@f}/=z IZ`ԟ-gS,;Md1@C lG x7GW* @y]KlPyc[,(»\PšPBʶb~c }^c9uv >wjIB}']tOF 0p=$K2aS3oė*C oHW#*Rli>Y_f\bxK۞͡9%4%'Ӷ&&QK82f{ŔJp=oex >+ 5UvɾKI梕ZڊD39C*l93_,鋧qh=K}t J*CS,v%"k!d.4wl)LTX!K-dn/*b;>W.09O=Vna~ŝJҨTe*&%v+Ȑ3[ apb0D:cvNp;WÁ^Ռ31845vy.%MlD):14#$"|yE+F+6g#}2OZ8ZZaK IdRT45ɏ1T9 MG>SE¶ĺsg6~ZF&-銦mQSJ@U'l+o%-aj@TIe5Aܺf!ATfF~Qf"  $73IvwjGީʓ!J(3UaOL/ 2vDvE2YF2|IPލ)1~\n߄ɓ[>$į솏sI!2iՕtBn1}Lt}GGrnRN~y.-/IZJ_R(Sv_[+2- 4E-7`T5=[W4g\:rGKu\fo/ oHnHuxpTDE/j3C1k"lM (-Bjaab^yizBc}_QQoʖxDB_ ƌI%$ըŲ~7`uڇC#LԡVZQZ4 4H 4& &Tݪㄷ<ױHiA\Wp-'daBeݖ4 )Q ĸ{,r׬_WycکBKtj"(x|r$I)_/g=AhFbyJĶ5gL"?N&sPc1?錟 |+mkZ2$aަ@@\Gڇ*.X\GexpH@Gw(D7@ |qE_\.8;oii%Q.R1  Q5&r;t(<9nSu=& m{σ&S0Iƚ]8F` AɸI-BS+Qj7{WixR0Rvf`vȮW]IGxzrOiͅ!Qv(kd=kDCz)V`:|ܰ#Ύ,G[}06|.Wz8 +K9G(WٴnؾJZ S- Cz/5L&$H%:_?%(#KqQn$k2r\9/N:ȅ$t+z[Y`c xē$jW|ll #v}@@'ɺ1W{>0Mt:+A "\nI?Ry";5G;.c~ZS<.T]K;DW3C&Hy5~eŘ2}b|ҕ!{S,aKt=4cuYA:f }+Y# 6;m< c&aLbEĐ>δ &mz֚+!gSMf̀/3]`eç3-7d,{p:TÈ= Ta?1{'5PPK=nϴE -j 1Xy߸w7kovmɍ,@=c&] -׊SsYKU"1jc$K@_ W>TdI aVCmް&|c51 NI5G@r:Ò$K.tS㌞iR"smY׌jROHZq|8$(%qOgM?ʰw%-vŕr cJrV'*ąNd׳8jNwX[%}KP?9iB:)pP&F (. كd8D1FF~Z89vt6qX7㱵>iq7o0K7˟!7R5TCZ/'9u̿zAjQ=T+}yIKpXC.Ȁ=]#ll1u7&҈M Rys*7)|F<*;!Vl꛿-% M4Z2jnamɍέ#3ax5Tη6'H R E!bld^0FoH4&9/V3E[㾡9NtF$< *"-Oqo3b`ah5`x]7GJ+F6DPd $܎)^=^A~TLpS3q !NK;\򝫡} {*}^[ J2Hk<ݯǁ84Pn0t V1GaqF5Xt6/2 %;YQS·*Y=42{kF/{.Ma' R`9arIBapU  cU,_m~US+Nbj5I4xkHy3LV჆Eu2f%MHŧXD>ب$fU86>#P]%n~Z ՗CVyVff( H# HQ=XrV XN\tqM78XY^RfyC#g! }SNkp!5槡i;Ґ< +{{v!XPY0v^EQЩW./Gkr.UQ;#- jgDIf #}By)2[TKJ$CXP (.`TbktnOD\[-x5^#kڝ08}='')si xu:O #u" lyKa@INA)ThXM*T6h%FY,֔E UL~[{5?3ڐ}* ts o:",ONX@}W"%x¼2#;UIo(]t SѓN5ZO[g+V\oB5g09/<ޭPy5?k}lXIlʑ.;e߇1Rsrɲbn^Rt47.EA!ei/ik`}b{jzJI)E-U yhC9{j)wD7Q>-d́MH#G~2[%?<{Ekcy-.&dQ\-Y&$Zq Zcħ4ums[3fim+ 2i!F ~_'<xs:4FFQ >$ZQgR9 t:Q-4$Օ|8'Ҿ UI s +@pHqdTM|&>“o1~C G >P-?%I R*t*胇J%gԍU]JRI#J4\|bH"ϫo܋Rk=*32z%VR1e˱*[ P D<&g4%$f_0#j{obAo̻IHfXY /?sſMwF CJ-%XH  WlY*:drj fjһ_4G3gz+u'{B^ %Ckݚwptǡ* W20]_cQC+*keYf}D^ڶvNQ`|mH#9gEW!LJ7IDm-M42u.w]8?$~vx_4 =mW?s,vD\}Ϲpb!~<Ksg|?^0{REE$)Y2Ǽ46`3 EgH$k"&Q1ܭh@⡅`Yd? +~0D۴bLAetv$9F"+zAwJegY "dlZ#yXPlDdD< O`R$>#U졪\i7EwP/o_Am>ȳZ#PTxa(ó`e[폩"Rrk`7":sW'fr(wuS"Ig& P nKߋR.)(zs`7hȯ3e{WH\i _Ou>/D0f6'HݴDq8ZnK߀J0v"&"l!NX/~tzdskG1z xDlA*edZU缆SKK6xiS.22A$? NQŒƃm~N+Nͻ &&  ׇ͋LՉ`?LŚIt.{R5 FRo1 98Dx[=#+/2K&ZTyDx7ŀ ɗږuKZI(Ut?ne_Lm87}8O8՛) iA;F{|6Wr<6}ubS)+luOet" *x,QHh35\T&cC;b곓NdǢLSdmlna*`{Ӽ_*Yd_R.uFU-{How`tH{hh$GMgYZ B J1G# 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]Y91/nqwJ2(Vļ qP((OyQ}T4Dq~i&J9.g,F8ȃg|V~F(C3]4IA"v!r°G";/#zā6ژ7|iX%ɵmWȁ u-&UOeMQĦhJbt- _NUYPݲ洂c#Gχr*`䠸zY"шA3#8B 2cR޿pEҴ?bu 7:S[$zggh"uP,b\x-t Ȁ ,Jl4۹#̠nVg>e떰% 0_G (ˆdM|GkIC9rljx$tC $g.لcfX"kiNPî9 \iCT="+=b'WG,O:'iyh!fe@;PȃC!~ΘQM%pQ3Ib>Z/ @}yR;@! >Ŷ+]e0[F/͆F&Rw-4F?SɟaH.@ }k-'J^ɿ|Oÿ䛠 *D =LhZV7 sQ)טx1s{1 y: FoUSQk+fw䤧p5>J4>DO'}8{_`Hac*VQNwc"Ӌh H S_+[%BNu֕ xcakO9gݸR|(d3L `w=|W} kpƩmMM9>>zc\~5ݗJn^ɱ*&DL9nI1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIH1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id528G1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! x]D?7 {?:fH\񓷹E !6h8Q66j輈!L SSN>#,y4O& itW'r Rd9EcV %E<4͑S|jeKoJ_`̡#;WvRM#bU*# بnmkhݐi`g`(И>yzG͍5$ֲ+Kt\Z3Hc|~C FKSeAL E#Kjq^ك<&i0G:S]RpItjdXzHw R<[R ioT#;+}N(ui;j"mii-9#CY,g.=U~@ kV t%m, 7ηBfYa2g`@ɥ7-DM_$cdmvߍov7e4=l[jN>ksrIG P] ri#`|v!BfS#τٴdp1dȺ۱L)mPk&od3M}؂@vC?b&A]mM'?ӳ ^W@:ڇ,AXf2i|Ru)OC-fb6;~[6V}cd1OANAIWADIC9)m?r]l!JG3m y0r[2VDh2C 1q1Obl9.#ع_MjTcMq%L-*]bz%==};/{vɷpl+bT,6,J `vKI .sѵ8ܡbQ1lz}ttp͐gYZzZi>TŭdTDwݺUIیC6 eY5h3{z@W9hܡq\KBy^G>IJ{R1ꉄN4V*no`$M51q Bΰg%EYK>iEV19YieIBlicod_qȼ}UħId(+:zV_+=}p$Z}i5݆Y \._mQ(mjg_9`,#ms#[KX@,M20MFgq^ @ά}kTI2P؏wYj |}φeg#qByiyx$ -Rfx raKQV/YE|7W\M@[lZff[m.5w_om/ekܛ<mڜz3kϬ}Ne`lJޫ6JբrX7&o b3{FD >.9J h!gܞzY((e3&A$STEK /Geó^Irbaq SHaO3W봥O ѭ蜥=;TV@|d(Ƹ1:˼M=j2;lDՊ X?Q&#Y,G.vzɵTѶe촉;ޱ8$V&C_űEGS^w x:3g k^;fR j0 4Enc+KY.m|" ]de.è{ 3SI0G?):#=;z(jUJʡ%Kc<9`"\x®kZ/k hlS\Kyio0dB&tJAf\KCt~IqA l eS;IlafyFܿ+; rR 6=鶣?J$aF8B;LMz0nGI" 0zMxq<<2-rRk`D1O~i7)MOb @ǘ6en+gU4Dʙ&a#X5ujfUKϰK`7ܡ,J'eGfaoz !FJ}J̯w*7XDL#MsB<5LAdυ1Vg{~Bw!O*aSӋBxq`=4]%=R85VPȒVTd;.C29 pTEP#bNoV4WWG4N5J^-@у.?W-فXU_poe8@vWm%te,KCNzςS+Jn\0Š -psrrP"נ! J8𜁬MDQ}/ydaZ*T]J;3X4اpuD({Uf*VR7 x)}W\HX8#fqDŽC*߭^ c|mdKp"Hzx> S<a= \5g2<ͦ*0][tM0*Ѹ.ON$ױkb#6))َPiOd' ʌ<]#ʮfy*1gYZN1I# DHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2Hw1 "SA V)zybp#uoWr"% &lH{:ޙazYvɜ~XWތU$q{'dE|͡vJ̫` R8nOYbti!>?d3NL,ӻ5i.)=%Ѧ 5ގF. n9Xz_ZsdP?ޅ7^RbLk&I'4O*Z=-IR 9nꂪ h(c dRոf.CxM E " DT?2K٤Yҁ#_⦃x]p^U㤒ÙHLvh;2 W;5K4Ng1 ):p)P ֩uCTar5BJ!lE x凱u/^ۻ\k#y{% C7-,徯mr #G:Řb`GTFG&0\ H &[\˽fW@B`Edg_Gi* o\#&%MtT/j(G6vw=H"^jh}!+eχ)Jd&KwG L&uB366vMzuC42~At{E=>|ۜzo9}gN7s@; ݊30Uyع;UmIB#i );pM1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJL1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id512K1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\s{Y֍‘1o&X3lɐf< gRZmj3-s;aٝq5}P51zB8HsR1b ӏ<=N+։grq.4ؙ 7-DzZBMI$RveӖEYZ[91.] o*RuoDGC9[0 &fxPNop*F1մknqdw FfCGo M@ږ&pwm?5yսj.Vc( ,R9[< VoqZҷ涚jpFlqK^a3TQx%ShOP,䟼9 i|cL_̚#p9;߸ظUG͕sUnf֌Њ>{kFK dNwEy\K^'ENNz sY\[sR|Iu`/?y D*w_pȼ{@w$GR'DY[B˼HQؘ> 1vAM_md޻ʄs\}_+WI| ; U]K}$Omμb0E0QNe/]Y3(=#V6}Gm5r!0t AH4]-S:[pb齈oR'եza3W="/{ۥha]ᾀ6-sJ&d:mu>R_(R_2[@P]hU*pgYZuoj=DnIl,#lŒM]J7^c _1hi7!`2ߔ03Tvw~piNfM4&zc$19o崙u9gS?R |% !Ѥ}{סV0>N*})}@"#+ 3O`+`I(s'Z[dx'[6$8}Zx ]Pfk 1`nx?/njÛJM,Eك R8 \H&Uy24P wM%nM (9A 'S8lHjt(㌗kd#tkLpGm2WgVftC&ƻ<3īVa.*Nfb!K3y& 5pj27ժmE[ĺ9T|bBvn}4uˡ~"ꓓtJ>%ؙ %a텩|NK&]%X0ЀŎ#4=!c$Y#c;tƬGs#uoz ,L\rN feuqr >]dE=ޕQ/ZVDǂsZC^YLT ,kf-JP͔-r|ߢ }; UlJ|)vW~PZ+-FZR@u!?7#l4Ov^Jr?"Ɇŝ4DW@gK?3KTBx [a}ہ;c,_?UK,6KL!5AՉ-5]JǼx|ܙeBtkKClԮ}xHAy}-V`'3IST!Q FBmК*.<3~p^.7Yp0?S/$y#c0l_wUk0YFs*CTwƣd;TrmAK\V"c-^N41RƴK3-Gk䃈[]߼Xr3Rn@6 3iDsIqFD&QӤbvD_t`(݆\b'R{=DG𵦟ARUUZ1ux5O60a =1.=# FE MS7>vp\s 3cD8ٽ*䵨D;Sy/<% imbxL&M S4]YT.4F}iB^"%t4[]a6+a`ZUb"b.UXfW1DKܫ"kjLsv;vA-G|E7fzX[ȕW )R͓K[,x JòWwF~q.3a6UL(zAXUa9E#Tcɶ!܋kJϰ,oGEȷQ{sc'ӝmp}}ѓ~Ca&}JNfKqbK"F$6c (tڑ w|I`> 7[nϴB5'o`8%㥏Ž Խk wE)Lr 3Pu% &t,J+<6%ʜe:ΖPGif8Ie =A?L&Yz 3d25 [ZwlH@M3$C#a|Ik(=+/14 t'A+wPިTh (]w !7 ފ@ 9 wQt¥D)f /ZXd;l?9:٠<Bp.AQEIXϲD.c2Q(gˋez;Ou lwu5%3^Hځ@erb/g[L=i2y@x(Z9 h3A@_~SiiD!C%?`%Q'3CkkĎ}V.[WFqg5ͽ>tS-/n9B.u>(4/GA,݀nB0ue KA2Bl4W3H( PBC0o;N*j^ڭvI~ԔFxyq|Vj1XI5͸BRM@|G,Vj= >p KG=p~'?1a-A!{ ״\Iې S$02s10wݜ?'Qal@~Gv2NvaU@>zUV.xFW-6x=cR (- 0u,GUd/`ʼV(»\PšPBʶb~c }^c9uv >wjIB}']tOF 0p=$K2aS3oė*C oHW#*Rli>Y_f\bxK۞͡9%4%'Ӷ&&QK82f{ŔJp=oex >+ 5UvɾKI梕Zo6Wp&G M  HRg&UMMj>ȳŽOG ~%9Z`ꀸ̵ѳz#vQ2mhM*~&)d3vH+T0E/C:{̀sUS6Ix=9;#43 SGPY&1G\v<9=gtۺc8gPܞO-/ Hʤtڕk(0ߑ~{mҪ4>މv}bxM+n?!m7:`ynxm6kPA2ӣ',fLd6xxdr]Xo +Z XgYZ>~1R jׄQNj0FD+OeȠ2*𻒈(D3Mx&r# Eydm-sSCM)²;APW:f24?ͣW#G ղTC Kjap'm![tZw Q'Ŋ]7R1@ )b}J$&z=t : ro-oVZ| &-k+/6Y6 -߄#=}? ׈aK ľX>sz=R)ZoMA(F$Ic TfAS~4xy2UH\F] GAw-r5_0'*|G7%.CHf  m!ĆAAQzJp[~?`.͵rQCswHᚾN7jRɸ--:@K(fZw C,]''EGrVpm/@^ grP!$7XrBe7R-C۵HMpmNS-%;vwq`AAS2xRbKA¾Qt~G0 />5W}SA^fQAdnIH +Ev +{ds%`N6;̃}O]NV4ӕRh~*?vͭ{jYfٛIKj8WO3a)mTN8E~)w ;z:Y^0-_?:Ol^z.< : 李jم6ŊȌKSO!~MӿY Bbv~FtcaήeJsr~H^3sE5ڰ^"ӭ98vp/,oo-CN:$[}BNӝF^׬IK83{ޑI}i5kD'Q,(K '_ZZn!7W4!$gf ]@&wȂ!"< cPP K %%W12>aFڼ`ȝpɿqu|2\z\8(}V8j!Xna̵FZK˶С824GXWP~q{~ Se)Xd@%z!Jݓ0<( jHAaĖhA`%s(*%(s"x$kvQ =B-񎁇R`YW۶1FAY=(Mg]a UYcنdNŦή:#pu2لbs&2uq O1`n>2^p'XtnUѕ +Ê@%9ۣC$^dsj̴ ӴԂwN^=פiύ%qxyق%dg(2*^iescBJn΄b^o$偏άRY iNE2l?*~h=8P g$f6єiv|St$7F]IJy8EX z(+XW r .C*R)ޡc* OB y]˩{GJ:3/~\Z6G=$F~L۱0ai^5_lC̪%1k/{Ԃꘇncgה%9gBV6ߥ̗A~Fؽ ^aApl-u;o.O>6U@,!/5L<{cWkXKW%D Ιi&lmyߚNPK>Hfg!H=|TA߆❕^Μr6MYPtפ(cy1LUvV7[x&\WL-ra;%/rR{LLOgV!wcNA%+w3_Y6&ю$,1=Y)Tur;Wldԫ1Т!ֵl5'X/DZ, >vquu~TnuWLD6p5]ί‡zX?/5 5y@T9@a٭m]s![geB\O^ mܫxZl 2Fl9bd6 ɀm6*|4{0f` lU+\U?[lk L D#%Y ᄺf'ݍ{>1rq/rHM^WItPճ^]ЭːXa9htE }(UZ','{[GyK#Ē=OZjiվ|sgBx=I88yu[–l ոG$ 1qŠ^iW.e`Dl̀U{&J\Ke)|'A4 G Tc=W4MHMƦ‹^B# 0^ֶ#le&鎛3B}tfi>Y*th)QZVqp #yW-of),k ˡR#;kŤd^qi!?˼ wVȑqvRA6<>Ȁǝo5˧@]Nt8 l\:gWѿlkބ(Y:&brzv-w}RM0T_Y+,N[A%oocS-rCY^ReM>o=V(4Σ<%9U lX%Av"(RPuBo3zjREKakWDyZc%g8K^n"!=] Ӽ֚CՓדř k Em(j/t.*1X(*7lof8H1/5OAYS>!kآ)ĐyKT1@ދx'wʔo˥e e.h/#@8!@);1{W_EM#>#ɍhb: X4^ ~jJ9x`CWl17x>lZJPaM=žH!\U;qkla:Vb$HBb˥*- HSSiJPS[s{9tct=S)6q\ѣ#A1>zRLxx4(_lJ> HY^c&> _Xyܵiڄ>$Rp{)Џ}Ma;ߝ/@t,Ƒ ADj=umC`TdL` mCR}qa˵VO."Tl;2؅@2bR sfF8J64.,DHX. 4f#WpOpu!T  X 6d1T2gyeq3L5ww@^;+2ԇ8:\gg|#ٷ@? T^ TD-T>Sy`iHB䪦σ['$#nx'=si(k{NMKDuQΠ6 6HMEi jLmKTv߷KAKњh)#ȑnTɆ~RTi.)FrF v/g<ÒV;$2µSYB!s5${瀢eP#3rz4%Bw {LL|&1V 8 A& Ě~RkvΆHYlMȰ4z`pam2GoGiJíI)y[f_V+ -*'(vY4$&В-RU!-u42JZ*MȮs"0\UX]V"bɉ,q.0O@[cZFmȞ0Wooif-yKNS)ɃNj:C6^|i=QlYU(ƟNWEgZP Dk#F'R&H'|'619f0pް6*h )[{ '}tU倭&DTthb<.Y*`6jr RT9&DZej[~f ls=6ze[!2%2~j-3̐O?lm}Aqd1QU{ `f3j9D&a$,atQd*u*E._*_fh{GMZۗ]dfYdȤ++@[w]O/okD69dPcͯ{cW}n'_`\j?% q2? kRǿrP#:U`Ng gi˔zMHcèU.n,u1tXm`"J5'y27P^Qyb- k:Dq If"gr%&/ ̓Sk1?˜ꭆk#Чh%gC`x'Gh,~S|fuD;fy+zeeN-'>3ʰցgjQN`Է@s?d+yġRP (GGܝΫzDW!_%UI'n$2h7jrcᗜ3eiID-m]ehCoxPiƅ@CfŸ XޟKwgc/V=lS\zf2ă$񼨤]yԍ3OMԩ$T~+$SӦMiZy=yHcȰ =rV`V`i QFs>E[x[4$-fksZekSκ2g@AdxNğv|CJaLvߞ=G꣕\bݩ,18t1` )n mƜ/spT}%HZI"DǛr 4Dqݓb\yufr#:&`k3M=60vFDh$>j742̦@GPE[, Ӑ_MHXpt?%*q-S_ ʎ&a6-2;WJ}̟ nF~̇ૈÇ"uՕ](iG3mn fỈm~h hNB1^<#׉ᱣ?fHY:x 㝬ڕH\c9`C>?? A:/^+7Ҁ2Y3A<޹;"W+\~p9L潉;J6l_9] dKV< CyayQyy!"DGۘvNP^ Mũ_rϐ+٨TW3:Ak"-^D@VbpZ;73ʵ@ƫvAjlK*di%Yh^XzĞa $-Fe5afWHF ñT>.ק7eϓlY׫ԖzkqMԮTH鄉z>VdǧYp/]?ի #VJ@UJ95I].kճ,%a<;(k]E]2~PnK B]!g;ךC"j4/F^[|{Dz?l(PWI%n_WJPr#%%e {( 3oii}ЩR&/E-s*^͙dY!gb5펬ʼnÓUaqyvRg`rW';fDL/A 8.u^-vXkR #dJ>vh _; َ1Ku:2[2f-d/rwhK0땉mZ_ E{5{{};M}lƋg[w@[ pڊbZPjBTSDeq IګNp~T4J3fxp%O2코tqǮ3 娐۬>P/=d?{Jp@PyϪK MY^Q"uwe-"Aiƅ,Nf$P_NqŲ]; h:ݴBi~PUR_YnCN-4 ^V(_+(4qVA;j1 3,Fqe &+4v+2-io6RG;nX1G^2ZwgvZ>E!Mex{kgVН\я0ބ|G˴|7+ٔ(S{-[u 5@gH<r^Á#[Ls"!$H|={HՑ $FVO 1I`ӰʛߚMFE'=QzPH~hNnm.E| W盜e^XVȺL8!0n!5Ch. f1#iTuJYL+p.K 91Ɛ}JvDaE9\\Ai1}հ2%_g1 *LݲnOJYtSTqbl>>*\tAMV&+5E8voֱ4Y+Eĉ\ a!B̧C_rތKGc ,&AJPg#>:z05+’D9@h2D̠JPulp>:x_m2Wd#Ǣa&}=LߎYY< uGp+i+sSFg}/ZeO(WL[q v.`R:dZ_ \ gYZ75e15ffd2691b80356e06b6ac755fb821b38f298535558cd1d6aa4526f469e35299f792644e559b9 2b4187bc161d3676c7ecb02018a49967dc6a5fb4 25b9df82f9955898de3fa6be4e7432b8649fbd60