SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 .ld ]/ FOL-ex:threads=4elapsed=5.044cpu=8.736gc=0.332factor=1.737zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qT3l[`2IȭFʈsetEeO4&rrΥ戚ϟ Qbm1 q\] 4)hz\uzpSeH;m,(\؊̉ADW)]E")1uZڒgYZ7zXZִF! 0]ŗXiɟ1 Utj,>x?tͤ`:o:e}rQ3ߑ#W^q. )}7~ɷp7* }.ӊ<7mG$+nUT +Gd%/oJw0nBO,)_(a[x aǒKch.g;e#=cߓU/o!l5߸#{ձ¦Pd9sڋ+{Dl:rC?N(pt\߀#.-UA LA|u[ү/t ƅj6M8 ;+gYZ7zXZִF! 1]ŗXi%B۾+Elp@9آTi9U0@ 7+m-G| `![͡7FWeAVgOBaLoFCO>E_ MNj$|ŶfkpO~0-3,p{'Ky >f>dI_Y3LZ*#`mŁXJ)BRr {1⵻ZѶ@QC5؍}wIIN>}uzk.1vYgoM5RS+[:>KrY^UsP폕SKi1쁾n=ϥ--|vS#w{o@v8]>Y Y;ꄮl΄esGaZ#5|{L;Ӌ9ŬmX0;~ 槟 S0ߙ=/{)=ʺԠMDYi^x쉋ThtPׄ.P轨p-tU9(ٽ;aˆK1@"/G_e`5ŷdWy2X{<>.` f=иE97MqhX,R5(g Hҏl8wd3d/vq{0im ah#o8th;T/"UsK3N:I Z4Lf٭ WGVpdުߗかY-<r}gzkQ :X uȂIXsCQS%UwayiX  -sc0N4Қ E8㹅̖Qœ|teyLVBYU3^A/ckgYZ0382a9aa097ddf59662dd1f26624b83f095a658d76b019a50eeda51c4b74870607c55fbf00aca327 a5c1ad13607a4bc57f16d8c919dc032957c2a3e1   FOL-ex