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 QQ,) Tt ]/ Card_Multisets:threads=2elapsed=10.557cpu=18.960gc=0.984factor=1.807zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ] +kda9:|p"rp, !&3Cwtm?È[RKY;5ΣZh˺)"ZlWԋ*ys6:9CA*i;|@2˙<Բ,*e l<) 4N TQ_dv:3fF I Ei/ل)T af񥶃`O#q;|p fُ1l<^Ybpf Y}߱r9o9|+MeN~Cg5W NSQ| l7C'd5@gVIf&l Ě7zh$6PgYZ7zXZִF! |]ŗXiɟ1˦rYsxgp9f閷V $PZtDHjx>UDi77ߥ7D* 1kfVu,V ꉱ gYZ7zXZִF! ?`]ŗXi%934?5堲Vhj *Q'QIVLjk <^vZOz;II3D.rdl>6'0߁=JSAw?XgC@g&'U}]c:UFy3?5t` (a7"C'v0fղ6Tk WB˸角c,ј\-N !7;U&uH3ڀ\ˀPٱ?u,&>a-)$Z1}mOFRW}M۟!v!Hb>BTӴ_" KHuSjA![6Lezz XkΌPo[<?6_ N3X?\!RD谨J4-r!'Ꮦ>c:jUl?&dslUi+Bx`N;}GKgLLauDy;̓vk?¾GMRT~* r`R TNo'sA8sM0:?ZCM`^Ze̹D^%8?P6&U_[n~;#VC#6YͨSA|燔fXd Vq(v 5T/Ȅ DSn^ +HsVLp ,'G.7qvsy4J^F@‘m[>@C4m,CL%?*g.|5pغNӴ,bo=4^c^.n<:~RF2'16ENrc4hIn1-11ǴYY% 2A6Ryt 6U11N({w