SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ))T= <,| ]S Polynomial_Interpolation:threads=2elapsed=22.500cpu=43.744gc=2.320factor=1.947zXZִF! W]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,unjmB=z_X1ПwU8 Žg5& !l`Ej&XL j$dx?:kD"AC=]#Mݡ2"zBփƅ ڄ@h ] b-H9ķ&+cd-Y)dyD쬇ޙ#D@=HtF*NKAǃEmYd r{8'[ h‚_S;|H[/X\A Te(]53b}LO8bTYEIMBk7y wZ@ڴ  Rtp<YMr )’ @=z-Έ\#, ݐ wŪc*K#O>פҭTc5Yqj<-j_g q[/$voeڎ1Qs.A+ G?YsXϳ~ 'Սd2d @q#DJ|&I΋s@p"5-A`At:gYZ7zXZִF! zN]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A(LiG ةqC6nL.픢&G0!0WJ,-tWfs.WP,8c1zq8!)4 UrG=bd` cZFm﹗9U9NV8 |֔g5&vuelF뒏viI48H漏7BS(?L#2h@q 3Yl8/xe2S noH$Ѿs?2z_>FI0 ʴG>QgYZ7zXZִF! }5]ŗXi%>gtΌD<s"zotM/CH V*$xYyɲh`HB-U挫%)R#RgxŽm`KIEX?g(By_@Y4~.'ؐO㾤뇜[hYؙ%fC9HlY#IP£k~]?P?b,@O F `ޜ9I#[g*-H`n)*+tbǀF٬E>5>le܍$r(w0Q6'A֦֯ ldߘUJHc{oEqX9 VuoZz"*'FT?8h"Vٷt2`q*\eSUk3HލօFH2 _s}Sz)Ix`<6@j7y&v[/cB5gv&3@@`BĖ77Eb&Ku؎ KPϔfЮ"&!Qc'hQ |b1\fm3ݘ X+/ n`[JT@GGFk\L.GJP?F NRId /Z,=,e&eߖj#]'uaB)d1i㯈Rxb|ƥkvZHCxoby]aؑnkS)67[殛,5::!GWDCmdVv*p |*  ´/p]7c"M/H ֟$}ўXgYZ7dab3486d32dc6ccc28e734e7f52670fda96cae497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 845705c5b6646e3b00d48128f2e977e04ddb5f47 = Polynomial_Interpolation