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 X1zL LLgӬip&2A/!scM8W؇`_Wm j2|k%\YYjX &k]78<:REgDtQ0 `Ec<8K֔hoS?ۉIú; U`αLQWgP9tGV伔5SV@HF'YBc 2SՃIiZdL@.HZc4vߑze%sjPt'4TEq8Bdw݂83ZZBؒSOSe-fYVī[tzڍ'Ia!vɗ>d7Hc<@{67.ޥ!ݣIL逭 )YȀ LfWRb^ccR8kd78a[-,M]nQQY[ݿXNǗkR dnԾ;'! cY{vbQQ]ǭfW`(Z1êGc/eڇl-F`13{hn葝Wu(YvşNp$5/soOr@+Ҫ[r]eBNYA7 [(g8e3YBM*}]`pX/pp+)I__)uTШr}ve:*\dxҫf. O9}][d_ty`z&J0Iر1kEkS8ZZќ!+RЀ†i E1GIYWnx1y =}teyt 8mi'cF8e(}O:q=H_ =-ʷ~ڑ }y~Fۻ@hfb}nɠXpLѻKQ3_Еma=Qu$"I" ;;CQ.ʔ!)j l V]-X3 u^U#-Yo/68^3IC%>'$asT$m'ï:[~`K'f* 1=?y%-'WضR%^:NpV^9Eʋ(}hR8@ aˎ1(fЃg*d0Ha ,\e*ȶw 4nj[2"֡0Z㌬͆[I,6yuND8"s\|6e=L$brfP3XQu0):QOSa]4s J9-Uh#'QLU,2TL:VmDeQ ^ntXp#dĔ3PmZhWL1>Nmh#)GШ歨ii|݀c;Z>s 7sR+!= `xp߳**@ `וr3aͧnH E+]wmK? ɕζ2}B3XFUsJ[fQ/=PU_&hGL8ٱgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩxً ny?wE$ۡIYUoWh?Hfc4$#afeE BoCL5 U+ h1Ąqml܇u}kan ?J8'#HPgKmItH|\bA;r"Yv  = )¥k1n=@؄ uIJ&-̰7|*kdGq~ NTHGw}GIs+k47KTlT5ꦞSh |Zêhl/.6PK|PwsU5;d^QdؖccC~iTxQacudھmC3p45T9Nyc:xJsyN!SaH"!]=(ӤH{t,S0)kM(YyWLd/ ҷ1̈́SeETaC9RV0J ɾzr1Ek -ZE[e.Ս4#%)iLoz;҂9 ^ӂVeyܿ2mo{vmDg~Cl`sM*l6q:Lc+Q3zvl#vJd b qh<ŧ0OK2󴣘kqzWH>Գg5۽" qȑnJy&I~e%IX޵!De䰀$< 1 HOL-Corec_Examplest9~ytr1SG < 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]8M6I1E,>+7)6(3&2%/$.#+*&      .(G J  ^ k . 3p2 zH Vh ~ :  i|8`Y  ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/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_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#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!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#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_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-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.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/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_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.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.TLList_Friendsdocument/TLList_Friends.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HO-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,    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 mm1A5 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 bb.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`HgYZj1OC 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   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@߱gYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ v 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZJ 1OC 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 t0 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"RXfEl.(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  覱gYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ  } 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_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=(skHKB8j39ogYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ  J  Jv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id518d1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gq]8Cϛ죒Tju,4P#>FH2mp&*&phJnnm Wh6;%%zs1Kvs8;l{-0 WU7&QڕjNӭ% D5 *PB ~gkAX :a'T4'f4fCN ND")'ljڞtW r\bMa#_ɂ- 4bXl!MG$Fnoj*^#ɬC̀- V4PYDaU ӴD}G^?%<1_K:$[g<  =`g3J{P4w%GG] E,L %KZ72p X 2Hz[5[!C.|,lccB Ϝ,'?)'GaSnJ@ ^3_Xbx+K}G? wc'u2YՋs'睝Ur˄-aėkĮNFϸEUUrPA*Wvj<{DX Y _Ku=,z;l0+貵ACnu Ѧſsu1E3`s;(+K7P0SUӮׇ {s߲,QE}:Q'H9φ KR¸OkXpmf}` zr}^QH=zWWډؖsr1[36JCcxW!Y]Ǿ̃{_@_EHuDhZ[:Y\t1o |j 'uqs-DP=s-,șa\zqߤΛt+Հ "k%^M9 o]Iu-3=O sBt$%̚)F፝d4'aZ(,!JQ=쉘]ZjI|}ȸїmCAꢻ@Y s9ٸ$v;W`'YA_Y0WۼDJ T{)u.f2%I,^ǖ XZxb BgE̵;x@f77F^O Y5Epi)?M.q-l:lڝ/ji9,ũ|ὦb;1&q|!+W?*eNrz z}1)_ sVHѐ ^'YaMc[c6z[mJlﮄƄJN7:lѩ^fy/xgu(F7Xޔ~5"'i[-_>krz%(Ġ$2U ,*&"n~^D//xlY,iKچfd8i |2x ȬJNǙ"̇5{\L2"_̴o,@\1ch1)!Y6mQ fY%vЖIL9o_9! ŷǓ9cW)0L(7łLTZ< ^b6,hcWv n泉C@g8z$њ[)7h:> Lg|,()¾9A:Y-HזX4"v:Z m¡9)szIߢGbHoqfJ1|DbF's^M\9.'K58]H2nWŅ?7U(km^DS@I@tG&hP?:\^|q]LcۣsC޳/#fQOE Uf̭=G 3ԍhoUi?Pjvs1@er pg>^p݂.sFRTQso{!ԽN]-'ra7pU3`&& ‚GĠ 22RBp~H}2]Z˔EC3Śq<TWJT#+:T~Q 1 |C| 1JĊ ovww Va=}A;iaPQ`~ !ydx#;d1F=8gZ)p(/Q=8'R2f{$^T26᪲tUgYH*d{MZhg|L`p:=DË0*?ّ,5{-s.*i}G\Rl b HIHo _ MQ1g#ctVtL0 P,78 Κ l> T-crqL雝^ʋF"і1e$Etz-E,`<^8{lY>lUjrRܻ䌱^X)&$`r[++MѠNƩޙDh FWqkXM:\vG2V :)_.BE& >t9Bk.q s 1 x6z/@yY - F9YUT#쮾qrzK)^YUo1+o 'bƃ,L (nkDŽL/A~R51ͺF/g77Q$ =?֛/ Z+/0qS=&Gʧ1t' ~*qyi=i:QIomNe RkGRHgP~RV6w-"/c /&Ʃ]iCCL,"sO2S| fcq/K'kz|k?;_&$1=oSkaQ{P82lM $kKjyg!qNIK%2OJm0{`&6-^MTH$]ˬ!5|ݨF9q`m`BIK.MFBAT2nbU44=V\M z镇m~ rɈՍ% Cq]xo>RThފuqCo0HZ@J&xJ>y$<н} cyl[2]ayX΢yCԗ}[]"m 7Rک ;\D}n1F*c kL[fv纹V.wئd(| "j|vcYg_{:,1FUG^ρ àDNUf> 7NR(,tW=5JaLGӿ[f /??Iy3"ɂUdf?T҆VBsicmAKw֒CVGφy0jkOAU tΧD<~t4PP`"p}P$Lj]VLC[q;pӳK$У?/p†ChČG3"`.[4xuqc@¿P3J;p8|" {5M &Q *֮"W_x"→lK SN8˹nMē- hI? !rp s q ) %sh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5421A# (»\PšPBʶb~c }^c9uv a]{d^-CC-=aӰ%k;V\V>Oo VkZTqTo펃O Va=hsts*Dwwo/WIz˂pӓ}=ړe[SNNu2{3[`w_9^G%5Sd6k_qq w:k ѾNTRנ6h ^1cGPDplě򗄥Ya^L/C|hΨ[UuIw32['X(ϼaIYztnR@ߴص^0yz2@!BEJ%m )pr\c6éА&\'Nʉ~(KhM^a㾿KF?Uu<^6|2?@$뱩Ȕ;` 7{ټ$Y2VtPܚOBSB:gyuAFL.tVqz - 3N toxZ%29KX7-vFK`T,wB{g6d2eֱK'$r7Z)H LN {(J5rt THh]d]/ÍL{Y ujL>%ˋpSf ϾV6e]dE 5fyZ7WPX%X"ʑr~f6xċ2pY9k[zH1"J^?wgBimjS<=7CNF,P̻T"j((창_cˌݻ9O5puw[)]]dÓ6 T݄"##nz3Ie(-O99bx[ck=/dB+x?~fL!GvFiW$tm^xHj " ť`0f  hFY䒉)/sLyP8ZnQJ7 _`Q0vԐs k?1pk!B;ZJ6R0PS]]Be>4MP,dׅ pԱgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id538 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\62ŢU[QZ@:n dHCzw/bXp+kXˬB ZRPy-$%d -U_!%\~J޳ kpFW#,VQ:pRU 2kbʢPlEI'}).'ᝈp6 ǻ7ZG!&w7Ƕ@w\ v+IM^[-V,1OqDv5r2b9AE\PtQgZ@lOY忏(p=6} ٢QW&L+ëfs6kL r2,ԑȬj?hfWA_@qfi`9We̱#!nnU{0K2phd"E9ۼK}zG%1 Dž&nzh* 0QZ&.S7n䪵+[~4"gNv}[EnG1̼=eiDu$IlQ>Hd^$"r^vzĎu2{!RSBoRZv[.h@Bx__9f.ӛh~O1gJ蓄``(CN!1 Q#&r'eNuu%;e3#e78#C@)]-@dC;cD?žu<tGu_e6ೀh\߼pijFZlW~ѪPH[?q}[,TIrEsUps'x89Uxc$sƇEA·^!T_ Nű0s ڤ9M҄W͋H26$=Bv4fvu}T?@qB5 :#Ij!={vBAPuT(WvQߕ;Κ]Olۦ~;mR:l/E-f/.'藷ۭì.SDcb4g_d =,WQzq*ijOO5)aT<!xc3ebVjZicV5y({.ךdѺ9&Vx"c.$=m-. pdK9qK DbK2N=Q̛A=XkPUr.TѦT6'/DC}ݸU^Bcsr9 ݜt6hXɔ2VSS-w!f%TO苂sDUpT$'a9C%$z{{NRI[E"Kr1T>cO\CB1&f#. _}?<&AGbleyF^J,?K]eZRi^?ᆠ^ OFaU wJ@PHX>ZgsB eVXw+yhWsĞ0ӽLGwy<Ϧ__X?5"04a>nd1g3O CU AEḋEޗ-LP0Œ. -kg,&C]Y}0!DE|x=ᄫ~ƶI 3'MnaHO.kDz`q8<[xA۫ YLX17QLjPRSBW<.FJ&Z}Ni~~̾^̋; 1CGqhN'ėXY\r$"``FA~QVୃ񷢁TOifxz+iet(%Tc k!xl[E"@(f2j`faNtv;b!TԿ#xdKH'r-^N)TptH:m+HSxܸTVڞeRf[GfIx~-g`5g(-ӳs15+ yapqcrgGhjE!hpʤ8bESʧA&oh7Wz=OheAHF3^,Ǟ+ߤxSeh|u6{t%6n!|߳tmFp 2%s~m G:wijD-T%z߈̏v}v,EQo.[.? u[ŔпOq|pgsvJwy2zl/Ts*$ˍˆܓ>z6asmHtRUZK|mSTJ tk euEl%A5V6q֫?5ygYZ >1I# DHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2HE!j!;#s6+RNFgm 2T L ͻ˰ǫP-`b5vTƗDh৷eGA ?c!F3աVmd˵GࠖXLjrBuބ p Y_2`@,ecFh}ť?ve4M3uY2 %7ǂm IuwN##٣=˶r,36&  X-:\ҵLtCNH S oF,NQrp vxl9O?䓧d{!QŹD]vGe$UIwSu [\B>j9Su]FM o-aM-M=^5*nTxL(p$0ptޫDJ}z"+/eK`4P69fx噮 LWw㗅xڀؿDl.-0ҩʹИ~9`j2τ5ykOA?h'rm^ Gaxl2DŽ2ѕ ҁpK-PER "n5dIJ=|V h!IL4͡#6ƍ{$?GM1Ճհ81,}M`Ռհ1;KMu.p;GgAwc!dؠlyiƾso#y4:'KxQ: ٿ]4gߤ(@ѵT 7W+Q;h:[#LpP߉qIE^ Ml8 U섔_h"HV9St- )o"77X+( "/)< 8#c;[kx_8iG~m? c2iȓ^aP L 4%؊nb1*3u9KB g;p1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id5141A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ~]D?7 {?:fH\qS%YFQ\+s$Bt5`_haQ }X e}-e%*`YAt.RN>!Oht(*0VH74#O2=d"ԶYgA-vFЌw(+IJ]? xD± Z n7 wOeG.ԑr쥺yMc011ڡj*G봴4-5pf~m1P7BD/m~G4sG >OXS˟Wh9zG+G^H]Q}O7RG׉I.ut6FNwxwVus F+6a$ Q--U th6oVJ+מJ};dCn Ϣkaœ.d1JwL6IyϛZv(%lͤ}yk0QЀԛGgqN~`ƅ!w.%DC_5(e 9?D{Ίn]rK#aG Fb|T-xD8/N/:5 ':Chռa_$\o:Fe݆F . S/>@[s) `i.=5Y\ BZiD2B7 =ڮndu čU\) 'agx`Ҁf.:7+/ #9w۫]/'t`OW=+.  -/ړ*ͿݐW> jt}n3)1m}@<tE%^ yxBX_^+(eZDHB0G.4FE-u>jivwLKJI%Kv.7OgU;ӳ^n䲕0!HDh_}oml͍p톸D2IQņ4j%U6ud@w:sW fv\oV˓KKi?*HY ^m^8n*;~rm͊rY-ȸ y 0xFYkp( ]߁>1nSF᲼-=s~gTMfI`=2&zt ax,uW)z/9H htFh6:\Jr:qiX}`LbV>]=y = *eR ,aRDi+"a\P촰 -u [ KT$v\d0ߘ?@x2W\2K1`3v>IMԠjh>~D~_f݉;DƢ9jB/\_Qo5RJP8C:&l1ENbH+"W=/ڻt_\(t$ЬV4#xwf1騳X%0}\fer֍H x8sfQfrΦ8=5[g嵛eV!< r;׃jR@4.0lӴX!]`|!-  [oaDxǁD?(\KQBbZ uN3*\-/ւ,Y_ްVߠB"ğ͖Π"|R/ITAJ:-+ ٣JH H:h cQ성w<1"{ZKYuAO l*f@KBxhyG&W/ VbxɝEGqT%6`wsGLDٹf[tDq`?bC\+KeӸ<9WWDǭۇ;#5y˵p gYZMwwֵn hG#ǜ\[f3z,ybP}fn7ȓru֐8}3gyR: Vc9"45;7ez!@S]TZ 6!PxFԿ =ckLIT @EiӂÁh{Z[G^ 2os7 MLA򽻺c n{3:/vcK|$aUѨPBĄ,Y+e~bvi29;:6fz ) t_=J{}ƺjܧi8o_@Լȫ{ŦӋ/ 9oMS:dErqxTK0g|]$N%l,Q %$h*dG;+ t/j)#͂擛+tɤc*OgwYe,{(sh R#(˫T mh̬a)a}܏3oVC/=^#tfIBd/ĸ)hÊaR̝c9^jcYҒQ]|&.L?mV/plv!f]տ`\LօCy\K [U)Eds?Z=As]f\%]Ru4 nk&5[c{6Ry^gC1!QCRy\ :pؔ/QdM [SeI?F<ҭihD۷r)XM /n3UrK;4jBW6^'5\mHNEHSO"Rb)`T$ 1w E3evV:W23&o]W"-#z~kxn7" 6#n,"9c{Ac)9ؐhMf{*%7('ӹ3L6Lck yr'@>\sZvpPIt@%+@dVi963`* ؋D47!_мRU~舵9Za5# >Yv@n\&Α[2 ]rsim䶊wgĂQma#as2lrElviDnSe0HySjArt 1Ud63L}:T<#3egQMh6d(1te&mgO9 m) d$@NXXf@Il7L<S=GE{rӜ 6Ac  \/c&;V{ͮ;M]jc=/¸4c>P)㉋`ÝfIN#J4 :&YuWwUV ×Nrc/e4olZb5E9l3(k"j q.TRZ~fLΟфcUk HAS*_7%$! W٫@Zj'I{0GX5QT1mf4||dgb֤.Gh}cH g^X'FssEU *Q+iC8wxYɄ؉uQؿ3 %4J@3-\Jg<F7a"{c0I Xq taK'p*鍩kd%ǼWzQhUHZJd&MuIcEWqoHqqĝ`^p?=-q78_pm5DdII*/5g d\pSErF(ء=kܪy'd ]yC b뇨OZ = W1Yh_п_\< i8 `ÙWCNw/[Cr.yH/u➳v6˽يXNB~ZD!`#ᅹ&zߗ6> H=j?e-_k]jmu Bg &y:BH)7n~_&rOpLfܽL?z,7䥨)2ofok3N$Iݧ gnuKYNZ^2X*3iNF (9k_pxe>9DO@+܁;g}mKtI͝ RK[QNg{^S0"|{C z~~OFYGU924ԫ.Be;'rW3{@]U'/Ss˔ !0KVL"KynTe40~yHgFܹ46&)o$[i`iB/w!҄ nTK2DGv5Hb^c9F-qZ05Z"` ٙ>Cʎ%*4Q{F(Hvdړ 8A6q#eMT`..DZ6JxWp?nm-2V崂b.혺Ds ݘr5ޘ+ I9`>2cq~U D17%J* df1E7}/t:6<=Z UD6g 4z-e RQ6y fzC,+3~=2 :$ KDuSI1r1YMuCӔkC|=ĞX Y>Jԡ$YMA w9:-n4HAF"m勅Pw])!SWXjd]\#gY⹉-=!w>'@r\4;a D]HTSm?Ct)\qhGM~l"B`cY2l!5mW(ڢA nCSLm-tf˹FZ}S呄bo,+A0PBstdCe(:PXb%0LruԜ c8D#\m.n `]_!iN7eQV>k3fbL&b#}͂< 9°&z6&{,  eó`jx>M=9y FuE4y^oQC "[ǾOI^/ w󌫃n`Drkn N2]ԳS|QטdB%"d S /u>p^ /4Sï `o_£)WsAm|-#I:q*=>ABn0B`dy_[@I7-JeuC%'.psݯz![+Eg}MUD7u/VG>n]ыOBh݉wB] /9!!.Ut%ORBk)A]gb!m%#n+k@ɹbfyYAӷyƙ<^ y ױa*E谥5_Ϣx + c5y,hw |eYZ N=fäfwԫՀB(XΦۃu ޞ) 2jM"}z )++`"$ˏOB:w4<<;X^9"O'El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕto.)a! 4Y5ijM5 l}4*[,x,0%ףS並:(CJ!oVmw:N@BP{:)k\ hgޥ 3eD d!0DZx\>+[V?F5@I hG׉=҃7h_j{]9_4 w39sД'VhSIMJW!&<}b :g߉v>BkN9y&濝 xA-͓ SX*z2I^н*qpp;QRLa&@},%PS PWxmaKR.Ax'$wFe+)SNm &~@b&7CE9`zCn<_ԡT@n1ⱚ@,WFs %6u<&)x|"7%ưPFpNꍶA(.p%,# %ܭrvƕYNE:K-iuAW[gJX諐;8煰igsxRރd t͙N eY 4jAtRQE6m}r]m05o$hy}GGX$@qE;˓Q.~"G1ApX(~ ]+z)볣Xty9i\}I Cj;;"MD c HKlEKr^ .q Ɛf H:٢!,7٤6%[b~=`j-))2++5j~Hp"1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM!1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id522 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\6,H>zC.%hs6 %> `f*XS{e30$MZBᅏ.-p_iⰍar >Tc>/@F"Qv3ny>˒[G'lJ< Rxэ!)MqkĈ!@ceJ%9gcj2Fi埘6j>'?WO7Eϰcg uS6) d #GЭ M+lɹۀR+j*<;X4J_WztLg4x4j\{w I^.Y,H=eAKoӯ(3#&9nfa70H20aMV+J+at_/ChB`c}x`#:b }C-[CHI;d/ܱ`="B@gYZ7fQl8SҦzAh2,deY+O@?rV)YnjAJq`oMը^nc@\cU|7>4,y_ĉXH= P1lO|̅G3ῢJ,f嗒CX^0#wFƒHZ3Z;S%K La<3{Jb$:HHi0}'k ^a3RQ/SyyyҎ:~Z:`z9YbC ムIJ)RŌ2^r^,KFL\L#%P)’X!TY KOR: ?Yh(tq!os pt|*'u( EV>xK$D|H3pPRgn,`5/tt* Źwu $`Vm{Cby OL\h"#CfV+f]$5*JpDf(R3vIy~a"35:\ަZ8x]hMJQ8Gq&W: ȨXg5\TP_hȪZ2=EN3 uƮgX5$mOZ%e :I ioCZ.`MdNSgh8eGz=ٟ@ @7ͰÔ yeɆV?GBzxgv}xG#sпpl%Cu;ugu5`Eq1*){QLOB2! 6zKYt PRӳW4تJwsķ?hEs7bSZ?_$( k،NDܬdJCm;&6{ 2e`s9UPtծZ#wH:DJp. 7tv,Eljǀ̸jZߠK`R2Vvf:Pnee43:-~>4?-F;`EЩ{oJUPظɨOg.<9Jc$pI9 bN~SX7Zj|Ajb; @2^_4-pr&nqdo<871d[Z5ɨFii qHH_n8bIрt)P a^1iDd`biX5lZ &.{7$I(0.+yA ҜKoI+ĥE&a+h> "~߳=ջeezK dT*4906I\тiO Z%[1k.5_G1nfDo dΩcHZ/ WҜX^]I(}+ϧx]˨6ʾa ڑq40wo 8 Pwo*Q4qͱiA^bh譼r8| ؜O։ە)wԬCW1? ɓ;w2ZE#qR%%ElT/싓` jvQa=EKŚn}I9J?U|ֳ5 ĜbxʪNvΞ $b۱H7,Y 03K5ȁRRkMG VϺڊEM7@ZjxxHWVe4J Kvj*\_=̛l_iFU~J].U+C?"F4h/^ ̈́ŸBδyk&{(rVPS$BO%k/=aFsS'FT|SR8S % b sm .ȣb~-"I2'Arԭ޷~ 񧧫iTД}KWke{1ᵚ;d)HV0_xĪyBv/`t{'DgBJsnԴWR?< E}BykEDN/.ipxC:>*T:!&Ac,^ S܏‚? cn8-,mtrw.D,-GsR1xWda*,3o H*Og葼c#xN=xK@3}_u*K5(n}gT9b1:heMF"apʉ&d.dsoa9"8ʉtFܫS[{B%5EnvcDf@-uU|]elx\2"o#sV?ݱV8+ >>zPK[F|̼40t}Nq{Yj:fjA\α.K諵Pu)ZmC 5#:`!P aH'Q~RHK{@Ol<"rmHetX? /PQç&ŢJ 9pW'&/ORd f1.u7xloӪݒf]bBp p4{/-A 3m.6hѸӼbNʸ{^e_z*fs_my^bD"}'pQ$U|{-fϷVHPQ@Cj4CΩ^^B-$^i}Z=9/Ap9f4;~L0#{ NٸW|y\lcB`'bpFy_^ȰԸ$h19%:2`4+bkXi؂qŰ_aAY}?ѡ2{0O^:#&bw >H e-J7εH{82)w Ho!*yi,[%+ʃrTزC*ne-d,廒]i!)'Г܎[+-*VY:OfF1V *D9^9l4.\6)yψsNG,.`^tiܑ^Xg1`xnmf"˼xkG/>@$K xbuIBZ5y#i:,͛`KpϾ~3bwa9ilP,^5M.Sorw+5ē-_XǏY No:uaYy8:h,@u@~2Ť1h"i%#P :uijmG>Bd"y8guNﱭr#Dߩ%;gTw[& 7~3:dx=&AM(P<3`Nk;OHu6aƊf (ҀZ(A3d$_&zCpMGnC !{m ٷpJqkl>;2v4(ZYd$!ϘDޱ'TW bGivih nz :%ZC䠵.0UD=mGa<>5t_FaP']-$J]^>{0xך/FMFp T'k-5aa`79^aCeXLY(yϔ')Y1Xn6 {ܕەVZH6ndFq던 9,2io]H՟Y!F7Qypk7mut9rIp\k%ѭØUgjE'U K׬6I|gDv'9QMLOú7}770Z\Ф]hed܁Pw{hR4k5DM/omu.=2,RZx>r,̚_Fյ+Z5!A@o8.DBh-l.8S ȑ!Rf(V/1X$l<$x@_gl |[`!'YF͐Ѯ!9זWO`kEQhH@ż^oisgǹkr`?b'释0t L0qz̥׮kBY%Mf7&<_=`)(mꊆ*nӝY@e,YYm赈JhY?K,yESbnjgcӒsz;y OPoTՖCl! F9M)y*6~;(gTե sq³O؄P1~-Gy~&$99N  7~ LR47]'#BFmԐ2c~_XT.feDZ! A͑`qF3JLKDZs֣_-a X<ǡ*(Fj)a"`ӢHoBc9tF_/W>$uQ=IAwvt/g kK`ofJU<$W]-CF|(.է>*ѫ!3mE-OBRK@CIQns"&L 3)bW;OlUED= `dw pՂ1FT$t:y"[;Ym3mIۆt';5*. Z7~nKӲSGQx ԭpOƪB3,4uOW(3mp9U61c{gSj -#J7ˏkT&jc&`p8XF Ӆ;O>!J{Xw0~b!iZ맾)>Pʕ|\Cp"𞚩+J7䏁):0@Lh4ȭa#B,fbGsYG'څrcSd=MBc'PC<*O@sn>hEfͳV gszlx JO/ot8pņ^4?Bk_`qr?$r;k=BU !fr{LK-=|ˋ5 .rXywU@Ê#GI1zT+W{P6%p3pFH6R%Q1Psg M7F9#4?tGZ9 yn3xc-a԰6Q6vV6&Z;ؽ+u:}b:J֜4-n!71uD 9jgieƘeDX cF2tA鶖dOҾou{of UyDiTꌚڿАKE|o78&)6@48.!rw"|!e$^@!Ę*k84gO&ֿ2\J0 !ڵXFb1Y_EqK5.IEqd$NZ9lw[$@?*Y8.fVl3Bd)+>u(0NKexh)|A7;N;mq.0pP c34XƼ#[gl/u30v-<%tN*ptg}*ͯF*6yGn9FyA})ֳBΈxVfop` L{$!u*B.K!?RCfh@,C? 7~x5 `Jk w٠KyE7ATZـ`SVf4 ߃Sa V||e:3 kᨗv5*34 TxkBܝ󿢩y,;$Q&9xPQDV#1 8kBchBCc $E3j0Ihlc Mz :ixd.hpu5^.whT79)k*#"%1odTG<}5tksWEUzB|>J2dMZ%H|txsvN.=OU%xiQO%8#멱vG'W*s{)~?B[a6!Zz>YC$-_ N 0K֎ srIS|2z7WmRi~+{-͌{^=vi$(,' 0+;fwHs.ДIs9Chv^O#F&7#HY;W^/^I$na+@en -hq%# vYV8HpoVa8܍rNnx::j|+[=ku<{:Ko?t,~ s]ľOcTH%zc* "H-PRgYZ 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_id5309(1A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 5]D?7 {?:fH\u+S8ϥd -N2@i;\>HRq}TL'+n.qdl xw_=O/;5tHa3f"!|frd*?.D~.PV>M(s6L. F lשHIߵ\ANtq6ޅyXwZDx՞Ιku(w5.Z`؎U@yP]ܤT&4>8n-jmdfK4T|=qj[HA'l?sRYm6&XEwӎWۅ]|/x㪢32(JKEcwM,V;-%|̽wHpvVوKkOU^{ z֋0;A7rA5sMάcascT`P$Gg1zA|*XUpd0LnǧYx6.rw%I T8_)Jo2RD]㛜py?26ZnJrB|80i xnnOrW%#6[]́!B+4 Wp.emqO}gBJrc DGP˜lR0-u|[7&x8D˗eYSpjWx5a\>cFBur&ì.ʕ$E [,̃ 4DXDinf81P+/6QgYZs'1A# tHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1u kz?E;CPNe-z<'ylȪ.Vg?$aǟ[@v[#N *ry-?a&YFhDځDۆԛE5YT<&qh.@ ^8RDxU/ Q7$Dq9T02;Sñĕ4]fj^} [(qzz@4@凰JT @qc9lb$B=Snwk+f X{ \)ϻBɒ&ucW*CڱWO'Pۜo")&;?ܚfQ5t#"eǛ #\ja<K9y?[!eh_9B&<S b(@b 'UHeɟo uUfi2.RI}a3jjDX!| rM#왐L1,Sn˼yY&]Y?5\ ĮZN IͺfoWIg`CM 6=Lvs'аL LE-0Ů 2YRSŹ/}9\ap~}t]ҫA7׽uX#u} 9ūIar6h,ۓz/QK (Z-8#umL e@ xjДSRbzֲX &o/K m'OgonA*;<+an}_=4lFtz{f87;&HX:hncWuLvX(.=fcJZ@)#bj'zLl5:ѐDPņHFD ,VaWO0 Oλׁ"Wŵ=,g B uaT*u6SG+qQI hDr@^\Bq`] (Uv}+)$4?Wŕ(UCKGs( %%}Ҁv X$bQqT?΍Krcf^ *OHko=MLq&wk-c wo[@a-LWK):3?cK#p A7+9j`< >p~$/o'$qOK#ޡoW+kK{jJ I5x10)^!~hNRp)o$`<5WW8-M P@=1R &Pjna|C%^ figYZ-yHOԔ:prz"m Y*KKĮo]*\]ffU'YKѪ*?ԉEA/Y/۽=^ۣi=3\3{=}aב—݌N rF)@IN>aNGv.h]hhYt<;4^\d`%6q/:{7/W.0JSR=b:, 2hnNb?X'URҕl"]1; qtNy10= ҽJvڮZh%^p1+5,xΞKm9[J?*>.izx2b Jr06/ wvBQ@*!:[V^6C cq_ >Q~RJ Q$|8s]5"Svi߭E)0Ѥ><3Y|e7 N#ݣ0M0A0i[[)`Mi[}g};m *95|P`.OP '7a ɫңM_LatyU(CIsDFӷÔ\i/_l`:ȷpb&V9;+jݩK?w+wz ݩ= 5tI !(_:0 ڷ9M  T2lFB#_.[dy*$P2^fen%#E}y{񊽏-Wx׉_BpEEPcp>N I|%f&Caʀd&Fk$A,2cwK5Zhg?)8gJD0Rg|s)I[9U 8?!һ#"h\8Tsh:Њ{HW!ok6bw8BǶ\!&~_8} L\+.X4mJU(f'@? aѹFS{]d*25r@2bu3LpYRwLz>5I=εrD sԿ-iQ%WW,0q@F(o0fI1IC)$,B7`n\Iuߕ'ʚB&~{"WTjP23C6u ΋,A`d-й6:4N8H 9œ#NPO BY*ֲ8B$_]nbQžJPFoֿRφ;}:/2[ JI`"@+߈ڇq*,4Hy7hs&6W̯a|n=fIaE# !<:OR[i J iY_8RTH;*mN|1^_gp8aިV*)Xnbi 0՚(3.A}ANai? 4s o͚:Nw#d2&v_+p?tg/\ΙH 4noR` ]{Gmj+]˓o_=f[磤`LO 9).DC}݈԰83 ˋoWH͞[&m vfv7.䷞%2hPJbS27*AܫE4`%|W8'|VpLxOq\ڒcp$iR'J dgL6DiX]oKțYL\$e/-Vƕ{"HDJ]{U<֚d5N˄Bw810.Rj.-u|,@+"_MufhpAIp@t,}A< {K!o8hNpәO &zE-v",,S xՂ'' + ."m@^ "B&w,LBBV}rnF6ʸ8g!FoN0E5{C>& p6Тd+ޙ,֘f7[f㏇8=ិC6@0 TM67i5x9?4_;>M .:0hy@i %G"5YUsstg0MPw" \:5hN 88Fe  .|BW *&gxjO/ZNU 6kX\x9Yɡ.5_|"Q*&M&7U1L'UEvFF"YTڤ,ÙO&yz A32iq.і |lXǙ"xrOUFCҰPGhfE5?Jq27^z,gYr$i~D'1Mxw7gN#\{ EBkg*ס m7/~.&^ Ϥ[gƿ :8s9!^1ϐYC?F?\Z驥xꚂYI0'U|X˦wvs[ɷڧ ΁k!?LV#P6#k W[?;CW/֝'m -DOiDJeq8f^01 Cȋ̄X\%+/%y4w'+Cz%A|5qO+jGu}k3S}9jO^&_9ݔ җjޒ!?a.:X6ۭKp&_ SL|#l `N:A^gZyאWFrܦg#x瀤, zh_ǫrm. c`<8?hݰV [89p7^uܹB75H( ^[>eHc2v^@\s|}mJUA4_]pHQ vSł48VMT) J80TW)螠3K}ŏ\FS:a7`S{V 'I?jm~[{(H[;ȩE-+8ڣAB4νndE0QΉK3dB3V>Z b&?0VN/E qm>z7{dxaןٖ$+99\wAEH21pJjtە'DXLeTaT;Xf*8„ :BX2wwq~>Lea*Xp?#GxϣԠ통~a{-[|;Z].9ʣ[͏91n82U<z]7­Nf!t)K\7)7Z:{>Er禇q2G|f71,ݩ,h*2{"Չ|~u -#>/<<·߻'Uӈ8;읢 cn2ʎN%l:@PX[  angba\UpvClQAсhJu3ba=ow="邇GVvǾ+8S?vF/8V9Q+(jZ?}i:ԩ @& |Ȅ9{kN/08#HN ZGa~:F<VyJ No}[a3zS+ƊBf3n*Ȥ |c= \)~ZNs9FUȕ[rҏaC͠)\}; %.)b9T4A%f Bѝ{z.JI;^* 0:p_aN@_,%Av [ZfΜ  Il`Oc|/֎A*[]*KQJy׈?ym&4qI³Dv'UU>ڤN0Sm)2zHs!&v9l wL o8^oeWe.'֐al'ﮜݱ/\Ψ*C6.$+9C$jv- ۹='ڹZZ}ث Z\#Ijm@:[9V ' )dzQ<7)12VXTT dZh ι/xQ#sBG۵I\C) 'qIw3 z2*xFCGF֔qF\ ReR50Zy!q{RZ1^NX~O;lNL YsigqxHE$ 6 P>~4)|`֠|dK+$w &8 <np18oF|<ӎedz3:euT%RV _ܔ1puzdDH^:W?Һև1P^:ĭvr(/ J:[m 6گ&M7^kp>b`TGݪ3j?8|u7fv춞Rؖ@&"kow ;fPU=#χdѝ%aeB;$\r'gj텞xG*yWOQd>tKOU2c+@eiN-ɱc_cAɗ{[92)\Xg)K(Zī~e݊&sY( (spj\XjwK9 :H`.yyЍz,s`E*xdSebȨHL?M^νd VYi{8"WkHa94]>-+ Lkʢٖ"ú-]_f=pe|q`eR2*݌ߦ}:NV+-G p*8ȋ.Hͩrb@3 ُ|0O譓~`=Y CS$&ag1R)+f)8(&X2`눋i),v-n蠒[v&D+X(K]ca\ (5GL9윞r5 >"~70 Y>μ7^mpeG2.=UJe7Ivqɦ.o #݂?/yaw.X$wC,/_Ǭ2 8wsQ:<#LB[Z4^sjf6{i"]zœ(Q@8$,'7]䤟Mz7֮GV)*UrTx@ h&ᲝN(1:O`ڗ CZn#!)t|iPW JG7cK]ȭA5)s&S2Vj5#:*At8qߔT2-ŌY9t9ND"ɆOh(Tɶ[gUC9%^h*Y7 A7Ĭ/'s-7XzNT.w\P fzU4OĸCBwN2PmpHܔvHe+lxBc}d1cWk8\JdHG# = B ^ӧMX ybhs^vf$Kȵ=ҵ̘6ʏHZn+|ǗXO9 Q#_{NvU?LӚwNFn֜6gd6whc:EnT }s5:Jbh}]ל n$DP0D0Ri@:_s CfSt3$?!L.Vbˇ[+^W@%֙&cP'^t],&I"(]l^bf,ȸ\Y'B}34Ʒ5PjżѦ` )~4͊U6SKG㸑}6Q=fvQY#ӧs5&r8$:QR") y ?&'f+́n-zhJXyz(ϰu7x9ianeYkAR>}(Ĥ+R,Vߏ>h뀄^%F .$_LyxBvόaKCȯ-?iUxaЏbw :240>+ԔtO$10jbt.XFڝ0PW)HRCj2Ò+S!W[4c5.XoE,gV0qkTo{Cy f k:Wx65 AIc.)|ɱoAs ~h^b;3̾K؊}p[\/hyFT:jR3K \U7CDmU7؈(Wqұwa(JL(i,!kXWÔ'.Hz2 G (DXpDPUE +nKԖr5`))a:̝jc V-dv^=SԈC k+/^WD>r}X\3(m#yee!gqں1FCRYlX0b[dj|'m%cvìQDaϝ:y*ʛ{n*'ԀS*㞅OJX[>.5c`NdRzn+.K0 j?Xك 0g4M3A̋zXv^'O:GӍ3T!LCa'$r 5pd[v,bgLGMb1b( PC>iܓ6Gw/H9ѪP1z|^МQex;Ix?mW d* $-` !LW@7=a7v%>XQ- [f(Ȼncb]9U'0n[D#0b.̃<mnŠم_?NOD޺ *rw`RP `F-/9VĉMF7ְJ[?jYf'T" ?& 1FDtsS8 Nۑ\ / RfyttMܳ) 4:Z "D3pİ0 ލ3WM^Z9r GGFj]^`v4xU.rk&}U(r P!N7O55TΑ}骙g°(,r/W (Qw&25JѥνdSU) t3ӂ}ѲGW@ir@pR7<{~ v *^#3K~̆&A~2%r_MGJg/ Uaɮ:@([ Iݞ 74-\? I+܌B:\r@MhMLAęظF`$cL Y:u=OAU7OݣD,+/r^(  JaL-o}yɝnoqKHӠ}3l)nnAkST=G꧎hPK# \f<%T\"[!(h':t⭢ ~]We-) $v g'L VWc/uUOh*p p_DS=AvFmM}3PLU}OJ;ZkA<:k1 bȶⵂNO9}γB%OˬuT6#TcO/61/-n~v{dX)QPE7S# =yh>/Q X85I.[?VlNƃ9\DV?5FQ$15' 'IU ק]^} |!Rtl;n윆"N'<]/_OKt5jdvK]uĞ-nc5\En}h}61G7 q<['u Cj8a%J`ծF\ PQP􀮉P1E֥nx Mzo5"..0VQPDU~f Cۿ%oix߫C/GPO`${Z/C"Ȉ/21c!i$Ō$#\2=>ӑ#=%W HzV@=<=]9.KPv[ҨixPϤ>Y _)g]B{;;|̣ɒl}192@I6]Tx<+v\[ߔX>Z[׉Kr, %NQ:;ХN17~+Mk0axrQ* ]ik1I<,]Q$ۗsS8u!6]J%acbֈSRd69n ֶnj6x?QOʐLÂ|(!ɾ)COoEh0=Q {P2<3^z+?gMh2`,G1Ww2/l:CQJCPT쟶Qrmw*1\U}'.й1a)CE ګ97i`@O}upH ZtltRrF5K+~ J90ó!!7ZT` !"iտ*B㤓ᰍ@e_O{m\\DjJi`z~fq'|O2c}5L.\ k L3rWmwt8-:#?nv,3u(L%ֱ@33ݚ4~j&J|}@ah+[#[FF7j捌05 6|H{ -a]~q1Z8|yAvsEBU %"f)Җ T pvo>5ڤK 5h%fS[o! 7ªyԝ1~!>ⅽX=T_/(zK8 L&uA(ȏ,a$Vrd+ \皏 e Д7[$E0}[i,ةNB-bo"ܨ4J !ؿ 75_ %ue~c15K/5Bgba?/4NDZ9Mf{fa`d/ON>+yZn;^u'WW4EzFzyS \z\1˄mI/oN!8pmb㨮C,5T,A#vJcᐮSvcyق ߛq_4ǵ4S9q(8(_km^3)[;&l]wᛔC` ^SXt9T M<=`1 6xA,DL{Gg Mc!W7劻=>^ń}IO8~nS`5)05h;QC^`[;-]95Mi)߄n[o _F|P~TTx% :o6 Z< .}~'-^*ƒK8[_/dlޭDGIɕhJ%3"=)س#g< @=9hj2ݥVɖFm)tBը6uV_gPgF1f7TqZM`Δ^S?l!nFS S.0JMvŕDwn-;[iwlf 8.e]4ȅr c>C4E_9!~{X%Qz*DD!Z,lxu/uNAn v1_ba7]kUikQL{,dY' 8ƤckJzPV>=$a镄]3qp9Ky5i>ISv/xdy"~BTw]39i"%ӂVuFSDpX&7ݽ[,hAϟzo.:w"qa2Y#-1ow Z=)Lh77%mEm܍ª?ƽ.N 0Y@z5]QS0hOư{~Ϟ:hgIzEg/~̶LMb%2pZpaO?GҙQ9?DuQbSFS\CӹX$Y` ^;ܻYW& ׁ/=C~Jka͘4HAd2FEz'r,d6fLqMѹ̒\2Ed{Ol㡤(1i~&bKIVW&ܰp$1~j. 73qx`)acf|2t{*QO& $C.IZ4J;D6M4+ M!@>WM #˥rbl`:pE1VٔAg)[Te,{Ԏ{|# 43w} ;/!TEϻD>zFW 3eaF/,{b}=EZ h57_|͂q-xWu0䄟C>ħM{CS;zLw9W8&u8s __ RZ%I)5[5˅(_rSKU(5k96M`,ko^i &ZQDi;JsOR/a٨h0`:R>י XۭG5_+{ IGOoTvL_xjQ ˃{{1dqKH؁ʕ@&'&l (&%%7,⮟hfD'0:WQ`B [ZV1=eP1!CYLdwsB)kJv7@Ei`K'ң~ТIi26NN7}~3J[l:iDҭEPo%7?sOW|@ U#Iuu_vM&َ˶^kryu@F>sZa/x*L<[1:E>C υB`5>&*zS?&{x_jіԛ8>,czE5]jFhX#8%mO423wV: Jl|SyOk"tEUPIIgq@ eUCXذSmX0yGx^ه{} ND7:@zԄ"Ro^IjB\ghOliAYS)GGf3J*Q A4r$TXd|E %<=Dcc>8)ӄuꤙ!Z\qd& z%(pYTGa ܌jP2PftU<'J"9u>Nv$IۘqAb;]?v*j[:ltEjb!s\rC" 1-Ia̭*՘K#'S-ܧaښqG ΅p"`hw<)6?FK.;ASGF7˚ץt࿢P;$ᄐR3}:K HDI> vM'dw/E'@JRGvb٤E \~EkQ]SBG;c [ ;y$!H{TAc:;uE& дp.R̿"R^;%[[rrgBviV;'{PJI)PA{}L:\A2j='\T|qcΉ7/G z$%_cs W[ȜKڒl,M HAʋfPptC^< &3 (3jT'&E 8Z@yn#YlaN% w5B ;ӘB%=Il}-dTrj"\\ҽ"rGo h.d6rrbȣW͎%lٟPݯltld54)$K 6ЭL%`%3($PE;Kni%Z&5`+WwPbG q##6NԜ 4.—d-pNJ&[5{4rn^ fFQꪣ5[(P߼PXs+^״BpxԀFmwj^nuK nWܩ']DO60 0oQ v^,PdvwHWx$ :ś:UX\K`JiY1tqH"5*]ʰO#>NmO=P|/iQHŹ0§z$cwQ@"LF UP}nk]eͰ2Hnx= BO/J"᫰fmF:fr ! X!]ěD.Dk}5 Bm74*?1*RJs`lٵ?##q ,XS,êgxvK0.-RIRt|. זپxtE|JPH~/>n_߱Um((8Wߨ3 sf)TzSfmWPA'{&#AS}ykLƛk_4S6Ŋ pg9t{oz!sfn$725V b c0o(_]C 2GQB$1&4X§ŷ{O:0OcN$G4?$?bq/) cB}4hH7-C֠!Sf>[ͯ1.CF\bD8/-f<¨ԩ!j$w5B;j [d{s@ 6BS4>VX]5#vᆜ%Z+Hv6gxyj3lo^䗊sS53] le j$GZl=B@sN & 2ΉOlʐ 3oȹLxs>g+aD )pyvupj^ jri 48Pׯ&N)B)wN4d ^! [&.ng#!@Q/(LKO839 Ir0B 3]ᭈ xDfk P|Q{bidoWQ?Rtwcr+b~;9 E]JCA4͉=fB -r*zajx@`+-P~3" +=맆{]`xѠ qi$\,*I|}c&?/B 9e Q%u]]E䌗fj)P`^;l / 5m^I #(R@DT{FO.̂W16#_E;ovdv*\g]w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tia]E­uD?5s_kOecC+ъE9dWvm?SS0cP8Ք8Č)yeݦÁ FQD6g^KrX|zh_ -֯ 1G>ŜQB].S`vTD w_沜Z<Y~ŽPyאi9Zn뻖W'<'L_t͈;'^-1OE්k[?' kV ¼pH+m p k#i97\}j7J<ItG7ci{83V9H3W#պ+ȃƱz.ԅQC듡)֌uy$tl~{XK/)i+jcکK{-/+aUlk[ݿ-&{0-(R)61&@Y,b<}Tjckh/fnKG፛Z+܀#פ1Z2Z8^Di|(V#@R& ;ǀe4k|D~K$y1[Dsڋ@L:In\hW-OsQS%mZ[iB˒Ǔ8n9U 4}yVH_3KŸ#oSL5v*:%WX7n+/"pn1áim&dL'^*^xBZrsaASC؀=Y UrDj χ,yWUyuLbs3ud#D(#o3i5@Т]_Gv[P"oRoGN:X=AI#kj&M%~Rc-[m1}Kdt#npĈxqfNBKdWZRX%݊q /`>3]kQ ?k5Ą7LTKTeՉ`Bt7!U27əb?(-Sr3PrZ3o>d3<–s!ћ4Jԩ<gO5"H}3%gy+1[&'BazStLU}ࡔZU_) S2*TF'?BH5N>E7䟁ǜ[ >!5$:66U"1ϑ zǝ(UF)+6<_ 7NE.GG#,r!(?P.;>97_xm5֒SdA}#P<5Ȱ}|nVBHZ·/3Hc|7J'P_}αg"]wA|pcdOޓj.{_Ax1qWo@ : p?w8bgug?M1Z!@ծ]F_pU+ $%N$+#ť,bc Na!]|u{d[m\JIBnjP)Y{w)D8-]Yg m %NOv]J—Ud8[Ҍl:n믆O+OK$k :pWy刏z_#LHf961usK/j` Hș[f%Ͱ/}24rB5%+x{ %+é>!d$Qy Ѵ0r~TKH? $4cCQ3}\%D"Rli3Se+hՓŭ)tE΄~9IC3$!f'_>+G*gV 5|g:\_*b _e7ԛ rTeCRrm瓛.;睬!G7:gGSb2n{z|:J: :1jT'$e^<{{e,S&K?DCP ";nhIr|[K<^˱<ϫì%3n4YM *ON R#$6-|J[dCn7&޾^BE(7IJT&܎M0j bC. pڛNh]?uV2uغ^Q`9byM~z%HYT݉&",@Yp*>Ejj&ߕxʑW%ߏ#%KbUEc$5gnZZ 5J][G޶]jc.DŽ݀2R"#U ۹9 H, 3gWɁį*yxEE0mv^|BM>vܙ9DT0TMÃg8.G LB\ow'6I{c᪕fq#z9fv -D|2Nj?}zk=KEtK]T~(ܫ/ B8vG2{5UU.a.--׋aQ$dEF.֋y%h&cKt8y!]LLgjvX &''郫]'*RÛ4}T>XI2-%Ҟ0ZPGg^ 0"hM0WnO8BnAJXLmq? ``jPBB %'nSoay0dw6rRw3vGv v#y Y%R}x:~K296W"–\"U9d3Rs[BtR -%2%=u U,RoI]jy)WUcmZ7ޕ&cj|^o\'$sm? ٚxΎܭJӐH DuLkq$I\0΅`'([Zw19|r O^ lsr]3,ygtj#GDf> 950`G7{As1f)ǐ ]7>FĂN}Jb (|^tgYZ v/1O# lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! n]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBYTLxR$)%&aYk],uV{ !]7+'P&K3gĊ.UY铕lgGaXV yR~㞕+itHm J]gQ|/IȞk ]=ZqllWa>M^|Ñڳrpo|z|PJ$< &$Χla;^ AIҳ#*qL A)U+n%mUU?^k J +(NМ݅k & $V)VZ姘\kOr'#f`#Fk1j&RO/keggTI%hqσшP,0d%MGtԩ`,R o*Q׿˴\F Ո5b ?XfM:=?Pj-H0%{ :˺2sED~͟PXz&dE /$&@G0S@;5b|+ivHGJԧ7^D6ψ lXQĸpѹmU(ѩ.W./IxL_ Zw%>3Pe2& ){?i*BepT6RJȫ[fE2@0\fv&2b:Dz^yIN(S w"N/SŸ/^rab:C`"A֮&MK)Y|qKx(2\pͣ'{Y}o:pX{}m,Y+F*5ms~$j `fJmI{"hDWKͯ]B_[[qX *'yǙZbQ4L_ ~6R2Z8ꤨ`޳YnjNTkޗ\?U_aSj,C5;7!o *\-P(CG*Nԧކz;s (cQ6/3rF@r{1ri ̇İqMdB))^pJ!^[ A,v:۳J7e[ i^KkRG~S|RX!d+C_?W98Y<ReznX5vzݼ]-H\T$VyoE2ߟF:rD:BT?Z\&?I H&\s( PDܙ PWpQJrU#~FqD@ e¥)A^Mr'fzk`ncC<+J5l,UطJò,jv`QzϪ}d_WYC03g`[:+=f.cS34 Q Цoq]0 uX%=&51^rY1.nxMVͥ/)5,RX{#-kQ4{j$p+I %Z۱0#P29aS>y~, xxTږtg%3v{ .{ȶ{&fX߀hmE`=襬so=Mr=L|zm!_upRgR\; W@GZE:zоIXGV?D-Ty ;ʁX&n] lYvy۴>b݊BFs~(`} w4%@|g7(>K 5b P|S!OfV3B7©|WN9]'DքgXЦdef>'H?Sh|o.N"LVͺdn\YPgWgW,)B}GSv7F9npYعV2op S+ V{6<&5xsa_^]B%|$5ƒ.d#8ϷprM^YLst {A"23/͙q{P&/OMM˖G ߛ)߲-gyU@\ pDL&|`+u`dcsNӓ< iE̠yjJ3lߌ̌lZغ Ϧ`n֝Y˸ڠE#OwEu[j!SC OSֆdTгw;ߌ 'Gqdޣ1vq)$/?nK [gU,;J91IȖLu:+;p=]B I=I}4:TU >J{ u-5󚳢5kb2L3˨h.l`&XQOPg8d{$v3`Id4rc+sCуP'& Wo`̈|a6B~75ۺulh3Go)<~_ &i@gmR e['&ZJ\d['L-owp'7}OGai#Ax:gpq%hti7ȓO[7Ɩ%]z<.Ws R8DȳϪҚS山X $jgeSP^y>gYZ   t21S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO11S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id520 01O' VO<c75\HTȇ GJ3 +}F&~~rnѢɃwgf*D(lH,(?]|wBx.q ]%+vFTJt8mdo#,v,Wrsk'LAZF@!^QZ6] H=cs(b, ;Ow!gTnoYϩ-qyeq=-DV<<OQi}JmmS' no059R^afgL7NCx__UENS ?@%MI MJp8*ؼj&T<]`3)p:A64O<*;P&2g9WwK?A;"_b -΃'iQ_nm_0b YSBu8yP0AJtbnݭq3uek۳:`ktjT%ۤv5_@0=^CQei3R{7'lY+P<7]$N(W^%IPϥgj y0d湟9{$ 4<%%Vd퇥૒~fwCń K#KuL3!F|6I.a˫ Uks"~t7Ҡ))J1ᙥ&W qgYTCJ{FN,CaLP@3zР]*m~|iUm61ć n_r28JP)r#lp3RS6SJ{}O.`AH ǯ#'j-ac뵉 QC6q_nv4z4 *7).5沏^0ޠ 得ό0V;$c'z`?ޟHrůdsR'\ߋƬ `VXǂgu^k%6$yx VFc :4WsRt/t} hnpX7qD^5Kl MQ6>PR'yuw?dJy@}z(є'_eWxJ5ƀ !}9a c3/HE- XQAPt l(qjtzӟCϋt-Y=r"+ <sH:HXH]n)G 8 UH]z Ru4t@Vt@l1HB?P<hhI!EDT8jCUR0lMIȖ,gV H0͘©;2Su2gwQհ/S+dE|S@J9O?ltwَ6eEC%bsxU[3 HOmŢ~YRM>R9y%)F>Z ׄS`j!DP1@T%K>~}V(+%jՇ5V!ѐ-a?,3(fyTl!ݷ+; dRr\ek/iLPڜ1M: X#ʼFg~O{}dng=y˟M>6ds/;Jjc׭xy!ͥx7l#0HdZ+ׂ PԆ~^`]E '*FPl0eiE]k0s0S## +]zND\TʸC񴳙@# FKԭKaľ>\oWRYT2yi8Sn4jLDvÓP\(4Gkr F`(/ڗR"mX`j^,H_s Ri'FC=8/T9T5O-b1caѷKm!zƩ &h1EJ[zE BHqk| zA 8B5)dIF[W ;˫ԄƢlvootAW`q& K7߼y%mW` vrn`{;!![I)*MpZ6<٧gT%\΅W]\zIצPR Kc[*l؁8tHzc^[V=5Ah]J<w7ֈ cNt6N4*ՆA2i#[ҡޑxaO͛P;1R,\Q9]~?Sz+m ~^QzM}08EE[ˡu֨+{91v-b9$+ GGLV2SpwD醬AŎ( |~%,ï6Jj26PBnU'I0Gl_WZO۷x]"WOI#[ٞ/;A(S+_|M_)dXO^ -MU8O$1 [A>//oN_+>"eItcdv<>th1=O9fwtA[Ρzi_OwдQ5\kHǎGϏUv3ܕ`N= vLnLKN~uo; UzM5eoPtümVF! GMf>b[PۧX\F)@<^QtK^\‹peKN( x->az|xrfW^@DP;zaLցLj1a)ޥ].'RDق=~R{}FzgLRA*iY<]k;Sw 5F]5x՜RA.Wj>% /K%79PIv카ޗu1oX[xkvd!}HԘbsq2 q㬣5lr;HSGXz;:;J-efQ" .i=0g[\3$ >LY9 iN ji}9Ef^eKa]~zoL-E]źd :OAaR(8j%@e} H-ҿ׬P̍j-=С_ǭ3u_zv o]wT|hZNַdL!.ml0/arxP_ ?vGNfb*Au)@gWMjdJxVA,)5n+՝ n> n x{&$gTҕf6:O(jA/RlQ q,:E#;YT~IpjɄS&!W cBzƒZ;7h ܺ%i LhDrEHJ37>U7phGxm)}׋y`P Tm<20=`J 6No5_k;2_\1Z4|YKP6"9Pf)Kj77i!vm[k%<"}]Y!tXNk`;A93Ah tj%iIBqj CQW{s~g/>0I?"lt+O0RKE_*䡅>TلlxHehJN _P& 1US#XkEˑ`y3H\".Bw$ǬQƱl+Ĵ劽fR,8$O|#7jw/ OEt= IVĠŐZ.Kd95Cj,eWuJJ̯<| u]\guGj6sܕY=0Pi[-W™Û=XIɳܾ V;,!qׁ!:V] m̖NNYC;<Džyճ=˲l!OwO σ^_F[!S?H™5,3#]9ĸAi'Nl%ͅ;p>D^iҌhm$8GJ7~O7C({?\/~:l)oK;hļ|E7i0kx슩)z1ܸBߺl}Oۍ3瑿\O,fty.ߘ$9]5!=\H5|H2W@SzF 0C|v2عn78K4$3]"׭tjJ]dy$+Lհ3*>ϸF2 a31W>S0x_|Mw螞:];f8͌sVy5Ca˿ M|%3.](Ƥ*{!&ޢS*D{D Leս)8~1SulnjhF9C*$!>\+K[fBE I6(QϗEaH}GzJd\=ey84Yq/ %&!"73.c4K*DY2ʜŻ5*66n^zv0t*&屉 Tze294g2SN@qH-In/ ~dԅ[Ƅ ߪewP3X>#ԕ+>& 'T[9wd+%vIEӿy|ޗHS} >܄4e4HrH`cfp Elzj:1׍F5G RnV{Z^C@qMRPH||1'@k*j >׏pVFhw=Rb/*1V,D$8{X;۲u9rۋM#Hz8~7 HrIjG^2r4L F)8 6#Hh PG_Tee̔~*RDhRwgV0@cIyt k@|LrSOq# gNL Nler{_Z~aQE0DƧ['xXrrO/۟yt1n2\UU[JÚ/_~Pd/689W˳./0 o0L}x=C#p3K^Un<'*v+rۻgx4W PC-r+AD&E8}? cvC{Ja_ܳN$-8a42zsbbQBir+Eq`WH_ca|OOo{- +RO):ѥSA+S%y\A+ /.{V ,)f* OO ZD%#/ `_rmseD˅Z9v эpʊ(>t(`zHicE>&ˬk9"IYB#f+&?rh߫$wwkʞk$MSKK_!Ť~i=DF T?OݺT=W(xMڝ쨋},1T2#ZoӚĦ7܁XW 3j,TmI0URw23] ^Oo` O6n: 3D~Kthۅ;1:azN| +MV|.[SJ:a(n$5 CW$& s bGV䰙jys3/u>xfF&.*ԐyԊH򜋟%W\dXH¶CGkؔ9C}V@Q{y".jtR̀dR$yKLzAdV6 ATj7^ߪDS10"^҅zKrvED"LZ= zIl¼Ȕ6zVO+W_C~f"7b3*Y>? KjBȮOH{@f?رb_ڍ%׍ ]E$Ty 0lr6QX^i&-(%r;~CŽ]+uXӅt0k߹z:^1&@:əjm-C9~C5$:k9!(r 1s`.6MAQ_΅|/3Cw!3ZfO;zϤ̺mLd"J۬M"L#4Z$Qc}0H]|u&C<$G/c;cavސr qM,{GIc$_URn5t`wApHORa#w+Q fo3kVtg[mފqP+Q!xaL\[XUЀg]} -(SKfҙC\HR 4Ek7Q?n6[AְX6cEL[k /1N$;Ûb_e=*+A#7cocDhEnT;סcIHFΑbXOW.db -x&Ff GXBS'SݗL]`/T1gh4s͚V)8 EU{L,8v>ckWJNbX\ `nCͶ@qu^`fБ2+`= W_ BF-`*Xd5/|-Rt %ۭzѓleMcvh!RzON6Rj@~qg0q =|pM[VϋjAh -v1 # '­GI2D^ELDR*k-odӗKe<GXbt?BDֻz'CMU^ q"DW+=a=U\ ;Z= N1sM`Fͨ_4'L Q=71fFT8OCprZ[^Pc^9i+"?/Z(b[${6s+>lW,m^I8WCPłxT;X=mZ!x|z[0ܣ]d&2ҌkiEete+ch*Nx:.{HCkFQ*n=]fV5RǮJ햭UF@9?-%˚ImVflHI>!ԣ>1Cf^,K!ox%w}Z a9k+L[O_AT`Kq> Ru}v-g/SJ9 eƵ53a8h}W@?KA4;1wH>k.l.椥f;R1Z6yVK#g9t/ynw~*M?ĨkLE>MCw00[{gByW-qfkK =I q%r׶r9^*X.Ct(]JZ{nW?Xb8=8vޗνw @a)mދh~S}'9 Ex(F`fM|%LJzU֔L_Z %2rw\DG'̓Y9U5=⭬| &{%RoxXĂiQaS못BGmvb3lZ豹-d %i DV`2ܲׯ0}05QL;#@~b=I~ p#_7 ZF$-b*T 2_5e8 .J}LR;S;кa5Kl=1hAGyNEEA(RWtf|)"n(b$AK~ŁQ^HkM1̓dwHh^0WKFk'g]1A\QrW]U,k"ec3h2"oo=d4/l?cI|+6X Š&'~% ؾ>Uu.,O|D%H:DO)}ۆ@ZMqvQ;髤\Q9A03eKhG~H @5zBE|[z>nugxs!E45}!hUX ^9X&T5 :ZI +67)N{ /OA)ܦo9(ozl;wluJK7cYXCu5H$m-@$Ȉ­e#1ـ5cN9l/MIe.c%o T\,msPRm~Xd_|tmykB ,#p &Б 屫5J_qܻU-28KCnQ+H,&>7PF%i2DU+ Q&OtGXr878BЙ!㇮,cL` 3X*O1us(0z|6}y~#V *aѾDJ`Į,PXc"`nҗ.7|w=]IIJ:,-9D@hf`Լɽ&=ȟH"YrT 4=xn8b(_n dA\–.eA9"ږ$wQ,y9`'i+o[=;kX 4ϮO®/ &aKrѤ+/ ȅ !O΁0HM'_Ԭ3x]kX#kb%)ǷHݲ pUoM*߁TxЪP[hȲңFAUfq :$msZOȴo% ^G;`~o5qP]w)+2)'Ȩ;|F!MAF'Sd"a3 k[Kon^F.J$?.]Q9µI<ϭm3iMI+i7#>-Խk#?^fg;/7{rH.iiWۦ^2$b4 p.\oVώ68Tml0 UY F]_$"!ZhL$|>}jj#r}40థR% ?<4GzdޙCoRȯ$2sa: %ۂ;׬KnEcv*1Su3,vK4olဧ'̞gn<^#E9\W83c2 m.rR)[K'_^iFCn5AL6 + P)Sצ$+EbZm+\G}j!5"1[(ZxSbx+,aY' ;FѠR e: lCy‘(7K9Bǐp ,α,=.>7H1bohޓZo;pߖTx1oK=UQe < g>0J8}ϯR!ڧ̝9G?`lD1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524@<1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L6]D?7 {?:fH\â<2~9xyH٠YMAorqIKQ+nh?B7Pκ;~_w ǒFcjFٔ8ٽDՉ=ҙ}p}+MF4啽~NYMI:u;g鹙h~zN=H I6Jj31[f3Sw72!Ricmx0s-grKr<]oE<9ta` ZZB S2l­fZu+(V3[cٝ:$7p:ċn[ؠ }=5z]Fg7HXT3ޱvbTA)-|ԠH osթs -%R_'[i01{s3LJ$X uRnE- Y]K?C쬤%ӯ hINɈ 1<ͫ8F8P"GagYW|Ü8A ,860P(݄5X>'ޓ9mXXyk;d.a9%fOqYbj r=er$?pXma .[j>B8zL=kО3 DE+gYZ;1O# HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt|`V, \b>4a z+A͉lFJf~"C"f; LeG"n%gDkkҕwWWi*H,P/{X@ ߲=v?D_F+E/~ɐ%2SO^c :DFdw>l 2};Gr@"/v:1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM91O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id54481A' ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7V`GR E:$J -GPz5qɈħU0uo4b!wy)@PMťmRk8*ľmF2G!07}Q#'Q(C ]|O1" ⚤fD;c~U nȨ6TB![CP;B`5#KkjMz?@iO$ٝF&p{hNhw)\%}l1wՕ3OhD>Œb#bcmQEb!nqt| D5JUh^*8yQi 4we(t}֖JE˗w_d"?֧vɕoWd5_IfW| y2ľvpهag]a$5UJʂ޸;v8Mp@tWcgQfXhb7.[ҫȍԩ%B7f^$`u1BCag0e/.ci4aA[jHEHf4!4)rd>\ XR$ͮ H C12ȱgYZ (z5 j(G J  w ^ k . 3p2 1 zH  i|8`Y  ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5&'HOL-Corec_ExamplesHOL-Corec_Exam@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idG=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupB<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesAB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id@D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup?C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files>I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=?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_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% 'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#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_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-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.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idh9HOL-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_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex ;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-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 )gL j P m ( 7g 7 d  | 6 M EaF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesRD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupQC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesPI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idOB1G'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_idKA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesF?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages]ݮ ( vwYDQBVy6ahbH+?pFPPҶMqL]9@JI8u ?'eQn0te蜙WH\@~&f f(Tbt.y756*30,plxߐg.![tS&tP#b>?hLuI1NoQ, bF@uR:>[}Z ؄H|O.[ "ʙj`)4(XU&BEzM}or 3HghnsDsRɣn"u.| wf]kj};B iJCa2]X80+y_䧸?lR/w^INX\6@w]lbc՞YFvL7?6`r>EuW谡⿉x$oB֘I$# o\e>cnzD1Mw(;Ċimvs4]C[X2{1p%uur͵/3sĉ`+j$wPxAoU%rjLUNg]s۬TNlX` }ȵ_KKJ@_Da'5D"#h@x5k}n#XNj  M!u-g`ƜV o6llbuumc'eX (ʞ~4EBq~YMiL_kӾ6}C|v% GYW zo|4)q7k$t9)%73(Z p̏Dmt@ DImqQ jBbNFkFJFqw9$J"b[E©b[DR> Ӹ𿘍fX}sV^v/ /32V M"SV4+imGT_tYq_ XKOfI6n׃ A16*d 9Xڅp=b H:n|Qevr+^Nw.1ݬanp>q)E6 yԕ)[65+>m(iY,$HL80ޮ2n5K.tYoZܲV㊢{O՝'CG\LgRt 5DuHOtY(4|?#YCeS~<b2b_6oWFR3G pݽ#2T,, 2%i\HۋߐߞnI«J4rnUn lAaV?&h*<^07Mh)tF00;i Yxv:xRE[~ц.F0]*졑ϵ JξDAzCu(`}c5b"MjN!c٪}{{ 0 C X̠70,f}k9C⣳:%y@yMIzt6%Lc7>xF`.+e&6?tU3y3`8 %1q*! 7 ,wwM峬S 3QUPtKzಭ># tx*SR}ύDGC Nq#/pդbWqV^58_#+G}l?wƔy^^Zhi)f!qxGx/"ޤOFLm]3-O2ffnގ/сUrҚnC'XRKnR89agֽ&Y2 }oE]};n*i_ZscvL]Ȋq?_ {훐a;,M]3Pz$(܃2zjʱQ RT;9DO[Ï%YՔctf)gH5.ȩ[ GE󱶎@-: WRkf;@ צpU5+J'U5Gp}vo3iMœϏz<ʠ1sDc[:7DEet-lM:!uri)=_sIHR$MxS}oz#7MtCJS[S|I:^DZF̳tuɴU~i1 6f*He&)^ |5pZ7QCSkʒ:ew.0,t*M) Xx[W*[!z;\=5v,25ƘT*Uh\Y?8l܌kWBV?SH_x>H(u,QMBi~WX$:ZBsw0Sbl[.sP͂RZ\,T6|g c`8H7]6Uw!af<<;8>6ϊ ܍:HR(O;YMT8p-TPo> >MF a]sɼk=j&'G=fcb6|XZOSjp6cIhE%taqn$~6Kݭӈu Y$!߻}XޖJɺSQ*3q ty&]ƈި' s JO,$gx>2~g4n6m.ΌDU߆R2 Ǧ]DIjT͏1+j/ ;͇$JŔ[{`=3Gm 3O2D)BF;u5$^SD]톌2dĞpm#WQљ;M X@rΟY$uJIm`2?J%u+BRIu=u{vН3 ~Ch)sr6j;MT"Sf%.sкd}Dl 5DEsIaH ^_[pfNCizI\N: 2d}Ю#~@ZzQjփ<[yJcyeέm6Iڋ#v]4я|Xf3}p  ݷDMƆu9oR͡OFnxNlX8|ZX ̵ G0m  .֟ɼgE.O#fÛ,_ E2䀭 ] 57 & pگNP3olE˛p{SW)fUYUek YtcWrѮF5=$bP W;c髨!? )$Jp+A 1τ;B嬊Mx6:H?Ȓr5L'/fET-?Ԭi+IKAE3i!fH)r&J')IDҌ7[Es+w}+XT"٠d<<|P&ܑe!?:XɹrFѱ}a[ '!&0X ]RxP-077mӯ nCѠUU9[SRl W}+&nv=,k6mz'J=͌ XIN)r>}F˔O;B0C#Dmm=G 5ć\NNǃTsi㴥|h&MˤW,D< 2kz;8)<Z}2޷^7Z!gC$Sݹ?a+(SS_T,?|*L6{s;Ѷ*F.bN{b sUZ:|s'>^;٣"6mgK'RGIpe5sRO`~q{J?R7tPB^6P;-XI[Gwߑwr;4WQbJ EyC+߬\n4mhM*+ Renb0T.[\ZVyoK5ѹލBU=er){0!QUP?1&FO|'#J2[)XV+UOd\-^AAb |~(FܳgUV eӃ._]7<%*s1sz`!sS={aNWq[6M/6osCBg!O ޗcdtKʟԿuK-C@Kq8 \.6**faEl>oH9qV NN9`8ܹ`yQ?Vk[d@.ܕT~@ރ^Ydml >-uL@;B("nȾg}4GnT:bZ=I܈mܜо{Ur|c8'IfPa!A(?LgjN$n @]il=X gP\F5y&]Sx8O;yZT!F΋yw9\_!5H$Hk]Cf{y :S8kӢOCL"p*k֢ek&, ̓fܮFH3jJ*<ώ o_rPC-9B)dܤfv)զt[ln } !{e>Iܻ7tGj/#WDT:=S(L/R\g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[6 KHTa/PFLnAl毙6 # v%*3*18`hsbB4|2k'x Q\#4"0 ɠ&@x74[W$Ag(I8^(»\PšPBʶb~c }^c9uv a]{d^-CC-=aӰ%k;V\V>Oo VkZTqTo펃O Va=hsts*Dwwo/WIz˂pӓ}=ړe[SNNu2{3[`w_9^G%5Sd6k_qq w*8Hj_n߁-V{?$;I6hSgݳ;VC+>3܄n ]_zY+!k'o.fW)Z,lB@ަ|ӼboDP> O [ޚ1 *@HUy>2 %dFhFAjleLh/U RЅQ4 (ƚg).Wٗ8sw ]$4vتG*[5C4oC䩢!$VH2Tϸ%ʮ0BNQtI{!Lunta3v~dƽ=b\+Do' A}<982j~){BٻmZ)Q_]*U |P,VM±zG;1œ/ Wv2N19N}R@`1X;!DXmZKaNˉ(`64t@M}VM8pzEі 5X l`$Bh o^X4`Һ:,tnC(+7H)F֌kayDܦEFcTZӥW&VO P5ʖ8 92{k zxgjݝTe |;_xK+G*F.}ђx ٧T5pֱUO^C+ƊtۥYܵS k۷`ceB XgYZhA1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF@1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id536J?1O# HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6WvpOJfuQNJNQ̇yǾ_ ON{KʭVЧȹF@;!DTKq*ˡۏ'y7eu_\ JrIS]bU7SgǙoDIK8Ej߹;{w 1/Ck& ۥ궦Kr jygqpiL" $398?iIdxシ!)gn9Wu Z owP!aldItG_21dvˉD ;8P0DF`,[ݲla[5&\f Rlڀ&D!0%96эw#" X..y_Vd]m )Ŷd>Y&`& e#1j,sl`)ab[03G#nrV 8SP9 A1gψLy+IQ[I*o[뉼U١7f#ile#mO7NlQPCٛ;EoĮyenB-DO}ິjr-)~Nֆlx!LOKnq;dkw3S(IgUոmdS5-\ZkW7BH{>]akb(a7VRj0'v!hZvWtX R7O-(/@  C6ɀw,"`_,=G1 #h@O-e\_3H Ҭ^ͧpEr>$yLQ KzcP\Nyo_kaCo5B.PƼobYrS60\"1AiF3V{2^͛LX}6jqjfs:1[VRT̸C (;AnJ?귲 $W}ϖw,ɭa7JUzeԁ!mcݦh 7?Bio5pRGZ(a!zs]r{6aT mFMXC5aSM6v0]JBnĸ}#5!'vўKa7p(5޲r@yҚno2t)}GX#අɾޓVmK凳ADxAK7bK dX!M{E@1L7,r$;v>ͽ) &T6),"| Sv3%WAyG\6.=.c^C_YA4+͡ԘVhr9X_QCVT$l<4Eeu(xh`2ĝJ&wVɀDRA&VLR  6ҿp܅/JV\_SRPCcm$NJq{M4ksզ .ٔʾ9Y`gsb.7h(|XzXvV(secd> Zu;n(2XxÚ:(WQ: !,|*~*Y=$ɬ[)d!t$$R+#[_ ]Ci\׵.9[@ow Hw[xg̙wB̼7*Oipw;^od%`2S T)R ghJ]dW2'$4Sɺ6bt2 k!4oϜ$;!8s ~`8Gild|O<ؔSD|{&7T[r+gD'3u½TO`T_6A. zx>c Σ+ )(JW|?+<28|q9DؚaOQcU]ml j95Ό P/m&98&kzZJJi"w|zcot G?~6]*\"21 ƌP,k ›;X#;2?TY}\@fd-&<Պ0%oxS9~!蜎O-A1FⱲ&N؛o]G[%W5m0ɤ,@ CQbĦ7uG}zX>]+dajm`y D]|sa:# h̒D"??Pti+P 6r:IfF'u\8TmXJ:݈`+c8Э󘚕ϯ~J*U, }07]ڙVMg-;+]b[JPwڇ%&L~4>D uF@K%MDqa1 {kZ*S!e$/o* 'ZhDyakYr`-0#H'ưFo 'uHjYS!=HZW*NosE . v/hJ{Uiq$TbY6|}l)ChOK'~W"_ 4D֢vW]v-$Qmf2 .ӧ0L:}ߐ*n!jD?mg"gtG=뇠|kާ㆛+Jم TE^V!-pؒ-WS2@{ʗDq>n c5,e.s#44v#!yUdA -ի"І;9gѹs~$mA%ljvZ+4S^F*^K*/&8 Z Ymrj>kwʽ숓ZzTY@TaﳋRIq"䊃p`%n_kUY~ף~Vs rrc ,$ eyDR$t_Ms^*"Y3T/t0P@ܾ*'ba. P;Ҏ~E[M;TyLrg G6gW6GПP+fA ̄EjY*˿2'TUSijށkҿłn (eP)B"|s@yqxFgT5v~ry;3NLCPH;M\Z 1&_JvtT+ilׂ{$Ἰh9:s_81`6ye (+|Q@&Uq&)e60] `8l(xX[+K4)uBjh|3|sG  |a6gsY-գ!1sN8zF~L|s. UiC׋ӝqN'F}D! Ҭl&A2n˪^/bk5pr8B?hyeooG9xWj2u.fUd&f-(^Y3LW L*jalҬUk*qvxm=nۨMcMȘ[jK{(3KRi!ŬnBNCE2 6^wppQ!Q#̇X>5UMHT"*,񭣘Wơ{^.r-t1o}N^g~NEeJnm'1sPV&pݯ#ȍ#0lajvhEmr( `DiU+;kYc7x& ha 7-|(jd QOO?}_%qSP3 Tv&utК*U {o/<-\+9Wf~\>ql"V"'eө|(3h^8g3ZO 9?WJˤC GPQsމchk +F^YSf\p3Ptײ쾯⬩tf6z@/jp7 E@@Չ@tsVhG7/; ;XuP^Ad64@2?R/$~ Qa:[a_ 94R_l+4>'N\d]ΰfPn4leg@^ZT)I$:=577ЪJ\y_c3 ǫH3M9[m^$]/ n^̀V>7q<꺓2 > Z8-QW2]'vZT LAJ$ L #c;>۩҆la,ŀaQsT5h\kR?XZR-DÜ..4L"B7<-JEAD?8dN2 t&!d>Ir֟pAC]v;jW~e8W5-? 9XEO$nRWK;JϏvȾ {qM`ĕLH<::0\PO D?L DL.yOҞ305%]R/#'r<('ω~]ZsPF螬‹HnE1OE {l 栗e@ph5#bRh꒡j;>/Hm}#]?QVܳ8w1Ez S)&[XW#%bz'ѵ})wwaLA,IiOW r\z]Fh( +[[aM 7pv2|8EI#ȹ+8`,:w,L Ii դ4IU/LhL^`gh:+DBYk#̍ 2ibH<I]>J~{h$6)pCitFƀ} &A#o'ѹW#ٓd+$ kwEs'# ,"a(y2RʑC{bAYsLGR5_"jÆ9{KB I ]$ⲇC)O.R+"А 91RжF .O(6 ƒ{Hr;_,4Y[k(uuV75;p7zmIU% P.s _k)Jk2oD^.xoR'A? 8'y~%aW,iTi'.jfrS U@)f.i'$LT&T>cZZ L*. f{"%^¨ab\WX?$׺ء^(^wz~n4Tu"LLqPV=e3sU4`iV:oEh%|tA$3ks$ *"L(KER+hq} {y e1\oEL-a?]u"pzۢ+51UO,?q5Ϥq6IgiYN]~\+ل#*f/6!1"8RQ8F)ָOQr :/Џ`UV? pt:@0fٶTxibZYE&o%D}/VPz(d%x^yӡUxb#낑7^,0m>h#7Y$Tܾcʚ/ v%%$u=13xuտ%TE/x?^ƈmezHk7;0?CrhO+Y 'p:,ou'='bf." wP%.EZmM;-uuGjX1!7fH~d4eEoVٶBP gn>_?W`uLb].* ǤP"*f0<'^j ]UGVDkݐt?o) gx*}V4;VO[ta <3^ˣ<`c׃cpvf*2eblP:lزBh桂TɘLPڢEf:=c-?xYd|TС aؼ8iwэWrjlsM;0:' %yqQ`=܍ )j73\ҍɈP5"RaڗN K W5=U837</ƁVroO%yk[s !{3&9Zni -/kWՒ 1bփ+k3+ux75hbYx AUN"&:$$$>M_l;McR5FZɼ>Lwr[pg&慌3h I,@LXT;lUA B)GcbQGqLHKH)kWrww/ rx'"gȈr0bqbl hΤ+x b^W\{'XQyNb:/:*/6‹4S+D}Yom1g^aVShDәA)>eON [4ԉ9*eBlO;Yg0"y酫:<[21Sn Ih ^=ۅ6fESsPiKD;s}mVA{?"ju 2ID|@A%ⳇEi}ʴTz~p*EW^+{6]d,f>%J4Zɐ@CWj0ؾИF Ru箆։ 'WKlr/}A(v&UP.p;En~T-9\gҵ.S'e"ٱju`,q]kN<3f./Oϋ:4#b${7 ႙+Pc>8ٳ $A/znWKF rxAg8L| DnMEGlDm e(^lfrF{izV"Kן4&Zd5մȎM}Np4A#3Wf?OH$vu奎U4> G[Z|d$fm_ MŖd)ma2G̬5XKd=R3HgZAaerJ=`rهQm9kH5lC,Y#O3'D '*K5m]euҚĊq'5ga,_}wWI5AL"Ac'6kzX(8l^Qla! myDdԿ>Yߥ!2 %52 oPldF9r=?e@)vՒ=7A,Eppm-*4mT^d^3"FB2ľVM,uM?4WSXILpaH%s7dz)~nm=SFiG(YRrajZnSkX'`]fų+UJ[5v&s3hm E5]bm^9e^dr'7a%FqC7%P^O0e^vםiׅu[A0XCZ>4P"3s$D0Nv6-ZGIWz _S{3  !!W2yqp?}J~ǯlУ.5>Y!!eoi٭5sH+2g'AXׇv8pGhh n4tP+q8l-ËvkKJܻQկ^8tg.ַc?QhLq;9镠 *|+$R3 ]oZp"bpL:b~:'ZChaQ i/ zp1'x֟8P{PbsFqa߻bb(1'464AmR iчM-#yl}Ⓑnc,^[xMC][bUC[~53UjnD Y,{{64\ p;q>|mR{edmvT2Q=VΆ{U;*8|EDq]Z$Y鯜W˓qٽ%{Z`c|W(e>Y:/U^a}ՓTvMc)uQD)iԛAbP]ybyx1&IM-Wt \SW$yYR7CΆ}߅|Fd?T-_)\$VW#YTK,rkx8aɦGbc>@E"RC89 lݔ1ƶnҌ~!bHAv$vu"eA]w+J76#63ni)B@~bĊ,{g&oqupo޶xyr./(hf>t/t)ڵG"rNgWWluDΟRe'@kժ y4>E0:Xsx}Gz[ 4)fn2axn?rM ?ZJ{ g kfꉇ̙*?ɏ0bhֆ* *m?JE/ݒWB9kDhT(:{*,UAX2 yy|.a=U$_pr8ӢkGytg-- :+G#Kx;^ݜ/" WKl2uǛ$"_:5]p0"N*!1XRoXrt#W+rf?άeCϙR1hX P.}.{CZOP5QB-,Tű\a$-l!ܭtfyxb1^jQt(X3}lU>My .MMS5(O__ɯ}&t5Y6Z昏m 3.R0YN$S-ȯ0&nY:i7̭=gUǢg4MYHAa|bFM<"x|J8U{,S!0p I,.h%NXQŝW{⟑`bs < L ; ?@|FJ@:h|'t]v- ^Y4!(ɂVTo[kd0B0NCgۏ}ma(F{c`eff!N`xg29T 1F? c2,f._vT} 7}o^G>?}CuolwLk ea8/13ڠ)O*ߟCĭ2v:[+G>\tٷ$\F WZV|MBe m@jx#NiPpmw*ls͞Akƒ1 3& q;1S s)켁qrI܁Хl|gT@kh32l9I/o۞EPl4Ts Ov:5_L+(nd|H-y٨%^X*Qw"F&׻:Fi-eN霝BBp;;I]1a'_bp ^3oQJ5/!)oTS[ʌf⇕HgxcawLa{9gϹ z AMBG(`>zjr7(.8!mZBrKG1-O+m3qm46\yV%69Ջ.(ade.bI`zt6l ]ߊudWD*|a9Bbx1;Qi5#` t{7r+=UA)ИQ[.%Fe``ZAe;R :͢BҫP=+0#՗Wk%y^`gڑ1ONEaUߋ} f҈"%F {\Up`aQnLw߶,CQB$]š3aӰ΍udxl]ˬD{y~=_ЄWlWCώX1q(EYO֔z^twٽK"-PSP ׏¬B^scl97Ǭ{t.Iu!.HId+231XJ48S{2eAom3GAw:TF  1]6tc 0!A1g-Y<jݧIQt#/\;f seč'o4֋zDJ"utMa?"m3ʀXqqeVJJV #ifGz0վ1< Y0>^0?/&i(^bgT='YٗPs 5(A<)_-UEB~K5eɜM8/.%cҝI"Bj˱38kWihL.̻}(U*?I%0_:""V&o|9,2;($ĿĦ=7~qNHEb-F4VM-Wۆ%IIxn@֮.~.xr̠.zB֘)[$/TZFR4G坻 .rܺ8uH1^( '@^q6g*dgi!iErBxpyi "W6dYkU=e#0gR\ 1FZQDgU"!$ygLg6! wxT89<$ fI-o6֞ <Cwy֥YewqfrukuSo?QXGMLئA-dU 9zOv<nUKR:X"70l;P+wLpQf=Kw6+ۉ霡zt>6:8S>V+=.::,l&a̓k:p+s60pUŴ(z4E]; ;Θa ysC]ϫbbKg0_W]IepJ0lfߊ6Aq7͎sF8J Qq)~ 1r-f>*"t'h۽FhMh˭AY6hqr/~1\Π7WM+>))8j9?n1˛5q^,"mg# *6 UxH\X큝}s]J#XC4ܑ۪uO秼aSs K>߳avd,eyIfQIP)4p #srzØu"'dB0tK} ^ܐu~.@gqvgdǴcjx(=oXXd=|twaIK?ڏohk[&h?Ylد?33 /BR^љ6?k d=x%> ^jl4}-ra{!)m1e]!5'%"^yYƨSϔq7ɚ|%]1{![PgćB0F2; ״#W_Gi\0S1 xl e5k; ip!WV~΁zihW͋񂛝[3 ʩ-oUSZFi+HOLfXZjۭk3ZӚv#<"_]qc:9o$0jUW>kHymDq".9mjK'8#u)NJRuWӌ9\F`vg-*ЎƵlTgum*Э 7s%ղ^ĹRKAK|+"jO t")43JBgYZ nonI1G# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9ܢKMkH(^$",}=pd}_ x܊w3e]/Q'[BvA}6Bޘrr{+p趑1u#mSh179̟m%32-kR뼥h}-N%}[^^JBb4w;Kܮ_aIt;S`MުwBuW,́ѯqҳX'S*RޗD ,Ϩe*eT>9ųhpnj#LG!.+V"L f$ ы!&q9*x4-j e mldoΒWby<>{hٲ8d^֍~nj9a^x(K. jr!QeVk3y #hY Nӧ4}RQ,Q HOt%aaM+l}N\&˗xNX [~a+UY~OYM\o:)=0G'wPEy6gm gDdÉBѶKDTخeJFWe]m`py{dضBq <$XZD]wfy.VҸFٌtF"$dxJa :DxUZ؎ӑQӃKЭvPgVq}#e$:Ϝp| slуHA{0DNdWA,ϖ+0-z, 266oTbtJy#aPHqVrpL-|b.n& u5mTt,Wt=$qh熭 CݙfpD[0 i8`e$h+) K(9; '5.i=QgA5W%Di>Dz$?= 3-{) |+yˡ Ne6p$RF*>?9ߚh=!:{pBkދ=JWE DC^oȜ Y@NxMURry\x#2{yUbnD\k9rwG>-Qxtq}5xi:$3喽 LQ> 6=|Δ4=.HZDzS @Se7gjl&o`飻wUT3y)%b" Y69u=D*>P͑n_ ,%l$#A {$O*ܗa03r8(!?GF2'Lu;2C"'LdrdSYm}l:ö<&2/ \Cu` T}%<# KLg{C^'c 2 2 LpAGҕQzD%DY_]|WKʃ:0<1/os*fr`_CN~BDcB%O,#O,ov\ȷAslN~bIN .,F˶H5N΋Qw{~HOB!֫^*fV-cUoDC$^D {@Fr]>7~7ܲD@}[?LCRte䛩<f?*W@]'uu 錊*(T/lsPBj+XxlS|diBMYAM7$(p~4hsKmyBM a,m xe4lyD (9 >g>!Yj#=\AtI5ɹՀkڇ9 2w^A6UT3O0%JGl9d]Mg~A*0h~m.07'keinL+%GXޙ cޡ!opNd$PeU> V˔K9,k($W!G&nǙ".zR5 R2`:7Y)MOj(έxsȜOZP҂ EY4XF[!@"ᄽPJc0:z'ۙGoh.aTE>!ֻr=0"e?Ss~]2D]%cj&7X\)Z)EA,*Q9j~93NM?C-݆ɛK9%? d!/T*sK_t@`QSF:wdbPZ9gٛ2.͸8! wKK ƝbFQ3@%lC|C~짩Fͥ2|y9T[{6Cm\ԶE-l8#:"O_NEL'GWjhW8XC4lz}+R)K(bh7ϑ1m&71 rhCb eIAh߸o$SYx_Cw61,7?Օp#U8u7]}X7C4] W0?g/,Y%|W/ҵ7D3DH!PLsBs7'Q"΃w_lnF ) %r̚Nz֑!z?0Rfh/UԮٶi4Bpk83@A ͮc"kyivھㄤ1$JfBU*X|4ac,GgS@#5 g>롛YEV!]@v1?%CJrX2yP9!AWzvj#yҥa mtTMt ōBWK `ENnkW:Ӗ+wC-˫}uݭ# OP*BtC6^wELZs#ŸsLgqhT{Az qj9 ,䔖x'E7jضNi;Q,*ײWLJ&5ܞACJL˔;(m4:^׼v]z a`S,}}S(ZU4f,C_sE罝wyQXF_y!Ei5$˧wQ׷܆u"0 s}Ű1&އO+&rroSI~~vF[>n(J_<8^`^L6?-gcTRY"G1o'5ipR`CFuְTe/5Aiiތ Erߊa3eltBBwY4Ėt.\ڽ;-$C;>kpIOp0ЈbYf/g2{5ȹH($H9uMV&G"[Y^P ,@ ܤQԖ{te.6@^y4(&h<1˵;If<n_VvOvlӲiy)9DGSk We ̭ x\O is\T #`(0IRo#H(ZQ$!{Z_+*y@@tJ:{͇@K2.cO#J K/LF~I-. Y*E*l"AOpFKak% a1}X72 ? INZ PzmwR+z !xHERS҅3^DF> ].D%Zb9Jg mm扑,*:LH< +iQST{F5ٳQHl-x/>$8yٛeJ&Ol ӮC#?<0ĴЪZa A ZH 5L(_eaW_ᵒI9+yplkJF1A!\JT U Bw` {|Mk#jđ`mS B~&v뀅bAp7S^4wQ*6S'!QɺQIata_/m)]꘽=V`O!j.iG>Pzp~NHIf5;P"~LIL:&E&eY*4}t'p_V[mDtKc_.KgYZ  i  fM1G# THOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! b]ˠ)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ԏ _uMEBcWlWZ/þ%BVorD"w@e"T%G XL:*1Im#;41EW9P#)ޚ&7x:,@í o6!j5=b z+}fB#_d@p#1bF_,KZ+pR%Ve!7*^^w11Q  7 ܢ/\xRvۣox9 'ޞWYr`u7nf:{1dm$uA4ZͮE\cBcжj`a4ofw.WBƓ; ޓg\2=@h+#Vb9 |).3!?mhޫtbw1ADćflo7=q:% )dw7F4Bjt ?Y˓lE0ޗ.qE#4qH{=/ jtG8`S5Y^m3RGA>o^2<čN<1N[?,oUsB嘦j]. q YE| dss#wEƕo;8/z،-<7nBQ91T׈u!([Q¤;`GIx۠ABd4;ѕ穏ؗV𘛊 j ._-҅!ח R01C}\o~;!*ˎFk:~AfP &7fWj d vwE`KŻ]5`KavևŠj L FKG&rެsXYK5 QAA'e"H. >33s\%ҡ.Vr(.X~s䃵$+ I!F:7.EXpsZ ^4bR giu'F&ↆ? ~I`z8H)A gV@U "g.9 Yxj HZp %FKq䪷9GmNm5 LƢQK"j1}.rf -Z̈jG|s -\"N%ǣo7A(\ $ZjOUgbeR1j"Z}E/a2%"G9nS+xypājQt\({o@5C33v1_t^SqG2;9RǨh_05^"G ٥ |&TO7dCCxi0kb8;ke-kS,]8 e{|A鉨l-u;R,Q >}jdQVed]1/g nu& ڙ+}:nFqH<@pygГɴb>%p@ ;9(C(׭yw3OJ@/39'kw'yڦ߮* ;l4#J}\DN+CY#{*C%GkIguS@G0#i>< ''9D[k̩R ^!Q)>IJq.=4t(|G6 *(݆KkzvB0ܤ>:6YclwiyTSo^-c hjC!r:݀J$.'1 Z!^ 5Aof& 86Jy!QSxk p3G\ҾxE0nݸVs/P9YpڢAmh;idqHnvAcKK}gYZnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id546J1G' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\[Y>+&~oirX{Xӻ- ]ĸW+.BtdHA5ì`epU6zi~PJ5^ h{]~bt(1tl\R4aA UY?>a ;VBMX~ꡳQw\JeT_0o6ݴw`|_f&,b}wA=[9iˣ{(7!6>&҈Aȉ5p!r 4( *2s1Oޭ !~0'?"X5H/gkbd7Ɏx?,\!pgNyP} U9dq6767Yfey!0ʂOQ'rⲦm$L.ۙyWV6az;+R,vUB|R1W}뻊J2?ޣ;c}|C?r%hwij^a-!_h( LrIVAb&ޫPeNb~nFv-JゆҜ 8/7LI߳Cc< CFD?a' ? jƜYq{Sl[ h]=8>uƻ\(]P(g>IaDhI:)a=<<]gYZ E = vPER1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! }]D?7 {?:fH\{+0kO|bHerӞԝ_M%Xe%lO)lI9 E!)2H0Zʃkm㦄oM[H8L !"w( =5pNg_̭IY Js%,նa dԻc6hE/ TjmU%d&l!ԓf BhVFyl(#Yme#z̻Kܰ$5οrrb!"Y(, GZ QxY[2 J+4q<]JR"%_>7?qu:&b:ljI-!WC=*TCOĦk%@`1LG}jL͸}]8gS1#!J\(}ಝ(4 4ҁlRbĤ>f}+z`WIì|]4ڟ-hj4h=AMoYopS0%Oc)\9MPxuܭCMe])-_Ѽ<^U_RANH4ŢM hHf6͎_|+TYYp"ҡm:ՈB I (ns|,;~ƚ{._ˋÅ3h.b!:qM6q,uۑF4wлh2BgG z2:[a:U>au]_?3\0ž7O_ Ni'\2NΤL ?ˈxiJ޿|}f#ݖ}v [Ч.v1p1 ?7,}آZKo.STS r[V0:Zrq ̼Jn,XրVI*YőX\ʹo-C~kM޾@E~q ׅ$299jfزx٠‘& Y)uzz8E O4ޠ?Xϛeӊ \'uíp5"P/Qc Z2D|!DbD|Y }hZ$ i[пkkq̈́_'[|Qfp F26\x![6^"-mw.-tl? <;rPzu-XEj;Q"XF a$_x?jYCmXB0DKIAGU|$5m!),[[S؋ippL{$KTG1uߎ8s^6 ̣KC㐤[Fܖg#Mc?^_"p_a`~w÷I*mOl&g8? F@gYZQ 1O# ,HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#bά<~ѥx7!Ώ˷ZO;X<<@Ӏ3^3zluTNve7KQ̵m*}X/MdM7?[Ė/kƟoO.rO92s|fEײ]P^%VSo}],e7`¨Q ka{XC($ ;NTPq c ܆o*Ւ4PfKt#0R܎`98{Zd*v2 TVÔ5=0 2 )-v0iKFH%XD|=]^sڄe?wCڏ;He0xA*$\~} u"UbBIWo #EPS] 1LCwY уt+qgmȕh8gγY3݆Rl;`HaW u J״eΜl F%;(k׋_պBE'҇"4_"6qͲ[Wsh?2Tݮn2Tv>1=u(jjή Qlsmb_}lMuց:vP1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMO1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id534@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I<]D?7 {?:fH\(}rgzCrb(D + mk됒F YKH\ågD _}̢a eũ+|\lZf̙R^.)*}BP%8j) Ca=Gq{J{`UFMF9Y|\Dt.Dz/qtީP iF*vf^sf2-oA3ٺ~Gjh G;'BSn?ըlo\l7ƇRJVӮk}wAn;[d/׫ uxA`֦rU6E9ڹt]kf;N[oBgX1e)9uU59Kk3e0pH*KaXǘccAK$Q,3^dgG8IxWYwEgA|sg'Q$(bjK>ml<4zrcMhNðq`П‰gzRѰǁ A&Neԕ'E3)tıgYZ;9yBU~b^gc=L.fW+?N}v֊YBz8{<(=~3?puL`O/pP3덯_%@WR!L9XlFlAGhP.{H߉eu$=eUyEˋLrY ]נG+rt+ϳ%J?ID]wF/1+Y P[^Z/X0?g Ӿf@"_d6#ľkn S,%&ZJ^9Lbk8<!þk(_fQLh7eGy~ͯ5L19lwg//flzl*qq[؞i}=km } M#"{'41"0C ؤΜn[&͔OGvxOuZ2<%O6cg@0EW~mp`qkFH,]18'ӷCX3-xxLqkYfFA.S0?F!VpknԚa)UGj)UYvǕ_(\H;?. y^R,X( c} }׷Gi,^U`ߐ0Ļ p &&eڦuCM JUA7u1+7[)/Elbl>Cc-ܛ5nTESiA OvΙ5pmH)o\}[ӹDNX]A+ŴS !д\޷^Q7?]xuͣѹMg5j.JS*BrAAC9uy#-v/Qs$=c%cahoTEE.XIO^] d ?Κ{t1-!oo D.⷗ (>D5g9YvTKlJ;ޞ?WؽaU_ l2M h۔ S7|yyۿr7m6hM#?F "7.y diڛ9Z55o(w_IRzZvqB(m(+ O.q%!<[sȣ>ؼ֤,/rv >s]|nQe8* (Ź9Jn65_yަSIS%k'?Ԫ1ʆJUS3滣taH٪RQ1S |}V@^ 2m1jN3p"x.c@،4U$=("3h#"X8M\,3 1rL;ʔxgcì?<]1Vաv͂B} t)oX}0v6MQ7] Ki(vJu)#OI[N7*U bc9*?P,u UH:e픋%bن#)l8.`@+2:B?jN̩ڏI vk|f-& }[A`J3Ξ YdF9^ZPz>Nd (Rthc{haw NO+ UmczDN@1[¬$Rb7@s(nu cY㰢a3'K-%;<܆IJ`6U^8/Wzt`#,zRL /zcyէ WR sfsi`/?/xu5^)&Ix;WO*kzO6Æo@i~+XhᕥycU%\njzYΚVnC`d"4D#ֱyi-S>wL-t}*ݻ(gqh_9f}iwDI#nKj9w-!eZSHx-ihtfsÿ3]LV8G jSEo:RO3 kusˡC ǸF:>|C ꇸcR^j\@P* "goOh|1e<%E#bJ]v՝xj' 4* b^cgE1sE*9]ɎO%I^涞"^SF> J]#Z"FuFJ4wN&ݑ{|d?K!Q5#u 08EXHsZnZC-[疝L|o-mpp fsp+ JW"yյ\**wzVwX0ij*ZD|aׁxf~y߁N&v7UȒC3I3͚K+ h7{frB`RjKm8\#d棪ޟUfjaN]|SG+~y BQ^ {A MQm?(J)G3/Z/-|Nf `BP71ab&>o8q(7ӳLǵ1Q[}  hfG+D$ e=oB) o0(']M=b:c]#jі\^d xGZcTeՙ*0iD~!Uk 7W5%{8{C7OĪ$AعmvϨdQO/$mikěkWsca>U^X>`CsU+aVe@g b}МwwDFC-ؠ̈N!!E_Xhbq@,ҦoRǡ 6o%g٥|,:Wpcn ʄ6z[ SWy~+?NG7"imnchH B 61sAZa `6M5ʺӲ *r8CY2bu SW_^r,lNdB?h:G"k,7/R{=sWh3A )+ס~ZXχMw[r%x@Ӗ-薸iYbG=p[?`ڑ6#7 UNW0`jyc d Ԣ@ oy} ( <1kk/}KxwN_#4zV@XiI72KOU`޼㳴$ hz:Z(0ZnrCZε4WyErEU@ PԶm.Zs)aA⥢ |raF7=+[SJWG}(fh PxoU-P#Vq;Iᕐq9!X̡Abn/f!@u`B7WGY_rk'}ؓd19aC D؁yZYӧ2K5w1(`tHL6fa254P+ΐ Ph,  X(1KvqgS7rAiBP;`@ֵU DWN@4H#Нӽz<27+}V׵k62W@V+q"mW\h]@+xDTdOz3`j"NsM ֓9VƖv 7^N*74s]?],Z r/%4&.l)d\6sP]-f0KOAV#xR ~e: 9D'C1ڴx)'4?(J3!$ NzRP< @֏* l;o7)F7̵r]0 }qehGx#WV^Ya1l˃hl/{ɳ-ܮŸyzY,.Q; J2VVۉ4otO-ƗPjT+TsyAxk _e6̐d-$K ΓLU̫m؟&P֓+#XITPКܹ !+U[LCd}Ap^ɺOhte9.EԖeC.4E y㒷w A:t| Y 'UЌTQ'a#OԐA*6|ysEMpU31V DHb~zs&^8[Ys׆5f^;I "!~~ a}[mXoHƕ-Tq6S d˞SmBwB#m.h|ȌmsZH JE z9|*J1bO&gRf,v6 o#(_@) H&u8kMĒ%L)rSHq5p8<<*$1SU(i"%O=6PxTҲޜQB< ,v%p]]?" y6pk+܌oѼx <ʀko fەCn6U0VlyhH~^M2m(≎#j}S[[* rtn+IB+-I-NK‘83C?)jwX5j$,ثŝS'g:|L^Ǎ<@xbuƮlxύ̨Qw7 kq8A݊>#oA B癍='~Wl*CW{&;av;(kfK3WDug(c~ >stؔ, ɭ6Qq"k_mP;`,04jQsӮ8FP'G} j r{,H ~YuR,6uh-B㞍`϶.0 ɀhz|^#lE\ t"!n7KQ~rcʤLy: ҅qWϛfwE (tqGN0HRXyg52uk.TPAD`0+λZl=l'fН哀PU5==£v}Rd;ڻ}O(φ";n\"ì[~afiV rL -xx5Ъ%-0NNy?d)'F|b1+]1G_qgYZ=,~&-W(Q>f]~4_J;Ǎ`?TZ4 V<D|ӖĞݞv|J Kd޺WÛ~'-)g[?Oh5NTS=z=:[tCGIN嶣Gv Oen `VBok8G0gw"aWިCC?{}l@l2]ZgDё\ة<й͙WK7|T$@59x>Ѕ79jヷkK2Zt5N5dB e'*UˢUu}LQBFⴙ%[@-? ù*]"-RsgW~+9XE-XuᰥQUpzYM7RH<\ȗNnNSj_`>qO%k,0~b?2Mc FdGDufls;U<[Fezej ܡ,׻ܮJDfupNlɏkt>f9E1UOdl 0_:~mƏ@F~ЏI -6t9VpHQ@ ެoEz8_ZlmlOT=n)ټ[zgN4Yj(9଺. Iۑf LVz:\3wlL}Z2ﻻ ^ť.\0z"Ѧgkw[hÍRlq43W*Pq?x{Hp%@f7j "e'u {M /hy;<Ξqz/l$AOfɺ90M8)& ]"P֡']&hf>)}D'wFMm<|".1VͺʑTˤ暬@hyX8Cmb$m M\I4b^. 7_?Bm D44'ۤl`"OӬUgmrVwjY%PCcS͢bH$SAwhɢއܦ j5%rZo&Xtr9Jru*LAVNI>USu]3 XTg4ے2p 2WJ{fmP̤X;fouU)/:UwW]Dфycj{mdC̹*>IBܾ+5}!A|Zy/kX7v])2"DŽ]S񺧖Bم;|UZZהt zh?MH}ZIkЉ_ƳZ~8yqS7Yj񆟗 JnBMw"0'.D}+ R J/NS5؝{\nv/Hw}H53NWK<1ʡ7I%6~O5zV2' Mr&tDIsmLE9Sy5LkYH蚿=䶘PPP5WMVBi-y~EC:iDEz״y;Vju[\v'32T%\׋g06Ym"Rβw1a9o[<>|v(9.iCUlLGWT<%ߥ%~1y-~Ysգp?Am, p4(D pS-;Nh ։`J+żȴٸhy].oHc޿+z\Xv}v֜ _LK'2o|ΡC7ϡaw˵}0 ,-\+鶍LnB/TwCԣ?NV21ut tFq~F es:SPcĩlnBMU%W -u#bxFS|%V_}ۼ4[0ݯkM3ڎXg59^׎ah_ft.UrNQRYmw0̑hQSUP>e+Au)/p@XWC؎+ND(a^N<̡1_qDk}Oݍ\ #KK_(MD-U7.5sshL]EBS >u>Ԕ@AL4ꢞ##i}y~lHJ|":D! WI];vh HJ];~:MTD(_IOt ȍ<D=5!Y0 D;/f*ףW[ɡni T<+SVqYiQQ["eTgcp{e%(! F=g?QvZb7 E|,UoگMMxSXu.x)! ?̝zwFm~(|D1UP[p2эJz|X(ΊF͖2LH6S eQHaɓ&4S$d4Y j]* v܈ m)0AE\:#X%5.g6v"P4O,%Rn7z a΃V`ƍ|͐-C;0]+e amt~hTTBqMYe`k7-/7O rU]8t-#MPlu6x*Z^t9kuMzɆϦ`3[e>HG*A'yp<Y'sz;!u/ |تmAaع\T=芣/46_IP{v5說,i<;[Gy d$ ~La{@5r:h}6€ݼP0$;Ysػ5K v#?jaw3~1}l(r֨wqzi48 U[ryvaߌCtO( P}_CH5Y0D6C+1mɲDyK#//T\$O2#BsI ^f zbvH<{G:9p-R^e>n'h,Q<\ƃx졘Hj)@;Tp黓s QC{X.>PG  ]f讋R6t{YҠ|f\\22h'&2ꔣ'BCjh.s1Z6-֗%Z`5y\P`5SD= Oq Ӄy;NaKY3 oRB˿^|I- nE(#I{TXT}K[O A?V:Gn;X1|oȪ9fԮ!E {=ڍĊbfXr `~itOHVYZKV#nC:rΧ1?O0XV\rpp=<:P0 j*1d2J"@ |kOOU6ZR)\izٚ*f4c+Z3{sG8yue>`Ԃ ׼3$p#Fq^/dA&.,-"Aޤǚ|]p2~1]e,KIf-{g ٦EFOuͮao/cK hu1[!㸯kV%!N2Ol"Wo=&zܘ_b@!B`)oXW\O V.!YOcirf:-s)$Xؽ,x&) 1ʿ:۞z}\ kjÏOyGǓ{h3z&hAv5ɾC$iQ QtD>EMF+2ɍ6onkl JVg6/܀oYˮrCu"7UjScnY0aWf$j$jXh9Ӛx:C^ nqhX Paz(c:p.W;`M㣞Nӷ3U!.D N<"8~P7Zl)X|цZd K(yӅJ셣W?؟~Au:,J/M@'3zҢ(]W)S[0^US]!ffoYȢ,uq4Q8']uikWarŻM $0nlǿLm+!jJݼ]|& e/K.Uteo;2sJ@((S9λn+N kQ`EKA"4?G(oam^X15(v%DWq{ſx-NDqw֡`2tNfs0`/t[V~bKv&6߄X\j Hu@22,s-96jPPhw$>W_U[φ7f뭗 81If2+*vƅ)EcA Va6 !ԫP܍z (h[$4;jfAC%BA|jeƠjhGsFvM>; k2Z[ZiF9Vov?t1 \9i6]+֑"W'HG+c+^#BLz*&7ShtyKJhx[R`ަTmƁՋ,ok:w CW<@Cܲقc:zhF#}#IiE|.6!7(C`"݁ 2n;ca_`\gkJ^ӣ9G>T=ž$2Pcqzb18U+# Ӗr.<?-|uw]I0VfSS%''jNOǔ+.r7۳E jٰ.6c̦@/Yp RTt#,nN5kj<4H%q3؏F\\-ݵv&p]݆1tz65%&ʮtK2]10|($QɡN@" SF{lC Fu(M!XΨ>VX4@1]1 %J[ 9%a+CT=YnmӓWkũҟm!)XB|GHVȏ"-RX2{A4>x>1OWp Ŕ~q_@ c$bL -/Xj1SMY1Ae%M\ujVSkZdRɾ3Zء;ltNf]N׻2ǡuI{mH۷M~x?mU< 4H ^3qngx|D٘a"bhC p\ c&w-}9ihq$S K"n&A[v1?IN {؂bW: gpvbЛѓ`sܾ *e%:"3/puǩsĵ2P oH#>TQLksBrPbyk [Ig2͞{P$iPa{-w‡t=3>; %R 8R+N!r_^DSIF'OV(?Ww [WRIk}  T0>E/Hbn (3.e0[} ك͡2-eCFyrQ奜oaO3n.aLdv!D#` jR~ r`j=h҉,$,8 uǨ:Tz7m+JP^ٰsqkx+({吳 2yp7`]Yf] 8oeʫBe%x IݾC0xOdWєTǚ e~K0 T:$/TԌҬoH?pP]s7[,Il?ή{K֕mUy^g ^g^Y @Fypd̝]R8 ɺ $hSp;I/!߷`tȱLRd|I3lG@^" 'z7= bLE#cz@orUءQV M;CüH;z@)%+|qm2D6KuVi.%+INrYn9 ($ @2o^?}Z]*wث*wڎkn1_ETS%@am34RHZy-my!ZWְla|m o!_g}eUko' //Ak4cMXmXR> fŮ4c2rԎ^vtJ IZ λ30re~Ĺ//OXrAwPHs׷ O(k;VKXk]Y1'KcH)EGk~ Osb|۔; qyX%SJ;N:L gEuDc>!4OJ;H Tچ iZi15h_UywO W\Kگ@$-A6v%Y /$Xv:W] {/ Fۍ#&]F͐Ц2txS.+ "zWu1}j`ޖo{;Zz t T__N_1LNy W43Ul;G9̥:fk( rbZ)tUk꒘au.aAꨣ'3h<xOC ɐPW?>FplhOqTQ I`*^n":Y#)>wze0O# Ul.kzD/Qꀼzޟ/^"}B[gҘ~űLAns$[E~ٯbnv't~P7(i_RZkc۸Yzup8~Zx]|z`beCNԖAfqmJ xoqçwK` ~_+D9J. PKn5:>5G4oQz.|UG1:o"ʢ€P4$KbVn /@~rj"!Οmg|d;FP8tBKD0CWFfe7[D|:o_GEN.9rW3 }?OJN\y /=t:&IM#rdLmy=2 FXRGJ^iw"[8ii 1>׫Q+lqpV[uX