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 7d Oc Algebraic_Numbers_Lib:threads=2elapsed=110.282cpu=201.564gc=6.960factor=1.837zXZִF! y]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GE }r ' m rn JyXOHM/qZ1IJҙQBi> s{Gq]~ 1 o-a^5̺`Tso-i)9:WBM(;2Y; z{Ç`_ju9@9Ø\'S+1V\qJ#eGU$~ f_[ϗTru}-D Bz[At{-)2W(xQղ"8:4r4o¨m',A< 79AlKzY}aeP7|<]|InPzÿ~BSPՐlz7=zfRc^&z| €Wsbn?Nx[SRTb^Dw͂RS&%Q# 8 Ƀ^pQy@t?(/=MDI4rbI䒋-~k^[^I~MiIw("T+aTc1 ;b;hE Q=yRSۋe@4x(+O{8eRu}x:bN;yv=%߶4֜ė/kmU+VfdQP$Ie+^FTKkZ]RFN#U"L:Ps\[aii#ӯ6d@O7L cG6tRNoWuNϹF|T ŅuHa^QQ CLf57 eqm|_^}Chu1qɡ=qk_4{q7'5_ fj@8} Z`3Tʤ$NKڂ&I B~* q[$Kp XiU\kT K%^gըx+iw< 7 Algebraic_Numbers_Lib#{=U#q Hx Y7b:;LXE7d߮6R]gQV@̬<\m LXh5VT~LRʣzQ%d?8ݜQpqzr&3ɷ^x_:wy GJ_T'"x%?@5h„Y>{G˸8-V 9oPx@bDBK|R2;I2Nl[N6 @7#JR.s}ڀīn@L氘}2cСo{u{۬6vc>$(J'C"P?evl(ٝ/U~J 1tb/ Y0 4ZUkBf@Ou}%pӐgkac6iHu a!^6Fx?[.vɜ'THuI`Tb?P?YhY?KeU dk#g T|s p%@ ^?Z/9M !Og}xig@'2lbS1/6z&ϡxiȜ:TZK#'ƽmt~(.'pg?Ua:/=A<WQ,ޘ Ko_:E"s\3^VvFZ$.jm 5h~ɨ5*=⽿ljn2őA =b.qUqp UN{*~Cf<} j0!@iiG^pA34֓LU \rtJ_!mݶ7'.:~ yS;+t n(4 moR;%M6u~gYZ7zXZִF! d]ŗXi%6zI bߣh!Ji|0>asZk@ˌ7/c䊉y=4ND0M /6/`V~:/#(kXft} HRa(Z3~qwNBA6b_)e'nWxήTa`MI T)H34c#iz CBJ~ 8N(9pk)XF) x8{}k<@P`!ˁ6p[4'ub8N3)]! u :w߉cQ[ؚ&XM(iE:"W;iSaoV@Q1#r̦u[2ō=ͷ[ 0KC=.Lڭ]hm* 5*&P0ʃ+,ͧ/ D מg^ 5)[֡B+ ǔd*du|4uhD_$GE5#qSȲao)q W^y ~mUɜp9Lyt0{ֵE$\puMC%[i<dlD{q :8KZPƼ膩&_ tuϧYRgTA&wRF(D׹^'VTpwOl6M%q/XG=x7\.q!X{@b^?Pz< E XE( v Orudݫ{dV Q\8"6X=âj4tk` k\G+B ,;ShOA%.G 763X\Xk#ݸ hF"VF:ָl#/ 0.g>*eqetv~hg4eq=Y,ig/59"0 ѫ⑈F1cCHzsYNmM &n¥ȇNg0Y\bL&JH%$%P1CG{VDtoqxHT&13/sil60z-A w'~qÎd~dzɾZ+<,)YJJ>}O 6CWqvsX">R?/^Tz:K&-c6([!K vJM;XL7ƻGcƧVuӭ ΝP|z_kG_x3J71Ū0bV^$Ld_p5e+:%c.1[a5 !D{F\04X( "X7'ԂiӪf^Mq6(1a1rAZFt,d;ClܗLA8]O)b©߹DP&{Nv]xw޿̡:MI@a4E@T8?C# 8Q[mysZ̻_l Hv+Jz yt$ҍ8Sw5wjQͿ[p 0ȗ#?Ue9JN{fE?]KIM ީ'Dl}귤^TQCѶm昄P"7378bxMLnIq>S[I4[۵%naM(&5T>ITT7E4IIeT., BNdu-g?MuTdQxAr&ElQuU9 yf&n;frS>ˆnT4ҭ!n)|v<Pb0. &WzwEKvO#?`+:;bQ9)yّ:BG&o6.m-/%1LK>iލ*!urV44٣KLGlvd@h輋k 8O_~3#{8)/8jM+_3'f-@{ƘC+iT4aSsoqk˷uHu@1g\D7 r>0Tۓglsi}:'jT*s2'jAN*ݮH%v|sÒPY(}hIsz̠RIĭ+DzN&Hpt_LSqth ~`dx 3S ]PQEwnD4Ǩqa1r ^O? &W_}6٥07܄Џz֜Toyv8|s}GPk UE=ŀ/>)/~R*K9*)cߦsapdMljK!# GX} &|%+J6|@&:c Jk[ E' a^J7 L,v+&f)wU@|':y+f@ςhWoXkk^#jӸctb[)6&tۘẒCȃHD&i,fq_}W@Z8J1V]y±zthik}𰈳N%ec穆sÎtJpB4 06ĤtfK͖D< 3fBPAZ,4&S6ۄY Onk4e[[}s5͡LTHF \R 0[Gծ2cW/l-s˦^on+τ8KLc-M:y`( -i EaM>voT 0cݱXhk꜂dJIƆ`Ŗym:nFҁ8d&gn7KIL*͠>>exs8t1((`i{R/[H$ O^ 4F[RzBN,z͍ȴeKL>F':ekCoY (ZzDR~ @xbUt#ATpөL侌ma^,.6ɴz! aV8BL4Kh}Rv̕1N38Dy4cy57fk!Pؿ1ZЂ7 1wp__Z]8zp2lrm/vm"}WCz172wElW[{5;J/Ƌcƌ vxZy?:J 3`B`Ќ+.w!j )IrSAwR=>X*~`%^gwu O!awU_?> HQa >_^7"+;:Op+bGhOnѼ ^\Q\dIT煵}XY/ V P m.(С6&ߢ[Ue[܁]^k`m-d<0u߫ b HO3uřK9QS=tZo-4?M7;>r+NJN.M΍J*6XJ*o==\ NI#靦5'q.*byis*Ӯm%HZR^aF̡ TH9{6k LV2ꌟe/cP7yy%)& \s~> K(Ԏ5iA+g'<@ϡQtyPyPfS29ȳ*z