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 | ]/]Automatic_Refinement:threads=2elapsed=40.466cpu=73.260gc=3.544factor=1.817zXZִF! 0%]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^SX`6ZnH3x=Sl\&_0QHkn}=5kYf?d=GO.`-dP;^\(<<[_WA[PVn_ޢzTK:M/OMeդBs;3$Љ CUGܕ\Rݱ2V;fȩ_GLoa)L֚&Q/%U/6.[SlĖ{a}RQQ勔Qpހ1:zݜ& y j^dqO7YYΞ>S7m%J)Yh]ʄKᄑ!RJٌ龈5.|F~įN7wI9¡ee4\٨5wǗ@DROv-{g (7jw|6Ucѹu߯ݹZzc OI ix6OC- K4RJw8iY޴{i.@Y\4elNqT=re@fmAb^54^|'R0¯4>%49'[fxN(@8C4>0KhFF%1&!d%+hi` ؆|ۋk3DͩsI25B[>3rmn(YH;M:ͯ|3 Z%8AwkDD|= K??ZxQu \|J2EL=jV(hϲ2l*_srO;G6q^ͺu.2(APP㩴v n2ejO95{t\ܪM/Pߧܟ9)k*볷sXes[]r`~ 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ҝ󓓀| qcht᰷圿_Օ eǽ@@?k KH+mZ mGL],JxK!xnpˆ3ϳvґn 垖 YO7@~!bXBA.)/[VfEJxPeRq4Y!EFq.no0#;{ H6?qa.3kAnzmWx빙.~ P`Jb~hfhr0%ؘ(j,4ǍRMtTF9waưˊ,as0$w/_K5 ??7r%8;ԋf$a9L}Զ GZ!Ɠ3V9^ V-۠Q%\.ԁX6(_ǒ]׼+sSz'F$U9Ia魓_FoGݧ$ZE>*k};OG][NB y [c e`1|Q话Ӿ1&l͆H"@_EB+IN^gt r)i0"dJb{RUKx%t*jNh[ύ7Z6!>w "[]UCPMit\/@$KBlv==8h4DtӍHD ^>5r)^۟4WN3fSiդ\an|y@ j,BL%C} Fr%kpfw ѥT% V~!K<^/ u Ru$w|i<]3"{ %sjA;{D ̰58hM+NQm?ϒ!}BU+rv$~FicOA5tr8A5_.+?@:g;X'^wUlCZk?̖84_z m3_VdZ# 2r<@9?G][W`f ڡz"XAYY;@0xYc&9XˮU}`ޯMl4zn&`ϵiHVĮNq`kaȈz@N3m71D>kի;0nDjZY/GiyCC8V'5iXރ$ohF4 ^ZҖҳ)isj(2lG6%669xaeF}@{ç1[e9/{=pe\Ev!Ȋ]wF]B)BU \xb~JP~!ɖC5yӎe+7X ht;L:h C}Zm>M{YzĦ_)nj-s-o+\ ߺ2a?7tcC\Rsk_ARhTc]fu% ;]6o!Db?o[8(d̾ z 2jRDžgR/=tU[No#o9SN\l%_*EQvlwgtK .3 C >T?"w~$ a,r~(|_OX0,$<wHұIy`$ǘeԖ}yG;wHTqA$pJJ:/q>B[?TMDߠ׫i=v\;V7JdB xV5ގeI>T8/8/ ot@Bcb/o{cZPhp/-Q@9!gӣ+b]k2{-佲`==.1ӛSal}!_o/˼VFJ -+sX@>j=mݷ齲tv@\i}6c4Լ̉+GO9G6g,?\˽Q3Bo{ςu6JQP{B_E2uh6S ApYVlhݑ31e$Iuk d{7Nc>KV_ 8q50v`;IOxKXHbYNeٜAxW/=Os~ltp"CPld&3T2+xvPZyq'h׎`f5*0ذJ"]ai<_4=Ԝ4 XlAK]ĸ~e=)"&JW5 >H;Y~K;b:Ҟ[Ӓiz [53$]#k`eXHJ>r⬪!i)cW|,&IR$8mјrKeknx6G8;f T}pa_8酏;u/Fɨ؜zqvy2OOɓ?"Cqb }: n /!wf"RZW Quяa'lun_+k {޺wjYe0IL\-~KIzZzMZD SOsUk(9?4KQsoʳ1izNayVf/51wd18v@2&\Nϲ[=ߛ66ևPIoߪboNha$ }uf6z$~婓 KpΤϨHjk8,zyqlVss:(ee?" B ytۤB7<d6EDl{}FHzG%xDawW75Vh(.qb8!p7NdԬJ 'G.m]sJ3@ agtcZ̾\nvu QoH./MdHbͥ!ޢ\[EZ<[-bߗQo9|AD9|BYGA /3˞fB?oGb l+Ӆh:GIUVPEnϤ#$h7<{7ʫXshѾ0(x Ge.F7}.=ZX:5נQ|&Ķ4lyA])Fo#WӸlYk3[c= jU~#IØ}6veVNj|ZY\1YwO07/.+ԵOa^JD3pQXXhKuB6IQà4hkLp:4·V~ |er0La&ddG/wZ7xIbRp$ywǵR9M;oytTDhݓOVFCsUۡn'akuW$7푀 ûB}Os>z*ĝKd^yT,ې|=CG%Nѥ6=h|4e*߾ ^q8?<&SN^i#T|⺇d W?R a:(e-sXrS \8w]Ѽ?l1;B%8_+5k.jYc04OH*ORҍ~|VSPhL'MDW`t6I#HXVNY,) " yPB}cY^6\!Ő lSM~&yH@lC 2˷sFLO/ (rB/D;g|FM(i΁;Gۯ1h.zv4Cn }]ću:m Op79+e8Jl*1ۧIB@-\gh7oyM=_ h]eV% $T+^L. ]}!"JSN[>Dm7KB 7[ѤЊ;id6G޻ {,<%'~T[QǛRu־3߾4\:+nd(fP ZY:taK3o-/s9]L-$-~ #jm(pq$4Tt-Riiu՟D=Ā]78yF:K!uRvasBR.~ بf3~V*ٜ3Ֆ%}ż\5S{sk 5e|2xV` .CwC8b\֛˴#BHv6I8c? Z•%8]5:Ǝ.GK@c 1dx Ardɱ|= hdڻ10H'W* =7k8H78u^%C gZ3ڢn,qtYH K0mNc:T$=yeͦPeF`}62@? [3C| N`9;:vr@;ydl~X#'M0v-^$xKXh]c$šƁX iH WQ!b_mzY#tN"=K E%Z`'/0N"1r<6WFn#}A4KO{Hl%G&$*~5&ei7&WkI@7/C%8DnƏJ9.EZj汋qlb6QTٙ͢A4~Hjc8p#pɹD=?g|m.Y2YjfSïAjYK.)<N7pȞ_H]e*Р+|#JN^(؂•egDe-A)!8uw'6PG? +L ܚ=4Iqs"ZC}Q'<:.ܿ-/V*Wlba<|pjD0!)o/9wFS2qRIG,aˏE#SрKQړgYZ8ae=0@U;1&D{;Wmt b,ٌ  unHDmmqQiz^x-#DyX ^;Yg6v/ٮJME2_(I1" }&nw/>xQf<]tj͵$5D?ZnBOf҇7uIA9^[ N/ٮttP9xx_x\VyN^ tIqO9$֏o<:.מFD Y OYr_;;k< &:#2T`M[? ǂ2>Ϙ `~gQgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLծYw zE[xiKWj2_SZ|͚cf`hMI_u2 BTKWsh)Z+LՄI +k$w E-@v:F`P 8H>0G2\d0[O8X9;\ DAj:#W_lt ™:IxEZz Q;UMޭ܈ k^:DI;ԘөY{$6_79  h8! 9.b֓ſqKܗ<"K6;5+aϣv> #[1yKmpUqAc͋GעR󖖳< Kk{A5t]jV3 ڥl#͂FktKX/: nO?#:2ʒU'@n |k W7 Jӑ<7K14T>gYZ7zXZִF! ]ŗXi%; GK 'džoBR- QJbG [32KZ,dQ æKE7W7`Y*ckaeRw_}O߃4:`K̹kSNcƹ9^P?F$1)G:bzyF,lҽ ov'n5,**ΩjSk]% UϿLoFQ9EFS⭖Ys^p8QAOvik2e%梻Cg.o|IwZsV z+rr6,1wwe]ЀA_jp@O#]24UaPj!Dփ<5fU90r/e)_lOuK3󉗻%Zx ΄ }px1@4wl"M%kX-p?`t#[V7&GiXH ܬs [-?G.&Х d(9p>ζ v˿1Z_wB,4٥V)׿{Ӌ !o@Ha])Q#S2XC\N1`'~ʜj<ӾmP%'}ef( @ͼ]G7l/y5UޝV^'0lb'}^ܔ;#JvWO$f}PP- oCOf=(^̠KHЖ9iѦ}_6.ūXǜ=~deY숈 o=c;MV -"<u+?o,.z)훧O tYɁ /%Y8I@ ]mDV9ݾnLO8=T.rZ| (^wcR(R&o*>90L09UnX N;lǾ;֪sl9!!7Q[-Yj%U݁)?2F&2M,&(@TJ?l! ۋo28Oz  ,nS|#͹"?Xuq |h5#AB\^ឞ\$aȎw;V"Sdjǽ9}~^`H?YN>Ut/yql,Z]<&-liD|b-B긶qVكA/8 lxjXZ0ލIzekJ`%#Ϯ欃`<6K. h+T |VZ TRʈo @\*ؤ6AW'`\13۱y',=(pG 2;Zဿhp%Oxjy@Ѵ&.=I!G VgW<`]gsm㠍u1zJ׿1+\9qoxq0ϣCZT$L>9 <&$ÝCu*HUl] TܧQ#͖e3u` qXr Q%:3ن78OlKt29Z L@ 1YNyNH^pfWlO.ۚ_]\;S.]N1˪(\!<-W^*E"fʄ#˧zhx4"+Q'"%ݷ,/\ypEdS]ɭj"2X[4ݢE(*¯fG(0* f$"nXL'H&-SQ ߠ\4x_ϙ&\cyoWzn~TU_֋E6"~<.7$"M9'+XBx n}#*wIb21&;ܜeY6_bk6H G֙7"agz|oٛ@eҮ]Е4)[tƛkb]hM)bK wU uj<ZL;]Xr%Gضg|㷝YŇPy m:fV`9nCPh1rڕL`J 6.1^&7P_./Gm*:<_{ֺvCru~Q1nA+~_E E _<_4CϜ HkPt*b;oIg(!ŢM71d5BBş-~dwgdwf9l% @2_8j X[Gl)tm3bx|~' /^@oGnmT_ twSDU/')zFuZhȗ^D jfK%+#$ޚ*su+-7k$h<&KddIּM:@׷MBLtf%.:jC?aS|R4 g m+u"%ǿ٪i:,XT@-ŊW)띌 /17E1Vӂt-L^ʳc||ko=s E jFxn&:9bgfK`lH8>c5*IUdy^<yHXKJc0l(!K} kazW#AEJŁԟ357gYZf57f05d0f8759494a2006a2d14fcb4760c0f3fcc0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a12248f5e92669655eadf836376133942ba1735ecfbb