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  2 2?!t ]S]Containers:threads=2elapsed=106.834cpu=196.504gc=11.084factor=1.847zXZִF! X <]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'f:Et}*.Qb['n)!Pw_F?yM5*XZ.Eהx4Y3?FK,e*o4_>x#eS֌~Ud2QivDy;+صЕ9 Zs"4\+)AE|Tkg+f+|YSȕo4 H얒ڤ۱ <"?tR8ףǸ1Ǧt<'b{lOKhN ϒz(rAL= وevy#=C+@ORmtQ\^l\cȭtg=3kӡn0_CZ˵$򖒖ߩ| y,:螣3߀2d.9Cl9Ϳ/Og܂S`ƩsG<-ȅ9ʥb^#R} |s7I*B0en2!da9wU(!T*zLz,*ϞF6MPvwvy|ɻZ,8%c֗8߳*+=W3s)׶ ݋o~}wPMQ)4b>\HeSV!}+Lx;H,Y#D.wkV0NנaFOK<!v*K8xTYսxZ.A\IA9PWki݄IwV#8n1kn\Y cJ,uEeq&ft`BfwJ {7>т{x?#۷#ZPBGGtov-3qa#Q۹{2%jH|>.9]좷t~ѢtXpGf]=,-u^ J7i VoVDq[)1RD>D=tlAZM"98x>1m@*DK&|%NU<-q?v.C"z2{T((| kښWi2B6@ԧ=Yb@BHxʦk"W4H`r$ ;#{R~ RI?x5s(? vӲ`._BH r0E#tG}Zݛyk;8ׯw pi~md us:##J>hd >g'Cd)b Ʋ9gk,efgT]b nS ha1fK5LM]%.,ld8 0w핤ukdpAmA U-oG3\A;^`q3} - 52v|@{:_Mb g}X vH p]9D6e6 =g( Σ9͢}_4eU"Rg WVK.Sc  W :m|݀KD~2.Lx^>'ɐX aKN:BjQNiw}`&Dm@PhÜlҌ`/ld7IizhEQOX'w&u/yhd&{3бgYZ7zXZִF! ]ŗXi%6qV~j@&?`e*\,Jߑ*얰_.AK~ҢA=p1i p[+sBj pfVg5Xw![iyGj6Mz dw$1nD r= Fzn2|#կRzȞoj cg+gekw ;~"i;&?*{p(s`N׮u+:.)n z=KЩ+,`XÈBmp$YA3,[nsMTpc"WZC`asfG_nrZa7:#(j&<<|q4NL 7輒'{AG#(⊎鉈T2GwxY|AW/"gZ D'a gvɹ7K948 7|bkMD鍉|75YMY%Kr~Da5kg!%6݅A|4w!H!.G5St(7[5qSd){? , g˥$ V-vh7jidǧ.1&"%҆%3A8.P.Mf qE[x$MЂz6=~96#!ڭ{t_xb}*j0G\v@U\s |fe{ݏG߉ڟu Y؞`߫KHDQSP{pɲ]mw#[2r ]0u:G"VBNc.T:"gZ:CV~61] -x "3?2v>P:S&1sgR-ZY臝%.OqAX.Pƍ2\έY#05NaSU*gcO;r1iTjʩ).K,d ^iwL5vUF/ D8d?Y^,53.^XY^N;aח //+Dj%|MQ{& X$5OKSJXeP~>i[bxHѥGwH㺑rfEÔߌnTAΞ)HH^[~Uu>~mU2FJ*`-:.F ɷ2xSB`U#9MT%]mP:i}`CZq+"'j-jR$U {n\^7KBkHԃ P]H]*I[d'ꫲ( fv+%C"cf3$}8Y@vyKEt5)hblbXWk|JE:1yW@~VcМ&9E@$'NxBTVhd է7{& dΤ7<=Vy:R4ݶJ Ls#L.)X=y[Ex; 5(= $'J7X4Qg&"kA02bY vzcH~L`>hR]aTG2^cd{fG 2K,E۹syDŽa=I&ٓ;{v6caX,wHYZeda1iFQ3}6_UW4J*Z y1@*?/f-HsS}ƒٞGKٲ;7_x2@aR|B0|1[`Ib Cni{ȖWθfD" 6zaR0Xt}|ceʒG13CHu$u߄abTDƧ,#InUؔY՜6kaPwb T3,jhQ\y3_N&"r1$sp>p|+OA Qf仍0 oL'Ɔ$0Cbtl2srG!/OU5uZ?[Zo8CJ uFKyBQZ{fW#):mWnž"AD͋_0.+ ;(2b*e} $\X˳F4N #Q Hq#24wz07og7-2˱3yW7q;M+ #!:XzX6R8-Q٥֮od.IxtHQ 1s&WLpz)3\#^2̲??RO﵋ ̖O&iWE2Q3RGr91m@mf8C;t{GODp6MG籌CX >\׺eߜ  a06϶mXuU2)s<۸P]6OE)2CEwt{A _~' 0zLJ5VʕWs8mCe"aG99Wֽ,&cVuƿ=pSG4 3'Wm//kfE*%ͪtzڻF#>Y[`TaφHܾwA$f)gJq&/nbjYc/U?4YA* L.'WZ?8bF)W +zMK(&*r`띸,qCo4jVAxy2F. QAxP\iKC;GʞS!K Y3emԾy{r>rt#j[7WU;6kèc ~{0C2P Q䶲Ep6p-  wwi?~Lu#uKOc͸TLiamaV_[sd όF6 6t涬 kB v 4E5G[Ok٦~~J;?:PbAQ4ufY.20.?QC@Q',&HA{!jAwtDIAUFYJI"Y4PU8kTOa5030~ֿF'ɍ'Yd*E.nN4*h8Ea ͒Z M ~7rzB?BG2׷^(/^?yIMn4v-p\joxLgB#y$"=ڳi f3eC>pq$*$1k$҃y&^yHDݶH/mu(/4Ujl" xP*bX4P,wsX[xɆ+քk&Htsײ/`TΠ3<;%G8Ж*b%!{鐴 `9n:De%?:|ܕ/>bMvQ>CaD`Xq |ݯc >\ɩ׊-U!O S8 oPtɑI;|]\G>ޅyaktƭ -S/%N#)@>i@y),uUd\_ b/]30jtz$G.( ʓmQ1U@ô}nI٫0&YM`!Btۈl[jroS3D }J*"zKM -MMäFzn:3) cmA,g^ah:kdVa0:AzS"\138dw 7j*],gqԫ ^KpZ곀f3f6͍8A\-A| Y0W!5Qg]z WW]W}z3Ѯg*/ki:gYZ6892d84c92c0f42e66a4aaacfeae5d587332917e1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 6b254bfd002b8883ac67296c52cf154452493e2f3f2b879cf65a4a4e8ad39ae863f338c50e3c4252