SQLite format 3@ . BBh77otableisabelle_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=2elapsed=20.845cpu=40.776gc=1.908factor=1.967zXZִF! @]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bV#Q5b;,IsFY8BۿkS!MFKmoM62ʑ!u{gܬ}u-x(`4R{//Cfldzfxu=gj/bi/Qf >Hwҋq]o10iğ8PMjlU7>׹a/5vY8vEf<[\!M4".Pb+kiyQ( P_ pWS ʜ"U8X]1>h9Ԣ]6#l#c*3OKM]A#͖U[:-ר|Ϟ6YpV\aRApG^W# @nn3UHM ;^_ iAc<"i64s· B-yw޽W '뉠o1GPYl ͲLx\Joϡuby&gҷ?e>[7=*bYU';\4l./i'@tLÖ脪;FtF#Q:،pO 5EX1@E#iǭ~N Q* ^ ׽nh (v2}uNiL8Mv^(ay.'j0F5)w]MH=qB)ϱgYZ7zXZִF! zF]ŗXiɟ'l2ti0a 1(W ]ЈrKZ3r:Rq 炵n<\`>/N$㫠)ζn/:[ qq_$%$-;A@_ǴCԎ9= +Š[h|e=YHzzbL7QrJ6ہUKVZ;(K':]&94@GX7&'˿\1qߏm= sBJP\%̽=eN?][R**mgYZ7zXZִF! qD]ŗXi%6Um؆E),:’3\fcx=&ĶAcJeɉ]^ 0en( aO+hSlB FgҫP5. iC_T'DK\i>KCN̔#NLl&BhgҘtPo8%WR[}3_6 },!Y PzXS&XlLBU s])(jsO ɋy]ỡ0U_ݎC>3뜴>X?Jp@RG=LwuO8"0&~>+6m:b3S9H0iʬ-S=+c6v~Ln[*o;i?2(y?+鱐!YO57@æPP` ֑Pti@{SAj ^W4䱹uy * Fz58[G<^֗&,@qMӇs-~ْi Ir,J*~zĻ`@ EYIO ۙ>xLhZVD0 \{;GHI$NJ/m:c| F=;TB*i[_S52CAqIۇ3VR8M)Sf8ѷޘW dcxA«tYDh)1vXE9iพq9~IS=< :$߮ShxVNMo𗲭oL'rQR @J?J< _mdGl=-ߏV:&)Fط/@]ibO`.C+hª/yKɃ&AbЉ:]2k&}]hc0;4 }(yy ȫKXZ8a$nZ#X/^a5Fի?z8 4RB /x/kwYS-?p 9}XXS6_aM gYZ58aa4012540c8db950acc05e19b91bd2bde98825e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de = Polynomial_Interpolation