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   `  / Menger:threads=2elapsed=10.589cpu=19.620gc=0.528factor=1.857zXZִF! LG]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9p`r.Hx?hMs l&桨il.j[+>v$<(@EE #BJ ]gfLN`76宖DH,eHt^cwE} qoyAB.$J^KI ;qkM?}}A:i:.qIn3`M5.41 ڡҁ~_s6/5.K :\Gh|ƭ?. z{jp{5=S׃x^ |X]rٽ܆Nd?\_^Q5(zΟvoK3u:ڵqzk9@L߈zP1[_ev9G8]y#:7 [*pcTnSb?vL[&-p ka#VqDz8.yFǾ"o(%"%y.О1^fVDO'_ȁ^ѢȪQ YR6Kjr{^b j63Er_ѺO)c?Mt$+{;q|n%H!wuJ&eEczLf<e馵Qꨧ5D_L p1:-\+V=uECH W琐vla~jƏa1)񽲮j,;i߫vxSLpx%\~*2O˸tV#$qb.v)+Vˍ|]*L}FpO^BQJ<҅0[ZD @$P(9yJ}ݛZ"(`bj. |_e+O4cMTxbe3]!a Ș gYZ7zXZִF! ?x:]ŗXi% &$p%'kSn-q$r(}B0;hVkjY ΢B 6PC 톈HI]f/Mgdy>HjB2|G>b2Dj`7XBz{EC2A`6