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 7lEN/#w5g4  7 BytecodeLogicJmlTypes  +JX>b4A aysdv!Q_}I_2a<,\ TqaY[}Hs$\֥Qb披n8R ,3HDOgpzm6ϮmƘ%|觳b.DZge.nƳ@Р|QMa!T ]v°Mܲ^Ig,].kzEw'1Ȼ+'{!v4~=#ꗇg5Br߶^/` ʮbRo7d yb8b:$Cfs‚8!n6sћ{d&@戒BQh= jjr;+_ݖ"I-?w̌-tyOV뛮{*Bĺlr@D.98 j0v c(!nK:ksK΁u I$(L3]wY?{Q+Yw״-zIC_P{g9bLLFaJzt`\2IX7 \ y؃p9vUi] k]OX[At6xOJnzd_-O1:zN6 @Ժ3)řY8`'SMmT0|B1Ur<-["gR+PV5}V)O1c$׵2I0^<mOC@?E By1C^q0#ȹSևX9I }zQb1IX_AqD90!Ĺ}$YA,fu!}EDL~̧g 3Qމ m+p*`T &$!HXc/>DyzM$&f#!e B9/hI) p;amIb7 DX".>q*Ke0܄fR2$j~9=RSmΩoUs#j_ߎc%`7wN%y=|XjKXغX"DC 9X&]GDad-HG  ج1'F&X{#^_'ztSZABw4,m@b L~R77ͼ`#>], ԟoȟ`|!1 O z\U^=XłW\d{ȌsNZᗑ@̗xeڕEc[xBX0yj+,mWdɶ4|r w~H^=D"vvrz(*.J@%su~Y nĩJG^ @GAsx c<'8f_`jwn ~ع[^l?BFSl}IP [L` ̆XJŐwٟC^%96{H6AU5}'aNThbi j"ğCHoc/CBi[w=/V}\ æpzI ANҙ2%V(Njqʌ; iN1 ~>|fhSҦI4-SU9_PZ* .2OPm.D{6_Fⵒ\74h'g`iAgYZ7zXZִF! I]ŗXiɟ/jڢ}n>t;mmB~a^TqovQF v)x[ygLyKHuPΨ_V4XC7=,8Iʞ/m@zF۶ڤ zSB}\1=$32@p (= l0!DFI.={'d|&Tu^TJ>o>gYZ7zXZִF! a_]ŗXi%B4卹|dލ\ʩ>(IMނLWfKv;'WpLM"3%׽Der(:%7wTjiX: @ \jQ,g-kcf%A&@B'SVlw|E=7B3#R2Yyeڝ4KȮk<>KHQ$r5g()"RoǛ5Ɋxvt*2nIKWGzd-Tp=fg k4#(sH}̓y߸t ي_[ud:x}Q/LdZ25@i"V1HΘ~ L(+9Dj*m=.r6N\m1H稃1 mg  jw|6WKX';JYSϥX OL&Qh&dVE?._6gſ9 aWh3lBάn6'#7x6_bpf_tڦJg~oE'ŦsDKƲ\"v[;$=Av?eTurgj,7+$W6mmr]9mee(YxWS|T aP2H_,I5g#tG߇PS{@;Nj:9-y:n] t c&5bWvlҘ EwrbصE+>{=.(Lp bhu~kV7Ñi\y'Epip^#\g^>[!j+ $ʐ=rI–Ht?ǡ-Qua0ߟ7$Q1+O7x(wILU0v⢥i6[2m|h]ϕ%ʆ{pPJ&QȂpV9U4jxZqFb 26q >5@W"a`4eɔȽ{g0>htc8˻5#{*!SƧ۞ nw][L[<. pA4%!+iPwtehkR{W)Mt|g9Lz[vsiЉXeBPQyJ6Z;.ͰW/ kU<ܔ]iWo^J-^2P: -Pj-1yQa 4fˏ+O6 3X2dޞmf9L hIpr7 ýHs$m(jIIk NVIr%GdkeMU?멌 کkl#~2ͫ\DB~uW $aת@O5z]H&,BDFG/ _n,e  wRAis8[;4ն ,! a{Q,-Ը~$"Ja?(v7^]Q#n7j[@+o.<;1fY!!E/]mykP-+EUX^ꆕ{|}I2֛"Iɓ굾X<.y-b[l:f8)wh9=.>}NVϲ|ĺ_H&tMX*!()bCf[Rf:#"65\iZ<8X}9NSH{ĖYWDlc `'x8uUq=> H7\9R M"@@:4\F+\LnزߝyF?qۚ1(ڕ{ɽE-u9& 5Gp@ C4 yȶٴnDj(ZI8ݖwz8;$O: Ϧ_ʟ?Es[ٜnEb湄u=мVoOhi[vt&L>Ĩ( kXiþ8NgMʋ@h:[^?3fBcR~jMl%as6e9?}M|&:jl\5t3rwj E czz-zӅA_ vܿhZUIx SJΨUʔbnbl.Kc~=)ӖB:e60Ռit-2S >aEn8߀44SluZ$gYZ8b3bd416d97506ab4c768d109a592e9db0b36d919cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d