SQLite format 3@ .0:  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 |= dD ]S Polynomial_Interpolation:threads=4elapsed=13.922cpu=51.252gc=1.504factor=3.687zXZִF! !e]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} dq;|ȲVDiM(.E@!*fviJ%)vN| uh]S=ecX Pؒ9kz_)5io؄t!̸I߂P-G+x̱VɑMwt]#ZDp*٠JK]E ưw>vnZp}K:zod# b`e'ȼ=h<8XDFO,4+x/+#-s JwF6j)?kGv ZԱ]5w~4Uk馤x>( N{ y}P@d]9#HtrYTL:9ށ6'mppgzj!9[l1j~;Eбqf`7OZ;1bps 5@F=Pm w77:Bu¾A0Y*!fD3qEJ9-94(TOlB(3xi|t<}[̼.Fڲ.|Nix)hx!|۽Ѽ&!fhȐqJ+iXuH0ڽUvߛ\<ݨ>-BagP_b8Ls.e)%m7[y!5>`@З~g A(Tmi ܀.=-~l~'`=n ;Œ){J{@Ua-?oc8i'-y!pܓz >vPu,ؽ6bmલ?k;?`gYZ7zXZִF! gy]ŗXi%Bt0Zk&Vyq5:/9Gr:ީB!A^V_4 +C`:A+Q/T}!A]VL8S;ה )T;B?DCV0w݌p 0am'%w  &}>IiMpMS>00f;[VÔhߤSK:#=TTt"`kg*`;+ԍ&&%K9k*άIV9H:q vR6Α Sn/.[YK!}zאohzW Wt6h%r H>"/$ԛSfڃ_0ɔ{G;7tD"eG$!x6^Z@/(EGq^! N>GOHqj?XѬ)#)T6#octdiC`̸38HYV 1\HǍVF\Hѵ(!E$o6/c5c i[NipUjjʹl.- RTKTX?7ͭ1:jc_i&՚uL0'<*uxzxh+,ܶ/ڋP>$O6ş7I^T~p楪..mFbf8Dv'J AyI}w4#!LI_)F-Y-8I)$8G_ydZ"HT(S6 [{WK 劍= orݒŷe=ɰ2vQ9STD0t}irD~qL u+22?L g1-* TmV)]Kn 2,nۀ W?@y*0mչ ,ؼ8Qv,?Rd܁TJ g%.Q#igYZbdcb29d4c70d36b9eba51dd9dc49615106b39a46ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b = Polynomial_Interpolation