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  X3L l ] Count_Complex_Roots:threads=2elapsed=111.539cpu=197.080gc=6.916factor=1.777zXZִF! a]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Wă,Ka Fq9&+Ms'27PBO,8aѮ2>'v(}xbcfU,{|OUh=>{ ~4k[aD@u؍ugy։:/#ų[(Yb};m?ϳ@LpQ3y h.dLU&YW.{e\4 Dn8߀SWy'92p(Őb%]JEev 3R\n4OA#E1 -ӖENY-ЅAOm.OwN.-"̞<|mR$9,kK ;Au$yCU`u20ScktL`L=MX37BQ;j̖iHxf:N]nD -4Ru F8?@rE@4'w@m6XFZ%2GtlL#ژb Zi |<Ȑ*Ƃݳ ZTG̴SHɿsiGtI~"c^MX ë%)]nb^DH]GîFlWDA`[bEq$7lې6ߟ0S7ˈ*Ը1x_cx-BO}ㄶ !G?!fi>} W>(o]!fG$s~Q3ʑlܚHgP~<  !l֩_6;<|b+ F.ﴓKYfa1b'#*,<s%!Dž)BޛXQsDGToJniG\>|Vd85LX2V5^ENTx 㳒ZA{ P6j9Zנ-[ʖW!;9(~W w r/Tq( EW54#;[lм"kzPMji'c`$PAQa=cдMn5o琮&%G>L(:UmCҔK6~I_;y+yY(xž?enҼEi4cF<&ǩ[4t˫Tid0Q9b:&Iw\O;E8o^ۻ=6VEA'Ux4gNjwG80YwPwк5s.*o}&pȚdqO%!X2 !zQ_"QEuHG>Uj,xHػ XT,iŝ'^${C~'zGiD~)3roalV 4o >'ʀj7oD'l='VD^/fZY  vɶ8}ZNi_ӕ\>Ž 籆Zbf?@ITgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Kog‌i+bYdYCPRiُNPEljO%cOa RlDى/S!vj"=}}[y@9gRh|qSrMj <%(ya-OS|uQV̻[E/!>q~ɬsPaȪ]ݺQY:@WY3Կ`4$ hvľdW ]B|g(rIa$=|+|btE0hIYk%'gI|Ah?uЗ;&lhvD́>ސH{g˿gZ'ߛq [*_,:xVbڳBmDfشT{̄P-]PXIӁb/iv鰘 }SHrҽ]ugnAuk-j;}*8|{R%#eb.܄d) #"gYZ7zXZִF! ]ŗXi%;Ŷ>Bߋ1T(pj~<2brEF{8VMMlrzw2ќ}Ug^(Eu0kGU'# Ȭd 7 X3$}G4:{uLl/ Ap6de&4ՒPf+t/l]4 ʈ {nv́=ЪD.)m VG~ ;UsBЄ[GRU [~#~^ﮫ?!pJ2|YZ4קheո7y҆W LP3ϭlt0dͪ?ixZE'PZXr(xu<+\yНm{LnHP&NC9w?RT7).A(^50̑.4]u~]2$xtdo!AD::HCSunk"1HRXpb uD&#Hz:EQTI¼X"/Tu|g gc_~M[YHaduo6@Z:!anu#dO R4 6GF+u+"xO(?; R Ė& lEv ^RH2~R”2ԧ>mN0^q)*vms7d#^Kx ֻũqfOR7|ѬViM;UKa;6+fDVHzzqC3m7bhPFs6'M ڐ`_Ae[xz4+TWA "'VwO}{ IU5?ڡbN ; ]0( h؈g%B-N[Uc%g\گP9ߟeDg,F-*PAԎa.?l6xR$vw۠vp0k.4MV+}ya48aS>)0cQ9BVtwwGnړ'8' YXTtR6DB @RK< P։+\B酊l]o\B6$ɥ}jdg~^$+@j܈/PMgZ^ghDip)iQYJF_Qk)]&<ʂbc!ʏL7f컭/;*XR81<5j¯r]'?^uX<ӶRp]xWixe l?ʪ9A°T%0xwj/ uj$ԨҔ=s;HմGp-TB3N\s\+ǛO&Pй_47[Ztl&~)c)աdw2Hs`Ӏ7Z_j4"*sĢI:oGUdM`NbJj[VD 9}s"- jcw :1H2+p:rRn z)zMk#+T odp2M8;iθ42>&!I0r!A|;GU`Y#B_uZD[#lfaln-@ƌ'~0Ԝ `̓cfk>e`'TRA}uw%ÊF/&i:7!e {%%sgQ4;?#AlN =zߨՎ|{AL;e\`An<=ّe9l( y=*\˓Y ?zjr ;dԄ v3_BR"  *KtK$s 30eP F𘆈4-6`*X%ʨ*wP';'%Ddck֫Is/|.[QU~)/g% `g/'H躴cEM,RB? CK.Z~b#; ˩Ahn+X!:e:w^C g@spjiaTRh??W;]!핃J<ҕ4O[q[n>0]n8)%:m;(IzkM8cq DPy A GRtJʸ^Y ]xTMۈEgZ^L~ܒ'zsSqb8~vw dD(vG ElS/,o-i$)hR6ڀ W˵"B(7bA<p:Hk]lB\ip s:cʘ-_ZT[3aAϟV,(؛:ybbe> mₚIRkh,?5zyuk7ڋKƇ/dDxtIٜ+sU7Cg"]W s OrEY 20@Ju}=HMYy7ϛtM6R2pX/❯% -&3G)i]&Z>(1xަ[ OQ.R,yr_4 g-t{<vnR4 5j 3~5 UY K#bt,˜!)ڄy:0!fJ;T6М>D( VUf7@icq0Ϧ=Ti&QۢšdYUŶ.4fJس>ÝjH沖 " fIsX )KU f~qs#27e''KD6} $M,X,Y֬"cieg=e@>swPٷdjӔA WnZ řub'a2GWq t#kcXÑjd+;+8gÿLʌ`P$LOd_5V#^ K(Jg.>Q8- A)O%LKjxZF9JfNBs w&3:ݏE .85&Hmⴍ.ۛdQ1CaZpofDJx ;jN$F4qDŽ*2+a◷[>JǼGUIHbVtUTTJAЊ|]\=/n_#Tk'|%2bePZ{-֦ܽ)/]J ݂#Lg>rPd[I gCXׁ3f:+E]\zm&d"b;ہۿP<gd“XltI!QIgU]0t&,=*"ށrM}QXHKHHB47M4baҬTujRoujڒ꽍)Ctr؎у@k 2{gYZbb57eea8f15fb6e20d0548a0ea6232d73b61269f79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3