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 !tD\D ]% Fermat3_4:threads=4elapsed=18.298cpu=54.324gc=1.1887zXZִF! &#]ŗXiɟH)0!h]Go6,;kV9w з*)_ K ). m?IѰf 9IbX;{QM:nu`j.E)#W2Tlj,h:.Կ+$%h8@&\lC6/3y)E,3kQfC%d@ǴKS['4%.3BϽ "G@; ӈ-aƨg#Ge5VKURx̺!-ϵ1 Aoc ˣ:޷-:f7!;w[H dn"@Uf\v8.5PZnoIܪ99[ ),|Pdf߶bލ]^   Fermat3_4G /% %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 O /% LFermat3_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-dlk4 xx.3%Fermat3_4Fermat3_4.Quad_Formdocument.tex,/%Fermat3_4Fermat3_4.Fermat4document.tex+/% Fermat3_4Fermat3_4.Fermat3document.texoI1 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|jt mx+4ހ;8 }͗RS>:on?)ԜI~ޕ%~ʥBdd!)7Jh9.Gt5= /7So<8D#}m`uht|z7AJ.qB w(dԖ6d}g^jw _x;Bej&=+aqyW7iՒz:\r{UC*ѭylc.7襀HZǑ S(TŸ2b)[ jߑjv[T? G 3NZ=L wC6IZJ} ?QJ78yn]]0q[Uြ$&xkOA-T*Ndο]{ 7 H}c*Nֻ&M(.%%K='þތN2}Fz~])Y&.ya k%r/%+@IAa@ XU„'C5,q2l Z>Е-ؾP*˔jg)">6+֢pSW3(zu-tMRZo!x-g_镓vև~fHLhrYV9M`gtcwΗ0v5_f Ma6 Iyy9OOpX+% eq:VnТbf><,h&{ q^:/H錕|e< p6Rڄp_ DDNӇm9:9)Ή[}~s o&;92jKn?zYB@#j,I»Շ|=h A7>OnL]>IO-b8'ˆEbݰ j*Ldzxыc]<%>Pw@mv_޵@AB!@y9:)̍֐~u!c^}c8{9ܔj}ic"C^.\cޒ5(?inq41?jsղF{FXH.J8_ 9@*bĤ#R~=X'wylMtqئ uxGF\m t5P6̫Rt`sHuTcʇ>:$im( FC q{z3gib#tf5|tA 4 %eh| v65'RI2|aIv TO/opD0d-ۯ;2()va=<#j1XI 5vs2{%v$ WEj ˥"Sy&5ANY|{k}.xw#&;}=Dž j=l۴!tQdnPO"662k-9 k/s1 Iu"ykJmY{|g-yɩov32!-)cBxgq} fI*:K5|| pGCgD1ɡZ;S<@ѯ *\{PoOբ]GzR8Ǔ(cU`7*/w&8K8눚V>,D1b:Bw<)sm'ݢhG"ar`.rw> ?^/aP" H T~7 gS Z֓Gxݭ2\ e_iYTW!"-Y&H?k lh?){`%ͦ O)N @MF+{~\W)VKvP8n{^XP#U愺3-,o TS7 pzܾ˞)60a&:.Pn}i+ZKSqO"̀wl38p&W|&zpE"p}p&KVRQ+-!3c˿{GP0Qbfw?G} 5L'FjOhMD +w"b|fީSx5qܻ΋ 5 O}ʩ#{w8s@mMQh{uPxE; e;Ŵ`<8[|J W ^lc=^cͭS~"_I)FPb4Gˌ#ثkZ^++7jEg_0 Kv)N2SZ4G8Z(η]?\٪a|H Xv ^B-8(Ɖ+jn^2dΟL6NoqdłH0Qm0y)'Ytm@<{oPn'^}mRP]Eg]nGlG=ZMaM=ʳ %Q}A%3;NqZ]Z-x7 ޶ U}g1uQͥ 'M–.5.(% ~Wx؋_gt e7ɲ{=\:HyvAϢY]&%pup\ a5ى |vؔ܃@ -RTO_`3[sBL=ؖ7tFgA~wQyՐD͛ wӿuj}TH~#Zs+F@9i,|p\[0]=lc@JeDQs(2zË՝הJG6!<`FQJqӻn/{B G*9Ut"Aߘ ܈Lؒ-/m?Њ>YIrg\QPZdhտ,V9OSPfu&vdIxMHeKqe0Gh-gdJsVhXFWƒ@/z#նT^0ر}p H@ȸFp od Cac[ ֿqN9~ cel N &Eb+^.>N{s(MFٽIӾyjq]MH{7+0gQPjW[TŦF1@ BK~<߾1˯_.Ս cԮb"㷣EE9:R<$mJW߬O/Ei4m'ېb;@k~LA9bi82*>0oAp5Nuq ZnI|JC 4/P$4)DgAļ4\Ck*zSVTd7\WArݏ.ĉ6ER7dd+]RӏRңHY0!^HEaB 4V!|>l7iD=ܽٸ[;9HRokuؒ>T[Kqcr`_7b~1~4!/pY__UZ1Du̟Q/|&\A:14FhH|{/D(kb FX\3?nvRB/>W|}OVcrr}m"&ϕK=ҹ'{ם_R>aWfQ { :rDG֠Z# XILh!j} ɖ}Փf(AAOi֘ Lo5n[㶨je'㦟`Qc4aL-+rg>V6v|KL,,#_ǪaZ1(u"d?N%jך? >gEPdj"ɾbǟqhk aW[bڰdg3d^1\tN{p n5ebY\3s36hF U0,`c1)#7~i(жcVmy3β ѲDnM'Dێ&E`kמkmm;HGj2Lz$S&HGG|A fS1(j[P6ac}Y$S>$ @J%ͮe@ byT}f8凙IQM֗֗'$]=Đ~@<4T1J)HcN]J,JyWfJ|'_ qmd%G< {&:hXyJ$,f}G^ $j*cꅈM!hwBʽ_ȠouV2?5bYSvSX;ʫ%M͗pSpTL>pX=2K9M*ǣyXnBEIn+eT)s/zpxtI^S9'(K[H-=^2L J!ƸVee,8Fs)&ny6!'frDZ ?gW#c5&_ZVX}:l8 .85&Ap d(%l'./Zv3muTYgWϟ+H01bhlw-JDŽlQc7 =5DJv@GEea> nJ;F Hs3./Fh*&=\ x!D* @[/nk`?se0fX|Qy(iC4Y)+N"o7 B&Ϝ H$ j\D][fY9AW68X,eGZvB""%f]-)AAA*7B2"$a ܒ_WU=PlS]f=J@M/WK%A'EtU)&\^3?<8q) =m) *23;oadźpk3!7p4俀#QreoG{ c]ua*ȭJ@L8po¨PИez 1IY=nOYso껵+/j]JB\'C)Gʨ Ū蹄үe2QZk<##5Gr,v(yGfh z+,*xm'^!2u}]WT{FvC[Q,S7L7(v!ۿUkB BMRZ=VŤ;۫{l`??:{7ح1[=P^O"^V;)lʼEvB8stpG"gMLmݦq d ^SP&V'2 #` d~bjTt42`|͑yT@}7 pT .832Jq?Ci3$>ܙከbKEGdU,po(zI ""s4V,l 1ذXd+'ʥ\, % _rtFsJ11P+%,qA♜-*zMYJ_qЗ)#l dء4D.+(_M"׳|/ s캑?(p:ZdIh*komo -r}`0wa2O2KO-p [F/O>U6SUm|vAw2)l,,&W{E 3NRw mN13hFOSx ( 2;WlDdH[*=]O1O^vLTʢލ,=|$=&d"*X/kcL,mh)X^IvB󃩯mJysZ U:fo'"I!^IOtQpI2a _n' s'+w Yw{'كLtsaÈ&W>㻆9pV Xb)T1`_MRZ}f}ۧO`.)ģ;[DF*fox TYnay"B+!͘KF.aX6`GSf*f 73V]"gٍ  G')( wf0-C:m.octDy3"B[ ufzE8yTiz o?~ܗ:du796h5|eҜQ:DUTEK;m ^]%X!QWT?؇I D{|\]3u붏Sc){#43t4gjo`!&j8 AQc@}C1'. *~oPOT9jҜ59h#l/M4c,p@hA/`n \ $@JDy\(Ɠ[=ᨘGT2?kNVJ zEn {ݥ "r@.@E.Pʤ/HvFs#smwS-x&?WoE1Ҩ/S$&>SyPGɸ/e%N=O){D3k0($E.މ?ǐk< O\Q|iʪe9Sܼ7V!,^e1oc ˬ:.)tr}XyQA6QHen ݥy0UVN+&L̟o ڡ%}@)b0Ov O8`"KoOο@3o?TT݋bs JH` LR_>hZ\n i8_vSZ[ _{>]ILH]cuoQ{gW&Hw_QleW4Ev#6ۗP+R?of:w5JDZZtPNjT6iWg..Ec ]X\sr]2>EZpJ |l|t.MhZg H+__KoP"~vncig|5pT$5#p3cW`waq^H+eWMeJЏz&  B K8qQ(Ab{tؿ\}mڥxÉ҅:vQ!n\#;㛦/~zvl _V>k6Cy*U7L(:xWny1ETUw;__1 R3Ʈ1yg$^2Rn~WYĝU- o"+ ª 1kJ1%=5ې+6`# 4bEPDͷ(|LP$R}V\voٞ+:V,-YV1X-hCͨ4*0:'4X}=jb!d8f$oTgܭb-⭨|IYQ:6 Gm=a8h퀅ʖwG[U))dֱcX~O75'+Vg1gg}3=ם>0Xnl^^ <*ύR?,_b‰`zM n)+:|P͌(c͔0%M]usINIvS#;'CQ hzTZ4 ;|"QMXG pc `3:h{U3\ۗj 0=[FZ|c4ϰL s r(ť׷ Q{68D|lLU> 40o5?>vtn)hLU0Ju75;DBucx͓)ft@Hq|7uDhU;C$-K|{\% JrC}Umz}̈́ O0kwb hc<ۺM-sAh|7N(e`έ.$fc=] ]j0`SJ3k&|p5}Vq2 `s"S?hJT_7RЅCZrӫA:H#/:@y5gd CZ{ƸDs{\K70CNׇ)EHn߶5H⋸~Jʈ+G$ԡh /2.ث@,ky9(xφpk^cBrp*E2O@H}Gd}hD>;Zp&IT|k`=_egLWWVٞqٓ QMj#C{n7rEro $Zŏהj*L{ d8M7GwE8d 8K&oK::kջWy%xn?^r=X cPd-;vo6/EKh63xZ͂a:`ܥ)fægsNIM>5-zde=~jؤS!k6ν`ovmL#C#F~k Y 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{<dBX4r9iP&8Gc@Fĸ=՚9cxK2vo?$aGX5W|kL4Gsi䖁5SG *U ENIPj @ݏW6.)? f 7d3HM_d"f;^-)$43/創bJE4">uVp  |e.g Oa/5g_Ud1 |$JEwUJn4C|b Gq' s[ZCC-S-Ms384$l3}tl=,, ZwNEocqLWdX=cuu|Y"V1xp`-۸5:3M8k[x85UíǘaZf($"Sc핬n<7tɱbFYޤxG}pu䢉u5B-|>HJn2mV9nzƉ1oT:M&yjѨ[xᩕl U9rކ<雁rrhahx 6t֤4:\m4;K$u[-rsKA w@.!3MW 6MR,5U8eqPM޾_| szlӤ{\w%o=8|P+9){4~oW2=-+@[evc@KbM{4Sl=Hu9ƅKgSPrūMc,y ꁰaDoˬy7wˆ9: /=v`gt*Q8h YoV%y'/\s>8{k3-gɚk1&4є@]G߆P3w~KZCL^㸀"zXFbV!g Wʆrv_rvcCR# K-vg{R~5G(uz8>ut+ps #n-[2RWzF])Мԉug sZІQ6.0vol--Jtv&JR񰰲FyzܽŰv[Fzgݵ5mPbGjnxe"/fOj7Zֳ/zf^5Nuÿ -qE[8VI5u<)ɠ={ m8={yvlL){ pVxߞww,O+SgQ[LrWĆ؉br9Vz E< H^cKy ^O:C1ut<%3?<5,Yy @tmZF{ Ip?a{>L}fZlNJj% 7O?_--v% x Q']rQD~~eKF]&pGؠD0Lg[0=!+tX16]ٮ/ N|G ѽKcyc.BWjz @1(Y&\>PcM;n> c켭 UІ "zHs?`NLc{x*zrp"!S^#yuH73ˠ.8inKm iɪbX\tBOm;ݧD~6ҧ}%Yƀmm `u5|~'~2dAդqp54vk'N7M'Ax(ERZu$e>PQ@`)|K6 E3x>H>De'#ӘSR RPq[ajRȅRMsv&Ta+u!@h\T/ V {Z#g!\.v~ Qe2K.?pWZP4jPrl<^ܿx< m[3WwqL諸!=t/Gi^د-eyL qrL9ႾCU\od.ějm lja?bk#x[3L(siA]06\%9ó}F3!@TR Թ(EaIFVV%E̵N5+MGxX햛D169\GZ^asץ>Z[@uaT{;!h$/:q J+o[Es ULP{Є?7 M<6ԫﵹ7}55ek30f#/ ErZ1sna 1pb z0D؛I#}Oؠt MO?IDq;6ņ$o`b]va!$Bb}fF $x{KʽC:`2or_z7B{^M9/.9v-/ ~f~#ʏ-SCLpطTkxJiBY,&MXCoUDR)C4 P`?#v;xV_,⯝cc>U + .=7Tt|__%ޮS>BUwB֋T55@D{gEܷĤNv~Hj@v0@:I{>׺r'M?4oQGZI"WGC%֖i9qnG6Ejd?(T|/s M`؆]xYX^ xf[|cjKsy0}q [yn d/T4/q~+p婠C k"_^Elwnb^"ǻ7 (JNdSJ#@ĎpJŎb?^q#d{3>KNSHU0DOL_r:.:Çs9w;힄X\Uh UcJ BMFEU FO7腹rX"zDYGYst0Բ#n`F+0@DTԨ9'%9";I ;%Fg>gp6NtL쬥za i쵝>.uHK>GTMMeq>~ܿ 8ﴻFѳOLb<1J7kҳ''r(D?yioָWNxXB; '`oC鸴q,oO~{,ȪF:c x}>pBpHoKJ𼺯A m@(`  8cp85KW &t?-X_nhշbaiyzKgy?866-FmG;C90 '#:Z|)&~pz3fzbj?U'7FAwG|`U^jM~* zUr}z43izACl"H>MP8UL.\YN}CGa4s? Ss!#"' Vt r2 ($.D,v_r丗1wzi;%oHGc 0åiPs[tS:nG;2n;iq!&˯!<̥iYuBYN$j&sȃ Mf1x؜- %u+5< i vWd; piЄ€8K5•Ms;hC DX1ZVm7rO*"YFq5@9ၶBaWs*P~ޜoczcI^ ;RkamA@egwI!HJCK"x)ʨ2ܽޫWAn/ ⇶ID}ElXULp_Z,ip]mQ&jlG`K_5E(@q3h)ѓkTia#ps#tHx.yZM䞕0ɴ\q@(7-w|`BڨaƺQDyc%a,or` Hһݍ9\|ProwNtc?G l ʊ=Sm^G )S:? p R;ĉQfٖuxhF}%A) OV`9މ_m8%jH+t`D'LzpɁֻ=< qLfH{mb#/IĀ+=!77[Ï6%F7$5[D+Lx(A'C44x  D|—8Ʉ5GrgoфS~k7*D얶\<]jvq[ iGj@5#}N  @D|䕾=կV PؗW]4n T儀y|N7}= q>Sw6|1N&[V0i1Q6_źpUι:Ӆߛ2!ܘ9wY1Is!+kZgԟEH \x1$^Ӱ)y*gs8W6(;(SmX#KU'j4&GuSBpX}\타 v`=b f&TprK׍L fco/^<8ONG8vu&vA 4d}CIE0Bzv`#+qW4n!޺e=gomNJ̳5 C_iUtB5bYpf ǥsD˷E䱡(?eQy4DN,ܫKXV%>7'd3-@]]vQS'3;,yqh$IR+YҎ+pв9<6@I?ziU%4(%0祼L>YAQ ]z.[>S5/fB[A`#ĭ6_-x&XtP?7iAa;y;H3@ Vm\]zrV5/Wv6m腯HXBhT oOU*!K%Z[͛7@9K>rrԌWtOi29圌A ~*S88ܙm[6urpRS,2#Jȇd;osqߪ\:ry:$b7I;W0孳(ѐQ{w˅)kzBۦ7N,{'"L٤L:$}` f-HW5#RlGqc^vaoR{qIz.pxRa#mt/m:5ܟ\C6gňw*dPxAũ# p @Kk^I}9g~ILjN}:_.$- ӫƽ?tp>uSOTqkhn͞B_e._:Բn-2sf1~D,dDȆ nU.a{'z3\>'K Y`F?7522JL)dTf/~kjAm p<NRCIeҚHA)%:<Ss~l# *v@1soLw޼2X zޜؗam1#o35]s!3T ҅W7d5!%ϼB\xpoTbr_yv~(Yc-F).1 # iM ϒk@"*oۂ6qiϕjAYWO.2sQKtt|AÆFW̨ W{,1)5 e= |̐ f2bu^fQg4GZ{P%= bP~ o3ߑk? i-#|KxA@JY`\~H=ߚڞUSYUUNWn,O*Tlƶ;"INB`궸7FN (>= +6A}o#etB_RS:yN]D?J*GbxKIR]xUV}M.\eÎ:b?fMN4.3zP+]_ h ; $)aC ZHXG)Y%w06TsH-P$K*-8;\~geE <4P1̈qe4 O< ` k I\s6Q4yumڝoǯ)՛S:ޓn <9Ogцdг]LDo*]Kڅ5eu f(\wO$vNJI;b\ASi*ƕ@UR>AQS/V(yz[Zs Kb-|af9Wl\t;CSrO0uȓMw-’Y^vܔ4]lLUWavET6e^YL? I'7'#e> $kTh{_0FaY-&bN)Ixw*ۮjm{ⓥ<`  D.8%X,d멆{:-/ivrBKmN2Dn@m $KOF*8liU~t/67&횄&|x>%L7kJk41>3Lu0f]&P'=eJSUSjDJ%,֋*ZN#Ԡ".`+ߝQ@0kǦ)xU&*Й.5w1oe5af5aOC -Bo) [>mSn4a='9*&9WmWj~7[-szOw8kȳ/_좜KdऱWX҇9iP-d%LV AztB~9arth(kbό \s7 E2Ʈ 8mfvu'3= Fz|SIGYpݸy %R$Xfp%eA 0v@B֛4H^Q"M殺UM2OuX+|(`"]xY4cߴ[_n8Mj`$aricI ]v{öBK ąvO3ۮA}g,Et(ۏ)-̹w[hP5st}9za!rP2pD♃DZ[a[421q)o!:uH@""U=e%<8_YE>J Im r,5}JKR;)l86>vzJ<ӃT+36Q3RrcG%(؁h $$N\Ԯ0&M{yMvzvf'$5 :4x/e"+/gͭ[{ vp^:Q9z=ݲ8MB&NJ󒊖!TӸ1E!\FjHFx]]םR"ϧ-R^KT97$~/kCA@FV6=!:0lGߕ &E?[g3>3.my_ncFc`"YYM*Za& O2{KDDy;呥,؛{&@64ˆ48 !4VZRs_䮏)Z8yM7 管7m,2[Q=֎|40K9!M7C]*zPmN#+1^cP1K9ZuL^=Y@WM 7FM*gT՝.Nq)vt-d(;N\|=ٿԄ!U;PX5/Ȧ ]YC+_'_A(pqШ4otJ,9!ɋ%lIYfML RLG0T(Ӑ[ s^r1`ؕC_@Dd7'Xm?\"9gBl[Dա!R:-E{zYRp[ :lp%9K?DD?Zs(^֋!A %`s2UkQ%-a^-/'*Ѣ>QIԔR(>?X&{s=F%+fdHv"d.떻 !P_TG꼕kݤq24h֥5̒x /GOozY]@ka"<<.+Só<Ic9Oε,!;~=rY%S c) ;spIOlH{~5[2aO2a rgYZ RV?6T}33v)r]qZ-^QiغBǗ-AFJƌU?$/t#]&z"}u{H0vBxb$0\fHqjvVPTr=_MP~yW *h +nigڈRp,!n:c p!SW(+ ͕%‘Ah̏,ȀmCkgNi,?e NslF'_/9L!%,ކom #ȜHDظ%%>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:!c-|{b0Pֈ{y~Ptm<WA/}ꘔ!sڌnѢ_yp 3;awΛɣ3#_G.e#8Up;3ɥ- A?_YP}#Ks>wb KUZT 9Ҍ%JTQkF:` $~R"拍T>ǘfݺQ W; hmM@)6 *)l/ F%(#`W/3{!漑bq5?k<}Z ӜlWj(BldJSa ()~A: <8o5^~ڪha* P5T}.B0Ron-oYz͡v:ZW fLZ )Oꉀ2sEǶ')I'8ݪ)7P5hb|/va׈RpN#[(L  ]u{BI'l(֝,2m-q$-^r#Uj*Q吐lhB+1 xM@ɤoV/n%ာaPBHy\2|WfӒ0,(Jy*X;a2-/QL9M짵]&g4A1e0'0zQ*m |d YäDL( @tzt'ZHK9}x!NՕ>=1&7RQ䂶fWzR[Xvk{<)+|&5;KJڄ$=)<黎4nfs1w/J TկqmMD$aT<dCz'^?`xKOWڲbL'3elI\_77<=ˊNfV=GF;ÄNP\$bS]Xn:{!g.ҝcmdkŒ% )X0 fi]մks 9V}W O-e\0+rA7e|0a ѝИi%}vPtоt! |ܖ4BJS[ 5V\4ۅO%7 ](XJ͒ .BS#zH룪0I5 &൙|>.1k#m9P@ 2hx4d. C&M!~ uLTJ".5UwWAm`hhm^_+h $T\VpjrC $ T;^vt* 53ʌu x[uϠ Sc.~w꦳%b֎(s5=#csMek U2GDzoK}Ɗ<6<Yesnġ9ïMɰ($bZr}<Σf(F8Du:*7O.{IoΒ ǧqӢݕjr43NTXTn;:e$ߢsUv9cO~J 齝^ljLG׎5I'fDdL%̵mU0FUc}5i0Rڍpz~;Swf5 ȑ:RSjD~`954{ HT9ӡ1`bv}s_c>شH{87OX.i1پB(uz <۝WgJ=90iF伮%, x9daZyotDv˶^S25h"PAw†6~ 80n+Y{4Ѳaɦ`9|L+q|N}xgS伮*O:,V[i'/{EI h5^qƱK.֡oWKf(EZ<7G7y8#pÅ_*O %PS;;'`2K hw'>, 5^t@r}!+%L7Cl|]SzəSg Z2RiWMJyLL9JIG,ڲ?gvR6̸W/ Ci3֞9nSY~HHpTpS2^%G܆3D#i$F2/tfLMHS  r(S|9BSܓ@ZPR=Rx3{#mDFucm _1()fɭ<3quw&?ԓBeLj3FOrv+z$c=2 _PviV/.̕ /u!ծ}WKU훔QinT=gq! _ax(IY 氆EI&e)}IO]SJ:\[rI\!^yvOjIYIJ?zxG(6eA:Bkt}[`seE =e;Uh;{68V+_Du=) ,#745*2޾ 4 )\RH8AyGr15'#$πnS Y<@YY2Oeq]؛f׶Y"+#JJf P؍6|Dےx"N"+ Fr =ϱ"dpz xO(oyx  tncnn2ofoY[ :0o}d#:$%oT*FL>8jn5tW%ZU*Z; L&z!%iU$Vz|oSyЛ,r)fYp܇.1>HhyQjeV5mٗXI /2x{26Q\K1HS)Quajb.IsaLcd)@9l Y:RLyƧnmM=Sae}L z6|S\_QB Į1T)ߥ=W,R_ >{ nIϹ?W-l, 繘Zp77aLin&6~N\m[v !a؇$cp%ԍ}U%`c{nVPT \izJ74)bo[ؼ@$Ҟ+ʞ'^WъGU 9*o9 ## :>g( F͠u"K'6a66&0W -)@)r2Ɇ)gMG~p'sjp="m7pDZvP#!!NJ=mJڥ"Wܚ,|V]`dz7r_u| |µWS/j+,ۗnSY+2g9_2.)B 1r8}v?8~E6>_Jb?G}*"E1S):Z QZ/Gq}ҋ0Yy!gkhNjM祡+V[j־a'~Qr Rwj4e5bA! V޵~+'%dj_ݐnf%}쏮qi75X++7+rF >U ɗk%XLߴtETHj "Tp pH'LfaQepg*8-ȟ krF8]85ێoW#`@%<+cpw9>B7qiia{ z ^~/sK`SW~w=xD`ux{-qe~B/^":'\4#ͿzwN GnX rr;[G9Č CΉZ7:nkvj8%U;0mA99L!w)`"S2L-["ǟ9KpDWԛVC7W4}_- 3<-gV@Fw['Cijbi`RQ>Xt{?`*r3FIEP`Ө.aq?޾9-m?W+<#ۻfxG3OajRh ']>Z*%]3Am0mt0>YulA)m",K1րlF#gQǖd!gN(L-4KPdʻ`rV@'{"yp$SIgN^ #:@<8YjҼ ?: 5ұ؆ݪ %_?9mEJD1Aч=9|?1kN9Q P0S] I_w{~OD?N {*keÖ'[8z ~5CSЁ\~_Uu-}-e|̎R% 0Y_ 7vX[P/;*H9uشʽ8-6^zClD} SRT;IޟޟN970GpG"cH0ge"޳pǦݐk*fsu&/ea`$B^Vh n~⠀V_A-tb.AKc&:kNJVO224^@1Ϙnrd7z V㽵ps.jlmlwm{7v81ӨV@v>4F9|8jJ"A]ṉJS'm")< T’}[ z_E4Fʏ jJUbnC.7ODNhVxFK].{R41d)Y8;@cƤl25a)_ RÕU.o"y@B'v!C9e 'pgW@OBXKՀfk_vGb+jq⚳lBC,^WCw%okۡ.f.w2U\ ͤvO_Bag6Oȑg" XKGbL2 ǂTQTa9Mz0mGdlۻAw+)Ae~7{=nT.QBJfl?|X7{Hoe=~[GqrͰzR?nFur#EZU/.S>“Di,O 2*ZvU( MMsV ̡\_&S4SspI, Qf]C?Zg/s ]kDZhgNqw@c@4Omr"LB7r"?v]@W[V7 BK#h'[@1i$j=yb.-P^ztpBax5D2e[,+3##yu%lYK@mlʉ/ H9{+>¾A'jJ ը@s{5bҨ:Zf8S5FxQwbexiɴ^?4$[d&}l+ D2*blNT]_6@U&,؀ѥ%`!lqTVl745WDӢ?ط<1WACiL1f_ԥfpRt =^m͠eOi+SֵژXbat k貉bKE?AD{]m.>'َՊZ+8`>dӑIJN~HHty`p28B)Ǻ1<'rEdrH k\xun6q{J0X׫"S4>NFہM3lIًd"7XBG&% 5ٛ);>jru8t^pGzxJ_3>ǘWV6}pћm]g$ql؃bQo*=WIFb'>wRZbm],N Mߔd!uӫWmUoA(ZZs>fl9Bn`\ l,)jΥ&^XDdZu׽'k&/tp^LQyLK^4FL |2vQvDRisfc:>M6R '0LU:Sy1d*{4$Anr)8Z #^J䯾K w}]١ C=4\>enPc Oռ+ [ı(9\,ք.%娭eA+jz]?~/tL)zBR>ڥ`v@iR0!_3In{uC ̌{S~k|!Bյ+!fEfMEiQ ڋ/ 9/bKM(wW%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 O /% LFermat3_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-dlk4 M 3% DFermat3_4Fermat3_4.Quad_Formdocument.tex7zXZִF! i\]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]qU8RFa=TRN7+9g%.wbsd6@$:9e|&Óv%!wxHO1(!x^-kvw9RIj\(H!cuc{{#V<P?M!X/Hz;APbsϾC9Ѳ=ד ґĥ2Ntz&IskS gÙ+a0,ϞFEhpmV.I53L(Q%e5VS*uϏ.ݘڭhÞڿK؇մY`ו#hZBdzf[-LpgYZ7zXZִF! f]ŗXiɟL׎̈́>>^6:QWF< J,3q|LXI"T&9E 2%X{\:3v]FKO1yKG gYZ7zXZִF!  ]ŗXi%D8W3p\T( a&Zv\ פ5 6I_zeZs79"Fڟ''*jl;HhyPjW4ɧUmMEߩڽt"X*~1<`ɦ*DdzW] ,Z noDg$ K\"=btJR Թ]{f "vtnRWLeH@G/`1?=Fxv8D7Y$B -{u?H]eŖg%ֱk*,)Jvٗ jځĝC|&v~D8&lFPd7Q5g;I+~ %}K^I U4<> %3 q`j0 w+x~nUTO.J\lS&YrZԛi)bv.* k?tC(܈ziأQ9g,(:&Kc!Ɯ=]t/䱙@YuK:$WjO_;RjF'ʺߊC'?M1 À<- i\  ؃\FN,*  s#E+ν5_g r~eb"v`2.BF-~堣@bVTe Aawt{/v\dx@LG67TjWTGH23~REe+q%$BEs tCBO7U<5\D{3~+cLMvzIWàLBC.;߁\Nr=C#=>7G^Gy&v[3O$/wO;~Qd(j;g%<|#<{'k5wpwFhM8*vZ|J#kQ|t3YړVoyu}P~p e=ls/Z]:>'}L DY?Ϯ?"ݭj}?=ڪJЩC֔6y}@M{V˱xp.juCB y5V1Yz#̭C6B^6ZAZnBxtYr BDVs\)gg J8?.v%f𝷣++ VXokU?.M RNv1 L?jD߱OpIiܡp Ѐ @ 7M1/UTRԝz`JNarK35 96){b8:G-x}cOu#נ# 7rl1ƥR?yn2)-AW죗 i/E,E]n6E^k#㸙e- &%̈́-VUØ ,.P z.{H6W46 RH-ԍ!-:a[%VNl6??*j̅e֦8kCYԃx O.1̇Ć#vZ-?bb嗗fU6TUU@Fg Gh(..پսN*㪸tPFhOk+~"ΧgW*2\e*s0w{ˬbHmf~ٞNlBP$mn1%]J@ 3bCD`e EKPw\ keͰthl`GSK¢49J(4(E}CgcavN2Ec=`al '&xq P?ol6+vU|_>'xAp8>scˠ`m+&dhkM9kp-sHʔcho[ %y>Xg†h{, ;y[YG${-]U{ZƦm_{\u;Sq(o?q2ؽ̓ 2Mnem|f po7ի@xU .$`(g]=I{;}=< 1,#(rb (/(?mi!· y?JgaJsb/ˇ]Nu,