SQLite format 3@ . BBh77otableisabelle_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  z l ]/ FOL-ex:threads=2elapsed=5.477cpu=7.796gc=0.160factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n%;& B_K[|-("#FLٓ2uY=N\H1\@p]]̗)2`]í"o<.kli{AWKǓ7c7H.^efݛ0M_±gYZ7zXZִF! -]ŗXiɟ1 UtjL+S ^,&Gm 93p/+[ԖE'" 1aJ37Xu],w6:8*(|JHGN^, imڏz><'ef^/9y jY\ؚ\5&t`٢?؎!|v,I4ƸwҽWG;>G;aܔch?,Ǡq{sz~6^wX'H-CGݓ1HRw`ě@%fGK9Kn#;# c{gYZ7zXZִF! ,w]ŗXi%;Z!i`;fx+ДU X=V&2YpG0L{Hfϭ™3eZ?w#o[d {HRSnE]\)m g"/li™1|&†wDTkc.dZfC6߷V:M7fkpc z3#64ZQ}/m 4=rRF9XD^W5Sa;"73ljJm~s_Kԭ!V"@' =;z+PyQQ K)c";ϙ >PHMI3ac(K+٢=.%̕KF/)\I;kY(6;[Y"b|7ޛJƬeSc{XO._RmkTէtrCs^_Ta5=U˾0xÎl賈|˘P 3 $O6e | r"R־WOLkg"~0":[IY &q<*'!m_8 }{7guLFZK T%&^QY$WLK&*IpcWGDj ~ M=X :4jgZ%Ž1rT_y8$VCT^eCٸw.sb 2+muDj&o_gjZK;E8'M]XF mgYZd6a028b61fa46ad86bc4d3b8a55a4013fd6681011e8a5e75562653ea4f095e5003b29df3c0c7dcba 7ba7ee20c81af68e686303c6acf7dc141d6d3e7a   FOL-ex