SQLite format 3@ .  YYQ77Atableisabelle_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, "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 SS"' T< 7%]Sepref_Prereq:threads=2elapsed=58.458cpu=76.380gc=3.720factor=1.317zXZִF! ?]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"ky|TdUP)F)M]WR`u4 ׈EJor hQʵўI1.X3QZrذHٸ+R=}rY)5A }c\Bt?zG{R{*7Xyαڌ$5bݼ)-qK2lx_F(*} úA]=p;@d_<~G& XTK*Gudn{FZeu_uva&qqoq hJ)nqd"M & ,dI\^MUtlFҾ`]VNWٞ1&M,|V J c*EHrD0sY#Ki{Bmz}鉟rL! \9HS*ەd7>>vA1Z\=RO hŚsLdj"7: ߫0)p`ӊzYnKZTÑXߗa~V}Bxd 2˖ W 2Z74g ]ݍQ_qJQ+~D+Y4v9ޔ*(?:o70)!;,$GX6{bG{[ɯX&I*"1((}뢣hkk߾7sy"__iWlFJ 5DaۼNVq7:=ے 0TĥGA뀾Yn!Wqq$2Yf+9ծ^cZSSPO l<(ׂ#*lf+VaJ9~!LIŠ PGʢePrXC&iHH~ 9vL4M<9w{i MW!l4 /dX3Fclpgz/z!Twn洐ʧH()l";ej $""-#s. `(ݫD{Sc2`֢K]! m宖$$`"[+@pML(d,7:^Ҳ^"E ^X#ʡ:^Dm"D}SDh"] S_mXE6e+[0wKλ+t#di)'!3<ǭAc3q^=6G;"K 3e_sB'$CYyTPhjoi?iz1gyX$bϠtǏ{_Pi!t+Nyy+y;מ2Wݭ8Ƽ(XG>:$cWG{󈼽1A=2i3qTy_upMô.t0x]Yӯk+-,[A[|?gx qTЌܛ)" \mYfe\VOtޥ^ĕUW|#[#6lc!C ՠc­>έkթ@RůT*ތ)Ek:*k3}ST 3T.zLARo\3'ҪiQt)F,<~k7x>kBaAT XȜs2L M|9~b2y|Q Rzn:yR`MEUW,qʪM K"Rb+r㓶gl`R46{rs5G t0ylug`_|7<ޔ0Ӽ]uskEC2/` ;*K_s|(Z WdV:AlI 7q(l6wT:W/LA)9M19ȸ8nlMO=c;dȷ>{[gwbjQbBXCw}¶RYmgGc`w | *Mi Ig}1MG1S}/JQ?zH}4[Nd8Xaڙwͩnc]u4qQup7}N!