SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  5 5@3 tL ew]Applicative_Lifting:threads=2elapsed=33.156cpu=56.308gc=3.212factor=1.707zXZִF! 4]ŗXf1-q恈ܗ4ޤ9ũBvp# J}Rц cAPZc>cWfйSHGNmAveQ`fmQׇdPbag`Q{f^Z“1{yҢS"<<H}N\v̼%W"yV 6_> 7v0}\2ĞMǞy<c UXLw#;\bzGklt!Gon ɱgYZ7zXZִF! t]ŗXi%6ywۄ¼d ɫ*"VCӀ—dhJ'ra(_tĭʱu#<췥u)>qeRB3-ʪ]l,PZ7ܢNh}gՀkW8n1;f?R>at֛ H&Yf. ~\ܙãC؄Op슶Qi.W} 8LJUhGvNI >nzE(.D͆` Dũ$&4>B1?4}CehS>?>^)_纞-q]fҚ ѣzoZTLi҂^n^ (hwo%s*josG4nQVQiru4v,?K jC ?"vpC AG2n#>&^h!+}Ȓ* ц J}K䬯XpX+͹yNmY1F cA;-nB1p8؋"mpT4\N'Hd+N.$({h]AQ9ks-0*B'^E C-E!LnajD\\@Olo#6m}Q;N6HJh?#jo ?6,5pυwa\IKj{Ů i<s>]}*ھ &nAxde-Kta+[V@2 !fzo"0ӣYZܽIa?D v7f曋E<ە$kPu(#%8 L;Ob:yCi>C@!!~ ޏbIm hP!{.#p?SEq>=dA&(BFp(FުKSƹ݇=*oԘOY6O*=!ff` aVZ)O7^J&s\.^8>(KuIsys \jY;ҬkN.tP#|[s"~찜1jMi6o N6Һ ºDIIr:}ҵ du R98o.`xΞ Z@V@(X;3;;\w$")k'q$b #"=ZSoeY[zCʮsf D3_ ~@<緤ʵS!zk>N'#Px_g}