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 ~7`;Gؽ8nt*q* .#lw gh,jmybӊ;,Í׉[MwQqD(|hh~VQѥ~r;F^{|T (.xy|Mbn% o@揜I1c2tĘ:Jt>w>Bg:8wer$^kRtB%Fv^73J@pԼH!ϧj;mucf]pz.̯x>DIGL-EkJ헼{7.E6ߞlT1p&E9)'t<1A;==IJyy/06xn VMĶO&^U[Mld<%wcOt^Ef:2cY˥9ݐ߫ͳ; A mƇ 缙^#+Luz.tBnx<:#BEgS*z} J:Fo^Tfit{ N6ιG=-W]&ؒ_?m٦i$ ^:w0oXӬ2P` =QFZ(e⭬&*W☉.oFs&:Ձq#09gnE^X*%8(*?U}s5皈\XE{q"` v~-dT%27n_XTj|wo7k;}bfn.|͞X٥ U!T;rt<Owf:9:Kumt?n6bhΛv EM+v ;WYQԆ ffpֺMVpOK_*eǙ3>+}*]. #:LT~?*H/ԸG#DhwMJCe} fzg/UڧLx\| gwRgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]s1d/4+";AX'>T5q:XoA/csw-5{K{l281%űV4, > Yݡb}*gk?XaF%?sѥ($cU\x4v'pmE0TMƑ?8r%/ae ߃)?(3T P _g,@K z̩ak9@$GHTGS5?+*9+}!2+;kZ܈3Tg{$ It 8q8 L_TbVTAStuҬ76CpDi}q3jM8Iڄ8t6Hy,-CJߢ ( gYZ7zXZִF! a]ŗXi%9+x&doһ[]ء{wfII4#$ʌb6E!"br7$YcI*rlY=\)Rqp^F&)(R h)Z Y'dRS(ޟI~p'|6+Lqw9,}W܌i( +d˒~=S71 PVni==HӦOT !j/T͸&(I͉4ioa!~=BW,bP+"iz%l, oƑ[jq h<6,aDf+(ڹ "v;[P[Y=V`FNg %!`7,_%+H.cO뒩rpc]v70q IoóIBz`SĞCQmSv)P)ab5 Z?l3utZY9l #W=2E E5컫][o@S(eCRbOwt Afͤz&5A 3׬1A$ƐuV4I`asiFiޞdzbP@. mEA m #,22.iWBd+{% ghE4 HG;d@/8d,gΡYƨ>ӱ#.37³ZM"j.6pWpZᗨ!X|NvE(63jh]ڹ358 -zwdo: @aˑpaG"|ٰ kkN"]_ȴ(s|V=0~Cs /7o-ULJEI8;!B%7iYMTWd?Ue]ͻtczf&MkB޻Cmgruczfvdin-wE7}L6 lؕ̚eIuf5gaԿx}5%'%ġO63;R"B"&D4|?z7 ?MD -zӏݷMZ8F {6#ھ*m} PnI8(y68T}F*(f?7N1pH7R4}unO3N~l6⿣n'W%0xcC̓U{ TPw( qأ'tBP"$!~,|z@RِC0FbNc-kdM=O#f*4h?ie“K{  fp#?dy&BwjQ ^5'$JGu j L]#SRIXQ+=}#(fi2Hg8B@b-_}QA/!u[ 刋(eAJnbI\p(ƺŷ$G|lâ{Ydʹ ڮ"]g9RvW·3Nޯ$3Ap8y38J&WpUiU;{vxm1 ӗ{'DoaJ=#{X݃cJ)Vl RS2QN0=d+y YSE ?]̙0L},%կb!Rd/oktA3+And!$>U\ܶ=,@2P|hCVxp.FIg~h|TQ2S`pmR5l%*ЉO&M̄sŀY4O.n 6tФ>k4nmIrt*fK6^2^|2V-n]t*kT ':H[6cjهmz} .sF3 ;:a ZJ49@ziV\+8أ1wdP0%Md˺ɉ6](>Bi hu0"30ySq?OZVMԳ˶^S6J }lóB_62o ~8N烲YkA>ZD_Fa]̸p~FK"nɾz젪Q4Lg2v[/2t>K}ވ e`)_sVb?3vѼS#[ * ;Ty~ks-f`+$pqF.ڪ&4˧H'zLZ؛M?[Pt'}V)&, վ mGa ָ$ښكxՐj1&YӊoKkf,7_KBh vt7^ vk#* *驔5[OP]"[yu ,gw Yd>ܙ%ۺ>PiE%0nW3ieښ%a`u⯉u0m4qޡ_T-e4Qhce|.qy2Cv{oulyE[Em WYM