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  \= l, ] Polynomial_Factorization:threads=2elapsed=44.459cpu=71.988gc=2.908factor=1.627zXZִF! &]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoDXu ;]*!Bs)Dl) ި`RpPr{\OڝDգB/'W tw7nzU^h$>5d<∍zϐ4xU2autMM֒8^ryg=d4.&vh~Mԋ7@6Ĵ]Ww+4YMn?i0gZ#G!^B5&@ ԲHba0{>uetmpGԷ-HnFT4n.dU+u_?yIXpuT 4!6m]j.K{AzkWk+0@FKXB1S(4ǒYݒH>lC_ -gYZ7zXZִF!  N]ŗXi%6UmjKn:k~%W|U<52v?c^ P+&bpo1 ^u0Oal8].(`2`[ Q}pDʟ7Y "O03&"[򪱟OdT!3\Y3Ogjp$$Àz%8H۲\ 0kl>E OкM$7)( t<׭_gLF8KW{ʹ~Ee$w:/==et}1 о* Os,%TIaMA(ɦ+񙆾^/kF-P#QGDS2E$V~?>\Z޹3`:8 1:.dn>p]1w9R+`" Cr+Gr06W{ٞDIm"weemy !MZ'#TQ#7[tti8QE6FnTp&K Tƈb`~s|&5bpzd9scJy\8@@GoNtLIJٻk#'R4zLvQ:, T䌬 IG^ױ7bpiٱy6nN}wvdw{j>#QY0k/0R ߎ4I+5;Viq_U~EEwc(Ns{uYn gH߸`E,="!+Đ#bai=tcF>Z P{Lia4Ω"sЈi YB0%ڨH.Jl;) qv;rcE]Nq KWSkRuO&c=P B+/Ѭ~)eAi^>Z2R9ۦxrp'N ѓ<5hMDg8.z.sTU|aV#!OQ6BҸU#gfP[éE_׀7>L+ z_bqtZ=;4%3.N8!tjxQ|{}|U. Ys +,*u'[FtjJ+&/`ɟ.)g:s¤~#cF,kuEJ#+z^Eq_0doAU f萋0Uw7g 7?"1uq&W౅Tq~kIŌeyWX'XbJ^ cX s md5f\~~7D'`3Kp#PRT>l8gz*@,ߊ$B+h| T͢z@:EGHP:@^9x$0.ҋ@w}e3y=.;ڍ)63jDz[L1k% Ri2loQ҈Nw컉u }EdgYZd43660419cd2afaec92b7784e294c450b5ee32ade70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab 0d482fea75712f747b73221c2647e7e8df67a1d3 1f78d1eb3f070f974fbdb91f73cbd334552d902a c85c05f936d57ec06dc0956ed1daf2a3bd56f549