SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ll '<\ ]I]Subresultants:threads=4elapsed=54.379cpu=126.512gc=1.824factor=2.337zXZִF! :]ŗXf[&S zύ) !;>N ؜%fC,6 >;aK~0B,ݥvBjlm#%c*:`,b7=aͮKY~j>2Rt _tr!͝RNM1a& }QO~a|LD@\U1!„f omzBD8kࢯ4~|/Lv칬cT6>H|#q `-- /|9$>o͈sa xZ6[wOKR"zŪ:XQsxG? V_1vPd˂,.'ʫtTbfDh> d{IMhO<0J l=bR<}e~cD8eȷ**ͼ)2 \zF0ӆ9;(0+@#2wؕ-#xeڪ?`yU7UXsÇ 縓9T}}d~DbxÏ/" b 2]bcW4aV[BD ~t!Kbߔx-&x7 ]nvX9? j#n~/bˇD0&÷PWgf._ B~*6.-~e+H[|J-#A(F|XJ0ڴ>hǯxca؆-SvpR`M&6^<~1郉D@T9h)b-Q`$>V"/+.[EnfvYJha,$y]+39젾q0W_ :F1驕j ;6R ߃#WU,FZEzF.ÜGЍ=Uݗ\l#I3< j83,ʟ&\H~YDs13Jqs'u 7x%?!ޝ`5@-~19~@) sVH*iA睊:O歌X$X2`MG 73%Q {-/^J~%/b%'lؚahyQȲ:sQ,h/EY5P#1u5/3㣏 S_ m% ׸MFw͍f`g!߫!l݉ݯ'b"f6JW(|v_ upwgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ݕi_+ǍCz{y)=`4kg$K{?IKSȀE,hI=//EbvB}90 $!c &\NgYZ7zXZִF! Ng]ŗXi%B:b)C>' Jq]lJ{^(P+ozƒi͟ySޠIMH8]X׽ i|8Ln 6H(A!@1?W |u8mQΨAuͽAt 1?p(V{3#q3::y){9 p!j,tۑ-x7) =ncYdqY1H 㽚웞1z64FYsb(ٗ?,U4 /_ew 5%(H(۝" p̅f2X_k`B2w 4Df~J4, OP]k$P/l7+|VQO(0/Q'CmJͼ#,6(fwD1݉ w'%9 dc x h UL* 1'cI ' Subresultants  6i-h6EK?`@oj;UEIF?(|>j_M'K~澟7D#ycU|K?N( ^ XaYlI$K/R]IJ 3FؘS10<['GվHiWb3e uͭF]rO57# ¿c:85V9/ѻmIMro1^{FZdXaHό(I#(5-Wopl zqm"I MT'WI-p3s=320ۤ%*})Kz{ryt3Wy玖\-1e(XWo8?>9kϥ^+^ !f n۲f\<,Pl  :IN[-s?N`Ji0\+/U9$J4L wF(ޤ|,CPZ,{ovVnKX6~xȵUZ],P qbԗ[=]QaܺCIM2,a*tQٻ(5)3/s)$hitGpΰ)k-Q@L/%R?EPshGE3$WM-BGKo IJDRR*R]Fϑk{Оk[ND~;N&kp@8S?8Ds dK:q V8 GSFVel̶?a>Ypʐ?$zxD SS:_L0B,L=ZM0ӃdUzTŕ}_p٪˨ KXŐ 1djJ+Z*[kֺP&nuu'P n!N:j(J6ֲ !o#KX ]Yt;8Vr,6v^lXBf(ÞBСI$ˮoRDz: x@:ː@0wy !`ɋB##҃+ħrxW}h$ro є}oͿ+FLam.2o\)Wލ*$ũp+R[jL+VAqu,61dL1>=Eg]vz1[RC\␛07Mzd{bZ{E$5♏GBsxuąBm(MF[ԇDžF`7kr;fIN1Xys"< "u]ք4I ' 4 j$(*9RL#3ԡ_jG9\ۦP˔qyy];D1K,QN٠ -;(]JY%{8ѢZf;rdCvMsMj~^!Cvr{ bٶ!g#|(F}ލo4}~QP,Rk,6I |QݻLkHEBq5\&J޳7`EKe(sS TerLBTW +Ӵ'JجYh?ܺg j[08)r]=w/@P~B4чW;qn}lZ*U3^[^bqkaU7%De+2>~ςXv=¯b=ŧS>"\i79 `<ƞZ8jGr6\΄N@Y;rsSX ")XJ[9ekgl!sfµɽA