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 `= ,< ]S Polynomial_Interpolation:threads=4elapsed=13.121cpu=49.508gc=1.808factor=3.777zXZִF! ]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} d|pot bLˬoCIxqıcCl%q8P/mJqvhiTtJ(e^a'#N2[m("kՁ-~vZ%$-Lx5'SDJZB ;S^+]]F@e`H $S**r'E]ĕJ$G+3(#!( f#``)F!<_Gqص:QP{o^DDx|A*l+CAn:4z1 *eLtoVוOMi$}bFdq ߤeKq "Ssя_b1p:2Q7^gJO$4nJݸ.eܖof26nc|? % % 7kDhЪfIv2PZPhh)_u&^YCˬ+>Qz'49ʗ+aHH(9E0\N \QQie*Ӫ>@yj@З~g A(Tmil'J;"{6 fղ+&f)cKGN3Qhɫm/%d$ {CoOIvf[rZ^]5ue'0O5X&m=%Yك ] ߦJ !WFKл DAcF<`;P89,+v;|4t*{b؛$|#BGnoKU6RA [NkHm&9BgYZ7zXZִF! d]ŗXi%G>4>tNn 7"O}uC<k@U[| uZ'qd<\_jphYb9QJ [Y/wT94i'  7)!NzsOGI؞A-d-9d{#tӽ [YJ0Um1N= !+OlBXL#׾[@0vT{1bTCs$P 7nw ]ّ V~cu,\);=+:#^cEV)9^n99")舿a(X(Z6iRAuCv$h;7.$ z .!+K5YYйi5,Hnh;=#A.VG|w$ޭ. 8yOdhN`;$)$*oBL@ Aj̹D]8NHj>j|C5Ck:,dy^nz% Rd<-H;Ӥ5<* d$ cI-Oݗ ^n< ?d fu!^" ?~]qH[k[_d3˂]j 2X+ gqK'qtk#ѹ٣A?&`A@*Pѳme\KL2_~JaػSb`T("z=,тp^R2K(O[vEIZ`:VŁH9"7`J,oBƇnXe0011WۤIN7m^/t\2!l4`ڛ v:S,`t"fU M#>:\pi`iڗ}:VI+|()y ˊ``1-l!kW\8y0UA?N@8n\S6[ GjrNcb~W?*;0tjv꘶Fhksev|5iѰF92ٲ,xL/ a1__vk~qGez3x<#+ I?kC.x "b-M` {d:^J_mE( /|Vw|?-^B(?u9>iS 1P%O3* xz2]@DE'ұgYZd2ae80dd189cc231255a0f89c4610d7dd649db2f4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 31554a9aee0688a2e741efca4ae1eab669aee35b = Polynomial_Interpolation