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 II,#\l ]S]Polynomials:threads=2elapsed=89.512cpu=163.300gc=4.396factor=1.827zXZִF! 5]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=!jn5Qw8jzB|/ÕЧȡtDCݔy;N,mÓ"/Lumi=nK,e41YXT>?= ]i겟"fHqZA{u=} +2'8Û1A'YH2y!%b4=)D'M5 F&zG- j~0k'US ӮCy=JY \)\㯊1,C vH`H\ť{ {oz7;Smg'YMq,[m,p0b~Ӝnninhhէ0HVIwtܔ#J{q@m 4̆1 xP:_Syw? I_ՊWtUss7GzEzsa`x'S \- (c ID5jOܺMqDMo#ф~Ksm{r؋ָ&NИCG ibqCE:`?K+:G 1FcFIK춊zX Nm]!f3lSw[4F1Po%P{8/܆'CtybڳK2I{ uiE0UG"B!|(o\._/zl! Tfw_&^~{ ?W'xHpՊl\SYjTFsjHcʳXç.n\W^/72wv`#+Vk^/2o2ƫ`F(P>n<'hk70E@E-"Rx0k;yH5LWi@k mAfFYq(E%gegۅH8w3Q瞇')0lle-U%aɰw .mIidbi:`~Xi [aBuhG pvj#vtȴ^RPa)?)t6Vt1z89]w]k$ al>XPԠM?1FO%A(GڢU jȡKD ܒ ->pO蕦^]XT^X~\x;t^?#i86)7c'(Yf̱+:!4踃ٍLnfwl~EEj_J>"szI0@pE Q"bL#2P8  U <,)+r:YV"ƌg7q1uЉeL,Z)z5ndE?[jo]zC jygYZ7zXZִF! gf]ŗXiɟ|E\Ât+.*aphG)%uGTLU5S=Ju(4v7!HBlM]Ȇ讚4?27mmCQYPtJ<3'O6'۴bUHvbm}r:O4WZ Ir-}*`geUӜBd8-@i2|I^?U#8ġKgc6=1]uYAʖx#W!b10mwN6pμԬ9l@5(-:cJi3N\0on/U#V<9 Ή:u|![:#UʱgYZ7zXZִF! ]ŗXi%Wm1bS$~lʜ|Umap}­u^&O+Kf¡Z C^H˧s|v D:&i4'حc Og^ϴ (cjǯ:),d  # Polynomials)[Wmp A+#I*Ϥ3$̐N?!bW"ߐѐBTfQ%|DO0.A &#l!NrBN9g d"ߋD|q ,亃ld> ^GI>as*B.NOt) RY.&foH\| ذ'J |G Ă4y$/O< O1NzWH ߭3a+k}!+˨:o)07ww뜝,]qM0W5C1ZI${ .Sg  !n\B 7C';zun)C)\} VI߯qyClDz'1g>h{jx1ɞCeEv1|y *$05x"> M8ZVvfi1`v[.1{*SW)] yV.[3T)uCy=v f/!=G btoDAJ9Mia-T)E_}bH Y(>r5]Y!3Bg 9+ԭ!bCl}^ :!D~J-遷yc I>pohA`jfNfn^q7O8NG'wi-%MA8@~Hp7SyyS=yeGÞAPW~)g]p K꼸 ^tmd3m.Q)c;+)4(IjJ`ȅH|x3Lծ .dYQFsr?Q ETzh[1ƫ7Gu<{.W>^=b&3RN5|n$&vcѦMQ* ԞwN}yvDYԟgRH. 7 ۆ'QLDY@zi: nGZ{mX4S{EnCz9ſcY0]FJly pOxғMPQ^'WU8/H F{eѰ_AZ"~ U@=?aN !A|1r-YDS| WoKjuޅs[ۘҀm uCR.͕ u6R{8Yl0=:!S C k(,L^ICh0 z82q^/8IIN,{ye)tv+Uc6A^$lu; c<}c;</Nh58lyȽoVI|g1^+zG.`^pRHJ )}CƽQփ)q#nӼK{ m`dlVb_mMqQ',86V~țߜh<ȡH/aA^(-M ϻV%ͲFoB t؍Ϣ Yݙ~Z>jZ@ӫN؋ui96?s "8icI-GX6-ȥ`]h@o*æg޶L}NP*x1u/+ Ӊxf0D}f9*(vx.iUڽaU@&頄L|6pZG\e&FJW=<[6֒ļ޻D(F3{CnN7R/gѺ|(+19c- ec157l%;rYzjj=e`Hk+yz0vz0TOzͷe9ݙQK2~t3wbה=,-Q4 `d+l&Syӻۻ=FM^xՕ_k_Ա8$grQ2*-hYBƳz;׃bT@,jCޮ$meEPj]SͲNyʯj{6~bvd3hJ.pZIB6!8T.+yqvL;T/7B oȇ,re| oxU"#m{Bptҽ8HCw)uHF݇_'.??mW`LƢ5 G:߿IhDzssQm2R+(S0ͥ"['-Q:|9=pQjL2{ZYO 5 RA}.8J(Gi8{714bu pvڝ,>}%vƽ*HYYս'"sJPyBnי|C\_VYF*I{_j~p?ۧpN32eRV,(-K 4Qu mgR1L{ ksZ}ż1wO2AX5)K@d'cr;wx@jP$lg%~3vE>SV<wlr<1ړU16UjG:.OXTR҈=g(7gty Czq@ Jg=,+0Y#+gYZ0d7d9fffb63fea42799702c4f1f2ef1ad41d7ba8d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb 4afd0bb9939909a3b5bc6759107d26bc335c784045a1e76a9c419256b5804f6c1dd8066d6fcdccff