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 __)]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k$ |o|]]-Wb e.0S;PU6遍M5#eiUNxFaAԽsTnt? L9#J1ʉc :约 ~",:<;#YЉ?} [J5g$!GRh>%0zWaS4y\Z)H94ߪ~'I&Hφ`v:)1h~%Pʟ$ ,L)lNGP;|!Wv|t0($GgfU|zL.j/9cv` lz +s:>x Ne_,4^UEq$0~ B;ԯj <}7 Dq tQn9qY h:[kYn#rbk""d_yh4+$87ĕuhQоm86UYK$cs%5ͧh N"&2N&!WAEB$r4fq(~cJ'EeM>  +IlTlMiᎎTO4Տ] B }\-:~>P%* iE4y/cqL s `eWFtO1,rIv5 (W_~*'aտY4u4IG C da/LLݿUnj299QaqN)< 㻻{W6K,Ql:¡'6[LZ˛ ᴸ@ލNTQ1_SLM^7=&uE(ԈWE*k!gk yz @9J;[LSm `I+Hn fn>%t&nk&4~zj+=ʩ%4,]T缒_b)ly%Zc |}gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLSi=N՛9OρߍZ"qe4cnDO l ufb۽໸Nʗ527T #=ɠso0<,2rC-"Tg*)MrTBL)Xx,%󊔐qAL[w$4~3( W3;b0t?x1X}HnS٨cd ;  Q¾nD1̅PiS*[ۇxģ]<3~Ѹo1V!*zi|b׌m'e+%]XC@K{Mҥ0gYZ7zXZִF! ) ]ŗXi%92 .r_H_ߣJIj԰n \2ԅʲtS` ҺVS|pd6.iOk`vSf ֠fVe <^ {Tf_%ЕpkU/z~{tDY@Zd0霑|Bq-t[wz`ϬmJ 337*DQw꫙| &tq]۸G)zd"| L$=8Yf;VNdSC4)I g5U'⥣Wk&Yir JyO]HXpvJU-eH`2B_H %yB $RVl[E& CrpӚ z qӌ>vY WUO9\*Sc}\iSlᜇ6j|09%2g2?Y&N'SRgU\ꡕA&C޶o1@{^Me׾'JdkgCW$dj+Se .Ж#WwE rjRKƕe Ӑ<1kA٢X07DZ{#֪ L 1Itj䔶\?޷:bv|̐~:jkƝB ׏g1Gpe)x1bCo^y/R%궃m+-as`xܐ>sX_WQLM2}EKw7wƐ"tdN/\@'׷!V1"a|"'Z& eeͫO? h5/ #*mԑ4}b!\݊EPV4YHHDa.?GI!`s=aญbXaԴRLdSzc:?I+<Q:/]GMUjTVSi "#AWZ'S3`v]q AZEgm3VT۩3^8~~jFؿc[h6&a[==/?%!7-atY(ֈz2ҧ8!/RJ9Oy39]ņY%:9R:I͜w aL`UrO6&u՜!ٮ/Cb0?qg1Ǡ %_}{r4ÁGD˜;g:5S[b$JGFV}nC<$uky,+h=Ȓ㫼p>#%;X/N9@4F!Vdj0}=Myd 9vQ{R*! G);\—vM(g][צn>©t(UmNIzO'R-m;gn24l!*l8&7/$qGZw2 Bp{e-;xel+.^PN*lʌ,}8-`)vkrҟ0&qH[aG@?KBGT_=}΂g311(4U)sov@=Ҝ-). Zs ^!FuLihhZΗޟqبs3^"~gBX+a?-|TB6)Ho\YtpsZfRۭ`}ġKRRVQm H55ک7G ;fD׿$ܧ.~\Qmld7B q';m<R({c~H7F9%ٙ^U.- v *`s}36[cMnƉAf%-, öBz]:Go"gYZ0893764ab86d7970e44b2a2348e7902a818793c902339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 130d7766f61f85ab680b77d9e1b75db9624ff6c153daab3c27d74ab804fe66165d8e0b77c19f242e