SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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-Mʔxj[mŐ5YFO "ab6l{d307*VW{ƱVDdDx(>ԝk^hҦqJ2Dldo=TW>ku7K. - ޝHsDܤŶi`9-x PFPl!9ة{LfU(@|"ZIO|n 6D^i.͝amJeT؜o'QlP% >a!Ns^:ⅼwtc@'zL)UsY=7o'VKj[=URUr KX {r2 fq7o/=Ō_򏏴A\<Ꙓ,gYZ7zXZִF! e]ŗXi%>wĬ?QIAډvX&.=|m` T+zL` l?N`t=DHYe:O-պxwHzqWQ5߸D jv V9ɔP~e98{_A7]8 骪H!йԟ+1>,43,"rP pÌS}ZOBn^΀>=>ˎ۔P.Rul;uQ-܌t:єxyzi9C.<4CED"fٕʪ!F5<*!uB`Wa>BaqwrM U"{(u$ٔAw D vk$adk6 _2}xH ` ^$\*)Q0.RZѕMJ7+K4Ǒ8jKl~7PR kp*AQ ѻ,2V;: ӷs {Ԅw6;s[7tJB}|Rḫ.260pP̨{žȪ}⧲fPLG:S3y5B:a pGq#(lQ5CoTstF/n([C4jX$*<ʱ|+ͷs L4Tj ^*ӼLےP+YL}v1l{EyFfXvEFv`)ܓ|n=<ޑͪ䁛dDh]5wlӷ28̘vbph"47ief^I$dI?ФM kFzK"v^l242 D#ZÃiʛXx >oѪ1_s>npjb:%I{ 3  xkL?G!;5cߝB|6` G[cԭ)缞 ĵ n7.w\8ZD:,?d쫂^ 3 #QըHN%tμH?Cc3VmZi=̥ߥ 1Zs5ʇ|3tU^_=Wӂa*Z(F.ZS*ړ\1u܌ݻ˧/Fϭ7c {bG: o0@,]^!VY}dM֠nWLW o4iQq,@MM]dG22Zh٥@f٨Yv"T: [g`]߉aQ"/ !'REjqKpm'I"#"8l\߯ ek280 ʦB@мSl78#?i]\S `$ۦZOfaϯ|"&{<2d_ #tw2ԧ lh_+<톜a/!!ޟ.)]) #.+4م_ҭ"O{ YPBUp