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  | ]]]ZF:threads=6elapsed=13.464cpu=47.528gc=3.016factor=3.537zXZִF!  ]ŗXf1-) enȈA"tr-j. ZbNVH ' 5c&C&T+_D“o7ޖ2 "jf_V'iR"ѫ`aJ\{"EW`Me;m&r΍*voQԈk1ʏr=)x"qQ4SPs\8I)ًAl837S1GGR~X!I=v`Q+.ͯ2uuN;V/\$HreeFM=APy4@F`sI*?lnd e: `”l|qhxPeE]Xsɖ(E>Ck`g3rϓ \,J߯M@J ;&kG'ԅR }8;+;/3 +ĵ7G1==#R7lcVf,`0rOh̔R|̰|ǚHAET'.LM8 ȱ͖/Izo6K l8* ^M33_+X ՞4QCqf#IFϸe%e50[9K}{t gYZ7zXZִF! @]ŗXi%@jZ,@c/p(w7t̐/N^[$g^( EeB`"A {RZs$7݄A'r[Txю38cGYtfHC(d%! ]I6|R~,FhdK:kixR{q ΛM/.޿ӵ[ӟ6 ef1 ufÌjϒfɚ)/`&e^mW_C;:0O( jܟ؅>y}ۦȨENs2f|M$vu}LW5U?$GrSW%){"}#(?./u ݀CU+V$ln+)0[`%^,sRfiXIi7^L b^/()}Ös(ɥ.}fl 3ēUXvɰ}X0Dtw?#l Ի7WB]UYc(rɺ\'NN)cFXKrD^U@$Vi3 USϗ~ޱG;aٰheeW3Ѷ'L.;ab{ht{ʼn ʜP]\1pޜ e?EN#D,p9 O`nèY;o_6Y NK}:RVRǛBbH)Xr+к6Li%#<圠*Uz_g/5/٩|@I svnBB>O[Y[sBlwf Z9ەI&֥[}%z"ԢRTu< g"wX< GSV/CկP<8ugH̰D)& ׁ[gYZeaac186567617c219cfeda0b99d3052b140efd6976ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ecdd18cf13f593bcdacc5b2e3c2d11ac61f7ae9324  ZF