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  *5 Dt4 ]/]Automatic_Refinement:threads=2elapsed=38.086cpu=68.912gc=3.300factor=1.817zXZִF! )]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!K: H]X%di "\ ;Y݂~Ws)W?"Yڽ&L8H!~;dz+ZَzEF3 2BǍ$!IL՗=ob9mC[e0N.&kmIY[*va:lr|Z7eSOr}Ⱦ6 Z  Yd8X_,We쯹us}adPC7 Ţ>̷-pGR>_NO$Fm1;Hߚ@v#^]<c›)Hȭ3%{R(ew06Q 1t5RC8":.UH؄NNZQMf@Kmܣ{I5.Z\lT`{jAU\TZdj|M ٚ hTI [)\?VE$Fr l]uUt~-+M)Ͼ ~g_CDn-݈ ^؀]&3Tv~_*hA -:/g>7q'$G>*ˌ6S/3 5 Automatic_Refinement!5Q% 䬐V`6o_9CgYZy5Q% lAutomatic_RefinementAutomatic_Refinement.Param_Chapterdocument.tex7zXZִF! ]A-MՋhvG"uIBm5D" GXxO>䏝bդN9䱏sK 8SܒXRS*K?q`،~ȻN;~eN1/{G\fB: TX4BFszBv̪xV/1앝R͢EstZ.VO&3EeQlU-EU׽:Dl OI )gYZN5K% Automatic_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/ !g]P|',2Ual3Cpl@=5vX/u< G n'!9U@mΧ+gi8O/ːH 8Z[`YQx,hbtl#*03 wõɴ~QSjwԏqO!R.@3t!TPHcvG <ɇ-Ii-o XPD׾KG-'Iǽ.j֯ݥ@d$qD`DjK ؄7мܑ(#$ j34OXWG!R!a*Kfj{J;Z-x JwqUe:Bz?Omk1eu* *mTJ< ]jv.(AmNY&7Dh-F1F1qȬLB+HL(O\m13p'{:e9?hMLG=,VHTKM䔧φ"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.P   m m X-vO5_%Automatic_RefinementAutomatic_Refinement.Autoref_Bindings_HOLdocument.tex J5U%Automatic_RefinementAutomatic_Refinement.Autoref_Chapterdocument.texO5_%Automatic_RefinementAutomatic_Refinement.Automatic_Refinementdocument.texG5O%Automatic_RefinementAutomatic_Refinement.Autoref_Tooldocument.texC5G%Automatic_RefinementAutomatic_Refinement.Relatorsdocument.texH5Q%Automatic_RefinementAutomatic_Refinement.Parametricitydocument.texH5Q%Automatic_RefinementAutomatic_Refinement.Param_Chapterdocument.texE5K%Automatic_RefinementAutomatic_Refinement.Param_Tooldocument.texC5I% Automatic_RefinementAutomatic_Refinement.Param_HOLdocument.texNz&GX$1,qHJU\5$GCr`plq3JuSOq}n=mؑ$/m3 Omկ29gLG-,i&y޵0hPb eX: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%Pc1CA %(8]t"i"н'G#GS:kd<.8^Z XHcc{q( L;߭%geqTuڲ+OuvGzA;؟Tĸmئtã*jAJt#^ulVɮ՜l',d( ;Bo"'YZRsr!N׿b:/8Z?qO8*s= 2YF;Rr@ZFkB7ԉc*ǯkⰵ,4Bh8E },r6:Ҟ3rPFr`?ģf!:׫$K2h(*C2Dd+v=ž)Lʃ!$+CEu=L.f@2 \6'A NV>mPȭd %%Ѓ*Tg,KQ'k]X2}$-m|:&?HC1JǾ)O-[X<|n}=dcC_+u1vrӆӥtR4;m?>oڅ+%R`rq@s[6/ o\<2"'l bpPw3PHd?]S ceIuH\N]:_=t"7;]AdMP:ܚtuvd`!==3Zpo='N]W !d&ʮWI3e3 Fp,(̡(f@FCta&-f7T,F MoXuCN"o1۹D/.Țy={HȘdˆ"zyZD .T#,P(3@a"i5JY7-ҼiײY/y\E~~-[2PqS^%65לdoUwe QH<̍|l~Jg7޵*flCI!T} b?lIԇd0U#mqŨ^ GWx?nS \HҐωƩB;}6g;B@YIIdgכwVd%8m )/>Bm\Uy":^IAF#xAyܒ yMGRyq1Fk-{ͷ $rn6%3{6[UXs/cLCs%Ռr*o= +4|rxҙϻVsM@ȯ[格󟶧z@=fNOX9YK+Xۑ&ʎ1?2LiD3p9/ی2 @Glշ+F^ ?I7Ku[O4mˑe62޳*hl_K|# '!71L]6xɲNIuƨq&s`~ƥX;k s:'a|RgMX37_~;qQ#@>,uS!V[36zU0ӽ=gjZ l3_H}ZPzO`[r$4&~/ k_`aN_"ISwJI,x~+<%JFVВc˖ Ei^pJeizQ]vϺE @QElaCrn:H[<_!9^sJ }<B Kh^j_ag>o_{*WWs>^og^1=~Hxx3zr̦Gio'js׿d*&[.d s<0TAm1^ }|?G_D=zBĘpqbK j* krs*yl\%"o^ ŽRÁD !_>:`  -ƴu41 -9~~j"(̨ J)2H&O݃0vǁFԇߑn"nbD`5mw4~?VU EoQbYKO鮇O=yro'\, 4Cg,L9?M\fN#f>V ݄&#V]!Y4;m]  AI.8VD<8{^.]k#H踩܀BDYbޒRR,\q.֠"yc ÷?ft߃9Lu:$]:2bt^bξ ZFSG% RVi C~)+rrH 7WyD*o3cBFej zsogXDp=CDDl_HaXVMG9'Bxgtp"k0O#3srFgjjç3Ué8SHQ5Ӵ#}ݘ6{ n۝giu3 8'Zڠ0pkӆU 5w66{ODQrʨ9&Ѫ)y-4Dx 7-# EB L%nyԪLORKtNB@CNDb3bwTf)I˒c_,=b\=LXۨ^t$1PCn^ZPlT|x@QR% ƒmJ sQNE㹺e|mEWh~f4*7(1,$ HՇ[왂7(ॽ44X2==M,BtPRCFǻgm;U8??|]RhtC+RN1wvf:Ww3p!;xJ̉MĵJIy.~o5͇.ꐓk݃[dBA7gf֓O(IJq2A%ko f?j&BZфӔf8x*`Ȼclzs4x8KD:MM hOmVNr\S0^ҫjKA0_`_Ed~ŁHKp J*OAqLE%x674@\I=sN⒐] $ PVEVu#`;.RL*݁)i@!X/U #ӣvt3 T˖Tfd@}>G)bM}H̕3`}Ŗ>p`se!nNp~;+DXn. ͝e%&݄ t4Ɛ7CLJmOWaI|!x ^1h(u#iPozh0 )--Oڊ.h dR>v3Īڗ=@/s:-~#NNѷ,/ RaN 6vU߸:EXس.7 in,ȠCM@?fȼTEs72F)Ӆ8xqfݰ#gX.;`g4=850D6YMŅ_í|,ݫ>e.xTp)l!A PlǬHAᦋf8'`x4pԘ@W];S-' ZpSs: d̍W nH)raћl74{ ITM/mF_kQ$[HopЄ(Hrzo*xFy)ڷI!* ?\PWͺYmDvHS!5Xg+? 5$9jW͏lq"rj LlQ?ދMG9i߽eh'%A,.%`ý!Ps傆UW= B%l2+$.Վqb.tpY)roMl^}QㅔVX7ewmR6g'(\= vΏte`+J%̱1=U߂+Q|SHs!V W348Eh^B3:@p-=Q}d5:|c%No(VD6ʡޠ?Ǯ(NIϿbFOc[J-2bT\H ե\8(-;m{4xlo:{6 UuN=v^ᘭ@-ߥ)EFZ"3^$AT1&yCzvB}V GآW=jb_݅hha P?!΄,K>gm| wn>+U[ی<sͣ~̈`Ⲁ&0ø9;  jiY>Tgx_`Ga8Re6갞~;;e9n=%$=15BSxv.P2iuY0lCF~;M<[؅UƑz")/yS8 1/)h%+VQM޴ݫ ھHQڐւ2NW\"7b-@I>2ӛSK[ۄ]Iz+8m _yN򛈳uVi\JDܲ7!l: zqmXώx]EKRo!`\dw^ŔKN2D@X9'ت=la-ս_%a~F!.`Qʱk}6HHH_G|=zk'}dYۻ |_ud{c8~U2;WsrCKZ5+'4Df jkiR0M]:a@JQbiV~# Az|\MI )L[ҧ}ce 8?L:DEa/òQs[,jxXǞJVEuxӦ+ŸzIph#16@$'PVscUGNQ~th87Y[gCZUnz< dz|g'>ycsbQmƼFI bwhRQ?,1ϿeQkx{1p8,+fa8HaxJw{t=gydeҕ⯡X_$%po8.sXײ}Lɽ$=iSvw GOB9% ^_Nq.d prT/\D0gF}@gYZf7ukTVhwHa7M>X{&Et=Sg 3iOt1%g:SVEs0fEU :-xj53j4q @-8A;+q ](B0B5Qcʆ/>(~lt ߪ}UlZdJ_& 9,L({ܓYg GZHL-yUwAIhH=zDalC.42%ۆO#5+n3A<ˣ|~kRJ7|@|I6tE&Z b&JKڤ3 VL7GO0̄m5jb4- wVUc i 0xc^t"cg!>6/CK&6}B/}d4~Kit&H}mV[Qm^^& ٵ :lTϛXMքeB7IbD/s\MeP8DeuR?n.#yʇ 'صeP`{t[k/2OPo)a֗d+=@A"K9]R%jʣ@SI):RL);07bARB8qHιiNmUfI{94܈ٮ-U5.eÊDry4NDQ⸀AcQ~mlݧ$ydFgb8 c.!IH|_gU/E&V}$\ *Q"",0Hv{I8%4)](;py l+ D& i8IшqkC]Wzڏ7zϛ&_I.n Z hd+{ 5[Iir(!Bz\dP/rZ̺Z< )=Bn mgtմ XGW69HO5j(=+~Z&.0:9Ukf=%\Jԁi)@rVՄf"^ukHB86aօ\}Q~Y""ӿ7"DoT⭩w_a 2Sm+ ן Ǔf aۍ^l,P#d1}߫_Ce~Eu f"S&YBnms>YɊƏAl5i.GP&-%@MY,Uqkj@Bjh4ǨQH@:0p:!lʘʼiY$gT2v7rްddz `"xi]&'rMD)GcW^{'♺7bmS)5 7G gp=%A6JN}>>6_Tz B՗!{$8.RݱL{u|64~"XP)* Ra;K$V؄rozS =$ql[i ?Dm}-K5'̠Jޖc ̒ߣ \,y&}-,|yO*tQi>}%{lG "h{`R>dXtUuۡa:{A<[D߽,,4#h _@c߫4ygA]@.M0Q|Z8Nnޕ!(S̰$5kq(}GƉ58lqYb{aׂ2 =ZM{C`3qYykqڇab\g,¶)'ۭ}BiK ^=gVg&T= ezX4#33\7 ӥD% Ia9a25MBH#ІL]=#i[>[6!wg!`RMAXc6xu Z*PTy D#5Qb>4I'FQ*Mt'wA9_4Of~o;-l85|azP?b9e5ìLv"w:nm.2v.$6HHpTheHr>SRFFtưҹabҞ))9ki 9A3,lg`g"(^dGXҤ1WN5jE?\G1s"bkp_XrKLXjƝkΗ>=ic65ٔ|`4vҵ=}<]ь)KWtէؾJ2D#`S%6X=|.[Vw &3~^/2<-_lTI.EX?!# ?9n1i.}%#}%yS?- kju7[Tq)վ5ď "نP[~]ZlhYϵ]ڞqSnÌ1g~5\u{<C||6 /|KSufGm={Gc;K3 Y[#Rσ>}[{ً2)-vYMU:6IĕMmI9]i=7Ur3{?}|e+B%qX.lReJq4NV lsy  wc~T"̰H}&$f {׹ϮZ,- ,NZ4N̒hqڌlJ|-B=oۑ p۞9K'GE[W;Ɣ54rsz5A;DAmkd Nqhx#{U_}z$ lEz\Xxv)*,>E[mf:W :ej"S} NFIksHҌ>+Ϛ| cC6Yj2oz.5KH GWfC!n8?o+z?BgYZ ^?zg<%C;x:r^Mݺ Ww?—ꐩ|FsӾ5<:zTI )FFϊ*3^W}\ɂ+'PYs9A3 @an'k<(xqria!-|vl ;07 "}y*{A3wau:.\Zٍ8֯>/0;5`QĞ?c2,F BTʤ*ѹ>oI9:^jSɈhZ AkUX[< gū2Im{/AqQA,3Aׅc)V7@B`Y6moc bYc`Dt]'{ʩKE-{hiYwC@W BzsߎS^fC2â]m6ҵ$%@%RZ_9 d;xūۊ4czPpu'jнFE $yOp ծ;)ֻe2}42rE|[lx9D Eԭ?|zϠ:80["r4jftY8| Jݬ\1AZ}@xģpJm o^Z%!)I(֧1hm#p?Uf1='S( {R֣3Ypo`/@ H>o CHҡ@ZF{rc!e !IU siRل}laXX\PR-(R A~T-"œ\<I3O&ɼ"dt1Ouҕvq#n0>S_aNt׮p!8e+jzz z ??d!K_s D!BNh,j, Zu\YrцW>p cC1bM 3Ϳ[sNΔkBeh;/ F;IfŶF;gAcx|AjC(ur<ϸhv8ߐ#ObH lN{>F*V-0LD+00@ .wGe!WdS\tSoyF}nZ^9تz6e'ǢJ/P+Hrx XNI~PhctY@ }LW0 [׽Qwyr̛^*Џ;'٭[(q| h=Wd;_Nla29h/CU0+e_Lc6ɵPe0Ŋ0t4 nVYA%>FIgyAmhB/zlz9{"r-h%-rVni;y|^T iDN,~gőyxl_Vwo?ZkiY\PM9=\7y:|ᅔP2ksҠ` zYY r^QJ9E p=Q޳/L@ËOO`=}M{u]u󟇎*VYH4" ^zp"%qBn` ޵ bі{6X`q|l%nKAS?w]y#E4LyO ڭ0En7qbVΊCf9ym\,$68wUnSٯV.BL05h{PNp)Q4c%C.uVZDIܑD*dxu<;O6 V$V@Jp%hNKP>j#̦:PUN{FI3LR5q|;f.t!y# Od;DžsIC4tU_۫ ΤɅtk(&9>8 Os%7_}MH+9~G"8eV[C~ v_KL sVu=U! msי"X7S \p_!44:y DI|&R,-O^dXǍeA`" T&x(ujPeF'6dG%A~ʹ)ɦ*V=6J" ٥ðC!MBCo7DR86-x!/υ2UiW@C lی*~ ?殖ՕnLԘifPX4YaPu3#b-5ɔ\M~mhl0D-p9#<˧x~~'Hxt(_c斺3ùhg&"d84e %M|7#WZ^)8BF5B}$AfT,Fi~gLhA*F4CWIHLwB oˑ8cxcG[~dL5+ 5@_ȾW~FQq|i')'\ m'rA'xO^c(⡽dB9w@}eR&ǘ/pBNS> x Gfԋؚr9$/CNϪ:6aX{De(b~&|!&b7KE&ʵ;Tg 3 t7 jTZPsyȔ/ixO1J*Lq=n4dk@<-S/I!oNGV^]bV $Ts6$BBԦ"0C>ƒ)aҺ:G9OD51O6ܳ?( .j6GN|t]gZːĶ\ؾXP[Sq z )r(kL(%\'@Oq9,+M {EޑU?r$m̅ ::~ի8?EXTZD@w\BK"$[5z8PMkȢ@k~]+*}'=E.Fh^0om: JI:ԨpVQ0 '>A^G+ Mؓb*>o;4\ٸv+[m 9ӵ"ʦx_XV5QE_μƭ:eyoV-&FQY_`waS'ʳCA\T^n]-H;Ӕa7 쏑YZ= ws~4rUpS;}=OϘwwIH^JAI[Hܨ7T Dܝ4٪8ocI-,2OY`W 4jQi.vکBdܵ\7Jf۟n^б{`Ě`9\S% Qvw*~NN='{$$G] =B$Uj'Hl\ Kvץ crYޢoԊ0N2;$﷿lY.G}jS]׃6:jy}l F#Y {@z۾̂` rEGS >Bc-`,ۥ!1ʰ+H{{d =A WP8TppFc>rğXzN-ݽ(rPuH[caCIRJj'd.۔T}eD߻s6L5׫BIF6R5oM'Y {p?""ެGxһc N5r;&ӠcE+ĮT{*ck EO΂P 8b6ԪU0mFujY{VHPBw-Q =q f.=g0'm /{ZZPqmB/1D+[w:1W,C1{ ΍Ml"Efn78iCߖb5<ڂ."r|pQ/ +n愣>.H?K$-:WЄ:F9zf&Ċ{qȶX+8ր7!=P;ǜH-l^:N샥Fs_AWY =6Ѐ-*IdMs- 婖M۹%I^Vȿ>gS @Wy;cJ1X#9UֈdyХؐia WEBHop1ژgT+|6hj#I-@4 v6+վ nq 6qn]Ѻ?4sx/w\N_ځm?&r}48@GQ&࣍j^#ݫ,\F]QŴ#~lXxmC=g<>C:G^߉X޾yQ8e j8˫,~c핏Z ޟs:3")jsc"cS_qHbP@и.Xr{0.$̑^PX)!ga_ t2!"]Y~LA2x?r|"'K_YA;<]=/HuI/kwk>iNBGW3gY$V\E|5` 4pYw~ :Dqd˽랭O#MίHk?1v#cB,ɂN3t_ aڈ_|٧B)l~enxa'K]vgkwcأ! 0qd3~1J ٝ2p~[,Q's :_Ϻx|AmN'xXܐ0jF`- w4sZrr@^^b[4P;tM4-- ׬r|9lHsEvqEOxzqKKDPTD/$Ȇ3=COe>j7K)A:IRrGn٭QN.QCH }kUV0l|VW>_zF~㰖Ӯ’8u,ԥٙE6bF) :lmTTYs:ZxX XeCڳ91kZ&79%MNJ ^? o0EMpJ4-f N,b^mRo<7ˬ4uH(Wucio/pSU@)fZ8ER; ~`nr0FO|K;!>6b ZGȫl ~(cX\&Wbnʙv(n$ik 5=38CIBڝtB n!AQQD-|YI>0N:Qc)cߴΤÚsLU7j2 Xg #3Md޻"Cu]f#%y}S{DO{D'/Qᠸ+)Ou tA uc!b yg^ &4dCy-HNDZ):#G\j@6bXeB|'p[93,CdǨF:8g! U4$+a$ o(1y/c]lR/&f2E}dBiʵY](2UcEZgjmj(x)rA,lH{ tɆUSeT5m̈́Thrmb,Ptэ49-ŶVA,,|V{miMjRBMB'U};mJTw/F~1h%6I..#A>Uc-4{GplmxOV:?1vTɐ,e1bhlpw|?Qp՝ֱLT>#@Z?ߣHL867)??Y;Y=wK[ۀ2+kNY |N_RVzXpV7:8oD 'PwTKֆГ(#SB  4G_2ӸOrj|3e,Chd  \/W>se<<*RXhr&LC [x-xi=V޲NLm}f|l5n*أS6~yeq̝Hou_bQu:p7>sMqf "2i1ֳo^nyዶ=狋!"Sfpi(-{ƿ:7dox3k۠-ƌ,s Wy#KB @rN !igҫۗ7.C]qr_>-Nk]v`o ]]Xj-qbW׋voP?Y…p/̋ц]s5ǵn tNw) 5>UDˢXS ڨ?kJ(3 lFOwZvSRG k7:pj!@{r8 [o2˨>5ܹP4E]=XC81۸iYwtLTgRkn=`=c#ŮQ6ɮ VCYQ&eo@0+Hs|`'4 ci4L[3~cjy\J Y46X I_y mӔ٩dy?gH}?DYg-&6qA6e==0<*|~,:Wо+񉝕g߽f0Iy3=Q~R@E{Xxcmt-5sGڡ&ޜMᾆKJm Jӂ ~5W8:_ Ym1vS|W?;3\[x,pBD&k1Ju+mrpmOݑ(馂`1V͕?%4VZkk9_{=McW/*,ƙ<^cUz URgYZ  2!5Q% 䬐V`6o_9CgYZy5Q% lAutomatic_RefinementAutomatic_Refinement.Param_Chapterdocument.tex7zXZִF! ]A-MՋhvG"uIBm5D" GXxO>䏝bդN9䱏sK 8SܒXRS*K?q`،~ȻN;~eN1/{G\fB: TX4BFszBv̪xV/1앝R͢EstZ.VO&3EeQlU-EU׽:Dl OI )gYZN5K% Automatic_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/ !g]P|',2Ual3Cpl@=5vX/u< G n'!9U@mΧ+gi8O/ːH 8Z[`YQx,hbtl#*03 wõɴ~QSjwԏqO!R.@3t!TPHcvG <ɇ-Ii-o XPD׾KG-'Iǽ.j֯ݥ@d$qD`DjK ؄7мܑ(#$ j34OXWG!R!a*Kfj{J;Z-x JwqUe:Bz?Omk1eu* *mTJ< ]jv.(AmNY&7Dh-F1F1qȬLB+HL(O\m13p'{:e9?hMLG=,VHTKM䔧φ"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.PL#펡- m5G% \Automatic_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)髉)nx?Y6bBQwᔞB:HŽppQwRT'ś[9R x0yR;|:b@("x5gCO![밥fR5l>vvqEVܙnԻ D[5^MY'@ݜG6]" ^ ?vx=`Q!IYq^ 4SVY|O0C}8tiM0P=)7ȧYU8UMփ(pG^/\/@ܒnI3-vݽ3–_X7jOvϠclhA5H> B Ǩ];Zё93ǘ5_6nok/ 14Un<H#h>4PA`H.,?╿R9u0yPhT,q9+s r55-Z0{Ŀ/ƍ\k:KОV oV-4Iy{94S")Fn%\o+%N\槖bH |X]~bZS=ʈڝ?9] eWy ] ?*w0Άkę#)rDgpmul_09 FnO|cKjo45^p w3MN)g·9tuYqo>?uGHGhἜ!Bz[XlӸ;N ,|5)闁IdNt.`+*D=P$8~ҧ\o_A 1oMvoԺ.M-euYB/#19Ͷ6OSʄ 3I uE(p>.[=tyb)43i>ַRnҊ:[.s1 -?&0]0m`^ 遡 a뮅#P4{d{ftGXõVE;k#dy3;_M wQϓ.;Y 7c7m&DڴBQGps#3~t4y9NEuC!~*Mɨu׳4r*8ȇ_l8 ]{VVY, >I{D'/u!mSkГ{7D.vT1gNcoGuzk֭#`/[3TFDE<"Tb[ Gt:I#1.tl/ly(Yۡ53~t8ŰV?> (ٛ[r9yWj_B˜Z~;/wmژp}b&-‘١lb<O%v>ҥv" stUb™ 6jp(bl۩W$pLj M6#W#n=jJJ7LJSIpGai4FAvYf$Ȳ0x'*Jc)wT0&W[[n@~@ XM9[CkI&_/7k̗+!cV70m6Txg.ΔR[hC^2 /h>9%H/kY"DC/2nb37gRo8>ɾqķ"-W$X7m{KMT_=@MHz cIa(L }I0 f#n9Tc-o0Bpuq*'p[>bcvv9ZXEȌILVq:: C ̷VQduUo4lfLӳh'AD2(yu]5Ɨ[Hkݧq+v?B_[g O^$R#3(aA.oTjbGae%imSa:kX<#2"R8`n W cM3݃èh\L;\Er.=7$|mR {1+=b'_m_F8I49GMG:6p̴ }@n ߥ)j2q @^ oB2+ 5O% $Automatic_RefinementAutomatic_Refinement.Autoref_Tooldocument.tex7zXZִF! mC ]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+{}hg^ɕՎ21:$M'{z@?2UT fjU1Er Kd_/ϑ_piHUtu{+I Q"uV1=ޮdȣ@opԤwf{ѧbO|h3xk(F%f2a+(`7}%򭅀.]Ȍ8 sj e˸.mN A'^邍ϖc<(- }rԋk/R]b4öjjHfMBcW/A*x5J5mM8}]gON1R[L5VzqrmGs-w|\#?+aYŹB&}5mԴ9Jci?f ?Gɮb6,޶10x2Ń ]I=~fc_XExMwRg.dV"{^6pLB.]Fud ֡%:~nfE(8#'J Q x+%)^]]?ol+5jҭ. _Sf,s)cz 3cЇ7kެCTZP]\πˉ_ ӓmX8vjꎸo$Ʌnzf(Eʙ8?_~QM9 YbA)nud)o:?CY\xTPW =+1ldu J SDqWƯlQ gT':fGz$5,9yW֯- nPC杇ai7ηBMfwP~䞺Щ<%6+lg(&:Iq8k3ݵU ܑY@sty9N]dlMxΕFaaq'zhلSwDB&'\Ȓ]㊢lCfM!qNNtV̇O\1gϢ/=`}ѐJõ83'ֿtY!ij;ep~DpWi}2ykd:{6Tp4 &Rnެ%9c72hmC:]NtXBkzS(ڀQK288,eaӡ>9ɰU$5I':(mY_{%.*ZҺ:G^Iۈ(NbykS/ppέ; )ao4w%2dS0s,!蒝!_Xj$,̦-EWSxK3jb!UT/Ux)mtb՜J ^jTTwDD4Ǩa 4E5:ŝ 59WY&}bLfsw&"^~ PBǍ$h+E7pIPv =m4H oQ˩QێaTDKT!{2E~Ԧ6||ZhhO*Z!;0y`?9ycG&t*$ @5}?N8o0Vkl'yyIiW1σ |Q(<&΅htٰ^~Yq9㺢#ɒN;RQm>[bNm_-TshUw}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߰TV afs7VE -=B}!3x =)(%w=z^"oūJFVq"Z7BljC2pI gwnmצĿy*#>jbacSEUp ) q>glBRmfp3v]b,Ķ+C;bO;Kôpr򎪄tE R*9OAS_5 5i*ԗ^Lf4|T4)vN]h?3-sS{^N*3ނԠiF;.{^d Y}EH2L&8vEx]*Uôe02}SuS usn/t4YAQ H̾%i>A+iLP#m@Ր/1?5+mtc>!a.[wcA$XgEmtڙE()tW.mv{˹X|C yQw3ed3W+Ke:ὀ/la9N^ӿ!2o߻]n_W+rupNtIQL:C7RvES3q@)VpV괲w^ CB:0Kq,s~8#\:RVШ##a!ͳ(Jy7} it$fv+U&5z&Pˠ hou9/ϩ09P6n2.~`/{h|u" (Dix]}d-*_+^0#q(qn'*WtiL$;5EOOE#bB~D0}qArG?Űza:_ tB{H-jRkt[N-F sJ;P̮@}xp`ÄDԒ " P9!0#csV Mן77JW5Q] k%Gw{ص-{PgYZ45_% TAutomatic_RefinementAutomatic_Refinement.Automatic_Refinementdocument.tex7zXZִF! x#]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+ M@h,^##ƪcyOa޿2GNSDg'~]4;C?#Cʯ1,9'mjviǹdG6atq&.ഇ5jA'eW$",iiiVǬ<X~QY<MOaOb[S8Ow۝I67ŞWA6$0o2Xҝ󓓀| m+J2onNz(IXɷqƶ>##Q$UOȚ?lt1n'iu$з6wtT+G!K Y;<KţD^8^)Q2H_G?3 9k+y y,mPYgI4.d@XuG$_e=I[7:S`42.Ҵ;R}&y5$ž]+$Fw[d?91a$Y |l}(N #۰Z[İga5P;B<%9hk('s1.)}b#GZ5|Vhk*!g5jAcL<?R.n8,8w~W)-M'G֡r7y"K-WDKa_p.EHlDt];|:-ùJŷށLz['__ =DdJD$7?>sZq(Y#ut tlb{UoTII)EonA%g \͵(Y[Qa*0_mle^zuސnh) yT pAl?LԏL—e!/a{ ij@S)]iĺ3/gB0y& 0~A:$~a BQ"m~3ZHA-96 5}NKʟ0;Z 6~>eESQ4#u9e_%ْb0IS,}]XM{56wH_@/";`\o*}tXavd IMV^h=;=)-FY7lAygJvrp\Fׂ^9\U^O= ڱ{YJ7HV*nWJZJfy|Wx ɈrFf})\UB#n+T*} Uj=aJBYR/bs^Kt/T*uacvHl6sMo; Dn=[C`ߒ֝,;op%[!B >)1zSZ3yU Ng? ]k, t5`fRǚ4rAG*1SEM>[qe-\e.ӫiyZq~;9Ecfirz8ذhO@I)`[%->*}]uNP#>F^%k/u-YF.0<'rO:-֭B\"\kn{='B_9$11wNA?][ 4rN Ȧh_b3՝x»v9tJJM4_>}Xx Mׇ2ݽ ^"(oKdoY_s_q)\ϱ2+ ְ$$c}%dlﴠQi}-qmf|t/&8Qu;'.IֱbR1-sMyx#ai6W^-Tw ۋ]_ST@w$)tv"0j %dͬy=zcqjFL? KNzhs&L햍X ˁw> wtNJϔOJ D(p 5=ʞq61-_j7/S\ FQ؟ 0s)7UכJnr8{qե~*YٹmUa kM$1<'kYE^zm,NLv]6!B{C}Ɖ3GmMyS13kj Ay $Uݰe !U0n& xpFcaM GC}oքBb[fKpȋ 90ܛT@"oxzaz7E>5"-˂_EG_Q>X  a!їWyoU͞]t;\|Bf+nsaVӛAPL d8Jp;#u{h~ P23SKk!d͇Ur1ۛvx>6_y-:rlRCY8͗'n7FFOG!Կ*">ݚֵŋtZ0ӤSD \Akܯnu1Zi-;r564|•tq./jP ?mNn=*vǢ40_a'Iks-;L@ȱ46[yg,;^i{=.Z¤oQh` ]5%F!FXY$@HnՊN<ʐvrr^o:J.LRMk5}{ T/<9EiHWEuF&˕Ѻ˷+KUArE~W8s SYd%"etTf zư>j @_=Ty U j)y(!A4`Uj\:T%{.1˃18J'-Ni\F=ihiu;ޣ{P1K ݷ=՟6y% Id<ӭۀTiϳݶtT=#0@G6sٙ\PH ь7 z`h?eLp\,Qor[<ؠ!#Lj34aq30G3Bh|NIC ̓s ;j2\9vNu/VljWucZs,o6=ϴsu?#~#XWGr1O s叞dxjFCOx}ψȃD{b0 ~ ;ja5[b*RAj9 ?:J2$̢a0aZ}[W4$r?wX=Ͼ {>1VGXTl҃ [u L)@uf q^T8 _ W8pf=ҧԎ{24zuP|?1`XjH6N"3͎p%䀿qB)8%X>|v*lXjx +q|a1Xvl7ezLOV#g{: 0&f( OrxQ7SAd?,Xl3[iB2PúٷZqcz@53dۜl؊K|o9q gweJ1"y*8R+tl‚Ch&W3?a5y+ #rʞPqÒaIg~s8L*(m>IifuI !pDd/f0k m:nn Y[PFY5ͽY7ewrбfe'!HC~P7IpWu\QJZ% e4V++ Rrc; s0]9Yq3ˤ.8A!Ӧ#L.Sac'rW{J_AwBN[.eΈ?"'2\gaKSB9>5zr5r#-N[^UDb;&h{^> Rm.vuJ a~X-z\)v5Z\UH9|L.򴧛k#l <2\OkNY>Bqك֪.ܴsj7D% W0÷ܦИqf|G:XRc:9B§/%>r\IUr$z":J9F̘f !!C{+nIWݑ$magPWJHam)%.MniJ,X4<7X.wU]y'Lg4/N.6W8Gl /ΪrցOlpDj Ao900N,N;7 >J}q64˳#@r.k ?-Ld [?=v1"אOXM%UJhBGy,fH^b?|痧DsqT-ԳB*evCv'G^<vG=K3(fS}.ީ 6Pz~TH!"&3~J6t;s[I7VK*hȦ.F: hgꠕ}UNGnd>ݷoi:E.W)y5QvͯR! ة&i%fML<0|YX;X&BO[,'6:R70_6 p D؊J.w wYnFT,ޜ+E&.Hh<b"~g،M01PE1 +PdGH z @l:G䫓#%ݾK_p[-tmTh E`s^ޟ7>K=USB}\;~=3@1=A-Q\U3V  ?oq[lt%2y@3Af ЛW6|N;7ϸ½SRU.-28V,+ kFӓyIU7jx^)⊰d9cә1( "jGׇ%5DAQ|"tSHxh> ?2-J[)/h}vt omri$4bl waWQ&A]NRe25e"-NmMu %E>JtG"t:+F"SzCF;&aD+alT&/vl^5';P$#P3cv$FDxS!U˜5rpNG%e?3;‘(EH"0$eDf2ұa[1kUzHϹ%4-mi_B{s1\}LDSJ$jwN+k|i?T_B@21q@O$5}* ݫbVV|>3Q\@yVtT ?<WbUgMTWOHRcIɢwMYz 7\0ȱ%>\$Y@^ z7v(V@&`wBJ*`]zlAv;ς!rc G~h_tGm+Cm) F[-/m0oS 'BD aܵ:ۜ\aQqo`Ϳ(*`?~`OzH7Tm>xo; .tpXHXXXL~BEBq_sv Z߂0˖@6#,c{6>- ϵUbFLXӯT0|]6]*hQ̽gYZbF&5c-Qd?A]M@ BŽ-4sVh}bxEɒ ;2^U1pįp}0ZAmⅡ tױD40%G%w,=6k$v^b!&4D݅팶9Xa631'>6,WkEJe+KA"@9 }# oaDR2sCJ^me5(pNIy%b`$eXilBQ#Ql )gúp4'PuX3I"W@+chOP  S.gYZ7zXZִF! ]ŗXiɟ*#; )zhWfLծYw zc8H5wn=GJt炽%)Fs2My!s_ĽS~Vd^b,9{` Yna UTlvM9ë5-h|Ŷ)hު6ܑ(4weWGZYh6K\2 4[3g:o"X"F .LhsŹ0L ne *ct )^>S y\ 1Y0c Q?wڞOx~I1*tͺ_PsBskŦWQs{ 0DYsJU$QXhV"F$&pI73bzi F7W ^] $m@2,ݡ>e::O^'Ơ*ŵ`G&(gYZ7zXZִF! ë ]ŗXi%;EeLR&sM,G:F_GS`o~3ݥ T4>FBKOd2TyCChD8ɘ?;吧é ol(;\RWf 7_y[WVwRѬRulnF V `إBsk0g(( t#4c7z!U&*reU|>]'k &D Fýֿ!:s1!n`'']FH]1\1|i C1urR=~򠀩!["8;muٔUHAmR-uxn5TVip x(DW\$h6(?rQ'RW<ܿo Jљ_\e^lw1l7y1J^`i3_wd\A2O7.x}1Xa9VK?%v۷3C>Qy[ǕM&~o2!yxZT؋TnGAsp:7KU̵znY7۔?}z$iGq0.n\$-<҂+bi {|J1p};!3OX4@-h)W P) %*=MZ`fNX{Cv KLqpdy>>lMόvP@v8qT!(O2N쬿xޠ07̎ff =$XxCNJf} 2ڰ&`vhǧu^ 𯊍8iY˅QGk+8rxjҶz]hpiG rYQdB@p2+I0[VMz$.0WtՎ ~s9W9e=>y@6m^H=’DMmN7\{&>c.e(aePᚫR@Fjc//eTV W8L Dn ( u d54$ ̉GBs->ۓgZ7.̋F*`NM*Zpis/2*I!3 s$3͆$ଝ> vT H; k59"ِ Ke-`{__k:;3 [GR"V?PdmlBʔKUO@/;8<3ˁ@_鋫i\ wXyDPJ+MvZDSرk9Q` NPΈgW̯"[y&V52I;6(2F8[8#AX.\5۱a5ZcUW'RoA|~0ǧ;q xHSBVɟfW(s`1R"օ BCj 2 ݛvl*UrPn-R)hvؓ#ƉJV8x>jrm*dlaF)*}F-/2wĊEӮ9J/i"7rڡ'JHMtnyb%:YuNx6e؟}7Y{Rk[$a߭d47wwfAы Sr3g",k$aoY4+5-k޹W,2d`C};:7y \p"t g:I8!,5'Wp3oi[zO,|]JX:j Rwز"Z-ωOп'2.)V*_]H Qs>ř1$1s3vck0ˮg~z]q@OT0=G}K 4\{tfN2Yg {)GYruĩ;a0SdqsEE yGXT=Uݼ|PS+IdgS^; yco1$LsW9aAg7ң,FjP4X S;02\VJL1J%s1k*^"AImOezzTBc 豦F_t gp1TPU qHZA@Ƨ&/:x/59!ӳ>/}mܖ&Rh!Q-#6w~ %?Ƽ HwFZ8&LP[_r+oڻ^M\D'ƇcLԪ_dk 홬+//E)1