SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 00%>0#:M*Jv듬o q<#L("Ùmr&m&E/șjSPdDoyB5BfcfXz!4.XNSQ]{܉MW 5W2U8@s1]PN=nR/l&+2l>T[`2*"E},dX> m#ߊ͍-|3@ E#o\*;ueZa~Y? ~nPnxX~A_U([ 8>1.3Ct^1nıoƌq nsVf{@:W9Ļu!] С7̮Ou㈨ܚе~é wAIt KP > tso]$2d!3ӛtmߌ;o~tn΄@5,r94(<)iT il 1躅`S35_M'Mn{2t%ƈ5uP:ă- Mͼ#["My^%Q=m =XG˶C\g0g+^AXarQ/m|]33pWs Rz[] C}rc&ʡi %MvFK?[, U?$6OJ2|sEsvQY0z x#*#EV6HjS5`jGl*SA*l[9*㾢v:!Scf7!.C:XesMnke KxcFA:)+_<+Ϣj 55=Y !${,YGv* JBIƕn]p 9? OggTM\'l)U¸5-*2ԨNTZ4ik\Y eK;œ^p(x]\=1LkN+q`< wywwR$R{ oqe@2\y['!6@& $`hIpb3(JÕc%Ҟ6[tf Aܡ|:8 eGXYrBvU`H$yR[K1Sm7iwėn;>KyqeQ 4e^~#qDܷ'ol-X7BԀnDx%O[aFlQ߹:ũWX {&z*- GR|ROKbyxa[jl"j2*+dC'Xj:Hx== o(LtuG&j.(i!i pi' 8-TЬdgͫP >޵hVQ(e/#0p !XD٥djN}O6EJ'WW]$ЁbJvᷞT8g~9Ć?]6<4 _?1q%S)Z0҂\TdW fY%V6FF j&_g1#)/=WTB=i9Xލ}^sO r^EwwDkbeMI/@91% rpt@Cu[){[1B+T<4zϛ4)1  VvxE/KOp_-*!:5ZGD_OO`-Ȃa88b}Ÿ.qgN~:o<K^׍ZpTJnxYTnbK7nk`UhV=v7#R_|DjR2)F5M@[V̀_$ [eBu+Hp\s`[v1-M@Dm3'Ѳ١tst٫p|Ƭ#p$:hwXy6eS`#߽`,_Oua^v<a¸WϏr_9="R=0p<DPBY\AtЫވ|N/9p:\5%rrn1(:mf(Z1tl5z!(񕢹G/I[6&45}:GuD(Y(bREPU тlP_v lB؃Χz&HWQ ->oM S (tI kfƄ :Ը>>{PtHe0~,S!8L/*8QXdvՅȹ?}"pBgn^Ibr,$BPu3="S"$H͟72ff7Fo+:J=u8c߂{w )<+ )W{j6i:I8!/s@t!?7 ƼSό^M;v?w0ˢ߳7SrѾ8@aܑlݭ|U(Cn #[Oa|S'ZDXEAW: gr3W;- tf'/1i9mM 1tt/.Jd]p^o B+M(HQ:(M"4BTXyÈ1 )KXیqH}BVbMoHֵB~+e ՂV>6EL"t M/oOb#LΟ%n\x隆RƱs5}AIaAC\FP@LV'Vh@)Q.bK8_ƿZ :DGPoۿu [%" Ywq6:5UkLDX~_e~zs)H2E.p㜇(f hnڮ">B.Th AlqBa@|̾{Ե{ƿV9# 4%P6Lѱ830µ ^Jk9ՌZB1f1Na9- rٖ~̭|1`_;|)T4Hw=1 R;qj#%6ץR`lpW,o] s{W#Ct߇QUU =V؜-+3f;̨֗>xsK_}Z5+iH ({F*DS[4_D ?8݂<G >H>64t:{ I2 ]k.+L2Xf\oϚ,vX>8;*t;W&)NPHayѥ=_.XMjb b<*03m y6 K W;6d//t"F=NfBǨ-:VZNtq|Ŀrv_x Qi˓Su>^ sx%qRb^DrDN~i! ;gOe> 8-E| Ft?MxE | ; eB/:dj0ВuIY`q 3`C˧pѣgVjN"`~?@9J2Fp D\Ē"_AJ4BGiHGtiYC@-ELZv}i YF>X5ZO'ߔ%_fY OBGl5)EMʲAP$WoPf1+ˍ(RŢi&\C.  xD̾mHKQst~k͐jwFJ_6- N?< LKRJM #0߼.jXKR[5q Xʼn-¦ɓisx xL5zw2ؽSL,>܆Xp#VPo "X'F1kc ؾc}K;J\6B19Bky)>`Lj&44̭,RMOs ʀhճm_lrĆV|("/Β%>퀛I0-lj$|'`4 _wtBBA ktf#fbkm8;9v,*9JS\x>`rVnwe I9%Zu)MMY*;&r)u%99O|S%h vGSI!e~f|! +R-(7']MI?6wTQ2m̔bP)vUMeU4d;PsӄIez>t27/oHpFC^Jӊ-ݜ#" Opnj2Gk4abF)J vY;8`eSGV+AYVO]J.4eerȼ{Wi|4K{A0L'u: 8P ^fd<|=.22(ĕݿy|rwRr!g~h~hQb$CW| jT!kVupL  A?)!=lCX<[M w֤14fCy(H6ծFxF~59FC98j*ڣ :Ѓ3r:gq+ :tةc:VcqGWT6`]v)6v]3(VCFYqJS0um-C*A'L =Vwˌ+TꧫBR4(_,,Ao"{ ARhX8OЁBhoqqDuF13m7X; is![m<(k@d.n,_8yCI6^SL?6Y m3 K* ?̪HkAGK\>sV1XamE K=_sboFd GE_й5q#^ '9EQdGtl ٪!x۸z6M3P0oF/x_NXv;"2 #^yD:k8[(*dE5F+ Q<1KhY%YۘyjS so9V Jȅ\K~hLT6hƿq6HUd(H?6w&wvL󣇹:6PImR)G=PڍeCudb۽:P~/{/6|YbT|6fm?G{Bz BJ4]ڴQva]Vʣ@Ց~lʻD_W12D*w㐃v-RȆa2_1YؾmqDah uwd}td9Cbrn)?ƱdKk>KZIԍqʡK'So\]T _}FgM>4%)2xV#ﳳ)f*C[z^6R]QMձ#k8{%M B>Eu,c81C&>\u ,e ?<^Za@`9և`L K:rsqK kЀmaO^bfr;Lt&zzҬY*KقQ/ cel{Hަ{ӕu-DiIT| |'k\~hfmBd. m*N0'Ӻ!bٿkƐסg.)W:IVYܜ7̥yD-O~UsN4f 6v 6MJIn<yq\W= 㰍% #^Q07}h/#hOMwhɇF<Ӈ{'DY,a2 ,!btgxD; Ƨ-k8+3\;ߞy1ԗy0 @%^~&4nXAhN중<foߵ?O$|0'g>pf7TbCJtUD@N;*)W/;ڒh,Q3=rp1 ! s!nNўo3j|-Yʰq2ey|7<յeaBe q8Yn8^q|"q۳2'ʱ;AL1'l&ug_Asl e>x}g9󻕔C_DS9͢NXr2:KI{r;#uqU : 0bkOeKw4em%ېd3lDb<>2#vl+@QJivWQ(8|)Q@# 2M`e'G^~ŒD'Lxo OvTչBW設)4 Vrl`*e tb:a3(|nKfN)"Yl,X3fx|- Š\Dx}ds< Z}^oZ\m_{F}GKsI;hl2}:rצK=HLG!)H*Za^ ~ھj`VXY)2t.b +ESDMoK'Crr⮟*9ir'T;m@T7ŴHIgYZ7zXZִF! ⇷]ŗXi%DQ@8 Y{},-2UkD:Im\G=@R6LxϤ-qgbqNq@rY} yx>)0m41"ѱ1zLOZ5X}wC)@THy~}kK6',` If)i"gbnG*qr2RS+87|#NxծBN:=2=NAE7&1{JRysrDbIU(aTá|)yp*,w6-:yۜY2z] h,~!ۜΘX;U}V1nK yڊ{Gbt{z--y͡ Tt@d.Rj![Ǫ@F'vѬVى(S VU<58|C̨O>:ЫYZKZ_iQq!g{ 2o)"3r^M9g !s8鉾qFN Z(LiٝpKʲK ы^Pk2]9rzhdO0oF49XQF`ӯF9rrx(}1OдgJOj<0{Dk]p}VvY\ºT.Wu\u[>IJ HWFLV d( \$_U}VK.i}K;=YQ_LURθ-ʙڴQPDL8bHA7Qx" \W ؓ(-*4%.F]#زç@Շħb]2btt4/ԇKgfOUlN ,FDuJŪ"="-ɀ8 oc?|"qrzv0(N<ˡ[n ZydzJ ekn\׷Pp~-B+3Hx>#Ȯ* vd! 5_R wJ亍,J (S"ʓs.ϙ2]ģ%/s,¡3e`-#LRG~`izo[Zt6R֪T59P NƲK FZv 7VwL;e8:KBxc}jӒi %pe8_>ilh#Ӌ]AJˋKtrd\r`d2 y;W[qPޟSNx zbf0VtOН CiזE;e112x^J"&2H`-xUvj,F1YBǔt03ҥ&ce8y _1106zD8WsRDS +ytcgQ׿Md\WA![`FQEcqQ(`.|PcӌNn'R0]y`3GA( ִ ~cKef5#Թ>@4W/'u*Cd TXИ)j\z[P6iA4ק/U }P_aFtN- <ȩ{˜UJi͋gM.KykCߦGY#zf/>!z9΂aAͬ)me`L{yf|!˘dtI1yPRG/a #7oT9b6fď袦D|x>蜅8MScG`aBCXJڂMSP= XX0er.`qTF^q>^/vRe/bb0u&o S?*GtUl 5-R-Z݁kԷDpdlZ]oGBz6),c\WOr&f02Ύɂx̃Ndꌢ]Bf5fџ>#hT99x)z`lKRݳ Y# Jw󗫿wƗ[.'wuc2#ﻀ~tx}>q.휷R霑K< j#1l kUOhK.jՍwNqcz6<3Oblv:-X/0n^R!Hz%7-֔lIxj2& W߉R^sx+ꭡKˑZ&3i0'mv@ `@K1u6=)=W_&1r_$_DS׭F1&;FLD|@juCϜHQz~Gc" 4Yeu<9Y%€- sh\?ΜE@õ$ohc:<.[!ympAd)Ӫ5B{nz[lc"kerw0#YzT׆NKҍd^ַVUߛt\HmGx<ݎ<~76f?k mƷ /Ȓt(۟W0/qPm _W1[F(>ΜrQGħ% ;E3/Pnyؚ#֛;[pS('t}n\] lBbLr Sx@ %ge%H^Dzw%ϐ +kfaOyQ9P6-Q aL8.l /(Y$/o23O}ɋ#M”@|8to.tߘ+Oԣ )Kא$WkѳXW&=eeė\ҏXƟ vރb']!$QW'8k~.T+.(Hʓ˾!qt8jY3܍ya׭`jQ6zЕ͛[p{@i.XzPb- gLObyLũ?c4_U6'n wAc.(%oq_KK:\ZB@G"9G_D:UƊ8 }$Kk,oXÕ}; >p䷑@!?Gz@H}NsQRGp>q9RmF6 E'le>p+&PId:/3,Nz$7JAtB9L44MTNܞw2G?`ĬY](W`1YA;3\ihF/IFƩtRglWP*e(S=lq^DT34mBpt*X(:)ye#g>ҙlYBȢre"?zqUHp'ZRW6*(ƛ+päW4Q5j#0dL1 .+^1W2jZf!&.x0{6m?jzܫbt;-T9uh0vdDECT_'b*U,a}":gBl&+= N ZbP"y@Q_GC\N4!w W`q Pad@eSzJ+84nӦx; ~׆ZhlCM}kp!љJ8Txe+&QgR7Vd$HKnUu>tDDsTJA`ӔEyڇ(;D:'<mE!udfMgUw .cQe ϵ(MtKmc=kL$\C> E˄aY\[nƁᢺX*D$T;`G !! H][sT :s&XN40M 0qRqOMsX]ӵIv0h!`c@MuJW$'bcR~ZޥB8ث{6M$ vmN:8-BWƿSWhtN@iGB<[t@@t ^#̵* iS"&Ϟ;F'F` Ow ;ĥAZ!jSseWc<l̎W1(T_/1䜋C$݃%Ӱѩo@Z{*ݶ y ͉*lӮi _Ɂg dTQ0y,]KBoT1k( jgr3oc%2-{k~ĝH3O:;Ҩ?0F?qTcdZ$@/> P9ρ `AU K&amq~w[^0+!1ƺ:rs R1U;'QAB q{}!vNyLؐ3~9~B|@i@)dP2DY wKP/v|Th5+V6arh&CT_}RVA '<[4Qɯ#+K\$wʤ8wM*BRŐ?&*Ê`mf>YgB˄<j) kˬtW