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 GE t OI]Pre_Polynomial_Factorization:threads=2elapsed=27.813cpu=54.124gc=2.376factor=1.957zXZִF! 4]ŗXf1-/6vR[2ө=%C0A9RJ341M [판;~u/ , =Cfլ#[BKr8CAyM"̪])L0=5u:RJA) 1T&4]v:U3 hTgYqh'_S|qS(?ٌtUkѩv|w{0bl"~,uQEƸ~B+=`O(pMS -1:zpHP!@SBU#L'!fʗoP#P*U??nO" a7i, 5W飏Z,URT£xogX?ϸ\בEbGl(UūR_Ź")uknZQ=STfDXJ_{i2cefSԜ[~5Kx;$7J$RVG u+PDeROXGL\T IO5yc*_q:I21I5L#!o%^ (u#ïWaj;NSĂq^=l?e=$U Sөmy-M2[OϦظ|Gq+^4-@A 5-gYZ7zXZִF! ]ŗXi%}U%.`Qd{-HU|hప9#O?(@W:tC3u05>J5oJB|js7BI,T Љ(#[k%EadM) ov,% +}6΄Ѯ>$B f׬ZSuKV<1ck')V@WNX6H#T)T(3)cN-8$SlIZ">6qՎ3_iP&xj-Z"N7I_6 ǯ=zK1oz0|RuW2 ;Yg7)qF/Do cI0\D.?!U|~HL8՝"4I+ߦd<j}cK`9S"њ-Z<'?ؘ5 !eWcߵJ@z֒k0(2c2k:2'ITЙCtEHAh'$$Ni:It{Q >"dփq".lU{+mX;uAFw~e(嬲[OP7OZC8xW2 e G?8%C}纋ޛ_v+=N1c׫س4+5 u u<<Aa/H3~T%x)bPP_5qs+9'/Li5>ӐpL6O@e,+vlj4daR׺? Xp xmc7GQR+x;m` ؍BҲ1R#0mwzJ`:4̣{fQdX&R5V"C+$nD2 Mǥs"  r`VC>IHD0$&Xq7]92>$/N<i*>erVVg=ɽ9E j xʟݳ%”-gm{URc66<٬<;*B')7X@F0m8_riI9p,K;$vu? ҹ>A;s Qgś: Fĉ0(2j8JdBQYWȬUswA뿼G'45duX֞tm۶ R7vBɩi?'U99s9O_75uœ&օupf_Gn"XG(͋/Y !ySh?4UUU eWASdwꊟ`L%J8!21(& #8/f R䍣s߸Xw0WZO'CC.,`A% 8]dz-je;tH'$o_6:'ޣTm˦=4VWeCS7;4t{ͬe;GC YyULȠ^"Py'wLa)!9_8U@Vqd{+XFHbَyM%C{D_%ȶ]?ڦuzR1M2(#@}"7iTB|H9uVIxT{ wgRI?Sp#A1 'jkL怒)Gm8CnWgYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 754868a97fb8ecb4bd5624245676b23ddd584c4a 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 98f8b5628ffebda798f975de4a2ea618c5f350f3 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f58d9421c3633188ce29b01448ae8179d8568052 f780278c8a1756fb26df956df4a9f2f0ae41282e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 f7302172cbab6776a4f4ea357d315a195daebe42 d67a10205e66d01ca3a2256f96ec1a58fee34e40 210fcaa68eceb1909c0bca6b842c91dfdef9b6ebdc672a1eedf4898abeeefa9893a9ef9f9da18957 E Pre_Polynomial_Factorization