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  $ $Y, S/ CYK:threads=2elapsed=5.022cpu=9.308gc=0.428factor=1.857zXZִF! 5]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣܼh|*9-mAeW5œt=l.X0dvz,q7 | 8 ]ށ;=i 'O`6m\Sdl:jm^(: Z@çb[v`"e<6aN-GSJ˗(K{GhP+g!_&xGi zr ^)΀;) MgYZ7zXZִF! #]ŗXi%eݹ1 @ӣ O?Ο)[Qj!(c˛sDvPOKܝ"[AT4Of!M?fCFA;'I:N{_Dv#eD:15wqikLr$3PsKD=^(\H؍0=H/G.>& DċKQ L^ְRi92Cǧ%3X'杌 wer5 2`V{z"BwZoΟ+mSRns=pܭQ5!l4G;6ѶjwJ>D^V>Ra%fnr㠽FxAr&(k ^`^p_P!/މ&3E:zG3 ~ˀ+?\\26H` |eOoA&X,SSNM@|3n?xs