SQLite format 3@ 9.C  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 $1zL4t ] HOL-Corec_Examples:threads=6elapsed=155.734cpu=514.992gc=84.3247zXZִF! g ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7rLt`yg:ZǷuM$)@[=uX 'B*w|N\Eދ۽}`gEitrC~HɻJQe@ޣm'[MڶKfSdmcƯa4 &'lE<4>Ta$J?HdtM*_ښ_mܓWG}_^92+zgu\7/H{zc q*?Js1ȠMH:iMp*Be_VIo!cwb8)PJ?6ip##%3b?W}UBQuQM,H,Ae7!Y;x hlLW <e^m㸅^c("-&E_oEEvtJ  F.!?CbLPIw)þ>Ʉi۴g$W{ O CJ`GseȞ8XH[{Lp ^P5>kk6|O.!yiYǩR}2M9p('k?@ع\y ӕLkVxGȸtx>.>ò>ת§bC`&_Č_[(ITʇ4iwM(eyYr&.ʙ+a.3y S >^(-JȼF`& tw:@c{Gg\7˩X3+Ig`4CeA>903 ~,@X4"JE$T`q<7*Xyz!jDp)ڏsSX% Ĭͼ!YN-~G јe/ኜN.qOd-\nPud} yBƇs@+0k3R9SE] 4C#L2Dwp E'PU(\AvRUu^n"( (*Ut)$!]C9dC[vm`bM,c&ϊܵJDva&&B/4 𒎻u`ڠi0F heGL5VTelW nV?8V$MͿ!VU\x-{PP9 sݘ^L9D&u?3OìW6WcLjYFZ_xb?x_ E'*ʘf7 >2kl)OХ!pv3ZH#˂%jP֔2F ͥSt4 eqP2'H5&ۙMeVoé;W:֌Ey~ k,;บ"{(A#u1yMrz%o,YkvC<+tT nIdx۬EB>?Q4 ^eiR=QheO&<#p*+ZE[jG=G!&f)WӠRh@EM2OȽD8v&y:qIgh,Z|,d)|[Gfi$6+P ~"BDOX`[-'g4 c-ڻ{yBfy 4k07Ϲ#.v3sԞ&bZ =ލJX8?R**[UkeQܶ!*L _u%$;g AxuXtzsl[$ZlSKViM7|kwgIc>* 1zŗtZ GLR؁xQ #"$)63UFqP\a8]=aTc(6^+ Q@Z"p׋-p` E݁7Ŝ'>e" @8 MtFpOop4d^<իDY!]"(O0 #n71( U:w֥Y*'78^Ug8w: ^9J€Mַ0h;Cw**|CYA\CY&(;[t3Ή5^uME0:AOǼjSe5Cuwb>__`:lG6]tzQ#v)E')vm4G[7 1 HOL-Corec_Examples5r1SG < 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 Z3N2J.I,F+B*A'=$8!2 ,*'#    & h]  A_" ^S X V  p,Ff" Y t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id-F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages,D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup+C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files*I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id)A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id%?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.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.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-%?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ 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  }j 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ 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=(skHKB8j39ogYZ   d1E9 #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#!\ ~gqp1A5 \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  覱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 ;;p1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id5181E9 |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 gYZЗx|`}ZerS)ߘcn46 k_\neDákC!҂g&c;Q$Hhx?&)8 Hw@ 8+1fJxTe6}ҕEm+_sX&;=P  /Fn*{Δ[N O>]J,wTJ yzwF24#;63\X(きMoëfPHRSȉ8P'mG|~uO@Bdg ?$}Lt'5kѯxDoq_dF4̹<5UdhJ[ 30:=Lw>|Ɵ¼ K<1o%ymUKXiuުқ kp1G\2f14ȜD!Ms HkU0С,(A"f&\"W`7ېe|珤%@ =Vo#c W;Ŀ+ȉ2ClH6)27Ω"n0$vVKM %O՛(>D/9^(098aH񩢾M``/ˠGݡeL ȓg%E]8>nªvBQGXW*\?Ai\'2~#3{ E1Ŵw[` ^AFrݼg7Çy':$L7La? 5j=\=I?zו^V(08J;$SptvX;n|YDdSoFJAW(f8uoRFy0|s0 !f#ebT!Culފ> #F 1ݨ ~>+_T]`Z5g2݃p|M2ޖSzq1Y#J@9: P x[O5(n"}B 2)If<61#u]62f5R*HF;`Lǖчak_$VcDa TsY&!A$u pkbq(%cc;AY ʙPG}8-e"JSaE8*y$x Sj}z&fD/pi;7v7] qr#R4Oy8T>G?DZ]{["A7eARƷg-.V(w82jzQ<596lI^V_&GZ LٽzY3:bwJ0yNs'?y!s?U!Y:0sk;V2-0cvlCqpz?SFk)0A?ij0x!p!9/AL}@p)٠;u۱tNqEhCGմ>39SUXz/T؛{1_J(@j֝od+hŝ|zï86掁]<Yadq2:FQ:vI-0hN'6Tv؄v#HԨ\fr, o=[xBk|njGSQk!=b#̬ 6#gJFE\{3Ie^qW?Qa ݶ\%p%;gTIƛ켦V^됪Q@8[?iQى=b,5H.ӳ7d{bJb͹tmm\EjZwp`53^>Ca;6!A)7?_sd{ǃ" 1\ЯE#Em&VtbDJ::֓`x4+ht3|QK7YK؁˖3gP^Xܣ1흝 gYtҹE&SPZ6U:&Mߒ~7|C啊icXϴD vҸYw3K蔄1ԑlƇ},'*ާ[$³Ԟt[~D2Ag$09gnG'U "SMQ\lAlj'1+ؐ=?Ip4Gs];Fx8[ߞgQUhRP;Yti 7Rڡ W#ZRHO Ju+cD{ξۀ Ȳ}!fg{/nd̄w&jݳ/Ҝ_)ci >=F8' ׋DWUFP6qocRߖYצ8*pg9IKEsB8dkfgl({X3`A3UʨIsŃѕ ġa9<*\ O dA={S$.[.|b>}2&^J+-”8kJ@Xuszshy]sO>mRof9Hl x[_Vh?t&q|$-~`(/1HȐͱ V~ dDTT-< ,m 竡k ـׅyiRBUȬsrB(\]G[eq::)pCIF{f#FjͶtP>l@1l|3ϖWǻr=g g9o&~\9B!e5#hFU7wb7|8is"Iߜ $X(R!|E h/Z+KH,-]׏gPfN}CXtkX&y3M7B[+Sa1{Kp$mZlQHE1+ǧ,M4!+:QR~)QFYմ|0^ڲ0tWC6]1座af=az;.Mtrm@{p9K(\㖯=ιAUw1_ _峱++ݪ[c.ZE 4nL*2~b2j0-5XtɦD[~g~'Wj||A?:x]6rx1oʭ Rq*Ox{%ϼz#]EBԂ +ý0vD[S"xݞWth*eUJSɖK& Y`ձgYZ  F kN1G# $HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDo%ĕf]\<'pKQWr^aY 2 ˦L~x=ܑٚ*Ǝ!JС'\ Xq}*l~z9!iғcπ (b~dDgҗI幄({ $א,jcaD0lDu.?}s\NB2]%TVTҼ[;P+Kɚ ӬtMнY&-RQŴFZ= ?܁/W3 c5v~:-J5FWw BS>6 za='j8uMxaH T [@P* 0.0P/eU, =ro6c.) U7iP[chp`QCAGM|Iyy5;"fTa\2{G+<Qc\p{xXx50es^XM9HBHHd27s2]=*~fx0IB(m(h#,|P9SQ6 _)ؘmlսy؋- 4ՔKcl=7`?c-XԠ)žN.x\$Y EBr>3y=4_d+|&~f ":|K}K+z`32Wt96t&k2 z=6,OxXVBhO9q||B0">6ǣh2O嵳āF-s(ћ! $ɇ,9&?d%]&}AOU"Z5&V˼("(H̻֠7yGu7BKΣf*i  Œ;C%UT jJ$L'|QJp8& ly?LD)uymZaI.Ն!arYY7ث=*mX]gH~ΧZ`Y>m&55QX&>R@2 ߨ![l)1h 93o>&v4Sa¼>"ĀT0*C,7ޖ?Xqa[W-Ľ492a99OBo; + xʏhO>e[쉦RkTO?d.*R/?E }gYZn1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyI1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x"^C;ͷjimT\ x_>!UOTX#AYNCݸ+m9ҡ̟=픨E|0DޡJ́1sbkC}.)9i,n^Mn;ev ^{#(kuf0r祍d }*^\?;F]U7s_ Qz#o¼%QRwI @8W v,8:]}9IeC~oT vkJQ1|wi-3O >XIF aKOoԝRy$d! P{3D6(gd.kQvFfTS}RnkBXG 2ȣw~ۻ5ɺ2_A(WpŬ꧴>S=9Q2~W尦Dz ĮEJ+R-UC"bܩtW3;g\q\=gYZ/1I# dHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! m*]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t5@5w9vKr蜧Jf!%qEIhGœ^*'y+6+vqYhъ>p5kv$TO;@V8'ˋor%\EvW9=۴"zJq9p[9=v*-J73 5!vF/@ArzF'ldHo$kQ$ G:6έT0 "d 1j~M?Z:WρKު?[:\LՙAj{9ny #5 0O6Y jɁAP(,.t 83U0qE$a`gkdY$ M N9v[^]J佇n.(fԿ)7y&1LPt^E8=,ly  `+ѧANJifC>~B}P1D8Q}QZ&m A'sn ̷ޓZE+Vּ(whB7bϽ6 P9ĭ%pkEqG- 6_]ݱYԀS|WN$k䄊Bܐ/pCɰxfR( \Jv;0bDQr UFXBSRj?Uq8¥sf4r+>4DN CM0r.NJy)Yç N k = v ,kh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id542 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\2 ar^G^FED]$˼%T$|88FVät"?12l"ض#=Abtgr'?ltEq3H֒8{w*PjYhkc-(ʎZH'"cLkCy0%¦Jb(!f#@ 0kZYir7VaR*@3a x&q~|1%k>ĵ a\FeNCeY6߈79haA6]u3c\JQ}X[g=_A2ka^ID፤ :aƢX*7n![iR {Zs'ʉzC$_w]T@io~Qo^T5(7݂5,O1+>pHxj>ӡcc zR dcsz>p j{ʬ1$CP'G t ,{Q#o YS|X ֞ޤ/u cZ]4 ?_@Ӿgk=sMS%G;J΁*ͽq{y 쬜@l&:?@jQewf㘉:+A4_[$4)+QЍIo~7Q(],0Gڂt1 $S375omR9"$x[da26^m6EpZ TKZDN Sb,F յ{ݝHȘ9CIYX[J}u T|;x_b+ɨ]"ٛ>1 mٿnĒ0M1cZcru?ÃIub=orqn샳1:YI ׾.gJCEo \g[!cU)~R?[O?p9 [,&Yi{^\=E,}HRTa96V5d 8ఱ{BMVS0)iU `e:lsa9 W\fqcIlOҿ|>H#W黽 》<?c->#%9Y+ξΖK3b܂̄|#W.Mrz1` :ctMcY nCXab#KWAo[Xe [TgYZ; 1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! 咮!] !M젗OFK?aִB1gD 9[=*erՈ* ],kVKYGLM?IOuLڀ.aڷʙf<Y_7pOqeF똨^-UJgpLȸ w%{)MdOgSҗ~/!mqo@Zygu߅_<ax'd/]lG;[2(ǽuw%O\w%R{c~π Q (c-t;#Q͆xA NC:5<j!@!%i4fx⤢@۸5Ag9I٫^sWl8Uk".z?.[k2%˱k҂BULf[g sJ4ڋ, HnRڂv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id538@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\f&yNh"KSšѣW$_@{Yn} qnj kq:zQ1.Q-qkqm>rF=1\b' 4R8 ؾnEzVz fg $T7J9A ԟ'a p)UTG&ȝh^!RY]Y>M#ol.X`O`zC|%y-nbg^%⤞:Jh:D5MH?n&QL,ZA j?ō_ieI6 n3˝X:FQօ|jHc6Xvcb.Z|"'OdXװ1m.%x-z9Đ2_ "Nۣy/Y"͏R@ 3"ʣ/`uS! "5gYZQ([`9UsY.XO`Nx87 jF9tGeO` q?KS'(c}Tmb]h*OjT̠sA[7cKom;{[8[aڜD:]a8S9.i3GyH(A!jŸ-kFOlrswt۝nаƅޥOF%ϾVXw WSk4^ w9c}/ҙs6kErGqu{3~ՇclJe=UnY;# Mn+VR䈆uN5C- Io%| VM۵rlnnIGۓV;Z3%ΰnd848I1lBSlP_ ^H@Y.a5̗4h<0u{Bun<oCO(1#D v'hH<ɴu.\@š9p5OƔbњ#R;Q] 8$E8chZw'mLM`P-!ft\2)}/2y6K?q#.NC兼t#+RP w$b܎bC9ًjH7\C+Srs<)LZsB;e {ayE=i1*DTZ vCr|@FaE*"kRɍ<(€g ' =*;/x@F;u-ty 4Ѐf:EHE1 ua/Kͳz|fljKXw2>ph]gkh5qN;zJTUd]rNXBPIiңoӽ҈ڃX Rwq%+|%OxtdયƿzQt mXT7:(R!FuZ*4_v5fg vw]a#` J5g\W)Urx|29$h)ì5T59,{Lcqes`eR> L53v./Mrǟc ДF>tь͑*–ePUiAr?G=&lq!!Qo9fWٗș/#tLyU~<. Vh}٬ YG-3 .KBbۣ\&4?mjbεƱf1}? ?k˙!K] 7Yu50/U]ZV{bf\`3Be\tt-hO-=qCB%jMY T3 3qe2~ 0mtLt<5{ˠ.u/5NIOn?rQW1fnDk2Wlv?OcJ+YtYT&X_s `!1&,7zy ٳǽXwl 'M }V$sgB5%7P1ƉK-S!:r)"j2Vce4pZ ,~S$W=koD[>khc&mX .C?}Za}DW#kYN9H/G1B-l>ނ5 2n\p#Oa%n[^@?N%׊17)2҉AUsL}$?Ap*l-Y!sr.M*gd.n@0"M1KzF\s|ZwJD6j$~ڐYˏ bLh& %K#ed;r6\.󧣝ڤK8 (eeWָ̳r/_uR>NG}])e^l8z1jmjUx-샑-_YCɲ!{̄ܚ1U`>J tCd5ћzl!Y[cNzfVL[3 _DלKJ)]:0i(่5h&Gb!v"DkqjXk)9l2X8,;ŁVZ%G)"M"A_xռ:SToȽdN~bj*h9: ӆZ;Lj1f_SS ;J&틣Y#^P5{-yȅ-<]b?WTɦM÷jb_}47OʓZpx[ܙ9VvН_h-VEQIe"p/ 1D_}k#H:P ֳxY=\qw@e<\lN蘫݃B=_? haU~%&-^볨LT5 J|GD]ԟr;Qw.OTn*<6aM+d K ِnCΘ1 7&Tqܺo ZEd5oW,52l_6sCm2$rZ {f0u(60(C kHϟ;z:0X9BZyJÀFS:h"(o7W5Ln'.;y\ hoa.mhux *^  oR0QONʑI< eRD&[VHKęW@C9KG}^bsCxbpΣbupǬPţS2 #IvnOQr:D ~&0#U Ӽ ~4nTmaJsth]+9.GB,/a)oO@KLT]pU [#r!|Ny;x[s`rzxyO?ү}Dɹ TLg~Of-NS%Џ3M#ظuQ&߽f/]|'Ȕ;aO<5.sP,+ͼy֫qpD"G9V3щ5|i8Qc=hʐS>i#렳9΃FU2#16A.-8;ݼNSL(*;nA`V(f v ACj;IlȾ2щ#D|@*$:CXY˒t@ i5ABlW JGvcoM&M7ov'ڡX|Պ;Uʓ~lhLS {e K"uq n$8*:Zp8eu\@]~g)_Vq8x߻"tZ\fAt[[ =Um]7 -dz5;v Ɂ<-ZDL/^733t2% P-iu?>9\^(5 X،QcS$J'N]I~-vTgxl!]%Έib]Q3#8Yn,E0\՝LhĢ_qJ] QaM G}QU+I)&S@aA< =}и)R-6X=”M+EUPU)U*ag fU$o('v?= dNEmM1.X\bi3nEΙC m P} ?z4 hz\5%_M+J ovteqӌpҫÛa$-Hc&Jvir@`x+ВCBK3}T 1^gbHK |YL <5?h@+ݳ$9޲"fw74Ȕ]lD0l`3jKƱ\GҠ&"w t2S:`᭘$'LZǍ%P+Zyr~-_TzY['VsIǦeҾZ҇4Y;T gR_vXM9l6|x.:XFhyAČ߶`- vxV!0Dd>nA H vd":ڑFcwRe!?ysLt-,nX,; Qi8\};cq7^{հ[࢓إ`BUri5tVT㔐=q tMn5/O gv9OQ,y;V d<|F[n ;Bvhz^tv[F3ܒ/Y–i `Ԣ vxEݭzR^v̭@`*moVTCKHge୤$5"2*Wt^~/_]E>fBYR&?,adt:ǀS ΊA-ʸlbNZl+Dmx|R+, !¢W07<OЂE\7w DcL5EUkQ86xT\Y"4dɓ"ٵ]Sl;1-h:Ap^lg`[W=M'杸xbwc Y_*R~9ƑIHOi 5&ݠԳk-N@Xyx5Az+5&Zq<"5vxde;CyKv!wBFF~H,lch9ZymL&^ ﮡwoIw)jZ}pppP W:oXf$]^\g˘;g"MVn_S&p kP5KN'M7¼-gUgu79zc ;qv{Ee,zUF/O9_T'5kITq._@a׷҇O:n p:Ib>Z5B$C/6FrVv6+3{vk^UQyNmWLL|yG=&QoM/GqP3"Xf7>|{!wTY"QnrHWyz-.m=c0|]YA8Ol~n깩UX7j s)BUb:^ҽzo-(D?@[-m2-ds|VER8j.O)%6KM6蜽8AkW|+`7B@pj*[da4#w4OK5D›( Z6f=܀[?R-}-H'cΈI/y_X^z{#(/忿og82𨥀'q,ӝt[{ ֹ]p`͵]Dxࡽu õO9ńP!xwv<ޞ p+; yg ~W~a&eުBɦm>c6O*=`H 7=Rp@g@73BPi`vvB²úeAvŤT<opf`xזgqFwVID+%,P5j ]cQF{NN k'go܆1\ havV]+L^A8PYRnȍ 8ef<9`6ǏYv9 cl.ߣm㜎szuf4j*6|zMD"QCY0T  27iNFMt>&!㣷S5FkzHQ_p&_LކZ՟.PV?2*iTiQA纰F hJUksPEG=qbW Kp{~fПd=uJ;(@?Ș0ĬHXgѸl{gI :EzT>|e-6`ٕ% s'f\Q0_]U ͼBL\LY\ܣJbBN γ_Z[ 9zu5y'uwW/cr%'rqGZxgZ\҅ ć~WrH0arc$ A)}Hle&`}l>1Hs*w` }mß!F#Z";6{ D9.bj_U`yCܥx^8EIp7Z(f1Kێ4'Ϯ_KPw>UoJ3Z'Ca}Ϻ&:uAo`qR眵U[P8)-o8D[Uϡou -6_  jgYZh"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_id546 1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! R] !M젗OFK?aִB1gD '+JV {5gG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCohSu xBf)|-krʓzM${7$.I}ʶ,kf :4B<}tG"SK,Ξ'!ibN<丮r5ԫ3N1U4m)Ө SEB!7#G#/Xk{mL~C?8ɊݣCk⼸Y}uHK@RYȎcU}bMҮE:Mi"@EJȷVw$]v7.l,XHC߳5X;YU.n#~Q5!$Xm^(vԦGR^ UnbwSFld][o*E+syT^g~G:}'7LJSajҤ yV ڿh@uĦb+~ |Tr ke*q Wf3,99P11hPh8hg9v\8:h6c0,`P}bp= }rz-ٲf y?h{0ZYq1=j$X5kD/a!P_*w]2Ǘs:S{﬉ gYZ <F' 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! S] !M젗OFK?aִB1gD ?S t$12'oLXqAmz` l}Y(4y4v#^zK e|8$@ՀWu|\^kmi\"ܭMN,Q,1jZKʿ>)R8r _<bS[oO_riaUl'rniW^$|`_, L8ȨM(L:%ɗbF{8Onv% GK;BIK8Br5IFt!_ .Wr^i\*E~[S!=PJBݿ?݂sL-*'H<u?\7 ZX׶~C5OBh.L@nOC+Xoj ;9װgk h5)C]-+k6QpbfF{fWp-WAVf"ܒɰyV  A@ @.VnAzL[%gj>ChbbTjZZlDz LxI|F'6{ty3*']TawQtxVXz XL_/z5kV됯ӹtZJu !uѼ#R(< h"IU) Y*@1ؔ;`A5W@~;Zu80DCO=E)'ϖ{k>ʚse54^ZWK`֛a3ĸO)S/~,֗o~чt/,Z-H&Hg8Q,d\zL 'ofeR@3'v>:Y[L]op\b5a2X;RZ p_=1ژ?mG[l&1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH%1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id534 $1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9ƣ R;ib2'٭-Lξt _ W5Eh6b;SMQ8[hq ৔~+R@ɤV 3Itwk\TkM`GG L)Wa t& Yzb~=b}!N7j`'Nu~5xPXyEW FjEiMRiV$HOiuuQp8d1H_ʓ\>;y`x/ 66[ 'p=jViuPĢ;s$ud:{zV xfq;iE_)[ps$=;9FC[PBA{0Q?]i QfI=j+,/c'潘*߇>ʉعlhԭ^h.2(ڶm>GKw#cz}9%Yy S 6CϕTي>y0l8;}RCɒ!.d:oW4dx5 s.8ЋXy"نJ6~9id߻y#.'nblc^ +#oc`ҙEY|# /* NxGm)!;sY5ϩaD2ZB.=}xAq_,1UPk`ñf )OXN97 α\?!FÑk=`ՏSXeڔH 6rbx,դ{ZTTazׇߪY-{T] })bJmgч@HസW5bY}w9`?]M<F1$!.Pz@uŸ@ q\ .?K݈a:Zҥwؐr!;BIgGc`{ Ga&y=-ԃ83"bցI%TGP蕼K"0/|υpZщ8Ki m@6-8nRXhKMu(SE2~88$)tWDkC.<'JWFQ!QƃwYϡĊ/NB(V\u4xdS2 Ϡ?Ti2i8Rt[Uɸ/1HsKDŽ$64b';E-[ٻPqhދaiǙϠs.zO%λzE",p|CD'tŜ]WLB|[G<&;];Ati` a:`K3UiQBUsZ7 t}D5[ R]aʑ{5j:`6\GA-1U"z!T׉>44Ŏ`U<icҰvXDCk`g%0"H.XEb5ׁ¶0t-=nWbhcf?uQw"ZG6:vn\%Qi^[H]>dlr D:٦y!KQ"I"Go1gU?ue*Hn2L&0e/:}Ar i1aҤ?LtnHhSw%dl[1o_'{pGPCչ}*pBi?˧E@F 3qw+)04&A7UG98_úkϰPL&"W2VRUEY29Rt]vP>-N܎XTPC;v2c.e=:RYE]I#cO8#$^UVl@v~rxT CW$/pn.P s6⅜!$%Iͫ3S?ԗuǁyv[]E{q o)Ve]3ٸݢk! \p|EEfbo[Yk8$1);~\;e-Cm}FCɿ]s2YWT(kHj\X87GGZϳhr-:[[rV99Ux2W}}vq:|z ۀeж'oso; N@E)5 )ҷXʰ'Yzh+f{@Euh=4/klq!| L:U<MoO1[a# b:6j1r$N9;j967$w=<ǭm*BOdrbݔ馴b'黽sEq@ xُ ^ K\'b@@J|=JoMx744V+O~I^q'E^pO)s]Vyȭ jM3c'8X? '27 sg8EK-IONԐRHXhޯdT)*i=P}Jp-%cQŰ '@x q\Ȟ@wJ'*؅sv.HZWT*_8Y##~zX%%^^r,->4rzTg"]/s%e*v5|(˔w*vS:d~။_ iq#?gBP`sTj!n+W 7Ps9}Ǽ+Bqx9:J,^п'ȱDm֒=PG u$Q)z{S`fnT)3>IB~OTɴwl/kz@+LYgDwj/[ߠAm"`uH!ﰏr5_|d UA!ѭCr$9@& YQy?5mS}! %Ej3r3md&dn1l!/2}U!;!NNU;\= 5pz!ػI pN/RFp fOpi(J/[9 vnCx72[vz,|إ\4wnQk@Z!N: 4bDH@)(o'Of ;_~N8J:t-~,쭚*RTeuK;xuLi:Bk&T_VWՙ \xb?R)9N(xau585'xIUJڞ:D-}؛65!Fq-83fxT/f0-#n ҟnSp:_鹷tP~eƏB;2Q˃ޅ OOp0pa(j=?c͍<8 CoJT 5r"M{Vz%U 8#>ur+P"rXycD0\"EI;`2X=mE>!5"$X&up猭bk\. JR SHr6~|*|Xgq6ŚDG1Q:P۶Sj:v_O)ft'bNïG*?dHB@ܱԨ2;Q 3XF@a MR XPA Wz_ICb l ހki( @ lKІYx2%ߤ\[Į(B)UarɒS"I%vxb>KҙD wf&1.U*ѽF<.6&֩R!`:m5G;eH+ cBCP9*-N6@eN~߅8GU մ_ \d|qؕB aIL(oq$8r i&bAb$^Dq7,}¼j\N nZC^%ۥ~֗T($U14v{&&SN[eyL6f!)e]ag^7-32LT2LϦ/yYܼ$sO}(Q0~8sY/Am`veG?{g!ˮN~t͈{{3rBtnEl U>Edq8v\|:Xf%5ts=Nk3*[fGEv}Wy<;*OSR:]CЎ`~U>~{~I<ŕhr`E'ږ>~7g`Lo8C|D k_^{ötHQo+a 4o!Iu 6 WTX%DjUF>M69eExLVӢ^emE)zhimLX@?ى2b_͒ۍ{FG'U QBɨajE 03;ku;0~dQ#˂cF ] yGoDԾ_]yMe` ?贂>t|d7׺U`YfayOiܠ+1›k[ f˸U#h<=e~wDž~zaF;8zNrC*K< Cœ"c~ .eu&"aN"ヌwvTAN2w'!%oHu vsUlp/4PۓW8Pμ1V>A$E-N=Qz0t9蓏 ]Iq8[_:"6:SY+TG* oJb܋N%bLQ􄩜c}Z{$f)C^)XXa7B}?G +AH&ƤZXR m@Ξ&=CM^Rn5[kЦ/B ƲӨԹỎc.MZ*^>\8#Q_K;ڶ:{tޡ㋽ Y֞>6= U2$o\| M1%AJS-?Or4|V%MV J& o ,Nlȷlnb[bTSv00`R £}B4xv|@-:"a>7_3;b7fLOݾq5ۭµ#-Jߙyw;x'bZW/hE%% hŐ|pgEmcsCrS)CcI{ÄNAdl:6k}Ƽ6/BbB+PL(qvrhCjvFp$16qv ecr 0 ̚ǗwC?WYz@aĽ%I8R>HA(Yci0#ƭ =(6Gf~"u(fB98̕U|C!hvFf'qwd l'@JTy[,=zwoKBQ #ppQqo_6"47R9z՛NUٽ$ a?\mFra0`G2–}c[z{6a`t7B\M܀H8#N x5_ ȩ`{RV1vפ=K0Fp ρnn7Z$+kHkxl-(A=AOyN&@_l"T80V [ҢB yDIQ_M\Ïlk`ѐ#T$rD N0,[44;y{ $&M0'+';/ўfFGJx(/P#whBַ_d b!EU5FyN+ 1?]$aH s㆔@x!,Gd՛1ݼvb8<[ ,UC>tx,;+K :|"j~ t궩|]8oSO3jd۵ efkT { -&N8=T_j/  cϦ#%<ǃ( w=-8F7:<=ʮ+ ^Y+|,4<*Pi@Ѭ!%%s~΢iλ]*{N=i0}j1+"k۪ZE:Yrc>6xh0Kn`R jэlٕi&J 溑fk[&Iy(oPIfR:vؓ?)EƝƣ 2zpmZJi!+k\8_3]/9"|'EG$K+9e=Ti*I@h}]F<G'ң h8}(pq}dls.;;F<E vhZT Dz P !HjhiA˺|vHw#_rgiIeG|Q+(NG <S1bA~U菜u[HRR\&ro#2 D.tx#' 1k31Jr*յUl1;  ww[V G>(Mxa)$BٹcRuž~G7W t^<b%fqqsWBb4A24]ryRGo:$UkECiaǍJIkcz{M5dd^]2蛨 z73Juy+,y!s&+cIKĻ@1 1)  vU9CD?ޝ]rHfL1 bUb7uӧ`әphbU焾u;r+Yщ#~&; eƶMЬ}I)=}']CtPO @=ը?1z)R+}J2y, Vz-4s;f$ `vFw@?әi#PZM1zt8&+^\!?oF"gӞM푀@jd*M^%~Bm]>>* qB` *oj[`j Z9t񼴎p:ɹߝzs5kl#N@i|{6Q Y^y,gfF4QI8(P⹸L )d0%L"gwcbs4ev%K{]8CT\]dSL%t(Wq4([R2sEI*Xs,_Ci% <ΉuA=g_O>t#)A09?}[t/hD dR/fgbu|nڵ%yE_wWkwy >"=ډ-v 䭹=ӘΔl_=]:J1Bf|gU 0rɂVhDﴉ2(MbF0Õ*tRbn h?j #~y&YW x`E: ٿ|=bd= b-[@놵m;ΕXJvɦ# oc>z$U2yV-ߴ<(jޭ(@K`22#x4г[y;!E&?>KGiW 6t]Xo#EskB䠫/`!Y2w9 CSiLh1t/'i `C̱/Āk~ av/gZyzwt^wd"'*UqmR L7rdXSd DOz29}4oS'&,%tp5R6,, "{8-j-YRZVnI&Ae0هegY[z\ ~^ L3B#CY:'JZ `,td%7 1M-zmX6W;#j@3[y% @иnC$m`լ Y|NϖC\;*~8BΡ^· fc) D_ يfm2t )ec 1SoםAxI!-bɏ}]-v=n4:W;,401sY/w`Dkqf 6'qw/3F{%~k)hވSB/>WbdB[@9\:k"8NPciLjI4-4.X ˸1%'~+w`9a|(Ԃ O+㥬.c7ccS.b Dbj\EXՃ(%x42`IIhYXʙ.iXNQ)]c8dܲ ΃>7]6bV|ES_տ?Y "LB0֠:G0,`*-bUⲘo>?/rMEsdss[pT^B'm ݧY gTLtY[Ҫ܇A$)' 3]KlT+)u& j Y[<8.e_R-mח諸iLHԺ7Ife \UZ%Tg% \s tp|=$ܮ "l z;[>PKco7p'1uiBlTڎ$)a8BVpA8T۰n )F-!!9kNZԏvvc!,CP0M{ ]i(b)NBSBZx,Ekai,/cyRՐ!o uD^u^|82N YlFըWqc4iER~<}$Kt%HSaP œ/PmݐpN%F?޹S(U@7c UWNfڰLJGtWoUD3ZT >Y{0LZGL\j0P< x {\@ v#vUHB8'2[#yZ;.q}UV}y@wV<6R/éy%c~t%N!A3-+cqGpwpU>$6\ӥU"eNyFi,HR[Ip&'^ԑ2nqJ| w?qQWy!+a7^Pu{|#>V\oO$hee1@?Cf (%0BBcqFƫ:8ZH{t?m֩_7XT4KCs^o%R)3ca3QB]M~ŀ 5Әd(pe"x`JhI)nΔiioGwu65ʺ?𯗢7$E Cabܗ+ _;Ca M0a0?W]kv ƴH\?_(0= QB^ιDvφQ!;o s-XYѳנseB G 앚ٺ.3})}> ,WA0t lIrOkmJ;ojIqZʷ/{f$ Z[R~pk/ҋP>w㞰rKhptYª2HrE%zr]h3 v NGg w*K3ad`K `ca3z7Սk<aMƱ'9usgtѹAPlyei H7x_ =ryHWKKӘqb25{֖7L܇lQ^I>!u@\ԲEa+ti3s߲Y =ڕ8f%($ׇ֤ET#t>B?\Y @=sІ*~15]~\V+)A;wMrA$L[h譍_ZH̡$/=jdy!sk`@֜PZ-mf@':P߆@+l}I |KnQD(T9&f!D8\~u>PG\V+BhSo(r?\,~`)zcIeÕA?ꌠNVdҢ?(4B{h1W$W>w_kt"?[yXv@"J0~v(̐!"aľWt⧌]ҪKiTYc%M%W^~ܓ[`.6VЗNޡQ 4??&hz2' qКaپ2e >w @Cf by_&UUpNl͊!Ȍ"$NÈ:<* mi6$Ѱy9bh[>pwD(]Z?ɛ( :RZ,GpJ;_v};'LeEruE_ZUlY&!>%/֛nՕ*ogbF+^:;C >FұcE J%TnvMD N {`9]X?f`k3ރk&>5fRآgny~3cTNoٶԍ2bzyƯ _/՟QXjиTk]dbz`sZU|0~ZROY*4xT? dELucQ呮vN@vdC$'?}#>JC'b3廃(IFP:r^G:3Ag~=;jT4{7xf|L| -Kת_A1C9UV,1@GG+8O.=ʯr`vf%=/61DS8Hp8HAhx8m'B$q5KP6Z2v+Z=XR= p nżOЌ7Iq#%"+[`"`CGU$rG;nt9ġB W[IV[f$ iM36n;o"VƢda^Mu=ΰX>oH=Es hćlkd^/N@?_)rk6>$n`]oLZtȵ9FPzZ/ĘI2$rd66mx 7Eҋ ƚY;u)pF.\uM$F.l0勹s-gˌgL8)*avl N3ُ13M;W\ty˞4g|^z,jr>I^IA(jOf 4P3Ԉn9}k $Jڋ@i pkKiOuy`R/Uv!HS)iJ3ecS˧V?ĔH6FYu_yyI¬(V Ezl!wտ? Ω-(WS>-DE&a07tM)O <:#fd @y^%T/iZn)+X{ÇiHoZm\IGfs";þW pV-.ժ҄G$xZU#!X'q)b,@ 2c Y W*"7Z0pHe$Plw+o2w0A~ծ_wiNuҐOtIlKv1]3xiOLGV*u[Jwxc$|1A—7> (hvW&^ЖԀӋtt^yަC{r-K^d5XJ.R?z*2~]Nav.OiL)3>g8"v 9Gu[(3O)P9pL 7vZzh B?_rVb 96ϥeM:I2:O `q:XUf9taDž5LiÂTv׶ʰ_+ætX> Y5L엏Ea13#^Ig)gJHDOh@x4@| |9*baHmv{+z7fT&4|LXc{-4x5$฿l<i)DṶ =} FƖ I8y=y=S73j.JXYМt24O2M&VjxZ`O gҒ =\(=ZT ǘuP쮠oR]u);_ÇOڐC+9y.E;=FiTׇ"B᭣Pߵ҅b27n wC`³efL{څ~y6C7eRtJD5`-_)z.c']j2{:ih@KO~2io=ޫ2b+W2PJ IGr]ˬnxg¦R٭˹$r>K1$W*o 3+4f9,Iїj 4s;)[(ﴗ@NswgvṔY7ZC|խIB-oIq Lr;2':Tu| rs%ȁ)q;J}yJrUI@cI$ Z>F;%p}(t1* 5UmkmX#kvg8g1DC5Xi!Mj@ҁ[h@J:3xBor@2:XD^R!Rs:EvĹ:Rmo04mzJVi٬`\(g2=m9,5"+4dnbYʂ]\!!~0)&;;ȗHvB f##QɜAԊWԠvQ"jpQ⏪i-`(CQLM(ns0ChUr\Sj"(BӢM ق?{skzPqJa%eIkKv#TsdlW \ZH9Jw,g]L9,`$mr2ggDتz/X6 ^_h %{ us8m@, `yy?09^]`{7k}4XʞAƧi %0+5x2 V58DU<|y8Ns+sh>{7}.Y79/~ 9+ -^|b!*?#=T_pyA^g!fJ#p K""%Y@׮x&*Za܃=O20Zyۿ6TBD:2YM7G rǛ\yX4 ߧOy~gYZ gv*1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM)1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id522G(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\38SFrHq>Ƣ;=(qPPsju#]O8  Lč T v5Rㅑ^SU2);%f^aݖu{qt+bh"b`(E[͓GZEpl6}byGk.ra-"ό : b =EW?4AqsܜPqS\c{őMMI cQekIR"bKtaE:EC2'[ y`Y'*hwiv13ca˩ E7)%!&$NM2U^Ҧ2Ư ]\oĦ>e@d9p!듷D[i}hrL]!}Ȗ暣WyQ Yd*Kݦ Fby*hğ+ԏ5TyK94|ʃ ;O"kZ#c5/BI䷡ZalbՇ~3IIa_#"^w\5@zʽ\jDl/2=uW{W^?Y Mh!rHm-PB0͢ZX!A).Ͱ<2dFz5LE 7h/ yFrPN%bwYT0hG2ܼHbA-ԋЌV@y~dG3,ŽZ}V2-SCY2C`QȖ@z2J%{*oDu!7f,ڵخC_ r1U_@^+0EܼfXh-:cuY= 9&i9& [0Yl޴iCm0LCy/ (hTxOpq.x:)|v^[GKSR7o)Lh<\fڕ@DaZ2/T9ݛ@r0-R |v]%(JNe}1sܶCe>ұzw_Ǚj$d2w|@ @ C_x, ?HռYbz. k:DH3#;-VjBABg9mʚdbv2/׺I[uLKdnEQ <1Ẃܚl'"콮 \m| НW|/^\` F`NP ݆?4 \u:4<([8pv%QQ*۪x]Pw\޸'?C/XsWLثRm..Oh*WBKyRN_qjYH:>u4bnY-^Ye F=61 [bدza$#מMP9Cv.2S!= Spu[?;)R*IDߥ*|$ ڕ kbNfZVD?Rh9Rq]-R - \&6ɐ:dg CR@6.qj|25D`RNGK 5 ɽ'AQ <luxnֽITb\U 2A5RWgH&eF4 1hj1u~[lJj0fܝM!e5q ,{`9&QTL3t\ 6P#e/b0JVWDvBwW hv7JrS@$4'oDH3e`{ӕm\L'ozKԒ N].N9űc@hHun^&.^z@øYGN%yD{8'NV }mTPEIdy^ei0\2`UQTP$Kora5:]*Dr9KE=(*YK9~ޑx?W7HleX@y축̗,c;p rǚJsO9c(,eH >W7#ف]7Ny66K>3]-mc_1 g26F _,y)Q㘣'|X"n,99.`W-JI7vq/Pcّ]ʜx3]PR;6lؾP 4)-z?BnAH} >p1'5N!$=ˎb4L. eЦ׾xy?lwgGv]ӊD´":?! ŷY8~˟wĿQY1!䑽z?"LQ J丰n}KTeX9RHĆ#.-/3 s!}JX͠mz"8n&А6ʭ"8h(i~z˝aژzޔ׌y[9 ~r=b'%ߢ߃ͮ(GbȭK|n tΕ2OoA/ԞAz=qQJIM-UlO6`ˢ 0`9ts\yPڶDĩvyN4pCaA/Tc\$_l9ll&ID\MꆊWUSc=§<4a@X9QG+ $P أڭ@h u,E'TEe|Q"M3k @+9)_r,r+U'"E7w:ǤV`)/o<ݹ4mb MGrW-7$1!$׉A*|h):޻n&Dn j}XxI> QeoHD}#6̞g4`bFUbQA11 (#H ػ"AHeEL~oHJeCz"GHE-=%<jP 4#v+dH\#"dP uʹ_+cvo3֢dOAYtN ejҥSX i„| *Og o_`۠YB-\UyEB’@س$$Ȅۓ>kOfQ{R3z (u"Z9z.:u`tcle? LdDvpGo_yE rg=xeMAiѭXL :- XV*b CLĨwb㲆L!*N|1!i(8yJA$ #@j1?hhUEXy+"'(xk ; Wuv14f%(] =׉fOmFe`J!waH3-DJW/>#sq8'e8}}bs'2a"5zrՉ- =ͮld/͚h ~UǙ̪zC OeE!E }6hG}G0yщWK(%zЂ)q@K7΢3 [R7V(%3=U|N%@ ѳ)ܛ| )aa0F#JfKmgKaTuBče-rYGcTb=`lRޯ[ uRٳ9Iŭz(D=Cq+όS Ʉ%YuvM;d{cl3.-rhv- cWM 4~(Hd,8y` V齧Җl4اЅ`oМdG?.oRP nX vw#-T2 CYTCVnm&/$CEFXυ5wpT&0.+a6+]Lvq 獬i)(tcy\>Ji o>> l:MQxFbf>iHo/0,y5ޤ U?h*ఔQ=^#~"5E?u B?f>Ɛ, m^HHl)363>q$,duQi:(ܕ?0Pb/9n6Oߩ@"WzMi#:o:tB%M )lg_`y:uu39e!雭2,yA*0tޗNKE[՚ar8(Ӡډ%LsoɟNs|r{%{0k5=f֟ ntHu8@h."9o'0x5]G g-~ksv$G̙ۨ`GeۙE*`khܫaBʜ)Y hK;H'qk}Z U)l wqvN~,(A@~0^!!v<*nq QߊLH"IykJ7'<򊥠$t_'x) k!S8SVKąh I@>o|toMx.,@r@P#_*ɀ:H^(@56ֶ [XF}J1[vzƳzƳĵPPG]O>9wTDzB<}5I&o-5L>1؝lC$-xئLz/D,&JO_oO^c~15 gg#$JUk2&pJtq.ѓtzޟY'I5Ch-Uu}6Ѳi%XĊ?)50gYZ ,,,1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x7\ %/0$&w4+"1$q;b F9k_a䥉U@MB4+dɻS{n;r^Yd^X%E'`1ֆVWZLzkV3k_ !6 mEmk|8D`,0Dy$'?&uv?s&pl9t }Wː=şO [#90uASqDf[D򁀌@qRs&wKPL?xKf[z OeeEw]gܨDf;6 7U Aw_Ke2@3xG~Gsۉm>8oܖ50gh}q̡}#h''b己պѡ ą,X%TzPdW!Fk9^$ ( Pz2?df;nA)yvc|2I|^lKߙ䍘ȷOle,9~q#iGtA 0nodFvu]Ҟ¨3ypX57گ0c$}=%0?˺m`4"C#]/dn8%O{c1!j\*?H%o\*3RH紤k' Ge~5ˋeey@-C~f,XXVYea\e5bzZyuR>pPVȽ6{y|h' Ԇ7KCbRWfq3iAiMݡdaz2tX0soѥظ^Z 3 &9Q6QgYZF+1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD Ƿ1Jv›I`,xŝVRw#qf4LJQ;ZG[lڈHhbDxxtx `3} ɏ(ʈcӛ+`ӤS!YBKȨRL#;6"ck*p쫡DsTOL{ đjhXM[d!N/Aow m j^a)͠OHsl\Z6j'w<.c- wEEOYZf,frNJf>שe=%x~#?+ F;(&Ϥxb]ġ#1@Y26=OzT(|b~rǓv67ɱ*?9IJbp!½JzA]ma li@xp M E@+ˤ]?t8TAf(37ɻ!uGf}=M9Qt!ҡ;#ǎx]*U2<7w"dkʪL+(=X/pFCr}@pO&r"/#D3繮F'1÷4yVsxK"%2uSt08Wy\i(s*Fbvx񒇖P btEB>#Y*a M;MVx]MF|JOOZKЋ"(zؔ[l$o}Y_`+*KBZҴ_Lլbc ZDmli|k@KBЭ-!"fGx뽳Km}SR4Exx"D=mַUm_i'1u9'_M:p|dFIkkW Hv%,nlmjwgg/`c1_DK&< ;]fa@Y|4XL:5)t/}cw~VDU+ޙlIY<>*( ~>' =$ \^2ԧ+l}ܙ4ˤD@p~X.全YYGTn~5PK ^ٽs5q726[*C!"OOʟbf)A78 ~)ٕ2 j]2m^R]y؉iّ 7 q0#p%&s] 8)y1 &XD [&،˱ 39C֎-]FhtۧVm$\ @gёX/q7|]crXBR<ȣ{![!o>e/b_1\,\Q?RHcRxJԉ%%Pj{MlnM[%o;Ҽ6WMR:4{4|5k\%6kMs+b[CFs4k=yW (&+񤺝DqvƬTUbOh>/woGfHoDHƶR|$)kil@l!X *Z\K~ܕ/!l\. XLy˪/X."D-*. .1s1jԝTd_HS-;Dw8O2l3kHdb;E2C@ryp\c3k]u s-@͏qN{w KA/+ujkߢTg?+g;56-5wqh&Q]I D:#{ vlr ?Z6,Pbj֟9Ywm:&CF z~bk0$B~{M^*.~me(NC3"žr~14 &@N }LK ? O<h21A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF11A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530H01O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w=]D?7 {?:fH\y].G»';#c;R<M\L$[53go#oz=uTNnZhJH!=mu1O^%`w+]͘)N:Ы츍mU#ـ1%]o|όR99Y\) c6AC\|ͤg5ZTwҳERi)"̣H$Z+]QL)TL& fk}wſbet_JOw=f9Wn*V](SIZmmۀlk#أ=&BF T%zI7pO[w%`M{@1ds&>_3/?y,ҌP}OҾe6{/X' My{Jނn"mݦY{bBRWXYq/]N$(:5=_H 瀛VF UYD 'ETsy,F^z§ΏHJM#]3@ndהJ"W,BŲdA4ˆ ^"k"Q$3~g=$gȕLͮ`gO@t̛P7I *DjRa5 *Xa3_?2<NrGs3DgpAml^,zɰ,AӜ"Y5mGRQx"^~W Yj2kLY}D4nb y]YѼw%,7A ވ'sU?XQE4x45TUAƍ̡<2@5oOng;bΫu| 7zZTvaGVYdllw2c" 6Hȥ+X2u"X F6ſa<'҄tm_D悍JPtmnAs  1acU|A#QK1^W[E7d|"ѨeT}sIg! t3:G#)ZOC^DmbI(ŵo|2Cu2C-#? jLB^+'UUZg{[{plYˊ:xg䇻;uq'P$9_-\SJJ =E4NBDqG3'U,w'Y9D=ۜ8C֋o]AWvDjy1,ZJ{ 1ey&~Aǽφ %)gYZS/ 1O# $HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF!  !J] !M젗OFK?aִB1g:k[&ԭ"EO"sizB%Jssт|1KywTUho*> /OЏ/꺲 m,ji* eIz;1K([ӶE~ n,6JRtŝ4k)E"U, SMD׸|MŒkn 58hv'[D7㾻U.33)P׭m[㇂+H޻")e#\[K{X#+OhCT_=üe\?֒l06A0Vv*yϮK3=CAdi"p.1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id526#f„%[3n (ݣQ[q |44\РhrL*7-wQAƀuxFO}RJZ)k 4Cd lYA/a@YٕN}XABn, TLFg0Yz}LבB7'{ʍ[?@{7߮Uׄjv1Eg>/B\~SeيId5\9L x?^ 6~j-*C8(}ܡtzs, hgG),Ug$dƞ?D 3)#_"z8XvWхYԄRkwKSL?E-]sRh AyVUz&D2/nOb+Ԗ.:ҁ2bb>Wq=¾w%Y.jV*P#duZUs ? D?ˏ#i]TOuWV [S3"[%s_.F'moiљY,l.g_jPcΛŗwWr=ziZoO=#*2T̈́FF6Mbrh=TH>|ʇzHgz|bVK`Az7 Z @C5 +ީ84(zTS[A#GJfOpw^rFD}ɇJ`XuyA%^}5Osg>j4w#2DA-=^ބR-<(sYUhq񳤇n×$[ʱbnf1>]KDPH m{`bYPG!m7aJĸZFU9k!J-t^1=F TE#Z"bߤGHnt+ib7^(ijϮIP&h}%,ӐcTgRhf#3GÍ{Ʉm.b֬Yevm 8`H`d{8Do>`Q8> $p*|輠 qڦʛ'tVKPTZo-5)臡 (vQ"UX)NJ \:U鏐9VڊeJkB@D2/`}ib{JZDd3&gV Szj{G#xu"t+rY/͌j6)}EE#BB_hXrc;I2H!w(i.p{tbd"(/T}#Ln.n@XZ"ssүf렍Mx!^2D7.u2Rpycm..ȷcMfҕ\ H̽DvoF+=vrŦ~z3~y#\`c J9yNƛD_ŒMU)KSɕ#os_|ӝGtfm_I?Y:j}◝Өs /k nV[&my-Q{fGDDHLy%MKω7'(؝Xa-u~W0B T% 5x0bFNjaR~ݝ&:2%HX j%\y@&ת2\O2kRFqG e9 e%֠ovXb\xhf^{ՇQU.,Zu b?͞3YbinSHϣiSt>0%z]pWl1z0M]mV0aw4BWK ۛ>$ 3sV8e fXmQETB#S"}T_[U\#Q;pi+fΆW%%XcZޢLug'_?/=uǢȫf!6b5VҞ 0 13!P,E>e$JGIUxڮM=R>gNhdZ 88-@?KBGl} 7ȟ?7y}dvĵi~]8E ܠXD 霛Z]ӨËlNM0@<~C*5ۢc#Nә̺v~/G,ԑ[a~ls\8Ph(Z_ pUvr~(ЀǛH-ҷ&\_JpQAh֑2]x)QVd :%qo? K_<TtE-[3Iiħo!fO(~?ĵĄ[z´wr Y![11=zO'о`G#CO׵//i"Z|gWЬՍu¡ѕ58~:6%S5@ O\ [3L*OHy8V0Bٳt!򃡄E?r{9Ez'eHF&crsoAND,G'/t%Bhjy(Wʄye5 8v1T;zCZE9hCӡ&<'nm_ct\R $b6lv6O+:Zŋ¿<7Ȟ Zȥ)Bw]YyG^=T}3eXԊHІ~NER0pwLm"Ms Jqm>4;4uɪn\Ep^m.1nƢ7oyF.,Ytە*<{NZ (aT^zh4Slc5N5T_)-6YOMno`fMiF̋ɭAn!2Q*6:xg ̔=Y<x9Foέo-uvvD[6 :R^ DLk3_>){fw'Ĕ&[V wڕ (ƭ ku=ME1",y*xsj/jr(98I`o~j p'6™&uxڵ^d])C(H¸Œ# Q$b/n2ݑ[-6U+q $  յT?6~]9Q&etH(Wh-#\g2]]`}d)bɊzuHJ\%(dYLRc-Z;[;kB;3gǐg:m `cѷ~ZA4Ξ8ʅdjB?$/NT-xC[˻ B ԲP\Ѿ%+[`[6 2:L$f2߰ݧNl -W4o* ֧ދPN͵{ըNP̙)._>_ih?Oş{.89n \ˣ]ܳ.# j1M4`Lc_NΆck~oz!-HotrlLp?~hPzI@w-ut*d=CacICu_DS*㨵P4آgkn!L,;UcS皑f|*2I25nxk4%Z%o\ 0i&O֒ 4Wfd$VvfFV_J m &JR:Hh2Km:n>(=n y42Q>+WN/g5FxW4bYzȧV>Ȁo< 45nwm7EncS!JI]<iP#80,XblA~R(#;ɨ`18;|_[xTbQv3db!rѫ7mY_PIMfhj^Da39W(e $:-W:jՃaaFd#bJ3;oc#GT/kϱ 1$}t=a[ T(R2TVU<Ӥ]缜0>g Pk~ 6@\sX4n7N2955:PRR:@Mgvx2ƅ?n<ΎZ⋝JYح1Aq[m'l9b9#),0</J7"!i~ /O_[1@.5nNW17:ڰGiԯJP&PJ\syYxg3lͪӆ'4],@ #W4Y=XhbϘFzӆ@[{.Ӛ̰=O u/V;Ƭg'߂}YIE#@@FV;}(V){zU-xOէHFwN\( 7˵l ;3ojڄФN',iG>Ngs )/QTbEa%3zR c0~ ɾ_z|]lmޠq|'z"7=/~v>TgnSӣS {#R(*CAEhOݴ:3K,KavIg7MD\*'P6UImA_]荢]\I3[aec;g Kuhg^GͣEAO [|(6;c>=q9WuM8ry3g> v*@~r٫n? i [j2K))YcPEH YQ8P Fd''[21*y}qgy^l`ўaMb׹d\8hMghxSY` ;fuF R?0[`?zd\.J4Yö:Y+JkÃ; }؍Gu/|+)7CGQc]4 @֙mgx:s~|r>˭9:8G{V0ځJ#xXW& BMZ$?A6Zh*3.^> 4}cp#}b7ʪXA$,nam 28(zlG-`WC=aLC"B5(}&$V]v 1_65ЈtA'Qj#*K0$ChxuL^"+q^!:b ߓ''B[Ȧ`,+cI$ݣ$dM1}u+&7 ݅̽B gjgYZ  ZbF81A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520C71A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! :] !M젗OFK?aִB1gD '+JV rgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCoho7u xBf)|-krʓzM${7!aNe<+4(>ςQ!%`~~{N/&1a2斅dNem cYfZ/!IP6{ z'yTM3Ks'@I_j,Hq6}, VdQĚBqGe yNoۄ8y8؝+?S&*4/.!X2БLYC;5J{i!9aeւp.Dm HL%7;l*Z c+Pثg: uw҂s[o|)7FT5fȊˬ a0Y2g"ƿE0f.#j:/~"T280Ғzտ|Ʌ;/BTgq-5xH\`CC(/)(Ǵ&=QZ(:+uPN;i 8- b3S^j &n1aheMOBd)$'޵e _Y>I8㏬tn.%J+jeREN%><ڔ@}A5Sf/E %F!_o}^Srx'>&0_x@p$\dq0tRuLljuT gYZh61A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id540=41A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! :]D?7 {?:fH\2Ϲ쎿dVkk+${h﹞)^rs|Ù:s_%V)1E廞H4lV3!8Oq;6$~ݭ*<^RϡT2X!|m,p o_ZBp\j}uIKDlvs[ 7݁K{P-R8vL%e_q@@CjX ޽J3Έ5G0ipg甾/TZd-iNƬ_".֔ ݢ\y9eUyM,T2Lra%xDn{Wݒ=u+NsmՓ\)U>ijiN(lS֖ߝ E-1SS$1Na^X'l!ԎjT>.P0< pnG#oBXNo #uDJi>J;=׿Ɠf0o.O|.Րȶ%_+Mҹ&V2Cʭ~-QQot>]V( D:&܊*tV "̾IڟgMUol4U[؛|IVf;=XPꬳ/LgYZc31A# THOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! [c] !M젗OFK?aִB1gD '+JV jgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iѝHz#bS $|eY*z88pK9(tW67MxfEpS]Lİcnyb풭tWY>K4ӂBtpn}`=ޅ0, ɞv-^Fq5_@F&+0"0nڪ%ڇaWͶQ6$X<ǢlS1Is-_\a 'A =`{Wg&&Y`&ŭo2ϲ!ҝ /eǷryl=/]uXb2Qg즓 0}F?IMǞh nž܌^xw; Sx1O6~) Kn8K*Pu~_E K\ U"{W)9nz\Q\ІU_0.OC9~h ڱ  )485|#)tŚkZmVKu39*-Kb6iRnNʍbmLM?oݧɶ69wr )Y4{,;a;7ǕѸRC`d eʼ(%HsJsΪG_94 >e Af_~[eL ī~Oi{.4\=]ph!zKtG@gwlS C~][ \o3ńy&J_7p^V.xGOCk:d'QT@݂;ٗ=!PB{А "H.\a k7 ӗ  ;ECFgN?1?`3j!(ua ]vo^Y-6c-`e-y߳Ge^**lXї<<5w4P+xFoV ĩK0QڅǦ~S1q b:"?+!Zl|֪`$ԛΨb(}#T:=+&j;+M2y{ʥw-si((O%}j 4#ܜg>z$nG^b[l;$hՂa{X{(Yzq^aٔ[1[[[-~"=SjBq;]Q#w'[Ґ_5)_V'M_YPEMRƂfgESN7/K\yزhM[FrQ=5q]z:Ps 喝l% y I0[k \hľ_$!?OH[']pu+`̎Q%t[C] _,T} nCcɒϲBũA_ggb*Ogns,T"1qOcW\J `+gYZ 'G i @ h]  A_" ^S X U VFf" Y t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1'HOL-Corec_ExamplesHOL-CoD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupRC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesQI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idPB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesO@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupN?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesME1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idL?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages;=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup:<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files9>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id%?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id $'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id 9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex M;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.texCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex *%sg%(U o + J w 0 M t+ -7g R A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idHH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesGF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupFE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesEK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idDF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesCD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupBC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id@F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages?D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup>C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files=I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idv39"P}Ҽ|!\6ѻ?DwP''Pbl{"'f$+: ٛ~@niO@__ky<;!׳un9Fr;DK_ Fe w<4;]] Z~g`23V'VB[aưgYz@ga'Jdz~is8]FL5 ͺjO0O>Ɩ(m'cARJ 8Z'*apgrtOh)!,E`)5B%J`%VEM |nPiqˬSE+:*ݭ.t"uph9kQp%bcR;(HhzNu{ꄶAZ.3jC L)%:ecZ`On 4Ar\#PR<`x}nRѣM l#"j!SVxwGOYEVŰv'.]5䂂B㴝C;^6qI&a-EJؒ3f`aKgf̛ #_^wukL^$&ꄎn-q'mH2^q#@^b>ggeZ|}r!@W/ݨ($eo3 ;W{FEIՖZԼsb*WZdQԙ0 l?"켹s8 0!,{y].b-=dnh[ߘOz9|ͫGћ'E:?]&1+~8e#'-"x(U{Fr[PjV$/Hlw;gbcG:W`.O7-b[Ŏ.06`Q.bn%`*Bd?^ (%Ui2<7gAإVG PDh7阁X ӷrGRkR?HYFЙhONV8 F9"`!:bbY@d h͐{}A`5xkɜ&G#51tqݎetVgZPqХ5k' ؗ0ǏIN48+"D4g*=Cspg {kGGd70~fW2k/LU<[lǤXͪQ%K $mib\3h?+*0W_$v0?rL'y]˂_P;}F5+(u.$UbmP91Ef^3r J;+^cuLTh&9ذPZ'RB4B]۬4Aab`P> ʼng;bXul rwnB??Pp/~@ʓTW<< V fǫ2eT=~+ߣ{ 2v>b.juds3˄q8ƻ`.ai`99upo 'qD 4btEHl#. SmCJ@;eHn!ǠJo4&\Uubɀ=M|<'ˌ`UA5<-/2i$VM3̫\4.,xb֊^N4C_G{v%ڞ;*C0*_Q}E}F7JG*|F\@$޽k˳ʃgx(_܌^oo`Un+ET[:ײ&՛ο7e5;}`jӴ]7HZn!u~J豩eNk?v#_ Xۯaa9-4[#bV^,k2B{WXJF=\dJ,4\*vJ{@9PV Za1 SN58M^K~H>/6Ҏү7/m̈́U^^Ic;t9cE?*= d "Sէd;N]3*ɤ & 9Ba&S~zcWE[.,x\hYW,}8W+7ij05{ Q܃ Q䀃.5Q} &[9pyhH¡oA$Ź!lr{hMxH30xq'S En] U2 eSďbo<LS(b91A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thy/^njq٠oyYSUPyU>$v/,,l 4~kgfЯHۢUN9~/pL|~_8$KB1-Y&)\ 鑓c|m ?]z2^[8Vx>p}`F!6@'/UjՉ$. 6G1օp5p avuN8PQVs9Nt W3Cܪ«a NMjʊ D9L i퇅H_ gA䛢GѬBt61.\y2׼x2>` 9σ 5,U+y"m=Wd9IӳHbc]!H$惺iY/'iVV*ewvpjicI傡Ja Ipn)锹.FyO5(4ӫW/fkr2H T+ktݘşayI,6(Є8A˃BT7[ZTɷVt9n (6֚v(KE$ $UPU<`8u=0;[Gq),-wz,?_0Pdu*$$&ToJ+ ݅rYCSClد%< %8*^6k4/ *}w~DB"uZaߞph1;|' ?X!1eF9PmЖk KWa*W~4pCBn/[K8ǩVWle{ N28}Q"(uvfѢ :_CK]2'YvA4l$`VIR_S@/Ufp| +;pmu("r|k vl?L:LkڄexH2t@f+CqB kkNp,gɏ-+SNdh~U!@1@=e/k(gݏi1A|8/˾F;;.g!2poVG3nڝq/=4 @M2QQV#*}v0N0t<>@=L182V@_oUHJQ62cDTO*E(C9錑/ pn1JurlcN3 TD&M2{NnY{qm*0p<2#%/ܴ9VX "]kSC",Woc)>?{R ŷW_aˏFִ߬ 䰝9fJK h-{m*p{F;HT,m]+}+Яc!1̾#Zq_}< }/ _GLV"t3C[z啌G|Uժ9kHI"6w'"1i{F0M AH !ya:GLFDI m(f'l?T^H?ץ}|D,b:3qq~>[Y"f/^=ыB i<QWk5~Qg jDvWUM& ˴B.׫FW։ŖF1'qҔ@B$no]sR*b[);y GO~u2ݳſ]T]Ol7O&>Z,m6.?s(<;[˽U8\5k(,*Q?&b|5@x)SM"~]AyN Lݭ/`{3g8-_Nh9{f.]ƥi`0@SPgTZ.w70ɭҜe_]۬뇛4 ,V6wR;C% 317;mL I[v\gEUU~]Fk]W7?o"ѮyH&Tc$V£mU!;*3ǀ~t-Zֳׇ<^uql>S%9vPon_eIn6kQh;AKԈ1;XH] D%UOluJ.DUQzK j_X6?E c#K_[L#^qA8UN2Op>T0H$E^;C؈?@tS? pOV ^Zֲ#1LVϱ(llǺB&1eW\ƒI֞Nht*3 ^P8gYZ_(1 0 ~|yPwCxWMp Et\*Ԕe[GȽv2V|1<WƕRƋ6:!h,]di8  vpy`s*Vtw~&1Cfz H>B  &@ͼ( i!Hpt GkܣI@ES7N_v-ӳEN% NǡAyni G`]+:eY3A=,9SGplhd ѫnPIO>E,(V:-R=E` TO\ Q7;COC yJKEmQGPZwEHPmEX[2 9F -cZNR tD('.i/(zj{a:6ѩ}Gĵ'~j*|rmO%QEe\mbC0Qf,KHHJoȵ"Y0ڐF}+y+kVQusM:\PZ}6 bAN[Fx=)MLjP/c U a P=nCB4cF?^x%Od ܂+/Ҷ5-=˒Q}\7X(pzTN \JN "$M5-nbt #@K@e{5'm;[K,<Q^ĺ_t <KYsg$mRmģ.T% yҚ2qpN)_o(Щ{܌71ڶg[sT\#Nz!H8ۀ$mx 8Vw駻i."tI/6 ٫` 7膐RD' 5 ũ(뜌9IƬg%n(4{ QĨ漈l|In=4IĉXʤNsHFT\P(lj5DWxihF]i(]w&s8&`t.}dz{bheHew*lC.5nJ]1;[b 꾩d$&ޖӗ7R٦gZi&:ԻDWzDmbR6Z,&M\v!]$/GޘDz>FhM*]`mWPkH@\'4FMOhmC$(#zWMƒHҝ0o[I0fIۑrY,]S2l&@e~)Tfjp ~"4kT x7ƢBEr:7w6@=L-3iY?6$ArYX77gߎO<繇];迁b)Ĥ3sm?@j7:ΒTҺ&4D2nc\yd3NlQUwW陀[qAbtqI4}`*JW$Wӟ;9"p?Վ7WGX5t]18#hx誃mkSK49ؠ`z0Q3澬KGFA^baT/Q3by-H#|;,<uBBG 4C(e 4# Lx[r6g 14x4o\ŒBc!]ݻA96~buQt F8Hw*%{ڃiECxB W̒Ѿ!4l }+bdoX Һi~TR%"6bu9rNdg 81w9.ʇQ[(#{jh~ޡ/=O} c.*kB <#|V= Ny:N7?߁B,An*2^wr!XT;8ObkOlʨTFâm~OИ=?>P#ܙPU!vLلox)`!dN>ƺ' 5K)gJD䉿G8-`/jL쬣4N`i$oB;WvyG3q5әV09n{ym//'ıgYZ  HvA1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM@1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id5448?1O' lHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L0]D?7 {?:fH\9kYy|x=[}wQ{-|d[pjfq+e2֔,9YڹJJ,' c @&vcZۙtoE_PbpIHxj0dUnGifQ|^2NDGvxޠKL`].0 \axw`+kto;쒣OQŒ`Up 2k8ΨB] ^ M(p jxA[$֋9Ú~`U>FpO礢657C΁Τl>3rL/G0P3M,dwbNݤtxpEWQzȟu1s8`gtNh;b~({l@z4l_|^{Ϗì :ދ 4wï"H=kѡGg27.lDBy-@U()*EnS~vRW]KK }D͎II7A5KSN\RdcWO'xB]H+7kũb\hbiX"uI;bϓtiA;ܺ|D[6].{Gb?_#v/pWg=/[5Ç5_Г>y5ZJ\*'@IXP^i| ~x /VڗhܻRX!i ښhV[دmKY#^P*\ uzppI-zbN ~*,I)qTrWY<1Rކ' n,{&gYZr>1O# dHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! i] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_f _z1v󣿻`) FB1O# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD *-IWɼII !6M[.@` _XxxO"$R.B}4댬am rxgePӾFv$ĭYPO]WDFmE,kٽAwiDl;yCa+baU f )NԚhFL8aUhU 7Zotrpcn_giY2S(](!}ʭ5~k+7%.];fBܡ!n5|SS@&/BI͐;Ȍa fs]vMVrN_\гt#ؗZ|I2Y;dOhdUz F?h*`{,`ѬX'JM˙+,*eEmjtgUZ7ӹq9{57f=t(D)rKFv\B}q eHB~ 30hkFBS 0}mv͐dA:3'bZz(-93Y 5ʕR"HW6q?˘hU@ g:\i](1($|'5Τ^V 0zl΀TGſ1tREGٶ|izܒ.Kxa(!vXzp̬BmGrKq:s1J4X@&YN4JNq‰Fj.n$=3#tfϭ*=9r ƌLqµvt)o(М6ۧj` t*M{ xqgwd͸dB ԅƺ؃c)\]!a;ɝe"R#wn4Ӄxm=JZxcHSlWԴVOe@F!OӡaoȪ!nt[Lsё,tsY/!`&*rsp7™rM/ PskT.|KiсR%LTFRR!*.Pq>ŜA7R&{R羉jv䕺lni-%#`^AE7wll> c F+|oT; FЛޛ-E94d ?cCY)rE©B!qZRjX_ CV/MлQeDujJ>']]dOՒOE LL4n|%ˠ7x٪JM87< Z=> HW@+E ak؟M ^?]ʌnh.em|VFK&ltU[I;y JPY9ݎqzyM9^=A*s+Uˌ^ڸY =Eaj(sju2Bn0SrKYlWi#HBx2Lk:X˪k%fdiw#jf?,p,m}.e~QDsЂL V9Mp駼Zy96ĮTC[=C[0{5<i M!CN#c\ã`!ZOڧآF NF*2C5Ho yL=! XDzç@# JX5̞  WjvOԔDf)Y|>Ҫtof)!j8(`qL2B2 0R~LO=!$ϩA5eAg?p7OY#Au!F':576 Z`UVQnԝ6\xea.(>60Iы]B췊iP\>VB /w>'3 vڋ;mvT#BԄ/3!OMRo8՛URg G3x8mq= [$#c29F,3^a(>c ʛH@2$,]ZG84O]%g|kY}Wzm{왅5_O*:۱J0X^s*OO2Õ֝W ;ճH=dm"Dz$\Hws+XbGmR3je&gYZ W W4F1S# dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! yp*] !M젗OFK?aִB1g٦ #k .\ykdKRJ#y_goc^<J'V@{#ƨUB=A`-cTrN @BO'Q(GvFV4 +`}9Li:hæf5_&a&{ {DL\ =t Mĺ[Wa~nE03)})Ldb~ܶ V.!Gnf,qI /dׅWAЛ'Si^(l.փ EgcYu}>'=wod"`D%ͻC'& o 3>{:c+7'fkp-- f pKpg C&@kÀOظxz 3iԐzV$R[u*F+Vp9N$?L]@cŘ~YcJ>\X{>.$D W͍giQrN8zbhO1c2h#4JMVmMH}|'k29]`"h=!R|Z߯1fv$M8LRWE30GUTҟ"Lf>pE(#GQAӞ:JϰCzJA]sXO]WVGp>3HfɻY42Ou3aFdYlҺ| N+Z?AaZdaW|%` TbBjmF"waQ戗xg oZ;BP0(2;ŀiP o)c#H8Hm`qϠ7Y-t.Z7Vg2K-)>z'#ҟ>}f;ogcׇZ+K<%h(%l nj^iS:,{wB wmD{!,NZcVVn$&`fCH[7)@uB[Qս+ aQmUAM $| GAH 7KL9#ZqOC8|o^q `c9D/d6k%cܢުch{OC1b 7Wz2hK pאcN}'8U3;ܘiCYؗ(y(/Hoʱmf0zG۵(>cI y cIuRONCᳮ% }82}*kݸc>jFVhH8^<%:m@lyHzjt(?=B Qa_T]Ĵ 7E9kOg- sV2vKYjttSw6׋P:a.5#937,LYlqb|aH$Ba⒏t1|v$p]㮖aEOIX_NDXʼn8l"f5 ٹ:kH[i/?yJcMȷ(g̪恎oS#;a؜0oI k@֫'\c)笞 <83,@&Q%ҊY W$U,m܈mp|Ӝjs nC A|^u8OBtLl.=Mrt6I^(\! ){1InѬs&f˂H- -5%Z M..A4(il tO]'J+HK8K{o5ЩqF9/Te-tE1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyOD1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524 C1O' L8bƔ׋ 6-+g]1J'AzmC~qwM -MH6'9Rʀz 5jnrN9<>[(vU-S{ڈ 1Ʈ4"%-bv*m3?Ή+ "; l#Rct9QpNsFvx$=K1`x_ Y.=Ӟ4D% W:|-A899t#fv)&-ja3&i`DGn bɬ/8v<.]!1b6tƮP"YS7"x'V/WII~LS6C!׹ 2ը5P(kiN=wv8% kfMa6gVdU|`wGE1=L~5GSz伬͎f68RDTgK^!éfz=W!hmU2n"t'R% mROQqotunʯd |^=F͸ei1bniq%^j]s|Q|Lxl"KFJ C2=ń?й#46M=.N`B?8Ȧ[Be]RF|F.>󡴫3e ?#ۄ1ɵW T%##8AN$O; WںD퉸bxEiF|Ml4O"n4*5U5"r;5ȼqIi|8d5ꅇh}Fi7۶7Pb70Kg&]50L_)(M%::M؝*^a~~|wF\3w V1C>1{H%dV'0>\)ZPd ˨ed +Ger>gD&芿K{+ t貴ex,[W6[AfYr@HP&xҰ6+g-)YS&%w:Y6ё# {"4ҫ\ӹ3?ɐ "tj'lG\ˆE{hX, 6TgO+9ќIIJ(1B@KS 1_TJn̍Bb"pWA#((y.Bk\`$P+nݓq&}|4ʥe]JpƓXA,&]2ݡi~1%lQͿբ?g&Dt{Q0ni_a"j :*ɰWMpg@3=)5>]z}e6+`@yPc<ϙe${M e"`x>-/Oޞ_)7RW)gygZ<\}K`yN.! 5dT-XASo\`ǽ:_,gّWA]LbE'G!劵m_Kzjnz/mU?C Ak҇xC/W)G;\ *0(AT7HbQ1iJPi+C2̖&nB bQA#‡"<:PV*:S`q^{,$UNd S8 )m\nkHzsH߉| EL}("/ c> K=IMlSmV 3gؑqx.{/tF | cFCn9Í,:TJp:c H9n3Y 4WJ@+S^ `Xzprpp)`x(_Fm%tH8^1(z^q.0È9haicn`7r9^UŔ*̭ R ~GZ=*I!6GbDnfnI+׹AUYe&hNM=o tGCJqZb3"t(p1&}gnv;IHAsKfB[a|_27V+5@.n܍i.>MeŒ&/~i'Y'e3[&}gUM\;M@@:u9sMbچǚүCZ&%Ƿ<ʣ=k Z3qk0SBaQ5up~`,*B>K'ΝOʄwTVě 殀Jz6]T~/h2~luH5 9,t֠9[P@s>HyN Wus56 f.aABWb${XTIpni]|⋯Yh 9\UtQpJV{G=yɲ##pi:eBJH9R1U>6OJcF |c"Jne}+X~q's؁X<"m75}ĞZ5M4?ʑP6*lwuڿVtwk1$6ʵ#0bc <|~1(F0O +9b{`q`[_Rfn+5RuSkےƿ$۵쪲lc+OQ>I?i6sq"S0T"n j5儂]瀷"8wv =xԷѷqF,_@B]J@AeMg**ag+BRlixJ:ᢻtfG[" }hXzn7܄~xxRO'@XGgX|~dϧ==?uY@=ÃƞibkЄ.%[&:ra iQiA7moQ D<&[$!b9rJp[k$ H Si8nHDud:bڔf*nySlxyC CM.e qc TǴ&|Sq=`{Фz{\t1U%H-(3qam6z4Nᨅ(Ҫ|_T=!ҁ9cEMXI@?':E{K,|IŨY% Ļ>"gYZ0JSKRe.$/M`-C{UV,)S;LCV?W˪a _Y#BڥJC` D_3M: '}La&{u4I^!Csͽt'o퓽bܱ=ieܨI/s]O|\AP P˃ 'l?46;%FZeM^!̫V(3|!N= T1!JơZ } /x Eܳr'nhP)^rޖD&arrff= 2doɞ:Ҡ6R6G?klp?ڸ鯺}'\zwv<*m%G }˃ݪ\*Ǝ(1IoGq9H/t z܄P4y6׀!cxVt,a {n-jh1VkAݏ+U }xQB%:Z .$j\(ᅲv'5mQ6!aP2@U\{4er²S1x%`~KwL ߱v }_i=\;ʹo nuGx9οEQNȔQ{0i3mZ%$"TU|@ڭ@ ܆*Wo%*΁ct?2zx !=h(]{`e%ǐwOd^~/BGC?x6i|h g"PnfѼ X&{NAc o6FHyi](dž{!9mɡ%ٕ6?1j bܼ/P+v N4uhӓt/`lVV-2dJ,7$AT£̪ q"gg/G ~$(0 2W(3j~+47/Me32-d_ݢ=_7Fe?r J9\0Gߨ?$OtkrTV^&l: N _dy{G (_6u͂e |P~\)!`>Ik`*PH>/MCPLU tE,] {Є;3k~ 828Y+Y/95r+0Ɛ $|[j[p\6xB%f0 GtxC[K(0ӱ钄{z8 <˿N,V3"@hgGG{Z kSskQƷ%JvGv& )5ou'BQx9ߤUMl&J4/1pWesrRGq "'tEVlroUŴLx-@sN̠^|-/$XT6u: n;n/9*+o,Vuo4{FQ Щ#) Vڃl6[Ũ%6 g` ;4E팙fLe/g`/ |]G"w*); +Ai?w~lmmF{Y3)@41V%=#Dx}?)#-2iSf1)6dK*hg =52i(g%ݻ(:mo6vr|- ;#@!M+jvxèd@߰Ixrي*WhR7YF\.(q .xE]SBGƑxEfvۤF?7n~V˗O&_=L݋!TϱI*~u81Rzpsk@.r;zBrˆkX(Tzs޽[fe&jʩ{-"[giaR=o s"I;|b D]!Ȳb7-/] yCw{߭d51IT"YiYwHO,JS% ni{|Bqq*:w&~ cews1rxqoMUuws~PG nf0?vuTҍW8*k-[*rU8 ғsc*Yxof7^6KM'hk_%do*ў YڂmW r)'N辸%=U kaʳ0ͩ~fRϣJހCxXu—\ۡ)<ץg>j܊m tO(O wأu7X8~ct쏐JyfӋ{ڨMp?.OڮК'XK[!GH?IsAUx𳘝w]8cCR_2s,蝧X"18/r.MY.\򀌒L/]C?֑tnCNJ{#Hj $QXO1fXkۏL$ q6/ 1rȟ7]v~Ó}Z9[! @LbV'v5[%Nq8lƅ[;ܞ᧻jY,19-5u# "M2Ƒ1/}Lexjb]_R_2E=2ت6$2@T PK|848NMؚ2tkCv޿9Bt1FUԀU% }W;eɘӜ,˫;!3 e:v1JU,ҏGs/,ui׺C38aE\zZuOņ/R,grSf ʥ.,$L^Fcl/E4G]fx!5pi //H1I-v V,;TDb6_1Y~>AGR_ݰsx1ȯC5YD]SD59r ={Ěnd5EHp:U ѮohuOK/n7-{xISK`>E/,cSӠ:yN !rzJ?'g(#M_ 4aA~(~='u#0+Sm_k mrQ/Zism/Kq\S$, kcWO@SflaԌ ۍ Vn[:J4ITEs,ўsn Eb&GsP=%R@ߞ]|9 JФQ~c Ndo`df if(bMfiy̙) Ra^#Qqy`AJU!b':S=E!!LƦ~G1'gc5&x2.fȉ GQ_8YccJoq_8R^ڧG weg0H?-)O^!#36bI,Y:Z50̊A1 &ͯ^u( wO%VnPG EK`AnnRЙK^.[*ч̾{~>~)`~8A .br,']& Qj lpe7MmQYaF8+ _Gn٥ʁrML%9gm%K 4n_%jj!Jw] S$Ejw#muKu 06MdK@Fd_bȇ)#ob` | /+9ܮ&O^,:k6*VZyt27V\[[>D*XFCҰZ{K塴?foz+^B+C#y-2k%BQ+-  !DgCԲJeapͼYֈ6ߕl@x _s>F{LQj|zq >4_)6@ĖXsB<'eyj;̙fเ4[Wm<4}_s;<^>b9w|*dኻ:y]bSQ{DNa&?g…WXi6 \f H4Nh{2]u7]=T;X@ȆAC,CA/wVm&414t:5[jsaD]ZbBW ,"Ly4gQ٠sGo/AD;QN\x ;(N7(r[|8XZl_Z6v}8*4F쾭H ,o3GZZ{eF\ =J0 &C"SKpiC<+phKRpd5#z:?.Z]0rP(OCq_uLk.YyXNo4NsAwTwB2%>e ^`lQi*:*ʙzcWX>i:][Ea|tN{BHR)m[G ssZdx>̀Q F1ZKy/<@O+4ǂa[ j= L:x d+ @𙱒S>d)%B,Lֲ$jbۍI/2F nնՅbul ۪Q,$ui%r&]pgdZfZS'0w-wm"GHbfPn\Knǯ$"FE^{9Db'l>Vl8 aP,jkވ3ώnZ"lXM͹K\ISXG{׀%lreO%L#jrsKn Ꞗ0!l#U1 ΗVp 61!q@nr;9F"R}yBM!,eY"ڗp٩8#ӟIfp0:4~ώl.J֑tMS-i{OmUh`>DЅ W΃.: yw}3gdT;c\Wgj[19DA$ ۍ DwP΃:dh5-miatNޖ-9҂J/;CK\gQMaLs` N&spbl@fq$/;Y9g4wK/l`w%b//cRki7- 2¼&G/ePCRenojPDv>Q`~cirtΝd>j "K4 !A#ut_@#AAHr7J 8W/5}{`#rf$~Yl?N|3Zau^W5x*pl*zO 0)/JZ/5钿Rb`2:UUpVP?G|-)TbW]bC#x 2|&Ѥߞ!2r35z`ꃈ_oMͲWMy5oTRqXgYQ}{[v" VJ d]PY JGAy;ƓicFxvL] .pZQ %1w\w4XsSӡ9"N/2ZDQ^' i19dN}.Hkau#`>z| y g$rȋl*zAEA" X6(0h+9>RcKVF8*v-IJ7fmxA;ͤ@ W|bGf:-WJ\Hk(N=25I/dqKGxuBŝ7͈\ 0c 'DSIc?frI=I3x 'ҾժR9@tvKWX2o`NERI'_Ee:V;TA=>o:pL$U!z!4!rG1NB6̨{!@f߳ `aK/k/go+`e#ʾC}v,_Kʖ#>0hʞ'f0BbYt(9brXB3iׇ\U?VAHhWJks ;v=H"raJbMP_n*/_N)d(۪4'#cO6: R{ܖø`5U/(Ð&Uthð-a |OAQXG2 hn6R(( <$34g3ssHK-;Q ay/pQ@t-bĐ_Y5[vIGmRV|aA@4u;~^>*sn sXB# fՐ͐Wnv`mcyA&3_yopF(kW5uXLFKʪ'9Ph!~8Ho-L5,T&568\yY$?u?7Tjt%EțxƜg.,܁ ;~H_Iu+/  dȔ#޼S\0w$YY E:Z80^t{8W ⁛O@tM1슗. $i\ I %;@fçLt~^+=\Dz,M)K<67bpjG4R}`@k(ޅLqՖGE)_B\DΔ }%jǥ;8}J!b+IwuHOXD2.ň!Xpk UDΤw jqdRtQAy 2;3  ̟;9Wݪs3#ᯪ$@D*iK>GL\(9DgsSX.I*dBt򩺺CzT9vy.`vLU/uW-3=\ZZJl { b֍tv2A g)!YeTJ·.>,!meGm] .[o=%'${=Owj[LCC:R@.HR||7O2ţJ6hmYE:iVPѳb>G6xW&r2dBDęm\It$}c𙫠[qdKz1n2@?YRg /k _|t2oWQ1hhr$+@#{f&x˪P&~hHRH&܊R8i ( ]`LYt}vn2RPBU1n'p-)Ζ<&- zb!;hNI܇ ;ihYh#5 4 #N $]ԻZXݣ|so C ?.q&IUfʊ_{5IG& zi@jMzFEM$6p*"\oxz J7m/J g58d3\[6uPwG@e˭ C-kFR?fnq͞Fu SB8Qա693uN`EEmSߋvh~ sۺwuR'xIw^ȈqT6w'ҏKu?ߤ, !"+I9jiEzl?ЎȂs!Vn#(Fx.L8sփ%?}7a"!]Jc+*Λ%Ad0 {:y̹VgYaJTO' >]v\rged9'򙐩"*Ɍ`{*ݏǒ"_`ư(k#s2_Bn7~4-h'8 4ˍVqdO\"O$%_UM 4y-Ѡ'%h>R{+L5fކr|y-#}D ^Prv Y"h nV__\ K&,Έ:;@fp~~E.:N5K=NP`򀞤Pi,.yUKpj5ot1ءGT}>C^WoD |G/lw-IdpBسHERY AȂyQрDӾ7͆Q +S< 7}75fj|axmV38AB]~S\X{#Jc#^ +j8/4h6_CRH|r_,bgs_իyY}?70ox{ݾ+ܖ=0 9)r!S1K@UI ,ƧOxswMJ 9Ccۧ} (NHfGDȶF4~  PDJ$$A`D 2!͞;I1i?ۉ k}eL/ 0kU4J+ 8OS2ielf_㙆?>nj |?|lZ.6출j$:W\Dfϖ S*[Er,a6y^H"MW0a۳6R-qҀw4Vձ1nLwq@3B SY$a | bpp;=3 &dERd|xƜVslVE옚߻kP˳Mc.!GJcAc[2Ư){m V7Ͷ-fƷ~/ _^+h~ҥ˛;PБ(v6i<8?C5Gخ.DJ ?e\-N:?Rh<:ۚ ~֧C ŖC|PIZn-QYWG"p(QA%1 {4TCvz̼AŜgYZ __J 1E# $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ^K= ] !M젗OFK?aִB1gD ?S t,Tj4 *PN_$66- n(>;jWVMBB~sK䴎8:Ub&'`BXiR}ګi? BY{VI(|hbͷx|1pK|aѣ'}a:F3 N_Ѝ'AbBp3e ջ1fȈ0.y_Ɉ͠B{ ٳMfk,(q8;GKe8uԢ# $ д́OmC0ݔ>`*-VM 'Fߟ)DU"u,j5݈eiͽ."Qa   `0EI͘hUc+ڄ;,RG|(#4 =#pl8u`k0 A f6oJu]L2dnI_ϑ<\zMD7 p\p`PMd BT]譲۫A x5@=Qn!35b9fJ"(FZ"+&C+0^=Ub.5?) iV2z%<#> [i:JG,=068fqX/S+l~xxH Ҝx5 ͅ^Ȼ،SSj 'gY?$lqQ6bRpSbpQ) 6_sA+t|uƖGMX>gdE*m# us5VDB4Cupn)-l@N(ާ$~n*9es+*!]פ r0+*de)eRġ 6j*-K TVە{PەW$9I SXMi!DYk~*ӦVnɃzam2&qnGdM*tP4kM _7ha%R8(W;5Խnή҆htaq du}f*Ɛѳ "zj[߄ޖ6TsG_: a(}" :3[h2ru^npGv _q:qD "(5ye+(n !^;ZX6QtW$$|HןzԀ B)#nN9Fyʍ/{A1ٳVGVq6Yd|(7k2؄K%ѯ||v 0T߉aikgKJ2 @XDFWI0rKuKAx7FNV@w0B_O$9@0u #Z ])s;ak G؎K3i/VҐRB "oiUV/ VwV&N1G# THOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! T/#] !M젗OFK?aִB1gD '+JV sBYUwm4=Qt-LH: ?mihǔDozMw&bү[j]E\/k./5;ٹX~O)sn "FXv7KC+݆dCR2M %+4{i8'/ȇu٣Ж\iVƁ쭗t/auH wMN,|yrݾ.q: ڲ˜mutF1oJŽ9$o/D_"1[X mwv$5*ߺn*\Tإ*aFj;w tl7 td/#&Ljm$ϝA4Ż#ynhpi|k5?Fg6}kd>>lGeR2W [c1,7&P}Vywm,Q }O6Կulx<4EJ(^ao^-ȺZ"AM2]a$^( 1cH8h}R' ˂/t_@/0Њ)WW}Y']QX2@_)!?H2=^qާ6W :z=+|Nlx^ Mm,t-[FpUx^ZX vnyYeN~YO0[W~[w#RZҤ\>5hY[d9G<[ sN8-s&PMz>\hh=ꂌYZ,7mVS SH\FY?t~ y4DSxeY3hP$gq 6?t P 'Iy@z*Tr]fL!(#|52)PCEM9aגRx-Q cwy,Mj,puSjbbqۓlnphEtJVq-^F\S] EWSP%<(e1ÇK?R ;>[{3p$~R2׀njgv<6o4nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532;K1E' |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2/3['ĠvjHe^礃HՊڑ>dPJ&R笴AQ!gIk` <=h˝pz+_^Tƹ8]K2ϊġR%絯.a ?)Jp]ݵý$v8tʝm"W1 [YH' oë!Ѓlc8ɛ4'ba-biy|#0FCdW98x:ԠJqDPa\eFކ+.Μb#uCP"tn1IJ'ݾ%*LΚ\#`< <6U-]!)W>vF<)̀d63>X}xa1} nxOն#8G>zt]VǓtC|Smh,#QۿI?s4AdZ)Q9"䳒EU `oHu5d tn3}Pc)e7KlMeY|rVLn:b8kT- XmPan8\YgT=EDuZv Ivʂt n' ٝ%NdS~ [VNj?B'O߆n-IYoCgȠtC! ݺ< =QGCsߑ_lS3fF @=YL= C_ݏZY ,煲r/*wFvQt7@NS*%rAn_ۖ7P~V/ɢ52x$)j^ ]tot@4:q4ȚOcE.;.̉*eZKqa"%X$ ]QFWς*wqcB/RЭk6] 3+֯pͤaB=ҚcPfґb6Zmosߵ,I[2ţ}7d`;b>z]L 6P˘Wc7]6vngDQ4ŠLJ'('gQſ8|O&P7ᑁǬ gzXHp;XͼP }޿Mڐ6f9Wt9yU6lp&:j9*8kwJEmUj1]gTʕƖe.0I &_ R;=1NF\FhȲhhJJ7n_P<&Lc kZNSH2;tV9$~8)Y҂rQi(6UHG} mЁM1\JɮؔY#$'iIlivET+|NvzX V(#;dJ0m&\537teZ]?)k>0]6իӃٞ]lKB0kX>`׌_;dEL'/ ȥgYZPMS{p"QHdA/yXC(إ[Ud*;P< FCw >hp1˪yi-}bNBm,5C,fYZb͑čۜu{-=OIB/['m= z8Np=1ubr9UR[v-ͷ@D,5V]4μ lXmMSeud&oM&ca @g[G[Z/ *WD;b|*n+Rc/ݭ̩p+Bf&WL'#T&HgqbM+UF A'B,_|FtҰ/ԳvwU~²JZLiޖ|ë .Vc7dyTʩ)>CpH>@`}X-ƚ MPCH,KD03zlqNv!5J>Q 8=5'8]KOCv㿜EZTx9(:2 d坕LkkZX p #~5;*f3Lp`]^$إDݝ9NU`M*ACi[=s=qt,sz[G$~b/Wwɾ}FcP:uj@gL%y<פG'8AV>l&%&6& =ŗ|vV7nY]k8"Jm*zu&)TĢJ8BxDV\Mʌpj:_23S;;HLxN7:H:t%X'Z pi-ziRź9ĚIAEѢm>ws3[hatPIirPcYz/ QA~I~Щ̼x_-~ip]v(ldKxznd&U^}-A&L'6F2rr IRǸtqF8si_jHݼv}j~uZҗ _wMnNC­bn?iyk;gS+V~n>2TPrxlalNmѣ ?rx_?pxۇw@뵗!NVߏ"" Lؚ lf+d3qdIsg9odS f;ynJY>{h*uM^u9S׃2aVә7x^]Tj֍,ܐiy_WH8V`./ӫ|̜ nia^6 (?+X9}? #a(=Isx:qAmmr8s~hȁPcΦ#_'JFo6(03fM1ČINXNZZ_+DJjyY~~:$N n TTiqO`7/KY 섛*=}~OKU)MG Nc_~lZWg T"=|rտiGܯԗIEHL++d]`Ge+S7TfӾ*U&z1?wPjvN}[̄AzՙjƑ8qR|٦HDDaiY>$><+LOQPaT /K61o!_I4Mj>efC=LQ>_w]ߖMnNJ7).*(3C9~Tuiܭ`mH8M2\a>򫚶$zeU6m=ا/t^/5A0 QiR791PKS7fYT930sVt*=ՖQ)l i oC- TA]9*F8 K`Jfk&FUW'Rȑ@< ED{.23 >swdð{ҒX準))E4W\6x RbB09ZxT9^tz2Vj۸_0uMLP$rg#ѾhtǼvd, x=Ŋmm~UОWK3E@;JHȾ7 &$;Chpgi)Va[b?ym!f}+70,GA Y-ofOtLZk!"ys.#4kY= NXuV`VCWTEtVļ3yd47JjWzsii|BPOɿ;^(Y"5I?Ԍ<}[ Gqe*Q3go(VAc~Sn !EDVAR)'+IsjӬ.dI14߮q>:tQწK'˭_F_>F!*4FWz=ZYF}bl ImSA]#_Wt4|o Lek1aљmt5{)= b'{X P QMCnb 󼀼yn戔ډV5&E&TmT"@^ !!GP]ƅ{9K.^e~Z3Fzzaz'iћ;) /tM P3N "ߒN AiW8rBiD?vC )'钞G xi=x>DW_>clTyds]j3A4wy{^Ӗ1SL8AÖ%=w.֝~kHsZr|3X%/sFIsHo0$|@-%b0e5G@q+}s6Q䡀NmJvdu҂=*#x:gYZ  5 i  5bR1O# DHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! 3] !M젗OFK?aִB1gD &r6ɂi2Mh !%~Mw,oɗCl1J$1"4w3YOtg8(I8{MG#d1ǚs}cH'䨫Kʼǎy_JK+3>ԫ\70Yܫ#SXiy||OgWe>$AMbh$%C*tR|PԼR^NZW:H!ú6+Pej!S[PR %> #BrX'3W%gtq@ *nV@32x6]0KAl;V|,zRLS I=[u/RL.~VH]Yf`Y?siqwLL2benv~$}|0΁0}$3=a6vQ1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyMP1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id528O1G' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\1Y ؛GƤ23dF:H>L7l߀qwtOw7~:2$mhoH{혒]\/g>txy,$~wf(h'( cz U@v.dWᲅFnDwaIR-?8?CDXza֨Xڅ0;FsSVeH$[PhO^ I~6F9;v< KD8H k;X|mi{dm#|-|;B"ʄ7Xt18Z`ZLd}-tdv _$Y mSurp1+<ْTC^l{$nxX^9S|L{y|&&2pV! ۓsՒkAhYsfdOudw|WڀȪD KyffZГrԑ3K^u} nŠ@-(C zt~+zo; IkSͱUžQ9eCU1iњarCVA_RW9:6^sH𝓵7lai0VZmyA}"'AE=pd)-|ƀ(M,نb]pSYvG1h[zN02j `аR_apQ\fb3m!£[{FýOGOFkD!dz+Bҷrd|6'CE#n44.Qp:}v ) GU8h bǗR6dk tI%DC!_3!1v{AHHho4t%~4]\CJ+lUG^P6K}~B/2[wR!NSA",èZ';yA2g|pլ 3 J=z I E8gBO+ooq+i;]QnOWAONbfӟJb4 XpOtQmfPܮ ѝoò.ϽQhV~ٌA&&(#"3.0*-==j+Ӫ5Xгv~m}0E+/kC 4g:F]s`Eu^nEfQ(uڻ^޻ 8߼;1 ɗL} ~Ж)xݟ1k&ïׄkޡϰΒ#*9zT;ͽaX1ljP޹tPoB:aHKu+\wWR9 }\ރ#^qrE MI U/{#3!jV8눜]* ri"er#g^^oLR!v[Erɬ~ndx}wf0BZ/pfZdx;D/›75BukhsMX@ʔn6)Бz&]M/ɰ7Z ʎE<lr(S V+;l`__ҍ4YЏ=p,4x.'VNnT)C))o5S$gѨ>_NI5S =Lb]uC(3xR&gg"w*ņ4m>6#N ZA<]uamǮ vwX$_^%k>ea kp]aTȿ'|$E 9f3`V 638Kù:p^(B D~e-!OL9(]}BpT<65 *F rfdF?d 甕=eۆthmW<>FV퉊VSb"i<@gLzSˮ^w} ENM(|釐f^Ɩ>jGQp1pK/;%%F v`G~EQ[jPGݔx;Fn1Am>aY1!ʅ@4/-۠5[2\ 4ʌe&Pgz tf3&Pd&d ^'-78쯳Y#oFl6&eh?YlBkJ= Q3=ҹBr(蕼 jY9C=\d+A(!օ`!2Nx#VN:-Chh8 oELQ> if#ǿ4'2\Ɨ%{~ժD?=edrRnGmСg>7n\q LDRoAQGj4nc" 52 0g/g+_a_nr?#q!wƎB^,>N ÎA`#=>sG\΋Ǡ>K_ r"eql$8slS2 +&uvp2cxؿ7U9Pc%&qE>t>[--D'@mr?6ZT_dTY 1\mze#9Gt udf d6l3:,u1#yU| $c$R);KL<|~VFTy5NCvH/@Nbg`u R0}_7aW,2If;S퇄OS^EÓB9Z=Şoiq$n{ч.k+`l>;*s>RAٹ(eywv 1 u _KҌ"ǭR䔺"=@@NE.!–)HuT*(z;KNLs[) U>;SU(}@wcȅSYY,Rﮧ &e%Z46s.od<* MnCELأ7= ahVpOs9ca ְo6LNx-A%\lA80vΏMZm#h^gYZ8;{m0)T"^ɟw/J_F( _‚s෠`4l>zd`8[ Hhac\IFM10YD{C x}XT&7a}t/$9kROGNc,zViڒ#* Ĉ3p[7X(80{*gS=*zk[[lL嶹;yWcob>1Hzʡmܠfa"O#,OkJ2@xiʦvEw>]Bl1pJSnͅ~gP?fH`Fjx _#PƂ_3QeާΤ=ճ͐^n2daǸ XJ0Tُ/Df\%I ڈb I29OȋfDs]dz4ң9>z84 39X7qp/9=pNߞ`"i#2wHOeo|>TΑ5m,34b[`,3"Ei9cV 2B0[jڻn_ hBU1LcD\ s|S i1UJ4oͥuK0ar?P"M ]0C}@` [Es~ZiveC3mp(, ۧmLu=a-E!J7c6 8zev6Ĥ)Dzx mVex"5囗MpOOqzt ck8_.} |FUK=tVW빒!nG9Q﶑Sړ= S]qQ1p$?L8w/glV !LOk8ĺ_3&Αt޽XSO]d )>~[:jv8LSxos<'^Fp G۵nǸ-S5k&}"8-HvH;E"W9S)2Wv bA`[U? .R,;9qzwAksf?{^l0&r8-S' F~{7/ܡ? ^uPg = 7LYKfg**uv"5Q LwT䜺?p=ȅJ4hM^hkzoo_ꭺS즖m3lFʉ-B\[%*K5Lg# BnU>gZd4K16P\+PaQV%B6HŞ}9(.$;$g/6Zhw7,¡/=dBh*vJ}E)xB1 SFP^MR\3N)U&oJ́% ,qp'-6v3_ Qɱ/j`E 4i n?t݄-e`zgd_ږǭƒɰ (VF(ͱXX$m}rbE/҂*ZG.Wԙt(}zӏAjtkY |;Ydk%>46nc20PS+W9[[Z$_".:\f~ؙF鸬p ©D~`dCwOsUVC1J+hNB( h9-+V炶{'W=PįpH0g.6JH@[diEU7hШE0 4 `+YzȣIE v86pWv7$VBSځ**9ȸ"ў 'eAl yYDER~!(_xeqG|fOM]ˏw w#ZVJ"=+VW‡x$aN "2#};מ>*K{q~T=k4 C8o6VC΄ q8qAu%Ţ26̾t2g(lV5{ ?9>+0GtnxUYXh~l>cܫnmdGn04S %Dpztuڍ PN|2Ic]է믟7džk*us, hbcMvr)~eN_@l6K%$M R\f&ƒqj4t\95{ ;;|!ROÝq㑤1`(ߐ~2w?u~k.v _{dͷE:&.DXWg]ncs?>9(7Y~xP$"4~mò \Az,$ƝXZN35 a.!M:Zlcj4_+0$)KS&e*)Ve|Xe0cd, 玦*7ŕ^/gK ɒO!+?Gwo2bvvfajCz`3\OmòԬBBm5K1+W1XL,q' *hL2k&=\'U`ug&tژ+AtZt+B0 qmف2Ǐ' Ⱦ+bJ:˹ܝ.!;j&N]Jwϡg:dͤ9S|)!Ye1Pg=IO2Ojcr4y}SAW.$~srP_H.Ov ~(ȹ nд+Z>g~6u6ÊW"rcoh &B~f UH5>(eًU ,~vS;!K0O(}߿֦Iv{H4*d [P;82۰.T?2MLOpnPt{fr%X=?_hIgBVnMO.q_iVp(?1}Ɏ0'rK0z";ɽSHs]QAº9Oxb+P՛NTRˊH_0tq|U!P{zp ){GLAr6Y-`ej/^uoXv>?ddh?rʗ>vkw/rv%,:-{!Z@$歒$4zn8^tҘ vȇK?W 2tRFd3S5w\3-慬װMVe#K-ɡ!;N/7B%msDz۪]'IHMns{aENf7b& lXP{hM/Ggܥ{7]?9?{q+^l<#F3?}U-`F)u@+BݬNxr4Tz+8a?P~jj&{C~"lS`.2;F0]oasuT訇[͟""fYAjX-?kpi$H ) wOeHw6kbG\'06B~!.H#7QoY"JEt%1iNf"5d],uIҼafщO)2Ey޴ 1j 2+Nx#"t!1YHEOu1 ܱ*W)[G^_f*pnB舘y-0KI(pî#3ƼAF33jk3%U-*]LqH+S7OrSXqud_Α|P }nj FoFX&XƆr>l(/U=X1$;^h/hW m'? |t YPQ0`3[SN NA0EXsTf* 'ƀʸ#мA?~يGexG ^xPݩK?$^6<\5l]:k|p3uYV4{;I M+I @n{Uz빚lkI,4 `y701-9OL([M!KfE.<NpnN`S-_2.\ Teg\7*P6l/Tژ7ޚD%tiԱ*Czslʱʨ r&%{}c,;%k+b;D+ݜkB:PWwnɚNSsg)^ DѰ+Ⅰ=k'02`9TmNd ,n[ ͚'d!!>0lsjr64 +fp;Se?(~/9\ddN6&aJdX}AWwu"$G8[FT",6Pu3^ۣ 7x۽DoZh:uz!GLE3|?vLA +j<]5pfu֭钒0nYz Rsjxxv _ - G%YO)4܃R-㓳,dy@ ^JD7溣[kLItz,k9KPX5Knԯ1t0I$0CM2VݭK*kB`LXJU`iU(}.6nyT"_goěb~Ys2Nm;ms8fGE2 N倀&T{z2Z3"f*KTfMG3MB ,y٪\gQ8z4jvu,'\{Wȅr]Pfavz,Л":s.H|^)ǜ)3!%ޞUu b'iSABxAclGq֯B̜z'ty <!i {.UزuaT6Ү 6EǑ. s⹲C#uӆo"aL'$ l"Wq;L>I^c|Y8/sw!3y7n JyyC%鄏ʈ">MϏiWB/]6f[b?<ޯ)\Ż%LL=,.R&O'mwGbaKkרEEE0$_r=@CmiBT 7(dXd7Z2)W -|v,\a4hT&<3H|ε2.ORH(}O5jk%ˆ؁#J`t{A3>_u6e̢Ѡja0;as$1ܼg38hOT kKxtS]]oFݴb+=,6)dZ_rz uZ"7S1#"d[1Ҏs^iJC幫J7q$Tպ1/WcKW>n1 vG& c9<sLkHzڵsJvh +4'^)dFY[S8!r FBNn\ڀ~zoMۓavAI5ܿt"e|Lnq~z}`rvg$)V)U3BBl\8ە]А-:QɴF9uoF( ǒ]lr5k1q{EZ~'9Y "?'HКCK Q\盳Ѕu" (ЬLO:Nx]`O3%0ֹs7 tس}ԀU<'f|8LIǏ딺6,''^fM߼;lpm4SGՉЕ$jn@8]:P %/:`oɱ&O4[ 6{tC! <tZBJC-~b*DTIa4=C'DkH&a4_47*,hLkLDY db^Yo6 js%HHM1#<WE1. *_WPӚn딟ThR=q d:6 1I*1K,Z3IFFAy}] b9 ,UAlC:" D5A T :n{^?X^v?Ƃ?Gn%'3!͔iOQO*rͪFde !]Tu[-+rv3kjFnx':Υf"4D#$h%-Vqҍ `%L67 Īi?=n' {=730 qvvM&zDUQДRQI57&}V^X(OܳOP^ }7zT!VpԈg;j K <ֽ_H-7C= K|ӟԹC̴Z)bQ nu|k(*1h ;faڒ\OG0OݏiF2{l\yLAXa}?M2 ݯuNA2>3"Ow; hG @iNoe|d< ہG y5Ͼ53I aG7ߵFwh+*<`]̎MŃ5K 7CD J)ޯkajh )AOUb߲#?y|1901~ܴLGa'1AQouꑭC~<7BC6W\p wardZa3S c~jz;\K=H{j]ͪ6HX5_a6bClc/i)R+=k@Fa~`LU` ,jWhZɈx bK4uc>Prt9`ۛi7y*l7s_m)'RI"2FRZ/%j& :+qB*:ou1>`.Mdv$5._vhZMyH.U|\[a7IYf>nU} ҃.0&fxg͞@>`TAQNj7=_cVVXyb7к6eѥqFmP]ʳ X^AdsvmBAЛȚ _Vև6/6W!+zǷz)0/0- ?-RkH`q)L,hb*ZMiZE*~dl̡AgX[۪`,erA33(U~;ҋe͏a06SېGY@U!0ccZJUd5Zh 2 (=̗uePhC¹>fH/ /0ˋ؈1}^wrEwX^p̥ eo_"*,s@5a <OJU}JZ BڰyQh2?}0 XDsb Dm/-05AP-Yr  veȧb3\]Ż6O)wp<;eo)kfB X^ᚃB]B+#MxzؘcTb肞Xʽ2FyP}--"7umxJA8Z|᷌@?bGkksllqL@ibOk6 Ub^|/'-`5#,yFW,[Ns]ІMSyl~:.j4[A3fXa>FA\9QuLCR(Kp#3~l;\su+6Co]#\L[t"?zN=2N,tF7X6iZ^?xTӲu} 7P908Evlwݞ)/HhJ2-\E@M: P{7}<$Z{?OɁM^2,I@??rWT#nqi@^b;W[9ՋeG( J»IcAz$f4ׁQ&Bvw>s/N 8?(A;a &}^_'Q5;& $p|ZwTeXfzƙ K\*Y|R&B@(t)H԰L&+_rE9mhv(C\o'ᐚcQX` ȣͣgYZba92dbccc7810a9e77afdd1d661df8ea318ca9a7869a160751489e38d92bc488b6a9dcc699746e87 eed706cf54cafa0d15cd7db269fa6af1ae023fe6 d251b107e77d771e8e05ce3a58c64cfe958e535d