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 QQ, TT\ ] Octonions:threads=4elapsed=16.342cpu=55.540gc=1.544factor=3.407zXZִF! H]ŗXf[&/=G`u&+NH[qUD&/]%[.+ꠠ[E as]b qU!<m@RX2 GלB}S55n$ĩ<0 m9sGcQ GG~kH9j|"ZS@ɿ̐^8] $pB^&ϧ5(98UgטmG6ߛ/X=/Q  _vG:"@#uunVQ7FuuԪt?Q 뼲uJ~.xD`$evsM8\k_ng Q"Rn}8ڎ; "$ųꈟ,3Ben"w{ձ@fYbT=$+W#FYrn/cMkLF^z_m#:Fe"[QG.WR@U`8/xBڦFC?`P + >#S`HN[#MU=lER)Ur)t{Mwߠ4eقzgYZ7zXZִF! c]ŗXiɟ;LLyLDkCh:\OW5G͊e?mMIDUڠ6a9+"u\YOhN*BoYLgYZ7zXZִF! rj]ŗXi%L 09۶^YkOݫ%vWbyX괕mH* M䔬ψݖ3$HU׭vWIE,Otzڞ,mϳk.^0څlӲ l=Tۊ8.$>shZ7An50R/оdMeJd[1`UR#m/:~9%_΅r-$ٍVdSTV(fԺ@qTX 9!?g1(OHgQPM-")f*kSa=C>FB@N/!7mo-z3/Wb )䶞9K7˲` 8llކ?FuAb%5܈ E(A=P.r1~ܘ (QU$Ө\vƭN*n}.Np7H4^]"q٨Rntԋ 'lmR [ o,kEEmz%.U70 H(~XĺqQJ`CXRCgo!V99Σem~5dՎr?4*5Z?ℾ5s¿̐!8TOȦwj(bC.>цQ)9hӍ~&ע+p@_ŰYT<5ᬕlԻ8xgR!brs  oJ|}]=Hݪiz#mNe)mOHQ 1|/݄-]-A pwl@F7cGN;G!mYMx{[wdSє/~4(0fncH@jh4R-Bf{yK=t֖Ԭa0)[޶C(  s#:i;1k`)sBT-ltw`j1b_Y-x&kyBD5YyHƲ[4 1/#&%>اkFC[i!O<£3 ":8~\{a9me1Vgm.XH Wz/q+PA^B> ?@8jZ>E5~GVƒiv) > kii R8(D;*w0=I,P҈ƾ8mDeb8I徕gFnqņpAլ)p`H6v eso!5s(ץ΢/B&Ua)/nX(ʮB~ jGF /U4 vS wuV%1_VO_tQrӌb_~d, ̛8"J@83&Dl(Hg?0?-gYZ946f2fd621284995c90d8667ccf5bb216ef684fdd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8   Octonions