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 j+ 4$ ] HOL-Analysis-ex:threads=2elapsed=35.277cpu=43.308gc=0.656factor=1.237zXZִF! (S]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bm7z/3 3څჵ %Cq3hW{dfg{`~ i}<1JoK[u18ԮSx vaW2*ssI!r_LlґoCuC#yh]-V}TpmڗԨȷ"D)4?YJXD,j3K'ϙsYKdHȗ f.<`+ƦIш)Rڥz_f%l`)W&+\UsugYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.639cpu=1.260gc=0.000 B f8kS T}YZ7zXZִF! ]ŗXi%;cV¢S]LGr˜EQ{8HcSzzX;'~ FvEd~6EB#tM{o\FTjl\һ;yRGsJ ܾ@u.#*ʸ_c GDo$F术A^lcx̚S!^u+?v_*yYSg"t ZnwEz QN5y/h-xAh3u:'7PAĊxTdnf0c/{akA sA.iKCۀe<[m s.c(/bTFybomqVXӉo>T({e%HjW)l0I|bmu RYe,|Ղ3]2)Գ 5;s[|yscJ÷~E -4W- 1WY>z,݁%]6ytЮG3|Re_t-~fE2O[f(RlD<"_:FXv+۾|C-+̀C P82AnX=߽Ft $n~Q6a=IeX\rUmV(8NBU|S YDea["4q?1aSd(3L4GͧZW )kr^ WWKxz1N ,Ł(x$`rI\sG %N(Zg+[r3;w^R&Ad]Q10hEsa)qt LyThD^[cvNratz9p4ݬOBC.Պ'́%yjBR'by w2p?tjFF15T-J'ԦZn$dD*oϣ_s0H5#xU5!__߭&ZFY2O\:=-$>avàQNd@:vQmcX#@V_ 7[< =Yܳ:!^s4rE=%т󁩘IO5uMg\o 3=p QL#Ū7Bo$bjM;vK SޑX>f$f!&hT3?vȴLK3Z X^p&4ǝRtKyT2)ؤ\Vl {B*NSAE =tm[L $7T=DZϓfY|)F ۶0C}ΥiH$A ^,}[\w&UBߐB ~(X%̑DƁ-5sB"Gfz"~ Uy :gkX~ N\>VKvyn)ךyB{r/{fA4AaCen\'L毵GDe %6i~yoƌ+.si_imˆ\㷝S,!Ui5:`JڙܖW5T~'/E)d]X3ELbWV'W٥p+S<,"c0=3=D߳Zo!/qXxo(HwfǛ6gYZ40ca55f3345b11ae82a3547dff92cf7ca9ee7cd5047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 73acbe664dd70f246bab0a75e9266dc3b55b5542 + HOL-Analysis-ex