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  a a= T\ gOvTN`7c'`F o;ީuv=uiߥMRfVGb"mw1AJ۴s5C65>E3hNϠ!VSE b.ԁ{4 W繰uАOθZA*il@6*_sLjghg=ڧ?k@)]{lj9XV$u*b2B\p1W߬dq& mۉLV7 bϏ7T8W srhOMYg 0oC&U:P\SCCctyŀg[O/z0jy T#?8>v0Ovc]|evт_P{7TTlD/*7q,V4uSA?lTsވC^H>:r2$*T5&yCYaADse4FKVyԴy EVS+2@ xkP^tU(BCR h  &JgYZ7zXZִF!  "]ŗXi%r^|9\n89vm@ԴH&^FK61MuQ'W$s(aLJtÞ"V'=&$|E< jN +k] ;{*ۻF>)Fz Z/^*7oV}Տbz9Vo[(1Ǧv- rW1'tOm\ܓ `rtb8#[0+l'+]NM?juF]i 'WC[P'&폤|}^_XQHYy]NƏ6dpuuYZuc^ P74σ>f]H<΅]=& zOlBkϛ}г]kn %l(~ӓZTU*X>ʉ/RXυ5 JqDs ("S0H=-4kHʂ_XddQ}:%Q!oa vufv~m/HNiMc V{@kOWدfy6s$/4_eJA/M[iF|^\OF/ڧ'ͭG)@ۉ`%h|sYӍ,}Y;msod;2Oy] ֥18Ԝ W̹rX}b1I1֞K v|n6J@I{"5޶j`jY=G{TyNγIE\*5W<"w4 su1Jm.Lm/|xIz!꿀o+;.d5Z VGGv=-^rY֣.8ص~τ+.9h"F[7}$. E P'Zw,Q%e9&Ya32͐b;/O^$xcT 43ވ Wj]M\NcfZ\G_~^KɢglގѦق`ezNs*{BqwkMD$YM$bq""B;;{sb!hQus +fe\)LbJD'zO e9E-rل-)rGRj: S4Ʉ_)B-ʼn"˗JZED&TKng!՜󛺇]CjyKv ٪!znaa_zA\xQ:RAhi2C-xF\̚/~iP3tv 2CmEXX RQ{/3<}߷ 7$8d TGR&Ы2lms:: |T(E}#g&+GQ%͸1ߡb-u 7;C,zmS|\YXV&1,Y5pΜLX>vڻu- QZ3 X u adDl<'K$ڰ~?2}Db6} P8$•pC_@)1Pbrq:Vx p}9˗X.qId,ӱgYZa1be1e197e6d8773c92391fc57ee19254e76f039d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8 209f35b6b565b15467dc1cea364ce9b398282eba