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Ա(hi;1ݲzwhjum0Y>{XR{ŀJ;A֢ |8 Э{"n "H"WaJEI7(S y$>Q;ļ]IJ4!="\j1E?aPɊwqBL+Bdf|ߡƢ:[ !T}bٞ 󾔐t:drsl ,A/i6yC "M3?j]uXhP6gKn׾D{-{xvj͘k~Stw1L3IfWA4_5F0EeHTE$"{9tr(xmS-,A @I9H8G8ARK]Q\^Hj|1+{m̰NeuП6ݱӬ쿤scGwL^ [L!gYZ7zXZִF! 9^]ŗXiɟ1'x   HOL-UNITY^܎IZ2 ='[MU1w!zH`$ ,WqpCb=o|8#~k:Ot>XbMe<WW1(,a+c4 *%iسv wr j]#5"0G:ޞO %uufpw|X0Bᾢ=?8UZܧ&^j_-I9$ #6v@2 VkRT]5U13yhr7 j8n'/8< ]l5Ե')KGjԷhQu|Ck[`#Rwv3v-Ay:!zƠ8DivpEؑô0#F>3[4^fKP>n>_8_ /ѭwQo0rG= >fY˚",u|=*KMrK#:N#ޮ)11jetL'8c\]#r7 ꫓;ۣj4o e4ͥ(F={Z7g"l_r`v=@| m'(n5`Deg53%#'o/ ՚ Fv ‰¾Rgr Fe _&Jtf`a –YY8gbHeh0:`RZFL_ A3UhCT/gԢ3I`rW=s!geW]Uw+J@x"n![IR%v4T5٤Cm Z>&]00ŝ8@Jjs/)--R.F"~xwFk[sBi.Lk|:h3}Q ^ -IӨq$GSH̠8a >1Ҙ]C!t@Y3 r9{B|=_Bz2"^:'YU{E?)<{wAdܘz? u7zl(٩RŬ`Q-ۓ QU)wADh.w[ ,">bHWǘn_TkK4Sn'S`*+jXmo3.QhS$?O@dNH_ɵ<;meAD_L'lOq#ܛTK{(*l"";>8A9.@*Y+hz+$ 6Ngr}FnQRp2ePS哵3 b ` Bn|p=0]n#ήq\% a>$"?"k(#X#@-8{"u?{&%Kaz񙜋ivWn}'¢z[ `ǘ .Ҷҏ*{188ͻȧZb%hKhj!{GyPxEQ9j~pxHr m$"(xa܍SІ]ic+A;Teru01 6B;kVƏ너jM5 5|&>@z÷>XdNвqѿw3KOGwOa[|120olQ6u~ 4]qk퉘z}"j:@iG,K(aH&%+ $&;IԧiG[,rCID ?j~,+pTY2'H;܊܃1p(|L5>w)(F렓vE1P^dHNd3XMŗl8 RcPY՞cfpHx翿.޵NlzOs`haA={9CD߿3a3MNZK|]fu L#nul+Dž!tjE{Gk~CE6Apr //̉$svvN* Hlm Ztb{PJOIi҆믝r& $=9%RHa8ȏǎTCEy_s;c8+~숋e_'^ d}PdKHѬ2W akas35 Jr%=_v"6#4Yȑߖ[geL,pKT QG&^#)-%v(ͮb!"l1q7Uӷi~(KwX,y!҈/1J` Ke FQ"Q+ ;AdE͏e>]b9vK $#X@ CB'")s+NI`PS lU| axXÞ>?5 'nFlCXx~̫kTss@]N"׺fdIY"u-Ƿ$Y#jkpN6'vc#˿rO_ͬw+ٽEvJBV<DPځ"F`M[zW5 yqL|xWl?nJ88熲 WmYvC7 -RTSItX: v&wιwFj~8 ʂi*AB)w:"` -DW-(*Rt^CPR%3=UFؠO%I#%޽Qc4gYZ884d41287e827aaa02f987adbd6b2427c8e0cbe0047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 0c3adf30701bfc607b792b1925bb821ceebede26