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  \# lL ]% VectorSpace:threads=2elapsed=45.923cpu=78.512gc=7.268factor=1.717zXZִF! ,T/]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n2Uݖמ41`:ݱ_!? WZ_?Rk3{;J]SK9ݖbFNTGԏGk~3V"BtٗCaYwUY[nJze$e67.=hK"~둳v$}IhϸR{˄v ~ca;(UjqÛ-W 2du,mekiNAܦ(&YZ2_"xa8R.4ٝR6tqm*Km-ա7A߈2Ns+m]Q{*5w)C޶7F)<`@̛!cu*MzInVB-L $qt'+_='4wB1;9f芄 pcm8Jv\;\b߰3#STC5~OgРRhW+݉XzH5K1#0cЄx7i(N陈g`Ԙ 5۠~q@274/S= VusƒTc67RC6U;9`3*d2鮣bL>9uI욂}=<it ( &0.WAtw &YI}W*Z?h қLiO&~ =(!}yx{9yːWfo,(R}/a\4K[>y[X"xe0K=_&M؄A %Qm8T裇h^oWDb̀2}'!{97,AUg{bk@&: WDw>DD"*<[ShJH0aΈ1|  1*JɃ,#pҕ#;;+OR1ݙeQ5P<#љW=Ѹ>ߌmYh~oK[tz ˇiދaʑS[';{ICEN/8,G}bMMh*P.?ykU{쵟 B}t?Q܃L >Y"KA`#N{뽾SJ)\'!q ]ϵl:W*ˊ&9~T*^԰Kl*TH…]p DDFRQ|Q'Yn@dL2ALFo`Sy`,\vfϪeDz+7a\IY`+W znɬdҾ|"!c|t N&yi0> x-R .ENny^J` ǖTyN:҃JC6ׄ3Cymix7{eWC}@E| T}|1&9Q1g6v:cx60P\d]Ì$iz/90ɽ/;+Ă-^=Ϣ;8TUC&=1z D+$ڿ鸙ކP<i\;5{ejvZ7TrI)9@2tW?0|Љgx^4Zi( {^KgVՏ "~pqD4>CiZ %=\~a,%r =>\ E{֝Zѐ>R8Bt|[QAf^G"?26|82^M7"~r ACŘ/II= {8H$:gjmmJ,g[s$mu.xfRAY*M3l0 *<^}1G/$ p5KgK+}gA&sіG`ʖ!I ȭua1xn"[?Q*ʢ nh#Y.$i$+Tm`Զ M\. |K5R!u߹D '+ ya8S+\ :ㄱE贪j, I2N氋@(EәĖRӮ%lڢ42KRȨlbp8۽gYZ25697aceaa13f812371ae814bcd225f7485caa60a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 140d3ec7db6db4c0c019e49bc53137586a59f617