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  -7d / ComponentDependencies:threads=2elapsed=68.260cpu=132.032gc=5.952factor=1.937zXZִF! ,]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysO YMPz+b~3X=hqr$}:Wb&_,4D^h^=}w/$/ i7.Fl 뙀8|s*_Yf bIӅnQwR {CukX&I:<+e>AS ]@"ɥ,@]]: l@Fڀ8zᤂϼo ?*6~Ovzj ]f8GCmI `}U2ObIbӪŐzMwa`<r̱~?"Ic2?hN|1H iXG`(Bllm/™?C3&V<9eNSROf:i}>UpiP~N: B 'oSgG#-Pߌ6" kC]N<_3'dh)I%rWi4zȱgYZ7zXZִF! A ]ŗXi%3g:>jz)9wU \K_khT*w8\.FcrDMGh^D^x1%u`(9Q,nDe@ yꬆAȦ<GbuJah*]b2e2.|k^11dO!Ž{=g3D,J6ZO#Fd;_AɺpN? %tqa`PW+S@qES' 1$ e0i} o঩Oeș0 V dK!&eV ɛiFc ׭q޴Z-$+ƍ滧aQhAxwK7瘇n<\L8eiɎK3F qeA+Z=/27!Q.s$]Y6cFSJr~3|"}C<6acI۵c4V&t{'^@/O;F]7/o;LL9B~ 4,XX;̩^Ge)Y06vf BX I9uBɯ->fLi]Dqb2H9?:ģvW͑"y=NܯIa%x~—z9kԓ^GK7Q&.%|ʞ9:n bvNsJ RAPKOmpoђ@F"F>|GylD1lj>KL}=ԫX .U?랓Z]`2B +.I"/& r΃rblrlE,C7& ޯ| UB<Q2r#;+mf\5V+VMlNe5k;L(mq1pC|SY YB~Y)D@D!r7CDD~v,r>|c P\+Hd]͗: `:onX (s-qAFg'6)WK\bBF$ ^JQXWEaJ[J/̲C\+*C J&zbh9Pb!H } ,}˧,z r;0g>9E~}s_6hK)(?̗ހV|PZ&=胆0A'`Ճ-B*KXZix?ly=յs=# /亐xr*^]7/1 bbT~a\j};y >Vs6UJ:vl9`͒_AAw.XOnЁ|nKx@{r@[iFGOC:1$fֱ}'5Bw^pm:U?d΋Ʉ 1"eC& =jo"`i( ƟHIڨdxS8`ӷR^q|(u IS2Tu!q퉠Hf%{ ȤGH+7<,n$.u& ;$g-BګYN v"ֺ95 Srd]a5dB$BWoRFU%}zk1opG3ldV *[w0a4T_+w޲QAd"Mp-%v1:N֬09[nZ1*P~#jm(59?f(vt^jnznTE#^hLf6ȷ-1]&mKҼ;Xizv'xl֨62\EN֩ ջÖP&u$XX%Kgs3̸ } .?3Q%Nz$a9`xP̖k7.ڭRN#HD(`bĩX&KhcI"ɏWR( A]8Զ9Do0#UP8G)uы'P(z<0g/^dyރhFԔӖq &YFIW E߲;h떼۳"I}xCnkHmZ0o,7" Շa؟ZfF\sD{ƷL =1 X0?PdPsb3'4Snqeз- =/GDx#dhǁ #yei\%SC0$׏ylj>?LhwTzf ǣ+7be0^!s/ sUgYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7