SQLite format 3@ . BBh77otableisabelle_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  4= \l ] Polynomial_Factorization:threads=2elapsed=47.520cpu=75.956gc=2.532factor=1.607zXZִF! *']ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj:2DT3;;H d<v5k pSy’ W?VwZ8sGPxyRCn+ʬGRo "::(vM=bUIE"Eg(%;y[LeXvӡ5>S 7嵠<{6,cO?W?[ >cʲ&ٍF!UL#v &ʁžc~u^頑c-T<ފA⾹}Kʈ=r2%@OkACM3}Q6+xj2*5dy6½ǧfX][")XQozpWY 0I#|]yI{ T?tUInP"({G@B3>r ڐUZ [_H|(TZP' lh,_D􇣻VQ WS%sGe = Polynomial_Factorizationv~=SM|*|{YDN燰[f6sdo8Ԧ7[t8iMnjzΏZ+Bz!6 R&mtAK V?Mg p΄l1˪ z } 5)(O홽-|H w}f*ܭ{:Imuk=BkX~hs]T'ioet ZxJC :{[_N7[eZv#Ɓsp Jֈ:kX;LC/׺T HgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!TR L.kvQ Sܥ׺C+@cyZz\҄L$ \Xk< )Bj>r6~3yp戗1=#Lƈcf'ԧGe C!7 ǹ*ZVGu. D{ZoUvvwFm.=Q|8zKk /[i-_ -gYZ7zXZִF! d ]ŗXi%90øZ ?퓞.ʥmK{h+{ EX ^K&ˡ_6o,o:3&Od}goE|w٦v}]QΎ߂Qxoǝ$P )=EWʷr3,j'&N-%gfOC$a9z5FJp`C=#ILxGe78~5,#\\g<2.>Mɬ% bpu ^;Ռ}.!:j;fru@$"2xP,oXLR.]Z> !B88b i=q+[/p>6̡Hdn!leqs9pe(>efQ_)Jg؝U if݄˃o{duQEἡ^1z8[SOTM7ʹ?v,A>`jƶeۭi=8%#]٪yxX\T<QJ{D1 0>|ňdy(D g<ߐGdp o^Rdo3x)dq ŨYf)FuT#b[]Ԇ2Huxؠ~&Td];r `a:}lϢn:pVrΏry)EőU}_'!@]*^~Ya ;C<;Nr"K Hw W`@7ufާ wzCu1j2Xe}Rd`NܙpixHIK5bߝ޼{&+l'5`䛽QwJ{'w)QOʰa!ne| dg ]\V,/bKzNKF2{&2 ō{/zp4[͈Њ(JV R+3:9 z"vꪷ1m)v`idrr1ɓi:ǡUpQRIzEW*uŽ=>3xXNVw@e~Ś BCEƄ_e{qN u1R`dWsHi?"dNx4jAܘr:9(I7PH@࡟|0AO!\ zvuEo5W b懨\ ^IECc0W<\pd?V2<g1E(i烢WZSR x;$+Ϝzj^W W,8غWKyb爏5;ӓÇ0&;ܗe3Ɣ"V|T8Dlo)x3'qm!Wa "% CS[{6gYZ3255134011e4b603c03ed9c1bad631fbdee26767ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 3b04ca43da1e5aaaf875b679703967747f534b02 2524fef4370ef159469778d2ae89dd9eac2a6b82 be2aa6c3c141da35bb6baa2acf32d3b24f15d156 6eacbfa9a28c0d5e9c1735df38a0e6fecff05413 a32578013c96099dc04d5237214e239739506ae9