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  8 8== T\ YS Polynomial_Interpolation:threads=2elapsed=20.599cpu=40.320gc=1.728factor=1.967zXZִF! ఈ ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02_=2bÖ澡WPķ;X)F+\&0y#{0JѲ΅ʭ6>{bʡ4s^Kak64y d0Ӈ;e\u,ֲ;k+Ţo8YOAD@]Eb;gMaW0cтO%̰${vXϖkؾq;'l+J͋ ɷ= ۰H\bXZ2zY3eDqąAq9xY14iOj3dؘ?Cpde:D"u٫]\0v@02F+y>{Ʌ:<2~%PP RC> e_rԵ mH*a^ 1 D=#b |}g(JbZ!KئJ'&kO'i;Vo昱H mֲ@iYQ|n+l-ٍTJ117̲{mC-)9-Q>[py" JڑcϢ*m:bi0좐4bB0G]l̍a!Iu( qCMŨ%lܧ.42hZSJNXF)Dǜip2,wK0uA㹼K%'Ñ㓡ꖋ;5xyFȢ E_Dߕ&X/a ee]iR1C펥ni*1YU#\v9Sՙ9\=p6.lP`AoX/6]=YKm*q9yX4qLh R}pPdG{”Q$olg=b +&skO~i X k0{q#~CyWҗZ$uD88c~-^1{ml4e荄uhK˺K9Eן s|:Mnk} 8:רkAU5-('MAO-fVL嵍twIHg?u 1"1{|DK;s^RrLZn; *|O ;LN-~ρ*7xqì %XVj{1|'&FwY#LO@<祩>O7QmYU)5k+-DgXWXsOk = Polynomial_InterpolationG[SY7 N@;W5ېx} S[NSbK81U0/b̪߿ߑ czM,_m+-bQf9_)ݜmxy1q={֡3蜂Տn&sOC{TtlTOƼW'/>#.AL]ohhy]/LE}ͨcݲ\%|~Ziו o%zPYM{ M)4y}'bÕ+<SDV$kͿe'{9oM-S\L5AjuV@1` A_5i6z0 [+S{7]f 3fwuNM=.gh7ےւnlm\- rm.Jf :UxR@YTTeY*{g8̵Ѝ&G T.^I*}mw#'x#&Ӟ|S1OcIP@Q]h}`76}Õʬ a}$b ~r*4,ӴJ`ДC Q>_  jK|9]c`0*H̆{  ii3lqgq`J{[CzE,Wrysc4sh>3DCMnf1 ~ $I͑=Yfh>#N3P)`Fac0 I/堄Ô -X- )^|mnpxcK|QN]*t/aӥ jݝ y3p₼5'˭E^]A'ŀGfڱ sԁKBdٓF l B2R*h:rKNgYZ7zXZִF! n~(]ŗXi% vL9FiG2lz DqOY!B~¯ ~2 |YRkj`Nt[;Mx3uc5휔 CDV^[5Rp3J3 gE01fΎ0U QOu¬/EM iHc +qy6-_3W93ϡҋm~6Z9hE&/xREgx3AļxQn~5Toqtoe酓gFt` drJmgq(eTL=kzNjvF -{3V=,Uŭ滌j¤@Դ֠Λ;|h^bκreg11 %?G|\d2%cYehlh FBP2f/'¥[&M&55q ĢG$~-yt"F@oIϨͯ?" (]{qЫ!t[G_XR{_ѳ}tÇ.wSd NGa"q Z]6sS NI"9|f)[^Eb N`NUd-<|6>0,[sRGJ *_ܩ_=J:VcT?P1?_:IK< )Yd"O©?uAo(g;< k/\܉|*ek\( /