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= T,d ]S Polynomial_Interpolation:threads=2elapsed=22.813cpu=43.768gc=2.112factor=1.927zXZִF! c]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,W)chk}0;r~zFaKlYh%2o _%,[_ C܀6ɏ·E`4 ɩ̏YOa4 5!o>4cCEj̊WЊEv_7- znOj Kw0d׷'f/itxΎZ9zՂ>22"c[T%ːWb:+SxKOߓȱo& p>vxЋd4E$S/z`|ݺ꒨77`o/?Əݔ=?1 @Ӕg3R[x3%1fXJ!EdsYDz;Nfzd 9_ qb6kq2]r](ݥQb`V 7M n0ӅS8'O?aPZhcкR0`AZ|5a3Y:ږ=q\OؐJIܫD3Bw63 %8BX\K#cu`H.MW܉{X^c,8꼭I\! y1SPEy}=P[,#/yFڱ *z2@Ef)S^ BҫvN|mu(S$V]Dy0}mu>m) I~q0CF )E I7쾾ްI,yҢnYg3GCzʾncnBA|\gYZ7zXZִF! zP]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A]pR ͏i37 (y#bJR(]yy#흐crw]9!] DD#V~jQ;COM ﰯjpX u0YS{={=(m$HSggxL"g?'ȣ!n<,ƫޝ%Kw0' NDOg J}aS!S 끦vq 6iL7M-^yQѲƳ)݉,dZggYZ7zXZִF! *]ŗXi%;4bp81t~\KGK~(n/}<)vБPN yO*֐YMWg/QaWNn.hfh?~VcMt0`؄\;Im ڋx8N @&LQKbS;cHBڨlmv8gk"Wr,kJd! ƟpҌ UQ=AqG ejLold•o$Ȧs<&SYeỗ֊ 碃Zqs Xj'9oASܚ$8|(RTAPPFtmAerC̳vX~E*ĿW+aA&E2؝8!eGB탈d6T['fF\[i l 1e˄sgʍ?i516Ql|QlcA1-}&QDVpsQ7M"!4c[EZmxN_q'*&Ek,EزkJJ  ս}ӯm~0{{-pYXz{Leq(ީ1%66)6WKp&Zp4*aT(>wU;@[V.ߞE4k/l\$P3L~OnIUQI IAeeo|w=:&I+(/2\ۡc/%tYeO^v39^1 M q ~Q6TyG($:'y/G5y謢$Fen)uu4ȓf^0TPQw6Pᴂwia QR5cSw4>? [pО`SFb$,ם XR8?xXA_j:A 'V8?\]bqidi8^vi(pؔWB NG~{kgdD<)K4]v ]bAu`^ǾK>>G"P|MH/%M=|%`rJf!{zܕdE!2LZi>Éz]B0C3p2H;۾$ɝWLbr"k)ɍӴ3CoGxsmnH(1nGPECM~˄99ocL6_ ( ڝYR{`{8eܾkh5ma@!JnHjjB[=`?x/3S, C+vtew&[\,Ui#a)^O%7LXQq'z8 7#.8Fdm/_wk-!xOW4tWH_jw1ukLkjXIov0"jgYZ907448f74c523d8d932173e36444b27973a825e8665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 = Polynomial_Interpolation