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 PP- ,d ] IOA:threads=6elapsed=7.354cpu=29.484gc=1.204factor=4.017zXZִF! ^]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(SW~p=V'l \y| z=v k%p3Itl7'y@eMs`#W{QΓcd 8S~K͵sFrZsMh9VKDU JtYx㍱}FhIIJY堠:-샳 @h ˋ7dV!…]5#k;UڣL, m箠 ,%۟´x#RP\ 4Oupߞ^n{`֕"4Q4MdY 8xP". PSƁ4U@b'Yrb1M].|YStx`%ay3DW6?,DO$pC4B>cC+;+p*U J1XI15Ж{m[,")pX)`.gYZ7zXZִF! `y]ŗXiɟdN'LvH۹$vYeweZF;+(V7F#қ1_V%T E\+4 }#7`VھA6rd$RT-Z6We#pzJXF O ޘc#+ z48bjaMry9]qATmgdtG5+_i lly@+cA*H/f^hD_@,Ө4&:;(t+)N{Wz{PKc v gYZ7zXZִF! #Qj]ŗXi%;R3kf! ~fR}x_w ALfx*SwBpP ᄸ~S EΏ%/~J^ڪg)HO(SdpU )e5Uq-!IZ5 ,oY I&5} JyqYvtz̘ZeṮc^i>k:@Uj%1hJR#[քƂUCjaGE c?=ք0s $bL,f uzU f\We'ݦKΪ^\7X+ j ,,?4[~Ei__n@ Bh׷7=f2lB^qE t;'/9uyL~b>|;PIƇ Qfxge}ImL1wN077Ҁ/!*]N*&%ɍ$Y $fi#ȧ~:efq< pEDTmGxe(lٿK9q{5l[T̀]zw ڜw )wuד~1g z'5HXsaL?D kSdfB'd2Ⱎ(4`f0zVlcT荫Q*Օ6b(`]:IQZroLlCA.v?~{7sW_ula:; Am"C?z %y1#~]$KfB淩u݀p ]Jkh8UێvJyX{yfHK?݇|C)T㿠FhAgYZ07a205deee8b5f3705f8a1885583d0bfabc102527f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b85 82d53a22050832c9de556b6d086bd0c744ae0ca7  IOA