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 @ |4 5]]ZF:threads=6elapsed=10.036cpu=34.276gc=2.128factor=3.427zXZִF! ` w]ŗXf1-) enȈA T"%zav{D1hXk/؁*s"Z: GK*snk9ڳ˗^qMi)0l7uYտb;YvDKĶ>vyI:[>aJ #od9]!O%cB=F_Xet ZEd L =: ;~RϷFlXkʿ)P iiω1%"=<'R5@vÍDRBous5>Ό&Y)l-G_E>ɓhQi?$pph)4ЯQ}96ET3+F/ /7MTC|+w Y>B :-!@& 8>ChVZ, Fom[NGJhj۝o&;Bb 8O{bd)3}ED:ZfYS&1kRdO8lR2RP+Rƾ^.5wy?tQE%wpqہ:$[6h7xluj#/0(̢`࿞%6!; YYҤ$ս@R?[sl䊗)*V؜ɴ|+2m=?v]UNtP:#7aS]"'TbHu *Z疝I -gpDH`8bph"1h &;BCg#x9YjDsD/U':ʜ┍鋥,?\bhui.ʭ?YNSU{ZK֐ʥb& ^S<idQm&׀=%$hczkwuUdl~SyLr}go<[y w5 L#h))71AHC*QᓉhO@StX7E@` iJ D؛[ D$$ eo.P@SPyrvɞtTo8h"!v"dfН"͌1Yzx֘#e32FY}l勰9 ד.d(~FfOwe]RN_)$9%J~F*}҂D9厀mo6GnI$LvS:NJD?x2?j4y /mtF;"*;CG|Ct|6'^]#8KU0DH޲p…ufA#qxؽ0A'AW*jHꝌjGnLRUq5> SFDTbe뭙T&M(W8RN?Lo9 IR=?V.Æ:iPK$zq" `gYZ7zXZִF! 1lT]ŗXi%( :|>ߗfiG9|7ﯹ"yQ{<9AF „ؼD-LmrO[ 700 gb2~门C fnAկR D,c fj˱yKL5B]Y pV f/9Z`Ն#pwؠe3;HhzdI.Qh0Q >\ .%wͤ1V"b?@*@H={wk!&g`,N6;S'_GGIpfx _ݝx^y>ސK#~.#1%Ł4eYϢUJDWO3۟r Yҹ*4(VA,kIaƏ?UlJ#aX[cd)5@!BLfڋܟ]2Sx)&~&Y.?eV}"P8Ghqq 7H7a=:iת[n3Rk}am1 pOP):2C6 .]ێk:lr+ωdu3 W&lcK_3W6ih'|jIOg`݁p`6rK3W o(dҧOC_)@b 5%sd*7~u0Nu3Z8dϦ'g@x42zx4R!'f-Es