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 ~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̓CgYZ7zXZִF! `W ]ŗXi%60n t5QR Ə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$;Vi t0|񾦶s5}3F?͚d_Ѧ׻e 2)EXh`-bY6tRdξ]VY'sI$9bXCغ&KrCYH!hzg׫[?ᘊp_Yj4?=tk*-˙pCš;Eq^Wx.Mz[!cHn:̲!eE2].nX>hRIi~hZoն7A.X-4nj QIlP5NT_ozddpeԄ:j-ez4@l܏ef 0H5X \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*