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 gg L\ ]% Fermat3_4:threads=2elapsed=17.860cpu=31.780gc=0.804factor=1.787zXZִF! ]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ a|/F3ݰqeGދ0ir/9gJxlΓ?#ɳ]9Yw7a T"eH%qL%tұbe4( Cui9G~=7q3#HΡղ@x,lwQ{MXw[uۚy:qh!dHBKW_kV+qI)[AMR67%%hĮByӊH`nU}%ધΏ")#7T9HfU&]]sU>bp%G7Jж <|Ym﵅t웊A%O{X4ɩ8q-׏ZS?~Z9osE/Ym&T%Vw]O`.2J82D)w7gYZ7zXZִF! `]ŗXiɟL׎̈́>>^6:Q2pdOh,mtH@޶ѓ{]߈޶h7Mxq?/(\&4J||{gYZ7zXZִF! j %]ŗXi%; QEL}`-.}4P?liou1RX'pH3$_ zMhT\^WP$AK|U(VᷖuXyfK Ji*|zDUQОj$ . O8̤=͞bhNFlڮmb"082!SNR@,b+\v5_+={} !|RC "ޒ&+c/BYnAy\XǖWO)&uc~L\ +M++֙I0 |*^WyC^ vz7X\D7VTI[@ ж]fdSJHlfڡ~/2zqv0z%-'HUYWڞ2'%)|cCJ_V%QK% $pJ-ӎ/;Kk=u}n@wyˆɠ:C~:5muŒyO(3d/鮊ͿV7\,7y C.Va}܁@8|^ӳyM!pkZF渄:`X>_~g~?8zER_pn"]斔MkK/c2siy* O /?rZArt RT2[~Vf!O~ch'$ +)*܀=~|>l"<shR$AA8B$cI{w D,E"*إzgKв}SZ(Al$Or7ad;&; /q(͹p ݒ6S[b̨M C6ZxsN^]"!bg[Hl0z݌qݾ%oq8 [ I*LՂRYrnZ-R(T&?KJD\hva'p]l&k\/A38/8㔋?8[TYXI u*L{[ uPTpnku;&}+O~I X K 44 b[W6r6<&|QU5_V r~TcH݄I#FGR@Pli2a U{DQU,W ˇqCp0=Cʟ+A]7&{kRWRK[1ϾZBFA0 V(0A+jKk-6a\Dhcd;ɰy5~mѸ5d:,r|)7)1"hNR›&̈́2Pw^8Ftv_n#` QgYZc7f0b56e325ee59b1210b1d38330657067507c420a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c ebd67a340dfa0af259c6f5d0e770a61e5f5302a3   Fermat3_4R/% TFermat3_4Fermat3_4.Fermat4document.tex7zXZִF! 1a]A-MՋhvG"uIBm5i5 {}%({{%p,Ik+4ɍL˖_\" 3b ^Ձ&vL]iA"nfF c۱[#EnaeG  j~b{/-S,*lX2Ud\4xD9 Gt_a^vzg(YV*(QX`6pL{𾆣%2<?1\6|'R]BAE&Vߎl+p80\8k N#荮"[>MGfNVL Z/% dFermat3_4Fermat3_4.Fermat3document.tex7zXZִF! #5]A-MՋhvG"uIBm5i5 {}%({a=~# ;yMBI(7/I~؅űdz%|%m8"vI6'1)QT*!A R\_,UꄮC15 > s*UǢ,ǜXi;?ЍILjFtDykc&[`havE"/ϠL'-.Zs_ ..o #I˒ ^֮qOOLD NԘ(]q=b5ie=MpЙYm;gX@$'=%;ɬy^+IE3|1I%NgZ?@rޓ$ʇ8i fP̌#mDB JlvL5˯>mM'OJa||4NFIqԧw+w1jiϬߔI]gcV퐩y3zp|yRJHSR֩~X4]1McbO=Epa X9ǐu>*@%bH8:J"X3Kw1K[+.olse.kMfTAlIUT=\!oBɆ(co[//؋9WH:D,{ʆϭ" aS34Ckwjjx̆RJ',u2?}& 5/-<"^aa|.In1tT#z":xGٮƣ,niTh'c`100os'{BI=WWC.B6Ѣ_> [Χwe5Zdɓn˖Nq#8"} Dx+c=uQ`R" zTP(,&z#@61̕)VDiCLzSN[-Խ|^Vj383Um -lt$\~m< \tT[? ZEK̊)]E \*oNߜ4HjVIQmv1HUs[{ _?`.&^uVE6Rbhzg@v ; -R<&Eg(c9oAxkF9`*oʻq@K4ay8M۷x |G6T2PjD,Dy3@K XJ`#nݷE| Y^Vb+t_WJh8M,P-dlk4oI xx.3%Fermat3_4Fermat3_4.Quad_Formdocument.tex,/%Fermat3_4Fermat3_4.Fermat4document.tex+/% Fermat3_4Fermat3_4.Fermat3document.tex L^c&84bQ[dE-G̐t]@c5~_aw-Q5X?\*!"<2L3'e5L0*ܲx+%xPa1-!tHUPynj5 鵱oByAr5>2ƥћ4:*FɜF nYewdo;zmL@l6Hy< =j0\uVQkY:-@j`| "h+džvLrIT'p2ݕ0Ͷ<3ϩݒx88;"$LYi*Wm%NcS"L:_M8cJ.WxHy`}3Y o~˫%w\M,gf9B 1:1{Ցrh󖃬:.dɐAcHI`% Ar235CzXhB՘5$q%i֗wqڶ1U=B(Xk_Qcf- 1 SaA:ˬኔ17/WyȼZYcxyz{G*>x~%9# Pǫ{bf74kꓐ!d@@v5 zzP۩3R]JZVxD;mjDHYp(X+ mP`}i2;$^r/X ng'Ye7w+3q^.pǁ>1;6) =Y=ءMSx \]&^ַ~.@]OQzd*ϊ/ߦz ]1ihX^Īd6u |v=]'")UmXQILopkgq"҈GAuHi9cac !+:+pؕ/SǙN'uvoOu`zTLྡྷP.A $ȌpH>j8냛bT kkm !>>ρijmV;PɑKav@4J [dlղ ĿOho'r $S9u'Pvd#5OVlڗ0Uб2@Wŵ^+KR?=AEfЭF֝F ۜ_5Źi4aK;88WtU6!EdjF\KE;;&/P;KI/CqL8t1dAQ`'p _"`,pB-ow8j0/zI$]f%hؑ#Ϧ%O4$ W׀`ls/ ˀOpG$wnu+ ӓ3DF\ʉW|H$6OMJ{=/W 3 0<-k(6uWMa8h@R7ѐ0ؽծ}n`jy2bu{e%UWC?{lxsch_ISXiWp1|9  GeP9lbZ%G0$j_+KL%%L;#;`wWL铠ᯥf*e7XDzkmYx^7Ų[2lC fN Xu9MꖈV$#Vhm(6\ !HG2taƥ}cx~2#Dחaʧ,)y&ivČEj|7Cļ1ȖvAR B`b!TQW@s0fΉ \~|wԃh%-%i RlI@$i.$tNJfBZ߻˳i# fv$t;PKbS=;BPLv7\,,0dW"!MevCCϋA}$2CfFR'A!{鄝h"̏!3h70 {ooP'MvhV](+Ƭ5Q}znPX3sARCG,e MKd"o=>u{V/<&tUe ZX In]+2|u V9Wt˖^9y)^hulloG I책 hm\ˬ,C. "{q('ZG„܉HɈ[t a^96P3~}QX-hrpGZ-r۹sL%k,j0G~_Xj9n GXNIVkӓf}o HYi@:&0ؓ TKH렙pb 4ݒ\[:HFTs͎/@Imۑf!x؉$結KBfl/r_5i)&ħS-:鎦`?_t|SQJf,4AW*UZ }.Tc;BW>O}.OPtP3630&;ٵ32r7P͂_]^V2'lrwF⮌7Q:'>I'3W''fRÅsmÂl֕Q 9Uz ̰i/~-mi3:*ަ{4~C!= %EvNrrM _ sHӳLgWRV*VE?@ق#y<uJ*",!mO&:Jn;4.])\Nd"e?(B¤5$f8ë+kNߐ Ɉhnn|{P/= 醕eчOׄԣ#XO'T pm6BmەavZU'DYo1奞^|, 3gl0;j͑b'g-@l⩂Z\MmбdVeQ"zS 7Sˊ Kj,b*ő{MvdkosMH1Y@1. gr0"OMorMzGb#D*O\'3 D~ۺQ-l5. ݝPMSJ Jڽ]A)\P3\?'ZZb,y#Ph]*Hи+bty( ?OqVNSC3Mm4-BM^[T}-jpwX^^ \jrƨ!D[tix2-4sթOŧ3(մMnW̗ _lT4upn-QhvQza+U \v8.?Jns3AbwkvrwF*)aM5cBs3Oz?vyD-`qIh,;@i/af><%/A=J oԎE, Ҩ+X]^WDܖ񵝠ӡlVԻ^LI~h>f9Qx^k Z ʬ$h˫{JOv$fI>]\ Hd '5DܺgU;kXP=1Q~VO*i9ӍC26;6/I(!̡5h`nH4_ Oݍ)*׹m6\iTvesk@\E`wl*V 2# 5vz#.#o Y32#OT| a  &`/88ǞɩL>t8-{DY\ ] FMIe*IK-idWLC Tus"I嶨|—n(!%fFd5ߛ.m^R[Pi}h*Y ;}>Ïwk )oY=na3'lLo)ɾsdG5ݠQ\- aB552&A0U6y&f$մWk[u^#oTiz=}FpLX0N `ljya3_GקRHLwm,iA:P?sFn +́¥3\Rبzv6%UngX':u2AAõV'?Q..M3* Nq2P7ǼBɵa<Ӂ`ќJqLEebl0S*2bmqKCk| -b~&rB2#ujXNɠc9d@:W2AJu/>+zlVB/+uC{A=ːojY$rÏFY?f2F"5;<2~wGs߇=<ڗKƑ:7zowu~Q/qV{V;``pC^'L)ƢF|~ܻRdTQ{Y&(5kfU@GE(Sn1b>HjK,Zr%<81tQTTq@ e2}9:`mߝ{U SHf7: fB>zX7gM@Wophi0j tNr\ҷR{sioQ̞N1"ܣO"mO;[MdۃqEHfI\=G~02)'DX[nGFq9w@Potn/*K"l NTy~я(d6aHų)%j 8DG+Pl3]_:~Y\l_heh yAe )>-B+bYErx&72xVAG@vy7T-}7;dиEm-\-7| BK\M2^*e^6uo|xWT((Ͳv= ( ^uBf(Q/9 Ҿ3:i "7pVKmAENpN.Y7 ;'HM$l恲e!pu)JQ^*ОPV7vo`,r nd!PmNsvuG*:0ⷁ4OJ:|J@p̶Y-Fm2*-.EnI$ ֩^U3`2 ņը{SW_c3⒤VM!a Z\3<(b4aJ82'5>KADŽ'v ֍5 oF x1F=P9l*;L-iuf?,vVDUJo2n!B\eA떽SR2ػ7ݚwV'ld"$XqwPYEU6-s1aQ޳>(Yn;ZTV#o գ˭.Hg1m7rgPPg-b Y5JLjY%EUF1e"dOU֨E,.Q7Np>Q~uU>o*:R0Xv482"v;>F.2BUI&Fڟ"'d ,ƀuUZwj.p^3 ?۫c'u ~È*QsF+w\Uax4e˗T umdrrVZm@z.]b*fqyWY K4-Q^Taot cʑGsdv4bM[C)&MV<~I$ܧltY0E;V"OfZ@O|tMxR +OD7&[ipz2 X^|buvF)Q,i1*J̱L(QdL} G.SÈr9,o,BICz'1N%PvLͥʭuRp)Sk$$H&_M#hW!'b!/Z;+f>kvX!N6h$L/t'(Ϫwl; YUR8ԇ^yb=7ol*AU)N x\&({33b:s 2µ^!laVdȻ_!ZNO-4ev>*UUŖ=Utl/ YTىidQ} j"13Bd96T{ށ;"h5nZ: "1Pjvh5 KI%5_j5#Vho)#V۬H$k+ 6 n/}y_@7ӣX/V|æMQ"k99:LԟՁ+,*E]{<73Iep`ӯʣ=SH%hZ!:F"!/ehR=봋h,n1mMx`TnE/34vڹebfLvX .X9K<|e4D~0Vn+OfN|Kɍp`gђ_CC%Ϡ!#0&C‡T|j4se\p: Hu!$"~W*\HhE] %4XdLV-aL7`M+NRk1Eleq.{ōSog@`p  %1ISK:- 6@*iV]ǰb 걧 8M 4ZE<^fVVh;,\rx ʬB+`0L9niD `9LacT*o;oƼfJU0zQ:k~㬽h{ pB1G.”n]k۝CLkzgT7s;k}eo߹*$8|v gg5^N_U˙L/&8.SH7 w9]Y9\ h~䛡)OqHJ0w 8KeGϵ8{1MXMc!Cp`RDI5$T*~"\#|ֲڧ@=.9U$Njno&k;UR2xC} ȳCs?i_tY ɍi-.GyMOf\ ٺUPKk|~` g0)1W^unzWٌQu zuee:ϒ{'ALB7+’9@!nnRn55uqqI1U+t2XsHF.**X9ơЩо+bGt[[uw;Fk`S8e+Hyr Μ o:hhmܖV윸OKF&Q߽wǗ T#-.|.t|hQ!!  eb!pDssʵ ]N`qCy']Jb6uLW'FTPhr˂}pzpi97tx.Qz=S\ZEQJAm(P;Eqr 3S*6YR^=Gy]{$%}E3]ρ2>&T2v$se.|l E@ gYZ ZۥQ^' {efk\- drtN4DSvOGHw` V`[wˤjOq󯅶`ʿ#L+ 'nclQL?d]ÿw'А:a?^sX$_-YBٓtV%-#ȤNB9lR_[ +i"PL /j!xUÿ=\Pbq {ɜ)CT*'DI@XxfU-_R5/oM-_g$`WccAxKKYZ;tX 0 ܰLoW@ yvvwPL{JN\<3+Srp Q+Pa)3`?̫ӿ}tM O^mk.W4 DD?ᡈTf2!]U٤aڽ'b2F]O1}ZİU3F$_eiW.9 ?UQcc"EzRgx:UV9M`MHޛ#!*hfQ/4Yjj|lG"ipY[(Cg!~?N?So ;4gӈrQi i_>@䁫H8|^G?354G7t? ϝŵrRGJ1'\ʼ )Bd!1{UVUjyG m1,i>`FD{<dBX4SnjdKfU2(!L#r04fo8>ldSj;%Xȟ7揙ˊEp/P hl/in!6l/{$H*WŗqR&/N&(绸zm쁅i+B*Ca"twmNKvp Xa3un|2"_Jl 8j/zhKF(%ds6j; ~!ڷiv xbO+'8c+Dea$Ԁd[UTԡUT"= p{H<BmfѳLTb ٕD wCԟ9>QaC+7"ԱWD$TnL$/ulqXV4#aҌ<64S$ŕ fjR5{j=0[)ZըOR1E軹I`ٷ"B SJ ee雾nDg 7(p-fc+wHI8Z獠h,ez e U.)Iq^Hg~F/Ԑ69jҔ<:jT&`NB}>1;D26Ĩ!3C;#0od7{CF>L`AF4q|tştBzFaOېox˳87V*Cj UM m^ :n+Ystn N2D.FYJэr#0iwPD)^~^Ƹuj/ QwxrpXuC_? n@b!q/BPrwuqd!􌷰qG=H۸no"\5 zoy2+ܯO\& FW<㉚:{ƛ0M =)x}C"kn>Jm)~$i!KbV:51u.o9NfUy"MJEBX(*-Oj&dWP~+JkLpٮJ$F8颠SmV)3GD)fsӅ IYFϒ |*G.HV^r`0|%ZrVHN¸7=-Tx=mwl3zsj&LfKk~W CIFڝ:tN&:tE7*ttj' ;:\{jmzuļ99]Jkk,::!D]}BoC5EKȈ fMVFi; fs lGW :Ra~ FL$G=ěbw`za%lqo|qjkGyR~jKsѡ|`]ٜVD9!5}$P-;R.=R̢"9oC" <Ú^gjr&O%\li& =1G<eL d' dkBFWWSKa@SMcDs&t ^TZȫbU)}&+ %^嬿Ctmld;Crѫ;@8Gw)퓩a*Ye}]'__U3@-at|'%Oڅȓd%pT!*gPb[-4ֿQ*.IGQӥf w"ݭZMuy734B4\{Ч6.z3'bqܐ`osu`ŝR-W(/Es2: m2 H |3b,&TvpŹơq>S.L XtblpF"^Dco2V~E"]< <$4m;DۮŰfxtuiv/esSD;(+-nvwˌ%rDi xTCwDl~SZd9t簛 5Lj#=]N8{kNωj!>T% j~Re|M%QΟKj* I]2q1\7uBvuXC&3'We'<a͕CiDm +0v!8U'heec!a+P <>c޿63?^C "okZZd.NK9sсVUX ¹koRU7S z9 Q0 ѠW%ȢvÙ׃ྡྷpmk$,Itfl1t&| kmssRq̇V~gL eILU^{JnJ6tAAC?B(Q*m >0 I>jn4LaF/AGj i .չ?opPJJ0GvxbK,T@E IחBcIby5|Bmb)B_4֢ 0l|/ʣ@UxtƕrQ>檮yՐp7sqwa?Ŵi̢Fcuӳ-wܯ9c0!Ȩ )U_?jݫ8LsKE2Z0R;rt?$pB}L)3rLM%p/׾+Omz Iك<֎0?SdD>Xa:K$652KzK=P i. Q/sbNv`- 3p]iUIYC5]=5;'=6萠 f/}iX?غ=)6k:p_9鈏[R8DdPzd QH(p El?߰wOvεNtɍ X+?_AP?5`u^wH[s0Od.ğڭuQ$̓vPJ}!}½`dfVI /?Dl|NE|# ;F遻([<=nCcXBFlqy} uNxf\'!R MZOъDEg6͕J){e0ȿ?T@[^'- +ODxB/r^/t M&)Ӑw潷v:T$ F_Sm¥ 5 ň4B(I %WzFCӭ2+%$yȕSnQ1DI*Sa3C q!aL` kq 1z|oDg$}|#\&&)"KDBun *v(<[0{mS^qXN!?ÏqId xدhR`D߇SQ]ߝoKW^` &gQ&=d73c:VJ"Aa_~^os,IS&E Tvl(8Koadlt,%=m²0/S#+*_WF ɏ;¹_р(VCS鏜H{߿_qaB#]د_,(wYYMz`cطJbzI(gmYj$pTjtdJ']xn4C'(_?;vL8 2ul-2Y. V'CE.u4A"O}v6{T Z&m@.8TXB"s0 /,VAP`hf5mCu">Z$F[בIbbҩ%V~Fօۂr2mgS`uA8:pDj&r,zU |ps`NòkGsW]i,s]}a,g` ddon>ͼZ* R uvQr%ȷ{p9Vs(e:xhS F^\'9iDu %$A*!Fuc,0Iz T~V<,A4!BKlZg`>Gk5^e@L$c{\ףN!4n]bXlita& Sǁ9ܡ>.^zn<raVDZ!n]c\y&yJ<5%fREF(a g- Qd>O}0tmJe**F1'%+ݖFw10$R#V`Wu8#@xtT@ t进&avM i&t J+0~vQCWOīЅؿ1q9s\{U7u7<,~:V&NݲDqh7ha#Y:sbvTk@R>O6cjU4m똴DR+o~"*:0Z;bAB /C9Aa-bKVQ#ᛗqOe/k}cu54).躔+ *$bH̼YߊZP,d5BgQ:1 Z"ė:%x׈#:J4acyp=fg/Ӡ5*4kSD m} ײ1z^/7Mw$֪>>n'GJ̋4N/.XX%>HinNxj 2Ex v~bsa vlF;a@Wqh$99hJڱNT _rm c5!ZjfH\$((,)m` [E| Tx#;0MGhBHY  {q&?0d(;Y v%hFjQJ/l4'r8j_ ejv 3\d9R1z^AX?BОJqR/1DV t="m4 w)bl6Ңd $^vX$ T/HL.eyܨUyQ΁_ hmY8 q!6)BTʉ6xWX4.||fa-[Ut@N>JyZ{ + 4SN:H ol] DVʐ3hu I/?hWEuߡY^gmz9":Q<µv}{ȓ f3rNwn-gQ]dUrPS-m: 'VHVZ&v`.]ꛟGcAG=v[TFY$-ٱ %qC{->FCX":%Տʫ_l_yG$N<'\uSN^lth|kk͙e:)-XI3An~= 4Ӫ0[PV{Zl1u ziYq/G:Loh½~2/%ݼ%^RZ<݈ e>+Z!8!,ŧZo\Dl68jZɹ4J.Kqql2Fm2E DZNq?9N *u*S-ɨR7z66 1r@wQ%}DŌi!9b{%zKb^)>~*:~M*p1ܧn|nyY:JVcKsV0\oh*LDRz2 M%}1StvBGnM$ _h &'prQ ۠J%tBȂii^&&Lj:H#qHԂ{!50 OoeQ&)ڇeA@)Wep}28&=Zx,̕F~}OET#}4Sh:-J8JdH'ݚZڏй goVǕT?!@;,UV[+뚵Ux(-ՠt?."6tv4@&9@+t }Be >04Dgd×{;ltډNDE37Oܜ2Zi/3ꂑ`0GҘ2";'JW,Uv n/(4W|dֶ.}ۦ)A$ͩfb? GIR:սg,U=Nhу*s @mw^79S43rΤm2@ r֚ {}jm?3/D풎Kaz|St@8l7F˔!u+JIp_1ցT7̥CtC}s'ۋ/:'HCY͗ɡrƙ&llգI- uہ _a kC羺zb˗Agv<C8aܼI"W@/_`LmQ=ህ>3BUPI%6ө/ȩCo1{\2 ysvńmVo Žփ-^a Ub+*tA!Yf30 B?,x쁼SEqWᙰl3Nn~$pӕ֤@C,Ut`fD+IwXq~+HGnwqK`%5 )F>C繷hJ6fX D[`Q;]1 /f{ TPWێИ'LOeBߔ+ $.H :e-ML\pɺGtb$MҲKW4"rFW+)'A*pnkm3j53ԸWdՇ9e)`+MZ_Ϧj&'<3Q@tTHjSN=vbZQ] N|3'.0CljZkOaגt)@$㷅aW^E*ȓmե1Rtn4i/2-- G̐>BL"{x|B#5R`}'j=SO cw'ފZF-&8w3i=A_8ǀP)qP*Z4?At3 vE/zM%Ld)XȣR]P|w6,Pr%%pxIC]q. oj cg{:r!Md -n?,nmT=v39(R>/?p{GEzh1|5,p_-!C``*SWkQj33L%x;Ġ*F.\ %";jy=&jo/'QPeϚǙ 6RWv$p; G4Lr`{uJE9HMCj~zGuXKwT3dtR窈 6H9J(W ? ov6u^LAug3נjf8UfXT. DN-Hz'?7 FLSfa@mC|K ǔ U*(ЂRR]xIF$4"Kxl@6R#>Me AFhv?.U=R\\de, P,8 {/'k 2ˈ2-,QF%2H-J ĈTҽDYm=<ղU2hY[)xzIBmD-^r5xh[.M"}Q`8&9HEm[0`Ka8ܤ$-M+EP~U?;0ql!9ZJ!vS,:A_t:?5/4Ԡ]|(~{Rͳ vFGXC4"$;冮1tqf9x9P0C%bܔeC=@yP(gɗHªxRmŃŎ͙ Wt#Ph7K%!sF1zr>N 9>e؊g*ΎA@cuPy̖g@eUە3SuIJJ$]>|s(#!x):$98xұ!~I8-1(lS3}qٔ`}P F!۸&hDGRv,8с5O 7AgXsqwQ8/5bbo.6X"gOKHPMmmU_kOͥ?Ade]@nĖ,;j;MӻI /K@ L[=koLGm=d#)A969ᠢS7j ^ˀ#W$M-ޤ熥%[lUX82FbU 3Q䤬e %I8l6CHC,p=jAW/;,|SҊ~Ey{| TTFɅDs2 7y;|n ;IYGar`d7δ:%/3sipכ3xT;X~_  c7J/r,8gmeg#u-~f(BDDV 5m!$j}sJr-2Zyف6dNRrxGǭEVK-Ӓͯ;g9BV bs 9S|S1{\7*\(U(yyj[e^mh&XtQ/?c:To alP\Db88KC"aNk@$ߗu+*SZo.᭘咔'hBD`\[#p#Y2NQ{Me_M Xu PR72$؄p\hn7s >n7p$8c kg̈́nᵋ聗FL"]L#0k("bx'/@Pst1!sm,%him5c? D*-G/۞& u )U? +h!҅XeeT,_[Ucg!v8I c~RX&ƅ:-UhFEr%9#1TbgUj[L9fiVcPw | S$zc Ԗ֎b^ S> ;w. o)ɎNBp_NA:)L7)\.It6V[l0 G 7'cͿ\05{ ϟXlIap6Ц `^H yCrUaqe6;;f?/Pʜ!auh(DAŧ اw@^ռxYЗB>uzl!EWu+}U.Co 1 i)-U ʭn%Y#7 _+ǁ4}Zj(١J{UnP&lWۃne" RbA\Mޤ|ae$D#.=[dAߌC]dx5״|H" H~2;*Ui\C\@tV<5]י򌸖o/ ApM$Dh! dK^!žwqO=C;fh*8 ǣ2߇O,/4AQ1H4۩X0Z!zG|om^Tv\$˒b hy>bHzaS<T0S5 q~e:l3$Dz ZuAN0q1arƓn/u2U-RF*r=.u>D{*{R޾=I~m ! ]G(]Lc;0u?7iLބS}7.h{ݔtVSڽlHy|4K' j""SYx\ī;FSKȃ춳((*jɴnUOG?7]_\z$;u?;fi$-O3ʔ/pD *( %|Hk< ;C=0R-˔@z9@z2 MUCfA0Af9Ԫ{9zm99oۭ~ ̻P9˞: L+s}CpRy@̏/ "RoIK||.j\L@nI@n/rXjRFuB.qQ)%rp⢄KR?W7ǽa7̧v~UMR{@ 01ekًT/zXs P"y\$ՈMWKO"s:k{TFLB~j'+0EE mmҵ:0I8H誰 R|.kFKUQ)Y08Mm _T%'M|yuo hd.ĹP% $Ѵ T`Ӱ QvQuH \ zc+*:_0E_$%̿0I{Dſ)U|xg͛hѳkeQc $} 4ƫ"$~k2'UU<@W{(77Aқ + !CEp^n, UjM|KTu뛌/ŞV ~۸Xζ!f ޓ>W؆xbB?į ! Ym[L$TB\HDܣ 9#)*Y͹B40[/E*$[e+90DI,}&\Ԏq,Tzݽ#Ϧ$pM#ΒU4;nxP@Zap?̪ Y3/>beB+Sצn Y  KG$2) +@=;Is!Vڍ[nlj7:Ban:rJjx5,?wfG;(w G.ګs{"IAx^y\ o:oe#aN G :]GYiC})~Pg'ȨOmB]1,6v}+K޷ :u]Z wbTZfHHfE"3 3:>@Ry>V ⱙS~AW\0gՔ[]깝%s+G$eZwnZRm9 4]eG6OJTXcR,:Qe?$E o\) I@((G4}lbE R}9>535Fߠx̞KSXZuE3:dHi{J 1J@C7;g)aB!*E"Vڢ U+p+|Se6|1!xˬݵ\҆y 1k 1&R4M86[wc HςA{{nݼ #BӛJ1+ܭKQ|}2fY)d.S/ t %+{grv b:= 28(u2d| Z1g,3L2I!!Y P l (F yg߁N=IX{"}.Pk! , 2P.B'x (%.Nm+wpiêƭccOu .z2%7O0|~.hYv5b%:X x1!Y֯FqM6,& Ʋ)@El(7LIU\Z?3/$ٝy }5[f7j>x8.1GZ+:2c1tIOg;AZ߲IkvShRhU _vQ32;?Cjln,^wF|3Fy0,%6pIe22R6n]AQ]W`ΑmBT+WɆWC,M (M5.XAl̀i̖C;zw:dz_2=#b()|if0MjE%6V=X碋GoQ:ѵi8كUVxrv۾̖)9yx0UGQP762E#xurޒ1 V~e~ۡ;mm -b2#gFfO5T0QZT;i:"xѬq챉-TNU˿0JfhN}<5-E-~鎂GWja I9O~=h62S>a 12" #),WԚ~u⫮P$m28NV쥄;3Ԃ/\#74~ݒ)R % fe)<{y#Mn~+"ϰ#Z_ət)^F۶S;c=riᦞ'0nud9g |!ɚ1&^*B!ZQFsq~z,8ڷ jow۽Y8veG7"_ -RbLl1b#ۼXr3b3u^k K Ysx:zw$3)߆ F J*[6sZI%AjR1C5Tu0 dBL~㬂v"ų 4xޮ3#+U1RJFOP|:0sJoyy9" 4d4A(W ^ 5%lp^% a 7i7'(bPѕVFɕ6/kMmt,W؍S]VI)q *xyypW8`6՛KЕSҹ "fU(gAZ-M@QT-AiNz] H]tjzU2*$tuyZ1 Ϻ*^Hw,&#S~ .Pi0B-czK!={a &nJSGJ A%؄f#Gz{;AWTRy-lL-zoB;)ͧp]94s[Rl v2 WGunrC,6%Ј&|ʜHk-aOWK:2!Jz_h WG{sN+>L>tPFuR;7kjc~Ne 2bEf5u"Բ3oӞxKMͩ*cVȔ'{uwl"#׿leF)DU^P-\Is|͙׽bE~zmT(/.Cuh(D}6n-4<;0'}0.c Xu}HɃgCPr'kz el1j`҇g us #I߫1yl?t5?V nX--E6uLБ6Wd34 Y mb ^Ҝ}Es]X ~Lu?Xv,DIT_lC%0/bsʆ Fy[2`LOr3E<$:C}~=̇-bt[yNH:0&!MmU\5Y8mogQj,hG/϶O7E?x _G=̷BemڴU'pPҒ[Jb~N ӼzYMD‘o -+<jo 7?m@*#)2a6NbGX=(we^&e;.ݦv@O<Ѻy&z5Flk,U3Hx.UQn_եM5|әdܳG).Q؛ Pv Ԏ ЏQU* ;4+3Q3+_wԂo9_muBȀu#_UҊ?RԼԊ 2#0 b5KX*ZdbVQn O׋5.$4KO+\!F#GG# LXe qDnxL1ntF By(Ka#NtCy6" ׇaiw'JVkq?KsHnb /WQlbF$0A|(g3uIj= nA`^lkҁ"^n"R'T|͆TFGJGI?)JCOg%+m讁^ N ?|v}C{h'+Q _H\ZPMEo9Kꏖds sBڻz Lh/ /{|PH%X?Naz{5fw:Ƿ䉚;y,B)1'In[ $ˤhW6}֒vuʤY4YoDτ4MTӝ  ˌC9bLɃeQaΦ-?p?y1r74 t (P…跀 FGGfR69_g"˲Ez_="TX1%VũYCѓ;9om ȧL>Sr NVS=ݪ!'}<|,X}/R}b+Z̨_=/H=?2P!z[wJD&~]Pκ1\!:͉jАMV%}f7bo%P3eVc${eqv!?)so*O/B7fRen): .}"I#=4.;±ToBwجj;z>`o|<|"0둿%g{npxxX}fWq$a' B î[ ی)Gܤ@/LZRl7حke|$nJp5m lR4ɯiy|DN|[Skl$-3a3'y: ;dz@$NdGߴ](Y4Pt$8a 6)1A7[@0rq>f;93- _؊Gk~Tx=/`:/0>m"y+[Ry&+0P!5ELJ10dM0lOUPP' 7HQFyfƙe3~U1W#Gbnu=_CosnFB%4Jr6* '6\Q+-t.1sVӠL2I\DŽ9a7u$xK@Ҍ}U{O$ɤ+U  l L TDzS?d$]# }$74A/R#JYuH-cB kS?JBsY3,ZD1,"G Ni1,*D* BSb% q`,y[-dFǽrs4U+[VUP7]2N]aLSԏ6] %: J@$z8.Uç6z/4n%,7YS"3Z'PgHO[x=t7ug,:;vf K|$eLS gT* wuIn#-7sSP(致DP$CK"AҚx,RtW_P/HN6-ӱcBpqBpLN W+!yC]P5D>Ud.* ІÐ,cjE Z.l!᧢WŠ[Ҷ^ D Uԕg;B?uk0MꍧL{Fo3oW_]M,#6(a^)ʆĈfZpupL. UxZIT^l/p4 ΉTk$K/?#b{ ՝LTQ0&- \ĆV#;L {Q–Vj4f1q`9 ^qSdZOa@$qV"HiL Qamq``\ix BO"b F5g?ed qgH$/) Wxyz (mb) 4x" dq4akJDּ{Zl YZEL@Hb2B|e"Bhm'0_Az튺`ϗ l0JN.qΞ"ǘɣ(PʩFlF Q"2 Ĭ'e~ gv5wi.v6,Eᭌ@~>IPݝ Bx;]U^W4oK *<6'!`Խb~{^q.{S*S')5{C]౟\*whr8{IhR| TPD`3Ms!};1e:w@rMZr;[ z=7o%J /_Q7W~^L~%4(:gyLB#Nuh1tK-9zB>qϊZ1nުn,ǭ#L8r!zG3Xl̛+tQu0'D_'I+RnJ+wNfJFOSD1B~ TPl2F,Ƚ8: T3W3FZ*M1Y>v-~+9VEaoiă1t!>ʟL{jN2dSxOs11` ڴB N{W\HfCd9S[nфt8|Ey_3ʪi#65~1;5g:} t;ݻkEzb|G9'$.&{ zϪv # T?ݫ ᄉ0>!̦48>l>6l몑Re0cWRse1>uD2o;+ωJKt:k'!^`A^e];LVIjs#W'8BG`p* #OMN$$c!?\d][ ~ Ȗw~I՘[qb,UA[`ve,ഹE{Y"k#PufQTτMrVfߌc/AwT> fucx9&ִ@BD(OcShOw:#K[Cftzи1'e|G4.s#b~D'f)Iw,k}E#T[ɹamSkklWfFW˾P`|lοjPwn%eb X=^O&WѪY$ "nxU곲!JekqA_IH<^g8tҰFbla&PNn%÷}b(J!UhgIdA{֖Uc]:_؁yJ!|ʠ_'Yf%%fs*\;v4zζj8(ChW\g9}ևxH 3j{}y HVD(x[Бb'`l^YIa7,w=JZ_|;hă?nKCəC=AU:oq7}$Qt)8HqA-&[`Hzւϩ6eap8L͊ E{goWkۤn|Dn(L*SxXlYկ\x }I$P=X;6ۇENkCkϛ^Qݸxm /h_m)7=%s&`^µEr b!d>q]q]lzx&.05ClEX.TmGa,Cq狙#Q H2Jkv#JEZ#rw]uX@qPO3g%˗ JE-|M$Y]:ڻ0Zd<'as,?M29R h} 72pǸ3gAJK=xPy5ic=lѢEpX~@U79zۉ5qQܸC4isDE]TBVGX#Ե\dJ%J׋'&H.dy$3ھNZWzQY`|b(]#p^;0WaW|@adF^M7)v/UPI@KL:>5F]@F+ 9-nD|Zm'D NVL<؆j1nQA(cKztM[ m#6],' )X߷0_`LSݰ u3->75v[Lu[JWvm5FCGyp0yh/!-0NNL@'F$g3:8ɲƍacB\?"8ff޸DW9/DA~$i<8ك,K$G/gMm<sȥZO beARg1{K0p1z:Ν)S2&UI ]*nB'> 1!j,,Ҍ/gk7QP4x㐧"0pYU:C&Πgf QM^ { 3~h'[a7T.7j({(ܭ(&N`n6] aP=%eyKͅ%1Q{A_?W%+s;@?.r )18J鎁*{s+~pig֮3to>3TfW*|aW)+ m,)m>c(x0N+pu6?5-( %KHޚ}n,CՑH/Ē\;u;Dg5oO|oS xe7[p'3!ՠnrDi6o9n̤嫌yrOGmA>WpyAc)C4Az}P԰Sooej]\A.=F.ـ]OM[옦W,FO2I`%φMm=U}7]9r:5)+>S";vxZ}{qq-@ }709:ֺ ҇ u IA5H6ߴɾL/doN{Щ+UzZ&R; *ق^ [P UNZP66z4Ze RW(Qvrcl੺4Z>darF# ?M\ eNZgrX,dS%!=c|TZs/qh1zn҅ S{ŜSБ3pUiEsj$F?1/mhR@!.=pFKb(ܨ+=kUDi)PJ6Ĭ%/BBhLpzXc&rC},8V|@i ɦ@9t *vA~_*?_>a,lͮ:pQoi}FuBģEX$qqN~qӢ[u gylΟil9)ufs?h(Z\\u.a iʾI'aٰhK[@g8{^G8U7Lb95*ipAG-У+IrBbږN~G e·8 1[ ,ZMmRH/a d?Zx]?!Y'>-|*Z(S ;(-bWi#V ldu\Ah6wrl͑X<) _[yo$trâE9h/=cxx`M Mp!62mJFJ`)uN]،t'SXyyږk:F\aL~mClt/yE;Xa;pHLs覗tϕ,4u!y0QS0 3h8sm㏇8K('jxX<(IJH^IIbpW g$_k`i'0Xi)4㦳vbF@Iz/=cg_ m,~dYa){p~7Y6-EZ0E섨ZJ>uZ6dcwcނ R$(RƱZh;84UݣW:n:0vžf,2SbKxr$Pq7XbS/'b6&4@ Zsڐ]_H"In}]{P4yq.شV{ӁZĪFΒ5D nޝ= p"ŗK[{YEZ*bYy!;i&K98u |tF"7X0Xkzf`Ik<Xm6跢O@#FDSU[E16`f99O&\ iފ%8x\t`zsP(&Z~b ;5)/ɵ|-3V:P["ގ#%F/^ٯEfBgTH a֐BD3Bnѷ$9 #]*/νi([AE;+7"!3*9sw-\(f,ĽG6[rhUD5 ' QeA[[ŕ4vեM77 L,û`obOuL]< 3.*ٹ_8`f 6\"Qd _$BS2$og%pxiDcf _)U R@'7VЄ\`6 W5o uk=wM̰\HFW%z7TԻg$c1fؕoFh-_=_S ̏g%/|ռwhxh"9}Q2*ϟ('?7R-SŹ.ShTåsq0j&Cڃ1tR|Hm{&n.T/<="O3Q6賽?Í` &Ds3U̎"l$0aT}RCmyP!@/[~i $0Z80sʩ|N  6ղVv!im39@i0='2S`gy!mDt;|a8K:dDL-"KMg sC@hϭv-miVWDLF |+`y(PX9?ךxFs<j|`|U(n!eBGX9NQ.T V&\QS~ۅT9\ǭg+K6p WG1Ga(܉e#>3w4rKtq'Tf9oXmyүfܴ3uYoǬ습9 ڷ GVvZuۄR/yWt(f]V9>Dt^gn|R)^; 4BJ#qKD )t]ڡ eu l5Y;b~RJz]L45ɨ <|i@a7A#K bLtG d|uDM%y@rIF[+k0o ox6O4Ęi%A#JȌ~Kqu /`{2 U`=^\TPY!cDm=b5ۈ<郀IRcdb6.FmP;nk]wYs[u{UC,YQY:2ӗEڱKFC& H}a6uLc=hFGt/$A dv E1rF6[+G"VtX.5.a;tF+^V֫'tK8:JvuPs?%H 6k+VgI(!څF8F3ߢ-V-\lxo𚘴R?)(񧤪N]> yh8|o, LXDžy[Du25 uX]҄vv,Q\0Bs* g˘ (tӜAK0&LКӄLD"yj+jϴ;Z2px*4,܃ PAa(HoNUp9mI* @pCzf5i'AG})'[b}ZN睓hlz 9M;8&U'ֲSu -"& :V&4]'NS<1m5Z >7:JHiC}oF/s\k"tWW. $<>2;:/JyxWwM3 B,ʘ;/8;0&@U[O!Ӻ>vhjp5R=4&?l&j4*8'l 2 OEK-gO :1+1cKBjJE%tV !MB)HRw.bTAlbL+;Q7zWL/tLm]Zk o*ϖ2.77Rrd6bSCAgsqI$1xh$* 7`*|:bV `T 0o'nVИVFK1]̙F_U\FD ./oqMa9o9OzMzCP&&SUXY .j1E#-&Y-S/fr v{Y[en)bZ )9ɣ)T*KjȽl 5coYZpke5n!7}uh}>};wz༣KXo0ϕm ?6Ȁ7+. ;8# n 3r`Ք[ؿ GfDyR&ˣ% ~ W[Gk*&˽^IVȹc 2nY;|6]?tO{_GؙcJi^$k%!Լ|v9p9gǾ[[P%3EhORW Cu<٣&eofC8`N vJ5a8z@VWy:*>8Á\7 ~9h{`yCm؎۝zFḋ"KdRR+ R P"s%8tO'sh:ͬ@>I~o ';A+V,):XV֗}L8&h !R Yx#ՄzHSF1y 0k βԱ1H ^*ԺU|1ôDž3/ xNO~=#}.E`sjnngHQS ~W+k m2BueQ*?R͖\)GA6V@M>aa]Ko͎8zT38ؙNy i(uImMa%!(TL*inWݕA!*Y;Db/tյocpSZ5}*ICV$akǫz k6;-\+[ش7 '7 񶕨+MMuj RO◞ZxHMPLx̙0|'hakˉԖMa ЫGt="j0HkWd囔8 I11(60Ht3d̵)CyaСiJI&18ճEAa$7%vc:JUsVMYTIglmtf"۳_?}q,6 +ጸ#g ,?0}(|ʴe#>̕5ǘS|(aѝH fk-v_,uTe4uMZ`EJL͗(jp:= (Ak9׽~Az2ejĄv2.[uyo| u͂P.^HBNX¦0n+ rM_{'M'mKENh|#V_ ɱgYZ  R/% TFermat3_4Fermat3_4.Fermat4document.tex7zXZִF! 1a]A-MՋhvG"uIBm5i5 {}%({{%p,Ik+4ɍL˖_\" 3b ^Ձ&vL]iA"nfF c۱[#EnaeG  j~b{/-S,*lX2Ud\4xD9 Gt_a^vzg(YV*(QX`6pL{𾆣%2<?1\6|'R]BAE&Vߎl+p80\8k N#荮"[>MGfNVL Z/% dFermat3_4Fermat3_4.Fermat3document.tex7zXZִF! #5]A-MՋhvG"uIBm5i5 {}%({a=~# ;yMBI(7/I~؅űdz%|%m8"vI6'1)QT*!A R\_,UꄮC15 > s*UǢ,ǜXi;?ЍILjFtDykc&[`havE"/ϠL'-.Zs_ ..o #I˒ ^֮qOOLD NԘ(]q=b5ie=MpЙYm;gX@$'=%;ɬy^+IE3|1I%NgZ?@rޓ$ʇ8i fP̌#mDB JlvL5˯>mM'OJa||4NFIqԧw+w1jiϬߔI]gcV퐩y3zp|yRJHSR֩~X4]1McbO=Epa X9ǐu>*@%bH8:J"X3Kw1K[+.olse.kMfTAlIUT=\!oBɆ(co[//؋9WH:D,{ʆϭ" aS34Ckwjjx̆RJ',u2?}& 5/-<"^aa|.In1tT#z":xGٮƣ,niTh'c`100os'{BI=WWC.B6Ѣ_> [Χwe5Zdɓn˖Nq#8"} Dx+c=uQ`R" zTP(,&z#@61̕)VDiCLzSN[-Խ|^Vj383Um -lt$\~m< \tT[? ZEK̊)]E \*oNߜ4HjVIQmv1HUs[{ _?`.&^uVE6Rbhzg@v ; -R<&Eg(c9oAxkF9`*oʻq@K4ay8M۷x |G6T2PjD,Dy3@K XJ`#nݷE| Y^Vb+t_WJh8M,P-dlk4oI1 \3% dFermat3_4Fermat3_4.Quad_Formdocument.tex7zXZִF! ij]A-MՋhvG"uIBm5Yv0xΔ/+^2AElp|T{32)AM~%6Wkՙvl=>:d9SۯUy ggS&ҏpވ+aOk@Ʀco'za tyw]9wcqCdvēb hS ״xXW>cc#ek%-2 /jm؝.7/Dx1Tݐ\Cq2qbM.?C\%yUZn5&h<ݨJ$O%̛㴿Km% _. So}:&&|PBk8hfn$׎Fpe$6ُƔ7FW)w|ZGInK<'ZhxDĐ?3]ѐYY `Bs~!-B‘!$ >MXy3:EVBG5˄s)[Wdg"wS 9 w*v] bMҙeԿRҁ׷J>[37K P6y4Gl ]ԡaed,L9G Lswo\oF#C&hJI J?PDƦ2􄾋2920 Rޓ<$0gxvܡGmY2sR.fNRi *M=G' ~_vѠKPsȀ4?2J~C8(ZEQ ʁ1֪, Ixxն"VTI}NB=\'BNX[؟!d‡whHDm8$Y)؝gnQ lA:H<jMƮha`5H.ސpD:) Bc95HwM%Ii>9Fr2[P?`vp/7__*A%iKn;DptO& Luf%8x'}Љb!4w[݌'tnW azw^(.M~GаhTK[A//Z%!P*4@3qx:':wG@qÌi2lªljIh:^OKA- XFQƙhȳ'XFsQ4?TX[$GFЊf91W