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 !!8 $ / Tutorial:threads=2elapsed=31.408cpu=56.852gc=6.288factor=1.817zXZִF! { I]ŗXf1-"oވ? VòSE{ l 0x6#$O ~o^`(,Ln{o`k,Vhc2!s4O($KZE|Mna8 }C G\q̒i '4/LX;{+pX$5{=55ɁM>E$hiKɮ j&9rQx`'N=[j˚}8ck$iFka:^y{UZ) tbU}WH` ƤNctŸ$|ʗ@;oOM9BdLXsŽ?1&?|,:}͗W&WyMRMc 3iU#R׺n$*]x\"&0QNtРdi7+Ɩb20Μ6_T&ğ{(3}> 7knO^ "zK1Tb|~Y.I꧒e'f B+5ֳGpW1p*70W>d-hTzE FB   TutorialB(5J3w ϳ|vХdBkBK੉RK xGInD(xX6n2jj+XY4u1tᑁ/ ¸{v̳l W7$C6ߗ˷$gEYLŀouLO#yk<7pIן=j:6:Ȁ[ܹA~qv۟ Sg aeb {fh 'ރzcZ>CYۥsaw?*;]ñNʶ(qZ4T=.0%JA q&:pĴ;-xo1kN!LGa{GiXȹ>%y8/lag.g\ԍ9lÄ ! dVsh%_ nI4nfEA恻N!-Qq[ȶ2SF9ح7P.D?hq(4$*l =HܧJ|wZ&|l<"VXPKJlܺ-xu.Ov( j0h BS$*%tbOSA,XNeoBK4 9O S툴I6qroYa蝊{䦅3L- U-N7 [ )bdyS|ٵ.UYUnT;+;$?oH7[^@~O.eԩ0PJ+MdP7VBC, F(>Gl_Z]恚{2kIo}KGlWQKfyD0M U>FBGo'_Ě#B.6pONn|cx j@Q Te'/ƲMP`bA˜QxOBHH=em&sh 8.<1;RD`NU'4aw|&eC=vE(u dրp +ZO;Xо,գoq*~5*H,QQWqdoqu#OʡtDmyZY?5L y)`@c#:pKi/U8mHv|Oʻhm CǝU,w,*C[CK{ir+~G.|%`q^Nd  N VrX!r`*l zA=F:$d3 1g3vy]3ҞzSj 57}:N,GTӳo$k^QM,m`C0x<Z?'Z1yMjF>~4]+Uث2)F~[!۱=c8dݺk߬f_7b,,,0'7ۡ_Bz1]{w7W ud]'j# --?s`s ɞKrKADNG"۲ ?Gت70Y͉ wK&ȸQbtPs" KdrW+:A]kԻ~& ́\]*-؀!_ZϼBk)'_/j]rVburkצرxX2 SR1Mt֛vҙXiYgf)@QQnLAn!Em1daYacdgYZ7zXZִF! +]ŗXi%#d/Ȃtr@$u~l)ہEeBe%6+ pr/ݓnHR_1HZ(_ycE [L9$-R :"7C zd  6_hg\㱦n)o(Ah_ a`M`lbYGҀBv Mq9nr8f=rs/mJѨG/&i:x]%Zaҫ&ו;FnF*MM,.6\sC뺦o"]W^`:w 2cNDے-aUB~ZƩ{T } t6E, @9STal"ASL9SZQ&bS2Lap,jڜwn`& řy2MqYIx~Uxi,nHrr!5 Nݪ"`Yk)Q~4c+Evֻ`u28)EMWw*st-ϵ(I' 4lI0h>Ĺ)-uD01mլl%Mg_沊;`?=ޞj{bqkVkLR~&zm_;ZH) .EJ1R9|Ar!5%`IG5?Q r6( 8@V-x!IA/Ϩp[hkpg=u_T\3{_ѹ%P6g{ό`jE>{iǵr;8u qi#!-ӵ6 )cn -@˷.GmrF'O (@e}1=ߒ N{b,4`L<چMwB o,[Dq?>9T/G&֝*\**p=}"(?^j2X[J]ܑo`ѹ<¬4ܟt祀kKRoE%}|EEp/d#|mWiE̢,RT-K2r0 4F.ZՅ&N%GXvA 1fS:E-H!A)sfU 7zr>