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 " < ]]]ZF:threads=6elapsed=12.368cpu=37.260gc=2.056factor=3.017zXZִF! T]ŗXf1-) enȈA XR„䅲/*$uDVN2/jWU u* ␻lJtӠ&k^D5z} Ѕ'XPOYf\: َ*mS&`uFV;"6y?9dfֺ>N]iZ.rAW9jg1 Kelj"F3NBy g2cm tJm=8رx'ubCŒ0%=Ca!BRHv2Y^z掦?~"\QS *cXJ33SJDGL3fyU4>ֲ{]̋֓/!q0ڌ ʩΊI󅿩̥ZI+v\`-)ү6iO_p:9)I[;L'̒ 'Y[~xDF_s@;<̳hET{iҀr}&w>ۙY{ӯO = r(GdXdLE]8Ω?Sn7JN"Iڡ`T9_{1ofSɖ<伹߷:4UAS$/ gYZ7zXZִF! ;]ŗXi%94!=:LE +X;0B($ԋv2Ol~) %%>5%y=q#iY$ PDsTEu)v݈\Lqj>#r1Oss{OS۬d&C X7O)hB^PӮ e dO+u\:j*Qj 4eX0׻[[AN^_Bc{p]<}"UkӒ+FU%(rҤzfvJ%P|ialQ.^HR~|2[`bnQwEe>X ,mh1mtsThJFb:1HRռ':|j\b9Sx?AY4U L>\['J~ocq 0c&W! ~/ &I][QɌDsJr +*3wb 44Ez&E)^M*Aiul 4"9etOQ&5d5P!KT߮sޗ`%؎ #OIq uF_)^gcVJ˽)g2gDogB!~:'=7ho Ah\:tVp!B)(ih@ `oeZyzMQ/&u<S<lPOHuw+|~oF?mߓWX{V.;VѴnDƖhFp P.f{0f݅?|g2MB}-Q5њ%֭: w'gNƳ|jq嵟ܬBkAʺ{(uS\EY|sOX$|Aru,6UB"ܼ&cl&Y-aҋ  $|1. yM@`x l$ BZٿC$]qpG7ڶ$&I`jXm v\`gYZ4d4ddedc5d42ad5f7ae905607ca401348981552be2bf23c7d7eb3616a6ada91fb6d55c5b24a424db1299a616ae5d5af0cfba8708beb53cd47344b444  ZF