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 x= +c2c;ӖB@.abh 7AYug"ЏOZCXs>3ZL(;H;[bᵪH 62@zuK^iolT@~dsQy<(?Sp?*m``KwQk&zfr:)U${i~h8VMQT&v JSrc@З~g Awx]3K ^h'5 3Yrk ꊝ&Em`iǕDݳI wC;V8T8U{ތC0!j./l s>JgKk*>'&q Z8uc>V\^Hbـ==?-Dץ eQ7Atx(;UҶ5_ujLY;.2[~_l𥪵ѯkB)gkc!E5h6 mh>CpRT] %E"ZXRNcSzxA#FdlDž9= {,"Toĵՙm7IHbVAP%s7g,AlȊ`څ]F,uO !j"(g:~E.pkUnI#.`v WeO$y wRM<#&t(81LJָ'~/lF1*0gKAU%ѾTzbWd+V̟D I#ޱA,DTeFd}ӖQ@9[KC\ooEr1v [+f*@}w 7Nf1RW5`LaG;[i zaEXGۀ{nh Kt;_1 \܌|,5wjdJ4HZś`s;:~).\j¨لe%p.R/n[A)to"Y\^4:uu*;E@ՉSgx+3s^?LP` scdC%ʰ 1$D Y~}S6#i~O=ށLb<= #tv yIxg3EoR|oY MАXtLʿv&^ald HE 4P.w88c/WcTэ 0 F#r:/ˁr7jvl yVQ1A(˕O]6av$ͫk_h2I@y{Px\4ilJYxǐjHO[/dRc/*Bal㍓_YcC&(aƧK[tUtDvm3Iϟ !m6ظ#8%Ԡ6S ~Օ˼ -&d5;{[uIV(1dZS^s)=WL[baQ;{q~fҝ@ 4_6}H{?8]|wMlv>?Q;"Bvq}Rqnw{WMp՝p)R̮3K$A##Zqba9jfa&B A~6*%1"BXrc3r`sUa/ 8K#LvkfAm[F/BҊAlv"⠰Z$N39ly:W}]wp{pE MhpPXE $^x QxyhM˜}D'L:",LI:ؘlf끎qT?Ds׃3K(`Y&!%dD\gYZ1cbee014331a2cb2cc3c4e20f3cda1c41a6d3683d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c = Polynomial_Interpolation