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  ^tdl ]/ FOL-ex:threads=2elapsed=5.423cpu=7.604gc=0.200factor=1.407zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n@jQfkڊlQ+t" peuVG݊EH]_7gYZ7zXZִF! ,]ŗXiɟ1 UtjL+S ^-cfkv wc?r$QǀAt#г]2ݕfӫؚ P{2jf+ VBCsMƈ+Pú-]OxQ_Tv­W`cyPZo7 ->9eܷsJ̘4 zByBCߧ_d7<3j(N8@1>j(uV<&Kxxcjx)wKk x1\ϥ z d`:  ygYZ7zXZִF! ,k]ŗXi%;P3.F)>f-XM YX^C'_v~tm !_S%;mFI3} OK#b3R?.pc ̦$q8YVEGi^May9@#eIj^Z rk=(˾GȪ8Cjs[V2Ĥ$$#AlvrV9x<̃€%əHBu2hݡ$+ɓFL 2)lf HolЖh9[rjPpkJJ 3v~>~J {uհTg]c{lbD6uK\Gh$d5E @3'ؼxWgz_:{D }\2n?5ʿf^]W["<ܽHCGUJ aǓ0|QO >Ty2^t /C Ke*[ è(^M8`%,,ڞu=]=t w!>DcLx'[ ^(/h}(b'F⥙J<ɮ1J֋n^d {_{EI-ͼ6KC~h] vM_7ҼY. ӂBJ"<PT05>oAV^%Oo18LҔ;#rYgFnۨd&hk!XVta۱gYZd6a028b61fa46ad86bc4d3b8a55a4013fd6681014b2e4ef84f2f7c72f1d619e9e1af08455389b338 105a25cc48b6795c8d9392b8d37fee9d26887762   FOL-ex