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 }}= ,,d ]S Polynomial_Interpolation:threads=2elapsed=19.770cpu=37.728gc=1.560factor=1.917zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,*vVmS\9~M%M#,=swa0zN^ 60(H%-3!iniԐ|1+ pp yS'ʱ[ߠל#s)݂7z qNLb=~_OF\ȜL‡ˍa:rz  < 艂Cv6|F`a`( ẋXlkhx`/A-mC7|fe0 omF&33O%Ρ\'Slj ]nh4ѫs 2"=mP P3]7vXN_3aa˦:p!g;5(Jr-VZ9p3 Hj+#.pY@2lAߙW05S^`ClS!qޖ c ~w4C>c< D'*f϶T&7&yQyUVժjYԵpRӛJ6ĸӽ,DK$ /SC Cϋ)TT~b҃1k}=o`n%1\< =+h+0U1bsr=?fTOE|97qDE2P$ڒ`loQGa𸆲SDS4YO'4N4 {ՎNu`7@З~g A-c\VcNvG gg"wq*Hl[&;\ .Q dVnnYO-~ic&m|jR!Q mOWBQgYZ7zXZִF! n+]ŗXi%93&r$P8ש9FoK7Bsqs|7 Os~Od}ߴDg$E>l5>C[v܉*Xtcš.+?JWBsϤF{"$h!3jQ\Ոp;@gOj7дfT\W^iRˋzt5G $38S?ZB?[^óxaha>PFp{UcߩIݿ0R P#ʢ?5}=*WLeS!hJo}b߉ͻA(OFxaOKd~+ҫOaRp5ڟX_QY];3Y")5D?'lr7~><]M tLEw#zD_BG s(+w-qvxs{1믡PQ1/Glڥ6(Z?)z}Z-@/>I;>QknXa8GH QiL*Nf:;TTpyp Lm~x-6 gDag;H/Ly"KfJvQDN@[YZFj3h4jcwi׫:<<}“`Ny(E'e?LpL$(ܐZk`VGDHC"׽{Լ'fxo[A=O]BřTczc$+^QoCo}iہ}" N|0 Ž&vˌXS$/7Yzǿj Xߓ+G]:,f`n);kvhkTWrf'uMlC 9Pd15־H:!PtՑY"U:IwIJ yq2ޝl:oA VHՏZSJF|/ hfz1;ٰ:LnaZ?etYde#^L3m+3zP':\-6MC73fP//_V\B07odÐKa,\"jha l{(1$=1Snb[U{1 x{Dn$ m@ P0/W?*^_oƗe{Qm^7Y @P>"=3(yvP_O񚞵 P>+Fǂܷ,rZ{<`s3+f0/pC_D(! z- U+؛"V\`G Cin7A-O9Z8@֗$z|o[69["uU(?e2 ?@\OYh@*h)C8Xg)HOdƈl{V9{+9&pj9^$`wy3˻𡠼FLFAFkPO[\ wp6Rė%" ]eެpn +ѱompQ9U)DߘOb|ZCB#>u9 =< T +gYZ38b72b69e0a4bbde7e852f253dadab717c8ff2dea86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 fcda9ba59859ac808af89faf9ccf4f1165eb514c = Polynomial_Interpolation