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  Y Y= LD ] Polynomial_Factorization:threads=2elapsed=48.344cpu=77.596gc=2.760factor=1.617zXZִF! -H`]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoD!R4m%RqɟE >GR8rgfKЯsܴgDJ1cEc=L/6xv1˒]`)Bv 8wȮø ~y}^5c~-hm-q[V'ȟ ( P)^ǔ~UPGXRsՙ$w/0 km}|QI&c5-F˘7ZqCL/S  = Polynomial_Factorization/ SD]gYYgh3\Q9I;&D.aTw0E#O(n 7޸܃ksFKӍsY$ (=<̨7RC$3CCUjV3 UZN5|}% igK,|>)hSJWVИkj 5Q)`ً6ꚃٴ) xu.N#\4++ygY`f PxFg( 4ش!3RtrȾy PP1cJWif,h4➋.1F m'ڍ w-ZLgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!Tsj4^mJ Gl<9+(Wm ; X :yQ8v\޽%6`|\`LH_?#nl vx_Za̵u ]U~pY&=RSq*b1N 8Sdִ<<߸ 30KWVVhft(jW 0V? 5?|ic:RgcAa6]V~mu}g)y!ii w y8bJE=;?zq{tv8psm49 ۪< BD /b8 AlgYZ7zXZִF! ]ŗXi%ύw4Ϡ.q?ɕo"Ep/A 1¾a9Q{-woNzMLu)0zFE t3I!P.4 Ntb%+!4_miww^/ykBN xˏf) t1+Ps{fԯY1 ~%c_EO)#˃+(]L0vެ^׬ɜ)]ݕJ,ςpfFiT_] ^gE( 5G!6JF)R9H==ӒV}tǿ 7s?@0_L=UmL*bZeyPj3`$>oԼ< 6ZZѿ>p?0}7kjXCy@sw6Ec^`S.dž@9 cRF*PϘ2t=w GROTKQ=p%GkZܞX!e( Hk^F8?T[pr5f\I? gJ >4ˈ(kWڦ|3e-z8MJWIl0ټJn.R\LZ澺&ǸNZsVHҋ 4k|Ò/iY|-KܠtTxbL"nf`5TU]u]6"N[#{ٷ34=-,,nV}SD%/bd~Pb{YAgNP㩛 ԜY1?̻Nnҋ""&\`Ri~9sl7iN.ceu&'Q! J2|p)FFsL䚽SB{ {%P-I})FLe5Z)+'v%pPJ>W YA0rLt,aӒht̀""7Vg-[rq7 C*{_PCir`_~Lj&]S!(Άh8%bkPe Z!b(ޖiJ/DtccE-Yri3!=x~'=5eǕlRhLkVb٭@Z'7Ͷ#Zb) )driSm-PDZwaE4)9"* V䯌!5I09l+d̶gNf]4OG>η!ig-[L<OVc'۔lB\J™C/ڤ>lnhTO^X3h$wEjt[ bЛ&Vr!`~gzO=՘XO)þpV磻zFSCWK7/@,}mZ%?mt"輕9[ᚄlE^G>ۡc,|Ֆ SvS<](PUq(uxt"^>9ث1}Ϋ3ڭ~s9}Lj]unZ ׏l3pk:F[B'u0)ᓥAo}qaӴE˺OYB*D%'k!\VnyWJNr+a,= Q#+,>#8 eRPJ>_YE{,pklC Lo*v]QN\ -QO!ĉmܲ0K7*`7TQ(ȈD͏fO?`U "|Z3T &P@Aƒ3i/ŭ0\OYIK zI#wzt)k"|b5H ˀfzh5S 5m!H <] a4n@d ,1pVMn쬵3c=e?ep[aO<'D}_e#ʶDgYZ496fa668d7cabf67414ca0849991f884735d691cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 9acdc8ae94f51e61fb886a7d4fa5f21c7bc97074 3d0a0fa72fe658b74f47f7a068aa5865ea34c93c fdc5562a3d22502bef4516b9d4526996ff8f1bfc be31d3359242f93be15a4a936f76edf30268641d 5ff66bc9a0e114ae0be06d4b241fc12ee61fc8b9