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 =L< ]w Polynomial_Factorization:threads=4elapsed=53.503cpu=158.476gc=4.952factor=2.967zXZִF! G]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} d|^ p&TRր~V9t=K\wQX,d)3 я2PY0?.cP-O9mDj(#sEv(j dqF謺@'J$NG;L|yeaYN s֢GPZѪ2C߅%'i1(*aviET_+3o'nЬ ESӷJgpݤP\ԠXϦJ]?r |4jbS0Wahᑲqڨ@4F8^ yЎ7%Uu㾎8fĢEKBіVbHFsP%[ fS8wDN}\K9[ zB#Ddg˳qxۻhқ-aЊ18uf/D^f׻:u~JKr$l{E읾65z!ь"*Uk&=P iYc'Sp\t"Ԩb49KgT<FvqZ&$: 88""BEtcBh$5:-vHb'+QRwNKROv)AD)uW4Uq9 P|Ĩu\/[ Lp̌yCGbS\i7-p3x5ypo%PCfW 57g&c9DaXYTCg̓9VM lr_va'َOտtf #!jMOP d.VE;J)xSee%:Yx=4IJּyt^!̾7[5ߘAhy-Ճk Lp\6ZG]VH!RK'±SB;)hjw2<0DҮ:Kv[:f>{叮j8(F<g7EB.e]Rird:aa@sFŠ. ʃ&!"bތ#Gƶ'@Aj nxOn)"/X$@xbikEZ@vA[c~YKjKSa5J=9 #$\D`6j~Oj7x{X%ht{'mm:(9\B)uƴ`H O!wIL-նn}BR* x&UcKӾC$}ZGNT>=#ozʻ% 0ZcRKyS;4교qvu4l|Ga[%t%*u㬺DA1A̎q:ꖛā e6䧽NUZQtlfIjoJˆD3a|oN}$ܽwc6g-{nEl_1n?}(h Ƕev2pވA@%Cc 3 qV3V>(X fLALLK8M:S"EHF7:/JN("Ngya7< LάeEivR {WEĨ +$ 8u`!M{~P;D˳K!W5p#@Dh![yܼV4D@\_ؙ;RQ,zy/ӖO{iK+MIO^Z^Ɇ#5RCqh~K??SƠZow^4W{E7q$L,]5Q%h>;{ /Jf9\tibRQl@LhZۇąR :.YSr wmT>W5>~MDoޘOt# g *KTY}%7~HT0"̊p"9s޺6P:i#P7/@RH2h6mjօoQ6ޣ^xGܤewAi -sjk0$?Pޑp1Ekd'̔M##Ю*:DKNY4HS+dm\Pq 1&~Ɋ# ?emOMP(ٌ|y߫/!qܫdc@$-Fӿ5\&Xݰ !DH:uq+jh/ʢٗ0 gKp)Uw"ݝg/ /U *J|74By܆i2 , ,4< P xňZka2N&FlִIܑmY-ffj6l ީ( a6 -5ƝW{ (M+xؒEo9v@nP5~9 S=u,"$[\$6|&'+ܿt mNa|S=YMv]̬e'Oe =1" #$&m4 4bX^0Ahpxx^#kt,sEHI~t-[SV+$ kʘ'@.!pFy}}A6Vb!|/K2r*𗯅{k+'#Rex? Q׸E5Ehn'61:\Rgv/wl^apX 6cR|ub8goNT|K, W>'O/1Ct`cB)gOAبEГ\ 뾄@$cڡ`@mon.>Y̒shͪz`1c#|Q R $3c9 Q[6LAqX%.ɎM-I`¬ĕe(J;k$&۵"*dK b;!dyORZXd|/K^B}3)U{֋㲅g^kK"&`2^59 +e XG2ͩ Drӵ/4CŲZaXLR?O#\Rߡ n1] >W`Jhx&nZMо cU 都jÎ)U`@ 譗I=UF11Vm dg3/F+6^p0UQ;V+^dAYK rd0Vx [ߺ\^htȰt9Iq3%ZP둂{H;"(o8P,JRP?SU:QjŒ*jf%Fz[6o TœiM]T"u?UBT34BXZ#fTYڧ#Q UcY6tR=<! VWz92~bKnt=|'`'ڟ1Gr]_8QIREnw .6"/UG]x"u@o$Q :?p+FWx}Wl[%ӪLi2Ρ.jp_sh2>`t kjxo c¸(.cʃl9 ~Fc}JOӗ䵁>$n3t;DEɷ5ǨM~+U_̈Y`H̀S(8H0| <'ƺ{Qx+A Q(ܙjY|EYßz J`0ٗHC(mS.-4kas y.B:݉ş5$hzbz(D) qG!ok_YCeIYUB^w31.%gt ^Dw `H:}V(u"p{Kb(k4ɣ8VZ`r1&g"PWRhb3#hUSLmd1"ҧN$:ֶݲK9}E5Xt^E"<'7ؔ']N iC}\*%{(LCI'EDSjOO%eh Ym%>ƑUv};܈4UXCäS({2R(q4R