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 00MdD S/ CYK:threads=2elapsed=5.335cpu=9.716gc=0.524factor=1.827zXZִF! N*]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣ SS~/ ww]3FE8@xԐayb*,iFJjuŰP4HXSaaͬ -y^g@AqKmBW$i{RT &Ex肶i˳#gYQ/gk+VƬM~7X/ZjäRNxeyN3Uw nc .joAu.?_0 ?Ai'3 T>.]Y!N[v:On5[S²N&/6Vƒ89vqmckA-oKe#M)" 5~nLH9;L,.B!"cWȜVEMj8y̵۰ -Ծ‚}k w!2;$5O@~V!Z򈗄p'ȶs4Xz$Q$]̦ Nh@X)=0#=8|ޥQ] 욝{zf&s kyM;vϏ ;`)Wѱu~4,H,֎wUEv Rv'ȏD*n՚ؕ]s]vׇ[`ɤv'k/$`@@*~-ħߦ:]Vº,3A?cOqo;OfP1C>gYZ7zXZִF! #]ŗXi%gvn_mcOb7bhH)no4xB`-8橁XWKq\iXb6z#5Ӎt,i;QsAM>㾿\ kaՀFdĎ!q?hKd}᩼1mjPF /]/0k`8.8+&%h]] eP4Kxd`r'O.:_4:Hgcv+,Όwٽ|j\Wolˈ/ju(4] hpF}-bUlx@JO: fb7.Q3Gb?zBteUvogds FĮY)awPGBtdm6d-+d&gFgoФ :mor k]%O46 u)cS+JvnE ɧDSi0);+.2i/u jx1} dU-NHHNy} -̀$F?lgYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb  CYK