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 [['T| ]]Subresultants:threads=2elapsed=72.044cpu=107.656gc=3.256factor=1.497zXZִF! 5]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoD^\L,&TN-N=7I}Q^8a[,3$`Rwua 84c<ďwA³H.%zWꅆwTE"bdӢ>awC6؎NYɿ[EhO w﷘D) 0xژ|3fm仞zA$A6Kq`EOS-gK. v,-fUYT H5O{un/\ 1ԀnX~[ Uj/KQ$&bf?O#uwk^s.邞7@IJ9@.ɣ ,N&xP/o"1hA9dApg8 n U4<*۪ Ds=*|-"|sl2IN`P~oIϺHyqKm#y C{h "gQVHߦI X]Ӱ"`w:0U~p}\]#)8x'Z:#6`o(#[oz F+x+a|j ;HS`Y,407JYߺ[Ee9heoy;w9s0pgJa 0ٞbnt5E@iU͏*x7ɤ ..JnOռHU, k`kgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(C +2` {&f/ЋTs[J ښe |f2K4o'l5_r*`u]ĩpF|% @ cpa4y#sCY99fm YRx*mU`xH -rao8+:F(@iG—sP1WoD,#T/c୛gYZ7zXZִF! b|]ŗXi%;űOh_gtf oZa`h%׮{,2lwi1nl/To1Ee5=Ӭ¯"Qi'&QҒֵxmWyzWwdOv]= ǒPG1L)ԄuD$8lhy)WЖEGk[a{u ' Subresultants#kJE{c LL&4.ezE<2 ː IltL31f*8>5$9MCJzB,*N:xrh&E66?R:KS'ϤcuGC;3_(gBfucZԬKsU<&\6O# 5%7))sxz _MV\@nyt `g,!2L[q2o(&[gdȨ&hH4}LA}743QhN~!ioޭ>5̍ 8D{%<3*W6A7X0 ʝ[\ߺR+;n>łջfi|b 'xaVmww-CiG< rN٣y1/>]ˇfQ!8t#HƀzwPqxO<ԛ'/ιt@XH1Kԋs.&%K> SQi)z9B/Mp7Fy";z.`\3BD*yP'%3!VQ.?ʷY?<{JWzڭy}:c:_eKg ՒPfh@QѴrF|}g8UM&~i{[@h &d9C1]t{(1[(8Z^GD G5&~)"Àgg8Oܝ\#ٔVs5;WEuKH@duu]盜h1*yz~NZ|ocQ*t"J9#ڋ.)a|=Nb«<}d2K!1l&vu5pk,{W4=ޕ(,ixԐuݓE&jq?-6I6SdY@;63Li;*}4簾 /VFm @|tn$$'3RtƁ4p M5*V+)]3L՝dڊ1l&lhD&ލB[FR^8v6Ԉ oFW г̒+,`0ur6D`t{Ҳ2n`5Y>#k,y.3 pN3^'mo\eSYX?<%m4z[ _Ao\d ]$ǘ6:sQrcYwfSCC|qVo rc; զ=XKǤ=L~SZ2ŚbG#.S$V1fH)+(=͍n#3{:;~&Ԡi\D7I Zq; C$7ӣdh7bpE%24I1?A6ң-ou5+u8ZT㟢ʥ:GTޓhdvpT%?;;(FFA,4d3lt+bQٱnxns_ N