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 kk 'd|l ]]Subresultants:threads=2elapsed=71.766cpu=110.140gc=3.180factor=1.537zXZִF! 6]ŗXf1-/6vR[]ߘ%Aj.v=/dM3Y 5_QM|Oz /b9oX#nbxE  vwBjq0+RH з{/jnָc@{@*PbǥlEf ԰n&#K@m$1Eg)Hk-7'6U6&+[ژ#+@&t mPEtQz>\b T>)Kn $FS= &9*M-`>ǫ\)Nh 9vF <;a/d}fp[BT6l3Y|~N\ό]t0 }bv3N #)BW+:~ >}N(+fTpX37jJroYgϺCLAG3Eu33eZv7Xl/)ea]ГV1]D@آV:AOBc͍(c9|Tp&IfLXu|uKbJb]Ԏav `jJŠEPZc4dOwuYM8y3Ӧ^I[@bI V族ͭNÀs$_"p#acpR\«j FPPnmoq۔ql(wBee5#Jƥ?_-sd/`F؜S/ @fR<0y7`g\!6E`e,9 @KueR(_dy\"_+ıgYZ7zXZִF! i7]ŗXi%>gw[c#̃Ln[ݨ&| %/ ʦEQou/qŋI1M uf휸q̨QC.BBW=lc]̈'TGO^Tehìy[~/CK>` $d&%<˨`)4@2Eú0<7n3s;ڢlB:*RV*DYm}50kKP~/I~=`Eu= O]TYIXvq8{$VpV;9evs nV*T3NuMI&+u-,VƮF^^7Tn`# ' Subresultants  @_/Y8yϴQUI~Zze|78yhM8Ut:ĺSQ+R!jzrŤ6"7 7X&g]ggoS|aJVqmFo (@jCß )A"(BSP &s|/QǜNUvƱI\ow'BGto&If7¨޴$JyMvGh Ϸ:iҗKK@FP 3|g+.8DQu n?RX-[$ 4<vuK,{n)x7~#+Ƙc/yƝNt5E׉E 3hXN  %8'ׇXߙn֊OJL]BK}EZXV`N i8Ƶvۇ$ AHSlo;aT\ha]V<|7u T}%Ƭ-}MlILg>L<>*Ma+c͠RX2n\r2zR3~(\p^KBSi]C^a=_m'W+Ta+Ai(Ҵ;hB` M]_>۽h)w!q?J@bm'vl@uUnav ò\|ҝBֵ($< ]>ڔWX}i^ˉ sNNchEW^jZyVw\LS(]7>|0gW4IJdb]+C 2tveà{:XX!n${ÀH7 'SY!v"|9{Y; p%MFh8RIfXuj8(YQRXS8ӝ>^XX2xgIڝ?r.Z'⯣gB7Hvg> 5| tSHYhGÄѹJfr'yYS`b63tE{e0$*^ v;"TFsTٗd՘q`>uN8̖|IηgSIxq{ʣGA8o:%Csk/ ,J%՘lW';?]@aqbK(: \]1\(sԀ'BD]!]+$?hiVs߃G'b54:'A 82Jgr\6yʑt~c;-;+UhqLɮ:{kݴzmUb#6gt Td ֫,]Щ ўfHл*+UM7hsudx%!p WTE1]xоu3\ 9H?Jg(2Z󰯛tZchdBE_Or] 4GIm1{qCE`e,>,b/9=Kc$ QՍj>IშiA >A-`7S{8Z̈́d&z;_Ө$$ #fg%GV0_)}xaE~x6k%xv@X#Wh9ƙxm_ښ|\I)V e;W/KVD>VKeER. BVfB:'d-+0H,숩 QK l0)9-w} +QPx(.~M%>ײY˝Ӕ6Ot7d="EN4Êtކz8兺BhO 2!C:1OvױK( W l6Ao%]E|DPÛkmO|4Bm'x19wIH;̢1~*o8xܐ'h; ~,ݩ9oi zv֦^Bt͒ 7cK: &#9co(LF0~_ՖW岫H /FrC melзdBS`?>v(k\(e]b#&#=]8&8d f`] Bi0cs*:S/ wRk#XK xs6f(#|w ͗gYZ73c4338ecc4be2928a9da88d9c76c8914e859b9ba70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 e526feb7bc7fa8a4ddccb1c996dcf7cbf8558af0 51abeb4dbd3b86d04a030fa0677f03951fca54ec ca47bca6bcf04c6745db803e48fb87bd71fcffdc 9ae49c161251515341df1059a24a9f2dfbef3da43a23f0fd298397cb04753951171bf9ab1532edc9