SQLite format 3@ .0:  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 , \\L ] Octonions:threads=4elapsed=15.730cpu=52.260gc=1.160factor=3.327zXZִF! ]ŗXf[&/=G`u&+NH[qUD&/]%[pX9^8m "εq[2ΤlO>i*0O!*gr`GbG:UQ@ԣTI$Ft7֨<-5IGCL)%dla)<@fʯ(IeH$DHaS]^ H,SA>-@ ZNa]Y ܙ JkrS-uHԆtk7:cl[7FAtkLpVΖ̫A/vA'j-f$u|2*Y3RYϡ玤4n3tL?A饻xzy .kW&ݏCDAuC.a,1^% %W7SY?hUo\l) Ȝ3uT4 =Ϥdv-{[Xl+Z,leau)? 'Ӆkfeo r]cNP U[,6?1T.}dwI1is‚~`T|2em#cj%>;rT|8(,0oύ_r7%MO?Jݡ\R&AHú=V_-)Y{~_GLjJ͗P4󢒱gYZ7zXZִF! h]ŗXiɟ;LLyLDkCh:\OW5G!cAs_(D."-7ϸoÅ-؅)0pec4BAun]"gYZ7zXZִF! l ]ŗXi%B:g}{!JRPՂrN:չ@* DMq:'uwwA6!hv ɠܞ{m눅;i֋?A܇1E*Ojӂr~VB6nє ʸ}22H;;|M~8}cEU:A޸u`XAk3|2M{m/^3tOGr[\KE7 ^} m4 /3F +u3ǸD\%\~aMh$Sl컻o j <n Nobg}ZVSkqG oBx˲F{ЬbqcxQ6?T3RcN/ww.wKGޑR.e{@:Cx-bRX0jYk0+,DNJbq-įvm+Ap;, nީX8oӛ3G {1ob6r(/R׳Úf $ X܍p(͈Ci%5%2p.ˏp=/"Aط6Nc!2347,'mh;._wHSCQr>K \}TO"QD`.ՐkBCR*pȉei+<~vҩ98|- zRYCAE:Ȇ$%ڔD4N_ЍpU qFCBuq&fA2Endy_ ?!։>F[s2G0$7ណwA  ǟ0۶/PjE8KmdLVUZV1viHH}]*B6 `wt(h 6PV`@Ƹ䛔 4M Ht>֊8ΟxsT(L,=DrM-ڷoA,}Ib,ʳ-t -qXkXk֍j__6p?%/1w+|Sk4F\)=C}Js(o0[vw@j?2$g0:a]&Xc4|=klv)lÂq^ 2&Lh}O8 "T1lTNc h)0AFw`fi6(&< 뗾7EggnH3L=="BeC0/#޽m$_ztbIk$0"a@ӑ!|aP,@zkZEݦཚ mB%_}'y  RM[j ZgG=$lp)\PdX`$/ C7jG|wbu6ʋM\q8xu]h30?L% >?fTp'V3Xdb9#yOAJZHuD]p~,EPL;,V.wU▻(\XꃐQ fJA^"}K<l2sARŔxAR>ﲗD6ktT ]1ㆮ$h!I?c~ "o!lWQ GR';mZbFh׸F Ya$oT&,SNnPZhƒ P,.vUcA!a&zE36"zJfD>e{*`\~{khyIFtQ\gYZ2ab183abb68e4a01ea74718dc2856ceb3004c6bd13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c   Octonions