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 ]]1z44d ] HOL-Corec_Examples:threads=6elapsed=155.453cpu=514.452gc=86.4567zXZִF! e ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7NtpRN8Nei-_+ Wü٦kD'~[@y0c˳hvu;l v` DɎD!ZVc_"4m~_@yJ,q/([~#?Wz.j4BvK<`|/>|c׳k>i޷ o9:Ć-5+:p5uhN`_Nh!b}՟B%{xh"E'^%ֲ4!(YN duTT}LR_]JK2O\L ȮN.[jSxӠuҡ}nUO~z5L,Bo{YvO ڃ-˹"^8nM7 @f#xg}hM2 UDw8gռf>LtwPnt#0V 8"$4AECg^ܤ*;"Q93UT0PEժ.opќ?0tgUs0I-4`$ ΦQC_R{sl d< Ē!uF#۔}g E0.ӎU*R] ~R[u39|YQmxSГS_{˽ 0/D={{>F<>\yŬ%;?NC^?(t$~,e{lλP*^3TXhKbMRW7vmP5ph-UΓF2$?6ybਪ>ez|(2 b|Dlf[r}לXQtHlR`݉gI1aNv 7SW%j1#&`[A}c5X$q ߂ɯ.x!Phڣyu8LzU_f Mt TZ>ݸBu[UB?u< ;CQ@M(K5DA5ʒQ7`C8,U՚ H;NX#יr6רÛ~ ?+4ULZi)2 >3=Ec $yRr`q)ZR>pJy˱oj}y#TDɂq<;CWh9g',ehW1HZ_=x73<|Ca{/W{F33$#'S Ա ʹY5K=Tr6_a}'Vq&YJwd^Ưaa Zmc#wd{)() vets&IT&6cP"Xw}='b;> ^~;h39(j'Toqǯv*L;n۾"RSհ: )<9= ݚ$][B_i9Di \[ry!Hxq ?c6)&wmE0Dž1d 'h_Y)]0K JƚpF, As釭L4~mxZd Ezu&[R9DZ"GܡU MZ{3ojHHB._1LqtX[gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ  R1_!獚lu3W 4aosWQ{P{pt@WAڻ@O ڡGFAChoSs.؇JOrOۏ,t&.-Xzޮv>ߝ,BbL~xf"4͋-RV&"FAׇQ1UD2 9( 3j%l$dn&( @h'`Ph-]~e`;ɟg&rVO#._ oԘ?f\XB+G= {}"*4lsS^ Diy&1Qsj52SQmA,0.$ ү߿]K xӸ=b6+8~oMuPd3ѿ($%jyʡ7Y HgYZ7zXZִF! }p/j]ŗXi%cn[wқ L?qHDB^g!i{λOP4* J< 1 HOL-Corec_Examplest;~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]9M8J2I/F.@-;*7(6%3$/#.+&     , /th ^ N 3[  R Iy/ z \  | 6 YBr i D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files6I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages4D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup3C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files2I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id1?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages0=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup/<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files.B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id)B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages(@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_id%D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup$C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files#I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id"?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_idH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.tex+I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id1    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ  J1OC 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 PgYZn1OC 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 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""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 ``0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RX?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ w w1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_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=(skHKB8j39ogYZp1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ 1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱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  J  Jt1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id518d1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gq?b rK'kڐqu}XLe$b>zufqnh!k:_56b VvBf\$ s7?ER8a ?EXN*[wnMfq굲a_ϼuzL VD:[ܳ{VjRp-@r/[ʖnD +"LdSD{6Ό6bnay-_Tӱvfڒw/蠃Dӊ婧?[:rxS?*"fUQf7AJAUth#Q57COoL&☂OvEe&HNybb.P*X -7 I+xD(fO q+XHQ5́A5M>&HZΈw;T:u\N-|ԸSRl,y } k9i;'ۯW#Ä ;K pSi&>/3xx}Ho8gL U9}hyD%ivP"`)s5J+ӊ%p v!Yx@BW6DX:F/ѻ.! ~m~A7o v#@^mPbZ1;)@ Uvp"ڞkdf+$z4&wT&J}KX>mV<ᬇ_ ,fGod} Q-qߑdUHf=}6l!9P>g ȶ}:#(C1bǝ4ҦWT:u?؋2YSކ-`&f7'ya.$uy*phO?v-_s۔.M-?%?LJAu| ҩ)hݐC坍\rVN5-2]gZ FFG0%3L? S'+Yp25.`jz 9!T.ywVOF;Gku]FT߲/JGDө*bF4y (.ivwg=+rH~K߿=jvIY0*FФ&aǙOE-$Uٯzy]K1! DI*K tX<x1Z3 kUAT$|Mhq=yZYҙLYw{6m1Vb"Y7<, 2&[^AY7EQGػ9'o؛F<*'64ijܶ)YɆTsjKPRb}{R\&<buR 8k!L&,z5f)͕+ 8);+4t vꎐqDϧuG0> @;;O8`ª ^ࣥ,DZ?#).3Ņ2o\RpmPTx6$_Zʿ`t?u\\8!vBX%@#!@,=aLG]_Q21'Y*=i3 x8]HDO/3 bI6%kCPHkܥF>~{K}u/]!5Nb3!@"JbM87Qɗ8xxc\}t4GJ0u~ӝ~ǟ]Zv&H6^64q[B"1`熿8_3Y;y lMʖ.tsH OX3D*A$F5$;\h_Mq~gW H|Fh0Šyu-1 f711r8T'>\]g5ߕpI"SWK omcFS$wn=~^H\JoK׮$I Yxq!Q+(8QO Lc/9YDʑ[9B<8Hĥ٫\O w9D7|^C3T1]R1C!>,E0dvdʩM*- FdḐ^Z7F^JV׮IKg0pn:_wޚ # H`jԕ!rm'w _J $US vsܯ)"z:6i}WҿsOA{` V$^ C>8BD'Exxs[ ~bJ~yt/L'NK:H#A^wǖN xeb\𦸣aYVxDة xb cZDIw[-N:^VL #Uvih[ԴL'I嫎}\eF' ]b݋q xCbTNP!bս1qqidݙt)G+n?@*;`O{ \mɶ_c1~Ts`\`:mq<<ϲk0ڀZ[/pxxFgx\rPu [foY^"Ͷ xP/3INwtSЄnM;[uʎ/3.\"F!w 87,>{VQn`}!WM eq{شH[0:BT}z2{Ω΁'mE|ekn戻WV$\9+?p* 92ןMSck3[uRJyO2I.@x#SDqʳ$p_Qt/c|xL oaۗ3SWڥc[:KVSoIgJѭ6 ][r( /G~+, $t&4_SBLp ~f\r}\4 %C}rIѝm(TqjI:fc r1+ ィeeDG#Qz@Y귳x|mlerrk~M6-}7!j eNEEk:qn`JZW>L'YỷE\Pq>e%'vp c "+J)J06X7ҦczNA~IK"?%clb-!)ŗ`3jobQ]_縶ĮRBz`jK į7-V:scxWؑZ{xp^]bsڒ2'p$u?`?]n<Җ)e 5 (k/Y$/mumy+È5Jn؀' 7tfǵZ% Jj_ACq>JC|I7U)Pw Ƒ`u#44TV5xwY'fx475$JNKN@y(s:LJgYZ UU 1S# )+!F'})nWnnyXPFPF"~ &ZP Tp;Uh`6P?sq5#Ls YryDA7+>XY-3t 0U/x4殉I,S=s9[POі21Jϊe_H*QC(,W]cc6C>= DN@-1$oR{Օع EhCϸ!Ouf#PХk6by xt o7b^ 5@Fj%|/ DnE?K'=II$1g5Sj .RY(t+q1{E\rp ?Xo@3~衑+`"be*kl"I`u}+=(E \chb1, \șB/AǑ#T=e "R p#l=t$d`/)ԫ3G.c_7V>ll `[JR |jІx_f-YWDRVW]y Dט/w"n6 vL^U/_q̅m ]|mBۤsҫQA[]=gh^!!j0l\vC荨1<0.۽ߏhfsZcyZ>4NcRXG sRf_"_v9GbN%AY\{ɟ22m2p^; @| ._qijx,0@vzJR!Q7|m'NcR %r8/xK)Ykpuk8HZau{t|?6nTmghu;zn 슌yНjqf [ߺE%SS%pžrfxgѾϛi=F^||Y]vBCNV }5ĥ8w'a`sm11׹ܴZ^ j_ͽe,X @t`54.kZ38?[~x0 lgנ暱9Ӥ#"JQ3 4<|S 0uxVV9hNC>|mO(1xBb\M=mMkz. ją,mFy+N)n?{ YH2ڂ?;8R2Q}ix/]>O%·`q=yJ˛==m!8q?4 @}ntY#ƾ*yb9TBpK<uvȩb|4Ξ[vo!$&sjY+BeŬZFXo9*j< ET4v[,ѿ_Gg /OnsQ $9BŃF[Z/Q`=ͽAW?BY]4(t>t|URG@x%=r&DՖ)(q=Ld+ +=9-FFْo-ɃQZpDٵS{("vW_h s[JFɵW[J菟1,uww lP9ˀkn?uPMA)3|Eӵ8əcA|ɎyfkF^X"xEKHS}.xT!L |h\o K{*mz<n.6?:ſ%G>WRͶo O0E+g ϼ@[z{#%ǣQPn_v9]Gҹ]&:# zÐRJz:d}P~9~ZsFE'l6dY2Gzc嵱ZX9ޏn* G-#N[#i|.Yv 3q5ng{螋F×ԔB2cn-_N5]-D0V$kepzȹ̫;7Yb~#d{ T(. F S]2dYsCWb\fN\m  ~2.(ȹCNǟK"FgYZ n1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! g]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBjպcU?:J HcfzJlE 1)ӟ|3!N *gERO*Gt0\BJa kBG:uI&qm#+2FDs - "b?-wS5pVnXgd$_n2v[ v=!$Rk=C_[Yx R{i=kr :BcN *,edn; *R{tFyLOIK#O ` Mo׀嫁P)f4h'lwɽ'MҌc8]9x܁#U(5Jp5Zd珦yPn#T2"6/ `\OtڰI;"*{:;7uQDPI.VZ݊հ;Sf2ew8(JyM}T$Xȣ*2O2xLoS=ֶ[j6t-5&BiaMQ}Bt}ۯll,S1&Cd,;+!H_%p c&;eߖ^Pi)D"78gdPӦ.'?r̚FF̟;1A&}`rdC Qw ϊxb$ߑL}qIcӷ<F+2$ PT4EUsX8-}Et =2T[Va8vu`7ne=ݢZsc{ھ6Z@WڥGW[8^ րrJO.ErV\Li,9"tW7 <~Ul l(ɭo5KMߓUĈ*sn $w/mp,m2sۖ )krGzszZd+Z {¾uoU1L&.I#7}.n[_Mg y bLIP7s|ڝGY;Hf ͺ }Œ`B RA83l%!>I~g}5!xԆ\s=%C'TAM5%'btF^:t[5[vKTg`dLQ'R bܚW.j_aV̎j%eA*U 1Jפ% b-IdF4bѣUN5&ZZ BNCjO,;i8޻l4Uozɭ^q\:E;ψ'L.+?̈́o ڎѐJ,C.ʔt4~ϖ*5CDthM)3ږ&^u3OIx~(Sva^M|lk%0ܭABHZ@< [4_/Z~"0;EG0yG& l3!gpEd.[k'm2CeU~&~'$D2E@wk8x{SݹXHᐎ$gW,W-i0ػ0Ƽՙ^ .[}Q@q;[{ r0\=#$j~v;@d")_ In˩IgTBC-z~k01$̨58Q$t~% b_DIA9Vf#WT6kӗf814ԋ{%0Wʱ9SG;pZΧZKʼnX 5oB/\3r,|潤i8mblqu811;;aAv^>r{EgN@ZT Ǡ#VUu9 %B-It81ݠڙߣ/eu;6"8nSBI Z0xյ]Ɲ:]B F>9&+-̹ڧ)l︚$Hi  6;tǼ^یI H[j]{]n7~}Cm(Z({+w.B(uPWRU3I5hw cP6B½ȚlՅˌєD~X)e.vxa>/hiwuǗ˙G;Q0]ךsEJfJ4AP  ȢࡴZ+r%|i{U7C=6rp3O>sm9Ф{OwbP2*SP6}Qg d[٧kQC-q'CazSVdf:x%8`sj#x,=i%{C0^[.{]W Oᐳå> Qs66›^3-8+5lb׌G$vᅰ90`R}cr/]|L1_4A Nz,2`5kwnhKk4AF>5sWl h c$" %*=̀6)MpߢNQ]k$ΕLX]n5|[4,,cGCƐ:9)V3zP(f%ieC4ᬧBx1] z?nЉ[d#^2A|Rxr1n^iZʏ1p-CBE5l^?Lxw*e\s5>(#&J:~s1ڝg ][? E;.%NwlYe+c hBn #K"Y\I1$!4Zp]f`-6ZR/-8Ds+DZL#\+G:!K|~,9q_ìQdͫ(/@OX(-.']B~7"x[0Wh"45l;Ri-y ]p aB4}]/6OG1yOvGq La&ҁZ|;(Wx͛~cɝ/Q8sYv+x?dngNx;BS'ֆzBI%Z@);=Y6 =U ,]*fWwK&͖pC$;dD.15%/zÅ鳔n+:LX :aLRȣ-ʷ?l|,f$jN1 ީmؐ+CkBT1\L? 6gڥ 8YMO%& D0ڀ_}^) т}ڞR#]in@t& n MjWh=<vG1u,`;XQ5F[#)rE:n[\O:&]y8b 0auHczERţ1Æo{q3ˀV tΙ^Fq/2 cOZ)ybO oKq$>,(kqs@Q%7Sk~Vzv1>I@sfg ,Rnd݉0¼IcL@!TCjj0P1V6+wW W]ޏ7F>o]PˁdZ_ݻ˶i zݘ-V@;EGh$i[IKדr0fgYZz1O# tHOL-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| ȱq} 0@kkZ$)ۢrvu=j|iߛ}6"% q.RW(Mk^hNb$ЃiҽB+,uzt Nj"5b<1-̑i삋 fX~wq*+øv CPr,jRb~ZGJb&,,1`<Œh#QYI(aU6}m8fA@o@:tٶTT[U)4R~k6a)& L] XuM߿ٻeE]Y(|]͕VgI{ת[c>LI±E;+-U|/Ep"&DmJ‚U@ [b{-8i7O(ag5zv[uUazwK4`0m4wŬXBUgDβKUUͪ*a/H^S!"/hDIkQfK o]ufԈdbdx6ϱʡoI[ : R@O#K p#$Jθm] ~ l_t HRz߽CylU\|h8Z`<`Q;!Jgzu/{br6Gٷe!9v -ujiE^5"4n;gW$:q#d5ojB8OgCFma;_ş81H(JHa[6@l/٭I6_\sۇ&ˁ=QܵνjlYg/\JeBI;R&5,}56Ύv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id542$1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\o2(Jzan_C) A(J`qz V͘`,Vı8}Yd^iqӲ=$Yv#:6A?ߑvaC/9[8 f;or5 t0MLN/sej ,]3D#ΦO&͜Ta4 @lĮt]xzHxɖ=?}ѵaY]|N@((inI: ‘<3ٞ&Xc'3+B>ؔ,Gn2(lNCJ7uq~gNFHRbQCIw_6r5vlz8^ݾ$6SyK0 [iC)`lG_yهeqQ&;Fhv n肰?@k!SBBM͖zb3ku|ՖjDAMqFtP+S`-xUնכ5乴dB -ؙ*lyQd)( '2W; gS/7ȗkң5QeTwc;+U҅Hbg ɬ~H(v{7@Tb.;v|p_%P)X520UY7{6Ot_`)! Boxs^kSWp0aɄ? w1s' M=d)M<; ](:V@($XBa(CX,*'|&Oب }ng7Λ b=)hT!ME0 q4%އc0kY;FXi|85ѡAV)H<]0BRO$dwZ&6{8<rṓοt2k^Cf/GVr]1y' S=6C=?J\]WDMYtvpkB$ˮ%"-+$whm$*]"~{Ұ+@BoC'<0@/SٓU:jJ4C FZGǒx9?xqL( a6pxonszEy*] ﰑh䤵"A[Q쳈54mJ #Ky#$N m03;SFlt&\f^4uH+e"АC@VEt*6Eu Ry`#~N!"\s6Ei;*Q0-:ҿ}L8o$3%EQ6_6>~5:~[—7m@.[~0kyy } Q.=FxIW\h;RUĵA u-'Lyxar&L%MM)?IA-5Qzi8f0[ ?*Ӆ<>9!>B'jOȧݩ6}T{'!/&0BY6mQPfHqܾw 5޾J^ &IT)ڎU$rVi_ԗysK9y w&3L)ol#:,9(uy=w&6uQ9= ? ̄Kylo1|3N9je6z+#1PIQQg&gcfw$ryN]E79gA 3z~zi"3! j8᭙ 'kеzR2ԌM7uoAh PMt>J [(xZ|l,i>U.'jMG"8nAKv"K NXCsֳ]@Ӿ%Uh`ʱS&.7~ `Dӵ*(z5ZO$hۙX 1Qk,@uɯJ~GBAHMCUt=#܁[&&C\i@d(BZ"+C 6l{-h&X^?K'i0\j|r-LH /> y{V(f *5IEB&z2P oe^,r`s&~pktELYOutrtFarh՟·oA _'؞3?O lh> &TS՘qJg/Y1>4}4 vMpsw{ $c{#iػ4(dW =`&PbD0m'U<SN=IM_- V%_U`N_X6Z0 b<-<O]<--E X7@W7&B%4bVэ/1Ԁ `im#C/@'GF4]kIeMLSAr=Y2g7kOUQXqV>OkPȁۺ9LiQkC9W>nnqPw) M6ˉ} PDnsJw̟>`WxpFCx w~GIA` K\XX7@N\>%q)Qh}VkY%H9b4A1p%C]`5zS&\^:ѥ%u[Uk's, |WF$}8d\Oi`FPhK_@me}nN ʑE>~/-~z@. 4EB0z]mklYnG|^VXfqe^!ro}C ߙ%ZsN#̑Nƣ|^)|í~<59]T=!Jrlԯ*z@gYZ.7H}NpǡRDΕ 6@K_<=z|)Yo(p b~+}p{WYs{ 1O=l هr?4C0v/*R𩑂k-ڀeҌK{6}VΏ0+BOeOxwQIduLwPnbJ(SjW'K[]gL>]>{2s3 p}ϔy< \+Cﲫd.jn*B R%*~<ܿx/{+Ew}C\\4C9ܸÔCɶzj<U(c6/ 21GAug6}tͧ@{(6(zwN%_9TS:L*)!Gmi)MC63&TrQ i-2WgN !D7nAH7R{ltz3Y29FxlR{{}ۓ5.`Ļ1kkwYYE-{-qc7IY ʮe5&6!fvhDW>k|\FD:3,B ?=*U>G?PSaD1gPH` VY[FTۜ*eiĎ>h nW W_nee3B8s "]()K ,Od eqƂ~#5سwj~nN1/K|rEc@- @nHӒAr Ѣ~b2jGWJ[uQlc?{uc,P=wzfJBXk:{h{A#*SStV}c!r-Z)~МdaM0^fۻ>tL+&ɥ͉iKO#rgzb:|iV}6r>|}Wk>v+)%`)kry7X,~RC &"@L=iS[# 9SՂOVjֆ^E9BOH/XmKTb9MPK| MtqH أIU62 -}hᄎ&@:lK OyybaF։A$1i!q:ьڱ.͞7J^$jB^~ A)^= {۞]}Ab !B*?Vvl4M@}*YnA-خ%MWbNFprȱFhf,l~zW:i[R ( Qk--^qg~hmKNHaFha1r`K|YWk-їbPG/TF88%.p}k _@a 82ٷ7i0soׄ)"cXY^lHA{vI~͝?X -וoFAvCdTЩtnw- Z3煠%3kc8@)";~uYt{^^Gi2W{j6lcIWF N;_u5=DG] P&yHYoZyF77{0|w}A+Ш)Sbߪ}mzٝNKÑQ"~)bt8+ё6,[2íƪ}TV 4@f^e% N>6SU\ܘ9@h%ﴛfZ}Fs?1|& nS2$ u[BAD> ֐h()K-@kxϑȑiLwY-Kʠ;3SZT?+b۟m`[ZUkCX1`8- P*Q"oeIda m!GmMb;Ȝi&EvH8 ^G+ZQ8'G2b.kn hX[hl]ôGf>v+ :U.-Kvq|]_67n=pQq" +g-V;T1@F.l۝HpG |wJSދS'PG^ p!h$DyYɏ5 VZ?ˑa`F%.'j ~z?$ÕD6 cf|@9;wKn>z lbeX/pS]jx"/6{hȂ > H\y7.2 3y+M:z$'4ʸ}$d͗'̧(ơ@M-b/0<]d \νv?ۣ !$n8e~% 7a?;| m8uiQ1L{Fc[=I&D(;斅t&2O^NGb_x \S|NU_plPH4l}!xpfiwVn%Q+r:z}Dy6ӽ>yW)} 삾FoTjH[$eVrշ^L_? VF]s%p$V/ YK_νh)uiz6DH0*}&xiGE"Bڇz4|N;fmd92VuH:݇@lޗn36DQ¯Np_mTV&0Jc%o S/.†ُG=c$C\XYrg,`Ieks^.\懢x@L~&_i˝Ɏs*#SxFqƐQ^ϧ?09e\DsbԄKf ōń/`:=!]]3 Zd] ͩvEK|=n%Fw{ai$ZZQѐ9!,eޒ G/ η0j)D!CkنU*M¨5|~s(V10nsQTci2}]䒣Ը&,HhnmL]*sJE??y-IHEUt\7vn4680=R(@9r=d8m/S'*]R5h Cj6 cmh9[]d3%HBB6("d f>vQ/@{TLpb{ӄ߻1?dl<:`%6"y3O4壋(tp=Kf_G,kRHi/}I]Dcy:/e!K/QW`8y]?`e1A6?WW PN@衳hs~1 kNkYת=1V'd;YF+++a7HՉ>$ YO++U'7loI$Y \JuUP4T߼\>rk6U~OZC 1Kgaʌ0uk?NY7 ]!J6i).^(#XVyR(,#h"0%l hg bԪ4?ys@v%-}`ctlwlhZZ:4ĕ>q>~%6njftŪ7jb_Bg "Q73ƕF27QQPXO Aw;HOrSxq6٥_ EݹUT]hGP;;t5 oTRhpz/^0moxnBhi@ٻ7薌rr+C ?/٢,e{S1ES4 4W?%&` $7=M#LYZ;Ǫ2  ܔ@xZ5#T fAsj׭ZL?O( c0K|>,9HyeWO@Rsumՙ;;:qf+V| 1f(M47Ct4ؐFnBq3A.Va\ʘz0d;2/|_UUW0.&ܜ(6ZJ8.77< p4*%aЖx(, M(>'f!H ޾go`P4-,v#Φ;S b8tڔ2`:7>( 3TA*.zƕ"Y &ǵE/o/'̈́oc>s5O=Mӭl:ҍTon8I.=* E 01\bHLI=u\eznYLla5y9g_cJS駟I\he27p .{ᷞf$d!o)M_ mvzRPIa؂qF}m Vf$_b)*@9?WwVWֽSh=JĨbG[ L{ $͇5dCW: ~ErH] 4KT!yo ff?_H H`*^$+@b a*21n8EV<}W&ҁ ?.;s?/W.,OQEol߲aZ~ V_#eW(i$ hogp$v暱N~4._ڏ ݅Xdܷwt_*h}wr8Gó{q ͥMOҜsY 7Kh&k#7԰ZC`~IfXJĽ:-INt8y19)ے̩a:ފc Lrky9F"z 9-ZNGjQ  4ީBUL&`(rC dz;fVcx#IítAaec:j$5FlP qYvTAG }S?l7ͭg,Ni ) !)n&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_id5262$1O# dHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv~}|­M2'b@fik!F:oANHe(_>$CKw̺Ɠ0Cؗ!R^.uz:JqGQ`d̋[D)|΃X.Bra^/KjZȕƋTZ)wjbdt^#_Q3_.#1 cN`} 3iI%ey{AxsO h'ٕ^yϚk];טh(P?8kE6x]xD| bx$ GȚvCaלą(oߗ5b )L"> lNEl5%6 B kh7_S01'|Ȉ+hV+OŶSMM'DŽ"(N6_̐wdtv#1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM"1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id522!1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7W:G]s^=1j ­䜮DgŶb4O{`H4'.!vMRU05IRYsQTI5Rsk#s^ΘsD)H% O,i B%xe Sʠ},*q-q`gSVo<;|6(`/;>]kcpLW"h׾ n+ 7jvl4) Fe:bp*8">`=6f0Cp4'B&\^uzvV v9,%®od^m0މ8  q8(OA +He|'Elb6{9^4bK8/*IK7l)eoY-}v~_Vc,D K%cMҗq*W2 Hu/gYZS+R̂M:} ?JAnVnHfH}j Xנ-Y8bGLf3WZU8gSILpͤS{R”>,fw8WSńo& XrWu(}=.ңH0ـVʶTC5[+eF`2}fL|utV1RRߚڙ9@p@_73_]OA+}pȐxw FDD,!T߂: 0N؂3ZuH$nTNF .+wsTH[Ҿ'HPl)HC}n9V= GAv "KpJJ^šrD EAe.$-caiGq=Y|*㪅k!HNtF/KAjg'x Lݠft]H][{stljn\ ju,6UF:ͺw2a(H? }Ǡ/J {L CP#vqJz!ч9r =W(g1.`$\9C5,Ph2=+Tz%wVzHw%4ob5Qr*kT*'VFͰcK%>F:MwzG6+]d (C"}g1o*Ѕ >2hfLjfEeX91o@qc.DvZSnE*Q8'`I\j?WCXJ%Ra[_勞[U ili$v'.%X3Mn`rb`U=hS6"]BYB%3ca)blg~ Khp:#XEr] Z]l,\;'t̪Q8ӿ6qs=N\ M[B;+1ƖyX--p!od~/U+PT& Y:ցpdc " H<9lNIM| E-W'3 1WU&/%VAo0b^e< XBE;1, Hk4JY/Ն*efi@~9PXK]p(+ۍ$̪@z1E՚ 5(IN,\)'RGN&1V+égV#\~""ȓyar,S1D *0;@hj泃2øX.4:qe*dQ}{ 6+^ZW#_Gk~7),8$Gpf ET_-:m3X=q ^X;U#ݣ&*ՊTX$qZѸ4&HB0XXT(> vz?_BrH?+aIY0D|U!54%6Gzmd8 壺źm3 LfLꋜ2@s T[7Rbjy紜U {ۓ' J\IgO(\Ziq,ps¢_(nSA~G}郆]~ng&Sjg_ r*|g*Ϡa.#?hq!EFfGf'OfgVd+#f_,a<`Gy?HT~-<5 MyWk:un9Q ae:-l_sxΧ#+FS5iP묾wy[? }k=4CgP'*&Fd` )yS+%g70PId8\;;sR#ԙQpPDݞȠFL9~ F/ o5S vbI)OyĠmU0.AF,^'hMK + G ߋJPvAA2i3뫞iu:TȠ70 #Ŀ =bd] 0q yGGސ v(E8%1Hf[D; fil(Y;&&; @LC ,X}rXq. ,^F8Ֆ]G_@V%ڸR*`DhH) c ^'cYoƒ&2[B/X,#iM;$۴33m K+%drp-C&mX{/%oCYjoQHdTOҀ?y/TܠV^r̶W!8qe2ՊcY`0X?3ʢM@cԭ@~!pIԱ,ڒ ƼːҚ&=#2OLEqo d6+J[Y#*uo3L^ E(%럧5uOIo\ @—wױ{I ϖ 6;SqX ѭK }euDG`{ `찀qC;TxqqeR >n8DRW1'<.fz^x#6^~/zQ׃A`~uyK*bDR'x!LxF-STa2*zaA^JwtW7G@0($NOiG9xfP`!S0TOV{+;lgw-u\ LhF&%~|q>$PVrôIS<Ӥ̰^f#qRf8@qy{]^.fU/\@sC-y_2vj̆>%Ԋ"'0vfCg.:Kbchs-QjHRT!~gqֻ9 _AhmR|ϚV<|?IW2RWF$;5mLB^>JbR Y0B(osš#h/8րʆ&R{c'5KgYZ[4#Gӓ.e}F3NkoO}߄f3PBķIaW-QZD*RN (X]A88׼fjy.a d|N#z˻wZ.NBFSm:Io}k}9FZ0=ԔXX lzj#X8ߥ#+I[0!bUMT#< 9@\rɂ)aDN+̈́ #r (YxUE_8&dKL0v|PD68N+^]qEJ.ӵU`f0ضa8̪)sA%7202w=SZ,}yQBacASfXɃXH_7>(Lĉg{Wm=9Wc8Foں3a>Ɗ#6G'߾u _1mf"ಪiy9'!hM+NӸ=-'d5  >9voUzzjF*<`pLBgy>6gq鴪lR斟D_:m dE5Z' {{Q`z80soS3`/UĒiC󟴱aÌoꂟ<9F ",|>T(JV$Mƨ*| +$N=A|3%õ] W +M Scctz1׼U[8 RKtFUWomXS"C8qK?7Ϥ uRW,h 6Đ;SeO͡NQR~86+YWްu6%Hoʔ+ MdT 8$o ,} Ej88@<VϝU$//j,;`H#=LhWQU$cwl11<Iӛe~c/)Whz ɶ_3MxEV@?rJTS`MW}}>{U:"Ct4\`AAOL,KҰ*J4p0ُe]y+8\|4.zǷ#lvd6%-)LQ0כ%hX#^ Y אوf3屬~v[fX"Θ?#lcZ~X*@Ubd8 Z愂 U֣[w,=l]>rZ5dغ$sk)wrpY01?0PNft go'c nVypC<[H QJ (;?xW=9>>x;H<It˰6g9{|&m-%jU.Ӣv5.&4%kmۗV}<3Mãn3Pjc E)m=_puRgDmicE&5ߌs_Cs%&1: v.C(1 ؐEђ*/%,nGu\HW5_hj|~\%a'XB*9)nmLc|\mhxCg]>d@R2BEa#e@=pu>F >L(3R3t9sDdWb?cm֘<8aY 5!lALEDӉHMBe!S#O8!z ?UJŶ@*fp5.J['׳ĿsDfB(OTܱM5&^wOwd+K 5L)k8|P-l]QO^]23 @K콈y6:qV̡F Fď []2OY̒{7g5m%|mTA 0'W5}IѴvî(gJAD5Ft=m}ov; arksRHfRbq u5\2Y1'BNɛzW u҅A؜e7[88_)C+`_vS48T`6޵.&#]'wC>O3F5UY65㞝JyU9V|0B%RtOz=[Aׁ Z_ Jz!q 6aTdʇ`{WCkNBBjDėĨ.IpMhufO\mֱ*g QFmp~(羧\CiF1uHɰ>q~ PCCKgg5+##k9x)gKO6pF68|f2ctłɻEǷeczei]8f<`ަTk. U r QL \.DTM s{_uCLܷf-{Dts-L6Yv.D,C%Py-1HDz:Nh 4hi=qt:+ڛ_&@ʭÄ\FCs5X<6mW~ۯÊ|uU$g,:҅ŢRHH*8v.qgW"qo7@uV-'|<Y5 7w{tQWc%51AfQ 48ucG~r/U3j@a" !k*˟'r͊=CXR~q(j g̣xM@b0)uh++j%/Pu^*|!]@/4!0Ih*ahR6JEQo;=EΘNjO+/l]2Ͻ̞҂rnΔ NwGB촱,}lu/{?dxOKIPb Ps49T.KZH vXa&\:GI’,dR4#SS]5.t^^G)xKn;d*F?YܪF&Ϭ8@8V2(+{qfB7]!^Q^/u:fXW8Lo {f,-0eˉ`̭I&%Yiߦ-V%!eOz5pcwC؅a{ζ됑eIzѸ4g~& jW 0M`Sk¬fh(Ӱϻ Z`ɪJu"%eyԝ˼s,Fp S|έ#Mh=_{VTg+ ܟ,KCv. S΋A韤YͼGEE!Y #ګE}nHWB% k|^jASiA1C &m_4S37A`֫aQ9H[fwnΫkBni,e%Y=粂?SS]CBxo?#) I}.T QhaPF"3RGzh$֍ѐ| UuEp6M?.augYZ /o /N+ 1E# $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[Z9d-plug䎬a{OfDI K|9ipb!)Q=ŁO*~Y _60)r=]m]PNbnH槅2eTc.·jͤf:Q&ST 4QJ8z{kl*1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyH)1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id530(1G' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\syդK^)_VeV6#݃F4K>& D/78YrVB:RG#`'Qu QB}x%i8Nu~Q-2O+epS!\v3bkGhakGdA$5[kcv;D_ ^x֯N}cTAB >:9lag]Sn+ڨ5Jʍm ^c-u ]BVoy1[6Q=^Ňw2V0-DP|p:Y ĨW`UIc[=LU]K|j炇ӾZe K%_WatrSp-P$$G$h3%)oV=Mv#AϠSbō1$W<1Q!~*:JI>{ކ"]Ow?8ef:R5O+!"CCeUc}:/H1Zd ç?ˆ: aB7OcmVizTvl7Uy q/QB[]`E;^.vX76,o[8D'j: \CJbhu g:ށ3 DC-37UuRuA~1BJcE/ofk>zLvU>y'!f+of 7V㌸{6~ 5IrB=Z#|uJ"f{\8ɚD(MɶPo.<y"c 5Bw]%WgYZ'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+’f8A ^iaӕ("NÞ]*10-N䘏7݁W H;ږqFٜ{#<};jSQ0<$] s]TI=g6'I:D _׎A]oL@)~dr{W?Y%>,T9(m|K9azz)z:HZ)K?LSjmE(Hc6JF#G|P+Ҍ.V-Ss,3F(eJ*d4 '\͙o=Y=ۇ )+›Vc,,!d۬UVK=`,s2].iqSj, x)ݹ8jÎx-n`eae3f/:΢A{wmy0j.%66: 9w+'N${`^ FBo}9*ϡx˿%dG}δ '∂fUbUu9hs+q¨LZ/T",s`zPkqͲ' |*Fh%" S0/q7shϊW:tޛΜIAYw]k&tK)׼+woDzcGַҸ8#4uwHq N& Q4!+$7gNdb/1#Ϡ ht:QVt*Kb`sШ1KHFR2qy\Dk=aě{C0A|u:{gH^m{3 t#Hw]$ oa4˴83߽,GOے#03A o/q=ܴye]?+xqw:!)K_pt3ݣ[P=MOAdFHz|xUGG1^S2|>etV)-] a 2OV5!p["%EC=XQup/|m'8eebg7 .u8zmp4 `?bo7%*txLXFHx'4*?am_/ݑux<ثŶob<*ɓFֺSV6 $(Ze[-;Ky) |C V -L霴1Mow䝏XN81 oNY.+(L+MsCIbi:1ySyq {Z_;!Z7LjÑ9,M㇂gNlZ yY㙚W:_J(<"!g:ccI.TIԄ8LK!l!z|/&W`س[9D9$rG]'s o'Ex?r@IWǠ*. W\H* ᏟjfTo/Y~m&؎ٵs[ߋjӵ"ӫp:&wh-ǓxD>vyk;8:3$3{~-\? W?jh;ϛ>t4U/)2+ S=HP ͘ĢAҹ' :}KR, ѕ''(IV~ H^%M*JY*J8f,lֈMbW O l|kjN+>Yn7Cxǩ uiS*D**Pg\x~yQos| ZMg 57oSRS<(j2߹MBԺv gq]FyŨ#mn5+] }w+K]gQLo؇}7)510ƥ8-U"٪tX>>jv}]ԤO\׮[*ɼYkR0suMiE i-:TO.4p_pE׏j^jqU)&i|N_IOVf>|c-!3 p+%m)Uf&1=xbIPz:F!H>RGD-f!!zD:~W,٢T//WV`4dtT.P>6ݺHi9 !sf}VmeV s0)cf< ʶ3*n'>zKVVS)Iϻt.^B̸'0Ю) Mry s3=T,GHw ?,Aj1 ei0 OЃ/y)}xPC=ñFjnQC1]rZ ;NK ďq=%1d!&s8!|zOGn0PT[4^BQ Kb?j9Ѓ+hE94{ e|hgNA"V1f툎=e%M/,R!7oQwacc3}xvb#[.6hb@^sȐ<[RdlؐJQؖ;u7F_=qSSNƳE^فnz(4"aR)2,/bݗ_YCBkRzKz_AƔD \cxD2+*JsUkFZ!2,jE]!He17_1; h_%AK(MBBKcO74J[YYc!!2\N kc`Mw*7"l8.VV_GœMT.t`.OޚYʿfI/#;^#4T'&ǰSw'ѹ3Y<Ǘ7uG[Y.7{R![Iۺhr6R.оǝd\[%\עA_ꃐ1!۶B0,^0g>-GA؏dz57q$=玡jMp˻ _JɵRgATN}}6L6Osi߀V'72zvpL_#;9GN5NjhCi[Vl^6Ol o-Ќ (ئŊOky11M[U[3],}t xCfS&yşIX$Dy*X$I#'RΓ{ `=xHbgtE @1Z~I;z9if+PoHyP6'fύwNrXUnD6lNaKs#Y7yɐ'dH*F(|:(;(fjݥcR9_b]E$7Ono,k]1ݚz{A € jݎV340A7p[KnrћTq{[cu̳E,DKS;Lq#ֆhT*.ks.b߯EC@DƸM]v}g F ^c_)ВD|H';FEc @ry`Z|grἒM96-[S,ha~3 8+6&yU77OO 9YQ̤~:tH_-M HH غ}iM[=LF*SJ 莯0`W Jhͱ˟zrqv`dH`/ @Ɔͬ\?G/"t Pr~7ڱG)|?\ïqA,_I ~}K7jA!$\{.uSQWkLnC &3zl:q699Xl F?amMEo ՕXʡ>m1#o-|g*]ή ZtXU5.4?s$wեpNd\ROEg< vČ#U/>Ä GfPNK@k+HƍhwiX{=!$yN nQY &Y>8ȱz~~*.7'0eb9jl?(PppJ \EO8)p]=La> tAp3edYѿD ,f7`j\ヘdwe$&BuEvQN.rݣ=^wI1!x/ ѧ&JyD,HBJ*"c~K_({俑??Y +dz.9 c}!5#1]YK_vPZ3R17L7e8R D'Ermʡ%CoՎGFu :A') 9 5>HP'+.رlA}~\ @?WySIv}Ƅ(K:ND}yI6aCdEU[.bys!z` zqjc6}QLwB } Sz$'=&";lUR~6j{ ٦2cϳuqf b/-d#ft *y`_M+Sj"STwKqcO8^9 #a]툐T{Dw}H=@qc1bHq<=IB[. v%2nbQ-]^viLIv&?4# 'h S/(gg/Du!\{X|n8[ԛUiLI)___.ԼZ}YYRuUa.s? $Ք~  ڸܥ]śavB+ݨo !uNdA6- )2Sڒe 6~`keF4?HQ oQUp2I>iAX| QUNd_ܙJzphtB(J0uIam[m̗a ?.?qݤ0BZ(t|R:̬yy/ @W y /o?km. pcPW&f8-6^+nz= [oy$tty? 6}٢x\5T9^/~h} N:g9~CUD|_I {kK=jO1g ɉ5:=_(-!Q_8lN;tl;ܨ:}8Zm6_fUY隚3CwPRyfC%h*x}^^`~=4!ڒ{0!B,OBB[Pm.jawJbNlU]l5-(#GCaڎy'4Fg+Ē7+n'z)^}/ ԃ9)v<޹kK@jf/IkwBp ?B6f[o,"0(cA~ÙMm"tcqsx,MY69]m`L_f_Jnhvӊj{\;MhjThϔ}Z|q_:&I'[#  Z)[U^F0~3xnC]K'? A1 +55nZtB˟w;#st`{a'DVOVa9 'HcGl^Hgr/V[ \KeA!dYϢ~Qls89{|RˑU09iEo¹tprwU>P}!\`BX5jm.NBsaKEHGsd`| ЏĭtrF/9f'QIs_8eV&V{(_tH %-D-wOV/) ӵO;6=2Qd;^ozJy0ثKhV$3o]׬W48-BٿLϛi':ny0צc8'cr`u ьbߵa}cdݘpC}5MIoetSnM55a/mXUul\蚳L#2[ez=?Yφ QHsAiB I֢$Rc 4 *YO\Nh&Zو|wZi&%ܔ~q/xG@D[/MB1wB|' <|H,(a9!j@eE>)<Ə3  @c-vw)s]+"+d E)6GkH.lEb·]/$AZ&: 핁ش{I#/Ҕ d ZO1:QPwH?R^cU9o5#5ӗ'Cuk.mV p^'YNRFb^U DHNyĀ_AzMS8e/]<Z7RNB;1̈́"$0| w;uO9Rˏ=vȆUx}LՊe'='&ܳn#yRwfjTuy>Gxl&J:; mpª&<WLcXʵڐ(^Z \/8"RG`= n1w*#I >%Jb;c;[|}[(똤:X8+]]@&@( 'f['9 1k46 ܇u %`/m̲$<8`gz$̩M#:Pʲ9T:N0eI5[W4fg'0suDž1KI^7Lgҭˇb}כ}#G l9OJ |mh %kHgWQ$UqBgTK g%GE9cM0ZZaĐO`6o E uMPv\*n ¹lbduRPӺi7^ݾķc 0gf;lh>Kú<% lmV҆KpI1@ʃ,*7djK=&Ȧg!S+o@/)esG}x!v!*qu2@σq }v'"~9h\&op*CRuN6k}m[9r\(2M9܏8>D^IGRuLDv1Qa籶Y9u}Qk|m}J|ȔVD=6f{fh YnLԗ©Ga=&YmU)y L6*y@_YrwâO+Jɏ`DWa`-$>>EO ;+ROxQ}Ӷ qSx[?P2A^'?2/ xJC8HQpIJ,`81h3phr 6Dz?Ҟ|ke=ys&u"H6}vJsHZS[wq1%sB߮cэ:NQ/QߛK[$٥44iqH{gj4w\Pf\UdOywܓBOjVۘqy@$ ѣxha 4 IuSrdj恸2^`&[VT֍L6Uo~oKzo:6 O<,s0_$0&44xJL*l)E[-7=Rʯ}Mïh5#T[H)m@3Ƌ͔W^H< P(ʥ:z4W#ajEVt!Kwɮݢsor3[" z&UN'cDZ#Dԅ.qN@Z~&2_N J EEr9D[J^D yGi{G }~'ZeKHCH"!t^7-9.Q܄O8ۊH^ߝs%@Mp$$Sd7Uσ pDRI`DùnSg0 e B%h9NtAŌPS7xGQ еv#] D#=1eHkp7&]4ޙ{NRDMUӉDDSٱ@n}ಅ:Ff2{63i-M,L[H&y:cӌRa=AZ]^x7ƛIfu c!hD׎v!:3OLP@Ⱦ4dFidFqƫMa7:Wzk3A{hb//8͎nIApŷt7u^BdWD||ꕮt5ykߗ3ֆtPϫUi[.'nAI\iPA }tĬL_QlyXV;vO#; @L=B!"|aE$uKmWm`֤4X1T$-ߒϬg$X0*5e-z-C'l~VLL4\JyP;kiV8TLz p_ mhYJu~jGf9& C7Ir oӓAJMw;QA!2h1%su3_kW"Ԧ>Ԟz=AWĠnC] kd0՝SLkD4G ^E&q:DӘ伊a7Ł&='HtqѯU~nt:}.9. 1E'61-vyXBC;! \L΅T!%Aj8Bq`kmp9_k\+~ vr-q3 8[,*v|5 ףĜh$2N.imz,[O⻭8\Ha <"ʃqy-O+k -a4gPhV1`.2M{}5`LAs1!Z~ciz }tmEn.d]Βݮe4*JzrQtFY:Xup\-Lyh WPCRh:Q|#@j:,w?_/Ꙧt)Gt CvӌpM)8!,kmWʠ~&vEL(8:v[ nƒ]3)\7,.:^YNoE45\=U H&'-;6Sng^vF`>=2Fr%Q5!O^=BY ICӂ ,ML afF"nwxBЮ;T]:{YJ/b8iB<<|s-fAuqdDݲ)FᏔ ˉv7]O|P:C `z2"Ax${]u(&6jD%Q NJY4.Ս}X4ʥ(ګLDBAZi2u ^P5%äA*ۆg'##C.ewq5Saȭ[&J8R`xnUJΒѹYv.f )"oDH@s lp'Gl9C$=']M 8\2+i<~3Աpb=8TIRTaOoܰRSAL۟#D2՟4DUM{ LE4ʻZ+B"M[I!B&@cPQԘm^"i%Q.h#\EY Z;s}u,)@Sx#qnVOwӤ}xLe.|~ت֎r8֮(QHvsO2)fVW)lmƄ@]9O{{h-d@_ذV(ҿBg,I2c6 VIװg#kIj(ӚAe\AY^xBP(ys(qz"yet  Pe ]bWݫ:y3cȳF3Ç1nSuIrgGmF#"ݥ:qhuXq%BȜ]TgUUޔwRSv`_썢gWb Xݐ3MvnjsgbiAs{WTtpN]_#\VַX*+Ē_rzI6H_ lLKU :?K*|M´]y fiԯRUh#2"||:Q*!)GwHDZΙDqqivXqHU 8Ps!|pbDѪ2+^$:Xx:̐gp OP ;Ck]a2Y3f߶|DzՑygmw ;KDۛ8{Tm{愜Q;., yE $G>s̈́* ? 58F*cjju41ڒK4B:F%_2xȎ;h~';&s_<,@yZü&ʆ9=p^:PS2>"[ -t.th]Χ).D4>ؒ?j75i]鉛H$-  S G %n@`>nn< H5e gޱIb}+#Î/Qwj[.aE.ZTm<*#*7|poBK T܋4m{'@~Q*Fwu;Ne\ƻs hfg`X>et@Gb 1j (b 8aNNcDiYW!t4 ^5|Hq2LN&/ OY^+T)h*4efxXq`>G8JW~ cU7ϵݘ3=ՄXmu I\Kq`[Ȱ3L&hE6JxE7 -evI+ebxpAU1N}_+цgoƣv@;.HҗJXp C5 mI$. ׉t|?ylC(F";}&2gLM^k\$m?.{怑 E bp Kol+s {/}h\FYbq8RmONNTJɏ&c*jo>kFmꝽVu $ */'4rLjJ]2i}*L72fk~r} w9`4tCUҚVUeϘ(#Uopچ|Ț0'WaKul9mq>a ǝ9T 49#\e #e$Pd߀HԄy-|G{׺IX3N#sZzd?M 8Wvt `oQՃwV6<Ѧ_EO4tel2:B#=/]@d;Xf0l|44ٕv+v!^?OcjKb )`Iٚ+Z4u_-z  .zǘ `3ΉZ1$Lbi5Ee]否JA8 $J>fs8B쇲Px\f_7N10oK?poD|Jh*jd!%)޲>ĉZPNᎏ -s@F<:pz 9=ڣCj+?}GDIfwt(He|BO4MI>nhʟ|=>uedDZ%䟏cTwFzl"aq" 8AQ3~rh|h o+ߟ q$<ꤌ!wx=[XQ]\o= 1ܨcq y%cFdV8r3Bۨq^X(:װSdi]:6 |ud̬bmWM&ɚ"Xtң3 E|J*Ŗ=ZD?Qŋ5tLmpSE]\ u e iD@.R&E~`|ѷ-vG0Nmm_!kNZexDu {m?u!e&fA}u)Ușr&u)m[Uub?왳 v9qF҇~I{Pڤ8hHb7Nfi߸j^M j$^/êF;N68A<sZDROX@9`JڂE~FDkr"K%n 7+VU/! KeOg"=jq*fƗul^oQ$uScVKq jM"@b(~#`QaQC\%jR?$z (@Z@c.R .bjoƛ[zov%x̸Eμ {D.MXߎ֬p"裦$~T8.13H?@/k B:/6.RQo[OeMZI,$:{>p<0jCښQw0ö@yj\Sb׉EgL%V?Pgұ>D-QRJEcbfQxBS]|vU خ^ 7vE Y2oY!ڋXQ C1cL yJCyb9 Et32G/ز{dsfŰKs/⭬++d䵳"/{]R?d9M M`ƻ`tDp(81_{z_t"BҨ4G/=4Fm>Ȑ?D|jʼ$ mrBvVeAVj?;4 p)_M蝙>*?,bn2 LICV,Wo²,81 D\K?%^Ѷ)HVf#oiUiΦL/֩&(bIcxY0,,gᚁNmF\(\071|;y#f=x0żB?gYZ ~h.1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF-1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5407,1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\{)솂DCu 1q.e6%KSHhr&L Zh&?4p">{%Dq Zɂ шPpDFdTpmZEtTĨm=jCco|^ lxs7UfskcR;ܜ,b=%^)VJ LmǹOBMLD]UmeeȂINXُ]uƊvr5[0g/WhTX,*CR^, 0B7=ƙۖwjf^vڗMϸ4 l2 -ś1E;Ot `Cctx{慮SURw7_n4Z6Z['LJ8],=+nx 2 @]>ҥ N;*l!Ot":! (Bbl[txriQznXGg>qS/5{g)q#5:1OyQSiux|%dؚoF D:w,~VPrd665t?Gob5!HȪ4:At;tbD {rP w+g PmU|h[9 Xo"{P Bk]h' OEh UPyX^B NޭO8q_bH_^HTo2taO|BRjYy39-AG2zH~ ycCY1$~q~Svv5 '[3y>|V bgRdl>`tŷmR|yYbbNmwسRű2/Ӽ-ZC *gYZ rr /1A# $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3EޫF59\.:[Y'n4~ `cD [Xo-ʰ7fZ1{M]m O|V[?$Q[iG_9Lxv80iy#&'Zjh{BTp8=g5j _>S$dT[3@,O4=</Nບ'v7JO/룸ZUہ95m#kW>}6ô7^vkfQkUv}t҈˲6i\qCD$h,8L5M O:Rmd]?R]MHk>ל6$;;!%@:dOzJ> !yCQpe }YJxs.؄Kbsfw=B4!_`0%: 5ނ™YlNӄ;vrs_KnR- =" h̝+o@b#c^^vC%i(H#=q"uүkغI)^KDxYxY^$b٥f53*1>2cj ka=5Qe-ù@ `[)-}=\csj͒"!X!h_7̹(p0E؜m6sk1;]7rg[ȇ=ͤ$<5G8.$exmfw8߿pOa**cn52SBy,W+8לڠD\ӧ߆ >Q aK"mǗP hԄI)jiʡV_2'D6KyDW!q$ HQ!v&Gr?2Ea0&x;ʋVN鮦6 3nh̍?Td@$~QUd!ʑ:Np2p$6 I8%~c:@5Ay[H$աfM5q'D4 W~(W/lԯp&Qf1JN, TVF"}su_$Y,+K~_Y*k'i|ru |`̠ mX*]^ Yjpkx D/B Ka5dM!G]Z).0ƌ3s *=U fUĵsޱC㓍Ítc#eǧ"x(\L*E}vd-Д2fCm֫OTCgYZ 3k3 1O# THOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\ُLŻƩE(CstU2.+5F~#w3ecGC&5 | S})iGGMRe? ۺ#9/GK];)콱'v,4:@vP/]<ɴ}TExm*rhrPYĂHg9N[U[3Q Eʱ .dFKqG0 *vI ;ZZeRoӰ+xipŚ M_%7Z2x7ư9\' AKI'oI,,E17\c HƆC^9DٛsmXr#|=1"{AcϾ%! )Vu@luf269pҔ2&Ek!ubWkpgK\AP Kjx;gQ(amVG4I Rsk_NH LkJ.g22ekmʔ-5Bζ:G eluYSߌ` Љ|RS7Ӵ-`aZW[:gΎFlӽN&p21O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM11O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id520 01A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\r~_YE5>s/䚾+}r[ &(^I S3q}Y'J v͙MfaedoF-8Yz5[ YpB3 12,xt+Ca5\:S'.`UUczT,{õ? ǂzAįDl)WCGA\:[|G>nظ$=_U}CVoe(ϡNHo?$ˣHX^)^a1kh"SƲ)gA & r Nʛ,O:q%! \9]<߶vwtխX f8{$21ThX{ "&5&wt|?[L v e(Ofi0%t6LW7 萁K*̦ٞ+ !F6E/u .hb^E=+T{FAK9!4fⷻ Ծ ǝTw8k //;yoQ>l`1D:F_M-M~rp" u0\D'GtJ5t\JƽwM3?ɉe?ICϓ {|JaTjcA\AQ$UtXXJ mP%VfLUԦATgi`Xϯ=^iyrUm2$klFq}b~H[0 73ӕ $*?P*J૰;`^I Uh;- s,P\wh}WīB7IZl!S@vv~ 5#hBtJo\(H%naÃR}6RGI+2}3G!o%NdݸJ锻RHaa}-b5ks$e':b7-af @+CSShOHHAbOR9[Grt9x^eȌ` VOx&-mQ\ 6zW>x?ɤ?}T"$Jܯx7+'쏴~ 2ޮ{fIUU=Y CX%أEVھRꟅ2Y,?p<:I`KS\@޽%(K90 >L-a~]?}>orTY>1{<*ofxώ*$)dd{/%(~7s Œ1L|l r. qR,mwޏKn%pTd<_H򯐉QB$)8.b7c.ڒ崇RU,8lCH)#SՍ۵MyŚ,Xۇèdyh@{9;sr3D[ա,е߮AhTra5yUD}`G I]b)0:+ ɡ 2._SQvT0 n 7tMv8˵%\gYZ'@(C5mz"{ٌ]P%@v]):YlBjqP&7'\{m!1D•8hTsljFDf? ׎:qt'Qv<ۥM~<#~Q7,^X-l1DA֝0N r#)H]ޟV~$bifGz6,YMwbd]-" ;L@"Jʈncۮ6<2czi{jrm'7n*"1+m '<鑣':=FFTZoP*U:B kB^ta=V$KTG!0hh|(bdG. 9AL[%G&ح"k7 !/hB##{:0bh2 T*NTET=("_b8=pыx+JPn77'_2BzRV5Z_UUp1<'»=pT~æȚV+X'#"]tM{i :$ :m;_kNڦ+#B{~oX^oc]bE|m`YsƞpbV~qzL"wk;VC$AѪJ3 ydTǢ1eQ&ћ%?f)8 ! 1Eit*Q?bu~o$(`hc\X,u/G_[ ^Puj€Q`}u2H2eAt}LӇ%d )Q2^[maGinh"^&n ʖ+M:Umgq ~3"**خ24d*㨻_\ϓC 84'ʢEm1}y#Աnh\Tǐ^ XS\0 nz9k)LSy5 p#dSYx>|[=HZ@-BȌ.u"f-*td,M*Oi Z0-yI} KNwQr$WߌrJ ᅧ_$/(ID6?hq:l$Q?jd:6Ѿke1Ym85{i)OٝΣJtuKE'!:LOa,PXTU25dׇmScی<3L,?$+icE#GR'p_6f߰.sYo3AgF, {̑7*;XGz(ZݴwCLF_b` ;!ge{W/ t$EFJ`)=mvKhY=IRҲS2t$AxޅdxTz ][)[6wex+xWzqҪ|Yה+8~-~AIIƊzn#)>yF d5bH2ze)UlQ{_U3ȦzXJ@c+yXVd!=A)RnԹO 9Jc_D<|/u6#+U@.A񗣽x~O~J+Il\z^ӪlB TuɗI`hC_#iGd؞he෧288dm]iRl8-lxꦚx[@P `[v KBWyp'k9yPZsV._Lb9O#:l[sErD.mmS1=JH'KG)5lf 6~j:xaW6xMO@W^,;rÕҟ{oN~f˔[n5^B;Y Bj 0%oS%(lߏ={DU =2te!6M{Iwԡ7;bAec/=Dv1ZR֘ @6K`u:Bӵ^4QW} n `S]{O|rމ#=h8,r9ޘ\p>7 4PG=FYqY^XH`542 Jw2)'0\K$Ԃ+c(jڭ IJHig7!zygY!6DtN#N?%"$Uơng'bf|G :/|{#*(4R^p6,9&!":}#BC$ q_(^@<ǫ4 Osk/ݵ|}]}#ޛ23#:oiŝ;mu4 TyTc&^Hjr;D1= NR\v6pv"RHoc7]ya ߚ腃k˹XzW^\-f&lx1&2]vI Bn.b]8?11'uRI)k9d,4*H1| 8Am&KOEm|9+Cl1 gH_Xg<Vj, Lz'XXm/gvu!$\FaeVRGnn:8*uS,(uu\Lo ?ۡ`$FbM AN\~q@,ojF} AI `XYonX<܇%zB ' ]NiAԧWPWԈҢޕB&Jag['N➭0}I^iumNYp(dWP 1PsLnF%ZF" Ĵ/#{^/@>-CX!+$`l qj7*Toꍽr"u}CGIb[|:&@>Tt|6"|wz3{ ⢇?Tsu1*0WjhXtg}XaW#|4afgYpM=tGQOin65"BQ #0Ç~N7lwjJg9$6bF}Jd|xRo8)k'H!#p^ 3aؚ͈noqtGî8/vvtƄqU1z^bH}e*}ҒGv a<% )h \U3[xh;FRnoU9j{CM\R#/eZŚ<AUJH-uXB9*7 $#ȷelN0Ԃk$U<>C *?NJ9}EVN0&_Z&k! Ͻo8u)-i"c ߿[֮elYJ]gW(kJB OSVBxw/U~@HQ10dPogڪޜ"෢8n0\ ך( %69jfcPjMm,\4̣ϑYgǡփU5:IS4b];M3[D u)dԿX/1^%`3-v 2SeDX, ~wS( RLJMSLf%c%IJB.ݷtVkStB6`:8[Z"9ߝs>O_c0ZdXt´j*Q KO>'7uݺFQ5 z / vOpym.XKyX,5>ܦ.}o@'/q)kߍ~yqAC+f}ԷnIV^gpBcIȈ[?3<Ƭ<#LpLzS~bz[ 꺢u5PV+@RNjPSpgO-H%9<LS.\S'rDD.;3KJ|ŤL(~1@+ӏf=AxDL#.B*d (PsIJgvIV*7췀 EC'rfu3Se.PaC/^);XPvRZ26}#14].38uUmG_fl .VHʗybW Y"[nRޮ` 'n!3Z`ݞ(sCJV!޿J̛8 ,|V9?U"H,vgg3∃2K\Kz<.<X'9,l3;8rN&;AUߍ:pl0+SJ-tXe':H d5 Eݎ`L&5n'sY^y 4Ni@A DI?GS~Ρ!8kw|ۼJ7*9ӊvąoBmji4D?taF1~n-J|9 ӼYYJ/CZEZ5 #Vxfߎ^W5fE%jjoNx#WAƮ"#4#5?vyл o:􂡭)0AnXE{&7ZUe4@Q"lhjFh# ݯqd ?7/[?p)L,"<͛2@x%*#>[g|~Ռ~NLF>M-+ &<ڝy:c;!սy+35oB/ P[8y\4 ,眼ɗ_DŚZ"C"OjAC:{l@=/[]:4VI&l߂ ]J jb=L6,#S!ir qڛ3r+C}>]x$VW[W1W $>oc=!IEoAB5ZD۞zCj:)N=^(DO_2eOdիIb%Yw\ï̡$J->3[ ;%TH Toj@TL^F*6a sjA'WuXʽws)}`1^(_u"kmzuCCO|"Dz"X'< ~i_"iUq`Ź@z\Ռ˳hWl*A<nNg}X{AVL;wuuĘ6\j*|ÿ+j@ EWC7ϼ8&[Ѧ゚yO5zr7v҇xiJDpM^@tO@£`RxkkiW F'Ykd-͟1Uy;oU:̧e\.s{.No5N{Cf`Jzt u!m "ÿǣBڸb=.QʝlZ"'AwP|ta#hxB AEbMI̥xMMX-z6Ak6]-yEn,K͑0qۊbm c -~.Kq7u_;L-ddpd5obzJ_ q=W[Ŏ_i? TP؍ь]yb-+(1Ƴ556?$)(X(Ʌ10(™6P  X2̫Ӫ\Uio2.,L7iBޏ۪PX]8XDQU"pmf=p.Q8,iVqsN_}o ]9Vʸ}}|+ 좫\~4Z*}NΝ**中7Qƞm 8{beR!:3c-ce"SxJY]]3 xI!'=do;^^5Sܵ <4ĹHOB'BebR46H(l)'"2I={ʄ1H3h"<-`hv5 4+2OL&lKtcpBovɩ{>6xgA,`PSM8!d{D2opJ·}ȭW,8M7rY2${O/VY3<3bkLBЖ3l97A~J'm9L&? DԟS.tWIyCTJFsPK*D:*Ns#lgb v9bڎ?Q;ߖ,&yD-gCd6GH?qYhG6X yPVHOMgfcG֤P C0^r$ih!.XGEAIҝ!R|Nbr4бА_" [V/OgĿpZ? ۄMw;cAF戧͊sD`aO 澥%8w]" gB29vwڲ|b)a '/;b:!-"ґT8ĝ]YVCT}X SV+xbe%SQ6StU]؝﮳Gg/4Cy 0&C 0# VgM: Z.lA2غ&K 6qeJ9b!c#x2j=uU7df'%TuePz mݖy1Z ٭"$@ACH)9g#ҏ2xʄ X ҰO(h෇\[R[BR#鹠߆bQ$+DJ9ũK2By1> ;4jnՀH4\"}WS+.}r+Fܐ7"I }<ӋEi9%¿6xrW |%n^jE?C[җXDJ&Ӆ;iKQf}ZUmIh |qA]PQi4e"D,^Ϣqd FӐa:((%WFLƪl.ekk ʦoz&4uj*ph|hyM>)6ۀV$Lg"7;7njLfQ}#s;r*MRF֚Pc&|Et<nl,j>Ia3΍Y 2ar-Xdkm Yxw>W\ WU|Lnu*p%0qG9fUGYg-G&mpv'~@u+8äm [2''<_OJ?$E\"esnIdgqͧXgɓxe dj_8vRX/@ AR2ZiwML~xZk*PJ TA)e5ҌnITIwvڥ,ff/8cjrp*E $[W`Nmy5 "SL|y;Kl3`ґ0CR5=J^Mf♯-zF baNxRԴts-ᑩKM~$5O&q Z uk"ZVĢ+3^jclҋJ ɳU7RWwsBDQ\ *3?,Z+:~89XI"`=miuܠC{āɪЂ[o5Tv!53kI6%(ugX%޹LVe9JJ@|ۥ499exzRwəDmPk4S^"a9PE@둄 <̯ \pv\X@Pn9+뺬Ox}:KZqn?O*!*xQ<鄉8~Io5+l3R9xlȱgYZ &71O# LHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tR Xí wi|>׵?y\tQ6%NJ\xnl:)ړ `4C-n3!&L[UCab!řC8(և鿠qT2%VGdx=c!{SqK?ѮaagGBoQhMm3쥱Ϥƞ\bə"uF8-a_c!v|$u6!'$`~-HnBy썃71t`mu|S*U9\x4DSHq)Oi2*0.m舁Kn2p jɔN}4-x*| }7΋΋=>tle=脀%Y6'OB4, Ibr,h9MVEh2CP@л9w"dҲLTҏ:g/H~H3v/@Aŭ3+}&K9U93y9މ'݆y@:~蹆͙͢{z<چ_5\=!&!bsY2^DZݩ:@,vDc6aG&3fe.% Ʀ0ߘDAinWWuktcBM58-7g@g Pxi=ܾ3rKsqE?Ѷ4#y%$b$hLp%A(ͩKcȮv@ X ǫI z BHcf5"4V;;%$뺕j7{='7ηr6MBRJ\AŭDr6qD܅C'l] Vkyۘ;_ GK%T9L`~--ce}w~nR~m,뤊 9n\ϔrD-ra'#rn$(HU}򽳎Ϻb`Rp%mk[m\F4<擲C ayi!xx"F&MuQi-RU᮱-oиcOǼڃ5Kn:Dc|* f▎ F K^%o7`e>gxG 0fyG:Oٗwa&#"YO}wAZ[#"n IG$ayzhy=Fqɒj"z@rYNkYYa {ˋx\|I{3+n|u/M@;Zd|/O"P8$ZߝѶ%}ՊxAx5=,D/H $|I@Tߌ2O]vh"_=b{J'dH%g;$#2~+e&}rh1ɯGrpp57qT9? 冭޴F8 ahQ;HG=R H$4 W--}b #_dz@4'[b0l|ۏY(JF1t LJPb鮛p^8i;K&Gh=OF}W I<[oK#)l6OOLRo.(cܵXwy_$΋mjF|6qf:(c:-cc**wR9OHrOE`Z jziB ie.X (-;ݜ2?,ē }L8=*=\-V4sm%R6NE\T@q@OaOp!>,AןL P ]ꕜѢ18B;g+ 9(0K9SSqc5õ q#a&Kŵcw@VAd;-8.DS|/4mj‹B,n!$+M?бʙY iPOQȥ0 q9jhES8//5RhKk6qьS\c%W<]<3d]/{f16ϖFc:/59m ICm1ߵ';Sv.M< g{*- o8k/Yg@],Jǐ ٫ODO"BCg'~q <08Ic|f^sV fE"]pF ڨ=dq䊾º+^'kѷ(`rm. $K~$$1K0rQDF -/ X;lR}n ct]\䪧3}"ׁ1=c"T5eh:I8_r ؟) r/* ~ /th H ^ {+t J N 3[ H R  YBr i #HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files6I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages4D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup3C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files2I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id1?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages0=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup/<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files.B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id)B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages(@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_id%D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup$C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files#I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id"?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id z 'HOL-Co@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesMF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_idLA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_idH=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markupC<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesBB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idA?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages@=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup?<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files>B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id=J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex iCHOL-Corec_ExamplesHOL-C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesOA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupNL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex CHOL-Corec_ExB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_idPT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-Corec_Examples<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesQF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupRM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex "Mw0M lM  D \  - Z +gqF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesGD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupFC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesEI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idDB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages<@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup;?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files:E1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id9L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages8D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files6I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages4D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup3C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files2  : Z;1G# [v)}̂^_Y۵|gRB{pbmPn;?C&uϲi&bpK7 s9BRx/jA f|y=mDEO}x99m6P⵳pQL."Cm~T>}x=Jhx|>o{cSߟɑ;7 ϧ'v琣Ȫv # ;zoqCH!^;7" ;Y0 }2Vd+)KGGz\Y eHQ?W I*@U>\{Y5 ';㍳&a<_d@1O L'L摬&I=ZHV s[e$VO:# hn?Eo|8ٗj i5GsM:tp샚`{lx:]IէP/nr:D !:2^ſVZ1+"z_ˑ:# ꎽ {@)}>q;^haF1Eq18ҔPط*]p:,ܳa"cMK-mf;Tn,2):UTvE~ch߶f%&3#=dxIcCh:$ v)LaI43]L<6ƪKJb^~ÜJp}-jarpNVNij`!W\mF8W'i2 7F:&0}@㎸(vX;IS]Wa Z8 Sٯ b"4fBB0uJ5Xeʤ5pdv@8KACQz0DK‚WCFGAZbĩ]v[ 9]2UH PL\Y:h]?dbK)~iG=USGpo3ڊ0S^ "?SiE8B濱yPm˩_aF}55>Ӱltm'Rg;[2dڨG^.ʆ]~|g8fiʎ:N BtoYҼc퍿MAgMf8!,e Xh8 L,e΄]ry+}WN~kNj\ YWh@>dDl27Ie|9x2iz೯PHUS÷ϧa˿#i~N8YtmZ-+l)J* D#0yE1s\)`mB\J YI6t QZo~b~rhߺ!?E#nP6WTRdx.9.zKu9¤Y< X#6`HdXq@\ bA^G@k Wrq7*s|_`豬z纎$9R5ͅ {=qߥ|mrJur=LB Azxxti?FDm˯BXO/rw *4*y|[FUKwLljM'vns$I;n#dy>6@ "\41^{VqxK\П/u$g|ܴ3 2e m/H aytp !5?mewZke¨-gYZ Q = Q=@1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 9]D?7 {?:fH\vIJ5!Gb,&vY6$*J&ν2TKcR3{K;0:.ӴrLOLj N' M4mGt0ydcQX7ǀ\(P籚tk y.*J@ZQ٠jV`i-/>#|HEtJ3>GBuiym<_< j !ҟkN3@m:gб{"x(_cV yLHJ(1'u¼t 3sW ̲ v_GSNg!_@B.lIXS,$[1G4C1g F`xbKz?ٹ_Dyv^JO8˨5._^ W>f&ޒ(~6dܪ8D?K~y$.n?UؠuUݿOX|!N;$رE*<Ý9M/sHF$蝣[UWmUKǯ.@I6sZH` rw;C 2G+z_H>@:H<ڀ܀濚,+}%y[yb:C H+LF]ޘy^7@GaU# ^e}:N^XBW9\A"(EޖzJE\B=cLRx&]3Z`eE<_BQ/ aʱgYZw?1A# |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1˲xV`M|U(/lLcsф>X4CnmDAA5B׶bG.&RvBWz(<yNQaSwiܐ&kF?< Th}B'IAo{)YI'/]8ݺhB/Md͆=:dcO)>s`=idp:C1< jRR^.: sK\\xDjk:sGgr#Å-hЕ(Y'%C)sPbϡD,&}TvJ0kkm&Vg?WJ*Lp4@ow꫚Ȇ2$c rd~Ll6e*Aio$mVcL!/' aQ|~^KT8W&B .NCf&zϗ 5[){'fcH2_^[e.鑒!a%➬8󱖂Y+oA)ssz9H6D*^9 0b+P[i|pcxΨ G'#>EO+Km6~:pԢ!.JI`>;MWR#默UX͌hAd1uRMlfBz :9-u~+ %PE7@<G`Zh ^qpEͨF/]4@1E]^*Y2px DHvءzTc.'T $4$CO.#(E N%B*Rf(fCZ;C KSW+LM1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF=1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id524@<1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\Tu =cZ&Hx>8Vl>wiZ)1룘ܱ4"RH'L;KϏRwDYMz!Z/4HTUPoؕנ=y{nN< }3΁"n$t5<݉>'ܱΰx pNX(u?;d&p;_힬Uj3 N`qD܍EUz`Es!-xMIA2蒓v|c#- rX [2`JOHMa7yۮXϴyuGc4iat#GoBFv%ZۊɹQ|&]qJC]'"W|(ʐ]ap59^kay,⸖mȮeeڑJSRB'WXB~IQLNFӭXv953߂R?6HO )|;5ԣ.5] a!~Ӎ}} ^ "5gYZ N ]/F 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;]!*#le\:DR!,Oy 㿬K Ϡ;]&t,oThMn>۶}X .E+bE/7ϞbXa&D˗u|Um8gVFi@vpSe'CfHt0Q9|y=bpBZ<M1(56G3"H,JschDrykGa~ւ gX$h+DfV똎Ƿ]jnr܄` h :%U4*)(k:0vE1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMD1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id532C1A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv BneBACZn>b Z} ~loOGgIDM}M|w4Λ ywCa}&Nt؏|yCPn4FCkHJ!qgI ?,<񆦈GpX~/r*ןѥ=mr5VdݛaP*$ ,3Hoh rAIz-Xl,M"pefZDWW]'2D1Wu9fc6dEtC4 9]-u0d\7b߾8W;?M*?xo]W\sVN^ *NYY;`& _;! 6wX=\ "ׄu|wΝc S+hF;E%Lc8sj_= R^zT^Xzۺrx;[ 1O^r:`MQ#G)/4bz N2 pf NHpCWMXV|4<9Y;K|>4]lDKvΨA-MhHe|{s= Is6³*0 h68=\.M7ݟ|w&x-;8Zzt"V+͐c]K ZVђk޹}RGP h3:T>͵ݩ٥=0iM-OЉ&TV"2/f GdLa1u>}o s_x)J\ |̱*ޑ*cs sIgYZhB1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyFA1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5361eC6||{b ̽&ƙj;ngu TWܫbb3`_ѷXճ|?o.v#&^h;?mWѭL vN2+R_TI5֢Rv@ؓIW^Mæ/1O]W̼zŭǃ9{su߿ypQT3/ mkVPr`#©kp B)26R1\U/@Cq#HѼ &@GC3Ü^f% OW7 ;? nz+M ]]KNVO}mzORΌ8!I _ :3{1xޑ?p lPw5.9pl=]=PsYacȯه+9]Ũ):W<Jul̴2UAp= Mܛ~{TD*khݴ h~p%lxN\rd3" 7Wrq]2jP&U,t@:hv*UӍ_ M0/Crmtz=uDFXB̏Y!.2&GB^a!`:&uI|i45a]{vF-'d^O\yNQaGM]Eg6I_P=.d=7lV5=V;+t.0Y=lSdC\xsD#HYJE4[ S'FH814ZHEw(At)߈Ez9@l\?=/[2RXƚuP.\v}2k6DZ~Px/&jD%f ,:L霤nEl0 Wq\~zJ.27mi,gSHDŚg#W=Ŋo 9H+(ö֟nLaP-b]eXB'RL+Rn8Q?oOST17~3L]v8/RtkNSb_ (SqNѝv ? ze,r2pȰv~5~cmdC6X[npup_]sQZ'- }^خR%Q)sZHEr[DIpp_y>(ކ`49ܵڎ &wIwc\hG!qߤ 4 {:ZV"'[JRmZyTf ΞGo_JGs>eb\LCiE! T6:ݖ*nh }&LEK""~Ԫ_p׹Nd ,71ayD{'Ҝ3pD 9.IUjUjTޒu1m%7&fZbi#w!ޤ\H\0b6$-7N4X*nrK`V$ômR;&5o2 W6/~f ,Fxl Wi\vY>b˃}Иj| 8; >c%ᥤD@`D9kIY;}чOePk\5``*'CIR[s6%M>_⬇ts;A@I"CÌh+V͓g8r<z]"zvp!oQ!Ex5|佶Y\N>guή>(8q"nVt3gY1(v35"m˲qwtޟ[nװX+Ś xrb^zn;۫ xrr4W!-b $\=`4%%.!Aϱ43#B|0鴎[O\?;d^ 7pޅ>,j>%CV ,{%@v zE=L. d,\g?rD`5Էc ê,HbLBeX^ein{cTxu6D(=Pȑkno,;8e{oFF3A JVr=u͵36'|k #s4[2 [''7U7EsW704|:t@a'fv5#C'@k"`GS\ n/Ab%x(7v% YUz^v@fT4:2{u|?Bj#|}&;1uDMsÊWxC2+/īǧ#fsgh-ЭBQ45?5\좏q =Mhǭ8ifh*tĬHnqQZ6[ђ`~&_I?D.qmgL V)"Y'x`b{?gŒ|Re9T+^0.01@ z{ XC pbbUu8B. >bw1FYta=;MPI[ݽ+|'FpPA*ۉhJ6&U,!<9^wvkMCd'0jɲfjԕ(BSg4A'~~WW9Y8a=RVV"a 2a%L`C:`}'(R^XҙQJ՗es+Sa8`?cR%@Q_v Dw[;"6OsÇ9_n;f5ϔ 6|\%/ Wy]8Sw(WEcg`,l4_SlD},};7x hvCK+ :ݺL Yu0TSŧu,y4n.=X@Re͵Ίm!>PB1D  7 hC͓Œ.s: qCTfA@آO+vIe3p$^L6n{-#>KD9Cn¼Any< P)΃7ׂEeEt7q0TZUM?E6Y˨1kbr7γgl8gLGy:*AH7k6pP%acg',!_IIgDcX07)z!-ҹ2WӡNE@&yp(GzUH-f1H;m̡(NQх>YH^"2UTqpث٢w|rkUg&ȶ;A?~ɩ(Wid0`y3Jq1kKȮ Y%snk3H \}$K99 m%4%Tab{Iy0r /`{iXkJ)Lʦv_4 `Z֙j{7")Wt'9X!K^p 4`I⎈hS  DzO޹O!S8Ui*@U~#!nw(:''ʈPQ^vy0: lL| L0YzIY՟VJVMrՌ$G[x'=0KVnLʑ]R.-eǏ>sY#P+fr "t_^((Llr(a b̾C쾨iPBTX]Iv {HD \q+\b)_eU]g@;$_ /_]\Aؔz^2c I氭ev8rٯHBׄk2{k#Xս8I4F$fkxL" [KS%iDž-LU+%Tikr^RTy<_Ɛ-vveʟd9Nj;=W悛'iWvdchfV<]e) 2/N|:+sX/wUc /Os3\J%D6xGӾH^MĿ3;A˽vnnӔ$2{&F픱T[.@ _ kغ5IHfjagMu "$ vf>-Ccyc4Bfc|\wZ6?6Bƈ-]䃙FC1 y^5KRc<Wmz[I-`DE˭,* 9o!g\_ld{Gv=-ny˗ X2[8=%4w~1&[ٖrCŀ4-]T:,%_2ʯgkB:;-dj$&>"dLv&4|(_.},XpOEqpeӉ9xSYQ؋TiMQZTUuMbn/D -N;t’Fk5=R*mknX_" Aejk0`!;^/iBp[.8+ YkB:^f-7CkESZWŨ6eGP|}r(kJ15k: Zh^H.b^0m!4?͠LI[\KAF~*l<> Ύ悃tH)9uYFi&Ǘxɾ;8iӦJά5@lF^{vN `D-'`9(hg GV:1CͺO@Bo&AXO:ݫv}Nj—x,1{#^Q|bgI6LS!L?L5'ܷ2DZ?Y"y,Ńrj"@vH7Am8k|ғ B'>˱۞ ڏ])J4СK ruL2;g9ql]YIW1ǀxVSrl[&h`J]0>5=B6YY&<(G` fzj] 1_tz/hKRlSe&|K눲_v iWۧ!& &AzYy=CfD/XQ`;@ᕨn?pSLMX aHJjPſQ'p虶Gu(!FõO6+4O/@vyXnCݼ"b+= TuɕXKbhY Ie(yt0FeYNϖh9~k+&D n FqjWC] nCXc9GzP^gYZ AAlI1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyHH1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id528G1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! {]D?7 {?:fH\񔋃d!t,1'5SE28jr-uU$S/w |~w嚴e NJU aULX@nS M D!g*QJïZWhTIm9иqe: rؤlXO B'S䳕km^C*mWCͻ*E\%!f!y$nȳ٘Ū{5 !c, /bLe'WDsO̟Lz]bVv|ZIe89} Σ뼏x CFFep fb:뵡gu4IΖ+lV>WMXF?G@f3|:0Tl$5X;ǎ CڤG[ U<'*i'y[UNʳs,K{VJݗKeg2jx=t{"0V|?K%yzSb[~8X8r6~-vrՔ#׭掝Q#y@(JRXYQsxƎ橠 n*(`ϲx.31R9?RSY$8RPw 'DЇm!bT?CA? ;0nܭGB+$%yyŶ"3jLk!qzQ9 QQA-RW\!b=0*R,RQ a$f h%_{4:e[7?PDAtS]A_оn{$@V(Z9G9TWCfC[m.?W.ajԆqiNPj;V8KWz?m0й`cyE3_xמE= Mf;ӋEΨx"23BrՆceה',aX8bWʙBH߹U_%p/PQT 58J㡮OcaCɺQg ;SD>Cj.mx{. ZNGY!,4(&hgy b g@rgY줭q ®ku)n2*6A\6C}$O;載v|}L9:ʗ?n#" l- #G|e[?tLG\_ D uUrIi2٧ڟ -ix$vJqu\^> a8M.-r{KBJ1Mhp=dK&~㰝*x2 B\3oGcw+dX tΆ|:Fӟ{M^TAM_N6 nK|Ѫ*6=qzg4=T0Wjԥ):&1 o w 1Э ubVQ?M2䳱) fZ ?3Z FIz³< c}JN$WsmBfD'IFlS=&Ϯ{{چn'q"08ē\Ao!fȏ9 6JgYZ4!Aq.EAWk>D^%"ģJ?'Gx_XU0~a PFb=|kdj$-\G XM\|d{̮d\> J5U +W Rf#p4cŢ=Tg2DiUZjԂ_E3Yc;:jͽÃ׬f6x7Zr"$(N~K)`BA+jLbΘ@<=靪]J>a h9Df"+ ڍؼ$whE\#nh| #-JBU&7%(ɗH.d~U wى32eBu:Uq,J-QXf|RשV*_|m$r j+dLܠYdKDɟ\Mibu_ QR^@zQN ҭTF05NBB$BރG'֬tO2gn:!%oBllk(=7{W "]9u5.t1$%:nVn^qS x?, ~cOI4i9q[nGAҔTm[!޻0Q[B'2 2h̊C2, ;v~D1AOns`Pn CNϰUɄ-Z >Dzf*=,z\LVeq܌C43Mj˱*I뮡e9ٓH% dὓOKH*ȭ[yj Nr/l%]\Ɓ-Ý#8i޿)]7ګxLc&e[[Cs#zuFl*QHIF4ŒB?&ض/+Ka)K`G#`bk>KVqΈ$| olN\vMzw® #T){Zs.e_4CNN-GFtG8J,q-'ngӆCa:XCQJ'%?M8 5WY3ӐBg%"]{D%̉LfT[n>O &v2'9v _j/EܷgG}f l'' gx+$w;=!m8hc\v:asBO۫F-ղUFF{qʹ (W]R 4B'xJ+xca~%qd2MdѠdr}pnX%]uܒS@0r55(uFwM[m$PQf#!k$ {U_)P#[IDtTi!ӘB\1N*%SV~,Oi#p6 aOf O? >م<̀8[KP 6p֦ʝZCsCĻ|̯k/4f([BZ{ ,'Oft:%0vtȳն*#\ljN3&|&pZ?2sxyA&l6rTm`"uqml';Ӧ#K|&kdž^>yc1D+V$X«|Plc \N)X+~+h|M6Y,-G7W˚1$2ዔE3]U7 j'އ!r)MmϘR'"S PS?LA(W?Cڥr/q\f)9&ܫw,ΞLb*IQk _;tn[vq73G?S!bDoDA%PX2Ȣ-k+Zr]&Luv1`6J>~웦+3% d_M1WeL^TSg/b!Ō H0Z:RoXuə\@)-k6M?yNVAWZ .~YXT? drv67v"WZEb<<,i-Eo!#Olx:.ĢܓW7;/谳s?xLlWKjg<5gx]bTQm=w1l7=O {[2?M2҅3b((pov y-'MzS u(xO@23=PPͭP14a7 ff| Cx > l X<+4K^d#Oq; ,0}ogVK [:%CQx'͂H1|%!OJA+XhBÎi6KT@D@cW>ԀH3_4n =w#Po qy~!o ObMYu٦5ͬe!4!ƝxCWhv޷ZI faʎ20~u{:xb̶g8 ٦;g1RU'N15LUQlbj%S`ނ/Qu!;|e>X:p[F&s] RQl>-R-I.EZ\j |!wXLa12|o"8 Qӓ/66 PWb.Wd9/nfxC Vl8Zw[o񫣢rT?Ȑ٧LRBf9==F~O6-=$C nUH,YBNF| 'A V#4#n#;_"GDJERR(Hr&lU@;~xyh_D T @9XaU\b1?"H$z"Ч Cgʛ^yxɬNzdC~j٪Sb篵,H; |-+C/36.F,/'[MǚM t'Ղ6=z(IXNSB nnpQhz C]uA=Y奁/%X(C8pYnԭP!bb:Kۼ%i8ROW1ג2VWovXiE̊~ꛆ;R")N=q˒4?L}YVbEXu)K'PEo5UuG]AC3{Z9JeGg]ԦQRKc8odP®Td $bN\t%p}_~u.qYW}CIJ$j׬[Aū4.d7Yy@h3'.R[dQo$ -|I- 8i yMWUQM;)QDCybՆ~yݻ??Y۩Vf}=8ڛ'M?.GX߀0+}OƯP)-dݢ^Hybg~5W] D}9\MdK.ap{<aIxmΡD H=/<#gpٴr S-{Nt!c~*<IB>-bmg4X{v9a$፥x~6hq'85AC>jcL#rBpJWN{y/'8CC9"}U~?P#6umx 7ᵇ5:EɢeHyX4A웚? H^T7qD߻-@^rg-7Q'n[6;_Ɵ~q0a0~W V_*:+JV%'t⁰/Ze6 Wj\B^RϹ@cB Ǟᅁ{+kg'MR*.;nI0VOsC~rZsO#r2;&ϼhvF{RD$D(ڪD Pߺ>>yͮl`p2n0se͖%&{<Sq䚟M4ц08Mާ1ZW,WSlx(Yyp pZ%;>4 iz4{_tI hC h4tDo1vOߍ=S%RJf@Kqo04SlW^KhJq?a=Zw QheRܧB j˯(z7)3m[&e3:Bb42&f hT:e̦Kh, ِ(V0uXiWqwy.u?>X#'q3:)'F/( z7K3 \_ yށƨ~ K e̤uoE8䡻3!5e¤ ]9|;7Bhw EF(@DX }ܩ_qh2 Vvo0PZKPZJ5^HR ?ʬG/QDOh uhKgBŪ1k,pUohTwI_]ܾdz.1 RaH@z5;v(q6mGƐw'1˵/CR+)Yƍ j16Q-Qԕ,[5Dеu:[ծm\pᬑ}بbt Գ qYՍa!ջUK#gmԨ4 ۔ }<|U%2'V.|h充Ioݓ2Gal1ڪPU -V12>53E[!R`*{$]] C 1c56<uU缐Hm"CrdVK߭+cvtH|IY)(SJMPr$9edm@1t";WIC4␔ }r >D+S.rPxHmC5*7v;3OKGR8^j|C!T-=wP(}c$ʂ96 ofL5]3J]A/)=?En,$ :jRlv좀~I6;,T2[Lmy-Xjy3:cr-挼Q9t gn|39!ݐf7<%iYɡIHlT^k:X,,:;Ifb:C2b7,,oF[.Md\N׍K1xN-KHfcʙ=(F9S:!>dz*B߲PS]NȔ2Wx&WȐNn>f}6#S_e>pIZHT1އS(d/~)S̖4v}DXMj3̎NTh >9<+mtƱhLkq XmWW](oEȖv,OwVuF̖0݆LU_j@rF'Ch$h]ц6E(܃PJuS $)SSbP_1 -iчC$CIyL>VNqn\?63jz L<B8{q_?{W,dɎwq!57,ʘ1WNV5.3 g5e.$#' mt$_%dn̎48:gRZv&6yKǸŗI^3?`+G)_(tL8j9?ص fٚ;AwK탞\lZcB^_G ѿ_2+dC~תaMTrN$AxITf[mlHƛމ-~[mf1v+ݽk[Oȑmp&d6ZhQIHkddґR}~+_`Bn}I_ip $UcۿCj_Ggf{B%۰@A1 142'Hud–Gd7X >%]|=3iN As u~3)cP:UIJ*س]I믌XG#T^2E)71h?"W?.֎]d:,j.mXf!%FbѼ =..OAϭV]{K? #pKl ΂|%*BPk.yoFXy'~EUǫ_al7߱\CȠnBk{H\"X8[r:mɏJT F /ZO`1j=)wBSHtho@PgL~R rd% >M2p09d yۈљ(/xy XsLI1Ǣ% o6N`_6(sϱr+;>s ;Ӂ$O2?-rߋ/-Ee,RF(C\MeÓP[]CF+%zr^T*Q]±(pǘIX-; eWJIӓ q8N,\ hY((>1."kR.9ow¨dQ(Sf<xe10KJ1,]re BBǭaI&P=;pY=2x n@0nY njNdؑf,:,tU-l$M;)#a+1&܈kB4!7}*^jv889G7548]%O;zeMz; zJAGԩ*`o $jv?c wb0Џbs-{ijȫY֠3L7n"F3IV~pp7HV 4*1 vjX"Ёՠb|wjžWɬFMJHpyz/ A|kfodrD% 7p,RTC1.;hPDvJ Sq#2 "U*!܏z63jωno"g\׉GހYF7a*ST xqfhB~bhP\' ư&3"x)  팱Y*w-khJ@O)A9N;*IZV Ñ=%QUTG :37.6%h^r6 ?>K=(odml\hf߫[dmpǠ1AE ;IwW GײMxK0zN貐M#j*+pb,GBayu%U&8xEY|{:nM_Nmq=̜&ReXeդ;[Z(z(sWt1<$J/8% m0v?*|+$1jMNU"1nRLJf.,_vׯjv.V`{by^!06IzP iWO6`3A"Y[{ ٓL%s2Ӌu^NG2Jm9[+)ݘďMaJ0ԋm6ܬEIf/3M#PV/d:ԠRH/ţoddʌ 2:˔XD+ O3O6VsL J?3Y n*x 9]^`[PBfYsB!N^ta^-=<2#6D5N!6h{Hqqfnޜ [NJƒ0GvR>?+2_RaA0W(p'Vfd+G+:cE3 ?nepI!ξ jHםkĠ`v qKbz80d '-)^–5 yYzg Qt&j|2ۓT s&u47WT5P3F5w{le:HrI-t8PH/5QF:@Y-=<+;/ƶX /hfۤ8E:6̆q$t@%g=iFfw:$V;/EQƑhz"@TY'%Ⱦ~Wffdd=so_˗H>E yD]O|A_ cY}@~onBEAE\|'hh63F"KAØ_y.:],!Ɂi?XTܫ|f6kdS ꥽$Z֣MKEtC?0d(=d7y(%^`q5=rbh$R xmE׃{4DBJ Q,_q8VjE*vZ(Wb'byU%?V OeXWU:TU#MMmh L7z(qT'nhi?PZZ,6ֿ.}bt}%\ߖʽ0;ME@%kx<W_0teWҫ,#Yk_M+k%w|1RE2f1@+jD瘗h6qsztöYn NvoJ؉4"ΰM¢tǭMeV:Nb /a3V Ip|7zI")8︰qU%K0mrۡm]J]I](Ed;̭g_f > oX13m S;tF,6@]UTL"O(ve 2; ޛ貘?`SqlO8ӣ|k,E_eJDr\TU5'z I*4Ԟz]4S΅ϝf>J,2o7k+ FDbWHza*zc%> /sE2t0ؚF(6Nтro t ~{/x,*,MXv̭|KrK8{[ 0x].`̎|.>Y~6'`_qͳYpdbP# O= W!!3)r7#2DA1>[`erM tV*t[p2tyk/UGL;udZȕ˩#gCC̦K 9-=A6)DCbl7FbSmtZm0t3=gzMب hT/ٲi ʠ4 (&8#"YB#Jʙ* ?_H́@7=yK;x@ dI^h\j 7s }UYYmY4g%+T1PܿB+;3>3dJpY2U#URNU|gޠ-$\Gߪ-\T)7xuBRe|,p vJFK>4:r uӖV:1JΟ~]Q]PxpN߈c%x[0C e#= fPAD/o7%|Lܜz*w7A;vμ'O~Z#z뱲|Fr[mz_`>3b'q@"DUNlq.ˆhV$\ܜLު`j:1vU6% w:Qp&Ee@s1"1qgC} T[L ܑZN5YmH޹Oa Ve#5PKh zT qLxap{\f#CeKeo(J+|Q)Q{i@fY70&"%'y[ (ʎV,LoKOG,8 U4yS&c!WO%8;*y 1BbIy2`* X}v_GG;?[tMuiJ#{55G]G ic߿<}'.Q}_|pvR]fa=B4o 8ZsdY$wy@ Qߒ'B?bUб!S4x*ގS`2ԃBEDa1l9LW_G;8?P&mfeH }*9-hMpPGE<.\[ڶL>09b0ԮU Qh.#NrwI iF OtpDe@sOvS*U{Ce'vANJ&@yj9Y:y>@s__3* R"fϗ1)dNTyӈ}6N.\{P\=~ez`W: rpDf(&[((:?țLWC4-i=% 3mZ C=$$8fLN KA{ƾӫ:{QTy5XyPEN-ЎE>ja6;4& QE#( .b@49,tZ\iN $x"\1ur!ϲk5Hflc*EJ/T^qJE$fB ߺ^F;bJ3F_ZMʑEXg/j-g@eZJ \F϶&qsw7:|k.9 ?*X"w."A+ÆȰ.SE[:ڶNH,GZ;a%)t̃R]ǵatgm]t^cc@ǣ/-##SCz9D+6cUSv"86r!lyV(OgH3߲ڠZ  5 m$NR\?.n6/\Ǡg ZV (?o5n]K'5&z/j'sE#W4օ`B}[#zq@pq}; ;%YzeD}|@rMqh{,Kn1Rƭi i6꣆>9~*ׇRT#ub  ΙP~+UL/oyC-Jp\z3&αm^4}+ 6KE1#*tU[c#]r|zVWOp\e5Ӝ)r*9ZY?]^swSJY ?xk U:o%IvN*C1*"ISLy&~^rOg]v?9UƂx]'ɴUm M9^D-4)'>I~4F/ 9VԞbr# Ɓz ݽ4@))gF( 㟤kU.и{4;B{ZVFtOKR$z]7SVSK-h X{S3~&NЎHZZK>MGYAmLTۄ3U:ŷWU4MF Kޔ7rU1]zǥXLvߎ*:gϕ8Ng{O#?`dɤC* Gf>!!v}#ӳC(l,a>BR"Կ5$MBO&oeWHA-~l;u\P}&XZϯmZ>`˷O9.0k'=4s9t٨=:E8l"WMG0x#=57 K[z@%!kf$gvxne<ѹ WMU`'zVw"cͭNe3$uKD\8̈́v]t. U$R觕`H@ndU\zy䴙aodY[f3ȗ򉘏:W }K_K;wr9z 8ɈQHz莱t堏qHt͔9Z  Le UkJg)ߠKVހ/A>P%'.5 E5(`=aԟV6TdJ;PJv>I`=( +f w;ѕh7Y'T\a6*[H)ۅwAK&FI'"p؄V_o)hJJE텚ykEA<ǭA/47L H۲ٗBkF+7*za˽?>v.&)›www0خf&w6*CأJᴾAV.GF>| KzTMQX*hd'ͱuLa/Z0扫]^SGk&nQw:5d7D__Pt8qͽAm6D̽:K?d#*\o>@/J(3CŎf^#y k|'zZ(Nf0%[ehQK8 k(pջn{ed -KH?[Hy&FnYqꦊd`Wgdi8o0'2l3q?AMɎ(A[6 'K2jHji9̹ uFښê]bG Z6rx0 FV Qv7L;hGM2HB}?9J!H"$l1X?Byy|A9Z !sr|c~.Z+`~5QH9stMA?9"O;*FC[phrԚqfUtktCdBX~nȜ\.<kո6*bFqf5,Ϫ ]CTn>dXKBvܑdlV7rW uR葭:5\of<%Z0W wo=7 F`0ҜL!˩Fo\ŲfjEc; J\xsVZrAӪ"[= XQp7P?1JŒFpDhpdziYgZn: Du.#ݵ~),RdCv\ SlFmHL^ g 8µN=vO1ǻ<;Ov_^>wѺI|> P|Q%m1lF& '.64`frrrC=nuJgAR I)~EoF烨jiV( n/|ղnC{#cIW(qm('*| Zyrm 3[ӤORbԀS J6M3XgkfdR[h[Tta]uKgat\TϢ*RCX ڂbZ; uSncZ YEW҂V_0 Nx Ö}YE}8*v.+Nu):whR)5듡K3јQD(ҍ熻"7~X-ӬJSIOv邏VVRń`Tg#*%mczZFf\R^0F' xUx˰~=}УOn%&o , -C+2ǖB,zIbe`:zg.Qi()@k z٢W= +D#٥ ߔ ,+Z#!mv ~芮 $#X1ef6oi Yˊ 햜6؊ Dcp0&%og F0 }4H5q *^4s{B HWbI瓹ls6Uo@%L>?Џv&/;?֎/dte$6@i=LbJInr6ϸBHl;Iy%A/}GF+ ^y5vzfŞD`ZɆ[.}R3fwI.hpG~!º]lhSM}u87<*|d‡*~BKI4. ڏ&up#9a0(azs}g0Q#K,X94 O&#y:8 IuT1H;KPFCIgyma~wnJ%b# <V\8Hd 8lbbA,'~/OlAyb0F %ό˪Xj# [1!T! ZAS`_Km. bﴏzV[`I~,7_O 2;*qQa @XnGB͹+@>PoghMPM׏Ԙ('3nz]YGe$}I)cS1;H%Db.Q>@ 'huY2ü1c0S5mKjRV9%Bͳӏx5A (buB;R2ylj~%Q/M!ۂe*k,XJWӨMoۣ&&('(3 K 1κ(cRdA3?| Ͷ|Pf%?QR({?dq84y\Z ^'cΑJk #oBp)hɄݣ 0C9`xSV&ҏ4l/9r.kt(ju2Pal-|NĝP=8ON J2FEq?lh^rx.SL[|!;ܴR422΄iA^x'~oP5[#q^d)×r% X.ށ+KlFR0)0Z$yN NF݇vr"1V`UwZ!+@Ip,g!)wKY<i0ʃkH:lν?37ye]w 9# Mj&ZVd5_5%L)}epވw}È]8, i* 8UGwlp;ۖmany2;3`jscmehpT^جsq^1n) f)o~&yxׅ]-Dam'Wce6rF`Y h,[uA~cق|VЀv!*d5D}L#O{U´'wSs`$={΢=D4:Qn>ٷT`nbuUi{Tn:^7d@R&Q [ѻ" SBi3KnW{0/T#D{bF<"*uq'~bGéJF4u@$^=%I%7z#نsnuƣL;|<5xEbÂbx[P3_ /&q8_zݝtqk2XVzaNK3-.S!j$ Yd@ȹA[Oc &\f_m}ӟ+[a50]q4 E(aI Ek(,&L5az8fJBn%qy014t[/=}JK4P5Fi]a6EŜ͞%ȶ 2Ut|9 \?`Sa_n롡DNL=rD_҃f:RO-A 47/ H\{pw a\* Q;gS{}͓})U{c{~}=ȵuI4ǓU}< *>_FZwC?l]rg4T\B(\ۗuks@%ܼA4't"ͳ4M h/(Q G,^~x C߳8nl?8KZSuȝr r^^iu\Xɵ ;G{p̹& jpɧH;Fc+8"+~NXn?F$;}6|F Ļ$ӪL}1$\:ZÏr wr"j-KlюW/qD$G2 h%XOZFxQCJdDnܗXq8Nظؔ6*(E48lp{eӮ&#9о/;D<*NW)G_'[xm jglݑX9s88ȥ"q[S- "f cI ݁. ämjy[aK~"o?h6bʲRܮKggYZ ^J 1E# DHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! IXZ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2TiܡX8`:R<S Crt R'H-3 6:R}k޽| q!y'3cU ǀjZ@D ݺ#ENB*$,!'-XoX6 GZ#m/v|¥k"L+ɐ٢ 2vL4hr&h7@6>XA@jkj5=ڰ'k԰Z칢nYl.Cj $Oc9dCcY!K52ւ--_*b 2\#6ac8;r3Xqm?8毫 ]60pfCx3<;ݩmIԒVlȂ[^'K:ely:s'X{=؍J`^9 ;+Z-zx@Rn6n{M+4x7p9wiѢU?Wr~7A\5VYͩgF۞WGvPPN%7TF6nmN {SÕAwF;+ቧ$oP'Н\Zj*lF?RO}H.c` 5- @/M OWzG 寤h|~dh-oCfHyin8DhrAH?pSa+~B5Z㜍0uCx ,64(0]@s8'+8;SA @V{L08ьz.voTܠ*3@_0E"J\v qEF;v(C ߬2Eh M;2<֛[ȳ >uDfu22/Ϸ:5pYC@mŌ+N=no! >Y= !u-VcMn?APx眹qu?uKw}_b'cI1{i2,9u-ʗqhyH+V~؞9KЩB uIH -T#(@\MP雵x80Wt=KL9& L~Av  vz{_?&f94R9%0@#m+}CZ,rߓvb|I)]l̥N7 _ s|>:#dw䫻7m J%)dhPۙVtQ}4: &f AgV>h[=,n'䄫p|O e$8c6߫.JAƇ 9"yM]'tx܄$FW@<\y`95(q_1 N(\vM"nzPkoCIǼek(}:}n37y|2΃VڟN2O@ADC\XTVj|E=ՍuIS $BHD-`!bv5ʥƌ2_.|,d:7]up2G=m^:FU*Sml6\#P;&ub&̩@_>fek 1YiG]iL7b܁+A M(Rm{{T+!Sl5}n# Gi3& L^hY<8v#ԨSHnRdJ|mD&+D^,k +| ۭ(da]`}XqC=󯏥nH;a.ɤՊtpԂ-[LwL %Mmy)ppS: j]:!y<ۈhiWC@P;Br-iKS`}vel Kݬ3 fpM1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJL1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id512KK1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\Q4S ?Eb2҃*CqQ,mٛ7\ZlAG,Y5 7ScAnҬl([_@pjM[F</։T`[EW:,ɑ>9ŹGy]zi<5g"Hܫ4Pf~{1 (F'GXaXt; `?0Ix -V|#*3؈Z᜖BxHh_VcW.g$=ŲD5VJ%8# 4M|}Q,^+Ɉ(9y!yɴ ,k䝉[Du}X&bǩ[0[JBκ[w0'FZτI ט_kˏÐڣ5CӒ0&(ah80ٲ9]ؘV d(a%1/T!”ĥ^uaўv_ *[}뼐_&r1&E$oȋX"x:s-XԵkM?40`WV1pvn׫l tcb:=1+kj*jҔZ*IYQ=- D(?ҡMUZ a1QGz)7;W ~ƜR`Izk>[V' JCh}B/QP!M<3 >u5`l_Ө8A\0$zH[a`WXdY.o+b# K|"hs/j$;86=kG#B {T+$#ȸb`DbޮvЀg*\Y^hfn&HaJ`Xq C5 +V"XcQ*~HT*G9M~ލԦ- ȓg`C,ijkBH2+a4* ,DsO65sT7r ray?gPWhƾ1MI_s,j1I. e2mx!9b*&fC(_U<7gJX  H'U0ĝ랜1&)|ޚ Qdō(iY 9lUcevD-.ե`u>i3j܊QH, !?Ǐc;7vm`d O!%t.^*%nK;{v+DZ bVNV Il/mPf>Req{F(/P*.{+{hUe7NS+}Ҿ&\v)Nٿ5P9i4'`7=S^RY 0 ~|̣zWr[=w'荜8OJh~'!DɅ"mnbЮV]dYS8yWMMV~ʷ}ɿ\K $g@xHwCRy30MIB5N~DI@~oǶ.*"w,yJ&TջZ4V0[ rlM1q-ZlKO"O˻K (Zs($B"׾x3 ݈@|"8dB6nL0*|ł\Ỳ+v LĄb+)Hu:;c}9%xl h 0^1]k69o`I`[T7zϠ?C#dKXm986'mlgYZVS(q9@,Ʈo<'E%/JZ)hd-\\>fuq%" H+,`#o9]Fۺ DdfLp)!иSZ[((X2[¸Yn6"Q̡T*0~-J6 cVՌcaOw"))l{ X &D\'e*Wuy"zAG F˽G#Ǽ|jP}`O 1k5ap'm J M6"2L2WGeES5uaA i`,aGl5^ 1ӊT\j8\H`Qb*>Ь7L/ۤ kqX@-5wf\|u$0"c+X#]p%]fkqX-@ n,Y 6!w<|bTvdtۯ 4Matz}WL/@JAʡdX[Nl`ON1ˠwCJBP0ArSbz% t~mub|GCk}{A4|Wvۣ\9}Iv>g~677`ϙMv%_؃;KoGoK-C;܃rAz̡fXVU4鞇G|!j!tk(uPŐV  'dp hż Q!"CŽ:(fU@wHev6 Ř"HO`H O }u8-;sr•?XonOa‚O̾`C|m9I6>:<%(M|1?l*_9x¯"Nѵ CJbopbL~O< eyR,΍!5nBUYyuE?56Hۆ0l&ߍ>|8?֋J.gIcwӘ|DtZSa 1;ժ9,))l \7\)X] ܉1ZN?!ߐh(GC PZv+n2 j 9,鼚Ks٧@lEB -Rc"X}cGNM^FCx3Hݧx i-ӶvpBţk0=  p6*Dj@{fe|3RNoLOkX[^FHbbgiF m7D >an]>8ȊIGݲ'i3OCa ̃@񓰍ʀfѵ);/q|t&:;5pK(OIPenc^& D z w{s8ٜ$jb% J_'.*f׮+~ybj W@O,U׸ESnNAzҶo)wuJC?k&ث$^4X[F+l淀x`׎n?Q1]k FF4+T<RDǓ6; Nw>iyE'֤C* T".TLTY7ҵƊ# 2=@b]|v. dZ MsA͐]3;6^y: Wau(>=5Bo%-t\1CKOWz Xw}@/3Q¤wk\C8wxFCXS[,gu i0ġ~oC=t# !⯎IuiLwkTۂngA1ij, GHq۩ͫ0.hg bՔiF;^KR8OWaاLD?UI_IeZ1 |kf;/6@6Z0@jr~tWG/2ݟ*6{NJZ^/}[$GLX>Nڧ_ +{;`iow7/M@W\W-kLA;]x~/@Z3w,OE"Cl r(n eȟȌb%^kl<EmzBy*Gv449D@_jUz/،kBnC\2˦ȈC [um=x:Fԍ8ȼ[NJ|z?<4n3r}sG,.ʇr7˘(z52EHz.x_87FJԴN?C?=\J Y|O],`&P׾{㏅5}cKkc}&ԀK ߍ%gV) Ie~qs tŌzgܻ8wz틵@ˮ9-=UD $ʈUVuCX=VNہ.ρgy*E6^d &U`w/YˆN&&, T1U5̜0ǥoX8ԃB 8i挊o_wH%{\즭#(R!" bDb*M_,%0o3\R-Ɂݯ@#<-;R6X+ +JgCYZ Te]_W显\OӋMв$ԳK#%l:>Fj0Mo-OM9]Pԛ" fάi1]ݫwȌ/3z0=aZTaʉͧK8-;zX/9ҩh=* ?y\Oٍm"C,(naTµaR8;Jj|a'SDص[A6 M[AJ.+!gYZ  &toR1A# lHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv BneBACZn>b Z} ~loOGgIDM}M|w4Λ ywCa}&Nt؏|yCPn4FCkHJ!qgI ?,<񆦈GpX~/r*ןѥ=mr5VdݛͪH!G׈ ,Rjo1&PܥDQ$}bt~ `&M GM? 854I8.bjT(z1erD`+h BQq NG*@aɅE:VKA3ê'Bw ˺S~=0n>(9|C?U[_lqކ4^&<>m_J7w*E״)8>mokS7 _ .c\4o}\@6Lm /V"-w=PVj иy]h ӷ$y%ss mI_uuQ u~Pgj7Ѭ5R%m{0dC( Dfߜe,9f[钴z.3T 92fhdc/ŕM'EG7BP}~&D5eH=Nv,\W:JLuR0(wk"lŧ̳E+:BP,VrZKpv_%F5 2+0GO$[DR\1)ٖp ~fCvQpWġ+/8oNh܎jc]+k悚U\'=KCJ0ۡ>}2po-xd|N"&#T&;q=طOl֣A-/-Kfoh `Dv$m뺬^@ YlHFSU' >d gYZhQ1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyFP1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id534 O1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\6-~Ms k,i8R8k㇅-Yuc'Cv`i걈L[8 &)4ȭ7GjՀ|3t[)}v,ARr`hW EG8\SKZ;!썞$W Gq7,gpA&uo(D۝U cݚXvnW ELSJsD38w3HVN0J2=v|VepYa6Ž74+5o>M!{{MX(,\(umgYZ?N1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2H|?ԟ!$^پ Nc/d5!fhGf\q:<-N>/R?{2AZ1P]B k)[^֯Dr_S0􋥕2#mKa=UO֑C @/d!wY<#(k7?Q,FgYzJuWߪ38nyv(|ˈAautbꛪA@c;4Kx `DED=T |]`+l.C BeZ [ F{ܴ?,|E(yc1obFo<}47U)MMykVtš4JFpշUHܲ8˩aUpX ?F=fB􊴇R8{_12|}.] ,l03-kk eZҟ::2L>dyyʻ4v Y"9Ͳz><Gzn"./<K>Ho4/g iEY0aUCߏ@k!=φ樷6 piW~p+[h2x-/seviOug=" c\yCǁAPay鈕N14n@sWc' ,GG{yUy*.,tkƾiIVM?"~x־Xb[>E򆱢4*{_aݷk[~9מd+i0BbSab+ z1 6cOv`ez34S8Dy@&vƹ1Gy]e|TX'r2g^L/PfM7&i9i] " lsnbgy{enHL"\>)sn}#O/N4 z ^בj,P:=s.i8*+b|Ǖ #u|!sGH׾0RE.?fz{<+{`MS92!};Λ64edE*_7!6vٍJF_QxR~;CN-=UbSFj=D2y!fi^;kկ2MW'AeJ"qtԱRCVwpaZ-hkD^ <VՂ-T$XPdbS5*qLQߠ#1+jR!(Ww28I'XM\T4P˛Aysz +a!<.}",ób_CjnDb,N!|T-7yW,ZJ3XHuRn?[\:$x=x1iiÜ';ڱRA|I MaA{.fQ"ױ)~^E"A@: (?Zܚye._|}x]eٟby[ erD2k M7Bz(1 6k72 7ucyGh1.FtP^U!㩩ă%NjIȚQƛjJ<'N}1h;7\kWTI~s2UbtɦUlww_0Opiav>~މ{NFևOb6G̰{˵黕ISBƔCg'ԒGDު5JRru.2Qs&4(硨8"z|Q$AIfv VmQE3XN'eGT!aن$ⲜovżK)/XWG*0{C[FSݍJ^b.=n,v@H xol}Ma|M-pv `3k?-kV"|Oo6Jl<1 >j9ˠ#ͱˮqW51;;Va67#5 3SaVF*q]*W[ӓ>Hx RIO5>jxcTu}ӯ#;:ʨŎ}wO) _w1zEYN0^wmt{2rUC1|da\'XnYbi?Y8rH*Pa?G!3}㭮Fmq!eԩ2R;t;5Et4([4U^~mb)#5챥}'D0,cOms\v݄Za{Ycw6Mrudb)GښBI?^de1^t0=b(uc0c*#/u{HQhl/VEȻ'K?;ܫ@JZ$Q`juzP8ׂV>caiiagz@`cpS'\}/ vl)ui0{IqhQD*x93lE%4`뭙^#T٩9V$UL @鿂~)v0Fk]-0kIυy}3b#W.ö-!H Ͼ#ڭUI2kc3,mF.$tU< Aua"ӛ{M5@|g\L֤HYq#jC$P!_ _{Cx;$ܸHjXE7i^8]YS*W_kDEfѣnQ0Fa'š Y>:/U:@{ht(ӟ L;Z/o'~duw_+TBk*L53N ;1BDcI~ :RCIVKFk6ߩtRhd_̾hr<2SnE)CXRAcZ #@sW#:SN,5/&Jp2 GgeeGD-)qLh n$J`NÌ3Kg0%b57|W yo{l2HC~%4eq%o!_V|׽B8H[ggc}g]HN9 J84)~ kZ/A-Ք0|#?eYi7- ګ0{^ uTO@R}pG[7*x:'I Xoqv/h"(TIbF™^jG tU2.Y"Dw޳4A^`MpR*+-tshޢcGg4hwP2tgWNpn:wgO-KB+GD` ﰨ3ol*uF-=o*" 9GoT$51){#XxdFo1E;?,*jn\[̈́Q$Rӓ{X6:| 0,ॷĎӛ MVZ˦PMlʱDn( LY7 ݟ<C&! H0-C9i5C dB|2T;Aurd``3+G~xqtȓ:oQ%Xeo V4&l* a1+'\F4zaWa0m LS99"0`QTh̫F"T4‡Ea~$~oDRu~Bgr+DT*--w nD#^vN6JB$E Pyr p=S9 ! =&fɴ_JeЄN:o"\#E)EM9cT92|ښ.!LEQ T,@ T|y//RjEࢣd/xY Űg6 EW'B 2@N^h!N_:-jX>s %,#c|cCSATv)40.\&ciUod߂nF\>FM%%eR}Q.0) Stw?rI;"ppIy; aH_=e!Lth6[fB w|GՇ2IqӓeƼWʗ:GU]W9JW'2hkk) M'|jtx8|Fh*d2":qXc@;-V^t#pTn#.R4UH`XS  #F eQD&MIhn0>P8Q>]@ N~vN<~" A]ZaԓĀNXҩ.~\*,! >b'0MPɃ^vّ" tv>Ơk 7aB("_昀.R5Z?6`Ky;PφzyYؚF7Qnrf'a[7H˦ 3(0jFWȧ^Yz<tg/ eT/eşja̬W#0#0/oo?DbỔXaV(0"Nx^ a#!Ҫk~gDiʋPI86r,l(6gsQaz,lQv# ii2C|mvkF޽h7ː_#f/CUعn e#u5!fvŇ[]-J[unawPI\e`r'0lV_1z!hܤelE/ mrB.AxnOwaVd^rzhULد2ˇ>;r4MEȖxt";i#` l=g9UO?jwgkh<։ ;PX׆ʊ1lj$!ehwad:Tήvb|ikM(25hđbf lԭ/+SEO099Q%$'k;0ɋ`L9a{95ڢzkl)n2*S)}:hʾ8ٕ;w3S[٬n--ͅ'}FHk$M&(7ˬ5)A=sr-pu:Ȱ׮3F[IgbC4,ge3C:址 %TjЍ bsNEE,T,ç~}ו@p 3BǗ!\7쵷i,7Es'? r2 ~˫wI"9]_ivHUjy} :Mv;yڞkGe c/ĕ>FE#%0HL3,-ې BsʫQjei]_Λb`1eQ2`j,VmRKPvq]Jz虍rq-Wcb~Agp㯎݂`e|p-UlvBo9D4hqA:usqwzAټ/ʝ~W>U,d32/3:Uԇ)xYJOWӔ|JCYV<&y,u%CdC.Z;E9ϻlvO~58T67bAj}1=YY}Nw3ȄL?}n ;x!*MA KyuR;L՜PS`޳>;vtKh ުy6,1^K~`=lz)"cA Œ֏>@)Vj;ƮLcz{VH_?f\o=Z 1u3cJUگO.lvq*]+vAL5K| 0ᨾZerT߮u,d-sI7[Ux 2Xe13Uq{Ə?8HawU~xpa7/_z,$XQ)Q#a_#@X'ns 6&*(kv[kO)O& S*Y᫭ɾv1wR2JFp%"Ca:xHET"nk}G@0G>q‹T5$2yXZI LmxwYlHm]z,]D1 P⨻W2杖žq ^[g'҂jASwt@ .yo 3'`>(.!(gԵ^ m*T1!M}v[PItR ]ɚ]HLhy,kB0|s85բ@˒u? YOVXO+Zb\jȋ|6=:6.YBi~ՕIN)GfH\ 8-I9%2<|@4w:21;F"y-DeT;"}h| K vGe<^( 'V?KwAI*EiKZX"yC3:eU $)Rzћheb~'_Q3ۣIjO({ėlP>m& t}D<e <M~E;3]l7(<3ćT%2V$;@ox_6'`q<3@Io$M=>]>qolK-mEuFx9 E9J 30-4 '{A ϒR5bN#(ҘY#d&=lEmm+%BOxEN<%%ޖRMߤ#-mָg+CV 5>۵L -01 н]95%KMy;1.SFtg ᪑ nf'9 ] u? QI)T g&nLF6c) aB|A=A# :qv - D% ߠVJZw}h ˴M܂aH`,<͟>1E֟a"o׫z:ҲL9.8m'?egg۲E6ӷm<3Lf THt=Eʱ:ZT ʶЍh1d%OdcʓI20JeB,m[vVrS“,%}YHӜ6,|!zvi#=ǎ@매QA]섒B:>XLMB}ȃ&."+gm5ǠJ78aJܝĥ|qN7' Vܥ dZ ܎ރو(EC(QrBj {,%#}ktx4n=v3`Ѝ~U)LCIA:y}C>zh|ynr'Vվ?u#9?kLZhY)fi6XkđZ-'E c~If{C7蛹98Ӡ@IWBms)8=<K: a%tU{=q 9\UDo0IcTGehpHThQ|99jբ[x+azyUZE`%&(Ղ*UD1pg.[Sěes@(^mHޟE99l`4> 5cN8ClhTIG,G:k+g= d$b  h@c7'藣uzy]; *mlC9 xh?˸5Y1bt B7B/=f*^M9]/r5T}f%+azhٺk^l|7Kz=|>u:b_)ƕ#$u?ķ7Ch'}u_vNOO0(,J *zE #o9eV&[O[X]dL/A`?,2&Zi ##VIgemC{}D43rTF_=pDX?ѴA = }MAdAP`1.9?m.f K.AF+dQvS怬S =S56ءiP|>D"PL&7 r^>K+wsbY~sߡgrolI$ fJBaQPj*wo4NT*4#v*KV{89.+q^}C!.](8tc q땗תr #qc7FF3,R4R8u3R^u^9K.J#ԄFIfc`8dm1#~KѲ.VAn1rY.mSv6 z Oy4_(X P} S~%{ZA4&D<5`L|4.+bC# h d2Uyqxv\ XfZVd hy戙?_ ZR څtrwRL@n&)4rs@5vGyһ}Ŵ^6-1d1#Kϯ!;j\;l;L [@h{ƼA>&'nbS$ma$ǫcY*Sř29+rȊ0X= Vߌ#E>\nGkxŽ*TźdEd- + 5/2|Ph.`yA3:%sA. 2WC;0 Qv&\.G >aUF+ӺiUmlD"W=1 *xB#04g2chG,~g&j"d<ͩTD-!@Cw)Ê|966M+a,¡O@x3klrjm;UubQg!NO>\時D;Ib10T؃@ р-W|wBًjQ G;X+8h_KbZ?%7qhT[@IgZw5EI}c{gƳ]Z*Z Ύc{(FB4a(JnQeBR./j_tMcnfjIw齜|iO>?|)P !zm*kD/,>r9sUa8h wB xf8"5aOVr*bCJH dʳcԽ|׶t gܣ{gi?5/fa3kXeiYbcec\NDKz tbW}mGNFüFt!.Gdy!=e`9]̫EPIϸE-UOR;*n@$ɬle+cR6X̋"P(攰3dB!XtwF5/?A례|Qc%A {\|^8g2 Y7lt]Nb4*V̤1a/h#=AzfS$N ͝g4.")(+v`#?gA4478RGY&-ĎHPU'aK%Hsbzˮ6hiz΀Z 1#CGg>sg .B>kIJdz %KVRhp~ u/)Ǣ?^ɺ%u9r+DRkL1M(^حG!y42 ?k5Q0װ0rptQ27.>`m+ de7g #H k@{{NIgLs\" "~BJGU~@ f 䟉ڇ"Z`Wz:^ХpOa[o'W{c$݀Z-aCzϭ޳ 3|Eޟ{h?5ߙm}K[w2,Aooj`r,Rfm} "\72S;<H360 HNT֎UIpM\ i-D8Bv. QEa:Zj- 'Y%ia^)^Eំzyqϱ-*GEǴFZٍ},Y=\@qP ZP6q!-8[dgC'Ec<IN?\xN3_#iOo&p:<lL6 3gbpP"r]7?ҾS鴜kw=bP:a]%Agf3x, vҾ%!E8#Skr@ή窰{EZu3&03QуW@K}헍 A A%1TquxΑpՇϖFY FO~6-JHO-iR/[:sށ9EK(#ՎI:yT"PD+Tƴ]l9s2M3.ݱnk\)Jmzۤ8MU vEqckfBX#Y<8' ˜ú^FW?uG˧-}mw+s^+G0"P}_ ؂gYZcd81e5f6834dc8fe894ad9ab5ea9cea42f75ca7925b0ff30768df4fab02e9aff76d0f45f128d63ca 6013e9b2873d320614122d686e65ea49474d2dc4 c209c1421d0dc42df1c80758ad0da4342656b3aa