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 >'T\ ]]Subresultants:threads=4elapsed=76.309cpu=174.212gc=2.528factor=2.287zXZִF! Db]ŗXf[&S zύ) !;>N ؜%fC,6 (~rL rq&~@p ERRN V!`ٖ[ Fu˾o p&D5(``KSy0?bŔcp$'#\JT':d+<5}BQ6邋)R ۍS Yl;#%bd(cie]m_(GQs˃h-,S'& DelAТt"'}3k* l63Y ^ kb٦%:}(/3?hx:nc?'6^s0A\ӡ$mhVh{";UȒ :7(]$6X;΅tfԫdzut^݄ j+pvSN3MsW5#trE?bt֭F^꥘Z'Ӡ7-p}ST*z'^5 Of̞[.Nd-"˵s"`0]QEvJ `c\n9O!?i:؈*Y6}K]{J؝X-K;[[Ѐmī[opͦSte(ZT < N ?7ڦWf`&е4;ShY&9zڹȠ!P@bE'+Wr|8dK6TEVT4o]^u@Iry!UPϥFD| 0Wd2oL1oWr/3! jb?l僬B“AV[!*hJwt uO|{P@rupdZ0r2$UBѴSN Y.|)jI8R$^ϭ2>eZXDXXHW0`EcȌwWbZ'T6(^# g4㺔]cdooST$Bb Î }^~ή S+ f('1L&4TNv`QCDgDj6קRZ $qrJzz jlנEa\^?`WFH;~3tٶ!6hț'769׽K  gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(v(Xx9$82-|n&-2zו17uۓ,M ?X7"P/AGύ"v܄_rJfOh>L倽C8v_Av#4yZ2៝b|QaR^T\T-D|z<i{ 9|jI(= ONgYZ7zXZִF! %]ŗXi%B4MHt&#|bh+4ymZ[o>MM䁰gk]6!3jUvF?qW(L8HW>^(Fy e'+:,cKsL/$; jӶ|{~>"$@Ѝw+hR'̲ T`]=+y eNBk՚7 *;* $w|qi{Mc:cQ[wjG-w |}b[rw 2%N,.ih[3GL^݋A~fjph@?:?Gx.>OIԒ!~P"=UTHЪ2iF#9HZRpioK鍎 n*uo8@6, 5l`Dφhp'C˵ (J.y9 >ͭ]<,gqf4I2ܺ DBL4}ݿMV G@u4@_db5⠠zI^ncW#ܘ/qPZ| Npgl⟨ݒ>oXӁ:*Bnŷ/:YgsS ' Subresultants  +65L$d нpݪQjg1d۟UDUyC+|e*{ 5B4jioaU*xֲbEc&Wn(aT PZ#By]-v@w*!wT;6;hd]LAJ:Ƴ|@ĥQ~0Wk3"Gs]EB f(gz#Ԍ0 EI:H}T~irH}BTp%2do` *)ؗ])(|?_á`5y#I`M7rs6}Lȱmƿ q&_w_:!4KRc{q DtĔLmauՅ!!x#*ʼns2&Tᤁc0vhbxT|j-I֍M J ])YW:d*`8P̙J؂MZ1moՓ;B5q3VezvٱVهw[sHAZXDpku745$ eӟecH7~‰)Jv.a2OYZ(B,9\c !J2Lw Fǀ}D{ .+@b+Ϊ`,`|sIN64ԸmbV;6(p<#FSɞ ST7xNh>6Em^iٌOSex^'4q8"2ouxpwш بus`5$[I,(@nO+(Gڔ8O*!km-_E,#l )sJݬ';t4l~tp)ߐ,Iʠ2h/`.E ~(Ie`IRh}H`6A{ERpg[ bW 3ׄڬ9/[O4mrņE%jAUJnN H~ ,6R NP%j!%SUb.] ?=ޥn:6ŕJx*9L?㔉/g 9Υ1jn,_j6 |a{:Ѱካᨋx/C7>ѰQBL W'bx+Eil(֑ƃUh}ppdheCۋwLyOH } "Ƀq!{SFg:h颯:Rd/gGwz!~@7Wu-wFFЮD*dWJ ;iIBajsU`Vat4b6** U}XY|Ä;@W.(ʫu[=un^UO A:PE]t}ĦiQi^rh SN: Z/)!LFZT}n%ooTl[79ou?Ю"ctP|~̝ؼc [j