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 +  l ]S]Sturm_Sequences:threads=2elapsed=33.691cpu=63.380gc=2.084factor=1.887zXZִF! ^9]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱeDĨ)ʪZ!h B]{TVvQ"6xVJY}H(nZ5鵈ռUs=O_Hx~{0؇:dݻ_ ǹjw1/iȑ%byKFH3h^pTRKɽv5,؝Ó_-O\HW^D̍5#iL2Z8'OE[.CaJs2}[v:>H9 U-L8;wXN?EX2\1EťP۪=\Qvg& t&0jȳ!٘##Nnr08i!b[SdٔpE7hK;a ˹̶a*ZtD_*!(q.o=fG=;({Svtnl╻;Tirjc6YDufe:dV.t2*vFj;5*x?gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ o:/$ə/ _Dڠ:qtϢ#RjqJ,Ϊ@WL"bvsw^ H+rٽ#nxn*3:1$ω@kӣgu>⚟C1X,Ҭ5Q|HgYZ7zXZִF! U]ŗXi% -6t"pnXABX?d,jcBE.ߟ̘g1wb"W puc(SvcrҍlĮ RIj76}>? Dr8 ՝w"__AŨ:X4W)wf#&Ʒ7>e\rwmg:?sңDZU6pB.g#ŤU%W 14 /I#6Pë$¹%cӕQGu\xFOښd$JZ"Ǟpߑc)#NP(y5OS|Lӭ4w[_{IPd YGTιQ(-^`y9(j;4KL. b?>SL<ƕF{0u&=Pת|d!-?QWOgƋʜ[Ep7hsmq1I㋄uk"b(b &RҢq@MgLEY/6MDŽ]H܋#O!U K]'&bUrckoI_ھXem*:NO+X+?{(~gACHzK^>}O|oDv#Uܮ=z@rWgkj3.qXTA=ئ ͢4<6C#m0-ձFemQ\*x2[.3,9a)2@6W<Nj ,bTw$Z?bxi• ( Yœ^? :μ< esUyhEHؚ@Ih勈'N\>/NP AEGj|Sd1eOEjU#=y $TYxBG<,A^v}NVjf(-٭Tyz-֟IqVFqo$kXelצg+*Ns)05ht)P-vL-{o/lȾʒ'>~I@?Z}?PW"Ua탪o% ̊|rl  b0`hå2D `Ck,fJGR&g(\Ү t1Q+Q̊#gqL,xFTKgQV65[]ن+̹ Cխq6W$s(y}"Q.V6f CJA^&}goyqћĬ|[BZ|Qm8 p>LsNT10.(x2R>Xa&`xw 2'>8ِv6Kc2t:k :