SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   i= l ! Polynomial_Factorization:threads=2elapsed=45.843cpu=69.196gc=1.848factor=1.517zXZִF! ]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9rM*qLS%Rbk҅]RѨʗ%PjR:uG<|bT{:'*2҅P0f?x[d/um Ōwf@3,nI|l_Bh[e޴$OvԜ$9=f[Vg7Hωclc1{QNpI|+$}mU;鑚ɣa`c`=lwbZfSF2ɴF)` C3OT<2P[8ȟ՚.' x2Gw(`q: q֜ Y]+_hȗc9i6>ZefCe5B_V]CUPo7=UWb˪ ׺ZlQǿ`BόHӯRaMHjhTƨf'U|2 6?={"(X'߷ctfec,C2/'akULW!Ot0C93*)c>0:_2 +~gGZ XrI?I1׵;n$=uNWaHݣdǨH=#_ ) At[#--f6bNa':eC˭C۵rKf[$cR[$p^s.+4yVVT4&xtPKۻbG~0 efGꓶpO$ܲ5wx\Rt;Cs]!戥2\T5![%Ü{uAyz4\Zr}' -gu|rfx!N&IO-ŠLj701Yc/AkƯS,L)܍My/AM"0rl3[KP;*N51fR0>8ÔGEh { P\$'‹ {+V>uCiêX~I!B7a,EwGzKNM W9BMf^Ọ-rMvLLpHsx? ]&r>[s- nVчҦ-( (t貮 oZ 0XU!SIޅQكźZ+5V/Âx7xȜs_Xm0mgRaEkU'kez," faK6zղЬ㍰Da+ؚ:}ʫ˳>8^ULrw sDp_0`s{Y+)xNYK%C ?UWX>V&ʈ36/Ub-@?  ذؓخΗ$)mq,<-&DS4q!|b\"tL4l7RKU$g2>Eq4%8oޔLt{2g!aOs XDݷ8`[%3?Q[Khi>pʐeWv:WP智Ɓŝu ZXBvQl| CT]r1)KtG4ܝŰ2vIt;̛hFt&\()%FY~Be웎W6$F!E7׻t_ |22S4:xFBJ ^NQb:OaN`_k&ʣO-yzc9Uc\:Rjl͏)ENYi.}QDϦEI)T-:҄ KWZcQoVϦc;2ǟ~@V?jXRՑ>%AŐ8\eοy쒍PES{f=( uJ_ = Polynomial_FactorizationLY k7Mq E(jaיd Mnރ_޽9 U!=TӉr=E]N{Tk2Kd?umMxX]+dd6D-XP. ޷0ژk'͌Ku/,1Q|ԢfQ_0x9<)`!ʂeW@3'ߨM~#df:]+oS ew%gqR<=6}!zwk)r>Gګmڮ%#]̈́bc}w 2"OobgYZ7zXZִF! < .]ŗXi%n8F4 :iBЖۤsuI,k> My3 é߉LSj r7|G,;Y[Xw T[KOPm4]uX.}P2`Znqnf&S?P.wT3XU de/vY hQMM%^o˯1wr4?̑[DpUTp{Bo/FI H":3ŘL%!Yd2I9+Hk>搙nHn~EM *E mpϘ nĮ#;cE ݏ=Pgrs h0#nCA`)jCX[Ai_/ /ap WN,>s5(ʣࠒ-k+̅r5m 0Fi= 1[8?% it1K7 = Q?R+mZ91KR6Q1H_hyZެ%g6A@pc30J>7h^KU bB&q~_{xJVF@We6ZqmF4_Vo{F Y|.=}[~x?164mFMM idz"QNzby T<u[64.\T>A'D̳Ll#I4X^)a) S5/p珽b ,#-\;2V!Ǣ9DLJj>Ӽ>u8T(|Sa] A|QF&:Gi|Wˍ20O{&)e|I-xo֜Se#$0;IxvO"]$<q |۠>5^1, ڭ &;Ӷދ0vC5 $D_M #Srm2q7jDf\VIhVuAynhj!뽤 JvA.wIFMjˆ#!6T*M(.>5Ϋս~\:ئr1W1 R/Nmm89Zn'I(J+Gsg{0DyVW%ڐ*)n 1'eF%aamϼ-)tv(C%"Ax)azd`rLmggj2ʆ|Eid{uږݟx)3_e|GJs2@P&(Oɤ0*rzz'pwCuҾ@P/xM}{&ER3Jq]ᶅ9^%f5R.ɤ#e  ^Ru߶ Xlگ'풪Fm {INm1-xgiA`r#-ҭ8S0 $C;MP~nCvS[)lptݬ/m{9nB`9>B6@:"qma"lt * r[Y@ |!FZ=tM:8![.Aqs3>pDӗ|f Ryi8 $JXWS_M~ ̫D|ӍwuaBSOlC[ lF;]~Dnvy.dJp5Gr΂}FC[+ :/gr˖rF$&54INWYNѝ| lX?vK:*'s?|`띟`L\GD`'__ \.2:Dv)b5 ;%U^NIfwN _Wm碄͍DVhvNrQ