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 L1z,,l ] HOL-Corec_Examples:threads=6elapsed=157.224cpu=519.032gc=86.2727zXZִF! 0 ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7ٳwLX6cjW썭B[~l&'ZqRr5yEMkګ/Oo7|"YX͢Ll dQw/Eho ~+@{&\=8BK l |+OEȄӠ`=}1j0؉ȈͧeOaũwyLmpU9F3۳#&Z< [/F..?`w6Ɖ'&mov2#֊9~r*EV&A[˒Z?{MͮTq B hL;=wcfptAtͼv;@z˅cxX 2ݹv6WV+Q㷲AIv .,Z\,ø𷐚H:wtu4mo*nBze稼\V;ܗyfv30I$͚lIt eVDr+Dc ` $=2rv==2IEudjlǜuK8mv>@O@+Լi@E 鵌+@#@@Z!* @q!dR8Y rd%d0 B 64E}:ptZKcb>NР]R9/giY=O: % SH Xʔ(okƀA {l#Iɗnv@pf byR )j0 rj}$>aǏţ0)ϲ)DhF9)woV0}bM"Ic$A<+9iG%8ep?b!N !͘ه!p)#lZ~oO.[wwHiUeFf!-"(! Q<2ʗ[7qoT[~|.<5}GZ|sZt9 9gLŌ<&h^N 4!TOε 訳thIhH7bC[{ƕ9;GNw">_"ł܃3j ud~o]3Z# ~%TH}/6Y$PȬD4ρS=!J6PN7֚rLW+˫9vCЧPɼ P:ڭ&*Gk[=F:{VQ]!gvԀ)($yN8 5b5-xhf10vX NS=gx`WR\Nߓ`{F?~bR-RTw.s5Law0ekrd" u`>ӛ2&Xv=`ǙsY@?}ޞ-ۚGƊrH:U}l3WOŐ%1$ZYtx0iXs3CB: 3KM=&%j7ߌ)4rˣ1B;ew->`'c Dd#ci+Py{3F6DoJuƫ}tsRM&>96~;`b8L/Ryy J. >Al'4 zquS0&%<=DX`!aJ?W0k[Zi,$@q_+)}NжE1Oˍ9CطT4n6İNNgF_AnaeW!~ǝP9G:5_J_^d^UKtnyſޮ KImC7TP)/u"ꌪbaeI 𛮖 nAy0l-V&deS|+K@?33$VCm{*t ZXX{oכxS5֙.<)4Hz~քv1r~"'y23 S$^N sh3>RWg? 8yjl b-ædKB 5H/~9'@;#' 1E_9_**129fik0; *)u0Brsm'ڦO##XS.BMF>ԟr\S;+b#;aȇE.s@^gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ$ڲyР-:}3,Wᬦ,W+5 ͅTAm{7ƑOVKwUЛx>N1s>bO |hp2fy !-d v msSjM"FRS.]Ԫt_Q@m^4K(Sޢ?<ɏc^IMVcNK-iJy*)UN@50sϿ;qJ'w[hBK@P>nZ}@ A2HI d `Ѭ&́w|ঝ̆$>s4>wȌzYq=c~XᎡq<׈rOWS݅{d;G=Xdn?{/wL vwէz6I'(Q-Jq-uuq 4IngYZ7zXZִF! 0]ŗXi%T_##kyL 9 КK16gv:ұ5d\X.\W`RukŨU\jwu{Y(lGpF8 Tm{Or`WM7qR%y* mV :wk2\sl`9hZb"y;AiVG`~?E7K1l%]J+bdSsB [Y4sdbGtp۷&~yT|ԺpkZQZϵg P~lj@ |g; 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]<8Q2M1F/E.B,A+:'9&6#1"+ *'&#    ) h]  _" S ^X 3 V p,Ff" zY t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/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)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%?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!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'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/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/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_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'    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 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 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 m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ n1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZJ1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZ  v 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.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ܱgYZv 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 ``0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RX?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ w w1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZp 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ .  S y.I1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x&7j_7Ȓ2\R:2Z7 ]B۶Ќ,^3L7؁H'96F|8O GvݰsrcYoI< J옗3ܣ}SBUl !6rhO-ҲDH+0'RxP‚UG;jPNGfɹ.NXLUspd\*5Ae)ޥ8 Wm?6&KjLC3K?vWg7[1n{A^m{{:}0ܖ p낑@#襯&u(<U$S|0)夶8Ԯj )"5p*0<Ԁ4S$ʚM}; ueY;()POH&63MGh}!:c/|PZgYZ?1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H|A HFgmGTr1,~?kM&=SۘrcM va+~7FX6L8yQ%LO/&RdH0*}NR͋jf1NݐΦhjmkBQͥvNQgLnDxL:<.Y8`ֹHT 3eSFT!ވ+?롢MlV 0h]_G5疜n9(Yyl˜yF|{7pw":'EhJ%v>OzdL Bb fy6VO|ټ1JVɒ3a{LkA"d1L9 }'g ?tŠII$WL5hv|hܳLH-xe[zn_O\P.";s@P ʣ% 0[ []ㄒV% ~-u"d&]W2櫃І{^'OZOIlLnki͔y;yP{zejIŭ[YB5b x}i9U6R6#{"(Z4Ԧ3:fm'>caM )ۧM*Kfy۸ @Ya! !/Ua7S!PdjOᩨRBJ7,P ;\`(}[16XrWLn<2XOxBJna .u A˙W" ?h&B 5Bq~0#n% M._+lx^ׇO;J$j6Aܼ#s㥎}%4q|daR*_cJq;c0M3xu&'!>;kn }0;BxWG҂Tva>rfQU;yA[>x|J`Ysc(`o wl9 Lr;Y &-OJu͒Vа DFW_p-(ÏA~թDe6kk1(h4es:THU1rp;[~9\g}Zshjٽm{e+/ٙn-SК^8,@2ظp^F!#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# g圅Ǽ^i sO/17d[0Иis :Ai{Pe04"i"yf5c%*q}o;:L/JG`c ¯pM#>KjPPS'߁)tpVdVU_Ȗ ou)L,?kc;b_M~qJBߩݩ&dhͩYս!!YH ԗv9ReŊPqHp%n\gb_7S啼k(֩ժlN$f=e;9%l˟ wYL#DC(y#QN;xn`jypW8ڴ7qC N];P|ݢKpp-kxkeLli~-x*lnfšHp(x%bGMO|jo@y%{~#GruŰư$*Ƕ,#JxXrR\'@l1 )Qն1 @)P;fnt'DX5[%̒eB|* 8 ?-TF/ޑQumiy8,ottK-gOXB18@RU^WVsWlZV>\ozJ>X. Nbƒ ܞ~>đar wr~3OoF6tB}w=JO؈67qK>ZXE7s674kK6XڎZ.&1 gG8N@":F_  +V(gxS^HhE36b%ڦ=ML*Ql˘{E1׸ORE B5FcɅWCO*Deu2S|P8$+ʓǨ?ؘ>[x+i/%8(BTnn).,,E:*;q\/= gk7n~=kuMn5:jzv&ΈNFs[3 |Sd?E탗6̱rCt㚔 TgV!,- đaL?m |Uv ⍉|P-(Rh k1u#'f~B2$ T 7\B:qb\A5oO$IwήDATg⁣_Uͩ}3|`"`oCb?H貥rN"7dgfAi"Qst>{pdS *y {&ulK$6f Z{8זV{Y!6Q$nxfjf'7Ppܑ2o\\[2*3L!&_[x.zPĤh @ C|F)seh?޵QF.WM,pO7`<=l(ſبlQGMƌ1.ݵ<]? 1;+|-dXPcrg+a?CpG퓊9Ӝys87:Ĝ)~9sP_l_)Ln"+ %N2K5$}g$B i4ֳz1ʄ@r7IU#I Ʊ.\{QPOk#qdw㓬 ,PhvM%(PLÎYI.fk7Dh"mݟ,#R-/Z-`%<\?̪J|5ڥ8E?}K;4*Z\x“hcO&L6yE܎J`('o-$6=#_u τ^zy+@4N *MTgDr$HOgSVRMܑYy:gWX׭pzk=Zbҕ/+ q5$G>F$3YEf25 GXs%*wkPtR[  o-tޕoLE<3RQY 9c:'\8 v =8Zg~)> : m9.S{MJ3Y7^u+]o`uIxkͿGY="@@L| .TSɵ:.5V 8f}1e{}!l,߅u\yKL"VuVBr*Ww5*>^Bd8MEv)ȜbdH*h^)ߓqi4Hnr,uK%KOQIGvn[%lC!;heIl!2^~^Wĉ"X(z_SLYEFj*7s1 i\;LⵂS o:?v8j9LjpW*(žDl:Ms)U 3QݴdJ֡I e,%m{ yx$bY<Kb%֖sliX0Yu+,`2+ #G֍ 0̓?;'tZ)ۏJV$=ePi}z ĹЈ;+՞@2FOL~+`,~)ee9tgIC/v$aζYMW,pFsA "!cf$^GSx9}+X"XgYZ %%v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id538@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\itƔ1{5G[tjKu:d`ܚt B(jX0v(ȃU?\/Se+ 'KtyCr1JP9l]Gixp~ac>zam%ml}U"s~niA-'W .6 k 5\ >@4 XDŽ-qTJy`MP[u,jk(N M=k\&Iԭ.C%kgooޙT%̮L]`{, ЍAW( ϫǂ'W͞|j,\k Va W$r`XҴH^bzҷAT~&EBRp͐ #`e]( lq>8Bǿ*Aq"qQS\ m\3z˞9TR2@P'q(Iw?yEjï/SGjKR`Jg͛K{jUG@!2aRd!HOPTY~gYZ^1G# DHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! Z]ˠ)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ԏq,/67rs+\`zR{V?,w+soUfr8^p8?8WqT;]w]5FJxޠ깡Go6۔p#S]/((N=@@ :1@p]&xfRöq2{<daF|tH 4RֿMΌvvQ T0eKZog m/pkY3Nуq¦orjyiKDQ' jb,T|^4sl;_18 _8WtNPoa!Lq$lݽӨ)}Fu*'`/v,yzkS}:yA _PUTp[s~qu_=ye)v/hrEfCe2az$/2~4(Grz{vh)|9)`NwYbCxwl˜"c TTW~h[įLD?+1bjINFKwֶ*q s791ĵÿq^CBB! ֙'/Z~=5Y ƸΧHpƟ$i{Qc]W䚮ADDN 鮧A}fMa$Rj K`}K T~eďF#,tFҙx.閒Wz.#y'69|*]IOD7o<}..U_pZ-O9yO7)S>e !+v(*I_U%Q2& }>t%lo}e轫W"0=tU;׺ᑵczǧO 1"M Klq bL 9(fC{XB.jpB֡/ E@bcO _./Tn,_C&i⽷2&-K7mNfD ukBk GBc:oqw$y-&FIwYi4Rᔽ{S}P#pv 쳽^NYR4(6?y$4$H`!P0"]wUi[`.pK5v^F1}`Г~M_fǰUVuU͍s娗[A yS^}Qff%"DjT&5:cyBāK 8Xh/hE/~s*Ath)]ͼ>QvZvj. =sGD$x|wt+7S+f|Xra$90vmQcFMft⫱ D b-VC6+5I_YUD#3K-,2?5J,ʾ~8i .w|tXg]4 5eZi3LoẅL:RS-*ů )F >"ȱ,lH&IaZ]1CUjZj0-0lZz c8xopVy%Gm&;G IH}_641XܧMw ocI!qq! *< }Q:-:NfjѦ2hAћ \_StK\wlF}7t;Ag {VԶEIy5LߡQ3ԔW#J9!-\;%Hc֏aR r {T-zfW }5)jQq &NSӑY5hRO[z -ORtשI5S5;6tifu7bD[v|Rd}р"ˁˊk嘥jc3׆2|"~ffNs_+;8\7"ĔaѠ}&D۩TZ)?czHNQ9C/c'b0Uuݟ0 uSًڿM[8k-N&N砷nB"5upUQf[<&!Hgq_9ɔ!T'ScCQ{T_y{?CmȐ顺/d @ `4x2A%E\[2\ o{D}R͞Tr.W? )^iRڽ/A#?6k)>~DJ=w|ynx3<2Hkn#5:̈́ɶ Ya'B{XzwãrƘ;?p6RKkL ͬ/?@/Ae0h'^-LKApe^]QxN57  3~u .Y֔^V2Rɍ+Aiːh?e}6"rN\mt_ZYCrl0ze%Ϛ.$lT-8rYcAA,+da^~Qjk.`=VQڶkY.%%F0PTP~Z7#M[pݭ!5I2b-`u'P`ٓuW9ⴈuqfgcʛs=@n7 vǧE]bi`\ MǷ5zQGLS56_<4ԦHBdmWgWH4f)ʵJm˜.M"JCNM&侖iy;Y̟IdgafMZby'iB7>YS#Z3>n} !+#4Gܴjt0>ݖKWeVIŅ yM8PP˜W@}޻E;Rؒ@AKJPKzExF&b+]-7 ouNVՓNjjN\ȶ6>[F!&;TCJSɇ FIosidXSBjhY2Idkc8B(rkZ~Y<~QE8.A#8wjn;y\#R;VdpAD@s0H 2@tLNNg`}?DI-s\ly8ڤ~z b'abϒO(+;sc5>"j֩sCt;6 xa P*Ku8߈Fi>-=]Q8. '5`f+Ł :ϼJe fK$BkHtF%LRPs̮@&$y\2;IX޹5vD Q Q3ډґ_57d/g2,xw.TEO\A$x*=m$/^zH BjT8WcP S1_ETm+`t.n#Ӕ]z;fo(0tgAA10wvk+:ևy曁\X0xowdY Ɣʝh<Rh-J >L\]`zmu:0Tk, ~^=bwYBvUHgZ"cL:u29mId,Ro0n1n!' <_Ī^m0NmW`(E.7 zT˞ɀfAw4aooG imxNgӺWew UT'Ѯo wYb!1(@ؾ" QBaG+*|B&!t>xGEtHE]Ac!3 ȾcNnuI߉˝%EIfO]X~/ ߪW#C 4eLDk~cike А'T3KAk~ƆABۃZQԪT2{&{R92A#"'zypd*KVH9s8n&1 [XتHja#{?6C7k'ζ5uH3z5XdxD^,NCl9k)Lӓi33*rC:+wvf5O`E }W~Llov0QՁߑa-e렯NY#bi)Yt!p]fObNJZ@bVz ekM{^޼ʵsv|};ܛ[췻/h ">E8N%!Wm H!I 9Z>x׵Ci L3\[F׫0ݎ^m5LJ.[QXHeB,0T{Y",5tqUnX`WmMDu0Mz%F|P6]{%G @ 08&:'`:L(p_',N&\PQfDePyJS!cgSqKJcʩCzs=c<T2~ 뒫>sȿ[bY/u \)Zj],db {ibxu37_Х&(0糴'>-mr-^l>nqd0˪JIW\JܶC6<jeC7/I zf2ShNUx.У`]/ TvmMR5S$Oa1/֒XN_Y@]}=mϓho[pG:w~m_.ieoB']ET8`yH/9A.BwSpGc@QLT#H} w% |M`!&+\oL9?ªC;JTLV!hqc\rlƈŦuҏqً| [&J%󶠰z{AtVC=j[0牐uFE ;OZ1TD9dq\5jW >P249(N 0vBQ'{:b=}g-c^+ ;fRV' %F[1(tҝzﴏz}cY9G~gYZ  oh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5421O' $HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\3L"j*u1VG@|?^Vz'88"!;_8S'qϸ {kɰq ԚݺV= JeԡXMЧ18 wC[jt&t I V| ~^;h %$#z&> Tvaq waiXgJ 64|<^GaVMq _J2+T!ŀr~EwToI7;tx%1:F2WAW1x,*pqam j٪vgO\v.>!T\##[ƸzgFلbXpo)Ʉ^jT}wpE(~2mkIH),Ir7JC}* l7@. NoW7TJsum#qR)Q<^-.'"G&d;kUef&жOR*,p(Q;Mgc}xTm: ٙ6G8 %@fW;lb0N׽g^Ow2me#%^cs;SCEM{j$h[U !GeKp MVS)8]{V>O4)&u a}V G[8| /䡀I3gVT$EՓ ZH_^vCLģTnٕ?SiVI;Nt܆M.K.Yl:% Jڔ_a5\.g*)A/? p?<Lc lmGH- 62d~I4( uC?źle?ѧLa'Lål"0 Z1H,rIrp&f="`NA/b$R&U9#Gw>:Mn>X #N1^(]S{eTq=(SC.~'ɻ"<&ГB@Ojr0Y@*C5Vϖ^A)R}4}Aw= ^Ύ CYݪZ"^q62j3+ѵ:CpM#b̒|FFގ5Ө>n*YdX<@fo%}Xp{6eߓS 0gYZ# 1O# DHOL-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;]!*#}iZh Ch\ݧDk<*y@?ݼNMT5u几 Ocv_ρ>Ex[T hi%_,:9ʍ͑.{}gX-(x.6l\ufPi=52)w[ THar=RMt,fڎa#,5L0SUNeY7 ]B{)aD&viY`k2<3S-L]S9o0zm,VmEH)TDL)ܽMnO{m0[͛Irg fyTK&&_-?%ڶ '6e<@b/PVN#]^52)r]{. wʞzm2ca7  " f  "#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}B25e3EBA a k> q QP@>ks+T|CMh8vg Ug j6,8R@'Ҩap:uھK>t.sutoj,-m6an[_xmtF9uQdJc7c/RdCil@Kht T١Crh SYU}lY ˸d;,̩_ޠ,M<혋dm/#>)P-|BrnOP I([kHkmJ1zы̣jO[NWY~u3,Kod'UqJ|89c|uns%"b o+;hlE9RS[8վ_ PLW ߘ.J@Lߓ _򳹱׾8m{8{).MuӜtXB0 e@<3&~yS^SQoNlw,"#iSvRuɥyeCkd0 dqIi5gZ38e/ci80;c*1ʠ( $ԅ(»\PšPBʶb~c }^c9uv E輺VEhjōnA6& oL5;9)T8b`b@K~魹1i9JǾvGDRjobޚCEBXÑ _/d;sZpz۔OZsNk|P)Eȟs8ve Kwe ۹O=HNAWj$:T@uVWw| 1_'Зk-{J1cdVs-=։O?ÐyX&UDY^¦ExE]uNCvL6eUb||v?!WeLz1znjAm_&?/GI>̮(  ά;6EP0by(> 7i-HTʙYX[xT2)t@0BV`DjږG=&gaa߁:ivEFg.,f3qzraMr4sJgUf AuraEvc?=KAk[ ÆCpBD}:Ze:E^ѫ6~09i(!/ o?ҟďj>Tľެl$GR\?5 ا㲝 y9m7bv"+a=Ͻy_9YsHH`%|A YӶƛYn!6QnҼUY.31Ӿd6s |:ݏ7HJ'qBK_s1 uȡ?p9ELFaU&lu H(\Qpg/4Vb,'^FyMP޾&>AEzџxsP>湰jBȓ+Q-ũ/^/EM|+`5<ף1n"G8 pԱgYZ @@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_id534$1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\92ì3=SxbFꝕ18Ƌo0pM>ל>ZE\6_KhpeJrr嶨r oypiJ nYE䬠mGvD/2zI$'12[UwB.@qo17cerj`Z"MX9HvFk&_(.|ꪒ35D>28/:o3UB; Â?+BveGM;NTU0323*MC xQ3u-E9?'){O&'%A/]3ͨGq8ݥ?11B"~Ɔ "?d[;ick_òZH#E`x1,!ȞkAB?wX O!z W1;ϬI@ =$i'b U`jhKs IL 0he(*Sc(be"z b9Mg84ϱ+'|Oi1kcN' s: ÇJ94==! 3TN 3Mݳ6Lf1ϒ}T`sEȃ2f#˩w/Uļ;eН4Eb7VN =PtVy;R&Rݨ\ 3*s!sb>c==[k@T+iYCDCm @Q$r ٚiwXP\<œkxh-^/ O&v eEBy{.Xɹ|Pζ#dJ>ݑx-qzWnٮ{wE92>_v("rRb4,i5rjY$*W^#kfwx44Kŭ|uxdEIB4]( ^u#DNvДP.8aϮ [ՙ2h_f̊GPz@ԓX*!$_RmQ=paPѸAGs/Ŏ/^E@lЛNㇺ'ڌ}j)^"6,t^x4ʉ YȀy$/aJvg*6P[5Ajpl)GD ,x:QaRna^cAi"s6Iecn;43 r]^~ ui(5{3=lF:C!)o4^n ܒOμ P?] v n -zYH۝a(9> v v!JF>K.tɌ9p$S 쌄ӃzFЙ$`~-HhL՗s^A9@-+QXii$~^-.K5~웹Z,)`0;R^կ!!N9Wٙ> )rp=πa`|Z9msG=n0Chmo&tP3j ".MdZJ#6 C@{5{!8[1񜅯Zc:UevHo:ږ=O~se7FO:@9ӈQ$ rc]%WO[A bJ2f]]vU2UMW^ܟ?rw,G;#>JZ {7\ޜTݤw@$&ukڅew|aQtU};Fkr/| 5pǟ eRwi~>0kQyǿa|GdUXH:}N%IֽApfF&jstuM↍8g<Չנ*SLps?ȯl qKk"d MfRP'EK/"u+Z'¸B՟엟؂ 6Dݤ cE~q((Rw_#[u_K >u sRr^xH]`GrB*vPCQH՝dkh(sX+k2џrN}[FJ2,[\& fzpN*bJ6|&PIZu`*' GMT~K޺ࡅw#zLX%%9|eU"U`(H=+jYh9m|1kZPg(f9iE0-SBF{&U~$u9˃2@?I#ChCB(ᬮgb#J `ky y z@˛O#ޮKW̐L7i(eV€NǟT +M vDk]4ߌb,؜cvշb{uB|{b^}[d]sZ<0sQqȌg4bbZ%j46vH<=opL+^ȃDv6=wN5Rb֘zwk_CN(lly}&lzi n+|zoMo֡еEܻy#kÏx)"]Ҳj@Z- ~rmXd 2:Yr[(YFK!Ԩn[*اQn+Tѥ=b&%c [lӹ_1$۷uPYgMD rM{OsIl]98=W^v-v/ "1 R7xEѲ{6l'Wb&ϠoW+V=BWdnUׁO3lE4椼7JHG ɩ{P 7&Y?%,-i9Wo蟦)b"  J@ͅ>nj0?'s6SPehݩܜO{et-P-+}=돸fQ 򫢪aoޠ zFca/nS$ xIt&U%2gI>yU^~gC֎1MSg}%qf&hW:h'JL^RHs}/WZKPVx1|mE*jZ|`S‰:!KT)ym`ۺ_uʑrf CP^i0\a&O܅gM㝦MC(I =VcTF0Y{634ףqJS)3HgJ%ώ+@=ղAf-o6(P b_ X*A$SY#kCϸ/ uBŽz, UaC$Z <k8T2`;5Q}^ABՖS?5to3g\g8iTsα9]aײ*4*Upf\ZOtd+P8 |R@?h~# x :Ԋ@Lv/*Oh%B 3dTj-{I)-E(ZBVPRUUodku38!,tSgiHctӭJKl85UPg*ҫT[/ٯ0(CBK-|~Dw@ ]M!b W:{uVoc^iqUf •m~}ZhDz/?Co DFul`ֲS<2~]`:)@i@0"#Zg"i&~s煗y9ĩ?6GE[y pϒ6VxDzUHo c\rѱiS&Kh'~wkMζ#'ߗ1)pW]XaR#QET\{A$񂏖JaF\68}6s+Z(Ua¤<#B)ʾWHҁVHxi-]6P`ۆvR7dx*"l4n'}RnS )n#WbpF<5U"ȢD$^ܞ-)I Ͼ`k6) F\)éB4¸")? ?V=R_ϯص[xG'PalKnVٸ孜Ȃe22QBmgi;N J+e>1E~*=a Q+dct@½1c6 _~-2̠9V-9^A^Em82Jy2'^cf% \bB N)1u-dY! `2,kF1||Uv6A5 %7XF0]!;\QJ!2V:_}MJq7np%^a`w?/J(Nh.pم*cz[ {* %>>Ydgބ9kڛK(ǃ 4g/KN;zR$J/`20m\EU+u G'K-|nȂ.әRK;nJFjՆ^U,1+®N~ f!&=J3!A ?"o67{RF&%Wd-+=y0:-ҧClpL n[HJ=~?A 47E:%콹 Yp6>Fp$Y$wW4xfL4+:+>7\AH.H"[P,b@c _ƽ.P԰sw\%z=W bVöD 928hE\%`[YՋT~YC6HBG*nӱ~TqΤ$H^>( k?nINE5"y)w9:_]Hn2p /K1|{ZKs%֔ܝO Ŧf zOethvWH͇KV^ue噁e^awP؝-{Hhjg{`Yh!g|Z  n:mGB7|+!$~皒!t `3 +זYyyh f0a15LYPE)~LKHzE/]HA0zE,%{bN9Y:TTW~iiA9ȹXǀ8"|oǎ(atȴo(\g{;)F`)c߂qL-)F'FmvRav#:XL)q7v^ OK"6qӽ.u4aY]D;Xд齌d6]/Gl5CwG+O7w)Φ+!Y4*fsz1;ԏ@Y%alkc6z@CBSjk } VWgKeeW<+śkC0Cp\A[anR;gM52R,GFj)\.}x^mVp9 ~%!{M=r=K&(մQ'K hl~B_HEoVMMܳ ]$sԾk'@|[omoRJҒZ_z$}R馶/ | TP#J)9' 2p28{`ܖQ-},Df."ұ3T+f &+޵TL>f05q]LJEb):aa]َcxJ N&}Lm/ 6Ӭܯ&V2A Eݓ!@T] F0(zϼzc󭲈J K*8@ bzQn MRb+qfl\ y#"9g~0²F{u@]_fnx?ʢL,# zcT!F*EI# ӳ[x߶Im{ݷ_X(`g=PC`{pO0\)!Fg%ÕFFPʶ\]`}x4?\M֣ VKw0~ʕL~T:vK;1 }"{UpuԒ3sX\g>:4KĠ |p`+`CUf9Vu^q_ПjY6q{8whimxhJ6v+?'tN!]^<]' <-͎zejvJŷXb50}qSwCzc_QU(LpN ´bŖ݅NUt0h>cgH .9FvEF4m|Ze7Cw\}.?v{%X9߹W`Nf|"&B! "*`B~(Z6ͪ~ZtL:MNFOm:g6g}Z^聻6AҹĦ9NLL"GJxL*"$=B^/~Kw)XTQFA/0Ψ.tgB8z |p3psvs/Sag"bAi3^}уm;hQwae)w2,{@zZM*jzޏLOZa^I=a|k5ɕTtEGOD5-xI;+*74MλL8L{~F2"-)[X,I= $ىk ~mĖ)B@[J@/4,yV+y8\e}e,}l/[a(N& ;n<~R *aǚL2=Pns 7 IiÒ#T@n>veѷPY#_u>+Jx;M;@jkG*D辿R5(k*BAMmط@'q ~:Nb.&,>lW&f2߮ 2xAж-u GypF&?h%xu?R:Z.iMcx%I!ea3#ƚ/%x YE s3 V2 6D-F\_#kֵ# ^ʻ@g cѺ?wEMq"ty$[ [1oO:JEƸ+T(t]bp}Yf!R@ iJdkq/.HV._lM!FRV~ ⍳~8AbMTH2{}PżagHCp?ujSU?P롁e_uN|gV T_TX6#@@^l\_ДdR\3}K!FB$nwܖzFoeױR1|-LtrdӳmޫP.D`L[a0$vyjF42CK`AM. #bh.+}MއZ^B-ypQ \6ޒDp]30(~%IZt[&8Tҷ Jw S<5UxJ(\}ZՃ(Eρ[1 ^Bl(m$V# L/g(rdvX""Rp^S)1>[YNd-쾩hip tIXQ:g`xy8!u[[aĤ>NrHF% ]Z1eF\ g l{c *ی]T-5*k>ʄ! V l<A1W6L|gx!u&Nܑ>RXt$)#- W,@ܲ7ټpy\ҝ6o`|GDZ!vo }tKьQkZ6+Q_n[nJCFʡ< Dx]]״*O3Z^ $?ξRw@;@7viJsA| ~^1yŨ lKB'Rזirb(fjc]JJ#̱UĄ$L\:԰TO}D* rl佂.E,M|FI=NW=h}>=OÚw9 8EfҐ]mN}0 ?h.k$~$|LU8<ppE!?/齣3b*c)zr>g QM .0P:ZPCrܷ#*2\[7-]]^EQYuuq\ij6ԑGUAMCE80dݡ5tXuDsiJAgYǢ|`#8IqF4=DKD^K_$R#=CEhltC+%mږy$9U 'ߚXt-B׃4}ߠPV%SO{Xf-m_〕$WdUN5e]؀(#;BȔϩ{qC ;yLd,+H ~A.M2n_le'BgxSx ;/^Rc(.i&d")^>H(xf:(*'^k_ Qauˆңy T@G':gO]̅ic gcMDzhƹC{Y9xB NQ混ՓKG:r[}l)|S{ Ŗ%TVRU&1V˹@jvnRiA˶+X PHf@RK:7V4 :LJu4+Wxi8ا$8 -c01Z,dTAYd he\2u *C:/׭ON71@ RׇgM-S L83m<ʅSxpZ}sɮq}u^j?eደiR-vݛ2i1mr|cۍރF$sUJ_zGz1]K]3aOgP6A")ww~|-ak7V#*~lG c\|x)N+0i?nN9ktFW:}`雋JtYPRL4?mpss7}L# .N8dk;8߸rc-TԴK祚Y^ +'U:h1jdJZ_ rԴԷKͧ4_2u X@+VEA|# is,@~iS(7Ibx^!]ڥ{ߌ, +4&cKyUzSoS8dE_y&^ݪy`0#_#!`LoȚhw3<Z {^!dmv 7]}7hW*'ߦq;߄psgTT\qWA۫NkWȽ!)lV@Ժ N@Aʇܠ8q2Oݼ-}YɗB-0g":c!զ~ i.hotJQ_Yb44GTui-"7~IG=AپK;~G؆t' A3e#ޔ YEd* pQ=i%D;15[MEVۿϮDUXP#VhLy('4jiJ9HJ+1=+Rvdo; 24*jJ@c<Ӳs/@|cĐ/E`Lq$_ʟ,Lf G^R>w[^|R1^NHR$҄ T^j }UãyMf{v™Yli2HC=3\/^fcV_Ws]{>b,M+]Ax6\\nqAcKc)9_d:HfpåDO^4}*NY+͊u~ ϵ-qdY/0tag)vQНemh3G8D boPՁEU:6UҶrwBy߸)~6S2u[ ;Qn*_ f0iٓt⾭=hP jlxU8d_.hKT+j,[pZT@ 5}#iQCtEh {ݫtӈ3D=f`b$ͨX<^_,2ÝKv08d;H!0p(ԅ V ~NP+LǒFBPse `"ӴfiCʗߐ*ߐ(< bZvQtM- yTM*!۰N7y;׮?s^/v-5޶`_hqx׊.M^x8wUZ}I !V{# >-ejO8!^+O7T(K0,|CHN=7 zh ZSŸ-2@rњwq֓%NTԲ`dɫDϓ=tKЏoKƕ 5>l7IO VN^O 8Ԩ*M{,[y0JIqsT"DJw*-K\^RZ %{-n\I~%K9|4x_!)>C E+j%$E0}a$*ƺJEl˯ %N^|^{H7М5Kr.1Z\ߞPZ^£ @i/- *ąVҺ6"O̸NLv|t aFCO|뱙^RNHKKP=U[$[A!(Ȑⱂ~O 9(i Ě$yz$Ǽ 4}|x F q}jF$?{pՠ"$sr>Jc Nb'8c* 0Se: ,tGڭSŒ%O̟&'}̞VAU C7 EQ9մ];'ZK%19ΐN[~XVV9%L|gw.|hqlMPH1 m-S1-X:YX*׿t8s ?wZtbԴ@Z*뱼h'p'APP9(@]zCx~3+B%sL0O'MsEvߒi}K k0~TD,O3^pc7ņ]h /ίHW/#ixa/c{r?6)ԫg ޙM>9dq{7AJxui>]6:a( |hD|]J=2$0KoDBtEIiNK:(iVt}zj}Y?k5T%K}VhDU+K+4P9.a aW ٹ;1|] /ɂ!^:Yj*jSAUNlFsblW/tו2t+TDDxbyN<^̂c Z`~.4vxzUG5k3~%SL9Tץ% (Y]x>IjV3~.;^g9vy'I)P@XVOp+]LJbot/4 >0rdž3d2SVs ;zfu?M.͠s<꼡$6 Xz-):#ROVCO561*ÿg+j)e秵u̺bS8m}g&I2 @C|SX%Pjm*s R>XC͸ %&h.gh4/*h {.㸍I8.jՊHco˔D\(PD]mza4n !facKz^șd_ejHz5"n*h ܘa/EHO4^?W\"PZԥ)SM)DsM5t9UՍZ.[u;ó~ŝ05{Y=:"E ,{VdS>~wl1g /BH:dcq ݢ|OtA)k 5Í1KLnScC+~OX2ʄ0iqqȥ!nwYq5j\1ȟC[CHWwg&J@oSkMr۪.}I4!Htc٦bLb8:\f?83I:ܛ|ۡq@>@} pHޥ|aNmH m+^{Shj*o轝y?C =^l̏)a)E[E"ar^ jҀ1ob9)ǥi@ qP| R$4/gRJ~$i0x"T2o[W{X7+D*#aSѿ?Or8xx[L) v] `=qu > NɳėWtQ`"ssYl)gg:kd~1Jf?m<̉IT.ȼHل 67׼?I@ yj}v,A ֘@1+jЮ{R .kf,n (:ibepGTi9S9u{wFfr#5o%([#\lܱGGY(.$yդ@r~q)0#J,&{6r9{ʜ3/j\uatt1-$P6:L=r ?ktΧ ݴz #>l~ilbO U">"mKw My3d]q8m-ns1g_lV)L\D £NJ r\6Zz1 qw?b6/*'Fѕ*nAB,Sa~EGI?EhdkTHU8 DF {YAm [uLn\䵦&",؋-GI03]k\(2t^ya*/:p8"J`Tn&˓icYz)٥;hgYe=ş ׿40β;4K Z+;}5@ 6"O! rEN<*s} w]RLw,YlNaI 7^j>dآfA֦r"Rv{>Ok{p>dY^\IA|sKI*T+VAg%;9c!1d2L#^ S1Z c{E"7/KCZV՞L8P[ǓP%悄 E 7$"=ƔY H7FuzX7#9X8,Njٕ @NOfWr zJ2K`PqKj}GMaʸە!`7HyxL"5A4,$rfS՗Wh+&T\V#=+Q /<խ:D}I+`a9փޡݷ+aUwJׂK,P '|HZ<'W 2*ݞG<a~zF¶&NPpuCdPs5y;M2ۢ*&sK`w6}lUh;yZQrmRxE"ܱYeGr5uVm]bM!yYSr-'/?BV6\GoKN(A4(OFl\^bY,j~qi,uЃ=7}GQ(T^ QC*5|_c_Lk` UKDX1Ѹwbh@Q֗]]ZmqCba:2ATcj7uh!lZByY`%YqUIOK$ EK cZvZ@UNo"#'_TDܘ$+q0hp'fԶ{Df}>7m7֝EY{8'-Q~ѣpz o'Fuhbշ _V+s i5W.78_:] JkLWxMo y1=?hosص Oj4Q[O ٓ ٮ1{r#ֲV9MUf0f{M2ls夷C giܩ9qd%QdJ5Px0Y/JѸȷcI[N3 L2FMRe\֋gt܊OBӡ$d/l }fَ/JXdIQUP*k;Xqrʃ$P²RrUgYZ zzj' 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ܠ`'1K5WM'7zu ^ZEg2)$烳蚳k=1P'T}Ȍ`@/WesLOBCR}=!X6ѾN YGNm1kMKW!v9sp$C5~ 6OJd@`#Vɢi=R)R/^E Wm0YG66e/?MHa=jCL].HK}HY| H 1+ ;YWielk`e=Ka~YZЈ]h{,&)ޤ4vS^ݢ"6*!e<Ͼ|pgTY:) IB HfXf~qn rgvԀP A {͘7XN1'!֚~&o;(|Ǯn1i0k*ܱ*݂rNJ@⑼TL7;hc*nlȖWO 6*@Db:$8p@z~ʿ @ jVͶav,%iĀ_ Ȕ$c+b īBZn (V]gχXZ4 :"55Qa$ QƦnj}zi_^D"T# T^rh1y_Jt@'@YOklQ&fW\F|wŔwN3x(yK)?=^9Ik=U - b6fX0|4(Ҹ!9 f%x$9axc7%ԋ0+ Ҳ5|jԑI':.LJp(Wea>t'7lFH8%vmCwt_dhqX؅\)hYt74d*,FZZ ađf#|/96ɥYw8̹+:l*Z najy%I^"$geTܵc7fO(~q?;QБPvR3\AGᠨ$R^8݉`7ֆ8` ,';90g*IoFkDu:2Q.x1D@Lq,[68vJ;ƻo=O8g]ݑ׏chMzdG +`md?oy.֦ ^?jbd`>tͨcwN!bd b@9Ӿ4J#0[I)nҸ1pkz',;E!b`K̞8dğm±X*'VDB )\aQ5Li6v:r3)smRw[peQbF]^E;0Q+nr%n 5ݔγ9OڌœʹJiB]٪&"&K ov*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_id522?(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3Sta~ ]хO%ה}@k}냌(\dqzAt\ ҠǹxD,JaCcMWuisGʶs\f2dr*:4ayL~ &K2C [[12rNĞ3'[ÐDp7!@} ]KL0$&Ԓu"GSheyJtkiV+x߻ĨPCrn|A]aF"."c]+ܹ950VƛbXt4kL+_ BA`v`@ '̨]·<^W% rpJ ~pMd* ,b)eRWeУ7-< {[py3xL-e l4վ3?s_G^qsooo۸w4RfL}Uai˕aUMH's0NԩGs5pQZ>K$\ /L˓WV+%e sR9=_e0G|҂@.L9v XP t-2 `|"g}'m?0&_?Ժ@7_i\3H 'af-7_F"q򒯥=V߹~WGiEz/{F 7׋LVk.#S"^ɘid˿:ļdP{QwOQ϶\ d!!rUk7$yySMDn͸4ouWC>t|t~~'ws8M 0]3ũ4i_},8k$v>U L!kjt 9)Q2BPU\<l+nZ@q >ZnAwqUNi'n|H}4w7V~lHx0x.T FG{JrulDk8cA2H9g%Ww'd5*d\U<`WW Wף\}*ΆZ@SȖ(g$W4Ǔ7pY1ȸ~G)wK/36Կlp)Mi8]4U;pLLgSF~CeJB 0QH?zM~){)ұ 4]q#*@Bz^WrZn&.{So4IG΢DI% -@{߭eC->*=hT$tCۼwe9'G]u 1I%к1@|G8ץe}_[mr >pY0U,>8:n&;lŬGP8gS&k>h>ǘQ}66hx5OGu10gvm&`(.W=qjcQ!p{-Ow~!DkcRUA|zkٷ+ (QU \wh`.Ur8ٰj#ť[^5~)ѵډ5ŭ@Oؿö/3xAtAf\M?gv6%,à7n^QaHzda(qBz"+7smz?J,Ţj!QIR[|7:B;qNz!uU6?$9b=.y=XPy6|[e$. :'#O%vWDz#W923=0þh¦\*Mb8}uj%fϵeXj͓mׯab*|MiޔxUעiLYd)@a 4ّ\ )Shqu%V?Ld!L63d.+60?zBe Ǻ(nyG'mѐklT*Ym[rL0p ާ=!@\RqcPZG}06wq75X9k%NNwO >a +}K@E]b?k/F)xMڛ30 ?q3z26mpsJ}#gRA}_kx~a]nv6^Er|/TE?3b}:| Ƚ h/nSd7e/ȳ (팣<+4j1meB1 eM,EƯӝ2;9Td|+MSp;gɸL^6JpC9^c/_ntJuok } }i,5JiJ(p9uW9Bm׊QSD-X^ia%\lhyL=Ȧ,D)1ÿ8ojˆFd}ҴtnV١ۿ JWpލr3Ƚ9ZZ!,}g%0' qӽrB_Ve P7̢AӀ% rٞA%[{bK/t(GG*uIHZ!b@ n/D\A3qoY.aF/m~6 ܎t|C2h2\K723$b7OHnn1Sx7c@cm*۶nKR@x+*5϶;mgFN3e_%t*׶W`S&M*Qc@)þ,#fK6*&nw/"_y`?;9UV-d LqaL4YOUo\\.=> z労JpP\E M3f'i'<'Nsm-$I7{;dD௴-VWQ/uw^)*ՠ<>Va)RB {"d@q ڟ (]o")؂n?g剘 ^r .tMv4 d_+=Ql'ҽ4K$㡦Ԝ CjzxzztJ]Ӟ TmV`#[o^}S1dh˕Tp6 S8ŗ00mdqdxɘ3'gr vo~H|jy:} o;u/LM׵H>qQQ_#(AOutk k"xd?3$!7=89prT"t'؛&s3P{ RMT5GK!#mGz$ӾVCkkG{MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34thܞ])m\2qAkQQٷ@3o$6ߐ$zy%IPϢu*{i oAۏNTۢ[{kF"Lq%kH*ȥu dԗVۥH%7F<0j籶V[EE(@FzK9$OTƥpS)@e=wa4~WoyId7NH sR6mhylKxu=e=>O_j8H 6QM5FM-@ZW"lOJsMMYZ"&JBQMn A2fyW#SA'3VY~}k"ԄYj52} g|?ieDYD 0^ʞs O ͋w2d}?Wٗރ>߈D4(Svf8޷՘ jWa)[ fۭTA\oYm d`2=pNg#bG|Hs5Dw>T{$dC%-fwG2Q>Ct6&@aM;_Xȭc>cpv(n#(GQNkSLӝ/!Dd_J؂;U2pY`\! g)S`^B:Q^SeAˎ: 7as;l|FuK.T9 hQqp3m_\sUّ$?N{)SSB'W뫅 GІKԍ\,\Rv PEFQKoi$H(ߴ:CCqz(KxCc16Jix>l4=*%;}GxqXi/1 !@g$ ~?CwTtV-%P{sU1 ]}ڪQ "fODwp@f5(+ my@vjJJ>PXJ`$)lLl&:\ uEGHs ˩q < %5 G- Qc.]ۭ$^y!vF!dY>KL8ĞA!%ԟs"5 !5!<μmhqbU0< Ѱ݈Hr"1ʻrAnDA\'|#}AaSί('Lg'iB茠9h\d߫ Li%Pis/ {l5JaCD Ԛu4ޮuc-qzۼ!!Abn ЧU t~IW:37%?4ʏeNRv Z5Fub8Ϩ>bgGi?i&}20Q΁n\mOv8v͓Su:h 2љa2nbL25/K`x7=eoͯVߟgvV|2+mma5TQNf&*iqU؍Ϡ,f q_ dfhZA@OnaC]sۄK! O u & ^OF11A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530D01O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w:]D?7 {?:fH\yRg%X1=R Y jbx2aZI0\5Uާ l HkhqUcr܉d1Mp>±3~0.b\T_{ѥ: WF<['!n}3r$ DdiőF`&ph^1zXOna)C@XOkZ鑧DRC$ ++a>tObA3!cwwś l^> 0liMZ:]wzgEsi]{ĈAYHz52Qb,'? v.\Na>^~]㭥`ncOj9c}9ki{Fcw'z?Kwci(TcUͫAГBu$Q Uwt9zii M0VI)oJFTᵗ>ʃΏ5AÌ[XCvGfthSk[5<`iGIcx W&43@و3/5:~oPt,V<'7&bYʟ\'RQ")ZE{omLKE?Z- A M7/GAY)l& lXN &_Q~H FcH kIIO;ۉ μiЇoNNB_&˶΄D7sfZAz*4ŅL,mIAr{d#V= i OHE;bQN$667z]a\DwPqRqT]J ˼aݾԢDP[03gWD~v$sx)wܛmZ0̭VgeL4۟kXkB:0>86lNsN)1"wgeV-`(}j n\ND>Gzzl~V-hl8^XL` 2!El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtkWj|ۋ 6*bT\%}ou"n}IK麄CɨV?R:U&Z鯄(_~*+ʐp#?"0JqUN9L5*6bMDa)7s_zoI, 5`H;8G5Y7F'gw[Jؼ Mp`x|ͤ>ϗ\ oH4:aWd>r#Xzc- A-5-!Z? ]l(u3 9 U筴ˊ|tw;lЪ9TX |4+qPg{9n|ưl '6Z55#ٙv>sɮeBu%SH/VR{`! ,YE |4ګJɥvd ZXݺV>}M~LacM̤"GFCt|C;1W r//?ߐ*!95gmuT|+ ^M|($b'@;KL wgH\$gLs pb"eE#X+?6梫WQ-T[X$#IM)@A6[I~.:2ڝE8¸@3r?˪z%l MiԖ($n) VE2L.;"Q1etkue%ļ9/Kq*#!<)czFVvr҄\]o5yOVhSyO@Zm-t׫ lۈ@FU Q&oYR|~oE3uFޣ.Qn6J͔EѢIeO_ji[o}>{.n /I ]@:XKqM'W9vgYZ%%@9!׸<ѡcU'-v-wCm*.NB\z~<ը8JۜAThGjo%{aPkS-̛ ~5ޯ=y | `)ݹae)._^BbkeߩX=/GD!:NL I!DF(Ǐ ъvh]S GPk;f>gI@iuv$.=q.7͢0hjq-fVʲTa&ʹ :S x<`΀nR*9-h8Bu n0mseS `(f.YE*nn4/=y|86͍v4{f̙C¥뜛T܄!lbA'@a(BMg]!?P|ғvRDu!@ f}~SB |Tllx =;Χo*UG;otk1׌LJ-L{$?\Ve$hCȤ9&.4:O,Vߋ)*"qNp&.xf jN G#t2J6'&FǃfuqM.I"vby -=-f@%J(Y{d4O},pzt7Ƨax!tΠ7 *M>9UZw:Xq3tn5z[7fG):#6 )$e 8+ziFPw9N,>GӔ\i+v`f`;w)y3hC8Lf| ,GkX?UT)S-ܸIF\9+/M48 gł\ki;qs3ëO=Vwܛ_>^:س6&N]̽~݅0?tiYeDtkm1w\-™JzFw5B,^"4.&K!=vpZu7]Te͵}|i'FQ*],͋x`P<]$k-5cԾlV7TEUydysyA~K/U KDO%̈́Ÿ4[~ͨ5@*7vDBD˜" {kVX;UMU\eu[+˲u5IFE{@#oWz~iWNV(/F˿h#V@泸~][IHI"wB-D%zbG(. AZ)Է֧ (riX^RgXMg"tdT_@<7:5L0@jʀ`+9T %}W6 ª|`+ phݻ{;]c|]OG~6L;3~1c[SO"=LFk|}G0=է]f%~B߉QRw9js7?{nmzYF:VJ1R1VX7 B@P4)݉*g% R2wĨ(J8e/c7_T)MFjżkG^,)+: .cU#[bcJ^W5 -k#!Z8{SbPv1?wq|0RC/+<9PVW#x%w5B07'y?C0߻Ŀ9KO$>V/rm.3ۥ6_έ$}zjjH1&h܏KBl)ONNlU2A^R@\Nu|uyh&}/[gH:YpgV8&1ާ{ԁ-90WsAP'mdYpg&[?HuKo(BCp]4m}}Ѐ%.V69T,eTx= Zf aqI5Ko;oC`YvX4v jpõ圮ӗE7nGGn*L$gtR#"gP72Lt0Qb rN+N![_J/]vʈvFI-̵c[0V{ h {2`Q#!KUOk:8(| ]G>IݶxL^YwdđdԬczahB2b!aFˀ W9Ęfgw³8UK31;@vI ^BXJ&;ҥ%!i KTe% :Nq:dOK~@33Tjסټ#͑FOͩҝ'DHL6ֽL7ǃRfmJ1z ZW?wQr]BBY_+ x.[jEjdnt!!ܠ nh]Ł՗#rQM_ЮKS5ψӐ9+Ƕd`@T=&;2*6IrבENray^cXm2ll.PB!ҽ%ʽT#mG_zcX<4.߳Pˤ$gLf@3UKxs[Y Ko!UnUPt pgnaڨmds 9U+=@!LN;#\٩|G9RqLոr8WEh=w&aA&Jb ]\yuB>(n6DBOi8 Sx;_NQE|Ek}+nA7 )F2J4 MY|N?2Z#b* ًs{bEoi܉> wLGƝng-,'h3JΏ%^chR̮Q{!C rPDM)18CtQ%Jg<7!B`Z=fAZ\w`%RHAj1QG8-ԉ -a(\ iapO{ ?>=0VNP%=55ݾ:\%_E;Y]Bx{) ]Qa?%Tz.GgHfۂLg}Վ_H4 Kc/UY}cc;Bx nfeFyor5^Eͻ-F r1+j\mVmg; _Фدב18o|=rOBhx”Vrlrާe@Dޮkf <̶WTu`O@G^*K+嵗g)-{ݍ< yEN[%+P-Ց{4r(C6#T>&D6cm'~;bS٧f}u&fOCed뉳@kw-T7g2Tw.XO[1Ya{f1"/-P& 1_>qw#]ʦQaؓ'Ĝ:xX~Tu(P" _WďJ芣CI:s37YW|FڷAr܅J5~Mh]Y[pׂǎ7n@GӓeXabj2p;Ȃմ\ЌKn87(j^`jz]Ί1-=$|Bw:󪖦t(Q=kζ_1XMY lm[;B9Op]յU'Uܝwut6^ݢK.v⺊0܉fGFsmh0/s뾌~kV0-WIBu@[/+PeqMUe9 ۻAKqɬV6rg+Sk3XlqM,a;K\Ky,$lHHϬw3}y+dP=k7sʔU闬6 r40>6gaGvG6 hGeJ1A(Эh'#w!Hku]T2ͬ .yq=4e=c_B*&ѽ Xl3Yν6N|U 5d]xmG2iK<9_dh5ߚhYHt\JL)1˂>w-E/c[e;b_ܒqFPe+}ޅhӯU G U+F{+" b K.%c:YqWXs*62) Uo|tL_B} (LtR뚬j;Xw MQ %mm%ͽ*_KKG?VNp 0dJ4 BHIYDΠ)AmoEG燃Mu~M ~oqЂg' ]}$ Cy&4M|W7ئdeudAHG ãqf\'92"pg81Wsudه@w]ǑT/6v gKS=QV4bZthyMshv`@^ĵ0>*Q%|j^\4#1*@THOYEq p}}}67iAIc$QAbRrGa W2\𲉎-[њKL)d/B}$`nu3<'];W0ߕX6 HK(&Q/}dp1C|X񳗖bG,>x (di W8WLfmӳ|z58 A왢R/EF${`t^YǗ[*l]\j+L- Jϛ # O!_I T?9X> '_'XUrg%2ܥT(2 ‚IEp~[} K [<crPOg "ތɱti}J\@)Uh?dGڤgYZ  dh61A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id540941A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 7]D?7 {?:fH\2^7s˶/b,%lB /r HU쨥"_{WZy?q{둭wa5`T{4, v:ry} MMFKJWb]RJk}uyOm 82ۏ"ƷJ&߽f)Gu'!3EQ(bT椽zؑtܬDn[tqX .3ydj:\?~qom\|oh. lkFqäΐ$A^ y/A!mRx3|~p"Ըh3tBՎ/=8gYZs31A# tHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1H7F(*9q>h*(sy$)"Wʢ'4"C荋Tm*>o1c,TQҜ%4d4'#Jq]`\N07}ot71GVS?XUR(YI ]7*E`4+Sirk8A]W>zgBm!)\K{h(睻oyJ>{pӑ 0ͨi6aX"O@4r5,4Κ( KӮط!w5SÁ4%_+N_=G8H>eZY+gz ZxZ2.{<( !0H<MtzQyү3ꌭR7Bb?85}c^%~4щeLGJeMoMG<B_4#E)p5a˾ק))qp)JJ#ˉBv4p>Dn^%Z`\~x /W(»\PšPBʶb~c }^c9uv E輺VEhjōnA6& oL5;9)T8b`b@K~魹1i9JǾvGDRjobޚCEBXÑ _/d;sZpz۔OZsNk|P)Eȟs8ve Kwe ۹O=HNAٳJg{~2.Ld0\K;1\gͼOͬ6DAs]8ȄCAJӔdr`vRsޤ.*$Xi,7c !Nk}BdXˢ;DKyz//pQVӚF2sWnjYGO>cE߀4CKP(*QB 3fY0y iIԍqio N[ђ-+*#[su. d&Qkx Fd1=§`ү=\l Pa<zw{7{_߿J}D)3~(Q+w!sEygE|׶Y&Ul'ةeb۶B>QqIchF}ɔb^Ԁ茪i;f Qg(0՝`]0:qf8,ƛ;2 CK4`G*w@BV60xk:Rgg_:p'Qꥭ{hA@[/HNjqde;5<3uk׀hHUDBHx6߳cg 1̪Y;!} ߝSj~_yQ" Jjħ5ݶ"]ם`>=;ׁ&e} ++1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/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!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id $'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'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/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/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 z9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex M;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.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.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex *%sg%(U o + J w 0 M t+ -7g R A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idHH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesGF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupFE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesEK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idDF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesCD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupBC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/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=I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idonLj7*͈q̞m%fÉc ]X4$ z x%TE?!v%X#5훃gq eo@OĄPiK2)7FzWP.a`O/`si KmL%lKgCV?Ϧs7wF͢M0Q&IE$u&83xqF&LܨRR]cѬCzʘ8 Ь ><" eV6{R%-Kde7F]̌jJ`v7xU ;$\/W-٨j` k$*P.Cbb"b`GwaLwⅨpޔ:{J=ff?Ho uJ.dևބp~4V`ßG,aAQ?'<`޴6 TN7k"Q'@FJֆTfc|nzR ɕɫ ^a sֈCvHAŦV-CE2*%"%bˬ0C_/g<2:3x^e]wzW1ޕ6xxwfҟTKA[ uc~0ƠނTeښjl띬KrnrhG uEn?‡ dԗՄ_⹅|Jk="jKMJ\ȊKF,8l_+ٔ]{@.pypd4es5 k(V/3Mu{s6]k{K=75qbA#% 59|i`y.^R$=Uy *V(̶ߊPu[A?r#|Q/) ȩ$_DqEZ0b:'-xPr]KH痄܉-fnM~3DgvdO!g^B/r]s̓?ə[&0j|kz*l S)_ECҲLYY 'Rj Eweـw|%Wq>й343苽/xv("ۺ..#w>h 5-M[D`e@ح&O1x2jj QAv-rX6 G>Q$ER]HRs[ A3Pe6mÃ|| 6>vpfT9OYz8bvbQ σ|ɣ# Q]׏A.4t2"X/Κ@QQD_rmX2zeNH]TH-$AAT)-:UxwR~-R"Zwqd@T3.,wZ(ߋHybfIU/ kB@[&<y6[VRX@?W1-}kV?b ׭Ru6l+Agx߿l4~e}7[rU$| .yeMDfRUՋ D}h2PI"kUQ苷ד:2=ӜBS O˙ :/T)v`i75)+uk=AJ( @:,ʞT޲ս=ݾ`]Ac,y\/'8[ޅFzŰha(ME>z^ \4׫nM:PyMYrN<]q. AD6D#6JUpBtG_2[p+M.YZͽ)V'(5c}Bó?bqelI1 ;6NynOZ*轚ۯx: 9q lΊNlB"y^Ǜ wP$Wzz !&t)Xl+{S]dj6UWOBL9[c@nt5yFeؔ: `XogYZ ..G:1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&H]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S!ʤAx'3lj N„QOwpMT,H`FtcKDߌq5^,uYs|RE&Fv@tZuZo&ySfrLd.7f&.VYJވ/3*GBbLJճrinpM=#?UvP!4-ڧ$Q0nS0Nk)*u{ۚA8sSCW b,$|i,e*a=\ܠ$SCG )Z !M2r ֛\7Yϒ JV@zQvȚW.zb4XT͈vdoޜ) xU^\cن<5zR+Jkj~T66$YV!Ǡ KlJh;{ y${Ű)p{B Wvzasd`rR`Mv r"EM?I\.x^~ōܗfx<5sl\MҰ6-Zf8O~ $r3cyZAr/oo׾r]O*l֦%T-bX(6(Cqs.zR=ާl!@E:;`?]DQUTw ڙtpƊ&ːPbZޏ#H mmCcHfڲ5^ֶ;ݛkL4iV">AYǾ -o>Mk*fC4JIU^ݲ{{[d4-4R3yeLs$ Z}z41@'qdI{gڋ9i>=aZqsW=_[s!dL|^Oo8e842@WYx-s6I|fsAC-O8wP%iQao ҃ hښק5mu]/ǂuIYOL洵){Q8/޿i+9.rJ!ĄX}CpǎI5{G7Ҳx2g0GV Y`VB!޻oSKHڵ n xDZ\.c"xb^|@-lymmM#`>SGvoCi_7 FJ[wc 1hwҍW,9erEXߦ<=<3gZP63qٮk<23g[7gWۃܖ :tmf=rKגv "ud2,cMeQ&i}aJe%Ʊ!jlI}G<\_m֙@<'!_9+AB?15IsJpApIaa/+4He0i C':=&T~%\pKfIwM{Jvh\@k]5TYɇnZPdeOt;jDYj]Rqp![߃$U"2S56|"#(/o6YZ?G#\G3TwR^Uf6PCVgAڨu1a/cQOmpxCi8`:e3"k$82EZ BaĂV\\Ik^Gf >,|'@& 姚 E*mNjqg ה2k/c%گ0 B=s"D{ҖȲqUB@!R|g&tz'8ө_'v(.=v+N[g!V.=jey"}啂~E.l֥{EP"A!w&|\ms;7 \. % (WX_Ѿ8w*y}M!b6PouCD)&7? DӼ&o6*P]EbiMPi?@?)^)2ut6OhheƊT[;Րe5`&FXFsz*X3xp0w/imq9ԊMm}Ue$A9xr'OX J"4~zFGItߡ^_Dq#uG.l-G<ׇCK*% Ƃ$l<ߥ㚤u#*ĭ%jr`F"g8I~Q?MetjgH 'wW  ЈC>k2eau愠ö||P\Ն^}x'j-0)2sKujBS"ǎ'uXJPs\*o1?!ݳ2n - rn}v;E8hKɅ(b/v@(u8f ն+9 4[ A̘|.WK]&3'hNo 'cxTOM^ $̢蓋$\D#|YE tK1}ܲycn/:^.ߡmOѶ(o7;To|υ?qn=t`4 FӶ0Cga$B{+>Uނc~gl (- "(M( :+)-ۭ_A >wtS$u2 FdF6|eع+KK@*  !vvA1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM@1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id544D?1O' HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L9]D?7 {?:fH\6f׊=`q"1)# o``,nݮi(>aw"b|sKZ<ř xy+7G&O t>zR N,FGz9XN_7;;fӫp~ODUk(u6gYZ >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|<"nbi4sS.7צ.? jQ dO7-yi va^2Aso[\zBVt.4"![03N\U;*qÌu9ou-c6Z##  <.u{s%8OM!Q@.[fnm!a31u%RJl1J ~C.$EL>c#PQtBFo8(?[<|6ߒķ(:D&Ωa Dq{Qm ,g$Ef*L(H}~]292Aw٠`qMH+YZB%d;wR 3B@0G!x`& 6KWM+,l B۩'!ǵo@RP[~f8NR]-O1PT+LU>lܭMx ʯ[o'WpzȄ5C݇sYZy 6Llь I˛Q 4Uרj}z>m5\&oŌ%~RB&qqܐJ ݹ`" ])zK@UWoC?ֵ]L][(-%*LPI/aCZ5Ome5h]1'Dk" flUU}f<~ta~5ZSVD&dXsz0ݫF@BHލLŵr}r?Tf68VeSj1ʪ15FL&ٗ Q&0FzxaVSB/~eɈͩYhpS'Xrhۈ˹-&k {yI: f_(ԓD.C=O]η#Dnehd2)L"G 8-}ҋ kJ#Bέh'T˾?u#`욓=*͡fLM=`pT-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_id548;1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\y YlNEQVX8/Wc>E/H QɆ|o;j7Bs*x~.C:iy!:)}/nyu:^L|K#VEQ,VB >L*\PG24YG;ȥ 4; xq%aHԘ+ަ/;qKJ.pӹ. ZJ󞖺۔hrDgNjat.l=5I/sЏvfaXM -~48%I c,'gcǀJ9E Gwx4CH(zs& ~Pd_7UTKggYZfr:LH샃nHۋ1rf9T6ԛ ‚6-34>Ðו!l~Pnj|Px67U gG+}YHX)xt,x֞# Q} 6$Ty˾晫uuݴ 7BfHR0h&/)W\d4X\ߩc5~.zt \93:5jnNop|fBM;G<1`u)}\kXءcPȖu pN`r/ٙr9V=Y^ql3*;v)'`9 #q(-C j/*2ql(G* xp%}62ȓ5]KzrD}bɘ9 ۽:3AOB %'r)㟘芌Th&P?PaxY ~`c˪L6dn|!)\K^u3?8i( joy}^%iRTՋxtyjKNPiCt`YDɞy_Q|anK-eSZ(1DsfԄR<ٴ_}tLf6>tO5<8M _|SŠYf(sU]LU_Yzlm.|ct# 3ɻJ)>MsLd%4aU&VLhDlD\>-Lw>>YNq6lq:T<РO)Η`"Y<kOr/߲}MRRW=+$p*L7v^tZ =kVNeT(j~\1i]\{0ʣN%;QGw&wOJ1AAvvp<_bG H-I-yP5:k+?bS*LC -{:ZuꊑWRNSHv繦;&#԰KFP<ܿgu/r:EG HY'M2eNخ\rI.QDԣ{oju0,oH8ґ)c5$ܤp^;:~R. BH'R$ ٵ{DR.P]^wT)LZz@PaA!gKp*!)AS̙JKs%nrkc\6yROeJ cI4O#()>=+3 pk$ b#;N Ǝ+dXFlH :n'};;A1[ߊl*p?{xi ʴgٗ#DPU|VU&;v׹JT]kͼ|c&egOJ򸈔0 N_HsCES׼9eچh@[]7-zfN!c鮲B,LJ8\DݜZJ+lX{D 6n2cG5DaM ֆW Lc.4q-j.T qJFvWQX[(嬉Id gGQh)!>@ѝ$`j-%:hPX6^jbb7PT0jn1Sw?TposG_$}Ͱݿ%mZAh~r"N='x9k<80p'x,XgpJc"z/\}BzXyQS9 ؞=T6P8Q> tGoJ6\BLxk<J#W4!ٖ_z>/Vǯ"AAdOP6RqF[a2#?J)@?w Yg^RF_6è5jaRG߄^`wcIb.UF?wOӏCZew?>6^y]"='2DRx &j2&e BsL`éIv_%7Y:6TNͅjh~\Fzzy>6_-ccF +{8`ݎ"+N >&9|J[`~d^ԣ}?9-|{J ?'cjd&_>cfd[5kI2mhoVWbǿz /~x>+B"1 Ps#Wgptb חw5DpͤmTrVyųs~Y F&{-^];MFF@&"Ø`}sӁl&F.'lM]VLAp=lk¸x;g 5$7S$'s^ 'J qpF}ʑ*v t6xd7 NkxV ˖az%NtҚ'滷/{H]Sٲ8qVژ\ Yp|`EgO b3A-:9XV%mv%o5'sFjJ1ux'BdoReg78r,ʄ&$GW+ayϦR^uS: eR^9FF*q7xtϯo9q(l$SSǟo?XWՀlXqyXAG&f ֪PGCSB}[뢳,sTBh=6yVBfU_F-Mh:fWAV?aK!C~VBl[ NxsEzV:\vd_߿k)Ìb}ե|HP|ƛGO$ Ӟ)G3)Zu%2;aZZ7iWVuu IIj`s=Y@nh Q2,:!8z:KST/YZO7rp>˰?̘z'q1;0qT5 Wq{o 2]3yZ--UTvwHJpQ~ =9Օ/YѢ3rXDi ~0"<@RӢ5٩wx%39|?*wTo43  ۠7ZfclH\  .@`-PfmM~d92+VƪOahj'4Qs*6"t<&=p?zF ^9ұ3utyC_)OQs)|#\K-_YR]4⾔^r|hҁg **|5wgV¾JNJ\"tҭlyҠK nsvyUpZ g9Gvj/4WZ¢F̏"⹸/jPdCgD6-Td}0c+YHu"n!yMKwnYg`.dZп=ul1zȚ 1(A;S&![)Q'횮$s#Jܗٷ)܁|7g-%jcT,?IdwGi]kohV[:V 7qV|WX썥Lxm]i9߇4!jћڃs>MJFЪdunw1zɳd:D+lD T@jՀ:((WI5Oi~ǫEnǝGou/_=b8:m#In o/l3=l}YG zܥ8&"'nu҈AWS\ܓ;.heQ -~w̺W-3 GEi'!)$NXuJ#>:1/^_!tJ>v&]HZ m>-C(i48j ,t67SILOxOEA)x0Mb95C"Q̪W~ (&y5.JشxuӾcg'$1}զOXYvH56}%H FH'AcSW`L'TQbp\;xY򹇮BQ$cmVO}C]kȁcQ&"xe;daE/ѻlߒx5yrⲏ]osZ49m: _ fCVe4&p{AG+?[ēe"F=`|bi~M=f >lUo\y6lr{ &Rp1iXk_dQ_Z#/lne˺: :Q'Ҹ^pHv{PEgR(+OLxB{nEʃOyg(ݏ~Mn͓mM1 cBz/:9ZGs@smŗ<dƩՓƂR:\AfH/Gyl'r[&xoiBDḸno}/v3 2Vk=u&J*^NH1 d@recIzpwx#elD~uVjઆM炱gYZ   tE1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyOD1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524$C1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\8Bov :C6AOoJkNJE,3*b6ssS*usm oI7[ q hf4M)kzx1N8w8QU=G?'&N?lG@Mr:Ci>mΙ?PsȶgB$tHb 3VP_(p<~)?.#0};[6mW|KM Jp1ӎ"rAL[zc,їQD;E-{?Cc })wrV]5bӮS9ͨ{Jd+vc P>^4Dmh+ @%QLwu!7t%]o͹ {'߆ppC\,`f +iKv.7蝋lX}N z̕3c4%t>[vE 42 %>o E@ZY(y'X Y,6c!=\}ZښPYA6KPl?,@{:8;^!ٽBZKOD1'R頯c@p'̣$Zz7v!ŒkkpYBs|\XI?敢gYZ9 (߬yA(Le#\GfbxgK8}Um?[X'8?9q/ EIN+]9wSX!Q a U ) Ue~NϒP 3a #dzZ^ E.фQo)~-^DtMIÞ VP(eH-s%%+Uj7]0}3,_@P\1v:T.3٦ oSDduHc+ =_0oH=V,ZfpkXyO>wp"V#02[ezds"2A:8^E9-!O%?[=can~3ôI CLD7+ZaD~ U#}٧߂Y(:L tf*qkɖt5 ln$-݁谤7sbk]9JZh&::w:̧Cֱ۝` a R3cUPg>O>QXAz-` *W~ ,gzl$DBP,P@rYy?2l9{d<ڛL(!sLgwthyvB)k`.tzN]2 +W·n0MW#:\dX]QhHj{*dI-zШjmAj^6J=h])N igcKKVM\`fXE1}>*ށН ПfEXyKy,3at9D 7h?57 (i`փmL&.ۖ4U&/+|C&_m/;S.^B=eSm&mWmgoBpyPQGki :(tݧjψx}E"Hk \>AzG 3ρ﷏j$ g[sHJ/[ E U2X /q 嶁:yzlLQ!j.v@oOW#jX &eo;R='2?PCAޖ+)(߰E]Mj6 #6GR!n3fv'gS ZeQB:1E0"y'P>3wZzОьNtscգ=};bES7 A)Ul}%R"l/c˱ґ]hEsB_I=ՖdB-L[I(";X_zua)*TM;9<,cܺhZ|V#jf{3u.vӼh0Q*niAG$ch$2;gQiT/K)ԡE=tOQ簂5Po˟ȐO'L%P&}?ڸ;KDv쩩B[6JB*%!ŵL=ʦ$]XLƆ 5G`S3Xe=_iC 顆+pjkN&RD)Ά)6&?K![oP>2j4Wq,5Z3pCwXY_v22 i]5 )strBOx)!mm.*J[e q_Y$^2^wj/'cd- 2X${RyR Уl &j!lN?ՃUL;X@]4;GLcj>Dp>6Т_=iŁRY|_ԑ /p-@.ky~*XmnQW8m & @C'=y(p ҍ#рaG az3K^=KTa}K֭^ZfhftW=S\Ua!2&G*cDHiCM.ҍFĜgU9m{wvʕZFd8#:+~9`; ^jJFV+a~q@ /) s!|s/^;O8V VA?^ycY.V2x@(;W~QnS²h:zAD91U Z(P94uPI8>UGNP6mym"X!5 B *d$=`uE{{h_|~UKLlXCbpJz̷#e-?HvD>D]\`ջ 3v8?KbC]9w]F5a.x ӿz$1 ZN:H}̗,=/,1X?0.- 4jtb4&*8LA4Y.ގ*Qr:x84uq2kj:yPo`i #6p :RvLm &<7΁DV $IH(~+f (l~Š]~}Ցqp^5C٢`*&-l_mC2VE]qSe Qb%&maCi=L*G~O]kXkJ= !6Μ>Ψ$4EȜ<.Bc,Ӥ7ed˴Ce EQi C&m"N at_iv~7G Y<,2h@ Z C!Y5{9bϙ(`!uT3fPtӧ$>)}˓d\`2:C$% 3kfA[")l梙xɕk@**qg%UK2=خMKHH1zʿ@バEr=%*F@&~¨p;8}?;뭉Vyfd."?0[XfG<"̬w E$%N{irUrRbBIP[r}abc>T$&ytEo Yy1R菌!oɌy0m[ԶE OC/A9]ÅY$FMUO#k}~mxVQԵ#Bt F!DJ[<BfiFG;,'BM1ubB|F6}~S'S+ iOWQpdx/p:xFgYZ YYF1S# 4HOL-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ŅxшaX` \*ZN $TG Tmg'u"Q_Z՞pe~XO=LOvXށJQ! ͔ضP/ۜk6'"e"=b#х(z."->-uihy ZړDD4d:r`~2FDn<-h7bUOnb֓6"a^$4k:lZAǩGåcdu.j.U@nkk6wl2< ]>fW@jmJر/ i| baYsYˉKW_jkmjJ1uH8eI]EY,Or:KEM]J4>iFcꚇKHde 9g7E$ ;l23bN#v yNT5շM^@EZGSh7CMC(,$ ۸3Yy@.?}Н9b8LRUfQQuFM^d~4sqyٙ<y6']7qَZ?DkW: 6M0lbV$d{sp" ̢`n" PdxIlV%gM{5V$%rHxa_CC\+7l IЀ ,1;<{ ;\zjff '+ TZAB=ś^)@vk!.%cV+'`YWTXZakFNV8G[^Ί. )^Κu``̃}֖s#}SIDNjzW_Ek$G@zSVujqYۅǦS7S&E˔G>v3.9'T@__RAňyIOrUWL6#DFXר ݻ=hՆ9"dp\/J&R!Hb ˮ"yS >L@,$?Ҥ)̝N}\GE4 O?)Eq;5d%H (Os) .Ɨdf2\mVxtƘU]V%J"\|HS]+여{pG쾧'$7CgZ'1⪸ <S6Oj pvw\e5\V zcE~`墍3,A 9 {m!^bf tS W]of8<=AQhꧨ'twg-N |hWl4HZ&t}í ؏o.Y\~*d&d5gWqפXς?Y. GOgEM4џw09.0 L=5;eEWTF+sW>VYn0[/KԀt36Fy cW5ISļ7s=[. |@)2Q:_O}ٞOhO`ya!4=;y"H~3=O&d˷] $Σuyyx^Bc"~!!VP8%QR0 d_ʫSlX0;5[BS,dAK0' јtlF^6Ht k~GQIwU/c2s:FU 4=^\,hT]%D#;ofp> [Sad"\vs~XѾYWXN=Fہr=ex n_\ Y-0'uO%d \ݪ4!Ӂ$Dz6EAc܃: aFwGTw=`4VG:W`XIҪAVWh8H\\ moXV-|%ॶ[?r KQNMJPGBp0IXYmqUB?YX* !WִM`Kw%|zޑ|Vkqgf"n?u}̋ޭ)SUz}6?VHhlk}bh|G`/sfR@iwz7oGh1Sߥm)H7(8O}~OvH~'&z0  C `nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id5327K1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2,# lï>uS 6TYmʀxrM|dRX JL'h.1d\o(NS%v-#Wռ)ݍGdloϕ>[e5 bu" ʼĒ5t*[彴9aY)S}˩TA(e-m$e >f¬AO!+A8J=9lx-6ZyËZۊ]۩sK> .3wUiu*(x |auCH7~mjVb$S dkMD|f'̫.#jğfI$ڏ ͕n A@% ‥ F5cY JIVI8(ň=fį 氵&{2~Dž@ Kq?LÔ]w [Dhm[i܎AnZdth<;+7PW71va;>AzȦAIH&W9c;htGhfNa ?wy߆GqC﫧Crop(ڻy[[Vsiaґ_lBAxv$W~eQG?a]Gr:~XZUa(M'Eaݼ $P#h淫^R P:M:\b% `hY^`64I'~E8O>iCtA"H-ۯM[Y<2|q'breD'";p.,CzDEN#.:i=GoFZAئRlǶx`Uًȥ@% L?`?"%"z M+O֖w3 ~l2 .JG(+Ne'[s1,Yo<:w~wsqR.zɸ;pzl>TC3`G©*YWqxB]_* se|.~*OwqGGߑlqC [o-ĕlg|a^ ȩvm!E3j-6&Iѧ&Wp0~&s:㑾O {n'צxg%gu1F#Wf,M}ŀةu'C=8@Q߶[yp sa֜Z'6eT"ۀ_#!ZjPȻVBQ:y7@\A95vQ@K:ZJB)|!QzY6B}#9c,!s/_IHL{Tۊ氡`Ur;*DF=QڦɄՃR]11+jiZo߬ЗYmU¯ݦД_` BT˻G7FmWk }Y?f/2\lN I3'zWcº?OA$FE,l-9U:eq9ə_bAʋ?3QTf%9l\LϕA/ >}҂SJ S#ZԳ=?Tj3TOLK%H+& "?TM*Ӟ'\U~to>/^%=1uYM7 *gYZ>J 1E# HOL-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[#$[T#K'OKa-$5)mhrh~CDel}%Df̵-)b( XF+r0\|=;>]FA"Pc#9c8F#]̀1Ƹ3ψb}x81vb/6wM.w$JW eނT3jJi3KԆ^ '"ϿǢu_B!D" Pا a U* ;)疦M=T܂$xPYTkfNK=l%D^ CJȬOZilP(zgϫnWp+LË勓x͘~vDl@Ix?_6 ,{JX1AuC +D6FE,(*ҊTطMz)hUPXq}V_4ݿo"4]ugYZ4T#E ԯfGAd-(&g^O(CX1fs2$*]XBb3/v7\BMN-4 ;i( ?KZ#S:/юCx(qļdx¢괜⏍H&։3*:Jg?%*6)XK60 )r,6Ez$!Iu5䢛SzE 7 ybTKF"_*pwN6y̜-N% &J: .]E->.!8K/& D&jl}`rGpi}| x[D݀LQS;U Ngf&>krָu$ű]3l`o5q(\Afz [+s1M%bD)?88]B.<B."u <r t;-XIxoyc!>6fR,9*C%5 . 1kod=l@ٯhBj<̢5Ym{9h{4uV\޸G}#^q9 34,lC'zGj1RL۹lɧp'˰lbe߁8zghssU(:H \h[님s5QX'6G"GJtb;UP69y8̔ud}1/]}pOO|voDǷ5xJFvAZ7Kb͐#H)!6]i HΏ҈OX+uOKx|ʇeM]j0z =wzFExw }'Y;vb,nlY 쀘}9h&:En%")}[N{n\ސ m6""L$,Wms%P+gy`@G$0 w{2ä́)9v!:[{F.Gs("VTr}v!W/AO*Ey-r">Bo䧃evUS/$TߌNG(_k'Mh2v|#%my^e1f lIf }G #tA6#qny,Tn &fVI<qU-ղ\D3&h :/ovs'v2Qa3.qdC0H\ X/3daK$HL7@B`T/5/A0Mu_|2\*v&96?\{BPR' l0/PA,yZ*`C t%rR_VFeщQI@ uUXtT~e!6_z pYD?z"VLJ;j{ Y8PԈu d?Q=l׽MD6_&'\?_8zzTbe+CW Q=,r{p;f1Q)&=`ȂC{ ikŹjwcOŜ=@OTs^} pÒj'yWn)x%h^=o6P˦BJ 4@ ${d{55XyP3#9(jItbUV@SX Cu%P3o>aeL0N|c:{iMIGUpM~N\FCGXПx걧ZwuRdku,,}[z:G¼ %pv*2Bjի~0tx LJQ}q#o&4(X¹wtwE5`s^7YDb Haefmn~Sۆ),jAd0ֱ@pjY iLz TG|dY0ߓUV,+}ВoeB3b#el:jΒ(wc>$IJyT7ҫ?zM-ˉ.iQ>;z5zb=ww,zɃZFg.9|2wY?%+aqQj6haUCb!vk#N(S<֩=bbH2 sv0Yt-~h<wBa (PPD";Y}0.Ja`LL/W`qADȟVgh%BzՇJYTad>~nI;b,$9%VXxڡei*jI;)fcXjEX*toD0=oMF$73GۛWp;kN)p31kW 1Wyev.LlqvK}c&<*)hU"Xl&Z20[zС)uz>4 ֺRCOtf`3 ^ ۣKXIο |4wiV$k dT{Y`Ur>ֽ3A ,u&!!{TLCBM](CNǖM=ۓ}U4ªɆ*^ RLiDo_ϔyu1hIE1#y+pBI<ù-p;5lYR/a6bXo .Q%်<=yA.IN٬BVXXer127~+gIOP( `\oۚ2tg5XT/` C _ d\|t&sg`# =Zݎʜ%ל},ரY z;t>@Geߺp#@,>L~AM{2njڸ0 DNt8쫫yݪ~4`c_!_Ojfh .:B¦kŃIC… [^=y/A8&( 9?C~ s6opH C"51>ׄ34hppQVJiDw#f7ٽ_5`;MגzuұRpX:aJW@lm/2|!Lf ΄S]pe >%'0tkLֵ%/4FN o)I b#_A?T1L;+\TO+ mNS_>]`P>\5Jh" x8~ݼO@V#⮵YƎ)!,Œ!}rRUN4K $T)0щ:S/zӾu(xGRv(b d̎*=~OwJV<@NYHJiH F\\=菛ֺ:JAK`M_&}JE#쿒|l㧃xW\iGn wKI. eHȭX"[fǛ|w*JVι׊j@`Y9,Pi#>`Hܖ^'t%=I&z4ɃQ<18 " XUw)'!E-Pb5\{c(Dk{]o$<4[m}QұqؒCf# RYJ_ҏUqCn ͒>.#K QQI|C(E 臰S\W)XďU L\q"hS,O~tZJb G+)i*=R(K̭ML"ߵ%B(Yw 8;>> i^46{hp;4Ư-m  ,*vh[(?lrBОi"̩׹T ɹSҠ35 oRj4Zyq]_[) b /56&er1p=|8xL/D䎣ZTF1^qab>/,e-2|oMe-)ŷ#=Rf:_hڻXujSY!O|# LO tO'4۔%b-P-ة0p(ok ͖(+[5צQKtal68yXZ|a[]{2܅a&3Ą?a'$;o% i\,3-2H/Qnj 7V#)rmzm](qBJ8%ڊ>t/"*eLlwI*$(Q4aT~MolP9p89^tA ǰ"I UmH]t1 1"_W30RP|rvc'{񞙧:85ff @A, nbW1VjZX_2y*CC(" ;7 ([;bvc1NLO%@2٩T<`n̚NR}:O@=ȩAt޷.lF͏7{*%-mKFgD8na+J5>W{QL,qQe—͘e^9F^0fQ~/DE">+m,E+E z Y!.Q>]~ywE ғ ui /,X:좪"N ~(edOdPYdTa2M/|chq fb(?]ܦO\%m[(/i k=1]B,sAE7%ن#+e\J^*: 6XÈ8;<S˭\k;FN%ۚŘsoB˔s?> nj;vS0fԾM48FD1$AmJUN(ơj5]`nBc0bt p˴cfj@%3sLS+URAPw;NSc6,C  **b_ =,@yW&bRet N17UG_kXjqQ 1/ZEEBB>nP&qqߟ% ^LY8P l 3LV--a`J YigSfٜU>2ag:`%!u a06ľy1{+VJ :={ӑ0ӂNx39Y"Ә:3Oݛqa_~/D\NGX|Y9^xϓ471dJUߔ1sG躠!F<W1^ xwLЙJu9m ?o"w?O:ie?Ti8m6x+dxd'j~cDŽVޤ7R3=nȅ3!橒ɔϡ8n޻0*R& Ϯ2&$EA7s$9.} }ueǢЧ4+(urh9H>J# qD6g(&#N)ϗM߇g?P |(xv2J>,.HJ?w.J1O~tYuVs5 vy 6 GXODZ1EZ3|)~RW)墳"ReVe96Cp;ȞܿY|btQ*8~|8tؕHm0 AU$<:C}}K{~@,Dw:yfVLp!EM ёh0a'm^aim{e85WAQ,SgD-Q8S\{(,Kא%նO-`@kzƽPhOyL]tm̴DH$6UxG͘`wgRWRu>Ld[ݸ{1? 9qauTd+.QD  ` $3 E@,B@d_:h Pǝ+ LRbaUBB A+y*? nx4Ojʼ'n_R<7೺GhEɚ&s)^` ,Oe ~eAp\.kY}xƕio!D`͝@8j2Ʒ,n^dHutvE,OVq?!)ȇ|^*\FhA|I.M$ Jg[PʟGkέZJ'?۴]:J~~r$=2 l:`% A quE͈z,cm%.U0Ϲm'wE#Ky#EAtlץ!1T䣇~mQ5Ӣ ֿR$D5XȱL߭F^TzW^z!AUϒ):ʋuqA%pQ;1bt/ dPAjgl>E(.qˋ4;@YbxaΚy /lSOw1^%NCx# }soJ\%e@t9׮(m W\dU…` d _i^\J.ޢ>R|Ń[~Gur$ 91.JQoz3L/p$t` k!GbMN(Y5TEGjN un`ZfcHEZ]M]LX?yf_9%kM'w3!%{ˁOfd:l8p귥tU>B!Z>LDxMLPU#)Ц[O`lG yj ^IfEQhi,z,1i?UIL\u#wO7 > L:&&' pxR΂3;C"7~Xqߺ tu5,q/raXV~# Iw@id~\G&.1Sx st|}qF% 4\*Ɖh?gR3 s=^ʟےjdT4 {-Q4"ڸQB@e`҄y6Ӕ cq[$(<}FW(ύؗ\O_.8:l!̦1~tR?`9Fw ⲉ!@j찔`= B" ڶZ$KOXahup.J1R<4%@8ۻH3?{0>o}ˆws 2gX1稻/KB <jC!_~甖.;ޤzNXULjg!eџ}i8@P\:7 zP75cEb`<_|<Hbٹ\N1q,b[ëJ?;{L);4hg '%õIMD`YgfIɫdJGeVNߺL-1h~t?.'_gG!0nx+cͧ*Xy%0[T\*8U`ܓ7Q"66lCdhc(3VլF9V_R{VxerR,Bg7#f#,aMinA=i\5'H>?myq]Stɽ)Pe *:Zfk[: rE!Q חFA aZfˡ`%ԑM >@V_ck!YՍg0eK{}PJ;@>B `̲e:qjOf)Wu R5˩;^Ktp %=ʉ/lIy(ٓ_@Ut7%&9Z ?`EjtQl99FYɭRQKs%"12}%yWwEO ULŦ rY7\ s`i V/x>}:n"t+:}x;}IAKqefP&4GAc_: .P8^[1PoܠQqj|OgJ?J\x>nՕO-(8Q5:2.R/mw./QL jCŻ5b#$D m&;\ߥ,Y!RTg=_Gl5jE8C,ȧRR$s Ɨ t{M݇YŅ#vlCR0N2(bAQ%#Lݐf\>TDï^,NאÖH'E#n}PF=*S!̮;>)2q=Źo$/[a+> RJVgESB 0H?v K6V}J욼yUlxu(<.Q*5ܺ㝱*kt~ Ih.`\ҫMl00z@@ !xΩMhm ?hE$Ȝܟ'g-L%P䁔T.'N_-8pw1GP]`J%l*׶" uN!!M\ TbZm4QJ L9ތ 2;cI:yOEW=y:״UC@P8HAgqoX䰾czde0h2æ<~H*WY[ %pW{7 \ǀ*!CZ.At^CA)f.6tZi9YGSkeLJnTm@(_:{HL gGt>&ut\S; 1F7n|MԪ^y 9C3zks67ga"3in3订;LȰO[E&2;W Y߶Lmۑ<4F& *Q n.Z8_VhRعʞ{I,-c _hho{ #`4_ٹ+B^iRx1bw*^B;&O}y&.jXS!{S[fA^0+2겘;N3>ەl\A98x<5U; Db2Bo=:&i87" "^6HQyZplv5?_0kh[s9Mk4q #x𽭦-;-j#ĵh[)Nk8YՌGoڵ*t()xᡥfO[VˍukY,l!HTƷQ^6{odyPk#虾Uym 7sF>uOYP]/Fa.-q?mBLe3"%sn)٨z]~]90,&N: bࢵu&Kճvۻեa &'jqc6K$i;C {,V/&x&,K f2=zzALa5BohhޗeWmWRZK4+G~/$%,MTՀ!3(":+AK>xNgE PfVaE0݀!K(T ngdT7t9H6s+O%N"fJI^< *:Nq8 zK|h[%Dmβ1KMHs.]O0GCi?v uR_@EI4Fl<\1lGTeCv%!Y4饾~ U/Wy/CC$% UL=(b#]9q)/-h_+it ȚaQA~|N. j.#|.ʰpm(d)%(W:/:VejDiqzmV h$rqWν`9=B?2J=m_Vrω .%o-~Cn%UNeHWlƝ:spKHOHLqg vGX_M\p]n+cy6}Ui3\'R3bhS fu7gxV5}-_ &Q~})NtĿX Wd⽟Hra+LD*T rm)}ᐻC3%YLCgSA3#Gp_άwWhǬ6{JƦ^O$GXG8HEeNr|W*qVX!eq;KE 4}nqLYp#X}i{^A<Ѡ+7{SO%"~#o!izhwsC|D sj ɯO4NR-Uj|ClgE 6Vb '}JX)^tdlb),B]ۯgYZ^\uxK 0Eh9kI|ŊU"@W}+):L-ۑqD"y*$Ur#Ĉע&Y j'8VȾhf]@>XdO3nEdhBiC CCu沏𥔾4U)s(! H; hЉ oԺY?ٗP vlFˊ_F'Nt1yP ]v6W2[S\+CirTI?K[( NrU,ֱ4aiSr~ ~5ܣl]@Zqf#`HBt-V_Ga7"arABOz5qDW tgoi<'mL[Iq81^7"-}̩,31K.8/}NfnKrv-<MBY *CX ZS4;" "$J i#$DkعO[y 9d^U <5DSzѰ3[Gt&\nބΟxXTd|=+)9LY,(=o{/}qqI,qM̫!f9j22L@g'DuTApK ]d%E65T಑DxK$C&?ŽibVPݫ6= $_@'\Rm 5N~ 7rXu9+Q-5VY7twڜVẤ?jz k2AX )`(=( =+# [9N7?jfu-eAX$EfU"k_O6I"ytHHPhPѕv)sҘ,0  Y 9ڷ E'uDu[q씃}E/8<\s'&Cv6G_O" oۗn/^v5T|jQ-u'e;h $ ES{ůgpfB¦ gFMκ kʹm0!0 fEFXrSL_`ec`?krht0Bŗa^ZdsFz踮;2W8t|"V|ϩ bU/Sww@)W<.$-A X-U&`(RQC"aJO)`$:v;huN5W1?)VCEzvM~hN-hv[S2K5jz >{qΩI4n|VfjꝧfWIÿDmˮ>WJyxaMX M *7)Es =mof^NtZޡMhBUyك%Vaa;)٘J@7 $oUVlhn}@sS,\2ZK<,aK JCG&CFTh!j){+t~OBr\s3 rL'!ԖR< N(\tr#.F.]Nsc$7SySx)މY Pn}% !; ߴE@Zlh SH2/[,/2mlBw;/NnEM/} /]ڼ@Z@cӺ:h煬}Dľ-٭&SR, n ws 1=Sg؍2iDa(fy!Mj46/H`[r;27@oTf#@e7b9D!"fҌN 4g|n?do){16DGľA[a-^KaRIk4_"ӑߧ +VVEqEYAWS!۞(~"k/A^U0-gUO|h[*Xcъ)fs1Ve3tQ G=B6HLm[:녠 gKS׆f i;! &WZC@¬{33\ƦLxx3&gS*縥jC2ea4S>^Tˌ9]W c#`nZehCL"Q@{-H0KÒѕh)Is?mmwef$E [UxA*xB.oeǑiUezvag|=zF.A㛋R\[ء|v  dQ&K5.A' ;8JO+ h)xUDT;Wj8.3 TDj.K^4h6UYJU.UymKhm^ ۦxG?9~e? åUagMɷNEBB߾3̛U#}1VwΦs^/4ůD+94VVUPOHIs],k7ƙm|Lu>]1mV~|URNI%_a>SU!7̣⩬VD Z#_}FdccdXdmaE&*Y^u'%BG^coTµ^uu/S=v@xʽ_/8H 'U1HZwUe1iZMOMC$ڎYG7,tUD oebQF7R*~bVĢR|Cxn)|6+/Zčd<:Dgc &tMe`;1t}tB *oPsO`#Ё ?C )G!WN/+AqF$BeǐUG1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9jrdq%xr'3!n~q z2Yd[r,c߭SmBvi4G*-vnro~e'5J OmQj.f "u=rʆ) wHl>ޞ3TɡU[ݥF]'qUIBfi 0C]+$']o 5o ?hB*C iNKfќ Fjie!k`vHĠϞd0轈|E_(]%*Rjoό'ş&B f½2c(w:1"HR/06gbvkǯkn$ˡx193l 9K4d,~(^s*q7zb7Kz9B13-Dr!LhZupb ^,x(e_u dg9B1jkEC0k"wT}X~ҝnZo=1u`>P pxD$kQHkӿ2կjV9,__|jԾ̴\$&ʩCn;}p7WcTa@۫!נY]+.Ds>.LüL9({me$Q(PNZCj@5c7PHQ} ~O$O O^JA.¦ 8 P(55~J`8nI3So DZΦLܨok=SЉI{kDi;Zy]`jΊxBk,@nmQ "lq=s%[XKs2Ȯku/#"@F]@߂{zdjZ$dQBL Jt8XR 5+|XER9f=Fi J:]7$޽xI!G|XqLMW4[TMԒ;L. t4RF;Nu,+feèl{o;pRɶ-!v3B1&q!Z+hA-JMΰ]iMj<І2M6L޴xn8U% r2H\>0c0O-0ȗ$ջH㈒%mГe=O}9,0Ry'VSl^זUc90.5W &&ʐ0.>ߋDb 2Я}='e}*JaL<{WR -OoR^.9C+Z\]Ĺ,8h[XMNِ- r5BQB8=yp r:g )(eK&|z$վꊘ3tadVmj>Fj7(^mӥQ+RQuh IA||pw4f r6pO#Ww> J0)S7~.Qb@5TVȸoc7LI,UQ' nX[yՀP7tRu % =C~H9TOP{\,ПٴUjLX%Q8Vᝋ7 G N-FOĬPI~{ :cBdqx4~ZL k POO!pU**>IZyW4mdlf ` <ς"YIfBNWԥZy3:ͱ_B=pDIӊ]BH#Eeݟ]J:u抴l?HguJҊWG*J)a`_Bi 8R i`e,L= ȿ$0-Ell0ddQ+6OJAcs6pG5}vE8mKGF[ct23Hm2 j1b^ j=p8į}h+k6,fMOrbw5WY/XO8L}}>tK~i";}e/MG!n8EMGl2{ "lTd LCE|cq\% pr'chMMCy-̸7>Wd86~) ! /$Ȗ鴁MXF1G5="J7 kC18 ߉'ފQ74)jLb<99B:sn ͥm]ֻFmv*:3K3 2f۷\eb^r(AZr;תlꢸb5esA/HkRnn!בvѲBRHS&3%9"D~:q>AH9J5dnhO[wV޳׾1o=yAΓϫRN~1~D>ʙ>7.L~#V,""9?~Lo9|XgJ.`Nץ4— c`8)>sRHl+E:e;?ȂJw* r7LozuBZaFHW÷+<Ղc(ЏCԈH`8[0^vB^G#ˌE`6a@knDY6dDzw(ļv[g3p'4+S| |6ڔqA:wNo)4iXQod2Jّc[֨[zc@+Gdm"`Mv*nJ(.=|)r_<_H5 +ҩrcbdDEQ^%iC1ؒ c"G ; 9e"D0hV<0B;Mm  :'H&H:7]]T>^3҂h,iF w AmeN%Lr9eAz0|:$QyL37,Z$ؠcR%"~ 4az50h ]]4YouWə-Uפl"!^wy6 qa+xG gmîm[RH8)9Q)Ϊ6njg.J쎧s*l~~eUObGX5=؝ NQ5N7vzr׎ѧAGStR]db<#p(hsf]/'HV6XSȾZy^#s2Qk 6y;=)f@kѻdJQAKޚQ˕gXkԫfr^R92- a &|cc=ތ<2qâ!?8n$@)wJ].*%_0H _#~"ues`&BAj,/.(@Gw{W e,c]xe>D!י![!с !$PNu(8="yJpW')1l@N;%)kE~Y8P5̈́ч)kÞ\` u \.{.^K\ #2܏KP@}$hACdl^xnK)[!Zפ!2[*)xb/Fhme TA~~nY{r#|_kŢuwՓtMW9c?5b\d)*$["&\)֕ґ AP ]W`]") bDUIU-DZB9ޅA{l ^wve{Lm~8X&< OdsnC@עh90%PIrtmDTX=Avo-#,o/L9Va2\bB!{b''N?B D`azU x $|9R]ǂ%'0j^:`MlHx e6Lpyş!y-j!g9JfĀ1;RE+9UX&.Y[ɦ(Ni#^=CKCװΚQ[=duhobAGBT0+gC)on8CUPrvK':2Ȉb* XBL=>,;=k{T* bjkn"nUZ.!CH8ޱ_@SXזO"5Cd[S}Ō<(BA6IsNu'[fi!ɂhH9⠪L4ICCǼzMBZ| 9syL3А^:zgK>(sٙuoo7 d XQTS2mU{x E~m Ew G3h)qwօ1UH1zT5z~=Gw`Ӗ2!7@?)[*zP;̃Uzx`ݹtfzα *6 ~.zw"*a& z`zm}ا3A![%wZGBQ?;TE>qWe4> g~<ezx}G&o zO9%ճM)n{mj@o(b1矵^-WHdie U,awf R,ЇU CRЅ$B3٭F0Rؖx(Y`Vw2Y^Plz4Hϸ-mHVqəY%p'gYZ  :R1O# tHOL-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%E0Sl6Wv4Ț:q<;^]nI}LuG\$(C`Dt M̩[ҖiyƚYST&->.oV|P#ėfCͪ=+A@`U5e?VI<A:9| [O"UI)QVU zoq*[B1ǜ$[eɥ@FyiY +6*ѹ[[(V%Qu*&IxBbM+uӅ>2Zl.p>SSC'Jwqa3 Λ١e3`k6go=JmA 5_۩HH?(-r?=:=, ygMx[Hpn7y*,DV1N}J"ATHDN;X/v@(ߨ (j+.9<@ {3 5{~1R}XxYly'ά-2/l_WD&1rP(lrȗ0c qi ZaKWl@N<;*XXn  \=Do 0km8 A[.hdFPFkdQژegȽ0i*x湪/*+gpb伎jNhڼ+q[+t*ų>Կ&io`:0fΖ(ضq5 x.E -|Jjd a!GWx8A3b9UxT"ej/(9Y;;=pw߯}}T4r-0pǟY:[ݣhbͼGg`˝,E"QTL~t,ͤ?%ecy0 gs~ ?[$)j+Y_%l|ON^nA(f8E:xMP?  K[h*,3s8+OkKɾglf : /ڑ1dunX_qɤ ̺qGZMa+,B^HGh~: ըg:ݤ@FEC"1f@MWg2JN s'?t5׊&PvY \wB.h˷|lّսOɛ}Gө@fQxe#(zJ|1 =If:5%k!5Ki#ǫtd+kbި5^QtD4%SL͞&.x69#tZ`ŷhŞLLjߕZhrX)d>nG[NÑ s ťqF4:_"10 nH-s{",?rQפfExj&hy <% և֒\5Q @RVW(2sU-Ԇ6l B( !HKRd1[EZyNἅuYFeei6$zp._̶̼Z=P`HeMgeI>P[/Q_s"P ?OsjXeB7bSݾEpIh =I^@uuDe!t@D6ںb!{F}{Uڵv \#/s`ղEo(??c&Vn^Bw{& [m\ Lƀ]R"__}) 0-!|GKSaL]fPF%Z*}d]"yѭ:@RZk`+쾾iHLk̃YcJ2T"]dyM-uGAظE.v#_z4, اAoz2ؘ4\&L#Wn, 8+[O4M7WMr&誒fܒR6oㆹ?n"FMJbv'1U8p_*"{M/'!3H=7Gע[34_;)]MZOy*= ͆Ƨ@q UDy{݁9zTVjrNpd#6fހ@q\ v.Es@S Әpi>n\y(͎βBV-!BJ传^ےUs 8'yZGΠMFWxj38|fL@DsYocaSP^$7F: _;l܁{ U}Fxk%u@a-8Vh"Ahf-Sbq#ihcc*l 9\j<S㋨4A aFw%`x1bW7.I@('OC~|`! W gHk&[<>*xcj++4lqȮ `opVK=ջЦֵ)̛takXbuhH2͗ThطEԦ5k} 8?" \Cs3Ds|L]Fq]1S|̕5鴿0[J7Ft^ PSi(RLTKU>C[e-BC -dȭL<3d]Dv%W$Ht=Puw qŚIMu0"g^q^_h5q1Yҙ/N?'|B̅E/*Z*ZiN'֧]H$Q+7AQ=9L&-a}OjQ\r ɤ-N)%jsȝ$eş簂,$>rfԟpN@⸎([ D&2uS.K\/.c4 yH m-m%$UGU^Z~Js@@ 惼`rEq]bATtBY<$<*y\6)'"E\z@J @u[hoУa§TA6@KKt㒚e*;5s9V*$sɁ^^o}b []FOm~W]/,Vx^9OşG(a>cpj[Ex=Np#<=Ti)6VTlo|Bw连= =v-N _ qY+|Sv`{Ptq,"`Gd j, T]GxH8al[ .cP%LKZ*+mlrO> crz>v# _$>lgD6ƄX;8=k N9hg A{%qM )`7LY~5H`[lC'R,cQι!9j?a{:o*SY/Qg|D:{C!S`a8hpcB.x)e1HtngwJ9ǀȬrHc\~C1Ȩ7i8{#nRH4Qc̲ }:NknI0:*]&| [4#T43 R2hnKv$EDYE[;t͞ymUǬ:pQ@sc)g.Ÿ {LP\hQ(Nq33!ra H{Zż9C;\0 IeXr hwpBՎMF/ILgLk(XPyus[ 񙬅mE{N#|6[mF;j V7D&BZ _$%cNΝ挓pvCz}^5f}`Y= (FQ(:S.NtDmy%ytҕI-2ҀwuCm9B,(`~swUY){egPكD Tj Š۲R 7)ȐޯҊi ]? #h}iLL{UF*`!&- E; <DWp|kIߴ7;1M*`_fF34* O=L@ՙA/a Lh3. ^#glۑ=7ndr6c( 6X17.0B*hb60Wl8"ݟ6OK1vەk]- J1BhiZlM훔3{N3jM" IHds[afSڥoeZA]"xq1 +'ׯ6Tъ!ˠ"ݭW$gC_8n滥G_ʝ<D3BrYw%r=Y(TF^߅[BCHxlDy_Nѭ`ڭ>&cB% _ƐB~hT|^7ԴiFUolb2MѡrR@vZ/" l۰0䩅Ebܾ]&y>%lXW }o\} Z%k{v~8PB|U<h97RやtN?{PmXE~}#tm3OO*!cuaRmO 4% H_J4qpS+'u 7zݯl~Nz]pUVr5H)sΌx)7D_#k&\--mEk1z,C]#!./ =VרڝM|dݙ#,e 6F5oW.380dFwN²T{R.*_Di"(F#pRWIL{KuYj?`_X(=I8!ZAe:+uYL'莝j0~b]s7}F5A1x_A Ke}'x}u.ڪ4t u}CZ`LL,_Tm !z}&)h}J Pv_pzmo+ٮy}W=C-Ig~/Pʄ`CnQ@{xP')BQAK#-%*G,6oa4rӰ4j ]-azmEl4eC2 (tӉߒ Оo۝|4JΛȞO<+CL6ƇZOpx*N"' 3` xk(c0@[URA xt1\fMmk@ߣ:8OV QFPAµ`+ "-' [gx>VWL~F%}Zo=I1!0CCq,ãuisHc5`#}.ΡmmJ?6Q3ƛ6'瘘yͮyºW<Àʹ.XXY:VFZ'8:?Ҋ.shѭ{$ $hI wcU.+޹ekC6X"_V]33W´>>/(|EV?8`g*l.yE \yMAFsp~qY1ҫ<,LQ'̮7Qx=u zp1_"\^!svw~ +If!ZZYZkɧwz.ҲxK"|_W[OE)[#z{쩳T.Y6Qϙ4}O3z У͍96wayBq}`0QZfB2Fpx`\TsvN l%Ȕ MjH $=F7e_KUVTцÁ)8 +ٯS>(2r]p'dB⊹홄:< ^qڟڶ}@ Ā{=}29#dHpzy1w-lFaϣeO{ YUDײR=}n5z7qtZ2dujz JwSe=y7d~/-wI3J6]Cǝ6.KPFhyKX3i[]rOh%yzDiIj|DmofL,xuI,^Q_'l )dW4X7ܨ{f_5O.`bOW*d@}s,8n"Ui#C-wFt^_~@\#mm:w#J%_li],?eQ9-O7^;{BFmE`[G.bTI]iLR1-o+ȲaQpgEBXMQdO;d NEb=HyIO؊u.,cjJ @61BbW[lݘ( (D*a+Fd&P3ӑOAۮB&44و5kSgw݊ mo%P.'-(ujaQ%9hܹM X44C (c{ƤfEQt7\F^D-bJL@H`-- )ыU]bF;>*G= 3r%Di cw|΍Kcq$ٶǁm7l>)FLuѵGi۳\FMi}x=<x#$|H^Od $ʓ1&0S D%ԎO?SAd'|yV8ܤ)LZJHyiB?Mӽ|]QAD8uYRKmd{bgawjx!w*cP9IC|f; {Cp=e v|wKp"z+MQW2M;1Qjma)@zhM}4I)13fkȺ= LљMLN^]g$61|C1yb L܀G=`I13zM 9nR4kH4h3(&JU_YbͦųRd3nk'@KYXjlC{S."t3bqTd]B[ bhm]HR;W0UWM}Yc!y ܟp㬗&\vlk9-JSXp{:y;;צc:F' 6}U>eg˥hF^k]}OsL}9IV3XFq0s?#!:'Z_6_?&c|fwd IA[.!#5:jrXjEЪN =Bn@ fvn^_r$vbf[A.̵$ĉysA=.ˏlIQ8>@ ,lP_1/_͏2 ů#TdnePga|gڌvpꄑUW'VW# %e {Me2}v6уyŬZՈɧ#cP1Mi ђ/j Bit68^BOq*/#4Wg9L0*.26͇F-x)R)i α94(cDjJ~D3݀qȺb&5ƈHtk2%/7=}w`N-%F^b4MMPvQC*,?UQ3NWW/6tIԱ;;,@/N7Q$KG9.oowYxfs>}rPR 䉃%|hVln+{xg *L,>7#D͍i~֘~H%h$QAKNt_@?oGwy@xě= /oM#3 *. W?i7zҋc @ng_42$]ňnS\-p@ ZĐ.[. e^ii({F* 0#{s.x&s oXif.uw]/%=N!7Zbٽ SsH;vPe񄂺Yc9$BL2ܼ_bdgA.hwVfg!)3`l7yqdbSGJxxxЃ