SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 e1|$< ] HOL-Corec_Examples:threads=2elapsed=312.854cpu=517.372gc=93.624factor=1.657zXZִF! ' ]ŗXf1-q恈aΕB\qS_ %caGtd_ r{ˌCfI0Ub=x@%(qgYW 7BQuP*WFHI\ć/^&AbQmW&>zOFjRSXG~#S"P䩍4K??;>L͞lij %dȁeKw:FcC8S?GpgR$w۳sŢ {'{/mp8{H !ba[8A&[=9(x ,Ng='=Eu$Kǽ$~d ]?K~fћБ:+ma-K Ep6Rd  Gwp#pZU0/,{c"1p-Լ1cG߹@8ƛ_!i(C3_=NE;a z70\t̚lMդ Y";(}%?h@f%mz2*Z g*=z D:9DQ_ȥ+) 2uŖKtFbǙSZxLh@^ebڛyC`| NRKLWw::w7>Ǵa(~mi wh%󟘺qti,e9B(]V"d= gpz^e呩Gn -(;Ŝm `m~X堹 4YL u1W0_^Iʫ6*O2yL$Q ֋>y5xgZԍ%2NlF‹15?>J{xs, dwHT4snR~JTW1&ňK昛s5t u+uSeݿə2rm9_ Y`c%}'M=\ c^B $nΊ 0czuDx x\iãCT^WDËm'* h)W|!iqiGZUY5 f6c-a9{vR_Sq[dž**X JhM m3!D:xTKH`Kxw,qi;$Zfco`(pbcPRϔ2pIPF6iZ[eJ;qt^I휬n6OIjh ;j}$p, 8VO~]&Ir÷ 3,C Ex /z+)|-_m-\]X5jo8I-ZomqJ$V VSQ *] b pw ! P.s  J6r5\#:7-ڼdܳ&^*̨r5h4-]\Kwʼ{մw7v Ŵ(LÛΛkFbXKp Cw^5v4\J /ӿ3ist_ʏ,})ڊn-o~)n[]~ |b`嚣1oɢ0ǮOO6TC[6| 恙C |.MU[m}/*ٝG>oё!ӓ01mS0$Dyq|B*(DQz {iN9lu"7M0kn\<6 ʊ[zW\~Buez=nklrs "*Njj0Si/\KbRYI$;rL gbxߦ)s +:3i 9Կglq!a!RPO!)ş<[5\C~1agYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ@ޛ r%v})'E tH_w2*=j,m#AP^Ym ؙFѧ䯇|$AݏB0o"GM -߿EH&KTgfY'S[+~.!1M,X^ uьG{Q ^:l[o(_3ne!gp4R9ƤEu9>I)iܤ/$B*ˏ>ܶ z=gYZ7zXZִF! A]ŗXi%;kp|nPw;'WU#g7Be(kJFULNdž" yRh]8|G)UJ]TyzSEN{e? l'&lo,~o}-Lc5|9>DW/]ҷ|mv EWPߟlA`l^U\biAiلlBb+&,P%쨮 i ,cK(s*3S;s^I=T|nnjOLpo+("A,ix:2 XJ&eJGd K<AypN-|<ʻvh?=#Ya&DL@1?+D,qWwg#5<7Rfj1%3fnwHxerd;P _})FZu{GSPe/*sN3b_1:zA׋. )ᇷ}< jk9uB|̐p5O~TcOfk@a^gm[[2 4k*Hm2v+D h(Y#$&e7s*B+qW(\2h'*|U-T,(|[/EDϯ;wac;D?c^aN* NPK]7Wfˆf?17=3aJզWInGb]Ūe0vk-vsF؜4&TUJ&HY4BԥQ " 5SrD_8,c%W֏Ϫp~ =2i1p.Ry@ӑX]R+9j !!"|Zp?Tlfo}w$8э%Y$Xg{0MTtvc:\a5C-jIߣѝ:QA+;+ 0ffSaY1۱hH))8&-"2dЧ,vqŨ@wrɅ@No9Af9v `mƃYt3na>E \-JVe ӡed%9*4Pb/^X|'rtf\śXkYHWw4 #kx cdזbY`/(V"\xl'p9׫.fX~q1қ9xg[!z;Jf:aPH_Rla.ͮa}1{xv,Hb+*r }胇Gę3){ ^%cK+Q?~`ZKo6d`06 .z@MD$yB v㫄Yq%?qArWQQ=XnaEz%]|r`pxzeY#IrB ?*^(Pӣ4Cz}݇/W{0s{#+k7:ŏ9+.a`6XMJ8W"CQ Qfnr3X}{CL2DzhqI1f3{e}8KfU^4 bQ>4A D2+xn8dAPӹtz@4 JIGޙ#*J6[M'ݷZf~dw-qf7 PuK&Ve~zh3 AWݖBbfKtg]D9J3Ujq"!\]PkXEĸ[E܃Hx N]5svw:Ų +d?A:LZA%飅g ӧYËE9O'hW@<\Oĝ܆YbEq4?ψ{̜ 'v2^lK(8.(_Eiwuh.4'FxHmdI2‘ 䀚գ+(0\dDw`kiw;1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument.tex A1G%HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument.tex A1G%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument.tex @1E%HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument.tex E1O%HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument.tex E1O%HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument.tex@1E%HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument.texB1I%HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument.texG1S%HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument.texD1O% HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument.tex WW&1O% LHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument.tex7zXZִF! S ]A-MՋhvG"uIBm5D g JДx;$3ܦ$a*j^Q̀ U//`X{t6Y-Xֆg*7 1PBY>m[[2 4k*Hm2v+D h(Y#$&e7s*B+qW(\2h'*|U-T,(|[/EDϯ;wac;D?c^aN* NPK]7Wfˆf?17=3aJզWInGb]Ūe0vk-vsF؜4&TUJ&HY4BԥQ " 5SrD_8,c%W֏Ϫp~ =2i1p.Ry@ӑX]R+9j !!"|Zp?Tlfo}w$8э%Y$Xg{0MTtvc:\a5C-jIߣѝ:QA+;+ 0ffSaY1۱hH))8&-"2dЧ,vqŨ@wrɅ@No9Af9v `mƃYt3na>E \-JVe ӡed%9*4Pb/^X|'rtf\śXkYHWw4 #kx cdזbY`/(V"\xl'p9׫.fX~q1қ9xg[!z;Jf:aPH_Rla.ͮa}1{xv,Hb+*r }胇Gę3){ ^%cK+Q?~`ZKo6d`06 .z@MD$yB v㫄Yq%?qArWQQ=XnaEz%]|r`pxzeY#IrB ?*^(Pӣ4Cz}݇/W{0s{#+k7:ŏ9+.a`6XMJ8W"CQ Qfnr3X}{CL2DzhqI1f3{e}8KfU^4 bQ>4A D2+xn8dAPӹtz@4 JIGޙ#*J6[M'ݷZf~dw-qf7 PuK&Ve~zh3 AWݖBbfKtg]D9J3Ujq"!\]PkXEĸ[E܃Hx N]5svw:Ų +d?A:LZA%飅g ӧYËE9O'hW@<\Oĝ܆YbEq4?ψ{̜ 'v2^lK(8.(_Eiwuh.4'FxHmdI2‘ 䀚գ+(0\dDw`kiw;@|ډnͷ}:өMҪװSMCYRͿ@[8@~bLZz>lk8yN~}5AIa.!(<C\ ozޗȃ(bk$ W_FKz(z/⫤%MV Z0:T~U! Ik[][Jܵv,qX$=sxT]YӮC*0ߒ4= z'N:gHcī:r;$Mmzi ٣Ue+f$( ׶(cFWp(h $0~1\85D{5{r6'ċ܈i IIlI /&D)%[I^5@6 A JU(3mɯ%(ڝMš Ip|Iݭ[0_6$+uJ1gpH|8tꢤ`un4i+'$C5-@vZytnv @P_4^^QcQ 9C#a񱶒hp~)8cx>l(T5[n c~Y$H"p.-61=HzDRfxF;wiͻp[LZ $[!yH[IX'w@8 }h隘L w=$HF>mnNs^=5;ռpۋҤ %&݂VONl0{3鼹 HT aD޹IQ7eOkbXvPv@ap:fo^eEb2K'5G_+@[b4Jwˊ{Ͼ acx"x+0eRU86|=뭆(X\랣1V)Kp*xAKgHdogVsD]㛾?-HP@wX I%>;&mŐ0‹~4iZIh IWȗC;|ͭڽdz N?QNB.i+RNO+ ۩2_^)g  hNhEWK9C^Gmvc2-ŵAw=(ImY6┴9K9&+Ns7 ` jo UlyIcK3,Yx-z 9OIm""A2\}w=\lܒ᤺blv2V|E8lE{xcGY?BF|b6bgʑL/44?nUhGB4G.x1@8N9;4G8S$xn"DlǑ%Xw!JS@2]CiW!|)ba=U(ù\[*|?3PLy5eK,\7*!q3:$${Þk(LNaZ\)ЫTK$nUQ:=0n=";-Gzo:ג53)?2(Q0-aL=9 hj I'9mW1"eYO~9Fr*sAf!C QW52N)Ӊyd~sA4{D1@_w ɳ1eDڛC lwpdqܺiFbB1?|%RrL>2 @#̱gYZ G1A% HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument.tex7zXZִF! Pu ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲<=Afv M4,}P\I =[˟L[(DK==7, Z e jc~scPBR@;ѷ6BZRj Й¥Q/@CaҌ"V2(}.fW}jK%}͹iQ)&B6ث#V.ޓG9Z4|"ЫF@OF\b:pK 3mzsFo,aրǦ@T]ߔ5#$`0tZ?][oqW @dȗnًͮ+MCS ><ĠW^lVa8n3i{זxOxS mB*u&Huㄙ\2FW sx"9uI96%4D\h7|gednyvL4E]^&|6OQ~Ri,&+h^iej(ܞwĹހ7p/kZ^2*+7vQ^ 0[(}@D{1"Q"%=1gЎőCNd~ b1>-tT&sX/ԡsWlrmlB/_=c}aō4]$xdZ$5|~2kzE:6R#n_Z)ȭ('Gd9=MKa < Ə~>5K7ᩘsԣdPpF-|t^0M(dby]tkDs$W΅o[S*,*^ҚW[A&j! BQ q.DzBo73tU?J<+|%<}(@8s"06"?u#,& aఴys{, mw!(WR2|UxĨyHrg & ;7yR59NMȬ> s<cx+˸DC X6oin0;hf]"bV)MkXVGĐ -ǝDo9rzoqO2p +6fU 9dl.'%ÌX &x;Srl}-Ss&5$ZӶl6,R7TLXlߺ9~H3 .Zk&A;gn }Tġ#0G+8PbLH.뗅DsS*F_il :|u<۸ "ϋqi~۰0@?n<|o,9 3݂h Cl`Th 0i|kR?A6~:7ɸƣVF0s}qʚJ' rPb?83* K9x}\D'Ff`;skYjab3'14vxXhhd5Ė4UKx:&q> =k_HR\\7s|dɊlr:(K'D^l'Ɨo,B#! ЅDz`" k)P\)1|ugYZ ww#1I% LHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument.tex7zXZִF! .]A-MՋhvG"uIBm52CEֹ$zne:mFZЉD4hZ#*OREPD-G^Cx0j] فYe_4W)cF*7#C@"z0BzAa(. lcf29$z{ZR69gE(Kc, hm̪O{q niFcuNn7UGm'"w ڧP[cJ59M&<9B,ѡb#R4Q#SZN:W0Nj&]9qMȏp멸%D|v[^)leZ{F~lV?y87IrL1a^VWRnVFHDzf#Ȇj W),⿸_) ۊ4"?/MB<2Jn7 Vd(i͙:BjyG7UEC)n%PZdUŝPoB3bά0Y$P $ٞ_! D8.Rhi֗yL}]WD);"R]54{Ob0Sޛ! xB.άL@I 6r:Ev{c6W4_~iņ1㴳9oLb,92sw k;M9,q珦ŠK7Uxfjɏ1Ė"ڒҳO8JEykNta C_Sxu"]řw t z{?iY @6O 9TͫkvGx]|/k>J㜶uuލ}畾oi8?%WRʦrS: O;Fyn{7Ҳ>:pC&]ͻRb"u˥ӯ}wҀ4ឪ.Ȥ){1Y}|8re7&w|~Z{?.DʋzX܋#9YE#4"O UE@NSn"Lz3gsk"1KrBS;者2z:6Ѣx5Gƀjc[Iٍ|>:ۿÇP>GҚhuwXzҬ1zUÀ*뉆{2Φ\6 mXrBxW'KsBgZSHpls.flw~ eڕYVuV3^<1'09^' \7gYZ`1S% 2QC3?z$zmLI!Cc?\mFF2CDo*AI[ԣځ13eeb}'݃e1oapN\' ]R& Hi=LLުmQVK!wUG-c\U-^_aWTfU8+]&#g|L!UAѼ2sKukz4Zg/;~>7ӊXAu(W6ۤ)?-yR 8Pe9FMp73OGv RFN[ɢ^w~8O+E4NC>hDA(7o$:!Ԋ"]KsPҡ~9_(4G?K*Bt['S'|{|i4oUv#vI` .sL}[\'e_^B?%| |xt9U!שj{ڈ읲dQ)BWeJ: ;-D)}q(*s2T*c΀st[|Ʃ!X Doڗor}X_GQ" N2ӱʶ E.wɳJ9,4Fz֒^ľOelLa$11<ǜk>Y>|Mo} G\ϝKfJɽrVGiF-e3[|$Cm6NFT{ 6z!K#?q=7UA֋ʥaɥhyx/+颙jҜXRw]9I8͏$eLrFppls7IV/q2.O|)O~U 󟉟(4Nl‡. \RKLz.Һ,-h5a(̗HW7VD7}2a^%PNFC JzQk϶qvn;xkɏZ^LPfP<8tCj೫'#ٝ2ۏ(g#I9OsMJm pt9Rp:It.[Ķ%?8.;|Sko:t"?:Kyp,fj7l<),oԏY{F~- ?'Eþ0mЋB]%uGnó %Cڒ:1\zZ60*5Mvf{b'txF>ٚ_:PLO2?̿c$j R;p/blywtO^:+Cg|)X'Y ^ ҋ`Ivhqҁ46rg!p}'3O.C`c%i]o%Y?chOU$.IY2"Xfl^Xе˝uPljM6:M}(B{B l.` uzi3!Yy[ L&&7-˰ɱ>PIqQ J®j(--E0S Yp߈\š|?+D1d&1 Q6_0O`80qv"wDaQI(vvgMR2:n=@/;Hu.j]f* "2d;?H,RN'`jV 8/BoYeAgYZ tt 1E% HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}R,N/ޡ(5uTɗ^tE(HhZ 3!&j*}@Pp>̊hRi)d6 53: wL\S4lOGXP5AgT ĩg'NҒ r7uM c%F aV,htg˂eAB/߀)z3hRh0="QUÄ1aid 筄E5DdOz ~' `Ϙ.G73V/q6#/c%qa#ˋu[B[-,Km:="A IZRk\19#j (7~̧^n罡.:8oێ!5l%mbBSGF[VikK?tds PUFhGʠ$XP~S=Qߜ\ƓO3Pc:՗u"}w;!Y|u9][Y &(E"ឆMOGB䀰"Wӈ/ԠWkAPHe 'U f@/ٲhbia}8^p[|]9Gn.- j<<{SE`ߺT&cO,5j`Jx,k=9 }eHНs4_ې!!γ=?c6Z5 S}(ۙëY 5+iiRs߱t0`M U50 ?}hP)|\M)\[v쪊X+v?1ЙeKx"U PQ 7r.iڑq;5&?QϯdgL9CA(1AG5?g7ׯ{yB] u 2υ3Wft^Ć"QdkIIK=CpGd/;=s@:uG$m $@q/p[mj-l0?6Sk:hg[th/LCM'1R ȿD=%AikGVZQSJ&(iC'1򊔢I䷈>p{B +.H3!;hmfƒ S$|P-XUbDՍ4=tE@hMl엄wلĀ*NǓYKN}mgWdù+5|YKB`MX>.5(ifk&ǖ xGuFM 7zܛy/*'&WU(5HMJt+-;2sVT^w"}Y~!_bǁ[WŷP{Y\{Kqc}~ǀ*ZV<_W?vyJ.bcO * M_ a+aq:;#{s,l09ku/tz;Rݻf;ȟi Aֿ:bwM5Cِ@֊U(ߍ&-0k.`m݀SEt\_x \!*ȉ#z1D؈CU臀4{RDzQH9">YyGL6v-vf㈨@}Iܹ&-%>GaGPXȻ Ere&.0TAŘ npȶl5jQ:KT[?thOm(u#'N]Gȇ>Wʥpu^ ESiS9mٌY8=É&!7Q{1ADix] `7ɳx :sOϴE:#CwqοCqCI^l uߌAYӅĸ0[*@=YxxBLmXzϦ-DJf!+H>--aЪ11˘jwlcNj>A$-a >%ѱJ^Fd2`$m-Y,,nQ^M%Bd 35KpE*\y܌DF͛ӆVnQj,)o۴mnIG9Nk:2ޅ_k1+)U$gT/8%>TpR$B9qNEi#hBhyFCLHI%Va"0VToK"z85Wt݀T}(CJa(cnfEdnU3ٶyd6o* ,wSb>?&ܞ^Nt`(i@%(>h7!u'\i^D#d4Y#GeR3*&<%^"coz[,KӋg|1Ǭ0x>\r5*>0 _kp 3)Cr` !r ޚB=^yCv7Qur̆D3>Op)2\*ƶ2hѫ3*#L+۶Rmb`^LL8/?iPH_N;w*Ta^ҾAlyC&a;+~1ĩjYT^hЙd:ƥqӫqoTJja׌!wAv×ҧgm.9%sEމ AzR[7ȟ.:ppkr!Ҿ$c=~7iB<)h΁4AT37rU,dKe1}03R)Wk񮋽 s"B7ǞƢ;1 Q;b $x|sbx3i2|-c_\>S%]C(SZѼU(Ff hOqM;?x̋dkÞXJsæ@*spjIOêYYFՀ$`:VU K>LAi% Iy?cb'OClsX ;ypeXmwam5ddMjcaV.),I{Ukg /7(熛fN:]1~U\S{A4DxD0?SF䟾ܦR.'mY&eb}潳]i ݆d8|ul -0/{GHF e%AZWzVs[da+zzd2;k&\kN.`u7`xR^F PLh{ Ԉ U3&- 6!j(BVK@!E$qsbшG"xʐh ;`/voݦ$$KkHg~8WQp;cֈWwjo48Sb W*hƱ"RtpսAYZFV$LjNQOseְա̟[*S!l8b6nϟ<~z,8yCp51u۩q6F6$KpW  R2|%tЪ17l߰SM~5.MNa exʄJ |^6R,ؘ~5Vrz"2Q_։j}!KV)Vp;l_+KfuF㠌6{ \ C>)범#mivѮ&W!(S.h;RCk{h/MpÖtcDKWNELw>(W.=_$Swb98bZY%`(gp y::M'(h #+d$p8=VƵ֮\no޴[=@9M >|Jr&F\aMQa .޴~wTWPcG OK`?5FbmH@ L<)+q~ăIRO>*ND S3ӲvaJG3WwO&oȁzXC0֜([!PsǶɨ.%F-୺83Q}<Q9 m5lK-iFz?g?!NBjpX,/.yJ5`93ɇQ|,T#fhٳF&O Z4Q9mE8#L.K_R5-:A Òp1!%^ZB!W:l$ZSg~'ڢyN !d)ISgYӟ8ӷB30?0\I\?9͓9<F k8RK8!)M{HHjӄkUdwLSHI./5up8q;4ɠ|jhZ$9І/egB !oҵGͬ6vD1/H؆~]ZNczDCG*f)b2̭+_Os`e0hK'JɰAw nW[3b"tl} xxkmM,Я}q{w5x0Wy"4A}1c ao*̺_ S+;v`LZYH*1h?pAxGmhwF;@-F}5gYZ nn 1O% HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȩBߛ0mlzbRqC @cjGQtm7~2&oYj wH,]]<_ |,B4֢&F=Ƅj%xWn tN! z$O1S7j,]^uZ<Cҙ7.P7QMMsrMLZc+1w_eATv{ÐoI4Xn/Ԓ&0xZ6ntLaw8`V U)1 :Ǫ|65FrDb;7HH4s5v4 #"v#jY޹jZP%L=MQ9 {d.L5K8bN+n$xy>0B㪪AC tnH7>7;V-s%so6sX:(ѫܶumMŠ0ad 6V]p\P˫~RвQ?d;aU? O&L5[Fߠ2F_D} E1.RF8FT!] )^ad_0衡}jJ;ʜ_TPdAq&1\RĮRMusX;FbE_0E٪)a~iQ$矯;~%hbKxh`,z򿟜Ax"vh84,eߩI-Zg{ӔK?'8VZ!rM0Yn%W/`2)Ȋk@gPڪi[ )dZT D_o/(΢9+MXcG 2q--%zC'V~~o+TXjpk~; m1qlʡxF\oDF_Kw?Hr_JF8\ =e =gYZ 1O% HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument.tex7zXZִF! J]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐ)Tce9 N_I5e} $6R-)$F@7A_̲vr+8=5Ej]D1Dr2.O~iB~v ,ܧ<) :|?Mz\m28v.Lc̛j܈4ݹuh{3}ù$t r+7X-Qn#{1ife~ù5UM/@ BdJlj@LUY:Ee^p¦"D%q.1kkEϬig _̻+Hj?:2N 59u$g9U-h8PYb8a铛2Sͩ;;zZ ?Rh(AO\ aM&xz?u3OʌGmjEWoVoD7-D6Z nXԧmrhpXʤޠNV'$I, 3݃oQNM`̳-)Mܠ94*v]Ene .K-  FKL^;Y*˟p=f* ł Y=LOq3ȱ&+x{z LjNd HuxVJ1Yi?=y wa"KpS8M}Ӵk3_ E"ܢaTB^(jnOx@uZ! Ş~4`YrM 5 [#|_tl m;->K;Xr/HjHDq)b_Ty%x_ Y m  RgYZB<}:򓹵NFb^pK1N3Ռ} Rt+2õ>ļ k1yl*IQULi@=*#~H W&aOBE8,RC|~.4=?5Kdy+,oqK",W38--.ek<%ix HF}!̍uhT|ESּR ֳA:sTjF߱,G59\ eZ?//v:Pry'RxyxJC$MީBpKN-Di6a@" Cy Jk`}j06Rp&D6}V:vL.K.Y6/SZYb}O$;xhtz詒3[4FͿ aBU8iw*woSXpd3ޒrv3a'!69 @T9Юdn uNQЬe49Ms~ 7GfETjo-\@/+9Y;ܗ;4~vEXnL ˙E^_63G,T0Pb{>raDk7y:'uēHjmΖ D3CGvB-ܙTWxVp|`'N(oW&8SN+Ĩ ;f{\j JAk}gFʨp O݈odcy_M%OSH=t{H%ͫOVTqfJ+-2C%ȂR h?⽕bZ棪ܒy YG(Kq0EBl^O:]JG)W@ei_6=%Q}T7w[/5q4`TҞ͑o:1[R'KU]͓w,(<ұb2/⛥{ASX6k rgN'}ߘwCp`9@= &:Ҹ3C=To)r_6 s;鈽L'M&ȢmfBW'M'Y̲1Xg-G{|bsIsYm-3{FG??Hu4ПWyKnDqL+KfNZrF-WnFTEtexG LykN%gFm -X~4OLscԓ۽'1-e_Ϙ)uWx)śb-*Y}߻ip?e\8ә*N!x"V_gƑo:7]Uv QGFxݥ0dh: jT|(T:*# v͟G9B2s SE'0AϨdZ;|[+Ip'<*{1~ T? Cs[)q;x29*fЇwIDÜHkw1_<Ø~J2f3D6],{_+&LrшQCT\i1OaKBJ{`⯿ CJyMoF 0xW%V;3vhUѺ&TSKpN4 J́NlRI \o!o\\_Y1ޥיPUv/4_`#m5_}9'ӳY$,j%) aK\EE6rr)Xϯ7Er|{*'!Q#ӂıBJ[{U߆ 5Ț@ cmOA nFȦKB&w݆ uQՒrDHTŊԗV6\7JBCp$cOn[+YKȨ40doW|uRw][Ѱ-F91V0nwGj*bd Wū!!&v+$[g8:[$Xgo:&I2݆qS1ŗx]Lb:DS?o/ gb$%{V=X6[Px;?&H2 yB(Շ&:ʘx&7Z)hCL6eJP û]2RD};dJHB>j˹K:h5i,JO2%QgEmm]GH;ĄD:/,FR Lkٌ!<6ǫBi`N'f%'c*&ZN| ^zQ%zRuS" Q{;hfZ`-҉4v­+UFlZb"}bUoyiCImზ?F}E560mO}Vl X9Y]|ne pڣndFm}=_RJm Q{Q(6EoX`/ɆOBQ'XZ ,{%6(L)z gYZ S SF 1G% HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument.tex7zXZִF! ]]A-MՋhvG"uIBm5d|lT cflIjx5N]$kUrt%>3)QV9p{juQd8iv2bE- !?l'JQy }׫.oA߻*⛨%3'Q\Vr7x_4#&B;@FopAodH7o ܤn8 s:4ɢ0Na/&ݳ{G.aḂG:n,hЦAɵg}Y,]5&&)YhCw`!'4n(QoI /x/=2~kSRjT,  ]$VxLf-I&/vZG _:pb Go|׼ ^#%Э,YHTʟ)7Ć9Tx{SRȺ&ks~\ ydUٱQĎWx^>䱲_#2\|#jAFXOC|?dD39Z.S O :-EC ]6\Νz4r,MJ(!GWLN6:{2_1!Y۟eA q,PhE “Uha皺D68zxLCÅޡWrn+6}::J>)Cy*Uc!˟%͕I(4čS2r-h `,|x u1> GblfwR$qI?/Q~s:^|G&zg&Nc';K9efŦqA|M+L3RqYpD^"u'%}-k-Q(<bw ǜEջ \"8sC%q_>I0 }nSLbn\KoWk,p?LV~=It9y!əmNطćA|dtń$AX%XYZ\X-k.c޲M9$b3 fGT'_ ['삸5c З"\-smPHfk5l *M[Sicou|+$ ^eQ]Gu'c;='_`te+TgB*,3XR>lLXjɉ'`ɏ?S2'{)v!n45g [1yr 5F"~7V^h"WHUВB<58]&?CUb&[162&Qmyٛ%ƈs:qR }.jkO.PʩRv -@ uqܛ[\$hpj6;y?kЍhSƯD";V_&k%OæJō_H0UĎhp-XC_]ǖ.bl:j%5=  4$ItDeEC(r2잦yc]G}y]8^v#ϥnB'R6^/1kPHɜhEz[Xv{D-AŧJ|UN%X(ƵL:O8Rn?A1i\w. XӃ| jձgYZY 1E% ʤ(f"z$ԌP @|oIS"SUz.X%P]M;n_(zɫ,냏qL]8i vms9`i#)3Cvh_U3}O846!5j&]Q:`7 [ zplĞ_ chF(fJctcg(^HpU O{T󻄻|U\m NG䯚 O3VDqMnJ !RZk3P3X c)ly|_(̊E~V-L>c.*&.l K9-6 n:[Ǟ2l'heFdtJaXfU*#^U .ꂩfFxqcO)l֙"hSCq":x0>YJJvWŅ ~UՆeg5s0]Ube;}C&LKMp,O;$ٜI۷mФla`xSw1/}=S wEF+yyەI xx^{{Enf rEBc ]@'D* 9^+g':(,AмS6M<* 'e<8u詄DCPx@sGt jf+zE+\&ķ-Sd{[!#k6yapt-ۛݚ ˣtX wM'-x[/m/,#:ȃYEhKKzRqSuoB5kd j1 gVq+ [\+\܏8}1u%psގZ귬oO˩!qL印ipS';eF */e'+ ɚi} GO ,3fke)EjX/{T{1HV8}؊;}]i;4{;  +v1A% 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce5_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<gU@r+`(YD,Z?Dc^3$NѕF7Ͼo 0lHmIpk\أ'j 쳒#V7(5] ^PU:"|!\,1i*2 MMSE# $O|K>{* @\Uf3CzҮ;rN!]͛[i؅8۷9!<%Xu`ZF!;(L_.Ϭ+םY 8LK?@EV>w"bz羿Dn}7Fk%' 8 Q9Bv?V\dYmiA4NWÑDy,DA0=q}e:F4yjAZ|T=EQ!kgYZ2 1O% dHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument.tex7zXZִF! "o)]A-MՋhvG"uIBm5('LgcѸlkUF< (XD"e*-i$ 㐐Z-SAV= o"a#e_rE=ɱ <^ -: ~,~| 2G]4i(g_N0{oUv0轱՞; I}g-vE\Tއw:z:5=+L<$ðU8|W¦C|S"#6H,UĐMx'Qs#^͟®ϟj(?%`11?ɀH gR`@̍̑ycV)kΜ9 =B1~<)M M9s] ̵eE ߜX0LQ~)/)hh BaKhMt.YxlWTF%dk8qx R¼"gYZ  W1A% Ȯigkc%ЕK"tL=@d.鱹Ƕt!Bl?CciТ!*ѷ3?(S$tq+rɡm1'k-E ߭GM]ڥ@px P9mK(;ij ,\v3a[>-h1iҡ7Y4~ghF9>]/!$[/WU̾Vr)C,;ul=} r>0֏ kRS!jC N!BIaICZ/l\ Sގ7ۖcѳ @Ozw^iLn(WgYZc1A% THOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<NpgYZix`U*$S SWd̗I4"8ܝf/˜kQ hCQѨfMo{{X);.{ ':4FK8T % #<O%H~]nX[Jca[?kml5O1 =\ƳXi{~S>k) 0c;dX|G,o #dި/)+mHΘP'K.lt /6]hH4e(}W,{ ʹ9O3էcmFv${7Ǭ{p]֙^*R8mÖEa Ƨ.QM@0bArkl]a/h~}f΂.iI喙}Ae+wm OS4vd kVqSF[+$=|I+h%=D{?MN %bӕ5P/PfSYʈ<`O'JPA .8kDFZ!< dhmb9`A{7ŋY)KSB(sT6B'#{!w(#IA_mm/NMSBjB}|"&$s:PRh\OVd \0HBH-% 0usr5K| C K*m+rC%d 3  #ԔٸReue= cې ߞ\U ڛ>aExD8mm$_G~#+qa/i'Dx6խnv:8{ Am=)'ч|L$p[N@v"F7Рk|O!Tz}QR61bmx]"c!ڪE@lX_thԶx5g( #j2%f \C cvrVc?X/%V5Q1Kso~*U)jv%֜'XUƦ1{\;tat~-- #D* ! {-Y$)f>ڎ5E8Yp^DGp1xSmǦ||lA9LP`j2o+0Ad9[8…GW<l4()'%da#>< ߌ;WdCU0A$f@c=O{ :iI4tLm$l JξL}8!x@]Y镬(Uس>mN5>P[d )Ncݨ6GX 2ܽe83pF= % gv Su,u)/X':2R=I['Uћv.WWYlD+M,2ŵ978/kEEkM1P|85MnvZe֙Qׅnlq&W[!1,ɨ`r5]Fb%Oe(tzƐ v['p+A:.9[qsD7/p)6*~eZ*V/| ͪq9WeV7Q3*\z- ó:L| cEJ7zaYoZ#R0|g.П{`18ǫ7cYyCL,Mx͑T\f6ύhV x,ycsW,u.si=ً9J2'?&b1Z7&Y=`/ɉ:A#/zy)mY&S[6FCbJHd 6[2L7Z;mP'Uw5}8)t}T;ޏk+bWA.0 Yra*'킩iiSc&J"Qn{nOx,2i~3Z54d 6`[gVRvVBfD욑6cib $OMJOϰ3DDD괷ulb[HJ3 XAŃ˱q])%8 "3BԬ$\1^1Zv{lCL3\ma|Ax{ <Bxh^pbVx͔߫z&a GUOBѾKʂUoLzfj"/$ot?Պ`/6 Nsx"s,OaPIݧK5e[ȁj|ۊ%!m:V)dSmZy` rj,^a[PLa a$LW,! Peyl2 %gWycʝEH&hVjIs s&ՊbOġՋ]dU=9)vbKX1)Eu<@;5 Qu1М5Hjqkzq.8$isf1FMؖgٛӜsfrHۡ$F6~>)kkR>ŋ3"c?K!qœh$.$W):M\r!FeD~4|ʖZ\XYv.*%dڸ mRS,WYGUO|e B'Eه/`a𤴄Q`~3(k=Os8r(K7ba4X0fվQU_G渊ཛl~H.Tt2y{~2uXu&+2<F%8s`qolPs |*H)櫢0lq_*?֋eiM4ՋE֩MgO"G7 )=pbrrcp %fa-A8+\cکmC`lK?GyYBVhvBH؋ZhbKIy툻G9**\1sn; v쏏m9FMIn L\!X=P/ hc"2=jF`1LEm${=g?yW˹ 4O9rBƙԛ[~I.uU,]w{צpV'D[Mc E\q[H~ㄣLE}SW3ͮ<*'"kcYg-#BU^9deNt8Q3Yھ杖hhD;g9;[h3aOw 8erHWh]}=2xFV"XS!V'XuVzy!2 S()bz(s}c%4A/ \߬j+(N^$/Kz=v*:dF.sxo{v5$";:,l+Ae /VQ!bo>L7.Wo+ƆIepL.v sZ ƒ_mm+ky #jR<[Ɔr' Gm|w,Gtt{<#2le)B9lp2y\+M /;F٬[ S6Asם~iQo[aG;:DWRWߡARnaJxp*U(<$$`]rjhBhh"8Ŵ {4U\^ uLyF1O+͋rAMhh&%alv6?1} q}e4d*L"J/]D4$ox>@f6hlj~g6&r ݚʥS^m+Gv,~z.gL dCRpxx|>++>0E˰wygL?|?OtHdU[fU0,2Omlʕlz+a@əTMeib]>Sаa'T61<$eNر/ȉy_CMP- 0/X"7́ze߹<pb-^\6chj)g)qX6¡֮#_|Rq\TpfČiI8>lMs8B5Skz,wT)|0RvZ#(p¹*`>JV?d/iC(E^R╸_iKAh+Z>T)es >pS/Bѕvz1EIH ZC!ln/nHo;G":lJg؏ U4Ԋ!.fr.15DϭJc+BϪwcHd\P1/dsmm`Ý%A GsGkdT쾞}90̴tl?Y]+{V)X"OpZʗZfK{mX#AVnJot?:o_ |:)y=˥Z_%7)>Đ$](Y2OOS׎wSWHq<:fBWްa(jf-{v֧-Cb $,y,+ps.=>rԈ  ?ʻX*k ;cdMk{I+ҽmΤ pٷ2:2eE 5C~o fFpb$ J }0>Kn*Ոxa[(%٤68`_ع%xj15NM1}ʰUqZX -Uw{_LВޕOa [*Nϸfwﯮ#A[KwZ<-Pt%3TyvG$=8n+Ar^#z#"GEq<]>=*+K w?F/NHh^! =M}џ Q8~tTLcƘ?q ^ ٱmgXK}-XTǀMĴc \eMXu%roW(B"#. Z(1>k IU̽HGn)ׄ!KH}̻*<4`n/㕻yӇG`/J4/g|gLtScN7p+Xh96E0 %WMє="M "!Xs]!K 'LIЁ4GEGIs5_i οܒZHyߗAx`:Rc.ZMym2ޔ|^Sppځ|veZTËzEcOMU,?;&&rDL-szRzo9G5/PZ=щ%|.ݭ<)R#  #|Rjlā`Ԙ@ MIXlʻƱP xf!fmUT|ż~gpwcV$ p-^t XX#:`8u۸`2z0lҲ@@ "älf+?2Xk/k 0^HVMCiӑl45X'bS>^l#OoqTP+ƻcsă#e(rv%Z;* \_o'kJ3(=8GG_Qm0aL8v2[mLJVIh9ɂ%IA'raQM=qBP콼}m,/&N5ꁴ`5.4':[E+拣koO[soDeӧ<,ôK&[뵯}-}iÞMoC ]ʈHr'X%5sPxD!Sg):Bbޯ$^3`Kli`$Ėmtl"6t*"l{o/4w,Ւf7+q'|\1 #VנOlU v-^gɪ]&1!3f+B P~.kLc۪u#xkxiroڂV-NJ9)WpYϦÈwRC7ٺP,eCLolTи~mӢYRE5H?\q#olܿPsHoӍ}C\33"坏dO}P= !'8m\Zh eSf<\CbI -_Pj0Fje.SjQOQ86 b5{,zn?o8"ʏOwQ9x9蜫WYF]R!TUwyIlOD2+V;tPպWyサxʹ|uO~1LPV8ԈV iUdTѺBC5;6^D%طdDg=E3([AnA79fN17[DYX;ԹLÝKDK #HB7!yw~\rغg\^R.Hڱܟ`0ޮp]0 wD˒ofYoj6G_}l `8F__r9R^ǂ+ja"?"{ 4\09d2v E6;vƄ/^6N)K^it%J2D~pVɇl7]$fȏJp…bAK$wiܓUHs"#%ƢAIx?'Q9x&ʜee&\?t!4攺Xqd=Z;sTYH 9ċ̘ɦK|TdMoEl&wb>ќy^(#StzM{u vtRFG?j$ܮe)Z[NODlK<{v$f>Mz渓݅"nDVP/-6P@ktvkxrQߪ9"("xj~ [1Ѭ `D0䕞7(H+!ɨVë!8ӏHZ(lpaP8R[͆^gȺll->0ŐSSEu7MzQO|ZS 0򹀄2|睙 򌼻D&gG'1CSX_Vp]Zo!D+e,뽆 H0K9y;0~s{xS|X+ +T@hDl%ٟdYmI (88,ͱ ]*b]A}HԵXU*0_=fS˰l9e0:&@ `[MNd$P:!8h;&w zB84 cBZG5nI z!j,H/ A1`VQ67jIHE@B;&Nfee3e'K =zϦ*dfnn hɃvu`ɫ F{֭?[#8hhy3e$ɦ|,/67V*;Xz%bJF(m (6` Kd362TbTWE52kU=hU(|U(}~k+K<6Ƃ'xPaw sC f|k )V&hau=7i8kj=b|GTsyHy.lB cD#}Pxn8!{{t"^<'`Y;eNE)jiGp}J~Y'755D E(Sio>KRzՏE`G`[FߤGߵ 􋨮^p {6EC+FASRJ,!\8+)6C&qK)@媟.!/]ܛs`q'~q˷2B}<X*x|ܮAgl)$9Y32E]JQ`3WUj).)PBym&/Y^բG7He%0H` PY?\4ZQk0c6{4,Tu(h Tazg~Sn=! 8B(:Y)p%0\?&xf6wجҀh\{o!1h%㡫 =71WbCXs:eBR᭴Yn7?3WӒ9+a`T_hmJipzt%#t[R*+7f ]n#iU2"Y24^T.Ǵ9 z既y&i nhD rHpAX1o 䞺 \"ڨ/ 4jd~_t%f\QwO4n =>gU[˄j峿bf(~hRfV"QK`>_๑>QcYwѠ f8@Dh{ 2mkneuNMDWQ5be/j,-%ڟ`[!ũц}JلX*20{*&C M[WSD6Dd7N4}V,Ƅ x㋝i˴L`uKɞbG&Z?JNH/edXXL" CK k_ˡ&wSFV2rHRɃҿ9N\ NYIW{g!dNʁ sʜ3mP6 IC݇ u7[-dƠ =|0 Kb%&rٸ8 Gbl{ORy=]!?.@¨k}5t "_o!&rs!l߀ʁݩXa{&Үe9R h5Z}\wiRE59}Y2'* c5(YoC6 O" }d[4a>@J(:v)+-sV-]!x>a R|L*iXv"4$G[6=-e7.jXT˧#sܨ4{=z@ +N ^%ИKbu5eX[.i/x?I{Zs"`zIHmyr\uWt9zL ;l0*+v3:^ 9q4 Tnԩ8Rt5 cêKE?&U_j)odH3i2 gqr"̔a((ЮLP`ѿõފneWQM\Hb\gAW,Rx -#BO:~ `1${.+>XLa|@ꚦEۏK |p_@{`{k]!B0|*;lMQ7|P%W{KM5†8eh^t =Ԕ2Q4@PDa*uܐl/4/oBd?N!L] T-1߹q^kHjӽ;~0$o_f>-vAQ[kZC)CӲJ2# 3~Z[ ƺXh軅AFhs'C/f)bZv'-"3>=RhbT _"gTtrt<xcq]TiEKi5~G.IΧVҨ2YqSj 2=dUGyUӗolG]Dzf'}kނN٤{s2u(ctJ k Qkem>K#mSIkL!Fyn&k+-g n\R> C#t hd $`=YY^JOol}qg]Boq3}`GM£l>{9?fRzR ܙTWavX);o;~+~IT?qnj:nX},ߖǍ0'!As3в=o3<9mCWH-茄*\$ &aL@Y(a<` U%Pj1Nz|ퟟ{f3t k>+s~3@KEOƦO7B' e^wU{C<ZX!lu&nJʃ*sB %AH8I`W$tEыD ,$wY.# bĶ^c.{1oy1@CEN_3LnB(_ g}}L"HB[[gYO"L(_ `d+WOmω8 ulO˨!P)٢oLE:[4ҍg~XT~vX*7xQekƼZ&VG7Qq}Lw7e][~U&X>_=A |IoodOlb&SΒ# ̜9Ulr9okvC J4<@68?Spu߆̌k `_'Ya}JE舛}Ly`CkzvXd]uKxȎ }e>r.[WL=l$IsЖNVN{v $K #4zC)4&'35-u'SRF<`%A<#x$da8O~.Bq Yv#uCP3"2h-vx_2*-z>J"5E;P/l  O~ˌ|6Q tv Iϸ5]ݥL#,%M%{7#Iù1(P)"5Hat'ʵk!:SdZmׁWY'1%D^wHfc"FCmUcrτR+8~ۙzʷr͍T@Ѫ/ Sf=tda 3cbGSGrO-﫫t,P$R> 8}ѹ.l[,}B"8^3`hp, 5 9`1Ts2뤗J[9ɓA&.)V/q}UNPo,a /=W L,uѪwޗ$l,bvJ-R%Pf/ ̡<w&o~Ԯ~0J5ank%ּ5^8D.(5A#EEM,gDQ׺'"&o/fϷJe5H,sQD-ZGL{ TR4n#5j2!*)H`|*e5>;m'[B[*x;{Y=.4:6ls`ZM)s=HV >t1]|:ٚr/i7o =r_.r}QKh'j(yb?|^v8!M6I3`N29HEhFs{3.1_RQN]\|$1G•?vu @~l*bʞym"9Bif 0Fq]X=Q:ަW5-PEh|)ù`LL{7+РkA:_UǴjLڏ҂ 1N=0kkυXօlW!{чW` ۫$Le7}s'OR(iظ&ے6S\Y.vKc}veRmtx,\$lh %L7$nJ&Zcȑ;N> =!tkhְBQ衰v%oU_> _kQf\9$ #@USh/H{v2+/pHq{Iuh7S.[|#30~ _ ;E*J<%K5.tN_Zr÷B|{ yDOyHCSkvQp&m[ 3ݯfcpqcډoq|gYZ5797e49316109c509f43fadf6be6f0e5debcfccdfa72548ea64381a3258466aa0d212c84096a68ec 8d1621b83c6b83f04a9457e06e858acde63b0083 e7b90aac54efecfd846c225ab91f6f0be296cabe