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 ` \ ] Octonions:threads=4elapsed=14.225cpu=49.188gc=1.360factor=3.467zXZִF! ]ŗXf[&/=G`u&+NH[qUD&/]%[.+ꠠ[Eϙm;6Tԟ9 PzW*D9q 2룥ȆV;0#߅*7;\{Ƅ"UjS3q$]2hΗ" .wv>y5,$5m+=Kt|g'AH #b^ Xī0e ^~(!߻VRP1hmR)e S=| -k_ɂ6 lҮfOJl$pLDL74J3f7Y)MjTĆo71˶+ZbV*= ;b,A>SMĥԟEbv8*ruv|TJ<1a*ҕ$7YbD=Cl!#*[i 7oLuJUQw엀IxaUj_.Mύ~qΏNiv1xV9 9m\@}!Ξ'3JsRKZ9&PV.xsC5ŞFBdH;9(mEuA/PI9S*V/K}Q&ЊũÉ kܰ%Jt nl‚'?Mtn+5~.Lԗ!*.m&;?t1aK%m5:9Y^ICeVoYriF9d5d{:bgy f3* Zf;\wL65Xd+sih6^є}WKag+ =&'}>EZ,+EE|?zL?Þ0+?zLڸ|ZUsi4o\-drL:(ãEu׶tA!-.<@86c-mr`,lxFZ T؄gHēi^w^t PغBʠz ^)œI׶N1˜j̦u/![u/NJk%W&Onw'~h,gC# o9LSGnLheRq|{\eazix6Q4|uP"X!řYR]2}z~[p$ِ^mⶵQ~W:KR>B&X5j~kÓc:<B4U 9K"BM5hӱi(-&"vPVt# lCڒJVʪ^O{pwq: dPk눢否hF[[JȄne\ˀѿ]=Ŵ' \5A&6±2@d.#蚢NҀ4\Pե+NuŎԾqKh^~y垤ԻZ* L=evvAiEvǦ!\4>2V2ڼZ޺MZ/OQ>LL>95_9KHt$P~KJRqko/C҈W8lք?9r=>Gۢn:#B27?_qsFN+iżlr>()e {Rvȥg2>*q<o Qv|S((8_4`L'o59M1iq.|0C",` B$%-9q:ӂ\jvNE^Ͳyc!b3|`0_ϗgr'3sDoE>1ZBƭ P"bzoxuO;d 5n81t`e[鶾OQ/2@*x{Pn)$l=}(5'_i1͙+=4⦱/|a٘\cqiD&%DI 1ǍF"O%(w.modOJ,Fա׻IԢ WMZղ RPv!U r7RdgYZ071fb97cf472d548de474b481b4227844d6b95551795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 736d5c06b62df891bd9077332c5b7dde9e009115   Octonions