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  t t?Td ]]HOL-Computational_Algebra:threads=6elapsed=33.163cpu=118.632gc=5.796factor=3.587zXZִF! 5k{]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~C NyݢM,ᢒM㢦_ ^BJ3E:)a,DJ5Gָe(y2Rړ%rRpX-kG*JlxgK )`)j1)Izh@^t|?ʐF]l\0Vݨџ7#Wa 桡N1&D{ZDO #{hYEWR/8ﹶdT N![FpV& gAu$uZr/PA^GǂJ?6@Lb"W؃Tٶő܋f\-XՉT;.(IPlHJps.i I0]5AMdp' CljVf3&FjpfuTO}Ѓ \O. a{V'o[_,1Ne_d߆F|بv2|ˬd'ϛMY=aL&[g(#_qdۘNt'۷{–-ծ{ݾ8 !Ib?,56 ܺGZe#TtcR0p0F74YOt?8}X4Qx`< ? HOL-Computational_Algebra  Y 58*QwMp'!Em~gwH{6.>]YiztyeLiU4]@V'cV]6)a 7|`bҭ7o }NoMgPd*ƾK  qB31SB0ox[3}2o^׳!iy8"6_K5W0XBabG-2_ PkZOhɁX36QjT1eA14ѿ0a/6xZy;aR0vbNuj?1-YehO{և}DŽNCHa_Zp`%9h-?\1`Pơ' _JyL" x4OHTY;GLv\ keOA+@*r]3"R%*ostgm¡OfBX@ *]#@W& JR! יK ! GyA~^܈I֬)>(dYIyk]0 ۋ(~7(kΆւ6ٓm@r 0[1FԵ>hl#9y 7PO$bK ]#I '-Yj$© 6/J -E _& \\_~"r5ƟDM@9/27M:72Ժ`Ke ѿ`_ y5u=ün!zv7cK E1nF Q$Hʃ@5nb.)򬓍G DzCYB**Jrr2P+`Sbs5 V^" xI\wI ׃b*ˑJx2o"}I(?V]g/xW bA/^FO]✚BXF ަ.Yç,HqLΙӰ@+tj5}A.! 99^{Qb]iKw4FQA1Ϭqo3 ꋋ. W(U]v!Tnb,fdri'(o5qLEdfk=m*yԧ4[u)7͔܅b"X%(H\_c+B^++2'pyD<^ UGu)s`8~u]Eo!4LI/N Ͳ{H3-bN:txmi&PPe hT8~aƱ̭,hNfZKbB܁WbX`/:3Z7lo3o~ ◶;~4/ 6Ԃ}).z7,eXסq|9ȀY; w:U(P2H:W5D)&gL7g?Z2%j1$#&zznʕTJ*6I( waHWÎP KXH4"kpԚs$_ҳ½>Pn?(u%)$U$|a*镒m/UƦQFGӔ&7ROZbP͎M!iO5k7zH;θ+ ΄m<_ Ѓ̦0.Me!hFo|+%A`o`,P/^-N1O9_Yݪe{P3Z/ў9ȸҥ2NY؈*9yCVdu)Rb4:cC ΂UVw4HEM=n_dM&Vt$ZTeB3~]-諣K1? +(~wc1=",,ށvԡ_cF% a)B1ުT3)ʫ&|Ulq$X^I[7A|r5@|pX^q򅂺[?):Oh.Ň)]ӂ hTi1R\Gav^fZ}o&k냵U.SR: E-Z9.ZZ害p]Skf[aL<@%LcE> Ҝ6z,6uv޵87t\:e"K&^5GNgYZ1e0027bd3d413a332274a75f3e1513be6ce27da0a1e841a14f3cbe5e635587c582b2f4674f435e40 7d43288a5cc968ef6c8aa951129cae27c402c99e a4719e62c96a0a1e3fd0c74ade35f57ab3a87a7f85f115873b271601dcb973bf9f960b1030b6ab40