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  M'$l, ] HOLCF-Prelude:threads=4elapsed=32.762cpu=109.808gc=4.144factor=3.357zXZִF! @U ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XRZJ%K.CbR4j Ͻ5[7rW|rDMEEBORJ^͍ pűk>Z)vun 4z1g Z_9aF`W(;qa_‰!b\帼97(Eso.\bj(<ލ.Ui[kƔ_sYu T/pT3#}@hU*056t[w74Eɥ -iqkJ:9*hQ)̀ Ft FJ*y(ΠcNgؐN3;͵a0F`GNu.sd6OZ'Sm󳁆]=YG%{y6<䱶Ӡ,ݎq lUQY(jɋVFa${NniY&,} Bcئ:7'0A^Ngڡd=G$a8ih|^ 9=avlVx"2(^y9m WJ@$s܇˝O͘ߍ1;X^519:NP Kn<{Sk/ߗ@b 50H(e[,7 vH?^~-E9?-+f/Rq<of%}4ҥO~[* gtwOɤlK2xI|PuzZ&V9s7Tň Wצ%:% iIX e +Qs}!ǃW̚LJPw{,@|/1 k ?.rs>,I@;(ye4pȆڭVLurȡ{u҇Gg[Zv&DgB:$ :<گBUòh'c N aVH o>`aI[|{o@nŜatP>O!/ڤ Id(J}!X)q]oϡ[A$?>5ut{Mj Qkb7ۖ<(KX ! ' HOLCF-Prelude  Hʼ5HaYs5,m W(8c ]'Wxwf#oLGpL.][Qul'[l(⴨ڈ8o A=ȣ%7%z7Ytdޮh헀 ?v-3\+$rj:v '3,"-qL >S_%"E[L*"{#cc$ё+P'3OzV- gb &j! Ma遳 6_-X=[K/5Y.s&iH/4:XL[ H9[Jb ~% k'b_[J>ZD9|>gn@A8by4]5ia8e2TS;]9bH\1t&oL|7XAӚי$I-E&MNCxp$?pr' Y`#֠> }WۏS4"ylaCSkTWr"jdtvClw%fQH*bP4T JIc,+'~hr1F4Pk5߄ (.|TX Ʀi\}Lr;ƿ&mUNX޲>H%}NwG%@RGJУۀc#VZ2dեY'}k?{rރVspmL"W#Pl/yWl>I">5B Z o Djp R!GG˰sx9`}\jުq''X-@ѮP'~Ǩ9NoM[oC]/$(HLi;)Kl\b-m6}<ԍ~Il"#ntK 0w0ҘÛ9$]ɜelD`e$1 NHln``rJn4 J2 "35ي h&E5inKVnǦ~Na*I TYْU{Ych3gYZ7zXZִF!  O]ŗXi%B4iY6qGHh `b/ ȷ6%E=_YޓgbBRs0IJJED.x:g)(('!5SQ?˻3 9l*!6,g硉Pa$ GFë&U225'Mkθ#HiG BؓI{hb r}Tw bl@b:1&84uTS8bӖw/~kMQ8:ӕ\[9,]QPbNS1@M"K@lO& y1ٖg2JVK@/nf$fB1r|6!)j"fTjI#kګ.6>&﹅Ï Wߐ!ЖWr@& qH]Rh}q+iCFC_'(|8Wׂeh\O29.F _!긇ɋ<0>va3aS<5]d hs+3%z5҅ag2-?G[W"ѾUpC-s"nѻ[^Jlr,T0Ny-gjpeU~2#YRgy /m=TPzܗch,=cE\5-كIC&g_ᅲAOJVt%]3vFV'#T0hLeGlD)rwbPV F%ֵN]Γ [ܠ9 !~Ny)[%d@̪WZZ#K۵՛7ugK'?oS4uK5e÷Q+ǿ: _.'Dڪٹ&W e#GT95X?L<TX.9i\gTew`)QW=A';{L*8q:uD~M Kۃzuwi痻ѥ%k#12A qOa*lľ<ʌ7H+1l2"I;m-UGk5%SX& `wHmi{l&le5#!q*ry(CoJ.Pљg֘Nq<ˬuRTb:19bCxHu hICT"dƩ`IG (¬PșW|lU\jF\03@wF'> ݮ.]P~FpWJSnz  X@ve}_|r// ]gԕ47 g,6(nK&8EYVΝuҾScX 4>t `~ЖSzZ,t(n]MrVB\R'rO,PW0Z^gRl\iە权 uzdO䛟4dQ@^GR{T~EJG'׉}|oBqykAY 3k!wB`_Q,Qb\}= hmo:QbOb]30D 5q@5YŶ~DsOEi 0L,#~ϐ,`k4@7HVz Z!էCnu*>!19BLbg8ZjgeDm#\ii[lUlo<88eiQ#!-L~*zm8 hI\!wx;dQJݧ҇_"}(&,cLMt:/B|ńl@S)bka7b 'm[^>wJ/j#~si-Z*jSI Ѭ[aKa"_Zu)ul7nlh6@KAQ5N$5WfưKKDAޑcp2w e]Ap }"wid MgُvM{,$T\㪡J+>iy SE%1̶90W,8I9.>)>1(e0lz1TNDc-wA릮߱gYZ51012e9b16336bcfa87d77647d244787770e93be9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 4caf2fccefc3b804b10ff27c4f21acebe9292727