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 1!KB[<ܼKYrki)|5z;(ʷbpa/_ "SjI3].c%V};U l]צhxcUOd}[13!ʃͼFzp@y4]%ɸE 2g!i퇂||t]JͱSig1R[U"_v=n 4\2e!݊6 ͣ#; SY}  Žip^-Ѕ~,rg)賡_eP4\Rn$H?mku7%Gz՗YՇV!RMj%: =} ÿ/fW筂gc P]&'\ug@ h"c")m8G  ! Akra_Bazzi9ҁbXyofȠ%Bwš4 ƗNܝPːݏ5:E9mQali /fbkxn罈oR]O52zʙ:MzIZ2LEwiOq;jvIft_`CTp-{΍(jaWuKx4ɯds:9N ]15Sc*-І%?=*Nh` K/?}8D$At("ƽ]๏bP[:Cځ?ɶڈw5b׶x=G1z2C813foAm _@I _7ٸYk~7ܛZ,7nϋ${nFZ7Tj oAT!H7Efzb&sNJꆢaXmzK-t3u>yel=1X:Y- p}Tަ|ع$ E9n7Lh ~hO!b@!'~/Ƌ%ϿufSS٥c[Ј\j@($]'Sv#s^ZRH#+HkVb\{mn*v6ՅyEz5HN,H.1%BggMI)yJ8; 5PZ iǰߜ⺆ɨR 6C"nqՌ6PhBp/$:B zNB+t8]"b{;PE&Te5%GT~(~wUdf.=FaD[*[LNU0CtɈ%@ \|UTCmU:C_"Xx#/ 6X5ωکO /kr 9>"peFl8ХlWΡv[ڵ&:ItX}&#.2>]5t|n7:"j0cAVY{(;{oNG'g x4>d$ujvo;K[]fև(= ީ!*Dci(|G.oiXo.߉IRJf($73.zp 29@۫hzep!D>d+mg=]ngoS۵Zta%GxHD׻yFSmhET\5 \M4]jvТ~ f2mƬzkbtC`v YJ iR'G\N!v-~g@>6W4j1)ڬU&Zf]ue8K\\XbT77?"I)t+cရ]DJ3AHs4@YCߵC3;߭qR'-_y mR3 m+T0~[DDB. p~  Pn7s]Wfb}4-p-cmh~#8p? %^{Y)AGAýFz.fjڐvހ%|֧OxgM\E\#ujVƄGsЩnRplm(\㛭N: ~mv jJP@Ӹ#&R!;9GÛcKzބ [4bg$` VCJ;N2"6smQ(QL-w#DTP\F#67.l.MKHRͭ5 OKb]Ϻ7f*^Ї`uF tQ{oN ́2_~C! yAt΅䦋1yO͕G`;8QCy|><6=n;xƆH OTIL/F4Mܩc%} qUu} K7Uh䘱gax"drE~?K*jyPFM5}E}-($h{o;ֆ81{M̈́6#]=j-K4-19:&Nvd^ʵ_m?KFGՉ?֬8yZ) =?nLЧy47W#A\A]>H8ϓ.H QӋrg) >:y)AzvēFڼA]t)U"pz3IC$2Ďthnfm+k# q YY=BFו1K*ܹG<05LΡ;s1Dd*˙;(KevdTwmkFPIV^4)o0{ąOfAk5A<,(`(q)A$Gs\hV#MQa)F,*y108 Txo܏$xzKZ%qVMZc;ۆVjl8o(MP9de p%Y31OHKs,% y*^`<^ߨZ&;v_ '7?> DD.0g L,*α6ܛZ>)EU Zp;h #z*$oȺ%,yEZ)%@ms ݅ 97͂^Qp#i%36QG~DzR>DzEv"ԇ)#&@bFrA)MƤƷ=~ ;?KJat G>7m#aB+ #,GRߢYJQyF(ܕz\|i:lid\,8&㡿Wj^R+A@,="!#~ zePX\ͅ_OA~s>*ī%Gl1D'6yZ[I Bc<2mxYH pSWpbNB$,Fr3 L13yO6"Z9HՇ˴7oMm SI:g>A C &X$ }t*_鈑y.[>t_ќs˰p@;vlrj՞SșJh޸\răM[8#3C?sbښ=02xQuD,E (Pkt tp!o"lDG b3vk5LIOb>ygVEvY߯{!>zfkWKScO%DŽ}%tl$|yqv_c촌7V8d!AQ}VHm9Oו;vϴ&ୣ-z˵aL6!蠨*ClHW-[B7 ޵>@Fn+0UZ v跿Y8n.[$1Ս]h+텧HD gƒl ^cY4d (,<y#20Ţrj$nhIKJ Q/jnj2jTtl$CtqPɫf{Ir"y`# 6mң¶ң% &9毹˅䮉(u##@6\"S6p3 09_j$y1@z%׸7 Űz{:ԬT̽poED@)% rÑ-r7QZjE>e+=9Q0@r/D ]\$O (wY K)> ޷oҳ3L1.3. ;JyPxvu+vHΏ~ˢ5K@\_YRNo4U*dcLŝ&۳5AE]ޝ^=Q d~.|d\9,7"o*-l);Ŧ휆ՏL5s$ۑ0;?rayjǩ^r2) W01P`~:eooOH^1@S8;cB`&N(;\6/|UQ?pMU졊V= 뽷*+[rnj,8oa,?N i35Ssdjp Ԍ$y5Pڵ"D#` ULFz"fPYi 1ugJ*뙂уJsOaU T}8o~g'k_E?"WKΌ7?tҢ7GڐA គ-2SQQ i7_G\1ݥm2l'&`4^t+:.?jpW-ԅ<ͮXL~s?eH#-n;NKMu EeYAB܄=#d9V!Prt$z@5hݹ;eI;Gx;@bvl\v6c3Ӭ NP܄nsa}U}#e!|/%O7/f-EPt}{Vυ;*:*%bMi<# U\FUwA.}(9$d~2 z27%yCPK7Gs?MxiWӣIvO .^k `BcO_Z/@v(x<4~;B"PnW3I3P q 9'=bۉ =) p4Hv{˟Wf %i 7YYLIY_j[eD깅6 jSSX`1ޣPwzRY'};`׶},#=Qv1~ԗأ'~0%&NXJTiDXj_Me,9q&pe$f2g)kV OK*ߠi]0%0|ϳ}$*2M "Pb __# D]s.! LS ^w?+F!atzj$)@ȥrey5SX Q_yqz/ Kt4;ڏcZW#eL+ٕi]v ZiPҪtdYw"p`tF?W#$q켁Y=Α6= ƜgbEOAܸ7X {O2aC:W鞱 B+-&X%{ &i&5 '}Z٘eO"o%^eN=e!8?:w0iK@a;$'ק(7%%+0ڣES"!~*9; #|f$R094T߆?K*"M0h~< 'MMm{|hA'uCkT^h4~JAT l|Dsz#x! H!mgĉC*#4Ҽwi炶r=]EC7# ;w`EN&Ы6O' g[f<6R𴶩vְ8q 5tvdWhA) 1 FWp# Nrb3tp?`DXWYE.Tv7t\jʺ| ?NOk"IzG&QӾiތ*ʏ߼> CU]+*؋07u- "h$•v]=AԏX * 0qm>i'p"͓cʙebWFmdAȑ*bܟk;&֜ȌTr SIͤ}RdМqv1ܪca<1@]>H(9J[d9(5t!}dP+XLWf8J)|6x9*y0 LAs|CQw:-hiц3{I%fp ]KaF'ABTYf1jF4&ڲI>x ĞڣCxc[B"^fyY 흩*j8M f> DR/~v0kYK1[Lq`6欌Ea滋]` H pWA cm-"m *=!Vki@4R-΋J=*Hk ̍btW߁z@sO0~=+R*Î*s_8$;]a)jGSNvWՀ@ ^$Y{*YbfA34V|K{I#8 'K>s^S&boX[sM@< hX205XcI_N`^ ޡS]=6P>r>f`'7YăYxb %pw5 a{f'ѥIN% skV*^QORX0$|dK첅l˧c蘏ʱsVMHM|zCWzLdBwV4eڣiޮ;Z|3LCdzۢ=s}RK#gϠ0b0rg*5ݺl%3f2+ NkȬ]&$#5Mj&чg m<A(PP G&ӧŪ58#{C|J&,yV8rI%z$EAB+JE,[;ۧk?Ёwc-|cuŎTﱼbV5)WE[9۪l2#xY ] :} !uڿWMV'ŗjp="p~HNXE4E8;y>2r[:E8EXjVJ H@%s|z-|UrI6սkbK?f >;/8$TtŋeTMveIէwKf74]A > %N#ylQQ3~3du:;~nω]s #M³eQ0LB<͡W3O}g`rF,puD v}ABH!{3]Tb}|RqḌ:e3- O:1'Vz*>sڪ>!J.h1V;1ތiI রr9L$9$h[ )4Yנ}j&Z|UAR>}ˎ{9@F~Gn˞'bVL &QRg6s=&[ lܼR |"3ioL"#gەp? =hp8?)F!9XZu4H|)sRGlӤڵ?[a\Qn CJ2Rv4&^xvZxꗰrǹMa1]8k,Ot?B(,R_5υEéGUHFSQq{։[ ǭJfeE>HE:+i0nrKW&-P/%vr`6˅fm E! (諾dRa6M3(!|ԗO N gYZ7zXZִF! <]ŗXi%:+ǹO~`9fB@ӧEK`MCVCMQ )TfU5 OYFX 8D,k1Tꃩ Uyt8}X?b@sHBm~g'~$Cea#IWi(ml`7ͽmSѱ>IrQnz05ᙻ:fpm/4-V'o3Yf)J= b!E $ZAӑFpCi/3F&'jx6C 9NJhb㗴*$%SK산7Q5;9ԋCZ7w8{9I ,&d0$]}7 qY'p<{"jb(t} ,ҠX JMwfnyH8LڼUWLKhi}u-'޳)ٜ"v3UkPJ~k~P-CaơJA™*{T7(3ӫshOQ4DiW$IJk;#2VX!94G3uW]RH5K!DLUL^M?Ka.(*a!5ػFEԂO xEʪQ i;h٣8=ے4s.64X^.=d3<8E `}$"? dIX71j#P'x$05ƝE(<<8qT9V̎}Xdk5䠦 Kk e̒ۓE]S.xb}- ⹝NhV%4EȡesltBAcZF"HJehsA؞KY0ZV3k |[c:`>0`wr )7m1epM(UT齆 :,` n?6ngCÆ;lY X+BgsULڔl#/u"Rơ=ߝۏ ާK*{Mp0tMz6D|9W1${If,E1I@XǍqЙD5YdT5qޗ! #y),j΂3 1q@FJb0TNKھHoTOA˒-DS%Tfw=|IkmD9qD_57G; )"mZ y'e3݄ 2s)7jɜp{90t{U?x~.'FtPD*0$;eQ;l&2ex-hzjiVM  [DjdHVeU>o@D"+ɑjTHEkXy[;F.<-/c LB^FF犮y>OhHn)}4{tM eB黱kp?цnuRQ:Tu*Ug)|N$G.Lν ʎB2]>#cB ;f˴ ] ԓeXVQF'[m<ɑ{ƈ3(s֣QQX߽kÃݾm61Td\'U;_(v𡢈x0eӐfiyꙤ+,渎Z X TKc1G}:G3+;kJadqEq- ۱}-,=/)zSt7ofgV܉w,\V᝜G&W}W퀂!!CpL0"4yC J0떠ZUa 7Ed,WC2:MFoe=mY^(1THch_uv_) 7]pYPC }VhUPdb[Axs6\fyXyx8wJCմtxT-`(]6H :-׋x'&;Fk瓔Vy=J).=Ĕ`~L&!8V)_S71VƇ'봥]u|S"$ @`jJ]$ˠ\>779=xUpΣ*@-! mZ3K䆒[bȺcKV!}D:'T,×htȵ6phOLdžzK`x Fs!we~.s hʛ+0 $3R@7,ma;eX/d7NP*qNg[hN\.#Zw59w^:]rViΪyRߝ̮FGQ5RTC>{2# e*D;KɥPP|v0 g|A픡x,b9YW|xAWpjqmdd #cFPSn1HqQ|r* ]Kt I(TI F;A ^T#|*;'H"٫v%_)Ik^iT6rxĔaI6xnIBs5r邆JdpTLkqqE@PvDŽϰ`,E?r!3%J{Dӓps,,u:8 Q&d7Jjiĵ/C!d#d/r1ym{i fcao"y崲ZJjWt <!);V}4L@--5(0 L=)+u4m3¤- @ 5^e5^Іk ^$i:[]$fTH ̅eX&fBB Ž\ݕ2DBTnٚt:ʌ.k铵q㭆 jVz{/wv#j F_mmr2q Wa2RAkVŽj}ߐ1bb'=-,s&ͪ7\a eHIgz]LcrrKܒ Km,gpzDi.&{ŏ v5b/p pEQ.c#Ī#3Bz~[u҄/d ػ|!&Dt:q.6k77#\\Ӊd}j@ڑ謎,GCxHNlcٙԔGPRx6Za߄<:{†$9 b2a =@BN2FPvJtCtа$ MzZKbxLoD=34VӍ.phѤ󶚰sdid"Z<Вm23gHusO=?l>5 #cϙ1~9*/$:ڥl& Tm-/5.뤪l'EW /R$@K (77 .vږ&x$d̚^CmYeWijkЇ ^q1D{iE_ێdl`n]񲗮#=\zģ#ȩa>^Ti(=CԔLf֒N峏b_Q,y53 L)W.~XctLu)^ W!>o@uw^,FnIM&)2n`IVl e>׺ջftв?Vi݌8$ <Q4_&DVc{q6Y V$qtL6B(xf.˃ޞiنܰGVb7v,sLJ,*}t