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 [[7 `;Gؽ8nt*q* .#lw gh,jnƒX".YѲ⡖]Sw0_l~Rcd(q*jxz? >#j@†:SFEL=&7vZdw/g^a30FsxSQQa.FEOOPnuT^k S wJ~\2LzG~cмA_,iH H1YEw2/Q J7D=HOC"{Wݪ75v:?jԣY 9m*| p4׫F@c /Du<.B*ge)OŲEH*'_i=6!гQ^oßi@waMV`WxQJ1e%*@6p!ew?/o)liͽ\맠/+FK}&Œ1b0HTti| U<93Ұ`W!+k$Ͳ=VLQ,t v(w랞ŨowozGu4ޘV A().mjBpMf?6;v7qJ DEZ_DTKaO3ޣ +ƥǀj  WpgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]伨iH AqTKM)YfE3|EBP夕?ڰ1UGѐ>Sh۩k*ClZgɼdse{yXn3 3^fe1 0B#ņX:eb Vqjz`  hԳ"`<#i_ i*zeCGYlJ+=6p/D"yqxQÌ:ʸ;]o8c'E+(J3#y>cmo `] DL텧:YNn߶z^/ JgYZ7zXZִF! }]ŗXi%;@qqj!HH:>TI`YyQG Ô#r]zgArޣ%O̽ 7(+چ@E@m?kyuFJ}fRq;O~EЇDZɔ9y&0B H*kzFW4gT2oKhf$R2o⢊ ],+'jG*M^jiCMyNe>F5ZvE=EMuۙ^ξFf5$#TdJs_x.dt>~!z%j"J*_9a =KWڂMᘈS1r:ȋ5|XGNZkkGX%Ob)*+wWx&LU4:ߋDa\PʴΝq{ iQi~U:"Bc{4+j%g~?FUNVɿZFz/Wk ckFq.8@{GʸЈظ+p|T x0%v_6͘}IJ\Xm4'i7mQ悐\jg8SM2x UJGxk:'M~삳RJƣK ,/C3;=mos(]XJW>E̦tz~<Z7* ̷\'`m=bD\*Ug.'o8.Ij[H3Q> Tg;+UD8nrt˩"ڒ/FBQH[֍w.SNT/$BOd:۲kn֮StK/Gɔ\lIsz {^>d6D]Z =Ks%kwDԎ4#Nd6HKdG L*sqvE|36H|x rJ!rN<ȦS9*&[vsD=G|&t=Tt4~x914s~$yo5kJ:>7x/^+ĊeXlOV,ē P+TkU?hy$(c{*)Dl!N);7^4#D ^*yQe+C%֣gHA^RtWޑ.J?;1}yZ\/jZ]idz6z3|0>U5R1J1|wTPiՀh}tܻ{%6)ngE!qWڿF[ޘO 2Q>i=ݰmJt@D&s.s 'k|h"-`S%kzUKNn1#p."Ty{zo -pA8TY}6$3|[UĶ6~u*/{ƕBP~X:9|xt`6h!%FHHDP{e4^ zTr'ͿANKӥ4[QVBq3'4TE`6ŬPԱ6sb=鎄%7&Ƅ^#bNK]6Wd$ud|ZW%&]$(Z tLc}"ש* Aw=i|0W9{菩"K>D8;vs6z1outP~^LM4|k\#Wb] \z!k*GH( %%7gxV1f.xTG{X@wɢ?NNnf/ -k:_]]E)Mp EU!JyXD?v::oH:D.c]v<2uR%yXܸ`iVo{'<?\*fgE!XnyDSCT>Sg)g3 \%׬0a" .8HmhIӗՏ}ܔqVe bIq-@DyVUg`l~SR`_œ [g%g Ɓ]b)-yϗEg2̳G,TuN,us-HƜLlh2'Ohzͪ3<-flY k^sލI4InzۊCCӷmW\aŻ&:ߩ%kIW2EfJyy^Ja:Ȩj쒥B F=}f'vku@Ԃfx|0 e%%dTAz2=c7T˜t~_9V~4ְr awbs |*ė?h< 6uq꟣eT@OXѨndYJjhE Vl>QpSgӕL`8g+?,`rеc$&zpi A:B<-tD-t=%9i}R\)530&Ne:, .{$=p۪.u0Rs;ƒI 0^m1-Kzp]#A=pɑVŌxɾR6yEF \8Io& Z uԫ%dN!(X O43 !Q\Xg4{"k?l(+wգ  jm2Lcf405::A`tƁ>״u3CίYHFBD5QiH.rP͐7؝`lX%uRsvQ8⧺wSO|}"PwI4?go6/Qb=/ InޣnVx3dmk]ojK2wgלyoPDxՠpl|\R2 (ޞRieg_G6ZTZX $$5 HLVkHDӰNhY"BÕ3e I^gǷi/ļV9y5lw؇KZs-ʦ}?5]Cªsvcr iBDzo{B{ 5M[ Xɳ!I^Er:I#:[y"&wHtnCO~" S/cZc`̄8f?D/tB/RU@)Xyi;jě]enǘhsLduM*&EB(Kata Ϫh(_~+*]GJbĿF }.A>켽̓k+Rjۺxg)iɻ7=XYU VٛoM#N7#+cEr51ѿ_*ѳCO.t^gYZdd545250578ac000df7db0acd8fa1635e2fef96c98dd477b080148668828b0f67c6e8a1d9708b3f3 61ce31a17abdc32ae8f58dd64da5a58ac0dcd87a