SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~1<$ ]/ Recursion-Theory-I:threads=2elapsed=16.521cpu=29.300gc=1.140factor=1.777zXZ ִF ! ] ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[EQҊ lc벺u.W[&J;o..aYh?Ƚ9JH*(%Y\ b}7$KΌ]R\Nfulv_'<-l6yZdB4, P>=g!ZHeE W-o ~y6h|^ػ؈!oL8!FR揊/!uTe0Uc"YHҹHg]M@XZ9srlV9P.ڸ3eG`!RvsRN)٦"`% 39̓ Cg YZ7zXZ ִF ! `W] ŗXi%60nt5QR Əb`r>-ePv))kK/ o kԓYꆿ}&ΪZA\qMj뎅l`Z]'$z5d<# /*Gsi<ڵCؑsDǐ%CR@5E*T\_qxѨKC.SiwxܞNՙsA%%yLD2Mif2PCƢxi I,I5OM):T3y;vm8|,kvޛ
@"|KX7JW}f#o-j6[Gw?9[{,~7ɾ
xцV&0QVd{P{Rv2!yRSs Kj4Ț "hk$;Vit0|s5}3F?͚d_Ѧe2)EXh`-bY6tRdξ]VY' sI$9bXCغ&Kr CYH!hzg[ ?ᘊp_Yj4?=tk*-˙pC;Eq^Wx.Mz[!cHn:̲!eE2].nX>hRIi~hZoն7A.X-4njQIlP5NT_ozddpeԄ:j-ez4@lef0H5X
\8mTGsp#X;Hȳl:+I}Bˢ~{u~;f$dCiEZNfJ-HSGXŤ5mԋ:Z1ŦW|ᡯ=J9!IeqFڿ1C/neZO엸:SZ0:]Im&_zd2)a,f>h+ұn8>?öɤ_Zim*