SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 = <FEZseE`VM#2Q3z?3W"L>A@P%\_uCaQ*p0$90_' -EߕS.ڽB]?C ʐA%1X풌5tKaP*Ѽ d͛OWgcJ9ݿa-áR/pp,w;$~nWsl8k$S:Rʻ>xEj۶$0өqBwdOm(R j:*Cxݨi WBjX_Sd(2$|r9B 5|vjz=D"3ҡ&&H1i<>/.;(T@k߷͠SOhyi)Kbk;'5㣿$c8L%i'5Eŗ5]F.PQF6+-@|]XZXB˽P\DZgYZ7zXZִF! }W]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A>=/W$!Us O4̎M1..Ŭ?2:\͕ҼR^/ە&fvyv ȾKBZt1P)"G_&J7kV0}QwNj*>@b18 `t9e$e7JE s T!X4g-锶 GHɚ4{|XJL!ʪ"f6TkO X`6/N3 {UpU&9BgYZ7zXZִF! o]ŗXi%I$L?晄i]La_Ɏۖuhʆ僄f] QvWI`wDJ}13\Czdz;dE<ID%wl%d ( VZ$ x`C֙aeA;@[F%llL7Fny_H*V^/<͈{8PaK4^1Ӕ@a31 >igN3mz($p9A6{X_Q4iȷ[N8Be1bc5U{ݤVoT$U D!=Cb~Oj/C/ s(ZP/@3R9НY@dJF>-ġE_=݈o6uWRҮä}8m}u> :Wd [A_M..vޱoZ".O[XsorK 71u['i ُAXq0q2#nRSPZ@e[@+!ч)p>3Em.z8qx"Fs͢xn!Q-kpTmeE(W( z(F{BC60FeL`=?H?zO; GRho:XZ=9O-Lop' hM\w~χs6 Mb:-7tZ3z?(myxpۚ0}V #W2Dް(\ֽkA'#@Y\fjN!.%+4)sY`{>D'e0sT >\Ms?IW|JzŒ;$Z̦CT!a, #q `9;KC~q+⁅֣9/>Qm|m,SG_Tg'jXőF:~ A҄+uW⒇ }d"}T[D5>u R+sc i iAlI{JKu ?Hv(hbZTbq)!t1$a)`-y{̧m2Ao7w{5*d_gkhW%iO(QFkޖW2C:r_h3YgYZ698d9817d7575752dc6c7ef562915cad3a945a3f5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 = Polynomial_Interpolation