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 27 l O HOL-Datatype_Examples:threads=6elapsed=83.778cpu=304.720gc=27.652factor=3.647zXZִF! V)]ŗXf1-q恈&!&ʁ^8J$h?oJ`m:} 8-9׏LR ;WhVKaeQu;+\eJTPYoh z{ʺcXh$ue8J3q*} VNVQ?a?॔sT}AG!N\EX$D2;P.ij`]s? \n1SKTyI<i~iyg\@ 3c;XyU;ɥ!|| 7 HOL-Datatype_Exampless܅&l:u`:gWڝ`Ĕ׻ӽ8e v3ϵ٥{P4h> w(Slɜ:':9> \-'ޏ:ehvӍ㉋nlzAV 9=F.H9#Gn@TקFn4 > `;6d ׈tddTjՖ~F6F~sY]&ϣ2ܝiE2&+w  YC7VOB`hDAm8@: ޫ%e:iZo<^p dǠMh e#UY om9~ʔh13Jc545ɩcǡo ! j5%~r)P\BMʆcpqf1>־˯f;v/'QtXg5#D:$"1I0yJԻ u(œBs]'%)ad}?P_aꀰofE1&j3l7S xl:;Sů&`ujLt~4qpU@ L1n 1okR[^inhY4[T۠jwV؆r% ᠹ@9:vI½ #~*,;ԉ r}gHMu:fK}F4˕<, n%2/\ӰIVbNFW-$*DXb8B 0Ӿ 4g \r̓yw\O^C@b7FE^eoWZ }bY2F/I3af\ςE2S^Pj۷9 RTx*H G'1JS jFetAa<-%^:8bӋͷ~|<[oފNt-R$D?U5miI21a&cQqO"D'/ھL <ު {(c!d29۠K= PsVW?4 7odY"l1z5|T]1UVY|5'ϋCabe yҝ9{c-D`<ZYmr"qԩ1kJ?Jp䂣egOp;a氝6g^' ͫF^-34 {HU>wu O=w+,k"Ҍ|Է53-X76U_N&hNdF%8ӻ{0/D 9=6yԄ17!Nȧ-:ndP|ܴ؞y|[4`4( ~"xQ% Nn /Ǫa,k!;@;=ѡrqk}%^_iho2ޮ xe;v zLJS&X 5YUFeOjLXh7NHT{-Pͫ}|{XH&WߛV>1ԬM|O[.kFOD@.,SH]-C:Wr0R&jjf??3QeB1 !IO|?te =0u'QbSvzZ1Nǩ }DŎfpʚ8%X2L.llw2{N 3-H띤H Nʣ2!,M0xm^pl\ Vx ?mo1p:2k(!HM#._zBB"x__b_*4p#W>ɹG"2TsbKu#ذX)6͆i"y.Bpr*^˜gc]C8~`?~6bw`¨s59&%{ dR@V@g=PH-5hR3 6h\ > BS<*n7=sFO<:aV3BĿ.u}cJFNRr{S|Ww#C] YpsqA7PF*Sqm@=s>i/N>o[D-xSAeO| KkgW8Fg\DN恠me;iG *.|!R8{F ɽb/$HgM!ԷZ%pm|6xy {B0sۚ|rz#I6dveϝܘ}WV*CI|h[~ISl??)Ī5=ԧ#6ťTsVJՅ7V32tUk}IDe(%בS>b7D(O-.|cXu_ ח`|tK8nq|cq#I"VuM}P#Sh;*DӖULWk, Di9" @}Lj4@xŒ憼@2 Bb%>w|?iߖ_ąfI3Pv|OJ-|>zdVl:ړee8H'wX7*vٰHL#B4MVt!Õ_}2)K#(nZʮݥ0;S[~PMZӽFb 0f1~ Ε`")Fx$KS׹rfbPI?%D=&k',-Gg#Rpt,#c+PUT6=UͲDE}Cr0}Wf҇xaY+XmD"Jk\9nSSy'{G {>>w|C%7?b2(!LaC3(u>5 uztuR;+^*w!@bnظn&[&ui"Zܮ)vFkPI4QO.U/ Vy0hoc{{y GEA!_p_DK4@l6݇ߛˍ&9 U ڈq~\zֳ45X?nOY3]C/Yd;ƫÁ pc@Pu80 DݬP( HhuaYㅻ;Xusyp?"ս"ˑ&̎f yHRݨy:dX@t^;n0%c Nn*vcF'r7#j/rֳ@00pM/i_6spnF\0eº8]?s䆳 7j9`f,_H|ov+.h}`b-)S BqLFDm%r&7!WZ^xC:*< s- E~Xp wa>MDoͭ}BD|,E.dd7jERWg@0o Y˸w+xVj}սqK`m ܣeaN#C79) b-bt"M-i~iU4k NllƄNKQL2DyAz̘7tgOB[Nt Ӹ#qDw z`e3auW-a^E~#?\@䗋bmJەT^{U͈cô:;ऀP-#NS]S邁t] fy"*OF?;Tᨥ∬}n;p+`3(+C3NsЍAmĕ_^Z W G@o<,"Gp0ۋdO 'hV$Kz'vOޡwLI"d7e\_ha %DbqHBR\Z,Z]}-'jhIw/h1. rF5%7)ELN͗TYӡtKS A[ }[U+jy~x:߃\C)@S|/=t?g>pϨJ_B36p<&va|EɂS#j6gb؛gO~n 7uP)|R8G ň/I9ߥVb>J"3-b_$a:Nt)- JwhSA#6wDAēD*? ? 7ORΡ5>C(JBp!z?R2Ҝvd$ ${ cN@ūyNos~p(