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  - -D3t  ] Count_Complex_Roots:threads=2elapsed=111.035cpu=201.512gc=6.688factor=1.817zXZִF! `s]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^SptK~W'~MسUpbg q*툵#>|C.#;)NjB=|EBB$s }WI=C1~ey IS *qcc$o%o;+uI74:VSuvM8 JJW|Wu+Pܭt\@y?pn~=LRU~0)5p8īsQR#YwGAV@6%_(~U*֡mm`{6W@b A%zQ$ukG1gRVn$ Buam*j62ӈҦ%{ ^'mZH<6㩞kA﯉~P MW/-/{ulOHt| @-<-9fM݈gZ!$Uޕ~٩Kz7{\vRNj0I<E԰k.u`a\Z8'V7%ށ ˝.|9IzS꾸}Za͈ ~FGCfUJ<M(J3;Ԝr-8Tm1$5Y1-]kR|}ci\ h_> "HpiLo<ҊC(8X͇ÙI8x@, БӇXV-jz+IQJ Yb^UއGv(XR ;Gn9B#|TwۮCOxy׬$ I|r%!úRp P#XIK T[7m⽧9.(pYTb <}(GO?nP}TRSm =@Mc'!YiU &vmoe"kuv"w楻_lM֪V d=9A;M;1l 8"Ko(1)p5V`CSQ_ )"lhv 뺫ȴ0-@ U0 3 Count_Complex_RootsP9",< `bRy8+hbEk⑑aOthPs4lJoڛY.#'5aƏ$ƻ~Ս *fIgm'BVA33˩30W{GwoծbsUpw p‚Ʉ׽r> jz/gL1#m%9fj$VV.`:ǧX3p#lq'MeAX0xS0<Bu~d S ^J-̀b^}nXj2y T1l{'FgBGx8>'9J 4ļ :/H5~|l>'3Y|̅Oǁ[dQiѠI.A.eb6mu)5㤿kΨڿlhi3bVz?2 J,Z+TH=;)׭[24d^8u%hNFiXgTU!L ֶLzv:||M z`jا͎Ӫ Z鈂EGV xAC^hsKHX,0Kj6P"аĸompлvlŽL"q'?~K͝xhƠ&! ]^?%;q~kD;l4M=0cO"?8njd27(  ٠ՙP 7 \@^#̩lS@ȱ:MH`V 8)b (~e$ܙHzGcZ *.4֜AlpfenIA5ra#4t#f,Z9P79fVN+3p)} W^;I ҌOG.Йxy!UEL1S@ : +[$9sf근Wf@ݩ0"bՕ3@Y/h̽~ɉ6Ȋ\.hxZn#7BϋAe[|"h(Z{ogYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Ko˒l n+m7afy S?y)bעh>Oࢃ9M?jrRl{C8Å1qi$%ف Y)m(}+" r`* WUsZl}?zJ6u*RZ&̴ϱMOtGz,]cK^F3@d4A&nC>QNu =!U{eXV`FL:Vf,A(}T= Z]ŞS& ۴s]f!  J%@u%b}$V*؀π8x=m&bќx͂'SH_-|:Cf!ϵ%K-<\ugnfe)̝ODE—R}TAa^].v5-R<-bB$ iؕjw9]Nv! q} {gYZ7zXZִF! ]ŗXi%92we†wh#W0ohL)$:"@X!f ۙfV3ޫ4CP&ɭ zESo:I\qn[CC^>o p^MbL:/p1]Toctx=By1A02vGwvgv8Ky%peRcB1d;͊)!lKPhH,~ӯRhaR4ZnGS?ĸ[5ĄY1M|٧{͌а^<2п}޾Mtݼ,i%ݫS9qpjW]Ϛ$3,U7d,pm9&k:ө3~Ldw~pvEΓ̨JM-N(7uIWf}TP#)_ R7@tR c{laDP|%~,>% L: *\Ewf :|N˖nI]75au"mmG`Ffd1$JquruksZưBMoxXTDܜ˸mAI%1UȠ++zI Rnr{J_s؁S/[\͔HE.54B.Of{t8&]6O[*˲E k﹙@X$_ Z9x[wm0R;.T"}@Iޠsd:(6f>0!RIl)`Tb_ D eyx%4!t3(źWD ,;#z 5_X.d:t:IP8(”j9d4':е2AL?2=T#2OD ,&B H#}I^aiv՘@ZfU&ÈoLeAj Se>qC_lm/?p]07*F  D>9&)e*ƾr&_ꊜW Y=CkV7p-6N,Q _6 +pT_3<8?q*6T/2*;}KQvAX g]T<)h*vn ?j_isb|X2ch~8|3̽X$n"آzDF@y$K>@'9fQ;yƉ\CaWyo|۶F.;G5.ڃ`1Lm_'s4h?/ݸ^m\A+K)9g 7*RDԗ8 PfVɨ7Jb _JWG)7@rc30uCmݡE8lj='??3W4X[y/Yi 4]u[蜨3()eŒ߭c4"^?=q^oL+&\g7pp|,ʍuC.Ԝק]M =3ņoM1jeAN Ƹ4kiXK$G<'<8|qXꬿt';̮{]f65S'|5 '|z&;ٕ\ށJҭiy:js.:W;1{Ӗ,Tx՝9_%eEs3mKxFC' tQ;g/[4`?GAi ^Env#N'>Gos55_M5ہIFMYvzq(Z2zR>åO%Adb2.Ӻu D$,t Z|?'d9XH Jc =j?!8&Ք GI4p<* vmS[sט4? @Io{m U 5p۶/< S9z;;ƨPAOXҡӯ"BR ⏂ʢhMX-⟫)8 c9AIeN;ݫj}X'yJ<,/ e >$L5 [)GףBi2jvF*t(v]kP/}\*BڜO z=ˌloUt@%v(גtH4-ME0Cݼ2t&Ђ3L5>ql.ab_~n NOq).]5qp?|yZWH~_5米NtnهPJAH:( ,|CqWW]7@['9 ~r$?9ϱXS-'LCN]gWşarIWr *d*jUB;jfW.fbTUǡ-z lXZvF"&)iPG#!N*9]A|Bȧ1)\0?#Ht+">"3JWhyac368gԘ ( "ѣ ,6&$^gGOR|qE&xӆbUUhEus8免 ;,ݵ&Y:DฏKӂ媙s^Q;7%Z?ίU*%zk/N.̿ڝ:v3`E_0X&;f; ?4vp4y"j?7:62$ K8""'yVTy$ e,O^%O, fx6P. W ~);P (*6?Cj N&`'Uq{3pt≮b鞾 Sje=Ɇڥ&u5ʁrPRd[X39V{S,`EӺx]D670kzc%(zim%3SUs#/0d*xքqH7:xdh)x=DA剉o R=Y"OQ3hI^,؛l9Pp01YNgYZ8eae9eb009f65e16340e3c9e8afcf82b3512a884f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 a643a21d33ebcea1725873278009917e0a504d89