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 n?4\ Y]HOL-Computational_Algebra:threads=6elapsed=32.341cpu=100.784gc=4.104factor=3.127zXZִF! .]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(:Q=3w;9çvεb!#{r@Pg%m_dL)l֐58 >s Miwy}[x4ۂEa.294ocF,e"?#J =@Dϔ cucK\6Ѿ)MDjS&ޢ($Hsg"9Ccx^/k3:rM)܍UoQ" ?+ND㬆_fLDw /| ? HOL-Computational_Algebra_,ٔ/NڱǛL5PO);'7Mg")>H'NdpG-ocdвQrpAyޔJ(]r[K$"4U /b6uEk A- Ȏ,}l*ŦZ%fĢ9Q#=)o;>US,Ң-=et,̘s}ܼa,W$9T[ 1 ]%ޞn؟~5xдlc>kR#fCeMrR5c| 2w9+&(~Eۃ >xg:}ꉊvt_#@^ٙzHa% tIn `k`, {\;=(c&D'D1)=S0)4r=߮XL]%\LM.uށ*]6;JG+aON ۱J=dhW$t$ȰP~O B/Ǟމq--Cl(k &!@p>J^T̛.t{Nj7FFey%s,$$4H(*kq>g!;/d0F22EHgɑ7ӎRvX5s&qN7{v$cɤim>VB%&1pvvɡL=503 :N}1,CMt }BJĵsl1f:1G'U*6wZB3%@W 28z.ߜBf.MK*{3W*&ܫ}."SCMO=9([ Znٔ% \hgYZ7zXZִF! ']ŗXi%6^# vG66bCX$2W]3| x^ JCK*(ǯ=4Vcxa@vMQb3[jaYNic0ь.qlL C4x5?I\;fHZEd՟Ӳ3ͱ$ x?  SCQWBy9Cx ケTK]jzLlCS|Ƒ'D\L. ?S`m !SwV(.5DYSܽ[ꄿ\9CrU^.-R $(71/e-.ޔ0[YP0L \{0)OF) m&x>XYLNId9윮ggRTWqx&Fdld=̳7^*vB1 0bmᭆ(|2 dJ#Ў:RG-YN x>nM⾒&SMj#I?;abrKy bQ*E0(:=c\,><t#6&.~ iWoJC #`s;tf0JJ+EtRo CLBR/CŘQuQG U rj7o~:Jͧt3񄐏cF0b k] f*mJ(QN2#D 7E?pTԧmGj3EQPRR n]UO'ܑ}NsFd y=S*171\4u93O#?Iq m?xE~ldGY7Ftw\f6ڵ6{,?f lGa{vυv^ ckGF#˘siD4;AS>1%SBQ*r=wڵ(PN~؎!=b%|y̳K9t w3p4lT""T(gwԇ2S؜4 V>kS l^fMJ7[|Eg|G`Jϖ#|#€Y9֘ZK_"z l^⦚3֒j۞F՝14q|uS`]5BqԱ:1?9MI6-˳S+h;˝wj+ņVAB&h5{;аEwc2_?Hd;߭9 0gKi4bAk /PرlGPiϣW_aeibAB~SK쏷(d"-q<:,a$XC)ܳ3n2gYCc8=(Lw~!1i` /6ĐFLhS)s2XdQgOأ[p<Бuc6w87h y3