SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 88-! T S/ NormByEval:threads=2elapsed=39.019cpu=52.152gc=1.272factor=1.347zXZִF! ]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾U\k$QgZ<0b~? P̜e*1 d5$zOJ1 $ 91xx& |Ɏ?bCmWִu)veܠ!VO({]NM{ԍt6b-]d? =HG._@+=X(q8;ܖ* =4ҁ f2A=_8#HM4"ڞ7/O0ժ76JbVxRQn1>[yݑMnӏWeo-d[p&!X;sOOB:N|{T aB#CpCBmL}ow|‹uL1s94Ss3k8Ni~"W04_Lj_a֩+&!h @'|x \Gھ#7ITja!~K|݀_9`(Dݪw!d`fLж\$#V}@N-FalKN/*oM]n/8emRMx0lR ܊V~3IؚL&٘uC`fr)j4$EVI4Nz#{ ; $:٤Er?aLr{&Ӓ=Ss5g+N]ȾUv.=W(9WbKZ9X0Vxw"ŜXACpj[!X+aWA!q\ec~K*x0Ѷ${ә'+`9V[d֞1/Ė ^gW&JrK1_/y@3tIɝ%/SN_v-wQ OH!*fT$ʟ:;mx#gJrmAe9Pje+ǽ1gp8ScXW.qn$eN܁EV# 43 eudRiݟI7D=ձQBSIA8]8D=_zZ bMG?c&sq6A(_hw*m)о0U |U*Y1vLsrndoQ3lR R^jij m+R9. # ix`l؍< fL֊1' vJv5l.wdF7KK蔥C22Z)~TUCrtzKjP-,@+gօwu/VQ[ vw< ɑEz|gKg|謕c:5G)wK4r٘q.ϣD!Qkxk~< AE;߆^(JLS!UfI2HwuP!%dA]A:3Hf(h:_@H!X6wQ7,& >h.J!>O`CQVJN@!1E(Cy@-vٳw+d&H{)Ї-97d-V-s&ӸZsf!>"ǛL,ڇhFGKeMrOlHZ1ŵK`i$Q0KA>c)r0}ixli(uv)*S[ VZ 4#rxgi5TaZRnw ^}YJ?EBiVu3la8g^hΘfi{{BtN »'o!Ns{,KN *C'ʢ Zx$cpZz!60$F[AXQ@Ta:&x mt@poag2%Jqj#C78R*޸oo%ܳ/ F+~=cdkSԂ^-1Aɲ<"(3nTk"0U+] hm 4 qd8۪xf'8ye1?1f$*Y|0ᨾhH_d/ f}Ihx&W~ yH#mDI |q3AgteK8}G/yU QȈ[vw9Ei5!*] ID%jG%!kt@A6&D'qTpPL'? D}g; :Q+$*eubOHRB_[֎ |ʏoEwJЀ#m<ǽ\y䭶HA[Bq&Or :gYZ7zXZִF! "]ŗXi%Hf& dgKa0WE ~٫`XT,i9N =kEJH [IaB֝g*yg[gi9-JZ_GBҢ_ Mc`kW ؿ@gfs Xx,%I\5pO$z3;‹ö㹨jZټrXãmw\YGKܐM^Èrx=Fh;}$EތFɐڍ~:m<[ذ2`_ TܵH4NvM+ L[qZGT%\Aߍ ih1HL棹1wy6%ju1.7`>H7!W^!qa8d&7[Րurد-F|)9|J$D=E+Ϡ'nydZmgžSnƥ&TqK4K-%է$Qzj֘V ZcPFg~Z^4ʹUokZk`Wy @3qJ,sl7sk؅.R,m'5uv3 Y U8bZvi`i %I\i7qA8/ GFOUhꞠ%#S#j#BxV}?e=1N$745gq$Fnm} q3'&26]\CuAK9#W?!롥(vpr|zېm_\輚-PhhWɶX(ɁMOvYM{P|2o5 Y>ؔJ~/<<дMdrjb(M۾T" ˨iMw16OųY*XdJE.l!9qԦ1PY%NpARWLk>& ۱WFVX =nG{{q+^zv)Cr2,y0uӵ`z,{?_U)C< :Wاj-:, OkW߁=O`@iF]sC֜hz@oS53%_#)p^AkOSjC)8 - RZ;"j)ziu)xQVN|A&!žŘY_CyipͲ>AJaQ'Ϻ{ O?tG{q+!+ēi[~gM9],HpݱgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07