SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ##:E <, s%]Pre_Polynomial_Factorization:threads=2elapsed=31.233cpu=58.072gc=2.360factor=1.867zXZִF! K]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'027:C8UE<|qd͵џ -.@yka켄<71x`7MH/ M䍡_bB}cy1qdI+Ac2' ̟|8eH<3R27.Šхiso"N"{jd%*AUB ҥ N{.u4!@ʷD0ypDKx } ҝ2@md+ ?䯰g% E Pre_Polynomial_FactorizationAeV,h-xemI̛4Llfݶ ;|W"PX͋}&4^'VO+isxq+*V6T4Eshy|F^je X׭?|)ISPZ)[wD8]mvT^2"<)jFtm&eX*.?:n)8|2 ߂e3;nL^eԐ=Ծ(YWmZƺ dv|_bMr-& Bv/=2jZ (s'h́Dr d2MK@gcؗ0AȷzOp$ !ph_-}g4%3=kBcxUQ҅&Zf/R$2`C=+Rk ZUtIcE.*~A&v="] O=ھ楣2fU~6O5=Kgh$n+)5; Y Y< Y=6$,5Vp>o⪥u|`s;̃Cbą'fQhnO•E#if;Uĸ(}:C4ؤT r x@{J(*kdK** `7@]YdD=FePvctN%^` ·blrм9 m8mxG+dfSWkЎGĉ| ?ʛ7bX>vXljUYQCg:,`&I Eq_eR~vɷ;kj!cl=m;NdKDdZDpY~^D U-.3LÇ+Q@˚[_) qvˆGAN(\A"RyaO$tvMSΆUM;g;G[N_`FU\4m ̀@0|=gb`S6l_6.a޾Wʭ*lՁIZZҫONꃁ)->#ƱV=Ι@ E0zCt;E<`sːRaPx37&[]ޔPs-rS 5n7kwoZ&x%b]?C: A\G^{Eo(r y}@$^B)tA[F,$9fD:B>L*%CSU!.2bP-5AxQ *`95I}xsuT́Aȑ ڏfmh|"%UXwaLUJ 6a 0,Vy٭jnq }s d|DL["_]+z֏-jY'ǛOUb~[ZJ]DCNf1,CYT1*tFN^($ ;?ib"oznB&UGq)PJ]푣ǟ]!}Dk-1=ە/`lh>6㦊<dA5)“GqC F /TY7E[p#ruvh nZ+aɵ"{rAP( gƫ=/{V+|=CF#ϒp~YFDjhQΝ^3줤kw źQ+Ivgjs.~rxf֝픾5<]}Iȅte$;h7Mb3=g]Xg4=w;3Ri7'bYNjPlwhs,<29mDÊZsi~&"z]-pFpiV;x1 b4} cejE PE͝9u[W>-͓&eEY3-YydKM9Z=Fzp7O,z'=f-1 x]c3 .0rxNƐR'uusqY ]/k=H$/˥5iwn0Bnk%A:25;G#ۘJF{HкG)'8x%! ˑ#[MT2jm&M¬]Ռ߃lӻ#NG,1*(jw9( 2 7/*7oft|NcSM)xT[_ $`wq;q;$*&q;dsZ2z[&_*r D%fD]ha3M\ܧ}ڕ]ߙR\ĤY'يdo OS_Z]mvQj2VRŠ ٰ)efzΦV{L*(j×M˴eNޙs I=̶Xv3&VVD [Fȥ!p.UǪa}^ `cqE%2RHQ$(rʹj&JVlBMwߓ2ĸ=jrdRTF[ZA  >YbonEQ(zB h2zQcՔ0 Z+c(ffdEI@t,a|lşuRot/J/~oŚo$>72QDO2CG\;݁ښzO6] :V}SlL2@%D:WPqj?4P~- 8-#HI:Ҙ r&By.7\2>r\"1_̞^cz *_U9qr*#qiYjdTy/(y}P>rd]bb(/SUyvP䐥tl.5_w$iG-ڢ,::צ5y*MPޛd6E7FϽ:}[\-4HwF?;MxÊ qU!%c-֪JGmglhoLPؒjSq:M`=2r*A U(f~¦% [KMυyKt\S#ABS¹opUXdA5K#!%gYZ7zXZִF! ]ŗXi% -X{u G-3c[ OxL1R5S0(u(~)%&Y~*xc>!䦦"ޯk loRʲ5- VaMms"ebhwR럖jJ vĊHHTi{]Hx{eEUWgZg0ZZF^l(@CN߁*d{ĄnPp*f_ 1`*ٜI5HyP&&ׅxS&Wxb:ΐ-+b"$NT፾5`GȀ3[2 dBrsݭ컴1cy`QX ^ ([`%meͯ`.V5,!'w[w7BZ`r@bjt59QQً9 &xġm 5zx D<%h-h $U`.H(thrXf~VޜO6+ԾLݳAʉ{ls*leuh>,WYǙ,y5{" jAQ)\=1/NHTXZXlǾhVq-RL'G!L>EѨ^?s} 5/BAlvm9^?Zr6Qc24t둇 ֋T:k6^ MlBB*RLeu;GE R1Ґc6|8k9Զʯ kw Ѱɗ҃ȯ='7jF-wD%yjNǪH/G>Q-6Ů0%D68BSwvntM,MƊ#>Y.bVjYk}Rz{{4B Sy ; s 0{g# 6;ue&K簰3w{c);9ϬܾjFg>=f_lFOo45v{ʏ̃0_$?:4Rڥ_`xȀZHQ@CGdRϛV9ZX쾀4c̠}VI %i,xpW;.@R6Mq _XL}UFA{e`BϘ>Y5( GpA 1oe[UT p(Zuwx1ȧzj =~E ԧY;PbdxH>m& 7F7t!Ӹi*gї<[6A+5 5&DV`eSob*0e|0ʂgV[Zyؕ8@~]'`BˬQdSM{qi~\K>>tȈ&lU^bK)Sq:hO @jqŇ TVqJr`h:o7}JץV0gYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 11dfd8947e6a414f9ca75cb3a3ca493c6101dade 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 149291b6752ff4ef73b3ab42651f2143f8a66755 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 754868a97fb8ecb4bd5624245676b23ddd584c4a 8d31800ff14de35d275f6635e9c6d24becf4c94e 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 98f8b5628ffebda798f975de4a2ea618c5f350f3 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f58d9421c3633188ce29b01448ae8179d8568052 f9981decc4f3e052d9bdcd615e83cee4a6c1386b70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0 e1ef2dc5de27c6f158937b1ae3c2b52a79b8d492 754f7bcbfab355e6cc81d4949037f2eec902e487534d931fa0947baeb62a9895f8ec3a2c5e287bb6