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 1z|4, ] HOL-Corec_Examples:threads=6elapsed=154.310cpu=507.584gc=84.3887zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7l0 PZ(ga=X!߼4=^I>`K>4FEsd'}+Fn&韲jFC't낾FCyKw@HAt%9arz 0ƐOQ2'P;F>(˼^3[>7rĉOp}wv8>h6O{X;B~٘g܆w^bH6) 䔐Hq})|PrB|cbDĜ2_f8Y7ˆv"AMv6}>=CEB[1Ɔ9flk#PTʽ)toEX`"x2 jB`+a4mw+i`~F.-/}f NXB@N!% ϟaftP2aVwT˥fG:-[|^85`Ş}qڷ7_ֈNw'/Wׯ/{@oN¶ ,gp OeiŐ02ج</.A.83D]G1 {,HڣFcSjtՀn2W$o[e%Tm2u@ļ;:1om@_ ĨuypLn8 k`v)݆:\+5Q&/&6sD,SupUv]eOf1#B ӵlQJxl{ eń/bjT얙jqZ?`ׄˌ[7+;,\eLg+n"%36.jAx3j*Iy 2ƴք>Q KCݪ9 ⎇oZ{E1,~ / ͪ|mfB<Ka9s`cSIzt A^t+'cMVU+I1K:Z 7΂qzH D?Xz~ai^eyؕuCI Q8YPXFe&5DX_3  $9IUg`8j̩ٵ/V#mML˸dwaSH9&2[^R 8eٱ1==wo \; gdw?s!!j OlC{0]j>aC/:-Vkờ8t !lf;RR{1[J ac%??5~=RZ?eqGf5Edy" O1_>ƚVJmz @vj &!t!xYuF+4 8=N9g Q$IqБęk𬇹G잉T󓨆+-~C3D tn1hh\$JΈ\.z@(;iXI&k>QL.{c*vТu,2ԍ}hǚNcTn0ßk̑jyOiWf+>!p@.2*u#D|܏S纕=H>v13०~xžS,*{A, ֡7+owUUSlBos_,176rK1ojUÅ'KO. 1`[̡^?9|/%*R]ՙhZj~N(qhϾ0aY_>6kdHy{t} D>c@ m_v7F:&[ܽmmtB̀Xaa4tyRnH20}XR!K!cfՖ;Lw(:ˋXk\Ka@[:k![OR,Fon-9cﶍ@Fך)P!4]Dz!d,hI]>&#ҏF2/cٲdhz0pxa ށ{\.":E=FꄦFO<@ jУm@!Ix^tcם3KkYM|m>Ti\F{I6(6 IO΢:Vĭu![OM<:jMC~[sj?Жgj|7 D@ m$L#Rc^GF[%'^lHrы9DJ Ynl4V]YĿR=jK#'FB>QLCs)gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ7F /c2FwP+vo|C^-PfĎaQ@zBO8SȰb)7,TfSE7*Y: 6^-~#dY]y0@C#XY\?yv 7y*~8uz: Y%]T~ 7*)\D\Wr›KY .y0~aKWm9`UM_tYHt xiQy4HFtUH14y-g4ŏGpȊ]mT0ze,>R&gE?(_[0P1-(2b po_bk$TG쵧~ǫ:8vBHYT jHekc?Z6Ur*%NOQ HgYZ7zXZִF! t/]ŗXi%{jjSʕm"*-fҝMvO{5n`1<2">$,wR鐑\3wQXս\,,0gGY67&Ua0Q"!ʎ{[Ua5f镃^@mB5\o <"4; 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]<9Q7P5L4E3D.A,<'8&4 1-,&%"    ) z @hS H ^o1 m/ 3 qS ^y4 j#Y $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_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/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_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.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.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 ::v1G; \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ܱ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  j 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,?ogYZv 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""gYZ  \ 1A5 |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=(skHKB8j39ogYZ0 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"RXL/"+_]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  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̄c3jgYZ1A5 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  覱gYZ 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 7  _7p1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id522g1A# \HOL-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Ɔɇ=f7lа%@4AvN6- Nhs;x}jxsnu 7 h:.c ߏ 8Uww Uw꿥 N=\\ 'ZLSkGI^ԭ +nngdP`+G|,X}G>nl@!#9Yߘe#XF$L/qO]]sϚ|=wc`Dtd$ }B?;A EC+zANvS"ɀD gh\6Quu…rmT 4 u?o`$KqYꝠ:/ʝ!Z=ڡyZd, Qw7]j1SfM [}*6Ҍ:N,\0~IE a̜+cv kgYZh1A!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#!\ ~gqL|(p< ΌWd(X~t~{~-2PWp+z>KiE@ةSE2ddjaITF%歆Z{Id-`Ov}A3u:`t$3dRE|>LohP*>;4U)TI}-u»$W"(Zh/Iuxǧ=VYi Ne^<j˜F`?62ܢCVf#Crja0B4u Rȴ).cLryTeUT4n.Wtnc.d-1Mo5m!TBG u"Fi[{N;E|]K7G1BFEP^p[Dy|;+꾳B, j4$\NT+X6#O,OX˗Prx3f ͣ_r@'f1N6B0gF2@烉j]t9AUi'hwNrD4~Sݛ.~oJSSK.STv*w_  C@p؇T%E>>=lYi kQ`tpJ(`r#fcqᠧ~uj8;olay!d>Q2SR.ehVJuFqFx&RɬHPZ n.*kYOۼl%$z+S$[P ic bOt!1HɅIq@8!^NULy]+'IxAv5@NPG (9/7~։Ri*7D)j8 {.,!AV>^L'2 9@Uɇl bV(N\ ,4ljzU]ߡuTY0zt]:[O;422ƕb9C/6G iЅYgE{ u'+]}R3L`waJ./ڸ ԯSgw~#sb?Z#HH8c"-G'6ĥ8wܓEU0ʖN w7 ;_yr4ۦbxbn3J y_̒tnXCStSYr^{Omd{'qBoGoWu<,B & Z'\*5,!x\r!UR>Kw+ϺIna菐6zgqu2 |ui#wx̕2+#6xMrl%4=,K#ˇUے:c$+Wn'ۧw>ฆaMIj}3b%h9 ]m-= J{4+6T؄M/O$ouY?a?vFi{6q4͂G//!pM8·ĂZaLFYVJ`V!a+ f*kDt< i!U=HJǑ"&qחŚ|73D£NJ+9LU/Z4R9ñLE%qU |6$v00TrsMQ\hÄ/ |z|:aXED[ ^安>jwvl`TPi+y^Ѵذ$;N s'2ηQD%N_4N<RϷ(X;Wt,ZQ,e>TLsL/'א2""|\SӘ$8nFT B~O 8ĻQHUpPɆjbl i˪SH^!'0H:j-=Md9eu, he,MTͥ_!FA>x +PoZ (1sKEa &R{~lFPI_uQ0 z,P-OIRn!YDhH1Xlnc4-Nwd +op%fI'VV+bi0O "san2vw(1gHu9:G=+bq kL`[Ai>?JGJ%]d"*9 $ָP;nuPfB /\fx?MC^ؗCgsˆX{:G {Dlj]unr'A^^X^[]zNAPdnVg,]|<B itM̥Ox;țmop8P!os5n9FL<:Lz Y#͢3?t ӸEAPaEG_芓CY.Ŀ4P,<6k]Ӊ7+ڜ6Uo6tK Jq$\kOvTܱ eFi)Ev,ƍn=Ef̘*6Fo(e@"?{i@Iߌb?\"ZQ#;j: B 9T䳂P]}*3j xOVО=*JIGWNXJ=E=n<4Ouھ[| 0K2*IX-CI thj } ܖPyM'/K9cMXIb;s&!]U8"c҄G Ua8dZ=oSwO8[0vM Ή򘥌dT0W{-q{cwj\Յ׃=IU*O 7+ /n %kߋK{A1c2O~hci#F[ -NFc;\4FYfkڟy&}I0hYR2OϪ@l3Cfy|v%n 3vgZS'vN*6wh C1:dOMVJ%{h[B"CqaM|KԔ t(|,S:LgPBp컮!{bӮ LP 2!UM  R7*// `پ|dlc $|]:*:ӍQYOo(@2ʤGlf-7)!k%Z< q.ZMWNԯ $ fL\~Bn5ӌ\[:ZR2P5\Ů= ZN3Cș(1GWj^u }F^=v| YiR|%T57ΖeG$O,v,#L"< ׻Y|k=jڕkX`'^rJ ,si@kroy79a 9fDRxŠhoh9K1c̥gtdA@7Ov4utJ([ekѥX|YJuwJdbk0'#{б2ϜXQq有YLQڏ[Îɇa r'꺁0h9 t0lmAgNjdj e?h\q8Nyt:T}M=0̾XQ1`/?ɿXa*c-o6fWaU m5_Eh1O}@9Xv&"Ο@<*JњmۘY+ogYZ k 2kt1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id526 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\yL,+v+QsG5~w e,$|~z&Ü5khۇt$y{2#NZET7K}/2+N!٬ߍT4>~rвzi= q3֕c1~uÓBtsFvmEHT1eY/o^XإtfyUdQTjlX'?!h`*3Y?fcm\'X*ۙɆٵycMŋy1cGI AYYd aB& uGچ0i *?_ZH7|O82W5D R"J|m{@s dxRb*>VΜ"Fo_Xx>N9Å~xVty&D˙`%z(Њy>̫ar$)_\2>^Es'@hMU&K@Adq*2>Elk>` DV2%obIfcec00Cy4G/, n54Zj0`{52:s\ZvSf>lZXŤ$FΏ鹀@}z9_e1E3DM"D $(]$bqfzּDo7D{k9rA~k1/K|ܝ94&nzd=}TGTzb.@h:ZWe -fu@RLM72:@7Im%/hAS[7#y| ҷc&tgM`oȐ9qĕs3)g y"Bv?xցWH{(jx~ef(@x>?Aނ{RSW&SCsG½n:Ws|u,&"VL $n=Mk 46BZgl/ʧ;<`K`1@|pW\׻rb`qҠ+ [Ѕ;!լ 3,uOa#Fmp;@ _%Azɔצr([/o/+b"9k"R7,[Z~PHMo/7$=6O].=^z vH÷SA(N{6f]ؓ fY1J4ߢo@;֗VcǔkT2 d*g ȏ[X T_`U U"q/ oXEgR~Oj1ff'*ggRPs}j#aD^cvc--gWd6]%"JVA ul];j~}p:uك@ ^a-njCգ]:~oWmaniwLh-a-I6Q!*L.TjW6}2 =$QN5tF ƭ4("~Sh""DŽׯf:(0XlF}%v䳰D" <' ]S{~2;,^O)VÂpo@Vw(φ # '6?D9h%Ш1 i@(j욠O$!]:VrS?V+f_w4V i0&/A,#Eg4ΛmgF7]B)Qmξ_@ G0"A^G6N-uO~ų5oTo}3'mLZ'$˸roWW RiST蓨䭕xR>Y>ScoBVfasVfIzedzX TvIGz3O:پlh"hw)P:xĖq#v—Pl]*c&DcPS顅Z XэX cz&oJg%_iSB'<$>a]lBa^(%ֵ[5Jt_$mֺ'NX{4 lxm4x.{Q;r=^7|bm9/Lj-zaߠ-Y MTWp#1-VHQ=R Yʨ`ݽ|zi)WJ.X i&|}IPNV?]@Z{T͙cݨSC4 Ϸ2f5HA`H* Iaj@&;dB#qrm}ZoY.4IqF!T1<|Q z5%$kCZb%fO~FXAk'N m\T5GPVy |#I *.0k}X\:xM4Sl`i?bj7 ?7C9FQpqKnNH=XDKOfӭ}T԰l!a.1 ܍;ŧWFۛs ,wLx7/[l}"؄O-K}D"/)#?Pî -/wA Cdvl@2ͻ u*nhY'"{=LFmu!jQ}w5xR;*ތ7Vzڀ -3Tlo޶Eu&_/5g,z7¥0"Pp2ՙI;H/ úO64kƊT'5QxLYlR-˽@@.{DSY<צ ȷOM%U7rPS8-PT]?w,Z\/`hN=]W˞}FxXuk hg !HJ}琼aƋkiWs$'x m*2PbNhj]Tb/&`Bsى=yڌ݁6324zF(3AInY5074n zX?Cu0mbjHc!yp>n ]O8į|nǿGSE;b B;N .ayD ︳Jd[.tOZ\k2-]i.{E=gL#h|tXLkf(D~fSm$#_:OpN?1XnB!BYQ}jB9Yl*ڣ\C2 &*Li8 ly߱fJD7`.!*/* [_710GxNodBS}8;cr4*'iCwB[ W5-6<.w$ݠFb!wΣ'8,V@d B)_yz]횃k7l5G[V-2r&: <`r*lOW@3_wl.zkrutzT`2Yq@7۲MѴMouCTQWО]jx¨eZɲ(qy)Â1۩jvC0"zDi QDg4UσlDV:) )[IT 9(D dzl{-%ͦx6si݂PٳW"ʎ/\ϗM!OuYc+D`οBEߝ OX2c-{RQ 9Ur0S"\WYIJYܕ@FTϕr]`7J2 FgP.XQ bI|}of MCiԱ2uP;,5 vFg|?9d8vyܤ !f!9;q- [\ʘFOHC\QiOvȋ*8B6FINTUߧ绎~لk,)W=oEdv3L\0 ڗ@ufpiv|2[(NX. r5FQ}\Ϙ89*<[ WL@.˳ >RCj J@lqnhH|%ް|ZKF0o1ߪan28Km)c>o-@w=L^Si5bǝ"jVkV}şA䦓ݬEe`ރ<y#؃,"2o7Ȃ&rN &n00#_8Wu>Nbops=@UK8N#OkG5̮n|M4Y ׮|T]LtT‘91`؆M\J㚮PР7lX& aI (Ⱥ?@I^=(}ggHlqeְvXOC[q6n Vf3{IXn;F`]۱Ġ.vgDʱ,FrHFaK߆`F%( \72G{X^ݯSrġlBbM%bz_. b4rXYgAN_aCŦhCE DW@xRT`kN2a ^W0)(؜Z$s߁ =gpR7>>^"Z%D#KIZri Prf]FjK.$%. j>8|w&Fpg>$eydz4xDe[C>>"Tj=+{_K3qU'@ Mw|2kt ĥ;ގJ1?$1 >P} ;WOE~ ][Ufmj>OXaw..}CO0@d3XiCf:M׭=%U]-g'+{0|Wr!f=WY\ql k:oD6=Ub`:igYZ 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,@vBqfWHU 5?|Koq-?D!Q#@MykJSʛC J42!bu ph;_j$Sρ@1.o)u-sX"EThqk=|>0k߱=aMU(vD;l||99~7Kߠ>T3xCX95%cuD1,ƨ⣠1V*\hh \#vWܻ|JSV-= x(BYĐjnx[WϲW^B$M~ǝ~ 2 3&"lRm /yP9} e!z$g&k.@,HKXUq-sHww{T"0t?C2uZɛkjp qrwAT&͛I0 U`Vt2ݕjY/ȯN| g)V=At[NO)ƌW"6{"쥌y;),Gjmi02L%E_2h$-:٢InV>)>̴`Jhl]t[VwvNp2o/fa48E#gBS.%&gW#S`}8y+Еіf({T1Ĩ0|TԵ+\Ltm yOaz[yi6`ysߜ N.j Fq6|;Y(ȻX|kC-{2^8,:xOЦ5֚BLۀfual5s킹 ؚL@I pyu YBj{e2hF9p 7d.zl#sqFñP 7 `VMLvY,ێb!<|;6>@ܞ0 =5O%č2v;t+k;%t JXh܃QZ4j}=W5H SWXX%OuQK(k@9ƋlN:P:Yw0Dw]Mr&Iw:P6\I%Ĕұ b]U2̙D?9E5ws:W(/l<1 t| $n{]4IR*!GiP?5bD| k*Sf5Q3`mP;;:#גF&|U|.-뤧}IpCV?+=ot7nNy@-78xȾT1fah}u+E}`F=Ҭر)b>76p$ aO Jpv(5 .o+pCm!&Y^[ ‡Gaf61?hIW󨜓(۬dzkw.pemd-8գ ͧ  ɠUZC_i ݣEle.YH({*9H7Ab`B` eaS})S&bkS>[r;4 dzzq9b i*v`b,(B\}egsK3ϧ Q:nt+'yMxKrG(aXV'weFuRK'"'?ek 98m>*/ե9~ÅʠB¯=@KWYwzٍ#2dZjF,"M$䇴UxamYo"=Z#V Rr0:)Ba&'wLxc5':RH3a;N/ *A 47峨-:lTcO;6*IohE@Xy0Ӟ_k>Xb)$Gd Ŏ^y"FEsZF8ƌh6uR |j1ݰH*}rpefGvDduÀJP F(R”RQLaeA|a*@mj ֟Q[tr7Y c݇KHssaxZΒ6zO7m\qڥˍ)4|aJX?r`K69~X]OU9}I/_%i-&9=D*U\N <&:גer˗1kx- 䣝Fyd`ZzFB jaZ.19LwidP!@rN~q&6,RcsֲLr^_%?5CH/=`xB Lrm9/fK4;9kщĘa~lq,Fak^lzkD@lsFFBq6-AoF"қ(z֦c e&~bm$摓*m`_ }cNlҽQβ'M4z i_A mi۠30!wYdR ر$]zO%(q1Ŧx}oc~]ߌ ,Q6]Z74u\]'5섬`4dśY:  C |'`7" 1O# lHOL-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;]!*#䝾=9**GCH]i(vKFޕ d_4K16 @?j!Wo^Ow[p`T@|lZWVk/Q3FfPto @i.)dܣGC_~w_zS7[--hlwDXJ-UY^e]jy;}dOQ6͜9{#'V.D+_x#&~;C:7 mxO :IPbJI3 Ibf]|Rϒz-j0QXEah7E}"ث[+B؃y5@hluMl-fQ?'fDmzf:5TS!gKbD#tvƱͥo/C'xȷ *&vW [sf,lCPwƺZXp$Fb*C n,1)V!U=l!lVIwchHґ2IvSԩ &k.гƵkΞqpSpN7<}3ZYQ=e"-svqӇUkBHDxX= 1 n,:= U>{g_{el фRHCݒV7"=RDӕw\s]&"QUJNmym5&V=Z FuZTC2v!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?4ӕԪB < [꯼r{ .;ăSje࣎n^K,dy'~CsSM1t+\`/+Ax] 0%!덆d>rɩLr$btnQ%H30ݯo O05/O->ѓ&!e ~V?B'h%.jZʹnǡol5%o5(PG7[c>5!u>i7[ RiL/&#}kK̽t_9pX+ˋ[&q}۾L +>idIT~{\(tQ9?plaw^/hj@O=T05مٷjB3(']of4! Gm0}9|E~WaL/yBv3_`Qr5]g9J)@:3Ev1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id530:1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! -]D?7 {?:fH\{n)Q٦`x ,3h+X _tk6?∜ -#iQ^Fu? (cؒJ=mlX>$47!SIx3Q7k."<{Y0Zlڞ۰#8=;ebQC,I)e౫=mM1XȠպT̫CDȑkܨFh 5 YSebQ(L]#CLX!6\yl+ÉoRƝլ皢 Q3`8/ Cဓ>R+g1tF= Pɺ8"FgYZ0@$p( q8vy$E~~~wd/2Xb¨ jRO$ iE{4N-ym'٭!(6 T BkHؔ!zE8:?p'>V}όA{)y٪9wQ0ԗ{DCn^cO}u7BSh hN!M[atOL ] >-&#yVŌj4<T!+ǩox> J ,A8SQՀ P1-quHqq,kլm-?Ŏ+JwԤABIjf{Yu 53JֵպT6sS``嚚\@F FB!/c\!ɓA̼ac\a!!>wQT`^)v )rгF~ ׄ1c h.d``Л6ߴdF&Eb̲Ol!fGEs "]eig$<ㆡ(XO@k$8䅾gdװbu3gwGG̫^.ή, r{ ^+:2vMt@WS!9 dXɨ )X(e+JQō9K 6ݝZ2<$ ᠦodDAF쉐Dz8ő2gD@#11Cx^\DU&]vQH/e;sՀAF";Ÿ碪dn/w*Զ$#8M+t!*c*<JlR`{aYF\T7sBȧ§|~h4+)?5ٚKpE]Oͻ􁨧#i̐[7pg̢zn2!'npp)g )^l~Jxzt٠(P>*cpsxo8^Tp""K\_1n2늝˺GwVc9bIôa:i[Gg\CyX&։ b@w%wB WۏI-oE_>\nAe6Wm/;{*,}o^.ܮ4B)f$(܊JZ{W@BGU=D7MԓvZU^8:%yuuQ8؄M3&?qϛL܃yw9tG!C=[ pZ0'Hq*zw"z9eչ~L5W*6x*(b y}fwr瓖 "ITܦK.ő?=GW{L!NS~,R_w/pQ ,:5.i|_N 賮<,$029.{EL$@I*p=V)Iuk;oZ~6LQ^D`EpD,xV+pcF>kW yq-dV|vie9z,=y&/;"yaUg) XvRH[i5z,ɑ\<0w K-;*Xp[,u{gcn#H(B7^Wpoj g@ʀ2Q)vQ 4+Im.M?|.dy%a;S F)'@p4D-w]Yz[!fҸ9OLjpwJ&ŏ@(4X n͹.79m>܀RJsixqЉͪݱ0(n|(*i7ۺۨ=kmm76Guم8 {X ķ+-^ j(\a= 9dL%SxH ֲ!NfEI,u{׋WAgF0%f=xp[CZQ ?~. )_R"kq^D!]gߠAeDۮz;r`K+vԇ|>S+e8*pG頛!R̨ο67$s Va~ܩL΅sU>뼒i34Q C$WLh=`d87Ym/] FgkFl&QzÒѯ"=ÅUҏ(9g-b@l`v8zE2"\(# ا)ItQ[-QWsc4-.$86_VH16(0 QKCiZR˱'zi}e? :}5wK~J@T:u  8I=@O]wEntiCy)7 ~VW!}6<1z2]|oX>Z@ɭyTy[ DeQZs! _Ws]X\IC'[Y@$A"/cORNnNQy?mO+ |(l$?zJ˩!)gyDxy JqA@89fdCs@^Ro^9UPlоTL-97|sKR~Սc7y7t\dpSI"B)E@$NzJ$o֍**X`ߵV%~\dSuߒlݴ05&T"֧;2k #B͔%Z@D8A<{7~_&m'mgYZQy\Aʩe՝DŞo5#Kt BOxfFֿN//?RUS%/q[U\Isv_SU{z-xۛ{[܆]U& &YȋTq%d$T0P(lmA> @"-h.g#vnq(J(&ތV,^*;5Q0ZйcѤXS1|3>xv3$9JUQb<]4̄NdnRΌkizRzL&L5 t SIPkw?k VQ%9L m> ^!SȘs'7{ #ĵnjhXrXԼ/zPW"E)F\҅l 1Lj7t)€7jRd$'!o34"e"$~\"TծmK%38w? ߶m`pϬCp U);?@}%j1Lnp`~۟7uR3a9B;MO[!l[g QM7_J yBhwd Q»^;2[UasҞc; *IN:xM /-j>QӅ'MYXxO= g-;%ã34c2|<ZQ2ؑ w} z1㘧 4Z*$r5s4u* HE2NșLDrG7hm)l.ڷ&do-̹XcNZsBރ W2鹒_% *و/d}D[X-®f[4 O~SqBPk1]x=QQw{xAky~rvS%9nЎPI/wni)p%PiV.dRD ! L1 *%k; `5ao ]Ze͈M!D ,;rN~V !D\V?{u+-Qc[;H?R5[)?y`2q-:Wh-*jぢmSepn!y 6Wnc1xquP\O[~C j T[4L? !@Gu{'iԦ ~U`f 5AHC2!MLy0=B'ݹF|If ޥ 0\qR٣/mUlRM% ,qsS3(tw po`d 5{1L@gryDVHzDA5G2; JnŁBF#?7#*Qq7DI.uvihW|ö`6i6u4T-@|>S(LZOL+`JG`諑zj a~prѲ]$@B0 ؂)Gfcw}l6;hzL$^^"m݋g$[_d{iX pu#wIRVQ/}{R`m0ń[A6 ^(LH"n7L:R0z(skp4C(fo_-lD8-C7{OB{f7ho} byǨc,&lF+h1^y2jFy>g |H v" gJC. .Nfp(+qL'si5L VކG #}j8gpzHqz4D{5PHh טQGS켔L <>M-վL^mC@I%kPzFﺂDSl5Ly]ojkԌcd%:xE--H(* ԕmL'JA,@KUd5kM+ Q,VOqWxL,Ppp/\SiKPgaKMEqW͢% imc~QF+Miߧ#"D:{.{!ʓw,7YIgbhe$I@EX wi+ (cNAj˚JJ;;()bq(eGokg2ޞHxk1b*SĘ#h@Ƈ؈g1~%Ӿ4iw^ǽHK>MH7\ qqAsa7oVt!X*]1p5 Re;T~/1ah㜲Wvf1)t*Fv Sy r [njBd… 㭺Lq@4ѭUPOIH*xrd>Ro; )^7ti܃-3I# Qfy h3,:kz $E)Bj{_ɥ7kx-\ Ka NV%Xwѷ˪plib$$K/>F.')@=ݙ*BU^Wa}|e)[,::eMFuk{14VŢ=|%iw<;pS6^Yip!nHost^NS"z5;}j3lُ'8EGsS?we<g*QSlaz^q|7Ox%2CKI3Y YltP-8w%BY]gXK64 >[|Ȁo]IG 1dgYZ ??h%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' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\5 L VRW+80 ,W?+Cj4涷; 5*X!)#;qB*Zlc4g0 > db z:l|ީdzn"s0g\09zpdIkU;b°*Ңw oͪ0}'u: bĘu֫D f#E+3%-ȢC6I::7dtE&Aٓ&Լoe41kX29OngFV(_Z$@w$E`- DūiO#MЮFI) 9f};Ky`>Ȳ*&LSB8ޅBۮԋ35$<:&WoeH|;q`wN6>|R̽u<MxW@JrsIeOѸv?!BNpSV [~pN,;t%U] `bF[u j@}o:/Ċ< *x԰a:N   lBxW׊lIkՅO3 /G%Vpv'Cxխ{պh"}Yj߄ jg0nm9x.iX7YX/1*L4Sy쓟X߭Ϋ&|;It6 \Malk%rv;$te,W'ε  >Y> S# V~$zdT?@Ȕ&qۏFHR 3/þ+DY@HK4vDQSJm ;.]t _Y)u/qY(զ=(~{:xE92ӈ?)50]7-K"H.DFk4:i.LڗX'iӸ'xr+[s&&ĄG܉ )w/+Yjz0bA'liFrl?s_Hp> /x#Kd־:9@+_`~/nuJu & %kWLbIkxV;v RI3/nbwZυeP#c N,-gfs3x_$^)VZfvn(iVyD5{Mf*U PgYZ {&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}B25e3Eh&^\a#-Xo'/ʓV0A*+*&]鋀VWIr`FE7!6ׁcd杆\_^|%'!+8%a$!"1~ao:G۰UgC LjW 4Y9.\0H$S@^+0t<gHs+6{dgqK;42m\*Ka޼5Ut|YJKnc(ͦ&# H)M|z%Mö/jY7 6*2\ dz;`E|Zń0˿˝wSZ/AKe8~YZZ/E%3Qfbғ'~D/_ TQT4 1@H<`IpD9G6[*5ީ ꝠiA}t[ Q-z3!#b`sIK-30Qo4M|B?k@fs!l؈m j Jg3lfn W!|yo:oRKJ IgBt/*R8(.ÇL1Wq5MmD_Utyk."(O0$̞K0ݫCuz4ʫLllxlmI*uŔ7Ao'¯wd~4z‡gn5nȮ?@˒2\sIazNL *۲d[4^J"H/(P[ S~,eO|/+THePNQ֙5H,LVptcD^C:L5WT$#1nfn\h gQfR\%F71>y;Ή Lv+_(_m=%Ntux..i.]Pנx%Z*袂\ Zuy@R xk&Bܖ #Q1 |u+e3]/Uh%p+.2eWfeV\chZ}IТ /\6Ks'mp@P;&XM_X* 5$P9y߫2ǥ#J^{0D{i?joȕ%J]T x ]6(Tl|Ox) I9kSQ Uh! 4f֫SGgYZ 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Ɔ< e1 A 1gߡK!p!H8ɨHRFRϑҊ_PVGe9X~3\';; u}5N~۲eT|[OB)6s*??Cau`#BٲC1EK+)Slu0 eWjEB>_X+J˂7=?vF_LWg k6J;$U^)cVJt8o:cN3DחBhnbϯwp wtw]q~__' :L{HޏEeG1R(Vk{E>UwoP`ȍ/Vcx2[=Ҷڽ“ؤ!f e0fcVdtN=LAFe]_mӾv3ð8 7-rv:EF EWsx}҈`1܉&i^S}4/GM2h(V>,4 G*_""xqĔpWu6;uNjTQA~?_N!W^^yG&޶ZQ;,K$!Z %T m:aF95b.ˁ?/tn*p7_7Qm~7n12hJWOxt5݌-Cˢ {jx-w4~nx!Daدdɢ),d{<(2hEN 7Hu#B2,j>G^E_bw *'~5Ԙqh.mr8#.ZT"C#RcNQ)"U@cN'LpRS/@4KX|FɯF'Vjq%XUL=rp~b>YJ+GͳM 6KzGsGjLk95>*\R}A@^xu.iKRb) }ͧ@6 } }?kuH_OkTm<%½1B_dn_I&cRGPu]kؔ3Vu V ` q<:%c[:&@n0XYVF;Ln_EĒ#)0'3yofKvvOOE,Qx|v8+bdH, aeO euBiijNQF%xưvuOrK4WuH|tu k*|4Mb@@1օ-(~5.Di;6aDa侥Vr3|FmzSW(Ve5˼; N _YP$_5.@s6uj1-AvJKG^~FA+8vֿW˯DE9MUZ\>ڸ٬$QSt&x]+j]ߏᒄ4!(֥y dH_-yWZBi mS2,O!BOV~P.(ޜ4~g@!@$jۀ|uEΒCtr[tc{~u56mj&9X$sؙåFAJ*p=J9!c:Q`EreRd0)߶9ߒQFh\Gnއx{SmR8|#+.0ASy%5_@MzV+Yiԇiv7_mWGƉwmUlZ9l=c夶a"A[? [CE\u ).Q-3=9Jvl؝śWQ}9D5ҐDtxPo!,2d$=r>lcie%Ի-9|nO'(_BѾTڄ6o*n)І T QRQdԺNPWv mٷєK}[C}7.<7~Xd5g%k.5cMBtN/:=%%{-7dM"nQ3[WD8kt^{'=ݲ\Xq^ns M") =1LuQtQ˵PgYZb'.szEEu3wjY?z!!$x7<ƿ6EK ҃x~Pbm@'eOWY0+ϰHH4_[IJsWIi/֨߳{MhpL{"7 B0ZꊴÏ[Ρ2K>@Uj'fM] ]3?iy=f^3 )zm-mVUnCjD}yjeUZR_v̝ mrѻ#5MڈըB=E q,)\g'ynSLtrnfn$%yt"S\ {ܷ8CKey@8;w=mqƖFžfavҐEsė0 ub}Lfy;{_*>k? %T7,4FZű7z^y0ZNJ {J|jًhH(vGUXs);{Fۚ1`hbV変Ig))-9),,1QpfDM*eS˜<#_8ykbݗ"MHb7LnB6? *wKrSAhk.z6ޙ N `H)2]'% .0ƴϦ.t6c_3<.wetqK 6J K C>bOz4J|'=Y n-c4kP-g,yŀ6^{]^Nӊ#]J Mύ?T!ǾAzҦb\2|:mK^k"&%]T5aRc;>곿P QbSb$E/)+I ԳZ@| *_3vK/x&x .#Z.UV;\rrl54?0z QmkѺodeىj'vlbỌU~+؞pz:ώ\ˆh逜]x >kYҖҺOW.NG!sEW _ó(H\<*##6fPRyhiشxX!Qj`$]rKWroV "-u!Koi,pRbu;{fh| =10_+!ϭzZI~ i ;OJ)E!njDp(DxS4:nȡJh:ǣs n~iwUKGN?-O4lwŔBP%~>" %bcw[8;eXΉd` qM/p/z!5R1f2q=|?)F=ji nވD"vq1ؔ!IQǩ ,g>@u]᧘#Y_ZSY c2Q>%I.$jpڴJ0.ZjM<~8Ŝ)Mj֥ Ԣ-l3Ǭ/8`S!]]*<ؓV]()m1;de;Tk^}n 晿찿ʣ.)[I#@HC`Huy$Sqm͒{gQ^E1? 5ՅujF6}ӊB^3D7tH 9ɷ$3#%&#ҁUu [80[W-EԘC%eRWf%jYҵo|&+Fo)-xǴsJMʏ86O͎Ug lC0[]2гuTpM7]B?O y'<nUvEvYD%,wSXmWӎ+jĺ^[~FU7 $+=%4m;*ʢBEc,vĺg*Z6Hq3<\mLy:K@v=&CQ-. BN*f *dDdz>q*y&?jSLE(OXN I(>3[O@XR/CN7gKՠve *VVmdaM40GKؿc y!Q<(A}ýd*B+$!*O!7kbZVe'IUzɈǝ!)HqǴm knjK`Bjn {Q䮕^%pN{D#&51W |f_Oj Rg  HXLLfw1 \FgT9{hyoĞA/^iT'pk]:hߵ/g͗<|Ͼv :6K]hаu"W&b˂*,pکfo 3P?jLۄ]`]}Le)Vd.V)n^uf FJ;cc7aˠ0P[OBѦ'B3n@V{i=6u"DAݺr-᫘X_.senm>3V8yH|Bl \ote=჌5gn̎: \aّ [ʐ_9M%RZK<:M5&>#&W\b)s=ۅS< ?Bb[1ot/ kl֟QwѡHF^ޭI-d!xrS'I,~2!7:0h3/Hoٔأ_8b3>6KF6Ёdž|"QPZk+z}:lvX(g62סA 58~ҕ u1N1*Dh\F:\i. _ZW1N`&K+G|4$CrthqerR/ 0]'=Qr){ ~;aL bTд ت[iyz Ҥ@Fi^m—C uD&$vO@\c7}="z#-VEMLؿ)l~ٴ(Yn0܋_:8ִZn-%L;MFg^7IgHhQ`ܸ R^$g1x7"=GkLDxAjSЙT:x+}$;D9䖏Ť>a|\+6IMR"&U?A$3 q<(\Β(9~9"gYZ -1O# 4HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>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_tPHݲ`\&\K© Nλՙ=j˃kW=nZızTE#&oԌUJ~9p"Ҍ !XQD9揱)ڟ M Rи/1$E[I[ĖR $p Ja%4Vzm$hH*+zGaٍ2xt"uW:Ae{'3~K=E5Pk5q[w`+;JLU=M劶ѫĿe3J¼֤N839Wbe^1'}4 l6@@Sd:.GrK-s<D]J'[xOŗyԒ)Oҥu / 9?^K І}Wx,5X{k9:gW}/"_9κuť8~i>v\*^O^}MZ1unwf<2讚~HN+E4+}wyg)(+Xmƿ-aRA_֜}^.geZh1R7ܐLb>ؓHlX'*bazwo L{j.mr/{bv5Ճ[@^)EC*<9yx'ĐBCQ8h-AьcmPg2?aѽV Ӆ%3E!NJyqaw^4 dk_PĚ@&N߰gUs@5˙2fS /DEK f(]ml srN!!ŪyvOW11Y6]ۊ ?U^ݯ =;8 B^4Z[`%mheɶ]7LU%x#R&Jޡf`+m_dDowV}D 3Uoba]zR.F8./A㥆W A&6jRm$eVZz~aiv7"7xTޡu0RdQ齅bǿa[ 1G@9FF5d涊g$ 1>rӂ^4 xtۘ,P  ijv~=n)aibڽ# ðEqT$8я)d@yR^jY|8|u̸En6uwesd/%ִ>&s?c:k]"r 5>S3aNWβ<&~G<;SiMM n)6;RI"}@Xcstn^_eUPe'\%Aw\UUe'Mv2k~f_Fhsxq ыt+q8J}/Dr@M!mխq6=@|fU[Ӈ3'b *˘Rg䧒Rps-o DN&.7t+2§(FSałgJ/2- NYvfhC£ooM *{-`i.4Sm:Tۜ$3 H&aßQvEw4m\Rlj% x%.g[7 [ݷ[,襡h{9BlI3]EƲχӎk_@~J8L ߓ1JC:HT!~$ [IS;f%G c΁68TVSY$ <(um/i>./Wteq-"/r$Tt@&mKwF0 rz{vE(nCASEIdAKM#md"sx9!ށ|*ٹ0OGYf`k-Qټiٹ):0.-liG4ys%RӮbƈKlYoEqZ>JéǨӚi1ڌ&n'Z? /)I!uJ-4`\HOqoch'B۳`ŧ6ZTˣ/Y_eq{`DXtNQQpn{ٿx`㍊v:YX2VU$nHf 9DqF#LZoD΄*UɁ=kw4Ug_ pEOfYnP0YS}Bs ΠJ9C5.^ǠDSHէ(?93*L7&m?_FQ&0Wm[+yi 'zڱy  } 3 1 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! AX]ˠ)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䚩>!wyYGџw=1cHxV)pؐ!fmiҮ*/?'fx~iB1; c3 AA dMI-e[K5P20C%fŅ6 :<F&/&'fЈXJ'fu%wi [OD-bt`;d6tm'&Ys':G̹j՗1TiUzEZll6Z[mE)?Va0ogRnIv4@Clt@ҙ<̧tjȽz/Uc?qɉ)^l, K J/3uH#zV?0vpOABMZfнi+;!XOBq:d8k H|Z %21^:DB[R):Pks Dq uN?yeknAZ_[iJ]k]ut:~eYn M?Dc9\x(Y5xbo5VƧ!! ve 2k*'vKT}zGCTj^Zc^Zf5IfgCA&!XyQ H.|6*t'M?+Rr)1avDsQ')CŸx&Ƈ~MSC@}VUۙh`QpN'#ߘmjMZ1fr b :7scLJd̈́wv h@EؔA* wGNG$R4<ƕޯl9B?ByL1Vº8c ZpN>zktOYz!؍?sAʗ= htb9|ܽLTGo򒃨u ¡uR(3$dR] k X]&X2DT'uJ7qu%k 6 !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_įp.4_W7{ˇ2{z\u7'J ʼ3~"8Nׇ`. 6p<'`cz˖YQu#P2uUQ›"Ne!`>)=^Aӟܻ"$R9rڅQ#ン, u?ۨݡ]zzH }v;“F*2 iK3,AE?y)n0#LkS-n|z:f&Ÿ%:PB>[lN8BA6!%)S~l^dD!١%G%yƷN -ֻ()S2' W bx?8VuyE uxAK3$ner.+J;_FLQPOX P@Ԣ tϸJE>><h%/C{./h@)ʉ` 4y4-̟3X:OS<lﱄ9_BFA# ``C3Nݫ=hg^mJXr! h W[pZgYZ" 4jE9ֹȒK?5Zc7IBCzqU#*CG49]/zVCT$-b喖zOKBdmԌ.+ $&*!ae FФu>1"Y#*yVS"feC&yT'g ?ЉHڹZ D(dߢkMJ1i'I%J lp.볖e'lj~6CS?q^c5uǮ+aSE;?Xki ~'B"_'!-[p=v8FOghYж OJ M*A hH,ld"lu7:yN,U x },7K4T?sęRx8m<<_W? ]xAhUHop@Љ~e" ClUs"unWS qORbH;BdO(}w4Z' RImХrO)  .P0в"D߂fP&dk.1*`.!2ZQ`^*xƾ2__iQM"eo6iV ڷ  vC?_i%qcLOSziͯVO|"|tcW Zjя;KvIQY?jjwvY5&ۣʉhR,F,HVAc3sQK-[igc+ p% "eA%zAkhYlA+2yیC鍑 D%ߙUBfQ(z-oj83<Ƭ?-G",5kT3n,$-I7K͹zhCD,g1'?ta@)PSgb-@ChSXjaAB]Na@̟?Dj;zjF_jcBUՑ襋 LiZ#^Vrb[CbqDZ!i ~8?r¼q D+ >̖o7';v{*#%YF\mnPA;ݐ#c'd$19zIsŒ)Hߞ+íBohOD0^~dq$ O]I^17"LN*SRYY) P25f^ugOS6wo '?D-igw`@ x"&$KId4%jp"Dǟ5ЇaCmQ{PQԛK(H] vZ0wv3$\ ]%wQ ~@`딭WtA~Y 7rAhᢻ iDsWv}ei~I )?1|eM NQl 9+Qu6Q*[z|nb >P%ܫN\"B]nGyv,ٺ$'7igY,?Bt{e-")i顦2H h2._}w;vGCL3m!O,kuʵVˢPnK::IsVVƃsACץ!Fmw!h殙EnŻ^x.5)z:G(|{^ϝ "k$[ wH#^ڽqlĎGnE98l3˴`R0Χl-X=긥IGy b0L&CK z%W M+qe}*c.U{>F1% `!7)L$Su$ɾO>D2\ ýgTG1x?Boƚ?a=.mr[뉼6c<YI6QWb"}G^>5,3a$|p}Ő^TH t?QGMb쩘Yqc${hVJ\g~ΘX*ߤ'/7v(C] mʜKZA棫*W&q$kwf[)wv),tSP vJLt`26BpJ)h8y$hYh+BB6y*o)j1+iomk.!ş11|e{[Qi=2.oV̖9ن$OJ {c QZl e{*stSa)s)Vx\*IHCcܞ}2 X Ũ6j|/^_ZTV599iB]-#R$hg|e&rADd[GBԍ<{Gx2.q p $ z7W鯠3DQNEr6X `12__[I͵Ijx$GB. 1A"h; ^p)FpWC~&:YY3w:ĵBb˘ MxCoeb;mdX~/2^hHc)܆8qњn6ᕀ khJ8V qLnc>ffG}}l%ͦjYZrUCFOw*-E64۪dm!iC);D>?9(] f'91̃Ykd {& g68=`,ˣ^WKAVn&DO^㢿G'演H^/Q؞ߣRGIYG76 lV՗<~W%mYGw7ҺqAYب{Z}%It!K1U / szZ׼O!l0 . }3-Xu8lVRe'b1{P!m7j[[rG*\d!h==s~gEItSd*[ȕ0in {|.aoUsw%{>F ߭ rZIT*rX4,c.nϑ1Q| fc-lgIrs;rEQo*bK&oN*++ hk$ r.!AQemȵ{pmn6 ;E"E gU̜ RØS;3d6sJAk QOy"D5Y>Qj[~%@Do޳)Dx֊ ?"Cgj4UJ<6ޠ3>@#V@}Va6Zuq"C#gښm2{dį>Gr *ү̽~g"x#U%'_#^xPo%Vg/R9e,'| 5G/TW ʧlS/e؊@ڝTjxDLgbCĪiCWAno|):Ӝ517H9[&i8-%68s  D]nEQGGDsMÄ}B(c]u]UŚЂX֍/C5miQNq0* uժrygRic!AG+D0K<śP-cډ_k-"qZ$ |1 BwleCXiQ6 4x$q/o5'9KE*ɱ5)0X szdռ>J0qqp&fr{=38\+ʡ*撷_qы͒\r@41:@:ĺj蜠zw} өl[/&y:AsC#(d[8H2'F{ o]eɧ'.P(Zm-K"6)VjشzV2S-"ibC~g4Dp $p_s?gy{I&yi9 Yb]4"g}ܤ[Md8;'48ctxL SVnGlv,4$G`_Bc)pU}1eBrkypn!I_;坠wѨm$:}쀼,&dmbN4N~2vȯD*c#γ贘}3g &d/Rgw% ]Z 4W/_@r9@fxBuP -PXS@M׀UDJ' \J?YV%Ԉ!)1$+G}3Y?@p>5aJ}kq l*gVSbaÇ,<׈*.IjKZ4 xpAGӍKt5#X(@Ry*Y>b_fDWv_U#|16~6ƀ-1-$LKw_M.If*7CD$B,^E8#$E; 'ig'R#.[Pϐ0 ӧ;Pk=m {Ot<$Z%/UH|})++x`{8 O)*˝8k8v~Q'ˡ)?ٲm|xN*[ig]mK >1koM;Vȫ|zOrǍF~3 `#iEh28U4ӌ8l]N@?7°RG;Tdm;rIqT=M(\+gw(]e1q+B8LyKnۦQFH XpX51!R(v* ~lS` V 蕓A^mO5HXxT޷6wuIxH^%>uIFզ̠)N*~/1V^֏:?0\p'SJ[ދf9A,%kNOm!P*޲clF8TyQvBkOx@0:Ml:D:ZC`W iW:K8A04 -%Ɵ*X#J?9kBmE'kݧh2ʼnGyi[ 9VKt:l295z$oOy{Rq*y? ngɿEB9*>UB 3paΞCȩΎ;Vt>mZ*$*Npލ/o-VCw*_ ,I D%m.^>@mWet!t"O:\5 }$ȠmvcVz6,,CC)>&5$3.%C~SEfE=}O#6oE{, uVC90C"1G Pgl +Ywp12>>p5H"q̟fF oп*VC3vډrZ5A͓ǐ%/I!q rVLRi}K]`n'iitO؞p ±Ŋ˼R?(gRԴh)x{gμ/-p|E0ܟ6\0ZuW١y.*vם`Tژ%ݰҕ^=ä(Cr_4HMwRjЂLcM;A.Uw U1P']C (ʯs.fI %[0ɰSZr))b12w!JjkY}a]n>tK=b]pϙRoФX-vÒtf;ŵ?.Òt4p4 !~Jy6H(=s! u" ]L] 1كji3K&_]BT8u;fK6WӨ j ֗y i852ZÅNp鿂v$[]罣Y ?=Ŋ{` (^Q| vj8R!T㗀xsC? LRf+v mhH : w;PZf҃$c,?w30Fe>oުMjF>b-#oٚ0}|yTEaϬd/YF.`Jr?c9T9/u'[prvNh}% aؚXlb4mCӿaZ,j$ymC@ZJGle , xLk k%-Y>#t~cYyaxQ. !WCq!x_@ù>I5C|xr4߹t*[ fIAU ϭJ4f&ޠ^q0+84z-<Km ;gҿvv*cF&J`r \^fʉcx.fJJY3ԣbWqQމD|[6U}b5r{'9rph֬'#f6&ylmȯ}0{ȯMc'] 59ힵTr6c;:^ 5ޔ0.o+kw޻m @8HlA}pERlL!C8WPu_I< A amSWU>TEʅubŕb%DLM^'' B;~jfʓJ}o N[|5p3۷j'UyE?_~5)f$ԟr|^gy(X:`SKTHwT3sS>{HH`F8d_ҊPNRIoG{Q|"pq ]yk(Q\Ϲo2҄db_ *VO2mh pw ~/fhG)KL:M$UXo|ʯETjt>U7ٝץh }㷘 hR S+%9r36GJ$vY vƌWAE#NiD^5ڱLJ8 $dFF}Бx#<}YyY)>Q.9ԗum18U(v>R,DETT&:xiN[T Mǥ޴bgtje1߷Ǟt:YPw!y+Vf`'DEUiy.ae)N6qм60`/RF;$ 7Cru? q ٸPc}g_F2j)=s}fdžC l&4P=f*yu{ ls]N>QK0lnOȹc F>vUݗ"y)|F~tnVacHYU ݅4HS^{Ԃը혹Sw5|F5|z\]cAv܎I<}Kb£F!׼5?F'ѦpI(]jx@RŻL{$ZKY[mzsBuPFS&QyGaEyy&,X]6kDd{}&渂s0 ϫGm }R`R"Yٍ1F}ĊP/hj֯pX({YU~䃛b{j&8T懻u+@c⢦Qg"r_|;}=dkU!SXjeOBO@=G}ٯ#;|k7E"эM*_,9Rz&组W=YrCA?u5"bꮷA353/8YVn0إ^%cy޺K] 4y׬_ӳs\!a{`l)h†ey"[gx^QR'Ĵ]k= 'm܁rV# R|wUl:|ztV Y)nQ4H?$"8&xU.MlfEEphVƻ[_8Sy)/SKMD9+}b!|\$d @vX'b+]:ulidίaŌ_D o5VB]&H0 ԙ]+=tܸ^bw|!pg3 ;~șv-mh5QȜdOC`;Kn+yu*/K=^9cr )56ƴD ]H$|!B$nRnbS+%aI1пLKV&}/Oq{;"-u>N۵ Ŀeoq,^yO7'czՇ!'589eU9V ˆXV8m;RpR6}9Բ#  ѳo5RQc^&j[NrH0 0A$9#8IX ޹ݵA`ca˨zO o=y5DUXG@Y Ftˢ#){:ΕxॳRJe"u2Ԓ{$.l/WP]z1&r _m  6. H"Ѩ]{z6stg(HBv^v!! Wuۢ2SF*P4`to] Mu{ {'H"@ͼ^S@1%yN<@ZZC<kIZbyAM}#J5o&e+xEc]3ܬ 46Ko*d^5\48#S0 [ t'x?W6a<K'Ԁgjkd:3zصC`_xGBrfDpCIJ"^oU^:;RҨU$v BZld h~E)Gb\fۦێ. 8[l@C {)2"ZšHM6:T|7&vo˯\::)D1N:r0/eMpQRɏW@ ddg5ৱB{X H5NNzY}ʹl,ưҁľ$ݥ1ك@c>_,N"jТ8* 'gߒ*Ϟ D9NR#@ YUYhvfE:`Ӳ%kG.dN.S~gnJ}=LyhZ)`Aw2~8\2'qp.ru |`eLG3sZMn~CdXS? 6q}u#t_oŒ c҇\bk,N8&wJP=Pda6X66&ӌL6So C-N!®DkUIJ斊vEY&cpATbZz(JUo8қQIq.:2.̑U<8w #u[{:ϟydx/ bm@noE%\˜| v/wύbQ6i'C+R6OCGʻrVø)ϵAa˫sh2^+ErߦpۚNNP/ȩA Fgf^kwyZҘyZ${RoԽ#\)@z\Ӏ *o6cʺkU0zuA +AHèή+R=AzP0k ,%D K,ڃnm^*[SְJ 'dh:6_@),ۥ`QL yoEp6z͛+R&akja/@j/ԛA<D{r |1Àբ'1DSZz/-qAVWD.H4]΄y9rhv,wgu;ZMzٙ~ı0MR 2>VdJQ2GER8@o!Ԙ:X_96sR퓫Q?>$X"+Չ8EW3jbgMFrkq6,4v;eO\KaVks>H r 0K1iGЕ mK[Mގ7HVvIGbq LVS(FHyR"RemnKs+_fy6͖vl̰рLUSk ]jh$r9dE˃GK7B 1^#׬d%8C &)u #1"?M@=-*Jƨ$J\ır=3sZ5Bq?^Wx3\XSos2A-=2H- +쯜py/E:#cwBWl],bb~Bwi]?Ñ:4z"ٮ8KE _XdO'0,h m2 mÿ`vn=7"YՔ0ME}nՋpl[ec jzF>5ācҗؑisV=ejA!^Myb&ǒѫYCbfQV)ДRګ'‡PK$&S4g-{;/[uLR3B|Q=|1lܐ5oL(ΐK!hES8j'6lF\U\}AϬ~SQ"6Ŀ`wgxz[ZD51)]vſ}"<ʪ,QQV.GR)&aF_9\>Гh>hD<k1.~|!9S@C{f{_dcy`LF#$+օי(L]u"Iː.hB%:~(Kާ_m8e{Tz J}3+ _JToA;jF9$%qOM9wĀ$f6/$/yH8IL}Cv~܄ZÛrPd;+e/OUs~y*Xb7J(S\(έ~~.⸚%I*_C{T=m'n&\!V9uD;xG@K~7ZFldG,JFT+uyoh4~5D6" `9M[Sq_ |db}ﷻvd" ϧI7sb2J~m ^EDF 띀aWHYBI;䍢Kl{]TKމR|@ϝ`d D![ .{O;Y88 >;N.5e5/#=d mˆOJ:_1P_N"(<c4ȦT-TdEiֱ3srFEk O9<ִ׬I1băfǭ/Ϫt0ar +#LQ!X~+*c;YKYx4o 1Q%^b?@h;s{8sd9{^j 9@Gd˔*(Lmmg<0 )vr(Gc9,S 'qC΁@DGUYY\ol#@N7w戗h3xsrZ(YVe06aUF"[[++ߊ_.߲e9G]% 7dqMIQC*[G _~C`P Me"ܝo'? nF{6o%hwtpSgem=Zb J9ϩq˻irFMF-*%v+վ)IG\#*+pL *=tӖlnρQ~, VH/ay8*8ߩ(5/S Ɇhjmm]{Su츛X0'iݮوsq[7^MtƖ.;OV3[J(0E&s}hpA_qnlOpD\by'G4D c!ɝ.N:h'dPoORZs%sN8{2@U4'CR[J.3{iP5>_qPFMٴScTOڢC&-KaaFWC8.t<.,ZvII|Y9Uظ e6پc;w/Q L7 ɗXje{No HHk*pKϏN@6m#.) D&q r6JVՇC m4UE\%rؒ8 Q+3'~ ZwTD\?X(W #'XYO"Fֵv`c%ͲB&`ҥ"V60jA&H p]}@DMIEW(L_xۦt˝]9(^!(ʃ#;@xJ̐t@Fș12a{{:NS0KZFi_q.XZ_ni/{J$*"-hѰaއp;PS:h?ib0&jZgp}{(S]1޼rc@#l߼[>\-qNs0U"rl*Pq`H`xtx_4x!b,reh|~yc:coyv`ke'=t*\xՕ`&`K4->`_.mҹhT&EE=Zɻ^)u%kda~gO,D- F{1xjxXҜ SHX~ó<%|4ЁQDb|y(u )"}*cut_ړd݇G2jļbk< bcn3`@|tkun)UPR%HK2H<$~h6Jl b!Dc0UA bue wonuƥ x*^l jv^r &&dEVJ{;}F ( Hr&@-,e蕬~ڣ!`T\͕EXۀKvٚBu pEA-0MrSSyH'jNÎAhd[N =TƀtABQJ Ը`%_!zF)+iw_a饙=*.7MbWW!(&\%gmJinԑ'(^ukUP/Ұx>Zpơ;,a$\2)H?a azu(%{`M6@FKf]xN]`+i; mϤ;7[oI?Pq&EE+ꭼ6%kn̛ts-4/ct'a38.5ݰA!s o>E*f "gOdw ǩ6*9w7C3<{\AzK*DOp/N|}e;yyi$s]Ydִ$ f}#-|2 d݉ z`<8L]`)1=R6)K6 b&f~@QVckz_Pge!VԔ д2Luk=Y]W-NӬY2ZM2(A=x $9ti,=ZӾ娃^OL'9t+U'D}!6gE ikd3h#YބHЀ¨ fλNLЭPڢ a϶[wxnazm)ܿq*qY! H P?iZdWjcMv-hG'/`‹SX A3I>{aK:;znUS2&*7Mz9^!˝۾u:U[W!-VՌjѓ-MbcV BI:ekx03zL:8,i7,3"z|m҅ xE<~ѼAw7JAS֭:^TPn߅;c+3@ ,#/ح*RĖSen6PZҚGNt{¹T'v](MD&g4gm^["؉*jLJf$u**HK%0/P#{Oz1c;Oᩗ@흨7l$8t,}#;IϞZ ʾuR+/m5[ p&InUHt)s]Qg\^U7WGq.JO+B6@SckLƻ֦JXpFj/ͦW 'ݷ/(PlE9 Is p0#cL;Qxj!9cΣqn:si0ZtS"˟#"9<;ڇ&H4Weޘ=Q_$OXJaAx7EL\ 4FWU&C²RF{gYZ  v h41A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF31A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id532?21E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\5jITD q{7*6R&"2)(-tO|ԹY %8Lmw{L#>H._t~ /e++P*R.KKzɆ1f8]DCQ,0 eնM侀VCtjY c8fvMbzAv7^Ֆ\:3C| Q C&\ Vh熤ѼzϙI>rizEta~}n+dqf= nYW;vf]/>lbRbA.q;nhl 旷' ?_!.@xRTrgJ')eY tJEH%1H^+69oݷoxy㿼CC,O1Ts? Dol*ꡑ ZWjILY"A?9@dY/mOVv4bK͵s["U3{x"(&XIݿ2{ .v} ?=0 F;Uk )B+Ttpn#Z$y(./ "1ƁS#]_ p_aR}LjwF曁}evQV^W(Yv09SȽJ*K EW.$ZiDz|q82UTfq_D1 |統GbmJ)߼z1I^]Et`n<7^}g:X]DVݴl)[B>hG `׽{ 1IFjuԵ]B'8{A Z2FռwBI/JSIOoh_ jbD|MA] +yϜr*&st2"ZݞÞL&c*VSsYT[]"kwH|e54%V ЯǪО ,L$>B04s,0R/C_Ec✓Ӭ%Y3 pɡdI3?<QM.㚯 UOƜc N! B K㞄NG);FvϹvcXB F<O/ίJMY0C'әӑ731(X A TOTё$gʞ<.?uY6*жKs w':]  `6y8GQI_zX9EK3CU<ƛreFcOᨇ]P$w)8بG릦Nsk;sἸ?Zh cy{Jچj5ONTMMRA@={%7sWFUQE#RGWwU37CK=DPH!}!h`@[IyH u$1ρ$gYZ   p81O!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! 9]D?7 {?:fH\3]Vt_U {pwjf'ܙX_y"bx]ZffV8$OGNnxU~ֿdXUqO@n^Sy!>̳Zs+92JsMЭʼh%̎a xku_]^3wBe "8 ?`bc\jƈ&K`I^!wQOv#P|T)㇩~]`[贈dg˨R(KúS ڸEJD 9u1IiX".~;ɦe(=#T,Ԍns[S$:"}\7nH=ÿ@@kD@8oxQ7i2*=X ^gn&آ>{Ւӯ>!u|ZDyiWYtD]?noq6Drs]~IċSJMIqo jG6 7m Q{ڸWǏ%ăBʴ'J\YV?2@)þvPeҢ2Z9 <؆n ב-ĕ̞ *HtC λu.P6u/8-J6L=+bv-ƪ*2Ȥonֿ1JVU3}ح+J,TNjY3I& (7:]xM#l@V`{cPD27=?%W͏94WS3T~PոZ4$iCd tz"z(>BW/ac;].VxyމzQe%,bvW(3MuJ1¹&f:gxy"A,Mm3Y0S}(%f::_h7.esL4SRL|`a6R<0Fa[ɱ(AmXL߹fSRnAETe'JFWb7 b5嫓kG5W,ol[׺!*OVDW&yq 'n& $d .a2Cݤp~q#7ݫ2FN)JgND)诙oild#qIW )$Q[Ɵ+f5.=@y˘plu^M,U RE#{%= h܃UNV>>-P:.6 gT.Z`0* 0;5O+SqHݛ Sι*<%oh~ËL26dLyLi7Dnʇi|ms9rЖakQRuYlnj[D}^IB2>h2bj~^s"U\k}\4W?9!Ӿ!Sڻ^zVkp$G!~j7VEҰLh5y6.bO!VkGX ~Zѥ/ S~5lmL/};qS鰨p;v[ڑڣv=Y1i_{x?/$SJ7|#0 wh[Pm/̌n}Z<saH6y,ra0< \˻+= X#D*:尦8t |)~ kyp:!ϞD\?<#p7|LL0E[94~^ʗ0Л@*NY%8w|+1P)<0iY}8@o3+>t,3 RPH՞=Mi-~@7oW#iHܑ,^ݬvⓌy% pQDtbgYZ &L z @j-hS H ^o1 m/ 3L q^y4 j#Y $!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_id3;'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/me?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idGD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id/'HOL-Corec_Exampl<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesPB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJ@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI=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$'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages#D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup"C1O!HOL-Corec_?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messagesR=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markupQD1O#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_id "'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_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/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_id 9HOL-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.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex CHOL-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.texCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex +~3K Z) v 2 Q  ~ 7 {6 A k Vi(pB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesFD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupEC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesDI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_idCA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesB?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupA>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/files/[++t N-u7s|:^k֞!u24r4.6f8˖x%bi"F0Ֆ2!h̀Cق"Oj I{8d?'?;/FD|kE iq$KZMfI?:7F4pkIw{H>ba%8/SL ET+V*8_Ik& 4Jk /7FrRe|N2 08,#U/?'bK4'y!mV!w [ӌ".rOh5.QSCOrb(nlDY`6%$m U PhL4OX tKqJ~\'e)ӚN^xʟjΡ`SyN|S/nəNs͎+_º,>hT.xղ! WkA3r ǿIE :  UBqr.?Q|m܅\ts{KxNRm42ǙUa.dmow9x$G@' ;F37NNs塉<}>M!F`x e1?^ WDNiX^cy (4Q@5Ŝ V%D .GG3B!:e<pbn^ui>a2Mt _P~,,$c츯m^x#irU _j CTpFzў] @ S?rb}UPg6)-+.Q6$N_=Zggs~s떍$M*Cm%^Ry9myNDN<%|(>՗ق&0~ id75E(!sLh-ў^ɍYMҝ P: \+k^;9e y g,unF<}@i] l?IGVCcpQ$ÞOݓc|"uotr bM.-yL ƜEs"Nk͜@;U1R}n|/<ҀRPM]E`76bnYBIyi p"%'O \ؙ |~H\PbL& ^+ZǠ Ī驙}3Tlb#=ɏb%oRDt\~COGX`RWF=FpVL f{CbOL pϞ7?^}D;Z_(˙y{ˈqFQ['3 7z5<^XEӺ61|yޅL4D &JH)e%0rs'w6lׯ,'NɆI#zy6 ~u,m=*i" E<{4Zߴmj4-PwK-ĞZ$huulxe8@&W1ט*!ѩi|XK-O!ɓL{;U(8ҵY%qڿ antb0oS'r G"KEE =hoNz߯=?#qyMkuo̹6p66,;Sݼ5}Ww,д Q7P*GXCR?¨xs~_2܊KIJpͼ0F?Tb\ ' (j ,ǒ^, on(ndqTafC }8[ͺ[]7Z wA(uq~=vu?yld3^ϔG>N.v,5~|b:;FuN|d>$r ¶?H² Tx٪D T+f.3>K~ܮmE!UyZ%v s_6ӾN*V 3WK8ƌ{ 3cG\1St틆+,vukVӈ~ dUA e:{[{2Οpo"( a<+:;x7oȰ!غs2~~A.+3Y 5ÚYö1~{q_FtT:# 'ܭ%QMy<^/{f~TveVׯi+8kS yŪ;Э "G.us3.3[ƪy)wTD({+7xh167̋'_b@peO xRfSn 0d-h(~Sȧqb⣯͸KdIQTi!aNo%'&GYM1[ #>jK2$IQP1gda;]x(؜g%' (2i lYpom)HT%}1 C.%lk`@7OQ.]6ţ{|qU%/KmGΝ!\!ϗSbOjPp#;x1Z$X]ٜE%hռûV |s\'fŸYp-51G@X6#Ʉ5)*8I ?t0U~@4".ݦHy#;[k^7@1:A*qaaNϘF$C%iQWiGS&BB/%?b,H ^a}L=atS}fXϮaGێrO -M`jl:q?W%f4CC2 ґ"~o`Z& L'aJȃ&;'xV׹JjmR^]*&@諒 ;4i f9!͖ z_~Q(llYYdSmJF]t̊vV |H{ _cVHUvU `c6 5r<U n>k*/! h.vNɰnpO""nFuY@ ӟǣs1ghnW@jX=;L\f0wWؔvSx  :riUDybِ?SQ " pP/0W/W<LWT5v~+4.<:bbr ťd{Iw-)6 +7&6,top8v:Dwݷ^}5}j)6s8M{ՒTjcR懖Gax7ibg(g%wl͊Q;M6-a($3t|BRƌ=pkgυ e.Uiw{HBh7o I0<:?.W3Z&>=b.dNg,Z[@8K:uFM ?ĊH:mD#gA{8.4v_qb8@lHJ*TuD ƹBcW{c>g=3va_^SŞ¥W|(8rr!dr=CE7:UuFwէcm sNܬocU܈8-uh1oU\spuXᓩV3͗y9džObpvPw.JДxI(4$ӭ1- (T K9O9jEQ`d,}mpo# |{Ye)фNg 0k?B Ms}Rұ2tX.:ڹFuT29yT7n!cnm޻X]OjzXt<(xw+5;ּe\, ?m(7$S:~.wj#?1;72呟<%Rm&OQ:׮O.$Ҥٜ9B4XƋJaKAn%Hrr-!bPjl(Afg̳վ1V?SCnǒ;?GL-lxTnܫ|d8Yt|C{zv p\[kY-y:L"0y)-ύs5&4HuGtp.![Ɇ>]@xǮ\Z/o_aɾ5h#:,I8[8 67~/8q`$u+8WF@h1pqs#\7ޅ'XОĎ(tl :5CjH&[P0(k쀔-ϪTS# 2.R^¹V iX`BSMUSzTZ{-HJ/YD*I∮ҼJpw⌢'B 4_Ȕ_(JH+}0TEsd.%j;AsC?;Q+' onYGE %vЭ7. 9yLoL\6C+gZ\u*Uؔ'q 5ڗ TV⃦= ޶<.u<`\bS nʲUKdc+D&뵰=taU?Fs& :扌=2 eTF)cA;*uMZsݭ;`CJT*o'Mi@ރԓjm?d'f ?VbA;o\MMB@9JMEƞv[BfJ ub[dC2qWlC؉'@Z݉DbSMj/fᕍ {ҭosӅ.}Y\X3|R>e#(l٪Dz_5RbY^h*]0szjHQ{06c>0mĕՑ1QCMuU9ۀI83*OTi8hVN{6ߩYzε'b̍sJ<NNrAj$97Y]q(CB klT9p7LZ39:W<*+5u&ny &OPGA/BH8V䗱gYZ  ~`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_id550L:1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wA]D?7 {?:fH\{h.F$F3ƼT\pNF9sRjJN}nq𗓼1FUM ;Wn`H?J{ We$i:(!if?%X.Qj1O%a^RGJӏ;Z,)X#X782h31Q6/٩|өn 0FUS9&I\ +Fa`RW7 ݅qeamHomޢ ğIwY׽Rߪ 5"EP~قn(f7ں4>_I Y<0U^,A4cKӽ(<2wpk01ֵҏ5uO# *nRqZIZv~Q$RӌZSޔ? )8vls,O I>s$tG_q@ ֪. 冏 Υb*qV}Mm7sDt9Ddn)țyP&o; 6"}TW(0NhC?:.ý7UeURKfd>RUC9-1+</Ҫ O1,R 7Dk]vJt+}Ǹg?f|}ƊW[,PEl9C)~/ۺ|&ڨ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к[۔QaT,B'rTS8zViH/˸isuΒPZ1bڝH(R1YH:WPi+2GLL@M!D}igI T3ꦣ|M$+ )-ʾePlx kk0]ۑ>!6T`JHF}R,VƟpC1%ӐU:uR]~J'nVdvf1H~ޕm>Y;C93C@?ȳ`q?˙CcCY62l"AtJ^{^ = q4`5?l=Yzj툼 quQmMrmYCMW PNdlU G;r+1&wwAj@ZzjlD_+TWkxIk~o$6{Ii͢ a&&^kɬpȧ-.~M$1%5*l7&%l? "Yqi)汿M#M лbBAk5e ׍*# ܳB$ [-$Fif^cp6up X5,/1.2J^+nqzW?J٥eR xD` kHt:4=RYx#M{>LܸګM3pT)05ŨU&5ݙ5;,;!_)~ԧam:5Zzܡ^02 !~kkYv-].{J\h]DrێbPz |3. , ƚQ9`Kg Iek< J/ bEa>Pغe֘ j)Bj-jl2lCwN0:u($ Rݾ&2z^O!%̹Ǽ b-c5h C#'$m|:#|J=ZRշ8L2!pQa2EL*6lz?X{`}k(앗ג]cH`Bmg>'G gq ^RnܛŴd+RAd-Z! x<{5AoO_ӂbz'XdQhw̑ǿvl^=hL@ۈ[˳rayz{EOWw&(HK%{mxݥ?;BG;pv=“G&V_f3:> dkF;I9rAcy{lkCt>! ^Pqw_~,omÓs Ar/WLc1hk LI1'hxۯ᥹$mtY>҉tR ±ah*S× f.Q/c9{4ԑ7 C'lFVqzYx5AFh7Nbw~Zw?9R7P|֪*mXnw9yFqO7_n[zщ3-cpQn\7]I69beD2sͫ4[$_Qg6waj= j6qh @~XEK1L++EPPWE W]-̊YR Fx$Etlϸ9+=pgpqѹI~mWM@Oy KeJ{}-cӔ$:PVh2R6\I: BHwN8+8T˲yLDGݟhA~!3V"Y)VGWKj4ŷ;P$dY=>N庢¨gKk)5r* ̲P/)i×HQR'C 㛦s&ry '!k,H~:jƚE}+|Wwh\cWu,,ߒ;|ePhzssȆ7\.JQ66B;`]΃x ;Z@qFqVB$;ʗ)sʺJݴs:@Z",oM7#[K^8(rZ~Ğż?8s~jzSӬMB8Jᓁj@mGOFuk6'#\8&0A}Ėd|ӄA]a~h hN`{ܢ?Ɇ:ލ"v{.-簴 %KG@JF=|Cyޓ3`E?<=> |GII cyE#=TDtnO^Rar.o rmO/9j>;W]!6Ld֘G훬 }j)i- C}n&6+0kR/u7CJxc)Pch(gm_I4J'5 B`x uIsI7+a,=)VvtH e/Ks. X?i99v{f~Nvɀjĥ|O7I׃/F ,2ŻWcCQ hwۑ(Նۦn$W;oEdGٕ;1zHTc? vOG̘09ɄL{Wȿ;b~Qw="mm]6IAn?5h@oFׄzxL&П3ڋ07>d#9!\7.;l+]x=Nxcf%~j+9x{:Qm v+u'R9˿BĺOwکBYkXT|Գ'P&Nmb-p: geuO0fM稶EHhR+W? <~p9iބ,3Ү /ݳdT 36SH{k$Kd3ʚzSVM{~e9X*!=l :E?[ C,,|Kҷ|Ixo\x|s[gI>G(ϷN%gj-{kS $n;ɩ0OWI2HkEtBWJ@=j$cһ_jKWV:(F_5Y+l WGҒo6X:LFc}^@•g@~ 2:*.ohGț*&Gt|ގJX[_m|=Z]pJ b" ߱ˆ0GQ0?Zܧ7oJ[,^I-. āHKdK6BkpYP$Yr3ܘX3×h e\[a%I1\`g8~߸0&D8E|^ɮD+"zߘIRyJ(o5C28&@7Dd&B * ~gYZ  [NA 1E# 4HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! @]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>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ʲ:/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_id538@>1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\ZQUk2P I=Mj`}e-:\G*+&EɅalM^9c#SQ!3Nei7 mHm!_E|MP 5soBk3UON8~ħ9:]sT .wMjD{^j|eDܲ Au6 $U鵅*w.rF=a>(|$Y>Jb%giUlN~ A'+3\M7 ̪1/R'ƏLtM_8F30*3[+4Cjڊ΅os @HQ/%Ì ݉q]괴0 @qh::Ms/misB:> F!l8}:U@>8Ew)npP4H%yXnO7gYZ=1O# 4HOL-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|tg~[( ],,ĢC Ap6gcܭq%-8s^L~O:1-nshDeMR3sqO,_o?P. kF^8}-7x ogX`i&Â_Re =U]9޸8]0ti#?t X|qF7ݻ'7YRM,o&Sl"eb˲ `(_6P6zZZh̼7X酾w.ڳ9u]\xOhˁ g2mAyB$bO4a}1_Pz{Ko! }wԾ'0BHmH:cG60IΗmf. H| ry3Z5Qi,oQph7K)vDZx:gED@8&*BS_ ۙ--_еp32?acߚA>˾6_H&UIͫ~:K3 #MXqcrt6P>{|=%"B@haA<;,0 T!2ub; U՝òu4bx91m[SfZt>ѾfJjKLvNN >uE;|iu^EQ0qsZKP蕿Y" e\&ޟ_d)|P'smwTV^cU %1"^ܭNn: T;G\y(5Dzj.htyϐ:]v>TO φ e50`qEOoudo<̎#a lО5eU)߆%]$miӼ;=~" {(M(nXA$p@x_?]b#D]f_-0KdI ;=e{|Bb3S%eǩ Xy)/&YŒ\XR9Ć&/bu09\I 2?QN $&8-mVFo!2nzzz;yi~űcH;+ eڡo چr>_ x$WM #6D8 R[ >x uTq&} Hkth8<7 ϜĨ(t#.*#:j2&F>]NdEk)c)gNTnz5X<P#wN{_:-G枅K){kz闄_嬺[x֚uӫ&`qbDq e.WT-MߩHY#ۻ1?`>;>k.th3.f` ǭDoh%yDC8T}ZT9V۪ߠ`a}Co/9v#w@Wۛ*!pfDHc㋙qoQmϗ$WSp^X{ Óuz֫>?c$\#3RZg=ڂK0[Ye'c M=9F99@=r/؏tʃ)Pm ^"fNdKOz;R] ># v}6Ü&KjIжy넒^\aR)/КaM@"sxPT/6H.>kF ,35?8"8F^y8 gq̱BٷjRZi Ly %$˝ p]1ng̱)&ͯnsv"^ <چ1IӴ Y|lLUL%|[9jW]`h.6(f3AQC-̫^Y<đg%YH*?ñd`utCp.]hYQW"$;2K7>|~"gYZ#LU#Djyfun7Kvn4{1b `5 #rJ*tȭo:tMQaG:H}zf2{'ys=k@۹.ΞGΈJ>ϝ]"WK<4 i4ۀk}l~(ȁĔN;׊H )AzT;$#A,P8QE+f-X6Os JMΞU\mo ?xp:_ZԸ֙ ],v%&yi|SL\~J/EF:;[ (H|P -Jj7492=X)8h . ݟHn7*VYޟQ>j yL2u݉%{gBFA(&!b׈亯-5DF HCeE+zi`)RL^-=f*MhT 4s/ТA6VP^524LTq%X#)UvMO ,͑ksMV̜DcJ31tF3qC6=n]h $ثj95NVY9) o'9)':IdUB]׊d5GK0l- ZZ.Arc!y[8IQ{Kx1ϣ7$&HP:3nרx0b4 גT *,;n3}hOsDnL[9qh5bVg#@4S8۳c:? 3%jL2Si`rƢSeZVOwE:[$81Ź}ha%8䛢7,y` q4Cr-Ob:s ѫ6,pF;}k&N׭+m,J6 ]E|5l2ج;o T£4OP;h,~'/e+($Ȱ)C"  ݮ ;o3XWB% &56.O<^Z)[_!HaohYc1Jt\aB$v$!2O@ WrXC]H|[53\2&ADJ>>`Wu.NsQG' lYﲠ1eγg IN|˰F̒%T7Eb@_j'Ĝ>(6*ŬAO r"֎֫<^Umz#,xP/{ 1bQ]ˬQB%n<$ ֯ 78<`㥰K2Ũ}ìVUwbsHfbNlb-)kпp\}D5\_?+K?qtfb*I$!`vCfA=hvӥ纓̄\Q~a`7IQO&CSl߆ؙQ"!6M{EtZK|%;~tl{$bŹǹ뻀9zyv* V|*&9zaz}g % l20޳L!'7{(&zv"x":8 (Б C* xCKWUtE5kaY z /l47 PK~mR"N*m$p !̩&yꂚSmaQV}|O㘒Wlui몹π7jynUet[cJiK[羡 /ћ6T̩%3d»WꝷV9mrpk -eKYT"!kN>; U)Y1TVh|7F@^*%hH!0pnOE<ȕX%YMxx؈A?m:c,10Ǹ '^_Dy~}57rf0S 5]oc?Jyp1$t?|;SGy9!" J܌E$խ1J5R 8ʻٮ-RD;uTڷ6Zh'3d/D&r̴n/ 5ػPL\U (|зL[9*‡%hYP| dztbhMdkB@ū>ÐI'y\@\v"M/*jĂBhaX7OZ>m!O!NST1nslr>b찠Nr tR_ b|qkl0 {qT >r?o 1#n[t*BҚZX:u5WrzaY})D W'kЋ㧆dm6ZNgg2˜$qr4вo4%ȀO߽^+ `01M \%Es$YQ̏:b!!YUw$bl073cp̓lI1GO?z\N4P; Un62*@ @Lz1T ! mv$)WR%w,lS5iC#7G?TrS྽y>A4Ak#{MiwS=}x7%T _ʥRYvvtIp]E)"n%l5u~#;r l5L,n@pTXxeH%g/|Eonh? D1`>Dt0ɞ5W{eCTc 7]~vcoRKܿ$53*Q.eJ'Dz!Z~T;%X˴Σr\ih%*&3^K_j7,UgA<#Îxe]!&-Ymk2h1: .OJ"VY4`&a<nZ^NVw6f4\?`{7)cYlT z ps([Ql1w!آ|`}R_ZR=*5T [J;;yxQ Wg?#_m\UHJڇAc $FQCzFxLS/6#CY3LJ\)U5K=R+J蚘UZIs\ҝڌ`ŭV#J2yf YC"AZ S L1š>#7^Pɐ!(.z&TTwcl>D6m-URT5 B͂^>?ڷ`{DvvCOb7lFŶ &,̤2'GֿVjX=R. {Hsns $g)0}}`On0 i >e@k]%IE,Z&:S`=R]mYx:r6Eb**~}&* [+d#G}Ha+RgsRPDfFE&6w D0p|m a&|&yĝen j_M GR@֕k qiӧ%!8Hy_ݣ:0 2MC׆_ M~zB/;KMleK`8tw }58yBj-"94/uPH:EytA;ٻ:coYcWFyȪ2Vq6APuZ2QR5,ly_1nyzX^7zCbh0oz@'p=GN#JgANk{_pJ j2_Q;vYu&0ln5+;XkgQI+?:9YnZcK>ꇰmʦct" o=Z[^BGBYl&b+gf]#Ɣf3ΟmXX؊0ֳz3vR)a5ʎ ~Sp[mZ3Muںh#,s f['~M?5xC<J.ZObED:G  @I:门eOTI`I~N9 AgV$mL0deYWAZ:ι:hx[5fp D*H}"?X kcl&Ke esȒH[H a+_Mlf=ȘY'ZT~g vCٶHHa q- </ VoSЬ8( !ffγ :ʃvm3Ha^MYr"s }Z}IC.кaQtҍ婈%Lm$q,"y:zEY<'nxJJ[۵cab$ܥ̌VH = \ _ʹ^ȵq;ѬҭaA;vyu*8 q$Yo6@P\hTɁ+C*J]z 8f3DP  [(vJr`dHI|!`J)ql!AGntmd,_FV0|29^n/~\4-SQ*ch tl*^")X;1A=:720]KB S|3Jxk(NozO pOu=}D>+!㒒srT^}w4"T&rG;ExUYq%Dw>--ǐBӇEݿ^L^3rH'.Xٛw٨壆6rjaW[!-HU{ t6_ >+uē)$7Ps mO#a0FEџ^? #Q$ ТF`4+0jbUMsu`I2)C; orS7RiѴ`&}ϸ)bڏv'ޓn{[?O6 ۉHJe>wi9s52fp)Mq$7]Qٜ/L mq ã-O;,_Ƭ?{#FzOZ栟%)OdmkfHĥrxJV"g,jj~zoF]4î/"tnn4n^pIej07%$߬:%:nj0mj_ta?yi%SF.iuEt{lD7Fw*K3^Q1j.K'TFW9e,Dcd c坊ID{ }jfU[$9M$Jj]+Zɞc@r3fbJ>bԃ},'P5tsVPz_jB#|VZ~3ֆT)Fݢ,S^R6NۉnС\CDs#X_:v_˶8#UY~ud(/s7G5O>U 1a?'Իfuq-bhZmHNbo t=d voZk(b̉XkR<5şݥKsm@@y]e؎Fm YYhgpCcU;!:O<O I&a,Xδr Xl{&fCB^=Xը BgνQx N7|_V‡&e`]6q\,A`Uwu_`mD0 3`cՀS*8܅2lwlP2n+ P$֫ d44%#=C@;|,y($.>t'L *w ,w1 KO`E0Ysx#? dƭ5] FA 4HȰIV%uy稴E՘|65!YLJGOZ+4U83P`{t|Oy`X2F1Edg\'뺍5Dz(VXx_^L xLϢݶF1ύjVӒ(e*KDϣc?-7Jj@ J>Qx wߌĔY&~NHGׂƄ/Ֆy$ \ҠN lH*tsd`G7'3\c>\ʡm}D]F(2iC7/J9 *y Zhq'bl` mj?pN~wg4zYF\ƒ>c33wjs|91r,rܔoz Αw`R v6\N IS ,FͺJ:/^SxF8KQMJo>p]m Fx|-%g""PV! 耡7?U`{w5%{OEGwO/ aLwNZ{x@ Ϣӫ &Re^~H>U-G.ˆ$EUo{BMnpjǖX -5JRF 3-TWzMi 4$۞j9(: fbmޮ,xL~ O5Ņʋb rb|/mth9*bӛU:M!xI,D/"rFj u ~£y'qcoE" JKЫplo:|ag  jn2e3U5Fl=HP^9C}J*=ی1Xˀ ɍ 2C0[1 nưm8>` Pizgjy/r gqSX! i\EZю?.KfiV5MTnG.D=jҽWC!Z(%Qe+Pu+xqi9Ћ-g1#8BߣRj A=bߤWYf`Y*"0d=p ώ䬦cj&|0]s&x}dURznusc2- 05w⃡n(rt{ά` L73 ].,7oRr6C9gѤvLXd-fw7݃4W7 IZ4kMZl濼z!2c+Uj >޳70lb=*Ÿ]?|FzKiiS#ĕO=RP“Rkl|׈d80ruAcRI(9]aBE,딏Pܓ04ty`aR6m5mgiN)> EzzǤSyc줇*:lM8u~I|ԧ >mχf0{#PW`%WWǧ2.ͭ=ЗlJ}\Cfq(b^qbFQeh;-a/$y90{0)ʜ¬+p乔2zƆ,aP% T8z6szʑϜ$P gq2td>5 jt2$@v?+Tgh Fߟ[Dk]@u\Ј\ 8y(O_OȦ?/3%Qr~5v108r|| .i*i*\(ns*hu.MJrb]Q2V||I`twDM%md2xT%\=isO 33q*5H_B9<[ vQ6X! b G3;AᖥqVuj4Mc'qЁgäaFCW<(g3#-|-j??oD廀WhSfpO~jY/h8 Sz5HOlS`1I^TӍ$ظáE<% 0ϰzϋ.yl5ح&푏S8@GrÓN.smϹWڸ 3aL?ĒYsqـLVmʖq3be~_({OTTAnd%=)(f7C@b#*+2Meה;_N|{%=WzmVkuf?+n9֥^hY|^$i@ODv+ 4ӃƬ  C,^>3aaJ[Z~s3 >eӗPr>NaLQ*ۼV8H0_7^w@5L+7oX)\4=^0װ\?6: d+9ߧ"kNUOW,IFtt܅Ӣ }(< rrDʖ:PN0ȺtrQM 8wˊ2oT> @Gɒl  -bW92-5o䶚Q~B+]rPtOCԥBGƸ/<~K>`pdDO]rxG) %k|SVDάcUG;MXoT&JtޗqAcI#:G]A en!ȵТ&̦fx~Vĸ#X"!OcA[Y#)-w,0ְ l]$ܧsb n->rq6 &TSO-5~E(3omP9nz*@m9A÷ zݏէ!)3R ["&!8!4H<@V)N)[٨eoyS`27&Vn[*] ^3JA9HBXVz ]cK E}CaEn6$Qz,3J;0Y)nuJ+1RGCk ퟹ22ZCMV"O8_9~DURDžA hgG҂yxhD&D=a7OatVH$d  UvP aًDV,1T+6`;9֚9Va+~ϖM-xZ2I3]}hŎ)1'qyXAG&f ֪PGCSB}[뢳,sTBh^E/a-NƁݠ;؃{Az!w3 )L4Or9.1r+Wsz`䗽q5m;2_R9JBOw8}:=}<5 /+.:D:BU6">x>ì>nyY1A}2`aN;&Xp2giWZjwb_K#g:P4h H.*@QYΡjUbڋ\_:d1װ4 mqhR!k8}%1e>蔲X6ȋaez_(Y(󍆗J7A٧MVO2R Y[+De/j/\ܮϿ]8x$㟀uEၬ(%})d"LAٷrdsEup \"T 0#Z?z~df%l}R/4/5{.5N-`Kn C7?~560MTc?Xhctipfw0D~F:48Fi4j9UHCVd.$\+~zXξ,4zqm"=q8e0ȉ(P(~Ū4+v 0/hSS57HkfdӬqtz^4sRH@ 7jřb9z\FjQ X[%ja3#3NvzS.mPzōV;'S#>h:[Ԓ)7F 4X8WҬ4ߡgdD5\|:%_-,{›0 0w(=kk('Lͫ$Fhf]+Nryv Z/ nM7^Ⱦc?dF{>P0C7h_al;MWAmT^a2"&r?)-)%h}c2ŁpS79HQ )#E m KJ_?hqph,f_ޜ֤@j B026Q݈SpP`<=%J#^2T¢h $Ucx_bVu+#~M wdZB/ڽJ﹑׽MlRXX/Y2 ¯N{FKtMגvPé`{8{|%lo|0bhߦBڧ2/ ihH3\BH')]"oY6*4qhƅW$Q*!ʽy@:&yo~ gw;L,17 #UY Jj~2347R2gXrE Fm~5E-M3ow_ÈD+!e39R4*x7砟Q=,IdӺi-k$wEn K4d%t3vfFoKa>03 ՝JArdt=!bބqVB}˘ޗ\\eب60 6b$Ӟcw5n{j$`.)cw3J|Q4Ttjrs{k{8[=(x:;5$5Ł.exiWzv"]NZFO9HoOR;YAUM_cUfߓ0Bl76`)w\ H} !1d(¹Q[k4 Ng⫌)+4";!{cetoTB`a`}lIzV X1OSkaHHUAD[޺}LѰ4ǐ^%ױ6'B7[MQeziV_o#rvH?TT띫; Ҟ'2nP64$;fG-3@*6&xs1 - Y=%| 4M1&49] wBAAXl.7H= }rcIS[o7n+D'|t+A `pt;##jp&|Z,ԊiP  Ա؊ylKO;9u^۶%z\:&r#>&wf^ ue4Pah]Gygi¯%ίpbaTo[1zWܐWf[A7-7gO4=zd;GOWqi)S@Y__lDfM(ǴD$^1֯h֟IwU09qN(Z ^X,sp)@0~"B֯91-4'S3R⮹$/K9#e2@slթf`v :g$e&J"C{΋P0=5qefn5tx;ի hFC(&_DN8AhÈO8V 䦳cxw47QX-Zy1D|c^ ̺'-#eLĝH bGAi0@YZ:j:c틗sZ?, 4y)Y\"B5Yn.*h*^Es2:ڒVW˔+?B2d Gz]2" ,ZjL0/ۗ^19z 9#4VL'hүq߳ :ŢWfpEfJjYnAڔ| @UGw 7O{:.W7@)2?fOEi}3!7 ?9?c~4svU f3]&EdiЉOė+OT2QL.Zо̂};׻ZN^s t,Rw Pi).gT*)OcV^MM* b?pKۿu;YƐݯS XGln:+/1ܵ,t-0U1Ѓ4Nrb7&'-xU.QzxW:x#[ݹӘigR dͅ7`&=zNJ<.N|wyɩɧ{$*j vM gYZ c "cnL1G!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{ryZ) X.F]?VDqGjƈޜ0$e᧊1mUė0Yx{Y `SOFwT~ [}$4Q[Em`6h-ŖӆunU[-GkPgcϔ.SKk5D\/ A* cW,Oa1cNRJoE l1/MPVNJŅwƸ/ke| Q0mZ:Kyms dYTRB`ϓ^&@S(CΧtIC:Jv9GDuy^:دca:hia[CP\HÚ>ԃ9؊<+ UV![ov[lk$%7H똗J%jV`j!FiEQ]8}2mXA37i4Lqk- u.ljcC8a"G?GWͻ|,cQ(,WDZu_4+mx09kkIw0s۲pPX5*LF)8$qN"M@T.O 5`0)^s'UË_5T[@];1‡ӶxXQ"U$r{C!GeU)C@.޴y_-%;U e&onN;sbsCk (3i[}-]f`i'&@rsz&K]HJ]'gYZfI1G# THOL-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)|]'0?nܦy+U nerJealYZBlAm֩K뭆F 2yMu=iX8qΣ84P()zK%ŵк<<=W"\.{"'doyWw]XzO씳[*8V^rhF4aH|oBh?)ĺ:ܟ#]ɑO IMEcy'`R5_H("lo p\D@(@[o@+I|#Cy^)/lu=nd]7+AlS?NZo!V(+h}=v'TM򉆯(:L"JFkÉhd2>{ZÆ/yqPm\/oE(P#vVet#⩶a !ݹ3&[Sh'l 6cA&9(N^G/w Q*F|qt uxNoeU`o_C+'W791g?]gkY8씹];G(ʥv4Ɓ}ZFDd(,}A4q 9vZW˿L4 )Is]| d[52EC(˹$=ΕMSkh= _~GjP@H9ıusn+e|}x:@PׅNFK ~JLc&+*W37 ɿw}+ΜgUd-LuDW)1_B1a T[RVmG Uf7%8s W3pq#en/XPpiG#wH|voHb2ǭ L* lFwS+ĺXy-fDe װ$ѐjܿ5d2y>?eԣGQT8F7NiN*Wb3_:$Ln 1bMbKdo\h8v?C㧗vryqs,LOrciʣp'ExC/m`m=mnvAѥwiɀy2<5Z$U-gN÷] |t :;f=B0lH؊,wMr+7^3!q W-Sr])HٺjçA_$۸=&*MkW'_V]n` $#Zb)lech~IklriJɫ]ԔS 0+/+_ k#ؖGWí @ŕ(*(bSW&dy 骷%#Fp:'!'^@uىcI/T sTF#l!ON)f{UڻTd)^ tH _Ǩ~v X?88yD]/~5iHۼ\x6- 2Hfgost=D{Y#,(EߌCKqo/`7/nB I[5wQ;dk>P(ySJuvz(em"fj.DcQ)pdgEzӰ/;+0V1fnYCU@;1m ٣Ϳ,g?xI%^VQɖU(͜_XxnWF_-#EĄbm 2v?;^q#u㚵~/旖8\¹>ax-ԗ"yxPQlI"`?,! Y9m%ZLAdA!ڤVC)uJ^vh*\ԡ;aa*@tΪJZ\5M6E)[+?(? EljZhR Q"H/ko7aد,48uWԶfqC1*a75z* !M, M|@$v}0Ԭ 4f)`!#PC  Wo\AsW"#Xϫh+;:>wpgR\F\JE,t:gJ 1;*#fM J~[$*ނ^BH覫H+%h!N5t4# XJ1w  Swp,{Zp_ TUqXgMQ|?O T~ 5(Ef7#[{/0ŝb` Hh#%j>@P [f愉?U;'*"` xyc)iC1'D3Q ż rKx斶(, X袚;i@4y)9*AwxJ\XT/N7+az;dFA۔>p*#*]6)3Am4a-0A"hHH*w9?@*B,!nb{1Qwsu_V70y,I&:c[ݘ[K5(]+l"4l$>hPg#rJW"$9cʣįbtS 7$)[yMf;B I+2kAi-vb"|6ttr ԼBȆ=0J+6^umoi# l#. 28Z5 6U!ț (gP.iī_+Zxihc8IWו6@# whsN!lO] *[F\)I߯d.$Tdh_B>o;]+ ^ᄫ}:lA.]B\NWPf(rk\hOꍯ~]&6pӋ)1ӗU:aC'krZ݋)?E)Imjܷ\@6ow?/MΓbGδ|\q7v$>lu]ܝWo`ԨT-i{R— %33Q%SfFnޡ'"{}?[P'~Uуnc*ܮOp@ppPRDfvde3#zLJ`e:R-qF*rKZ"\ĸZ'䤩ha@r1B!cS2,d-Tb ~CO=98;IPʔY+woqlˑo"5\qHEޤZrswo?dOݮ<3\:d@+޾ pGf%d|]Vׅky5"Lwd( e{Cğ[tCNxβc` &%wȰ&6Cהaכd"`~$7hGR 0*vI=H@_&OޗCoHϺn#o(,xjR"s@.H}P7)Ms% &g>貭93#{{]@72ӫuTKZfG RY#%x95*{'*Cg/8٨Rkh)癫J!L~f|5ĝbU@qwcthtDR|8%c{b3M;K j5\n//W7x0ؿ߮knoExDIYv)@M]z_B+Kbji,_,I׉y 6z+̩tTp[Ͼu3;X(5TF> ۭy1Œ<ӈ0#^$3yw⬽W|q>V^XU0}}FdN:B$Mo㼜b.XtTx= w\9ٿ]vu "]d}o2Nrc_ӭq>^/.Жw kc$NYzI .ȳU_y6̆_ZօJѝ e:A-ĭx優.с`@I)Oj?BfBr`SF[P8<8.W|ю~AH%WѼ2'('”Yg'KһW$ /A_ti4nvnB+38[fu wnQ[CV8먒R6sًAr|qEd 2zAK -gYZ_#4KCAA&ODf̲'=V ZuL.4ٟվN2oh͉i3@@JM0e>)CE4nTOw(uR&s"'+5t%.;ԛwdhH[M:6TcwS77 =xVuF^w2/|[wVW|QXc NVGUo@Iע/().C6:¦Wקky7AgbL-)@u;łIWFIg#x W_8Oy `@l諅i8z +%rRq;]+>x#84{7+lV~'tl|Ţ+-9T6E+NE61 ǙXâ4~0e eҖNk&H+QpH?MF jx`/y0\($+$R}!O:עD+HƉ2-ZX24mtdp9))!'̆ת|.59xg}t 7`mp`1Oy#fUqv Xg+F.7ϐ҄^z0ATi^?HD=_Ƕk7t@ 5ycm6먎Gy)X cln9onN,RU:7`eX $,߲N3AiMjQA_4޵&[ yzGVu6E!ʊ0$-Tl/st;7c'Z^)]^i;Tw 49R =[&2+uKU\P<ѸCVCfҩhZPe 9.{UF{ y8cEwSe?|WưWW|yP~c,SRN<. oK6NY) U 䦒Sƪˢ3ySi}зإeSEm5VhӶPQ!8D\նUlS< sLD=cxo;B?D;d:]~ M\!-5ex͌U[ҭ8U'y]zK0ASˢhȈZ (HtK¶|wQ3ڌgX(~C=@A*,D<wH؟{U?m> ó|$$yan) ;6(i3Hc2Rvb${@#1j'O@'(É !"mu.us!֓y[$0&0_VGXE`G9;YktY؈k K}(SZ= .9'_si8V!M]}1`+M(#~MVs-#wfH$b PCedNj?ڗ ퟁ'F J(A2ZbO0V :A+NT} 1M'H^L?^+ af+G@*:T9@ܸb Շ9z]/0+]x*#Id @gуӹrzt\]9&0} [ې|0ќ<,Epdci^h/(0dX Ő_{O*A@SAƒ@\\ Zy0'C<`9쨊jrn49wC$=%yv*5޺5&-IvVLpQ+Wc*@v8籛\$ P'-dĚ#Cjaʅʹ0iyZ:ZcRߒ:; tAAHZ V퉷8leHq}_{%̮ UVލE9%uՔRJg`'F@C(ɉA& A4jR5`m="9;wdH{l,VmM,CIek4BsMB!mD~XbpФsROAVmۼ`/T2k<dۋ5:?~p wMͫ YL J_ot]k v ,o^1+[+=f;҈G!Z#;!s#Nlӭv">B ]4υ7Cɗ1n _NʨTH)[5a%" ّUJ6h an0 /g`,ފ`P/XKO*vfc<ڜ%nh}i .¹D _ga5}=U_*֧kG~I(";as"2'X]jA(MVU 23N"J,ϣ`@ eIe/Uw_. g{Fbϡg9 MJNpYp2`mqqfq4Ơʺh00Pd*LHDyL}^NKsWMr\O\]aa ]~W)ɹO+h~!|ëL>uU|k3 *eVq90Rang+ L-xMq a+,osR3'X%g$|9' *Us,՚u $,| )p* L2L0Z؃fCs^ *ƍqCd]= ÔD3.PIZMŚ4 [$o(d~!L!EA \)bak[0-] m],f؜{Ry%>JBtNh2:_q{;a i#뻆 䍢S@7k =φjǥIl"U6=h &oڗx/HRY.?U3UV w1u՚4Khz |˭qd{r$2;K$_wڶ!aJZI"jVyiNqlS|\Пg ::9`)uL=H_ZϓMZLwiiAm/JIgGM:Q>mp{c%o SJٓ\/H ΄/&B,GRµ}R"2o9h3CUufLi 2ǡf\wd7*6'圖=wuПeXFX%c y(G.+) [B5F :`j(/1NxsO魃\`/VU͌&+!Ŗkx0Z)fUܣ+,l;^|a@Ks2 `>PjMx,Hlc)X/l57HՁˀOuzԶ ?y05ě %l4hBMs;q6<E{7l/ߥ@\?5&|i<?&6nm)X;<&%RlN8.Yǖ0%sqkd9LcʮbSdI&%KYO̻L߻!MFNIk'MM~Y&SM%v2gYێݿ~ʊ)z= EqGoZ&J/IwXA|{Rw!nV(_d .qM_`3^#S؃{0- -/A B]a |׭lni}ƅ@~Kj{$J_\eZP` 1Ds9s̤ڌ!OWMQjBu pT1Y -M `o{@pBN-l\\*K8ʕo$ӈ荧#rkxjJsoI@}̊m ޲uXJx$ӽ<&˃YۙkrOn[?-?;wi\Cy6j)0[H+nh8V1&hO0-I:5t8å!ȱkemn>!y3)/foB_LZX\ⅅ{@)%?}C{0T)9׹/e%Zls;*t KnGZ˽OV$ZgtL$8~)ьarb"ʼnO[qp.njywS2rN> /"aწ1nח"vc幠djR"_M2!CLg/V qbЗ QKF:v_U5"\l1-=Aa^!F]%i.+=Už& }Hxl<,r[W@7e$6ÒΎ"Wc e)U{ |p#9Ȋy?o(B0!k"q@  렠AY\]gF\8uv/b^ȏV R3m'ҿ:NWf?i${ B4kK Qr%o?l5@Ыҋ õ%>NE⧾ѡtBRKAVIBZ@&UDGbыT^v#p38V"feۙpZKT%%*D!!hl<]*q΀hH=q :|<@v?5x5 hiYBV.NTP2˱iW8 IƺBv'cdKBuh>Xk+245}#:"C.r9Z zbt- E].>uUфdw""!@TtȎŧ|#wZ첎HdYZ}y[*iQ60LX3YƏ(+.85VQu><Ζ*̘.f6Խ+i^6גּU9=d.QS"{'C4-1\pq'YTL\ CC!}tMu @x˞w 5GCЀk#j#p,D .|,l}Z-DQ _t7l[[ n=\ɯrghŎx bA)t1i"d5ZU/vE`u>%K.NnR_vל8>.q 0~w*H/yT\ڠfuFv>UӖ^Vc-zuf+~k3`[́VEj#:u= [@HUgEJ:晉+.@."Juv˰e0gk[,|iu%8  R1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\zA9AZ~p#iDTp;AGL}|zFۛz5Pl]$ҁK5NRLf F卝l_$M̀B|ծҸ چ5tՠWt.ǚ+U*ٵiL!Jp G%(}̙efzR /ӝq<ܴA&Q4>yq#t& \˾M ムIϑW SPs\'ڹ>a,ܤ4&6Өrx Tr#G+'\]F)Ě3d9OL"8F"th9]ggYZ<  u-k7w}>R&ىl$Y)뉰/W 镫`ᣀ<-h*b"nz1\̗RiJ;>.X@x N E'б̣~ym8f-qYdt%\ݏb0 %y'thp[ T`'+*dg򛣊cH ['u \ėf "ik)ZeX>)zkg|\0c?%ϨA@"27cpf(KX|ҔAQ!$rF 84 an5&o]r ?+B^v)FRdg2O~iU}\:D./Fv7וtu]AdL N3dFv3?BLJHd!҅*('tZF6Y,*̔AtR>bVd9~bETBe[=穣4!85Ŗphfٍ fBEnrF0gQЃ '֍24kwQ&0qRU=IB'{t2oY ֙Ē'l (@ɭ6"`^8Ok-C:BFTAh)ͦSrAN˖b+6h0 :l]C{ v/nКy`pYc?E##b4>d'3rǘ.>#A0B^h7 W.Z;%NޥӮlًQbj!il➯ӞזrvJ1ȑ_| 8˼jo 'jGN `t?cIB+:Ⱥڀ$b~"IKcw졓_>$Ǽ;S)pMMʩge!\-!1.joL GsEt_/<\o&m<ܨ2 ^47MO驸=9#m;/2nHָn>Uj!}\9>Ք~uFQ)m`+关ҀΰXkÀQzX2 sa\H&\53àPTV+HڧintR'\iHV_{în0./Q[oizt|_ gǡRZ&ʆQU)ChK' 0tz7%5lsZfD W_2m)>{=y A"akW'^ȡN|* XgZ?)59-%+^E. Z<#d]_01aDiSZѥY>d3C87~XrXoiDhTtﳅ%=o`8b̻6?`O,s;̐4?3io &cVţ2Jn"9 `+љFn߲|7|<c0:\:2ë00SyZ)U3@8_v &)i>\oֱ-Bx;,ݥPYq]oiﳑkE17$3\ ߗtl K|euII:JWnŜ==AOÇQ<3il>n:]Qtޟ19b^Y`Q =?c_˙`0[9ֱcjif1sx$`Y f#\XG:'%Ne'.HBAgI{Zއe)T >6Ӊ&[ U>nFjGPt?DEsn!Td~Kp; Oshx-|(@RK-#R{¤yؗAth)͐^e[z$YMֈc3!%Fq qzA+Ahau&QGXJZSf0@A~'_4Ma }/-i  )2d#K)̓w{Ikssk:Hhn؍5@ZUEP2[7o[ۮpwk,aWvxappW/)c>^" 8C3|)屜hN5Mۋ%4[usܹsߌM1UV@[lEîŴzK-i~ђRfwD\ ,d̓z-Yep.FSāH1Qu(K=﯅/R>2!j %!\o$#< wd4X=S Be/$aH52&؍.%f@igEeA@m 7yϼ !v=zSvksˋQBx  ȱ.Չs3<  n23h"sߕl:;FU&kb{k!,ŎMaV'j; yKZ4G*}b.t4PfklqV=3rO8Đ.P#\4n[]2F fc"Pί nI}Jқ#?8Y>TV30Cq یޞ )rd=^rF!j1aߐg ~D9dBz27 X*:JZTљ(H}tv K/-UL4 g{pIG9c͍.SsgJGS!=vMW?q0^5D!xW|t􆐭k-^}͏%C_Dɇ rZ8Ԡצ,'FOٺpzl3:*j3O ? e#(Omh-i4kE Y&oG̱:o J7|WXlW'Wm Lben S ]n_E*Da9wzҭŘMX홇MYJWĈ0/\HI:5"?T BUiw0e$N4 8.IC EO3D:WD-)51|nH65Di '2(L_eObq917"E}GlWrzSre#Q L/8 e? ñE=}_;r'fi"t}5|@ J?S~WzѺZ(C_j]y:n|ZH)ҁrfHŨ2O%#|/{(( զ #y)N( r48![%P:iٓ7×=3%$/|x|Js4qlc?, iYXK8 Bh$|!EcFTI Χ}PuUK ZdVO4&֙(: K'p2XƮtre|61'w׽??\LO@3HJtWi%^6""ej j1t) >}?Y |'("Tv.FҮna!I#}$h-' gE ϩ%j%"O%WbfbX;,a=V^(eѶc`+&F}@<c(JNQ0I?ZXHեC?X {{t 0%"-i@Oռw=y}'P⏴TSO&a٠+Y,J1^8YHN kSGu2PPcs7%Y?X`D]Stt%f>EI4.cdP*LF׏7f2G8 ^4[f;RۯRq|Ò3xs_tVRŹ2J?>suVgZA9W$B/.4o=!Sb]#XbA>5ۡ 59|ŐPl$E scN+ sɽz p`d<[`ԥo1&4$-NDܒFSR|0*Z&Ln:UنN=OX۞TU=\>Aj8sk ?a jqc`w5BUT:Bvml6lT~MZic8G6!3:ƨ@X+ X54;`~xcKlӾOAI?EF$&cNǤUp~-&/BC8fwnILm9"owgx)<7cflHF-{c2EA{h^G\ w' 4]4!CI|/u,ܣnSN*V'?ieUPE8pP͝ p«@<`Sb6?w&+ofliWpc5-c U"5ӠJZ^V]PavQ<^ 0xjn5 0mt0zZ_;g@އ.U=aPaE:s| lԟy^_ x &Ar-^$99* %n} ՞S g-f'GC`c,UbQqQْENBr䴥H#G 隈4T^:GRCoµa|iΦ/x*A'jpsN"` )L]F9c=8hN˄ZNj<7'D}JX{FkIgE.xk27L1>F.o׆q_pS90)w:8xr*` N`Ia?gD9 5[^x $oC݈Vs3/ǀBUf'$\b4 f{4sxj><ℊk͙ؗE587kꄵro’hc)1"?M.TߥTk맍 BVn`ızn&4I4QюđmR4G3'w8 ]Hd" aݳ{Ԏacɯ@7oH=*+%Vo~g֎2$'H+d/#&0;R4'Ļ5#8ܕFa ԮFapAf]*C#g@Ş.m)=Wſ: + M8sհ7E [n=HP }!tquI$6!4]5^5!| ~-YF\^)xyr\o?amĵaq$}?Y E[+%;nKͶ~G|YUb{}q[T.C~HVaO?I |h1dgp@C#q>wŒ>V6{}+MY^1WRABy<̿G&謘_OOUZ}]pн1.W޲6իő #vh%9 b~yְ"dc%Q7*=%cRerjCaHiNPUCs7RZ^Oi}FDmQӎypR" V w}7%@n h:Qs8J2P~CՂ {Ǔ` iD{U'5,PEkcKJ-?/YXwxRFzx5ӌYz|☥ Wai2e m,0?=^KgU"d;=^@-}#xm\Or.6AnjEi?ƧȊ8$x Տ?8B9aHf?e,'7Ӊ{UI O#moRp?Q&s%INnfƻ;MD E!yo`_20=& ϙ57Ta2[yc"㭂R +??N.$#e~ i 6[0^I Xu%J/h_n.rbʸgoy ӽ>"pN&#MO5Kg)AOC]7RF# `Q_kx-\Gdқ׷mƿ;|(T)W#(d^WK|+ ZSG&wb!blqуO4𣽄Zz9 ~j /zǽqa09Y j?2>CEU$]ם}0SG1Wƅia1BV{Q :"]옺\NiN28ogPJ[oHVjJd{$_Vsd3ȹ/`C&JHo53oa6WUW]++qPi9buE;ѡVq%*6%j\ E-9w'U4 a6jw1.Y oD% <$!~D92 yhd)]4;wJcn~R1Jq2ݼv|d؀-8t Vo%J !J{5O)}2d('' &Y0cQSK҂JRŔf93;ܘ9PC(qDg\YYqp>0) >pzz0KWM pd/_VW $Q/qSHp0ќY WnuXG;TY^s!+^sIDzՒXD 6 Ja׎-ܝb>-"W, 2UֳuC9H#\ƌXE'2̰d: -jh|w0Ox͎)2 rq7BRFfmBHE0Va=n4&3: gA";36MwFв+)a$vE _ u q7!1YZpG=0QYB[[.p1w#s&H0Cc& LSbhh4.YGk޿M>CO~3n-Ӹzum%fS{A{5