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  5 5<3\ ] Count_Complex_Roots:threads=2elapsed=109.723cpu=197.988gc=7.368factor=1.807zXZִF! `]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1A(4k ]C;f.nZrm,ofE9%ĤBgI?qKs&uM YjpTC\W(ab /jT-( @HB~`%ϜXq>kSYu]WܾITlL%W(sJ6ݿe__" ؤ] .lR,?_d9#"Ƥjoc>r%exCNcR^Hd] ["Ubgpq͝vI=@p<kT|gϮW)n=\ݧӕnvVPЪOt_qTR" Fg,$!q mqKg9qo2U!XsPSXjS lIȬ~wX=t":s:nC417-ڮݬd(-TDjW;. Z_-gDxĖLtJYw/[_yF5*j &ƙ#-@X# p}Oz@բ%m~b)j(Y"QOFGQ9<)=6,)yeq WN&~WɴLT7]>Zy`{5 'P[6|%\I=tK32[<8l*wyt:Kܟgc^DU9M ' S}ysm1#7p[YM+vjΧ'Fl My/UzYF:]il43 ݁,3}%s/O7WN>0`4<ա9\ Hqͱ}:A#p59`IVH3>6Cb|,xlM`گ^P J\ DEY+4iシeBQws,3ehmvf#:1V6 f}|.^l j+q"G/ᶍ(252yri,Qtפ# 3 Count_Complex_Roots&H?_{^Nv\T-l "^>t{]7T..վs#>#!<̩.V7s{yb wGl' ؄-UI!`/+Ql^or(kaQd]vGP0,@} C/7,TZ6pe)Lwmv9L{S"8!6)CH}*{_GLbڸ] :Ќ$ێ$8 +ˢYI) R%=)rWDS}jy5 5WWUqc;]7պH/5;iS UVA0//VoL PZc+%L$' 'ܱgYZ7zXZִF! uH]ŗXi%;i7?_G|\%9Xh^ ǣvD.jzN}ΰr\bz P`.+!UEi'C2=|Vt%zsTJںh$[1i9eosއ~TĖ>?8m?0j'|q'iԗMTBUqc`{ͯZ~>.$]xOHNuH68.8Vl͗1^?m>kL*+jBGi@d/^q+?APUnEZoI[ 5xn{ (6 7vR]S3u SMs$csFh{kpG;{~$lQ;94`2ၐl64s{9Nۼ&setpc̆_IgHds Tp[gRyٌ՞So^ :6^qUa~&/vFS./|pzq݌̲;)VULqu>׻qbYVbv;16$hv%egw}*<^d= -WEwbRq_'m%&;Rn2sg$M<:*5 үcqj"N5j0FV\!t9[ Hq{ȷlԲoJbdS \ƌɦZX $Yz[Go%T+!cd7WOzMNZc>!s]+>q[Ǘ3o HC:!%Dqы<+$nQwTv@K_rE8973MQ!?B;j"L!ѓΗ(DnrG ř.E%^̈YA+ŞxMQ}^/-\dcS4Pfm RʭY—*&=pB bR]"O?ӒDmq ,doZ{_N``fr#K -zM\uث`N@?D+(垳Swid*ߋ':3hm@Nm<ҧ(LuWq={nsިK$z\WT˞U, 1&+2΢bys[RT{-|JPw'$mbEIV[,hJɨ-ˤWؑhY3[USq|]#E8tF[2-L,7#c $9;UiIdXԙJ*XOpLZRGd"l_cLZQ YI7A]cۃ D"A,jz_-Es[Yi,#ʈ2\J<ŤI vRąlUԺq0Cd\+x}FVN_(j-%o$ݢ7 ~#5JJL_BZuw>!2T lʇM7NBURYmy,+r8 ixI0L jГީ܆8O 7\rYGW!wa?[vہ4Bp5`5|At ii3\~UdJ%7k= ,*.Y HP O>Y.o[3e WYMfƎr_6Ɓ!)kWQ=+U6D%$.Lrܗt78gkz_9p C]p"&hGCO3Â҉>|yѕf*ִۘyL]Ċã &MR󈏮u&nNh8ɣ\sK7RsS gk` 6P>8D犈k&V| ZH;&%]C.T4>LqLъw$ '_rIUGO)澈" Iư˴E+Io"SP]kt „Эb L`Tc=7dNu`J 3/xC őwxEi,$j qIJBr;@mc.naG*nAF1Kܪ"\24Jm#Kx8ϏY_5̎*%\IO,y}!!~\;YkWUJװ.kH`ݷ߶ .>LڬٽZx_ 'WLC7%D##=IOtl!ze^VhARF\iGhpY6Օ~@mg Z#|yMj8o-z>ɕHhl/OUZ/ /vpeE6jCzP,یb9X{ZGC0{vZLR[EXhrSG#<x$`273m VEHԐ^57Fb"dIF$PAh[N|]"_([$kl`RD}6gҁ` j}U 2> hwm?Ɖ}ې^0zx4Kn޶yf06x59 V&w"v`SNA)aT@s&٤$lX-Xno%a3 2=Bɫ?R9`[lC0ryh9if&ogQB L|{ ˟=/ ފY@ AzPFm>}R餲k3N\{ l>ڱR | xbK]ᐏ5-6hCxh!(*Pc8. *{gM/OejD13.&0u8M5`p*[q>-hZ?#l vGGq e;`wliΘYc3 fyv"~="O(w.>,VTϬV{gcDŽ faqy}Y<=}eTcMvÊ(Y 0o,KeLwF@Vajb׵ cQgn-E?LE8דSJJjN+,[K?HUR ).\7J)Pkl[é07 jC>`UJL4*2mZ9S㍓}c]o/ !uz|L@%9HJI +6uI#% ɧ]>WtLUL\@IK0 ֧^QU{S5|ۅ2N7EcujI D8DՋ=ǫY?8G\ÅI'rvq(Nҋ_AÔzvf l'FBnqlNSOfQz c숙W9c:ys*,pN HPU+`9~kܖg2PLWZS/w*G5 $ ח{" $%G=J=ȸQCNli%>Fԃ2hF)v5y.=4)X]g__8rܣF1!S 7SRztA]3?#_ߋ=}SG p~huwVF$nKKڔF{]MpImd 6P>6K!j  G53`켁X83Agѵ92~[ R=Du;7Jnם0.@3~mO aFbư}éf1טpW^e B~vH]"5[Z0e AtWpF)_EW,jbpf07 !EE|E,Ww/![B4=*|$.W єx}t9f%̣kͼ&7OwrL:3 iSq ӷ7Ds1N|3yBeۋ&t[;"21kif 8Ec")y~ /և܋6(?,ÃAo+FKև7& =TUPE./Z^