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   b= t< ] Polynomial_Factorization:threads=2elapsed=55.631cpu=87.928gc=2.720factor=1.587zXZִF! -s]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9X0L}񟁗[Ϡ k,oxW(HŻw>5E9x䀔$, $G b2{3.7]'~_.m[գ!,lu4ՠpv;V 1xnEp6YUIX4L?-ZASlG*3&̿Xc9j+c衏=%kc|;nE未$1ZVnz`LC끟 UJ֐U;"zL#\R\FIP,Ѳ2ӈ0]y]\w2\}]8ГXb~X0eAΞK%h%yM}+"`;!hc̠hQ;}IT&-bkyD)z[5ZIU87'{~7G_*)s Q`p4 =;&#OjK!TCEo[.LrZ[25\cSCGDqKiָp&>;pa = Polynomial_Factorization3]Zyx+.6Qq (x͝iK}Bgվ˵NV&CY _7cݭ˄cƴ'BGEVRU3vS,ޡ v*"H @!J@LL键WttwhMAR*umk8Y}3dܠwo3[YKώ7(̐74c=̺k9?Eg{@`w5VO*I^KNu`$aᣣW3V iwͻj %ӕZjb_gt@K/MƞNhHBn oXr|* +I% ӵGqI*J'Y2FH\Gi׹篿h`(<{VAlÓRC5JęGܖ)cWIv:rO6\!$}`q.GmtX#zf&I fIA/|o$ӯx֑$`N>fLj~GE2 %iZ h3S.6F]ˎ W 3Gt,Csy \ KiR5`j\x3 ZA3aaSxh^jch{3XǴӽ%ZNSB/E8` nV mX[s2pݠ t=p1o$-!7%[tɒN3Db(azg.AgrIŌYbeD+ Ϛ2 -|t&Od~Rį!L]JG.j My $ n7Sen=Tޫ̩"^)GN,\" _zv? NM6Ҥ FsY 6 >ѽmPTW+` An,JϺ  S_lEXDZNoD.B*6Α`G#cgCbT6<0Lb5=@G8`MDh$zק cGSZy4U|O#4=jqɴ$\ߔK`)l>*Ŋe_J?>g3s)T)Ԋ(JbP ?f?˯ڏVb br-`@!MQ UwTpr$.5ΓS7 UPj: hjtV~"9a۟vS؉!D_/@)rŘ ӜM]vs[."&:jK3kܔ%\QALv ⢭Bl}\l|3of^.PcogkeX7&}!;= <+GB3k/"Q*p k.)3QnB:SAb pf])f 7&)+>O24=0 ۓ, }5-P>GAh@0O,1 Yd5r|_mu\D CuӖu;X(xj؝}K/ a<$!5V?/iyLu8`O9^8a->1>d;R'G]M7Ze{  2$WxRZ?"#HPȴcz;ekEyh@*wQ.4zj]MlM/Ȳ4&? lfJ*-%^WQLomB#_qP==-U#j9|Z3->ƱU,ɾyζlI 2KM"f8*?}A,J ynդ9VעX%(zѣG=HȺ4Nc2yzR֎R_iFPQI>e嚫jF|X(*/BdzN%*i˺]l!^RbuC\V] f݆i 4UH}R>~ez.0b]U TͷAmO&f˯Ute>%|QM&k*Y5V_weK DBδ(U:LYێ,ixTz?o̒s.x-d G)>VO]UǙ*.8Rї&b ȃj@z"ΰ/(Wc0>š4vQE8bKmR&гn]DmFo#wPS9= nv -j)hS#y-՝6`QkJ5gGWƔdG\KEEQk~Z/Ff;8UNU ]1AZ:{j5"~?566\g:)NOV fV * gR&(h6nzTJA 7ZAe=(|f_,LO R]7lQvǒ(v' 6ϋ'$2Go+)UviHЙ*V%hOLZP˞,s D@-ɣΘ+Iq8A/n>[Lt'<~('^H09l'vVD_x*Wi*͏3zx6vk#Փ$o ,NA &K4. 55 t &i0ZD}H󚉛@@2iIϚr5Rk3ƳӪna A@bf .2FufK'5 M>BBGTǀW[@'4 a?5{XC=sE@ǂF!ANMVhv]&_&WB{EmA2\"H: IYEɒK @SGmOAS[ K}L~L$|Byk"楷^TwemR8(--8c /L:/䄒Bʶ9gYZbdaff9c4199f6c39deaaacde11dee826b3b8d8b5e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0a0b61ef0e5c87ddf273fcbd9d26a78087d4bda7 d2273ceb5daa9739a128b84a0614616d06e62542 cb53f41bc52f83113bc0f58ab1b0508c7e71e022 c3c32c7af7782cfb8926982d4b86b60326ec2d9a