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 y# < i/ CISC-Kernel:threads=2elapsed=22.616cpu=41.348gc=1.824factor=1.837zXZִF! ਮ H]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I$4h`&Iᨑ-xo6#m޴DVdKQy4+(\|[ %]ȏ^H ֏yXbZMH``J͘#=kgQ69BuG'W#C4L @qN!%6'Fv#&&izSe2TywBYt$Ӏ>5faqk/1r5PezCgܴ%&;&ax tu # CISC-Kerneld\pg` {P-_(O41IC@2M7reKՉAK1,bwjB'T"{һֲ9I=h*gR׽9ڰ)8B:}دKX9DMVzr>&*&WnVK%&Ii>mNjFyJӁ w9cx]0ұ!E B#WwqRCC\oχ:gunG**7F/P`e[%иDFc6x$JjUeR;(tAPR!Aҋ9>on0"n.(6?tڌn| 5פu'.E#;bLGp+ Z[U|H& 0qǁ|re0wrT~a4L,Oqlv,ԯO8 FLq'yJ?P+/D?-qͅb_5R,WxDҭi> &Ҕ\Բ~ 0"/rt6 [cU *LLX}ZqUm1'Ÿ'3UXhjT㞐}J"~absc$D#&=Coj+2!'G% \a3; c.tbZ}FVi.yNä쬗 P,tUf^[SGH+|ؐy3?(ʠY[n 08C3Y<4>^{5$zmʝS}ᷦ]`QVo:N E;kLP`N5A}!]{2Pkp? La SMi|?}kSP>@q}?t(G1ФC3dE,~R ?jB5\q0Mkh.P갩e}t74ư yvTGo kl='i}U}Sn[,9BD:)xkx΍y \YԌ੄{a9Ciz+|q\殧A1؞3K ۗs>9M&8JW+H.XR4,Jɦ8^B% Ƚ4: .|/_GsE( \!jVt=VpDG R3tՄ- O?,Oh|f=jb"kMT p\Sj0skGjXh anh:[T3Kqc J_~Yj@9PV+ #?(hS)%/bb.w )r`xk &^.VLxY2MdXSdL+xn`q W%)k:;);v,)݉ߵT-oeKޮNH }̶+YlMQ1/ihxRVGjxMnkf9EԔ'IiPY.~``峹wk'p88517qw<|'{RR##OJj(.H]A+~ISwnR -&*l&'Z;" !̩(45p-9J+u0kF^Л.d^yyGt%()*\4TBmOy$+ Τoё,ME2PhO'EZt6|Y,/j}4ļӂ AW*SI7 f% ƢtUܞXTg$7kr|BKN_FKz]< ]޶t>7 /0-[c`M)ؙf޴AF