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  v vtl\| ] Octonions:threads=4elapsed=29.500cpu=77.804gc=2.0047zXZִF! %]ŗXiɟH)0!h]HZ^\G0 ' gO^Z1wTT2ά~0 pŞ:Y&c .ei?^[z>%3쳙֊R79RgWBžӐ'5Wr1@58zsѼ2οr{SO בo9ue?ax@GaǢ݅Uɫv2}wZӊ߂ѪpIp }>6,46NNCݾ}^ Dw'7x.=Y˽hv`4KcgYZ7zXZ   Octonions F?% ,OctonionsOctonions.Cross_Product_7document.tex7zXZִF! Ў]A-MՋhvG"uIBm5ߥ$p-0}HRnvU$ߌQNvOHG]T3k) cqVo52G`#Ƙ)ID`o cVarh$LtbkXP0 Ȱ0Go}.6 J6}\ '_1>PHAX4r}˕ iȫjp=u6A1:ޣT ]gҎohϮx*V1 X-+b={B2 k uQxyz#) I$k,eGA%mÂI=$ӪYЎ LHc5M =R^ z9t޴gYך Ϝex"2wm?ڬYp%7g0#xҵ_/* ؙEbYH i0>B6JeMF!}]6dQ%U=Ckp^G,آS=O.FTPeQǎRf&%~@/6&lz!hPv+{p4 vQ"rО(dV8E &} m,Z߬1"I)K- @,͊1|wEʗnJ|tG= W4q-C4$G.u!O/DH 1M/# GVS."8v,ySb6UBdʦRDpnz@` ߵ(Ƣ, qHK8wCV]RQ$PL5߰&˚7_0򤹛>>zFxO!@Pu-Ɖ.WXɁ%kxN4&ޢ>H\Չ V/>*߷M=շ:G&P:^m(m5;Qd?7,ǹDcr\q"5.{Y,9I<$^V`:gh;4f܄JAP+A2N/K> \<˒GHw#Drbaxր 4Nrwúmk\:pptLjѥ֯S|G|'BAxU.Rw;*=&=Cm&*;Bdzdsڥd@1TsCrK{$vHhFwkQs!BFRćo)*cݢbHyה%|/taByjoh3Z'D/4Jae ҩ2oǴNZWB~Z rݎip6;l&(SzcPCW#CN>%fV5J]K1JX)ȵoj0a O L<@"AʙҧL!o{lbth ݟOAV} \>~ëNAD*@ b\tU#'?c {x atY.g]b}Hqf+Ӷ@wQb,Rz=?hC":t,u@J̭klP:"-jpRIo$z&Pfig'b&ʜp$ 7YNmu!owA)jΰocd |;´=6z>0$W fgeꓛ nTf-l[ٽ`Qom}sf=-.,-g'%^1ٵ۬m%ml~EyGz!~90H 5Syn%Wpz:AkrC;g,6`x뉬Eqᾯ"<H[rw_E=v87NW:v2\Ozn-v" [wQeR y!UH\w*8#:>ǥ_cU ;(皻*V7r5*]Rڊ>fpl7?qh@Y)%z;@'A}Q3:j.Z)DL;xlX%7s)-ߴvmtG *t_Ġ|b~eKj74#3|M|۹P }QUUDO B]j1.u8=~׏iވ^ERHb2ÚS(B6$sxbhfS:DҘXǼ3'H&, &#vq[T|N;&^ RIsr &f.B'(&<4`9 ˑJNZ-S ^: W+i[Bp-rIaK"rP87 Un!1k2]KFSs運 08: TL{Nr$U5C0Nz]sϳ>[rN1=Xϕ!@XUΏsK6Kkiy8rGjeAM_?>J kw{-ΐ[UfI(&ҝ_Ž^P>"G=Jk:=^ O: Ǩڷr^KݞbC׵៶!R3h1&쪍>goX ly4N*λ 1rhh3ǫ߃OF1JssIw-[CF3(&f3B{a瘎:ĄŤd32;dPmz? >;25A&4@="tOY"`wL"xq]y,+9f͊u9),%*fK{=)I/Jeys"Ѕq@$;$s$耜zsÇD/U^IjqWKsʀ!A*Wcx{, ۜ3L#sqz3.רt59n|M&Zij)TNFLu"AOd oUd5X/CL}nHN6/ǽI=񈷨?1gH}G9"Ju;V8Z<ľx:jc  .3%OctonionsOctonions.Octonionsdocument.tex3?% OctonionsOctonions.Cross_Product_7document.tex_w{.W@1Cü#snvIa~[zLQWnKM~5e8Ƨ,I O:WkC1 em,.LnLa^6 '•&$苪R;wM9T^( eod;MWqWX㞁oLW ̈́[)S6]U0"'7('E k1Aͦ7]s-Jc|սx[q!͈`fgPHcg"_*eQ8˗Kqp|rVCFWO*,qDХSʋG EӋ uXshmRN= 箏Oٵf=FX8E4}x) ©6}!u޾ad|]Z5!C<.-)5zXOj6F=qXܽiUDB x.t!3./ ia kğ2lm7Ŭ4$pwS406<0Jˁڣ ɧ(6a|DmBo(kbAgfFYvgHH |j$ rtiQgwxU m;?-by]h ݳc쥱Uqo־Kkbzu7߭t*/{}A6df 7T t?#*!ʬ$Y(3 /b++MzҒදQ#1q?c'Ώv K` _2z[@a.M.'L9gmˤ39ަfJ >.+ƅ2'01d,$!>! }}bK8})pn**TFXޡJj+JHaO ;w"v b8R- TA4YVL;p{,UWOξMU&*UIn\|ã1挮\ul BSo>Z³u}B?!輦r]uj#MFx-CщqsO>8Ч0_R؀f_-sՁ?V%5vnI,*9m"UyI`-ݎtYza>0}B KAm*`['+rپP'QB:$~LE)F<t[ T?G+O0kJ\&Z="~r]Td)/? ݑ9yy\8kT*gQHTL׽rUW(3h>7n׾8KDys~㓦ld=G^>I!)˘G2!FEFX*_o15iؓJM!i{.4głS]Ǻ#3X Cq>QxƝDS #m>̴E(<ZD|S ^|uY΀ҜNS_ļ|,e `CJ@2O?SYTeEtu Aao"H^~gdfل豗'3;Fh"ĀQJ*m_NmgH>t/ęv룋O.v6#@ 37"?oCl'603CI.F}ֻrF3Xa4ͮ=:lUO@KKs]{rѴW}<. ΥR&['ځѽ3v9u5=L7}x,0N\4?䧤 P"T8Š🹷 =!ON=@d*k!:ֱ-PRv]oԖ`regNpt 9}P< lpAutekT~\xQ.#hzt]Ӳ=ӭnZ2"OxO斄P3ǕF^ڀaˆ굁\v* M2hGca(=ol^ ˥#_!ϩrO-7{ivXZjKr?}x替ʪ3/ c3L" 2 IVDm:mBM 8DfS$ܕOD$A y ]vٳfw)8Ɔx}U.#eM18*!S-800C:y: x̕1+ MTdDI+uS8m vMMsEPL)#L$a:A-Z\ȟqa4FkP̔Jsߌ\1% g!K(T#*?5 4,{ܨ}$n2qˍ9q*!%0x_;ʠNx &sb nipܲ<|ˊ+Q"fkH䅶IlLLwɒs/n̹"OUb~"g$>ya uӦ}>f̙wkL'&: hp5HQ!Fy!/5X|5BQT|Y8i!U9m7f?Cʟ\zY뎍6=oeM[`ؑ1^]hO z u[<|R[vxr?^?\Ůqj !Itֶ=wA=*'y;Xm]skqz>˾;Y0{/mcRNmMɌ8iko֭@.!)CEνf#mN;9\س7esdNB/Q;=YH8B02 WMFyJsbQ Eo,L&+GjW'T 8FȠ3B}Ljx9C|gYZĊa2OdU ~ie\}ĎV:J/<$.##/m +813z.0C"?o]^ vWN܂Ph#90( !qE]LQ68AKNLhV;khIN`yTbAe HyӸĽ2j-X>6!#sMZmц2Td5 /sg "pv9Ii0O6ڡ /8F~ ]|iGؕjK+?ܽvr)"O_⠮,T L \~]̈́nS[ɓDe~~kep:?3BT U˕,P=0a(C~6sfA0aWũXqre?ZmBE*R\upBODK_ VBD30ƒԠ{Fyopp{]t嬬1 WżҕrٳeNj2GxSP6VdnP]٧OMq9Of%X2`ߙ2<<~ޢq:5yz*Gm+5g@l1X\+}C_ hA=I-b7>lEbmf/1Ids;2dLAkI귈} gB٫'I {j~0}u8blE|LЫ-yr6dȫL;ma^} dJDSZPʗ/t<`yZ(`S%(99oanzU:/!ȟr![k`%)opׂ !X֔gwKYu~.o&ȀX)P";/45Йd-&F;?/׃1\:ǤZ'Wu4lj Chn)pTIl 3mN@1Hh t8‹Nlf*M c @Ck kΰ"w u 'zv{T鏦IS`˽p? ٺd؄KǍE&JD>cd(+O7_jGr@;0|r!>c1]V4@PQ"Qޝ;\{rLU{W Mk7z%ZtU.ڊg7DJ&?S.0i<ǣu!]+PF.N> imݿafrs,L%L$Li({n_e8M?UjU(un x%qW\zc2Qn+9a3wVH*.bI z?t(ʻϨ2]o|+@̇CClO7UڜVFvBǎvj wWhz%T6=%ΥPxxZ wM&c+!]h yQ&9 =[9ny=$,y fHžϥNa uN%Mm]2"u5 tr0DkeZ ˒N/gj)jt'Y0**NRkA8?0uyCy̚6mS(F{ tS!p(Ar3ڴxh^JM mUԜu5`Bu[(P"Zgwx:v{b=yePԁ( u쌄봨}pq}73}*uwSl-"Alܬ&_CHE@:آ%9%n)?d5!bMq;J)sL`F7]~.׮BhT#DcnF"!R?;;UɈ1Ш900ɨZ4/7ǓI2CqvߛK!*Gw8R/W=վG+wRb/PRyC3 iNF 2ld>ЗI 5@0مxnxTarqdHOC^3W49Nn: zm҄f xw.hwKj u^-g1Z)wzk\GH>7Zn8с 7:lLlʵ{6vE]Yȏfm%UN PזC{qbuqNn7߲dkO[NVV˾r.|hXQGHaRB>PUӼn[XTG"J(IY>᥸ȋAMXPQ 9h'3{^""Ww57S9OC^ d-ҾL򓽖2pRIT/#QBMXN2_d,U _$hE}0NdX/g0-2Cj0_ S}91R/Pj Ze;=-U?R8h>r9ЉN X A*^I~_P,?8Ok18C[gM|~퉱*@l`;x.{Ev/`>\(M\? ^3 ݖrOM  v񶒊Snsw :蹐sc /`mGN,(~ +=r r cֻpO&$}Jxh(aC}O+ej<y O.V4_Mb4/Ć{~=;]jWZEQRS|χT\36}ҧ{]9T ]>ڲ1a9[v(V7V"2eo8z:)m9| ' "TzIgfuڸizb!zʴԳĮZ)q|>A:חֱ}0T\\8櫹P:{?t5 vIvkC(`ҿnkqDCgۢ] Otw2XfXl{4&xt7heTno>10-PY,&n*^ҰC2E7#Xۀ뻤2J ʺ!j] RZch< <y4JRzdzonK#Iꨳ !ْЮk{"șb@->!ʄM,? v`(g2j3 wo 4=$/]RGOǔpGWPVc f3\-$3n|g|Qr̂kzP6*qc lz$Eԟt;F) vgHL%[z:5_AQx(u!9SRR##s8gJ:E -8-WvDXc|Cjن' ď5Y/Xף*bS>+smHσ235q,ϱgBqxDFrK[`MLZfF R^dE|A{=rյk75 SV~|m u%84i1졍."8H]rmPݐ|I'uFਹ!vԮdjFSDv8ZA]#zPynz e~biDF^,"EdP8TGzFG:/elUT?JMCQU`$3h\-1+H8eEqd8SFoi=* Ȧ̬qS]lr0.\`}=)  >-R52MSk(ޑ67vc>H@c}"eF.7w!k$ fqk3I4 0ыɌĶDǔpK_ITr<~n!sfHKxYR1G$՞9e tۢ1!ND<^.54r%g SM>?(f/Hۣ1\8S2Eαօхmbv/')4>>"8jih\I;8- >T$kX&$D\ރM&CRg<% x7Ps{ #7IЃCȆB>x-צ1X׊ِ.Idzn QY8goB%> #59f? #D#3&TKb矃>@I2uZ@!}.QH`w%WNdbOjhkp_ FQg ;\2^ ̈4*~Stwh;.WPCWгV" * (e#Yά͝C8Yʐfo4YMׁT+1*Uf"W6Gmj췦9Fe23Н;N(U?5Vl&xNebf\]-_Te(3Z (mP߰m՞,gc1ww! r2ĉ:1&֎-~LCÎ|w #F\_X32" չUKh>,keϬr^;P-vӊCPͦ*-F7 G|J,2X5 d}wMsS!;T}^s0[d8-{S,a"Y\`ץ XfUP6aJFm"g7fAl΃)oLxW# wzsםH߂p.ӟc=7e Pudz8E g)uV9/{LeO1 8@gϿuD,emh$(,S$%Raۡ#2>oqMfqBj"i'j Ŕ]\=X(J̶&`*q6#.Qgymz h,NhVogHk=o{nv|M3`{dIy "rCm0l\>~'*LQ:yϫ$ b{,1tb8A/=QϚЭdaf" Jdj~+ɐ }{:02㌊T<4> O}7DT6 Va9ՋP@*P,%G0Dr_5{9hKZߦ'M"Pyο),a8|RգoSwAhD<I3cv WիWX5nE]]%C`eD`(#a>/4$[&U(*pZӻ) .͡I-jA= h(vukU79 ]7-0cd#zω W" [#G0ށh1uDAi\q{22RT+U4+;o u@9?SI0U+E_N-acLXE4ryϩO[ v10i%Ҟƺڿlna,S]pE޺ObK, yH_D5P2>6l?@1U<;FfpYh$,|^SphB/:6Kz:7fdu[>zq/l);$NyXjaޝOƵq1ׅC5'+סa&Oyi 6tjbLgv}4ҦsCMv#`߉/1V4=-Xly0/5e84O/$56HR }ZDZFflw'P疮 {I,ue#X?A8%إrru"H!nr" 1:vBI$-9ꐬoЏcos++ڇmh9jAΐe׬iЩ~K!A- |Դp4Qְ dUZc@ԧsv֪:+e )-QvA^PcVi>Wچ%'H?eD# ҡ3&=xg|}+$pfb V3PW+lJH}s!Mk2Y_P늴ģEd**.Q.'5̢OA!''i{,#n@_ ܰfdv6l$*`^3tWpB;cѫ ~dH! q*3MF3q@g '& Jqli{Lw*@Y?j߷ th֞N%P-j Yկ͉)g1urFҴ~>1فͅĮ$iSr^kr]tYLU¥FxJ2/Ƙ 5AO{ا!+Sqng +O>- 57gb uzw31n{xBw<I3rA2|@'@,Z %WyJegl*Ju ;DMEr'K%93ԁI/LJA! J;۔bBg(x{DZιK7ڗxWW6~jkuYBH=/vlYm*5*n]DS 1 neN]Jjs]['F?ߟVt6vw=ʿr.{%Roo}S ٩QJ7Y9!JFKymT0pXK]rED8xؑoUN/Xĕ(6yxzZC[߬1:|?U\>FV]9Q*[0@bCrekn&+Q:QSN2o37<ߡxhJ99'шߎ+k/U?PxSJ檩 'N~ݣ~ C|ƒ`6,:Ո_ReKrJ@fKnfuEsN@m&Ѱy_l)W;5S/]k%dX!M/8a XV 6֍5<_'≔[MF5{/ e /ؕ5Upn/I= W!ݖO}Sbwfkm ٝK/y2J7iM"ҳYM=C>T۞0[P8P!Q΍MV[.8:|}f N5%Ѹ2갅ߌYa5ȷC8gh%RU⛂>"q46ĕYnL9^KEb4/+kh1 þ" )43`މ 'sl$-<{ǔ-MoeC E[&Q EhF.ԟdaty"`K;sfȄfzPdRwAMé~-.E潸tV470DV h0wVڛWgŪfD3s{/CI$M*/QTP~^&X=Cso)$-Џ< *1]3;;ŕ29P! T!8WQs*8@,G0BD*B>8 +%C/gB~*Y88NSffP]$V3lΨrfo_-Wf9PqnXsba*9 IKߩ^1;ju.KCOꑏ o4E'TՄ`;Rړ z XDq2pﶊf;Lu=apcnpʻ<H`A˜bU5Jp#Y9u鿐8>@2;7Wa4Uk*k _X$u^RX7,Fp$0,(Fc𤯝A|;٩ <->m+/EB[Pg\%ϐWF~ b @S>EM5*"aQ4SEI'2oEY+|&TpǏ5 Ak;J+Um~9 a߇OYq)ī)2 cW&1gjS25>b<"%êzQ3J{2i,5};瀮t0|r !»X @6>x3Ff=5閮p-oErԸr0ԛ1[e1ޥd܄j^qjh| ^4Rg9c /»9'zfWT͵JSlX,6I6*?9PX&)=Cb`쨾5Kؖpϖ`MsI' JN/Kv^/oSwBSa8#i AؓuܑK&NxN 6P=wbi)(ޮr03D'lx>Ο[+_9c# .kj~d=x2o-{s2'W8 sѧ5tUtusG<|ŜgL]a Ƀ_kLޭG9Y{JY9P)O iL1ٸ;':S-@QvK%|ލ(xQY$rކZPRZi_˵V$y^;pɩaS@cN%<逽Y @ qS`x҈hgK-/*ܝߜ5Y{vEf@p㶔uIB KӞ'V}e*1(wKn!b;` \7ر2"#*vd{{ ҁ y.'<(Rep}Ϲ3.4?tsH kcia,MxueB7ldr$SeMM'ZhSm\Ḇ :z1v~w(b4ڬ`"]R?;ì-Y6ʮ٧g=@\GxcY$b+a@.)eL+^FEW{F"j XscZ fs*`aBhwpyiVi&a<[b*x6ņVd a=A$a fTRz ;;hͩ$?nXXvE z:#4RKMBYEX:B-גm)cϴWgtA?DĸVgv)VY_Q3Y<>OzB.#+HsG 4tͽ؇MH-&L̷B'/^;qhXC8zZixА=HRC),˜~;% 0o?Vz6_@(ɰ s7.r!&9-xW,0\ ϰ́7):1A+%DjLPɆC$ һhlRD5ͭ ʆD ? =@;DbD\LWX\2sO1& TJ9y"b>R[kUm3Uh*"ORtDd}}ZE ڦa?- ;Jp_&#PwhV8DhIYMY_csګcRMb2:έރd< sj9NNZ{8ߚU\%tl2&ђoaAQfS4=pi=,yir59Ɨ;Rw^#oY r"7PלCj5or+̏:`}p}a G<5e0noj;,A`uZV,6E= {l ZِDXʭ$j.sANbJO+WInhy@Rkj{wEi`B_Tk඼xʰ5ꀮ5lm05fu̸o.,Ѕͧ!/`1\ rJbJ>q 2qm}m<,ɞC4 c[?["z)>"`Vn,Du8&(S>)Hyܐč9ڌHaHgqY_Y)( f*?j 4rtUsE2TD/gM̓#/gie}1%ݏȥI  `c R& ن-@uOi]Ei(KM!+Ž~>JZ7SEtgרWVvT`Dߩ1 u]F^}ԋ{sUx+\_'1:Z/nVt;goFEw.v=֝S3l'"QFy3а"DUE&ll}^d[:P(1|x0ʧ EpA0Tb$Ot(Je }쾐l' W| = puK,>C_S^UJ2m6d%l>:Bݒh6aMY k.i^ԏM3Z*YW\Q@~O#EJW u} L#G5AQ5[["zBԭ"d6$g{>NV_LWz.)ıs=2^d宷2 mx4A.?o7IPQ$ꋫnXM',<7X}`?Rײ?[,YOUeDUqV/#B/,c%sL[!/F7X !.!>k:BAwOku>v mE k0Őu%_n?c=zQLxRO6ߎCLebZ%}yj*(dafVɜ:y P<@gYZ F?% ,OctonionsOctonions.Cross_Product_7document.tex7zXZִF! Ў]A-MՋhvG"uIBm5ߥ$p-0}HRnvU$ߌQNvOHG]T3k) cqVo52G`#Ƙ)ID`o cVarh$LtbkXP0 Ȱ0Go}.6 J6}\ '_1>PHAX4r}˕ iȫjp=u6A1:ޣT ]gҎohϮx*V1 X-+b={B2 k uQxyz#) I$k,eGA%mÂI=$ӪYЎ LHc5M =R^ z9t޴gYך Ϝex"2wm?ڬYp%7g0#xҵ_/* ؙEbYH i0>B6JeMF!}]6dQ%U=Ckp^G,آS=O.FTPeQǎRf&%~@/6&lz!hPv+{p4 vQ"rО(dV8E &} m,Z߬1"I)K- @,͊1|wEʗnJ|tG= W4q-C4$G.u!O/DH 1M/# GVS."8v,ySb6UBdʦRDpnz@` ߵ(Ƣ, qHK8wCV]RQ$PL5߰&˚7_0򤹛>>zFxO!@Pu-Ɖ.WXɁ%kxN4&ޢ>H\Չ V/>*߷M=շ:G&P:^m(m5;Qd?7,ǹDcr\q"5.{Y,9I<$^V`:gh;4f܄JAP+A2N/K> \<˒GHw#Drbaxր 4Nrwúmk\:pptLjѥ֯S|G|'BAxU.Rw;*=&=Cm&*;Bdzdsڥd@1TsCrK{$vHhFwkQs!BFRćo)*cݢbHyה%|/taByjoh3Z'D/4Jae ҩ2oǴNZWB~Z rݎip6;l&(SzcPCW#CN>%fV5J]K1JX)ȵoj0a O L<@"AʙҧL!o{lbth ݟOAV} \>~ëNAD*@ b\tU#'?c {x atY.g]b}Hqf+Ӷ@wQb,Rz=?hC":t,u@J̭klP:"-jpRIo$z&Pfig'b&ʜp$ 7YNmu!owA)jΰocd |;´=6z>0$W fgeꓛ nTf-l[ٽ`Qom}sf=-.,-g'%^1ٵ۬m%ml~EyGz!~90H 5Syn%Wpz:AkrC;g,6`x뉬Eqᾯ"<H[rw_E=v87NW:v2\Ozn-v" [wQeR y!UH\w*8#:>ǥ_cU ;(皻*V7r5*]Rڊ>fpl7?qh@Y)%z;@'A}Q3:j.Z)DL;xlX%7s)-ߴvmtG *t_Ġ|b~eKj74#3|M|۹P }QUUDO B]j1.u8=~׏iވ^ERHb2ÚS(B6$sxbhfS:DҘXǼ3'H&, &#vq[T|N;&^ RIsr &f.B'(&<4`9 ˑJNZ-S ^: W+i[Bp-rIaK"rP87 Un!1k2]KFSs運 08: TL{Nr$U5C0Nz]sϳ>[rN1=Xϕ!@XUΏsK6Kkiy8rGjeAM_?>J kw{-ΐ[UfI(&ҝ_Ž^P>"G=Jk:=^ O: Ǩڷr^KݞbC׵៶!R3h1&쪍>goX ly4N*λ 1rhh3ǫ߃OF1JssIw-[CF3(&f3B{a瘎:ĄŤd32;dPmz? >;25A&4@="tOY"`wL"xq]y,+9f͊u9),%*fK{=)I/Jeys"Ѕq@$;$s$耜zsÇD/U^IjqWKsʀ!A*Wcx{, ۜ3L#sqz3.רt59n|M&Zij)TNFLu"AOd oUd5X/CL}nHN6/ǽI=񈷨?1gH}G9"Ju;V8Z<ľx:jc  ] 3% dOctonionsOctonions.Octonionsdocument.tex7zXZִF! Fl]A-MՋhvG"uIBm5{:GJ1c <8X* jN,|员Ϻ;L=]*Z'9D}J3ڌ`mP}!I$NY=u#Ƭ^l2&m+8%u(UE$%#> f䳪+R~]r ƣ:.8 .gi, 7ŭdiN ,uPN`OX"iucy{`IAXzPh@ftT~5g/˝xUtQ{no<'W+tw=ګ =Z`7Z Nمq[Gfa"?Ys y,Yzet'8,h?.FJ/BLw#>j?qbU['{B9!-ڝ5j8yF 2&`elI.h/8VC>JcO}wōՏG"ʁFm8+X!p5(p@}ǁLIU( b n_ F1Q #CxB oY} >褎} % t8n|xCcS[A Q\ C  ꧿'\_2Uh<TгW^7V6 >Z V;E]MJͷ|٤P8R}&_4W<!e}멝2@aDTVMWD&eYYC}.Osnnj̮;WܚHg҄pSus"&k65Ɇgg8vR@|Q|Vee7Dd>zVpnϲ`[YL,m.]{oXz˹:cN+TgYJ`i1zm pԲxB'SҀ{ u,V9;R5ҿRj8ajӋpodmSʓmP=H@*B-2/A7\F!}.xD_XŴDhb"uUD3z6$&A\b-Ֆf\͗c+(W<\-s;cRdXq|n)O1v=ߝs*ȅdD6Ëh/GJ,PNj9scd!,u/~"EU=Жqcu63.e%=huCS RF"#2C:v[fZfPԆC"V3 [*,_S %F1#){Z9K^$eU ?NJl<* AGrNIO 8QgTeвؼZ8HP&pV8=0=isKr;JdmִF! g]ŗXiɟ;LLyLDkCh:\OW5G.f쒑 ֧A-DGh#FvC~lS U$1;@Kg8'gYZ7zXZִF! Gx]ŗXi%D8W+"wa?Zpvk+JΥP=Biy˚6(9,򺂈eV߈,N ssF&{HjU%x|D ԣ 2ZeIt1e?l'JXH+m %ߡ 2FGזE  "bLc88ε62=Rd}35k7?%I߱B—zwv "YǑ\+,iTSBJITd Yo"ILj+kbG9~WϵumK~+Y}"T*p"8AF+G#>ˮ)iDg)oF~0d>ڿQ}r'5 I֗,8 h$Ofb\TsԤ]Yf &6oD.z*/H"RQ@ͳ&flmi M3Yl !*9a%Ewu|H`|kv"B©@uCBeB\9pUn$.jC0c); <;i?K| X4Jz{H閖 R};;Py _Asv]" "][+=Ey9v&Nm$=,%v-qbŒVs{%rt %\Qܥ-]мFV+ҡN&R͌ 50gC'Z@-2,E ty|O|²u}%:a\|z43n G&e"Y)*&А?; a`gWJÚg$U$~ɖذ^4fD<boĝECI枘%q ;8pBz:VL?KNCQȬ :u%؝a8 Iydx+T.Q2pg:*= 3DEwFᝇMk*S3!iC ,XcݲL5wQQqxaپ^ M$x#` qujPDyȪ/}xI8#  i>8= nt&1?KhKF>X[Wͤ{C>Yu/nD5A C+1FJ&&6,\݊1z3rg8 ӿDvzy_Y¨8=F Vgh襯=L 8 pHԮJ=(Li4@~9ih! o)шJӴϫ$ʹ:][y oWS.䳑6ccDΕ#2;й:9 M羺 Ҽ1?ڴ5 enNv$=}'[17%;<+KLS.큠*X`\W_RxsN%k7: shƻd V{PR 2_KVG0mJ'?Ē#ieؿ|1~D<Θ=(sMʋE#]C%ԇ',]!6cMF T)ׇ ؐ3фtsB_—b'We'v#Y|r6GvbXfVxZ$SXPt2)U뻩6lB6IlID;|JI?Gp%d Xײ!T|7XF4 -;4Ҭ2S`֑ao pPZb,#8&JX fAɝ-ߠ !%=ҷWnwyh 7(SnϐB;χ[As+ejWXV)SL}e],#Q* Vehm wNgrea/*n+u>IhMLjmL,4j\*#-,͡I!񒏇r+2xlKQ7Tga>"pw~"}fI r[#i>"?|{|R,7ʶ4![duϾIH-ht6jd"N>TK"d$8[7)8*J MBD,HK|*+c~V >>ɔwfevڱ@#+2԰؛^>kl20/=3n<`,B[ !LeѸ~LE~Jo`Ttg,lϫ~D8tѽ`nG6x}+xM=C읽|1t.tfaٝ[j'Vt 92ک7tҍQ,YeBg Zލ=gB>B7OrvBa)c)cTM8Dšnq'IQ[:MH%v]upRtke_>Kȯ~B ^6!0SN9)-սPFӾQV&VL]XtT\K1N;z-` 㯨+:3$Lv%_xxBMH{~}kHK|)f͌4lO`x]WoSYe2h(mY6mi:}0l~*@4f[@W"eǃezӱTs5wrRkaf =-,Y{+e=sg}\Ƅp)r?d:E%i LJ^.q0s,A)-^^e/6A.{ ƚuW7p`ح~Ji$ ڠC-B^*vNqRWz _upm`q3A`f.^ Lk|diQӟ~q3˯\\V"M2n,OD7EJbbR'4H'鲇]=*Gܽ n2EȞkӋgYZ1b2b5f23279b26d0b688b4bfbb00df8095a646e9c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a bbaa32a933fef7d2a02f9d63011d42d381eacd32