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 q1 \ ] HOL-Metis_Examples:threads=6elapsed=14.526cpu=64.640gc=3.928factor=4.457zXZִF! \/]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓є,1,bcÛu׿h7wb{M0dhL>jELXw%rq:B%?{Won`zksD!&i(+ #1ͤg!eSV~ߥVQu|K|38Cr=r)X_&˘a@zʵbUC cLLq(,Fc]9z6J 3R^{äsjY_ǷDkTclLϒՒz!(9Ȁ?F 6K s9,ql?2Su8OYGl1NJ%!(_1ﭫPNI%qg!MEoXxD>6,^@`Itp`z`ov[sgr`=zH˜z͛2f-m Im(}:؞,b8bn<ސC[(<0ĝo&jm; UdQJ.<~smwAAtE*wK<&3jW|zl;)Y~kۅaCD0de|Ff(CMeʚZ붠ZR(% [/1l2޸fgMή|Ի䮟G):1e.(4XT3u؂-$PG5є mL-?ZdaaJ`~r}ְ>N)@AK5O.lEm*-lB,"TP& 0ϊצ#eC("*~Bb} 8<*&OY)s+ZvaWXX ?,TV>B]=Zd{|&\0f/IJPJTY5էQn PELqz啑ӌ.×TF:MCC b }`׌n?ڗX<'bIT芢^XQ:G Iac"kښ@Lxmh?9\r  +`bzl;|oǎb.鞬ZRV[.RӴ(9\C] pO@h]%N*t Q~x"ècK?'x[>/eӦg|>m /sv\ncVBz;L._01uĢY%4;g6#I~ȟ;Hnwf зheϟ zmgYZ7zXZִF! (]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMSKj=N<)"`(u&pZvI (+;C`@ż gpd8xZQQ躖:~qknZi3 /2rq?΄vx{|52 Ia²=NRlЏ<+4gYZ7zXZִF! D]ŗXi%QмJz( @;VA qPb9pjK}|ߥ Z@q_n(N\ՒD~"#H[<.=PYlz%yNZR0˛dM:'dO@b\6