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 ^# $  Integration:threads=2elapsed=11.125cpu=21.520gc=0.704factor=1.937zXZִF # Integration! 9}]ŗXf1-/6vRZReM)Fb>WGX NK+\w"+#T* }s>ng&`Цxsix`Y%RFdbf@, p$IE7t(e.JlkY4| KMcEA+MR|Gc-;cɰ0$݁l^*"~뾕 m׾H+?$9-B?&e$&/ C-c>tFO}H)V~lBJ;( ߈ƺ&R%mm1YJ0b42Xo%18~T@`X.ձD/\-~5[J`~"WC1%_+ch|z\1NJYIeMUx:~y *wmQ ٿ:Cnefpƥ(%|v6옐;6$Lv1Q\L.~,tˣ~L-ΰ?Wј> =Rc>ziZQ#D>W Na)4aXxNٮZ<VGa$pd:I5{*1E>=5u+q!. ~wr(ڢsIJN$j#_dʨ $8E~4氚TE=TĢ ~g:n0VychC rcs wBG iPlN r?_!l?M+?/F8_mQ  rGgYZ7zXZִF! A ]ŗXi%Vg/" SҟxT-=i22<\&Ez!UTXg5hA-ZAkT>FȪ)%FU\JrgRERh]S骧Dž=hҀH6mtwόC&Uȃ= gV7";ޢsֺ+KJS ra 7XqQRgxt1ao@EL(4$mBo;OTf}SA$kV[m22D/,ə;0u4o9~_ߘA#nwKny:C֋v XJnOwB`Ք/LPD.:X; Lg>z`wpы艭E '6D vT,< {YL~VtH0m$h9ei#__ 0mQ3M:'nW9wܣ@}l/޶?h&QٽME*wVK箓K[L5.[L|h)ǩlTvsD|fݲ@^ P{S41Wo~`o o~ɥ'ҋg? B9eYamBevKDp_T"~IX<ӳF>G J_s1l>b?0=uN }<|! rZ/3 Ѡ;9YŃ4LgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e7100880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146