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 ll1 dT4 ]]HereditarilyFinite:threads=2elapsed=16.839cpu=26.552gc=0.856factor=1.587zXZִF! ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7WZ1 XW笸N[=ƔGoJa!~v(XGsunvpYgGusݵ syij+XKE$<"rL<\n$Ѕ+z%i=l3Rfز[l؄dp@ - *Ir־͈`+J_,<%'*qD' ,[MWm[gYZ7zXZִF! `Q]ŗXi%;g B&=ngV5w(KHMc4MD+:A;)J :ʡx'$#oJ5B?~&bӨpe`]-ɴY ^7;h#p0K?Ÿ/P['kiM?c]x#(rPlee'kk'x^v``F!mzr;$.0FfO@N6&)\zMRBMF4nUxg?oJFJn;Q<>*~|%8glqɚ3m PcSZƁS 4N#&r]HD E{סȾm܁ ۲]JCG 6+l04 `p<9E뵡<:Wf·N:2?Mk&5Gij=_Po6kafC>|4 ^9_N8_ DF੺zC$ЪU6\˩" = ZQa5]GI6Q./Om4iXvn?pqcG{Sh'5+Ơ{Q Ũ |D< )|GȀpм}C@BQ <ч0`OT}qQ 9QVh 'eei!=295xE"bn jDMm1ik"63w6e"$*!;]eUN2yr)-T6_'c`|'R1p(|F4EʸݚvN#!*"'9v{…v>!̊gSL6LHLeg_T]뎯03wmJFHV8(As0npAbZh/mvޚqҳm_4w*H` g7b'ǫDnl^Wj\mW"m a*Έ˒2{ t/  5KFR&1CYntb]Q.h D? =f¹=϶Xqol{EZq+޴v)E\&֡՝՚L?N6]0?rB TuFˤJ0eM,BV"V,SčWVR86,{U1j x*,ػ+;:T}NJhe ? 5 *ZjrW:ҳ <'YasiAN HجgYZ1e4fa4da69aed4b6e92771084a728a7af2e07f8c79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04d17dbf17bacaeb5b9f17baae91116b6accef9602 1 HereditarilyFinite