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 8 LL ] Datatypes:threads=2elapsed=46.538cpu=67.524gc=5.280factor=1.457zXZִF! y]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$mk]^+['}:#')2&rڎ㠞JI|B brplk qap~D*6_3w_~zC: i>߷ÿDdLSg~͠t NCQ~U TW< Gkgt~qY Ym {G me3@p<sOL"jhB9Z22 ⅰC=A>hO֠,vسR٭Yk|K-`imdpGj%74s: TA[oRU,5B6}M7P%ײ2%-Ft ً@C{LF`9V"k[sОSߪ場Pu!SdA"Y h3qC e *dH|6$$:4T^с$*DUͼѻە>`t*qY}]` 5~zđ 2L6-w˪K]~W-i/r;m:cEBlZio9 |MxWEcy2zHc5/qK/3 cJ^nE"yZ ԗ>9K$P塝3Ă?ܗ"3>V e`s5Dbql/$ ۞D2z8GT@e' V: 8'v)R3թ?=ŒKn;߇&ET̷Peuwp6eR2nj qz}IS8k͢7Alfod]5p}܄m߂E EoPn!䙜gtAX9f"sv<WJcɟ@rE__"w@Л>IKࢻa4AG |#CXgq!OX$7BXy($6J\ * bot7qRBeΩ}rȔͿ:c VOMBv_)O3`ӫR+T@VQoSN520*lo ;_ 3 •C|/>L֖vh|g覰2V[ЭGĵRnysM>iFʑ=7MVdb@4sLHJ|%km9c1 }~> ɼv!D`ag!1.v_Ҧ(ͻ"s(Nk`YagӲ@ҴSt^U{S(tڼ;4/(!ٝ $-DQ(ʼnWϸJ' -{`-wR2c/lۼXKYTj4#1ΦAX'u(`o_Bқ*4:.^_wֆDE^a};8lݥ,tbG"oS {[})?zk`ǝ@/fv3rPC4RuUa[PnEv ;: DJd]*'۬- Y\hkN=NsAJ^"pq95&A℻zSӝjtwlUέf7p0x6*ױgYZ280e4a1d72f4a3c4f2d5101ae0db94221726cabdb5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c   Datatypes