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  Dt ] ZF-UNITY:threads=2elapsed=18.588cpu=33.964gc=1.328factor=1.837zXZִF! @]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄċ/F`0ŴvU/l\9[~2:zx90m3 Cy)K(ȟ %MC*Q'ۺ B98Y<2c٤\AnB-#^iS@'~IϬ==Mڳ+ U xPKHU͈bB].xUTD/ 9n/$nJ恍a(z8J,ƻQWHi4*>FR ={$אydRBNn(Exb(v>s?ixx" ls好}H`/'f".XdU | xrJZLm%q>o\#{0REg93-.vQIjc +VivT$'L m{!Z@V襛Cm\%X8d~OYLG ƕB8=7YUxXjNKn:A\pJM">1@ &>="f}`ӫ7gV*SVem0^TgU?P6n_:4VZdXRA@hw@(gʺ]gYZ7zXZִF! h\]ŗXiɟ9 i:4'9Zfw4 _.9 -e6*XvJDp&W{O.H-FI:. _A\kXaR'q&7NŤ;~pz8{"=fTڞR[Ԇуa j~TWnQ/5]?G2o0M&qiѻ:N"/jz3Yy_ϓ fJ/S*tvr[7j~5\`mQtWsOjm/Xɵdm4%(|fd3JF{ErT#P P~j8hV9 gYZ7zXZִF! W4]ŗXi%9*W6~*$Hp/#$t397$gW.lAw"mls"!#o &ةo x%*ۣoۺDQvbx.*HT=}iI3HOkωD #g߁n7;@053$kZԚĥ 콨MNGDX7Wj!%gKR<)$]PК\p1«<03~|%jѦ !܅#[I1LO0ew:i8&|3F꧚$GQ+_-g[\.|QЬ =4q$TP_Ji|@c^ndQ FelQ*LpijσAF=!'VtpiH H]@7>w].v2 yehed^YIl2^qzԞI]k\bVA1É`1| 3eɴ޵0Cuь> bߝu!;D3>Rx݄X)qhNZ O{Zq1W=ܐ=YKT7~6f>/QWxK%OځCP⹙DHd[J )f-ZA i/gq]