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  0= T$\ ] Polynomial_Factorization:threads=2elapsed=52.696cpu=89.380gc=3.308factor=1.707zXZִF! -b]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj:2DT3Žs|w~32TQ,4A*A5Z>K}4vm%q{k/"1pn);z/UhG|\%8˅W49U߲xW=͘7pBʌ^d o%wm _;j5NN\c;4Nk)vE RGY/> OM˝C섫lg+CY6X"ZiW{*\ݜnkvuRKsGNwLCBk5)dƱ}#ʊ @)X̥y&7E(-ȓMcs&#<8/kv!Y.@\D-KR(^zwYE,szB2uNHbUD~GZy~u,q6FR,X5dn|yE3䫉QPtqlǓ{uxE3m\٬7Tσh}/{֏˥eWК^8-shv(7"k9pV0䛘tws[PvgYZ7zXZִF! ]ŗXi = Polynomial_Factorization  ɟˏ "B"V[9*⍱|N7)[sl$M`(݈%S 0Ÿl2W=})ɔ39+N!fS܄c% La{ !\;hpxQ-!i5GJk[dAXimΉ?qP<H)?\,=8_uI}ѮFL%,11Qѭg!! JX;xϖ7ZY[4,`l ϱrH GEZA?M6=~tK"U ,NXb AL gYZ7zXZִF!  ]ŗXi%>g z2PeC'%jQD {ڂċh1@HR?l͜d 37 )Pª2Toٞqzξ?c8}bc>)q^T.b: xwvH=Ҵ@ HBC|ff|GXKZݷk2D˪N"b#nmRn/휇l4 e I"{#]իPMڎ\H_)e/HZv{OkͥySXSgXI~_@\>lD $b:DrUB(G"Ҟj #||{HcJHH*9W6_vI_M:yiYBWƌa$Z}GIY>V8989ֺYݨ111+cf:*~4jk?tncc5_^Pf),Ԃt*s&jxi+#,2tBy^!ܼrCD+qNӶ)2`|q{^H )n(4.i(޲nIleԋ:sIV'Q*&5lslx H,Z Vx|*?i+!9s5x=h|@ȧ F @/r E9Y׎ǧ?c61N̵nؓjT9?XR_rv󮙝v7ݻdPxKM1c+f fY+ꓜ筭T<DDd^}u7dճ|l#yݗwmcZ E5f?,wRo&Oq~ug cvE)Hߩ6HY\!ڤD^wf.I!|ߘ9ҽ˭U!"Ucŧ.e oՕ8I-vX&S{I,Ԯ&4J4yzbdYNǫ+l!`G#8imCSP '~vrMn2weâ_>չ<.Ԡ NְR&|8\C-\`~` Hԁ u)ItRqµ^h/62>YVWF!lZ!@cUXQaF-˶B*ޫ$s+X) 0#m>ɸ0mZUb4VS.froΌX:s 0F}R.vfW78 ÝS0TU܎Ч㱷~.]gz`㾉e"2 uֺ.,_{R^eQP<8D#QM.%`nNjj0g-}u;t[ΟW#x>m>x|D*;H**Vvoܻ @Qm/۸ӾϔQP^P?]bv[hҦkм.fAUZ9Ux-s0$sقn5/ G d"Q䆭 \~cWϐolw/w^ &QH*-ƞ2k|%kIy]/!sK1%B;$[sSw)ż2NgfU,vF7E̳2ك侅{ 9iC-JoSp :VѵqٜV(jK&# 0q~M1Y@# ~uV!2Bdf ɘ1JhT|^j`HEO0Df|K-1vvڽ@_}Ҽ##Թ)))v`` "Hǽ$FS.a3DW<upH!Ń7t6gFT[Clc (*/P2,d:̳\u jtqC?vĿt(ウm ĺ;[ʖݔ\f7Nkֻi\>&`|V=%AvaLugœWiUCr^(ĒwwheIJ>qQe]o5K'5_,m2ꉐ7#yVbyPtELNU{X'wA.pf$Y' #TJhƗ:+DXWmMjѻ'H"D`ը!'8;%&WaPt{!ˊ hLjT:$r_2UMmqAuRi 2?"LE+60k{'_F-Os6#!71;kEJ"n=A6jF6swNI9d-u~̣:U!%VhJoeF3 JРZL-Leԧ'($(ſQU!{6ψiR^PZ>4TAֶ/] yGOd{K7oly~gYZf14aa14b3b348f0f9a6b4df9bebd7d920db9c380a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 e526feb7bc7fa8a4ddccb1c996dcf7cbf8558af0 51abeb4dbd3b86d04a030fa0677f03951fca54ec ca47bca6bcf04c6745db803e48fb87bd71fcffdc 8ecfdb2e2e7fff99d28963d90b0cecc799bc3ae9