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 e+ 4 ]/ GraphMarkingIBP:threads=4elapsed=15.272cpu=46.492gc=0.720factor=3.047zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rok֝c O+"< 9w\kXZ eoђA4`t50!i0y 23#EY I+~(wx{7ٙ]M1nɲ&T5`OXLR,htR;Y'r>S_5#D񷶇 =EuF? .[1XIeRc/Sn1ٟp]e׷&{iT "o&@XwDRR9(¢ ,@rb ;Z+Ǔn򫞟ݎc{i`0P,WAzO,퍧nd"x  'y43U^'" G~4^ʈYs4Oy +#'SvtAmoQjlkXB$/:u.Hv%\Ff/w˘!ؿ؛11p^R&>F!eXtZYz3^Ҿ.%-e1 W$-S#ZWPz0tNKZ)hqkB!Nj'H.WP؆\\yXc8%$̐1^EgYZ7zXZִF! :]ŗXiɟoptB"5`'''?D:;Fg|Ukn)lŮy#LaA.=sL-  ֏165Mѻ˘Q ;AO]L()x軴˘::D>Ųo~oC펗Dq?l2,zX,%OZfvL%K`A2F):BWKէ C>Ni@rU޲^k捾.s$N|jgjJZꗐk !v*u) U ¬@C%6w]2p>l"+5a>{/] $3imC}WQ7HVDZ䚸AxH`8{ YI9gߘ' lT 0'g.1ї#jo}m`:38Of4tx AC-`a;%1_TŋY%e?oli/oQy|[* tCy~r|BɃSHeKΧ51tF3T!:.!|b׾]-|V\"D>7n[s|+|c.uV_wW٘n| ث8 ,gAvf&5gNv e o8(\1сAٕX2J^huFLZWSUxbviq+௃$ǚr?O⊲'OkUۚ=Ϣ0G# #'p>tcRLF^0&:"}eY]%2N^BNGP/ ѿ Mʹ 0EzmwH7,?LFpl?9HT` OH gL4GE8q( ߲w1%r.߁|DQCGn"+