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 A= 4 YS Polynomial_Interpolation:threads=2elapsed=21.778cpu=42.596gc=1.784factor=1.967zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02xTq='*#hSF9t|ߘ2"u ى\r_ UaUmѸ",?Βn"'P|} 5-xW^B %/ɗ\67ތ;aPa?Zh^ 6/öҲՊ׎'5c(RC~4 ?vmۤc,$u`YvjK,IO` }%( ]Wx|AkWir u~.(RWB/ku%'+8 g|0inzp9}AƾwU_q"c I1HjyWKgrZJlGr͸ݜW6ؘ8pPRȋxv' LЄ$$ :c匑KlR,LK g=i6  3Ob7aqgYZ7zXZִF! sLQ]ŗXi%6{B]wu֝ l*JmC#sƁ0®5jåtZ&%gLBU[( dҲ[/px5)=_\IQ뀅sUh=n:T?B{Ʌ)_la@eX$8lFٹtu9wŋV5. '}CLt'K`J:rfwGbcqN+jz-]s3~k*:ӔH N<|2/LƗmڨIdazj F&Nƚ}C[{IWO9S Wb?n*xUCțGgw?=ᯁG&c~ Sx* F0u4H"rP[$@Y쓞q@⊫@ aVG %`D1]|nЇ~Ɇ`^$D)"P{9dwhfMn^zS[9KL$$zrffG[Yv͙H_N+`Ϝ;6w+0 bo%}38|!#5NKU U~7M vة18'&dHVV:ޮCME96 䰩>MV64Iy@ m%`%͗&LtE 5XsnYNYt& !TMD]c|iKMEE-jm&B0,U(Cn<^Ӂ~)# Nk[\#?];_[GD!X+DFuI)0#o>L@{]{F$vw vުC\H0y`A#Rկ`ѬEyD2JF_gN*(Z4ֈ 2>#pS{fuŸO P:۲&Eb[IHEOaS`V/ /-(:^N|T?tuP0τ/19;.]]ZVk^-&U\~$6KcKyCtTr v >u#eD`^6_mpvvfN(10l7laa7Q7qO+d_w@rsbiXq khu~WZ; w9Q5JKXwau۵TD f %%ہ8IF9cȬ7L >صЧ',6dPm5BEV%>%ZpIW[ꎰ +@][Id{#CƠLz&};[&ۑ/= ,gYZ00ad3f9828b900fdef43f8b92ab95f7cf36820a1 0c2e6ea241c5cbcf9e054ebff91076cbbc011d96 0fb379be6991f5234c7fb95b8278dc2274025822 11617d627eeb322aadf62d9b7a24d625a4e09a82 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 29831f67bc4731886f76188150ce14b17e0d8f5e 4d8b51e86fff933c2b5b4e4d1aaa229ee1580408 4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1 5c57cb94f124fde23cc428d02c89099265ca2aea 5e3992a76b0e09b9c6bef5649f0477941f33b532 7372831dab65a2016ffaa58ae1f3c890e16253b0 8fedae7bb64aaf5ff3e6ce403084940ce66fba74 c3cabaf82e20c20da85a471147e0d20f75fa4074 d7958dfc50ed66d64556661ab8efa29c009ecc7e defef4d1575c4737f4307b6f24d6a5ea2e593461f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 = Polynomial_Interpolation