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 mT S/ CYK:threads=2elapsed=5.402cpu=9.768gc=0.500factor=1.817zXZִF! JC]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣ/}+Mn'R͖R!}FCN, G`PQڸ `:xYt@2x\Q Gr0M4 ]0*զ.5\J5b t;g(wLnᓊ-EsiD<}]5N.h" <ȤRTuӇ6{x:(WcuEV1a#O4f7`*Ejt%G'9*A/ oB]9j", *e2轖PqJWf}`D :m(/CYIZ-۳sꎑ̎8 r—x qYKP.yVHHuIX$6Dk!j,!#VH6RIdƺ?)ohހxa!}ʯYlR^u3ac!yi+xbNcS+"ʡӧe*(߄r=E߭a{jpL\6QN;FH\ʑz7 ڲ1e\ɘ|V+7+SF_։1HMl ^@5~>(9$ `l1|IPNC"4ߤd!:v/_/BWO-s @@k~gYZ7zXZִF! "]ŗXi%q, 5>a1_ûpM{]Li,:ZR& i& V)ejꗒvl*,Cg/he9+-V袽-@jȌ6J~\l͗x`EU!{RKPo,k䮙p.&P\Yŧҙ~5?7ѓ+W9{z l6Heo;oC\Y:EsC͚ܺa꣮ED k͢5N7hBrA68#Z<-J7\. T>x 7Tj^z ! H˜߳1ZhGv [(sԚ©BsSH#lx\ 6Cy1& OF#W©BZB~5EN];=+4O`+N}}aRN4*:m2S4{rKr(ZSAx$ eJFD٭2{zjqۥ3})8莨5b3!-iN ي9,(ASCjz:Ƌ)^g4;Kd ڿ?=7;]#:%X#z&oV!؎2^:Sݻ `DdOzū$~a-ɐEZ֗byuky>~F#;gYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449dfc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8  CYK