SQLite format 3@ .  YYQ77Atableisabelle_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, "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 L4 Y/ KAD:threads=2elapsed=172.335cpu=258.724gc=10.724factor=1.507zXZִF! n ]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~\bBT1tB#"&|{4=:WȈdBXD?`eR\rD%9vIN8XP -ON45ߕon.)!9bȚE$KZ bMG ئ ZRáMhd/lEST3ީH0>P7Yk% NB&65oBKkN R~4ڧptIa4ZUE#0v՜e<1Whvgֆd3=vpϳz\+Nȯ6ytqم(IL"=еK68pRM:~|@W܆I{bFݏP pjGǨ lk&xpQByz{7@XeX&U<}Xzbm(5;lLhjICCˎ%  Mc@(YW! *t1x#mx :ۭޕ4PٰX ܱ$H?ƴۼNO\RLK^o) Rjra.9*6A;]3$<JC34F"ґnC_6bM4utL;mN{&Bs0͗9x.䪭>/*Ҟc+bn:"2UZi풌Մ<}S@}{X[6K],Ka?ԙ0,Ѵ[=u/ضoPb%ҁ ?s:@pvyJd'B.G7X*O§4t+_AI>"M*|rvu΍i7]$Uy!>$<|dMLJD>t^ٺ!֎Q̌`wF>y՚um9Ԇa(6PZ}|@KxVQ&0Nz0|:f@97)2K`ıjhg t NSied$Iݫp:!@UnLǮ=m3OfdAq@b< \+-)fenkC̈́^L;>qE$.\l-E|H;6#BbW??U W}2=(66\n,X)`0ؤ ,hzB޲=opJ^oZQ |Pm螞3Y_Q}Z # IUG7(P}]'Ѣ?I평bspђ**ZOe nxP!D MjejrM"r#ms9سRWR@ v"Q:>dɊ!>H>d~<ZMT>W(r=fhyi^J]}+ LRei E!%6:Bt@+N.7 n誙U]3Jrݐe/5f 3Ѥ_\$Z_Y!QXF>]Y?`5Z m,θ]_>${.߇n**]~٨ՎrgREvH&LVƿO8K7w4qQ6F8|YӚV$q;GF*`f̒uн+%oNܞB^ܪi\7VGTXaR6`eזh9ʸc䱗LLHTblGtDG|B7&gAb1s-:[ڳa+h4k㶒M,/oA$,t^MQrerra_pv/ RkS-*2"Wd; $ /۱a 3y{al4u26.N  FrR&`Q1k8ir`7?Xf\l#5aJC[:s͜N[Le!( =$b5D;q& ㅵ2 Nj6|Bh#:UT46ֶ(uq  KADF7֪D0`gvD0P(L` Qe6%A@2)6@07Sݚɟ6 g8bQڒ>@Y[tKαiD=hvOkzhBSJ{|."M0u󎦹,OMdh;roFۍBrܜZ0훘* JcYIq0L{SxZao8aÛ:Hje\׋>fR tD흷v%{)hD]-x;^ q޼7cYiӿ! T&=;i Cp+\L>V:RWS.4UoD:L$96}6s2[atcXe qU_!wYh"B}RZ1Fio.&mv3wkwW]!@i+7G˲y>Rd.F(YW& >EZm"Iw3˿ k4eF-qc)հbfHVj ݬBsT%7f/C '{Ïzp(p>J}+zɊޞoo(6I)+]i8ĺQ,279)( @% x*F r".ۅ0a׻;*f;z/9K sLR%]9<5_zYP>B2HC<=Hjlc6G"y3F|jL<gWnkR w(fo-g].R,F^?L y[(&چ'ܪBJ7I0MO!u"3<๟JeztVl6Hƕ "}Q=bҍ ~klMWF,riƒ66B+ H0\U@RDmIғuDHM!؍EWrkF^+1g9e٨F?Fa9 Gmȯ<:X1  Pc< }uhح*|ڴ9I ,TeI &])#HMh(AxuL-G(=nad1*ONxC #%M),L`Ah36X%;wŘ9-XY5bKZ=C%@ks8dى6V" (娚{Ya.Of='v?y{E]3E ;hcfoINVaa\D!a,C4Ym]u:CK`nizVc;{2gbjRGRAJ3OAruyʍM!=T MtX8 FD٨+X<@Z3'0–NYtL⣿[<;.lI7& 8rzQoO(1kArs*2V\<֍a)nz|-ނu踫`80[]0 蒉X vao+&`i j/tlLR͂7Y!TU Ǹ4XNr~QR$b+%JF.͐]P)vǬL9˄"%dK&=;+x\#zS+9]зF/ Aj.;Ch vbޠ"֐-?Wd۹<'rٝ$YHq As=1cN۲hVHwτ4WUJvz+Kn&FdAAek7; jipy(/݀E aڽZj]NG1 GW+'H©ʹZ1V?ggËF`;I%ǧHC(b ؾH!6ȶ 4Sˡb0_ٴ~qE]9P0D~{zQOS'1<5Sr1#GX^rQRqO4]dF.sW10r9/)Wd~.߉Qo]4Y\l,'_NCCa]{Bܹʅ\i+p*-\*{z߸LX'+6넴YﳗSF$BUnÇ,x0sl,o=@GFh XR)$jC/X9RnEs w67d"QYȈ9G[\4qyATP9@8hv.i KύgnH`Ly%~7`44p˰RsP*9i7I4E? !q9g4\ѵӵVMa3 zϨ,\?B9Łq9gh a57Tfm8t +lyE8t qGCƧ%筨8=;6a3s̛ 0~xQb_L_8{=a\V,.N:]JFuHFD0RڭșyUy@R$_% Ny? o!F0bwHQZ/hw?ƝB+ mx˽/e+[\bbr7}o7'd/VhM aTZ6$19YB|n͇;Wp6_fI\eq i3H#>Ao.hXiKi@s7+DX tW >M~aPjþR0HB25$@sԬ*S |dE t㸄XN-Hm=FK! jhCx`}bMU[_W3h]J¨X'P%:TgMB1c(-/6 Ynu+g\ܷk}KL}Є' l.CE6G :摊÷J,וe5>x Æ;: \ ~5=.•V~zS9PL79j=J#ݸܥ;*vg_%O3/p$iH R@AB puf6k* ؔXQy M`qVB$&5d-FR+bLN b_Rv-5y˹"K5O: rճU:k͑>f=/(ދ=jKŁ﫞 [_~nOEWݴ:ȓ 8 \!}~J<`KGN[PIkkme- (iMg,= +*lni+M@^⣙uo fweC@԰6wѪx|H<<[VHB_$1_m}Ȧea-%|oVPMz e(i[,U,q4UŦީ:@lVzu|^5dEc=B}(5*9,8E3st!A8$/peV4ڰxcf?~:IP.]PmnEt#[8Ж8`\6kV=R'#<8;ǐoʓ Z^'ʑԒ*U Dl(5jF!11Zg/bx ,JzO(sBEhS] 2x5skp0r_'SV~Z|R2r!e딍#Zַ1"Yr{Z~}YnTC\J ~'xIرmTȷvs5rs%^򓣎 nIRuKLHSRX/αTy,$E gŨHE!X2?Ҫ; O6Q0 7`/m?Ddq-CpٷZu=Obd3l nrs.OQ$'y 90:0_=C@m$qPRZOW(SdQ"+LNK Rvy4?XRniA]|c?PDH/?O7 N`fK,C\H xOF5f_|}w1 i;} Cqd/8"`k lZͱȕQE-SX=#oM@`2#SƱrobf8=Fv<%k`_KcO4| ׭H?;Wk %Fw5Z{ߑ;ھ1z\oW78ahb|CzgWO%iJ]&gItΉ R $pj|ϥ>-aM=NW_["W F"@Ld.@v-BEUPC?čmpy昘E>|-8apD~m%b5awM}FA7{&|ʢ ^3\"]F&ijNTO OZ X" &N9fTw^J/ⷧ:q­"7:h]Cԅ8,M!;]de,_[wͭFqy~f7ZXIZFH;CTgk(UzPl>6Y-K駌 ƹv~T $sAʁUy&ҳ `: YUP;Wo+\:o&q諾w 5'6Dji(M./cIJBx5GOSK$3*gXWu]K9;B9꽺Q(=@ΆJfG<,|Fd_4{@9 4Zx8?sz5f +u>ӥ%\Y'fv&) uՍ+P1`w^^5pJnuMRhlKf[=>`,|> J_=:y[6#Ub/+CPʚE\Ch0?B3(ɚ <^!DuBhC]*QJe[[\MRJw0gd3H5!XP]!a4Yν W2$oH e5ӡ\"}>|C}ޮR2* =`#H_hueeQfa_`Sa#\Zi[+곤iتK%Fa;j t 5Wz}~0/%?}kS }=j\y[ lrsA}9C3YhsZɝ#MRWU?[KR:(XAI(vy|H=>-4.65uj$ 'HʷkG |򒻻wP|yh;mk iX 8Nq#, gGMFA6-_N.Ëxo![WV-:мձSoA31:27 N}B[ϳp(⃄p T]U}w EפD15"=ޯ ѤtPr$=6?VC BgUqyxm0|TU Xa2Q +Qˤt^QU6 p6NYs*@J8o8U&ELj='Mdcaևzw2ձݡ-jfDJ6T `Q*EL2)j nKY!QE]^cTK+Y-jr#i;|=u j{{*ܐe)$o~E?ZU [d%M}5Mr}),5bk89_ äf! Y1J͵W9q>||~%+04їW3AGra-qfs^k4\!Pw󪶠_eeYw^NqB*Y##'~\_ߵD5dPq\Wk%aNYU/~PIA\0؞Ky)G/+< P6S<@|z'wƎ9WjTOH<2(4J[J{mZ9I)/5>NՏ|I#BҫIލeNF.qiھw.*y `Z\vf%$ I[ 1X"Z5/",@F r<'%2 @goSw+Jv$8fuyc2uwO4u PK}d$Aސ wY