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 S  / Noninterference_Inductive_Unwinding:threads=2elapsed=11.384cpu=19.360gc=0.952factor=1.707zXZִF! \>}]ŗXf1-/6vR[y(&j-:6C@B-A^ZƘ!()͞AَLO*}W| z@d::.>PMkyj;Ih8"9lWE| ?٫T ;lB1Hn2me`Rݥ a˝EycpZ=JOβI6 fS(2/ bCU, ZͶe/Yϊf7F$>UU&[NOwPunfƢ}+HLBU,ŧf1Y,mbkkOE#ڀ_bi|I|>)ql_}7n8EmHM FqM$&Ju܋ŝ{^ ~qԙ]oRbT%eV޴oܶ!9+(b8D,|e q}* ZvŠkPFzkxPu|Cj(=fr Nd&Q߱ =&yU@f0+y%lԚ9hv]gĆLQ̅P[#oWzJyG3rbvƄG;2]x$vgݱfJg_Hq5˹^?픲QDiEPZHDW5FW{ x'&äj!t4y4 }zQĹOŽLAQ^+>ͤ&ut#UVc;l —떱gYZ7zXZִF! <]ŗXi%SI'*jAך>uXF*Ztjq,щP Rv$uGN!p6 Z({]gmѤnD l1-NMo*\븼W7o!~scة@Լȍ9fA/wKI f[8 `y:/*uGR[U¸'"uaLn̂t/I")`A9([c%,y A?TM 9z+Nz$x w,5vH; :LDN 9e0 b޼vՇy'E7,Pmr+'z6[=\\;F[_vgs!b{Pu5*nc S.@W!%BWNZ$Oe$h!R>S| -u\YKKkhV^tkj 0j{=JDkGItNإpn wLTp'Rv(㝯wEl: ,p@A)Vy44}gC#՞N-"|XJX_GyaٔVDRlj=ΐfbV bSɣXѬ:%L-ed${T>oDA\I(ך`)C1ŜrxӚUb`nL4)ZwQq7 ?E:ChɂQ0 Kaԓvn"#&$sS נT#{X-3bxbl`5:V^я%.W_]rhߩ~ȱխ