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 ~# 4 d ] Quaternions:threads=4elapsed=23.375cpu=30.528gc=0.932factor=1.317zXZִF! ]ŗXf[&ptO~A`Il +ݯ rsÁ-̈́w$7:|9y m4"MI^rQS+ p&hA~!ALMG$MP?JpQ A30ɴ8&ӕfPG|u?莧̭Sw\lꤵ e@faG':nCśtLUlߓX"ftF;a2ti)yrazi L$xsW ~0wg+ gsouf egYZ7zXZִF! LC]ŗXiɟ< =TSцdKeopJ8"4F[-gJ||!oV5MH_M}YZ7zXZִF! Xi]ŗXi%G[ej)n?Ao| ] o6Ʊ:?p (3 }~ضXDA)bXms:doʆ8LX3HK<+*S۪K/]` &(sgr}r2{Iv}+uj"$Xnk@2rvf>{#"p9UǴԀq_ixS%.SD=/%w!;k$8?>%w62i"|QǏS3o_ӥnQIl-|gQ3nᑒ4!aX'ml| v3u#|rgZĭaBX)Ml&#{_z6t^"I~'x`NLa@7+h;Ed́}M0jB?߫^~Z #]5&^:YRMrzu^{4?;,ʒ>OsށrS qE׋<=駭B٪=Ko=Oi -:AYBsSs]XZ, 0dQyh^d|9^xXϷ1Z[TikJ' ˺6'+XȞi6Tފo h=TmSȎ"1s93v`m8OګU" ̭Y' ZBo(`2=n/Ul^;r -cN`3 ujnQ,8̞o1ȱj6P_"fRF)a#{.7_^XkSYsA*:_9Q_=Ur aݝc8V4{@pFll7)!.-jVoOi%E8@-nK[zq ӭU_Z'jöut)hHFNӡvB?aЃ`ogۋ@[񷝑/zˉ_ʷ?{&_ZfP> L$67 8Kp2ڞN{>U%kUhX\7hDLރWI*$G)!9I,._qy.s 1b" <1ӻM:p . R0LU"tk_pf57VyLP2epʨ$JgNA nD]-ZˉA=O/t./v'Կ;"VYOCvfR\ )r8IМ{dykr$!-^:7H L9Si\%9[[+wl2UlS~ 6!{,=ΔGpAII<[$a܅fɶV㐤Q. 1b/O!)"PVXࣱck"|P2&N ұچÉQx0ۇgχ&s&"xl1#{ xDuBy(q|ڀ&$;dߙ7X@cv+.G[j1IJǷ:[/!H 0ItYLQ.ob(_aR ?t ?|]&k)+<:Ƽil0уHjцnTMƟmշkg@Q{٬pgYZ18611d94c2ab59156d4f364e8e14d00ca6602c2a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 # Quaternions