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  $l %w Lp:threads=2elapsed=39.342cpu=66.560gc=1.352factor=1.697zXZִF! $]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gMXtxʩ$b73w%GO^J`nx ,e9laK 恒xMwGd4ւfF]f {p.[#1ܣ_Ths:rץCyPBV}!$b@ ` z+FjbqcM"#]#iVzɯGAk˅IT7] F1x[yDUetxj6G'Zf1 7 /iP+yC./QuK+N0Z  Lp[w-/4xm8]I%;aK:.KF݁3rleIp/QAIACYb>) a~&I+sia.Cp%w>oƜۧ j0S=[cъFV(x8ga@oU}i) \P>$} ry0ZrWqH7YBM2 P -.M<.M_dRĉ_;,6+ =UЊZ7 RI"ʾpjWVp2$"V/[ۅ`˴)C\*!T:*`GvNR zhDo֝[MHj׮" C h19-fpd@Sis]@F{vrQ]i02V4$_H2qw-|MS}JQ< z#5#|P`J@}7YZ)= MDhzpq!I}kuvd^ $je£eO&d'|L1b*hz,t7ߑX1ԡqDi>dУ uʐH^ɆWò)67}cR+H==Mn svG7ض}% !ky'˱SGgfG`-JM.;HZ2uP5ُxQtIXƧj@J\Y[bJBqNnf&J?5!T^ QPUL(U](DQnk2‘g/:6#ʉ>|V݆j'.~_4=)+-#=Wт R8̯ l +&E'C: {#{-a|1K|pMf׷ab7>u'Znfxu/ A2gPx1RZ `jɓ 0cd_9T~^及_:8.uY 5qPP8@G+iZ^oDgcӸ *d1?x4v,>|j [WO0G YMZN1" #k P#)7g\[_IMxkC]5%ʡ|τ40V\Ȯ p1o~KAM$2D43ݮ›_SBF~%Tm$!rXfmQ2'Yiκu0}i3]S/<+HSMblmEdFb8(0MFH[v vӚ q=b&QXْL<ٿ9T=;_@yS)q sN`6{O _\pmH{# "B /7en5:^w^ RLzǰ-U!GnJ:A{kEێQ}lmӂ}Ku Uqni:^>-CלÐm2=6A#M)e:2'j*颔km[*0ڻ*Ak;Lx^^ HM~Q rH֚]k!ob o)kaIGXdwU@񀪯3_;H:sbsM727op"7ȶ ejjи/o)<OsSǝbtq 4qBVЀWP%gPDZY-ٷH(Ac$V?v[&tmnx@_Xnv25b gMWܰ|6Qw$UW;:g G%G8:ekVs!߉֘; PdmYzbIS a Z9Bbm:ކ$z7Au ?x98W7xl[(aD{ Ld{#*@5{eI;]-D.1Tsaf/8 8f$kLHHr.~ Qd\oDgYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 047d033174dfe12ff4fe7a1fd8935096a1a13bac 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 df52d5ad8bdbdc6c9c56614a8cc01168fa289248735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece