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 > <| / Heard_Of:threads=2elapsed=37.720cpu=67.836gc=2.220factor=1.807zXZִF! U]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S&"%4I 7xvۯlI_0{;HlkETXD}7݆0@PXJ!~ KL3I.R2v%<IfzìtŮ`ZOoxZ$e'pfHx_XI"|3Ѯv@J\M%=&Z3ѧyT M+XFĿp|妴KK\3r /W ZA(Y-(1V. 66 ĕsz/1,"Nҋ   Heard_Of wcμ`yź2/) $|XeY(sŗJkټb~=)pjM\_uKaxV]"*-HE} "$D&>bj~z>3/\m[TR.Ŧ(}*ndVy;jB+d-w(5ȦCqI u}DZtA7[6AyAY ݣs0]`[F$8d&7F#b$)P~['[ ~΁)?$juj5s'<xתM׃C$V'Kt_VYߟ~"$$8; 8萍 W'3Jd-GrѠ7&t=jc}op| } iHY^| [M 6 g[c Aq p* !ik:BfLjMs)G2>. Rw@#2&h{ q8UEz)?DAz_Io<j| hoKIU~:*_n<'Ѷ-m"WԚi\ d; տJ/trn,z !u:Rsܴ=dLgZ6KL8J-#E "f$bWLj2r̙ 9Bڧ\px8+rjNكv5fcN6T Ƴ*6eSn{xٕǜb3O  auiN̏̌EEI伡ܴk TO" }BBBF.aQ\A߆>!: 6y?'0NfYV',wbi7!AwG~]µ(^c1@;pjㇾ7pPTk2Gz8c EXͭmFϽ*El/}w.2/DgtW.֖zC[]Zn$}! Iy43&_NC HI/i&2kDŽ(68>sg 3Љ{C$ 4|hDldbStǀNoR*|ȏZZ<@dκFx~|>Qgp] PsaS6S℔-NI/FYʪ6P֐.20a=DK'c>gΧ4Ʋ@ r2\"bVmJL`sV{ =:<ԶGp2mFݫwiCe+ѷQ%oNrjg8L^p#?*~i6JBKj8j/?F 1)~g'ԋ3"lZ5v9𕕬Oh ӷ٫[rĻӟ{vq( qiy" Jz6@D3b\Iq E){Aϻ5")bU~\E}%˙"D>IMS^׬9[ Bn}=y A=MXfx:9XAd  2'\V_?Ջb/r 81j9} Yp:Z?g|yZDa*m龬˻+Iɜ U/㰽 e({{?V&1ÂxW5mz@ط""fO?q^p@a>Apy7Be^mnO\5i<& Yco퐔A4aLAzr*x'(67tEd3)rnߠrP؀X&'DǂOT_U &laEo:cd?^~#4̪Ĝnzws.ACY+P~4˻iD-NZ]n8my]Ԥ{q*XxN~ +;A\(=MNHY)h`ٔct[TPn*JI9|OƧ KfPG_^7W]ј/o' OwC z%Ʊ؍IL:Exh;굂t2PKTnI&$% ֲBJTZ!yޜL0Vv0<!A ]}Uly-avZr `p㏛012h(t ``gVG1Rm"²$䯧c=0Lp%&j#Ĭ4̂5wNL'A_ ͖*y'b?}~B[VHL[ZhLA2 ҪȪkw!/>&fmN1cf9dlLruWt|c!H V&&m 0e) \run1RB"m᛫ Źcr˜Ԙy`M<.AmZo1\n:F k%GhM c9*j5OaQ(:*5H}ib~}5_`~2<&˜'a9oG &.1m@jH5|4oCi%Y՜.MuLnĮcfV%|f*}#VP ʒ(ڄ6p~)i&ܭݶ_ v3 5oyi S$z#텯f`0L'\p'' Ʈ_x2~]k;c.]չ1wQsVڬ@fsޕxP~ PXƫwf;vюdq%t- V?6FQq^~d{xcݐcGpkXI:)(P%m{[7u3/ie2GRSVwH`H3O3Jt1S -#.dL زú58=x-g!>5@? Ngx0p-q; (*xPzhXե36;eP▬¸ү½ۻ#e,hG)a~`T2yHjLÍTFB}q".Xo RkdWAKqD D-lAmKehlK+ΤK1נ2vsSD{v$uŕ\ Ԋ>_>"Q{]?qI%KJ2z/*SyVTjMWPʙs Һ胤=CO{'AQ VjEqLMcëBnP6Q݈ n~Ew߰ A^'d"̽V л3D*}M!a/9^۠p7P@A+:ǵClmu /#@VgaӠz'OvU"؆3~7{j(bgjaI #⒧ե3zfcw 9U񱾬9Vށ*"p3Qr@īU t!HryK0Xu huJEv^za~_j EkIǻ7B;g רa`9)5 5~z&u?)d,eIFJ!(`5dxy _G\{vLv$h5jB*þ4vdڗрMIrʚַ%HMGLn0\OFOЌyjSA.'5'yDe;r407w/M1e DMLCMwJU'Ȏ/ia`T&Ft t G|[F.J?#p{z>4b\%>z"tH+ea.BVO|Q:lp~{7W*főUkJ&[/L_r]'S4W~&)WQxފehBd7ܢUSZ)w¸}g\)W<_^Pڬ%Hu,OkbW {C 2?@z4Fk6Λ}AI!b|:*6J $ m=baH Mb>( Wb|%`3Ch-SOM [*ˠUbcsrjLѿByϳ_V:!T8(7VB[TO~N$nfQe-vU0K,rն.!ZL !p6Lx(A6YKE"MHIz+Ry :悛`0Mu)ۦycA)S.eySuyP|x&];dAWmAK%VwlHj@lN/H ּ,8ot!8V#B)yKTaQƥ6ˆf,7L_b?е""4ƝG`q~<ߩi]|E!ga<S,D&ܜ]_"51)=ʍyu=:ɻνa epܠJʃ6\zĈ v6Ӆcv#͖#Ƹ 'ܑqy0 uMS)oբΖb"~._&~9-װK*<Ijv?QG^2cs]g5 q^ FDן#jf2 :ȬR72s5C2zO*5QUٮuU2pd< ň~\f>~!覨3TŒhjh)"x&_$EOnֹ+1k!%/`a