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 b |D ]]]ZF:threads=6elapsed=12.322cpu=43.920gc=2.744factor=3.567zXZִF! B]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwwtTeq[Hgr- 5Ixϝ/fq~'f8)XAC/5b=,acKThX8yHBmSRs?UIݘ!Ьr?FԦ(-4u9 jd^U6rۜYT7Vfsi@SH2;5|5єcCCDd]RRUټxrrBIJ B13ـ{{_ޑ*i\{'6(Un`{2xaI7`$EI /ƤZɮ _ ј(-U&KE \Joc(7M"+gސ[~,;7jBM"þF|02_?:Q2,p0dDSHxe`^vΆ Hm^FsmI9M^2fpkr;dx$~J<Քl>EY%Z;NݤD޲nG<7 JFPs^5 bf-&:<{^Y9cud<+)*^֟GXox <W~Lr"5?[f/2O%LLr7KP"sиM6HX*O_iFcSQ1ܑ݀9f0<;DK% IS3#%_vq|TlOVs≫o/~ɐp*2K*Y];[g*Y9 ˰T<?5"ջ$έ CeA$'/ Ua~qn [/jK߁Fu?"GUK)% w4+hf UD׹95N p>Lc1%ZvizC.i .QqMxQZ{<*`%ֿ8U cěDBň\zCEZ:G-]c66A=$OKoR~?`ƺ-N:)P pPͶ'Ɵa2pϽ±}o&{ӷĸ׳{'10AfDmX'd+LCb qWLXƋ~zjr:4ewh5q iz:NWI5mtp1wFmbg0]@OЩ%dʨ?̭ha0:+o <7r?lo>t[뢾oB ˷*(,]PwF>ULLs b޵x&]VXP IJk1i}/O7^b% ws4s,4CXD6͍2V́۫pgF;!n be1o"U\ZDoȱFT #etyK9^<7֤7eBE[*}-SaMX:PIu0xϦe|E84'eeKKpsM.3j1]N: s<WJ\$ˏjn4f+հ> =(t_O1b8m5&4u %B'эtʑt2دagd5ͭ R K cm yYA9gYZc2ab9a72003a0b9028512959b9b0302db60ffc97f446f03595bcdb30e30624659ca93892e4038ac35d4296fbf4ae0526c95f6b05b0621f8df2caa536  ZF