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  3l, ] Count_Complex_Roots:threads=2elapsed=106.820cpu=195.384gc=7.188factor=1.837zXZִF! _Xp]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sj"ߞ xv1]m}ء:c+' hڍq"W3 :u?%n@ sokYJ U9'4TbuHDX{\ZM~;֫ͨEՂ^( t`CXGN7c7fx2VW~w-(Q` Չk>)wg9VU>1 ̆=W9b'-)= SNb= >U,T `%6~%]1">%53 ]5pG :s( % N|U, YP)Yu6e)?|1dFr;9Fc\-C~Ar9'Rzz"i:N\ގ oyx3s)`NJ,|P"W)%{!'w1`䠼MWyH4;jhze5iv5R!>6 W%#scL?9׻G>z}^ׁ-mjf56"RlqָV> O\5[7Ttw,Y~;Lih5Qp֓ 7^PDcxmBX*}Юkjx*;!QAj(Á49z>H,{注z&d5;"&L0i rEϵP  D.L,F; 3 Count_Complex_RootsQ2VZA>ỌujuB*f.6- { ,ȸ>AFә\{`5{ uÔ,5"<-O;|ƋNĕ}wTCs/Mѓ"\ V6'-Ռl4LI* +C{Ig?"7;4BsVgh$ dS-.v(VFk|rRǰ0S{ !)CXhڻ.@@/VBzg:2WikR*TJ+)%;=T%W_4v)_ٚ kd\PNl-W"+#NH~p5M!gl[wGV:*BaUם&)ʡ؞͂0!/l[uc3)@;~[6,`KGF&NrszyF>~1e)ν/W+o q:f~ֶ-y{'NERV YTt<P]ewMjA|DŽ3`֏ia44btO ؖ >j S#Ď8W\ğc "s" QPG{^o .d[46Ww}<>˃mqBc9X3}q2-<g.lewn] GN6ڜs,` tC$0tpdG9vu_\]cVI-(nD}K";j%LRPC.T4 }G&ןãeV;Szح; urKk(t"@3 ]>EQ^q ʨE*Ce$˼ .wyg%Y.\oڝWpr ZϬɎӦ]r!oq ^OQm@ոU{*jMGS6CG myN4;d`TP)+^״پ zgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰KoˢPVvjbǫ-$`mL`0՛ĉ4!٫w*C>CěXI@ 7oo@p%JZ^sfF O]vM|V;gV5څpeߧcb3H(אPOꗨr+_SQ38$<,{.QO][ ,AZChEv]vl컈p"0ޫl.Bڝ Ko4)Չy1 ̡b2|r@}bŕ^FYPv:h$)fZ5g bfmZӪ (KꌱgYZ7zXZִF! ]ŗXi%9#cZ` ³ >NEO!]o&n;+%ۭU#t~92؋e`Ǎ(eˠo?[ydPF< \VA2Ծx)t<~Jc%Nݸ:U6M˕݉l~a++14(2[E)4~:L(C5['k1Jˠ)j*Q7S?5zdq_ư=.>"#MHǧw^g\T1 85pB dQ@gyW&yb~YF%yX䩭T`-}s `}*'Qe !R@F?[SkMb6ވɷ@/MRP%ZÖbe7~u `+%of(FAsV!Yr}ձ/~>L`e6\[,^HIj$#[P]f(b{AhT$?H{chX_'Ro4~V.% T#dJ~ R:õaKPL)J,+LbPVs(0S@. s"ҝNoubɘg#G'HAj:^4H^3>Tge>}WBܫ x`6Fy Իޗb>¨[aCYZ^*ك =XC#OE5IT1.ث-rOite+T`&? зqtj#eHeM.VSrb gXiNP D}Yi=)7Ձα6!wu?g8)hr`J}3ӟ!s"JZGf 8 2U?2>M7BzX\[/x'+UkY, |a}4:G 1R/f%8%'}lq(˄F{喤j ~ɉ LVEJ\[jɗT˘L&ͬ"!Rt\yP>;ZȇV%5B(ن@\0O^N A=Ӂp&V<ɥ'"iS$x0c߈(5([O"YUh.!1"x,zVtFrE؎|eSvwZAnWg>iQ@1}Al/XESX`T 9C7^XpϞNqs-c[-SL9i] riˌ"@>I}:@;4Y_kfP|O8uƥ%cY^Zd 2Y  0?D~yls$![QwjCrPb0m8^®}c Vli\O\S0BD"nnY__OU2Ƞl"sI8¦^1;Fxꂛ˪T ΧsO !tv.N@6zr6y3=yQIK{K1/fcB"O8aX>NNX0[4ӫNvSUf ;qXmҼ̽w읨S1i`x&nx2{Fu0bcKvs(HpK" DcDeã%0x+YLB_ʍjqS!BJ@?/T|{ "ߕ 2frT_2Wt$3pearꐋD0T+@u$ F}\X+d I>+ײ"AfbIg<~a x_9gPET%3~\KPts)ǣU=\s)fOOSI/i骓?Ď8?EAF ?) wˣSB'! wA ֺt_S[wvU G7?7vq?m)ZlFu,t3':,%*ipX( 9߷ nipBSU&1n]kHB$y~6}a%ީjf=*#xؗ%xmp: TM-])dk=yC\o᎘o0= \1u0Kn X;]c2;G: h &[ȌX}A˝JH13;ݺTFVDJyTq>hjA6EjѰWͱ^Fj ڨ`/e"(X>'-^[Ҫ+(AO2F_);GmjdzKјsru `E[1٣+ RsŕIN/k hLвkߩBF,P^.U60FRD/aD0|U4vIQd ulr$9K|B -~!rezaCg~wa#Q_[s &|KMih @88$OcĦX )N0L\6LØf*pQ 22&#hO%'''YsM3h'_,7R }$G@ R2C刳O@P{<+]~ט!ڷeg/0)-o Qv QVĂ \=S0#b8I [L1{I8UHc *lC嚽4/A~lN;ޏG0 ]}S KA-VW԰& R&_͕ǗG修:SN<}iB%nN'TMYɥ @d?cq*n|*X#YxJf), |i#;{TLS )ݰP |`;@).6Z6Z7|gzVS.빝:cU\ڨLՆ0H%{$'#"D" %D5":hovPP*%^6xy<on)^s5rt#D(Q=x4X*řZ?j7@U]ӛEHyvQ~*f.;H*ė~6:a"LbSs oK$zl抇_=MF:Q.X6}uxve G ֪zz ynM2tI ..=ZOJ2 xu嫲HwL{K$z-M(ŁKҹv@V4r}@f%w[mi@Kɿ1Ș!灁(%)JXcOyPbbo.YR5[fjа2iծo9!l 7x >O&`f΢ fNOޯf=6k\kSρ: 3$XGƋ&uШKQ;$LU&na I=DžKl}R[g̵),fDceA0\U1}34ezW?ݫ^+]YexҼ;:Vq K+VV qLIKp1[fҢPGfPCuLA~Εf4+x?*GN^?J *%96slbTB' B-ZfLݕ GJOXsVaGr韈 O@Z1 )Cd=bqN7s >%db32Jکrƒrnl+А9"L00uàzfP qʟB.dK^%Q\oòh|X;x4@̓|bW4dbT> ܾ4UњR@߹E8> OgSR%95ΟiσyTG76EYbkQޟzp'vXXic7k9qQHm +yȪI%UUǟ7bkK9o_CФl4w C0c1aIRF?S u|9[5nd%*~jSZ,۵|):P6*Ikq)o.0+TH;g(kacx4<0)sY, M _JE-F4L'-pȥ_b݈(T/n#sciMk;S]BdFFxd:nwuEb}IE.H8hh1l>꠆显:'oMD]h o|Yi!~0pLaj-T!nRy %ߡj0@jwp _ <ڏؒF}G<€{3_c$ꔁeFذ1 "d~6&{ 4L!`OtUR^,HaP0hD Ֆc7WPC}k~D.QڱiΣn5pK̍ P/i-STWw9GX)#@# %ZCT;NꂆpE3  R6bMQSʟ^H1(y#}滈5p{n,4팂_6?F<늠s}rSyc:d=mMWhdf=#սe< "ظ`rl˓f[ơ颱2 _ H_ ljjN#AF|pn)"1wtųc3V