SQLite format 3@ . YYQ77Atableisabelle_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, "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   t! D| % Splay_Tree:threads=2elapsed=19.268cpu=38.048gc=0.612factor=1.977zXZִF! ]ŗXf1-/6vR[]SsףּmH$>O'1N12|xp%Ra0bg~`˜Z / u%XoL %󴅻qBmc]9CRJq=H^ŪЯ)A fP;Nt[4@A"-+/n*4hR&Ln/Nר%bgYZ7zXZִF! e8]ŗXi%6\:ZTȲ۟XSG"3Uɓq)#JEӘ[-TK GWkZ̰ФqoXM$^4 6-d ]'|b2<ڌQ,EvQZv.Mc,7zV.%f-Ht o E^UY!l LMFz9ZnHxг*ܰvs:fOYϼYv5g7OgD3 V-WPMC1UIOk\٘ڥx=&+Gm6{e+BGN\#og/%2[}m  *y!Ɨ<~lRMeu><y[J6RcLϴθF.@GL!Wg`OWL3 rթLȝms2RYfAjw^/Q6X(:wK-Bܐh0#o`?HAl7R dȟcf %w5&-d&G^"xNm9ppw MÝp󪁬9+M_8 lH5uj!7$ S :ou1˟_p/Dl0?_%ԆfUUʒD#(I?ɾ.R[$К:+?cސ,_P,pB>@ibԄM2~N l`7JwM0VuSSI]ДuD)@zIJ|6s,ҩŒs`&MAs#/̕ƥwɢ;F_\,(}(V>6*TS'ҕ 7+Sg,e]^>ӝ0$sm%Zg}њβ2e{Oimg4paVIͲƎ;8*tC9qǗmLmpOb́.#DjMJAQ) '}dzZ0e*\xm_ZG*tI@pTpY>*#\k2ǁ9kA@?c~r*/#ȃE7(ҋԌ!qɍ s!WiTP<#MģwNo2(,w0?dzou3UnROPv 0jDJn7xyS*?X;CLGiH !EgYZ23b53846913eedd0eacf5f2d8c9295f888da8197 500d15b7485028038ac14161b6c9f35cf878d518 7661af568cc046b290bf3d73e48e9f58adea5581 80eed581e9827dbf27df0eec911196b92f9e4a07 c3ef3c1ebf2c0d976f9f3a9a988f73defb58fad2238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef  ! Splay_Tree