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 N% \ ]w]Sepref_Basic:threads=2elapsed=23.215cpu=42.232gc=1.588factor=1.827zXZִF! %]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 I939#r 5TS0kez^T| MZaRy;SzJkx#8.|)i݁sS 37tP7P:cx{_Yah"bsJ%ʢseẌfy ;k}#/*֌:>)l|m1aV8zQ{=9x PA.]lk\][$?=Q[O5gR'$<á:eS`$vaDާ k^8'7C$ԯico ֧ cX/4v7=N,̱ ze4̋ߩ0Ң<˕H8V/a[1$tX h,B5G2Ŧ @2f;n/G*&At}+(r;wdVOO͏7И/J4+~(fe寖Kb6VKO]WZ׍KP*+j)l7AWͮsm޲46ViCm s3("ȃBW|+?c{f(<%~%&P-FȰMQNbL&)ljyaKHOqe Jk7+MPn«2<ofFGC.9e::jMn闆ن Pj3LbIA;Z݅ys7g[74Qn2^\?_E:X?oxW6Iqb .x\?ܓX6P?=]1m4}9!1p]_ |VrebUZvbGiI͐HkŜ?⻠ lν.{#\[샩W j@_2]xz;LLق5n.G9BK<q+9ΒzڃWvpqt41ѐv]J>GQstcKB߻bLXӌ &~K3 ^ߛ/z 7=!A?g!'I+0!{OiW(BKxJ/IZS1f {4ѹْOf,=5dkCnLr+FMkڳFL̍|RKcd0_[&-9p6dǁۗ *OQLd ̜*^B |h.ZQ^ MʔdròCóѢV33ТV_L"`2D>|.6LLg`X(UCI-x +nvcm-dp(C Wo0+@V"at -+gA_V`+\R7}nGc (%j[*kEDbi1})͸ѝsv5aRggp^>QQnhiH[-’yji)(jJ|Eoɼdnz1{1@eukgd& ͅԨ1V飧7,[&8H6L`ue~CGň>Ϯo&!Ѧ:)YVX=’0nD#sCvb' I*G; $\`8am7JTT:$4NHdTWab P9Q{C>kR_4Z-W939 2i{YݦaZb±hA"e:\^ M ].k^Kh(VɀcpN-"\&^tDp`,q^:# p{Zzk_%qTP\ټ,+BB{zZ*]94\3!3EsDe6Cą5ؚYZ!C'@SI FBk5|,/Pia]wU7ב)L|Z[w/4L:j8,b=fѯY2 渉_$д12֟Rg]hV, WgYZea385cfcdb74d362af81db0891f808c8cece31e7d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 0a9ffb02608f6141bb793ad10bb944ac191d27f9 4aed21536b48b4e99890b1f34a195d021ecdf9dd cb0ea7e123c24748759dd965ffba84e7b364e8d4 56c277c0eaf366dc9fbacab9a5d81fa477ac3ca489ae5e755cc99d97c65b7a8cf40e57923a126dff % Sepref_Basic