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 ww# , | ] Quaternions:threads=4elapsed=24.185cpu=30.852gc=0.884factor=1.287zXZִF! L]ŗXf[&ptO~A`Il +ݯ rsÁ-̈́w$7@^R.WVO|J.D3F܉X*ls ce鉯9+ثc<ؽƢxRGOjJ%u[X3?t ޜYZQt_uGap۰+/Ҋ :#^~,{XP#u [o[}dcE~k)GnA(U*gR z/gYZ7zXZִF! LC]ŗXiɟ< =TSцdKeop앂; nl(ࡄ(  _@ r}O$Z8 {c-|.oT?>}Nt   4sD&o?ԍ4饥& t݋ØSe[uӠ6<pSPa?4 Mf 3cLujc. W1u"mjEB MDۃCWjIl1HVl!.1 GjF&2f,8rݬLNW3%'5<?Zf jZBVzƇ>}߫[J-Q;7ٸڌ\ca8oTorYי#P{Z8t:j҇A}S&7?*>-.o\PSH+ }T/CCQ`Xh+V&mM{!Ċ/|?ɾtj"Y!Rgs{R`7&`)[QY_qk TR:r5/=(s T ?Fx|sӒUffRJ( qbAߡADQ?ǨMܳ!2h tRbQy634:FԆӐ7ք=7f2q}2f3 CnzG *1z=vY,s\(bΞД!`"n`k{ rze>TVxFQ}֯and .6Z?0I1KƮ Y䑁t Ajddx7F?:sO/4Mn-Y7ceGvV`)OЙ49 wr}I>6oSD<7Pd N!L+s~@ڍ co| I˨ N.r<[GGscr{h]SM~*<)flMz~߉ym;3ϲV,ϦO=`MŸl"awOg~M:,::6FtdDÎ$2<0c4?~f 4 h{/! aoV?}@MS2xE.в[%)V|