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 c D|  Category2:threads=2elapsed=19.565cpu=36.924gc=2.388factor=1.897zXZִF! > ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gIu\iQN~v?-'r}͎`{eR0uBoHwμHѸsW |K1|3rs"H9wa!c(6=xbJsN9caʡQLk*D%%#B Z |&{kw6-b֓OHeF >yTڽBldN   Category2J kK1~h{}VQVj{v((z/bI?,ddyNUSB%s\}SANr:r٘GU.H>6fcҿ@拎<+YCivYђ{Fb6^{ ʦ8wOWkZ[bk݂% Yu?4M>KZv\b@XAo. DAykڱ)!)Y,D4fwt <.tEkOk1b1*P:xH^`ihFgv~`ICb$?.C,扖R&yvAc 6Af;_^#X`yRnKyӣ} YM(îX6dvT'n18Ibcc$5QoVݵ5Aa؇df$3c;2)4 2"ȍĨG1*.OlZaMj% |`ۥV: \OA[=[J:iXi;RLJ]ܚ>cؼW}* pCTi<<~V#uIp_#c,yQy};M= xyca"g/(dfeaUa60NrOzEB*($f-٤"GepVu̍nO8fy t''D_{9Bi҂E4Kj#' YjRgm7',@  +GDgȘ2=Do.T"itע֗}ӈb% ZDr>Di n_*Ibʐ|ҚQ)Da8X4x!b(љsd(6;7_qwܗy[!S9@:|E=r1C{Sd yp{%X %Ae<7˧>GVE Oc>3gzR((K-p!Q.ΏJ\PJʡ>#`g8Gq(2Xar&AR <.弣O _\MG(uckQnȥiI/~aQ3#!BP?A@.٥>0;E 38ȜI2~p."kO?3+s<}S`i"w#o_z_O5ˠ|q9bٍ%1m?ػBZ\ D_<0ENi4m^P׏z.$=fK z@R,4ǕYe>^q\v,\ %Z&}&9`*Иof &Ie n4)e*@\@FoV\Ӑ?tb!tS `L$HB͝(# PL+D&<%-.S)fo97l'0X#;Uط$ʋM~B0K6>$'ǾYZ76=ƹ ]{㔞 Y!;2tt5SAJu]/Agqh3kLiSԞ@L%Z :|s)3& +)Dnj hj( -:,P%zMGbQ7R1$b*X S!T՞"'s2\Sn& _>atjo g_d$YxSo } .ʘd!q 4 oby,̦֎{1φLchkL b+=0$,rIjxΤ*VWQ}U3i)^3>: .[n%\'RRSHL| c 2IP!9_7cn*hR|b5㔏5ܭY]ZR{B%F衬i|FsK?%Q܎gU;?La%4hsuD ޒ2#4ȢmvL)%؛Zݾ_%Q.'¹!U~'ґ.ӉuĸGxc1-n/D?H'GQx]ŗXi% ~!_!3\R3Nfd-n;mYP=]|ҕwŎSTZ~epR5}{%IWǒ<ڨ@yɽ#n?KI %R5c)d |^sbenfEX;ݗ$zŃ2^,\LaiМ9ktN7+u#%e;`&Z}ijM*bx=i/2~ՔvE[p'T2a*g]i͑V@ƉNEU5_0nwSz*.B~> !䴓I8 !S!L`8 s?1UEzNUjP|ɻ2.v1QD7e2ʚ 72ƂmƔ 8RS')@dw.WQ2jxaggRgҢ fKT25gbLP0:ju/W1Mf *uFťBl ;ԭ࠷ icXؖ;19ļR35 2iGT}?dق# fME5GlbNˤ;AS0lʕ%ȭZr~@{Dq/NSqX*J$u n2Y#ϓ IL,@< XJ)0E1qtݹ/ T79\[S-`%r=^ZI(ΟRuT`= ΋ 9P,hr|!X6e]ٔ ׈b"{U &k<|. *-mf ~kzА~aWѥ-.Afȳ,(CF)4iqr^Ȼ*A@{aBjO;!P9Pױ2Qe#e BSu#UtW`ٿc7EDu3 wp6Ș:%JCE#@RCU#;fVf: %y)~ ߺ~gQ5j[ -DĊvmYؗ~6ڠ2qǐI{_QVR7NVGEy~+%ɿ~m|`{Ne5-ū!^A _-`Cxv\ZۇPU0xmtFoWl2ưRM^fc֚SԉOx-AE~N1=_YPj_PRO@2#/Y] OoR%f)YpB, f_gYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91