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 ii= ,, ]S Polynomial_Interpolation:threads=2elapsed=22.794cpu=43.868gc=2.264factor=1.927zXZִF! tO]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} dF4~VaKMǏ&N\prؘƲY~R))NpQWh):'4s]Nwri#x哚Uܙ>oU jd0rbv:D@Pľlbh3l~gV}q ݍ>撯U}Uc|OćBq=Զ{z(="7;C/0ΜQҤ~= SҘwN Y\}e9w 茾y1C<0F2Ѳ1Y($?1-9,פ$Ea7*qUK/ `dKoq&-BLfmn0mRݴf;#I['Wߺl fKL",=}t {5BT"@.^ דt ɕ^[^̋ fV^x.qXoPQNHI}9Ƃ{amoTX}V^e4q[+IXr9d$| #\ynf'o+d Ge+-6w ); ~!/hʚ|4${c=ʇMS&'s5YGW+ʘs-,s?bLqWә m~ U.%4d~h<]0_gYZ7zXZִF! zN]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g ALc~"g<0vL"c ;ɤrvAfLBm+WH3 yKN;!v*%8R_9| #9"_waelQgYZ7zXZִF! ]ŗXi%>g !.\ sss&W 먣iCg,Y]?| Pq 4`H7{RNh'%F~-|rwQr[eb}jr<Uw${PX͂ 0j=:DaxL,+_Eۗ9_ 9jp=*7 gI(vL5UBEBDiS wlj6+]C)E`h1ݨujY*zD \^J Ԍ>3G̼9&X*L?bJ< (1xAgϒFZK S= huZrHAo`sK^K9'y|T[<sB.>MZgƦgM1FΜ5=Җjq֌JJFMWx`>ol }z!Ns}"IBx{1Vɶ\]/ƉdWHZ')kfO(G* zm{ .#N1ĴSv*NꞃIj#3ߋVxBT j~/cnʤ# ع>2vޫ6<%^Zi,OOund:ϗd(! GJU3oJBkˮ67[Cv旅ų9p>.>08~xL-O1Bp_wñBB Р9m dX4f eWJ_ڃ'aHJ:,iZgj!|{Q 4BW\ꀻN ?#^j`V8`X?n5e@c+ D7žM1&[}SU5W9uX Hkܰ5.ʖ#ܓJ&?۸2k$X@'IO2 i Kxӽ!4=qYpz,1&*)1ƥW<݌#fX4Is<·,\+޼f!~TqWŮsd od6s2RA/pef:[d>@H Dt 6 CcN6~>OiĖ%oӥ1UCcωmE,tg A D+h!ak ǥ,pgYZf059898b173cac4397957d87ef5dd89c3089a1570779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af = Polynomial_Interpolation