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  a a3D d ] Count_Complex_Roots:threads=2elapsed=108.845cpu=200.124gc=7.668factor=1.847zXZִF! d]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S_ /q4BSONrA|^ o8g]вIppC!xzoU-)Ϳ8OF?Kv@} NûJp%qexƪ~1#`+ŪzWV"Q;t+D}> YՓŌGSJ8M)dM_@[;-[Smɷ3o[䟦ݘ=QV}rV6V&yf+{*Ildieѣʵ3x:6_ЃQȌ!lX0zDlMBDQg''Cܞ=S#R7U=JJbNU{**jA:~)eyI6@1N{wE*B0=Ȝ VlWPɿ>$a}j.u xFGNl )KT\cGj-| >sNl-N"NH?ǜ.C9^`_[x_ujlݒ:z8ut$×fE I(HE] O0pot\*另!*ÏY m`Bt8Kۗ =mg꾘^kmm-ZyI:8U]ٌݗ"heA[Et@ d[뜏Vs$~$ WZV:i,3NHi`KHNCʛ8ouq<~kUsȉR%{5ɺ'_Rbȡ?VGUPY]^gEE'ln/HG-b hKxt{3Զ GH-af(5%s󣃀d(^इyM,y*l#a>'O.&rQMїb*#eL*%}+:~X)mq|q~0i^Lzk L5[̒F݄KMu}O;U^{jlW=kt3OIy.t2藊R5Y3˿ \O.'` N'+NE7W)lM PXW/ѯ~~Д2bHϟmoSϨxuZ'qWYšz*D6"*H1VR>s>#<ąjYPL 4лJ"?~ FpY chgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Kowav,TSysEo)5j)'I-O'uPi;r-m2OQf(eR\:CoXQVSDpC%n_|'`ke(];3=|EVF$K7XlJRC˙l,wɟsiQ09o :yn؀%, -kBok'NN~ԗlҋ)1j<& I36 |H!4>nOR[t`[TFv`Du*fUBJW{!~ ɔuhBhfM6Wo֦ MKg0)?MeT1&*(Z% }(3:GqTM{zܷa'u) $,{nLS>^~dw͵BVi39-I,& > {gYZ7zXZִF! ,]ŗXi%;6ʬg\"vb33͵)sz+wNR>\IphԽ57deWq*ͪ44&;RZ;@"s; VXI;e3%d|d]* ʹKI_p<2*͢kջ|VL_(!fNiY\FWt ea7nd( p5JHб mip/0 ;,{BUJLa=:`bB&:n[E>J(+\a 9/,0} l6%%AfC RBckz~0~_[pZ!S/>Ŗ댟bf)"h>nO4Q5вof(d$Éx|j`f8`43*$JqϐQ,."pVF U6C8D+!tI6C ` `\ 5&:e${ #eǾju#BC'f)vy ]!C:)u}sbᆵ(7kdZDay'~I4!}( o뭘\,޹gfnft%xHPR\_qT}>ta6Yhc*';i+xR8&QKW@exw)IENjxUu>7 +DOlsIc?'V;5頷Fp:\*t*Nt-p_~>mvD`mF`F̼amofLE\'͵9K/\᳨ȷeJ5/ yrQsV_mTBzHN_T9tkPi}!Am\VwdʼnQhuWfa Ժ2ͪE؂b1R3}Ó0{G{dB/q7PbIXUhXj8?JĿ)sHZ*w 39yPN<0yuS5DhN'lUݢ*%8+Mժu3 uw|18iT{Jk7(ChQ~X{^J.vV$&ټHLqOR+L*]HX DMVE(6[.3-t D^K_hU]Pjp#ipq]J?; Ů\W}C6:B3΂-)՛VzLLZUJLJ5hΣQP+jU;p-656A9ؒja/o1v 9Ux׍^{tVgB,n^'vȿ:y\ҝ`vw-jL1F $ЎK5&A^9z4 K H܄l ް2k 1Wr5 #J@C>Nhf <f`!T0nr4zV6R-hϧo"A*m_׀pm^sEX"X*Ϫ jHUթ@) RfD I6\谺C 9/S,Ф!U<:xXIFzDy qgz:^4C5SG$kv1pW.䃌Њ_5.UoZ^З +$f-JX};zNf̽cϞ.4|4bGx {?ֈ~Y/| R8M:z'är&} Rvՠ**&@A8-Nis3,К ŴFglC'jඪlꔝ9z-`=-C܋(]֩.21ptz/T]]v)"+zfQi VW^k(M=s$i'~'n V9)y 󝢩"/dmrDFq1!Z35!5 JUPDDx{,WA1q tFj;Aǜ/K@>B8e382%ITBi]9tF"et@?k1/η%XU QE~jO%L@}k̋+Y7n\S> Ά }VBs=K|>TEbdN3c؆kE'4 iair8MŇ&@$ `GoG(Wm~M[L]zܖ]ެ>S4o&jJX\C\*`xW0VT 1e z/Jb?u1&Kg'ځscz,Ӵ@:ALHd֌yi7e?B }k,DܒL4'1`*7V{kHI^SG\8(׷%ԺN$K2f8_FJ-+\DLjH<۵Py\օf*40DiR7((˶$J7w?-(6Z]UhC01B˫4njlNA.! "DwTwAՔYv8!llrͪh婚 U54ײ*SrwNZ&!|.>7|,Lԗ_R HhUHàb]*k/ȰO",2EO2DŢX,nHcS֐<r5m3ʄMX(fRͪq؝c4Ly-xk=$mQ'ty%K6aɶ]V4jpin|OxZBo/gê:zX#_91?8tRdp[7{{0j_ $I6rBMu%Z[ʁG X7^`"-("JKc\0r>P]I# i*bCgƃWw"@ZX;mMځX~ChRV1<QM4F36NI1JEVCTZqZo5K~gñ\]ӟCSfM8i&b$d~7!Ro7 ]ЪNdAV'H)] 84[F)9YͰ4N?8QE!apBQjn _c鿽+R]΍Q9_`qi@}KhEcB&I*>[Lai1RI@MģP#\#u)u' <_9$ NⰙP%2 , ʲYˆz囬:;<*UZ´[+Βpaa<*͏ kV$>?qC=TOzkF O*>&-ea|- C|lG *xQWAi=OաȞ.Km4mԳؔ]4#]䥩ns癇 !=ƶ"oƧf€ D<G}Wdx$ޢ! տ{7/\L̆ zhhEm:WL Cu]p=,ur_վqO73AH9<>rj'_`@LVT.,b}nx4p^tcX6Q4Rus=~(s\!˝Ls7&O}:WTWw7vz+|&\)HbcJX]mWeK38 `%Ed2$Zue0n}P9S6JC/`vl7e%=>؁J`,7?l"mz(B.:v ~ x,lh|H1W"ATr>"`6A/b{`X[ׁzGms_[ln6&{l7$Eb]$`qnǾ5[k7W.-H h*ЭŜG,h