SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  .<< ] KBPs:threads=2elapsed=165.739cpu=254.804gc=10.724factor=1.547zXZִF! ]ŗXf1-/6vRZO!0؝L&{A> JJ"#Bs[I4q^|f9e 'ü`֦qmJ$/^!j`>&Pw,7wߏv/ [m;&S+7F])4&W5QuZ3P#e`|zO*nLDcԂ/u[\0ʟFnߖJpJ=)Ap3'uKJnQ8\cC*v6g0'cS / wJё%BjLA}ACƵo rB"ro]rpigj)*L2,zhF!b>(c#G:)PkOKd }3k=Yl%!jiq  KBPs3{WX1N02mYPy#smzi|T, KuEP۷p3v<$RDI*~$b9_V5rdõ[Z_R(=8x|ks~ћR;4Hg#eKl3_9f̄ 1m4 =BSҠb䨂"Pٴ,$GgPbޖaGH PJ7W> ,]Èu8npYj8LpW\r!b4?4ziA\61.~l ߜr8uE)/TZOϒX򄨬j)E& N|7gyzq!S=.BHVnwo7\# u JBhu4$Xo:3ͶuBXsk?Nm4sHر/qQomrMv%tτ69&u+p;KT5La )y!kҰdj["&/lG}OS.6-!\YQzNL@|vHc" x]pmw$cʁ2 M px4u_pǪ 2&fԯi׽.#B YBaOJ+߳. :u8efZ|nIOzhZ?"%%*x#>V̄Սj=( xs\q̻1YIU˰&f9a~دl{Zc!¥}(]8ȟg;y[cMܝѮU޵ %~L?BMwʏiNرE@5[T^6ƪ5ee~hi^ʭzp Ϥ>BP2 }`hKF9_ovpH^U G;E`Y(}#֝!s(ęz?z'_qq2(hWኁ5m [ ZNf0(UU~p8}3ڝ;.=A U*mI9r{)/2Jϡ)g$"q{]. pQhPk_ѱKYJB{>ye:j 榊%JZ]G_254,klFc9YQ@DtKTQmRujuI( /u5v>2+{!\65ٗ@iY ذpAlZ>2}¼s[WDygKS)yoW;;sU?]G4&[1dʍC T,L;&n McseJ(ѿBo&rgs#X,d5KruĞIwET)j絏],>^p*"^8fYbɋ8e2C#wgH*,?P/JD Oy(vV!k&R0}ahBv+V-iB?PP}` G6"k,@x`j/oq,t IYv9@Wjyzg$X< ~{VvTa7]w|Z{:ʃ@<@eE6VR7 ʹ[P'=Oei[PErw׏hu>˦ӻ(+N FOͣ^٫mDa2G @H:L\;#Xw[U#2g]BSٔX/fp>"+1nD{ڢ߬0  tq YےfTb/3R&.WczP=)]Sb&D%ZaY@ǩS^>]0<q2Ih ϓ| _ 0&{Vov!Z1s Ӹ}r.v7A. >N]ZŖ| {5ɩ-'iktnc>#lqj{ٓy]܍BL=`P^WflI 'Hš&||8 ++žL"Fwr&bgYZ7zXZִF! ]ŗXiɟd0Vݪ?q\n=vg2&2"$<2R@ g#^Z–Lg 9tvVKCTh HOcZ0V |ߒ6RZ_c \+ۉR iji#x@M[Y)M x7"9tRu,w馮a)hyo&%4Tʁ8MW;cTxb!ùF~ x0Pd~êvƈ'x8$oL9H}5>|t+ͦyTk-4}B3qBtڝdb@tZN76 b|a}{TMDTpiMh_K F33L|`OCeq;`I6baF-o@e u e!C^TwwB.x6EL?`c }G#l ED3%5W8B|?^s1kp~4 >|)_rދwRd1mJ/):Ɦ]κLedWa)Y &87Ar?RaS];8i۱MH!.LfܿCpxb,V]~DKJjb?FxVCkbtfג)wDsV^7azj+|땃*uO9ΉV͏*-ꦠ?im%#zňk{n\(t]uzU0T?2d>NtEe6˫)C1jԕ6ms10߭cXQn =Sa_5kx '?R/l~˱X㮭~!S3*=8,,TN 1O*eXd+Cv0?!Cһ%qFoGMd`a3NZS&efGwc <=gOC}h㢠~C}: ,}dH28B;{Ty~Ԣʯv_ޟ7z1 gH. ~ɔ<=[ų=fa+`]"^<'4hYl mQaŶxB(|H?F$|mE&D䣶]3L$߅[|K$X61im3RBY?(Ui sߨ"wz“U~o!caV"R4W1Y-λ,L94Ֆpy ۑ/!A`}%3G,d3o[J߂g "}M`%Hp󜚎!(Ś[$QEč"1a (."aoU{}1r*XF!&4g xk2ƯʞM)pݭSs8gynȝ6=I,H$e ʈ {Mix~)Wݫu)Ryۿh99 :X p L@QjVTdJC⎍n$JQ!񴯘h 1K4̴@ho,1)ٜOI VeOwИ;%_^% U"ƸUyź]?y?T}icJ Pҝo$ l¤~R ݳ ~s9Z Y9S>@y>]Npqw$I>)Uj ǀ@Lk񖆡z;DV"m:*<OA`?|)n ű ޭr95GX;f| ]P&>qda*ͳ 4QDR0)|FlE,MUBb )щ("6pGM>yghm2|h瞟`W& ņ7Ц~TP&:2U 콚^ >pR; *Rڠqʛ}GE'a B3"*7G"W _Pg"?,$LNie`u3z&onG04 oŭ;JY3cNۿjE(n] _&d3V` tdB b ځ@ KWEtyDM'Z%!GhL2kn-AsQ Kțb?}3[c1W۬Gw2FԚ#Qꨵk n0Q fW~w{%n `yb[+> aчZsz*>\=C*V Q+r[Rt4)M)]DҐa--ӁvD:炸BLݦj٥8uΎ98(f \F tAA]I 2RFCd( Q;'/^fswW y:ЕdVbizʩȕ|I 4QE]uѥLБ0ggIZC y?TNl2$ԠZ{ٗۇ(%"'1ڽzʔ5eX:DPqD:M+G`elQn3szQJveVnW($ 7L'pPk6ݤzP J1*]0VYA2u/QPvT1C5~cqLYt?YK* G^ 2J Թ$?ֱGl#v* ƒY{Uq!w`x,7Ͳ{N>[+PAŴD'bM Dc_H%%f?WyMr~;7 w==~= ؁ﰢ^-uo-USexFH@%g ]IV{oM+`VmXdDŽ7)(81wba+K(_.W P~~pA4R{DDd2.t%!W._:qXbs %*0!ߤ?$-]Nm"{jӇmwRVV cigzog iV2+quC*6U-]3Gbx雵摢>eSʥ/4 3m قio%ǥebm/ cxpصFk 3ϵkmQ^zTStd;Ml1ǔJnEC޿Ԩ=r;C߭ݒI\NL|yRb9+۸ }K䛏Ţً`lҴkDyR=DspiԽzQpXy}g jeZ:X:'@A3<@k +eRD}MT#:2dT d4oxR|ܤ~~RS"35crܣħM|B#ue"/ cqqGt<?>16<Ǟ:Tح߻ ]LG+}SYe ,9S>KdO#dh{^exoxbB/\o՝Jht3[6y:NTKm3ÓԛX##>%6.JEUp&HWvqoTI3g?#Z і𰳵]i޲cu'p+` m'p,ϵr z\ez>d5q~}4g\fU9 x,EiB|58YOxuiqYc_8f<mɨjU"JoVBZWturfWLH@Y<p-m!7,il qXa?#LwZұS Q0a>L|MRjȔgK(l RX eOQbcJğzϙĞCXuWSςr28\'FSLtP Ջ"F*u=#^;" yRUb9* ާpY3mJXj=,}(,G=*2 r ѼCBB Gɾ Ia3ϧau>2&ܙ.I "pr863mG+Y &SvYdϘ,(J>p|[ƅQb^qa^aU\5tx9pmllA]#&aFX bAlҺIg8jag"%ԉ8gc [b=v  1!+ .ϱLҹ=>9a>}f4@d:`R`ۗx)d`2@o|(jƍ+>^6x$Q 5[ øҊQd