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 AA,1z<$$ ] HOL-Corec_Examples:threads=6elapsed=155.894cpu=511.076gc=86.4407zXZִF! k ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7qxә>w/SkJ_/C?\Eb{WRpc1!yƺ>j~llbizN( dynfW @Yo1%cߥ֑&IQr8X`;"cꎩJ8q\\#&D*S7y&?UG$*{lRWވ6qpk6nkG2ӪPޚByc&!zQѱvϪ8=''8܀zZEb|zg&h݄lJ_ZqqmHm`j훼D!L>ppwy&_u@V|h-TJZEZ?@Xޙ87sټ2Ԇ1A ?nB ˼E8xWө aY̴sl;B _%}m`bܘ"7E>Ŭs# (BcrA;=%D HBċ:E)y&uvi+nqONbe9Ha36ZIN5#{}OvlFZ]Zb5HW##VV3乌Xʬpa\ba3ZCMڅL+g uKJ 䇽o7&> :Et*7R O_bs/{P~?)q< 9'W:!,f=}#b.%эRxr͖[J ,ɐe-w/6 p2x#\wH8Rq- 9_pW=1M,{망 r=dB0JP*}[1; "gjvzLhcd 91GNC5醿WH~0YĐ\uX!|06Pz=EQAt:l0iLjL,,<Z̽o$:|HQdF`]{+!q#W*_EJLKWm" I-?4U!DҶ(wS+> *Y.4%/^Gyh;6|l"JهCz]7_@c/Jԙ!y3|f+yU ܚd֊2حwz26Magsşā$l Ylk^lCX,)rdc{)FGed>NrCtcg7'lWmyAwTݹ։adCc߲Wi]5v IuYPlGG*]eɱ%6jbVf UU :l2^'%7P=s/}z ߮ FN5Qu!C^z6-6:^_Pt1u;޷Rd)!T I"`Nw L+Lt6ү_B 1\KQ#g\Kfq630.zPk9uVZܢ_&8TSI8kiԫ9}7JXBp~4R S^'\i^'~l@(ESKw[Svxl§"Rv<{NV_J++~dM$E`}UTSjΧSL\  n8Ls|*A8x*j&G߇F 5VplRFGhw,0>3U,Rf6N_mS-bg  P0 Ǵ sܦRQn,e 9HmF |26my{b{Ʈ 0X0[ T !h̄~+ k;!CX̛]/ur/~j>U|67qT20E-nc  hy5]jS:=5]]R_ޱϤ?RsI\R {|X6Ih2uѤHII+ତG #r`%,IJ{^< ҕyz! .6Jm&D;G0EgL ѱ+xD2?/4H؂ꃷ# 7jQEi0gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ.9 QsY*Eu;\M_ X7|K{ w珁r"hE}VC=POqb"ZWWd{!4K;|[O&ټjXY9ާMko}uhY?T(@rl#vے^b >. Y Th8'lE) KC 8^vA[ %}cr rtw dz )^cORwzaEK <va{R5tIQ6bи?^Q8ڗ%ѩl~ai2h@4G}W\2 m8EfwŞLXkWN7 6T% w'ұgYZ7zXZִF! }I/]ŗXi%j1̼c}璙3Ib 8  D|滭$ !; 1 HOL-Corec_Examplesy:~yX1I= 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>MgYZr1SG < 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Թ>99Q3P2M-L,E*A$=#6!5 21*)&!    & YNhH  J ^ w :  Tn) 3f!H; H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0F1O'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_id,?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/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/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/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_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_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_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texN1I=HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.texW1SG HOL-Corec_%C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files    X1I= 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>MgYZr1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZ 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 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"RXL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ  1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZj 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ  p1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ 1  S y1F1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id542 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\yIQN ;/W3(J秥dq/T1Ȃ_mi?OZ㲬Gױֱr '@q7G{SXZjf~ *D"ᠣv(DŽE ݏâ_+p:E(M{L@厕ZT"֥xߐ:?g#Ǔz( "_2eB:+v vqFm(7qsM!ޣdi փu-3=g?{7)k>d?}^.ݨ*=IHsƄ{A򹣸+,SoK'?QV&2$kV#ڹbC;=3pK›4Qg&JoZzʮʤ U#C-(/E8Pr4ɭ J<iK"ǦPl< dx ǁR T( dk#% ݿ8TsGgYZ?1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H|r.>(s|y`P*S8GOțS(Q̩^3|ɢ)-H_;幧܏XeRs{.L^g&θE-VkNկȺ_9Xs'‰ݛikkD'B+lV(L̥W 8f4,/*uO/q.a+tm\梕9۬U >u "Ù y͝wAݛ+HrAw {$o "qOʢlFKo Kܘ0M o^k <@K7u|=/E)BvFDuO Y m_&ζOmTZ-3aUIE ;J4 I}g:[@emLJL|[jNa?ha%7DY۷H$35L r)鋁>V|0zvaHpx7 =O ؽtLV _b8j8'>TEѨU2U :2ʝxCB0QJ԰3ȴܷ2}; ?$~7( \2!JVY # N 2~D)l,KγW'JsY }V{&*p nIBC!,S"gޑUev>_Q8Zɋ%loͣX!;Te O)@?9q~1՜)L~.}pp1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/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=Uʀ %FΠ-ilZYi"" HnǕ!nApΜz2Wcpʩ|A=ؕ:ɖ, ʜ鸴=j*;(3(tw:ղ î0B BR l ib$VN>wlϢk7'Iذ֨?]'ہ5|*7uopwrG/A=_(^ )DSh: q4ZbG.Z&D}Q7 /:%p6/(A: |-H~ Z7V'r#\J[ɳPǽZ,2nXoтE .yy)LVúd5y#<~ c(+[nY u;537V:ʙ"7KU!eЕU5qs!(ZV*U8npmm oT S"eER"P<`@Khxvj˄.| _Mgce<]4 _z! ~_pW %"G#@ !S\ef/S b6Xj=TX˚̝_`aƫ[zzQn,c-hW)K-$ NAuhjcB~U[:kᩍ@IMil_ O('<ۧj`O:\D}|9SHH>kG;MiTwրNrkQ[ɫM,-|GELr8c51}>9Wv-MdNtX OgH\ZT+^j !?G)WNl^ռXhK!3,kW9`ԣΗD)6KTPV!(]0A]N-JT1/cD,j ^hܴjJU5r;.gJSX+? r1Rf珗\ zhfcOF3Y%jZcq/ܓa0qf$IG_Ǔ՘GuB.@ p0LbTebwgIz8K}Y`ؼn zZێ?[ I$FIk#%7AZ_Ni -?1oW|¡j$iNǡx+O:=d! D-jWfDwa[WmRnd#=zѰ:1l}l=ߣ,ڲqhV 'm_B={0sC,{tN f.Hh H`{3xip\tuǹ:;h${Q>V$tG}5yٔ]4+M=;b {g2y]r(!Bha}'YVrJYt?ߥMRJю1"y˜`9<= ط28S%O;4{y{ ]qb^o,C ) dZtC0<_^N!50^1wΏN$<.p{_cԩ|LQE"loyPXd֚he=-d+^I3S*?vDp$ ucr -[_>w>"s~ spb!j ?+Dp+̰+8ot3#JL4 y@je' =[E.iD/L3Q$7kY6ޯj\ǣA-^&-="ŀB^)أU7E J `VxKU:NuhyTie{J{+r^59Y\]Ej9GazYjN|9wP-I AFLb>SSs9M Է . T,G̀V ۧDL"D ~v8_$XKoßlXf~zr1Cף(_68"b-[\ sZ}+;d0+6+=M5l\=&Ո Fk|->3wV\Tin5#"V@MJڞsуTZ 4FRAZ[Y'PAk%B?Z;qǶ;8DbAj =8mGT5]q!ђӒݿȢ3HgS6,ځFÇGHT6pjx (?@-d\Mnڞmz1A&zb鰓"n/}C!ipM3sHj} BBFa]$']ND}-+'0nueI&0fMXL؃)g~6Q !a7!|Zݸ6Tg<;#Y9Zݜr|c?C}$7B>-qUR6'sO,bBMxVĐzνھSun+Cfp3 99Zxd HT.⓭([T[&bP$b'G'}kQI͊h@Лn_=li0޲ I09 Nڹ%*[@̘Q@LlbzѠ|.ZB|{F4+! pr0$ d HdЅɿ YqiV;݅x/ZD22F︇*U.(»\PšPBʶb~c }^c9uv Zx9 z&,uOb #,nt=fPyݧSl>+ԫSI]a^EzfyqRmM9e1 >ǰr'*u`G R/,c~^o⇦W -MɅA+8ڿ]7=rPkAkIU()#OֵS"2Q]ֹ3Dڴ߆@aKo f'0Y,H)"o;%}3Ȕb9mPWwvJ;zKѳb|Ω͔ O b3'R84I#wߝI<_ X90,~CښYŭ˦ϭ2TrHnJ|ä "Y 5#N546Ums?:iI/ ,O5զq98> ty2/*5K &Ǡ0uk:wwq;J[6~wpo FG7@5LҦkS׈nPf/ ro#5*;foH.!\T  ZOgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thy&J5αkmFH;QvufE~q_SKTT@i>O7nj+k AuOɓV!x'e6c[5FH6T%mHFN^Lӆm+'㠽JpY;K/;2Ɩ1/$='?aTRRmqB!`#*v<@7TuB幻U~5mɱƀ̈́LDZMf:cazo-m[r-W$LO'mHP0F0< s 4+R&[T7Btc5(16(N@fPZA`.Ao)@_xxʘ I4Qn<[k$h f(ڞRh%t vg.OJo1x9^Ǹ(}Z))3@aY-2q:. @q],ٛ 4 ?ҹ],Lz X//{|MFrH 30F˒-훖< u|.^>F NV*_kKsm#Fc> V)}/ 6,T#9ܛ6,4hYFPZs\Da|93* ^ Jەb) ♋X$ڴ܈1㱗MhIb)Zѻ o="v*\8óي,%q?6 una団L^/Wmp*L Tw `G,ҳ}L(ûOK+Wo:sr*+ )o~6̩ I{y*;7d+2QZ.ߤyϡ-3JrNb.{2􄁵>Dwue^=z *4@,HV_[,hIex|ФKqOUf?;?Ե> Xgf9arn_EBŽ%POhV8>&Γsm7?YDeYQ`؃1; :?k;,Rq$U:՗8b|87IyRljȊ  OXY{}s Hh5k}7GS2 ߲ڨҧFE*_;MUE#0-~ YLt{fx}{L ==Yl+h1j)%K N^ c v$2zn/1( ,{ԾQT`{:#DKNKႍ;![K)d#< n Ց4Q b~K40~W}N(-kCgw+9 UPu V# [٭C} Ɖi; fټ%{~f2ۏ `JRC)uqOEؗRsХ?ڔ η2;4;2_eL}=_"!{ I{Bj2n? X:7XZ/0%R2As9^^@m 舛+w6TW#K^Ұuq)#. > 0[aͦ'ܩ="Ԏ4:@̩3|x16QRUX6!Pp^$ߦQ&H֧h=%g5K"OY)my 8/"uİZmv"TZU6(̙IS> P_֛ӦT]ZAE+P^%Hvy߾*\dtG*!yػ̊wA؜oP +_dSAX]t4GEx=&'ֆOx/'lg>߆@J;;9\ 1FLjQtY&4[ژWFdUxKWslL78b@ĒzwQJh.gT-;3aAw\>;N }\xB-Yo -{ElXʬ#aeʤDޒ"ǘ\d:"9Wz NoUBߺiq,PHr.Ci iX"ObM1)@s:#?Uڻe;w'+ikD298E Dbw?F@/js2ګ*a!迼DϘW|?0@4V.2N2n(4bK&={1Awu 9Ff?WOi 1EƉ⿇3UU)ǀ[%_u6Ws*VЃrٟ :ɼSJPl.|hU䒕thocG)4TxlC߱DjkZ]>KAƞRYU,L$d('IW||h˕碄~E`+϶FoA.]t6BN.aՆA?kC~w\VZjqOUo ݂>@8[Ĉ- o ۜk\DӭF3VcRwm'<,h t" םFLTS ՚/h|b^{L4]f%g41F&z0;wvs&sBAyo"}K|of 1T~CO7W.'}'Ґ Ǎ(|Q$p!Q$^hԹWSg Za-V&m+X{1eu\9K>tD(8-6ds.w/Ч3>Ў ہwC5 Wj&l\vj7mmu@XЕx^ZW"L&2:W}_0mz=oI8GWɧXΟ׹.2t# J^ T&x쏨FS`Eg s;XI\P=pMsU%s$M~A-ఽ4"Bf! bp  ؖݙ-Z%W=n;52i4E>x.S]֓]?\s0|XTwQ3|VB }Ρpx92zwA)O~Ȧ ;I89gYZ V1O# ,HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tXs'_UVs,%Bv3)g+vJXx)|z(,Sߟ!(ꋒ=5xN=`o@6[bHUkU$ smHpQգ ʿBF * {u {O 6O Hy5ϧ yluD5}\975t'bu[ovk`_ڮ#rӇgvC a2V0 2W^a 9 ,\:֖G&lDS/GZ;GdoZPhDH1j A:@OOK~/,2;j9,0+tGp{)>E坑@(I7i&'\BÿxӭSf-A ȨNU;^<<zkTOǏ&'JUbyfi=&i gAfqߕuWxZnZ>h35yd,A S^|.ﴰҧu"NMO(f)Ft~/ߖI!ROՂN' M`0(ӽQǭK(8@1τ*ϗ8mY L5/[>J,K_/2Ӽǿ1h%|Snd@l˩ر˽T tЀ#ΑF2ה9 Wdt~usSX\X*Aߦ;MN+(u՝6b(+4Ւb *Cr0*ob\N'f^KCc.cJ['~ͮwvE4qo F Î~5C -[d Ȩ!.> M}n2cJ-\4l 7+hji)H73ulL{ r[("Qsp8Y,#j_vlek\JwWR&,`75 Z1 ~PmkO/6r&>TXlQߴKn V]U qw3] ?lʖpYbMh/%X<4N#.4&TװֆH~,АMP`YEiX#_u;{Z?$\a.n}]s},Tђay_;nwƥ]3:KicN ѹx~8R,oDe96j6ACf=vW$xIਮ ym=׳PƽcL®:p/oV%SG:Y1,&Q Lاzן˚僾Ҭ dm )TnÇ1/5>3#\Lh֢aVsF8[llXE沝)?H'9٨"~[Vʉ79]G41cͦ-\S6^< ]A~dq;y\Fҧ mh{~$|vKǾEbh[~cgޖvHGTu"IDbIsV̋PN€Qt` lx4` ]'I (wֹzrn2&=n>즖٧^9DFs FAUWaTΜ pG`̈́Apy5Aޫ>"G96+OZUD+prc@#4h0.i`!s&Ng?[.<|F $Tos5(yky?ٍ0HsRyïDŽl\!;/$pf`q/⦅Ι@kjq4d&^Nl-5F4|j9=vOVGJ5ڧD8.>n""yk78r;I^) cFFH6>SEBѐT&ESc AJ$P 9X=И4пmD>vFxwPXxzi&'AI`ވ'=v |ެ`=Gou_n'k-8W6k#LFcwJ4V,*&%T~ 6{i.BR>u\"U6|\I܆PPJ:>p2nȠ>>-,{L' _c¿g"/#@?HPc&6*eS9łt[/iOM<S"ԉ)[W +Ɓ@Z9$zj ؀`7`C>CJs\HK]]Ah3P">D6Ύѽ\- BѼiN@>VME^KRjZ"~Wk' RɊ"aF^8ȃK./֮Q㞆_l֐ˉ$[X3gCz9<ݦ ψ8;g0Yk`.hʵ7N/IaϵY (0{ųQSǎx72P%, ]5 ctM JGk018:$gyR ==P>$Kb&a=}S@ O@v8c:_&m`qjǑXX+o퇩zi3m㟢ߩhdZ|jnוˢPz+8Cñ*0mB0(5TYu$G΂ŪQSl;dרDJ?0rX;ۤNL?Tg07;Ϻ%El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\W-QRV9j\gE$כ,|DG`Nk'='9/R;idpzx]M-Q/+%wa-|UEӻ3LFl<Լ{dT4Z7 l8Sog"GKO'ZW Y`ap5/W,}tyoY4ό{ߛi(m$1}mLe^p{~|X뗴Z怆FQƖ/ur 25 g[o?iľRp x=ŶDdd󑺦\h]C4~9bܟ7q =ﳉHuG $9W7oܠeזzQ9PfEE15WZ'L X?>-A<33r]74{ܗՏ Tu3tXbQq)~t@{!xvR%%\+9&`@/ƜҼM J,ͣ95433J9~!FgR!pʾg洀؀9GT=f5ԸMt͆%kp}+V-)%zƜ?aM__ NA\f 84Ms5u WOoYX"Mz<$/, E_{[DJD Q8o,ԿE&FDrinυ#OZl dm!xfw34Ԇa/t Y9;Tx$bM Tfrp1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id5261O' |HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\zƉ4|ak81g8 YyMkA:|AWXzsыPb(omo",7Z,m8ޱz[ -1؟(Oyc5G- Ek>m]sD"iAʶ*'.I_%.d, xbsw=8*Ǽ`X@H&,$vs %"ڏ~oEԜ=& O/HwXbG8ڼiBYQF 5JQ3^TvqY[3)'Z89Pe\ No#B%V(oGQ͌m[KV{/uYE+Œtf*M$dnno>._["z`~9U 066BPKɀcxRgwQOX"GFFw<}~+䌞d!o& ?f  i?耶ÞA%:&z'(|tC!EhD3> @GG)_#fЗaA@^-:ok jS & (&%3!;qR5#/Z4s;qsl|-$opFKY& +wTXEbZ]lߺ:z*HC{8q}c1 9E{YɋPɲʙm)D)fHiK5$w%I}?(F-<30`BI__g`ύ$?s1=#5ӏHNf þ7dbRJ/6 lr>R1!*+^7Zױ2PoQa ld3[KhO\SB)AARYFI4X$o+R]hJiْC|yjۑOFegFp9XȜGL9}( -Z12Y@)Zf4f@0?"x]h >4f?v,HyA/3#ҨاrZL/羮<^품*b SsUvx:]xO5 HgKwY6Ĺwu@Q]} ܅ CD|AE1v$TG%d$9̷XPg@4aCGCժE='շ|k8'_]EÆD@AlAi5ºmRw 9&.1BO\sFV5!0 L8irᯎ&/ԂhdcFKoM08f%@Y&L>xCnU(K^KxWɫT K5"]IDumB}W,9QDomK~SNs8d@9|#4uR\Ѥ|S7fbHPD vv~ "̺9 y#X֚Ϙ?@0 a%0aghirWO5hJ؍\:HV!bz?W8O=@eㄇbJGЅu'O**I":sZ(oN/]ֿ#e"؍'vZhgeNrx oTbmssLRǂxty=~=fCCq+M愉0\{109_7ji%Z| ~F Dm7va~btR#Ñ(4?}r @Má7t:JyUĚ%|^:7^WdEUQ(f|>"D֕=Y"8_=BpuOi!˴=x@s!N] ntffp2j`  މƻGC0Ѧgg#$~I:bQ ekVgrM-Hi2Ŀs2$e 3!۸3[(40ԡB܍d\mBkE7^dCjTj㔓c>ߔu:[)'f&hN}ˆwPD^ (mFBæuϿ@12]ʘ*! WM> C&4e{iwbwC{$CA@SyFN.^c"B[0i\-$A?^S;mt~}Rpq x\Y7>!q]&ȳjfKfGk l72uIʖ^y ]ӛ,b5ώeW/h ]!g/QYkܪTOlܻ*5M=OYW*x#l3j0$#Pj"Yb`IdbycXwbuPGo؈33·v^͂1Z<s&2DW9mkv}u!RWbC?uֿ9 p|,՗P 5Ekav3;y^(AOwwAMwm̀5'&`a;L#ZQp ׀gVԽ}2\%me>#,otq-//M46̾u pkR'+7tBEGV*@ /H(_h_n 074Njq u@ ,wN]gIw!Ӧᾱ+E| hy$+=Alb_ZBQ lϐ^u;f61Rb$}ϩvzc?ge]I@Sev Zio 0է);IDET/Z3S&Z˷b8L6" wx˰_xbR%*y*lpn7iV]"n/n `Hsev[qBG_ԡu4%rkwhdz pNV˾ׄ.Bye6qk)|'w;/nTO6y.+}Ee~(. M0"4W آX;q/\Y {!k^b t0~GC9̥(I0"+|SN:6xP'´,0xԮu7( LYI6!0xż F3|C꜎1zO$RT@kuץO%[ gWa_WCsKQ^<-4WMLu4#aIo1ʘd!o: ޯɀb ~y͢_+ua30}5'CأO;ͩlwuHF$ xsiw;aE³5@~dĈhU3)q!9dPPk2H //:<#o2U\Q:p oMM((mY-X>/MN_ɴL~Ys5ce i?(2D7T" =l|>Wxa0T!Ʋ=QkS%u8U(m4WB!qnsLuFc5_ʦYHPzƑA t$Dž}&M+R֋LeUU1K4L,g U/+0λ{2^:g%'9ُz8wf)Ė“A)ܭVDd E*:خ2ewi{! 6$QfjoXr,-9"x"Y^L9B3,a7_C&,I4G(TUI7ݗ)Xwwغ,f"R&RSC+lqnfЊ )'n!\`  ZT978*_KU`U Uvs7oK=<$cm(F?#\-({F,"`LlQ$kcN F _]iP#QzB%>6AU"l4?h6D^hX).D<ѐG466xIRդ1sώ*GD5 U73YD95- "/ms{5MkiI?Ep"wbha\YeQ hWbjZ1|@)خ-a{7zHPe-w@ zRw:EƭY27H8X倸2*t% fGs؛uь8 `h.95ItĹk`[޿1DG)M* Xf(vp2tXA6<olD Fuf Mx`K̨vϔz?c.<L}א+=˂_kz J9ڔMr!3w_ӕ*;C}ܵ6Ow5tn_U @j@j^PY:[زWg@>?诿DUVjif-dkc_{"I"ٷ άhY.up3ܫWeU]&ZҌ"XyOXxI@YAf\k"i*PQgEɫ -hXKWiBJw> ceC6ύFWQXGl1!k:[W0Ē?XEMY䆩qyNI\:zG{Yd 6HLI /)OvH`FWfu[O ` .=to:VxHECaQP@N~ෟ+F 4T},b;* *pf)pLtG>ǻt: 2nPBf tj\:†}݌y7p/`ByUe:wqC]~44F&࡛zo=S䲗[BdAG.oHv\+n?}-8ioV=K%cvүE1%2 ;lrѼ'-[aYDk[XАv3(i _`ցoNe%5jZF{R[OH!o,,")$d[l`v&-|ppGl~oYeYOw)^=Sv &NQA$r#0_yi༘6Eٓ1i ^P'fw9壉綡ąQ^hJkr%%̙PhҼ|Aow_>(ň@h".~Xb`2e˒nϑ\&+oˣHt^ 8/%mfԏG$rݒI.4iUu&+)}4h*3qȶ<*R(G5kees2S7QvLҠV % UWCW vD|q2a-3ͭFް( 0n 1,Ce)esD6l4z50Evm4CLÜ2oOO(4@n B6Ls?^ %Ǣ=U\ (s@ Hem?a~-iS͓5`֫Pm) $sG Z1h ( q52)yVr\WS<)HfYdNUߤVr|PC\ƿngD܁> ^4h;H )ʾZ \jz?f|[Y)hBF`= |I!^@LaV 2toUP9:OowOEsiu"WLACC/6GoG9m ~|k`< еSTy_PyF\OkԚiNjs'&Q}lk5J U5౹1E;(f Ǻeȣk9zSŞ4:5nn#g/gF,xLtQV OH :`Hɋ)l-FNbU,'_-Ba<0Jt=j;GJf=$ST-WE_!4kYœҷkyVOJ@)7fs[aX!@nwO(IBQϳve);3/<@b╊P= [Hj3GQ)LOEg29 !R-fLg5;]=˚Zϡ[]\fDaQ R2$Ϊ8mu$ ;~"Rd|;fe1a%;_$SKT^UMúҀ~ؚk=5ʧc[ɜ)2OPA O'/>ff_s1)Q2UUL`w5 ZsU[6aOCxROL$w]B?(_㫦،i.k;*^'o AhW@LQ.Y.A.Y+C;94ȅy=Krøر~0WO> 1E"tڠD2ca%❂ZU`9܂W\럈lhq>$NBsrqj^oowef '['Iu',Hh+"EO("۴}_aFLZ㺕A&S6gx6ڡp&Ɋ8,G5̨c9S# Dqx%j˄ &DPv^3B"i$=P?-@(~P|W^[еc`jg􎂃P Ɂ h.{kSs|[YLrwN" te_&%OL=+bv-ƪ*2Ȥonֿ1˼3+m,m-| Z?=v8Զg ,`lpOWCէnÍKuG:= H%G#d\AmBr{[誷U]b|ӂ:XH"DrT[&泴B*s7U-P(jˉ5Bn9Sw#pI&4 G;لJrbf({r;l' fDS_Lp;y;"4ob/[`1ߓy-]αqg"muYtCիG8]/RG 'ӆWlWi^Q,Mܘ@OH qWH2OzF"aX^$aı1]N3W2Y!|C:fOXWD'㸕gV?xCo9} 6Ա/bl/`+Pmqj/K nx_]zSēp oNmvlMR1+62}*VĚ uˮ˒{I;dAO~ԭ UHĸ 5/MgYZh"1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thy  N b)1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF(1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520g'1A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv Zx9 z&,uOb #,nt=fPyݧSl>+ԫSI]a^EzfyqRmM9e1 >ǰr'*u`GUm D990 &J=y4:z EV,ܨJMs+"_VO6Ha KeÊpL )vvܳ~h%L"6NGsuo2,@L{. u? M5Z֧vn&C KmBZv,~L6jZ/4FrN:7}<:)O=sDᾌP"#'9E섂;ΨKthD3b~RPU9_T[pQmoVgBoFFx|F1n`¨[L_:?Ķw!숚{>:X>#2RLs] %S^cި[luE0y. tKL;f+[ ќ8Z<Yetro2˻뚡(+Ԏ8c0@$V kͨ%Q!64S,VZlOR|lyuqvX^ U6=-5˂5WT'#p| ҾNܶ9: 2ѱgYZ @Bxh(,*9֞>7pĎv%Z}㇠]f葡zx6~d`Ƣk@lmÓh M^! ˔Qy)fWL7uԇBؙA.Kut;V# BA>CQ>\Sq /S9\Sٟ"O]M3}=DJT*04*Ƀ(l\bhs]Ul\)&$Qm\J[:A\3ʩ0Ir8}TJ%x;el*z{k{A==L?wRh ;="oLts A3% s~m)~X;RkD`gLwG>c8^sEcq3,˶`A=r 3[إI䍫U.?c99 y[W+(ݵ 'W&DLۊ1OV[X99tz*I>m^p V9/cm_\3 `G/[E9P.x)8Y:R bPMMGF#"a4zx.TA.u5`ʎce4SJi8" f}muw 1&=mA s@onZ,@&lW)NR`/Kuv80BA+_PCH@?snՈZ.) FU׈U-BtIY֝-$ ]ruid)#!"/Č9ǻn5Be-s V(8OБٓ.zg,qv~(GtzLcU*&_lՊyw"Hvev(KZ7 ERd}ɔ,k9З˦7/b=]l.a7Ġ^$XTaE<rj %3.E, ef+w#} j#*ue |ܛ'  HԾ5݈ϫw\MI+gWisZ!@tCЮH`d>gGħ7tu¡ezI 22^H6~͒nܺsgD'~2,:"OY*lw-#! ~Q/.e2zZ)95`qm#]u|91\e2fѻbQ;0{ {EV- 6A O.!4h!=aߎ"ߟp7A.݄s'J͊218.EBLqoTx~S_#O1p$ݗ+|4r  3|[Z\˄R!b|jg̓EB s~w5I *K:Rg "d> 8K*B̎i2u2/Cy^KJ]:]Sa3-(-XIXa645M6 *׋/! `1$I)}wMo2\A9 N1򒧏%0_~IC)tfveEbf"6D9o0qxъ[|ocʚjkBF9VSę*\ڹfХ/ƣkv] ? 8C:ۣЯtn?& `:^bbny7`]Rk;O32;K6F *6C OϠzHb`m%8v]npX#:=>aZr쫍MDAn˸\DG74ˇ@ߴhz#Vi unjwcŘe"x%;Ռ׀]leTh` nΕ =xliRbuzԱ>d(/ ֛#A%l#۳BS-ꐪ\<h`f=۞bF^6@[EUB*ozLaF]Vw@ &fY\[w[hzveoXȍq FTq=WqFƊ NF!} I oI1|m`lHR>.B! ׻WfԯCɌrS$1 R -; F''GmlrAmOɁ >ZcsQPwL/"$ޞl@r6ë́7A#ℵnR;f˹\Q*_]e)`)pfomAA\y)n8) ̽4g^7⠥#٤v8q!xF$f㜒kތU1򭭁]Q/|$VH4nDqe~{a*`Sh6X`˞đq@t+RĽbTu@`cDiZ 5k7n1LJCmrsQ78^2/ _0t&QTвIݯFvCۭܤҏrnfd2Ĕ$DлnMu ƔBLw؍?ʈk4uY1 ME4z /V-@ε%+s\IULvҒ"ټq˷:&G /];#qa[3@83(@j<`w qܔmV*^^ \uϭ8=DOM1zfW AƪWyg!nOcN,NK@6+6.ΰaXoL!}r0Io ҿLNfTѵxo[/Ayz.X~Y$NHB8lt]Rg"|\RҌ4k: WHgYZ ""S*1A# 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&Q]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S/xSs*u$4F d4cbM8r ┯L0k([NϩFd2C/M3CA?]A~ȹˁLY, #l2]Kp1lj^@Hg#.W~vĨCB?s_ [璃CQ@ ݸq B4^eAIFn%XRZZ܍1_&bˍ21zr:x+2;cv 2ؑ:XYv5}o1{L)<, MX,8|3ޤ}u **q]jRgTmYϕOZWX%P6ߞUK)ߖf`G ˴hID#ٲTIyQ]JLǨVط|qطkrR:mT&|ٍ\ 4;EK0q&uV ,-X`%׏$;0b z2=kJUeUn?~rC&jc6y6C8h'fMeC&Z[fQoU0Ƣ>(pT ŀ>n}`.ߋױMj=PrDn=X r_.!<ͤM>=1)Qp0nUQv/EHwUL: +hpa޲{q[dD\2*9$PK2" uɼnbwk/&ӿhwX3/@pRG .=-ssUOhzѽ ;N#tAGC.r"} '#uX@)Fh <=Fr<[uௗF:O=VD\lW?֋ ,?'!ԅ Sn쫢տG\Nn3'{qP9.T"mޖӿe=c{ҖIr*12 Vq}ӈf8HaoT^?Z' Z5N"0K>vh3$ ,$*r9b紹TjT r7W˙_C@!(ME^Q2(CO}GF&n`8ɥA3%Lia*嬜(6QR13jn3jP_뺫9 F?VSH*4=gZBuuO#0#$o`As:YwRٗ\l\3r0צq7 QlQJOsFe;!Jh,D~׳!T,N{jk>+8a%m'`f5{c_ ԋdY/mu6?ٰߖhWk;1(!~n$)Doٰ:/sO,VٲmDhi _px}ٽ c˿B- cK;^p?~ ZT( N6!UGu'TBD򳰲Z#]_P2.<>sGiTM )#X}aq3@3d~^nS{^OC:5ڳ!w`Zǣ(HS66S,t%-LX,xO$3fˌ/b6ffY9Q$=@xD\9f!nB_D |LJF(q%*΂6mLE%cH<^쿄 7 6>xQhii2[PK뢐#BߝÎ B'G͵ fnKj'GEdND0LZ$?waj :3eɎ<{Ex )˵Yv:>`y#SXV.4ud@D61L7~A֢K=I=oVCS-.LN.O f |C8I i؁&2i#m+ZZ$V ?9=oQ@7๭ ;З1/ͳ VDԬ>t|/#iLp\ 62FdW[622.`]#L3Tv; |>znN@~zQè yōde~uXot-rl`6'@u.+#$!H.J[y͵gV5D05kW;sɇSIg ./&)p<C@UzG}Ƙ,FSrܪk[r}ud_Gj;^4wrT Q|z5TڹQ@ZG FumPnTEKL@Mퟕ\H8 xc nV^7drRi$)ZYjXE>CqsӅvݓH} &"b)nh+"d[Xp>yy!IÁ.*,]aM: ƿ3&I#\y Vat7bm&o @g4`7]zzOS :b_H(fNakarDMØG#)v{lQU.LEݝp!8. Gs{p;1<sY b ;>"8\n)MhOjmˬcE3SPRUjUn&'hLn]g!$4kDIS4(`I|ŒC&+ cN*C!2e,Pvfw۽XP\576_=R bQ} Y<*wGqZVEW!&w)%[$0K.8V<0PB?X6 X맬•u0rfś6ޗKLN07Ά^{⨓Yt &/m7)k³n3h Hpb$ 5Z3>=gE[zDItƻM,rW}CdMD Bx?@Jhۇ19-3Ʒ1p_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| QRT5%CTſ!pNjKtp29" 9`_1{Lɚ,M6p\bRIŃM_fA]N{iǑđ {댵!@0oօojݒ0ߘ(o㩲@FRyepk ba ~!r/<,MPa.ynrNªalYī^MrHo2HN#~_ U MnTd,M v t (ucMra偿Svdd#5NwԞQ$.F ߓ߳ I{Bӵz-ޡ^pϞFGQ&4Gܯ3Wax8"y鸥wu3/];anx MOFY;!`F8O&mrWSXrzh@;@bg>yנ/wF" ʘü^ X_aLu6y(v4E%ޡ"l D+w4T"%tHT[FMHB!ӐJ.g%-9SǶ9UP_&8 }D0]ӂrxEV8T6jMzzMd KpVd4DMJL72d3<īϟΙ2 t !~{_ ArlRۃ4׵\+)D*=:b$C.mK8WCیzz6 B >'Ihwec@f 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' r,A\w#IĜ lYD.^M[q6/Be)z˄h2byKiD`"$ԽqH? g G>u-)\B=-/!CuzL9)߽ZrN]^تKA!Z*(hʋ ]zhZz:&Q~Bbh@5-?[~ 0`!8K$$bq9n~- DgC#--8i=8 OR %6mGM˲ٵNzP&TӊF $*Zj8obp7P<=] zӼD3uOJo^{ƛr~tXuFtqwK@f(1d~c|SwjιdUբt)*2Al)/u?u_N Ьk#rNjޫAfM"w)*r 3-G[VC_$lq\Gs:wjc,ժ BWlEUNHzJ`6wfDI O0\K`0^ˬ|E _&Ku9:NUU@C2y'[C@RzQ?א?FlTSDcEg t_GvA\ hR hd=6!`|vdP3#X!OF`D5yEכJZFm޲ 6CR Qt3 `$m62@[k2 b@r> lmS˜Fϒp:%@!$#~>{ӖmLq?qr =dLN8MIqٝvF-;R.1+.\uoN癴∳ȵoEg¿]vrDٕ$Ą4 0a"ym*=vW$7{D8Ge%ߒplo>Rm)$" %傣q ëOr;a|G~al햷Zi4A#,̴5Y*Iqy'm#oo( "C4t5 g֟ۯ?4-7'Ro:םz$?k 歋EEvvL[2hnȘُmF6& X g@^u +]T%Pe!*ڭ^<ӛ(1B1g3p}Uo>V +SSS뀎 ؍vbe Q )]2zK*xQ'HUXN^L#T̈́~T!j @Eֆ4R! Iz_ޅ/c?;U `Oay);Rk!w3RW8S܁:yaaX=7<؛ Tso*/Lf}o,YXY{;ޠVF,!n8r3_ y=pkjQeq-kf\}+boj\V S Sv,5\-Rwe ?GVraOR(:?]8*? "GϓUYmޯ򩝟 ^Ɏ=w ݍr`zݖ֢ E7iqӅ{*O&6)|`~ˊ@Nɉ;&wRzmG~Lu?Ut徯s &v m RU:s|v͔>N/ASp*ɠYB$ڝqz4d$֓$|alP0ÿ w~;lhORK; I6|1r8#bKt +ksCD._plRiM6%%M3-: y14 ;D4q. ?=tѠ֓~4D77TB|$lp#EN:) hz? ^@"aO(wjH,N0@%uraF`ޡRD!2cOR0ꎔ@ pמ1pb?@6?#GP8s0[uA?@˞62--Y k{yAٻiк1(ޣ h[R!{DlѮ#7?%N%_ߠ/W;9Š:u:L-N~& _=FXk$ 1$O"5N_tRqX|g>58mTj*t39=`-0 캚 Z7 c'?QDV-Xeߥ0Gi?HmvtHa$ڝ)Fp !Ż9 @9l`kyDeðlNC3 *Xbʰ`qn >|]9䧃^j7ewmgjlEܘ jRi^\"oT鶭fD76(Ν2ue[vjfb78%2Gd'W@:ʀ )ˎ6S/6ҡ5¯F)θ=RZglaEJMJ,.ȞKh$ Q6!.>DBCa ;jȑm/Jї|BK0Oq f0g\Q$2] TxMp}( MR@b(JdT17&eAU@W_ޟKŃ˯ɕic8>#w~2&,eM6af3h@JG+,04Z<h mE 3YQ>Ssqf-dq0tNxTG͚9°B4 %EUNeho9/-09SF bPpȶW7pZfspi"0l5˱caݥ9DN3gN P ʋ|RƷZI쌐 ONӑk4-KV)IoqxU SÀVJB/^ur.f=YC!WxZs롘6P?+S585 |p@n&E*֩^gYZ v21O# lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! n]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBj? k hh5 sf#q{x7@F~Inqy ;bYrlꦭf"͟9_a$h 6: ^3(Gj{NѴfROݏ7\').b ku =1 uǍP;[)Pf3C:4Yt+;:&6Or7&yC!q?`*Gꉸ}uR&n 2KDѧg]ՙ[Xc7܀P0t1 εED *6RXO%A#Z1)3 -;]%XG~ >|߮l 0 %Oo|9gGЏG+7ff|Ӫϒg5S#s# ޗ.PIЯY%&X$uuɘ0".[| > %>'9g?+Giu!?G2 cqn)P~d6>H-},kB$g}Gr85&{ ̫Ȓd8`RE!aS@ÇPB< El %~ZBNδ C̸BFOTZ_JZcEfIt57[)xԺƧQEg>*ד]){)_'ݸE%ݘq^ !`ȫ'b 7|~C,TO\ T)}a}* ohg PĐT1!GbWfeBx4][C}|2U!vX7Aj;&K:mn"-sYnK!)9۝_1{ACe#cǡ\alFaXLj+X5vdg$YGbS onte#]bBm9x>h (w r]?~e9:;VF[8&I_Fj2e Fl":ao,ys!Kx[9N+w^mۅ" <۹ z#Qs2аHE!P\2[E8 fkgfil:9U6ar$HJiOƆqýE~Jibv+s؆LɯW؟71TJ ODFTrУi{#*:JیXSg8jZ3R9FB͟FO ) ]\?#8;sVЮ}~ |ε7rCh]H;۔5=rSYP^NoV*,pqN<S!OE%-axӞ) O %Zkxr5η3ނ@s{IM_9ƊL2u𼄛x0eIy㙰IQ5[k;8JjBdFzŗ4PaP&6 ;őZԁX ^]Rw3OMfmAtQ&dpoaV^[K4'ocnyNGC&CRUx& F[PǏ/+DTߘ#5B"=ҁŞ-(R~^܅Ot&m9E{va2h`B̜Oq aF]ǽ`zu^ {8b sl6\GeCb;Js^5Slkhh@5c鋢ͤ LgJ{ڙb:W% e?Y(,WN-lZUƟo@PP%| ^ gF"'^;肕b ,.I_T15  dN kfOʻ53S3DrT4$"Tۭ5JT~M~SZp>$loTrhMm);cBD~uHr H ɁG7;.n86[7C8KVбs'H?iEMve|P2=b)i3w@ZM?*wPbX ǀiXxoD: 4g9$ gS.9 t&3(+##Y `֊tLVUhHkBɪTyƼP\񷲏H\JeS/bڮ݀q(aҁr񮻐_Ňy8- \SCI?y%Y7aҵ<)8ݔ\HqHrsD/wRWXgd|pK]d s^#O%ZWXu?fTB,ûo73Z$ ,5 ZP6{{ )dNxo}yϕɬ(=W^gEs>׷RoP~6g G~ּ-}-wnpP?D Cx?lNr:=pu:x ~*yBNWs0t>@^>O{#gYZ   t51S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO41S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524$31O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\:&O7-мWLC\cڪ5]!q$R- QF"Kc Ƥ\I##sohDg@^Dַ' /#֔d #]5_xj}8Pmg_D* ǭf sKQxB£N_yzx!u+q.aq8<9jݣf&2|aFܤցx]&t帍5nof_86S횮{pnм42*Ds!zme~k+HXt\[Pp$0Ȋ(6rsGC"kQ;%G>kX~" DpS|`aJ+*I *]K{iqJV Zzp'KM -~w=ܭ]9`kط ]—<; 1u5EY7 X`?RTa͛з`W"9\Լ75'Ril^RF0{AT]\ C8%?D gYZn=dl,CVHH@VfW@|Hw3F{ 98f@EXWc*[%_Yx˖ou߾,)y^k)aBtc*TUfF C P*xRl~v.CH bgXNasԭ(!E&1@~]xn (2Ș`&]Y˟qV ;\ty>I%@N ,lj2*ƪ+y~!24p$L~LIi[T)PQa,O&; 4$I{% kb!͊ _2Cekr~8Bo⦈Ր11+g|e#!6=#@8"-DJVDUJ+?F٪)̽0X'QWwxh :}ύ:"4fC~f^JtSMmJ?L:{TJ} A-X>8wAavO3ls]&2 )1aK}t<{Wo|ﻑOzߴcXubҒҴ&p~ cԙz.u|_'S[Cc'BOᓳ5P)-s[MBc Oq8\\\=@ޘrYwE掣̷zJ @Aȕrk[ԛ.|:&H.h *ר&pM./ l b3yΦ]_l0J$eG$S^HJhu,:nsvx(k`!8Th!2x/ qEـ)O肜 G@97$,|G\y|[Vwqq]0R Ǡ$82n,qn%79fl D:{ꗽ{xU\\퐘3/Ӡ kp'{ᮬWJ_,;LP+gP؟r"GW GQ2{Q7ȭ(n(8խ;(-̅E 3/8 ^RIzi@,SWF }Ӿ<1(" Ђtd 5ԟoj໬+'wAXp]1='rxpg5a މdjMx]q@MCQ|<1>7;ՏJ []u-2QVXg 2 Pˏ犚=.S 8{Hl+-Y.٧rr pV,s:P]hs]Be6xV`Iݪ:>dߋg$OI^g%*7IF+V|LWQ0|sʵad"Hx9ΉcGWח[}h'O3 jp<9$!Aڒ ÔZ.`RR 'NT2smu~ v{:Պ~Rȃ3Z2%tYBI (H׹|5n$Lk eFD—tWϽir^?X!}%iRINi7f>e"ADnE.dق=P kۢe"Ok'KG:hH+ϜxrfD?jq q*tjKg2jE.0N3I$I1߹EQa,"V* g~^@ձɃEzԐw4dj|1`GRͧvobUH ܧZ#Y3/v?W lrz0 pe6? eO9vL~QԚ/xu'M&VxxW2-& Z~7Zyj~p 9m6Sɰ#<›pLMÔ6ɐ&moVЎid *|Oɽu:G*\!g)[5MS#,⟯\s]ju7ץZ6# rG[XH^.*Y!5Ip,-v"bО<6j!Չ~?U}} $fg. T-cwp͓3>Xy_t# JfnQy} } j&`s![7b6@7 @A,5a6_8%C>&¼ah'!D{CMY}653[#6m5Hv2nyU\nJ sVur(خF8:bw."<]m9N >0 WM7B4Q<*%k ռ!/TkNtC,'"t[;рD1N Qoț;EiW`{kZnxN,vsɫ|'M'} YcwSlL`.ѨoO` ^ eۊpW(|xE~&3Z2FV{J^9E4жlE3Asդy3=F9r;P7|ypGig4:ux-ڱarCΌe3~:O-sER1'{r3ν0*5Dcޜ$Lw1:*1gYZ MM(61S# LHOL-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ܞ-'ACœ& %. .^gO1VY]|MRݕ~Wr 2 u!17_h?d2wSFo{ֹ 8:ϲqdHlT^7MM\'F0^-vC<ѾIds\VţKi{1 "H^\=ˈYƍ'_wܹ J6"楀H> B4̓t\sq^vrB6XwčfbKi<\6هuS)=8GZV @P;'nNĪI@G$P xpjؖlJݷpP[:Vxcq)E= xaRq髌a{|Ax/S^OՔޛ[=7۹j SЬ2.@M!’_ _6HMfEyMyk_?f̔c8'ʃcx>ᨏPȞC4s'!R2%z^\TQ^V`l*%.h ҄5LOpTa GXQD1ZT%E'DZ.(krnނCṴCND6AVr{ 8Fv&ኖ-@ܢD*LkʙRZNCt]:VTĩ㈎XQHE ʁ;A3LuHN%Qv!gV|d4/C?[>1|>jD<:}OXmh t/J&J8[>%%܋ЁLtw)?oh#KBiV@ ('շq,E,zLň}5r;80vnE Nߢra4󢉝K&ۄyy)Yl ׳<۷C{%zshV26;^ZvtyRruC\C,*fHJV;G9 '6Li+y7_G.l!Bk[ZA>"1yJ9yz-unxЂI2V$s<$cU ea?V]lO&4>Qjd4 @RYK&H:XkOrJ:D6TCI-r,{~al_0T0j ) YN =>JߧNC^6#35V< 7unmD%i }p.uCDFj ZVO\  Vt[!wd=GOlӹM]1i+Rק.$0 )rא1=>4>䊤*!p;z+D絡4 {ݚutݪ1ҷcv%Űs&xR@]u7U`F.,מ0e(t~Q/ɝn #4ϛ Nm0KeAn`B QT@յoerzBjHTkoNҩ1@1LbSz>pϊ77AG$Ҳ7OUɱB,;g4TūI<+4{Zުo"6:-z5YA]0(A_&4=!*>0 ؀w}W 4(BXCL xԼ_^`k3HBtaZ7;ߪ4#N1 {fI1k;Wݑn{je_ʔ5o<8h_0@'͇zt//3']hə7\I΍OߔPPdJ^t8^yi7g%n"_s*,v f$ THKDE5F (.(u.&R@'W>D :wF[RW<4]ݫK8~>(APd)&g,0ٶp)I\@Ѧř\ AGk}.F)$)*)u7oA5u_ |f4oy{{€5 x)ȺA -Ʃ‡%rIؙ]h)xI=IEH+|ĿjCD#z/ ABa&}e߁N vsp|mLWi;[DҾcβZbܦE ],I eGQƊ`sb^v 5$P6@*rhH3ar<}rzd=P)z^("4.uUΩXw~H,4N{&Gfo5}0}4F&~NMQ 8Z.碌AF70+&_8'x6!>NB Ӂ9ch%ktAwbD˫`)m<;V#LOt_ 7clb~^gpңLCoD&k;I)crkYRIVu-©P+u?" d C |&dn=1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyI<1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532;1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! {]D?7 {?:fH\5ЦlmcW\aɱ3*+^*Qod4/,RiudTq;HDžhd "uh.~fs_Ь$wy!KQ#5;0BBetR^ȈfQP*'fnז2ƹu0q{M\r]cI~Q}7 L#[)3=zk_fpI\{ kT9HF+w Qa~N= 莮ϓ]t 飛YJX+b:{v޶ `8nDR`Z.(# 5d7 ˌ>M uDUKpsf nWt; w/UsC g]r\ˏ MH߷)K1{@`E`ٽ_֟ܗS`ɧDK?[rEdb vH mJ W;t  ߶讚VZM`kg ܧR{Bbgj/*b$XƩEx0b[4hv|mY[Xooix?iDhnA%6~~f|&WqYT岋v2i+_@Px^ `zJ_qx$TppC]ڠBcm{ă\q`ˇ$߁c>-kέDs l(t+U[W6ivc!ضIߥmÉ: BqRJѣu-ڠE< =u\-_r>ƆJBn,I/!\ vEW(SdcJp 6JgYZG: 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;]!*#l, N:Hܹ.&0T: goݢiRqꬡ߱;{_\99+;;e` KjrKE) b]6ؗ{Q@,/g{O۷ 5kCjm|(玔yw҈mHBwj$;t*d5'ye{4׋ ?і H}η,H.IRNy]b\ʭ_E#G$<:~ o65p`>u|b5ki#ZjU8 h,%8PQD)~-u rhR>y^D`Oo'Lﶆīٓ D9A7JUļ)jk%i@줓 $Na\BBK`]MUQϛ=R;}o6ҟPB0lt<=34ts@Ap86T'XNržđpb)&8䙮l;i#p3͟Hd}`y'60r)įL|ͺs<"xdW+$ '?Ipc> \wk*ui =9UT7]YgS|ğ a;I%" OD{0aوnb,l`p+w]T 5-f8'v91O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM81O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id536:71S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! -]D?7 {?:fH\{n4%Ab=8 n{ӕS2b@na^yh*18h\@#>¸@KC-=#O dGw+I#FJڲ(5^T#gr>/LkN^}ݭ1r}s|͕Yޝ d nPmw&N? ,@3rSPRyo~c+AdԀ='+!~6VU h-˺봑UJ:2y?ΏسCحʅ5#ؤ$Q )H:xSJ5.o<Ϟc|pԱޠTGν3gg@- $[RFc_ɣB =:a~( C1?|޵l@B‡iNr)CmLɁbND@4ԜCc`o vS% >mu`ZeL RIJ/|}1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/filesPD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_idO?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messagesN?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/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@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup>?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files=E1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesHL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex(CHOL-Corec_ExamplesHOL-Corec_ExamplA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesJ?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupIF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex*CHOL-Corec_ExamplesHOL-Corec_Examples<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesLB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_idKN1I=HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.texG HOL-Corec_ExamplesHO=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markupM !tL f(  > V  ( U VlB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesF@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupE?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesDE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages;D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup:C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files9L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1O'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_id,W1SG HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id8T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'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_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup((|KHoU`3,wEM8Sfamg(r-'G .%@a4aKf>=!LjLaV2㧖.ca_hoKL^\=?^X\μ 'Â`E&4L5iĺGWH a\B}VyI/U|~>רY^C΋ZT&RmAzꯌcfYɪy{H`K;7 h̫I8Bؗ0DKYiX0,咉9K^JY ݁A *UK@/SMUf'١ƵwT~gCvD$IkfC 3Oi(WPw&cEBBڎK-P)# ˀw%;%8'D-Z)&&:kٵ)2\ ġ^OwT.qv}xE7BmlN\=!RKe6rzxgWCKqap{_J.ePNn4YNk9iߐ(6O&'AY9 %dWMjhb.EjDz ?jisb{eX5--j,cm&dlKIj~'6-07Sb DgVɶF|B+m=ޟ(5#R LfcŇr {+3 zKAO?[}?Ƌ$Ƿ4_19uokʤs:EeTk޼rMJ 8-;faolTޓUtX90;& W"ۃ-w2mC'R_ld~sWeV, DZŧkr_w6'v/s(aUYò̀a \ʾ u}a=`8f Y2ױE`^S Ut]zH"O Q6R0|M}!rSI;h@n  yg=٦i2pj^adA8~qT%&oR! &[.R:sɁhKE%'O$9Y6(D↏Ѻ# ̙jʲpOHWdA">Nr?&xǨҰk`Z=c XeH_Nq %%y܂K=yYup/W tY_-xT1=H+kMpo@l'u_&!Rd MϕjDUi%v!<قZIZ+ =S9׋CrbtTT1&2xp[hDaRNLwᷨ?aƳcUgL. 8p-s'zxyi]~I]͉ 6.$vL:yԙD5MP_Ȯ6$±i3D>Y2W9%)Gj6o$I{gf^` ٦=ޓP]_uގv ON JFH;F?~͏fB5[w7Y@޽Pq_3Z'RFCc@>@ƋkD?9x<_к%+b%[|oUA*ʈgjntr-z&-#{Ly蕱D t\7=kj ]*OL.J[='K?^eA|+Go*IX) _FÝVrE65Seʖˆ,{.N 03Z9oc`_nT9Oa?նVL"-2{%{sEݢVqzP2r a ~$UtvbI3w[y6Xhћ:jDy$ [ej")_G$g|Vwڃ%=(ͱ1C6I.\8< xGG;CZ0p0R_X\oÑ 9^"Lp;_Ԩ$(*lޒ" @sm->O+~-%LnZPTC__o*Y=^P^0 #Y}J*_xsz29hثdֺ#=TRyဟ[.35 He<1&.fPʱ0CSmƻ*B^J ~pm{I =m:gF֔0Ȝvy렆S&>j7gϦKt27raƟsgG/힘Z=]d=2k1;,xiTѓF)W-¥A]@wݧRDCw]>ԌSx#zTUXky,#ӴZ9CF#⌭kY@@ɑ*HiXa^ˠ)PbaBh*1C-c}~Ne]'κDxߎ2/2W0H9V YEtbld| 7\hLBC<6hi7la(lwmg{5KQ@?ELҪ[^8l8H0H-5_Zt0yE'Eb<#?s'p0)`*Y 8,p?GuLH}vXnJWm#;$Ќ=LOOv0C)^y *C?V[dGK<R 3T:/nGM (!D|RtV";!$ГLT.ey@HeXc9NVҫ8.$C͹3:|`z)^Ш|@3ԆY,g"8$ ,M`XŒ=)˯*1%J䢏2Zh0=Z"9a ۘ$VZ1J&1@ Oc?K1B&gB ѾjŮS0QֹH!40j}}9eũ>)߇O^ins"h%ž܇D>UapWxv9z|'{r @!Ydj45=:_oMa΅\!qCZweZR7nj~N݂c7U^}`/$1CG9r$YN,UwxGJ[ FV#c@'Nue ̀Jԗ<_ kI }DZ7#.Ya@oa[@ن;L>>OfXt$vG O] 43>3kEtl/px z9AEY}NOxnjѶ(VU|E4ZDK$#o1By0pl2&O #.AU೑G#y*Cyy?\|Ff/.uoanѴPQk8BZ0L&i0'M{|h},V=>-d7ZYjno=ɡ F 0ӦKǨ:`J*Vj3{+d.a-o #0dNS1wXxtLɏhG^@GYe٫{,!,/,J{UHuQcr j<ޭYlj޲ kӷӈ`X,ȬL`9'9V=[pa-Hb`Xf}QOotnIh?ƴ2DEf'$8&qfuJ, c?Ce976<ۊ?QGbBM])~0m6$/W+P*\oq1@6!l>E XIxҞ%]O|&PaX0Y"K>PE!Gќ%Y hv?osl*/*5OuwՕ2=g)y izfO; x7n"L Oyڎ*;,c}oJL6Zhp9/!`9fUPv1WL̠$0R+$|ǀ57(wHZ~'|A.& 2[k}na;?{˙SCJ?B$>9; }hL͡rp!=u€w[bm";EF'HB\L`KӴnN495aGn|qiĘ7PʥIuj׭z'+cP|ZcE~3_)e7Z\._n4J3fXDWe4\CLXsshW>I4@*Z!p.2F7wk.:z"j$Wy'oD;X[-# *-_`7-9 JZn*ME7)6SRH%gh5[yF C)3=h%8S4%*v6jwl'PP.TE߶#c}2!H= rs9\OP]d{qܩWl2w6 NV!94S"6R%7K jx+qklJĈ]lG[Phz5QRuY;\T Z}6A $BQS0h}ak1Oya;#>ǜ"ϙ^ ѧVQvm0D,m=FP pFN<@Z%Wz⻉M@]–9XeV\ (Ձp-)4Y_SxQu9|s#uO*~~OyK4 y|[PoyEf,b&l˙7A=V2 ,&fa1)НRa,?ŦE\_d*^̞֒YD{3f]upaӵJ܇'~&Dc, Cq4':JAw^J:9K[%SB6U83?68u%V'S>.p,>=Zjjaedw &yC8D4C EFoqZ%S/9%c`/`ƵAK*9.zN (C"ȮE33H_Hy\c|~цasfܓHG)vV@x1%s>BJIT8"fl@+0j$%_!N6V\D}.fx"x-ψ6;L:C*l~oYnV 14FL@$~K}x=@rT(Xx\B{I[ˁWLwڃ]V /&<˖TziK^[JKdvYWW7MO\[Y*@Z2o?bkKim=;k[<.0S?I,)#*$$2>,HZ\\â]~6g_lbsYc_ZTl9nF,w*h"ߪ4th=CjSz /hNãH ra[P-Wu#bEh6*?}DArKc:Sv Ʌ_Y6l/]Zf gʠࡻҗm"„riAŚMb2*-<mPH@6E6O%_/X3 eOB\sр/2*L\ynQ# }Nukr={~#G!gYZ^5A(HPִci7\y%Fk3 ) UA *XX옔&oX$yX8M2hz|8ĵ )wJ6 Ly+=C)(Mrk z pi}ڀyj e~bv`/0mfjMց)ó%p qȋ$hKըR/곚GHZ57%逍v߶y/&4Q]sb~c(4- ]v-&1Z~/a0+T9_fU]Ԭ `5vmizңW/8s=mٖ@1SA/So/\3<\[0n$:ϜRt^:ov<߮U);_;ۤDGF>\`ɒق.b, Z9'np5R[`s%A~#rsJB䄘d\PT]Ӵ:V8hcH H5NzǺU=/L[#֟T|iC?^\mI^ ?}5q_ǖFezEN7>o||1d위sj#0F:޿,&z܊O̍KG;&646D$Yq,Wӄ6 ‰u>۾NXYl0JKxKhovZFVL뽒%@76@cU$J[r%XgDؠ4J:.ћIl'`:KW5~oǠt)r&|X~! LիsMD}{w,_`J>Y3e_%ȚP]Тnm3VF@E`K lN_9p#E"ti:PՖ3 F 1`vd-O:c@d OѾ~<T6=JjW-9gEvԒ!D(OmIodS8u0}T.+OOMK *ONj9IrJզy~C5~55-t]{N;!g+%p\hZ^t6ViϲE!{/BZ{jg)?eȧĕ 9`^y15 fapD6؈M I/"Ret1>Xc+T,_ oNK&G%ӡBBB, 4.6pIklHnr|8ewB\,~'bNE6 ĨaJw2x~V f|xvE/yJE;WSe'=A|1Ȥݍv^=!9}'߻ `C\ϵwPΦx(Aʎ'{jHzl+|Hf%0m5؊J?!}H}6'Zˤr7^ij89<^vbĶ{< -@q%r >VK^M! $+s{KwX+JnΘC\6+5#{Hp>x#۪OX].SX!85 M<#[N}ZI1DtU+3Lrr>ixvm#iSh\Bc+ :&-ܢT14̈}3}&5DCHۈfGOGHnIHFFVSH)SCAQQ@Mŝ.%k[=)?JRPf=Ia} }fy&l"2Nf;Kw -|bFɧ}7n PB'( lށW._w0@͝liurK1faF٭x9ҪC} u'Pk6AHO Jtik@l`mAFܘ=GOv|&4D9E\[JE.1\VZvnIu_Ɣ񋧢Hk$_BKx7D[Wah}Oԭ4PKURNv-;jA0 v*$#.xA{z;RY`3$+5Er||4B{/I#d̮7E#g i ,BERz5v09a';zl\!7&JV`{'m_lAfDɪ7}q[FJPWf\#0堁_WvmnF@Gw e.~H'߯FrPkSlMqG BxFbbL{A/oB_3-FIlƕy" -BŮI=K cY58bs:GP+Me]ʏ=kef {d5WܐL3"HhՀqda}8>'QvgB% ,0րTI, @Z%7Mk <]wͪ ೺4g c{:u*F%$՗pAe,pc:w⡸۝ecjwg ڈmlXO/ߦNTfCvFh-HH`i:Y]ޤSPd2,X} &a.U˂ga8+!] p=Y=A{n#i! r콙=\cyCgCO'//祪=yu_-gZ(,;~eZڿҕkŷLZu*lM$e \iFbi 7x̣ 5$ջ.I}āꑙlH#f8} r;w6x[͕*٨3)~1?iM/Na83'WL#CP7ƇT9 rH3 3*hqmvx5TAuSF>Eѫ2 W&{E5]x⒳#aFжgY7_fKO”z](yqys# aqVq;Գ']ꪭBL*纮:x&Ԍߜ߁Ufފ?o <'DMw\?Wj#- 3RA= f-~Ȏ:GjKטO{dk9f@pו%>)!KZȣ76]yr+/A 4ք\e.u ]h.jշ9ьb΃̤f3a@*u(-]d5iniLL^gT9ۀ md805G%BCY p>~mZL\0oM"rިN:5d>,ݸYsGN y# )'`#4?Vx\mLMEg0ͼr:`MUU%%q!k6G<g]!tNs.ϏugYZ ovA1O!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_id528?1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\3"CQS •QSP]IUvJ40YKhUx{a=?־qjA  l<A*6ZOR$n kM:95Jo3̏3rVV4P8Ҙr1˗GH#W$SKy%]&/#Kxd[Y08>3lu}z7,W6S43,e2 W-l*aֲ% ( \u Fe ؝ 5b, 1q*ٹ]}Mo_M' vz¬^NX2>aizkPEت#ھ{J`s 'sHFs7Y[ya~Jz;Mo՟ ~:X CwMnlSwT]fƥi]ZB~X:gܾ]F̱gYZ>1G# 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+J,p; ]WZX iơo߹Ţno+@`tQ ŽpuszyLpў('J}`̷Œ]\"s&G,z2iO-{oXIB&"~NI|2+58 L|JW5>;./oԞVQ[I6:eavFT Cw|6^MT2 ʬ-hgfQĿٚ{,Tίcyș0L1h(tApMo*CBU0·dbNTXaDVb|l/H;l1qY=GT%jU(XZB8+=(c]E2FM', ҃*uanGܯҕ0/Wp/H)up'r;(HkO0@<qF4jUR%69.x" vAT?݇(0RPsvRkԧ]9i8X{~CfZ#ɴh7WHl,H[G M} Z+X;QX ?b@a}+, $? k<iBE-E$lrnf@cN!X1caze be$a7_V_xJصв%Bkus6eR(.R^S}2C9BZ H'Ffqcrq|g:s()%g} H*ó9+h9+۬t7-JO9@`EG+;'oN Cu"?>TѢ97 s*ȧœ*zF& XY;FOBPN]Q|;Kj ,g8!+Pb-:7I>?tP12P2}P8j  jevl~Ʋo-PI|:ٞ!["1F!ib#Mf6ESJX –03!ra HޑQ-"o/ 0z?~т5:ImRzEͯ}X39+~+W} 9GO+\0TFFDՏȈ!} (匨RK^gغ;ݺyaT,Gٵ&nF_ jZO Ј 5$Zڊ1]c7n/8 ^QXJ{4*Իd֘ʹ(LqH=Y^@\5*6D{|T Xo-(kխBYΣUaF.U[_Ie0ܪ`,JÁ>DAdjq`m=n=؛vy` ChHj0,Ksh/ C;Io uBOK˝hm zmd}\hň[^}:cW[TSٸL=W]H4yQP)+@kT,0^OMgxkP("`OzRqzdИPoܦiɩe+ q]" Q-Pk?g5=. OL(B^˖|1lnuPs3ɳg?+b|}eKZ&tM/d>ym) cA{n~äE.1i`H釪Aa*S(v+z>DP|uljDApe#)4ݶ#]PkX1498eFjo&%K1[|(='qx2ӎ-\eG`SrnSָúӋH>bo= 8½}3jLYF#u}8 (e.'qEVs(fi ,HRkwRE iI뺦W[3<'.38x.țH-i[P9rQ`,+$v$u?f`^R s.F,ւ5ֺ' aP'3q є ohNs3[˪ĮA]"X>maUoˋ=LsWA\uhcd涧ȁڕ">s iPQ,ԶI#_mΤvuaA]pUz´d3T_GI!I *k;Jw u/ѲWtiؿvz,R^,d9 Jr Zojwt!Vr'/|]_۵9es*O՗B}Nz&0^Nz =Glbg|JIGߩ23_Ay&{2ju9}&("D3RzˑҒOZ ` ·nQ&a$ /p{n+叏*i< bʥMzKG »A*\Ylew Uɵ\Xg |I+3[C($n(5lB_@Ǐ`) lŽ E̘RvA a*$F͌ʔ{q?vm̩=xOܔ.ꪔcs zrb!tL)YLPKAwm"+;|:q"mG^;籺XPb9T_xv3Զϑ5C,80K޵PA_BQJZ'0"\]y󘮢Ԫ2gf-EiQy`.,Vc8 ĉ38Ghck2Xw FݔE@$}e'0XV1ޒhbԽ,(c8ϊ_TjSu+h.o%Nmle*0IniO) G0pgڝjY4oܓx"7:gjE`TP98DC!lͺESHn7{"ڗ淂:$Ieh }oFb7mli{]@?[BuuGVXc{+z% &[D;ߦW]T]7ű"j/<=ڮyJeӒ#9%-c$',~ lU~C=P@mD[8H+MY74~TFK<,;}W5H]e <.f` }x+'{вg (e}ӎYFf~V\.}fGg;q4f7{a>.KT_W"]|1hE@J f?ߔ[OR9n][T,W,hl?{>ׯd5{h%|y#;껰\m U ~9c?֛*2 .Zʚi ǭ2#CXp₱YD; 6lB KlFB}.uVd ,uEIT4@ _7zxN肸A[D-\d\%hj=/EF.3TiJner*j'c*DaI>YB0_yhY.7?3ve r/IfKf-n'Y 'A/r-^{l 3HbmT@r׉5&O@(7]~k jrAtDb@ ȔYDyR0`Pbj_w2\P6bf^#3EB2H`6(w W9|2 !XGLxSh#NQ {{ĖV+Uώj‰1~_WK+IfڱIVsc k7)tU&( V;S+i䃩Ásq}Oi{1޹e rzϔL 3/ckbW&DeY ֭4} D=RH>3JGzSz}Ǒ[mYRH]JV2ꛠ/  AjA+E?R{ ㄥlዾU˜Tw%,;L*ZJ]XxCbtz `j1#м@Y#`HӅS/ lO,d }K|-aJRzc>Q@U}@ =Di3DaY\`xe̳x Qjz |뗲Ebl [=nf}J&U/zGb@̬e$=DšJ.jo?ɼH&&}ť2ƳٯqABY[ TX ,z$\ pmiuaѥ5"Ǩe?A5<|ըP-&!)t2s-xĒ=E`߽'UrI%M 9~#ȇg ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv)L{K!,d&<3n ?l^9Nq!ݠ%ɱ̰WkvRik:906;; BZ#Xb⣽ ,馠ۺc:H5!XP-Z&os\* &tX&TIH<O'z:DΊd.Le ԘfwKTa6"&Nsv!G{S;34sZ3ӯ!j%g(2w$41q1=W3Ð%<qzyxcPܮ!݃Ưk+{p-^F$' Zo̻&7 kأ)?yIq ie~~7:ĹC*6 R딫›<)uIO[{SOvp(ZmU$q" #Y Տo]T5rH5 kbK!eL4|nc̰֞1v+ QnGuZܲ* ԦWV9ٜsFuG%ӻ7-^tfNpF>OM U)Mv!׍i)݀?:Ant5&ҝs*Ǒ`&ʩ9&[PflY^Mض.+  = ^hL1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyFK1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5463J1E' lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\5 -GÅ"pyڰwDe׍&˜^ԑGe꧘CߣcZ2)pZ5K.M W=_yHX<k*ݸvNy8j^|{TSN)R1#m _j[X3J!aJ@KpOZx6Nb3iKjmW+~&ݩ+)7N]+wj JF+7*yOG6EnC2"b@P]‚ +zf)kc`WM`΁E{6t qZ; ؒ}}S-YCBB}L̏Yb#WAإXx kSX$uH惘$!Z%H6|݀F~ex+؎a(qj@p\Cf u&xZ)&7JcqͯOX>T`G|?XХ˩#m _.;Ci0SyN$9,w4cb<& K%B2; 1Kdj;[cQKmt"z8 (? 'fF,3ʨҸ[i trnԃL:?.Rd{ ÷9'Ma{ޡPVHs\"LGuĢT3GsEMl-N1cZ=U8O= L`dKH: C3U #^d%טpAyWƃl` _L_<=d*,MF .g{"sd4rkg$?l$\cAqG%uEM"?Z5|`?9UWBۂc c4J_B wJG%ď~ۜiՀd˥K0;l- |q Mʦp,Lɠ3ieFָyyZe脛 UT?vZ{8>š0*7F'  E;[ɐ*Zn>w1i51t8}Ӄ$5haݖrX1f5UG&$zi$Z+鹄:Nj\D(BJ 蠰@4m6,ӘP|s1Xl8pBi7@p+ЃDmJ[MDcIrOl-A1mTAg, c~IĬYM M{ g(v|Q| #=PCM4@mê͢zU_4ҋѴL| ]hpm `K#1@oU~T,,606"Ǘx8?%=j?`g۽/[cg;}7¢ vRp&Y1K9"];d~cI[x۪3ĹםE(+2}ScvGb@$0^Of wggYZI 1E# DHOL-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[#$[=owlAY8EGK2_Xc[,J>o KQ:T~ELgL%F6Q﹙+(?Xub,}CkhqP} wpa$bImvdCe2̔ ][؆.lH1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHG1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id538@F1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\9mMW6g|e l v*0HHCnzޮw"<9YClZ[ȓM/g Lޭ :X aIUEt ׉٤$㋒Nx0_I?&0W@FŗKeΩnNk5K3Ðw,7|Kvbs4s`U̝?,ɤ܍MwaV.Jy:Vy닠=i |gA|YB"yxZԜhA yK_C`g٨_CRJM'߰C-O IN PNDywE . 1Q3rYjŠEkESU kGyYhTL s3!~>t_"{2J!Hx>9uDx Z~s"hn^^V zJ?Y~gYZ/MS[rfHZ6:K[(4h}Cx([@~M*wT9JWI&`Mdeh!颤̤"5w߭ScUg]ԫ"L_I7b\O#Lvjb,⼖PnPO5#JٖaORF@nRz]ᴸ1_;RjPΞ7f{߄C};0WA;l A}; Q4th,G(]@4#k-#PJRSN_q1XE;#q8HʨB$"/h>lɅDA'?#g[oEɆb| ɃPW"(݀c(:.xɐz@Z?4c(>p_Q}mL-g7- t4Ht<f!p-<{1KC 'O,b-WQ.,U9c 5eX *wVEs]u1@j[E8ʶ 2^Fkҗț1cܦHU, K!zADž9<ە vԨdek!~uޡAjPg(FAzj$Q0KUaIT2#5_9&#CźWy~Cř^C0YۿN7GDH i*Wt9Rl%ZYͦRm uD?z-oE맹LIkZDJhoF;t h/szT)-*B % 9ӫ~E}gSP+vLӕYb=ͨ@8Dk(Z4ʜQ^Jy%a>|uy~M daݶoT`A~b+خ`(;{[^=;ѹ7#oj50St2Dלj3T@x1s}ME^`@%Bc=BW0sTHX r+v=Z}<T+R!cվ}:h߇L9H uo>?tze<~!e?9 ٲLQ̼t͢ lU؊ʻZZaM>k򨎝ǀqDK 6w&Uc!`nmy7cҢFs )}aR.ĹuE]U5I7"8cH@1k,hV:Ý&wɑsS; Z}<7{j/ߊBwZ*P5jY[%kEZRÖz_JiPV!l42z$m2"3ҖrP%s(Adodf8xy*9u'=JxWj fIڊYEh&Qg"u /-<>AI#Sý&ccnv>E8hs2̵L'0b8`Ց{"9=a#TzHMER! ӡ&e4Qۘp.p6ZJ'|+ep[]U^CZ%jK0 !}BʻϚq!p:E▜(ڨ=Xһ͔\L^n ..k9X0> JIv@<a'tl =Q2JIt #Yc0&;RReO3 ՏK~)1p`P= LH qe"ZݠiΣg{Yէ.{߮g rzOVT9n/Y/ ߇^yu,BB ~ل? ]n ""I.8@+ҀhSE9z-`RɠkH&V! Kyֳ=YzXITE2J%fʁ8jNQl(++L+CɆ=N˅XZZs6o[D(B '^% %IJ0e© i`Hjp: \a\8C$ z23dVjDi ޲,T4*q(N4M.ğAoq1\Q%`GU¯D=oq:=$2cԕ(߅mG{t$8Jr}eՀn+zWfv7٢vڗb)aGjd7C{^pv$%=AtcFOk1|}Ov$JOؚɠ$b%Fd0X £ݷu/"-L8?tJX}>Asj"]{r\QV!Ƈ͙)?cs̓89\r <]ٸ|j3Ouf aתFҳd <T7:tMlC!fz9+D!q?aop/G *N;g|^RBͯX敛Np4o^>s2eJs-goYpm"; .`oU1˵;ERdZ IUaf\T9 ůp0Vii tg{qr*Q%`( @4C]$7'ï5Dg_vP_6m2sfJ&3UoLR ,QQ7K4_i.CM/*ݦmjⵁ@ Za"p.Eke|tt R1D|A zdgX`ryS&㯮 aCe7*צtVS95zXR;ר]~0@S4/ o&5=$:%iJ-wqNd s]XNӤ6;oҮh{ ^hW%ۑVz1u&{&Gv@nKRP KV;k,VW_KG7՟) X^C3HຒjVAEG73aul9$8g4B[K*m} +5}7 {IJ@_Ŕ{ĐsOxֵGy4NRJkզ`R :6iekMYx *׽^"pzʛVоiQϡ|,חTO wX왚 ECxά"o]6^+>#P}]C) si<-p=X*xoqxzژ;*;0/HQ 5[ v9#gpc➋m:JvTYBkɅڳT*98͕YM AV _Hǩ֏se(A ;'c]'wo*V֖EJolspHc T&*E 4Ŧ@#ĚL6,W YW;ڻ4Au7< da#=o}uSC4͂ly3?ei#⃖+7` 8f[>v } ݎ]E7aal?PO Mu12jhOz͆3[$cB4X qL%π_>:]!A5w<{Vlh xGe픀 A_烼a3ά.&IR]lxiAMY8LaB3(F'YN-Sg{ Џ&MLrGx#{(eS| [32UzqzUyR9bŭ bbmS@)M혹)Z RPy,^ 1oZ '<#W.~-{M w/KSdULURy>۶4xo%0ZF"La -9z52\VAdyq#UQZr5go6C4Z*UZhIwC88y%&K8}֨-QW8Ųg"!Q\&XA>͸H&sx,2H=חwT╂ JA[& *@F r< g9qH\N/Fֲ[+!K^yRt A܁Ae_|s{x_ ?!x Ml^ǝ:DA=3[ⷔp{O`[KAE An4VxXf)M`LJ'9Z%:yQ$#"r> h 47)V6#prq.餵1 -*V.r |'Qlehr؆R?M=u5*z 0VSɴ#|WtgxHWK_7 6\R@duZ|dm$(.:pb줴m[ޘVd}%{' a C\ܽj0 q 괤 ()'G.nTO[]#stL^K MʇS}v0ʐwN]Kkx/z`#ؼ<\O[(`NNVE/'УCp#:(Ik ɱ'kżC'(7oƷYiB*MM5Lu/H+^q:rIe0fDdq~G9%B#2Zpzx8Glz %nWy˝ᾆTҦQڰ7 {,< s~YB"JqT"}ݘUTkq< ֡ZG:9DH $DvPfS&ߟ!0%u~Ty%=.WIct^9ԧ3{Tc/%6ƪx,Ųe6s}n \JҫO1A0ոPO а< #]4:ߣH~CH7&By8Bx?Ҩ.% ;]ǓA8*rN[/SC^2`U'8j|q!U)f=<KO%N/!xcuc/2Fplfcѣn/Z3缲Q'3Ny֎n?p#!*ٹ:l m@؇&m.G1$#B}fF8)5qP//TJ;;]̺U\T\9d՟RѶqVRsD{S.̓>Ԉ>Ⴏ^+ZECҺk6),&pdJS\S> xPJb ޡ׸A7pj-t@j5i|Pg v$.;O?>wy7aó2ϊ/@Ҳ+½ě|[WpOb-}j/\m*S0B7h EShݤ-"jxfWBĹoES ػ;] P{SANm'\CRG31-$J;rGWU8 V՟9@;y;S,uhNKݭ7$11B|zr./NqH1gbA4T#ef3["hجmgiȁ"`A N!;+Po:N}䈵긺CgA%9fvXф[Q )q\WjAE55=`yڅoNC͖ԅH00bӴjaW ~\w>>c`$삸QiSe6MSzOD!FFjQIF ' F0C53TEH2iM hբ+ ZI§/UHݥsi\r]i2M"S_g#Ͷyr9e=/lҟct"M06}b]=l;i&=ǣU43ekNeʩ~m/ӌ:2 ;+^AeaXO^v!'S&w~ꥃr7[5HԋrH]1⹀0+ +T#{amt#omcYq\p?/,7g u4Js-:q%!`Y0Ŀds:\T9=6M}D,K' *L~,AcRd}A~1b?>Q4;*RG`'2B?l.#koӦbbqxF AGIQ>XkԜ]sb>ض(º=|ս iʖAuRjD ]1LZtSɟUL]/yZbva-PR뻵0ܣM.=pb}$%-ڗI%-*k$$̚P5+E zvʔ,;k;FnozGl W&דkE?5nv%XHy6n/T5(,eB+(bI vQcRvAQ +Ob_x^HQ֘x@Lh˔WC>\ 貍h,ӪrM öNÓ?G4?>L\.Uz)&ܜ7덱-?jpV\i^@.AtQ;1 PV }>hBqC ={['qS鿠{*+W:Pm7kiH\\SJ{Wsm6>wۤCa/XL1bV$|?X;oX/ I#{7!(a u}~!\ 5S2&H/2e7dtKŃF`{buV63+NH@xH@RdD*wEwv(7΋y ̺?.vxi-q$U'R pq3I,zp!~ {aAWAe4ӗ, 2;$PGr"ߵ ]4r_ԔX;g,pIprɂt\|",kq\ypF0i?>$wb҄A1i^|n0@!S|lA]M>Dž78OZxe9 r5XexςケvX/uWw(pƷpVLgNJAC .to |MJ х3,`~Lר#xnp6>R 0aKk"O&v$i cUAUЧ7}?q^E*e%k 2%%Jc}/fgHoG,23Y7(ZG2`R%Y%PNAu(+'' d:(;.IV@1.۷4Tʙ!=Rxaq}\zgMҴ=yr0Z98}GQI{:ǜX*xo|je{^ ʕ`AhI]4В+ BӧL)9:kJ".afCn&Y4 ].uEemy}'c*8j!Ci{"f%_}="/9zhL];2A3Ɗ$dzpr&ḃ}{eݦ.Y}FN1R]ߙNb)EsJfkM MmU{7,ͥh'@0CQΆiř?5D/\T{x|'l%p/aYz.kdQK;76!'3c}S*J;̕(ۓKz̍Lwtv{* ܫR+Gz wK.chSĦC\^8+}^)[,{@?#LREaWt:?WC3s,릒1%'y=\eYb|yߚh@jؼ2 aŅ>,cPG9|lR /Φh+IK7)g^|@$֞vhI]\l3д@Wi^R,2L׿>w,6coZlh}o[}ƙYYc5 47M9 0\FQie52|PwB%Q*}xPAd-lUzN󸠑/:H`ŗ"%N ,}]~߼k%)!cϋ7osˍl_hQpK\鑸5]͑aIrךpLZ/Uw~I0Sb%óG$߈ogx ZLyNabo/yj(V531+ap>5H\{˿˦{dQv~$:=8t7Kl\ϑIk~kv0=KhENlslV'yM0'cacLt{kJh )ITUMD5坭f"ʤ;-?jA6#vkrCh^/!D *~?T{xzf)N/IJkV#0/dt;5z!NB5@HP=Ӆ7rOM ؅bF=[|^*Q}Kx-;Z[S4MP l3 %œ-I):^w/o\mBB߾:N53Cp|]88(JHuj.!uEJ|׹Ucߚq Յ if7aX .H\P4Y+n)Ey*}t0wjMW@؋| KoOw_?Q xޟL"GܖoKP,^De@}٣zfQ0D(YUpp0㌫ \Hv7`Z4u438;X+U~R4rGaxŕn 0_Tp"̉N/"MӰ plSgxUvBwǯ?@YȈi{֩!ɘcUe֞E Y;K] {qrsL' g@0Ԣ`?XRS[dFa֜hp~:\$XVxP-bY_;E-e"3n {}@Fp={㰁EE@晻˸xa&Ž҄^ 2 :I./ ^RL`$$K%I/kܸc<]VaQJ?[ x:!3-niI:LPjcB .C_G&O:%K'maP[OVz BgYZ rr M1A# $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}B25e3EޫOT7JSbo?([QJዮm %UrK'tƤ"R#(͉`¶K /]lz6YxARw DODpK Kn7*IqX !,A1 y5+/ Uqf֨mef_y0F/**YK[B{& JhDh-0B.f%^3uCSYlRr}yxzviQ~0\"bjQ, ]`x xvV4]ZP)3A1LI>^ IBړ,<%SJAٴe$ڹ$}A)#pYU8HI!{OVj̛ ӻyLI Dy}:K{ z#<ƅ(u((w#v;17dB ^H&0;R>xmVF#ԉGR\XcUyf֟In&GGiK.z@RG*3G3/iqv;I8FԨCc#f_ƾ0v^[pS,r[aRէqkLVFsL aRQl Q0=~rB~u׼$ 'eu9 "1uml+ =8iop_ά N õbR2 &xL] _D9X .M3}iPq@VNg0FyjTfG.>M̒!@=?cD͢ɳO(ST6|HŹnHlpb0"ъB jٔTDZ,k "%u,("X%6e+8=ߴ}o.?&s% pOfVp4)@f0 }{3΢Ĉ6SI b32짝}UJd{\> sz>=1E5Ǻl,^f-\>c# [+q߿BZCbS3_y:#\BaBÎ/vT\{ױۚj6E"i31ۘL5[ ۈa7leYWs;CeeAa2kB++Fwd>L@keR̓x5,eJ$Da!OE㌮D%w|whcvW(V1S~2|*KOlX`cifT&Vc=rŊ넶eOnE+۫Rpk/?YAg٢F hV{n #@b8mSe^`!_( :R5F4[md׭"sE=oƏZk!joIa c 2yW`D3f"SA ^e(Тww#.fpg޼BԱ?kffӑOIxr"+K-xSweBuҼ Җ Iދ䦃(CȬ&^d^>{$M>OPT1S|EI ֫ԈgYZ DDlP1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyHO1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id534N1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! }]D?7 {?:fH\:G2ϧ:3t![ ת\|no wiͶ\|2_.(OODŽΉrgV N`"pF~Ԡx3KuMP5QhTeTiZ"q~aŨt'e:Whb| kdrFęܞre4/ޠ][:vf\+po`=w1Feİ@HT'I18B Iv6uɔxc U]'[8qtႉ: ֧O0zWœ++pPnU/)xQ] 0Ѿ\;>hV(OcaJ5<2=UW;Pje鄕 N_uG^4CN}L(Me d{Zp !-kLG\ ϝl+ai\BYѢE7ZS=,8݅O$kn(kvSsQyaF;~V#9rqe ;- 9롄 #HsbGXNZYG<]grH V9Y!μU$D a5jAI8 +J7+Hܦ*0l7x)(49m1%|=efjdPYBd[PqeՎew9f>0oÄiswdE Ԉ1q&?z,%*f*m;0ؽD2t:lMjJ UeG FaY oF"D>&/j?tHf H\1k Jn_]& ]uPh~zl Z@jEY#^ }{dcFV|jQc/ *G(սC1D)k~'$9?9E Zd'v 3/蠩GGS\^`{j  p㰸Y'#;0`ՎoO6ZХl! #i&V ~B0z.:پovJ r WFѝ͞E*i4+ey^$aU>^T:) +xe\cG^Wmh&\3#+FjOS;ݽ*Y&cǹ([SOX蠗Mt~jhrr(OD O32 b?W|UFAe /?Kv< AS4kCt4CEɃKl/M=kN~e  !^.׬Sp:%Vd3ƾ5G(/φp`$%9M:0VSԮ LQ9VE\,$wB iٍnދAQ? c7 Be]}۔rl4 vG)a`j*M0Z; 4Y[n (ql!C<]O ;tؘۭ+`uA|*ޫM*yzw6~/Kŧzu'1BF;jHI pL23.zr |Lp 0~ǹٱʅʊQ)RD `r'Y͸-1|߾dh䑺 k'HKG༐c%"}hB5+ԉ­"L@N˸C:rDLIzאg'˵2gYZ5'x޼)^ձXc&+W7^ћ7Ty_2!o*vU9 \J:;nGRҀ|OΥҩ ]ҴOfdU 2-c(md$: |c|S<^OLFnQ+zy;(8@ X$6Ru>T1C/8dG;P9(F!7gU㝎[|p?pAwlteb^B>00ttFy/1v%ytH3?0C~/S o괼 pQ~ NFo_Mn3"b߷LuQG~: z6Dҙ10jr}zCu`\_/ < o8C7]v XrXA) Vy9qT``4'o D-ZZ0.QIHՖ\ˢ\s0y79m3޿h7+U' ߁2?UgSEїv|юHT0FOw qMߋ] >Ʉ7yC T5 YWh]^ -_ iF7kһ̡w7zcee`` d֮΀8~%$ߣE B/E絽2U #'r Nd A ;5;p6~Wo%Fk5q 1 FZa۸wmkh\Sn .#'^Ơ]b%MtEˇs(AÆ! J-m{;dg(//(W :J ~?B#ֻJ+gce h}+#b_ԳS ޮr7c@puxLޟ6[r985-4;ͽeibVR: KTBuL˃4Is&H 3)3ij YoCHic6v㈖̙5߃UR,xZщ=dG~`bZ]w~1KnA:;k̴^ _: p)֕qn7VA95ʔ7AyƁ1}r-èLΌq+چ?;q'}tC%mdW 37n&O[&L sksQqCdn' Lv;f;}~b5u9VzXKpU d˶w,Pp9f?{$ _N e&w`mM)|>pd TFH(tqx>y ʑcDIڹM;J*G7EFlBp,o@9"mkDH.Ў.}H]}Z ݩx=ZTTئ}tHr5/ۮ3LJHĴ2UlMKV QH1YI"p<ɇmYtF*qhmϮ_[00mQFF|m<vj=ߢhy 6y+:Ō"x}5wy,8lwauܡ8l_:I߳?c[|%bT6RN>ot׈uGk|F`6 ǫ J&'T#ņǍ&'S:|f|Dڱ;q}ҏ%J5Kn횪 * oPo3g>=E主_PqUd:jDupDT6#/X=hÍJ␶†OJK7BPk#b;w*oG|uqF$8̭Q /eg@)1adjDENp6L=9@'nPF'(rX7*b!? `wko:d9]DJ/{V2w.7<H qCǰ9oWV5W`ixz(@ vI`8+҃4;&a# c4%t} SNkWr avŤsS&ǭUz\GH/wG*΁¬38WW.;DnaJ5n>22qz hhV5nepjˮ,2QGehu=*w?e3QBĶQF I74`6z ϝEkdܺ۵nCE!ԇu@~ GdUL}mO39 AjG2vNo 0RX-) =턠iRleTc%TP=ܱ^wMMWṌ6S3&z]F.++] x!Ut[ < uE6bj ttI'u+~̱MlrNC5R@8j5Z*$MJC81J.c@"[Ȯ%8Sߋsu#rXU*&,]i:氱 vP4D~.xV|3o C| ~dcW1Jٸ$M$^?.\LpBZpkVԠtMoϝTO2N1G֗ _2Pi:1G)(R@׹Mwr%aǭY?), *D" `$ .h۵HυWIET]w}m/8px%,&?x<2 9iiZ- 1 lgV"[݇+=l쩾A gd,jOGtxrpWV2&(&}ÒPЮ/v׼{KcqiokL*eө ȫg(e&b~) URa K aŒ/kOWNy9Cz/a4_/ZN?w$zάCcgyjVoh%.7(e>G#CFx8Vl2ϧimJ=7 -P\< y*6!@O v HiDӗ]IƼn}yeI9!&Ip͐R30&ajFRY>¬ 2E zIZ-Zwimƌy6n&X_RFjESQԛYLmy\LY0v`v)X|74C,PnULkxe8UÂG}2HyҴ.)]D$S6}^(YeRٱlǁi8IKl{Q|b% ;@ry& ,,)rZLss['9Y^ :ULA.@.zzوAN۸#JMVޯk8v|ҸN6cj65S ]UYq,P`pdk6cbp2Jk%*K<-XCzJ6&?4&pJֻwH3JSV"?W|;1b: t{\tkm>g\u9َQQnXV/ 8 S&-T&݊C<*~>T:|RЛRHُ 3:qB XەN䪪jչk\rZ$^'wUbsmp~2^U+VGj "qb)\KL@jZiȳ0Q1s#@`Ro`v)jC ˓H1-bA:^'UL(oS^tdAE9k*صAW&8L3`/lz%rWհ ΅T5 7ͩ#))Wp>7g%5}36wZek鏙f; )j*#Y7`} oIϓvۮQ$6>MٙjgwL0E<C` 6>^^S ru6d{Db7ZQ3<7čq!, U,u{ЎSoCUDEd>RB(/x!a·ВWNh[[jbF۶0QD(eCMpTBk\˯GA9s/.$=Y$)D) R;<௭D22j ;"v.N3_: q^.ǹTX@6{}L\JLM0TY{MQ[DFu2C#Nm@eh #snyk&yb=[Vo*(2.5X6Z0mP]#iFk$q谆l~|V~j=k~KC9;Y}kdAv؁s}]AQa/T8*]\^ I&;j1veenvnߞwu>+;k)rXӧQxz]x)WNZ l߻ Pojd_ PL4LWTͪko)Ko!vG6BVg9U/ZF"YJ|nhawK,>F)/Ǭb{>B˜#us"p!)AO͙|uTTl,EeX"3;c\$iKޚgb(1ԱF;$q-ҭ3=cC #̠3Q<G>HlIok<99H33r}W#i644 U KA GTwWV?ÍEw O|$@Wy"IōtwF#>K$*eTwS}ѷ%tqFaV .-2H 0Z@1CP\G ̾!1# S FT2e~#mͱ'y1N,,7tDʍ8WX~ Ib;yRW萼Hv4pUڇ|ҲzV~g"]{ M1[%9IN3=B )ߗ@ߺ"K`b,x]&x_lu]pn.X)uf`*4 8c.8}( q̶Q@DJsOU f? s 1U \qa`%^|7,N-YG %(. Y$f9+ݘ~{tSs+.\K`_J%5 2tiu 짯dXM^W(@me5ۆ WvaA(E4lA7ҙaTK%eVG>-Qu{GƮN(cq)iy _xqhX֋kA?BvV*] ʝE\2m!dm^>MФs!:j95/c/=fo'縨F iZ)kAL_H+/CW-r* Qt"ATfZUi<+W2:n# IW˕"Ϊ ;9oWKgB^DNmEmaM6YŤnOUDp^{D~iž9KFWL_!?c ۢqBTk U-}Y@ 2='>7 $l uo^yiknrIż<ͼ\F#7:Tf"](X ^﯏ ?7EU_2VLq` iM_DžGB*^)sbݾTʋ~ǡkQuS(JW#yVF+w`Xىw F4K7=®VI0I֓jGWG !%7P-8jɘES鶨Խx)Nf#"ggo+tz9,"Q@e WjR kdF #;mؐ Pw$Mߦl-OQ3qy?̀d+ ^μq0!1n֙, 'dDLHMֽV~CRu21'uô~~eDR͝T7+h#C3kLƚ.|&e!)݊QU&9,(NiTGP]~ʅ]R_?\u /\P08 Q24+G3Yf7R݃aL*ZOÎ񻲼%b͸|k7C.՜$IB$ٹңB3Hx̓٨x}ڽG7NfOj9A|g& IPmUNؾ05GvpaxIOprn6KOg1IM5j7rc8YċY~L‚3eDZ7q cGT Xf鰚3']G)2=H* {ya?x6Ƣ%ydD:Wq%]&}8H '5_> :gtF_T%Ժl*O6<9]crY1~; n&Pܥl40,>M:k.7հf+S* X+5M3[|NR3%- [/  ],wɪ&֤+0V \Zf4g,TZ,d:/{%%Y濆&f3YJՐP_E'a. ̵wqqڍ c5p'3O8mGSr&X4Mb/40G~>Jg=(&f7E#G6D1y(>'vERaԈF}" 1峳ة/dc]bZӍj |YДh3nV.%rO쨴9 lS,MXPlD F G3K׾e Vbzxcvp`1ZZ"Lʔr}91Z|R}|>ގ|!V#/yT2}VVhpEeߜb{-9q!ap7Y"pHk/i;#P9- h4m{!H~ @hѷu):b"h0 ks(3 w N`VO|*L,/jtb:׃Y&ѣj|ϦƎ܎wŘJq|&-;'6N*Wo%Z?w&!]a%2pGBCJ87멗4ʊSZ] ^׬hp(uP$I2šOg>( Q/yF#7q%~e*y$rH~i 4n&4իC5b@v#ғU"5lM`;ӘQj$<1uAQ\bd.5hAkɥ83 EXLxdΕY^7f5pIx1ýUS1ByŬlS>"` Ȼ…?4W *J."DߖX~ghm>*4NkMXckZV3nۜCqGAwߜzmb &ׯe| Cd}$޳.}V䖆sj+pii) KeH XUM3K'pdrvm2 5<(I)Ixt{F9|;5U| .b. >^d;7inњÎ ^ ݴN`r^3, U(S(.eyEYW17.I vy n=UK7pؗ]kdRp d%9뀲m+<&ZFvtRH"p4v OJE[A^ pC-F7S|LTi?dISzȆ-?vEߑWft(/N*O%쟬1`tZt;+Α=/Vd>I?]6o*Q@RlJEY̟(c'>!K[m܈"Pl7b K])ZJ/z 2[="8>k_Y76** jk>8͔eN.':+NW"hhs, R‰ÃU'1i+īc?%5b+f3N,wۻθ˵HSJAxB)Y(R(/u\0\ra>]5RڛOĉg#,2Wmׁv'iG?L-K괺4aMT P#"bz6ѳncIJ@'A3j3 E: zB.&v]  aNV O(oŕzyowVeT\loJE_1cWew-D8JRĺwZKb!_7w# ᑁV"q+j:Ym8s"{Xcc2hf iBCQQ8`Hs0JWZY˖džfFbM*shϜArc /UA(cI45Hi]U_%{lAS7\ʼn.c8&Jja:UR xSĂ7%ݐw G[DZJH.W5*{v>G%|Pn-ʾr╙ yG|5 z)[4p q3,̫;kxt #WY)?QQdFjg\hw d. -QN;F ,;<<7#T_%1<+ӴƂؑPm@crs\K,(Г;tB]Kٽ׈8B|I#2 hM7̡pK~@5Gũ99D'x% ^|?֪zHڕ[VdsF7#ZdStyJNh"Fd{w$ؾNvUVtB$Xqp}ux3SzIe #E jz `lQud ߏ9P)?׭ī5R?E#"^m)ǎlz݁PFZ 8 %?D7+wz+aq a(*}ꜽfv3Ap$uԷԘ O$X v-7&CJQ(}ذk]*[4pHF%l\݀.#n(],%u%_ƽR<,ؽayR~ 5 o>t1'!מxW|-}$0p<ҎlLIpۦk2ִBj;muZ[E9ha8GmQ#0=ƥw]3U{h{'kTP4|(ZQv`u}CpÞk9Gw=x `|:guQ8g\Ulp\nZ 8 L3dO܈)=l +wYiZ6>`ےG/{ $ep3Ecd׽;H7ŻD,ݰ볼h쏭Yg?cـ^%/olqkvߒ/l<ޞ3Q(_V&6zAMGQB .W̜<w*jU-_$i[&Tqr}Tf̡LF޿0YG.}j?v0o#UzIu]TD]BʰSj8q믰hK) ȭcmZFgj^N̼2s2>?U}4H$Zvn0_~^gٹ+7w6,NsTd&7^\uدvmd yqJ+'2AqUvZ];evxejp_lS^KfAtk@AZ@ߺ}px]Y;!8My-loKqx X'^aW,'kCj lΠ=|EǾypql뎬S{qɄ!_Ukc np>oJz."Y:qEC\^XOҸPU`F/fNKe<~~HhHMD(б/ys=Eɷ4$82զLA:c~ *u)e6 }H^Rܧп'&g퓃j$Mzǐ_aTEmA&#hiIH\ބf*/M,yQwYݹBdDHSLj*>EAEH.'d&n斐5c1\aP  Ip 1s+Ep'`7_/۸(y)q=1N\RtY8* "`_K<Ex_E58JÓPq[;2~9Ss92&eEm~w(֋;˭^bR,I"5K>04N,f4y.$'r 痀X)ĦWfIcWԢ8G @L$|@94'"wpCTԱM3`cU3*h`"Tj3: SÒʷhIgpRq>V&jNgRmRGddaÑȎM;]uo4D4N oI[8^ n$YUYRPÎ Vv-U+'FӶ^8A aqʺLNR鲔s9e~nG!I*7}QŞ辬'GXu~wk]$Wh8FVW4e.9WQ@& "E; LV-Ua>rej77ZXT ЂuzQBUkī"ϛAV[ig ]2ށ' kDva g3Mx\ XZo\#<]p9\M_='(l(ao~բ%TȐpޛz*"|/M6>U @J{A 9W2dxܹmhT^JVʎt+ҡ uJdGhvzcwE߂wXxr5^vѷ3>$TŮ *Njr5O+Сt$St-F4ĥe:x Fi紕4yg`]b ' )x9_Gt׶ Z),ZZbh3kP(ԃį|dZEU_;KV8aZUs&|/#,<תA9L5rQQ DRJbH2@}N~$A󄳉Eydڦ5b&";hIQgw^C".mMj=ʊ'0hIFHn{IɨmJD*Gh}hCಭ1p1Z=V5xIq {s%~K5c%_hq sbu %q.$?2b8 n=oIABu;%(ű ~d8}:Ӌqsl{s.R%oF?UaD 4$Ѯϭ ֚PU$[#B-Ĭ[B@Y #*zzT;:0g6>0mIk֔!9v`c"m4#\7w !F (tݏS{ QHr}JXJ~0ߴ.exζ OT$(7RTk !2v\'q LtaĪh̬o8 _FK uk4.@3gv٦@vc{ȉ|^e `8xNncCqV܊"B=3Sd@]apW VHC[ͧ,DgyS wNdkDjlvx { SsMhWRQJO  i>IB@OlϵeW82utD>^J>o T?a%<'6"ucm0tmٞ6q k0!9<'!o pȎo +Zi{]J` Z[SeE\ìo54g%!uH2ӳ&,!zkǔT 1 UDX? $L`:ʁ 81Sf~I‡3"?oNܯf-9Wc1̵Lh> G[[sruyL|E`CZBc7==Ao?~lp@ ߱5bY14+{r>ɖ\NK֘񓃞IovJ&/q休h&kud[+U & d&ٱSvI@U%$;D, *ʼ_۸Cxfkl6lWeWQC:hN(IMQ(}y.zXҢX߳L::a?؄5@8LlH];@C.n\f7SjFC{4!#Gxw " q?d[]f["nmJyaQ^Z #: N^}ߚk_50JfZWaCqI[A9 +WVPܲ0:=V7 Еzogk?S.(24E^2r4s=捀EvI!, oN}i0E-hȎ:̓aE ]BEz0^ /i3vms(u,su{[I36+sb!ooc!dS\lzĕ3Lxޢ]7j%IԊ3[hNɎCe5#-twb15]dٰvL" H%b,`3iє-nx,1qMۺ4Y(]!9\K8p/mk J5kj f4VQ g!:*Tr?%U7ML5(t_WuB/\#35@D[E+$k׉ ={ ŧL ˜ fVJB(̀2tiRZ}eOªA]kex.I=>;=Pc +]dK1ҁ(FNX!2{ZI"  op̛?pUX>j3qg~|,|"&sl"+Fz`GE8msi2:ʋ'RPQ6yYNHxa|Yߪ\s,//q=XMLslBqb*7.@Op^ wh!Qh]u sܱ;ǵO ժݙ4Er1k5+H4HqW||a?z҃΅ƾ^O};fduJ|s`Ib'24Ji1Fu8u3SX{u˱z1)M4`Vah~A܄5I7x,~JC2 = Ԩo|rN)] u/O f}`;N |:fKZ6IYIonėkoi#QC͈0XVfҺ%cGD%l34|SAC [bJao*u(ҢDSYsXQw$g`Jb_̴M/:EUd­4ڻ:L$><[;mx& 4EN Tȕs>Ҡ錿'R{'V?\zmc"ghL(eZz lc0T],4U2aF̝1 zaf<aRq'KHJ;T0(Kt)IHey2:l=QBPLJ鳨ȼNJlIK[dwvêS!PV^ռJ1`^^gW>8eu+?$jS{>Y֑*NM8%!amcة f}BDGi?L(iD--1>O#Ӟ uX+OuM"$[ eUztPlW GF/aU[v\"n[(OJZ r@gOV j a*ՒA3`JW]~p~%WchN9Zٝ A݊ULmGeyV7 [B>c:Ц)鯁n? vjNY)^?bJ.xō")fvS}QR}n&_jEj77&3Y_~dIYhzGcQ-ro_5c [!QL2>7')XOnJ5g-lX}@ %*}BTgTgPs8ܰ.MP.{1j#UN?!n* pdqg!S$94ƻY=LU:/)LZM^_"XO@)."zIB3l딕h9ӘpP!h?L0Y|c!l1O>f Opd;*5/N ³?T(\oi`FYgRļJTst)̂}ŗxh:UnH;muZy\x,S*lIw 8T=haҎs`sMS wMOPy_85eSZr&^r"6a9(}1~;oh GŁ!A Wi ` q;ab^ui뻤Qu#*yXP;T*ظ:zi_>'0VxfψzCuH4F"sU%"@шerF͏'g؆Gx3#d^|M{Rd|W,%=x疫iv ΋fM&4Fȼi̅*֫@1g' M 6ɧAQqPw!OAvGlh7InX?ʴ)FH5K7kAm 0na^4zGf4߶ځys8I+&<^P\b~2Ah\*oo8iA,ܘx`sӁuE@zMX0) !3P 22XkJ!0A9 φ_vzk)lXEiA~y/wLTu掐\i~,{*6cH.6R@q?1 IO$ &!D469Kh-;mKG{Ŏw vUrby 3maU(^+[+,m+h2}H:?;LɪT_ee h?{scFp[ e>322Pw90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2TiܡX=o$1 O̽h3F7XW@xSrrk:ޣ]|vW(w#s, 8VϪoD!<͝|(;߭/|C]6+}bƸFF s_pCHgdjB)%]`.&:]=ͻDAa65~|w<ǽz0SdZ-"ޫÆnJ՘YǴr@Ԛads1B8È:"5T=y>΄ ؃"[Yff]6V!uF7~jQ=3L a-16mTGErhM#CATtFJF6m^6-*HdV 7$em*"i,"y40|y:ͿEE3 Xy2A[1 .~.f* yI8iúJ2t ;mզNjVgݞr;wf24XGy>z!`i-m/+ƯD{uƎ7xבSFE$0%>8wku F:H쉂X!֚!'էcT`\WiQ.0/l4>?ҳ.lqtcғ(}}/3Z7I^^ǤTAbul\u<p;qU@C'58ɚ0z?Ikp5WSvU-&=RQ'HҙS]]ysg$vcB S-BOl`:uraAkZn ~ߊ^[*ҏ?tPX–hf+o,i0j~ HƧ_Il.y{ڹR_..dbf:X$Ʒ5w\p~Z^ѷ.`~kNxyh6[^_O@3;Gz'\D#1Hn&-NKfsՒ4cHKf;pPD`g*<>x 1">^th:>4 5)BRSdX4\Ip&':kQ|P+*De/u+VJ /XRKʲPy .M$i狔΋> ܱ]RENl&  Nrnݻא=[8c#~d"בk6؄q3jj0=PW $jWJjw oKԃC5rʯtv3"Op-Ǚf /͖8fɢ1t7k nF"m; b{h$׸p_k[N 5,ft_ œySShُ̥D o<.0]Y{$iG5&l&'-; Nz4V|UAߒ* X1/jFcy=z4 Bo$'y]) uD`S3H})2͍"y l!)JR̻DrmlI`P!)bY_rpSw/˴Ưކv2jHrZ̬j3"z# |! a,%@Ex+)+P sŻl |h>HB!27 q^(lw \\tgrr̽2I9缐[ܜEKPm~}!~z@JWb $:NgJM,W|NlR$@ۃ9t=s(^0!({D,%½Mip+K!p^g+jt{GG..m+xaB&X6\;5&t?~~Tﰂz\Mx$+i|ey }ϝq 6pw(dZo"ŵaadj_| H5zř  U G08W3 Z+Q #~WB MRۛ] JOc~e߱^R2B,ѝ˺g/,}$Cc~q+ϡG6?3j}ŧ R>$n)q$јa;>8`9ˮhU+qheɡ8X6Mg+PhT:J̟K\߰*&6D;+D5m\?X60V_XJLxcKצ OH^ AxY159V0WdPX/6XZٚKғJ0":0y;6}]R)~fŸitM@*DYwapcϰځ]6$&3lY#"c1E_c|THc.fӳ?a|$U9'+HAPɗhm~:~&R(< io:FB80%*+/yeaʏ 1$O"oZVfܠgPc곝hpI%T_7:/HblМgYZ<-Z~|擡-D(2>uU :͐i%)C'kwyBjO ➒ fj84A8ėm$.@.U0ޥˢuN$?,8 O\"8kYa0><65\@@T?8 $G:p?Pfʁ2xKtG$ < T] " eнޓ>+2G!)p$KB5 Ώ~^ mut \͎WayNɶ{J:D1ұh5Π3 pK>)d_۽8o{1|_sp*#3Iˣ>y^XٳB]tq+zi 7z Ow.I%?\*>Rp(8oUT^($^Vfв[9rgb闻fq*:>^,>1o~یz~/,8N3RPJ7ZdzH?OGMšp ۼOK߉#qh$Ua:ypOE"zc }YS h9v0>PpOồ#0<1? -Zvݎ- ːi,[.q ÜKPI_j`ЇՂ >$llqOPaB"е$N"#5+ЉJ(GrѢ Yvxz޹zkŠW䩭cXR%8f֤/XRe⁧Wog=U T&_?SKL4{uz^ h>e BWBbG>;x]㱝sN8{ְxY+2++q';w%,/qV*m~"./ }3 GW"Ӊ0Sѓ\jOm#Mr̟PW;vO3\{ ?E7a^" R/=?ή W /r=I~okNIdҲEE@$;&lMV)bݶNtf>CA)4rhXL][XK3=_SGzBvveZv?b/yo@)6Qh){\ 5܊k|jЧY6-GbRqnC\ߕǹ 5Ka-{68:i'-2iJdxoq /MRF OaP` "x7lGHYD6GoFgxmHfEfp$Ġ-Kkk.*-3Mݗl]b1 ݅>fII\U&?9ebDv܀MyRex%(TnXT6BEpUSWk\hh2R0VXkiЌ;W ,E'߂v>gk8Kϙuوn1ޢ3ױahy$th1_ BvrJZ_:b-%ks#f?D[UǨ+E<JG%̀*5 D:çs7=5Ӏ*rugQ96 (D=SlDG! klZ6$1 ƼVPz/Ictp҂i]2AR4p.=.NJ$%x@eԌ"قSp5)FLd~_H3+xa t˓BSH-dp HHm283u^?AƴJ{Pc6neY}Y(NxR%6šנ2 JRMsy,+EFGnt/sWT >sRƞ Ӣ2r(g4 M&<_dXjG|V>GA9/NwL UKK5L [fF9)g> $Ȗ`a@,V+tu"Ȯ9@tۀ|&6y #s2hwC4a$/Wun>'fXz\u&[CX1ɥ`P{)ً( L@,' e &h-匈!!lt|O.x|:]8h2F.gk9Y`-HTf`ePJc l_շ]Icn"L`YPbU2>P@CnM.ҖTuqQ^+kB8(@'I_Q.Fji'gbݍ= oZV1>&g<ٌqo|fGrKC ?Fw~jm̹Pr0$J`2A81'1W`-v!E&1 ! E;MRV*@ĒG ˚pKAD'>ǃjca|cEZ oИE`(02=F .*dAd)~e1tj%Xfx5_Avԅp쇰{,a&Mi[Č8Kc\&:X5-V*D}&6E-pb;rRLf5&]]\ߑҼ? $BKRP«\ EC!ڬ T$ Y>^Kc'G]"|$ь Ԡ.n C52A^BY_ЕDg4Ѱtr*!_?"dek/&bߛ_J@)T1{{yjqxK3? ۥz)Y|9KFt4m/$Oz.k3Wv(8x#D$y["qS8/tޚVֻl ;xG*XXi}Ge0 "A~itH{RkZDCa*UɎJX4/aWM׳Tj՛ z?U1nΎ#'6d{6*뷞qwe"]]!/k *~i~@³xG翎4 Lၪ iM&4~HwsϷ֬R"aGm7.u HQ̋#u9`=%yT|Fʢ tdPCh=_yVA*̘\uokPF\b2CSJ%0Mo6IBjP9\BaurE^sBScP~zS\J_//q%ya! V v'Mu('<ꐓ '(ۏp53][mA?Bs$zˤIZ$.}@rz4xlЏK+caRcO>}^WWG`mv|yRyuL0/g('`:w7S51s@xA o`~ m7X(6Rex6cWf|@ wPl#=۪tČCOdT!^M006L)ZNϘkoS3"ƾAr{Qn9WƸ{<z9Ȕ Դpkܐ4"k= ;RMboz1gsT ǩ0FrT!/7$/\MQͱeIcxwܭIq#@6PFƒ\_ߥ"3iLf7X^}V}5?8-M;YDZ0)^l)pu5p5nb lx& t<跃dɮ{Nچ",CIKyOuH:'̼'NRų+eu v[\ܥhV?NjCT)ݨ'T3$hɼh󛛎$ǻ|y32e[p|ð"<1ZKd*=.:ͮD:LSSd2KUĵMeA% T1T͹B<8CɌsKɄ.I"zשFAm UlC .^iat_Ad=ZgM.ZϺeC[7 Ypxaxo(ٞ|?ZR t~o}Z&O6?}hhx; oR:aC:c)x2W#W}}ӅyU}Q$‡@!n0ݩهHKw8ZrO1XZ,^WxЃ"!sKƏs9j^ax`VDϡDNKFBcvւ9nP3Q7h<q73]oS 8B?$a\?DjtإCfmE =M-U76L8G(1)s$rO X M->,.Wj8"z"ߩLy'G親bB{2m;tda])42i J6 uSe@o0N%soiiV&9l@SYS q Tq3FQ":<͒`%٘ۋl.2-tፏ,1"<.(VӬw4s "al]oS1m k+ "xǑQM. z*UBzq{Ҋ&ɛ!k:FǒBƜ9%#,/(aBg X8eZ9̺ST7z<}Eqm9 (ӆ aJlfi=L1Ɩ;7?(C0&/ $%xoOz[h#b(;0QnQ-ܲ,? &_XM`gRN[6h(x*ǠNx$ jX<T b;GtQ *bi|0*fΐIԖ#cFz,d6'5y s͎mGÝhAՂ(_ E j~ƨ\O{{#!83 G~9т"c%S0ʃb@\ͩᯁ+o슁?,jra€.!RQg :u>AL(J͇>e *)%Vjd3$a,TY6ٞow_"ۃZ[lI_bl}hn_ђ֎]}=V6UoZ`e+ǚ̋QЌzJs2V}s[A0u)Α"o֟N0)y>IoL;e8j`PS=CUwQ^sjѣyHZ%t¥3νTII"Qdi\RVK^vWoU|N}-c''Eqh( %3SxkB:v*|c~DE写x c|I= L(On,톞kAʣ zTn` ]:^YM(4ɞ|cr*g}P|`u(8%?Q{ikgS!{kѓ0G"douI#5Ӱ[S޶¢6e-E2"`R{`}q}@yݳ$n{d2Uj) Cyk--ٷ)y y4)/TQ7SvW|v_!.">uY3 $3ci0"ZE`%51O_#N%%'?rק`8_!_{tBM}CƒĆ~vVC/ +"osJv&KX Gr1hώ)e)$(Rm0w )Ov51^ 0YSw>M;lkT$zƩ L͔X|c}ʂ՜ 9=6kJMhD#%pFF@B9o|ؕu '&]l^d>g۴4KvR9 UH炓{M񬹯V=cĴ{FRyJg=GM|sWəx<罄v)$RprXH n'ò[,h:ͦ@8&tDaR}"oV@l[ߕ*{l\=gXsRi #kpe=gw7ZLY-"jbF#7d s]CA0:(e^Sempo'hd;!#fޭK0$aTZXt'~y8UY:okDp Mf1&>.zMV)aVlN5 Q Z+ 5CfSn* ÃrI5R;ۏD`~AvHN^NSw~ZYMWx Xϑkv_ٰZZֳj< ZRǐ9jEKn-%|w5@s*kUA4r7Jj&W \MrU5^ΪD{9yFnn`nR lz_U9ROa_Pna׷xCh `oÒ՛}!`a7%BI{Ap/ȧ$у$jP9jPOLJq [ώ72 2 S_4MxHsu=YD 'p>se}eZ+1K1![Q/'ɁD9%{8e-A" N෮`7u1@\r&}l9vl"^[n|U_v%Վw~@; |Cmڭ5$;ݥvbbj2N";MjD=GM@Иϯ=O7FcrQaʉ/ V٦'gCgOՑwd}Gl=풬7N*8.uLj!~QQϡ9/g Z՗J6PÜ9e@IqVFmw\A@aKah ^~6qu^,.$GImNCmT!7@!z@!_;S|Osk6Upaw17D\ǰCXț76пlĐwm;ix #k<8RƟT.Š,?Zقq baQ:5Hrp O*PKiᨹ9 l&P,:& om;bP;N-?:t!I``E1mB۔:Ial׌'߿A;w=߲>-F @t7&R eu$Gif_tk 8xU2l yk/TF w_ImNãdy~,w;}tSyx2Cu"tD{%5̺XoΓ)??pfO%a'Hsxu_S ,=43xIikE>H0lܙA`%MȮG{J4ë2l=#de7n{ u@ qC%ڛgAMҟ8ɽNol&3'Ufk9Z" `Uz30#"$tN0;wC?,gJaUAQ;yd2@)A";%/9"f?Ec%kފ@2Q~.{Őt9&φya#P!@yq@]uCp/UCp:0ø/b =wfF>N#T:2i]Q{sy7QycWZrķK]Pɸ,o|gGO{Vt yvI*laq{;.SZAB FTWN-sFXu eR8kL 0i#*׮[h.FhV-6vzFkͺOG~lt.4 vJ{cBM`QšO|+mן缬:zL Ř8)~u70Kb~SUn[10"`6|囐YP۫VB'IhХ߆ݼ'Z#m'^S{jO"R