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  |\ ] HOLCF-IMP:threads=2elapsed=6.527cpu=11.768gc=0.500factor=1.807zXZִF! u]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHS{IK_J^.[˺̒tN\ (&5sVqǀ:P" ɿA2[-1I.,BľgP|ܴ,t!嚽{*!P]`ʂ ۰ᥪtL+#zTtJs>#wߗ{E@˯7djvhC$ Mt| ;l*Xβ ~D0bG;g )&J5p5; &P =ˉd #lG_ W*O.RwHQlS sWHW2}ڿ&n~lgYZ7zXZִF! ]ŗXiɟ1,plnQBmjs{ Tm*Gx@Fs&ä~eW!^W RH2c/KR]\.â6j I9N_n10vpH=xhZ⑬RQ'k3(MVE@r^\fj9۫cegYZ7zXZִF! 1;]ŗXi%96}s0ӥvT]+EN'e9[m yvI%>Tl12ϯN[:>K>)ߤ[>HxVk#m=# "rtUV\6{Dݔ,~&bi.Qv?)c 0NVĐfIr/ACxK7DB&xh)/">ƫe|dU)sWlA\FF |hc2钝E9[/Ap<(}6caΒҋg.Bd:ϱv sWk3MCy|tWО_>Hu /cAСt <_җ-ìKmAtޅtT ^xY\z|Vȥ8%wax`jH`_YMR:".DLg`ݨz֍tU#Ju9[#58yMe`ڳܙyp;QE|lkoic\OsSqfn6>q9gN,Z bV^gYZ0e9d6b18773e4044ce9ae7429d5f5c07f06beaadccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d d31a005361b48528fcecf80177a5bc26de0a8b50   HOLCF-IMP