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   O9|R@1MCljbaFX, $rH6.u ,eʯ'0\Quz(ĕINĢoj'|D?+!Zim0nW |р baf&%%*2F:=U`h2ӑ xu,AxՄ.1\U^,2+%XV1i 4nLͷHbw>vZ(p s UDC^ a,P=EzQ\铠Oo`x`Gk_ f) rWh@4zvoGd82RDFl_QQ&nK5uP~ʔ{6eD'1Fk֢x~~Z (I}uEo4ӛMaD2fnUg%.utC6V Un#n>99ރwcN'y CV2cԙw7Vj\+j[##@2`'w ϑlxlmt2 J^FM+ [<5 1e L_ޖc*S{)hO~ϯLz.`%r.QEFȀ*IE?ܤ;J7cꅀr щZ뤍w-Z.4~G!l]"0"N7E3rXؖ{ںj]]ZO! x[ S8Pyѷ!lzt"onH{Cd iGKYqAs/%АN=w.L `h*]Sǖ\/n,njRsX uN!cRM|S|a?+sOh#, 89zkY#ŝ9ק,H M;,2Y(# 0!!PYV91c,~zV^P{ɰG7J+_a"쵲IծӵN~x}¼UU]RCL`@an-|lG2_Cih .^NBV7gIqOy=H~>@8xd7÷REU"~@3̳i'o9Q$|%4(#2x]?*B1@=hCY_ V^qY y>/sݺ-% X6ɋR$G˅ fI_cق~@y.ew,x*槀ēkh7tAoN'T"iռBnq5: #U] M|){A+ _\uўԀ΅nvTn!v?Fb!C>&}"5p~ԃTS]^.=+J0W&[b;Ax< +*Q M;eҶ+wأ[-5ޤBc <AF=6?֎j #8x4?)t͈o )0zG׉ 끘IL+/h#t/B)I$>.f5Bخ(='ã>|== @ :I{}ARͦex߇Ũʤ#I4!0m tU~d'-W?e.$٧,srbĂ)e*BXA?){e+'M(YF^e)B2gL1t>M8ZL¡h}={ ] ,`}207# seЗ6i=,+6?| !5"k <lt4W|$)r]|9!tO.:M'#*&="ҪMR q( vcM[g0l> srN5EaU@{PŴ(jbB ӝYL^Q:o}=\2?(.Nerrz%O5ZؘPx#`piz~h <"/28Fy[l YMx30yAQ6",5pr#dff{+iI؁Ƈ̧m4YCOZr$A-Kt1ܝUdb]VJH=w[T_Nwj$aFQ[>rн FR/F!$0i3B$9QK8)DZ+7HXLd2d+q<஭ϙ Fw?={S'}7пOG{KA]9A6)́t)JxZx%L6M|XA!0ɍ;wM}L1Wpk(D-X-2sF̵߭U?޺es.c`I+Εŝ;>Zg]-eːї㉓@u|oJqgx ɁʁR`ɻ,>g͚^4}WGP a}Rŭ6#OӭGB*F~5|3à4ڥ+r.?Ǡ_!Aoܝ2o[ 0q9=s #R[M^*KNU.ꍸʊL:1}ɲά_몭Z@ӄ%i+&_n1eBGٽytu?E}SAѬHsϥ7N'xvKrN饱)G.$%ï<73R[J;H經m\?IM}A"d4TR \0:}Yنvj+4 +}qq_жyʧs^05|ӘZE%?^ym6kY:c-KWH9b3f)ﴩa! &p4g9Y 8xDZ;rD#@pu _xi sBS_.!tFcǴ o9gUCsti9;z&XhUĨ=43} og 02=ʋD?iS_^{~:ܣz! ı}׃U (W7u4YBS*c_8| R1#ͪbólQJOtua:uzlg6V(1xz5oΉ/13ԁOu[/hS0dD%9Sx鏍4BQ#RѳVUF.o Jq՜/BPEnWW@I0X9V8ZH  \ޣ ;GB[q}h4Kc) ".շZ}O3nHh/ɦ!ykr.5wn SKE+i_P I6.WQ8jS(6/˧˟oa/q<$%>F;x'8ܢrnEM{sR Mc: $VAtZ0Z[V^UJv> ;Ry62GNc2q(`@uB?~mp5h_ ~<4;(+=[|+ygI^U@?nlϭ )l{Nt-tص%~S2^K\.T"& _ŻS+8YGMPH~hmdJPJ Q?f Rph$ I7~ iIb- >3F~]9K"Az*k"@ᱻ ?{)QxЊ[^K2Qz-N'lVG˞ehs-*bNj?*>I'AkscTa3Ԧ+b!>(D9(j@$[<9i@cыtSN\Q痧hFq=*Ҭ@@4v󸼓_~6)rhit^ p4K]%2a-P`҉k\18Q)/9wDj%`J[tD;(K{۞R/ޮƌhH]W0ۭ^a/VW1#1?'`h~iNɉ!uGO\ڳl`Nx P}7eF8BhC2S/NQOﮧ>&>Zvtqh7b%q4}U)|@d4m??Z r]iwc#C'{U %xRP#ufڹF:2ڐ vgv,G7(4$$͈nK 6Ĝ;T-cdZV\bZwHOt~keiGDfe~vp6B֘7WiV~$(uX=Zpo ܩ4%CxRT|j"&ˬ2i-][(#ZPhv~#纂|!D_j< =_6č(` ԏ1my yfcwˀ"SbxYőHӟ@OE){6D{)>LMwhkvö wLէl-SXGDUgc\iRHgkhy 7DP|Lo7#E@Ѯ=PI(VCtU _Skxo0%!S˴Q >kS-/-(rb&vdo}0Ь%>;A9sC! t:+ ^$wh=c޻C1ܱo&=V!o" W'L}'F `t1ɮY DPtה^ +A]V`}\\eYOƲz!XzK[Bmy@H]"u&X1N ac) {AFN}zf5=P$ EV}~s ^O͡XbD7/;.;ࡸKgU]7du9Tיh ^e tX**TgUu<ZiGc2W3dl ϚG&W킿oK/KSa~Jz/_7㴿x'v2DS|W.q3dH]_m{ nOj6,bAiF)ft+כLOZ!b6 [Sz+x?i\9ӏNl^PoSD ^42Vfrҷ#j n7 t\K}g“Mg௺/GIr7G.Vk0%-˩\mT[uΜ#VyG5J6O%SS+[W0|IW4omXL"[גJĤ /IS\{oOŲ zH^^I|d $RBcbfviW`,A=K 5砮d%]TImrĈuBkX|- hw\@#k">Pt-8uJ` st|}<*I~8]1|"-Y3+iA1,/O[ i K-U}A ďjH1on_׬RY܋5Y#l?4PJxaHs%gfcUu~JDogVVzRЊLaM c*XYLN:c#Ś^J1xketfh4D@"ּn|XEĴ,]\f\! i@vQw_€Q)fަ0뒤 %$kٯ -P]Yt/* {G8b}D/m+M[x0B FuAC 2%RXjmEzK5! .i~wom![KU:U-kPZ_/@K#f9?iP>8fVS`qZ+!j@&튥+LJaZȫE+B*Eknvc0VJx4x\3F,{s=ɒf҉ckgJ= \f;[gC` ` Z;˗jaDhn {YvSi.Qٷ-`,ojRP0A0 X>2K鏸Ɔah 0ipne ŏbA_NѩSxǀj{r9sXбZ$y]ZX(#NYX{ Δkbzo:#mueNIFZ[B?>߇:&,бK%).6f{oOriF_~9Z,#%{nuEXnJKq>y)AQ\w}%)֭D*lA|XNQβmG,Tt~}U)RhL<l mZ`)RS:)><[m ֝A2@7J@ wa+GHC2 Or9{YߌWYՔaR3)*ȁ*'o8$v4Bg-58woWG1fY0E/[׹n$Og8Ѥ;/4O *&>?h ܤ%ߵk%ijs.ٵO(d_AA0݉e&TIBS343W .d#ނMi;d窌/9(Cz_" JT53'5uXSSV{[ZTn`hAC NӖ'Vm$V3Cǔ/b2JU$2:T5i sGދήee/OFҘ|l{3}˄84:QW؋Zq}maOSܙTw{ Z(sw@kFK b*s D&|W.%@[%j];7[=.7 cl]Epic$U.yƫB[#-ܵF6\8gmGk㸆'a`'n35 (%Q;,׆w-#‹mV wuz'#x-F""OR^dVI]j\Wl̾6 iKᲐ"pp&3m}qAzi&5sM=7n?@BeIb),9i^NDoiROqtinw5)@1kC|N9$5>,og<作OVmi/F77U'K3¦V. X < b-׊`Ht2{֨lQmj.sJN0hZ_" -VߊDk(fSN-8wԜ`lԠ WXL<5X=n-LQPS`SF`7qHa(p(9hQeGUl? aL& *:l2ڇ T"(kuPo IUcXB',J,vf3 h^rjf5fy숾qb锕S}7F,{])G Ke#EEAPɬRFsE4CVV/zѳo!£҂y+%f $q-DԢ? 1F뚄Jf I8o]Ɠ&BT(o@/Q ڡ7ݳ,u1Us+l2gAhē.Zk.CLJhX۠ ы\;x?!B%Ϗۭ9]R!޲TŴRA"_uUeMlKsh'j q8LAn>9Ŀ]*.TQ{+-Bbefv#_z)֣z4{<Ĭ%W or1W^JF 0O&?SJw%ƨŷOf.eMk"/$)"π4,ͯi|#u[ v7<^L~UoCL[o6eoI* H 0tD:~r4 n3h9G!l]1$/Y Fv mݯd3̲ պrX[fu<VgPQX u 8 6 Yȃ.?s S2UgVSߘ?Ps匹@6::q90hJ|].-3e ^{/@aN‹嘐 ˄qxEm eMfn\@{#ћsc= HPtC^v`FK|㯡3Ĵ_cLr0.Bhrekȑ-\{z`.3Wv2[^bg^İ78i2M.X_ngs- Y4 ߥV_1W['TB&pOD?V݉;v'p5rcFQNڶg2!%9OUY30WaqG ^Ln!1砑m5ke}CDu$`xCwX45֕Ed vX8$4cγ|q'VntO+x}>"Ctql4nvR{^LB'0NiP<9)$UeoLPڔ!V5QZ#l9JqRDLߛz]Q2=p.:˫a5iF~TEGxpgzo!QTbMHIWp74*ɕx /y6f`v?ג$C-w0PYh9m;i]=l+@ƙq6. W'|eD7 VHrma&)?]Thϸ sb̀ok78Fat G,^Hf76Kg;"XT(nO,g=NA!z]LGj6{V"eakOtݚAms%ζTQ61Z6 !}_qMR% fdZkH&"nm;- GK 6/јcTt /_6 4~8xAj੆ӯA.2Ixby;RȠ͡)p+Z6FS4Ias+Xf &}a?('E%xw# {+0CԖBbuW…cG鷒fIH ^,I)2IيP~A8m@{AX!e.Lx:L蜚%Oh|bҖZ %ꭏQF~:ѹb'{>26DaKZƖWUiOalr \'AMs/eA)"$ԩl_Oi9K^˄"H o~P{oDچO\BX]V"6:DeRfdMCpeZ͹RU[/+Qrgωy3kĄ  .hK),eIwN"mh`!n0Yf̆ B0\{9'ؿj8py]z{{jnƞ.N%tsҵ(kg#U2#$x0PܞfAէ] K}Z R΁1Ce-<5gh%xa LvKr ȓIe~i\+ZdZg 篙X&}@83 WQj' =f $&ݰ{b: zb| ⨲NƝ-bM6D_,,w%TQ_`.lrroD`%!WH͑K~t8[4m%RaBQex$PwN/L)W{ϣ:&䇄Z,UdL2tkCcܕ"*?^"S Vu#HHf_Tż8cQTm 8 fVN˔䊚x+u+#ӑZ2!%+>V[#|T&$#A%fFL\n8ǑۍWʪ-fNНc~@^ ;6镽3*;)NEy>kPZG,iB7c`׹|Ã3?~7nUqj.Mh;Oҭ//LRq^VqWK([Xo԰x6 `G*ߜ BV<`Tm-tSG?k:qH[Vpʵ]hQaCNgctԱE( Bp@R{}U/ONE{0*BtA?}C2q#^+L4m)UPj(i[f2)2hR6q,YOҞeΩaU/XpRq*Lɫ${|qnG,N^.!ڡ~mS9PAYSOi)WR=ˁޗe *p@@)TA%WzO5BN(ty >װGw_Q#AcbIQf{7?Łxɗ1 Y aG`_M11l0.MCUfz}4 'k?utt>kt$,(Gr%Pݵ 3O)S!jam-$*Pfa IdJOG`8|RMC]5#@Dgx 8Mrz?(l2#yXzg;~<LFsd ;tHGB98KP]'wUwZdV@;Z`?gR3[-:ʣ0xJċ3c @qZ`ԌꔄRVl ,nXm6ꨵc$W c໻YLdٴML+ w"'G :?^բne*JP | <}f.)Իy:VB:"t-gu'd [-zʆhW\{kN}\~x/IMQ21K|%̢F/@05!eycOɳ{O^D&e&g}:GN&c =sLE)(;634+wRO\A3Cl)lFd̗.RC*,Rz5\ä(ܼsrp|ASD9f,Lq͔ߪ Yqy< c@}}2<PU@u8N5sm V%6^=ɹKIhǖ}+dEhjYOHPe᷍*ZukԎj]2o ZX(⾨'[w ǣ fIdK\5_Ȍ$>_^PfjHU1aE4 JG)2*5hyLTcG%yGͩ Lj;uZ=JIH-ȍ"Fk,_:Vat.m[ZqT61Ϭt[/USha^X((%Z6yֲI`瀑j:rz7[oƿUa-*B>kROZZnk{Bww,/[arh{I#!wQNWFq2 sl.|v;AN_wSOͪY ^lRMaʹ),tXv!7=S1MB}#U7{(]꣋L TGx ɣ6I<.z'"Ebby&6j4jTe =z.]K+1Lh +\>H @x0+b_JKޘ?Z@ҨHcV(4/&ph(pVRkZUW ڔ܅|,&ĦR4ihpL]q7;Cf<'2a炢+:L{Gx*Х?ә&R!'"}h(͛Ш.ac<֗X sV+gC4v}g &tt Iz@JhЙ\}|iA7/oIBhLt$.(ɬ?mwOdr*Id=hR BwwrHd"2`kqQ"@hDW%$hYqz&T)ui[ⷜXTU~\P JFgGW0ۓ5 xeGG[lh!d"U ^sϳUOũ{8rмz9ֽ كgn*&8Bj{ϫÈ3diWKtZ ưF0tjv3p/d@m)ڋ3N/8 M S 7&jwyH \=6$TCϫtA]߃abq( ZR%ڬ]s~2S~jFjD:QfXВ#I9ؔ̕JG4r1_`<  {6Tnbq&jПDhm6j=y!_+Iu&q8Vhk9/ 娽qu``3؆4AUߢV؁>.q`!d汯w`D,vyWiT_W` $\=2#x9A_fp/P@[ Zfő;^`vR\tv ˟< BRG7(`QeyE%Zuu9E$vȄG/ohVV$_BNY2shH@mE=~ Z ; y𣣹(cv'ǟvȶ^='KB{E*y)p'J`LK'& DS?̌,qRmڇJ!K[=;`/S-qU R3Pʌq1ʠ0`YO?8J$]^-9kMA9w9YiydAh*"sNW9X6s(zj1)`(NlpȫVNW}2\8#,%, ?bU?ӺyU+# 7$``{J5攋gԊ |PchAkzC:Ξ'_HdY; fJ-KB Dz8K> UOro^P;{ ! 2Nl