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  * *K <, / SIFPL:threads=2elapsed=53.395cpu=86.832gc=3.696factor=1.637zXZִF! +z]ŗXf1-/6vR[\w;/[t" P1zސRitYF5ݑCVt N>=½^ $QGY8}c udڴ)22+@N|Ī̠[86Jjg`g&j@z91 C~?qiupC=<@kcΙ_=ѢC%Q()a &[kE*fT~zcg+ T4L|6Qa '-)VereS_Iist3 ~%( P3E7Ϟ&TBb5D-ZU]J^gί|qu8NaGos5rc^1R *!>w-O*1e  T?Z[fo[3Y4c6f<3ˮ53?-U5o U: aE?ןI/ zN籟VŘhNtFv\FF'~ P3IjE:i=>ESQ1h2-3lʀ]}Q(XD  SIFPL0Dʚ l2uJ ۦ@ÜWUԇ`V (KgYZ7zXZִF! l O]ŗXi%pqB0~Fl)ә/A@5khC(4EJ>~׍r̎5')To^_zTFhjż;a孪.VҺK 5ǿWU,-v1S!zj)/A۵SO{vDwk'4U`fՕrjJ&Ȫ"X8ȪgǴ n(1",[* ֿw-ME̝Xj+vҝLYVo' u!xvq o/ƂZ8;] DEQ|2UXƏ+'Zt#q1eC=QgUROCREQ[~d\ EsjSJiymX)RCM!Nz8@;2aDz8ʏ;BlȬ&q*<=j,^Go.1LR'G8 9o 8užqս@DyEESP&G#56(`NZ ]9Uc.MC!.߯K' S `O޸4i_\v GK 1.Rty?kKd=MR⣋O 2l6cضSV %e-3J'죅1yM\7p9ӈjK<{/| 4%G2WƜm6j^3v[T / 8jn~)VT*R퉸׽xށrz4tX򋬱pFf)=׷@4n}WoTqZӅ7i Թi/ V) V^Dž3V#|0I!ĵ-IUfÌOK`#T#;}Dm$s@Zsri1ƍ->_yA3hї`/9_3_!P\9WGj'Msȼ*3|!du*3"ƙ͹kQIIwz[. 7?Jd-Vu0Jk'd{H:K ZwZ8Q ?vT2"7E?W7ĥB}z\(ZtCu_p[+Rxݹ$b~+gMfl+z! Nk.ʘnߕ;{H9\U OʩѷWW /דNXs™"4>tWg4dp/LNO^"Gonhlof.E*c!X.z#ǯOjVf(44k;Pe;fG&䟜+EuK}d:DsʼnGU⯣pT͠*⚘]>ǾzvOc xTߐh0bv  :v^+z8sM*x]YPj2*_~vѯ(ߓǠO Z_!.euS= e-P)D]~oX/X~h!RQ|jnJk6u"B K;),^1ގ?o.k9 !M>dMŀ\2rE¦J3m{shmo0yu.(δP0˛}R@BK) ρnJlwưi~s~twu`~^ ~ʶ,UՇ qV2gmЈ щq PCeKYE ]@2}l>i0N%*h2lR?I2"͖^}58@:juݯ!Ҋ[&h Jʲ埑Ͼk7;Uk=3_;bGz"1 &D¢[u ۵#I=iRc -RU/$$z$v+e/