SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 m= DL YS Polynomial_Interpolation:threads=2elapsed=21.926cpu=42.852gc=1.808factor=1.957zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Ky)FKG[zmGxb_^p-_ކN<)0+3|p^/A=U vnNj6^wKLVx)7dgXiڞECy hߓĦ6MC l[x=+`S^Zy CalfQ9CBsǾaF_U Gz.~M'.L(x%[*Φ2V gzxV3C`[ێQ{\msŌUn: L";lѐ.AkXMyM* OJ%GvƤ1Jo~F%&9 uߺ|rOe>czg]iA:[l>7;fJՉSS`'c찬VHEخTgHv Sj,HAp`K5FT<8h7䁩ݎKdl]AOPJud(aΛiye?qZ*ㅍ:#B59[r? #>Jf3!}]d.tuL{8gYZ7zXZִF! sZ^]ŗXi%6uT/(Opk@R&dX{ZFM|`Ͷ.(uIp4z&Ji|Y}EƘAL{yxT_VnIL۬%G@, q#3<@նɆ[ 㑆!ay،V>3*@X|u3V$OţΜ”?{]˫Ԛ\5&Jd||c>M{tv>˥q9rIݮ@}65Ҡ&DfdU;s t]9; Hh&97t(v CW\[ɼbOאe.^23 ͝ƌa|QwJSp:|`غbYf