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 77:% || %S Posix-Lexing:threads=2elapsed=15.330cpu=28.640gc=1.504factor=1.877zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v="C9XoWx>*t ::SF[5q‚ѨW#7<4WNfa%y ~'E RAp(Lh$x8{؇k"@9 lE<É 81SW=X@eJ:cz*H&uB2<;3V%)njJ%k )lHn րE @q}w%32deqDQpNղ hz % Posix-LexingL'N#o{10ΣGeSEŦhg]u V4ӊz*wHs0.I]?ZkNp Ad*U+U2"ԂM*ްiM}18Nd.lC _x_č u>x0 r7v1)U+WeDŽsKR<Ap#/qsҀ{/]sQ%x$}%-i/'pNo(t46K|8iy"1 N)ɬh Xb^[tZCNVW*t( 'Ji!ݵnn&T /%ͼ7/K:0:=5ϣ9gYZ7zXZִF! M]ŗXi%:2•Lz|Sڍ^Bn5ss s&Q;J{A9FwM8[[vXŧ_yh׳IM3\ց쵠JG c {/ރiQtr[/+0+>'E֖Ӌ)|8pZMQv #SF/:?prǵIq-X{?? 'b>͑ [`g>C. 022Ås1sƫ`FMz{gfZkC6UL$M-5tOT9E<)4h2gcR(^6THvRw/n~tH+f܆Yy8/=u#]z]v2hHPwJ(F! =8Ur0w!Q~Dĉ 8zzt 4yᱱ GQc)MR&ΉPj/IUh rc7,Ӝc1'qi?lppP,dw$(!##IX.;b{}.i$J05u+઱4I[G3QA3D[/j,[d#P9Vy6{lV;%q. DP=H$Z Ҳ Eyi;v8'ܓ9ʛ5-Z{LjwP/ӝDu  ;wҜ?`4@6>C%iep*A%q XY-2zCYrְw . ̮ LBGnJB"箏v8 =ndYnRwr` 螦mަFR "ߦǞ 2l.F5q *{ Xwrrx'A27Y0)_ėUp8NfxTSH^BjW;XDA(eD=W>cī,6c(`ޒq N9zP[RԺyGO#bb[oFv T,}w_E=84z ν/=Me7ti΂]gyW3VZo! r8Å#:XZ-$P;zVIߏ;tM.&-MWiOoR2#PhNTg.-gP6j^[aA {v: DngYZ4532f6d300754e9195a02b30fb00ba10a4b6e905 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 b728a019d4c3d97883e7fd54de04628e8ac79a98