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 SS* 4|4 ]]]ZF:threads=6elapsed=12.341cpu=44.184gc=2.616factor=3.587zXZִF! ,]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwG$P~)g'b[ٮbp-h+vAIfzE[uKN@Dȱ!^|W*E Ukg}F8.&%$R`QPIU;? gԫ؞.a&|^~926;a꯴{%HBIB-Wi DNOL=ګF5'b{(,Q vWH = :')߭n(2K1XM501:s;:"ŮOL5$kn_aԸeB jd~@Pj53`b,M~Sm0zXEi*νUlȻ+5O'73)\OC'HH/ֈ9gy e7UKx&POR9]>HHDˎUG G//Maߠk1޼0 &XU㳲סte+*4Qwh-E QxT(̜<5Ay"{`e'G/#'{z!%^@C`H1N]Iغz%7=n--(Ϙէl4{t gYZ7zXZִF! mf hDu~=T佯xN;wZeNy?ގ lꦦNKT3DDxpƲ(%<376]ʣUsnSCf{9uuO}q/{LJ>!㳬(]  y8,8fWxtx ɚ깈:Č9E/2 fzAalt ="%EujcтGpE+"(e{U^E`-giRZE|g"GWM Į~H! {C:TԕR^m!/oV"%Q^܋[1hBp~o5}MsTmh(-*ç\C!p݆EJ"YogH19W(koZ1AxIBy(7BE" !QF1HI*j b0(KXLxvɔHDW|[۰U嬚h&1pd< _J|pjvUe( sA:j>|1Ӓ ZQaeɣC?n<X<$hnEԿ=1s?Ikb _Ґ]l797`/jA۝ֈKV<iS>i>ᵞ,>tړ3&ETܠihmHu|u43A:7sܞoyTh/E>[7Zս(ubi4~saW}XV xqHZgYZfd228137995b27809e08c88ee5e30cc42caa7774e84f79adc9fae80ecce744260a10d713e14975f7f078da13105d52cb14f211d6e81881bb7ddbceda  ZF