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   \d %S Valuation:threads=2elapsed=65.220cpu=99.976gc=3.260factor=1.537zXZִF! AA&]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\V Ҍu/O>uL{b<ÒB vDrp'Ey(LWOqjIg?kĘӜ>%4ظO 70}-0JB|6c:bY!dl뺘ҚöoE2P:t4A ax՟եYWn+.SHw.,ej"#rρ)|FUJ<[kp`:xaR?8΁~O07>;S,ꐷ ;EWlYNjqa/ZE ^Fȯq+XUS<=Oёp|^az/d &h[JlC@<̅òNT3p{POX}C}]&+&3c_l"jS>s$5$/R嶯%K퍰BQQTL'}o6I+Pb[;ܱWL3ɐk+z/ͩŊf9Yr#`j1|$kH &i9Rfx-ADu d[Hi +$ T~%`e ‚+gYZ7zXZִF! G ]ŗXi%6˼?G̜q! w[bP`?Ta <6 ]p:&VLwI}o=}I;bAQ8!_)6IPBZwe}µT)o";-qɒ9[@Nbmi0 NGeLo+JU4W ~ "̛HA.H~&ڞM&i%jC!$*](8#Rp1d5r܅olO #mF%7ϒш~&8?0R'lok+Ѹ]ND(l*2ŎUa;A5^)8\ݽY,iBo8^/bѢ3iou-2o6.d\ͳRDИ ӉWztwFYae=dG lml2C>Da';Z9eZƾcV߃^);<3FC~F`*?3hs CsIP^slZ&*@w7Nb1Bh6JAK\kAI/]j/ѧJ)I֞mK٘H5Ytfm-jrw77ص nj}GBOw(*ȗ5 O$h` мus6Foݱ"5?U\ܸO05?0úQ7aґ+$^?n7vu%e*IA=x(XU$޻69>ram`v",/(tzw7p4&jٳTc pOkzRd12X5Tkr]@_:iiF!g|>V* VV-}X25u[g78,q+L^!##yaB_<BصR,\ԛ;jOSab ?=h&HC+E2@/U[USO^ 8 ԕ o.s[3'2LS -v{!B⠢f&1d!#i[hw )7-6Fl5!,Or"´4ý+8kHޅMO6Qf$qKpE4bc[.ՉVݙD4R{rvmmqZ6+&4u`m-И?Jcu3yq`>h@襗>lx"Z^avC>#,ך+ >lvM瘪^֣U|`3~5kŢT]A1Vhϯuqj 8+\pe3ECǜ1Y^<۩Gt p\rMz{FE{館xSXj4eW14>dNګ|"ɃlRItN~0e{@ٖ5"`gZu{QXT:1tc&'ĂB?+T-@y? g"7c#BA2Gj8Ɩ[f} KD!{$T?Ԃlg bR@6Qd9s'Q[ IfR<dGv17Ђ]ljԾddRKb&$$wUb^)R7dA;ZlF[&[iE]ٰwp7ҝwY|zGdAq+s:ަj]e?@uGÁK”x`~7^ByXdwJ'] ܭȎ{8$)~̲_@OCn~ΈISVH%bij-J >s mL툘%h%hoOA"^M`'W hrVD yRXkb>G$g"MDbF_{AВ SxM>B q+r];LPs urzђNe4PuԎ0ƱiW:W$!E[ޢ b"h-F0? }ʺHb)_~s\Dti_'2iZjOYw--Ty; 9۹ cq fNa%&AZ%{So큔]{n*JpK9jDiR? G=ٯjΌfQlD*F3hV V;MM|qDHtO4K+R̵SAa!y<?E .^g\lV+ϼv7=I$Y(Jc mka A6{&ڏ3+u߱Ec6Y'ud8{|R_9J4\?<i;7