SQLite format 3@  .;  B --?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 e5t,4 ]/]Automatic_Refinement:threads=4elapsed=32.484cpu=96.560gc=3.9007zXZִF! A]ŗXiɟ{HV]}v9:8+ )%,Z] 0:ѕҜ^O3 kw ZtwNcC_:r-B*vg)hZSj9s6;;* ocϧN͌ AT򒠜_)Hѱʮ!s'U%_M[Ir6fT?(DxR! QI +ƺEU&9{UH'g0hj3b):$ %2=YpAIDҝyDZeVF"=V4:.;??y0#Lj-cS@pU[V [9ݷ$%OdӪC3MQ<)ؑ-#h V7!s?xc뼷sI26`9,S X&"5% ;˦$otMU7ax uQfǔON!@GTYq6tH&ap!e9lԏl>e MDr]0j<DL۹_2[g6~+PAv~d3meOXr ѡ3W){Q h mk5zPۡ)D)栏G,)I+ZDR[W^e'fN d0;uBNBc/6fC-vpTV=xnhF\iz3D4 .ONRVb`/-\;DCHنհh46gw\̋"L@.j^*WZ%\֠Gs8|떈U8F_g ă'+Z|9[0ur-,\#n" U-ObC^=aIn^y4K]ܦcO{- Yyw0ʖ=gbaN&b0+=h'88Zbi՚VG%.)*kB"PUn}*jǤ,Pp\&EI`ᖫ-k<~ߕ>N9H]Y~bDV%EB)qܱUj<$OEO(rcI|ޥO^줅><6zs P*7E-&yӶ(GԞ&UlZv>pڽSSjA 5˭ ݾi&Ӭ]2*5[ qUSx;h^[ 4,.n4WRtg OE4ۂH m$kw tubt{B8Z *$.+]!aJ,zV"Z d='Lg|/e}cH3g<9eO]RQMI JFgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږY$j_q[bKhK݌wH0lx#j kFXub8ݞ/vy. __ԄۆӔ;PɪM2/TngMbu::zHЊ~*CDd/'N≈wsi7 oA܏ÂU T4f>њ{if 3Evd*c20w!k ÑJPpAU{n\ejf39FhOJg #Tf8eNUb[hHgXbb4 C ʤ:};N!ò23MF~Y6. ]MSMֆUhâiH$'k{*Kn92oȩ/fjbz/aRҩA qs^Ə> :C,wϚ'7-8d,(:L8v% oˀ,(={lɑ\E8&KEI”o:Od])&ÁQa~\n}^<l "Ϩ ZP@Q>x5⛰*U@gYZ7zXZִF! F?]ŗXi%D1 4[#d4E2Torj$OMiɼPH-9l,5< #B%aNc8,gTjr֚vP\7x1+v]44i6?7.4{|e|Dzӕ8 n?` c 4j{Xr{ߗ].DUaa^k+L\{&'8,o86d +MCyŠ5iR?)TA~NԹ/ox|քM39_bHHߦ7r] {wn0MK aYC ygbQ-Eg&c*WSeGn=v,milo3=Po$k2Щ:R6oLblT S|y9Η>ڝmtxm奉rC&mL'u2P3eg4m%~Ǘ dkh'T:ɫأ~N=)jV/4' YC.QX߶ |ǔ` ťeD}ڞ BEgPUn 5 Automatic_Refinement_ 5I% 䔧φ"R edk@=i::7x7<~82w(-բãyr"I~ښliP<3)-".fuBV'~[0wς̣YTML\yLYMxG' .r #*<(,OW׬'ekZօ_|DͥkSCGR74sN+vܶbiFr!F.+(BC#`ݼ%o0q@vلneG<LH ^߮h'QQT1cJO}Xֱ%TsFy(y D)lbz;JKJa)o|[TAfzBSVS'"N^_r ʪy4qK^Y%BF !,eܻ=͟v74|EV~+Jng](EgxJqou8J¯ޡŬf8&҃>t9OD* `WĐɨ r\x乱׳uޱEa JFr!FRVmxfe"8֧UoKGK:v\Qr42/ v;-''>gb.5Q% 4Automatic_RefinementAutomatic_Refinement.Parametricitydocument.tex7zXZִF! "]A-MՋhvG"uIBm5D" sͮ^mcD֘ۦ63[O4C`:|ks88TB%"g;Z>g G5$K+*w 25KI_DDw]w?;vygYZv5Q% dAutomatic_RefinementAutomatic_Refinement.Param_Chapterdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5D" GXxO>䏝bդN9䱏sK 8SܒXRS*K?q`،~ȻN;~eN1/{G\fB: TX4BFszBv̪xV/1sIN&%P6)KK'D9y4RDQmtPY[<kggYZg5K% LAutomatic_RefinementAutomatic_Refinement.Param_Tooldocument.tex7zXZִF! >`]A-MՋhvG"uIBm5D" GXxO>䢱0Z96Ǔ:7 rj/cK;Lm4:I?ZwֹCI/L4&Ak1].Y1;>9C{#bTwވo覈FWͮz5z}n91iHup.e_gK^8ke:}tyZ}I:bWIyG(ct^:fR?%A5Nsy$ Lt?9jMPz3"[+mfYem[J1svG"+$t~*Ӊڄ>q\v+n¸_"S_ߌG]t}$X3ɸ}}Z?l'*(x1-w{?$4fF# @g@lZ *QuΥ|); l~-j_8Ngy4, wh:mˎ,ڎ%R/i j "ރ[t'?:fb5-FdE  \"ݩp2>w%!0 ׌?I.ldzX FQʗSc/W1HDe$^$RϬh}; Ȩ<1XgGgYB33~ajsU ]/p3쉠BV}8<ΐz ݀Yd(j&e'QAۮI=h\ƣIRRmpӅ|&ECߧ9e,e8u?7 L$   m mU r)O5_%Automatic_RefinementAutomatic_Refinement.Autoref_Bindings_HOLdocument.tex G5O%Automatic_RefinementAutomatic_Refinement.Autoref_Tooldocument.texO5_%Automatic_RefinementAutomatic_Refinement.Automatic_Refinementdocument.texJ5U%Automatic_RefinementAutomatic_Refinement.Autoref_Chapterdocument.texC5G%Automatic_RefinementAutomatic_Refinement.Relatorsdocument.texD5I%Automatic_RefinementAutomatic_Refinement.Param_HOLdocument.texH5Q%Automatic_RefinementAutomatic_Refinement.Parametricitydocument.texH5Q%Automatic_RefinementAutomatic_Refinement.Param_Chapterdocument.texD5K% Automatic_RefinementAutomatic_Refinement.Param_Tooldocument.tex IR7P;?LɚSҏoC649 pÒ/Do,+O^ykTSC+n8,1R/i`]'J_Ⴆʍij(Lj|% Qj/?.wta 9c1xTW8-ԟq{AZ&8f.=ƶ0WPe`JFO'x5bH)a`B.JRI>y`+1( ȷdM 8S b4QnBeym8( 41k)\4ئqc{UK?g}[>Fdu[MԍG G̀0suqL\<DjHj(e֢m;Pz)Fb벊ƿ YN{]O)enri%eq,` h*ǐ;P2%E%W]c̍ ؞tN쾦V+ʷ]*xߠ3TS@,SpZkA<ӌRrN`(H}>2>[d)G[~76LeQHDJ'X;h :Aǫʒ1mk>S؏E%EG<FK6-egQp#&f& ]8 9>.'gr JlzhK37ߢ! e U)Xl k:Nl*@2K[QW82ģ`t|>刌lBo YmlĬA,xdp) l\ԵIoRzz%$1UP5_SOIŞ[G=vZx!AC&owѺuV|_Q G%PsǭM!7Ͱ.E`huj z7ap}Bhb:aqA~괝u2@GrqY ʨdô8:UtRF[5I3Uϖ,|, {ŒcQù(#o8n3xM[_#rZc|M 7v; Wۮb>'?.Jw:ESw[<ПHLa®W$ze*Mc9>I}Y1`qW`bVҙ1Y Ny`_7-/5T_Kk#7dSt7xojE3I8ߥY]I3@8۶WI [&rSKhƄOG й 6tn[F9\doBFϟEWp ug|gzd &:I˓e=bv D{-Eyv$7dA#/4JosJL3@qf1Cs@`7οS^ d5j½=%'Э1+WH+y1J]۟Yz̆Emd"\Y\8D`F3h$Kfܑmktk7wp 濋vJo٫K5ⶑ-7Rn<{+3>-SNCe!'ч܌JU\;X F]H6R*_=1ގ=V5yDL-.56ȼK0%tdGKػVdco!}A*~j-$鵁d@iP5QL='&R]Ωr#㼲r,@(D 2]5hMdN`&(s(INuar߼:ș~s6e[ȬxՊxz#*tԗ[/ g?0+F9N\1d9tbͅ8#E"jVEЌ8,d!WER@k -zOHH:OD)rS^]h(pHe߀8K4Kƹr[ dټE| L~M[QzV" =l\9))mv 4f٘ozA`T{-O1Cy٩;CB坝9AT%6jM;KxDBs| #GzO'[jqyT+dych" }bidE'$~V8ޒvoI[Б'CH{. f.SNGD =9q;"2DkWܭ&k9ҙOHVջWs0=P\k?X<m61"\&Jl2&r7#sE͙[h[F5W< 08  &{k}{ o[}^-nFK\H; :5Q1u" e(dKF8[ s?ū4hr:)| :{kSiZFӨ[ev>7gy<:=U,`?+O2;QsSL1p>uX yh~M } Cg%@9mLon݌sRn9uJ=<\s6WlzYDNf2cKWx{b_)T&xvZQtR4daśsv$x {?pS&0 K{1$3 \1bTsNA y MǪ$K1*$uWT1*$ il2i*=֊#*WHq[+ֻ؟R[s\g‹8:ݩ* |pP9\ՍjHzNa1s|qq{Z8qLk\D?}‹_T/AKCGHq؜' ͔5v(޾L9CHZ4N{T浮Pq݅4pњqx&%SgPK^V]EŖ+=<Ěʢ˓^roscawe0RȪN /!MDA I(:#]Ųϻ[#85*RR;>#r"Գb-$,D—9W"#!=&Gl]qe%)eEdmkKjXJ«µp_E'3ZDxL2pR ?n CT'qGc8w>u1e8٧P8o&*'z Fn8)d16)jů%%JM.X:0~X֪Xx p@'HTJ[{-9 BVݢWdp/ar!ś@XE=amYQR xGՇqNlly;fiXIF&[\pq %eJCf-ã-$YǖQ!=53;{֤`~Н쁀隒~)̌b`p C+4PX 1HK B i'Ae@3RH[gtv$O2QX{[/"1$W5,Nر;08nf5)r޷J%UY!itOzY60h!@]7mJ;(xfhLX'S Ƞ`g31@0뛓ORuU)̮R]K/zפȪ=(8)F'6_sojsuKH?+0Hfx,Dd YzRF8 5wz?U Yda FecՀ9Fx(۷LNZXV3dA-+3H!)ymk \|L'Cdm4H/.dedk$m:NM$iY*W@Q?9}U)5.۸Clӽ課ɽoc!Zq#PcOmKbb4Ե TébʚJx!$Bn_a`;S`Y(D}O?5_.)[bB>VOJJ|*B'm nJq;fZN ,pA%b*Wy rWl&R QDצb`ʟwYxtܳd@"0!(0ͺ<(eU*M-I:Hv:[S:)/Wf@<̤O9!זosAwHM*S8ӛ@njc#ymWmẋ[EQ1nMT{@>]sE!Þ}!,ܥԁasT˾8- ,MD ;|UN?5\Ý(mtV0"%k&ऴ)T~. 1,;]|M佡 t<]="LӳWۋsY}hz@s]$$7@Ab0v,{-jk\0L2[׃VFUS$pk >Ӟ3]Q<˫NCten^WL 2\o sv0fs6ޖ ,2[b;hit.ϿmĂD&ywЛ.+6 _ zJM$e_*_]A-qCItȠ]J~Tٻx3FK.OF(J*_~lȏw אwؒG'z0D)ֺ}FYYuQ5Q.lS [SC Hc4 9Kvqx6p=+<F4j¥?0&yi4ћv $,C|IYO?\:4sT.cB*2}/" mwhL97AY4Mwۗno"tU!Pj#a)7 ixGck`S*ȄWp* Ŀع;詴6K_ȝZu,UtJtkheUAE^$ dT;thޚv?~RLJ1YL:ҬnT_X{ nXZ7x'_Nܠ3fNU}1Ǻav.OcN7b`7$ldk 0 +4ԭUb:\@zK1n,Yf9kVJ. CC?jjвn7/\K%BAզ0͘=͑7PG(.zCw ޖjE^ﯭdC*ed8}xtBrb60JoeXI[ÎV&\6k^)?!u%<-Y&Fayg6zZbՔ\\P%,k'UjQ+<)gZC?t@Lե{O ﰄ1-+E"GIb~X!q~nuzXӖcu7wW]4a,N>JZP ^ g X%>rTqd2lrQ;oމHk`lOVBǴCHvȥ|9%\r]Zk8U?չx߇()2dlB:o,0fg:`i!J0?qɍ2VSC`~8żoKځ0.(Q0ABxJd 77\SrI ta0gZ%fs.Em5EKAjTc;Y݊f@mTIjN|$ͤA%@q~K!E4fd<(R[IB2 EAJٷi._'+ k}ӣq!a{Ǩy@sR (o-kb2KK?­ i'/j&pʍqG\ 0[$A]G[7a JIcދWwԵ c,0 DV Fj]Wj"X]&sQΤc4.u@ ߊZ(=2X) VovN@ЗM[nY ܶlڂc? OKVtӕ[{*V}:s<|?s@S{%S2V4Y݈)T̏gN텧rRrur5TIQd'nsDǀc2H4PV?E+7M?E2wzݚ:}36>0D0KD>“v}J ȗ'Ҩ3PK-iks`ÙuSI%r?mLNu28l} ܽ|9Tx 08SdU#\Jʕp#6/p\'&䡠Cy\~3/y[wd`kΎ0ƙMwe[2y/%ƯXy67K46=|^7:oBux)T#uD2υ1>sMxvsZ;Kȵ>e3f^s!Z/pP7H`@8p_SKV)imAŅ4T_1K+?]rE<}i ,N~פ%崧2{ʢ}>w} S$ ϧؙ}/bB*mMTgGISss]=c2KU_=k.d U-غ\rv6T8 OOcSiH)-v{5}\@\ \Zh]KJ ~-B0 ?4#E+,0UkQ'ua9ʀl5n-RJU(ka1?Oi~9c 2Mm/ӣ:}mVnZk*֓[]b'Au(2'P\bֆWH0لAޞ1rMfx#ϥc}On b|:x4USodA-HG`1JB\ 2lӦ|k}gcݦmY$kPņʏڠϓ94'c촋ˊ^Rqxko"E:"a8I4mspX*ǰ-6L[kwR0~: Iʶ?0D鴥ea%2xh5„AkZ-B *d>Ç@,رEX-@veZX0v OrĮWĎ9}hٳ*~3SmBy> T}W&"wDJp31߼V vt(|=S@=܎>_37rD!|8Z.}k/{اG3>R00a skUvPj6<_`p{v -g&[ Dm9bśgg8dl05aq[н9o9Ud}yAr*!=Y (&9kn>}_'V:VBN8V`χfc۰f\^iˢ/3[;hF24$2ʆ4;^ewcyxmxC%gWXҝ.iv`н"g)VAA/T NLO0l1:C +D9(M&?(Wld~6/eY 'UpbcܡXhD±)M a/^-?n;Lg%BHH*H#|;3j;V[ 0O;K(+  ;0r_-xE?D0[ 4A;$VoLe߾Jlr>J!-g21fdB$WS‡n bݞB_` Wy" : k;CqY•j@L,%BIz IH`%E*d+#D{XB)F| ӝf9^j,ֱ[poRa Xl}1[sl/D^O$^ R${|ětkFQ.+m٫YxiovKvj-F#[#gh1\1#u"ϑ3%v}^~91MCwGo28j3k"N]RF+wWgYZ Zx\RaHBm!7Qfhȱ{xb$: 0q,1}kn4/rpD(-Z 821ʲV4MvpLGjl;s$ˣ)Q:5CdN[N,[;0SP sɴ4zzs,Bx]:4E1]|%%~뿾PvlT0:CҮ+-q7G]/{L# nhk2T}5S)e0L՛>h(1R>Vba,8A1B~N 4-~4;W;[:A1Uaj Nɶ9F2%~ Vm@@\TNƷN9J~S d=iwSP:y= USb &X%I/G2{BFTQbQS V>hqUuv*r* }N+qiE/թ.@b#tXo7|̯DUHbaJtN%>Di=V%.Ro.DM b^Qk+b*EjkCuTX.˅$ckpg}Rp'<ޘMJ$k9"np .bSP J!!."F" FˮԬUι@|B:-0c sY@ŎIRZoq[|0h#i9Q*@B; /QQr6+$, d^Y [lP/:\/9bPe݀-K/ƌkɾ\*oS8MAWi+ sMoF@?n6C19_@dUS(]Q%X䂔B#>/ Cݾgd7T1h"I%*\^MbWzJuYMmvu|x};z DYrT\}9r怔$##4]&HlJЕ tI)DdyIĿFw'v&Z/ R;Ί̶N𸅨j7!&$h-Wt7_ !ops8M7\thz+37a3 wT-P5"A'{u6x64yf,lXf~k9MQ{Yf+zY=CW -i K`}3}B{F Tڥ1DSLۤEW-(Gxt]mZP9ˑ;ǕحH>C*{{LOrju{cy?ɔI愺؎+4?ٵ}TVf!Y{{i]%*:￳5gD*o͢n Z_b߿Z*zp">d悷ֺ.$Kz-SL> }>ɧ`$8Gn EEC$(񖒠rļ%[^_t/%MG1|f!DV UZ0?t]JW}<'28` o43ь"” ՌRR7Q.{W%a-uwDiX񾩺7v\7.rPR]NerQth?R[BDŽR՛TlUfTWƬ!T/z \ {n Pgħᒅ&QxHD M08W'L篧כ5IͱU9}ǩf)bދ5_͎M4tqa̕zڶF:u+Eu/ kG*@W?$b#KHR6c( oع{6:T< ]kb./Uf)8 [=Haf^uH1-˳ Zk'oMZlW|Uk  6lBdʵ(˥zn 6+RH>*m׀{=6Go|b@ (޾6__/z^~qL"]NOrōLz ÎFh'DN-7pPbv "4e촛K֫ };q"($awvodCZX48 Jyg:_GqܹzR41#ۦzr՟Z/QaM՜bnI˩TpA [*/ /dv|ِuIIi e-|5=kwWRCƧw Ue\sfY'=];˴6.2RX;6$x V+`w )`on曓J*ۧ^|O2B6˞2z`q:410HO [?ĴDS@-4a-YLDg\KUz'yBP?pQ^7L]ס 6_; 8/W7Î`fBS{y@ {[ޮ6LOiK̔8GuJ*$(3"5bW,'A:`}(7ɽ-. =fd9ÈQ-D-%[l>&_K/ɟK.P ؁ 1M]aPK.2%0Z <`LFpo䬹&l&эp'yZž8L) UvG6{Io"mA ؟Dv ȾDۊRÌCpRK;߈ӡ6@ĭ_2{ *q uTO?]4٪i_]vڳ# {LKMC6FﺓS}s*OA"Lw$Mg5՜t@\WS MUh*pƝ.Y#`6Ȍp@*'gyO+Bڷ\JPw ƈ/y@>p>D5q|ɱ{fzxxg1smƶ_`Squ%K@Ȳxءp sG%w|Z.gAtmY:w:t Zld ݼ+Z7݆H3jK _x%Y\@X֨C҃@gƆ|UG ϼ|Cd 3Ê+;\1]6Qš^PjQ3$JjtuuK݄~!НDv:HWˤC :-0NHEJ8HkD+L^ӪQ}rC0W IHH%(R5yDZ{gGgV,M#9Fgq@ʫ\Ab)`|AK#}WeJs`44-b0d09ƴW2~D,*tl,01T)NXL{`m+ULFrtqinwtup zj}&/~)WR{8xHѴ<ȏmA_Iz=6z? Muɐgs7q/n5FQ/` n@' .겪Dg`2+=}@ߟ @bi.r5$I@UE,Bx׫~D}T3H$B*i:N1*xr|Io1rFܻaof.ҪǞ . 2pf(Oe5*ù&;ql5rOݜtyI{Fjxj[3YB)f * s.vrb?[ B)L͒?Syb߿~ Q bP~$*_ҕ+2˄tkz iHք~4}SVyH餹]| ${jiF/luON'^"ȡm. !Vۑ[W-}/zVRCaI;FTd n0 K Z|R4xCӜsRQ,Bun&Q$% 44oszt0pGQ#A`M/4YndTM4jCI:AyTma<2ӮN)?1YY:RhJ ҘqHT~,EH%[Ϥ.penH[N^3䃋z+H_\cTpDGqɔ'Lᕶ0!) 0{Xrh& +DמV4hXҜ7<IX=Ee"20jT6督l71v~If?MEQ}_%[>`I;9[ǟ0;{[t!ϛ3w\m)[UwPV#?r1kֵͩii#ǽ^tYpwC; d(( fπ/_rXIvUqE5,fr!:_Mi7-)cre\Q_gB8ExEC?R;dnwk_U?n2STRS<<(nbCcьc7 GGx +`; X9=RtB*~TϚ<4#p' .3QI8ɏ5%4Y]ލ23iVd0]cy>d/ (iyU._uD:K`w  &pA PcNTNi<3wxc(V.hX ۑBy4xfcldsefV Rm c@!2vCy878èනz^E5_TjJV5M;`[wdk6YZ ~ȯZNkj)6x9D&AncsYaBva3&6_; %kd^vդG9B u4dHIpѽK4h#SyVf r˜U,~4O?:^PO} MY^#R$, lp3{@ s ]%)!FP&l61KT'6 d Nb`ff *hDE^,#܉jY/kqۤKrK6nb]0V==醾 B(„D28 ؐ^s@X^b4ݱ`C7*&w!gqFx+}+o=d@!kQ ,oZY>BdЖZ?lp6GޠW{UnXMmhvŊwmfAo<Scu_n5uv\/L:Q 94î!Œ>TNJYYGj+p]``COsp([ew%ݨv4 ;DW}8G.NVy}q;QƀH"~Pi74k*Y-6DBH¿ѓdKQ>)~A$$=Vs,8i/ $%W0dfuyԉK1<~NSd(u)KI 9Ml$bs9bb tRH78-轝's,`2 ֈC!r+YեL;dͶb1Zv3DDR-P ii酏 <.0OgR<ח4h+(kh_K j8ϩ [~[2F2) aQK2qAj1\k-ܴ[L39ʤ*K+d:w7|iRAyu/$"Lc)0+J&ҽ{f/[n<,&4Je!cB߄Ľn jfnӷLL҄υN(LFM )ju2IR+ t ˲?I/3҉c^E 2 +A_Zހԩ(\ 2dU~=ހKf3d}oE"|5eL] 0EpTfÎ 2FQ-g`a]V؛0ϝ-p6$.z+:{jO%ʔ]? C:d@Owx޽g JI zxHӑhJ$ܐ#DuQm7WS.%'pUw:nbv&i]<~йa[%aH4iNJ(=>kNO.w۶*IQg -L&OBMSes R'lJ+? V)'cء S~gg#;Upګ`&,⌯XA]pt~[ɹbN&,f? Swg8o ^{A E2(w ˵y_ҵ];1yhFJ0=!=ceS;dܷNr08C)8ΞOU4QRX)+6_" 8qnE mϝ*fdVhY(4H=QH[~L"p/0&3_7sC% 7\/PKjÓV̉S b+f݃À jy)P)@no\7@px.n`~6m~\Ԯ }WwGqYCZ hz!v$hGEZg:; IYi]4  2i\cThvMK?w]tl{qYW1`vW΍֠G-"$Xյ#nh pTQ#.-B~O[}Qh ͝X eEűz\jW{8c!x3!K.&l}nt e?"$=dgw rޓtseag+aܓa2/R,8/ u{P8J3n,}ݢjl2$5wNo| ߎ!}ēr/_0`ŵ? [CT [ImLc(=IZ͝t 4,Y""bb/IO7sXha|k=*Sz3j`Q ǓsWymP֗N-mUq>KVr0elPjp5`ېt7λHAkfYYpDŽEDѺEQN)0;jm$-}@iBS.NB}Bm|ITR"wNEލِfTJǖPhwߪ *gYZ   t_ 5I% 䔧φ"R edk@=i::7x7<~82w(-բãyr"I~ښliP<3)-".fuBV'~[0wς̣YTML\yLYMxG' .r #*<(,OW׬'ekZօ_|DͥkSCGR74sN+vܶbiFr!F.+(BC#`ݼ%o0q@vلneG<LH ^߮h'QQT1cJO}Xֱ%TsFy(y D)lbz;JKJa)o|[TAfzBSVS'"N^_r ʪy4qK^Y%BF !,eܻ=͟v74|EV~+Jng](EgxJqou8J¯ޡŬf8&҃>t9OD* `WĐɨ r\x乱׳uޱEa JFr!FRVmxfe"8֧UoKGK:v\Qr42/ v;-''>gb.5Q% 4Automatic_RefinementAutomatic_Refinement.Parametricitydocument.tex7zXZִF! "]A-MՋhvG"uIBm5D" sͮ^mcD֘ۦ63[O4C`:|ks88TB%"g;Z>g G5$K+*w 25KI_DDw]w?;vygYZv5Q% dAutomatic_RefinementAutomatic_Refinement.Param_Chapterdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5D" GXxO>䏝bդN9䱏sK 8SܒXRS*K?q`،~ȻN;~eN1/{G\fB: TX4BFszBv̪xV/1sIN&%P6)KK'D9y4RDQmtPY[<kggYZg5K% LAutomatic_RefinementAutomatic_Refinement.Param_Tooldocument.tex7zXZִF! >`]A-MՋhvG"uIBm5D" GXxO>䢱0Z96Ǔ:7 rj/cK;Lm4:I?ZwֹCI/L4&Ak1].Y1;>9C{#bTwވo覈FWͮz5z}n91iHup.e_gK^8ke:}tyZ}I:bWIyG(ct^:fR?%A5Nsy$ Lt?9jMPz3"[+mfYem[J1svG"+$t~*Ӊڄ>q\v+n¸_"S_ߌG]t}$X3ɸ}}Z?l'*(x1-w{?$4fF# @g@lZ *QuΥ|); l~-j_8Ngy4, wh:mˎ,ڎ%R/i j "ރ[t'?:fb5-FdE  \"ݩp2>w%!0 ׌?I.ldzX FQʗSc/W1HDe$^$RϬh}; Ȩ<1XgGgYB33~ajsU ]/p3쉠BV}8<ΐz ݀Yd(j&e'QAۮI=h\ƣIRRmpӅ|&ECߧ9e,e8u?7 L$&NWon%6 PPp5U% TAutomatic_RefinementAutomatic_Refinement.Autoref_Chapterdocument.tex7zXZִF! ]A-MՋhvG"uIBm5}ℽUi/qLsc't.I专)NBFO}^(>jRkt[N-F sJ;P̮@}xp`ÄDԒ " P9!0#cwjʾC&frfHrk/ӹ.y2f1M}p 6daǦagYZ* 5G% TAutomatic_RefinementAutomatic_Refinement.Relatorsdocument.tex7zXZִF! ^;]A-MՋhvG"uIBm5×g~èz'r=K t2"U=FUm/9g>&#&ʇ"?; kT۴N7(C:Eh cF&,6)vޜHu;״ K% 7;lx]P-SӚgpA Y?BaXt1 v/<ʵɒlYe-t@rA;VdGϮ8'H* #ԅnFTU:=[=$(0׎r}⮹7#!uޫ"qwvj~{,D~~8P/p <c+gbǔ༺=fZ Z+9/Or&bsqPl26rŋ')MbήKXrqw0xQjc&~i̩cu[":CA͕b5HlS9 /"_x?}PMrclgG:-o\=!8Gif(VY-Xka;1yAe8OF!5v&!{!4 d֫im)'/ȋ5scimw\\R;(=$H2 ^GN#*AE>ޢH*.45;3ή1].WsS.Ixs@LVD4N`bMX M?\-k}]Ƒ|)לB=) rКf#?|\$8B^$#q8j@𽦥7~6J-$ړ}CF%aÊ8 @zMvJ;H=eJ ֖{W`E2S.OJ8NS^>xkX#i2lU&HXf|W1ƳvI`Lp >Q_2I'"P_=݄ K;+$#Gd;m{>s`G*_`*YǼ4QQAP(!)5d ]pS1IiUD3'hDN %A ZkH0D@PAr0rxͮz8Eǘ}ruzǦ\ukD>(ebBD2, IQpK^^֩s4oQ_ [ɼ}$Jj)髉)m!dȕi{kB/POAZ,o{sp g9Vjǹ axL0ufV>eyFM.A8+#X=abT\lȼ ;[V8:23*$-7~%Żsv9ӂDѩ* 3pE.@#:U;Z 7DIO$B"!w0N(5ǃN1W>3MSI@ ](*+sXŒ4 ҢݠpMtb팣ӇKyx#Vp@s++2f)Vk_{z!Nyv d̦tK@[' *,3k+kz|ڞY ovDdy6ٴwXe^=`&،Z[̆ Ff00)~/^UD5Wda$Ae7I Z2mRjM-@ dzؿf…+of*$UR̳YֳUXL} l^{ q9TJWMu 会R]i:Wnmep)WDQS{xsn; O*JZ4Cb/%OYXSRݹ 9NC9&z36(鉿-ŠS4`'5K e/ Q琵Ӂ#LN?CegO#oB^f05[{ol;4s:a$ 'ǵsGe(_L4t+f*1e0Dךj51ogwRy\n]}AYCf!FVo\eG!Z˽ ؙGT\RmIΚ0iF7 eTx6QnTMk1}͌Eyw#jp#D]PHvvglO"XkdĚȀ"36\ qE_x N/ 3uA5h Ek;W5cs=,K+Kf?ȩY~F#|sRޘB紬m_uq}i|C7}Ӽ.3,[sWۆIvyH pIzVSuB\ն+?-$'h6nEzj . zDU|-C*Llbkd}q1/Hϩ|Cw6Fk-  9Nc\mtZ@Y s_k(6ezUC 4&pC߄ףDw%`Ͼ‚Fk y4L dwftps$kғ^?sE>Dk4 QdlDX9ՒٟS$zhlC$PbvV>pZIt5B}!fH кG G d9CtX|gLLKmvФ|3N dԊ+ܩ?ɟO !NIz^y,>V  L L15_% LAutomatic_RefinementAutomatic_Refinement.Automatic_Refinementdocument.tex7zXZִF! q]A-MՋhvG"uIBm5_25eodoKQd@Bl&wg KPvI4m2N/ڠ'/%qRh-O]p2><Z@kAͨO5>Z\x値/ yȠOb /# mЇK.ZlIjD hG qYl/7 ֱ1ðT YjCb*}wR4>'YaayuĒU+s)'e~0T=[ڀ&##aNt*˳Ȏ]|y0~4: 'h5<sL5R+qM2  pRqo\Z=MBFnCګZ٤/$jAmK9_{U'w[x1mp!伺bٚYrTJ L1Dk^o+#1Ƴ˰l.b%DC`|:"e7c:ڶU)T| w&*lth0.3f$asQX Aˊff 7y `骟d[9J6NZLNTKl\,V͸Ѿ-dS?돍."|*HIهAߣ3X@I6+Llt;~hShGmU:Z1EYJ-.hM3PGY JOi4h}P~gC؏V. B6/!ڟSu#í* XNqsGצh8Kk5F*P7 ԙxPtk`Kėw)Y86{xֽ|m^1 ta4NgYZ )5O% LAutomatic_RefinementAutomatic_Refinement.Autoref_Tooldocument.tex7zXZִF! f ]A-MՋhvG"uIBm5}ℽUi/qLsc'tu`,߁bazK$:MQuH^ Usks+_׌n߿1w10HZԨZ"TÜaΝq:撍/Ż@;65w%ӏ=G:WK7&`r?SnY[am< U-[ik:X1DGa`UQPI;e%?]E!ubp@ﱏCqEJCZ]o"{n0GbtKEk+{}hb;ѧSBv )7pZg\bi'%!cz.4"|Ex{G7>~*X2C怓O2vkh@/3PQzA;Z\$q6U!k|³=x? Dž-S&L ?f;g][76gt\#:C&u ?n$pMKRKМ?\{xK?f|&7Uaot̒k*r:'q'fƿ 9:bףU=+˱&xݠ&q3Ǽ5 miVEzb55ʮM;"ldCG>|b)sr)L*E &xWd 36V \nr"hLNxx-3/!bia0|2=GT!aA(NG\IQ&<) ՁKjd'@I".ZP`W]ZL?F(3h?mC},S14k$.8rQ3VKen$'RZ`$F^eL; g_21W̨Evݚzf25\$dB~ dk !P%Ϯbi1(w9 9!7BLUm.:G˶8jngY6^e>%s_ ٹv^|q_B 3'N"7)\P`kmG2}ZOv( .䖖6H5D(0m/[" *dDRs?y[>ø? _zc]6qErvrhWIy%m=Ml2'G-xyl;m@iLxz>j*PJg m~x(74?JA)WEb#ɼCd*^C(3!iH4%7"|mv*H-Ԙ#ZIz#%yd $-wX CRba!u6!j xrl)#! л.֨G݆6W35K_jPs1[Uu!{2WFj؀RK,:M0%ylL}Q֥U1#O 3Ph&>t_,V\>~I9v.=7)3z}I<(f VFٛ5W %.3d:3v=Z<TFO:; ,+o T`/Wۍ%젤0h{'ϩIFp; A:УUcOG޻9w[ෲ!{Ae-uJ0d|0n{[fm% z2]DD@ܛ i [&#BID!] F)O,cC{=K~E?j+Sl8ٴ L ruߝƀ9 ea1}Y‡0Rsy|n\#qޥMfT{RESSU: 7 NNߺT"pw{LWP 8d zd|!ؿB+271'&FOhtܧ:t.#O?ׄIzh%}0:85vB+sѷ/&ڈ- r/l@* ;η ޿80JM0!6=[&;ZRVlyLbfM(*Q.R?~0@nW)6i0>/c╔-*ƚeDstdd fp jF#Pf4ʕW@=yua\:&{2Ԃ f{U'V[O(Jrb '4INڔ٧8wC$qm4s4.wdK. `5Y4tD'4@5j{Z&r /v&aK4i#|Pt51J,0'{cm1+qAdsCrFr !zl/o[_!k3Cu%0 gz5U'u6:"Pml&M E:{(Fj-2i$ ;2]GY (}NJ;4ܯ I%ʻgұeYu5ZNcФ}9NH ei'*EzoƯN CUP ǰa =L7׵)y*F]zᣉ:L17&/ACn!?,(u$3(4/7ߢi ;& 7xnƒ(;[D0L"Er3p/&]M!0l K[EEj4ӘwkRE~ @L  ||hI:E@ <'eI&+B;o<%K'Y l^VCBnj<8fzet;!Q#cPe1bwEQx-)psbA%?55'W^nKd=@5+Ien}H x6DNxJ@gWCN-L3+g4)Lc zU~LEVhtFWSI_lV(pl~Cĕ3~CkMŠ]S1;!^ajejn gm _1P.[YZS/3N4X9O] GR1!e-r)0غ2 Я27}fwy;_v7rhB0kʯĄDfP埱"!9YfSM0q$##Z ?T.\(ҕ: 5`OAmߒ!`fP7O u:T+;9E)0+ɈCDtjٙk%QuR x!Ql5g1ʃ`+' YqQ푮tg0u㦖Rd,l[!z: v?r :{L?Pϣ"͏gRhC|t)w 7SQ W[jk`kc CGY"#^9%i%bFaf`| /ᠱ׸Y5O|Ҥċ`?onKڭ)O'qE<,.B=(xfnk/28A{S@@J^akȎw[OV8%= F w8[ޑt BIHJl2X}r@\n o4B6B4}-{mV ݤ(L+5 36cp-_bLc'#c*"hW&1몡4 3X U_ iP QK*H]'Mp_95Fk1EՖs|ZOOND 2Xwג1stZSc9@@ <8=4h3<ːY!6dݞV,Q$x?#@'X #JΫV UN%@ [+V7bѹxa+بG_ -UBU8 Bn16Y3q5t sjFP>^[3n[!z8bDFݮh^OT.Sq>"HdAlw XK"ߴ =}xE^1sA4οy6{[l T ӓw+G`U>ND&~D|gR1iYugq'00TӪUi-^WviKVtP"Pu:γ} 0UH`e_'T;!U16AVdbpJ)lbx߹LR]qU(|j^Uri+ZOP~Em0#sM LJa@yբL<5 a@LV+T献DI#S5J[,8l-$5|ϕz3|}ixpo~8NU:9n%";D# !{}cI>ԄܱųYEj;cgX+׫3=71xM}Ia`>4Tʘ΀T^@6V&9@AjԁRZ8F&87}ԩ^~0 _Hલm^mqA0py,[#_`bt=k%~E@۳za8>QQCE"|fTVd60h\QJC_8?]e,2JX1ť` Lnuy69 "l&:봶D=4gˍb>mk%uam {ʭs-$u.Dia>\"  i:<_/iQ0KE,UKfNweg=8T|,Z"˵&EBPĿWjb7cvx R2aZD _)in^8_Abvħa<}9Pf zר(3_?3CoB~f[3@%sN?hx !"KCD-]*8=.~O#Ђ*#SǪeiNQvoYW^~&͏K3L\RS0gSP:*ϓmGtIw([m] /|hTdJJ-aiˏF\t퉔0Ѡ?|Q`!{LsKa ^=$l4>nZr@7]g:EG9W囁V9H"@ǓJo꼣#lxD7CiMwÌDr=5[O8IF_]g0n*G 6~M;J Pݺ9XI#/Zjאl%4*`BNohȃD#mse5.*rOb=N1ہ?(S%7˝r j"[_+WswK.Sf!ڬXD>F a8fZ I oQv*tTa7W\͛[+`J~:RME4gA+j㥗B.vF\!u|g2Ȃ4{^As $*؜PCp-#E>:`m,@IASEӭ'OBLӋGI;όH 3#O +qbI1L䝊T+`$(o]l82@ֻAVE%b}k*WNWa/hmjx;4@ ,.PI6]Zb׺UN?;yXj/JRQ~bO*<zZ`. @PjR`*V>\(+WYYtwj ^Gqb_sT<˩YIu5t9?$,~"g`B/p+  (KAyF|gJL ?pv /T5@+nՀu:v ^'{w֛=bоvGig#Mv?m '`a9DD]uE޽ibɘY_~ #z*G\cGBj7Jl7i:GDWXWQ*Eؼ}l4`܋mX4պ~ |c|wq. &u~/ ^eZc8P"G4MnJ=}>+N+ҔsARW)Wg Q4UGTE|Kp%& ]YsT3".6r@8Asˣ$nG_א0Uf|m|.WպIHh1󗣸Ǚ\JE.8k"%8#d/gXҫVG725-6WjK(%E5ZH8uW6=ΙZEJ5PWgee"1m~-%|//@ ݶMۦXӰ#*c%Z>Ϸa%_L[9vgКQu0)m5__@һ FWrB=jW \}{<KC\iCtWY0MrUjf}YUU=3`DisYڽ{$hՒj9 TD+tT+k0Ԯf?Gx/. 9½h*ˆ[ fX(" Zg^Eb}@ދ:7! 뽴k!ajT'}d9M|Adi/Aړ*tֽ@XCťn;"Ǫ p#޵WY%RVZ[ 3m C]rևB.P7~SXQ<V|qJ/dWH˕00=U~f"McX^ۀH{ )\+}j)Q|zØ7<Λ%;,h2@|hT2m#ņywM 25e˲[C:+X_D\12ȅi闯ŞB,T4:eQgobEӢY>ׂ0%.RT`FLEEӖjIњY4³Rs:("ԧm(P08<^')6^k󌩽Y2 1̳˚+׃1jv}rA*o1dVPKI)v`lWyg/P*U;1O*ҩR5#\XV<K^p:?r vpwI͡xpz?|~ ڹ y\.HY8:6o7KyLդu{8ӠnTSj xGǬud`';/Bׅr~)G/yy/ cy}agd+H10ک[gI;5EIO)_pĸmxZWs|԰""i҃!topbUؔ}i uk:M 4kޮ٧k VJfJ C>tۺ`q] |}d~f66/GE Z;X,?ѫO;j!1;֩A1IDt[GD,;"!iJ@'|NbXcղaeac|NU.4AI=~Q;a6;i4Y~%N\ͦlMgBy_-@f%&U ~@m|j׷oaJK{/CL`jH=F@4or7b?: v*ג `4'@ CJuh.͕SVOn< /oYۏՓ9B Ͼ\qUHÍfR*Ǐ'Vxmc"U{4W9?LHYikR 43m"n8$"6=9ԁA4G3[0~806(Q cVEPDgYZ v 5_% TAutomatic_RefinementAutomatic_Refinement.Autoref_Bindings_HOLdocument.tex7zXZִF! y(b]A-MՋhvG"uIBm5}ℽUi/qLsc'tǗE`_i8m,LY IaM{6ГTX jf2k/!/X|;rO5|V|Dr,}zHc 3 ^І]Z iakvn;Q8AjOH]}j<)91e񰽿õb^;H@Ԕ>w}J] o6[2-FYoҡUw(EW" ^izt{EB02GMyCV}XYo Nkw#ԱĮXeEOʹ4 g,FȈk?3clBhQ$hi9c68C>c̗>bc}Dϸ/>֪KWX=SzS:M>,и7^-j6n>cVB6{mCjU a6s )>=cq׵Չu`+Wu"r࡬fRpx[Ck.K;! QKolc#0.b{4еS9ҡAFzI߰nyQHb5u曧T9QuAl*/Xf˳+Փ{A+s7I[vgwJ!h-鏇:fRC0`bMf'qG4kbGNf߰ߞWtMпf0Sȩ\h<7JxWA}#YlMz:[#ԟarWK5dѼ*H봔NnĞosKftU fq{^઼aC\Z , Ɂ'DTUrxhYZrQQBeÅxE&F˔ (&S12 (sromBWVvpnv)`8h8^_!H#]͞\5i4mL?恡,GV3Tl} ux{I[bnSF΀d@,b/De 5t뙾ϙr4o&`o#_џb]a~Gt24%>݅$WϚS>a&= {P .CY;-lۉ.*e2Uk3\TO̵WX\ؖEx=o36cyJۋQIa<-m|C:`i;WH&+9n4䦖3<on<%k) :bJS18Sdt(~'+ހRx~x8.R(_H%E`B~߻ԭX RmJvG'h)g z7I X!0 a/&ق~ lCx:|]9-S!L'-6M1 K gL0S0,t` ͝-)49SNF04>:ݽ]hK'=ؤOEx8ؚ5o9l(ﱟRE(Fn@'Lڵ겑lVK<5pO+$`M6Z|D[=Joӵ/8Ckź 4/:w ޡ*&- t5b;;E1%3|7{HLf.h0"v)lbRY:-t y,i[BuKL  ⎏k2K\0l? nH;d{Cf֔>i xtm#^{y_) 1/Ǻm易O< DZz08w%kD_8vA|.cHMS\TTFBi'rc1NdrJ32kF~/LIzL›\hιo. mO~$Os$*|:6"K|vQ;'i~裏la}]IfwmhiZOb}uMLR/0̓m׏ꩽb4ڪOO.e)?1~qfI , ߟS߬YjrKSd A:*TTdѕm*ғ!R!GtSn\K!%sK^LV옽B4JnJEk\]Ω$Q"!|ګ͈FbgQY)c8~E#$n}t>Ij9Ez71Fgk=_њc3An J kϒ^`E]Tb+Y1j g-G\QHߏP-6dL>EEhI6Neu%GB3N#vhakl܋U.5_$`X|:J$~qnZxܪKl3N{۷f}JJM>q+Ymm8݇t4p[mɿǽ U0 ᨶo=l >.ntPע3}]xQkRI(SQAu`. cN*Rj ,~@yD#2,pfݭ&{*~y-o\:cw#DI 7]<ďIzt{zvm`)ӿQ-hHa0آ=[kG4dr.wE#\H63gW2Lg{Xs"e]Y 0>H%yrp.jYaQ~3_Wļ2 e\ȄBD덯.xv{Orh"iQTx?N)vkm`ozQJx.8D1o'IZs aCifQVo菻$3aŃxhzL(Fb9812dUPZhCY@O!C~y;K?-48;/̦8#Q[|́wZ|GU$P=G痰~wx#R3gzlxZu(D]v$%.m_B(Vs#х䴶#{``Uϴ]%DP;q >'7tmկR)w pEIe- {we˳]X]U&1224Rq<hysʘY( 1)6wEcw5UIhgӮ7MBŋ@i!vk_sFaGZ;ѵ4 5 9hKm5"3%97giFŁG5LWa#lW-}Dn^cs~*Q wX(ýݠ"i݀('"o?o3j[x|Ęo>l!]8'? v i)rƘ?c=:kRB^7Dd#V 1ۊN{/ٿ?XBr2Uo, +v x̯hҮ68{<8~8H<>O\yLΞ/XU]1 6TaLo IHUEd iie¦vOuoIB6sk*g>1ǿV_SKKBl_@"_qjۏDo_QG*Cdfom%`<p- _2cN 7J z[S^mcա_@FTm[`7MAKl?ͽ>9c7b85/f܀q=Mx*Z1~& T S:0?EB J/`4cdƱax:w;Ey~d'tJ~ʌ6O^`KV͢ w;Sb M [%ksq?R'RF (>)kG39 1No:}DDXCv>aY;a]uI$H;k"L[J{v |pjIr%t2„ /, <(E/!=z. ekynMT52(', UFsOkOD-a4 _dt;WG@X&(jH03o`:*Jvڭ!mQ}ih.f?F/Q[˝qX%P r`[e)5 8 %Z.Kߔuv n[ ˏqNr %A]!WW^7"x19L`;b婹N۸ ͧi0wA]B*tB8@?V&}-,ׇw 1.=W[&Kl47Z na'3Dg9UuUjx(h|)G|0pAPGO/HŚ> pT(vϗyj)fdgBI^Wٵhd80훱|-zg#KgYZ39139a5dc13a9a72b52cf2a9fa8cd1b626620462c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af641397749331004e6e89a92b9edf427dce3f44ef1