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 8893 d4 I MonoBoolTranAlgebra:threads=2elapsed=8.542cpu=12.320gc=0.424factor=1.447zXZִF! X]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<PL^.FV#*5}fs0fWTC҆g\X,-՘٠%hǑ2ZCc?a-#W<-}*C ]=f)t\>t|i֥QYXa{3_uA.Wen|c8PM/`jdHK^Ј1,woin_ PyZjbTtmuE`vVdLw49nXs |+NCn-xB=u{Edeʼ3]QS4=qtx?~HA) &,Vh}h;3r8f5(t7A;;Db}*|e_w/٢`*hUqfRKh:R. &'Fࡳy2'vGg뢽5!/;6dNk^TZz'P)Gwb9;b# RyGa6u(?ӓ;DFDD¼<| 3 MonoBoolTranAlgebra*W"K!Q^9=D0߂pI,E]sb4o DǀE4gR,H4+F>EuMVN.NlHn+IxBp?P9\{z8B 1cxe6}t KlB%dAvФ]=@8kH(7$V)iƗ`# k=&=~)7&XQ7^2 y pdvֶ^%lF/Q 57ۇK|Stae%@kuk0q~==Z:gIiЩ{tjq.-2 p#E }",z̫t( o,QH(mu*_&TgńAe!a\F@g_e?w Y&qͬFOg.~ }JOϔ!McV8ˋjV9gRF_ 3-Ȗ?={1V'N@d ֞siH!,`R<.#囄eZiV>wo1s#Q,ڶO9Duallh暡kv;AgPìۚj) guոw=v&1|51Ίk] _e *WS &Knެe) c2uSF2@nvLzN]qf ngYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d68480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 1c39cd593a882d154fde15565243cf6131a28a3a