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  W W#L|l ]/ Statecharts:threads=2elapsed=61.430cpu=110.256gc=2.848factor=1.797zXZִF! T]ŗXf1-/6vR[]f])_١Kh-UWv h!xfh+^ ( r/)S@ V>^`).|Xh+&q|/sPP6{Hd}BX 0pk 4hD:MT6/Ȼ\&) bXC Py]^2k͡^\5i`r\\clg7/4:џGe{_}Z[If-Q&i )rR_[5-_"aOm>ɻEϕ.8,vAqZ?l1HYE;%WV Ods|[ID(7O@!ک!38.U3vÔhGQ&Ku4p j\oΰ$0H kI~hctÝJpF4ld| oims.['>pTSp Ȝ94svG篹ÃT6:N93@p~$GZU¢NK']:0+Vk}' n˓754,`ԇRD~IܙzB 8\FWQ@Wfs*R~@'7[oE>h dاH>6P$\4}$E !* 2=m.JcCη Sb;ş{CւZF@[?\ZNLRݑ. b86餯T{ඡTczS̍wlK݌SĹ wVTdm2"\cHkզLz &1a*In'LJm-\= ,O⺥ںfPrk)g҅X1x4HQHoMNWO\H!T^t)I/!1xW>4 EV A%rDv j])׾XH/^WeHLP$yzBs y-\u 1$)Fe1:O㏚m<Px$^^ P[ekqG^I 6y_'kTƾf&^D..灵ΝY誫8O(>qZ\2ftg*ɜ@W[?&.$L죵,'mY1#5|l:tϨ#ϛ7=y{pzzT$NmsǣhT:t؏J `\ Go\sh|V7*8_\~_HY\!{ea5>hC)@4|m0_Rt0t)(d#'hdiFEZtjJ1|f3ߜ"Ryy:ijqp5[jG@;L=tcP% Xeho0wM-Vdw7)>wT@(}t\.\MLXZ$-s<*ܥXЩ-\ϩ;:O5xO,"8c=uG7ElsFjZ~EQI.CTvbry r0'6 ,$V`do/ ਾӍt*1vitWi*CN> AςdS\Cyα1E xl:WeU|ħ*wG#}+o[Ԇ?Al^Qi0!~Emm'/ "FHŽRS, m+({޺3H=7HhöajW'4V|C·`6&6Qfa{$%V`~ǠX)~ -rR1˜G /,Z2wOI'mU->"+%MuWZ] $F徼54n ,=mFG d'wAF"AR[F83ڀ EM)P4 e޲WD^>(:HW7a Q'&Fuʗ B6= Pm̴mܹWŨi$n;M007\ ^!_ _9͛GPK ^ $X!oVsBf j$fQ^Q6M(<)ƹNFioG[Jqx3 )a^s!6dtWibm4_2<ȶ03}q$faޱQCl)4w`0g眚.Q꼖 .$/ %zb3G Y`\x`%I~O ^/R1N^K)ݯj Z_`vWmL2]&QPTh{?G[5b%\ |ѓ_g&۸y?b].#tB۹(zk;kWI1'0Ѯd;{W{L@?7Qy3u'SU1.%.2 B-S9lvA2kØYM5nTv-I@J?uGaGulrIX 4s4);^q{s]U s>Oc=- efB?jN 6&CſtK{)`C