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 **SE \4 ]I]Pre_Polynomial_Factorization:threads=2elapsed=26.105cpu=49.912gc=2.240factor=1.917zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,cB[k@G֢?WOkv|WrO{)!$[&{O !L(I5A '>y7EN=SVGWDX1s9TW Oo?SW%Pat DU䁘pfe]l$m*ֱɧY;efM,mͲ_*K GNvqwfH<7{:]#$ E4 Ռ&8R͙^ݪc q-"`_,,gKZbT B=y! vj$kccYe6cZݕbI˂[kh326ta"J-@CHkƃw!ބ\ex|BgGjtfm*=-ƕJuNz_|d +/YR'U>>$ hH_VZko9 r}%r ~&i.{%AR~otXR\/jl+*`$4{ `mc{SmMgw:{_fo8 [<|S!>)q+gYZ7zXZִF! |]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AǢDvTMK6;.SSN#8@s~ϣ$j7іV fl"([MGSyƙV RTzBS]_Y~nLfy"v llߖڈΤ ە5g 丅d/&D9E 3a\.20M_3KF+$ƜpLH6hmDRgV|~ dsV Qƅ 28iBzvc/ӭʟ$ X4z J@B/GC@ÞrmY1@l/ o{gYZ7zXZִF! x]ŗXi%;BW2C՚x"w(?2C F):JqCO1Qu|$AM_^\IIiue։Hb&nѻi7Z,hQN"'>}߿wLcA&_W ߠZ}=_z$sO 4_ %rE'PFU*?i(uKƈƽ׭Ct])`(/OWI&?גY`Q{9:@~j"ɹvw9x//G6M s &lJmȌUy')ܟe +ƞ®~]AZ('%۶$GJ r=6x =dF lؠ 1| 4`=<kGT38ȍ,w.vU:I]1Oh%nJU9'7i9B4QSկ5& D,M͝TC/lP(4𤯜 quUN?O#%Fo]Lp?PhV)j&~˝SGaqHpM51owDʆBaSAbtͨ'19-8x-sV m~'-wɹP ~l'S"M["ݥF6@ζНh}#3]R ُ$1ib[.#0x~Ol \eHH7 O:3d_千If ͻQzvu0u a-Ӊ>ͼ-JP>pbzNCaSU(~pN~-qk"dP̆-0҂=B u:f%)ޜ8%O(`ZKPE y|N]wT d!|߬~YXYccsD~<^Gy(xaoF?ϡwЋ+{2O͝9#ⷘTom2Wgn=[oػslJGo#_T$ c..@myaQYe1>ؠW =^OOd.duqǘCnU)W%xfwDŽ8ܸ{e/ᬍK0/ g/ ݗ $|,F?E;z] _׏0~`e9$ַ酵4,F<\tJkOVN: [5QPcٖ}ߴSѓؾỷȫ(Pxܵ6eRͫS& %vºr2(2=t/rX% _{כV OdKG w^)uVAג3eyİ 3#^RӠE8eC YoC.,M8Y7֋~DѾGka5kbm-ݷd#iO)[8a~Btn80O8gYZbc943df1e0645fb00a48180fca958c53f7a6e668a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 140d3ec7db6db4c0c019e49bc53137586a59f617 bacf8d311eb54dfc78f62c68bbdbd1f18280e26d f6d621756996461c073b437844c723df73b48a4db2488330fa7b23af60ede320ab26a51bea78c1f0 E Pre_Polynomial_Factorization