SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 \ dd ] Octonions:threads=4elapsed=16.748cpu=56.164gc=1.440factor=3.357zXZִF! ]ŗXf[&/=G`u&+NH[qUD&/]%[pX9^8m "εq[2ߒ3^扐]!gїGO53Ir ~e5FhjqcljˤԐMކ)QqUWg˃wʔy\4}kUKUS!Qȫh4)7>kXMX'd]asn r'0HJ>42f[.V:_(k&/Ki籪mN\g`,=4q xE{@\7ǠD3yq3x3ub d!Y{P{([W&W (7Ƞ$i-=Q aoQGڞNVd 'dܕnי8M04V[ZƢ-pVv77~)#s(*v9*< >ur͓U41sj?8ٴҍ JG- G*KO Iŵ7ͩ_D, 7S"ʲEҳ3Tnmm7C8:EDb#B`+Uz|f 襯G 3Ff=|ĻIhVӋ_%o*ݳt"SWmyᯱi%/aO6&MφA0G(T3(;6~ƏMXP+WIU)\$ rZ֫5oWgYZ7zXZִF! i]ŗXiɟ;LLyLDkCh:\OW5G`t sg1d:vٽ۸Ό|cDBDp lIg;3yUzKwz~ɱgYZ7zXZִF! ev,]ŗXi%B4? !$}jʹ vYkIa`JrFkII8H eVäXь_+͊[w1WA;MV!ڠcrQ=cO=e{n  V(?=8!==omؑ8Es]\Xb 3K/  !E9^{D>&PpՠDsCP~\sRkq DU`>Ӻa QPzMHNI~~bD3GQ'u]Htf`,.XwpB)hG./N:R. RsЅbi|"=(-kG4`n Lv)o_v @ЈK'): -OxC 6K_׮ VbK,7N= pa$f+ ޺b1h ¥ ӯ$Tp&} m"|=o@` u}\NE/*JwBWh*LZ?]lfˡ7뺉qki.F.Dv neq}4[" ='rЕt3cRĬu;\!PweXQ'Jy'k!f ]W, ],{?iIi s:&w<DļnXЛD(wx't<D4r]Z\B¥˓q FoewQJD[8q<;'[[FiuhI;Gu;>/RK#ԝ.$q/;(Q: ̩egYZ55039558f08678ba3ce38254ea2ca360087e6c9e9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8   Octonions