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 ::+# $< s Rewriting_Z:threads=2elapsed=25.829cpu=47.844gc=2.128factor=1.857zXZִF! } ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`bo-sf9 Р6`x܊@Q1v۞o`>/N%iCG)םO9Ef߷^j'ysցiYkWvr. ;|6AD&S PDQ²>zU2G$n)fEq j?B8}鎚m}8>"* ЃÞbh_}ZSqՇSᨤ F0 w܈h֏ H],;րsv }fxX&D`]C2 #[F[vmo0`S{l &r_t$Yn  "mU6f;6a&ZhAZ.6v3԰U"Ҽu lޕR>:_8D"{v\B ug^(I Zĕ, 61.TM֘va%ϢGO-AC,?j<)`zqf}9U".BkJ(EkDƮ[k SS}{FyO+ ̛@KqBɠ G?Y2'D෰ kw@5 XTEآx_NAwvQ\yˌ1g?c\Ѵ*zdp8SH]@=4e1 J/tAfuTŒNldo}r8Jsz*]GHFs7#SYy&Yb .L'm )aQ<:ʸ$l{$2A8u|3vSس졧K#hej>{qSd[2uTL0TVz$;} ՑmBp;OE@6xCx{lF̯g`FqqY$( MtKh}d'SL]_W\'sY|(p5Ԧ^^Lj話)hWg3 _7=#Lή@QU#cAɽ~*G4ֆ%2enu5mYnk҈.-));Y +.= G;5f&# L!Z*-| K~(Ϝy3cpĢLt*kׂ{s5V}c[329R-hVA_e;]F@C| ci* ՆT^ɪdP.1pH/tDhޖŀu.{}j1RrI1JX! 507 }{X/E_PaIzf5}M{.C/1`+F6*CZNپAf/w];lP[{P_dmoMPtIyQ|ޝ챿o~j2 LɧE{u`G A-7:mԓV28$?)3.gYZ7zXZִF! ~]ŗXi%􁸝p(}P*xtkfWi}5K\g?&3 `n7D!I@m_(lZ;]!t.5;ruQ*!W_5ռ #DS/~DJl#ZKQ.-OA 8=91 PSs3͜n_\>dfM^MrEK xJ"6,EAi*`}.j\2StbKDf&X 8 {HiYlQf,:Y5 `ϮG5aaT2ñ(…XU mANS~є~ћ:tG sM%yTŬiDŽje'O~3[Ҕ'T\k5Q]V̋ceac$RB &|%<](Id~{jroE_P6GYOz 傂`J+d#A{ί,a@|l(5E!VUx@pHTl {vG#'xpsnwp?SK}vfGfڱT'WѸ`tܐ{WK˸B~yqdpYRqArM3bgfo649lsQBϫ~W'_zcC`;Q LӚh7NKzk䙑84FvQ=Ь(ra'h[)j̅F1@zsބ&6v+n~.'#X V `tCsk9AQ̺Sn|spjbI H"k lf`:2I +t\%}S)g\ԱpS0 +d|CPuEK-g,,H=ߣ9&_$ZkTPtmcwy@oә*<2 7>gUsGxLK#G!_z:6&y(#B٧kk^B