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 3L 5S Complx:threads=2elapsed=338.261cpu=657.336gc=8.636factor=1.947zXZִF!   Complx i2]ŗXf1-/6vRZyߧ^,>#Ұɉ-!N1>eGAvJ$sb 19fRg=ݪ0K.\S.p8wR^ζP#KerPT~ ؿՠџQ3;|&SnjhD&N}ޛԔcwj.Ach/2ٍ)F7$pZ/q Z`3-0Һؽw6 jD)=}nw[ΔP9`uSQI2m{7Zt=fAU]֪PPwgi96^ɉ m"zqNK;x My&i_o{DZ l!!yJM~M2ŷi%nԹ z{Zy@I\7a©m|_,;M9Z.7W? F8R# &Ix V;1Tw"k/PR8&k0UCkdœV:7Vz#J] ?~0儫*0gz~PQf~l+zOlD›bW\-w*5S|dفD.0R&( X#'k\^=lIpGuy}جzMQ2 w>3<ǩ WL|ߜ~S)u]z."M_er=f[o;R6{JD?UUG Gu݉2JɝqYZMY7neuTVcƣm$epa W`kCm4gM(4hxZy:lj ޏr2_s G+6UCKqsFHe$;.Z$njʘ'?=p]62Q%GAg0bu XY"=zoUmn&$UD!'@Poz~.JaEW2NYmJBoCF\0x\tZ?߹o@dShY^SP]+oZЇ}YVP@UڴhYP|f"ZS.3 &ֆPχr6X)`   m5{:adx7>dM"*}hh, *j)7,C=QL/ޜbr0QPxͼ.0O,],)_gZ77h#I{nN{4_}՝$SxIjV2!gG[xp{b cm {C3J2xcI||HČ%y! >Bui#Il\Sx>6xj/INJ7Z=?3bZh, ֽSP4yn[T%S!Q7pB/ZsX%j-<& p<۶E &G72׸cX֌Zdbha>GrdIaV$ ^}@le6[}˟T߀`߂#mi54WƝ,'5$ /@X7w(8OX rO޻ɑ0an3'_Fx}dvNNA!+5$E'3b"F-G1 ѽ2!~zSZ)@R]ώ$#{:0"VspYSnrr~Kb"O;. &^S,StX Mmzjo x+/ţڛ/ L0aBBn!ِ5IZX:G=R%,f0H>*8{U/JvYGރ៶XF6y B~8ޭmx8a@s-nRd%BMQ.kC׀r&lӛظupE@?36&Β j{J36pW 6ۀeJvpJ +՞~1'-.&-eύH{q [H{tQ7m@L1ܪ|([ZK7։w d9LE7N-k3ɶ4.xh~"ɜC~tTUB4'<ѵ^K`Y4@ff \@cC-oghR((uJ<"uڭ%(гکB (M@obNb库8*'& C?kvS?x _61`H3߭(U v8.ӆCc0:tu~|.ZPDRM#,^u(ߙ/^7mז6oVmB#\Ujv*q;" QPkyE]Ibdrt( gC`ZIO;ګp:Zx|(~& cnoYcKtbɇBWUE:Y&n6k9UB3,q4Z#Zs"yΤ}6 6B>r !N{Ϗ#!Ʃ8JIX8jyw^U7 EG3'.A]&N 6ss2 z)^)8CH0E$c$zRdF q,&iEi A3\B+GSDqR dAu4ISʁژIjITwlqIG}n(~REx,N" qМ߯c )N͖,NĤ0Ӕab1cƅ}祟N_Ou7@~h(ygz E,E|+iհhjؼޟ-*1&SyhWͥ! ݓp2xJQ$İ#Fz-Z(`ZbeZ:p{x!MA}k"̒ C0uNɘKb0JjC%{-'+|~ t +Wc$e?lAL>v B^PCƦ=Sk rԙ0$D:=T~|[b=LNn3.*FȒ~:Ǎ |IY&hbnipr;NeB#$ =. c/mt% Zk#cB[r|9ֿOl'6]]$w؎Ŵ!Ԋ }M!p}/Ul/g=llWGbUHvJ(ZXૣ@jqSO~ 8ozl{Es{:LQP>ppT$) ^D3fCt e * FQ+@Vu=[?p=@j^;?euQ)Yj7Yxn4 ~HGC^]BxQy#bh3Ckp04ޥF_}BF A\bTO#SD'\/RLkm͐4SSW SE#U}HSWԜo%)228:^sA8*?B]u9!^JDy'B>[ܸj$0]`Q9tRɍtʻnd5`H^eSSjl.FU6 Cx@'sԧfQs;΄#WPv a}!Kn. y$`s]UU`Pl["m9)eݍ6Q;.-J`<|ۮ\/Wg? %SU{:o h&N'EA xAo1A_D eNtFO0::6_ ݅H[3`T8׃у)jk SӁLlZߙ+)7G O$Y*Y8 u+6 E/NgYZ7zXZִF! <$=Dє,lk[%vRɜI3RS,ΰ w:b@ƊAqN!~]ɴy9Xs[;[wi?H8ؗxp8-t]DHāe\6`o>l9gaGFl'.&x|ya-Wf:ZTAT'a}k n\!>{XoĞc0[%F9X4A>fj> B3)+-fvPT)% fDʁ9٤ IOr){@ d;feq`S+'ȋ4lDz21]L#UíPމֻ2f謷=Xcwb$ `#8;?' q u3`>| <~#劌 []S\_Unb{FSEfOm{E:ReJgY(-Bam.G#ʎ7-H$Ӵz?pBX zes0k+L61mtR@\ A2RU레Α`kx9Ɖ.HڱD 0{dFWhM 0S ӓkq+ 瑨ÉKTҿ+o@ƕ`-[IRr~8K",(d=lDjtm-@}D^)#=1iz7N4O|![Myڅ&Aj`Ҙ0rw+Г&*=g@{3mk~ g0zX(\%p Уc1%[+Lu`u宓zoeS0嘺¸zE9#798YYa)UZ (Vk_V c!v0<0y{}\cSJΖrrgoI)L%e"U-vDr/^;K6Αz@$Gmxv] "4syC)^AaH᎑'[ :!7?\ zU݂ ;7Š&znyGYZ˥9S vZ@6CLL! y"~xg-ԭ [NbΧ3vŸꠉ}#kh -2 n/ ,L#OoSpТ@@jW=[2u \L.ߪg#UHU򆤫n5OG(>EΙ6sA؏XmznKLiXcSyJfd;v”kQ"9 [ qq '#+ER,Zkѫ9;Ļ9[cJ+Rw0y1WbCa'e< Tt-~f9FP+31l7b;g]t~2##d Sb(0 x:6=EU~Q!V?c!M.㽕K-<7!mz'W Te8 o2*/rVXY& cӜizQ`Gϥ`(!3ЁsGYh3T Q3Q/Gw%8m:q:NAj:GtD8RbvSƊBbq1rF.z 8jm~)}~9~F$*,ubwQ&5yжeqax}Z&RyLS:+^UɭFy)X!*I|Xuh=ݷ c0f@ȍb7 􅀝_93WB>zWl6Q&3nнÕI߽1*Ջn"8#m*-$D :ճ<5>ֺO4}l6V᳛Ϋ?Ob+~| Ok U%y΍ꍾ2?ٮ.3[%A8iCG&؀Bco J <<=.Z9u,]XVv9o-%S}W7sqpi;fb$7 z~=.Z 2\pq@(Su9RyQj,[Ⱦ+cSU{g]f+YH]~8%sdTd9Ⱥ3!@x C\JÝ{y˱瓟ir0h\E4R4Y-.,ba7Y֐8pխ,ˊx@YOЬip`BFZUl4~䩓hnA~]■ΜS濸hŲ-\y麢Azי8 x@%>5Ŗ' iʼ: 7Y6i/Ekszk9ヹ+5{W{@プ!SB k5|WVuV$f#Վ{e{}uyNw+su` x$kPy:nSo)Y8CUާk|*:햺^0T>847= m Gvz"ݙG\f؟뗺nC͸F_ Ts:EM),b,[tUxRԌPڶVMw0@Ef$TWA3~x1lt0[=np\E?2=)GsIgwMky>B(88Q%E&'s:7$ar^E4|Cia0OWu4S(; Qa>n Z j֋-'K4"{k;@@o+T;/Q`8|6>f kwt_M-MZ`>aVK)\j<(#+c;o,>ɲT|&,S?/GWVe[9)'X Ҝ 5nKIN7WI4PcFub`wAzbJ뼹6αD'µ+{ [UlSfe tB"qG8lӱky[AK%HM_$sDڲ67Ǒ}qm>Kz$)/"3}o@VXm.;7j- z&ԚץN? uљ9gWu 90Yc8y- 7!(\b`2NTTͦ:>+N !X~1k$@fOt8 |km 0r|s,"?h` cT$4EJMP^6i 2Y"mVQ_>HNS0] pyD.g#c1[;A$w[۞7O>Zq66{[3Hѭe7O4NONtx!6fj~8m81?W57+辊q*aq PxP @;g^ڞ-xn&Mt﯃{\^d",1X>p>I!o yԞHRݖ`n;2 0bʂzdw8AjC(ؘdő:%$sK ]mU>'Hg}M\4{1*{v) :ix J|K*S]ɄK)3=cjAdUjf~_"p]p\;5?&@K@? 89?L1;Ûp`2 f4@w fPXPXX.zť^Yh}'ʊzC^'/zQ{̷aPKq2xr ؕzؓ4hGj=>KX :8cWn=gd},@&+*0Rr3u0K볲o+SG4 PJZ]-4 DPts\9z&4^ _}we`5sE|~>Ș-2/)3@ (ѧϝr}ň<,Kl zy@]Ț{m\/U ~f=KˆU#΃j@WJƐ#zI4H$H`ܷrPT-v2΁*^;]p/.qPt_gR$gAH/r"VQtw#fWpL1QN4^3"tq=/rf.ίEExI4TC0Om,%iv.,`ߔ؀og !W,+ڍh|WWNFf\`#}&v_s%fSȜk8pi:Eb<`ᓙj𮜱LV' V"/vq> @ cp2$No5⃮99i9m]OAr)`Wxޤ_h`QAsgD1-V%篡ʯ:p<[o`4bV nZk Z_E< c}YBK.3zZyYք[v+bYj]&f,s>ŏTTo5[FI/G4,?+-ꁉ+ &.G JYV9xBF ⩆>Y2s롓k.i?B[SchsQہhNڋ{&# a }CЗ qUV_KZӬe"M@iF hq T52KN14텫 >[#M?+w2 X\?E_+r(Iv\J`RRZ.49[`־Z=Bʸ~+}]WfwMH \ БDʭBivُDzC 6o^G2u/4 :%'uBc4º6/mw ;f\}8CU o Œ;b骿RhJcAI=yY(Nٶ+L\zNZ@?W<ys,h &j"Hpc|ljJd+i5Яyn6Gm[am9CDIuO^#ܓ!6L;bh,v(V##} h՚`X h`\u{20q|xd&gؾ'ٴKa;Y|ESHcFc((.GnZ7`Ժ6=y@8~2Gs8|pO-}dߝ{\9gvZR +18q 79D Xϓ:أu#XJ/Q#&QW\32oLWcV}+s*]:sL[¥0ۆUewQxGXϛU溮GasЕ (FE:)z8|wToNi2t/Jll6DE1RΖޫ8}6^_rrV6[/idح*(dV%`3‘3BCxuqaO XE&(oT|͠)J/A.%@![g,6&[p!(aI[8ג~$*:VV v6eS68~.ǣ4r6Nsɥ,&o‡IJйJ>:9+^ZNULlD 0T*&,a Q5 JIw>ScKbvds'c5{FtWP/i]c` dx[}U thܹ1+8M9f)S&OddI/ܺ@R*ftirE]@o}czD~m?z*8 ̗CrasԬZEA>I|heh7$EC+Hi7|"bdEQbw SݔǡHߛHmd|RGS6)Vmz` G')厐}.eŮS.0%L$<q9͑nF/*545}>Z7-c1xcr2CAG"į!2TTn8GAp|4 LQ)#Str+G;(j<8ίLjөʟ_ QufݨidP8 u'p2&T90XIELKrk^eЍ9f :%QjVqL εw5!g/? ),`󭭒RDZT,p(t[uO8v>Z4BNF\n'(I]G"Ϗ1L2&*Zpy t:KfP@]ꎒI 7y~Ni)~媌ґ )RcO6BA\zB\~lb_kPR?/Qi}jWY4L|10Z!h@-PH+9Ev~|) 'gk|ˀVP̈}_`6R#&Մ^ul&2!_';D[e䚀;ýVo^%QQ=u/Azd+ gxFm@;-ss,*V,P&-$Y;9_[]utb;8_K,Wu^6-W9|y)yײ%/yGKh_yd icjk\}ݗi7zNT ]ae@Fͧ}K'`d<Ȏm0.%B_9C #v"15~OfGckI ~B= ؈O+ k/(r'@GUvkP /.I.K\:&&gg.ЄSS[*N B>п̇:tkd_(k} .< (%-趣osJOJW\0XN*Efnco/]V=7 D,$t9/]ݫ\ d0LM--pzWMqB?aVH fjSG!,hy:eɅ:vz<s ZVo]эx,dTgbAIvbJN{. 5_W3ڿqHu=}8Z{u)Ա)R4gkR DwҴM1oƦ3&jQ\ Hgi$&&:fӉc낥a9C ND{~@m5BX[j.Mv@,yrc:=^ Q 1WQ#36?_ ӫ"`<{"]cˡ@+5p6xtZ_o}S (O9+##fH"dx;zw{ɦ'WIϠbFxU+4`Y15BvI_Q}}0TꞦ iBȈZnb^ϙ>0Oƾ=>YpoirT d8xrKe#XvB1)΢mg5:nTwj(9{/k}аb}sM+[bF7,0ld%=d)nNEWX{#|+W+]̚I|l⨊ٛ|tui,%KxxXsƋ6)1[ke9+J1 \8펕ZC-dc7>2~wk\o5Tmͻ3+0%Kgt؇RxbjΓ԰N$ b\zVlM tX~^ 'HS! ހ6گxlU.P`u2}R7j  q~1A{j*1|vSPjXw"Ǔx#l`4/yLT8A /*ʆ8J0UDm[Cwuo,KDž4MxӃ;z7Yxb+L k8alh#ap%Q`&9[>:4Z!_rmf[Nsg]i)Kѧ 1 ЅOdvYXɀ/eo=i.ۅtF:QYWom{8%t=pgMA}5WVm6޶x0f(1%,(g_92nT0R 0̣tEJ`[k sEX&4no2VFvIe`bYҒ඼ǒa_dgzv<r#Yp ѢOxh&aPbqSυ ٤+!d]<$Eu!{2b$T8nHy =8{؞H}JO>KԖ,߽%nZGZ~//O EUC$C`H &bׇcXEaX ơOV47ա#إgxpq,~3J kS52ii فUu*glhOfy_Wߙ: @3zDi@\C|I|#33jWQ3G'ŔyG֣[)\`n. VS!}Z#v2HefL`5h14o(.7=kVH>;pG^rt*#&= E(" 'Wq) [Loqa {ւtb0t"\g BoKz 9/N|iejD Cz"mdzm2KT5߿ v(]N6#B~"˸GqRp+Q0<%$!ЂhT2/