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 33B5L$ ]% Collections_Examples:threads=2elapsed=96.637cpu=187.040gc=8.316factor=1.947zXZִF! V]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM:h%\.ln 0c0:uF؆X{CG?5]٬&U..$=h.3I?NcED f,D(@1{j;}r -6ӵ ).u|n 6.S ~V dYO4sl4^ d .Z?,G|lCa’k-@Tڹ_LX_x&MMQ`:!Y$ZD`sJq+}U,}mhk|k] `NΤPĥ{c3M參;"~md:Rb#1Q]K[QS&gfb#d[p->$#/ ַF 3erfW=F'OcK.?dV*>?s/Jj}/Y 1Uf:0*;% G ,z \;oXN\2)b 58 ukojNWH6uHGTtߢl׺ Fج?Aѝ߉0KpnM QJū_K#. ֪tHT'G̔Z:(j ʼnwbeU h|F֌2mw)YlA3K}߮dHwcg<`QEǘ LwhlƣLվ]_O]ߜ!`_hH絵F* Z ]P4i73Ov )BHdRI Đ)l׬?s Mf<τH"ڈ=Ǫ{uwZÐK+e.N\xL(~c{DeT%}@`i & P231D`?1 W~ZO" v\THn:v쉐^>cG$Π*_ sʖ&0h#A[`@+m|EppaC'6z.qѸHG nokq_ygY2:aOV+_#@Uq=RRd}JoRQtSFxg^G84fb{z]C#tTúp"⦮oOq.Pg U'H~`SǮZ,7+ u(0BPUh"̀_ϑ>sN$ 𝗁yЊ(OZۅ@X%tô⡿h.b:_| /HKڋz xPn鮇5AR̴\ΖzQ/}6(xqGsà=e턊2 ^t9ӱJ;$_ՄD,*XJGvFN/ybي`y2i @paɹG`X?ڟRE77qH6C|Bi*}$kvE/=^>+B9}5d4DžgYZ7zXZִF! ]ŗXi%9(PKLԸ4 DEbuB/PC*roAB^+]' r)UH? isn`Mez#9,]gdnYѢ.ShiMڌ6t-kĒ&Cz3$ʎtHfwTr%D+ 6ڏ8504/j\[h7Q>"/z,Ɉ$ 3sDКӎA>^;f <\8.;z@2uS\nH^N;?UzQ:EHnǬ I|iY"RBT",A'\A3h QŎȿj" mcs7*5;oƣdžل0 }@O71!]PO-$/PAmӘ)S)V[⍽g>X^V9꯷5CD8W47Ie/7@ JrQ`F5{}P2R]#uLCkx^or8bV_qzZD7lwS Yl>{YVEKr~lFBk>)(gYa[XְAšwPS[]Q^w#eQ`V{QeŅuoהLi\8 U$}IFʧH ڶ{Mp&/b¿@#USA6RWrl_T炝70_%(xP@vZPTxNG$Ui?ܜf>F=RcJ[ ~馬$^#mlh/7 yV%U_2Jc\3sb?  5 Collections_Examples6>6 ; 02FϨOBn%zƛyϲSg!0W. r^`f%xI~8{/.,ą/\ZDc: !1P='[~ز2`i(q-8aͧ[wFB ΢'lm|}Ss7 pI?,;j 8Dwvq;pO 0EjvN~qKٻqjA'c1\ n #UK |V!ß!mGǴ_R֎:aeu b++Xjfy$ܭ )]FTūEz!$_ϖMcZB5.-|)Pp>TKIHZNC*7| Ɲ/#LOmB-a$%g#z3d…\d"VAJtgi4ӽ4E t(O-PH{l]ztؒNf * LEd/=VJqSYֶJVp,_ځwYՉC?=\.xpj҅`{/5ju¾/vCty"~7{BYz Aݵidȳ*ӓv"yS6{mBQjLN Bu<C#'d+p;`ycJ 6'K{㚛vsQTpmt,'Fg%uRZ}.oD?חŷv\"mlOtɃVt@44~ "YNhRz^nyͺEsC`yTI֘r*SM$J+\Zk`@ (B@3[v~ Z- 55t3,/4}|UvR?.-1>"E˒`;㣛:Բ-3hZ|/2VҨ#C'/ t;QA K.7.#S;o}˱%q\i=_Rt7J1!+b lVixDgȒR#\7-%& 9`AM[?\"ug9+/sO O8c/4PYURa >Œ|.F<<}>XBM2qfӢF[T˃|ԡTR߆{}*N<"Ts7."?+{T6fO$3V1)/o_= 1ìM'bÃѮ5x"Wg"xw?@"Ҩ63JsZؚٛ>6IIxDï3+j$9'N>]),e\D'#1Mۮиn^9S{VX ]due1|3I?ûMszHxVKVs9'E(1˘|@LDc&1!&,=j_a=y :`rKbƾ̲7>ϰv._@,kp '-" vMø:81qƇC›(V"Oa':k&3$J 3t<vzET䲾%f,׿sWB/uUJdKyy[bSGxvv~(ثDg/Oj5 3Z׏0cԋn H.X'nG!f' "I.{Kim 2H.tE!ͳ,ixE=(2HFHJkcٰ @ÌRƍHl[0 /̂YAcRc uf;,T9qubaA|+o!;ͫ]=)` KsFS$܀mq ЉZ &,hj(Alf-& acAOrv.@$·8syNz gfm.՚٭b1`cPœ^%iӵz^Zv,oaO~$B}!Tz)_iom E?ّIVZk~IVgȺG$.nq#\) ;-3U g11RB4%՚[ H݄DžMc>\c[Ve(u*OC)LL_% <-w