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 R?< Y]HOL-Computational_Algebra:threads=6elapsed=31.791cpu=100.060gc=4.036factor=3.157zXZִF! -]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pn~c x\!QBMiXCs꧔Sv7F5=\ąl+}#?߾I9}[}̬#I?]M֧rI3k?JsĆAeZ6Oj.7F*>hIM^vN_Xj{Sh`GQ/o["5W(s7?U&^Q -ЫD4'+#_ISW[(Eo,a#b Y#[֝sCA=#>>ϒ9xki&4^S"pIh=d}aK5qq%ը WL`W0n$9ALW&JGʼC&b霄ֹ%3'sp~Ў:)$;!D *Nsy68sp, 쉪FHggbεUTcehE2F)lLs,t@b_q)wrK*^`JMTa)zTdhdpghPX ߅lY*/”M> 0{,Bk˦YZU֚jZ'V?%쁶<@}r6cdg3OykVM֥~8 G>̖+53Jo n07a'NYrQ0Z2RTK|]~nd#.8t xOƋu[PШW* wI ;~ 9u:CDt[!+&+ۥ'τ.V7UgUwu`4r\,U+09}[ zbs^q[W#\Q~òU~ulj_ [8gYZ7zXZִF! ! ]ŗXi%6/QvNM1|Ӣ_Ĉm_[.Q݋8lxʏ.v~bHo']LXYLE9jȯqm HN IQx3LYSUr|цfNJʃifPg$cXg"^Fppƿmkq_JС q!aohu6TۃjK-!a_h,oAA# sƄ~ƣ2~ /1+i0 m9E°wb*IC(FX?/-'= Qdf@ML ˜Cakw/ws9]J6O9 8H5ۏmH2O`s}+v>M+}H}ʫCiԍU6=Rftw[P7#ۡMI=gTy[e6N1yBtgII#9Eo=Tf[I8L61U",:dvC:.Wy%*i`!_ jCW༳E,"ʼn}vjFN:wC=v1or =t^=|{|iN!rKC"o(=.AL٩CH#4?ϡ2d>]Z)b %&ϮeJ%_2/r Nj7M:E$"KcivKⵂ1ow8;W^:Lmv;z ?LaߗCeNV Ytz]ez(ڍm=-+J{; OίnԃZMC:8̬*xd%ŦGO[I}Eju?