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  v d ]/ FOL-ex:threads=2elapsed=5.885cpu=8.304gc=0.164factor=1.417zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,nvg Zůb+guô NtbPMs fG,oFqKA)ˊhU#;6V:L/J =WX:Mq0:㍻ PŎ߱gYZ7zXZִF! ,]ŗXiɟ1 UtjL+S ^,&F>D$g)BNc**^(]R2'4f:)smJ.J% $NB'u,,hK ygYZ7zXZִF! ']ŗXi%9(PπQ&B~\*-Fl ,rdsVxF>d5Xk~\ϯ${`eMEلHdOh';{X* 1S։+!7ZLjӬ p ;EBqWCtȤ,Sl|M$L~F-tbhN"hk+4&jUNX |_$<lh'rҖxd-6&iЌŖ!)WRRcrO }UUp<#%"'d[6T5ad2Y!nJo ?Ͽ6M_T̔Z@j %$នZHRzE.p֌1mZjลǮk/_vI;723cG=&*ߋ/mrŸߗ桗ΡxQ*{ŞlwbjoF\״1;>q+ݙ&q6g, l*xZy _)?'I_|])X,\VXݑDcD{ p&OXgYZc54f7b9c6712fd7343f03e32979183464a1852ef6f2ea6ab0b5842682397ebbb65f675c6588578c2 6467ef4f62f3c08c13b28f6924021dcd9d7b6151   FOL-ex