SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 j',\ ]]Subresultants:threads=2elapsed=77.420cpu=120.004gc=3.168factor=1.557zXZִF! 4{]ŗXf[&kRFz9X7@Q3/QUdT p]O,yà*%M1o l: i4/?#QW z,_`2) (MvY,TV|6FGCSv*Jz fhKgDWxnxyHdXNp_v>]y/аs65]0#_x.\{$ªC yz^~\=a@-ͣkUq`ZH5vcM s|`\aBC:-<ojghVKã,0KGRu`(;PE^ph%e\k ʳe-W1-F4bˋXʵᑽs}n ӉTu8!:5 uꚈ ERCgB m oT,\kKj(gR:P5aL;godySMe/(AK ^׮ /ҝ5e"wK<ԚT¨}D&'vu?+F}ak54rόoks{LtwXlԵ;&x>:5C:NMjr;(yӽ܃<O4D}|24n3b$zt Bc 7IK,Y {<❝~"bpSÚ{t b@ ' Subresultants  59ƟF|WKc 24'6|d%*LAߘmCJ?NC|8Gx9l囸#+me| }a\*ۀ$LEp_ dB8*tߏ)s$H=oKQ8HM %NX}tɐ\!.-ZZ8y4=*yq5MûZw-xظSoߝf oU n 0h)t ڮ6(zFX6vҵ鴠LO$:m\ /Qh76i*X?tu]u\k 7^}otՄl;1ۡYm0j]SiR*,j\T?N8\%A,w0g?i`9Eq.On'yk˴zvH@cf,s|s ?zÆ3J=QȠ\k;PH/3WL4`b,lJn+_SVkh{msPG3+Z1ZsDd]>ar\)sx-KG Jw<nQV\Z`Q%͉"ǀ14HAAV}S:Q;<BdSY50KL` +OU+xO"_lڥ8K)#x<˓_*\c}wrL\$A7SW,f]#g* (.Zb L!.>MYYK'/aXuu-<0z5D9^NވZϣ8axsQL]\ޫ6&gE<_Yb :6 +(r,6}/@]u BJKM YQ% ,o,C%Z `6%JI3w)StmK3"] ?@J4Ԧ]X]H6Sp®bE#zW.ס|ee_ӒA}qnYR[W`h,ߪ/ i#Q-b#PԭcNF=2UP!>)ӒLP⣒t@"Ѷ(|9D.ʌG"7hYb;L SN!l _<V!X$S7ΏA,>atcĽ6B.2#%nT@Cl hgӬz٤Y7芰3g5ߪ4U1%(R_\;I0(hTLk&HǰB'gЂ=o黬. zk&;J+Đނiy×+3sv Ľ]37Y@|i4O%SD5}>EdjLuCr`l>5p[Xœӑ* ?SN0d £J}]>@X۠ S;Ծ~2/ZC Sބ Oz;wlC`IBJ+*:"Dp'yyS0 Jc0is`qC CC9gFSfO1љQ2Cnh]-|z ֘B϶-!UBi 7O$uK+'^۸Zv݄{y ;-}Bw>岛gʲ<ʝG$)Wh88΃)9x~0v (t,CYշJH49"حjZ /~d 桗nȆ}Rg׹bxa$%їRr™ kI'bF.jUacW/+Eeb-|F ߠ-4J^OӕB3nhAgeJ3aef50$@w~{\`ڐ̍P;Bwк}zKnS$/gʝ:Z'*Z;~;l\g)=U=` z*vrv.L>%>OaCK`nmh܃ cܲ*;Ƒ mG3u]_.K֒SW^ "k㢟Y]BO a^!zYz=ts#7 Tdbi)N #mY jEOZ|dQ!{₴cáqj'-Ċ,&$} s(g q]tx s+DR,n鋹YX FȲltؒ&aJwӷӱ~2:q$45B}?tH ߄ÅЄ{_b STvB34;F<2EN\ -2O'4ȠiE{|xm9):Pl5R^ ºQ<^aXM$<\hK(\ߖwEB؅smQ'hP)Y+Iiv&M .d1QE=`$+"&25'v }*Bߩ W+4`rYX3m g!{s~8o@jPr2iu/ 0>'{hG<Ba{A2ƼtޠB}%^Nj}۰g 4̗R>nV'^BĈoԊe1Ezyڄֵ1P8o>:WI=kڌ2Ѣ=X/9_ChECͰW F1J$#Syton=gY9DJNY5#E -mp>ɢoWM:##ۻ"L eB[K"ku;\Sc}V%OI L IM/(b1[Ҭ2jJka^b}s>_`2|+ ᮠErHo[}LjWDe&%M6(JFkEB&qW㧡X5sA$M&Xy;XB\a4 SP