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 jj < ]/]HOLCF:threads=2elapsed=19.985cpu=39.180gc=2.356factor=1.967zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^al::&_QQPf4%oW@[cm y-qE+thpanv\\8oiѓ|D<}ͮgFh:FsO 4V*vkƅ%5/İ Te{Rzli&mGI7 :výx[+kӖoE4b"yLBĕZr3P碏|"2&; &5_cbOŸeU M[mQiVqGctڋL84Kݑ׮sgG9+P.sf=w R}4@BӦT<={kO&٠,!/@0+گӤ 9hcd,ǟV0 0iމ@*Sm$}(|9Rb#igYZ7zXZִF! X]ŗXiɟ1˦r~KunύNN{u(`C& 'V'FZ^MPmE-^xWصkS?7ɬ {aE1TӐ$z'n3 lL} Wm:ꄃDA^Pi4I.J(pnʸSf&= ۯij(tNJ#,,I2Vy;Sb̓zyH;v7*>AͿe+XЈn-<{:Z5ﲽ|y\jĊㄑM+80٪ʢ fC`I+4VH"E~vg qL)A }>5_ǡl*+`(ԯ-))eAxV.'<).MMXãJvι$rq48RhhP4`FA~ق%*' JfS{VNi;a )Y|Z p%w@53{uR rt+lؙ5Y^'EΉyddl XҼ`nS~ uc}?ݕ`N=9W45NGlRnC{zh [|_u`.5N.C\= ry䳒֜dXkװT LɫG~&U"%Q&3*!y262LȲ;ٲǓU)( &o96@ l|j#C)tj\wYNi.d3\]uD0A0g&v,;bnT'tC{f%F5([iT69#ܘ9)T:U{Ue8R/*l> (bD<\=A Ա%E*/rH)&GL0?mN=6>z{3ZڹKMyEd?1뗱-:nA9ȡOٙx\9wlvuTfטB |2D (TSj.z&ъYml,7IfKƋ܅ĬB+_kDaTmj)9,81F48W>W+>c0[